Trace number 4436356

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-18OPT28 20.0879 20.1394

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUMda31c5e5ac38e9f33b6b3c1fd678ecad
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 benchmark28
Best CPU time to get the best result obtained on this benchmark8.01173
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12852
Total number of constraints41686
Number of constraints which are clauses41686
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 6267
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6267
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6267
Number of bits of the biggest sum of numbers13
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-4436356-1721106753.opb (Picat 3.6#12)
0.40/0.47	o 4740
0.49/0.58	o 4739
1.78/1.82	o 2943
3.48/3.58	o 551
3.77/3.86	o 215
4.08/4.10	o 129
4.27/4.34	o 44
7.17/7.21	o 29
13.96/14.10	o 28
20.04/20.11	s OPTIMUM FOUND
20.04/20.11	v ~x1167 ~x8602 ~x2111 ~x4552 ~x262 ~x7936 ~x5377 ~x11320 ~x1169 ~x8604 
20.04/20.11	v ~x2113 ~x4554 ~x11787 ~x7938 ~x5379 ~x11322 ~x1171 ~x8606 ~x21 ~x4556 
20.04/20.11	v ~x11789 ~x7940 ~x5381 ~x11324 ~x1173 ~x8608 ~x2115 ~x4558 ~x11791 ~x7942 
20.04/20.11	v ~x5383 ~x11326 ~x1175 ~x8610 ~x2117 ~x4560 ~x263 ~x7944 ~x5385 ~x11328 
20.04/20.11	v ~x1177 ~x8612 ~x2119 ~x4562 ~x11793 ~x7946 ~x5387 ~x11330 ~x1179 ~x8614 
20.04/20.11	v ~x2121 ~x4564 ~x11795 ~x7948 ~x5389 ~x11332 ~x1181 ~x8616 ~x2123 ~x4566 
20.04/20.11	v ~x11797 ~x7950 ~x5391 ~x11334 ~x1183 ~x8618 ~x2125 ~x4568 ~x11799 ~x7952 
20.04/20.11	v ~x5393 ~x11336 ~x1185 ~x8620 ~x2127 ~x4570 ~x11801 ~x7954 ~x5395 ~x11338 
20.04/20.11	v ~x1187 ~x8622 ~x2129 ~x4572 ~x11803 ~x7956 ~x5397 ~x11340 ~x1189 ~x8624 
20.04/20.11	v ~x2131 ~x4574 ~x11805 ~x7958 ~x5399 ~x11342 ~x1191 ~x8626 ~x2133 ~x4576 
20.04/20.11	v ~x11807 ~x7960 ~x5401 ~x11344 ~x1193 ~x8628 ~x2135 ~x4578 ~x11809 ~x7962 
20.04/20.11	v ~x5403 ~x11346 ~x1195 ~x8630 ~x2137 ~x4580 ~x11811 ~x7964 ~x80 ~x11348 
20.04/20.11	v ~x1197 ~x8632 ~x2139 ~x4582 ~x11813 ~x7966 ~x5405 ~x11350 ~x1199 ~x8634 
20.04/20.11	v ~x2141 ~x4584 ~x11815 ~x7968 ~x5407 ~x11352 ~x1201 ~x8636 ~x2143 ~x4586 
20.04/20.11	v ~x11817 ~x7970 ~x5409 ~x11354 ~x1203 ~x8638 ~x2145 ~x4588 ~x11819 ~x7972 
20.04/20.11	v ~x5411 ~x11356 ~x1205 ~x8640 ~x2147 ~x4590 ~x11821 ~x7974 ~x5413 ~x11358 
20.04/20.11	v ~x1207 ~x8642 ~x2149 ~x4592 ~x264 ~x7976 ~x5415 ~x11360 ~x1209 ~x8644 
20.04/20.11	v ~x2151 ~x4594 ~x11823 ~x7978 ~x5417 ~x11362 ~x1211 ~x161 ~x2153 ~x4596 
20.04/20.11	v ~x11825 ~x7980 ~x5419 ~x11364 ~x1213 ~x8646 ~x2155 ~x4598 ~x11827 ~x7982 
20.04/20.11	v ~x5421 ~x11366 ~x1215 ~x8648 ~x2157 ~x4600 ~x11829 x7984 ~x5423 ~x11368 
20.04/20.11	v ~x1217 ~x8650 ~x2159 ~x4602 ~x11831 ~x7986 ~x5425 ~x11370 ~x1219 ~x8652 
20.04/20.11	v ~x2161 ~x4604 ~x11833 ~x7988 ~x5427 ~x11372 ~x1221 ~x8654 ~x2163 ~x4606 
20.04/20.11	v ~x11835 ~x7990 ~x5429 ~x11374 ~x1223 ~x8656 ~x2165 ~x4608 ~x265 ~x7992 
20.04/20.11	v ~x5431 ~x11376 ~x1225 ~x8658 ~x2167 ~x4610 ~x11837 ~x7994 ~x5433 ~x11378 
20.04/20.11	v ~x1227 ~x8660 ~x2169 ~x4612 ~x11839 ~x7996 ~x81 ~x11380 ~x1229 ~x8662 
20.04/20.11	v ~x2171 ~x4614 ~x11841 ~x7998 ~x5435 ~x11382 ~x1231 ~x8664 ~x2173 ~x4616 
20.04/20.11	v ~x11843 ~x8000 ~x5437 ~x11384 ~x1233 ~x8666 ~x2175 ~x4618 ~x11845 ~x8002 
20.04/20.11	v ~x5439 ~x11386 ~x1235 ~x8668 ~x2177 ~x4620 ~x11847 ~x8004 ~x5441 ~x11388 
20.04/20.11	v ~x1237 ~x8670 ~x2179 ~x4622 ~x11849 ~x8006 ~x5443 ~x11390 ~x1239 ~x8672 
20.04/20.11	v ~x2181 ~x4624 ~x266 ~x8008 ~x5445 ~x11392 ~x1241 ~x8674 ~x2183 ~x4626 
20.04/20.11	v ~x11851 ~x8010 ~x5447 ~x11394 ~x1243 ~x162 ~x2185 ~x4628 ~x11853 ~x8012 
20.04/20.11	v ~x5449 ~x11396 ~x1245 ~x8676 ~x2187 ~x4630 ~x11855 ~x8014 ~x5451 ~x11398 
20.04/20.11	v ~x1247 ~x8678 ~x2189 ~x4632 ~x267 ~x8016 ~x5453 ~x11400 ~x1249 ~x8680 
20.04/20.11	v ~x2191 ~x4634 ~x11857 ~x8018 ~x5455 ~x11402 ~x1251 ~x8682 ~x2193 ~x4636 
20.04/20.11	v ~x11859 ~x8020 ~x5457 ~x11404 ~x1253 ~x8684 ~x2195 ~x4638 ~x11861 ~x8022 
20.04/20.11	v ~x5459 ~x11406 ~x1255 ~x8686 ~x2197 ~x4640 ~x11863 ~x8024 ~x5461 ~x11408 
20.04/20.11	v ~x1257 ~x8688 ~x2199 ~x4642 ~x11865 ~x8026 ~x5463 ~x11410 ~x1259 ~x8690 
20.04/20.11	v ~x2201 ~x4644 ~x11867 ~x8028 ~x82 ~x11412 ~x1261 ~x8692 ~x2203 ~x4646 
20.04/20.11	v ~x11869 ~x8030 ~x5465 ~x11414 ~x1263 ~x8694 ~x2205 ~x4648 ~x268 ~x8032 
20.04/20.11	v ~x5467 ~x11416 ~x1265 ~x8696 ~x2207 ~x4650 ~x11871 ~x8034 ~x5469 ~x11418 
20.04/20.11	v ~x1267 ~x8698 ~x2209 ~x4652 ~x11873 ~x8036 ~x5471 ~x11420 ~x1269 ~x8700 
20.04/20.11	v ~x2211 ~x4654 ~x11875 ~x8038 ~x5473 ~x11422 ~x1271 ~x8702 ~x2213 ~x4656 
20.04/20.11	v ~x269 ~x8040 ~x5475 ~x11424 ~x1273 ~x8704 ~x2215 ~x4658 ~x11877 ~x8042 
20.04/20.11	v ~x5477 ~x11426 ~x1275 ~x163 ~x2217 ~x4660 ~x11879 ~x8044 ~x83 ~x11428 
20.04/20.11	v ~x1277 ~x8706 ~x2219 ~x4662 ~x11881 ~x8046 ~x5479 ~x11430 ~x1279 ~x8708 
20.04/20.11	v ~x2221 ~x4664 ~x270 ~x8048 ~x5481 ~x11432 ~x1281 ~x8710 ~x2223 ~x4666 
20.04/20.11	v ~x11883 ~x8050 ~x5483 ~x11434 ~x1283 ~x8712 ~x2225 ~x4668 ~x271 ~x8052 
20.04/20.11	v ~x5485 ~x11436 ~x1285 ~x8714 ~x2227 ~x4670 ~x11885 ~x8054 ~x5487 ~x11438 
20.04/20.11	v ~x1287 ~x8716 ~x2229 ~x4672 ~x11887 ~x8056 ~x5489 ~x11440 ~x1289 ~x8718 
20.04/20.11	v ~x2231 ~x4674 ~x11889 ~x8058 ~x5491 ~x11442 ~x1291 ~x164 ~x2233 ~x4676 
20.04/20.11	v ~x11891 ~x8060 ~x5493 ~x11444 ~x1293 ~x8720 ~x2235 ~x4678 ~x11893 ~x8062 
20.04/20.11	v ~x5495 ~x11446 ~x1295 ~x8722 ~x2237 ~x4680 ~x11895 ~x8064 ~x5497 ~x11448 
20.04/20.11	v ~x1297 ~x8724 ~x2239 ~x4682 ~x11897 ~x8066 ~x5499 ~x11450 ~x1299 ~x8726 
20.04/20.11	v ~x22 x4684 ~x11899 ~x8068 ~x5501 ~x11452 ~x1301 ~x8728 ~x2241 ~x4686 
20.04/20.11	v ~x11901 ~x8070 ~x5503 ~x11454 ~x1303 ~x8730 ~x2243 ~x4688 ~x11903 ~x8072 
20.04/20.11	v ~x5505 ~x11456 ~x1305 ~x8732 ~x2245 ~x4690 ~x11905 ~x8074 ~x5507 ~x11458 
20.04/20.11	v ~x1307 ~x8734 ~x2247 ~x4692 ~x11907 ~x8076 ~x84 ~x11460 ~x1309 ~x8736 
20.04/20.11	v ~x2249 ~x4694 ~x11909 ~x8078 ~x5509 ~x11462 ~x1311 ~x8738 ~x2251 ~x4696 
20.04/20.11	v ~x11911 ~x8080 ~x5511 ~x11464 ~x1313 ~x8740 ~x2253 ~x4698 ~x11913 ~x8082 
20.04/20.11	v ~x5513 ~x11466 ~x1315 ~x8742 ~x2255 ~x4700 ~x272 ~x8084 ~x5515 ~x11468 
20.04/20.11	v ~x1317 ~x8744 ~x2257 ~x4702 ~x11915 ~x8086 ~x5517 ~x11470 ~x1319 ~x8746 
20.04/20.11	v ~x2259 ~x4704 ~x11917 ~x8088 ~x5519 ~x11472 ~x1321 ~x8748 ~x2261 ~x4706 
20.04/20.11	v ~x11919 ~x8090 ~x5521 ~x11474 ~x1323 ~x165 ~x2263 ~x4708 ~x11921 ~x8092 
20.04/20.11	v ~x85 ~x11476 ~x1325 ~x8750 ~x2265 ~x4710 ~x11923 ~x8094 ~x5523 ~x11478 
20.04/20.11	v ~x1327 ~x8752 ~x2267 ~x4712 ~x11925 ~x8096 ~x5525 ~x11480 ~x1329 ~x8754 
20.04/20.11	v ~x2269 ~x4714 ~x11927 ~x8098 ~x5527 ~x11482 ~x1331 ~x8756 ~x2271 ~x4716 
20.04/20.11	v ~x11929 ~x8100 ~x5529 ~x11484 ~x1333 ~x8758 ~x2273 ~x4718 ~x11931 ~x8102 
20.04/20.11	v ~x5531 ~x11486 ~x1335 ~x8760 ~x2275 x4720 ~x11933 ~x8104 ~x5533 ~x11488 
20.04/20.11	v ~x1337 ~x8762 ~x2277 ~x4722 ~x11935 ~x8106 ~x5535 ~x11490 ~x1339 ~x8764 
20.04/20.11	v ~x2279 ~x4724 ~x11937 ~x8108 ~x86 ~x11492 ~x1341 ~x8766 ~x2281 ~x4726 
20.04/20.11	v ~x11939 ~x8110 ~x5537 ~x11494 ~x1343 ~x8768 ~x2283 ~x4728 ~x11941 ~x8112 
20.04/20.11	v ~x5539 ~x11496 ~x1345 ~x8770 ~x2285 ~x4730 ~x11943 ~x8114 ~x5541 ~x11498 
20.04/20.11	v ~x1347 ~x8772 ~x2287 ~x4732 ~x11945 ~x8116 ~x87 ~x11500 ~x1349 ~x8774 
20.04/20.11	v ~x2289 ~x4734 ~x11947 ~x8118 ~x5543 ~x11502 ~x1351 ~x8776 ~x2291 ~x4736 
20.04/20.11	v ~x11949 ~x8120 ~x5545 ~x11504 ~x1353 ~x8778 ~x2293 ~x4738 ~x11951 ~x8122 
20.04/20.11	v ~x5547 ~x11506 ~x1355 ~x166 ~x2295 ~x4740 ~x11953 ~x8124 ~x5549 ~x11508 
20.04/20.11	v ~x1357 ~x8780 ~x2297 ~x4742 ~x11955 ~x8126 ~x5551 ~x11510 ~x1359 ~x8782 
20.04/20.11	v ~x2299 ~x4744 ~x11957 ~x8128 ~x5553 ~x11512 ~x1361 ~x8784 ~x2301 ~x4746 
20.04/20.11	v ~x11959 ~x8130 ~x5555 ~x11514 ~x1363 ~x8786 ~x23 ~x4748 ~x11961 ~x8132 
20.04/20.11	v ~x5557 ~x11516 ~x1365 ~x8788 ~x2303 ~x4750 ~x11963 ~x8134 ~x5559 ~x11518 
20.04/20.11	v ~x1367 ~x8790 ~x2305 ~x4752 ~x11965 ~x8136 ~x5561 ~x11520 ~x1369 ~x8792 
20.04/20.11	v ~x2307 ~x4754 ~x11967 ~x8138 ~x5563 ~x11522 ~x1371 ~x167 ~x2309 ~x4756 
20.04/20.11	v ~x11969 ~x8140 ~x5565 ~x11524 ~x1373 ~x8794 ~x2311 ~x4758 ~x11971 ~x8142 
20.04/20.11	v ~x5567 ~x11526 ~x1375 ~x8796 ~x2313 ~x4760 ~x11973 ~x8144 ~x5569 ~x11528 
20.04/20.11	v ~x1377 ~x8798 ~x2315 ~x4762 ~x273 ~x8146 ~x5571 ~x11530 ~x1379 ~x8800 
20.04/20.11	v ~x2317 ~x4764 ~x11975 ~x8148 ~x5573 ~x11532 ~x1381 ~x8802 ~x2319 ~x4766 
20.04/20.11	v ~x11977 ~x8150 ~x5575 ~x11534 ~x1383 ~x8804 ~x2321 ~x4768 ~x11979 ~x8152 
20.04/20.11	v ~x5577 ~x11536 ~x1385 ~x8806 ~x2323 ~x4770 ~x11981 ~x8154 ~x5579 ~x11538 
20.04/20.11	v ~x1387 ~x8808 ~x2325 ~x4772 ~x11983 ~x8156 ~x5581 ~x11540 ~x1389 ~x8810 
20.04/20.11	v ~x2327 ~x4774 ~x11985 ~x8158 ~x5583 ~x11542 ~x1391 ~x8812 ~x2329 ~x4776 
20.04/20.11	v ~x11987 ~x8160 ~x5585 ~x11544 ~x1393 ~x8814 ~x2331 ~x4778 ~x11989 ~x8162 
20.04/20.11	v ~x5587 ~x11546 ~x1395 ~x8816 ~x2333 ~x4780 ~x11991 ~x8164 ~x5589 ~x11548 
20.04/20.11	v ~x1397 ~x8818 ~x2335 ~x4782 ~x11993 ~x8165 ~x5591 ~x11550 ~x1399 ~x8820 
20.04/20.11	v ~x2337 ~x4784 ~x11995 ~x8167 ~x5593 ~x11552 ~x1401 ~x8822 ~x2339 ~x4786 
20.04/20.11	v ~x11997 ~x8169 ~x5595 ~x11554 ~x1403 ~x168 ~x2341 ~x4788 ~x11999 ~x8171 
20.04/20.11	v ~x5597 ~x11556 ~x1405 ~x8824 ~x2343 ~x4790 ~x12001 ~x8173 ~x5599 ~x11558 
20.04/20.11	v ~x1407 ~x8826 ~x2345 ~x4792 ~x12003 ~x8175 ~x5601 ~x11560 ~x1409 ~x8828 
20.04/20.11	v ~x2347 ~x4794 ~x274 ~x8177 ~x5603 ~x11562 ~x1411 ~x8830 ~x2349 ~x4796 
20.04/20.11	v ~x12005 ~x8179 ~x5605 ~x11564 ~x1413 ~x8832 ~x2351 ~x4798 ~x12007 ~x8181 
20.04/20.11	v ~x5607 ~x11566 ~x1415 ~x8834 ~x2353 ~x4800 ~x12009 ~x8183 ~x5609 ~x11568 
20.04/20.11	v ~x1417 ~x8836 ~x2355 ~x4802 ~x12011 ~x8185 ~x5611 ~x11570 ~x1419 ~x169 
20.04/20.11	v ~x2357 ~x4804 ~x12013 ~x8187 ~x5613 ~x11572 ~x1421 ~x8838 ~x2359 ~x4806 
20.04/20.11	v ~x12015 ~x8189 ~x5615 ~x11574 ~x1423 ~x8840 ~x2361 ~x4808 ~x12017 ~x8191 
20.04/20.11	v ~x5617 ~x11576 ~x1425 ~x8842 ~x2363 ~x4810 ~x12019 ~x8193 ~x5619 ~x11578 
20.04/20.11	v ~x1427 ~x8844 ~x24 ~x4812 ~x12021 ~x8195 ~x5621 ~x11580 ~x1429 ~x8846 
20.04/20.11	v ~x2365 ~x4814 ~x12023 ~x8197 ~x5623 ~x11582 ~x1431 ~x8848 ~x2367 ~x4816 
20.04/20.11	v ~x12025 ~x8199 ~x5625 ~x11584 ~x1433 ~x8850 ~x2369 ~x4818 ~x12027 ~x8201 
20.04/20.11	v ~x5627 ~x11586 ~x1435 ~x170 ~x2371 ~x4820 ~x12029 ~x8203 ~x5629 ~x11588 
20.04/20.11	v ~x1437 ~x8852 ~x2373 ~x4822 ~x12031 ~x8205 ~x5631 ~x11590 ~x1439 ~x8854 
20.04/20.11	v ~x2375 ~x4824 ~x12033 ~x8207 ~x5633 ~x11592 ~x1441 ~x8856 ~x2377 ~x4826 
20.04/20.11	v ~x275 ~x8209 ~x5635 ~x11594 ~x1443 ~x171 ~x2379 ~x4828 ~x12035 ~x8211 
20.04/20.11	v ~x5637 ~x11596 ~x1445 ~x8858 ~x2381 ~x4830 ~x12037 ~x8213 ~x5639 ~x11598 
20.04/20.11	v ~x1447 ~x8860 ~x2383 ~x4832 ~x12039 ~x8215 ~x5641 ~x11600 ~x1449 ~x8862 
20.04/20.11	v ~x2385 ~x4834 ~x12041 ~x8217 ~x5643 ~x11602 ~x1451 ~x8864 ~x2387 ~x4836 
20.04/20.11	v ~x12043 ~x8219 ~x5645 ~x11604 ~x1453 ~x8866 ~x2389 ~x4838 ~x12045 ~x8221 
20.04/20.11	v ~x5647 ~x11606 ~x1455 ~x8868 ~x2391 ~x4840 ~x12047 ~x8223 ~x5649 ~x11608 
20.04/20.11	v ~x1457 ~x8870 ~x2393 ~x4842 ~x276 ~x8225 ~x5651 ~x11610 ~x1459 ~x8872 
20.04/20.11	v ~x25 ~x4844 ~x12049 ~x8227 ~x5653 ~x11612 ~x1461 ~x8874 ~x2395 ~x4846 
20.04/20.11	v ~x12051 ~x8229 ~x5655 ~x11614 ~x1463 ~x8876 ~x2397 ~x4848 ~x12053 ~x8231 
20.04/20.11	v ~x5657 ~x11616 ~x1465 ~x8878 ~x2399 ~x4850 ~x12055 ~x8233 ~x5659 ~x11618 
20.04/20.11	v ~x1467 ~x8880 ~x2401 ~x4852 ~x12057 ~x8235 ~x5661 ~x11620 ~x1469 ~x8882 
20.04/20.11	v ~x2403 ~x4854 ~x12059 ~x8237 ~x5663 ~x11622 ~x1471 ~x8884 ~x2405 ~x4856 
20.04/20.11	v ~x12061 ~x8239 ~x5665 ~x11624 ~x1473 ~x8886 ~x2407 ~x4858 ~x12063 ~x8241 
20.04/20.11	v ~x5667 ~x11626 ~x1475 ~x8888 ~x2409 ~x4860 ~x12065 ~x8243 ~x5669 ~x11628 
20.04/20.11	v ~x1477 ~x8890 ~x2411 ~x4862 ~x12067 ~x8245 ~x5671 ~x11630 ~x1479 ~x8892 
20.04/20.11	v ~x2413 ~x4864 ~x12069 ~x8247 ~x5673 ~x11632 ~x1481 ~x8894 ~x2415 ~x4866 
20.04/20.11	v ~x12071 ~x8249 ~x5675 ~x11634 ~x1483 ~x8896 ~x2417 ~x4868 ~x12073 ~x8251 
20.04/20.11	v ~x5677 ~x11636 ~x1485 ~x8898 ~x2419 ~x4870 ~x12075 ~x8253 ~x5679 ~x11638 
20.04/20.11	v ~x1487 ~x8900 ~x2421 ~x4872 ~x12077 ~x8255 ~x5681 ~x11640 ~x1489 ~x8902 
20.04/20.11	v ~x2423 ~x4874 ~x12079 ~x8257 x5683 ~x11642 ~x1491 ~x8904 ~x2425 ~x4876 
20.04/20.11	v ~x12081 ~x8259 ~x5685 ~x11644 ~x1493 ~x8906 ~x2427 ~x4878 ~x12083 ~x8261 
20.04/20.11	v ~x5687 ~x11646 ~x1495 ~x8908 ~x2429 ~x4880 ~x12085 ~x8263 ~x5689 ~x11648 
20.04/20.11	v ~x1497 ~x8910 ~x2431 ~x4882 ~x12087 ~x8265 ~x5691 ~x11650 ~x1499 ~x8912 
20.04/20.11	v ~x2433 ~x4884 ~x12089 ~x8267 ~x5693 ~x11652 ~x1501 ~x8914 ~x2435 ~x4886 
20.04/20.11	v ~x12091 ~x8269 ~x5695 ~x11654 ~x1503 ~x8916 ~x2437 ~x4888 ~x12093 ~x8271 
20.04/20.11	v ~x5697 ~x11656 ~x1505 ~x8918 ~x2439 ~x4890 ~x12095 ~x8273 ~x5699 ~x11658 
20.04/20.11	v ~x1507 ~x172 ~x2441 ~x4892 ~x12097 ~x8275 ~x5701 ~x11660 ~x1509 ~x8920 
20.04/20.11	v ~x2443 ~x4894 ~x12099 ~x8277 ~x5703 ~x11662 ~x1511 ~x8922 ~x2445 ~x4896 
20.04/20.11	v ~x12101 ~x8279 ~x5705 ~x11664 ~x1513 ~x8924 ~x2447 ~x4898 ~x12103 ~x8281 
20.04/20.11	v ~x5707 ~x11666 ~x1515 ~x8926 ~x2449 ~x4900 ~x12105 ~x8283 ~x5709 ~x11668 
20.04/20.11	v ~x1517 ~x8928 ~x2451 ~x4902 ~x12107 ~x8285 ~x5711 ~x11670 ~x1519 ~x8930 
20.04/20.11	v ~x2453 ~x4904 ~x12109 ~x8287 ~x5713 ~x11672 ~x1521 ~x8932 ~x2455 ~x4906 
20.04/20.11	v ~x277 ~x8289 ~x5715 ~x11674 ~x1523 ~x8934 ~x26 ~x4908 ~x12111 ~x8291 
20.04/20.11	v ~x5717 ~x11676 x1525 ~x8936 ~x2457 ~x4910 ~x12113 ~x8293 ~x5719 ~x11678 
20.04/20.11	v ~x1527 ~x8938 ~x2459 ~x4912 ~x12115 ~x8295 ~x5721 ~x11680 ~x1529 ~x8940 
20.04/20.11	v ~x2461 ~x4914 ~x12117 ~x8297 ~x5723 ~x11682 ~x1531 ~x8942 ~x2463 ~x4916 
20.04/20.11	v ~x12119 ~x8299 ~x5725 ~x11684 ~x1533 ~x8944 ~x2465 ~x4918 ~x12121 ~x8301 
20.04/20.11	v ~x5727 ~x11686 ~x1535 ~x8946 ~x2467 ~x4920 ~x12123 ~x8303 ~x5729 ~x11688 
20.04/20.11	v ~x1537 ~x8948 ~x2469 ~x4922 ~x12125 ~x8305 ~x88 ~x11690 ~x1539 ~x8950 
20.04/20.11	v ~x2471 ~x4924 ~x12127 ~x8307 ~x5731 ~x11692 ~x1541 ~x8952 ~x2473 ~x4926 
20.04/20.11	v ~x12129 ~x8309 ~x5733 ~x11694 ~x1543 ~x8954 ~x2475 ~x4928 ~x12131 ~x8311 
20.04/20.11	v ~x5735 ~x11696 ~x1545 ~x8956 ~x2477 ~x4930 ~x12133 ~x8313 ~x5737 ~x11698 
20.04/20.11	v ~x1547 ~x8958 ~x2479 ~x4932 ~x12135 ~x8315 ~x5739 ~x11700 ~x1549 ~x8960 
20.04/20.11	v ~x2481 ~x4934 ~x12137 ~x8317 ~x5741 ~x11702 ~x1551 ~x8962 ~x2483 ~x4936 
20.04/20.11	v ~x12139 ~x8319 ~x5743 ~x11704 ~x1553 ~x8964 ~x2485 ~x4938 ~x278 ~x8321 
20.04/20.11	v ~x5745 ~x11706 ~x1555 ~x8966 ~x27 ~x4940 ~x12141 ~x8323 ~x5747 ~x11708 
20.04/20.11	v ~x1557 ~x8968 ~x2487 ~x4942 ~x12143 ~x8325 ~x5749 ~x11710 ~x1559 ~x8970 
20.04/20.11	v ~x2489 ~x4944 ~x12145 ~x8327 ~x5751 ~x11712 ~x1561 ~x8972 ~x2491 ~x4946 
20.04/20.11	v ~x12147 ~x8329 ~x5753 ~x11714 ~x1563 ~x8974 ~x2493 ~x4948 ~x12149 ~x8331 
20.04/20.11	v ~x5755 ~x11716 ~x1565 ~x8976 ~x2495 ~x4950 ~x12151 ~x8333 ~x5757 ~x11718 
20.04/20.11	v ~x1567 ~x8978 ~x2497 ~x4952 ~x12153 ~x8335 ~x5759 ~x11720 ~x1569 ~x8980 
20.04/20.11	v ~x2499 ~x4954 ~x12155 ~x8337 ~x5761 ~x11722 ~x1571 ~x173 ~x2501 ~x4956 
20.04/20.11	v ~x12157 ~x8339 ~x5763 ~x11724 ~x1573 ~x8982 ~x2503 ~x4958 ~x12159 ~x8341 
20.04/20.11	v ~x5765 ~x11726 ~x1575 ~x8984 ~x2505 ~x4960 ~x12161 ~x8343 ~x5767 ~x11728 
20.04/20.11	v ~x1577 ~x8986 ~x2507 ~x4962 ~x12163 ~x8345 ~x5769 ~x11730 ~x1579 ~x8988 
20.04/20.11	v ~x2509 ~x4964 ~x12165 ~x8347 ~x5771 ~x11732 ~x1581 ~x8990 ~x2511 ~x4966 
20.04/20.11	v ~x12167 ~x8349 ~x5773 ~x11734 ~x1583 ~x8992 ~x2513 ~x4968 ~x12169 ~x8351 
20.04/20.11	v ~x5775 ~x11736 ~x1585 ~x8994 ~x2515 ~x4970 ~x279 ~x8353 ~x5777 ~x11738 
20.04/20.11	v ~x1587 ~x8996 ~x28 ~x4972 ~x12171 ~x8355 ~x5779 ~x11740 ~x1589 ~x8998 
20.04/20.11	v ~x2517 ~x4974 ~x12173 ~x8357 ~x5781 ~x11742 ~x1591 ~x9000 ~x2519 ~x4976 
20.04/20.11	v ~x12175 ~x8359 ~x5783 ~x11744 ~x1593 ~x9002 ~x2521 ~x4978 ~x12177 ~x8361 
20.04/20.11	v ~x5785 ~x11746 ~x1595 ~x9004 ~x2523 ~x4980 ~x12179 ~x8363 ~x5787 ~x11748 
20.04/20.11	v ~x1597 ~x9006 ~x2525 ~x4982 ~x12181 ~x8365 ~x5789 ~x11750 ~x1599 ~x9008 
20.04/20.11	v ~x2527 ~x4984 ~x12183 ~x8367 ~x5791 ~x11752 ~x1601 ~x9010 ~x2529 ~x4986 
20.04/20.11	v ~x280 ~x8369 ~x89 ~x11754 ~x1603 ~x174 ~x2531 ~x4988 ~x12185 ~x8371 
20.04/20.11	v ~x5793 ~x11756 ~x1605 ~x9012 ~x2533 ~x4990 ~x12187 ~x8373 ~x5795 ~x11758 
20.04/20.11	v ~x1607 ~x9014 ~x2535 ~x4992 ~x12189 ~x8375 ~x5797 ~x11760 ~x1609 ~x9016 
20.04/20.11	v ~x2537 ~x4994 ~x12191 ~x8377 ~x5799 ~x11762 ~x1611 ~x9018 ~x2539 ~x4996 
20.04/20.11	v ~x12193 ~x8379 ~x5801 ~x11764 ~x1613 ~x9020 ~x2541 ~x4998 ~x12195 ~x8381 
20.04/20.11	v ~x5803 ~x11766 ~x1615 ~x9022 ~x2543 ~x5000 ~x12197 ~x8383 ~x5805 ~x11768 
20.04/20.11	v ~x1617 ~x9024 ~x2545 ~x5002 ~x12199 ~x8385 ~x5807 ~x11770 ~x1619 ~x9026 
20.04/20.11	v ~x2547 ~x5004 ~x12201 ~x8387 ~x5809 ~x11772 ~x1621 ~x9028 ~x2549 ~x5006 
20.04/20.11	v ~x12203 ~x8389 ~x5811 ~x11774 ~x1623 ~x9030 ~x2551 ~x5008 ~x12205 ~x8391 
20.04/20.11	v ~x5813 ~x11776 ~x1625 ~x9032 ~x2553 ~x5010 ~x12207 ~x8393 ~x5815 x11778 
20.04/20.11	v ~x1627 ~x9034 ~x2555 ~x5012 ~x12209 ~x8395 ~x5817 ~x11780 ~x1629 ~x9036 
20.04/20.11	v ~x2557 ~x5014 ~x12211 ~x8397 ~x5819 ~x11782 ~x1631 ~x9038 ~x2559 ~x5016 
20.04/20.11	v ~x12213 ~x8399 ~x5821 ~x11784 ~x1633 ~x9040 ~x2561 ~x5018 ~x281 ~x8401 
20.04/20.11	v ~x5823 ~x11786 ~x1635 ~x9042 ~x2563 ~x5020 ~x12215 ~x8403 ~x5825 ~x11788 
20.04/20.11	v ~x1637 ~x9044 ~x2565 ~x5022 ~x12217 ~x8405 ~x5827 ~x11790 ~x1639 ~x9046 
20.04/20.11	v ~x2567 ~x5024 ~x12219 ~x8407 ~x5829 ~x11792 ~x1641 ~x9048 ~x2569 ~x5026 
20.04/20.11	v ~x12221 ~x8409 ~x5831 ~x11794 ~x1643 ~x9050 ~x2571 ~x5028 ~x12223 ~x8411 
20.04/20.11	v ~x5833 ~x11796 ~x1645 ~x9052 ~x2573 ~x5030 ~x12225 ~x8413 ~x5835 ~x11798 
20.04/20.11	v ~x1647 ~x9054 ~x2575 ~x5032 ~x12227 ~x8415 ~x5837 ~x11800 ~x1649 ~x9056 
20.04/20.11	v ~x2577 ~x5034 ~x282 ~x8417 ~x5839 ~x11802 ~x1651 ~x9058 ~x29 ~x5036 
20.04/20.11	v ~x12229 ~x8419 ~x5841 ~x11804 ~x1653 ~x9060 ~x2579 ~x5038 ~x12231 ~x8421 
20.04/20.11	v ~x5843 ~x11806 ~x1655 ~x9062 ~x2581 ~x5040 ~x12233 ~x8423 ~x5845 ~x11808 
20.04/20.11	v ~x1657 ~x9064 ~x2583 ~x5042 ~x12235 ~x8425 ~x5847 ~x11810 ~x1659 ~x9066 
20.04/20.11	v ~x2585 ~x5044 ~x12237 ~x8427 ~x5849 ~x11812 ~x1661 ~x9068 ~x2587 ~x5046 
20.04/20.11	v ~x12239 ~x8429 ~x5851 ~x11814 ~x1663 ~x9070 ~x2589 ~x5048 ~x12241 ~x8431 
20.04/20.11	v ~x5853 ~x11816 ~x1665 ~x9072 ~x2591 ~x5050 ~x12243 ~x8433 ~x90 ~x11818 
20.04/20.11	v ~x1667 ~x9074 ~x2593 ~x5052 x12245 ~x8435 ~x5855 ~x11820 ~x1669 ~x9076 
20.04/20.11	v ~x2595 ~x5054 ~x12247 ~x8437 ~x5857 ~x11822 ~x1671 ~x9078 ~x2597 ~x5056 
20.04/20.11	v ~x283 ~x8439 ~x5859 ~x11824 ~x1673 ~x9080 ~x2599 ~x5058 ~x12249 ~x8441 
20.04/20.11	v ~x5861 ~x11826 ~x1675 ~x9082 ~x2601 ~x5060 ~x12251 ~x8443 ~x5863 ~x11828 
20.04/20.11	v ~x1677 ~x9084 ~x2603 ~x5062 ~x12253 ~x8445 ~x5865 ~x11830 ~x1679 ~x9086 
20.04/20.11	v ~x2605 ~x5064 ~x12255 ~x8447 ~x5867 ~x11832 ~x1681 ~x9088 ~x2607 ~x5066 
20.04/20.11	v ~x12257 ~x8449 ~x5869 ~x11834 ~x1683 ~x9090 ~x30 ~x5068 ~x12259 ~x8451 
20.04/20.11	v ~x5871 ~x11836 ~x1685 ~x9092 ~x2609 ~x5070 ~x12261 ~x8453 ~x5873 ~x11838 
20.04/20.11	v ~x1687 ~x9094 ~x2611 ~x5072 ~x12263 ~x8455 ~x5875 ~x11840 ~x1689 ~x9096 
20.04/20.11	v ~x2613 ~x5074 ~x12265 ~x8457 ~x5877 ~x11842 ~x1691 ~x9098 ~x2615 ~x5076 
20.04/20.11	v ~x12267 ~x8459 ~x5879 ~x11844 ~x1693 ~x9100 ~x2617 ~x5078 ~x12269 ~x8461 
20.04/20.11	v ~x5881 ~x11846 ~x1695 ~x9102 ~x2619 ~x5080 ~x12271 ~x8463 ~x5883 ~x11848 
20.04/20.11	v ~x1697 ~x9104 ~x2621 ~x5082 ~x12273 ~x8465 ~x91 ~x11850 ~x1699 ~x9106 
20.04/20.11	v ~x2623 ~x5084 ~x12275 ~x8467 ~x5885 ~x11852 ~x1701 ~x9108 ~x2625 ~x5086 
20.04/20.11	v ~x12277 ~x8469 ~x5887 ~x11854 ~x1703 ~x9110 ~x2627 ~x5088 ~x12279 ~x8471 
20.04/20.11	v ~x5889 ~x11856 ~x1705 ~x9112 ~x2629 ~x5090 ~x12281 ~x8473 ~x5891 ~x11858 
20.04/20.11	v ~x1707 ~x9114 ~x2631 ~x5092 ~x12283 ~x8475 ~x5893 ~x11860 ~x1709 ~x9116 
20.04/20.11	v ~x2633 ~x5094 ~x12285 ~x8477 ~x5895 ~x11862 ~x1711 ~x9118 ~x2635 ~x5096 
20.04/20.11	v ~x12287 ~x8479 ~x5897 ~x11864 ~x1713 ~x9120 ~x2637 ~x5098 ~x12289 ~x8481 
20.04/20.11	v ~x5899 ~x11866 ~x1715 ~x9122 ~x31 ~x5100 ~x12291 ~x8483 ~x5901 ~x11868 
20.04/20.11	v ~x1717 ~x9124 ~x2639 ~x5102 ~x12293 ~x8485 ~x5903 ~x11870 ~x1719 ~x9126 
20.04/20.11	v ~x2641 ~x5104 ~x12295 ~x8487 ~x5905 ~x11872 ~x1721 ~x9128 ~x2643 ~x5106 
20.04/20.11	v ~x12297 ~x8489 ~x5907 ~x11874 ~x1723 ~x9130 ~x2645 ~x5108 ~x12299 ~x8491 
20.04/20.11	v ~x5909 ~x11876 ~x1725 ~x9132 ~x2647 ~x5110 ~x12301 ~x8493 ~x5911 ~x11878 
20.04/20.11	v ~x1727 ~x9134 ~x2649 ~x5112 ~x12303 ~x8495 ~x5913 ~x11880 ~x1729 ~x9136 
20.04/20.11	v ~x2651 ~x5114 ~x12305 ~x8497 ~x92 ~x11882 ~x1731 ~x175 ~x32 ~x5116 
20.04/20.11	v ~x12307 ~x8499 ~x5915 ~x11884 ~x1733 ~x9138 ~x2653 ~x5118 ~x12309 ~x8501 
20.04/20.11	v ~x5917 ~x11886 ~x1735 ~x9140 ~x2655 ~x5120 ~x284 ~x8503 ~x5919 ~x11888 
20.04/20.11	v ~x1737 ~x9142 ~x2657 ~x5122 ~x12311 ~x8505 ~x5921 ~x11890 ~x1739 ~x9144 
20.04/20.11	v ~x2659 ~x5124 ~x12313 ~x8507 ~x5923 ~x11892 ~x1741 ~x9146 ~x2661 ~x5126 
20.04/20.11	v ~x12315 ~x8509 ~x5925 ~x11894 ~x1743 ~x9148 ~x2663 ~x5128 ~x12317 ~x8511 
20.04/20.11	v ~x5927 ~x11896 ~x1745 ~x9150 ~x2665 ~x5130 ~x12319 ~x8513 ~x5929 ~x11898 
20.04/20.11	v ~x1747 ~x9152 ~x2667 ~x5132 ~x12321 ~x8515 ~x5931 ~x11900 ~x1749 ~x9154 
20.04/20.11	v ~x2669 ~x5134 ~x12323 ~x8517 ~x5933 ~x11902 ~x1751 ~x9156 ~x2671 ~x5136 
20.04/20.11	v ~x12325 ~x8519 ~x5935 ~x11904 ~x1753 ~x9158 ~x2673 ~x5138 ~x12327 ~x8521 
20.04/20.11	v ~x5937 ~x11906 ~x1755 ~x9160 ~x2675 ~x5140 ~x12329 ~x8523 ~x5939 ~x11908 
20.04/20.11	v ~x1757 ~x9162 ~x2677 ~x5142 ~x12331 ~x8525 ~x5941 ~x11910 ~x1759 ~x9164 
20.04/20.11	v ~x2679 ~x5144 ~x12333 ~x8527 ~x5943 ~x11912 ~x1761 ~x9166 ~x2681 ~x5146 
20.04/20.11	v ~x12335 ~x8529 ~x5945 ~x11914 ~x1763 ~x9168 ~x2683 ~x5148 ~x12337 ~x8531 
20.04/20.11	v ~x5947 ~x11916 ~x1765 ~x9170 ~x2685 ~x5150 ~x12339 ~x8533 ~x5949 ~x11918 
20.04/20.11	v ~x1767 ~x9172 ~x2687 ~x5152 ~x12341 ~x8535 ~x5951 ~x11920 ~x1769 ~x9174 
20.04/20.11	v ~x2689 ~x5154 ~x12343 ~x8537 ~x5953 ~x11922 ~x1771 ~x9176 ~x2691 ~x5156 
20.04/20.11	v x12345 ~x8539 ~x5955 ~x11924 ~x1773 ~x9178 ~x2693 ~x5158 ~x12347 ~x8541 
20.04/20.11	v ~x5957 ~x11926 ~x1775 ~x9180 ~x2695 ~x5160 ~x12349 ~x8543 ~x5959 ~x11928 
20.04/20.11	v ~x1777 ~x9182 ~x2697 ~x5162 ~x12351 ~x8545 ~x5961 ~x11930 ~x1779 ~x9184 
20.04/20.11	v ~x2699 ~x5164 ~x12353 ~x8547 ~x5963 ~x11932 ~x1781 ~x9186 ~x2701 ~x5166 
20.04/20.11	v ~x12355 ~x8549 ~x5965 ~x11934 ~x1783 ~x9188 ~x2703 ~x5168 ~x12357 ~x8551 
20.04/20.11	v ~x5967 ~x11936 ~x1785 ~x9190 ~x2705 ~x5170 ~x12359 ~x8553 ~x5969 ~x11938 
20.04/20.11	v ~x1787 ~x9192 ~x2707 ~x5172 ~x12361 ~x8555 ~x5971 ~x11940 ~x1789 ~x9194 
20.04/20.11	v ~x2709 ~x5174 ~x12363 ~x8557 ~x5973 ~x11942 ~x1791 ~x9196 ~x2711 ~x5176 
20.04/20.11	v ~x12365 ~x8559 ~x5975 ~x11944 ~x1793 ~x176 ~x2713 ~x5178 ~x12367 ~x8561 
20.04/20.11	v ~x93 ~x11946 ~x1795 ~x9198 ~x2715 ~x5180 ~x285 ~x8563 ~x5977 ~x11948 
20.04/20.11	v ~x1797 ~x9200 ~x2717 ~x5182 ~x12369 ~x8565 ~x5979 ~x11950 ~x1799 ~x9202 
20.04/20.11	v ~x2719 ~x5184 ~x12371 ~x8567 ~x5981 ~x11952 ~x1801 ~x9204 ~x2721 ~x5186 
20.04/20.11	v ~x12373 ~x8569 ~x5983 ~x11954 ~x1803 ~x9206 ~x2723 ~x5188 ~x12375 ~x8571 
20.04/20.11	v ~x5985 ~x11956 ~x1805 ~x9208 ~x2725 ~x5190 ~x12377 x8573 ~x5987 ~x11958 
20.04/20.11	v ~x1807 ~x9210 ~x2727 ~x5192 ~x12379 ~x8575 ~x5989 ~x11960 ~x1809 ~x9212 
20.04/20.11	v ~x2729 ~x5194 ~x12381 ~x8577 ~x5991 ~x11962 ~x1811 ~x9214 ~x2731 ~x5196 
20.04/20.11	v ~x286 ~x8579 ~x5993 ~x11964 ~x1813 ~x9216 ~x2733 ~x5198 ~x12383 ~x8581 
20.04/20.11	v ~x5995 ~x11966 ~x1815 ~x9218 x2735 ~x5200 ~x12385 ~x8583 ~x5997 ~x11968 
20.04/20.11	v ~x1817 ~x9220 ~x2737 ~x5202 ~x12387 ~x8585 ~x5999 ~x11970 ~x1819 ~x9222 
20.04/20.11	v ~x2739 ~x5204 ~x12389 ~x8587 ~x6001 ~x11972 ~x1821 ~x9224 ~x2741 ~x5206 
20.04/20.11	v ~x12391 ~x8589 ~x6003 ~x11974 ~x1823 ~x9226 ~x2743 ~x5208 ~x12393 ~x8591 
20.04/20.11	v ~x6005 ~x11976 ~x1825 ~x9228 ~x33 ~x5210 ~x12395 ~x8593 ~x94 ~x11978 
20.04/20.11	v ~x1827 ~x9230 ~x2745 ~x5212 ~x12397 ~x8595 ~x6007 ~x11980 ~x1829 ~x9232 
20.04/20.11	v ~x2747 ~x5214 ~x12399 ~x8597 ~x6009 ~x11982 ~x1831 ~x9234 ~x2749 ~x5216 
20.04/20.11	v ~x12401 ~x8599 ~x6011 ~x11984 ~x1833 ~x9236 ~x2751 ~x5218 ~x12403 ~x8601 
20.04/20.11	v ~x6013 ~x11986 ~x1835 ~x9238 ~x2753 ~x5220 ~x12405 ~x8603 ~x6015 ~x11988 
20.04/20.11	v ~x1837 ~x9240 ~x2755 ~x5222 ~x12407 ~x8605 ~x6017 ~x11990 ~x1839 ~x9242 
20.04/20.12	v ~x2757 ~x5224 ~x12409 ~x8607 ~x6019 ~x11992 ~x1841 ~x9244 ~x2759 ~x5226 
20.04/20.12	v ~x12411 ~x8609 ~x6021 ~x11994 ~x1843 ~x9246 ~x2761 ~x5228 ~x287 ~x8611 
20.04/20.12	v ~x6023 ~x11996 ~x1845 ~x9248 ~x2763 ~x5230 ~x12413 ~x8613 ~x6025 ~x11998 
20.04/20.12	v ~x1847 ~x9250 ~x2765 ~x5232 ~x12415 ~x8615 ~x6027 ~x12000 ~x1849 ~x9252 
20.04/20.12	v ~x2767 ~x5234 ~x12417 ~x8617 ~x6029 ~x12002 ~x1851 ~x9254 ~x2769 ~x5236 
20.04/20.12	v ~x12419 ~x8619 ~x6031 ~x12004 ~x1853 ~x9256 ~x2771 ~x5238 ~x12421 ~x8621 
20.04/20.12	v ~x6033 ~x12006 ~x1855 ~x9258 ~x2773 ~x5240 ~x12423 ~x8623 ~x6035 ~x12008 
20.04/20.12	v ~x1857 ~x177 ~x34 ~x5242 ~x288 ~x8625 ~x95 ~x12010 ~x1859 ~x9260 
20.04/20.12	v ~x2775 ~x5244 ~x12425 ~x8627 ~x6037 ~x12012 ~x1861 ~x9262 ~x2777 ~x5246 
20.04/20.12	v ~x12427 ~x8629 ~x6039 ~x12014 ~x1863 ~x9264 ~x2779 ~x5248 ~x12429 ~x8631 
20.04/20.12	v ~x6041 ~x12016 ~x1865 ~x9266 ~x2781 ~x5250 ~x12431 ~x8633 ~x6043 ~x12018 
20.04/20.12	v ~x1867 ~x9268 ~x2783 ~x5252 ~x12433 ~x8635 ~x6045 ~x12020 x1869 ~x9270 
20.04/20.12	v ~x2785 ~x5254 ~x12435 ~x8637 ~x6047 ~x12022 ~x1871 ~x9272 ~x2787 ~x5256 
20.04/20.12	v ~x12437 ~x8639 ~x6049 ~x12024 ~x1873 ~x9274 ~x2789 ~x5258 ~x289 ~x8641 
20.04/20.12	v ~x96 ~x12026 ~x1875 ~x9276 ~x2791 ~x5260 ~x12439 ~x8643 ~x6051 ~x12028 
20.04/20.12	v ~x1877 ~x9278 ~x2793 ~x5262 ~x12441 ~x8645 ~x6053 ~x12030 ~x1879 ~x9280 
20.04/20.12	v ~x2795 ~x5264 ~x12443 ~x8647 ~x6055 ~x12032 ~x1881 ~x9282 ~x2797 ~x5266 
20.04/20.12	v ~x290 ~x8649 ~x6057 ~x12034 ~x1883 ~x9284 ~x2799 ~x5268 ~x12445 ~x8651 
20.04/20.12	v ~x6059 ~x12036 ~x1885 ~x9286 ~x2801 ~x5270 ~x12447 ~x8653 ~x6061 ~x12038 
20.04/20.12	v ~x1887 ~x9288 ~x2803 ~x5272 ~x12449 ~x8655 ~x6063 ~x12040 ~x1889 ~x178 
20.04/20.12	v ~x2805 ~x5274 ~x12451 ~x8657 ~x6065 ~x12042 ~x1891 ~x9290 ~x2807 ~x5276 
20.04/20.12	v ~x12453 ~x8659 ~x6067 ~x12044 ~x1893 ~x9292 ~x2809 ~x5278 ~x12455 ~x8661 
20.04/20.12	v ~x6069 ~x12046 ~x1895 ~x9294 ~x2811 ~x5280 ~x12457 ~x8663 ~x6071 ~x12048 
20.04/20.12	v ~x1897 ~x9296 ~x2813 ~x5282 ~x12459 ~x8665 ~x6073 ~x12050 ~x1899 ~x9298 
20.04/20.12	v ~x2815 ~x5284 ~x12461 ~x8667 ~x6075 ~x12052 ~x1901 ~x9300 ~x2817 ~x5286 
20.04/20.12	v ~x12463 ~x8669 ~x6077 ~x12054 ~x1903 ~x9302 ~x2819 ~x5288 ~x12465 ~x8671 
20.04/20.12	v ~x6079 ~x12056 ~x1905 ~x9304 ~x2821 ~x5290 ~x12467 ~x8673 ~x6081 ~x12058 
20.04/20.12	v ~x1907 ~x9306 ~x2823 ~x5292 ~x12469 ~x8675 ~x6083 ~x12060 ~x1909 ~x9308 
20.04/20.12	v ~x2825 ~x5294 ~x12471 ~x8677 ~x6085 ~x12062 ~x1911 ~x9310 ~x2827 ~x5296 
20.04/20.12	v ~x12473 ~x8679 ~x6087 ~x12064 ~x1913 ~x9312 ~x2829 ~x5298 ~x291 ~x8681 
20.04/20.12	v ~x6089 ~x12066 ~x1915 ~x9314 ~x2831 ~x5300 ~x12475 ~x8683 ~x6091 ~x12068 
20.04/20.12	v ~x1917 ~x9316 ~x2833 ~x5302 ~x12477 ~x8685 ~x6093 ~x12070 ~x1919 ~x9318 
20.04/20.12	v ~x2835 ~x5304 ~x12479 ~x8687 ~x6095 ~x12072 ~x1921 ~x9320 ~x35 ~x5306 
20.04/20.12	v ~x12481 ~x8689 ~x6097 ~x12074 ~x1923 ~x9322 ~x2837 ~x5308 ~x12483 ~x8691 
20.04/20.12	v ~x6099 ~x12076 ~x1925 ~x9324 ~x2839 ~x5310 ~x12485 ~x8693 ~x6101 ~x12078 
20.04/20.12	v ~x1927 ~x9326 ~x2841 ~x5312 ~x12487 ~x8695 ~x6103 ~x12080 ~x1929 ~x9328 
20.04/20.12	v ~x2843 ~x5314 ~x292 ~x8697 ~x6105 ~x12082 ~x1931 ~x9330 ~x2845 ~x5316 
20.04/20.12	v ~x12489 ~x8699 ~x6107 ~x12084 ~x1933 ~x9332 ~x2847 ~x5318 ~x12491 ~x8701 
20.04/20.12	v ~x6109 ~x12086 ~x1935 ~x9334 ~x2849 ~x5320 ~x12493 ~x8703 ~x6111 ~x12088 
20.04/20.12	v ~x1937 ~x9336 ~x2851 ~x5322 ~x12495 ~x8705 ~x6113 ~x12090 ~x1939 ~x9338 
20.04/20.12	v ~x2853 ~x5324 ~x12497 ~x8707 ~x6115 ~x12092 ~x1941 ~x9340 ~x2855 ~x5326 
20.04/20.12	v ~x12499 ~x8709 ~x6117 ~x12094 ~x1943 ~x9342 ~x2857 ~x5328 ~x12501 ~x8711 
20.04/20.12	v ~x6119 ~x12096 ~x1945 ~x9344 ~x2859 ~x5330 ~x293 ~x8713 ~x6121 ~x12098 
20.04/20.12	v ~x1947 ~x9346 ~x2861 ~x5332 ~x12503 ~x8715 ~x6123 ~x12100 ~x1949 ~x9348 
20.04/20.12	v ~x2863 ~x5334 ~x12505 ~x8717 ~x6125 ~x12102 ~x1951 ~x9350 ~x2865 ~x5336 
20.04/20.12	v ~x294 ~x8719 ~x6127 ~x12104 ~x1953 ~x179 ~x36 ~x5338 ~x12507 ~x8721 
20.04/20.12	v ~x6129 ~x12106 ~x1955 ~x9352 ~x2867 ~x5340 ~x12509 ~x8723 ~x6131 ~x12108 
20.04/20.12	v ~x1957 ~x9354 ~x2869 ~x5342 ~x12511 ~x8725 ~x6133 ~x12110 ~x1959 ~x9356 
20.04/20.12	v ~x2871 ~x5344 ~x12513 ~x8727 ~x6135 ~x12112 ~x1961 ~x9358 ~x2873 ~x5346 
20.04/20.12	v ~x12515 ~x8729 ~x6137 ~x12114 ~x1963 ~x9360 ~x2875 ~x5348 ~x12517 ~x8731 
20.04/20.12	v ~x6139 ~x12116 ~x1965 ~x9362 ~x2877 ~x5350 ~x12519 ~x8733 ~x6141 ~x12118 
20.04/20.12	v ~x1967 ~x9364 ~x2879 ~x5352 ~x295 ~x8735 ~x6143 ~x12120 ~x1969 ~x9366 
20.04/20.12	v ~x2881 ~x5354 ~x12521 ~x8737 ~x6145 ~x12122 ~x1971 ~x9368 ~x2883 ~x5356 
20.04/20.12	v ~x12523 ~x8739 ~x6147 ~x12124 ~x1973 ~x9370 ~x2885 ~x5358 ~x12525 ~x8741 
20.04/20.12	v ~x6149 ~x12126 ~x1975 ~x9372 ~x2887 ~x5360 ~x296 ~x8743 ~x6151 ~x12128 
20.04/20.12	v ~x1977 ~x9374 ~x2889 ~x5362 ~x12527 ~x8745 ~x6153 ~x12130 ~x1979 ~x9376 
20.04/20.12	v ~x2891 ~x5364 ~x12529 ~x8747 ~x6155 ~x12132 ~x1981 ~x9378 ~x2893 ~x5366 
20.04/20.12	v ~x12531 ~x8749 ~x6157 ~x12134 ~x1983 ~x9380 ~x2895 ~x5368 ~x297 ~x8751 
20.04/20.12	v ~x6159 ~x12136 ~x1985 ~x180 ~x37 ~x5370 ~x12533 ~x8753 ~x6161 ~x12138 
20.04/20.12	v ~x1987 ~x9382 ~x2897 ~x5372 ~x298 ~x8755 ~x6163 ~x12140 ~x1989 ~x9384 
20.04/20.12	v ~x2899 ~x5374 ~x12535 ~x8757 ~x6165 ~x12142 ~x1991 ~x9386 ~x2901 ~x5376 
20.04/20.12	v ~x12537 ~x8759 ~x6167 ~x12144 ~x1993 ~x9388 ~x2903 ~x5378 ~x12539 ~x8761 
20.04/20.12	v ~x6169 ~x12146 ~x1995 ~x9390 ~x2905 ~x5380 ~x12541 ~x8763 ~x6171 ~x12148 
20.04/20.12	v ~x1997 ~x9392 ~x2907 ~x5382 ~x12543 ~x8765 ~x6173 ~x12150 ~x1999 ~x9394 
20.04/20.12	v ~x2909 ~x5384 ~x12545 ~x8767 ~x6175 ~x12152 ~x2001 ~x9396 ~x38 ~x5386 
20.04/20.12	v ~x12547 ~x8769 ~x97 ~x12154 ~x2003 ~x9398 ~x2911 ~x5388 ~x12549 ~x8771 
20.04/20.12	v ~x6177 ~x12156 ~x2005 ~x9400 ~x2913 ~x5390 ~x12551 ~x8773 ~x6179 ~x12158 
20.04/20.12	v ~x2007 ~x9402 ~x2915 ~x5392 ~x12553 ~x8775 ~x6181 ~x12160 ~x2009 ~x9404 
20.04/20.12	v ~x2917 ~x5394 ~x12555 ~x8777 ~x6183 ~x12162 ~x2011 ~x9406 ~x2919 ~x5396 
20.04/20.12	v ~x12557 ~x8779 ~x6185 ~x12164 ~x2013 ~x9408 ~x2921 ~x5398 ~x12559 ~x8781 
20.04/20.12	v ~x6187 ~x12166 ~x2015 ~x9410 ~x2923 ~x5400 ~x12561 ~x8783 ~x6189 ~x12168 
20.04/20.12	v ~x2017 ~x181 ~x2925 ~x5402 ~x12563 ~x8785 ~x6191 ~x12170 ~x2019 ~x9412 
20.04/20.12	v ~x2927 ~x5404 ~x12565 ~x8787 ~x6193 ~x12172 ~x2021 ~x9414 ~x2929 ~x5406 
20.04/20.12	v ~x12567 ~x8789 ~x6195 ~x12174 ~x2023 ~x9416 ~x2931 ~x5408 x12569 ~x8791 
20.04/20.12	v ~x6197 ~x12176 ~x2025 ~x9418 ~x2933 ~x5410 ~x12571 ~x8793 ~x6199 ~x12178 
20.04/20.12	v ~x2027 ~x9420 ~x2935 ~x5412 ~x12573 ~x8795 ~x6201 ~x12180 ~x2029 ~x9422 
20.04/20.12	v ~x2937 ~x5414 ~x12575 ~x8797 ~x6203 ~x12182 ~x2031 ~x9424 ~x2939 ~x5416 
20.04/20.12	v ~x12577 ~x8799 ~x6205 ~x12184 ~x2033 ~x182 ~x39 ~x5418 ~x299 ~x8801 
20.04/20.12	v ~x6207 ~x12186 ~x2035 ~x9426 ~x2941 ~x5420 ~x12579 ~x8803 ~x6209 ~x12188 
20.04/20.12	v ~x2037 ~x9428 ~x2943 ~x5422 ~x12581 ~x8805 ~x6211 ~x12190 ~x2039 ~x9430 
20.04/20.12	v ~x2945 ~x5424 ~x12583 ~x8807 ~x6213 ~x12192 ~x2041 ~x9432 ~x2947 ~x5426 
20.04/20.12	v ~x12585 ~x8809 ~x6215 ~x12194 ~x2043 ~x9434 ~x2949 ~x5428 ~x12587 ~x8811 
20.04/20.12	v ~x6217 ~x12196 ~x2045 ~x9436 ~x2951 ~x5430 ~x12589 ~x8813 ~x6219 ~x12198 
20.04/20.12	v ~x2047 ~x9438 ~x2953 ~x5432 ~x12591 ~x8815 ~x6221 ~x12200 ~x2049 ~x9440 
20.04/20.12	v ~x2955 ~x5434 ~x12593 ~x8817 ~x6223 ~x12202 ~x2051 ~x9442 ~x2957 ~x5436 
20.04/20.12	v ~x12595 ~x8819 ~x6225 ~x12204 ~x2053 ~x9444 ~x2959 ~x5438 ~x12597 ~x8821 
20.04/20.12	v ~x6227 ~x12206 ~x2055 ~x9446 ~x2961 ~x5440 ~x12599 ~x8823 ~x6229 ~x12208 
20.04/20.12	v ~x2057 ~x9448 ~x2963 ~x5442 ~x12601 ~x8825 ~x6231 ~x12210 ~x2059 ~x9450 
20.04/20.12	v ~x2965 ~x5444 ~x12603 ~x8827 ~x6233 ~x12212 ~x2061 ~x9452 ~x2967 ~x5446 
20.04/20.12	v ~x12605 ~x8829 ~x6235 ~x12214 ~x2063 ~x9454 ~x2969 ~x5448 ~x12607 ~x8831 
20.04/20.12	v ~x6237 ~x12216 ~x2065 ~x9456 ~x2971 ~x5450 ~x300 ~x8833 ~x98 ~x12218 
20.04/20.12	v ~x2067 ~x9458 ~x2973 ~x5452 ~x12609 ~x8835 ~x6239 ~x12220 ~x2069 ~x9460 
20.04/20.12	v ~x2975 ~x5454 ~x12611 ~x8837 ~x6241 ~x12222 ~x2070 ~x9462 ~x2977 ~x5456 
20.04/20.12	v ~x12613 ~x8839 ~x6243 ~x12224 ~x2072 ~x9464 ~x2979 ~x5458 ~x12615 ~x8841 
20.04/20.12	v ~x6245 ~x12226 ~x2074 ~x9466 ~x2981 ~x5460 ~x12617 ~x8843 ~x6247 ~x12228 
20.04/20.12	v ~x2076 ~x9468 ~x2983 ~x5462 ~x12619 ~x8845 ~x6249 ~x12230 ~x2078 ~x9470 
20.04/20.12	v ~x2985 ~x5464 ~x12621 ~x8847 ~x6251 ~x12232 ~x2080 ~x9472 ~x2987 ~x5466 
20.04/20.12	v ~x12623 ~x8849 ~x6253 ~x12234 ~x2082 ~x9474 ~x2989 ~x5468 ~x12625 ~x8851 
20.04/20.12	v ~x6255 ~x12236 ~x2084 ~x9476 ~x2991 ~x5470 x12627 ~x8853 ~x6257 ~x12238 
20.04/20.12	v ~x2086 ~x9478 ~x2993 ~x5472 ~x12629 ~x8855 ~x6259 ~x12240 ~x2088 ~x9480 
20.04/20.12	v ~x2995 ~x5474 ~x12631 ~x8857 ~x6261 ~x12242 ~x2090 ~x9482 ~x2997 ~x5476 
20.04/20.12	v ~x12633 ~x8859 ~x6263 ~x12244 ~x2092 ~x9484 ~x2999 ~x5478 ~x12635 ~x8861 
20.04/20.12	v ~x6265 x12246 ~x2094 ~x9486 ~x3001 ~x5480 ~x301 ~x8863 ~x6267 ~x12248 
20.04/20.12	v ~x2096 ~x183 ~x40 ~x5482 ~x12637 ~x8865 ~x6269 ~x12250 ~x2098 ~x9488 
20.04/20.12	v ~x3003 ~x5484 ~x12639 ~x8867 ~x6271 ~x12252 ~x2100 ~x9490 ~x3005 ~x5486 
20.04/20.12	v ~x12641 ~x8869 ~x6273 ~x12254 ~x2102 ~x9492 ~x3007 ~x5488 ~x302 ~x8871 
20.04/20.12	v ~x6275 ~x12256 ~x2104 ~x9494 ~x3009 ~x5490 ~x12643 ~x8873 ~x6277 ~x12258 
20.04/20.12	v ~x2106 ~x9496 ~x3011 ~x5492 ~x12645 ~x8875 ~x6279 ~x12260 ~x2108 ~x9498 
20.04/20.12	v ~x3013 ~x5494 ~x12647 ~x8877 ~x6281 ~x12262 ~x2110 ~x9500 ~x3015 ~x5496 
20.04/20.12	v ~x12649 ~x8879 ~x6283 ~x12264 ~x2112 ~x9502 ~x3017 ~x5498 ~x12651 ~x8881 
20.04/20.12	v ~x6285 ~x12266 ~x2114 ~x9504 ~x3019 ~x5500 ~x12653 ~x8883 ~x6287 ~x12268 
20.04/20.12	v ~x2116 ~x9506 ~x3021 ~x5502 ~x12655 ~x8885 ~x6289 ~x12270 ~x2118 ~x9508 
20.04/20.12	v ~x3023 ~x5504 ~x12657 ~x8887 ~x6291 ~x12272 ~x2120 ~x9510 ~x3025 ~x5506 
20.04/20.12	v ~x12659 ~x8889 ~x6293 ~x12274 ~x2122 ~x9512 ~x3027 ~x5508 ~x12661 ~x8891 
20.04/20.12	v ~x6295 ~x12276 ~x2124 ~x9514 ~x3029 ~x5510 ~x12663 ~x8893 ~x6297 ~x12278 
20.04/20.12	v ~x2126 ~x9516 ~x3031 ~x5512 ~x12665 ~x8895 ~x6299 ~x12280 ~x2128 ~x184 
20.04/20.12	v ~x41 ~x5514 ~x12667 ~x8897 ~x99 ~x12282 ~x2130 ~x9518 ~x3033 ~x5516 
20.04/20.12	v ~x12669 ~x8899 ~x6301 ~x12284 ~x2132 ~x9520 ~x3035 ~x5518 ~x12671 ~x8901 
20.04/20.12	v ~x6303 ~x12286 ~x2134 ~x9522 ~x3037 ~x5520 x303 ~x8903 ~x6305 ~x12288 
20.04/20.12	v ~x2136 ~x9524 ~x3039 ~x5522 ~x12673 ~x8905 ~x6307 ~x12290 ~x2138 ~x9526 
20.04/20.12	v ~x3041 ~x5524 ~x12675 ~x8907 ~x6309 ~x12292 ~x2140 ~x9528 ~x3043 ~x5526 
20.04/20.12	v x12677 ~x8909 ~x6311 ~x12294 ~x2142 ~x9530 ~x3045 ~x5528 ~x12679 ~x8911 
20.04/20.12	v ~x6313 ~x12296 ~x2144 ~x9532 ~x3047 ~x5530 ~x12681 ~x8913 ~x6315 ~x12298 
20.04/20.12	v ~x2146 ~x9534 ~x3049 ~x5532 ~x12683 ~x8915 ~x6317 ~x12300 ~x2148 ~x9536 
20.04/20.12	v ~x3051 ~x5534 ~x12685 ~x8917 ~x6319 ~x12302 ~x2150 ~x9538 ~x3053 ~x5536 
20.04/20.12	v ~x304 ~x8919 ~x6321 ~x12304 ~x2152 ~x9540 ~x3055 ~x5538 ~x12687 ~x8921 
20.04/20.12	v ~x6323 ~x12306 ~x2154 ~x9542 ~x3057 ~x5540 ~x12689 ~x8923 ~x6325 ~x12308 
20.04/20.12	v ~x2156 ~x9544 ~x3059 ~x5542 ~x12691 ~x8925 ~x6327 ~x12310 ~x2158 ~x9546 
20.04/20.12	v ~x3061 ~x5544 ~x12693 ~x8927 ~x6329 ~x12312 ~x2160 ~x185 ~x42 ~x5546 
20.04/20.12	v ~x12695 ~x8929 ~x100 ~x12314 ~x2162 ~x9548 ~x3063 ~x5548 ~x12697 ~x8931 
20.04/20.12	v ~x6331 ~x12316 ~x2164 ~x9550 ~x3065 ~x5550 ~x12699 ~x8933 ~x6333 ~x12318 
20.04/20.12	v ~x2166 ~x9552 ~x3067 ~x5552 ~x305 ~x8935 ~x6335 ~x12320 ~x2168 ~x9554 
20.04/20.12	v ~x3069 ~x5554 ~x12701 ~x8937 ~x6337 ~x12322 ~x2170 ~x9556 ~x3071 ~x5556 
20.04/20.12	v ~x12703 ~x8939 ~x6339 ~x12324 ~x2172 ~x9558 ~x3073 ~x5558 ~x12705 ~x8941 
20.04/20.12	v ~x6341 ~x12326 ~x2174 ~x9560 ~x3075 ~x5560 ~x306 ~x8943 ~x6343 ~x12328 
20.04/20.12	v ~x2176 ~x186 ~x43 ~x5562 ~x12707 ~x8945 ~x6345 ~x12330 ~x2178 ~x9562 
20.04/20.12	v ~x3077 ~x5564 ~x12709 ~x8947 ~x6347 ~x12332 ~x2180 ~x9564 ~x3079 ~x5566 
20.04/20.12	v ~x12711 ~x8949 ~x6349 ~x12334 ~x2182 ~x9566 ~x3081 ~x5568 ~x12713 ~x8951 
20.04/20.12	v ~x6351 ~x12336 ~x2184 ~x9568 ~x3083 ~x5570 ~x12715 ~x8953 ~x6353 ~x12338 
20.04/20.12	v ~x2186 ~x9570 ~x3085 ~x5572 ~x12717 ~x8955 ~x6355 ~x12340 ~x2188 ~x9572 
20.04/20.12	v ~x3087 ~x5574 ~x12719 ~x8957 ~x6357 ~x12342 ~x2190 ~x9574 ~x3089 ~x5576 
20.04/20.12	v ~x307 ~x8959 ~x6359 ~x12344 ~x2192 ~x9576 ~x44 ~x5578 ~x12721 ~x8961 
20.04/20.12	v ~x6361 x12346 ~x2194 ~x9578 ~x3091 ~x5580 ~x12723 ~x8963 ~x6363 ~x12348 
20.04/20.12	v ~x2196 ~x9580 ~x3093 ~x5582 ~x12725 ~x8965 ~x6365 ~x12350 ~x2198 ~x9582 
20.04/20.12	v ~x3095 ~x5584 ~x308 ~x8967 ~x6367 ~x12352 ~x2200 ~x9584 ~x3097 ~x5586 
20.04/20.12	v ~x12727 ~x8969 ~x6369 ~x12354 ~x2202 ~x9586 ~x3099 ~x5588 ~x12729 ~x8971 
20.04/20.12	v ~x6371 ~x12356 ~x2204 ~x9588 ~x3101 ~x5590 ~x12731 ~x8973 ~x6373 ~x12358 
20.04/20.12	v ~x2206 ~x9590 ~x3103 ~x5592 ~x309 ~x8975 ~x6375 ~x12360 ~x2208 ~x9592 
20.04/20.12	v ~x3105 ~x5594 ~x12733 ~x8977 ~x6377 ~x12362 ~x2210 ~x9594 ~x3107 ~x5596 
20.04/20.12	v ~x310 ~x8979 ~x6379 ~x12364 ~x2212 ~x9596 ~x3109 ~x5598 ~x12735 ~x8981 
20.04/20.12	v ~x6381 ~x12366 ~x2214 ~x9598 ~x3111 ~x5600 ~x12737 ~x8983 ~x6383 ~x12368 
20.04/20.12	v ~x2216 ~x9600 ~x3113 ~x5602 ~x12739 ~x8985 ~x6385 ~x12370 ~x2218 ~x9602 
20.04/20.12	v ~x3115 ~x5604 ~x12741 ~x8987 ~x6387 ~x12372 ~x2220 ~x9604 ~x3117 ~x5606 
20.04/20.12	v ~x12743 ~x8989 ~x6389 ~x12374 ~x2222 ~x9606 ~x3119 ~x5608 ~x12745 ~x8991 
20.04/20.12	v ~x6391 ~x12376 ~x2224 ~x9608 ~x45 ~x5610 ~x12747 ~x8993 ~x101 ~x12378 
20.04/20.12	v ~x2226 ~x9610 ~x3121 ~x5612 ~x12749 ~x8995 ~x6393 ~x12380 ~x2228 ~x9612 
20.04/20.12	v ~x3123 ~x5614 ~x12751 ~x8997 ~x6395 ~x12382 ~x2230 ~x9614 ~x3125 ~x5616 
20.04/20.12	v ~x12753 ~x8999 ~x6397 ~x12384 ~x2232 ~x9616 ~x3127 ~x5618 ~x12755 ~x9001 
20.04/20.12	v ~x6399 ~x12386 ~x2234 ~x9618 ~x3129 ~x5620 ~x12757 ~x9003 ~x6401 ~x12388 
20.04/20.12	v ~x2236 ~x9620 ~x3131 ~x5622 ~x12759 ~x9005 ~x6403 ~x12390 ~x2238 ~x9622 
20.04/20.12	v ~x3133 ~x5624 x12761 ~x9007 ~x6405 ~x12392 ~x2240 ~x187 ~x46 ~x5626 
20.04/20.12	v ~x12763 ~x9009 ~x6407 ~x12394 ~x2242 ~x9624 ~x3135 ~x5628 ~x12765 ~x9011 
20.04/20.12	v ~x6409 ~x12396 ~x2244 ~x9626 ~x3137 ~x5630 ~x12767 ~x9013 ~x6411 ~x12398 
20.04/20.12	v ~x2246 ~x9628 ~x3139 ~x5632 ~x12769 ~x9015 ~x6413 ~x12400 ~x2248 ~x9630 
20.04/20.12	v ~x3141 ~x5634 ~x12771 ~x9017 ~x6415 ~x12402 ~x2250 ~x9632 ~x3143 ~x5636 
20.04/20.12	v ~x12773 ~x9019 ~x6417 ~x12404 ~x2252 ~x9634 ~x3145 ~x5638 ~x12775 ~x9021 
20.04/20.12	v ~x6419 ~x12406 ~x2254 ~x9636 ~x3147 ~x5640 ~x12777 ~x9023 ~x6421 ~x12408 
20.04/20.12	v ~x2256 ~x9638 ~x47 ~x5642 x12779 ~x9025 ~x102 ~x12410 ~x2258 ~x9640 
20.04/20.12	v ~x3149 ~x5644 ~x12781 ~x9027 ~x6423 ~x12412 ~x2260 ~x9642 ~x3151 ~x5646 
20.04/20.12	v ~x12783 ~x9029 ~x6425 ~x12414 ~x2262 ~x9644 ~x3153 ~x5648 ~x12785 ~x9031 
20.04/20.12	v ~x6427 ~x12416 ~x2264 ~x9646 ~x48 ~x5650 ~x12787 ~x9033 ~x6429 ~x12418 
20.04/20.12	v ~x2266 ~x9648 ~x3155 ~x5652 ~x311 ~x9035 ~x6431 ~x12420 ~x2268 ~x9650 
20.04/20.12	v ~x3157 ~x5654 ~x12789 ~x9037 ~x6433 ~x12422 ~x2270 ~x9652 ~x3159 ~x5656 
20.04/20.12	v ~x12791 ~x9039 ~x6435 ~x12424 ~x2272 ~x188 ~x3161 ~x5658 ~x12793 ~x9041 
20.04/20.12	v ~x6437 ~x12426 ~x2274 ~x9654 ~x3163 ~x5660 ~x312 ~x9043 ~x6439 ~x12428 
20.04/20.12	v ~x2276 ~x9656 ~x3165 ~x5662 ~x12795 ~x9045 ~x6441 ~x12430 ~x2278 ~x9658 
20.04/20.12	v ~x3167 ~x5664 ~x12797 ~x9047 ~x6443 ~x12432 ~x2280 ~x9660 ~x3169 ~x5666 
20.04/20.12	v ~x12799 ~x9049 ~x6445 ~x12434 ~x2282 ~x9662 ~x3171 ~x5668 ~x12801 ~x9051 
20.04/20.12	v ~x6447 ~x12436 ~x2284 ~x9664 ~x3173 ~x5670 ~x12803 ~x9053 ~x6449 ~x12438 
20.04/20.12	v ~x2286 ~x9666 ~x3175 ~x5672 ~x12805 ~x9055 ~x6451 ~x12440 ~x2288 ~x9668 
20.04/20.12	v ~x3177 ~x5674 ~x12807 ~x9057 ~x103 ~x12442 ~x2290 ~x9670 ~x3179 ~x5676 
20.04/20.12	v ~x313 ~x9059 ~x6453 ~x12444 ~x2292 ~x9672 ~x3181 ~x5678 ~x12809 ~x9061 
20.04/20.12	v ~x6455 ~x12446 ~x2294 ~x9674 ~x3183 ~x5680 ~x12811 ~x9063 ~x6457 ~x12448 
20.04/20.12	v ~x2296 ~x9676 ~x3185 ~x5682 ~x314 ~x9065 ~x6459 ~x12450 ~x2298 ~x9678 
20.04/20.12	v ~x3187 x5684 ~x12813 ~x9067 ~x6461 ~x12452 ~x2300 ~x9680 ~x3189 ~x5686 
20.04/20.12	v ~x12815 ~x9069 ~x6463 ~x12454 ~x2302 ~x9682 ~x3191 ~x5688 ~x12817 ~x9071 
20.04/20.12	v ~x6465 ~x12456 ~x2304 ~x189 ~x3193 ~x5690 ~x315 ~x9073 ~x104 ~x12458 
20.04/20.12	v ~x2306 ~x9684 ~x3195 ~x5692 ~x12819 ~x9075 ~x6467 ~x12460 ~x2308 ~x9686 
20.04/20.12	v ~x3197 ~x5694 ~x316 ~x9077 ~x6469 ~x12462 ~x2310 ~x9688 ~x3199 ~x5696 
20.04/20.12	v ~x12821 ~x9079 ~x6471 ~x12464 ~x2312 ~x9690 ~x3201 ~x5698 ~x12823 ~x9081 
20.04/20.12	v ~x6473 ~x12466 ~x2314 ~x9692 ~x3203 ~x5700 ~x12825 ~x9083 ~x6475 ~x12468 
20.04/20.12	v ~x2316 ~x9694 ~x3205 ~x5702 ~x12827 ~x9085 ~x6477 ~x12470 ~x2318 ~x9696 
20.04/20.12	v ~x3207 ~x5704 ~x12829 ~x9087 ~x6479 ~x12472 ~x2320 ~x190 ~x3209 ~x5706 
20.04/20.12	v ~x12831 ~x9089 ~x6481 ~x12474 ~x2322 ~x9698 ~x3211 ~x5708 ~x317 ~x9091 
20.04/20.12	v ~x6483 ~x12476 ~x2324 ~x9700 ~x3213 ~x5710 ~x12833 ~x9093 ~x6485 ~x12478 
20.04/20.12	v ~x2326 ~x9702 ~x3215 ~x5712 ~x12835 ~x9095 ~x6487 ~x12480 ~x2328 ~x9704 
20.04/20.12	v ~x3217 ~x5714 ~x12837 ~x9097 ~x6489 ~x12482 ~x2330 ~x9706 ~x3219 ~x5716 
20.04/20.12	v ~x318 ~x9099 ~x6491 ~x12484 ~x2332 ~x9708 ~x3221 ~x5718 ~x12839 ~x9101 
20.04/20.12	v ~x6493 ~x12486 ~x2334 ~x9710 ~x3223 ~x5720 ~x12841 ~x9103 ~x6495 ~x12488 
20.04/20.12	v ~x2336 ~x9712 ~x3225 ~x5722 x12843 ~x9105 ~x6497 ~x12490 ~x2338 ~x9714 
20.04/20.12	v ~x3227 ~x5724 x319 ~x9107 ~x6499 ~x12492 ~x2340 ~x9716 ~x3229 ~x5726 
20.04/20.12	v ~x12845 ~x9109 ~x6501 ~x12494 ~x2342 ~x9718 ~x3231 ~x5728 ~x320 ~x9111 
20.04/20.12	v ~x6503 ~x12496 ~x2344 ~x9720 ~x3233 ~x5730 ~x12847 ~x9113 ~x6505 ~x12498 
20.04/20.12	v ~x2346 ~x9722 ~x3235 ~x5732 x12849 ~x9115 ~x6507 ~x12500 ~x2348 ~x9724 
20.04/20.12	v ~x3237 ~x5734 x321 ~x9117 ~x6509 ~x12502 ~x2350 ~x9726 ~x3239 ~x5736 
20.04/20.12	v x12851 ~x9119 ~x6511 ~x12504 ~x2352 ~x191 ~x3241 ~x5738 x322 ~x9121 
20.04/20.12	v ~x6513 ~x12506 ~x2354 ~x9728 ~x3243 ~x5740 x323 ~x9123 ~x6515 ~x12508 
20.04/20.12	v ~x2356 ~x9730 ~x3245 ~x5742 ~x9125 ~x6517 ~x12510 ~x2358 ~x9732 ~x3247 
20.04/20.12	v ~x5744 ~x9127 ~x6519 ~x12512 ~x2360 ~x9734 ~x3249 ~x5746 ~x9129 ~x6521 
20.04/20.12	v ~x12514 ~x2362 ~x9736 ~x3251 ~x5748 ~x9131 ~x6523 ~x12516 ~x2364 ~x9738 
20.04/20.12	v ~x3253 ~x5750 ~x9133 ~x6525 ~x12518 ~x2366 ~x9740 ~x3255 ~x5752 ~x9135 
20.04/20.12	v ~x6527 ~x12520 ~x2368 ~x192 ~x3257 ~x5754 ~x9137 ~x105 ~x12522 ~x2370 
20.04/20.12	v ~x9742 ~x3259 ~x5756 ~x9139 ~x6529 ~x12524 ~x2372 ~x9744 ~x3261 ~x5758 
20.04/20.12	v ~x9141 ~x6531 ~x12526 ~x2374 ~x9746 ~x3263 ~x5760 ~x9143 ~x6533 ~x12528 
20.04/20.12	v ~x2376 ~x9748 ~x3265 ~x5762 ~x9145 ~x6535 ~x12530 ~x2378 ~x9750 ~x3267 
20.04/20.12	v ~x5764 ~x9147 ~x6537 ~x12532 ~x2380 ~x9752 ~x3269 ~x5766 ~x9149 ~x6539 
20.04/20.12	v ~x12534 ~x2382 ~x9754 ~x3271 ~x5768 ~x9151 ~x6541 ~x12536 ~x2384 ~x193 
20.04/20.12	v ~x3273 ~x5770 ~x9153 ~x6543 ~x12538 ~x2386 ~x9756 ~x3275 ~x5772 ~x9155 
20.04/20.12	v ~x6545 ~x12540 ~x2388 ~x9758 ~x3277 ~x5774 ~x9157 ~x6547 ~x12542 ~x2390 
20.04/20.12	v ~x9760 ~x3279 ~x5776 ~x9159 ~x6549 ~x12544 ~x2392 ~x194 ~x49 ~x5778 
20.04/20.12	v ~x9161 ~x6551 ~x12546 ~x2394 ~x9762 ~x3281 ~x5780 ~x9163 ~x6553 ~x12548 
20.04/20.12	v ~x2396 ~x9764 ~x3283 ~x5782 ~x9165 ~x6555 ~x12550 ~x2398 ~x9766 ~x3285 
20.04/20.12	v ~x5784 ~x9167 ~x6557 ~x12552 ~x2400 ~x9768 ~x3287 ~x5786 ~x9169 ~x106 
20.04/20.12	v ~x12554 ~x2402 ~x9770 ~x3289 ~x5788 ~x9171 ~x6559 ~x12556 ~x2404 ~x9772 
20.04/20.12	v ~x3291 ~x5790 ~x9173 ~x6561 ~x12558 ~x2406 ~x9774 ~x3293 ~x5792 ~x9175 
20.04/20.12	v ~x6563 ~x12560 ~x2408 ~x9776 ~x3295 ~x5794 ~x9177 ~x6565 ~x12562 ~x2410 
20.04/20.12	v ~x9778 ~x3297 ~x5796 ~x9179 ~x6567 ~x12564 ~x2412 ~x9780 ~x3299 ~x5798 
20.04/20.12	v ~x9181 ~x6569 ~x12566 ~x2414 ~x9782 ~x3301 ~x5800 ~x9183 ~x6571 ~x12568 
20.04/20.12	v ~x2416 ~x9784 ~x3303 ~x5802 ~x9185 ~x6573 x12570 ~x2418 ~x9786 ~x3305 
20.04/20.12	v ~x5804 ~x9187 ~x6575 ~x12572 ~x2420 ~x9788 ~x3307 ~x5806 ~x9189 ~x6577 
20.04/20.12	v ~x12574 ~x2422 ~x9790 ~x3309 ~x5808 ~x9191 ~x6579 ~x12576 ~x2424 ~x9792 
20.04/20.12	v ~x3311 ~x5810 ~x9193 ~x6581 ~x12578 ~x2426 ~x9794 ~x3313 ~x5812 ~x9195 
20.04/20.12	v ~x6583 ~x12580 ~x2428 ~x9796 ~x3315 ~x5814 ~x9197 ~x6585 ~x12582 ~x2430 
20.04/20.12	v ~x9798 ~x3317 ~x5816 ~x9199 ~x6587 ~x12584 ~x2432 ~x9800 ~x3319 ~x5818 
20.04/20.12	v ~x9201 ~x107 ~x12586 ~x2434 ~x9802 ~x3321 ~x5820 ~x9203 ~x6589 ~x12588 
20.04/20.12	v ~x2436 ~x9804 ~x3323 ~x5822 ~x9205 ~x6591 ~x12590 ~x2438 ~x9806 ~x3325 
20.04/20.12	v ~x5824 ~x9207 ~x6593 ~x12592 ~x2440 ~x9808 ~x3327 ~x5826 ~x9209 ~x6595 
20.04/20.12	v ~x12594 ~x2442 ~x9810 ~x3329 ~x5828 ~x9211 ~x6597 ~x12596 ~x2444 ~x9812 
20.04/20.12	v ~x3331 ~x5830 ~x9213 ~x6599 ~x12598 ~x2446 ~x9814 ~x3333 ~x5832 ~x9215 
20.04/20.12	v ~x108 ~x12600 ~x2448 ~x9816 ~x3335 ~x5834 ~x9217 ~x6601 ~x12602 ~x2450 
20.04/20.12	v ~x9818 ~x3337 ~x5836 ~x9219 ~x6603 ~x12604 ~x2452 ~x9820 ~x3339 ~x5838 
20.04/20.12	v ~x9221 ~x6605 ~x12606 ~x2454 ~x9822 ~x3341 ~x5840 ~x9223 ~x6607 ~x12608 
20.04/20.12	v ~x2456 ~x195 ~x50 ~x5842 ~x9225 ~x6609 ~x12610 ~x2458 ~x9824 ~x3343 
20.04/20.12	v ~x5844 ~x9227 ~x6611 ~x12612 ~x2460 ~x9826 ~x3345 ~x5846 ~x9229 ~x6613 
20.04/20.12	v ~x12614 ~x2462 ~x9828 ~x3347 ~x5848 ~x9231 ~x6615 ~x12616 ~x2464 ~x9830 
20.04/20.12	v ~x3349 ~x5850 ~x9233 ~x6617 ~x12618 ~x2466 ~x9832 ~x3351 ~x5852 ~x9235 
20.04/20.12	v ~x6619 ~x12620 ~x2468 ~x9834 ~x3353 ~x5854 ~x9237 ~x6621 ~x12622 ~x2470 
20.04/20.12	v ~x9836 ~x3355 ~x5856 ~x9239 ~x6623 ~x12624 ~x2472 ~x9838 ~x3357 ~x5858 
20.04/20.12	v ~x9241 ~x6625 ~x12626 ~x2474 ~x9840 ~x3359 ~x5860 ~x9243 ~x6627 x12628 
20.04/20.12	v ~x2476 ~x9842 ~x3361 ~x5862 ~x9245 ~x6629 ~x12630 ~x2478 ~x9844 ~x3363 
20.04/20.12	v ~x5864 ~x9247 ~x109 ~x12632 ~x2480 ~x9846 ~x3365 ~x5866 ~x9249 ~x6631 
20.04/20.12	v ~x12634 ~x2482 ~x9848 ~x3367 ~x5868 ~x9251 ~x6633 ~x12636 ~x2484 ~x9850 
20.04/20.12	v ~x3369 ~x5870 ~x9253 ~x6635 ~x12638 ~x2486 ~x9852 ~x3371 ~x5872 ~x9255 
20.04/20.12	v ~x6637 ~x12640 ~x2488 ~x196 ~x3373 ~x5874 ~x9257 ~x6639 ~x12642 ~x2490 
20.04/20.12	v ~x9854 ~x3375 ~x5876 ~x9259 ~x6641 ~x12644 ~x2492 ~x9856 ~x3377 ~x5878 
20.04/20.12	v ~x9261 ~x6643 ~x12646 ~x2494 ~x9858 ~x3379 ~x5880 ~x9263 ~x110 ~x12648 
20.04/20.12	v ~x2496 ~x9860 ~x3381 ~x5882 ~x9265 ~x6645 ~x12650 ~x2498 ~x9862 ~x3383 
20.04/20.12	v ~x5884 ~x9267 ~x6647 ~x12652 ~x2500 ~x9864 ~x3385 ~x5886 ~x9269 ~x6649 
20.04/20.12	v ~x12654 ~x2502 ~x9866 ~x3387 ~x5888 ~x9271 ~x6651 ~x12656 ~x2504 ~x9868 
20.04/20.12	v ~x3389 ~x5890 ~x9273 ~x6653 ~x12658 ~x2506 ~x9870 ~x3391 ~x5892 ~x9275 
20.04/20.12	v ~x6655 ~x12660 ~x2508 ~x9872 ~x3393 ~x5894 ~x9277 ~x6657 ~x12662 ~x2510 
20.04/20.12	v ~x9874 ~x3395 ~x5896 ~x9279 ~x111 ~x12664 ~x2512 ~x9876 ~x3397 ~x5898 
20.04/20.12	v ~x9281 ~x6659 ~x12666 ~x2514 ~x9878 ~x3399 ~x5900 ~x9283 ~x6661 ~x12668 
20.04/20.12	v ~x2516 ~x9880 ~x3401 ~x5902 ~x9285 ~x6663 ~x12670 ~x2518 ~x9882 ~x3403 
20.04/20.12	v ~x5904 ~x9287 ~x112 ~x12672 ~x2520 ~x197 ~x51 ~x5906 ~x9289 ~x6665 
20.04/20.12	v ~x12674 ~x2522 ~x9884 ~x3405 ~x5908 ~x9291 ~x6667 ~x12676 ~x2524 ~x9886 
20.04/20.12	v ~x3407 ~x5910 ~x9293 ~x6669 x12678 ~x2526 ~x9888 ~x3409 ~x5912 ~x9295 
20.04/20.12	v ~x6671 ~x12680 ~x2528 ~x9890 ~x3411 ~x5914 ~x9297 ~x6673 ~x12682 ~x2530 
20.04/20.12	v ~x9892 ~x3413 ~x5916 ~x9299 ~x6675 ~x12684 ~x2532 ~x9894 ~x3415 ~x5918 
20.04/20.12	v ~x9301 ~x6677 ~x12686 ~x2534 ~x9896 ~x3417 ~x5920 ~x9303 ~x6679 ~x12688 
20.04/20.12	v ~x2536 ~x198 ~x3419 ~x5922 ~x9305 ~x6681 ~x12690 ~x2538 ~x9898 ~x3421 
20.04/20.12	v ~x5924 ~x9307 ~x6683 ~x12692 ~x2540 ~x9900 ~x3423 ~x5926 ~x9309 ~x6685 
20.04/20.12	v ~x12694 ~x2542 ~x9902 ~x3425 ~x5928 ~x9311 ~x6687 ~x12696 ~x2544 ~x9904 
20.04/20.12	v ~x3427 ~x5930 ~x9313 ~x6689 ~x12698 ~x2546 ~x9906 ~x3429 ~x5932 ~x9315 
20.04/20.12	v ~x6691 ~x12700 ~x2548 ~x9908 ~x3431 ~x5934 ~x9317 ~x6693 ~x12702 ~x2550 
20.04/20.12	v ~x9910 ~x3433 ~x5936 ~x9319 ~x113 ~x12704 ~x2552 ~x9912 ~x3435 ~x5938 
20.04/20.12	v ~x9321 ~x6695 ~x12706 ~x2554 ~x9914 ~x3437 ~x5940 ~x9323 ~x6697 ~x12708 
20.04/20.12	v ~x2556 ~x9916 ~x3439 ~x5942 ~x9325 ~x6699 ~x12710 ~x2558 ~x9918 ~x3441 
20.04/20.12	v ~x5944 ~x9327 ~x6701 ~x12712 ~x2560 ~x9920 ~x3443 ~x5946 ~x9329 ~x6703 
20.04/20.12	v ~x12714 ~x2562 ~x9922 ~x3445 ~x5948 ~x9331 ~x6705 ~x12716 ~x2564 ~x9924 
20.04/20.12	v ~x3447 ~x5950 ~x9333 ~x6707 ~x12718 ~x2566 ~x9926 ~x3449 ~x5952 ~x9335 
20.04/20.12	v ~x6709 ~x12720 ~x2568 ~x9928 ~x3451 ~x5954 ~x9337 ~x6711 ~x12722 ~x2570 
20.04/20.12	v ~x9930 ~x3453 ~x5956 ~x9339 ~x6713 ~x12724 ~x2572 ~x9932 ~x3455 ~x5958 
20.04/20.12	v ~x9341 ~x6715 ~x12726 ~x2574 ~x9934 ~x3457 ~x5960 ~x9343 ~x6717 ~x12728 
20.04/20.12	v ~x2576 ~x9936 ~x3459 ~x5962 ~x9345 ~x6719 ~x12730 ~x2578 ~x9938 ~x3461 
20.04/20.12	v ~x5964 ~x9347 ~x6721 ~x12732 ~x2580 ~x9940 ~x3463 ~x5966 ~x9349 ~x6723 
20.04/20.12	v ~x12734 ~x2582 ~x9942 ~x3465 ~x5968 ~x9351 ~x6725 ~x12736 ~x2584 ~x9944 
20.04/20.12	v ~x3467 ~x5970 ~x9353 ~x6727 ~x12738 ~x2586 ~x9946 ~x3469 ~x5972 ~x9355 
20.04/20.12	v ~x6729 ~x12740 ~x2588 ~x9948 ~x3471 ~x5974 ~x9357 ~x6731 ~x12742 ~x2590 
20.04/20.12	v ~x9950 ~x3473 ~x5976 ~x9359 ~x6733 ~x12744 ~x2592 ~x9952 ~x3475 ~x5978 
20.04/20.12	v ~x9361 ~x6735 ~x12746 ~x2594 ~x9954 ~x3477 ~x5980 ~x9363 ~x6737 ~x12748 
20.04/20.12	v ~x2596 ~x9956 ~x3479 ~x5982 ~x9365 ~x6739 ~x12750 ~x2598 ~x9958 ~x3481 
20.04/20.12	v ~x5984 ~x9367 ~x6741 ~x12752 ~x2600 ~x199 ~x3483 ~x5986 ~x9369 ~x6743 
20.04/20.12	v ~x12754 ~x2602 ~x9960 ~x3485 ~x5988 ~x9371 ~x6745 ~x12756 ~x2604 ~x9962 
20.04/20.12	v ~x3487 ~x5990 ~x9373 ~x6747 ~x12758 ~x2606 ~x9964 ~x3489 ~x5992 ~x9375 
20.04/20.12	v ~x6749 ~x12760 ~x2608 ~x9966 ~x3491 ~x5994 ~x9377 ~x6751 x12762 ~x2610 
20.04/20.12	v ~x9968 ~x3493 ~x5996 ~x9379 ~x6753 ~x12764 ~x2612 ~x9970 ~x3495 ~x5998 
20.04/20.12	v ~x9381 ~x6755 ~x12766 ~x2614 ~x9972 ~x3497 ~x6000 ~x9383 ~x114 ~x12768 
20.04/20.12	v ~x2616 ~x9974 ~x3499 ~x6002 ~x9385 ~x6757 ~x12770 ~x2618 ~x9976 ~x3501 
20.04/20.12	v ~x6004 ~x9387 ~x6759 ~x12772 ~x2620 ~x9978 ~x3503 ~x6006 ~x9389 ~x6761 
20.04/20.12	v ~x12774 ~x2622 ~x9980 ~x3505 ~x6008 ~x9391 ~x6763 ~x12776 ~x2624 ~x9982 
20.04/20.12	v ~x3507 ~x6010 ~x9393 ~x6765 ~x12778 ~x2626 ~x9984 ~x3509 ~x6012 ~x9395 
20.04/20.12	v ~x6767 x12780 ~x2628 ~x9986 ~x3511 ~x6014 ~x9397 ~x6769 ~x12782 ~x2630 
20.04/20.12	v ~x9988 ~x3513 ~x6016 ~x9399 ~x6771 ~x12784 ~x2632 ~x200 ~x3515 ~x6018 
20.04/20.12	v ~x9401 ~x6773 ~x12786 ~x2634 ~x9990 ~x3517 ~x6020 ~x9403 ~x6775 ~x12788 
20.04/20.12	v ~x2636 ~x9992 ~x3519 ~x6022 ~x9405 ~x6777 ~x12790 ~x2638 ~x9994 ~x3521 
20.04/20.12	v ~x6024 ~x9407 ~x6779 ~x12792 ~x2640 ~x9996 ~x3523 ~x6026 ~x9409 ~x6781 
20.04/20.12	v ~x12794 ~x2642 ~x9998 ~x3525 ~x6028 ~x9411 ~x6783 ~x12796 ~x2644 ~x10000 
20.04/20.12	v ~x3527 ~x6030 ~x9413 ~x6785 ~x12798 ~x2646 ~x10002 ~x3529 ~x6032 ~x9415 
20.04/20.12	v ~x115 ~x12800 ~x2648 ~x10004 ~x3531 ~x6034 ~x9417 ~x6787 ~x12802 ~x2650 
20.04/20.12	v ~x10006 ~x3533 ~x6036 ~x9419 ~x6789 ~x12804 ~x2652 ~x10008 ~x3535 ~x6038 
20.04/20.12	v ~x9421 ~x6791 ~x12806 ~x2654 ~x10010 ~x3537 ~x6040 ~x9423 ~x6793 ~x12808 
20.04/20.12	v ~x2656 ~x10012 ~x3539 ~x6042 ~x9425 ~x6795 ~x12810 ~x2658 ~x10014 ~x3541 
20.04/20.12	v ~x6044 ~x9427 ~x6797 ~x12812 ~x2660 ~x10016 ~x3543 ~x6046 ~x9429 ~x6799 
20.04/20.12	v ~x12814 ~x2662 ~x10018 ~x3545 ~x6048 ~x9431 ~x6801 ~x12816 ~x2664 ~x201 
20.04/20.12	v ~x3547 ~x6050 ~x9433 ~x6803 ~x12818 ~x2666 ~x10020 ~x3549 ~x6052 ~x9435 
20.04/20.12	v ~x6805 ~x12820 ~x2668 ~x10022 ~x3551 ~x6054 ~x9437 ~x6807 ~x12822 ~x2670 
20.04/20.12	v ~x10024 ~x3553 ~x6056 ~x9439 ~x6809 ~x12824 ~x2672 ~x10026 ~x3555 ~x6058 
20.04/20.12	v ~x9441 ~x6811 ~x12826 ~x2674 ~x10028 ~x3557 ~x6060 ~x9443 ~x6813 ~x12828 
20.04/20.12	v ~x2676 ~x10030 ~x3559 ~x6062 ~x9445 ~x6815 ~x12830 ~x2678 ~x10032 ~x3561 
20.04/20.12	v ~x6064 ~x9447 ~x116 ~x12832 ~x2680 ~x202 ~x3563 ~x6066 ~x9449 ~x6817 
20.04/20.12	v ~x12834 ~x2682 ~x10034 ~x3565 ~x6068 ~x9451 ~x6819 ~x12836 ~x2684 ~x10036 
20.04/20.12	v ~x3567 ~x6070 ~x9453 ~x6821 ~x12838 ~x2686 ~x10038 ~x3569 ~x6072 ~x9455 
20.04/20.12	v ~x6823 ~x12840 ~x2688 ~x10040 ~x3571 ~x6074 ~x9457 ~x6825 ~x12842 ~x2690 
20.04/20.12	v ~x10042 ~x3573 ~x6076 ~x9459 ~x6827 x12844 ~x2692 ~x10044 ~x3575 ~x6078 
20.04/20.12	v ~x9461 ~x6829 ~x12846 ~x2694 ~x10046 ~x3577 ~x6080 ~x9463 ~x117 ~x12848 
20.04/20.12	v ~x2696 ~x10048 ~x3579 ~x6082 ~x9465 ~x6831 x12850 ~x2698 ~x10050 ~x3581 
20.04/20.12	v ~x6084 ~x9467 ~x6833 x12852 ~x2700 ~x10052 ~x3583 ~x6086 ~x9469 ~x6835 
20.04/20.12	v ~x2702 ~x10054 ~x3585 ~x6088 ~x9471 ~x6837 ~x2704 ~x10056 ~x3587 ~x6090 
20.04/20.12	v ~x9473 ~x6839 ~x2706 ~x10058 ~x3589 ~x6092 ~x9475 ~x6841 ~x2708 ~x10060 
20.04/20.12	v ~x3591 ~x6094 ~x9477 ~x6843 ~x2710 ~x10062 ~x3593 ~x6096 ~x9479 ~x6845 
20.04/20.12	v ~x2712 ~x203 ~x3595 ~x6098 ~x9481 ~x6847 ~x2714 ~x10064 ~x3597 ~x6100 
20.04/20.12	v ~x9483 ~x6849 ~x2716 ~x10066 ~x3599 ~x6102 ~x9485 ~x6851 ~x2718 ~x10068 
20.04/20.12	v ~x3601 ~x6104 ~x9487 ~x6853 ~x2720 ~x10070 ~x3603 ~x6106 ~x9489 ~x6855 
20.04/20.12	v ~x2722 ~x10072 ~x3605 ~x6108 ~x9491 ~x6857 ~x2724 ~x10074 ~x3607 ~x6110 
20.04/20.12	v ~x9493 ~x6859 ~x324 ~x2726 ~x10076 ~x3609 ~x6112 ~x9495 ~x118 ~x326 
20.04/20.12	v ~x2728 ~x204 ~x3611 ~x6114 ~x9497 ~x6861 ~x328 ~x2730 ~x10078 ~x3613 
20.04/20.12	v ~x6116 ~x9499 ~x6863 ~x330 ~x2732 ~x10080 ~x3615 ~x6118 ~x9501 ~x6865 
20.04/20.12	v ~x332 ~x2734 ~x10082 x3617 ~x6120 ~x9503 ~x6867 ~x334 x2736 ~x10084 
20.04/20.12	v ~x3619 ~x6122 ~x9505 ~x6869 ~x336 ~x2738 ~x10086 ~x3621 ~x6124 ~x9507 
20.04/20.12	v ~x6871 ~x338 ~x2740 ~x10088 ~x3623 ~x6126 ~x9509 ~x6873 ~x340 ~x2742 
20.04/20.12	v ~x10090 ~x3625 ~x6128 ~x9511 ~x119 ~x342 ~x2744 ~x205 ~x3627 ~x6130 
20.04/20.12	v ~x9513 ~x6875 ~x344 ~x2746 ~x10092 ~x3629 ~x6132 ~x9515 ~x6877 ~x346 
20.04/20.12	v ~x2748 ~x10094 ~x3631 ~x6134 ~x9517 ~x6879 ~x348 ~x2750 ~x10096 ~x3633 
20.04/20.12	v ~x6136 ~x9519 ~x6881 ~x350 ~x2752 ~x206 ~x3635 ~x6138 ~x9521 ~x6883 
20.04/20.12	v ~x352 ~x2754 ~x10098 ~x3637 ~x6140 ~x9523 ~x6885 ~x354 ~x2756 ~x10100 
20.04/20.12	v ~x3639 ~x6142 ~x9525 ~x6887 ~x356 ~x2758 ~x10102 ~x3641 ~x6144 ~x9527 
20.04/20.12	v ~x6889 ~x358 ~x2760 ~x10104 ~x3643 ~x6146 ~x9529 ~x6891 ~x360 ~x2762 
20.04/20.12	v ~x10106 ~x3645 ~x6148 ~x9531 ~x6893 ~x362 ~x2764 ~x10108 ~x3647 ~x6150 
20.04/20.12	v ~x9533 ~x6895 ~x364 ~x2766 ~x10110 ~x3649 ~x6152 ~x9535 ~x6897 ~x366 
20.04/20.12	v ~x2768 ~x10112 ~x3651 ~x6154 ~x9537 ~x6899 ~x368 ~x2770 ~x10114 ~x3653 
20.04/20.12	v ~x6156 ~x9539 ~x6901 ~x370 ~x2772 ~x10116 ~x3655 ~x6158 ~x9541 ~x6903 
20.04/20.12	v ~x372 ~x2774 ~x10118 ~x3657 ~x6160 ~x9543 ~x120 ~x374 ~x2776 ~x10120 
20.04/20.12	v ~x3659 ~x6162 ~x9545 ~x6905 ~x376 ~x2778 ~x10122 ~x3661 ~x6164 ~x9547 
20.04/20.12	v ~x6907 ~x378 ~x2780 ~x10124 ~x3663 ~x6166 ~x9549 ~x6909 ~x380 ~x2782 
20.04/20.12	v ~x10126 ~x3665 ~x6168 ~x9551 ~x6911 ~x382 ~x2784 ~x207 ~x3667 ~x6170 
20.04/20.12	v ~x9553 ~x6913 ~x384 ~x2786 ~x10128 ~x3669 ~x6172 ~x9555 ~x6915 ~x386 
20.04/20.12	v ~x2788 ~x10130 ~x3671 ~x6174 ~x9557 ~x6917 ~x388 ~x2790 ~x10132 ~x3673 
20.04/20.12	v ~x6176 ~x9559 ~x121 ~x390 ~x2792 ~x10134 ~x3675 ~x6178 ~x9561 ~x6919 
20.04/20.12	v ~x392 ~x2794 ~x10136 ~x3677 ~x6180 ~x9563 ~x6921 x394 ~x2796 ~x10138 
20.04/20.12	v ~x3679 ~x6182 ~x9565 ~x6923 ~x396 ~x2798 ~x10140 ~x3681 ~x6184 ~x9567 
20.04/20.12	v ~x6925 ~x398 ~x2800 ~x208 ~x3683 ~x6186 ~x9569 ~x6927 ~x400 ~x2802 
20.04/20.12	v ~x10142 ~x3685 ~x6188 ~x9571 ~x6929 ~x402 ~x2804 ~x10144 ~x3687 ~x6190 
20.04/20.12	v ~x9573 ~x6931 ~x404 ~x2806 ~x10146 ~x52 ~x6192 ~x9575 ~x122 ~x406 
20.04/20.12	v ~x2808 ~x10148 ~x3689 ~x6194 ~x9577 ~x6933 ~x408 ~x2810 ~x10150 ~x3691 
20.04/20.12	v ~x6196 ~x9579 ~x6935 ~x410 ~x2812 ~x10152 ~x3693 ~x6198 ~x9581 ~x6937 
20.04/20.12	v ~x412 ~x2814 ~x10154 ~x3695 ~x6200 ~x9583 ~x123 ~x414 ~x2816 ~x10156 
20.04/20.12	v ~x3697 ~x6202 ~x9585 ~x6939 ~x416 ~x2818 ~x10158 ~x3699 ~x6204 ~x9587 
20.04/20.12	v ~x6941 ~x418 ~x2820 ~x10160 ~x3701 ~x6206 ~x9589 ~x6943 ~x420 ~x2822 
20.04/20.12	v ~x10162 ~x3703 ~x6208 ~x9591 ~x6945 ~x422 ~x2824 ~x10164 ~x3705 ~x6210 
20.04/20.12	v ~x9593 ~x6947 ~x424 ~x2826 ~x10166 ~x3707 ~x6212 ~x9595 ~x6949 ~x426 
20.04/20.12	v ~x2828 ~x10168 ~x3709 ~x6214 ~x9597 ~x6951 ~x428 ~x2830 ~x10170 ~x3711 
20.04/20.12	v ~x6216 ~x9599 ~x6953 ~x430 ~x2832 ~x209 ~x3713 ~x6218 ~x9601 ~x6955 
20.04/20.12	v ~x432 ~x2834 ~x10172 ~x3715 ~x6220 ~x9603 ~x6957 ~x434 ~x2836 ~x10174 
20.04/20.12	v ~x3717 ~x6222 ~x9605 ~x6959 ~x436 ~x2838 ~x10176 ~x3719 ~x6224 ~x9607 
20.04/20.12	v ~x6961 ~x438 ~x2840 ~x10178 ~x3721 ~x6226 ~x9609 ~x6963 ~x440 ~x2842 
20.04/20.12	v ~x10180 ~x3723 ~x6228 ~x9611 ~x6965 ~x442 ~x2844 ~x10182 ~x3725 ~x6230 
20.04/20.12	v ~x9613 ~x6967 ~x444 ~x2846 ~x10184 ~x3727 ~x6232 ~x9615 ~x6969 ~x446 
20.04/20.12	v ~x2848 ~x210 ~x3729 ~x6234 ~x9617 ~x6971 ~x448 ~x2850 ~x10186 ~x3731 
20.04/20.12	v ~x6236 ~x9619 ~x6973 ~x450 ~x2852 ~x10188 ~x3733 ~x6238 ~x9621 ~x6975 
20.04/20.12	v ~x452 ~x2854 ~x10190 ~x3735 ~x6240 ~x9623 ~x6977 ~x454 ~x2856 ~x10192 
20.04/20.12	v ~x3737 ~x6242 ~x9625 ~x6979 ~x456 ~x2858 ~x10194 ~x3739 ~x6244 ~x9627 
20.04/20.12	v ~x6981 ~x458 ~x2860 ~x10196 ~x3741 ~x6246 ~x9629 ~x6983 ~x460 ~x2862 
20.04/20.12	v ~x10198 ~x3743 ~x6248 ~x9631 ~x6985 ~x462 ~x2864 ~x211 ~x3745 ~x6250 
20.04/20.12	v ~x9633 ~x6987 ~x464 ~x2866 ~x10200 ~x3747 ~x6252 ~x9635 ~x6989 ~x466 
20.04/20.12	v ~x2868 ~x10202 ~x3749 ~x6254 ~x9637 ~x6991 ~x468 ~x2870 ~x212 ~x3751 
20.04/20.12	v ~x6256 ~x9639 ~x6993 ~x470 ~x2872 ~x10204 ~x3753 ~x6258 ~x9641 ~x6995 
20.04/20.12	v ~x472 ~x2874 ~x10206 ~x3755 ~x6260 ~x9643 ~x6997 ~x474 ~x2876 ~x10208 
20.04/20.12	v ~x3757 ~x6262 ~x9645 ~x6999 ~x476 ~x2878 ~x10210 ~x3759 ~x6264 ~x9647 
20.04/20.12	v ~x124 ~x478 ~x2880 ~x10212 ~x3761 ~x6266 ~x9649 ~x7001 ~x480 ~x2882 
20.04/20.12	v ~x10214 ~x3763 ~x6268 ~x9651 ~x7003 ~x482 ~x2884 ~x10216 ~x3765 ~x6270 
20.04/20.12	v ~x9653 ~x7005 ~x484 ~x2886 ~x10218 ~x3767 ~x6272 ~x9655 ~x7007 ~x486 
20.04/20.12	v ~x2888 ~x10220 ~x3769 ~x6274 ~x9657 ~x7009 ~x488 ~x2890 ~x10222 ~x3771 
20.04/20.12	v ~x6276 ~x9659 ~x7011 ~x490 ~x2892 ~x10224 ~x3773 ~x6278 ~x9661 ~x7013 
20.04/20.12	v ~x492 ~x2894 ~x10226 ~x3775 ~x6280 ~x9663 ~x7015 ~x494 ~x2896 ~x10228 
20.04/20.12	v ~x3777 ~x6282 ~x9665 ~x7017 ~x496 ~x2898 ~x10230 ~x3779 ~x6284 ~x9667 
20.04/20.12	v ~x7019 ~x498 ~x2900 ~x10232 ~x3781 ~x6286 ~x9669 ~x7021 ~x500 ~x2902 
20.04/20.12	v ~x213 ~x3783 ~x6288 ~x9671 ~x7023 ~x502 ~x2904 ~x10234 ~x3785 ~x6290 
20.04/20.12	v ~x9673 ~x7025 ~x504 ~x2906 ~x10236 ~x3787 ~x6292 ~x9675 ~x7027 ~x506 
20.04/20.12	v ~x2908 ~x10238 ~x3789 ~x6294 ~x9677 ~x7029 ~x508 ~x2910 ~x10240 ~x3791 
20.04/20.12	v ~x6296 ~x9679 ~x125 ~x510 ~x2912 ~x10242 ~x3793 ~x6298 ~x9681 ~x7031 
20.04/20.12	v ~x512 ~x2914 ~x10244 ~x3795 ~x6300 ~x9683 ~x7033 ~x514 ~x2916 ~x10246 
20.04/20.12	v ~x3797 ~x6302 ~x9685 ~x7035 ~x516 ~x2918 ~x214 ~x3799 ~x6304 ~x9687 
20.04/20.12	v ~x7037 ~x518 ~x2920 ~x10248 ~x3801 ~x6306 ~x9689 ~x7039 ~x520 ~x2922 
20.04/20.12	v ~x10250 ~x3803 ~x6308 ~x9691 ~x7041 ~x522 ~x2924 ~x10252 ~x3805 ~x6310 
20.04/20.12	v ~x9693 ~x7043 ~x524 ~x2926 ~x10254 ~x3807 ~x6312 ~x9695 ~x7045 ~x526 
20.04/20.12	v ~x2928 ~x10256 ~x3809 ~x6314 ~x9697 ~x7047 ~x528 ~x2930 ~x10258 ~x3811 
20.04/20.12	v ~x6316 ~x9699 ~x7049 ~x530 ~x2932 ~x10260 ~x3813 ~x6318 ~x9701 ~x7051 
20.04/20.12	v ~x532 ~x2934 ~x215 ~x53 ~x6320 ~x9703 ~x7053 ~x534 ~x2936 ~x10262 
20.04/20.12	v ~x3815 ~x6322 ~x9705 ~x7055 ~x536 ~x2938 ~x10264 ~x3817 ~x6324 ~x9707 
20.04/20.12	v ~x7057 ~x538 ~x2940 ~x10266 ~x3819 ~x6326 ~x9709 ~x7059 ~x540 ~x2942 
20.04/20.12	v ~x216 ~x3821 ~x6328 ~x9711 ~x126 ~x542 ~x2944 ~x10268 ~x3823 ~x6330 
20.04/20.12	v ~x9713 ~x7061 ~x544 ~x2946 ~x10270 ~x3825 ~x6332 ~x9715 ~x7063 ~x546 
20.04/20.12	v ~x2948 ~x10272 ~x3827 ~x6334 ~x9717 ~x7065 ~x548 ~x2950 ~x10274 ~x3829 
20.04/20.12	v ~x6336 ~x9719 ~x7067 ~x550 ~x2952 ~x10276 ~x3831 ~x6338 ~x9721 ~x7069 
20.04/20.12	v ~x552 ~x2954 ~x10278 ~x3833 ~x6340 ~x9723 ~x7071 ~x554 ~x2956 ~x10280 
20.04/20.12	v ~x3835 ~x6342 ~x9725 ~x7073 ~x556 ~x2958 x10282 ~x3837 ~x6344 ~x9727 
20.04/20.12	v ~x127 ~x558 ~x2960 ~x10284 ~x3839 ~x6346 ~x9729 ~x7075 ~x560 ~x2962 
20.04/20.12	v x10286 ~x3841 ~x6348 ~x9731 ~x7077 ~x562 ~x2964 x217 ~x3843 ~x6350 
20.04/20.12	v ~x9733 ~x7079 ~x564 ~x2966 ~x10288 ~x3845 ~x6352 ~x9735 ~x7081 ~x566 
20.04/20.12	v ~x2968 ~x10290 ~x3847 ~x6354 ~x9737 ~x7083 ~x568 ~x2970 ~x10292 ~x3849 
20.04/20.12	v ~x6356 ~x9739 ~x7085 ~x570 ~x2972 ~x218 ~x3851 ~x6358 ~x9741 ~x7087 
20.04/20.12	v ~x572 ~x2974 ~x10294 ~x3853 ~x6360 ~x9743 ~x7089 ~x574 ~x2976 ~x219 
20.04/20.12	v ~x3855 ~x6362 ~x9745 ~x7091 ~x576 ~x2978 ~x10296 ~x3857 ~x6364 ~x9747 
20.04/20.12	v ~x7093 ~x578 ~x2980 ~x10298 ~x3859 ~x6366 ~x9749 ~x7095 ~x1 ~x2982 
20.04/20.12	v ~x10300 ~x3861 ~x6368 ~x9751 ~x7097 ~x580 ~x2984 ~x10302 ~x3863 ~x6370 
20.04/20.12	v ~x9753 ~x7099 ~x582 ~x2986 ~x10304 ~x3865 ~x6372 ~x9755 ~x7101 ~x584 
20.04/20.12	v ~x2988 ~x10306 ~x3867 ~x6374 ~x9757 ~x7103 ~x586 ~x2990 ~x10308 ~x3869 
20.04/20.12	v ~x6376 ~x9759 ~x128 ~x588 ~x2992 ~x10310 ~x3871 ~x6378 ~x9761 ~x7105 
20.04/20.12	v ~x590 ~x2994 ~x10312 ~x3873 ~x6380 ~x9763 ~x7107 ~x592 ~x2996 ~x10314 
20.04/20.12	v ~x3875 ~x6382 ~x9765 ~x7109 ~x594 ~x2998 ~x10316 ~x3877 ~x6384 ~x9767 
20.04/20.12	v ~x7111 ~x596 ~x3000 ~x10318 ~x3879 ~x6386 ~x9769 ~x7113 ~x598 ~x3002 
20.04/20.12	v ~x10320 ~x3881 ~x6388 ~x9771 ~x7115 ~x600 ~x3004 ~x10322 ~x3883 ~x6390 
20.04/20.12	v ~x9773 ~x7117 ~x602 ~x3006 ~x10324 ~x3885 ~x6392 ~x9775 ~x129 ~x604 
20.04/20.12	v ~x3008 ~x10326 ~x3887 ~x6394 ~x9777 ~x7119 ~x606 ~x3010 ~x10328 ~x3889 
20.04/20.12	v ~x6396 ~x9779 ~x7121 ~x608 ~x3012 ~x10330 ~x3891 ~x6398 ~x9781 ~x7123 
20.04/20.12	v ~x610 ~x3014 ~x10332 ~x3893 ~x6400 ~x9783 ~x7125 ~x612 ~x3016 ~x10334 
20.04/20.12	v ~x3895 ~x6402 ~x9785 ~x7127 ~x614 ~x3018 ~x10336 ~x3897 ~x6404 ~x9787 
20.04/20.12	v ~x7129 ~x616 ~x3020 ~x10338 ~x3899 ~x6406 ~x9789 x7131 ~x618 ~x3022 
20.04/20.12	v ~x10340 ~x3901 ~x6408 ~x9791 x130 ~x620 ~x3024 ~x10342 ~x3903 ~x6410 
20.04/20.12	v ~x9793 ~x7133 ~x622 ~x3026 ~x10344 ~x3905 ~x6412 ~x9795 ~x7135 ~x624 
20.04/20.12	v ~x3028 ~x10346 ~x3907 ~x6414 ~x9797 ~x7137 ~x626 ~x3030 ~x10348 ~x3909 
20.04/20.12	v ~x6416 ~x9799 ~x131 ~x628 ~x3032 ~x10350 ~x3911 ~x6418 ~x9801 ~x7139 
20.04/20.12	v ~x630 ~x3034 ~x10352 ~x3913 ~x6420 ~x9803 ~x7141 ~x632 ~x3036 ~x10354 
20.04/20.12	v ~x3915 ~x6422 ~x9805 ~x7143 ~x634 ~x3038 ~x10356 ~x3917 ~x6424 ~x9807 
20.04/20.12	v ~x7145 ~x636 ~x3040 ~x220 ~x3919 ~x6426 ~x9809 ~x7147 ~x638 ~x3042 
20.04/20.12	v ~x10358 ~x3921 ~x6428 ~x9811 ~x7149 ~x640 ~x3044 ~x10360 ~x3923 ~x6430 
20.04/20.12	v ~x9813 ~x7151 ~x642 ~x3046 ~x10362 ~x3925 ~x6432 ~x9815 ~x7153 ~x644 
20.04/20.12	v ~x3048 ~x10364 ~x3927 ~x6434 ~x9817 ~x7155 ~x646 ~x3050 ~x10366 ~x3929 
20.04/20.12	v ~x6436 ~x9819 ~x7157 ~x648 ~x3052 ~x10368 ~x3931 ~x6438 ~x9821 ~x7159 
20.04/20.12	v ~x650 ~x3054 ~x10370 ~x3933 ~x6440 ~x9823 ~x7161 ~x652 ~x3056 ~x10372 
20.04/20.12	v ~x3935 ~x6442 ~x9825 ~x7163 ~x654 ~x3058 ~x10374 ~x3937 ~x6444 ~x9827 
20.04/20.12	v ~x7165 ~x656 ~x3060 ~x10376 ~x3939 ~x6446 ~x9829 ~x7167 ~x658 ~x3062 
20.04/20.12	v ~x10378 ~x54 ~x6448 ~x9831 ~x132 ~x660 ~x3064 ~x10380 ~x3941 ~x6450 
20.04/20.12	v ~x9833 ~x7169 ~x662 ~x3066 ~x10382 ~x3943 ~x6452 ~x9835 ~x7171 ~x664 
20.04/20.12	v ~x3068 ~x10384 ~x3945 ~x6454 ~x9837 ~x7173 ~x666 ~x3070 ~x10386 ~x3947 
20.04/20.12	v ~x6456 ~x9839 ~x7175 ~x668 ~x3072 ~x10388 ~x3949 ~x6458 ~x9841 ~x7177 
20.04/20.12	v ~x670 ~x3074 ~x10390 ~x3951 ~x6460 ~x9843 ~x7179 ~x672 ~x3076 ~x10392 
20.04/20.12	v ~x3953 ~x6462 ~x9845 ~x7181 ~x674 ~x3078 ~x10394 ~x3955 ~x6464 ~x9847 
20.04/20.12	v ~x133 ~x676 ~x3080 ~x10396 ~x3957 ~x6466 ~x9849 ~x7183 ~x678 ~x3082 
20.04/20.12	v ~x10398 ~x3959 ~x6468 ~x9851 ~x7185 ~x680 ~x3084 ~x10400 ~x3961 ~x6470 
20.04/20.12	v ~x9853 ~x7187 ~x682 ~x3086 ~x10402 ~x3963 ~x6472 ~x9855 ~x7189 ~x684 
20.04/20.12	v ~x3088 ~x10404 ~x3965 ~x6474 ~x9857 ~x7191 ~x686 ~x3090 ~x10406 ~x3967 
20.04/20.12	v ~x6476 ~x9859 ~x7193 ~x688 ~x3092 ~x10408 ~x3969 ~x6478 ~x9861 ~x7195 
20.04/20.12	v ~x690 ~x3094 ~x10410 ~x3971 ~x6480 ~x9863 ~x134 ~x692 ~x3096 ~x10412 
20.04/20.12	v ~x3973 ~x6482 ~x9865 ~x7197 ~x694 ~x3098 ~x10414 ~x3975 ~x6484 ~x9867 
20.04/20.12	v ~x7199 ~x696 ~x3100 ~x10416 ~x3977 ~x6486 ~x9869 ~x7201 ~x698 ~x3102 
20.04/20.12	v ~x10418 ~x3979 ~x6488 ~x9871 ~x135 ~x700 ~x3104 ~x221 ~x3981 ~x6490 
20.04/20.12	v ~x9873 ~x7203 ~x702 ~x3106 ~x10420 ~x3983 ~x6492 ~x9875 ~x7205 ~x704 
20.04/20.12	v ~x3108 ~x10422 ~x3985 ~x6494 ~x9877 ~x7207 ~x2 ~x3110 ~x10424 ~x3987 
20.04/20.12	v ~x6496 ~x9879 ~x7209 ~x706 ~x3112 ~x10426 ~x3989 ~x6498 ~x9881 ~x7211 
20.04/20.12	v ~x708 ~x3114 ~x10428 ~x3991 ~x6500 ~x9883 ~x7213 ~x710 ~x3116 ~x10430 
20.04/20.12	v ~x3993 ~x6502 ~x9885 ~x7215 ~x712 ~x3118 ~x10432 ~x3995 ~x6504 ~x9887 
20.04/20.12	v ~x136 ~x714 ~x3120 ~x10434 ~x3997 ~x6506 ~x9889 ~x7217 ~x716 ~x3122 
20.04/20.12	v ~x10436 ~x3999 ~x6508 ~x9891 ~x7219 ~x718 ~x3124 ~x10438 ~x4001 ~x6510 
20.04/20.12	v ~x9893 ~x7221 ~x720 ~x3126 ~x10440 ~x55 ~x6512 ~x9895 ~x137 ~x722 
20.04/20.12	v ~x3128 ~x10442 ~x4003 ~x6514 ~x9897 ~x7223 ~x724 ~x3130 ~x10444 ~x4005 
20.04/20.12	v ~x6516 ~x9899 ~x7225 ~x726 ~x3132 ~x10446 ~x4007 ~x6518 ~x9901 x7227 
20.04/20.12	v ~x728 ~x3134 ~x10448 ~x4009 ~x6520 ~x9903 x138 ~x730 ~x3136 ~x222 
20.04/20.12	v ~x4011 ~x6522 ~x9905 ~x7229 ~x732 ~x3138 ~x10450 ~x4013 ~x6524 ~x9907 
20.04/20.12	v ~x139 ~x734 ~x3140 ~x10452 ~x4015 ~x6526 ~x9909 ~x7231 ~x736 ~x3142 
20.04/20.12	v ~x10454 ~x4017 ~x6528 ~x9911 ~x7233 ~x738 ~x3144 ~x10456 ~x4019 ~x6530 
20.04/20.12	v ~x9913 ~x7235 ~x740 ~x3146 ~x10458 ~x4021 ~x6532 ~x9915 ~x7237 ~x742 
20.04/20.12	v ~x3148 ~x10460 ~x4023 ~x6534 ~x9917 ~x7239 ~x744 ~x3150 ~x10462 ~x4025 
20.04/20.12	v ~x6536 ~x9919 ~x7241 ~x746 ~x3152 ~x10464 ~x4027 ~x6538 ~x9921 ~x7243 
20.04/20.12	v ~x748 ~x3154 ~x10466 ~x4029 ~x6540 ~x9923 ~x7245 ~x750 ~x3156 ~x10468 
20.04/20.12	v ~x4031 ~x6542 ~x9925 ~x7247 ~x752 ~x3158 ~x10470 ~x4033 ~x6544 ~x9927 
20.04/20.12	v ~x7249 ~x754 ~x3160 ~x10472 ~x4035 ~x6546 ~x9929 ~x7251 ~x756 ~x3162 
20.04/20.12	v ~x10474 ~x4037 ~x6548 ~x9931 ~x7253 ~x758 ~x3164 ~x10476 ~x4039 ~x6550 
20.04/20.12	v ~x9933 ~x7255 ~x760 ~x3166 ~x10478 ~x4041 ~x6552 ~x9935 ~x7257 ~x762 
20.04/20.12	v ~x3168 ~x10480 ~x4043 ~x6554 ~x9937 ~x7259 ~x764 ~x3170 ~x10482 ~x4045 
20.04/20.12	v ~x6556 ~x9939 ~x7261 ~x766 ~x3172 ~x10484 ~x4047 ~x6558 ~x9941 ~x7263 
20.04/20.12	v ~x768 ~x3174 ~x10486 ~x4049 ~x6560 ~x9943 ~x7265 ~x770 ~x3176 ~x10488 
20.04/20.12	v ~x4051 ~x6562 ~x9945 ~x7267 ~x772 ~x3178 ~x10490 ~x4053 ~x6564 ~x9947 
20.04/20.12	v ~x7269 ~x774 ~x3180 ~x10492 ~x4055 ~x6566 ~x9949 ~x7271 ~x776 ~x3182 
20.04/20.12	v ~x10494 ~x4057 ~x6568 ~x9951 ~x7273 ~x778 ~x3184 ~x10496 ~x4059 ~x6570 
20.04/20.12	v ~x9953 ~x7275 ~x780 ~x3186 ~x10498 ~x4061 ~x6572 ~x9955 ~x7277 ~x782 
20.04/20.12	v ~x3188 ~x10500 ~x4063 ~x6574 ~x9957 ~x7279 ~x784 ~x3190 ~x10502 ~x4065 
20.04/20.12	v ~x6576 ~x9959 ~x7281 ~x786 ~x3192 ~x10504 ~x4067 ~x6578 ~x9961 ~x7283 
20.04/20.12	v ~x788 ~x3194 ~x10506 ~x4069 ~x6580 ~x9963 ~x7285 ~x790 ~x3196 ~x10508 
20.04/20.12	v ~x4071 ~x6582 ~x9965 ~x7287 ~x792 ~x3198 ~x10510 ~x4073 ~x6584 ~x9967 
20.04/20.12	v ~x7289 ~x794 ~x3200 ~x223 ~x4075 ~x6586 ~x9969 ~x7291 ~x796 ~x3202 
20.04/20.12	v ~x10512 ~x4077 ~x6588 ~x9971 ~x7293 ~x798 ~x3204 ~x10514 ~x4079 ~x6590 
20.04/20.12	v ~x9973 ~x7295 ~x800 ~x3206 ~x10516 ~x4081 ~x6592 ~x9975 ~x7297 ~x802 
20.04/20.12	v ~x3208 ~x10518 ~x4083 ~x6594 ~x9977 ~x7299 ~x804 ~x3210 ~x10520 ~x4085 
20.04/20.12	v ~x6596 ~x9979 ~x7301 ~x806 ~x3212 ~x10522 ~x4087 ~x6598 ~x9981 ~x7303 
20.04/20.12	v ~x808 ~x3214 ~x10524 ~x4089 ~x6600 ~x9983 ~x7305 ~x810 ~x3216 ~x10526 
20.04/20.12	v ~x4091 ~x6602 ~x9985 ~x7307 ~x812 ~x3218 ~x10528 ~x4093 ~x6604 ~x9987 
20.04/20.12	v ~x7309 ~x814 ~x3220 ~x10530 ~x4095 ~x6606 ~x9989 ~x7311 ~x816 ~x3222 
20.04/20.12	v ~x10532 ~x4097 ~x6608 ~x9991 ~x7313 ~x818 ~x3224 ~x10534 ~x4099 ~x6610 
20.04/20.12	v ~x9993 ~x7315 ~x820 ~x3226 ~x10536 ~x4101 ~x6612 ~x9995 ~x7317 ~x822 
20.04/20.12	v ~x3228 ~x10538 ~x4103 ~x6614 ~x9997 ~x7319 ~x824 ~x3230 ~x10540 ~x4105 
20.04/20.12	v ~x6616 ~x9999 ~x7321 ~x826 ~x3232 ~x224 ~x4107 ~x6618 ~x10001 ~x7323 
20.04/20.12	v ~x828 ~x3234 ~x10542 ~x4109 ~x6620 ~x10003 ~x7325 ~x830 ~x3236 ~x10544 
20.04/20.12	v ~x4111 ~x6622 ~x10005 ~x7327 ~x3 ~x3238 ~x10546 ~x4113 ~x6624 ~x10007 
20.04/20.12	v ~x7329 ~x832 ~x3240 ~x10548 ~x4115 ~x6626 ~x10009 ~x7331 ~x834 ~x3242 
20.04/20.12	v ~x10550 ~x4117 ~x6628 ~x10011 ~x7333 ~x836 ~x3244 ~x10552 ~x4119 ~x6630 
20.04/20.12	v ~x10013 ~x7335 ~x838 ~x3246 ~x10554 ~x4121 ~x6632 ~x10015 ~x7337 ~x840 
20.04/20.12	v ~x3248 ~x10556 ~x4123 ~x6634 ~x10017 ~x7339 ~x842 ~x3250 ~x10558 ~x4125 
20.04/20.12	v ~x6636 ~x10019 ~x7341 ~x844 ~x3252 ~x10560 ~x4127 ~x6638 ~x10021 ~x7343 
20.04/20.12	v ~x846 ~x3254 ~x10562 ~x56 ~x6640 ~x10023 ~x7345 ~x848 ~x3256 ~x10564 
20.04/20.12	v ~x4129 ~x6642 ~x10025 ~x7347 ~x850 ~x3258 ~x10566 ~x4131 ~x6644 ~x10027 
20.04/20.12	v ~x7349 ~x852 ~x3260 ~x10568 ~x4133 ~x6646 ~x10029 ~x7351 ~x854 ~x3262 
20.04/20.12	v ~x10570 ~x4135 ~x6648 ~x10031 ~x7353 ~x856 ~x3264 ~x10572 ~x4137 ~x6650 
20.04/20.12	v ~x10033 ~x7355 ~x858 ~x3266 ~x10574 ~x4139 ~x6652 ~x10035 ~x140 ~x860 
20.04/20.12	v ~x3268 ~x10576 ~x4141 ~x6654 ~x10037 ~x7357 ~x862 ~x3270 ~x10578 ~x4143 
20.04/20.12	v ~x6656 ~x10039 ~x7359 ~x864 ~x3272 ~x10580 ~x4145 ~x6658 ~x10041 ~x7361 
20.04/20.12	v ~x866 ~x3274 ~x10582 ~x4147 ~x6660 ~x10043 ~x7363 ~x868 ~x3276 ~x10584 
20.04/20.12	v ~x4149 ~x6662 ~x10045 ~x7365 ~x870 ~x3278 ~x10586 ~x4151 ~x6664 ~x10047 
20.04/20.12	v ~x7367 ~x872 ~x3280 ~x10588 ~x4153 ~x6666 ~x10049 ~x7369 ~x874 ~x3282 
20.04/20.12	v ~x10590 ~x4155 ~x6668 ~x10051 ~x7371 ~x876 ~x3284 ~x10592 ~x4157 ~x6670 
20.04/20.12	v ~x10053 ~x7373 ~x878 ~x3286 ~x10594 ~x4159 ~x6672 ~x10055 ~x7375 ~x880 
20.04/20.12	v ~x3288 ~x10596 ~x4161 ~x6674 ~x10057 ~x7377 ~x882 ~x3290 ~x10598 ~x4163 
20.04/20.12	v ~x6676 ~x10059 ~x7379 ~x884 ~x3292 ~x10600 ~x4165 ~x6678 ~x10061 ~x7381 
20.04/20.12	v ~x886 ~x3294 ~x225 ~x4167 ~x6680 ~x10063 ~x7383 ~x888 ~x3296 ~x10602 
20.04/20.12	v ~x4169 ~x6682 ~x10065 ~x7385 ~x890 ~x3298 ~x10604 ~x4171 ~x6684 ~x10067 
20.04/20.12	v ~x7387 ~x892 ~x3300 ~x10606 ~x4173 ~x6686 ~x10069 ~x7389 ~x4 ~x3302 
20.04/20.12	v ~x10608 ~x4175 ~x6688 ~x10071 ~x7391 ~x894 ~x3304 ~x10610 ~x4177 ~x6690 
20.04/20.12	v ~x10073 ~x7393 ~x896 ~x3306 ~x10612 ~x4179 ~x6692 ~x10075 ~x7395 ~x898 
20.04/20.12	v ~x3308 ~x10614 ~x4181 ~x6694 ~x10077 ~x7397 ~x900 ~x3310 ~x10616 ~x4183 
20.04/20.12	v ~x6696 ~x10079 ~x7399 ~x902 ~x3312 ~x10618 ~x4185 ~x6698 ~x10081 ~x7401 
20.04/20.12	v ~x904 ~x3314 ~x10620 ~x4187 ~x6700 ~x10083 ~x7403 ~x906 ~x3316 ~x10622 
20.04/20.12	v ~x4189 ~x6702 ~x10085 ~x7405 ~x908 ~x3318 ~x10624 ~x57 ~x6704 ~x10087 
20.04/20.12	v ~x7407 ~x910 ~x3320 ~x10626 ~x4191 ~x6706 ~x10089 ~x7409 ~x912 ~x3322 
20.04/20.12	v ~x10628 ~x4193 ~x6708 ~x10091 ~x7411 ~x914 ~x3324 ~x10630 ~x4195 ~x6710 
20.04/20.12	v ~x10093 ~x7413 ~x916 ~x3326 ~x226 ~x4197 ~x6712 ~x10095 ~x7415 ~x918 
20.04/20.12	v ~x3328 ~x10632 ~x4199 ~x6714 ~x10097 ~x7417 ~x920 ~x3330 ~x10634 ~x4201 
20.04/20.12	v ~x6716 ~x10099 ~x141 ~x922 ~x3332 ~x10636 ~x4203 ~x6718 ~x10101 ~x7419 
20.04/20.12	v ~x924 ~x3334 ~x10638 ~x4205 ~x6720 ~x10103 ~x7421 ~x926 ~x3336 ~x10640 
20.04/20.12	v ~x4207 ~x6722 ~x10105 ~x7423 ~x928 ~x3338 ~x10642 ~x4209 ~x6724 ~x10107 
20.04/20.12	v ~x7425 ~x930 ~x3340 ~x10644 ~x4211 ~x6726 ~x10109 ~x7427 ~x932 ~x3342 
20.04/20.12	v ~x10646 ~x4213 ~x6728 ~x10111 ~x7429 ~x934 ~x3344 ~x10648 ~x4215 ~x6730 
20.04/20.12	v ~x10113 ~x7431 ~x936 ~x3346 ~x10650 ~x4217 ~x6732 ~x10115 ~x7433 ~x938 
20.04/20.12	v ~x3348 ~x10652 ~x4219 ~x6734 ~x10117 ~x7435 ~x940 ~x3350 ~x10654 ~x4221 
20.04/20.12	v ~x6736 ~x10119 ~x7437 ~x942 ~x3352 ~x10656 ~x4223 ~x6738 ~x10121 ~x7439 
20.04/20.12	v ~x944 ~x3354 ~x10658 ~x4225 ~x6740 ~x10123 ~x7441 ~x946 ~x3356 ~x10660 
20.04/20.12	v ~x4227 ~x6742 ~x10125 ~x7443 ~x948 ~x3358 ~x227 ~x4229 ~x6744 ~x10127 
20.04/20.12	v ~x7445 ~x950 ~x3360 ~x10662 ~x4231 ~x6746 ~x10129 ~x7447 ~x952 ~x3362 
20.04/20.12	v ~x10664 ~x4233 ~x6748 ~x10131 ~x7449 ~x954 ~x3364 ~x10666 ~x4235 ~x6750 
20.04/20.12	v ~x10133 ~x7451 ~x956 ~x3366 ~x10668 ~x4237 ~x6752 ~x10135 ~x7453 ~x958 
20.04/20.12	v ~x3368 ~x10670 ~x4239 ~x6754 ~x10137 ~x7455 ~x960 ~x3370 ~x10672 ~x4241 
20.04/20.12	v ~x6756 ~x10139 ~x7457 ~x962 ~x3372 ~x10674 ~x4243 ~x6758 ~x10141 ~x7459 
20.04/20.12	v ~x964 ~x3374 ~x228 ~x4245 ~x6760 ~x10143 ~x7461 ~x966 ~x3376 ~x10676 
20.04/20.12	v ~x4247 ~x6762 ~x10145 ~x7463 ~x968 ~x3378 ~x10678 ~x4249 ~x6764 ~x10147 
20.04/20.12	v ~x7466 ~x970 ~x3380 ~x10680 ~x4251 ~x6766 ~x10149 ~x7468 ~x972 ~x3382 
20.04/20.12	v ~x10682 ~x58 ~x6768 ~x10151 ~x7470 ~x974 ~x3384 ~x10684 ~x4253 ~x6770 
20.04/20.12	v ~x10153 ~x7472 ~x976 ~x3386 ~x10686 ~x4255 ~x6772 ~x10155 ~x7474 ~x978 
20.04/20.12	v ~x3388 ~x10688 ~x4257 ~x6774 ~x10157 ~x7476 ~x980 ~x3390 ~x10690 ~x4259 
20.04/20.12	v ~x6776 ~x10159 ~x7478 ~x982 ~x3392 ~x10692 ~x4261 ~x6778 ~x10161 ~x7480 
20.04/20.12	v ~x984 ~x3394 ~x10694 ~x4263 ~x6780 ~x10163 ~x7482 ~x986 ~x3396 ~x10696 
20.04/20.12	v ~x4265 ~x6782 ~x10165 ~x7484 ~x988 ~x3398 ~x10699 ~x4267 ~x6784 ~x10167 
20.04/20.12	v ~x7486 ~x990 ~x3400 ~x10701 ~x4269 ~x6786 ~x10169 ~x7488 ~x992 ~x3402 
20.04/20.12	v ~x10703 ~x4271 ~x6788 ~x10171 ~x7490 ~x994 ~x3404 ~x10705 ~x4273 ~x6790 
20.04/20.12	v ~x10173 ~x7492 ~x996 ~x3406 ~x10707 ~x4275 ~x6792 ~x10175 ~x7494 ~x998 
20.04/20.12	v ~x3408 ~x10709 ~x4277 ~x6794 ~x10177 ~x7496 ~x1000 ~x3410 ~x10711 ~x4279 
20.04/20.13	v ~x6796 ~x10179 ~x7498 ~x1002 ~x3412 ~x10713 ~x4281 ~x6798 ~x10181 ~x7500 
20.04/20.13	v ~x1004 ~x3414 ~x10715 ~x59 ~x6800 ~x10183 ~x7502 ~x1006 ~x3416 ~x10717 
20.04/20.13	v ~x4283 ~x6802 ~x10185 ~x7504 ~x1008 ~x3418 ~x10719 ~x4285 ~x6804 ~x10187 
20.04/20.13	v ~x7506 ~x1010 ~x3420 ~x10721 ~x4287 ~x6806 ~x10189 ~x7508 ~x1012 ~x3422 
20.04/20.13	v ~x10723 ~x4289 ~x6808 ~x10191 ~x7510 ~x1014 ~x3424 ~x10725 ~x4291 ~x6810 
20.04/20.13	v ~x10193 ~x7512 ~x1016 ~x3426 ~x10727 ~x4293 ~x6812 ~x10195 ~x7514 ~x1018 
20.04/20.13	v ~x3428 ~x10729 ~x4295 ~x6814 ~x10197 ~x7516 ~x5 ~x3430 ~x10731 ~x4297 
20.04/20.13	v ~x6816 ~x10199 ~x7518 ~x1020 ~x3432 ~x10733 ~x4299 ~x6818 ~x10201 ~x7520 
20.04/20.13	v ~x1022 ~x3434 ~x10735 ~x4301 ~x6820 ~x10203 ~x7522 ~x1024 ~x3436 ~x10737 
20.04/20.13	v ~x4303 ~x6822 ~x10205 ~x7524 ~x1026 ~x3438 ~x10739 ~x4305 ~x6824 ~x10207 
20.04/20.13	v ~x7526 ~x1028 ~x3440 ~x10741 ~x4307 ~x6826 ~x10209 ~x7528 ~x1030 ~x3442 
20.04/20.13	v ~x10743 ~x4309 ~x6828 ~x10211 ~x7530 ~x1032 ~x3444 ~x10745 ~x4311 ~x6830 
20.04/20.13	v ~x10213 ~x7532 ~x1034 ~x3446 ~x10747 ~x4313 ~x6832 ~x10215 ~x7534 ~x1036 
20.04/20.13	v ~x3448 ~x10749 ~x4315 ~x6834 ~x10217 ~x7536 ~x1038 ~x3450 ~x10751 ~x4317 
20.04/20.13	v ~x6836 ~x10219 ~x7538 ~x1040 ~x3452 ~x10753 ~x4319 ~x6838 ~x10221 ~x7540 
20.04/20.13	v ~x1042 ~x3454 ~x10755 ~x4321 ~x6840 ~x10223 ~x7542 ~x1044 ~x3456 ~x10757 
20.04/20.13	v ~x4323 ~x6842 ~x10225 ~x142 ~x1046 ~x3458 ~x10759 ~x4325 ~x6844 ~x10227 
20.04/20.13	v ~x7544 ~x1048 ~x3460 ~x10761 ~x4327 ~x6846 ~x10229 ~x7546 ~x1050 ~x3462 
20.04/20.13	v ~x10763 ~x4329 ~x6848 ~x10231 ~x7548 ~x1052 ~x3464 ~x10765 ~x4331 ~x6850 
20.04/20.13	v ~x10233 ~x7550 ~x1054 ~x3466 ~x10767 ~x4333 ~x6852 ~x10235 ~x7552 ~x1056 
20.04/20.13	v ~x3468 ~x10769 ~x4335 ~x6854 ~x10237 ~x7554 ~x1058 ~x3470 ~x10771 ~x4337 
20.04/20.13	v ~x6856 ~x10239 ~x7556 ~x1060 ~x3472 ~x10773 ~x4339 ~x6858 ~x10241 ~x7558 
20.04/20.13	v ~x1062 ~x3474 ~x10775 ~x4341 ~x6860 ~x10243 ~x7560 ~x1064 ~x3476 ~x10777 
20.04/20.13	v ~x4343 ~x6862 ~x10245 ~x7562 ~x1066 ~x3478 ~x10779 ~x4345 ~x6864 ~x10247 
20.04/20.13	v ~x7564 ~x1068 ~x3480 ~x10781 ~x4347 ~x6866 ~x10249 ~x7566 ~x1070 ~x3482 
20.04/20.13	v ~x10783 ~x4349 ~x6868 ~x10251 ~x7569 ~x1072 ~x3484 ~x10785 ~x4351 ~x6870 
20.04/20.13	v ~x10253 ~x7571 ~x1074 ~x3486 ~x10787 ~x4353 ~x6872 ~x10255 ~x7573 ~x1076 
20.04/20.13	v ~x3488 ~x10789 ~x4355 ~x6874 ~x10257 ~x7575 ~x1078 ~x3490 ~x10791 ~x4357 
20.04/20.13	v ~x6876 ~x10259 ~x7577 ~x1080 ~x3492 ~x10793 ~x4359 ~x6878 ~x10261 ~x7579 
20.04/20.13	v ~x6 ~x3494 ~x10795 ~x4361 ~x6880 ~x10263 ~x7581 ~x1082 ~x3496 ~x10797 
20.04/20.13	v ~x4363 ~x6882 ~x10265 ~x7583 ~x1084 ~x3498 ~x10799 ~x4365 ~x6884 ~x10267 
20.04/20.13	v ~x7585 ~x1086 ~x3500 ~x229 ~x4367 ~x6886 ~x10269 ~x7587 ~x1088 ~x3502 
20.04/20.13	v ~x10801 ~x4369 ~x6888 ~x10271 ~x7589 ~x1090 ~x3504 ~x10803 ~x4371 ~x6890 
20.04/20.13	v ~x10273 ~x7591 ~x1092 ~x3506 ~x10805 ~x4373 ~x6892 ~x10275 ~x7593 ~x1094 
20.04/20.13	v ~x3508 ~x10807 ~x4375 ~x6894 ~x10277 ~x7595 ~x1096 ~x3510 ~x10809 ~x4377 
20.04/20.13	v ~x6896 ~x10279 ~x7597 ~x1098 ~x3512 ~x10811 ~x4379 ~x6898 ~x10281 ~x7599 
20.04/20.13	v ~x1100 ~x3514 ~x10813 ~x4381 ~x6900 x10283 ~x7601 ~x1102 ~x3516 ~x10815 
20.04/20.13	v ~x4383 ~x6902 ~x10285 ~x7603 ~x1104 ~x3518 ~x10817 ~x4385 ~x6904 x10287 
20.04/20.13	v ~x7605 ~x1106 ~x3520 ~x10819 ~x4387 ~x6906 ~x10289 ~x7607 ~x1108 ~x3522 
20.04/20.13	v ~x10821 ~x4389 ~x6908 ~x10291 ~x7609 ~x1110 ~x3524 ~x10823 ~x4391 ~x6910 
20.04/20.13	v ~x10293 ~x7611 ~x1112 ~x3526 ~x10825 ~x4393 ~x6912 ~x10295 ~x7613 ~x1114 
20.04/20.13	v ~x3528 ~x10827 ~x4395 ~x6914 ~x10297 ~x7615 ~x1116 ~x3530 ~x10829 ~x4397 
20.04/20.13	v ~x6916 ~x10299 ~x7617 ~x1118 ~x3532 ~x10831 ~x4399 ~x6918 ~x10301 ~x7619 
20.04/20.13	v ~x1120 ~x3534 ~x10833 ~x4401 ~x6920 ~x10303 ~x7621 ~x1122 ~x3536 ~x10835 
20.04/20.13	v ~x4403 ~x6922 ~x10305 ~x7623 ~x1124 ~x3538 ~x10837 ~x4405 ~x6924 ~x10307 
20.04/20.13	v ~x7625 ~x1126 ~x3540 ~x10839 ~x4407 ~x6926 ~x10309 x7627 ~x1128 ~x3542 
20.04/20.13	v ~x10841 ~x60 ~x6928 ~x10311 ~x7629 ~x1130 ~x3544 ~x10843 ~x4409 ~x6930 
20.04/20.13	v ~x10313 ~x7631 ~x1132 ~x3546 ~x10845 ~x4411 ~x6932 ~x10315 ~x7633 ~x1134 
20.04/20.13	v ~x3548 ~x10847 ~x4413 ~x6934 ~x10317 ~x7635 ~x1136 ~x3550 ~x10849 ~x4415 
20.04/20.13	v ~x6936 ~x10319 ~x7637 ~x1138 ~x3552 ~x10851 ~x4417 ~x6938 ~x10321 ~x7639 
20.04/20.13	v ~x1140 ~x3554 ~x10853 ~x4419 ~x6940 ~x10323 ~x7641 ~x1142 ~x3556 ~x10855 
20.04/20.13	v ~x4421 ~x6942 ~x10325 ~x7643 ~x7 ~x3558 ~x10857 ~x4423 ~x6944 ~x10327 
20.04/20.13	v ~x7645 ~x1144 ~x3560 ~x10859 ~x4425 ~x6946 ~x10329 ~x7647 ~x1146 ~x3562 
20.04/20.13	v ~x10861 ~x4427 ~x6948 ~x10331 ~x7649 ~x1148 ~x3564 ~x230 ~x4429 ~x6950 
20.04/20.13	v ~x10333 ~x7651 ~x1150 ~x3566 ~x10863 ~x4431 ~x6952 ~x10335 ~x7653 ~x1152 
20.04/20.13	v ~x3568 ~x10865 ~x4433 ~x6954 ~x10337 ~x7655 ~x1154 ~x3570 ~x10867 ~x4435 
20.04/20.13	v ~x6956 ~x10339 ~x7657 ~x1156 ~x3572 ~x10869 ~x4437 ~x6958 ~x10341 ~x7659 
20.04/20.13	v ~x1158 ~x3574 ~x10871 ~x4439 ~x6960 ~x10343 ~x7661 ~x1160 ~x3576 ~x10873 
20.04/20.13	v ~x4441 ~x6962 ~x10345 ~x7663 ~x1162 ~x3578 ~x10875 ~x4443 ~x6964 ~x10347 
20.04/20.13	v ~x7665 ~x1164 ~x3580 ~x10877 ~x4445 ~x6966 ~x10349 ~x143 ~x1166 ~x3582 
20.04/20.13	v ~x10879 ~x4447 ~x6968 ~x10351 ~x7667 ~x1168 ~x3584 ~x10881 ~x4449 ~x6970 
20.04/20.13	v ~x10353 ~x7669 ~x1170 ~x3586 ~x10883 ~x4451 ~x6972 ~x10355 ~x7671 ~x1172 
20.04/20.13	v ~x3588 ~x10885 ~x4453 ~x6974 ~x10357 ~x7673 ~x8 ~x3590 ~x10887 ~x4455 
20.04/20.13	v ~x6976 ~x10359 ~x7675 ~x1174 ~x3592 ~x10889 ~x4457 ~x6978 ~x10361 ~x7677 
20.04/20.13	v ~x1176 ~x3594 ~x10891 ~x4459 ~x6980 ~x10363 ~x7679 ~x1178 ~x3596 ~x10893 
20.04/20.13	v ~x4461 ~x6982 ~x10365 ~x7681 ~x1180 ~x3598 ~x10895 ~x4463 ~x6984 ~x10367 
20.04/20.13	v ~x7683 ~x1182 ~x3600 ~x10897 ~x4465 ~x6986 ~x10369 ~x7685 ~x1184 ~x3602 
20.04/20.13	v ~x10899 ~x4467 ~x6988 ~x10371 ~x7687 ~x1186 ~x3604 ~x10901 ~x4469 ~x6990 
20.04/20.13	v ~x10373 ~x7689 ~x1188 ~x3606 ~x10903 ~x61 ~x6992 ~x10375 ~x7691 ~x1190 
20.04/20.13	v ~x3608 ~x10905 ~x4471 ~x6994 ~x10377 ~x7693 ~x1192 ~x3610 ~x10907 ~x4473 
20.04/20.13	v ~x6996 ~x10379 ~x7695 ~x1194 ~x3612 ~x10909 ~x4475 ~x6998 ~x10381 ~x7697 
20.04/20.13	v ~x1196 ~x3614 ~x10911 ~x4477 ~x7000 ~x10383 ~x7699 ~x1198 ~x3616 ~x10913 
20.04/20.13	v ~x4479 ~x7002 ~x10385 ~x7701 ~x1200 x3618 ~x10915 ~x4481 ~x7004 ~x10387 
20.04/20.13	v ~x7703 ~x1202 ~x3620 ~x10917 ~x4483 ~x7006 ~x10389 ~x7705 ~x1204 ~x3622 
20.04/20.13	v ~x10919 ~x4485 ~x7008 ~x10391 ~x7707 ~x1206 ~x3624 ~x10921 ~x4487 ~x7010 
20.04/20.13	v ~x10393 ~x7709 ~x1208 ~x3626 ~x231 ~x4489 ~x7012 ~x10395 ~x7711 ~x1210 
20.04/20.13	v ~x3628 ~x10923 ~x4491 ~x7014 ~x10397 ~x7713 ~x1212 ~x3630 ~x10925 ~x4493 
20.04/20.13	v ~x7016 ~x10399 ~x7715 ~x1214 ~x3632 ~x10927 ~x4495 ~x7018 ~x10401 ~x7717 
20.04/20.13	v ~x1216 ~x3634 ~x10929 ~x4497 ~x7020 ~x10403 x7719 ~x1218 ~x3636 ~x10931 
20.04/20.13	v ~x4499 ~x7022 ~x10405 ~x7721 ~x1220 ~x3638 ~x10933 ~x4501 ~x7024 ~x10407 
20.04/20.13	v ~x7723 ~x1222 ~x3640 ~x10935 ~x4503 ~x7026 ~x10409 ~x7725 ~x1224 ~x3642 
20.04/20.13	v ~x10937 ~x4505 ~x7028 ~x10411 ~x7727 ~x1226 ~x3644 ~x10939 ~x4507 ~x7030 
20.04/20.13	v ~x10413 ~x7729 ~x1228 ~x3646 ~x10941 ~x4509 ~x7032 ~x10415 ~x7731 ~x1230 
20.04/20.13	v ~x3648 ~x10943 ~x4511 ~x7034 ~x10417 ~x7733 ~x1232 ~x3650 ~x10945 ~x4513 
20.04/20.13	v ~x7036 ~x10419 ~x7735 ~x1234 ~x3652 ~x10947 ~x4515 ~x7038 ~x10421 ~x7737 
20.04/20.13	v ~x1236 ~x3654 ~x10949 ~x4517 ~x7040 ~x10423 ~x7739 ~x1238 ~x3656 ~x10951 
20.04/20.13	v ~x4519 ~x7042 ~x10425 ~x7741 ~x1240 ~x3658 ~x232 ~x4521 ~x7044 ~x10427 
20.04/20.13	v ~x7743 ~x1242 ~x3660 ~x10953 ~x4523 ~x7046 ~x10429 ~x7745 ~x1244 ~x3662 
20.04/20.13	v ~x10955 ~x4525 ~x7048 ~x10431 ~x7747 ~x1246 ~x3664 ~x10957 ~x4527 ~x7050 
20.04/20.13	v ~x10433 ~x7749 ~x1248 ~x3666 ~x10959 ~x4529 ~x7052 ~x10435 ~x7751 ~x1250 
20.04/20.13	v ~x3668 ~x10961 ~x4531 ~x7054 ~x10437 ~x7753 ~x1252 ~x3670 ~x10963 ~x62 
20.04/20.13	v ~x7056 ~x10439 ~x7755 ~x1254 ~x3672 ~x10965 ~x4533 ~x7058 ~x10441 ~x7757 
20.04/20.13	v ~x1256 ~x3674 ~x10967 ~x4535 ~x7060 ~x10443 ~x7759 ~x1258 ~x3676 ~x10969 
20.04/20.13	v ~x4537 ~x7062 ~x10445 ~x7761 ~x1260 ~x3678 ~x10971 ~x4539 ~x7064 ~x10447 
20.04/20.13	v ~x7763 ~x1262 ~x3680 ~x10973 ~x4541 ~x7066 ~x10449 ~x7765 ~x1264 ~x3682 
20.04/20.13	v ~x10975 ~x4543 ~x7068 ~x10451 ~x7767 ~x1266 ~x3684 ~x10977 ~x4545 ~x7070 
20.04/20.13	v ~x10453 ~x7769 ~x1268 ~x3686 ~x10979 ~x4547 ~x7072 ~x10455 ~x7771 ~x1270 
20.04/20.13	v ~x3688 ~x10981 ~x4549 ~x7074 ~x10457 ~x7773 ~x1272 ~x3690 ~x10983 ~x4551 
20.04/20.13	v ~x7076 ~x10459 ~x7775 ~x1274 ~x3692 ~x10985 ~x4553 ~x7078 ~x10461 ~x7777 
20.04/20.13	v ~x1276 ~x3694 ~x10987 ~x4555 ~x7080 ~x10463 ~x7779 ~x1278 ~x3696 ~x10989 
20.04/20.13	v ~x4557 ~x7082 ~x10465 ~x7781 ~x1280 ~x3698 ~x10991 ~x4559 ~x7084 ~x10467 
20.04/20.13	v ~x7783 ~x1282 ~x3700 ~x10993 ~x4561 ~x7086 ~x10469 ~x7785 ~x1284 ~x3702 
20.04/20.13	v ~x10995 ~x63 ~x7088 ~x10471 ~x7787 ~x1286 ~x3704 ~x10997 ~x4563 ~x7090 
20.04/20.13	v ~x10473 ~x7789 ~x1288 ~x3706 ~x10999 ~x4565 ~x7092 ~x10475 ~x7791 ~x1290 
20.04/20.13	v ~x3708 ~x11001 ~x4567 ~x7094 ~x10477 ~x325 ~x7793 ~x1292 ~x3710 ~x11003 
20.04/20.13	v ~x4569 ~x7096 ~x10479 ~x327 ~x7795 ~x1294 ~x3712 ~x11005 ~x4571 ~x7098 
20.04/20.13	v ~x10481 ~x329 ~x7797 ~x1296 ~x3714 ~x11007 ~x4573 ~x7100 ~x10483 ~x331 
20.04/20.13	v ~x7799 ~x1298 ~x3716 ~x11009 ~x4575 ~x7102 ~x10485 ~x333 ~x7801 ~x9 
20.04/20.13	v ~x3718 ~x11011 ~x4577 ~x7104 ~x10487 ~x335 ~x7803 ~x1300 ~x3720 ~x11013 
20.04/20.13	v ~x4579 ~x7106 ~x10489 ~x337 ~x7805 ~x1302 ~x3722 ~x233 ~x4581 ~x7108 
20.04/20.13	v ~x10491 ~x339 ~x7807 ~x1304 ~x3724 ~x11015 ~x4583 ~x7110 ~x10493 ~x341 
20.04/20.13	v ~x7809 ~x1306 ~x3726 ~x11017 ~x4585 ~x7112 ~x10495 ~x343 ~x7811 ~x1308 
20.04/20.13	v ~x3728 ~x11019 ~x4587 ~x7114 ~x10497 ~x345 ~x7813 ~x1310 ~x3730 ~x11021 
20.04/20.13	v ~x4589 ~x7116 ~x10499 ~x347 ~x7815 ~x1312 ~x3732 ~x11023 ~x7118 ~x10501 
20.04/20.13	v ~x349 ~x7817 ~x1314 ~x3734 ~x11025 ~x7120 ~x4591 ~x10503 ~x351 ~x7819 
20.04/20.13	v ~x1316 ~x3736 ~x11027 ~x7122 ~x4593 ~x10505 ~x353 ~x7821 ~x1318 ~x3738 
20.04/20.13	v ~x11029 ~x7124 ~x4595 ~x10507 ~x355 ~x144 ~x1320 ~x3740 ~x11031 ~x7126 
20.04/20.13	v ~x4597 ~x10509 ~x357 ~x7823 ~x1322 ~x3742 ~x11033 ~x7128 ~x4599 ~x10511 
20.04/20.13	v ~x359 ~x7825 ~x1324 ~x3744 ~x11035 ~x7130 ~x4601 ~x10513 ~x361 ~x7827 
20.04/20.13	v ~x1326 ~x3746 ~x11037 x7132 ~x4603 ~x10515 ~x363 ~x7829 ~x1328 ~x3748 
20.04/20.13	v ~x11039 ~x7134 ~x4605 ~x10517 ~x365 ~x7831 ~x1330 ~x3750 ~x11041 ~x7136 
20.04/20.13	v ~x4607 ~x10519 ~x367 ~x7833 ~x1332 ~x3752 ~x11043 ~x7138 ~x4609 ~x10521 
20.04/20.13	v ~x369 ~x7835 ~x1334 ~x3754 ~x234 ~x7140 ~x4611 ~x10523 ~x371 ~x7837 
20.04/20.13	v ~x1336 ~x3756 ~x11045 ~x7142 ~x4613 ~x10525 ~x373 ~x7839 ~x1338 ~x3758 
20.04/20.13	v ~x11047 ~x7144 ~x4615 ~x10527 ~x375 ~x7841 ~x1340 ~x3760 ~x11049 ~x7146 
20.04/20.13	v ~x4617 ~x10529 ~x377 ~x7843 ~x1342 ~x3762 ~x11051 ~x7148 ~x4619 ~x10531 
20.04/20.13	v ~x379 ~x7845 ~x1344 ~x3764 ~x11053 ~x7150 ~x4621 ~x10533 ~x381 ~x7847 
20.04/20.13	v ~x1346 ~x3766 ~x11055 ~x7152 ~x4623 ~x10535 ~x383 ~x7849 ~x1348 ~x3768 
20.04/20.13	v ~x11057 ~x7154 ~x64 ~x10537 ~x385 ~x7851 ~x1350 ~x3770 ~x11059 ~x7156 
20.04/20.13	v ~x4625 ~x10539 ~x387 ~x7853 ~x1352 ~x3772 ~x11061 ~x7158 ~x4627 ~x10541 
20.04/20.13	v ~x389 ~x7855 ~x1354 ~x3774 ~x11063 ~x7160 ~x4629 ~x10543 ~x391 ~x7857 
20.04/20.13	v ~x1356 ~x3776 ~x11065 ~x7162 ~x4631 ~x10545 ~x393 ~x7859 ~x1358 ~x3778 
20.04/20.13	v ~x11067 ~x7164 ~x4633 ~x10547 x395 ~x7861 ~x1360 ~x3780 ~x11069 ~x7166 
20.04/20.13	v ~x4635 ~x10549 ~x397 ~x7863 ~x10 ~x3782 ~x11071 ~x7168 ~x4637 ~x10551 
20.04/20.13	v ~x399 ~x7865 ~x1362 ~x3784 ~x11073 ~x7170 ~x4639 ~x10553 ~x401 ~x7867 
20.04/20.13	v ~x1364 ~x3786 ~x235 ~x7172 ~x4641 ~x10555 ~x403 ~x7869 ~x1366 ~x3788 
20.04/20.13	v ~x11075 ~x7174 ~x4643 ~x10557 ~x405 ~x7871 ~x1368 ~x3790 ~x11077 ~x7176 
20.04/20.13	v ~x4645 ~x10559 ~x407 ~x7873 ~x1370 ~x3792 ~x11079 ~x7178 ~x4647 ~x10561 
20.04/20.13	v ~x409 ~x7875 ~x1372 ~x3794 ~x11081 ~x7180 ~x4649 ~x10563 ~x411 ~x7877 
20.04/20.13	v ~x1374 ~x3796 ~x11083 ~x7182 ~x4651 ~x10565 ~x413 ~x7879 ~x1376 ~x3798 
20.04/20.13	v ~x11085 ~x7184 ~x4653 ~x10567 ~x415 ~x7881 ~x1378 ~x3800 ~x11087 ~x7186 
20.04/20.13	v ~x65 ~x10569 ~x417 ~x7883 ~x1380 ~x3802 ~x236 ~x7188 ~x4655 ~x10571 
20.04/20.13	v ~x419 ~x145 ~x1382 ~x3804 ~x11089 ~x7190 ~x4657 ~x10573 ~x421 ~x7885 
20.04/20.13	v ~x1384 ~x3806 ~x11091 ~x7192 ~x4659 ~x10575 ~x423 ~x7887 ~x1386 ~x3808 
20.04/20.13	v ~x11093 ~x7194 ~x4661 ~x10577 ~x425 ~x7889 ~x1388 ~x3810 ~x11095 ~x7196 
20.04/20.13	v ~x4663 ~x10579 ~x427 ~x7891 ~x1390 ~x3812 ~x11097 ~x7198 ~x4665 ~x10581 
20.04/20.13	v ~x429 ~x7893 ~x1392 ~x3814 ~x11099 ~x7200 ~x4667 ~x10583 ~x431 ~x7895 
20.04/20.13	v ~x1394 ~x3816 ~x11101 ~x7202 ~x4669 ~x10585 ~x433 ~x7897 ~x1396 ~x3818 
20.04/20.13	v ~x11103 ~x7204 ~x4671 ~x10587 ~x435 ~x7899 ~x1398 ~x3820 ~x11105 ~x7206 
20.04/20.13	v ~x4673 ~x10589 ~x437 ~x7901 ~x1400 ~x3822 ~x11107 ~x7208 ~x4675 ~x10591 
20.04/20.13	v ~x439 ~x7903 ~x1402 ~x3824 ~x11109 ~x7210 ~x4677 ~x10593 ~x441 ~x7905 
20.04/20.13	v ~x1404 ~x3826 ~x11111 ~x7212 ~x4679 ~x10595 ~x443 ~x7907 ~x1406 ~x3828 
20.04/20.13	v ~x11113 ~x7214 ~x4681 ~x10597 ~x445 ~x7909 ~x1408 ~x3830 ~x11115 ~x7216 
20.04/20.13	v x4683 ~x10599 ~x447 ~x7911 ~x1410 ~x3832 ~x11117 ~x7218 ~x4685 ~x10601 
20.04/20.13	v ~x449 ~x7913 ~x1412 ~x3834 ~x11119 ~x7220 ~x4687 ~x10603 ~x451 ~x7915 
20.04/20.13	v ~x1414 ~x3836 ~x11121 ~x7222 ~x4689 ~x10605 ~x453 ~x7917 ~x1416 ~x3838 
20.04/20.13	v ~x11123 ~x7224 ~x4691 ~x10607 ~x455 ~x7919 ~x1418 ~x3840 ~x11125 ~x7226 
20.04/20.13	v ~x4693 ~x10609 ~x457 ~x7921 ~x1420 ~x3842 ~x11127 x7228 ~x4695 ~x10611 
20.04/20.13	v ~x459 ~x7923 ~x1422 ~x3844 ~x11129 ~x7230 ~x4697 ~x10613 ~x461 ~x7925 
20.04/20.13	v ~x11 ~x3846 ~x11131 ~x7232 ~x4699 ~x10615 ~x463 ~x7927 ~x1424 ~x3848 
20.04/20.13	v ~x11133 ~x7234 ~x4701 ~x10617 ~x465 ~x7929 ~x1426 ~x3850 ~x11135 ~x7236 
20.04/20.13	v ~x4703 ~x10619 ~x467 ~x7931 ~x1428 ~x3852 ~x11137 ~x7238 ~x4705 ~x10621 
20.04/20.13	v ~x469 ~x7933 ~x1430 ~x3854 ~x11139 ~x7240 ~x4707 ~x10623 ~x471 ~x7935 
20.04/20.13	v ~x1432 ~x3856 ~x11141 ~x7242 ~x4709 ~x10625 ~x473 ~x7937 ~x1434 ~x3858 
20.04/20.13	v ~x11143 ~x7244 ~x4711 ~x10627 ~x475 ~x7939 ~x1436 ~x3860 ~x11145 ~x7246 
20.04/20.13	v ~x4713 ~x10629 ~x477 ~x7941 ~x1438 ~x3862 ~x11147 ~x7248 ~x4715 ~x10631 
20.04/20.13	v ~x479 ~x7943 ~x1440 ~x3864 ~x11149 ~x7250 ~x4717 ~x10633 ~x481 ~x7945 
20.04/20.13	v ~x1442 ~x3866 ~x237 ~x7252 x4719 ~x10635 ~x483 ~x146 ~x1444 ~x3868 
20.04/20.13	v ~x11151 ~x7254 ~x4721 ~x10637 ~x485 ~x7947 ~x1446 ~x3870 ~x11153 ~x7256 
20.04/20.13	v ~x4723 ~x10639 ~x487 ~x7949 ~x1448 ~x3872 ~x11155 ~x7258 ~x4725 ~x10641 
20.04/20.13	v ~x489 ~x7951 ~x1450 ~x3874 ~x11157 ~x7260 ~x4727 ~x10643 ~x491 ~x7953 
20.04/20.13	v ~x1452 ~x3876 ~x11159 ~x7262 ~x4729 ~x10645 ~x493 ~x7955 ~x1454 ~x3878 
20.04/20.13	v ~x11161 ~x7264 ~x4731 ~x10647 ~x495 ~x7957 ~x1456 ~x3880 ~x11163 ~x7266 
20.04/20.13	v ~x4733 ~x10649 ~x497 ~x7959 ~x1458 ~x3882 ~x11165 ~x7268 ~x4735 ~x10651 
20.04/20.13	v ~x499 ~x7961 ~x1460 ~x3884 ~x11167 ~x7270 ~x4737 ~x10653 ~x501 ~x7963 
20.04/20.13	v ~x1462 ~x3886 ~x11169 ~x7272 ~x4739 ~x10655 ~x503 ~x7965 ~x1464 ~x3888 
20.04/20.13	v ~x11171 ~x7274 ~x4741 ~x10657 ~x505 ~x7967 ~x1466 ~x3890 ~x11173 ~x7276 
20.04/20.13	v ~x4743 ~x10659 ~x507 ~x7969 ~x1468 ~x3892 ~x11175 ~x7278 ~x4745 ~x10661 
20.04/20.13	v ~x509 ~x7971 ~x1470 ~x3894 ~x11177 ~x7280 ~x4747 ~x10663 ~x511 ~x7973 
20.04/20.13	v ~x1472 ~x3896 ~x11179 ~x7282 ~x4749 ~x10665 ~x513 ~x7975 ~x1474 ~x3898 
20.04/20.13	v ~x238 ~x7284 ~x4751 ~x10667 ~x515 ~x7977 ~x1476 ~x3900 ~x11181 ~x7286 
20.04/20.13	v ~x4753 ~x10669 ~x517 ~x7979 ~x1478 ~x3902 ~x11183 ~x7288 ~x4755 ~x10671 
20.04/20.13	v ~x519 ~x7981 ~x1480 ~x3904 ~x11185 ~x7290 ~x4757 ~x10673 ~x521 x7983 
20.04/20.13	v ~x1482 ~x3906 ~x11187 ~x7292 ~x4759 ~x10675 ~x523 ~x7985 ~x1484 ~x3908 
20.04/20.13	v ~x11189 ~x7294 ~x66 ~x10677 ~x525 ~x7987 ~x1486 ~x3910 ~x11191 ~x7296 
20.04/20.13	v ~x4761 ~x10679 ~x527 ~x7989 ~x1488 ~x3912 ~x11193 ~x7298 ~x4763 ~x10681 
20.04/20.13	v ~x529 ~x7991 ~x1490 ~x3914 ~x11195 ~x7300 ~x4765 ~x10683 ~x531 ~x7993 
20.04/20.13	v ~x1492 ~x3916 ~x11197 ~x7302 ~x4767 ~x10685 ~x533 ~x7995 ~x1494 ~x3918 
20.04/20.13	v ~x11199 ~x7304 ~x4769 ~x10687 ~x535 ~x7997 ~x1496 ~x3920 ~x11201 ~x7306 
20.04/20.13	v ~x4771 ~x10689 ~x537 ~x7999 ~x1498 ~x3922 ~x11203 ~x7308 ~x4773 ~x10691 
20.04/20.13	v ~x539 ~x8001 ~x1500 ~x3924 ~x11205 ~x7310 ~x4775 ~x10693 ~x541 ~x8003 
20.04/20.13	v ~x1502 ~x3926 ~x11207 ~x7312 ~x4777 ~x10695 ~x543 ~x8005 ~x1504 ~x3928 
20.04/20.13	v ~x11209 ~x7314 ~x4779 ~x10697 ~x545 ~x8007 ~x1506 ~x3930 ~x239 ~x7316 
20.04/20.13	v ~x4781 ~x10698 ~x547 ~x8009 ~x1508 ~x3932 ~x11211 ~x7318 ~x4783 ~x10700 
20.04/20.13	v ~x549 ~x8011 ~x1510 ~x3934 ~x11213 ~x7320 ~x4785 ~x10702 ~x551 ~x8013 
20.04/20.13	v ~x1512 ~x3936 ~x11215 ~x7322 ~x4787 ~x10704 ~x553 ~x8015 ~x1514 ~x3938 
20.04/20.13	v ~x11217 ~x7324 ~x4789 ~x10706 ~x555 ~x8017 ~x1516 ~x3940 ~x11219 ~x7326 
20.04/20.13	v ~x67 ~x10708 ~x557 ~x8019 ~x1518 ~x3942 ~x11221 ~x7328 ~x4791 ~x10710 
20.04/20.13	v ~x559 ~x8021 ~x1520 ~x3944 ~x11223 ~x7330 ~x4793 ~x10712 ~x561 ~x8023 
20.04/20.13	v ~x1522 ~x3946 ~x240 ~x7332 ~x4795 ~x10714 ~x563 ~x8025 x1524 ~x3948 
20.04/20.13	v ~x11225 ~x7334 ~x4797 ~x10716 ~x565 ~x8027 ~x1526 ~x3950 ~x11227 ~x7336 
20.04/20.13	v ~x4799 ~x10718 ~x567 ~x8029 ~x1528 ~x3952 ~x11229 ~x7338 ~x4801 ~x10720 
20.04/20.13	v ~x569 ~x8031 ~x1530 ~x3954 ~x11231 ~x7340 ~x4803 ~x10722 ~x571 ~x8033 
20.04/20.13	v ~x1532 ~x3956 ~x11233 ~x7342 ~x4805 ~x10724 ~x573 ~x8035 ~x1534 ~x3958 
20.04/20.13	v ~x11235 ~x7344 ~x4807 ~x10726 ~x575 ~x8037 ~x1536 ~x3960 ~x11237 ~x7346 
20.04/20.13	v ~x4809 ~x10728 ~x577 ~x147 ~x1538 ~x3962 ~x11239 ~x7348 ~x4811 ~x10730 
20.04/20.13	v ~x579 ~x8039 ~x1540 ~x3964 ~x11241 ~x7350 ~x4813 ~x10732 ~x581 ~x8041 
20.04/20.13	v ~x1542 ~x3966 ~x11243 ~x7352 ~x4815 ~x10734 ~x583 ~x8043 ~x1544 ~x3968 
20.04/20.13	v ~x11245 ~x7354 ~x4817 ~x10736 ~x585 ~x8045 ~x1546 ~x3970 ~x11247 ~x7356 
20.04/20.13	v ~x4819 ~x10738 ~x587 ~x8047 ~x1548 ~x3972 ~x11249 ~x7358 ~x4821 ~x10740 
20.04/20.13	v ~x589 ~x8049 ~x1550 ~x3974 ~x11251 ~x7360 ~x4823 ~x10742 ~x591 ~x8051 
20.04/20.13	v ~x1552 ~x3976 ~x11253 ~x7362 ~x4825 ~x10744 ~x593 ~x8053 ~x1554 ~x3978 
20.04/20.13	v ~x241 ~x7364 ~x4827 ~x10746 ~x595 ~x8055 ~x1556 ~x3980 ~x11255 ~x7366 
20.04/20.13	v ~x4829 ~x10748 ~x597 ~x8057 ~x1558 ~x3982 ~x11257 ~x7368 ~x4831 ~x10750 
20.04/20.13	v ~x599 ~x8059 ~x1560 ~x3984 ~x11259 ~x7370 ~x4833 ~x10752 ~x601 ~x8061 
20.04/20.13	v ~x1562 ~x3986 ~x11261 ~x7372 ~x4835 ~x10754 ~x603 ~x8063 ~x1564 ~x3988 
20.04/20.13	v ~x11263 ~x7374 ~x4837 ~x10756 ~x605 ~x8065 ~x1566 ~x3990 ~x11265 ~x7376 
20.04/20.13	v ~x4839 ~x10758 ~x607 ~x8067 ~x1568 ~x3992 ~x11267 ~x7378 ~x4841 ~x10760 
20.04/20.13	v ~x609 ~x8069 ~x1570 ~x3994 ~x11269 ~x7380 ~x4843 ~x10762 ~x611 ~x8071 
20.04/20.13	v ~x1572 ~x3996 ~x11271 ~x7382 ~x4845 ~x10764 ~x613 ~x8073 ~x1574 ~x3998 
20.04/20.13	v x11273 ~x7384 ~x4847 ~x10766 ~x615 ~x8075 ~x1576 ~x4000 ~x11275 ~x7386 
20.04/20.13	v ~x4849 ~x10768 ~x617 ~x8077 ~x1578 ~x4002 ~x11277 ~x7388 ~x4851 ~x10770 
20.04/20.13	v ~x619 ~x8079 ~x12 ~x4004 ~x11279 ~x7390 ~x68 ~x10772 ~x621 ~x8081 
20.04/20.13	v ~x1580 ~x4006 ~x11281 ~x7392 ~x4853 ~x10774 ~x623 ~x8083 ~x1582 ~x4008 
20.04/20.13	v ~x242 ~x7394 ~x4855 ~x10776 ~x625 ~x8085 ~x1584 ~x4010 ~x11283 ~x7396 
20.04/20.13	v ~x4857 ~x10778 ~x627 ~x8087 ~x1586 ~x4012 ~x11285 ~x7398 ~x4859 ~x10780 
20.04/20.13	v ~x629 ~x8089 ~x1588 ~x4014 ~x11287 ~x7400 ~x4861 ~x10782 ~x631 ~x8091 
20.04/20.13	v ~x1590 ~x4016 ~x243 ~x7402 ~x4863 ~x10784 ~x633 ~x8093 ~x1592 ~x4018 
20.04/20.13	v ~x11289 ~x7404 ~x4865 ~x10786 ~x635 ~x8095 ~x1594 ~x4020 ~x11291 ~x7406 
20.04/20.13	v ~x4867 ~x10788 ~x637 ~x8097 ~x1596 ~x4022 ~x11293 ~x7408 ~x4869 ~x10790 
20.04/20.13	v ~x639 ~x8099 ~x1598 ~x4024 ~x11295 ~x7410 ~x4871 ~x10792 ~x641 ~x148 
20.04/20.13	v ~x1600 ~x4026 ~x11297 ~x7412 ~x4873 ~x10794 ~x643 ~x8101 ~x1602 ~x4028 
20.04/20.13	v ~x11299 ~x7414 ~x4875 ~x10796 ~x645 ~x8103 ~x1604 ~x4030 ~x11301 ~x7416 
20.04/20.13	v ~x4877 ~x10798 ~x647 ~x8105 ~x1606 ~x4032 ~x11303 ~x7418 ~x4879 ~x10800 
20.04/20.13	v ~x649 ~x8107 ~x1608 ~x4034 ~x11305 ~x7420 ~x4881 ~x10802 ~x651 ~x8109 
20.04/20.13	v ~x1610 ~x4036 ~x11307 ~x7422 ~x69 ~x10804 ~x653 ~x8111 ~x1612 ~x4038 
20.04/20.13	v ~x11309 ~x7424 ~x4883 ~x10806 ~x655 ~x8113 ~x1614 ~x4040 ~x11311 ~x7426 
20.04/20.13	v ~x4885 ~x10808 ~x657 ~x8115 ~x1616 ~x4042 ~x11313 ~x7428 ~x4887 ~x10810 
20.04/20.13	v ~x659 ~x8117 ~x1618 ~x4044 ~x11315 ~x7430 ~x4889 ~x10812 ~x661 ~x8119 
20.04/20.13	v ~x1620 ~x4046 ~x11317 ~x7432 ~x4891 ~x10814 ~x663 ~x8121 ~x1622 ~x4048 
20.04/20.13	v ~x244 ~x7434 ~x4893 ~x10816 ~x665 ~x8123 ~x1624 ~x4050 ~x11319 ~x7436 
20.04/20.13	v ~x4895 ~x10818 ~x667 ~x8125 ~x1626 ~x4052 ~x11321 ~x7438 ~x4897 ~x10820 
20.04/20.13	v ~x669 ~x8127 ~x1628 ~x4054 ~x11323 ~x7440 ~x4899 ~x10822 ~x671 ~x8129 
20.04/20.13	v ~x1630 ~x4056 ~x11325 ~x7442 ~x4901 ~x10824 ~x673 ~x149 ~x1632 ~x4058 
20.04/20.13	v ~x11327 ~x7444 ~x4903 ~x10826 ~x675 ~x8131 ~x1634 ~x4060 ~x11329 ~x7446 
20.04/20.13	v ~x4905 ~x10828 ~x677 ~x8133 ~x1636 ~x4062 ~x11331 ~x7448 ~x4907 ~x10830 
20.04/20.13	v ~x679 ~x8135 ~x1638 ~x4064 ~x11333 ~x7450 ~x4909 ~x10832 ~x681 ~x8137 
20.04/20.13	v ~x1640 ~x4066 ~x11335 ~x7452 ~x4911 ~x10834 ~x683 ~x8139 ~x13 ~x4068 
20.04/20.13	v ~x11337 ~x7454 ~x70 ~x10836 ~x685 ~x8141 ~x1642 ~x4070 ~x11339 ~x7456 
20.04/20.13	v ~x4913 ~x10838 ~x687 ~x8143 ~x1644 ~x4072 ~x11341 ~x7458 ~x4915 ~x10840 
20.04/20.13	v ~x689 ~x8145 ~x1646 ~x4074 ~x11343 ~x7460 ~x4917 ~x10842 ~x691 ~x8147 
20.04/20.13	v ~x1648 ~x4076 ~x11345 ~x7462 ~x4919 ~x10844 ~x693 ~x8149 ~x1650 ~x4078 
20.04/20.13	v ~x11347 ~x7464 ~x4921 ~x10846 ~x695 ~x8151 ~x1652 ~x4080 ~x11349 ~x7465 
20.04/20.13	v ~x4923 ~x10848 ~x697 ~x8153 ~x1654 ~x4082 ~x11351 ~x7467 ~x4925 ~x10850 
20.04/20.13	v ~x699 ~x8155 ~x1656 ~x4084 ~x11353 ~x7469 ~x71 ~x10852 ~x701 ~x8157 
20.04/20.13	v ~x1658 ~x4086 ~x11355 ~x7471 ~x4927 ~x10854 ~x703 ~x8159 ~x1660 ~x4088 
20.04/20.13	v ~x11357 ~x7473 ~x4929 ~x10856 ~x705 ~x8161 ~x1662 ~x4090 ~x11359 ~x7475 
20.04/20.13	v ~x4931 ~x10858 ~x707 ~x8163 ~x1664 ~x4092 ~x11361 ~x7477 ~x4933 ~x10860 
20.04/20.13	v ~x709 ~x8166 ~x1666 ~x4094 ~x11363 ~x7479 ~x4935 ~x10862 ~x711 ~x8168 
20.04/20.13	v ~x1668 ~x4096 ~x11365 ~x7481 ~x4937 ~x10864 ~x713 ~x8170 ~x1670 ~x4098 
20.04/20.13	v ~x11367 ~x7483 ~x4939 ~x10866 ~x715 ~x8172 ~x1672 ~x4100 ~x11369 ~x7485 
20.04/20.13	v ~x4941 ~x10868 ~x717 ~x8174 ~x1674 ~x4102 ~x11371 ~x7487 ~x4943 ~x10870 
20.04/20.13	v ~x719 ~x8176 ~x1676 ~x4104 ~x11373 ~x7489 ~x4945 ~x10872 ~x721 ~x8178 
20.04/20.13	v ~x1678 ~x4106 ~x11375 ~x7491 ~x4947 ~x10874 ~x723 ~x8180 ~x1680 ~x4108 
20.04/20.13	v ~x11377 ~x7493 ~x4949 ~x10876 ~x725 ~x8182 ~x1682 ~x4110 ~x11379 ~x7495 
20.04/20.13	v ~x4951 ~x10878 ~x727 ~x8184 ~x1684 ~x4112 ~x245 ~x7497 ~x4953 ~x10880 
20.04/20.13	v ~x729 ~x8186 ~x1686 ~x4114 ~x11381 ~x7499 ~x4955 ~x10882 ~x731 ~x8188 
20.04/20.13	v ~x1688 ~x4116 ~x11383 ~x7501 ~x4957 ~x10884 ~x733 ~x150 ~x1690 ~x4118 
20.04/20.13	v ~x11385 ~x7503 ~x4959 ~x10886 ~x735 ~x8190 ~x1692 ~x4120 ~x11387 ~x7505 
20.04/20.13	v ~x4961 ~x10888 ~x737 ~x8192 ~x1694 ~x4122 ~x11389 ~x7507 ~x4963 ~x10890 
20.04/20.13	v ~x739 ~x8194 ~x1696 ~x4124 ~x11391 ~x7509 ~x4965 ~x10892 ~x741 ~x8196 
20.04/20.13	v ~x1698 ~x4126 ~x11393 ~x7511 ~x4967 ~x10894 ~x743 ~x8198 ~x1700 ~x4128 
20.04/20.13	v ~x11395 ~x7513 ~x4969 ~x10896 ~x745 ~x8200 ~x1702 ~x4130 ~x11397 ~x7515 
20.04/20.13	v ~x4971 ~x10898 ~x747 ~x8202 ~x14 ~x4132 ~x11399 ~x7517 ~x4973 ~x10900 
20.04/20.13	v ~x749 ~x8204 ~x1704 ~x4134 ~x11401 ~x7519 ~x4975 ~x10902 ~x751 ~x8206 
20.04/20.13	v ~x1706 ~x4136 ~x11403 ~x7521 ~x4977 ~x10904 ~x753 ~x8208 ~x1708 ~x4138 
20.04/20.13	v ~x11405 ~x7523 ~x4979 ~x10906 ~x755 ~x8210 ~x1710 ~x4140 ~x11407 ~x7525 
20.04/20.13	v ~x4981 ~x10908 ~x757 ~x8212 ~x1712 ~x4142 ~x11409 ~x7527 ~x4983 ~x10910 
20.04/20.13	v ~x759 ~x8214 ~x1714 ~x4144 ~x246 ~x7529 ~x4985 ~x10912 ~x761 ~x8216 
20.04/20.13	v ~x1716 ~x4146 ~x11411 ~x7531 ~x4987 ~x10914 ~x763 ~x8218 ~x1718 ~x4148 
20.04/20.13	v ~x11413 ~x7533 ~x4989 ~x10916 ~x765 ~x151 ~x1720 ~x4150 ~x11415 ~x7535 
20.04/20.13	v ~x4991 ~x10918 ~x767 ~x8220 ~x1722 ~x4152 ~x11417 ~x7537 ~x4993 ~x10920 
20.04/20.13	v ~x769 ~x8222 ~x1724 ~x4154 ~x11419 ~x7539 ~x4995 ~x10922 ~x771 ~x8224 
20.04/20.13	v ~x1726 ~x4156 ~x11421 ~x7541 ~x4997 ~x10924 ~x773 ~x8226 ~x1728 ~x4158 
20.04/20.13	v ~x11423 ~x7543 ~x4999 ~x10926 ~x775 ~x8228 ~x1730 ~x4160 ~x11425 ~x7545 
20.04/20.13	v ~x5001 ~x10928 ~x777 ~x8230 ~x1732 ~x4162 ~x11427 ~x7547 ~x5003 ~x10930 
20.04/20.13	v ~x779 ~x8232 ~x15 ~x4164 ~x11429 ~x7549 ~x5005 ~x10932 ~x781 ~x8234 
20.04/20.13	v ~x1734 ~x4166 ~x11431 ~x7551 ~x5007 ~x10934 ~x783 ~x8236 ~x1736 ~x4168 
20.04/20.13	v ~x11433 ~x7553 ~x5009 ~x10936 ~x785 ~x8238 ~x1738 ~x4170 ~x11435 ~x7555 
20.04/20.13	v ~x5011 ~x10938 ~x787 ~x8240 ~x1740 ~x4172 ~x11437 ~x7557 ~x5013 ~x10940 
20.04/20.13	v ~x789 ~x8242 ~x1742 ~x4174 ~x11439 ~x7559 ~x5015 ~x10942 ~x791 ~x8244 
20.04/20.13	v ~x1744 ~x4176 ~x247 ~x7561 ~x5017 ~x10944 ~x793 ~x8246 ~x1746 ~x4178 
20.04/20.13	v ~x11441 ~x7563 ~x5019 ~x10946 ~x795 ~x8248 ~x1748 ~x4180 ~x11443 ~x7565 
20.04/20.13	v ~x5021 ~x10948 ~x797 ~x152 ~x1750 ~x4182 ~x11445 ~x7567 ~x5023 ~x10950 
20.04/20.13	v ~x799 ~x8250 ~x1752 ~x4184 ~x11447 ~x7568 ~x5025 ~x10952 ~x801 ~x8252 
20.04/20.13	v ~x1754 ~x4186 ~x11449 ~x7570 ~x5027 ~x10954 ~x803 ~x8254 ~x1756 ~x4188 
20.04/20.13	v ~x11451 ~x7572 ~x5029 ~x10956 ~x805 ~x8256 ~x1758 ~x4190 ~x11453 ~x7574 
20.04/20.13	v ~x5031 ~x10958 ~x807 ~x8258 ~x1760 ~x4192 ~x248 ~x7576 ~x5033 ~x10960 
20.04/20.13	v ~x809 ~x8260 ~x1762 ~x4194 ~x11455 ~x7578 ~x5035 ~x10962 ~x811 ~x8262 
20.04/20.13	v ~x1764 ~x4196 ~x11457 ~x7580 ~x5037 ~x10964 ~x813 ~x153 ~x1766 ~x4198 
20.04/20.13	v ~x11459 ~x7582 ~x5039 ~x10966 ~x815 ~x8264 ~x1768 ~x4200 ~x11461 ~x7584 
20.04/20.13	v ~x5041 ~x10968 ~x817 ~x8266 ~x1770 ~x4202 ~x11463 ~x7586 ~x5043 ~x10970 
20.04/20.13	v ~x819 ~x8268 ~x1772 ~x4204 ~x11465 ~x7588 ~x5045 ~x10972 ~x821 ~x8270 
20.04/20.13	v ~x1774 ~x4206 ~x11467 ~x7590 ~x5047 ~x10974 ~x823 ~x8272 ~x1776 ~x4208 
20.04/20.13	v ~x11469 ~x7592 ~x5049 ~x10976 ~x825 ~x8274 ~x1778 ~x4210 ~x11471 ~x7594 
20.04/20.13	v ~x5051 ~x10978 ~x827 ~x8276 ~x1780 ~x4212 ~x11473 ~x7596 ~x72 ~x10980 
20.04/20.13	v ~x829 ~x8278 ~x1782 ~x4214 ~x11475 ~x7598 ~x5053 ~x10982 ~x831 ~x8280 
20.04/20.13	v ~x1784 ~x4216 ~x11477 ~x7600 ~x5055 ~x10984 ~x833 ~x8282 ~x1786 ~x4218 
20.04/20.13	v ~x11479 ~x7602 ~x5057 ~x10986 ~x835 ~x8284 ~x1788 ~x4220 ~x11481 ~x7604 
20.04/20.13	v ~x5059 ~x10988 ~x837 ~x8286 ~x1790 ~x4222 ~x11483 ~x7606 ~x5061 ~x10990 
20.04/20.13	v ~x839 ~x8288 ~x1792 ~x4224 ~x249 ~x7608 ~x5063 ~x10992 ~x841 ~x8290 
20.04/20.13	v ~x16 ~x4226 ~x11485 ~x7610 ~x5065 ~x10994 ~x843 ~x8292 ~x1794 ~x4228 
20.04/20.13	v ~x11487 ~x7612 ~x5067 ~x10996 ~x845 ~x8294 ~x1796 ~x4230 ~x11489 ~x7614 
20.04/20.13	v ~x5069 ~x10998 ~x847 ~x8296 ~x1798 ~x4232 ~x11491 ~x7616 ~x5071 ~x11000 
20.04/20.13	v ~x849 ~x8298 ~x1800 ~x4234 ~x11493 ~x7618 ~x5073 ~x11002 ~x851 ~x8300 
20.04/20.13	v ~x1802 ~x4236 ~x11495 ~x7620 ~x5075 ~x11004 ~x853 ~x8302 ~x1804 ~x4238 
20.04/20.13	v ~x11497 ~x7622 ~x5077 ~x11006 ~x855 ~x8304 ~x1806 ~x4240 ~x11499 ~x7624 
20.04/20.13	v ~x5079 ~x11008 ~x857 ~x8306 ~x1808 ~x4242 ~x11501 ~x7626 ~x5081 ~x11010 
20.04/20.13	v ~x859 ~x8308 ~x1810 ~x4244 ~x11503 x7628 ~x5083 ~x11012 ~x861 ~x8310 
20.04/20.13	v ~x1812 ~x4246 ~x11505 ~x7630 ~x5085 ~x11014 ~x863 ~x8312 ~x1814 ~x4248 
20.04/20.13	v ~x11507 ~x7632 ~x5087 ~x11016 ~x865 ~x8314 ~x1816 ~x4250 ~x11509 ~x7634 
20.04/20.13	v ~x5089 ~x11018 ~x867 ~x8316 ~x1818 ~x4252 ~x11511 ~x7636 ~x5091 ~x11020 
20.04/20.13	v ~x869 ~x8318 ~x1820 ~x4254 ~x11513 ~x7638 ~x5093 ~x11022 ~x871 ~x8320 
20.04/20.13	v ~x1822 ~x4256 ~x250 ~x7640 ~x5095 ~x11024 ~x873 ~x8322 ~x17 ~x4258 
20.04/20.13	v ~x11515 ~x7642 ~x5097 ~x11026 ~x875 ~x8324 ~x1824 ~x4260 ~x11517 ~x7644 
20.04/20.13	v ~x5099 ~x11028 ~x877 ~x154 ~x1826 ~x4262 ~x11519 ~x7646 ~x5101 ~x11030 
20.04/20.13	v ~x879 ~x8326 ~x1828 ~x4264 ~x11521 ~x7648 ~x5103 ~x11032 ~x881 ~x8328 
20.04/20.13	v ~x1830 ~x4266 ~x11523 ~x7650 ~x5105 ~x11034 ~x883 ~x8330 ~x1832 ~x4268 
20.04/20.13	v ~x11525 ~x7652 ~x5107 ~x11036 ~x885 ~x8332 ~x1834 ~x4270 ~x11527 ~x7654 
20.04/20.13	v ~x5109 ~x11038 ~x887 ~x8334 ~x1836 ~x4272 ~x251 ~x7656 ~x5111 ~x11040 
20.04/20.13	v ~x889 ~x8336 ~x1838 ~x4274 ~x11529 ~x7658 ~x5113 ~x11042 ~x891 ~x8338 
20.04/20.13	v ~x1840 ~x4276 ~x11531 ~x7660 ~x73 ~x11044 ~x893 ~x8340 ~x1842 ~x4278 
20.04/20.13	v ~x11533 ~x7662 ~x5115 ~x11046 ~x895 ~x8342 ~x1844 ~x4280 ~x11535 ~x7664 
20.04/20.13	v ~x5117 ~x11048 ~x897 ~x8344 ~x1846 ~x4282 ~x11537 ~x7666 ~x5119 ~x11050 
20.04/20.13	v ~x899 ~x8346 ~x1848 ~x4284 ~x11539 ~x7668 ~x5121 ~x11052 ~x901 ~x8348 
20.04/20.13	v ~x1850 ~x4286 ~x11541 ~x7670 ~x5123 ~x11054 ~x903 ~x8350 ~x1852 ~x4288 
20.04/20.13	v ~x11543 ~x7672 ~x5125 ~x11056 ~x905 ~x8352 ~x18 ~x4290 ~x11545 ~x7674 
20.04/20.13	v ~x5127 ~x11058 ~x907 ~x8354 ~x1854 ~x4292 ~x11547 ~x7676 ~x5129 ~x11060 
20.04/20.13	v ~x909 ~x155 ~x1856 ~x4294 ~x11549 ~x7678 ~x5131 ~x11062 ~x911 ~x8356 
20.04/20.13	v ~x1858 ~x4296 ~x11551 ~x7680 ~x5133 ~x11064 ~x913 ~x8358 ~x1860 ~x4298 
20.04/20.13	v ~x11553 ~x7682 ~x5135 ~x11066 ~x915 ~x8360 ~x1862 ~x4300 ~x11555 ~x7684 
20.04/20.13	v ~x5137 ~x11068 ~x917 ~x8362 ~x1864 ~x4302 ~x11557 ~x7686 ~x5139 ~x11070 
20.04/20.13	v ~x919 ~x8364 ~x1866 ~x4304 ~x252 ~x7688 ~x5141 ~x11072 ~x921 ~x8366 
20.04/20.13	v x1868 ~x4306 ~x11559 ~x7690 ~x5143 ~x11074 ~x923 ~x8368 ~x1870 ~x4308 
20.04/20.13	v ~x11561 ~x7692 ~x5145 ~x11076 ~x925 ~x8370 ~x1872 ~x4310 ~x11563 ~x7694 
20.04/20.13	v ~x5147 ~x11078 ~x927 ~x8372 ~x1874 ~x4312 ~x11565 ~x7696 ~x5149 ~x11080 
20.04/20.13	v ~x929 ~x8374 ~x1876 ~x4314 ~x11567 ~x7698 ~x5151 ~x11082 ~x931 ~x8376 
20.04/20.13	v ~x1878 ~x4316 ~x11569 ~x7700 ~x5153 ~x11084 ~x933 ~x8378 ~x1880 ~x4318 
20.04/20.13	v ~x11571 ~x7702 ~x5155 ~x11086 ~x935 ~x8380 ~x1882 ~x4320 ~x253 ~x7704 
20.04/20.13	v ~x5157 ~x11088 ~x937 ~x8382 ~x1884 ~x4322 ~x11573 ~x7706 ~x5159 ~x11090 
20.04/20.13	v ~x939 ~x8384 ~x1886 ~x4324 ~x11575 ~x7708 ~x5161 ~x11092 ~x941 ~x8386 
20.04/20.13	v ~x1888 ~x4326 ~x11577 ~x7710 ~x5163 ~x11094 ~x943 ~x8388 ~x1890 ~x4328 
20.04/20.13	v ~x11579 ~x7712 ~x5165 ~x11096 ~x945 ~x8390 ~x1892 ~x4330 ~x11581 ~x7714 
20.04/20.13	v ~x5167 ~x11098 ~x947 ~x8392 ~x1894 ~x4332 ~x11583 ~x7716 ~x5169 ~x11100 
20.04/20.13	v ~x949 ~x8394 ~x1896 ~x4334 ~x11585 ~x7718 ~x5171 ~x11102 ~x951 ~x8396 
20.04/20.13	v ~x1898 ~x4336 ~x254 x7720 ~x5173 ~x11104 ~x953 ~x8398 ~x1900 ~x4338 
20.04/20.13	v ~x11587 ~x7722 ~x5175 ~x11106 ~x955 ~x8400 ~x1902 ~x4340 ~x11589 ~x7724 
20.04/20.13	v ~x74 ~x11108 ~x957 ~x8402 ~x1904 ~x4342 ~x11591 ~x7726 ~x5177 ~x11110 
20.04/20.13	v ~x959 ~x8404 ~x1906 ~x4344 ~x255 ~x7728 ~x5179 ~x11112 ~x961 ~x8406 
20.04/20.13	v ~x1908 ~x4346 ~x11593 ~x7730 ~x5181 ~x11114 ~x963 ~x8408 ~x1910 ~x4348 
20.04/20.13	v ~x11595 ~x7732 ~x5183 ~x11116 ~x965 ~x8410 ~x1912 ~x4350 ~x11597 ~x7734 
20.04/20.13	v ~x5185 ~x11118 ~x967 ~x8412 ~x1914 ~x4352 ~x11599 ~x7736 ~x5187 ~x11120 
20.04/20.13	v ~x969 ~x8414 ~x1916 ~x4354 ~x11601 ~x7738 ~x5189 ~x11122 ~x971 ~x8416 
20.04/20.13	v ~x1918 ~x4356 ~x11603 ~x7740 ~x5191 ~x11124 ~x973 ~x156 ~x1920 ~x4358 
20.04/20.13	v ~x11605 ~x7742 ~x5193 ~x11126 ~x975 ~x8418 ~x1922 ~x4360 ~x11607 ~x7744 
20.04/20.13	v ~x5195 ~x11128 ~x977 ~x8420 ~x1924 ~x4362 ~x11609 ~x7746 ~x5197 ~x11130 
20.04/20.13	v ~x979 ~x8422 ~x1926 ~x4364 ~x11611 ~x7748 ~x5199 ~x11132 ~x981 ~x8424 
20.04/20.13	v ~x1928 ~x4366 ~x11613 ~x7750 ~x5201 ~x11134 ~x983 ~x8426 ~x1930 ~x4368 
20.04/20.13	v ~x11615 ~x7752 ~x5203 ~x11136 ~x985 ~x8428 ~x1932 ~x4370 ~x11617 ~x7754 
20.04/20.13	v ~x5205 ~x11138 ~x987 ~x8430 ~x1934 ~x4372 ~x11619 ~x7756 ~x75 ~x11140 
20.04/20.13	v ~x989 ~x8432 ~x1936 ~x4374 ~x11621 ~x7758 ~x5207 ~x11142 ~x991 ~x8434 
20.04/20.13	v ~x1938 ~x4376 ~x11623 ~x7760 ~x5209 ~x11144 ~x993 ~x8436 ~x1940 ~x4378 
20.04/20.13	v ~x11625 ~x7762 ~x5211 ~x11146 ~x995 ~x8438 ~x1942 ~x4380 ~x11627 ~x7764 
20.04/20.13	v ~x5213 ~x11148 ~x997 ~x8440 ~x1944 ~x4382 ~x11629 ~x7766 ~x5215 ~x11150 
20.04/20.13	v ~x999 ~x8442 ~x1946 ~x4384 ~x11631 ~x7768 ~x5217 ~x11152 ~x1001 ~x8444 
20.04/20.13	v ~x1948 ~x4386 ~x11633 ~x7770 ~x5219 ~x11154 ~x1003 ~x8446 ~x1950 ~x4388 
20.04/20.13	v ~x11635 ~x7772 ~x5221 ~x11156 ~x1005 ~x157 ~x1952 ~x4390 ~x11637 ~x7774 
20.04/20.13	v ~x5223 ~x11158 ~x1007 ~x8448 ~x1954 ~x4392 ~x11639 ~x7776 ~x5225 ~x11160 
20.04/20.13	v ~x1009 ~x8450 ~x1956 ~x4394 ~x11641 ~x7778 ~x5227 ~x11162 ~x1011 ~x8452 
20.04/20.13	v ~x1958 ~x4396 ~x11643 ~x7780 ~x5229 ~x11164 ~x1013 ~x8454 ~x1960 ~x4398 
20.04/20.13	v ~x11645 ~x7782 ~x5231 ~x11166 ~x1015 ~x8456 ~x1962 ~x4400 ~x11647 ~x7784 
20.04/20.13	v ~x5233 ~x11168 ~x1017 ~x8458 ~x1964 ~x4402 ~x11649 ~x7786 ~x5235 ~x11170 
20.04/20.13	v ~x1019 ~x8460 ~x1966 ~x4404 ~x11651 ~x7788 ~x5237 ~x11172 ~x1021 ~x8462 
20.04/20.13	v ~x1968 ~x4406 ~x11653 ~x7790 ~x5239 ~x11174 ~x1023 ~x8464 ~x1970 ~x4408 
20.04/20.13	v ~x256 ~x7792 ~x5241 ~x11176 ~x1025 ~x8466 ~x1972 ~x4410 ~x11655 ~x7794 
20.04/20.13	v ~x5243 ~x11178 ~x1027 ~x8468 ~x1974 ~x4412 ~x11657 ~x7796 ~x5245 ~x11180 
20.04/20.13	v ~x1029 ~x8470 ~x1976 ~x4414 ~x11659 ~x7798 ~x5247 ~x11182 ~x1031 ~x8472 
20.04/20.13	v ~x1978 ~x4416 ~x11661 ~x7800 ~x5249 ~x11184 ~x1033 ~x8474 ~x1980 ~x4418 
20.04/20.13	v ~x11663 ~x7802 ~x5251 ~x11186 ~x1035 ~x8476 ~x1982 ~x4420 ~x11665 ~x7804 
20.04/20.13	v ~x5253 ~x11188 ~x1037 ~x158 ~x1984 ~x4422 ~x11667 ~x7806 ~x5255 ~x11190 
20.04/20.13	v ~x1039 ~x8478 ~x1986 ~x4424 ~x11669 ~x7808 ~x5257 ~x11192 ~x1041 ~x8480 
20.04/20.13	v ~x1988 ~x4426 ~x11671 ~x7810 ~x5259 ~x11194 ~x1043 ~x8482 ~x1990 ~x4428 
20.04/20.13	v ~x11673 ~x7812 ~x5261 ~x11196 ~x1045 ~x8484 ~x19 ~x4430 ~x11675 ~x7814 
20.04/20.13	v ~x5263 ~x11198 ~x1047 ~x8486 ~x1992 ~x4432 ~x11677 ~x7816 ~x5265 ~x11200 
20.04/20.13	v ~x1049 ~x8488 ~x1994 ~x4434 ~x11679 ~x7818 ~x5267 ~x11202 ~x1051 ~x8490 
20.04/20.13	v ~x1996 ~x4436 ~x11681 ~x7820 ~x76 ~x11204 ~x1053 ~x159 ~x1998 ~x4438 
20.04/20.13	v ~x11683 ~x7822 ~x5269 ~x11206 ~x1055 ~x8492 ~x2000 ~x4440 ~x257 ~x7824 
20.04/20.13	v ~x5271 ~x11208 ~x1057 ~x8494 ~x2002 ~x4442 ~x11685 ~x7826 ~x5273 ~x11210 
20.04/20.13	v ~x1059 ~x8496 ~x2004 ~x4444 ~x11687 ~x7828 ~x5275 ~x11212 ~x1061 ~x8498 
20.04/20.13	v ~x2006 ~x4446 ~x11689 ~x7830 ~x5277 ~x11214 ~x1063 ~x8500 ~x2008 ~x4448 
20.04/20.13	v ~x11691 ~x7832 ~x5279 ~x11216 ~x1065 ~x8502 ~x2010 ~x4450 ~x11693 ~x7834 
20.04/20.13	v ~x5281 ~x11218 ~x1067 ~x8504 ~x2012 ~x4452 ~x11695 ~x7836 ~x5283 ~x11220 
20.04/20.13	v ~x1069 ~x8506 ~x2014 ~x4454 ~x11697 ~x7838 ~x5285 ~x11222 ~x1071 ~x8508 
20.04/20.13	v ~x2016 ~x4456 ~x11699 ~x7840 ~x5287 ~x11224 ~x1073 ~x8510 ~x2018 ~x4458 
20.04/20.13	v ~x11701 ~x7842 ~x5289 ~x11226 ~x1075 ~x8512 ~x2020 ~x4460 ~x11703 ~x7844 
20.04/20.13	v ~x5291 ~x11228 ~x1077 ~x8514 ~x2022 ~x4462 ~x11705 ~x7846 ~x5293 ~x11230 
20.04/20.13	v ~x1079 ~x8516 ~x2024 ~x4464 ~x11707 ~x7848 ~x5295 ~x11232 ~x1081 ~x8518 
20.04/20.13	v ~x2026 ~x4466 ~x11709 ~x7850 ~x5297 ~x11234 ~x1083 ~x8520 ~x2028 ~x4468 
20.04/20.13	v ~x11711 ~x7852 ~x77 ~x11236 ~x1085 ~x8522 ~x2030 ~x4470 ~x11713 ~x7854 
20.04/20.13	v ~x5299 ~x11238 ~x1087 ~x8524 ~x2032 ~x4472 ~x258 ~x7856 ~x5301 ~x11240 
20.04/20.13	v ~x1089 ~x8526 ~x2034 ~x4474 ~x11715 ~x7858 ~x5303 ~x11242 ~x1091 ~x8528 
20.04/20.13	v ~x2036 ~x4476 ~x11717 ~x7860 ~x5305 ~x11244 ~x1093 ~x8530 ~x2038 ~x4478 
20.04/20.13	v ~x11719 ~x7862 ~x5307 ~x11246 ~x1095 ~x8532 ~x2040 ~x4480 ~x11721 ~x7864 
20.04/20.13	v ~x5309 ~x11248 ~x1097 ~x8534 ~x2042 ~x4482 ~x11723 ~x7866 ~x5311 ~x11250 
20.04/20.13	v ~x1099 ~x8536 ~x2044 ~x4484 ~x11725 ~x7868 ~x5313 ~x11252 ~x1101 ~x8538 
20.04/20.13	v ~x2046 ~x4486 ~x11727 ~x7870 ~x5315 ~x11254 ~x1103 ~x8540 ~x2048 ~x4488 
20.04/20.13	v ~x259 ~x7872 ~x5317 ~x11256 ~x1105 ~x8542 ~x2050 ~x4490 ~x11729 ~x7874 
20.04/20.13	v ~x5319 ~x11258 ~x1107 ~x8544 ~x2052 ~x4492 ~x11731 ~x7876 ~x5321 ~x11260 
20.04/20.13	v ~x1109 ~x8546 ~x20 ~x4494 ~x11733 ~x7878 ~x5323 ~x11262 ~x1111 ~x8548 
20.04/20.13	v ~x2054 ~x4496 ~x11735 ~x7880 ~x5325 ~x11264 ~x1113 ~x8550 ~x2056 ~x4498 
20.04/20.13	v ~x11737 ~x7882 ~x5327 ~x11266 ~x1115 ~x8552 ~x2058 ~x4500 ~x11739 ~x7884 
20.04/20.13	v ~x78 ~x11268 ~x1117 ~x8554 ~x2060 ~x4502 ~x11741 ~x7886 ~x5329 ~x11270 
20.04/20.13	v ~x1119 ~x8556 ~x2062 ~x4504 ~x11743 ~x7888 ~x5331 ~x11272 ~x1121 ~x8558 
20.04/20.13	v ~x2064 ~x4506 ~x11745 ~x7890 ~x5333 x11274 ~x1123 ~x8560 ~x2066 ~x4508 
20.04/20.13	v ~x11747 ~x7892 ~x5335 ~x11276 ~x1125 ~x8562 ~x2068 ~x4510 ~x11749 ~x7894 
20.04/20.13	v ~x5337 ~x11278 ~x1127 ~x8564 ~x2071 ~x4512 ~x11751 ~x7896 ~x5339 ~x11280 
20.04/20.13	v ~x1129 ~x8566 ~x2073 ~x4514 ~x11753 ~x7898 ~x5341 ~x11282 ~x1131 ~x8568 
20.04/20.13	v ~x2075 ~x4516 ~x11755 ~x7900 ~x79 ~x11284 ~x1133 ~x8570 ~x2077 ~x4518 
20.04/20.13	v ~x11757 ~x7902 ~x5343 ~x11286 ~x1135 x8572 ~x2079 ~x4520 ~x260 ~x7904 
20.04/20.13	v ~x5345 ~x11288 ~x1137 ~x8574 ~x2081 ~x4522 ~x11759 ~x7906 ~x5347 ~x11290 
20.04/20.13	v ~x1139 ~x8576 ~x2083 ~x4524 ~x11761 ~x7908 ~x5349 ~x11292 ~x1141 ~x8578 
20.04/20.13	v ~x2085 ~x4526 ~x11763 ~x7910 ~x5351 ~x11294 ~x1143 ~x8580 ~x2087 ~x4528 
20.04/20.13	v ~x11765 ~x7912 ~x5353 ~x11296 ~x1145 ~x8582 ~x2089 ~x4530 ~x11767 ~x7914 
20.04/20.13	v ~x5355 ~x11298 ~x1147 ~x160 ~x2091 ~x4532 ~x11769 ~x7916 ~x5357 ~x11300 
20.04/20.13	v ~x1149 ~x8584 ~x2093 ~x4534 ~x11771 ~x7918 ~x5359 ~x11302 ~x1151 ~x8586 
20.04/20.13	v ~x2095 ~x4536 x261 ~x7920 ~x5361 ~x11304 ~x1153 ~x8588 ~x2097 ~x4538 
20.04/20.13	v ~x11773 ~x7922 ~x5363 ~x11306 ~x1155 ~x8590 ~x2099 ~x4540 ~x11775 ~x7924 
20.04/20.13	v ~x5365 ~x11308 ~x1157 ~x8592 ~x2101 ~x4542 x11777 ~x7926 ~x5367 ~x11310 
20.04/20.13	v ~x1159 ~x8594 ~x2103 ~x4544 ~x11779 ~x7928 ~x5369 ~x11312 ~x1161 ~x8596 
20.04/20.13	v ~x2105 ~x4546 ~x11781 ~x7930 ~x5371 ~x11314 ~x1163 ~x8598 ~x2107 ~x4548 
20.04/20.13	v ~x11783 ~x7932 ~x5373 ~x11316 ~x1165 ~x8600 ~x2109 ~x4550 ~x11785 ~x7934 
20.04/20.13	v ~x5375 ~x11318

Verifier Data 

OK	28

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: 63968 MiB (59759 MiB free)
  memory of node 1: 64473 MiB (60900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436356-1721106753/watcher-4436356-1721106753 -o /tmp/evaluation-result-4436356-1721106753/solver-4436356-1721106753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840882 --watchdog 3760 pb_picat HOME/instance-4436356-1721106753.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=843111, runsolver pid=843108

[startup+0.100731 s]*
/proc/loadavg: 4.08 4.20 4.16 5/257 843112
/proc/meminfo: memFree=123522832/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2033608 memory=38984 CPUtime=0.09 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 746 0 0 0 9 0 0 0 20 0 1 0 162845839 2082414592 9746 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 508402 9746 1504 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 38984 KiB

[startup+0.205332 s]*
/proc/loadavg: 4.08 4.20 4.16 5/257 843112
/proc/meminfo: memFree=123506116/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2033608 memory=59464 CPUtime=0.19 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 756 0 0 0 19 0 0 0 20 0 1 0 162845839 2082414592 14866 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 508402 14866 1504 439 0 503831 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 59464 KiB

[startup+0.305792 s]*
/proc/loadavg: 4.08 4.20 4.16 5/257 843112
/proc/meminfo: memFree=123489480/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2041424 memory=72112 CPUtime=0.29 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 812 0 0 0 29 0 0 0 20 0 1 0 162845839 2090418176 18028 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 510356 18028 1552 439 0 505785 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 72112 KiB

[startup+0.700237 s]
/proc/loadavg: 4.08 4.20 4.16 5/257 843112
/proc/meminfo: memFree=123465712/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2070732 memory=117232 CPUtime=0.69 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 10128 0 0 0 66 3 0 0 20 0 1 0 162845839 2120429568 29308 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 517683 29308 1711 439 0 513112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2070732 KiB
Current children cumulated memory: 117232 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.20 4.16 5/257 843112
/proc/meminfo: memFree=123444716/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2070732 memory=120132 CPUtime=1.48 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 10366 0 0 0 145 3 0 0 20 0 1 0 162845839 2120429568 30033 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 517683 30033 1727 439 0 513112 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2070732 KiB
Current children cumulated memory: 120132 KiB

[startup+3.10575 s]
/proc/loadavg: 4.08 4.19 4.16 5/257 843112
/proc/meminfo: memFree=123457120/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2070652 memory=120264 CPUtime=3.09 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 12926 0 0 0 305 4 0 0 20 0 1 0 162845839 2120347648 30066 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 517663 30066 1727 439 0 513092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2070652 KiB
Current children cumulated memory: 120264 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.19 4.16 5/257 843113
/proc/meminfo: memFree=123439084/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067740 memory=118512 CPUtime=6.27 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 22490 0 0 0 621 6 0 0 20 0 1 0 162845839 2117365760 29628 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516935 29628 1727 439 0 512364 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2067740 KiB
Current children cumulated memory: 118512 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.19 4.16 5/257 843113
/proc/meminfo: memFree=123435812/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067740 memory=118516 CPUtime=12.65 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 34162 0 0 0 1255 10 0 0 20 0 1 0 162845839 2117365760 29629 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516935 29629 1727 439 0 512364 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2067740 KiB
Current children cumulated memory: 118516 KiB

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

# cumulated CPU time of all completed processes:  user=19.9522 s, system=0.135713 s

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

[startup+12.8002 s]
/proc/loadavg: 4.07 4.19 4.16 5/257 843113
/proc/meminfo: memFree=123435812/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067740 memory=118516 CPUtime=12.75 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 34162 0 0 0 1265 10 0 0 20 0 1 0 162845839 2117365760 29629 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516935 29629 1727 439 0 512364 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2067740 KiB
Current children cumulated memory: 118516 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.06 4.18 4.16 5/257 843161
/proc/meminfo: memFree=123296824/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=15.95 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36711 0 0 0 1584 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

[startup+17.6002 s]
/proc/loadavg: 4.06 4.18 4.16 5/257 843161
/proc/meminfo: memFree=123166108/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=17.54 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36715 0 0 0 1743 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

[startup+19.2002 s]
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123315900/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=19.14 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36715 0 0 0 1903 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

[startup+19.6002 s]
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123315900/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=19.54 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36715 0 0 0 1943 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 19.54 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

[startup+20.0002 s]*
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123319980/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=19.94 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36715 0 0 0 1983 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

[startup+20.1057 s]
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123319980/131524596 swapFree=131071996/131071996
[pid=843111] ppid=843108 vsize=2067804 memory=118408 CPUtime=20.04 cores=5,7
/proc/843111/stat : 843111 (pb_picat) R 843108 843111 840869 0 -1 4194304 36715 0 0 0 1993 11 0 0 20 0 1 0 162845839 2117431296 29602 134679101440 4194304 5989780 140732656681488 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38584320 140732656686105 140732656686181 140732656686181 140732656693196 0
/proc/843111/statm: 516951 29602 1727 439 0 512380 0
Current children cumulated CPU time: 20.04 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 118408 KiB

Child status: 0

Real time (s): 20.1394
CPU time (s): 20.0879
CPU user time (s): 19.9522
CPU system time (s): 0.135713
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 2084128
Max. memory (cumulated for all children) (KiB): 128580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.9522
system time used= 0.135713
maximum resident set size= 128580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36734
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= 27


# summary of solver processes directly reported to runsolver:
#   pid: 843111
#   total CPU time (s): 20.0879
#   total CPU user time (s): 19.9522
#   total CPU system time (s): 0.135713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07236 second user time and 0.118824 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-16 07:12:45
IDJOB=4436356
IDBENCH=148125
IDSOLVER=3068
FILE ID=nodeC034/4436356-1721106753
RUNJOBID= nodeC034-1721103131-840882
SLURM_JOB_ID= 7505618
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436356-1721106753/watcher-4436356-1721106753 -o /tmp/evaluation-result-4436356-1721106753/solver-4436356-1721106753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840882 --watchdog 3760  pb_picat HOME/instance-4436356-1721106753.opb

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

MD5SUM BENCH= da31c5e5ac38e9f33b6b3c1fd678ecad
RANDOM SEED=1312394390

nodeC034.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	: 0xb00002a
cpu MHz		: 3676.061
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.022
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.045
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.741
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.094
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.134
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.157
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.373
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123556320 kB
MemAvailable:   129337576 kB
Buffers:          384924 kB
Cached:          6163528 kB
SwapCached:            0 kB
Active:           701344 kB
Inactive:        6516040 kB
Active(anon):       1532 kB
Inactive(anon):   705160 kB
Active(file):     699812 kB
Inactive(file):  5810880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19800 kB
Writeback:             0 kB
AnonPages:        668724 kB
Mapped:           114324 kB
Shmem:             37720 kB
KReclaimable:     220776 kB
Slab:             342404 kB
SReclaimable:     220776 kB
SUnreclaim:       121628 kB
KernelStack:        4140 kB
PageTables:        10484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6856080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    552960 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:      250580 kB
DirectMap2M:    28882944 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC034 at 2024-07-16 07:13:06