Trace number 4434882

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
FiberSCIP 2024-07-02OPT3892789 697.413 699.112

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
MD5SUMf134d089c54411466f2bcbd6371e604a
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 benchmark3892789
Best CPU time to get the best result obtained on this benchmark737.579
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 171879616
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 85431562646
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 171879616
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 85431562646
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07	c Default LC presolving (default).
0.00/0.07	c ** Before presolving: virtualMemUsedAtLc = 69334672, getVmSize() = 68689920, SCIPgetMemUsed() = 39815957, SCIPgetMemTotal() = 45835717, SCIPgetMemExternEstim() = 23498955
0.00/0.07	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.30/0.39	c ** Estimated virtualMemUsedAtSolver = 76003774, getVmSize() = 116965376, SCIPgetMemUsed() = 52794187, SCIPgetMemTotal() = 90506707, SCIPgetMemExternEstim() = 23498955
0.30/0.39	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.39	c Original Problem   :
0.30/0.39	c   Problem name     : instance-4434882-1721132084
0.30/0.39	c   Variables        : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.39	c   Constraints      : 14846
0.30/0.39	c   Objective sense  : minimize
0.30/0.39	c Presolved Problem  :
0.30/0.39	c   Variables        : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.39	c   Constraints      : 5184
0.30/0.39	c Constraints        : Number
0.30/0.39	c   knapsack         : 2625 
0.30/0.39	c   setppc           : 71 
0.30/0.39	c   linear           : 3 
0.30/0.39	c   logicor          : 2485 
0.30/0.39	c ** Instance transfer method used: 0
0.40/0.41	c ** ParaScipInstance copy does not increase the number of variables. **
0.40/0.42	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.40/0.42	c                                Nodes    Active                                            
0.40/0.42	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.68/0.74	c *       1              0           1         1    64848923.0000                -          -
29.90/30.09	c        30              2           0         1    64848923.0000     2230353.9315          -
51.35/51.56	c        52              2           0         1    64848923.0000     2249016.2216          -
57.63/57.88	c        58              3           1         1    64848923.0000     2260011.3021          -
64.41/64.64	c        65              4           2         1    64848923.0000     2279562.2818          -
75.39/75.62	c        76              5           3         1    64848923.0000     2290730.0189          -
80.47/80.79	c        81              6           4         1    64848923.0000     2290730.0189          -
90.55/90.82	c        91              8           6         1    64848923.0000     2290730.0189          -
99.24/99.57	c       100             10           8         1    64848923.0000     2290730.0189          -
104.72/105.10	c       105             23          21         1    64848923.0000     2290730.0189          -
105.72/106.05	c *     106             23          21         1     7881371.0000     2290730.0189    244.05%
109.81/110.12	c *     110             40          34         1     7817089.0000     2290730.0189    241.25%
109.81/110.12	c       110             40          34         1     7817089.0000     2290730.0189    241.25%
110.50/110.87	c *     111             45          37         1     7033901.0000     2290730.0189    207.06%
116.49/116.89	c       117             63          29         1     7033901.0000     2300526.3558    205.75%
121.97/122.35	c *     122             76          42         1     5075803.0000     2300526.3558    120.64%
121.97/122.35	c       122             76          42         1     5075803.0000     2300526.3558    120.64%
123.57/123.91	c *     124             86          32         1     5072739.0000     2300526.3558    120.50%
127.67/128.09	c       128             97          35         1     5072739.0000     2300526.3558    120.50%
128.56/128.99	c *     129             97          35         1     5023453.0000     2300526.3558    118.36%
129.26/129.69	c *     130            112          32         1     5015733.0000     2300526.3558    118.03%
136.04/136.48	c       136            123          29         1     5015733.0000     2313318.8023    116.82%
142.73/143.14	c       143            133          29         1     5015733.0000     2324736.2958    115.75%
148.72/149.16	c *     149            148          30         1     4133807.0000     2324736.2958     77.82%
148.72/149.16	c       149            148          30         1     4133807.0000     2324736.2958     77.82%
155.10/155.58	c       156            156          11         1     4133807.0000     2324736.2958     77.82%
163.87/164.36	c       164            163          12         1     4133807.0000     2334909.0849     77.04%
168.06/168.50	c *     168            175          14         1     4096355.0000     2334909.0849     75.44%
170.66/171.16	c *     171            182          15         1     3892789.0000     2334909.0849     66.72%
170.66/171.16	c       171            182          15         1     3892789.0000     2334909.0849     66.72%
176.84/177.35	c       177            194          13         1     3892789.0000     2337793.1516     66.52%
183.34/183.88	c       184            210           9         1     3892789.0000     2337793.1516     66.52%
188.63/189.12	c       189            227          14         1     3892789.0000     2337793.1516     66.52%
194.20/194.78	c       195            278           5         1     3892789.0000     2337793.1516     66.52%
201.99/202.53	c       203            283           6         1     3892789.0000     2349337.6721     65.70%
208.08/208.67	c       209            292           9         1     3892789.0000     2392581.7094     62.70%
213.36/213.91	c       214            301          10         1     3892789.0000     2395356.9530     62.51%
218.95/219.58	c       220            334          25         1     3892789.0000     2395356.9530     62.51%
224.24/224.89	c       225            354          25         1     3892789.0000     2395356.9530     62.51%
229.52/230.17	c       230            399          26         1     3892789.0000     2407255.0781     61.71%
235.51/236.13	c       236            404          27         1     3892789.0000     2410731.9468     61.48%
241.49/242.14	c       242            426          25         1     3892789.0000     2411239.9088     61.44%
248.07/248.79	c       249            439          28         1     3892789.0000     2411239.9088     61.44%
264.63/265.33	c       265            447          32         1     3892789.0000     2426315.6502     60.44%
289.67/290.42	c       290            470          41         1     3892789.0000     2426315.6502     60.44%
296.55/297.31	c       297            523          39         1     3892789.0000     2426315.6502     60.44%
303.74/304.55	c       305            533          41         1     3892789.0000     2430762.2601     60.15%
309.23/310.02	c       310            553          45         1     3892789.0000     2431853.5843     60.07%
319.10/319.91	c       320            573          35         1     3892789.0000     2440780.2179     59.49%
325.09/325.95	c       326            588          34         1     3892789.0000     2440780.2179     59.49%
331.37/332.21	c       332            625          43         1     3892789.0000     2440780.2179     59.49%
336.96/337.85	c       338            653          53         1     3892789.0000     2441697.8732     59.43%
342.74/343.63	c       344            687          53         1     3892789.0000     2441697.8732     59.43%
348.63/349.51	c       350            708          54         1     3892789.0000     2450003.4360     58.89%
356.91/357.82	c       358            743          57         1     3892789.0000     2459260.5763     58.29%
362.79/363.70	c       364            773          55         1     3892789.0000     2482578.1582     56.80%
371.28/372.21	c       372            814          56         1     3892789.0000     2482578.1582     56.80%
378.16/379.13	c       379            838          56         1     3892789.0000     2484200.6873     56.70%
383.55/384.59	c       385            873          55         1     3892789.0000     2484200.6873     56.70%
388.63/389.64	c       390            897          59         1     3892789.0000     2484200.6873     56.70%
394.22/395.29	c       395            949          59         1     3892789.0000     2502280.1148     55.57%
400.30/401.33	c       401            973          57         1     3892789.0000     2524155.7398     54.22%
405.79/406.83	c       407           1002          62         1     3892789.0000     2524155.7398     54.22%
411.48/412.54	c       413           1017          61         1     3892789.0000     2563890.4630     51.83%
421.45/422.58	c       423           1025          63         1     3892789.0000     2563890.4630     51.83%
427.04/428.19	c       428           1039          63         1     3892789.0000     2563890.4630     51.83%
432.83/433.92	c       434           1056          60         1     3892789.0000     2563890.4630     51.83%
438.32/439.42	c       439           1067          61         1     3892789.0000     2563890.4630     51.83%
443.71/444.88	c       445           1096          64         1     3892789.0000     2563890.4630     51.83%
449.49/450.69	c       451           1129          65         1     3892789.0000     2563890.4630     51.83%
454.68/455.85	c       456           1161          63         1     3892789.0000     2563890.4630     51.83%
460.26/461.44	c       461           1174          64         1     3892789.0000     2587266.8657     50.46%
466.05/467.24	c       467           1196          62         1     3892789.0000     2587266.8657     50.46%
472.83/474.06	c       474           1208          62         1     3892789.0000     2591517.4894     50.21%
478.02/479.21	c       479           1220          62         1     3892789.0000     2652115.5870     46.78%
485.50/486.74	c       487           1234          58         1     3892789.0000     2655698.9969     46.58%
492.18/493.40	c       493           1244          58         1     3892789.0000     2669135.9689     45.84%
498.78/500.07	c       500           1271          57         1     3892789.0000     2669135.9689     45.84%
503.76/505.09	c       505           1285          57         1     3892789.0000     2669135.9689     45.84%
509.54/510.81	c       511           1333          55         1     3892789.0000     2679256.4515     45.29%
514.84/516.14	c       516           1347          59         1     3892789.0000     2679256.4515     45.29%
520.52/521.84	c       522           1377          49         1     3892789.0000     2704379.0044     43.94%
527.80/529.12	c       529           1413          46         1     3892789.0000     2704379.0044     43.94%
534.19/535.59	c       536           1433          43         1     3892789.0000     2704379.0044     43.94%
539.57/540.99	c       541           1450          42         1     3892789.0000     2704379.0044     43.94%
545.56/546.96	c       547           1461          43         1     3892789.0000     2704379.0044     43.94%
551.65/553.03	c       553           1521          51         1     3892789.0000     2704379.0044     43.94%
557.13/558.52	c       559           1609          61         1     3892789.0000     2756261.9206     41.23%
562.82/564.25	c       564           1643          67         1     3892789.0000     2772286.8256     40.42%
568.30/569.73	c       570           1686          44         1     3892789.0000     2866633.0830     35.80%
573.39/574.89	c       575           1716          46         1     3892789.0000     2866633.0830     35.80%
578.87/580.36	c       580           1737          47         1     3892789.0000     2866633.0830     35.80%
583.96/585.40	c       585           1763          41         1     3892789.0000     2875072.4458     35.40%
589.95/591.49	c       591           1792          42         1     3892789.0000     2878164.5838     35.25%
595.24/596.76	c       597           1826          44         1     3892789.0000     2895532.0498     34.44%
601.12/602.65	c       603           1856          44         1     3892789.0000     2895532.0498     34.44%
607.62/609.19	c       609           1888          46         1     3892789.0000     2907134.7269     33.90%
614.29/615.80	c       616           1911          45         1     3892789.0000     2907134.7269     33.90%
620.48/622.07	c       622           1949          45         1     3892789.0000     2907134.7269     33.90%
626.47/628.05	c       628           1972          48         1     3892789.0000     2933317.5529     32.71%
632.45/634.03	c       634           1990          48         1     3892789.0000     2955958.2332     31.69%
638.33/639.92	c       640           2018          52         1     3892789.0000     2955958.2332     31.69%
643.62/645.26	c       645           2038          48         1     3892789.0000     2955958.2332     31.69%
648.91/650.54	c       651           2049          49         1     3892789.0000     2955958.2332     31.69%
654.09/655.72	c       656           2080          40         1     3892789.0000     3078083.9363     26.47%
660.58/662.20	c       662           2102          42         1     3892789.0000     3133885.9124     24.22%
666.47/668.14	c       668           2133          37         1     3892789.0000     3144267.6298     23.81%
671.75/673.41	c       673           2157          37         1     3892789.0000     3144267.6298     23.81%
677.34/679.05	c       679           2186          36         1     3892789.0000     3144267.6298     23.81%
683.72/685.45	c       685           2218          30         1     3892789.0000     3187689.0790     22.12%
688.91/690.68	c       691           2241          21         1     3892789.0000     3199200.0899     21.68%
694.00/695.79	c       696           2259           7         1     3892789.0000     3329564.0123     16.92%
697.31/699.04	c       699           2288           0         0     3892789.0000     3892789.0000      0.00%
697.31/699.07	c       699           2288           0         0     3892789.0000     3892789.0000          -
697.31/699.07	c SCIP Status        : c problem is solved
697.31/699.07	c Total Time         : 699.0700
697.31/699.07	c   solving          : 699.0700
697.31/699.07	c   presolving       : 0.3216 (included in solving)
697.31/699.07	c B&B Tree           :
697.31/699.07	c   nodes (total)    : 2288
697.31/699.07	c Solution           :
697.31/699.07	c   Solutions found  : 11
697.31/699.07	c   Primal Bound     : +3.89278900000000e+06
697.31/699.07	c   Dual Bound       : +3.89278900000000e+06
697.31/699.07	c Gap                : 0.00000 %
697.31/699.07	o 3892789
697.31/699.07	s OPTIMUM FOUND
697.31/699.07	v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312 
697.31/699.07	v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965 
697.31/699.07	v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547 
697.31/699.07	v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619 
697.31/699.07	v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271 
697.31/699.07	v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853 
697.31/699.07	v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364 
697.31/699.07	v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
697.31/699.07	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
697.31/699.07	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
697.31/699.07	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 
697.31/699.07	v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702 
697.31/699.07	v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 
697.31/699.07	v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 
697.31/699.07	v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577 
697.31/699.07	v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 
697.31/699.07	v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 
697.31/699.07	v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 
697.31/699.07	v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 
697.31/699.07	v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487 
697.31/699.07	v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469 
697.31/699.07	v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451 
697.31/699.07	v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 
697.31/699.07	v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 
697.31/699.07	v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 
697.31/699.07	v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 
697.31/699.07	v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 
697.31/699.07	v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 
697.31/699.07	v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 
697.31/699.07	v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 
697.31/699.07	v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 
697.31/699.07	v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269 
697.31/699.07	v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 
697.31/699.07	v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233 
697.31/699.07	v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 
697.31/699.07	v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197 
697.31/699.07	v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179 
697.31/699.07	v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160 
697.31/699.07	v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142 
697.31/699.07	v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125 
697.31/699.07	v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 
697.31/699.07	v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088 
697.31/699.07	v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 
697.31/699.07	v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 
697.31/699.07	v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 
697.31/699.07	v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 
697.31/699.07	v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 
697.31/699.07	v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 
697.31/699.07	v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 
697.31/699.07	v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 
697.31/699.07	v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 
697.31/699.07	v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 
697.31/699.07	v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819 
697.31/699.07	v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 
697.31/699.07	v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 
697.31/699.07	v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 
697.31/699.07	v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 
697.31/699.07	v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 
697.31/699.07	v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 
697.31/699.07	v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 
697.31/699.07	v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 
697.31/699.07	v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 
697.31/699.07	v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 
697.31/699.07	v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 
697.31/699.07	v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 
697.31/699.07	v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 x8586 -x8585 -x8584 -x8583 
697.31/699.07	v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 
697.31/699.07	v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 
697.31/699.07	v -x8546 -x8545 -x8544 -x8543 -x8542 x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 
697.31/699.07	v -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 
697.31/699.07	v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 
697.31/699.07	v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 
697.31/699.07	v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 
697.31/699.07	v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 
697.31/699.07	v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 
697.31/699.07	v -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 
697.31/699.07	v -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 
697.31/699.07	v -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 
697.31/699.07	v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 
697.31/699.07	v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 
697.31/699.07	v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311 
697.31/699.07	v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 
697.31/699.07	v -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 
697.31/699.07	v -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 
697.31/699.07	v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239 
697.31/699.07	v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 
697.31/699.07	v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 
697.31/699.07	v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 
697.31/699.07	v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167 -x8166 
697.31/699.07	v -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 
697.31/699.07	v -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 
697.31/699.07	v -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 
697.31/699.07	v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024 
697.31/699.07	v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 
697.31/699.07	v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 
697.31/699.07	v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 
697.31/699.07	v -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 
697.31/699.07	v -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 
697.31/699.07	v -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 
697.31/699.07	v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 
697.31/699.07	v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 
697.31/699.07	v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 
697.31/699.07	v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 
697.31/699.07	v -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 x7826 -x7825 
697.31/699.07	v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 
697.31/699.07	v -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 
697.31/699.07	v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 x7771 -x7770 
697.31/699.07	v -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 
697.31/699.07	v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 
697.31/699.07	v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 
697.31/699.07	v -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 
697.31/699.07	v -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 
697.31/699.07	v -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 
697.31/699.07	v -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 
697.31/699.07	v -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 
697.31/699.07	v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 
697.31/699.07	v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 
697.31/699.07	v -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 
697.31/699.07	v -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 
697.31/699.07	v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 
697.31/699.07	v -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 
697.31/699.07	v -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 
697.31/699.07	v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 
697.31/699.07	v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 
697.31/699.07	v -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 
697.31/699.07	v -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 
697.31/699.07	v -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 
697.31/699.07	v -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7389 
697.31/699.07	v -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 
697.31/699.07	v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 
697.31/699.07	v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 
697.31/699.07	v -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248 -x7247 
697.31/699.07	v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 
697.31/699.07	v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 
697.31/699.07	v -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 
697.31/699.07	v -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175 
697.31/699.07	v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 
697.31/699.07	v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 
697.31/699.07	v -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 
697.31/699.07	v -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103 -x7102 
697.31/699.07	v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 
697.31/699.07	v -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 
697.31/699.07	v -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 
697.31/699.07	v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 
697.31/699.07	v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 
697.31/699.07	v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 
697.31/699.07	v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
697.31/699.07	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 
697.31/699.07	v -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 
697.31/699.07	v -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 
697.31/699.07	v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 
697.31/699.07	v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 
697.31/699.07	v -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 
697.31/699.07	v -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 
697.31/699.07	v -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 
697.31/699.07	v -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 
697.31/699.07	v -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 
697.31/699.07	v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 
697.31/699.07	v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 
697.31/699.07	v -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 
697.31/699.07	v -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 
697.31/699.07	v -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 
697.31/699.07	v -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 
697.31/699.07	v -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 
697.31/699.07	v -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 
697.31/699.07	v -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 
697.31/699.07	v -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 
697.31/699.07	v -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 
697.31/699.07	v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508 -x6507 
697.31/699.07	v -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 
697.31/699.07	v -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 
697.31/699.07	v -x6471 -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 
697.31/699.07	v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 
697.31/699.07	v -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 
697.31/699.07	v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 
697.31/699.07	v -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 
697.31/699.07	v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 
697.31/699.07	v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 
697.31/699.07	v -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326 
697.31/699.07	v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 
697.31/699.07	v -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 
697.31/699.07	v -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 
697.31/699.07	v -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254 -x6253 
697.31/699.07	v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 
697.31/699.07	v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 
697.31/699.07	v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 
697.31/699.07	v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181 
697.31/699.07	v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 
697.31/699.07	v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 
697.31/699.07	v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 
697.31/699.07	v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 
697.31/699.07	v -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 
697.31/699.07	v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 
697.31/699.07	v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 
697.31/699.07	v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 
697.31/699.07	v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 
697.31/699.07	v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 
697.31/699.07	v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 
697.31/699.07	v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 
697.31/699.07	v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 
697.31/699.07	v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 
697.31/699.07	v -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 
697.31/699.07	v -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 
697.31/699.07	v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 
697.31/699.07	v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 
697.31/699.07	v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 
697.31/699.07	v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 
697.31/699.07	v -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 
697.31/699.07	v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 
697.31/699.07	v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 
697.31/699.07	v -x5694 -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 
697.31/699.07	v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 
697.31/699.07	v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 
697.31/699.07	v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 
697.31/699.07	v -x5622 -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
697.31/699.07	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 
697.31/699.07	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
697.31/699.07	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
697.31/699.07	v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 
697.31/699.07	v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 
697.31/699.07	v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 
697.31/699.07	v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 
697.31/699.07	v -x5477 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 
697.31/699.07	v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 
697.31/699.07	v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 
697.31/699.07	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404 
697.31/699.07	v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
697.31/699.07	v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 
697.31/699.07	v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 
697.31/699.07	v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332 
697.31/699.07	v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 
697.31/699.07	v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 
697.31/699.07	v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 
697.31/699.07	v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260 
697.31/699.07	v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 
697.31/699.07	v -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 
697.31/699.07	v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 
697.31/699.07	v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187 
697.31/699.07	v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 
697.31/699.07	v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 
697.31/699.07	v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 
697.31/699.07	v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 
697.31/699.07	v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 
697.31/699.07	v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
697.31/699.07	v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 
697.31/699.07	v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
697.31/699.07	v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924 
697.31/699.07	v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 
697.31/699.07	v -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 
697.31/699.07	v -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 
697.31/699.07	v -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 
697.31/699.07	v -x9851 -x9850 -x9849 -x9848 -x9847 x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834 
697.31/699.07	v -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816 
697.31/699.07	v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 x9801 -x9800 -x9799 -x9798 -x9797 
697.31/699.07	v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779 
697.31/699.07	v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761 
697.31/699.07	v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 
697.31/699.07	v -x9743 -x9742 -x9741 -x9740 -x9739 -x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 
697.31/699.07	v -x9654 -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 
697.31/699.07	v -x9636 -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 
697.31/699.07	v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 
697.31/699.07	v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882 
697.31/699.07	v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 
697.31/699.07	v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 
697.31/699.07	v -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 
697.31/699.07	v -x8828 -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 
697.31/699.07	v -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 
697.31/699.07	v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 
697.31/699.07	v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 
697.31/699.07	v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 
697.31/699.07	v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 
697.31/699.07	v -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 
697.31/699.07	v -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 
697.31/699.07	v -x7282 -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 
697.31/699.07	v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 
697.31/699.07	v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
697.31/699.07	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810 
697.31/699.07	v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 x5796 -x5795 -x5794 -x5793 -x5792 
697.31/699.07	v -x5791 -x5790 -x5789 -x5788 -x5787 x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 
697.31/699.07	v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 
697.31/699.07	v -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038 
697.31/699.07	v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 
697.31/699.07	v -x5019 -x5018 -x5017 x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 
697.31/699.07	v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 
697.31/699.07	v -x4983 -x4982 -x4981 -x4980 -x4979 x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755 
697.31/699.07	v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
697.31/699.07	v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 
697.31/699.07	v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
697.31/699.07	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 
697.31/699.07	v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 x4596 -x4595 -x4594 
697.31/699.07	v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 
697.31/699.07	v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 
697.31/699.07	v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 
697.31/699.07	v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 
697.31/699.07	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 
697.31/699.07	v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 x4488 -x4487 -x4486 
697.31/699.07	v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 
697.31/699.07	v x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 
697.31/699.07	v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 
697.31/699.07	v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 
697.31/699.07	v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 x4396 -x4395 -x4394 
697.31/699.07	v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 
697.31/699.07	v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
697.31/699.07	v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 
697.31/699.07	v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 x4326 -x4325 -x4324 -x4323 -x4322 
697.31/699.07	v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 
697.31/699.07	v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 
697.31/699.07	v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 
697.31/699.07	v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
697.31/699.07	v -x4248 -x4247 x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 
697.31/699.07	v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 
697.31/699.07	v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 
697.31/699.07	v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 
697.31/699.07	v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 
697.31/699.07	v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 
697.31/699.07	v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 
697.31/699.07	v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 
697.31/699.07	v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 
697.31/699.07	v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068 
697.31/699.07	v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049 
697.31/699.07	v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 
697.31/699.07	v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
697.31/699.07	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 
697.31/699.07	v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977 
697.31/699.07	v x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 
697.31/699.07	v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 
697.31/699.07	v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 
697.31/699.07	v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834 
697.31/699.07	v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 
697.31/699.07	v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 
697.31/699.07	v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 
697.31/699.07	v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
697.31/699.07	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 
697.31/699.07	v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 
697.31/699.07	v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 
697.31/699.07	v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 
697.31/699.07	v -x3688 -x3687 x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 
697.31/699.07	v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 
697.31/699.07	v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 -x3639 -x3638 x3637 x3636 x3635 
697.31/699.07	v -x3634 x3633 -x3632 -x3631 x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 x3621 -x3620 -x3619 -x3618 -x3617 -x3616 
697.31/699.07	v -x3615 -x3614 -x3613 -x3612 x3611 x3610 -x3609 -x3608 -x3607 -x3606 x3605 -x3604 -x3603 -x3602 x3601 x3600 -x3599 -x3598 x3597 
697.31/699.07	v x3596 -x3595 -x3594 -x3593 x3592 -x3591 x3590 x3589 -x3588 -x3587 -x3586 -x3585 -x3584 x3583 -x3582 x3581 -x3580 x3579 -x3578 
697.31/699.07	v -x3577 -x3576 x3575 -x3574 -x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 
697.31/699.07	v -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 -x3542 -x3541 
697.31/699.07	v -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 
697.31/699.07	v -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 
697.31/699.07	v -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 
697.31/699.07	v -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
697.31/699.07	v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 
697.31/699.07	v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 
697.31/699.07	v -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 
697.31/699.07	v -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 
697.31/699.07	v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 
697.31/699.07	v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 
697.31/699.07	v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3341 
697.31/699.07	v -x3340 -x3339 -x3338 -x3337 x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 
697.31/699.07	v -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 
697.31/699.07	v -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 
697.31/699.07	v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 x3276 -x3275 -x3274 -x3273 -x3272 -x3270 -x3269 -x3268 
697.31/699.07	v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 
697.31/699.07	v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 
697.31/699.07	v -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 
697.31/699.07	v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199 -x3198 -x3197 -x3196 
697.31/699.07	v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 
697.31/699.07	v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 
697.31/699.07	v -x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
697.31/699.07	v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 
697.31/699.07	v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 
697.31/699.07	v -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 x3018 
697.31/699.07	v -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 
697.31/699.07	v -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 x2986 -x2985 -x2984 -x2983 -x2982 -x2981 
697.31/699.07	v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 
697.31/699.07	v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 
697.31/699.07	v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 
697.31/699.07	v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 
697.31/699.07	v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 
697.31/699.07	v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 
697.31/699.07	v -x2871 -x2870 x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 x2861 -x2860 x2859 -x2858 x2857 -x2856 x2855 x2854 
697.31/699.07	v -x2853 x2852 -x2851 -x2850 -x2849 x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 x2837 x2836 -x2835 x2834 
697.31/699.07	v x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 x2825 x2824 x2823 -x2822 x2821 -x2820 -x2819 -x2818 x2817 -x2816 x2815 
697.31/699.07	v x2814 -x2813 -x2812 -x2811 x2810 -x2809 -x2808 x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 
697.31/699.07	v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 
697.31/699.07	v -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 
697.31/699.07	v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
697.31/699.07	v -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
697.31/699.07	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 
697.31/699.07	v -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 
697.31/699.07	v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
697.31/699.07	v -x2669 x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 
697.31/699.07	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 
697.31/699.07	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
697.31/699.07	v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 x2598 -x2597 
697.31/699.07	v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 
697.31/699.07	v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2561 -x2560 
697.31/699.07	v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 
697.31/699.07	v -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 x2528 -x2527 -x2526 -x2525 -x2524 
697.31/699.07	v -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
697.31/699.08	v x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2490 -x2489 -x2488 
697.31/699.08	v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 
697.31/699.08	v -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 
697.31/699.08	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 x2436 -x2435 -x2434 
697.31/699.08	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2419 -x2418 -x2417 -x2416 -x2415 
697.31/699.08	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
697.31/699.08	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2310 -x2309 
697.31/699.08	v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 
697.31/699.08	v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 
697.31/699.08	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
697.31/699.08	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
697.31/699.08	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 
697.31/699.08	v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 
697.31/699.08	v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 
697.31/699.08	v -x2181 -x2180 -x2179 x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 
697.31/699.08	v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 x2146 
697.31/699.08	v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
697.31/699.08	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
697.31/699.08	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 
697.31/699.08	v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 -x2075 -x2074 
697.31/699.08	v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
697.31/699.08	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 
697.31/699.08	v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 
697.31/699.08	v -x2018 -x2017 x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 
697.31/699.08	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 
697.31/699.08	v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 
697.31/699.08	v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
697.31/699.08	v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
697.31/699.08	v -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 
697.31/699.08	v -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 
697.31/699.08	v -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 
697.31/699.08	v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 
697.31/699.08	v -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
697.31/699.08	v -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 
697.31/699.08	v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 
697.31/699.08	v -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 
697.31/699.08	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 
697.31/699.08	v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 
697.31/699.08	v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 
697.31/699.08	v -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1710 
697.31/699.08	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 
697.31/699.08	v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 
697.31/699.08	v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 
697.31/699.08	v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1639 -x1638 -x1637 
697.31/699.08	v -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 
697.31/699.08	v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 
697.31/699.08	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
697.31/699.08	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1495 
697.31/699.08	v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 
697.31/699.08	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
697.31/699.08	v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 
697.31/699.08	v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
697.31/699.08	v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 -x1404 
697.31/699.08	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 
697.31/699.08	v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 
697.31/699.08	v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
697.31/699.08	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
697.31/699.08	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 
697.31/699.08	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
697.31/699.08	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 
697.31/699.08	v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 
697.31/699.08	v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 
697.31/699.08	v -x1240 -x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 
697.31/699.08	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
697.31/699.08	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
697.31/699.08	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 
697.31/699.08	v -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 
697.31/699.08	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
697.31/699.08	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
697.31/699.08	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 
697.31/699.08	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
697.31/699.08	v -x1077 -x1076 -x1075 -x1074 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
697.31/699.08	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
697.31/699.08	v -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
697.31/699.08	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
697.31/699.08	v -x1004 -x1003 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 
697.31/699.08	v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 
697.31/699.08	v -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 
697.31/699.08	v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 
697.31/699.08	v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 
697.31/699.08	v -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 
697.31/699.08	v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x859 -x858 -x857 
697.31/699.08	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770 -x769 -x768 -x767 -x766 
697.31/699.08	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 
697.31/699.08	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 
697.31/699.08	v -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
697.31/699.08	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 
697.31/699.08	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 
697.31/699.08	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 
697.31/699.08	v x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 
697.31/699.08	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 
697.31/699.08	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575 
697.31/699.08	v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 
697.31/699.08	v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 
697.31/699.08	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 
697.31/699.08	v -x512 -x511 -x510 -x509 -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 
697.31/699.08	v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 
697.31/699.08	v -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 
697.31/699.08	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 
697.31/699.08	v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 
697.31/699.08	v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 
697.31/699.08	v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x363 
697.31/699.08	v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 
697.31/699.08	v -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 
697.31/699.08	v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 
697.31/699.08	v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
697.31/699.08	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 
697.31/699.08	v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
697.31/699.08	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x221 -x220 -x219 x218 -x217 -x216 -x215 
697.31/699.08	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 
697.31/699.08	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 
697.31/699.08	v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
697.31/699.08	v -x152 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 
697.31/699.08	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 
697.31/699.08	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 
697.31/699.08	v -x86 -x85 -x84 -x83 -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 
697.31/699.08	v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 
697.31/699.08	v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 
697.31/699.08	v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 
697.31/699.08	v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 
697.31/699.08	v -x4890 -x4889 x4888 -x4887 -x4886 -x4885 -x4884 x4883 -x4882 -x4881 x4880 x4879 -x4878 x4877 -x4876 x4875 x4874 x4873 x4872 
697.31/699.08	v -x4871 -x4870 x4869 x4868 -x4867 -x4866 -x4865 -x4864 -x4863 x4862 -x4861 -x4860 x4859 x4858 -x4857 -x4856 -x4855 -x4854 -x4853 
697.31/699.08	v -x4852 -x4851 -x4850 -x4849 x4848 -x4847 x4846 -x4845 -x4844 -x4843 x4842 -x4841 -x4840 -x4839 -x4837 x4836 -x4835 x4834 x4833 
697.31/699.08	v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 
697.31/699.08	v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
697.31/699.08	v -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 
697.31/699.08	v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
697.31/699.08	v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 
697.31/699.08	v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 
697.31/699.08	v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 
697.31/699.08	v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918 
697.31/699.08	v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 
697.31/699.08	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
697.31/699.08	v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
697.31/699.08	v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146 
697.31/699.08	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
697.31/699.08	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
697.31/699.08	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
697.31/699.08	v -x3091 -x3090 -x3089 x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
697.31/699.08	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 
697.31/699.08	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
697.31/699.08	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
697.31/699.08	v x2318 -x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
697.31/699.08	v -x1599 -x1598 -x1597 x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
697.31/699.08	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 
697.31/699.08	v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
697.31/699.08	v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 
697.31/699.10	v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 
697.31/699.10	v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 
697.31/699.10	v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 

