0.00/0.03	c solving HOME/instance-4528387-1752239544.opb (Picat 3.9b11, 7/10/2025)
2.37/2.43	o 1239
2.57/2.67	o 87
4.57/4.69	o 28
38.19/38.31	o 26
38.19/38.31	s OPTIMUM FOUND
38.19/38.31	v ~x8717 ~x7129 ~x596 ~x1975 ~x229 ~x3867 ~x5344 ~x8719 ~x7131 ~x598 
38.19/38.31	v ~x1977 ~x10354 ~x3869 ~x5346 ~x8721 ~x7133 ~x600 ~x1979 ~x10356 ~x70 
38.19/38.31	v ~x5348 ~x8723 ~x136 ~x602 ~x1981 ~x10358 ~x3871 ~x5350 ~x8725 ~x7135 
38.19/38.31	v ~x604 ~x1983 ~x230 ~x3873 ~x5352 ~x8727 ~x7137 ~x606 ~x1985 ~x10360 
38.19/38.31	v ~x3875 ~x5354 ~x8729 ~x7139 ~x608 ~x1987 ~x10362 ~x3877 ~x5356 ~x8731 
38.19/38.31	v ~x7141 ~x610 ~x1989 ~x10364 ~x3879 ~x5358 ~x8733 ~x7143 ~x612 ~x1991 
38.19/38.31	v ~x10366 ~x3881 ~x5360 ~x8735 ~x7145 ~x614 ~x1993 ~x10368 ~x3883 ~x5362 
38.19/38.31	v ~x8737 ~x7147 ~x616 ~x1995 ~x10370 ~x3885 ~x5364 ~x8739 ~x7149 ~x618 
38.19/38.31	v ~x1997 ~x10372 ~x3887 ~x5366 ~x8741 ~x7151 ~x620 ~x1999 ~x10374 ~x3889 
38.19/38.31	v ~x5368 ~x8743 ~x7153 ~x622 ~x2001 ~x10376 ~x3891 ~x5370 ~x8745 ~x7155 
38.19/38.31	v ~x624 ~x2003 ~x10378 ~x3893 ~x5372 ~x8747 ~x7157 ~x626 ~x2005 ~x10380 
38.19/38.31	v ~x3895 ~x5374 ~x8749 ~x7159 ~x628 ~x2007 ~x10382 ~x3897 ~x5376 ~x8751 
38.19/38.31	v ~x7161 ~x630 ~x2009 ~x10384 ~x3899 ~x5378 ~x8753 ~x7163 ~x632 ~x2011 
38.19/38.31	v ~x10386 ~x71 ~x5380 ~x8755 ~x137 ~x634 ~x2013 ~x10388 ~x3901 ~x5382 
38.19/38.31	v ~x8757 ~x7165 ~x636 ~x2015 ~x231 ~x3903 ~x5384 ~x8759 ~x7167 ~x638 
38.19/38.31	v ~x2017 ~x10390 ~x3905 ~x5386 ~x8761 ~x7169 ~x640 ~x2019 ~x10392 ~x3907 
38.19/38.31	v ~x5388 ~x8763 ~x7171 ~x642 ~x2021 ~x10394 ~x3909 ~x5390 ~x8765 ~x7173 
38.19/38.31	v ~x644 ~x2022 ~x10396 ~x3911 ~x5392 ~x8767 ~x7175 ~x646 ~x2024 ~x10398 
38.19/38.31	v ~x3913 ~x5394 ~x8769 ~x7177 ~x648 ~x2026 ~x10400 ~x3915 ~x5396 ~x8771 
38.19/38.31	v ~x7179 ~x650 ~x2028 ~x10402 ~x3917 ~x5398 ~x8773 ~x7181 ~x652 ~x2030 
38.19/38.31	v ~x232 ~x3919 ~x5400 ~x8775 ~x7183 ~x654 ~x2032 ~x10404 ~x3921 ~x5402 
38.19/38.31	v ~x8777 ~x7185 ~x656 ~x2034 ~x10406 ~x3923 ~x5404 ~x8779 ~x7187 ~x658 
38.19/38.31	v ~x2036 ~x10408 ~x3925 ~x5406 ~x8781 ~x7189 ~x660 ~x2038 ~x10410 ~x3928 
38.19/38.31	v ~x5408 ~x8783 ~x7191 ~x662 ~x2040 ~x10412 ~x72 ~x5410 ~x8785 ~x7193 
38.19/38.31	v ~x664 ~x2042 ~x10414 ~x3930 ~x5412 ~x8787 ~x138 ~x666 ~x2044 ~x10416 
38.19/38.31	v ~x3932 ~x5414 ~x8789 ~x7195 ~x668 ~x2046 ~x233 ~x3934 ~x5416 ~x8791 
38.19/38.31	v ~x7197 ~x670 ~x2048 ~x10418 ~x3936 ~x5418 ~x8793 ~x7199 ~x672 ~x2050 
38.19/38.31	v ~x10420 ~x3938 ~x5420 ~x8795 ~x7201 ~x674 ~x2052 ~x10422 ~x3940 ~x5422 
38.19/38.31	v ~x8797 ~x7203 ~x676 ~x2054 ~x234 ~x3942 ~x5424 ~x8799 ~x7205 ~x678 
38.19/38.31	v ~x2056 ~x10424 ~x73 ~x5426 ~x8801 ~x7207 ~x680 ~x2058 ~x10426 ~x3944 
38.19/38.31	v ~x5428 ~x8803 ~x139 ~x682 ~x2060 ~x10428 ~x3946 ~x5430 ~x8805 ~x7209 
38.19/38.31	v ~x684 ~x2062 ~x10430 ~x3948 ~x5432 ~x8807 ~x7211 ~x686 ~x2064 ~x10432 
38.19/38.31	v ~x3950 ~x5434 ~x8809 ~x7213 ~x688 ~x2066 ~x10434 ~x3952 ~x5436 ~x8811 
38.19/38.31	v ~x7215 ~x690 ~x2068 ~x10436 ~x3954 ~x5438 ~x8813 ~x7217 ~x692 ~x2070 
38.19/38.31	v ~x235 ~x3956 ~x5440 ~x8815 ~x7219 ~x694 ~x2072 ~x10438 ~x3958 ~x5442 
38.19/38.31	v ~x8817 ~x7221 ~x696 ~x2074 ~x10440 ~x3960 ~x5444 ~x8819 ~x7223 ~x698 
38.19/38.31	v ~x2076 ~x10442 ~x3962 ~x5446 ~x8821 ~x7225 ~x700 ~x2078 ~x236 ~x3964 
38.19/38.31	v ~x5448 ~x8823 ~x7227 ~x702 ~x2080 ~x10444 ~x3966 ~x5450 ~x8825 ~x7229 
38.19/38.31	v ~x704 ~x2082 ~x10446 ~x3968 ~x5452 ~x8827 ~x7231 ~x706 ~x2084 ~x237 
38.19/38.31	v ~x3970 ~x5454 ~x8829 ~x7233 ~x709 ~x2086 ~x10449 ~x3972 ~x5456 ~x8831 
38.19/38.31	v ~x7235 ~x711 ~x2088 ~x238 ~x74 ~x5458 ~x8833 ~x7237 ~x713 ~x2090 
38.19/38.31	v ~x10451 ~x3974 ~x5460 ~x8835 ~x7239 ~x715 ~x2092 ~x10453 ~x3976 ~x5462 
38.19/38.31	v ~x8837 ~x7241 ~x717 ~x2094 ~x10455 ~x3978 ~x5464 ~x8839 ~x7243 ~x719 
38.19/38.31	v ~x2096 ~x10457 ~x3980 ~x5466 ~x8841 ~x7245 ~x721 ~x2098 ~x10459 ~x3982 
38.19/38.31	v ~x5468 ~x8843 ~x7247 ~x723 ~x2100 ~x10461 ~x3984 ~x5470 ~x8845 ~x7249 
38.19/38.31	v ~x725 ~x2102 ~x10463 ~x3986 ~x5472 ~x8847 ~x7251 ~x727 ~x2104 ~x10465 
38.19/38.31	v ~x75 ~x5474 ~x8849 ~x7253 ~x729 ~x2106 ~x10467 ~x3988 ~x5476 ~x8851 
38.19/38.31	v ~x7255 ~x731 ~x2108 ~x10469 ~x3991 ~x5478 ~x8853 ~x7257 ~x733 ~x2110 
38.19/38.31	v ~x10471 ~x3993 ~x5480 ~x8855 ~x7259 ~x735 ~x2112 ~x10473 ~x3995 ~x5482 
38.19/38.31	v ~x8857 ~x7261 ~x737 ~x2114 ~x10475 ~x3997 ~x5484 ~x8859 ~x7263 ~x739 
38.19/38.31	v ~x2116 ~x10477 ~x3999 ~x5486 ~x8861 ~x7265 ~x741 ~x2118 ~x10479 ~x76 
38.19/38.31	v ~x5488 ~x8863 ~x7267 ~x743 ~x2120 ~x10481 ~x4001 ~x5490 ~x8865 ~x7269 
38.19/38.31	v ~x745 ~x2122 ~x10483 ~x4003 ~x5492 ~x8867 ~x7271 ~x8 ~x2124 ~x10485 
38.19/38.31	v ~x4005 ~x5494 ~x8869 ~x7273 ~x747 ~x2126 ~x10487 ~x77 ~x5496 ~x8871 
38.19/38.31	v ~x7275 ~x749 ~x2128 ~x10489 ~x4007 ~x5498 ~x8873 ~x7277 ~x751 ~x2130 
38.19/38.31	v ~x10491 ~x4009 ~x5500 ~x8875 ~x7279 ~x753 ~x2132 ~x10493 ~x4011 ~x5502 
38.19/38.31	v ~x8877 ~x7281 ~x755 ~x2134 ~x10495 ~x4013 ~x5504 ~x8879 ~x7283 ~x757 
38.19/38.31	v ~x2136 ~x10497 ~x4015 ~x5506 ~x8881 ~x7285 ~x759 ~x2138 ~x10499 ~x4017 
38.19/38.31	v ~x5508 ~x8883 ~x7287 ~x761 ~x2140 ~x10501 ~x4019 ~x5510 ~x8885 ~x7289 
38.19/38.31	v ~x763 ~x2142 ~x10503 ~x4021 ~x5512 ~x8887 ~x7291 ~x765 ~x2144 ~x10505 
38.19/38.31	v ~x4023 ~x5514 ~x8889 ~x7293 ~x767 ~x2146 ~x10507 ~x4025 ~x5515 ~x8891 
38.19/38.31	v ~x7295 ~x769 ~x2148 ~x10509 ~x4027 ~x5517 ~x8893 ~x7297 ~x771 ~x2150 
38.19/38.31	v ~x10511 ~x4029 ~x5519 ~x8895 ~x7299 ~x773 ~x2152 ~x10513 ~x4031 ~x5521 
38.19/38.31	v ~x8897 ~x7301 ~x775 ~x2154 ~x10515 ~x4033 ~x5523 ~x8899 ~x7303 ~x777 
38.19/38.31	v ~x2156 ~x10517 ~x4035 ~x5525 ~x8901 ~x7305 ~x779 ~x2158 ~x10519 ~x4037 
38.19/38.31	v ~x5527 ~x8903 ~x7307 ~x781 ~x2160 ~x10521 ~x4039 ~x5529 ~x8905 ~x7309 
38.19/38.31	v ~x783 ~x2162 ~x10523 ~x4041 ~x5531 ~x8907 ~x7311 ~x785 ~x2164 ~x10525 
38.19/38.31	v ~x4043 ~x5533 ~x8909 ~x7313 ~x787 ~x2166 ~x10527 ~x4045 ~x5535 ~x8911 
38.19/38.31	v ~x7315 ~x789 ~x2168 ~x10529 ~x4047 ~x5537 ~x8913 ~x7317 ~x791 ~x2170 
38.19/38.31	v ~x10531 ~x4049 ~x5539 ~x8915 ~x7319 ~x793 ~x2172 ~x10533 ~x4051 ~x5541 
38.19/38.31	v ~x8917 ~x7321 ~x795 ~x2174 ~x10535 ~x4053 ~x5543 ~x8919 ~x7323 ~x797 
38.19/38.31	v ~x2176 ~x10537 ~x4055 ~x5545 ~x8921 ~x7325 ~x799 ~x2178 ~x10539 ~x4057 
38.19/38.31	v ~x5547 ~x8923 ~x7327 ~x801 ~x2180 ~x10541 ~x4059 ~x5549 ~x8925 ~x7329 
38.19/38.31	v ~x803 ~x2182 ~x10543 ~x4061 ~x5551 ~x8927 ~x7331 ~x805 ~x2184 ~x10545 
38.19/38.31	v ~x4063 ~x5553 ~x8929 ~x7333 ~x807 ~x2186 ~x10547 ~x4065 ~x5555 ~x8931 
38.19/38.31	v ~x140 ~x809 ~x2188 ~x10549 ~x4067 ~x5557 ~x8933 ~x7335 ~x811 ~x2190 
38.19/38.31	v ~x10551 ~x78 ~x5559 ~x8935 ~x7337 ~x813 ~x2192 ~x10553 ~x4069 ~x5561 
38.19/38.31	v ~x8937 ~x7339 ~x815 ~x2194 ~x10555 ~x4071 ~x5563 ~x8938 ~x7341 ~x817 
38.19/38.31	v ~x2196 ~x10557 ~x4073 ~x5565 ~x8940 ~x7343 ~x819 ~x2198 ~x10559 ~x4075 
38.19/38.31	v ~x5567 ~x8942 ~x7345 ~x821 ~x2200 ~x10561 ~x4077 ~x5569 ~x8944 ~x7347 
38.19/38.31	v ~x823 ~x2202 ~x10563 ~x4079 ~x5571 ~x8946 ~x7349 ~x825 ~x2204 ~x10565 
38.19/38.31	v ~x4081 ~x5573 ~x8948 ~x7351 ~x827 ~x2206 ~x10567 ~x4083 ~x5575 ~x8950 
38.19/38.31	v ~x7353 ~x829 ~x2208 ~x10569 ~x4085 ~x5577 ~x8952 ~x7355 ~x831 ~x2210 
38.19/38.31	v ~x239 ~x4087 ~x5579 ~x8954 ~x7357 ~x833 ~x2211 ~x10571 ~x4089 ~x5581 
38.19/38.31	v ~x8956 ~x7359 ~x835 ~x2213 ~x10573 ~x4091 ~x5583 ~x8958 ~x7361 ~x837 
38.19/38.31	v ~x2215 ~x10575 ~x4093 ~x5585 ~x8960 ~x7363 ~x839 ~x2217 ~x10577 ~x4095 
38.19/38.31	v ~x5587 ~x8962 ~x7365 ~x841 ~x2219 ~x10579 ~x4097 ~x5589 ~x8964 ~x7367 
38.19/38.31	v ~x843 ~x2221 ~x10581 ~x79 ~x5591 ~x8966 ~x7369 ~x845 ~x2223 ~x10583 
38.19/38.31	v ~x4099 ~x5593 ~x8968 ~x7371 ~x847 ~x2225 ~x10585 ~x4101 ~x5595 ~x8970 
38.19/38.31	v ~x7373 ~x849 ~x2227 ~x10587 ~x4103 ~x5597 ~x8972 ~x7375 ~x851 ~x2229 
38.19/38.31	v ~x10589 ~x4105 ~x5599 ~x8974 ~x7377 ~x853 ~x2231 ~x10592 ~x4107 ~x5601 
38.19/38.31	v ~x8976 ~x7379 ~x855 ~x2233 ~x10594 ~x4109 ~x5603 ~x8978 ~x7381 ~x857 
38.19/38.31	v ~x2235 ~x10596 ~x4111 ~x5605 ~x8980 ~x7383 ~x859 ~x2237 ~x10598 ~x4113 
38.19/38.31	v ~x5607 ~x8982 ~x7385 ~x861 ~x2239 ~x10600 ~x4115 ~x5609 ~x8984 ~x7387 
38.19/38.31	v ~x863 ~x2241 ~x10602 ~x4117 ~x5611 ~x8986 ~x7389 ~x865 ~x2243 ~x10604 
38.19/38.31	v ~x4119 ~x5613 ~x8988 ~x7391 ~x867 ~x2245 ~x10606 ~x4121 ~x5615 ~x8990 
38.19/38.31	v ~x7393 ~x869 ~x2247 ~x10608 ~x4123 ~x5617 ~x8992 ~x7395 ~x871 ~x2249 
38.19/38.31	v ~x10610 ~x4125 ~x5619 ~x8994 ~x141 ~x9 ~x2251 ~x10612 ~x4127 ~x5621 
38.19/38.31	v ~x8996 ~x7397 ~x873 ~x2253 ~x10614 ~x80 ~x5623 ~x8998 ~x7399 ~x875 
38.19/38.31	v ~x2255 ~x10616 ~x4129 ~x5625 ~x9000 ~x7401 ~x877 ~x2257 ~x10618 ~x4131 
38.19/38.31	v ~x5627 ~x9002 ~x7403 ~x879 ~x2259 ~x10620 ~x4133 ~x5629 ~x9004 ~x7405 
38.19/38.31	v ~x881 ~x2261 ~x10622 ~x4135 ~x5631 ~x9006 ~x7407 ~x883 ~x2263 ~x10624 
38.19/38.31	v ~x4137 ~x5633 ~x9008 ~x7409 ~x885 ~x2265 ~x10626 ~x4139 ~x5635 ~x9010 
38.19/38.31	v ~x7411 ~x887 ~x2267 ~x10628 ~x4141 ~x5637 ~x9012 ~x7413 ~x889 ~x2269 
38.19/38.31	v ~x240 ~x81 ~x5639 ~x9014 ~x7415 ~x891 ~x2271 ~x10631 ~x4143 ~x5641 
38.19/38.31	v ~x9016 ~x7417 ~x893 ~x2273 ~x10633 ~x4145 ~x5643 ~x9018 ~x7419 ~x895 
38.19/38.31	v ~x2275 ~x10635 ~x4147 ~x5645 ~x9020 ~x7421 ~x897 ~x2277 ~x10637 ~x4149 
38.19/38.31	v ~x5647 ~x9022 ~x7423 ~x899 ~x2279 ~x10639 ~x4151 ~x5649 ~x9024 ~x7425 
38.19/38.31	v ~x901 ~x2281 ~x10641 ~x4153 ~x5651 ~x9026 ~x7427 ~x903 ~x2283 ~x10643 
38.19/38.31	v ~x4155 ~x5653 ~x9028 ~x7429 ~x905 ~x2285 ~x10645 ~x4157 ~x5655 ~x9030 
38.19/38.31	v ~x7431 ~x907 ~x2287 ~x10647 ~x4159 ~x5657 ~x9032 ~x7433 ~x909 ~x2289 
38.19/38.31	v ~x10649 ~x4161 ~x5659 ~x9034 ~x7435 ~x911 ~x2291 ~x10651 ~x4163 ~x5661 
38.19/38.31	v ~x9036 ~x7437 ~x913 ~x2293 ~x10653 ~x4165 ~x5663 ~x9038 ~x7439 ~x915 
38.19/38.31	v ~x2295 ~x10655 ~x4167 ~x5665 ~x9040 ~x7441 ~x917 ~x2297 ~x10657 ~x4169 
38.19/38.31	v ~x5667 ~x9042 ~x7443 ~x919 ~x2299 ~x10659 ~x4171 ~x5669 ~x9044 ~x7445 
38.19/38.31	v ~x921 ~x2301 ~x10661 ~x82 ~x5671 ~x9046 ~x7447 ~x923 ~x2303 ~x10663 
38.19/38.31	v ~x4173 ~x5673 ~x9048 ~x7449 ~x925 ~x2305 ~x10665 ~x4175 ~x5675 ~x9050 
38.19/38.31	v ~x7451 ~x927 ~x2307 ~x10668 ~x4177 ~x5677 ~x9052 ~x7453 ~x929 ~x2309 
38.19/38.31	v ~x10670 ~x4179 ~x5679 ~x9054 ~x7455 ~x931 ~x2311 ~x10672 ~x4181 ~x5681 
38.19/38.31	v ~x9056 ~x7457 ~x933 ~x2313 ~x10674 ~x4183 ~x5683 ~x9058 ~x142 ~x935 
38.19/38.31	v ~x2315 ~x10676 ~x4185 ~x5685 ~x9060 ~x7459 ~x937 ~x2317 ~x10678 ~x83 
38.19/38.31	v ~x5687 ~x9062 ~x7461 ~x939 ~x2319 ~x10680 ~x4187 ~x5689 ~x9064 ~x7463 
38.19/38.31	v ~x941 ~x2321 ~x10682 ~x4190 ~x5691 ~x9066 ~x7465 ~x943 ~x2323 ~x10684 
38.19/38.31	v ~x4192 ~x5693 ~x9068 ~x7467 ~x945 ~x2325 ~x10686 ~x4194 ~x5695 ~x9070 
38.19/38.31	v ~x7469 ~x947 ~x2327 ~x10688 ~x4196 ~x5697 ~x9072 ~x7471 ~x949 ~x2329 
38.19/38.31	v ~x10690 ~x4198 x5699 ~x9074 ~x7473 ~x951 ~x2331 ~x241 ~x84 ~x5701 
38.19/38.31	v ~x9076 ~x7476 ~x953 ~x2333 ~x10692 ~x4200 ~x5703 ~x9078 ~x7478 ~x955 
38.19/38.31	v ~x2335 ~x10694 ~x4202 ~x5705 ~x9080 ~x7480 ~x957 ~x2337 ~x10696 ~x4204 
38.19/38.31	v ~x5707 ~x9082 ~x7482 ~x959 ~x2339 ~x10698 ~x85 ~x5709 ~x9084 ~x7484 
38.19/38.31	v ~x961 ~x2341 ~x10700 ~x4206 ~x5711 ~x9086 ~x7486 ~x963 ~x2343 ~x10702 
38.19/38.31	v ~x4208 ~x5713 ~x9088 ~x143 ~x965 ~x2345 ~x10704 ~x4210 ~x5715 ~x9090 
38.19/38.31	v ~x7488 ~x967 ~x2347 ~x10706 ~x4212 ~x5717 ~x9092 ~x7490 ~x969 ~x2349 
38.19/38.31	v ~x10708 ~x4214 ~x5719 ~x9094 ~x7492 ~x971 ~x2351 ~x10710 ~x4216 ~x5721 
38.19/38.31	v ~x9096 ~x7494 ~x973 ~x2353 ~x10712 ~x4218 ~x5723 ~x9098 ~x7496 ~x975 
38.19/38.31	v ~x2355 ~x10714 ~x4220 ~x5725 ~x9100 ~x7498 ~x977 ~x2357 ~x10716 ~x4222 
38.19/38.31	v ~x5727 ~x9102 ~x7500 ~x979 ~x2359 ~x10718 ~x4224 ~x5729 ~x9103 ~x7502 
38.19/38.31	v ~x981 ~x2361 ~x10720 ~x4226 ~x5731 ~x9105 ~x7504 ~x983 ~x2363 ~x242 
38.19/38.31	v ~x4228 ~x5733 ~x9107 ~x7506 ~x985 ~x2365 ~x10722 ~x4230 ~x5735 ~x9109 
38.19/38.31	v ~x7508 ~x987 ~x2367 ~x10724 ~x4232 ~x5737 ~x9111 ~x7510 ~x989 ~x2369 
38.19/38.31	v ~x10726 ~x4234 ~x5739 ~x9113 ~x7512 ~x991 ~x2371 ~x10728 ~x86 ~x5741 
38.19/38.31	v ~x9115 ~x7514 ~x993 ~x2373 ~x10730 ~x4236 ~x5743 ~x9117 ~x7516 ~x995 
38.19/38.31	v ~x2375 ~x10732 ~x4238 ~x5745 ~x9119 ~x7518 ~x997 ~x2377 ~x10734 ~x4240 
38.19/38.31	v ~x5747 ~x9121 ~x7520 ~x10 ~x2379 ~x10736 ~x4242 ~x5749 ~x9123 ~x7522 
38.19/38.31	v ~x999 ~x2381 ~x10738 ~x4244 ~x5751 ~x9125 ~x7524 ~x1001 ~x2383 ~x10740 
38.19/38.31	v ~x4246 ~x5753 ~x9127 ~x7526 ~x1003 ~x2385 ~x10742 ~x4248 ~x5755 ~x9129 
38.19/38.31	v ~x7528 ~x1005 ~x2387 ~x10744 ~x87 ~x5757 ~x9131 ~x7530 ~x1007 ~x2389 
38.19/38.31	v ~x10746 ~x4250 ~x5759 ~x9133 ~x7532 ~x1009 ~x2391 ~x10748 ~x4252 ~x5761 
38.19/38.31	v ~x9135 ~x7534 ~x1011 ~x2393 ~x10750 ~x4254 ~x5763 ~x9137 ~x7536 ~x1013 
38.19/38.31	v ~x2395 ~x10752 ~x4256 ~x5765 ~x9139 ~x7538 ~x1015 ~x2397 ~x10754 ~x4258 
38.19/38.31	v ~x5767 ~x9141 ~x7540 ~x1017 ~x2399 ~x10756 ~x4261 ~x5769 ~x9143 ~x7542 
38.19/38.31	v ~x1019 ~x2401 ~x10758 ~x88 ~x5771 ~x9145 ~x7544 ~x1021 ~x2403 ~x10760 
38.19/38.31	v ~x4263 ~x5773 ~x9147 ~x7546 ~x1023 ~x2405 ~x10762 ~x4265 ~x5775 ~x9149 
38.19/38.31	v ~x7548 ~x1025 ~x2407 ~x10764 ~x89 ~x5777 ~x9151 ~x144 ~x1027 ~x2409 
38.19/38.31	v ~x10767 ~x4268 ~x5779 ~x9153 ~x7550 ~x1029 ~x2411 ~x10769 ~x4270 ~x5781 
38.19/38.31	v ~x9155 ~x7552 ~x1031 ~x2413 ~x10771 ~x4272 ~x5783 ~x9157 ~x7554 ~x1033 
38.19/38.31	v ~x2415 ~x10773 ~x4274 ~x5785 ~x9159 ~x7556 ~x1035 ~x2417 ~x10775 ~x4276 
38.19/38.31	v ~x5787 ~x9161 ~x7558 ~x1037 ~x2419 ~x10777 ~x4278 ~x5789 ~x9163 ~x7560 
38.19/38.31	v ~x1039 ~x2421 ~x10779 ~x4280 ~x5791 ~x9164 ~x7562 ~x1041 ~x2423 ~x243 
38.19/38.31	v ~x90 ~x5793 ~x9166 ~x7564 ~x1043 ~x2425 ~x10781 ~x4282 ~x5795 ~x9168 
38.19/38.31	v ~x7566 ~x1045 ~x2427 ~x10783 ~x4284 ~x5797 ~x9170 ~x7568 ~x1047 ~x2429 
38.19/38.31	v ~x10785 ~x4286 ~x5799 ~x9172 ~x7570 ~x1049 ~x2431 ~x10787 x4288 ~x5801 
38.19/38.31	v ~x9174 ~x7572 ~x1051 ~x2433 ~x10789 ~x4290 ~x5803 ~x9176 ~x7574 ~x1053 
38.19/38.31	v ~x2435 ~x10791 ~x91 ~x5805 ~x9178 ~x145 ~x1055 ~x2437 ~x10793 ~x4293 
38.19/38.31	v ~x5807 ~x9180 ~x7576 ~x1057 ~x2439 ~x10795 ~x4295 ~x5809 ~x9182 ~x7578 
38.19/38.31	v ~x1059 ~x2441 ~x10797 ~x4297 ~x5811 ~x9184 ~x7580 ~x11 ~x2443 ~x10799 
38.19/38.31	v ~x4299 ~x5813 ~x9186 ~x7582 ~x1061 ~x2445 ~x10801 ~x4301 ~x5815 ~x9188 
38.19/38.31	v ~x7584 ~x1063 ~x2447 ~x10803 ~x4303 ~x5817 ~x9190 ~x7586 ~x1065 ~x2449 
38.19/38.31	v ~x10805 ~x4305 ~x5819 ~x9192 ~x7588 ~x1067 ~x2451 ~x10807 ~x4307 ~x5821 
38.19/38.31	v ~x9194 ~x7590 ~x1069 ~x2453 ~x10809 ~x4309 ~x5823 ~x9196 ~x7592 ~x1071 
38.19/38.31	v ~x2455 ~x244 ~x4311 ~x5825 ~x9198 ~x7594 ~x1073 ~x2457 ~x10811 ~x4313 
38.19/38.31	v ~x5827 ~x9200 ~x7596 ~x1075 ~x2459 ~x10813 ~x4315 ~x5829 ~x9202 ~x7598 
38.19/38.31	v ~x1077 ~x2461 ~x10815 ~x4317 ~x5831 ~x9204 ~x7600 ~x1079 ~x2463 ~x10817 
38.19/38.31	v ~x4319 ~x5833 ~x9206 ~x7602 ~x1081 ~x2465 ~x10819 ~x4321 ~x5835 ~x9208 
38.19/38.31	v ~x7604 ~x1083 ~x2467 ~x10821 ~x4323 ~x5837 ~x9210 ~x146 ~x1085 ~x2469 
38.19/38.31	v ~x10823 ~x4325 ~x5839 ~x9212 ~x7606 ~x1087 ~x2471 ~x10825 ~x4327 ~x5841 
38.19/38.31	v ~x9214 ~x7608 ~x1089 ~x2473 ~x10827 ~x4329 ~x5843 ~x9216 ~x7610 ~x1091 
38.19/38.31	v ~x2475 ~x10829 ~x4331 ~x5845 ~x9218 ~x7612 ~x1093 ~x2477 ~x10831 ~x4333 
38.19/38.31	v ~x5847 ~x9220 ~x7614 ~x1095 ~x2479 ~x10833 ~x4335 ~x5849 ~x9222 ~x7616 
38.19/38.31	v ~x1097 ~x2481 ~x10835 ~x4337 ~x5851 ~x9224 ~x7618 ~x1099 ~x2483 ~x10837 
38.19/38.31	v ~x4339 ~x5853 ~x9226 ~x147 ~x1101 ~x2485 ~x10839 ~x4341 ~x5855 ~x9228 
38.19/38.31	v ~x7620 ~x1103 ~x2487 ~x245 ~x4343 ~x5857 ~x9230 ~x7622 ~x1105 ~x2489 
38.19/38.31	v ~x10841 ~x4345 ~x5859 ~x9232 ~x7624 ~x1107 ~x2491 ~x10843 ~x4347 ~x5861 
38.19/38.31	v ~x9234 ~x7626 ~x1109 ~x2493 ~x10845 ~x4349 ~x5863 ~x9236 ~x7628 ~x1111 
38.19/38.31	v ~x2495 ~x10847 ~x4351 ~x5865 ~x9238 ~x7630 ~x1113 ~x2497 ~x10849 ~x4353 
38.19/38.31	v ~x5866 ~x9240 ~x7632 ~x1115 ~x2499 ~x10851 ~x4355 ~x5868 ~x9242 ~x7634 
38.19/38.31	v ~x1117 ~x2501 ~x10853 ~x4357 ~x5870 ~x9244 ~x7636 ~x1119 ~x2503 ~x246 
38.19/38.31	v ~x4359 ~x5872 ~x9246 ~x7638 ~x1121 ~x2505 ~x10855 ~x4361 ~x5874 ~x9248 
38.19/38.31	v ~x7640 ~x1123 ~x2507 ~x10857 ~x4363 ~x5876 ~x9250 ~x7642 ~x1125 ~x2509 
38.19/38.31	v ~x10859 ~x4365 ~x5878 ~x9252 ~x7644 ~x1127 ~x2511 ~x10861 ~x4367 ~x5880 
38.19/38.31	v ~x9254 ~x7646 ~x1129 ~x2513 ~x10863 ~x4369 ~x5882 ~x9256 ~x7648 ~x1131 
38.19/38.31	v ~x2515 ~x10865 ~x4371 ~x5884 ~x9258 ~x7650 ~x1133 ~x2517 ~x10867 ~x4373 
38.19/38.31	v ~x5886 ~x9260 ~x7652 ~x1135 ~x2519 ~x10869 ~x4375 ~x5888 ~x9262 ~x7654 
38.19/38.31	v ~x1137 ~x2521 ~x10871 ~x4377 ~x5890 ~x9264 ~x7656 ~x1139 ~x2523 ~x10873 
38.19/38.31	v ~x4379 ~x5892 ~x9266 ~x7658 ~x1141 ~x2525 ~x10875 ~x4381 ~x5894 ~x9268 
38.19/38.31	v ~x7660 ~x1143 ~x2527 ~x10877 x4383 ~x5896 ~x9270 ~x7662 ~x1145 ~x2529 
38.19/38.31	v ~x10879 ~x4385 ~x5898 ~x9272 ~x7664 ~x1147 ~x2531 ~x10881 ~x4387 ~x5900 
38.19/38.31	v ~x9274 ~x7667 ~x1149 ~x2533 ~x10883 ~x4389 ~x5902 ~x9276 ~x7669 ~x1151 
38.19/38.31	v ~x2535 ~x10885 ~x4391 ~x5904 ~x9278 ~x7671 ~x1153 ~x2537 ~x10887 ~x4393 
38.19/38.31	v ~x5906 ~x9280 ~x7673 ~x1155 ~x2539 ~x10889 ~x4395 ~x5908 ~x9282 ~x7675 
38.19/38.31	v ~x1157 ~x2541 ~x10891 ~x4397 ~x5910 ~x9284 ~x7677 ~x1159 ~x2543 ~x10893 
38.19/38.31	v ~x4399 ~x5912 ~x9286 ~x7679 ~x1161 ~x2545 ~x10895 ~x4401 ~x5914 ~x9288 
38.19/38.31	v ~x148 ~x1163 ~x2547 ~x10897 ~x4403 ~x5916 ~x9290 ~x7681 ~x1165 ~x2549 
38.19/38.31	v ~x10899 ~x4405 ~x5918 ~x9292 ~x7683 ~x1167 ~x2551 ~x10901 ~x4407 ~x5920 
38.19/38.31	v ~x9294 ~x7685 ~x1169 ~x2553 ~x10903 ~x4409 ~x5922 ~x9296 ~x7687 ~x1171 
38.19/38.31	v ~x2555 ~x10905 ~x4411 ~x5924 ~x9298 ~x7689 ~x1173 ~x2557 ~x10907 ~x4413 
38.19/38.31	v ~x5926 ~x9300 ~x7691 ~x1175 ~x2559 ~x10909 ~x4415 ~x5928 ~x9302 ~x7693 
38.19/38.31	v ~x1177 ~x2561 ~x10911 ~x4417 ~x5930 ~x9304 ~x7696 ~x1179 ~x2563 ~x10913 
38.19/38.31	v ~x4419 ~x5932 ~x9306 ~x7698 ~x1181 ~x2565 ~x10915 ~x4421 x5934 ~x9308 
38.19/38.31	v ~x7700 ~x1183 ~x2567 ~x247 ~x4423 ~x5936 ~x9310 ~x7702 ~x1185 ~x2569 
38.19/38.31	v ~x10917 ~x4425 ~x5938 ~x9312 ~x7704 ~x12 ~x2571 ~x10919 ~x4427 ~x5940 
38.19/38.31	v ~x9314 ~x7706 ~x1187 ~x2573 ~x10921 ~x4429 ~x5942 ~x9316 ~x7708 ~x1189 
38.19/38.31	v ~x2575 ~x10923 ~x4431 ~x5944 ~x9318 ~x149 ~x1191 ~x2577 ~x10925 ~x4433 
38.19/38.31	v ~x5946 ~x9320 ~x7710 ~x1193 ~x2579 ~x10927 ~x4435 ~x5948 ~x9322 ~x7712 
38.19/38.31	v ~x1195 ~x2581 ~x10929 ~x4437 ~x5950 ~x9324 ~x7714 ~x1197 ~x2583 ~x10931 
38.19/38.31	v ~x4439 ~x5952 ~x9326 ~x7716 ~x1199 ~x2585 ~x10933 ~x4441 ~x5954 ~x9328 
38.19/38.31	v ~x7718 ~x1201 ~x2587 ~x10936 ~x4443 ~x5956 ~x9330 ~x7720 ~x1203 ~x2589 
38.19/38.31	v ~x10938 ~x4445 ~x5958 ~x9332 ~x7722 ~x1205 ~x2591 ~x10940 ~x4447 ~x5960 
38.19/38.31	v ~x9334 ~x7724 ~x1207 ~x2593 ~x10942 ~x4449 ~x5962 ~x9336 ~x7726 ~x1209 
38.19/38.31	v ~x2595 ~x10944 ~x4451 ~x5964 ~x9338 ~x7728 ~x1211 ~x2597 ~x248 ~x4453 
38.19/38.31	v ~x5966 ~x9340 ~x7730 ~x1213 ~x2599 ~x10946 ~x4455 ~x5968 ~x9342 ~x7732 
38.19/38.31	v ~x1215 ~x2601 ~x10948 ~x4457 ~x5970 ~x9344 ~x7734 ~x1217 ~x2603 ~x10950 
38.19/38.31	v ~x4459 ~x5972 ~x9346 ~x7736 ~x1219 ~x2605 ~x10952 ~x4461 ~x5974 ~x9348 
38.19/38.31	v ~x7738 ~x1221 ~x2607 ~x10955 ~x4463 ~x5976 ~x9350 ~x150 ~x1223 ~x2609 
38.19/38.31	v ~x10957 ~x4465 ~x5978 ~x9352 ~x7740 ~x1225 ~x2611 ~x10959 ~x4467 ~x5980 
38.19/38.31	v ~x9354 ~x7742 ~x1227 ~x2613 ~x10961 ~x4469 ~x5982 ~x9356 ~x7744 ~x1229 
38.19/38.31	v ~x2615 ~x10963 ~x4471 ~x5984 ~x9358 ~x7746 ~x1231 ~x2617 ~x10965 ~x4473 
38.19/38.31	v ~x5986 ~x9360 ~x7748 ~x1233 ~x2619 ~x10967 ~x4475 ~x5988 ~x9362 ~x7750 
38.19/38.31	v ~x1235 ~x2621 ~x10969 ~x4477 ~x5990 ~x9364 ~x7752 ~x1237 ~x2623 ~x10971 
38.19/38.31	v ~x4479 ~x5992 ~x9366 ~x151 ~x1239 ~x2625 ~x10973 ~x4481 ~x5994 ~x9368 
38.19/38.31	v ~x7754 ~x1241 ~x2627 ~x249 ~x4483 ~x5996 ~x9370 ~x7756 ~x1243 ~x2629 
38.19/38.31	v ~x10975 ~x4485 ~x5998 ~x9372 ~x7758 ~x1245 ~x2631 ~x10977 ~x4487 ~x6000 
38.19/38.31	v ~x9374 ~x7760 ~x1247 ~x2633 ~x10979 ~x4489 ~x6002 ~x9376 ~x7762 ~x13 
38.19/38.31	v ~x2635 ~x10981 ~x4491 ~x6004 ~x9378 ~x7764 ~x1249 ~x2637 ~x10983 ~x4493 
38.19/38.31	v ~x6006 ~x9380 ~x7766 ~x1251 ~x2639 ~x10985 ~x4495 ~x6008 ~x9382 ~x7768 
38.19/38.31	v ~x1253 ~x2641 ~x10987 ~x4497 ~x6010 ~x9384 ~x7770 ~x1255 ~x2643 ~x250 
38.19/38.31	v ~x4499 ~x6012 ~x9386 ~x7772 ~x1257 ~x2645 ~x10989 ~x4501 ~x6014 ~x9388 
38.19/38.31	v ~x7774 ~x1259 ~x2647 ~x10991 ~x4503 ~x6016 ~x9390 ~x7776 ~x1261 ~x2649 
38.19/38.31	v ~x10993 ~x4505 ~x6018 ~x9392 ~x7778 ~x1263 ~x2651 ~x10995 ~x4507 ~x6020 
38.19/38.31	v ~x9394 ~x7780 ~x1265 ~x2653 ~x10997 ~x4509 ~x6022 ~x9396 ~x7782 ~x1267 
38.19/38.31	v ~x2655 ~x10999 ~x4511 ~x6024 ~x9398 ~x152 ~x1269 ~x2657 ~x11001 ~x4513 
38.19/38.31	v ~x6026 ~x9400 ~x7784 ~x1271 ~x2659 ~x11003 ~x4515 ~x6028 ~x9401 ~x7786 
38.19/38.31	v ~x1273 ~x2661 ~x11005 ~x4517 ~x6030 ~x9403 ~x7788 ~x1275 ~x2663 ~x11007 
38.19/38.31	v x4519 ~x6032 ~x9405 ~x7790 ~x1277 ~x2665 ~x11009 ~x4521 ~x6034 ~x9407 
38.19/38.31	v ~x7792 ~x1279 ~x2667 ~x11011 ~x4523 ~x6036 ~x9409 ~x7794 ~x1281 ~x2669 
38.19/38.31	v ~x11013 ~x4525 ~x6038 ~x9411 ~x7796 ~x1283 ~x2671 ~x11015 ~x4527 ~x6040 
38.19/38.31	v ~x9413 ~x153 ~x1285 ~x2673 ~x11017 ~x4529 ~x6042 ~x9415 ~x7798 ~x1287 
38.19/38.31	v ~x2675 ~x251 ~x4531 ~x6044 ~x9417 ~x7800 ~x1289 ~x2677 ~x11019 ~x4533 
38.19/38.31	v ~x6046 ~x9419 ~x7802 ~x1291 ~x2679 ~x11021 ~x4535 ~x6048 ~x9421 ~x7804 
38.19/38.31	v ~x1293 ~x2681 ~x11023 ~x4537 ~x6050 ~x9423 ~x7806 ~x1295 ~x2683 ~x11025 
38.19/38.31	v ~x4539 ~x6052 ~x9425 ~x7808 ~x1297 ~x2685 ~x11027 ~x4541 ~x6054 ~x9427 
38.19/38.31	v ~x7810 ~x1299 ~x2687 ~x11029 ~x4543 ~x6056 ~x9429 ~x154 ~x1301 ~x2689 
38.19/38.31	v ~x11031 ~x4545 ~x6058 ~x9431 ~x7812 ~x1303 ~x2691 ~x252 ~x92 ~x6060 
38.19/38.31	v ~x9433 ~x7814 ~x1305 ~x2693 ~x11033 ~x4547 ~x6062 ~x9435 ~x7816 ~x1307 
38.19/38.31	v ~x2695 ~x11035 ~x4549 ~x6064 ~x9437 ~x155 ~x1309 ~x2697 ~x11037 ~x4551 
38.19/38.31	v ~x6066 ~x9439 ~x7818 ~x14 ~x2699 ~x11039 ~x4553 ~x6068 ~x9441 ~x7820 
38.19/38.31	v ~x1311 ~x2701 ~x11041 ~x4555 ~x6070 ~x9443 ~x7822 ~x1313 ~x2703 ~x11043 
38.19/38.31	v ~x4557 ~x6072 ~x9445 ~x7824 ~x1315 ~x2705 ~x11045 ~x4559 ~x6074 ~x9447 
38.19/38.31	v ~x7826 ~x1317 ~x2707 ~x253 ~x4561 ~x6076 ~x9449 ~x7828 ~x1319 ~x2709 
38.19/38.31	v ~x11047 ~x4563 ~x6078 ~x9451 ~x7830 ~x1321 ~x2711 ~x11049 ~x4565 ~x6080 
38.19/38.31	v ~x9453 ~x7832 ~x1323 ~x2713 ~x11051 ~x4567 ~x6082 ~x9455 ~x7834 ~x1325 
38.19/38.31	v ~x2715 ~x254 ~x4569 ~x6084 ~x9457 ~x7836 ~x1327 ~x2717 ~x11053 ~x4571 
38.19/38.31	v ~x6086 ~x9459 ~x7838 ~x1329 x2719 ~x11055 ~x4573 ~x6088 ~x9461 ~x7840 
38.19/38.31	v ~x1331 ~x2721 ~x11057 ~x4575 ~x6090 ~x9462 ~x7842 ~x1333 ~x2723 ~x11059 
38.19/38.31	v ~x4577 ~x6092 ~x9464 ~x7844 ~x1335 ~x2725 ~x11061 ~x4579 ~x6094 ~x9465 
38.19/38.31	v ~x7846 ~x1337 ~x2727 ~x11063 ~x4581 ~x6096 ~x9467 ~x7848 ~x1339 ~x2729 
38.19/38.31	v ~x11065 ~x4583 ~x6098 ~x9469 ~x7850 ~x15 ~x2731 ~x11067 ~x4585 ~x6100 
38.19/38.31	v ~x9471 ~x7852 ~x1341 ~x2733 ~x11069 ~x4587 ~x6102 ~x9473 ~x7854 ~x1343 
38.19/38.31	v ~x2735 ~x11071 ~x4589 ~x6104 ~x9475 ~x7856 ~x1345 ~x2737 ~x11073 ~x4591 
38.19/38.31	v ~x6106 ~x9477 ~x7858 ~x1347 ~x2739 ~x11075 ~x4593 ~x6108 ~x9479 ~x7860 
38.19/38.31	v ~x1349 ~x2741 ~x11077 ~x4595 ~x6110 ~x9481 ~x7862 ~x1351 ~x2743 ~x11079 
38.19/38.31	v ~x4597 ~x6112 ~x9483 ~x7864 ~x1353 ~x2745 ~x11081 ~x4599 ~x6114 ~x9485 
38.19/38.31	v ~x7866 ~x1355 ~x2747 ~x11083 ~x4601 ~x6116 ~x9487 ~x7868 ~x1357 ~x2749 
38.19/38.31	v ~x11085 ~x4603 ~x6118 ~x9489 ~x7870 ~x1359 ~x2751 ~x11087 ~x4605 ~x6120 
38.19/38.31	v ~x9491 ~x7872 ~x1361 ~x2753 ~x11089 ~x4607 ~x6122 ~x9493 ~x7874 ~x1363 
38.19/38.31	v ~x2755 ~x11091 ~x93 ~x6124 ~x9495 ~x7876 ~x1365 ~x2757 ~x11093 ~x4609 
38.19/38.31	v ~x6126 ~x9496 ~x7878 ~x1367 ~x2759 ~x11095 ~x4611 ~x6128 ~x9498 ~x7880 
38.19/38.31	v ~x1369 ~x2761 ~x11097 ~x4613 ~x6130 ~x9500 ~x7882 ~x1371 ~x2763 ~x11099 
38.19/38.31	v ~x4615 ~x6132 ~x9502 ~x7884 ~x1373 ~x2765 ~x11101 ~x4617 ~x6134 ~x9504 
38.19/38.31	v ~x7886 ~x1375 ~x2767 ~x11103 ~x4619 ~x6136 ~x9506 ~x7888 ~x1377 ~x2769 
38.19/38.31	v ~x11105 ~x4621 ~x6138 ~x9508 ~x7890 ~x1379 ~x2771 ~x11107 ~x4623 ~x6140 
38.19/38.31	v ~x9510 ~x7892 ~x1381 ~x2773 ~x11109 ~x4625 ~x6142 ~x9512 ~x7894 ~x1383 
38.19/38.31	v ~x2775 ~x11111 ~x4627 ~x6144 ~x9514 ~x7896 ~x1385 ~x2777 ~x255 ~x4629 
38.19/38.31	v ~x6146 ~x9516 ~x7898 ~x1387 ~x2779 ~x11114 ~x4631 ~x6148 ~x9518 ~x7900 
38.19/38.31	v ~x1389 ~x2781 ~x11116 ~x4633 ~x6150 ~x9520 ~x7902 ~x1391 ~x2783 ~x11118 
38.19/38.31	v ~x4635 ~x6152 ~x9522 ~x7904 ~x1393 ~x2784 ~x11120 ~x4638 ~x6154 ~x9524 
38.19/38.31	v ~x7906 ~x1395 ~x2786 ~x11122 ~x4640 ~x6156 ~x9526 ~x7908 ~x1397 ~x2788 
38.19/38.31	v ~x11124 ~x4642 ~x6158 ~x9528 ~x7910 ~x1399 ~x2790 ~x11126 ~x4644 ~x6160 
38.19/38.31	v x9530 ~x7912 ~x1401 ~x2792 ~x11128 ~x4646 x6162 ~x9532 ~x7914 ~x1403 
38.19/38.31	v ~x2794 ~x11130 ~x4648 ~x6164 ~x9534 ~x7916 ~x1405 ~x2796 ~x11132 ~x4650 
38.19/38.31	v ~x6166 ~x9536 ~x7918 ~x1407 ~x2798 ~x11134 ~x4652 ~x6168 ~x9538 ~x7920 
38.19/38.31	v ~x1409 ~x2800 ~x11136 ~x4654 ~x6170 ~x9540 ~x7922 ~x1411 ~x2802 ~x11138 
38.19/38.31	v ~x4656 ~x6172 ~x9542 ~x7924 ~x1413 ~x2804 ~x11140 ~x4658 ~x6174 ~x9544 
38.19/38.31	v ~x7926 ~x1415 ~x2806 ~x256 ~x4660 ~x6176 ~x9546 ~x7928 ~x1417 ~x2808 
38.19/38.31	v ~x11142 ~x4662 ~x6178 ~x9548 ~x7930 ~x1419 ~x2810 ~x11144 ~x4664 ~x6180 
38.19/38.31	v ~x9550 ~x7932 ~x1421 ~x2812 ~x11146 ~x4666 ~x6182 ~x9552 ~x7934 ~x1423 
38.19/38.31	v ~x2814 ~x11148 ~x4668 ~x6184 ~x9554 ~x7936 ~x1425 ~x2816 ~x11150 ~x94 
38.19/38.31	v ~x6186 ~x9556 ~x7938 ~x1427 ~x2818 ~x11152 ~x4670 ~x6188 ~x9558 ~x7940 
38.19/38.31	v ~x1429 ~x2820 ~x11154 ~x4672 ~x6190 ~x9560 ~x7942 ~x1431 ~x2822 ~x11156 
38.19/38.31	v ~x4674 ~x6192 ~x9562 ~x156 ~x1433 ~x2824 ~x11158 ~x4676 ~x6194 ~x9564 
38.19/38.31	v ~x7944 ~x1435 ~x2826 ~x11160 ~x4678 ~x6196 ~x9566 ~x7946 ~x1437 ~x2828 
38.19/38.31	v ~x11162 ~x4680 ~x6198 ~x9568 ~x7948 ~x1439 ~x2830 ~x11164 ~x4682 ~x6200 
38.19/38.31	v ~x9570 ~x7950 ~x1441 ~x2832 ~x11166 ~x4684 ~x6202 ~x9572 ~x7952 ~x1443 
38.19/38.31	v ~x2834 ~x11168 ~x4686 ~x6204 ~x9574 ~x7954 ~x1445 ~x2836 ~x11170 ~x4688 
38.19/38.31	v ~x6206 ~x9576 ~x7956 ~x1447 ~x2838 ~x257 ~x4690 ~x6208 ~x9578 ~x7958 
38.19/38.31	v ~x1449 ~x2840 ~x11172 ~x4692 ~x6210 ~x9580 ~x7960 ~x1451 ~x2842 ~x11174 
38.19/38.31	v ~x4694 ~x6212 ~x9582 ~x7962 ~x1453 ~x2844 ~x11176 ~x4696 ~x6214 ~x9584 
38.19/38.31	v ~x7964 ~x1455 ~x2846 ~x11178 ~x4698 ~x6216 ~x9586 ~x7966 ~x1457 ~x2848 
38.19/38.31	v ~x11180 ~x4700 ~x6218 ~x9588 ~x7968 ~x1459 ~x2850 ~x11182 ~x4702 ~x6220 
38.19/38.31	v ~x9590 ~x7970 ~x1461 ~x2852 ~x11184 ~x4704 ~x6222 ~x9592 ~x7972 ~x1463 
38.19/38.31	v ~x2854 ~x258 ~x4706 ~x6224 ~x9594 ~x7974 ~x1465 ~x2856 ~x11186 ~x4708 
38.19/38.31	v ~x6226 ~x9596 ~x7976 ~x16 ~x2858 ~x11188 ~x4710 ~x6228 ~x9598 ~x7978 
38.19/38.31	v ~x1467 ~x2860 ~x11190 ~x4712 ~x6230 ~x9600 ~x7981 ~x1469 ~x2862 ~x11192 
38.19/38.31	v ~x4714 ~x6232 ~x9602 ~x7983 ~x1471 ~x2864 ~x11194 ~x4716 ~x6234 ~x9604 
38.19/38.31	v ~x7985 ~x1473 ~x2866 ~x11196 ~x4718 ~x6236 ~x9606 ~x7987 ~x1475 ~x2868 
38.19/38.31	v ~x11198 ~x4720 ~x6238 ~x9608 ~x7989 ~x1477 ~x2870 ~x11200 ~x4722 ~x6240 
38.19/38.31	v ~x9610 ~x7991 ~x1479 ~x2872 ~x11203 ~x4724 ~x6242 ~x9612 ~x7993 ~x1481 
38.19/38.31	v ~x2874 ~x11205 ~x4726 ~x6244 ~x9614 ~x7995 ~x1483 ~x2876 ~x11207 ~x4728 
38.19/38.31	v ~x6246 ~x9616 ~x7997 ~x1485 ~x2878 ~x11209 ~x4730 ~x6248 ~x9618 ~x7999 
38.19/38.31	v ~x1487 ~x2880 ~x11211 ~x95 ~x6250 ~x9620 ~x8001 ~x1489 ~x2882 ~x11213 
38.19/38.31	v ~x4732 ~x6252 ~x9622 ~x8003 ~x1491 ~x2884 ~x259 ~x4734 ~x6254 ~x9624 
38.19/38.31	v ~x157 ~x1493 ~x2886 ~x11215 ~x4736 ~x6256 ~x9626 ~x8005 ~x1495 ~x2888 
38.19/38.31	v ~x11217 ~x4738 ~x6258 ~x9628 ~x8007 ~x1497 ~x2890 ~x11219 ~x4740 ~x6260 
38.19/38.31	v ~x9630 ~x8009 ~x1499 ~x2892 ~x11221 ~x4742 ~x6262 ~x9632 ~x8012 ~x1501 
38.19/38.31	v ~x2894 ~x11223 ~x4744 ~x6264 ~x9634 ~x8014 ~x1503 ~x2896 ~x11225 ~x4746 
38.19/38.31	v ~x6266 ~x9636 ~x8016 ~x1505 ~x2897 ~x260 ~x4748 ~x6268 ~x9638 ~x8018 
38.19/38.31	v ~x1507 ~x2899 ~x11227 ~x4750 ~x6270 ~x9640 ~x8020 ~x1509 ~x2901 ~x11229 
38.19/38.31	v ~x4752 ~x6272 ~x9642 ~x8022 ~x1511 ~x2903 ~x11231 ~x4754 ~x6274 ~x9644 
38.19/38.31	v ~x8024 ~x1513 ~x2905 ~x11233 ~x4756 ~x6276 ~x9646 ~x8026 ~x1515 ~x2907 
38.19/38.31	v ~x11235 ~x4758 ~x6278 ~x9648 ~x8028 ~x1517 ~x2909 ~x11237 ~x4760 ~x6280 
38.19/38.31	v ~x9650 ~x8030 ~x1519 ~x2911 ~x11239 ~x96 ~x6282 ~x9652 ~x8032 ~x1521 
38.19/38.31	v ~x2913 ~x261 ~x4762 ~x6284 ~x9654 ~x8034 ~x1523 ~x2915 ~x11241 ~x4764 
38.19/38.31	v ~x6286 ~x9656 ~x8036 ~x1525 ~x2917 ~x11243 ~x4766 ~x6288 ~x9658 ~x8038 
38.19/38.31	v ~x1527 ~x2919 ~x11245 ~x4768 ~x6290 ~x9660 ~x8040 ~x17 ~x2921 ~x262 
38.19/38.31	v ~x4770 ~x6292 ~x9662 ~x8042 ~x1529 ~x2923 ~x11247 ~x4772 ~x6294 ~x9664 
38.19/38.31	v ~x8044 ~x1531 ~x2925 ~x11249 ~x4774 ~x6296 ~x9666 ~x8046 ~x1533 ~x2927 
38.19/38.31	v ~x11251 ~x4776 ~x6298 ~x9668 ~x8048 ~x1535 ~x2929 ~x11253 ~x4778 ~x6300 
38.19/38.31	v ~x9670 ~x8050 ~x1537 ~x2931 ~x11255 ~x4780 ~x6302 ~x9672 ~x8052 ~x1539 
38.19/38.31	v ~x2933 ~x11257 ~x4782 ~x6304 ~x9674 ~x8054 ~x1541 ~x2935 ~x11259 ~x4784 
38.19/38.31	v ~x6306 ~x9676 ~x8056 ~x1543 ~x2937 ~x11261 ~x4786 ~x6308 ~x9678 ~x8058 
38.19/38.31	v ~x1545 ~x2939 ~x11263 ~x4788 ~x6310 ~x9680 ~x8060 ~x1547 ~x2941 ~x11265 
38.19/38.31	v ~x4790 ~x6312 ~x9682 ~x8062 ~x1549 ~x2943 ~x11267 ~x4792 ~x6314 ~x9684 
38.19/38.31	v ~x8064 ~x1551 ~x2945 ~x11269 ~x4794 ~x6316 ~x9686 ~x158 ~x1553 ~x2947 
38.19/38.31	v ~x11271 ~x4796 ~x6318 ~x9688 ~x8066 ~x1555 ~x2949 ~x11274 ~x4799 ~x6320 
38.19/38.31	v ~x9690 ~x8068 ~x1557 ~x2951 x11276 ~x4801 ~x6322 ~x9692 ~x8070 ~x1559 
38.19/38.31	v ~x2953 ~x11278 ~x4803 ~x6324 ~x9694 ~x8072 ~x1561 ~x2955 ~x11280 ~x4805 
38.19/38.31	v ~x6326 ~x9696 ~x8074 ~x1563 ~x2957 ~x11282 ~x4807 ~x6328 ~x9698 ~x8076 
38.19/38.31	v ~x1565 ~x2959 ~x11284 ~x4809 ~x6330 ~x9700 ~x8078 ~x1567 ~x2961 ~x11286 
38.19/38.31	v ~x4811 ~x6332 ~x9702 ~x8080 ~x1569 ~x2963 ~x11288 ~x4813 ~x6334 ~x9704 
38.19/38.31	v ~x8082 ~x1571 ~x2965 ~x263 ~x4815 ~x6336 ~x9706 ~x8084 ~x1573 ~x2967 
38.19/38.31	v ~x11290 ~x4817 ~x6338 ~x9708 ~x8086 ~x1575 ~x2969 ~x11292 ~x4819 ~x6340 
38.19/38.31	v ~x9710 ~x8088 ~x1577 ~x2971 ~x11294 ~x4821 ~x6342 ~x9712 ~x8090 ~x1579 
38.19/38.31	v ~x2973 ~x11296 ~x4823 ~x6344 ~x9714 ~x8092 ~x1581 ~x2975 ~x11298 ~x4825 
38.19/38.31	v ~x6346 ~x9715 ~x8094 ~x1583 ~x2977 ~x11300 ~x4827 ~x6348 ~x9717 ~x159 
38.19/38.31	v ~x1585 ~x2979 ~x11302 ~x4829 ~x6350 ~x9719 ~x8096 ~x1587 ~x2981 ~x264 
38.19/38.31	v ~x4831 ~x6352 ~x9721 ~x8098 ~x1589 ~x2983 ~x11304 ~x4833 ~x6354 ~x9723 
38.19/38.31	v ~x8100 ~x18 ~x2985 ~x11306 ~x4835 ~x6356 ~x9725 ~x8102 ~x1591 ~x2987 
38.19/38.31	v ~x265 ~x4837 ~x6358 ~x9727 ~x8104 ~x1593 ~x2989 ~x11308 ~x4839 ~x6360 
38.19/38.31	v ~x9729 ~x8107 ~x1595 ~x2991 ~x11310 ~x4841 ~x6362 ~x9731 ~x8109 ~x1597 
38.19/38.31	v ~x2993 ~x11312 ~x4843 ~x6364 ~x9733 ~x8111 ~x1599 ~x2995 ~x11314 ~x4845 
38.19/38.31	v ~x6366 ~x9735 ~x8113 ~x1601 ~x2997 ~x11316 ~x4847 ~x6368 ~x9737 ~x8115 
38.19/38.31	v ~x1603 ~x2999 ~x11318 ~x4849 ~x6370 ~x9739 ~x8117 ~x1605 ~x3001 ~x11320 
38.19/38.31	v ~x4851 ~x6372 ~x9741 ~x8119 ~x1607 ~x3003 ~x266 ~x4853 ~x6374 ~x9743 
38.19/38.31	v ~x8121 ~x1609 ~x3005 ~x11322 ~x4855 ~x6376 ~x9745 ~x8123 ~x1611 ~x3007 
38.19/38.31	v ~x11324 ~x4857 ~x6378 ~x9747 ~x8125 ~x1613 ~x3009 ~x11326 ~x4859 ~x6380 
38.19/38.31	v ~x9749 ~x8127 ~x1615 ~x3011 ~x267 ~x4861 ~x6382 ~x9751 ~x8129 ~x1617 
38.19/38.31	v ~x3013 ~x11328 ~x4863 ~x6384 ~x9753 ~x8131 ~x1619 ~x3015 ~x11330 ~x4865 
38.19/38.31	v ~x6386 ~x9755 ~x8133 ~x19 ~x3017 ~x268 ~x4868 ~x6388 ~x9757 ~x8135 
38.19/38.31	v ~x1621 ~x3019 ~x11333 ~x4870 ~x6390 ~x9759 ~x8137 ~x1623 ~x3021 ~x269 
38.19/38.31	v ~x4872 ~x6392 ~x9761 ~x8139 ~x1625 ~x3023 ~x11335 ~x4874 ~x6394 ~x9762 
38.19/38.31	v ~x8141 ~x1627 ~x3025 ~x11337 ~x4876 ~x6396 ~x9764 ~x8143 ~x1629 ~x3027 
38.19/38.31	v ~x11339 x4878 ~x6398 ~x9766 ~x8145 ~x1631 ~x3029 ~x11341 ~x4880 ~x6400 
38.19/38.31	v ~x9768 ~x8147 ~x1633 ~x3031 ~x11343 ~x4882 ~x6402 ~x9770 ~x8149 ~x1635 
38.19/38.31	v ~x3033 ~x11345 ~x97 ~x6404 ~x9772 ~x8151 ~x1637 ~x3035 ~x11347 ~x4884 
38.19/38.31	v ~x6406 ~x9774 ~x8153 ~x1639 ~x3037 ~x11349 ~x4886 ~x6408 ~x9776 ~x8155 
38.19/38.31	v ~x1641 ~x3039 ~x11351 ~x4888 ~x6410 ~x9778 ~x160 ~x1643 ~x3041 ~x11354 
38.19/38.31	v ~x4890 ~x6412 ~x9780 ~x8157 ~x1645 ~x3043 ~x11356 ~x4892 ~x6414 ~x9782 
38.19/38.31	v ~x8160 ~x1647 ~x3045 ~x11358 ~x4894 ~x6416 ~x9784 ~x8162 ~x1649 ~x3047 
38.19/38.31	v ~x11360 ~x4896 ~x6418 ~x9786 ~x8164 ~x1651 ~x3049 ~x11362 ~x4898 ~x6420 
38.19/38.31	v ~x9788 ~x8166 ~x1653 ~x3051 ~x11364 ~x4900 ~x6422 ~x9790 ~x8168 ~x1655 
38.19/38.31	v ~x3053 ~x11366 ~x4902 ~x6424 ~x9792 ~x8170 ~x1657 ~x3055 ~x11368 ~x4904 
38.19/38.31	v ~x6426 ~x9794 ~x8172 ~x1659 ~x3057 ~x11370 ~x4906 ~x6428 ~x9795 ~x8174 
38.19/38.31	v ~x1661 ~x3059 ~x11372 ~x4908 ~x6430 ~x9797 ~x8176 ~x1663 ~x3061 ~x11374 
38.19/38.31	v ~x4910 ~x6432 ~x9799 ~x8178 ~x1665 x3063 ~x11376 ~x4912 ~x6434 ~x9801 
38.19/38.31	v ~x8180 ~x1667 ~x3065 ~x11378 ~x4914 ~x6436 ~x9803 ~x8182 ~x1669 ~x3067 
38.19/38.31	v ~x11380 ~x4916 ~x6438 ~x9805 ~x8184 ~x1671 ~x3069 ~x11382 ~x4918 ~x6440 
38.19/38.31	v ~x9807 ~x161 ~x1673 ~x3071 ~x11384 ~x4920 ~x6442 ~x9809 ~x8186 ~x1675 
38.19/38.31	v ~x3073 ~x11387 ~x4922 ~x6444 ~x9811 ~x8188 ~x1677 ~x3075 ~x11389 ~x4924 
38.19/38.31	v ~x6446 ~x9813 ~x8190 ~x1679 ~x3077 ~x11391 ~x4926 ~x6448 ~x9815 ~x8192 
38.19/38.31	v ~x1681 ~x3079 ~x11393 ~x4928 ~x6450 ~x9817 ~x8194 ~x20 ~x3081 ~x11395 
38.19/38.31	v ~x4930 ~x6452 ~x9819 ~x8196 ~x1683 ~x3083 ~x11397 ~x4932 ~x6454 ~x9821 
38.19/38.31	v ~x8198 ~x1685 ~x3085 ~x11399 ~x4934 ~x6456 ~x9823 ~x8200 ~x1687 ~x3087 
38.19/38.31	v ~x11401 ~x4936 ~x6458 ~x9825 ~x8202 ~x1689 ~x3089 ~x11403 ~x4938 ~x6460 
38.19/38.31	v ~x9827 ~x8204 ~x1691 ~x3091 ~x11405 ~x4940 ~x6462 ~x9829 ~x8206 ~x1693 
38.19/38.31	v ~x3093 ~x11407 ~x4942 ~x6464 ~x9831 ~x8208 ~x1695 ~x3095 ~x11409 ~x4944 
38.19/38.31	v ~x6466 ~x9833 ~x8210 ~x1697 ~x3097 x11411 ~x98 ~x6468 ~x9835 ~x8212 
38.19/38.31	v ~x1699 ~x3099 ~x11413 ~x4946 ~x6470 ~x9837 ~x8214 ~x1701 ~x3101 ~x11415 
38.19/38.31	v ~x4948 ~x6472 ~x9839 ~x162 ~x1703 ~x3103 ~x11417 ~x4950 ~x6474 ~x9841 
38.19/38.31	v ~x8216 ~x1705 ~x3105 ~x11419 ~x4952 ~x6476 ~x9843 ~x8218 ~x1707 ~x3107 
38.19/38.31	v ~x11421 ~x4954 ~x6478 ~x9845 ~x8220 ~x1709 ~x3109 ~x11423 ~x4956 ~x6480 
38.19/38.31	v ~x9847 ~x8222 ~x1711 ~x3111 ~x11425 ~x4958 ~x6482 ~x9848 ~x8224 ~x21 
38.19/38.31	v ~x3113 ~x11427 ~x4960 ~x6484 ~x9850 ~x8226 ~x1713 ~x3115 ~x11429 ~x4962 
38.19/38.31	v ~x6486 ~x9852 ~x8228 ~x1715 ~x3117 ~x11431 ~x4964 ~x6488 ~x9854 ~x163 
38.19/38.31	v ~x1717 ~x3119 ~x11433 ~x4966 ~x6490 ~x9856 ~x8230 ~x1719 ~x3121 ~x11435 
38.19/38.31	v ~x4968 ~x6492 ~x9858 ~x8232 ~x1721 ~x3123 ~x11437 ~x4970 ~x6494 ~x9860 
38.19/38.31	v ~x8234 ~x1723 ~x3125 x11439 ~x4972 ~x6496 ~x9862 ~x8236 ~x1725 ~x3127 
38.19/38.31	v ~x11441 ~x4974 ~x6498 ~x9864 ~x8238 ~x1728 ~x3129 ~x11443 ~x99 ~x6500 
38.19/38.31	v ~x9866 ~x8240 ~x1730 ~x3131 ~x11446 ~x4976 ~x6502 ~x9868 ~x8242 ~x1732 
38.19/38.31	v ~x3133 ~x270 ~x4978 ~x6504 ~x9870 ~x8244 ~x1734 ~x3135 ~x11448 ~x4980 
38.19/38.31	v ~x6506 ~x9872 ~x8246 ~x1736 ~x3137 ~x11450 ~x4982 ~x6508 ~x9874 ~x8248 
38.19/38.31	v ~x1738 ~x3139 ~x11452 ~x4984 ~x6510 ~x9876 ~x8250 ~x1740 ~x3141 ~x11454 
38.19/38.31	v ~x4986 ~x6512 ~x9878 ~x8252 ~x22 ~x3143 ~x11456 ~x4988 ~x6514 ~x9880 
38.19/38.31	v ~x8254 ~x1742 ~x3145 ~x11458 ~x4990 ~x6516 ~x9882 ~x8256 ~x1744 ~x3147 
38.19/38.31	v ~x11460 ~x4992 ~x6518 ~x9884 ~x8258 ~x1746 ~x3149 ~x271 ~x4994 ~x6520 
38.19/38.31	v ~x9886 ~x8260 ~x1748 ~x3151 ~x11462 ~x4996 ~x6522 ~x9888 ~x8262 ~x1750 
38.19/38.31	v ~x3153 ~x11464 ~x4998 ~x6524 ~x9890 ~x8264 ~x1752 ~x3155 ~x11466 ~x5000 
38.19/38.31	v ~x6526 ~x9892 ~x8266 ~x1754 ~x3157 ~x11468 ~x5002 ~x6528 ~x9894 ~x8268 
38.19/38.31	v ~x23 ~x3159 ~x11470 ~x5004 ~x6530 ~x9896 ~x8270 ~x1756 ~x3161 ~x11472 
38.19/38.31	v ~x100 ~x6532 ~x9898 ~x8272 ~x1758 ~x3163 ~x11474 ~x5006 ~x6534 ~x9900 
38.19/38.31	v ~x8274 ~x1760 ~x3165 ~x11476 ~x5008 ~x6536 ~x9902 ~x8276 ~x1762 ~x3167 
38.19/38.31	v ~x11478 ~x5010 ~x6538 ~x9904 ~x8278 ~x1764 ~x3169 ~x11480 ~x5013 ~x6540 
38.19/38.31	v ~x9906 ~x8280 ~x1766 ~x3171 ~x11482 ~x5015 ~x6542 ~x9908 ~x8282 ~x1768 
38.19/38.31	v ~x3173 ~x11484 ~x5017 ~x6544 ~x9910 ~x8284 ~x1770 ~x3175 ~x11486 ~x5019 
38.19/38.31	v ~x6546 ~x9912 ~x8286 ~x1772 ~x3177 ~x11488 ~x5021 ~x6548 ~x9914 ~x8288 
38.19/38.31	v ~x1774 ~x3179 ~x11490 ~x5023 ~x6550 ~x9916 ~x8290 ~x1776 ~x3181 ~x272 
38.19/38.31	v ~x5025 ~x6552 ~x9918 ~x164 ~x1778 ~x3183 ~x11492 ~x5027 ~x6554 ~x9920 
38.19/38.31	v ~x8292 ~x1780 ~x3185 ~x11494 ~x5029 ~x6556 ~x9922 ~x8294 ~x1782 ~x3187 
38.19/38.31	v ~x11496 ~x5031 ~x6558 ~x9924 ~x8296 ~x1784 ~x3189 ~x11498 ~x5033 ~x6560 
38.19/38.31	v ~x9926 ~x8298 ~x1786 ~x3191 ~x11500 ~x101 ~x6562 ~x9928 ~x8300 ~x1788 
38.19/38.31	v ~x3193 ~x11502 ~x5035 ~x6564 ~x9930 ~x8302 ~x1790 ~x3195 ~x11504 ~x5037 
38.19/38.31	v ~x6566 ~x9932 ~x8304 ~x1792 ~x3197 ~x273 ~x5039 ~x6568 ~x9934 ~x8306 
38.19/38.31	v ~x1794 ~x3199 ~x11506 ~x5041 ~x6570 ~x9936 ~x8308 ~x1796 ~x3201 ~x11508 
38.19/38.31	v ~x5043 ~x6572 ~x9938 ~x8310 ~x1798 ~x3203 ~x11510 ~x5045 ~x6574 ~x9940 
38.19/38.31	v ~x8312 ~x1800 ~x3205 ~x11512 ~x5047 ~x6576 ~x9942 ~x8314 ~x1802 ~x3207 
38.19/38.31	v ~x11514 ~x5049 ~x6578 ~x9944 ~x8316 ~x1804 ~x3209 ~x11516 ~x5051 ~x6580 
38.19/38.31	v ~x9946 ~x8318 ~x1806 ~x3211 ~x11518 ~x5053 ~x6582 ~x9948 ~x8320 ~x1808 
38.19/38.31	v ~x3213 ~x274 ~x5055 ~x6584 ~x9950 ~x165 ~x1810 ~x3215 ~x11520 ~x5057 
38.19/38.31	v ~x6586 ~x9952 ~x8322 ~x1812 ~x3217 ~x11522 ~x5059 ~x6588 ~x9954 ~x8324 
38.19/38.31	v ~x1814 ~x3219 ~x11524 ~x5061 ~x6590 ~x9956 ~x8326 ~x1816 ~x3221 ~x275 
38.19/38.31	v ~x5063 ~x6592 ~x9958 ~x8328 ~x1818 ~x3223 ~x11526 ~x102 ~x6594 ~x9960 
38.19/38.31	v ~x8331 ~x1820 ~x3225 ~x11528 ~x5065 ~x6596 ~x9962 ~x8333 ~x1822 ~x3227 
38.19/38.31	v ~x11530 ~x5067 ~x6598 ~x9964 ~x8335 ~x1824 ~x3229 ~x11532 ~x5069 ~x6600 
38.19/38.31	v ~x9966 ~x8337 ~x1826 ~x3231 ~x11534 ~x5071 ~x6602 ~x9968 ~x8339 ~x1828 
38.19/38.31	v ~x3233 ~x11536 ~x5073 ~x6604 ~x9969 ~x8341 ~x1830 ~x3235 ~x11538 ~x5075 
38.19/38.31	v ~x6606 ~x9971 ~x8343 ~x1832 ~x3237 ~x11540 ~x5077 ~x6608 ~x9973 ~x8345 
38.19/38.31	v ~x1834 ~x3239 ~x11542 ~x103 ~x6610 ~x9975 ~x8347 ~x1836 ~x3241 ~x11544 
38.19/38.31	v ~x5079 ~x6612 ~x9977 ~x8349 ~x1838 ~x3243 ~x11546 ~x5081 ~x6614 ~x9979 
38.19/38.31	v ~x166 ~x1840 ~x3245 ~x11549 ~x5083 ~x6616 ~x9981 ~x8351 ~x1842 ~x3247 
38.19/38.31	v ~x11551 ~x5085 ~x6618 ~x9983 ~x8353 ~x1844 ~x3249 ~x11553 ~x5087 ~x6620 
38.19/38.31	v ~x9985 ~x8355 ~x1846 ~x3251 ~x276 ~x5089 ~x6622 ~x9987 ~x8357 ~x1848 
38.19/38.31	v ~x3253 ~x11555 ~x5091 ~x6624 ~x9989 ~x8359 ~x1850 ~x3255 ~x11557 ~x5093 
38.19/38.31	v ~x6626 ~x9991 ~x8361 ~x1852 ~x3257 ~x11559 ~x5095 ~x6628 ~x9993 ~x8363 
38.19/38.31	v ~x1854 ~x3259 ~x11561 ~x5097 ~x6630 ~x9995 ~x167 ~x1856 ~x3261 ~x11563 
38.19/38.31	v ~x5099 ~x6632 ~x9997 ~x8365 ~x1858 ~x3263 ~x11565 ~x5101 ~x6634 ~x9999 
38.19/38.31	v ~x8367 ~x1860 ~x3265 ~x11567 ~x5103 ~x6636 ~x10001 ~x8369 ~x1862 ~x3267 
38.19/38.31	v ~x11569 ~x5105 ~x6638 ~x10003 ~x8371 ~x1864 ~x3269 ~x11571 ~x5107 ~x6640 
38.19/38.31	v ~x10005 ~x8373 ~x1866 ~x3271 x11573 ~x5109 ~x6642 ~x10007 ~x8375 ~x1868 
38.19/38.31	v ~x3273 ~x11575 ~x5111 ~x6644 ~x10009 ~x8377 ~x1870 ~x3275 ~x11577 ~x5113 
38.19/38.31	v ~x6646 ~x10011 ~x8379 ~x1872 ~x3277 ~x11579 ~x5115 ~x6648 ~x10013 ~x8381 
38.19/38.31	v ~x1874 ~x3279 ~x11581 ~x5117 ~x6650 ~x10015 ~x8383 ~x1876 ~x3281 ~x277 
38.19/38.31	v ~x5119 ~x6652 ~x10017 ~x8385 ~x1878 ~x3283 ~x11583 ~x5121 ~x6654 ~x10019 
38.19/38.31	v ~x8387 ~x1880 ~x3285 ~x11585 ~x5123 ~x6656 ~x10021 ~x8389 ~x24 ~x3287 
38.19/38.31	v ~x11587 ~x5125 ~x6658 ~x10023 ~x8391 ~x1882 ~x3289 ~x278 ~x5127 ~x6660 
38.19/38.31	v ~x10025 ~x8393 ~x1884 ~x3291 ~x11589 ~x5129 ~x6662 ~x10027 ~x168 ~x1886 
38.19/38.31	v ~x3293 ~x11591 ~x5131 ~x6664 ~x10029 ~x8395 ~x1888 ~x3295 ~x11593 ~x5133 
38.19/38.31	v ~x6666 ~x10030 ~x8397 ~x1890 ~x3297 ~x11595 ~x5135 ~x6668 ~x10032 ~x8399 
38.19/38.31	v ~x1892 ~x3299 ~x11597 ~x5137 ~x6670 ~x10034 ~x8401 ~x1894 ~x3301 ~x11599 
38.19/38.31	v ~x5139 ~x6672 ~x10036 ~x8403 ~x1896 ~x3303 ~x11601 ~x104 ~x6674 ~x10038 
38.19/38.31	v ~x8405 ~x1898 ~x3305 ~x279 ~x5141 ~x6676 ~x10040 ~x8407 ~x1900 ~x3307 
38.19/38.31	v ~x11603 ~x5143 ~x6678 ~x10042 ~x169 ~x1902 ~x3309 ~x11605 ~x5145 ~x6680 
38.19/38.31	v ~x10044 ~x8409 ~x1904 ~x3311 ~x11607 ~x5147 ~x6682 ~x10046 ~x8411 ~x1906 
38.19/38.31	v ~x3313 ~x280 ~x5149 ~x6684 ~x10048 ~x8413 ~x1908 ~x3315 ~x11609 ~x5151 
38.19/38.31	v ~x6686 ~x10050 ~x8415 ~x1910 ~x3317 ~x11611 ~x5153 ~x6688 ~x10052 ~x8417 
38.19/38.31	v ~x1912 ~x3319 ~x281 ~x5155 ~x6690 ~x10054 ~x8419 ~x1914 ~x3321 ~x11614 
38.19/38.31	v ~x5157 ~x6692 ~x10056 ~x8421 ~x1916 ~x3323 ~x282 ~x5159 ~x6694 ~x10058 
38.19/38.31	v ~x170 ~x1918 ~x3325 ~x11616 ~x5161 ~x6696 ~x10060 ~x8423 ~x1920 ~x3327 
38.19/38.31	v ~x11618 ~x5163 ~x6698 ~x10062 ~x8425 ~x1922 ~x3329 ~x11620 ~x5165 ~x6700 
38.19/38.31	v ~x10064 ~x8427 ~x1924 ~x3331 ~x11622 ~x5167 ~x6702 ~x10066 ~x171 ~x1926 
38.19/38.31	v ~x3333 ~x11624 ~x5169 ~x6704 ~x10068 ~x8429 ~x1928 ~x3335 ~x11626 ~x5171 
38.19/38.31	v ~x6706 ~x10070 ~x8431 ~x1930 ~x3337 ~x11628 ~x5173 ~x6708 ~x10072 ~x8433 
38.19/38.31	v ~x1932 ~x3339 ~x11630 ~x5175 ~x6710 ~x10073 ~x8435 ~x1934 ~x3341 ~x11632 
38.19/38.31	v ~x5177 ~x6712 ~x10075 ~x8437 ~x1936 ~x3343 ~x11634 ~x5179 ~x6714 ~x10077 
38.19/38.31	v ~x8439 ~x1938 ~x3345 ~x11636 ~x5181 ~x6716 ~x10079 ~x8441 ~x1940 ~x3347 
38.19/38.31	v ~x11638 ~x5183 ~x6718 ~x10081 ~x8443 ~x1942 ~x3349 ~x11640 ~x5185 ~x6720 
38.19/38.31	v ~x10083 ~x8445 ~x25 ~x3351 ~x283 ~x5187 ~x6722 ~x10085 ~x8447 ~x1944 
38.19/38.31	v ~x3353 ~x11642 ~x5189 ~x6724 ~x10087 ~x8449 ~x1946 ~x3355 ~x11644 ~x5191 
38.19/38.31	v ~x6726 ~x10089 ~x8451 ~x1948 ~x3357 ~x11646 ~x5193 ~x6728 ~x10091 ~x8453 
38.19/38.31	v ~x1950 ~x3359 ~x11648 ~x5195 ~x6730 ~x10093 ~x8455 ~x1952 ~x3361 ~x11650 
38.19/38.31	v ~x5197 ~x6732 ~x10095 ~x8457 ~x1954 ~x3363 ~x11652 ~x5199 ~x6734 ~x10097 
38.19/38.31	v ~x8459 ~x1956 ~x3365 ~x11654 ~x5201 ~x6736 ~x10099 ~x8461 ~x1958 ~x3367 
38.19/38.31	v ~x284 ~x105 ~x6738 ~x10101 ~x8463 ~x1960 ~x3369 ~x11656 ~x5203 ~x6740 
38.19/38.31	v x10103 ~x8465 ~x1962 ~x3371 ~x11658 ~x5205 ~x6742 ~x10105 ~x8467 ~x1964 
38.19/38.31	v ~x3373 ~x11660 ~x5207 ~x6744 ~x10107 ~x8469 ~x1966 ~x3375 ~x11662 ~x5209 
38.19/38.31	v ~x6746 ~x10109 ~x8471 ~x1968 ~x3377 ~x11664 ~x5211 ~x6748 ~x10111 ~x8473 
38.19/38.31	v ~x1970 ~x3379 ~x11666 ~x5213 ~x6750 ~x10113 ~x8475 ~x1972 ~x3381 ~x11668 
38.19/38.31	v ~x5215 ~x6752 ~x10115 ~x8477 ~x1974 ~x3383 ~x285 ~x5217 ~x6754 ~x10117 
38.19/38.31	v ~x8479 ~x1976 ~x3385 ~x11670 ~x5219 ~x6756 ~x10119 ~x8481 ~x1978 ~x3387 
38.19/38.31	v ~x11672 ~x5221 ~x6758 ~x10121 ~x8483 ~x1980 ~x3389 ~x11674 ~x5223 ~x6760 
38.19/38.31	v ~x10123 ~x8485 ~x1982 ~x3391 ~x286 ~x5225 ~x6762 ~x10125 ~x8487 ~x1984 
38.19/38.31	v ~x3393 ~x11676 ~x5227 ~x6764 ~x10127 ~x8489 ~x1986 ~x3395 ~x11678 ~x5229 
38.19/38.31	v ~x6766 ~x10129 ~x172 ~x1988 ~x3397 ~x11680 ~x5231 ~x6768 ~x10131 ~x8491 
38.19/38.31	v ~x1990 ~x3399 ~x11682 ~x5233 ~x6770 ~x10133 ~x8493 ~x1992 ~x3401 ~x11684 
38.19/38.31	v ~x5235 ~x6772 ~x10135 ~x8495 ~x1994 ~x3403 ~x11686 ~x5237 ~x6774 ~x10137 
38.19/38.31	v ~x8497 ~x1996 ~x3405 ~x11688 ~x5239 ~x6776 ~x10139 ~x8499 ~x1998 ~x3407 
38.19/38.31	v ~x287 ~x5241 ~x6778 ~x10141 ~x8501 ~x2000 ~x3409 ~x11690 ~x5243 ~x6780 
38.19/38.31	v ~x10143 ~x8503 ~x2002 ~x3411 ~x11692 ~x5245 ~x6782 ~x10145 ~x8505 ~x26 
38.19/38.32	v ~x3413 ~x288 ~x5247 ~x6784 ~x10147 ~x8507 ~x2004 ~x3415 ~x11694 ~x5249 
38.19/38.32	v ~x6786 ~x10149 ~x8509 ~x2006 ~x3417 ~x11696 ~x5251 ~x6788 ~x10151 ~x8511 
38.19/38.32	v ~x2008 ~x3419 ~x289 ~x5253 ~x6790 ~x10153 ~x8513 ~x2010 ~x3421 ~x11699 
38.19/38.32	v ~x5255 ~x6792 ~x10155 ~x8515 ~x2012 ~x3423 ~x290 ~x5257 ~x6794 ~x10157 
38.19/38.32	v ~x8517 ~x2014 ~x3425 ~x11701 ~x5259 ~x6796 ~x10159 ~x8519 ~x2016 ~x3427 
38.19/38.32	v ~x11703 ~x5261 ~x6798 ~x10161 ~x173 ~x2018 ~x3429 ~x11705 ~x5263 ~x6800 
38.19/38.32	v ~x10163 ~x8521 ~x2020 ~x3431 ~x11707 ~x5265 ~x6802 ~x10165 ~x8523 ~x2023 
38.19/38.32	v ~x3433 ~x11709 ~x5267 ~x6804 ~x10167 ~x8525 ~x2025 ~x3435 ~x11711 ~x5269 
38.19/38.32	v ~x6806 ~x10169 ~x8527 ~x2027 ~x3437 ~x291 ~x5271 ~x6808 ~x10171 ~x8529 
38.19/38.32	v ~x2029 ~x3439 ~x11713 ~x5273 ~x6810 ~x10173 ~x8531 ~x2031 ~x3441 ~x11715 
38.19/38.32	v ~x5275 ~x6812 ~x10175 ~x8533 ~x27 ~x3443 x11717 ~x5277 ~x6814 ~x10177 
38.19/38.32	v ~x8535 ~x2033 ~x3445 x292 ~x5279 ~x6816 ~x10179 ~x8537 ~x2035 ~x3447 
38.19/38.32	v ~x11719 ~x5281 ~x6818 ~x10181 ~x8539 ~x2037 ~x3449 ~x11721 ~x5283 ~x6820 
38.19/38.32	v ~x10183 ~x8541 ~x2039 ~x3451 x293 ~x5285 ~x6822 ~x10185 ~x8543 ~x2041 
38.19/38.32	v ~x3453 ~x11724 ~x5287 ~x6824 ~x10187 ~x8545 ~x2043 ~x3455 x294 ~x5289 
38.19/38.32	v ~x6826 ~x10189 ~x8547 ~x2045 ~x3457 x11726 ~x5291 ~x6828 ~x10191 ~x8549 
38.19/38.32	v ~x2047 ~x3459 x295 ~x5293 ~x6830 ~x10193 ~x174 ~x2049 ~x3461 x296 
38.19/38.32	v ~x5295 ~x6832 ~x10195 ~x8551 ~x2051 ~x3463 ~x5297 ~x6834 ~x10197 ~x8553 
38.19/38.32	v ~x2053 ~x3465 ~x5299 ~x6836 ~x10199 ~x8555 ~x2055 ~x3467 ~x5301 ~x6838 
38.19/38.32	v ~x10201 ~x8557 ~x2057 ~x3469 ~x5303 ~x6840 ~x10203 ~x8559 ~x2059 ~x3471 
38.19/38.32	v ~x5305 ~x6842 ~x10205 ~x8561 ~x2061 ~x3473 ~x5307 ~x6844 ~x10207 ~x8563 
38.19/38.32	v ~x2063 ~x3475 ~x5309 ~x6846 ~x10208 ~x175 ~x2065 ~x3477 ~x5311 ~x6848 
38.19/38.32	v ~x10210 ~x8565 ~x2067 ~x3479 ~x5313 ~x6850 ~x10212 ~x8567 ~x2069 ~x3481 
38.19/38.32	v ~x5315 ~x6852 ~x10214 ~x8569 ~x2071 ~x3483 ~x5317 ~x6854 ~x10216 ~x8571 
38.19/38.32	v ~x2073 ~x3485 ~x5319 ~x6856 ~x10218 ~x8573 ~x2075 ~x3487 ~x5321 ~x6858 
38.19/38.32	v ~x10220 ~x8575 ~x2077 ~x3489 ~x5323 ~x6860 ~x10222 ~x8577 ~x2079 ~x3491 
38.19/38.32	v x5325 ~x6862 ~x10224 ~x8579 ~x2081 ~x3493 ~x5327 ~x6864 ~x10226 ~x8581 
38.19/38.32	v ~x2083 ~x3495 ~x5329 ~x6866 ~x10228 ~x8583 ~x2085 ~x3497 ~x5331 ~x6868 
38.19/38.32	v ~x10230 ~x8585 ~x2087 ~x3499 ~x5333 ~x6870 ~x10232 ~x8587 ~x2089 ~x3501 
38.19/38.32	v ~x5335 ~x6872 ~x10234 ~x8589 ~x2091 ~x3503 ~x5337 ~x6874 ~x10236 ~x8591 
38.19/38.32	v ~x2093 ~x3505 ~x5339 ~x6876 ~x10238 ~x8593 ~x28 ~x3507 ~x5341 ~x6878 
38.19/38.32	v ~x10240 ~x176 ~x2095 ~x3509 ~x5343 ~x6880 ~x10242 ~x8595 ~x2097 ~x3511 
38.19/38.32	v ~x5345 ~x6882 ~x10244 ~x8597 ~x2099 ~x3513 ~x5347 ~x6884 ~x10246 ~x8599 
38.19/38.32	v ~x2101 ~x3515 ~x5349 ~x6886 ~x10248 ~x8601 ~x2103 ~x3517 ~x5351 ~x6888 
38.19/38.32	v ~x10250 ~x8603 ~x2105 ~x3519 ~x5353 ~x6890 ~x10252 ~x8605 ~x2107 ~x3521 
38.19/38.32	v ~x5355 ~x6892 ~x10254 ~x8607 ~x2109 ~x3523 ~x5357 ~x6894 ~x10255 ~x177 
38.19/38.32	v ~x2111 ~x3525 ~x106 ~x6896 ~x10257 ~x8609 ~x2113 ~x3527 ~x5359 ~x6898 
38.19/38.32	v ~x10259 ~x8611 ~x2115 ~x3529 ~x5361 ~x6900 ~x10261 ~x8613 ~x2117 ~x3531 
38.19/38.32	v ~x5363 ~x6902 ~x10263 ~x8615 ~x2119 ~x3533 ~x5365 ~x6904 ~x10265 ~x8617 
38.19/38.32	v ~x2121 ~x3535 ~x5367 ~x6906 ~x10267 ~x8619 ~x2123 ~x3537 ~x5369 ~x6908 
38.19/38.32	v x10269 ~x8621 ~x29 ~x3539 ~x5371 ~x6910 ~x10271 ~x178 ~x2125 ~x3541 
38.19/38.32	v ~x5373 ~x6912 ~x10273 ~x8623 ~x2127 ~x3543 ~x5375 ~x6914 ~x10275 ~x8625 
38.19/38.32	v ~x2129 ~x3545 ~x5377 ~x6916 ~x10277 ~x179 ~x2131 ~x3547 ~x5379 ~x6918 
38.19/38.32	v ~x10279 ~x8627 ~x2133 ~x3549 ~x5381 ~x6920 ~x10281 ~x8629 ~x2135 ~x3551 
38.19/38.32	v ~x5383 ~x6922 ~x10283 ~x8631 ~x2137 ~x3553 ~x5385 ~x6924 ~x10285 ~x8633 
38.19/38.32	v ~x2139 ~x3555 ~x5387 ~x6926 ~x10287 ~x8635 ~x2141 ~x3557 ~x5389 ~x6928 
38.19/38.32	v ~x10289 ~x8637 ~x2143 ~x3558 ~x5391 ~x6930 ~x10291 ~x8639 ~x2145 ~x3560 
38.19/38.32	v ~x5393 ~x6932 x10293 ~x8641 ~x2147 ~x3562 ~x5395 ~x6934 ~x10295 ~x8643 
38.19/38.32	v ~x2149 ~x3564 ~x5397 ~x6936 ~x10297 ~x8645 ~x2151 ~x3566 ~x5399 ~x6938 
38.19/38.32	v ~x10299 ~x8647 ~x2153 ~x3568 ~x5401 ~x6940 ~x10301 ~x8649 ~x30 ~x3570 
38.19/38.32	v ~x5403 ~x6942 ~x10303 ~x8651 ~x2155 ~x3572 ~x5405 ~x6944 ~x10305 ~x8653 
38.19/38.32	v ~x2157 ~x3574 ~x5407 ~x6946 ~x10307 ~x8655 ~x2159 ~x3576 ~x5409 ~x6948 
38.19/38.32	v ~x10309 ~x180 ~x2161 ~x3578 ~x5411 ~x6950 ~x10311 ~x8657 ~x2163 ~x3580 
38.19/38.32	v ~x5413 ~x6952 ~x10313 ~x8659 ~x2165 ~x3582 ~x5415 ~x6954 ~x10315 ~x8661 
38.19/38.32	v ~x2167 ~x3584 ~x5417 ~x6956 ~x10317 ~x8663 ~x31 ~x3586 ~x5419 ~x6958 
38.19/38.32	v ~x10319 ~x8665 ~x2169 ~x3588 ~x107 ~x6960 ~x10321 ~x8667 ~x2171 ~x3590 
38.19/38.32	v ~x5421 ~x6962 ~x10323 ~x8669 ~x2173 ~x3592 ~x5423 ~x6964 ~x10325 ~x181 
38.19/38.32	v ~x2175 ~x3594 ~x5425 ~x6966 ~x10327 ~x8671 ~x2177 ~x3596 ~x5427 ~x6968 
38.19/38.32	v ~x10329 ~x8673 ~x2179 ~x3598 ~x5429 ~x6970 x10331 ~x8675 ~x2181 ~x3600 
38.19/38.32	v ~x5431 ~x6972 ~x10333 ~x8677 ~x2183 ~x3602 ~x5433 ~x6974 ~x10335 ~x8679 
38.19/38.32	v ~x2185 ~x3604 ~x5435 ~x6976 ~x10337 ~x8681 ~x2187 ~x3606 ~x5437 ~x6978 
38.19/38.32	v ~x10339 ~x8683 ~x2189 ~x3608 ~x5439 ~x6980 ~x10341 ~x182 ~x2191 ~x3610 
38.19/38.32	v ~x5441 ~x6982 ~x10343 ~x8685 ~x2193 ~x3612 ~x5443 ~x6984 ~x10345 ~x8687 
38.19/38.32	v ~x2195 ~x3614 ~x5445 ~x6986 ~x10347 ~x8689 ~x2197 ~x3616 ~x5447 ~x6988 
38.19/38.32	v ~x10349 ~x183 ~x2199 ~x3618 ~x5449 ~x6990 ~x10351 ~x8691 ~x2201 ~x3620 
38.19/38.32	v ~x5451 ~x6992 ~x10353 ~x8693 ~x2203 ~x3622 ~x5453 ~x6994 ~x10355 ~x8695 
38.19/38.32	v ~x2205 ~x3624 ~x5455 ~x6996 ~x10357 ~x8697 ~x2207 ~x3626 ~x5457 ~x6998 
38.19/38.32	v ~x10359 ~x8699 ~x2209 ~x3628 ~x5459 ~x7000 ~x10361 ~x8701 ~x2212 ~x3630 
38.19/38.32	v ~x5461 ~x7002 ~x10363 ~x8703 ~x2214 ~x3632 ~x5463 ~x7004 ~x10365 ~x184 
38.19/38.32	v ~x2216 ~x3634 ~x5465 ~x7006 ~x10367 ~x8705 ~x2218 ~x3636 ~x5467 ~x7008 
38.19/38.32	v ~x10369 ~x8707 ~x2220 ~x3638 ~x5469 ~x7010 ~x10371 ~x8709 ~x2222 ~x3640 
38.19/38.32	v ~x5471 ~x7012 ~x10373 ~x185 ~x2224 ~x3642 ~x5473 ~x7014 ~x10375 ~x8711 
38.19/38.32	v ~x2226 ~x3644 ~x5475 ~x7016 ~x10377 ~x8713 ~x2228 ~x3646 ~x5477 ~x7018 
38.19/38.32	v ~x10379 ~x186 ~x32 ~x3648 ~x5479 ~x7020 ~x10381 ~x8716 ~x2230 ~x3650 
38.19/38.32	v ~x5481 ~x7022 ~x10383 ~x187 ~x2232 ~x3652 ~x108 ~x7024 ~x10385 ~x8718 
38.19/38.32	v ~x2234 ~x3654 ~x5483 ~x7026 ~x10387 ~x8720 ~x2236 ~x3656 ~x5485 ~x7028 
38.19/38.32	v ~x10389 ~x8722 ~x2238 ~x3657 ~x5487 ~x7030 ~x10391 ~x8724 ~x2240 ~x3659 
38.19/38.32	v ~x5489 ~x7032 ~x10393 ~x8726 ~x2242 ~x3661 ~x5491 ~x7034 ~x10395 ~x8728 
38.19/38.32	v ~x2244 ~x3663 ~x5493 ~x7036 ~x10397 ~x8730 ~x2246 ~x3665 ~x5495 ~x7038 
38.19/38.32	v ~x10399 ~x8732 ~x2248 ~x3667 ~x5497 ~x7040 ~x10401 ~x8734 ~x2250 ~x3669 
38.19/38.32	v ~x5499 ~x7042 ~x10403 ~x8736 ~x2252 ~x3671 ~x5501 ~x7044 ~x10405 ~x8738 
38.19/38.32	v ~x2254 ~x3673 ~x5503 ~x7046 ~x10407 ~x298 ~x8740 ~x2256 ~x3675 ~x5505 
38.19/38.32	v ~x7048 ~x10409 x300 ~x8742 ~x2258 ~x3677 ~x5507 ~x7050 ~x10411 ~x302 
38.19/38.32	v ~x8744 ~x33 ~x3679 ~x5509 ~x7052 ~x10413 ~x304 ~x8746 ~x2260 ~x3681 
38.19/38.32	v ~x5511 ~x7054 ~x10415 ~x306 ~x8748 ~x2262 ~x3683 ~x109 ~x7056 ~x10417 
38.19/38.32	v ~x308 ~x8750 ~x2264 ~x3685 ~x5513 ~x7058 ~x10419 ~x310 ~x8752 ~x2266 
38.19/38.32	v ~x3687 ~x5516 ~x7060 ~x10421 ~x312 ~x8754 ~x2268 ~x3689 ~x5518 ~x7062 
38.19/38.32	v ~x10423 ~x314 ~x8756 ~x2270 ~x3691 ~x5520 ~x7064 ~x10425 ~x316 ~x8758 
38.19/38.32	v ~x2272 ~x3693 ~x5522 ~x7066 ~x10427 ~x318 ~x8760 ~x2274 ~x3695 ~x5524 
38.19/38.32	v ~x7068 ~x10429 ~x320 ~x8762 ~x2276 ~x3697 ~x7070 ~x10431 ~x322 ~x8764 
38.19/38.32	v ~x2278 ~x3699 ~x7072 ~x5526 ~x10433 ~x324 ~x8766 ~x2280 ~x3701 ~x7074 
38.19/38.32	v ~x5528 ~x10435 ~x326 ~x8768 ~x2282 ~x3703 ~x7076 ~x5530 ~x10437 ~x328 
38.19/38.32	v ~x8770 ~x2284 ~x3705 ~x7078 ~x5532 ~x10439 ~x330 ~x8772 ~x2286 ~x3706 
38.19/38.32	v ~x7080 ~x5534 ~x10441 ~x332 ~x8774 ~x2288 ~x3708 ~x7082 ~x5536 ~x10443 
38.19/38.32	v ~x334 ~x8776 ~x34 ~x3710 ~x7084 ~x5538 ~x10445 ~x336 ~x8778 ~x2290 
38.19/38.32	v ~x3712 ~x7086 ~x5540 ~x10447 ~x338 ~x8780 ~x2292 ~x3714 ~x7088 ~x5542 
38.19/38.32	v ~x10448 ~x340 ~x8782 ~x2294 ~x3716 ~x7090 ~x5544 ~x10450 ~x342 ~x8784 
38.19/38.32	v ~x2296 ~x3718 ~x7092 ~x5546 ~x10452 ~x344 ~x8786 ~x2298 ~x3720 ~x7094 
38.19/38.32	v ~x5548 ~x10454 ~x346 ~x8788 ~x2300 ~x3722 ~x7096 ~x5550 ~x10456 ~x348 
38.19/38.32	v ~x8790 ~x2302 ~x3724 ~x7098 ~x5552 ~x10458 ~x350 ~x8792 ~x35 ~x3726 
38.19/38.32	v ~x7100 ~x5554 ~x10460 ~x352 ~x8794 ~x2304 ~x3728 ~x7102 ~x5556 ~x10462 
38.19/38.32	v ~x354 ~x8796 ~x2306 ~x3730 ~x7104 ~x5558 ~x10464 ~x356 ~x8798 ~x2308 
38.19/38.32	v ~x3732 ~x7106 ~x5560 ~x10466 ~x358 ~x8800 ~x2310 ~x3734 ~x7108 ~x5562 
38.19/38.32	v ~x10468 ~x360 ~x8802 ~x2312 ~x3736 ~x7110 ~x5564 ~x10470 ~x362 ~x8804 
38.19/38.32	v ~x2314 ~x3738 ~x7112 ~x5566 ~x10472 ~x364 ~x8806 ~x2316 ~x3740 ~x7114 
38.19/38.32	v ~x5568 ~x10474 ~x366 ~x8808 ~x2318 ~x3742 ~x7116 ~x5570 ~x10476 ~x368 
38.19/38.32	v ~x8810 ~x2320 ~x3744 ~x7118 ~x5572 ~x10478 ~x370 ~x8812 ~x2322 ~x3746 
38.19/38.32	v ~x7120 ~x110 ~x10480 ~x372 ~x8814 ~x2324 ~x3748 ~x7122 ~x5574 ~x10482 
38.19/38.32	v ~x374 ~x8816 ~x2326 ~x3750 ~x7124 ~x5576 ~x10484 ~x376 ~x8818 ~x2328 
38.19/38.32	v ~x3752 ~x7126 ~x5578 ~x10486 ~x378 ~x8820 ~x2330 ~x3754 ~x7128 ~x5580 
38.19/38.32	v ~x10488 ~x380 ~x8822 ~x2332 ~x3756 ~x7130 ~x5582 ~x10490 ~x382 ~x8824 
38.19/38.32	v ~x36 ~x3758 ~x7132 ~x5584 ~x10492 ~x384 ~x8826 ~x2334 ~x3760 ~x7134 
38.19/38.32	v ~x5586 ~x10494 ~x386 ~x8828 ~x2336 ~x3762 ~x7136 ~x5588 ~x10496 ~x388 
38.19/38.32	v ~x8830 ~x2338 ~x3764 ~x7138 ~x5590 ~x10498 ~x390 ~x8832 ~x2340 ~x3766 
38.19/38.32	v ~x7140 ~x5592 ~x10500 ~x392 ~x8834 ~x2342 ~x3768 ~x7142 ~x5594 ~x10502 
38.19/38.32	v ~x394 ~x8836 ~x2344 ~x3770 ~x7144 ~x5596 ~x10504 ~x396 ~x8838 ~x2346 
38.19/38.32	v ~x3772 ~x7146 ~x5598 ~x10506 ~x398 ~x8840 ~x37 ~x3774 ~x7148 ~x5600 
38.19/38.32	v ~x10508 ~x400 ~x8842 ~x2348 ~x3776 ~x7150 ~x5602 ~x10510 ~x402 ~x188 
38.19/38.32	v ~x2350 ~x3778 ~x7152 ~x111 ~x10512 ~x404 ~x8844 ~x2352 ~x3780 ~x7154 
38.19/38.32	v ~x5604 ~x10514 ~x406 ~x8846 ~x2354 ~x3782 ~x7156 ~x5606 ~x10516 ~x408 
38.19/38.32	v ~x8848 ~x2356 ~x3784 ~x7158 ~x5608 ~x10518 ~x410 ~x8850 ~x2358 ~x3786 
38.19/38.32	v ~x7160 ~x5610 ~x10520 ~x412 ~x8852 ~x2360 ~x3788 ~x7162 ~x5612 ~x10522 
38.19/38.32	v ~x414 ~x8854 ~x38 ~x3790 ~x7164 ~x5614 ~x10524 ~x416 ~x8856 ~x2362 
38.19/38.32	v ~x3792 ~x7166 ~x5616 ~x10526 ~x418 ~x8858 ~x2364 ~x3794 ~x7168 ~x5618 
38.19/38.32	v ~x10528 ~x420 ~x8860 ~x2366 ~x3796 ~x7170 ~x5620 ~x10530 ~x422 ~x8862 
38.19/38.32	v ~x39 ~x3798 ~x7172 ~x5622 ~x10532 ~x424 ~x8864 ~x2368 ~x3800 ~x7174 
38.19/38.32	v ~x5624 ~x10534 ~x426 ~x8866 ~x2370 ~x3802 ~x7176 ~x5626 ~x10536 ~x428 
38.19/38.32	v ~x8868 ~x2372 ~x3804 ~x7178 ~x5628 ~x10538 ~x430 ~x8870 ~x2374 ~x3806 
38.19/38.32	v ~x7180 ~x5630 ~x10540 ~x432 ~x8872 ~x2376 ~x3808 ~x7182 ~x5632 ~x10542 
38.19/38.32	v ~x434 ~x8874 ~x2378 ~x3810 ~x7184 ~x112 ~x10544 ~x436 ~x8876 ~x2380 
38.19/38.32	v ~x3812 ~x7186 ~x5634 ~x10546 ~x438 ~x8878 ~x2382 ~x3814 ~x7188 ~x5636 
38.19/38.32	v ~x10548 ~x440 ~x8880 ~x2384 ~x3816 ~x7190 ~x5638 ~x10550 ~x442 ~x8882 
38.19/38.32	v ~x2386 ~x3818 ~x7192 ~x5640 ~x10552 ~x444 ~x8884 ~x2388 ~x3820 ~x7194 
38.19/38.32	v ~x5642 ~x10554 ~x446 ~x8886 ~x2390 ~x3822 ~x7196 ~x5644 ~x10556 ~x448 
38.19/38.32	v ~x8888 ~x2392 ~x3824 ~x7198 ~x5646 ~x10558 ~x450 ~x8890 ~x2394 ~x3826 
38.19/38.32	v ~x7200 ~x113 ~x10560 ~x452 ~x8892 ~x2396 ~x3828 ~x7202 ~x5648 ~x10562 
38.19/38.32	v ~x454 ~x8894 ~x2398 ~x3830 ~x7204 ~x5650 ~x10564 ~x456 ~x8896 ~x2400 
38.19/38.32	v ~x3832 ~x7206 ~x5652 ~x10566 ~x458 ~x8898 ~x2402 ~x3834 ~x7208 ~x5654 
38.19/38.32	v ~x10568 ~x460 ~x8900 ~x2404 ~x3836 ~x7210 ~x5656 ~x10570 ~x462 ~x8902 
38.19/38.32	v ~x2406 ~x3838 ~x7212 ~x5658 ~x10572 ~x464 ~x8904 ~x2408 ~x3840 ~x7214 
38.19/38.32	v ~x5660 ~x10574 ~x466 ~x189 ~x2410 ~x3842 ~x7216 ~x5662 ~x10576 ~x468 
38.19/38.32	v ~x8906 ~x2412 ~x3844 ~x7218 ~x5664 ~x10578 ~x470 ~x8908 ~x2414 ~x3846 
38.19/38.32	v ~x7220 ~x5666 ~x10580 ~x472 ~x8910 ~x2416 ~x3848 ~x7222 ~x5668 ~x10582 
38.19/38.32	v ~x474 ~x8912 ~x2418 ~x3850 ~x7224 ~x5670 ~x10584 ~x476 ~x8914 ~x2420 
38.19/38.32	v ~x3852 ~x7226 ~x5672 ~x10586 ~x477 ~x8916 ~x2422 ~x3854 ~x7228 ~x5674 
38.19/38.32	v ~x10588 ~x479 ~x8918 ~x2424 ~x3856 ~x7230 ~x5676 ~x10590 ~x481 ~x8920 
38.19/38.32	v ~x2426 ~x3858 ~x7232 ~x5678 ~x10591 ~x483 ~x8922 ~x2428 ~x3860 ~x7234 
38.19/38.32	v ~x5680 ~x10593 ~x485 ~x8924 ~x2430 ~x3862 ~x7236 ~x5682 ~x10595 ~x487 
38.19/38.32	v ~x8926 ~x2432 ~x3864 ~x7238 ~x5684 ~x10597 ~x489 ~x8928 ~x2434 ~x3866 
38.19/38.32	v ~x7240 ~x5686 ~x10599 ~x491 ~x8930 ~x2436 ~x3868 ~x7242 ~x5688 ~x10601 
38.19/38.32	v ~x493 ~x8932 ~x2438 ~x3870 ~x7244 ~x5690 ~x10603 ~x495 ~x8934 ~x2440 
38.19/38.32	v ~x3872 ~x7246 ~x5692 ~x10605 ~x497 ~x8936 ~x2442 ~x3874 ~x7248 ~x5694 
38.19/38.32	v ~x10607 ~x499 ~x8939 ~x2444 ~x3876 ~x7250 ~x5696 ~x10609 ~x501 ~x8941 
38.19/38.32	v ~x2446 ~x3878 ~x7252 x5698 ~x10611 ~x503 ~x8943 ~x2448 ~x3880 ~x7254 
38.19/38.32	v ~x5700 ~x10613 ~x505 ~x8945 ~x2450 ~x3882 ~x7256 ~x5702 ~x10615 ~x507 
38.19/38.32	v ~x8947 ~x2452 ~x3884 ~x7258 ~x5704 ~x10617 ~x509 ~x8949 ~x2454 ~x3886 
38.19/38.32	v ~x7260 ~x5706 ~x10619 ~x511 ~x8951 ~x2456 ~x3888 ~x7262 ~x114 ~x10621 
38.19/38.32	v ~x513 ~x8953 ~x2458 ~x3890 ~x7264 ~x5708 ~x10623 ~x515 ~x8955 ~x2460 
38.19/38.32	v ~x3892 ~x7266 ~x5710 ~x10625 ~x517 ~x8957 ~x2462 ~x3894 ~x7268 ~x5712 
38.19/38.32	v ~x10627 ~x519 ~x8959 ~x2464 ~x3896 ~x7270 ~x5714 ~x10629 ~x521 ~x8961 
38.19/38.32	v ~x2466 ~x3898 ~x7272 ~x5716 ~x10630 ~x523 ~x8963 ~x2468 ~x3900 ~x7274 
38.19/38.32	v ~x5718 ~x10632 ~x525 ~x8965 ~x2470 ~x3902 ~x7276 ~x5720 ~x10634 ~x527 
38.19/38.32	v ~x190 ~x2472 ~x3904 ~x7278 ~x5722 ~x10636 ~x529 ~x8967 ~x2474 ~x3906 
38.19/38.32	v ~x7280 ~x5724 ~x10638 ~x531 ~x8969 ~x2476 ~x3908 ~x7282 ~x5726 ~x10640 
38.19/38.32	v ~x533 ~x8971 ~x2478 ~x3910 ~x7284 ~x5728 ~x10642 ~x535 ~x8973 ~x2480 
38.19/38.32	v ~x3912 ~x7286 ~x5730 ~x10644 ~x537 ~x8975 ~x2482 ~x3914 ~x7288 ~x5732 
38.19/38.32	v ~x10646 ~x539 ~x8977 ~x2484 ~x3916 ~x7290 ~x5734 ~x10648 ~x541 ~x8979 
38.19/38.32	v ~x2486 ~x3918 ~x7292 ~x5736 ~x10650 ~x543 ~x8981 ~x2488 ~x3920 ~x7294 
38.19/38.32	v ~x115 ~x10652 ~x545 ~x8983 ~x2490 ~x3922 ~x7296 ~x5738 ~x10654 ~x547 
38.19/38.32	v ~x8985 ~x2492 ~x3924 ~x7298 ~x5740 ~x10656 ~x549 ~x8987 ~x40 ~x3926 
38.19/38.32	v ~x7300 ~x5742 ~x10658 ~x551 ~x8989 ~x2494 ~x3927 ~x7302 ~x5744 ~x10660 
38.19/38.32	v ~x553 ~x8991 ~x2496 ~x3929 ~x7304 ~x5746 ~x10662 ~x555 ~x8993 ~x2498 
38.19/38.32	v ~x3931 ~x7306 ~x5748 ~x10664 ~x557 ~x8995 ~x2500 ~x3933 ~x7308 ~x5750 
38.19/38.32	v ~x10666 ~x559 ~x8997 ~x2502 ~x3935 ~x7310 ~x116 ~x10667 ~x561 ~x8999 
38.19/38.32	v ~x2504 ~x3937 ~x7312 ~x5752 ~x10669 ~x563 ~x9001 ~x2506 ~x3939 ~x7314 
38.19/38.32	v ~x5754 ~x10671 x565 ~x9003 ~x2508 ~x3941 ~x7316 ~x5756 ~x10673 ~x567 
38.19/38.32	v ~x9005 ~x2510 ~x3943 ~x7318 ~x5758 ~x10675 ~x569 ~x9007 ~x2512 ~x3945 
38.19/38.32	v ~x7320 ~x5760 ~x10677 ~x571 ~x9009 ~x2514 ~x3947 ~x7322 ~x5762 ~x10679 
38.19/38.32	v ~x573 ~x9011 ~x2516 ~x3949 ~x7324 ~x5764 ~x10681 ~x575 ~x9013 ~x2518 
38.19/38.32	v ~x3951 ~x7326 ~x5766 ~x10683 ~x577 ~x9015 ~x2520 ~x3953 ~x7328 ~x5768 
38.19/38.32	v ~x10685 ~x579 ~x9017 ~x2522 ~x3955 ~x7330 ~x5770 ~x10687 ~x581 ~x9019 
38.19/38.32	v ~x2524 ~x3957 ~x7332 ~x5772 ~x10689 ~x583 ~x9021 ~x2526 ~x3959 ~x7334 
38.19/38.32	v ~x5774 ~x10691 ~x585 ~x9023 ~x2528 ~x3961 ~x7336 ~x5776 ~x10693 ~x587 
38.19/38.32	v ~x9025 ~x2530 ~x3963 ~x7338 ~x5778 ~x10695 ~x589 ~x9027 ~x2532 ~x3965 
38.19/38.32	v ~x7340 ~x5780 ~x10697 ~x591 ~x191 ~x2534 ~x3967 ~x7342 ~x5782 ~x10699 
38.19/38.32	v ~x593 ~x9029 ~x2536 ~x3969 ~x7344 ~x5784 ~x10701 ~x595 ~x9031 ~x2538 
38.19/38.32	v ~x3971 ~x7346 ~x5786 ~x10703 ~x597 ~x9033 ~x2540 ~x3973 ~x7348 ~x5788 
38.19/38.32	v ~x10705 ~x599 ~x9035 ~x2542 ~x3975 ~x7350 ~x5790 ~x10707 ~x601 ~x9037 
38.19/38.32	v ~x2544 ~x3977 ~x7352 ~x5792 ~x10709 ~x603 ~x9039 ~x2546 ~x3979 ~x7354 
38.19/38.32	v ~x5794 ~x10711 ~x605 ~x9041 ~x2548 ~x3981 ~x7356 ~x5796 ~x10713 ~x607 
38.19/38.32	v ~x9043 ~x2550 ~x3983 ~x7358 ~x5798 ~x10715 ~x609 ~x9045 ~x2552 ~x3985 
38.19/38.32	v ~x7360 ~x5800 ~x10717 ~x611 ~x9047 ~x2554 ~x3987 ~x7362 ~x5802 ~x10719 
38.19/38.32	v ~x613 ~x9049 ~x41 ~x3989 ~x7364 ~x5804 ~x10721 ~x615 ~x9051 ~x2556 
38.19/38.32	v ~x3990 ~x7366 ~x5806 ~x10723 ~x617 ~x9053 ~x2558 ~x3992 ~x7368 ~x5808 
38.19/38.32	v ~x10725 ~x619 ~x9055 ~x2560 ~x3994 ~x7370 ~x5810 ~x10727 ~x621 ~x9057 
38.19/38.32	v ~x2562 ~x3996 ~x7372 ~x5812 ~x10729 ~x623 ~x192 ~x2564 ~x3998 ~x7374 
38.19/38.32	v ~x117 ~x10731 ~x625 ~x9059 ~x2566 ~x4000 ~x7376 ~x5814 ~x10733 ~x627 
38.19/38.32	v ~x9061 ~x2568 ~x4002 ~x7378 ~x5816 ~x10735 ~x629 ~x9063 ~x2570 ~x4004 
38.19/38.32	v ~x7380 ~x5818 ~x10737 ~x631 ~x9065 ~x2572 ~x4006 ~x7382 ~x5820 ~x10739 
38.19/38.32	v ~x633 ~x9067 ~x2574 ~x4008 ~x7384 ~x5822 ~x10741 ~x635 ~x9069 ~x2576 
38.19/38.32	v ~x4010 ~x7386 ~x5824 ~x10743 ~x637 ~x9071 ~x2578 ~x4012 ~x7388 ~x5826 
38.19/38.32	v ~x10745 ~x639 ~x9073 ~x2580 ~x4014 ~x7390 ~x5828 ~x10747 ~x641 ~x9075 
38.19/38.32	v ~x2582 ~x4016 ~x7392 ~x5830 ~x10749 ~x643 ~x9077 ~x2584 ~x4018 ~x7394 
38.19/38.32	v ~x5832 ~x10751 ~x645 ~x9079 ~x2586 ~x4020 ~x7396 ~x5834 ~x10753 ~x647 
38.19/38.32	v ~x9081 ~x2588 ~x4022 ~x7398 ~x5836 ~x10755 ~x649 ~x9083 ~x2590 ~x4024 
38.19/38.32	v ~x7400 ~x5838 ~x10757 ~x651 ~x9085 ~x2592 ~x4026 ~x7402 ~x5840 ~x10759 
38.19/38.32	v ~x653 ~x9087 ~x2594 ~x4028 ~x7404 ~x5842 ~x10761 ~x655 ~x9089 ~x2596 
38.19/38.32	v ~x4030 ~x7406 ~x118 ~x10763 ~x657 ~x9091 ~x2598 ~x4032 ~x7408 ~x5844 
38.19/38.32	v ~x10765 ~x659 ~x9093 ~x2600 ~x4034 ~x7410 ~x5846 ~x10766 ~x661 ~x9095 
38.19/38.32	v ~x2602 ~x4036 ~x7412 ~x5848 ~x10768 ~x663 ~x9097 ~x2604 ~x4038 ~x7414 
38.19/38.32	v ~x5850 ~x10770 ~x665 ~x9099 ~x2606 ~x4040 ~x7416 ~x5852 ~x10772 ~x667 
38.19/38.32	v ~x9101 ~x2608 ~x4042 ~x7418 ~x5854 ~x10774 ~x669 ~x9104 ~x2610 ~x4044 
38.19/38.32	v ~x7420 ~x5856 ~x10776 ~x671 ~x9106 ~x2612 ~x4046 ~x7422 ~x5858 ~x10778 
38.19/38.32	v ~x673 ~x9108 ~x2614 ~x4048 ~x7424 ~x5860 ~x10780 ~x675 ~x9110 ~x2616 
38.19/38.32	v ~x4050 ~x7426 ~x5862 ~x10782 ~x677 ~x9112 ~x42 ~x4052 ~x7428 ~x5864 
38.19/38.32	v ~x10784 ~x679 ~x9114 ~x2618 ~x4054 ~x7430 ~x5867 ~x10786 ~x681 ~x9116 
38.19/38.32	v ~x2620 ~x4056 ~x7432 ~x5869 ~x10788 ~x683 ~x9118 ~x2622 ~x4058 ~x7434 
38.19/38.32	v ~x5871 ~x10790 ~x685 ~x193 ~x2624 ~x4060 ~x7436 ~x119 ~x10792 ~x687 
38.19/38.32	v ~x9120 ~x2626 ~x4062 ~x7438 ~x5873 ~x10794 ~x689 ~x9122 ~x2628 ~x4064 
38.19/38.32	v ~x7440 ~x5875 ~x10796 ~x691 ~x9124 ~x2630 ~x4066 ~x7442 ~x5877 ~x10798 
38.19/38.32	v ~x693 ~x9126 ~x2632 ~x4068 ~x7444 ~x5879 ~x10800 ~x695 ~x9128 ~x2634 
38.19/38.32	v ~x4070 ~x7446 ~x5881 ~x10802 ~x697 ~x9130 ~x2636 ~x4072 ~x7448 ~x5883 
38.19/38.32	v ~x10804 ~x699 ~x9132 ~x2638 ~x4074 ~x7450 ~x5885 ~x10806 ~x701 ~x9134 
38.19/38.32	v ~x2640 ~x4076 ~x7452 ~x120 ~x10808 ~x703 ~x9136 ~x2642 ~x4078 ~x7454 
38.19/38.32	v ~x5887 ~x10810 ~x705 ~x9138 ~x2644 ~x4080 ~x7456 ~x5889 ~x10812 ~x707 
38.19/38.32	v ~x9140 ~x2646 ~x4082 ~x7458 ~x5891 ~x10814 ~x708 ~x9142 ~x2648 ~x4084 
38.19/38.32	v ~x7460 ~x5893 ~x10816 ~x710 ~x9144 ~x2650 ~x4086 ~x7462 ~x5895 ~x10818 
38.19/38.32	v ~x712 ~x9146 ~x2652 ~x4088 ~x7464 ~x5897 ~x10820 ~x714 ~x9148 ~x2654 
38.19/38.32	v ~x4090 ~x7466 ~x5899 ~x10822 ~x716 ~x194 ~x2656 ~x4092 ~x7468 ~x5901 
38.19/38.32	v ~x10824 ~x718 ~x9150 ~x2658 ~x4094 ~x7470 ~x5903 ~x10826 ~x720 ~x9152 
38.19/38.32	v ~x2660 ~x4096 ~x7472 ~x5905 ~x10828 ~x722 ~x9154 ~x2662 ~x4098 ~x7474 
38.19/38.32	v ~x5907 ~x10830 ~x724 ~x9156 ~x2664 ~x4100 ~x7475 ~x5909 ~x10832 ~x726 
38.19/38.32	v ~x9158 ~x2666 ~x4102 ~x7477 ~x5911 ~x10834 ~x728 ~x9160 ~x2668 ~x4104 
38.19/38.32	v ~x7479 ~x5913 ~x10836 ~x730 ~x9162 ~x2670 ~x4106 ~x7481 ~x5915 ~x10838 
38.19/38.32	v ~x732 ~x9165 ~x2672 ~x4108 ~x7483 ~x121 ~x10840 ~x734 ~x9167 ~x2674 
38.19/38.32	v ~x4110 ~x7485 ~x5917 ~x10842 ~x736 ~x9169 ~x2676 ~x4112 ~x7487 ~x5919 
38.19/38.32	v ~x10844 ~x738 ~x9171 ~x2678 ~x4114 ~x7489 ~x5921 ~x10846 ~x740 ~x9173 
38.19/38.32	v ~x2680 ~x4116 ~x7491 ~x5923 ~x10848 ~x742 ~x9175 ~x2682 ~x4118 ~x7493 
38.19/38.32	v ~x5925 ~x10850 ~x744 ~x9177 ~x2684 ~x4120 ~x7495 ~x5927 ~x10852 ~x746 
38.19/38.32	v ~x195 ~x2686 ~x4122 ~x7497 ~x5929 ~x10854 ~x748 ~x9179 ~x2688 ~x4124 
38.19/38.32	v ~x7499 x122 ~x10856 ~x750 ~x9181 ~x2690 ~x4126 ~x7501 ~x5931 ~x10858 
38.19/38.32	v ~x752 ~x9183 ~x2692 ~x4128 ~x7503 x5933 ~x10860 ~x754 ~x9185 ~x2694 
38.19/38.32	v ~x4130 ~x7505 ~x5935 ~x10862 ~x756 ~x9187 ~x2696 ~x4132 ~x7507 ~x5937 
38.19/38.32	v ~x10864 ~x758 ~x9189 ~x2698 ~x4134 ~x7509 ~x5939 ~x10866 ~x760 ~x9191 
38.19/38.32	v ~x2700 ~x4136 ~x7511 ~x5941 ~x10868 ~x762 ~x9193 ~x2702 ~x4138 ~x7513 
38.19/38.32	v ~x5943 ~x10870 ~x764 ~x9195 ~x2704 ~x4140 ~x7515 ~x123 ~x10872 ~x766 
38.19/38.32	v ~x9197 ~x2706 ~x4142 ~x7517 ~x5945 ~x10874 ~x768 ~x9199 ~x2708 ~x4144 
38.19/38.32	v ~x7519 ~x5947 ~x10876 ~x770 ~x9201 ~x2710 ~x4146 ~x7521 ~x5949 ~x10878 
38.19/38.32	v ~x772 ~x9203 ~x2712 ~x4148 ~x7523 ~x5951 ~x10880 ~x774 ~x9205 ~x2714 
38.19/38.32	v ~x4150 ~x7525 ~x5953 ~x10882 ~x776 ~x9207 ~x2716 ~x4152 ~x7527 ~x5955 
38.19/38.32	v ~x10884 ~x778 ~x196 x2718 ~x4154 ~x7529 ~x5957 ~x10886 ~x780 ~x9209 
38.19/38.32	v ~x2720 ~x4156 ~x7531 ~x5959 ~x10888 ~x782 ~x9211 ~x2722 ~x4158 ~x7533 
38.19/38.32	v ~x5961 ~x10890 ~x784 ~x9213 ~x2724 ~x4160 ~x7535 ~x5963 ~x10892 ~x786 
38.19/38.32	v ~x9215 ~x2726 ~x4162 ~x7537 ~x5965 ~x10894 ~x788 ~x9217 ~x2728 ~x4164 
38.19/38.32	v ~x7539 ~x5967 ~x10896 ~x790 ~x9219 ~x2730 ~x4166 ~x7541 ~x5969 ~x10898 
38.19/38.32	v ~x792 ~x9221 ~x2732 ~x4168 ~x7543 ~x5971 ~x10900 ~x794 ~x197 ~x2734 
38.19/38.32	v ~x4170 ~x7545 ~x5973 ~x10902 ~x796 ~x9223 ~x2736 ~x4172 ~x7547 ~x5975 
38.19/38.32	v ~x10904 ~x798 ~x9225 ~x2738 ~x4174 ~x7549 ~x5977 ~x10906 ~x800 ~x9227 
38.19/38.32	v ~x2740 ~x4176 ~x7551 ~x5979 ~x10908 ~x802 ~x9229 ~x2742 ~x4178 ~x7553 
38.19/38.32	v ~x5981 ~x10910 ~x804 ~x9231 ~x2744 ~x4180 ~x7555 ~x5983 ~x10912 ~x806 
38.19/38.32	v ~x9233 ~x2746 ~x4182 ~x7557 ~x5985 ~x10914 ~x808 ~x9235 ~x2748 ~x4184 
38.19/38.32	v ~x7559 ~x5987 ~x10916 ~x810 ~x9237 ~x2750 ~x4186 ~x7561 ~x5989 ~x10918 
38.19/38.32	v ~x812 ~x9239 ~x2752 ~x4188 ~x7563 ~x5991 ~x10920 ~x814 ~x9241 ~x2754 
38.19/38.32	v ~x4189 ~x7565 ~x5993 ~x10922 ~x816 ~x9243 ~x2756 ~x4191 ~x7567 ~x5995 
38.19/38.32	v ~x10924 ~x818 ~x9245 ~x2758 ~x4193 ~x7569 ~x5997 ~x10926 ~x820 ~x9247 
38.19/38.32	v ~x2760 ~x4195 ~x7571 ~x5999 ~x10928 ~x822 ~x9249 ~x2762 ~x4197 ~x7573 
38.19/38.32	v ~x6001 ~x10930 ~x824 ~x9251 ~x2764 ~x4199 ~x7575 ~x6003 ~x10932 ~x826 
38.19/38.32	v ~x9253 ~x2766 ~x4201 ~x7577 ~x6005 ~x10934 ~x828 ~x9255 ~x2768 ~x4203 
38.19/38.32	v ~x7579 ~x6007 ~x10935 ~x830 ~x9257 ~x2770 ~x4205 ~x7581 ~x6009 ~x10937 
38.19/38.32	v ~x832 ~x9259 ~x2772 ~x4207 ~x7583 ~x6011 ~x10939 ~x834 ~x9261 ~x43 
38.19/38.32	v ~x4209 ~x7585 ~x6013 ~x10941 ~x836 ~x9263 ~x2774 ~x4211 ~x7587 ~x6015 
38.19/38.32	v ~x10943 ~x838 ~x9265 ~x2776 ~x4213 ~x7589 ~x6017 ~x10945 ~x840 ~x9267 
38.19/38.32	v ~x2778 ~x4215 ~x7591 ~x6019 ~x10947 ~x842 ~x9269 ~x2780 ~x4217 ~x7593 
38.19/38.32	v ~x6021 ~x10949 ~x844 ~x9271 ~x2782 ~x4219 ~x7595 ~x6023 ~x10951 ~x846 
38.19/38.32	v ~x9273 ~x2785 ~x4221 ~x7597 ~x6025 ~x10953 ~x848 ~x9275 ~x2787 ~x4223 
38.19/38.32	v ~x7599 ~x6027 ~x10954 ~x850 ~x9277 ~x2789 ~x4225 ~x7601 ~x6029 ~x10956 
38.19/38.32	v ~x852 ~x9279 ~x2791 ~x4227 ~x7603 ~x6031 ~x10958 ~x854 ~x9281 ~x2793 
38.19/38.32	v ~x4229 ~x7605 ~x6033 ~x10960 ~x856 ~x9283 ~x2795 ~x4231 ~x7607 ~x6035 
38.19/38.32	v ~x10962 ~x858 ~x198 ~x2797 ~x4233 ~x7609 ~x6037 ~x10964 ~x860 ~x9285 
38.19/38.32	v ~x2799 ~x4235 ~x7611 ~x6039 ~x10966 ~x862 ~x9287 ~x2801 ~x4237 ~x7613 
38.19/38.32	v ~x6041 ~x10968 ~x864 ~x9289 ~x2803 ~x4239 ~x7615 ~x6043 ~x10970 ~x866 
38.19/38.32	v ~x9291 ~x2805 ~x4241 ~x7617 ~x6045 ~x10972 ~x868 ~x9293 ~x2807 ~x4243 
38.19/38.32	v ~x7619 ~x6047 ~x10974 ~x870 ~x9295 ~x2809 ~x4245 ~x7621 ~x6049 ~x10976 
38.19/38.32	v ~x872 ~x9297 ~x2811 ~x4247 ~x7623 ~x6051 ~x10978 ~x874 ~x9299 ~x2813 
38.19/38.32	v ~x4249 ~x7625 ~x6053 ~x10980 ~x876 ~x9301 ~x2815 ~x4251 ~x7627 ~x6055 
38.19/38.32	v ~x10982 ~x878 ~x9303 ~x2817 ~x4253 ~x7629 ~x6057 ~x10984 ~x880 ~x9305 
38.19/38.32	v ~x2819 ~x4255 ~x7631 ~x6059 ~x10986 ~x882 ~x9307 ~x2821 ~x4257 ~x7633 
38.19/38.32	v ~x6061 ~x10988 ~x884 ~x9309 ~x2823 ~x4259 ~x7635 ~x6063 ~x10990 ~x886 
38.19/38.32	v ~x9311 ~x2825 ~x4260 ~x7637 ~x6065 ~x10992 ~x888 ~x9313 ~x2827 ~x4262 
38.19/38.32	v ~x7639 ~x6067 ~x10994 ~x890 ~x199 ~x2829 ~x4264 ~x7641 ~x6069 ~x10996 
38.19/38.32	v ~x892 ~x9315 ~x2831 ~x4266 ~x7643 ~x6071 ~x10998 ~x894 ~x9317 ~x2833 
38.19/38.32	v ~x4267 ~x7645 ~x6073 ~x11000 ~x896 ~x9319 ~x44 ~x4269 ~x7647 ~x6075 
38.19/38.32	v ~x11002 ~x898 ~x9321 ~x2835 ~x4271 ~x7649 ~x6077 ~x11004 ~x900 ~x9323 
38.19/38.32	v ~x2837 ~x4273 ~x7651 ~x6079 ~x11006 ~x902 ~x9325 ~x2839 ~x4275 ~x7653 
38.19/38.32	v ~x6081 ~x11008 ~x904 ~x9327 ~x2841 ~x4277 ~x7655 ~x6083 ~x11010 ~x906 
38.19/38.32	v ~x9329 ~x2843 ~x4279 ~x7657 ~x6085 ~x11012 ~x908 ~x9331 ~x2845 ~x4281 
38.19/38.32	v ~x7659 ~x6087 ~x11014 ~x910 ~x9333 ~x2847 ~x4283 ~x7661 ~x6089 ~x11016 
38.19/38.32	v ~x912 ~x9335 ~x2849 ~x4285 ~x7663 ~x6091 ~x11018 ~x914 ~x9337 ~x2851 
38.19/38.32	v ~x4287 ~x7665 ~x6093 ~x11020 ~x916 ~x9339 ~x2853 x4289 ~x7666 ~x6095 
38.19/38.32	v ~x11022 ~x918 ~x9341 ~x2855 ~x4291 ~x7668 ~x6097 ~x11024 ~x920 ~x9343 
38.19/38.32	v ~x2857 ~x4292 ~x7670 ~x6099 ~x11026 ~x922 ~x9345 ~x2859 ~x4294 ~x7672 
38.19/38.32	v ~x6101 ~x11028 ~x924 ~x9347 ~x2861 ~x4296 ~x7674 ~x6103 ~x11030 ~x926 
38.19/38.32	v ~x9349 ~x2863 ~x4298 ~x7676 ~x6105 ~x11032 ~x928 ~x9351 ~x2865 ~x4300 
38.19/38.32	v ~x7678 ~x6107 ~x11034 ~x930 ~x9353 ~x2867 ~x4302 ~x7680 ~x6109 ~x11036 
38.19/38.32	v ~x932 ~x9355 ~x2869 ~x4304 ~x7682 ~x6111 ~x11038 ~x934 ~x9357 ~x2871 
38.19/38.32	v ~x4306 ~x7684 ~x6113 ~x11040 ~x936 ~x9359 ~x2873 ~x4308 ~x7686 ~x6115 
38.19/38.32	v ~x11042 ~x938 ~x9361 ~x2875 ~x4310 ~x7688 ~x6117 ~x11044 ~x940 ~x9363 
38.19/38.32	v ~x2877 ~x4312 ~x7690 ~x6119 ~x11046 ~x942 ~x9365 ~x2879 ~x4314 ~x7692 
38.19/38.32	v ~x6121 ~x11048 ~x944 ~x9367 ~x2881 ~x4316 ~x7694 ~x6123 ~x11050 ~x946 
38.19/38.32	v ~x9369 ~x2883 ~x4318 ~x7695 ~x6125 ~x11052 ~x948 ~x9371 ~x2885 ~x4320 
38.19/38.32	v ~x7697 ~x6127 ~x11054 ~x950 ~x9373 ~x2887 ~x4322 ~x7699 ~x6129 ~x11056 
38.19/38.32	v ~x952 ~x9375 ~x2889 ~x4324 ~x7701 ~x6131 ~x11058 ~x954 ~x200 ~x2891 
38.19/38.32	v ~x4326 ~x7703 ~x6133 ~x11060 ~x956 ~x9377 ~x2893 ~x4328 ~x7705 ~x6135 
38.19/38.32	v ~x11062 ~x958 ~x9379 ~x2895 ~x4330 ~x7707 ~x6137 ~x11064 ~x960 ~x9381 
38.19/38.32	v ~x45 ~x4332 ~x7709 ~x6139 ~x11066 ~x962 ~x9383 ~x2898 ~x4334 ~x7711 
38.19/38.32	v ~x6141 ~x11068 ~x964 ~x9385 ~x2900 ~x4336 ~x7713 ~x6143 ~x11070 ~x966 
38.19/38.32	v ~x9387 ~x2902 ~x4338 ~x7715 ~x6145 ~x11072 ~x968 ~x9389 ~x2904 ~x4340 
38.19/38.32	v ~x7717 ~x6147 ~x11074 ~x970 ~x9391 ~x2906 ~x4342 ~x7719 ~x6149 ~x11076 
38.19/38.32	v ~x972 ~x9393 ~x2908 ~x4344 ~x7721 ~x6151 ~x11078 ~x974 ~x9395 ~x2910 
38.19/38.32	v ~x4346 ~x7723 ~x6153 ~x11080 ~x976 ~x9397 ~x2912 ~x4348 ~x7725 ~x6155 
38.19/38.32	v ~x11082 ~x978 ~x9399 ~x2914 ~x4350 ~x7727 ~x6157 ~x11084 ~x980 ~x9402 
38.19/38.32	v ~x2916 ~x4352 ~x7729 ~x6159 ~x11086 ~x982 ~x9404 ~x2918 ~x4354 ~x7731 
38.19/38.32	v x6161 ~x11088 ~x984 ~x201 ~x2920 ~x4356 ~x7733 ~x6163 ~x11090 ~x986 
38.19/38.32	v ~x9406 ~x2922 ~x4358 ~x7735 ~x6165 ~x11092 ~x988 ~x9408 ~x2924 ~x4360 
38.19/38.32	v ~x7737 ~x6167 ~x11094 ~x990 ~x9410 ~x46 ~x4362 ~x7739 ~x6169 ~x11096 
38.19/38.32	v ~x992 ~x9412 ~x2926 ~x4364 ~x7741 ~x6171 ~x11098 ~x994 ~x9414 ~x2928 
38.19/38.32	v ~x4366 ~x7743 ~x6173 ~x11100 ~x996 ~x9416 ~x2930 ~x4368 ~x7745 ~x6175 
38.19/38.32	v ~x11102 ~x998 ~x9418 ~x2932 ~x4370 ~x7747 ~x6177 ~x11104 ~x1000 ~x9420 
38.19/38.32	v ~x2934 ~x4372 ~x7749 ~x6179 ~x11106 ~x1002 ~x9422 ~x2936 ~x4374 ~x7751 
38.19/38.32	v ~x6181 ~x11108 ~x1004 ~x9424 ~x2938 ~x4376 ~x7753 ~x6183 ~x11110 ~x1006 
38.19/38.32	v ~x9426 ~x2940 ~x4378 ~x7755 ~x6185 ~x11112 ~x1008 ~x9428 ~x2942 ~x4380 
38.19/38.32	v ~x7757 ~x6187 ~x11113 ~x1010 ~x9430 ~x2944 ~x4382 ~x7759 ~x6189 ~x11115 
38.19/38.32	v ~x1012 ~x9432 ~x2946 x4384 ~x7761 ~x6191 ~x11117 ~x1014 ~x9434 ~x2948 
38.19/38.32	v ~x4386 ~x7763 ~x6193 ~x11119 ~x1016 ~x202 ~x2950 ~x4388 ~x7765 ~x6195 
38.19/38.32	v ~x11121 ~x1018 ~x9436 ~x2952 ~x4390 ~x7767 ~x6197 ~x11123 ~x1020 ~x9438 
38.19/38.32	v ~x2954 ~x4392 ~x7769 ~x6199 ~x11125 ~x1022 ~x9440 ~x2956 ~x4394 ~x7771 
38.19/38.32	v ~x6201 ~x11127 ~x1024 ~x9442 ~x2958 ~x4396 ~x7773 ~x6203 ~x11129 ~x1026 
38.19/38.32	v ~x9444 ~x2960 ~x4398 ~x7775 ~x124 ~x11131 ~x1028 ~x9446 ~x2962 ~x4400 
38.19/38.32	v ~x7777 ~x6205 ~x11133 ~x1030 ~x9448 ~x2964 ~x4402 ~x7779 ~x6207 ~x11135 
38.19/38.32	v ~x1032 ~x203 ~x2966 ~x4404 ~x7781 ~x6209 ~x11137 ~x1034 ~x9450 ~x2968 
38.19/38.32	v ~x4406 ~x7783 ~x6211 ~x11139 ~x1036 ~x9452 ~x2970 ~x4408 ~x7785 ~x6213 
38.19/38.32	v ~x11141 ~x1038 ~x9454 ~x2972 ~x4410 ~x7787 ~x6215 ~x11143 ~x1040 ~x9456 
38.19/38.32	v ~x2974 ~x4412 ~x7789 ~x6217 ~x11145 ~x1042 ~x9458 ~x2976 ~x4414 ~x7791 
38.19/38.32	v ~x6219 ~x11147 ~x1044 ~x9460 ~x2978 ~x4416 ~x7793 ~x6221 ~x11149 ~x1046 
38.19/38.32	v ~x9463 ~x2980 ~x4418 ~x7795 ~x6223 ~x11151 ~x1048 ~x9466 ~x2982 ~x4420 
38.19/38.32	v ~x7797 ~x6225 ~x11153 ~x1050 ~x9468 ~x2984 ~x4422 ~x7799 ~x6227 ~x11155 
38.19/38.32	v ~x1052 ~x9470 ~x2986 ~x4424 ~x7801 ~x6229 ~x11157 ~x1054 ~x9472 ~x47 
38.19/38.32	v ~x4426 ~x7803 ~x6231 ~x11159 ~x1056 ~x9474 ~x2988 ~x4428 ~x7805 ~x6233 
38.19/38.32	v ~x11161 ~x1058 ~x9476 ~x2990 ~x4430 ~x7807 ~x6235 ~x11163 ~x1060 ~x204 
38.19/38.32	v ~x2992 ~x4432 ~x7809 ~x6237 ~x11165 ~x1062 ~x9478 ~x2994 ~x4434 ~x7811 
38.19/38.32	v ~x6239 ~x11167 ~x1064 ~x9480 ~x2996 ~x4436 ~x7813 ~x6241 ~x11169 ~x1066 
38.19/38.32	v ~x9482 ~x2998 ~x4438 ~x7815 ~x6243 ~x11171 ~x1068 ~x9484 ~x3000 ~x4440 
38.19/38.32	v ~x7817 ~x6245 ~x11173 ~x1070 ~x9486 ~x3002 ~x4442 ~x7819 ~x6247 ~x11175 
38.19/38.32	v ~x1072 ~x9488 ~x3004 ~x4444 ~x7821 ~x6249 ~x11177 ~x1074 ~x9490 ~x3006 
38.19/38.32	v ~x4446 ~x7823 ~x6251 ~x11179 ~x1076 ~x205 ~x3008 ~x4448 ~x7825 ~x6253 
38.19/38.32	v ~x11181 ~x1078 ~x9492 ~x3010 ~x4450 ~x7827 ~x6255 ~x11183 ~x1080 ~x9494 
38.19/38.32	v ~x3012 ~x4452 ~x7829 ~x6257 ~x11185 ~x1082 ~x9497 ~x3014 ~x4454 ~x7831 
38.19/38.32	v ~x6259 ~x11187 ~x1084 ~x9499 ~x3016 ~x4456 ~x7833 ~x6261 ~x11189 ~x1086 
38.19/38.32	v ~x9501 ~x48 ~x4458 ~x7835 ~x6263 ~x11191 ~x1088 ~x9503 ~x3018 ~x4460 
38.19/38.32	v ~x7837 ~x6265 ~x11193 ~x1090 ~x9505 ~x3020 ~x4462 ~x7839 ~x6267 ~x11195 
38.19/38.32	v ~x1092 ~x9507 ~x3022 ~x4464 ~x7841 ~x6269 ~x11197 ~x1094 ~x9509 ~x3024 
38.19/38.32	v ~x4466 ~x7843 ~x6271 ~x11199 ~x1096 ~x9511 ~x3026 ~x4468 ~x7845 ~x6273 
38.19/38.32	v ~x11201 ~x1098 ~x9513 ~x3028 ~x4470 ~x7847 ~x6275 ~x11202 ~x1100 ~x9515 
38.19/38.32	v ~x3030 ~x4472 ~x7849 ~x6277 ~x11204 ~x1102 ~x9517 ~x3032 ~x4474 ~x7851 
38.19/38.32	v ~x6279 ~x11206 ~x1104 ~x9519 ~x3034 ~x4476 ~x7853 ~x6281 ~x11208 ~x1106 
38.19/38.32	v ~x9521 ~x3036 ~x4478 ~x7855 ~x6283 ~x11210 ~x1108 ~x9523 ~x3038 ~x4480 
38.19/38.32	v ~x7857 ~x6285 ~x11212 ~x1110 ~x9525 ~x3040 ~x4482 ~x7859 ~x6287 ~x11214 
38.19/38.32	v ~x1112 ~x9527 ~x3042 ~x4484 ~x7861 ~x6289 ~x11216 ~x1114 x9529 ~x3044 
38.19/38.32	v ~x4486 ~x7863 ~x6291 ~x11218 ~x1116 ~x9531 ~x3046 ~x4488 ~x7865 ~x6293 
38.19/38.32	v ~x11220 ~x1118 ~x9533 ~x49 ~x4490 ~x7867 ~x6295 ~x11222 ~x1120 ~x206 
38.19/38.32	v ~x3048 ~x4492 ~x7869 ~x6297 ~x11224 ~x1122 ~x9535 ~x3050 ~x4494 ~x7871 
38.19/38.32	v ~x6299 ~x11226 ~x1124 ~x9537 ~x3052 ~x4496 ~x7873 ~x6301 ~x11228 ~x1126 
38.19/38.32	v ~x9539 ~x3054 ~x4498 ~x7875 ~x6303 ~x11230 ~x1128 ~x9541 ~x3056 ~x4500 
38.19/38.32	v ~x7877 ~x6305 ~x11232 ~x1130 ~x9543 ~x3058 ~x4502 ~x7879 ~x6307 ~x11234 
38.19/38.32	v ~x1132 ~x9545 ~x3060 ~x4504 ~x7881 ~x6309 ~x11236 ~x1134 ~x9547 x3062 
38.19/38.32	v ~x4506 ~x7883 ~x6311 ~x11238 ~x1136 ~x207 ~x3064 ~x4508 ~x7885 ~x6313 
38.19/38.32	v ~x11240 ~x1138 ~x9549 ~x3066 ~x4510 ~x7887 ~x6315 ~x11242 ~x1140 ~x9551 
38.19/38.32	v ~x3068 ~x4512 ~x7889 ~x6317 ~x11244 ~x1142 ~x9553 ~x3070 ~x4514 ~x7891 
38.19/38.32	v ~x6319 ~x11246 ~x1144 ~x208 ~x3072 ~x4516 ~x7893 ~x6321 ~x11248 ~x1146 
38.19/38.32	v ~x9555 ~x3074 ~x4518 ~x7895 ~x6323 ~x11250 ~x1148 ~x9557 ~x3076 x4520 
38.19/38.32	v ~x7897 ~x6325 ~x11252 ~x1150 ~x9559 ~x3078 ~x4522 ~x7899 ~x125 ~x11254 
38.19/38.32	v ~x1152 ~x9561 ~x3080 ~x4524 ~x7901 ~x6327 ~x11256 ~x1154 ~x9563 ~x3082 
38.19/38.32	v ~x4526 ~x7903 ~x6329 ~x11258 ~x1156 ~x9565 ~x3084 ~x4528 ~x7905 ~x6331 
38.19/38.32	v ~x11260 ~x1158 ~x9567 ~x3086 ~x4530 ~x7907 ~x6333 ~x11262 ~x1160 ~x9569 
38.19/38.32	v ~x3088 ~x4532 ~x7909 ~x6335 ~x11264 ~x1162 ~x9571 ~x3090 ~x4534 ~x7911 
38.19/38.32	v ~x6337 ~x11266 ~x1164 ~x9573 ~x3092 ~x4536 ~x7913 ~x6339 ~x11268 ~x1166 
38.19/38.32	v ~x9575 ~x3094 ~x4538 ~x7915 ~x6341 ~x11270 ~x1168 ~x9577 ~x3096 ~x4540 
38.19/38.32	v ~x7917 ~x6343 ~x11272 ~x1170 ~x9579 ~x3098 ~x4542 ~x7919 ~x6345 ~x11273 
38.19/38.32	v ~x1172 ~x9581 ~x3100 ~x4544 ~x7921 ~x6347 ~x11275 ~x1174 ~x9583 ~x3102 
38.19/38.32	v ~x4546 ~x7923 ~x6349 x11277 ~x1176 ~x9585 ~x3104 ~x4548 ~x7925 ~x6351 
38.19/38.32	v ~x11279 ~x1178 ~x9587 ~x3106 ~x4550 ~x7927 ~x6353 ~x11281 ~x1180 ~x9589 
38.19/38.32	v ~x3108 ~x4552 ~x7929 ~x6355 ~x11283 ~x1182 ~x9591 ~x3110 ~x4554 ~x7931 
38.19/38.32	v ~x6357 ~x11285 ~x1184 ~x9593 ~x3112 ~x4556 ~x7933 ~x6359 ~x11287 ~x1186 
38.19/38.32	v ~x9595 ~x3114 ~x4558 ~x7935 ~x6361 ~x11289 ~x1188 ~x9597 ~x3116 ~x4560 
38.19/38.32	v ~x7937 ~x6363 ~x11291 ~x1190 ~x9599 ~x3118 ~x4562 ~x7939 ~x6365 ~x11293 
38.19/38.32	v ~x1192 ~x9601 ~x3120 ~x4564 ~x7941 ~x6367 ~x11295 ~x1194 ~x9603 ~x3122 
38.19/38.32	v ~x4566 ~x7943 ~x6369 ~x11297 ~x1196 ~x9605 ~x3124 ~x4568 ~x7945 ~x6371 
38.19/38.32	v ~x11299 ~x1198 ~x9607 ~x3126 ~x4570 ~x7947 ~x6373 ~x11301 ~x1200 ~x9609 
38.19/38.32	v ~x3128 ~x4572 ~x7949 ~x6375 ~x11303 ~x1202 ~x9611 ~x3130 ~x4574 ~x7951 
38.19/38.32	v ~x6377 ~x11305 ~x1204 ~x9613 ~x3132 ~x4576 ~x7953 ~x6379 ~x11307 ~x1206 
38.19/38.32	v ~x9615 ~x3134 ~x4578 ~x7955 ~x6381 ~x11309 ~x1208 ~x9617 ~x3136 ~x4580 
38.19/38.32	v ~x7957 ~x6383 ~x11311 ~x1210 ~x9619 ~x3138 ~x4582 ~x7959 ~x6385 ~x11313 
38.19/38.32	v ~x1212 ~x9621 ~x3140 ~x4584 ~x7961 ~x6387 ~x11315 ~x1214 ~x9623 ~x3142 
38.19/38.32	v ~x4586 ~x7963 ~x6389 ~x11317 ~x1216 ~x9625 ~x3144 ~x4588 ~x7965 ~x6391 
38.19/38.32	v ~x11319 ~x1218 ~x9627 ~x3146 ~x4590 ~x7967 ~x6393 ~x11321 ~x1220 ~x9629 
38.19/38.32	v ~x3148 ~x4592 ~x7969 ~x6395 ~x11323 ~x1222 ~x9631 ~x3150 ~x4594 ~x7971 
38.19/38.32	v ~x6397 ~x11325 ~x1224 ~x9633 ~x3152 ~x4596 ~x7973 ~x6399 ~x11327 ~x1226 
38.19/38.32	v ~x9635 ~x3154 ~x4598 ~x7975 ~x6401 ~x11329 ~x1228 ~x9637 ~x3156 ~x4600 
38.19/38.32	v ~x7977 ~x6403 ~x11331 ~x1230 ~x9639 ~x3158 ~x4602 ~x7979 ~x6405 ~x11332 
38.19/38.32	v ~x1232 ~x9641 ~x3160 ~x4604 ~x7980 ~x6407 ~x11334 ~x1234 ~x9643 ~x3162 
38.19/38.32	v ~x4606 ~x7982 ~x6409 ~x11336 ~x1236 ~x9645 ~x3164 ~x4608 ~x7984 ~x6411 
38.19/38.32	v ~x11338 ~x1238 ~x9647 ~x3166 ~x4610 ~x7986 ~x6413 ~x11340 ~x1240 ~x9649 
38.19/38.32	v ~x3168 ~x4612 ~x7988 ~x6415 ~x11342 ~x1242 ~x9651 ~x3170 ~x4614 ~x7990 
38.19/38.32	v ~x6417 ~x11344 ~x1244 ~x9653 ~x3172 ~x4616 ~x7992 ~x6419 ~x11346 ~x1246 
38.19/38.32	v ~x9655 ~x3174 ~x4618 ~x7994 ~x6421 ~x11348 ~x1248 ~x9657 ~x3176 ~x4620 
38.19/38.32	v ~x7996 ~x6423 ~x11350 ~x1250 ~x9659 ~x3178 ~x4622 ~x7998 ~x6425 ~x11352 
38.19/38.32	v ~x1252 ~x9661 ~x3180 ~x4624 ~x8000 ~x6427 ~x11353 ~x1254 ~x9663 ~x3182 
38.19/38.32	v ~x4626 ~x8002 ~x6429 ~x11355 ~x1256 ~x9665 ~x3184 ~x4628 ~x8004 ~x6431 
38.19/38.32	v ~x11357 ~x1258 ~x9667 ~x3186 ~x4630 ~x8006 ~x6433 ~x11359 ~x1260 ~x9669 
38.19/38.32	v ~x50 ~x4632 ~x8008 ~x6435 ~x11361 ~x1262 ~x9671 ~x3188 ~x4634 ~x8010 
38.19/38.32	v ~x6437 ~x11363 ~x1264 ~x9673 ~x3190 ~x4636 ~x8011 ~x6439 ~x11365 ~x1266 
38.19/38.32	v ~x9675 ~x3192 ~x4637 ~x8013 ~x6441 ~x11367 ~x1268 ~x9677 ~x3194 ~x4639 
38.19/38.32	v ~x8015 ~x6443 ~x11369 ~x1270 ~x9679 ~x3196 ~x4641 ~x8017 ~x6445 ~x11371 
38.19/38.32	v ~x1272 ~x209 ~x3198 ~x4643 ~x8019 ~x6447 ~x11373 ~x1274 ~x9681 ~x3200 
38.19/38.32	v ~x4645 ~x8021 ~x6449 ~x11375 ~x1276 ~x9683 ~x3202 ~x4647 ~x8023 ~x6451 
38.19/38.32	v ~x11377 ~x1278 ~x9685 ~x3204 ~x4649 ~x8025 ~x126 ~x11379 ~x1280 ~x9687 
38.19/38.32	v ~x3206 ~x4651 ~x8027 ~x6453 ~x11381 ~x1282 ~x9689 ~x3208 ~x4653 ~x8029 
38.19/38.32	v ~x6455 ~x11383 ~x1284 ~x9691 ~x3210 ~x4655 ~x8031 ~x6457 ~x11385 ~x1286 
38.19/38.32	v ~x9693 ~x3212 ~x4657 ~x8033 ~x6459 ~x11386 ~x1288 ~x9695 ~x3214 ~x4659 
38.19/38.32	v ~x8035 ~x6461 ~x11388 ~x1290 ~x9697 ~x3216 ~x4661 ~x8037 ~x6463 ~x11390 
38.19/38.32	v ~x1292 ~x9699 ~x3218 ~x4663 ~x8039 ~x6465 ~x11392 ~x1294 ~x9701 ~x3220 
38.19/38.32	v ~x4665 ~x8041 ~x6467 ~x11394 ~x1296 ~x9703 ~x3222 ~x4667 ~x8043 ~x6469 
38.19/38.32	v ~x11396 ~x1298 ~x9705 ~x3224 ~x4669 ~x8045 ~x6471 ~x11398 ~x1300 ~x9707 
38.19/38.32	v ~x3226 ~x4671 ~x8047 ~x6473 ~x11400 ~x1302 ~x9709 ~x3228 ~x4673 ~x8049 
38.19/38.32	v ~x6475 ~x11402 ~x1304 ~x9711 ~x3230 ~x4675 ~x8051 ~x6477 ~x11404 ~x1306 
38.19/38.32	v ~x9713 ~x3232 ~x4677 ~x8053 ~x6479 ~x11406 ~x1308 ~x9716 ~x3234 ~x4679 
38.19/38.32	v ~x8055 ~x6481 ~x11408 ~x1310 ~x9718 ~x3236 ~x4681 ~x8057 ~x6483 ~x11410 
38.19/38.32	v ~x1312 ~x9720 ~x3238 ~x4683 ~x8059 ~x6485 x11412 ~x1314 ~x9722 ~x3240 
38.19/38.32	v ~x4685 ~x8061 ~x6487 ~x11414 ~x1316 ~x9724 ~x3242 ~x4687 ~x8063 ~x6489 
38.19/38.32	v ~x11416 ~x1318 ~x9726 ~x3244 ~x4689 ~x8065 ~x6491 ~x11418 ~x1320 ~x9728 
38.19/38.32	v ~x3246 ~x4691 ~x8067 ~x6493 ~x11420 ~x1322 ~x9730 ~x3248 ~x4693 ~x8069 
38.19/38.32	v ~x6495 ~x11422 ~x1324 ~x9732 ~x51 ~x4695 ~x8071 ~x6497 ~x11424 ~x1326 
38.19/38.32	v ~x9734 ~x3250 ~x4697 ~x8073 ~x6499 ~x11426 ~x1328 ~x9736 ~x3252 ~x4699 
38.19/38.32	v ~x8075 ~x6501 ~x11428 ~x1330 ~x9738 ~x3254 ~x4701 ~x8077 ~x6503 ~x11430 
38.19/38.32	v ~x1332 ~x210 ~x3256 ~x4703 ~x8079 ~x6505 ~x11432 ~x1334 ~x9740 ~x3258 
38.19/38.32	v ~x4705 ~x8081 ~x6507 ~x11434 ~x1336 ~x9742 ~x3260 ~x4707 ~x8083 ~x6509 
38.19/38.32	v ~x11436 ~x1338 ~x9744 ~x3262 ~x4709 ~x8085 ~x6511 ~x11438 ~x1340 ~x9746 
38.19/38.32	v ~x3264 ~x4711 ~x8087 ~x6513 x11440 ~x1342 ~x9748 ~x3266 ~x4713 ~x8089 
38.19/38.32	v ~x127 ~x11442 ~x1344 ~x9750 ~x3268 ~x4715 ~x8091 ~x6515 ~x11444 ~x1346 
38.19/38.32	v ~x9752 ~x3270 ~x4717 ~x8093 ~x6517 ~x11445 ~x1348 ~x9754 ~x3272 ~x4719 
38.19/38.32	v ~x8095 ~x6519 ~x11447 ~x1350 ~x9756 ~x3274 ~x4721 ~x8097 ~x6521 ~x11449 
38.19/38.32	v ~x1352 ~x9758 ~x3276 ~x4723 ~x8099 ~x6523 ~x11451 ~x1354 ~x9760 ~x3278 
38.19/38.32	v ~x4725 ~x8101 ~x6525 ~x11453 ~x1356 ~x9763 ~x3280 ~x4727 ~x8103 ~x6527 
38.19/38.32	v ~x11455 ~x1358 ~x9765 ~x3282 ~x4729 ~x8105 ~x6529 ~x11457 ~x1360 ~x9767 
38.19/38.32	v ~x3284 ~x4731 ~x8106 ~x6531 ~x11459 ~x1362 ~x9769 ~x3286 ~x4733 ~x8108 
38.19/38.32	v ~x6533 ~x11461 ~x1364 ~x9771 ~x3288 ~x4735 ~x8110 ~x6535 ~x11463 ~x1366 
38.19/38.32	v ~x9773 ~x3290 ~x4737 ~x8112 ~x6537 ~x11465 ~x1368 ~x9775 ~x3292 ~x4739 
38.19/38.32	v ~x8114 ~x6539 ~x11467 ~x1370 ~x9777 ~x3294 ~x4741 ~x8116 ~x6541 ~x11469 
38.19/38.32	v ~x1372 ~x9779 ~x3296 ~x4743 ~x8118 ~x6543 ~x11471 ~x1374 ~x9781 ~x3298 
38.19/38.32	v ~x4745 ~x8120 ~x6545 ~x11473 ~x1376 ~x9783 ~x3300 ~x4747 ~x8122 ~x6547 
38.19/38.32	v ~x11475 ~x1378 ~x9785 ~x3302 ~x4749 ~x8124 ~x6549 ~x11477 ~x1380 ~x9787 
38.19/38.32	v ~x3304 ~x4751 ~x8126 ~x6551 ~x11479 ~x1382 ~x9789 ~x3306 ~x4753 ~x8128 
38.19/38.32	v ~x6553 ~x11481 ~x1384 ~x9791 ~x3308 ~x4755 ~x8130 ~x6555 ~x11483 ~x1386 
38.19/38.32	v ~x9793 ~x3310 ~x4757 ~x8132 ~x6557 ~x11485 ~x1388 ~x9796 ~x52 ~x4759 
38.19/38.32	v ~x8134 ~x6559 ~x11487 ~x1390 ~x9798 ~x3312 ~x4761 ~x8136 ~x6561 ~x11489 
38.19/38.32	v ~x1392 ~x211 ~x3314 ~x4763 ~x8138 ~x6563 ~x11491 ~x1394 ~x9800 ~x3316 
38.19/38.32	v ~x4765 ~x8140 ~x6565 ~x11493 ~x1396 ~x9802 ~x3318 ~x4767 ~x8142 ~x6567 
38.19/38.32	v ~x11495 ~x1398 ~x9804 ~x3320 ~x4769 ~x8144 ~x6569 ~x11497 ~x1400 ~x9806 
38.19/38.32	v ~x3322 ~x4771 ~x8146 ~x6571 ~x11499 ~x1402 ~x9808 ~x3324 ~x4773 ~x8148 
38.19/38.32	v ~x6573 ~x11501 ~x1404 ~x9810 ~x3326 ~x4775 ~x8150 ~x6575 ~x11503 ~x1406 
38.19/38.32	v ~x9812 ~x3328 ~x4777 ~x8152 ~x6577 ~x11505 ~x1408 ~x9814 ~x3330 ~x4779 
38.19/38.32	v ~x8154 ~x6579 ~x11507 ~x1410 ~x9816 ~x3332 ~x4781 ~x8156 ~x6581 ~x11509 
38.19/38.32	v ~x1412 ~x9818 ~x3334 ~x4783 ~x8158 ~x6583 ~x11511 ~x1414 ~x9820 ~x3336 
38.19/38.32	v ~x4785 ~x8159 ~x6585 ~x11513 ~x1416 ~x9822 ~x3338 ~x4787 ~x8161 ~x6587 
38.19/38.32	v ~x11515 ~x1418 ~x9824 ~x3340 ~x4789 ~x8163 ~x6589 ~x11517 ~x1420 ~x9826 
38.19/38.32	v ~x53 ~x4791 ~x8165 ~x6591 ~x11519 ~x1422 ~x9828 ~x3342 ~x4793 ~x8167 
38.19/38.32	v ~x6593 ~x11521 ~x1424 ~x212 ~x3344 ~x4795 ~x8169 ~x6595 ~x11523 ~x1426 
38.19/38.32	v ~x9830 ~x3346 ~x4797 ~x8171 ~x6597 ~x11525 ~x1428 ~x9832 ~x3348 ~x4798 
38.19/38.32	v ~x8173 ~x6599 ~x11527 ~x1430 ~x9834 ~x3350 ~x4800 ~x8175 ~x6601 ~x11529 
38.19/38.32	v ~x1432 ~x9836 ~x3352 ~x4802 ~x8177 ~x6603 ~x11531 ~x1434 ~x9838 ~x3354 
38.19/38.32	v ~x4804 ~x8179 ~x6605 ~x11533 ~x1436 ~x9840 ~x3356 ~x4806 ~x8181 ~x6607 
38.19/38.32	v ~x11535 ~x1438 ~x9842 ~x3358 ~x4808 ~x8183 ~x6609 ~x11537 ~x1440 ~x9844 
38.19/38.32	v ~x3360 ~x4810 ~x8185 ~x6611 ~x11539 ~x1442 ~x9846 ~x3362 ~x4812 ~x8187 
38.19/38.32	v ~x6613 ~x11541 ~x1444 ~x9849 ~x3364 ~x4814 ~x8189 ~x6615 ~x11543 ~x1446 
38.19/38.32	v ~x9851 ~x3366 ~x4816 ~x8191 ~x6617 ~x11545 ~x1448 ~x9853 ~x3368 ~x4818 
38.19/38.32	v ~x8193 ~x6619 ~x11547 ~x1450 ~x9855 ~x3370 ~x4820 ~x8195 ~x6621 ~x11548 
38.19/38.32	v ~x1452 ~x9857 ~x3372 ~x4822 ~x8197 ~x6623 ~x11550 ~x1454 ~x9859 ~x3374 
38.19/38.32	v ~x4824 ~x8199 ~x6625 ~x11552 ~x1456 ~x9861 ~x3376 ~x4826 ~x8201 ~x6627 
38.19/38.32	v ~x11554 ~x1458 ~x9863 ~x3378 ~x4828 ~x8203 ~x6629 ~x11556 ~x1460 ~x9865 
38.19/38.32	v ~x3380 ~x4830 ~x8205 ~x6631 ~x11558 ~x1462 ~x9867 ~x3382 ~x4832 ~x8207 
38.19/38.32	v ~x6633 ~x11560 ~x1464 ~x9869 ~x3384 ~x4834 ~x8209 ~x6635 ~x11562 ~x1466 
38.19/38.32	v ~x9871 ~x3386 ~x4836 ~x8211 ~x6637 ~x11564 ~x1468 ~x9873 ~x3388 ~x4838 
38.19/38.32	v ~x8213 ~x6639 ~x11566 ~x1470 ~x9875 ~x3390 ~x4840 ~x8215 ~x128 ~x11568 
38.19/38.32	v ~x1472 ~x9877 ~x3392 ~x4842 ~x8217 ~x6641 ~x11570 ~x1474 ~x9879 ~x3394 
38.19/38.32	v ~x4844 ~x8219 ~x6643 ~x11572 ~x1476 ~x9881 ~x3396 ~x4846 ~x8221 ~x6645 
38.19/38.32	v x11574 ~x1478 ~x9883 ~x3398 ~x4848 ~x8223 ~x6647 ~x11576 ~x1480 ~x9885 
38.19/38.32	v ~x3400 ~x4850 ~x8225 ~x6649 ~x11578 ~x1482 ~x9887 ~x3402 ~x4852 ~x8227 
38.19/38.32	v ~x6651 ~x11580 ~x1484 ~x9889 ~x54 ~x4854 ~x8229 ~x6653 ~x11582 ~x1486 
38.19/38.32	v ~x213 ~x3404 ~x4856 ~x8231 ~x6655 ~x11584 ~x1488 ~x9891 ~x3406 ~x4858 
38.19/38.32	v ~x8233 ~x6657 ~x11586 ~x1490 ~x9893 ~x3408 ~x4860 ~x8235 ~x6659 ~x11588 
38.19/38.32	v ~x1492 ~x9895 ~x3410 ~x4862 ~x8237 ~x6661 ~x11590 ~x1494 ~x9897 ~x3412 
38.19/38.32	v ~x4864 ~x8239 ~x6663 ~x11592 ~x1496 ~x9899 ~x3414 ~x4866 ~x8241 ~x6665 
38.19/38.32	v ~x11594 ~x1498 ~x9901 ~x3416 ~x4867 ~x8243 ~x6667 ~x11596 ~x1500 ~x9903 
38.19/38.32	v ~x3418 ~x4869 ~x8245 ~x6669 ~x11598 ~x1502 ~x9905 ~x3420 ~x4871 ~x8247 
38.19/38.32	v ~x6671 ~x11600 ~x1504 ~x9907 ~x3422 ~x4873 ~x8249 ~x6673 ~x11602 ~x1506 
38.19/38.32	v ~x9909 ~x3424 ~x4875 ~x8251 ~x6675 ~x11604 ~x1508 ~x9911 ~x3426 ~x4877 
38.19/38.32	v ~x8253 ~x6677 ~x11606 ~x1510 ~x9913 ~x3428 x4879 ~x8255 ~x6679 ~x11608 
38.19/38.32	v ~x1512 ~x9915 ~x3430 ~x4881 ~x8257 ~x6681 ~x11610 ~x1514 ~x9917 ~x3432 
38.19/38.32	v ~x4883 ~x8259 ~x6683 ~x11612 ~x1516 ~x9919 ~x55 ~x4885 ~x8261 ~x6685 
38.19/38.32	v ~x11613 ~x1518 ~x214 ~x3434 ~x4887 ~x8263 ~x6687 ~x11615 ~x1520 ~x9921 
38.19/38.32	v ~x3436 ~x4889 ~x8265 ~x6689 ~x11617 ~x1522 ~x9923 ~x3438 ~x4891 ~x8267 
38.19/38.32	v ~x6691 ~x11619 ~x1524 ~x9925 ~x3440 ~x4893 ~x8269 ~x6693 ~x11621 ~x1526 
38.19/38.32	v ~x9927 ~x3442 ~x4895 ~x8271 ~x6695 ~x11623 ~x1528 ~x9929 ~x3444 ~x4897 
38.19/38.32	v ~x8273 ~x6697 ~x11625 ~x1530 ~x9931 ~x3446 ~x4899 ~x8275 ~x6699 ~x11627 
38.19/38.32	v ~x1532 ~x9933 ~x3448 ~x4901 ~x8277 ~x6701 ~x11629 ~x1534 ~x9935 ~x3450 
38.19/38.32	v ~x4903 ~x8279 ~x129 ~x11631 ~x1536 ~x9937 ~x3452 ~x4905 ~x8281 ~x6703 
38.19/38.32	v ~x11633 ~x1538 ~x9939 ~x3454 ~x4907 ~x8283 ~x6705 ~x11635 ~x1540 ~x9941 
38.19/38.32	v ~x3456 ~x4909 ~x8285 ~x6707 ~x11637 ~x1542 ~x9943 ~x3458 ~x4911 ~x8287 
38.19/38.32	v ~x6709 ~x11639 ~x1544 ~x9945 ~x3460 ~x4913 ~x8289 ~x6711 ~x11641 ~x1546 
38.19/38.32	v ~x9947 ~x3462 ~x4915 ~x8291 ~x6713 ~x11643 ~x1548 ~x9949 ~x56 ~x4917 
38.19/38.32	v ~x8293 ~x6715 ~x11645 ~x1550 ~x215 ~x3464 ~x4919 ~x8295 ~x6717 ~x11647 
38.19/38.32	v ~x1552 ~x9951 ~x3466 ~x4921 ~x8297 ~x6719 ~x11649 ~x1554 ~x9953 ~x3468 
38.19/38.32	v ~x4923 ~x8299 ~x6721 ~x11651 ~x1556 ~x9955 ~x3470 ~x4925 ~x8301 ~x6723 
38.19/38.32	v ~x11653 ~x1558 ~x9957 ~x3472 ~x4927 ~x8303 ~x6725 ~x11655 ~x1560 ~x9959 
38.19/38.32	v ~x3474 ~x4929 ~x8305 ~x6727 ~x11657 ~x1562 ~x9961 ~x3476 ~x4931 ~x8307 
38.19/38.32	v ~x6729 ~x11659 ~x1564 ~x9963 ~x57 ~x4933 ~x8309 ~x6731 ~x11661 ~x1566 
38.19/38.32	v ~x216 ~x3478 ~x4935 ~x8311 ~x6733 ~x11663 ~x1568 ~x9965 ~x3480 ~x4937 
38.19/38.32	v ~x8313 ~x6735 ~x11665 ~x1570 ~x9967 ~x3482 ~x4939 ~x8315 ~x6737 ~x11667 
38.19/38.32	v ~x1572 ~x9970 ~x3484 ~x4941 ~x8317 ~x6739 ~x11669 ~x1574 ~x9972 ~x3486 
38.19/38.32	v ~x4943 ~x8319 ~x6741 ~x11671 ~x1576 ~x9974 ~x3488 ~x4945 ~x8321 ~x6743 
38.19/38.32	v ~x11673 ~x1578 ~x9976 ~x3490 ~x4947 ~x8323 ~x6745 ~x11675 ~x1580 ~x9978 
38.19/38.32	v ~x3492 ~x4949 ~x8325 ~x6747 ~x11677 ~x1582 ~x9980 ~x3494 ~x4951 ~x8327 
38.19/38.32	v ~x6749 ~x11679 ~x1584 ~x9982 ~x3496 ~x4953 ~x8329 ~x6751 ~x11681 ~x1586 
38.19/38.32	v ~x9984 ~x3498 ~x4955 ~x8330 ~x6753 ~x11683 ~x1588 ~x9986 ~x3500 ~x4957 
38.19/38.32	v ~x8332 ~x6755 ~x11685 ~x1590 ~x9988 ~x3502 ~x4959 ~x8334 ~x6757 ~x11687 
38.19/38.32	v ~x1592 ~x9990 ~x3504 ~x4961 ~x8336 ~x6759 ~x11689 ~x1594 ~x9992 ~x3506 
38.19/38.32	v ~x4963 ~x8338 ~x6761 ~x11691 ~x1596 ~x9994 ~x3508 ~x4965 ~x8340 ~x6763 
38.19/38.32	v ~x11693 ~x1598 ~x9996 ~x3510 ~x4967 ~x8342 ~x130 ~x11695 ~x1600 ~x9998 
38.19/38.32	v ~x3512 ~x4969 ~x8344 ~x6765 ~x11697 ~x1602 ~x10000 ~x3514 ~x4971 ~x8346 
38.19/38.32	v ~x6767 ~x11698 ~x1604 ~x10002 ~x3516 ~x4973 ~x8348 ~x6769 ~x11700 ~x1606 
38.19/38.32	v ~x10004 ~x3518 ~x4975 ~x8350 ~x6771 ~x11702 ~x1608 ~x10006 ~x3520 ~x4977 
38.19/38.32	v ~x8352 ~x6773 ~x11704 ~x1610 ~x10008 ~x3522 ~x4979 ~x8354 ~x6775 ~x11706 
38.19/38.32	v ~x1612 ~x10010 ~x3524 ~x4981 ~x8356 ~x6777 ~x11708 ~x1614 ~x10012 ~x3526 
38.19/38.32	v ~x4983 ~x8358 ~x6779 ~x11710 ~x1616 ~x10014 ~x3528 ~x4985 ~x8360 ~x6781 
38.19/38.32	v ~x11712 ~x1618 ~x10016 ~x3530 ~x4987 ~x8362 ~x6783 ~x11714 ~x1620 ~x10018 
38.19/38.32	v ~x3532 ~x4989 ~x8364 ~x6785 ~x11716 ~x1622 ~x10020 ~x3534 ~x4991 ~x8366 
38.19/38.32	v ~x6787 x11718 ~x1624 ~x10022 ~x3536 ~x4993 ~x8368 ~x6789 ~x11720 ~x1626 
38.19/38.32	v ~x10024 ~x3538 ~x4995 ~x8370 ~x6791 ~x11722 ~x1628 ~x217 ~x58 ~x4997 
38.19/38.32	v ~x8372 ~x6793 x11723 ~x1630 ~x10026 ~x3540 ~x4999 ~x8374 ~x131 ~x11725 
38.19/38.32	v ~x1632 ~x10028 ~x3542 ~x5001 ~x8376 ~x6795 x11727 ~x1634 ~x10031 ~x3544 
38.19/38.32	v ~x5003 ~x8378 ~x6797 x11728 ~x1636 ~x10033 ~x3546 ~x5005 ~x8380 ~x6799 
38.19/38.32	v x11729 ~x1638 ~x10035 ~x3548 ~x5007 ~x8382 ~x6801 ~x1640 ~x10037 ~x3550 
38.19/38.32	v ~x5009 ~x8384 ~x6803 ~x1642 ~x10039 ~x3552 ~x5011 ~x8386 ~x6805 ~x1644 
38.19/38.32	v ~x10041 ~x3554 ~x5012 ~x8388 ~x6807 ~x1646 ~x10043 ~x3556 ~x5014 ~x8390 
38.19/38.32	v ~x6809 ~x1648 ~x10045 ~x3559 ~x5016 ~x8392 ~x6811 ~x1650 ~x10047 ~x3561 
38.19/38.32	v ~x5018 ~x8394 ~x6813 ~x1652 ~x10049 ~x3563 ~x5020 ~x8396 ~x6815 ~x1654 
38.19/38.32	v ~x10051 ~x3565 ~x5022 ~x8398 ~x6817 ~x1656 ~x10053 ~x3567 ~x5024 ~x8400 
38.19/38.32	v ~x6819 ~x1658 ~x218 ~x59 ~x5026 ~x8402 ~x6821 ~x1660 ~x10055 ~x3569 
38.19/38.32	v ~x5028 ~x8404 ~x6823 ~x1662 ~x10057 ~x3571 ~x5030 ~x8406 ~x6825 ~x297 
38.19/38.32	v ~x1664 ~x10059 ~x3573 ~x5032 ~x8408 ~x6827 x299 ~x1666 ~x10061 ~x3575 
38.19/38.32	v ~x5034 ~x8410 ~x6829 ~x301 ~x1668 ~x10063 ~x3577 ~x5036 ~x8412 ~x6831 
38.19/38.32	v ~x303 ~x1670 ~x10065 ~x3579 ~x5038 ~x8414 ~x6833 ~x305 ~x1672 ~x10067 
38.19/38.32	v ~x3581 ~x5040 ~x8416 ~x6835 ~x307 ~x1674 ~x10069 ~x3583 ~x5042 ~x8418 
38.19/38.32	v ~x6837 ~x309 ~x1676 ~x10071 ~x3585 ~x5044 ~x8420 ~x6839 ~x311 ~x1678 
38.19/38.32	v ~x10074 ~x3587 ~x5046 ~x8422 ~x6841 ~x313 ~x1680 ~x10076 ~x3589 ~x5048 
38.19/38.32	v ~x8424 ~x6843 ~x315 ~x1682 ~x10078 ~x3591 ~x5050 ~x8426 ~x6845 ~x317 
38.19/38.32	v ~x1684 ~x10080 ~x3593 ~x5052 ~x8428 ~x6847 ~x319 ~x1686 ~x10082 ~x3595 
38.19/38.32	v ~x5054 ~x8430 ~x6849 ~x321 ~x1688 ~x219 ~x3597 ~x5056 ~x8432 ~x6851 
38.19/38.32	v ~x323 ~x1690 ~x10084 ~x60 ~x5058 ~x8434 ~x6853 ~x325 ~x1692 ~x10086 
38.19/38.32	v ~x3599 ~x5060 ~x8436 ~x6855 ~x327 ~x1694 ~x10088 ~x3601 ~x5062 ~x8438 
38.19/38.32	v ~x6857 ~x329 ~x1696 ~x10090 ~x3603 ~x5064 ~x8440 ~x6859 ~x331 ~x1698 
38.19/38.32	v ~x10092 ~x3605 ~x5066 ~x8442 ~x6861 ~x333 ~x1700 ~x10094 ~x3607 ~x5068 
38.19/38.32	v ~x8444 ~x6863 ~x335 ~x1702 ~x10096 ~x3609 ~x5070 ~x8446 ~x6865 ~x337 
38.19/38.32	v ~x1704 ~x10098 ~x61 ~x5072 ~x8448 ~x6867 ~x339 ~x1706 ~x10100 ~x3611 
38.19/38.32	v ~x5074 ~x8450 ~x6869 ~x341 ~x1708 x10102 ~x3613 ~x5076 ~x8452 ~x6871 
38.19/38.32	v ~x343 ~x1710 ~x10104 ~x3615 ~x5078 ~x8454 ~x6873 ~x345 ~x1712 ~x10106 
38.19/38.32	v ~x3617 ~x5080 ~x8456 ~x6875 ~x347 ~x1714 ~x10108 ~x3619 ~x5082 ~x8458 
38.19/38.32	v ~x6877 ~x349 ~x1716 ~x10110 ~x3621 ~x5084 ~x8460 ~x6879 ~x351 ~x1718 
38.19/38.32	v ~x10112 ~x3623 ~x5086 ~x8462 ~x6881 ~x353 ~x1720 ~x10114 ~x3625 ~x5088 
38.19/38.32	v ~x8464 ~x6883 ~x355 ~x1722 ~x10116 ~x3627 ~x5090 ~x8466 ~x6885 ~x357 
38.19/38.32	v ~x1724 ~x10118 ~x3629 ~x5092 ~x8468 ~x6887 ~x359 ~x1726 ~x10120 ~x3631 
38.19/38.32	v ~x5094 ~x8470 ~x6889 ~x1 ~x1727 ~x10122 ~x3633 ~x5096 ~x8472 ~x6891 
38.19/38.33	v ~x361 ~x1729 ~x10124 ~x3635 ~x5098 ~x8474 ~x6893 ~x363 ~x1731 ~x10126 
38.19/38.33	v ~x3637 ~x5100 ~x8476 ~x6895 ~x365 ~x1733 ~x220 ~x3639 ~x5102 ~x8478 
38.19/38.33	v ~x6897 ~x367 ~x1735 ~x10128 ~x62 ~x5104 ~x8480 ~x6899 ~x369 ~x1737 
38.19/38.33	v ~x10130 ~x3641 ~x5106 ~x8482 ~x6901 ~x371 ~x1739 ~x10132 ~x3643 ~x5108 
38.19/38.33	v ~x8484 ~x6903 ~x373 ~x1741 ~x10134 ~x3645 ~x5110 ~x8486 ~x6905 ~x375 
38.19/38.33	v ~x1743 ~x10136 ~x3647 ~x5112 ~x8488 ~x6907 ~x377 ~x1745 ~x10138 ~x3649 
38.19/38.33	v ~x5114 ~x8490 ~x6909 ~x379 ~x1747 ~x10140 ~x3651 ~x5116 ~x8492 ~x6911 
38.19/38.33	v ~x381 ~x1749 ~x221 ~x3653 ~x5118 ~x8494 ~x6913 ~x383 ~x1751 ~x10142 
38.19/38.33	v ~x63 ~x5120 ~x8496 ~x6915 ~x385 ~x1753 ~x10144 ~x3655 ~x5122 ~x8498 
38.19/38.33	v ~x6917 ~x387 ~x1755 ~x10146 ~x3658 ~x5124 ~x8500 ~x6919 ~x389 ~x1757 
38.19/38.33	v ~x10148 ~x3660 ~x5126 ~x8502 ~x132 ~x2 ~x1759 ~x10150 ~x3662 ~x5128 
38.19/38.33	v ~x8504 ~x6921 ~x391 ~x1761 ~x10152 ~x3664 ~x5130 ~x8506 ~x6923 ~x393 
38.19/38.33	v ~x1763 ~x10154 ~x3666 ~x5132 ~x8508 ~x6925 ~x395 ~x1765 ~x222 ~x64 
38.19/38.33	v ~x5134 ~x8510 ~x6927 ~x397 ~x1767 ~x10156 ~x3668 ~x5136 ~x8512 ~x6929 
38.19/38.33	v ~x399 ~x1769 ~x10158 ~x3670 ~x5138 ~x8514 ~x6931 ~x401 ~x1771 ~x10160 
38.19/38.33	v ~x3672 ~x5140 ~x8516 ~x6933 ~x403 ~x1773 ~x223 ~x65 ~x5142 ~x8518 
38.19/38.33	v ~x6935 ~x405 ~x1775 ~x10162 ~x3674 ~x5144 ~x8520 ~x6937 ~x407 ~x1777 
38.19/38.33	v ~x10164 ~x3676 ~x5146 ~x8522 ~x6939 ~x409 ~x1779 ~x10166 ~x3678 ~x5148 
38.19/38.33	v ~x8524 ~x6941 ~x411 ~x1781 ~x10168 ~x3680 ~x5150 ~x8526 ~x6943 ~x413 
38.19/38.33	v ~x1783 ~x10170 ~x3682 ~x5152 ~x8528 ~x6945 ~x415 ~x1785 ~x10172 ~x3684 
38.19/38.33	v ~x5154 ~x8530 ~x6947 ~x417 ~x1787 ~x10174 ~x3686 ~x5156 ~x8532 ~x6949 
38.19/38.33	v ~x419 ~x1789 ~x10176 ~x3688 ~x5158 ~x8534 ~x6951 ~x3 ~x1791 ~x10178 
38.19/38.33	v ~x3690 ~x5160 ~x8536 ~x6953 ~x421 ~x1793 ~x10180 ~x3692 ~x5162 ~x8538 
38.19/38.33	v ~x6955 ~x423 ~x1795 ~x10182 ~x3694 ~x5164 ~x8540 ~x6957 ~x425 ~x1797 
38.19/38.33	v ~x10184 ~x3696 ~x5166 ~x8542 ~x6959 ~x427 ~x1799 ~x10186 ~x3698 ~x5168 
38.19/38.33	v ~x8544 ~x6961 ~x429 ~x1801 ~x10188 ~x3700 ~x5170 ~x8546 ~x6963 ~x431 
38.19/38.33	v ~x1803 ~x10190 ~x3702 ~x5172 ~x8548 ~x6965 ~x433 ~x1805 ~x10192 ~x3704 
38.19/38.33	v ~x5174 ~x8550 ~x6967 ~x4 ~x1807 ~x10194 ~x3707 ~x5176 ~x8552 ~x6969 
38.19/38.33	v ~x435 ~x1809 ~x10196 ~x3709 ~x5178 ~x8554 ~x6971 ~x437 ~x1811 ~x10198 
38.19/38.33	v ~x3711 ~x5180 ~x8556 ~x6973 ~x439 ~x1813 ~x10200 ~x3713 ~x5182 ~x8558 
38.19/38.33	v ~x6975 ~x441 ~x1815 ~x10202 ~x3715 ~x5184 ~x8560 ~x6977 ~x443 ~x1817 
38.19/38.33	v ~x10204 ~x3717 ~x5186 ~x8562 ~x6979 ~x445 ~x1819 ~x10206 ~x3719 ~x5188 
38.19/38.33	v ~x8564 ~x133 ~x447 ~x1821 ~x10209 ~x3721 ~x5190 ~x8566 ~x6981 ~x449 
38.19/38.33	v ~x1823 ~x10211 ~x3723 ~x5192 ~x8568 ~x6983 ~x451 ~x1825 ~x10213 ~x3725 
38.19/38.33	v ~x5194 ~x8570 ~x6985 ~x453 ~x1827 ~x10215 ~x3727 ~x5196 ~x8572 ~x6987 
38.19/38.33	v ~x455 ~x1829 ~x10217 ~x3729 ~x5198 ~x8574 ~x6989 ~x457 ~x1831 ~x10219 
38.19/38.33	v ~x3731 ~x5200 ~x8576 ~x6991 ~x459 ~x1833 ~x10221 ~x3733 ~x5202 ~x8578 
38.19/38.33	v ~x6993 ~x461 ~x1835 ~x224 ~x66 ~x5204 ~x8580 ~x6995 ~x463 ~x1837 
38.19/38.33	v ~x10223 ~x3735 ~x5206 ~x8582 ~x6997 ~x5 ~x1839 ~x10225 ~x3737 ~x5208 
38.19/38.33	v ~x8584 ~x6999 ~x465 ~x1841 ~x10227 ~x3739 ~x5210 ~x8586 ~x7001 ~x467 
38.19/38.33	v ~x1843 ~x10229 ~x3741 ~x5212 ~x8588 ~x7003 ~x469 ~x1845 ~x10231 ~x3743 
38.19/38.33	v ~x5214 ~x8590 ~x7005 ~x471 ~x1847 ~x10233 ~x3745 ~x5216 ~x8592 ~x7007 
38.19/38.33	v ~x473 ~x1849 ~x10235 ~x3747 ~x5218 ~x8594 ~x7009 ~x475 ~x1851 ~x10237 
38.19/38.33	v ~x3749 ~x5220 ~x8596 ~x7011 ~x6 ~x1853 ~x10239 ~x3751 ~x5222 ~x8598 
38.19/38.33	v ~x7013 ~x478 ~x1855 ~x10241 ~x3753 ~x5224 ~x8600 ~x7015 ~x480 ~x1857 
38.19/38.33	v ~x10243 ~x3755 ~x5226 ~x8602 ~x7017 ~x482 ~x1859 ~x10245 ~x3757 ~x5228 
38.19/38.33	v ~x8604 ~x7019 ~x484 ~x1861 ~x10247 ~x3759 ~x5230 ~x8606 ~x7021 ~x486 
38.19/38.33	v ~x1863 ~x10249 ~x3761 ~x5232 ~x8608 ~x7023 ~x488 ~x1865 ~x10251 ~x3763 
38.19/38.33	v ~x5234 ~x8610 ~x7025 ~x490 ~x1867 ~x10253 ~x67 ~x5236 ~x8612 ~x7027 
38.19/38.33	v ~x7 ~x1869 ~x10256 ~x3765 ~x5238 ~x8614 ~x7029 ~x492 ~x1871 ~x10258 
38.19/38.33	v ~x3767 ~x5240 ~x8616 ~x7031 ~x494 ~x1873 ~x10260 ~x3769 ~x5242 ~x8618 
38.19/38.33	v ~x7033 ~x496 ~x1875 ~x10262 ~x3771 ~x5244 ~x8620 ~x7035 ~x498 ~x1877 
38.19/38.33	v ~x10264 ~x3773 ~x5246 ~x8622 ~x7037 ~x500 ~x1879 ~x10266 ~x3775 ~x5248 
38.19/38.33	v ~x8624 ~x7039 ~x502 ~x1881 x10268 ~x3777 ~x5250 ~x8626 ~x7041 ~x504 
38.19/38.33	v ~x1883 ~x10270 ~x3779 ~x5252 ~x8628 ~x134 ~x506 ~x1885 ~x10272 ~x3781 
38.19/38.33	v ~x5254 ~x8630 ~x7043 ~x508 ~x1887 ~x10274 ~x3783 ~x5256 ~x8632 ~x7045 
38.19/38.33	v ~x510 ~x1889 ~x10276 ~x3785 ~x5258 ~x8634 ~x7047 ~x512 ~x1891 ~x10278 
38.19/38.33	v ~x3787 ~x5260 ~x8636 ~x7049 ~x514 ~x1893 ~x10280 ~x3789 ~x5262 ~x8638 
38.19/38.33	v ~x7051 ~x516 ~x1895 x225 ~x3791 ~x5264 ~x8640 ~x7053 ~x518 ~x1897 
38.19/38.33	v ~x10282 ~x3793 ~x5266 ~x8642 ~x7055 ~x520 ~x1899 ~x10284 ~x68 ~x5268 
38.19/38.33	v ~x8644 ~x7057 ~x522 ~x1901 ~x10286 ~x3795 ~x5270 ~x8646 ~x7059 ~x524 
38.19/38.33	v ~x1903 ~x10288 ~x3797 ~x5272 ~x8648 ~x7061 ~x526 ~x1905 ~x10290 ~x3799 
38.19/38.33	v ~x5274 ~x8650 ~x7063 ~x528 ~x1907 x10292 ~x3801 ~x5276 ~x8652 ~x7065 
38.19/38.33	v ~x530 ~x1909 ~x10294 ~x3803 ~x5278 ~x8654 ~x7067 ~x532 ~x1911 ~x226 
38.19/38.33	v ~x3805 ~x5280 ~x8656 ~x7069 ~x534 ~x1913 ~x10296 ~x3807 ~x5282 ~x8658 
38.19/38.33	v ~x7071 ~x536 ~x1915 ~x10298 ~x69 ~x5284 ~x8660 ~x135 ~x538 ~x1917 
38.19/38.33	v ~x10300 ~x3809 ~x5286 ~x8662 ~x7073 ~x540 ~x1919 ~x10302 ~x3811 ~x5288 
38.19/38.33	v ~x8664 ~x7075 ~x542 ~x1921 ~x10304 ~x3813 ~x5290 ~x8666 ~x7077 ~x544 
38.19/38.33	v ~x1923 ~x10306 ~x3815 ~x5292 ~x8668 ~x7079 ~x546 ~x1925 ~x10308 ~x3817 
38.19/38.33	v ~x5294 ~x8670 ~x7081 ~x548 ~x1927 ~x10310 ~x3819 ~x5296 ~x8672 ~x7083 
38.19/38.33	v ~x550 ~x1929 ~x10312 ~x3821 ~x5298 ~x8674 ~x7085 ~x552 ~x1931 ~x10314 
38.19/38.33	v ~x3823 ~x5300 ~x8676 ~x7087 ~x554 ~x1933 ~x10316 ~x3825 ~x5302 ~x8678 
38.19/38.33	v ~x7089 ~x556 ~x1935 ~x10318 ~x3827 ~x5304 ~x8680 ~x7091 ~x558 ~x1937 
38.19/38.33	v ~x10320 ~x3829 ~x5306 ~x8682 ~x7093 ~x560 ~x1939 ~x10322 ~x3831 ~x5308 
38.19/38.33	v ~x8684 ~x7095 ~x562 ~x1941 ~x10324 ~x3833 ~x5310 ~x8686 ~x7097 x564 
38.19/38.33	v ~x1943 x227 ~x3835 ~x5312 ~x8688 ~x7099 ~x566 ~x1945 ~x10326 ~x3837 
38.19/38.33	v ~x5314 ~x8690 ~x7101 ~x568 ~x1947 ~x10328 ~x3839 ~x5316 ~x8692 ~x7103 
38.19/38.33	v ~x570 ~x1949 x10330 ~x3841 ~x5318 ~x8694 ~x7105 ~x572 ~x1951 ~x10332 
38.19/38.33	v ~x3843 ~x5320 ~x8696 ~x7107 ~x574 ~x1953 ~x10334 ~x3845 ~x5322 ~x8698 
38.19/38.33	v ~x7109 ~x576 ~x1955 ~x10336 ~x3847 ~x5324 ~x8700 ~x7111 ~x578 ~x1957 
38.19/38.33	v ~x10338 ~x3849 x5326 ~x8702 ~x7113 ~x580 ~x1959 ~x228 ~x3851 ~x5328 
38.19/38.33	v ~x8704 ~x7115 ~x582 ~x1961 ~x10340 ~x3853 ~x5330 ~x8706 ~x7117 ~x584 
38.19/38.33	v ~x1963 ~x10342 ~x3855 ~x5332 ~x8708 ~x7119 ~x586 ~x1965 ~x10344 ~x3857 
38.19/38.33	v ~x5334 ~x8710 ~x7121 ~x588 ~x1967 ~x10346 ~x3859 ~x5336 ~x8712 ~x7123 
38.19/38.33	v ~x590 ~x1969 ~x10348 ~x3861 ~x5338 ~x8714 ~x7125 ~x592 ~x1971 ~x10350 
38.19/38.33	v ~x3863 ~x5340 ~x8715 ~x7127 ~x594 ~x1973 ~x10352 ~x3865 ~x5342 

