Trace number 4432724

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
SCIP 2024-07-07OPT28 35.6141 35.7624

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
MD5SUM6595cc4610fad26587cd2ec4880b38c3
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 benchmark28
Best CPU time to get the best result obtained on this benchmark10.4026
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11321
Total number of constraints36630
Number of constraints which are clauses36630
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5515
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5515
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5515
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	28

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: 64059 MiB (62859 MiB free)
  memory of node 1: 64510 MiB (62064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432724-1721099229/watcher-4432724-1721099229 -o /tmp/evaluation-result-4432724-1721099229/solver-4432724-1721099229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721091858-820497 --watchdog 3760 pbscip -f HOME/instance-4432724-1721099229.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=825408, runsolver pid=825405
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.24 4.28 4.23 5/242 825409
/proc/meminfo: memFree=127891956/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=81024 memory=40864 CPUtime=0.1 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 7304 0 0 0 9 1 0 0 20 0 1 0 162079377 82968576 10216 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 20256 10216 3257 3540 0 8513 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81024 KiB
Current children cumulated memory: 40864 KiB

[startup+0.212837 s]*
/proc/loadavg: 4.24 4.28 4.23 5/242 825409
/proc/meminfo: memFree=127857348/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=118932 memory=79192 CPUtime=0.21 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 16694 0 0 0 19 2 0 0 20 0 1 0 162079377 121786368 19798 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 29733 19798 3560 3540 0 17990 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 118932 KiB
Current children cumulated memory: 79192 KiB

[startup+0.312734 s]*
/proc/loadavg: 4.24 4.28 4.23 5/242 825409
/proc/meminfo: memFree=127861320/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=132368 memory=91252 CPUtime=0.31 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 19672 0 0 0 28 3 0 0 20 0 1 0 162079377 135544832 22813 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 33092 22813 3608 3540 0 21349 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 132368 KiB
Current children cumulated memory: 91252 KiB

[startup+0.700325 s]
/proc/loadavg: 4.31 4.29 4.23 5/242 825409
/proc/meminfo: memFree=127851820/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=151052 memory=109348 CPUtime=0.69 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 27751 0 0 0 65 4 0 0 20 0 1 0 162079377 154677248 27337 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 37763 27337 3783 3540 0 26020 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 151052 KiB
Current children cumulated memory: 109348 KiB

[startup+1.50032 s]
/proc/loadavg: 4.31 4.29 4.23 5/242 825409
/proc/meminfo: memFree=127816824/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=190456 memory=140524 CPUtime=1.48 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 36389 0 0 0 143 5 0 0 20 0 1 0 162079377 195026944 35131 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 47614 35131 3975 3540 0 35871 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190456 KiB
Current children cumulated memory: 140524 KiB

[startup+3.11268 s]
/proc/loadavg: 4.31 4.29 4.23 5/242 825411
/proc/meminfo: memFree=127791540/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=208952 memory=156172 CPUtime=3.09 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 40389 0 0 0 303 6 0 0 20 0 1 0 162079377 213966848 39043 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 52238 39043 3975 3540 0 40495 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 208952 KiB
Current children cumulated memory: 156172 KiB

[startup+6.30029 s]
/proc/loadavg: 4.28 4.28 4.23 5/242 825411
/proc/meminfo: memFree=127773560/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=226560 memory=170956 CPUtime=6.27 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 44047 0 0 0 620 7 0 0 20 0 1 0 162079377 231997440 42739 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 56640 42739 3975 3540 0 44897 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 226560 KiB
Current children cumulated memory: 170956 KiB

[startup+12.7003 s]
/proc/loadavg: 4.42 4.31 4.24 5/242 825411
/proc/meminfo: memFree=127734288/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=269248 memory=208180 CPUtime=12.64 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 53396 0 0 0 1256 8 0 0 20 0 1 0 162079377 275709952 52045 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 67312 52045 3975 3540 0 55569 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 269248 KiB
Current children cumulated memory: 208180 KiB

[startup+25.5003 s]
/proc/loadavg: 4.35 4.30 4.24 5/242 825414
/proc/meminfo: memFree=127637988/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286236 CPUtime=25.39 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72871 0 0 0 2526 13 0 0 20 0 1 0 162079377 378363904 71559 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71559 4022 3540 0 80631 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286236 KiB

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

# cumulated CPU time of all completed processes:  user=35.4578 s, system=0.156365 s

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

[startup+25.6004 s]
/proc/loadavg: 4.35 4.30 4.24 5/242 825414
/proc/meminfo: memFree=127637988/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286236 CPUtime=25.49 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72871 0 0 0 2536 13 0 0 20 0 1 0 162079377 378363904 71559 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71559 4022 3540 0 80631 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286236 KiB

[startup+32.0003 s]*
/proc/loadavg: 4.30 4.29 4.23 5/242 825414
/proc/meminfo: memFree=127632932/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286468 CPUtime=31.88 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72924 0 0 0 3175 13 0 0 20 0 1 0 162079377 378363904 71617 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71617 4022 3540 0 80631 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286468 KiB

[startup+33.6003 s]
/proc/loadavg: 4.30 4.29 4.23 5/242 825415
/proc/meminfo: memFree=127630664/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286468 CPUtime=33.47 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72926 0 0 0 3333 14 0 0 20 0 1 0 162079377 378363904 71617 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71617 4022 3540 0 80631 0
Current children cumulated CPU time: 33.47 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286468 KiB

[startup+34.4002 s]
/proc/loadavg: 4.30 4.29 4.23 5/242 825415
/proc/meminfo: memFree=127629340/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286468 CPUtime=34.26 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72926 0 0 0 3412 14 0 0 20 0 1 0 162079377 378363904 71617 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71617 4022 3540 0 80631 0
Current children cumulated CPU time: 34.26 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286468 KiB

[startup+35.2003 s]
/proc/loadavg: 4.30 4.29 4.23 5/242 825415
/proc/meminfo: memFree=127628788/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286468 CPUtime=35.06 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72926 0 0 0 3492 14 0 0 20 0 1 0 162079377 378363904 71617 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71617 4022 3540 0 80631 0
Current children cumulated CPU time: 35.06 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286468 KiB

[startup+35.6002 s]
/proc/loadavg: 4.30 4.29 4.23 5/242 825415
/proc/meminfo: memFree=127628788/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=369496 memory=286468 CPUtime=35.46 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72928 0 0 0 3532 14 0 0 20 0 1 0 162079377 378363904 71617 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 92374 71617 4022 3540 0 80631 0
Current children cumulated CPU time: 35.46 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 286468 KiB

[startup+35.7003 s]
/proc/loadavg: 4.30 4.29 4.23 5/242 825415
/proc/meminfo: memFree=127628788/131655788 swapFree=131071996/131071996
[pid=825408] ppid=825405 vsize=364676 memory=281748 CPUtime=35.55 cores=0,2
/proc/825408/stat : 825408 (pbscip) R 825405 825408 820487 0 -1 4194304 72928 0 0 0 3541 14 0 0 20 0 1 0 162079377 373428224 70437 134679101440 4194304 18693293 140731117350176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27676672 140731117356036 140731117356135 140731117356135 140731117363150 0
/proc/825408/statm: 91169 70437 4022 3540 0 79426 0
Current children cumulated CPU time: 35.55 s
Current children cumulated vsize: 364676 KiB
Current children cumulated memory: 281748 KiB

Child status: 0

Real time (s): 35.7624
CPU time (s): 35.6141
CPU user time (s): 35.4578
CPU system time (s): 0.156365
CPU usage (%): 99.5854
Max. virtual memory (cumulated for all children) (KiB): 369496
Max. memory (cumulated for all children) (KiB): 286468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.4578
system time used= 0.156365
maximum resident set size= 286468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72934
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= 18
involuntary context switches= 244


# summary of solver processes directly reported to runsolver:
#   pid: 825408
#   total CPU time (s): 35.6141
#   total CPU user time (s): 35.4578
#   total CPU system time (s): 0.156365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.197695 second user time and 0.401962 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 05:07:22
IDJOB=4432724
IDBENCH=148139
IDSOLVER=3059
FILE ID=nodeC008/4432724-1721099229
RUNJOBID= nodeC008-1721091858-820497
SLURM_JOB_ID= 7505586
Free space on /tmp= 723712 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432724-1721099229/watcher-4432724-1721099229 -o /tmp/evaluation-result-4432724-1721099229/solver-4432724-1721099229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721091858-820497 --watchdog 3760  pbscip -f HOME/instance-4432724-1721099229.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=650225240

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.986
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3599.727
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.290
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3634.885
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3633.232
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.445
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.357
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127935368 kB
MemAvailable:   128222776 kB
Buffers:          403260 kB
Cached:           728244 kB
SwapCached:            0 kB
Active:           634964 kB
Inactive:        2563292 kB
Active(anon):       1476 kB
Inactive(anon):  2102980 kB
Active(file):     633488 kB
Inactive(file):   460312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19768 kB
Writeback:             8 kB
AnonPages:       2066284 kB
Mapped:           138484 kB
Shmem:             37704 kB
KReclaimable:      67276 kB
Slab:             160172 kB
SReclaimable:      67276 kB
SUnreclaim:        92896 kB
KernelStack:        3856 kB
PageTables:        13600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2547080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    612352 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC008 at 2024-07-16 05:07:58