0.00/0.01	c solving HOME/instance-4527955-1752241871.opb (Picat 3.9b11, 7/10/2025)
10.15/10.24	s SATISFIABLE
10.15/10.24	v ~x1627 ~x5011 x6704 ~x3319 ~x8397 ~x1628 ~x5012 x6705 ~x3320 ~x8398 
10.15/10.24	v ~x1629 ~x5013 x6706 ~x3321 ~x8399 x1630 ~x5014 x6707 ~x3322 ~x8400 
10.15/10.24	v x1631 ~x5015 ~x6708 ~x3323 ~x8401 x1632 ~x5016 ~x6709 ~x3324 ~x8402 
10.15/10.24	v x1633 ~x5017 ~x6710 ~x3325 ~x8403 x1634 ~x5018 ~x6711 ~x3326 ~x8404 
10.15/10.24	v x1635 ~x5019 ~x6712 ~x3327 ~x8405 x1636 ~x5020 ~x6713 ~x3328 ~x8406 
10.15/10.24	v x1637 ~x5021 ~x6714 ~x3329 ~x8407 x1638 ~x5022 ~x6715 ~x3330 ~x8408 
10.15/10.24	v x1639 ~x5023 ~x6716 ~x3331 ~x8409 x1640 ~x5024 ~x6717 x3332 ~x8410 
10.15/10.24	v x1641 ~x5025 ~x6718 x3333 ~x8411 x1642 ~x5026 ~x6719 x3334 x8412 
10.15/10.24	v x1643 ~x5027 ~x6720 x3335 x8413 x1644 ~x5028 ~x6721 x3336 x8414 
10.15/10.24	v x1645 x5029 ~x6722 x3337 x8415 x1646 x5030 ~x6723 x3338 x8416 
10.15/10.24	v x1647 x5031 ~x6724 x3339 x8417 x1648 x5032 ~x6725 x3340 x8418 
10.15/10.24	v x1649 x5033 ~x6726 x3341 x8419 x1650 x5034 ~x6727 x3342 x8420 
10.15/10.24	v x1651 x5035 ~x6728 x3343 ~x8421 x1652 ~x5036 ~x6729 x3344 ~x8422 
10.15/10.24	v x1653 ~x5037 ~x6730 ~x3345 ~x8423 x1654 ~x5038 ~x6731 ~x3346 ~x8424 
10.15/10.24	v x1655 ~x5039 ~x6732 ~x3347 ~x8425 x1656 ~x5040 ~x6733 ~x3348 ~x8426 
10.15/10.24	v x1657 ~x5041 ~x6734 ~x3349 ~x8427 x1658 ~x5042 ~x6735 ~x3350 ~x8428 
10.15/10.24	v x1659 ~x5043 ~x6736 ~x3351 ~x8429 x1660 ~x5044 ~x6737 ~x3352 ~x8430 
10.15/10.24	v x1661 ~x5045 ~x6738 ~x3353 ~x8431 x1662 ~x5046 ~x6739 ~x3354 ~x8432 
10.15/10.24	v x1663 ~x5047 ~x6740 ~x3355 ~x8433 x1664 ~x5048 ~x6741 ~x3356 ~x8434 
10.15/10.24	v x1665 ~x5049 ~x6742 ~x3357 ~x8435 x1666 ~x5050 ~x6743 ~x3358 ~x8436 
10.15/10.24	v x1667 ~x5051 ~x6744 ~x3359 ~x8437 x1668 ~x5052 ~x6745 ~x3360 ~x8438 
10.15/10.24	v x1669 ~x5053 ~x6746 ~x3361 ~x8439 x1670 ~x5054 ~x6747 ~x3362 ~x8440 
10.15/10.24	v x1671 ~x5055 ~x6748 ~x3363 ~x8441 x1672 ~x5056 ~x6749 ~x3364 ~x8442 
10.15/10.24	v ~x1673 ~x5057 ~x6750 ~x3365 ~x8443 ~x1674 ~x5058 ~x6751 ~x3366 ~x8444 
10.15/10.24	v ~x1675 ~x5059 ~x6752 ~x3367 ~x8445 ~x1676 ~x5060 ~x6753 ~x3368 ~x8446 
10.15/10.24	v ~x1677 ~x5061 ~x6754 ~x3369 ~x8447 ~x1678 ~x5062 ~x6755 ~x3370 ~x8448 
10.15/10.24	v ~x1679 ~x5063 ~x6756 ~x3371 ~x8449 ~x1680 ~x5064 ~x6757 ~x3372 ~x8450 
10.15/10.24	v ~x1681 ~x5065 ~x6758 ~x3373 ~x8451 ~x1682 ~x5066 ~x6759 ~x3374 ~x8452 
10.15/10.24	v ~x1683 ~x5067 x4636 ~x6760 ~x3375 ~x8453 ~x1684 ~x5068 ~x6761 ~x3376 
10.15/10.24	v ~x8454 ~x1685 ~x5069 x1 ~x6762 ~x3377 ~x8455 ~x1686 ~x5070 x2 
10.15/10.24	v ~x6763 ~x3378 ~x8456 ~x1687 ~x5071 x3 ~x6764 ~x3379 ~x8457 ~x1688 
10.15/10.24	v ~x5072 x4 ~x6765 ~x3380 ~x8458 ~x1689 ~x5073 x5 ~x6766 ~x3381 
10.15/10.24	v ~x8459 ~x1690 ~x5074 x6 ~x6767 ~x3382 ~x8460 ~x1691 ~x5075 x7 
10.15/10.24	v ~x6768 ~x3383 ~x8461 ~x1692 ~x5076 x8 ~x6769 ~x3384 ~x8462 ~x1693 
10.15/10.24	v ~x5077 x9 ~x6770 ~x3385 ~x8463 ~x1694 ~x5078 x10 ~x6771 ~x3386 
10.15/10.24	v ~x1695 ~x5079 x11 ~x6772 ~x3387 ~x8464 ~x1696 ~x5080 x12 ~x6773 
10.15/10.24	v ~x3388 ~x8465 ~x1697 ~x5081 ~x6774 ~x3389 ~x8466 ~x1698 ~x5082 ~x6775 
10.15/10.24	v x13 ~x3390 ~x8467 ~x1699 ~x5083 ~x6776 x14 ~x3391 ~x8468 ~x1700 
10.15/10.24	v ~x5084 ~x6777 x15 ~x3392 ~x8469 ~x1701 ~x5085 ~x6778 x16 ~x3393 
10.15/10.24	v ~x8470 ~x1702 ~x5086 x6779 x17 ~x3394 ~x8471 ~x1703 ~x5087 x6780 
10.15/10.24	v x18 ~x3395 ~x8472 ~x1704 ~x5088 x6781 x19 ~x3396 ~x8473 ~x1705 
10.15/10.24	v ~x5089 x6782 x20 ~x3397 ~x8474 ~x1706 ~x5090 x6783 x21 ~x3398 
10.15/10.24	v ~x8475 x1707 ~x5091 x6784 x22 ~x3399 ~x8476 x1708 ~x5092 x6785 
10.15/10.24	v x23 ~x3400 ~x8477 x1709 ~x5093 x6786 x24 ~x3401 ~x8478 x1710 
10.15/10.24	v ~x5094 ~x6787 x25 ~x3402 ~x8479 x1711 ~x5095 ~x6788 x26 ~x3403 
10.15/10.24	v ~x8480 x1712 ~x5096 ~x6789 x27 ~x3404 ~x8481 x1713 ~x5097 ~x6790 
10.15/10.24	v x28 ~x3405 ~x8482 x1714 ~x5098 ~x6791 x29 ~x3406 ~x8483 x1715 
10.15/10.24	v ~x5099 ~x6792 x30 ~x3407 ~x8484 x1716 ~x5100 ~x6793 ~x3408 ~x8485 
10.15/10.24	v x1717 x5101 ~x6794 ~x3409 x31 ~x8486 x1718 x5102 ~x6795 ~x3410 
10.15/10.24	v x32 ~x8487 x1719 x5103 ~x6796 ~x3411 x33 ~x8488 x1720 x5104 
10.15/10.24	v ~x6797 ~x3412 x34 ~x8489 x1721 x5105 ~x6798 ~x3413 x35 ~x8490 
10.15/10.24	v x1722 ~x5106 ~x6799 ~x3414 x36 ~x8491 x1723 ~x5107 ~x6800 ~x3415 
10.15/10.24	v x37 ~x8492 x1724 ~x5108 ~x6801 ~x3416 x38 ~x8493 x1725 ~x5109 
10.15/10.24	v ~x6802 x3417 x39 ~x8494 x1726 ~x5110 ~x6803 x3418 x40 ~x8495 
10.15/10.24	v x1727 ~x5111 ~x6804 x3419 x41 ~x8496 x1728 ~x5112 ~x6805 x3420 
10.15/10.24	v x42 x8497 x1729 ~x5113 ~x6806 ~x3421 x43 ~x8498 x1730 ~x5114 
10.15/10.24	v ~x6807 ~x3422 x44 ~x8499 x1731 ~x5115 ~x6808 ~x3423 x45 ~x8500 
10.15/10.24	v x1732 ~x5116 ~x6809 ~x3424 x46 ~x8501 x1733 ~x5117 ~x6810 ~x3425 
10.15/10.24	v x47 ~x8502 x1734 ~x5118 ~x6811 ~x3426 x48 ~x8503 x1735 ~x5119 
10.15/10.24	v ~x6812 ~x3427 x49 ~x8504 x1736 ~x5120 ~x6813 ~x3428 x50 ~x8505 
10.15/10.24	v x1737 ~x5121 ~x6814 ~x3429 x51 ~x8506 x1738 ~x5122 ~x6815 ~x3430 
10.15/10.24	v x52 ~x8507 x1739 ~x5123 ~x6816 ~x3431 x53 ~x8508 x1740 ~x5124 
10.15/10.24	v ~x6817 ~x3432 x54 ~x8509 x1741 ~x5125 ~x6818 ~x3433 x55 ~x8510 
10.15/10.24	v x1742 ~x5126 ~x6819 ~x3434 x56 ~x8511 x1743 ~x5127 ~x6820 ~x3435 
10.15/10.24	v x57 ~x8512 x1744 ~x5128 ~x6821 ~x3436 x58 ~x8513 x1745 ~x5129 
10.15/10.24	v ~x6822 ~x3437 x59 ~x8514 x1746 ~x5130 ~x6823 ~x3438 x60 ~x8515 
10.15/10.24	v x1747 ~x5131 ~x6824 ~x3439 x61 ~x8516 x1748 ~x5132 ~x6825 ~x3440 
10.15/10.24	v x62 ~x8517 ~x1749 ~x5133 ~x6826 ~x3441 ~x8518 ~x1750 ~x5134 ~x6827 
10.15/10.24	v ~x3442 ~x8519 x63 ~x1751 ~x5135 ~x6828 ~x3443 ~x8520 x64 ~x1752 
10.15/10.24	v ~x5136 ~x6829 ~x3444 ~x8521 x65 ~x1753 ~x5137 ~x6830 ~x3445 ~x8522 
10.15/10.24	v x66 ~x1754 ~x5138 ~x6831 ~x3446 ~x8523 x67 ~x1755 ~x5139 ~x6832 
10.15/10.24	v ~x3447 ~x8524 x68 ~x1756 ~x5140 ~x6833 ~x3448 ~x8525 x69 ~x1757 
10.15/10.24	v ~x5141 ~x6834 ~x3449 ~x8526 x70 ~x1758 ~x5142 ~x6835 ~x3450 ~x8527 
10.15/10.24	v x71 ~x1759 ~x5143 ~x6836 ~x3451 ~x8528 x72 ~x1760 ~x5144 ~x6837 
10.15/10.24	v ~x3452 ~x8529 x73 ~x1761 ~x5145 ~x6838 ~x3453 ~x8530 x74 ~x1762 
10.15/10.24	v ~x5146 ~x6839 ~x3454 ~x8531 x75 ~x1763 ~x5147 ~x6840 ~x3455 ~x8532 
10.15/10.24	v x76 ~x1764 ~x5148 ~x6841 ~x3456 ~x8533 x77 ~x1765 ~x5149 ~x6842 
10.15/10.24	v ~x3457 ~x8534 x78 ~x1766 ~x5150 ~x6843 ~x3458 ~x8535 x79 ~x1767 
10.15/10.24	v ~x5151 ~x6844 ~x3459 ~x8536 x80 ~x1768 ~x5152 ~x6845 ~x3460 ~x8537 
10.15/10.24	v x81 ~x1769 ~x5153 ~x6846 ~x3461 ~x8538 x82 ~x1770 ~x5154 ~x6847 
10.15/10.24	v ~x3462 ~x8539 x83 ~x1771 ~x5155 ~x6848 ~x3463 ~x8540 x84 ~x1772 
10.15/10.24	v ~x5156 ~x6849 ~x3464 ~x8541 x85 ~x1773 ~x5157 ~x6850 ~x3465 ~x8542 
10.15/10.24	v x86 ~x1774 ~x5158 ~x6851 ~x3466 ~x8543 x87 ~x1775 ~x5159 ~x6852 
10.15/10.24	v ~x3467 ~x8544 x88 ~x1776 ~x5160 ~x6853 ~x3468 ~x8545 x89 ~x1777 
10.15/10.24	v ~x5161 ~x6854 ~x3469 ~x8546 x90 ~x1778 ~x5162 ~x6855 ~x3470 ~x8547 
10.15/10.24	v x91 ~x1779 ~x5163 ~x6856 ~x3471 ~x8548 x92 ~x1780 ~x5164 ~x6857 
10.15/10.24	v ~x3472 ~x8549 x93 ~x1781 ~x5165 ~x6858 ~x3473 ~x8550 x94 ~x1782 
10.15/10.24	v ~x5166 ~x6859 ~x3474 ~x8551 x95 ~x1783 ~x5167 ~x6860 ~x3475 ~x8552 
10.15/10.24	v x96 ~x1784 ~x5168 ~x6861 ~x3476 ~x8553 x97 ~x1785 ~x5169 ~x6862 
10.15/10.24	v ~x3477 ~x8554 x98 ~x1786 ~x5170 ~x6863 ~x3478 ~x8555 x99 ~x1787 
10.15/10.24	v ~x5171 ~x6864 ~x3479 ~x8556 x100 ~x1788 ~x5172 ~x6865 ~x3480 ~x8557 
10.15/10.24	v x101 ~x1789 ~x5173 ~x6866 ~x3481 ~x8558 x102 ~x1790 ~x5174 ~x6867 
10.15/10.24	v ~x3482 ~x8559 x103 ~x1791 ~x5175 ~x6868 ~x3483 ~x8560 x104 ~x1792 
10.15/10.24	v ~x5176 ~x6869 x3484 ~x8561 x105 ~x1793 ~x5177 ~x6870 x3485 ~x8562 
10.15/10.24	v x106 ~x1794 x5178 ~x6871 x3486 ~x8563 x107 ~x1795 x5179 ~x6872 
10.15/10.24	v x3487 ~x8564 x108 ~x1796 x5180 ~x6873 x3488 ~x8565 x109 ~x1797 
10.15/10.24	v x5181 ~x6874 x3489 ~x8566 x110 ~x1798 ~x5182 ~x6875 x3490 ~x8567 
10.15/10.24	v x111 ~x1799 ~x5183 ~x6876 x3491 ~x8568 x112 ~x1800 ~x5184 ~x6877 
10.15/10.24	v x3492 ~x8569 x113 ~x1801 ~x5185 ~x6878 x3493 ~x8570 x114 ~x1802 
10.15/10.24	v ~x5186 ~x6879 x3494 ~x8571 x115 ~x1803 ~x5187 ~x6880 x3495 ~x8572 
10.15/10.24	v x116 ~x1804 ~x5188 ~x6881 x3496 x8573 x117 ~x1805 ~x5189 ~x6882 
10.15/10.24	v ~x3497 ~x8574 x118 ~x1806 ~x5190 ~x6883 ~x3498 ~x8575 x119 ~x1807 
10.15/10.24	v ~x5191 ~x6884 ~x3499 ~x8576 x120 ~x1808 ~x5192 ~x6885 ~x3500 ~x8577 
10.15/10.24	v x121 ~x1809 ~x5193 ~x6886 ~x3501 ~x8578 x122 ~x1810 ~x5194 ~x6887 
10.15/10.24	v ~x3502 ~x8579 x123 ~x1811 ~x5195 ~x6888 ~x3503 ~x8580 x124 ~x1812 
10.15/10.24	v ~x5196 ~x6889 ~x3504 ~x8581 x125 ~x1813 ~x5197 ~x6890 ~x3505 ~x8582 
10.15/10.24	v x126 ~x1814 ~x5198 ~x6891 ~x3506 ~x8583 x127 ~x1815 ~x5199 x6892 
10.15/10.24	v ~x3507 ~x8584 x128 x1816 ~x5200 x6893 ~x3508 ~x8585 x1817 ~x5201 
10.15/10.24	v ~x6894 ~x3509 ~x8586 x1818 ~x5202 x129 ~x6895 ~x3510 ~x8587 x1819 
10.15/10.24	v ~x5203 x130 ~x6896 ~x3511 ~x8588 x1820 ~x5204 x131 ~x6897 ~x3512 
10.15/10.24	v ~x8589 x1821 ~x5205 x132 ~x6898 ~x3513 ~x8590 x1822 ~x5206 x133 
10.15/10.24	v ~x6899 ~x3514 ~x8591 x1823 ~x5207 x134 ~x6900 ~x3515 ~x8592 x1824 
10.15/10.24	v ~x5208 x135 ~x6901 ~x3516 ~x8593 ~x1825 ~x5209 x136 ~x6902 ~x3517 
10.15/10.24	v ~x8594 ~x1826 ~x5210 x137 ~x6903 ~x3518 ~x8595 ~x1827 ~x5211 x138 
10.15/10.24	v ~x6904 ~x3519 ~x8596 ~x1828 ~x5212 x139 ~x6905 ~x3520 ~x8597 ~x1829 
10.15/10.24	v ~x5213 x140 ~x6906 ~x3521 ~x8598 ~x1830 ~x5214 x141 ~x6907 ~x3522 
10.15/10.24	v ~x8599 ~x1831 ~x5215 x142 ~x6908 ~x3523 ~x8600 ~x1832 ~x5216 x143 
10.15/10.24	v ~x6909 ~x3524 ~x8601 ~x1833 ~x5217 x144 ~x6910 ~x3525 ~x8602 ~x1834 
10.15/10.24	v ~x5218 x145 ~x6911 ~x3526 ~x8603 ~x1835 ~x5219 x146 ~x6912 ~x3527 
10.15/10.24	v ~x8604 ~x1836 ~x5220 x147 ~x6913 ~x3528 ~x8605 ~x1837 ~x5221 x148 
10.15/10.24	v ~x6914 ~x3529 ~x8606 ~x1838 ~x5222 x149 ~x6915 ~x3530 ~x8607 ~x1839 
10.15/10.24	v ~x5223 x150 ~x6916 ~x3531 ~x8608 ~x1840 ~x5224 x151 ~x6917 ~x3532 
10.15/10.24	v ~x8609 ~x1841 ~x5225 x152 ~x6918 ~x3533 ~x8610 ~x1842 ~x5226 x153 
10.15/10.24	v ~x6919 ~x3534 ~x8611 ~x1843 ~x5227 x154 ~x6920 ~x3535 ~x8612 ~x1844 
10.15/10.24	v ~x5228 x155 ~x6921 ~x3536 ~x8613 ~x1845 ~x5229 x156 ~x6922 ~x3537 
10.15/10.24	v ~x8614 ~x1846 ~x5230 x157 ~x6923 ~x3538 ~x8615 ~x1847 ~x5231 x158 
10.15/10.24	v ~x6924 ~x3539 ~x8616 ~x1848 ~x5232 x159 ~x6925 ~x3540 ~x8617 ~x1849 
10.15/10.24	v ~x5233 x160 ~x6926 ~x3541 ~x8618 ~x1850 ~x5234 x161 ~x6927 ~x3542 
10.15/10.24	v ~x8619 ~x1851 ~x5235 x162 ~x6928 ~x3543 ~x8620 ~x1852 ~x5236 x163 
10.15/10.24	v ~x6929 ~x3544 ~x8621 ~x1853 ~x5237 x164 ~x6930 ~x3545 ~x8622 ~x1854 
10.15/10.24	v ~x5238 x165 ~x6931 ~x3546 ~x8623 ~x1855 ~x5239 x166 ~x6932 ~x3547 
10.15/10.24	v ~x8624 ~x1856 ~x5240 x167 ~x6933 ~x3548 ~x8625 ~x1857 ~x5241 x168 
10.15/10.24	v ~x6934 ~x3549 ~x8626 ~x1858 ~x5242 x169 ~x6935 x3550 ~x8627 ~x1859 
10.15/10.24	v ~x5243 x170 ~x6936 x3551 ~x8628 ~x1860 ~x5244 x171 ~x6937 x3552 
10.15/10.24	v ~x8629 ~x1861 ~x5245 x172 ~x6938 x3553 ~x8630 ~x1862 ~x5246 x173 
10.15/10.24	v ~x6939 x3554 ~x8631 ~x1863 ~x5247 x174 ~x6940 x3555 ~x8632 ~x1864 
10.15/10.24	v ~x5248 x175 x6941 x3556 ~x8633 ~x1865 ~x5249 x176 x6942 x3557 
10.15/10.24	v ~x8634 ~x1866 ~x5250 x177 x6943 x3558 ~x8635 ~x1867 ~x5251 x178 
10.15/10.24	v x6944 x3559 ~x8636 ~x1868 ~x5252 x179 x6945 x3560 ~x8637 ~x1869 
10.15/10.24	v ~x5253 x180 x6946 x3561 ~x8638 ~x1870 ~x5254 x181 x6947 x3562 
10.15/10.24	v ~x8639 ~x1871 ~x5255 x182 x6948 x3563 ~x8640 ~x1872 ~x5256 x183 
10.15/10.24	v ~x6949 x3564 ~x8641 ~x1873 ~x5257 x184 ~x6950 x3565 ~x8642 ~x1874 
10.15/10.24	v ~x5258 x185 ~x6951 x3566 ~x8643 ~x1875 ~x5259 x186 ~x6952 x3567 
10.15/10.24	v ~x8644 ~x1876 ~x5260 x187 ~x6953 x3568 ~x8645 ~x1877 ~x5261 x188 
10.15/10.24	v ~x6954 x3569 ~x8646 ~x1878 ~x5262 x189 ~x6955 x3570 ~x8647 ~x1879 
10.15/10.24	v ~x5263 x190 ~x6956 x3571 ~x8648 ~x1880 x5264 x191 ~x6957 x3572 
10.15/10.24	v ~x8649 ~x1881 x5265 x192 ~x6958 ~x3573 x8650 ~x1882 x5266 x193 
10.15/10.24	v ~x6959 ~x3574 x8651 ~x1883 x5267 x194 ~x6960 ~x3575 x8652 ~x1884 
10.15/10.24	v x5268 x195 ~x6961 ~x3576 x8653 x1885 ~x5269 x196 ~x6962 ~x3577 
10.15/10.24	v x8654 x1886 ~x5270 x197 ~x6963 ~x3578 x8655 x1887 ~x5271 x198 
10.15/10.24	v ~x6964 ~x3579 x8656 x1888 ~x5272 x199 ~x6965 ~x3580 x8657 x1889 
10.15/10.24	v ~x5273 x200 ~x6966 ~x3581 x8658 x1890 ~x5274 x201 ~x6967 ~x3582 
10.15/10.24	v x8659 x1891 ~x5275 x202 ~x6968 ~x3583 ~x8660 x1892 ~x5276 x203 
10.15/10.24	v ~x6969 ~x3584 ~x8661 x1893 ~x5277 x204 ~x6970 ~x3585 ~x8662 x1894 
10.15/10.24	v ~x5278 x205 ~x6971 ~x3586 ~x8663 x1895 ~x5279 x206 ~x6972 ~x3587 
10.15/10.24	v ~x8664 x1896 ~x5280 x207 ~x6973 ~x3588 ~x8665 x1897 ~x5281 x208 
10.15/10.24	v ~x6974 ~x3589 ~x8666 x1898 ~x5282 x209 ~x6975 ~x3590 ~x8667 x1899 
10.15/10.24	v ~x5283 x210 ~x6976 ~x3591 ~x8668 x1900 ~x5284 x211 ~x6977 ~x3592 
10.15/10.24	v ~x8669 ~x1901 ~x5285 x212 ~x6978 ~x3593 ~x8670 ~x1902 ~x5286 x213 
10.15/10.24	v ~x6979 ~x3594 ~x8671 ~x1903 ~x5287 x214 ~x6980 ~x3595 ~x8672 ~x1904 
10.15/10.24	v ~x5288 x215 ~x6981 ~x3596 ~x8673 ~x1905 ~x5289 x216 ~x6982 ~x3597 
10.15/10.24	v ~x8674 ~x1906 ~x5290 x217 ~x6983 ~x3598 ~x8675 ~x1907 ~x5291 x218 
10.15/10.24	v ~x6984 ~x3599 ~x8676 ~x1908 ~x5292 x219 ~x6985 ~x3600 ~x8677 ~x1909 
10.15/10.24	v ~x5293 x220 ~x6986 ~x3601 ~x8678 ~x1910 ~x5294 x221 ~x6987 ~x3602 
10.15/10.24	v ~x8679 ~x1911 ~x5295 x222 ~x6988 ~x3603 ~x8680 ~x1912 ~x5296 x223 
10.15/10.24	v ~x6989 ~x3604 ~x8681 ~x1913 ~x5297 x224 ~x6990 ~x3605 ~x8682 ~x1914 
10.15/10.24	v ~x5298 x225 ~x6991 ~x3606 ~x8683 ~x1915 ~x5299 x226 ~x6992 ~x3607 
10.15/10.24	v ~x8684 ~x1916 ~x5300 x227 ~x6993 ~x3608 ~x8685 ~x1917 ~x5301 x228 
10.15/10.24	v ~x6994 ~x3609 ~x8686 ~x1918 ~x5302 ~x229 ~x6995 ~x3610 ~x8687 ~x1919 
10.15/10.24	v ~x5303 ~x230 ~x6996 ~x3611 ~x8688 ~x1920 ~x5304 ~x231 ~x6997 ~x3612 
10.15/10.24	v ~x8689 ~x1921 ~x5305 ~x232 ~x6998 ~x3613 ~x8690 ~x1922 ~x5306 ~x233 
10.15/10.24	v ~x6999 ~x3614 ~x8691 ~x1923 ~x5307 ~x234 ~x7000 ~x3615 ~x8692 ~x1924 
10.15/10.24	v ~x5308 x235 ~x7001 x3616 ~x8693 ~x1925 ~x5309 x236 ~x7002 x3617 
10.15/10.24	v ~x8694 ~x1926 ~x5310 x237 ~x7003 x3618 ~x8695 ~x1927 ~x5311 x238 
10.15/10.24	v ~x7004 x3619 ~x8696 ~x1928 ~x5312 x239 ~x7005 x3620 ~x8697 ~x1929 
10.15/10.24	v ~x5313 x240 ~x7006 x3621 ~x8698 ~x1930 ~x5314 x241 ~x7007 x3622 
10.15/10.24	v ~x8699 ~x1931 ~x5315 x242 ~x7008 x3623 ~x8700 ~x1932 ~x5316 x243 
10.15/10.24	v ~x7009 x3624 ~x8701 ~x1933 ~x5317 x244 ~x7010 x3625 ~x8702 ~x1934 
10.15/10.24	v ~x5318 x245 ~x7011 x3626 ~x8703 ~x1935 ~x5319 x246 ~x7012 x3627 
10.15/10.24	v ~x8704 ~x1936 ~x5320 x247 ~x7013 x3628 ~x8705 ~x1937 ~x5321 x248 
10.15/10.24	v ~x7014 x3629 ~x8706 ~x1938 ~x5322 x249 ~x7015 x3630 ~x8707 ~x1939 
10.15/10.24	v ~x5323 x250 ~x7016 x3631 ~x8708 ~x1940 ~x5324 x251 ~x7017 x3632 
10.15/10.24	v ~x8709 ~x1941 ~x5325 x252 ~x7018 x3633 ~x8710 ~x1942 ~x5326 x253 
10.15/10.24	v ~x7019 x3634 ~x8711 ~x1943 ~x5327 x254 ~x7020 x3635 ~x8712 ~x1944 
10.15/10.24	v ~x5328 x255 ~x7021 x3636 ~x8713 ~x1945 ~x5329 x256 ~x7022 x3637 
10.15/10.24	v ~x8714 ~x1946 ~x5330 x257 ~x7023 x3638 ~x8715 ~x1947 ~x5331 x258 
10.15/10.24	v ~x7024 x3639 ~x8716 ~x1948 ~x5332 ~x7025 x3640 ~x8717 ~x1949 ~x5333 
10.15/10.24	v x259 ~x7026 x3641 ~x8718 x1950 x5334 x260 x7027 x3642 ~x8719 
10.15/10.24	v x1951 x5335 x261 x7028 x3643 ~x8720 x1952 x5336 x262 x7029 
10.15/10.24	v x3644 x8721 x1953 x5337 x263 x7030 x3645 x8722 x1954 x5338 
10.15/10.24	v x264 x7031 x3646 x8723 x1955 x5339 x265 ~x7032 x3647 x8724 
10.15/10.24	v x1956 x5340 x266 ~x7033 x3648 ~x8725 x1957 ~x5341 x267 ~x7034 
10.15/10.24	v ~x3649 ~x8726 x1958 ~x5342 x268 ~x7035 ~x3650 ~x8727 x1959 ~x5343 
10.15/10.24	v x269 ~x7036 ~x3651 ~x8728 x1960 ~x5344 x270 ~x7037 ~x3652 ~x8729 
10.15/10.24	v x1961 ~x5345 x271 ~x7038 ~x3653 ~x8730 x1962 ~x5346 x272 ~x7039 
10.15/10.24	v ~x3654 ~x8731 x1963 ~x5347 x273 ~x7040 ~x3655 ~x8732 x1964 ~x5348 
10.15/10.24	v x274 ~x7041 ~x3656 ~x8733 x1965 ~x5349 x275 ~x7042 ~x3657 ~x8734 
10.15/10.24	v x1966 ~x5350 x276 ~x7043 ~x3658 ~x8735 x1967 ~x5351 x277 ~x7044 
10.15/10.24	v ~x3659 ~x8736 x1968 ~x5352 x278 ~x7045 ~x3660 ~x8737 x1969 ~x5353 
10.15/10.24	v x279 ~x7046 ~x3661 ~x8738 x1970 ~x5354 x280 ~x7047 ~x3662 ~x8739 
10.15/10.24	v x1971 ~x5355 x281 ~x7048 ~x3663 ~x8740 x1972 ~x5356 x282 ~x7049 
10.15/10.24	v ~x3664 ~x8741 x1973 ~x5357 x283 ~x7050 ~x3665 ~x8742 x1974 ~x5358 
10.15/10.24	v x284 ~x7051 ~x3666 ~x8743 x1975 ~x5359 x285 ~x7052 ~x3667 ~x8744 
10.15/10.24	v x1976 ~x5360 ~x7053 x286 ~x3668 ~x8745 ~x5361 ~x1977 ~x7054 x287 
10.15/10.24	v ~x3669 ~x8746 ~x1978 ~x5362 x288 ~x7055 ~x3670 ~x8747 ~x1979 ~x5363 
10.15/10.24	v x289 ~x7056 ~x3671 ~x8748 ~x1980 ~x5364 x290 ~x7057 ~x3672 ~x8749 
10.15/10.24	v ~x1981 ~x5365 x291 ~x7058 ~x3673 ~x8750 ~x1982 ~x5366 x292 ~x7059 
10.15/10.24	v ~x3674 ~x8751 ~x1983 ~x5367 x293 ~x7060 ~x3675 ~x8752 ~x1984 ~x5368 
10.15/10.24	v x294 ~x7061 ~x3676 ~x8753 ~x1985 ~x5369 x295 ~x7062 ~x3677 ~x8754 
10.15/10.24	v ~x1986 ~x5370 x296 ~x7063 ~x3678 ~x8755 ~x1987 ~x5371 x297 ~x7064 
10.15/10.24	v ~x3679 ~x8756 ~x1988 ~x5372 x298 ~x7065 ~x3680 ~x8757 ~x1989 ~x5373 
10.15/10.24	v x299 ~x7066 ~x3681 ~x8758 ~x1990 ~x5374 x300 ~x7067 ~x3682 ~x8759 
10.15/10.24	v ~x1991 ~x5375 x301 ~x7068 ~x3683 ~x8760 ~x1992 ~x5376 x302 ~x7069 
10.15/10.24	v ~x3684 ~x8761 ~x1993 ~x5377 x303 ~x7070 ~x3685 ~x8762 ~x1994 ~x5378 
10.15/10.24	v x304 ~x7071 ~x3686 ~x8763 ~x1995 ~x5379 ~x305 ~x7072 ~x3687 ~x8764 
10.15/10.24	v ~x1996 ~x5380 ~x306 ~x7073 ~x3688 ~x8765 ~x1997 ~x5381 ~x307 ~x7074 
10.15/10.24	v ~x3689 ~x8766 ~x1998 ~x5382 ~x308 ~x7075 ~x3690 ~x8767 ~x1999 ~x5383 
10.15/10.24	v ~x309 ~x7076 ~x3691 ~x8768 ~x2000 ~x5384 x310 ~x7077 ~x3692 x8769 
10.15/10.24	v ~x2001 ~x5385 x311 ~x7078 ~x3693 x8770 ~x2002 ~x5386 x312 ~x7079 
10.15/10.24	v ~x3694 ~x8771 ~x2003 ~x5387 x313 ~x7080 ~x3695 ~x8772 ~x2004 ~x5388 
10.15/10.24	v x314 ~x7081 ~x3696 ~x8773 ~x2005 ~x5389 x315 ~x7082 ~x3697 ~x8774 
10.15/10.24	v ~x2006 ~x5390 x316 ~x7083 ~x3698 ~x8775 ~x2007 ~x5391 x317 ~x7084 
10.15/10.24	v ~x3699 ~x8776 ~x2008 ~x5392 x318 ~x7085 ~x3700 ~x8777 ~x2009 ~x5393 
10.15/10.24	v x319 ~x7086 ~x3701 ~x8778 ~x2010 ~x5394 x320 ~x7087 x3702 ~x8779 
10.15/10.24	v x2011 ~x5395 x321 ~x7088 x3703 ~x8780 x2012 ~x5396 x322 ~x7089 
10.15/10.24	v x3704 ~x8781 x2013 ~x5397 x323 ~x7090 x3705 ~x8782 x2014 ~x5398 
10.15/10.24	v x324 ~x7091 x3706 ~x8783 x2015 ~x5399 x325 ~x7092 x3707 ~x8784 
10.15/10.24	v x2016 ~x5400 x326 ~x7093 x3708 ~x8785 x2017 ~x5401 x327 ~x7094 
10.15/10.24	v x3709 ~x8786 x2018 ~x5402 x328 ~x7095 x3710 ~x8787 x2019 ~x5403 
10.15/10.24	v x329 ~x7096 x3711 ~x8788 x2020 ~x5404 x330 ~x7097 x3712 ~x8789 
10.15/10.24	v x2021 ~x5405 x331 ~x7098 x3713 ~x8790 x2022 ~x5406 x332 ~x7099 
10.15/10.24	v x3714 ~x8791 x2023 ~x5407 x333 ~x7100 x3715 ~x8792 x2024 ~x5408 
10.15/10.24	v x334 ~x7101 x3716 ~x8793 x2025 ~x5409 x335 ~x7102 x3717 ~x8794 
10.15/10.24	v x2026 ~x5410 x336 ~x7103 x3718 ~x8795 x2027 ~x5411 x337 ~x7104 
10.15/10.24	v x3719 ~x8796 x2028 ~x5412 x338 ~x7105 x3720 ~x8797 x2029 ~x5413 
10.15/10.24	v x339 ~x7106 x3721 ~x8798 x2030 ~x5414 x340 ~x7107 x3722 ~x8799 
10.15/10.24	v x2031 ~x5415 x341 ~x7108 x3723 ~x8800 x2032 ~x5416 x342 ~x7109 
10.15/10.24	v x3724 ~x8801 x2033 ~x5417 x343 ~x7110 ~x3725 ~x8802 x2034 ~x5418 
10.15/10.24	v x344 ~x7111 ~x3726 ~x8803 x2035 ~x5419 x345 ~x7112 ~x3727 ~x8804 
10.15/10.24	v x2036 ~x5420 x346 ~x7113 ~x3728 ~x8805 x2037 ~x5421 x347 ~x7114 
10.15/10.24	v ~x3729 ~x8806 x2038 ~x5422 x348 ~x7115 ~x3730 ~x8807 x2039 ~x5423 
10.15/10.24	v x349 ~x7116 ~x3731 ~x8808 x2040 ~x5424 x350 ~x7117 ~x3732 ~x8809 
10.15/10.24	v x2041 x5425 x351 ~x7118 ~x3733 ~x8810 x2042 x5426 x352 ~x7119 
10.15/10.24	v ~x3734 ~x8811 x2043 x5427 x353 ~x7120 ~x3735 ~x8812 x2044 x5428 
10.15/10.24	v x354 ~x7121 ~x3736 ~x8813 x2045 x5429 x355 ~x7122 ~x3737 ~x8814 
10.15/10.24	v x2046 x5430 x356 ~x7123 ~x3738 ~x8815 x2047 ~x5431 x357 ~x7124 
10.15/10.24	v ~x3739 ~x8816 x2048 ~x5432 x358 ~x7125 ~x3740 ~x8817 x2049 ~x5433 
10.15/10.24	v x359 ~x7126 ~x3741 ~x8818 x2050 ~x5434 x360 ~x7127 ~x3742 ~x8819 
10.15/10.24	v x2051 ~x5435 x361 ~x7128 ~x3743 ~x8820 x2052 ~x5436 x362 ~x7129 
10.15/10.24	v ~x3744 ~x8821 ~x2053 ~x5437 x363 ~x7130 ~x3745 ~x8822 ~x2054 ~x5438 
10.15/10.24	v x364 ~x7131 ~x3746 ~x8823 ~x2055 ~x5439 x365 ~x7132 ~x3747 ~x8824 
10.15/10.24	v ~x2056 ~x5440 x366 ~x7133 ~x3748 ~x8825 ~x2057 ~x5441 x367 ~x7134 
10.15/10.24	v ~x3749 ~x8826 ~x2058 ~x5442 x368 ~x7135 ~x3750 ~x8827 ~x2059 ~x5443 
10.15/10.24	v x369 ~x7136 ~x3751 ~x8828 ~x2060 ~x5444 x370 ~x7137 ~x3752 ~x8829 
10.15/10.24	v ~x2061 ~x5445 x371 x7138 ~x3753 ~x8830 ~x2062 ~x5446 x372 x7139 
10.15/10.24	v ~x3754 ~x8831 ~x2063 ~x5447 x373 ~x7140 ~x3755 ~x8832 ~x2064 ~x5448 
10.15/10.24	v x374 ~x7141 ~x3756 ~x8833 x2065 ~x5449 x375 ~x7142 ~x3757 ~x8834 
10.15/10.24	v x2066 ~x5450 x376 ~x7143 ~x3758 ~x8835 x2067 ~x5451 x377 ~x7144 
10.15/10.24	v ~x3759 ~x8836 x2068 ~x5452 x378 ~x7145 ~x3760 ~x8837 x2069 ~x5453 
10.15/10.24	v x379 ~x7146 ~x3761 ~x8838 x2070 ~x5454 x380 ~x7147 ~x3762 ~x8839 
10.15/10.24	v x2071 ~x5455 ~x381 ~x7148 ~x3763 ~x8840 x2072 ~x5456 ~x382 ~x7149 
10.15/10.24	v ~x3764 ~x8841 x2073 ~x5457 ~x383 ~x7150 ~x3765 ~x8842 x2074 ~x5458 
10.15/10.24	v ~x384 ~x7151 ~x3766 ~x8843 x2075 ~x5459 ~x385 ~x7152 ~x3767 ~x8844 
10.15/10.24	v x2076 ~x5460 ~x386 ~x7153 ~x3768 ~x8845 x2077 ~x5461 ~x387 ~x7154 
10.15/10.24	v ~x3769 ~x8846 x2078 ~x5462 ~x388 ~x7155 ~x3770 ~x8847 x2079 ~x5463 
10.15/10.24	v ~x389 ~x7156 ~x3771 ~x8848 x2080 ~x5464 ~x390 ~x7157 ~x3772 ~x8849 
10.15/10.24	v x2081 ~x5465 ~x391 ~x7158 ~x3773 ~x8850 x2082 ~x5466 ~x392 ~x7159 
10.15/10.24	v ~x3774 ~x8851 x2083 ~x5467 x393 ~x7160 ~x3775 ~x8852 x2084 ~x5468 
10.15/10.24	v x394 ~x7161 x3776 ~x8853 x2085 ~x5469 x395 ~x7162 x3777 ~x8854 
10.15/10.24	v x2086 ~x5470 x396 ~x7163 x3778 ~x8855 x2087 ~x5471 x397 ~x7164 
10.15/10.24	v x3779 ~x8856 x2088 ~x5472 x398 ~x7165 x3780 ~x8857 x2089 ~x5473 
10.15/10.24	v x399 ~x7166 x3781 ~x8858 x2090 ~x5474 x400 ~x7167 x3782 ~x8859 
10.15/10.24	v x2091 ~x5475 x401 ~x7168 x3783 ~x8860 x2092 ~x5476 x402 ~x7169 
10.15/10.24	v x3784 ~x8861 x2093 ~x5477 x403 ~x7170 x3785 ~x8862 x2094 ~x5478 
10.15/10.24	v x404 ~x7171 x3786 ~x8863 x2095 ~x5479 x405 ~x7172 x3787 ~x8864 
10.15/10.24	v x2096 ~x5480 x406 ~x7173 x3788 ~x8865 x2097 ~x5481 x407 ~x7174 
10.15/10.24	v x3789 ~x8866 x2098 x5482 x408 ~x7175 x3790 ~x8867 x2099 x5483 
10.15/10.24	v x409 ~x7176 x3791 ~x8868 x2100 x5484 x410 ~x7177 x3792 ~x8869 
10.15/10.24	v x2101 ~x5485 x411 ~x7178 x3793 ~x8870 x2102 ~x5486 x412 ~x7179 
10.15/10.24	v x3794 ~x8871 x2103 ~x5487 x413 ~x7180 x3795 ~x8872 x2104 ~x5488 
10.15/10.24	v x414 ~x7181 x3796 ~x8873 x2105 ~x5489 x415 ~x7182 x3797 ~x8874 
10.15/10.24	v x2106 ~x5490 x416 ~x7183 x3798 ~x8875 x2107 ~x5491 x417 ~x7184 
10.15/10.24	v x3799 ~x8876 x2108 ~x5492 x418 ~x7185 x3800 ~x8877 x2109 ~x5493 
10.15/10.24	v x419 ~x7186 ~x3801 ~x8878 x2110 ~x5494 x420 ~x7187 ~x3802 ~x8879 
10.15/10.24	v x2111 ~x5495 x421 ~x7188 ~x3803 ~x8880 x2112 ~x5496 x422 ~x7189 
10.15/10.24	v ~x3804 ~x8881 ~x5497 x423 ~x7190 ~x3805 ~x8882 ~x5498 x2113 x424 
10.15/10.24	v ~x7191 ~x3806 ~x8883 ~x5499 x2114 x425 ~x7192 ~x3807 ~x8884 ~x5500 
10.15/10.24	v x2115 x426 ~x7193 ~x3808 ~x8885 ~x5501 x2116 x427 ~x7194 ~x3809 
10.15/10.24	v ~x8886 ~x5502 x2117 x428 ~x7195 ~x3810 ~x8887 ~x5503 x2118 x429 
10.15/10.24	v ~x7196 ~x3811 x8888 ~x5504 x2119 x430 ~x7197 ~x3812 x8889 ~x5505 
10.15/10.24	v x2120 x431 ~x7198 ~x3813 x8890 ~x5506 x2121 x432 ~x7199 ~x3814 
10.15/10.24	v ~x8891 ~x5507 x2122 x433 ~x7200 ~x3815 ~x8892 ~x5508 x2123 x434 
10.15/10.24	v x7201 ~x3816 ~x8893 ~x5509 x2124 x435 x7202 ~x3817 ~x8894 ~x5510 
10.15/10.24	v x2125 x436 x7203 ~x3818 ~x8895 ~x5511 x2126 x437 x7204 ~x3819 
10.15/10.24	v ~x8896 ~x5512 x2127 x438 ~x7205 ~x3820 ~x8897 ~x5513 x2128 x439 
10.15/10.24	v ~x7206 ~x3821 ~x8898 ~x5514 ~x2129 x440 ~x7207 ~x3822 ~x8899 ~x5515 
10.15/10.24	v ~x2130 x441 ~x7208 ~x3823 ~x8900 ~x5516 ~x2131 x442 ~x7209 ~x3824 
10.15/10.24	v ~x8901 ~x5517 ~x2132 x443 ~x7210 ~x3825 ~x8902 ~x5518 ~x2133 x444 
10.15/10.24	v ~x7211 ~x3826 ~x8903 ~x5519 ~x2134 x445 ~x7212 ~x3827 ~x8904 ~x5520 
10.15/10.24	v ~x2135 x446 ~x7213 ~x3828 ~x8905 ~x5521 ~x2136 x447 ~x7214 ~x3829 
10.15/10.24	v ~x8906 ~x5522 ~x2137 x448 ~x7215 ~x3830 ~x8907 ~x5523 ~x2138 x449 
10.15/10.24	v ~x7216 ~x3831 ~x8908 ~x5524 ~x2139 x450 ~x7217 ~x3832 ~x8909 ~x5525 
10.15/10.24	v ~x2140 x451 ~x7218 ~x3833 ~x8910 ~x5526 ~x2141 x452 ~x7219 ~x3834 
10.15/10.24	v ~x8911 ~x5527 ~x2142 x453 ~x7220 ~x3835 ~x8912 ~x5528 x2143 x454 
10.15/10.24	v ~x7221 ~x3836 ~x8913 ~x5529 x2144 x455 ~x7222 ~x3837 ~x8914 ~x5530 
10.15/10.24	v x2145 x456 ~x7223 ~x3838 ~x8915 ~x5531 x2146 ~x457 ~x7224 ~x3839 
10.15/10.24	v ~x8916 ~x5532 x2147 ~x458 ~x7225 ~x3840 ~x8917 ~x5533 x2148 ~x459 
10.15/10.24	v ~x7226 ~x3841 ~x8918 ~x5534 x2149 ~x460 ~x7227 ~x3842 ~x8919 ~x5535 
10.15/10.24	v x2150 ~x461 ~x7228 ~x3843 ~x8920 ~x5536 x2151 ~x462 ~x7229 ~x3844 
10.15/10.24	v ~x8921 ~x5537 x2152 ~x463 ~x7230 ~x3845 ~x8922 ~x5538 x2153 ~x464 
10.15/10.24	v ~x7231 ~x3846 ~x8923 ~x5539 x2154 x465 ~x7232 ~x3847 ~x8924 ~x5540 
10.15/10.24	v x2155 x466 ~x7233 ~x3848 ~x8925 ~x5541 x2156 x467 ~x7234 ~x3849 
10.15/10.24	v ~x8926 ~x5542 x2157 x468 ~x7235 ~x3850 ~x8927 ~x5543 x2158 x469 
10.15/10.24	v ~x7236 ~x3851 ~x8928 ~x5544 x2159 x470 ~x7237 ~x3852 ~x8929 ~x5545 
10.15/10.24	v x2160 x471 ~x7238 ~x3853 ~x8930 ~x5546 x2161 x472 ~x7239 ~x3854 
10.15/10.24	v ~x8931 ~x5547 x2162 x473 ~x7240 ~x3855 ~x8932 ~x5548 x2163 x474 
10.15/10.24	v ~x7241 ~x3856 ~x8933 ~x5549 x2164 x475 ~x7242 ~x3857 ~x8934 ~x5550 
10.15/10.24	v x2165 x476 ~x7243 ~x3858 ~x8935 ~x5551 x2166 x477 ~x7244 ~x3859 
10.15/10.24	v ~x8936 ~x5552 x2167 x478 ~x7245 ~x3860 ~x8937 ~x5553 x2168 x479 
10.15/10.24	v x7246 x3861 ~x8938 ~x5554 x2169 x480 ~x7247 x3862 ~x8939 ~x5555 
10.15/10.24	v x2170 x481 ~x7248 x3863 ~x8940 ~x5556 x2171 x482 ~x7249 x3864 
10.15/10.24	v ~x8941 ~x5557 x2172 x483 ~x7250 x3865 ~x8942 ~x5558 x2173 x484 
10.15/10.24	v ~x7251 x3866 ~x8943 ~x5559 x2174 x485 ~x7252 x3867 ~x8944 ~x5560 
10.15/10.24	v x2175 x486 ~x7253 x3868 ~x8945 ~x5561 x2176 x487 ~x7254 x3869 
10.15/10.24	v ~x8946 ~x5562 x2177 x488 ~x7255 x3870 ~x8947 ~x5563 x2178 x489 
10.15/10.24	v ~x7256 x3871 ~x8948 ~x5564 x2179 x490 ~x7257 x3872 ~x8949 ~x5565 
10.15/10.24	v x2180 x491 ~x7258 x3873 ~x8950 ~x5566 x2181 x492 ~x7259 x3874 
10.15/10.24	v ~x8951 ~x5567 x2182 x493 ~x7260 x3875 ~x8952 ~x5568 x2183 x494 
10.15/10.24	v ~x7261 x3876 ~x8953 ~x5569 x2184 x495 ~x7262 ~x3877 x8954 ~x5570 
10.15/10.24	v x2185 x496 ~x7263 ~x3878 x8955 ~x5571 x2186 x497 ~x7264 ~x3879 
10.15/10.24	v ~x8956 ~x5572 x2187 x498 ~x7265 ~x3880 ~x8957 ~x5573 x2188 x499 
10.15/10.24	v ~x7266 ~x3881 ~x8958 ~x5574 x2189 x500 ~x7267 ~x3882 ~x8959 ~x5575 
10.15/10.24	v x2190 x501 ~x7268 ~x3883 ~x8960 ~x5576 x2191 x502 ~x7269 ~x3884 
10.15/10.24	v ~x8961 ~x5577 x2192 x503 ~x7270 ~x3885 ~x8962 ~x5578 x2193 x504 
10.15/10.24	v ~x7271 ~x3886 ~x8963 ~x5579 x2194 x505 ~x7272 ~x3887 ~x8964 ~x5580 
10.15/10.24	v x2195 x506 ~x7273 ~x3888 ~x8965 ~x5581 x2196 x507 ~x7274 ~x3889 
10.15/10.24	v ~x8966 ~x5582 x2197 x508 ~x7275 ~x3890 ~x8967 ~x5583 x2198 x509 
10.15/10.24	v ~x7276 ~x3891 ~x8968 ~x5584 x2199 x510 ~x7277 ~x3892 ~x8969 ~x5585 
10.15/10.24	v x2200 x511 ~x7278 ~x3893 ~x8970 ~x5586 x2201 x512 ~x7279 ~x3894 
10.15/10.24	v ~x8971 ~x5587 x2202 x513 ~x7280 ~x3895 ~x8972 x5588 x2203 x514 
10.15/10.24	v ~x7281 ~x3896 ~x8973 x5589 x2204 x515 ~x7282 ~x3897 ~x8974 x5590 
10.15/10.24	v ~x2205 x516 ~x7283 ~x3898 ~x8975 x5591 ~x2206 x517 ~x7284 ~x3899 
10.15/10.24	v ~x8976 x5592 ~x2207 x518 ~x7285 ~x3900 ~x8977 x5593 ~x2208 x519 
10.15/10.24	v ~x7286 ~x3901 ~x8978 ~x5594 ~x2209 x520 ~x7287 ~x3902 ~x8979 ~x5595 
10.15/10.24	v ~x2210 x521 ~x7288 ~x3903 ~x8980 ~x5596 ~x2211 x522 ~x7289 ~x3904 
10.15/10.24	v ~x8981 ~x5597 ~x2212 ~x7290 ~x3905 ~x8982 ~x5598 ~x2213 ~x7291 x523 
10.15/10.24	v ~x3906 ~x8983 ~x5599 ~x2214 ~x7292 x524 ~x3907 ~x8984 ~x5600 ~x2215 
10.15/10.24	v ~x7293 x525 ~x3908 ~x8985 ~x5601 ~x2216 ~x7294 x526 ~x3909 ~x8986 
10.15/10.24	v ~x5602 ~x2217 ~x7295 x527 ~x3910 ~x8987 ~x5603 ~x2218 ~x7296 x528 
10.15/10.24	v ~x3911 ~x8988 ~x5604 ~x2219 ~x7297 x529 ~x3912 ~x8989 ~x5605 ~x2220 
10.15/10.24	v ~x7298 x530 ~x3913 ~x8990 ~x5606 ~x2221 ~x7299 x531 ~x3914 ~x8991 
10.15/10.24	v ~x5607 ~x2222 ~x7300 x532 ~x3915 ~x8992 ~x5608 ~x2223 ~x7301 ~x533 
10.15/10.24	v ~x3916 ~x8993 ~x5609 ~x2224 ~x7302 ~x534 ~x3917 ~x8994 ~x5610 ~x2225 
10.15/10.24	v ~x7303 ~x535 ~x3918 ~x8995 ~x5611 ~x2226 ~x7304 ~x536 ~x3919 ~x8996 
10.15/10.24	v ~x5612 ~x2227 ~x7305 ~x537 ~x3920 ~x8997 ~x5613 ~x2228 ~x7306 ~x538 
10.15/10.24	v ~x3921 ~x8998 ~x5614 ~x2229 ~x7307 ~x539 ~x3922 ~x8999 ~x5615 ~x2230 
10.15/10.24	v ~x7308 ~x540 ~x3923 ~x9000 ~x5616 ~x2231 ~x7309 ~x541 ~x3924 ~x9001 
10.15/10.24	v ~x5617 ~x2232 ~x7310 x542 ~x3925 ~x9002 ~x5618 ~x2233 ~x7311 x543 
10.15/10.24	v ~x3926 ~x9003 ~x5619 ~x2234 ~x7312 x544 ~x3927 ~x9004 ~x5620 ~x2235 
10.15/10.24	v ~x7313 x545 ~x3928 ~x9005 ~x5621 ~x2236 ~x7314 x546 ~x3929 ~x9006 
10.15/10.24	v ~x5622 ~x2237 ~x7315 x547 ~x3930 ~x9007 ~x5623 ~x2238 ~x7316 x548 
10.15/10.24	v ~x3931 ~x9008 ~x5624 ~x2239 ~x7317 x549 ~x3932 ~x9009 ~x5625 ~x2240 
10.15/10.24	v ~x7318 x550 ~x3933 ~x9010 ~x5626 ~x2241 ~x7319 x551 ~x3934 ~x9011 
10.15/10.24	v ~x5627 ~x2242 ~x7320 x552 ~x3935 ~x9012 ~x5628 ~x2243 ~x7321 x553 
10.15/10.24	v ~x3936 ~x9013 ~x5629 ~x2244 ~x7322 x554 x3937 ~x9014 ~x5630 ~x2245 
10.15/10.24	v ~x7323 x555 x3938 ~x9015 ~x5631 ~x2246 ~x7324 x556 x3939 ~x9016 
10.15/10.24	v ~x5632 ~x2247 ~x7325 x557 x3940 ~x9017 ~x5633 ~x2248 ~x7326 x558 
10.15/10.24	v x3941 ~x9018 ~x5634 ~x2249 x7327 x559 x3942 ~x9019 ~x5635 ~x2250 
10.15/10.24	v x7328 x560 x3943 ~x9020 ~x5636 ~x2251 x7329 x561 x3944 ~x9021 
10.15/10.24	v ~x5637 ~x2252 x7330 x562 x3945 ~x9022 ~x5638 ~x2253 ~x7331 x563 
10.15/10.24	v x3946 ~x9023 ~x5639 ~x2254 ~x7332 x564 x3947 ~x9024 ~x5640 ~x2255 
10.15/10.24	v ~x7333 x565 x3948 ~x9025 ~x5641 x2256 ~x7334 x566 x3949 ~x9026 
10.15/10.24	v ~x5642 x2257 ~x7335 x567 x3950 ~x9027 ~x5643 x2258 ~x7336 x568 
10.15/10.24	v x3951 ~x9028 ~x5644 x2259 ~x7337 x569 x3952 ~x9029 x5645 x2260 
10.15/10.24	v ~x7338 x570 ~x3953 ~x9030 x5646 x2261 ~x7339 x571 ~x3954 ~x9031 
10.15/10.24	v x5647 x2262 ~x7340 x572 ~x3955 ~x9032 x5648 x2263 ~x7341 x573 
10.15/10.24	v ~x3956 x9033 x5649 x2264 ~x7342 x574 ~x3957 x9034 x5650 x2265 
10.15/10.24	v ~x7343 x575 ~x3958 x9035 x5651 x2266 ~x7344 x576 ~x3959 x9036 
10.15/10.24	v x5652 x2267 ~x7345 x577 ~x3960 x9037 ~x5653 x2268 ~x7346 x578 
10.15/10.24	v ~x3961 ~x9038 ~x5654 x2269 ~x7347 x579 ~x3962 ~x9039 ~x5655 x2270 
10.15/10.24	v ~x7348 x580 ~x3963 ~x9040 ~x5656 x2271 ~x7349 x581 ~x3964 ~x9041 
10.15/10.24	v ~x5657 x2272 ~x7350 x582 ~x3965 ~x9042 ~x5658 x2273 ~x7351 x583 
10.15/10.24	v ~x3966 ~x9043 ~x5659 x2274 ~x7352 x584 ~x3967 ~x9044 ~x5660 x2275 
10.15/10.24	v ~x7353 x585 ~x3968 ~x9045 ~x5661 x2276 ~x7354 x586 ~x3969 ~x9046 
10.15/10.24	v ~x5662 x2277 ~x7355 x587 ~x3970 ~x9047 ~x5663 x2278 ~x7356 x588 
10.15/10.24	v ~x3971 ~x9048 ~x5664 x2279 ~x7357 x589 ~x3972 ~x9049 ~x5665 x2280 
10.15/10.24	v ~x7358 x590 ~x3973 ~x9050 ~x5666 ~x2281 ~x7359 x591 ~x3974 ~x9051 
10.15/10.24	v ~x5667 ~x2282 ~x7360 x592 ~x3975 ~x9052 ~x5668 ~x2283 ~x7361 x593 
10.15/10.24	v ~x3976 ~x9053 ~x5669 ~x2284 ~x7362 x594 ~x3977 ~x9054 ~x5670 ~x2285 
10.15/10.24	v ~x7363 x595 ~x3978 ~x9055 ~x5671 ~x2286 ~x7364 x596 ~x3979 ~x9056 
10.15/10.24	v ~x5672 ~x2287 ~x7365 x597 ~x3980 ~x9057 ~x5673 ~x2288 ~x7366 x598 
10.15/10.24	v ~x3981 ~x9058 ~x5674 ~x2289 ~x7367 x599 ~x3982 ~x9059 ~x5675 ~x2290 
10.15/10.24	v ~x7368 x600 ~x3983 ~x9060 ~x5676 ~x2291 ~x7369 x601 ~x3984 ~x9061 
10.15/10.24	v ~x5677 ~x2292 ~x7370 x602 ~x3985 ~x9062 ~x5678 ~x2293 ~x7371 x603 
10.15/10.24	v ~x3986 ~x9063 ~x5679 ~x2294 ~x7372 x604 ~x3987 ~x9064 ~x5680 ~x2295 
10.15/10.24	v ~x7373 x605 ~x3988 ~x9065 ~x5681 ~x2296 ~x7374 x606 ~x3989 ~x9066 
10.15/10.24	v ~x5682 ~x2297 ~x7375 x607 ~x3990 ~x9067 ~x5683 ~x2298 ~x7376 x608 
10.15/10.24	v ~x3991 ~x9068 ~x5684 ~x2299 ~x7377 ~x609 ~x3992 ~x9069 ~x5685 ~x2300 
10.15/10.24	v ~x7378 ~x610 ~x3993 ~x9070 ~x5686 ~x2301 ~x7379 ~x611 ~x3994 ~x9071 
10.15/10.24	v ~x5687 ~x2302 ~x7380 ~x612 ~x3995 ~x9072 ~x5688 ~x2303 ~x7381 ~x613 
10.15/10.24	v ~x3996 ~x9073 ~x5689 ~x2304 ~x7382 ~x614 ~x3997 ~x9074 ~x5690 x2305 
10.15/10.24	v ~x7383 ~x615 ~x3998 ~x9075 ~x5691 x2306 ~x7384 ~x616 ~x3999 ~x9076 
10.15/10.24	v ~x5692 x2307 ~x7385 ~x617 ~x4000 ~x9077 ~x5693 x2308 ~x7386 ~x618 
10.15/10.24	v ~x4001 ~x9078 ~x5694 x2309 ~x7387 ~x619 ~x4002 ~x9079 ~x5695 x2310 
10.15/10.24	v ~x7388 ~x620 ~x4003 ~x9080 ~x5696 x2311 ~x7389 ~x621 ~x4004 ~x9081 
10.15/10.24	v ~x5697 x2312 ~x7390 ~x622 ~x4005 ~x9082 ~x5698 x2313 ~x7391 ~x623 
10.15/10.24	v ~x4006 ~x9083 ~x5699 x2314 ~x7392 ~x624 ~x4007 ~x9084 ~x5700 x2315 
10.15/10.24	v ~x7393 ~x625 ~x4008 ~x9085 ~x5701 x2316 ~x7394 ~x626 ~x4009 ~x9086 
10.15/10.24	v ~x5702 x2317 ~x7395 ~x627 ~x4010 ~x9087 ~x5703 x2318 ~x7396 x628 
10.15/10.24	v ~x4011 ~x9088 ~x5704 x2319 ~x7397 x629 ~x4012 ~x9089 ~x5705 x2320 
10.15/10.24	v ~x7398 x630 ~x4013 ~x9090 ~x5706 x2321 ~x7399 x631 x4014 ~x9091 
10.15/10.24	v ~x5707 x2322 ~x7400 x632 x4015 ~x9092 ~x5708 x2323 ~x7401 x633 
10.15/10.24	v x4016 ~x9093 ~x5709 x2324 ~x7402 x634 x4017 ~x9094 ~x5710 x2325 
10.15/10.24	v ~x7403 x635 x4018 ~x9095 ~x5711 x2326 ~x7404 x636 x4019 ~x9096 
10.15/10.24	v ~x5712 x2327 ~x7405 x637 x4020 ~x9097 ~x5713 x2328 ~x7406 x638 
10.15/10.24	v x4021 ~x9098 ~x5714 x2329 ~x7407 x639 x4022 ~x9099 ~x5715 x2330 
10.15/10.24	v ~x7408 x640 x4023 ~x9100 ~x5716 x2331 ~x7409 x641 x4024 ~x9101 
10.15/10.24	v ~x5717 x2332 ~x7410 x642 x4025 ~x9102 ~x5718 x2333 ~x7411 x643 
10.15/10.24	v x4026 ~x9103 ~x5719 x2334 ~x7412 x644 x4027 ~x9104 ~x5720 x2335 
10.15/10.24	v ~x7413 x645 x4028 ~x9105 ~x5721 x2336 ~x7414 x646 ~x4029 ~x9106 
10.15/10.24	v ~x5722 x2337 ~x7415 x647 ~x4030 ~x9107 ~x5723 x2338 ~x7416 x648 
10.15/10.24	v ~x4031 ~x9108 ~x5724 x2339 ~x7417 x649 ~x4032 ~x9109 ~x5725 x2340 
10.15/10.24	v ~x7418 x650 ~x4033 ~x9110 ~x5726 x2341 x7419 x651 ~x4034 ~x9111 
10.15/10.24	v ~x5727 x2342 x7420 x652 ~x4035 ~x9112 ~x5728 x2343 x7421 x653 
10.15/10.24	v ~x4036 ~x9113 ~x5729 x2344 x7422 x654 ~x4037 ~x9114 ~x5730 x2345 
10.15/10.24	v x7423 x655 ~x4038 ~x9115 ~x5731 x2346 x7424 x656 ~x4039 ~x9116 
10.15/10.24	v ~x5732 x2347 ~x7425 x657 ~x4040 ~x9117 ~x5733 x2348 ~x7426 x658 
10.15/10.24	v ~x4041 ~x9118 ~x5734 x2349 ~x7427 x659 ~x4042 x9119 ~x5735 x2350 
10.15/10.24	v ~x7428 x660 ~x4043 ~x9120 ~x5736 x2351 ~x7429 x661 ~x4044 ~x9121 
10.15/10.24	v ~x5737 x2352 ~x7430 x662 ~x4045 ~x9122 ~x5738 x2353 ~x7431 x663 
10.15/10.24	v ~x4046 ~x9123 ~x5739 x2354 ~x7432 x664 ~x4047 ~x9124 ~x5740 x2355 
10.15/10.24	v ~x7433 x665 ~x4048 ~x9125 ~x5741 x2356 ~x7434 x666 ~x4049 ~x9126 
10.15/10.24	v ~x5742 ~x2357 ~x7435 x667 ~x4050 ~x9127 ~x5743 ~x2358 ~x7436 x668 
10.15/10.24	v ~x4051 ~x9128 ~x5744 ~x2359 ~x7437 x669 ~x4052 ~x9129 ~x5745 ~x2360 
10.15/10.24	v ~x7438 x670 ~x4053 ~x9130 x5746 ~x2361 ~x7439 x671 ~x4054 ~x9131 
10.15/10.24	v x5747 ~x2362 ~x7440 x672 ~x4055 ~x9132 x5748 ~x2363 ~x7441 x673 
10.15/10.24	v ~x4056 ~x9133 ~x5749 ~x2364 ~x7442 x674 ~x4057 ~x9134 ~x5750 ~x2365 
10.15/10.24	v ~x7443 x675 ~x4058 ~x9135 ~x5751 ~x2366 ~x7444 x676 ~x4059 ~x9136 
10.15/10.24	v ~x5752 ~x2367 ~x7445 x677 ~x4060 ~x9137 ~x5753 ~x2368 ~x7446 x678 
10.15/10.25	v ~x4061 ~x9138 ~x5754 ~x2369 ~x7447 x679 ~x4062 ~x9139 ~x5755 ~x2370 
10.15/10.25	v ~x7448 x680 ~x4063 ~x9140 ~x5756 ~x2371 ~x7449 x681 ~x4064 ~x9141 
10.15/10.25	v ~x5757 ~x2372 ~x7450 x682 ~x4065 ~x9142 ~x5758 ~x2373 ~x7451 x683 
10.15/10.25	v ~x4066 ~x9143 ~x5759 ~x2374 ~x7452 x684 ~x4067 ~x9144 ~x5760 ~x2375 
10.15/10.25	v ~x7453 ~x685 ~x4068 ~x9145 ~x5761 ~x2376 ~x7454 ~x686 ~x4069 ~x9146 
10.15/10.25	v ~x5762 ~x2377 ~x7455 ~x687 ~x4070 ~x9147 ~x5763 ~x2378 ~x7456 ~x688 
10.15/10.25	v ~x4071 ~x9148 ~x5764 ~x2379 ~x7457 ~x689 ~x4072 ~x9149 ~x5765 ~x2380 
10.15/10.25	v ~x7458 ~x690 ~x4073 ~x9150 ~x5766 ~x2381 ~x7459 ~x691 ~x4074 ~x9151 
10.15/10.25	v ~x5767 ~x2382 ~x7460 ~x692 ~x4075 ~x9152 ~x5768 ~x2383 ~x7461 ~x693 
10.15/10.25	v ~x4076 ~x9153 ~x5769 ~x2384 ~x7462 ~x694 ~x4077 ~x9154 ~x5770 ~x2385 
10.15/10.25	v ~x7463 ~x695 ~x4078 ~x9155 ~x5771 ~x2386 ~x7464 ~x696 ~x4079 ~x9156 
10.15/10.25	v ~x5772 ~x2387 ~x7465 ~x697 ~x4080 ~x9157 ~x5773 ~x2388 ~x7466 x698 
10.15/10.25	v ~x4081 ~x9158 ~x5774 ~x2389 ~x7467 x699 ~x4082 ~x9159 ~x5775 ~x2390 
10.15/10.25	v ~x7468 x700 ~x4083 ~x9160 ~x5776 x2391 x7469 x701 ~x4084 ~x9161 
10.15/10.25	v ~x5777 x2392 x7470 x702 x4085 ~x9162 ~x5778 x2393 x7471 x703 
10.15/10.25	v x4086 ~x9163 ~x5779 x2394 x7472 x704 x4087 ~x9164 ~x5780 x2395 
10.15/10.25	v x7473 x705 x4088 ~x9165 ~x5781 x2396 x7474 x706 x4089 ~x9166 
10.15/10.25	v ~x5782 x2397 x7475 x707 x4090 ~x9167 ~x5783 x2398 x7476 x708 
10.15/10.25	v x4091 ~x9168 ~x5784 x2399 ~x7477 x709 x4092 ~x9169 ~x5785 x2400 
10.15/10.25	v ~x7478 x710 x4093 ~x9170 ~x5786 x2401 ~x7479 x711 x4094 ~x9171 
10.15/10.25	v ~x5787 x2402 ~x7480 x712 x4095 ~x9172 ~x5788 x2403 ~x7481 x713 
10.15/10.25	v x4096 ~x9173 ~x5789 x2404 ~x7482 x714 x4097 ~x9174 ~x5790 x2405 
10.15/10.25	v ~x7483 x715 x4098 ~x9175 ~x5791 x2406 ~x7484 x716 x4099 ~x9176 
10.15/10.25	v ~x5792 x2407 ~x7485 x717 x4100 ~x9177 ~x5793 x2408 ~x7486 x718 
10.15/10.25	v x4101 ~x9178 ~x5794 x2409 ~x7487 x719 x4102 ~x9179 ~x5795 x2410 
10.15/10.25	v ~x7488 x720 x4103 ~x9180 ~x5796 x2411 ~x7489 x721 x4104 ~x9181 
10.15/10.25	v ~x5797 x2412 ~x7490 x722 ~x4105 ~x9182 ~x5798 x2413 ~x7491 x723 
10.15/10.25	v ~x4106 ~x9183 ~x5799 x2414 ~x7492 x724 ~x4107 ~x9184 ~x5800 x2415 
10.15/10.25	v ~x7493 x725 ~x4108 ~x9185 ~x5801 x2416 ~x7494 x726 ~x4109 ~x9186 
10.15/10.25	v ~x5802 x2417 ~x7495 x727 ~x4110 ~x9187 ~x5803 x2418 ~x7496 x728 
10.15/10.25	v ~x4111 ~x9188 ~x5804 x2419 ~x7497 x729 ~x4112 x9189 ~x5805 x2420 
10.15/10.25	v ~x7498 x730 ~x4113 x9190 ~x5806 x2421 ~x7499 x731 ~x4114 x9191 
10.15/10.25	v ~x5807 x2422 ~x7500 x732 ~x4115 x9192 ~x5808 x2423 ~x7501 x733 
10.15/10.25	v ~x4116 x9193 ~x5809 x2424 ~x7502 x734 ~x4117 x9194 ~x5810 x2425 
10.15/10.25	v ~x7503 x735 ~x4118 x9195 ~x5811 x2426 ~x7504 x736 ~x4119 ~x9196 
10.15/10.25	v ~x5812 x2427 ~x7505 x737 ~x4120 ~x9197 ~x5813 x2428 ~x7506 x738 
10.15/10.25	v ~x4121 ~x9198 ~x5814 x2429 ~x7507 x739 ~x4122 ~x9199 ~x5815 x2430 
10.15/10.25	v ~x7508 x740 ~x4123 ~x9200 ~x5816 x2431 ~x7509 x741 ~x4124 ~x9201 
10.15/10.25	v ~x5817 x2432 ~x7510 x742 ~x4125 ~x9202 ~x5818 ~x2433 ~x7511 x743 
10.15/10.25	v ~x4126 ~x9203 ~x5819 ~x2434 ~x7512 x744 ~x4127 ~x9204 ~x5820 ~x2435 
10.15/10.25	v ~x7513 x745 ~x4128 ~x9205 ~x5821 ~x2436 ~x7514 x746 ~x4129 ~x9206 
10.15/10.25	v ~x5822 ~x2437 ~x7515 x747 ~x4130 ~x9207 ~x5823 ~x2438 ~x7516 x748 
10.15/10.25	v ~x4131 ~x9208 ~x5824 ~x2439 ~x7517 x749 ~x4132 ~x9209 x5825 ~x2440 
10.15/10.25	v ~x7518 x750 x4133 ~x9210 x5826 ~x2441 ~x7519 x751 x4134 ~x9211 
10.15/10.25	v x5827 ~x2442 ~x7520 x752 x4135 ~x9212 ~x5828 ~x2443 ~x7521 x753 
10.15/10.25	v x4136 ~x9213 ~x5829 ~x2444 ~x7522 x754 x4137 ~x9214 ~x5830 ~x2445 
10.15/10.25	v ~x7523 x755 x4138 ~x9215 ~x5831 ~x2446 ~x7524 x756 x4139 ~x9216 
10.15/10.25	v ~x5832 ~x2447 ~x7525 x757 x4140 ~x9217 ~x5833 ~x2448 ~x7526 x758 
10.15/10.25	v x4141 ~x9218 ~x5834 ~x2449 ~x7527 x759 x4142 ~x9219 ~x5835 ~x2450 
10.15/10.25	v ~x7528 x760 x4143 ~x9220 ~x5836 ~x2451 ~x7529 ~x761 x4144 ~x9221 
10.15/10.25	v ~x5837 ~x2452 ~x7530 ~x762 x4145 ~x9222 ~x5838 ~x2453 ~x7531 ~x763 
10.15/10.25	v x4146 ~x9223 ~x5839 ~x2454 ~x7532 ~x764 x4147 ~x9224 ~x5840 ~x2455 
10.15/10.25	v ~x7533 ~x765 x4148 ~x9225 ~x5841 ~x2456 ~x7534 ~x766 x4149 ~x9226 
10.15/10.25	v ~x5842 ~x2457 ~x7535 ~x767 x4150 ~x9227 ~x5843 ~x2458 ~x7536 ~x768 
10.15/10.25	v x4151 ~x9228 ~x5844 ~x2459 ~x7537 ~x769 x4152 ~x9229 ~x5845 ~x2460 
10.15/10.25	v ~x7538 ~x770 x4153 ~x9230 ~x5846 ~x2461 ~x7539 ~x771 x4154 ~x9231 
10.15/10.25	v ~x5847 ~x2462 ~x7540 ~x772 x4155 ~x9232 ~x5848 ~x2463 ~x7541 ~x773 
10.15/10.25	v x4156 ~x9233 ~x5849 ~x2464 ~x7542 ~x774 x4157 ~x9234 ~x5850 ~x2465 
10.15/10.25	v ~x7543 ~x775 x4158 ~x9235 ~x5851 ~x2466 ~x7544 ~x776 x4159 ~x9236 
10.15/10.25	v ~x5852 ~x2467 ~x7545 ~x777 x4160 ~x9237 ~x5853 ~x2468 ~x7546 ~x778 
10.15/10.25	v x4161 ~x9238 ~x5854 ~x2469 ~x7547 ~x779 x4162 ~x9239 ~x5855 ~x2470 
10.15/10.25	v ~x7548 ~x780 x4163 ~x9240 ~x5856 ~x2471 ~x7549 ~x781 x4164 ~x9241 
10.15/10.25	v ~x5857 ~x2472 ~x7550 ~x782 x4165 ~x9242 ~x5858 ~x2473 ~x7551 ~x783 
10.15/10.25	v x4166 ~x9243 ~x5859 ~x2474 ~x7552 ~x784 x4167 ~x9244 ~x5860 ~x2475 
10.15/10.25	v ~x7553 ~x785 x4168 ~x9245 ~x5861 ~x2476 ~x7554 ~x786 x4169 ~x9246 
10.15/10.25	v ~x5862 ~x2477 ~x7555 ~x787 x4170 ~x9247 ~x5863 ~x2478 ~x7556 ~x788 
10.15/10.25	v x4171 ~x9248 ~x5864 ~x2479 ~x7557 x789 x4172 ~x9249 ~x5865 ~x2480 
10.15/10.25	v ~x7558 x790 x4173 ~x9250 ~x5866 ~x2481 ~x7559 x791 x4174 ~x9251 
10.15/10.25	v ~x5867 ~x2482 ~x7560 x792 x4175 ~x9252 ~x5868 ~x2483 ~x7561 x793 
10.15/10.25	v x4176 ~x9253 ~x5869 ~x2484 ~x7562 x794 x4177 ~x9254 ~x5870 ~x2485 
10.15/10.25	v ~x7563 x795 x4178 ~x9255 ~x5871 ~x2486 x7564 x796 x4179 ~x9256 
10.15/10.25	v ~x5872 ~x2487 x7565 x797 x4180 ~x9257 ~x5873 ~x2488 x7566 x798 
10.15/10.25	v ~x4181 ~x9258 ~x5874 ~x2489 x7567 x799 ~x4182 ~x9259 ~x5875 ~x2490 
10.15/10.25	v x7568 x800 ~x4183 ~x9260 ~x5876 ~x2491 x7569 x801 ~x4184 ~x9261 
10.15/10.25	v ~x5877 ~x2492 ~x7570 x802 ~x4185 ~x9262 ~x5878 ~x2493 ~x7571 x803 
10.15/10.25	v ~x4186 ~x9263 ~x5879 ~x2494 ~x7572 x804 ~x4187 ~x9264 ~x5880 ~x2495 
10.15/10.25	v ~x7573 x805 ~x4188 ~x9265 x5881 ~x2496 ~x7574 x806 ~x4189 ~x9266 
10.15/10.25	v x5882 ~x2497 ~x7575 x807 ~x4190 ~x9267 x5883 ~x2498 ~x7576 x808 
10.15/10.25	v ~x4191 ~x9268 x5884 ~x2499 ~x7577 x809 ~x4192 ~x9269 x5885 ~x2500 
10.15/10.25	v ~x7578 x810 ~x4193 ~x9270 ~x5886 ~x2501 ~x7579 x811 ~x4194 ~x9271 
10.15/10.25	v ~x5887 x2502 ~x7580 x812 ~x4195 x9272 ~x5888 x2503 ~x7581 x813 
10.15/10.25	v ~x4196 ~x5889 x2504 ~x7582 x814 ~x4197 ~x5890 x2505 ~x7583 x815 
10.15/10.25	v ~x4198 ~x5891 x2506 ~x7584 x816 ~x4199 ~x5892 x2507 ~x7585 x817 
10.15/10.25	v ~x4200 ~x5893 x2508 ~x7586 x818 ~x4201 ~x5894 ~x2509 ~x7587 x819 
10.15/10.25	v ~x4202 ~x5895 ~x2510 ~x7588 x820 ~x4203 ~x5896 ~x2511 ~x7589 x821 
10.15/10.25	v ~x4204 ~x5897 ~x2512 ~x7590 x822 ~x4205 ~x5898 ~x2513 ~x7591 x823 
10.15/10.25	v ~x4206 ~x5899 ~x2514 ~x7592 x824 ~x4207 ~x5900 ~x2515 ~x7593 x825 
10.15/10.25	v ~x4208 ~x5901 ~x2516 ~x7594 x826 ~x4209 ~x5902 ~x2517 ~x7595 x827 
10.15/10.25	v ~x4210 ~x5903 ~x2518 ~x7596 x828 ~x4211 ~x5904 ~x2519 ~x7597 x829 
10.15/10.25	v ~x4212 ~x5905 ~x2520 ~x7598 x830 ~x4213 ~x5906 ~x2521 ~x7599 x831 
10.15/10.25	v ~x4214 ~x5907 ~x2522 ~x7600 x832 ~x4215 ~x5908 ~x2523 ~x7601 x833 
10.15/10.25	v ~x4216 ~x5909 ~x2524 ~x7602 x834 ~x4217 ~x5910 ~x2525 ~x7603 x835 
10.15/10.25	v ~x4218 ~x5911 ~x2526 ~x7604 x836 ~x4219 ~x5912 ~x2527 ~x7605 ~x837 
10.15/10.25	v ~x4220 ~x5913 ~x2528 ~x7606 ~x838 ~x4221 ~x5914 ~x2529 ~x7607 ~x839 
10.15/10.25	v ~x4222 ~x5915 ~x2530 ~x7608 ~x840 ~x4223 ~x5916 ~x2531 ~x7609 ~x841 
10.15/10.25	v ~x4224 ~x5917 ~x2532 ~x7610 ~x842 ~x4225 ~x5918 ~x2533 ~x7611 ~x843 
10.15/10.25	v ~x4226 ~x5919 ~x2534 ~x7612 ~x844 ~x4227 ~x5920 ~x2535 ~x7613 ~x845 
10.15/10.25	v ~x4228 ~x5921 ~x2536 ~x7614 x846 ~x4229 ~x5922 ~x2537 ~x7615 x847 
10.15/10.25	v ~x4230 ~x5923 ~x2538 ~x7616 x848 ~x5924 ~x2539 ~x7617 x849 ~x4231 
10.15/10.25	v ~x5925 ~x2540 ~x7618 x850 ~x4232 ~x5926 ~x2541 ~x7619 x851 ~x4233 
10.15/10.25	v ~x5927 ~x2542 ~x7620 x852 ~x4234 ~x5928 ~x2543 ~x7621 x853 ~x4235 
10.15/10.25	v ~x5929 ~x2544 ~x7622 x854 ~x4236 ~x5930 ~x2545 ~x7623 x855 ~x4237 
10.15/10.25	v ~x5931 ~x2546 ~x7624 x856 ~x4238 ~x5932 ~x2547 ~x7625 x857 ~x4239 
10.15/10.25	v ~x5933 ~x2548 ~x7626 x858 ~x4240 ~x5934 ~x2549 ~x7627 x859 ~x4241 
10.15/10.25	v ~x5935 ~x2550 ~x7628 x860 ~x4242 ~x5936 ~x2551 ~x7629 x861 ~x4243 
10.15/10.25	v ~x5937 ~x2552 ~x7630 x862 ~x4244 ~x5938 ~x2553 ~x7631 x863 ~x4245 
10.15/10.25	v ~x5939 ~x2554 ~x7632 x864 ~x4246 ~x5940 ~x2555 ~x7633 x865 ~x4247 
10.15/10.25	v ~x5941 ~x2556 ~x7634 x866 ~x4248 ~x5942 ~x2557 ~x7635 x867 ~x4249 
10.15/10.25	v ~x5943 ~x2558 ~x7636 x868 ~x4250 ~x5944 ~x2559 ~x7637 x869 ~x4251 
10.15/10.25	v ~x5945 ~x2560 ~x7638 x870 x4252 ~x5946 ~x2561 ~x7639 x871 x4253 
10.15/10.25	v ~x5947 ~x2562 ~x7640 x872 x4254 ~x5948 ~x2563 ~x7641 x873 x4255 
10.15/10.25	v ~x5949 ~x2564 ~x7642 x874 x4256 ~x5950 x2565 ~x7643 x875 ~x4257 
10.15/10.25	v ~x5951 x2566 ~x7644 x876 ~x4258 ~x5952 x2567 ~x7645 x877 ~x4259 
10.15/10.25	v ~x5953 x2568 ~x7646 x878 ~x4260 ~x5954 x2569 ~x7647 x879 ~x4261 
10.15/10.25	v ~x5955 x2570 ~x7648 x880 ~x4262 ~x5956 x2571 ~x7649 x881 ~x4263 
10.15/10.25	v ~x5957 x2572 x7650 x882 ~x4264 ~x5958 x2573 x7651 x883 ~x4265 
10.15/10.25	v ~x5959 x2574 x7652 x884 ~x4266 ~x5960 x2575 x7653 x885 ~x4267 
10.15/10.25	v ~x5961 x2576 x7654 x886 ~x4268 ~x5962 x2577 x7655 x887 ~x4269 
10.15/10.25	v ~x5963 x2578 x7656 x888 ~x4270 ~x5964 x2579 ~x7657 x889 ~x4271 
10.15/10.25	v ~x5965 x2580 ~x7658 x890 ~x4272 ~x5966 x2581 ~x7659 x891 ~x4273 
10.15/10.25	v ~x5967 x2582 ~x7660 x892 ~x4274 ~x5968 x2583 ~x7661 x893 ~x4275 
10.15/10.25	v ~x5969 x2584 ~x7662 x894 ~x4276 ~x5970 ~x2585 ~x7663 x895 ~x4277 
10.15/10.25	v ~x5971 ~x2586 ~x7664 x896 ~x4278 ~x5972 ~x2587 ~x7665 x897 ~x4279 
10.15/10.25	v ~x5973 ~x2588 ~x7666 x898 ~x4280 x5974 ~x2589 ~x7667 x899 ~x4281 
10.15/10.25	v x5975 ~x2590 ~x7668 x900 ~x4282 x5976 ~x2591 ~x7669 x901 ~x4283 
10.15/10.25	v x5977 ~x2592 ~x7670 x902 ~x4284 x5978 ~x2593 ~x7671 x903 ~x4285 
10.15/10.25	v x5979 ~x2594 ~x7672 x904 ~x4286 x5980 ~x2595 ~x7673 x905 ~x4287 
10.15/10.25	v x5981 ~x2596 ~x7674 x906 ~x4288 ~x5982 ~x2597 ~x7675 x907 ~x4289 
10.15/10.25	v ~x5983 ~x2598 ~x7676 x908 ~x4290 ~x5984 ~x2599 ~x7677 x909 ~x4291 
10.15/10.25	v ~x5985 ~x2600 ~x7678 x910 ~x4292 ~x5986 ~x2601 ~x7679 x911 ~x4293 
10.15/10.25	v ~x5987 ~x2602 ~x7680 x912 ~x4294 ~x5988 ~x2603 ~x7681 ~x913 ~x4295 
10.15/10.25	v ~x5989 ~x2604 ~x7682 ~x914 ~x4296 ~x5990 ~x2605 ~x7683 ~x915 ~x4297 
10.15/10.25	v ~x5991 ~x2606 ~x7684 ~x916 ~x4298 ~x5992 ~x2607 ~x7685 ~x917 ~x4299 
10.15/10.25	v ~x5993 ~x2608 ~x7686 ~x918 ~x4300 ~x5994 ~x2609 ~x7687 ~x919 ~x4301 
10.15/10.25	v ~x5995 x2610 ~x7688 ~x920 ~x4302 ~x5996 x2611 ~x7689 ~x921 ~x4303 
10.15/10.25	v ~x5997 x2612 ~x7690 ~x922 ~x4304 ~x5998 x2613 ~x7691 ~x923 ~x4305 
10.15/10.25	v ~x5999 x2614 ~x7692 ~x924 ~x4306 ~x6000 x2615 ~x7693 ~x925 ~x4307 
10.15/10.25	v ~x6001 x2616 ~x7694 ~x926 ~x4308 ~x6002 x2617 ~x7695 ~x927 ~x4309 
10.15/10.25	v ~x6003 x2618 x7696 ~x928 ~x4310 ~x6004 x2619 x7697 ~x929 ~x4311 
10.15/10.25	v ~x6005 x2620 x7698 ~x930 ~x4312 ~x6006 x2621 x7699 ~x931 ~x4313 
10.15/10.25	v ~x6007 x2622 x7700 ~x932 ~x4314 ~x6008 x2623 x7701 ~x933 ~x4315 
10.15/10.25	v ~x6009 x2624 x7702 ~x934 ~x4316 ~x6010 x2625 x7703 ~x935 ~x4317 
10.15/10.25	v ~x6011 x2626 x7704 ~x936 x4318 ~x6012 x2627 ~x7705 ~x937 x4319 
10.15/10.25	v ~x6013 x2628 ~x7706 ~x938 x4320 x6014 x2629 ~x7707 ~x939 x4321 
10.15/10.25	v x6015 x2630 ~x7708 ~x940 x4322 x6016 x2631 ~x7709 ~x941 x4323 
10.15/10.25	v x6017 x2632 ~x7710 ~x942 x4324 x6018 x2633 ~x7711 ~x943 x4325 
10.15/10.25	v x6019 x2634 ~x7712 ~x944 x4326 x6020 x2635 ~x7713 ~x945 x4327 
10.15/10.25	v ~x6021 x2636 ~x7714 ~x946 x4328 ~x6022 x2637 ~x7715 ~x947 x4329 
10.15/10.25	v ~x6023 x2638 ~x7716 ~x948 x4330 ~x6024 x2639 ~x7717 ~x949 x4331 
10.15/10.25	v ~x6025 x2640 ~x7718 ~x950 x4332 ~x6026 x2641 ~x7719 ~x951 ~x4333 
10.15/10.25	v ~x6027 x2642 ~x7720 x952 ~x4334 ~x6028 x2643 ~x7721 x953 ~x4335 
10.15/10.25	v ~x6029 x2644 ~x7722 x954 ~x4336 ~x6030 x2645 ~x7723 x955 ~x4337 
10.15/10.25	v ~x6031 x2646 ~x7724 x956 ~x4338 ~x6032 x2647 ~x7725 x957 ~x4339 
10.15/10.25	v ~x6033 x2648 ~x7726 x958 ~x4340 ~x6034 x2649 ~x7727 x959 ~x4341 
10.15/10.25	v ~x6035 x2650 ~x7728 x960 ~x4342 ~x6036 x2651 ~x7729 x961 ~x4343 
10.15/10.25	v ~x6037 x2652 ~x7730 x962 ~x4344 ~x6038 x2653 ~x7731 x963 ~x4345 
10.15/10.25	v ~x6039 x2654 ~x7732 x964 ~x4346 ~x6040 x2655 ~x7733 x965 ~x4347 
10.15/10.25	v ~x6041 x2656 ~x7734 x966 ~x4348 ~x6042 x2657 ~x7735 x967 ~x4349 
10.15/10.25	v ~x6043 x2658 ~x7736 x968 ~x4350 ~x6044 x2659 ~x7737 x969 ~x4351 
10.15/10.25	v ~x6045 x2660 ~x7738 x970 ~x4352 ~x6046 ~x2661 ~x7739 x971 ~x4353 
10.15/10.25	v ~x6047 ~x2662 ~x7740 x972 ~x4354 ~x6048 ~x2663 ~x7741 x973 ~x4355 
10.15/10.25	v ~x6049 ~x2664 ~x7742 x974 ~x4356 ~x6050 ~x2665 ~x7743 x975 ~x4357 
10.15/10.25	v ~x6051 ~x2666 ~x7744 x976 ~x4358 ~x6052 ~x2667 ~x7745 x977 ~x4359 
10.15/10.25	v ~x6053 ~x2668 ~x7746 x978 ~x4360 ~x6054 ~x2669 ~x7747 x979 ~x4361 
10.15/10.25	v ~x6055 ~x2670 ~x7748 x980 ~x4362 ~x6056 ~x2671 ~x7749 x981 ~x4363 
10.15/10.25	v ~x6057 ~x2672 ~x7750 x982 ~x4364 ~x6058 ~x2673 ~x7751 x983 ~x4365 
10.15/10.25	v ~x6059 ~x2674 ~x7752 x984 ~x4366 ~x6060 ~x2675 ~x7753 x985 ~x4367 
10.15/10.25	v ~x6061 ~x2676 ~x7754 x986 ~x4368 ~x6062 ~x2677 ~x7755 x987 ~x4369 
10.15/10.25	v ~x6063 ~x2678 ~x7756 x988 ~x4370 ~x6064 ~x2679 ~x7757 ~x989 ~x4371 
10.15/10.25	v ~x6065 ~x2680 ~x7758 ~x990 ~x4372 ~x6066 ~x2681 ~x7759 ~x991 ~x4373 
10.15/10.25	v ~x6067 ~x2682 ~x7760 ~x992 ~x4374 ~x6068 ~x2683 ~x7761 ~x993 ~x4375 
10.15/10.25	v ~x6069 ~x2684 ~x7762 ~x994 ~x4376 ~x6070 ~x2685 ~x7763 ~x995 ~x4377 
10.15/10.25	v ~x6071 ~x2686 ~x7764 ~x996 ~x4378 ~x6072 ~x2687 ~x7765 ~x997 ~x4379 
10.15/10.25	v ~x6073 ~x2688 ~x7766 ~x998 ~x4380 ~x6074 ~x2689 ~x7767 ~x999 ~x4381 
10.15/10.25	v ~x6075 ~x2690 ~x7768 ~x1000 ~x4382 ~x6076 x2691 ~x7769 ~x1001 ~x4383 
10.15/10.25	v ~x6077 x2692 ~x7770 ~x1002 ~x4384 ~x6078 x2693 ~x7771 ~x1003 ~x4385 
10.15/10.25	v ~x6079 x2694 ~x7772 ~x1004 ~x4386 ~x6080 x2695 ~x7773 ~x1005 ~x4387 
10.15/10.25	v ~x6081 x2696 ~x7774 ~x1006 ~x4388 ~x6082 x2697 ~x7775 ~x1007 ~x4389 
10.15/10.25	v ~x6083 x2698 ~x7776 ~x1008 ~x4390 ~x6084 x2699 ~x7777 x1009 ~x4391 
10.15/10.25	v ~x6085 x2700 ~x7778 x1010 ~x4392 ~x6086 x2701 ~x7779 x1011 ~x4393 
10.15/10.25	v ~x6087 x2702 ~x7780 x1012 ~x4394 ~x6088 x2703 ~x7781 x1013 ~x4395 
10.15/10.25	v ~x6089 x2704 ~x7782 x1014 ~x4396 ~x6090 x2705 ~x7783 x1015 x4397 
10.15/10.25	v ~x6091 x2706 ~x7784 x1016 x4398 ~x6092 x2707 ~x7785 x1017 x4399 
10.15/10.25	v ~x6093 x2708 ~x7786 x1018 x4400 ~x6094 x2709 ~x7787 x1019 x4401 
10.15/10.25	v ~x6095 x2710 ~x7788 x1020 x4402 ~x6096 x2711 ~x7789 x1021 x4403 
10.15/10.25	v ~x6097 x2712 ~x7790 x1022 x4404 ~x6098 x2713 ~x7791 x1023 x4405 
10.15/10.25	v ~x6099 x2714 ~x7792 x1024 x4406 ~x6100 x2715 ~x7793 x1025 x4407 
10.15/10.25	v ~x6101 x2716 ~x7794 x1026 x4408 ~x6102 x2717 ~x7795 x1027 ~x4409 
10.15/10.25	v ~x6103 x2718 ~x7796 x1028 ~x4410 ~x6104 x2719 ~x7797 x1029 ~x4411 
10.15/10.25	v ~x6105 x2720 x7798 x1030 ~x4412 ~x6106 x2721 x7799 x1031 ~x4413 
10.15/10.25	v ~x6107 x2722 x7800 x1032 ~x4414 ~x6108 x2723 ~x7801 x1033 ~x4415 
10.15/10.25	v ~x6109 x2724 ~x7802 x1034 ~x4416 ~x6110 x2725 ~x7803 x1035 ~x4417 
10.15/10.25	v ~x6111 x2726 ~x7804 x1036 ~x4418 ~x6112 x2727 ~x7805 x1037 ~x4419 
10.15/10.25	v ~x6113 x2728 ~x7806 x1038 ~x4420 ~x6114 x2729 ~x7807 x1039 ~x4421 
10.15/10.25	v x6115 x2730 ~x7808 x1040 ~x4422 x6116 x2731 ~x7809 x1041 ~x4423 
10.15/10.25	v x6117 x2732 ~x7810 x1042 ~x4424 x6118 x2733 ~x7811 x1043 ~x4425 
10.15/10.25	v x6119 x2734 ~x7812 x1044 ~x4426 x6120 x2735 ~x7813 x1045 ~x4427 
10.15/10.25	v ~x6121 x2736 ~x7814 x1046 ~x4428 ~x6122 ~x2737 ~x7815 x1047 ~x4429 
10.15/10.25	v ~x6123 ~x2738 ~x7816 x1048 ~x4430 ~x6124 ~x2739 ~x7817 x1049 ~x4431 
10.15/10.25	v ~x6125 ~x2740 ~x7818 x1050 ~x4432 ~x6126 ~x2741 ~x7819 ~x4433 ~x6127 
10.15/10.25	v ~x2742 ~x7820 x1051 ~x4434 ~x6128 ~x2743 ~x7821 x1052 ~x4435 ~x6129 
10.15/10.25	v ~x2744 ~x7822 x1053 ~x4436 ~x6130 ~x2745 ~x7823 x1054 ~x4437 ~x6131 
10.15/10.25	v ~x2746 ~x7824 x1055 ~x4438 ~x6132 ~x2747 ~x7825 x1056 ~x4439 ~x6133 
10.15/10.25	v ~x2748 ~x7826 x1057 ~x4440 ~x6134 ~x2749 ~x7827 x1058 ~x4441 ~x6135 
10.15/10.25	v ~x2750 ~x7828 x1059 ~x4442 ~x6136 ~x2751 ~x7829 x1060 ~x4443 ~x6137 
10.15/10.25	v ~x2752 ~x7830 x1061 ~x4444 ~x6138 ~x2753 ~x7831 x1062 ~x4445 ~x6139 
10.15/10.25	v ~x2754 ~x7832 x1063 ~x4446 ~x6140 ~x2755 ~x7833 x1064 ~x4447 ~x6141 
10.15/10.25	v ~x2756 ~x7834 ~x1065 ~x4448 ~x6142 ~x2757 ~x7835 ~x1066 ~x4449 ~x6143 
10.15/10.25	v ~x2758 ~x7836 ~x1067 ~x4450 ~x6144 ~x2759 ~x7837 ~x1068 ~x4451 ~x6145 
10.15/10.25	v ~x2760 ~x7838 ~x1069 ~x4452 ~x6146 ~x2761 ~x7839 ~x1070 ~x4453 ~x6147 
10.15/10.25	v ~x2762 ~x7840 ~x1071 ~x4454 ~x6148 ~x2763 ~x7841 ~x1072 ~x4455 ~x6149 
10.15/10.25	v ~x2764 ~x7842 ~x1073 ~x4456 ~x6150 ~x2765 ~x7843 ~x1074 ~x4457 ~x6151 
10.15/10.25	v ~x2766 ~x7844 ~x1075 ~x4458 ~x6152 ~x2767 ~x7845 ~x1076 ~x4459 ~x6153 
10.15/10.25	v ~x2768 ~x7846 ~x1077 ~x4460 ~x6154 ~x2769 ~x7847 ~x1078 ~x4461 ~x6155 
10.15/10.25	v ~x2770 ~x7848 ~x1079 ~x4462 ~x6156 ~x2771 ~x7849 ~x1080 ~x4463 ~x6157 
10.15/10.25	v ~x2772 ~x7850 ~x1081 ~x4464 ~x6158 ~x2773 ~x7851 ~x1082 ~x4465 ~x6159 
10.15/10.25	v ~x2774 ~x7852 ~x1083 ~x4466 ~x6160 ~x2775 ~x7853 ~x1084 ~x4467 ~x6161 
10.15/10.25	v ~x2776 ~x7854 ~x1085 ~x4468 ~x6162 ~x2777 ~x7855 ~x1086 ~x4469 ~x6163 
10.15/10.25	v ~x2778 ~x7856 ~x1087 ~x4470 ~x6164 ~x2779 ~x7857 ~x1088 ~x4471 ~x6165 
10.15/10.25	v ~x2780 ~x7858 ~x1089 ~x4472 ~x6166 ~x2781 ~x7859 ~x1090 ~x4473 ~x6167 
10.15/10.25	v ~x2782 ~x7860 ~x1091 ~x4474 ~x6168 x2783 ~x7861 ~x1092 ~x4475 ~x6169 
10.15/10.25	v x2784 ~x7862 ~x1093 ~x4476 ~x6170 x2785 ~x7863 ~x1094 ~x4477 ~x6171 
10.15/10.25	v x2786 ~x7864 ~x1095 ~x4478 ~x6172 x2787 ~x7865 ~x1096 ~x4479 ~x6173 
10.15/10.25	v x2788 ~x7866 ~x1097 ~x4480 ~x6174 x2789 ~x7867 ~x1098 ~x4481 ~x6175 
10.15/10.25	v x2790 ~x7868 ~x1099 ~x4482 ~x6176 x2791 ~x7869 ~x1100 x4483 ~x6177 
10.15/10.25	v x2792 ~x7870 ~x1101 x4484 ~x6178 x2793 ~x7871 ~x1102 ~x4485 ~x6179 
10.15/10.25	v x2794 ~x7872 ~x1103 ~x4486 ~x6180 x2795 ~x7873 ~x1104 ~x4487 ~x6181 
10.15/10.25	v x2796 ~x7874 ~x1105 ~x4488 ~x6182 x2797 ~x7875 ~x1106 ~x4489 ~x6183 
10.15/10.25	v x2798 ~x7876 ~x1107 ~x4490 ~x6184 x2799 ~x7877 ~x1108 ~x4491 ~x6185 
10.15/10.25	v x2800 ~x7878 ~x1109 ~x4492 ~x6186 x2801 ~x7879 x1110 ~x4493 ~x6187 
10.15/10.25	v x2802 ~x7880 x1111 ~x4494 ~x6188 x2803 ~x7881 x1112 ~x4495 ~x6189 
10.15/10.25	v x2804 ~x7882 x1113 ~x4496 ~x6190 x2805 ~x7883 x1114 ~x4497 ~x6191 
10.15/10.25	v x2806 ~x7884 x1115 ~x4498 ~x6192 x2807 ~x7885 x1116 ~x4499 ~x6193 
10.15/10.25	v x2808 ~x7886 x1117 ~x4500 ~x6194 x2809 ~x7887 x1118 ~x4501 ~x6195 
10.15/10.25	v x2810 ~x7888 x1119 ~x4502 x6196 x2811 x7889 x1120 ~x4503 x6197 
10.15/10.25	v x2812 ~x7890 x1121 ~x4504 x6198 ~x2813 ~x7891 x1122 ~x4505 x6199 
10.15/10.25	v ~x2814 ~x7892 x1123 ~x4506 x6200 ~x2815 ~x7893 x1124 ~x4507 x6201 
10.15/10.25	v ~x2816 ~x7894 x1125 ~x4508 ~x6202 ~x2817 ~x7895 x1126 ~x4509 ~x6203 
10.15/10.25	v ~x2818 ~x7896 x1127 ~x4510 ~x6204 ~x2819 ~x7897 x1128 ~x4511 ~x6205 
10.15/10.25	v ~x2820 ~x7898 x1129 ~x4512 ~x6206 ~x2821 ~x7899 x1130 ~x4513 ~x6207 
10.15/10.25	v ~x2822 ~x7900 ~x4514 x1131 ~x6208 ~x2823 ~x7901 x1132 ~x4515 ~x6209 
10.15/10.25	v ~x2824 ~x7902 x1133 ~x4516 ~x6210 ~x2825 ~x7903 x1134 ~x4517 ~x6211 
10.15/10.25	v ~x2826 ~x7904 x1135 ~x4518 ~x6212 ~x2827 ~x7905 x1136 ~x4519 ~x6213 
10.15/10.25	v ~x2828 ~x7906 x1137 ~x4520 ~x6214 ~x2829 ~x7907 x1138 ~x4521 ~x6215 
10.15/10.25	v ~x2830 ~x7908 x1139 ~x4522 ~x6216 ~x2831 ~x7909 x1140 ~x4523 ~x6217 
10.15/10.25	v ~x2832 ~x7910 ~x1141 ~x4524 ~x6218 x2833 ~x7911 ~x1142 ~x4525 ~x6219 
10.15/10.25	v x2834 ~x7912 ~x1143 ~x4526 ~x6220 x2835 ~x7913 ~x1144 ~x4527 ~x6221 
10.15/10.25	v x2836 ~x7914 ~x1145 ~x4528 ~x6222 x2837 ~x7915 ~x1146 ~x4529 ~x6223 
10.15/10.25	v x2838 ~x7916 ~x1147 ~x4530 ~x6224 x2839 ~x7917 ~x1148 ~x4531 ~x6225 
10.15/10.25	v x2840 ~x7918 ~x1149 ~x4532 ~x6226 x2841 ~x7919 ~x1150 ~x4533 ~x6227 
10.15/10.25	v x2842 ~x7920 ~x1151 ~x4534 ~x6228 x2843 ~x7921 ~x1152 ~x4535 ~x6229 
10.15/10.25	v x2844 ~x7922 ~x1153 ~x4536 ~x6230 x2845 ~x7923 ~x1154 ~x4537 ~x6231 
10.15/10.25	v x2846 ~x7924 ~x1155 ~x4538 ~x6232 x2847 ~x7925 ~x1156 ~x4539 ~x6233 
10.15/10.25	v x2848 ~x7926 ~x1157 ~x4540 ~x6234 x2849 ~x7927 ~x1158 ~x4541 ~x6235 
10.15/10.25	v x2850 ~x7928 ~x1159 ~x4542 ~x6236 x2851 ~x7929 ~x1160 ~x4543 ~x6237 
10.15/10.25	v x2852 ~x7930 ~x1161 ~x4544 ~x6238 x2853 ~x7931 ~x1162 ~x4545 ~x6239 
10.15/10.25	v x2854 ~x7932 ~x1163 ~x4546 ~x6240 x2855 ~x7933 ~x1164 ~x4547 ~x6241 
10.15/10.25	v x2856 ~x7934 ~x1165 ~x4548 ~x6242 x2857 ~x7935 ~x1166 ~x4549 ~x6243 
10.15/10.25	v x2858 ~x7936 ~x1167 ~x4550 ~x6244 x2859 ~x7937 ~x1168 ~x4551 ~x6245 
10.15/10.25	v x2860 ~x7938 ~x1169 ~x4552 ~x6246 x2861 ~x7939 ~x1170 x4553 ~x6247 
10.15/10.25	v x2862 ~x7940 ~x1171 x4554 ~x6248 x2863 ~x7941 ~x1172 x4555 ~x6249 
10.15/10.25	v x2864 ~x7942 ~x1173 x4556 ~x6250 x2865 ~x7943 ~x1174 x4557 ~x6251 
10.15/10.25	v x2866 ~x7944 ~x1175 x4558 ~x6252 x2867 ~x7945 ~x1176 x4559 ~x6253 
10.15/10.25	v x2868 ~x7946 ~x1177 x4560 ~x6254 x2869 ~x7947 ~x1178 ~x4561 ~x6255 
10.15/10.25	v x2870 ~x7948 ~x1179 ~x4562 ~x6256 x2871 ~x7949 ~x1180 ~x4563 ~x6257 
10.15/10.25	v x2872 ~x7950 ~x1181 ~x4564 ~x6258 x2873 ~x7951 ~x1182 ~x4565 ~x6259 
10.15/10.25	v x2874 ~x7952 ~x1183 ~x4566 ~x6260 x2875 ~x7953 ~x1184 ~x4567 ~x6261 
10.15/10.25	v x2876 ~x7954 ~x1185 ~x4568 ~x6262 x2877 ~x7955 ~x1186 ~x4569 ~x6263 
10.15/10.25	v x2878 ~x7956 ~x1187 ~x4570 ~x6264 x2879 ~x7957 ~x1188 ~x4571 ~x6265 
10.15/10.25	v x2880 ~x7958 x1189 ~x4572 x6266 x2881 ~x7959 x1190 ~x4573 x6267 
10.15/10.25	v x2882 ~x7960 x1191 ~x4574 x6268 x2883 ~x7961 x1192 ~x4575 x6269 
10.15/10.25	v x2884 ~x7962 x1193 ~x4576 x6270 x2885 ~x7963 x1194 ~x4577 x6271 
10.15/10.25	v x2886 ~x7964 x1195 ~x4578 x6272 x2887 ~x7965 x1196 ~x4579 x6273 
10.15/10.25	v x2888 ~x7966 x1197 ~x4580 x6274 ~x2889 ~x7967 x1198 ~x4581 x6275 
10.15/10.25	v ~x2890 x7968 x1199 ~x4582 ~x6276 ~x2891 x7969 x1200 ~x4583 ~x6277 
10.15/10.25	v ~x2892 x7970 x1201 ~x4584 ~x6278 ~x2893 x7971 x1202 ~x4585 ~x6279 
10.15/10.25	v ~x2894 x7972 x1203 ~x4586 ~x6280 ~x2895 x7973 x1204 ~x4587 ~x6281 
10.15/10.25	v ~x2896 ~x7974 x1205 ~x4588 ~x6282 ~x2897 ~x7975 x1206 ~x4589 ~x6283 
10.15/10.25	v ~x2898 ~x7976 x1207 ~x4590 ~x6284 ~x2899 ~x7977 x1208 ~x4591 ~x6285 
10.15/10.25	v ~x2900 ~x7978 x1209 ~x4592 ~x6286 ~x2901 ~x7979 x1210 ~x4593 ~x6287 
10.15/10.25	v ~x2902 ~x7980 x1211 ~x4594 ~x6288 ~x2903 ~x7981 x1212 ~x4595 ~x6289 
10.15/10.25	v ~x2904 ~x7982 x1213 ~x4596 ~x6290 ~x2905 ~x7983 x1214 ~x4597 ~x6291 
10.15/10.25	v ~x2906 ~x7984 x1215 ~x4598 ~x6292 ~x2907 ~x7985 x1216 ~x4599 ~x6293 
10.15/10.25	v ~x2908 ~x7986 ~x1217 ~x4600 ~x6294 ~x2909 ~x7987 ~x1218 ~x4601 ~x6295 
10.15/10.25	v ~x2910 ~x7988 ~x1219 ~x4602 ~x6296 ~x2911 ~x7989 ~x1220 ~x4603 ~x6297 
10.15/10.25	v ~x2912 ~x7990 ~x1221 ~x4604 ~x6298 ~x2913 ~x7991 ~x1222 ~x4605 ~x6299 
10.15/10.25	v ~x2914 ~x7992 ~x1223 ~x4606 ~x6300 ~x2915 ~x7993 ~x1224 ~x4607 ~x6301 
10.15/10.25	v ~x2916 ~x7994 ~x1225 ~x4608 ~x6302 ~x2917 ~x7995 ~x1226 ~x4609 ~x6303 
10.15/10.25	v ~x2918 ~x7996 ~x1227 ~x4610 ~x6304 ~x2919 ~x7997 ~x1228 ~x4611 ~x6305 
10.15/10.25	v ~x2920 ~x7998 ~x1229 ~x4612 ~x6306 ~x2921 ~x7999 ~x1230 ~x4613 ~x6307 
10.15/10.25	v ~x2922 ~x8000 ~x1231 ~x4614 ~x6308 ~x2923 ~x8001 ~x1232 ~x4615 ~x6309 
10.15/10.25	v ~x2924 ~x8002 ~x1233 ~x4616 ~x6310 ~x2925 ~x8003 ~x1234 ~x4617 ~x6311 
10.15/10.25	v ~x2926 ~x8004 ~x1235 ~x4618 ~x6312 ~x2927 ~x8005 ~x1236 ~x4619 ~x6313 
10.15/10.25	v x2928 ~x8006 ~x1237 ~x4620 ~x6314 x2929 ~x8007 ~x1238 ~x4621 ~x6315 
10.15/10.25	v x2930 ~x8008 ~x1239 ~x4622 ~x6316 x2931 ~x8009 ~x1240 ~x4623 ~x6317 
10.15/10.25	v x2932 ~x8010 ~x1241 ~x4624 ~x6318 x2933 ~x8011 ~x1242 ~x4625 ~x6319 
10.15/10.25	v x2934 ~x8012 ~x1243 ~x4626 ~x6320 x2935 ~x8013 ~x1244 ~x4627 ~x6321 
10.15/10.25	v x2936 ~x8014 x1245 ~x4628 ~x6322 x2937 ~x8015 x1246 ~x4629 ~x6323 
10.15/10.25	v x2938 ~x8016 x1247 ~x4630 ~x6324 x2939 ~x8017 x1248 ~x4631 ~x6325 
10.15/10.25	v x2940 ~x8018 x1249 ~x4632 ~x6326 x2941 ~x8019 x1250 ~x4633 ~x6327 
10.15/10.25	v x2942 ~x8020 x1251 ~x4634 ~x6328 x2943 ~x8021 x1252 ~x4635 ~x6329 
10.15/10.25	v x2944 ~x8022 x1253 x4637 ~x6330 x2945 ~x8023 x1254 x4638 ~x6331 
10.15/10.25	v x2946 ~x8024 x1255 x4639 ~x6332 x2947 ~x8025 x1256 x4640 ~x6333 
10.15/10.25	v x2948 ~x8026 x1257 x4641 ~x6334 x2949 ~x8027 x1258 x4642 ~x6335 
10.15/10.25	v x2950 ~x8028 x1259 x4643 ~x6336 x2951 ~x8029 x1260 ~x4644 ~x6337 
10.15/10.25	v x2952 ~x8030 x1261 ~x4645 ~x6338 x2953 ~x8031 x1262 ~x4646 ~x6339 
10.15/10.25	v x2954 ~x8032 x1263 ~x4647 ~x6340 x2955 ~x8033 x1264 ~x4648 ~x6341 
10.15/10.25	v x2956 ~x8034 x1265 ~x4649 ~x6342 x2957 ~x8035 x1266 ~x4650 x6343 
10.15/10.25	v x2958 ~x8036 x1267 ~x4651 x6344 x2959 ~x8037 x1268 ~x4652 x6345 
10.15/10.25	v x2960 ~x8038 x1269 ~x4653 x6346 x2961 ~x8039 x1270 ~x4654 x6347 
10.15/10.25	v x2962 ~x8040 x1271 ~x4655 ~x6348 x2963 ~x8041 x1272 ~x4656 ~x6349 
10.15/10.25	v x2964 ~x8042 x1273 ~x4657 ~x6350 ~x2965 ~x8043 x1274 ~x4658 ~x6351 
10.15/10.25	v ~x2966 ~x8044 x1275 ~x4659 ~x6352 ~x2967 ~x8045 x1276 ~x4660 ~x6353 
10.15/10.25	v ~x2968 ~x8046 x1277 ~x4661 ~x6354 ~x2969 ~x8047 x1278 ~x4662 ~x6355 
10.15/10.25	v ~x2970 ~x8048 x1279 ~x4663 ~x6356 ~x2971 ~x8049 x1280 ~x4664 ~x6357 
10.15/10.25	v ~x2972 ~x8050 x1281 ~x4665 ~x6358 ~x2973 ~x8051 x1282 ~x4666 ~x6359 
10.15/10.25	v ~x2974 ~x8052 x1283 ~x4667 ~x6360 ~x2975 x8053 x1284 ~x4668 ~x6361 
10.15/10.25	v ~x2976 x8054 x1285 ~x4669 ~x6362 ~x2977 ~x8055 x1286 ~x4670 ~x6363 
10.15/10.25	v ~x2978 ~x8056 x1287 ~x4671 ~x6364 ~x2979 ~x8057 x1288 ~x4672 ~x6365 
10.15/10.25	v ~x2980 ~x8058 x1289 ~x4673 ~x6366 ~x2981 ~x8059 x1290 ~x4674 ~x6367 
10.15/10.25	v ~x2982 ~x8060 x1291 ~x4675 ~x6368 ~x2983 ~x8061 x1292 ~x4676 ~x6369 
10.15/10.25	v ~x2984 ~x8062 ~x1293 ~x4677 ~x6370 ~x2985 ~x8063 ~x1294 ~x4678 ~x6371 
10.15/10.25	v ~x2986 ~x8064 ~x1295 ~x4679 ~x6372 ~x2987 ~x8065 ~x1296 ~x4680 ~x6373 
10.15/10.25	v ~x2988 ~x8066 ~x1297 ~x4681 ~x6374 ~x2989 ~x8067 ~x1298 ~x4682 ~x6375 
10.15/10.25	v ~x2990 ~x8068 ~x1299 ~x4683 ~x6376 ~x2991 ~x8069 ~x1300 ~x4684 ~x6377 
10.15/10.25	v ~x2992 ~x8070 ~x1301 ~x4685 ~x6378 ~x2993 ~x8071 ~x1302 ~x4686 ~x6379 
10.15/10.25	v ~x2994 ~x8072 ~x1303 ~x4687 ~x6380 ~x2995 ~x8073 ~x1304 ~x4688 ~x6381 
10.15/10.25	v ~x2996 ~x8074 ~x1305 ~x4689 ~x6382 ~x2997 ~x8075 ~x1306 ~x4690 ~x6383 
10.15/10.25	v ~x2998 ~x8076 ~x1307 ~x4691 ~x6384 ~x2999 ~x8077 ~x1308 ~x4692 ~x6385 
10.15/10.25	v ~x3000 ~x8078 ~x1309 ~x4693 ~x6386 ~x3001 ~x8079 ~x1310 ~x4694 ~x6387 
10.15/10.25	v ~x3002 ~x8080 ~x1311 ~x4695 ~x6388 ~x3003 ~x8081 ~x1312 ~x4696 ~x6389 
10.15/10.25	v ~x3004 ~x8082 ~x1313 ~x4697 ~x6390 ~x3005 ~x8083 ~x1314 ~x4698 ~x6391 
10.15/10.25	v ~x3006 ~x8084 ~x1315 ~x4699 ~x6392 ~x3007 ~x8085 ~x1316 ~x4700 ~x6393 
10.15/10.25	v ~x3008 ~x8086 ~x1317 ~x4701 ~x6394 ~x3009 ~x8087 ~x1318 ~x4702 ~x6395 
10.15/10.25	v ~x3010 ~x8088 ~x1319 ~x4703 ~x6396 ~x3011 ~x8089 ~x1320 ~x4704 ~x6397 
10.15/10.25	v ~x3012 ~x8090 ~x1321 ~x4705 ~x6398 ~x3013 ~x8091 ~x1322 ~x4706 ~x6399 
10.15/10.25	v x3014 ~x8092 ~x1323 ~x4707 ~x6400 x3015 ~x8093 ~x1324 ~x4708 ~x6401 
10.15/10.25	v x3016 ~x8094 ~x1325 ~x4709 ~x6402 x3017 ~x8095 ~x1326 ~x4710 ~x6403 
10.15/10.25	v x3018 ~x8096 ~x1327 ~x4711 ~x6404 x3019 ~x8097 ~x1328 ~x4712 ~x6405 
10.15/10.25	v x3020 ~x8098 ~x1329 x4713 ~x6406 x3021 ~x8099 ~x1330 x4714 ~x6407 
10.15/10.25	v x3022 ~x8100 ~x1331 x4715 ~x6408 x3023 ~x8101 ~x1332 x4716 ~x6409 
10.15/10.25	v x3024 ~x8102 ~x1333 x4717 ~x6410 x3025 ~x8103 ~x1334 x4718 ~x6411 
10.15/10.25	v x3026 ~x8104 ~x1335 ~x4719 ~x6412 x3027 ~x8105 ~x1336 ~x4720 ~x6413 
10.15/10.25	v x3028 ~x8106 ~x1337 ~x4721 ~x6414 x3029 ~x8107 x1338 ~x4722 ~x6415 
10.15/10.25	v x3030 ~x8108 x1339 ~x4723 ~x6416 x3031 ~x8109 x1340 ~x4724 ~x6417 
10.15/10.25	v x3032 ~x8110 x1341 ~x4725 ~x6418 x3033 ~x8111 x1342 ~x4726 ~x6419 
10.15/10.25	v x3034 ~x8112 x1343 ~x4727 ~x6420 x3035 ~x8113 x1344 ~x4728 ~x6421 
10.15/10.25	v x3036 ~x8114 x1345 ~x4729 ~x6422 x3037 ~x8115 x1346 ~x4730 ~x6423 
10.15/10.25	v x3038 ~x8116 x1347 ~x4731 ~x6424 x3039 ~x8117 x1348 ~x4732 ~x6425 
10.15/10.25	v x3040 ~x8118 x1349 ~x4733 ~x6426 ~x3041 ~x8119 x1350 ~x4734 ~x6427 
10.15/10.25	v ~x3042 x8120 x1351 ~x4735 ~x6428 ~x3043 x8121 x1352 ~x4736 ~x6429 
10.15/10.25	v ~x3044 x8122 x1353 ~x4737 ~x6430 ~x3045 x8123 x1354 ~x4738 ~x6431 
10.15/10.25	v ~x3046 ~x8124 x1355 ~x4739 ~x6432 ~x3047 ~x8125 x1356 ~x4740 ~x6433 
10.15/10.25	v ~x3048 ~x8126 x1357 ~x4741 ~x6434 ~x3049 ~x8127 x1358 ~x4742 ~x6435 
10.15/10.25	v ~x3050 ~x8128 x1359 ~x4743 ~x6436 ~x3051 ~x8129 x1360 ~x4744 ~x6437 
10.15/10.25	v ~x3052 ~x8130 x1361 ~x4745 ~x6438 ~x3053 ~x8131 x1362 ~x4746 ~x6439 
10.15/10.25	v ~x3054 ~x8132 x1363 ~x4747 ~x6440 ~x3055 ~x8133 x1364 ~x4748 ~x6441 
10.15/10.25	v ~x3056 ~x8134 x1365 ~x4749 ~x6442 ~x3057 ~x8135 x1366 ~x4750 ~x6443 
10.15/10.25	v ~x3058 ~x8136 x1367 ~x4751 ~x6444 ~x3059 ~x8137 x1368 ~x4752 ~x6445 
10.15/10.25	v x3060 ~x8138 ~x1369 ~x4753 ~x6446 x3061 ~x8139 ~x1370 ~x4754 ~x6447 
10.15/10.25	v x3062 ~x8140 ~x1371 ~x4755 ~x6448 x3063 ~x8141 ~x1372 ~x4756 ~x6449 
10.15/10.25	v x3064 ~x8142 ~x1373 ~x4757 ~x6450 x3065 ~x8143 ~x1374 ~x4758 ~x6451 
10.15/10.25	v x3066 ~x8144 ~x1375 ~x4759 x6452 x3067 ~x8145 ~x1376 ~x4760 x6453 
10.15/10.25	v x3068 ~x8146 ~x1377 ~x4761 x6454 x3069 ~x8147 x1378 ~x4762 x6455 
10.15/10.25	v x3070 ~x8148 x1379 ~x4763 x6456 x3071 ~x8149 x1380 ~x4764 ~x6457 
10.15/10.25	v x3072 ~x8150 x1381 ~x4765 ~x6458 x3073 ~x8151 x1382 ~x4766 ~x6459 
10.15/10.25	v x3074 ~x8152 x1383 ~x4767 ~x6460 x3075 ~x8153 x1384 ~x4768 ~x6461 
10.15/10.25	v x3076 ~x8154 x1385 ~x4769 ~x6462 x3077 ~x8155 x1386 ~x4770 ~x6463 
10.15/10.25	v x3078 ~x8156 x1387 ~x4771 ~x6464 x3079 ~x8157 x1388 ~x4772 ~x6465 
10.15/10.25	v x3080 ~x8158 x1389 ~x4773 ~x6466 x3081 ~x8159 x1390 ~x4774 ~x6467 
10.15/10.25	v x3082 ~x8160 x1391 ~x4775 ~x6468 x3083 ~x8161 x1392 ~x4776 ~x6469 
10.15/10.25	v x3084 ~x8162 x1393 ~x4777 ~x6470 x3085 ~x8163 x1394 ~x4778 ~x6471 
10.15/10.25	v x3086 ~x8164 x1395 ~x4779 ~x6472 x3087 ~x8165 x1396 ~x4780 ~x6473 
10.15/10.25	v x3088 ~x8166 x1397 ~x4781 ~x6474 x3089 ~x8167 x1398 ~x4782 ~x6475 
10.15/10.25	v x3090 ~x8168 x1399 ~x4783 ~x6476 x3091 ~x8169 x1400 ~x4784 ~x6477 
10.15/10.25	v x3092 ~x8170 x1401 ~x4785 ~x6478 x3093 ~x8171 x1402 ~x4786 ~x6479 
10.15/10.25	v x3094 ~x8172 x1403 ~x4787 ~x6480 x3095 ~x8173 x1404 ~x4788 ~x6481 
10.15/10.25	v x3096 ~x8174 x1405 x4789 ~x6482 x3097 ~x8175 x1406 x4790 ~x6483 
10.15/10.25	v x3098 ~x8176 x1407 x4791 ~x6484 x3099 ~x8177 x1408 x4792 ~x6485 
10.15/10.25	v x3100 ~x8178 x1409 x4793 ~x6486 x3101 ~x8179 x1410 ~x4794 ~x6487 
10.15/10.25	v x3102 ~x8180 x1411 ~x4795 ~x6488 x3103 ~x8181 x1412 ~x4796 ~x6489 
10.15/10.25	v x3104 ~x8182 x1413 ~x4797 ~x6490 x3105 ~x8183 x1414 ~x4798 ~x6491 
10.15/10.25	v x3106 ~x8184 x1415 ~x4799 ~x6492 x3107 ~x8185 x1416 ~x4800 ~x6493 
10.15/10.25	v x3108 x8186 x1417 ~x4801 ~x6494 x3109 x8187 x1418 ~x4802 ~x6495 
10.15/10.25	v x3110 x8188 x1419 ~x4803 ~x6496 x3111 x8189 x1420 ~x4804 ~x6497 
10.15/10.25	v x3112 x8190 x1421 ~x4805 ~x6498 x3113 x8191 x1422 ~x4806 ~x6499 
10.15/10.25	v x3114 x8192 x1423 ~x4807 ~x6500 x3115 ~x8193 x1424 ~x4808 ~x6501 
10.15/10.25	v x3116 ~x8194 x1425 ~x4809 ~x6502 ~x3117 ~x8195 x1426 ~x4810 ~x6503 
10.15/10.25	v ~x3118 ~x8196 x1427 ~x4811 ~x6504 ~x3119 ~x8197 x1428 ~x4812 ~x6505 
10.15/10.25	v ~x3120 ~x8198 x1429 ~x4813 ~x6506 ~x3121 ~x8199 x1430 ~x4814 ~x6507 
10.15/10.25	v ~x3122 ~x8200 x1431 ~x4815 ~x6508 ~x3123 ~x8201 x1432 ~x4816 ~x6509 
10.15/10.25	v ~x3124 ~x8202 x1433 ~x4817 ~x6510 ~x3125 ~x8203 x1434 ~x4818 ~x6511 
10.15/10.25	v ~x3126 ~x8204 x1435 ~x4819 ~x6512 ~x3127 ~x8205 x1436 ~x4820 ~x6513 
10.15/10.25	v ~x3128 ~x8206 x1437 ~x4821 ~x6514 ~x3129 ~x8207 x1438 ~x4822 ~x6515 
10.15/10.25	v ~x3130 ~x8208 x1439 ~x4823 ~x6516 ~x3131 ~x8209 x1440 ~x4824 ~x6517 
10.15/10.25	v ~x3132 ~x8210 x1441 ~x4825 ~x6518 ~x3133 ~x8211 x1442 ~x4826 ~x6519 
10.15/10.25	v ~x3134 ~x8212 x1443 ~x4827 ~x6520 ~x3135 ~x8213 x1444 ~x4828 x6521 
10.15/10.25	v ~x3136 ~x8214 ~x1445 ~x4829 x6522 ~x3137 ~x8215 ~x1446 ~x4830 ~x6523 
10.15/10.25	v ~x3138 ~x8216 ~x1447 ~x4831 ~x6524 ~x3139 ~x8217 ~x1448 ~x4832 ~x6525 
10.15/10.25	v ~x3140 ~x8218 ~x1449 ~x4833 ~x6526 ~x3141 ~x8219 ~x1450 ~x4834 ~x6527 
10.15/10.25	v ~x3142 ~x8220 ~x1451 ~x4835 ~x6528 ~x3143 ~x8221 ~x1452 ~x4836 ~x6529 
10.15/10.25	v ~x3144 ~x8222 ~x1453 ~x4837 ~x6530 ~x3145 ~x8223 ~x1454 ~x4838 ~x6531 
10.15/10.25	v ~x3146 ~x8224 ~x1455 ~x4839 ~x6532 ~x3147 ~x8225 ~x1456 ~x4840 ~x6533 
10.15/10.25	v ~x3148 ~x8226 ~x1457 ~x4841 ~x6534 ~x3149 ~x8227 ~x1458 ~x4842 ~x6535 
10.15/10.25	v ~x3150 ~x8228 ~x1459 ~x4843 ~x6536 ~x3151 ~x8229 ~x1460 ~x4844 ~x6537 
10.15/10.25	v ~x3152 ~x8230 ~x1461 ~x4845 ~x6538 ~x3153 ~x8231 ~x1462 ~x4846 ~x6539 
10.15/10.25	v ~x3154 ~x8232 ~x1463 ~x4847 ~x6540 ~x3155 ~x8233 ~x1464 ~x4848 ~x6541 
10.15/10.25	v ~x3156 ~x8234 ~x1465 ~x4849 ~x6542 ~x3157 ~x8235 ~x1466 ~x4850 ~x6543 
10.15/10.25	v ~x3158 ~x8236 ~x1467 ~x4851 ~x6544 ~x3159 ~x8237 ~x1468 ~x4852 ~x6545 
10.15/10.25	v ~x3160 ~x8238 ~x1469 ~x4853 ~x6546 ~x3161 ~x8239 ~x1470 ~x4854 ~x6547 
10.15/10.25	v x3162 ~x8240 ~x1471 ~x4855 ~x6548 x3163 ~x8241 ~x1472 ~x4856 ~x6549 
10.15/10.25	v x3164 ~x8242 ~x1473 ~x4857 ~x6550 x3165 ~x8243 ~x1474 ~x4858 ~x6551 
10.15/10.25	v x3166 ~x8244 ~x1475 ~x4859 ~x6552 x3167 ~x8245 ~x1476 ~x4860 ~x6553 
10.15/10.25	v x3168 ~x8246 ~x1477 ~x4861 ~x6554 x3169 ~x8247 ~x1478 ~x4862 ~x6555 
10.15/10.25	v x3170 ~x8248 x1479 ~x4863 ~x6556 x3171 ~x8249 x1480 ~x4864 ~x6557 
10.15/10.25	v x3172 ~x8250 x1481 ~x4865 ~x6558 x3173 ~x8251 x1482 ~x4866 ~x6559 
10.15/10.25	v x3174 x8252 x1483 ~x4867 ~x6560 x3175 x8253 x1484 ~x4868 ~x6561 
10.15/10.25	v x3176 ~x8254 x1485 ~x4869 ~x6562 x3177 ~x8255 x1486 ~x4870 ~x6563 
10.15/10.25	v x3178 ~x8256 x1487 x4871 ~x6564 x3179 ~x8257 x1488 x4872 ~x6565 
10.15/10.25	v x3180 ~x8258 x1489 ~x4873 ~x6566 x3181 ~x8259 x1490 ~x4874 ~x6567 
10.15/10.25	v x3182 ~x8260 x1491 ~x4875 ~x6568 x3183 ~x8261 x1492 ~x4876 ~x6569 
10.15/10.25	v x3184 ~x8262 x1493 ~x4877 ~x6570 x3185 ~x8263 x1494 ~x4878 ~x6571 
10.15/10.25	v x3186 ~x8264 x1495 ~x4879 ~x6572 x3187 ~x8265 x1496 ~x4880 ~x6573 
10.15/10.25	v x3188 ~x8266 x1497 ~x4881 ~x6574 x3189 ~x8267 x1498 ~x4882 ~x6575 
10.15/10.25	v x3190 ~x8268 x1499 ~x4883 ~x6576 x3191 ~x8269 x1500 ~x4884 ~x6577 
10.15/10.25	v x3192 ~x8270 x1501 ~x4885 ~x6578 ~x3193 ~x8271 x1502 ~x4886 ~x6579 
10.15/10.25	v ~x3194 ~x8272 x1503 ~x4887 ~x6580 ~x3195 ~x8273 x1504 ~x4888 ~x6581 
10.15/10.25	v ~x3196 ~x8274 x1505 ~x4889 ~x6582 ~x3197 ~x8275 x1506 ~x4890 ~x6583 
10.15/10.25	v ~x3198 ~x8276 x1507 ~x4891 ~x6584 ~x3199 ~x8277 x1508 ~x4892 ~x6585 
10.15/10.25	v ~x3200 ~x8278 x1509 ~x4893 x6586 ~x3201 ~x8279 x1510 ~x4894 x6587 
10.15/10.25	v ~x3202 ~x8280 x1511 ~x4895 x6588 ~x3203 ~x8281 x1512 ~x4896 x6589 
10.15/10.25	v ~x3204 ~x8282 x1513 ~x4897 ~x6590 ~x3205 ~x8283 x1514 ~x4898 ~x6591 
10.15/10.25	v ~x3206 ~x8284 x1515 ~x4899 ~x6592 ~x3207 ~x8285 x1516 ~x4900 ~x6593 
10.15/10.25	v ~x3208 ~x8286 x1517 ~x4901 ~x6594 ~x3209 ~x8287 x1518 ~x4902 ~x6595 
10.15/10.25	v ~x3210 ~x8288 x1519 ~x4903 ~x6596 ~x3211 ~x8289 x1520 ~x4904 ~x6597 
10.15/10.25	v ~x3212 ~x8290 ~x1521 ~x4905 ~x6598 ~x3213 ~x8291 ~x1522 ~x4906 ~x6599 
10.15/10.25	v ~x3214 ~x8292 ~x1523 ~x4907 ~x6600 ~x3215 ~x8293 ~x1524 ~x4908 ~x6601 
10.15/10.25	v ~x3216 ~x8294 ~x1525 ~x4909 ~x6602 ~x3217 ~x8295 ~x1526 ~x4910 ~x6603 
10.15/10.25	v ~x3218 ~x8296 ~x1527 ~x4911 ~x6604 ~x3219 ~x8297 ~x1528 ~x4912 ~x6605 
10.15/10.25	v ~x3220 ~x8298 ~x1529 ~x4913 ~x6606 ~x3221 ~x8299 ~x1530 ~x4914 ~x6607 
10.15/10.25	v ~x3222 ~x8300 ~x1531 ~x4915 ~x6608 ~x3223 ~x8301 ~x1532 ~x4916 ~x6609 
10.15/10.25	v ~x3224 ~x8302 ~x1533 ~x4917 ~x6610 ~x3225 ~x8303 ~x1534 ~x4918 ~x6611 
10.15/10.25	v ~x3226 ~x8304 ~x1535 ~x4919 ~x6612 ~x3227 ~x8305 ~x1536 ~x4920 ~x6613 
10.15/10.25	v ~x3228 ~x8306 ~x1537 ~x4921 ~x6614 ~x3229 ~x8307 ~x1538 ~x4922 ~x6615 
10.15/10.25	v ~x3230 ~x8308 ~x1539 ~x4923 ~x6616 ~x3231 ~x8309 ~x1540 ~x4924 ~x6617 
10.15/10.25	v ~x3232 ~x8310 ~x1541 ~x4925 ~x6618 ~x3233 ~x8311 ~x1542 ~x4926 ~x6619 
10.15/10.25	v ~x3234 ~x8312 ~x1543 ~x4927 ~x6620 ~x3235 ~x8313 ~x1544 ~x4928 ~x6621 
10.15/10.25	v ~x3236 ~x8314 ~x1545 ~x4929 ~x6622 ~x3237 ~x8315 ~x1546 ~x4930 ~x6623 
10.15/10.25	v ~x3238 ~x8316 ~x1547 ~x4931 ~x6624 ~x3239 ~x8317 ~x1548 ~x4932 ~x6625 
10.15/10.25	v ~x3240 ~x8318 ~x1549 ~x4933 ~x6626 ~x3241 ~x8319 ~x1550 ~x4934 ~x6627 
10.15/10.25	v ~x3242 ~x8320 ~x1551 ~x4935 ~x6628 ~x3243 ~x8321 ~x1552 ~x4936 ~x6629 
10.15/10.25	v ~x3244 ~x8322 ~x1553 ~x4937 ~x6630 ~x3245 ~x8323 ~x1554 ~x4938 ~x6631 
10.15/10.25	v ~x3246 ~x8324 ~x1555 ~x4939 ~x6632 ~x3247 ~x8325 ~x1556 ~x4940 ~x6633 
10.15/10.25	v ~x3248 ~x8326 ~x1557 ~x4941 ~x6634 ~x3249 ~x8327 ~x1558 ~x4942 ~x6635 
10.15/10.25	v ~x3250 ~x8328 ~x1559 ~x4943 ~x6636 ~x3251 ~x8329 x1560 ~x4944 ~x6637 
10.15/10.25	v ~x3252 ~x8330 x1561 ~x4945 ~x6638 x3253 ~x8331 x1562 x4946 ~x6639 
10.15/10.25	v x3254 ~x8332 x1563 x4947 ~x6640 x3255 ~x8333 x1564 x4948 ~x6641 
10.15/10.25	v x3256 ~x8334 x1565 x4949 ~x6642 x3257 ~x8335 x1566 ~x4950 ~x6643 
10.15/10.25	v x3258 ~x8336 x1567 ~x4951 ~x6644 x3259 ~x8337 x1568 ~x4952 ~x6645 
10.15/10.25	v x3260 x8338 x1569 ~x4953 ~x6646 x3261 x8339 x1570 ~x4954 x6647 
10.15/10.25	v x3262 x8340 x1571 ~x4955 x6648 x3263 ~x8341 x1572 ~x4956 x6649 
10.15/10.25	v x3264 ~x8342 x1573 ~x4957 x6650 x3265 ~x8343 x1574 ~x4958 x6651 
10.15/10.25	v x3266 ~x8344 x1575 ~x4959 ~x6652 x3267 ~x8345 x1576 ~x4960 ~x6653 
10.15/10.25	v x3268 ~x8346 x1577 ~x4961 ~x6654 ~x3269 ~x8347 x1578 ~x4962 ~x6655 
10.15/10.25	v ~x3270 ~x8348 x1579 ~x4963 ~x6656 ~x3271 ~x8349 x1580 ~x4964 ~x6657 
10.15/10.25	v ~x3272 ~x8350 x1581 ~x4965 ~x6658 ~x3273 ~x8351 x1582 ~x4966 ~x6659 
10.15/10.25	v ~x3274 ~x8352 x1583 ~x4967 ~x6660 ~x3275 ~x8353 x1584 ~x4968 ~x6661 
10.15/10.25	v ~x3276 ~x8354 x1585 ~x4969 ~x6662 ~x3277 ~x8355 x1586 ~x4970 ~x6663 
10.15/10.25	v ~x3278 ~x8356 x1587 ~x4971 ~x6664 ~x3279 ~x8357 x1588 ~x4972 ~x6665 
10.15/10.25	v ~x3280 ~x8358 x1589 ~x4973 ~x6666 ~x3281 ~x8359 x1590 ~x4974 ~x6667 
10.15/10.25	v ~x3282 ~x8360 x1591 ~x4975 ~x6668 ~x3283 ~x8361 x1592 ~x4976 ~x6669 
10.15/10.25	v ~x3284 ~x8362 x1593 ~x4977 ~x6670 ~x3285 ~x8363 x1594 ~x4978 ~x6671 
10.15/10.25	v ~x3286 ~x8364 x1595 ~x4979 ~x6672 ~x3287 ~x8365 x1596 ~x4980 ~x6673 
10.15/10.25	v ~x3288 ~x8366 ~x1597 ~x4981 ~x6674 ~x3289 ~x8367 ~x1598 ~x4982 ~x6675 
10.15/10.25	v ~x3290 ~x8368 ~x1599 ~x4983 ~x6676 ~x3291 ~x8369 ~x1600 ~x4984 ~x6677 
10.15/10.25	v ~x3292 ~x8370 ~x1601 ~x4985 ~x6678 ~x3293 ~x8371 ~x1602 ~x4986 ~x6679 
10.15/10.25	v ~x3294 ~x8372 ~x1603 ~x4987 ~x6680 ~x3295 ~x8373 ~x1604 ~x4988 ~x6681 
10.15/10.25	v ~x3296 ~x8374 ~x1605 ~x4989 ~x6682 ~x3297 ~x8375 ~x1606 ~x4990 ~x6683 
10.15/10.25	v ~x3298 ~x8376 ~x1607 ~x4991 ~x6684 ~x3299 ~x8377 ~x1608 ~x4992 ~x6685 
10.15/10.25	v ~x3300 ~x8378 ~x1609 ~x4993 ~x6686 ~x3301 ~x8379 ~x1610 ~x4994 ~x6687 
10.15/10.25	v ~x3302 ~x8380 ~x1611 ~x4995 ~x6688 ~x3303 ~x8381 ~x1612 ~x4996 ~x6689 
10.15/10.25	v ~x3304 ~x8382 ~x1613 ~x4997 ~x6690 ~x3305 ~x8383 ~x1614 ~x4998 ~x6691 
10.15/10.25	v ~x3306 ~x8384 ~x1615 ~x4999 ~x6692 ~x3307 ~x8385 ~x1616 ~x5000 ~x6693 
10.15/10.25	v ~x3308 ~x8386 ~x1617 ~x5001 ~x6694 ~x3309 ~x8387 ~x1618 ~x5002 ~x6695 
10.15/10.25	v ~x3310 ~x8388 ~x1619 ~x5003 ~x6696 ~x3311 ~x8389 ~x1620 ~x5004 ~x6697 
10.15/10.25	v ~x3312 ~x8390 ~x1621 ~x5005 ~x6698 ~x3313 ~x8391 ~x1622 ~x5006 ~x6699 
10.15/10.25	v ~x3314 ~x8392 ~x1623 ~x5007 ~x6700 ~x3315 ~x8393 ~x1624 ~x5008 x6701 
10.15/10.25	v ~x3316 ~x8394 ~x1625 ~x5009 x6702 ~x3317 ~x8395 ~x1626 ~x5010 x6703 
10.15/10.25	v ~x3318 ~x8396 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527955-1752241871/watcher-4527955-1752241871 -o /tmp/evaluation-result-4527955-1752241871/solver-4527955-1752241871 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108756 --watchdog 3760 pb_picat HOME/instance-4527955-1752241871.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100072 s]*
/proc/loadavg: 4.09 4.11 4.09 5/251 110297
/proc/meminfo: memFree=129137908/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2027148 memory=27948 CPUtime=0.1 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 991 0 0 0 10 0 0 0 20 0 1 0 139866180 2075799552 6987 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 506787 6987 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27948 KiB

