Trace number 352318

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, and are wall clock time (not CPU 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
bsolo 3.0.16SAT (MO)5328 969.491 969.809

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM751aa23355f7a016eeb9009a33a863ac
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark436
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 436
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
Number of bits of the biggest sum of numbers19
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 (download as text)

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

Verifier Data (download as text)

OK	5328

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node4/watcher-352318-1176629008 -o ROOT/results/node4/solver-352318-1176629008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352318-1176629008/instance-352318-1176629008.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8033
/proc/meminfo: memFree=1709528/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=28568 CPUtime=0
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 138938607 29253632 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 7142 336 281 324 0 2003 0

[startup+0.095483 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8033
/proc/meminfo: memFree=1709528/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=23132 CPUtime=0.08
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 1074 0 0 0 8 0 0 0 18 0 1 0 138938607 23687168 1042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 5783 1042 408 324 0 644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23132

[startup+0.101482 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8033
/proc/meminfo: memFree=1709528/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=23272 CPUtime=0.09
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 1114 0 0 0 9 0 0 0 18 0 1 0 138938607 23830528 1082 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 5818 1082 416 324 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23272

[startup+0.301502 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8033
/proc/meminfo: memFree=1709528/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=27536 CPUtime=0.29
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 2464 0 0 0 28 1 0 0 19 0 1 0 138938607 28196864 2432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 6884 2432 693 324 0 1745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27536

[startup+0.70154 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8033
/proc/meminfo: memFree=1709528/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=35924 CPUtime=0.69
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 5124 0 0 0 66 3 0 0 23 0 1 0 138938607 36786176 5092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 8981 5092 1240 324 0 3842 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35924

[startup+1.50162 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 8034
/proc/meminfo: memFree=1687632/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=52972 CPUtime=1.49
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 10469 0 0 0 144 5 0 0 25 0 1 0 138938607 54243328 10437 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 13243 10437 2336 324 0 8104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52972

[startup+3.10277 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 8034
/proc/meminfo: memFree=1663952/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=73216 CPUtime=3.09
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 21893 0 0 0 299 10 0 0 25 0 1 0 138938607 74973184 17653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134548558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 18304 17654 300 324 0 17373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73216

[startup+6.30108 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 8034
/proc/meminfo: memFree=1590672/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=122228 CPUtime=6.28
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 34154 0 0 0 610 18 0 0 25 0 1 0 138938607 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 122228

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 8034
/proc/meminfo: memFree=1590800/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=122228 CPUtime=12.69
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 34154 0 0 0 1235 34 0 0 25 0 1 0 138938607 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122228

[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 8034
/proc/meminfo: memFree=1590928/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=122228 CPUtime=25.48
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 34154 0 0 0 2486 62 0 0 25 0 1 0 138938607 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1014 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 8034
/proc/meminfo: memFree=1526288/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=188148 CPUtime=51.04
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 56054 0 0 0 5017 87 0 0 25 0 1 0 138938607 192663552 46398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 47037 46398 311 324 0 46106 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 188148

[startup+102.305 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 8034
/proc/meminfo: memFree=1406992/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=306068 CPUtime=102.23
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 85558 0 0 0 10117 106 0 0 25 0 1 0 138938607 313413632 75902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 76517 75902 311 324 0 75586 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 306068

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8034
/proc/meminfo: memFree=1291728/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=422200 CPUtime=162.22
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 114581 0 0 0 16098 124 0 0 25 0 1 0 138938607 432332800 104925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 105550 104925 311 324 0 104619 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 422200

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8034
/proc/meminfo: memFree=1166800/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=546292 CPUtime=222.21
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 145605 0 0 0 22079 142 0 0 25 0 1 0 138938607 559403008 135949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 136573 135949 311 324 0 135642 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 546292

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8034
/proc/meminfo: memFree=1048400/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=664832 CPUtime=282.19
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 175237 0 0 0 28058 161 0 0 25 0 1 0 138938607 680787968 165581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 166208 165581 311 324 0 165277 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 664832

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8034
/proc/meminfo: memFree=920976/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=791772 CPUtime=342.18
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 206960 0 0 0 34039 179 0 0 25 0 1 0 138938607 810774528 197304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 197943 197304 311 324 0 197012 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 791772

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8034
/proc/meminfo: memFree=793424/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=919620 CPUtime=402.16
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 238938 0 0 0 40023 193 0 0 25 0 1 0 138938607 941690880 229282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11030273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 229905 229282 311 324 0 228974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 919620

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=685008/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1026952 CPUtime=462.14
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 265764 0 0 0 46010 204 0 0 25 0 1 0 138938607 1051598848 256108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 256738 256108 311 324 0 255807 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1026952

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=587280/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1125268 CPUtime=522.13
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 290359 0 0 0 51997 216 0 0 25 0 1 0 138938607 1152274432 280703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 281317 280703 311 324 0 280386 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1125268

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=503568/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1208568 CPUtime=582.11
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 311172 0 0 0 57985 226 0 0 25 0 1 0 138938607 1237573632 301516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 302142 301516 311 324 0 301211 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1208568

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=403536/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1307124 CPUtime=642.1
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 335801 0 0 0 63971 239 0 0 25 0 1 0 138938607 1338494976 326145 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 326781 326145 311 324 0 325850 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1307124

[startup+702.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=331152/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1379972 CPUtime=702.08
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 354014 0 0 0 69959 249 0 0 25 0 1 0 138938607 1413091328 344358 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 344993 344358 311 324 0 344062 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 1379972

[startup+762.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=271760/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1438724 CPUtime=762.08
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 368697 0 0 0 75950 258 0 0 25 0 1 0 138938607 1473253376 359041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 359681 359041 311 324 0 358750 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1438724

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=214416/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1498608 CPUtime=822.05
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 383681 0 0 0 81937 268 0 0 25 0 1 0 138938607 1534574592 374025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11022068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 374652 374025 311 324 0 373721 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1498608

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=49296/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1661008 CPUtime=882.03
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 424289 0 0 0 87920 283 0 0 25 0 1 0 138938607 1700872192 414633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 415252 414633 311 324 0 414321 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1661008

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=16208/2055920 swapFree=4154132/4192956
[pid=8033] ppid=8031 vsize=1789300 CPUtime=941.98
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 456350 0 0 0 93898 300 0 0 25 0 1 0 138938607 1832243200 446694 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 447325 446694 311 324 0 446394 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1789300



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+969.502 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=15632/2055920 swapFree=4153972/4192956
[pid=8033] ppid=8031 vsize=1843328 CPUtime=969.18
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194304 469849 0 0 0 96613 305 0 0 25 0 1 0 138938607 1887567872 460193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 460832 460193 311 324 0 459901 0
Current children cumulated CPU time (s) 969.18
Current children cumulated vsize (KiB) 1843328

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+969.803 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 8036
/proc/meminfo: memFree=15632/2055920 swapFree=4153972/4192956
[pid=8033] ppid=8031 vsize=0 CPUtime=969.48
/proc/8033/stat : 8033 (bsolo3.0.16) R 8031 8033 4029 0 -1 4194308 469850 0 0 0 96614 334 0 0 25 0 1 0 138938607 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8033/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 969.48
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 969.809
CPU time (s): 969.491
CPU user time (s): 966.14
CPU system time (s): 3.35049
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1843328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 966.14
system time used= 3.35049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469850
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= 14
involuntary context switches= 19714

runsolver used 1.03684 second user time and 2.22966 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Apr 15 09:23:29 UTC 2007

IDJOB= 352318
IDBENCH= 1966
IDSOLVER= 163
FILE ID= node4/352318-1176629008

PBS_JOBID= 4556841

Free space on /tmp= 66539 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352318-1176629008/instance-352318-1176629008.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-352318-1176629008 -o ROOT/results/node4/solver-352318-1176629008 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352318-1176629008/instance-352318-1176629008.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  751aa23355f7a016eeb9009a33a863ac

RANDOM SEED= 450581255

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1709936 kB
Buffers:         49156 kB
Cached:         207472 kB
SwapCached:       2180 kB
Active:          96856 kB
Inactive:       189080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1709936 kB
SwapTotal:     4192956 kB
SwapFree:      4154132 kB
Dirty:           21212 kB
Writeback:           0 kB
Mapped:          32896 kB
Slab:            45500 kB
Committed_AS:  4645880 kB
PageTables:       1820 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66539 MiB

End job on node4 on Sun Apr 15 09:39:40 UTC 2007