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

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62262 MiB free)
  memory of node 1: 64507 MiB (63602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527993-1752245169/watcher-4527993-1752245169 -o /tmp/evaluation-result-4527993-1752245169/solver-4527993-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752245169-119463 --watchdog 3760 pb_picat HOME/instance-4527993-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
Current StackSize limit: 8192 KiB

solver pid=119512, runsolver pid=119503

[startup+0.100061 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128807660/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2027148 memory=36044 CPUtime=0.08 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 1027 0 0 0 8 0 0 0 20 0 1 0 140194721 2075799552 9011 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 506787 9011 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36044 KiB

[startup+0.205379 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128789328/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2030960 memory=43924 CPUtime=0.19 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 2027 0 0 0 18 1 0 0 20 0 1 0 140194721 2079703040 10981 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 507740 10981 1632 343 0 504804 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2030960 KiB
Current children cumulated memory: 43924 KiB

[startup+0.304661 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128780760/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2029936 memory=43396 CPUtime=0.29 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 3074 0 0 0 28 1 0 0 20 0 1 0 140194721 2078654464 10849 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 507484 10849 1632 343 0 504548 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2029936 KiB
Current children cumulated memory: 43396 KiB

[startup+0.700115 s]
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128780508/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2033024 memory=44416 CPUtime=0.67 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 4362 0 0 0 66 1 0 0 20 0 1 0 140194721 2081816576 11104 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 508256 11104 1632 343 0 505320 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2033024 KiB
Current children cumulated memory: 44416 KiB

[startup+1.50011 s]
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128778548/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2036096 memory=47340 CPUtime=1.48 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 7600 0 0 0 146 2 0 0 20 0 1 0 140194721 2084962304 11835 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 509024 11835 1632 343 0 506088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036096 KiB
Current children cumulated memory: 47340 KiB

[startup+3.10447 s]
/proc/loadavg: 1.54 2.68 3.14 4/261 119531
/proc/meminfo: memFree=128792340/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2043776 memory=54676 CPUtime=3.07 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 12496 0 0 0 303 4 0 0 20 0 1 0 140194721 2092826624 13669 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 510944 13669 1632 343 0 508008 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2043776 KiB
Current children cumulated memory: 54676 KiB

[startup+6.30011 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128657564/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2040704 memory=49004 CPUtime=6.23 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 20984 0 0 0 614 9 0 0 20 0 1 0 140194721 2089680896 12251 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 510176 12251 1632 343 0 507240 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2040704 KiB
Current children cumulated memory: 49004 KiB

[startup+12.7001 s]
/proc/loadavg: 1.92 2.72 3.15 5/264 119613
/proc/meminfo: memFree=128513928/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2040704 memory=51224 CPUtime=12.58 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 33744 0 0 0 1244 14 0 0 20 0 1 0 140194721 2089680896 12806 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 510176 12806 1632 343 0 507240 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 2040704 KiB
Current children cumulated memory: 51224 KiB

[startup+25.5001 s]
/proc/loadavg: 2.46 2.80 3.17 5/264 119613
/proc/meminfo: memFree=128455592/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2068352 memory=69684 CPUtime=25.34 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 54563 0 0 0 2513 21 0 0 20 0 1 0 140194721 2117992448 17421 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 517088 17421 1632 343 0 514152 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 2068352 KiB
Current children cumulated memory: 69684 KiB

[startup+51.105 s]
/proc/loadavg: 2.99 2.90 3.19 5/264 119613
/proc/meminfo: memFree=128448064/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2043776 memory=54276 CPUtime=50.85 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 88724 0 0 0 5051 34 0 0 20 0 1 0 140194721 2092826624 13569 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 510944 13569 1632 343 0 508008 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 2043776 KiB
Current children cumulated memory: 54276 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 3.09 3.24 5/266 119617
/proc/meminfo: memFree=128425796/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2072448 memory=78036 CPUtime=101.87 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 139352 0 0 0 10130 57 0 0 20 0 1 0 140194721 2122186752 19509 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 518112 19509 1632 343 0 515176 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 2072448 KiB
Current children cumulated memory: 78036 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 3.29 3.30 5/266 119708
/proc/meminfo: memFree=124017308/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2075956 memory=81148 CPUtime=161.64 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 185077 0 0 0 16083 81 0 0 20 0 1 0 140194721 2125778944 20287 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 518989 20287 1632 343 0 516053 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2075956 KiB
Current children cumulated memory: 81148 KiB

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

# cumulated CPU time of all completed processes:  user=160.96 s, system=0.821057 s

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

[startup+162.4 s]
/proc/loadavg: 3.98 3.29 3.30 5/266 119708
/proc/meminfo: memFree=124017308/131250000 swapFree=33010416/33010684
[pid=119512] ppid=119503 vsize=2075956 memory=81148 CPUtime=161.74 cores=0,2
/proc/119512/stat : 119512 (pb_picat) R 119503 119512 119453 0 -1 4194304 185077 0 0 0 16093 81 0 0 20 0 1 0 140194721 2125778944 20287 18446744073709551615 94236332896256 94236334297837 140735338949088 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94236334569264 94236336443504 94236346286080 140735338953116 140735338953192 140735338953192 140735338958796 0
/proc/119512/statm: 518989 20287 1632 343 0 516053 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2075956 KiB
Current children cumulated memory: 81148 KiB

Child status: 0

Real time (s): 162.433
CPU time (s): 161.781
CPU user time (s): 160.96
CPU system time (s): 0.821057
CPU usage (%): 99.5985
Max. virtual memory (cumulated for all children) (KiB): 2178944
Max. memory (cumulated for all children) (KiB): 137428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.96
system time used= 0.821057
maximum resident set size= 139476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185095
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= 69
involuntary context switches= 1001


# summary of solver processes directly reported to runsolver:
#   pid: 119512
#   total CPU time (s): 161.781
#   total CPU user time (s): 160.96
#   total CPU system time (s): 0.821057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.289184 second user time and 0.675099 second system time

The end

Begin job on nodeC018 at 2025-07-11 16:46:09
IDJOB=4527993
IDBENCH=158367
IDSOLVER=3385
FILE ID=nodeC018/4527993-1752245169
RUNJOBID= nodeC018-1752245169-119463
SLURM_JOB_ID= 9682568
Free space on /tmp= 432576 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527993-1752245169/watcher-4527993-1752245169 -o /tmp/evaluation-result-4527993-1752245169/solver-4527993-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752245169-119463 --watchdog 3760  pb_picat HOME/instance-4527993-1752245169.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=1561136521

nodeC018 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		: 3599.825
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.66
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		: 2989.154
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.66
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		: 3601.182
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.66
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		: 3310.410
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.66
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.920
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.66
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		: 3104.885
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.66
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		: 3586.022
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.66
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		: 1615.710
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128893968 kB
MemAvailable:   129718404 kB
Buffers:            2128 kB
Cached:          1586020 kB
SwapCached:           32 kB
Active:           547924 kB
Inactive:        1107368 kB
Active(anon):      84900 kB
Inactive(anon):      288 kB
Active(file):     463024 kB
Inactive(file):  1107080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8136 kB
Writeback:             4 kB
AnonPages:         69992 kB
Mapped:           105712 kB
Shmem:             18044 kB
KReclaimable:     186744 kB
Slab:             280396 kB
SReclaimable:     186744 kB
SUnreclaim:        93652 kB
KernelStack:        4112 kB
PageTables:         2896 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432548 MiB
End job on nodeC018 at 2025-07-11 16:48:51