0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656569-1276360252.opb
0.00/0.00	c File size is 1337178 bytes.
0.19/0.23	c Highest Coefficient sum: 76861
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.236 s
0.19/0.26	c Var: 11247 Constr: 13116 1163/11249/704 Lit: 159944 Watch. Lit: 142892
0.19/0.26	c Obj. Vars: 773 (6.87294 % of total variables)
1.79/1.81	c Pre-processing Time: 1.814 s
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c        0  10920    12948   158810   12   143289  947966      0      0 1.81
1.79/1.81	c Switching off lower bounding mode.
1.79/1.83	o -375
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c        3  10920    12952   159617   12   144607  949506      4      1 1.83
1.79/1.84	o -460
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c        6  10920    12957   160442   12   145378  949506      9      3 1.85
1.79/1.87	o -520
2.49/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c       57  10919    13027   162121   12   146246  949506     79     30 1.88
2.49/2.50	c      157  10919    13162   163970   12   146572  500000    214     81 1.92
2.49/2.50	c      410  10815    13496   167418   12   147206  550001    548    186 2.20
2.49/2.50	c      886  10812    14142   181751   12   148660  605002   1194    358 2.47
2.49/2.50	o -2649
2.89/2.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.91	c      919  10812    14184   183718   12   149520  949472   1236    365 2.51
2.89/2.91	c     1019  10812    14327   190697   13   149861  500000   1379    378 2.69
2.89/2.91	c     1269  10740    14651   195716   13   150575  550001   1703    441 2.88
2.89/2.91	o -2699
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c     1307  10740    14702   197037   13   151389  949438   1754    448 2.91
2.99/3.00	o -3278
2.99/3.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.04	c     1394  10740    14825   199704   13   152299  949438   1877    463 3.01
2.99/3.04	o -3291
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c     1413  10740    14848   200735   13   153023  949438   1900    463 3.05
3.59/3.65	c     1514  10740    14969   207452   13   153312  500000   2021    463 3.27
3.59/3.65	c     1766  10740    15286   216567   14   154124  550001   2338    508 3.47
3.59/3.65	o -4024
3.59/3.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.67	c     1837  10740    15377   218587   14   155044  949438   2429    502 3.65
3.59/3.67	o -4225
3.69/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.74	c     1850  10740    15398   219733   14   155789  949438   2450    502 3.68
3.69/3.74	o -4233
3.99/4.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.06	c     1917  10739    15483   222193   14   156631  949438   2535    511 3.75
3.99/4.06	c     2018  10739    15603   223795   14   156754  500000   2655    529 3.81
3.99/4.06	c     2268  10739    15919   228604   14   157499  550001   2971    572 3.96
3.99/4.06	o -5459
4.09/4.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.14	c     2360  10739    16035   231247   14   158279  949438   3087    580 4.07
4.09/4.14	o -5467
6.79/6.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.88	c     2427  10739    16117   234285   14   159061  949438   3169    585 4.15
6.79/6.88	c     2528  10739    16235   237300   14   159284  500000   3287    593 4.26
6.79/6.88	c     2778  10739    16560   242748   14   160034  550001   3612    619 4.48
6.79/6.88	c     3253  10739    17131   263197   15   161952  605002   4183    602 5.40
6.79/6.88	c     4068  10735    18136   281626   15   164052  665503   5188    674 6.03
6.79/6.88	o -5472
7.99/8.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.00	c     4991  10735    19213   346617   18   166937  949438   6265    724 6.88
7.99/8.00	c     5091  10735    19366   350139   18   167053  500000   6418    724 7.02
7.99/8.00	c     5341  10734    19683   357986   18   168071  550001   6735    731 7.30
7.99/8.00	o -5987
9.38/9.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.42	c     5735  10734    20160   371757   18   169607  949438   7212    716 8.01
9.38/9.42	c     5835  10734    20280   375195   18   170099  500000   7332    716 8.15
9.38/9.42	c     6085  10734    20587   384244   18   170492  550001   7639    719 8.46
9.38/9.42	c     6560  10734    21203   400218   18   172162  605002   8255    729 8.99
9.38/9.42	o -6009
17.59/17.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.67	c     6976  10734    21730   413626   19   173780  949438   8782    740 9.43
17.59/17.67	c     7076  10734    21850   416487   19   174376  500000   8902    738 9.58
17.59/17.67	c     7328  10734    22156   427645   19   175031  550001   9208    746 9.82
17.59/17.67	c     7803  10734    22786   444993   19   176410  605002   9838    757 10.30
17.59/17.67	c     8617  10734    23757   489194   20   178430  665503  10809    772 11.16
17.59/17.67	c     9937  10734    25411   552411   21   182103  732054  12463    765 12.98
17.59/17.67	o -6010
17.89/17.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.89/17.94	c    11757  10734    27589   664559   24   188124  949438  14641    665 17.68
17.89/17.94	c    11857  10734    27709   667034   24   187995  500000  14761    663 17.87
17.89/17.94	o -6025
18.48/18.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.48/18.51	c    11891  10734    27759   668964   24   188833  949438  14811    662 17.94
18.48/18.51	c    11991  10734    27891   677100   24   189290  500000  14943    654 18.32
18.48/18.51	o -6488
19.18/19.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.18/19.23	c    12139  10734    28068   682922   24   189992  949438  15120    655 18.52
19.18/19.23	c    12240  10734    28178   689953   24   190451  500000  15230    654 18.70
19.18/19.23	c    12490  10734    28480   705417   24   191163  550001  15532    653 19.13
19.18/19.23	o -6492
20.18/20.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.18/20.27	c    12556  10734    28564   708119   24   191815  949438  15616    652 19.23
20.18/20.27	c    12656  10734    28682   712500   24   192376  500000  15734    653 19.37
20.18/20.27	c    12906  10734    28978   724174   24   193006  550001  16030    648 19.91
20.18/20.27	o -6510
22.48/22.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.48/22.57	c    13078  10734    29195   733786   25   194451  949438  16247    645 20.27
22.48/22.57	c    13178  10734    29325   737210   25   194483  500000  16377    642 20.50
22.48/22.57	c    13429  10734    29640   768411   25   195923  550001  16692    604 22.23
22.48/22.57	o -6726
23.49/23.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.49/23.52	c    13560  10734    29794   774329   25   196441  949438  16846    600 22.57
23.49/23.52	c    13660  10734    29910   780944   26   196876  500000  16962    601 22.72
23.49/23.52	c    13910  10734    30213   794889   26   197491  550001  17265    601 23.12
23.49/23.52	o -6731
23.98/24.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.98/24.05	c    14164  10734    30518   809883   26   198672  949438  17570    602 23.52
23.98/24.05	c    14265  10734    30643   813749   26   199233  500000  17695    600 23.77
23.98/24.05	o -6734
26.68/26.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.68/26.73	c    14438  10734    30846   821734   26   200422  949438  17898    600 24.05
26.68/26.73	c    14538  10734    30952   832189   26   200538  500000  18004    597 24.31
26.68/26.73	c    14789  10734    31255   841605   26   201038  550001  18307    598 24.72
26.68/26.73	c    15267  10734    31858   863003   27   202895  605002  18910    596 25.61
26.68/26.73	o -6736
27.28/27.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.28/27.30	c    15947  10734    32609   907608   27   204889  949438  19661    596 26.73
27.28/27.30	c    16048  10734    32722   910635   27   205048  500000  19774    596 26.91
27.28/27.30	o -6737
27.39/27.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.39/27.50	c    16118  10734    32813   917021   27   206276  949438  19865    590 27.30
27.39/27.50	c    16218  10734    32934   919866   27   206296  500000  19986    591 27.44
27.39/27.50	o -6991
27.88/27.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.88/27.90	c    16235  10734    32956   921043   27   207045  949438  20008    590 27.50
27.88/27.90	c    16335  10734    33081   924115   27   207308  500000  20133    588 27.74
27.88/27.90	o -6996
29.98/30.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.98/30.06	c    16398  10734    33152   928319   28   208156  949438  20204    587 27.90
29.98/30.06	c    16498  10734    33259   933504   28   208866  500000  20311    581 28.38
29.98/30.06	c    16751  10734    33594   950087   28   209430  550001  20646    581 28.78
29.98/30.06	c    17226  10734    34158   976669   28   210451  605002  21210    581 29.62
29.98/30.06	o -7004
34.17/34.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.17/34.25	c    17492  10734    34501   991472   28   211618  949438  21553    581 30.06
34.17/34.25	c    17592  10734    34619   995920   28   212265  500000  21671    581 30.25
34.17/34.25	c    17843  10734    34928  1009170   28   212976  550001  21980    579 30.76
34.17/34.25	c    18320  10734    35479  1032885   29   214199  605002  22531    580 31.54
34.17/34.25	c    19134  10734    36365  1102096   30   215977  665503  23417    575 33.22
34.17/34.25	o -7007
35.18/35.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.18/35.28	c    19743  10734    37127  1146504   30   218112  949438  24179    576 34.25
35.18/35.28	c    19843  10734    37246  1157730   31   218376  500000  24298    574 34.53
35.18/35.28	c    20095  10734    37536  1168919   31   219334  550001  24588    572 35.11
35.18/35.28	o -7030
36.67/36.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.67/36.71	c    20135  10734    37589  1171507   31   219868  949438  24641    570 35.27
36.67/36.71	c    20235  10734    37708  1174315   31   220155  500000  24760    570 35.45
36.67/36.71	c    20486  10734    38051  1196987   31   221382  550001  25103    565 36.24
36.67/36.71	o -7031
37.38/37.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.38/37.43	c    20688  10734    38292  1207529   31   222330  949438  25344    563 36.70
37.38/37.43	c    20790  10734    38415  1222916   31   222896  500000  25467    558 37.20
37.38/37.43	o -7080
43.28/43.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.28/43.32	c    20864  10734    38505  1230599   31   223225  949438  25557    557 37.42
43.28/43.32	c    20964  10734    38627  1239273   32   224064  500000  25679    554 37.79
43.28/43.32	c    21214  10734    38913  1252323   32   224577  550001  25965    555 38.22
43.28/43.32	c    21692  10734    39445  1357906   34   226360  605002  26497    504 42.97
43.28/43.32	o -7081
48.97/49.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.97/49.06	c    21838  10734    39611  1368216   34   227034  949438  26663    504 43.31
48.97/49.06	c    21938  10734    39734  1376278   34   227061  500000  26786    500 43.80
48.97/49.06	c    22189  10734    40033  1392968   34   228121  550001  27085    500 44.32
48.97/49.06	c    22666  10734    40562  1424399   35   229028  605002  27614    498 45.44
48.97/49.06	c    23479  10734    41470  1506641   36   231005  665503  28522    487 48.12
48.97/49.06	o -7086
53.07/53.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.07/53.11	c    23697  10734    41735  1521196   36   231955  949438  28787    483 49.05
53.07/53.11	c    23797  10734    41857  1526852   36   232231  500000  28909    483 49.23
53.07/53.11	c    24048  10727    42143  1541246   36   233068  550001  29195    479 50.16
53.07/53.11	c    24524  10726    42676  1599276   37   234459  605002  29728    475 51.62
53.07/53.11	o -7087
55.07/55.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.07/55.19	c    25185  10726    43485  1647218   37   236699  949438  30537    474 53.10
55.07/55.19	c    25286  10726    43607  1653430   37   237094  500000  30659    472 53.47
55.07/55.19	c    25536  10726    43901  1667367   37   237800  550001  30953    472 54.10
55.07/55.19	o -7089
60.67/60.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.67/60.73	c    25884  10726    44320  1691043   38   238784  949438  31372    469 55.18
60.67/60.73	c    25984  10726    44432  1695865   38   239317  500000  31484    468 55.46
60.67/60.73	c    26235  10726    44716  1709649   38   239823  550001  31768    466 56.18
60.67/60.73	c    26710  10726    45257  1735795   38   241336  605002  32309    466 57.23
60.67/60.73	c    27523  10726    46158  1806444   39   243338  665503  33210    457 60.17
60.67/60.73	o -7093
62.07/62.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.07/62.19	c    27844  10726    46561  1827529   39   244449  949438  33613    458 60.72
62.07/62.19	c    27945  10718    46684  1832439   39   245055  500000  33736    458 60.97
62.07/62.19	c    28195  10718    46988  1846254   39   245805  550001  34040    457 61.61
62.07/62.19	o -7094
62.96/63.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.96/63.05	c    28452  10718    47316  1866389   39   246860  949438  34368    457 62.18
62.96/63.05	c    28556  10718    47434  1874333   39   247053  500000  34486    457 62.48
62.96/63.05	o -7096
66.26/66.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.26/66.39	c    28706  10718    47597  1886717   39   248004  949438  34649    455 63.04
66.26/66.39	c    28806  10718    47714  1892283   39   248475  500000  34766    454 63.31
66.26/66.39	c    29056  10718    47994  1909740   39   249231  550001  35046    453 64.07
66.26/66.39	c    29531  10718    48604  1945306   40   250407  605002  35656    452 65.26
66.26/66.39	o -7099
66.97/67.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.97/67.01	c    29834  10718    48994  1966481   40   252444  949438  36046    449 66.38
66.97/67.01	c    29934  10718    49110  1971532   40   252605  500000  36162    448 66.72
66.97/67.01	o -7100
68.97/69.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
68.97/69.04	c    30032  10718    49222  1977172   40   253461  949438  36274    448 66.99
68.97/69.04	c    30132  10718    49341  1983144   40   253209  500000  36393    447 67.37
68.97/69.04	c    30384  10718    49632  1998652   40   253718  550001  36684    446 67.99
68.97/69.04	o -7110
69.46/69.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
69.46/69.50	c    30550  10718    49826  2026265   40   255797  949438  36878    442 69.02
69.46/69.50	c    30650  10718    49948  2031768   40   255455  500000  37000    442 69.31
69.46/69.50	o -7111
70.86/70.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.86/70.91	c    30730  10718    50055  2037282   40   256709  949438  37107    442 69.49
70.86/70.91	c    30830  10718    50167  2044184   40   257123  500000  37219    442 69.75
70.86/70.91	c    31080  10718    50431  2055963   40   258006  550001  37483    441 70.36
70.86/70.91	o -7119
71.16/71.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.16/71.23	c    31256  10718    50630  2065721   40   258718  949438  37682    440 70.89
71.16/71.23	o -7120
71.77/71.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.77/71.83	c    31352  10718    50751  2070507   40   259952  949438  37803    440 71.22
71.77/71.83	c    31452  10718    50868  2077339   40   260040  500000  37920    439 71.48
71.77/71.83	o -7124
72.07/72.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.07/72.14	c    31523  10718    50956  2083426   40   260835  949438  38008    438 71.82
72.07/72.14	o -7129
74.56/74.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.56/74.65	c    31588  10718    51040  2088119   40   261435  949438  38092    437 72.12
74.56/74.65	c    31689  10718    51167  2095753   40   262681  500000  38219    433 73.14
74.56/74.65	c    31941  10718    51486  2110714   40   263129  550001  38538    432 73.91
74.56/74.65	o -7134
75.56/75.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.56/75.66	c    32142  10718    51731  2128913   41   264138  949438  38783    430 74.64
75.56/75.66	c    32243  10718    51844  2134796   41   264561  500000  38896    429 75.02
75.56/75.66	o -7139
76.07/76.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.07/76.12	c    32420  10718    52066  2151266   41   265474  949438  39118    428 75.65
76.07/76.12	c    32520  10718    52184  2156806   41   266882  500000  39236    427 76.00
76.07/76.12	o -7154
83.66/83.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.66/83.76	c    32549  10718    52219  2158436   41   266386  949438  39271    427 76.11
83.66/83.76	c    32649  10718    52342  2166786   41   267094  500000  39394    427 76.44
83.66/83.76	c    32899  10718    52624  2183044   41   267861  550001  39676    426 77.22
83.66/83.76	c    33375  10718    53169  2224037   41   268609  605002  40221    423 78.89
83.66/83.76	c    34188  10718    54036  2297925   42   270629  665503  41088    418 81.76
83.66/83.76	o -7155
85.86/85.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
85.86/85.91	c    34860  10718    54802  2350913   42   272898  949438  41854    416 83.74
85.86/85.91	c    34960  10718    54915  2355784   42   273286  500000  41967    416 83.91
85.86/85.91	c    35211  10718    55236  2369453   42   274082  550001  42288    415 84.69
85.86/85.91	o -7156
89.66/89.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.66/89.76	c    35614  10718    55732  2397440   43   275400  949438  42784    414 85.89
89.66/89.76	c    35714  10718    55847  2403145   43   275758  500000  42899    413 86.40
89.66/89.76	c    35965  10718    56141  2421270   43   276879  550001  43193    411 87.43
89.66/89.76	c    36440  10718    56677  2465015   43   277725  605002  43729    409 89.05
89.66/89.76	o -7232
96.05/96.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.05/96.14	c    36672  10718    56957  2478638   43   278662  949438  44009    408 89.74
96.05/96.14	c    36774  10718    57061  2484183   43   279249  500000  44113    407 90.21
96.05/96.14	c    37024  10718    57345  2507852   43   279776  550001  44397    403 91.80
96.05/96.14	c    37501  10718    57874  2547854   44   281240  605002  44926    398 94.22
96.05/96.14	o -7234
97.16/97.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.16/97.28	c    38135  10718    58569  2584340   44   283302  949438  45621    396 96.12
97.16/97.28	c    38235  10718    58696  2592546   44   283809  500000  45748    396 96.43
97.16/97.28	o -7237
100.96/101.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.96/101.00	c    38405  10718    58913  2605068   44   284460  949438  45965    394 97.26
100.96/101.00	c    38505  10718    59034  2609903   44   285269  500000  46086    394 97.63
100.96/101.00	c    38756  10718    59340  2625593   44   285510  550001  46392    393 98.50
100.96/101.00	c    39232  10718    59887  2666619   44   287234  605002  46939    389 100.75
100.96/101.00	o -7261
101.06/101.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.06/101.16	c    39295  10718    59969  2672089   44   287040  949438  47021    389 100.98
101.06/101.16	o -7271
104.46/104.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
104.46/104.57	c    39325  10718    60008  2674966   44   287870  949438  47060    388 101.14
104.46/104.57	c    39425  10718    60126  2680956   44   288394  500000  47178    388 101.43
104.46/104.57	c    39675  10718    60409  2694041   44   289690  550001  47461    388 102.11
104.46/104.57	c    40150  10718    60925  2715267   44   290401  605002  47977    388 103.26
104.46/104.57	o -7274
112.85/112.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
112.85/112.98	c    40505  10718    61343  2740785   44   291987  949438  48395    387 104.54
112.85/112.98	c    40606  10718    61467  2747953   44   292110  500000  48519    386 105.07
112.85/112.98	c    40856  10718    61736  2762005   44   292993  550001  48788    385 106.04
112.85/112.98	c    41331  10718    62303  2788026   44   294089  605002  49355    382 107.93
112.85/112.98	c    42144  10718    63239  2839417   44   296167  665503  50291    379 111.14
112.85/112.98	o -7275
142.54/142.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
142.54/142.65	c    42637  10718    63864  2887088   45   298119  949438  50916    377 112.95
142.54/142.65	c    42737  10718    63984  2894138   45   298267  500000  51036    376 113.39
142.54/142.65	c    42988  10718    64284  2909182   45   299298  550001  51336    375 114.33
142.54/142.65	c    43465  10718    64844  2940780   45   300420  605002  51896    374 116.11
142.54/142.65	c    44278  10718    65739  3011849   45   302499  665503  52791    361 122.54
142.54/142.65	c    45598  10718    67262  3130251   46   305671  732054  54314    350 130.05
142.54/142.65	c    47679  10718    69680  3260859   46   310351  805260  56732    346 137.77
142.54/142.65	o -7279
157.54/157.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
157.54/157.68	c    48632  10718    70741  3331517   47   313589  949438  57793    341 142.61
157.54/157.68	c    48732  10718    70863  3338807   47   313263  500000  57915    340 143.17
157.54/157.68	c    48982  10718    71144  3353214   47   314343  550001  58196    339 144.21
157.54/157.68	c    49457  10718    71666  3404661   47   316109  605002  58718    337 146.59
157.54/157.68	c    50272  10718    72559  3464395   47   317898  665503  59611    336 149.39
157.54/157.68	c    51592  10718    74057  3564787   48   322068  732054  61109    333 154.93
157.54/157.68	o -7284
185.43/185.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.43/185.51	c    52205  10718    74787  3603462   48   323644  949438  61839    331 157.64
185.43/185.51	c    52305  10718    74895  3609559   48   324174  500000  61947    330 158.09
185.43/185.51	c    52555  10718    75192  3629923   48   324936  550001  62244    330 159.09
185.43/185.51	c    53030  10718    75713  3697786   48   325183  605002  62765    326 162.41
185.43/185.51	c    53844  10718    76623  3781051   49   327383  665503  63675    325 165.64
185.43/185.51	c    55164  10718    78212  3938553   50   330903  732054  65264    320 172.13
185.43/185.51	c    57245  10718    80724  4159273   51   336055  805260  67776    317 180.54
185.43/185.51	o -7285
189.73/189.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
189.73/189.89	c    58151  10718    81790  4246212   51   338541  949438  68842    313 185.46
189.73/189.89	c    58252  10718    81914  4252563   51   339577  500000  68966    313 186.03
189.73/189.89	c    58503  10718    82202  4274193   51   339661  550001  69254    312 187.25
189.73/189.89	c    58978  10718    82775  4314991   52   341125  605002  69827    311 189.18
189.73/189.89	o -7295
193.13/193.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.13/193.22	c    59066  10718    82879  4320791   52   341327  949438  69931    311 189.84
193.13/193.22	c    59166  10718    83004  4327569   52   341859  500000  70056    311 190.15
193.13/193.22	c    59417  10718    83290  4340906   52   343184  550001  70342    310 191.26
193.13/193.22	o -7299
194.64/194.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.64/194.75	c    59834  10718    83771  4367726   52   344534  949438  70823    309 193.17
194.64/194.75	c    59934  10718    83896  4373203   52   344872  500000  70948    309 193.71
194.64/194.75	o -7300
196.53/196.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
196.53/196.68	c    60123  10718    84118  4389393   52   345947  949438  71170    308 194.69
196.53/196.68	c    60223  10718    84237  4394279   52   346552  500000  71289    308 195.38
196.53/196.68	o -7332
200.93/201.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
200.93/201.00	c    60456  10718    84495  4405760   52   347255  949438  71547    307 196.63
200.93/201.00	c    60556  10718    84617  4411183   52   347349  500000  71669    307 197.21
200.93/201.00	c    60807  10718    84915  4428615   52   348547  550001  71967    306 198.39
200.93/201.00	o -7334
216.53/216.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.53/216.69	c    61025  10718    85154  4455503   52   349768  949438  72206    303 200.95
216.53/216.69	c    61128  10718    85274  4461152   52   349767  500000  72326    303 201.56
216.53/216.69	c    61379  10718    85560  4474758   52   350408  550001  72612    302 202.74
216.53/216.69	c    61854  10718    86062  4508499   52   351868  605002  73114    301 204.89
216.53/216.69	c    62668  10718    86904  4656944   53   353907  665503  73956    298 210.05
216.53/216.69	c    63988  10718    88309  4764130   53   356908  732054  75361    295 216.50
216.53/216.69	o -7339
219.52/219.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
219.52/219.69	c    63994  10718    88320  4765052   53   357033  949438  75372    295 216.64
219.52/219.69	c    64094  10718    88439  4769844   53   356938  500000  75491    295 217.14
219.52/219.69	c    64344  10718    88733  4788741   53   358812  550001  75785    294 218.34
219.52/219.69	o -7342
221.92/222.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
221.92/222.05	c    64621  10718    89076  4809535   53   358870  949438  76128    294 219.63
221.92/222.05	c    64721  10718    89201  4816869   54   359984  500000  76253    293 220.16
221.92/222.05	c    64971  10718    89503  4839939   54   360704  550001  76555    293 221.61
221.92/222.05	o -7349
223.62/223.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
223.62/223.76	c    65035  10718    89575  4846039   54   361027  949438  76627    292 221.99
223.62/223.76	c    65135  10718    89693  4852381   54   361794  500000  76745    292 222.40
223.62/223.76	c    65386  10718    89977  4869814   54   362680  550001  77029    292 223.36
223.62/223.76	o -7355
223.82/223.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
223.82/223.94	c    65518  10718    90134  4878281   54   362382  949438  77186    292 223.70
223.82/223.94	o -7360
226.43/226.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
226.43/226.59	c    65541  10718    90165  4880135   54   363343  949438  77217    292 223.88
226.43/226.59	c    65644  10718    90298  4886652   54   363398  500000  77350    292 224.10
226.43/226.59	c    65894  10718    90562  4902053   54   365100  550001  77614    292 225.28
226.43/226.59	o -7363
227.82/227.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.82/227.91	c    66161  10718    90885  4923089   54   365273  949438  77937    292 226.53
227.82/227.91	c    66264  10718    91002  4932362   54   367276  500000  78054    291 227.34
227.82/227.91	o -7366
232.82/232.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
232.82/232.93	c    66379  10718    91130  4942513   54   366813  949438  78182    291 227.85
232.82/232.93	c    66480  10718    91261  4948826   54   368040  500000  78313    291 228.33
232.82/232.93	c    66731  10718    91580  4967471   54   368165  550001  78632    291 229.13
232.82/232.93	c    67207  10718    92146  5000285   54   370115  605002  79198    290 231.10
232.82/232.93	o -7370
234.71/234.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
234.71/234.89	c    67561  10718    92560  5024420   54   371177  949438  79612    290 232.87
234.71/234.89	c    67662  10718    92671  5030300   54   371330  500000  79723    290 233.15
234.71/234.89	c    67912  10718    92941  5042602   54   372412  550001  79993    289 234.53
234.71/234.89	o -7375
235.52/235.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
235.52/235.61	c    67942  10718    92975  5044702   54   372867  949438  80027    289 234.83
235.52/235.61	c    68042  10718    93089  5051640   54   373092  500000  80141    289 235.28
235.52/235.61	o -7376
242.21/242.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.21/242.36	c    68076  10718    93128  5054203   54   373761  949438  80180    289 235.55
242.21/242.36	c    68176  10718    93241  5062747   54   374117  500000  80293    288 236.18
242.21/242.36	c    68427  10718    93557  5074404   54   374369  550001  80609    288 237.13
242.21/242.36	c    68902  10718    94079  5111238   54   376356  605002  81131    286 240.60
242.21/242.36	o -7380
243.92/244.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
243.92/244.05	c    69220  10718    94454  5133062   54   376786  949438  81506    285 242.29
243.92/244.05	c    69321  10718    94561  5140554   54   377865  500000  81613    284 243.24
243.92/244.05	o -7385
244.51/244.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
244.51/244.67	c    69415  10718    94679  5150941   54   378346  949438  81731    284 243.98
244.51/244.67	o -7390
253.61/253.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
253.61/253.75	c    69513  10718    94787  5156709   54   379589  949438  81839    284 244.61
253.61/253.75	c    69613  10718    94913  5165998   54   379918  500000  81965    283 245.57
253.61/253.75	c    69865  10718    95214  5194730   54   380321  550001  82266    283 246.60
253.61/253.75	c    70340  10718    95760  5241396   54   381963  605002  82812    280 251.03
253.61/253.75	o -7394
261.61/261.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
261.61/261.70	c    70819  10718    96390  5283174   54   383877  949438  83442    279 253.67
261.61/261.70	c    70922  10718    96502  5291593   54   384777  500000  83554    278 254.38
261.61/261.70	c    71172  10718    96777  5308694   54   384482  550001  83829    278 255.81
261.61/261.70	c    71647  10718    97315  5362130   55   385186  605002  84367    277 258.42
261.61/261.70	o -7395
263.40/263.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
263.40/263.59	c    72216  10718    97969  5400262   55   388275  949438  85021    276 261.63
263.40/263.59	c    72317  10718    98082  5408124   55   388133  500000  85134    275 262.51
263.40/263.59	o -7396
270.71/270.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
270.71/270.85	c    72493  10718    98280  5423665   55   389184  949438  85332    275 263.52
270.71/270.85	c    72594  10718    98389  5434554   55   389170  500000  85441    274 264.30
270.71/270.85	c    72845  10718    98659  5452518   55   390593  550001  85711    274 265.71
270.71/270.85	c    73320  10718    99197  5493572   55   391060  605002  86249    273 268.44
270.71/270.85	o -7412
271.51/271.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
271.51/271.69	c    73550  10718    99445  5521143   55   392407  949438  86497    271 270.77
271.51/271.69	o -7416
272.80/272.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.80/272.96	c    73648  10718    99562  5538702   55   393983  949438  86614    271 271.62
272.80/272.96	c    73748  10718    99665  5543977   55   394681  500000  86717    270 272.22
272.80/272.96	o -7419
273.71/273.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
273.71/273.85	c    73827  10718    99751  5548102   55   394940  949438  86803    270 272.89
273.71/273.85	o -7426
273.90/274.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
273.90/274.05	c    73913  10718    99847  5554905   55   395802  949438  86899    269 273.78
273.90/274.05	o -7445
274.50/274.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
274.50/274.67	c    73931  10718    99873  5556260   55   396048  949438  86925    269 273.97
274.50/274.67	o -7594
275.71/275.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
275.71/275.84	c    74018  10718    99981  5563286   55   397421  949438  87033    269 274.60
275.71/275.84	c    74119  10718   100082  5568204   55   398794  500000  87134    269 275.38
275.71/275.84	o -7595
277.30/277.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
277.30/277.40	c    74169  10718   100142  5572411   55   397779  949438  87194    268 275.77
277.30/277.40	c    74275  10718   100259  5582003   55   399725  500000  87311    268 276.50
277.30/277.40	o -7596
278.50/278.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
278.50/278.65	c    74392  10718   100392  5589748   55   399951  949438  87444    268 277.32
278.50/278.65	c    74493  10718   100515  5595813   55   400888  500000  87567    267 278.05
278.50/278.65	o -7654
279.69/279.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
279.69/279.88	c    74555  10718   100591  5600560   55   400757  949438  87643    267 278.57
279.69/279.88	c    74655  10718   100693  5605982   55   402461  500000  87745    267 279.32
279.69/279.88	o -7659
288.50/288.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
288.50/288.60	c    74693  10718   100739  5608972   55   402282  949438  87791    266 279.80
288.50/288.60	c    74793  10718   100851  5619120   55   403530  500000  87903    266 280.80
288.50/288.60	c    75043  10718   101133  5632399   55   403937  550001  88185    265 282.31
288.50/288.60	c    75518  10718   101637  5739924   56   405181  605002  88689    263 286.91
288.50/288.60	o -7663
294.49/294.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
294.49/294.62	c    75827  10718   102003  5759543   56   404885  949438  89055    262 288.52
294.49/294.62	c    75929  10718   102123  5773838   56   406042  500000  89175    262 289.54
294.49/294.62	c    76179  10718   102431  5793676   56   407430  550001  89483    261 290.92
294.49/294.62	c    76654  10718   102982  5821557   56   408063  605002  90034    261 293.51
294.49/294.62	o -7665
329.58/329.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
329.58/329.76	c    76786  10718   103126  5830614   56   408087  949438  90178    260 294.53
329.58/329.76	c    76886  10718   103237  5851474   56   409007  500000  90289    259 295.95
329.58/329.76	c    77136  10718   103529  5884671   56   409760  550001  90581    258 297.96
329.58/329.76	c    77614  10718   104066  5925271   56   410474  605002  91118    258 300.60
329.58/329.76	c    78427  10718   104922  6077828   57   412413  665503  91974    254 307.57
329.58/329.76	c    79748  10718   106485  6153093   57   416867  732054  93537    253 315.11
329.58/329.76	c    81830  10718   108841  6313457   58   420835  805260  95893    249 327.70
329.58/329.76	o -7669
333.78/333.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.78/333.90	c    82109  10718   109145  6330520   58   421542  949438  96197    249 329.66
333.78/333.90	c    82209  10718   109253  6340906   58   421097  500000  96305    248 330.32
333.78/333.90	c    82459  10718   109515  6368262   58   422281  550001  96567    248 332.37
333.78/333.90	o -7670
335.39/335.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
335.39/335.55	c    82608  10718   109685  6380712   58   423718  949438  96737    247 333.81
335.39/335.55	c    82711  10718   109808  6392760   58   424570  500000  96860    247 334.74
335.39/335.55	o -7671
341.78/341.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
341.78/341.98	c    82830  10718   109935  6400708   58   424394  949438  96987    246 335.45
341.78/341.98	c    82930  10718   110045  6408650   58   425737  500000  97097    246 336.18
341.78/341.98	c    83180  10718   110331  6429609   58   425173  550001  97383    246 337.69
341.78/341.98	c    83655  10718   110825  6458305   58   427542  605002  97877    245 340.74
341.78/341.98	o -7675
342.68/342.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
342.68/342.87	c    83853  10718   111042  6470458   58   428181  949438  98094    245 341.88
342.68/342.87	c    83953  10718   111154  6475646   58   428112  500000  98206    245 342.45
342.68/342.87	o -7694
343.38/343.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
343.38/343.57	c    84017  10718   111231  6479159   58   428609  949438  98283    245 342.77
343.38/343.57	o -7699
344.98/345.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
344.98/345.16	c    84081  10718   111300  6485320   58   429653  949438  98352    244 343.47
344.98/345.16	c    84181  10718   111415  6490073   58   430972  500000  98467    244 344.21
344.98/345.16	o -7702
346.28/346.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.28/346.41	c    84308  10718   111553  6497752   58   431441  949438  98605    244 345.06
346.28/346.41	c    84408  10718   111663  6502819   58   432244  500000  98715    243 345.94
346.28/346.41	o -7705
346.39/346.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.39/346.54	c    84447  10718   111712  6505284   58   432034  949438  98764    243 346.31
346.39/346.54	o -8594
346.48/346.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.48/346.67	c    84456  10718   111725  6506263   58   430182  949438  98777    243 346.44
346.48/346.67	o -8599
346.58/346.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.58/346.75	c    84469  10718   111741  6507865   58   430756  949438  98793    243 346.57
346.58/346.75	o -8609
346.68/346.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.68/346.82	c    84471  10718   111746  6508737   58   431106  949438  98798    243 346.65
346.68/346.82	o -8614
468.34/468.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
468.34/468.52	c    84472  10718   111748  6509531   58   431449  949438  98800    243 346.72
468.34/468.52	c    84574  10718   111876  6516863   58   431773  500000  98928    243 347.19
468.34/468.52	c    84825  10718   112152  6540428   58   434648  550001  99204    243 348.64
468.34/468.52	c    85301  10718   112684  6591568   58   434067  605002  99736    242 351.43
468.34/468.52	c    86115  10718   113551  6633949   58   436236  665503 100603    242 355.45
468.34/468.52	c    87435  10718   115097  6737467   58   438423  732054 102149    241 362.19
468.34/468.52	c    89516  10718   117360  7038382   59   442841  805260 104412    240 372.44
468.34/468.52	c    92739  10718   121622  7376810   60   450607  885787 108674    237 391.30
468.34/468.52	c    97678  10718   127139  7834358   61   462185  974366 114191    231 421.62
468.34/468.52	c   105184  10718   135173  8725075   64   479608  500000 122225    225 465.82
468.34/468.52	o -8615
479.34/479.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
479.34/479.53	c   105663  10718   135693  8754453   64   480433  949438 122745    225 468.38
479.34/479.53	c   105763  10718   135808  8763819   64   481021  500000 122860    225 469.08
479.34/479.53	c   106014  10718   136086  8799962   64   480593  550001 123138    224 471.56
479.34/479.53	c   106489  10718   136620  8842579   64   483164  605002 123672    224 474.47
479.34/479.53	o -8619
484.54/484.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
484.54/484.75	c   107270  10718   137444  8954384   65   484063  949438 124496    223 479.38
484.54/484.75	c   107371  10718   137559  8960025   65   485805  500000 124611    223 480.19
484.54/484.75	c   107621  10718   137832  9002136   65   485827  550001 124884    223 482.10
484.54/484.75	o -8624
526.21/526.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
526.21/526.41	c   108059  10718   138315  9032220   65   487361  949438 125367    222 484.61
526.21/526.41	c   108159  10718   138429  9039616   65   487650  500000 125481    222 485.29
526.21/526.41	c   108409  10718   138695  9064569   65   488427  550001 125747    222 486.89
526.21/526.41	c   108884  10718   139193  9089315   65   488589  605002 126245    222 488.88
526.21/526.41	c   109697  10718   140081  9158025   65   491458  665503 127133    221 494.15
526.21/526.41	c   111018  10718   141529  9382715   66   493709  732054 128581    221 502.30
526.21/526.41	c   113099  10718   143695  9614916   66   498700  805260 130747    219 516.08
526.21/526.41	o -8625
554.12/554.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
554.12/554.40	c   114966  10718   145745  9783220   67   503006  949438 132797    218 526.25
554.12/554.40	c   115066  10718   145863  9790841   67   504672  500000 132915    218 526.87
554.12/554.40	c   115316  10718   146140  9815954   67   504032  550001 133192    218 528.43
554.12/554.40	c   115791  10718   146654  9875436   67   504883  605002 133706    217 533.48
554.12/554.40	c   116604  10718   147540  9970667   67   507471  665503 134592    216 538.48
554.12/554.40	c   117924  10717   148977 10174936   68   511093  732054 136029    213 551.60
554.12/554.40	o -8629
577.41/577.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
577.41/577.67	c   118250  10717   149357 10204843   68   511727  949438 136409    213 554.23
577.41/577.67	c   118350  10717   149465 10209957   68   512259  500000 136517    213 554.97
577.41/577.67	c   118600  10717   149731 10227192   68   512878  550001 136783    213 556.40
577.41/577.67	c   119076  10717   150255 10256114   68   513787  605002 137307    212 559.59
577.41/577.67	c   119890  10717   151149 10310200   68   514778  665503 138201    212 563.79
577.41/577.67	c   121210  10717   152547 10489627   68   518260  732054 139599    210 575.40
577.41/577.67	o -8634
596.20/596.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
596.20/596.45	c   121553  10717   152915 10508189   68   519582  949438 139967    210 577.49
596.20/596.45	c   121654  10717   153028 10515521   68   520007  500000 140080    210 578.41
596.20/596.45	c   121904  10717   153289 10533268   68   520821  550001 140341    210 580.04
596.20/596.45	c   122379  10717   153785 10558015   68   521818  605002 140837    210 582.66
596.20/596.45	c   123192  10717   154634 10601265   68   523467  665503 141686    208 589.51
596.20/596.45	o -8639
602.40/602.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
602.40/602.61	c   124330  10717   155810 10684545   68   525948  949438 142862    208 596.27
602.40/602.61	c   124430  10717   155917 10691531   68   526527  500000 142969    208 597.19
602.40/602.61	c   124680  10717   156192 10723798   68   527256  550001 143244    208 599.28
602.40/602.61	o -8644
605.39/605.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
605.39/605.62	c   125095  10717   156644 10763807   68   528462  949438 143696    207 602.42
605.39/605.62	c   125195  10717   156751 10772083   68   528732  500000 143803    207 603.30
605.39/605.62	o -8649
630.88/631.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
630.88/631.16	c   125404  10717   156978 10791196   68   529909  949438 144030    207 605.44
630.88/631.16	c   125505  10717   157082 10799014   68   530437  500000 144134    207 606.27
630.88/631.16	c   125755  10717   157343 10812158   68   531022  550001 144395    206 608.09
630.88/631.16	c   126230  10717   157844 10854447   68   532217  605002 144896    205 613.43
630.88/631.16	c   127043  10717   158727 10906118   68   533618  665503 145779    205 618.24
630.88/631.16	c   128363  10717   160134 11003674   68   536976  732054 147186    204 628.14
630.88/631.16	o -8654
634.49/634.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
634.49/634.74	c   128854  10717   160650 11061433   68   537309  949438 147702    204 630.97
634.49/634.74	c   128954  10717   160762 11068214   68   538983  500000 147814    204 631.81
634.49/634.74	o -8659
652.97/653.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
652.97/653.28	c   129161  10717   160993 11108937   69   540423  949438 148045    203 634.54
652.97/653.28	c   129263  10717   161103 11117046   69   540333  500000 148155    203 635.40
652.97/653.28	c   129513  10717   161373 11129012   68   541305  550001 148425    203 637.54
652.97/653.28	c   129989  10717   161882 11159298   68   541660  605002 148934    202 640.59
652.97/653.28	c   130802  10717   162801 11279471   69   544176  665503 149853    201 648.16
652.97/653.28	o -8664
654.38/654.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
654.38/654.60	c   131443  10717   163557 11373446   69   545595  949438 150609    201 653.08
654.38/654.60	c   131544  10717   163664 11380227   69   546331  500000 150716    201 654.12
654.38/654.60	o -8669
654.58/654.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
654.58/654.83	c   131561  10717   163686 11381751   69   545877  949438 150738    201 654.40
654.58/654.83	o -8670
677.57/677.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
677.57/677.82	c   131573  10717   163702 11383354   69   546490  949438 150754    200 654.62
677.57/677.82	c   131673  10717   163809 11387284   69   548538  500000 150861    200 655.37
677.57/677.82	c   131923  10717   164112 11412069   69   548753  550001 151164    200 657.14
677.57/677.82	c   132398  10717   164703 11442029   69   549993  605002 151755    200 660.15
677.57/677.82	c   133211  10717   165731 11527076   69   551943  665503 152783    200 665.09
677.57/677.82	c   134531  10717   167165 11749014   70   555410  732054 154217    198 676.46
677.57/677.82	o -8671
691.57/691.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
691.57/691.83	c   134689  10717   167344 11758425   70   555208  949438 154396    198 677.61
691.57/691.83	c   134790  10717   167461 11772164   70   556593  500000 154513    198 678.71
691.57/691.83	c   135042  10717   167776 11794844   70   556456  550001 154828    198 680.75
691.57/691.83	c   135517  10717   168295 11838754   70   559037  605002 155347    198 684.26
691.57/691.83	o -8674
694.26/694.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
694.26/694.55	c   136281  10717   169207 11933469   70   559562  949438 156259    197 691.61
694.26/694.55	c   136382  10717   169312 11938319   70   561499  500000 156364    196 692.54
694.26/694.55	o -8679
722.56/722.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
722.56/722.87	c   136627  10717   169586 11959179   70   561353  949438 156638    196 694.34
722.56/722.87	c   136727  10717   169690 11973263   70   562174  500000 156742    196 695.73
722.56/722.87	c   136982  10717   170006 11992690   70   562823  550001 157058    196 697.61
722.56/722.87	c   137458  10717   170519 12046968   70   564266  605002 157571    194 706.36
722.56/722.87	c   138271  10717   171365 12102956   70   564994  665503 158417    194 711.27
722.56/722.87	c   139591  10717   172750 12179125   70   568917  732054 159802    193 719.90
722.56/722.87	o -8680
738.45/738.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
738.45/738.77	c   140011  10717   173181 12208562   70   569421  949438 160233    193 722.64
738.45/738.77	c   140113  10717   173308 12220113   70   570672  500000 160360    193 724.14
738.45/738.77	c   140364  10717   173567 12235320   70   571610  550001 160619    193 726.99
738.45/738.77	c   140839  10717   174085 12269888   70   571614  605002 161137    192 730.50
738.45/738.77	c   141653  10717   174933 12338148   70   573913  665503 161985    192 737.07
738.45/738.77	o -8684
742.04/742.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
742.04/742.34	c   141777  10717   175083 12359196   70   574244  949438 162135    191 738.54
742.04/742.34	c   141878  10717   175197 12369802   70   576578  500000 162249    191 739.46
742.04/742.34	c   142128  10717   175475 12395282   70   576101  550001 162527    191 741.05
742.04/742.34	o -8685
778.73/779.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
778.73/779.01	c   142217  10717   175584 12402875   70   575368  949438 162636    191 742.10
778.73/779.01	c   142318  10717   175694 12407226   70   578073  500000 162746    191 743.19
778.73/779.01	c   142568  10717   175969 12425155   70   576446  550001 163021    191 744.75
778.73/779.01	c   143045  10717   176546 12458488   70   579181  605002 163598    191 748.16
778.73/779.01	c   143859  10717   177456 12546622   70   580493  665503 164508    190 754.57
778.73/779.01	c   145179  10717   178866 12638094   70   583826  732054 165918    190 763.93
778.73/779.01	o -8689
815.62/815.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
815.62/815.94	c   146749  10717   180645 12849912   71   587015  949438 167697    188 778.76
815.62/815.94	c   146849  10717   180766 12858893   71   589386  500000 167818    188 779.99
815.62/815.94	c   147099  10717   181037 12891061   71   588049  550001 168089    188 782.07
815.62/815.94	c   147574  10717   181535 12920565   71   590557  605002 168587    187 786.24
815.62/815.94	c   148387  10717   182456 13004330   71   590734  665503 169508    187 792.78
815.62/815.94	c   149707  10717   183875 13212308   71   595376  732054 170927    184 811.66
815.62/815.94	o -8694
818.22/818.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
818.22/818.52	c   150162  10717   184359 13248729   71   596345  949438 171411    184 815.69
818.22/818.52	c   150264  10717   184470 13261005   71   598171  500000 171522    183 817.17
818.22/818.52	o -8697
845.61/845.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
845.61/845.98	c   150397  10717   184634 13271444   71   596337  949438 171686    183 818.26
845.61/845.98	c   150497  10717   184743 13280816   71   598644  500000 171795    183 819.38
845.61/845.98	c   150747  10717   185041 13306699   71   597899  550001 172093    183 821.43
845.61/845.98	c   151222  10717   185525 13334996   71   600413  605002 172577    183 825.56
845.61/845.98	c   152035  10717   186534 13412701   71   601088  665503 173586    183 830.71
845.61/845.98	c   153356  10717   187932 13581454   72   605058  732054 174984    182 841.72
845.61/845.98	o -8699
875.40/875.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
875.40/875.77	c   153818  10717   188421 13616469   72   606224  949438 175473    181 845.71
875.40/875.77	c   153918  10717   188531 13623299   72   606243  500000 175583    181 846.88
875.40/875.77	c   154168  10717   188809 13643600   72   607702  550001 175861    181 849.54
875.40/875.77	c   154643  10717   189294 13707530   72   608477  605002 176346    181 854.34
875.40/875.77	c   155457  10717   190191 13779575   72   610025  665503 177243    180 860.77
875.40/875.77	c   156777  10717   191642 13941552   72   613821  732054 178694    179 873.13
875.40/875.77	o -8701
986.57/986.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
986.57/986.91	c   157069  10717   191974 13967232   72   613603  949438 179026    179 875.49
986.57/986.91	c   157169  10717   192098 13977483   72   615255  500000 179150    179 876.87
986.57/986.91	c   157419  10717   192413 14014010   72   615695  550001 179465    179 879.06
986.57/986.91	c   157894  10717   192941 14050033   72   617520  605002 179993    178 883.76
986.57/986.91	c   158707  10717   193833 14157258   73   618824  665503 180885    178 891.34
986.57/986.91	c   160027  10717   195217 14262001   73   621315  732054 182269    177 901.24
986.57/986.91	c   162108  10717   197408 14435927   73   625852  805260 184460    176 920.12
986.57/986.91	c   165331  10717   200941 14772297   73   632625  885787 187993    175 942.34
986.57/986.91	o -8704
1050.15/1050.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1050.15/1050.54	c   168527  10717   204297 15177211   74   641050  949438 191349    170 986.60
1050.15/1050.54	c   168627  10717   204400 15184966   74   640530  500000 191452    170 988.02
1050.15/1050.54	c   168877  10717   204680 15216244   74   642003  550001 191732    170 990.55
1050.15/1050.54	c   169352  10717   205218 15275741   74   643300  605002 192270    170 994.30
1050.15/1050.54	c   170167  10717   206115 15365754   74   646137  665503 193167    169 1002.51
1050.15/1050.54	c   171489  10717   207616 15502014   74   649306  732054 194668    168 1015.02
1050.15/1050.54	c   173570  10717   210013 15912734   75   652651  805260 197065    167 1035.40
1050.15/1050.54	o -8709
1101.63/1102.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1101.63/1102.08	c   176110  10717   212663 16054412   75   657880  949438 199715    167 1050.21
1101.63/1102.08	c   176210  10717   212767 16063624   75   659739  500000 199819    167 1051.45
1101.63/1102.08	c   176460  10717   213067 16081562   75   659490  550001 200119    167 1053.45
1101.63/1102.08	c   176936  10717   213558 16150347   75   661127  605002 200610    167 1059.26
1101.63/1102.08	c   177749  10717   214407 16203336   75   662785  665503 201459    167 1063.69
1101.63/1102.08	c   179069  10717   215853 16293725   75   665762  732054 202905    166 1075.52
1101.63/1102.08	c   181150  10717   218102 16492509   75   669723  805260 205154    164 1098.94
1101.63/1102.08	o -8710
1154.22/1154.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1154.22/1154.63	c   181417  10717   218387 16509097   75   671408  949438 205439    164 1101.73
1154.22/1154.63	c   181517  10717   218496 16518627   75   672678  500000 205548    164 1103.39
1154.22/1154.63	c   181767  10717   218775 16543230   75   672678  550001 205827    164 1105.91
1154.22/1154.63	c   182242  10717   219316 16575458   75   673794  605002 206368    164 1110.40
1154.22/1154.63	c   183056  10717   220162 16664175   75   676116  665503 207214    163 1117.42
1154.22/1154.63	c   184376  10717   221605 16792352   75   679256  732054 208657    163 1128.53
1154.22/1154.63	c   186457  10717   223925 17318676   77   685030  805260 210977    162 1150.54
1154.22/1154.63	o -8714
1321.87/1322.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1321.87/1322.34	c   186882  10717   224409 17366042   77   684108  949438 211461    161 1154.27
1321.87/1322.34	c   186982  10717   224517 17374032   77   687174  500000 211569    161 1155.44
1321.87/1322.34	c   187232  10717   224809 17396495   77   686673  550001 211861    161 1157.54
1321.87/1322.34	c   187709  10717   225322 17444861   77   687623  605002 212374    161 1161.88
1321.87/1322.34	c   188522  10717   226367 17534436   77   690716  665503 213419    161 1168.50
1321.87/1322.34	c   189843  10717   228263 17624952   77   694890  732054 215315    160 1179.28
1321.87/1322.34	c   191924  10717   230613 17903985   77   699190  805260 217665    160 1198.27
1321.87/1322.34	c   195150  10705   234244 18237059   77   706929  885787 221296    158 1230.11
1321.87/1322.34	c   200086  10704   239316 18798543   78   717025  974366 226368    156 1278.95
1321.87/1322.34	o -8719
1336.36/1336.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1336.36/1336.85	c   203052  10704   242568 19306584   79   724939  949438 229620    153 1321.93
1336.36/1336.85	c   203153  10704   242681 19324291   79   725491  500000 229733    153 1324.66
1336.36/1336.85	c   203406  10704   242987 19350209   79   726418  550001 230039    153 1327.20
1336.36/1336.85	c   203882  10704   243502 19398238   79   728059  605002 230554    152 1332.76
1336.36/1336.85	o -8720
1346.55/1347.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1346.55/1347.03	c   204148  10704   243780 19425101   79   728399  949438 230832    152 1336.43
1346.55/1347.03	c   204250  10704   243896 19439852   79   729272  500000 230948    152 1338.15
1346.55/1347.03	c   204500  10704   244186 19475035   79   729762  550001 231238    152 1340.01
1346.55/1347.03	c   204975  10704   244701 19531641   79   730803  605002 231753    152 1345.99
1346.55/1347.03	o -8724
1372.26/1372.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1372.26/1372.72	c   205003  10704   244738 19533660   79   729941  949438 231790    152 1346.61
1372.26/1372.72	c   205104  10704   244843 19541629   79   732646  500000 231895    152 1349.01
1372.26/1372.72	c   205355  10704   245110 19558061   79   733122  550001 232162    151 1352.11
1372.26/1372.72	c   205831  10704   245716 19598444   79   732325  605002 232768    151 1355.55
1372.26/1372.72	c   206645  10704   246620 19703642   79   736682  665503 233672    150 1368.77
1372.26/1372.72	o -8725
1394.64/1395.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1394.64/1395.11	c   206964  10704   246997 19729357   79   735208  949438 234049    150 1372.29
1394.64/1395.11	c   207064  10704   247112 19740227   79   737428  500000 234164    150 1374.17
1394.64/1395.11	c   207314  10704   247374 19772150   79   737056  550001 234426    150 1376.71
1394.64/1395.11	c   207790  10704   247936 19840904   80   739554  605002 234988    150 1383.79
1394.64/1395.11	c   208603  10704   248766 19884366   79   740951  665503 235818    149 1390.69
1394.64/1395.11	o -8729
1406.94/1407.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1406.94/1407.41	c   209068  10704   249257 19930804   79   740718  949438 236309    149 1394.68
1406.94/1407.41	c   209168  10704   249374 19943242   79   743357  500000 236426    149 1396.84
1406.94/1407.41	c   209419  10704   249642 19956581   79   742357  550001 236694    149 1398.74
1406.94/1407.41	c   209894  10704   250156 20020737   80   744693  605002 237208    149 1404.95
1406.94/1407.41	o -8730
1444.43/1444.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1444.43/1444.97	c   210108  10704   250403 20037231   80   743925  949438 237455    149 1406.97
1444.43/1444.97	c   210208  10704   250520 20047659   80   746388  500000 237572    149 1408.86
1444.43/1444.97	c   210460  10704   250799 20068014   80   744372  550001 237851    149 1411.69
1444.43/1444.97	c   210935  10704   251303 20156900   80   747108  605002 238355    148 1418.56
1444.43/1444.97	c   211748  10704   252160 20224620   80   748469  665503 239212    148 1425.32
1444.43/1444.97	c   213069  10704   253569 20391881   80   751401  732054 240621    147 1441.11
1444.43/1444.97	o -8731
1459.33/1459.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1459.33/1459.84	c   213483  10704   254019 20425884   80   750912  949438 241071    147 1444.52
1459.33/1459.84	c   213583  10704   254141 20450522   80   753858  500000 241193    147 1446.76
1459.33/1459.84	c   213833  10704   254423 20480576   80   752878  550001 241475    147 1448.99
1459.33/1459.84	c   214308  10704   254947 20558811   80   756399  605002 241999    147 1455.94
1459.33/1459.84	o -8736
1471.92/1472.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1471.92/1472.47	c   214564  10704   255246 20580233   80   755548  949438 242298    147 1459.38
1471.92/1472.47	c   214664  10704   255349 20590577   80   757684  500000 242401    146 1461.77
1471.92/1472.47	c   214918  10704   255626 20606166   80   756775  550001 242678    146 1464.51
1471.92/1472.47	c   215393  10704   256148 20641253   80   759344  605002 243200    146 1469.92
1471.92/1472.47	o -8739
1505.91/1506.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1505.91/1506.46	c   215580  10704   256357 20657617   80   759785  949438 243409    146 1472.02
1505.91/1506.46	c   215681  10704   256470 20671616   80   759590  500000 243522    146 1473.71
1505.91/1506.46	c   215931  10704   256758 20696711   80   760601  550001 243810    146 1476.93
1505.91/1506.46	c   216406  10704   257363 20750469   80   761752  605002 244415    145 1482.56
1505.91/1506.46	c   217220  10704   258205 20789759   80   764454  665503 245257    145 1489.98
1505.91/1506.46	c   218540  10704   259624 20931530   80   767464  732054 246676    145 1504.56
1505.91/1506.46	o -8744
1514.12/1514.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1514.12/1514.62	c   218613  10704   259700 20935791   80   767124  949438 246752    145 1505.99
1514.12/1514.62	c   218713  10704   259818 20953285   80   769096  500000 246870    145 1507.49
1514.12/1514.62	c   218964  10704   260075 20986972   80   768538  550001 247127    144 1510.29
1514.12/1514.62	o -8748
1575.69/1576.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1575.69/1576.30	c   219248  10704   260423 21035095   80   768207  949438 247475    144 1514.15
1575.69/1576.30	c   219348  10704   260542 21046666   80   771260  500000 247594    144 1516.28
1575.69/1576.30	c   219600  10704   260826 21065933   80   768548  550001 247878    144 1518.71
1575.69/1576.30	c   220076  10704   261366 21155069   80   772420  605002 248418    144 1526.42
1575.69/1576.30	c   220890  10704   262299 21228314   80   772757  665503 249351    143 1535.86
1575.69/1576.30	c   222210  10704   263751 21327152   80   776463  732054 250803    143 1550.76
1575.69/1576.30	o -8750
1590.09/1590.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1590.09/1590.64	c   223975  10704   265795 21626174   81   780485  949438 252847    142 1575.81
1590.09/1590.64	c   224076  10704   265913 21639920   81   781837  500000 252965    141 1578.39
1590.09/1590.64	c   224326  10704   266197 21701076   81   782011  550001 253249    141 1580.71
1590.09/1590.64	c   224804  10704   266713 21759691   81   784842  605002 253765    141 1587.98
1590.09/1590.64	o -8751
1594.50/1595.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1594.50/1595.02	c   224975  10704   266899 21783156   81   783928  949438 253951    141 1590.14
1594.50/1595.02	c   225075  10704   267001 21792316   81   785762  500000 254053    141 1591.46
1594.50/1595.02	o -8756
1608.58/1609.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1608.58/1609.17	c   225321  10704   267311 21815554   81   785818  949438 254363    141 1594.53
1608.58/1609.17	c   225423  10704   267420 21823987   81   788000  500000 254472    141 1596.28
1608.58/1609.17	c   225674  10704   267707 21847808   81   787952  550001 254759    141 1598.73
1608.58/1609.17	c   226151  10704   268212 21905014   81   789563  605002 255264    140 1606.95
1608.58/1609.17	o -8759
1655.07/1655.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1655.07/1655.61	c   226324  10704   268400 21913289   81   788676  949438 255452    140 1608.67
1655.07/1655.61	c   226425  10704   268504 21917857   81   791657  500000 255556    140 1609.98
1655.07/1655.61	c   226676  10704   268761 21932386   81   789907  550001 255813    140 1612.27
1655.07/1655.61	c   227151  10704   269311 22048343   81   792083  605002 256363    140 1620.59
1655.07/1655.61	c   227964  10704   270274 22104155   81   793812  665503 257326    140 1627.39
1655.07/1655.61	c   229284  10704   271769 22225867   81   798164  732054 258821    139 1639.12
1655.07/1655.61	o -8764
1658.17/1658.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1658.17/1658.79	c   230734  10704   273437 22323287   81   801109  949438 260489    139 1655.10
1658.17/1658.79	c   230834  10704   273553 22338813   81   802401  500000 260605    139 1657.47
1658.17/1658.79	o -8767
1695.95/1696.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1695.95/1696.57	c   230888  10704   273615 22342046   81   800867  949438 260667    139 1658.28
1695.95/1696.57	c   230988  10704   273730 22358241   81   802982  500000 260782    139 1659.64
1695.95/1696.57	c   231238  10704   273987 22371459   81   802911  550001 261039    139 1662.29
1695.95/1696.57	c   231713  10704   274507 22414309   81   805379  605002 261559    138 1668.57
1695.95/1696.57	c   232527  10704   275381 22512609   81   806029  665503 262433    138 1677.61
1695.95/1696.57	c   233847  10704   276869 22671101   81   810128  732054 263921    137 1694.95
1695.95/1696.57	o -8771
1741.64/1742.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1741.64/1742.28	c   233898  10704   276936 22683285   81   807841  949438 263988    137 1696.04
1741.64/1742.28	c   233999  10704   277041 22692442   81   811221  500000 264093    137 1698.27
1741.64/1742.28	c   234249  10704   277315 22719036   81   810091  550001 264367    137 1702.01
1741.64/1742.28	c   234725  10704   277893 22786856   81   812533  605002 264945    137 1710.41
1741.64/1742.28	c   235538  10704   278754 22891854   82   811962  665503 265806    137 1718.56
1741.64/1742.28	c   236858  10704   280168 23021488   82   818255  732054 267220    136 1737.42
1741.64/1742.28	o -8774
1790.03/1790.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1790.03/1790.69	c   237194  10704   280519 23041001   82   817629  949438 267571    136 1741.74
1790.03/1790.69	c   237294  10704   280631 23051883   82   819783  500000 267683    136 1743.78
1790.03/1790.69	c   237544  10704   280908 23102852   82   818616  550001 267960    135 1747.41
1790.03/1790.69	c   238019  10704   281461 23177633   82   820508  605002 268513    135 1755.77
1790.03/1790.69	c   238832  10704   282324 23274582   82   821974  665503 269376    135 1768.81
1790.03/1790.69	c   240153  10704   283699 23407849   82   825100  732054 270751    134 1783.30
1790.03/1790.69	o -8775
1797.93/1798.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.57	c   240584  10704   284168 23471975   82   825905  949438 271220    134 1790.14
1797.93/1798.57	c   240685  10704   284304 23496181   82   827228  500000 271356    134 1792.42
1797.93/1798.57	c   240935  10704   284580 23553038   82   827846  550001 271632    134 1795.74
1797.93/1798.57	c Resources Exceeded
1797.93/1798.57	v x1 x1754 -x3245 -x4356 x5483 x6648 x7809 x8958 x10107 x2 x461 x602 x755 x902 x1037 x1168 x1307 x1454 x1617 x1755 x1905 -x2064 -x2217 x2368 x2519 x2657 x2801 -x2958 -x3114 -x3246 x3357 x3468 x3579 x3690 -x3801 -x3912 x4023 x4134 x4245 x4357 x4468 -x4579 -x4690 x4801 x4912 -x5023 -x5024 -x5025 -x5026 -x5027 -x5138 -x5139 -x5140 -x5141 -x5142 -x5253 -x5254 -x5255 -x5256 -x5257 -x5368 -x5369 -x5370 -x5371 -x5372 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 x7353 -x7354 -x7355 -x7356 -x7467 -x7468 -x7469 -x7470 -x7581 -x7582 -x7583 -x7584 -x7695 -x7696 -x7697 -x7698 -x7810 -x7811 -x7812 -x7813 -x7814 -x7925 -x7926 -x7927 -x7928 -x7929 -x8040 -x8041 -x8042 -x8043 -x8044 -x8155 -x8156 -x8157 -x8158 -x8159 -x8270 -x8271 -x8272 x8273 -x8274 -x8385 -x8386 -x8387 -x8388 -x8389 -x8500 -x8501 x8502 -x8503 -x8504 -x8615 -x8616 -x8617 -x8618 -x8619 -x8730 -x8731 -x8732 -x8733 -x8844 -x8845 -x8846 -x8847 -x8959 -x8960 -x8961 -x8962 -x9073 -x9074 -x9075 -x9076 -x9187 x9188 -x9189 -x9190 -x9191 -x9302 -x9303 -x9304 -x9305 -x9306 -x9417 -x9418 -x9419 -x9420 -x9421 -x9532 -x9533 -x9534 -x9535 -x9536 x9647 -x9648 -x9649 -x9650 -x9651 -x9762 -x9763 -x9764 -x9765 -x9766 -x9877 -x9878 -x9879 -x9880 -x9881 -x9992 -x9993 -x9994 -x9995 -x9996 -x10108 -x10109 -x10110 -x10111 -x10222 -x10223 -x10224 -x10225 -x10336 -x10337 -x10338 -x10339 -x10450 -x10451 -x10452 -x10453 -x10564 -x10565 -x10566 -x10567 -x10678 -x10679 -x10680 -x10681 -x10792 -x10793 -x10794 -x10795 -x10906 -x10907 -x10908 -x10909 -x11020 -x11021 -x11022 -x11023 -x11134 -x11135 x11136 -x11137 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x363 -x364 -x365 -x366 -x377 -x378 -x379 -x380 -x391 -x392 -x393 -x394 -x405 -x406 -x407 -x408 -x419 -x420 -x421 -x422 -x433 -x434 -x435 -x436 -x447 -x448 -x449 -x450 -x462 -x463 -x464 -x465 -x476 -x477 -x478 -x479 -x490 -x491 -x492 -x493 -x504 -x505 -x506 -x507 -x518 -x519 -x520 -x521 -x532 -x533 -x534 -x535 -x546 -x547 -x548 -x549 -x560 -x561 -x562 -x563 -x574 -x575 -x576 -x577 -x588 -x589 -x590 -x591 -x603 -x604 -x605 -x606 -x617 -x618 -x619 -x620 -x631 -x632 -x633 -x634 -x635 -x636 -x647 -x648 x649 -x650 -x651 -x652 -x663 -x664 -x665 -x666 -x667 -x668 -x679 -x680 -x681 -x682 -x683 -x684 -x695 -x696 -x697 -x698 -x699 x710 x711 -x712 -x713 -x714 -x725 -x726 -x727 -x728 -x729 -x740 x741 -x742 -x743 -x744 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x824 x825 -x826 -x837 -x838 -x839 -x850 x851 -x852 -x863 -x864 -x865 -x876 -x877 -x878 -x889 -x890 -x891 -x903 -x904 -x905 -x916 -x917 -x918 -x929 -x930 -x931 -x942 -x943 -x944 -x955 -x956 -x957 -x968 -x969 -x970 -x981 -x982 -x983 -x984 -x995 -x996 -x997 -x998 -x1009 -x1010 -x1011 -x1012 -x1023 -x1024 -x1025 -x1026 -x1038 -x1039 -x1040 -x1051 -x1052 -x1053 -x1064 -x1065 x1066 -x1077 -x1078 -x1079 -x1090 -x1091 -x1092 -x1103 -x1104 -x1105 -x1116 x1117 -x1118 -x1129 -x1130 -x1131 -x1142 -x1143 -x1144 -x1155 -x1156 -x1157 -x1169 x1170 -x1171 -x1182 -x1183 -x1184 -x1195 -x1196 -x1197 -x1208 x1209 -x1210 x1221 -x1222 -x1223 -x1234 -x1235 -x1236 -x1247 -x1248 -x1249 -x1250 -x1251 -x1262 -x1263 -x1264 -x1265 -x1266 -x1277 -x1278 -x1279 -x1280 -x1281 -x1292 -x1293 -x1294 -x1295 -x1296 -x1308 -x1309 -x1310 -x1311 -x1322 -x1323 -x1324 -x1325 -x1336 -x1337 -x1338 -x1339 -x1350 -x1351 -x1352 -x1353 -x1364 -x1365 -x1366 -x1367 -x1378 -x1379 -x1380 -x1381 -x1392 -x1393 -x1394 x1395 -x1406 -x1407 -x1408 -x1409 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1618 -x1619 -x1620 -x1631 -x1632 -x1633 -x1644 -x1645 -x1646 -x1657 -x1658 -x1659 -x1670 -x1671 -x1672 -x1673 -x1684 -x1685 -x1686 -x1687 -x1698 -x1699 -x1700 -x1701 -x1712 -x1713 -x1714 -x1715 -x1726 -x1727 -x1728 -x1729 -x1740 -x1741 -x1742 -x1743 -x1756 x1757 -x1758 -x1759 -x1770 -x1771 -x1772 -x1773 -x1784 -x1785 -x1786 -x1787 -x1798 -x1799 -x1800 -x1801 -x1812 -x1813 -x1814 x1815 -x1826 -x1827 -x1828 -x1829 x1840 x1841 x1842 x1843 -x1844 -x1845 -x1856 x1857 x1858 x1859 x1860 -x1861 -x1862 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1890 x1891 -x1892 -x1893 -x1894 x1928 x1929 x1930 -x1931 -x1932 -x1933 x1934 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1979 x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 x2002 x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 x2065 -x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2133 -x2134 -x2135 -x2136 -x2137 -x2148 -x2149 -x2150 -x2151 -x2152 x2163 -x2164 x2165 x2166 -x2167 -x2168 -x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2245 -x2246 -x2247 -x2248 -x2249 -x2260 -x2261 -x2262 -x2263 -x2264 -x2275 -x2276 -x2277 -x2278 -x2279 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2322 x2323 x2324 -x2325 x2326 x2337 x2338 x2339 x2340 -x2341 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2369 -x2370 -x2371 -x2372 -x2373 -x2384 -x2385 x2386 -x2387 x2388 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2416 x2417 x2418 -x2419 -x2420 -x2421 -x2432 -x2433 -x2434 x2435 x2436 -x2437 -x2438 -x2449 -x2450 x2451 -x2452 -x2463 -x2464 -x2465 x2466 -x2467 -x2478 -x2479 x2480 x2481 -x2482 x2493 -x2494 -x2495 x2496 -x2497 -x2564 x2565 x2566 x2567 x2568 -x2569 x2580 x2581 x2582 -x2583 x2584 -x2595 -x2596 -x2597 -x2598 -x2599 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2642 x2643 -x2644 x2645 x2646 -x2658 x2659 -x2660 x2661 x2662 -x2663 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2690 x2691 -x2692 x2693 x2694 -x2705 x2706 -x2707 x2708 x2709 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2847 x2848 -x2849 -x2850 x2851 x2852 x2863 x2864 x2865 -x2866 -x2867 x2868 -x2879 x2880 x2881 -x2882 x2883 -x2894 x2895 x2896 -x2897 x2898 x2899 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2959 x2960 x2961 -x2962 x2963 x2974 x2975 x2976 -x2977 x2978 x2989 x2990 x2991 -x2992 x2993 x3004 x3005 x3006 -x3007 x3008 -x3019 -x3020 -x3021 -x3022 -x3023 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3050 x3051 -x3052 x3053 x3054 x3065 -x3066 x3067 x3068 x3069 x3070 -x3071 x3082 x3083 x3084 -x3085 x3086 x3087 -x3098 -x3099 x3100 x3101 -x3102 x3103 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3147 x3148 -x3149 x3150 -x3151 x3152 -x3163 -x3164 x3165 x3166 -x3167 x3168 -x266 -x267 x268 x269 x270 -x271 -x272 x273 -x274 x275 x276 x277 x278 -x279 -x281 x282 -x283 x284 x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 x330 x331 x332 x333 -x334 x335 -x336 -x337 x338 x339 x340 -x341 x342 x343 -x344 -x345 -x346 -x347 -x348 x349 -x351 -x352 x353 -x354 x355 x356 -x357 -x2443 -x2446 -x2447 -x2448 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 -x2510 x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2441 -x2592 -x2593 -x2594 -x2600 -x2440 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2632 -x2531 -x2542 -x2553 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2444 -x2656 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2442 -x2719 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 x2829 -x2830 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 x3033 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3153 -x3154 -x3155 -x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 x3256 -x3257 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 x3333 -x3334 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 x3539 x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 x3787 -x3788 -x3789 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3803 -x3804 -x3805 -x3806 x2736 -x2737 x2738 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x2749 -x2750 x2751 -x3888 -x3889 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 x2762 -x2763 x2764 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4002 -x4003 -x4004 x2775 -x2776 x2777 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x2788 -x2789 x2790 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 x2802 -x2803 x2804 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 -x4341 -x4342 -x4343 x4344 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 x4663 -x4664 x4665 -x4666 -x4667 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x2195 -x5008 -x5009 -x5010 -x5011 -x2206 -x5013 -x5014 -x2218 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 x5113 -x5114 -x5115 x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 x5128 -x5129 -x5130 -x5131 -x5132 x5133 -x5134 -x5135 -x5136 x5137 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 x5239 -x5240 -x5241 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5839 x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6278 -x6279 -x3179 -x3190 -x3201 -x3212 -x3223 -x3234 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x3313 -x3324 -x3335 -x3346 -x3358 -x3369 -x6324 -x6325 -x6326 -x6327 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x6347 -x6348 -x6349 -x6351 -x6352 -x6353 -x3446 -x3457 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3557 -x3568 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6395 -x3646 -x3657 -x3668 -x3679 -x3691 -x3702 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x3779 -x3790 -x3802 x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3890 -x3901 -x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x3913 -x3924 -x3935 -x3946 -x3957 x3968 -x6481 -x6482 -x6483 -x6484 -x6485 x6486 -x6487 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x3979 -x3990 -x4001 -x4012 -x4024 -x4035 -x4046 x4057 -x4068 -x6528 x6529 -x6530 -x6531 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x4079 -x4090 -x4101 -x4112 -x4123 x4135 -x6589 -x6590 -x6591 -x6592 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x4146 -x4157 -x4168 -x4179 x4190 -x4201 -x6633 -x6634 -x6635 -x6636 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x4212 -x4223 -x4234 -x4246 x4257 -x4268 -x6674 -x6675 -x6676 -x6678 x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x4279 -x4290 -x4301 -x4312 x4323 -x4334 -x6696 -x6697 -x6698 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x4345 -x4358 -x4369 -x4380 x4391 -x4402 -x6718 -x6719 -x6720 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x4413 -x4424 -x4435 -x4446 -x4457 -x4469 -x4480 -x4491 -x6731 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6746 -x6747 -x6748 -x4502 -x4513 x4524 -x4535 -x4546 -x4557 -x6749 -x6750 -x6751 -x6752 -x6753 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6772 -x6773 -x6774 -x4568 -x4580 -x4591 -x4602 -x4613 x4624 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6783 -x6784 -x6785 x6786 -x6787 x6788 x6789 -x6790 -x6791 -x6792 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x4635 -x4646 -x4657 -x4668 -x4679 x4691 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6827 -x4702 -x4713 -x4724 -x4735 -x4746 x4757 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6838 -x4768 -x4779 -x4790 -x4802 -x4813 x4824 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x4835 -x4846 -x4857 -x4868 -x4879 x4890 -x6866 -x6867 -x6868 -x6869 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 x6878 -x6879 -x6880 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x4901 -x4913 -x4924 -x4935 -x4946 x4957 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x4968 -x6929 -x6930 -x6931 x4979 x5012 -x6932 -x6934 -x6935 -x4990 -x5028 -x6936 x6937 -x6938 -x5001 -x5039 -x6939 -x6940 -x6941 -x5050 -x6942 -x6943 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6967 -x6968 -x5061 -x5072 -x5083 x5094 x5105 -x5116 -x5127 x5143 -x5154 -x5165 -x6969 -x6970 -x6971 x6972 x6973 -x6974 -x6975 -x6976 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x5176 -x5187 -x5198 -x5209 x5220 -x5231 -x5242 -x5258 -x6995 -x6996 -x6997 -x6998 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7041 -x7042 -x7043 -x7044 x5269 x5280 -x5291 -x5302 -x5313 -x5324 -x5335 -x5346 -x7045 -x7046 -x7047 -x7048 x7049 -x7050 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7063 -x7064 -x7065 x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7074 -x7075 -x7076 x7077 -x7078 -x7079 -x7080 -x5357 -x5373 -x5384 -x5395 -x7081 -x7082 -x7083 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x5406 -x5417 -x5428 -x5439 -x5450 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x7160 -x7161 -x5461 -x5472 -x5490 -x5501 -x5512 -x5523 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 x7190 -x7192 -x7193 -x7194 -x5534 -x5545 -x5556 -x5567 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x5578 -x5589 -x5606 -x5617 -x7212 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 x7222 -x7223 x7225 -x7226 x7227 x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x5628 -x5639 -x5650 -x5661 -x7234 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7255 -x7256 -x7257 -x5672 -x5683 -x5694 -x5705 -x7258 -x7259 -x5722 -x5733 -x5744 -x5755 -x5766 -x7260 -x7261 -x7262 -x7263 -x7264 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7277 -x7278 -x7279 -x7280 -x7281 -x5777 -x5788 -x5799 -x5810 -x5821 -x7282 -x7283 -x7284 -x7285 -x7286 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7321 -x7322 x7323 -x7324 -x7325 x7326 -x7327 x7328 -x7329 -x7330 -x7332 -x7333 -x5838 -x5849 -x5860 -x5871 -x5882 -x5893 x7334 -x7335 -x7336 -x7337 -x7338 x7339 -x7340 -x7341 -x7343 -x7344 x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7351 -x7352 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x5904 -x5915 -x5926 -x5937 -x5955 -x5966 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x5977 -x5988 -x5999 -x6010 -x6021 -x7430 -x7431 -x7432 -x7433 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7457 -x6032 -x6043 -x6054 -x6072 -x6083 -x6094 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7483 -x6105 -x6116 -x6127 -x6138 -x6149 -x6160 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x6171 -x6189 x6200 -x6211 x6222 -x6233 -x7503 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x6244 -x6255 -x6266 -x6277 -x6288 -x6306 -x7514 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x6317 -x6328 -x7536 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7560 -x7561 -x6339 -x6350 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 x7586 -x7587 x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x6361 -x6372 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x6383 -x6394 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x6405 -x6422 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7711 -x7712 -x7713 -x7714 -x7715 -x6433 -x6444 -x7716 -x7717 -x7718 -x7719 -x7720 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x6455 -x6466 -x7797 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7871 -x7872 -x7873 -x6477 -x6488 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x6499 -x6510 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101 -x6521 -x6538 x6549 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x6560 -x6571 -x6582 -x8211 -x8212 -x8213 -x8214 -x8216 -x8217 x8218 -x8219 x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x6593 -x6604 -x6615 -x6626 -x8338 -x8339 -x8340 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8490 -x8491 -x8492 -x8493 -x6637 -x6655 -x6666 -x6677 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8583 -x8584 -x8585 -x8586 -x8587 -x6688 -x6699 -x6710 -x6721 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8669 -x6732 -x6743 -x8670 -x8671 -x8672 -x8673 -x8674 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x6754 -x6771 -x8788 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x6782 -x6793 -x8877 -x8878 -x8879 -x8880 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x6804 -x6815 -x8933 -x8934 -x8935 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x6826 -x6837 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9019 -x6848 -x6859 -x6870 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9063 -x9064 -x9065 -x9066 -x9067 -x6889 -x6900 -x6911 -x9068 -x9069 -x9070 -x9071 -x9072 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x6922 -x6933 -x9140 -x9141 -x9142 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 x9199 -x9200 -x9201 -x9202 -x9204 -x9205 -x9206 -x9207 x9208 -x9209 -x9210 -x9211 -x9212 -x9213 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 x9221 -x9222 -x9223 -x9224 -x6944 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9270 -x9271 -x6955 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9396 -x9397 -x9398 -x9399 -x9400 -x6966 -x6977 -x6988 -x7007 -x9401 -x9402 -x9403 -x9404 -x9405 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x7018 -x7029 -x7040 -x7051 -x9476 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x7062 -x7073 -x7084 -x7095 -x7106 -x7125 -x7136 -x9555 -x9556 -x9557 -x9558 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9593 -x9594 x9595 -x9596 x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9608 -x7147 -x7158 -x7169 -x7180 -x7191 -x7202 -x7213 -x9609 -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x7224 -x7243 -x7254 -x7265 -x7276 -x9646 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9708 -x9709 -x9710 -x9711 -x7287 -x7298 -x7309 -x7320 -x7331 -x7342 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x7357 -x7368 -x7379 -x7390 -x7401 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9812 -x7412 -x7423 -x7434 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x7445 -x7456 -x7471 -x7482 -x7493 -x9875 -x9876 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x7504 -x7515 -x7526 -x7537 -x9936 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9982 -x9983 -x9984 -x7548 -x7559 -x7570 -x7585 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x7596 -x7607 -x7618 -x7629 -x7640 -x10037 -x10038 -x10039 -x10040 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x7651 -x7662 -x7673 -x7684 -x7699 -x10120 -x10121 -x10122 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10179 -x10180 -x7710 -x7721 -x7732 -x7743 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x7754 x7765 -x7776 x7787 -x10209 -x10210 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x7798 -x7815 x7826 -x7837 -x10258 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x7848 -x7859 -x7870 -x7881 -x10288 -x7892 -x7903 -x7914 -x7930 -x7941 -x10289 -x7952 -x7963 -x7974 -x7985 -x7996 -x8007 -x8018 -x8029 -x8045 -x8056 -x8067 -x8078 -x8089 -x8100 -x8111 -x8122 -x8133 -x8144 -x8160 -x8171 -x8182 -x8193 -x8204 x8215 -x8226 -x8237 -x8248 -x8259 -x8275 -x8286 -x8297 -x8308 -x8319 -x8330 -x8341 -x8352 -x8363 -x10290 -x10291 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10352 -x8374 -x8390 -x8401 -x8412 -x8423 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x8434 -x8445 -x8456 -x8467 -x8478 -x10402 -x10403 -x10404 -x10405 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x8489 -x8505 -x8516 -x8527 -x8538 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10455 -x8549 -x8560 -x8571 -x8582 -x8593 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x8604 -x8620 -x8631 -x8642 -x8653 -x10475 -x8664 -x8675 -x8686 -x8697 -x8708 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x8719 -x8734 -x8745 -x8756 -x8767 -x10505 -x10506 -x10507 -x10508 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10580 -x10581 -x10582 -x10583 -x8778 -x8789 -x8800 -x8811 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x8822 -x8833 -x8848 -x8859 -x10641 -x10642 -x10643 -x10644 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x8870 -x8881 -x8892 -x8903 -x10700 -x10701 -x10702 -x10703 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x8914 -x8925 -x8936 -x8947 -x10758 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x8963 -x8974 -x8985 -x8996 -x10804 -x10805 -x10806 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x9007 -x9018 -x9029 -x10839 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x9040 -x9051 -x9062 -x10860 -x10861 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x9077 -x9088 -x10882 -x10883 -x9099 -x9110 -x10885 -x9121 -x9132 -x9143 -x9154 -x9165 -x9176 -x9192 -x9203 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 x11007 -x11008 x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x9214 -x9225 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11139 -x11140 -x9236 -x9247 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 x11156 x11157 -x11158 -x11159 -x11161 -x9258 -x9269 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11183 -x11184 -x11185 -x9280 -x9291 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11194 -x11195 -x11196 -x11197 x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11205 -x11206 -x11207 -x9307 -x9318 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11216 -x9329 -x9340 -x11217 -x11218 -x11219 -x9351 -x9362 -x9373 -x9384 -x9395 -x9406 -x9422 -x9433 -x9444 -x11220 -x11221 -x11222 -x11223 -x9455 -x9466 -x9477 -x9488 -x9499 -x11224 -x11225 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x52 -x53 -x9510 -x9521 -x9537 -x9548 -x9559 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x9570 -x9581 -x9592 -x9603 -x9614 -x114 -x115 -x116 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x9625 -x9636 -x9652 -x9663 -x9674 -x173 -x174 -x175 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x199 x200 -x9685 -x9696 -x9707 -x9718 -x9729 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x9740 -x9751 -x9767 -x9778 -x9789 -x225 -x226 -x227 -x228 -x229 -x230 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x247 -x248 -x249 -x250 -x9800 -x9811 -x9822 -x9833 -x9844 -x251 -x252 -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x9855 -x9866 -x9882 -x9893 -x9904 -x264 -x9915 -x9926 -x9937 -x9948 -x9959 -x9970 -x9981 -x9997 -x10008 -x10019 -x265 -x862 -x868 -x871 -x874 -x880 -x883 -x886 -x892 -x895 -x10030 -x10041 -x10052 -x10063 -x10074 -x898 -x901 -x908 -x911 -x914 -x920 -x923 -x926 x932 -x935 -x10085 -x10096 -x938 -x941 -x946 -x10112 -x10123 -x10134 -x10145 -x10156 -x10167 -x10178 -x10189 -x10200 -x10211 -x10226 -x10237 -x10248 -x10259 -x10270 -x10281 -x10292 -x10303 -x10314 -x10325 -x10340 -x10351 -x10362 -x10373 -x10384 -x10395 -x10406 -x10417 -x10428 -x10439 -x10454 -x10465 -x10476 -x10487 -x10498 -x10509 -x10520 -x10531 -x10542 -x10553 -x10568 -x10579 -x10590 -x10601 -x10612 -x10623 -x10634 -x10645 -x10656 -x10667 -x10682 -x10693 -x2314 -x2318 -x2319 -x2328 -x2329 -x2333 -x2334 -x2343 -x2344 -x2367 -x2380 -x10704 -x10715 -x1418 -x1419 -x1431 -x1432 -x1433 -x1446 -x1447 -x1448 -x1462 -x1463 -x1464 -x1470 -x10726 -x10737 -x1471 -x1479 -x1485 -x1486 -x1487 -x1499 -x1298 -x1302 -x1500 -x1501 -x1709 -x1303 -x1312 -x1520 -x1717 -x1719 -x1313 -x1317 -x1527 -x1528 -x1723 -x1318 -x1326 -x1731 -x1732 -x1734 -x2076 -x2080 -x1327 -x1340 -x1739 -x1744 -x1746 -x2081 -x2092 -x1345 -x1751 -x1752 -x1760 -x2093 -x2097 -x1583 -x1764 -x1766 -x2098 -x2109 -x10748 -x10759 -x1584 -x1591 -x1599 -x2110 -x2114 -x1600 -x1607 -x1615 -x2115 -x2127 -x1616 -x1621 -x1628 -x2128 -x2138 -x1629 -x1630 -x1638 -x2139 x2143 -x1107 -x1639 -x1640 -x1649 -x2144 -x2147 -x1110 -x1650 -x1651 -x1660 -x2153 -x2157 -x1113 -x1661 -x1662 -x1668 -x2158 -x2162 -x1115 -x1669 -x1674 -x1680 -x2169 -x2173 -x1681 -x1682 -x1811 -x2174 -x2178 -x1821 -x1822 -x2185 -x2188 -x10770 -x10781 -x2189 -x10796 -x10807 -x367 -x371 -x372 -x376 -x381 -x385 -x386 -x390 -x10818 -x10829 -x395 -x399 -x404 -x400 -x413 -x409 -x418 -x10840 -x10851 -x414 -x427 -x686 -x423 -x676 -x432 -x691 -x428 -x687 -x441 -x701 -x10862 -x10873 -x437 -x692 -x446 -x706 -x442 -x702 -x455 -x716 -x451 -x707 -x460 -x721 -x456 -x717 -x10884 -x10895 -x10910 -x578 -x802 -x466 -x722 -x10932 -x582 -x806 -x10976 -x586 -x817 -x10921 -x10943 -x10998 -x11009 -x592 -x593 -x818 x819 -x11024 -x11035 -x594 -x820 -x595 -x821 -x11046 -x11057 -x596 -x597 -x822 -x823 -x10954 -x10965 -x11068 x598 -x827 -x599 -x11090 -x601 -x607 -x829 -x11101 -x11112 -x608 -x609 -x830 -x831 -x10987 -x11123 -x610 -x832 -x11138 -x611 -x833 -x11149 x612 -x834 -x11171 -x614 -x836 -x11182 -x11193 -x615 -x616 -x840 -x841 -x11204 -x11215 -x621 -x622 -x842 -x843 -x11226 x623 -x844 -x7 -x625 -x846 -x18 -x29 -x626 -x627 -x847 -x848 -x40 -x51 -x628 -x629 -x849 -x853 -x62 -x515 x637 -x782 -x854 -x523 -x527 -x95 -x528 -x536 -x154 -x537 -x642 -x653 -x1106 -x1109 -x1112 -x1114 -x11079 -x1434 -x1449 -x1465 -x1562 -x1576 -x1592 -x1641 -x1652 -x1663 -x1480 -x1488 -x1502 -x1514 -x1529 -x1536 -x1549 -x1563 -x1577 -x1593 -x1608 -x1609 -x1675 -x1622 x1623 -x1634 -x1635 -x1642 -x1643 -x1653 -x1654 -x2154 -x1664 -x1665 -x2159 -x1683 -x11160 -x1676 -x1677 -x2170 -x1853 -x1688 -x1897 -x2175 -x2186 -x1689 -x11237 -x73 -x84 -x106 -x121 -x132 -x143 -x165 -x176 -x187 -x198 -x209 -x220 -x235 -x246 -x257 -x280 -x350 -x358 -x359 -x1127 -x949 -x1128 -x950 -x951 -x953 -x1132 -x1134 -x1135 -x360 -x361 -x362 -x954 -x1137 -x368 -x369 -x370 -x959 -x1138 -x960 -x963 -x1140 -x1141 -x373 -x374 -x375 -x964 -x1146 -x965 -x971 -x974 -x1147 -x1150 -x1151 -x382 -x383 -x384 -x387 -x388 -x389 -x977 -x1152 -x396 -x397 -x398 -x980 -x1158 -x987 -x1161 -x990 -x1164 -x401 -x402 -x403 -x993 x1261 -x1000 -x1003 -x1006 -x1013 x1015 -x1018 -x1021 -x1027 -x1029 -x1217 -x1219 -x1224 -x1226 -x1228 -x410 -x411 -x412 -x1031 -x1033 -x1230 -x1232 -x1035 -x1237 -x1041 -x1239 -x415 -x416 -x417 -x1043 -x1241 -x1045 -x1243 -x1047 -x1245 -x424 -x425 -x426 -x1049 -x1252 -x1054 -x1254 -x429 -x430 -x431 -x1056 -x1256 -x1058 -x1258 -x438 -x439 -x440 -x1060 -x1260 -x443 -x444 -x445 -x1062 x1267 -x1067 -x452 -x453 -x454 -x1069 -x1906 -x1917 -x457 -x458 -x459 -x1071 -x1073 -x467 -x468 x1074 -x1166 -x1173 -x1176 -x1179 -x1185 -x1188 -x469 -x470 -x1191 -x1194 -x1199 -x1202 -x1203 -x1204 -x1206 -x1207 -x1211 -x1213 -x471 -x472 -x1214 x1215 x473 -x474 -x475 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x494 -x1329 -x1691 -x1693 -x1695 -x1697 -x1702 -x1704 -x1707 -x1711 -x1736 -x1748 -x1761 -x1705 -x1708 -x1331 -x1333 -x1335 -x1349 -x1357 -x1716 -x1721 -x1722 -x1725 -x1730 -x1737 -x1738 -x1910 -x1913 -x2192 -x1342 -x1361 -x1749 -x1750 -x1916 -x2194 x495 -x1346 -x1762 -x1763 -x1961 -x2197 x1354 -x1938 -x2199 -x1358 -x1369 -x1920 -x1942 -x1975 -x2201 -x2205 -x496 -x497 -x498 -x1362 -x1373 -x1923 -x1953 -x1989 -x2203 -x2210 -x1120 -x1370 -x1377 -x1926 -x1958 -x1995 -x2207 -x2214 -x499 -x500 -x1122 -x1374 -x1794 -x1972 -x2008 -x2021 x2211 -x2219 -x1124 -x1382 -x1803 -x1986 -x2215 -x2222 -x501 -x502 -x1125 -x1795 -x1796 -x2220 -x1808 -x2225 -x503 x508 -x509 -x1804 -x1805 -x1818 -x2223 -x2228 -x1809 -x1810 -x1824 -x2226 -x2237 -x510 -x511 -x512 x513 -x514 -x1819 -x1820 -x2235 -x2239 -x1825 -x1830 -x2238 x516 -x517 -x522 -x524 -x525 -x526 -x529 -x530 -x531 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x579 -x580 -x581 -x583 -x584 -x585 -x587 -x600 -x613 -x624 -x630 -x638 -x639 -x640 -x641 -x643 -x644 -x645 -x646 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 x662 -x669 -x670 -x2305 -x2313 -x2315 -x2317 -x2320 -x2327 -x2330 -x2332 -x2335 -x2342 -x2410 -x1414 -x1415 -x1417 -x1427 -x1428 -x1430 -x1435 -x1436 -x1445 -x1450 -x1451 -x1453 -x1466 -x1467 -x1469 -x1481 -x1482 -x1484 -x1290 -x1297 -x1495 -x1496 -x1498 -x1299 -x1301 -x1503 -x1504 -x1512 -x1304 -x1306 -x1515 -x1516 -x1519 -x1314 -x1316 -x1530 -x1531 -x1534 -x2073 -x2075 -x1319 -x1321 -x1543 -x1544 -x1547 -x2077 -x2079 -x1375 -x1550 -x1551 -x1560 -x2089 -x2091 -x1564 -x1565 -x1568 -x2094 -x2096 -x1578 -x1579 -x1582 -x2106 -x2108 -x1594 -x1595 -x1598 -x2111 -x2113 -x1610 -x1611 -x1614 -x2123 -x2126 -x1624 -x1627 -x2129 -x2132 -x2142 -x673 -x675 -x677 -x685 -x688 -x690 -x693 -x700 -x703 -x705 -x708 -x715 -x718 -x720 -x860 -x724 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x671 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x771 -x772 -x780 -x781 -x672 -x674 -x678 -x689 -x694 -x704 -x709 -x719 -x723 -x735 -x747 x754 -x770 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x797 -x798 -x799 -x800 -x801 -x803 -x804 x805 x814 x815 -x816 -x828 -x835 -x845 -x855 x856 -x857 x858 x2508 -x859 -x2520 -x861 -x866 -x867 -x869 -x870 -x872 -x873 -x875 -x879 -x881 -x882 -x884 -x885 -x887 -x888 -x893 -x894 -x896 -x897 -x899 -x900 -x906 -x907 -x909 -x910 -x912 -x913 -x915 x919 x921 x922 -x924 x925 -x927 -x928 -x933 -x934 -x936 -x937 -x939 -x940 -x945 -x947 -x948 -x952 -x958 -x961 -x962 -x966 -x967 -x972 -x973 -x975 -x976 -x978 -x979 -x985 -x986 -x988 -x989 -x991 -x992 -x994 -x999 -x1001 -x1002 -x1004 -x1005 -x1007 -x1008 x1014 -x1016 -x1017 -x1019 -x1020 -x1022 -x1028 -x1030 -x1032 -x1034 -x1036 -x1042 -x1044 -x1046 -x1048 -x1050 -x1055 -x1057 -x1059 -x1061 -x1063 -x1068 -x1070 -x1072 -x1075 -x1076 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1093 -x1094 -x1095 -x1096 -x1097 -x2345 -x2347 -x2349 -x2351 -x2359 -x2361 -x2365 -x2363 -x2376 -x2374 -x2381 -x2389 x2392 -x2395 x1098 -x2378 -x2398 -x2408 -x2411 x1099 x1100 x1101 -x1102 -x1108 -x1111 -x1119 -x1121 -x1123 -x1126 -x1133 -x1136 -x1139 -x1145 -x1148 -x1149 -x1153 -x1154 -x1832 -x1835 -x1836 -x1838 -x1839 -x1847 -x1848 -x1850 -x1851 -x1855 -x1866 -x1870 -x1852 -x1159 -x1160 -x1863 -x1864 -x1881 -x1867 -x1868 -x1871 -x1872 -x1885 -x2242 -x1882 -x1883 -x1889 -x2244 -x2253 -x1886 -x1887 -x1899 -x2251 -x2256 -x1895 -x1896 -x1927 -x2254 -x2267 -x1162 -x1163 -x1900 -x1901 -x1937 -x2257 -x1941 -x1954 -x1969 -x2280 -x1952 -x1959 -x1976 -x1957 -x1973 x1990 -x1971 -x1987 -x2003 -x1165 -x1167 -x1978 -x1993 -x2009 -x1992 -x2006 -x2022 -x2005 -x2012 -x2026 -x2011 -x2024 -x2037 -x2028 -x2041 -x1172 -x1174 -x2039 -x2044 -x1175 -x1177 -x1178 -x1180 -x1181 -x1186 -x1187 -x1189 -x1190 -x1192 -x1193 -x1198 x1200 x1201 x1205 x1212 -x1216 -x1218 -x1220 -x1225 -x1227 -x1229 -x1231 -x1233 -x1238 -x1240 -x1242 -x1244 -x1246 -x1253 -x1255 -x2190 -x1257 -x2055 -x1259 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1282 -x2240 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1291 -x1300 -x1305 -x1315 -x1320 -x1328 -x1330 -x1332 -x1334 -x1341 -x1343 -x1344 -x1347 x1348 x1355 -x1356 -x1359 -x1360 -x1363 -x1368 -x1371 -x1372 -x1376 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1410 -x1411 -x1412 -x1413 -x1416 -x1429 -x1444 -x1452 -x1468 -x1483 -x1497 -x1511 -x1513 -x1517 -x1518 -x1532 -x1533 -x1535 -x1545 -x1546 -x1548 -x1552 -x1559 -x1561 -x1566 -x1567 -x1575 -x1580 -x1581 -x1596 -x1597 x1612 -x1613 -x1625 -x1626 -x1636 -x1637 -x1647 -x1648 -x1655 -x1656 -x1666 -x1667 -x1678 -x1679 -x1690 -x1692 -x1694 -x1696 -x1703 -x1706 -x1710 -x1718 -x1720 -x1724 -x1733 -x1735 -x1745 -x1747 -x1753 -x1765 -x1767 -x1768 -x1769 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1797 -x1802 -x1806 -x1807 -x1816 -x1817 -x1823 -x1831 -x1833 -x1834 -x1837 -x1846 -x1849 -x1854 -x1865 -x1869 -x1880 -x1884 -x1888 -x1898 -x1902 -x1903 -x1904 -x1907 -x1908 -x1909 -x1911 -x1912 -x1914 -x1915 -x1918 -x1919 -x1921 -x1922 -x2312 -x2316 -x2321 -x2331 -x1924 -x1925 -x1935 -x1936 -x1939 -x1940 -x2074 -x2078 -x2090 -x2095 -x2107 -x2112 -x2125 -x2131 -x2141 -x2146 -x1943 -x1944 -x2156 -x2161 -x2054 -x2172 -x2177 -x1955 -x1956 -x1960 -x1970 -x1974 -x1977 -x1988 x1991 -x1994 -x2004 -x2007 -x2010 -x2346 -x2358 -x2350 -x2362 -x2360 -x2366 -x2364 -x2377 -x2375 -x2382 -x2379 -x2390 -x2383 x2393 -x2020 -x2023 -x2391 -x2396 -x2394 -x2406 -x2397 -x2409 -x2407 -x2412 -x2025 -x2027 -x2029 -x2038 -x2191 -x2193 -x2196 -x2198 -x2200 -x2202 -x2204 -x2209 -x2208 -x2213 -x2212 -x2216 -x2040 -x2042 -x2221 -x2224 -x2227 -x2236 -x2043 -x2045 -x2046 -x2241 -x2243 -x2250 -x2252 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2072 -x2259 -x2258 -x2266 -x2265 -x2269 -x2268 -x2271 -x2270 x2273 x2272 -x2281 x2274 -x2283 x2282 -x2285 -x2284 -x2287 -x2286 -x2289 -x2288 -x2297 -x2296 -x2299 -x2298 -x2301 -x2300 -x2303 -x2302 -x2304 -x2413 -x2415 -x2423 x2425 -x2427 -x2429 -x2439 -x2124 -x2130 x2140 -x2145 -x2155 -x2160 -x2171 -x2176 -x2187 -x2348 -x2445 -x2414 -x2422 -x2424 x2426 -x2428 -x2430 -x2255 -x2336 -x2431 
1797.93/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.57	c  542   241039 123323  2007689   284698 23575974 271750    134 1798.01
1797.93/1798.57	c Objective: -8775
1797.93/1798.57	s SATISFIABLE
1797.93/1798.57	c Total time: 1798.01 s

