Trace number 432871

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.17SAT (MO)5656 1070.78 1071.3

General information on the benchmark

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

Verifier Data (download as text)

OK	5656

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-432871-1177951404 -o ROOT/results/node42/solver-432871-1177951404 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432871-1177951404/instance-432871-1177951404.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.92 1.03 1.00 3/77 14367
/proc/meminfo: memFree=1812008/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=36380 CPUtime=0
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243052347 37253120 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 7142 331 279 324 0 2004 0

[startup+0.0226061 s]
/proc/loadavg: 0.92 1.03 1.00 3/77 14367
/proc/meminfo: memFree=1812008/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=29140 CPUtime=0.01
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 526 0 0 0 1 0 0 0 18 0 1 0 243052347 29839360 496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 7285 496 302 324 0 2147 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29140

[startup+0.10162 s]
/proc/loadavg: 0.92 1.03 1.00 3/77 14367
/proc/meminfo: memFree=1812008/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=23136 CPUtime=0.09
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 1092 0 0 0 9 0 0 0 18 0 1 0 243052347 23691264 1062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 5784 1062 410 324 0 646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23136

[startup+0.301658 s]
/proc/loadavg: 0.92 1.03 1.00 3/77 14367
/proc/meminfo: memFree=1812008/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=27396 CPUtime=0.29
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 2405 0 0 0 28 1 0 0 19 0 1 0 243052347 28053504 2375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 6849 2375 680 324 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.701734 s]
/proc/loadavg: 0.92 1.03 1.00 3/77 14367
/proc/meminfo: memFree=1812008/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=35512 CPUtime=0.69
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 4986 0 0 0 67 2 0 0 22 0 1 0 243052347 36364288 4956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 8878 4957 1210 324 0 3740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35512

[startup+1.50289 s]
/proc/loadavg: 0.93 1.03 1.00 2/78 14368
/proc/meminfo: memFree=1790880/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=52012 CPUtime=1.49
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 10170 0 0 0 146 3 0 0 25 0 1 0 243052347 53260288 10140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 13003 10140 2274 324 0 7865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52012

[startup+3.10119 s]
/proc/loadavg: 0.93 1.03 1.00 2/78 14368
/proc/meminfo: memFree=1767904/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=85012 CPUtime=3.09
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 20559 0 0 0 301 8 0 0 25 0 1 0 243052347 87052288 20529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 21253 20530 4406 324 0 16115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85012

[startup+6.3018 s]
/proc/loadavg: 0.93 1.03 1.00 2/78 14368
/proc/meminfo: memFree=1693408/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=122228 CPUtime=6.29
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 34150 0 0 0 612 17 0 0 25 0 1 0 243052347 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.702 s]
/proc/loadavg: 0.94 1.02 1.00 2/78 14368
/proc/meminfo: memFree=1693624/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=122228 CPUtime=12.68
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 34150 0 0 0 1237 31 0 0 25 0 1 0 243052347 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122228

[startup+25.5015 s]
/proc/loadavg: 0.95 1.02 1.00 2/78 14368
/proc/meminfo: memFree=1693752/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=122228 CPUtime=25.48
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 34150 0 0 0 2491 57 0 0 25 0 1 0 243052347 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1013 s]
/proc/loadavg: 0.96 1.02 1.00 2/78 14368
/proc/meminfo: memFree=1630200/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=187040 CPUtime=51.07
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 55778 0 0 0 5040 67 0 0 25 0 1 0 243052347 191528960 46124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 46760 46124 309 324 0 45830 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 187040

