Trace number 3741307

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT81 133.52 133.575

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ex9.opb
MD5SUM8cecfae519c586a787d92a89208dece3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark0.446931
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10404
Total number of constraints40962
Number of constraints which are clauses40800
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
Number of terms in the objective function 10404
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10404
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10404
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	81

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741307-1338752565/watcher-3741307-1338752565 -o /tmp/evaluation-result-3741307-1338752565/solver-3741307-1338752565 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741307-1338752565.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 30522
/proc/meminfo: memFree=26570444/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/30522/stat : 30522 (runsolver) D 30520 30522 30273 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 341385117 12095488 51 33554432000 4194304 5436572 140734779032016 140734779028312 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/30522/statm: 2953 51 31 304 0 2645 0

[startup+0.043511 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 30522
/proc/meminfo: memFree=26570444/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=19000 CPUtime=0.02 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 4012 0 0 0 2 0 0 0 20 0 1 0 341385117 19456000 3953 33554432000 4194304 8395647 140737154984064 140734779028200 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 4750 3953 394 1026 0 3720 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19000

[startup+0.100392 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 30522
/proc/meminfo: memFree=26570444/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=22292 CPUtime=0.08 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 4834 0 0 0 8 0 0 0 20 0 1 0 341385117 22827008 4775 33554432000 4194304 8395647 140737154984064 140734779028200 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 5573 4775 394 1026 0 4543 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22292

[startup+0.300215 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 30522
/proc/meminfo: memFree=26570444/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=30444 CPUtime=0.28 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 6895 0 0 0 27 1 0 0 20 0 1 0 341385117 31174656 6836 33554432000 4194304 8395647 140737154984064 140734779028200 5758034 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 7611 6836 394 1026 0 6581 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30444

[startup+0.700273 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 30522
/proc/meminfo: memFree=26570444/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=76272 CPUtime=0.69 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 18613 0 0 0 66 3 0 0 20 0 1 0 341385117 78102528 18200 33554432000 4194304 8395647 140737154984064 140737154849272 4223336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 19068 18200 413 1026 0 18038 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76272

[startup+1.50034 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26430820/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=143840 CPUtime=1.49 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 35917 0 0 0 143 6 0 0 20 0 1 0 341385117 147292160 34748 33554432000 4194304 8395647 140737154984064 140737154849272 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 35960 34748 495 1026 0 34930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143840

[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26373904/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=152208 CPUtime=3.08 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 38024 0 0 0 302 6 0 0 20 0 1 0 341385117 155860992 36855 33554432000 4194304 8395647 140737154984064 140737154980088 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 38052 36855 497 1026 0 37022 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 152208

[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26341972/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=171052 CPUtime=6.28 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 42596 0 0 0 621 7 0 0 20 0 1 0 341385117 175157248 41427 33554432000 4194304 8395647 140737154984064 140737154980136 5608240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 42763 41427 497 1026 0 41733 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 171052

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26299200/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=210808 CPUtime=12.68 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 52554 0 0 0 1260 8 0 0 20 0 1 0 341385117 215867392 51385 33554432000 4194304 8395647 140737154984064 140737154980136 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 52702 51385 497 1026 0 51672 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 210808

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26241944/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=267240 CPUtime=25.48 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 66212 0 0 0 2537 11 0 0 20 0 1 0 341385117 273653760 65043 33554432000 4194304 8395647 140737154984064 140737154980136 4216106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 66810 65043 503 1026 0 65780 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 267240

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26150960/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=353324 CPUtime=51.07 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 87879 0 0 0 5091 16 0 0 20 0 1 0 341385117 361803776 86710 33554432000 4194304 8395647 140737154984064 140737154980136 4215707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 88331 86710 503 1026 0 87301 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 353324

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26062656/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=434276 CPUtime=102.26 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 108464 0 0 0 10204 22 0 0 20 0 1 0 341385117 444698624 107391 33554432000 4194304 8395647 140737154984064 140737154980088 6085500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 108569 107391 503 1026 0 107539 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 434276

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

[startup+115.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26057680/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=437688 CPUtime=115.04 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109347 0 0 0 11482 22 0 0 20 0 1 0 341385117 448192512 108269 33554432000 4194304 8395647 140737154984064 140737154979864 4220157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109422 108269 503 1026 0 108392 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 437688

[startup+121.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26054688/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=121.44 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109553 0 0 0 12122 22 0 0 20 0 1 0 341385117 448970752 108475 33554432000 4194304 8395647 140737154984064 140737154979864 4247653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108475 503 1026 0 108582 0
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (KiB) 438448

[startup+127.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26054192/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=127.84 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109577 0 0 0 12762 22 0 0 20 0 1 0 341385117 448970752 108499 33554432000 4194304 8395647 140737154984064 140737154979864 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108499 503 1026 0 108582 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 438448

[startup+131.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26053496/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=131.03 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109584 0 0 0 13081 22 0 0 20 0 1 0 341385117 448970752 108751 33554432000 4194304 8395647 140737154984064 140737154979864 6085526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108751 503 1026 0 108582 0
Current children cumulated CPU time (s) 131.03
Current children cumulated vsize (KiB) 438448

[startup+132.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26053496/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=132.63 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109584 0 0 0 13241 22 0 0 20 0 1 0 341385117 448970752 108751 33554432000 4194304 8395647 140737154984064 140737154979864 6085526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108751 503 1026 0 108582 0
Current children cumulated CPU time (s) 132.63
Current children cumulated vsize (KiB) 438448

[startup+133.107 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26053372/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=133.04 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109584 0 0 0 13282 22 0 0 20 0 1 0 341385117 448970752 108751 33554432000 4194304 8395647 140737154984064 140737154979864 6085513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108751 503 1026 0 108582 0
Current children cumulated CPU time (s) 133.04
Current children cumulated vsize (KiB) 438448

[startup+133.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30523
/proc/meminfo: memFree=26053372/32873844 swapFree=7116/7116
[pid=30522] ppid=30520 vsize=438448 CPUtime=133.43 cores=1,3,5,7
/proc/30522/stat : 30522 (pbscip.linux.x8) R 30520 30522 30273 0 -1 4202496 109663 0 0 0 13321 22 0 0 20 0 1 0 341385117 448970752 108830 33554432000 4194304 8395647 140737154984064 140737154979896 4750745 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30522/statm: 109612 108830 582 1026 0 108582 0
Current children cumulated CPU time (s) 133.43
Current children cumulated vsize (KiB) 438448

Child status: 0
Real time (s): 133.575
CPU time (s): 133.52
CPU user time (s): 133.264
CPU system time (s): 0.255961
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 438448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.264
system time used= 0.255961
maximum resident set size= 435320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109671
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= 34
involuntary context switches= 160

runsolver used 0.334949 second user time and 0.901862 second system time

The end

Launcher Data

Begin job on node108 at 2012-06-03 21:42:45
IDJOB=3741307
IDBENCH=89829
IDSOLVER=2326
FILE ID=node108/3741307-1338752565
RUNJOBID= node108-1338748971-30290
PBS_JOBID= 14636793
Free space on /tmp= 71456 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ex9.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741307-1338752565/watcher-3741307-1338752565 -o /tmp/evaluation-result-3741307-1338752565/solver-3741307-1338752565 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741307-1338752565.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8cecfae519c586a787d92a89208dece3
RANDOM SEED=1574997959

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26570708 kB
Buffers:         1775808 kB
Cached:          3604504 kB
SwapCached:          112 kB
Active:          3434968 kB
Inactive:        2015128 kB
Active(anon):      53592 kB
Inactive(anon):    13072 kB
Active(file):    3381376 kB
Inactive(file):  2002056 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:             26324 kB
Writeback:             0 kB
AnonPages:        140852 kB
Mapped:            16364 kB
Shmem:               172 kB
Slab:             715832 kB
SReclaimable:     157016 kB
SUnreclaim:       558816 kB
KernelStack:        1456 kB
PageTables:         4056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     178660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71448 MiB
End job on node108 at 2012-06-03 21:44:59