OK	-8775

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656569-1276360252/watcher-2656569-1276360252 -o /tmp/evaluation-result-2656569-1276360252/solver-2656569-1276360252 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656569-1276360252.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13400
/proc/meminfo: memFree=1832240/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=12240 CPUtime=0
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 11628902 12533760 275 1992294400 134512640 137138936 4290437088 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 3060 275 176 642 0 2089 0

[startup+0.0986299 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13400
/proc/meminfo: memFree=1832240/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=14048 CPUtime=0.09
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 944 0 0 0 9 0 0 0 20 0 1 0 11628902 14385152 862 1992294400 134512640 137138936 4290437088 18446744073709551615 134516221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 3512 862 297 642 0 2541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14048

[startup+0.10063 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13400
/proc/meminfo: memFree=1832240/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=14048 CPUtime=0.09
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 952 0 0 0 9 0 0 0 20 0 1 0 11628902 14385152 870 1992294400 134512640 137138936 4290437088 18446744073709551615 136501691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 3512 870 300 642 0 2541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14048

[startup+0.300652 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13400
/proc/meminfo: memFree=1832240/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=18808 CPUtime=0.29
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 2634 0 0 0 29 0 0 0 20 0 1 0 11628902 19259392 2225 1992294400 134512640 137138936 4290437088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 4702 2225 184 642 0 4058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18808

[startup+0.700698 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13400
/proc/meminfo: memFree=1832240/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=18808 CPUtime=0.69
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 2641 0 0 0 69 0 0 0 21 0 1 0 11628902 19259392 2232 1992294400 134512640 137138936 4290437088 18446744073709551615 134543416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 4702 2232 184 642 0 4058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18808

[startup+1.50079 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13401
/proc/meminfo: memFree=1823924/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=18808 CPUtime=1.49
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 2643 0 0 0 148 1 0 0 23 0 1 0 11628902 19259392 2234 1992294400 134512640 137138936 4290437088 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 4702 2234 184 642 0 4058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18808

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13401
/proc/meminfo: memFree=1822932/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=19856 CPUtime=3.09
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 3554 0 0 0 302 7 0 0 25 0 1 0 11628902 20332544 2503 1992294400 134512640 137138936 4290437088 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 4964 2503 192 642 0 4320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19856

[startup+6.30034 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13401
/proc/meminfo: memFree=1821196/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=21636 CPUtime=6.28
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 4005 0 0 0 617 11 0 0 25 0 1 0 11628902 22155264 2954 1992294400 134512640 137138936 4290437088 18446744073709551615 134607142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 5409 2954 192 642 0 4765 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21636

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13401
/proc/meminfo: memFree=1817104/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=25500 CPUtime=12.68
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 4974 0 0 0 1247 21 0 0 25 0 1 0 11628902 26112000 3923 1992294400 134512640 137138936 4290437088 18446744073709551615 134599975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 6375 3923 192 642 0 5731 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25500

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13401
/proc/meminfo: memFree=1811896/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=30472 CPUtime=25.48
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 6224 0 0 0 2518 30 0 0 25 0 1 0 11628902 31203328 5173 1992294400 134512640 137138936 4290437088 18446744073709551615 134541986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 7618 5173 192 642 0 6974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30472

[startup+51.1005 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 13403
/proc/meminfo: memFree=1801480/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=41036 CPUtime=51.08
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 8845 0 0 0 5064 44 0 0 25 0 1 0 11628902 42020864 7794 1992294400 134512640 137138936 4290437088 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 10259 7794 192 642 0 9615 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41036

[startup+102.308 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 13403
/proc/meminfo: memFree=1784120/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=57868 CPUtime=102.26
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 13076 0 0 0 10158 68 0 0 25 0 1 0 11628902 59256832 12025 1992294400 134512640 137138936 4290437088 18446744073709551615 136504489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 14467 12025 192 642 0 13823 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57868

[startup+162.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 13405
/proc/meminfo: memFree=1769488/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=72572 CPUtime=162.24
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 16751 0 0 0 16138 86 0 0 25 0 1 0 11628902 74313728 15700 1992294400 134512640 137138936 4290437088 18446744073709551615 134575334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 18143 15700 192 642 0 17499 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72572

[startup+222.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 13407
/proc/meminfo: memFree=1752872/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=89088 CPUtime=222.22
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 20863 0 0 0 22120 102 0 0 25 0 1 0 11628902 91226112 19812 1992294400 134512640 137138936 4290437088 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 22272 19812 192 642 0 21628 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 89088

[startup+282.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 13409
/proc/meminfo: memFree=1740968/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=100808 CPUtime=282.2
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 23811 0 0 0 28100 120 0 0 25 0 1 0 11628902 103227392 22760 1992294400 134512640 137138936 4290437088 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 25202 22760 192 642 0 24558 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 100808

[startup+342.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 13409
/proc/meminfo: memFree=1728816/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=112756 CPUtime=342.18
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 26789 0 0 0 34087 131 0 0 25 0 1 0 11628902 115462144 25738 1992294400 134512640 137138936 4290437088 18446744073709551615 134606655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 28189 25738 192 642 0 27545 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 112756

[startup+402.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 13411
/proc/meminfo: memFree=1714308/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=127600 CPUtime=402.16
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 30486 0 0 0 40070 146 0 0 25 0 1 0 11628902 130662400 29435 1992294400 134512640 137138936 4290437088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 31900 29435 192 642 0 31256 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 127600

[startup+462.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 13413
/proc/meminfo: memFree=1697940/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=143608 CPUtime=462.13
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 34485 0 0 0 46056 157 0 0 25 0 1 0 11628902 147054592 33434 1992294400 134512640 137138936 4290437088 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 35902 33434 192 642 0 35258 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 143608

[startup+522.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 13415
/proc/meminfo: memFree=1683928/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=157708 CPUtime=522.12
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 38010 0 0 0 52043 169 0 0 25 0 1 0 11628902 161492992 36959 1992294400 134512640 137138936 4290437088 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 39427 36959 192 642 0 38783 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 157708

[startup+582.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 13417
/proc/meminfo: memFree=1671776/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=169704 CPUtime=582.1
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 41032 0 0 0 58031 179 0 0 25 0 1 0 11628902 173776896 39981 1992294400 134512640 137138936 4290437088 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 42426 39981 192 642 0 41782 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 169704

[startup+642.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 13417
/proc/meminfo: memFree=1662476/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=178792 CPUtime=642.08
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 43282 0 0 0 64019 189 0 0 25 0 1 0 11628902 183083008 42231 1992294400 134512640 137138936 4290437088 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 44698 42231 192 642 0 44054 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 178792

[startup+702.301 s]

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

/proc/meminfo: memFree=1584356/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=256324 CPUtime=1121.93
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 62693 0 0 0 111926 267 0 0 25 0 1 0 11628902 262475776 61642 1992294400 134512640 137138936 4290437088 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 64081 61642 192 642 0 63437 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 256324

[startup+1182.3 s]
/proc/loadavg: 1.08 1.10 1.02 2/107 13433
/proc/meminfo: memFree=1571460/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=269128 CPUtime=1181.91
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 65896 0 0 0 117915 276 0 0 25 0 1 0 11628902 275587072 64845 1992294400 134512640 137138936 4290437088 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 67282 64845 192 642 0 66638 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 269128

[startup+1242.3 s]
/proc/loadavg: 1.14 1.11 1.02 2/107 13433
/proc/meminfo: memFree=1562036/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=278520 CPUtime=1241.89
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 68215 0 0 0 123903 286 0 0 25 0 1 0 11628902 285204480 67164 1992294400 134512640 137138936 4290437088 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 69630 67164 192 642 0 68986 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 278520

[startup+1302.3 s]
/proc/loadavg: 1.12 1.10 1.02 2/107 13435
/proc/meminfo: memFree=1551744/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=288572 CPUtime=1301.88
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 70746 0 0 0 129895 293 0 0 25 0 1 0 11628902 295497728 69695 1992294400 134512640 137138936 4290437088 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 72143 69695 192 642 0 71499 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 288572

[startup+1362.3 s]
/proc/loadavg: 1.11 1.09 1.02 2/107 13437
/proc/meminfo: memFree=1543684/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=296708 CPUtime=1361.86
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 72767 0 0 0 135888 298 0 0 25 0 1 0 11628902 303828992 71716 1992294400 134512640 137138936 4290437088 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 74177 71716 192 642 0 73533 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 296708

[startup+1422.31 s]
/proc/loadavg: 1.10 1.09 1.02 2/107 13439
/proc/meminfo: memFree=1535996/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=304336 CPUtime=1421.84
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 74692 0 0 0 141879 305 0 0 25 0 1 0 11628902 311640064 73641 1992294400 134512640 137138936 4290437088 18446744073709551615 134578233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 76084 73641 192 642 0 75440 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 304336

[startup+1482.3 s]
/proc/loadavg: 1.09 1.09 1.02 2/107 13441
/proc/meminfo: memFree=1528060/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=312168 CPUtime=1481.82
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 76632 0 0 0 147868 314 0 0 25 0 1 0 11628902 319660032 75581 1992294400 134512640 137138936 4290437088 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 78042 75581 192 642 0 77398 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 312168

[startup+1542.3 s]
/proc/loadavg: 1.08 1.08 1.02 2/107 13441
/proc/meminfo: memFree=1520744/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=319424 CPUtime=1541.8
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 78441 0 0 0 153859 321 0 0 25 0 1 0 11628902 327090176 77390 1992294400 134512640 137138936 4290437088 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 79856 77390 192 642 0 79212 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 319424

[startup+1602.3 s]
/proc/loadavg: 1.08 1.08 1.02 2/107 13443
/proc/meminfo: memFree=1512436/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=327808 CPUtime=1601.78
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 80550 0 0 0 159852 326 0 0 25 0 1 0 11628902 335675392 79499 1992294400 134512640 137138936 4290437088 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 81952 79499 192 642 0 81308 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 327808

[startup+1662.3 s]
/proc/loadavg: 1.07 1.08 1.02 2/107 13445
/proc/meminfo: memFree=1505244/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=334872 CPUtime=1661.76
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 82309 0 0 0 165843 333 0 0 25 0 1 0 11628902 342908928 81258 1992294400 134512640 137138936 4290437088 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 83718 81258 192 642 0 83074 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 334872

[startup+1722.3 s]
/proc/loadavg: 1.07 1.08 1.02 2/107 13447
/proc/meminfo: memFree=1497804/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=342280 CPUtime=1721.74
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 84187 0 0 0 171835 339 0 0 25 0 1 0 11628902 350494720 83136 1992294400 134512640 137138936 4290437088 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 85570 83136 192 642 0 84926 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 342280

[startup+1782.3 s]
/proc/loadavg: 1.11 1.09 1.02 2/107 13449
/proc/meminfo: memFree=1490860/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=348924 CPUtime=1781.73
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 85840 0 0 0 177828 345 0 0 25 0 1 0 11628902 357298176 84789 1992294400 134512640 137138936 4290437088 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87231 84789 192 642 0 86587 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 348924

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

[startup+1791.91 s]
/proc/loadavg: 1.17 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1489372/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=350460 CPUtime=1791.34
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86200 0 0 0 178788 346 0 0 25 0 1 0 11628902 358871040 85149 1992294400 134512640 137138936 4290437088 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87615 85149 192 642 0 86971 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 350460

[startup+1795.1 s]
/proc/loadavg: 1.17 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488876/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=350920 CPUtime=1794.53
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86317 0 0 0 179107 346 0 0 25 0 1 0 11628902 359342080 85266 1992294400 134512640 137138936 4290437088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87730 85266 192 642 0 87086 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 350920

[startup+1796.7 s]
/proc/loadavg: 1.16 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488628/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=351320 CPUtime=1796.13
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86415 0 0 0 179267 346 0 0 25 0 1 0 11628902 359751680 85364 1992294400 134512640 137138936 4290437088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87830 85364 192 642 0 87186 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 351320

[startup+1797.5 s]
/proc/loadavg: 1.16 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488380/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=351456 CPUtime=1796.93
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86455 0 0 0 179347 346 0 0 25 0 1 0 11628902 359890944 85404 1992294400 134512640 137138936 4290437088 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87864 85404 192 642 0 87220 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 351456

[startup+1798.3 s]
/proc/loadavg: 1.16 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488380/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=351456 CPUtime=1797.73
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86476 0 0 0 179427 346 0 0 25 0 1 0 11628902 359890944 85425 1992294400 134512640 137138936 4290437088 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87864 85425 192 642 0 87220 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 351456

[startup+1798.51 s]
/proc/loadavg: 1.16 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488256/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=351588 CPUtime=1797.93
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202496 86490 0 0 0 179447 346 0 0 25 0 1 0 11628902 360026112 85439 1992294400 134512640 137138936 4290437088 18446744073709551615 134606697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13400/statm: 87897 85439 192 642 0 87253 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 351588

[startup+1798.6 s]
/proc/loadavg: 1.16 1.10 1.03 2/107 13449
/proc/meminfo: memFree=1488256/2059040 swapFree=4158992/4192956
[pid=13400] ppid=13398 vsize=0 CPUtime=1798.02
/proc/13400/stat : 13400 (bsolo_pb10) R 13398 13400 11757 0 -1 4202500 86491 0 0 0 179454 348 0 0 25 0 1 0 11628902 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.05
CPU user time (s): 1794.55
CPU system time (s): 3.49847
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 351588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 3.49847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86491
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= 1
involuntary context switches= 25806

runsolver used 2.89656 second user time and 8.5757 second system time

The end

Begin job on node006 at 2010-06-12 18:30:52
IDJOB=2656569
IDBENCH=1875
IDSOLVER=1162
FILE ID=node006/2656569-1276360252
PBS_JOBID= 11173195
Free space on /tmp= 62472 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656569-1276360252/watcher-2656569-1276360252 -o /tmp/evaluation-result-2656569-1276360252/solver-2656569-1276360252 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656569-1276360252.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=127427340

node006.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1832644 kB
Buffers:         27296 kB
Cached:         106032 kB
SwapCached:       1976 kB
Active:          95948 kB
Inactive:        65364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1832644 kB
SwapTotal:     4192956 kB
SwapFree:      4158992 kB
Dirty:            5280 kB
Writeback:          12 kB
AnonPages:       25956 kB
Mapped:          13960 kB
Slab:            43324 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node006 at 2010-06-12 19:00:51