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

OK	21

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: 63665 MiB (60139 MiB free)
  memory of node 1: 64507 MiB (53225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528394-1752240236/watcher-4528394-1752240236 -o /tmp/evaluation-result-4528394-1752240236/solver-4528394-1752240236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752239847-120959 --watchdog 3760 pb_picat HOME/instance-4528394-1752240236.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121079, runsolver pid=121076

[startup+0.100065 s]*
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116061388/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2027148 memory=36392 CPUtime=0.09 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 1092 0 0 0 9 0 0 0 20 0 1 0 139701474 2075799552 9098 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 506787 9098 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36392 KiB

[startup+0.205639 s]*
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116036876/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2035748 memory=56572 CPUtime=0.19 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 1453 0 0 0 18 1 0 0 20 0 1 0 139701474 2084605952 14143 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 508937 14143 1664 343 0 506001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2035748 KiB
Current children cumulated memory: 56572 KiB

[startup+0.305593 s]*
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116034356/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2043308 memory=61628 CPUtime=0.29 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 3275 0 0 0 28 1 0 0 20 0 1 0 139701474 2092347392 15407 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 510827 15407 1728 343 0 507891 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2043308 KiB
Current children cumulated memory: 61628 KiB

[startup+0.700163 s]
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116033600/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2041052 memory=61808 CPUtime=0.68 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 4782 0 0 0 67 1 0 0 20 0 1 0 139701474 2090037248 15452 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 510263 15452 1728 343 0 507327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041052 KiB
Current children cumulated memory: 61808 KiB

[startup+1.50014 s]
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116031836/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2045356 memory=63488 CPUtime=1.48 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 7724 0 0 0 146 2 0 0 20 0 1 0 139701474 2094444544 15872 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 511339 15872 1728 343 0 508403 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045356 KiB
Current children cumulated memory: 63488 KiB

[startup+3.10536 s]
/proc/loadavg: 4.36 3.49 2.54 5/263 121080
/proc/meminfo: memFree=116027676/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2044036 memory=63520 CPUtime=3.07 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 9932 0 0 0 305 2 0 0 20 0 1 0 139701474 2093092864 15880 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 511009 15880 1728 343 0 508073 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2044036 KiB
Current children cumulated memory: 63520 KiB

[startup+6.30016 s]
/proc/loadavg: 4.33 3.49 2.55 5/263 121080
/proc/meminfo: memFree=116019484/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2048612 memory=67844 CPUtime=6.27 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 13910 0 0 0 623 4 0 0 20 0 1 0 139701474 2097778688 16961 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 512153 16961 1728 343 0 509217 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048612 KiB
Current children cumulated memory: 67844 KiB

[startup+12.7001 s]
/proc/loadavg: 4.30 3.50 2.56 5/263 121080
/proc/meminfo: memFree=116023596/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2051880 memory=69640 CPUtime=12.65 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 15401 0 0 0 1260 5 0 0 20 0 1 0 139701474 2101125120 17410 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 512970 17410 1728 343 0 510034 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2051880 KiB
Current children cumulated memory: 69640 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 3.54 2.59 5/263 121080
/proc/meminfo: memFree=116027456/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2051880 memory=71748 CPUtime=25.42 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 17814 0 0 0 2536 6 0 0 20 0 1 0 139701474 2101125120 17937 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 512970 17937 1728 343 0 510034 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2051880 KiB
Current children cumulated memory: 71748 KiB

[startup+51.1054 s]
/proc/loadavg: 4.53 3.66 2.65 5/263 121081
/proc/meminfo: memFree=116012896/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2053932 memory=74024 CPUtime=50.95 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 35755 0 0 0 5085 10 0 0 20 0 1 0 139701474 2103226368 18506 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 513483 18506 1728 343 0 510547 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2053932 KiB
Current children cumulated memory: 74024 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 3.72 2.73 5/263 121083
/proc/meminfo: memFree=116007412/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2064172 memory=79732 CPUtime=102.01 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 89645 0 0 0 10174 27 0 0 20 0 1 0 139701474 2113712128 19933 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 516043 19933 1728 343 0 513107 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2064172 KiB
Current children cumulated memory: 79732 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 3.80 2.82 5/263 121085
/proc/meminfo: memFree=116005376/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2064172 memory=77684 CPUtime=161.85 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 145254 0 0 0 16142 43 0 0 20 0 1 0 139701474 2113712128 19421 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 516043 19421 1728 343 0 513107 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2064172 KiB
Current children cumulated memory: 77684 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.86 2.90 5/262 121087
/proc/meminfo: memFree=116014956/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2055980 memory=75916 CPUtime=221.69 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 200230 0 0 0 22110 59 0 0 20 0 1 0 139701474 2105323520 18979 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 513995 18979 1728 343 0 511059 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2055980 KiB
Current children cumulated memory: 75916 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.90 2.98 5/262 121089
/proc/meminfo: memFree=115986744/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2075748 memory=95012 CPUtime=281.54 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 208331 0 0 0 28092 62 0 0 20 0 1 0 139701474 2125565952 23753 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 518937 23753 1728 343 0 516001 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2075748 KiB
Current children cumulated memory: 95012 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.94 3.05 5/262 121091
/proc/meminfo: memFree=115992468/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2075748 memory=97060 CPUtime=341.39 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 208343 0 0 0 34077 62 0 0 20 0 1 0 139701474 2125565952 24265 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 518937 24265 1728 343 0 516001 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2075748 KiB
Current children cumulated memory: 97060 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.97 3.12 5/262 121093
/proc/meminfo: memFree=115990572/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2075748 memory=97060 CPUtime=401.24 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 208343 0 0 0 40062 62 0 0 20 0 1 0 139701474 2125565952 24265 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 518937 24265 1728 343 0 516001 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2075748 KiB
Current children cumulated memory: 97060 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.02 3.19 5/262 121095
/proc/meminfo: memFree=115992288/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2075748 memory=97060 CPUtime=461.09 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 208352 0 0 0 46047 62 0 0 20 0 1 0 139701474 2125565952 24265 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 518937 24265 1728 343 0 516001 0
Current children cumulated CPU time: 461.09 s
Current children cumulated vsize: 2075748 KiB
Current children cumulated memory: 97060 KiB

[startup+522.3 s]
/proc/loadavg: 4.06 4.01 3.24 5/262 121097
/proc/meminfo: memFree=115993784/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=80524 CPUtime=520.94 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 210902 0 0 0 52031 63 0 0 20 0 1 0 139701474 2120323072 20131 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20131 1728 343 0 514721 0
Current children cumulated CPU time: 520.94 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 80524 KiB

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

# cumulated CPU time of all completed processes:  user=528.819 s, system=0.641264 s

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

[startup+524.8 s]
/proc/loadavg: 4.06 4.01 3.24 5/262 121097
/proc/meminfo: memFree=115997880/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=81932 CPUtime=523.44 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 211254 0 0 0 52281 63 0 0 20 0 1 0 139701474 2120323072 20483 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20483 1728 343 0 514721 0
Current children cumulated CPU time: 523.44 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 81932 KiB

[startup+528 s]*
/proc/loadavg: 4.06 4.01 3.25 5/262 121097
/proc/meminfo: memFree=116007900/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=81932 CPUtime=526.64 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 211254 0 0 0 52601 63 0 0 20 0 1 0 139701474 2120323072 20483 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20483 1728 343 0 514721 0
Current children cumulated CPU time: 526.64 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 81932 KiB

[startup+529.6 s]
/proc/loadavg: 4.06 4.01 3.25 5/262 121097
/proc/meminfo: memFree=116003048/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=81932 CPUtime=528.23 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 211254 0 0 0 52760 63 0 0 20 0 1 0 139701474 2120323072 20483 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20483 1728 343 0 514721 0
Current children cumulated CPU time: 528.23 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 81932 KiB

[startup+530.4 s]
/proc/loadavg: 4.05 4.01 3.25 5/262 121097
/proc/meminfo: memFree=116011240/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=81932 CPUtime=529.02 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 211254 0 0 0 52839 63 0 0 20 0 1 0 139701474 2120323072 20483 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20483 1728 343 0 514721 0
Current children cumulated CPU time: 529.02 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 81932 KiB

[startup+530.8 s]
/proc/loadavg: 4.05 4.01 3.25 5/262 121097
/proc/meminfo: memFree=116011240/131249996 swapFree=33010684/33010684
[pid=121079] ppid=121076 vsize=2070628 memory=81932 CPUtime=529.42 cores=5,7
/proc/121079/stat : 121079 (pb_picat) R 121076 121079 119023 0 -1 4194304 211254 0 0 0 52879 63 0 0 20 0 1 0 139701474 2120323072 20483 18446744073709551615 93914748018688 93914749420269 140736875661680 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93914749691696 93914751565936 93914759761920 140736875669916 140736875669992 140736875669992 140736875675596 0
/proc/121079/statm: 517657 20483 1728 343 0 514721 0
Current children cumulated CPU time: 529.42 s
Current children cumulated vsize: 2070628 KiB
Current children cumulated memory: 81932 KiB

Child status: 0

Real time (s): 530.829
CPU time (s): 529.461
CPU user time (s): 528.819
CPU system time (s): 0.641264
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 2075748
Max. memory (cumulated for all children) (KiB): 97060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.819
system time used= 0.641264
maximum resident set size= 97060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211258
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= 66
involuntary context switches= 426


# summary of solver processes directly reported to runsolver:
#   pid: 121079
#   total CPU time (s): 529.461
#   total CPU user time (s): 528.819
#   total CPU system time (s): 0.641264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.883631 second user time and 2.43186 second system time

The end

Begin job on nodeC024 at 2025-07-11 15:23:56
IDJOB=4528394
IDBENCH=148194
IDSOLVER=3385
FILE ID=nodeC024/4528394-1752240236
RUNJOBID= nodeC024-1752239847-120959
SLURM_JOB_ID= 9682535
Free space on /tmp= 432340 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528394-1752240236/watcher-4528394-1752240236 -o /tmp/evaluation-result-4528394-1752240236/solver-4528394-1752240236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752239847-120959 --watchdog 3760  pb_picat HOME/instance-4528394-1752240236.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=699452749

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116085816 kB
MemAvailable:   129095768 kB
Buffers:            2144 kB
Cached:         13773968 kB
SwapCached:            0 kB
Active:          1285212 kB
Inactive:       13193816 kB
Active(anon):     720944 kB
Inactive(anon):       36 kB
Active(file):     564268 kB
Inactive(file): 13193780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:        702356 kB
Mapped:           116716 kB
Shmem:             18064 kB
KReclaimable:     181884 kB
Slab:             276244 kB
SReclaimable:     181884 kB
SUnreclaim:        94360 kB
KernelStack:        4256 kB
PageTables:         4508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6648828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432336 MiB
End job on nodeC024 at 2025-07-11 15:32:47