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