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 enable explicit+compact SCL
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.41/0.49	c limit for coefficient in constraints and objective to 1000000000
0.41/0.49	c will solve HOME/instance-4485581-1751289130.opb
0.41/0.49	Searching graph automorphisms with time limit: 100
0.59/0.63	c [0.35] will start solving
44.89/45.03	c [0.47] solve iteration 1, LB=0, UB=29074
44.89/45.03	c [3.84] solve iteration 2, LB=689, UB=882
44.89/45.03	c [44.54] LB=UB after core extraction
44.89/45.03	c [44.54] instance solved in 44.54s (optimization: 41.07s, core-extraction: 0.1s, SIS: 0s), 2 iterations, LB=689, UB=689, 
44.89/45.03	d ITERATIONS 2
44.89/45.03	d SIS 0
44.89/45.03	d SIS_SAT 0
44.89/45.03	d SIS_UNSAT 0
44.89/45.03	d SIS_OUT_OF_BUDGET 0
44.89/45.03	d CORES_EXTRACTED 0
44.89/45.03	d CORES_IN_OPTIMIZER 0
44.89/45.03	d CLAUSAL_CORES_IN_OPTIMIZER 0
44.89/45.03	d CARDINALITY_CORES_IN_OPTIMIZER 0
44.89/45.03	d PB_CORES_IN_OPTIMIZER 0
44.89/45.03	d TIME_EXTRACT_CORES 0.100000
44.89/45.03	d TIME_OPTIMIZE 41.070000
44.89/45.03	d TIME_SIS 0.000000
44.89/45.03	c solve_time: 44.540000
44.89/45.03	s OPTIMUM FOUND
44.89/45.03	o 689
44.89/45.03	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 

