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