Trace number 3451014

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4OPT-10859 865.056 865.031

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark816.194
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	-10859

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.01 2/521 21374
/proc/meminfo: memFree=21488940/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=15952 CPUtime=0 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 2981 0 0 0 0 0 0 0 24 0 1 0 800027513 16334848 2935 33554432000 4194304 9163163 140736919231184 18446744073709551615 7962227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21374/statm: 3988 2935 395 1214 0 2770 0

[startup+0.0798941 s]
/proc/loadavg: 2.08 2.05 2.01 2/521 21374
/proc/meminfo: memFree=21488940/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=24256 CPUtime=0.06 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 5031 0 0 0 6 0 0 0 25 0 1 0 800027513 24838144 4985 33554432000 4194304 9163163 140736919231184 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21374/statm: 6064 4985 395 1214 0 4846 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24256

[startup+0.100886 s]
/proc/loadavg: 2.08 2.05 2.01 2/521 21374
/proc/meminfo: memFree=21488940/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=26520 CPUtime=0.09 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 5610 0 0 0 9 0 0 0 25 0 1 0 800027513 27156480 5564 33554432000 4194304 9163163 140736919231184 18446744073709551615 6165676 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21374/statm: 6630 5564 395 1214 0 5412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26520

[startup+0.300844 s]
/proc/loadavg: 2.08 2.05 2.01 2/521 21374
/proc/meminfo: memFree=21488940/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=70680 CPUtime=0.29 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 16873 0 0 0 27 2 0 0 25 0 1 0 800027513 72376320 16216 33554432000 4194304 9163163 140736919231184 18446744073709551615 4518864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 17670 16216 513 1214 0 16452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70680

[startup+0.700773 s]
/proc/loadavg: 2.08 2.05 2.01 2/521 21374
/proc/meminfo: memFree=21488940/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=82192 CPUtime=0.69 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 20059 0 0 0 67 2 0 0 25 0 1 0 800027513 84164608 19249 33554432000 4194304 9163163 140736919231184 18446744073709551615 5459044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 20548 19249 563 1214 0 19330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82192

