0.00/0.00	c solving HOME/instance-4459322-1721901917.opb (Picat 3.6#12)
11.17/11.26	o 1
21.74/21.81	o 0
21.74/21.82	s OPTIMUM FOUND
21.74/21.82	v ~x1623 ~x4921 ~x3 ~x10105 ~x6554 ~x11938 ~x3281 ~x8431 ~x1624 ~x4922 
21.74/21.82	v ~x4 ~x10113 ~x6565 ~x11939 ~x3282 ~x8432 ~x1625 ~x4923 ~x5 ~x10121 
21.74/21.82	v ~x6566 ~x11940 ~x3293 ~x8436 ~x1626 ~x4925 ~x6 ~x10129 ~x6567 ~x11949 
21.74/21.82	v ~x3294 ~x8447 ~x1627 ~x4926 ~x7 ~x10137 ~x6569 ~x11950 ~x3295 ~x8448 
21.74/21.82	v ~x1628 ~x4937 ~x8 ~x10151 ~x6570 ~x11951 ~x3297 ~x8452 ~x1629 ~x4938 
21.74/21.82	v ~x2029 ~x10154 ~x6581 ~x11952 ~x3298 ~x8463 ~x1630 ~x4939 ~x2030 ~x10155 
21.74/21.82	v ~x6582 ~x11953 ~x3309 ~x8464 ~x1639 ~x4941 ~x2031 ~x10159 ~x6583 ~x11954 
21.74/21.82	v ~x3310 ~x8468 ~x1640 ~x4942 ~x2032 ~x10162 ~x6585 ~x11955 ~x3311 ~x8479 
21.74/21.82	v ~x1641 ~x4953 ~x2033 ~x10163 ~x6586 ~x11956 ~x3313 ~x8480 ~x1642 ~x4954 
21.74/21.82	v ~x2034 ~x10167 ~x6597 ~x11965 ~x3314 ~x1643 ~x4955 ~x2035 ~x10170 ~x6598 
21.74/21.82	v ~x11966 ~x3325 ~x8484 ~x1644 ~x4957 ~x2036 ~x10171 ~x6599 ~x11967 ~x3326 
21.74/21.82	v ~x8495 ~x1645 ~x4958 ~x4057 ~x10175 ~x6601 ~x11968 ~x3327 ~x8496 ~x1646 
21.74/21.82	v ~x4969 ~x4058 ~x10178 ~x6602 ~x11969 ~x3329 ~x8500 ~x1655 ~x4970 ~x4059 
21.74/21.82	v ~x10179 ~x6613 ~x11970 ~x3330 ~x8511 ~x1656 ~x4971 ~x4060 ~x10183 ~x6614 
21.74/21.82	v ~x11971 ~x3337 ~x8512 ~x1657 ~x4973 ~x4061 ~x10186 ~x6615 ~x11972 ~x3338 
21.74/21.82	v ~x8516 ~x1658 ~x4974 ~x4062 ~x10187 ~x6617 ~x11981 ~x3339 ~x8527 ~x1659 
21.74/21.82	v ~x4985 ~x4063 ~x10191 ~x6618 ~x11982 ~x3340 ~x8528 ~x1660 ~x4986 ~x4064 
21.74/21.82	v ~x10194 ~x6629 ~x11983 ~x3341 ~x8532 ~x1661 ~x4987 ~x6085 ~x10195 ~x6630 
21.74/21.82	v ~x11984 ~x3342 ~x8543 ~x1662 ~x4989 ~x6086 ~x10199 ~x6631 ~x11985 ~x3343 
21.74/21.82	v ~x8544 ~x1671 ~x4990 ~x6087 ~x10202 ~x6633 ~x11986 ~x3347 ~x8548 ~x1672 
21.74/21.82	v ~x5001 ~x6088 ~x10203 ~x6634 ~x11987 ~x3348 ~x8556 ~x1673 ~x5002 ~x6089 
21.74/21.82	v ~x10207 ~x6645 ~x11988 ~x3349 ~x8277 ~x1674 ~x5003 ~x6090 ~x10210 ~x6646 
21.74/21.82	v ~x11997 ~x3350 ~x8278 ~x1675 ~x5005 ~x6091 ~x10211 ~x6647 ~x11998 ~x3351 
21.74/21.82	v ~x8289 ~x1676 ~x5006 ~x6092 ~x10215 ~x6649 ~x11999 ~x3352 ~x8290 ~x1677 
21.74/21.82	v ~x5017 ~x8113 ~x10218 ~x6650 ~x12000 ~x3353 ~x8291 ~x1678 ~x5018 ~x8114 
21.74/21.82	v ~x10219 ~x6661 ~x12001 ~x3354 ~x8293 ~x1687 ~x5019 ~x8115 ~x10223 ~x6662 
21.74/21.82	v ~x12002 ~x3363 ~x8294 ~x1688 ~x5021 ~x8116 ~x10226 ~x6663 ~x12003 ~x3364 
21.74/21.82	v ~x8305 ~x1689 ~x5022 ~x8117 ~x10227 ~x6665 ~x12004 ~x3365 ~x8306 ~x1690 
21.74/21.82	v ~x5033 ~x8118 ~x10231 ~x6666 ~x12013 ~x3366 ~x8307 ~x1691 ~x5034 ~x8119 
21.74/21.82	v ~x10234 ~x6677 ~x12014 ~x3367 ~x8309 ~x1692 ~x5035 ~x8120 ~x10235 ~x6678 
21.74/21.82	v ~x12015 ~x3368 ~x8310 ~x1693 ~x5037 ~x10143 ~x10239 ~x6679 ~x12016 ~x3369 
21.74/21.82	v ~x8321 ~x1694 ~x5038 ~x10144 ~x10242 ~x6681 ~x12017 ~x3370 ~x8322 ~x1703 
21.74/21.82	v ~x5049 ~x10145 ~x10243 ~x6682 ~x11738 ~x3379 ~x8323 ~x1704 ~x5050 ~x10146 
21.74/21.82	v ~x10247 ~x6693 ~x11749 ~x3380 ~x8325 ~x1705 ~x5051 ~x10147 ~x10250 ~x6694 
21.74/21.82	v ~x11750 ~x3381 ~x8326 ~x1706 ~x5053 ~x10148 ~x10251 ~x6695 ~x11754 ~x3382 
21.74/21.82	v ~x8337 ~x1707 ~x5054 ~x10149 ~x10255 ~x6697 ~x11765 ~x3383 ~x8338 ~x1708 
21.74/21.82	v ~x5065 ~x10150 ~x10258 ~x6698 ~x11766 ~x3384 ~x8339 ~x1709 ~x5066 ~x10259 
21.74/21.82	v ~x6709 ~x11770 ~x3385 ~x8341 ~x1710 ~x5067 ~x10263 ~x6710 ~x11781 ~x3386 
21.74/21.82	v ~x8342 ~x1719 ~x5069 ~x10266 ~x6711 ~x11782 ~x3395 ~x8353 ~x1720 ~x5070 
21.74/21.82	v ~x10267 ~x6713 ~x11786 ~x3396 ~x9 ~x8354 ~x1721 ~x5077 ~x10271 ~x6714 
21.74/21.82	v ~x11797 ~x3397 ~x10 ~x8355 ~x1722 ~x5078 ~x10274 ~x6725 ~x11798 ~x3398 
21.74/21.82	v ~x11 ~x8357 ~x1723 ~x5079 ~x10275 ~x6726 ~x11802 ~x3399 ~x12 ~x8358 
21.74/21.82	v ~x1724 ~x5080 ~x10279 ~x6727 ~x11813 ~x3400 ~x13 ~x8369 ~x1725 ~x5081 
21.74/21.82	v ~x10282 ~x6729 ~x11814 ~x3401 ~x14 ~x8370 ~x5082 ~x1726 ~x10283 ~x6730 
21.74/21.82	v ~x11818 ~x3402 ~x15 ~x8371 ~x1735 ~x5083 ~x10287 ~x6741 ~x11829 ~x3411 
21.74/21.82	v ~x16 ~x8373 ~x1736 ~x5087 ~x10290 ~x6742 ~x11830 ~x3412 ~x2037 ~x8374 
21.74/21.82	v ~x1737 ~x5088 ~x10152 ~x6743 ~x11834 ~x3413 ~x2038 ~x8385 ~x1738 ~x5089 
21.74/21.82	v ~x10153 ~x6745 ~x11845 ~x3414 ~x2039 ~x8386 ~x1739 ~x5090 ~x10156 ~x6746 
21.74/21.82	v ~x11846 ~x3415 ~x2040 ~x8387 ~x1740 ~x5091 ~x10157 ~x6757 ~x11850 ~x3416 
21.74/21.82	v ~x2041 ~x8389 ~x1741 ~x5092 ~x10158 ~x6758 ~x11861 ~x3417 ~x2042 ~x8390 
21.74/21.82	v ~x1742 ~x5093 ~x10160 ~x6759 ~x11862 ~x3418 ~x2043 ~x8401 ~x1751 ~x5094 
21.74/21.82	v ~x10161 ~x6761 ~x11866 ~x3427 ~x2044 ~x8402 ~x1752 ~x5103 ~x10164 ~x6762 
21.74/21.82	v ~x11877 ~x3428 ~x8403 ~x1753 ~x5104 ~x10165 ~x6773 ~x11878 ~x3429 ~x8405 
21.74/21.82	v ~x4065 ~x1754 ~x5105 ~x10166 ~x6774 ~x11882 ~x3430 ~x8406 ~x4066 ~x1755 
21.74/21.82	v ~x5106 ~x10168 ~x6775 ~x11893 ~x3431 ~x8417 ~x4067 ~x1756 ~x5107 ~x10169 
21.74/21.82	v ~x6777 ~x11894 ~x3432 ~x8418 ~x4068 ~x1757 ~x5108 ~x10172 ~x6778 ~x11898 
21.74/21.82	v ~x3433 ~x8419 ~x4069 ~x1758 ~x5109 ~x10173 ~x6789 ~x11909 ~x3434 ~x8421 
21.74/21.82	v ~x4070 ~x1767 ~x5110 ~x10174 ~x6790 ~x11910 ~x3443 ~x8422 ~x4071 ~x1768 
21.74/21.82	v ~x5119 ~x10176 ~x6791 ~x11914 ~x3444 ~x8433 ~x4072 ~x1769 ~x5120 ~x10177 
21.74/21.82	v ~x6793 ~x11925 ~x3445 ~x8434 ~x6093 ~x1770 ~x5121 ~x10180 ~x6794 ~x11926 
21.74/21.82	v ~x3446 ~x8435 ~x6094 ~x1771 ~x5122 ~x10181 ~x6805 ~x11930 ~x3447 ~x8437 
21.74/21.82	v ~x6095 ~x1772 ~x5123 ~x10182 ~x6806 ~x11941 ~x3448 ~x8438 ~x6096 ~x1773 
21.74/21.82	v ~x5124 ~x10184 ~x6807 ~x11942 ~x3449 ~x8449 ~x6097 ~x1774 ~x5125 ~x10185 
21.74/21.82	v ~x6809 ~x11946 ~x3450 ~x8450 ~x6098 ~x1783 ~x5126 ~x10188 ~x6810 ~x11957 
21.74/21.82	v ~x3459 ~x8451 ~x6099 ~x1784 ~x5135 ~x10189 ~x6817 ~x11958 ~x3460 ~x8453 
21.74/21.82	v ~x6100 ~x1785 ~x5136 ~x10190 ~x6818 ~x11962 ~x3461 ~x8454 ~x8121 ~x1786 
21.74/21.82	v ~x5137 ~x10192 ~x6819 ~x11973 ~x3462 ~x8465 ~x8122 ~x1787 ~x5138 ~x10193 
21.74/21.82	v ~x6820 ~x11974 ~x3463 ~x8466 ~x8123 ~x1788 ~x5139 ~x10196 ~x6821 ~x11978 
21.74/21.82	v ~x3464 ~x8467 ~x8124 ~x1789 ~x5140 ~x10197 ~x6822 ~x11989 ~x3465 ~x8469 
21.74/21.82	v ~x8125 ~x1790 ~x5141 ~x10198 ~x6823 ~x11990 ~x3466 ~x8470 ~x8126 ~x1799 
21.74/21.82	v ~x5142 ~x10200 ~x6827 ~x11994 ~x3475 ~x8481 ~x8127 ~x1800 ~x5151 ~x10201 
21.74/21.82	v ~x6828 ~x12005 ~x3476 ~x8482 ~x8128 ~x1801 ~x5152 ~x10204 ~x6829 ~x12006 
21.74/21.82	v ~x3477 ~x8483 ~x10141 ~x1802 ~x5153 ~x10205 ~x6830 ~x12010 ~x3478 ~x8485 
21.74/21.82	v ~x10142 ~x1803 ~x5154 ~x10206 ~x6831 ~x12018 ~x3479 ~x8486 ~x17 ~x1804 
21.74/21.82	v ~x5155 ~x10208 ~x6832 ~x11739 ~x3480 ~x8497 ~x20 ~x1805 ~x5156 ~x10209 
21.74/21.82	v ~x6833 ~x11740 ~x3481 ~x8498 ~x21 ~x1806 ~x5157 ~x10212 ~x6834 ~x11751 
21.74/21.82	v ~x3482 ~x8499 ~x25 ~x1815 ~x5158 ~x10213 ~x6843 ~x11752 ~x3491 ~x8501 
21.74/21.82	v ~x28 ~x1816 ~x5167 ~x10214 ~x6844 ~x11753 ~x3492 ~x8502 ~x29 ~x1817 
21.74/21.82	v ~x5168 ~x10216 ~x6845 ~x11755 ~x3493 ~x8513 ~x33 ~x1818 ~x5169 ~x10217 
21.74/21.82	v ~x6846 ~x11756 ~x3494 ~x8514 ~x36 ~x1819 ~x5170 ~x10220 ~x6847 ~x11767 
21.74/21.82	v ~x3495 ~x8515 ~x37 ~x1820 ~x5171 ~x10221 ~x6848 ~x11768 ~x3496 ~x8517 
21.74/21.82	v ~x41 ~x1821 ~x5172 ~x10222 ~x6849 ~x11769 ~x3497 ~x8518 ~x44 ~x1822 
21.74/21.82	v ~x5173 ~x10224 ~x6850 ~x11771 ~x3498 ~x8529 ~x45 ~x1831 ~x5174 ~x10225 
21.74/21.82	v ~x6859 ~x11772 ~x3507 ~x8530 ~x49 ~x1832 ~x5183 ~x10228 ~x6860 ~x11783 
21.74/21.82	v ~x3508 ~x8531 ~x52 ~x1833 ~x5184 ~x10229 ~x6861 ~x11784 ~x3509 ~x8533 
21.74/21.82	v ~x53 ~x1834 ~x5185 ~x10230 ~x6862 ~x11785 ~x3510 ~x8534 ~x57 ~x1835 
21.74/21.82	v ~x5186 ~x10232 ~x6863 ~x11787 ~x3511 ~x8545 ~x60 ~x1836 ~x5187 ~x10233 
21.74/21.82	v ~x6864 ~x11788 ~x3512 ~x8546 ~x61 ~x1837 ~x5188 ~x10236 ~x6865 ~x11799 
21.74/21.82	v ~x3513 ~x8547 ~x65 ~x1838 ~x5189 ~x10237 ~x6866 ~x11800 ~x3514 ~x8549 
21.74/21.82	v ~x68 ~x1847 ~x5190 ~x10238 ~x6875 ~x11801 ~x3523 ~x8550 ~x69 ~x1848 
21.74/21.82	v ~x5199 ~x10240 ~x6876 ~x11803 ~x3524 ~x8557 ~x73 ~x1849 ~x5200 ~x10241 
21.74/21.82	v ~x6877 ~x11804 ~x3525 ~x8558 ~x76 ~x1850 ~x5201 ~x10244 ~x6878 ~x11815 
21.74/21.82	v ~x3526 ~x8559 ~x77 ~x1851 ~x5202 ~x10245 ~x6879 ~x11816 ~x3527 ~x8560 
21.74/21.82	v ~x81 ~x1852 ~x5203 ~x10246 ~x6880 ~x11817 ~x3528 ~x8561 ~x84 ~x1853 
21.74/21.82	v ~x5204 ~x10248 ~x6881 ~x11819 ~x3529 ~x8562 ~x85 ~x1854 ~x5205 ~x10249 
21.74/21.82	v ~x6882 ~x11820 ~x3530 ~x8563 ~x89 ~x1863 ~x5206 ~x10252 ~x6891 ~x11831 
21.74/21.82	v ~x3539 ~x8567 ~x92 ~x1864 ~x5215 ~x10253 ~x6892 ~x11832 ~x3540 ~x8568 
21.74/21.82	v ~x93 ~x1865 ~x5216 ~x10254 ~x6893 ~x11833 ~x3541 ~x8569 ~x97 ~x1866 
21.74/21.82	v ~x5217 ~x10256 ~x6894 ~x11835 ~x3542 ~x8570 ~x100 ~x1867 ~x5218 ~x10257 
21.74/21.82	v ~x6895 ~x11836 ~x3543 ~x8571 ~x101 ~x1868 ~x5219 ~x10260 ~x6896 ~x11847 
21.74/21.82	v ~x3544 ~x8572 ~x105 ~x1869 ~x5220 ~x10261 ~x6897 ~x11848 ~x3545 ~x8573 
21.74/21.82	v ~x108 ~x1870 ~x5221 ~x10262 ~x6898 ~x11849 ~x3546 ~x8574 ~x109 ~x1879 
21.74/21.82	v ~x5222 ~x10264 ~x6907 ~x11851 ~x3555 ~x8583 ~x113 ~x1880 ~x5231 ~x10265 
21.74/21.82	v ~x6908 ~x11852 ~x3556 ~x8584 ~x116 ~x1881 ~x5232 ~x10268 ~x6909 ~x11863 
21.74/21.82	v ~x3557 ~x8585 ~x117 ~x1882 ~x5233 ~x10269 ~x6910 ~x11864 ~x3558 ~x8586 
21.74/21.82	v ~x1883 ~x5234 ~x10270 ~x6911 ~x11865 ~x3559 ~x8587 ~x1604 ~x5235 ~x121 
21.74/21.82	v ~x10272 ~x6912 ~x11867 ~x3560 ~x8588 ~x1615 ~x5236 ~x124 ~x10273 ~x6913 
21.74/21.82	v ~x11868 ~x3561 ~x8589 ~x1616 ~x5237 ~x125 ~x10276 ~x6914 ~x11879 ~x3562 
21.74/21.82	v ~x8590 ~x1620 ~x5238 ~x129 ~x10277 ~x6923 ~x11880 ~x3571 ~x8599 ~x1631 
21.74/21.82	v ~x5247 ~x132 ~x10278 ~x6924 ~x11881 ~x3572 ~x8600 ~x1632 ~x5248 ~x133 
21.74/21.82	v ~x10280 ~x6925 ~x11883 ~x3573 ~x8601 ~x1636 ~x5249 ~x137 ~x10281 ~x6926 
21.74/21.82	v ~x11884 ~x3574 ~x8602 ~x1647 ~x5250 ~x140 ~x10284 ~x6927 ~x11895 ~x3575 
21.74/21.82	v ~x8603 ~x1648 ~x5251 ~x141 ~x10285 ~x6928 ~x11896 ~x3576 ~x8604 ~x1652 
21.74/21.82	v ~x5252 ~x145 ~x10286 ~x6929 ~x11897 ~x3577 ~x8605 ~x1663 ~x5253 ~x148 
21.74/21.82	v ~x10288 ~x6930 ~x11899 ~x3578 ~x8606 ~x1664 ~x5254 ~x149 ~x10289 ~x6939 
21.74/21.82	v ~x11900 ~x3587 ~x8615 ~x1668 ~x5263 ~x153 ~x10291 ~x6940 ~x11911 ~x3588 
21.74/21.82	v ~x8616 ~x1679 ~x5264 ~x156 ~x10292 ~x6941 ~x11912 ~x3589 ~x8617 ~x1680 
21.74/21.82	v ~x5265 ~x18 ~x10293 ~x6942 ~x11913 ~x3590 ~x8618 ~x1684 ~x5266 ~x19 
21.74/21.82	v ~x10294 ~x6943 ~x11915 ~x3591 ~x8619 ~x1695 ~x5267 ~x22 ~x10295 ~x6944 
21.74/21.82	v ~x11916 ~x3592 ~x8620 ~x1696 ~x5268 ~x23 ~x10296 ~x6945 ~x11927 ~x3593 
21.74/21.82	v ~x8621 ~x1700 ~x5269 ~x24 ~x10297 ~x6946 ~x11928 ~x3594 ~x8622 ~x1711 
21.74/21.82	v ~x5270 ~x26 ~x10301 ~x6955 ~x11929 ~x3603 ~x8631 ~x1712 ~x5279 ~x27 
21.74/21.82	v ~x10302 ~x6956 ~x11931 ~x3604 ~x8632 ~x1716 ~x5280 ~x30 ~x10303 ~x6957 
21.74/21.82	v ~x11932 ~x3605 ~x8633 ~x1727 ~x5281 ~x31 ~x10304 ~x6958 ~x11943 ~x3606 
21.74/21.82	v ~x8634 ~x1728 ~x5282 ~x32 ~x10305 ~x6959 ~x11944 ~x3607 ~x8635 ~x1732 
21.74/21.82	v ~x5283 ~x34 ~x10306 ~x6960 ~x11945 ~x3608 ~x8636 ~x1743 ~x5284 ~x35 
21.74/21.82	v ~x10307 ~x6961 ~x11947 ~x3609 ~x8637 ~x1744 ~x5285 ~x38 ~x10308 ~x6962 
21.74/21.82	v ~x11948 ~x3610 ~x8638 ~x1748 ~x5286 ~x39 ~x10317 ~x6971 ~x11959 ~x3619 
21.74/21.82	v ~x8647 ~x1759 ~x5295 ~x40 ~x10318 ~x6972 ~x11960 ~x3620 ~x8648 ~x1760 
21.74/21.82	v ~x5296 ~x42 ~x10319 ~x6973 ~x11961 ~x3621 ~x8649 ~x1764 ~x5297 ~x43 
21.74/21.82	v ~x10320 ~x6974 ~x11963 ~x3622 ~x8650 ~x1775 ~x5298 ~x46 ~x10321 ~x6975 
21.74/21.82	v ~x11964 ~x3623 ~x8651 ~x1776 ~x5299 ~x47 ~x10322 ~x6976 ~x11975 ~x3344 
21.74/21.82	v ~x8652 ~x1780 ~x5300 ~x48 ~x10323 ~x6977 ~x11976 ~x3355 ~x8653 ~x1791 
21.74/21.82	v ~x5301 ~x50 ~x10324 ~x6978 ~x11977 ~x3356 ~x8654 ~x1792 ~x5302 ~x51 
21.74/21.82	v ~x10333 ~x6987 ~x11979 ~x3360 ~x8663 ~x1796 ~x5311 ~x54 ~x10334 ~x6988 
21.74/21.82	v ~x11980 ~x3371 ~x8664 ~x1807 ~x5312 ~x55 ~x10335 ~x6989 ~x11991 ~x3372 
21.74/21.82	v ~x8665 ~x1808 ~x5313 ~x56 ~x10336 ~x6990 ~x11992 ~x3376 ~x8666 ~x1812 
21.74/21.82	v ~x5314 ~x58 ~x10337 ~x6991 ~x11993 ~x3387 ~x8667 ~x1823 ~x5315 ~x59 
21.74/21.82	v ~x10338 ~x6992 ~x11995 ~x3388 ~x8668 ~x1824 ~x5316 ~x62 ~x10339 ~x6993 
21.74/21.82	v ~x11996 ~x3392 ~x8669 ~x1828 ~x5317 ~x63 ~x10340 ~x6994 ~x12007 ~x3403 
21.74/21.82	v ~x8670 ~x1839 ~x5318 ~x64 ~x10349 ~x7003 ~x12008 ~x3404 ~x8679 ~x1840 
21.74/21.82	v ~x5327 ~x66 ~x10350 ~x7004 ~x12009 ~x3408 ~x8680 ~x1844 ~x5328 ~x67 
21.74/21.82	v ~x10351 ~x7005 ~x12011 ~x3419 ~x8681 ~x1855 ~x5329 ~x70 ~x10352 ~x7006 
21.74/21.82	v ~x12012 ~x3420 ~x8682 ~x1856 ~x5330 ~x71 ~x10353 ~x7007 ~x12019 ~x3424 
21.74/21.82	v ~x8683 ~x1860 ~x5331 ~x72 ~x10354 ~x7008 ~x12020 ~x3435 ~x8684 ~x1871 
21.74/21.82	v ~x5332 ~x74 ~x10355 ~x7009 ~x12021 ~x3436 ~x8685 ~x1872 ~x5333 ~x75 
21.74/21.82	v ~x10356 ~x7010 ~x12022 ~x3440 ~x8686 ~x1876 ~x5334 ~x78 ~x10365 ~x7019 
21.74/21.82	v ~x12023 ~x3451 ~x8695 ~x1884 ~x5343 ~x79 ~x10366 ~x7020 ~x12024 ~x3452 
21.74/21.82	v ~x8696 ~x1605 ~x5344 ~x80 ~x10367 ~x7021 ~x12025 ~x3456 ~x8697 ~x1606 
21.74/21.82	v ~x5345 ~x82 ~x10368 ~x7022 ~x12026 ~x3467 ~x8698 ~x1617 ~x5346 ~x83 
21.74/21.82	v ~x10369 ~x7023 ~x12027 ~x3468 ~x8699 ~x1618 ~x5347 ~x86 ~x10370 ~x7024 
21.74/21.82	v ~x12028 ~x3472 ~x8700 ~x1619 ~x5348 ~x87 ~x10371 ~x7025 ~x12029 ~x3483 
21.74/21.82	v ~x8701 ~x1621 ~x5349 ~x88 ~x10372 ~x7026 ~x12032 ~x3484 ~x8702 ~x1622 
21.74/21.82	v ~x5350 ~x90 ~x10381 ~x7035 ~x12033 ~x3488 ~x8711 ~x1633 ~x5359 ~x91 
21.74/21.82	v ~x10382 ~x7036 ~x12034 ~x3499 ~x8712 ~x1634 ~x5360 ~x94 ~x10383 ~x7037 
21.74/21.82	v ~x12035 ~x3500 ~x8713 ~x1635 ~x5361 ~x95 ~x10384 ~x7038 ~x12036 ~x3504 
21.74/21.82	v ~x8714 ~x1637 ~x5362 ~x96 ~x10385 ~x7039 ~x12037 ~x3515 ~x8715 ~x1638 
21.74/21.82	v ~x5363 ~x98 ~x10386 ~x7040 ~x12040 ~x3516 ~x8716 ~x1649 ~x5084 ~x99 
21.74/21.82	v ~x10387 ~x7041 ~x12041 ~x3520 ~x8717 ~x1650 ~x5095 ~x102 ~x10388 ~x7042 
21.74/21.82	v ~x12042 ~x3531 ~x8718 ~x1651 ~x5096 ~x103 ~x10397 ~x7051 ~x12043 ~x3532 
21.74/21.82	v ~x8727 ~x1653 ~x5100 ~x104 ~x10398 ~x7052 ~x12044 ~x3536 ~x8728 ~x1654 
21.74/21.82	v ~x5111 ~x106 ~x10399 ~x7053 ~x12045 ~x3547 ~x8729 ~x1665 ~x5112 ~x107 
21.74/21.82	v ~x10400 ~x7054 ~x12048 ~x3548 ~x8730 ~x1666 ~x5116 ~x110 ~x10401 ~x7055 
21.74/21.82	v ~x12049 ~x3552 ~x8731 ~x1667 ~x5127 ~x111 ~x10402 ~x7056 ~x12050 ~x3563 
21.74/21.82	v ~x8732 ~x1669 ~x5128 ~x112 ~x10403 ~x7057 ~x12051 ~x3564 ~x8733 ~x1670 
21.74/21.82	v ~x5132 ~x114 ~x10404 ~x7058 ~x12052 ~x3568 ~x8734 ~x1681 ~x5143 ~x115 
21.74/21.82	v ~x10413 ~x7067 ~x12053 ~x3579 ~x8743 ~x1682 ~x5144 ~x118 ~x10414 ~x7068 
21.74/21.82	v ~x12056 ~x3580 ~x8744 ~x1683 ~x5148 ~x119 ~x10415 ~x7069 ~x12057 ~x3584 
21.74/21.82	v ~x8745 ~x1685 ~x5159 ~x120 ~x10416 ~x7070 ~x12058 ~x3595 ~x8746 ~x1686 
21.74/21.82	v ~x5160 ~x122 ~x10417 ~x7071 ~x12059 ~x3596 ~x8747 ~x1697 ~x5164 ~x123 
21.74/21.82	v ~x10418 ~x7072 ~x12060 ~x3600 ~x8748 ~x1698 ~x5175 ~x126 ~x10419 ~x7073 
21.74/21.82	v ~x12061 ~x3611 ~x8749 ~x1699 ~x5176 ~x127 ~x10420 ~x7074 ~x12064 ~x3612 
21.74/21.82	v ~x8750 ~x1701 ~x5180 ~x128 ~x10429 ~x7083 ~x12065 ~x3616 ~x8759 ~x1702 
21.74/21.82	v ~x5191 ~x130 ~x10430 ~x7084 ~x12066 ~x3624 ~x8760 ~x1713 ~x5192 ~x131 
21.74/21.82	v ~x10431 ~x7085 ~x12067 ~x3345 ~x8761 ~x1714 ~x5196 ~x134 ~x10432 ~x7086 
21.74/21.82	v ~x12068 ~x3346 ~x8762 ~x1715 ~x5207 ~x135 ~x10433 ~x7087 ~x12069 ~x3357 
21.74/21.82	v ~x8763 ~x1717 ~x5208 ~x136 ~x10434 ~x7088 ~x12072 ~x3358 ~x8764 ~x1718 
21.74/21.82	v ~x5212 ~x138 ~x10435 ~x7089 ~x12073 ~x3359 ~x8765 ~x1729 ~x5223 ~x139 
21.74/21.82	v ~x10436 ~x7090 ~x12074 ~x3361 ~x8766 ~x1730 ~x5224 ~x142 ~x10445 ~x7099 
21.74/21.82	v ~x12075 ~x3362 ~x8775 ~x1731 ~x5228 ~x143 ~x10446 ~x7100 ~x12076 ~x3373 
21.74/21.82	v ~x8776 ~x1733 ~x5239 ~x144 ~x10447 ~x7101 ~x12077 ~x3374 ~x8777 ~x1734 
21.74/21.82	v ~x5240 ~x146 ~x10448 ~x7102 ~x12080 ~x3375 ~x8778 ~x1745 ~x5244 ~x147 
21.74/21.82	v ~x10449 ~x7103 ~x12081 ~x3377 ~x8779 ~x1746 ~x5255 ~x150 ~x10450 ~x6824 
21.74/21.82	v ~x12082 ~x3378 ~x8780 ~x1747 ~x5256 ~x151 ~x10451 ~x6835 ~x12083 ~x3389 
21.74/21.82	v ~x8781 ~x1749 ~x5260 ~x152 ~x10452 ~x6836 ~x12084 ~x3390 ~x8782 ~x1750 
21.74/21.82	v ~x5271 ~x154 ~x10461 ~x6840 ~x12085 ~x3391 ~x8791 ~x1761 ~x5272 ~x155 
21.74/21.82	v ~x10462 ~x6851 ~x12088 ~x3393 ~x8792 ~x1762 ~x5276 ~x157 ~x10463 ~x6852 
21.74/21.82	v ~x12089 ~x3394 ~x8793 ~x1763 ~x5287 ~x158 ~x10464 ~x6856 ~x12090 ~x3405 
21.74/21.82	v ~x8794 ~x1765 ~x5288 ~x159 ~x10465 ~x6867 ~x12091 ~x3406 ~x8795 ~x1766 
21.74/21.82	v ~x5292 ~x160 ~x10466 ~x6868 ~x12092 ~x3407 ~x8796 ~x1777 ~x5303 ~x161 
21.74/21.82	v ~x10467 ~x6872 ~x12093 ~x3409 ~x8797 ~x1778 ~x5304 ~x162 ~x10468 ~x6883 
21.74/21.82	v ~x12096 ~x3410 ~x8798 ~x1779 ~x5308 ~x163 ~x10477 ~x6884 ~x12097 ~x3421 
21.74/21.82	v ~x8807 ~x1781 ~x5319 ~x167 ~x10478 ~x6888 ~x12098 ~x3422 ~x8808 ~x1782 
21.74/21.82	v ~x5320 ~x168 ~x10479 ~x6899 ~x12099 ~x3423 ~x8809 ~x1793 ~x5324 ~x169 
21.74/21.82	v ~x10480 ~x6900 ~x12100 ~x3425 ~x8810 ~x1794 ~x5335 ~x170 ~x10481 ~x6904 
21.74/21.82	v ~x12101 ~x3426 ~x8811 ~x1795 ~x5336 ~x171 ~x10482 ~x6915 ~x12104 ~x3437 
21.74/21.82	v ~x8812 ~x1797 ~x5340 ~x172 ~x10483 ~x6916 ~x12105 ~x3438 ~x8813 ~x1798 
21.74/21.82	v ~x5351 ~x173 ~x10484 ~x6920 ~x12106 ~x3439 ~x8814 ~x1809 ~x5352 ~x174 
21.74/21.82	v ~x10493 ~x6931 ~x12107 ~x3441 ~x8823 ~x1810 ~x5356 ~x183 ~x10494 ~x6932 
21.74/21.82	v ~x12108 ~x3442 ~x8824 ~x1811 ~x5364 ~x184 ~x10495 ~x6936 ~x12109 ~x3453 
21.74/21.82	v ~x8825 ~x1813 ~x5085 ~x185 ~x10496 ~x6947 ~x12112 ~x3454 ~x8826 ~x1814 
21.74/21.82	v ~x5086 ~x186 ~x10497 ~x6948 ~x12113 ~x3455 ~x8827 ~x1825 ~x5097 ~x187 
21.74/21.82	v ~x10498 ~x6952 ~x12114 ~x3457 ~x8828 ~x1826 ~x5098 ~x188 ~x10499 ~x6963 
21.74/21.82	v ~x12115 ~x3458 ~x8829 ~x1827 ~x5099 ~x189 ~x10500 ~x6964 ~x12116 ~x3469 
21.74/21.82	v ~x8830 ~x1829 ~x5101 ~x190 ~x10509 ~x6968 ~x12117 ~x3470 ~x8839 ~x1830 
21.74/21.82	v ~x5102 ~x199 ~x10510 ~x6979 ~x12120 ~x3471 ~x8840 ~x1841 ~x5113 ~x200 
21.74/21.82	v ~x10511 ~x6980 ~x12121 ~x3473 ~x8841 ~x1842 ~x5114 ~x201 ~x10512 ~x6984 
21.74/21.82	v ~x12122 ~x3474 ~x8842 ~x1843 ~x5115 ~x202 ~x10513 ~x6995 ~x12123 ~x3485 
21.74/21.82	v ~x8843 ~x1845 ~x5117 ~x203 ~x10514 ~x6996 ~x12124 ~x3486 ~x8564 ~x1846 
21.74/21.82	v ~x5118 ~x204 ~x10515 ~x7000 ~x12125 ~x3487 ~x8575 ~x1857 ~x5129 ~x205 
21.74/21.82	v ~x10516 ~x7011 ~x12128 ~x3489 ~x8576 ~x1858 ~x5130 ~x206 ~x10525 ~x7012 
21.74/21.82	v ~x12129 ~x3490 ~x8580 ~x1859 ~x5131 ~x10526 ~x7016 ~x12130 ~x3501 ~x8591 
21.74/21.82	v ~x1861 ~x5133 ~x10527 ~x215 ~x7027 ~x12131 ~x3502 ~x8592 ~x1862 ~x5134 
21.74/21.82	v ~x10528 ~x216 ~x7028 ~x12132 ~x3503 ~x8596 ~x1873 ~x5145 ~x10529 ~x217 
21.74/21.82	v ~x7032 ~x12133 ~x3505 ~x8607 ~x1874 ~x5146 ~x10530 ~x218 ~x7043 ~x12136 
21.74/21.82	v ~x3506 ~x8608 ~x1875 ~x5147 ~x10531 ~x219 ~x7044 ~x12137 ~x3517 ~x8612 
21.74/21.82	v ~x1877 ~x5149 ~x10532 ~x220 ~x7048 ~x12138 ~x3518 ~x8623 ~x1878 ~x5150 
21.74/21.82	v ~x10541 ~x221 ~x7059 ~x12139 ~x3519 ~x8624 ~x1885 ~x5161 ~x10542 ~x222 
21.74/21.82	v ~x7060 ~x12140 ~x3521 ~x8628 ~x1886 ~x5162 ~x10543 ~x231 ~x7064 ~x12141 
21.74/21.82	v ~x3522 ~x8639 ~x1887 ~x5163 ~x10544 ~x232 ~x7075 ~x12144 ~x3533 ~x8640 
21.74/21.82	v ~x1888 ~x5165 ~x10545 ~x233 ~x7076 ~x12145 ~x3534 ~x8644 ~x1889 ~x5166 
21.74/21.82	v ~x10546 ~x234 ~x7080 ~x12146 ~x3535 ~x8655 ~x1890 ~x5177 ~x10547 ~x235 
21.74/21.82	v ~x7091 ~x12147 ~x3537 ~x8656 ~x1891 ~x5178 ~x10548 ~x236 ~x7092 ~x12148 
21.74/21.82	v ~x3538 ~x8660 ~x1892 ~x5179 ~x10557 ~x237 ~x7096 ~x12149 ~x3549 ~x8671 
21.74/21.82	v ~x1893 ~x5181 ~x10558 ~x238 ~x7104 ~x12152 ~x3550 ~x8672 ~x1894 ~x5182 
21.74/21.82	v ~x10559 ~x247 ~x6825 ~x12153 ~x3551 ~x8676 ~x1895 ~x5193 ~x10560 ~x248 
21.74/21.82	v ~x6826 ~x12154 ~x3553 ~x8687 ~x1898 ~x5194 ~x10561 ~x249 ~x6837 ~x12155 
21.74/21.82	v ~x3554 ~x8688 ~x1899 ~x5195 ~x10562 ~x250 ~x6838 ~x12156 ~x3565 ~x8692 
21.74/21.82	v ~x1900 ~x5197 ~x10563 ~x251 ~x6839 ~x12157 ~x3566 ~x8703 ~x1901 ~x5198 
21.74/21.82	v ~x10564 ~x252 ~x6841 ~x12160 ~x3567 ~x8704 ~x1902 ~x5209 ~x10573 ~x253 
21.74/21.82	v ~x6842 ~x12161 ~x3569 ~x8708 ~x1903 ~x5210 ~x10574 ~x254 ~x6853 ~x12162 
21.74/21.82	v ~x3570 ~x8719 ~x1906 ~x5211 ~x10575 ~x263 ~x6854 ~x12030 ~x3581 ~x8720 
21.74/21.82	v ~x1907 ~x5213 ~x10576 ~x264 ~x6855 ~x12038 ~x3582 ~x8724 ~x1908 ~x5214 
21.74/21.82	v ~x10577 ~x265 ~x6857 ~x12046 ~x3583 ~x8735 ~x1909 ~x5225 ~x10298 ~x266 
21.74/21.82	v ~x6858 ~x12054 ~x3585 ~x8736 ~x1910 ~x5226 ~x10309 ~x267 ~x6869 ~x12062 
21.74/21.82	v ~x3586 ~x8740 ~x1911 ~x5227 ~x10310 ~x268 ~x6870 ~x12070 ~x3597 ~x8751 
21.74/21.82	v ~x1914 ~x5229 ~x10314 ~x269 ~x6871 ~x12078 ~x3598 ~x8752 ~x1915 ~x5230 
21.74/21.82	v ~x10325 ~x270 ~x6873 ~x12086 ~x3599 ~x8756 ~x1916 ~x5241 ~x10326 ~x279 
21.74/21.82	v ~x6874 ~x12094 ~x3601 ~x8767 ~x1917 ~x5242 ~x10330 ~x280 ~x6885 ~x12102 
21.74/21.82	v ~x3602 ~x8768 ~x1918 ~x5243 ~x10341 ~x281 ~x6886 ~x12110 ~x3613 ~x8772 
21.74/21.82	v ~x1919 ~x5245 ~x10342 ~x282 ~x6887 ~x12118 ~x3614 ~x8783 ~x1922 ~x5246 
21.74/21.82	v ~x10346 ~x283 ~x6889 ~x12126 ~x3615 ~x8784 ~x1923 ~x5257 ~x10357 ~x284 
21.74/21.82	v ~x6890 ~x12134 ~x3617 ~x8788 ~x1924 ~x5258 ~x10358 ~x285 ~x6901 ~x12142 
21.74/21.82	v ~x3618 ~x8799 ~x1925 ~x5259 ~x10362 ~x286 ~x6902 ~x12150 ~x3625 ~x8800 
21.74/21.82	v ~x1926 ~x5261 ~x10373 ~x295 ~x6903 ~x12158 ~x3626 ~x8804 ~x1927 ~x5262 
21.74/21.82	v ~x10374 ~x296 ~x6905 ~x12031 ~x3627 ~x8815 ~x1930 ~x5273 ~x10378 ~x297 
21.74/21.82	v ~x6906 ~x12039 ~x3628 ~x8816 ~x1931 ~x5274 ~x10389 ~x298 ~x6917 ~x12047 
21.74/21.82	v ~x3629 ~x8820 ~x1932 ~x5275 ~x10390 ~x299 ~x6918 ~x12055 ~x3630 ~x8831 
21.74/21.82	v ~x1933 ~x5277 ~x10394 ~x300 ~x6919 ~x12063 ~x3631 ~x8832 ~x1934 ~x5278 
21.74/21.82	v ~x10405 ~x301 ~x6921 ~x12071 ~x3635 ~x8836 ~x1935 ~x5289 ~x10406 ~x302 
21.74/21.82	v ~x6922 ~x12079 ~x3636 ~x8844 ~x1938 ~x5290 ~x10410 ~x311 ~x6933 ~x12087 
21.74/21.82	v ~x3637 ~x8565 ~x1939 ~x5291 ~x10421 ~x312 ~x6934 ~x12095 ~x3638 ~x8566 
21.74/21.82	v ~x1940 ~x5293 ~x10422 ~x313 ~x6935 ~x12103 ~x3639 ~x8577 ~x1941 ~x5294 
21.74/21.82	v ~x10426 ~x314 ~x6937 ~x12111 ~x3640 ~x8578 ~x1942 ~x5305 ~x10437 ~x315 
21.74/21.82	v ~x6938 ~x12119 ~x3641 ~x8579 ~x1943 ~x5306 ~x10438 ~x316 ~x6949 ~x12127 
21.74/21.82	v ~x3642 ~x8581 ~x1946 ~x5307 ~x10442 ~x317 ~x6950 ~x12135 ~x3651 ~x8582 
21.74/21.82	v ~x1947 ~x5309 ~x10453 ~x318 ~x6951 ~x12143 ~x3652 ~x8593 ~x1948 ~x5310 
21.74/21.82	v ~x10454 ~x327 ~x6953 ~x12151 ~x3653 ~x8594 ~x1949 ~x5321 ~x10458 ~x328 
21.74/21.82	v ~x6954 ~x12159 ~x3654 ~x8595 ~x1950 ~x5322 ~x10469 ~x329 ~x6965 ~x3655 
21.74/21.82	v ~x8597 ~x1951 ~x5323 ~x10470 ~x330 ~x6966 ~x3656 ~x8598 ~x1954 ~x5325 
21.74/21.82	v ~x10474 ~x331 ~x6967 ~x3657 ~x8609 ~x1955 ~x5326 ~x10485 ~x332 ~x6969 
21.74/21.82	v ~x3658 ~x8610 ~x1956 ~x5337 ~x10486 ~x333 ~x6970 ~x3667 ~x8611 ~x1957 
21.74/21.82	v ~x5338 ~x10490 ~x334 ~x6981 ~x3668 ~x8613 ~x1958 ~x5339 ~x10501 ~x343 
21.74/21.82	v ~x6982 ~x3669 ~x8614 ~x1959 ~x5341 ~x10502 ~x344 ~x6983 ~x3670 ~x8625 
21.74/21.82	v ~x1962 ~x5342 ~x10506 ~x345 ~x6985 ~x3671 ~x8626 ~x1963 ~x5353 ~x10517 
21.74/21.82	v ~x346 ~x6986 ~x3672 ~x8627 ~x1964 ~x5354 ~x10518 ~x347 ~x6997 ~x3673 
21.74/21.82	v ~x8629 ~x1965 ~x5355 ~x10522 ~x348 ~x6998 ~x3674 ~x8630 ~x1966 ~x5357 
21.74/21.82	v ~x10533 ~x349 ~x6999 ~x3683 ~x8641 ~x1967 ~x5358 ~x10534 ~x350 ~x7001 
21.74/21.82	v ~x3684 ~x8642 ~x1970 ~x5365 ~x10538 ~x359 ~x7002 ~x3685 ~x8643 ~x1971 
21.74/21.82	v ~x5366 ~x10549 ~x360 ~x7013 ~x3686 ~x8645 ~x1972 ~x5367 ~x10550 ~x361 
21.74/21.82	v ~x7014 ~x3687 ~x8646 ~x1973 ~x5368 ~x10554 ~x362 ~x7015 ~x3688 ~x8657 
21.74/21.82	v ~x1974 ~x5369 ~x10565 ~x363 ~x7017 ~x3689 ~x8658 ~x1975 ~x5370 ~x10566 
21.74/21.82	v ~x364 ~x7018 ~x3690 ~x8659 ~x1978 ~x5371 ~x10570 ~x365 ~x7029 ~x3699 
21.74/21.82	v ~x8661 ~x1979 ~x5375 ~x10578 ~x366 ~x7030 ~x3700 ~x8662 ~x1980 ~x5376 
21.74/21.82	v ~x10299 ~x375 ~x7031 ~x3701 ~x8673 ~x1981 ~x5377 ~x10300 ~x376 ~x7033 
21.74/21.82	v ~x3702 ~x8674 ~x1982 ~x5378 ~x10311 ~x377 ~x7034 ~x3703 ~x8675 ~x1983 
21.74/21.82	v ~x5379 ~x10312 ~x378 ~x7045 ~x3704 ~x8677 ~x1986 ~x5380 ~x10313 ~x379 
21.74/21.82	v ~x7046 ~x3705 ~x8678 ~x1987 ~x5381 ~x10315 ~x380 ~x7047 ~x3706 ~x8689 
21.74/21.82	v ~x1988 ~x5382 ~x10316 ~x381 ~x7049 ~x3715 ~x8690 ~x1989 ~x5391 ~x10327 
21.74/21.82	v ~x382 ~x7050 ~x3716 ~x8691 ~x1990 ~x5392 ~x10328 ~x391 ~x7061 ~x3717 
21.74/21.82	v ~x8693 ~x1991 ~x5393 ~x10329 ~x392 ~x7062 ~x3718 ~x8694 ~x1994 ~x5394 
21.74/21.82	v ~x10331 ~x393 ~x7063 ~x3719 ~x8705 ~x1995 ~x5395 ~x10332 ~x394 ~x7065 
21.74/21.82	v ~x3720 ~x8706 ~x1996 ~x5396 ~x10343 ~x395 ~x7066 ~x3721 ~x8707 ~x1997 
21.74/21.82	v ~x5397 ~x10344 ~x396 ~x7077 ~x3722 ~x8709 ~x1998 ~x5398 ~x10345 ~x397 
21.74/21.82	v ~x7078 ~x3731 ~x8710 ~x1999 ~x5407 ~x10347 ~x398 ~x7079 ~x3732 ~x8721 
21.74/21.82	v ~x2002 ~x5408 ~x10348 ~x407 ~x7081 ~x3733 ~x8722 ~x2003 ~x5409 ~x10359 
21.74/21.82	v ~x408 ~x7082 ~x3734 ~x8723 ~x2004 ~x5410 ~x10360 ~x409 ~x7093 ~x3735 
21.74/21.82	v ~x8725 ~x2005 ~x5411 ~x10361 ~x410 ~x7094 ~x3736 ~x8726 ~x2006 ~x5412 
21.74/21.82	v ~x10363 ~x411 ~x7095 ~x3737 ~x8737 ~x2007 ~x5413 ~x10364 ~x412 ~x7097 
21.74/21.82	v ~x3738 ~x8738 ~x2010 ~x5414 ~x10375 ~x413 ~x7098 ~x3747 ~x8739 ~x2011 
21.74/21.82	v ~x5423 ~x10376 ~x414 ~x7105 ~x3748 ~x8741 ~x2012 ~x5424 ~x10377 ~x423 
21.74/21.82	v ~x7106 ~x3749 ~x8742 ~x2013 ~x5425 ~x10379 ~x424 ~x7107 ~x3750 ~x8753 
21.74/21.82	v ~x2014 ~x5426 ~x10380 ~x425 ~x7108 ~x3751 ~x8754 ~x2015 ~x5427 ~x10391 
21.74/21.82	v ~x426 ~x7109 ~x3752 ~x8755 ~x2018 ~x5428 ~x10392 ~x427 ~x7110 ~x3753 
21.74/21.82	v ~x8757 ~x2019 ~x5429 ~x10393 ~x428 ~x7111 ~x3754 ~x8758 ~x2020 ~x5430 
21.74/21.82	v ~x10395 ~x429 ~x7115 ~x3763 ~x8769 ~x2021 ~x5439 ~x10396 ~x430 ~x7116 
21.74/21.82	v ~x3764 ~x8770 ~x2022 ~x5440 ~x10407 ~x439 ~x7117 ~x3765 ~x8771 ~x2023 
21.74/21.82	v ~x5441 ~x10408 ~x440 ~x7118 ~x3766 ~x8773 ~x2026 ~x5442 ~x10409 ~x441 
21.74/21.82	v ~x7119 ~x3767 ~x8774 ~x2027 ~x5443 ~x10411 ~x442 ~x7120 ~x3768 ~x8785 
21.74/21.82	v ~x2028 ~x5444 ~x10412 ~x443 ~x7121 ~x3769 ~x8786 ~x1896 ~x5445 ~x10423 
21.74/21.82	v ~x164 ~x7122 ~x3770 ~x8787 ~x1904 ~x5446 ~x10424 ~x175 ~x7131 ~x3779 
21.74/21.82	v ~x8789 ~x1912 ~x5455 ~x10425 ~x176 ~x7132 ~x3780 ~x8790 ~x1920 ~x5456 
21.74/21.82	v ~x10427 ~x180 ~x7133 ~x3781 ~x8801 ~x1928 ~x5457 ~x10428 ~x191 ~x7134 
21.74/21.82	v ~x3782 ~x8802 ~x1936 ~x5458 ~x10439 ~x192 ~x7135 ~x3783 ~x8803 ~x1944 
21.74/21.82	v ~x5459 ~x10440 ~x196 ~x7136 ~x3784 ~x8805 ~x1952 ~x5460 ~x10441 ~x207 
21.74/21.82	v ~x7137 ~x3785 ~x8806 ~x1960 ~x5461 ~x10443 ~x208 ~x7138 ~x3786 ~x8817 
21.74/21.82	v ~x1968 ~x5462 ~x10444 ~x212 ~x7147 ~x3795 ~x8818 ~x1976 ~x5471 ~x10455 
21.74/21.82	v ~x223 ~x7148 ~x3796 ~x8819 ~x1984 ~x5472 ~x10456 ~x224 ~x7149 ~x3797 
21.74/21.82	v ~x8821 ~x1992 ~x5473 ~x10457 ~x228 ~x7150 ~x3798 ~x8822 ~x2000 ~x5474 
21.74/21.82	v ~x10459 ~x239 ~x7151 ~x3799 ~x8833 ~x2008 ~x5475 ~x10460 ~x240 ~x7152 
21.74/21.82	v ~x3800 ~x8834 ~x2016 ~x5476 ~x10471 ~x244 ~x7153 ~x3801 ~x8835 ~x2024 
21.74/21.82	v ~x5477 ~x10472 ~x255 ~x7154 ~x3802 ~x8837 ~x1897 ~x5478 ~x10473 ~x256 
21.74/21.82	v ~x7163 ~x3811 ~x8838 ~x1905 ~x5487 ~x10475 ~x260 ~x7164 ~x3812 ~x8845 
21.74/21.82	v ~x1913 ~x5488 ~x10476 ~x271 ~x7165 ~x3813 ~x8846 ~x1921 ~x5489 ~x10487 
21.74/21.82	v ~x272 ~x7166 ~x3814 ~x8847 ~x1929 ~x5490 ~x10488 ~x276 ~x7167 ~x3815 
21.74/21.82	v ~x8848 ~x1937 ~x5491 ~x10489 ~x287 ~x7168 ~x3816 ~x8849 ~x1945 ~x5492 
21.74/21.82	v ~x10491 ~x288 ~x7169 ~x3817 ~x8850 ~x1953 ~x5493 ~x10492 ~x292 ~x7170 
21.74/21.82	v ~x3818 ~x8851 ~x1961 ~x5494 ~x10503 ~x303 ~x7179 ~x3827 ~x8855 ~x1969 
21.74/21.82	v ~x5503 ~x10504 ~x304 ~x7180 ~x3828 ~x8856 ~x1977 ~x5504 ~x10505 ~x308 
21.74/21.82	v ~x7181 ~x3829 ~x8857 ~x1985 ~x5505 ~x10507 ~x319 ~x7182 ~x3830 ~x8858 
21.74/21.82	v ~x1993 ~x5506 ~x10508 ~x320 ~x7183 ~x3831 ~x8859 ~x2001 ~x5507 ~x10519 
21.74/21.82	v ~x324 ~x7184 ~x3832 ~x8860 ~x2009 ~x5508 ~x10520 ~x335 ~x7185 ~x3833 
21.74/21.82	v ~x8861 ~x2017 ~x5509 ~x10521 ~x336 ~x7186 ~x3834 ~x8862 ~x2025 ~x5510 
21.74/21.82	v ~x10523 ~x340 ~x7195 ~x3843 ~x8871 ~x2045 ~x5519 ~x10524 ~x351 ~x7196 
21.74/21.82	v ~x3844 ~x8872 ~x2048 ~x5520 ~x10535 ~x352 ~x7197 ~x3845 ~x8873 ~x2049 
21.74/21.82	v ~x5521 ~x10536 ~x356 ~x7198 ~x3846 ~x8874 ~x2053 ~x5522 ~x10537 ~x367 
21.74/21.82	v ~x7199 ~x3847 ~x8875 ~x2056 ~x5523 ~x10539 ~x368 ~x7200 ~x3848 ~x8876 
21.74/21.82	v ~x2057 ~x5524 ~x10540 ~x372 ~x7201 ~x3849 ~x8877 ~x2061 ~x5525 ~x10551 
21.74/21.82	v ~x383 ~x7202 ~x3850 ~x8878 ~x2064 ~x5526 ~x10552 ~x384 ~x7211 ~x3859 
21.74/21.82	v ~x8887 ~x2065 ~x5535 ~x10553 ~x388 ~x7212 ~x3860 ~x8888 ~x2069 ~x5536 
21.74/21.82	v ~x10555 ~x399 ~x7213 ~x3861 ~x8889 ~x2072 ~x5537 ~x10556 ~x400 ~x7214 
21.74/21.82	v ~x3862 ~x8890 ~x2073 ~x5538 ~x10567 ~x404 ~x7215 ~x3863 ~x8891 ~x5539 
21.74/21.82	v ~x10568 ~x415 ~x7216 ~x3864 ~x8892 ~x5540 ~x10569 ~x2077 ~x416 ~x7217 
21.74/21.82	v ~x3865 ~x8893 ~x5541 ~x10571 ~x2080 ~x420 ~x7218 ~x3866 ~x8894 ~x5542 
21.74/21.82	v ~x10572 ~x2081 ~x431 ~x7227 ~x3875 ~x8903 ~x5551 ~x10579 ~x2085 ~x432 
21.74/21.82	v ~x7228 ~x3876 ~x8904 ~x5552 ~x10580 ~x2088 ~x436 ~x7229 ~x3877 ~x8905 
21.74/21.82	v ~x5553 ~x10581 ~x2089 ~x444 ~x7230 ~x3878 ~x8906 ~x5554 ~x10582 ~x2093 
21.74/21.82	v ~x165 ~x7231 ~x3879 ~x8907 ~x5555 ~x10583 ~x2096 ~x166 ~x7232 ~x3880 
21.74/21.82	v ~x8908 ~x5556 ~x10584 ~x2097 ~x177 ~x7233 ~x3881 ~x8909 ~x5557 ~x10585 
21.74/21.82	v ~x2101 ~x178 ~x7234 ~x3882 ~x8910 ~x5558 ~x10589 ~x2104 ~x179 ~x7243 
21.74/21.82	v ~x3891 ~x8919 ~x5567 ~x10590 ~x2105 ~x181 ~x7244 ~x3892 ~x8920 ~x5568 
21.74/21.82	v ~x10591 ~x2109 ~x182 ~x7245 ~x3893 ~x8921 ~x5569 ~x10592 ~x2112 ~x193 
21.74/21.82	v ~x7246 ~x3894 ~x8922 ~x5570 ~x10593 ~x2113 ~x194 ~x7247 ~x3895 ~x8923 
21.74/21.82	v ~x5571 ~x10594 ~x2117 ~x195 ~x7248 ~x3896 ~x8924 ~x5572 ~x10595 ~x2120 
21.74/21.82	v ~x197 ~x7249 ~x3897 ~x8925 ~x5573 ~x10596 ~x2121 ~x198 ~x7250 ~x3898 
21.74/21.82	v ~x8926 ~x5574 ~x10605 ~x2125 ~x209 ~x7259 ~x3907 ~x8935 ~x5583 ~x10606 
21.74/21.82	v ~x2128 ~x210 ~x7260 ~x3908 ~x8936 ~x5584 ~x10607 ~x2129 ~x211 ~x7261 
21.74/21.82	v ~x3909 ~x8937 ~x5585 ~x10608 ~x2133 ~x213 ~x7262 ~x3910 ~x8938 ~x5586 
21.74/21.82	v ~x10609 ~x2136 ~x214 ~x7263 ~x3911 ~x8939 ~x5587 ~x10610 ~x2137 ~x225 
21.74/21.82	v ~x7264 ~x3632 ~x8940 ~x5588 ~x10611 ~x2141 ~x226 ~x7265 ~x3643 ~x8941 
21.74/21.82	v ~x5589 ~x10612 ~x2144 ~x227 ~x7266 ~x3644 ~x8942 ~x5590 ~x10621 ~x2145 
21.74/21.82	v ~x229 ~x7275 ~x3648 ~x8951 ~x5599 ~x10622 ~x2149 ~x230 ~x7276 ~x3659 
21.74/21.82	v ~x8952 ~x5600 ~x10623 ~x2152 ~x241 ~x7277 ~x3660 ~x8953 ~x5601 ~x10624 
21.74/21.82	v ~x2153 ~x242 ~x7278 ~x3664 ~x8954 ~x5602 ~x10625 ~x2157 ~x243 ~x7279 
21.74/21.82	v ~x3675 ~x8955 ~x5603 ~x10626 ~x2160 ~x245 ~x7280 ~x3676 ~x8956 ~x5604 
21.74/21.82	v ~x10627 ~x2161 ~x246 ~x7281 ~x3680 ~x8957 ~x5605 ~x10628 ~x2165 ~x257 
21.74/21.82	v ~x7282 ~x3691 ~x8958 ~x5606 ~x10637 ~x2168 ~x258 ~x7291 ~x3692 ~x8967 
21.74/21.82	v ~x5615 ~x10638 ~x2169 ~x259 ~x7292 ~x3696 ~x8968 ~x5616 ~x10639 ~x2173 
21.74/21.82	v ~x261 ~x7293 ~x3707 ~x8969 ~x5617 ~x10640 ~x2176 ~x262 ~x7294 ~x3708 
21.74/21.82	v ~x8970 ~x5618 ~x10641 ~x2177 ~x273 ~x7295 ~x3712 ~x8971 ~x5619 ~x10642 
21.74/21.82	v ~x2181 ~x274 ~x7296 ~x3723 ~x8972 ~x5620 ~x10643 ~x2184 ~x275 ~x7297 
21.74/21.82	v ~x3724 ~x8973 ~x5621 ~x10644 ~x2046 ~x277 ~x7298 ~x3728 ~x8974 ~x5622 
21.74/21.82	v ~x10653 ~x2047 ~x278 ~x7307 ~x3739 ~x8983 ~x5631 ~x10654 ~x2050 ~x289 
21.74/21.82	v ~x7308 ~x3740 ~x8984 ~x5632 ~x10655 ~x2051 ~x290 ~x7309 ~x3744 ~x8985 
21.74/21.82	v ~x5633 ~x10656 ~x2052 ~x291 ~x7310 ~x3755 ~x8986 ~x5634 ~x10657 ~x2054 
21.74/21.82	v ~x293 ~x7311 ~x3756 ~x8987 ~x5635 ~x10658 ~x2055 ~x294 ~x7312 ~x3760 
21.74/21.82	v ~x8988 ~x5636 ~x10659 ~x2058 ~x305 ~x7313 ~x3771 ~x8989 ~x5637 ~x10660 
21.74/21.82	v ~x2059 ~x306 ~x7314 ~x3772 ~x8990 ~x5638 ~x10669 ~x2060 ~x307 ~x7323 
21.74/21.82	v ~x3776 ~x8999 ~x5647 ~x10670 ~x2062 ~x309 ~x7324 ~x3787 ~x9000 ~x5648 
21.74/21.82	v ~x10671 ~x2063 ~x310 ~x7325 ~x3788 ~x9001 ~x5649 ~x10672 ~x2066 ~x321 
21.74/21.82	v ~x7326 ~x3792 ~x9002 ~x5650 ~x10673 ~x2067 ~x322 ~x7327 ~x3803 ~x9003 
21.74/21.82	v ~x5651 ~x10674 ~x2068 ~x323 ~x7328 ~x3804 ~x9004 ~x5372 ~x10675 ~x2070 
21.74/21.82	v ~x325 ~x7329 ~x3808 ~x9005 ~x5383 ~x10676 ~x2071 ~x326 ~x7330 ~x3819 
21.74/21.82	v ~x9006 ~x5384 ~x10685 ~x2074 ~x337 ~x7339 ~x3820 ~x9015 ~x5388 ~x10686 
21.74/21.82	v ~x2075 ~x338 ~x7340 ~x3824 ~x9016 ~x5399 ~x10687 ~x2076 ~x339 ~x7341 
21.74/21.82	v ~x3835 ~x9017 ~x5400 ~x10688 ~x2078 ~x341 ~x7342 ~x3836 ~x9018 ~x5404 
21.74/21.82	v ~x10689 ~x2079 ~x342 ~x7343 ~x3840 ~x9019 ~x5415 ~x10690 ~x2082 ~x353 
21.74/21.82	v ~x7344 ~x3851 ~x9020 ~x5416 ~x10691 ~x2083 ~x354 ~x7345 ~x3852 ~x9021 
21.74/21.82	v ~x5420 ~x10692 ~x2084 ~x355 ~x7346 ~x3856 ~x9022 ~x5431 ~x10701 ~x2086 
21.74/21.82	v ~x357 ~x7355 ~x3867 ~x9031 ~x5432 ~x10702 ~x2087 ~x358 ~x7356 ~x3868 
21.74/21.82	v ~x9032 ~x5436 ~x10703 ~x2090 ~x369 ~x7357 ~x3872 ~x9033 ~x5447 ~x10704 
21.74/21.82	v ~x2091 ~x370 ~x7358 ~x3883 ~x9034 ~x5448 ~x10705 ~x2092 ~x371 ~x7359 
21.74/21.82	v ~x3884 ~x9035 ~x5452 ~x10706 ~x2094 ~x373 ~x7360 ~x3888 ~x9036 ~x5463 
21.74/21.82	v ~x10707 ~x2095 ~x374 ~x7361 ~x3899 ~x9037 ~x5464 ~x10708 ~x2098 ~x385 
21.74/21.82	v ~x7362 ~x3900 ~x9038 ~x5468 ~x10717 ~x2099 ~x386 ~x7371 ~x3904 ~x9047 
21.74/21.82	v ~x5479 ~x10718 ~x2100 ~x387 ~x7372 ~x3912 ~x9048 ~x5480 ~x10719 ~x2102 
21.74/21.82	v ~x389 ~x7373 ~x3633 ~x9049 ~x5484 ~x10720 ~x2103 ~x390 ~x7374 ~x3634 
21.74/21.82	v ~x9050 ~x5495 ~x10721 ~x2106 ~x401 ~x7375 ~x3645 ~x9051 ~x5496 ~x10722 
21.74/21.82	v ~x2107 ~x402 ~x7376 ~x3646 ~x9052 ~x5500 ~x10723 ~x2108 ~x403 ~x7377 
21.74/21.82	v ~x3647 ~x9053 ~x5511 ~x10724 ~x2110 ~x405 ~x7378 ~x3649 ~x9054 ~x5512 
21.74/21.82	v ~x10733 ~x2111 ~x406 ~x7387 ~x3650 ~x9063 ~x5516 ~x10734 ~x2114 ~x417 
21.74/21.82	v ~x7388 ~x3661 ~x9064 ~x5527 ~x10735 ~x2115 ~x418 ~x7389 ~x3662 ~x9065 
21.74/21.82	v ~x5528 ~x10736 ~x2116 ~x419 ~x7390 ~x3663 ~x9066 ~x5532 ~x10737 ~x2118 
21.74/21.82	v ~x421 ~x7391 ~x3665 ~x9067 ~x5543 ~x10738 ~x2119 ~x422 ~x7112 ~x3666 
21.74/21.82	v ~x9068 ~x5544 ~x10739 ~x2122 ~x433 ~x7123 ~x3677 ~x9069 ~x5548 ~x10740 
21.74/21.82	v ~x2123 ~x434 ~x7124 ~x3678 ~x9070 ~x5559 ~x10749 ~x2124 ~x435 ~x7128 
21.74/21.82	v ~x3679 ~x9079 ~x5560 ~x10750 ~x2126 ~x437 ~x7139 ~x3681 ~x9080 ~x5564 
21.74/21.82	v ~x10751 ~x2127 ~x438 ~x7140 ~x3682 ~x9081 ~x5575 ~x10752 ~x2130 ~x445 
21.74/21.82	v ~x7144 ~x3693 ~x9082 ~x5576 ~x10753 ~x2131 ~x446 ~x7155 ~x3694 ~x9083 
21.74/21.82	v ~x5580 ~x10754 ~x2132 ~x447 ~x7156 ~x3695 ~x9084 ~x5591 ~x10755 ~x2134 
21.74/21.82	v ~x448 ~x7160 ~x3697 ~x9085 ~x5592 ~x10756 ~x2135 ~x449 ~x7171 ~x3698 
21.74/21.82	v ~x9086 ~x5596 ~x10765 ~x2138 ~x7172 ~x3709 ~x9095 ~x5607 ~x10766 ~x2139 
21.74/21.82	v ~x7176 ~x450 ~x3710 ~x9096 ~x5608 ~x10767 ~x2140 ~x7187 ~x451 ~x3711 
21.74/21.82	v ~x9097 ~x5612 ~x10768 ~x2142 ~x7188 ~x455 ~x3713 ~x9098 ~x5623 ~x10769 
21.74/21.82	v ~x2143 ~x7192 ~x456 ~x3714 ~x9099 ~x5624 ~x10770 ~x2146 ~x7203 ~x457 
21.74/21.82	v ~x3725 ~x9100 ~x5628 ~x10771 ~x2147 ~x7204 ~x458 ~x3726 ~x9101 ~x5639 
21.74/21.82	v ~x10772 ~x2148 ~x7208 ~x459 ~x3727 ~x9102 ~x5640 ~x10781 ~x2150 ~x7219 
21.74/21.82	v ~x460 ~x3729 ~x9111 ~x5644 ~x10782 ~x2151 ~x7220 ~x461 ~x3730 ~x9112 
21.74/21.82	v ~x5652 ~x10783 ~x2154 ~x7224 ~x462 ~x3741 ~x9113 ~x5373 ~x10784 ~x2155 
21.74/21.82	v ~x7235 ~x471 ~x3742 ~x9114 ~x5374 ~x10785 ~x2156 ~x7236 ~x472 ~x3743 
21.74/21.82	v ~x9115 ~x5385 ~x10786 ~x2158 ~x7240 ~x473 ~x3745 ~x9116 ~x5386 ~x10787 
21.74/21.82	v ~x2159 ~x7251 ~x474 ~x3746 ~x9117 ~x5387 ~x10788 ~x2162 ~x7252 ~x475 
21.74/21.82	v ~x3757 ~x9118 ~x5389 ~x10797 ~x2163 ~x7256 ~x476 ~x3758 ~x9127 ~x5390 
21.74/21.82	v ~x10798 ~x2164 ~x7267 ~x477 ~x3759 ~x9128 ~x5401 ~x10799 ~x2166 ~x7268 
21.74/21.82	v ~x478 ~x3761 ~x9129 ~x5402 ~x10800 ~x2167 ~x7272 ~x487 ~x3762 ~x9130 
21.74/21.82	v ~x5403 ~x10801 ~x2170 ~x7283 ~x488 ~x3773 ~x9131 ~x5405 ~x10802 ~x2171 
21.74/21.82	v ~x7284 ~x489 ~x3774 ~x8852 ~x5406 ~x10803 ~x2172 ~x7288 ~x490 ~x3775 
21.74/21.82	v ~x8863 ~x5417 ~x10804 ~x2174 ~x7299 ~x491 ~x3777 ~x8864 ~x5418 ~x10813 
21.74/21.82	v ~x2175 ~x7300 ~x492 ~x3778 ~x8868 ~x5419 ~x10814 ~x2178 ~x7304 ~x493 
21.74/21.82	v ~x3789 ~x8879 ~x5421 ~x10815 ~x2179 ~x7315 ~x494 ~x3790 ~x8880 ~x5422 
21.74/21.82	v ~x10816 ~x2180 ~x7316 ~x503 ~x3791 ~x8884 ~x5433 ~x10817 ~x2182 ~x7320 
21.74/21.82	v ~x504 ~x3793 ~x8895 ~x5434 ~x10818 ~x2183 ~x7331 ~x505 ~x3794 ~x8896 
21.74/21.82	v ~x5435 ~x10819 ~x2185 ~x7332 ~x506 ~x3805 ~x8900 ~x5437 ~x10820 ~x2186 
21.74/21.82	v ~x7336 ~x507 ~x3806 ~x8911 ~x5438 ~x10829 ~x2187 ~x7347 ~x508 ~x3807 
21.74/21.82	v ~x8912 ~x5449 ~x10830 ~x2188 ~x7348 ~x509 ~x3809 ~x8916 ~x5450 ~x10831 
21.74/21.82	v ~x2189 ~x7352 ~x510 ~x3810 ~x8927 ~x5451 ~x10832 ~x2190 ~x7363 ~x519 
21.74/21.82	v ~x3821 ~x8928 ~x5453 ~x10833 ~x2191 ~x7364 ~x520 ~x3822 ~x8932 ~x5454 
21.74/21.82	v ~x10834 ~x2195 ~x7368 ~x521 ~x3823 ~x8943 ~x5465 ~x10835 ~x2196 ~x7379 
21.74/21.82	v ~x522 ~x3825 ~x8944 ~x5466 ~x10836 ~x2197 ~x7380 ~x523 ~x3826 ~x8948 
21.74/21.83	v ~x5467 ~x10845 ~x2198 ~x7384 ~x524 ~x3837 ~x8959 ~x5469 ~x10846 ~x2199 
21.74/21.83	v ~x7392 ~x525 ~x3838 ~x8960 ~x5470 ~x10847 ~x2200 ~x7113 ~x526 ~x3839 
21.74/21.83	v ~x8964 ~x5481 ~x10848 ~x2201 ~x7114 ~x535 ~x3841 ~x8975 ~x5482 ~x10849 
21.74/21.83	v ~x2202 ~x7125 ~x536 ~x3842 ~x8976 ~x5483 ~x10850 ~x2211 ~x7126 ~x537 
21.74/21.83	v ~x3853 ~x8980 ~x5485 ~x10851 ~x2212 ~x7127 ~x538 ~x3854 ~x8991 ~x5486 
21.74/21.83	v ~x10852 ~x2213 ~x7129 ~x539 ~x3855 ~x8992 ~x5497 ~x10861 ~x2214 ~x7130 
21.74/21.83	v ~x540 ~x3857 ~x8996 ~x5498 ~x10862 ~x2215 ~x7141 ~x541 ~x3858 ~x9007 
21.74/21.83	v ~x5499 ~x10863 ~x2216 ~x7142 ~x542 ~x3869 ~x9008 ~x5501 ~x10864 ~x2217 
21.74/21.83	v ~x7143 ~x551 ~x3870 ~x9012 ~x5502 ~x10865 ~x2218 ~x7145 ~x552 ~x3871 
21.74/21.83	v ~x9023 ~x5513 ~x10586 ~x2227 ~x7146 ~x553 ~x3873 ~x9024 ~x5514 ~x10597 
21.74/21.83	v ~x2228 ~x7157 ~x554 ~x3874 ~x9028 ~x5515 ~x10598 ~x2229 ~x7158 ~x555 
21.74/21.83	v ~x3885 ~x9039 ~x5517 ~x10602 ~x2230 ~x7159 ~x556 ~x3886 ~x9040 ~x5518 
21.74/21.83	v ~x10613 ~x2231 ~x7161 ~x557 ~x3887 ~x9044 ~x5529 ~x10614 ~x2232 ~x7162 
21.74/21.83	v ~x558 ~x3889 ~x9055 ~x5530 ~x10618 ~x2233 ~x7173 ~x567 ~x3890 ~x9056 
21.74/21.83	v ~x5531 ~x10629 ~x2234 ~x7174 ~x568 ~x3901 ~x9060 ~x5533 ~x10630 ~x2243 
21.74/21.83	v ~x7175 ~x569 ~x3902 ~x9071 ~x5534 ~x10634 ~x2244 ~x7177 ~x570 ~x3903 
21.74/21.83	v ~x9072 ~x5545 ~x10645 ~x2245 ~x7178 ~x571 ~x3905 ~x9076 ~x5546 ~x10646 
21.74/21.83	v ~x2246 ~x7189 ~x572 ~x3906 ~x9087 ~x5547 ~x10650 ~x2247 ~x7190 ~x573 
21.74/21.83	v ~x3913 ~x9088 ~x5549 ~x10661 ~x2248 ~x7191 ~x574 ~x3914 ~x9092 ~x5550 
21.74/21.83	v ~x10662 ~x2249 ~x7193 ~x583 ~x3915 ~x9103 ~x5561 ~x10666 ~x2250 ~x7194 
21.74/21.83	v ~x584 ~x3916 ~x9104 ~x5562 ~x10677 ~x2259 ~x7205 ~x585 ~x3917 ~x9108 
21.74/21.83	v ~x5563 ~x10678 ~x2260 ~x7206 ~x586 ~x3918 ~x9119 ~x5565 ~x10682 ~x2261 
21.74/21.83	v ~x7207 ~x587 ~x3919 ~x9120 ~x5566 ~x10693 ~x2262 ~x7209 ~x588 ~x3920 
21.74/21.83	v ~x9124 ~x5577 ~x10694 ~x2263 ~x7210 ~x589 ~x3921 ~x9132 ~x5578 ~x10698 
21.74/21.83	v ~x2264 ~x7221 ~x590 ~x3922 ~x8853 ~x5579 ~x10709 ~x2265 ~x7222 ~x599 
21.74/21.83	v ~x3923 ~x8854 ~x5581 ~x10710 ~x2266 ~x7223 ~x600 ~x3926 ~x8865 ~x5582 
21.74/21.83	v ~x10714 ~x2275 ~x7225 ~x601 ~x3927 ~x8866 ~x5593 ~x10725 ~x2276 ~x7226 
21.74/21.83	v ~x602 ~x3928 ~x8867 ~x5594 ~x10726 ~x2277 ~x7237 ~x603 ~x3929 ~x8869 
21.74/21.83	v ~x5595 ~x10730 ~x2278 ~x7238 ~x604 ~x3930 ~x8870 ~x5597 ~x10741 ~x2279 
21.74/21.83	v ~x7239 ~x605 ~x3931 ~x8881 ~x5598 ~x10742 ~x2280 ~x7241 ~x606 ~x3934 
21.74/21.83	v ~x8882 ~x5609 ~x10746 ~x2281 ~x7242 ~x615 ~x3935 ~x8883 ~x5610 ~x10757 
21.74/21.83	v ~x2282 ~x7253 ~x616 ~x3936 ~x8885 ~x5611 ~x10758 ~x2291 ~x7254 ~x617 
21.74/21.83	v ~x3937 ~x8886 ~x5613 ~x10762 ~x2292 ~x7255 ~x618 ~x3938 ~x8897 ~x5614 
21.74/21.83	v ~x10773 ~x2293 ~x7257 ~x619 ~x3939 ~x8898 ~x5625 ~x10774 ~x2294 ~x7258 
21.74/21.83	v ~x620 ~x3942 ~x8899 ~x5626 ~x10778 ~x2295 ~x7269 ~x621 ~x3943 ~x8901 
21.74/21.83	v ~x5627 ~x10789 ~x2296 ~x7270 ~x622 ~x3944 ~x8902 ~x5629 ~x10790 ~x2297 
21.74/21.83	v ~x7271 ~x631 ~x3945 ~x8913 ~x5630 ~x10794 ~x2298 ~x7273 ~x632 ~x3946 
21.74/21.83	v ~x8914 ~x5641 ~x10805 ~x2307 ~x7274 ~x633 ~x3947 ~x8915 ~x5642 ~x10806 
21.74/21.83	v ~x2308 ~x7285 ~x634 ~x3950 ~x8917 ~x5643 ~x10810 ~x2309 ~x7286 ~x635 
21.74/21.83	v ~x3951 ~x8918 ~x5645 ~x10821 ~x2310 ~x7287 ~x636 ~x3952 ~x8929 ~x5646 
21.74/21.83	v ~x10822 ~x2311 ~x7289 ~x637 ~x3953 ~x8930 ~x5653 ~x10826 ~x2312 ~x7290 
21.74/21.83	v ~x638 ~x3954 ~x8931 ~x5654 ~x10837 ~x2313 ~x7301 ~x647 ~x3955 ~x8933 
21.74/21.83	v ~x5655 ~x10838 ~x2314 ~x7302 ~x648 ~x3958 ~x8934 ~x5656 ~x10842 ~x2323 
21.74/21.83	v ~x7303 ~x649 ~x3959 ~x8945 ~x5657 ~x10853 ~x2324 ~x7305 ~x650 ~x3960 
21.74/21.83	v ~x8946 ~x5658 ~x10854 ~x2325 ~x7306 ~x651 ~x3961 ~x8947 ~x5659 ~x10858 
21.74/21.83	v ~x2326 ~x7317 ~x652 ~x3962 ~x8949 ~x5663 ~x10866 ~x2327 ~x7318 ~x653 
21.74/21.83	v ~x3963 ~x8950 ~x5664 ~x10587 ~x2328 ~x7319 ~x654 ~x3966 ~x8961 ~x5665 
21.74/21.83	v ~x10588 ~x2329 ~x7321 ~x663 ~x3967 ~x8962 ~x5666 ~x10599 ~x2330 ~x7322 
21.74/21.83	v ~x664 ~x3968 ~x8963 ~x5667 ~x10600 ~x2339 ~x7333 ~x665 ~x3969 ~x8965 
21.74/21.83	v ~x5668 ~x10601 ~x2340 ~x7334 ~x666 ~x3970 ~x8966 ~x5669 ~x10603 ~x2341 
21.74/21.83	v ~x7335 ~x667 ~x3971 ~x8977 ~x5670 ~x10604 ~x2342 ~x7337 ~x668 ~x3974 
21.74/21.83	v ~x8978 ~x5679 ~x10615 ~x2343 ~x7338 ~x669 ~x3975 ~x8979 ~x5680 ~x10616 
21.74/21.83	v ~x2344 ~x7349 ~x670 ~x3976 ~x8981 ~x5681 ~x10617 ~x2345 ~x7350 ~x679 
21.74/21.83	v ~x3977 ~x8982 ~x5682 ~x10619 ~x2346 ~x7351 ~x680 ~x3978 ~x8993 ~x5683 
21.74/21.83	v ~x10620 ~x2355 ~x7353 ~x681 ~x3979 ~x8994 ~x5684 ~x10631 ~x2356 ~x7354 
21.74/21.83	v ~x682 ~x3982 ~x8995 ~x5685 ~x10632 ~x2357 ~x7365 ~x683 ~x3983 ~x8997 
21.74/21.83	v ~x5686 ~x10633 ~x2358 ~x7366 ~x684 ~x3984 ~x8998 ~x5695 ~x10635 ~x2359 
21.74/21.83	v ~x7367 ~x685 ~x3985 ~x9009 ~x5696 ~x10636 ~x2360 ~x7369 ~x686 ~x3986 
21.74/21.83	v ~x9010 ~x5697 ~x10647 ~x2361 ~x7370 ~x695 ~x3987 ~x9011 ~x5698 ~x10648 
21.74/21.83	v ~x2362 ~x7381 ~x696 ~x3990 ~x9013 ~x5699 ~x10649 ~x2371 ~x7382 ~x697 
21.74/21.83	v ~x3991 ~x9014 ~x5700 ~x10651 ~x2372 ~x7383 ~x698 ~x3992 ~x9025 ~x5701 
21.74/21.83	v ~x10652 ~x2373 ~x7385 ~x699 ~x3993 ~x9026 ~x5702 ~x10663 ~x2374 ~x7386 
21.74/21.83	v ~x700 ~x3994 ~x9027 ~x5711 ~x10664 ~x2375 ~x7393 ~x701 ~x3995 ~x9029 
21.74/21.83	v ~x5712 ~x10665 ~x2376 ~x7394 ~x702 ~x3998 ~x9030 ~x5713 ~x10667 ~x2377 
21.74/21.83	v ~x7395 ~x711 ~x3999 ~x9041 ~x5714 ~x10668 ~x2378 ~x7396 ~x712 ~x4000 
21.74/21.83	v ~x9042 ~x5715 ~x10679 ~x2387 ~x7397 ~x713 ~x4001 ~x9043 ~x5716 ~x10680 
21.74/21.83	v ~x2388 ~x7398 ~x714 ~x4002 ~x9045 ~x5717 ~x10681 ~x2389 ~x7399 ~x715 
21.74/21.83	v ~x4003 ~x9046 ~x5718 ~x10683 ~x2390 ~x7403 ~x716 ~x4006 ~x9057 ~x5727 
21.74/21.83	v ~x10684 ~x2391 ~x7404 ~x717 ~x4007 ~x9058 ~x5728 ~x10695 ~x2392 ~x7405 
21.74/21.83	v ~x718 ~x4008 ~x9059 ~x5729 ~x10696 ~x2393 ~x7406 ~x727 ~x4009 ~x9061 
21.74/21.83	v ~x5730 ~x10697 ~x2394 ~x7407 ~x728 ~x4010 ~x9062 ~x5731 ~x10699 ~x2403 
21.74/21.83	v ~x7408 ~x729 ~x4011 ~x9073 ~x5732 ~x10700 ~x2404 ~x7409 ~x730 ~x4014 
21.74/21.83	v ~x9074 ~x5733 ~x10711 ~x2405 ~x7410 ~x731 ~x4015 ~x9075 ~x5734 ~x10712 
21.74/21.83	v ~x2406 ~x7419 ~x452 ~x4016 ~x9077 ~x5743 ~x10713 ~x2407 ~x7420 ~x463 
21.74/21.83	v ~x4017 ~x9078 ~x5744 ~x10715 ~x2408 ~x7421 ~x464 ~x4018 ~x9089 ~x5745 
21.74/21.83	v ~x10716 ~x2409 ~x7422 ~x468 ~x4019 ~x9090 ~x5746 ~x10727 ~x2410 ~x7423 
21.74/21.83	v ~x479 ~x4022 ~x9091 ~x5747 ~x10728 ~x2419 ~x7424 ~x480 ~x4023 ~x9093 
21.74/21.83	v ~x5748 ~x10729 ~x2420 ~x7425 ~x484 ~x4024 ~x9094 ~x5749 ~x10731 ~x2421 
21.74/21.83	v ~x7426 ~x495 ~x4025 ~x9105 ~x5750 ~x10732 ~x2422 ~x7435 ~x496 ~x4026 
21.74/21.83	v ~x9106 ~x5759 ~x10743 ~x2423 ~x7436 ~x500 ~x4027 ~x9107 ~x5760 ~x10744 
21.74/21.83	v ~x2424 ~x7437 ~x511 ~x4030 ~x9109 ~x5761 ~x10745 ~x2425 ~x7438 ~x512 
21.74/21.83	v ~x4031 ~x9110 ~x5762 ~x10747 ~x2426 ~x7439 ~x516 ~x4032 ~x9121 ~x5763 
21.74/21.83	v ~x10748 ~x2435 ~x7440 ~x527 ~x4033 ~x9122 ~x5764 ~x10759 ~x2436 ~x7441 
21.74/21.83	v ~x528 ~x4034 ~x9123 ~x5765 ~x10760 ~x2437 ~x7442 ~x532 ~x4035 ~x9125 
21.74/21.83	v ~x5766 ~x10761 ~x2438 ~x7451 ~x543 ~x4038 ~x9126 ~x5775 ~x10763 ~x2439 
21.74/21.83	v ~x7452 ~x544 ~x4039 ~x9133 ~x5776 ~x10764 ~x2440 ~x7453 ~x548 ~x4040 
21.74/21.83	v ~x9134 ~x5777 ~x10775 ~x2441 ~x7454 ~x559 ~x4041 ~x9135 ~x5778 ~x10776 
21.74/21.83	v ~x2442 ~x7455 ~x560 ~x4042 ~x9136 ~x5779 ~x10777 ~x2451 ~x7456 ~x564 
21.74/21.83	v ~x4043 ~x9137 ~x5780 ~x10779 ~x2452 ~x7457 ~x575 ~x4046 ~x9138 ~x5781 
21.74/21.83	v ~x10780 ~x2453 ~x7458 ~x576 ~x4047 ~x9139 ~x5782 ~x10791 ~x2454 ~x7467 
21.74/21.83	v ~x580 ~x4048 ~x9143 ~x5791 ~x10792 ~x2455 ~x7468 ~x591 ~x4049 ~x9144 
21.74/21.83	v ~x5792 ~x10793 ~x2456 ~x7469 ~x592 ~x4050 ~x9145 ~x5793 ~x10795 ~x2457 
21.74/21.83	v ~x7470 ~x596 ~x4051 ~x9146 ~x5794 ~x10796 ~x2458 ~x7471 ~x607 ~x4054 
21.74/21.83	v ~x9147 ~x5795 ~x10807 ~x2467 ~x7472 ~x608 ~x4055 ~x9148 ~x5796 ~x10808 
21.74/21.83	v ~x2468 ~x7473 ~x612 ~x4056 ~x9149 ~x5797 ~x10809 ~x2469 ~x7474 ~x623 
21.74/21.83	v ~x3924 ~x9150 ~x5798 ~x10811 ~x2470 ~x7483 ~x624 ~x3932 ~x9159 ~x5807 
21.74/21.83	v ~x10812 ~x2471 ~x7484 ~x628 ~x3940 ~x9160 ~x5808 ~x10823 ~x2192 ~x7485 
21.74/21.83	v ~x639 ~x3948 ~x9161 ~x5809 ~x10824 ~x2203 ~x7486 ~x640 ~x3956 ~x9162 
21.74/21.83	v ~x5810 ~x10825 ~x2204 ~x7487 ~x644 ~x3964 ~x9163 ~x5811 ~x10827 ~x2208 
21.74/21.83	v ~x7488 ~x655 ~x3972 ~x9164 ~x5812 ~x10828 ~x2219 ~x7489 ~x656 ~x3980 
21.74/21.83	v ~x9165 ~x5813 ~x10839 ~x2220 ~x7490 ~x660 ~x3988 ~x9166 ~x5814 ~x10840 
21.74/21.83	v ~x2224 ~x7499 ~x671 ~x3996 ~x9175 ~x5823 ~x10841 ~x2235 ~x7500 ~x672 
21.74/21.83	v ~x4004 ~x9176 ~x5824 ~x10843 ~x2236 ~x7501 ~x676 ~x4012 ~x9177 ~x5825 
21.74/21.83	v ~x10844 ~x2240 ~x7502 ~x687 ~x4020 ~x9178 ~x5826 ~x10855 ~x2251 ~x7503 
21.74/21.83	v ~x688 ~x4028 ~x9179 ~x5827 ~x10856 ~x2252 ~x7504 ~x692 ~x4036 ~x9180 
21.74/21.83	v ~x5828 ~x10857 ~x2256 ~x7505 ~x703 ~x4044 ~x9181 ~x5829 ~x10859 ~x2267 
21.74/21.83	v ~x7506 ~x704 ~x4052 ~x9182 ~x5830 ~x10860 ~x2268 ~x7515 ~x708 ~x3925 
21.74/21.83	v ~x9191 ~x5839 ~x10867 ~x2272 ~x7516 ~x719 ~x3933 ~x9192 ~x5840 ~x10868 
21.74/21.83	v ~x2283 ~x7517 ~x720 ~x3941 ~x9193 ~x5841 ~x10869 ~x2284 ~x7518 ~x724 
21.74/21.83	v ~x3949 ~x9194 ~x5842 ~x10870 ~x2288 ~x7519 ~x732 ~x3957 ~x9195 ~x5843 
21.74/21.83	v ~x10871 ~x2299 ~x7520 ~x453 ~x3965 ~x9196 ~x5844 ~x10872 ~x2300 ~x7521 
21.74/21.83	v ~x454 ~x3973 ~x9197 ~x5845 ~x10873 ~x2304 ~x7522 ~x465 ~x3981 ~x9198 
21.74/21.83	v ~x5846 ~x10877 ~x2315 ~x7531 ~x466 ~x3989 ~x9207 ~x5855 ~x10878 ~x2316 
21.74/21.83	v ~x7532 ~x467 ~x3997 ~x9208 ~x5856 ~x10879 ~x2320 ~x7533 ~x469 ~x4005 
21.74/21.83	v ~x9209 ~x5857 ~x10880 ~x2331 ~x7534 ~x470 ~x4013 ~x9210 ~x5858 ~x10881 
21.74/21.83	v ~x2332 ~x7535 ~x481 ~x4021 ~x9211 ~x5859 ~x10882 ~x2336 ~x7536 ~x482 
21.74/21.83	v ~x4029 ~x9212 ~x5860 ~x10883 ~x2347 ~x7537 ~x483 ~x4037 ~x9213 ~x5861 
21.74/21.83	v ~x10884 ~x2348 ~x7538 ~x485 ~x4045 ~x9214 ~x5862 ~x10893 ~x2352 ~x7547 
21.74/21.83	v ~x486 ~x4053 ~x9223 ~x5871 ~x10894 ~x2363 ~x7548 ~x497 ~x4073 ~x9224 
21.74/21.83	v ~x5872 ~x10895 ~x2364 ~x7549 ~x498 ~x4076 ~x9225 ~x5873 ~x10896 ~x2368 
21.74/21.83	v ~x7550 ~x499 ~x4077 ~x9226 ~x5874 ~x10897 ~x2379 ~x7551 ~x501 ~x4081 
21.74/21.83	v ~x9227 ~x5875 ~x10898 ~x2380 ~x7552 ~x502 ~x4084 ~x9228 ~x5876 ~x10899 
21.74/21.83	v ~x2384 ~x7553 ~x513 ~x4085 ~x9229 ~x5877 ~x10900 ~x2395 ~x7554 ~x514 
21.74/21.83	v ~x4089 ~x9230 ~x5878 ~x10909 ~x2396 ~x7563 ~x515 ~x4092 ~x9239 ~x5887 
21.74/21.83	v ~x10910 ~x2400 ~x7564 ~x517 ~x4093 ~x9240 ~x5888 ~x10911 ~x2411 ~x7565 
21.74/21.83	v ~x518 ~x4097 ~x9241 ~x5889 ~x10912 ~x2412 ~x7566 ~x529 ~x4100 ~x9242 
21.74/21.83	v ~x5890 ~x10913 ~x2416 ~x7567 ~x530 ~x4101 ~x9243 ~x5891 ~x10914 ~x2427 
21.74/21.83	v ~x7568 ~x531 ~x4105 ~x9244 ~x5892 ~x10915 ~x2428 ~x7569 ~x533 ~x4108 
21.74/21.83	v ~x9245 ~x5893 ~x10916 ~x2432 ~x7570 ~x534 ~x4109 ~x9246 ~x5894 ~x10925 
21.74/21.83	v ~x2443 ~x7579 ~x545 ~x4113 ~x9255 ~x5903 ~x10926 ~x2444 ~x7580 ~x546 
21.74/21.83	v ~x4116 ~x9256 ~x5904 ~x10927 ~x2448 ~x7581 ~x547 ~x4117 ~x9257 ~x5905 
21.74/21.83	v ~x10928 ~x2459 ~x7582 ~x549 ~x4121 ~x9258 ~x5906 ~x10929 ~x2460 ~x7583 
21.74/21.83	v ~x550 ~x4124 ~x9259 ~x5907 ~x10930 ~x2464 ~x7584 ~x561 ~x4125 ~x9260 
21.74/21.83	v ~x5908 ~x10931 ~x2472 ~x7585 ~x562 ~x4129 ~x9261 ~x5909 ~x10932 ~x2193 
21.74/21.83	v ~x7586 ~x563 ~x4132 ~x9262 ~x5910 ~x10941 ~x2194 ~x7595 ~x565 ~x4133 
21.74/21.83	v ~x9271 ~x5919 ~x10942 ~x2205 ~x7596 ~x566 ~x4137 ~x9272 ~x5920 ~x10943 
21.74/21.83	v ~x2206 ~x7597 ~x577 ~x4140 ~x9273 ~x5921 ~x10944 ~x2207 ~x7598 ~x578 
21.74/21.83	v ~x4141 ~x9274 ~x5922 ~x10945 ~x2209 ~x7599 ~x579 ~x4145 ~x9275 ~x5923 
21.74/21.83	v ~x10946 ~x2210 ~x7600 ~x581 ~x4148 ~x9276 ~x5924 ~x10947 ~x2221 ~x7601 
21.74/21.83	v ~x582 ~x4149 ~x9277 ~x5925 ~x10948 ~x2222 ~x7602 ~x593 ~x4153 ~x9278 
21.74/21.83	v ~x5926 ~x10957 ~x2223 ~x7611 ~x594 ~x4156 ~x9287 ~x5935 ~x10958 ~x2225 
21.74/21.83	v ~x7612 ~x595 ~x4157 ~x9288 ~x5936 ~x10959 ~x2226 ~x7613 ~x597 ~x4161 
21.74/21.83	v ~x9289 ~x5937 ~x10960 ~x2237 ~x7614 ~x598 ~x4164 ~x9290 ~x5938 ~x10961 
21.74/21.83	v ~x2238 ~x7615 ~x609 ~x4165 ~x9291 ~x5939 ~x10962 ~x2239 ~x7616 ~x610 
21.74/21.83	v ~x4169 ~x9292 ~x5660 ~x10963 ~x2241 ~x7617 ~x611 ~x4172 ~x9293 ~x5671 
21.74/21.83	v ~x10964 ~x2242 ~x7618 ~x613 ~x4173 ~x9294 ~x5672 ~x10973 ~x2253 ~x7627 
21.74/21.83	v ~x614 ~x4177 ~x9303 ~x5676 ~x10974 ~x2254 ~x7628 ~x625 ~x4180 ~x9304 
21.74/21.83	v ~x5687 ~x10975 ~x2255 ~x7629 ~x626 ~x4181 ~x9305 ~x5688 ~x10976 ~x2257 
21.74/21.83	v ~x7630 ~x627 ~x4185 ~x9306 ~x5692 ~x10977 ~x2258 ~x7631 ~x629 ~x4188 
21.74/21.83	v ~x9307 ~x5703 ~x10978 ~x2269 ~x7632 ~x630 ~x4189 ~x9308 ~x5704 ~x10979 
21.74/21.83	v ~x2270 ~x7633 ~x641 ~x4193 ~x9309 ~x5708 ~x10980 ~x2271 ~x7634 ~x642 
21.74/21.83	v ~x4196 ~x9310 ~x5719 ~x10989 ~x2273 ~x7643 ~x643 ~x4197 ~x9319 ~x5720 
21.74/21.83	v ~x10990 ~x2274 ~x7644 ~x645 ~x4201 ~x9320 ~x5724 ~x10991 ~x2285 ~x7645 
21.74/21.83	v ~x646 ~x4204 ~x9321 ~x5735 ~x10992 ~x2286 ~x7646 ~x657 ~x4205 ~x9322 
21.74/21.83	v ~x5736 ~x10993 ~x2287 ~x7647 ~x658 ~x4209 ~x9323 ~x5740 ~x10994 ~x2289 
21.74/21.83	v ~x7648 ~x659 ~x4212 ~x9324 ~x5751 ~x10995 ~x2290 ~x7649 ~x661 ~x4074 
21.74/21.83	v ~x9325 ~x5752 ~x10996 ~x2301 ~x7650 ~x662 ~x4075 ~x9326 ~x5756 ~x11005 
21.74/21.83	v ~x2302 ~x7659 ~x673 ~x4078 ~x9335 ~x5767 ~x11006 ~x2303 ~x7660 ~x674 
21.74/21.83	v ~x4079 ~x9336 ~x5768 ~x11007 ~x2305 ~x7661 ~x675 ~x4080 ~x9337 ~x5772 
21.74/21.83	v ~x11008 ~x2306 ~x7662 ~x677 ~x4082 ~x9338 ~x5783 ~x11009 ~x2317 ~x7663 
21.74/21.83	v ~x678 ~x4083 ~x9339 ~x5784 ~x11010 ~x2318 ~x7664 ~x689 ~x4086 ~x9340 
21.74/21.83	v ~x5788 ~x11011 ~x2319 ~x7665 ~x690 ~x4087 ~x9341 ~x5799 ~x11012 ~x2321 
21.74/21.83	v ~x7666 ~x691 ~x4088 ~x9342 ~x5800 ~x11021 ~x2322 ~x7675 ~x693 ~x4090 
21.74/21.83	v ~x9351 ~x5804 ~x11022 ~x2333 ~x7676 ~x694 ~x4091 ~x9352 ~x5815 ~x11023 
21.74/21.83	v ~x2334 ~x7677 ~x705 ~x4094 ~x9353 ~x5816 ~x11024 ~x2335 ~x7678 ~x706 
21.74/21.83	v ~x4095 ~x9354 ~x5820 ~x11025 ~x2337 ~x7679 ~x707 ~x4096 ~x9355 ~x5831 
21.74/21.83	v ~x11026 ~x2338 ~x7400 ~x709 ~x4098 ~x9356 ~x5832 ~x11027 ~x2349 ~x7411 
21.74/21.83	v ~x710 ~x4099 ~x9357 ~x5836 ~x11028 ~x2350 ~x7412 ~x721 ~x4102 ~x9358 
21.74/21.83	v ~x5847 ~x11037 ~x2351 ~x7416 ~x722 ~x4103 ~x9367 ~x5848 ~x11038 ~x2353 
21.74/21.83	v ~x7427 ~x723 ~x4104 ~x9368 ~x5852 ~x11039 ~x2354 ~x7428 ~x725 ~x4106 
21.74/21.83	v ~x9369 ~x5863 ~x11040 ~x2365 ~x7432 ~x726 ~x4107 ~x9370 ~x5864 ~x11041 
21.74/21.83	v ~x2366 ~x7443 ~x733 ~x4110 ~x9371 ~x5868 ~x11042 ~x2367 ~x7444 ~x734 
21.74/21.83	v ~x4111 ~x9372 ~x5879 ~x11043 ~x2369 ~x7448 ~x735 ~x4112 ~x9373 ~x5880 
21.74/21.83	v ~x11044 ~x2370 ~x7459 ~x736 ~x4114 ~x9374 ~x5884 ~x11053 ~x2381 ~x7460 
21.74/21.83	v ~x737 ~x4115 ~x9383 ~x5895 ~x11054 ~x2382 ~x7464 ~x738 ~x4118 ~x9384 
21.74/21.83	v ~x5896 ~x11055 ~x2383 ~x7475 ~x739 ~x4119 ~x9385 ~x5900 ~x11056 ~x2385 
21.74/21.83	v ~x7476 ~x743 ~x4120 ~x9386 ~x5911 ~x11057 ~x2386 ~x7480 ~x744 ~x4122 
21.74/21.83	v ~x9387 ~x5912 ~x11058 ~x2397 ~x7491 ~x745 ~x4123 ~x9388 ~x5916 ~x11059 
21.74/21.83	v ~x2398 ~x7492 ~x746 ~x4126 ~x9389 ~x5927 ~x11060 ~x2399 ~x7496 ~x747 
21.74/21.83	v ~x4127 ~x9390 ~x5928 ~x11069 ~x2401 ~x7507 ~x748 ~x4128 ~x9399 ~x5932 
21.74/21.83	v ~x11070 ~x2402 ~x7508 ~x749 ~x4130 ~x9400 ~x5940 ~x11071 ~x2413 ~x7512 
21.74/21.83	v ~x750 ~x4131 ~x9401 ~x5661 ~x11072 ~x2414 ~x7523 ~x759 ~x4134 ~x9402 
21.74/21.83	v ~x5662 ~x11073 ~x2415 ~x7524 ~x760 ~x4135 ~x9403 ~x5673 ~x11074 ~x2417 
21.74/21.83	v ~x7528 ~x761 ~x4136 ~x9404 ~x5674 ~x11075 ~x2418 ~x7539 ~x762 ~x4138 
21.74/21.83	v ~x9405 ~x5675 ~x11076 ~x2429 ~x7540 ~x763 ~x4139 ~x9406 ~x5677 ~x11085 
21.74/21.83	v ~x2430 ~x7544 ~x764 ~x4142 ~x9415 ~x5678 ~x11086 ~x2431 ~x7555 ~x765 
21.74/21.83	v ~x4143 ~x9416 ~x5689 ~x11087 ~x2433 ~x7556 ~x766 ~x4144 ~x9417 ~x5690 
21.74/21.83	v ~x11088 ~x2434 ~x7560 ~x775 ~x4146 ~x9418 ~x5691 ~x11089 ~x2445 ~x7571 
21.74/21.83	v ~x776 ~x4147 ~x9419 ~x5693 ~x11090 ~x2446 ~x7572 ~x777 ~x4150 ~x9140 
21.74/21.83	v ~x5694 ~x11091 ~x2447 ~x7576 ~x778 ~x4151 ~x9151 ~x5705 ~x11092 ~x2449 
21.74/21.83	v ~x7587 ~x779 ~x4152 ~x9152 ~x5706 ~x11101 ~x2450 ~x7588 ~x780 ~x4154 
21.74/21.83	v ~x9156 ~x5707 ~x11102 ~x2461 ~x7592 ~x781 ~x4155 ~x9167 ~x5709 ~x11103 
21.74/21.83	v ~x2462 ~x7603 ~x782 ~x4158 ~x9168 ~x5710 ~x11104 ~x2463 ~x7604 ~x791 
21.74/21.83	v ~x4159 ~x9172 ~x5721 ~x11105 ~x2465 ~x7608 ~x792 ~x4160 ~x9183 ~x5722 
21.74/21.83	v ~x11106 ~x2466 ~x7619 ~x793 ~x4162 ~x9184 ~x5723 ~x11107 ~x2473 ~x7620 
21.74/21.83	v ~x794 ~x4163 ~x9188 ~x5725 ~x11108 ~x2474 ~x7624 ~x795 ~x4166 ~x9199 
21.74/21.83	v ~x5726 ~x11117 ~x2475 ~x7635 ~x796 ~x4167 ~x9200 ~x5737 ~x11118 ~x2476 
21.74/21.83	v ~x7636 ~x797 ~x4168 ~x9204 ~x5738 ~x11119 ~x2477 ~x7640 ~x798 ~x4170 
21.74/21.83	v ~x9215 ~x5739 ~x11120 ~x2478 ~x7651 ~x807 ~x4171 ~x9216 ~x5741 ~x11121 
21.74/21.83	v ~x2479 ~x7652 ~x808 ~x4174 ~x9220 ~x5742 ~x11122 ~x2483 ~x7656 ~x809 
21.74/21.83	v ~x4175 ~x9231 ~x5753 ~x11123 ~x2484 ~x7667 ~x810 ~x4176 ~x9232 ~x5754 
21.74/21.83	v ~x11124 ~x2485 ~x7668 ~x811 ~x9236 ~x5755 ~x11133 ~x2486 ~x7672 ~x812 
21.74/21.83	v ~x4178 ~x9247 ~x5757 ~x11134 ~x2487 ~x7680 ~x813 ~x4179 ~x9248 ~x5758 
21.74/21.83	v ~x11135 ~x2488 ~x7401 ~x814 ~x4182 ~x9252 ~x5769 ~x11136 ~x2489 ~x7402 
21.74/21.83	v ~x823 ~x4183 ~x9263 ~x5770 ~x11137 ~x2490 ~x7413 ~x824 ~x4184 ~x9264 
21.74/21.83	v ~x5771 ~x11138 ~x2499 ~x7414 ~x825 ~x4186 ~x9268 ~x5773 ~x11139 ~x2500 
21.74/21.83	v ~x7415 ~x826 ~x4187 ~x9279 ~x5774 ~x11140 ~x2501 ~x7417 ~x827 ~x4190 
21.74/21.83	v ~x9280 ~x5785 ~x11149 ~x2502 ~x7418 ~x828 ~x4191 ~x9284 ~x5786 ~x11150 
21.74/21.83	v ~x2503 ~x7429 ~x829 ~x4192 ~x9295 ~x5787 ~x11151 ~x2504 ~x7430 ~x830 
21.74/21.83	v ~x4194 ~x9296 ~x5789 ~x11152 ~x2505 ~x7431 ~x839 ~x4195 ~x9300 ~x5790 
21.74/21.83	v ~x11153 ~x2506 ~x7433 ~x840 ~x4198 ~x9311 ~x5801 ~x10874 ~x2515 ~x7434 
21.74/21.83	v ~x841 ~x4199 ~x9312 ~x5802 ~x10885 ~x2516 ~x7445 ~x842 ~x4200 ~x9316 
21.74/21.83	v ~x5803 ~x10886 ~x2517 ~x7446 ~x843 ~x4202 ~x9327 ~x5805 ~x10890 ~x2518 
21.74/21.83	v ~x7447 ~x844 ~x4203 ~x9328 ~x5806 ~x10901 ~x2519 ~x7449 ~x845 ~x4206 
21.74/21.83	v ~x9332 ~x5817 ~x10902 ~x2520 ~x7450 ~x846 ~x4207 ~x9343 ~x5818 ~x10906 
21.74/21.83	v ~x2521 ~x7461 ~x855 ~x4208 ~x9344 ~x5819 ~x10917 ~x2522 ~x7462 ~x856 
21.74/21.83	v ~x4210 ~x9348 ~x5821 ~x10918 ~x2531 ~x7463 ~x857 ~x4211 ~x9359 ~x5822 
21.74/21.83	v ~x10922 ~x2532 ~x7465 ~x858 ~x4213 ~x9360 ~x5833 ~x10933 ~x2533 ~x7466 
21.74/21.83	v ~x859 ~x4214 ~x9364 ~x5834 ~x10934 ~x2534 ~x7477 ~x860 ~x4215 ~x9375 
21.74/21.83	v ~x5835 ~x10938 ~x2535 ~x7478 ~x861 ~x4216 ~x9376 ~x5837 ~x10949 ~x2536 
21.74/21.83	v ~x7479 ~x862 ~x4217 ~x9380 ~x5838 ~x10950 ~x2537 ~x7481 ~x871 ~x4218 
21.74/21.83	v ~x9391 ~x5849 ~x10954 ~x2538 ~x7482 ~x872 ~x4219 ~x9392 ~x5850 ~x10965 
21.74/21.83	v ~x2547 ~x7493 ~x873 ~x4223 ~x9396 ~x5851 ~x10966 ~x2548 ~x7494 ~x874 
21.74/21.83	v ~x4224 ~x9407 ~x5853 ~x10970 ~x2549 ~x7495 ~x875 ~x4225 ~x9408 ~x5854 
21.74/21.83	v ~x10981 ~x2550 ~x7497 ~x876 ~x4226 ~x9412 ~x5865 ~x10982 ~x2551 ~x7498 
21.74/21.83	v ~x877 ~x4227 ~x9420 ~x5866 ~x10986 ~x2552 ~x7509 ~x878 ~x4228 ~x9141 
21.74/21.83	v ~x5867 ~x10997 ~x2553 ~x7510 ~x887 ~x4229 ~x9142 ~x5869 ~x10998 ~x2554 
21.74/21.83	v ~x7511 ~x888 ~x4230 ~x9153 ~x5870 ~x11002 ~x2563 ~x7513 ~x889 ~x4239 
21.74/21.83	v ~x9154 ~x5881 ~x11013 ~x2564 ~x7514 ~x890 ~x4240 ~x9155 ~x5882 ~x11014 
21.74/21.83	v ~x2565 ~x7525 ~x891 ~x4241 ~x9157 ~x5883 ~x11018 ~x2566 ~x7526 ~x892 
21.74/21.83	v ~x4242 ~x9158 ~x5885 ~x11029 ~x2567 ~x7527 ~x893 ~x4243 ~x9169 ~x5886 
21.74/21.83	v ~x11030 ~x2568 ~x7529 ~x894 ~x4244 ~x9170 ~x5897 ~x11034 ~x2569 ~x7530 
21.74/21.83	v ~x903 ~x4245 ~x9171 ~x5898 ~x11045 ~x2570 ~x7541 ~x904 ~x4246 ~x9173 
21.74/21.83	v ~x5899 ~x11046 ~x2579 ~x7542 ~x905 ~x4255 ~x9174 ~x5901 ~x11050 ~x2580 
21.74/21.83	v ~x7543 ~x906 ~x4256 ~x9185 ~x5902 ~x11061 ~x2581 ~x7545 ~x907 ~x4257 
21.74/21.83	v ~x9186 ~x5913 ~x11062 ~x2582 ~x7546 ~x908 ~x4258 ~x9187 ~x5914 ~x11066 
21.74/21.83	v ~x2583 ~x7557 ~x909 ~x4259 ~x9189 ~x5915 ~x11077 ~x2584 ~x7558 ~x910 
21.74/21.83	v ~x4260 ~x9190 ~x5917 ~x11078 ~x2585 ~x7559 ~x919 ~x4261 ~x9201 ~x5918 
21.74/21.83	v ~x11082 ~x2586 ~x7561 ~x920 ~x4262 ~x9202 ~x5929 ~x11093 ~x2595 ~x7562 
21.74/21.83	v ~x921 ~x4271 ~x9203 ~x5930 ~x11094 ~x2596 ~x7573 ~x922 ~x4272 ~x9205 
21.74/21.83	v ~x5931 ~x11098 ~x2597 ~x7574 ~x923 ~x4273 ~x9206 ~x5933 ~x11109 ~x2598 
21.74/21.83	v ~x7575 ~x924 ~x4274 ~x9217 ~x5934 ~x11110 ~x2599 ~x7577 ~x925 ~x4275 
21.74/21.83	v ~x9218 ~x5941 ~x11114 ~x2600 ~x7578 ~x926 ~x4276 ~x9219 ~x5942 ~x11125 
21.74/21.83	v ~x2601 ~x7589 ~x935 ~x4277 ~x9221 ~x5943 ~x11126 ~x2602 ~x7590 ~x936 
21.74/21.83	v ~x4278 ~x9222 ~x5944 ~x11130 ~x2611 ~x7591 ~x937 ~x4287 ~x9233 ~x5945 
21.74/21.83	v ~x11141 ~x2612 ~x7593 ~x938 ~x4288 ~x9234 ~x5946 ~x11142 ~x2613 ~x7594 
21.74/21.83	v ~x939 ~x4289 ~x9235 ~x5947 ~x11146 ~x2614 ~x7605 ~x940 ~x4290 ~x9237 
21.74/21.83	v ~x5948 ~x11154 ~x2615 ~x7606 ~x941 ~x4291 ~x9238 ~x5949 ~x10875 ~x2616 
21.74/21.83	v ~x7607 ~x942 ~x4292 ~x9249 ~x5950 ~x10876 ~x2617 ~x7609 ~x951 ~x4293 
21.74/21.83	v ~x9250 ~x5951 ~x10887 ~x2618 ~x7610 ~x952 ~x4294 ~x9251 ~x5954 ~x10888 
21.74/21.83	v ~x2627 ~x7621 ~x953 ~x4303 ~x9253 ~x5955 ~x10889 ~x2628 ~x7622 ~x954 
21.74/21.83	v ~x4304 ~x9254 ~x5956 ~x10891 ~x2629 ~x7623 ~x955 ~x4305 ~x9265 ~x5957 
21.74/21.83	v ~x10892 ~x2630 ~x7625 ~x956 ~x4306 ~x9266 ~x5958 ~x10903 ~x2631 ~x7626 
21.74/21.83	v ~x957 ~x4307 ~x9267 ~x5959 ~x10904 ~x2632 ~x7637 ~x958 ~x4308 ~x9269 
21.74/21.83	v ~x5962 ~x10905 ~x2633 ~x7638 ~x967 ~x4309 ~x9270 ~x5963 ~x10907 ~x2634 
21.74/21.83	v ~x7639 ~x968 ~x4310 ~x9281 ~x5964 ~x10908 ~x2643 ~x7641 ~x969 ~x4319 
21.74/21.83	v ~x9282 ~x5965 ~x10919 ~x2644 ~x7642 ~x970 ~x4320 ~x9283 ~x5966 ~x10920 
21.74/21.83	v ~x2645 ~x7653 ~x971 ~x4321 ~x9285 ~x5967 ~x10921 ~x2646 ~x7654 ~x972 
21.74/21.83	v ~x4322 ~x9286 ~x5970 ~x10923 ~x2647 ~x7655 ~x973 ~x4323 ~x9297 ~x5971 
21.74/21.83	v ~x10924 ~x2648 ~x7657 ~x974 ~x4324 ~x9298 ~x5972 ~x10935 ~x2649 ~x7658 
21.74/21.83	v ~x983 ~x4325 ~x9299 ~x5973 ~x10936 ~x2650 ~x7669 ~x984 ~x4326 ~x9301 
21.74/21.83	v ~x5974 ~x10937 ~x2659 ~x7670 ~x985 ~x4335 ~x9302 ~x5975 ~x10939 ~x2660 
21.74/21.83	v ~x7671 ~x986 ~x4336 ~x9313 ~x5978 ~x10940 ~x2661 ~x7673 ~x987 ~x4337 
21.74/21.83	v ~x9314 ~x5979 ~x10951 ~x2662 ~x7674 ~x988 ~x4338 ~x9315 ~x5980 ~x10952 
21.74/21.83	v ~x2663 ~x7681 ~x989 ~x4339 ~x9317 ~x5981 ~x10953 ~x2664 ~x7682 ~x990 
21.74/21.83	v ~x4340 ~x9318 ~x5982 ~x10955 ~x2665 ~x7683 ~x999 ~x4341 ~x9329 ~x5983 
21.74/21.83	v ~x10956 ~x2666 ~x7684 ~x1000 ~x4342 ~x9330 ~x5986 ~x10967 ~x2675 ~x7685 
21.74/21.83	v ~x1001 ~x4351 ~x9331 ~x5987 ~x10968 ~x2676 ~x7686 ~x1002 ~x4352 ~x9333 
21.74/21.83	v ~x5988 ~x10969 ~x2677 ~x7687 ~x1003 ~x4353 ~x9334 ~x5989 ~x10971 ~x2678 
21.74/21.83	v ~x7691 ~x1004 ~x4354 ~x9345 ~x5990 ~x10972 ~x2679 ~x7692 ~x1005 ~x4355 
21.74/21.83	v ~x9346 ~x5991 ~x10983 ~x2680 ~x7693 ~x1006 ~x4356 ~x9347 ~x5994 ~x10984 
21.74/21.83	v ~x2681 ~x7694 ~x1015 ~x4357 ~x9349 ~x5995 ~x10985 ~x2682 ~x7695 ~x1016 
21.74/21.83	v ~x4358 ~x9350 ~x5996 ~x10987 ~x2691 ~x7696 ~x1017 ~x4367 ~x9361 ~x5997 
21.74/21.83	v ~x10988 ~x2692 ~x7697 ~x1018 ~x4368 ~x9362 ~x5998 ~x10999 ~x2693 ~x7698 
21.74/21.83	v ~x1019 ~x4369 ~x9363 ~x5999 ~x11000 ~x2694 ~x7707 ~x740 ~x4370 ~x9365 
21.74/21.83	v ~x6002 ~x11001 ~x2695 ~x7708 ~x751 ~x4371 ~x9366 ~x6003 ~x11003 ~x2696 
21.74/21.83	v ~x7709 ~x752 ~x4372 ~x9377 ~x6004 ~x11004 ~x2697 ~x7710 ~x756 ~x4373 
21.74/21.83	v ~x9378 ~x6005 ~x11015 ~x2698 ~x7711 ~x767 ~x4374 ~x9379 ~x6006 ~x11016 
21.74/21.83	v ~x2707 ~x7712 ~x768 ~x4383 ~x9381 ~x6007 ~x11017 ~x2708 ~x7713 ~x772 
21.74/21.83	v ~x4384 ~x9382 ~x6010 ~x11019 ~x2709 ~x7714 ~x783 ~x4385 ~x9393 ~x6011 
21.74/21.83	v ~x11020 ~x2710 ~x7723 ~x784 ~x4386 ~x9394 ~x6012 ~x11031 ~x2711 ~x7724 
21.74/21.83	v ~x788 ~x4387 ~x9395 ~x6013 ~x11032 ~x2712 ~x7725 ~x799 ~x4388 ~x9397 
21.74/21.83	v ~x6014 ~x11033 ~x2713 ~x7726 ~x800 ~x4389 ~x9398 ~x6015 ~x11035 ~x2714 
21.74/21.83	v ~x7727 ~x804 ~x4390 ~x9409 ~x6018 ~x11036 ~x2723 ~x7728 ~x815 ~x4399 
21.74/21.83	v ~x9410 ~x6019 ~x11047 ~x2724 ~x7729 ~x816 ~x4400 ~x9411 ~x6020 ~x11048 
21.74/21.83	v ~x2725 ~x7730 ~x820 ~x4401 ~x9413 ~x6021 ~x11049 ~x2726 ~x7739 ~x831 
21.74/21.83	v ~x4402 ~x9414 ~x6022 ~x11051 ~x2727 ~x7740 ~x832 ~x4403 ~x9421 ~x6023 
21.74/21.83	v ~x11052 ~x2728 ~x7741 ~x836 ~x4404 ~x9422 ~x6026 ~x11063 ~x2729 ~x7742 
21.74/21.83	v ~x847 ~x4405 ~x9423 ~x6027 ~x11064 ~x2730 ~x7743 ~x848 ~x4406 ~x9424 
21.74/21.83	v ~x6028 ~x11065 ~x2739 ~x7744 ~x852 ~x4415 ~x9425 ~x6029 ~x11067 ~x2740 
21.74/21.83	v ~x7745 ~x863 ~x4416 ~x9426 ~x6030 ~x11068 ~x2741 ~x7746 ~x864 ~x4417 
21.74/21.83	v ~x9427 ~x6031 ~x11079 ~x2742 ~x7755 ~x868 ~x4418 ~x9431 ~x6034 ~x11080 
21.74/21.83	v ~x2743 ~x7756 ~x879 ~x4419 ~x9432 ~x6035 ~x11081 ~x2744 ~x7757 ~x880 
21.74/21.83	v ~x4420 ~x9433 ~x6036 ~x11083 ~x2745 ~x7758 ~x884 ~x4421 ~x9434 ~x6037 
21.74/21.83	v ~x11084 ~x2746 ~x7759 ~x895 ~x4422 ~x9435 ~x6038 ~x11095 ~x2755 ~x7760 
21.74/21.83	v ~x896 ~x4431 ~x9436 ~x6039 ~x11096 ~x2756 ~x7761 ~x900 ~x4432 ~x9437 
21.74/21.83	v ~x6042 ~x11097 ~x2757 ~x7762 ~x911 ~x4433 ~x9438 ~x6043 ~x11099 ~x2758 
21.74/21.83	v ~x7771 ~x912 ~x4434 ~x9447 ~x6044 ~x11100 ~x2759 ~x7772 ~x916 ~x4435 
21.74/21.83	v ~x9448 ~x6045 ~x11111 ~x2480 ~x7773 ~x927 ~x4436 ~x9449 ~x6046 ~x11112 
21.74/21.83	v ~x2491 ~x7774 ~x928 ~x4437 ~x9450 ~x6047 ~x11113 ~x2492 ~x7775 ~x932 
21.74/21.83	v ~x4438 ~x9451 ~x6050 ~x11115 ~x2496 ~x7776 ~x943 ~x4447 ~x9452 ~x6051 
21.74/21.83	v ~x11116 ~x2507 ~x7777 ~x944 ~x4448 ~x9453 ~x6052 ~x11127 ~x2508 ~x7778 
21.74/21.83	v ~x948 ~x4449 ~x9454 ~x6053 ~x11128 ~x2512 ~x7787 ~x959 ~x4450 ~x9463 
21.74/21.83	v ~x6054 ~x11129 ~x2523 ~x7788 ~x960 ~x4451 ~x9464 ~x6055 ~x11131 ~x2524 
21.74/21.83	v ~x7789 ~x964 ~x4452 ~x9465 ~x6058 ~x11132 ~x2528 ~x7790 ~x975 ~x4453 
21.74/21.83	v ~x9466 ~x6059 ~x11143 ~x2539 ~x7791 ~x976 ~x4454 ~x9467 ~x6060 ~x11144 
21.74/21.83	v ~x2540 ~x7792 ~x980 ~x4463 ~x9468 ~x6061 ~x11145 ~x2544 ~x7793 ~x991 
21.74/21.83	v ~x4464 ~x9469 ~x6062 ~x11147 ~x2555 ~x7794 ~x992 ~x4465 ~x9470 ~x6063 
21.74/21.83	v ~x11148 ~x2556 ~x7803 ~x996 ~x4466 ~x9479 ~x6066 ~x11155 ~x2560 ~x7804 
21.74/21.83	v ~x1007 ~x4467 ~x9480 ~x6067 ~x11156 ~x2571 ~x7805 ~x1008 ~x4468 ~x9481 
21.74/21.83	v ~x6068 ~x11157 ~x2572 ~x7806 ~x1012 ~x4469 ~x9482 ~x6069 ~x11158 ~x2576 
21.74/21.83	v ~x7807 ~x1020 ~x4470 ~x9483 ~x6070 ~x11159 ~x2587 ~x7808 ~x741 ~x4479 
21.74/21.83	v ~x9484 ~x6071 ~x11160 ~x2588 ~x7809 ~x742 ~x4480 ~x9485 ~x6074 ~x11161 
21.74/21.83	v ~x2592 ~x7810 ~x753 ~x4481 ~x9486 ~x6075 ~x11165 ~x2603 ~x7819 ~x754 
21.74/21.83	v ~x4482 ~x9495 ~x6076 ~x11166 ~x2604 ~x7820 ~x755 ~x4483 ~x9496 ~x6077 
21.74/21.83	v ~x11167 ~x2608 ~x7821 ~x757 ~x4484 ~x9497 ~x6078 ~x11168 ~x2619 ~x7822 
21.74/21.83	v ~x758 ~x4485 ~x9498 ~x6079 ~x11169 ~x2620 ~x7823 ~x769 ~x4486 ~x9499 
21.74/21.83	v ~x6082 ~x11170 ~x2624 ~x7824 ~x770 ~x4495 ~x9500 ~x6083 ~x11171 ~x2635 
21.74/21.83	v ~x7825 ~x771 ~x4496 ~x9501 ~x6084 ~x11172 ~x2636 ~x7826 ~x773 ~x4497 
21.74/21.83	v ~x9502 ~x5952 ~x11181 ~x2640 ~x7835 ~x774 ~x4498 ~x9511 ~x5960 ~x11182 
21.74/21.83	v ~x2651 ~x7836 ~x785 ~x4499 ~x9512 ~x5968 ~x11183 ~x2652 ~x7837 ~x786 
21.74/21.83	v ~x4220 ~x9513 ~x5976 ~x11184 ~x2656 ~x7838 ~x787 ~x4231 ~x9514 ~x5984 
21.74/21.83	v ~x11185 ~x2667 ~x7839 ~x789 ~x4232 ~x9515 ~x5992 ~x11186 ~x2668 ~x7840 
21.74/21.83	v ~x790 ~x4236 ~x9516 ~x6000 ~x11187 ~x2672 ~x7841 ~x801 ~x4247 ~x9517 
21.74/21.83	v ~x6008 ~x11188 ~x2683 ~x7842 ~x802 ~x4248 ~x9518 ~x6016 ~x11197 ~x2684 
21.74/21.83	v ~x7851 ~x803 ~x4252 ~x9527 ~x6024 ~x11198 ~x2688 ~x7852 ~x805 ~x4263 
21.74/21.83	v ~x9528 ~x6032 ~x11199 ~x2699 ~x7853 ~x806 ~x4264 ~x9529 ~x6040 ~x11200 
21.74/21.83	v ~x2700 ~x7854 ~x817 ~x4268 ~x9530 ~x6048 ~x11201 ~x2704 ~x7855 ~x818 
21.74/21.83	v ~x4279 ~x9531 ~x6056 ~x11202 ~x2715 ~x7856 ~x819 ~x4280 ~x9532 ~x6064 
21.74/21.83	v ~x11203 ~x2716 ~x7857 ~x821 ~x4284 ~x9533 ~x6072 ~x11204 ~x2720 ~x7858 
21.74/21.83	v ~x822 ~x4295 ~x9534 ~x6080 ~x11213 ~x2731 ~x7867 ~x833 ~x4296 ~x9543 
21.74/21.83	v ~x5953 ~x11214 ~x2732 ~x7868 ~x834 ~x4300 ~x9544 ~x5961 ~x11215 ~x2736 
21.74/21.83	v ~x7869 ~x835 ~x4311 ~x9545 ~x5969 ~x11216 ~x2747 ~x7870 ~x837 ~x4312 
21.74/21.83	v ~x9546 ~x5977 ~x11217 ~x2748 ~x7871 ~x838 ~x4316 ~x9547 ~x5985 ~x11218 
21.74/21.83	v ~x2752 ~x7872 ~x849 ~x4327 ~x9548 ~x5993 ~x11219 ~x2760 ~x7873 ~x850 
21.74/21.83	v ~x4328 ~x9549 ~x6001 ~x11220 ~x2481 ~x7874 ~x851 ~x4332 ~x9550 ~x6009 
21.74/21.83	v ~x11229 ~x2482 ~x7883 ~x853 ~x4343 ~x9559 ~x6017 ~x11230 ~x2493 ~x7884 
21.74/21.83	v ~x854 ~x4344 ~x9560 ~x6025 ~x11231 ~x2494 ~x7885 ~x865 ~x4348 ~x9561 
21.74/21.83	v ~x6033 ~x11232 ~x2495 ~x7886 ~x866 ~x4359 ~x9562 ~x6041 ~x11233 ~x2497 
21.74/21.83	v ~x7887 ~x867 ~x4360 ~x9563 ~x6049 ~x11234 ~x2498 ~x7888 ~x869 ~x4364 
21.74/21.83	v ~x9564 ~x6057 ~x11235 ~x2509 ~x7889 ~x870 ~x4375 ~x9565 ~x6065 ~x11236 
21.74/21.83	v ~x2510 ~x7890 ~x881 ~x4376 ~x9566 ~x6073 ~x11245 ~x2511 ~x7899 ~x882 
21.74/21.83	v ~x4380 ~x9575 ~x6081 ~x11246 ~x2513 ~x7900 ~x883 ~x4391 ~x9576 ~x6101 
21.74/21.83	v ~x11247 ~x2514 ~x7901 ~x4392 ~x9577 ~x6104 ~x11248 ~x2525 ~x7902 ~x885 
21.74/21.83	v ~x4396 ~x9578 ~x6105 ~x11249 ~x2526 ~x7903 ~x886 ~x4407 ~x9579 ~x6109 
21.74/21.83	v ~x11250 ~x2527 ~x7904 ~x897 ~x4408 ~x9580 ~x6112 ~x11251 ~x2529 ~x7905 
21.74/21.83	v ~x898 ~x4412 ~x9581 ~x6113 ~x11252 ~x2530 ~x7906 ~x899 ~x4423 ~x9582 
21.74/21.83	v ~x6117 ~x11261 ~x2541 ~x7915 ~x901 ~x4424 ~x9591 ~x6120 ~x11262 ~x2542 
21.74/21.83	v ~x7916 ~x902 ~x4428 ~x9592 ~x6121 ~x11263 ~x2543 ~x7917 ~x913 ~x4439 
21.74/21.83	v ~x9593 ~x6125 ~x11264 ~x2545 ~x7918 ~x914 ~x4440 ~x9594 ~x6128 ~x11265 
21.74/21.83	v ~x2546 ~x7919 ~x915 ~x4444 ~x9595 ~x6129 ~x11266 ~x2557 ~x7920 ~x917 
21.74/21.83	v ~x4455 ~x9596 ~x6133 ~x11267 ~x2558 ~x7921 ~x918 ~x4456 ~x9597 ~x6136 
21.74/21.83	v ~x11268 ~x2559 ~x7922 ~x929 ~x4460 ~x9598 ~x6137 ~x11277 ~x2561 ~x7931 
21.74/21.83	v ~x930 ~x4471 ~x9607 ~x6141 ~x11278 ~x2562 ~x7932 ~x931 ~x4472 ~x9608 
21.74/21.83	v ~x6144 ~x11279 ~x2573 ~x7933 ~x933 ~x4476 ~x9609 ~x6145 ~x11280 ~x2574 
21.74/21.83	v ~x7934 ~x934 ~x4487 ~x9610 ~x6149 ~x11281 ~x2575 ~x7935 ~x945 ~x4488 
21.74/21.83	v ~x9611 ~x6152 ~x11282 ~x2577 ~x7936 ~x946 ~x4492 ~x9612 ~x6153 ~x11283 
21.74/21.83	v ~x2578 ~x7937 ~x947 ~x4500 ~x9613 ~x6157 ~x11284 ~x2589 ~x7938 ~x949 
21.74/21.83	v ~x4221 ~x9614 ~x6160 ~x11293 ~x2590 ~x7947 ~x950 ~x4222 ~x9623 ~x6161 
21.74/21.83	v ~x11294 ~x2591 ~x7948 ~x961 ~x4233 ~x9624 ~x6165 ~x11295 ~x2593 ~x7949 
21.74/21.83	v ~x962 ~x4234 ~x9625 ~x6168 ~x11296 ~x2594 ~x7950 ~x963 ~x4235 ~x9626 
21.74/21.83	v ~x6169 ~x11297 ~x2605 ~x7951 ~x965 ~x4237 ~x9627 ~x6173 ~x11298 ~x2606 
21.74/21.83	v ~x7952 ~x966 ~x4238 ~x9628 ~x6176 ~x11299 ~x2607 ~x7953 ~x977 ~x4249 
21.74/21.83	v ~x9629 ~x6177 ~x11300 ~x2609 ~x7954 ~x978 ~x4250 ~x9630 ~x6181 ~x11309 
21.74/21.83	v ~x2610 ~x7963 ~x979 ~x4251 ~x9639 ~x6184 ~x11310 ~x2621 ~x7964 ~x981 
21.74/21.83	v ~x4253 ~x9640 ~x6185 ~x11311 ~x2622 ~x7965 ~x982 ~x4254 ~x9641 ~x6189 
21.74/21.83	v ~x11312 ~x2623 ~x7966 ~x993 ~x4265 ~x9642 ~x6192 ~x11313 ~x2625 ~x7967 
21.74/21.83	v ~x994 ~x4266 ~x9643 ~x6193 ~x11314 ~x2626 ~x7688 ~x995 ~x4267 ~x9644 
21.74/21.83	v ~x6197 ~x11315 ~x2637 ~x7699 ~x997 ~x4269 ~x9645 ~x6200 ~x11316 ~x2638 
21.74/21.83	v ~x7700 ~x998 ~x4270 ~x9646 ~x6201 ~x11325 ~x2639 ~x7704 ~x1009 ~x4281 
21.74/21.83	v ~x9655 ~x6205 ~x11326 ~x2641 ~x7715 ~x1010 ~x4282 ~x9656 ~x6208 ~x11327 
21.74/21.83	v ~x2642 ~x7716 ~x1011 ~x4283 ~x9657 ~x6209 ~x11328 ~x2653 ~x7720 ~x1013 
21.74/21.83	v ~x4285 ~x9658 ~x6213 ~x11329 ~x2654 ~x7731 ~x1014 ~x4286 ~x9659 ~x6216 
21.74/21.83	v ~x11330 ~x2655 ~x7732 ~x1021 ~x4297 ~x9660 ~x6217 ~x11331 ~x2657 ~x7736 
21.74/21.83	v ~x1022 ~x4298 ~x9661 ~x6221 ~x11332 ~x2658 ~x7747 ~x1023 ~x4299 ~x9662 
21.74/21.83	v ~x6224 ~x11341 ~x2669 ~x7748 ~x1024 ~x4301 ~x9671 ~x6225 ~x11342 ~x2670 
21.74/21.83	v ~x7752 ~x1025 ~x4302 ~x9672 ~x6229 ~x11343 ~x2671 ~x7763 ~x1026 ~x4313 
21.74/21.83	v ~x9673 ~x6232 ~x11344 ~x2673 ~x7764 ~x1027 ~x4314 ~x9674 ~x6233 ~x11345 
21.74/21.83	v ~x2674 ~x7768 ~x1031 ~x4315 ~x9675 ~x6237 ~x11346 ~x2685 ~x7779 ~x1032 
21.74/21.83	v ~x4317 ~x9676 ~x6240 ~x11347 ~x2686 ~x7780 ~x1033 ~x4318 ~x9677 ~x6102 
21.74/21.83	v ~x11348 ~x2687 ~x7784 ~x1034 ~x4329 ~x9678 ~x6103 ~x11357 ~x2689 ~x7795 
21.74/21.83	v ~x1035 ~x4330 ~x9687 ~x6106 ~x11358 ~x2690 ~x7796 ~x1036 ~x4331 ~x9688 
21.74/21.83	v ~x6107 ~x11359 ~x2701 ~x7800 ~x1037 ~x4333 ~x9689 ~x6108 ~x11360 ~x2702 
21.74/21.83	v ~x7811 ~x1038 ~x4334 ~x9690 ~x6110 ~x11361 ~x2703 ~x7812 ~x1047 ~x4345 
21.74/21.83	v ~x9691 ~x6111 ~x11362 ~x2705 ~x7816 ~x1048 ~x4346 ~x9692 ~x6114 ~x11363 
21.74/21.83	v ~x2706 ~x7827 ~x1049 ~x4347 ~x9693 ~x6115 ~x11364 ~x2717 ~x7828 ~x1050 
21.74/21.83	v ~x4349 ~x9694 ~x6116 ~x11373 ~x2718 ~x7832 ~x1051 ~x4350 ~x9703 ~x6118 
21.74/21.83	v ~x11374 ~x2719 ~x7843 ~x1052 ~x4361 ~x9704 ~x6119 ~x11375 ~x2721 ~x7844 
21.74/21.83	v ~x1053 ~x4362 ~x9705 ~x6122 ~x11376 ~x2722 ~x7848 ~x1054 ~x4363 ~x9706 
21.74/21.83	v ~x6123 ~x11377 ~x2733 ~x7859 ~x1063 ~x4365 ~x9707 ~x6124 ~x11378 ~x2734 
21.74/21.83	v ~x7860 ~x1064 ~x4366 ~x9428 ~x6126 ~x11379 ~x2735 ~x7864 ~x1065 ~x4377 
21.74/21.83	v ~x9439 ~x6127 ~x11380 ~x2737 ~x7875 ~x1066 ~x4378 ~x9440 ~x6130 ~x11389 
21.74/21.83	v ~x2738 ~x7876 ~x1067 ~x4379 ~x9444 ~x6131 ~x11390 ~x2749 ~x7880 ~x1068 
21.74/21.83	v ~x4381 ~x9455 ~x6132 ~x11391 ~x2750 ~x7891 ~x1069 ~x4382 ~x9456 ~x6134 
21.74/21.83	v ~x11392 ~x2751 ~x7892 ~x1070 ~x4393 ~x9460 ~x6135 ~x11393 ~x2753 ~x7896 
21.74/21.83	v ~x1079 ~x4394 ~x9471 ~x6138 ~x11394 ~x2754 ~x7907 ~x1080 ~x4395 ~x9472 
21.74/21.83	v ~x6139 ~x11395 ~x2761 ~x7908 ~x1081 ~x4397 ~x9476 ~x6140 ~x11396 ~x2762 
21.74/21.83	v ~x7912 ~x1082 ~x4398 ~x9487 ~x6142 ~x11405 ~x2763 ~x7923 ~x1083 ~x4409 
21.74/21.83	v ~x9488 ~x6143 ~x11406 ~x2764 ~x7924 ~x1084 ~x4410 ~x9492 ~x6146 ~x11407 
21.74/21.83	v ~x2765 ~x7928 ~x1085 ~x4411 ~x9503 ~x6147 ~x11408 ~x2766 ~x7939 ~x1086 
21.74/21.83	v ~x4413 ~x9504 ~x6148 ~x11409 ~x2767 ~x7940 ~x1095 ~x4414 ~x9508 ~x6150 
21.74/21.83	v ~x11410 ~x2771 ~x7944 ~x1096 ~x4425 ~x9519 ~x6151 ~x11411 ~x2772 ~x7955 
21.74/21.83	v ~x1097 ~x4426 ~x9520 ~x6154 ~x11412 ~x2773 ~x7956 ~x1098 ~x4427 ~x9524 
21.74/21.83	v ~x6155 ~x11421 ~x2774 ~x7960 ~x1099 ~x4429 ~x9535 ~x6156 ~x11422 ~x2775 
21.74/21.83	v ~x7968 ~x1100 ~x4430 ~x9536 ~x6158 ~x11423 ~x2776 ~x7689 ~x1101 ~x4441 
21.74/21.83	v ~x9540 ~x6159 ~x11424 ~x2777 ~x7690 ~x1102 ~x4442 ~x9551 ~x6162 ~x11425 
21.74/21.83	v ~x2778 ~x7701 ~x1111 ~x4443 ~x9552 ~x6163 ~x11426 ~x2787 ~x7702 ~x1112 
21.74/21.83	v ~x4445 ~x9556 ~x6164 ~x11427 ~x2788 ~x7703 ~x1113 ~x4446 ~x9567 ~x6166 
21.74/21.83	v ~x11428 ~x2789 ~x7705 ~x1114 ~x4457 ~x9568 ~x6167 ~x11437 ~x2790 ~x7706 
21.74/21.83	v ~x1115 ~x4458 ~x9572 ~x6170 ~x11438 ~x2791 ~x7717 ~x1116 ~x4459 ~x9583 
21.74/21.83	v ~x6171 ~x11439 ~x2792 ~x7718 ~x1117 ~x4461 ~x9584 ~x6172 ~x11440 ~x2793 
21.74/21.83	v ~x7719 ~x1118 ~x4462 ~x9588 ~x6174 ~x11441 ~x2794 ~x7721 ~x1127 ~x4473 
21.74/21.83	v ~x9599 ~x6175 ~x11162 ~x2803 ~x7722 ~x1128 ~x4474 ~x9600 ~x6178 ~x11173 
21.74/21.83	v ~x2804 ~x7733 ~x1129 ~x4475 ~x9604 ~x6179 ~x11174 ~x2805 ~x7734 ~x1130 
21.74/21.83	v ~x4477 ~x9615 ~x6180 ~x11178 ~x2806 ~x7735 ~x1131 ~x4478 ~x9616 ~x6182 
21.74/21.83	v ~x11189 ~x2807 ~x7737 ~x1132 ~x4489 ~x9620 ~x6183 ~x11190 ~x2808 ~x7738 
21.74/21.83	v ~x1133 ~x4490 ~x9631 ~x6186 ~x11194 ~x2809 ~x7749 ~x1134 ~x4491 ~x9632 
21.74/21.83	v ~x6187 ~x11205 ~x2810 ~x7750 ~x1143 ~x4493 ~x9636 ~x6188 ~x11206 ~x2819 
21.74/21.83	v ~x7751 ~x1144 ~x4494 ~x9647 ~x6190 ~x11210 ~x2820 ~x7753 ~x1145 ~x4501 
21.74/21.83	v ~x9648 ~x6191 ~x11221 ~x2821 ~x7754 ~x1146 ~x4502 ~x9652 ~x6194 ~x11222 
21.74/21.83	v ~x2822 ~x7765 ~x1147 ~x4503 ~x9663 ~x6195 ~x11226 ~x2823 ~x7766 ~x1148 
21.74/21.83	v ~x4504 ~x9664 ~x6196 ~x11237 ~x2824 ~x7767 ~x1149 ~x4505 ~x9668 ~x6198 
21.74/21.83	v ~x11238 ~x2825 ~x7769 ~x1150 ~x4506 ~x9679 ~x6199 ~x11242 ~x2826 ~x7770 
21.74/21.83	v ~x1159 ~x4507 ~x9680 ~x6202 ~x11253 ~x2835 ~x7781 ~x1160 ~x4511 ~x9684 
21.74/21.83	v ~x6203 ~x11254 ~x2836 ~x7782 ~x1161 ~x4512 ~x9695 ~x6204 ~x11258 ~x2837 
21.74/21.83	v ~x7783 ~x1162 ~x4513 ~x9696 ~x6206 ~x11269 ~x2838 ~x7785 ~x1163 ~x4514 
21.74/21.83	v ~x9700 ~x6207 ~x11270 ~x2839 ~x7786 ~x1164 ~x4515 ~x9708 ~x6210 ~x11274 
21.74/21.83	v ~x2840 ~x7797 ~x1165 ~x4516 ~x9429 ~x6211 ~x11285 ~x2841 ~x7798 ~x1166 
21.74/21.83	v ~x4517 ~x9430 ~x6212 ~x11286 ~x2842 ~x7799 ~x1175 ~x4518 ~x9441 ~x6214 
21.74/21.83	v ~x11290 ~x2851 ~x7801 ~x1176 ~x4527 ~x9442 ~x6215 ~x11301 ~x2852 ~x7802 
21.74/21.83	v ~x1177 ~x4528 ~x9443 ~x6218 ~x11302 ~x2853 ~x7813 ~x1178 ~x4529 ~x9445 
21.74/21.83	v ~x6219 ~x11306 ~x2854 ~x7814 ~x1179 ~x4530 ~x9446 ~x6220 ~x11317 ~x2855 
21.74/21.83	v ~x7815 ~x1180 ~x4531 ~x9457 ~x6222 ~x11318 ~x2856 ~x7817 ~x1181 ~x4532 
21.74/21.83	v ~x9458 ~x6223 ~x11322 ~x2857 ~x7818 ~x1182 ~x4533 ~x9459 ~x6226 ~x11333 
21.74/21.83	v ~x2858 ~x7829 ~x1191 ~x4534 ~x9461 ~x6227 ~x11334 ~x2867 ~x7830 ~x1192 
21.74/21.83	v ~x4543 ~x9462 ~x6228 ~x11338 ~x2868 ~x7831 ~x1193 ~x4544 ~x9473 ~x6230 
21.74/21.83	v ~x11349 ~x2869 ~x7833 ~x1194 ~x4545 ~x9474 ~x6231 ~x11350 ~x2870 ~x7834 
21.74/21.83	v ~x1195 ~x4546 ~x9475 ~x6234 ~x11354 ~x2871 ~x7845 ~x1196 ~x4547 ~x9477 
21.74/21.83	v ~x6235 ~x11365 ~x2872 ~x7846 ~x1197 ~x4548 ~x9478 ~x6236 ~x11366 ~x2873 
21.74/21.83	v ~x7847 ~x1198 ~x4549 ~x9489 ~x6238 ~x11370 ~x2874 ~x7849 ~x1207 ~x4550 
21.74/21.83	v ~x9490 ~x6239 ~x11381 ~x2883 ~x7850 ~x1208 ~x4559 ~x9491 ~x6241 ~x11382 
21.74/21.83	v ~x2884 ~x7861 ~x1209 ~x4560 ~x9493 ~x6242 ~x11386 ~x2885 ~x7862 ~x1210 
21.74/21.83	v ~x4561 ~x9494 ~x6243 ~x11397 ~x2886 ~x7863 ~x1211 ~x4562 ~x9505 ~x6244 
21.74/21.83	v ~x11398 ~x2887 ~x7865 ~x1212 ~x4563 ~x9506 ~x6245 ~x11402 ~x2888 ~x7866 
21.74/21.83	v ~x1213 ~x4564 ~x9507 ~x6246 ~x11413 ~x2889 ~x7877 ~x1214 ~x4565 ~x9509 
21.74/21.83	v ~x6247 ~x11414 ~x2890 ~x7878 ~x1223 ~x4566 ~x9510 ~x6251 ~x11418 ~x2899 
21.74/21.83	v ~x7879 ~x1224 ~x4575 ~x9521 ~x6252 ~x11429 ~x2900 ~x7881 ~x1225 ~x4576 
21.74/21.83	v ~x9522 ~x6253 ~x11430 ~x2901 ~x7882 ~x1226 ~x4577 ~x9523 ~x6254 ~x11434 
21.74/21.83	v ~x2902 ~x7893 ~x1227 ~x4578 ~x9525 ~x6255 ~x11442 ~x2903 ~x7894 ~x1228 
21.74/21.83	v ~x4579 ~x9526 ~x6256 ~x11163 ~x2904 ~x7895 ~x1229 ~x4580 ~x9537 ~x6257 
21.74/21.83	v ~x11164 ~x2905 ~x7897 ~x1230 ~x4581 ~x9538 ~x6258 ~x11175 ~x2906 ~x7898 
21.74/21.83	v ~x1239 ~x4582 ~x9539 ~x6267 ~x11176 ~x2915 ~x7909 ~x1240 ~x4591 ~x9541 
21.74/21.83	v ~x6268 ~x11177 ~x2916 ~x7910 ~x1241 ~x4592 ~x9542 ~x6269 ~x11179 ~x2917 
21.74/21.83	v ~x7911 ~x1242 ~x4593 ~x9553 ~x6270 ~x11180 ~x2918 ~x7913 ~x1243 ~x4594 
21.74/21.83	v ~x9554 ~x6271 ~x11191 ~x2919 ~x7914 ~x1244 ~x4595 ~x9555 ~x6272 ~x11192 
21.74/21.83	v ~x2920 ~x7925 ~x1245 ~x4596 ~x9557 ~x6273 ~x11193 ~x2921 ~x7926 ~x1246 
21.74/21.83	v ~x4597 ~x9558 ~x6274 ~x11195 ~x2922 ~x7927 ~x1255 ~x4598 ~x9569 ~x6283 
21.74/21.83	v ~x11196 ~x2931 ~x7929 ~x1256 ~x4607 ~x9570 ~x6284 ~x11207 ~x2932 ~x7930 
21.74/21.83	v ~x1257 ~x4608 ~x9571 ~x6285 ~x11208 ~x2933 ~x7941 ~x1258 ~x4609 ~x9573 
21.74/21.83	v ~x6286 ~x11209 ~x2934 ~x7942 ~x1259 ~x4610 ~x9574 ~x6287 ~x11211 ~x2935 
21.74/21.83	v ~x7943 ~x1260 ~x4611 ~x9585 ~x6288 ~x11212 ~x2936 ~x7945 ~x1261 ~x4612 
21.74/21.83	v ~x9586 ~x6289 ~x11223 ~x2937 ~x7946 ~x1262 ~x4613 ~x9587 ~x6290 ~x11224 
21.74/21.83	v ~x2938 ~x7957 ~x1271 ~x4614 ~x9589 ~x6299 ~x11225 ~x2947 ~x7958 ~x1272 
21.74/21.83	v ~x4623 ~x9590 ~x6300 ~x11227 ~x2948 ~x7959 ~x1273 ~x4624 ~x9601 ~x6301 
21.74/21.83	v ~x11228 ~x2949 ~x7961 ~x1274 ~x4625 ~x9602 ~x6302 ~x11239 ~x2950 ~x7962 
21.74/21.83	v ~x1275 ~x4626 ~x9603 ~x6303 ~x11240 ~x2951 ~x7969 ~x1276 ~x4627 ~x9605 
21.74/21.83	v ~x6304 ~x11241 ~x2952 ~x7970 ~x1277 ~x4628 ~x9606 ~x6305 ~x11243 ~x2953 
21.74/21.83	v ~x7971 ~x1278 ~x4629 ~x9617 ~x6306 ~x11244 ~x2954 ~x7972 ~x1287 ~x4630 
21.74/21.83	v ~x9618 ~x6315 ~x11255 ~x2963 ~x7973 ~x1288 ~x4639 ~x9619 ~x6316 ~x11256 
21.74/21.83	v ~x2964 ~x7974 ~x1289 ~x4640 ~x9621 ~x6317 ~x11257 ~x2965 ~x7975 ~x1290 
21.74/21.83	v ~x4641 ~x9622 ~x6318 ~x11259 ~x2966 ~x7976 ~x1291 ~x4642 ~x9633 ~x6319 
21.74/21.83	v ~x11260 ~x2967 ~x7977 ~x1292 ~x4643 ~x9634 ~x6320 ~x11271 ~x2968 ~x7978 
21.74/21.83	v ~x1293 ~x4644 ~x9635 ~x6321 ~x11272 ~x2969 ~x7979 ~x1294 ~x4645 ~x9637 
21.74/21.83	v ~x6322 ~x11273 ~x2970 ~x7982 ~x1303 ~x4646 ~x9638 ~x6331 ~x11275 ~x2979 
21.74/21.83	v ~x7983 ~x1304 ~x4655 ~x9649 ~x6332 ~x11276 ~x2980 ~x7984 ~x1305 ~x4656 
21.74/21.83	v ~x9650 ~x6333 ~x11287 ~x2981 ~x7985 ~x1306 ~x4657 ~x9651 ~x6334 ~x11288 
21.74/21.83	v ~x2982 ~x7986 ~x1307 ~x4658 ~x9653 ~x6335 ~x11289 ~x2983 ~x7987 ~x1028 
21.74/21.83	v ~x4659 ~x9654 ~x6336 ~x11291 ~x2984 ~x7990 ~x1039 ~x4660 ~x9665 ~x6337 
21.74/21.83	v ~x11292 ~x2985 ~x7991 ~x1040 ~x4661 ~x9666 ~x6338 ~x11303 ~x2986 ~x7992 
21.74/21.83	v ~x1044 ~x4662 ~x9667 ~x6347 ~x11304 ~x2995 ~x7993 ~x1055 ~x4671 ~x9669 
21.74/21.83	v ~x6348 ~x11305 ~x2996 ~x7994 ~x1056 ~x4672 ~x9670 ~x6349 ~x11307 ~x2997 
21.74/21.83	v ~x7995 ~x1060 ~x4673 ~x9681 ~x6350 ~x11308 ~x2998 ~x7998 ~x1071 ~x4674 
21.74/21.83	v ~x9682 ~x6351 ~x11319 ~x2999 ~x7999 ~x1072 ~x4675 ~x9683 ~x6352 ~x11320 
21.74/21.83	v ~x3000 ~x8000 ~x1076 ~x4676 ~x9685 ~x6353 ~x11321 ~x3001 ~x8001 ~x1087 
21.74/21.83	v ~x4677 ~x9686 ~x6354 ~x11323 ~x3002 ~x8002 ~x1088 ~x4678 ~x9697 ~x6363 
21.74/21.83	v ~x11324 ~x3011 ~x8003 ~x1092 ~x4687 ~x9698 ~x6364 ~x11335 ~x3012 ~x8006 
21.74/21.83	v ~x1103 ~x4688 ~x9699 ~x6365 ~x11336 ~x3013 ~x8007 ~x1104 ~x4689 ~x9701 
21.74/21.83	v ~x6366 ~x11337 ~x3014 ~x8008 ~x1108 ~x4690 ~x9702 ~x6367 ~x11339 ~x3015 
21.74/21.83	v ~x8009 ~x1119 ~x4691 ~x9709 ~x6368 ~x11340 ~x3016 ~x8010 ~x1120 ~x4692 
21.74/21.83	v ~x9710 ~x6369 ~x11351 ~x3017 ~x8011 ~x1124 ~x4693 ~x9711 ~x6370 ~x11352 
21.74/21.83	v ~x3018 ~x8014 ~x1135 ~x4694 ~x9712 ~x6379 ~x11353 ~x3027 ~x8015 ~x1136 
21.74/21.83	v ~x4703 ~x9713 ~x6380 ~x11355 ~x3028 ~x8016 ~x1140 ~x4704 ~x9714 ~x6381 
21.74/21.83	v ~x11356 ~x3029 ~x8017 ~x1151 ~x4705 ~x9715 ~x6382 ~x11367 ~x3030 ~x8018 
21.74/21.83	v ~x1152 ~x4706 ~x9719 ~x6383 ~x11368 ~x3031 ~x8019 ~x1156 ~x4707 ~x9720 
21.74/21.83	v ~x6384 ~x11369 ~x3032 ~x8022 ~x1167 ~x4708 ~x9721 ~x6385 ~x11371 ~x3033 
21.74/21.83	v ~x8023 ~x1168 ~x4709 ~x9722 ~x6386 ~x11372 ~x3034 ~x8024 ~x1172 ~x4710 
21.74/21.83	v ~x9723 ~x6395 ~x11383 ~x3043 ~x8025 ~x1183 ~x4719 ~x9724 ~x6396 ~x11384 
21.74/21.83	v ~x3044 ~x8026 ~x1184 ~x4720 ~x9725 ~x6397 ~x11385 ~x3045 ~x8027 ~x1188 
21.74/21.83	v ~x4721 ~x9726 ~x6398 ~x11387 ~x3046 ~x8030 ~x1199 ~x4722 ~x9735 ~x6399 
21.74/21.83	v ~x11388 ~x3047 ~x8031 ~x1200 ~x4723 ~x9736 ~x6400 ~x11399 ~x2768 ~x8032 
21.74/21.83	v ~x1204 ~x4724 ~x9737 ~x6401 ~x11400 ~x2779 ~x8033 ~x1215 ~x4725 ~x9738 
21.74/21.83	v ~x6402 ~x11401 ~x2780 ~x8034 ~x1216 ~x4726 ~x9739 ~x6411 ~x11403 ~x2784 
21.74/21.83	v ~x8035 ~x1220 ~x4735 ~x9740 ~x6412 ~x11404 ~x2795 ~x8038 ~x1231 ~x4736 
21.74/21.83	v ~x9741 ~x6413 ~x11415 ~x2796 ~x8039 ~x1232 ~x4737 ~x9742 ~x6414 ~x11416 
21.74/21.83	v ~x2800 ~x8040 ~x1236 ~x4738 ~x9751 ~x6415 ~x11417 ~x2811 ~x8041 ~x1247 
21.74/21.83	v ~x4739 ~x9752 ~x6416 ~x11419 ~x2812 ~x8042 ~x1248 ~x4740 ~x9753 ~x6417 
21.74/21.83	v ~x11420 ~x2816 ~x8043 ~x1252 ~x4741 ~x9754 ~x6418 ~x11431 ~x2827 ~x8046 
21.74/21.83	v ~x1263 ~x4742 ~x9755 ~x6427 ~x11432 ~x2828 ~x8047 ~x1264 ~x4751 ~x9756 
21.74/21.83	v ~x6428 ~x11433 ~x2832 ~x8048 ~x1268 ~x4752 ~x9757 ~x6429 ~x11435 ~x2843 
21.74/21.83	v ~x8049 ~x1279 ~x4753 ~x9758 ~x6430 ~x11436 ~x2844 ~x8050 ~x1280 ~x4754 
21.74/21.83	v ~x9767 ~x6431 ~x11443 ~x2848 ~x8051 ~x1284 ~x4755 ~x9768 ~x6432 ~x11444 
21.74/21.83	v ~x2859 ~x8054 ~x1295 ~x4756 ~x9769 ~x6433 ~x11445 ~x2860 ~x8055 ~x1296 
21.74/21.83	v ~x4757 ~x9770 ~x6434 ~x11446 ~x2864 ~x8056 ~x1300 ~x4758 ~x9771 ~x6443 
21.74/21.83	v ~x11447 ~x2875 ~x8057 ~x1308 ~x4767 ~x9772 ~x6444 ~x11448 ~x2876 ~x8058 
21.74/21.83	v ~x1029 ~x4768 ~x9773 ~x6445 ~x11449 ~x2880 ~x8059 ~x1030 ~x4769 ~x9774 
21.74/21.83	v ~x6446 ~x11453 ~x2891 ~x8062 ~x1041 ~x4770 ~x9783 ~x6447 ~x11454 ~x2892 
21.74/21.83	v ~x8063 ~x1042 ~x4771 ~x9784 ~x6448 ~x11455 ~x2896 ~x8064 ~x1043 ~x4772 
21.74/21.83	v ~x9785 ~x6449 ~x11456 ~x2907 ~x8065 ~x1045 ~x4773 ~x9786 ~x6450 ~x11457 
21.74/21.83	v ~x2908 ~x8066 ~x1046 ~x4774 ~x9787 ~x6459 ~x11458 ~x2912 ~x8067 ~x1057 
21.74/21.83	v ~x4783 ~x9788 ~x6460 ~x11459 ~x2923 ~x8070 ~x1058 ~x4784 ~x9789 ~x6461 
21.74/21.83	v ~x11460 ~x2924 ~x8071 ~x1059 ~x4785 ~x9790 ~x6462 ~x11469 ~x2928 ~x8072 
21.74/21.83	v ~x1061 ~x4786 ~x9799 ~x6463 ~x11470 ~x2939 ~x8073 ~x1062 ~x4787 ~x9800 
21.74/21.83	v ~x6464 ~x11471 ~x2940 ~x8074 ~x1073 ~x4508 ~x9801 ~x6465 ~x11472 ~x2944 
21.74/21.83	v ~x8075 ~x1074 ~x4519 ~x9802 ~x6466 ~x11473 ~x2955 ~x8078 ~x1075 ~x4520 
21.74/21.83	v ~x9803 ~x6475 ~x11474 ~x2956 ~x8079 ~x1077 ~x4524 ~x9804 ~x6476 ~x11475 
21.74/21.83	v ~x2960 ~x8080 ~x1078 ~x4535 ~x9805 ~x6477 ~x11476 ~x2971 ~x8081 ~x1089 
21.74/21.83	v ~x4536 ~x9806 ~x6478 ~x11485 ~x2972 ~x8082 ~x1090 ~x4540 ~x9815 ~x6479 
21.74/21.83	v ~x11486 ~x2976 ~x8083 ~x1091 ~x4551 ~x9816 ~x6480 ~x11487 ~x2987 ~x8086 
21.74/21.83	v ~x1093 ~x4552 ~x9817 ~x6481 ~x11488 ~x2988 ~x8087 ~x1094 ~x4556 ~x9818 
21.74/21.83	v ~x6482 ~x11489 ~x2992 ~x8088 ~x1105 ~x4567 ~x9819 ~x6491 ~x11490 ~x3003 
21.74/21.83	v ~x8089 ~x1106 ~x4568 ~x9820 ~x6492 ~x11491 ~x3004 ~x8090 ~x1107 ~x4572 
21.74/21.83	v ~x9821 ~x6493 ~x11492 ~x3008 ~x8091 ~x1109 ~x4583 ~x9822 ~x6494 ~x11501 
21.74/21.83	v ~x3019 ~x8094 ~x1110 ~x4584 ~x9831 ~x6495 ~x11502 ~x3020 ~x8095 ~x1121 
21.74/21.83	v ~x4588 ~x9832 ~x6496 ~x11503 ~x3024 ~x8096 ~x1122 ~x4599 ~x9833 ~x6497 
21.74/21.83	v ~x11504 ~x3035 ~x8097 ~x1123 ~x4600 ~x9834 ~x6498 ~x11505 ~x3036 ~x8098 
21.74/21.83	v ~x1125 ~x4604 ~x9835 ~x6507 ~x11506 ~x3040 ~x8099 ~x1126 ~x4615 ~x9836 
21.74/21.83	v ~x6508 ~x11507 ~x3048 ~x8102 ~x1137 ~x4616 ~x9837 ~x6509 ~x11508 ~x2769 
21.74/21.83	v ~x8103 ~x1138 ~x4620 ~x9838 ~x6510 ~x11517 ~x2770 ~x8104 ~x1139 ~x4631 
21.74/21.83	v ~x9847 ~x6511 ~x11518 ~x2781 ~x8105 ~x1141 ~x4632 ~x9848 ~x6512 ~x11519 
21.74/21.83	v ~x2782 ~x8106 ~x1142 ~x4636 ~x9849 ~x6513 ~x11520 ~x2783 ~x8107 ~x1153 
21.74/21.83	v ~x4647 ~x9850 ~x6514 ~x11521 ~x2785 ~x8110 ~x1154 ~x4648 ~x9851 ~x6523 
21.74/21.83	v ~x11522 ~x2786 ~x8111 ~x1155 ~x4652 ~x9852 ~x6524 ~x11523 ~x2797 ~x8112 
21.74/21.83	v ~x1157 ~x4663 ~x9853 ~x6525 ~x11524 ~x2798 ~x7980 ~x1158 ~x4664 ~x9854 
21.74/21.83	v ~x6526 ~x11533 ~x2799 ~x7988 ~x1169 ~x4668 ~x9863 ~x6527 ~x11534 ~x2801 
21.74/21.83	v ~x7996 ~x1170 ~x4679 ~x9864 ~x6248 ~x11535 ~x2802 ~x8004 ~x1171 ~x4680 
21.74/21.83	v ~x9865 ~x6259 ~x11536 ~x2813 ~x8012 ~x1173 ~x4684 ~x9866 ~x6260 ~x11537 
21.74/21.83	v ~x2814 ~x8020 ~x1174 ~x4695 ~x9867 ~x6264 ~x11538 ~x2815 ~x8028 ~x1185 
21.74/21.83	v ~x4696 ~x9868 ~x6275 ~x11539 ~x2817 ~x8036 ~x1186 ~x4700 ~x9869 ~x6276 
21.74/21.83	v ~x11540 ~x2818 ~x8044 ~x1187 ~x4711 ~x9870 ~x6280 ~x11549 ~x2829 ~x8052 
21.74/21.83	v ~x1189 ~x4712 ~x9879 ~x6291 ~x11550 ~x2830 ~x8060 ~x1190 ~x4716 ~x9880 
21.74/21.83	v ~x6292 ~x11551 ~x2831 ~x8068 ~x1201 ~x4727 ~x9881 ~x6296 ~x11552 ~x2833 
21.74/21.83	v ~x8076 ~x1202 ~x4728 ~x9882 ~x6307 ~x11553 ~x2834 ~x8084 ~x1203 ~x4732 
21.74/21.83	v ~x9883 ~x6308 ~x11554 ~x2845 ~x8092 ~x1205 ~x4743 ~x9884 ~x6312 ~x11555 
21.74/21.83	v ~x2846 ~x8100 ~x1206 ~x4744 ~x9885 ~x6323 ~x11556 ~x2847 ~x8108 ~x1217 
21.74/21.83	v ~x4748 ~x9886 ~x6324 ~x11565 ~x2849 ~x7981 ~x1218 ~x4759 ~x9895 ~x6328 
21.74/21.83	v ~x11566 ~x2850 ~x7989 ~x1219 ~x4760 ~x9896 ~x6339 ~x11567 ~x2861 ~x7997 
21.74/21.83	v ~x1221 ~x4764 ~x9897 ~x6340 ~x11568 ~x2862 ~x8005 ~x1222 ~x4775 ~x9898 
21.74/21.83	v ~x6344 ~x11569 ~x2863 ~x8013 ~x1233 ~x4776 ~x9899 ~x6355 ~x11570 ~x2865 
21.74/21.83	v ~x8021 ~x1234 ~x4780 ~x9900 ~x6356 ~x11571 ~x2866 ~x8029 ~x1235 ~x4788 
21.74/21.83	v ~x9901 ~x6360 ~x11572 ~x2877 ~x8037 ~x1237 ~x4509 ~x9902 ~x6371 ~x11581 
21.74/21.83	v ~x2878 ~x8045 ~x1238 ~x4510 ~x9911 ~x6372 ~x11582 ~x2879 ~x8053 ~x1249 
21.74/21.83	v ~x4521 ~x9912 ~x6376 ~x11583 ~x2881 ~x8061 ~x1250 ~x4522 ~x9913 ~x6387 
21.74/21.84	v ~x11584 ~x2882 ~x8069 ~x1251 ~x4523 ~x9914 ~x6388 ~x11585 ~x2893 ~x8077 
21.74/21.84	v ~x1253 ~x4525 ~x9915 ~x6392 ~x11586 ~x2894 ~x8085 ~x1254 ~x4526 ~x9916 
21.74/21.84	v ~x6403 ~x11587 ~x2895 ~x8093 ~x1265 ~x4537 ~x9917 ~x6404 ~x11588 ~x2897 
21.74/21.84	v ~x8101 ~x1266 ~x4538 ~x9918 ~x6408 ~x11597 ~x2898 ~x8109 ~x1267 ~x4539 
21.74/21.84	v ~x9927 ~x6419 ~x11598 ~x2909 ~x8129 ~x1269 ~x4541 ~x9928 ~x6420 ~x11599 
21.74/21.84	v ~x2910 ~x8132 ~x1270 ~x4542 ~x9929 ~x6424 ~x11600 ~x2911 ~x8133 ~x1281 
21.74/21.84	v ~x4553 ~x9930 ~x6435 ~x11601 ~x2913 ~x8137 ~x1282 ~x4554 ~x9931 ~x6436 
21.74/21.84	v ~x11602 ~x2914 ~x8140 ~x1283 ~x4555 ~x9932 ~x6440 ~x11603 ~x2925 ~x8141 
21.74/21.84	v ~x1285 ~x4557 ~x9933 ~x6451 ~x11604 ~x2926 ~x8145 ~x1286 ~x4558 ~x9934 
21.74/21.84	v ~x6452 ~x11613 ~x2927 ~x8148 ~x1297 ~x4569 ~x9943 ~x6456 ~x11614 ~x2929 
21.74/21.84	v ~x8149 ~x1298 ~x4570 ~x9944 ~x6467 ~x11615 ~x2930 ~x8153 ~x1299 ~x4571 
21.74/21.84	v ~x9945 ~x6468 ~x11616 ~x2941 ~x8156 ~x1301 ~x4573 ~x9946 ~x6472 ~x11617 
21.74/21.84	v ~x2942 ~x8157 ~x1302 ~x4574 ~x9947 ~x6483 ~x11618 ~x2943 ~x8161 ~x1309 
21.74/21.84	v ~x4585 ~x9948 ~x6484 ~x11619 ~x2945 ~x8164 ~x1310 ~x4586 ~x9949 ~x6488 
21.74/21.84	v ~x11620 ~x2946 ~x8165 ~x1311 ~x4587 ~x9950 ~x6499 ~x11629 ~x2957 ~x8169 
21.74/21.84	v ~x1312 ~x4589 ~x9959 ~x6500 ~x11630 ~x2958 ~x8172 ~x1313 ~x4590 ~x9960 
21.74/21.84	v ~x6504 ~x11631 ~x2959 ~x8173 ~x1314 ~x4601 ~x9961 ~x6515 ~x11632 ~x2961 
21.74/21.84	v ~x8177 ~x1315 ~x4602 ~x9962 ~x6516 ~x11633 ~x2962 ~x8180 ~x1319 ~x4603 
21.74/21.84	v ~x9963 ~x6520 ~x11634 ~x2973 ~x8181 ~x1320 ~x4605 ~x9964 ~x6528 ~x11635 
21.74/21.84	v ~x2974 ~x8185 ~x1321 ~x4606 ~x9965 ~x6249 ~x11636 ~x2975 ~x8188 ~x1322 
21.74/21.84	v ~x4617 ~x9966 ~x6250 ~x11645 ~x2977 ~x8189 ~x1323 ~x4618 ~x9975 ~x6261 
21.74/21.84	v ~x11646 ~x2978 ~x8193 ~x1324 ~x4619 ~x9976 ~x6262 ~x11647 ~x2989 ~x8196 
21.74/21.84	v ~x1325 ~x4621 ~x9977 ~x6263 ~x11648 ~x2990 ~x8197 ~x1326 ~x4622 ~x9978 
21.74/21.84	v ~x6265 ~x11649 ~x2991 ~x8201 ~x1335 ~x4633 ~x9979 ~x6266 ~x11650 ~x2993 
21.74/21.84	v ~x8204 ~x1336 ~x4634 ~x9980 ~x6277 ~x11651 ~x2994 ~x8205 ~x1337 ~x4635 
21.74/21.84	v ~x9981 ~x6278 ~x11652 ~x3005 ~x8209 ~x1338 ~x4637 ~x9982 ~x6279 ~x11661 
21.74/21.84	v ~x3006 ~x8212 ~x1339 ~x4638 ~x9991 ~x6281 ~x11662 ~x3007 ~x8213 ~x1340 
21.74/21.84	v ~x4649 ~x9992 ~x6282 ~x11663 ~x3009 ~x8217 ~x1341 ~x4650 ~x9993 ~x6293 
21.74/21.84	v ~x11664 ~x3010 ~x8220 ~x1342 ~x4651 ~x9994 ~x6294 ~x11665 ~x3021 ~x8221 
21.74/21.84	v ~x1351 ~x4653 ~x9995 ~x6295 ~x11666 ~x3022 ~x8225 ~x1352 ~x4654 ~x9716 
21.74/21.84	v ~x6297 ~x11667 ~x3023 ~x8228 ~x1353 ~x4665 ~x9727 ~x6298 ~x11668 ~x3025 
21.74/21.84	v ~x8229 ~x1354 ~x4666 ~x9728 ~x6309 ~x11677 ~x3026 ~x8233 ~x1355 ~x4667 
21.74/21.84	v ~x9732 ~x6310 ~x11678 ~x3037 ~x8236 ~x1356 ~x4669 ~x9743 ~x6311 ~x11679 
21.74/21.84	v ~x3038 ~x8237 ~x1357 ~x4670 ~x9744 ~x6313 ~x11680 ~x3039 ~x8241 ~x1358 
21.74/21.84	v ~x4681 ~x9748 ~x6314 ~x11681 ~x3041 ~x8244 ~x1367 ~x4682 ~x9759 ~x6325 
21.74/21.84	v ~x11682 ~x3042 ~x8245 ~x1368 ~x4683 ~x9760 ~x6326 ~x11683 ~x3049 ~x8249 
21.74/21.84	v ~x1369 ~x4685 ~x9764 ~x6327 ~x11684 ~x3050 ~x8252 ~x1370 ~x4686 ~x9775 
21.74/21.84	v ~x6329 ~x11693 ~x3051 ~x8253 ~x1371 ~x4697 ~x9776 ~x6330 ~x11694 ~x3052 
21.74/21.84	v ~x8257 ~x1372 ~x4698 ~x9780 ~x6341 ~x11695 ~x3053 ~x8260 ~x1373 ~x4699 
21.74/21.84	v ~x9791 ~x6342 ~x11696 ~x3054 ~x8261 ~x1374 ~x4701 ~x9792 ~x6343 ~x11697 
21.74/21.84	v ~x3055 ~x8265 ~x1383 ~x4702 ~x9796 ~x6345 ~x11698 ~x3059 ~x8268 ~x1384 
21.74/21.84	v ~x4713 ~x9807 ~x6346 ~x11699 ~x3060 ~x8130 ~x1385 ~x4714 ~x9808 ~x6357 
21.74/21.84	v ~x11700 ~x3061 ~x8131 ~x1386 ~x4715 ~x9812 ~x6358 ~x11709 ~x3062 ~x8134 
21.74/21.84	v ~x1387 ~x4717 ~x9823 ~x6359 ~x11710 ~x3063 ~x8135 ~x1388 ~x4718 ~x9824 
21.74/21.84	v ~x6361 ~x11711 ~x3064 ~x8136 ~x1389 ~x4729 ~x9828 ~x6362 ~x11712 ~x3065 
21.74/21.84	v ~x8138 ~x1390 ~x4730 ~x9839 ~x6373 ~x11713 ~x3066 ~x8139 ~x1399 ~x4731 
21.74/21.84	v ~x9840 ~x6374 ~x11714 ~x3075 ~x8142 ~x1400 ~x4733 ~x9844 ~x6375 ~x11715 
21.74/21.84	v ~x3076 ~x8143 ~x1401 ~x4734 ~x9855 ~x6377 ~x11716 ~x3077 ~x8144 ~x1402 
21.74/21.84	v ~x4745 ~x9856 ~x6378 ~x11725 ~x3078 ~x8146 ~x1403 ~x4746 ~x9860 ~x6389 
21.74/21.84	v ~x11726 ~x3079 ~x8147 ~x1404 ~x4747 ~x9871 ~x6390 ~x11727 ~x3080 ~x8150 
21.74/21.84	v ~x1405 ~x4749 ~x9872 ~x6391 ~x11728 ~x3081 ~x8151 ~x1406 ~x4750 ~x9876 
21.74/21.84	v ~x6393 ~x11729 ~x3082 ~x8152 ~x1415 ~x4761 ~x9887 ~x6394 ~x11450 ~x3091 
21.74/21.84	v ~x8154 ~x1416 ~x4762 ~x9888 ~x6405 ~x11461 ~x3092 ~x8155 ~x1417 ~x4763 
21.74/21.84	v ~x9892 ~x6406 ~x11462 ~x3093 ~x8158 ~x1418 ~x4765 ~x9903 ~x6407 ~x11466 
21.74/21.84	v ~x3094 ~x8159 ~x1419 ~x4766 ~x9904 ~x6409 ~x11477 ~x3095 ~x8160 ~x1420 
21.74/21.84	v ~x4777 ~x9908 ~x6410 ~x11478 ~x3096 ~x8162 ~x1421 ~x4778 ~x9919 ~x6421 
21.74/21.84	v ~x11482 ~x3097 ~x8163 ~x1422 ~x4779 ~x9920 ~x6422 ~x11493 ~x3098 ~x8166 
21.74/21.84	v ~x1431 ~x4781 ~x9924 ~x6423 ~x11494 ~x3107 ~x8167 ~x1432 ~x4782 ~x9935 
21.74/21.84	v ~x6425 ~x11498 ~x3108 ~x8168 ~x1433 ~x4789 ~x9936 ~x6426 ~x11509 ~x3109 
21.74/21.84	v ~x8170 ~x1434 ~x4790 ~x9940 ~x6437 ~x11510 ~x3110 ~x8171 ~x1435 ~x4791 
21.74/21.84	v ~x9951 ~x6438 ~x11514 ~x3111 ~x8174 ~x1436 ~x4792 ~x9952 ~x6439 ~x11525 
21.74/21.84	v ~x3112 ~x8175 ~x1437 ~x4793 ~x9956 ~x6441 ~x11526 ~x3113 ~x8176 ~x1438 
21.74/21.84	v ~x4794 ~x9967 ~x6442 ~x11530 ~x3114 ~x8178 ~x1447 ~x4795 ~x9968 ~x6453 
21.74/21.84	v ~x11541 ~x3123 ~x8179 ~x1448 ~x4799 ~x9972 ~x6454 ~x11542 ~x3124 ~x8182 
21.74/21.84	v ~x1449 ~x4800 ~x9983 ~x6455 ~x11546 ~x3125 ~x8183 ~x1450 ~x4801 ~x9984 
21.74/21.84	v ~x6457 ~x11557 ~x3126 ~x8184 ~x1451 ~x4802 ~x9988 ~x6458 ~x11558 ~x3127 
21.74/21.84	v ~x8186 ~x1452 ~x4803 ~x9996 ~x6469 ~x11562 ~x3128 ~x8187 ~x1453 ~x4804 
21.74/21.84	v ~x9717 ~x6470 ~x11573 ~x3129 ~x8190 ~x1454 ~x4805 ~x9718 ~x6471 ~x11574 
21.74/21.84	v ~x3130 ~x8191 ~x1463 ~x4806 ~x9729 ~x6473 ~x11578 ~x3139 ~x8192 ~x1464 
21.74/21.84	v ~x4815 ~x9730 ~x6474 ~x11589 ~x3140 ~x8194 ~x1465 ~x4816 ~x9731 ~x6485 
21.74/21.84	v ~x11590 ~x3141 ~x8195 ~x1466 ~x4817 ~x9733 ~x6486 ~x11594 ~x3142 ~x8198 
21.74/21.84	v ~x1467 ~x4818 ~x9734 ~x6487 ~x11605 ~x3143 ~x8199 ~x1468 ~x4819 ~x9745 
21.74/21.84	v ~x6489 ~x11606 ~x3144 ~x8200 ~x1469 ~x4820 ~x9746 ~x6490 ~x11610 ~x3145 
21.74/21.84	v ~x8202 ~x1470 ~x4821 ~x9747 ~x6501 ~x11621 ~x3146 ~x8203 ~x1479 ~x4822 
21.74/21.84	v ~x9749 ~x6502 ~x11622 ~x3155 ~x8206 ~x1480 ~x4831 ~x9750 ~x6503 ~x11626 
21.74/21.84	v ~x3156 ~x8207 ~x1481 ~x4832 ~x9761 ~x6505 ~x11637 ~x3157 ~x8208 ~x1482 
21.74/21.84	v ~x4833 ~x9762 ~x6506 ~x11638 ~x3158 ~x8210 ~x1483 ~x4834 ~x9763 ~x6517 
21.74/21.84	v ~x11642 ~x3159 ~x8211 ~x1484 ~x4835 ~x9765 ~x6518 ~x11653 ~x3160 ~x8214 
21.74/21.84	v ~x1485 ~x4836 ~x9766 ~x6519 ~x11654 ~x3161 ~x8215 ~x1486 ~x4837 ~x9777 
21.74/21.84	v ~x6521 ~x11658 ~x3162 ~x8216 ~x1495 ~x4838 ~x9778 ~x6522 ~x11669 ~x3171 
21.74/21.84	v ~x8218 ~x1496 ~x4847 ~x9779 ~x6529 ~x11670 ~x3172 ~x8219 ~x1497 ~x4848 
21.74/21.84	v ~x9781 ~x6530 ~x11674 ~x3173 ~x8222 ~x1498 ~x4849 ~x9782 ~x6531 ~x11685 
21.74/21.84	v ~x3174 ~x8223 ~x1499 ~x4850 ~x9793 ~x6532 ~x11686 ~x3175 ~x8224 ~x1500 
21.74/21.84	v ~x4851 ~x9794 ~x6533 ~x11690 ~x3176 ~x8226 ~x1501 ~x4852 ~x9795 ~x6534 
21.74/21.84	v ~x11701 ~x3177 ~x8227 ~x1502 ~x4853 ~x9797 ~x6535 ~x11702 ~x3178 ~x8230 
21.74/21.84	v ~x1511 ~x4854 ~x9798 ~x6539 ~x11706 ~x3187 ~x8231 ~x1512 ~x4863 ~x9809 
21.74/21.84	v ~x6540 ~x11717 ~x3188 ~x8232 ~x1513 ~x4864 ~x9810 ~x6541 ~x11718 ~x3189 
21.74/21.84	v ~x8234 ~x1514 ~x4865 ~x9811 ~x6542 ~x11722 ~x3190 ~x8235 ~x1515 ~x4866 
21.74/21.84	v ~x9813 ~x6543 ~x11730 ~x3191 ~x8238 ~x1516 ~x4867 ~x9814 ~x6544 ~x11451 
21.74/21.84	v ~x3192 ~x8239 ~x1517 ~x4868 ~x9825 ~x6545 ~x11452 ~x3193 ~x8240 ~x1518 
21.74/21.84	v ~x4869 ~x9826 ~x6546 ~x11463 ~x3194 ~x8242 ~x1527 ~x4870 ~x9827 ~x6555 
21.74/21.84	v ~x11464 ~x3203 ~x8243 ~x1528 ~x4879 ~x9829 ~x6556 ~x11465 ~x3204 ~x8246 
21.74/21.84	v ~x1529 ~x4880 ~x9830 ~x6557 ~x11467 ~x3205 ~x8247 ~x1530 ~x4881 ~x9841 
21.74/21.84	v ~x6558 ~x11468 ~x3206 ~x8248 ~x1531 ~x4882 ~x9842 ~x6559 ~x11479 ~x3207 
21.74/21.84	v ~x8250 ~x1532 ~x4883 ~x9843 ~x6560 ~x11480 ~x3208 ~x8251 ~x1533 ~x4884 
21.74/21.84	v ~x9845 ~x6561 ~x11481 ~x3209 ~x8254 ~x1534 ~x4885 ~x9846 ~x6562 ~x11483 
21.74/21.84	v ~x3210 ~x8255 ~x1543 ~x4886 ~x9857 ~x6571 ~x11484 ~x3219 ~x8256 ~x1544 
21.74/21.84	v ~x4895 ~x9858 ~x6572 ~x11495 ~x3220 ~x8258 ~x1545 ~x4896 ~x9859 ~x6573 
21.74/21.84	v ~x11496 ~x3221 ~x8259 ~x1546 ~x4897 ~x9861 ~x6574 ~x11497 ~x3222 ~x8262 
21.74/21.84	v ~x1547 ~x4898 ~x9862 ~x6575 ~x11499 ~x3223 ~x8263 ~x1548 ~x4899 ~x9873 
21.74/21.84	v ~x6576 ~x11500 ~x3224 ~x8264 ~x1549 ~x4900 ~x9874 ~x6577 ~x11511 ~x3225 
21.74/21.84	v ~x8266 ~x1550 ~x4901 ~x9875 ~x6578 ~x11512 ~x3226 ~x8267 ~x1559 ~x4902 
21.74/21.84	v ~x9877 ~x6587 ~x11513 ~x3235 ~x8269 ~x1560 ~x4911 ~x9878 ~x6588 ~x11515 
21.74/21.84	v ~x3236 ~x8270 ~x1561 ~x4912 ~x9889 ~x6589 ~x11516 ~x3237 ~x8271 ~x1562 
21.74/21.84	v ~x4913 ~x9890 ~x6590 ~x11527 ~x3238 ~x8272 ~x1563 ~x4914 ~x9891 ~x6591 
21.74/21.84	v ~x11528 ~x3239 ~x8273 ~x1564 ~x4915 ~x9893 ~x6592 ~x11529 ~x3240 ~x8274 
21.74/21.84	v ~x1565 ~x4916 ~x9894 ~x6593 ~x11531 ~x3241 ~x8275 ~x1566 ~x4917 ~x9905 
21.74/21.84	v ~x6594 ~x11532 ~x3242 ~x8279 ~x1575 ~x4918 ~x9906 ~x6603 ~x11543 ~x3251 
21.74/21.84	v ~x8280 ~x1576 ~x4927 ~x9907 ~x6604 ~x11544 ~x3252 ~x8281 ~x1577 ~x4928 
21.74/21.84	v ~x9909 ~x6605 ~x11545 ~x3253 ~x8282 ~x1578 ~x4929 ~x9910 ~x6606 ~x11547 
21.74/21.84	v ~x3254 ~x8283 ~x1579 ~x4930 ~x9921 ~x6607 ~x11548 ~x3255 ~x8284 ~x1580 
21.74/21.84	v ~x4931 ~x9922 ~x6608 ~x11559 ~x3256 ~x8285 ~x1581 ~x4932 ~x9923 ~x6609 
21.74/21.84	v ~x11560 ~x3257 ~x8286 ~x1582 ~x4933 ~x9925 ~x6610 ~x11561 ~x3258 ~x8295 
21.74/21.84	v ~x1591 ~x4934 ~x9926 ~x6619 ~x11563 ~x3267 ~x8296 ~x1592 ~x4943 ~x9937 
21.74/21.84	v ~x6620 ~x11564 ~x3268 ~x8297 ~x1593 ~x4944 ~x9938 ~x6621 ~x11575 ~x3269 
21.74/21.84	v ~x8298 ~x1594 ~x4945 ~x9939 ~x6622 ~x11576 ~x3270 ~x8299 ~x1595 ~x4946 
21.74/21.84	v ~x9941 ~x6623 ~x11577 ~x3271 ~x8300 ~x1316 ~x4947 ~x9942 ~x6624 ~x11579 
21.74/21.84	v ~x3272 ~x8301 ~x1327 ~x4948 ~x9953 ~x6625 ~x11580 ~x3273 ~x8302 ~x1328 
21.74/21.84	v ~x4949 ~x9954 ~x6626 ~x11591 ~x3274 ~x8311 ~x1332 ~x4950 ~x9955 ~x6635 
21.74/21.84	v ~x11592 ~x3283 ~x8312 ~x1343 ~x4959 ~x9957 ~x6636 ~x11593 ~x3284 ~x8313 
21.74/21.84	v ~x1344 ~x4960 ~x9958 ~x6637 ~x11595 ~x3285 ~x8314 ~x1348 ~x4961 ~x9969 
21.74/21.84	v ~x6638 ~x11596 ~x3286 ~x8315 ~x1359 ~x4962 ~x9970 ~x6639 ~x11607 ~x3287 
21.74/21.84	v ~x8316 ~x1360 ~x4963 ~x9971 ~x6640 ~x11608 ~x3288 ~x8317 ~x1364 ~x4964 
21.74/21.84	v ~x9973 ~x6641 ~x11609 ~x3289 ~x8318 ~x1375 ~x4965 ~x9974 ~x6642 ~x11611 
21.74/21.84	v ~x3290 ~x8327 ~x1376 ~x4966 ~x9985 ~x6651 ~x11612 ~x3299 ~x8328 ~x1380 
21.74/21.84	v ~x4975 ~x9986 ~x6652 ~x11623 ~x3300 ~x8329 ~x1391 ~x4976 ~x9987 ~x6653 
21.74/21.84	v ~x11624 ~x3301 ~x8330 ~x1392 ~x4977 ~x9989 ~x6654 ~x11625 ~x3302 ~x8331 
21.74/21.84	v ~x1396 ~x4978 ~x9990 ~x6655 ~x11627 ~x3303 ~x8332 ~x1407 ~x4979 ~x9997 
21.74/21.84	v ~x6656 ~x11628 ~x3304 ~x8333 ~x1408 ~x4980 ~x9998 ~x6657 ~x11639 ~x3305 
21.74/21.84	v ~x8334 ~x1412 ~x4981 ~x9999 ~x6658 ~x11640 ~x3306 ~x8343 ~x1423 ~x4982 
21.74/21.84	v ~x10000 ~x6667 ~x11641 ~x3315 ~x8344 ~x1424 ~x4991 ~x10001 ~x6668 ~x11643 
21.74/21.84	v ~x3316 ~x8345 ~x1428 ~x4992 ~x10002 ~x6669 ~x11644 ~x3317 ~x8346 ~x1439 
21.74/21.84	v ~x4993 ~x10003 ~x6670 ~x11655 ~x3318 ~x8347 ~x1440 ~x4994 ~x10004 ~x6671 
21.74/21.84	v ~x11656 ~x3319 ~x8348 ~x1444 ~x4995 ~x10005 ~x6672 ~x11657 ~x3320 ~x8349 
21.74/21.84	v ~x1455 ~x4996 ~x10006 ~x6673 ~x11659 ~x3321 ~x8350 ~x1456 ~x4997 ~x10007 
21.74/21.84	v ~x6674 ~x11660 ~x3322 ~x8359 ~x1460 ~x4998 ~x10010 ~x6683 ~x11671 ~x3331 
21.74/21.84	v ~x8360 ~x1471 ~x5007 ~x10011 ~x6684 ~x11672 ~x3332 ~x8361 ~x1472 ~x5008 
21.74/21.84	v ~x10012 ~x6685 ~x11673 ~x3333 ~x8362 ~x1476 ~x5009 ~x10013 ~x6686 ~x11675 
21.74/21.84	v ~x3334 ~x8363 ~x1487 ~x5010 ~x10014 ~x6687 ~x11676 ~x3335 ~x8364 ~x1488 
21.74/21.84	v ~x5011 ~x10015 ~x6688 ~x11687 ~x3056 ~x8365 ~x1492 ~x5012 ~x10018 ~x6689 
21.74/21.84	v ~x11688 ~x3067 ~x8366 ~x1503 ~x5013 ~x10019 ~x6690 ~x11689 ~x3068 ~x8375 
21.74/21.84	v ~x1504 ~x5014 ~x10020 ~x6699 ~x11691 ~x3072 ~x8376 ~x1508 ~x5023 ~x10021 
21.74/21.84	v ~x6700 ~x11692 ~x3083 ~x8377 ~x1519 ~x5024 ~x10022 ~x6701 ~x11703 ~x3084 
21.74/21.84	v ~x8378 ~x1520 ~x5025 ~x10023 ~x6702 ~x11704 ~x3088 ~x8379 ~x1524 ~x5026 
21.74/21.84	v ~x10026 ~x6703 ~x11705 ~x3099 ~x8380 ~x1535 ~x5027 ~x10027 ~x6704 ~x11707 
21.74/21.84	v ~x3100 ~x8381 ~x1536 ~x5028 ~x10028 ~x6705 ~x11708 ~x3104 ~x8382 ~x1540 
21.74/21.84	v ~x5029 ~x10029 ~x6706 ~x11719 ~x3115 ~x8391 ~x1551 ~x5030 ~x10030 ~x6715 
21.74/21.84	v ~x11720 ~x3116 ~x8392 ~x1552 ~x5039 ~x10031 ~x6716 ~x11721 ~x3120 ~x8393 
21.74/21.84	v ~x1556 ~x5040 ~x10034 ~x6717 ~x11723 ~x3131 ~x8394 ~x1567 ~x5041 ~x10035 
21.74/21.84	v ~x6718 ~x11724 ~x3132 ~x8395 ~x1568 ~x5042 ~x10036 ~x6719 ~x11731 ~x3136 
21.74/21.84	v ~x8396 ~x1572 ~x5043 ~x10037 ~x6720 ~x11732 ~x3147 ~x8397 ~x1583 ~x5044 
21.74/21.84	v ~x10038 ~x6721 ~x11733 ~x3148 ~x8398 ~x1584 ~x5045 ~x10039 ~x6722 ~x11734 
21.74/21.84	v ~x3152 ~x8407 ~x1588 ~x5046 ~x10042 ~x6731 ~x11735 ~x3163 ~x8408 ~x1596 
21.74/21.84	v ~x5055 ~x10043 ~x6732 ~x11736 ~x3164 ~x8409 ~x1317 ~x5056 ~x10044 ~x6733 
21.74/21.84	v ~x11737 ~x3168 ~x8410 ~x1318 ~x5057 ~x10045 ~x6734 ~x11741 ~x3179 ~x8411 
21.74/21.84	v ~x1329 ~x5058 ~x10046 ~x6735 ~x11742 ~x3180 ~x8412 ~x1330 ~x5059 ~x10047 
21.74/21.84	v ~x6736 ~x11743 ~x3184 ~x8413 ~x1331 ~x5060 ~x10050 ~x6737 ~x11744 ~x3195 
21.74/21.84	v ~x8414 ~x1333 ~x5061 ~x10051 ~x6738 ~x11745 ~x3196 ~x8423 ~x1334 ~x5062 
21.74/21.84	v ~x10052 ~x6747 ~x11746 ~x3200 ~x8424 ~x1345 ~x5071 ~x10053 ~x6748 ~x11747 
21.74/21.84	v ~x3211 ~x8425 ~x1346 ~x5072 ~x10054 ~x6749 ~x11748 ~x3212 ~x8426 ~x1347 
21.74/21.84	v ~x5073 ~x10055 ~x6750 ~x11757 ~x3216 ~x8427 ~x1349 ~x5074 ~x10058 ~x6751 
21.74/21.84	v ~x11758 ~x3227 ~x8428 ~x1350 ~x5075 ~x10059 ~x6752 ~x11759 ~x3228 ~x8429 
21.74/21.84	v ~x1361 ~x4796 ~x10060 ~x6753 ~x11760 ~x3232 ~x8430 ~x1362 ~x4807 ~x10061 
21.74/21.84	v ~x6754 ~x11761 ~x3243 ~x8439 ~x1363 ~x4808 ~x10062 ~x6763 ~x11762 ~x3244 
21.74/21.84	v ~x8440 ~x1365 ~x4812 ~x10063 ~x6764 ~x11763 ~x3248 ~x8441 ~x1366 ~x4823 
21.74/21.84	v ~x10066 ~x6765 ~x11764 ~x3259 ~x8442 ~x1377 ~x4824 ~x10067 ~x6766 ~x11773 
21.74/21.84	v ~x3260 ~x8443 ~x1378 ~x4828 ~x10068 ~x6767 ~x11774 ~x3264 ~x8444 ~x1379 
21.74/21.84	v ~x4839 ~x10069 ~x6768 ~x11775 ~x3275 ~x8445 ~x1381 ~x4840 ~x10070 ~x6769 
21.74/21.84	v ~x11776 ~x3276 ~x8446 ~x1382 ~x4844 ~x10071 ~x6770 ~x11777 ~x3280 ~x8455 
21.74/21.84	v ~x1393 ~x4855 ~x10074 ~x6779 ~x11778 ~x3291 ~x8456 ~x1394 ~x4856 ~x10075 
21.74/21.84	v ~x6780 ~x11779 ~x3292 ~x8457 ~x1395 ~x4860 ~x10076 ~x6781 ~x11780 ~x3296 
21.74/21.84	v ~x8458 ~x1397 ~x4871 ~x10077 ~x6782 ~x11789 ~x3307 ~x8459 ~x1398 ~x4872 
21.74/21.84	v ~x10078 ~x6783 ~x11790 ~x3308 ~x8460 ~x1409 ~x4876 ~x10079 ~x6784 ~x11791 
21.74/21.84	v ~x3312 ~x8461 ~x1410 ~x4887 ~x10082 ~x6785 ~x11792 ~x3323 ~x8462 ~x1411 
21.74/21.84	v ~x4888 ~x10083 ~x6786 ~x11793 ~x3324 ~x8471 ~x1413 ~x4892 ~x10084 ~x6795 
21.74/21.84	v ~x11794 ~x3328 ~x8472 ~x1414 ~x4903 ~x10085 ~x6796 ~x11795 ~x3336 ~x8473 
21.74/21.84	v ~x1425 ~x4904 ~x10086 ~x6797 ~x11796 ~x3057 ~x8474 ~x1426 ~x4908 ~x10087 
21.74/21.84	v ~x6798 ~x11805 ~x3058 ~x8475 ~x1427 ~x4919 ~x10090 ~x6799 ~x11806 ~x3069 
21.74/21.84	v ~x8476 ~x1429 ~x4920 ~x10091 ~x6800 ~x11807 ~x3070 ~x8477 ~x1430 ~x4924 
21.74/21.84	v ~x10092 ~x6801 ~x11808 ~x3071 ~x8478 ~x1441 ~x4935 ~x10093 ~x6802 ~x11809 
21.74/21.84	v ~x3073 ~x8487 ~x1442 ~x4936 ~x10094 ~x6811 ~x11810 ~x3074 ~x8488 ~x1443 
21.74/21.84	v ~x4940 ~x10095 ~x6812 ~x11811 ~x3085 ~x8489 ~x1445 ~x4951 ~x10098 ~x6813 
21.74/21.84	v ~x11812 ~x3086 ~x8490 ~x1446 ~x4952 ~x10099 ~x6814 ~x11821 ~x3087 ~x8491 
21.74/21.84	v ~x1457 ~x4956 ~x10100 ~x6815 ~x11822 ~x3089 ~x8492 ~x1458 ~x4967 ~x10101 
21.74/21.84	v ~x6536 ~x11823 ~x3090 ~x8493 ~x1459 ~x4968 ~x10102 ~x6547 ~x11824 ~x3101 
21.74/21.84	v ~x8494 ~x1461 ~x4972 ~x10103 ~x6548 ~x11825 ~x3102 ~x8503 ~x1462 ~x4983 
21.74/21.84	v ~x10106 ~x6552 ~x11826 ~x3103 ~x8504 ~x1473 ~x4984 ~x10107 ~x6563 ~x11827 
21.74/21.84	v ~x3105 ~x8505 ~x1474 ~x4988 ~x10108 ~x6564 ~x11828 ~x3106 ~x8506 ~x1475 
21.74/21.84	v ~x4999 ~x10109 ~x6568 ~x11837 ~x3117 ~x8507 ~x1477 ~x5000 ~x10110 ~x6579 
21.74/21.84	v ~x11838 ~x3118 ~x8508 ~x1478 ~x5004 ~x10111 ~x6580 ~x11839 ~x3119 ~x8509 
21.74/21.84	v ~x1489 ~x5015 ~x10114 ~x6584 ~x11840 ~x3121 ~x8510 ~x1490 ~x5016 ~x10115 
21.74/21.84	v ~x6595 ~x11841 ~x3122 ~x8519 ~x1491 ~x5020 ~x10116 ~x6596 ~x11842 ~x3133 
21.74/21.84	v ~x8520 ~x1493 ~x5031 ~x10117 ~x6600 ~x11843 ~x3134 ~x8521 ~x1494 ~x5032 
21.74/21.84	v ~x10118 ~x6611 ~x11844 ~x3135 ~x8522 ~x1505 ~x5036 ~x10119 ~x6612 ~x11853 
21.74/21.84	v ~x3137 ~x8523 ~x1506 ~x5047 ~x10122 ~x6616 ~x11854 ~x3138 ~x8524 ~x1507 
21.74/21.84	v ~x5048 ~x10123 ~x6627 ~x11855 ~x3149 ~x8525 ~x1509 ~x5052 ~x10124 ~x6628 
21.74/21.84	v ~x11856 ~x3150 ~x8526 ~x1510 ~x5063 ~x10125 ~x6632 ~x11857 ~x3151 ~x8535 
21.74/21.84	v ~x1521 ~x5064 ~x10126 ~x6643 ~x11858 ~x3153 ~x8536 ~x1522 ~x5068 ~x10127 
21.74/21.84	v ~x6644 ~x11859 ~x3154 ~x8537 ~x1523 ~x5076 ~x10130 ~x6648 ~x11860 ~x3165 
21.74/21.84	v ~x8538 ~x1525 ~x4797 ~x10131 ~x6659 ~x11869 ~x3166 ~x8539 ~x1526 ~x4798 
21.74/21.84	v ~x10132 ~x6660 ~x11870 ~x3167 ~x8540 ~x1537 ~x4809 ~x10133 ~x6664 ~x11871 
21.74/21.84	v ~x3169 ~x8541 ~x1538 ~x4810 ~x10134 ~x6675 ~x11872 ~x3170 ~x8542 ~x1539 
21.74/21.84	v ~x4811 ~x10135 ~x6676 ~x11873 ~x3181 ~x8551 ~x1541 ~x4813 ~x10138 ~x6680 
21.74/21.84	v ~x11874 ~x3182 ~x8552 ~x1542 ~x4814 ~x10139 ~x6691 ~x11875 ~x3183 ~x8553 
21.74/21.84	v ~x1553 ~x4825 ~x10140 ~x6692 ~x11876 ~x3185 ~x8554 ~x1554 ~x4826 ~x10008 
21.74/21.84	v ~x6696 ~x11885 ~x3186 ~x8555 ~x1555 ~x4827 ~x10016 ~x6707 ~x11886 ~x3197 
21.74/21.84	v ~x8276 ~x1557 ~x4829 ~x10024 ~x6708 ~x11887 ~x3198 ~x8287 ~x1558 ~x4830 
21.74/21.84	v ~x10032 ~x6712 ~x11888 ~x3199 ~x8288 ~x1569 ~x4841 ~x10040 ~x6723 ~x11889 
21.74/21.84	v ~x3201 ~x8292 ~x1570 ~x4842 ~x10048 ~x6724 ~x11890 ~x3202 ~x8303 ~x1571 
21.74/21.84	v ~x4843 ~x10056 ~x6728 ~x11891 ~x3213 ~x8304 ~x1573 ~x4845 ~x10064 ~x6739 
21.74/21.84	v ~x11892 ~x3214 ~x8308 ~x1574 ~x4846 ~x10072 ~x6740 ~x11901 ~x3215 ~x8319 
21.74/21.84	v ~x1585 ~x4857 ~x10080 ~x6744 ~x11902 ~x3217 ~x8320 ~x1586 ~x4858 ~x10088 
21.74/21.84	v ~x6755 ~x11903 ~x3218 ~x8324 ~x1587 ~x4859 ~x10096 ~x6756 ~x11904 ~x3229 
21.74/21.84	v ~x8335 ~x1589 ~x4861 ~x10104 ~x6760 ~x11905 ~x3230 ~x8336 ~x1590 ~x4862 
21.74/21.84	v ~x10112 ~x6771 ~x11906 ~x3231 ~x8340 ~x1597 ~x4873 ~x10120 ~x6772 ~x11907 
21.74/21.84	v ~x3233 ~x8351 ~x1598 ~x4874 ~x10128 ~x6776 ~x11908 ~x3234 ~x8352 ~x1599 
21.74/21.84	v ~x4875 ~x10136 ~x6787 ~x11917 ~x3245 ~x8356 ~x1600 ~x4877 ~x10009 ~x6788 
21.74/21.84	v ~x11918 ~x3246 ~x8367 ~x1601 ~x4878 ~x10017 ~x6792 ~x11919 ~x3247 ~x8368 
21.74/21.84	v ~x1602 ~x4889 ~x10025 ~x6803 ~x11920 ~x3249 ~x8372 ~x1603 ~x4890 ~x10033 
21.74/21.84	v ~x6804 ~x11921 ~x3250 ~x8383 ~x1607 ~x4891 ~x10041 ~x6808 ~x11922 ~x3261 
21.74/21.84	v ~x8384 ~x1608 ~x4893 ~x10049 ~x6816 ~x11923 ~x3262 ~x8388 ~x1609 ~x4894 
21.74/21.84	v ~x10057 ~x6537 ~x11924 ~x3263 ~x8399 ~x1610 ~x4905 ~x10065 ~x6538 ~x11933 
21.74/21.84	v ~x3265 ~x8400 ~x1611 ~x4906 ~x10073 ~x6549 ~x11934 ~x3266 ~x8404 ~x1612 
21.74/21.84	v ~x4907 ~x10081 ~x6550 ~x11935 ~x3277 ~x8415 ~x1613 ~x4909 ~x1 ~x10089 
21.74/21.84	v ~x6551 ~x11936 ~x3278 ~x8416 ~x1614 ~x4910 ~x2 ~x10097 ~x6553 ~x11937 
21.74/21.84	v ~x3279 ~x8420 

OK	0

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61731 MiB free)
  memory of node 1: 64473 MiB (62080 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459322-1721901917/watcher-4459322-1721901917 -o /tmp/evaluation-result-4459322-1721901917/solver-4459322-1721901917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721901917-236388 --watchdog 3760 pb_picat HOME/instance-4459322-1721901917.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=236437, runsolver pid=236434

[startup+0.100299 s]*
/proc/loadavg: 3.17 3.16 3.23 7/253 236440
/proc/meminfo: memFree=126701900/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2033608 memory=39644 CPUtime=0.09 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 881 0 0 0 9 0 0 0 20 0 1 0 26720765 2082414592 9911 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 508402 9911 1539 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39644 KiB

[startup+0.205349 s]*
/proc/loadavg: 3.17 3.16 3.23 7/258 236449
/proc/meminfo: memFree=126624808/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2033608 memory=64220 CPUtime=0.2 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 893 0 0 0 19 1 0 0 20 0 1 0 26720765 2082414592 16055 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 508402 16055 1539 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 64220 KiB

[startup+0.304966 s]*
/proc/loadavg: 3.17 3.16 3.23 7/258 236449
/proc/meminfo: memFree=126588236/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2041424 memory=84920 CPUtime=0.29 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 971 0 0 0 28 1 0 0 20 0 1 0 26720765 2090418176 21230 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 510356 21230 1555 439 0 505785 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 84920 KiB

[startup+0.700181 s]
/proc/loadavg: 3.17 3.16 3.23 7/258 236449
/proc/meminfo: memFree=126512384/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2041424 memory=144716 CPUtime=0.69 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 1069 0 0 0 66 3 0 0 20 0 1 0 26720765 2090418176 36179 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 510356 36179 1555 439 0 505785 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 144716 KiB

[startup+1.50016 s]
/proc/loadavg: 3.24 3.17 3.24 7/258 236449
/proc/meminfo: memFree=126289212/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2190288 memory=347936 CPUtime=1.48 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 5728 0 0 0 140 8 0 0 20 0 1 0 26720765 2242854912 86984 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 547572 86984 1762 439 0 543001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2190288 KiB
Current children cumulated memory: 347936 KiB

[startup+3.10475 s]
/proc/loadavg: 3.24 3.17 3.24 7/258 236449
/proc/meminfo: memFree=125810996/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2255832 memory=403236 CPUtime=3.08 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 7331 0 0 0 298 10 0 0 20 0 1 0 26720765 2309971968 100809 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 563958 100809 1762 439 0 559387 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2255832 KiB
Current children cumulated memory: 403236 KiB

[startup+6.30015 s]
/proc/loadavg: 3.30 3.19 3.24 7/258 236449
/proc/meminfo: memFree=124865712/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2338268 memory=488048 CPUtime=6.27 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 8706 0 0 0 614 13 0 0 20 0 1 0 26720765 2394386432 122012 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 584567 122012 1762 439 0 579996 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2338268 KiB
Current children cumulated memory: 488048 KiB

[startup+12.7002 s]
/proc/loadavg: 3.36 3.20 3.24 7/258 236450
/proc/meminfo: memFree=122806608/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2223448 memory=378000 CPUtime=12.66 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 11253 0 0 0 1241 25 0 0 20 0 1 0 26720765 2276810752 94500 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 555862 94500 1794 439 0 551291 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2223448 KiB
Current children cumulated memory: 378000 KiB

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

# cumulated CPU time of all completed processes:  user=21.3826 s, system=0.419024 s

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

[startup+12.8002 s]
/proc/loadavg: 3.36 3.20 3.24 7/258 236450
/proc/meminfo: memFree=122806608/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2223448 memory=382344 CPUtime=12.76 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 11256 0 0 0 1251 25 0 0 20 0 1 0 26720765 2276810752 95586 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 555862 95586 1794 439 0 551291 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2223448 KiB
Current children cumulated memory: 382344 KiB

[startup+16.0001 s]*
/proc/loadavg: 3.41 3.21 3.25 7/258 236450
/proc/meminfo: memFree=121516468/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2354528 memory=492480 CPUtime=15.97 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 12273 0 0 0 1568 29 0 0 20 0 1 0 26720765 2411036672 123120 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 588632 123120 1794 439 0 584061 0
Current children cumulated CPU time: 15.97 s
Current children cumulated vsize: 2354528 KiB
Current children cumulated memory: 492480 KiB

[startup+19.2001 s]
/proc/loadavg: 3.41 3.21 3.25 7/258 236452
/proc/meminfo: memFree=120699604/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2485600 memory=543732 CPUtime=19.15 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 13383 0 0 0 1883 32 0 0 20 0 1 0 26720765 2545254400 135933 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 621400 135933 1794 439 0 616829 0
Current children cumulated CPU time: 19.15 s
Current children cumulated vsize: 2485600 KiB
Current children cumulated memory: 543732 KiB

[startup+20.8001 s]
/proc/loadavg: 3.41 3.21 3.25 7/258 236452
/proc/meminfo: memFree=120420588/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2485600 memory=551924 CPUtime=20.75 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 13422 0 0 0 2041 34 0 0 20 0 1 0 26720765 2545254400 137981 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 621400 137981 1794 439 0 616829 0
Current children cumulated CPU time: 20.75 s
Current children cumulated vsize: 2485600 KiB
Current children cumulated memory: 551924 KiB

[startup+21.6002 s]
/proc/loadavg: 3.46 3.23 3.25 7/258 236452
/proc/meminfo: memFree=120372732/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2485600 memory=560116 CPUtime=21.55 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 13489 0 0 0 2115 40 0 0 20 0 1 0 26720765 2545254400 140029 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 621400 140029 1794 439 0 616829 0
Current children cumulated CPU time: 21.55 s
Current children cumulated vsize: 2485600 KiB
Current children cumulated memory: 560116 KiB

[startup+21.8002 s]
/proc/loadavg: 3.46 3.23 3.25 7/258 236452
/proc/meminfo: memFree=120372732/131524600 swapFree=131057124/131071996
[pid=236437] ppid=236434 vsize=2485600 memory=582644 CPUtime=21.74 cores=5,7
/proc/236437/stat : 236437 (pb_picat) R 236434 236437 234112 0 -1 4194304 13500 0 0 0 2134 40 0 0 20 0 1 0 26720765 2545254400 145661 134679101440 4194304 5989780 140725826839392 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 38866944 140725826843673 140725826843749 140725826843749 140725826850764 0
/proc/236437/statm: 621400 145661 1794 439 0 616829 0
Current children cumulated CPU time: 21.74 s
Current children cumulated vsize: 2485600 KiB
Current children cumulated memory: 582644 KiB

Child status: 0

Real time (s): 21.8483
CPU time (s): 21.8016
CPU user time (s): 21.3826
CPU system time (s): 0.419024
CPU usage (%): 99.7865
Max. virtual memory (cumulated for all children) (KiB): 2485600
Max. memory (cumulated for all children) (KiB): 582644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3826
system time used= 0.419024
maximum resident set size= 584884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 236437
#   total CPU time (s): 21.8016
#   total CPU user time (s): 21.3826
#   total CPU system time (s): 0.419024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041329 second user time and 0.131288 second system time

The end

Begin job on nodeC025 at 2024-07-25 12:05:17
IDJOB=4459322
IDBENCH=178684
IDSOLVER=3068
FILE ID=nodeC025/4459322-1721901917
RUNJOBID= nodeC025-1721901917-236388
SLURM_JOB_ID= 8089358
Free space on /tmp= 890020 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-neos-3437289-erdre.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459322-1721901917/watcher-4459322-1721901917 -o /tmp/evaluation-result-4459322-1721901917/solver-4459322-1721901917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721901917-236388 --watchdog 3760  pb_picat HOME/instance-4459322-1721901917.opb

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

MD5SUM BENCH= 3b1d457810164e2a6ecdfa44b2cee75c
RANDOM SEED=1783550061

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126799172 kB
MemAvailable:   129697188 kB
Buffers:          318696 kB
Cached:          3378724 kB
SwapCached:          268 kB
Active:          2512292 kB
Inactive:        1551896 kB
Active(anon):       4480 kB
Inactive(anon):   415528 kB
Active(file):    2507812 kB
Inactive(file):  1136368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057124 kB
Dirty:             15480 kB
Writeback:             0 kB
AnonPages:        366888 kB
Mapped:           111160 kB
Shmem:             52872 kB
KReclaimable:     187316 kB
Slab:             312328 kB
SReclaimable:     187316 kB
SUnreclaim:       125012 kB
KernelStack:        3804 kB
PageTables:         9432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     832412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-07-25 12:05:39