Trace number 432862

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)5602 1495.01 1495.51

General information on the benchmark

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

Verifier Data (download as text)

OK	5602

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node70/watcher-432862-1177951123 -o ROOT/results/node70/solver-432862-1177951123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.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.98 0.94 3/64 17051
/proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=28568 CPUtime=0
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 234649691 29253632 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 7142 333 279 324 0 2004 0

[startup+0.038595 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17051
/proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=21896 CPUtime=0.03
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 678 0 0 0 3 0 0 0 18 0 1 0 234649691 22421504 648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 5474 648 325 324 0 336 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21896

[startup+0.102592 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17051
/proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=23268 CPUtime=0.09
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 234649691 23826432 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 5817 1072 412 324 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23268

[startup+0.30161 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17051
/proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=27396 CPUtime=0.29
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 2405 0 0 0 29 0 0 0 19 0 1 0 234649691 28053504 2375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8835617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 6849 2375 680 324 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.701651 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17051
/proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=35512 CPUtime=0.69
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 4985 0 0 0 69 0 0 0 22 0 1 0 234649691 36364288 4955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 8878 4955 1210 324 0 3740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35512

[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1760568/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=52008 CPUtime=1.49
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 10157 0 0 0 147 2 0 0 25 0 1 0 234649691 53256192 10127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 13002 10127 2272 324 0 7864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52008

[startup+3.10189 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1737592/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=84872 CPUtime=3.09
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 20491 0 0 0 301 8 0 0 25 0 1 0 234649691 86908928 20461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 21218 20461 4392 324 0 16080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84872

[startup+6.30121 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1663032/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=122228 CPUtime=6.29
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 611 18 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/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.98 0.94 2/65 17052
/proc/meminfo: memFree=1663096/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=122228 CPUtime=12.69
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 1238 31 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122228

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1663224/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=122228 CPUtime=25.48
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 2489 59 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1027 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1607800/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=179020 CPUtime=51.06
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 53773 0 0 0 5035 71 0 0 25 0 1 0 234649691 183316480 44119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 44755 44119 309 324 0 43825 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 179020

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1495992/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=289268 CPUtime=102.25
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 81354 0 0 0 10141 84 0 0 25 0 1 0 234649691 296210432 71700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 72317 71700 309 324 0 71387 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 289268

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1391672/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=394312 CPUtime=162.23
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 107607 0 0 0 16127 96 0 0 25 0 1 0 234649691 403775488 97953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 98578 97953 309 324 0 97648 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 394312

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1311800/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=473256 CPUtime=222.22
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 127324 0 0 0 22117 105 0 0 25 0 1 0 234649691 484614144 117670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 118314 117670 309 324 0 117384 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 473256

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1242488/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=542996 CPUtime=282.2
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 144768 0 0 0 28106 114 0 0 25 0 1 0 234649691 556027904 135114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 135749 135114 309 324 0 134819 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 542996

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1177336/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=607596 CPUtime=342.19
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 160921 0 0 0 34096 123 0 0 25 0 1 0 234649691 622178304 151267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 151899 151267 309 324 0 150969 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 607596

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1120248/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=664856 CPUtime=402.17
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 175239 0 0 0 40087 130 0 0 25 0 1 0 234649691 680812544 165585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 166214 165585 309 324 0 165284 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 664856

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=1055736/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=728828 CPUtime=462.15
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 191247 0 0 0 46078 137 0 0 25 0 1 0 234649691 746319872 181593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 182207 181593 309 324 0 181277 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 728828

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=983224/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=801960 CPUtime=522.14
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 209511 0 0 0 52068 146 0 0 25 0 1 0 234649691 821207040 199857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 200490 199857 309 324 0 199560 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 801960

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=912056/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=872612 CPUtime=582.12
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 227189 0 0 0 58057 155 0 0 25 0 1 0 234649691 893554688 217535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 218153 217535 309 324 0 217223 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 872612

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=849400/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=934316 CPUtime=642.11
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 242603 0 0 0 64049 162 0 0 25 0 1 0 234649691 956739584 232949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8843333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 233579 232949 309 324 0 232649 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 934316

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=790520/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=993748 CPUtime=702.09
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 257448 0 0 0 70038 171 0 0 25 0 1 0 234649691 1017597952 247794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 248437 247794 309 324 0 247507 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 993748

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=730552/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1053092 CPUtime=762.07
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 272286 0 0 0 76028 179 0 0 25 0 1 0 234649691 1078366208 262632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 263273 262632 309 324 0 262343 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1053092

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=675768/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1108376 CPUtime=822.06
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 286109 0 0 0 82019 187 0 0 25 0 1 0 234649691 1134977024 276455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 277094 276455 309 324 0 276164 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1108376

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=618488/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1164924 CPUtime=882.05
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 300244 0 0 0 88009 196 0 0 25 0 1 0 234649691 1192882176 290590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 291231 290590 309 324 0 290301 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1164924

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=559992/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1223920 CPUtime=942.03
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 314995 0 0 0 93999 204 0 0 25 0 1 0 234649691 1253294080 305341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 305980 305341 309 324 0 305050 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1223920

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=506488/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1276800 CPUtime=1002.02
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 328213 0 0 0 99990 212 0 0 25 0 1 0 234649691 1307443200 318559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 319200 318559 309 324 0 318270 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1276800

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17052
/proc/meminfo: memFree=433528/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1349988 CPUtime=1062
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 346519 0 0 0 105981 219 0 0 25 0 1 0 234649691 1382387712 336865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 337497 336865 309 324 0 336567 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1349988

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17054
/proc/meminfo: memFree=373688/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1409628 CPUtime=1121.98
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 361442 0 0 0 111973 225 0 0 25 0 1 0 234649691 1443459072 351788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 352407 351788 309 324 0 351477 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1409628

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17054
/proc/meminfo: memFree=314168/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1469648 CPUtime=1181.97
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 376449 0 0 0 117964 233 0 0 25 0 1 0 234649691 1504919552 366795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 367412 366795 309 324 0 366482 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1469648

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17054
/proc/meminfo: memFree=249144/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1533716 CPUtime=1241.95
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 392443 0 0 0 123951 244 0 0 25 0 1 0 234649691 1570525184 382789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 383429 382789 309 324 0 382499 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1533716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17054
/proc/meminfo: memFree=200184/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1582048 CPUtime=1301.94
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 404534 0 0 0 129944 250 0 0 25 0 1 0 234649691 1620017152 394880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 395512 394880 309 324 0 394582 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1582048

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/71 17192
/proc/meminfo: memFree=136384/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1645032 CPUtime=1361.87
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 420270 0 0 0 135928 259 0 0 25 0 1 0 234649691 1684512768 410616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 411258 410616 309 324 0 410328 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1645032

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17252
/proc/meminfo: memFree=58040/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1723976 CPUtime=1421.82
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 440021 0 0 0 141914 268 0 0 25 0 1 0 234649691 1765351424 430367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 430994 430367 309 324 0 430064 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1723976

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17252
/proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1824356 CPUtime=1481.81
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 465115 0 0 0 147901 280 0 0 25 0 1 0 234649691 1868140544 455461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 456089 455461 309 324 0 455159 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1824356



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1495.2 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17252
/proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=1843316 CPUtime=1494.71
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 469866 0 0 0 149189 282 0 0 25 0 1 0 234649691 1887555584 460212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 460829 460212 309 324 0 459899 0
Current children cumulated CPU time (s) 1494.71
Current children cumulated vsize (KiB) 1843316

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

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

[startup+1495.4 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17252
/proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=0 CPUtime=1494.89
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194308 469870 0 0 0 149189 300 0 0 25 0 1 0 234649691 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1494.89
Current children cumulated vsize (KiB) 0

[startup+1495.5 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 17252
/proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956
[pid=17051] ppid=17049 vsize=0 CPUtime=1494.99
/proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194308 469870 0 0 0 149189 310 0 0 25 0 1 0 234649691 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1494.99
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1495.51
CPU time (s): 1495.01
CPU user time (s): 1491.9
CPU system time (s): 3.11053
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 1843316

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

runsolver used 1.07084 second user time and 3.07753 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Mon Apr 30 16:38:44 UTC 2007

IDJOB= 432862
IDBENCH= 1964
IDSOLVER= 199
FILE ID= node70/432862-1177951123

PBS_JOBID= 4727807

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_12.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-432862-1177951123 -o ROOT/results/node70/solver-432862-1177951123 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  35ffbede57b8807d38d913370f4c4486

RANDOM SEED= 845879161

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1782168 kB
Buffers:          8096 kB
Cached:         198024 kB
SwapCached:       2980 kB
Active:          54056 kB
Inactive:       161944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782168 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:           23484 kB
Writeback:           0 kB
Mapped:          15824 kB
Slab:            43732 kB
Committed_AS:  3590172 kB
PageTables:       1400 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 node70 on Mon Apr 30 17:03:41 UTC 2007