0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.18/0.23 c limit for coefficient in constraints and objective to 1000000000
0.18/0.23 c will solve HOME/instance-4485580-1751305746.opb
0.18/0.23 c [0.01] will start solving
44.15/44.37 c [0.06] solve iteration 1, LB=0, UB=29074
44.15/44.37 c [2.99] solve iteration 2, LB=689, UB=882
44.15/44.37 c [43.91] LB=UB after core extraction
44.15/44.37 c [43.91] instance solved in 43.91s (optimization: 41.32s, core-extraction: 0.1s, SIS: 0s), 2 iterations, LB=689, UB=689,
44.15/44.37 d ITERATIONS 2
44.15/44.37 d SIS 0
44.15/44.37 d SIS_SAT 0
44.15/44.37 d SIS_UNSAT 0
44.15/44.37 d SIS_OUT_OF_BUDGET 0
44.15/44.37 d CORES_EXTRACTED 0
44.15/44.37 d CORES_IN_OPTIMIZER 0
44.15/44.37 d CLAUSAL_CORES_IN_OPTIMIZER 0
44.15/44.37 d CARDINALITY_CORES_IN_OPTIMIZER 0
44.15/44.37 d PB_CORES_IN_OPTIMIZER 0
44.15/44.37 d TIME_EXTRACT_CORES 0.100000
44.15/44.37 d TIME_OPTIMIZE 41.320000
44.15/44.37 d TIME_SIS 0.000000
44.15/44.37 c solve_time: 43.910000
44.15/44.37 s OPTIMUM FOUND
44.15/44.37 o 689
44.15/44.37 v -x6362 -x6998 -x7775 -x7860 -x10784 -x11675 -x11771 -x11784 -x12097 -x14207 -x1940 -x1941 -x4003 -x4005 -x4011 -x4076 -x4077 -x4121 x4126 -x4128 -x4196 -x4372 -x4373 -x6334 -x9765 -x11416 -x2076 -x2428 -x2452 -x2528 -x2934 x4599 -x5284 -x5387 -x5889 -x7093 -x9820 -x10482 -x11713 -x11800 -x11809 -x12662 -x12781 -x12820 -x13063 x13064 -x13065 -x13066 -x13067 -x13068 -x13069 -x13070 -x13071 -x13072 -x13073 -x13074 -x13075 -x13076 -x13077 -x13078 -x13079 -x13080 -x13081 -x13082 -x13083 -x13084 -x13085 -x13086 -x13087 -x13229 -x13696 -x13697 -x14379 -x15243 -x89 -x138 -x161 -x187 -x231 -x294 -x379 -x871 -x925 -x6188 -x7091 -x7092 -x7094 -x7095 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7122 x7124 -x7208 -x7209 -x7210 -x7211 -x7212 -x7232 -x7233 -x7234 x7242 -x2037 -x2552 -x2557 -x2562 -x2563 -x2579 -x5184 -x5279 -x5310 -x5316 -x5324 -x5325 -x8648 -x8660 -x441 -x468 -x4809 -x5725 -x5739 -x5740 -x5747 -x5748 -x5752 -x5785 -x5786 -x7874 -x8352 -x8353 -x12357 -x12374 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x2512 -x2519 -x2875 -x2879 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x8285 -x10959 -x11064 x11094 -x11095 -x12023 -x12024 -x12951 -x14341 -x14342 -x14969 -x259 -x260 -x1276 -x1311 -x1316 -x1620 -x1623 -x1630 -x1945 -x3727 -x3730 x4971 -x5452 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x6009 -x10633 -x10635 -x12877 -x12878 -x1508 -x7008 -x1631 -x1865 -x1868 -x1871 x1872 -x1873 -x1874 -x1939 -x2623 -x2626 -x3016 -x3125 -x3128 -x3131 -x4499 -x4904 -x4905 -x5508 -x5907 x5911 -x6486 -x6487 -x6760 -x6765 -x10145 -x10146 -x10184 -x10185 -x11947 -x11952 -x12856 -x210 -x4972 -x5483 -x5903 -x8293 -x8320 -x12828 -x12851 -x12862 -x1023 -x9093 x9731 -x1309 -x1947 -x4390 -x4391 -x4896 -x5386 -x5888 -x5902 -x7081 -x9230 -x10568 -x10579 -x10657 -x11785 -x12780 -x12819 -x118 x890 -x917 -x1022 -x5579 -x5580 x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5663 -x1629 -x4111 -x4112 -x4385 -x4386 -x4387 -x4388 -x4389 -x4488 -x4489 -x5516 -x5517 -x12000 -x4908 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x2664 -x1866 -x1869 -x1870 -x1924 -x2616 -x3116 -x3132 -x4351 -x4352 -x4366 -x4367 -x4403 -x4404 -x5424 -x5453 -x8288 -x8303 -x10634 -x12456 -x12457 -x12469 -x12470 -x211 x4810 -x4898 -x6101 -x7876 -x7952 -x8355 -x11065 -x304 -x4110 -x4487 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x12876 -x9504 -x9505 -x9506 -x4909 x5556 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x4407 -x7587 -x7671 -x2701 -x2702 -x4350 -x4365 -x4402 -x5555 -x6043 -x6044 -x11957 x12455 -x12468 -x7625 -x2718 -x3467 -x3486 -x6064 -x6493 -x6528 -x5723 x5724 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5749 -x5750 x5751 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 -x5805 -x5808 -x6045 -x6046 -x6047 -x9897 -x12538 -x12539 -x12540 -x12541 -x12542 -x12628 -x12629 -x12630 -x12631 x1074 -x9391 -x4374 -x1971 -x6039 -x6040 -x6041 -x6042 -x9876 -x9955 -x7621 -x7622 -x9899 -x9900 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x3707 -x3708 x9874 -x9953 -x10134 -x10135 -x811 -x812 -x817 -x841 -x901 -x902 -x903 -x904 -x923 -x1088 -x1089 -x1090 -x1091 -x1677 -x1678 -x9033 -x9034 -x9035 -x9036 -x9039 -x9040 -x9092 -x9095 -x12138 -x12139 -x12140 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x12798 -x12799 -x12800 x12801 -x12802 -x12803 -x9977 -x1780 -x3930 -x5161 -x2352 -x9867 -x9868 -x9939 -x9942 -x4556 -x1605 -x1978 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5846 -x5851 -x199 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x13309 -x13310 -x13311 -x13312 -x13313 -x13402 -x13403 -x13404 -x13405 -x13407 -x1779 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x3929 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x9567 -x9569 -x1884 -x2019 -x2020 -x2021 -x2022 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x4311 -x11910 -x968 -x4073 -x4074 -x4075 -x4513 -x4557 -x5874 -x5875 -x5876 -x6996 -x9640 -x11741 -x1141 -x1252 -x1410 -x1584 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5879 -x5880 -x5882 -x5883 -x5884 -x1912 -x3691 -x3692 -x3693 -x3694 -x3695 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4098 -x4099 -x4100 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x9751 -x9752 -x9753 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x12708 -x12709 -x12710 -x12939 -x13089 -x13090 -x13091 -x13128 -x13129 -x13130 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1247 -x1248 -x1249 -x1250 -x1251 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1465 -x1466 -x1467 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x2420 -x2421 -x2422 -x2434 -x2435 -x2436 -x3377 -x3378 -x3379 x4553 -x4554 -x4555 -x4829 -x4830 -x4831 -x6313 -x6314 -x6315 -x9318 -x9319 -x9320 -x10013 -x10014 -x10015 -x10067 -x10068 -x10069 -x10875 -x10876 -x10877 -x13633 -x14106 -x14107 -x14108 -x631 -x632 -x633 -x1908 -x866 -x1787 -x10061 -x10096 -x1619 -x1867 -x3326 -x3698 -x4093 x4476 -x4477 -x4478 -x4479 -x4575 -x4576 -x4577 -x4578 -x12797 -x12935 -x1583 -x7224 -x7605 -x7617 -x7648 -x7656 -x7737 -x7745 -x10054 -x3409 -x3415 -x3422 -x3426 -x3823 -x3835 -x4203 x5504 -x9400 -x10209 -x10267 -x10269 -x10908 -x13258 -x13810 -x13817 -x10056 -x10058 -x10066 -x10074 -x13429 -x13433 -x13437 -x13441 -x622 -x3212 -x3215 -x3221 -x3223 -x3230 -x3414 x3425 -x3837 -x3840 -x3846 -x3848 -x3853 -x9118 -x9123 -x9402 -x10106 -x12485 -x12969 -x12972 -x12974 -x12979 -x12985 -x13009 -x13012 -x365 -x517 -x863 -x885 -x894 -x924 -x926 -x1037 -x1047 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x3534 -x3535 -x5885 -x5886 -x5887 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x7089 -x7125 -x7126 -x7127 -x7128 -x864 -x10286 -x3196 -x3200 -x3461 -x3480 -x4584 -x7953 -x7954 -x7955 -x9403 -x12475 -x12487 -x12513 -x12522 -x12765 -x12766 x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x14216 -x14217 -x826 -x829 -x1590 -x1591 -x1592 -x1593 -x3471 -x3490 -x3700 -x4588 -x4590 -x13145 -x9987 -x3217 -x3226 -x3420 -x3438 -x4606 -x5507 -x6296 -x6297 -x6298 -x6299 -x6300 -x9328 -x11284 -x11793 -x12096 -x12666 -x12930 x12958 -x12975 -x12981 -x12996 -x13014 -x13019 -x13118 -x13122 -x13442 -x13443 -x13451 -x14460 -x90 -x809 -x825 -x855 -x13391 -x1948 -x3284 -x5970 x9409 -x9412 -x9415 -x12499 -x12533 -x12921 -x12931 -x13197 -x13254 -x556 -x584 -x585 -x586 -x596 -x597 -x598 -x703 -x704 -x705 -x713 -x714 -x715 -x750 -x5904 -x5905 -x5906 -x5908 -x5909 -x5910 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 x7035 -x7056 -x7058 -x13785 -x13786 -x13787 -x13788 -x13789 -x13790 -x13791 -x13792 -x13793 -x13794 -x13795 -x13796 -x13797 -x13798 -x13799 -x13800 -x3147 -x5068 -x5069 -x1925 -x1926 -x1927 -x1928 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x7040 -x7041 -x7042 -x7043 -x7044 x7045 -x7046 -x8021 -x8022 -x8023 -x8024 -x8025 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x9811 -x9812 -x9813 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x13545 -x13546 -x13547 -x14406 -x14407 -x14408 -x14409 -x14410 -x14411 -x14412 -x15249 -x15250 -x15251 -x15252 -x15253 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x14050 -x14051 -x14152 -x49 -x50 -x2645 -x2649 -x2795 -x3380 -x5204 -x5205 -x5221 -x5222 x6380 -x6381 -x7195 -x7196 -x7423 -x7424 -x7477 -x7478 -x7566 -x7567 -x7677 -x7678 -x7811 -x7812 -x7832 -x7833 -x7934 -x8489 -x8490 -x8518 -x8519 -x8626 -x8627 -x8734 -x8735 -x8760 -x8761 -x8900 -x8901 -x8931 -x8932 -x8960 -x8964 -x8975 -x8976 -x9031 -x9044 -x9045 -x9096 -x9097 -x9883 -x9980 -x10358 -x10359 -x11096 -x11097 -x11203 -x11204 -x12168 -x12169 -x12176 -x12177 -x12273 -x12274 -x12334 -x12335 -x12421 -x12422 -x12955 -x12956 -x12957 -x12993 -x12994 -x12995 -x13874 -x13875 -x13899 -x13900 -x13930 -x13931 -x13959 -x13960 -x14160 -x14161 -x14966 -x64 -x112 -x385 -x386 -x621 -x1065 -x1104 -x1105 -x1148 -x1149 -x1358 -x1359 -x1432 -x8047 -x14888 -x14889 -x14890 -x14907 -x14908 x2744 -x2745 -x2746 -x2747 -x6030 -x6031 -x6032 -x6033 -x6133 -x6134 -x6135 -x6136 -x6206 -x6207 -x6208 -x6209 -x7742 -x2982 -x5654 -x14496 -x1625 -x1744 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x6469 -x9139 -x9154 -x9163 -x9171 -x9179 -x9189 -x9205 -x9571 -x10644 -x10730 -x14657 -x14700 -x14866 -x1281 -x12713 -x1229 -x1670 -x1949 -x3405 -x3406 -x3407 -x3408 -x3410 -x3411 -x3412 -x3413 -x3416 -x3417 -x3647 -x10585 -x1383 -x3015 -x4681 -x6426 -x7967 -x8123 -x8124 -x8130 -x8131 -x10528 -x14256 -x1516 -x1790 -x1791 -x1795 -x1796 -x1855 -x1856 -x1967 -x1982 -x2320 -x2321 -x2331 -x2376 -x2377 -x2461 -x2547 -x2550 -x2690 -x2722 -x2735 -x2769 -x2773 -x2902 -x3003 -x3135 -x3580 -x3604 -x3737 -x3875 -x3876 -x3948 -x3949 -x3955 -x3956 -x4439 -x4528 -x4529 -x4536 -x4537 -x4629 -x4630 x4659 -x4691 -x4692 -x4728 -x4729 -x4740 -x4754 -x4755 -x4763 -x5983 -x5984 -x5985 -x6095 -x6096 -x6115 -x6116 -x6145 -x6213 -x6228 -x6244 -x6277 -x6278 -x6279 x6280 -x6281 -x6282 -x6283 -x6433 -x6619 -x6620 -x6961 -x6962 -x7160 -x7161 -x8681 -x9572 -x9857 -x9924 -x9997 -x10530 -x10559 -x10560 -x10561 -x10570 -x10571 -x10572 -x10573 -x11353 -x11354 -x12034 -x12051 -x12101 -x12127 -x12148 -x12162 -x12163 -x12393 -x12566 -x13035 -x13314 -x13560 -x13561 -x13562 -x13563 -x13564 -x13565 -x13566 -x13684 -x14514 -x14515 -x14716 -x14737 -x14740 -x14770 -x14786 -x14790 -x14856 -x14964 -x15006 -x15015 -x15016 -x15081 x15110 -x117 -x351 -x1307 -x1323 -x1324 -x1382 -x1447 -x13421 -x14670 -x14671 -x14672 x2724 -x2725 -x2761 -x2762 -x2800 -x2801 -x2956 -x2957 -x3872 -x3873 -x3950 -x5256 -x5257 -x5258 -x6128 -x6129 -x6274 -x6275 -x6302 -x6303 -x6430 -x6431 -x6657 -x6658 -x6659 -x6660 -x6702 -x6703 -x6704 x6705 -x7946 -x7947 -x7948 -x8379 -x8692 -x8801 -x8802 -x8803 -x9234 -x9235 -x9449 x9450 -x9585 -x9586 -x9587 -x9741 -x9742 -x9743 -x12686 -x12687 -x12751 -x12752 -x12753 -x12754 -x12907 -x13591 -x13592 -x14213 -x15214 -x15215 -x15216 -x101 -x384 -x453 -x454 -x455 -x456 -x493 -x494 -x495 -x496 -x540 -x541 -x542 -x543 -x575 -x576 -x577 -x578 -x671 -x672 -x673 -x674 -x698 -x710 -x1342 -x1454 -x1455 -x1456 -x1532 -x1533 -x1534 -x1535 -x5850 -x5881 -x7026 -x8456 -x8664 -x2569 -x2617 -x2951 -x2993 -x3001 -x3117 -x3388 -x3664 x3877 -x4200 -x4872 -x4880 -x4888 -x5392 -x5461 -x5980 -x5981 -x5989 -x5990 -x6137 -x6284 -x6434 -x6464 -x6466 -x6471 -x6478 -x8154 -x8237 -x8302 -x9198 -x9214 -x9225 -x9237 -x9274 x9281 -x9333 -x9591 -x9806 -x10531 -x10562 -x10563 -x10654 -x10656 -x12787 -x12788 -x12789 -x12826 -x12936 -x13567 -x13568 -x13626 -x14349 -x14398 -x14472 -x207 -x212 -x352 -x893 -x895 -x1024 -x1025 -x1595 -x6636 -x14815 -x13109 -x13138 -x931 -x932 -x933 -x3833 -x3834 -x4113 -x4597 -x9377 -x12667 -x13040 -x13041 -x13042 -x13043 -x805 -x872 -x2790 -x2010 -x2017 -x2577 -x3263 -x3754 -x3857 -x3858 -x4878 -x4886 -x5396 -x5977 -x8158 -x8325 -x13624 -x14356 -x9349 -x9350 -x9351 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x5460 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x10655 -x13030 -x13031 -x13032 -x13033 -x13034 -x13036 -x13037 -x13038 -x13039 -x13045 -x2620 -x2899 -x2900 -x3095 -x3273 -x4102 -x4106 -x4460 -x4481 -x4485 -x5548 -x5549 -x6065 -x10593 -x10594 -x10595 x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x12099 -x12144 -x12145 -x12872 x12874 -x12894 -x12895 -x12896 -x12897 -x12898 -x983 -x4346 -x4361 -x4398 -x12451 -x12464 -x12869 -x2763 -x2764 -x2765 -x2802 -x2803 -x2804 -x2874 -x2877 -x2878 -x2880 -x4115 x4383 -x5577 -x6130 -x6131 -x6132 -x6160 -x6202 -x6204 -x6205 -x6210 -x7581 -x10391 -x10589 -x10591 -x12143 -x2741 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x3024 -x3026 -x3032 -x3041 -x3286 -x3288 -x3299 -x3311 -x3966 -x3968 -x3979 -x3991 -x4378 -x4594 -x4667 -x6067 -x6069 x6498 -x6500 -x6511 -x6523 -x7097 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x10588 -x11854 -x11856 -x11864 -x11873 -x11915 -x11917 -x11923 -x11929 -x11931 -x11933 -x11939 -x11945 -x11960 -x11962 -x11970 -x11978 -x11980 -x11982 -x11990 -x11998 -x2770 -x3209 -x6005 x6143 -x6212 -x6221 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x13006 -x3193 -x3194 -x3429 -x3430 -x3457 -x3458 -x3459 -x3476 -x3477 -x3478 -x13121 -x369 -x370 -x6784 -x6959 -x7827 -x6187 -x7148 -x2495 -x2496 -x2497 -x2498 -x3140 -x3146 -x5062 -x5067 -x5282 -x9888 -x11303 -x13294 -x13381 -x1058 -x4704 -x1986 -x3589 -x3613 -x6222 x6238 -x3423 -x3424 -x3427 -x3428 -x1035 -x1036 -x6964 -x6965 -x2998 -x3219 -x3220 -x3228 -x3229 -x4608 -x4609 -x4746 -x4762 -x4766 -x4767 -x4768 -x9573 -x10278 -x10549 -x10550 -x10626 -x10927 -x10928 -x12977 -x12978 -x12983 -x12984 -x12990 -x12991 -x13016 -x13021 -x14461 -x14462 -x1343 -x1344 -x1345 -x1346 -x1384 -x13426 x13430 x13434 -x13438 -x13427 -x13431 -x13435 -x13439 -x3868 -x3869 -x3870 -x3871 -x6157 -x6218 -x9229 -x9231 -x9232 -x9233 -x12164 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x1042 -x2939 -x6372 -x13593 -x13594 -x13595 -x13596 -x13597 -x13598 -x13599 -x13600 x13601 -x13602 -x13603 -x13604 -x13605 -x13606 -x3841 -x4795 -x4838 -x4839 -x4840 -x10078 -x10079 -x10080 -x967 -x1174 -x1448 -x2366 x4779 -x6443 -x7087 -x9136 x9151 -x9162 -x9170 -x9178 -x9186 -x9188 -x9204 -x9220 -x10631 -x10632 -x10637 -x10638 -x10639 -x10640 -x10641 -x2947 -x2974 -x2987 -x2988 -x2989 -x2990 -x6379 -x6424 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6470 x7972 -x14244 -x4013 -x4015 -x4017 -x4019 -x4030 -x4033 -x3860 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5971 -x5972 -x5973 -x5974 -x2940 -x2983 -x6373 -x6449 -x7916 -x7968 -x8151 -x12035 -x14240 -x14345 -x5975 -x5976 -x5978 -x5979 x5982 -x5991 -x5993 -x5994 -x5995 -x5997 -x2852 -x6002 -x6003 -x6004 -x8814 -x8891 -x9560 -x9702 -x12586 -x13363 -x14763 -x965 -x966 -x969 -x970 -x971 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1038 -x1039 -x1040 -x1041 -x1210 -x1426 -x1493 -x12790 -x12791 -x12792 -x10564 -x10565 -x10566 -x10567 -x10574 -x10575 -x10576 -x12830 -x12937 -x12938 -x12952 -x12953 -x12954 -x13279 -x7593 -x7594 -x7635 -x7636 -x7700 -x7701 -x9330 -x9331 -x9345 -x9358 -x9359 -x9361 -x9362 -x9363 -x9364 -x9365 x9366 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9376 -x9378 -x9379 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9392 -x9503 -x9507 -x9508 -x9509 -x9510 -x9511 -x9518 -x9520 -x9570 -x10070 -x10071 x3210 -x3418 -x3419 -x4620 -x7986 -x7987 -x8751 -x8920 -x9396 -x9817 -x9818 -x11743 -x12516 -x12783 -x12967 -x13007 -x13188 -x13189 -x13245 -x13246 -x13450 -x13735 -x13736 -x13737 -x14470 -x14471 -x15105 -x15106 -x15107 -x70 -x71 -x72 -x73 -x130 -x889 -x1891 -x1892 -x1893 -x1894 -x2030 -x2031 -x2733 -x2888 -x3079 -x3080 -x3081 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 -x9759 -x12701 -x12702 -x12739 -x12740 -x12741 -x12742 -x12871 -x14574 -x448 -x449 -x512 -x526 -x527 -x528 -x529 -x664 -x665 -x896 -x897 -x898 -x899 -x900 -x1146 -x1189 -x1319 -x1428 -x1506 -x1521 -x1522 -x8372 -x14673 -x2958 -x5259 -x6405 -x6468 -x6661 -x6662 -x6706 -x6707 -x7949 -x8804 -x9588 -x9744 -x12755 -x12756 -x14214 -x15183 -x15217 -x457 -x458 -x497 -x498 -x544 -x545 -x579 -x580 -x675 -x676 -x699 -x700 -x1457 -x1536 -x1537 -x4006 -x5845 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x7973 -x11157 -x1929 -x1930 -x3119 -x3120 -x3121 -x3122 -x3880 -x4811 -x6015 -x6016 -x6017 -x6018 -x6019 -x6034 -x6035 -x6036 -x6037 -x6038 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6066 -x6068 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6097 -x6098 -x6099 -x6100 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 -x6287 -x6437 -x6926 -x8249 -x8403 -x8555 -x10277 -x10534 -x10672 -x10685 -x10703 -x11788 -x13572 -x13652 -x13738 x13865 -x66 -x359 -x796 -x2698 -x2699 -x2700 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2720 -x13047 -x13048 -x13049 -x13050 -x13051 -x13052 -x13054 -x13055 -x13056 -x13057 -x13058 -x13059 -x13060 -x13061 -x13062 -x13044 -x6123 -x6124 -x6125 -x6126 x6127 -x6139 -x6146 -x6147 -x6148 -x6151 -x6152 -x6153 -x6155 -x6156 -x6158 -x6159 -x6162 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x2805 -x2806 -x2807 -x4012 -x4016 -x4029 -x4032 -x4114 -x2766 -x5515 -x6191 -x6192 -x6193 -x6195 x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6214 -x6215 -x6216 -x6217 -x6223 -x6224 -x6225 -x6226 -x6227 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x8344 -x3314 -x3315 -x3324 -x3962 -x3963 -x3964 -x8427 -x8720 -x14528 -x14529 -x14531 -x14749 -x14750 -x14752 -x14777 -x2602 -x3129 -x3130 -x3401 -x4306 x6355 -x10861 -x10862 -x13644 -x13645 -x305 -x306 -x4014 -x4018 -x4031 -x4034 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x6448 -x14886 -x14887 -x14891 -x14892 -x14893 -x14905 -x14906 -x6276 -x6285 -x6286 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6301 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6345 -x6346 -x6347 -x6348 -x6349 -x6358 -x6371 -x6374 -x6375 -x6376 -x6377 -x6378 -x2771 x2772 -x2774 -x2775 -x2776 -x2777 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x10625 -x12902 -x12903 -x12904 -x12905 -x12906 -x12100 -x12102 -x12103 -x12104 -x12105 -x12106 -x12147 -x12149 -x12150 -x12151 -x12152 -x12153 -x984 -x1968 -x3734 -x3735 -x3736 -x3738 -x3739 -x3740 -x3741 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6428 -x6429 -x6432 -x6435 -x6436 -x6438 -x6439 -x6440 -x6441 -x6442 -x6444 -x6445 -x6446 -x6447 -x2671 -x4345 -x4360 -x4384 -x4397 -x5578 -x12450 -x12463 -x2071 -x8033 -x8048 -x13998 -x13999 -x14920 -x6450 -x6451 -x6452 -x6453 -x6467 -x6472 -x6473 -x6475 -x6476 -x7473 -x7969 -x7970 -x7971 -x7974 -x7975 -x14241 -x14242 -x14243 -x14245 -x14246 -x1192 -x1193 -x6427 -x6462 -x6463 -x6474 -x6477 -x6479 -x6480 -x6526 x6958 -x8843 -x8845 -x8846 -x9321 -x9323 -x9326 -x9327 -x9342 -x9343 -x9344 -x9356 -x9357 -x9360 x9367 -x9643 -x9645 -x9754 -x9814 -x9928 -x9934 -x9935 -x9936 -x9937 -x9938 -x9940 -x9941 -x9943 -x9945 -x9949 -x9952 -x10279 -x10743 -x10797 -x10956 -x11241 -x12842 -x184 -x194 -x8317 -x9577 -x9578 -x9614 -x9641 -x9642 -x9658 -x9659 -x9660 -x9661 -x9717 -x9718 x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9728 -x9729 -x9730 -x9732 -x9766 -x9887 -x1698 -x8698 -x14813 -x4085 -x7966 -x8455 -x8461 -x8462 -x8463 -x8464 -x8465 -x14255 -x14350 -x140 -x141 -x142 -x143 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x154 -x155 -x156 -x157 -x158 -x159 -x6481 -x6482 -x6483 -x6484 -x6485 -x6488 -x6489 -x6490 -x6491 -x10744 -x10920 -x11523 x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x2981 -x3118 -x5662 -x8649 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8666 -x14274 -x14583 -x1942 -x3385 -x3386 -x3387 -x3389 -x6492 -x6494 -x6495 -x6496 -x6497 -x6499 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6527 -x12006 -x12007 -x12008 -x12028 -x14109 -x14110 -x14301 -x14317 -x14318 -x14319 -x14320 -x14321 -x14322 -x14323 -x14324 -x2067 x3014 -x3859 -x4968 -x9127 -x9137 -x9138 -x9140 -x9141 -x9142 -x9143 -x9144 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9164 -x9165 -x9166 -x9167 -x9168 -x9172 -x9173 -x9174 -x9175 -x9176 -x9180 -x9181 -x9182 -x9183 -x9184 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9221 -x9222 -x9223 -x9224 -x10642 -x10643 -x10645 -x10646 -x10647 x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x15 -x2791 -x2792 -x2793 -x2794 -x2796 -x2797 -x2798 -x3260 -x3261 -x3262 -x3264 -x3265 -x3266 x3267 -x3268 -x3269 -x3270 -x605 -x2881 -x8447 -x6918 -x12072 -x1586 -x2410 -x2411 -x2431 -x2432 -x2433 -x3369 -x3370 -x3898 -x4544 -x4545 -x4826 -x4827 -x4828 -x4849 -x8467 -x9314 -x9315 -x9316 -x10010 -x10011 -x10012 -x10063 -x13504 -x13505 -x13506 -x623 -x624 -x625 -x3655 -x4004 -x4007 -x5455 -x8239 -x9202 -x9218 -x9227 -x14399 -x5427 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x3731 -x3732 -x3733 -x944 -x1875 -x1876 -x1877 -x1878 -x5550 -x5551 -x5552 -x5553 -x5554 -x4107 -x4459 -x4486 -x9842 -x9843 -x12875 -x982 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x1743 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x5509 -x12486 -x2952 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9282 -x9332 -x9334 -x13382 -x13383 -x13384 x13385 -x13386 -x13387 -x13388 -x13389 -x13390 -x13392 -x13393 -x13394 -x13395 -x13396 -x13397 -x4821 -x4822 -x4823 -x7144 -x7145 -x7146 -x8724 -x8725 -x8726 -x8879 -x8880 -x8881 -x10346 -x11906 -x11907 -x11908 -x11909 -x11911 -x11912 -x11913 -x12678 -x12679 -x12680 -x12716 -x12717 -x12718 -x13615 -x6219 -x6220 -x7130 -x7131 x7158 -x2073 -x2074 -x2641 -x2642 -x2643 x2644 -x5407 -x5410 -x5440 -x5441 -x5442 -x5443 -x5446 -x5447 -x5450 -x5451 -x10548 -x12949 -x13098 -x13099 -x13100 -x13101 -x13102 -x13136 -x13137 -x13422 -x2863 -x2864 -x2865 -x2866 -x3569 -x8371 -x8441 -x8442 -x8443 -x8444 -x10965 -x14678 -x14679 -x1860 -x1861 -x2596 -x2597 -x2598 -x2599 -x3249 -x3250 -x3251 -x3252 -x4542 -x4543 x5264 -x6915 -x8806 -x9590 -x9749 -x9750 -x12064 -x12065 -x12066 -x12067 -x12158 -x12474 -x12484 -x12512 -x12793 -x12922 -x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 -x13638 -x15222 -x15223 -x8 -x28 -x1462 -x1463 -x2961 -x8155 -x13649 -x20 -x105 -x2721 -x2723 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x10586 -x9568 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x12950 -x2758 -x2759 -x2760 -x2814 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2833 -x2835 -x2836 -x2837 -x2838 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2853 -x2854 -x2855 -x2856 x2857 -x10095 -x3697 -x3699 -x4092 -x4094 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 x9639 -x915 -x1419 -x1420 -x1421 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x3224 -x3225 -x3232 -x3233 -x9870 -x9871 -x9872 -x9898 -x9946 -x9947 -x9948 -x12544 -x12545 -x12546 -x12633 -x12634 -x12635 -x12636 -x12637 -x12980 -x12986 -x13013 -x13017 -x13018 -x13022 -x13023 -x13343 -x14476 -x14478 -x1075 -x1076 -x1079 -x1348 -x1349 -x1350 -x1351 -x6203 -x6211 -x14859 -x2070 x2072 -x10547 -x12948 -x13095 -x13096 -x13134 -x4600 -x4601 x7061 -x7062 -x9250 -x10891 -x10892 -x13111 -x13112 -x4334 -x9819 -x9821 -x9822 -x9823 -x9824 -x11278 -x11279 -x11744 -x12604 -x13680 -x13739 -x13740 -x13741 -x13742 -x14485 -x14486 -x15242 -x74 -x131 -x133 -x134 -x135 -x2450 -x2451 -x2453 -x2454 -x2455 -x2932 x2933 -x2935 -x2936 -x2937 -x9826 -x10480 -x10481 -x182 -x293 -x300 -x10100 -x10101 -x3686 -x6856 -x6857 -x8057 -x167 -x745 -x8364 -x10759 -x10774 -x12832 -x12884 -x14265 -x2466 -x4862 -x6795 -x6812 -x6855 -x6866 -x6892 -x7181 -x7576 -x7982 -x8363 -x8715 -x8787 -x8869 -x10752 -x10781 -x11073 x11132 -x11145 -x11359 -x11451 -x11542 -x11599 -x11611 -x11626 -x11652 -x11716 x12080 -x12130 -x12410 -x13526 -x13539 -x14254 -x14728 -x14775 -x14796 -x14897 -x15025 -x15040 -x15114 -x15141 -x15168 -x15188 -x15236 -x3685 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x9663 -x10036 -x10157 -x10192 -x12668 -x382 -x743 -x807 -x810 -x10307 -x10308 -x10309 -x10310 -x10851 -x10852 -x10853 -x10854 -x11486 -x11580 -x11581 -x11582 -x11583 -x12309 -x12310 -x12311 -x12614 -x1712 -x2682 -x3493 x3500 -x3549 -x3550 -x3551 -x3565 -x3577 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x4842 -x4843 -x5355 -x7119 -x7120 -x7121 -x8056 -x8478 -x8709 -x8860 -x8861 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x11344 -x11444 -x11473 -x11492 -x11518 -x11519 -x11714 -x11746 -x11805 -x11807 -x11808 -x11810 -x11820 -x13333 -x13689 -x13690 -x13695 -x14541 -x14602 -x14723 -x14724 -x14941 -x14957 -x14958 -x14959 -x14961 -x15051 -x43 -x44 -x96 -x97 -x144 -x171 -x175 -x291 -x606 -x754 -x3133 -x3134 -x3136 -x4769 -x8416 -x9889 -x14504 -x14613 -x132 -x1823 -x1824 -x1825 -x2522 -x3566 -x3567 -x3704 x3705 -x3706 -x3726 -x4234 -x4415 -x4416 -x4417 -x6833 -x6834 -x6836 -x8587 -x8623 -x8624 -x8625 -x8847 -x10331 -x10334 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11768 -x13299 -x13653 -x13654 -x15180 -x15210 -x65 -x115 -x301 -x303 -x1271 -x1272 -x1273 -x1274 -x2192 -x4429 -x6344 -x10605 -x13646 -x13662 -x13677 -x13678 -x13727 -x13728 -x13750 -x13754 -x13755 -x13766 -x13780 -x13781 -x1515 -x1600 -x1837 -x1974 -x2075 -x2077 -x2078 -x2222 -x2223 x2234 -x2235 -x2248 -x2249 -x2254 -x2264 -x2265 -x2276 -x2301 -x2396 -x2529 -x3155 -x3179 -x3775 -x3786 -x4997 -x4998 -x5011 -x5025 -x5037 -x5076 -x5078 -x5135 -x5140 -x5561 -x5570 -x6666 -x8394 -x9692 -x9696 -x9856 -x9923 -x10340 -x11372 -x12324 -x14116 -x14580 -x14641 -x14647 -x15200 -x716 -x776 -x1335 -x1336 -x9597 -x9598 -x9599 -x508 -x509 -x14922 -x4394 -x4719 -x4720 -x4721 -x4722 -x4723 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6663 -x6664 -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 x6679 -x6680 -x11399 -x11400 -x14615 -x14616 -x14617 -x9844 -x2578 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x12320 -x12321 -x12322 -x12323 -x373 -x6190 -x14858 -x2068 -x4911 -x10546 -x12908 -x13110 -x13133 -x6189 -x4910 -x4913 -x12947 -x13094 -x13132 -x13140 -x13142 -x13169 -x13198 -x1969 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x2187 -x2188 -x2210 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2302 -x2303 -x2304 -x2305 -x4805 -x4808 x6754 -x6755 -x6756 -x6757 -x6758 -x13244 -x13265 -x13266 -x2394 -x2408 -x2409 -x2464 -x2465 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x6759 -x6761 -x6762 -x6763 -x6764 -x6767 -x6768 -x6769 -x6999 -x7000 -x7001 -x7002 -x7090 -x7981 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x9802 -x9803 -x9804 -x9805 -x10753 -x10785 -x10786 -x10787 -x10788 -x10791 -x10792 -x10793 -x10794 -x10866 -x10887 -x10888 -x11257 -x11258 -x11266 -x11267 -x11711 -x11712 -x11715 -x11747 -x11748 -x11749 -x11806 -x11811 -x11812 -x12505 -x13115 -x13119 -x13469 -x13470 -x13482 -x13483 -x13783 -x13784 -x14253 -x14261 -x14262 -x14263 x14264 -x14266 -x14267 -x14268 -x14269 -x14405 -x14447 -x15198 -x15199 -x15247 -x172 -x173 -x956 -x957 -x958 -x6971 -x6972 -x9989 -x9990 -x10758 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x3327 -x4131 -x4132 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x10215 -x10228 -x10229 -x11247 x11248 -x11249 -x11250 -x11251 -x11288 -x11289 -x11694 -x11695 -x11696 -x11708 -x11709 -x11710 -x11795 -x12048 -x12657 -x13114 -x13120 -x13611 -x13694 -x13731 -x13732 -x14494 -x14495 -x15244 -x15245 -x84 -x85 -x98 -x99 -x147 -x153 -x299 -x366 -x638 -x844 -x877 -x878 -x879 -x880 -x947 -x10890 -x661 -x911 -x916 -x5054 -x10300 -x10478 -x10606 -x10847 -x11456 -x11576 -x11762 -x12306 -x12988 -x13028 -x13466 -x13555 -x14022 -x14023 -x14024 -x14025 -x14026 -x14042 -x14067 -x14068 -x14069 -x14070 -x14071 -x60 -x1708 -x2271 -x2340 -x2350 -x2353 -x2358 -x2370 -x2391 -x2500 -x2679 -x2906 -x2916 -x3544 -x3545 -x3546 -x4648 -x5049 -x5171 -x5214 -x5236 -x5237 x5238 -x5239 -x5240 -x5290 -x5291 -x5292 -x6770 x6771 -x6772 -x6773 -x6774 x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6920 -x6952 -x7113 -x7114 -x7115 -x7116 -x7201 -x7427 -x7442 -x7458 -x7459 -x7460 -x7461 -x7484 -x7485 -x7486 -x7508 -x7529 -x7530 -x7531 -x7532 -x7570 -x7646 -x7684 -x7685 -x7686 -x7758 -x7781 -x7796 -x7823 -x7844 -x7845 -x7846 -x7847 -x7848 -x8375 -x8474 -x8475 -x8476 -x8503 -x8504 -x8505 -x8506 -x8533 -x8534 -x8535 -x8536 -x8537 -x8634 -x8635 -x8636 -x8637 -x8705 -x8706 -x8707 -x8745 -x8774 -x8775 -x8776 -x8777 -x8778 -x8813 -x8844 -x8854 -x8855 -x8856 -x8857 -x8912 -x8922 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8990 -x8991 -x8992 -x8993 -x8994 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9108 -x9556 -x9557 -x9558 -x9559 -x9576 -x9601 -x9611 -x9700 -x9701 -x9863 -x9864 -x10370 -x10371 -x10372 -x10373 -x10374 -x10387 -x11138 -x11185 -x11213 -x11223 -x11224 -x11225 -x11226 -x11227 -x11341 -x11370 -x11426 -x11428 -x11445 -x11446 -x11468 -x11512 -x11513 -x11514 -x11515 -x11623 -x11681 -x11682 -x11717 -x11796 -x11797 -x12047 -x12183 -x12184 -x12185 -x12197 -x12198 -x12199 -x12220 -x12221 -x12222 -x12239 -x12245 -x12246 -x12247 -x12285 -x12286 -x12287 -x12288 -x12289 -x12343 -x12344 -x12345 -x12354 -x12405 -x12406 -x12407 -x12433 -x12434 -x12435 -x12436 -x12437 -x12582 -x12583 -x12584 -x12585 -x12608 -x12613 -x12624 -x12647 -x12814 -x12870 -x13125 -x13126 -x13260 -x13287 -x13298 -x13303 -x13316 -x13325 -x13326 -x13359 -x13360 -x13361 -x13362 -x13698 -x13699 -x13886 -x13887 -x13888 -x13889 -x13890 -x13912 -x13913 -x13914 -x13915 -x13916 -x13942 -x13943 -x13944 -x13945 -x13946 -x13971 -x13972 -x13973 -x13974 -x13975 -x13984 -x14001 -x14114 -x14115 -x14136 -x14155 -x14170 -x14180 -x14181 -x14182 -x14183 -x14184 -x14239 -x14258 -x14286 -x14540 -x14558 -x14573 -x14591 -x14592 -x14609 -x14693 -x14719 -x14721 -x14760 -x14761 -x14762 -x14809 -x14810 -x14824 -x14830 -x14834 -x14842 -x14883 -x14909 -x14918 -x14937 -x14938 -x14939 -x14992 -x14993 -x15000 -x15009 -x15010 -x15205 -x3 -x23 -x290 -x371 -x372 -x374 -x397 -x398 -x399 -x400 -x401 -x507 -x510 -x988 -x989 -x1083 -x1111 -x1112 -x1113 -x1156 -x1163 -x1206 -x1207 -x1208 -x1209 -x1243 -x1258 -x1361 -x1367 -x1368 -x1369 -x1370 -x1433 -x1476 -x1489 -x1490 -x1491 -x1492 -x12033 -x2343 -x4676 -x4797 -x7088 -x9646 -x11335 -x11619 -x12602 -x12661 -x14598 -x14607 -x14682 -x14726 -x14738 -x14741 -x14784 -x14802 -x14855 -x15134 -x15176 -x170 -x1331 -x10270 -x10273 -x10773 -x12831 -x13344 -x2441 -x2463 -x4861 -x6865 -x6889 -x6891 -x7078 -x7180 -x7984 -x8697 -x8868 -x11072 -x11144 -x11358 -x11598 -x11610 -x11625 -x11651 -x11802 -x12078 -x12079 -x13276 -x13283 -x13330 -x13525 -x13538 -x13770 -x14811 -x14846 -x15024 -x15039 -x15113 -x15140 -x15177 -x15187 -x15234 -x15235 -x41 -x94 -x95 -x164 -x198 -x217 -x646 -x806 -x12835 -x12837 -x12838 -x12839 -x12886 -x12887 -x12888 -x12889 -x6798 -x6800 -x6815 -x6817 -x6869 -x6871 -x6872 -x6873 -x6894 -x6895 -x6896 -x6897 -x7183 -x7185 -x7186 -x7187 -x11362 -x11452 -x11453 -x11491 -x11543 -x11544 -x11602 -x11604 -x11605 -x11606 -x11613 -x11614 -x11615 -x11616 -x11629 -x11631 -x11632 -x11633 -x11655 -x11657 -x11658 -x11659 -x12133 -x12135 -x12610 -x14778 -x14779 -x14780 -x14781 -x14797 -x14798 -x14837 -x14900 x14902 -x14912 -x15028 -x15030 -x15031 -x15032 -x15043 -x15045 -x15046 -x15047 -x15117 -x15119 -x15120 -x15121 -x15144 -x15146 -x15147 -x15148 -x1327 -x1328 -x2157 -x2442 -x11242 -x13687 -x13692 -x14690 -x14788 -x14988 -x998 -x8345 -x1828 -x4420 -x6785 -x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6799 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6813 -x6814 -x6816 x6818 -x6835 -x6837 -x6838 -x6839 -x6845 -x6847 -x11086 -x11815 -x11876 -x13643 -x189 x11282 -x14469 -x7591 -x7623 -x7633 x7698 -x9901 -x10047 -x523 -x524 -x3709 -x4305 -x9395 -x10136 -x12912 -x12916 -x13097 -x813 -x842 -x905 -x1092 -x4800 -x7867 -x8346 -x11761 -x11814 -x11816 -x11817 -x11818 -x1829 -x2514 -x2970 -x4248 -x4421 -x11087 -x11365 -x13476 -x162 -x227 -x786 -x804 -x7037 -x2344 -x2345 -x4483 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6867 -x6868 -x6870 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6890 -x6893 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6916 -x6917 -x6919 -x6921 -x6922 -x6923 x6924 -x6925 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 -x6955 -x6956 -x6957 -x6960 -x6997 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x9094 -x12411 -x12860 -x14554 -x14555 -x14556 -x14557 -x14605 -x14606 -x14608 -x14610 -x14611 -x14612 -x14656 -x14894 -x14895 -x14896 -x14898 -x14899 -x14901 -x14903 -x14904 -x14910 -x14911 -x14917 -x14919 -x6465 -x2364 -x8339 -x8341 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11600 -x11601 -x11603 -x11607 -x11608 -x11609 -x11612 -x11617 -x11618 -x14621 -x14622 -x14623 -x14624 -x14625 -x14626 -x14627 -x14628 -x14629 -x14630 -x14631 -x14632 -x14686 -x14687 -x15001 -x15002 -x15003 -x15004 -x15005 -x15007 -x15008 -x15011 -x15012 -x15013 -x15014 -x15017 -x15018 -x15019 -x15020 -x15021 -x15022 -x15023 -x15026 -x15027 -x15029 -x15033 -x15034 -x15035 -x15036 -x15037 -x15038 -x15041 -x15042 -x15044 -x15048 -x15049 -x15050 -x15052 -x15053 -x12632 -x12670 -x12672 -x12673 -x12677 -x12711 -x12823 -x12824 -x12825 -x12829 -x12833 -x12834 -x12836 -x12840 -x12841 -x12846 -x12847 -x12848 -x12849 -x12852 -x12853 -x12854 -x12883 -x12885 -x12890 -x12891 -x12892 -x12893 -x1230 -x4122 -x11877 x13803 -x11322 x2546 -x5469 -x7019 -x7024 -x7033 -x8275 -x11487 -x11490 -x11829 -x11839 -x11849 -x12850 -x13275 -x14825 -x14826 -x14828 -x14829 -x14833 -x14835 -x14838 -x14839 -x14841 -x14843 -x14845 -x14847 -x14848 -x11705 -x11706 -x11707 -x11718 -x11719 -x11720 -x11721 -x12129 -x12131 -x12132 -x12134 -x12136 -x12137 -x7017 -x7018 -x7020 -x7021 -x7022 -x7023 -x7025 -x7027 -x7030 -x7031 -x7032 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7059 -x7060 -x13046 -x13053 -x2397 -x2398 -x7176 -x7177 -x7179 -x7182 -x7184 -x7188 -x7189 -x7861 -x10264 -x10930 -x11271 -x11454 -x11786 -x12671 x12934 -x13117 -x13124 -x13701 -x13702 -x13703 -x13704 -x13705 -x13706 -x13707 -x13708 -x13709 -x14479 -x14776 -x14782 -x14783 -x14799 -x14994 -x15082 -x15207 -x86 -x87 -x12027 -x12098 -x10886 -x10889 x11364 -x11366 -x11367 -x11379 x11380 -x11382 -x11383 -x11384 -x11393 -x11394 -x11395 -x11463 -x11464 -x11465 -x11466 -x11467 -x11469 -x11471 -x11472 -x11475 -x11476 -x11477 -x11478 -x11479 -x11674 -x11676 -x11677 x11678 -x11679 -x11680 -x12128 -x14807 -x14808 -x14812 -x15161 -x15162 -x15163 -x15164 -x7592 -x7624 -x7634 -x7699 -x9902 -x3710 -x10137 -x12917 -x12932 -x814 -x843 -x906 -x1093 -x11408 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7082 -x7083 -x7084 -x7085 -x7086 -x1004 -x1014 -x1017 -x1019 -x1020 -x11156 -x11158 -x11775 -x11776 -x11777 -x11778 -x11779 -x11787 -x11789 -x11790 -x11791 -x11792 -x12014 -x13328 -x13329 -x733 -x734 -x735 -x736 x737 -x795 -x797 -x798 -x799 -x800 -x801 -x802 -x15167 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112 -x7117 -x7118 -x7123 -x7129 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7147 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 -x7173 -x7174 -x7194 -x7197 -x7198 -x7199 -x7200 -x7202 -x7216 -x7218 -x7219 -x7220 -x7221 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x11378 -x14584 -x14585 -x14586 -x14587 -x14588 -x14589 -x14590 -x5847 -x5877 x6973 -x10204 -x3660 -x4133 -x5388 -x8669 -x11396 -x14603 -x14604 -x14614 -x479 -x505 -x559 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x7244 -x7246 -x7248 -x7249 -x7250 -x7251 -x7252 -x12015 -x14335 -x14336 -x15284 -x14247 -x9841 -x14043 -x14044 -x14045 -x14046 -x14147 -x14148 -x14149 -x42 -x2096 -x2097 -x2098 -x2099 -x2152 -x2153 x2154 -x2155 -x2156 -x2160 -x2161 -x2162 -x2163 -x2164 -x2169 -x2170 -x2171 -x2172 -x2346 -x2360 -x2361 -x4222 -x4223 -x4224 -x4225 -x4242 -x4243 -x5201 -x5202 -x7807 -x7808 -x7828 -x7829 -x8484 -x8485 -x8486 -x8487 -x8512 -x8513 -x8514 -x8515 -x8729 -x8730 -x8731 -x8732 -x8754 -x8755 -x8756 -x8757 -x8894 -x8895 -x8896 -x8897 -x8898 -x8924 -x8925 -x8926 -x8927 -x8928 -x9881 -x9894 -x9978 x10353 -x10354 -x11350 -x12270 -x12271 -x12299 -x12326 -x12417 -x12418 -x13289 -x13290 -x13319 -x13412 -x13413 -x13414 -x13683 -x13870 -x13871 -x13894 -x13895 -x13926 -x13927 -x13955 -x13956 -x14545 -x14578 -x14595 -x14637 -x14714 -x14725 -x14769 -x14980 -x15192 -x15280 -x91 -x1063 -x1322 -x2901 -x9807 -x9808 -x9809 -x9810 -x11851 -x11852 -x12013 -x12045 -x13557 -x13558 -x208 -x209 -x644 -x645 -x647 -x656 -x1300 -x10754 -x10755 -x10756 -x10757 -x11152 -x11153 -x11154 -x11155 -x11159 -x11689 -x11690 -x11691 -x11692 -x11693 -x10060 x10064 -x10065 -x10072 -x10073 -x10075 -x10076 -x10077 -x10775 -x10776 -x7983 -x8716 -x8870 -x8871 -x10768 -x11133 -x11146 -x11147 -x13527 -x13528 -x13540 -x13541 -x9798 -x3937 -x8286 -x8343 -x8582 -x9950 -x9951 -x14458 -x14459 -x14468 -x14948 -x1827 -x3319 -x3320 -x3321 -x3322 -x3323 -x3721 -x3722 -x3723 -x3724 -x3725 -x4025 -x4040 -x4231 -x4419 -x4502 -x7349 -x10296 -x10882 -x11084 -x11085 -x11769 -x11770 -x12268 -x13656 -x13657 -x13658 -x13659 -x13660 -x13661 -x32 -x33 -x302 -x519 -x1305 -x13988 -x13989 -x4799 -x4801 -x4802 -x4803 -x4804 -x4806 -x4807 -x7866 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x8347 -x8348 -x8349 -x8350 -x8351 -x12337 -x12338 -x12349 -x12366 -x12367 -x12368 -x12369 -x12370 -x12372 -x14527 -x14927 -x14953 -x1668 -x1673 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2513 -x2515 -x2516 -x2517 -x2518 -x3325 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x4237 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x7353 -x8647 -x9486 -x10318 -x10335 -x10337 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x12074 -x14536 -x15165 -x15209 -x116 -x2994 -x2523 -x15211 -x1275 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x14005 -x14006 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x5103 -x5104 -x5105 -x5106 -x5107 -x7388 -x7389 -x7412 -x7413 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x8365 -x10394 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x13148 -x13149 -x13150 -x13151 -x14000 -x14709 -x1268 -x12269 -x10950 x232 -x2392 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x14118 -x14636 -x14974 -x2429 -x4412 -x4413 -x11483 -x14082 -x1598 -x1599 -x1879 -x1880 -x1881 -x1972 -x1973 x2145 -x2146 -x2147 -x2251 -x2252 -x2268 -x2269 -x2270 -x2666 -x2667 -x2668 -x3784 -x3785 -x3795 -x3796 -x3797 -x3798 -x3808 -x3809 -x5003 -x5004 -x5005 -x5029 -x5030 -x5031 -x5519 -x5520 -x5521 -x5559 -x5560 -x5563 -x5564 -x7612 -x8032 -x9689 -x9690 -x10951 -x10952 -x10953 -x14634 -x14655 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x1072 -x3367 -x4851 -x8358 -x8359 -x14031 -x14032 -x14033 -x2388 -x7539 -x7540 -x7541 -x7542 -x7543 -x8884 -x8885 -x8886 -x11189 -x12205 -x12206 -x12207 -x12208 -x12228 -x12229 -x12230 -x12231 -x12253 -x12254 -x12255 -x12256 -x12901 -x14093 -x14287 -x14564 -x14565 -x1266 -x13488 -x1792 -x2132 -x2133 -x2134 -x2142 -x2143 -x2144 -x2387 -x4335 -x4414 -x7855 -x7905 -x7908 -x10725 -x11201 -x11427 -x12032 -x12093 -x12094 -x12325 -x12383 -x12416 -x12551 -x12651 -x12683 -x13323 -x13342 -x13376 -x13852 -x14553 -x14577 -x14695 -x14699 -x14702 -x14997 -x78 -x79 -x1103 -x1162 -x1321 -x1341 -x1437 -x1438 -x1551 -x7253 -x7254 x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x14987 -x1 -x48 -x2131 -x2141 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x8417 -x10386 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x11202 -x12298 -x13317 -x13318 -x13828 -x13829 -x13830 -x13831 -x13832 -x13833 -x13834 -x13835 -x13836 -x13837 -x13838 -x13839 -x13840 -x13841 -x13842 -x13843 -x13844 -x13845 -x13846 -x13847 -x13848 -x13849 -x13850 -x13851 -x14681 -x14683 -x15065 -x15248 -x1016 -x1283 -x1284 -x1288 -x1289 -x1292 -x1416 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x8752 -x12414 -x10284 -x10285 -x10287 -x10288 -x3494 -x3497 -x3811 -x3813 -x3818 -x3821 -x4602 -x10658 -x10660 -x10665 -x10677 -x10893 -x13088 -x522 -x891 -x914 -x918 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x14007 -x14008 -x14009 -x14010 -x14011 -x14012 x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7430 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7658 -x7659 -x7927 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x12359 -x12360 -x13853 -x13854 -x13855 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5987 -x5988 -x5992 -x5996 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x7390 -x7391 -x7392 -x7414 -x7415 -x7416 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x12009 -x13152 -x13153 -x13154 -x13155 -x13156 -x13157 -x13158 -x10803 -x12031 -x12039 -x12384 -x12997 -x515 -x2369 -x5302 -x8368 -x8561 -x9502 -x10274 -x10275 -x10276 -x11333 -x11434 -x12238 -x12294 -x12312 -x12330 -x12352 -x12381 -x12627 -x13295 -x14552 -x14664 -x14715 -x14720 -x14742 -x14800 -x14816 -x14965 -x14999 -x15282 -x92 -x419 -x999 -x1261 -x1286 -x1296 -x1308 -x7298 x7299 -x7300 -x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7858 -x8875 -x9561 -x9562 -x9563 -x9703 -x9704 -x9705 -x12569 -x12587 -x12588 -x12589 -x12714 -x14568 -x14764 -x14765 -x14766 -x777 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x1043 -x1044 -x1045 -x1046 -x1048 -x1086 -x1211 -x1212 -x1213 -x1944 -x2548 -x2611 -x2656 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x5463 -x8291 -x8315 -x8316 -x8323 -x8324 -x8326 -x9257 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10105 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 x10121 -x10122 -x10123 -x10206 -x10545 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x12445 -x12473 -x13284 -x224 -x360 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 x9912 x8399 -x8402 -x8423 -x8551 -x8554 -x8585 -x11309 -x11311 -x11327 -x11329 -x13862 -x13864 -x7912 -x7913 -x7923 -x7924 -x7930 -x7931 -x8242 -x8243 -x8254 -x8255 -x14401 -x14402 -x14013 -x14014 -x14015 -x7369 -x7370 -x7371 -x7385 -x7386 -x7387 x7409 -x7410 -x7411 -x7501 -x7865 -x7877 -x7911 -x7922 -x7928 -x8241 -x8247 -x8248 -x11119 -x11122 -x11124 -x14092 -x14094 -x14400 -x5099 -x5100 -x5101 -x443 -x444 -x445 -x11398 -x14081 -x3004 x4706 -x5060 -x5061 -x14003 -x14038 -x14039 -x14040 -x14041 -x14206 -x14970 -x1987 -x2480 -x2481 -x2482 -x2908 -x2909 -x2910 -x3343 -x3344 -x3345 -x3346 -x3590 -x3614 -x7376 -x7400 -x7448 -x7449 -x7450 -x7451 -x7467 -x7468 -x7469 -x7470 -x7514 -x7515 -x7516 -x7517 -x7551 -x7552 -x7553 -x7554 -x7765 -x7766 -x7768 -x7788 -x7789 -x7790 -x7791 -x7803 -x7804 -x7805 -x7806 -x8018 -x8019 -x8044 -x8045 -x8115 -x8116 -x8175 -x8176 -x8449 -x8606 -x8607 -x8617 -x8618 -x8753 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9440 -x9455 -x10814 -x10815 -x10828 -x10829 -x11040 -x11041 -x11193 -x11194 -x11195 -x11196 -x11200 -x12212 -x12213 -x12214 x12235 -x12236 -x12237 -x12244 -x12260 -x12261 -x12262 -x12377 -x12413 -x12472 -x12619 -x13167 -x14088 -x14089 -x14143 -x14144 -x14145 -x14146 -x14284 -x14285 -x14299 -x14300 -x223 -x358 -x1267 -x1291 -x1293 -x1294 -x10636 -x4228 -x9262 -x9574 -x12124 -x12297 -x12356 -x12568 -x13331 -x76 -x1254 -x8120 -x8121 -x8122 -x8127 -x8128 -x8129 -x1848 -x1849 -x1852 -x1853 -x1854 -x4436 -x4437 -x4438 -x4512 -x4525 -x4526 -x4527 -x4533 -x4534 -x4535 -x4705 -x4790 -x4791 -x4792 -x4869 -x4870 -x4871 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7350 -x7351 -x7352 -x7354 -x7355 -x7356 -x8390 -x8391 -x8675 -x8676 -x8677 -x8793 -x8794 -x8795 -x10922 -x10923 -x10924 -x10925 -x10926 -x11296 -x11297 -x11420 -x11421 -x12157 -x12565 -x12595 -x12596 -x12597 -x13369 -x13370 -x13371 -x14453 -x14454 -x14455 -x14456 -x14457 -x15068 -x15070 -x15071 -x485 -x486 -x487 -x566 -x567 -x568 -x691 -x692 -x693 -x790 -x791 -x1169 -x1170 -x1219 -x1220 -x1221 -x1499 -x1500 -x1501 -x4653 -x2362 -x3340 -x3341 -x3342 -x7988 -x8453 -x11433 -x11901 -x11902 -x12266 -x12444 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x602 -x618 -x635 -x3965 -x3967 x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3992 -x3993 -x3994 -x3995 -x4959 -x5489 -x8322 -x12452 -x12453 -x12454 -x12458 -x955 -x5102 -x5999 -x8481 -x446 -x3173 -x5117 -x7394 -x7396 -x7418 -x7420 -x7732 x7893 -x7914 -x7920 -x7925 -x8001 -x8053 -x8244 -x8256 -x8596 -x8621 -x10795 -x10863 -x10878 -x11118 -x13160 x14113 -x14123 -x14157 -x14270 -x14327 -x14332 -x5057 -x5058 -x14035 -x14036 -x5198 -x5199 -x5200 x7445 -x7446 -x7464 -x7465 -x7511 -x7512 -x7548 -x7549 -x7582 -x7583 -x7660 -x7661 -x7665 -x7666 x7667 -x7668 -x7708 -x7762 -x7763 -x7785 -x7786 -x7800 -x7801 -x7929 -x8015 -x8016 -x8041 -x8042 -x8050 -x8055 -x8112 -x8113 -x8135 -x8172 -x8173 -x8180 -x8246 -x8250 -x8251 -x8252 -x8253 x8258 -x8395 -x8396 -x8548 -x8603 -x8604 -x8614 -x8615 -x10389 -x10390 x10395 -x10396 -x10811 -x10812 -x10825 -x10826 -x10837 -x10865 -x10880 -x10955 -x10958 -x11037 -x11038 -x11166 -x11167 -x11190 -x11191 -x11306 -x11324 -x12264 -x12265 -x12361 -x12363 -x13856 -x13857 -x13858 -x13859 -x14111 -x14112 -x14140 -x14141 -x14281 -x14282 -x14296 -x14297 -x14334 -x14404 -x244 -x251 -x1270 -x8404 -x8405 -x8406 -x8407 -x8408 -x8556 -x8557 -x8558 -x8559 -x8560 -x10623 -x11312 -x11313 -x11330 -x11331 -x13866 -x13867 -x13868 -x13869 -x5059 x14037 -x2342 -x2378 -x2553 -x2554 -x3181 -x3563 -x5173 -x5311 -x5312 -x5571 -x7447 -x7466 -x7513 -x7550 -x7764 -x7787 -x7802 -x7864 -x7960 -x8017 -x8043 -x8114 -x8174 -x8605 -x8616 -x8816 -x8841 -x9565 -x9613 -x9797 -x10780 -x10813 -x10827 -x11039 -x11192 -x11373 -x12376 -x12409 -x12591 -x12649 -x12699 -x12737 -x13268 -x13365 -x13986 -x14142 -x14221 -x14283 -x14298 -x14516 -x14579 -x14596 -x14642 -x14648 -x14768 -x1050 -x1144 -x1215 -x1245 -x1495 -x2995 -x10401 -x10403 -x10831 -x10842 -x11438 -x11440 -x11462 -x11474 -x11550 -x11552 -x11562 -x11571 -x12075 -x12304 -x12387 -x12509 -x12989 -x14062 -x14079 -x14260 -x14330 -x14549 -x14688 -x14916 -x1693 -x1703 -x2389 -x2400 -x2476 -x2768 -x2914 -x2917 -x3139 -x3184 -x3540 -x3557 -x3571 -x3671 -x3881 -x3882 -x4670 -x4752 -x4856 -x5120 -x5167 -x5232 -x5250 -x5300 -x5574 -x7483 -x7491 -x7536 -x7546 -x7683 -x7691 -x7821 -x7842 -x7856 -x7936 -x8075 -x8100 -x8207 -x8221 -x8232 -x8451 -x8473 -x8499 -x8529 -x8547 -x8633 -x8704 -x8770 -x8842 -x8853 -x8944 -x8986 -x9004 -x9010 -x9016 -x9019 -x9058 -x9079 -x9085 -x9552 -x9607 -x9647 -x9792 -x10368 -x10382 -x10432 -x10448 -x10462 -x10473 -x10496 -x10510 -x10521 -x10535 -x10536 -x10670 -x10671 -x10673 -x10674 -x10683 -x10684 -x10686 -x10687 -x10729 -x10939 -x10999 -x11024 -x11210 -x11219 -x11236 -x11339 -x11376 -x11443 -x11494 -x11501 -x11511 -x12011 -x12029 -x12076 -x12122 -x12182 -x12195 -x12202 -x12210 -x12225 -x12233 -x12250 -x12258 -x12283 -x12342 -x12351 -x12431 -x12578 -x12612 -x12645 -x12664 -x12696 -x12732 -x12759 -x12911 -x13335 -x13355 -x13497 -x13498 -x13573 -x13574 -x13579 -x13631 -x13884 -x13910 -x13925 -x13940 -x13969 -x13990 -x14167 -x14176 -x14193 -x14199 -x14204 -x14416 -x14430 -x14441 -x14510 -x14530 -x14599 -x14645 -x14651 -x14696 -x14705 -x14733 -x14936 -x14947 -x15194 -x15255 -x15267 -x15276 -x34 -x46 -x285 -x317 -x331 -x342 -x395 -x548 -x748 -x1010 -x1067 -x1110 -x1118 -x1155 -x1202 -x1234 -x1241 -x1256 -x1287 -x1366 -x1374 -x1485 -x1540 -x6840 -x6841 -x6842 -x6843 -x6844 -x6846 -x6848 -x6963 -x7357 -x7358 -x7372 -x7373 -x7374 -x7375 x7377 -x7378 -x7393 -x7395 -x7397 -x7398 -x7399 -x7401 -x7402 -x7417 -x7419 -x7421 -x7422 -x7425 -x7426 -x7428 -x7429 -x7431 -x7432 x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7462 -x7463 -x7471 -x7472 -x7474 -x7475 -x7476 -x7479 -x7480 -x7481 -x7482 -x7487 -x7488 -x7489 -x7490 -x7492 -x7493 -x7494 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7509 -x7510 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7533 -x7534 x7535 -x7537 -x7538 -x7544 -x7545 -x7547 -x7564 -x7565 -x7568 -x7569 -x7571 -x7572 -x7573 -x7575 -x7608 x1626 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2148 -x2625 -x2665 -x3054 -x3850 x3851 -x3855 -x3856 -x4967 -x5531 -x9120 -x9121 -x9125 -x9126 -x9437 -x9438 -x9668 -x9669 -x9670 -x9674 x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x10580 -x11948 -x11949 -x11950 x11951 -x12001 -x12002 -x12868 -x14881 -x6001 -x8020 -x8046 -x8117 -x8177 -x8397 -x8398 -x8400 -x8421 -x8422 -x8549 -x8550 -x8552 -x8583 -x8584 -x8608 -x8619 -x11197 -x11198 x11307 -x11308 -x11310 -x11325 -x11326 -x11328 -x13860 -x13861 -x13863 -x14150 -x4168 x6000 -x8482 -x7909 -x7910 -x7921 -x8259 -x8276 -x8287 -x11757 -x13556 -x14158 -x14315 -x14328 -x16 -x413 -x3383 -x3384 -x3394 -x3399 -x3400 -x3403 -x11269 -x1886 -x2025 -x4166 -x4292 -x4336 -x4936 -x4937 -x4956 -x5345 -x5346 -x5348 x5350 -x5351 -x5353 -x5366 -x5367 -x8070 -x8095 -x8148 -x8192 -x8216 -x8227 -x8277 -x8278 -x8279 -x8280 -x8289 -x8290 -x8304 -x8305 -x9258 -x10140 -x10141 -x10142 -x10143 -x10179 -x10180 -x10181 -x10182 -x10260 -x10427 -x10457 -x10468 -x10505 -x10516 -x10698 -x10980 -x10994 -x11019 -x11053 -x11897 -x13446 -x13447 -x14425 -x14436 -x15264 -x15273 -x280 -x326 -x337 -x941 -x2005 -x2575 -x3642 -x3749 -x4515 -x4517 -x4934 -x5492 -x5496 -x8027 -x8029 -x8031 -x8052 -x8067 -x8069 -x8072 -x8087 -x8089 -x8092 -x8094 -x8097 -x8145 -x8147 -x8189 -x8191 -x8205 -x8213 -x8215 -x8218 -x8224 -x8226 -x8229 x9026 -x9325 -x9654 -x10415 -x10419 -x10421 -x10424 -x10426 -x10429 -x10446 -x10454 -x10456 -x10459 -x10465 -x10467 -x10470 -x10494 -x10502 -x10504 -x10507 -x10513 -x10515 -x10518 -x10693 -x10695 -x10977 -x10979 -x10991 -x10993 -x10996 -x11011 -x11013 -x11016 -x11018 -x11021 -x11050 -x11052 -x11794 -x12050 -x13495 -x14414 -x14422 -x14424 -x14427 -x14433 -x14435 -x14438 -x14984 -x15261 -x15263 -x15270 -x15272 -x15283 -x107 -x229 -x272 -x274 -x277 -x279 -x282 -x315 -x323 -x325 -x328 -x334 -x336 -x339 x7662 -x7663 -x7664 -x7674 -x7675 x7676 -x7679 -x7680 -x7681 -x7682 -x7687 -x7688 -x7689 -x7690 -x7692 -x7693 -x7694 -x7703 -x7704 -x7705 -x7706 x7709 x7730 -x7741 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7759 -x7760 -x7761 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7776 -x7777 -x7778 -x7779 -x7780 x7782 -x7783 -x7784 -x7792 x7793 -x7794 -x7795 -x7797 -x7798 -x7799 -x7809 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7822 -x7824 -x7825 -x7826 -x7830 -x7831 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7843 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7859 -x7862 -x12362 -x12365 -x12371 -x12373 -x12378 -x12379 -x12380 -x12382 x10311 -x10312 -x10313 -x12165 -x12166 -x2622 -x3013 -x12855 -x12879 -x12880 -x4218 -x4219 -x4220 -x13612 -x518 -x4239 -x4240 -x4241 -x4244 -x10297 -x10298 -x13613 -x520 -x2549 -x2604 -x2605 x2612 -x2634 -x2652 -x2657 -x3007 -x3009 -x5403 -x5408 -x5411 -x5412 -x5414 -x5415 -x5435 -x5444 -x5448 -x5464 -x8292 -x8306 -x10207 -x10292 x10293 -x13285 -x222 -x225 -x11314 -x11315 -x667 -x2534 -x2535 -x2613 -x2614 x4957 -x8328 -x9393 -x11304 -x11305 -x11801 -x13767 -x13992 -x13996 -x13997 -x14567 -x14569 -x14570 -x14571 -x195 -x196 -x2458 -x2459 -x2460 -x7036 x14913 -x14914 -x14915 -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7915 -x7917 -x7918 -x7919 -x7926 -x7932 -x7933 -x7935 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 x7944 -x7945 -x7950 -x7951 -x7956 -x7957 -x7958 -x7959 -x7961 -x7962 -x7963 -x7964 -x7965 -x7976 -x7977 -x7978 -x7979 -x7980 -x7985 -x12857 -x8376 -x8377 -x8378 -x11117 -x11120 -x11121 -x11123 -x11323 -x14084 -x14085 -x14086 -x14087 -x14707 -x14708 -x4129 -x815 -x816 -x4216 x4217 x4215 -x6766 -x13994 -x13995 -x14002 -x14004 x755 -x1187 -x4230 x4245 -x2349 -x2351 -x4484 -x12845 -x14208 -x14209 -x14210 -x14211 -x14212 -x14215 -x14218 -x14219 -x14220 -x14222 -x14223 x14224 -x14225 -x14226 -x221 x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8026 -x8028 -x8030 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8049 -x8051 -x8054 -x8058 -x8066 -x8068 -x8071 -x8073 -x8074 -x8076 -x8077 -x8085 -x8086 -x8088 -x8090 -x8091 -x8093 -x8096 -x8098 -x8099 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8134 -x8144 -x8146 -x8149 -x8150 -x8152 -x8153 -x8156 -x8157 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8370 -x8448 -x8450 -x8452 -x8454 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8609 -x8610 -x8611 -x8612 -x8613 -x10343 -x10796 -x10798 -x10799 -x10800 -x10801 -x10802 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10836 -x10864 -x14271 -x14272 -x14273 -x14275 -x14276 -x14277 -x14278 -x14279 -x14280 -x14288 -x14289 -x14290 -x14291 -x14292 -x14293 -x14294 -x14295 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11186 -x11187 -x11188 -x14124 -x14125 -x14126 -x14127 -x14128 -x14129 -x14130 -x14131 -x14132 -x14133 -x14134 -x14135 -x14137 -x14138 -x14139 -x3172 -x5116 -x4344 x1299 -x1510 -x1511 -x1512 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4492 -x4493 -x4503 -x9852 -x9853 -x9919 -x9920 -x14654 -x2903 -x2904 -x2905 -x2907 -x2915 -x2918 -x3034 -x3035 -x3036 -x3043 -x3044 -x3045 -x3301 -x3313 -x4349 -x4364 -x4401 x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8178 -x8179 -x8188 -x8190 -x8193 -x8194 -x8195 -x8196 -x8204 -x8206 -x8208 -x8209 -x8210 -x8211 -x8212 -x8214 -x8217 -x8219 -x8220 -x8222 -x8223 -x8225 -x8228 -x8230 -x8231 -x8233 -x8234 -x8235 -x8236 -x8238 -x8245 -x10622 -x10624 -x11866 -x11875 -x11924 -x11930 -x11940 -x11946 -x11971 -x11979 -x11991 -x11999 -x12467 -x11029 -x11030 -x11031 -x11032 x11033 -x11034 -x11035 -x11036 -x11049 -x11051 -x11054 -x11055 -x8401 -x8424 -x8553 -x8586 -x13159 x2393 -x10529 -x10532 -x10533 -x10537 -x10538 -x10539 -x10540 -x15195 -x15196 -x15197 -x350 -x353 -x354 -x355 -x356 -x357 -x3849 -x3854 -x4490 -x4966 -x9119 x9124 -x9436 -x8257 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8281 -x8282 -x8283 -x8284 -x14333 -x14403 x10879 -x10957 -x250 -x4144 -x4138 -x4139 -x4140 -x4141 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4261 -x4262 -x4263 -x4264 -x4265 -x10239 -x10240 -x10241 -x10242 -x4142 -x4143 -x4160 -x4161 -x4162 -x4178 -x4179 -x4180 -x4275 -x4276 -x4277 -x10243 -x10244 -x10255 -x10256 -x10257 -x8335 x8336 -x4177 -x4214 -x4310 -x10128 -x10283 x10705 -x13168 -x13806 -x13822 -x13823 -x13827 -x14325 -x14490 -x4211 -x4212 -x4213 -x4176 -x860 -x940 -x9983 x9984 -x9988 -x9991 x9992 -x9993 -x9994 -x2149 -x2150 -x2151 -x2159 -x3568 -x4221 -x8892 -x8893 -x8921 -x8923 -x10582 -x12141 -x14960 -x15279 -x80 -x136 -x2911 -x2912 -x2913 -x5558 -x7989 -x7990 -x8240 -x8480 -x8483 -x8511 -x14257 -x14259 -x4299 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8313 -x8314 -x8425 -x8588 -x10745 -x11058 -x11059 -x859 -x12443 -x11505 -x870 -x5998 -x14156 -x14326 x4145 -x4193 -x4266 -x3512 x4163 -x4194 -x4255 -x4257 -x4259 x4270 -x4278 -x10258 -x3404 -x7204 -x7602 -x7614 -x7629 -x7644 -x7653 -x4136 -x4159 -x4182 -x4274 -x4925 -x4928 -x5304 -x5352 -x5354 -x10132 -x10237 -x10254 -x10271 -x10290 -x10668 -x10681 -x11057 -x12987 -x14366 -x14367 -x14386 -x253 -x11520 -x3002 -x3006 -x8360 -x8595 -x14302 -x14446 -x14689 x14694 -x3368 -x3402 -x8318 -x8319 -x8321 -x10726 -x10728 -x11521 -x1943 -x12611 -x10766 -x10789 -x10790 -x11458 -x11813 -x12043 -x12044 -x12095 -x12385 -x13332 -x13681 -x13688 -x14618 -x14819 -x14996 -x15246 -x83 -x139 -x230 -x729 -x730 -x731 -x732 -x10954 -x243 -x4891 -x5285 -x3443 x601 -x603 -x604 -x617 -x619 -x620 -x634 -x636 -x637 -x653 -x659 -x4958 -x4960 -x4961 -x8356 x10727 -x954 -x10541 -x10542 -x10543 -x10544 -x14119 -x347 -x420 -x464 -x12446 -x12447 -x12448 -x12449 x3047 -x3050 -x3317 -x4117 -x4354 -x4356 -x4369 -x4371 -x4406 -x4409 -x4496 -x4900 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x12459 -x12471 -x3046 -x3049 -x3316 -x4353 -x4355 -x4368 -x4370 -x4405 -x4408 -x4495 -x8385 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x10344 -x10345 -x10347 -x10348 -x10349 x10350 -x10351 -x10352 -x13291 -x13292 -x13324 -x13327 -x1051 -x1052 -x1053 -x1054 -x1055 -x1069 x7620 -x7626 -x7627 -x7628 -x7630 -x7631 -x1909 -x1910 -x2044 -x2045 -x3083 -x5265 -x5266 -x5270 -x5271 -x5275 -x5276 -x5277 -x5281 -x5343 -x5344 -x409 -x410 -x411 -x412 -x2477 -x2478 -x3142 -x3143 -x3157 -x3185 -x3186 -x5063 -x5064 -x5121 -x5122 -x5174 -x5175 x9816 -x10434 -x10435 -x10436 -x10475 -x10476 -x10477 -x10523 -x10524 -x10525 -x10982 -x11001 -x11026 -x11027 -x11028 -x14443 -x14444 -x14445 -x15278 -x36 -x37 -x58 -x287 -x288 -x289 -x344 -x345 -x346 -x2953 -x1843 x8329 -x9579 -x13261 -x13262 -x13263 -x13264 -x471 -x751 -x789 -x1233 -x1357 -x1477 -x4965 -x4969 -x4970 -x5481 -x5482 -x5186 -x5187 -x6140 -x6141 -x2483 -x2484 x5124 -x5125 -x5177 -x5178 -x15074 -x14668 -x8330 x8331 -x8332 -x8333 -x8334 -x8799 -x9583 -x9739 -x14869 -x15181 -x15212 -x910 -x1452 -x2322 -x2379 -x4631 -x4693 -x4730 -x4741 -x4756 -x11067 x11137 -x11355 -x11622 -x11648 -x12189 -x12215 -x12240 -x13519 -x13532 -x14517 -x14566 -x14852 -x14884 -x15111 -x15137 -x1078 -x1253 -x1310 -x1312 -x1385 -x10038 x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x4906 -x4907 -x11953 -x11954 -x10527 -x1840 -x2004 -x2006 x2007 -x2015 -x2426 -x2574 -x2743 -x3747 -x3748 -x3750 -x3751 -x4431 -x4521 -x4635 -x4778 -x4796 -x4824 -x4855 -x8338 -x8342 -x8727 -x8882 -x9135 -x9150 -x9498 -x9500 -x9540 -x9716 -x9762 -x9815 -x10324 -x10325 -x10422 -x10428 -x10430 -x10458 -x10460 -x10469 -x10471 -x10506 -x10508 -x10517 -x10519 -x10617 -x10630 -x10981 -x10995 -x10997 -x11014 -x11020 -x11022 -x11377 -x12057 -x12681 -x12719 -x13302 -x14426 -x14428 -x14437 x14439 -x15103 -x15265 -x15274 -x110 -x275 -x281 -x283 -x327 -x329 -x338 -x340 -x473 -x655 -x1013 -x1087 -x1297 -x1417 -x1430 -x1844 -x4432 x8357 -x8688 -x2943 -x2968 -x2985 -x8361 -x8362 -x8366 x8367 -x8369 -x8380 -x8382 -x8383 -x8384 -x8386 -x8387 x8388 -x8389 -x8392 -x8393 -x9831 x12037 -x12502 -x12536 -x12795 -x14347 -x14 -x247 -x793 -x839 -x1381 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 x8415 -x8426 -x8457 -x8458 -x8459 -x8460 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8477 -x8479 -x8488 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8500 -x8501 -x8502 -x8507 -x8508 -x8509 -x8510 -x8516 -x8517 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8530 -x8531 -x8532 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x12712 -x8581 -x3008 -x3010 -x4050 -x4087 -x4088 -x5425 -x10148 -x10187 -x10281 -x10282 -x14451 -x14452 -x176 -x767 -x5557 x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8622 -x8628 -x8629 -x8630 -x8631 -x8632 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8650 -x8659 -x8661 -x8662 -x8663 -x8665 -x8667 -x8668 -x8670 -x8671 -x8672 -x8673 -x8674 -x8678 -x8679 -x8680 -x8682 -x8686 -x8694 -x8695 x9417 -x9995 -x12603 -x12605 -x12606 -x12607 -x12609 -x12615 -x12616 -x12617 x12618 -x12620 -x12621 -x12622 -x12623 -x12625 -x12626 -x2083 -x2632 -x3280 -x4027 -x4042 -x4624 -x8696 -x8699 -x8700 -x8701 -x8702 x8703 -x8708 -x8710 -x8711 -x8712 -x8713 -x8714 -x8717 -x8718 -x8719 -x8721 -x8722 -x8723 -x8728 -x8733 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 x8750 -x8758 -x8759 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8771 -x8772 -x8773 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 x8788 -x8789 -x8790 -x8791 -x8792 -x8796 -x8797 -x8798 -x8800 -x8805 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8815 -x8840 -x10202 -x11371 -x11374 -x11375 -x12155 -x14550 -x14551 -x14638 -x14639 -x14640 -x14643 -x14644 -x14646 -x14649 -x14650 -x163 -x202 -x5562 -x5565 -x5566 -x5567 -x5568 -x5569 -x5572 -x5573 -x8848 -x8849 -x8850 -x8851 -x8852 -x8858 -x8859 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8872 -x8873 -x8874 -x8877 -x8878 -x8883 -x8887 -x8888 -x8889 -x8890 -x8899 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8929 -x8930 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 x8941 -x8942 -x8943 -x8945 -x8946 -x8947 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x11402 -x3234 -x4616 -x9267 -x10016 -x10216 -x10263 -x11290 -x12658 -x12663 x12944 -x13763 -x14499 -x14500 -x183 -x378 x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9005 -x9006 -x9007 -x9008 -x9009 -x9011 -x9012 -x9013 -x9014 -x9015 x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9027 -x9028 -x9029 -x9030 -x9032 -x9037 -x9038 -x9041 -x9042 -x9043 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9059 -x9060 -x9061 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9080 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x4173 -x4280 -x4930 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x9884 -x9896 -x9982 x10144 -x10147 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10158 -x10183 -x10186 -x10188 -x10189 -x10190 -x10191 -x10193 -x10194 -x10195 -x10437 -x12173 x12188 x12295 -x12353 -x12441 -x13322 -x13418 -x13953 -x14339 -x14340 -x14368 -x14369 -x14370 -x14371 -x14372 -x14373 -x14374 -x14375 -x14376 -x14377 -x14387 -x14388 -x14389 -x14390 -x14391 -x14392 -x14393 -x14394 -x14395 -x14396 -x14397 -x254 -x255 -x256 -x257 -x258 -x886 -x1068 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x1106 -x1107 -x1108 -x1109 -x1114 -x1115 -x1116 -x1117 -x1119 -x1120 -x1360 -x1362 -x1363 -x1364 -x1365 -x1371 -x1372 -x1373 -x1375 -x1376 -x1377 -x1378 -x9117 -x9122 -x9128 -x9129 -x9130 -x9131 -x4825 -x9132 -x9133 -x9134 -x9145 -x9146 -x9147 -x9148 -x9149 -x9161 -x9169 -x9177 -x9185 -x9187 -x10045 -x10046 -x10048 -x10049 x10050 -x10051 -x10052 -x10053 -x10055 -x10057 -x10059 x10103 -x1788 -x2751 -x2754 -x3810 -x3812 -x3814 -x3815 -x3944 -x3945 -x3952 -x3953 -x12110 x12114 -x9199 -x9200 -x9201 x9203 -x9215 -x9216 -x9217 -x9219 -x9226 -x9228 -x9236 -x9238 -x12899 -x2752 -x2755 -x9545 -x9698 -x12112 -x12116 -x12571 -x13348 x14756 -x1195 -x1473 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9259 -x9260 x9261 -x9263 -x9264 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x2991 -x4504 -x4505 -x4506 -x13301 -x14930 -x9265 -x9266 -x9268 -x9269 -x9270 -x9271 -x10569 -x1085 -x1478 -x3022 -x3093 -x3271 x3838 -x3957 -x4024 -x4039 -x4457 -x5512 -x5513 -x9419 -x9420 -x9423 -x9424 -x13257 -x13259 -x919 -x943 -x3025 -x3027 -x3287 -x3289 -x4595 -x4596 -x11855 -x11857 -x11916 -x11918 -x11932 -x11934 -x11961 -x11963 -x11981 -x11983 -x9272 -x9273 -x10607 -x10620 -x10621 -x1675 -x1676 -x3033 -x3042 -x3300 -x3312 -x3793 -x4348 -x4363 -x4400 -x4655 -x4656 -x4657 -x4658 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4668 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9317 -x9322 -x9324 -x11537 -x11538 -x11539 -x11540 -x11541 -x11545 -x11865 -x11874 -x12466 -x12861 -x12900 -x14864 -x14865 -x14867 -x9329 -x9652 -x9653 -x12764 -x553 -x554 -x1545 -x1546 -x5189 -x2427 -x4782 -x5194 x5299 -x5341 -x9649 -x9726 -x9727 -x10662 -x10699 -x12010 -x12761 -x14198 -x15076 -x550 -x702 -x1542 -x4682 -x4683 -x4694 -x4703 -x1983 -x1984 -x1985 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x9346 -x9347 -x9348 -x9352 -x9353 -x9354 -x9355 -x9374 -x9375 -x9380 -x9381 -x9382 -x10224 -x2736 -x2737 -x2738 -x2739 -x2740 -x10124 -x10149 -x10159 -x10177 -x10178 x10199 -x10834 -x10835 -x11565 -x11566 -x12390 -x1696 -x1697 -x3574 -x11702 -x13338 x5575 -x9467 -x9468 -x9469 -x9494 -x9495 -x9496 -x9497 -x9499 -x9501 x10321 -x10322 -x10323 -x10326 -x10327 -x10328 -x13377 -x462 -x12750 -x474 -x537 -x538 -x539 -x574 -x670 -x2289 -x9760 -x823 -x824 -x856 -x857 -x858 -x861 -x862 -x865 -x1190 -x1429 -x1471 -x9394 -x9397 -x9398 -x9399 -x9401 -x9404 -x9405 -x9406 -x9407 -x9408 -x9410 -x9411 -x9413 -x477 -x478 -x557 -x558 -x587 -x588 -x683 -x684 -x2492 -x2493 -x9472 -x9473 -x9478 -x9479 -x9514 -x9515 -x9516 -x9523 -x9524 -x10581 -x12804 -x986 -x993 -x1318 -x1386 -x14929 -x14955 -x1672 -x9470 -x9476 -x9512 -x9521 -x10319 -x10336 -x12126 -x14537 -x14548 -x4249 -x14711 -x9414 -x9416 -x9418 -x9421 -x9422 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 x9432 -x9433 -x9434 -x9435 -x9439 -x4717 -x1996 -x2338 -x3558 -x3599 -x3601 -x3623 -x5043 -x5162 -x9453 x9547 -x9602 -x9787 -x12401 -x12573 -x12640 -x12691 -x12727 -x12748 -x12749 -x13350 -x13982 -x13987 -x14575 -x14758 -x451 -x452 -x491 -x492 -x506 -x535 -x536 -x572 -x573 -x668 -x669 -x696 -x697 -x780 -x1142 -x1197 -x1236 -x1422 -x1479 -x1530 -x1531 -x5506 -x106 -x2332 -x2334 -x4764 -x9931 -x10578 -x12303 -x12394 -x12397 -x12822 -x14755 -x14791 -x892 -x1018 -x1352 -x9451 -x9452 -x9454 -x9471 -x9474 -x9475 -x9477 -x9480 x9481 x9482 -x9483 -x9484 -x9485 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9513 -x9517 x9519 -x9522 -x9525 -x9526 -x13463 -x555 -x560 -x589 -x680 -x685 -x708 -x1548 -x8684 -x8685 -x2034 -x2965 -x2966 -x4494 x4592 -x4815 -x5322 -x5337 -x5428 -x9655 -x9828 -x9829 -x12478 -x12479 -x12490 -x12491 -x12517 -x12518 -x12525 -x12526 -x13457 -x13458 -x69 -x121 -x165 -x166 -x660 -x756 -x763 -x8620 -x2036 -x4817 -x9657 -x10009 -x12482 -x12493 -x12520 -x12528 -x12794 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9541 -x9542 -x9543 -x9544 -x9546 -x9548 -x9549 -x9550 -x9551 -x9553 -x9554 -x9555 -x9564 -x9566 -x9575 -x9885 -x9886 -x9985 -x9986 -x1614 -x2521 x2960 -x5185 -x2032 -x2479 -x3144 -x3187 -x5065 -x5123 -x5176 -x5192 -x15073 -x5163 -x5164 -x5165 -x5166 -x5168 -x5169 -x5170 -x5172 -x9875 -x9954 -x9580 -x9581 -x9582 -x9584 -x9589 -x9592 -x9593 -x9594 -x9595 -x9596 -x9600 -x9603 -x9604 -x9605 -x9606 -x9608 -x9609 -x9610 -x9612 -x9644 x9784 -x9785 -x9786 -x9788 -x9789 -x9790 -x9791 -x9793 -x9794 -x9795 -x9796 -x12689 -x12690 -x12692 -x12693 -x12694 -x12695 -x12697 -x12698 -x12725 -x12726 -x12728 -x12729 -x12730 -x12731 -x12733 -x12734 -x12735 -x12736 -x1232 -x1235 -x1237 -x1238 -x1239 -x1240 -x1242 -x1244 -x3207 -x3208 -x10003 -x10004 -x10005 -x10006 -x10033 -x10034 -x11261 -x11262 -x11263 -x11264 -x11265 -x13474 -x13475 -x13477 -x13478 -x13479 -x13480 -x13481 -x13586 -x13587 -x13588 x15228 -x15229 -x15230 -x206 -x228 -x612 -x613 -x614 -x615 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9740 -x9745 -x9746 -x9747 -x9748 -x1449 -x1450 -x1451 -x1453 -x1458 -x1459 -x1460 -x1461 -x9664 -x9665 -x9666 -x9667 -x9671 -x9672 -x9673 -x9683 -x9684 -x9685 -x9686 -x9687 -x4119 -x4343 -x4359 -x4393 -x4902 -x12461 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4718 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1997 -x3559 -x3560 -x3561 -x3562 -x3564 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3602 -x3603 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x9648 -x9650 -x9651 -x9656 -x9662 -x7595 -x7637 -x7702 -x3198 -x3202 -x3463 -x3482 -x4586 -x12477 -x12489 -x12515 -x12524 -x828 -x831 -x12784 -x12785 -x12786 -x8374 -x9688 -x9691 -x9693 -x9694 -x9695 x9697 -x9699 -x9706 -x9715 x10663 -x10700 -x12762 -x100 -x521 -x551 -x583 -x679 -x1543 -x8690 -x11172 -x1603 -x2319 -x2324 -x2375 -x2381 -x2971 -x2972 -x3203 -x3204 -x3391 -x4690 -x4696 -x4727 -x4732 -x4739 -x4753 -x4776 -x4777 -x9833 -x10017 -x10616 -x11066 -x11126 -x11136 -x11638 -x11665 -x11701 -x11850 -x13280 -x13459 -x13518 -x13531 -x14658 -x14691 -x14990 -x15126 -x15154 -x15173 -x213 -x642 -x758 -x946 -x961 -x4411 -x4440 -x1601 x1975 -x9755 -x9756 -x9757 -x9758 -x9761 -x9763 -x9764 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x14703 -x1185 -x1186 -x1188 -x1191 -x1464 -x1468 -x1469 -x1470 -x1472 -x4677 -x4678 -x4679 -x4680 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1979 -x1980 -x1981 -x9799 -x9800 -x9801 -x9825 -x9827 -x9830 -x9832 x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x13345 -x13346 -x13347 -x2403 -x2404 -x2405 -x2406 -x2407 -x14803 -x14876 -x14877 -x14878 -x14879 -x11422 -x11423 -x12598 -x12599 -x12600 -x12601 -x13372 -x13373 -x13374 -x13375 -x1222 -x1223 -x1224 -x1225 -x1502 -x1503 -x1504 -x1505 -x6354 -x6361 -x13630 -x2607 -x2954 -x5376 -x5377 -x5378 x5379 -x5417 -x5418 -x5419 -x5420 -x14360 -x14361 -x14362 -x14363 -x6729 -x13675 -x13725 -x13743 -x13764 -x14090 -x2200 x2220 -x2282 -x2291 -x4995 -x5000 -x5023 -x5133 -x5137 -x2039 -x2040 -x2041 -x2042 -x2559 -x2565 -x2566 -x2567 -x2568 -x5318 -x5319 -x5320 -x5321 -x5327 -x5328 -x5329 x5330 -x5332 -x5333 -x5334 -x5335 -x123 -x124 -x125 -x126 -x2659 -x3958 -x3959 -x3960 -x3961 -x5470 -x5487 -x13174 -x13175 -x13176 -x13177 -x13178 -x13179 -x13180 x13181 -x13182 -x13183 -x13221 -x13222 -x13223 -x13225 -x13226 -x13227 -x13813 -x13814 -x13815 -x13818 -x13819 -x13820 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x13232 -x13233 -x13234 -x13235 -x13236 -x13237 -x13238 -x13239 -x13240 -x10299 -x10383 -x10388 -x10392 x10393 -x10398 -x10399 -x10400 -x10402 -x10404 -x10405 -x10406 -x10583 -x10590 -x10592 -x6966 -x4607 -x4610 -x4765 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x14463 -x3218 -x3222 -x3227 -x3231 -x12973 -x12976 -x12982 -x13015 -x13020 -x13341 -x14475 -x14477 -x1347 -x9854 -x9855 -x9858 -x9859 -x9860 -x9861 -x9862 -x9865 -x9866 -x9869 -x9873 -x9877 -x9878 -x9879 -x9880 -x9882 -x9890 -x9891 -x9892 -x9893 -x9895 -x9921 -x9922 -x9925 -x9926 -x9927 -x9929 -x9930 -x9932 -x9933 -x9944 -x9973 -x9974 -x9975 -x9976 -x9979 -x9981 -x985 -x987 -x990 -x991 -x992 -x994 -x995 -x996 -x997 -x1000 -x1001 -x1002 -x1003 -x1005 -x1006 -x1007 x1008 -x1009 -x1011 -x1012 -x1015 -x1021 -x2524 -x2655 -x2662 -x2663 -x5474 -x5476 -x5478 -x5480 -x9996 -x9998 -x9999 -x10000 -x10001 -x10002 -x10007 x10008 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x13304 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10035 -x10037 -x10062 -x607 -x608 -x609 -x610 -x611 -x616 -x626 -x627 -x628 -x629 -x630 -x2753 -x2756 -x3946 -x12111 -x12113 -x12115 -x12117 -x12400 -x12549 -x12570 -x12572 -x13349 -x14757 -x461 -x778 -x1194 -x1196 -x1474 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3836 -x3839 -x3842 -x3843 -x3844 -x3845 -x2551 -x2669 -x2670 x4083 -x4084 -x4090 -x4895 -x12940 -x12941 -x12942 -x12943 -x12945 -x12946 -x3861 -x3847 -x3852 -x4347 -x4362 -x4399 x12465 -x1057 -x11780 -x226 -x738 -x803 -x3663 -x5391 -x5459 -x8691 -x2456 -x2610 -x2938 -x2973 -x3392 -x5399 -x5400 x11772 -x11773 -x13281 -x13282 -x13460 -x13461 -x13462 -x81 -x82 -x185 -x214 -x215 -x249 -x377 -x643 -x759 -x760 -x761 -x11417 -x11418 -x11419 -x12592 -x12593 -x12594 -x13366 -x13367 -x13368 -x1216 -x1217 -x1218 -x1496 -x1497 -x1498 -x10769 -x10770 -x10771 -x10772 -x10777 -x10778 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11127 -x11128 -x11129 -x11130 -x11131 -x11134 -x11135 -x13520 -x13521 -x13522 -x13523 -x13524 -x13529 -x13530 -x15206 -x6425 x10783 -x10816 -x10817 -x10830 -x10832 x10833 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10848 -x10849 -x10850 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10961 -x10963 -x10964 -x10966 -x10967 -x10968 -x11168 -x11169 -x11170 -x11171 -x11173 -x11174 -x2100 -x2173 -x2281 -x2767 -x12123 -x10935 -x10936 -x10937 -x11774 -x13493 -x808 -x2323 -x2380 -x4695 -x4731 -x10614 -x10615 -x13648 -x14989 -x1282 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 x4652 -x13029 -x193 -x11074 -x11075 -x11148 -x11149 -x13542 -x13543 -x12506 -x12507 -x12508 -x12510 -x12511 -x2462 -x10479 -x11798 -x11799 -x13757 -x14329 -x14378 -x14546 -x174 -x177 -x178 -x179 -x180 -x181 -x292 -x649 -x11546 -x11547 -x11548 -x11549 -x11551 x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x5490 -x14505 -x14506 -x14507 -x14508 -x14509 -x14511 -x14512 -x14513 -x14518 -x14519 -x14520 -x14521 -x14522 -x14523 -x14524 x14525 -x11412 -x11413 -x11414 -x11415 -x11299 -x11300 -x11301 -x11302 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x11561 -x11563 -x11564 -x11567 x11568 -x11569 -x11570 -x11572 -x11573 -x11574 -x11575 -x11577 -x11578 -x11579 -x11584 -x11585 -x11586 -x11587 -x12386 -x12388 -x12389 -x12391 -x12392 -x12396 -x3570 -x3572 -x3573 -x3575 -x3576 x3578 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11502 -x11503 -x13334 -x13336 -x13337 -x13339 -x13340 -x4089 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3460 -x3462 -x3464 -x3465 -x3466 x3468 -x3469 -x3470 -x3472 -x3473 -x3474 -x3475 x3479 -x3481 -x3483 -x3484 -x3485 -x3487 -x3488 -x3489 -x3491 -x1333 -x1442 x12494 -x12495 -x12496 -x12497 -x12498 -x12500 -x12501 -x12503 -x12529 -x12530 -x12531 -x12532 -x12534 -x12535 -x12537 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x840 -x10609 -x10627 -x10610 -x10628 -x4020 x4021 -x4022 -x4023 -x4026 -x4028 -x375 -x4035 -x4036 -x4037 -x4038 -x4041 -x4043 x376 -x11457 -x11459 -x11460 -x11461 -x11470 -x11480 -x11481 -x11482 -x11484 -x11485 -x11488 -x11489 -x13406 -x2840 -x8435 -x8687 -x8689 -x14234 -x2591 -x2967 -x2969 -x3243 -x4475 -x4572 -x5305 -x10738 -x11684 -x11763 -x12058 -x12796 -x13634 -x24 -x246 -x248 -x654 -x2447 -x102 -x1528 -x13428 -x13436 -x13432 -x13440 -x13378 -x13379 -x13380 -x3433 -x3434 -x3435 x11903 -x11904 -x11905 -x10618 -x10619 -x12107 -x12108 -x12109 -x12118 -x12119 -x12120 -x12121 -x8118 -x8119 -x1846 -x1847 x4433 -x4523 -x4524 -x4530 -x4865 -x4866 -x15067 x8125 -x8126 -x8132 -x1850 -x1851 -x4434 -x4435 -x4531 -x4532 -x4538 -x4867 -x4868 -x15069 -x6974 -x6975 -x6976 -x10554 -x10555 -x10931 -x10932 -x10933 -x10934 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11280 -x14480 -x14481 -x14482 -x14483 -x14484 x14487 -x2158 -x2165 -x2166 x2167 -x2168 -x2174 -x4000 -x4963 -x160 -x888 -x951 -x6970 -x11403 -x12564 -x1864 -x2437 x2445 -x4847 -x11270 -x15059 -x15095 -x15099 -x15189 -x15190 -x15237 -x15238 -x103 -x108 -x470 -x874 -x875 -x11281 -x1692 -x1694 -x1695 -x1699 -x1700 -x1701 -x1702 -x1704 -x1705 -x1706 -x1707 -x1709 -x1710 -x1711 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x3640 -x13286 -x14701 -x383 -x1475 -x14885 -x1073 -x14674 -x14675 -x14676 -x14677 -x5260 -x5261 -x5262 -x5263 -x15218 -x15219 -x15220 -x15221 -x1845 -x416 -x867 -x868 x1147 -x1431 -x12757 -x12758 -x459 -x460 -x499 -x500 -x546 -x547 -x581 -x582 -x594 -x677 -x678 -x701 -x1538 -x1539 -x2941 -x2942 -x2944 -x2984 -x2986 -x12036 -x12038 -x14346 -x14348 -x2491 -x5013 -x5039 -x5385 -x12779 -x7590 -x7632 -x10612 -x10629 -x2035 -x4816 -x12480 -x12481 x12492 -x12519 -x12527 -x3048 -x3051 -x3318 -x4497 -x4848 -x11507 -x11508 -x11509 -x11510 -x11516 -x11517 x12574 -x12575 -x12576 -x12577 -x12579 -x12580 -x12581 -x12590 -x13351 -x13352 -x13353 -x13354 -x13356 -x13357 -x13358 -x13364 -x14581 -x14582 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1214 -x1480 -x1481 -x1482 -x1483 -x1484 -x1486 -x1487 -x1488 -x1494 -x415 -x10608 -x10611 -x10613 -x463 -x1231 -x11401 -x2443 -x3672 -x3673 -x3674 -x3675 -x3676 x3684 -x3687 -x3688 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12504 -x13544 -x15240 -x12700 -x12703 -x12704 -x12705 -x12706 -x12707 -x12738 -x12743 -x12744 -x12745 -x12746 -x12747 -x12760 -x12763 -x13195 -x13196 -x13252 -x13253 -x447 -x450 -x511 -x513 -x514 -x525 -x530 -x531 -x532 -x533 -x534 -x549 x552 -x663 -x666 -x1246 -x1518 -x1520 -x1523 x1524 -x1525 -x1526 -x1527 -x1541 -x1544 -x1145 -x1427 -x13745 -x13746 -x13771 -x13772 -x2176 -x2181 -x2183 -x2190 -x2191 -x2211 -x2224 -x2225 -x2237 -x2238 -x2255 -x2256 -x2277 -x2278 -x2474 -x2475 -x3141 -x3182 -x3183 -x3759 -x3760 -x3761 -x3767 -x3768 -x3769 -x3777 -x3787 -x3802 -x4978 -x4979 -x5014 -x5015 -x5040 x5041 -x5118 -x5119 -x12550 -x13123 -x662 -x5219 -x5220 -x5251 -x5252 -x5253 -x5254 -x5297 -x5298 -x10746 -x10945 -x10946 -x11101 -x11102 -x11237 -x11238 -x11239 -x11240 -x12003 -x12004 -x14194 -x14195 x14196 -x14197 -x14313 -x14314 -x14967 -x14968 -x405 -x406 -x407 -x408 -x1160 -x1161 -x1263 -x1264 -x1435 -x1436 -x14052 -x51 -x5206 -x5223 -x10360 -x11205 -x12170 -x12178 -x12275 -x12336 -x12423 -x13876 -x13901 -x13932 -x13961 -x14162 -x387 -x1150 -x5188 -x6142 -x2033 x2485 -x4781 -x4812 -x5126 -x5179 -x5193 -x15075 -x4337 -x10948 -x14201 -x2555 -x5313 -x5314 -x14871 -x14872 -x14873 -x14875 -x2646 -x2647 -x2648 -x2650 -x2651 -x3381 -x3382 -x113 -x114 -x11899 -x11900 x11704 -x14793 -x4924 -x4926 -x4927 -x4929 -x4931 -x4932 -x4933 -x4935 x4938 -x3390 -x10265 -x10266 -x10268 -x13807 -x13808 -x13809 -x13811 -x13812 -x13816 x13821 -x14305 -x14306 -x4962 -x935 -x936 -x937 -x938 -x939 -x942 -x10280 -x10696 -x10697 -x5098 -x442 -x2536 -x4174 x4175 -x13734 -x13768 -x197 -x10133 -x10272 -x10291 -x10125 -x10126 x3794 -x4125 -x11397 -x3524 -x4463 x4558 -x104 -x845 -x1097 -x10129 -x10130 -x10289 -x5027 -x5028 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5044 -x5045 -x5046 -x5047 -x5048 -x953 -x10314 -x10315 -x10316 -x10317 -x10320 -x14016 -x14017 -x14018 -x14019 -x14020 -x14021 -x14027 -x14028 -x14029 -x14030 -x14034 -x14047 -x14048 -x14049 -x14053 -x14054 -x14055 -x14056 -x14057 -x14058 -x14059 -x14060 -x14061 -x14063 -x14064 -x14065 -x14066 -x14072 -x14073 -x14074 -x14075 -x14076 -x14077 -x14078 x14080 -x14083 -x14091 -x14151 -x14159 -x3174 -x3175 -x3176 x3177 -x3178 -x3180 -x3188 -x11404 -x3362 -x3363 -x3716 -x3717 -x3718 -x3719 -x3720 -x4252 -x4253 -x4254 -x10225 -x10226 -x11285 -x12669 -x12933 -x13489 -x13490 -x13491 -x218 -x368 -x876 -x12412 -x7589 -x7673 -x11959 -x5203 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5215 -x5216 -x5217 -x5218 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5233 -x5234 -x5235 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x12910 -x13991 -x14095 -x14096 -x14097 -x14098 -x14099 -x14100 -x14101 -x14102 -x14103 -x14104 -x14105 -x14718 -x10341 -x4226 -x4227 -x4229 -x5986 -x2348 -x11430 -x14154 -x6007 -x6014 -x13872 -x13873 -x13877 -x13878 -x13879 -x13880 -x13881 -x13882 -x13883 -x13885 -x13891 -x13892 -x13893 -x2326 -x2327 -x2328 -x2384 -x2385 -x2386 -x4639 -x4672 -x4673 -x4674 -x4699 -x4700 -x4701 -x4734 -x4735 -x4736 -x4743 -x4744 -x4745 -x4759 -x4760 -x4761 -x4858 -x4859 -x4860 -x5401 -x10584 -x11061 -x11062 -x11063 -x11069 -x11070 -x11071 -x11141 -x11142 -x11143 -x11346 -x11347 -x11348 -x11352 -x11388 -x11389 -x11621 -x11636 -x11637 -x11647 -x11663 -x11664 -x11698 -x11699 -x11700 -x11745 -x12017 -x13535 -x13536 -x13537 -x13589 -x14660 -x14661 -x14662 -x14706 -x14962 -x14963 -x15109 -x15124 -x15125 -x15136 -x15152 -x15153 -x15170 -x15171 -x15172 -x15203 -x39 -x40 -x61 -x62 -x188 -x190 -x762 -x1278 -x1298 -x5287 -x5288 -x5289 -x5293 -x5294 -x5295 -x5296 -x5301 -x5303 -x13896 -x13897 -x13898 -x13902 -x13903 -x13904 -x13905 -x13906 -x13907 -x13908 -x13909 -x13911 -x13917 -x13918 -x13919 -x13920 -x13921 -x13922 -x13923 -x13924 -x5347 -x5349 -x13315 -x14338 -x14364 -x14365 -x14384 -x14385 -x14971 -x252 -x11175 -x14121 -x14122 -x13320 -x13321 -x13415 -x13416 -x13417 -x1064 -x1066 -x4294 -x4295 -x4296 -x5368 -x13296 -x13297 -x13448 -x12167 -x12171 -x12172 -x12174 -x12175 -x12179 -x12180 -x12181 -x12186 -x12187 -x5053 -x12305 -x59 -x2092 x2095 -x2316 -x2317 -x2372 -x2373 -x2678 -x3541 -x3542 -x4127 -x4626 -x4628 -x4687 -x4688 -x4725 -x4726 -x4748 -x4749 -x10369 -x11098 -x11099 -x11212 -x11222 -x11620 -x12284 -x12314 -x12432 -x12638 -x12639 -x12646 -x13288 -x13941 -x13970 -x14117 -x14169 -x14179 -x14561 -x14730 -x14745 -x14801 -x15139 -x367 -x396 -x873 -x1313 -x1355 -x1434 -x12012 -x1265 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x402 -x403 -x404 -x1151 -x1152 -x1153 -x1154 -x1157 -x1158 -x1159 -x1259 -x1260 -x1262 -x5190 -x5191 -x4267 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10196 -x10197 -x10198 -x10200 -x10201 -x10203 -x10205 -x381 -x4157 -x4268 -x4269 -x4272 -x10252 -x5499 -x5500 -x13190 -x13191 -x13247 -x13248 -x14303 -x14304 -x818 -x952 -x5051 -x5052 -x7707 -x7710 -x7711 -x7731 -x7733 -x7734 -x7735 -x7736 -x7738 -x7739 -x7740 -x7743 -x7744 -x7767 -x4514 -x13516 -x11259 -x11260 -x13471 -x13472 -x13473 -x13585 -x15227 -x739 -x8373 -x11424 -x11425 -x11436 -x12301 -x12315 -x13485 -x54 -x1587 -x2109 -x2128 -x2138 -x2424 -x2675 -x3538 -x3552 -x3669 -x4819 -x4853 -x10363 -x10377 -x11208 -x11214 -x11231 -x11337 -x11409 -x11504 -x12022 -x12278 -x12402 -x12426 -x12643 -x12675 -x12688 -x12882 -x13278 -x13935 -x13950 -x13964 -x13979 -x14165 -x14171 -x14188 -x14383 -x14601 -x14684 -x14729 -x14805 -x14814 -x14854 -x14934 -x15064 -x15079 -x15101 -x109 -x1049 -x1255 -x1285 -x1295 -x1389 -x1415 -x5380 -x5505 x14351 -x2869 -x2870 -x11750 x12476 -x12488 -x12514 -x12523 -x13639 -x747 -x827 -x830 -x6154 -x7619 x7657 -x2341 -x5269 -x5272 -x5274 -x5278 -x12408 -x12648 -x13985 -x14767 -x707 -x5510 -x5511 -x13255 -x13256 -x4342 -x4358 -x4392 -x11405 -x11406 -x11407 -x11411 -x3360 -x3361 -x3711 -x3712 -x3713 -x3714 -x3715 x4118 -x4901 -x12460 -x13305 -x13306 x13307 -x13308 -x13398 -x13399 -x13400 -x13401 -x1059 -x1060 -x1061 -x1062 -x12547 -x12548 -x12650 -x12654 -x12655 -x1143 -x1387 -x1388 -x1390 -x1411 -x1412 -x1413 -x1414 -x1418 -x1423 -x1424 -x1425 -x13293 -x3197 -x3201 -x4585 -x2339 -x12403 -x12404 -x13691 -x88 -x2395 -x480 -x481 -x482 -x483 -x484 -x488 -x489 -x490 -x516 -x561 -x562 -x563 -x564 -x565 -x569 -x570 -x571 -x590 -x591 -x592 -x593 -x595 -x686 -x687 -x688 -x689 -x690 -x694 -x695 -x709 -x711 -x712 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x781 -x782 -x783 -x784 -x785 -x787 -x788 -x792 -x794 -x12641 -x12642 -x12644 -x417 -x418 -x10094 -x10097 -x10098 -x10099 -x10102 x10104 -x10949 -x14202 -x14203 -x14205 -x10127 -x10131 -x10138 -x10139 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x4250 -x4251 -x13486 -x13487 -x2494 -x5050 -x12192 -x12193 -x12194 -x12196 -x12218 -x12219 -x12242 -x12243 -x12313 -x14972 -x4165 -x3358 x3359 -x3396 -x3397 -x3398 -x4170 -x4171 -x4172 -x4197 -x4198 -x4199 -x4300 -x4301 -x4302 -x4303 -x4304 -x10261 -x10262 -x14310 -x14311 -x14312 -x11429 x11435 -x11437 -x11439 -x11441 -x11442 -x1885 -x1887 -x1888 -x2024 -x2026 -x2027 -x11898 -x7810 -x7857 -x681 -x10676 -x10689 -x4232 -x4233 -x4235 -x4236 -x4238 -x4892 -x5286 -x45 -x52 -x55 -x56 -x63 -x75 x4985 -x5042 -x5055 -x5056 x5143 -x8337 -x8340 -x8354 -x10690 x13147 -x8327 -x2357 -x10355 -x10356 -x10357 -x10384 -x10385 -x12272 -x12296 -x12331 -x12332 -x12333 -x12355 -x12415 -x12419 -x12420 -x13928 -x13929 -x13957 -x13958 -x15193 -x15281 -x1257 -x3395 -x7584 -x639 -x11056 -x10361 -x10362 -x11199 -x11206 -x11207 -x11209 -x11211 -x12276 -x12277 -x12424 -x12425 -x13933 -x13934 -x13962 -x13963 -x14163 -x14164 -x14166 -x14168 -x14526 -x14635 -x14680 -x948 -x962 -x1226 -x2347 -x10364 -x10365 -x10366 -x10367 -x11215 -x11216 -x11217 -x11218 -x11220 -x11221 -x12279 -x12280 -x12281 -x12282 -x12339 -x12340 -x12341 -x12427 -x12428 -x12429 -x12430 -x13936 -x13937 -x13938 -x13939 -x13965 -x13966 -x13967 -x13968 -x14172 -x14173 -x14174 -x14175 -x14177 -x14178 -x14975 -x14976 -x14977 -x1227 -x1228 -x3492 -x3499 -x10208 x10210 -x10211 -x10212 -x10213 -x10214 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10227 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10238 -x10253 -x10259 -x14538 -x14539 -x14731 -x14804 -x11506 -x11522 -x14532 -x14533 -x14534 -x14535 -x14727 -x14860 -x10423 -x10425 -x10431 -x10433 -x10464 -x10466 -x10472 -x10474 -x10512 -x10514 -x10520 -x10522 -x10976 -x10978 -x10990 -x10992 -x10998 -x11000 -x11015 -x11017 -x11023 -x11025 -x13548 -x14432 -x14434 -x14440 -x14442 -x15269 -x15271 -x15275 -x15277 -x35 -x276 -x278 -x284 -x286 -x333 -x335 -x341 -x343 -x12201 -x12203 -x12204 -x12224 -x12226 -x12227 -x12249 -x12251 -x12252 -x12267 -x13166 -x1290 -x6455 -x12021 -x2363 -x2368 -x2533 -x4632 -x4633 -x4634 -x4850 -x11381 -x11447 -x11448 -x12042 -x14593 -x14692 -x14704 -x14717 -x14739 -x14771 -x14787 -x15072 -x93 -x2288 -x12190 -x12216 -x13163 -x13164 -x13165 -x14973 -x10691 -x10692 -x10694 -x10701 -x10702 -x10704 x10418 -x10420 -x10453 -x10455 -x10501 -x10503 -x11010 -x11012 -x13824 -x14421 -x14423 -x15260 -x15262 -x271 -x273 -x322 -x324 -x12077 -x67 -x12318 -x12319 -x2094 -x2130 -x2140 -x2390 -x3555 x3556 -x4312 -x4751 -x10294 -x10295 -x10380 -x10381 -x10414 -x10445 -x10447 -x10493 -x10495 -x10526 -x10938 -x11234 -x11235 -x11803 -x11804 -x12209 -x12232 -x12257 -x12350 -x13494 -x13496 -x13778 -x13779 -x13801 -x13802 -x13952 -x13981 -x14191 -x14192 -x14413 -x14415 -x14619 -x14946 -x15254 -x77 -x168 -x169 x200 -x201 -x219 -x220 -x314 -x316 -x1175 -x1269 -x4338 -x4339 -x14735 -x2996 -x3883 -x10463 -x10511 -x10675 -x10688 -x10947 -x11340 -x11410 -x13575 -x13580 -x14200 -x14431 -x14722 -x14734 -x15268 -x68 -x332 -x421 -x475 -x4340 x1301 -x3884 -x5491 -x5495 -x13576 -x766 -x768 -x5493 -x5497 -x10397 -x13651 -x742 -x3879 -x4167 -x4169 x4293 -x4297 -x4298 -x10669 -x10682 x13571 x14307 -x14308 -x14309 -x10329 -x10330 -x10332 -x10333 -x10338 -x10339 -x10342 -x10375 -x10376 -x10378 -x10379 -x12290 -x12291 -x12292 -x12293 -x12328 -x12329 -x12346 -x12347 -x12348 -x2660 -x5471 -x5488 -x13425 -x13983 -x12438 -x12439 -x12440 -x12442 -x13947 -x13948 -x13949 -x13951 -x13954 -x13976 -x13977 -x13978 -x13980 -x2780 -x2786 -x14331 -x2440 -x2448 -x2457 -x2532 -x3255 -x10485 -x10873 -x11256 -x11635 -x11661 -x11672 -x11783 -x13468 -x13584 -x13682 -x14382 -x14748 -x14820 -x14850 -x15080 -x15123 -x15150 -x15202 -x15226 -x297 -x652 -x749 -x1356 -x12327 x12358 -x12364 -x12375 -x11349 -x10416 -x10417 -x10449 -x10450 -x10451 -x10452 -x10461 -x10483 -x10484 -x10497 -x10498 -x10499 -x10500 -x10509 -x11009 -x14978 -x349 -x10944 -x11100 -x11228 -x11229 -x11230 -x11232 -x11233 -x14185 -x14186 -x14187 -x14189 -x14190 -x13419 -x13420 -x13423 -x13424 -x13445 -x11685 -x11686 -x11687 -x11688 -x14417 -x14418 -x14419 -x14420 -x14429 -x15256 -x15257 -x15258 -x15259 -x15266 -x270 -x318 -x319 -x320 -x321 -x330 -x57 -x1793 -x3951 -x4784 x4832 -x12656 -x1440 -x1441 -x12684 -x12685 -x2090 -x2290 -x2499 -x10551 -x10552 -x10553 -x11369 x12992 -x12142 x12146 -x12300 -x12302 -x12307 -x12308 -x12316 -x12317 x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x13492 -x5144 -x1517 -x2023 -x10556 -x10557 -x10558 -x15090 -x13769 x10577 -x2992 -x11759 -x1552 -x10587 -x14849 -x14851 -x14853 x4500 -x1604 -x1976 -x1977 -x7586 -x7670 -x1588 -x3432 -x11956 -x1121 -x1353 -x1354 -x1379 -x1380 -x706 -x10659 -x10661 -x10664 -x10666 -x10667 -x10678 -x10679 -x10680 -x6149 -x5181 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10739 -x10740 -x10741 -x10742 -x10747 -x10748 -x10749 -x10750 -x10751 -x10767 -x10779 -x10782 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 -x10881 -x11125 -x11292 -x11332 -x11683 -x12660 -x13517 -x12395 -x12398 -x12399 -x4120 -x4903 -x12462 -x13408 -x13409 -x13410 -x13411 x13192 -x13193 -x13194 -x13249 -x13250 -x13251 -x2315 -x2371 x4246 -x4247 -x4686 -x4724 -x4737 -x4747 -x10883 -x10884 -x10885 -x11639 -x11666 -x11703 -x13686 -x15127 -x15155 -x15174 -x1277 x11450 -x14747 -x14774 -x14795 -x4134 -x881 -x882 -x883 -x884 -x4123 -x4124 -x11878 -x11879 -x13804 -x13805 -x10929 -x11150 -x1314 -x1315 -x1621 -x1622 -x1627 -x1628 -x3017 -x3728 -x3729 -x1507 -x3440 -x4309 -x869 -x53 -x11697 -x15169 -x3205 -x11254 -x13464 -x12191 -x12217 x12241 -x12125 x4181 -x4195 -x11914 -x13161 -x13162 -x2446 -x4510 -x4788 -x4835 -x15089 -x22 -x1167 -x1446 -x12200 x12211 -x12223 -x12234 -x10940 -x10941 -x10942 -x10943 -x10960 -x10962 -x1549 -x5146 x5149 -x4841 -x12682 -x12720 -x2858 -x8436 -x3244 x5498 -x5501 -x5502 -x5503 -x12059 -x13635 -x25 x13092 -x13131 -x1882 -x1883 -x5518 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x7047 -x7079 x2618 -x2624 -x3011 -x3276 -x3278 -x12863 x7585 -x7588 -x7669 -x7672 -x11955 -x11958 -x5145 -x5147 -x5148 -x5150 -x5151 -x2038 -x2043 x1911 -x3084 -x6730 -x13449 -x13647 -x13650 -x13663 -x13664 -x13665 -x13666 -x13667 -x13668 -x13669 x13670 -x13671 -x13672 -x13673 -x13674 -x13676 -x13679 x13710 -x13711 -x13712 -x13713 -x13714 -x13715 -x13716 -x13717 -x13718 -x13719 -x13720 -x13721 -x13722 -x13723 -x13724 -x13726 -x13729 -x13744 -x13747 -x13748 -x13749 -x13751 -x13752 -x13753 -x13756 -x13758 -x13759 -x13760 -x13761 -x13762 -x13765 -x13773 -x13774 -x13775 -x13776 -x13777 -x13782 -x13993 -x119 -x11060 -x11068 -x11076 -x11083 -x11139 -x11140 -x11151 -x14710 -x14712 -x14713 -x4158 -x4164 -x4273 -x4279 -x4258 -x4260 -x4271 -x3513 -x4256 -x2087 -x2088 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x4899 -x5465 -x5466 -x5467 -x5468 -x14502 -x14503 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11831 -x11832 -x11833 -x11834 x11835 -x11836 -x11837 -x11838 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x13270 -x13271 -x13272 -x13273 -x13274 -x14594 -x11351 -x11646 -x14806 -x15133 -x15135 -x12046 -x14563 -x14597 -x14979 -x14995 -x12081 -x12082 -x15191 -x15239 -x11356 -x11357 -x11624 -x11649 -x11650 -x14743 -x14817 -x15112 -x15138 -x11334 -x13730 -x14620 -x14685 -x14772 -x4675 -x15175 -x3788 -x3789 -x3790 -x3791 -x3792 -x11243 -x11244 -x11245 -x11246 -x11252 -x11253 -x11255 -x11268 -x6454 -x1329 -x1330 -x11644 -x14982 -x11360 -x11361 -x11627 -x11628 -x11653 -x11654 -x14956 -x15115 -x15116 x15142 -x15143 -x1325 -x1326 -x11283 -x11286 -x11287 -x11291 -x11293 -x11294 -x11295 -x14932 -x14789 -x4 -x13693 -x3138 -x599 -x600 -x1889 -x2028 -x13700 -x14921 -x14985 -x472 -x657 -x1302 -x6353 -x6360 -x2110 -x2129 -x2139 -x3553 -x3554 x11298 -x11819 -x14736 -x14944 -x14945 -x380 -x13113 -x13503 -x14600 -x14991 -x15166 -x2355 -x3543 -x4130 -x11671 -x13685 x2438 -x2439 -x2473 -x11363 -x11630 -x11634 -x11656 -x11660 -x11781 -x11782 -x14380 -x14381 -x15118 -x15122 -x15145 -x15149 -x137 -x295 -x296 -x650 -x651 -x14572 -x2000 -x2001 -x2011 -x2012 -x2444 -x2570 -x2571 -x3743 -x3744 x4846 -x12259 -x12827 -x13269 -x13500 -x13501 -x14252 -x15058 -x15094 -x15098 -x15104 -x15204 -x741 -x1439 -x14576 -x682 -x11392 -x7875 x1836 -x4428 -x11336 -x11338 -x11342 -x11343 -x11345 -x11368 -x186 -x5848 -x5878 -x3661 -x5389 -x5849 -x3662 -x5390 -x11385 -x11386 -x11387 -x11390 -x11391 -x11431 -x11432 x13467 -x191 -x192 -x2640 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x5406 -x5409 -x5439 -x5445 -x5449 -x13170 -x13171 -x13172 -x13186 -x13187 -x13199 -x13200 -x13201 -x13230 -x13231 -x11449 -x11455 -x14794 -x3030 -x3039 -x3089 -x3297 -x3309 -x4453 -x11862 -x11871 -x11921 -x11927 -x11937 -x11943 -x11968 -x11976 -x11988 -x11996 -x15083 -x15084 -x15085 -x15086 -x15087 -x15088 -x15091 -x15092 -x15093 -x1317 -x11640 -x11641 -x11642 -x11643 -x11645 -x11662 -x11667 -x11668 -x11669 -x11670 -x11673 -x11742 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11758 -x11760 -x11764 -x11765 -x11766 -x11767 -x15128 -x15129 -x15130 -x15131 -x15132 -x15151 -x15156 -x15157 -x15158 -x15159 -x15160 -x216 -x764 -x11830 -x640 -x641 -x2279 -x2280 -x2629 -x2633 -x2639 -x5431 -x5434 -x5438 -x11853 -x11858 -x11859 -x11860 -x11861 -x11863 -x11867 x11868 -x11869 -x11870 -x11872 -x12665 -x2606 -x2628 -x2631 -x2636 -x2638 -x5402 -x5405 -x5430 -x5433 x5437 -x205 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7603 -x7604 -x7606 -x7607 -x7609 -x7610 -x7611 -x7613 -x7615 -x7616 -x7618 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7645 -x7647 -x7649 -x7650 -x7651 -x7652 -x7654 -x7655 -x14227 -x14228 -x14229 -x14230 -x14231 -x14232 -x14233 -x14235 -x14236 -x14237 -x14238 -x14665 -x14666 -x14667 -x14669 -x1589 -x414 -x501 x502 -x503 -x504 -x1070 -x1071 -x2955 -x5255 -x15182 -x15213 -x3053 -x3579 -x4410 -x12652 -x12653 -x12567 -x14880 -x2018 -x3496 -x3755 -x3816 -x3817 -x3820 -x4591 -x11919 -x11920 -x11922 -x11925 -x11926 -x11928 -x11935 -x11936 -x11938 -x11941 -x11942 -x11944 -x12913 -x12918 -x13127 -x846 -x913 -x11964 -x11965 -x11966 -x11967 -x11969 -x11972 -x11973 -x11974 -x11975 -x11977 -x11984 -x11985 -x11986 -x11987 -x11989 -x11992 -x11993 -x11994 -x11995 -x11997 -x5384 -x12844 -x3028 -x3029 -x3031 -x3037 -x3038 -x3040 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3298 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3996 -x3997 -x3998 -x3999 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4501 -x12005 -x12016 -x12018 -x12019 -x12020 -x12025 -x12026 -x12030 -x12040 -x12041 -x12049 -x12052 -x12053 -x12054 -x12055 -x12056 -x12060 -x12061 -x12062 -x12063 -x12068 -x12069 -x12070 -x12071 x12073 -x1279 -x1280 -x1303 -x1304 -x1306 -x1320 -x2111 -x2808 -x4507 -x4508 -x4509 -x4511 -x4785 -x4786 -x4787 -x4789 -x4833 -x4834 -x15060 -x1098 -x1164 -x1165 -x1166 -x1168 -x1334 -x1443 -x1444 -x1445 -x3874 -x13559 -x2009 -x2016 -x2576 -x2999 -x3753 -x5395 -x14355 -x6161 -x6163 -x6164 -x6165 -x7191 -x7192 -x7214 -x7215 -x7229 -x7230 x7579 -x7580 -x14822 -x14827 -x14844 -x5273 -x5280 -x12961 -x12964 -x12999 -x13002 -x13105 -x13106 -x13139 -x927 -x928 -x929 -x12154 -x12156 -x12159 -x12160 -x12161 -x15063 -x15066 -x765 -x1077 -x1171 -x1172 -x1173 -x2748 -x2749 -x2750 -x2757 -x2333 -x2335 -x2336 -x2337 x12674 -x12676 -x12715 -x14882 -x3195 -x3216 -x3431 -x2112 -x2113 -x2114 -x2121 -x2122 -x2123 -x2124 -x12248 -x949 -x963 -x7178 -x7227 -x13025 -x13185 -x1080 -x1081 -x1082 -x1084 -x2080 -x2658 -x120 -x12263 -x5806 -x5807 -x7028 -x7029 -x7034 -x3656 -x3657 -x3658 -x4875 -x4876 -x5454 -x5456 -x5457 -x5458 -x13267 -x746 -x2125 x2135 -x4135 -x3511 -x3690 -x752 -x753 -x2359 -x14732 -x12483 -x12521 -x12543 -x12552 -x12818 -x2742 -x12659 -x12859 -x14544 -x12721 -x12722 -x12723 -x12724 -x12782 -x12821 -x1094 -x1594 -x12815 -x12816 -x12817 -x1946 -x3822 -x12843 -x2081 -x3514 -x4587 -x13144 -x2962 -x8876 -x12858 -x12864 -x12865 -x12866 -x12867 -x13300 -x111 -x12873 -x740 -x13456 -x12881 -x12909 -x12914 -x12915 -x12919 -x12920 -x2089 -x3805 -x3807 -x4974 -x4976 -x5141 -x13210 -x13219 -x2126 x2127 -x2136 -x2137 -x15201 -x12959 -x12960 -x12962 -x12963 -x12965 -x12966 -x12968 -x12970 -x12971 -x12998 -x13000 -x13001 -x13003 -x13004 -x13005 -x13008 -x13010 -x13011 -x13024 -x13026 x13027 -x13093 -x13103 -x13104 -x13107 -x13108 -x13116 -x13135 -x13141 -x13143 -x13146 -x14653 -x15186 -x14818 -x14821 -x14823 -x14831 -x14832 -x14836 -x14840 x14857 -x14861 -x14862 -x14863 -x2653 -x2654 -x2661 -x5473 -x5475 -x5477 -x5479 -x13173 -x13184 -x13202 -x13203 -x13204 -x13205 -x13206 -x13207 -x13208 -x13209 -x13211 -x13212 -x13213 -x13214 -x13215 -x13216 -x13217 -x13218 -x13220 -x13224 -x13228 -x13241 -x13242 -x13243 -x2401 -x2402 -x13277 -x15054 -x15055 -x15056 -x15057 -x15061 -x15062 -x744 -x757 -x1056 -x13444 -x13452 -x13453 -x13454 -x13455 -x465 -x466 -x467 -x469 -x476 -x440 -x2199 -x2201 -x2218 -x2219 -x2221 -x2283 -x2292 -x3766 -x3782 -x4980 -x4993 -x4994 x4996 -x5001 -x5021 -x5022 -x5024 -x5079 -x5131 -x5132 -x5134 -x5138 -x5142 -x2198 -x2205 -x2208 -x2216 -x2217 -x2232 -x2233 -x2246 -x2247 -x2262 -x2263 -x2284 -x3148 -x3153 -x3154 -x4981 -x4991 -x4992 -x5019 -x5020 -x5074 -x5075 -x5129 -x5130 -x5136 -x7243 -x7245 -x7247 -x2197 -x2202 -x2204 -x2214 -x2215 -x2229 -x2231 -x2242 -x2245 -x2260 -x2261 -x2558 -x2564 -x3151 -x3152 -x4989 -x4990 -x5017 -x5018 -x5072 -x5073 -x5077 -x5127 -x5128 -x5283 -x5317 -x5326 -x5331 -x122 -x127 -x2180 -x2189 -x3783 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4986 -x4987 -x4988 -x4999 -x5002 -x5006 -x5007 -x5008 -x5009 -x5010 -x5012 -x5016 -x5026 -x2226 -x2227 -x2228 -x2230 -x2236 -x2239 -x2240 -x2241 -x2243 -x2244 -x2250 -x2253 -x2257 -x2258 -x2259 -x2266 -x2267 -x2272 -x2273 -x2274 -x2275 -x5486 -x2212 -x2213 -x2196 -x2203 -x2206 -x2285 -x3778 -x3779 -x3780 -x3781 x4982 -x2195 -x2178 -x2185 x3803 -x5485 -x2603 -x5339 -x5375 -x5472 -x2501 -x2502 -x2503 -x2504 -x2530 -x2531 -x5195 -x5196 -x5197 -x14923 -x14924 -x14925 -x14926 -x14928 -x14943 -x14949 -x14950 -x14951 -x14952 -x14954 -x8418 -x8419 -x8420 -x8683 -x8693 -x3393 x4137 -x4146 -x5631 -x8381 -x4002 -x4210 -x4308 -x13826 -x14474 -x3206 -x13465 -x13583 -x15225 -x4879 -x4887 -x13625 -x13484 -x2672 -x2673 -x14744 -x14981 -x658 -x13499 -x13502 -x13507 -x13508 -x13509 -x13510 -x13511 -x13512 -x13513 -x13514 -x13515 -x13533 -x13534 -x13549 -x13550 -x13551 -x13552 -x13553 -x13554 -x14488 -x14489 -x14492 -x14493 -x362 -x363 -x14248 -x14249 -x5369 -x8143 -x2365 -x4798 -x4882 -x13733 -x15241 -x2382 -x4637 -x4697 -x4757 -x648 -x2085 -x2086 -x14497 -x14498 -x14501 -x2674 -x2676 -x2677 -x3537 -x3539 -x3668 -x3670 -x14933 -x14935 -x47 -x14560 -x4844 -x4845 -x14250 -x14251 -x15096 -x15097 -x2177 -x2184 -x5484 x3437 -x3439 -x3441 -x3442 -x13569 -x13570 -x13577 -x4001 -x4209 -x4307 -x4881 -x4889 -x13627 -x13825 -x14473 -x13578 -x13581 -x13582 -x13590 -x4636 -x3211 -x3213 -x3214 -x14633 -x13607 -x13608 -x13609 -x13610 -x14759 -x14998 -x361 -x364 -x14491 -x14559 -x4618 x4619 -x13614 -x13616 -x13617 -x13618 -x13619 -x13620 -x13621 -x13622 -x13623 -x13628 -x13629 -x13632 -x13636 -x13637 -x13640 -x13641 -x13642 -x13655 -x14562 -x17 -x18 -x19 -x21 -x26 -x27 -x29 -x30 -x31 -x15184 -x15185 -x15224 -x15231 -x15232 -x15233 -x5678 -x14986 -x15179 -x203 -x204 -x1602 -x3878 -x2325 -x2383 -x4638 -x4671 -x4698 -x4733 -x4742 x4758 -x4857 -x14659 -x2930 -x2945 -x4873 -x4874 x2091 -x2812 -x2813 -x2815 -x2821 -x2828 -x2834 -x2839 -x2859 -x2860 -x2861 -x2862 -x2867 -x2868 x2871 -x2872 -x2873 -x2876 -x2948 -x2949 -x2950 -x2997 -x2318 -x2329 -x2330 -x2367 -x2374 -x14542 -x14543 -x14874 x14931 -x6356 -x6357 -x6359 -x3509 -x3515 -x3510 -x3516 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8437 -x8438 -x8439 -x8440 -x8445 -x8446 -x6350 -x6351 -x6352 -x3086 -x3087 -x3088 -x3090 -x3091 x4450 -x4451 -x4452 -x4454 -x4455 -x4498 -x2781 -x2782 -x2783 -x2787 -x2788 -x2789 -x2079 -x2487 -x2488 -x2560 -x3256 -x3257 -x3258 -x4044 -x4045 -x4046 -x4552 -x4783 -x4813 -x5342 -x5370 -x5371 -x5372 -x15077 -x15078 -x14751 -x14753 -x14754 -x3137 -x4047 -x5373 -x7038 -x14120 -x14153 -x14316 -x14337 -x14343 -x14344 -x14352 -x14353 -x14354 -x14357 -x14358 -x14359 -x14983 -x2784 -x2430 -x2561 -x3259 -x298 -x6144 -x6150 x5180 -x5182 -x5268 -x14448 -x14449 -x14450 -x2 -x348 -x5843 -x5844 -x3659 -x261 -x8133 -x1857 -x1858 -x1859 -x4539 -x4540 -x4541 -x3189 -x3190 -x3191 -x3192 -x3023 -x3285 -x2621 -x3096 -x3097 -x3274 -x3275 -x4103 -x4104 -x4461 -x4462 -x4482 x5528 -x5529 -x5530 -x5532 -x4048 -x4049 -x2093 -x2354 -x2399 -x4627 -x4685 -x4689 -x4738 -x4750 -x14464 -x14465 -x14466 x14467 -x3529 -x3532 -x4471 -x4566 -x2103 -x2104 -x2107 -x2108 x4580 -x14547 -x3005 -x4086 -x14652 x14663 -x14697 -x14698 -x14746 -x14773 -x14785 -x14792 -x14868 -x14870 -x7080 -x908 -x912 -x1096 -x14940 -x14942 -x2356 -x15100 -x15102 -x15108 -x15178 -x2809 -x4793 -x4836 -x1099 -x1337 -x15208 x5 -x6 -x7 -x9 -x10 -x11 -x12 -x13 -x38 -x128 -x129 -x4105 -x4108 -x981 -x2449 -x3018 -x4621 -x4684 -x245 -x262 -x1841 x7203 -x779 -x1585 -x3240 -x3241 -x3242 -x3804 -x3806 -x4973 -x4975 -x819 x820 -x821 -x822 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x1842 -x887 -x4518 -x4519 -x4520 -x1998 -x1999 -x907 -x909 -x1519 x1890 -x2029 -x3078 -x920 -x921 -x922 -x930 -x934 x1547 -x3502 -x945 -x950 -x959 -x960 -x964 -x1529 -x1597 -x3052 -x1095 -x1100 -x1101 -x1102 -x1332 -x1338 -x1339 -x1340 -x1509 -x2002 -x2003 -x2008 -x2013 -x2014 -x2572 -x2573 -x3745 -x3746 -x3752 -x1794 x3954 -x1550 -x2681 -x3548 -x7057 -x2619 -x3012 -x3019 x3094 -x3272 -x3277 -x4458 -x1789 -x3947 -x5576 -x2810 -x2811 -x5381 -x5382 -x5383 -x5393 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x1513 -x1514 -x1596 -x4095 -x3547 -x2680 -x1613 -x1615 -x1616 -x1617 -x1618 -x2520 -x2959 -x3199 -x3645 -x4583 -x3085 -x4449 -x3536 -x7697 -x3498 -x1624 -x1970 -x3742 x4009 -x4010 -x3334 -x1664 -x1665 -x1666 -x1667 -x1669 -x1671 -x1674 -x4964 -x1742 -x4109 -x4395 -x1826 -x1838 -x1839 x1862 -x1863 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3533 -x5397 -x5398 -x5423 -x1897 -x1898 -x1896 -x4465 -x4468 -x4560 -x4563 x1913 -x7039 -x4078 -x4080 -x4893 -x4894 -x1895 -x1899 -x1900 -x1901 -x3082 -x4897 x3335 -x3336 -x3337 -x3338 -x3339 -x1937 -x1938 -x2101 -x2105 -x4669 -x4780 -x7863 -x3703 -x4418 -x4469 -x4564 -x4581 -x4582 -x4589 -x4081 -x4079 -x4008 x5514 -x3279 -x4430 -x3000 -x3150 -x3762 -x3763 -x3764 -x3770 -x3771 -x3772 -x3799 -x5071 -x5309 -x5323 -x7574 -x7577 -x7578 -x2525 -x2526 -x3801 -x4814 -x2069 x6194 -x2627 -x5429 -x2082 -x2084 -x2964 -x4623 -x4625 -x2778 -x2779 -x2785 -x4357 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x3373 -x3374 -x3375 -x3376 -x3508 -x4548 -x4549 -x4550 -x4551 -x2102 -x2106 -x6138 -x7175 -x7190 -x7193 -x3156 x2175 -x2179 x2182 -x2186 -x5338 -x5374 -x5413 -x5416 -x7213 -x7217 -x7222 -x7223 -x7225 -x2595 -x3248 -x3436 x2193 -x2194 -x2207 -x2209 -x2286 -x2287 -x2931 -x2946 -x2963 -x3495 x3819 x2306 -x2307 -x6967 -x6968 -x6969 -x4603 -x4604 -x4605 -x4611 -x4612 -x4613 -x4614 -x4615 -x4883 -x4884 -x4912 -x4914 -x2637 -x3281 -x3282 -x3283 -x2412 -x2413 -x2423 -x2425 -x4852 -x4854 -x2486 -x2489 x2490 -x2527 -x4983 -x4984 -x4877 -x2609 -x3124 -x3127 -x4396 -x4654 -x5422 x2556 -x2592 -x2593 -x2594 -x2600 -x2601 -x3237 -x3372 -x4474 -x4547 -x4569 -x3149 x5070 -x7226 -x2608 -x2615 -x5421 -x4707 -x3239 -x4571 -x2630 -x2635 -x5183 -x5267 -x5340 -x5462 -x4818 -x4820 -x3421 x2683 -x4598 -x3648 -x4466 -x4467 -x4561 -x4562 -x3666 -x2734 -x2799 x4885 -x3123 -x3126 -x3254 -x3020 -x3021 -x5306 -x5307 -x5308 -x4794 -x4516 -x7696 -x3245 -x4097 -x4573 -x3092 -x3643 -x4470 -x4565 x5494 -x3145 -x3757 -x3758 -x3800 -x3773 -x3774 -x3776 -x3765 -x4593 -x4890 x3756 -x4977 -x5404 -x5432 -x5436 -x3236 -x3238 -x3371 -x4473 -x4546 -x4568 -x4570 -x3689 -x3696 -x4091 -x3235 -x3246 -x3247 x3253 -x3644 -x3504 -x3646 x4116 -x4491 -x3364 x3365 -x3366 -x5426 -x5315 -x7205 -x7206 -x7207 -x7228 -x4456 -x4480 -x4579 x3501 -x3503 -x3505 x3506 -x3507 x3641 -x3665 -x3667 x3701 -x3702 -x4082 -x4522 -x7231 -x5336 -x3824 -x4837 -x4096 -x4101 -x5394 -x4341 -x4464 -x4472 -x4559 -x4567 -x4574 -x5139 x7695 -x4617 -x4622 -x4640 x4702 -x4710 -x4863 -x4864 -x4923 -x5066
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61639 MiB free)
memory of node 1: 64465 MiB (63797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485580-1751305746/watcher-4485580-1751305746 -o /tmp/evaluation-result-4485580-1751305746/solver-4485580-1751305746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48268 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4485580-1751305746.opb --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=48760, runsolver pid=48757
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.09 4/265 48767
/proc/meminfo: memFree=128061080/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=597112 memory=403856 CPUtime=0.08 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 901 0 0 0 1 7 0 0 20 0 1 0 46252177 611442688 100964 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 149278 100964 1632 641 0 134035 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 597112 KiB
Current children cumulated memory: 403856 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.11 4.11 4.09 4/265 48773
/proc/meminfo: memFree=127934684/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=607944 memory=549716 CPUtime=0.18 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 4207 0 0 0 8 10 0 0 20 0 1 0 46252177 622534656 137429 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 151986 137429 1728 641 0 136743 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 607944 KiB
Current children cumulated memory: 549716 KiB
[startup+0.305622 s]*
/proc/loadavg: 4.11 4.11 4.09 4/263 48785
/proc/meminfo: memFree=127934684/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=651636 memory=578504 CPUtime=0.28 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 9663 0 0 0 16 12 0 0 20 0 2 0 46252177 667275264 144626 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 162909 144626 2656 641 0 145392 0
[pid=48760/tid=48777] ppid=48757 vsize=651636 memory=-8990761141971951520 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46252199 667275264 144658 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 651636 KiB
Current children cumulated memory: 578504 KiB
[startup+0.700151 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 48790
/proc/meminfo: memFree=127853480/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=658208 memory=583656 CPUtime=0.67 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 14451 0 0 0 54 13 0 0 20 0 2 0 46252177 674004992 145914 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 164552 145914 2880 641 0 147035 0
[pid=48760/tid=48777] ppid=48757 vsize=658208 memory=17664 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46252199 674004992 145914 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 658208 KiB
Current children cumulated memory: 583656 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.11 4.09 4/265 48799
/proc/meminfo: memFree=127820272/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=658208 memory=583656 CPUtime=1.47 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 16731 0 0 0 134 13 0 0 20 0 2 0 46252177 674004992 145914 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 164552 145914 2880 641 0 147035 0
[pid=48760/tid=48777] ppid=48757 vsize=658208 memory=17664 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 46252199 674004992 145914 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 658208 KiB
Current children cumulated memory: 583656 KiB
[startup+3.10553 s]
/proc/loadavg: 4.10 4.11 4.09 4/264 48875
/proc/meminfo: memFree=127816336/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=671480 memory=601932 CPUtime=3.07 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 27026 0 0 0 293 14 0 0 20 0 2 0 46252177 687595520 150483 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 167870 150483 3168 641 0 150353 0
[pid=48760/tid=48777] ppid=48757 vsize=671480 memory=0 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 46252199 687595520 150483 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 671480 KiB
Current children cumulated memory: 601932 KiB
[startup+6.30013 s]
/proc/loadavg: 4.09 4.11 4.09 4/264 48943
/proc/meminfo: memFree=127614916/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=704096 memory=632936 CPUtime=6.25 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 47871 0 1 0 609 16 0 0 20 0 2 0 46252177 720994304 158234 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 176024 158234 3680 641 0 158507 0
[pid=48760/tid=48777] ppid=48757 vsize=704096 memory=0 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 46252199 720994304 158234 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 704096 KiB
Current children cumulated memory: 632936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 4/264 49168
/proc/meminfo: memFree=127394892/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=704096 memory=636264 CPUtime=12.64 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 66978 0 1 0 1246 18 0 0 20 0 2 0 46252177 720994304 159066 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 176024 159066 3712 641 0 158507 0
[pid=48760/tid=48777] ppid=48757 vsize=704096 memory=620520 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 46252199 720994304 159066 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 704096 KiB
Current children cumulated memory: 636264 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126643292/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713292 memory=643916 CPUtime=25.4 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 90270 0 1 0 2520 20 0 0 20 0 2 0 46252177 730411008 160979 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178323 160979 3712 641 0 160806 0
[pid=48760/tid=48777] ppid=48757 vsize=713292 memory=14432 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730411008 160979 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 713292 KiB
Current children cumulated memory: 643916 KiB
[startup+44.3879 s]
# the end of solver process 48760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=44.0089 s, system=0.239214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126643292/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713292 memory=643916 CPUtime=25.5 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 90270 0 1 0 2530 20 0 0 20 0 2 0 46252177 730411008 160979 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178323 160979 3712 641 0 160806 0
[pid=48760/tid=48777] ppid=48757 vsize=713292 memory=21996 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730411008 160979 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 713292 KiB
Current children cumulated memory: 643916 KiB
[startup+32.0001 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126639540/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=31.89 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 91959 0 1 0 3168 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=-7675384534132423613 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+38.4001 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126396716/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=38.27 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 91982 0 1 0 3806 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=636264 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+41.6001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126340520/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=41.46 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 92087 0 1 0 4125 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=646348 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+43.2001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126340016/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=43.06 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 92088 0 1 0 4285 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=14432 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+44.0001 s]*
/proc/loadavg: 4.11 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126340016/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=43.86 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 92089 0 1 0 4365 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=149668 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 43.86 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+44.2001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126340016/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=713820 memory=646348 CPUtime=44.05 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 92089 0 1 0 4384 21 0 0 20 0 2 0 46252177 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178455 161587 3712 641 0 160938 0
[pid=48760/tid=48777] ppid=48757 vsize=713820 memory=-7675384534132226238 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 730951680 161587 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 44.05 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 646348 KiB
[startup+44.3001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126340016/131250000 swapFree=33010684/33010684
[pid=48760] ppid=48757 vsize=714416 memory=646860 CPUtime=44.15 cores=1,3
/proc/48760/stat : 48760 (ipbhs_gurobi) R 48757 48760 48256 0 -1 4194304 92872 0 1 0 4394 21 0 0 20 0 2 0 46252177 731561984 161715 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
/proc/48760/statm: 178604 161715 3712 641 0 161087 0
[pid=48760/tid=48777] ppid=48757 vsize=714416 memory=646348 CPUtime=0 cores=1,3
/proc/48760/task/48777/stat : 48777 (ipbhs_gurobi) S 48757 48760 48256 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 46252199 731561984 161715 18446744073709551615 94829114904576 94829117529629 140727799916288 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94829118148504 94829118181466 94829121908736 140727799921055 140727799921159 140727799921159 140727799926761 0
Current children cumulated CPU time: 44.15 s
Current children cumulated vsize: 714416 KiB
Current children cumulated memory: 646860 KiB
Child status: 0
Real time (s): 44.388
CPU time (s): 44.2482
CPU user time (s): 44.0089
CPU system time (s): 0.239214
CPU usage (%): 99.685
Max. virtual memory (cumulated for all children) (KiB): 714416
Max. memory (cumulated for all children) (KiB): 646860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.0089
system time used= 0.239214
maximum resident set size= 647116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95870
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4564
involuntary context switches= 278
# summary of solver processes directly reported to runsolver:
# pid: 48760
# total CPU time (s): 44.2482
# total CPU user time (s): 44.0089
# total CPU system time (s): 0.239214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086844 second user time and 0.225488 second system time
The end
Begin job on nodeC016 at 2025-06-30 19:49:06
IDJOB=4485580
IDBENCH=146803
IDSOLVER=3333
FILE ID=nodeC016/4485580-1751305746
RUNJOBID= nodeC016-1751302134-48268
SLURM_JOB_ID= 9594282
Free space on /tmp= 432884 MiB
SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485580-1751305746/watcher-4485580-1751305746 -o /tmp/evaluation-result-4485580-1751305746/solver-4485580-1751305746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48268 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4485580-1751305746.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=753068386
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.740
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3600.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3599.571
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3599.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.685
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3599.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128443544 kB
MemAvailable: 129526936 kB
Buffers: 3280 kB
Cached: 1886884 kB
SwapCached: 0 kB
Active: 543916 kB
Inactive: 1618640 kB
Active(anon): 290468 kB
Inactive(anon): 0 kB
Active(file): 253448 kB
Inactive(file): 1618640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 184568 kB
Writeback: 0 kB
AnonPages: 275480 kB
Mapped: 115752 kB
Shmem: 18072 kB
KReclaimable: 101088 kB
Slab: 188588 kB
SReclaimable: 101088 kB
SUnreclaim: 87500 kB
KernelStack: 4256 kB
PageTables: 3388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 649360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 137216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432828 MiB
End job on nodeC016 at 2025-06-30 19:49:51