[startup+102.305 s]
/proc/loadavg: 0.98 1.02 1.00 2/78 14368
/proc/meminfo: memFree=1510776/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=305032 CPUtime=102.25
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 85284 0 0 0 10144 81 0 0 25 0 1 0 243052347 312352768 75630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 76258 75630 309 324 0 75328 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 305032

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 14368
/proc/meminfo: memFree=1388216/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=428312 CPUtime=162.24
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 116104 0 0 0 16128 96 0 0 25 0 1 0 243052347 438591488 106450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 107078 106450 309 324 0 106148 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 428312

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=1278072/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=537428 CPUtime=222.21
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 143381 0 0 0 22111 110 0 0 25 0 1 0 243052347 550326272 133727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 134357 133727 309 324 0 133427 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 537428

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=1184952/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=631292 CPUtime=282.18
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 166854 0 0 0 28096 122 0 0 25 0 1 0 243052347 646443008 157200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 157823 157200 309 324 0 156893 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 631292

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=1086328/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=728880 CPUtime=342.16
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 191253 0 0 0 34081 135 0 0 25 0 1 0 243052347 746373120 181599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 182220 181599 309 324 0 181290 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 728880

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=998840/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=817124 CPUtime=402.14
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 213311 0 0 0 40067 147 0 0 25 0 1 0 243052347 836734976 203657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 204281 203657 309 324 0 203351 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 817124

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=917688/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=897300 CPUtime=462.12
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 233341 0 0 0 46053 159 0 0 25 0 1 0 243052347 918835200 223687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 224325 223687 309 324 0 223395 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 897300

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=815608/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1001116 CPUtime=522.1
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 259310 0 0 0 52039 171 0 0 25 0 1 0 243052347 1025142784 249656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 250279 249656 309 324 0 249349 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1001116

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=686840/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1128212 CPUtime=582.08
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 291075 0 0 0 58023 185 0 0 25 0 1 0 243052347 1155289088 281421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 282053 281421 309 324 0 281123 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1128212

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=571640/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1242140 CPUtime=642.06
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 319572 0 0 0 64011 195 0 0 25 0 1 0 243052347 1271951360 309918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 310535 309918 309 324 0 309605 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 1242140

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=475832/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1338428 CPUtime=702.03
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 343644 0 0 0 69997 206 0 0 25 0 1 0 243052347 1370550272 333990 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 334607 333990 309 324 0 333677 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 1338428

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=377592/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1435792 CPUtime=762.02
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 367988 0 0 0 75986 216 0 0 25 0 1 0 243052347 1470251008 358334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 358948 358334 309 324 0 358018 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 1435792

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=292728/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1521300 CPUtime=821.99
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 389355 0 0 0 81974 225 0 0 25 0 1 0 243052347 1557811200 379701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 380325 379701 309 324 0 379395 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 1521300

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=208120/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1605136 CPUtime=881.97
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 410299 0 0 0 87962 235 0 0 25 0 1 0 243052347 1643659264 400645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 401284 400645 309 324 0 400354 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 1605136

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=125752/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1688100 CPUtime=941.94
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 431055 0 0 0 93950 244 0 0 25 0 1 0 243052347 1728614400 421401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 422025 421401 309 324 0 421095 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 1688100

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14368
/proc/meminfo: memFree=48312/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1764932 CPUtime=1001.92
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 450267 0 0 0 99936 256 0 0 25 0 1 0 243052347 1807290368 440613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 441233 440613 309 324 0 440303 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1764932

[startup+1062.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 14447
/proc/meminfo: memFree=15464/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1835324 CPUtime=1061.8
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 467856 0 0 0 105913 267 0 0 25 0 1 0 243052347 1879371776 458202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 458831 458202 309 324 0 457901 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 1835324



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1071 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 14463
/proc/meminfo: memFree=15984/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=1843220 CPUtime=1070.48
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194304 469822 0 0 0 106781 267 0 0 25 0 1 0 243052347 1887457280 460168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14367/statm: 460805 460168 309 324 0 459875 0
Current children cumulated CPU time (s) 1070.48
Current children cumulated vsize (KiB) 1843220

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

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

[startup+1071.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 14463
/proc/meminfo: memFree=15984/2055920 swapFree=4147488/4192956
[pid=14367] ppid=14365 vsize=0 CPUtime=1070.68
/proc/14367/stat : 14367 (bsolo3.0.17) R 14365 14367 13465 0 -1 4194308 469826 0 0 0 106782 286 0 0 25 0 1 0 243052347 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/14367/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1070.68
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1071.3
CPU time (s): 1070.78
CPU user time (s): 1067.82
CPU system time (s): 2.95755
CPU usage (%): 99.9514
Max. virtual memory (cumulated for all children) (KiB): 1843220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.82
system time used= 2.95755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469826
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= 2335

runsolver used 0.815875 second user time and 2.49262 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Apr 30 16:43:25 UTC 2007

IDJOB= 432871
IDBENCH= 1973
IDSOLVER= 199
FILE ID= node42/432871-1177951404

PBS_JOBID= 4727674

Free space on /tmp= 66542 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432871-1177951404/instance-432871-1177951404.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-432871-1177951404 -o ROOT/results/node42/solver-432871-1177951404 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432871-1177951404/instance-432871-1177951404.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  13c1b3915f4d316b882a7e551b1f0496

RANDOM SEED= 633498657

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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	: 5914.62
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.277
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:       1812608 kB
Buffers:         31564 kB
Cached:         116976 kB
SwapCached:      14592 kB
Active:          76124 kB
Inactive:        97788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812608 kB
SwapTotal:     4192956 kB
SwapFree:      4147488 kB
Dirty:           23496 kB
Writeback:           0 kB
Mapped:          32500 kB
Slab:            54816 kB
Committed_AS:  3720372 kB
PageTables:       1912 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= 66542 MiB

End job on node42 on Mon Apr 30 17:01:18 UTC 2007