[startup+0.213282 s]*
/proc/loadavg: 4.09 4.11 4.09 5/251 110297
/proc/meminfo: memFree=129125620/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2027148 memory=32044 CPUtime=0.21 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 993 0 0 0 21 0 0 0 20 0 1 0 139866180 2075799552 8011 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 506787 8011 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32044 KiB

[startup+0.313248 s]*
/proc/loadavg: 4.09 4.11 4.09 5/251 110297
/proc/meminfo: memFree=129117428/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2027148 memory=38212 CPUtime=0.31 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 1004 0 0 0 31 0 0 0 20 0 1 0 139866180 2075799552 9553 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 506787 9553 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38212 KiB

[startup+0.700316 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 110297
/proc/meminfo: memFree=129125620/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2027532 memory=68352 CPUtime=0.68 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 1227 0 0 0 67 1 0 0 20 0 1 0 139866180 2076192768 17088 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 506883 17088 1760 343 0 503947 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027532 KiB
Current children cumulated memory: 68352 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 110297
/proc/meminfo: memFree=129100856/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2036340 memory=74128 CPUtime=1.48 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 3200 0 0 0 139 9 0 0 20 0 1 0 139866180 2085212160 18532 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509085 18532 1760 343 0 506149 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036340 KiB
Current children cumulated memory: 74128 KiB

[startup+3.11279 s]
/proc/loadavg: 4.00 4.09 4.08 5/247 110357
/proc/meminfo: memFree=129164436/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=76368 CPUtime=3.09 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 6361 0 0 0 298 11 0 0 20 0 1 0 139866180 2087464960 19092 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19092 1760 343 0 506699 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 76368 KiB

[startup+6.3003 s]
/proc/loadavg: 4.00 4.09 4.08 5/251 110432
/proc/meminfo: memFree=129047780/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=76648 CPUtime=6.27 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 8533 0 0 0 615 12 0 0 20 0 1 0 139866180 2087464960 19162 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19162 1760 343 0 506699 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 76648 KiB

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

# cumulated CPU time of all completed processes:  user=10.0823 s, system=0.137472 s

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

[startup+6.40035 s]
/proc/loadavg: 4.00 4.09 4.08 5/251 110432
/proc/meminfo: memFree=129047780/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=76904 CPUtime=6.37 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 8606 0 0 0 625 12 0 0 20 0 1 0 139866180 2087464960 19226 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19226 1760 343 0 506699 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 76904 KiB

[startup+8.00027 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 110432
/proc/meminfo: memFree=128967000/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=77840 CPUtime=7.97 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 9873 0 0 0 785 12 0 0 20 0 1 0 139866180 2087464960 19460 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19460 1760 343 0 506699 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77840 KiB

[startup+9.60029 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 110432
/proc/meminfo: memFree=128950680/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=77232 CPUtime=9.55 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 10305 0 0 0 943 12 0 0 20 0 1 0 139866180 2087464960 19308 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19308 1760 343 0 506699 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77232 KiB

[startup+10.0003 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 110432
/proc/meminfo: memFree=128938416/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2034956 memory=75056 CPUtime=9.96 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 10341 0 0 0 984 12 0 0 20 0 1 0 139866180 2083794944 18764 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 508739 18764 1760 343 0 505803 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 2034956 KiB
Current children cumulated memory: 75056 KiB

[startup+10.2003 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 110432
/proc/meminfo: memFree=128938416/131382120 swapFree=33010160/33010684
[pid=110296] ppid=110293 vsize=2038540 memory=77488 CPUtime=10.15 cores=1,3
/proc/110296/stat : 110296 (pb_picat) R 110293 110296 107429 0 -1 4194304 10967 0 0 0 1002 13 0 0 20 0 1 0 139866180 2087464960 19372 18446744073709551615 93947949277184 93947950678765 140722640971936 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93947950950192 93947952824432 93947976155136 140722640976284 140722640976360 140722640976360 140722640981964 0
/proc/110296/statm: 509635 19372 1760 343 0 506699 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77488 KiB

Child status: 0

Real time (s): 10.2593
CPU time (s): 10.2198
CPU user time (s): 10.0823
CPU system time (s): 0.137472
CPU usage (%): 99.6151
Max. virtual memory (cumulated for all children) (KiB): 2038540
Max. memory (cumulated for all children) (KiB): 77840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0823
system time used= 0.137472
maximum resident set size= 77840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10999
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= 67
involuntary context switches= 17


# summary of solver processes directly reported to runsolver:
#   pid: 110296
#   total CPU time (s): 10.2198
#   total CPU user time (s): 10.0823
#   total CPU system time (s): 0.137472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094053 second user time and 0.166551 second system time

The end

Begin job on nodeC008 at 2025-07-11 15:51:11
IDJOB=4527955
IDBENCH=151618
IDSOLVER=3385
FILE ID=nodeC008/4527955-1752241871
RUNJOBID= nodeC008-1752238236-108756
SLURM_JOB_ID= 9682519
Free space on /tmp= 432796 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j605_7-sat.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527955-1752241871/watcher-4527955-1752241871 -o /tmp/evaluation-result-4527955-1752241871/solver-4527955-1752241871 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108756 --watchdog 3760  pb_picat HOME/instance-4527955-1752241871.opb

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

MD5SUM BENCH= 0cdbb1fc299265025d38c8df62ac854d
RANDOM SEED=1613760073

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129141820 kB
MemAvailable:   129406516 kB
Buffers:            2128 kB
Cached:          1056796 kB
SwapCached:           16 kB
Active:          1148992 kB
Inactive:         523804 kB
Active(anon):     598044 kB
Inactive(anon):    33752 kB
Active(file):     550948 kB
Inactive(file):   490052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16740 kB
Writeback:            44 kB
AnonPages:        616624 kB
Mapped:           116016 kB
Shmem:             17920 kB
KReclaimable:     126644 kB
Slab:             213948 kB
SReclaimable:     126644 kB
SUnreclaim:        87304 kB
KernelStack:        4016 kB
PageTables:         4252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6630992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432792 MiB
End job on nodeC008 at 2025-07-11 15:51:21