Trace number 432863

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (MO)5626 1280.32 1280.71

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

Verifier Data (download as text)

OK	5626

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-432863-1177951174 -o ROOT/results/node44/solver-432863-1177951174 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432863-1177951174/instance-432863-1177951174.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9247
/proc/meminfo: memFree=1746184/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=28568 CPUtime=0
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243029226 29253632 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 7142 334 279 324 0 2004 0

[startup+0.0125401 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9247
/proc/meminfo: memFree=1746184/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=28856 CPUtime=0
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 243029226 29548544 408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 7214 409 290 324 0 2076 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28856

[startup+0.101549 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9247
/proc/meminfo: memFree=1746184/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=23136 CPUtime=0.09
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 1099 0 0 0 9 0 0 0 18 0 1 0 243029226 23691264 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 5784 1070 412 324 0 646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23136

[startup+0.301569 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9247
/proc/meminfo: memFree=1746184/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=27396 CPUtime=0.29
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 2424 0 0 0 28 1 0 0 19 0 1 0 243029226 28053504 2394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 6849 2394 684 324 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.70161 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 9247
/proc/meminfo: memFree=1746184/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=35648 CPUtime=0.69
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 5028 0 0 0 67 2 0 0 23 0 1 0 243029226 36503552 4999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 8912 4999 1219 324 0 3774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35648

[startup+1.50169 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1724736/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=52284 CPUtime=1.49
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 10254 0 0 0 145 4 0 0 25 0 1 0 243029226 53538816 10224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 13071 10224 2291 324 0 7933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52284

[startup+3.10186 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1701568/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=85424 CPUtime=3.09
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 20673 0 0 0 299 10 0 0 25 0 1 0 243029226 87474176 20643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 21356 20643 4429 324 0 16218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85424

[startup+6.30118 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1627392/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=122228 CPUtime=6.29
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 34150 0 0 0 611 18 0 0 25 0 1 0 243029226 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1627456/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=122228 CPUtime=12.69
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 34150 0 0 0 1235 34 0 0 25 0 1 0 243029226 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122228

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1627712/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=122228 CPUtime=25.49
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 34150 0 0 0 2485 64 0 0 25 0 1 0 243029226 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122228

[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 9248
/proc/meminfo: memFree=1551360/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=199900 CPUtime=51.06
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 59013 0 0 0 5029 77 0 0 25 0 1 0 243029226 204697600 49359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 49975 49359 309 324 0 49045 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 199900

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 9250
/proc/meminfo: memFree=1427840/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=321784 CPUtime=102.25
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 89459 0 0 0 10131 94 0 0 25 0 1 0 243029226 329506816 79805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 80446 79805 309 324 0 79516 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 321784

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=1309568/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=441208 CPUtime=162.22
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 119316 0 0 0 16115 107 0 0 25 0 1 0 243029226 451796992 109662 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 110302 109662 309 324 0 109372 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 441208

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=1200704/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=548568 CPUtime=222.2
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 146166 0 0 0 22101 119 0 0 25 0 1 0 243029226 561733632 136512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 137142 136512 309 324 0 136212 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 548568

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=1124992/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=624860 CPUtime=282.19
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 165250 0 0 0 28089 130 0 0 25 0 1 0 243029226 639856640 155596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 156215 155596 309 324 0 155285 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 624860

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 9250
/proc/meminfo: memFree=1037376/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=711840 CPUtime=342.17
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 186992 0 0 0 34076 141 0 0 25 0 1 0 243029226 728924160 177338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 177960 177338 309 324 0 177030 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 711840

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=958976/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=791040 CPUtime=402.15
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 206777 0 0 0 40064 151 0 0 25 0 1 0 243029226 810024960 197123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 197760 197123 309 324 0 196830 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 791040

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=864448/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=884484 CPUtime=462.14
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 230141 0 0 0 46050 164 0 0 25 0 1 0 243029226 905711616 220487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 221121 220487 309 324 0 220191 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 884484

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=787200/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=962348 CPUtime=522.12
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 249602 0 0 0 52037 175 0 0 25 0 1 0 243029226 985444352 239948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 240587 239948 309 324 0 239657 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 962348

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=709248/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1039536 CPUtime=582.11
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 268915 0 0 0 58025 186 0 0 25 0 1 0 243029226 1064484864 259261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 259884 259261 309 324 0 258954 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1039536

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=634816/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1113244 CPUtime=642.09
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 287343 0 0 0 64015 194 0 0 25 0 1 0 243029226 1139961856 277689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 278311 277689 309 324 0 277381 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1113244

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=559872/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1188884 CPUtime=702.07
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 306254 0 0 0 70004 203 0 0 25 0 1 0 243029226 1217417216 296600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 297221 296600 309 324 0 296291 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 1188884

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=490048/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1257692 CPUtime=762.05
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 323456 0 0 0 75993 212 0 0 25 0 1 0 243029226 1287876608 313802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 314423 313802 309 324 0 313493 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 1257692

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=421824/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1326392 CPUtime=822.04
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 340625 0 0 0 81982 222 0 0 25 0 1 0 243029226 1358225408 330971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 331598 330971 309 324 0 330668 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1326392

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=353536/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1394120 CPUtime=882.02
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 357557 0 0 0 87971 231 0 0 25 0 1 0 243029226 1427578880 347903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 348530 347903 309 324 0 347600 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1394120

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=275008/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1473348 CPUtime=942.01
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 377346 0 0 0 93960 241 0 0 25 0 1 0 243029226 1508708352 367692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 368337 367692 309 324 0 367407 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1473348

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=209472/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1538088 CPUtime=1001.99
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 393548 0 0 0 99949 250 0 0 25 0 1 0 243029226 1575002112 383894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 384522 383894 309 324 0 383592 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1538088

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=139904/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1608312 CPUtime=1061.97
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 411090 0 0 0 105938 259 0 0 25 0 1 0 243029226 1646911488 401436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 402078 401436 309 324 0 401148 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1608312

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=69760/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1677704 CPUtime=1121.95
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 428438 0 0 0 111928 267 0 0 25 0 1 0 243029226 1717968896 418784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 419426 418784 309 324 0 418496 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1677704

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=15744/2055920 swapFree=4156240/4192956
[pid=9247] ppid=9245 vsize=1739588 CPUtime=1181.94
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 443930 0 0 0 117918 276 0 0 25 0 1 0 243029226 1781338112 434276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 434897 434276 309 324 0 433967 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1739588

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=15296/2055920 swapFree=4156212/4192956
[pid=9247] ppid=9245 vsize=1802112 CPUtime=1241.92
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 459558 0 0 0 123909 283 0 0 25 0 1 0 243029226 1845362688 449904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 450528 449904 309 324 0 449598 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1802112



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1280.41 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=15360/2055920 swapFree=4156212/4192956
[pid=9247] ppid=9245 vsize=1843232 CPUtime=1280.01
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194304 469824 0 0 0 127713 288 0 0 25 0 1 0 243029226 1887469568 460170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 460808 460170 309 324 0 459878 0
Current children cumulated CPU time (s) 1280.01
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+1280.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=15360/2055920 swapFree=4156212/4192956
[pid=9247] ppid=9245 vsize=0 CPUtime=1280.21
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194308 469828 0 0 0 127714 307 0 0 25 0 1 0 243029226 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1280.21
Current children cumulated vsize (KiB) 0

[startup+1280.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9250
/proc/meminfo: memFree=15360/2055920 swapFree=4156212/4192956
[pid=9247] ppid=9245 vsize=0 CPUtime=1280.31
/proc/9247/stat : 9247 (bsolo3.0.17) R 9245 9247 7909 0 -1 4194308 469828 0 0 0 127714 317 0 0 25 0 1 0 243029226 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9247/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1280.31
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1280.71
CPU time (s): 1280.32
CPU user time (s): 1277.14
CPU system time (s): 3.17952
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1843232

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

runsolver used 1.02084 second user time and 2.84857 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Mon Apr 30 16:39:35 UTC 2007

IDJOB= 432863
IDBENCH= 1965
IDSOLVER= 199
FILE ID= node44/432863-1177951174

PBS_JOBID= 4727603

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3119db8d3d273f04fc4f3b1324a85224

RANDOM SEED= 969610853

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1746592 kB
Buffers:         37936 kB
Cached:         174428 kB
SwapCached:      13940 kB
Active:         109584 kB
Inactive:       129508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746592 kB
SwapTotal:     4192956 kB
SwapFree:      4156240 kB
Dirty:           23408 kB
Writeback:           0 kB
Mapped:          34744 kB
Slab:            55744 kB
Committed_AS:  1551016 kB
PageTables:       1740 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66542 MiB

End job on node44 on Mon Apr 30 17:00:58 UTC 2007