0.00/0.01	c solving HOME/instance-4507441-1751178727.opb (Picat 3.9b6)
26.29/26.46	s SATISFIABLE
26.29/26.46	v ~x6338 ~x2110 ~x3801 ~x5492 ~x1264 ~x2955 ~x4646 ~x421 ~x6339 ~x2111 
26.29/26.46	v ~x3802 ~x5493 ~x1265 ~x2956 ~x4647 ~x422 ~x6340 ~x2112 ~x3803 ~x5494 
26.29/26.46	v ~x1266 ~x2957 ~x4648 ~x423 ~x6341 ~x2113 ~x3804 ~x5495 ~x1267 ~x2958 
26.29/26.46	v ~x4649 ~x424 ~x6342 ~x2114 ~x3805 ~x5496 ~x1268 ~x2959 ~x4650 ~x425 
26.29/26.46	v ~x6343 ~x2115 ~x3806 ~x5497 ~x1269 ~x2960 ~x4651 ~x426 ~x6344 ~x2116 
26.29/26.46	v ~x3807 ~x5498 ~x1270 ~x2961 ~x4652 ~x427 ~x6345 ~x2117 ~x3808 ~x5499 
26.29/26.46	v ~x1271 ~x2962 ~x4653 ~x428 ~x6346 ~x2118 ~x3809 ~x5500 ~x1272 ~x2963 
26.29/26.46	v ~x4654 ~x429 ~x6347 ~x2119 ~x3810 ~x5501 ~x1273 ~x2964 ~x4655 ~x430 
26.29/26.46	v ~x6348 ~x2120 ~x3811 ~x5502 ~x1274 ~x2965 ~x4656 ~x431 ~x6349 ~x2121 
26.29/26.46	v ~x3812 ~x5503 ~x1275 ~x2966 ~x4657 ~x432 ~x6350 ~x3813 x5504 ~x1276 
26.29/26.46	v ~x2967 ~x4658 ~x433 ~x6351 ~x3814 ~x5505 ~x1277 ~x2968 ~x4659 ~x2122 
26.29/26.46	v ~x434 ~x6352 ~x3815 ~x5506 ~x1278 ~x2969 ~x4660 ~x2123 ~x435 ~x6353 
26.29/26.46	v ~x3816 ~x5507 ~x1279 ~x2970 ~x4661 ~x2124 ~x436 ~x6354 ~x3817 ~x5508 
26.29/26.46	v ~x1280 ~x2971 ~x4662 ~x2125 ~x437 ~x6355 ~x3818 ~x5509 ~x1281 ~x2972 
26.29/26.46	v ~x4663 ~x2126 ~x438 ~x6356 ~x3819 ~x5510 ~x1282 ~x2973 ~x4664 ~x2127 
26.29/26.46	v ~x439 ~x6357 ~x3820 ~x5511 ~x1283 ~x2974 ~x4665 ~x2128 ~x440 ~x6358 
26.29/26.46	v ~x3821 ~x5512 ~x1284 ~x2975 ~x4666 ~x2129 ~x441 ~x6359 ~x3822 ~x5513 
26.29/26.46	v ~x1285 ~x2976 ~x4667 ~x2130 ~x442 ~x6360 ~x3823 ~x5514 ~x1286 ~x2977 
26.29/26.46	v ~x4668 ~x2131 ~x443 ~x6361 ~x3824 ~x5515 ~x1287 ~x2978 ~x4669 ~x2132 
26.29/26.46	v ~x444 ~x6362 ~x3825 ~x5516 ~x1288 ~x2979 ~x4670 ~x2133 ~x445 ~x6363 
26.29/26.46	v ~x3826 ~x5517 ~x1289 ~x2980 ~x4671 ~x2134 ~x446 ~x6364 ~x3827 ~x5518 
26.29/26.46	v ~x1290 ~x2981 ~x4672 ~x2135 ~x447 ~x6365 ~x3828 ~x5519 ~x1291 ~x2982 
26.29/26.46	v ~x4673 ~x2136 ~x448 ~x6366 ~x3829 ~x5520 ~x1292 ~x2983 ~x4674 ~x2137 
26.29/26.46	v ~x449 ~x6367 ~x3830 ~x5521 ~x1293 ~x2984 ~x4675 ~x2138 ~x450 ~x6368 
26.29/26.46	v ~x3831 ~x5522 ~x1294 ~x2985 ~x4676 ~x2139 ~x451 ~x6369 ~x3832 ~x5523 
26.29/26.46	v ~x1295 ~x2986 x4677 ~x2140 ~x452 ~x6370 ~x3833 ~x5524 ~x1296 ~x2987 
26.29/26.46	v ~x4678 ~x2141 ~x453 ~x6371 ~x3834 ~x5525 ~x1297 ~x2988 ~x4679 ~x2142 
26.29/26.46	v ~x454 ~x6372 ~x3835 ~x5526 ~x1298 ~x2989 ~x4680 ~x2143 ~x455 ~x6373 
26.29/26.46	v ~x3836 ~x5527 ~x1299 ~x2990 ~x4681 ~x2144 ~x456 ~x6374 ~x3837 ~x5528 
26.29/26.46	v ~x1300 ~x2991 ~x4682 ~x2145 ~x457 ~x6375 ~x3838 ~x5529 ~x1301 ~x2992 
26.29/26.46	v ~x4683 ~x2146 ~x458 ~x6376 ~x3839 ~x5530 ~x1302 ~x2993 ~x4684 ~x2147 
26.29/26.46	v ~x459 ~x6377 ~x3840 ~x5531 ~x1303 ~x2994 ~x4685 ~x2148 ~x460 ~x6378 
26.29/26.46	v ~x3841 ~x5532 ~x1304 ~x2995 ~x4686 ~x2149 ~x461 ~x6379 ~x3842 ~x5533 
26.29/26.46	v ~x1305 ~x2996 ~x4687 ~x2150 ~x462 ~x6380 ~x3843 ~x5534 ~x1306 ~x2997 
26.29/26.46	v ~x4688 ~x2151 ~x463 x6381 ~x3844 ~x5535 ~x1307 ~x2998 ~x4689 ~x2152 
26.29/26.46	v ~x464 ~x6382 ~x3845 ~x5536 ~x1308 ~x2999 ~x4690 ~x2153 ~x465 x6383 
26.29/26.46	v ~x3846 ~x5537 ~x1309 ~x3000 ~x4691 ~x2154 ~x466 ~x6384 ~x3847 ~x5538 
26.29/26.46	v ~x1310 ~x3001 ~x4692 ~x2155 ~x467 x6385 ~x3848 ~x5539 ~x1311 ~x3002 
26.29/26.46	v ~x4693 ~x2156 ~x468 ~x6386 ~x3849 ~x5540 ~x1312 ~x3003 ~x4694 ~x2157 
26.29/26.46	v ~x469 ~x6387 ~x3850 ~x5541 ~x1313 ~x3004 ~x4695 ~x2158 ~x470 ~x6388 
26.29/26.46	v ~x3851 ~x5542 ~x1314 ~x3005 ~x4696 ~x2159 ~x471 ~x6389 ~x3852 ~x5543 
26.29/26.46	v ~x1315 ~x3006 ~x4697 ~x2160 x472 ~x6390 ~x3853 ~x5544 ~x1316 ~x3007 
26.29/26.46	v ~x4698 ~x2161 ~x473 ~x6391 ~x3854 ~x5545 ~x1317 ~x3008 ~x4699 ~x2162 
26.29/26.46	v ~x474 ~x6392 ~x3855 ~x5546 ~x1318 ~x3009 ~x4700 ~x2163 ~x475 ~x6393 
26.29/26.46	v ~x3856 ~x5547 ~x1319 ~x3010 ~x4701 ~x2164 ~x476 ~x6394 ~x3857 ~x5548 
26.29/26.46	v ~x1320 ~x3011 ~x4702 ~x2165 ~x477 ~x6395 ~x3858 ~x5549 ~x1321 ~x3012 
26.29/26.46	v ~x4703 ~x2166 ~x478 ~x6396 ~x3859 ~x5550 ~x1322 ~x3013 ~x4704 ~x2167 
26.29/26.46	v ~x479 ~x6397 ~x3860 ~x5551 ~x1323 ~x3014 ~x4705 ~x2168 ~x480 ~x6398 
26.29/26.46	v ~x3861 ~x5552 ~x1324 ~x3015 ~x4706 ~x2169 ~x481 ~x6399 ~x3862 ~x5553 
26.29/26.46	v ~x1325 ~x3016 ~x4707 ~x2170 ~x482 ~x6400 ~x3863 ~x5554 ~x1326 ~x3017 
26.29/26.46	v ~x4708 ~x2171 ~x483 ~x6401 ~x3864 ~x5555 ~x1327 ~x3018 ~x4709 ~x2172 
26.29/26.46	v ~x484 ~x6402 ~x3865 ~x5556 ~x1328 ~x3019 ~x4710 ~x2173 ~x485 ~x6403 
26.29/26.46	v ~x3866 ~x5557 ~x1329 ~x3020 ~x4711 ~x2174 ~x486 ~x6404 ~x3867 ~x5558 
26.29/26.46	v ~x1330 ~x3021 ~x4712 ~x2175 ~x487 ~x6405 ~x3868 ~x5559 ~x1331 ~x3022 
26.29/26.46	v ~x4713 ~x2176 ~x488 ~x6406 ~x3869 ~x5560 ~x1332 ~x3023 ~x4714 ~x2177 
26.29/26.46	v ~x489 ~x6407 ~x3870 ~x5561 ~x1333 ~x3024 ~x4715 ~x2178 ~x490 ~x6408 
26.29/26.46	v ~x3871 ~x5562 ~x1334 ~x3025 ~x4716 ~x2179 ~x491 ~x6409 ~x3872 ~x5563 
26.29/26.46	v ~x1335 ~x3026 ~x4717 ~x2180 ~x492 ~x6410 ~x3873 ~x5564 ~x1336 x3027 
26.29/26.46	v ~x4718 ~x2181 ~x493 ~x6411 ~x3874 ~x5565 ~x1337 ~x3028 ~x4719 ~x2182 
26.29/26.46	v ~x494 ~x6412 ~x3875 ~x5566 ~x1338 ~x3029 ~x4720 ~x2183 ~x495 ~x6413 
26.29/26.46	v ~x3876 ~x5567 ~x1339 ~x3030 ~x4721 x2184 ~x496 ~x6414 ~x3877 ~x5568 
26.29/26.46	v ~x1340 ~x3031 ~x4722 ~x2185 ~x497 ~x6415 ~x3878 ~x5569 ~x1341 ~x3032 
26.29/26.46	v ~x4723 ~x2186 ~x498 ~x6416 ~x3879 ~x5570 ~x1342 ~x3033 ~x4724 ~x2187 
26.29/26.46	v ~x499 ~x6417 ~x3880 ~x5571 ~x1343 ~x3034 ~x4725 ~x2188 ~x500 ~x6418 
26.29/26.46	v ~x3881 ~x5572 ~x1344 ~x3035 ~x4726 ~x2189 ~x501 ~x6419 ~x3882 ~x5573 
26.29/26.46	v ~x1345 ~x3036 ~x4727 ~x2190 ~x502 ~x6420 ~x3883 ~x5574 ~x1346 ~x3037 
26.29/26.46	v ~x4728 ~x2191 ~x503 ~x6421 ~x3884 ~x5575 ~x1347 ~x3038 ~x4729 ~x2192 
26.29/26.46	v ~x504 ~x6422 x3885 ~x5576 ~x1348 ~x3039 ~x4730 ~x2193 ~x505 ~x6423 
26.29/26.46	v ~x3886 ~x5577 ~x1349 ~x3040 ~x4731 ~x2194 ~x506 ~x6424 ~x3887 ~x5578 
26.29/26.46	v ~x1350 ~x3041 ~x4732 ~x2195 ~x507 ~x6425 ~x3888 ~x5579 ~x1351 ~x3042 
26.29/26.46	v ~x4733 ~x2196 ~x508 ~x6426 ~x3889 ~x5580 ~x1352 ~x3043 ~x4734 ~x2197 
26.29/26.46	v ~x509 ~x6427 ~x3890 ~x5581 ~x1353 ~x3044 ~x4735 ~x2198 ~x510 ~x6428 
26.29/26.46	v ~x3891 ~x5582 ~x1354 ~x3045 ~x4736 ~x2199 ~x511 ~x6429 ~x3892 ~x5583 
26.29/26.46	v ~x1355 ~x3046 ~x4737 ~x2200 ~x512 ~x6430 ~x3893 ~x5584 ~x1356 ~x3047 
26.29/26.46	v ~x4738 ~x2201 ~x513 ~x6431 ~x3894 ~x5585 ~x1357 ~x3048 ~x4739 ~x2202 
26.29/26.46	v ~x514 ~x6432 ~x3895 ~x5586 ~x1358 ~x3049 ~x4740 ~x2203 ~x515 ~x6433 
26.29/26.46	v ~x3896 ~x5587 ~x1359 ~x3050 ~x4741 ~x2204 ~x516 ~x6434 ~x3897 ~x5588 
26.29/26.46	v ~x1360 ~x3051 ~x4742 ~x2205 ~x517 ~x6435 ~x3898 ~x5589 ~x1361 ~x3052 
26.29/26.46	v ~x4743 ~x2206 ~x518 ~x6436 ~x3899 ~x5590 ~x1362 ~x3053 ~x4744 ~x2207 
26.29/26.46	v ~x519 ~x6437 ~x3900 ~x5591 ~x1363 ~x3054 ~x4745 ~x2208 ~x520 ~x6438 
26.29/26.46	v ~x3901 ~x5592 ~x1364 ~x3055 ~x4746 ~x2209 ~x521 ~x6439 ~x3902 ~x5593 
26.29/26.46	v ~x1365 ~x3056 ~x4747 ~x2210 ~x522 ~x6440 ~x3903 ~x5594 ~x1366 ~x3057 
26.29/26.46	v ~x4748 ~x2211 ~x523 ~x6441 ~x3904 ~x5595 ~x1367 ~x3058 ~x4749 ~x2212 
26.29/26.46	v ~x524 ~x6442 ~x3905 ~x5596 ~x1368 ~x3059 ~x4750 ~x2213 ~x525 ~x6443 
26.29/26.46	v ~x3906 ~x5597 ~x1369 ~x3060 ~x4751 x2214 ~x526 ~x6444 ~x3907 ~x5598 
26.29/26.46	v ~x1370 ~x3061 ~x4752 ~x2215 ~x527 ~x6445 ~x3908 ~x5599 ~x1371 ~x3062 
26.29/26.46	v ~x4753 ~x2216 ~x528 ~x6446 ~x3909 ~x5600 ~x1372 ~x3063 ~x4754 ~x2217 
26.29/26.46	v ~x529 ~x6447 ~x3910 ~x5601 ~x1373 ~x3064 ~x4755 ~x2218 ~x530 ~x6448 
26.29/26.46	v ~x3911 ~x5602 ~x1374 ~x3065 x4756 ~x2219 ~x531 ~x6449 ~x3912 ~x5603 
26.29/26.46	v ~x1375 ~x3066 ~x4757 ~x2220 ~x532 ~x6450 ~x3913 ~x5604 ~x1376 ~x3067 
26.29/26.46	v ~x4758 ~x2221 ~x533 ~x6451 ~x3914 ~x5605 ~x1377 ~x3068 ~x4759 ~x2222 
26.29/26.46	v ~x534 ~x6452 ~x3915 ~x5606 ~x1378 ~x3069 ~x4760 ~x2223 ~x535 ~x6453 
26.29/26.46	v ~x3916 ~x5607 ~x1379 ~x3070 ~x4761 ~x2224 ~x536 ~x6454 ~x3917 x5608 
26.29/26.46	v ~x1380 ~x3071 x4762 ~x2225 ~x537 ~x6455 ~x3918 ~x5609 ~x1381 ~x3072 
26.29/26.46	v ~x4763 ~x2226 ~x538 ~x6456 ~x3919 ~x5610 ~x1382 ~x3073 ~x4764 ~x2227 
26.29/26.46	v ~x539 ~x6457 ~x3920 ~x5611 ~x1383 ~x3074 ~x4765 ~x2228 ~x540 ~x6458 
26.29/26.46	v ~x3921 ~x5612 ~x1384 ~x3075 ~x4766 ~x2229 ~x541 ~x6459 ~x3922 ~x5613 
26.29/26.46	v ~x1385 ~x3076 ~x4767 ~x2230 ~x542 ~x6460 ~x3923 ~x5614 ~x1386 ~x3077 
26.29/26.46	v ~x4768 ~x2231 ~x543 ~x6461 ~x3924 ~x5615 ~x1387 ~x3078 ~x4769 ~x2232 
26.29/26.46	v ~x544 ~x6462 ~x3925 ~x5616 ~x1388 ~x3079 ~x4770 ~x2233 ~x545 ~x6463 
26.29/26.46	v ~x3926 ~x5617 ~x1389 ~x3080 ~x4771 ~x2234 ~x546 ~x6464 ~x3927 ~x5618 
26.29/26.46	v ~x1390 ~x3081 x4772 ~x2235 ~x547 ~x6465 ~x3928 ~x5619 ~x1391 ~x3082 
26.29/26.46	v ~x4773 ~x2236 ~x548 ~x6466 ~x3929 ~x5620 ~x1392 ~x3083 x4774 ~x2237 
26.29/26.46	v ~x549 ~x6467 ~x3930 ~x5621 ~x1393 ~x3084 ~x4775 ~x2238 ~x550 ~x6468 
26.29/26.46	v ~x3931 ~x5622 ~x1394 ~x3085 x4776 ~x2239 ~x551 ~x6469 ~x3932 ~x5623 
26.29/26.46	v ~x1395 x3086 ~x4777 ~x2240 ~x552 ~x6470 ~x3933 ~x5624 ~x1396 ~x3087 
26.29/26.46	v ~x4778 ~x2241 ~x553 ~x6471 ~x3934 ~x5625 ~x1397 ~x3088 ~x4779 ~x2242 
26.29/26.46	v ~x554 ~x6472 ~x3935 ~x5626 ~x1398 ~x3089 ~x4780 ~x2243 ~x555 ~x6473 
26.29/26.46	v ~x3936 ~x5627 x1399 ~x3090 ~x4781 ~x2244 ~x556 ~x6474 ~x3937 ~x5628 
26.29/26.46	v ~x1400 ~x3091 ~x4782 ~x2245 ~x557 ~x6475 ~x3938 ~x5629 ~x1401 ~x3092 
26.29/26.46	v ~x4783 ~x2246 ~x558 ~x6476 ~x3939 ~x5630 ~x1402 ~x3093 ~x4784 ~x2247 
26.29/26.46	v ~x559 ~x6477 ~x3940 ~x5631 ~x1403 ~x3094 ~x4785 ~x2248 ~x560 ~x6478 
26.29/26.46	v ~x3941 ~x5632 ~x1404 ~x3095 ~x4786 ~x2249 ~x561 ~x6479 ~x3942 ~x5633 
26.29/26.46	v ~x1405 ~x3096 ~x4787 ~x2250 ~x562 ~x6480 ~x3943 ~x5634 ~x1406 ~x3097 
26.29/26.46	v ~x4788 ~x2251 ~x563 ~x6481 ~x3944 ~x5635 ~x1407 ~x3098 ~x4789 ~x2252 
26.29/26.46	v ~x564 ~x6482 ~x3945 ~x5636 ~x1408 ~x3099 ~x4790 ~x2253 ~x565 x6483 
26.29/26.46	v ~x3946 ~x5637 ~x1409 ~x3100 ~x4791 ~x2254 ~x566 ~x6484 ~x3947 ~x5638 
26.29/26.46	v ~x1410 ~x3101 ~x4792 ~x2255 ~x567 ~x6485 ~x3948 ~x5639 ~x1411 ~x3102 
26.29/26.46	v ~x4793 ~x2256 ~x568 ~x6486 ~x3949 ~x5640 ~x1412 ~x3103 ~x4794 ~x2257 
26.29/26.46	v ~x569 ~x6487 ~x3950 ~x5641 ~x1413 ~x3104 ~x4795 ~x2258 ~x570 ~x6488 
26.29/26.46	v ~x3951 ~x5642 ~x1414 ~x3105 ~x4796 ~x2259 ~x571 ~x6489 ~x3952 ~x5643 
26.29/26.46	v ~x1415 ~x3106 ~x4797 ~x2260 ~x572 ~x6490 ~x3953 ~x5644 ~x1416 ~x3107 
26.29/26.46	v ~x4798 ~x2261 ~x573 ~x6491 ~x3954 ~x5645 ~x1417 ~x3108 ~x4799 ~x2262 
26.29/26.46	v ~x574 ~x6492 ~x3955 ~x5646 ~x1418 ~x3109 ~x4800 ~x2263 ~x575 ~x6493 
26.29/26.46	v ~x3956 ~x5647 ~x1419 ~x3110 ~x4801 ~x2264 ~x576 ~x6494 ~x3957 ~x5648 
26.29/26.46	v ~x1420 ~x3111 ~x4802 ~x2265 ~x577 ~x6495 ~x3958 ~x5649 ~x1421 ~x3112 
26.29/26.46	v ~x4803 ~x2266 ~x578 ~x6496 ~x3959 ~x5650 ~x1422 ~x3113 ~x4804 ~x2267 
26.29/26.46	v ~x579 ~x6497 ~x3960 ~x5651 ~x1423 ~x3114 ~x4805 ~x2268 ~x580 ~x6498 
26.29/26.46	v ~x3961 ~x5652 ~x1424 ~x3115 ~x4806 ~x2269 x581 ~x6499 ~x3962 ~x5653 
26.29/26.46	v ~x1425 ~x3116 ~x4807 ~x2270 ~x582 ~x6500 ~x3963 ~x5654 ~x1426 ~x3117 
26.29/26.46	v ~x4808 ~x2271 ~x583 ~x6501 ~x3964 ~x5655 ~x1427 ~x3118 ~x4809 ~x2272 
26.29/26.46	v ~x584 ~x6502 ~x3965 ~x5656 ~x1428 ~x3119 ~x4810 ~x2273 ~x585 ~x6503 
26.29/26.46	v ~x3966 ~x5657 ~x1429 ~x3120 ~x4811 ~x2274 ~x586 ~x6504 ~x3967 ~x5658 
26.29/26.46	v ~x1430 ~x3121 ~x4812 ~x2275 ~x587 ~x6505 ~x3968 ~x5659 ~x1431 ~x3122 
26.29/26.46	v ~x4813 ~x2276 ~x588 ~x6506 ~x3969 ~x5660 ~x1432 ~x3123 ~x4814 ~x2277 
26.29/26.46	v ~x589 ~x6507 ~x3970 ~x5661 ~x1433 ~x3124 ~x4815 ~x2278 ~x590 ~x6508 
26.29/26.46	v ~x3971 ~x5662 ~x1434 ~x3125 ~x4816 ~x2279 ~x591 ~x6509 ~x3972 ~x5663 
26.29/26.46	v ~x1435 ~x3126 ~x4817 ~x2280 ~x592 ~x6510 ~x3973 ~x5664 ~x1436 ~x3127 
26.29/26.46	v ~x4818 ~x2281 ~x593 ~x6511 ~x3974 ~x5665 ~x1437 ~x3128 ~x4819 ~x2282 
26.29/26.46	v ~x594 ~x6512 ~x3975 ~x5666 ~x1438 ~x3129 ~x4820 ~x2283 ~x595 ~x6513 
26.29/26.46	v ~x3976 ~x5667 ~x1439 ~x3130 ~x4821 x2284 ~x596 ~x6514 ~x3977 ~x5668 
26.29/26.46	v ~x1440 ~x3131 ~x4822 ~x2285 ~x597 ~x6515 ~x3978 ~x5669 ~x1441 ~x3132 
26.29/26.46	v ~x4823 ~x2286 ~x598 ~x6516 ~x3979 ~x5670 ~x1442 ~x3133 ~x4824 ~x2287 
26.29/26.46	v ~x599 ~x6517 ~x3980 ~x5671 ~x1443 ~x3134 ~x4825 ~x2288 ~x600 ~x6518 
26.29/26.46	v ~x3981 ~x5672 ~x1444 ~x3135 ~x4826 ~x2289 ~x601 ~x6519 ~x3982 ~x5673 
26.29/26.46	v ~x1445 ~x3136 ~x4827 ~x2290 ~x602 ~x6520 ~x3983 ~x5674 ~x1446 ~x3137 
26.29/26.46	v ~x4828 ~x2291 ~x603 ~x6521 ~x3984 ~x5675 ~x1447 ~x3138 ~x4829 ~x2292 
26.29/26.46	v ~x604 ~x6522 ~x3985 ~x5676 ~x1448 ~x3139 ~x4830 ~x2293 ~x605 ~x6523 
26.29/26.46	v ~x3986 ~x5677 ~x1449 ~x3140 ~x4831 ~x2294 ~x606 ~x6524 x3987 ~x5678 
26.29/26.46	v ~x1450 ~x3141 ~x4832 ~x2295 ~x6525 ~x3988 ~x5679 ~x1451 ~x3142 ~x4833 
26.29/26.46	v ~x2296 ~x6526 ~x607 ~x3989 ~x5680 ~x1452 ~x3143 ~x4834 ~x2297 ~x6527 
26.29/26.46	v ~x608 ~x3990 ~x5681 ~x1453 ~x3144 ~x4835 ~x2298 ~x6528 ~x609 ~x3991 
26.29/26.46	v ~x5682 ~x1454 ~x3145 ~x4836 ~x2299 ~x6529 ~x610 ~x3992 ~x5683 ~x1455 
26.29/26.46	v ~x3146 ~x4837 ~x2300 ~x6530 ~x611 ~x3993 ~x5684 ~x1456 ~x3147 ~x4838 
26.29/26.46	v ~x2301 ~x6531 ~x612 ~x3994 ~x5685 ~x1457 ~x3148 ~x4839 ~x2302 ~x6532 
26.29/26.46	v ~x613 ~x3995 ~x5686 ~x1458 ~x3149 ~x4840 ~x2303 ~x6533 ~x614 ~x3996 
26.29/26.46	v ~x5687 ~x1459 ~x3150 ~x4841 ~x2304 ~x6534 ~x615 ~x3997 ~x5688 ~x1460 
26.29/26.46	v ~x3151 ~x4842 ~x2305 ~x6535 ~x616 ~x3998 ~x5689 ~x1461 ~x3152 ~x4843 
26.29/26.46	v ~x2306 ~x6536 ~x617 ~x3999 ~x5690 ~x1462 ~x3153 ~x4844 ~x2307 ~x6537 
26.29/26.46	v ~x618 ~x4000 ~x5691 ~x1463 ~x3154 ~x4845 ~x2308 ~x6538 ~x619 ~x4001 
26.29/26.46	v ~x5692 ~x1464 ~x3155 ~x4846 ~x2309 ~x6539 ~x620 ~x4002 ~x5693 ~x1465 
26.29/26.46	v ~x3156 ~x4847 ~x2310 ~x6540 ~x621 ~x4003 ~x5694 ~x1466 ~x3157 ~x4848 
26.29/26.46	v ~x2311 ~x6541 ~x622 ~x4004 ~x5695 ~x1467 ~x3158 ~x4849 ~x2312 ~x6542 
26.29/26.46	v ~x623 ~x4005 ~x5696 ~x1468 ~x3159 ~x4850 ~x2313 ~x6543 ~x624 ~x4006 
26.29/26.46	v ~x5697 ~x1469 ~x3160 ~x4851 ~x2314 ~x6544 ~x625 ~x4007 ~x5698 ~x1470 
26.29/26.46	v ~x3161 ~x4852 ~x2315 ~x6545 ~x626 ~x4008 ~x5699 ~x1471 ~x3162 ~x4853 
26.29/26.46	v x2316 ~x6546 ~x627 ~x4009 ~x5700 ~x1472 ~x3163 ~x4854 ~x2317 ~x6547 
26.29/26.46	v ~x628 ~x4010 ~x5701 ~x1473 ~x3164 ~x4855 ~x2318 ~x6548 ~x629 ~x4011 
26.29/26.46	v ~x5702 ~x1474 ~x3165 ~x4856 ~x2319 ~x6549 ~x630 ~x4012 ~x5703 ~x1475 
26.29/26.46	v ~x3166 ~x4857 ~x2320 ~x6550 ~x631 ~x4013 ~x5704 ~x1476 ~x3167 ~x4858 
26.29/26.46	v ~x2321 ~x6551 ~x632 ~x4014 ~x5705 ~x1477 ~x3168 ~x4859 ~x2322 ~x6552 
26.29/26.46	v ~x633 ~x4015 ~x5706 ~x1478 ~x3169 ~x4860 ~x2323 ~x6553 ~x634 ~x4016 
26.29/26.46	v ~x5707 ~x1479 ~x3170 ~x4861 ~x2324 ~x6554 ~x635 ~x4017 ~x5708 ~x1480 
26.29/26.46	v x3171 ~x4862 ~x2325 ~x6555 ~x636 ~x4018 ~x5709 ~x1481 ~x3172 ~x4863 
26.29/26.46	v ~x2326 ~x6556 ~x637 ~x4019 ~x5710 ~x1482 ~x3173 ~x4864 ~x2327 ~x6557 
26.29/26.46	v ~x638 ~x4020 ~x5711 ~x1483 ~x3174 ~x4865 ~x2328 ~x6558 ~x639 ~x4021 
26.29/26.46	v ~x5712 ~x1484 ~x3175 ~x4866 ~x2329 ~x6559 ~x640 ~x4022 ~x5713 ~x1485 
26.29/26.46	v ~x3176 ~x4867 ~x2330 ~x6560 ~x641 ~x4023 ~x5714 ~x1486 ~x3177 ~x4868 
26.29/26.46	v ~x2331 ~x6561 ~x642 ~x4024 ~x5715 ~x1487 ~x3178 ~x4869 ~x2332 ~x6562 
26.29/26.46	v ~x643 ~x4025 ~x5716 ~x1488 ~x3179 ~x4870 ~x2333 ~x6563 ~x644 ~x4026 
26.29/26.46	v ~x5717 ~x1489 ~x3180 ~x4871 ~x2334 ~x6564 ~x645 ~x4027 ~x5718 ~x1490 
26.29/26.46	v ~x3181 ~x4872 ~x2335 ~x6565 ~x646 ~x4028 ~x5719 ~x1491 ~x3182 ~x4873 
26.29/26.46	v ~x2336 ~x6566 ~x647 ~x4029 ~x5720 ~x1492 ~x3183 ~x4874 ~x2337 ~x6567 
26.29/26.46	v ~x648 ~x4030 ~x5721 ~x1493 ~x3184 ~x4875 ~x2338 ~x6568 ~x649 ~x4031 
26.29/26.46	v ~x5722 ~x1494 ~x3185 x4876 ~x2339 ~x6569 ~x650 ~x4032 x5723 ~x1495 
26.29/26.46	v ~x3186 ~x4877 ~x2340 ~x6570 ~x651 ~x4033 ~x5724 ~x1496 ~x3187 ~x4878 
26.29/26.46	v ~x2341 ~x6571 ~x652 ~x4034 ~x5725 ~x1497 ~x3188 ~x4879 ~x2342 ~x6572 
26.29/26.46	v ~x653 ~x4035 ~x5726 ~x1498 ~x3189 ~x4880 ~x2343 ~x6573 ~x654 ~x4036 
26.29/26.46	v ~x5727 ~x1499 ~x3190 ~x4881 ~x2344 ~x6574 ~x655 ~x4037 ~x5728 ~x1500 
26.29/26.46	v ~x3191 ~x4882 ~x2345 ~x6575 ~x656 ~x4038 ~x5729 x1501 ~x3192 ~x4883 
26.29/26.46	v ~x2346 ~x6576 ~x657 ~x4039 ~x5730 ~x1502 ~x3193 ~x4884 ~x2347 ~x6577 
26.29/26.46	v ~x658 ~x4040 ~x5731 ~x1503 ~x3194 ~x4885 ~x2348 ~x6578 ~x659 ~x4041 
26.29/26.46	v ~x5732 ~x1504 ~x3195 ~x4886 ~x2349 ~x6579 ~x660 ~x4042 ~x5733 ~x1505 
26.29/26.46	v ~x3196 ~x4887 ~x2350 ~x6580 ~x661 ~x4043 ~x5734 ~x1506 ~x3197 ~x4888 
26.29/26.46	v ~x2351 ~x6581 ~x662 ~x4044 ~x5735 ~x1507 ~x3198 ~x4889 ~x2352 x6582 
26.29/26.46	v ~x663 ~x4045 ~x5736 ~x1508 ~x3199 ~x4890 ~x2353 ~x6583 ~x664 ~x4046 
26.29/26.46	v ~x5737 ~x1509 ~x3200 ~x4891 ~x2354 ~x6584 ~x665 ~x4047 ~x5738 ~x1510 
26.29/26.46	v ~x3201 ~x4892 ~x2355 ~x6585 ~x666 ~x4048 ~x5739 ~x1511 ~x3202 ~x4893 
26.29/26.46	v ~x2356 ~x6586 ~x667 ~x4049 ~x5740 ~x1512 ~x3203 ~x4894 ~x2357 ~x6587 
26.29/26.46	v ~x668 ~x4050 ~x5741 ~x1513 ~x3204 ~x4895 ~x2358 x6588 ~x669 ~x4051 
26.29/26.46	v ~x5742 ~x1514 ~x3205 ~x4896 ~x2359 ~x6589 ~x670 ~x4052 ~x5743 ~x1515 
26.29/26.46	v ~x3206 ~x4897 ~x2360 ~x6590 ~x671 ~x4053 ~x5744 ~x1516 ~x3207 ~x4898 
26.29/26.46	v ~x2361 ~x6591 ~x672 ~x4054 ~x5745 ~x1517 ~x3208 ~x4899 ~x2362 ~x6592 
26.29/26.46	v ~x673 ~x4055 ~x5746 ~x1518 ~x3209 ~x4900 ~x2363 ~x6593 ~x674 ~x4056 
26.29/26.46	v ~x5747 ~x1519 ~x3210 ~x4901 ~x2364 ~x6594 ~x675 ~x4057 ~x5748 ~x1520 
26.29/26.46	v ~x3211 ~x4902 ~x2365 ~x6595 x676 ~x4058 ~x5749 ~x1521 ~x3212 ~x4903 
26.29/26.46	v ~x2366 ~x6596 ~x677 ~x4059 ~x5750 ~x1522 ~x3213 ~x4904 ~x2367 ~x6597 
26.29/26.46	v x678 ~x4060 ~x5751 ~x1523 ~x3214 ~x4905 ~x2368 ~x6598 ~x679 ~x4061 
26.29/26.46	v ~x5752 ~x1524 ~x3215 ~x4906 ~x2369 ~x6599 x680 ~x4062 ~x5753 ~x1525 
26.29/26.46	v ~x3216 ~x4907 ~x2370 ~x6600 ~x681 ~x4063 ~x5754 ~x1526 ~x3217 ~x4908 
26.29/26.46	v ~x2371 ~x6601 ~x682 ~x4064 ~x5755 ~x1527 ~x3218 ~x4909 ~x2372 ~x6602 
26.29/26.46	v ~x683 ~x4065 ~x5756 ~x1528 ~x3219 ~x4910 ~x2373 ~x6603 ~x684 ~x4066 
26.29/26.46	v ~x5757 ~x1529 ~x3220 ~x4911 ~x2374 ~x6604 ~x685 ~x4067 ~x5758 ~x1530 
26.29/26.46	v ~x3221 ~x4912 ~x2375 ~x6605 ~x686 ~x4068 ~x5759 ~x1531 ~x3222 ~x4913 
26.29/26.46	v ~x2376 ~x6606 ~x687 ~x4069 ~x5760 ~x1532 ~x3223 ~x4914 ~x2377 ~x6607 
26.29/26.46	v ~x688 ~x4070 ~x5761 ~x1533 ~x3224 ~x4915 ~x2378 ~x6608 ~x689 ~x4071 
26.29/26.46	v ~x5762 ~x1534 ~x3225 ~x4916 ~x2379 ~x6609 ~x690 ~x4072 ~x5763 ~x1535 
26.29/26.46	v ~x3226 ~x4917 ~x2380 ~x6610 ~x691 ~x4073 x5764 ~x1536 ~x3227 ~x4918 
26.29/26.46	v ~x2381 ~x6611 ~x692 ~x4074 ~x5765 ~x1537 ~x3228 ~x4919 ~x2382 ~x6612 
26.29/26.46	v ~x693 ~x4075 ~x5766 ~x1538 ~x3229 ~x4920 ~x2383 ~x6613 ~x694 ~x4076 
26.29/26.46	v ~x5767 ~x1539 ~x3230 ~x4921 x2384 ~x6614 ~x695 ~x4077 ~x5768 ~x1540 
26.29/26.46	v ~x3231 ~x4922 ~x2385 ~x6615 ~x696 ~x4078 ~x5769 ~x1541 ~x3232 ~x4923 
26.29/26.46	v ~x2386 ~x6616 ~x697 ~x4079 ~x5770 ~x1542 ~x3233 ~x4924 ~x2387 ~x6617 
26.29/26.46	v ~x698 ~x4080 ~x5771 ~x1543 ~x3234 ~x4925 ~x2388 ~x6618 ~x699 ~x4081 
26.29/26.46	v ~x5772 ~x1544 ~x3235 ~x4926 ~x2389 ~x6619 ~x700 ~x4082 ~x5773 ~x1545 
26.29/26.46	v ~x3236 ~x4927 ~x2390 ~x6620 ~x701 ~x4083 ~x5774 ~x1546 ~x3237 ~x4928 
26.29/26.46	v ~x2391 ~x6621 ~x702 ~x4084 ~x5775 ~x1547 ~x3238 ~x4929 ~x2392 ~x6622 
26.29/26.46	v ~x703 ~x4085 ~x5776 ~x1548 ~x3239 ~x4930 ~x2393 ~x6623 ~x704 ~x4086 
26.29/26.46	v ~x5777 ~x1549 ~x3240 ~x4931 ~x2394 ~x6624 ~x705 ~x4087 ~x5778 ~x1550 
26.29/26.46	v ~x3241 ~x4932 ~x2395 ~x6625 ~x706 ~x4088 ~x5779 ~x1551 ~x3242 ~x4933 
26.29/26.46	v ~x2396 ~x6626 ~x707 x4089 ~x5780 ~x1552 ~x3243 ~x4934 ~x2397 ~x6627 
26.29/26.46	v ~x708 ~x4090 ~x5781 ~x1553 ~x3244 ~x4935 ~x2398 ~x6628 ~x709 ~x4091 
26.29/26.46	v ~x5782 ~x1554 ~x3245 ~x4936 ~x2399 ~x6629 ~x710 ~x4092 ~x5783 ~x1555 
26.29/26.46	v ~x3246 ~x4937 ~x2400 ~x6630 ~x711 ~x4093 ~x5784 ~x1556 ~x3247 ~x4938 
26.29/26.46	v ~x2401 ~x6631 ~x712 ~x4094 ~x5785 ~x1557 ~x3248 ~x4939 ~x2402 ~x6632 
26.29/26.46	v ~x713 ~x4095 ~x5786 ~x1558 ~x3249 ~x4940 ~x2403 ~x6633 ~x714 ~x4096 
26.29/26.46	v ~x5787 ~x1559 ~x3250 ~x4941 ~x2404 ~x6634 ~x715 ~x4097 ~x5788 ~x1560 
26.29/26.46	v ~x3251 ~x4942 ~x2405 ~x6635 ~x716 ~x4098 ~x5789 ~x1561 ~x3252 ~x4943 
26.29/26.46	v ~x2406 ~x6636 ~x717 ~x4099 ~x5790 ~x1562 ~x3253 ~x4944 ~x2407 ~x6637 
26.29/26.46	v ~x718 ~x4100 ~x5791 ~x1563 ~x3254 ~x4945 ~x2408 ~x6638 ~x719 ~x4101 
26.29/26.46	v ~x5792 ~x1564 ~x3255 ~x4946 ~x2409 ~x6639 ~x720 ~x4102 ~x5793 ~x1565 
26.29/26.46	v ~x3256 ~x4947 ~x2410 ~x6640 ~x721 ~x4103 ~x5794 ~x1566 ~x3257 ~x4948 
26.29/26.46	v ~x2411 ~x6641 ~x722 ~x4104 ~x5795 ~x1567 ~x3258 ~x4949 ~x2412 ~x6642 
26.29/26.46	v ~x723 ~x4105 ~x5796 ~x1568 ~x3259 ~x4950 ~x2413 ~x6643 ~x724 ~x4106 
26.29/26.46	v ~x5797 ~x1569 ~x3260 ~x4951 ~x2414 ~x6644 ~x725 ~x4107 ~x5798 ~x1570 
26.29/26.46	v ~x3261 ~x4952 ~x2415 ~x6645 ~x726 ~x4108 ~x5799 ~x1571 ~x3262 ~x4953 
26.29/26.46	v ~x2416 ~x6646 ~x727 ~x4109 ~x5800 ~x1572 ~x3263 ~x4954 ~x2417 ~x6647 
26.29/26.46	v ~x728 ~x4110 ~x5801 ~x1573 ~x3264 ~x4955 ~x2418 ~x6648 ~x729 ~x4111 
26.29/26.46	v ~x5802 ~x1574 ~x3265 ~x4956 ~x2419 ~x6649 ~x730 ~x4112 ~x5803 ~x1575 
26.29/26.46	v ~x3266 ~x4957 ~x2420 ~x6650 ~x731 ~x4113 ~x5804 ~x1576 ~x3267 ~x4958 
26.29/26.46	v ~x2421 ~x6651 ~x732 ~x4114 ~x5805 ~x1577 x3268 ~x4959 ~x2422 ~x6652 
26.29/26.46	v ~x733 ~x4115 ~x5806 ~x1578 ~x3269 ~x4960 ~x2423 ~x6653 ~x734 ~x4116 
26.29/26.46	v ~x5807 ~x1579 ~x3270 ~x4961 ~x2424 ~x6654 ~x735 ~x4117 ~x5808 ~x1580 
26.29/26.46	v ~x3271 ~x4962 ~x2425 ~x6655 ~x736 ~x4118 ~x5809 ~x1581 ~x3272 ~x4963 
26.29/26.46	v ~x2426 ~x6656 ~x737 ~x4119 ~x5810 ~x1582 x3273 ~x4964 ~x2427 ~x6657 
26.29/26.46	v ~x738 ~x4120 ~x5811 ~x1583 ~x3274 ~x4965 ~x2428 ~x6658 ~x739 ~x4121 
26.29/26.46	v ~x5812 ~x1584 ~x3275 ~x4966 ~x2429 ~x6659 ~x740 ~x4122 ~x5813 ~x1585 
26.29/26.46	v ~x3276 ~x4967 ~x2430 ~x6660 ~x741 ~x4123 ~x5814 ~x1586 ~x3277 ~x4968 
26.29/26.46	v ~x2431 ~x6661 ~x742 ~x4124 ~x5815 ~x1587 ~x3278 ~x4969 ~x2432 ~x6662 
26.29/26.46	v ~x743 ~x4125 ~x5816 ~x1588 ~x3279 ~x4970 ~x2433 ~x6663 ~x744 ~x4126 
26.29/26.46	v ~x5817 ~x1589 ~x3280 ~x4971 ~x2434 ~x6664 ~x745 ~x4127 ~x5818 ~x1590 
26.29/26.46	v ~x3281 ~x4972 ~x2435 ~x6665 ~x746 ~x4128 ~x5819 ~x1591 ~x3282 ~x4973 
26.29/26.46	v ~x2436 ~x6666 ~x747 ~x4129 ~x5820 ~x1592 ~x3283 ~x4974 ~x2437 ~x6667 
26.29/26.46	v ~x748 ~x4130 ~x5821 ~x1593 ~x3284 x4975 ~x2438 ~x6668 ~x749 ~x4131 
26.29/26.46	v ~x5822 ~x1594 ~x3285 ~x4976 ~x2439 ~x6669 ~x750 ~x4132 ~x5823 ~x1595 
26.29/26.46	v ~x3286 ~x4977 ~x2440 ~x6670 ~x751 ~x4133 ~x5824 ~x1596 ~x3287 ~x4978 
26.29/26.46	v ~x2441 ~x6671 ~x752 ~x4134 ~x5825 ~x1597 ~x3288 ~x4979 ~x2442 ~x6672 
26.29/26.46	v ~x753 ~x4135 ~x5826 ~x1598 ~x3289 ~x4980 ~x2443 ~x6673 ~x754 ~x4136 
26.29/26.46	v ~x5827 ~x1599 ~x3290 ~x4981 ~x2444 ~x6674 ~x755 ~x4137 ~x5828 ~x1600 
26.29/26.46	v ~x3291 ~x4982 ~x2445 ~x6675 ~x756 ~x4138 ~x5829 ~x1601 ~x3292 ~x4983 
26.29/26.46	v ~x2446 ~x6676 ~x757 ~x4139 ~x5830 ~x1602 ~x3293 ~x4984 ~x2447 ~x6677 
26.29/26.46	v ~x758 ~x4140 ~x5831 x1603 ~x3294 ~x4985 ~x2448 ~x6678 ~x759 ~x4141 
26.29/26.46	v ~x5832 ~x1604 ~x3295 ~x4986 ~x2449 ~x6679 ~x760 ~x4142 ~x5833 ~x1605 
26.29/26.46	v ~x3296 ~x4987 ~x2450 ~x6680 ~x761 ~x4143 ~x5834 ~x1606 ~x3297 ~x4988 
26.29/26.46	v ~x2451 ~x6681 ~x762 ~x4144 ~x5835 ~x1607 ~x3298 ~x4989 ~x2452 ~x6682 
26.29/26.46	v ~x763 ~x4145 ~x5836 ~x1608 ~x3299 ~x4990 ~x2453 ~x6683 ~x764 ~x4146 
26.29/26.46	v ~x5837 ~x1609 ~x3300 ~x4991 ~x2454 ~x6684 ~x765 ~x4147 ~x5838 ~x1610 
26.29/26.46	v ~x3301 ~x4992 ~x2455 ~x6685 ~x766 ~x4148 ~x5839 ~x1611 ~x3302 ~x4993 
26.29/26.46	v ~x2456 ~x6686 ~x767 ~x4149 ~x5840 ~x1612 ~x3303 ~x4994 ~x2457 x6687 
26.29/26.46	v ~x768 ~x4150 ~x5841 ~x1613 ~x3304 ~x4995 ~x2458 ~x6688 ~x769 ~x4151 
26.29/26.46	v ~x5842 ~x1614 ~x3305 ~x4996 ~x2459 ~x6689 ~x770 ~x4152 ~x5843 ~x1615 
26.29/26.46	v ~x3306 ~x4997 ~x2460 ~x6690 ~x771 ~x4153 ~x5844 ~x1616 ~x3307 ~x4998 
26.29/26.46	v ~x2461 ~x6691 ~x772 ~x4154 ~x5845 ~x1617 ~x3308 ~x4999 ~x2462 ~x6692 
26.29/26.46	v ~x773 ~x4155 ~x5846 ~x1618 ~x3309 ~x5000 ~x2463 ~x6693 ~x774 ~x4156 
26.29/26.46	v ~x5847 ~x1619 ~x3310 ~x5001 ~x2464 ~x6694 ~x775 ~x4157 ~x5848 ~x1620 
26.29/26.46	v ~x3311 ~x5002 ~x2465 ~x6695 ~x776 ~x4158 ~x5849 ~x1621 ~x3312 ~x5003 
26.29/26.46	v ~x2466 ~x6696 ~x777 ~x4159 ~x5850 ~x1622 ~x3313 ~x5004 ~x2467 ~x6697 
26.29/26.46	v ~x778 ~x4160 ~x5851 ~x1623 ~x3314 ~x5005 ~x2468 ~x6698 ~x779 ~x4161 
26.29/26.46	v ~x5852 ~x1624 ~x3315 ~x5006 ~x2469 ~x6699 x780 ~x4162 ~x5853 ~x1625 
26.29/26.46	v ~x3316 ~x5007 ~x2470 ~x6700 ~x781 ~x4163 ~x5854 ~x1626 ~x3317 ~x5008 
26.29/26.46	v ~x2471 ~x6701 ~x782 ~x4164 ~x5855 ~x1627 ~x3318 ~x5009 ~x2472 ~x6702 
26.29/26.46	v ~x783 ~x4165 ~x5856 ~x1628 ~x3319 ~x5010 ~x2473 ~x6703 ~x784 ~x4166 
26.29/26.46	v ~x5857 ~x1629 ~x3320 ~x5011 ~x2474 ~x6704 ~x785 ~x4167 ~x5858 ~x1630 
26.29/26.46	v ~x3321 ~x5012 ~x2475 ~x6705 ~x786 ~x4168 ~x5859 ~x1631 ~x3322 ~x5013 
26.29/26.46	v ~x2476 ~x6706 ~x787 ~x4169 ~x5860 ~x1632 ~x3323 ~x5014 ~x2477 ~x6707 
26.29/26.46	v ~x788 ~x4170 ~x5861 ~x1633 ~x3324 ~x5015 ~x2478 ~x6708 ~x789 ~x4171 
26.29/26.46	v ~x5862 ~x1634 ~x3325 ~x5016 ~x2479 ~x6709 ~x790 ~x4172 ~x5863 ~x1635 
26.29/26.46	v ~x3326 ~x5017 ~x2480 ~x6710 ~x791 ~x4173 ~x5864 ~x1636 ~x3327 ~x5018 
26.29/26.46	v ~x2481 ~x6711 ~x792 ~x4174 ~x5865 ~x1637 ~x3328 ~x5019 x2482 ~x6712 
26.29/26.46	v ~x793 ~x4175 x5866 ~x1638 ~x3329 ~x5020 ~x2483 ~x6713 ~x794 x4176 
26.29/26.46	v ~x5867 ~x1639 ~x3330 ~x5021 x2484 ~x6714 ~x795 ~x4177 ~x5868 ~x1640 
26.29/26.46	v ~x3331 ~x5022 ~x2485 ~x6715 ~x796 ~x4178 ~x5869 ~x1641 ~x3332 ~x5023 
26.29/26.46	v ~x2486 ~x6716 ~x797 ~x4179 ~x5870 ~x1642 ~x3333 ~x5024 ~x2487 ~x6717 
26.29/26.46	v ~x798 ~x4180 ~x5871 ~x1643 ~x3334 ~x5025 ~x2488 ~x6718 ~x799 ~x4181 
26.29/26.46	v ~x5872 ~x1644 ~x3335 ~x5026 ~x2489 ~x6719 ~x800 ~x4182 ~x5873 ~x1645 
26.29/26.46	v ~x3336 ~x5027 ~x2490 ~x6720 ~x801 ~x4183 x5874 ~x1646 ~x3337 ~x5028 
26.29/26.46	v ~x2491 ~x6721 ~x802 ~x4184 ~x5875 ~x1647 ~x3338 ~x5029 ~x2492 ~x6722 
26.29/26.46	v ~x803 ~x4185 ~x5876 ~x1648 ~x3339 ~x5030 ~x2493 ~x6723 ~x804 ~x4186 
26.29/26.46	v ~x5877 ~x1649 ~x3340 ~x5031 ~x2494 ~x6724 ~x805 ~x4187 ~x5878 ~x1650 
26.29/26.46	v ~x3341 ~x5032 ~x2495 ~x6725 ~x806 ~x4188 ~x5879 ~x1651 ~x3342 ~x5033 
26.29/26.46	v ~x2496 ~x6726 ~x807 ~x4189 ~x5880 ~x1652 ~x3343 ~x5034 ~x2497 ~x6727 
26.29/26.46	v ~x808 ~x4190 ~x5881 ~x1653 ~x3344 ~x5035 ~x2498 ~x6728 ~x809 ~x4191 
26.29/26.46	v x5882 ~x1654 ~x3345 ~x5036 ~x2499 ~x6729 ~x810 ~x4192 ~x5883 ~x1655 
26.29/26.46	v ~x3346 ~x5037 ~x2500 ~x6730 ~x811 ~x4193 ~x5884 ~x1656 ~x3347 ~x5038 
26.29/26.46	v ~x2501 ~x6731 ~x812 ~x4194 ~x5885 ~x1657 ~x3348 ~x5039 ~x2502 ~x6732 
26.29/26.46	v ~x813 ~x4195 ~x5886 ~x1658 ~x3349 ~x5040 ~x2503 ~x6733 ~x814 ~x4196 
26.29/26.46	v ~x5887 ~x1659 ~x3350 ~x5041 ~x2504 ~x6734 ~x815 ~x4197 ~x5888 ~x1660 
26.29/26.46	v ~x3351 ~x5042 ~x2505 ~x6735 ~x816 ~x4198 ~x5889 ~x1661 ~x3352 ~x5043 
26.29/26.46	v ~x2506 ~x6736 ~x817 ~x4199 ~x5890 ~x1662 ~x3353 ~x5044 ~x2507 ~x6737 
26.29/26.46	v ~x818 ~x4200 ~x5891 ~x1663 ~x3354 ~x5045 ~x2508 ~x6738 ~x819 ~x4201 
26.29/26.46	v ~x5892 ~x1664 ~x3355 ~x5046 ~x2509 ~x6739 ~x820 ~x4202 ~x5893 ~x1665 
26.29/26.46	v ~x3356 ~x5047 ~x2510 ~x6740 ~x821 ~x4203 ~x5894 ~x1666 ~x3357 ~x5048 
26.29/26.46	v ~x2511 ~x6741 ~x822 ~x4204 ~x5895 ~x1667 ~x3358 ~x5049 ~x2512 ~x6742 
26.29/26.46	v ~x823 ~x4205 ~x5896 ~x1668 ~x3359 ~x5050 ~x2513 ~x6743 ~x824 ~x4206 
26.29/26.46	v ~x5897 ~x1669 ~x3360 ~x5051 ~x2514 ~x6744 ~x825 ~x4207 ~x5898 ~x1670 
26.29/26.46	v ~x3361 ~x5052 ~x2515 ~x6745 ~x826 ~x4208 ~x5899 ~x1671 ~x3362 ~x5053 
26.29/26.46	v ~x2516 ~x6746 ~x827 ~x4209 ~x5900 ~x1672 ~x3363 ~x5054 ~x2517 ~x6747 
26.29/26.46	v ~x828 ~x4210 ~x5901 ~x1673 ~x3364 ~x5055 ~x2518 ~x6748 ~x829 ~x4211 
26.29/26.46	v ~x5902 ~x1674 ~x3365 ~x5056 ~x2519 ~x6749 ~x830 ~x4212 ~x5903 ~x1675 
26.29/26.46	v ~x3366 ~x5057 ~x2520 ~x6750 ~x831 ~x4213 ~x5904 ~x1676 ~x3367 ~x5058 
26.29/26.46	v ~x2521 ~x6751 ~x832 ~x4214 ~x5905 ~x1677 ~x3368 ~x5059 ~x2522 ~x6752 
26.29/26.46	v ~x833 ~x4215 ~x5906 ~x1678 ~x3369 ~x5060 ~x2523 ~x6753 ~x834 ~x4216 
26.29/26.46	v ~x5907 ~x1679 ~x3370 ~x5061 ~x2524 ~x6754 ~x835 ~x4217 ~x5908 ~x1680 
26.29/26.46	v ~x3371 ~x5062 ~x2525 ~x6755 ~x836 ~x4218 ~x5909 ~x1681 ~x3372 ~x5063 
26.29/26.46	v ~x2526 ~x6756 ~x837 ~x4219 ~x5910 ~x1682 ~x3373 ~x5064 ~x2527 ~x6757 
26.29/26.46	v ~x838 ~x4220 ~x5911 ~x1683 ~x3374 ~x5065 ~x2528 x1 ~x6758 ~x839 
26.29/26.46	v ~x4221 ~x5912 ~x1684 x3375 ~x5066 ~x2529 ~x2 ~x6759 ~x840 ~x4222 
26.29/26.46	v ~x5913 ~x1685 ~x3376 ~x5067 ~x2530 ~x3 ~x6760 ~x841 ~x4223 ~x5914 
26.29/26.46	v ~x1686 ~x3377 ~x5068 ~x2531 ~x4 ~x6761 ~x842 ~x4224 ~x5915 ~x1687 
26.29/26.46	v ~x3378 ~x5069 ~x2532 ~x5 ~x6762 ~x843 ~x4225 ~x5916 ~x1688 ~x3379 
26.29/26.46	v ~x5070 ~x2533 ~x6 ~x6763 ~x844 ~x4226 ~x5917 ~x1689 ~x3380 ~x5071 
26.29/26.46	v ~x2534 ~x7 ~x6764 ~x845 ~x4227 ~x5918 ~x1690 ~x3381 ~x5072 ~x2535 
26.29/26.46	v ~x8 ~x6765 ~x846 ~x4228 ~x5919 ~x1691 ~x3382 ~x5073 ~x2536 ~x9 
26.29/26.46	v ~x6766 ~x847 ~x4229 ~x5920 ~x1692 ~x3383 ~x5074 ~x2537 ~x10 ~x6767 
26.29/26.46	v ~x848 ~x4230 ~x5921 ~x1693 ~x3384 ~x5075 ~x2538 ~x11 ~x6768 ~x849 
26.29/26.46	v ~x4231 ~x5922 ~x1694 ~x3385 ~x5076 ~x2539 ~x12 ~x6769 ~x850 ~x4232 
26.29/26.46	v ~x5923 ~x1695 ~x3386 ~x5077 ~x2540 ~x13 ~x6770 ~x851 ~x4233 ~x5924 
26.29/26.46	v ~x1696 ~x3387 ~x5078 ~x2541 ~x14 ~x6771 ~x852 ~x4234 ~x5925 ~x1697 
26.29/26.46	v ~x3388 ~x5079 ~x2542 ~x15 ~x6772 ~x853 ~x4235 ~x5926 ~x1698 ~x3389 
26.29/26.46	v ~x5080 ~x2543 ~x16 ~x6773 ~x854 ~x4236 ~x5927 ~x1699 ~x3390 ~x5081 
26.29/26.46	v ~x2544 ~x17 ~x6774 ~x855 ~x4237 ~x5928 ~x1700 ~x3391 ~x5082 ~x2545 
26.29/26.46	v ~x18 ~x6775 ~x856 ~x4238 ~x5929 ~x1701 ~x3392 ~x5083 ~x2546 ~x19 
26.29/26.46	v ~x6776 ~x857 ~x4239 ~x5930 ~x1702 ~x3393 ~x5084 ~x2547 ~x20 ~x6777 
26.29/26.46	v ~x858 ~x4240 ~x5931 ~x1703 ~x3394 ~x5085 ~x2548 ~x21 ~x6778 ~x859 
26.29/26.46	v ~x4241 ~x5932 ~x1704 ~x3395 ~x5086 ~x2549 ~x22 ~x6779 ~x860 ~x4242 
26.29/26.46	v ~x5933 x1705 ~x3396 ~x5087 ~x2550 ~x23 ~x6780 ~x861 ~x5934 ~x1706 
26.29/26.46	v ~x3397 ~x5088 ~x2551 ~x24 ~x6781 ~x862 ~x5935 ~x1707 ~x3398 ~x5089 
26.29/26.46	v ~x2552 ~x4243 ~x25 ~x6782 ~x863 ~x5936 ~x1708 ~x3399 ~x5090 ~x2553 
26.29/26.46	v ~x4244 ~x26 ~x6783 ~x864 ~x5937 ~x1709 ~x3400 ~x5091 ~x2554 ~x4245 
26.29/26.46	v ~x27 ~x6784 ~x865 ~x5938 ~x1710 ~x3401 ~x5092 ~x2555 ~x4246 ~x28 
26.29/26.46	v ~x6785 ~x866 ~x5939 ~x1711 ~x3402 ~x5093 ~x2556 ~x4247 ~x29 ~x6786 
26.29/26.46	v ~x867 ~x5940 ~x1712 ~x3403 ~x5094 ~x2557 ~x4248 ~x30 ~x6787 ~x868 
26.29/26.46	v ~x5941 ~x1713 ~x3404 ~x5095 ~x2558 ~x4249 ~x31 ~x6788 ~x869 ~x5942 
26.29/26.46	v ~x1714 ~x3405 ~x5096 ~x2559 ~x4250 ~x32 ~x6789 ~x870 ~x5943 ~x1715 
26.29/26.46	v ~x3406 ~x5097 ~x2560 ~x4251 ~x33 ~x6790 ~x871 ~x5944 ~x1716 ~x3407 
26.29/26.46	v ~x5098 ~x2561 ~x4252 ~x34 ~x6791 ~x872 ~x5945 ~x1717 ~x3408 ~x5099 
26.29/26.46	v ~x2562 ~x4253 ~x35 ~x6792 ~x873 ~x5946 ~x1718 ~x3409 ~x5100 ~x2563 
26.29/26.46	v ~x4254 ~x36 ~x6793 ~x874 ~x5947 ~x1719 ~x3410 ~x5101 ~x2564 ~x4255 
26.29/26.46	v ~x37 ~x6794 ~x875 ~x5948 ~x1720 ~x3411 ~x5102 ~x2565 ~x4256 ~x38 
26.29/26.46	v ~x6795 ~x876 ~x5949 ~x1721 ~x3412 ~x5103 ~x2566 ~x4257 ~x39 ~x6796 
26.29/26.46	v ~x877 ~x5950 ~x1722 ~x3413 ~x5104 ~x2567 ~x4258 ~x40 ~x6797 ~x878 
26.29/26.46	v ~x5951 ~x1723 ~x3414 ~x5105 ~x2568 ~x4259 ~x41 ~x6798 x879 ~x5952 
26.29/26.47	v ~x1724 ~x3415 ~x5106 ~x2569 ~x4260 ~x42 ~x6799 ~x880 ~x5953 ~x1725 
26.29/26.47	v ~x3416 ~x5107 ~x2570 ~x4261 ~x43 ~x6800 ~x881 ~x5954 ~x1726 ~x3417 
26.29/26.47	v ~x5108 ~x2571 ~x4262 ~x44 ~x6801 ~x882 ~x5955 ~x1727 ~x3418 ~x5109 
26.29/26.47	v ~x2572 ~x4263 ~x45 ~x6802 ~x883 ~x5956 ~x1728 ~x3419 ~x5110 ~x2573 
26.29/26.47	v ~x4264 ~x46 ~x6803 ~x884 ~x5957 ~x1729 ~x3420 ~x5111 ~x2574 ~x4265 
26.29/26.47	v ~x47 ~x6804 ~x885 ~x5958 ~x1730 ~x3421 ~x5112 ~x2575 ~x4266 ~x48 
26.29/26.47	v ~x6805 ~x886 ~x5959 ~x1731 ~x3422 ~x5113 ~x2576 ~x4267 ~x49 ~x6806 
26.29/26.47	v ~x887 ~x5960 ~x1732 ~x3423 ~x5114 ~x2577 ~x4268 ~x50 ~x6807 ~x888 
26.29/26.47	v ~x5961 ~x1733 ~x3424 ~x5115 ~x2578 ~x4269 ~x51 ~x6808 ~x889 ~x5962 
26.29/26.47	v ~x1734 ~x3425 ~x5116 ~x2579 ~x4270 ~x52 ~x6809 ~x890 ~x5963 ~x1735 
26.29/26.47	v ~x3426 ~x5117 ~x2580 ~x4271 ~x53 ~x6810 ~x891 ~x5964 ~x1736 ~x3427 
26.29/26.47	v ~x5118 ~x2581 ~x4272 ~x54 ~x6811 ~x892 ~x5965 ~x1737 ~x3428 ~x5119 
26.29/26.47	v ~x2582 ~x4273 ~x55 ~x6812 ~x893 ~x5966 ~x1738 ~x3429 ~x5120 ~x2583 
26.29/26.47	v ~x4274 ~x56 ~x6813 ~x894 ~x5967 ~x1739 ~x3430 ~x5121 x2584 x4275 
26.29/26.47	v ~x57 ~x6814 ~x895 ~x5968 ~x1740 ~x3431 ~x5122 ~x2585 ~x4276 ~x58 
26.29/26.47	v ~x6815 ~x896 ~x5969 ~x1741 ~x3432 ~x5123 ~x2586 ~x4277 ~x59 ~x6816 
26.29/26.47	v ~x897 ~x5970 ~x1742 ~x3433 ~x5124 ~x2587 ~x4278 ~x60 ~x6817 ~x898 
26.29/26.47	v ~x5971 ~x1743 ~x3434 ~x5125 ~x2588 ~x4279 ~x61 ~x6818 ~x899 ~x5972 
26.29/26.47	v ~x1744 ~x3435 ~x5126 ~x2589 ~x4280 ~x62 ~x6819 ~x900 ~x5973 ~x1745 
26.29/26.47	v ~x3436 ~x5127 ~x2590 ~x4281 ~x63 ~x6820 ~x901 ~x5974 ~x1746 ~x3437 
26.29/26.47	v ~x5128 ~x2591 ~x4282 ~x64 ~x6821 ~x902 ~x5975 ~x1747 ~x3438 ~x5129 
26.29/26.47	v ~x2592 ~x4283 ~x65 ~x6822 ~x903 ~x5976 ~x1748 ~x3439 ~x5130 ~x2593 
26.29/26.47	v ~x4284 ~x66 ~x6823 ~x904 ~x5977 ~x1749 ~x3440 x5131 ~x2594 ~x4285 
26.29/26.47	v ~x67 ~x6824 ~x905 ~x5978 ~x1750 ~x3441 ~x5132 ~x2595 ~x4286 ~x68 
26.29/26.47	v ~x6825 ~x906 ~x5979 ~x1751 ~x3442 x5133 ~x2596 ~x4287 ~x69 ~x6826 
26.29/26.47	v ~x907 ~x5980 ~x1752 ~x3443 ~x5134 ~x2597 ~x4288 ~x70 ~x6827 ~x908 
26.29/26.47	v ~x5981 ~x1753 ~x3444 ~x5135 ~x2598 ~x4289 ~x71 ~x6828 ~x909 ~x5982 
26.29/26.47	v ~x1754 ~x3445 ~x5136 ~x2599 ~x4290 ~x72 ~x6829 ~x910 ~x5983 ~x1755 
26.29/26.47	v ~x3446 ~x5137 ~x2600 ~x4291 ~x73 ~x6830 ~x911 ~x5984 ~x1756 ~x3447 
26.29/26.47	v ~x5138 ~x2601 ~x4292 ~x74 ~x6831 x912 ~x5985 ~x1757 ~x3448 ~x5139 
26.29/26.47	v ~x2602 ~x4293 ~x75 ~x6832 ~x913 ~x5986 ~x1758 ~x3449 ~x5140 ~x2603 
26.29/26.47	v ~x4294 ~x76 ~x6833 x914 ~x5987 ~x1759 ~x3450 ~x5141 ~x2604 ~x4295 
26.29/26.47	v ~x77 ~x6834 ~x915 ~x5988 ~x1760 ~x3451 ~x5142 ~x2605 ~x4296 ~x78 
26.29/26.47	v ~x6835 ~x916 ~x5989 ~x1761 ~x3452 ~x5143 ~x2606 ~x4297 ~x79 ~x6836 
26.29/26.47	v ~x917 ~x5990 ~x1762 ~x3453 ~x5144 ~x2607 ~x4298 ~x80 ~x6837 ~x918 
26.29/26.47	v ~x5991 ~x1763 ~x3454 ~x5145 ~x2608 ~x4299 ~x81 ~x6838 ~x919 ~x5992 
26.29/26.47	v ~x1764 ~x3455 ~x5146 ~x2609 ~x4300 ~x82 ~x6839 ~x920 ~x5993 ~x1765 
26.29/26.47	v ~x3456 ~x5147 ~x2610 ~x4301 ~x83 ~x6840 ~x921 ~x5994 ~x1766 ~x3457 
26.29/26.47	v ~x5148 ~x2611 ~x4302 ~x84 ~x6841 ~x922 ~x5995 ~x1767 ~x3458 ~x5149 
26.29/26.47	v ~x2612 ~x4303 ~x85 ~x6842 ~x923 ~x5996 ~x1768 ~x3459 ~x5150 ~x2613 
26.29/26.47	v ~x4304 ~x86 ~x6843 ~x924 ~x5997 ~x1769 ~x3460 ~x5151 ~x2614 ~x4305 
26.29/26.47	v ~x87 ~x6844 ~x925 ~x5998 ~x1770 ~x3461 ~x5152 ~x2615 ~x4306 ~x88 
26.29/26.47	v ~x6845 ~x926 ~x5999 ~x1771 ~x3462 ~x5153 ~x2616 ~x4307 ~x89 ~x6846 
26.29/26.47	v ~x927 ~x6000 ~x1772 ~x3463 ~x5154 ~x2617 ~x4308 ~x90 ~x6847 ~x928 
26.29/26.47	v ~x6001 ~x1773 ~x3464 ~x5155 ~x2618 ~x4309 ~x91 ~x6848 ~x929 ~x6002 
26.29/26.47	v ~x1774 ~x3465 ~x5156 ~x2619 ~x4310 ~x92 ~x6849 ~x930 ~x6003 ~x1775 
26.29/26.47	v ~x3466 ~x5157 ~x2620 ~x4311 ~x93 ~x6850 ~x931 ~x6004 ~x1776 ~x3467 
26.29/26.47	v ~x5158 ~x2621 ~x4312 ~x94 ~x6851 ~x932 ~x6005 ~x1777 ~x3468 ~x5159 
26.29/26.47	v ~x2622 ~x4313 ~x95 ~x6852 ~x933 ~x6006 ~x1778 ~x3469 ~x5160 ~x2623 
26.29/26.47	v ~x4314 ~x96 ~x6853 ~x934 ~x6007 ~x1779 ~x3470 ~x5161 ~x2624 ~x4315 
26.29/26.47	v ~x97 ~x6854 ~x935 ~x6008 ~x1780 ~x3471 ~x5162 ~x2625 ~x4316 ~x98 
26.29/26.47	v ~x6855 ~x936 ~x6009 ~x1781 ~x3472 ~x5163 ~x2626 ~x4317 ~x99 ~x6856 
26.29/26.47	v ~x937 ~x6010 ~x1782 ~x3473 ~x5164 ~x2627 ~x4318 ~x100 ~x6857 ~x938 
26.29/26.47	v ~x6011 ~x1783 ~x3474 ~x5165 ~x2628 ~x4319 ~x101 ~x6858 ~x939 ~x6012 
26.29/26.47	v ~x1784 ~x3475 ~x5166 ~x2629 ~x4320 ~x6859 ~x940 ~x6013 ~x1785 ~x3476 
26.29/26.47	v ~x5167 ~x2630 ~x4321 ~x6860 ~x941 x6014 ~x1786 x3477 ~x5168 ~x2631 
26.29/26.47	v ~x4322 ~x6861 ~x942 ~x6015 ~x1787 ~x3478 ~x5169 ~x2632 ~x4323 ~x6862 
26.29/26.47	v ~x943 x6016 ~x1788 ~x3479 ~x5170 ~x2633 ~x4324 ~x6863 ~x944 ~x6017 
26.29/26.47	v ~x1789 ~x3480 ~x5171 ~x2634 ~x4325 ~x102 ~x6864 ~x945 ~x6018 ~x1790 
26.29/26.47	v ~x3481 ~x5172 ~x2635 ~x4326 ~x103 ~x6865 ~x946 ~x6019 ~x1791 ~x3482 
26.29/26.47	v ~x5173 ~x2636 ~x4327 ~x104 ~x6866 ~x947 ~x6020 ~x1792 ~x3483 ~x5174 
26.29/26.47	v ~x2637 ~x4328 ~x105 x6867 ~x948 ~x6021 ~x1793 ~x3484 ~x5175 ~x2638 
26.29/26.47	v ~x4329 ~x106 x6868 ~x949 ~x6022 ~x1794 ~x3485 ~x5176 ~x2639 ~x4330 
26.29/26.47	v ~x107 ~x950 ~x6023 ~x1795 ~x3486 ~x5177 ~x2640 ~x4331 ~x108 ~x951 
26.29/26.47	v ~x6024 ~x1796 ~x3487 ~x5178 ~x2641 ~x4332 ~x109 ~x952 ~x6025 ~x1797 
26.29/26.47	v ~x3488 ~x5179 ~x2642 ~x4333 ~x110 ~x953 ~x6026 ~x1798 ~x3489 ~x5180 
26.29/26.47	v ~x2643 ~x4334 ~x111 ~x954 ~x6027 ~x1799 ~x3490 ~x5181 ~x2644 ~x4335 
26.29/26.47	v ~x112 ~x955 ~x6028 ~x1800 ~x3491 ~x5182 ~x2645 ~x4336 ~x113 ~x956 
26.29/26.47	v ~x6029 ~x1801 ~x3492 ~x5183 ~x2646 ~x4337 ~x114 ~x957 ~x6030 ~x1802 
26.29/26.47	v ~x3493 ~x5184 ~x2647 ~x4338 ~x115 ~x958 ~x6031 ~x1803 ~x3494 ~x5185 
26.29/26.47	v ~x2648 ~x4339 ~x116 ~x959 ~x6032 ~x1804 ~x3495 ~x5186 ~x2649 ~x4340 
26.29/26.47	v ~x117 ~x960 ~x6033 ~x1805 ~x3496 ~x5187 ~x2650 ~x4341 ~x118 ~x961 
26.29/26.47	v ~x6034 ~x1806 ~x3497 ~x5188 ~x2651 ~x4342 ~x119 ~x962 ~x6035 x1807 
26.29/26.47	v ~x3498 ~x5189 ~x2652 ~x4343 ~x120 ~x963 ~x6036 ~x1808 ~x3499 ~x5190 
26.29/26.47	v ~x2653 ~x4344 ~x121 ~x964 ~x6037 ~x1809 ~x3500 ~x5191 ~x2654 ~x4345 
26.29/26.47	v ~x122 ~x965 ~x6038 ~x1810 ~x3501 ~x5192 ~x2655 ~x4346 ~x123 ~x966 
26.29/26.47	v ~x6039 ~x1811 ~x3502 ~x5193 ~x2656 ~x4347 ~x124 ~x967 ~x6040 ~x1812 
26.29/26.47	v ~x3503 ~x5194 ~x2657 ~x4348 ~x125 ~x968 ~x6041 ~x1813 ~x3504 ~x5195 
26.29/26.47	v ~x2658 ~x4349 ~x126 ~x969 ~x6042 ~x1814 ~x3505 ~x5196 ~x2659 ~x4350 
26.29/26.47	v ~x127 ~x970 ~x6043 ~x1815 ~x3506 ~x5197 ~x2660 ~x4351 ~x128 ~x971 
26.29/26.47	v ~x6044 ~x1816 ~x3507 ~x5198 ~x2661 ~x4352 ~x129 ~x972 ~x6045 ~x1817 
26.29/26.47	v ~x3508 ~x5199 ~x2662 x4353 ~x130 ~x973 ~x6046 ~x1818 ~x3509 ~x5200 
26.29/26.47	v ~x2663 ~x4354 ~x131 ~x974 ~x6047 ~x1819 ~x3510 ~x5201 ~x2664 x4355 
26.29/26.47	v ~x132 ~x975 ~x6048 ~x1820 ~x3511 ~x5202 ~x2665 ~x4356 ~x133 ~x976 
26.29/26.47	v ~x6049 ~x1821 ~x3512 ~x5203 ~x2666 x4357 ~x134 ~x977 ~x6050 ~x1822 
26.29/26.47	v ~x3513 ~x5204 ~x2667 ~x4358 ~x135 ~x978 ~x6051 ~x1823 ~x3514 ~x5205 
26.29/26.47	v ~x2668 ~x4359 ~x136 ~x979 ~x6052 ~x1824 ~x3515 ~x5206 ~x2669 ~x4360 
26.29/26.47	v ~x137 ~x980 ~x6053 ~x1825 ~x3516 ~x5207 ~x2670 ~x4361 ~x138 ~x981 
26.29/26.47	v ~x6054 ~x1826 ~x3517 ~x5208 ~x2671 ~x4362 ~x139 ~x982 ~x6055 ~x1827 
26.29/26.47	v ~x3518 ~x5209 ~x2672 ~x4363 ~x140 ~x983 ~x6056 ~x1828 ~x3519 ~x5210 
26.29/26.47	v ~x2673 ~x4364 ~x141 ~x984 ~x6057 ~x1829 ~x3520 ~x5211 ~x2674 ~x4365 
26.29/26.47	v ~x142 ~x985 ~x6058 ~x1830 ~x3521 ~x5212 ~x2675 ~x4366 ~x143 ~x986 
26.29/26.47	v ~x6059 ~x1831 ~x3522 ~x5213 ~x2676 ~x4367 ~x144 ~x987 ~x6060 ~x1832 
26.29/26.47	v ~x3523 ~x5214 ~x2677 ~x4368 ~x145 ~x988 ~x6061 ~x1833 ~x3524 ~x5215 
26.29/26.47	v ~x2678 ~x4369 ~x146 ~x989 ~x6062 ~x1834 ~x3525 ~x5216 ~x2679 ~x4370 
26.29/26.47	v ~x147 ~x990 ~x6063 ~x1835 ~x3526 x5217 ~x2680 ~x4371 ~x148 ~x991 
26.29/26.47	v ~x6064 ~x1836 ~x3527 ~x5218 ~x2681 ~x4372 ~x149 ~x992 ~x6065 ~x1837 
26.29/26.47	v ~x3528 ~x5219 ~x2682 x4373 ~x150 ~x993 ~x6066 ~x1838 ~x3529 ~x5220 
26.29/26.47	v ~x2683 ~x4374 ~x151 ~x994 ~x6067 ~x1839 ~x3530 ~x5221 ~x2684 x4375 
26.29/26.47	v ~x152 ~x995 ~x6068 ~x1840 ~x3531 ~x5222 ~x2685 ~x4376 ~x153 ~x996 
26.29/26.47	v ~x6069 ~x1841 ~x3532 ~x5223 ~x2686 x4377 ~x154 ~x997 ~x6070 ~x1842 
26.29/26.47	v ~x3533 ~x5224 ~x2687 ~x4378 ~x155 ~x998 ~x6071 ~x1843 ~x3534 ~x5225 
26.29/26.47	v ~x2688 ~x4379 ~x156 ~x999 ~x6072 ~x1844 ~x3535 ~x5226 ~x2689 ~x4380 
26.29/26.47	v ~x157 ~x1000 ~x6073 ~x1845 ~x3536 ~x5227 ~x2690 ~x4381 ~x158 ~x1001 
26.29/26.47	v ~x6074 ~x1846 ~x3537 ~x5228 ~x2691 ~x4382 ~x159 ~x1002 ~x6075 ~x1847 
26.29/26.47	v ~x3538 ~x5229 ~x2692 ~x4383 ~x160 ~x1003 ~x6076 ~x1848 ~x3539 ~x5230 
26.29/26.47	v ~x2693 ~x4384 ~x161 ~x1004 ~x6077 ~x1849 ~x3540 ~x5231 ~x2694 ~x4385 
26.29/26.47	v ~x162 ~x1005 ~x6078 ~x1850 ~x3541 ~x5232 ~x2695 ~x4386 ~x163 ~x1006 
26.29/26.47	v ~x6079 ~x1851 ~x3542 ~x5233 ~x2696 ~x4387 ~x164 ~x1007 ~x6080 ~x1852 
26.29/26.47	v ~x3543 ~x5234 ~x2697 ~x4388 ~x165 ~x1008 ~x6081 ~x1853 ~x3544 x5235 
26.29/26.47	v ~x2698 ~x4389 ~x166 ~x1009 ~x6082 ~x1854 ~x3545 ~x5236 ~x2699 ~x4390 
26.29/26.47	v ~x167 ~x1010 ~x6083 ~x1855 ~x3546 ~x5237 ~x2700 ~x4391 ~x168 ~x1011 
26.29/26.47	v ~x6084 ~x1856 ~x3547 ~x5238 ~x2701 ~x4392 ~x169 ~x1012 ~x6085 ~x1857 
26.29/26.47	v ~x3548 ~x5239 ~x2702 ~x4393 ~x170 ~x1013 ~x6086 ~x1858 ~x3549 ~x5240 
26.29/26.47	v ~x2703 ~x4394 ~x171 x1014 ~x6087 ~x1859 ~x3550 ~x5241 ~x2704 ~x4395 
26.29/26.47	v ~x172 ~x1015 ~x6088 ~x1860 ~x3551 ~x5242 ~x2705 ~x4396 ~x173 ~x1016 
26.29/26.47	v ~x6089 ~x1861 ~x3552 ~x5243 ~x2706 ~x4397 ~x174 ~x1017 ~x6090 ~x1862 
26.29/26.47	v ~x3553 ~x5244 ~x2707 ~x4398 ~x175 ~x1018 ~x6091 ~x1863 ~x3554 ~x5245 
26.29/26.47	v ~x2708 ~x4399 ~x176 ~x1019 ~x6092 ~x1864 ~x3555 ~x5246 ~x2709 ~x4400 
26.29/26.47	v ~x177 ~x1020 ~x6093 ~x1865 ~x3556 ~x5247 ~x2710 ~x4401 ~x178 ~x1021 
26.29/26.47	v ~x6094 ~x1866 ~x3557 ~x5248 ~x2711 ~x4402 x179 ~x1022 ~x6095 ~x1867 
26.29/26.47	v ~x3558 ~x5249 ~x2712 ~x4403 ~x180 ~x1023 ~x6096 ~x1868 ~x3559 ~x5250 
26.29/26.47	v ~x2713 ~x4404 ~x181 ~x1024 ~x6097 ~x1869 ~x3560 ~x5251 ~x2714 ~x4405 
26.29/26.47	v ~x182 ~x1025 ~x6098 ~x1870 ~x3561 ~x5252 ~x2715 ~x4406 ~x183 ~x1026 
26.29/26.47	v ~x6099 ~x1871 ~x3562 ~x5253 ~x2716 ~x4407 ~x184 ~x1027 ~x6100 ~x1872 
26.29/26.47	v ~x3563 ~x5254 ~x2717 ~x4408 ~x185 ~x1028 ~x6101 ~x1873 ~x3564 ~x5255 
26.29/26.47	v ~x2718 ~x4409 ~x186 ~x1029 ~x6102 ~x1874 ~x3565 ~x5256 ~x2719 ~x4410 
26.29/26.47	v ~x187 ~x1030 ~x6103 ~x1875 ~x3566 ~x5257 ~x2720 ~x4411 ~x188 ~x1031 
26.29/26.47	v ~x6104 ~x1876 ~x3567 ~x5258 x2721 ~x4412 ~x189 ~x1032 ~x6105 ~x1877 
26.29/26.47	v ~x3568 ~x5259 ~x2722 ~x4413 ~x190 ~x1033 ~x6106 ~x1878 ~x3569 ~x5260 
26.29/26.47	v ~x2723 ~x4414 ~x191 ~x1034 ~x6107 ~x1879 ~x3570 ~x5261 ~x2724 ~x4415 
26.29/26.47	v ~x192 ~x1035 ~x6108 ~x1880 ~x3571 ~x5262 ~x2725 ~x4416 ~x193 ~x1036 
26.29/26.47	v ~x6109 ~x1881 ~x3572 ~x5263 ~x2726 ~x4417 ~x194 ~x1037 ~x6110 ~x1882 
26.29/26.47	v ~x3573 ~x5264 ~x2727 ~x4418 ~x195 ~x1038 x6111 ~x1883 ~x3574 ~x5265 
26.29/26.47	v ~x2728 ~x4419 ~x196 ~x1039 ~x6112 ~x1884 ~x3575 ~x5266 ~x2729 ~x4420 
26.29/26.47	v ~x197 ~x1040 ~x6113 ~x1885 ~x3576 ~x5267 ~x2730 ~x4421 ~x198 ~x1041 
26.29/26.47	v ~x6114 ~x1886 ~x3577 ~x5268 ~x2731 ~x4422 ~x199 ~x1042 ~x6115 ~x1887 
26.29/26.47	v ~x3578 ~x5269 ~x2732 ~x4423 ~x200 ~x1043 ~x6116 ~x1888 x3579 ~x5270 
26.29/26.47	v ~x2733 ~x4424 ~x201 ~x1044 ~x6117 ~x1889 ~x3580 ~x5271 ~x2734 ~x4425 
26.29/26.47	v ~x202 ~x1045 ~x6118 ~x1890 ~x3581 ~x5272 ~x2735 ~x4426 ~x1046 ~x6119 
26.29/26.47	v ~x1891 ~x3582 ~x5273 ~x2736 ~x4427 ~x203 ~x1047 ~x6120 ~x1892 ~x3583 
26.29/26.47	v ~x5274 ~x2737 ~x4428 ~x204 ~x1048 ~x6121 ~x1893 ~x3584 ~x5275 ~x2738 
26.29/26.47	v ~x4429 ~x205 ~x1049 ~x6122 ~x1894 ~x3585 ~x5276 ~x2739 ~x4430 ~x206 
26.29/26.47	v ~x1050 ~x6123 ~x1895 ~x3586 ~x5277 ~x2740 ~x4431 ~x207 ~x1051 ~x6124 
26.29/26.47	v ~x1896 ~x3587 ~x5278 ~x2741 ~x4432 ~x208 ~x1052 ~x6125 ~x1897 ~x3588 
26.29/26.47	v ~x5279 ~x2742 ~x4433 ~x209 ~x1053 ~x6126 ~x1898 ~x3589 ~x5280 ~x2743 
26.29/26.47	v ~x4434 ~x210 ~x1054 ~x6127 ~x1899 ~x3590 ~x5281 ~x2744 ~x4435 ~x211 
26.29/26.47	v ~x1055 ~x6128 ~x1900 ~x3591 ~x5282 ~x2745 ~x4436 ~x212 ~x1056 ~x6129 
26.29/26.47	v ~x1901 ~x3592 ~x5283 ~x2746 ~x4437 ~x213 ~x1057 ~x6130 ~x1902 ~x3593 
26.29/26.47	v ~x5284 ~x2747 ~x4438 ~x214 ~x1058 ~x6131 ~x1903 ~x3594 ~x5285 ~x2748 
26.29/26.47	v ~x4439 ~x215 ~x1059 ~x6132 ~x1904 ~x3595 ~x5286 ~x2749 ~x4440 ~x216 
26.29/26.47	v ~x1060 ~x6133 ~x1905 ~x3596 ~x5287 ~x2750 ~x4441 ~x217 ~x1061 ~x6134 
26.29/26.47	v ~x1906 ~x3597 ~x5288 ~x2751 ~x4442 ~x218 ~x1062 ~x6135 ~x1907 ~x3598 
26.29/26.47	v ~x5289 ~x2752 ~x4443 ~x219 ~x1063 ~x6136 ~x1908 ~x3599 x5290 ~x2753 
26.29/26.47	v ~x4444 ~x220 ~x1064 ~x6137 x1909 ~x3600 ~x5291 ~x2754 ~x4445 ~x221 
26.29/26.47	v ~x1065 ~x6138 ~x1910 ~x3601 ~x5292 ~x2755 ~x4446 ~x222 ~x1066 ~x6139 
26.29/26.47	v ~x1911 ~x3602 ~x5293 ~x2756 ~x4447 ~x223 ~x1067 ~x6140 ~x1912 ~x3603 
26.29/26.47	v ~x5294 ~x2757 ~x4448 ~x224 ~x1068 ~x6141 ~x1913 ~x3604 ~x5295 ~x2758 
26.29/26.47	v ~x4449 ~x225 ~x1069 ~x6142 ~x1914 ~x3605 ~x5296 ~x2759 ~x4450 ~x226 
26.29/26.47	v ~x1070 ~x6143 ~x1915 ~x3606 ~x5297 ~x2760 ~x4451 ~x227 ~x1071 ~x6144 
26.29/26.47	v ~x1916 ~x3607 ~x5298 ~x2761 ~x4452 ~x228 ~x1072 x6145 ~x1917 ~x3608 
26.29/26.47	v ~x5299 ~x2762 ~x4453 ~x229 ~x1073 ~x6146 ~x1918 ~x3609 ~x5300 ~x2763 
26.29/26.47	v ~x4454 ~x230 ~x1074 ~x6147 ~x1919 ~x3610 ~x5301 ~x2764 ~x4455 ~x231 
26.29/26.47	v ~x1075 ~x6148 ~x1920 ~x3611 ~x5302 ~x2765 ~x4456 ~x232 ~x1076 ~x6149 
26.29/26.47	v ~x1921 ~x3612 ~x5303 ~x2766 x4457 ~x233 ~x1077 ~x6150 ~x1922 ~x3613 
26.29/26.47	v ~x5304 ~x2767 ~x4458 ~x234 ~x1078 ~x6151 ~x1923 ~x3614 ~x5305 ~x2768 
26.29/26.47	v ~x4459 ~x235 ~x1079 ~x6152 ~x1924 ~x3615 ~x5306 ~x2769 ~x4460 ~x236 
26.29/26.47	v ~x1080 ~x6153 ~x1925 ~x3616 ~x5307 ~x2770 ~x4461 ~x237 ~x1081 ~x6154 
26.29/26.47	v ~x1926 ~x3617 ~x5308 ~x2771 ~x4462 ~x238 ~x1082 ~x6155 ~x1927 ~x3618 
26.29/26.47	v ~x5309 ~x2772 ~x4463 ~x239 ~x1083 ~x6156 ~x1928 ~x3619 ~x5310 ~x2773 
26.29/26.47	v ~x4464 ~x240 ~x1084 ~x6157 ~x1929 ~x3620 ~x5311 ~x2774 ~x4465 ~x241 
26.29/26.47	v ~x1085 ~x6158 ~x1930 ~x3621 ~x5312 ~x2775 ~x4466 ~x242 ~x1086 ~x6159 
26.29/26.47	v ~x1931 ~x3622 ~x5313 ~x2776 ~x4467 ~x243 ~x1087 ~x6160 ~x1932 ~x3623 
26.29/26.47	v ~x5314 ~x2777 ~x4468 ~x244 ~x1088 ~x6161 ~x1933 ~x3624 ~x5315 ~x2778 
26.29/26.47	v ~x4469 ~x245 ~x1089 ~x6162 ~x1934 ~x3625 ~x5316 ~x2779 ~x4470 ~x246 
26.29/26.47	v ~x1090 ~x6163 ~x1935 ~x3626 ~x5317 ~x2780 ~x4471 ~x247 ~x1091 ~x6164 
26.29/26.47	v ~x1936 ~x3627 ~x5318 ~x2781 ~x4472 ~x248 ~x1092 ~x6165 ~x1937 ~x3628 
26.29/26.47	v ~x5319 ~x2782 ~x4473 ~x249 ~x1093 ~x6166 ~x1938 ~x3629 ~x5320 ~x2783 
26.29/26.47	v ~x4474 ~x250 ~x1094 ~x6167 ~x1939 ~x3630 ~x5321 ~x2784 ~x4475 ~x251 
26.29/26.47	v ~x1095 ~x6168 ~x1940 ~x3631 ~x5322 ~x2785 ~x4476 ~x252 ~x1096 ~x6169 
26.29/26.47	v ~x1941 ~x3632 ~x5323 ~x2786 ~x4477 ~x253 ~x1097 ~x6170 ~x1942 ~x3633 
26.29/26.47	v ~x5324 ~x2787 ~x4478 ~x254 ~x1098 ~x6171 ~x1943 ~x3634 ~x5325 ~x2788 
26.29/26.47	v ~x4479 ~x255 ~x1099 ~x6172 ~x1944 ~x3635 ~x5326 ~x2789 ~x4480 ~x256 
26.29/26.47	v ~x1100 ~x6173 ~x1945 ~x3636 ~x5327 ~x2790 ~x4481 ~x257 ~x1101 ~x6174 
26.29/26.47	v ~x1946 ~x3637 ~x5328 ~x2791 ~x4482 ~x258 ~x1102 ~x6175 ~x1947 ~x3638 
26.29/26.47	v ~x5329 ~x2792 ~x4483 ~x259 ~x1103 ~x6176 ~x1948 ~x3639 ~x5330 ~x2793 
26.29/26.47	v ~x4484 ~x260 ~x1104 ~x6177 ~x1949 ~x3640 ~x5331 ~x2794 ~x4485 ~x261 
26.29/26.47	v ~x1105 ~x6178 ~x1950 ~x3641 ~x5332 ~x2795 ~x4486 ~x262 ~x1106 ~x6179 
26.29/26.47	v ~x1951 ~x3642 ~x5333 ~x2796 ~x4487 ~x263 ~x1107 ~x6180 ~x1952 ~x3643 
26.29/26.47	v ~x5334 ~x2797 ~x4488 ~x264 ~x1108 ~x6181 ~x1953 ~x3644 ~x5335 ~x2798 
26.29/26.47	v ~x4489 ~x265 ~x1109 ~x6182 ~x1954 ~x3645 ~x5336 ~x2799 ~x4490 ~x266 
26.29/26.47	v ~x1110 ~x6183 ~x1955 ~x3646 ~x5337 ~x2800 ~x4491 ~x267 ~x1111 ~x6184 
26.29/26.47	v ~x1956 ~x3647 ~x5338 ~x2801 ~x4492 ~x268 ~x6185 ~x1957 ~x3648 ~x5339 
26.29/26.47	v ~x2802 ~x4493 ~x269 ~x6186 ~x1958 ~x3649 ~x5340 ~x1112 ~x2803 ~x4494 
26.29/26.47	v ~x270 ~x6187 ~x1959 ~x3650 ~x5341 x1113 ~x2804 ~x4495 x271 ~x6188 
26.29/26.47	v ~x1960 ~x3651 ~x5342 ~x1114 ~x2805 ~x4496 ~x272 ~x6189 ~x1961 ~x3652 
26.29/26.47	v ~x5343 ~x1115 ~x2806 ~x4497 ~x273 ~x6190 ~x1962 ~x3653 ~x5344 ~x1116 
26.29/26.47	v ~x2807 ~x4498 ~x274 ~x6191 ~x1963 ~x3654 ~x5345 ~x1117 ~x2808 ~x4499 
26.29/26.47	v ~x275 ~x6192 ~x1964 ~x3655 ~x5346 ~x1118 ~x2809 ~x4500 ~x276 ~x6193 
26.29/26.47	v ~x1965 ~x3656 ~x5347 ~x1119 ~x2810 ~x4501 x277 ~x6194 ~x1966 ~x3657 
26.29/26.47	v ~x5348 ~x1120 ~x2811 ~x4502 ~x278 ~x6195 ~x1967 ~x3658 ~x5349 ~x1121 
26.29/26.47	v ~x2812 ~x4503 x279 ~x6196 ~x1968 ~x3659 ~x5350 ~x1122 ~x2813 ~x4504 
26.29/26.47	v ~x280 ~x6197 ~x1969 ~x3660 x5351 ~x1123 ~x2814 ~x4505 x281 ~x6198 
26.29/26.47	v ~x1970 ~x3661 ~x5352 ~x1124 ~x2815 ~x4506 ~x282 ~x6199 ~x1971 ~x3662 
26.29/26.47	v ~x5353 ~x1125 ~x2816 ~x4507 ~x283 ~x6200 ~x1972 ~x3663 ~x5354 ~x1126 
26.29/26.47	v ~x2817 ~x4508 ~x284 ~x6201 ~x1973 ~x3664 ~x5355 ~x1127 ~x2818 ~x4509 
26.29/26.47	v ~x285 ~x6202 ~x1974 ~x3665 ~x5356 ~x1128 ~x2819 ~x4510 ~x286 ~x6203 
26.29/26.47	v ~x1975 ~x3666 ~x5357 ~x1129 ~x2820 ~x4511 ~x287 ~x6204 ~x1976 ~x3667 
26.29/26.47	v ~x5358 ~x1130 ~x2821 ~x4512 ~x288 ~x6205 ~x1977 ~x3668 ~x5359 ~x1131 
26.29/26.47	v ~x2822 ~x4513 ~x289 ~x6206 ~x1978 ~x3669 ~x5360 ~x1132 x2823 ~x4514 
26.29/26.47	v ~x290 ~x6207 ~x1979 ~x3670 ~x5361 ~x1133 ~x2824 ~x4515 ~x291 ~x6208 
26.29/26.47	v ~x1980 ~x3671 ~x5362 ~x1134 ~x2825 ~x4516 ~x292 ~x6209 ~x1981 ~x3672 
26.29/26.47	v ~x5363 ~x1135 ~x2826 ~x4517 ~x293 ~x6210 ~x1982 ~x3673 ~x5364 ~x1136 
26.29/26.47	v ~x2827 ~x4518 ~x294 ~x6211 x1983 ~x3674 ~x5365 ~x1137 ~x2828 ~x4519 
26.29/26.47	v ~x295 ~x6212 ~x1984 ~x3675 ~x5366 ~x1138 ~x2829 ~x4520 ~x296 x6213 
26.29/26.47	v ~x1985 ~x3676 ~x5367 ~x1139 ~x2830 ~x4521 ~x297 ~x6214 ~x1986 ~x3677 
26.29/26.47	v ~x5368 ~x1140 ~x2831 ~x4522 ~x298 x6215 ~x1987 ~x3678 ~x5369 ~x1141 
26.29/26.47	v ~x2832 ~x4523 ~x299 ~x6216 ~x1988 ~x3679 ~x5370 ~x1142 ~x2833 ~x4524 
26.29/26.47	v ~x300 ~x6217 ~x1989 ~x3680 ~x5371 ~x1143 ~x2834 ~x4525 ~x301 ~x6218 
26.29/26.47	v ~x1990 x3681 ~x5372 ~x1144 ~x2835 ~x4526 ~x302 ~x6219 ~x1991 ~x3682 
26.29/26.47	v ~x5373 ~x1145 ~x2836 ~x4527 ~x303 ~x6220 ~x1992 ~x3683 ~x5374 ~x1146 
26.29/26.47	v ~x2837 ~x4528 ~x6221 ~x1993 ~x3684 ~x5375 ~x1147 ~x2838 ~x4529 ~x304 
26.29/26.47	v ~x6222 ~x1994 ~x3685 ~x5376 ~x1148 ~x2839 ~x4530 ~x305 ~x6223 ~x1995 
26.29/26.47	v ~x3686 ~x5377 ~x1149 ~x2840 ~x4531 ~x306 ~x6224 ~x1996 ~x3687 ~x5378 
26.29/26.47	v ~x1150 ~x2841 ~x4532 ~x307 ~x6225 ~x1997 ~x3688 ~x5379 ~x1151 ~x2842 
26.29/26.47	v ~x4533 ~x308 ~x6226 ~x1998 ~x3689 ~x5380 ~x1152 ~x2843 ~x4534 ~x309 
26.29/26.47	v ~x6227 ~x1999 ~x3690 ~x5381 ~x1153 ~x2844 ~x4535 ~x310 ~x6228 ~x2000 
26.29/26.47	v ~x3691 ~x5382 ~x1154 ~x2845 ~x4536 ~x311 ~x6229 ~x2001 ~x3692 ~x5383 
26.29/26.47	v ~x1155 ~x2846 ~x4537 ~x312 ~x6230 ~x2002 ~x3693 ~x5384 ~x1156 ~x2847 
26.29/26.47	v ~x4538 ~x313 ~x6231 ~x2003 ~x3694 ~x5385 ~x1157 ~x2848 ~x4539 ~x314 
26.29/26.47	v ~x6232 ~x2004 ~x3695 ~x5386 ~x1158 ~x2849 ~x4540 ~x315 ~x6233 ~x2005 
26.29/26.47	v ~x3696 ~x5387 ~x1159 ~x2850 ~x4541 ~x316 ~x6234 ~x2006 ~x3697 ~x5388 
26.29/26.47	v ~x1160 ~x2851 ~x4542 ~x317 ~x6235 ~x2007 ~x3698 ~x5389 ~x1161 ~x2852 
26.29/26.47	v ~x4543 ~x318 ~x6236 ~x2008 ~x3699 x5390 ~x1162 ~x2853 ~x4544 ~x319 
26.29/26.47	v ~x6237 ~x2009 ~x3700 ~x5391 ~x1163 ~x2854 ~x4545 ~x320 ~x6238 ~x2010 
26.29/26.47	v ~x3701 ~x5392 ~x1164 ~x2855 ~x4546 ~x321 ~x6239 x2011 ~x3702 ~x5393 
26.29/26.47	v ~x1165 ~x2856 ~x4547 ~x322 ~x6240 ~x2012 ~x3703 ~x5394 ~x1166 ~x2857 
26.29/26.47	v ~x4548 ~x323 ~x6241 ~x2013 ~x3704 ~x5395 ~x1167 ~x2858 ~x4549 ~x324 
26.29/26.47	v ~x6242 ~x2014 ~x3705 ~x5396 ~x1168 ~x2859 ~x4550 ~x325 ~x6243 ~x2015 
26.29/26.47	v ~x3706 ~x5397 ~x1169 ~x2860 ~x4551 ~x326 ~x6244 ~x2016 ~x3707 ~x5398 
26.29/26.47	v ~x1170 ~x2861 ~x4552 ~x327 ~x6245 ~x2017 ~x3708 ~x5399 ~x1171 ~x2862 
26.29/26.47	v ~x4553 ~x328 ~x6246 ~x2018 ~x3709 ~x5400 ~x1172 ~x2863 ~x4554 ~x329 
26.29/26.47	v ~x6247 ~x2019 ~x3710 ~x5401 ~x1173 ~x2864 ~x4555 ~x330 ~x6248 ~x2020 
26.29/26.47	v ~x3711 ~x5402 ~x1174 ~x2865 x4556 ~x331 ~x6249 ~x2021 ~x3712 ~x5403 
26.29/26.47	v ~x1175 ~x2866 ~x4557 ~x332 ~x6250 ~x2022 ~x3713 ~x5404 ~x1176 ~x2867 
26.29/26.47	v ~x4558 ~x333 ~x6251 ~x2023 ~x3714 ~x5405 ~x1177 ~x2868 ~x4559 ~x334 
26.29/26.47	v ~x6252 ~x2024 ~x3715 ~x5406 ~x1178 ~x2869 ~x4560 ~x335 ~x6253 ~x2025 
26.29/26.47	v ~x3716 ~x5407 ~x1179 ~x2870 ~x4561 ~x336 ~x6254 ~x2026 ~x3717 ~x5408 
26.29/26.47	v ~x1180 ~x2871 ~x4562 ~x337 ~x6255 ~x2027 ~x3718 ~x5409 ~x1181 ~x2872 
26.29/26.47	v ~x4563 ~x338 ~x6256 ~x2028 ~x3719 ~x5410 ~x1182 ~x2873 ~x4564 ~x339 
26.29/26.47	v ~x6257 ~x2029 ~x3720 ~x5411 ~x1183 ~x2874 ~x4565 ~x340 ~x6258 ~x2030 
26.29/26.47	v ~x3721 ~x5412 ~x1184 ~x2875 ~x4566 ~x341 ~x6259 ~x2031 ~x3722 ~x5413 
26.29/26.47	v ~x1185 ~x2876 ~x4567 ~x342 ~x6260 ~x2032 ~x3723 ~x5414 ~x1186 ~x2877 
26.29/26.47	v ~x4568 ~x343 ~x6261 ~x2033 ~x3724 ~x5415 ~x1187 ~x2878 ~x4569 ~x344 
26.29/26.47	v ~x6262 ~x2034 ~x3725 ~x5416 ~x1188 ~x2879 ~x4570 ~x345 ~x6263 ~x2035 
26.29/26.47	v ~x3726 ~x5417 ~x1189 ~x2880 ~x4571 ~x346 ~x6264 ~x2036 ~x3727 ~x5418 
26.29/26.47	v ~x1190 ~x2881 ~x4572 ~x347 ~x6265 ~x2037 ~x3728 ~x5419 ~x1191 ~x2882 
26.29/26.47	v ~x4573 ~x348 ~x6266 ~x2038 ~x3729 ~x5420 ~x1192 ~x2883 ~x4574 ~x349 
26.29/26.47	v ~x6267 ~x2039 ~x3730 ~x5421 ~x1193 ~x2884 ~x4575 ~x350 ~x6268 ~x2040 
26.29/26.47	v ~x3731 ~x5422 ~x1194 ~x2885 ~x4576 ~x351 ~x6269 ~x2041 ~x3732 ~x5423 
26.29/26.47	v ~x1195 ~x2886 ~x4577 ~x352 ~x6270 ~x2042 ~x3733 ~x5424 ~x1196 ~x2887 
26.29/26.47	v ~x4578 ~x353 ~x6271 ~x2043 ~x3734 ~x5425 ~x1197 ~x2888 ~x4579 ~x354 
26.29/26.47	v ~x6272 ~x2044 ~x3735 ~x5426 ~x1198 ~x2889 ~x4580 ~x355 ~x6273 ~x2045 
26.29/26.47	v ~x3736 ~x5427 ~x1199 ~x2890 ~x4581 ~x356 ~x6274 ~x2046 ~x3737 ~x5428 
26.29/26.47	v ~x1200 ~x2891 ~x4582 ~x357 ~x6275 ~x2047 ~x3738 ~x5429 ~x1201 ~x2892 
26.29/26.47	v ~x4583 ~x358 ~x6276 ~x2048 ~x3739 ~x5430 ~x1202 ~x2893 ~x4584 ~x359 
26.29/26.47	v ~x6277 ~x2049 ~x3740 ~x5431 ~x1203 ~x2894 ~x4585 ~x360 ~x6278 ~x2050 
26.29/26.47	v ~x3741 ~x5432 ~x1204 ~x2895 ~x4586 ~x361 ~x6279 ~x2051 ~x3742 ~x5433 
26.29/26.47	v ~x1205 ~x2896 ~x4587 ~x362 ~x6280 ~x2052 ~x3743 ~x5434 ~x1206 ~x2897 
26.29/26.47	v ~x4588 ~x363 ~x6281 ~x2053 ~x3744 ~x5435 ~x1207 ~x2898 ~x4589 ~x364 
26.29/26.47	v ~x6282 ~x2054 ~x3745 ~x5436 ~x1208 ~x2899 ~x4590 ~x365 ~x6283 ~x2055 
26.29/26.47	v ~x3746 ~x5437 ~x1209 ~x2900 ~x4591 ~x366 ~x6284 ~x2056 ~x3747 ~x5438 
26.29/26.47	v ~x1210 ~x2901 ~x4592 ~x367 ~x6285 ~x2057 ~x3748 ~x5439 ~x1211 ~x2902 
26.29/26.47	v ~x4593 ~x368 ~x6286 ~x2058 ~x3749 ~x5440 ~x1212 ~x2903 ~x4594 ~x369 
26.29/26.47	v ~x6287 ~x2059 ~x3750 ~x5441 ~x1213 ~x2904 ~x4595 ~x370 ~x6288 ~x2060 
26.29/26.47	v ~x3751 ~x5442 ~x1214 ~x2905 ~x4596 ~x371 ~x6289 ~x2061 ~x3752 ~x5443 
26.29/26.47	v ~x1215 ~x2906 ~x4597 ~x372 ~x6290 ~x2062 ~x3753 ~x5444 ~x1216 ~x2907 
26.29/26.47	v ~x4598 ~x373 ~x6291 ~x2063 ~x3754 ~x5445 ~x1217 ~x2908 ~x4599 ~x374 
26.29/26.47	v ~x6292 ~x2064 ~x3755 ~x5446 x1218 ~x2909 ~x4600 ~x375 ~x6293 ~x2065 
26.29/26.47	v ~x3756 ~x5447 ~x1219 ~x2910 ~x4601 ~x376 ~x6294 ~x2066 ~x3757 ~x5448 
26.29/26.47	v ~x1220 ~x2911 ~x4602 ~x377 ~x6295 ~x2067 ~x3758 ~x5449 ~x1221 ~x2912 
26.29/26.47	v ~x4603 ~x378 ~x6296 ~x2068 ~x3759 ~x5450 ~x1222 ~x2913 ~x4604 ~x379 
26.29/26.47	v ~x6297 ~x2069 ~x3760 ~x5451 ~x1223 ~x2914 ~x4605 ~x380 ~x6298 ~x2070 
26.29/26.47	v ~x3761 ~x5452 ~x1224 ~x2915 ~x4606 ~x381 ~x6299 ~x2071 ~x3762 ~x5453 
26.29/26.47	v ~x1225 ~x2916 ~x4607 ~x382 ~x6300 ~x2072 ~x3763 ~x5454 ~x1226 ~x2917 
26.29/26.47	v ~x4608 x383 x6301 ~x2073 ~x3764 ~x5455 ~x1227 ~x2918 ~x4609 ~x384 
26.29/26.47	v ~x6302 ~x2074 ~x3765 ~x5456 ~x1228 ~x2919 ~x4610 x385 ~x6303 ~x2075 
26.29/26.47	v ~x3766 ~x5457 ~x1229 ~x2920 ~x4611 ~x386 ~x6304 ~x2076 ~x3767 ~x5458 
26.29/26.47	v ~x1230 ~x2921 ~x4612 ~x387 ~x6305 ~x2077 ~x3768 ~x5459 ~x1231 ~x2922 
26.29/26.47	v ~x4613 ~x388 ~x6306 ~x2078 ~x3769 ~x5460 ~x1232 ~x2923 ~x4614 ~x389 
26.29/26.47	v ~x6307 ~x2079 ~x3770 ~x5461 ~x1233 ~x2924 ~x4615 ~x390 ~x6308 ~x2080 
26.29/26.47	v ~x3771 ~x5462 ~x1234 x2925 ~x4616 ~x391 ~x6309 ~x2081 ~x3772 ~x5463 
26.29/26.47	v ~x1235 ~x2926 ~x4617 ~x392 ~x6310 ~x2082 ~x3773 ~x5464 ~x1236 ~x2927 
26.29/26.47	v ~x4618 ~x393 ~x6311 ~x2083 ~x3774 ~x5465 ~x1237 ~x2928 ~x4619 ~x394 
26.29/26.47	v ~x6312 ~x2084 ~x3775 ~x5466 ~x1238 ~x2929 ~x4620 ~x395 ~x6313 x2085 
26.29/26.47	v ~x3776 ~x5467 ~x1239 ~x2930 ~x4621 ~x396 ~x6314 ~x2086 ~x3777 ~x5468 
26.29/26.47	v ~x1240 ~x2931 ~x4622 ~x397 ~x6315 ~x2087 ~x3778 ~x5469 ~x1241 ~x2932 
26.29/26.47	v ~x4623 ~x398 ~x6316 ~x2088 ~x3779 ~x5470 ~x1242 ~x2933 ~x4624 ~x399 
26.29/26.47	v ~x6317 ~x2089 ~x3780 ~x5471 ~x1243 ~x2934 ~x4625 ~x400 ~x6318 ~x2090 
26.29/26.47	v ~x3781 ~x5472 ~x1244 ~x2935 ~x4626 ~x401 ~x6319 ~x2091 ~x3782 ~x5473 
26.29/26.47	v ~x1245 ~x2936 ~x4627 ~x402 ~x6320 ~x2092 x3783 ~x5474 ~x1246 ~x2937 
26.29/26.47	v ~x4628 ~x403 ~x6321 ~x2093 ~x3784 ~x5475 ~x1247 ~x2938 ~x4629 ~x404 
26.29/26.47	v ~x6322 ~x2094 ~x3785 ~x5476 ~x1248 ~x2939 ~x4630 ~x405 ~x6323 ~x2095 
26.29/26.47	v ~x3786 ~x5477 ~x1249 ~x2940 ~x4631 ~x406 ~x6324 ~x2096 ~x3787 ~x5478 
26.29/26.47	v ~x1250 ~x2941 ~x4632 ~x407 ~x6325 ~x2097 ~x3788 ~x5479 ~x1251 ~x2942 
26.29/26.47	v ~x4633 ~x408 ~x6326 ~x2098 ~x3789 ~x5480 ~x1252 ~x2943 ~x4634 ~x409 
26.29/26.47	v ~x6327 ~x2099 ~x3790 ~x5481 ~x1253 ~x2944 ~x4635 ~x410 ~x6328 ~x2100 
26.29/26.47	v ~x3791 ~x5482 ~x1254 ~x2945 ~x4636 ~x411 ~x6329 ~x2101 ~x3792 ~x5483 
26.29/26.47	v ~x1255 ~x2946 ~x4637 ~x412 ~x6330 ~x2102 ~x3793 ~x5484 ~x1256 ~x2947 
26.29/26.47	v ~x4638 ~x413 ~x6331 ~x2103 ~x3794 ~x5485 ~x1257 ~x2948 ~x4639 ~x414 
26.29/26.47	v ~x6332 ~x2104 ~x3795 ~x5486 ~x1258 ~x2949 ~x4640 ~x415 ~x6333 ~x2105 
26.29/26.47	v ~x3796 ~x5487 ~x1259 ~x2950 ~x4641 ~x416 ~x6334 ~x2106 ~x3797 ~x5488 
26.29/26.47	v ~x1260 ~x2951 ~x4642 ~x417 ~x6335 ~x2107 ~x3798 ~x5489 ~x1261 ~x2952 
26.29/26.47	v ~x4643 ~x418 ~x6336 ~x2108 ~x3799 ~x5490 ~x1262 ~x2953 ~x4644 ~x419 
26.29/26.47	v ~x6337 ~x2109 ~x3800 ~x5491 ~x1263 ~x2954 ~x4645 ~x420 

