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

OK	5661

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463057-1307175654/watcher-3463057-1307175654 -o /tmp/evaluation-result-3463057-1307175654/solver-3463057-1307175654 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463057-1307175654.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 1.64 1.41 3/535 25580
/proc/meminfo: memFree=28938220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=28564 CPUtime=0.01 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 556 0 0 0 1 0 0 0 25 0 1 0 829163383 29249536 510 33554432000 134512640 137138936 4291649376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 7141 511 209 642 0 2289 0

[startup+0.02051 s]
/proc/loadavg: 2.01 1.64 1.41 3/535 25580
/proc/meminfo: memFree=28938220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=28704 CPUtime=0.01 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 628 0 0 0 1 0 0 0 25 0 1 0 829163383 29392896 582 33554432000 134512640 137138936 4291649376 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 7176 583 224 642 0 2324 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28704

[startup+0.100513 s]
/proc/loadavg: 2.01 1.64 1.41 3/535 25580
/proc/meminfo: memFree=28938220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=32828 CPUtime=0.09 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 1919 0 0 0 9 0 0 0 25 0 1 0 829163383 33615872 1873 33554432000 134512640 137138936 4291649376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 8207 1873 488 642 0 3355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32828

[startup+0.300484 s]
/proc/loadavg: 2.01 1.64 1.41 3/535 25580
/proc/meminfo: memFree=28938220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=42868 CPUtime=0.28 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 5080 0 0 0 28 0 0 0 25 0 1 0 829163383 43896832 5034 33554432000 134512640 137138936 4291649376 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 10717 5035 1138 642 0 5865 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42868

[startup+0.700397 s]
/proc/loadavg: 2.01 1.64 1.41 3/535 25580
/proc/meminfo: memFree=28938220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=63212 CPUtime=0.69 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 11460 0 0 0 67 2 0 0 25 0 1 0 829163383 64729088 11414 33554432000 134512640 137138936 4291649376 18446744073709551615 136670803 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 15803 11415 2446 642 0 10951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63212

[startup+1.50026 s]
/proc/loadavg: 2.01 1.64 1.41 5/536 25581
/proc/meminfo: memFree=28886380/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=107360 CPUtime=1.49 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 28641 0 0 0 145 4 0 0 25 0 1 0 829163383 109936640 24387 33554432000 134512640 137138936 4291649376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 26840 24387 183 642 0 26196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107360

[startup+3.10096 s]
/proc/loadavg: 2.01 1.64 1.41 5/536 25581
/proc/meminfo: memFree=28819916/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=128968 CPUtime=3.09 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 34052 0 0 0 302 7 0 0 25 0 1 0 829163383 132063232 29798 33554432000 134512640 137138936 4291649376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 32242 29798 184 642 0 31598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128968

[startup+6.30043 s]
/proc/loadavg: 2.01 1.65 1.42 5/536 25581
/proc/meminfo: memFree=28819412/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=128968 CPUtime=6.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 34052 0 0 0 613 16 0 0 25 0 1 0 829163383 132063232 29798 33554432000 134512640 137138936 4291649376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 32242 29798 184 642 0 31598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128968

[startup+12.7003 s]
/proc/loadavg: 2.01 1.65 1.42 4/536 25582
/proc/meminfo: memFree=28836980/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=122272 CPUtime=12.69 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 41944 0 0 0 1238 31 0 0 25 0 1 0 829163383 125206528 28155 33554432000 134512640 137138936 4291649376 18446744073709551615 134618111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 30568 28155 192 642 0 29924 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122272

[startup+25.5011 s]
/proc/loadavg: 2.00 1.67 1.43 5/536 25582
/proc/meminfo: memFree=28801064/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=144580 CPUtime=25.49 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 134957 0 0 0 2509 40 0 0 25 0 1 0 829163383 148049920 33732 33554432000 134512640 137138936 4291649376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 36145 33732 192 642 0 35501 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144580

