Trace number 2666803

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT26 74.8736 74.9016

General information on the benchmark

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

Verifier Data

OK	26

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5146
/proc/meminfo: memFree=1833044/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=6696 CPUtime=0
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 986 0 0 0 0 0 0 0 18 0 1 0 37292556 6856704 906 1992294400 4194304 8223781 140735812953104 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5146/statm: 1674 907 343 984 0 687 0

[startup+0.09871 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5146
/proc/meminfo: memFree=1833044/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=17680 CPUtime=0.09
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 3741 0 0 0 8 1 0 0 21 0 1 0 37292556 18104320 3660 1992294400 4194304 8223781 140735812953104 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5146/statm: 4420 3660 365 984 0 3433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17680

[startup+0.10171 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5146
/proc/meminfo: memFree=1833044/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=17680 CPUtime=0.09
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 3741 0 0 0 8 1 0 0 21 0 1 0 37292556 18104320 3660 1992294400 4194304 8223781 140735812953104 18446744073709551615 5902323 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5146/statm: 4420 3660 365 984 0 3433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17680

[startup+0.301727 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5146
/proc/meminfo: memFree=1833044/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=21556 CPUtime=0.3
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 4721 0 0 0 28 2 0 0 21 0 1 0 37292556 22073344 4640 1992294400 4194304 8223781 140735812953104 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5146/statm: 5389 4640 365 984 0 4402 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 21556

[startup+0.701762 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5146
/proc/meminfo: memFree=1833044/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=52508 CPUtime=0.69
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 12397 0 0 0 64 5 0 0 22 0 1 0 37292556 53768192 11952 1992294400 4194304 8223781 140735812953104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 13127 11952 441 984 0 12140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52508

[startup+1.50083 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5147
/proc/meminfo: memFree=1779840/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=76996 CPUtime=1.49
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 21347 0 0 0 133 16 0 0 25 0 1 0 37292556 78843904 17993 1992294400 4194304 8223781 140735812953104 18446744073709551615 6571973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 19249 17993 537 984 0 18262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76996

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5147
/proc/meminfo: memFree=1756404/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=88420 CPUtime=3.09
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 24972 0 0 0 290 19 0 0 25 0 1 0 37292556 90542080 20810 1992294400 4194304 8223781 140735812953104 18446744073709551615 6036158 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 22105 20810 585 984 0 21118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88420

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5147
/proc/meminfo: memFree=1748220/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=92348 CPUtime=6.29
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 26498 0 0 0 607 22 0 0 25 0 1 0 37292556 94564352 21766 1992294400 4194304 8223781 140735812953104 18446744073709551615 4667257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 23087 21766 576 984 0 22100 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92348

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1743384/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=96832 CPUtime=12.69
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 28275 0 0 0 1240 29 0 0 25 0 1 0 37292556 99155968 22728 1992294400 4194304 8223781 140735812953104 18446744073709551615 7071001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24208 22728 575 984 0 23221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96832

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1741896/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99676 CPUtime=25.48
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 29869 0 0 0 2510 38 0 0 25 0 1 0 37292556 102068224 23384 1992294400 4194304 8223781 140735812953104 18446744073709551615 6059637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24919 23384 575 984 0 23932 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99676

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1735572/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=133436 CPUtime=51.07
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 44924 0 0 0 5047 60 0 0 25 0 1 0 37292556 136638464 31404 1992294400 4194304 8223781 140735812953104 18446744073709551615 4855327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 33359 31404 592 984 0 32372 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 133436

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

[startup+63.9014 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740408/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99368 CPUtime=63.87
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 49520 0 0 0 6313 74 0 0 25 0 1 0 37292556 101752832 23514 1992294400 4194304 8223781 140735812953104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24842 23514 604 984 0 23855 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 99368

[startup+70.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740408/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99368 CPUtime=70.28
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 50828 0 0 0 6949 79 0 0 25 0 1 0 37292556 101752832 23514 1992294400 4194304 8223781 140735812953104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24842 23514 604 984 0 23855 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 99368

[startup+73.5013 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740408/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99368 CPUtime=73.46
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 51205 0 0 0 7265 81 0 0 25 0 1 0 37292556 101752832 23514 1992294400 4194304 8223781 140735812953104 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24842 23514 604 984 0 23855 0
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (KiB) 99368

[startup+74.3014 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740408/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99368 CPUtime=74.27
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 51372 0 0 0 7345 82 0 0 25 0 1 0 37292556 101752832 23514 1992294400 4194304 8223781 140735812953104 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24842 23514 604 984 0 23855 0
Current children cumulated CPU time (s) 74.27
Current children cumulated vsize (KiB) 99368

[startup+74.7014 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740284/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=99368 CPUtime=74.67
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202496 51429 0 0 0 7385 82 0 0 25 0 1 0 37292556 101752832 23514 1992294400 4194304 8223781 140735812953104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5146/statm: 24842 23514 604 984 0 23855 0
Current children cumulated CPU time (s) 74.67
Current children cumulated vsize (KiB) 99368

[startup+74.9014 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5149
/proc/meminfo: memFree=1740284/2059040 swapFree=4140108/4192956
[pid=5146] ppid=5144 vsize=0 CPUtime=74.86
/proc/5146/stat : 5146 (pbscip.linux.x8) R 5144 5146 4047 0 -1 4202500 51435 0 0 0 7403 83 0 0 25 0 1 0 37292556 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 74.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 74.9016
CPU time (s): 74.8736
CPU user time (s): 74.0337
CPU system time (s): 0.839872
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 133436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.0337
system time used= 0.839872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51435
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= 1
involuntary context switches= 243

runsolver used 0.119981 second user time and 0.375942 second system time

The end

Launcher Data

Begin job on node025 at 2010-06-15 23:12:48
IDJOB=2666803
IDBENCH=24998
IDSOLVER=1169
FILE ID=node025/2666803-1276636368
PBS_JOBID= 11172360
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 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_022_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-2666803-1276636368/watcher-2666803-1276636368 -o /tmp/evaluation-result-2666803-1276636368/solver-2666803-1276636368 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666803-1276636368.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=631042299

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833448 kB
Buffers:         30920 kB
Cached:         106148 kB
SwapCached:       7172 kB
Active:          95200 kB
Inactive:        56380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833448 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            5192 kB
Writeback:           0 kB
AnonPages:       12048 kB
Mapped:          12988 kB
Slab:            52184 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node025 at 2010-06-15 23:14:03