OK	0

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: 63794 MiB (63187 MiB free)
  memory of node 1: 64507 MiB (63438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507441-1751178727/watcher-4507441-1751178727 -o /tmp/evaluation-result-4507441-1751178727/solver-4507441-1751178727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751169406-19857 --watchdog 3760 pb_picat HOME/instance-4507441-1751178727.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100071 s]*
/proc/loadavg: 4.14 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129645004/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2027148 memory=24200 CPUtime=0.08 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 1130 0 0 0 8 0 0 0 20 0 1 0 33552448 2075799552 6050 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 506787 6050 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24200 KiB

[startup+0.213112 s]*
/proc/loadavg: 4.14 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129640908/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2027148 memory=32464 CPUtime=0.2 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 1134 0 0 0 19 1 0 0 20 0 1 0 33552448 2075799552 8116 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 506787 8116 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32464 KiB

[startup+0.313054 s]*
/proc/loadavg: 4.14 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129640908/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2027148 memory=38716 CPUtime=0.29 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 1176 0 0 0 28 1 0 0 20 0 1 0 33552448 2075799552 9679 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 506787 9679 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38716 KiB

[startup+0.700256 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129628468/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2034580 memory=48560 CPUtime=0.67 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 2711 0 0 0 65 2 0 0 20 0 1 0 33552448 2083409920 12140 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 508645 12140 1632 343 0 505709 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2034580 KiB
Current children cumulated memory: 48560 KiB

[startup+1.50033 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129620276/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2035524 memory=48212 CPUtime=1.46 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 5089 0 0 0 144 2 0 0 20 0 1 0 33552448 2084376576 12053 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 508881 12053 1632 343 0 505945 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2035524 KiB
Current children cumulated memory: 48212 KiB

[startup+3.11279 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129575472/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2038596 memory=51748 CPUtime=3.07 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 9884 0 0 0 303 4 0 0 20 0 1 0 33552448 2087522304 12937 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 509649 12937 1632 343 0 506713 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2038596 KiB
Current children cumulated memory: 51748 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129766400/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2037576 memory=50636 CPUtime=6.25 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 19100 0 0 0 619 6 0 0 20 0 1 0 33552448 2086477824 12659 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 509394 12659 1632 343 0 506458 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2037576 KiB
Current children cumulated memory: 50636 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.13 5/251 21898
/proc/meminfo: memFree=129693752/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2042696 memory=52428 CPUtime=12.63 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 33842 0 0 0 1252 11 0 0 20 0 1 0 33552448 2091720704 13107 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 510674 13107 1632 343 0 507738 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2042696 KiB
Current children cumulated memory: 52428 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 21898
/proc/meminfo: memFree=129613380/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2073416 memory=70580 CPUtime=25.4 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 58964 0 0 0 2521 19 0 0 20 0 1 0 33552448 2123177984 17645 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 518354 17645 1632 343 0 515418 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2073416 KiB
Current children cumulated memory: 70580 KiB

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

# cumulated CPU time of all completed processes:  user=26.1686 s, system=0.209327 s

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

[startup+25.6004 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 21898
/proc/meminfo: memFree=129613380/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2073416 memory=72720 CPUtime=25.5 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 58983 0 0 0 2531 19 0 0 20 0 1 0 33552448 2123177984 18180 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 518354 18180 1632 343 0 515418 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2073416 KiB
Current children cumulated memory: 72720 KiB

[startup+26.0003 s]*
/proc/loadavg: 4.09 4.11 4.13 5/251 21898
/proc/meminfo: memFree=129593340/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2042696 memory=55432 CPUtime=25.9 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 60111 0 0 0 2571 19 0 0 20 0 1 0 33552448 2091720704 13858 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 510674 13858 1632 343 0 507738 0
Current children cumulated CPU time: 25.9 s
Current children cumulated vsize: 2042696 KiB
Current children cumulated memory: 55432 KiB

[startup+26.4003 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 21898
/proc/meminfo: memFree=129593340/131382112 swapFree=33010684/33010684
[pid=21897] ppid=21894 vsize=2052936 memory=62016 CPUtime=26.29 cores=4,6
/proc/21897/stat : 21897 (pb_picat) R 21894 21897 19846 0 -1 4194304 60738 0 0 0 2609 20 0 0 20 0 1 0 33552448 2102206464 15504 18446744073709551615 93848390209536 93848391611117 140727526540800 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93848391882544 93848393756848 93848431448064 140727526545822 140727526545898 140727526545898 140727526551500 0
/proc/21897/statm: 513234 15504 1632 343 0 510298 0
Current children cumulated CPU time: 26.29 s
Current children cumulated vsize: 2052936 KiB
Current children cumulated memory: 62016 KiB

Child status: 0

Real time (s): 26.4766
CPU time (s): 26.3779
CPU user time (s): 26.1686
CPU system time (s): 0.209327
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (KiB): 2073416
Max. memory (cumulated for all children) (KiB): 76104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.1686
system time used= 0.209327
maximum resident set size= 76104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60774
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= 67
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 21897
#   total CPU time (s): 26.3779
#   total CPU user time (s): 26.1686
#   total CPU system time (s): 0.209327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168891 second user time and 0.311242 second system time

The end

Begin job on nodeC012 at 2025-06-29 08:32:07
IDJOB=4507441
IDBENCH=158353
IDSOLVER=3346
FILE ID=nodeC012/4507441-1751178727
RUNJOBID= nodeC012-1751169406-19857
SLURM_JOB_ID= 9587519
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507441-1751178727/watcher-4507441-1751178727 -o /tmp/evaluation-result-4507441-1751178727/solver-4507441-1751178727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751169406-19857 --watchdog 3760  pb_picat HOME/instance-4507441-1751178727.opb

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

MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=1459151311

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129669260 kB
MemAvailable:   129321480 kB
Buffers:            3280 kB
Cached:           463368 kB
SwapCached:            0 kB
Active:           918560 kB
Inactive:         230620 kB
Active(anon):     700492 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file):   230620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4008 kB
Writeback:             0 kB
AnonPages:        684308 kB
Mapped:           111888 kB
Shmem:             17960 kB
KReclaimable:      85932 kB
Slab:             167488 kB
SReclaimable:      85932 kB
SUnreclaim:        81556 kB
KernelStack:        4080 kB
PageTables:         4404 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6935912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC012 at 2025-06-29 08:32:34