Trace number 2705482

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 118.027 118.023

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MD5SUM4a1855bab5ee86d15b24a1b5f3713388
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.329948
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8550
Total number of constraints185
Number of soft constraints185
Number of constraints which are clauses95
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint95
Top cost 9532
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9531
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 96
Number of bits of the biggest sum of numbers7
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2705482-1278576605.wbo>
0.00/0.03	c original problem has 8920 variables (8735 bin, 0 int, 185 impl, 0 cont) and 371 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.06	o 9531
0.00/0.06	c feasible solution found by trivial heuristic, objective value  9.531000e+03
0.00/0.06	c presolving:
0.00/0.06	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.07	c (round 2) 0 del vars, 1 del conss, 185 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/8735 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 185 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  280 implications, 0 cliques
0.09/0.11	c presolved problem has 8920 variables (8735 bin, 0 int, 185 impl, 0 cont) and 370 constraints
0.09/0.11	c     185 constraints of type <linear>
0.09/0.11	c     185 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.07
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 1.2.1.3
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1789.98
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 3420
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.11	c 
0.09/0.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.12	c t 0.1s|     1 |     0 |     0 |     - |  18M|   0 |   0 |8920 | 370 |8920 |   0 |   0 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |    95 |     - |  19M|   0 |   0 |8920 | 370 |8920 |  95 |  95 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   189 |     - |  19M|   0 |   0 |8920 | 370 |8920 |  96 |  96 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   282 |     - |  19M|   0 |   0 |8920 | 370 |8920 |  97 |  97 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.39/0.47	c   0.4s|     1 |     0 |   374 |     - |  19M|   0 |   0 |8920 | 370 |8920 |  98 |  98 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   465 |     - |  19M|   0 |   0 |8920 | 370 |8920 |  99 |  99 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |   555 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 100 | 100 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   644 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 101 | 101 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |   732 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 102 | 102 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.49/0.57	c   0.5s|     1 |     0 |   819 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 103 | 103 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.49/0.59	c   0.6s|     1 |     0 |   905 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 104 | 104 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |   990 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 105 | 105 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |  1074 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 106 | 106 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |  1157 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 107 | 107 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.59/0.67	c   0.6s|     1 |     0 |  1239 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 108 | 108 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.7s|     1 |     0 |  1320 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 109 | 109 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.68/0.71	c   0.7s|     1 |     0 |  1400 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 110 | 110 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.68/0.72	c   0.7s|     1 |     0 |  1479 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 111 | 111 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.68/0.74	c   0.7s|     1 |     0 |  1557 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 112 | 112 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.68/0.76	c   0.7s|     1 |     0 |  1634 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 113 | 113 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.68/0.78	c   0.8s|     1 |     0 |  1710 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 114 | 114 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.80	c   0.8s|     1 |     0 |  1785 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 115 | 115 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.81	c   0.8s|     1 |     0 |  1859 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 116 | 116 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.83	c   0.8s|     1 |     0 |  1932 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 117 | 117 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.85	c   0.8s|     1 |     0 |  2004 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 118 | 118 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.87	c   0.8s|     1 |     0 |  2075 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 119 | 119 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.79/0.88	c   0.9s|     1 |     0 |  2145 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 120 | 120 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.90	c   0.9s|     1 |     0 |  2214 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 121 | 121 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.92	c   0.9s|     1 |     0 |  2282 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 122 | 122 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.93	c   0.9s|     1 |     0 |  2349 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 123 | 123 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.95	c   0.9s|     1 |     0 |  2415 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 124 | 124 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.96	c   0.9s|     1 |     0 |  2480 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 125 | 125 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |  2544 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 126 | 126 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
0.89/1.00	c   1.0s|     1 |     0 |  2607 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 127 | 127 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.01	c   1.0s|     1 |     0 |  2669 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 128 | 128 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.03	c   1.0s|     1 |     0 |  2730 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 129 | 129 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.04	c   1.0s|     1 |     0 |  2790 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 130 | 130 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.05	c   1.0s|     1 |     0 |  2849 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 131 | 131 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.07	c   1.0s|     1 |     0 |  2907 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 132 | 132 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.08	c   1.1s|     1 |     0 |  2964 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 133 | 133 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.00/1.10	c   1.1s|     1 |     0 |  3020 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 134 | 134 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.11	c   1.1s|     1 |     0 |  3075 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 135 | 135 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.12	c   1.1s|     1 |     0 |  3129 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 136 | 136 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.14	c   1.1s|     1 |     0 |  3182 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 137 | 137 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.15	c   1.1s|     1 |     0 |  3234 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 138 | 138 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.10/1.16	c   1.1s|     1 |     0 |  3285 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 139 | 139 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.17	c   1.1s|     1 |     0 |  3335 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 140 | 140 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.10/1.19	c   1.2s|     1 |     0 |  3384 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 141 | 141 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.20	c   1.2s|     1 |     0 |  3432 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 142 | 142 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.21	c   1.2s|     1 |     0 |  3479 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 143 | 143 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.22	c   1.2s|     1 |     0 |  3525 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 144 | 144 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.23	c   1.2s|     1 |     0 |  3570 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 145 | 145 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.24	c   1.2s|     1 |     0 |  3614 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 146 | 146 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.25	c   1.2s|     1 |     0 |  3657 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 147 | 147 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.26	c   1.2s|     1 |     0 |  3699 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 148 | 148 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.27	c   1.2s|     1 |     0 |  3740 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 149 | 149 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.28	c   1.3s|     1 |     0 |  3780 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 150 | 150 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.19/1.29	c   1.3s|     1 |     0 |  3819 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 151 | 151 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.30	c   1.3s|     1 |     0 |  3857 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 152 | 152 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.31	c   1.3s|     1 |     0 |  3894 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 153 | 153 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.32	c   1.3s|     1 |     0 |  3930 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 154 | 154 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.33	c   1.3s|     1 |     0 |  3965 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 155 | 155 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.34	c   1.3s|     1 |     0 |  3999 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 156 | 156 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.34	c   1.3s|     1 |     0 |  4032 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 157 | 157 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.35	c   1.3s|     1 |     0 |  4064 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 158 | 158 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.36	c   1.3s|     1 |     0 |  4095 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 159 | 159 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.37	c   1.3s|     1 |     0 |  4125 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 160 | 160 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.37	c   1.3s|     1 |     0 |  4154 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 161 | 161 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.38	c   1.4s|     1 |     0 |  4182 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 162 | 162 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.29/1.39	c   1.4s|     1 |     0 |  4209 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 163 | 163 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.40	c   1.4s|     1 |     0 |  4235 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 164 | 164 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.40	c   1.4s|     1 |     0 |  4260 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 165 | 165 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.41	c   1.4s|     1 |     0 |  4284 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 166 | 166 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.41	c   1.4s|     1 |     0 |  4307 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 167 | 167 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.42	c   1.4s|     1 |     0 |  4329 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 168 | 168 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.43	c   1.4s|     1 |     0 |  4350 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 169 | 169 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.43	c   1.4s|     1 |     0 |  4370 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 170 | 170 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.44	c   1.4s|     1 |     0 |  4389 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 171 | 171 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.44	c   1.4s|     1 |     0 |  4407 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 172 | 172 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.45	c   1.4s|     1 |     0 |  4424 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 173 | 173 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.45	c   1.4s|     1 |     0 |  4440 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 174 | 174 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.46	c   1.4s|     1 |     0 |  4455 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 175 | 175 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.46	c   1.4s|     1 |     0 |  4469 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 176 | 176 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.47	c   1.4s|     1 |     0 |  4482 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 177 | 177 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.47	c   1.4s|     1 |     0 |  4494 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 178 | 178 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.48	c   1.4s|     1 |     0 |  4505 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 179 | 179 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.48	c   1.5s|     1 |     0 |  4515 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 180 | 180 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.48	c   1.5s|     1 |     0 |  4524 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 181 | 181 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.49	c   1.5s|     1 |     0 |  4532 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 182 | 182 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.49	c   1.5s|     1 |     0 |  4539 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 183 | 183 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.39/1.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.49	c   1.5s|     1 |     0 |  4545 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 184 | 184 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.49/1.50	c   1.5s|     1 |     0 |  4579 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 185 | 185 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
1.49/1.50	c   1.5s|     1 |     2 |  4579 |     - |  19M|   0 |   0 |8920 | 370 |8920 | 185 | 185 |   0 |   0 | 0.000000e+00 | 9.531000e+03 |    Inf 
8.70/8.77	o 262
8.70/8.77	c * 8.7s|  3476 |  3473 |  4696 |   0.0 |  32M|2924 |   - |8920 | 370 |8920 | 185 | 185 |   0 |   0 | 0.000000e+00 | 2.620000e+02 |    Inf 
13.39/13.48	o 244
13.39/13.48	c *13.5s|  5582 |  5551 |  5899 |   0.2 |  39M|2924 |   - |8920 | 412 |8920 | 185 | 185 |  42 |   0 | 0.000000e+00 | 2.440000e+02 |    Inf 
14.19/14.23	o 221
14.19/14.23	c *14.2s|  5791 |  5734 |  6557 |   0.3 |  40M|2924 |   - |8920 | 427 |8920 | 185 | 185 |  57 |   0 | 0.000000e+00 | 2.210000e+02 |    Inf 
16.79/16.83	o 191
16.79/16.83	c *16.8s|  6574 |  6374 |  8225 |   0.6 |  43M|2924 |   - |8920 | 458 |8920 | 185 | 185 |  88 |   0 | 0.000000e+00 | 1.910000e+02 |    Inf 
16.89/16.90	o 152
16.89/16.90	c *16.9s|  6586 |  6163 |  8297 |   0.6 |  43M|2924 |   - |8920 | 464 |8920 | 185 | 185 |  94 |   0 | 0.000000e+00 | 1.520000e+02 |    Inf 
19.49/19.59	o 150
19.49/19.59	c *19.6s|  7283 |  6645 | 10898 |   0.9 |  45M|2924 |   - |8920 | 559 |8920 | 185 | 185 | 233 |   0 | 0.000000e+00 | 1.500000e+02 |    Inf 
24.70/24.73	o 148
24.70/24.73	c *24.7s|  8572 |  7599 | 17708 |   1.5 |  49M|2924 |   - |8920 | 676 |8920 | 185 | 185 | 522 |   0 | 0.000000e+00 | 1.480000e+02 |    Inf 
29.99/30.03	c  30.0s| 10000 |  8820 | 23800 |   1.9 |  54M|2924 |   0 |8920 | 710 |8920 | 185 | 185 | 884 |   0 | 0.000000e+00 | 1.480000e+02 |    Inf 
32.69/32.72	o 145
32.69/32.72	c *32.7s| 10699 |  9320 | 26228 |   2.0 |  56M|2924 |   - |8920 | 717 |8920 | 185 | 185 |1201 |   0 | 0.000000e+00 | 1.450000e+02 |    Inf 
33.59/33.60	o 133
33.59/33.60	c *33.6s| 10894 |  9106 | 26940 |   2.1 |  56M|2924 |   - |8920 | 722 |8920 | 185 | 185 |1292 |   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
34.00/34.10	o 127
34.00/34.10	c *34.1s| 11010 |  8883 | 27410 |   2.1 |  55M|2924 |   - |8920 | 698 |8920 | 185 | 185 |1342 |   0 | 0.000000e+00 | 1.270000e+02 |    Inf 
34.59/34.61	o 120
34.59/34.61	c *34.6s| 11132 |  8688 | 27991 |   2.1 |  55M|2924 |   - |8920 | 691 |8920 | 185 | 185 |1395 |   0 | 0.000000e+00 | 1.200000e+02 |    Inf 
34.99/35.02	o 118
34.99/35.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.99/35.02	c *35.0s| 11226 |  8435 | 28447 |   2.1 |  54M|2924 |   - |8920 | 672 |8920 | 185 | 185 |1449 |   0 | 0.000000e+00 | 1.180000e+02 |    Inf 
37.40/37.46	o 113
37.40/37.46	c *37.4s| 11796 |  8759 | 30389 |   2.2 |  56M|2924 |   - |8920 | 732 |8920 | 185 | 185 |1754 |   0 | 0.000000e+00 | 1.130000e+02 |    Inf 
47.79/47.81	o 107
47.79/47.81	c *47.8s| 14743 | 10874 | 44182 |   2.7 |  62M|2924 |   - |8920 | 745 |8920 | 185 | 185 |2333 |   0 | 0.000000e+00 | 1.070000e+02 |    Inf 
63.50/63.50	c  63.5s| 20000 | 15898 | 49139 |   2.2 |  78M|2924 |   0 |8920 | 627 |8920 | 185 | 185 |2690 |   0 | 0.000000e+00 | 1.070000e+02 |    Inf 
63.60/63.65	o 106
63.60/63.65	c *63.6s| 20040 | 15915 | 49211 |   2.2 |  79M|2924 |   - |8920 | 624 |8920 | 185 | 185 |2692 |   0 | 0.000000e+00 | 1.060000e+02 |    Inf 
77.29/77.36	o 93
77.29/77.36	c *77.3s| 25223 | 18505 | 49867 |   1.8 |  89M|2924 |   - |8920 | 539 |8920 | 185 | 185 |2710 |   0 | 0.000000e+00 | 9.300000e+01 |    Inf 
77.39/77.47	o 92
77.39/77.47	c *77.4s| 25248 | 18458 | 49941 |   1.8 |  89M|2924 |   - |8920 | 522 |8920 | 185 | 185 |2710 |   0 | 0.000000e+00 | 9.200000e+01 |    Inf 
77.39/77.47	o 91
77.39/77.47	c *77.4s| 25249 | 17842 | 49943 |   1.8 |  87M|2924 |   - |8920 | 522 |8920 | 185 | 185 |2710 |   0 | 0.000000e+00 | 9.100000e+01 |    Inf 
77.59/77.61	o 88
77.59/77.61	c *77.6s| 25286 | 17138 | 49974 |   1.8 |  84M|2924 |   - |8920 | 496 |8920 | 185 | 185 |2712 |   0 | 0.000000e+00 | 8.800000e+01 |    Inf 
77.69/77.70	o 76
77.69/77.70	c *77.7s| 25308 | 15070 | 50014 |   1.8 |  78M|2924 |   - |8920 | 487 |8920 | 185 | 185 |2714 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
81.70/81.79	o 75
81.70/81.79	c *81.8s| 26197 | 15705 | 56699 |   2.0 |  81M|2924 |   - |8920 | 629 |8920 | 185 | 185 |3057 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
82.50/82.56	o 67
82.50/82.56	c *82.5s| 26372 | 14788 | 58137 |   2.0 |  79M|2924 |   - |8920 | 649 |8920 | 185 | 185 |3105 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
97.29/97.34	o 55
97.29/97.34	c *97.3s| 29971 | 15682 | 78985 |   2.5 |  83M|2924 |   - |8920 |1015 |8920 | 185 | 185 |3844 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
97.39/97.48	c  97.5s| 30000 | 15697 | 79189 |   2.5 |  83M|2924 |   0 |8920 | 981 |8920 | 185 | 185 |3856 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
106.49/106.59	o 39
106.49/106.59	c * 107s| 31958 | 12361 | 97227 |   2.9 |  75M|2924 |   - |8920 |1286 |8920 | 185 | 185 |4371 |   0 | 0.000000e+00 | 3.900000e+01 |    Inf 
106.60/106.67	o 34
106.60/106.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.60/106.67	c * 107s| 31970 | 11823 | 97321 |   2.9 |  73M|2924 |   - |8920 |1257 |8920 | 185 | 185 |4373 |   0 | 0.000000e+00 | 3.400000e+01 |    Inf 
107.59/107.68	o 32
107.59/107.68	c * 108s| 32207 | 11160 | 98631 |   2.9 |  72M|2924 |   - |8920 |1284 |8920 | 185 | 185 |4431 |   0 | 0.000000e+00 | 3.200000e+01 |    Inf 
107.70/107.80	o 29
107.70/107.80	c * 108s| 32233 | 10264 | 98774 |   2.9 |  69M|2924 |   - |8920 |1280 |8920 | 185 | 185 |4440 |   0 | 0.000000e+00 | 2.900000e+01 |    Inf 
107.99/108.07	o 25
107.99/108.07	c * 108s| 32286 |  9241 | 99258 |   2.9 |  66M|2924 |   - |8920 |1279 |8920 | 185 | 185 |4465 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
117.70/117.78	o 14
117.70/117.78	c * 118s| 36285 |  7868 |100086 |   2.6 |  62M|2924 |   - |8920 |1189 |8920 | 185 | 185 |4520 |   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
117.89/117.97	o 1
117.89/117.97	c * 118s| 36328 |  1404 |100241 |   2.6 |  44M|2924 |   - |8920 |1130 |8920 | 185 | 185 |4530 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
117.89/117.98	c 
117.89/117.98	c SCIP Status        : problem is solved [optimal solution found]
117.89/117.98	c Solving Time (sec) : 117.95
117.89/117.98	c Solving Nodes      : 36328
117.89/117.98	c Primal Bound       : +1.00000000000000e+00 (127 solutions)
117.89/117.98	c Dual Bound         : +1.00000000000000e+00
117.89/117.98	c Gap                : 0.00 %
117.89/117.99	s OPTIMUM FOUND
117.89/117.99	v -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 
117.89/117.99	v -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 
117.89/117.99	v -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 
117.89/117.99	v -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 x8482 -x8481 -x8480 -x8479 
117.89/117.99	v -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 
117.89/117.99	v -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 
117.89/117.99	v -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 
117.89/117.99	v -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 
117.89/117.99	v -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 
117.89/117.99	v -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 
117.89/117.99	v -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 
117.89/117.99	v -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 
117.89/117.99	v -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 
117.89/117.99	v -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 
117.89/117.99	v -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 
117.89/117.99	v -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 
117.89/117.99	v -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 
117.89/117.99	v -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 
117.89/117.99	v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 
117.89/117.99	v -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 x8194 -x8193 
117.89/117.99	v -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 
117.89/117.99	v -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 
117.89/117.99	v -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 
117.89/117.99	v -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 
117.89/117.99	v -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 x8105 -x8104 -x8103 
117.89/117.99	v -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 
117.89/117.99	v -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 
117.89/117.99	v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 
117.89/117.99	v -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 
117.89/117.99	v -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 x8016 -x8015 -x8014 
117.89/117.99	v -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 
117.89/117.99	v -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 
117.89/117.99	v -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 
117.89/117.99	v -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 
117.89/117.99	v -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 
117.89/117.99	v -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 
117.89/117.99	v -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 
117.89/117.99	v -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 
117.89/117.99	v -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 
117.89/117.99	v -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 x7837 -x7836 -x7835 
117.89/117.99	v -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 
117.89/117.99	v -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 
117.89/117.99	v -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 
117.89/117.99	v -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 
117.89/117.99	v -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 x7748 -x7747 -x7746 -x7745 
117.89/117.99	v -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 
117.89/117.99	v -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 
117.89/117.99	v -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 
117.89/117.99	v -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 
117.89/117.99	v -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 x7660 -x7659 -x7658 -x7657 -x7656 
117.89/117.99	v -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 
117.89/117.99	v -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 
117.89/117.99	v -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 
117.89/117.99	v -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 
117.89/117.99	v -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 x7571 -x7570 -x7569 -x7568 -x7567 
117.89/117.99	v -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 
117.89/117.99	v -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 
117.89/117.99	v -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 
117.89/117.99	v -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 
117.89/117.99	v -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 x7482 -x7481 -x7480 -x7479 -x7478 -x7477 
117.89/117.99	v -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 
117.89/117.99	v -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 
117.89/117.99	v -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 
117.89/117.99	v -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 
117.89/117.99	v -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 x7393 -x7392 -x7391 -x7390 -x7389 -x7388 
117.89/117.99	v -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 
117.89/117.99	v -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 
117.89/117.99	v -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 
117.89/117.99	v -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 
117.89/117.99	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 
117.89/117.99	v -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 
117.89/117.99	v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 
117.89/117.99	v -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 
117.89/117.99	v -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 
117.89/117.99	v -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 
117.89/117.99	v -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 
117.89/117.99	v -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 
117.89/117.99	v -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 
117.89/117.99	v -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 
117.89/117.99	v -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 
117.89/117.99	v -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 
117.89/117.99	v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 
117.89/117.99	v -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 
117.89/117.99	v -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 
117.89/117.99	v -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 
117.89/117.99	v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 
117.89/117.99	v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 
117.89/117.99	v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
117.89/117.99	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 
117.89/117.99	v -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 
117.89/117.99	v -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 
117.89/117.99	v -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 
117.89/117.99	v -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 
117.89/117.99	v -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 
117.89/117.99	v -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 
117.89/117.99	v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 
117.89/117.99	v -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 
117.89/117.99	v -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 
117.89/117.99	v -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 
117.89/117.99	v -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 
117.89/117.99	v -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 
117.89/117.99	v -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 
117.89/117.99	v -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 
117.89/117.99	v -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 
117.89/117.99	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 
117.89/117.99	v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 
117.89/117.99	v -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 
117.89/117.99	v -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 
117.89/117.99	v -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 
117.89/117.99	v -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 
117.89/117.99	v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 
117.89/117.99	v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 
117.89/117.99	v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
117.89/117.99	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 
117.89/117.99	v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 
117.89/117.99	v -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 
117.89/117.99	v -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 
117.89/117.99	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 
117.89/117.99	v -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 
117.89/117.99	v -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 
117.89/117.99	v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 
117.89/117.99	v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 
117.89/117.99	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 
117.89/117.99	v -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 
117.89/117.99	v -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 
117.89/117.99	v -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 
117.89/117.99	v -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 
117.89/117.99	v -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 
117.89/117.99	v -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 
117.89/117.99	v -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 
117.89/117.99	v -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 
117.89/117.99	v -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 
117.89/117.99	v -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 
117.89/117.99	v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 
117.89/117.99	v -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 
117.89/117.99	v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 
117.89/117.99	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 
117.89/117.99	v -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 
117.89/117.99	v -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 
117.89/117.99	v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 
117.89/117.99	v -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 x6032 -x6031 -x6030 -x6029 -x6028 
117.89/117.99	v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
117.89/117.99	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 
117.89/117.99	v -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 
117.89/117.99	v -x5974 -x5973 -x5972 -x5971 -x5970 x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 
117.89/117.99	v -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 
117.89/117.99	v -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 
117.89/117.99	v -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 
117.89/117.99	v -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 
117.89/117.99	v -x5884 -x5883 -x5882 -x5881 x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 
117.89/117.99	v -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 
117.89/117.99	v -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 
117.89/117.99	v -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 
117.89/117.99	v -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 
117.89/117.99	v -x5795 -x5794 -x5793 -x5792 x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 
117.89/117.99	v -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 
117.89/117.99	v -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 
117.89/117.99	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 
117.89/117.99	v -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 
117.89/117.99	v -x5706 -x5705 -x5704 -x5703 x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 
117.89/117.99	v -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 
117.89/117.99	v -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 
117.89/117.99	v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 
117.89/117.99	v -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 
117.89/117.99	v -x5616 -x5615 -x5614 x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
117.89/117.99	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 
117.89/117.99	v -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 
117.89/117.99	v -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 
117.89/117.99	v -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 
117.89/117.99	v -x5527 -x5526 -x5525 x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 
117.89/117.99	v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 
117.89/117.99	v -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 
117.89/117.99	v -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 
117.89/117.99	v -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 
117.89/117.99	v -x5437 -x5436 x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 
117.89/117.99	v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 
117.89/117.99	v -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 
117.89/117.99	v -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 
117.89/117.99	v -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 
117.89/117.99	v -x5348 -x5347 x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 
117.89/117.99	v -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 
117.89/117.99	v -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 
117.89/117.99	v -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 
117.89/117.99	v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 
117.89/117.99	v -x5258 x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 
117.89/117.99	v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 
117.89/117.99	v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 
117.89/117.99	v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 
117.89/117.99	v -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 
117.89/117.99	v -x5169 x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 
117.89/117.99	v -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 
117.89/117.99	v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 
117.89/117.99	v -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 
117.89/117.99	v -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 
117.89/117.99	v -x5080 x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 
117.89/117.99	v -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 
117.89/117.99	v -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 
117.89/117.99	v -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 
117.89/117.99	v -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 
117.89/117.99	v x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 
117.89/117.99	v -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 
117.89/117.99	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 
117.89/117.99	v -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 
117.89/117.99	v -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 
117.89/117.99	v x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 
117.89/117.99	v -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 
117.89/117.99	v -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 
117.89/117.99	v -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 
117.89/117.99	v -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 x4812 
117.89/117.99	v -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
117.89/117.99	v -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
117.89/117.99	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 
117.89/117.99	v -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
117.89/117.99	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 x4724 -x4723 
117.89/117.99	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
117.89/117.99	v -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 
117.89/117.99	v -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
117.89/117.99	v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
117.89/117.99	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 x4633 
117.89/117.99	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
117.89/117.99	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 
117.89/117.99	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 
117.89/117.99	v -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 
117.89/117.99	v -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 x4545 -x4544 
117.89/117.99	v -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 
117.89/117.99	v -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
117.89/117.99	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 
117.89/117.99	v -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 
117.89/117.99	v -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 x4456 -x4455 -x4454 
117.89/117.99	v -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 
117.89/117.99	v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 
117.89/117.99	v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 
117.89/117.99	v -x4400 -x4399 -x4398 x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 
117.89/117.99	v -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 
117.89/117.99	v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
117.89/117.99	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
117.89/117.99	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 
117.89/117.99	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 
117.89/117.99	v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 x4278 -x4277 -x4276 
117.89/117.99	v -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 
117.89/117.99	v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 
117.89/117.99	v -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 
117.89/117.99	v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 
117.89/117.99	v -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 x4189 -x4188 -x4187 -x4186 
117.89/117.99	v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 
117.89/117.99	v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 
117.89/117.99	v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 
117.89/117.99	v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 
117.89/117.99	v -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 x4100 -x4099 -x4098 -x4097 
117.89/117.99	v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 
117.89/117.99	v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 
117.89/117.99	v -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 
117.89/117.99	v -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 
117.89/117.99	v -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 x4011 -x4010 -x4009 -x4008 -x4007 
117.89/117.99	v -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 
117.89/117.99	v -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 
117.89/117.99	v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 
117.89/117.99	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 
117.89/117.99	v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 
117.89/117.99	v x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 
117.89/117.99	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
117.89/117.99	v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
117.89/117.99	v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
117.89/117.99	v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 x3832 -x3831 -x3830 -x3829 -x3828 
117.89/117.99	v -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 
117.89/117.99	v -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 
117.89/117.99	v -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 
117.89/117.99	v -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 
117.89/117.99	v -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 x3743 -x3742 -x3741 -x3740 -x3739 
117.89/117.99	v -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 
117.89/117.99	v -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 
117.89/117.99	v -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 
117.89/117.99	v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
117.89/117.99	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 
117.89/117.99	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 
117.89/117.99	v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 
117.89/117.99	v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 
117.89/117.99	v -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 
117.89/117.99	v -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 x3565 -x3564 -x3563 -x3562 -x3561 -x3560 
117.89/117.99	v -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 
117.89/117.99	v -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 
117.89/117.99	v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 
117.89/117.99	v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 
117.89/117.99	v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 
117.89/117.99	v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 
117.89/117.99	v -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 
117.89/117.99	v -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 
117.89/117.99	v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 
117.89/117.99	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 
117.89/117.99	v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 
117.89/117.99	v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 
117.89/117.99	v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 
117.89/117.99	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 
117.89/117.99	v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 
117.89/117.99	v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 
117.89/117.99	v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 
117.89/117.99	v -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 
117.89/117.99	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 
117.89/117.99	v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 
117.89/117.99	v -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 
117.89/117.99	v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 
117.89/117.99	v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 
117.89/117.99	v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 
117.89/117.99	v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 
117.89/117.99	v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 
117.89/117.99	v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 
117.89/117.99	v -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 
117.89/117.99	v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 
117.89/117.99	v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
117.89/117.99	v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
117.89/117.99	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 
117.89/117.99	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 
117.89/117.99	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
117.89/117.99	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
117.89/117.99	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 
117.89/117.99	v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 
117.89/117.99	v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
117.89/117.99	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
117.89/117.99	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
117.89/117.99	v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
117.89/117.99	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
117.89/117.99	v -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
117.89/117.99	v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
117.89/117.99	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
117.89/117.99	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
117.89/117.99	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 
117.89/117.99	v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
117.89/117.99	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 
117.89/117.99	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 
117.89/117.99	v -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 
117.89/117.99	v -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 
117.89/117.99	v -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 x2613 -x2612 
117.89/117.99	v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
117.89/117.99	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
117.89/117.99	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 
117.89/117.99	v -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 
117.89/117.99	v -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 
117.89/117.99	v -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 
117.89/117.99	v -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 
117.89/117.99	v -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 
117.89/117.99	v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 
117.89/117.99	v -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 
117.89/117.99	v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 
117.89/117.99	v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
117.89/117.99	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 
117.89/117.99	v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 
117.89/117.99	v -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 
117.89/117.99	v -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
117.89/117.99	v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 
117.89/117.99	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 
117.89/117.99	v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 
117.89/117.99	v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
117.89/117.99	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
117.89/117.99	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 
117.89/117.99	v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 
117.89/117.99	v -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 
117.89/117.99	v -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 
117.89/117.99	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
117.89/117.99	v -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
117.89/117.99	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
117.89/117.99	v -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
117.89/117.99	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 
117.89/117.99	v -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 
117.89/117.99	v -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 
117.89/117.99	v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 
117.89/117.99	v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 
117.89/117.99	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 
117.89/117.99	v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
117.89/117.99	v -x1967 -x1966 -x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 
117.89/117.99	v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 
117.89/117.99	v -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 
117.89/117.99	v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 
117.89/117.99	v -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
117.89/117.99	v -x1878 -x1877 -x1876 -x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
117.89/117.99	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
117.89/117.99	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 
117.89/117.99	v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 
117.89/117.99	v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
117.89/117.99	v -x1789 -x1788 -x1787 -x1786 x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
117.89/117.99	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
117.89/117.99	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
117.89/117.99	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
117.89/117.99	v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 
117.89/117.99	v -x1699 -x1698 -x1697 x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 
117.89/117.99	v -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 
117.89/117.99	v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 
117.89/117.99	v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
117.89/117.99	v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 
117.89/117.99	v -x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 
117.89/117.99	v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 
117.89/117.99	v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 
117.89/117.99	v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
117.89/117.99	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
117.89/117.99	v -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 
117.89/117.99	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
117.89/117.99	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 
117.89/117.99	v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
117.89/117.99	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 
117.89/117.99	v -x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 
117.89/117.99	v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 
117.89/117.99	v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
117.89/117.99	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
117.89/117.99	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
117.89/117.99	v x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
117.89/117.99	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
117.89/117.99	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
117.89/117.99	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
117.89/117.99	v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
117.89/117.99	v x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
117.89/117.99	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
117.89/117.99	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
117.89/117.99	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
117.89/117.99	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 
117.89/117.99	v x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
117.89/117.99	v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 
117.89/117.99	v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 
117.89/117.99	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
117.89/117.99	v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 
117.89/117.99	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
117.89/117.99	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
117.89/117.99	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
117.89/117.99	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 
117.89/117.99	v -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 -x983 -x982 
117.89/117.99	v -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 
117.89/117.99	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
117.89/117.99	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 
117.89/117.99	v -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 
117.89/117.99	v -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 
117.89/117.99	v -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 
117.89/117.99	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 
117.89/117.99	v -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
117.89/117.99	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
117.89/117.99	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 
117.89/117.99	v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 
117.89/117.99	v -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 
117.89/117.99	v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 
117.89/117.99	v -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 
117.89/117.99	v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 
117.89/117.99	v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 
117.89/117.99	v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 
117.89/117.99	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
117.89/117.99	v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 
117.89/117.99	v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 
117.89/117.99	v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
117.89/117.99	v -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 
117.89/117.99	v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
117.89/117.99	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
117.89/117.99	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 
117.89/117.99	v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 
117.89/117.99	v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 
117.89/117.99	v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 
117.89/117.99	v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 
117.89/117.99	v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
117.89/117.99	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 
117.89/117.99	v -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
117.89/117.99	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 
117.89/117.99	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
117.89/117.99	v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 
117.89/117.99	v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 
117.89/117.99	v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
117.89/117.99	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
117.89/117.99	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
117.89/117.99	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 
117.89/117.99	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
117.89/117.99	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 
117.89/117.99	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 
117.89/117.99	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 
117.89/117.99	v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 
117.89/117.99	v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 
117.89/117.99	v -x5 -x4 -x3 -x2 -x1 
117.89/117.99	c SCIP Status        : problem is solved [optimal solution found]
117.89/117.99	c Solving Time       :     117.95
117.89/117.99	c Original Problem   :
117.89/117.99	c   Problem name     : HOME/instance-2705482-1278576605.wbo
117.89/117.99	c   Variables        : 8920 (8735 binary, 0 integer, 185 implicit integer, 0 continuous)
117.89/117.99	c   Constraints      : 371 initial, 371 maximal
117.89/117.99	c Presolved Problem  :
117.89/117.99	c   Problem name     : t_HOME/instance-2705482-1278576605.wbo
117.89/117.99	c   Variables        : 8920 (8735 binary, 0 integer, 185 implicit integer, 0 continuous)
117.89/117.99	c   Constraints      : 370 initial, 1286 maximal
117.89/117.99	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
117.89/117.99	c   trivial          :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   implics          :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   probing          :       0.03          0          0          0          0          0          0          0          0
117.89/117.99	c   linear           :       0.01          0          0          0        185          0          1          0          0
117.89/117.99	c   indicator        :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   logicor          :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
117.89/117.99	c   root node        :          -        345          -          -        345          -          -          -          -
117.89/117.99	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
117.89/117.99	c   integral         :          0          0          0      34665          0          0          0          0          0          0
117.89/117.99	c   linear           :        185         92      56806      34664          0          1     164774        185          0          0
117.89/117.99	c   indicator        :        185          0      56742      34660          0         28      23528          0          0          0
117.89/117.99	c   logicor          :          0+         0       1081          0          0          0         16          0          0          0
117.89/117.99	c   bounddisjunction :          0+         0       9494          0          0        263       1542          0          0          0
117.89/117.99	c   countsols        :          0          0          0      34665          0          0          0          0          0          0
117.89/117.99	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
117.89/117.99	c   integral         :       0.02       0.00       0.00       0.02       0.00
117.89/117.99	c   linear           :       1.57       0.01       1.39       0.18       0.00
117.89/117.99	c   indicator        :       0.41       0.00       0.18       0.23       0.00
117.89/117.99	c   logicor          :       0.00       0.00       0.00       0.00       0.00
117.89/117.99	c   bounddisjunction :       0.55       0.00       0.55       0.00       0.00
117.89/117.99	c   countsols        :       0.01       0.00       0.00       0.01       0.00
117.89/117.99	c Propagators        :       Time      Calls    Cutoffs    DomReds
117.89/117.99	c   vbounds          :       0.03       1067          0        697
117.89/117.99	c   rootredcost      :       0.02         30          0        185
117.89/117.99	c   pseudoobj        :       0.36      56655         48      12133
117.89/117.99	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
117.89/117.99	c   propagation      :       0.09        312        312        638      224.9          2      199.5          -
117.89/117.99	c   infeasible LP    :       6.26       1366       1262       7173      612.0          1      182.0          0
117.89/117.99	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
117.89/117.99	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
117.89/117.99	c   pseudo solution  :       0.01         10         10         40       82.3          0        0.0          -
117.89/117.99	c   applied globally :          -          -          -       4531      313.3          -          -          -
117.89/117.99	c   applied locally  :          -          -          -          0        0.0          -          -          -
117.89/117.99	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
117.89/117.99	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
117.89/117.99	c   redcost          :       5.47      35716          0      18002          0          0
117.89/117.99	c   impliedbounds    :       0.00          0          0          0          0          0
117.89/117.99	c   intobj           :       0.00          0          0          0          0          0
117.89/117.99	c   cgmip            :       0.00          0          0          0          0          0
117.89/117.99	c   gomory           :       0.00          0          0          0          0          0
117.89/117.99	c   strongcg         :       0.00          0          0          0          0          0
117.89/117.99	c   cmir             :       0.00          0          0          0          0          0
117.89/117.99	c   flowcover        :       0.00          0          0          0          0          0
117.89/117.99	c   clique           :       0.00          0          0          0          0          0
117.89/117.99	c   zerohalf         :       0.00          0          0          0          0          0
117.89/117.99	c   mcf              :       0.00          0          0          0          0          0
117.89/117.99	c   rapidlearning    :       0.27          1          0          0          0          0
117.89/117.99	c Pricers            :       Time      Calls       Vars
117.89/117.99	c   problem variables:       0.00          0          0
117.89/117.99	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
117.89/117.99	c   relpscost        :       0.00          0          0          0          0          0          0
117.89/117.99	c   pscost           :       0.00          0          0          0          0          0          0
117.89/117.99	c   inference        :      30.57      34635          0          0          0          0      69277
117.89/117.99	c   mostinf          :       0.00          0          0          0          0          0          0
117.89/117.99	c   leastinf         :       0.00          0          0          0          0          0          0
117.89/117.99	c   fullstrong       :       0.00          0          0          0          0          0          0
117.89/117.99	c   allfullstrong    :       0.00          0          0          0          0          0          0
117.89/117.99	c   random           :       0.00          0          0          0          0          0          0
117.89/117.99	c Primal Heuristics  :       Time      Calls      Found
117.89/117.99	c   LP solutions     :       0.07          -         30
117.89/117.99	c   pseudo solutions :       0.00          -          0
117.89/117.99	c   feaspump         :       0.00          0          0
117.89/117.99	c   oneopt           :       0.24         28          0
117.89/117.99	c   guideddiving     :       0.04         25          0
117.89/117.99	c   linesearchdiving :       0.04         30          0
117.89/117.99	c   veclendiving     :       0.04         31          0
117.89/117.99	c   coefdiving       :       0.04         31          0
117.89/117.99	c   pscostdiving     :       0.04         31          0
117.89/117.99	c   fracdiving       :       0.04         31          0
117.89/117.99	c   objpscostdiving  :       0.05         31          0
117.89/117.99	c   rootsoldiving    :       0.05         31          0
117.89/117.99	c   crossover        :       1.90         29         13
117.89/117.99	c   trivial          :       0.02          2          3
117.89/117.99	c   simplerounding   :       0.03          0          0
117.89/117.99	c   zirounding       :       0.02          0          0
117.89/117.99	c   rounding         :       0.01          0          0
117.89/117.99	c   shifting         :       0.00          0          0
117.89/117.99	c   intshifting      :       0.00          0          0
117.89/117.99	c   twoopt           :       0.00          0          0
117.89/117.99	c   fixandinfer      :       0.00          0          0
117.89/117.99	c   intdiving        :       0.00          0          0
117.89/117.99	c   actconsdiving    :       0.00          0          0
117.89/117.99	c   octane           :       0.00          0          0
117.89/117.99	c   rens             :       0.00          0          0
117.89/117.99	c   rins             :       0.00          0          0
117.89/117.99	c   localbranching   :       0.00          0          0
117.89/117.99	c   mutation         :       0.00          0          0
117.89/117.99	c   dins             :       0.00          0          0
117.89/117.99	c   undercover       :       0.00          0          0
117.89/117.99	c   nlp              :       0.01          0          0
117.89/117.99	c   trysol           :       0.18         86         81
117.89/117.99	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
117.89/117.99	c   primal LP        :       0.00          0          0       0.00          -
117.89/117.99	c   dual LP          :      44.26       6181      99907      16.16    2257.17
117.89/117.99	c   lex dual LP      :       0.00          0          0       0.00          -
117.89/117.99	c   barrier LP       :       0.00          0          0       0.00          -
117.89/117.99	c   diving/probing LP:       0.09         27        334      12.37    3843.37
117.89/117.99	c   strong branching :       0.00          0          0       0.00          -
117.89/117.99	c     (at root node) :          -          0          0       0.00          -
117.89/117.99	c   conflict analysis:       0.00          0          0       0.00          -
117.89/117.99	c B&B Tree           :
117.89/117.99	c   number of runs   :          1
117.89/117.99	c   nodes            :      36328
117.89/117.99	c   nodes (total)    :      36328
117.89/117.99	c   nodes left       :          0
117.89/117.99	c   max depth        :       2924
117.89/117.99	c   max depth (total):       2924
117.89/117.99	c   backtracks       :        751 (2.1%)
117.89/117.99	c   delayed cutoffs  :       3925
117.89/117.99	c   repropagations   :      11413 (8881 domain reductions, 53 cutoffs)
117.89/117.99	c   avg switch length:       4.67
117.89/117.99	c   switching time   :       3.11
117.89/117.99	c Solution           :
117.89/117.99	c   Solutions found  :        127 (31 improvements)
117.89/117.99	c   First Solution   : +9.53100000000000e+03   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
117.89/117.99	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 36328 nodes, 117.93 seconds, depth 88, found by <relaxation>)
117.89/117.99	c   Dual Bound       : +1.00000000000000e+00
117.89/117.99	c   Gap              :       0.00 %
117.89/117.99	c   Root Dual Bound  : +0.00000000000000e+00
117.89/117.99	c   Root Iterations  :       4579
117.99/118.02	c Time complete: 118.01.