Verifier Data

OK	3892789

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: 63931 MiB (61644 MiB free)
  memory of node 1: 64510 MiB (60683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434882-1721132084/watcher-4434882-1721132084 -o /tmp/evaluation-result-4434882-1721132084/solver-4434882-1721132084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853288 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434882-1721132084.opb -qsol -t 3600 -sth 1 

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=853346, runsolver pid=853333

[startup+0.101054 s]*
/proc/loadavg: 1.09 1.10 1.47 8/259 853350
/proc/meminfo: memFree=125051460/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=72116 memory=60436 CPUtime=0.1 cores=5,7
/proc/853346/stat : 853346 (fscip) R 853333 853346 853275 0 -1 4194304 12858 0 0 0 9 1 0 0 20 0 1 0 165373305 73846784 15109 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 18029 15109 2622 3032 0 14429 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72116 KiB
Current children cumulated memory: 60436 KiB

[startup+0.206432 s]*
/proc/loadavg: 1.09 1.10 1.47 7/259 853350
/proc/meminfo: memFree=124965068/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=86296 memory=74904 CPUtime=0.2 cores=5,7
/proc/853346/stat : 853346 (fscip) R 853333 853346 853275 0 -1 4194304 18677 0 0 0 19 1 0 0 20 0 1 0 165373305 88367104 18726 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 21574 18726 2750 3032 0 17974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86296 KiB
Current children cumulated memory: 74904 KiB

[startup+0.306358 s]*
/proc/loadavg: 1.09 1.10 1.47 8/259 853350
/proc/meminfo: memFree=124941872/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=87408 memory=75960 CPUtime=0.3 cores=5,7
/proc/853346/stat : 853346 (fscip) R 853333 853346 853275 0 -1 4194304 18925 0 0 0 29 1 0 0 20 0 1 0 165373305 89505792 18990 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 21852 18990 2750 3032 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87408 KiB
Current children cumulated memory: 75960 KiB

[startup+0.701049 s]
/proc/loadavg: 1.09 1.10 1.47 8/263 853354
/proc/meminfo: memFree=124794928/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=209496 memory=153492 CPUtime=0.68 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 41755 0 0 0 64 4 0 0 20 0 3 0 165373305 214523904 38373 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 52374 38373 2798 3032 0 45269 0
[pid=853346/tid=853351] ppid=853333 vsize=209496 memory=5528 CPUtime=0.27 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 15435 0 0 0 26 1 0 0 20 0 3 0 165373345 214523904 38373 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=209496 memory=2305 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165373348 214523904 38373 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 209496 KiB
Current children cumulated memory: 153492 KiB

[startup+1.50103 s]
/proc/loadavg: 1.09 1.10 1.47 8/267 853358
/proc/meminfo: memFree=124488660/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=275032 memory=171988 CPUtime=1.48 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 47661 0 0 0 143 5 0 0 20 0 3 0 165373305 281632768 42997 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 68758 42997 2910 3032 0 50070 0
[pid=853346/tid=853351] ppid=853333 vsize=275032 memory=2305 CPUtime=1.06 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 21341 0 0 0 104 2 0 0 20 0 3 0 165373345 281632768 42997 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=275032 memory=0 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165373348 281632768 42997 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 171988 KiB

[startup+3.1065 s]
/proc/loadavg: 1.33 1.15 1.49 8/267 853358
/proc/meminfo: memFree=124344200/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=275032 memory=185148 CPUtime=3.07 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 57246 0 0 0 302 5 0 0 20 0 3 0 165373305 281632768 46287 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 68758 46287 2910 3032 0 53637 0
[pid=853346/tid=853351] ppid=853333 vsize=275032 memory=0 CPUtime=2.66 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 30923 0 0 0 263 3 0 0 20 0 3 0 165373345 281632768 46287 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=275032 memory=33 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 165373348 281632768 46287 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 185148 KiB

[startup+6.30022 s]
/proc/loadavg: 1.33 1.15 1.49 8/267 853358
/proc/meminfo: memFree=124316364/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=275032 memory=194672 CPUtime=6.26 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 70980 0 0 0 620 6 0 0 20 0 3 0 165373305 281632768 48668 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 68758 48668 2910 3032 0 56504 0
[pid=853346/tid=853351] ppid=853333 vsize=275032 memory=0 CPUtime=5.84 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 44657 0 0 0 581 3 0 0 20 0 3 0 165373345 281632768 48668 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=275032 memory=171988 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 165373348 281632768 48668 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 194672 KiB

[startup+12.7003 s]
/proc/loadavg: 1.54 1.20 1.50 8/265 853360
/proc/meminfo: memFree=124263068/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=275032 memory=202240 CPUtime=12.64 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 92127 0 0 0 1257 7 0 0 20 0 3 0 165373305 281632768 50560 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 68758 50560 2910 3032 0 58836 0
[pid=853346/tid=853351] ppid=853333 vsize=275032 memory=190720 CPUtime=12.23 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 65791 0 0 0 1218 5 0 0 20 0 3 0 165373345 281632768 50560 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=275032 memory=202212 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 165373348 281632768 50560 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 202240 KiB

[startup+25.5003 s]
/proc/loadavg: 2.09 1.33 1.54 8/265 853361
/proc/meminfo: memFree=124174804/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=229892 CPUtime=25.41 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 122081 0 0 0 2531 10 0 0 20 0 3 0 165373305 348741632 57473 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 57473 2942 3032 0 66011 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=203256 CPUtime=25 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 95735 0 0 0 2493 7 0 0 20 0 3 0 165373345 348741632 57473 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=203248 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 57473 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 229892 KiB

[startup+51.1064 s]
/proc/loadavg: 2.86 1.58 1.62 8/265 853366
/proc/meminfo: memFree=124087972/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=230096 CPUtime=50.95 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 160327 0 0 0 5084 11 0 0 20 0 3 0 165373305 348741632 57524 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 57524 2942 3032 0 66011 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=11444 CPUtime=50.54 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 133927 0 0 0 5046 8 0 0 20 0 3 0 165373345 348741632 57524 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=6720663242420731758 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 57524 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 230096 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.97 1.75 8/265 853374
/proc/meminfo: memFree=124039080/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=243688 CPUtime=102.03 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 197896 0 0 0 10190 13 0 0 20 0 3 0 165373305 348741632 60922 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 60922 2990 3032 0 69312 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=16076 CPUtime=101.61 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 171341 0 0 0 10151 10 0 0 20 0 3 0 165373345 348741632 60922 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 60922 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 243688 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.90 8/265 853385
/proc/meminfo: memFree=124022212/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=243888 CPUtime=161.88 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 232177 0 0 0 16173 15 0 0 20 0 3 0 165373305 348741632 60972 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 60972 2990 3032 0 69312 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=243820 CPUtime=161.46 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 203290 0 0 0 16134 12 0 0 20 0 3 0 165373345 348741632 60972 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=243820 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 60972 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 243888 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.73 2.06 8/265 853395
/proc/meminfo: memFree=124011292/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=244016 CPUtime=221.74 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 250573 0 0 0 22157 17 0 0 20 0 3 0 165373305 348741632 61004 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 61004 2990 3032 0 69312 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=11444 CPUtime=221.31 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 220588 0 0 0 22118 13 0 0 20 0 3 0 165373345 348741632 61004 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=244016 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 61004 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0

################
# More data... #
################

Current children cumulated memory: 272468 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 3.73 2.75 8/265 853463
/proc/meminfo: memFree=123873272/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=279564 CPUtime=580.87 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 421160 0 0 0 58058 29 0 0 20 0 3 0 165373305 348741632 69891 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 69891 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=279564 CPUtime=580.43 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 390664 0 0 0 58017 26 0 0 20 0 3 0 165373345 348741632 69891 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=279564 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 122 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 69891 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 580.87 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 279564 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 3.81 2.84 8/263 853856
/proc/meminfo: memFree=123869120/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=281096 CPUtime=640.73 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 434425 0 0 0 64043 30 0 0 20 0 3 0 165373305 348741632 70274 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 70274 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=41700 CPUtime=640.28 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 403886 0 0 0 64002 26 0 0 20 0 3 0 165373345 348741632 70274 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=281096 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 129 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 70274 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 640.73 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 281096 KiB

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

# cumulated CPU time of all completed processes:  user=697.098 s, system=0.315178 s

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

[startup+665.6 s]
/proc/loadavg: 4.09 3.83 2.87 8/263 853860
/proc/meminfo: memFree=123863520/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=286532 CPUtime=663.97 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435449 0 0 0 66367 30 0 0 20 0 3 0 165373305 348741632 71633 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 71633 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=279588 CPUtime=663.52 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 404889 0 0 0 66326 26 0 0 20 0 3 0 165373345 348741632 71633 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=281096 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 131 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 71633 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 663.97 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 286532 KiB

[startup+678.4 s]
/proc/loadavg: 4.15 3.85 2.89 8/263 853863
/proc/meminfo: memFree=123860244/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289460 CPUtime=676.74 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435465 0 0 0 67644 30 0 0 20 0 3 0 165373305 348741632 72365 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72365 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=286532 CPUtime=676.29 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 404905 0 0 0 67603 26 0 0 20 0 3 0 165373345 348741632 72365 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=286532 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 131 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72365 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 676.74 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289460 KiB

[startup+691.2 s]
/proc/loadavg: 4.12 3.86 2.91 8/263 853865
/proc/meminfo: memFree=123860028/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289468 CPUtime=689.51 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435829 0 0 0 68921 30 0 0 20 0 3 0 165373305 348741632 72367 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72367 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=282984 CPUtime=689.06 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405248 0 0 0 68880 26 0 0 20 0 3 0 165373345 348741632 72367 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=13072 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72367 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 689.51 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289468 KiB

[startup+694.4 s]
/proc/loadavg: 4.11 3.86 2.91 8/263 853865
/proc/meminfo: memFree=123859772/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289512 CPUtime=692.7 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435834 0 0 0 69240 30 0 0 20 0 3 0 165373305 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72378 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=11444 CPUtime=692.25 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405253 0 0 0 69199 26 0 0 20 0 3 0 165373345 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=13072 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 692.7 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289512 KiB

[startup+697.6 s]
/proc/loadavg: 4.11 3.86 2.91 8/263 853866
/proc/meminfo: memFree=123859780/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289512 CPUtime=695.9 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435834 0 0 0 69559 31 0 0 20 0 3 0 165373305 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72378 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=7667501924935226987 CPUtime=695.44 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405253 0 0 0 69518 26 0 0 20 0 3 0 165373345 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=289468 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 695.9 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289512 KiB

[startup+698.4 s]
/proc/loadavg: 4.10 3.86 2.92 8/263 853866
/proc/meminfo: memFree=123859796/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289512 CPUtime=696.7 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435834 0 0 0 69639 31 0 0 20 0 3 0 165373305 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72378 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=5516 CPUtime=696.24 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405253 0 0 0 69598 26 0 0 20 0 3 0 165373345 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 696.7 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289512 KiB

[startup+698.8 s]
/proc/loadavg: 4.10 3.86 2.92 8/263 853866
/proc/meminfo: memFree=123859796/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289512 CPUtime=697.1 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435834 0 0 0 69679 31 0 0 20 0 3 0 165373305 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72378 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=17840 CPUtime=696.64 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405253 0 0 0 69638 26 0 0 20 0 3 0 165373345 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=1322 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 697.1 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289512 KiB

[startup+699 s]*
/proc/loadavg: 4.10 3.86 2.92 8/263 853866
/proc/meminfo: memFree=123859832/131524600 swapFree=131071996/131071996
[pid=853346] ppid=853333 vsize=340568 memory=289512 CPUtime=697.31 cores=5,7
/proc/853346/stat : 853346 (fscip) S 853333 853346 853275 0 -1 1077936128 435834 0 0 0 69700 31 0 0 20 0 3 0 165373305 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
/proc/853346/statm: 85142 72378 3310 3032 0 75755 0
[pid=853346/tid=853351] ppid=853333 vsize=340568 memory=6720663242420731758 CPUtime=696.85 cores=5,7
/proc/853346/task/853351/stat : 853351 (fscip) R 853333 853346 853275 0 -1 4194368 405253 0 0 0 69659 26 0 0 20 0 3 0 165373345 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
[pid=853346/tid=853353] ppid=853333 vsize=340568 memory=-7521424410678092152 CPUtime=0 cores=5,7
/proc/853346/task/853353/stat : 853353 (fscip) S 853333 853346 853275 0 -1 1077936192 133 0 0 0 0 0 0 0 20 0 3 0 165373348 348741632 72378 134679101440 4194304 16613245 140723862200512 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 55472128 140723862209557 140723862209673 140723862209673 140723862216688 0
Current children cumulated CPU time: 697.31 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 289512 KiB

[startup+699.106 s]*
/proc/loadavg: 4.10 3.86 2.92 7/261 853866
/proc/meminfo: memFree=124136496/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 699.112
CPU time (s): 697.413
CPU user time (s): 697.098
CPU system time (s): 0.315178
CPU usage (%): 99.757
Max. virtual memory (cumulated for all children) (KiB): 340568
Max. memory (cumulated for all children) (KiB): 289512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 697.098
system time used= 0.315178
maximum resident set size= 289512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437089
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= 1529
involuntary context switches= 319


# summary of solver processes directly reported to runsolver:
#   pid: 853346
#   total CPU time (s): 697.413
#   total CPU user time (s): 697.098
#   total CPU system time (s): 0.315178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28093 second user time and 4.00415 second system time

The end

Launcher Data

Begin job on nodeC024 at 2024-07-16 14:14:57
IDJOB=4434882
IDBENCH=155609
IDSOLVER=3064
FILE ID=nodeC024/4434882-1721132084
RUNJOBID= nodeC024-1721132097-853288
SLURM_JOB_ID= 7505702
Free space on /tmp= 890080 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434882-1721132084/watcher-4434882-1721132084 -o /tmp/evaluation-result-4434882-1721132084/solver-4434882-1721132084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853288 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434882-1721132084.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=647883533

nodeC024.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		: 3561.898
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.60
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		: 3634.468
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	: 7007.08
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		: 3616.749
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.60
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		: 3354.665
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	: 7007.08
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		: 3627.816
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.60
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		: 3662.432
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	: 7007.08
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		: 3546.486
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.60
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		: 3319.046
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125266684 kB
MemAvailable:   129678128 kB
Buffers:          412360 kB
Cached:          4785948 kB
SwapCached:            0 kB
Active:           727924 kB
Inactive:        4827216 kB
Active(anon):       1428 kB
Inactive(anon):   393452 kB
Active(file):     726496 kB
Inactive(file):  4433764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            117196 kB
Writeback:            28 kB
AnonPages:        357096 kB
Mapped:           103860 kB
Shmem:             37720 kB
KReclaimable:     181660 kB
Slab:             297756 kB
SReclaimable:     181660 kB
SUnreclaim:       116096 kB
KernelStack:        3840 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     762512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      240340 kB
DirectMap2M:    23650304 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC024 at 2024-07-16 14:26:36