Trace number 3692318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedOPT26 63.6323 63.669

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark12.5421
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
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 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	26

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-3692318-1338035311/watcher-3692318-1338035311 -o /tmp/evaluation-result-3692318-1338035311/solver-3692318-1338035311 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692318-1338035311.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.00 2.00 2.00 3/175 5129
/proc/meminfo: memFree=29124696/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=12884 CPUtime=0 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 1948 0 0 0 0 0 0 0 20 0 1 0 269655991 13193216 1902 33554432000 4194304 10219143 140735997122992 140735997121864 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 3221 1902 413 1471 0 1741 0

[startup+0.0136071 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5129
/proc/meminfo: memFree=29124696/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=18124 CPUtime=0 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 3284 0 0 0 0 0 0 0 20 0 1 0 269655991 18558976 3238 33554432000 4194304 10219143 140735997122992 140735997121864 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 4531 3238 421 1471 0 3051 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18124

[startup+0.100343 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5129
/proc/meminfo: memFree=29124696/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=38528 CPUtime=0.09 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 8410 0 0 0 8 1 0 0 20 0 1 0 269655991 39452672 8364 33554432000 4194304 10219143 140735997122992 140735997121864 5479428 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 9632 8364 421 1471 0 8152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38528

[startup+0.300318 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5129
/proc/meminfo: memFree=29124696/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=81308 CPUtime=0.28 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 18649 0 0 0 21 7 0 0 20 0 1 0 269655991 83259392 18572 33554432000 4194304 10219143 140735997122992 140735997121864 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 20327 18572 560 1471 0 18847 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 81308

[startup+0.70033 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5129
/proc/meminfo: memFree=29124696/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=91540 CPUtime=0.69 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 21832 0 0 0 48 21 0 0 20 0 1 0 269655991 93736960 21201 33554432000 4194304 10219143 140735997122992 140735997121864 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 22885 21201 608 1471 0 21405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91540

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5130
/proc/meminfo: memFree=29011596/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=125412 CPUtime=1.49 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 29984 0 0 0 125 24 0 0 20 0 1 0 269655991 128421888 29388 33554432000 4194304 10219143 140735997122992 140735997118520 5129075 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 31353 29388 786 1471 0 29873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125412

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=29005132/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=132760 CPUtime=3.09 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 32030 0 0 0 281 28 0 0 20 0 1 0 269655991 135946240 31349 33554432000 4194304 10219143 140735997122992 140735997118920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 33190 31349 808 1471 0 31710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132760

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28994956/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=139864 CPUtime=6.29 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 33817 0 0 0 597 32 0 0 20 0 1 0 269655991 143220736 33136 33554432000 4194304 10219143 140735997122992 140735997117912 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 34966 33136 808 1471 0 33486 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139864

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28990880/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=143684 CPUtime=12.68 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 34669 0 0 0 1228 40 0 0 20 0 1 0 269655991 147132416 34082 33554432000 4194304 10219143 140735997122992 140735997117912 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 35921 34082 808 1471 0 34441 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 143684

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28987204/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=144756 CPUtime=25.47 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 35533 0 0 0 2494 53 0 0 20 0 1 0 269655991 148230144 34950 33554432000 4194304 10219143 140735997122992 140735997117832 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36189 34950 808 1471 0 34709 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 144756

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28986680/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=51.06 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45679 0 0 0 5034 72 0 0 20 0 1 0 269655991 150876160 35222 33554432000 4194304 10219143 140735997122992 140735997116168 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35222 855 1471 0 35355 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 147340

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

[startup+57.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985364/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=57.45 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45716 0 0 0 5672 73 0 0 20 0 1 0 269655991 150876160 35544 33554432000 4194304 10219143 140735997122992 140735997116440 7955723 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35544 855 1471 0 35355 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 147340

[startup+60.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985240/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=60.65 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45731 0 0 0 5991 74 0 0 20 0 1 0 269655991 150876160 35559 33554432000 4194304 10219143 140735997122992 140735997116824 7954752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35559 855 1471 0 35355 0
Current children cumulated CPU time (s) 60.65
Current children cumulated vsize (KiB) 147340

[startup+62.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985240/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=62.26 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45733 0 0 0 6151 75 0 0 20 0 1 0 269655991 150876160 35561 33554432000 4194304 10219143 140735997122992 140735997115928 8091892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35561 855 1471 0 35355 0
Current children cumulated CPU time (s) 62.26
Current children cumulated vsize (KiB) 147340

[startup+63.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985224/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=63.06 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45735 0 0 0 6231 75 0 0 20 0 1 0 269655991 150876160 35563 33554432000 4194304 10219143 140735997122992 140735997116824 8091880 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35563 855 1471 0 35355 0
Current children cumulated CPU time (s) 63.06
Current children cumulated vsize (KiB) 147340

[startup+63.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985224/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=63.46 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45736 0 0 0 6271 75 0 0 20 0 1 0 269655991 150876160 35564 33554432000 4194304 10219143 140735997122992 140735997116824 7705976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35564 855 1471 0 35355 0
Current children cumulated CPU time (s) 63.46
Current children cumulated vsize (KiB) 147340

[startup+63.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5131
/proc/meminfo: memFree=28985224/32873844 swapFree=7116/7116
[pid=5129] ppid=5127 vsize=147340 CPUtime=63.56 cores=0,2,4,6
/proc/5129/stat : 5129 (scip-2.1.1.4exp) R 5127 5129 3441 0 -1 4202496 45738 0 0 0 6281 75 0 0 20 0 1 0 269655991 150876160 35566 33554432000 4194304 10219143 140735997122992 140735997119496 5123399 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5129/statm: 36835 35566 857 1471 0 35355 0
Current children cumulated CPU time (s) 63.56
Current children cumulated vsize (KiB) 147340

Child status: 0
Real time (s): 63.669
CPU time (s): 63.6323
CPU user time (s): 62.8734
CPU system time (s): 0.758884
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 185724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.8734
system time used= 0.758884
maximum resident set size= 179700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45740
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= 35
involuntary context switches= 65

runsolver used 0.225965 second user time and 0.610907 second system time

The end

Launcher Data

Begin job on node146 at 2012-05-26 14:28:31
IDJOB=3692318
IDBENCH=24995
IDSOLVER=2271
FILE ID=node146/3692318-1338035311
RUNJOBID= node146-1338029515-4286
PBS_JOBID= 14624329
Free space on /tmp= 71532 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692318-1338035311/watcher-3692318-1338035311 -o /tmp/evaluation-result-3692318-1338035311/solver-3692318-1338035311 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692318-1338035311.opb -t 1800 -m 15500

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1639263684

node146.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		: 2667.034
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	: 5334.06
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		: 2667.034
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.92
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		: 2667.034
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		: 2667.034
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		: 2667.034
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		: 2667.034
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	: 5331.91
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		: 2667.034
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.91
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		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29124960 kB
Buffers:          253516 kB
Cached:          2422340 kB
SwapCached:         2348 kB
Active:           787420 kB
Inactive:        2191720 kB
Active(anon):     302368 kB
Inactive(anon):     3064 kB
Active(file):     485052 kB
Inactive(file):  2188656 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:             14760 kB
Writeback:             0 kB
AnonPages:        307768 kB
Mapped:            11352 kB
Shmem:                 0 kB
Slab:             630464 kB
SReclaimable:      71964 kB
SUnreclaim:       558500 kB
KernelStack:        1480 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     423184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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= 71520 MiB
End job on node146 at 2012-05-26 14:29:34