Trace number 3735794

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT26 87.5537 87.598

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11977
/proc/meminfo: memFree=26217896/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 336720608 8105984 1192 33554432000 4194304 8395647 140733447482400 140737233478040 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 1979 1193 370 1026 0 949 0

[startup+0.0872989 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11977
/proc/meminfo: memFree=26217896/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=24772 CPUtime=0.07 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 5477 0 0 0 7 0 0 0 20 0 1 0 336720608 25366528 5423 33554432000 4194304 8395647 140733447482400 140737233478040 6767021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 6193 5423 393 1026 0 5163 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24772

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11977
/proc/meminfo: memFree=26217896/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=24772 CPUtime=0.09 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 5481 0 0 0 9 0 0 0 20 0 1 0 336720608 25366528 5427 33554432000 4194304 8395647 140733447482400 140737233478040 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 6193 5427 393 1026 0 5163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24772

[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11977
/proc/meminfo: memFree=26217896/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=67172 CPUtime=0.29 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 16098 0 0 0 28 1 0 0 20 0 1 0 336720608 68784128 15690 33554432000 4194304 8395647 140733447482400 140737233478040 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 16793 15690 441 1026 0 15763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67172

[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11977
/proc/meminfo: memFree=26217896/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=102968 CPUtime=0.69 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 25517 0 0 0 67 2 0 0 20 0 1 0 336720608 105439232 24280 33554432000 4194304 8395647 140733447482400 140733447478200 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 25742 24280 569 1026 0 24712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102968

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12016
/proc/meminfo: memFree=26155164/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=108780 CPUtime=1.48 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 27075 0 0 0 146 2 0 0 20 0 1 0 336720608 111390720 25755 33554432000 4194304 8395647 140733447482400 140733447478200 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 27195 25755 585 1026 0 26165 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 108780

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12016
/proc/meminfo: memFree=26124768/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=122784 CPUtime=3.09 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 30130 0 0 0 306 3 0 0 20 0 1 0 336720608 125730816 28753 33554432000 4194304 8395647 140733447482400 140733447477640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 30696 28753 608 1026 0 29666 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122784

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12016
/proc/meminfo: memFree=26105556/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=124556 CPUtime=6.29 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 30684 0 0 0 625 4 0 0 20 0 1 0 336720608 127545344 29307 33554432000 4194304 8395647 140733447482400 140733447477592 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 31139 29307 608 1026 0 30109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124556

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12054
/proc/meminfo: memFree=26128148/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=127108 CPUtime=12.69 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 31316 0 0 0 1263 6 0 0 20 0 1 0 336720608 130158592 29939 33554432000 4194304 8395647 140733447482400 140733447477528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 31777 29939 609 1026 0 30747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127108

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12054
/proc/meminfo: memFree=26114036/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=133296 CPUtime=25.48 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 33083 0 0 0 2538 10 0 0 20 0 1 0 336720608 136495104 31955 33554432000 4194304 8395647 140733447482400 140733447477640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 33324 31955 609 1026 0 32294 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 133296

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25830332/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=51.06 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41330 0 0 0 5087 19 0 0 20 0 1 0 336720608 140169216 33488 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33488 633 1026 0 33191 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 136884

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

[startup+63.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25811904/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=63.85 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41335 0 0 0 6364 21 0 0 20 0 1 0 336720608 140169216 33494 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33494 633 1026 0 33191 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 136884

[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25811704/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=76.65 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41338 0 0 0 7641 24 0 0 20 0 1 0 336720608 140169216 33503 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33503 633 1026 0 33191 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 136884

[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25810760/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=83.04 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41340 0 0 0 8279 25 0 0 20 0 1 0 336720608 140169216 33669 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33669 633 1026 0 33191 0
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (KiB) 136884

[startup+84.7067 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25810884/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=84.66 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41340 0 0 0 8440 26 0 0 20 0 1 0 336720608 140169216 33669 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33669 633 1026 0 33191 0
Current children cumulated CPU time (s) 84.66
Current children cumulated vsize (KiB) 136884

[startup+86.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25811008/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=86.24 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41340 0 0 0 8598 26 0 0 20 0 1 0 336720608 140169216 33669 33554432000 4194304 8395647 140733447482400 140733447477272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33669 633 1026 0 33191 0
Current children cumulated CPU time (s) 86.24
Current children cumulated vsize (KiB) 136884

[startup+87.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25810140/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=87.04 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41340 0 0 0 8678 26 0 0 20 0 1 0 336720608 140169216 33669 33554432000 4194304 8395647 140733447482400 140733447477528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33669 633 1026 0 33191 0
Current children cumulated CPU time (s) 87.04
Current children cumulated vsize (KiB) 136884

[startup+87.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12092
/proc/meminfo: memFree=25810140/32873648 swapFree=6864/6864
[pid=11977] ppid=11975 vsize=136884 CPUtime=87.45 cores=1,3,5,7
/proc/11977/stat : 11977 (pbscip.linux.x8) R 11975 11977 7869 0 -1 4202496 41340 0 0 0 8718 27 0 0 20 0 1 0 336720608 140169216 33669 33554432000 4194304 8395647 140733447482400 140733447477528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11977/statm: 34221 33669 633 1026 0 33191 0
Current children cumulated CPU time (s) 87.45
Current children cumulated vsize (KiB) 136884

Child status: 0
Real time (s): 87.598
CPU time (s): 87.5537
CPU user time (s): 87.2767
CPU system time (s): 0.276957
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 167060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.2767
system time used= 0.276957
maximum resident set size= 162432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41346
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= 44
involuntary context switches= 89

runsolver used 0.145977 second user time and 0.334949 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-03 08:45:52
IDJOB=3735794
IDBENCH=24995
IDSOLVER=2326
FILE ID=node125/3735794-1338705952
RUNJOBID= node125-1338678622-7889
PBS_JOBID= 14636688
Free space on /tmp= 70432 MiB

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

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1085518743

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26218432 kB
Buffers:          606476 kB
Cached:          5043248 kB
SwapCached:         2308 kB
Active:          2580748 kB
Inactive:        3163308 kB
Active(anon):      85760 kB
Inactive(anon):     9240 kB
Active(file):    2494988 kB
Inactive(file):  3154068 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:             22232 kB
Writeback:             0 kB
AnonPages:         97776 kB
Mapped:            16900 kB
Shmem:                96 kB
Slab:             767144 kB
SReclaimable:     210904 kB
SUnreclaim:       556240 kB
KernelStack:        1448 kB
PageTables:         3800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     210864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70416 MiB
End job on node125 at 2012-06-03 08:47:19