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