[startup+51.1006 s]
/proc/loadavg: 2.00 1.69 1.44 4/536 25583
/proc/meminfo: memFree=28781616/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=172448 CPUtime=51.09 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 346440 0 0 0 5044 65 0 0 25 0 1 0 829163383 176586752 40696 33554432000 134512640 137138936 4291649376 18446744073709551615 134600290 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 43112 40696 192 642 0 42468 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172448

[startup+102.321 s]
/proc/loadavg: 2.00 1.74 1.47 4/536 25584
/proc/meminfo: memFree=28745056/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=209932 CPUtime=102.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 767122 0 0 0 10123 108 0 0 25 0 1 0 829163383 214970368 50070 33554432000 134512640 137138936 4291649376 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 52483 50070 192 642 0 51839 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 209932

[startup+162.301 s]
/proc/loadavg: 2.00 1.78 1.50 4/536 25586
/proc/meminfo: memFree=28697172/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=246644 CPUtime=162.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 1244900 0 0 0 16071 158 0 0 25 0 1 0 829163383 252563456 59216 33554432000 134512640 137138936 4291649376 18446744073709551615 134575813 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 61661 59216 192 642 0 61017 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 246644

[startup+222.3 s]
/proc/loadavg: 2.09 1.85 1.54 4/536 25587
/proc/meminfo: memFree=28669360/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=278156 CPUtime=222.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 1660147 0 0 0 22031 198 0 0 25 0 1 0 829163383 284831744 67094 33554432000 134512640 137138936 4291649376 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 69539 67094 192 642 0 68895 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 278156

[startup+282.301 s]
/proc/loadavg: 2.11 1.90 1.57 4/536 25589
/proc/meminfo: memFree=28635864/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=313148 CPUtime=282.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 2019123 0 0 0 27997 232 0 0 25 0 1 0 829163383 320663552 75872 33554432000 134512640 137138936 4291649376 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 78287 75872 192 642 0 77643 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 313148

[startup+342.3 s]
/proc/loadavg: 2.08 1.93 1.60 5/536 25590
/proc/meminfo: memFree=28610176/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=346416 CPUtime=342.28 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 2392421 0 0 0 33960 268 0 0 25 0 1 0 829163383 354729984 84191 33554432000 134512640 137138936 4291649376 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25580/statm: 86604 84191 192 642 0 85960 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 346416

[startup+402.301 s]
/proc/loadavg: 2.03 1.94 1.63 5/536 25592
/proc/meminfo: memFree=28572220/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=377320 CPUtime=402.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 2769818 0 0 0 39921 308 0 0 25 0 1 0 829163383 386375680 91917 33554432000 134512640 137138936 4291649376 18446744073709551615 134600762 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 94330 91917 192 642 0 93686 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 377320

[startup+462.3 s]
/proc/loadavg: 2.01 1.95 1.65 5/536 25594
/proc/meminfo: memFree=28535864/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=410812 CPUtime=462.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 3149973 0 0 0 45885 344 0 0 25 0 1 0 829163383 420671488 100260 33554432000 134512640 137138936 4291649376 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 102703 100260 192 642 0 102059 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 410812

