Trace number 352331

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (MO)5787 1205.5 1207.91

General information on the benchmark

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

Verifier Data (download as text)

OK	5787

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-352331-1176629348 -o ROOT/results/node69/solver-352331-1176629348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352331-1176629348/instance-352331-1176629348.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: 1.08 1.02 1.01 3/64 4091
/proc/meminfo: memFree=1764196/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=19548 CPUtime=0
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 317 0 3 0 0 0 0 0 18 0 1 0 138924285 20017152 288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12353360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 4887 288 257 324 0 3956 0

[startup+0.0972489 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 4091
/proc/meminfo: memFree=1764196/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=22996 CPUtime=0.08
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 1034 0 3 0 8 0 0 0 18 0 1 0 138924285 23547904 1005 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 5749 1005 400 324 0 610 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22996

[startup+0.101248 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 4091
/proc/meminfo: memFree=1764196/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=23132 CPUtime=0.08
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 1061 0 3 0 8 0 0 0 18 0 1 0 138924285 23687168 1032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 5783 1032 406 324 0 644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23132

[startup+0.301281 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 4091
/proc/meminfo: memFree=1764196/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=27396 CPUtime=0.29
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 2406 0 3 0 28 1 0 0 19 0 1 0 138924285 28053504 2377 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 6849 2377 682 324 0 1710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.701345 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 4091
/proc/meminfo: memFree=1764196/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=35784 CPUtime=0.69
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 5057 0 3 0 67 2 0 0 22 0 1 0 138924285 36642816 5028 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 8946 5028 1227 324 0 3807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35784

[startup+1.50147 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 4092
/proc/meminfo: memFree=1741916/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=52696 CPUtime=1.48
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 10377 0 3 0 144 4 0 0 25 0 1 0 138924285 53960704 10348 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 13174 10349 2318 324 0 8035 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52696

[startup+3.10175 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 4092
/proc/meminfo: memFree=1718300/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=71632 CPUtime=3.08
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 21476 0 3 0 299 9 0 0 25 0 1 0 138924285 73351168 17239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387909 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4091/statm: 17908 17239 300 324 0 16977 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71632

[startup+6.30125 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 4092
/proc/meminfo: memFree=1644764/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=122228 CPUtime=6.26
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 34151 0 3 0 608 18 0 0 25 0 1 0 138924285 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 122228

[startup+12.7013 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 4092
/proc/meminfo: memFree=1644764/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=122228 CPUtime=12.67
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 34151 0 3 0 1235 32 0 0 25 0 1 0 138924285 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 122228

[startup+25.5014 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 4092
/proc/meminfo: memFree=1644892/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=122228 CPUtime=25.45
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 34151 0 3 0 2484 61 0 0 25 0 1 0 138924285 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 122228

[startup+51.1015 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4092
/proc/meminfo: memFree=1569692/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=198680 CPUtime=51.05
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 58706 0 3 0 5013 92 0 0 25 0 1 0 138924285 203448320 49053 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 49670 49053 311 324 0 48739 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 198680

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4092
/proc/meminfo: memFree=1457308/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=309744 CPUtime=102.24
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 86471 0 3 0 10111 113 0 0 25 0 1 0 138924285 317177856 76818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 77436 76818 311 324 0 76505 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 309744

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1350748/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=417904 CPUtime=162.21
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 113491 0 3 0 16090 131 0 0 25 0 1 0 138924285 427933696 103838 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 104476 103838 311 324 0 103545 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 417904

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1254044/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=512884 CPUtime=222.19
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 137231 0 3 0 22071 148 0 0 25 0 1 0 138924285 525193216 127578 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 128221 127578 311 324 0 127290 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 512884

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1163932/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=603348 CPUtime=282.17
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 159876 0 3 0 28054 163 0 0 25 0 1 0 138924285 617828352 150223 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 150837 150223 311 324 0 149906 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 603348

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1059164/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=707472 CPUtime=342.15
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 185892 0 3 0 34035 180 0 0 25 0 1 0 138924285 724451328 176239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 176868 176239 311 324 0 175937 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 707472

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=963996/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=803312 CPUtime=402.14
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 209844 0 3 0 40019 195 0 0 25 0 1 0 138924285 822591488 200191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 200828 200191 311 324 0 199897 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 803312

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=878556/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=887872 CPUtime=462.12
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 230990 0 3 0 46004 208 0 0 25 0 1 0 138924285 909180928 221337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 221968 221337 311 324 0 221037 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 887872

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=805084/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=961588 CPUtime=522.1
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 249436 0 3 0 51990 220 0 0 25 0 1 0 138924285 984666112 239783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 240397 239783 311 324 0 239466 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 961588

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=733340/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1033164 CPUtime=582.08
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 267303 0 3 0 57978 230 0 0 25 0 1 0 138924285 1057959936 257650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 258291 257650 311 324 0 257360 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1033164

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=620188/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1144984 CPUtime=642.07
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 295270 0 3 0 63964 243 0 0 25 0 1 0 138924285 1172463616 285617 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 286246 285617 311 324 0 285315 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1144984

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=516380/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1249528 CPUtime=702.04
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 321414 0 3 0 69948 256 0 0 25 0 1 0 138924285 1279516672 311761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 312382 311761 311 324 0 311451 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 1249528

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=419100/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1345636 CPUtime=762.03
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 345447 0 3 0 75936 267 0 0 25 0 1 0 138924285 1377931264 335794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 336409 335794 311 324 0 335478 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1345636

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=342428/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1423084 CPUtime=822.01
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 364788 0 3 0 81919 282 0 0 25 0 1 0 138924285 1457238016 355135 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 355771 355135 311 324 0 354840 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1423084

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=277148/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1487644 CPUtime=881.98
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 380927 0 3 0 87904 294 0 0 25 0 1 0 138924285 1523347456 371274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 371911 371274 311 324 0 370980 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1487644

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=213788/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1551316 CPUtime=941.97
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 396854 0 3 0 93889 308 0 0 25 0 1 0 138924285 1588547584 387201 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 387829 387201 311 324 0 386898 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1551316

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4094
/proc/meminfo: memFree=150108/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1614368 CPUtime=1001.95
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 412625 0 3 0 99873 322 0 0 25 0 1 0 138924285 1653112832 402972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 403592 402972 311 324 0 402661 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1614368

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4094
/proc/meminfo: memFree=90588/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1674340 CPUtime=1061.93
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 427625 0 3 0 105862 331 0 0 25 0 1 0 138924285 1714524160 417972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 418585 417972 311 324 0 417654 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1674340

[startup+1122.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 4094
/proc/meminfo: memFree=27548/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1736944 CPUtime=1121.91
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 443247 0 3 0 111850 341 0 0 25 0 1 0 138924285 1778630656 433594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 434236 433594 311 324 0 433305 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1736944

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 4094
/proc/meminfo: memFree=15900/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1810184 CPUtime=1181.89
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 461565 0 3 0 117837 352 0 0 25 0 1 0 138924285 1853628416 451912 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 452546 451912 311 324 0 451615 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1810184



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1205.61 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4094
/proc/meminfo: memFree=15324/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1843224 CPUtime=1205.2
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4194304 469831 0 3 0 120163 357 0 0 25 0 1 0 138924285 1887461376 460178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 460806 460178 311 324 0 459875 0
Current children cumulated CPU time (s) 1205.2
Current children cumulated vsize (KiB) 1843224

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1206.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4094
/proc/meminfo: memFree=15324/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1843224 CPUtime=1205.2
/proc/4091/stat : 4091 (bsolo3.0.16) S 4089 4091 3354 0 -1 4194304 469831 0 3 0 120163 357 0 0 25 0 1 0 138924285 1887461376 460178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 460806 460178 311 324 0 459875 0
Current children cumulated CPU time (s) 1205.2
Current children cumulated vsize (KiB) 1843224

[startup+1207 s]
/proc/loadavg: 1.01 1.01 1.00 1/66 4095
/proc/meminfo: memFree=15252/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1843224 CPUtime=1205.2
/proc/4091/stat : 4091 (bsolo3.0.16) S 4089 4091 3354 0 -1 4194304 469831 0 3 0 120163 357 0 0 25 0 1 0 138924285 1887461376 460178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 460806 460178 311 324 0 459875 0
Current children cumulated CPU time (s) 1205.2
Current children cumulated vsize (KiB) 1843224

[startup+1207.4 s]
/proc/loadavg: 1.01 1.01 1.00 1/66 4095
/proc/meminfo: memFree=15252/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=1843224 CPUtime=1205.2
/proc/4091/stat : 4091 (bsolo3.0.16) S 4089 4091 3354 0 -1 4194304 469831 0 3 0 120163 357 0 0 25 0 1 0 138924285 1887461376 460178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 460806 460178 311 324 0 459875 0
Current children cumulated CPU time (s) 1205.2
Current children cumulated vsize (KiB) 1843224

[startup+1207.81 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4095
/proc/meminfo: memFree=571292/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=0 CPUtime=1205.39
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4195332 469831 0 3 0 120163 376 0 0 18 0 1 0 138924285 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1205.39
Current children cumulated vsize (KiB) 0

[startup+1207.9 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4095
/proc/meminfo: memFree=571292/2055920 swapFree=4184060/4192956
[pid=4091] ppid=4089 vsize=0 CPUtime=1205.49
/proc/4091/stat : 4091 (bsolo3.0.16) R 4089 4091 3354 0 -1 4195332 469831 0 3 0 120163 386 0 0 18 0 1 0 138924285 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1205.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1207.91
CPU time (s): 1205.5
CPU user time (s): 1201.64
CPU system time (s): 3.86541
CPU usage (%): 99.8012
Max. virtual memory (cumulated for all children) (KiB): 1843224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1201.64
system time used= 3.86541
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469831
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 1145

runsolver used 0.833873 second user time and 2.53261 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sun Apr 15 09:29:09 UTC 2007

IDJOB= 352331
IDBENCH= 1967
IDSOLVER= 163
FILE ID= node69/352331-1176629348

PBS_JOBID= 4559809

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8eed52e8cea562b1b1ee5bae07565266

RANDOM SEED= 226704313

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
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:       1764668 kB
Buffers:         14836 kB
Cached:         130384 kB
SwapCached:       2884 kB
Active:          49284 kB
Inactive:       168368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764668 kB
SwapTotal:     4192956 kB
SwapFree:      4184060 kB
Dirty:           21224 kB
Writeback:           0 kB
Mapped:          16500 kB
Slab:            59612 kB
Committed_AS:   816648 kB
PageTables:       1472 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= 66544 MiB

End job on node69 on Sun Apr 15 09:49:17 UTC 2007