Trace number 352305

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)5626 1286.58 1287.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
MD5SUM3119db8d3d273f04fc4f3b1324a85224
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark452
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 452
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 493167
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 493167
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	5626

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-352305-1176628534 -o ROOT/results/node24/solver-352305-1176628534 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352305-1176628534/instance-352305-1176628534.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.00 1.00 1.00 3/77 25025
/proc/meminfo: memFree=1352520/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=28568 CPUtime=0
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 110771482 29253632 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 7142 336 281 324 0 2003 0

[startup+0.022287 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 25025
/proc/meminfo: memFree=1352520/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=29140 CPUtime=0.01
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 526 0 0 0 1 0 0 0 18 0 1 0 110771482 29839360 494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 7285 495 303 324 0 2146 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29140

[startup+0.101295 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 25025
/proc/meminfo: memFree=1352520/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=23136 CPUtime=0.09
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 1087 0 0 0 9 0 0 0 18 0 1 0 110771482 23691264 1056 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134527859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 5784 1056 411 324 0 645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23136

[startup+0.301317 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 25025
/proc/meminfo: memFree=1352520/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=27260 CPUtime=0.29
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 2389 0 0 0 28 1 0 0 19 0 1 0 110771482 27914240 2357 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 6815 2357 678 324 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27260

[startup+0.701359 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 25025
/proc/meminfo: memFree=1352520/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=35508 CPUtime=0.69
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 4956 0 0 0 67 2 0 0 23 0 1 0 110771482 36360192 4924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 8877 4924 1205 324 0 3738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35508

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1331392/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=51872 CPUtime=1.49
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 10114 0 0 0 145 4 0 0 25 0 1 0 110771482 53116928 10082 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 12968 10083 2264 324 0 7829 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51872

[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1308480/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=84736 CPUtime=3.09
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 20458 0 0 0 299 10 0 0 25 0 1 0 110771482 86769664 20426 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 21184 20427 4387 324 0 16045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84736

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1233664/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=122228 CPUtime=6.29
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 34154 0 0 0 608 21 0 0 25 0 1 0 110771482 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1233728/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=122228 CPUtime=12.69
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 34154 0 0 0 1237 32 0 0 25 0 1 0 110771482 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122228

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1233920/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=122228 CPUtime=25.48
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 34154 0 0 0 2488 60 0 0 25 0 1 0 110771482 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1158592/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=199124 CPUtime=51.07
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 58801 0 0 0 5016 91 0 0 25 0 1 0 110771482 203902976 49145 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 49781 49145 311 324 0 48850 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 199124

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=1035584/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=320380 CPUtime=102.27
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 89135 0 0 0 10114 113 0 0 25 0 1 0 110771482 328069120 79479 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 80095 79479 311 324 0 79164 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 320380

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=918528/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=438732 CPUtime=162.25
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 118711 0 0 0 16092 133 0 0 25 0 1 0 110771482 449261568 109055 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 109683 109055 311 324 0 108752 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 438732

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=809152/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=546560 CPUtime=222.23
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 145656 0 0 0 22070 153 0 0 25 0 1 0 110771482 559677440 136000 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 136640 136000 311 324 0 135709 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 546560

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=733504/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=622692 CPUtime=282.22
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 164705 0 0 0 28055 167 0 0 25 0 1 0 110771482 637636608 155049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 155673 155049 311 324 0 154742 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 622692

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=647360/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=708212 CPUtime=342.2
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 186091 0 0 0 34039 181 0 0 25 0 1 0 110771482 725209088 176435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 177053 176435 311 324 0 176122 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 708212

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=568704/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=787164 CPUtime=402.18
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 205817 0 0 0 40021 197 0 0 25 0 1 0 110771482 806055936 196161 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 196791 196161 311 324 0 195860 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 787164

[startup+462.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 25026
/proc/meminfo: memFree=475072/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=880424 CPUtime=462.17
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 229140 0 0 0 46004 213 0 0 25 0 1 0 110771482 901554176 219484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 220106 219484 311 324 0 219175 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 880424

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 25026
/proc/meminfo: memFree=397248/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=958512 CPUtime=522.16
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 248662 0 0 0 51990 226 0 0 25 0 1 0 110771482 981516288 239006 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 239628 239006 311 324 0 238697 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 958512

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=319616/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1035296 CPUtime=582.14
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 267862 0 0 0 57976 238 0 0 25 0 1 0 110771482 1060143104 258206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 258824 258206 311 324 0 257893 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1035296

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=246144/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1108072 CPUtime=642.13
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 286056 0 0 0 63960 253 0 0 25 0 1 0 110771482 1134665728 276400 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 277018 276400 311 324 0 276087 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1108072

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=170560/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1184136 CPUtime=702.11
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 305073 0 0 0 69942 269 0 0 25 0 1 0 110771482 1212555264 295417 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 296034 295417 311 324 0 295103 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1184136

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=100864/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1253256 CPUtime=762.1
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 322345 0 0 0 75928 282 0 0 25 0 1 0 110771482 1283334144 312689 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 313314 312689 311 324 0 312383 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1253256

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=33216/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1321488 CPUtime=822.08
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 339400 0 0 0 81913 295 0 0 25 0 1 0 110771482 1353203712 329744 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 330372 329744 311 324 0 329441 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1321488

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=15424/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1388148 CPUtime=882.06
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 356059 0 0 0 87900 306 0 0 25 0 1 0 110771482 1421463552 346403 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 347037 346403 311 324 0 346106 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1388148

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=14976/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1467028 CPUtime=942.05
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 375783 0 0 0 93887 318 0 0 25 0 1 0 110771482 1502236672 366127 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 366757 366127 311 324 0 365826 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1467028

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=15296/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1533136 CPUtime=1002.03
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 392316 0 0 0 99873 330 0 0 25 0 1 0 110771482 1569931264 382660 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 383284 382660 311 324 0 382353 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1533136

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=16064/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1601888 CPUtime=1062.01
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 409492 0 0 0 105861 340 0 0 25 0 1 0 110771482 1640333312 399836 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 400472 399836 311 324 0 399541 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1601888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=16192/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1670796 CPUtime=1122
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 426726 0 0 0 111850 350 0 0 25 0 1 0 110771482 1710895104 417070 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 417699 417070 311 324 0 416768 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1670796

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=15488/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1733328 CPUtime=1181.96
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 442371 0 0 0 117834 362 0 0 25 0 1 0 110771482 1774927872 432715 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25025/statm: 433332 432715 311 324 0 432401 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1733328

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=15872/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1794556 CPUtime=1241.77
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 457672 0 0 0 123804 373 0 0 25 0 1 0 110771482 1837625344 448016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 448639 448016 311 324 0 447708 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1794556



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1286.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25026
/proc/meminfo: memFree=14848/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=1843232 CPUtime=1286.25
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194304 469834 0 0 0 128243 382 0 0 25 0 1 0 110771482 1887469568 460178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 460808 460178 311 324 0 459877 0
Current children cumulated CPU time (s) 1286.25
Current children cumulated vsize (KiB) 1843232

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

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

[startup+1287.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 25027
/proc/meminfo: memFree=571896/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=0 CPUtime=1286.46
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194308 469835 0 0 0 128244 402 0 0 25 0 1 0 110771482 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1286.46
Current children cumulated vsize (KiB) 0

[startup+1287.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 25027
/proc/meminfo: memFree=571896/2055920 swapFree=4191880/4192956
[pid=25025] ppid=25023 vsize=0 CPUtime=1286.55
/proc/25025/stat : 25025 (bsolo3.0.16) R 25023 25025 24385 0 -1 4194308 469835 0 0 0 128244 411 0 0 25 0 1 0 110771482 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/25025/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1286.55
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1287.13
CPU time (s): 1286.58
CPU user time (s): 1282.44
CPU system time (s): 4.14337
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 1843232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1282.44
system time used= 4.14337
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 26739

runsolver used 1.40878 second user time and 3.2715 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sun Apr 15 09:15:35 UTC 2007

IDJOB= 352305
IDBENCH= 1965
IDSOLVER= 163
FILE ID= node24/352305-1176628534

PBS_JOBID= 4559805

Free space on /tmp= 66543 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_7.opb.PB06.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352305-1176628534/instance-352305-1176628534.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-352305-1176628534 -o ROOT/results/node24/solver-352305-1176628534 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352305-1176628534/instance-352305-1176628534.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3119db8d3d273f04fc4f3b1324a85224

RANDOM SEED= 818666147

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
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:       1352928 kB
Buffers:         80252 kB
Cached:         371408 kB
SwapCached:        268 kB
Active:         127396 kB
Inactive:       470076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1352928 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           21232 kB
Writeback:           0 kB
Mapped:          71972 kB
Slab:            91060 kB
Committed_AS:  1327236 kB
PageTables:       1776 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= 66543 MiB

End job on node24 on Sun Apr 15 09:37:04 UTC 2007