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

OK	5602

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-352292-1176628211 -o ROOT/results/node26/solver-352292-1176628211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352292-1176628211/instance-352292-1176628211.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 20733
/proc/meminfo: memFree=1562568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=28568 CPUtime=0
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 110737924 29253632 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 7142 337 281 324 0 2003 0

[startup+0.10386 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 20733
/proc/meminfo: memFree=1562568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=23272 CPUtime=0.09
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 1123 0 0 0 9 0 0 0 18 0 1 0 110737924 23830528 1091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 5818 1092 418 324 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23272

[startup+0.201869 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 20733
/proc/meminfo: memFree=1562568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=25336 CPUtime=0.19
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 1783 0 0 0 19 0 0 0 18 0 1 0 110737924 25944064 1751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 6334 1751 553 324 0 1195 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25336

[startup+0.301879 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 20733
/proc/meminfo: memFree=1562568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=27400 CPUtime=0.28
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 2445 0 0 0 28 0 0 0 19 0 1 0 110737924 28057600 2413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 6883 2413 689 324 0 1744 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27400

[startup+0.701915 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 20733
/proc/meminfo: memFree=1562568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=35788 CPUtime=0.68
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 5076 0 0 0 67 1 0 0 23 0 1 0 110737924 36646912 5044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 8947 5044 1230 324 0 3808 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35788

[startup+1.50199 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1538432/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=52420 CPUtime=1.49
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 10290 0 0 0 145 4 0 0 25 0 1 0 110737924 53678080 10258 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 13105 10258 2300 324 0 7966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52420

[startup+3.10114 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1515648/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=85824 CPUtime=3.09
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 20820 0 0 0 299 10 0 0 25 0 1 0 110737924 87883776 20788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 21456 20788 4474 324 0 16317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85824

[startup+6.30144 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1443712/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=122228 CPUtime=6.29
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 34154 0 0 0 609 20 0 0 25 0 1 0 110737924 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1443840/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=122228 CPUtime=12.68
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 34154 0 0 0 1236 32 0 0 25 0 1 0 110737924 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122228

[startup+25.5012 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1443968/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=122228 CPUtime=25.48
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 34154 0 0 0 2488 60 0 0 25 0 1 0 110737924 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1016 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=1389120/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=178248 CPUtime=51.05
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 53583 0 0 0 5021 84 0 0 25 0 1 0 110737924 182525952 43927 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 44562 43927 311 324 0 43631 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 178248

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=1277952/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=287980 CPUtime=102.25
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 81031 0 0 0 10118 107 0 0 25 0 1 0 110737924 294891520 71375 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 71995 71375 311 324 0 71064 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 287980

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=1174336/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=392272 CPUtime=162.23
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 107100 0 0 0 16097 126 0 0 25 0 1 0 110737924 401686528 97444 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 98068 97444 311 324 0 97137 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 392272

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=1094848/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=470816 CPUtime=222.21
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 126723 0 0 0 22076 145 0 0 25 0 1 0 110737924 482115584 117067 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 117704 117067 311 324 0 116773 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 470816

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=1026240/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=539852 CPUtime=282.2
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 144003 0 0 0 28056 164 0 0 25 0 1 0 110737924 552808448 134347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 134963 134347 311 324 0 134032 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 539852

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=961152/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=604248 CPUtime=342.18
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 160085 0 0 0 34043 175 0 0 25 0 1 0 110737924 618749952 150429 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 151062 150429 311 324 0 150131 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 604248

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=903872/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=661756 CPUtime=402.16
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 174481 0 0 0 40031 185 0 0 25 0 1 0 110737924 677638144 164825 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 165439 164825 311 324 0 164508 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 661756

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=840448/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=724660 CPUtime=462.15
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 190209 0 0 0 46017 198 0 0 25 0 1 0 110737924 742051840 180553 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 181165 180553 311 324 0 180234 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 724660

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=768256/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=797188 CPUtime=522.13
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 208331 0 0 0 52003 210 0 0 25 0 1 0 110737924 816320512 198675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 199297 198675 311 324 0 198366 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 797188

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=701056/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=863824 CPUtime=582.11
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 224984 0 0 0 57986 225 0 0 25 0 1 0 110737924 884555776 215328 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 215956 215328 311 324 0 215025 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 863824

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=637568/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=927628 CPUtime=642.1
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 240951 0 0 0 63975 235 0 0 25 0 1 0 110737924 949891072 231295 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134575770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 231907 231295 311 324 0 230976 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 927628

[startup+702.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 20734
/proc/meminfo: memFree=576704/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=987964 CPUtime=702.08
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 256012 0 0 0 69960 248 0 0 25 0 1 0 110737924 1011675136 246356 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 246991 246356 311 324 0 246060 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 987964

[startup+762.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 20734
/proc/meminfo: memFree=518784/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1045352 CPUtime=762.07
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 270368 0 0 0 75950 257 0 0 25 0 1 0 110737924 1070440448 260712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 261338 260712 311 324 0 260407 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1045352

[startup+822.301 s]
/proc/loadavg: 1.10 1.05 1.01 2/78 20734
/proc/meminfo: memFree=462208/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1102292 CPUtime=822.05
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 284604 0 0 0 81936 269 0 0 25 0 1 0 110737924 1128747008 274948 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 275573 274948 311 324 0 274642 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1102292

[startup+882.306 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 20734
/proc/meminfo: memFree=405952/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1158028 CPUtime=882.04
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 298541 0 0 0 87925 279 0 0 25 0 1 0 110737924 1185820672 288885 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 289507 288885 311 324 0 288576 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1158028

[startup+942.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 20734
/proc/meminfo: memFree=348608/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1215820 CPUtime=942.02
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 312975 0 0 0 93914 288 0 0 25 0 1 0 110737924 1244999680 303319 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 303955 303319 311 324 0 303024 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1215820

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20734
/proc/meminfo: memFree=295040/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1268732 CPUtime=1002
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 326215 0 0 0 99905 295 0 0 25 0 1 0 110737924 1299181568 316559 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 317183 316559 311 324 0 316252 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1268732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=220288/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1343840 CPUtime=1061.99
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 344992 0 0 0 105893 306 0 0 25 0 1 0 110737924 1376092160 335336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 335960 335336 311 324 0 335029 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1343840

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20734
/proc/meminfo: memFree=165504/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1398088 CPUtime=1121.97
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 358562 0 0 0 111882 315 0 0 25 0 1 0 110737924 1431642112 348906 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 349522 348906 311 324 0 348591 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1398088

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=104576/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1459476 CPUtime=1181.95
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 373902 0 0 0 117870 325 0 0 25 0 1 0 110737924 1494503424 364246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 364869 364246 311 324 0 363938 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1459476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=40128/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1523144 CPUtime=1241.94
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 389829 0 0 0 123858 336 0 0 25 0 1 0 110737924 1559699456 380173 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 380786 380173 311 324 0 379855 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1523144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=15040/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1573516 CPUtime=1301.86
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 402411 0 0 0 129841 345 0 0 25 0 1 0 110737924 1611280384 392755 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 393379 392755 311 324 0 392448 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1573516

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=15872/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1633144 CPUtime=1361.84
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 417314 0 0 0 135831 353 0 0 25 0 1 0 110737924 1672339456 407658 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 408286 407658 311 324 0 407355 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1633144

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=15744/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1699368 CPUtime=1421.83
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 433877 0 0 0 141818 365 0 0 25 0 1 0 110737924 1740152832 424221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 424842 424221 311 324 0 423911 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1699368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=16192/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1805996 CPUtime=1481.81
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 460520 0 0 0 147804 377 0 0 25 0 1 0 110737924 1849339904 450864 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 451499 450864 311 324 0 450568 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1805996



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1506.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20734
/proc/meminfo: memFree=15104/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=1843316 CPUtime=1506.31
/proc/20733/stat : 20733 (bsolo3.0.16) R 20731 20733 20118 0 -1 4194304 469849 0 0 0 150250 381 0 0 25 0 1 0 110737924 1887555584 460193 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20733/statm: 460829 460193 311 324 0 459898 0
Current children cumulated CPU time (s) 1506.31
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+1507.11 s]
/proc/loadavg: 1.00 1.00 1.00 3/79 20735
/proc/meminfo: memFree=1219000/2055920 swapFree=4170236/4192956
[pid=20733] ppid=20731 vsize=0 CPUtime=1506.6
/proc/20733/stat : 20733 (bsolo3.0.16) D 20731 20733 20118 0 -1 4194308 469850 0 0 0 150250 410 0 0 25 0 1 0 110737924 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/20733/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1506.6
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1507.11
CPU time (s): 1506.62
CPU user time (s): 1502.51
CPU system time (s): 4.10837
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 1843316

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

runsolver used 1.75073 second user time and 3.54146 second system time

The end

Begin job on node26 on Sun Apr 15 09:10:11 UTC 2007

IDJOB= 352292
IDBENCH= 1964
IDSOLVER= 163
FILE ID= node26/352292-1176628211

PBS_JOBID= 4559796

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  35ffbede57b8807d38d913370f4c4486

RANDOM SEED= 709766406

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1562976 kB
Buffers:         31428 kB
Cached:         350404 kB
SwapCached:       4000 kB
Active:         114136 kB
Inactive:       292028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562976 kB
SwapTotal:     4192956 kB
SwapFree:      4170236 kB
Dirty:           21308 kB
Writeback:           0 kB
Mapped:          30820 kB
Slab:            72392 kB
Committed_AS:   248808 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB

End job on node26 on Sun Apr 15 09:35:20 UTC 2007