Verifier Data

OK	1

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705482-1278576605/watcher-2705482-1278576605 -o /tmp/evaluation-result-2705482-1278576605/solver-2705482-1278576605 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705482-1278576605.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.05 1.93 4/178 22756
/proc/meminfo: memFree=28063552/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=12388 CPUtime=0
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 1957 0 0 0 0 0 0 0 25 0 1 0 25875286 12685312 1876 4089446400 4194304 10345943 140734598997168 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22756/statm: 3097 1877 429 1502 0 1590 0

[startup+0.088765 s]
/proc/loadavg: 2.20 2.05 1.93 4/178 22756
/proc/meminfo: memFree=28063552/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=36372 CPUtime=0.08
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 8051 0 0 0 8 0 0 0 18 0 1 0 25875286 37244928 7616 4089446400 4194304 10345943 140734598997168 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 9093 7616 553 1502 0 7586 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36372

[startup+0.100745 s]
/proc/loadavg: 2.20 2.05 1.93 4/178 22756
/proc/meminfo: memFree=28063552/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=36372 CPUtime=0.09
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 8051 0 0 0 9 0 0 0 18 0 1 0 25875286 37244928 7616 4089446400 4194304 10345943 140734598997168 18446744073709551615 5608322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 9093 7616 553 1502 0 7586 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36372

