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

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: 63968 MiB (62225 MiB free)
  memory of node 1: 64473 MiB (63259 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446442-1721329769/watcher-4446442-1721329769 -o /tmp/evaluation-result-4446442-1721329769/solver-4446442-1721329769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976183 --watchdog 3760 pb_picat HOME/instance-4446442-1721329769.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=978189, runsolver pid=978186
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128468028/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2033608 memory=36348 CPUtime=0.1 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 553 0 0 0 10 0 0 0 20 0 1 0 185143067 2082414592 9087 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 508402 9087 1555 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36348 KiB

[startup+0.205739 s]*
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128445220/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2033608 memory=56828 CPUtime=0.2 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 566 0 0 0 20 0 0 0 20 0 1 0 185143067 2082414592 14207 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 508402 14207 1555 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 56828 KiB

[startup+0.305631 s]*
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128426612/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2033608 memory=75260 CPUtime=0.3 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 578 0 0 0 29 1 0 0 20 0 1 0 185143067 2082414592 18815 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 508402 18815 1555 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 75260 KiB

[startup+0.700233 s]
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128389532/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2033608 memory=147064 CPUtime=0.69 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 624 0 0 0 67 2 0 0 20 0 1 0 185143067 2082414592 36766 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 508402 36766 1555 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 147064 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128299180/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2033608 memory=289612 CPUtime=1.48 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 1037 0 0 0 143 5 0 0 20 0 1 0 185143067 2082414592 72403 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 508402 72403 1555 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 289612 KiB

[startup+3.10585 s]
/proc/loadavg: 4.17 4.11 4.01 5/254 978190
/proc/meminfo: memFree=128175148/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2061616 memory=338840 CPUtime=3.09 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 9756 0 0 0 289 20 0 0 20 0 1 0 185143067 2111094784 84710 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 515404 84710 1729 439 0 510833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2061616 KiB
Current children cumulated memory: 338840 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.11 4.01 5/254 978191
/proc/meminfo: memFree=128167020/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2062336 memory=339340 CPUtime=6.27 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 19929 0 0 0 604 23 0 0 20 0 1 0 185143067 2111832064 84835 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 515584 84835 1729 439 0 511013 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2062336 KiB
Current children cumulated memory: 339340 KiB

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

# cumulated CPU time of all completed processes:  user=8.55638 s, system=0.258371 s

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

[startup+6.40025 s]
/proc/loadavg: 4.16 4.11 4.01 5/254 978191
/proc/meminfo: memFree=128167020/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2062336 memory=341388 CPUtime=6.37 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 19980 0 0 0 614 23 0 0 20 0 1 0 185143067 2111832064 85347 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 515584 85347 1729 439 0 511013 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2062336 KiB
Current children cumulated memory: 341388 KiB

[startup+8.00021 s]*
/proc/loadavg: 4.16 4.11 4.01 5/254 978191
/proc/meminfo: memFree=128179812/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2054144 memory=338036 CPUtime=7.97 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 24275 0 0 0 773 24 0 0 20 0 1 0 185143067 2103443456 84509 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 513536 84509 1729 439 0 508965 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2054144 KiB
Current children cumulated memory: 338036 KiB

[startup+8.4002 s]
/proc/loadavg: 4.16 4.11 4.01 5/254 978191
/proc/meminfo: memFree=128179812/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2062336 memory=339340 CPUtime=8.36 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 24619 0 0 0 812 24 0 0 20 0 1 0 185143067 2111832064 84835 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 515584 84835 1729 439 0 511013 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 2062336 KiB
Current children cumulated memory: 339340 KiB

[startup+8.80021 s]
/proc/loadavg: 4.16 4.11 4.01 5/254 978191
/proc/meminfo: memFree=128179812/131524600 swapFree=131071996/131071996
[pid=978189] ppid=978186 vsize=2054144 memory=335752 CPUtime=8.77 cores=1,3
/proc/978189/stat : 978189 (pb_picat) R 978186 978189 976171 0 -1 4194304 26379 0 0 0 852 25 0 0 20 0 1 0 185143067 2103443456 83938 134679101440 4194304 5989780 140721478786384 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40644608 140721478788120 140721478788196 140721478788196 140721478795212 0
/proc/978189/statm: 513536 83938 1729 439 0 508965 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 2054144 KiB
Current children cumulated memory: 335752 KiB

Child status: 0

Real time (s): 8.83801
CPU time (s): 8.81475
CPU user time (s): 8.55638
CPU system time (s): 0.258371
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 2062336
Max. memory (cumulated for all children) (KiB): 344260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.55638
system time used= 0.258371
maximum resident set size= 344260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26591
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= 14


# summary of solver processes directly reported to runsolver:
#   pid: 978189
#   total CPU time (s): 8.81475
#   total CPU user time (s): 8.55638
#   total CPU system time (s): 0.258371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025911 second user time and 0.079154 second system time

The end

Begin job on nodeC026 at 2024-07-18 21:09:42
IDJOB=4446442
IDBENCH=155596
IDSOLVER=3068
FILE ID=nodeC026/4446442-1721329769
RUNJOBID= nodeC026-1721327502-976183
SLURM_JOB_ID= 7542685
Free space on /tmp= 890064 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-33.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446442-1721329769/watcher-4446442-1721329769 -o /tmp/evaluation-result-4446442-1721329769/solver-4446442-1721329769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976183 --watchdog 3760  pb_picat HOME/instance-4446442-1721329769.opb

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

MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=1500430516

nodeC026.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.229
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.74
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		: 3655.538
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	: 7005.45
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.125
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.74
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		: 3667.316
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	: 7005.45
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.263
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.74
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		: 3667.816
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.128
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.225
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128497304 kB
MemAvailable:   129174372 kB
Buffers:          527640 kB
Cached:           986092 kB
SwapCached:            0 kB
Active:          1039228 kB
Inactive:        1376252 kB
Active(anon):       1572 kB
Inactive(anon):   937888 kB
Active(file):    1037656 kB
Inactive(file):   438364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9776 kB
Writeback:             0 kB
AnonPages:        890252 kB
Mapped:           116644 kB
Shmem:             37720 kB
KReclaimable:      81740 kB
Slab:             191984 kB
SReclaimable:      81740 kB
SUnreclaim:       110244 kB
KernelStack:        4092 kB
PageTables:        10948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7141176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    702464 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC026 at 2024-07-18 21:09:51