OK	26

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: 63837 MiB (62877 MiB free)
  memory of node 1: 64465 MiB (59137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528387-1752239544/watcher-4528387-1752239544 -o /tmp/evaluation-result-4528387-1752239544/solver-4528387-1752239544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752239544-120888 --watchdog 3760 pb_picat HOME/instance-4528387-1752239544.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=120942, runsolver pid=120930

[startup+0.100103 s]*
/proc/loadavg: 1.17 1.11 1.36 6/252 120947
/proc/meminfo: memFree=124918484/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2027148 memory=27888 CPUtime=0.1 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 1008 0 0 0 9 1 0 0 20 0 1 0 139633589 2075799552 6972 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 506787 6972 1536 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27888 KiB

[startup+0.213045 s]*
/proc/loadavg: 1.17 1.11 1.36 5/252 120947
/proc/meminfo: memFree=124892900/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2027148 memory=32028 CPUtime=0.2 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 1021 0 0 0 19 1 0 0 20 0 1 0 139633589 2075799552 8007 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 506787 8007 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32028 KiB

[startup+0.312563 s]*
/proc/loadavg: 1.17 1.11 1.36 5/252 120947
/proc/meminfo: memFree=124867568/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2027148 memory=38172 CPUtime=0.3 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 1024 0 0 0 29 1 0 0 20 0 1 0 139633589 2075799552 9543 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 506787 9543 1536 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38172 KiB

[startup+0.700242 s]
/proc/loadavg: 1.17 1.11 1.36 6/252 120947
/proc/meminfo: memFree=124838456/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2034964 memory=63040 CPUtime=0.67 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 1080 0 0 0 65 2 0 0 20 0 1 0 139633589 2083803136 15760 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 508741 15760 1568 343 0 505805 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 63040 KiB

[startup+1.50029 s]
/proc/loadavg: 1.17 1.11 1.36 6/252 120947
/proc/meminfo: memFree=124746600/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2053092 memory=98844 CPUtime=1.47 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 7691 0 0 0 142 5 0 0 20 0 1 0 139633589 2102366208 24711 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 513273 24711 1728 343 0 510337 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2053092 KiB
Current children cumulated memory: 98844 KiB

[startup+3.11229 s]
/proc/loadavg: 1.17 1.11 1.36 6/252 120947
/proc/meminfo: memFree=124663584/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2056252 memory=100720 CPUtime=3.09 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 16126 0 0 0 301 8 0 0 20 0 1 0 139633589 2105602048 25180 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 514063 25180 1728 343 0 511127 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2056252 KiB
Current children cumulated memory: 100720 KiB

[startup+6.30028 s]
/proc/loadavg: 1.39 1.16 1.37 6/252 120947
/proc/meminfo: memFree=124644612/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2056252 memory=100748 CPUtime=6.26 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 24557 0 0 0 616 10 0 0 20 0 1 0 139633589 2105602048 25187 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 514063 25187 1728 343 0 511127 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2056252 KiB
Current children cumulated memory: 100748 KiB

[startup+12.7002 s]
/proc/loadavg: 1.60 1.21 1.39 6/252 120947
/proc/meminfo: memFree=124615976/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=12.65 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 30226 0 0 0 1253 12 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.34 1.43 6/252 120947
/proc/meminfo: memFree=124604604/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104332 CPUtime=25.42 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35416 0 0 0 2528 14 0 0 20 0 1 0 139633589 2109796352 26083 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26083 1728 343 0 512151 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104332 KiB

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

# cumulated CPU time of all completed processes:  user=38.0656 s, system=0.160399 s

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

[startup+25.6003 s]
/proc/loadavg: 2.14 1.34 1.43 6/252 120947
/proc/meminfo: memFree=124604604/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104332 CPUtime=25.52 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35416 0 0 0 2538 14 0 0 20 0 1 0 139633589 2109796352 26083 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26083 1728 343 0 512151 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104332 KiB

[startup+32.0002 s]*
/proc/loadavg: 2.28 1.39 1.44 6/252 120947
/proc/meminfo: memFree=124600540/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=31.91 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35432 0 0 0 3177 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+35.2002 s]
/proc/loadavg: 2.42 1.43 1.46 6/252 120947
/proc/meminfo: memFree=124600612/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=35.09 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35432 0 0 0 3495 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 35.09 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+36.8002 s]
/proc/loadavg: 2.42 1.43 1.46 6/252 120947
/proc/meminfo: memFree=124600660/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=36.69 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35432 0 0 0 3655 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 36.69 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+37.6002 s]
/proc/loadavg: 2.42 1.43 1.46 6/252 120948
/proc/meminfo: memFree=124600676/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=37.49 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35434 0 0 0 3735 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 37.49 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+38.0002 s]*
/proc/loadavg: 2.42 1.43 1.46 6/252 120948
/proc/meminfo: memFree=124600676/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=37.9 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35434 0 0 0 3776 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 37.9 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+38.2002 s]
/proc/loadavg: 2.42 1.43 1.46 6/252 120948
/proc/meminfo: memFree=124600676/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=38.09 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35434 0 0 0 3795 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 38.09 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