[startup+0.300716 s]
/proc/loadavg: 2.20 2.05 1.93 4/178 22756
/proc/meminfo: memFree=28063552/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=71176 CPUtime=0.29
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 16445 0 0 0 28 1 0 0 18 0 1 0 25875286 72884224 16010 4089446400 4194304 10345943 140734598997168 18446744073709551615 4688072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 17794 16010 632 1502 0 16287 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71176

[startup+0.700633 s]
/proc/loadavg: 2.20 2.05 1.93 4/178 22756
/proc/meminfo: memFree=28063552/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=67272 CPUtime=0.68
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 16550 0 0 0 67 1 0 0 18 0 1 0 25875286 68886528 15290 4089446400 4194304 10345943 140734598997168 18446744073709551615 6878037 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 16818 15290 707 1502 0 15311 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 67272

[startup+1.50048 s]
/proc/loadavg: 2.20 2.05 1.93 3/179 22757
/proc/meminfo: memFree=28004840/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=67272 CPUtime=1.49
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 16550 0 0 0 147 2 0 0 19 0 1 0 25875286 68886528 15290 4089446400 4194304 10345943 140734598997168 18446744073709551615 6520415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 16818 15290 707 1502 0 15311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67272

[startup+3.10019 s]
/proc/loadavg: 2.20 2.05 1.93 3/179 22757
/proc/meminfo: memFree=28004468/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=67272 CPUtime=3.09
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 16584 0 0 0 306 3 0 0 25 0 1 0 25875286 68886528 15324 4089446400 4194304 10345943 140734598997168 18446744073709551615 5926401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 16818 15324 712 1502 0 15311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67272

