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

OK	5573

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-352461-1176632653 -o ROOT/results/node10/solver-352461-1176632653 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352461-1176632653/instance-352461-1176632653.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.93 0.99 0.99 3/77 6084
/proc/meminfo: memFree=1739728/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=19544 CPUtime=0
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 314 0 3 0 0 0 0 0 18 0 1 0 139302875 20013056 285 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 4887 297 266 324 0 3956 0

[startup+0.0736279 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6084
/proc/meminfo: memFree=1739728/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=22448 CPUtime=0.06
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 876 0 3 0 6 0 0 0 18 0 1 0 139302875 22986752 847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 5612 847 368 324 0 473 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22448

[startup+0.101633 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6084
/proc/meminfo: memFree=1739728/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=23132 CPUtime=0.08
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 1064 0 3 0 8 0 0 0 18 0 1 0 139302875 23687168 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 5783 1036 407 324 0 644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23132

[startup+0.301676 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6084
/proc/meminfo: memFree=1739728/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=27396 CPUtime=0.29
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 2402 0 3 0 28 1 0 0 19 0 1 0 139302875 28053504 2373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 6849 2373 681 324 0 1710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27396

[startup+0.701762 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6084
/proc/meminfo: memFree=1739728/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=35648 CPUtime=0.68
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 5034 0 3 0 66 2 0 0 22 0 1 0 139302875 36503552 5005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 8912 5005 1222 324 0 3773 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35648

[startup+1.50193 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 6085
/proc/meminfo: memFree=1716680/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=52424 CPUtime=1.48
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 10306 0 3 0 143 5 0 0 25 0 1 0 139302875 53682176 10277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 13106 10277 2304 324 0 7967 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52424

[startup+3.10128 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1694088/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=85824 CPUtime=3.09
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 20830 0 3 0 298 11 0 0 25 0 1 0 139302875 87883776 20801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 21456 20801 4479 324 0 16317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85824

[startup+6.30197 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1620168/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=122228 CPUtime=6.28
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 34151 0 3 0 609 19 0 0 25 0 1 0 139302875 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 122228

[startup+12.7013 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1620304/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=122228 CPUtime=12.67
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 34151 0 3 0 1234 33 0 0 25 0 1 0 139302875 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 122228

[startup+25.5011 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1620496/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=122228 CPUtime=25.47
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 34151 0 3 0 2487 60 0 0 25 0 1 0 139302875 125161472 29914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 122228

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1549776/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=194360 CPUtime=51.05
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 57631 0 3 0 5016 89 0 0 25 0 1 0 139302875 199024640 47978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 48590 47978 311 324 0 47659 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 194360

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1446480/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=296224 CPUtime=102.23
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 83072 0 3 0 10114 109 0 0 25 0 1 0 139302875 303333376 73419 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 74056 73419 311 324 0 73125 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 296224

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1348944/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=394584 CPUtime=162.21
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 107681 0 3 0 16094 127 0 0 25 0 1 0 139302875 404054016 98028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 98646 98028 311 324 0 97715 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 394584

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1251408/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=490960 CPUtime=222.19
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 131761 0 3 0 22076 143 0 0 25 0 1 0 139302875 502743040 122108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 122740 122108 311 324 0 121809 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 490960

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1160016/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=582996 CPUtime=282.17
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 154765 0 3 0 28059 158 0 0 25 0 1 0 139302875 596987904 145112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 145749 145112 311 324 0 144818 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 582996

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=1076688/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=665664 CPUtime=342.15
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 175444 0 3 0 34043 172 0 0 25 0 1 0 139302875 681639936 165791 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 166416 165791 311 324 0 165485 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 665664

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=956304/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=786656 CPUtime=402.12
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 205695 0 3 0 40027 185 0 0 25 0 1 0 139302875 805535744 196042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 196664 196042 311 324 0 195733 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 786656

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6085
/proc/meminfo: memFree=844048/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=897728 CPUtime=462.1
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 233469 0 3 0 46012 198 0 0 25 0 1 0 139302875 919273472 223816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 224432 223816 311 324 0 223501 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 897728

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=747408/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=994664 CPUtime=522.07
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 257703 0 3 0 51996 211 0 0 25 0 1 0 139302875 1018535936 248050 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 248666 248050 311 324 0 247735 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 994664

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=653520/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1087744 CPUtime=582.05
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 280973 0 3 0 57982 223 0 0 25 0 1 0 139302875 1113849856 271320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 271936 271320 311 324 0 271005 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1087744

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=580560/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1159812 CPUtime=642.04
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 298981 0 3 0 63968 236 0 0 25 0 1 0 139302875 1187647488 289328 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 289953 289328 311 324 0 289022 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1159812

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=501072/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1239772 CPUtime=702.01
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 318974 0 3 0 69954 247 0 0 25 0 1 0 139302875 1269526528 309321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 309943 309321 311 324 0 309012 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 1239772

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=427280/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1312956 CPUtime=762
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 337251 0 3 0 75942 258 0 0 25 0 1 0 139302875 1344466944 327598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 328239 327598 311 324 0 327308 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 1312956

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=354960/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1385980 CPUtime=821.97
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 355531 0 3 0 81929 268 0 0 25 0 1 0 139302875 1419243520 345878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 346495 345878 311 324 0 345564 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 1385980

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=255248/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1484864 CPUtime=881.95
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 380240 0 3 0 87916 279 0 0 25 0 1 0 139302875 1520500736 370587 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 371216 370587 311 324 0 370285 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1484864

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=168400/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1572064 CPUtime=941.92
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 402047 0 3 0 93902 290 0 0 25 0 1 0 139302875 1609793536 392394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 393016 392394 311 324 0 392085 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1572064

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=93328/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1646484 CPUtime=1001.91
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 420661 0 3 0 99892 299 0 0 25 0 1 0 139302875 1685999616 411008 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 411621 411008 311 324 0 410690 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1646484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=15312/2055920 swapFree=4165840/4192956
[pid=6084] ppid=6082 vsize=1731760 CPUtime=1061.88
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 441961 0 3 0 105880 308 0 0 25 0 1 0 139302875 1773322240 432308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 432940 432308 311 324 0 432009 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1731760



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1121.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=16272/2055920 swapFree=4158508/4192956
[pid=6084] ppid=6082 vsize=1843208 CPUtime=1121.17
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194304 469823 0 3 0 111796 321 0 0 25 0 1 0 139302875 1887444992 460170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 460802 460170 311 324 0 459871 0
Current children cumulated CPU time (s) 1121.17
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1121.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6087
/proc/meminfo: memFree=16272/2055920 swapFree=4158508/4192956
[pid=6084] ppid=6082 vsize=0 CPUtime=1121.35
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194308 469824 0 3 0 111796 339 0 0 18 0 1 0 139302875 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1121.35
Current children cumulated vsize (KiB) 0

[startup+1121.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6088
/proc/meminfo: memFree=1838984/2055920 swapFree=4158508/4192956
[pid=6084] ppid=6082 vsize=0 CPUtime=1121.46
/proc/6084/stat : 6084 (bsolo3.0.16) R 6082 6084 4809 0 -1 4194308 469824 0 3 0 111796 350 0 0 18 0 1 0 139302875 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/6084/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1121.91
CPU time (s): 1121.47
CPU user time (s): 1117.97
CPU system time (s): 3.50347
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 1843208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1117.97
system time used= 3.50347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469824
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 1193

runsolver used 1.3058 second user time and 2.77258 second system time

The end

Begin job on node10 on Sun Apr 15 10:24:14 UTC 2007

IDJOB= 352461
IDBENCH= 1977
IDSOLVER= 163
FILE ID= node10/352461-1176632653

PBS_JOBID= 4556852

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  2fd45123d8e20b24379108257151f007

RANDOM SEED= 652101753

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1740072 kB
Buffers:         25532 kB
Cached:         201544 kB
SwapCached:       2560 kB
Active:          86272 kB
Inactive:       175072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740072 kB
SwapTotal:     4192956 kB
SwapFree:      4165840 kB
Dirty:           21228 kB
Writeback:           0 kB
Mapped:          42080 kB
Slab:            40128 kB
Committed_AS:  2964572 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66540 MiB

End job on node10 on Sun Apr 15 10:42:57 UTC 2007