Trace number 4436364

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18OPT21 362.725 363.697

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUMe3f6e03fc0c8fc921c0242da7dc19bcf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark191.711
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	21

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436364-1721109465/watcher-4436364-1721109465 -o /tmp/evaluation-result-4436364-1721109465/solver-4436364-1721109465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879435 --watchdog 3760 pb_picat HOME/instance-4436364-1721109465.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=882343, runsolver pid=882340

[startup+0.100924 s]*
/proc/loadavg: 4.15 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126627680/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2033608 memory=34928 CPUtime=0.09 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 1272 0 0 0 9 0 0 0 20 0 1 0 163114588 2082414592 8732 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 508402 8732 1494 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 34928 KiB

[startup+0.205732 s]*
/proc/loadavg: 4.15 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126609024/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2033608 memory=55408 CPUtime=0.2 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 1287 0 0 0 19 1 0 0 20 0 1 0 163114588 2082414592 13852 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 508402 13852 1494 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55408 KiB

[startup+0.305684 s]*
/proc/loadavg: 4.14 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126590388/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2033608 memory=71792 CPUtime=0.3 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 1295 0 0 0 29 1 0 0 20 0 1 0 163114588 2082414592 17948 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 508402 17948 1494 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 71792 KiB

[startup+0.700233 s]
/proc/loadavg: 4.14 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126560944/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2051400 memory=101368 CPUtime=0.68 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 4364 0 0 0 66 2 0 0 20 0 1 0 163114588 2100633600 25342 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 512850 25342 1731 439 0 508279 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051400 KiB
Current children cumulated memory: 101368 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126558580/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2052168 memory=103364 CPUtime=1.48 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 7094 0 0 0 145 3 0 0 20 0 1 0 163114588 2101420032 25841 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 513042 25841 1731 439 0 508471 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2052168 KiB
Current children cumulated memory: 103364 KiB

[startup+3.10558 s]
/proc/loadavg: 4.14 4.18 4.18 5/257 882344
/proc/meminfo: memFree=126544060/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2063816 memory=112648 CPUtime=3.08 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 7894 0 0 0 305 3 0 0 20 0 1 0 163114588 2113347584 28162 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 515954 28162 1731 439 0 511383 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2063816 KiB
Current children cumulated memory: 112648 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.17 4.17 5/257 882345
/proc/meminfo: memFree=126530900/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2072904 memory=121960 CPUtime=6.27 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 10943 0 0 0 623 4 0 0 20 0 1 0 163114588 2122653696 30490 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 518226 30490 1731 439 0 513655 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2072904 KiB
Current children cumulated memory: 121960 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.17 4.17 5/257 882345
/proc/meminfo: memFree=126538060/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2072872 memory=122164 CPUtime=12.66 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 13757 0 0 0 1261 5 0 0 20 0 1 0 163114588 2122620928 30541 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 518218 30541 1731 439 0 513647 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2072872 KiB
Current children cumulated memory: 122164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.16 4.17 5/259 882517
/proc/meminfo: memFree=126509120/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2053960 memory=104432 CPUtime=25.42 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 16904 0 0 0 2536 6 0 0 20 0 1 0 163114588 2103255040 26108 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 513490 26108 1731 439 0 508919 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2053960 KiB
Current children cumulated memory: 104432 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.16 4.17 5/258 882521
/proc/meminfo: memFree=126501472/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2080588 memory=130656 CPUtime=50.96 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 21268 0 0 0 5088 8 0 0 20 0 1 0 163114588 2130522112 32664 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 520147 32664 1731 439 0 515576 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2080588 KiB
Current children cumulated memory: 130656 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/259 882531
/proc/meminfo: memFree=126525960/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2088780 memory=136564 CPUtime=102.02 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 32983 0 0 0 10188 14 0 0 20 0 1 0 163114588 2138910720 34141 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 522195 34141 1731 439 0 517624 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2088780 KiB
Current children cumulated memory: 136564 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/260 882546
/proc/meminfo: memFree=126537780/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2088744 memory=132752 CPUtime=161.86 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 36231 0 0 0 16171 15 0 0 20 0 1 0 163114588 2138873856 33188 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 522186 33188 1731 439 0 517615 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2088744 KiB
Current children cumulated memory: 132752 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.22 4.19 5/260 882568
/proc/meminfo: memFree=126528180/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2096940 memory=141128 CPUtime=221.71 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 41025 0 0 0 22153 18 0 0 20 0 1 0 163114588 2147266560 35282 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 524235 35282 1731 439 0 519664 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2096940 KiB
Current children cumulated memory: 141128 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.21 4.18 5/260 882578
/proc/meminfo: memFree=126518760/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2105132 memory=146732 CPUtime=281.54 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 51054 0 0 0 28131 23 0 0 20 0 1 0 163114588 2155655168 36683 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 526283 36683 1731 439 0 521712 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2105132 KiB
Current children cumulated memory: 146732 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/260 882589
/proc/meminfo: memFree=126501360/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2105132 memory=144740 CPUtime=341.38 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 58588 0 0 0 34111 27 0 0 20 0 1 0 163114588 2155655168 36185 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 526283 36185 1731 439 0 521712 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2105132 KiB
Current children cumulated memory: 144740 KiB

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