OK	689

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: 63794 MiB (62715 MiB free)
  memory of node 1: 64507 MiB (63688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485581-1751289130/watcher-4485581-1751289130 -o /tmp/evaluation-result-4485581-1751289130/solver-4485581-1751289130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751281913-37559 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4485581-1751289130.opb --max-coef 1000000000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=38430, runsolver pid=38427
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.14 4.14 4.15 5/253 38436
/proc/meminfo: memFree=129436996/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=75860 memory=12436 CPUtime=0.1 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 1815 0 0 0 9 1 0 0 20 0 1 0 44591955 77680640 3109 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 18965 3109 1632 641 0 3722 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 75860 KiB
Current children cumulated memory: 12436 KiB

[startup+0.21133 s]*
/proc/loadavg: 4.14 4.14 4.15 5/251 38440
/proc/meminfo: memFree=129421624/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=83396 memory=21268 CPUtime=0.2 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 3948 0 0 0 18 2 0 0 20 0 1 0 44591955 85397504 5317 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 20849 5317 1728 641 0 5606 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83396 KiB
Current children cumulated memory: 21268 KiB

[startup+0.311296 s]*
/proc/loadavg: 4.14 4.14 4.15 4/250 38445
/proc/meminfo: memFree=129425708/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=109716 memory=34916 CPUtime=0.31 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 6415 0 0 0 27 4 0 0 20 0 2 0 44591955 112349184 8729 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 27429 8729 2336 641 0 9912 0
[pid=38430/tid=38445] ppid=38427 vsize=109716 memory=-6000919498459538796 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 44591981 112349184 8729 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109716 KiB
Current children cumulated memory: 34916 KiB

[startup+0.700324 s]
/proc/loadavg: 4.14 4.14 4.15 4/250 38445
/proc/meminfo: memFree=129409832/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=124776 memory=50348 CPUtime=0.68 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 11312 0 0 0 63 5 0 0 20 0 2 0 44591955 127770624 12587 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 31194 12587 2400 641 0 13677 0
[pid=38430/tid=38445] ppid=38427 vsize=124776 memory=17664 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 44591981 127770624 12587 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124776 KiB
Current children cumulated memory: 50348 KiB

[startup+1.5003 s]
/proc/loadavg: 4.14 4.14 4.15 4/248 38459
/proc/meminfo: memFree=129778800/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=136780 memory=59932 CPUtime=1.48 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 15241 0 0 0 141 7 0 0 20 0 2 0 44591955 140062720 14983 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 34195 14983 3008 641 0 16678 0
[pid=38430/tid=38445] ppid=38427 vsize=136780 memory=17664 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 44591981 140062720 14983 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136780 KiB
Current children cumulated memory: 59932 KiB

[startup+3.11231 s]
/proc/loadavg: 4.14 4.14 4.15 5/252 38528
/proc/meminfo: memFree=129733820/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=136780 memory=60188 CPUtime=3.08 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 17589 0 0 0 301 7 0 0 20 0 2 0 44591955 140062720 15047 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 34195 15047 3008 641 0 16678 0
[pid=38430/tid=38445] ppid=38427 vsize=136780 memory=0 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 44591981 140062720 15047 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136780 KiB
Current children cumulated memory: 60188 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.14 4.15 4/250 38626
/proc/meminfo: memFree=128477636/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=176864 memory=99160 CPUtime=6.26 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 40032 0 0 0 615 11 0 0 20 0 2 0 44591955 181108736 24790 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 44216 24790 3808 641 0 26699 0
[pid=38430/tid=38445] ppid=38427 vsize=176864 memory=0 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 44591981 181108736 24790 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 176864 KiB
Current children cumulated memory: 99160 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.14 4/245 38887
/proc/meminfo: memFree=129800796/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=180756 memory=106072 CPUtime=12.65 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 54485 0 0 0 1252 13 0 0 20 0 2 0 44591955 185094144 26518 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 45189 26518 3840 641 0 27672 0
[pid=38430/tid=38445] ppid=38427 vsize=180756 memory=106072 CPUtime=0 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 44591981 185094144 26518 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 180756 KiB
Current children cumulated memory: 106072 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.14 5/256 39116
/proc/meminfo: memFree=129107652/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=187616 memory=112984 CPUtime=25.42 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 65996 0 0 0 2528 14 0 0 20 0 2 0 44591955 192118784 28246 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 46904 28246 3840 641 0 29387 0
[pid=38430/tid=38445] ppid=38427 vsize=187616 memory=0 CPUtime=0.01 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 12 0 0 0 0 1 0 0 20 0 2 0 44591981 192118784 28246 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 187616 KiB
Current children cumulated memory: 112984 KiB

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

# cumulated CPU time of all completed processes:  user=44.7629 s, system=0.18595 s

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

[startup+25.6004 s]
/proc/loadavg: 4.09 4.13 4.14 5/256 39116
/proc/meminfo: memFree=129107652/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=184620 memory=107708 CPUtime=25.52 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 67265 0 0 0 2538 14 0 0 20 0 2 0 44591955 189050880 26927 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 46155 26927 3840 641 0 28638 0
[pid=38430/tid=38445] ppid=38427 vsize=184620 memory=106584 CPUtime=0.01 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 12 0 0 0 0 1 0 0 20 0 2 0 44591981 189050880 26927 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 184620 KiB
Current children cumulated memory: 107708 KiB

[startup+38.4003 s]
/proc/loadavg: 4.16 4.14 4.15 6/256 39117
/proc/meminfo: memFree=128927344/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=190436 memory=116540 CPUtime=38.3 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 75014 0 0 0 3814 16 0 0 20 0 2 0 44591955 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47609 29135 3840 641 0 30092 0
[pid=38430/tid=38445] ppid=38427 vsize=190436 memory=116540 CPUtime=0.03 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 14 0 0 0 1 2 0 0 20 0 2 0 44591981 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 38.3 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 116540 KiB

[startup+41.6003 s]
/proc/loadavg: 4.15 4.14 4.14 5/256 39117
/proc/meminfo: memFree=128873328/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=190436 memory=116540 CPUtime=41.5 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 76089 0 0 0 4134 16 0 0 20 0 2 0 44591955 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47609 29135 3840 641 0 30092 0
[pid=38430/tid=38445] ppid=38427 vsize=190436 memory=116540 CPUtime=0.03 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 15 0 0 0 1 2 0 0 20 0 2 0 44591981 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 41.5 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 116540 KiB

[startup+43.2003 s]
/proc/loadavg: 4.15 4.14 4.14 5/256 39117
/proc/meminfo: memFree=128867280/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=190436 memory=116540 CPUtime=43.09 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 76311 0 0 0 4293 16 0 0 20 0 2 0 44591955 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47609 29135 3840 641 0 30092 0
[pid=38430/tid=38445] ppid=38427 vsize=190436 memory=5632 CPUtime=0.03 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 15 0 0 0 1 2 0 0 20 0 2 0 44591981 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 43.09 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 116540 KiB

[startup+44.0003 s]*
/proc/loadavg: 4.15 4.14 4.14 5/256 39117
/proc/meminfo: memFree=128862408/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=190436 memory=116540 CPUtime=43.9 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 76340 0 0 0 4374 16 0 0 20 0 2 0 44591955 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47609 29135 3840 641 0 30092 0
[pid=38430/tid=38445] ppid=38427 vsize=190436 memory=-7747442128271081149 CPUtime=0.03 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 15 0 0 0 1 2 0 0 20 0 2 0 44591981 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 43.9 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 116540 KiB

[startup+44.8003 s]
/proc/loadavg: 4.15 4.14 4.14 5/256 39117
/proc/meminfo: memFree=128862408/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=190436 memory=116540 CPUtime=44.69 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 76344 0 0 0 4453 16 0 0 20 0 2 0 44591955 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47609 29135 3840 641 0 30092 0
[pid=38430/tid=38445] ppid=38427 vsize=190436 memory=14720 CPUtime=0.03 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 15 0 0 0 1 2 0 0 20 0 2 0 44591981 195006464 29135 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 44.69 s
Current children cumulated vsize: 190436 KiB
Current children cumulated memory: 116540 KiB

[startup+45.0003 s]*
/proc/loadavg: 4.13 4.14 4.14 5/256 39117
/proc/meminfo: memFree=128860416/131382112 swapFree=33010160/33010684
[pid=38430] ppid=38427 vsize=191064 memory=117052 CPUtime=44.89 cores=0,2
/proc/38430/stat : 38430 (ipbhs_gurobi) R 38427 38430 37549 0 -1 4194304 79768 0 0 0 4473 16 0 0 20 0 2 0 44591955 195649536 29263 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
/proc/38430/statm: 47766 29263 3840 641 0 30249 0
[pid=38430/tid=38445] ppid=38427 vsize=191064 memory=2432 CPUtime=0.04 cores=0,2
/proc/38430/task/38445/stat : 38445 (ipbhs_gurobi) S 38427 38430 37549 0 -1 4194368 15 0 0 0 1 3 0 0 20 0 2 0 44591981 195649536 29263 18446744073709551615 93952122253312 93952124878365 140733053401968 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93952125497240 93952125530202 93952146857984 140733053405579 140733053405703 140733053405703 140733053411305 0
Current children cumulated CPU time: 44.89 s
Current children cumulated vsize: 191064 KiB
Current children cumulated memory: 117052 KiB

Child status: 0

Real time (s): 45.054
CPU time (s): 44.9488
CPU user time (s): 44.7629
CPU system time (s): 0.18595
CPU usage (%): 99.7666
Max. virtual memory (cumulated for all children) (KiB): 191064
Max. memory (cumulated for all children) (KiB): 117052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.7629
system time used= 0.18595
maximum resident set size= 117052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4606
involuntary context switches= 106


# summary of solver processes directly reported to runsolver:
#   pid: 38430
#   total CPU time (s): 44.9488
#   total CPU user time (s): 44.7629
#   total CPU system time (s): 0.18595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.259281 second user time and 0.472957 second system time

The end

Begin job on nodeC001 at 2025-06-30 15:12:10
IDJOB=4485581
IDBENCH=146803
IDSOLVER=3334
FILE ID=nodeC001/4485581-1751289130
RUNJOBID= nodeC001-1751281913-37559
SLURM_JOB_ID= 9594238
Free space on /tmp= 432936 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 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 --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485581-1751289130/watcher-4485581-1751289130 -o /tmp/evaluation-result-4485581-1751289130/solver-4485581-1751289130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751281913-37559 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4485581-1751289130.opb --max-coef 1000000000

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

MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=502870210

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129437932 kB
MemAvailable:   129379256 kB
Buffers:            2128 kB
Cached:           746416 kB
SwapCached:           28 kB
Active:           813296 kB
Inactive:         448340 kB
Active(anon):     520644 kB
Inactive(anon):    10380 kB
Active(file):     292652 kB
Inactive(file):   437960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            182420 kB
Writeback:             4 kB
AnonPages:        516148 kB
Mapped:           115680 kB
Shmem:             17932 kB
KReclaimable:     100292 kB
Slab:             182428 kB
SReclaimable:     100292 kB
SUnreclaim:        82136 kB
KernelStack:        4000 kB
PageTables:         3904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     933888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432820 MiB
End job on nodeC001 at 2025-06-30 15:12:56