[startup+1.50062 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 21375
/proc/meminfo: memFree=21410564/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=86532 CPUtime=1.49 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 21093 0 0 0 147 2 0 0 25 0 1 0 800027513 88608768 20283 33554432000 4194304 9163163 140736919231184 18446744073709551615 4793058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 21633 20283 563 1214 0 20415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86532

[startup+3.10033 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 21375
/proc/meminfo: memFree=21403008/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=98724 CPUtime=3.09 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 24134 0 0 0 306 3 0 0 25 0 1 0 800027513 101093376 23324 33554432000 4194304 9163163 140736919231184 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 24681 23324 563 1214 0 23463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98724

[startup+6.30074 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 21375
/proc/meminfo: memFree=21375980/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=121116 CPUtime=6.29 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 29516 0 0 0 626 3 0 0 25 0 1 0 800027513 124022784 28706 33554432000 4194304 9163163 140736919231184 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 30279 28706 567 1214 0 29061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121116

[startup+12.7006 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 21375
/proc/meminfo: memFree=21338600/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=151540 CPUtime=12.69 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 37146 0 0 0 1265 4 0 0 25 0 1 0 800027513 155176960 36336 33554432000 4194304 9163163 140736919231184 18446744073709551615 5176482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 37885 36336 567 1214 0 36667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151540

[startup+25.5012 s]
/proc/loadavg: 2.06 2.04 2.01 3/522 21375
/proc/meminfo: memFree=21314588/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=177412 CPUtime=25.49 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 43470 0 0 0 2544 5 0 0 25 0 1 0 800027513 181669888 42660 33554432000 4194304 9163163 140736919231184 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 44353 42660 567 1214 0 43135 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 177412

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 21376
/proc/meminfo: memFree=21272128/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=222168 CPUtime=51.09 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 54308 0 0 0 5092 17 0 0 25 0 1 0 800027513 227500032 52656 33554432000 4194304 9163163 140736919231184 18446744073709551615 7312167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 55542 52656 710 1214 0 54324 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 222168

[startup+102.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/522 21377
/proc/meminfo: memFree=21269916/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=222168 CPUtime=102.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 54308 0 0 0 10196 35 0 0 25 0 1 0 800027513 227500032 52656 33554432000 4194304 9163163 140736919231184 18446744073709551615 7347617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 55542 52656 710 1214 0 54324 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 222168

[startup+162.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/522 21379
/proc/meminfo: memFree=21264548/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=219076 CPUtime=162.3 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 55819 0 0 0 16163 67 0 0 25 0 1 0 800027513 224333824 52983 33554432000 4194304 9163163 140736919231184 18446744073709551615 6954448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 54769 52983 680 1214 0 53551 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 219076

[startup+222.301 s]
/proc/loadavg: 2.08 2.07 2.01 3/522 21381
/proc/meminfo: memFree=21262408/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=221084 CPUtime=222.29 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 56336 0 0 0 22132 97 0 0 25 0 1 0 800027513 226390016 53500 33554432000 4194304 9163163 140736919231184 18446744073709551615 7312187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 55271 53500 680 1214 0 54053 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 221084

[startup+282.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/522 21382
/proc/meminfo: memFree=21210160/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=272388 CPUtime=282.3 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 80885 0 0 0 28093 137 0 0 25 0 1 0 800027513 278925312 66487 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 68097 66487 736 1214 0 66879 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 272388

[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/522 21384
/proc/meminfo: memFree=21209376/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=274076 CPUtime=342.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 81282 0 0 0 34053 178 0 0 25 0 1 0 800027513 280653824 66884 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 68519 66884 742 1214 0 67301 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 274076

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 21385
/proc/meminfo: memFree=21207124/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=275644 CPUtime=402.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 81675 0 0 0 40005 226 0 0 25 0 1 0 800027513 282259456 67277 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 68911 67277 742 1214 0 67693 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 275644

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 21387
/proc/meminfo: memFree=21207092/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=275644 CPUtime=462.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 81682 0 0 0 45965 266 0 0 25 0 1 0 800027513 282259456 67284 33554432000 4194304 9163163 140736919231184 18446744073709551615 7300623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 68911 67284 743 1214 0 67693 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 275644

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 21389
/proc/meminfo: memFree=21202716/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=279580 CPUtime=522.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 82670 0 0 0 51932 299 0 0 25 0 1 0 800027513 286289920 68272 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 69895 68272 743 1214 0 68677 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 279580

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 21390
/proc/meminfo: memFree=21199092/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=282472 CPUtime=582.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 83385 0 0 0 57897 334 0 0 25 0 1 0 800027513 289251328 68987 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 70618 68987 743 1214 0 69400 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 282472

[startup+642.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/522 21392
/proc/meminfo: memFree=21195208/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=288320 CPUtime=642.32 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 84618 0 0 0 63857 375 0 0 25 0 1 0 800027513 295239680 70220 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 72080 70220 744 1214 0 70862 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 288320

[startup+702.301 s]
/proc/loadavg: 2.23 2.09 2.02 3/522 21393
/proc/meminfo: memFree=21189452/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=294752 CPUtime=702.31 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 110741 0 0 0 69818 413 0 0 25 0 1 0 800027513 301826048 71791 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 73688 71791 744 1214 0 72470 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 294752

[startup+762.32 s]
/proc/loadavg: 2.08 2.07 2.02 3/522 21395
/proc/meminfo: memFree=21183468/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=299020 CPUtime=762.34 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 112085 0 0 0 75780 454 0 0 25 0 1 0 800027513 306196480 73135 33554432000 4194304 9163163 140736919231184 18446744073709551615 7318919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 74755 73135 744 1214 0 73537 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 299020

[startup+822.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/522 21397
/proc/meminfo: memFree=21177980/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=304328 CPUtime=822.32 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 125791 0 0 0 81737 495 0 0 25 0 1 0 800027513 311631872 74461 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 76082 74461 744 1214 0 74864 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 304328

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

[startup+844.701 s]
/proc/loadavg: 2.02 2.05 2.01 3/522 21397
/proc/meminfo: memFree=21175600/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=306280 CPUtime=844.73 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126270 0 0 0 83961 512 0 0 25 0 1 0 800027513 313630720 74940 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 76570 74940 744 1214 0 75352 0
Current children cumulated CPU time (s) 844.73
Current children cumulated vsize (KiB) 306280

[startup+857.501 s]
/proc/loadavg: 2.02 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21173988/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=307064 CPUtime=857.52 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126465 0 0 0 85231 521 0 0 25 0 1 0 800027513 314433536 75135 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 76766 75135 744 1214 0 75548 0
Current children cumulated CPU time (s) 857.52
Current children cumulated vsize (KiB) 307064

[startup+860.701 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21174352/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=308824 CPUtime=860.72 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126884 0 0 0 85548 524 0 0 25 0 1 0 800027513 316235776 75554 33554432000 4194304 9163163 140736919231184 18446744073709551615 7217001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 77206 75554 745 1214 0 75988 0
Current children cumulated CPU time (s) 860.72
Current children cumulated vsize (KiB) 308824

[startup+862.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21172736/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=308824 CPUtime=862.33 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126884 0 0 0 85708 525 0 0 25 0 1 0 800027513 316235776 75554 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 77206 75554 745 1214 0 75988 0
Current children cumulated CPU time (s) 862.33
Current children cumulated vsize (KiB) 308824

[startup+863.9 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21172488/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=308824 CPUtime=863.92 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126907 0 0 0 85865 527 0 0 25 0 1 0 800027513 316235776 75577 33554432000 4194304 9163163 140736919231184 18446744073709551615 7312224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 77206 75577 745 1214 0 75988 0
Current children cumulated CPU time (s) 863.92
Current children cumulated vsize (KiB) 308824

[startup+864.7 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21172240/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=308824 CPUtime=864.72 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126907 0 0 0 85945 527 0 0 25 0 1 0 800027513 316235776 75577 33554432000 4194304 9163163 140736919231184 18446744073709551615 7312167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 77206 75577 745 1214 0 75988 0
Current children cumulated CPU time (s) 864.72
Current children cumulated vsize (KiB) 308824

[startup+864.9 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21172240/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=308824 CPUtime=864.91 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126907 0 0 0 85964 527 0 0 25 0 1 0 800027513 316235776 75577 33554432000 4194304 9163163 140736919231184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21374/statm: 77206 75577 745 1214 0 75988 0
Current children cumulated CPU time (s) 864.91
Current children cumulated vsize (KiB) 308824

[startup+865.001 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 21398
/proc/meminfo: memFree=21172240/32951124 swapFree=58800704/67111528
[pid=21374] ppid=21372 vsize=296980 CPUtime=865.01 cores=1,3,5,7
/proc/21374/stat : 21374 (scip-2.0.1.4b.l) R 21372 21374 18505 0 -1 4202496 126911 0 0 0 85974 527 0 0 25 0 1 0 800027513 304107520 72781 33554432000 4194304 9163163 140736919231184 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21374/statm: 74245 72781 749 1214 0 73027 0
Current children cumulated CPU time (s) 865.01
Current children cumulated vsize (KiB) 296980

Child status: 0
Real time (s): 865.031
CPU time (s): 865.056
CPU user time (s): 859.763
CPU system time (s): 5.29219
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 341132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.763
system time used= 5.29219
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126913
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= 12
involuntary context switches= 10003

runsolver used 4.22236 second user time and 10.6634 second system time

The end

Launcher Data

Begin job on node142 at 2011-06-03 06:42:00
IDJOB=3451014
IDBENCH=1875
IDSOLVER=1948
FILE ID=node142/3451014-1307076120
RUNJOBID= node142-1307068304-19570
PBS_JOBID= 13497844
Free space on /tmp= 73908 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451014-1307076120/watcher-3451014-1307076120 -o /tmp/evaluation-result-3451014-1307076120/solver-3451014-1307076120 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451014-1307076120.opb -t 1800 -m 15500

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1634081935

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21489220 kB
Buffers:        215948 kB
Cached:         377032 kB
SwapCached:      11452 kB
Active:        9458968 kB
Inactive:      1742920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21489220 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:           13524 kB
Writeback:           0 kB
AnonPages:    10605912 kB
Mapped:          34636 kB
Slab:           115300 kB
PageTables:      75376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145602120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73896 MiB
End job on node142 at 2011-06-03 06:56:26