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

OK	28

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=843206, runsolver pid=843203
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123399176/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2033608 memory=39064 CPUtime=0.09 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 777 0 0 0 9 0 0 0 20 0 1 0 162847616 2082414592 9766 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 508402 9766 1522 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39064 KiB

[startup+0.205924 s]*
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123382428/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2033608 memory=57688 CPUtime=0.2 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 786 0 0 0 19 1 0 0 20 0 1 0 162847616 2082414592 14422 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 508402 14422 1522 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 57688 KiB

[startup+0.305862 s]*
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123365260/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2041424 memory=72964 CPUtime=0.3 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 1035 0 0 0 29 1 0 0 20 0 1 0 162847616 2090418176 18241 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 510356 18241 1570 439 0 505785 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 72964 KiB

[startup+0.700228 s]
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123319696/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2062532 memory=101272 CPUtime=0.68 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 8346 0 0 0 66 2 0 0 20 0 1 0 162847616 2112032768 25318 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 515633 25318 1696 439 0 511062 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2062532 KiB
Current children cumulated memory: 101272 KiB

[startup+1.50017 s]
/proc/loadavg: 4.22 4.22 4.17 5/257 843207
/proc/meminfo: memFree=123317944/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2066628 memory=107476 CPUtime=1.48 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 8860 0 0 0 146 2 0 0 20 0 1 0 162847616 2116227072 26869 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516657 26869 1696 439 0 512086 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2066628 KiB
Current children cumulated memory: 107476 KiB

[startup+3.10624 s]
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123383868/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2062532 memory=101440 CPUtime=3.09 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 15636 0 0 0 305 4 0 0 20 0 1 0 162847616 2112032768 25360 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 515633 25360 1744 439 0 511062 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2062532 KiB
Current children cumulated memory: 101440 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.21 4.17 5/258 843254
/proc/meminfo: memFree=123365468/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2062532 memory=101420 CPUtime=6.27 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 19967 0 0 0 621 6 0 0 20 0 1 0 162847616 2112032768 25355 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 515633 25355 1744 439 0 511062 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2062532 KiB
Current children cumulated memory: 101420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.21 4.17 5/258 843255
/proc/meminfo: memFree=123322176/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2063556 memory=103580 CPUtime=12.66 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 27321 0 0 0 1258 8 0 0 20 0 1 0 162847616 2113081344 25895 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 515889 25895 1744 439 0 511318 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2063556 KiB
Current children cumulated memory: 103580 KiB

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

# cumulated CPU time of all completed processes:  user=19.0775 s, system=0.110709 s

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

[startup+12.8002 s]
/proc/loadavg: 4.18 4.21 4.17 5/258 843255
/proc/meminfo: memFree=123322176/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2063556 memory=103580 CPUtime=12.76 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 27321 0 0 0 1268 8 0 0 20 0 1 0 162847616 2113081344 25895 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 515889 25895 1744 439 0 511318 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2063556 KiB
Current children cumulated memory: 103580 KiB

[startup+16.0001 s]*
/proc/loadavg: 4.17 4.20 4.17 5/258 843255
/proc/meminfo: memFree=123331304/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2067652 memory=106916 CPUtime=15.95 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 29906 0 0 0 1586 9 0 0 20 0 1 0 162847616 2117275648 26729 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516913 26729 1744 439 0 512342 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 106916 KiB

[startup+17.6002 s]
/proc/loadavg: 4.17 4.20 4.17 5/258 843255
/proc/meminfo: memFree=123343480/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2067652 memory=106916 CPUtime=17.54 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 29906 0 0 0 1745 9 0 0 20 0 1 0 162847616 2117275648 26729 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516913 26729 1744 439 0 512342 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 106916 KiB

[startup+18.4001 s]
/proc/loadavg: 4.17 4.20 4.17 5/258 843257
/proc/meminfo: memFree=123335908/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2067652 memory=106916 CPUtime=18.34 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 29906 0 0 0 1825 9 0 0 20 0 1 0 162847616 2117275648 26729 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516913 26729 1744 439 0 512342 0
Current children cumulated CPU time: 18.34 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 106916 KiB

[startup+18.8002 s]
/proc/loadavg: 4.17 4.20 4.17 5/258 843257
/proc/meminfo: memFree=123335908/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2067652 memory=106916 CPUtime=18.74 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 29906 0 0 0 1865 9 0 0 20 0 1 0 162847616 2117275648 26729 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516913 26729 1744 439 0 512342 0
Current children cumulated CPU time: 18.74 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 106916 KiB

[startup+19.2001 s]
/proc/loadavg: 4.17 4.20 4.17 5/258 843257
/proc/meminfo: memFree=123330072/131524596 swapFree=131071996/131071996
[pid=843206] ppid=843203 vsize=2067652 memory=106916 CPUtime=19.14 cores=4,6
/proc/843206/stat : 843206 (pb_picat) R 843203 843206 840869 0 -1 4194304 29906 0 0 0 1905 9 0 0 20 0 1 0 162847616 2117275648 26729 134679101440 4194304 5989780 140723762754688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 24559616 140723762758681 140723762758757 140723762758757 140723762765772 0
/proc/843206/statm: 516913 26729 1744 439 0 512342 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 106916 KiB

Child status: 0

Real time (s): 19.2381
CPU time (s): 19.1882
CPU user time (s): 19.0775
CPU system time (s): 0.110709
CPU usage (%): 99.7404
Max. virtual memory (cumulated for all children) (KiB): 2067652
Max. memory (cumulated for all children) (KiB): 107640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0775
system time used= 0.110709
maximum resident set size= 107640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29922
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= 25


# summary of solver processes directly reported to runsolver:
#   pid: 843206
#   total CPU time (s): 19.1882
#   total CPU user time (s): 19.0775
#   total CPU system time (s): 0.110709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064538 second user time and 0.118213 second system time

The end

Begin job on nodeC034 at 2024-07-16 07:13:03
IDJOB=4436351
IDBENCH=148139
IDSOLVER=3068
FILE ID=nodeC034/4436351-1721106771
RUNJOBID= nodeC034-1721103131-840880
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_001_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436351-1721106771/watcher-4436351-1721106771 -o /tmp/evaluation-result-4436351-1721106771/solver-4436351-1721106771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840880 --watchdog 3760  pb_picat HOME/instance-4436351-1721106771.opb

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
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		: 3666.574
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.412
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		: 3609.015
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		: 3600.144
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		: 3635.589
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		: 3687.489
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		: 3662.280
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		: 3600.288
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:        123433260 kB
MemAvailable:   129216848 kB
Buffers:          384960 kB
Cached:          6165780 kB
SwapCached:            0 kB
Active:           702960 kB
Inactive:        6637552 kB
Active(anon):       1516 kB
Inactive(anon):   825972 kB
Active(file):     701444 kB
Inactive(file):  5811580 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18420 kB
Writeback:             0 kB
AnonPages:        789768 kB
Mapped:           114100 kB
Shmem:             37720 kB
KReclaimable:     220776 kB
Slab:             342668 kB
SReclaimable:     220776 kB
SUnreclaim:       121892 kB
KernelStack:        4112 kB
PageTables:        10740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6752300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    610304 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:23