[startup+6.30059 s]
/proc/loadavg: 2.18 2.05 1.93 3/179 22757
/proc/meminfo: memFree=28004744/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=67272 CPUtime=6.29
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 16591 0 0 0 626 3 0 0 25 0 1 0 25875286 68886528 15331 4089446400 4194304 10345943 140734598997168 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 16818 15331 712 1502 0 15311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67272

[startup+12.7004 s]
/proc/loadavg: 2.25 2.06 1.94 3/179 22757
/proc/meminfo: memFree=27982172/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=90604 CPUtime=12.69
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 27377 0 0 0 1264 5 0 0 25 0 1 0 25875286 92778496 21088 4089446400 4194304 10345943 140734598997168 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 22651 21088 721 1502 0 21144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90604

[startup+25.5009 s]
/proc/loadavg: 2.19 2.06 1.94 3/179 22757
/proc/meminfo: memFree=27982092/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=110308 CPUtime=25.49
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 47021 0 0 0 2540 9 0 0 25 0 1 0 25875286 112955392 25762 4089446400 4194304 10345943 140734598997168 18446744073709551615 9134744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 27577 25780 721 1502 0 26070 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 110308

[startup+51.1011 s]
/proc/loadavg: 2.12 2.05 1.94 3/179 22758
/proc/meminfo: memFree=27954416/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=117848 CPUtime=51.09
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 79797 0 0 0 5092 17 0 0 25 0 1 0 25875286 120676352 28091 4089446400 4194304 10345943 140734598997168 18446744073709551615 8160422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 29462 28091 721 1502 0 27955 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117848