[startup+38.3002 s]
/proc/loadavg: 2.42 1.43 1.46 6/252 120948
/proc/meminfo: memFree=124600676/131382112 swapFree=33000116/33010684
[pid=120942] ppid=120930 vsize=2060348 memory=104460 CPUtime=38.19 cores=4,6
/proc/120942/stat : 120942 (pb_picat) R 120930 120942 119344 0 -1 4194304 35434 0 0 0 3805 14 0 0 20 0 1 0 139633589 2109796352 26115 18446744073709551615 94423912439808 94423913841389 140730943905408 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94423914112816 94423915987056 94423933636608 140730943908252 140730943908328 140730943908328 140730943913932 0
/proc/120942/statm: 515087 26115 1728 343 0 512151 0
Current children cumulated CPU time: 38.19 s
Current children cumulated vsize: 2060348 KiB
Current children cumulated memory: 104460 KiB

Child status: 0

Real time (s): 38.3326
CPU time (s): 38.226
CPU user time (s): 38.0656
CPU system time (s): 0.160399
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 2060348
Max. memory (cumulated for all children) (KiB): 104688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.0656
system time used= 0.160399
maximum resident set size= 104716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35455
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= 103
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 120942
#   total CPU time (s): 38.226
#   total CPU user time (s): 38.0656
#   total CPU system time (s): 0.160399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.222502 second user time and 0.406112 second system time

