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

OK	5246

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-432868-1177951239 -o ROOT/results/node68/solver-432868-1177951239 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432868-1177951239/instance-432868-1177951239.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.91 0.97 0.91 3/64 28133
/proc/meminfo: memFree=1805544/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=28568 CPUtime=0
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271113541 29253632 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 7142 333 279 324 0 2004 0

[startup+0.0495491 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 28133
/proc/meminfo: memFree=1805544/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=22036 CPUtime=0.04
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 749 0 0 0 4 0 0 0 18 0 1 0 271113541 22564864 719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 5509 720 340 324 0 371 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22036

[startup+0.102552 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 28133
/proc/meminfo: memFree=1805544/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=23268 CPUtime=0.09
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 1101 0 0 0 9 0 0 0 18 0 1 0 271113541 23826432 1071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 5817 1071 412 324 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23268

[startup+0.30157 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 28133
/proc/meminfo: memFree=1805544/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=27396 CPUtime=0.29
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 2403 0 0 0 28 1 0 0 19 0 1 0 271113541 28053504 2373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 6849 2375 680 324 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.702607 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 28133
/proc/meminfo: memFree=1805544/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=35512 CPUtime=0.69
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 4994 0 0 0 68 1 0 0 22 0 1 0 271113541 36364288 4964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 8911 4965 1212 324 0 3773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35512

[startup+1.50168 s]
/proc/loadavg: 0.91 0.97 0.91 2/65 28134
/proc/meminfo: memFree=1784480/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=52144 CPUtime=1.49
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 10192 0 0 0 145 4 0 0 25 0 1 0 271113541 53395456 10162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 13036 10162 2279 324 0 7898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52144

[startup+3.10182 s]
/proc/loadavg: 0.91 0.97 0.91 2/65 28134
/proc/meminfo: memFree=1761312/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=85148 CPUtime=3.09
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 20599 0 0 0 299 10 0 0 25 0 1 0 271113541 87191552 20569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 21287 20569 4414 324 0 16149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85148

[startup+6.30111 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28134
/proc/meminfo: memFree=1686960/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=122228 CPUtime=6.29
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 34150 0 0 0 611 18 0 0 25 0 1 0 271113541 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.7017 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28134
/proc/meminfo: memFree=1687024/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=122228 CPUtime=12.69
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 34150 0 0 0 1237 32 0 0 25 0 1 0 271113541 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122228

[startup+25.5018 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28134
/proc/meminfo: memFree=1687152/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=122228 CPUtime=25.49
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 34150 0 0 0 2490 59 0 0 25 0 1 0 271113541 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 30557 29912 304 324 0 29627 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122228

[startup+51.1012 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28134
/proc/meminfo: memFree=1622640/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=188624 CPUtime=51.05
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 56172 0 0 0 5035 70 0 0 25 0 1 0 271113541 193150976 46518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 0 0 0
/proc/28133/statm: 47156 46518 309 324 0 46226 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 188624

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1521904/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=287392 CPUtime=102.23
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 80887 0 0 0 10143 80 0 0 25 0 1 0 271113541 294289408 71233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 71848 71233 309 324 0 70918 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 287392

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1433008/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=377460 CPUtime=162.21
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 103381 0 0 0 16130 91 0 0 25 0 1 0 271113541 386519040 93727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 94365 93727 309 324 0 93435 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 377460

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1341424/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=467700 CPUtime=222.19
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 125955 0 0 0 22116 103 0 0 25 0 1 0 271113541 478924800 116301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 116925 116301 309 324 0 115995 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 467700

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1250352/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=559260 CPUtime=282.18
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 148830 0 0 0 28104 114 0 0 25 0 1 0 271113541 572682240 139176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 139815 139176 309 324 0 138885 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 559260

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1165232/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=643772 CPUtime=342.16
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 169964 0 0 0 34093 123 0 0 25 0 1 0 271113541 659222528 160310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 160943 160310 309 324 0 160013 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 643772

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=1078576/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=730616 CPUtime=402.15
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 191689 0 0 0 40082 133 0 0 25 0 1 0 271113541 748150784 182035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 182654 182035 309 324 0 181724 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 730616

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=990256/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=818508 CPUtime=462.13
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 213640 0 0 0 46070 143 0 0 25 0 1 0 271113541 838152192 203986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 204627 203986 309 324 0 203697 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 818508

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=903472/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=905908 CPUtime=522.12
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 235493 0 0 0 52058 154 0 0 25 0 1 0 271113541 927649792 225839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 226477 225839 309 324 0 225547 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 905908

[startup+582.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=827312/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=980968 CPUtime=582.1
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 254255 0 0 0 58048 162 0 0 25 0 1 0 271113541 1004511232 244601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 245242 244601 309 324 0 244312 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 980968

[startup+642.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=742640/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1065016 CPUtime=642.09
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 275270 0 0 0 64036 173 0 0 25 0 1 0 271113541 1090576384 265616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 266254 265616 309 324 0 265324 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1065016

[startup+702.303 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=654704/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1153404 CPUtime=702.06
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 297382 0 0 0 70023 183 0 0 25 0 1 0 271113541 1181085696 287728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 288351 287728 309 324 0 287421 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 1153404

[startup+762.305 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=581936/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1225460 CPUtime=762.06
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 315376 0 0 0 76015 191 0 0 25 0 1 0 271113541 1254871040 305722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 306365 305722 309 324 0 305435 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 1225460

[startup+822.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=514800/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1293292 CPUtime=822.04
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 332343 0 0 0 82007 197 0 0 25 0 1 0 271113541 1324331008 322689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 323323 322689 309 324 0 322393 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1293292

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=438448/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1368692 CPUtime=882.02
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 351193 0 0 0 87997 205 0 0 25 0 1 0 271113541 1401540608 341539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 342173 341539 309 324 0 341243 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1368692

[startup+942.302 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=375344/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1432024 CPUtime=942.01
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 367046 0 0 0 93989 212 0 0 25 0 1 0 271113541 1466392576 357392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 358006 357392 309 324 0 357076 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1432024

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=312816/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1494080 CPUtime=1001.99
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 382551 0 0 0 99980 219 0 0 25 0 1 0 271113541 1529937920 372897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 373520 372897 309 324 0 372590 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1494080

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=184432/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1624016 CPUtime=1061.97
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 415029 0 0 0 105966 231 0 0 25 0 1 0 271113541 1662992384 405375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 406004 405375 309 324 0 405074 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1624016

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=66160/2055920 swapFree=4183928/4192956
[pid=28133] ppid=28131 vsize=1740448 CPUtime=1121.96
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 444147 0 0 0 111954 242 0 0 25 0 1 0 271113541 1782218752 434493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 435112 434493 309 324 0 434182 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1740448



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1180.6 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=16112/2055920 swapFree=4183876/4192956
[pid=28133] ppid=28131 vsize=1843372 CPUtime=1180.22
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194304 469869 0 0 0 117769 253 0 0 25 0 1 0 271113541 1887612928 460215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10944581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 460843 460215 309 324 0 459913 0
Current children cumulated CPU time (s) 1180.22
Current children cumulated vsize (KiB) 1843372

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

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

[startup+1180.8 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=16112/2055920 swapFree=4183876/4192956
[pid=28133] ppid=28131 vsize=0 CPUtime=1180.41
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194308 469873 0 0 0 117769 272 0 0 25 0 1 0 271113541 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1180.41
Current children cumulated vsize (KiB) 0

[startup+1180.9 s]
/proc/loadavg: 1.00 0.98 0.92 2/65 28136
/proc/meminfo: memFree=16112/2055920 swapFree=4183876/4192956
[pid=28133] ppid=28131 vsize=0 CPUtime=1180.51
/proc/28133/stat : 28133 (bsolo3.0.17) R 28131 28133 26650 0 -1 4194308 469873 0 0 0 117769 282 0 0 25 0 1 0 271113541 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28133/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1180.51
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1180.91
CPU time (s): 1180.53
CPU user time (s): 1177.7
CPU system time (s): 2.82657
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1843372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.7
system time used= 2.82657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469873
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= 15
involuntary context switches= 2956

runsolver used 0.870867 second user time and 2.37964 second system time

The end

Begin job on node68 on Mon Apr 30 16:40:40 UTC 2007

IDJOB= 432868
IDBENCH= 1970
IDSOLVER= 199
FILE ID= node68/432868-1177951239

PBS_JOBID= 4727531

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  5f836d1b8d150c1925229546ed283812

RANDOM SEED= 900622345

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1806080 kB
Buffers:         20356 kB
Cached:         149996 kB
SwapCached:       3048 kB
Active:          48288 kB
Inactive:       132516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806080 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:           23404 kB
Writeback:           0 kB
Mapped:          16432 kB
Slab:            55056 kB
Committed_AS:  3047064 kB
PageTables:       1384 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 node68 on Mon Apr 30 17:00:23 UTC 2007