[startup+102.306 s]
/proc/loadavg: 2.05 2.04 1.94 3/179 22759
/proc/meminfo: memFree=27887348/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=166060 CPUtime=102.3
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 132546 0 0 0 10199 31 0 0 25 0 1 0 25875286 170045440 40370 4089446400 4194304 10345943 140734598997168 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 41515 40370 726 1502 0 40008 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 166060

Solver just ended. Dumping a history of the last processes samples

[startup+108.7 s]
/proc/loadavg: 2.05 2.04 1.94 3/179 22759
/proc/meminfo: memFree=27885236/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168136 CPUtime=108.69
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 141832 0 0 0 10835 34 0 0 25 0 1 0 25875286 172171264 40904 4089446400 4194304 10345943 140734598997168 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42034 40904 726 1502 0 40527 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 168136

[startup+111.901 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22759
/proc/meminfo: memFree=27885112/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168136 CPUtime=111.9
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 149774 0 0 0 11154 36 0 0 25 0 1 0 25875286 172171264 40904 4089446400 4194304 10345943 140734598997168 18446744073709551615 6702920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42034 40904 726 1502 0 40527 0
Current children cumulated CPU time (s) 111.9
Current children cumulated vsize (KiB) 168136

[startup+115.101 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22760
/proc/meminfo: memFree=27885232/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168136 CPUtime=115.1
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 153710 0 0 0 11473 37 0 0 25 0 1 0 25875286 172171264 40904 4089446400 4194304 10345943 140734598997168 18446744073709551615 6520403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42034 40904 726 1502 0 40527 0
Current children cumulated CPU time (s) 115.1
Current children cumulated vsize (KiB) 168136

[startup+116.701 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22760
/proc/meminfo: memFree=27884984/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168232 CPUtime=116.69
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 157734 0 0 0 11632 37 0 0 25 0 1 0 25875286 172269568 40928 4089446400 4194304 10345943 140734598997168 18446744073709551615 8160422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42058 40928 726 1502 0 40551 0
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (KiB) 168232

[startup+117.501 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22760
/proc/meminfo: memFree=27884984/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168232 CPUtime=117.49
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 157734 0 0 0 11712 37 0 0 25 0 1 0 25875286 172269568 40928 4089446400 4194304 10345943 140734598997168 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42058 40928 726 1502 0 40551 0
Current children cumulated CPU time (s) 117.49
Current children cumulated vsize (KiB) 168232

[startup+117.9 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22760
/proc/meminfo: memFree=27885096/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168232 CPUtime=117.89
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 157734 0 0 0 11752 37 0 0 25 0 1 0 25875286 172269568 40928 4089446400 4194304 10345943 140734598997168 18446744073709551615 6557364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22756/statm: 42058 40928 726 1502 0 40551 0
Current children cumulated CPU time (s) 117.89
Current children cumulated vsize (KiB) 168232

[startup+118 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 22760
/proc/meminfo: memFree=27885096/32950928 swapFree=67111528/67111528
[pid=22756] ppid=22754 vsize=168232 CPUtime=117.99
/proc/22756/stat : 22756 (pbscip.linux.x8) R 22754 22756 22227 0 -1 4202496 157742 0 0 0 11762 37 0 0 25 0 1 0 25875286 172269568 40936 4089446400 4194304 10345943 140734598997168 18446744073709551615 6069033 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22756/statm: 42058 40936 734 1502 0 40551 0
Current children cumulated CPU time (s) 117.99
Current children cumulated vsize (KiB) 168232

Child status: 0
Real time (s): 118.023
CPU time (s): 118.027
CPU user time (s): 117.64
CPU system time (s): 0.386941
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 185292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.64
system time used= 0.386941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157745
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= 2
involuntary context switches= 291

runsolver used 0.19497 second user time and 0.463929 second system time

The end

Launcher Data

Begin job on node114 at 2010-07-08 10:10:05
IDJOB=2705482
IDBENCH=79170
IDSOLVER=1214
FILE ID=node114/2705482-1278576605
PBS_JOBID= 11240226
Free space on /tmp= 73148 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705482-1278576605/watcher-2705482-1278576605 -o /tmp/evaluation-result-2705482-1278576605/solver-2705482-1278576605 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705482-1278576605.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4a1855bab5ee86d15b24a1b5f3713388
RANDOM SEED=947811144

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28064080 kB
Buffers:        155992 kB
Cached:        3917264 kB
SwapCached:          0 kB
Active:        1901396 kB
Inactive:      2813588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28064080 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12832 kB
Writeback:           0 kB
AnonPages:      641388 kB
Mapped:          16724 kB
Slab:           106216 kB
PageTables:       6080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   793360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73136 MiB
End job on node114 at 2010-07-08 10:12:03