The end

Begin job on nodeC007 at 2025-07-11 15:12:24
IDJOB=4528387
IDBENCH=148144
IDSOLVER=3385
FILE ID=nodeC007/4528387-1752239544
RUNJOBID= nodeC007-1752239544-120888
SLURM_JOB_ID= 9682518
Free space on /tmp= 431084 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528387-1752239544/watcher-4528387-1752239544 -o /tmp/evaluation-result-4528387-1752239544/solver-4528387-1752239544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752239544-120888 --watchdog 3760  pb_picat HOME/instance-4528387-1752239544.opb

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

MD5SUM BENCH= 77a3dc3c6688d0f09e65e252caf4dce1
RANDOM SEED=1819865347

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        124929120 kB
MemAvailable:   129738780 kB
Buffers:              16 kB
Cached:          5475672 kB
SwapCached:         2804 kB
Active:           338128 kB
Inactive:        5205296 kB
Active(anon):      44680 kB
Inactive(anon):    35084 kB
Active(file):     293448 kB
Inactive(file):  5170212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000116 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17748 kB
Writeback:             0 kB
AnonPages:         68104 kB
Mapped:            99724 kB
Shmem:             12012 kB
KReclaimable:     371252 kB
Slab:             463948 kB
SReclaimable:     371252 kB
SUnreclaim:        92696 kB
KernelStack:        3904 kB
PageTables:         2980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     344916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431068 MiB
End job on nodeC007 at 2025-07-11 15:13:03