Trace number 4436546

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
Picat 2024-06-18OPT101 121.283 121.586

General information on the benchmark

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

Verifier Data 

OK	101

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: 64096 MiB (60783 MiB free)
  memory of node 1: 64473 MiB (60051 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436546-1721162825/watcher-4436546-1721162825 -o /tmp/evaluation-result-4436546-1721162825/solver-4436546-1721162825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865375 --watchdog 3760 pb_picat HOME/instance-4436546-1721162825.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=867712, runsolver pid=867709

[startup+0.10048 s]*
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123713100/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2033608 memory=27284 CPUtime=0.1 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 867 0 0 0 10 0 0 0 20 0 1 0 168439682 2082414592 6821 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 508402 6821 1518 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 27284 KiB

[startup+0.211214 s]*
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123708508/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2033608 memory=31380 CPUtime=0.21 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 873 0 0 0 21 0 0 0 20 0 1 0 168439682 2082414592 7845 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 508402 7845 1518 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 31380 KiB

[startup+0.310982 s]*
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123701860/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2033608 memory=37524 CPUtime=0.3 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 882 0 0 0 30 0 0 0 20 0 1 0 168439682 2082414592 9381 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 508402 9381 1518 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37524 KiB

[startup+0.70029 s]
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123684964/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2041424 memory=64512 CPUtime=0.68 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 939 0 0 0 67 1 0 0 20 0 1 0 168439682 2090418176 16128 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 510356 16128 1566 439 0 505785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 64512 KiB

[startup+1.50035 s]
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123636404/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2063884 memory=128636 CPUtime=1.48 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 6135 0 0 0 144 4 0 0 20 0 1 0 168439682 2113417216 32159 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 515971 32159 1740 439 0 511400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2063884 KiB
Current children cumulated memory: 128636 KiB

[startup+3.11267 s]
/proc/loadavg: 4.15 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123607584/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2106088 memory=162136 CPUtime=3.09 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 12258 0 0 0 299 10 0 0 20 0 1 0 168439682 2156634112 40534 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 526522 40534 1756 439 0 521951 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2106088 KiB
Current children cumulated memory: 162136 KiB

[startup+6.30034 s]
/proc/loadavg: 4.14 4.16 4.12 5/241 867713
/proc/meminfo: memFree=123583440/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2106160 memory=164888 CPUtime=6.27 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 18413 0 0 0 615 12 0 0 20 0 1 0 168439682 2156707840 41222 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 526540 41222 1756 439 0 521969 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2106160 KiB
Current children cumulated memory: 164888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.12 5/241 867715
/proc/meminfo: memFree=123584968/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125368 memory=182288 CPUtime=12.65 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 29576 0 0 0 1247 18 0 0 20 0 1 0 168439682 2176376832 45572 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531342 45572 1756 439 0 526771 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2125368 KiB
Current children cumulated memory: 182288 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.15 4.11 5/241 867716
/proc/meminfo: memFree=123579476/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2108984 memory=174140 CPUtime=25.42 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 46914 0 0 0 2512 30 0 0 20 0 1 0 168439682 2159599616 43535 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 527246 43535 1756 439 0 522675 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2108984 KiB
Current children cumulated memory: 174140 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.15 4.11 5/241 867721
/proc/meminfo: memFree=123583396/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=182676 CPUtime=50.97 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 78038 0 0 0 5052 45 0 0 20 0 1 0 168439682 2176688128 45669 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45669 1756 439 0 526847 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 182676 KiB

[startup+102.3 s]
/proc/loadavg: 4.64 4.28 4.16 5/241 867729
/proc/meminfo: memFree=123586172/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2109288 memory=175692 CPUtime=102.04 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 138759 0 0 0 10123 81 0 0 20 0 1 0 168439682 2159910912 43923 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 527322 43923 1756 439 0 522751 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2109288 KiB
Current children cumulated memory: 175692 KiB

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

# cumulated CPU time of all completed processes:  user=120.347 s, system=0.935729 s

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

[startup+102.4 s]
/proc/loadavg: 4.64 4.28 4.16 5/241 867729
/proc/meminfo: memFree=123586172/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2109288 memory=176484 CPUtime=102.14 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 138938 0 0 0 10133 81 0 0 20 0 1 0 168439682 2159910912 44121 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 527322 44121 1756 439 0 522751 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 2109288 KiB
Current children cumulated memory: 176484 KiB

[startup+115.2 s]
/proc/loadavg: 4.70 4.31 4.17 5/241 867732
/proc/meminfo: memFree=123531972/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=180648 CPUtime=114.9 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 153288 0 0 0 11400 90 0 0 20 0 1 0 168439682 2176688128 45162 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45162 1756 439 0 526847 0
Current children cumulated CPU time: 114.9 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 180648 KiB

[startup+118.4 s]
/proc/loadavg: 4.80 4.34 4.18 5/241 867732
/proc/meminfo: memFree=123595464/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=180648 CPUtime=118.1 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 156483 0 0 0 11718 92 0 0 20 0 1 0 168439682 2176688128 45162 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45162 1756 439 0 526847 0
Current children cumulated CPU time: 118.1 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 180648 KiB

[startup+120 s]*
/proc/loadavg: 4.80 4.34 4.18 5/241 867733
/proc/meminfo: memFree=123573316/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2109288 memory=174968 CPUtime=119.7 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 157730 0 0 0 11878 92 0 0 20 0 1 0 168439682 2159910912 43742 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 527322 43742 1756 439 0 522751 0
Current children cumulated CPU time: 119.7 s
Current children cumulated vsize: 2109288 KiB
Current children cumulated memory: 174968 KiB

[startup+120.8 s]
/proc/loadavg: 4.80 4.34 4.18 5/241 867733
/proc/meminfo: memFree=123573316/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=182696 CPUtime=120.49 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 158081 0 0 0 11957 92 0 0 20 0 1 0 168439682 2176688128 45674 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45674 1756 439 0 526847 0
Current children cumulated CPU time: 120.49 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 182696 KiB

[startup+121.2 s]
/proc/loadavg: 4.82 4.35 4.19 5/241 867734
/proc/meminfo: memFree=123545944/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=182696 CPUtime=120.89 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 158081 0 0 0 11997 92 0 0 20 0 1 0 168439682 2176688128 45674 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45674 1756 439 0 526847 0
Current children cumulated CPU time: 120.89 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 182696 KiB

[startup+121.4 s]
/proc/loadavg: 4.82 4.35 4.19 5/241 867734
/proc/meminfo: memFree=123545944/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=182696 CPUtime=121.09 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 158081 0 0 0 12017 92 0 0 20 0 1 0 168439682 2176688128 45674 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45674 1756 439 0 526847 0
Current children cumulated CPU time: 121.09 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 182696 KiB

[startup+121.5 s]
/proc/loadavg: 4.82 4.35 4.19 5/241 867734
/proc/meminfo: memFree=123545944/131655788 swapFree=131071996/131071996
[pid=867712] ppid=867709 vsize=2125672 memory=182696 CPUtime=121.19 cores=4,6
/proc/867712/stat : 867712 (pb_picat) R 867709 867712 865364 0 -1 4194304 158081 0 0 0 12027 92 0 0 20 0 1 0 168439682 2176688128 45674 134679101440 4194304 5989780 140725872311216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19791872 140725872317465 140725872317541 140725872317541 140725872324556 0
/proc/867712/statm: 531418 45674 1756 439 0 526847 0
Current children cumulated CPU time: 121.19 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 182696 KiB

Child status: 0

Real time (s): 121.586
CPU time (s): 121.283
CPU user time (s): 120.347
CPU system time (s): 0.935729
CPU usage (%): 99.7512
Max. virtual memory (cumulated for all children) (KiB): 2125672
Max. memory (cumulated for all children) (KiB): 190480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.347
system time used= 0.935729
maximum resident set size= 190480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158084
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= 4
involuntary context switches= 164


# summary of solver processes directly reported to runsolver:
#   pid: 867712
#   total CPU time (s): 121.283
#   total CPU user time (s): 120.347
#   total CPU system time (s): 0.935729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.63313 second user time and 1.20626 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-16 22:47:18
IDJOB=4436546
IDBENCH=158387
IDSOLVER=3068
FILE ID=nodeC011/4436546-1721162825
RUNJOBID= nodeC011-1721158273-865375
SLURM_JOB_ID= 7505769
Free space on /tmp= 723744 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436546-1721162825/watcher-4436546-1721162825 -o /tmp/evaluation-result-4436546-1721162825/solver-4436546-1721162825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865375 --watchdog 3760  pb_picat HOME/instance-4436546-1721162825.opb

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

MD5SUM BENCH= 0048c1c5d89c09890e717f6e64ce7569
RANDOM SEED=1247174992

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3673.044
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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	: 0xb00001f
cpu MHz		: 3664.656
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.300
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.265
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 3491.614
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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	: 0xb00001f
cpu MHz		: 3658.602
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.134
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.231
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123734908 kB
MemAvailable:   128423500 kB
Buffers:          454304 kB
Cached:          5018156 kB
SwapCached:            0 kB
Active:           898404 kB
Inactive:        6362412 kB
Active(anon):       1436 kB
Inactive(anon):  1824620 kB
Active(file):     896968 kB
Inactive(file):  4537792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4856 kB
Writeback:             0 kB
AnonPages:       1782144 kB
Mapped:           114916 kB
Shmem:             37704 kB
KReclaimable:     188060 kB
Slab:             297568 kB
SReclaimable:     188060 kB
SUnreclaim:       109508 kB
KernelStack:        3888 kB
PageTables:        12820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7033076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC011 at 2024-07-16 22:49:19