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