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

OK	8

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: 63665 MiB (59906 MiB free)
  memory of node 1: 64507 MiB (63249 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528443-1752241670/watcher-4528443-1752241670 -o /tmp/evaluation-result-4528443-1752241670/solver-4528443-1752241670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752238059-119927 --watchdog 3760 pb_picat HOME/instance-4528443-1752241670.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=120393, runsolver pid=120386
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.04 4.07 4.10 6/264 120394
/proc/meminfo: memFree=126059476/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2027148 memory=36168 CPUtime=0.08 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 1001 0 0 0 8 0 0 0 20 0 1 0 139846608 2075799552 9042 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 506787 9042 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36168 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.04 4.07 4.10 6/264 120394
/proc/meminfo: memFree=126010324/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2034964 memory=60844 CPUtime=0.18 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 1039 0 0 0 17 1 0 0 20 0 1 0 139846608 2083803136 15211 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 508741 15211 1568 343 0 505805 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 60844 KiB

[startup+0.305687 s]*
/proc/loadavg: 4.04 4.07 4.10 6/264 120394
/proc/meminfo: memFree=125981828/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2034964 memory=73516 CPUtime=0.28 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 1151 0 0 0 27 1 0 0 20 0 1 0 139846608 2083803136 18379 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 508741 18379 1568 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 73516 KiB

[startup+0.70017 s]
/proc/loadavg: 4.04 4.07 4.10 6/264 120394
/proc/meminfo: memFree=125904824/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2071108 memory=126396 CPUtime=0.67 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 6461 0 0 0 62 5 0 0 20 0 1 0 139846608 2120814592 31599 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 517777 31599 1664 343 0 514841 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2071108 KiB
Current children cumulated memory: 126396 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 4.07 4.10 6/264 120394
/proc/meminfo: memFree=125833500/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2111684 memory=181024 CPUtime=1.47 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 13001 0 0 0 134 13 0 0 20 0 1 0 139846608 2162364416 45256 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 527921 45256 1664 343 0 524985 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2111684 KiB
Current children cumulated memory: 181024 KiB

[startup+3.10577 s]
/proc/loadavg: 4.04 4.07 4.10 6/262 120398
/proc/meminfo: memFree=126146576/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2180752 memory=210060 CPUtime=3.07 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 15000 0 0 0 284 23 0 0 20 0 1 0 139846608 2233090048 52515 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 545188 52515 1664 343 0 542252 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2180752 KiB
Current children cumulated memory: 210060 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.10 6/264 120439
/proc/meminfo: memFree=126025100/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2186216 memory=207252 CPUtime=6.26 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 22301 0 0 0 601 25 0 0 20 0 1 0 139846608 2238685184 51813 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 546554 51813 1664 343 0 543618 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2186216 KiB
Current children cumulated memory: 207252 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.11 6/264 120439
/proc/meminfo: memFree=125981444/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=232092 CPUtime=12.64 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 28181 0 0 0 1235 29 0 0 20 0 1 0 139846608 2244005888 58023 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 58023 1664 343 0 544917 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 232092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.10 6/264 120484
/proc/meminfo: memFree=126144136/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=205472 CPUtime=25.4 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 32779 0 0 0 2509 31 0 0 20 0 1 0 139846608 2244005888 51368 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 51368 1664 343 0 544917 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 205472 KiB

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

# cumulated CPU time of all completed processes:  user=42.0149 s, system=0.361986 s

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

[startup+25.6002 s]
/proc/loadavg: 4.15 4.10 4.10 6/264 120484
/proc/meminfo: memFree=126144136/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=205472 CPUtime=25.5 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 32779 0 0 0 2519 31 0 0 20 0 1 0 139846608 2244005888 51368 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 51368 1664 343 0 544917 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 205472 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.14 4.10 4.10 6/260 120520
/proc/meminfo: memFree=126169452/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=234144 CPUtime=31.89 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 34582 0 0 0 3157 32 0 0 20 0 1 0 139846608 2244005888 58536 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 58536 1664 343 0 544917 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 234144 KiB

[startup+38.4002 s]
/proc/loadavg: 4.12 4.10 4.10 6/264 120529
/proc/meminfo: memFree=126144520/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=205472 CPUtime=38.27 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 35350 0 0 0 3794 33 0 0 20 0 1 0 139846608 2244005888 51368 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 51368 1664 343 0 544917 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 205472 KiB

[startup+40.0001 s]*
/proc/loadavg: 4.11 4.09 4.10 6/264 120574
/proc/meminfo: memFree=126141364/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=211616 CPUtime=39.87 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 35355 0 0 0 3954 33 0 0 20 0 1 0 139846608 2244005888 52904 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 52904 1664 343 0 544917 0
Current children cumulated CPU time: 39.87 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 211616 KiB

[startup+41.6001 s]
/proc/loadavg: 4.11 4.09 4.10 6/264 120574
/proc/meminfo: memFree=126173412/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=230048 CPUtime=41.47 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 37666 0 0 0 4112 35 0 0 20 0 1 0 139846608 2244005888 57512 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 57512 1664 343 0 544917 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 230048 KiB

[startup+42.0001 s]*
/proc/loadavg: 4.11 4.09 4.10 6/264 120574
/proc/meminfo: memFree=126128484/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=236192 CPUtime=41.87 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 37669 0 0 0 4152 35 0 0 20 0 1 0 139846608 2244005888 59048 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 59048 1664 343 0 544917 0
Current children cumulated CPU time: 41.87 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 236192 KiB

[startup+42.4001 s]
/proc/loadavg: 4.11 4.09 4.10 6/264 120574
/proc/meminfo: memFree=126128484/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=236192 CPUtime=42.26 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 37669 0 0 0 4191 35 0 0 20 0 1 0 139846608 2244005888 59048 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 59048 1664 343 0 544917 0
Current children cumulated CPU time: 42.26 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 236192 KiB

[startup+42.5025 s]
/proc/loadavg: 4.11 4.09 4.10 6/264 120574
/proc/meminfo: memFree=126128484/131249996 swapFree=33005016/33010684
[pid=120393] ppid=120386 vsize=2191412 memory=236448 CPUtime=42.36 cores=4,6
/proc/120393/stat : 120393 (pb_picat) R 120386 120393 117758 0 -1 4194304 37687 0 0 0 4201 35 0 0 20 0 1 0 139846608 2244005888 59080 18446744073709551615 94234657210368 94234658611949 140723270563440 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94234658883376 94234660757616 94234698452992 140723270568348 140723270568424 140723270568424 140723270574028 0
/proc/120393/statm: 547853 59112 1728 343 0 544917 0
Current children cumulated CPU time: 42.36 s
Current children cumulated vsize: 2191412 KiB
Current children cumulated memory: 236448 KiB

Child status: 0

Real time (s): 42.5072
CPU time (s): 42.3769
CPU user time (s): 42.0149
CPU system time (s): 0.361986
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 2194664
Max. memory (cumulated for all children) (KiB): 236448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0149
system time used= 0.361986
maximum resident set size= 236448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37691
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= 68
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 120393
#   total CPU time (s): 42.3769
#   total CPU user time (s): 42.0149
#   total CPU system time (s): 0.361986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.104976 second user time and 0.21825 second system time

The end

Begin job on nodeC030 at 2025-07-11 15:47:50
IDJOB=4528443
IDBENCH=148769
IDSOLVER=3385
FILE ID=nodeC030/4528443-1752241670
RUNJOBID= nodeC030-1752238059-119927
SLURM_JOB_ID= 9682541
Free space on /tmp= 432508 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528443-1752241670/watcher-4528443-1752241670 -o /tmp/evaluation-result-4528443-1752241670/solver-4528443-1752241670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752238059-119927 --watchdog 3760  pb_picat HOME/instance-4528443-1752241670.opb

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

MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=1596257370

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126113176 kB
MemAvailable:   129065456 kB
Buffers:              16 kB
Cached:          3737116 kB
SwapCached:          216 kB
Active:           867548 kB
Inactive:        3648780 kB
Active(anon):     731652 kB
Inactive(anon):    61092 kB
Active(file):     135896 kB
Inactive(file):  3587688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8144 kB
Writeback:             8 kB
AnonPages:        778116 kB
Mapped:           107816 kB
Shmem:             13548 kB
KReclaimable:     135472 kB
Slab:             228088 kB
SReclaimable:     135472 kB
SUnreclaim:        92616 kB
KernelStack:        4224 kB
PageTables:         4488 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5155284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432500 MiB
End job on nodeC030 at 2025-07-11 15:48:33