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

OK	5765

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-352279-1176627992 -o ROOT/results/node58/solver-352279-1176627992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352279-1176627992/instance-352279-1176627992.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.99 0.97 0.99 3/64 11685
/proc/meminfo: memFree=1553776/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=36380 CPUtime=0
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 110708947 37253120 332 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 9095 332 280 324 0 3956 0

[startup+0.0370679 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11685
/proc/meminfo: memFree=1553776/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=21896 CPUtime=0.03
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 673 0 0 0 3 0 0 0 18 0 1 0 110708947 22421504 641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 5474 641 325 324 0 335 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21896

[startup+0.101079 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11685
/proc/meminfo: memFree=1553776/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=23268 CPUtime=0.09
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 1108 0 0 0 9 0 0 0 18 0 1 0 110708947 23826432 1076 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 5817 1076 415 324 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23268

[startup+0.301112 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11685
/proc/meminfo: memFree=1553776/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=27532 CPUtime=0.28
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 2451 0 0 0 28 0 0 0 19 0 1 0 110708947 28192768 2419 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 6883 2419 690 324 0 1744 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27532

[startup+0.701179 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11685
/proc/meminfo: memFree=1553776/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=35920 CPUtime=0.69
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 5101 0 0 0 67 2 0 0 22 0 1 0 110708947 36782080 5069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 8980 5069 1235 324 0 3841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35920

[startup+1.50131 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1532200/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=52836 CPUtime=1.49
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 10425 0 0 0 145 4 0 0 25 0 1 0 110708947 54104064 10393 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 13209 10393 2327 324 0 8070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52836

[startup+3.10158 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1508584/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=71896 CPUtime=3.09
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 21573 0 0 0 301 8 0 0 25 0 1 0 110708947 73621504 17333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 17974 17334 300 324 0 17043 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71896

[startup+6.30112 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1435112/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=122228 CPUtime=6.29
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 34154 0 0 0 612 17 0 0 25 0 1 0 110708947 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122228

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1435240/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=122228 CPUtime=12.68
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 34154 0 0 0 1238 30 0 0 25 0 1 0 110708947 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122228

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1435432/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=122228 CPUtime=25.48
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 34154 0 0 0 2493 55 0 0 25 0 1 0 110708947 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 30557 29914 306 324 0 29626 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122228

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1364264/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=195140 CPUtime=51.06
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 57823 0 0 0 5019 87 0 0 25 0 1 0 110708947 199823360 48167 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 48785 48167 311 324 0 47854 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 195140

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1258536/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=299088 CPUtime=102.24
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 83800 0 0 0 10119 105 0 0 25 0 1 0 110708947 306266112 74144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 74772 74144 311 324 0 73841 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 299088

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1161128/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=397100 CPUtime=162.22
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 108319 0 0 0 16094 128 0 0 25 0 1 0 110708947 406630400 98663 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5304407 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 99275 98663 311 324 0 98344 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 397100

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=1070760/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=486540 CPUtime=222.2
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 130679 0 0 0 22076 144 0 0 25 0 1 0 110708947 498216960 121023 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 121635 121023 311 324 0 120704 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 486540

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=987624/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=570280 CPUtime=282.18
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 151595 0 0 0 28062 156 0 0 25 0 1 0 110708947 583966720 141939 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 142570 141939 311 324 0 141639 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 570280

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=905320/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=651708 CPUtime=342.17
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 171960 0 0 0 34049 168 0 0 25 0 1 0 110708947 667348992 162304 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 162927 162304 311 324 0 161996 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 651708

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=816040/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=742212 CPUtime=402.14
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 194597 0 0 0 40035 179 0 0 25 0 1 0 110708947 760025088 184941 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 185553 184941 311 324 0 184622 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 742212

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=701992/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=855192 CPUtime=462.12
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 222821 0 0 0 46021 191 0 0 25 0 1 0 110708947 875716608 213165 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 213798 213165 311 324 0 212867 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 855192

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=598568/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=959052 CPUtime=522.1
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 248798 0 0 0 52006 204 0 0 25 0 1 0 110708947 982069248 239142 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 239763 239142 311 324 0 238832 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 959052

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=507816/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1048664 CPUtime=582.09
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 271205 0 0 0 57994 215 0 0 25 0 1 0 110708947 1073831936 261549 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 262166 261549 311 324 0 261235 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1048664

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=427944/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1127728 CPUtime=642.08
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 290971 0 0 0 63984 224 0 0 25 0 1 0 110708947 1154793472 281315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 281932 281315 311 324 0 281001 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1127728

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=342056/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1214464 CPUtime=702.05
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 312643 0 0 0 69973 232 0 0 25 0 1 0 110708947 1243611136 302987 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5304111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 303616 302987 311 324 0 302685 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1214464

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=266152/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1289568 CPUtime=762.03
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 331420 0 0 0 75961 242 0 0 25 0 1 0 110708947 1320517632 321764 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 322392 321764 311 324 0 321461 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1289568

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=192488/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1363472 CPUtime=822.01
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 349909 0 0 0 81948 253 0 0 25 0 1 0 110708947 1396195328 340253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 340868 340253 311 324 0 339937 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1363472

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=133608/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1421872 CPUtime=881.99
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 364483 0 0 0 87937 262 0 0 25 0 1 0 110708947 1455996928 354827 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 355468 354827 311 324 0 354537 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1421872

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=79720/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1475948 CPUtime=941.98
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 378016 0 0 0 93927 271 0 0 25 0 1 0 110708947 1511370752 368360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 368987 368360 311 324 0 368056 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1475948

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=15976/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1604904 CPUtime=1001.96
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 410252 0 0 0 99911 285 0 0 25 0 1 0 110708947 1643421696 400596 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 401226 400596 311 324 0 400295 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1604904

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=14888/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1728468 CPUtime=1061.93
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 441160 0 0 0 105894 299 0 0 25 0 1 0 110708947 1769951232 431504 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 432117 431504 311 324 0 431186 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1728468

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=16040/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1841328 CPUtime=1121.91
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 469361 0 0 0 111881 310 0 0 25 0 1 0 110708947 1885519872 459705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 460332 459705 311 324 0 459401 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1841328



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1123.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=15656/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=1843400 CPUtime=1123.11
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194304 469881 0 0 0 112001 310 0 0 25 0 1 0 110708947 1887641600 460225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 460850 460225 311 324 0 459919 0
Current children cumulated CPU time (s) 1123.11
Current children cumulated vsize (KiB) 1843400

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

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

[startup+1123.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11686
/proc/meminfo: memFree=15656/2055920 swapFree=4184728/4192956
[pid=11685] ppid=11683 vsize=0 CPUtime=1123.41
/proc/11685/stat : 11685 (bsolo3.0.16) R 11683 11685 11068 0 -1 4194308 469882 0 0 0 112002 339 0 0 25 0 1 0 110708947 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/11685/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1123.41
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1123.82
CPU time (s): 1123.44
CPU user time (s): 1120.02
CPU system time (s): 3.41248
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 1843400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1120.02
system time used= 3.41248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2358

runsolver used 0.797878 second user time and 2.36664 second system time

The end

Begin job on node58 on Sun Apr 15 09:06:33 UTC 2007

IDJOB= 352279
IDBENCH= 1963
IDSOLVER= 163
FILE ID= node58/352279-1176627992

PBS_JOBID= 4559787

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f8f4f876e372c51b5109e7995e83ce5e

RANDOM SEED= 311999732

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1554376 kB
Buffers:         38640 kB
Cached:         354288 kB
SwapCached:       2696 kB
Active:         160980 kB
Inactive:       242544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554376 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:           21212 kB
Writeback:           0 kB
Mapped:          17064 kB
Slab:            84096 kB
Committed_AS:   184120 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB

End job on node58 on Sun Apr 15 09:25:18 UTC 2007