# cumulated CPU time of all completed processes:  user=362.42 s, system=0.305199 s

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

[startup+345.6 s]
/proc/loadavg: 4.21 4.20 4.18 5/260 882589
/proc/meminfo: memFree=126497236/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2121516 memory=149872 CPUtime=344.67 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 58870 0 0 0 34440 27 0 0 20 0 1 0 163114588 2172432384 37468 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 530379 37468 1731 439 0 525808 0
Current children cumulated CPU time: 344.67 s
Current children cumulated vsize: 2121516 KiB
Current children cumulated memory: 149872 KiB

[startup+352 s]*
/proc/loadavg: 4.17 4.19 4.18 5/258 882591
/proc/meminfo: memFree=126495936/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2121516 memory=150124 CPUtime=351.06 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 59671 0 0 0 35078 28 0 0 20 0 1 0 163114588 2172432384 37531 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 530379 37531 1731 439 0 525808 0
Current children cumulated CPU time: 351.06 s
Current children cumulated vsize: 2121516 KiB
Current children cumulated memory: 150124 KiB

[startup+358.4 s]
/proc/loadavg: 4.16 4.19 4.18 5/258 882592
/proc/meminfo: memFree=126493660/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2121516 memory=155056 CPUtime=357.43 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 61160 0 0 0 35715 28 0 0 20 0 1 0 163114588 2172432384 38764 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 530379 38764 1731 439 0 525808 0
Current children cumulated CPU time: 357.43 s
Current children cumulated vsize: 2121516 KiB
Current children cumulated memory: 155056 KiB

[startup+361.6 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 882593
/proc/meminfo: memFree=126483768/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2121516 memory=161200 CPUtime=360.62 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 61163 0 0 0 36034 28 0 0 20 0 1 0 163114588 2172432384 40300 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 530379 40300 1731 439 0 525808 0
Current children cumulated CPU time: 360.62 s
Current children cumulated vsize: 2121516 KiB
Current children cumulated memory: 161200 KiB

[startup+362.4 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 882593
/proc/meminfo: memFree=126481684/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2096940 memory=141904 CPUtime=361.42 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 61164 0 0 0 36114 28 0 0 20 0 1 0 163114588 2147266560 35476 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 524235 35476 1731 439 0 519664 0
Current children cumulated CPU time: 361.42 s
Current children cumulated vsize: 2096940 KiB
Current children cumulated memory: 141904 KiB

[startup+363.2 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 882593
/proc/meminfo: memFree=126503068/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2105132 memory=142164 CPUtime=362.21 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 61246 0 0 0 36193 28 0 0 20 0 1 0 163114588 2155655168 35541 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 526283 35541 1731 439 0 521712 0
Current children cumulated CPU time: 362.21 s
Current children cumulated vsize: 2105132 KiB
Current children cumulated memory: 142164 KiB

[startup+363.6 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 882593
/proc/meminfo: memFree=126503068/131524600 swapFree=131071996/131071996
[pid=882343] ppid=882340 vsize=2105132 memory=144736 CPUtime=362.62 cores=5,7
/proc/882343/stat : 882343 (pb_picat) R 882340 882343 879422 0 -1 4194304 61407 0 0 0 36233 29 0 0 20 0 1 0 163114588 2155655168 36184 134679101440 4194304 5989780 140722489871728 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 32280576 140722489877529 140722489877605 140722489877605 140722489884620 0
/proc/882343/statm: 526283 36184 1731 439 0 521712 0
Current children cumulated CPU time: 362.62 s
Current children cumulated vsize: 2105132 KiB
Current children cumulated memory: 144736 KiB

Child status: 0

Real time (s): 363.697
CPU time (s): 362.725
CPU user time (s): 362.42
CPU system time (s): 0.305199
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 2121516
Max. memory (cumulated for all children) (KiB): 163248

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


# summary of solver processes directly reported to runsolver:
#   pid: 882343
#   total CPU time (s): 362.725
#   total CPU user time (s): 362.42
#   total CPU system time (s): 0.305199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.66251 second user time and 1.81037 second system time

The end

Launcher Data

Begin job on nodeC030 at 2024-07-16 07:57:58
IDJOB=4436364
IDBENCH=148187
IDSOLVER=3068
FILE ID=nodeC030/4436364-1721109465
RUNJOBID= nodeC030-1721105558-879435
SLURM_JOB_ID= 7505632
Free space on /tmp= 890048 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436364-1721109465/watcher-4436364-1721109465 -o /tmp/evaluation-result-4436364-1721109465/solver-4436364-1721109465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879435 --watchdog 3760  pb_picat HOME/instance-4436364-1721109465.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1059077509

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126657580 kB
MemAvailable:   127960040 kB
Buffers:          388076 kB
Cached:          1740496 kB
SwapCached:            0 kB
Active:           931136 kB
Inactive:        3314832 kB
Active(anon):       1540 kB
Inactive(anon):  2153568 kB
Active(file):     929596 kB
Inactive(file):  1161264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       2112448 kB
Mapped:           114328 kB
Shmem:             37720 kB
KReclaimable:     102848 kB
Slab:             210068 kB
SReclaimable:     102848 kB
SUnreclaim:       107220 kB
KernelStack:        4144 kB
PageTables:        13564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7405208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1810432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-16 08:04:02