Trace number 4528577

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11OPT67 157.199 157.645

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
MD5SUM8b8ffe124a719c4149f2b27dc4b38cf4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark3.0865
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26659
Number of constraints which are cardinality constraints (but not clauses)237
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 670
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c solving HOME/instance-4528577-1752245181.opb (Picat 3.9b11, 7/10/2025)
31.89/32.00	o 69
157.14/157.62	o 67
157.14/157.62	s OPTIMUM FOUND
157.14/157.62	v ~x3651 x8753 x1960 ~x5343 ~x270 ~x7036 ~x3652 ~x8754 ~x1961 ~x5344 
157.14/157.62	v ~x271 x7037 ~x3653 x8755 ~x1962 ~x5345 ~x272 x7038 ~x3654 ~x8756 
157.14/157.62	v ~x1963 ~x5346 x273 x7039 ~x3655 ~x8757 ~x1964 ~x5347 x274 x7040 
157.14/157.62	v ~x3656 ~x8758 ~x1965 ~x5348 ~x275 x7041 ~x3657 x8759 ~x1966 ~x5349 
157.14/157.62	v ~x276 x7042 ~x3658 x8760 ~x1967 ~x5350 ~x277 x7043 ~x3659 ~x8761 
157.14/157.62	v ~x1968 ~x5351 ~x278 ~x7044 ~x3660 x8762 ~x1969 ~x5352 ~x279 ~x7045 
157.14/157.62	v ~x3661 ~x8763 ~x1970 ~x5353 ~x280 ~x7046 ~x3662 x8764 ~x1971 ~x5354 
157.14/157.62	v ~x281 ~x7047 ~x3663 x8765 x1972 ~x5355 ~x282 ~x7048 ~x3664 ~x8766 
157.14/157.62	v x1973 x5356 ~x283 ~x7049 ~x3665 ~x8767 ~x1974 x5357 ~x284 x7050 
157.14/157.62	v ~x3666 x8768 ~x1975 ~x5358 ~x285 x7051 ~x3667 ~x8769 ~x1976 ~x5359 
157.14/157.62	v ~x286 ~x7052 ~x3668 x8770 ~x1977 ~x5360 x287 ~x7053 ~x3669 ~x8771 
157.14/157.62	v ~x1978 ~x5361 x288 x7054 ~x3670 x8772 ~x1979 ~x5362 ~x289 x7055 
157.14/157.62	v ~x3671 x8773 ~x1980 ~x5363 ~x290 ~x7056 ~x3672 ~x8774 ~x1981 x5364 
157.14/157.62	v ~x291 x7057 ~x3673 ~x8775 ~x1982 x5365 ~x292 x7058 ~x3674 x8776 
157.14/157.62	v x1983 ~x5366 ~x293 ~x7059 ~x3675 x8777 x1984 ~x5367 ~x294 x7060 
157.14/157.62	v ~x3676 x8778 x1985 ~x5368 ~x295 x7061 ~x3677 x8779 x1986 ~x5369 
157.14/157.62	v ~x296 x7062 ~x3678 ~x8780 x1987 x5370 x297 x7063 ~x3679 ~x8781 
157.14/157.62	v ~x1988 x5371 x298 x7064 ~x3680 x8782 ~x1989 ~x5372 x299 x7065 
157.14/157.62	v ~x3681 ~x8783 ~x1990 ~x5373 ~x300 x7066 ~x3682 ~x8784 ~x1991 ~x5374 
157.14/157.62	v ~x301 ~x7067 ~x3683 x8785 ~x1992 ~x5375 ~x302 ~x7068 ~x3684 x8786 
157.14/157.62	v ~x1993 ~x5376 ~x303 x7069 ~x3685 ~x8787 ~x1994 ~x5377 ~x304 ~x7070 
157.14/157.62	v ~x3686 ~x8788 ~x1995 ~x5378 ~x305 ~x7071 ~x3687 ~x8789 x1996 ~x5379 
157.14/157.62	v ~x306 ~x7072 ~x3688 x8790 x1997 ~x5380 ~x307 ~x7073 ~x3689 ~x8791 
157.14/157.62	v ~x1998 ~x5381 x308 ~x7074 ~x3690 x8792 ~x1999 ~x5382 x309 ~x7075 
157.14/157.62	v ~x3691 ~x8793 ~x2000 ~x5383 x310 ~x7076 ~x3692 x8794 ~x2001 ~x5384 
157.14/157.62	v ~x311 ~x7077 ~x3693 x8795 ~x2002 ~x5385 ~x312 ~x7078 ~x3694 ~x8796 
157.14/157.62	v ~x2003 ~x5386 ~x313 ~x7079 ~x3695 ~x8797 ~x2004 ~x5387 ~x314 ~x7080 
157.14/157.62	v ~x3696 x8798 ~x2005 ~x5388 ~x315 ~x7081 ~x3697 ~x8799 x2006 ~x5389 
157.14/157.62	v ~x316 ~x7082 ~x3698 x8800 x2007 ~x5390 ~x317 x7083 ~x3699 x8801 
157.14/157.62	v x2008 ~x5391 x318 ~x7084 ~x3700 x8802 x2009 ~x5392 x319 x7085 
157.14/157.62	v ~x3701 x8803 x2010 x5393 x320 x7086 ~x3702 ~x8804 x2011 x5394 
157.14/157.62	v x321 x7087 ~x3703 ~x8805 ~x2012 ~x5395 x322 x7088 ~x3704 ~x8806 
157.14/157.62	v ~x2013 ~x5396 x323 x7089 ~x3705 x8807 ~x2014 ~x5397 ~x324 x7090 
157.14/157.62	v ~x3706 x8808 ~x2015 ~x5398 ~x325 x7091 ~x3707 ~x8809 ~x2016 ~x5399 
157.14/157.62	v ~x326 x7092 ~x3708 x8810 ~x2017 ~x5400 ~x327 ~x7093 ~x3709 x8811 
157.14/157.62	v ~x2018 ~x5401 ~x328 x7094 ~x3710 x8812 ~x2019 ~x5402 ~x329 x7095 
157.14/157.62	v ~x3711 ~x8813 ~x2020 ~x5403 ~x330 ~x7096 ~x3712 x8814 ~x2021 ~x5404 
157.14/157.62	v ~x331 x7097 ~x3713 ~x8815 ~x2022 ~x5405 x332 ~x7098 ~x3714 x8816 
157.14/157.62	v x2023 ~x5406 x333 ~x7099 ~x3715 ~x8817 x2024 ~x5407 ~x334 ~x7100 
157.14/157.62	v ~x3716 ~x8818 ~x2025 ~x5408 ~x335 ~x7101 ~x3717 ~x8819 ~x2026 ~x5409 
157.14/157.62	v ~x336 ~x7102 ~x3718 x8820 ~x2027 ~x5410 x337 ~x7103 ~x3719 x8821 
157.14/157.62	v ~x2028 ~x5411 x338 ~x7104 ~x3720 ~x8822 ~x2029 ~x5412 x339 ~x7105 
157.14/157.62	v ~x3721 x8823 ~x2030 ~x5413 ~x340 x7106 ~x3722 x8824 ~x2031 x5414 
157.14/157.62	v ~x341 ~x7107 ~x3723 x8825 ~x2032 x5415 ~x342 ~x7108 ~x3724 ~x8826 
157.14/157.62	v x2033 x5416 ~x343 ~x7109 ~x3725 x8827 x2034 x5417 ~x344 ~x7110 
157.14/157.62	v ~x3726 x8828 ~x2035 x5418 ~x345 ~x7111 ~x3727 ~x8829 ~x2036 x5419 
157.14/157.62	v ~x346 ~x7112 ~x3728 ~x8830 ~x2037 ~x5420 ~x347 ~x7113 ~x3729 ~x8831 
157.14/157.62	v ~x2038 ~x5421 x348 ~x7114 ~x3730 ~x8832 ~x2039 ~x5422 x349 x7115 
157.14/157.62	v ~x3731 ~x8833 ~x2040 ~x5423 ~x350 x7116 ~x3732 ~x8834 ~x2041 ~x5424 
157.14/157.62	v ~x351 ~x7117 ~x3733 ~x8835 x2042 x5425 ~x352 x7118 ~x3734 x8836 
157.14/157.62	v x2043 x5426 ~x353 x7119 ~x3735 x8837 ~x2044 x5427 ~x354 x7120 
157.14/157.62	v ~x3736 x8838 ~x2045 ~x5428 ~x355 x7121 ~x3737 ~x8839 ~x2046 ~x5429 
157.14/157.62	v ~x356 x7122 ~x3738 x8840 ~x2047 ~x5430 ~x357 x7123 ~x3739 x8841 
157.14/157.62	v ~x2048 ~x5431 ~x358 x7124 ~x3740 ~x8842 ~x2049 ~x5432 ~x359 x7125 
157.14/157.62	v ~x3741 ~x8843 ~x2050 ~x5433 ~x360 ~x7126 ~x3742 ~x8844 ~x2051 ~x5434 
157.14/157.62	v ~x361 x7127 ~x3743 ~x8845 ~x2052 ~x5435 ~x362 ~x7128 ~x3744 x8846 
157.14/157.62	v ~x2053 ~x5436 ~x363 ~x7129 ~x3745 ~x8847 x2054 ~x5437 ~x364 ~x7130 
157.14/157.62	v ~x3746 ~x8848 x2055 x5438 ~x365 ~x7131 ~x3747 x8849 x2056 x5439 
157.14/157.62	v ~x366 ~x7132 ~x3748 x8850 x2057 x5440 x367 ~x7133 ~x3749 ~x8851 
157.14/157.62	v x2058 x5441 x368 ~x7134 ~x3750 ~x8852 x2059 x5442 ~x369 x7135 
157.14/157.62	v ~x3751 ~x8853 ~x2060 x5443 ~x370 ~x7136 ~x3752 ~x8854 ~x2061 ~x5444 
157.14/157.62	v ~x371 ~x7137 ~x3753 x8855 ~x2062 ~x5445 ~x372 ~x7138 ~x3754 x8856 
157.14/157.62	v ~x2063 ~x5446 ~x373 ~x7139 ~x3755 x8857 ~x2064 ~x5447 x374 x7140 
157.14/157.62	v ~x3756 ~x8858 x2065 ~x5448 x375 x7141 ~x3757 x8859 x2066 ~x5449 
157.14/157.62	v x376 x7142 ~x3758 x8860 ~x2067 ~x5450 ~x377 x7143 ~x3759 x8861 
157.14/157.62	v ~x2068 ~x5451 ~x378 ~x7144 ~x3760 x8862 ~x2069 ~x5452 ~x379 x7145 
157.14/157.62	v ~x3761 ~x8863 ~x2070 ~x5453 ~x380 x7146 ~x3762 x8864 ~x2071 ~x5454 
157.14/157.62	v x381 x7147 ~x3763 ~x8865 ~x2072 ~x5455 x382 x7148 ~x3764 ~x8866 
157.14/157.62	v x2073 ~x5456 x383 x7149 ~x3765 ~x8867 x2074 ~x5457 ~x384 ~x7150 
157.14/157.62	v ~x3766 x8868 x2075 ~x5458 ~x385 x7151 ~x3767 ~x8869 ~x2076 ~x5459 
157.14/157.62	v ~x386 ~x7152 ~x3768 ~x8870 ~x2077 ~x5460 ~x387 ~x7153 ~x3769 x8871 
157.14/157.62	v ~x2078 ~x5461 ~x388 ~x7154 ~x3770 x8872 ~x2079 ~x5462 ~x389 x7155 
157.14/157.62	v ~x3771 x8873 ~x2080 ~x5463 x390 ~x7156 ~x3772 x8874 x2081 ~x5464 
157.14/157.62	v x391 ~x7157 ~x3773 x8875 x2082 ~x5465 ~x392 ~x7158 ~x3774 ~x8876 
157.14/157.62	v x2083 ~x5466 ~x393 ~x7159 ~x3775 ~x8877 ~x2084 ~x5467 ~x394 ~x7160 
157.14/157.62	v ~x3776 ~x8878 ~x2085 ~x5468 ~x395 ~x7161 ~x3777 x8879 ~x2086 ~x5469 
157.14/157.62	v ~x396 ~x7162 ~x3778 x8880 ~x2087 ~x5470 ~x397 ~x7163 ~x3779 ~x8881 
157.14/157.62	v ~x2088 x5471 ~x398 ~x7164 ~x3780 x8882 ~x2089 x5472 ~x399 x7165 
157.14/157.62	v ~x3781 x8883 ~x2090 ~x5473 ~x400 ~x7166 ~x3782 ~x8884 ~x2091 ~x5474 
157.14/157.62	v ~x401 ~x7167 ~x3783 ~x8885 ~x2092 ~x5475 ~x402 ~x7168 ~x3784 x8886 
157.14/157.62	v ~x2093 ~x5476 ~x403 x7169 ~x3785 x8887 ~x2094 ~x5477 x404 x7170 
157.14/157.62	v ~x3786 ~x8888 ~x2095 x5478 x405 x7171 ~x3787 ~x8889 ~x2096 x5479 
157.14/157.62	v x406 x7172 ~x3788 x8890 ~x2097 ~x5480 ~x407 x7173 ~x3789 x8891 
157.14/157.62	v ~x2098 ~x5481 ~x408 x7174 ~x3790 ~x8892 ~x2099 ~x5482 ~x409 ~x7175 
157.14/157.62	v ~x3791 x8893 ~x2100 ~x5483 ~x410 x7176 ~x3792 x8894 x2101 ~x5484 
157.14/157.62	v ~x411 x7177 ~x3793 ~x8895 x2102 ~x5485 ~x412 x7178 ~x3794 ~x8896 
157.14/157.62	v ~x2103 ~x5486 ~x413 x7179 ~x3795 x8897 x2104 ~x5487 x414 x7180 
157.14/157.62	v ~x3796 ~x8898 ~x2105 ~x5488 x415 ~x7181 ~x3797 x8899 ~x2106 ~x5489 
157.14/157.62	v x416 ~x7182 ~x3798 ~x8900 ~x2107 ~x5490 x417 x7183 ~x3799 x8901 
157.14/157.62	v ~x2108 ~x5491 x418 ~x7184 ~x3800 x8902 ~x2109 ~x5492 x419 ~x7185 
157.14/157.62	v ~x3801 ~x8903 ~x2110 ~x5493 ~x420 ~x7186 ~x3802 ~x8904 x2111 ~x5494 
157.14/157.62	v ~x421 ~x7187 ~x3803 x8905 x2112 ~x5495 ~x422 ~x7188 ~x3804 x8906 
157.14/157.62	v ~x2113 ~x5496 ~x423 ~x7189 ~x3805 x8907 x2114 ~x5497 ~x424 x7190 
157.14/157.62	v ~x3806 x8908 x2115 ~x5498 ~x425 x7191 ~x3807 ~x8909 ~x2116 ~x5499 
157.14/157.62	v ~x426 ~x7192 ~x3808 ~x8910 ~x2117 ~x5500 ~x427 x7193 ~x3809 x8911 
157.14/157.62	v ~x2118 ~x5501 ~x428 ~x7194 ~x3810 x8912 ~x2119 ~x5502 ~x429 ~x7195 
157.14/157.62	v ~x3811 x8913 ~x2120 ~x5503 ~x430 ~x7196 ~x3812 x8914 ~x2121 ~x5504 
157.14/157.62	v ~x431 x7197 ~x3813 ~x8915 ~x2122 ~x5505 ~x432 x7198 ~x3814 ~x8916 
157.14/157.62	v ~x2123 ~x5506 x433 x7199 ~x3815 ~x8917 ~x2124 ~x5507 x434 x7200 
157.14/157.62	v ~x3816 ~x8918 ~x2125 x5508 x435 x7201 ~x3817 x8919 ~x2126 x5509 
157.14/157.62	v ~x436 x7202 ~x3818 x8920 ~x2127 ~x5510 ~x437 x7203 ~x3819 ~x8921 
157.14/157.62	v ~x2128 ~x5511 ~x438 x7204 ~x3820 x8922 x2129 ~x5512 ~x439 x7205 
157.14/157.62	v ~x3821 x8923 x2130 x5513 ~x440 x7206 ~x3822 x8924 ~x2131 x5514 
157.14/157.62	v ~x441 x7207 ~x3823 ~x8925 ~x2132 ~x5515 ~x442 x7208 ~x3824 x8926 
157.14/157.62	v ~x2133 ~x5516 ~x443 x7209 ~x3825 x8927 ~x2134 ~x5517 ~x444 x7210 
157.14/157.62	v ~x3826 x8928 ~x2135 ~x5518 ~x445 x7211 ~x3827 ~x8929 ~x2136 ~x5519 
157.14/157.62	v x446 ~x7212 ~x3828 ~x8930 x2137 ~x5520 x447 ~x7213 ~x3829 ~x8931 
157.14/157.62	v x2138 ~x5521 ~x448 ~x7214 ~x3830 ~x8932 x2139 ~x5522 ~x449 ~x7215 
157.14/157.62	v ~x3831 ~x8933 ~x2140 ~x5523 ~x450 ~x7216 ~x3832 ~x8934 ~x2141 ~x5524 
157.14/157.62	v ~x451 ~x7217 ~x3833 ~x8935 ~x2142 ~x5525 x452 ~x7218 ~x3834 ~x8936 
157.14/157.62	v ~x2143 ~x5526 x453 x7219 ~x3835 ~x8937 ~x2144 ~x5527 x454 ~x7220 
157.14/157.62	v ~x3836 x8938 x2145 ~x5528 ~x455 x7221 ~x3837 ~x8939 x2146 ~x5529 
157.14/157.62	v ~x456 x7222 ~x3838 ~x8940 x2147 ~x5530 x457 x7223 ~x3839 x8941 
157.14/157.62	v ~x2148 ~x5531 x458 x7224 ~x3840 x8942 ~x2149 ~x5532 x459 x7225 
157.14/157.62	v ~x3841 x8943 ~x2150 ~x5533 ~x460 x7226 ~x3842 x8944 ~x2151 ~x5534 
157.14/157.62	v ~x461 ~x7227 ~x3843 ~x8945 ~x2152 ~x5535 ~x462 x7228 ~x3844 ~x8946 
157.14/157.62	v ~x2153 ~x5536 ~x463 x7229 ~x3845 x8947 ~x2154 ~x5537 ~x464 x7230 
157.14/157.62	v ~x3846 ~x8948 ~x2155 ~x5538 x465 x7231 ~x3847 x8949 ~x2156 ~x5539 
157.14/157.62	v x466 x7232 ~x3848 x8950 x2157 ~x5540 x467 x7233 ~x3849 x8951 
157.14/157.62	v x2158 ~x5541 ~x468 x7234 ~x3850 ~x8952 x2159 ~x5542 ~x469 x7235 
157.14/157.62	v ~x3851 ~x8953 ~x2160 ~x5543 ~x470 ~x7236 ~x3852 ~x8954 ~x5544 ~x471 
157.14/157.62	v ~x7237 ~x3853 ~x8955 ~x5545 ~x2161 ~x472 ~x7238 ~x3854 ~x8956 ~x5546 
157.14/157.62	v ~x2162 ~x473 ~x7239 ~x3855 x8957 ~x5547 ~x2163 ~x474 ~x7240 ~x3856 
157.14/157.62	v ~x8958 ~x5548 x2164 ~x475 ~x7241 ~x3857 ~x8959 ~x5549 x2165 x476 
157.14/157.62	v ~x7242 ~x3858 ~x8960 ~x5550 ~x2166 x477 ~x7243 ~x3859 x8961 ~x5551 
157.14/157.62	v ~x2167 x478 ~x7244 ~x3860 ~x8962 ~x5552 ~x2168 ~x479 ~x7245 ~x3861 
157.14/157.62	v x8963 ~x5553 ~x2169 ~x480 x7246 ~x3862 x8964 ~x5554 ~x2170 ~x481 
157.14/157.62	v x7247 ~x3863 ~x8965 ~x5555 ~x2171 ~x482 ~x7248 ~x3864 ~x8966 ~x5556 
157.14/157.62	v x2172 ~x483 x7249 ~x3865 x8967 ~x5557 x2173 ~x484 ~x7250 ~x3866 
157.14/157.62	v x8968 ~x5558 ~x2174 x485 ~x7251 ~x3867 x8969 ~x5559 ~x2175 x486 
157.14/157.62	v x7252 ~x3868 x8970 ~x5560 ~x2176 x487 x7253 ~x3869 ~x8971 ~x5561 
157.14/157.62	v x2177 ~x488 ~x7254 ~x3870 ~x8972 ~x5562 x2178 ~x489 x7255 ~x3871 
157.14/157.62	v ~x8973 ~x5563 x2179 ~x490 x7256 ~x3872 ~x8974 ~x5564 ~x2180 ~x491 
157.14/157.62	v x7257 ~x3873 ~x8975 ~x5565 ~x2181 ~x492 ~x7258 ~x3874 ~x8976 ~x5566 
157.14/157.62	v ~x2182 ~x493 x7259 ~x3875 x8977 ~x5567 ~x2183 x494 ~x7260 ~x3876 
157.14/157.62	v ~x8978 ~x5568 ~x2184 x7261 x495 ~x3877 x8979 ~x5569 ~x2185 x7262 
157.14/157.62	v ~x496 ~x3878 x8980 ~x5570 x2186 ~x497 ~x7263 ~x3879 x8981 ~x5571 
157.14/157.62	v x2187 ~x498 ~x7264 ~x3880 x8982 ~x5572 ~x2188 ~x499 ~x7265 ~x3881 
157.14/157.62	v ~x8983 ~x5573 ~x2189 x500 ~x7266 ~x3882 x8984 ~x5574 ~x2190 x501 
157.14/157.62	v ~x7267 ~x3883 x8985 ~x5575 ~x2191 x502 ~x7268 ~x3884 x8986 ~x5576 
157.14/157.62	v ~x2192 ~x503 ~x7269 ~x3885 ~x8987 ~x5577 ~x2193 ~x504 ~x7270 ~x3886 
157.14/157.62	v ~x8988 ~x5578 ~x2194 ~x505 ~x7271 ~x3887 ~x8989 ~x5579 ~x2195 ~x506 
157.14/157.62	v ~x7272 ~x3888 x8990 ~x5580 ~x2196 ~x507 ~x7273 ~x3889 x8991 ~x5581 
157.14/157.62	v ~x2197 ~x508 x7274 ~x3890 x8992 ~x5582 ~x2198 ~x509 x7275 ~x3891 
157.14/157.62	v x8993 ~x5583 ~x2199 x510 ~x7276 ~x3892 x8994 ~x5584 ~x2200 x511 
157.14/157.62	v ~x7277 ~x3893 ~x8995 ~x5585 x2201 x512 x7278 ~x3894 ~x8996 ~x5586 
157.14/157.62	v x2202 ~x513 x7279 ~x3895 x8997 ~x5587 x2203 ~x514 x7280 ~x3896 
157.14/157.62	v x8998 ~x5588 ~x2204 ~x515 ~x7281 ~x3897 x8999 ~x5589 ~x2205 ~x516 
157.14/157.62	v x7282 ~x3898 ~x9000 ~x5590 ~x2206 ~x517 x7283 ~x3899 x9001 ~x5591 
157.14/157.62	v ~x2207 ~x518 ~x7284 ~x3900 x9002 ~x5592 ~x2208 ~x519 x7285 ~x3901 
157.14/157.62	v x9003 ~x5593 ~x2209 ~x520 x7286 ~x3902 x9004 ~x5594 ~x2210 ~x521 
157.14/157.62	v x7287 ~x3903 x9005 ~x5595 ~x2211 ~x522 x7288 ~x3904 x9006 ~x5596 
157.14/157.62	v ~x2212 ~x523 x7289 ~x3905 ~x9007 ~x5597 ~x2213 x524 x7290 ~x3906 
157.14/157.62	v ~x9008 ~x5598 x2214 x525 x7291 ~x3907 ~x9009 ~x5599 x2215 ~x526 
157.14/157.62	v ~x7292 ~x3908 ~x9010 ~x5600 x2216 ~x527 ~x7293 ~x3909 x9011 ~x5601 
157.14/157.62	v ~x2217 ~x528 ~x7294 ~x3910 x9012 ~x5602 ~x2218 ~x529 x7295 ~x3911 
157.14/157.62	v x9013 ~x5603 ~x2219 ~x530 ~x7296 ~x3912 x9014 ~x5604 ~x2220 ~x531 
157.14/157.62	v ~x7297 ~x3913 x9015 ~x5605 ~x2221 x532 ~x7298 ~x3914 x9016 ~x5606 
157.14/157.62	v ~x2222 x533 ~x7299 ~x3915 ~x9017 ~x5607 ~x2223 x534 ~x7300 ~x3916 
157.14/157.62	v ~x9018 ~x5608 ~x2224 ~x535 ~x7301 ~x3917 ~x9019 ~x5609 ~x2225 ~x536 
157.14/157.62	v ~x7302 ~x3918 ~x9020 ~x5610 ~x2226 ~x537 x7303 ~x3919 ~x9021 ~x5611 
157.14/157.62	v ~x2227 ~x538 ~x7304 ~x3920 ~x9022 ~x5612 ~x2228 ~x539 ~x7305 ~x3921 
157.14/157.62	v x9023 ~x5613 ~x2229 x540 x7306 ~x3922 ~x9024 ~x5614 ~x2230 x541 
157.14/157.62	v ~x7307 ~x3923 ~x9025 ~x5615 ~x2231 ~x542 x7308 ~x3924 ~x9026 ~x5616 
157.14/157.62	v ~x2232 ~x543 x7309 ~x3925 ~x9027 ~x5617 ~x2233 ~x544 x7310 ~x3926 
157.14/157.62	v ~x9028 ~x5618 ~x2234 ~x545 x7311 ~x3927 ~x9029 ~x5619 ~x2235 ~x546 
157.14/157.62	v ~x7312 ~x3928 ~x9030 ~x5620 ~x2236 ~x547 ~x7313 ~x3929 ~x9031 ~x5621 
157.14/157.62	v ~x2237 x548 x7314 ~x3930 x9032 ~x5622 ~x2238 x549 ~x7315 ~x3931 
157.14/157.62	v ~x9033 ~x5623 x2239 x550 x7316 ~x3932 x9034 ~x5624 x2240 ~x551 
157.14/157.62	v ~x7317 ~x3933 ~x9035 ~x5625 x2241 ~x552 x7318 ~x3934 ~x9036 ~x5626 
157.14/157.62	v x2242 ~x553 x7319 ~x3935 ~x9037 ~x5627 x2243 ~x554 x7320 ~x3936 
157.14/157.62	v ~x9038 ~x5628 ~x2244 ~x555 x7321 ~x3937 x9039 ~x5629 ~x2245 x556 
157.14/157.62	v x7322 ~x3938 x9040 ~x5630 ~x2246 x557 x7323 ~x3939 x9041 ~x5631 
157.14/157.62	v ~x2247 ~x558 ~x7324 ~x3940 x9042 ~x5632 ~x2248 ~x559 ~x7325 ~x3941 
157.14/157.62	v x9043 ~x5633 ~x2249 ~x560 ~x7326 ~x3942 x9044 ~x5634 ~x2250 x561 
157.14/157.62	v ~x7327 ~x3943 x9045 ~x5635 ~x2251 x562 ~x7328 ~x3944 ~x9046 ~x5636 
157.14/157.62	v x2252 x563 ~x7329 ~x3945 ~x9047 ~x5637 x2253 ~x564 ~x7330 ~x3946 
157.14/157.62	v ~x9048 ~x5638 ~x2254 ~x565 ~x7331 ~x3947 ~x9049 ~x5639 ~x2255 ~x566 
157.14/157.62	v ~x7332 ~x3948 ~x9050 ~x5640 ~x2256 ~x567 x7333 ~x3949 ~x9051 ~x5641 
157.14/157.62	v ~x2257 ~x568 x7334 ~x3950 ~x9052 ~x5642 ~x2258 ~x569 ~x7335 ~x3951 
157.14/157.62	v ~x9053 ~x5643 ~x2259 ~x570 ~x7336 ~x3952 ~x9054 ~x5644 x2260 ~x571 
157.14/157.62	v x7337 ~x3953 ~x9055 ~x5645 x2261 x572 x7338 ~x3954 ~x9056 ~x5646 
157.14/157.62	v ~x2262 x573 x7339 ~x3955 x9057 ~x5647 ~x2263 ~x574 x7340 ~x3956 
157.14/157.62	v ~x9058 ~x5648 ~x2264 ~x575 x7341 ~x3957 x9059 ~x5649 x2265 ~x576 
157.14/157.62	v x7342 ~x3958 ~x9060 ~x5650 x2266 ~x577 x7343 ~x3959 x9061 ~x5651 
157.14/157.62	v x2267 ~x578 x7344 ~x3960 x9062 ~x5652 ~x2268 ~x579 x7345 ~x3961 
157.14/157.62	v ~x9063 ~x5653 ~x2269 ~x580 ~x7346 ~x3962 ~x9064 ~x5654 ~x2270 ~x581 
157.14/157.62	v x7347 ~x3963 x9065 ~x5655 ~x2271 ~x582 ~x7348 ~x3964 x9066 ~x5656 
157.14/157.62	v ~x2272 ~x583 ~x7349 ~x3965 x9067 ~x5657 x2273 ~x584 x7350 ~x3966 
157.14/157.62	v x9068 ~x5658 x2274 ~x585 x7351 ~x3967 x9069 ~x5659 x2275 ~x586 
157.14/157.62	v ~x7352 ~x3968 x9070 ~x5660 ~x2276 ~x587 ~x7353 ~x3969 x9071 ~x5661 
157.14/157.62	v ~x2277 x588 ~x7354 ~x3970 ~x9072 ~x5662 ~x2278 x589 ~x7355 ~x3971 
157.14/157.62	v ~x9073 ~x5663 ~x2279 ~x590 ~x7356 ~x3972 x9074 ~x5664 ~x2280 ~x591 
157.14/157.62	v ~x7357 ~x3973 x9075 ~x5665 ~x2281 ~x592 ~x7358 ~x3974 x9076 ~x5666 
157.14/157.62	v ~x2282 x593 ~x7359 ~x3975 ~x9077 ~x5667 ~x2283 x594 ~x7360 ~x3976 
157.14/157.62	v ~x9078 ~x5668 ~x2284 x595 x7361 ~x3977 ~x9079 ~x5669 ~x2285 ~x596 
157.14/157.62	v x7362 ~x3978 ~x9080 ~x5670 ~x2286 ~x597 x7363 ~x3979 x9081 ~x5671 
157.14/157.62	v ~x2287 ~x598 ~x7364 ~x3980 ~x9082 ~x5672 ~x2288 ~x599 x7365 ~x3981 
157.14/157.62	v ~x9083 ~x5673 x2289 ~x600 ~x7366 ~x3982 ~x9084 ~x5674 x2290 x601 
157.14/157.62	v x7367 ~x3983 ~x9085 ~x5675 x2291 x602 x7368 ~x3984 x9086 ~x5676 
157.14/157.62	v ~x2292 x603 ~x7369 ~x3985 x9087 ~x5677 ~x2293 ~x604 x7370 ~x3986 
157.14/157.62	v ~x9088 ~x5678 ~x2294 ~x605 x7371 ~x3987 ~x9089 ~x5679 ~x2295 ~x606 
157.14/157.62	v x7372 ~x3988 x9090 ~x5680 ~x2296 ~x607 x7373 ~x3989 ~x9091 ~x5681 
157.14/157.62	v x2297 ~x608 x7374 ~x3990 ~x9092 ~x5682 x2298 ~x609 x7375 ~x3991 
157.14/157.62	v ~x9093 ~x5683 x2299 x610 x7376 ~x3992 ~x9094 ~x5684 ~x2300 x611 
157.14/157.63	v x7377 ~x3993 ~x9095 ~x5685 ~x2301 ~x612 x7378 ~x3994 x9096 ~x5686 
157.14/157.63	v ~x2302 ~x613 x7379 ~x3995 x9097 ~x5687 ~x2303 ~x614 ~x7380 ~x3996 
157.14/157.63	v ~x9098 ~x5688 ~x2304 ~x615 ~x7381 ~x3997 x9099 ~x5689 x2305 ~x616 
157.14/157.63	v ~x7382 ~x3998 x9100 ~x5690 x2306 ~x617 ~x7383 ~x3999 ~x9101 ~x5691 
157.14/157.63	v x2307 ~x618 ~x7384 ~x4000 x9102 ~x5692 ~x2308 ~x619 ~x7385 ~x4001 
157.14/157.63	v x9103 ~x5693 ~x2309 ~x620 ~x7386 ~x4002 x9104 ~x5694 ~x2310 ~x621 
157.14/157.63	v x7387 ~x4003 ~x9105 ~x5695 ~x2311 x622 ~x7388 ~x4004 x9106 ~x5696 
157.14/157.63	v ~x2312 x623 x7389 ~x4005 ~x9107 ~x5697 ~x2313 ~x624 x7390 ~x4006 
157.14/157.63	v ~x9108 ~x5698 ~x2314 ~x625 x7391 ~x4007 x9109 ~x5699 ~x2315 ~x626 
157.14/157.63	v x7392 ~x4008 ~x9110 ~x5700 x2316 ~x627 x7393 ~x4009 x9111 ~x5701 
157.14/157.63	v x2317 ~x628 x7394 ~x4010 ~x9112 ~x5702 ~x2318 ~x629 x7395 ~x4011 
157.14/157.63	v x9113 ~x5703 ~x2319 ~x630 x7396 ~x4012 x9114 ~x5704 ~x2320 ~x631 
157.14/157.63	v x7397 ~x4013 x9115 ~x5705 ~x2321 ~x632 ~x7398 ~x4014 x9116 ~x5706 
157.14/157.63	v ~x2322 x633 x7399 ~x4015 x9117 ~x5707 ~x2323 x634 x7400 ~x4016 
157.14/157.63	v ~x9118 ~x5708 ~x2324 x635 x7401 ~x4017 ~x9119 ~x5709 ~x2325 ~x636 
157.14/157.63	v x7402 ~x4018 x9120 ~x5710 x2326 ~x637 x7403 ~x4019 x9121 ~x5711 
157.14/157.63	v x2327 ~x638 x7404 ~x4020 x9122 ~x5712 x2328 ~x639 x7405 ~x4021 
157.14/157.63	v ~x9123 ~x5713 ~x2329 ~x640 x7406 ~x4022 x9124 ~x5714 ~x2330 ~x641 
157.14/157.63	v x7407 ~x4023 ~x9125 ~x5715 ~x2331 x642 ~x7408 ~x4024 x9126 ~x5716 
157.14/157.63	v x2332 x643 ~x7409 ~x4025 x9127 ~x5717 x2333 ~x644 ~x7410 ~x4026 
157.14/157.63	v ~x9128 ~x5718 x2334 ~x645 ~x7411 ~x4027 ~x9129 ~x5719 ~x2335 ~x646 
157.14/157.63	v ~x7412 ~x4028 ~x9130 ~x5720 ~x2336 ~x647 ~x7413 ~x4029 ~x9131 ~x5721 
157.14/157.63	v ~x2337 ~x648 x7414 ~x4030 ~x9132 ~x5722 ~x2338 x649 x7415 ~x4031 
157.14/157.63	v x9133 ~x5723 ~x2339 x650 ~x7416 ~x4032 ~x9134 ~x5724 ~x2340 x651 
157.14/157.63	v x7417 ~x4033 ~x9135 ~x5725 ~x2341 ~x652 x7418 ~x4034 x9136 ~x5726 
157.14/157.63	v ~x2342 ~x653 x7419 ~x4035 ~x9137 ~x5727 ~x2343 ~x654 ~x7420 ~x4036 
157.14/157.63	v x9138 ~x5728 ~x2344 ~x655 x7421 ~x4037 ~x9139 ~x5729 ~x2345 ~x656 
157.14/157.63	v x7422 ~x4038 x9140 ~x5730 ~x2346 ~x657 ~x7423 ~x4039 x9141 ~x5731 
157.14/157.63	v ~x2347 ~x658 x7424 ~x4040 ~x9142 ~x5732 x2348 ~x659 x7425 ~x4041 
157.14/157.63	v x9143 ~x5733 x2349 x660 x7426 ~x4042 ~x9144 ~x5734 x2350 x661 
157.14/157.63	v x7427 ~x4043 x9145 ~x5735 ~x2351 x662 x7428 ~x4044 ~x9146 ~x5736 
157.14/157.63	v ~x2352 ~x663 ~x7429 ~x4045 x9147 ~x5737 ~x2353 ~x664 x7430 ~x4046 
157.14/157.63	v x9148 ~x5738 ~x2354 ~x665 x7431 ~x4047 x9149 ~x5739 ~x2355 ~x666 
157.14/157.63	v x7432 ~x4048 x9150 ~x5740 x2356 ~x667 ~x7433 ~x4049 ~x9151 ~x5741 
157.14/157.63	v x2357 x668 x7434 ~x4050 x9152 ~x5742 ~x2358 x669 x7435 ~x4051 
157.14/157.63	v ~x9153 ~x5743 ~x2359 x670 ~x7436 ~x4052 ~x9154 ~x5744 ~x2360 ~x671 
157.14/157.63	v ~x7437 ~x4053 x9155 ~x5745 ~x2361 ~x672 ~x7438 ~x4054 ~x9156 ~x5746 
157.14/157.63	v ~x2362 x673 ~x7439 ~x4055 ~x9157 ~x5747 ~x2363 x674 ~x7440 ~x4056 
157.14/157.63	v ~x9158 ~x5748 ~x2364 x675 ~x7441 ~x4057 ~x9159 ~x5749 ~x2365 ~x676 
157.14/157.63	v x7442 ~x4058 ~x9160 ~x5750 x2366 ~x677 ~x7443 ~x4059 ~x9161 ~x5751 
157.14/157.63	v x2367 ~x678 ~x7444 ~x4060 ~x9162 ~x5752 x2368 ~x679 x7445 ~x4061 
157.14/157.63	v x9163 ~x5753 ~x2369 ~x680 x7446 ~x4062 ~x9164 ~x5754 ~x2370 ~x681 
157.14/157.63	v ~x7447 ~x4063 ~x9165 ~x5755 ~x2371 ~x682 ~x7448 ~x4064 ~x9166 ~x5756 
157.14/157.63	v x2372 ~x683 x7449 ~x4065 x9167 ~x5757 x2373 ~x684 x7450 ~x4066 
157.14/157.63	v ~x9168 ~x5758 x2374 ~x685 x7451 ~x4067 x9169 ~x5759 ~x2375 ~x686 
157.14/157.63	v x7452 ~x4068 ~x9170 ~x5760 ~x2376 ~x687 x7453 ~x4069 ~x9171 ~x5761 
157.14/157.63	v x2377 ~x688 x7454 ~x4070 ~x9172 ~x5762 x2378 ~x689 x7455 ~x4071 
157.14/157.63	v ~x9173 ~x5763 x2379 ~x690 x7456 ~x4072 ~x9174 x5764 ~x2380 ~x691 
157.14/157.63	v x7457 ~x4073 ~x9175 x5765 ~x2381 x692 x7458 ~x4074 x9176 ~x5766 
157.14/157.63	v ~x2382 x693 ~x7459 ~x4075 x9177 ~x5767 ~x2383 x694 ~x7460 ~x4076 
157.14/157.63	v ~x9178 ~x5768 ~x2384 ~x695 ~x7461 ~x4077 x9179 ~x5769 ~x2385 ~x696 
157.14/157.63	v x7462 ~x4078 x9180 ~x5770 ~x2386 ~x697 x7463 ~x4079 ~x9181 ~x5771 
157.14/157.63	v ~x2387 ~x698 ~x7464 ~x4080 ~x9182 ~x5772 x2388 ~x699 ~x7465 ~x4081 
157.14/157.63	v ~x9183 ~x5773 x2389 x700 ~x7466 ~x4082 ~x9184 ~x5774 ~x2390 x701 
157.14/157.63	v ~x7467 ~x4083 ~x9185 ~x5775 ~x2391 ~x702 ~x7468 ~x4084 ~x9186 ~x5776 
157.14/157.63	v ~x2392 ~x703 ~x7469 ~x4085 x9187 ~x5777 x2393 ~x704 x7470 ~x4086 
157.14/157.63	v ~x9188 ~x5778 x2394 ~x705 ~x7471 ~x4087 x9189 ~x5779 x2395 ~x706 
157.14/157.63	v ~x7472 ~x4088 x9190 ~x5780 ~x2396 ~x707 ~x7473 ~x4089 ~x9191 ~x5781 
157.14/157.63	v ~x2397 ~x708 ~x7474 ~x4090 x9192 ~x5782 ~x2398 ~x709 x7475 ~x4091 
157.14/157.63	v ~x9193 ~x5783 ~x2399 x710 ~x7476 ~x4092 x9194 ~x5784 ~x2400 x711 
157.14/157.63	v x7477 ~x4093 x9195 ~x5785 x2401 ~x712 x7478 ~x4094 ~x9196 ~x5786 
157.14/157.63	v x2402 ~x713 x7479 ~x4095 x9197 ~x5787 ~x2403 x714 x7480 ~x4096 
157.14/157.63	v x9198 x5788 ~x2404 x715 x7481 ~x4097 ~x9199 x5789 ~x2405 ~x716 
157.14/157.63	v x7482 ~x4098 x9200 x5790 ~x2406 ~x717 x7483 ~x4099 x9201 ~x5791 
157.14/157.63	v ~x2407 ~x718 ~x7484 ~x4100 ~x9202 ~x5792 ~x2408 ~x719 x7485 ~x4101 
157.14/157.63	v ~x9203 x5793 x2409 ~x720 x7486 ~x4102 x9204 x5794 x2410 x7487 
157.14/157.63	v ~x4103 x9205 ~x5795 x2411 x7488 ~x721 ~x4104 ~x9206 ~x5796 ~x2412 
157.14/157.63	v ~x7489 x722 ~x4105 x9207 ~x5797 ~x2413 ~x7490 x723 ~x4106 ~x9208 
157.14/157.63	v ~x5798 ~x2414 ~x7491 ~x724 ~x4107 ~x9209 ~x5799 ~x2415 ~x7492 ~x725 
157.14/157.63	v ~x4108 x9210 ~x5800 ~x2416 ~x7493 ~x726 ~x4109 ~x9211 x5801 ~x2417 
157.14/157.63	v ~x7494 ~x727 ~x4110 ~x9212 x5802 ~x2418 ~x7495 ~x728 ~x4111 ~x9213 
157.14/157.63	v ~x5803 ~x2419 ~x7496 ~x729 ~x4112 x9214 ~x5804 x2420 ~x7497 ~x730 
157.14/157.63	v ~x4113 x9215 ~x5805 x2421 ~x7498 ~x731 ~x4114 x9216 ~x5806 x2422 
157.14/157.63	v ~x7499 ~x732 ~x4115 x9217 ~x5807 ~x2423 ~x7500 ~x733 ~x4116 x9218 
157.14/157.63	v ~x5808 ~x2424 x7501 ~x734 ~x4117 ~x9219 ~x5809 ~x2425 x7502 ~x735 
157.14/157.63	v ~x4118 ~x9220 ~x5810 ~x2426 x7503 ~x736 ~x4119 ~x9221 ~x5811 ~x2427 
157.14/157.63	v ~x7504 ~x737 ~x4120 ~x9222 ~x5812 x2428 ~x7505 ~x738 ~x4121 x9223 
157.14/157.63	v ~x5813 x2429 x7506 ~x739 ~x4122 x9224 ~x5814 ~x2430 x7507 ~x740 
157.14/157.63	v ~x4123 x9225 ~x5815 ~x2431 ~x7508 ~x741 ~x4124 x9226 ~x5816 ~x2432 
157.14/157.63	v x7509 ~x742 ~x4125 x9227 ~x5817 x2433 x7510 ~x743 ~x4126 ~x9228 
157.14/157.63	v ~x5818 x2434 ~x7511 ~x744 ~x4127 x9229 ~x5819 x2435 x7512 x745 
157.14/157.63	v ~x4128 x9230 ~x5820 ~x2436 x7513 x746 ~x4129 x9231 ~x5821 ~x2437 
157.14/157.63	v x7514 x747 ~x4130 ~x9232 ~x5822 ~x2438 x7515 ~x748 ~x4131 x9233 
157.14/157.63	v ~x5823 ~x2439 x7516 ~x749 ~x4132 x9234 ~x5824 ~x2440 ~x7517 ~x750 
157.14/157.63	v ~x4133 ~x9235 ~x5825 ~x2441 x7518 ~x751 ~x4134 ~x9236 ~x5826 ~x2442 
157.14/157.63	v x7519 ~x752 ~x4135 ~x9237 ~x5827 ~x2443 ~x7520 ~x753 ~x4136 x9238 
157.14/157.63	v ~x5828 x2444 ~x7521 ~x754 ~x4137 x9239 ~x5829 x2445 ~x7522 ~x755 
157.14/157.63	v ~x4138 x9240 ~x5830 x2446 ~x7523 ~x756 ~x4139 x9241 ~x5831 ~x2447 
157.14/157.63	v ~x7524 ~x757 ~x4140 ~x9242 ~x5832 ~x2448 ~x7525 ~x758 ~x4141 ~x9243 
157.14/157.63	v ~x5833 x2449 x7526 ~x759 ~x4142 ~x9244 x5834 x2450 x7527 ~x760 
157.14/157.63	v ~x4143 ~x9245 x5835 x2451 ~x7528 x761 ~x4144 x9246 ~x5836 ~x2452 
157.14/157.63	v x7529 x762 ~x4145 x9247 ~x5837 ~x2453 x7530 ~x763 ~x4146 x9248 
157.14/157.63	v ~x5838 ~x2454 x7531 ~x764 ~x4147 x9249 ~x5839 ~x2455 ~x7532 ~x765 
157.14/157.63	v ~x4148 x9250 ~x5840 ~x2456 x7533 ~x766 ~x4149 x9251 ~x5841 ~x2457 
157.14/157.63	v x7534 ~x767 ~x4150 x9252 ~x5842 ~x2458 x7535 ~x768 ~x4151 ~x9253 
157.14/157.63	v ~x5843 ~x2459 x7536 x769 ~x4152 x9254 x5844 ~x2460 x7537 x770 
157.14/157.63	v ~x4153 ~x9255 x5845 ~x2461 x7538 ~x771 ~x4154 ~x9256 ~x5846 ~x2462 
157.14/157.63	v x7539 ~x772 ~x4155 ~x9257 ~x5847 ~x2463 x7540 ~x773 ~x4156 ~x9258 
157.14/157.63	v ~x5848 ~x2464 x7541 ~x774 ~x4157 ~x9259 ~x5849 ~x2465 x7542 ~x775 
157.14/157.63	v ~x4158 x9260 ~x5850 ~x2466 x7543 ~x776 ~x4159 x9261 ~x5851 ~x2467 
157.14/157.63	v x7544 ~x777 ~x4160 ~x9262 ~x5852 ~x2468 x7545 ~x778 ~x4161 ~x9263 
157.14/157.63	v ~x5853 ~x2469 ~x7546 ~x779 ~x4162 x9264 ~x5854 x2470 ~x7547 ~x780 
157.14/157.63	v ~x4163 x9265 ~x5855 x2471 ~x7548 ~x781 ~x4164 x9266 ~x5856 x2472 
157.14/157.63	v ~x7549 ~x782 ~x4165 ~x9267 ~x5857 x2473 ~x7550 ~x783 ~x4166 x9268 
157.14/157.63	v ~x5858 x2474 ~x7551 ~x784 ~x4167 ~x9269 ~x5859 x2475 ~x7552 ~x785 
157.14/157.63	v ~x4168 ~x9270 ~x5860 ~x2476 ~x7553 ~x786 ~x4169 ~x9271 ~x5861 ~x2477 
157.14/157.63	v x7554 ~x787 ~x4170 ~x9272 ~x5862 ~x2478 x7555 ~x788 ~x4171 ~x9273 
157.14/157.63	v ~x5863 ~x2479 ~x7556 x789 ~x4172 ~x9274 ~x5864 ~x2480 ~x7557 x790 
157.14/157.63	v ~x4173 ~x9275 ~x5865 x2481 x7558 x791 ~x4174 x9276 ~x5866 x2482 
157.14/157.63	v x7559 ~x792 ~x4175 x9277 ~x5867 x2483 ~x7560 ~x793 ~x4176 ~x9278 
157.14/157.63	v ~x5868 ~x2484 x7561 ~x794 ~x4177 x9279 ~x5869 ~x2485 x7562 ~x795 
157.14/157.63	v ~x4178 x9280 ~x5870 ~x2486 x7563 ~x796 ~x4179 x9281 ~x5871 ~x2487 
157.14/157.63	v x7564 x797 ~x4180 ~x9282 ~x5872 ~x2488 x7565 x798 ~x4181 x9283 
157.14/157.63	v ~x5873 ~x2489 x7566 x799 ~x4182 x9284 ~x5874 ~x2490 x7567 ~x800 
157.14/157.63	v ~x4183 x9285 ~x5875 ~x2491 x7568 x801 ~x4184 ~x9286 ~x5876 x2492 
157.14/157.63	v x7569 x802 ~x4185 x9287 ~x5877 x2493 x7570 x803 ~x4186 x9288 
157.14/157.63	v ~x5878 x2494 x7571 ~x804 ~x4187 x9289 ~x5879 ~x2495 x7572 ~x805 
157.14/157.63	v ~x4188 ~x9290 ~x5880 ~x2496 x7573 ~x806 ~x4189 x9291 ~x5881 ~x2497 
157.14/157.63	v x7574 ~x807 ~x4190 x9292 ~x5882 ~x2498 x7575 ~x808 ~x4191 ~x9293 
157.14/157.63	v ~x5883 ~x2499 x7589 ~x809 ~x4192 x9294 ~x5884 ~x2500 x7590 ~x810 
157.14/157.63	v ~x4193 ~x9295 ~x5885 ~x2501 x7591 ~x811 ~x4194 ~x9296 x5886 ~x2502 
157.14/157.63	v x7592 x812 ~x4195 ~x9297 x5887 ~x2503 x7593 x813 ~x4196 ~x9298 
157.14/157.63	v ~x5888 ~x2504 x7594 ~x814 ~x4197 ~x9299 x5889 ~x2505 x7595 ~x815 
157.14/157.63	v ~x4198 ~x9300 x5890 ~x2506 x7596 ~x816 ~x4199 ~x9301 x5891 ~x2507 
157.14/157.63	v x7597 ~x817 ~x4200 ~x9302 ~x5892 x2508 x7598 x818 ~x4201 ~x9303 
157.14/157.63	v ~x5893 x2509 x7599 x819 ~x4202 ~x9304 ~x5894 x2510 x7600 ~x820 
157.14/157.63	v ~x4203 ~x9305 ~x5895 ~x2511 x7601 ~x821 ~x4204 ~x9306 ~x5896 ~x2512 
157.14/157.63	v x7602 ~x822 ~x4205 ~x9307 ~x5897 x2513 x7603 ~x823 ~x4206 ~x9308 
157.14/157.63	v ~x5898 x2514 x7617 ~x824 ~x4207 ~x9309 ~x5899 x2515 x7618 ~x825 
157.14/157.63	v ~x4208 ~x9310 x5900 ~x2516 ~x7619 ~x826 ~x4209 ~x9311 x5901 ~x2517 
157.14/157.63	v ~x7620 ~x827 ~x4210 ~x9312 ~x5902 ~x2518 x7621 ~x828 ~x4211 ~x9313 
157.14/157.63	v ~x5903 ~x2519 ~x7622 ~x829 ~x4212 ~x9314 ~x5904 ~x2520 x7623 x830 
157.14/157.63	v ~x4213 ~x9315 ~x5905 ~x2521 x7624 x831 ~x4214 ~x9316 ~x5906 ~x2522 
157.14/157.63	v x7625 x832 ~x4215 ~x9317 ~x5907 ~x2523 x7626 ~x833 ~x4216 ~x9318 
157.14/157.63	v ~x5908 x2524 ~x7627 ~x834 ~x4217 ~x9319 ~x5909 x2525 ~x7628 ~x835 
157.14/157.63	v ~x4218 ~x9320 ~x5910 x2526 ~x7629 ~x836 ~x4219 ~x9321 x5911 ~x2527 
157.14/157.63	v x7630 ~x837 ~x4220 ~x9322 x5912 ~x2528 x7631 x838 ~x4221 ~x9323 
157.14/157.63	v ~x5913 ~x2529 ~x7632 x839 ~x4222 ~x9324 ~x5914 ~x2530 ~x7633 x840 
157.14/157.63	v ~x4223 ~x5915 ~x2531 ~x7634 ~x841 ~x4224 ~x5916 ~x2532 ~x7635 ~x842 
157.14/157.63	v ~x4225 ~x5917 ~x2533 ~x7636 ~x843 ~x4226 ~x5918 ~x2534 x7637 ~x844 
157.14/157.63	v ~x4227 ~x5919 x2535 ~x7638 ~x845 ~x4228 ~x5920 x2536 ~x7639 ~x846 
157.14/157.63	v ~x4229 ~x5921 ~x2537 ~x7640 ~x847 ~x4230 ~x5922 x2538 x7641 ~x848 
157.14/157.63	v ~x4231 ~x5923 x2539 x7642 ~x849 ~x4232 ~x5924 ~x2540 x7643 ~x850 
157.14/157.63	v ~x4233 ~x5925 ~x2541 ~x7644 ~x851 ~x4234 ~x5926 ~x2542 ~x7645 x852 
157.14/157.63	v ~x4235 ~x5927 ~x2543 ~x7646 x853 ~x4236 ~x5928 ~x2544 x7647 ~x854 
157.14/157.63	v ~x4237 ~x5929 x2545 x7648 ~x855 ~x4238 ~x5930 x2546 ~x7649 ~x856 
157.14/157.63	v ~x4239 ~x5931 ~x2547 x7650 ~x857 ~x4240 ~x5932 ~x2548 x7651 ~x858 
157.14/157.63	v ~x4241 ~x5933 ~x2549 ~x7652 ~x859 ~x4242 ~x5934 ~x2550 x7653 ~x860 
157.14/157.63	v ~x4243 x5935 ~x2551 x7654 ~x861 ~x4244 x5936 ~x2552 ~x7655 ~x862 
157.14/157.63	v ~x4245 ~x5937 ~x2553 ~x7656 x863 ~x4246 x5938 ~x2554 x7657 x864 
157.14/157.63	v ~x4247 x5939 ~x2555 ~x7658 x865 ~x4248 ~x5940 ~x2556 x7659 x866 
157.14/157.63	v ~x4249 ~x5941 ~x2557 ~x7660 x867 ~x4250 ~x5942 ~x2558 ~x7661 ~x868 
157.14/157.63	v ~x4251 ~x5943 ~x2559 ~x7662 ~x869 ~x4252 ~x5944 ~x2560 ~x7663 ~x870 
157.14/157.63	v ~x4253 ~x5945 ~x2561 ~x7664 ~x871 ~x4254 ~x5946 ~x2562 ~x7665 ~x872 
157.14/157.63	v ~x4255 ~x5947 ~x2563 x7666 ~x873 ~x4256 ~x5948 x2564 ~x7667 ~x874 
157.14/157.63	v ~x4257 ~x5949 x2565 ~x7668 ~x875 ~x4258 ~x5950 ~x2566 x7669 ~x876 
157.14/157.63	v ~x4259 x5951 ~x2567 x7670 ~x877 ~x4260 x5952 ~x2568 x7671 ~x878 
157.14/157.63	v ~x4261 ~x5953 ~x2569 ~x7672 x879 ~x4262 ~x5954 ~x2570 ~x7673 x880 
157.14/157.63	v ~x4263 ~x5955 ~x2571 x7674 ~x881 ~x4264 ~x5956 x2572 x7675 ~x882 
157.14/157.63	v ~x4265 ~x5957 x2573 ~x7676 ~x883 ~x4266 ~x5958 x2574 ~x7677 ~x884 
157.14/157.63	v ~x4267 x5959 ~x2575 ~x7678 ~x885 ~x4268 x5960 ~x2576 ~x7679 ~x886 
157.14/157.63	v ~x4269 x5961 ~x2577 ~x7680 ~x887 ~x4270 x5962 ~x2578 x7681 ~x888 
157.14/157.63	v ~x4271 x5963 ~x2579 ~x7682 ~x889 ~x4272 ~x5964 ~x2580 ~x7683 ~x890 
157.14/157.63	v ~x4273 ~x5965 x2581 ~x7684 ~x891 ~x4274 ~x5966 x2582 ~x7685 ~x892 
157.14/157.63	v ~x4275 ~x5967 x2583 ~x7686 ~x893 ~x4276 ~x5968 ~x2584 x7687 ~x894 
157.14/157.63	v ~x4277 ~x5969 x2585 ~x7688 ~x895 ~x4278 ~x5970 x2586 x7689 ~x896 
157.14/157.63	v ~x4279 ~x5971 x2587 ~x7690 ~x897 ~x4280 ~x5972 ~x2588 x7691 ~x898 
157.14/157.63	v ~x4281 ~x5973 ~x2589 x7692 ~x899 ~x4282 ~x5974 ~x2590 x7693 x900 
157.14/157.63	v ~x4283 ~x5975 ~x2591 ~x7694 x901 ~x4284 ~x5976 ~x2592 x7695 x902 
157.14/157.63	v ~x4285 ~x5977 x2593 x7696 ~x903 ~x4286 ~x5978 x2594 x7697 ~x904 
157.14/157.63	v ~x4287 ~x5979 ~x2595 x7698 ~x905 ~x4288 ~x5980 ~x2596 ~x7699 ~x906 
157.14/157.63	v ~x4289 ~x5981 ~x2597 ~x7700 ~x907 ~x4290 ~x5982 ~x2598 x7701 x908 
157.14/157.63	v ~x4291 x5983 ~x2599 x7702 x909 ~x4292 x5984 ~x2600 ~x7703 x910 
157.14/157.63	v ~x4293 ~x5985 ~x2601 ~x7704 ~x911 ~x4294 ~x5986 ~x2602 ~x7705 ~x912 
157.14/157.63	v ~x4295 ~x5987 ~x2603 x7706 ~x913 ~x4296 ~x5988 ~x2604 x7707 ~x914 
157.14/157.63	v ~x4297 ~x5989 ~x2605 ~x7708 ~x915 ~x4298 x5990 ~x2606 x7709 x916 
157.14/157.63	v ~x4299 x5991 x2607 x7710 x917 ~x4300 ~x5992 x2608 ~x7711 ~x918 
157.14/157.63	v ~x4301 ~x5993 ~x2609 x7712 ~x919 ~x4302 ~x5994 ~x2610 x7713 ~x920 
157.14/157.63	v ~x4303 ~x5995 ~x2611 ~x7714 x921 ~x4304 ~x5996 ~x2612 ~x7715 x922 
157.14/157.63	v ~x4305 ~x5997 ~x2613 ~x7716 x923 ~x4306 ~x5998 ~x2614 x7717 ~x924 
157.14/157.63	v ~x4307 ~x5999 ~x2615 ~x7718 ~x925 ~x4308 ~x6000 ~x2616 x7719 ~x926 
157.14/157.63	v ~x4309 ~x6001 ~x2617 ~x7720 ~x927 ~x4310 ~x6002 x2618 ~x7721 ~x928 
157.14/157.63	v ~x4311 ~x6003 x2619 x7722 ~x929 ~x4312 x6004 ~x2620 ~x7723 ~x930 
157.14/157.63	v ~x4313 x6005 ~x2621 ~x7724 ~x931 ~x4314 ~x6006 ~x2622 x7725 x932 
157.14/157.63	v ~x4315 ~x6007 ~x2623 ~x7726 x933 ~x4316 ~x6008 ~x2624 x7727 ~x934 
157.14/157.63	v ~x4317 x6009 ~x2625 x7728 ~x935 ~x4318 x6010 ~x2626 ~x7729 ~x936 
157.14/157.63	v ~x4319 x6011 ~x2627 ~x7730 ~x937 ~x4320 ~x6012 x2628 ~x7731 ~x938 
157.14/157.63	v ~x6013 x2629 x7732 ~x939 ~x4321 ~x6014 x2630 ~x7733 ~x940 ~x4322 
157.14/157.63	v ~x6015 ~x2631 ~x7734 x941 ~x4323 ~x6016 ~x2632 ~x7735 x942 ~x4324 
157.14/157.63	v ~x6017 ~x2633 x7736 x943 ~x4325 ~x6018 ~x2634 ~x7737 ~x944 ~x4326 
157.14/157.63	v ~x6019 ~x2635 ~x7738 ~x945 ~x4327 ~x6020 ~x2636 ~x7739 ~x946 ~x4328 
157.14/157.63	v ~x6021 ~x2637 x7740 ~x947 ~x4329 ~x6022 x2638 x7741 ~x948 ~x4330 
157.14/157.63	v ~x6023 x2639 ~x7742 ~x949 ~x4331 ~x6024 ~x2640 ~x7743 ~x950 ~x4332 
157.14/157.63	v ~x6025 ~x2641 ~x7744 ~x951 ~x4333 ~x6026 ~x2642 x7745 ~x952 ~x4334 
157.14/157.63	v ~x6027 ~x2643 x7746 ~x953 ~x4335 x6028 ~x2644 ~x7747 x954 ~x4336 
157.14/157.63	v x6029 ~x2645 x7748 x955 ~x4337 ~x6030 ~x2646 ~x7749 ~x956 ~x4338 
157.14/157.63	v ~x6031 ~x2647 ~x7750 ~x957 ~x4339 ~x6032 ~x2648 ~x7751 ~x958 ~x4340 
157.14/157.63	v ~x6033 ~x2649 ~x7752 ~x959 ~x4341 ~x6034 ~x2650 ~x7753 ~x960 ~x4342 
157.14/157.63	v ~x6035 ~x2651 x7754 ~x961 ~x4343 ~x6036 ~x2652 ~x7755 ~x962 ~x4344 
157.14/157.63	v ~x6037 ~x2653 ~x7756 ~x963 ~x4345 ~x6038 ~x2654 ~x7757 ~x964 ~x4346 
157.14/157.63	v ~x6039 ~x2655 x7758 x965 ~x4347 ~x6040 ~x2656 x7759 x966 ~x4348 
157.14/157.63	v x6041 ~x2657 x7760 ~x967 ~x4349 x6042 ~x2658 x7761 ~x968 ~x4350 
157.14/157.63	v ~x6043 ~x2659 ~x7762 ~x969 ~x4351 ~x6044 ~x2660 ~x7763 ~x970 ~x4352 
157.14/157.63	v ~x6045 ~x2661 ~x7764 ~x971 ~x4353 ~x6046 ~x2662 x7765 ~x972 ~x4354 
157.14/157.63	v ~x6047 ~x2663 x7766 ~x973 ~x4355 ~x6048 ~x2664 ~x7767 x974 ~x4356 
157.14/157.63	v ~x6049 ~x2665 ~x7768 x975 ~x4357 ~x6050 ~x2666 x7769 x976 ~x4358 
157.14/157.63	v ~x6051 ~x2667 x7770 ~x977 ~x4359 ~x6052 ~x2668 ~x7771 ~x978 ~x4360 
157.14/157.63	v ~x6053 ~x2669 ~x7772 ~x979 ~x4361 ~x6054 ~x2670 ~x7773 ~x980 ~x4362 
157.14/157.63	v ~x6055 x2671 ~x7774 ~x981 ~x4363 ~x6056 x2672 ~x7775 ~x982 ~x4364 
157.14/157.63	v ~x6057 ~x2673 x7776 x983 ~x4365 ~x6058 ~x2674 ~x7777 x984 ~x4366 
157.14/157.63	v ~x6059 ~x2675 ~x7778 x985 ~x4367 ~x6060 ~x2676 ~x7779 x986 ~x4368 
157.14/157.63	v ~x6061 ~x2677 x7780 ~x987 ~x4369 ~x6062 ~x2678 ~x7781 ~x988 ~x4370 
157.14/157.63	v ~x6063 ~x2679 x7782 ~x989 ~x4371 ~x6064 ~x2680 x7783 ~x990 ~x4372 
157.14/157.63	v ~x6065 ~x2681 ~x7784 ~x991 ~x4373 ~x6066 ~x2682 ~x7785 ~x992 ~x4374 
157.14/157.63	v ~x6067 ~x2683 ~x7786 ~x993 ~x4375 x6068 x2684 ~x7787 x994 ~x4376 
157.14/157.63	v x6069 x2685 x7788 x995 ~x4377 ~x6070 x2686 x7789 ~x996 ~x4378 
157.14/157.63	v ~x6071 ~x2687 x7790 ~x997 ~x4379 ~x6072 ~x2688 ~x7791 ~x998 ~x4380 
157.14/157.63	v ~x6073 ~x2689 x7792 ~x999 ~x4381 ~x6074 x2690 x7793 ~x1000 ~x4382 
157.14/157.63	v ~x6075 x2691 x7794 ~x1001 ~x4383 ~x6076 ~x2692 x7795 ~x1002 ~x4384 
157.14/157.63	v ~x6077 ~x2693 ~x7796 ~x1003 ~x4385 x6078 ~x2694 x7797 ~x1004 ~x4386 
157.14/157.63	v x6079 ~x2695 ~x7798 ~x1005 ~x4387 ~x6080 ~x2696 ~x7799 ~x1006 ~x4388 
157.14/157.63	v ~x6081 ~x2697 x7800 ~x1007 ~x4389 ~x6082 ~x2698 ~x7801 ~x1008 ~x4390 
157.14/157.63	v ~x6083 ~x2699 x7802 ~x1009 ~x4391 x6084 ~x2700 x7803 ~x1010 ~x4392 
157.14/157.63	v x6085 x2701 ~x7804 ~x1011 ~x4393 ~x6086 x2702 ~x7805 ~x1012 ~x4394 
157.14/157.63	v ~x6087 x2703 ~x7806 ~x1013 ~x4395 ~x6088 ~x2704 ~x7807 ~x1014 ~x4396 
157.14/157.63	v ~x6089 ~x2705 x7808 ~x1015 ~x4397 ~x6090 ~x2706 x7809 ~x1016 ~x4398 
157.14/157.63	v ~x6091 ~x2707 x7810 ~x1017 ~x4399 ~x6092 x2708 ~x7811 ~x1018 ~x4400 
157.14/157.63	v ~x6093 x2709 ~x7812 ~x1019 ~x4401 ~x6094 ~x2710 ~x7813 ~x1020 ~x4402 
157.14/157.63	v x6095 ~x2711 ~x7814 ~x1021 ~x4403 x6096 ~x2712 ~x7815 x1022 ~x4404 
157.14/157.63	v ~x6097 x2713 ~x7816 x1023 ~x4405 ~x6098 x2714 x7817 x1024 ~x4406 
157.14/157.63	v ~x6099 ~x2715 x7818 x1025 ~x4407 ~x6100 ~x2716 ~x7819 x1026 ~x4408 
157.14/157.63	v ~x6101 ~x2717 x7820 x1027 ~x4409 ~x6102 ~x2718 ~x7821 ~x1028 ~x4410 
157.14/157.63	v ~x6103 ~x2719 ~x7822 ~x1029 ~x4411 ~x6104 ~x2720 x7823 ~x1030 ~x4412 
157.14/157.63	v ~x6105 x2721 ~x7824 ~x1031 ~x4413 ~x6106 x2722 ~x7825 ~x1032 ~x4414 
157.14/157.63	v ~x6107 x2723 x7826 x1033 ~x4415 ~x6108 ~x2724 x7827 x1034 ~x4416 
157.14/157.63	v ~x6109 ~x2725 ~x7828 x1035 ~x4417 ~x6110 ~x2726 ~x7829 ~x1036 ~x4418 
157.14/157.63	v ~x6111 ~x2727 x7830 ~x1037 ~x4419 ~x6112 ~x2728 ~x7831 ~x1038 ~x4420 
157.14/157.63	v ~x6113 ~x2729 x7832 ~x1039 ~x4421 ~x6114 ~x2730 x7833 ~x1040 ~x4422 
157.14/157.63	v ~x6115 ~x2731 x7834 ~x1041 ~x4423 ~x6116 ~x2732 x7835 ~x1042 ~x4424 
157.14/157.63	v ~x6117 ~x2733 ~x7836 ~x1043 ~x4425 ~x6118 x2734 ~x7837 x1044 ~x4426 
157.14/157.63	v ~x6119 x2735 ~x7838 x1045 ~x4427 ~x6120 ~x2736 ~x7839 x1046 ~x4428 
157.14/157.63	v ~x6121 ~x2737 ~x7840 ~x1047 ~x4429 ~x6122 ~x2738 ~x7841 ~x1048 ~x4430 
157.14/157.63	v ~x6123 ~x2739 x7842 x1049 ~x4431 ~x6124 ~x2740 ~x7843 x1050 ~x4432 
157.14/157.63	v ~x6125 ~x2741 x7844 x1051 ~x4433 ~x6126 ~x2742 ~x7845 ~x1052 ~x4434 
157.14/157.63	v ~x6127 ~x2743 x7846 ~x1053 ~x4435 ~x6128 ~x2744 ~x7847 ~x1054 ~x4436 
157.14/157.63	v ~x6129 ~x2745 x7848 ~x1055 ~x4437 ~x6130 ~x2746 ~x7849 ~x1056 ~x4438 
157.14/157.63	v ~x6131 ~x2747 x7850 ~x1057 ~x4439 ~x6132 ~x2748 x7851 ~x1058 ~x4440 
157.14/157.63	v ~x6133 ~x2749 ~x7852 ~x1059 ~x4441 ~x6134 ~x2750 x7853 x1060 ~x4442 
157.14/157.63	v ~x6135 ~x2751 ~x7854 x1061 ~x4443 ~x6136 ~x2752 ~x7855 x1062 ~x4444 
157.14/157.63	v ~x6137 ~x2753 ~x7856 ~x1063 ~x4445 ~x6138 ~x2754 ~x7857 ~x1064 ~x4446 
157.14/157.63	v ~x6139 ~x2755 ~x7858 ~x1065 ~x4447 ~x6140 x2756 x7859 ~x1066 ~x4448 
157.14/157.63	v ~x6141 x2757 x7860 ~x1067 ~x4449 x6142 ~x2758 ~x7861 ~x1068 ~x4450 
157.14/157.63	v x6143 ~x2759 ~x7862 x1069 ~x4451 ~x6144 ~x2760 ~x7863 x1070 ~x4452 
157.14/157.63	v ~x6145 ~x2761 ~x7864 x1071 ~x4453 ~x6146 ~x2762 x7865 ~x1072 ~x4454 
157.14/157.63	v ~x6147 ~x2763 ~x7866 ~x1073 ~x4455 ~x6148 ~x2764 ~x7867 ~x1074 ~x4456 
157.14/157.63	v ~x6149 ~x2765 x7868 ~x1075 ~x4457 ~x6150 ~x2766 ~x7869 ~x1076 ~x4458 
157.14/157.63	v ~x6151 ~x2767 ~x7870 ~x1077 ~x4459 ~x6152 ~x2768 x7871 ~x1078 ~x4460 
157.14/157.63	v ~x6153 ~x2769 x7872 ~x1079 ~x4461 ~x6154 ~x2770 ~x7873 ~x1080 ~x4462 
157.14/157.63	v ~x6155 ~x2771 x7874 ~x1081 ~x4463 x6156 ~x2772 x7875 ~x1082 ~x4464 
157.14/157.63	v x6157 x2773 x7876 ~x1083 ~x4465 ~x6158 x2774 x7877 x1084 ~x4466 
157.14/157.63	v ~x6159 ~x2775 ~x7878 x1085 ~x4467 ~x6160 ~x2776 ~x7879 x1086 ~x4468 
157.14/157.63	v ~x6161 x2777 ~x7880 ~x1087 ~x4469 ~x6162 x2778 x7881 ~x1088 ~x4470 
157.14/157.63	v ~x6163 ~x2779 ~x7882 ~x1089 ~x4471 x6164 ~x2780 x7883 ~x1090 ~x4472 
157.14/157.63	v x6165 ~x2781 x7884 ~x1091 ~x4473 ~x6166 ~x2782 x7885 ~x1092 ~x4474 
157.14/157.63	v ~x6167 ~x2783 ~x7886 ~x1093 ~x4475 ~x6168 ~x2784 ~x7887 ~x1094 ~x4476 
157.14/157.63	v ~x6169 ~x2785 ~x7888 x1095 ~x4477 x6170 ~x2786 x7889 x1096 ~x4478 
157.14/157.63	v x6171 ~x2787 x7890 ~x1097 ~x4479 ~x6172 ~x2788 ~x7891 x1098 ~x4480 
157.14/157.63	v ~x6173 ~x2789 x7892 x1099 ~x4481 ~x6174 ~x2790 ~x7893 ~x1100 ~x4482 
157.14/157.63	v ~x6175 ~x2791 ~x7894 ~x1101 ~x4483 ~x6176 ~x2792 ~x7895 ~x1102 ~x4484 
157.14/157.63	v ~x6177 ~x2793 ~x7896 ~x1103 ~x4485 ~x6178 ~x2794 x7897 ~x1104 ~x4486 
157.14/157.63	v ~x6179 ~x2795 ~x7898 ~x1105 ~x4487 ~x6180 ~x2796 ~x7899 ~x1106 ~x4488 
157.14/157.63	v ~x6181 ~x2797 x7900 ~x1107 ~x4489 ~x6182 ~x2798 x7901 ~x1108 ~x4490 
157.14/157.63	v x6183 ~x2799 x7902 ~x1109 ~x4491 x6184 ~x2800 x7903 x1110 ~x4492 
157.14/157.63	v ~x6185 ~x2801 x7904 x1111 ~x4493 ~x6186 ~x2802 x7905 x1112 ~x4494 
157.14/157.63	v ~x6187 ~x2803 ~x7906 ~x1113 ~x4495 x6188 ~x2804 ~x7907 ~x1114 ~x4496 
157.14/157.63	v x6189 ~x2805 ~x7908 ~x1115 ~x4497 ~x6190 ~x2806 x7909 x1116 ~x4498 
157.14/157.63	v ~x6191 ~x2807 ~x7910 x1117 ~x4499 ~x6192 ~x2808 ~x7911 x1118 ~x4500 
157.14/157.63	v ~x6193 ~x2809 ~x7912 ~x1119 ~x4501 ~x6194 ~x2810 ~x7913 ~x1120 ~x4502 
157.14/157.63	v ~x6195 ~x2811 x7914 ~x1121 ~x4503 x6196 x2812 ~x7915 ~x1122 ~x4504 
157.14/157.63	v x6197 x2813 x7916 ~x1123 ~x4505 ~x6198 ~x2814 x7917 x1124 ~x4506 
157.14/157.63	v ~x6199 ~x2815 x7918 x1125 ~x4507 ~x6200 ~x2816 ~x7919 ~x1126 ~x4508 
157.14/157.63	v ~x6201 ~x2817 ~x7920 ~x1127 ~x4509 x6202 ~x2818 x7921 ~x1128 ~x4510 
157.14/157.63	v x6203 ~x2819 ~x7922 ~x1129 ~x4511 ~x6204 ~x2820 x7923 ~x1130 ~x4512 
157.14/157.63	v ~x6205 ~x2821 ~x7924 ~x1131 ~x4513 ~x6206 ~x2822 ~x7925 ~x1132 ~x4514 
157.14/157.63	v ~x6207 ~x2823 x7926 ~x1133 ~x4515 ~x6208 ~x2824 x7927 ~x1134 ~x4516 
157.14/157.63	v ~x6209 ~x2825 ~x7928 ~x1135 ~x4517 ~x6210 ~x2826 ~x7929 ~x1136 ~x4518 
157.14/157.63	v ~x6211 ~x2827 ~x7930 ~x1137 ~x4519 ~x6212 x2828 x7931 x1138 ~x4520 
157.14/157.63	v ~x6213 x2829 ~x7932 x1139 ~x4521 ~x6214 ~x2830 ~x7933 ~x1140 ~x4522 
157.14/157.63	v ~x6215 ~x2831 x7934 ~x1141 ~x4523 ~x6216 ~x2832 x7935 ~x1142 ~x4524 
157.14/157.63	v ~x6217 ~x2833 ~x7936 ~x1143 ~x4525 ~x6218 ~x2834 ~x7937 ~x1144 ~x4526 
157.14/157.63	v ~x6219 ~x2835 ~x7938 ~x1145 ~x4527 x6220 ~x2836 ~x7939 ~x1146 ~x4528 
157.14/157.63	v x6221 ~x2837 x7940 ~x1147 ~x4529 ~x6222 x2838 x7941 ~x1148 ~x4530 
157.14/157.63	v ~x6223 x2839 ~x7942 ~x1149 ~x4531 ~x6224 ~x2840 x7943 ~x1150 ~x4532 
157.14/157.63	v ~x6225 ~x2841 x7944 ~x1151 ~x4533 x6226 ~x2842 ~x7945 ~x1152 ~x4534 
157.14/157.63	v x6227 ~x2843 ~x7946 x1153 ~x4535 ~x6228 ~x2844 x7947 x1154 ~x4536 
157.14/157.63	v ~x6229 ~x2845 ~x7948 x1155 ~x4537 ~x6230 x2846 ~x7949 ~x1156 ~x4538 
157.14/157.63	v ~x6231 x2847 ~x7950 ~x1157 ~x4539 ~x6232 ~x2848 x7951 ~x1158 ~x4540 
157.14/157.63	v ~x6233 ~x2849 ~x7952 ~x1159 ~x4541 x6234 ~x2850 x7953 ~x1160 ~x4542 
157.14/157.63	v x6235 ~x2851 ~x7954 ~x1161 ~x4543 ~x6236 ~x2852 ~x7955 ~x1162 ~x4544 
157.14/157.63	v ~x6237 ~x2853 x7956 ~x1163 ~x4545 ~x6238 ~x2854 x7957 x1164 ~x4546 
157.14/157.63	v ~x6239 ~x2855 ~x7958 x1165 ~x4547 ~x6240 ~x2856 x7959 x1166 ~x4548 
157.14/157.63	v ~x6241 ~x2857 ~x7960 ~x1167 ~x4549 ~x6242 ~x2858 ~x7961 ~x1168 ~x4550 
157.14/157.63	v ~x6243 ~x2859 ~x7962 ~x1169 ~x4551 ~x6244 ~x2860 ~x7963 ~x1170 ~x4552 
157.14/157.63	v ~x6245 ~x2861 x7964 ~x1171 ~x4553 ~x6246 x2862 x7965 ~x1172 ~x4554 
157.14/157.63	v ~x6247 x2863 x7966 ~x1173 ~x4555 ~x6248 ~x2864 ~x7967 ~x1174 ~x4556 
157.14/157.63	v ~x6249 ~x2865 ~x7968 x1175 ~x4557 ~x6250 x2866 x7969 x1176 ~x4558 
157.14/157.63	v ~x6251 x2867 ~x7970 ~x1177 ~x4559 x6252 ~x2868 ~x7971 ~x1178 ~x4560 
157.14/157.63	v x6253 ~x2869 ~x7972 ~x1179 ~x4561 ~x6254 ~x2870 x7973 x1180 ~x4562 
157.14/157.63	v ~x6255 ~x2871 ~x7974 x1181 ~x4563 ~x6256 ~x2872 x7975 ~x1182 ~x4564 
157.14/157.63	v ~x6257 ~x2873 ~x7976 ~x1183 ~x4565 ~x6258 ~x2874 x7977 ~x1184 ~x4566 
157.14/157.63	v ~x6259 ~x2875 ~x7978 x1185 ~x4567 ~x6260 x2876 x7979 x1186 ~x4568 
157.14/157.63	v ~x6261 x2877 ~x7980 x1187 ~x4569 ~x6262 ~x2878 ~x7981 ~x1188 ~x4570 
157.14/157.63	v x6263 ~x2879 x7982 ~x1189 ~x4571 x6264 ~x2880 ~x7983 ~x1190 ~x4572 
157.14/157.63	v ~x6265 ~x2881 ~x7984 ~x1191 ~x4573 ~x6266 x2882 ~x7985 ~x1192 ~x4574 
157.14/157.63	v ~x6267 x2883 ~x7986 x1193 ~x4575 x6268 ~x2884 ~x7987 x1194 ~x4576 
157.14/157.63	v x6269 ~x2885 ~x7988 x1195 ~x4577 x6270 ~x2886 x7989 ~x1196 ~x4578 
157.14/157.63	v ~x6271 ~x2887 x7990 ~x1197 ~x4579 ~x6272 ~x2888 x7991 ~x1198 ~x4580 
157.14/157.63	v ~x6273 ~x2889 x7992 ~x1199 ~x4581 ~x6274 ~x2890 ~x7993 ~x1200 ~x4582 
157.14/157.63	v ~x6275 ~x2891 x7994 ~x4583 x6276 ~x2892 ~x7995 ~x1201 ~x4584 x6277 
157.14/157.63	v ~x2893 ~x7996 ~x1202 ~x4585 ~x6278 ~x2894 ~x7997 ~x1203 ~x4586 ~x6279 
157.14/157.63	v ~x2895 ~x7998 x1204 ~x4587 ~x6280 ~x2896 ~x7999 x1205 ~x4588 ~x6281 
157.14/157.63	v x2897 ~x8000 ~x1206 ~x4589 x6282 x2898 ~x8001 ~x1207 ~x4590 x6283 
157.14/157.63	v x2899 x8002 ~x1208 ~x4591 ~x6284 ~x2900 x8003 ~x1209 ~x4592 ~x6285 
157.14/157.63	v ~x2901 ~x8004 ~x1210 ~x4593 ~x6286 ~x2902 ~x8005 ~x1211 ~x4594 ~x6287 
157.14/157.63	v ~x2903 ~x8006 ~x1212 ~x4595 ~x6288 ~x2904 x8007 ~x1213 ~x4596 ~x6289 
157.14/157.63	v ~x2905 x8008 ~x1214 ~x4597 ~x6290 ~x2906 ~x8009 x1215 ~x4598 ~x6291 
157.14/157.63	v ~x2907 ~x8010 x1216 ~x4599 ~x6292 ~x2908 x8011 ~x1217 ~x4600 ~x6293 
157.14/157.63	v ~x2909 x8012 x1218 ~x4601 ~x6294 ~x2910 x8013 x1219 ~x4602 ~x6295 
157.14/157.63	v ~x2911 x8014 ~x1220 ~x4603 ~x6296 ~x2912 ~x8015 ~x1221 ~x4604 ~x6297 
157.14/157.63	v ~x2913 ~x8016 ~x1222 ~x4605 ~x6298 ~x2914 ~x8017 ~x1223 ~x4606 ~x6299 
157.14/157.63	v ~x2915 x8018 ~x1224 ~x4607 ~x6300 ~x2916 ~x8019 x1225 ~x4608 ~x6301 
157.14/157.63	v ~x2917 ~x8020 x1226 ~x4609 ~x6302 ~x2918 ~x8021 ~x1227 ~x4610 ~x6303 
157.14/157.63	v x2919 ~x8022 ~x1228 ~x4611 ~x6304 x2920 ~x8023 ~x1229 ~x4612 ~x6305 
157.14/157.63	v ~x2921 ~x8024 ~x1230 ~x4613 ~x6306 ~x2922 ~x8025 ~x1231 ~x4614 ~x6307 
157.14/157.63	v ~x2923 x8026 ~x1232 ~x4615 ~x6308 ~x2924 x8027 ~x1233 ~x4616 ~x6309 
157.14/157.63	v ~x2925 ~x8028 ~x1234 ~x4617 ~x6310 ~x2926 x8029 ~x1235 ~x4618 ~x6311 
157.14/157.63	v ~x2927 x8030 x1236 ~x4619 ~x6312 ~x2928 ~x8031 x1237 ~x4620 ~x6313 
157.14/157.63	v ~x2929 ~x8032 ~x1238 ~x4621 ~x6314 ~x2930 ~x8033 ~x1239 ~x4622 ~x6315 
157.14/157.63	v ~x2931 ~x8034 ~x1240 ~x4623 x6316 ~x2932 ~x8035 ~x1241 ~x4624 x6317 
157.14/157.63	v ~x2933 x8036 ~x1242 ~x4625 ~x6318 ~x2934 x8037 ~x1243 ~x4626 ~x6319 
157.14/157.63	v x2935 x8038 x1244 ~x4627 ~x6320 x2936 ~x8039 x1245 ~x4628 ~x6321 
157.14/157.63	v ~x2937 ~x8040 ~x1246 ~x4629 ~x6322 ~x2938 x8041 ~x1247 ~x4630 ~x6323 
157.14/157.63	v ~x2939 ~x8042 ~x1248 ~x4631 ~x6324 x2940 ~x8043 ~x1249 ~x4632 ~x6325 
157.14/157.63	v x2941 x8044 ~x1250 ~x4633 ~x6326 ~x2942 x8045 ~x1251 ~x4634 x6327 
157.14/157.63	v ~x2943 ~x8046 ~x1252 ~x4635 x6328 ~x2944 ~x8047 ~x1253 ~x4636 ~x6329 
157.14/157.63	v ~x2945 x8048 ~x1254 ~x4637 ~x6330 ~x2946 ~x8049 ~x1255 ~x4638 ~x6331 
157.14/157.63	v ~x2947 ~x8050 ~x1256 ~x4639 ~x6332 ~x2948 ~x8051 ~x1257 ~x4640 ~x6333 
157.14/157.63	v ~x2949 x8052 ~x1258 ~x4641 ~x6334 ~x2950 ~x8053 ~x1259 ~x4642 x6335 
157.14/157.63	v x2951 ~x8054 x1260 ~x4643 x6336 x2952 x8055 x1261 ~x4644 ~x6337 
157.14/157.63	v ~x2953 x8056 x1262 ~x4645 ~x6338 ~x2954 ~x8057 ~x1263 ~x4646 ~x6339 
157.14/157.63	v ~x2955 x8058 ~x1264 ~x4647 ~x6340 ~x2956 ~x8059 ~x1265 ~x4648 ~x6341 
157.14/157.63	v ~x2957 x8060 ~x1266 ~x4649 x6342 ~x2958 ~x8061 ~x1267 ~x4650 x6343 
157.14/157.63	v ~x2959 ~x8062 ~x1268 ~x4651 ~x6344 ~x2960 x8063 ~x1269 ~x4652 ~x6345 
157.14/157.63	v ~x2961 ~x8064 x1270 ~x4653 ~x6346 ~x2962 ~x8065 x1271 ~x4654 ~x6347 
157.14/157.63	v ~x2963 ~x8066 ~x1272 ~x4655 ~x6348 ~x2964 ~x8067 x1273 ~x4656 ~x6349 
157.14/157.63	v ~x2965 ~x8068 x1274 ~x4657 ~x6350 x2966 ~x8069 x1275 ~x4658 ~x6351 
157.14/157.63	v x2967 ~x8070 ~x1276 ~x4659 ~x6352 ~x2968 ~x8071 ~x1277 ~x4660 ~x6353 
157.14/157.63	v ~x2969 ~x8072 ~x1278 ~x4661 ~x6354 ~x2970 ~x8073 ~x1279 ~x4662 ~x6355 
157.14/157.63	v ~x2971 ~x8074 ~x1280 ~x4663 ~x6356 x2972 x8075 ~x1281 ~x4664 ~x6357 
157.14/157.63	v x2973 x8076 ~x1282 ~x4665 ~x6358 ~x2974 x8077 ~x1283 ~x4666 ~x6359 
157.14/157.63	v ~x2975 x8078 x1284 ~x4667 ~x6360 ~x2976 ~x8079 x1285 ~x4668 ~x6361 
157.14/157.63	v x2977 ~x8080 ~x1286 ~x4669 ~x6362 x2978 x8081 ~x1287 ~x4670 ~x6363 
157.14/157.63	v ~x2979 ~x8082 ~x1288 ~x4671 ~x6364 ~x2980 ~x8083 ~x1289 ~x4672 ~x6365 
157.14/157.63	v ~x2981 ~x8084 ~x1290 ~x4673 ~x6366 ~x2982 x8085 ~x1291 ~x4674 ~x6367 
157.14/157.63	v ~x2983 ~x8086 ~x1292 ~x4675 ~x6368 ~x2984 ~x8087 ~x1293 ~x4676 ~x6369 
157.14/157.63	v x2985 ~x8088 ~x1294 ~x4677 ~x6370 x2986 ~x8089 ~x1295 ~x4678 ~x6371 
157.14/157.63	v ~x2987 ~x8090 ~x1296 ~x4679 ~x6372 ~x2988 x8091 ~x1297 ~x4680 ~x6373 
157.14/157.63	v ~x2989 x8092 ~x1298 ~x4681 ~x6374 ~x2990 x8093 ~x1299 ~x4682 ~x6375 
157.14/157.63	v ~x2991 x8094 x1300 ~x4683 ~x6376 ~x2992 ~x8095 x1301 ~x4684 ~x6377 
157.14/157.63	v x2993 ~x8096 x1302 ~x4685 ~x6378 x2994 ~x8097 ~x1303 ~x4686 ~x6379 
157.14/157.63	v ~x2995 ~x8098 ~x1304 ~x4687 ~x6380 ~x2996 x8099 ~x1305 ~x4688 ~x6381 
157.14/157.63	v ~x2997 x8100 x1306 ~x4689 x6382 ~x2998 ~x8101 x1307 ~x4690 x6383 
157.14/157.63	v ~x2999 ~x8102 ~x1308 ~x4691 ~x6384 ~x3000 ~x8103 ~x1309 ~x4692 ~x6385 
157.14/157.63	v ~x3001 ~x8104 ~x1310 ~x4693 ~x6386 ~x3002 ~x8105 ~x1311 ~x4694 ~x6387 
157.14/157.63	v ~x3003 x8106 ~x1312 ~x4695 ~x6388 ~x3004 ~x8107 ~x1313 ~x4696 ~x6389 
157.14/157.63	v ~x3005 ~x8108 ~x1314 ~x4697 ~x6390 ~x3006 ~x8109 ~x1315 ~x4698 ~x6391 
157.14/157.63	v ~x3007 ~x8110 x1316 ~x4699 ~x6392 ~x3008 ~x8111 x1317 ~x4700 ~x6393 
157.14/157.63	v ~x3009 x8112 x1318 ~x4701 x6394 ~x3010 x8113 ~x1319 ~x4702 x6395 
157.14/157.63	v ~x3011 x8114 ~x1320 ~x4703 ~x6396 ~x3012 x8115 x1321 ~x4704 ~x6397 
157.14/157.63	v ~x3013 x8116 x1322 ~x4705 ~x6398 ~x3014 ~x8117 x1323 ~x4706 ~x6399 
157.14/157.63	v ~x3015 ~x8118 ~x1324 ~x4707 ~x6400 ~x3016 x8119 ~x1325 ~x4708 ~x6401 
157.14/157.63	v x3017 ~x8120 ~x1326 ~x4709 ~x6402 x3018 ~x8121 ~x1327 ~x4710 ~x6403 
157.14/157.63	v ~x3019 ~x8122 ~x1328 ~x4711 ~x6404 ~x3020 ~x8123 x1329 ~x4712 ~x6405 
157.14/157.63	v ~x3021 ~x8124 x1330 ~x4713 ~x6406 ~x3022 x8125 x1331 ~x4714 ~x6407 
157.14/157.63	v ~x3023 ~x8126 ~x1332 ~x4715 ~x6408 ~x3024 ~x8127 ~x1333 ~x4716 ~x6409 
157.14/157.63	v ~x3025 ~x8128 ~x1334 ~x4717 ~x6410 ~x3026 ~x8129 ~x1335 ~x4718 ~x6411 
157.14/157.63	v ~x3027 ~x8130 ~x1336 ~x4719 ~x6412 ~x3028 x8131 ~x1337 ~x4720 ~x6413 
157.14/157.63	v ~x3029 x8132 ~x1338 ~x4721 ~x6414 ~x3030 x8133 ~x4722 ~x1339 ~x6415 
157.14/157.63	v ~x3031 x8134 x1340 ~x4723 ~x6416 ~x3032 x8135 x1341 ~x4724 x6417 
157.14/157.63	v ~x3033 x8136 ~x1342 ~x4725 x6418 ~x3034 ~x8137 ~x1343 ~x4726 x6419 
157.14/157.63	v ~x3035 x8138 ~x1344 ~x4727 ~x6420 ~x3036 ~x8139 ~x1345 ~x4728 ~x6421 
157.14/157.63	v ~x3037 ~x8140 ~x1346 ~x4729 ~x6422 ~x3038 ~x8141 ~x1347 ~x4730 ~x6423 
157.14/157.63	v ~x3039 ~x8142 x1348 ~x4731 ~x6424 ~x3040 x8143 x1349 ~x4732 ~x6425 
157.14/157.63	v ~x3041 ~x8144 ~x1350 ~x4733 ~x6426 ~x3042 ~x8145 ~x1351 ~x4734 ~x6427 
157.14/157.63	v ~x3043 ~x8146 ~x1352 ~x4735 x6428 ~x3044 x8147 ~x1353 ~x4736 x6429 
157.14/157.63	v ~x3045 x8148 ~x1354 ~x4737 ~x6430 ~x3046 x8149 ~x1355 ~x4738 ~x6431 
157.14/157.63	v ~x3047 ~x8150 ~x1356 ~x4739 ~x6432 ~x3048 ~x8151 ~x1357 ~x4740 ~x6433 
157.14/157.63	v ~x3049 ~x8152 ~x1358 ~x4741 ~x6434 ~x3050 ~x8153 ~x1359 ~x4742 ~x6435 
157.14/157.63	v ~x3051 ~x8154 ~x1360 ~x4743 x6436 ~x3052 x8155 ~x1361 ~x4744 x6437 
157.14/157.63	v ~x3053 x8156 ~x1362 ~x4745 ~x6438 x3054 ~x8157 ~x1363 ~x4746 ~x6439 
157.14/157.63	v x3055 ~x8158 x1364 ~x4747 ~x6440 x3056 ~x8159 x1365 ~x4748 ~x6441 
157.14/157.63	v ~x3057 x8160 ~x1366 ~x4749 ~x6442 ~x3058 ~x8161 ~x1367 ~x4750 ~x6443 
157.14/157.63	v ~x3059 ~x8162 ~x1368 ~x4751 ~x6444 ~x3060 ~x8163 x1369 ~x4752 ~x6445 
157.14/157.63	v ~x3061 ~x8164 x1370 ~x4753 ~x6446 ~x3062 ~x8165 x1371 ~x4754 ~x6447 
157.14/157.63	v ~x3063 ~x8166 ~x1372 ~x4755 ~x6448 ~x3064 x8167 ~x1373 ~x4756 ~x6449 
157.14/157.63	v ~x3065 ~x8168 ~x1374 ~x4757 x6450 ~x3066 x8169 ~x1375 ~x4758 x6451 
157.14/157.63	v ~x3067 x8170 ~x1376 ~x4759 ~x6452 ~x3068 ~x8171 x1377 ~x4760 ~x6453 
157.14/157.63	v ~x3069 ~x8172 x1378 ~x4761 ~x6454 ~x3070 ~x8173 x1379 ~x4762 ~x6455 
157.14/157.63	v x3071 ~x8174 ~x1380 ~x4763 ~x6456 x3072 ~x8175 ~x1381 ~x4764 ~x6457 
157.14/157.63	v ~x3073 ~x8176 ~x1382 ~x4765 ~x6458 ~x3074 x8177 ~x1383 ~x4766 ~x6459 
157.14/157.63	v ~x3075 x8178 ~x1384 ~x4767 x6460 x3076 x8179 x1385 ~x4768 x6461 
157.14/157.63	v x3077 x8180 x1386 ~x4769 ~x6462 x3078 x8181 x1387 ~x4770 ~x6463 
157.14/157.63	v ~x3079 x8182 ~x1388 ~x4771 ~x6464 ~x3080 ~x8183 ~x1389 ~x4772 ~x6465 
157.14/157.63	v ~x3081 x8184 ~x1390 ~x4773 ~x6466 ~x3082 ~x8185 ~x1391 ~x4774 ~x6467 
157.14/157.63	v ~x3083 x8186 ~x1392 ~x4775 ~x6468 ~x3084 ~x8187 ~x1393 ~x4776 ~x6469 
157.14/157.63	v ~x3085 x8188 ~x1394 ~x4777 x6470 ~x3086 x8189 ~x1395 ~x4778 x6471 
157.14/157.63	v ~x3087 ~x8190 ~x1396 ~x4779 ~x6472 ~x3088 x8191 ~x1397 ~x4780 ~x6473 
157.14/157.63	v ~x3089 ~x8192 ~x1398 ~x4781 ~x6474 ~x3090 x8193 ~x1399 ~x4782 ~x6475 
157.14/157.63	v ~x3091 ~x8194 ~x1400 ~x4783 ~x6476 ~x3092 x8195 x1401 ~x4784 ~x6477 
157.14/157.63	v ~x3093 x8196 x1402 ~x4785 ~x6478 ~x3094 ~x8197 x1403 ~x4786 x6479 
157.14/157.63	v ~x3095 x8198 ~x1404 ~x4787 x6480 ~x3096 ~x8199 ~x1405 ~x4788 ~x6481 
157.14/157.63	v ~x3097 ~x8200 ~x1406 ~x4789 ~x6482 ~x3098 ~x8201 ~x1407 ~x4790 ~x6483 
157.14/157.63	v ~x3099 ~x8202 ~x1408 ~x4791 ~x6484 ~x3100 ~x8203 ~x1409 ~x4792 ~x6485 
157.14/157.63	v ~x3101 ~x8204 x1410 ~x4793 ~x6486 ~x3102 ~x8205 x1411 ~x4794 ~x6487 
157.14/157.63	v ~x3103 ~x8206 ~x1412 ~x4795 ~x6488 ~x3104 ~x8207 ~x1413 ~x4796 ~x6489 
157.14/157.63	v ~x3105 ~x8208 ~x1414 ~x4797 ~x6490 ~x3106 ~x8209 ~x1415 ~x4798 ~x6491 
157.14/157.63	v ~x3107 ~x8210 ~x1416 ~x4799 ~x6492 ~x3108 ~x8211 x1417 ~x4800 ~x6493 
157.14/157.63	v ~x3109 ~x8212 x1418 ~x4801 ~x6494 ~x3110 ~x8213 x1419 ~x4802 ~x6495 
157.14/157.63	v ~x3111 ~x8214 ~x1420 ~x4803 ~x6496 ~x3112 x8215 ~x1421 ~x4804 ~x6497 
157.14/157.63	v ~x3113 x8216 ~x1422 ~x4805 x6498 ~x3114 ~x8217 ~x1423 ~x4806 x6499 
157.14/157.63	v ~x3115 ~x8218 ~x1424 ~x4807 ~x6500 ~x3116 ~x8219 x1425 ~x4808 ~x6501 
157.14/157.63	v ~x3117 x8220 x1426 ~x4809 ~x6502 x3118 ~x8221 x1427 ~x4810 ~x6503 
157.14/157.63	v x3119 ~x8222 ~x1428 ~x4811 ~x6504 x3120 x8223 ~x1429 ~x4812 ~x6505 
157.14/157.63	v ~x3121 x8224 ~x1430 ~x4813 ~x6506 ~x3122 ~x8225 ~x1431 ~x4814 ~x6507 
157.14/157.63	v ~x3123 ~x8226 ~x1432 ~x4815 ~x6508 ~x3124 ~x8227 ~x1433 ~x4816 ~x6509 
157.14/157.63	v ~x3125 ~x8228 ~x1434 ~x4817 ~x6510 ~x3126 ~x8229 ~x1435 ~x4818 ~x6511 
157.14/157.63	v ~x3127 ~x8230 x1436 ~x4819 ~x6512 ~x3128 ~x8231 x1437 ~x4820 ~x6513 
157.14/157.63	v ~x3129 x8232 ~x1438 ~x4821 ~x6514 ~x3130 ~x8233 ~x1439 ~x4822 ~x6515 
157.14/157.63	v ~x3131 ~x8234 ~x1440 ~x4823 ~x6516 ~x3132 ~x8235 x1441 ~x4824 ~x6517 
157.14/157.63	v ~x3133 ~x8236 x1442 ~x4825 ~x6518 ~x3134 x8237 x1443 ~x4826 ~x6519 
157.14/157.63	v ~x3135 x8238 ~x1444 ~x4827 ~x6520 ~x3136 x8239 ~x1445 ~x4828 ~x6521 
157.14/157.63	v ~x3137 x8240 ~x1446 ~x4829 ~x6522 ~x3138 ~x8241 ~x1447 ~x4830 ~x6523 
157.14/157.63	v ~x3139 x8242 ~x1448 ~x4831 ~x6524 ~x3140 x8243 ~x1449 ~x4832 ~x6525 
157.14/157.63	v ~x3141 x8244 ~x1450 ~x4833 ~x6526 ~x3142 x8245 ~x1451 ~x4834 ~x6527 
157.14/157.63	v ~x3143 ~x8246 ~x1452 ~x4835 ~x6528 ~x3144 ~x8247 ~x1453 ~x4836 ~x6529 
157.14/157.63	v ~x3145 x8248 ~x1454 ~x4837 ~x6530 ~x3146 x8249 x1455 ~x4838 ~x6531 
157.14/157.63	v ~x3147 ~x8250 x1456 ~x4839 ~x6532 ~x3148 x8251 ~x1457 ~x4840 ~x6533 
157.14/157.63	v ~x3149 x8252 ~x1458 ~x4841 ~x6534 ~x3150 x8253 ~x1459 ~x4842 ~x6535 
157.14/157.63	v x3151 x8254 ~x1460 ~x4843 ~x6536 x3152 x8255 ~x1461 ~x4844 ~x6537 
157.14/157.63	v ~x3153 ~x8256 ~x1462 ~x4845 ~x6538 ~x3154 ~x8257 x1463 ~x4846 ~x6539 
157.14/157.63	v ~x3155 x8258 x1464 ~x4847 ~x6540 ~x3156 ~x8259 ~x1465 ~x4848 ~x6541 
157.14/157.63	v ~x3157 ~x8260 x1466 ~x4849 ~x6542 ~x3158 ~x8261 x1467 ~x4850 ~x6543 
157.14/157.63	v ~x3159 ~x8262 ~x1468 ~x4851 ~x6544 ~x3160 ~x8263 ~x1469 ~x4852 ~x6545 
157.14/157.63	v ~x3161 ~x8264 ~x1470 ~x4853 ~x6546 x3162 x8265 ~x1471 ~x4854 ~x6547 
157.14/157.63	v x3163 ~x8266 ~x1472 ~x4855 ~x6548 ~x3164 ~x8267 ~x1473 ~x4856 ~x6549 
157.14/157.63	v ~x3165 x8268 ~x1474 ~x4857 ~x6550 ~x3166 ~x8269 ~x1475 ~x4858 ~x6551 
157.14/157.63	v ~x3167 x8270 x1476 ~x4859 ~x6552 ~x3168 ~x8271 x1477 ~x4860 ~x6553 
157.14/157.63	v ~x3169 x8272 x1478 ~x4861 ~x6554 ~x3170 ~x8273 ~x1479 ~x4862 ~x6555 
157.14/157.63	v ~x3171 ~x8274 ~x1480 ~x4863 x6556 ~x3172 ~x8275 ~x1481 ~x4864 x6557 
157.14/157.63	v ~x3173 ~x8276 ~x1482 ~x4865 ~x6558 ~x3174 ~x8277 ~x1483 ~x4866 ~x6559 
157.14/157.63	v ~x3175 ~x8278 ~x1484 ~x4867 ~x6560 ~x3176 x8279 ~x1485 ~x4868 ~x6561 
157.14/157.63	v ~x3177 ~x8280 ~x1486 ~x4869 ~x6562 x3178 ~x8281 ~x1487 ~x4870 ~x6563 
157.14/157.63	v x3179 ~x8282 ~x1488 ~x4871 ~x6564 ~x3180 ~x8283 ~x1489 ~x4872 ~x6565 
157.14/157.63	v ~x3181 ~x8284 ~x1490 ~x4873 ~x6566 ~x3182 x8285 ~x1491 ~x4874 x6567 
157.14/157.63	v ~x3183 ~x8286 ~x1492 ~x4875 x6568 ~x3184 ~x8287 ~x1493 ~x4876 ~x6569 
157.14/157.63	v ~x3185 x8288 ~x1494 ~x4877 ~x6570 ~x3186 ~x8289 ~x1495 ~x4878 ~x6571 
157.14/157.63	v ~x3187 x8290 ~x1496 ~x4879 ~x6572 ~x3188 x8291 ~x1497 ~x4880 ~x6573 
157.14/157.63	v x3189 ~x8292 ~x1498 ~x4881 ~x6574 x3190 ~x8293 ~x1499 ~x4882 ~x6575 
157.14/157.63	v x3191 x8294 x1500 ~x4883 ~x6576 ~x3192 x8295 x1501 ~x4884 ~x6577 
157.14/157.63	v ~x3193 ~x8296 x1502 ~x4885 ~x6578 ~x3194 x8297 ~x1503 ~x4886 ~x6579 
157.14/157.63	v ~x3195 ~x8298 ~x1504 ~x4887 ~x6580 ~x3196 x8299 ~x1505 ~x4888 ~x6581 
157.14/157.63	v x3197 ~x8300 ~x1506 ~x4889 ~x6582 x3198 ~x8301 ~x1507 ~x4890 ~x6583 
157.14/157.63	v ~x3199 x8302 ~x1508 ~x4891 ~x6584 ~x3200 ~x8303 ~x1509 ~x4892 ~x6585 
157.14/157.63	v ~x3201 ~x8304 ~x1510 ~x4893 ~x6586 ~x3202 ~x8305 ~x1511 ~x4894 ~x6587 
157.14/157.63	v ~x3203 x8306 ~x1512 ~x4895 ~x6588 ~x3204 ~x8307 ~x1513 ~x4896 ~x6589 
157.14/157.63	v ~x3205 ~x8308 ~x1514 ~x4897 ~x6590 x3206 ~x8309 ~x1515 ~x4898 ~x6591 
157.14/157.63	v x3207 ~x8310 ~x1516 ~x4899 ~x6592 ~x3208 x8311 ~x1517 ~x4900 ~x6593 
157.14/157.63	v x3209 ~x8312 x1518 ~x4901 ~x6594 x3210 x8313 x1519 ~x4902 ~x6595 
157.14/157.63	v x3211 x8314 ~x1520 ~x4903 ~x6596 ~x3212 ~x8315 ~x1521 ~x4904 ~x6597 
157.14/157.63	v ~x3213 x8316 ~x1522 ~x4905 x6598 ~x3214 x8317 ~x1523 ~x4906 x6599 
157.14/157.63	v ~x3215 ~x8318 x1524 ~x4907 ~x6600 ~x3216 ~x8319 x1525 ~x4908 ~x6601 
157.14/157.63	v ~x3217 ~x8320 x1526 ~x4909 ~x6602 ~x3218 x8321 ~x1527 ~x4910 ~x6603 
157.14/157.63	v ~x3219 ~x8322 ~x1528 ~x4911 ~x6604 ~x3220 ~x8323 x1529 ~x4912 ~x6605 
157.14/157.63	v ~x3221 ~x8324 x1530 ~x4913 ~x6606 ~x3222 x8325 x1531 ~x4914 ~x6607 
157.14/157.63	v ~x3223 ~x8326 ~x1532 ~x4915 ~x6608 ~x3224 ~x8327 ~x1533 ~x4916 ~x6609 
157.14/157.63	v ~x3225 x8328 ~x1534 ~x4917 ~x6610 ~x3226 ~x8329 ~x1535 ~x4918 ~x6611 
157.14/157.63	v ~x3227 x8330 ~x1536 ~x4919 ~x6612 ~x3228 ~x8331 x1537 ~x4920 ~x6613 
157.14/157.63	v ~x3229 ~x8332 x1538 ~x4921 ~x6614 ~x3230 ~x8333 x1539 ~x4922 ~x6615 
157.14/157.63	v ~x3231 ~x8334 ~x1540 ~x4923 ~x6616 ~x3232 x8335 ~x1541 ~x4924 ~x6617 
157.14/157.63	v ~x3233 ~x8336 ~x1542 ~x4925 ~x6618 ~x3234 ~x8337 ~x1543 ~x4926 ~x6619 
157.14/157.63	v ~x3235 x8338 ~x1544 ~x4927 x6620 ~x3236 ~x8339 x1545 ~x4928 x6621 
157.14/157.63	v ~x3237 ~x8340 x1546 ~x4929 ~x6622 ~x3238 x8341 x1547 ~x4930 ~x6623 
157.14/157.63	v ~x3239 x8342 ~x1548 ~x4931 ~x6624 ~x3240 x8343 ~x1549 ~x4932 ~x6625 
157.14/157.63	v ~x3241 x8344 ~x1550 ~x4933 ~x6626 ~x3242 x8345 ~x1551 ~x4934 ~x6627 
157.14/157.63	v ~x3243 x8346 ~x1552 ~x4935 x6628 ~x3244 ~x8347 ~x1553 ~x4936 x6629 
157.14/157.63	v ~x3245 ~x8348 ~x1554 ~x4937 ~x6630 ~x3246 ~x8349 ~x1555 ~x4938 ~x6631 
157.14/157.63	v ~x3247 ~x8350 x1556 ~x4939 ~x6632 ~x3248 x8351 x1557 ~x4940 x6633 
157.14/157.63	v ~x3249 ~x8352 ~x1558 ~x4941 x6634 ~x3250 x8353 ~x1559 ~x4942 x6635 
157.14/157.63	v ~x3251 ~x8354 ~x1560 ~x4943 ~x6636 ~x3252 ~x8355 ~x1561 ~x4944 ~x6637 
157.14/157.63	v ~x3253 x8356 ~x1562 ~x4945 ~x6638 ~x3254 ~x8357 ~x1563 ~x4946 ~x6639 
157.14/157.63	v ~x3255 ~x8358 ~x1564 ~x4947 ~x6640 ~x3256 x8359 ~x1565 ~x4948 ~x6641 
157.14/157.63	v ~x3257 ~x8360 ~x1566 ~x4949 ~x6642 ~x3258 ~x8361 x1567 ~x4950 ~x6643 
157.14/157.63	v ~x3259 x8362 x1568 ~x4951 ~x6644 x3260 x8363 ~x1569 ~x4952 ~x6645 
157.14/157.63	v x3261 ~x8364 ~x1570 ~x4953 x6646 x3262 ~x8365 ~x1571 ~x4954 x6647 
157.14/157.63	v ~x3263 ~x8366 ~x1572 ~x4955 ~x6648 ~x3264 ~x8367 ~x1573 ~x4956 ~x6649 
157.14/157.63	v ~x3265 x8368 ~x1574 ~x4957 ~x6650 ~x3266 x8369 ~x1575 ~x4958 ~x6651 
157.14/157.63	v ~x3267 ~x8370 ~x1576 ~x4959 ~x6652 ~x3268 x8371 ~x1577 ~x4960 ~x6653 
157.14/157.63	v ~x3269 x8372 ~x1578 ~x4961 ~x6654 ~x3270 x8373 ~x1579 ~x4962 ~x6655 
157.14/157.63	v ~x3271 ~x8374 x1580 ~x4963 ~x6656 ~x3272 ~x8375 x1581 ~x4964 ~x6657 
157.14/157.63	v ~x3273 ~x8376 x1582 ~x4965 ~x6658 ~x3274 ~x8377 ~x1583 ~x4966 ~x6659 
157.14/157.63	v ~x3275 ~x8378 ~x1584 ~x4967 ~x6660 ~x3276 x8379 ~x1585 ~x4968 ~x6661 
157.14/157.63	v ~x3277 x8380 ~x1586 ~x4969 ~x6662 ~x3278 x8381 ~x1587 ~x4970 ~x6663 
157.14/157.63	v ~x3279 x8382 ~x1588 ~x4971 ~x6664 ~x3280 ~x8383 ~x1589 ~x4972 ~x6665 
157.14/157.63	v ~x3281 ~x8384 ~x1590 ~x4973 x6666 ~x3282 ~x8385 x1591 ~x4974 x6667 
157.14/157.63	v ~x3283 ~x8386 x1592 ~x4975 ~x6668 ~x3284 ~x8387 ~x1593 ~x4976 ~x6669 
157.14/157.63	v ~x3285 x8388 ~x1594 ~x4977 ~x6670 ~x3286 ~x8389 ~x1595 ~x4978 ~x6671 
157.14/157.63	v ~x3287 ~x8390 x1596 ~x4979 ~x6672 ~x3288 ~x8391 x1597 ~x4980 ~x6673 
157.14/157.63	v ~x3289 x8392 x1598 ~x4981 ~x6674 ~x3290 ~x8393 ~x1599 ~x4982 ~x6675 
157.14/157.63	v ~x3291 ~x8394 ~x1600 ~x4983 ~x6676 ~x3292 x8395 x1601 ~x4984 ~x6677 
157.14/157.63	v ~x3293 x8396 x1602 ~x4985 ~x6678 x3294 x8397 x1603 ~x4986 ~x6679 
157.14/157.63	v x3295 ~x8398 ~x1604 ~x4987 ~x6680 ~x3296 ~x8399 ~x1605 ~x4988 ~x6681 
157.14/157.63	v ~x3297 ~x8400 ~x1606 ~x4989 ~x6682 x3298 ~x8401 ~x1607 ~x4990 ~x6683 
157.14/157.63	v x3299 x8402 ~x1608 ~x4991 ~x6684 ~x3300 x8403 ~x1609 ~x4992 ~x6685 
157.14/157.63	v ~x3301 x8404 ~x1610 ~x4993 ~x6686 ~x3302 x8405 ~x1611 ~x4994 ~x6687 
157.14/157.63	v ~x3303 ~x8406 ~x1612 ~x4995 ~x6688 ~x3304 ~x8407 ~x1613 ~x4996 ~x6689 
157.14/157.63	v x3305 ~x8408 ~x1614 ~x4997 ~x6690 x3306 ~x8409 ~x1615 ~x4998 ~x6691 
157.14/157.63	v ~x3307 ~x8410 ~x1616 ~x4999 ~x6692 ~x3308 ~x8411 ~x1617 ~x5000 ~x6693 
157.14/157.63	v ~x3309 ~x8412 ~x1618 ~x5001 ~x6694 ~x3310 x8413 ~x1619 ~x5002 ~x6695 
157.14/157.63	v ~x3311 ~x8414 x1620 ~x5003 ~x6696 ~x3312 x8415 x1621 ~x5004 ~x6697 
157.14/157.63	v ~x3313 x8416 x1622 ~x5005 ~x6698 ~x3314 x8417 ~x1623 ~x5006 ~x6699 
157.14/157.63	v ~x3315 x8418 ~x1624 ~x5007 ~x6700 x3316 x8419 x1625 ~x5008 ~x6701 
157.14/157.63	v x3317 ~x8420 x1626 ~x5009 ~x6702 x3318 ~x8421 ~x1627 ~x5010 ~x6703 
157.14/157.63	v ~x3319 x8422 ~x1628 ~x5011 ~x6704 ~x3320 x8423 ~x1629 ~x5012 ~x6705 
157.14/157.63	v ~x3321 ~x8424 ~x1630 ~x5013 ~x6706 ~x3322 ~x8425 ~x1631 ~x5014 ~x6707 
157.14/157.63	v ~x3323 ~x8426 ~x1632 ~x5015 ~x6708 x3324 x8427 ~x1633 ~x5016 ~x6709 
157.14/157.63	v x3325 ~x8428 ~x1634 ~x5017 ~x6710 x3326 x8429 ~x1635 ~x5018 ~x6711 
157.14/157.63	v ~x3327 ~x8430 ~x1636 ~x5019 ~x6712 ~x3328 x8431 ~x1637 ~x5020 ~x6713 
157.14/157.63	v ~x3329 x8432 x1638 ~x5021 ~x6714 ~x3330 x8433 x1639 ~x5022 ~x6715 
157.14/157.63	v ~x3331 x8434 x1640 ~x5023 ~x6716 ~x3332 x8435 ~x1641 ~x5024 ~x6717 
157.14/157.63	v ~x3333 ~x8436 ~x1642 ~x5025 ~x6718 x3334 ~x8437 ~x1643 ~x5026 ~x6719 
157.14/157.63	v x3335 ~x8438 ~x1644 ~x5027 ~x6720 x3336 ~x8439 ~x1645 ~x5028 x6721 
157.14/157.63	v ~x3337 ~x8440 x1646 ~x5029 x6722 ~x3338 ~x8441 x1647 ~x5030 x6723 
157.14/157.63	v ~x3339 x8442 ~x1648 ~x5031 x6724 ~x3340 ~x8443 ~x1649 ~x5032 x6725 
157.14/157.63	v ~x3341 ~x8444 x1650 ~x5033 x6726 ~x3342 ~x8445 x1651 ~x5034 x6727 
157.14/157.63	v ~x3343 x8446 ~x1652 ~x5035 x6728 ~x3344 ~x8447 ~x1653 ~x5036 x6729 
157.14/157.63	v ~x3345 ~x8448 ~x1654 ~x5037 x6730 ~x3346 ~x8449 ~x1655 ~x5038 x6731 
157.14/157.63	v ~x3347 x8450 ~x1656 ~x5039 ~x6732 x3348 ~x8451 ~x1657 ~x5040 x6733 
157.14/157.63	v x3349 ~x8452 ~x1658 ~x5041 ~x7576 ~x6734 ~x3350 x8453 ~x1659 ~x5042 
157.14/157.63	v ~x7577 ~x6735 ~x3351 ~x8454 x1660 ~x5043 ~x7578 ~x6736 ~x3352 x8455 
157.14/157.63	v x1661 ~x5044 ~x7579 ~x6737 ~x3353 x8456 ~x1662 ~x5045 ~x7580 ~x6738 
157.14/157.63	v ~x3354 ~x8457 ~x1663 ~x5046 ~x7581 ~x6739 ~x3355 ~x8458 ~x1664 x5047 
157.14/157.63	v x7582 ~x6740 ~x3356 x8459 ~x1665 x5048 x7583 ~x6741 ~x3357 x8460 
157.14/157.63	v ~x1666 ~x5049 ~x7584 x6742 ~x3358 ~x8461 ~x1667 x5050 x7585 x6743 
157.14/157.63	v ~x3359 x8462 ~x1668 x5051 x7586 ~x6744 ~x3360 ~x8463 ~x1669 ~x5052 
157.14/157.63	v x7587 x6745 ~x3361 ~x1670 ~x5053 x7588 x6746 ~x3362 ~x8464 ~x1671 
157.14/157.63	v ~x5054 ~x7604 ~x6747 ~x3363 ~x8465 ~x1672 ~x5055 ~x7605 ~x6748 ~x3364 
157.14/157.63	v ~x8466 ~x1673 ~x5056 ~x7606 ~x6749 ~x3365 x8467 x1674 x5057 ~x7607 
157.14/157.63	v x6750 ~x3366 x8468 x1675 x5058 ~x7608 x6751 ~x3367 x8469 ~x1676 
157.14/157.63	v ~x5059 ~x7609 ~x6752 ~x3368 ~x8470 ~x1677 ~x5060 x7610 x6753 x3369 
157.14/157.63	v ~x8471 ~x1678 ~x5061 x7611 x6754 x3370 x8472 ~x1679 ~x5062 ~x7612 
157.14/157.63	v x6755 ~x3371 x8473 ~x1680 ~x5063 x7613 x6756 ~x3372 x8474 x1681 
157.14/157.63	v ~x5064 x7614 x6757 ~x3373 x8475 x1682 ~x5065 x7615 x6758 ~x3374 
157.14/157.63	v x8476 ~x1683 ~x5066 x7616 x6759 ~x3375 ~x8477 ~x1684 ~x5067 ~x6760 
157.14/157.63	v ~x3376 x8478 ~x1685 x5068 ~x6761 ~x3377 x8479 ~x1686 x5069 ~x6762 
157.14/157.63	v x1 ~x3378 x8480 ~x1687 ~x5070 x6763 x2 ~x3379 ~x8481 ~x1688 
157.14/157.63	v ~x5071 ~x6764 x3 ~x3380 ~x8482 ~x1689 ~x5072 ~x6765 ~x4 ~x3381 
157.14/157.63	v ~x8483 ~x1690 x5073 ~x6766 ~x5 x3382 x8484 ~x1691 x5074 ~x6767 
157.14/157.63	v ~x6 x3383 x8485 x1692 ~x5075 ~x6768 ~x7 ~x3384 x8486 x1693 
157.14/157.63	v ~x5076 ~x6769 ~x8 ~x3385 ~x8487 x1694 ~x5077 x6770 ~x9 ~x3386 
157.14/157.63	v ~x8488 ~x1695 ~x5078 ~x6771 ~x10 ~x3387 x8489 ~x1696 ~x5079 ~x6772 
157.14/157.63	v ~x11 ~x3388 ~x8490 ~x1697 ~x5080 ~x6773 ~x12 ~x3389 ~x8491 ~x1698 
157.14/157.63	v ~x5081 x6774 ~x13 ~x3390 x8492 ~x1699 ~x5082 x6775 ~x14 ~x3391 
157.14/157.63	v ~x8493 x1700 ~x5083 ~x6776 ~x15 ~x3392 ~x8494 x1701 ~x5084 x6777 
157.14/157.63	v ~x16 ~x3393 x8495 ~x1702 ~x5085 x6778 ~x17 ~x3394 x8496 ~x1703 
157.14/157.63	v ~x5086 x6779 ~x18 ~x3395 ~x8497 ~x1704 ~x5087 ~x6780 ~x19 ~x3396 
157.14/157.63	v x8498 ~x1705 ~x5088 x6781 ~x20 ~x3397 ~x8499 x1706 ~x5089 x6782 
157.14/157.63	v ~x21 ~x3398 x8500 x1707 ~x5090 x6783 ~x22 ~x3399 ~x8501 ~x1708 
157.14/157.63	v ~x5091 x6784 x23 ~x3400 x8502 ~x1709 ~x5092 x6785 x24 ~x3401 
157.14/157.63	v x8503 ~x1710 ~x5093 x6786 ~x25 ~x3402 x8504 ~x1711 ~x5094 x6787 
157.14/157.63	v ~x26 ~x3403 x8505 ~x1712 ~x5095 ~x6788 ~x27 x3404 ~x8506 ~x1713 
157.14/157.63	v ~x5096 x6789 ~x28 x3405 x8507 ~x1714 x5097 ~x6790 ~x29 ~x3406 
157.14/157.63	v x8508 ~x1715 x5098 x6791 x30 ~x3407 ~x8509 x1716 ~x5099 ~x6792 
157.14/157.63	v x31 ~x3408 ~x8510 x1717 ~x5100 ~x6793 x32 ~x3409 ~x8511 ~x1718 
157.14/157.63	v ~x5101 ~x6794 x33 ~x3410 x8512 ~x1719 ~x5102 ~x6795 x34 ~x3411 
157.14/157.63	v x8513 ~x1720 ~x5103 ~x6796 x35 x3412 ~x8514 ~x1721 ~x5104 ~x6797 
157.14/157.63	v ~x36 x3413 ~x8515 ~x1722 x5105 x6798 ~x37 ~x3414 x8516 ~x1723 
157.14/157.63	v x5106 ~x6799 ~x38 ~x3415 x8517 ~x1724 ~x5107 ~x6800 ~x39 ~x3416 
157.14/157.63	v x8518 ~x1725 ~x5108 ~x6801 ~x40 ~x3417 x8519 ~x1726 ~x5109 ~x6802 
157.14/157.63	v ~x41 ~x3418 x8520 ~x1727 ~x5110 x6803 ~x42 ~x3419 ~x8521 ~x1728 
157.14/157.63	v ~x5111 x6804 ~x43 ~x3420 x8522 ~x1729 ~x5112 x6805 ~x44 ~x3421 
157.14/157.63	v x8523 x1730 ~x5113 x6806 ~x45 ~x3422 x8524 x1731 ~x5114 x6807 
157.14/157.63	v ~x46 ~x3423 x8525 ~x1732 ~x5115 x6808 x47 ~x3424 x8526 ~x1733 
157.14/157.63	v x5116 x6809 x48 ~x3425 ~x8527 ~x1734 x5117 x6810 ~x49 ~x3426 
157.14/157.63	v x8528 ~x1735 ~x5118 x6811 ~x50 ~x3427 ~x8529 ~x1736 ~x5119 x6812 
157.14/157.63	v ~x51 ~x3428 x8530 x1737 ~x5120 x6813 ~x52 ~x3429 ~x8531 x1738 
157.14/157.64	v ~x5121 x6814 ~x53 ~x3430 ~x8532 ~x1739 ~x5122 x6815 ~x54 ~x3431 
157.14/157.64	v ~x8533 ~x1740 ~x5123 x6816 ~x55 ~x3432 x8534 ~x1741 ~x5124 ~x6817 
157.14/157.64	v ~x56 ~x3433 ~x8535 ~x1742 ~x5125 x6818 x57 ~x3434 ~x8536 ~x1743 
157.14/157.64	v x5126 ~x6819 x58 ~x3435 ~x8537 ~x1744 x5127 ~x6820 x59 ~x3436 
157.14/157.64	v ~x8538 ~x1745 ~x5128 ~x6821 ~x60 ~x3437 x8539 x1746 x5129 ~x6822 
157.14/157.64	v ~x61 x3438 x8540 x1747 x5130 ~x6823 ~x62 x3439 ~x8541 ~x1748 
157.14/157.64	v ~x5131 ~x6824 ~x63 ~x3440 ~x8542 ~x1749 ~x5132 ~x6825 ~x64 ~x3441 
157.14/157.64	v x8543 ~x1750 ~x5133 x6826 x65 ~x3442 x8544 ~x1751 ~x5134 x6827 
157.14/157.64	v x66 ~x3443 x8545 ~x1752 ~x5135 ~x6828 x67 x3444 ~x8546 ~x1753 
157.14/157.64	v ~x5136 x6829 ~x68 x3445 ~x8547 ~x1754 ~x5137 x6830 ~x69 ~x3446 
157.14/157.64	v x8548 ~x1755 ~x5138 x6831 ~x70 ~x3447 ~x8549 ~x1756 ~x5139 ~x6832 
157.14/157.64	v ~x71 ~x3448 ~x8550 ~x1757 ~x5140 x6833 ~x72 ~x3449 x8551 ~x1758 
157.14/157.64	v ~x5141 x6834 x73 x3450 ~x8552 x1759 ~x5142 ~x6835 x74 x3451 
157.14/157.64	v ~x8553 x1760 ~x5143 ~x6836 x75 ~x3452 ~x8554 ~x1761 ~x5144 x6837 
157.14/157.64	v ~x76 ~x3453 x8555 ~x1762 ~x5145 x6838 ~x77 ~x3454 x8556 ~x1763 
157.14/157.64	v ~x5146 x6839 ~x78 ~x3455 ~x8557 x1764 ~x5147 x6840 ~x79 ~x3456 
157.14/157.64	v x8558 x1765 ~x5148 x6841 ~x80 ~x3457 ~x8559 x1766 ~x5149 ~x6842 
157.14/157.64	v ~x81 ~x3458 x8560 ~x1767 ~x5150 x6843 ~x82 ~x3459 x8561 ~x1768 
157.14/157.64	v x5151 ~x6844 ~x83 ~x3460 ~x8562 ~x1769 x5152 x6845 x84 ~x3461 
157.14/157.64	v x8563 ~x1770 ~x5153 ~x6846 x85 ~x3462 x8564 ~x1771 ~x5154 ~x6847 
157.14/157.64	v x86 ~x3463 ~x8565 ~x1772 ~x5155 ~x6848 ~x87 ~x3464 x8566 ~x1773 
157.14/157.64	v ~x5156 ~x6849 ~x88 ~x3465 ~x8567 ~x1774 ~x5157 ~x6850 ~x89 ~x3466 
157.14/157.64	v ~x8568 ~x1775 ~x5158 ~x6851 ~x90 ~x3467 x8569 ~x1776 ~x5159 ~x6852 
157.14/157.64	v ~x91 ~x3468 x8570 ~x1777 ~x5160 ~x6853 x92 ~x3469 x8571 ~x1778 
157.14/157.64	v ~x5161 x6854 x93 ~x3470 ~x8572 ~x1779 ~x5162 ~x6855 x94 ~x3471 
157.14/157.64	v x8573 ~x1780 ~x5163 ~x6856 ~x95 ~x3472 x8574 ~x1781 ~x5164 x6857 
157.14/157.64	v ~x96 ~x3473 x8575 x1782 ~x5165 ~x6858 ~x97 ~x3474 ~x8576 x1783 
157.14/157.64	v ~x5166 x6859 ~x98 ~x3475 x8577 ~x1784 ~x5167 ~x6860 ~x99 ~x3476 
157.14/157.64	v x8578 ~x1785 ~x5168 x6861 x100 x3477 x8579 ~x1786 ~x5169 x6862 
157.14/157.64	v x101 x3478 ~x8580 ~x1787 ~x5170 x6863 ~x102 x3479 ~x8581 x1788 
157.14/157.64	v ~x5171 x6864 ~x103 ~x3480 ~x8582 x1789 x5172 ~x6865 ~x104 ~x3481 
157.14/157.64	v ~x8583 x1790 x5173 x6866 ~x105 x3482 x8584 ~x1791 ~x5174 ~x6867 
157.14/157.64	v x106 x3483 ~x8585 ~x1792 ~x5175 ~x6868 x107 ~x3484 ~x8586 ~x1793 
157.14/157.64	v ~x5176 ~x6869 ~x108 ~x3485 x8587 ~x1794 ~x5177 x6870 ~x109 ~x3486 
157.14/157.64	v ~x8588 ~x1795 ~x5178 x6871 ~x110 ~x3487 x8589 x1796 ~x5179 x6872 
157.14/157.64	v ~x111 ~x3488 x8590 x1797 ~x5180 ~x6873 ~x112 ~x3489 x8591 ~x1798 
157.14/157.64	v ~x5181 x6874 ~x113 ~x3490 x8592 ~x1799 ~x5182 x6875 ~x114 ~x3491 
157.14/157.64	v x8593 ~x1800 ~x5183 ~x6876 ~x115 x3492 ~x8594 x1801 ~x5184 ~x6877 
157.14/157.64	v ~x116 x3493 x8595 x1802 ~x5185 ~x6878 ~x117 ~x3494 x8596 x1803 
157.14/157.64	v x5186 ~x6879 ~x118 ~x3495 x8597 ~x1804 x5187 ~x6880 ~x119 ~x3496 
157.14/157.64	v ~x8598 ~x1805 ~x5188 ~x6881 ~x120 ~x3497 ~x8599 ~x1806 ~x5189 ~x6882 
157.14/157.64	v ~x121 ~x3498 ~x8600 ~x1807 ~x5190 x6883 ~x122 ~x3499 ~x8601 ~x1808 
157.14/157.64	v ~x5191 ~x6884 ~x123 x3500 x8602 ~x1809 ~x5192 x6885 x124 x3501 
157.14/157.64	v x8603 ~x1810 ~x5193 x6886 x125 ~x3502 x8604 ~x1811 ~x5194 x6887 
157.14/157.64	v ~x126 ~x3503 ~x8605 x1812 ~x5195 ~x6888 ~x127 ~x3504 ~x8606 x1813 
157.14/157.64	v ~x5196 ~x6889 ~x128 ~x3505 x8607 x1814 ~x5197 ~x6890 ~x129 ~x3506 
157.14/157.64	v x8608 ~x1815 ~x5198 x6891 ~x130 ~x3507 ~x8609 ~x1816 x5199 x6892 
157.14/157.64	v ~x131 ~x3508 ~x8610 ~x1817 x5200 ~x6893 ~x132 ~x3509 x8611 x1818 
157.14/157.64	v ~x5201 ~x6894 ~x133 ~x3510 x8612 x1819 ~x5202 ~x6895 ~x134 ~x3511 
157.14/157.64	v ~x8613 ~x1820 ~x5203 x6896 x135 ~x3512 x8614 ~x1821 ~x5204 x6897 
157.14/157.64	v x136 ~x3513 x8615 ~x1822 ~x5205 x6898 ~x137 ~x3514 ~x8616 ~x1823 
157.14/157.64	v ~x5206 x6899 ~x138 ~x3515 x8617 ~x1824 ~x5207 x6900 ~x139 ~x3516 
157.14/157.64	v ~x8618 ~x1825 ~x5208 x6901 ~x140 ~x3517 x8619 ~x1826 ~x5209 ~x6902 
157.14/157.64	v ~x141 ~x3518 ~x8620 ~x1827 ~x5210 x6903 x142 ~x3519 x8621 x1828 
157.14/157.64	v ~x5211 ~x6904 x143 ~x3520 ~x8622 x1829 ~x5212 ~x6905 x144 ~x3521 
157.14/157.64	v ~x8623 ~x1830 ~x5213 ~x6906 ~x145 ~x3522 x8624 ~x1831 ~x5214 ~x6907 
157.14/157.64	v ~x146 ~x3523 x8625 ~x1832 ~x5215 ~x6908 ~x147 ~x3524 x8626 ~x1833 
157.14/157.64	v ~x5216 ~x6909 x148 ~x3525 x8627 ~x1834 ~x5217 ~x6910 x149 x3526 
157.14/157.64	v ~x8628 ~x1835 ~x5218 ~x6911 ~x150 x3527 ~x8629 ~x1836 ~x5219 ~x6912 
157.14/157.64	v ~x151 ~x3528 ~x8630 ~x1837 ~x5220 ~x6913 ~x152 x3529 ~x8631 ~x1838 
157.14/157.64	v ~x5221 ~x6914 ~x153 x3530 ~x8632 ~x1839 ~x5222 ~x6915 ~x154 ~x3531 
157.14/157.64	v ~x8633 ~x1840 ~x5223 ~x6916 ~x155 ~x3532 ~x8634 ~x1841 ~x5224 x6917 
157.14/157.64	v x156 ~x3533 ~x8635 ~x1842 ~x5225 x6918 x157 ~x3534 x8636 ~x1843 
157.14/157.64	v ~x5226 x6919 ~x158 ~x3535 ~x8637 ~x1844 ~x5227 ~x6920 ~x159 ~x3536 
157.14/157.64	v x8638 ~x1845 ~x5228 x6921 ~x160 ~x3537 x8639 x1846 ~x5229 x6922 
157.14/157.64	v ~x161 ~x3538 ~x8640 x1847 ~x5230 x6923 ~x162 ~x3539 x8641 x1848 
157.14/157.64	v ~x5231 x6924 ~x163 ~x3540 ~x8642 x1849 ~x5232 x6925 ~x164 ~x3541 
157.14/157.64	v ~x8643 x1850 ~x5233 ~x6926 ~x165 ~x3542 x8644 x1851 ~x5234 ~x6927 
157.14/157.64	v ~x166 x3543 ~x8645 ~x1852 ~x5235 x6928 ~x167 x3544 x8646 ~x1853 
157.14/157.64	v ~x5236 x6929 ~x168 ~x3545 x8647 ~x1854 ~x5237 x6930 ~x169 x3546 
157.14/157.64	v ~x8648 ~x1855 x5238 ~x6931 ~x170 x3547 ~x8649 ~x1856 x5239 ~x6932 
157.14/157.64	v ~x171 ~x3548 ~x8650 ~x1857 ~x5240 ~x6933 x172 ~x3549 x8651 ~x1858 
157.14/157.64	v ~x5241 ~x6934 x173 ~x3550 x8652 ~x1859 x5242 ~x6935 ~x174 ~x3551 
157.14/157.64	v ~x8653 ~x1860 x5243 ~x6936 ~x175 ~x3552 x8654 ~x1861 ~x5244 ~x6937 
157.14/157.64	v ~x176 ~x3553 x8655 x1862 ~x5245 x6938 ~x177 ~x3554 x8656 x1863 
157.14/157.64	v ~x5246 ~x6939 ~x178 ~x3555 ~x8657 x1864 ~x5247 ~x6940 ~x179 x3556 
157.14/157.64	v ~x8658 x1865 ~x5248 ~x6941 x180 x3557 x8659 x1866 ~x5249 ~x6942 
157.14/157.64	v x181 ~x3558 ~x8660 x1867 ~x5250 ~x6943 ~x182 ~x3559 x8661 ~x1868 
157.14/157.64	v ~x5251 ~x6944 ~x183 ~x3560 x8662 ~x1869 x5252 x6945 ~x184 ~x3561 
157.14/157.64	v ~x8663 ~x1870 x5253 x6946 ~x185 ~x3562 x8664 ~x1871 ~x5254 x6947 
157.14/157.64	v ~x186 ~x3563 x8665 ~x1872 ~x5255 x6948 ~x187 x3564 ~x8666 x1873 
157.14/157.64	v ~x5256 x6949 ~x188 x3565 ~x8667 x1874 ~x5257 x6950 x189 ~x3566 
157.14/157.64	v x8668 x1875 ~x5258 ~x6951 x190 ~x3567 x8669 ~x1876 ~x5259 x6952 
157.14/157.64	v ~x191 ~x3568 ~x8670 ~x1877 ~x5260 x6953 x192 x3569 x8671 ~x1878 
157.14/157.64	v ~x5261 ~x6954 ~x193 x3570 ~x8672 ~x1879 ~x5262 x6955 x194 ~x3571 
157.14/157.64	v ~x8673 ~x1880 ~x5263 x6956 x195 ~x3572 ~x8674 ~x1881 ~x5264 x6957 
157.14/157.64	v ~x196 ~x3573 ~x8675 ~x1882 ~x5265 x6958 ~x197 ~x3574 x8676 ~x1883 
157.14/157.64	v ~x5266 ~x6959 ~x198 ~x3575 x8677 x1884 ~x5267 ~x6960 ~x199 ~x3576 
157.14/157.64	v x8678 x1885 ~x5268 ~x6961 ~x200 ~x3577 x8679 ~x1886 ~x5269 ~x6962 
157.14/157.64	v x201 ~x3578 x8680 ~x1887 ~x5270 ~x6963 x202 ~x3579 x8681 ~x1888 
157.14/157.64	v x5271 ~x6964 x203 ~x3580 ~x8682 x1889 x5272 ~x6965 ~x204 ~x3581 
157.14/157.64	v x8683 x1890 ~x5273 x6966 ~x205 ~x3582 ~x8684 x1891 ~x5274 ~x6967 
157.14/157.64	v ~x206 ~x3583 x8685 ~x1892 ~x5275 ~x6968 ~x207 ~x3584 ~x8686 ~x1893 
157.14/157.64	v x5276 ~x6969 ~x208 ~x3585 x8687 ~x1894 x5277 x6970 ~x209 ~x3586 
157.14/157.64	v ~x8688 ~x1895 ~x5278 ~x6971 x210 ~x3587 x8689 ~x1896 ~x5279 ~x6972 
157.14/157.64	v x211 ~x3588 ~x8690 ~x1897 ~x5280 x6973 ~x212 ~x3589 ~x8691 ~x1898 
157.14/157.64	v ~x5281 x6974 ~x213 x3590 x8692 ~x1899 ~x5282 x6975 ~x214 x3591 
157.14/157.64	v ~x8693 ~x1900 ~x5283 x6976 ~x215 ~x3592 x8694 ~x1901 ~x5284 x6977 
157.14/157.64	v ~x216 ~x3593 x8695 ~x1902 ~x5285 x6978 ~x217 ~x3594 x8696 ~x1903 
157.14/157.64	v ~x5286 x6979 ~x218 ~x3595 x8697 ~x1904 x5287 x6980 ~x219 ~x3596 
157.14/157.64	v x8698 ~x1905 x5288 x6981 ~x220 ~x3597 ~x8699 ~x1906 ~x5289 x6982 
157.14/157.64	v x221 ~x3598 ~x8700 ~x1907 ~x5290 x6983 x222 ~x3599 x8701 x1908 
157.14/157.64	v ~x5291 x6984 ~x223 ~x3600 x8702 x1909 ~x5292 ~x6985 x224 ~x3601 
157.14/157.64	v x8703 ~x1910 ~x5293 x6986 ~x225 ~x3602 x8704 ~x1911 ~x5294 x6987 
157.14/157.64	v ~x226 ~x3603 ~x8705 ~x1912 ~x5295 ~x6988 ~x227 ~x3604 x8706 ~x1913 
157.14/157.64	v ~x5296 ~x6989 ~x228 ~x3605 x8707 ~x1914 ~x5297 ~x6990 ~x229 ~x3606 
157.14/157.64	v ~x8708 ~x1915 ~x5298 ~x6991 ~x230 ~x3607 x8709 x1916 ~x5299 ~x6992 
157.14/157.64	v ~x231 ~x3608 x8710 x1917 ~x5300 ~x6993 ~x232 ~x3609 ~x8711 ~x1918 
157.14/157.64	v ~x5301 x6994 ~x233 ~x3610 ~x8712 ~x1919 ~x5302 x6995 ~x234 ~x3611 
157.14/157.64	v x8713 ~x1920 ~x5303 ~x6996 ~x235 ~x3612 ~x8714 ~x1921 ~x5304 x6997 
157.14/157.64	v ~x236 ~x3613 ~x8715 ~x1922 ~x5305 x6998 ~x237 ~x3614 ~x8716 ~x1923 
157.14/157.64	v ~x5306 x6999 x238 ~x3615 ~x8717 ~x1924 ~x5307 x7000 x239 ~x3616 
157.14/157.64	v x8718 x1925 ~x5308 x7001 x240 ~x3617 x8719 x1926 ~x5309 x7002 
157.14/157.64	v ~x3618 x8720 x1927 ~x5310 x7003 ~x3619 ~x8721 ~x1928 x5311 x7004 
157.14/157.64	v ~x3620 x8722 ~x1929 x5312 x7005 ~x3621 ~x8723 ~x1930 ~x5313 x7006 
157.14/157.64	v ~x3622 ~x8724 ~x1931 ~x5314 x241 x7007 ~x3623 ~x8725 x1932 ~x5315 
157.14/157.64	v x242 x7008 ~x3624 x8726 x1933 ~x5316 x243 x7009 ~x3625 x8727 
157.14/157.64	v x1934 ~x5317 ~x244 x7010 ~x3626 x8728 ~x1935 ~x5318 ~x245 x7011 
157.14/157.64	v ~x3627 ~x8729 ~x1936 ~x5319 ~x246 x7012 ~x3628 ~x8730 x1937 ~x5320 
157.14/157.64	v ~x247 x7013 ~x3629 ~x8731 x1938 ~x5321 ~x248 x7014 ~x3630 ~x8732 
157.14/157.64	v x1939 ~x5322 x249 x7015 ~x3631 x8733 ~x1940 ~x5323 x250 ~x7016 
157.14/157.64	v ~x3632 ~x8734 ~x1941 ~x5324 ~x251 ~x7017 ~x3633 x8735 ~x1942 ~x5325 
157.14/157.64	v ~x252 ~x7018 ~x3634 x8736 ~x1943 x5326 ~x253 ~x7019 ~x3635 ~x8737 
157.14/157.64	v ~x1944 x5327 ~x254 ~x7020 ~x3636 x8738 x1945 ~x5328 ~x255 ~x7021 
157.14/157.64	v ~x3637 x8739 x1946 ~x5329 ~x256 x7022 ~x3638 ~x8740 ~x1947 ~x5330 
157.14/157.64	v ~x257 x7023 ~x3639 ~x8741 ~x1948 ~x5331 ~x258 ~x7024 ~x3640 ~x8742 
157.14/157.64	v ~x1949 ~x5332 ~x259 x7025 ~x3641 ~x8743 ~x1950 ~x5333 x260 x7026 
157.14/157.64	v ~x3642 ~x8744 ~x1951 ~x5334 x261 x7027 ~x3643 ~x8745 ~x1952 ~x5335 
157.14/157.64	v x262 x7028 ~x3644 x8746 ~x1953 ~x5336 ~x263 x7029 ~x3645 x8747 
157.14/157.64	v ~x1954 ~x5337 ~x264 x7030 ~x3646 x8748 ~x1955 ~x5338 x265 x7031 
157.14/157.64	v ~x3647 ~x8749 ~x1956 ~x5339 x266 x7032 ~x3648 x8750 ~x1957 ~x5340 
157.14/157.64	v x267 x7033 ~x3649 x8751 x1958 ~x5341 ~x268 ~x7034 ~x3650 x8752 
157.14/157.64	v x1959 ~x5342 ~x269 x7035