[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.66 4/536 25595
/proc/meminfo: memFree=28494312/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=451292 CPUtime=522.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 3509868 0 0 0 51850 379 0 0 25 0 1 0 829163383 462123008 110410 33554432000 134512640 137138936 4291649376 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 112823 110410 192 642 0 112179 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 451292

[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.68 4/536 25597
/proc/meminfo: memFree=28467124/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=482132 CPUtime=582.29 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 3917603 0 0 0 57806 423 0 0 25 0 1 0 829163383 493703168 118120 33554432000 134512640 137138936 4291649376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 120533 118120 192 642 0 119889 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 482132

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=28189248/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=755216 CPUtime=1122.3 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 7414805 0 0 0 111475 755 0 0 25 0 1 0 829163383 773341184 186361 33554432000 134512640 137138936 4291649376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 188804 186361 192 642 0 188160 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 755216

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.83 5/536 25613
/proc/meminfo: memFree=28164176/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=793664 CPUtime=1182.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 7758326 0 0 0 117440 791 0 0 25 0 1 0 829163383 812711936 195975 33554432000 134512640 137138936 4291649376 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 198416 195975 192 642 0 197772 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 793664

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/536 25614
/proc/meminfo: memFree=28077976/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=872428 CPUtime=1242.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 7863351 0 0 0 123429 802 0 0 25 0 1 0 829163383 893366272 215691 33554432000 134512640 137138936 4291649376 18446744073709551615 134551089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 218107 215691 192 642 0 217463 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 872428

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.84 5/536 25616
/proc/meminfo: memFree=28008880/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=943712 CPUtime=1302.33 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 7955407 0 0 0 129419 814 0 0 25 0 1 0 829163383 966361088 233515 33554432000 134512640 137138936 4291649376 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 235928 233515 192 642 0 235284 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 943712

[startup+1362.3 s]
/proc/loadavg: 2.22 2.06 1.87 4/536 25618
/proc/meminfo: memFree=27939784/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1012228 CPUtime=1362.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8070212 0 0 0 135403 828 0 0 25 0 1 0 829163383 1036521472 250644 33554432000 134512640 137138936 4291649376 18446744073709551615 134551454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 253057 250644 192 642 0 252413 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1012228

[startup+1422.32 s]
/proc/loadavg: 2.23 2.08 1.89 5/536 25619
/proc/meminfo: memFree=27911492/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1422.33 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 141396 837 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1040412

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 1.89 4/536 25621
/proc/meminfo: memFree=27911348/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1482.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 147394 837 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1040412

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 1.90 5/536 25622
/proc/meminfo: memFree=27906120/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1542.31 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 153394 837 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1040412

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.90 4/536 25624
/proc/meminfo: memFree=27905356/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1602.32 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 159394 838 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1040412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/536 25680
/proc/meminfo: memFree=27942836/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1662.32 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 165394 838 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1040412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/536 25681
/proc/meminfo: memFree=27938496/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1722.32 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 171393 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1040412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/536 25683
/proc/meminfo: memFree=27935624/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1782.32 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 177393 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1040412

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 1.91 3/536 25683
/proc/meminfo: memFree=27935864/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1785.52 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 177713 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 1040412

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27936484/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1791.94 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178355 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1040412

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27936480/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1795.14 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178675 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1040412

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27936356/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1796.73 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178834 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1040412

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27935984/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1797.53 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178914 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1040412

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27935984/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1797.92 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178953 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1040412

[startup+1798 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 25683
/proc/meminfo: memFree=27935984/32951124 swapFree=58212616/67111528
[pid=25580] ppid=25578 vsize=1040412 CPUtime=1798.02 cores=0,2,4,6
/proc/25580/stat : 25580 (bsolo) R 25578 25580 23781 0 -1 4202496 8130679 0 0 0 178963 839 0 0 25 0 1 0 829163383 1065381888 257690 33554432000 134512640 137138936 4291649376 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25580/statm: 260103 257690 192 642 0 259459 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 1040412

Child status: 0
Real time (s): 1798.07
CPU time (s): 1798.1
CPU user time (s): 1789.66
CPU system time (s): 8.43872
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1040424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.66
system time used= 8.43872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8130680
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= 5
involuntary context switches= 5973

runsolver used 10.0635 second user time and 22.2976 second system time

The end

Begin job on node136 at 2011-06-04 10:20:54
IDJOB=3463057
IDBENCH=1969
IDSOLVER=1955
FILE ID=node136/3463057-1307175654
RUNJOBID= node136-1307175382-25363
PBS_JOBID= 13508850
Free space on /tmp= 73820 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463057-1307175654/watcher-3463057-1307175654 -o /tmp/evaluation-result-3463057-1307175654/solver-3463057-1307175654 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463057-1307175654.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 325852af8542a0f454599a2893f1b120
RANDOM SEED=556767571

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28938392 kB
Buffers:        291820 kB
Cached:         564220 kB
SwapCached:       7704 kB
Active:        3300592 kB
Inactive:       417492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28938392 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:           20580 kB
Writeback:           0 kB
AnonPages:     2860664 kB
Mapped:          25756 kB
Slab:           156108 kB
PageTables:      68580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169284960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73820 MiB
End job on node136 at 2011-06-04 10:50:52