Trace number 3741632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT56137 125.005 125.025

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-air04.opb
MD5SUMbe0d50f47077f17e0f3c28ea78925374
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark71079
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8904
Total number of constraints823
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)823
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint368
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	56137

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24487
/proc/meminfo: memFree=26707076/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 1254 0 0 0 0 0 0 0 20 0 1 0 341950886 8105984 1200 33554432000 4194304 8395647 140733210110416 140736096489560 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 1979 1201 370 1026 0 949 0

[startup+0.0608711 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24487
/proc/meminfo: memFree=26707076/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=18688 CPUtime=0.05 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 3955 0 0 0 5 0 0 0 20 0 1 0 341950886 19136512 3895 33554432000 4194304 8395647 140733210110416 140736096489560 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 4672 3895 394 1026 0 3642 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18688

[startup+0.100332 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24487
/proc/meminfo: memFree=26707076/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=31128 CPUtime=0.09 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 7366 0 0 0 9 0 0 0 20 0 1 0 341950886 31875072 6952 33554432000 4194304 8395647 140733210110416 140736096489560 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 7782 6955 413 1026 0 6752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31128

[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24487
/proc/meminfo: memFree=26707076/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=50564 CPUtime=0.29 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 11938 0 0 0 28 1 0 0 20 0 1 0 341950886 51777536 11524 33554432000 4194304 8395647 140733210110416 140736096489560 6068920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 12641 11524 492 1026 0 11611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50564

[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24487
/proc/meminfo: memFree=26707076/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=52780 CPUtime=0.69 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 12493 0 0 0 68 1 0 0 20 0 1 0 341950886 54046720 12079 33554432000 4194304 8395647 140733210110416 140736096489560 7182273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 13195 12079 492 1026 0 12165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52780

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26659676/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=54696 CPUtime=1.49 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 12966 0 0 0 148 1 0 0 20 0 1 0 341950886 56008704 12552 33554432000 4194304 8395647 140733210110416 140733210106216 5608280 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 13674 12552 498 1026 0 12644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54696

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26655708/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=60676 CPUtime=3.09 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 14468 0 0 0 307 2 0 0 20 0 1 0 341950886 62132224 14054 33554432000 4194304 8395647 140733210110416 140733210106216 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 15169 14054 498 1026 0 14139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60676

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26646284/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=77176 CPUtime=6.29 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 18373 0 0 0 626 3 0 0 20 0 1 0 341950886 79028224 17908 33554432000 4194304 8395647 140733210110416 140733210105976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 19294 17908 571 1026 0 18264 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77176

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26635284/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=77724 CPUtime=12.69 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 18722 0 0 0 1264 5 0 0 20 0 1 0 341950886 79589376 18257 33554432000 4194304 8395647 140733210110416 140733210105240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 19431 18257 577 1026 0 18401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77724

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26607080/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=25.49 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 29687 0 0 0 2540 9 0 0 20 0 1 0 341950886 108683264 25480 33554432000 4194304 8395647 140733210110416 140733210105720 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25480 620 1026 0 25504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106136

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26607204/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=51.08 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 29690 0 0 0 5092 16 0 0 20 0 1 0 341950886 108683264 25483 33554432000 4194304 8395647 140733210110416 140733210105672 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25483 623 1026 0 25504 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106136

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26606708/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=102.28 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 29694 0 0 0 10197 31 0 0 20 0 1 0 341950886 108683264 25487 33554432000 4194304 8395647 140733210110416 140733210105624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25487 626 1026 0 25504 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 106136

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

[startup+102.407 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24488
/proc/meminfo: memFree=26606708/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=102.38 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 29694 0 0 0 10207 31 0 0 20 0 1 0 341950886 108683264 25487 33554432000 4194304 8395647 140733210110416 140733210105624 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25487 626 1026 0 25504 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 106136

[startup+115.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606708/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=115.17 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31334 0 0 0 11481 36 0 0 20 0 1 0 341950886 108683264 25490 33554432000 4194304 8395647 140733210110416 140733210105720 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25490 627 1026 0 25504 0
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (KiB) 106136

[startup+121.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606832/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=121.57 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31334 0 0 0 12119 38 0 0 20 0 1 0 341950886 108683264 25490 33554432000 4194304 8395647 140733210110416 140733210105976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25490 627 1026 0 25504 0
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (KiB) 106136

[startup+123.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606832/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=123.17 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31334 0 0 0 12279 38 0 0 20 0 1 0 341950886 108683264 25490 33554432000 4194304 8395647 140733210110416 140733210105288 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25490 627 1026 0 25504 0
Current children cumulated CPU time (s) 123.17
Current children cumulated vsize (KiB) 106136

[startup+124 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606832/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=123.97 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31334 0 0 0 12358 39 0 0 20 0 1 0 341950886 108683264 25490 33554432000 4194304 8395647 140733210110416 140733210105976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25490 627 1026 0 25504 0
Current children cumulated CPU time (s) 123.97
Current children cumulated vsize (KiB) 106136

[startup+124.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606832/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=124.77 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31334 0 0 0 12438 39 0 0 20 0 1 0 341950886 108683264 25490 33554432000 4194304 8395647 140733210110416 140733210105976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25490 627 1026 0 25504 0
Current children cumulated CPU time (s) 124.77
Current children cumulated vsize (KiB) 106136

[startup+125 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24489
/proc/meminfo: memFree=26606832/32873648 swapFree=7368/7368
[pid=24487] ppid=24485 vsize=106136 CPUtime=124.97 cores=0,2,4,6
/proc/24487/stat : 24487 (pbscip.linux.x8) R 24485 24487 23880 0 -1 4202496 31337 0 0 0 12458 39 0 0 20 0 1 0 341950886 108683264 25492 33554432000 4194304 8395647 140733210110416 140733210106104 6068889 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24487/statm: 26534 25492 629 1026 0 25504 0
Current children cumulated CPU time (s) 124.97
Current children cumulated vsize (KiB) 106136

Child status: 0
Real time (s): 125.025
CPU time (s): 125.005
CPU user time (s): 124.606
CPU system time (s): 0.398939
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 117568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.606
system time used= 0.398939
maximum resident set size= 111296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31340
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= 4
involuntary context switches= 155

runsolver used 0.186971 second user time and 0.501923 second system time

The end

Launcher Data

Begin job on node149 at 2012-06-03 23:17:48
IDJOB=3741632
IDBENCH=89888
IDSOLVER=2326
FILE ID=node149/3741632-1338758268
RUNJOBID= node149-1338749311-23896
PBS_JOBID= 14636798
Free space on /tmp= 71036 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-air04.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-3741632-1338758268/watcher-3741632-1338758268 -o /tmp/evaluation-result-3741632-1338758268/solver-3741632-1338758268 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741632-1338758268.opb -t 1800 -m 15500

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

MD5SUM BENCH= be0d50f47077f17e0f3c28ea78925374
RANDOM SEED=1119996750

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26707456 kB
Buffers:          777344 kB
Cached:          4137036 kB
SwapCached:         2468 kB
Active:          2383172 kB
Inactive:        2884904 kB
Active(anon):     336760 kB
Inactive(anon):     9368 kB
Active(file):    2046412 kB
Inactive(file):  2875536 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             11408 kB
Writeback:             0 kB
AnonPages:        348880 kB
Mapped:            16688 kB
Shmem:                96 kB
Slab:             758848 kB
SReclaimable:     202668 kB
SUnreclaim:       556180 kB
KernelStack:        1456 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     459996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71028 MiB
End job on node149 at 2012-06-03 23:19:53