Verifier Data 

OK	67

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60856 MiB free)
  memory of node 1: 64507 MiB (63838 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528577-1752245181/watcher-4528577-1752245181 -o /tmp/evaluation-result-4528577-1752245181/solver-4528577-1752245181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110055 --watchdog 3760 pb_picat HOME/instance-4528577-1752245181.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=110245, runsolver pid=110242

[startup+0.100066 s]*
/proc/loadavg: 3.91 4.10 4.10 5/264 110246
/proc/meminfo: memFree=127663368/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2027148 memory=36192 CPUtime=0.09 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 1011 0 0 0 9 0 0 0 20 0 1 0 140198006 2075799552 9048 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 506787 9048 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36192 KiB

[startup+0.205516 s]*
/proc/loadavg: 3.91 4.10 4.10 5/264 110246
/proc/meminfo: memFree=127651080/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2027148 memory=54632 CPUtime=0.2 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 1022 0 0 0 19 1 0 0 20 0 1 0 140198006 2075799552 13658 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 506787 13658 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54632 KiB

[startup+0.30541 s]*
/proc/loadavg: 3.91 4.10 4.10 5/264 110246
/proc/meminfo: memFree=127634696/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2034964 memory=73712 CPUtime=0.29 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 1163 0 0 0 28 1 0 0 20 0 1 0 140198006 2083803136 18428 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 508741 18428 1600 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 73712 KiB

[startup+0.700166 s]
/proc/loadavg: 3.92 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127597832/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2050544 memory=117152 CPUtime=0.68 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 4529 0 0 0 63 5 0 0 20 0 1 0 140198006 2099757056 29288 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 512636 29288 1728 343 0 509700 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 117152 KiB

[startup+1.50019 s]
/proc/loadavg: 3.92 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127569668/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2081632 memory=145892 CPUtime=1.48 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 11437 0 0 0 138 10 0 0 20 0 1 0 140198006 2131591168 36473 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 520408 36473 1728 343 0 517472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 145892 KiB

[startup+3.10533 s]
/proc/loadavg: 3.92 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127552420/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2099804 memory=158352 CPUtime=3.08 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 14813 0 0 0 296 12 0 0 20 0 1 0 140198006 2150199296 39588 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 524951 39588 1728 343 0 522015 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2099804 KiB
Current children cumulated memory: 158352 KiB

[startup+6.30017 s]
/proc/loadavg: 3.93 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127552396/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2085480 memory=152408 CPUtime=6.26 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 20284 0 0 0 613 13 0 0 20 0 1 0 140198006 2135531520 38102 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 521370 38102 1728 343 0 518434 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2085480 KiB
Current children cumulated memory: 152408 KiB

[startup+12.7002 s]
/proc/loadavg: 3.93 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127537908/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2098988 memory=158072 CPUtime=12.64 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 26212 0 0 0 1248 16 0 0 20 0 1 0 140198006 2149363712 39518 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 524747 39518 1728 343 0 521811 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2098988 KiB
Current children cumulated memory: 158072 KiB

[startup+25.5002 s]
/proc/loadavg: 3.94 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127525832/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2082604 memory=149968 CPUtime=25.41 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 34113 0 0 0 2522 19 0 0 20 0 1 0 140198006 2132586496 37492 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 520651 37492 1728 343 0 517715 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2082604 KiB
Current children cumulated memory: 149968 KiB

[startup+51.1053 s]
/proc/loadavg: 4.03 4.10 4.09 4/260 110255
/proc/meminfo: memFree=127530436/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118996 memory=179164 CPUtime=50.94 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 63437 0 0 0 5053 41 0 0 20 0 1 0 140198006 2169851904 44791 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529749 44791 1728 343 0 526813 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2118996 KiB
Current children cumulated memory: 179164 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 110427
/proc/meminfo: memFree=127476172/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=187036 CPUtime=101.99 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 128174 0 0 0 10101 98 0 0 20 0 1 0 140198006 2169524224 46759 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 46759 1728 343 0 526733 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 187036 KiB

[startup+157.645 s]
# the end of solver process 110245 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=155.881 s, system=1.31834 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+102.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 110427
/proc/meminfo: memFree=127476172/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2094100 memory=166148 CPUtime=102.09 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 128174 0 0 0 10111 98 0 0 20 0 1 0 140198006 2144358400 41537 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 523525 41537 1728 343 0 520589 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 2094100 KiB
Current children cumulated memory: 166148 KiB

[startup+128 s]*
/proc/loadavg: 4.05 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126032484/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2102292 memory=173340 CPUtime=127.63 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 164474 0 0 0 12640 123 0 0 20 0 1 0 140198006 2152747008 43335 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 525573 43335 1728 343 0 522637 0
Current children cumulated CPU time: 127.63 s
Current children cumulated vsize: 2102292 KiB
Current children cumulated memory: 173340 KiB

[startup+140.8 s]
/proc/loadavg: 4.04 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126028184/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=178844 CPUtime=140.39 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 174791 0 0 0 13912 127 0 0 20 0 1 0 140198006 2169524224 44711 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 44711 1728 343 0 526733 0
Current children cumulated CPU time: 140.39 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 178844 KiB

[startup+147.2 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126028184/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=178844 CPUtime=146.77 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 179830 0 0 0 14548 129 0 0 20 0 1 0 140198006 2169524224 44711 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 44711 1728 343 0 526733 0
Current children cumulated CPU time: 146.77 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 178844 KiB

[startup+153.6 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126027452/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=178844 CPUtime=153.15 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 179830 0 0 0 15186 129 0 0 20 0 1 0 140198006 2169524224 44711 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 44711 1728 343 0 526733 0
Current children cumulated CPU time: 153.15 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 178844 KiB

[startup+155.2 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126026696/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2094100 memory=162052 CPUtime=154.75 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 180372 0 0 0 15346 129 0 0 20 0 1 0 140198006 2144358400 40513 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 523525 40513 1728 343 0 520589 0
Current children cumulated CPU time: 154.75 s
Current children cumulated vsize: 2094100 KiB
Current children cumulated memory: 162052 KiB

[startup+156.8 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126026696/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2102292 memory=173596 CPUtime=156.35 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 181821 0 0 0 15505 130 0 0 20 0 1 0 140198006 2152747008 43399 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 525573 43399 1728 343 0 522637 0
Current children cumulated CPU time: 156.35 s
Current children cumulated vsize: 2102292 KiB
Current children cumulated memory: 173596 KiB

[startup+157.2 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126026696/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=174364 CPUtime=156.75 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 182009 0 0 0 15545 130 0 0 20 0 1 0 140198006 2169524224 43591 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 43591 1728 343 0 526733 0
Current children cumulated CPU time: 156.75 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 174364 KiB

[startup+157.6 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126026696/131250000 swapFree=33010416/33010684
[pid=110245] ppid=110242 vsize=2118676 memory=176796 CPUtime=157.14 cores=5,7
/proc/110245/stat : 110245 (pb_picat) R 110242 110245 110042 0 -1 4194304 182093 0 0 0 15584 130 0 0 20 0 1 0 140198006 2169524224 44199 18446744073709551615 94294547914752 94294549316333 140721801163504 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94294549587760 94294551462000 94294582976512 140721801165212 140721801165288 140721801165288 140721801170892 0
/proc/110245/statm: 529669 44199 1728 343 0 526733 0
Current children cumulated CPU time: 157.14 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 176796 KiB

Child status: 0

Real time (s): 157.645
CPU time (s): 157.199
CPU user time (s): 155.881
CPU system time (s): 1.31834
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 2118996
Max. memory (cumulated for all children) (KiB): 187356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.881
system time used= 1.31834
maximum resident set size= 187356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 242


# summary of solver processes directly reported to runsolver:
#   pid: 110245
#   total CPU time (s): 157.199
#   total CPU user time (s): 155.881
#   total CPU system time (s): 1.31834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.309987 second user time and 0.689616 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-11 16:46:21
IDJOB=4528577
IDBENCH=158399
IDSOLVER=3385
FILE ID=nodeC027/4528577-1752245181
RUNJOBID= nodeC027-1752245169-110055
SLURM_JOB_ID= 9682567
Free space on /tmp= 431168 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528577-1752245181/watcher-4528577-1752245181 -o /tmp/evaluation-result-4528577-1752245181/solver-4528577-1752245181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110055 --watchdog 3760  pb_picat HOME/instance-4528577-1752245181.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8b8ffe124a719c4149f2b27dc4b38cf4
RANDOM SEED=450009033

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.633
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.647
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3490.577
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.597
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.638
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.070
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3755.413
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.640
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127687560 kB
MemAvailable:   129400264 kB
Buffers:            2488 kB
Cached:          2505432 kB
SwapCached:           12 kB
Active:           999560 kB
Inactive:        1944932 kB
Active(anon):     451836 kB
Inactive(anon):     2792 kB
Active(file):     547724 kB
Inactive(file):  1942140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9616 kB
Writeback:             0 kB
AnonPages:        438892 kB
Mapped:           116260 kB
Shmem:             18056 kB
KReclaimable:     123760 kB
Slab:             216004 kB
SReclaimable:     123760 kB
SUnreclaim:        92244 kB
KernelStack:        4252 kB
PageTables:         4072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6617656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431152 MiB
End job on nodeC027 at 2025-07-11 16:48:59