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

OK	5573

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 17517
/proc/meminfo: memFree=1700944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=28568 CPUtime=0
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271189786 29253632 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 7142 333 279 324 0 2004 0

[startup+0.074762 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 17517
/proc/meminfo: memFree=1700944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=22588 CPUtime=0.06
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 920 0 0 0 6 0 0 0 18 0 1 0 271189786 23130112 890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 5647 891 375 324 0 509 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22588

[startup+0.102777 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 17517
/proc/meminfo: memFree=1700944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=23268 CPUtime=0.09
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 1101 0 0 0 9 0 0 0 18 0 1 0 271189786 23826432 1071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4159671546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 5817 1071 412 324 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23268

[startup+0.30181 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 17517
/proc/meminfo: memFree=1700944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=27396 CPUtime=0.29
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 2406 0 0 0 28 1 0 0 19 0 1 0 271189786 28053504 2376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 6849 2376 680 324 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.701895 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 17517
/proc/meminfo: memFree=1700944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=35512 CPUtime=0.69
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 4985 0 0 0 67 2 0 0 23 0 1 0 271189786 36364288 4955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 8878 4955 1210 324 0 3740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35512

[startup+1.50107 s]
/proc/loadavg: 0.92 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1679688/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=52008 CPUtime=1.49
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 10149 0 0 0 145 4 0 0 25 0 1 0 271189786 53256192 10119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 13002 10119 2270 324 0 7864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52008

[startup+3.10142 s]
/proc/loadavg: 0.93 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1656712/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=85008 CPUtime=3.09
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 20537 0 0 0 300 9 0 0 25 0 1 0 271189786 87048192 20507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 21252 20508 4402 324 0 16114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85008

[startup+6.3011 s]
/proc/loadavg: 0.93 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1582088/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=122228 CPUtime=6.28
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 34150 0 0 0 610 18 0 0 25 0 1 0 271189786 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 122228

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1582216/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=122228 CPUtime=12.68
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 34150 0 0 0 1236 32 0 0 25 0 1 0 271189786 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122228

[startup+25.5022 s]
/proc/loadavg: 0.95 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1582408/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=122228 CPUtime=25.49
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 34150 0 0 0 2486 63 0 0 25 0 1 0 271189786 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122228

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1510920/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=194488 CPUtime=51.05
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 57653 0 0 0 5031 74 0 0 25 0 1 0 271189786 199155712 47999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 48622 47999 309 324 0 47692 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 194488

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1407944/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=296580 CPUtime=102.23
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 83159 0 0 0 10140 83 0 0 25 0 1 0 271189786 303697920 73505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 74145 73505 309 324 0 73215 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 296580

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1309704/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=395752 CPUtime=162.21
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 107957 0 0 0 16122 99 0 0 25 0 1 0 271189786 405250048 98303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 98938 98303 309 324 0 98008 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 395752

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1212296/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=491732 CPUtime=222.18
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 131964 0 0 0 22107 111 0 0 25 0 1 0 271189786 503533568 122310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 122933 122310 309 324 0 122003 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 491732

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1120584/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=584208 CPUtime=282.17
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 155068 0 0 0 28092 125 0 0 25 0 1 0 271189786 598228992 145414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 146052 145414 309 324 0 145122 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 584208

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=1036040/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=668188 CPUtime=342.14
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 176067 0 0 0 34080 134 0 0 25 0 1 0 271189786 684224512 166413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 167047 166413 309 324 0 166117 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 668188

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=915720/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=789044 CPUtime=402.12
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 206277 0 0 0 40064 148 0 0 25 0 1 0 271189786 807981056 196623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 197261 196623 309 324 0 196331 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 789044

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=803592/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=900300 CPUtime=462.1
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 234088 0 0 0 46050 160 0 0 25 0 1 0 271189786 921907200 224434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 225075 224434 309 324 0 224145 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 900300

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=707592/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=996640 CPUtime=522.08
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 258182 0 0 0 52038 170 0 0 25 0 1 0 271189786 1020559360 248528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 249160 248528 309 324 0 248230 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 996640

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 17518
/proc/meminfo: memFree=613640/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1089516 CPUtime=582.06
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 281411 0 0 0 58026 180 0 0 25 0 1 0 271189786 1115664384 271757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 272379 271757 309 324 0 271449 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1089516

[startup+642.301 s]
/proc/loadavg: 1.04 1.00 0.95 2/78 17518
/proc/meminfo: memFree=540168/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1162308 CPUtime=642.03
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 299606 0 0 0 64013 190 0 0 25 0 1 0 271189786 1190203392 289952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 290577 289952 309 324 0 289647 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1162308

[startup+702.302 s]
/proc/loadavg: 1.05 1.01 0.95 2/78 17518
/proc/meminfo: memFree=461128/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1241944 CPUtime=702.01
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 319510 0 0 0 70000 201 0 0 25 0 1 0 271189786 1271750656 309856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 310486 309856 309 324 0 309556 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 1241944

[startup+762.305 s]
/proc/loadavg: 1.05 1.02 0.96 2/78 17518
/proc/meminfo: memFree=387592/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1314764 CPUtime=761.99
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 337703 0 0 0 75989 210 0 0 25 0 1 0 271189786 1346318336 328049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 328691 328049 309 324 0 327761 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 1314764

[startup+822.302 s]
/proc/loadavg: 1.05 1.03 0.96 2/78 17518
/proc/meminfo: memFree=313032/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1390456 CPUtime=821.96
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 356634 0 0 0 81977 219 0 0 25 0 1 0 271189786 1423826944 346980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 347614 346980 309 324 0 346684 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1390456

[startup+882.302 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 17518
/proc/meminfo: memFree=213512/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1488616 CPUtime=881.94
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 381186 0 0 0 87966 228 0 0 25 0 1 0 271189786 1524342784 371532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 372154 371532 309 324 0 371224 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1488616

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 0.96 2/84 17544
/proc/meminfo: memFree=125912/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1575588 CPUtime=941.9
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 402915 0 0 0 93952 238 0 0 25 0 1 0 271189786 1613402112 393261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 393897 393261 309 324 0 392967 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1575588

[startup+1002.3 s]
/proc/loadavg: 1.07 1.03 0.97 2/78 17716
/proc/meminfo: memFree=51208/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1650568 CPUtime=1001.81
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 421666 0 0 0 99935 246 0 0 25 0 1 0 271189786 1690181632 412012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 412642 412012 309 324 0 411712 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1650568

[startup+1062.3 s]
/proc/loadavg: 1.03 1.02 0.97 2/78 17716
/proc/meminfo: memFree=15368/2055920 swapFree=4145688/4192956
[pid=17517] ppid=17515 vsize=1738192 CPUtime=1061.79
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 443586 0 0 0 105922 257 0 0 25 0 1 0 271189786 1779908608 433932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 434548 433932 309 324 0 433618 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 1738192



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1118 s]
/proc/loadavg: 1.01 1.02 0.97 2/78 17716
/proc/meminfo: memFree=15944/2055920 swapFree=4145504/4192956
[pid=17517] ppid=17515 vsize=1843208 CPUtime=1117.33
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194304 469822 0 0 0 111465 268 0 0 25 0 1 0 271189786 1887444992 460168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 460802 460168 309 324 0 459872 0
Current children cumulated CPU time (s) 1117.33
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1118.2 s]
/proc/loadavg: 1.01 1.02 0.97 2/78 17716
/proc/meminfo: memFree=15944/2055920 swapFree=4145504/4192956
[pid=17517] ppid=17515 vsize=0 CPUtime=1117.53
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194308 469826 0 0 0 111466 287 0 0 25 0 1 0 271189786 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1117.53
Current children cumulated vsize (KiB) 0

[startup+1118.3 s]
/proc/loadavg: 1.01 1.02 0.97 2/78 17716
/proc/meminfo: memFree=15944/2055920 swapFree=4145504/4192956
[pid=17517] ppid=17515 vsize=0 CPUtime=1117.63
/proc/17517/stat : 17517 (bsolo3.0.17) R 17515 17517 16520 0 -1 4194308 469826 0 0 0 111466 297 0 0 25 0 1 0 271189786 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/17517/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1117.63
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1118.31
CPU time (s): 1117.65
CPU user time (s): 1114.66
CPU system time (s): 2.98055
CPU usage (%): 99.9407
Max. virtual memory (cumulated for all children) (KiB): 1843208

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

runsolver used 0.829873 second user time and 2.48462 second system time

The end

Begin job on node10 on Mon Apr 30 16:45:23 UTC 2007

IDJOB= 432875
IDBENCH= 1977
IDSOLVER= 199
FILE ID= node10/432875-1177951522

PBS_JOBID= 4727832

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2fd45123d8e20b24379108257151f007

RANDOM SEED= 995653478

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1701352 kB
Buffers:         41004 kB
Cached:         218660 kB
SwapCached:      15940 kB
Active:         134428 kB
Inactive:       148852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701352 kB
SwapTotal:     4192956 kB
SwapFree:      4145688 kB
Dirty:           23432 kB
Writeback:           0 kB
Mapped:          30372 kB
Slab:            56920 kB
Committed_AS:  3849456 kB
PageTables:       1708 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66542 MiB

End job on node10 on Mon Apr 30 17:04:03 UTC 2007