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

OK	0

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60399 MiB free)
  memory of node 1: 64510 MiB (59891 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446982-1721334100/watcher-4446982-1721334100 -o /tmp/evaluation-result-4446982-1721334100/solver-4446982-1721334100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760 pb_picat HOME/instance-4446982-1721334100.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

Starting watchdog thread

[startup+0.100095 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123147032/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2033608 memory=37636 CPUtime=0.09 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 941 0 0 0 9 0 0 0 20 0 1 0 185579700 2082414592 9409 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 508402 9409 1486 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37636 KiB

[startup+0.205685 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123136772/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2038480 memory=44232 CPUtime=0.2 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 2162 0 0 0 20 0 0 0 20 0 1 0 185579700 2087403520 11058 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 509620 11058 1611 439 0 505049 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2038480 KiB
Current children cumulated memory: 44232 KiB

[startup+0.3056 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123245436/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2037968 memory=43480 CPUtime=0.3 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 3088 0 0 0 30 0 0 0 20 0 1 0 185579700 2086879232 10870 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 509492 10870 1611 439 0 504921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037968 KiB
Current children cumulated memory: 43480 KiB

[startup+0.700208 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123240136/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2040448 memory=44524 CPUtime=0.68 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 4732 0 0 0 68 0 0 0 20 0 1 0 185579700 2089418752 11131 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 510112 11131 1611 439 0 505541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2040448 KiB
Current children cumulated memory: 44524 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123226240/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2044032 memory=47012 CPUtime=1.48 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 7688 0 0 0 147 1 0 0 20 0 1 0 185579700 2093088768 11753 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 511008 11753 1611 439 0 506437 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044032 KiB
Current children cumulated memory: 47012 KiB

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

# cumulated CPU time of all completed processes:  user=1.59705 s, system=0.023905 s

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

[startup+1.60022 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 995519
/proc/meminfo: memFree=123226240/131524600 swapFree=131071996/131071996
[pid=995518] ppid=995515 vsize=2041472 memory=45232 CPUtime=1.58 cores=0,2
/proc/995518/stat : 995518 (pb_picat) R 995515 995518 992550 0 -1 4194304 7946 0 0 0 157 1 0 0 20 0 1 0 185579700 2090467328 11308 134679101440 4194304 5989780 140730544053200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 37150720 140730544055320 140730544055396 140730544055396 140730544062412 0
/proc/995518/statm: 510368 11308 1611 439 0 505797 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 2041472 KiB
Current children cumulated memory: 45232 KiB

Child status: 0

Real time (s): 1.62702
CPU time (s): 1.62095
CPU user time (s): 1.59705
CPU system time (s): 0.023905
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (KiB): 2047104
Max. memory (cumulated for all children) (KiB): 48728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59705
system time used= 0.023905
maximum resident set size= 48988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7954
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: 995518
#   total CPU time (s): 1.62095
#   total CPU user time (s): 1.59705
#   total CPU system time (s): 0.023905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016506 second user time and 0.040803 second system time

The end

Begin job on nodeC033 at 2024-07-18 22:21:52
IDJOB=4446982
IDBENCH=158344
IDSOLVER=3068
FILE ID=nodeC033/4446982-1721334100
RUNJOBID= nodeC033-1721329244-992560
SLURM_JOB_ID= 7542695
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446982-1721334100/watcher-4446982-1721334100 -o /tmp/evaluation-result-4446982-1721334100/solver-4446982-1721334100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992560 --watchdog 3760  pb_picat HOME/instance-4446982-1721334100.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1459814262

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123178736 kB
MemAvailable:   129101620 kB
Buffers:          533880 kB
Cached:          6159676 kB
SwapCached:            0 kB
Active:           979676 kB
Inactive:        6594828 kB
Active(anon):       1572 kB
Inactive(anon):   924968 kB
Active(file):     978104 kB
Inactive(file):  5669860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:        874520 kB
Mapped:           115896 kB
Shmem:             45908 kB
KReclaimable:     229132 kB
Slab:             355992 kB
SReclaimable:     229132 kB
SUnreclaim:       126860 kB
KernelStack:        4124 kB
PageTables:        11412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7128304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    630784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:21:54