0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3744283-1338805123.opb
0.00/0.00	c File size is 578705 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 4.26416e+09
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.047 s
0.00/0.05	c Var: 6810 Constr: 15629 12529/25/3075 Lit: 47625 Watch. Lit: 40883
0.00/0.05	c Obj. Vars: 3795 (55.7269 % of total variables)
0.99/1.00	c Pre-processing Time: 1.005 s
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   5910    14678    45575    3    38925   46524      0      0 1.00
0.99/1.02	c      102   5910    14780    51148    3    39172   51177    102    100 1.02
0.99/1.02	o 166956610	1.021
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c      105   5910    14784    54535    3    42338   52854    106    102 1.02
0.99/1.05	c      205   5910    14884    64694    4    42538   58140    206    195 1.05
0.99/1.05	o 137711301	1.054
0.99/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.06	c      213   5910    14893    68223    4    45727   52854    215    201 1.06
0.99/1.06	o 116427803	1.062
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c      221   5910    14902    71670    4    48908   52854    224    207 1.06
1.19/1.29	c      323   5910    15004    79995    5    49111   58140    326    287 1.12
1.19/1.29	c      573   5910    15254   107574    7    49612   63955    576    447 1.28
1.19/1.29	o 110644646	1.29
1.28/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.31	c      578   5910    15260   110983    7    52780   52854    582    447 1.29
1.28/1.31	o 110589616	1.31
1.38/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.47	c      588   5910    15271   114785    7    55965   52854    593    448 1.31
1.38/1.47	c      689   5910    15372   117091    7    56175   58140    694    471 1.46
1.38/1.47	o 96086268	1.472
1.58/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.58/1.64	c      692   5910    15376   120362    7    59337   52854    698    469 1.47
1.58/1.64	c      794   5910    15478   129011    8    59540   58140    800    502 1.58
1.58/1.64	o 94157545	1.641
1.78/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.83	c      843   5910    15528   134447    8    62800   52854    850    513 1.64
1.78/1.83	c      944   5910    15629   141461    9    63006   58140    951    552 1.71
1.78/1.83	o 52980144	1.832
2.08/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.08/2.12	c     1067   5910    15753   148900    9    66419   52854   1075    581 1.83
2.08/2.12	c     1170   5910    15856   152985    9    66629   58140   1178    571 2.05
2.08/2.12	o 44088254	2.117
2.68/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.68/2.76	c     1197   5910    15884   157261    9    69849   52854   1206    564 2.12
2.68/2.76	c     1297   5910    15984   165407   10    70050   58140   1306    589 2.20
2.68/2.76	c     1549   5910    16236   181687   11    70554   63955   1558    565 2.74
2.68/2.76	o 38835069	2.76
2.68/2.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.68/2.79	c     1552   5910    16240   184930   11    73726   52854   1562    561 2.76
2.68/2.79	o 38628449	2.788
7.38/7.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.46	c     1560   5910    16249   188511   11    76907   52854   1571    559 2.79
7.38/7.46	c     1660   5910    16349   193379   11    77102   58140   1671    549 3.02
7.38/7.46	c     1911   5909    16600   220269   13    77607   63955   1922    560 3.41
7.38/7.46	c     2386   5909    17075   251516   14    78547   70351   2397    585 4.08
7.38/7.46	c     3202   5909    17891   313560   17    80182   77387   3213    550 5.81
7.38/7.46	c     4523   5909    19212   464987   24    82822   85126   4534    609 7.42
7.38/7.46	o 31515464	7.458
8.28/8.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.28/8.32	c     4533   5909    19223   468497   24    86008   52852   4545    607 7.46
8.28/8.32	c     4634   5909    19324   474738   24    86206   58138   4646    603 7.68
8.28/8.32	c     4886   5893    19576   484969   24    86693   63952   4898    589 8.29
8.28/8.32	o 31454266	8.312
10.08/10.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.08/10.17	c     4891   5893    19582   488580   24    89852   52820   4904    588 8.31
10.08/10.17	c     4992   5893    19683   497394   25    90052   58103   5005    589 8.47
10.08/10.17	c     5242   5893    19933   531411   26    90554   63914   5255    585 8.95
10.08/10.17	c     5717   5893    20408   552435   27    91502   70306   5730    577 9.91
10.08/10.17	o 25221055	10.162
12.09/12.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.09/12.17	c     5846   5893    20538   561981   27    94911   52820   5860    575 10.16
12.09/12.17	c     5948   5893    20640   572006   27    95118   58103   5962    573 10.37
12.09/12.17	c     6199   5893    20891   589287   28    95620   63914   6213    565 10.96
12.09/12.17	c     6676   5892    21368   644533   30    96576   70306   6690    560 11.92
12.09/12.17	o 20974553	12.164
13.48/13.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.48/13.56	c     6746   5892    21439   655692   30    99859   52818   6761    554 12.17
13.48/13.56	c     6854   5892    21547   661890   30   100078   58100   6869    547 12.51
13.48/13.56	c     7105   5891    21798   672542   30   100577   63911   7120    531 13.36
13.48/13.56	o 10777390	13.552
13.48/13.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.48/13.59	c     7175   5805    21869   678009   31   103795   52698   7191    529 13.55
13.48/13.59	o 10711863	13.583
36.16/36.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.16/36.22	c     7182   5805    21877   681673   31   106898   52698   7199    528 13.59
36.16/36.22	c     7283   5805    21978   691436   31   107100   57968   7300    529 13.76
36.16/36.22	c     7533   5803    22228   699293   31   107599   63765   7550    515 14.61
36.16/36.22	c     8008   5803    22703   772836   34   108551   70142   8025    520 15.39
36.16/36.22	c     8822   5803    23517   841618   35   110177   77157   8839    507 17.38
36.16/36.22	c    10142   5799    24837  1021438   41   112811   84873  10159    512 19.81
36.16/36.22	c    12223   5799    26918  1299193   48   116978   93361  12240    518 23.59
36.16/36.22	c    15446   5799    30141  1885459   62   123417  102698  15463    511 30.17
36.16/36.22	o 8249089	36.2
45.56/45.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.56/45.65	c    18543   5799    33239  2510567   75   132696   52690  18561    512 36.20
45.56/45.65	c    18644   5799    33340  2516622   75   132898   57960  18662    510 36.55
45.56/45.65	c    18894   5497    33590  2532776   75   133393   63757  18912    509 37.08
45.56/45.65	c    19369   5497    34065  2584996   75   134344   70133  19387    508 38.06
45.56/45.65	c    20185   5496    34881  2683774   76   135973   77147  20203    510 39.56
45.56/45.65	c    21506   5496    36202  2888620   79   138615   84862  21524    504 42.59
45.56/45.65	o 8236128	45.621
48.86/48.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.86/48.99	c    23149   5496    37846  3084485   81   144815   52356  23168    507 45.62
48.86/48.99	c    23251   5496    37948  3111652   81   145022   57592  23270    506 45.88
48.86/48.99	c    23504   3887    38201  3130934   81   145518   63352  23523    505 46.50
48.86/48.99	c    23981   3887    38678  3201018   82   146471   69688  24000    504 47.56
48.86/48.99	o 8228777	48.957
58.75/58.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.75/58.86	c    24668   3887    39366  3268687   83   149933   50700  24688    503 48.96
58.75/58.86	c    24768   3887    39466  3286154   83   150132   55771  24788    502 49.28
58.75/58.86	c    25018   3887    39716  3304867   83   150634   61349  25038    501 49.85
58.75/58.86	c    25494   3887    40192  3349642   83   151584   67484  25514    498 51.12
58.75/58.86	c    26307   3887    41005  3414033   83   153212   74233  26327    497 52.84
58.75/58.86	c    27627   3887    42325  3721910   87   155850   81657  27647    489 56.44
58.75/58.86	o 8220665	58.822
77.55/77.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.55/77.69	c    28549   3887    43248  3790140   87   159783   50700  28570    485 58.82
77.55/77.69	c    28649   3887    43348  3812348   87   159981   55771  28670    483 59.21
77.55/77.69	c    28899   3887    43598  3873498   88   160484   61349  28920    482 59.86
77.55/77.69	c    29374   3887    44073  3990022   90   161431   67484  29395    478 61.34
77.55/77.69	c    30192   3887    44891  4201388   93   163070   74233  30213    474 63.62
77.55/77.69	c    31513   3887    46212  4513650   97   165709   81657  31534    464 67.90
77.55/77.69	c    33594   3887    48293  4910958  101   169874   89823  33615    455 73.77
77.55/77.69	o 8187024	77.656
78.64/78.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.64/78.70	c    34623   3887    49323  5238242  106   174014   50700  34645    445 77.66
78.64/78.70	c    34724   3887    49424  5246021  106   174222   55771  34746    445 78.02
78.64/78.70	o 8151562	78.66
81.24/81.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.24/81.39	c    34913   3887    49614  5263548  106   176687   50700  34936    443 78.66
81.24/81.39	c    35013   3882    49714  5267776  105   176886   55771  35036    443 78.96
81.24/81.39	c    35263   3882    49964  5279234  105   177386   61349  35286    441 79.80
81.24/81.39	c    35740   3882    50441  5311303  105   178340   67484  35763    439 81.32
81.24/81.39	o 8064344	81.354
81.46/81.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.46/81.55	c    35742   3882    50444  5313453  105   180426   50692  35766    439 81.36
81.46/81.55	o 8015776	81.507
84.45/84.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.45/84.57	c    35786   3882    50489  5317744  105   182597   50692  35811    439 81.51
84.45/84.57	c    35889   3882    50592  5322907  105   182804   55762  35914    438 81.88
84.45/84.57	c    36141   3882    50844  5336720  104   183308   61339  36166    436 82.81
84.45/84.57	c    36616   3882    51319  5382216  104   184258   67473  36641    433 84.47
84.45/84.57	o 7984773	84.536
87.05/87.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.05/87.18	c    36625   3882    51329  5384676  104   186358   50692  36651    433 84.54
87.05/87.18	c    36725   3882    51429  5387819  104   186559   55762  36751    432 84.85
87.05/87.18	c    36976   3882    51680  5401640  104   187061   61339  37002    431 85.74
87.05/87.18	o 7979651	87.143
91.95/92.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.95/92.05	c    37402   3882    52107  5420826  104   189995   50692  37429    429 87.14
91.95/92.05	c    37502   3882    52207  5425323  103   190196   55762  37529    428 87.52
91.95/92.05	c    37752   3882    52457  5438983  103   190696   61339  37779    427 88.37
91.95/92.05	c    38227   3882    52932  5480082  103   191646   67473  38254    424 90.06
91.95/92.05	o 7961292	92.013
96.15/96.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.15/96.20	c    38813   3882    53519  5531982  103   194900   50692  38841    421 92.02
96.15/96.20	c    38913   3882    53619  5539173  103   195101   55762  38941    421 92.42
96.15/96.20	c    39163   3882    53869  5549175  103   195601   61339  39191    419 93.42
96.15/96.20	c    39638   3882    54344  5597507  103   196551   67473  39666    416 95.10
96.15/96.20	o 7928810	96.162
97.24/97.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.24/97.33	c    39898   3882    54605  5620482  102   199153   50692  39927    414 96.16
97.24/97.33	c    40001   3882    54708  5624308  102   199360   55762  40030    414 96.58
97.24/97.33	o 7928519	97.287
98.64/98.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.64/98.70	c    40192   3882    54900  5638596  102   201824   50692  40222    413 97.29
98.64/98.70	c    40292   3882    55000  5643304  102   202025   55762  40322    412 97.71
98.64/98.70	o 7921059	98.66
99.34/99.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
99.34/99.44	c    40537   3882    55246  5660554  102   204597   50692  40568    410 98.66
99.34/99.44	c    40637   3882    55346  5667463  102   204798   55762  40668    410 99.10
99.34/99.44	o 7915560	99.396
100.15/100.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.15/100.26	c    40715   3882    55425  5673694  102   207036   50692  40747    409 99.40
100.15/100.26	c    40816   3882    55526  5681936  102   207239   55762  40848    408 99.85
100.15/100.26	o 7908852	100.217
101.04/101.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.04/101.16	c    40889   3882    55600  5687679  102   209467   50692  40922    407 100.22
101.04/101.16	c    40991   3882    55702  5694522  102   209672   55762  41024    407 100.61
101.04/101.16	o 7872402	101.119
102.44/102.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.44/102.55	c    41104   3882    55816  5703563  102   211980   50692  41138    406 101.12
102.44/102.55	c    41204   3882    55916  5710042  102   212181   55762  41238    405 101.58
102.44/102.55	o 7864508	102.511
103.54/103.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.54/103.61	c    41424   3882    56137  5723541  101   214703   50692  41459    404 102.51
103.54/103.61	c    41526   3882    56239  5729547  101   214908   55762  41561    403 102.98
103.54/103.61	o 7863802	103.563
104.64/104.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
104.64/104.73	c    41647   3882    56361  5737353  101   217232   50692  41683    402 103.56
104.64/104.73	c    41747   3882    56461  5743447  101   217433   55762  41783    401 104.00
104.64/104.73	o 7863302	104.691
105.94/106.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.94/106.06	c    41876   3882    56591  5753151  101   219773   50692  41913    399 104.69
105.94/106.06	c    41976   3882    56691  5759598  101   219974   55762  42013    399 105.18
105.94/106.06	o 7853549	106.014
110.94/111.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
110.94/111.02	c    42181   3882    56897  5776360  101   222466   50692  42219    397 106.02
110.94/111.02	c    42283   3882    56999  5784646  101   222671   55762  42321    396 106.57
110.94/111.02	c    42533   3882    57249  5805963  101   223171   61339  42571    394 107.86
110.94/111.02	c    43008   3882    57724  5844255  101   224121   67473  43046    390 110.04
110.94/111.02	o 7844886	110.974
128.23/128.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.23/128.35	c    43215   3882    57932  5866683  101   226617   50692  43254    389 110.98
128.23/128.35	c    43315   3882    58032  5886871  101   226818   55762  43354    388 111.44
128.23/128.35	c    43568   3882    58285  5901626  101   227324   61339  43607    386 112.83
128.23/128.35	c    44044   3882    58761  5986630  101   228276   67473  44083    382 115.00
128.23/128.35	c    44857   3882    59574  6079713  102   229902   74221  44896    377 118.95
128.23/128.35	c    46178   1020    60895  6295563  103   232559   81644  46217    369 125.11
128.23/128.35	o 7832344	128.291
150.51/150.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
150.51/150.66	c    46880   1020    61598  6318192  102   234550   47702  46920    365 128.29
150.51/150.66	c    46981   1020    61699  6321910  102   234754   52473  47021    364 128.72
150.51/150.66	c    47231   1020    61949  6332288  102   235253   57721  47271    363 129.87
150.51/150.66	c    47708   1020    62426  6359544  101   236206   63494  47748    360 132.23
150.51/150.66	c    48521   1020    63239  6383829  100   237833   69844  48561    358 135.19
150.51/150.66	c    49841   1020    64559  6428821   99   240473   76829  49881    354 140.58
150.51/150.66	c    51924   1020    66642  6513799   97   244640   84512  51964    346 149.66
150.51/150.66	o 7826520	150.593
154.71/154.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
154.71/154.85	c    52141   1020    66860  6521507   97   245663   47702  52182    346 150.59
154.71/154.85	c    52242   1020    66961  6529011   97   245865   52473  52283    345 151.02
154.71/154.85	c    52495   1020    67214  6544281   97   246369   57721  52536    345 152.13
154.71/154.85	c    52970   1020    67689  6567335   97   247321   63494  53011    343 154.28
154.71/154.85	o 7824629	154.78
186.51/186.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.51/186.67	c    53075   1020    67795  6571746   96   248114   47702  53117    342 154.78
186.51/186.67	c    53175   1020    67895  6574830   96   248317   52473  53217    342 155.20
186.51/186.67	c    53427   1020    68147  6582148   96   248821   57721  53469    341 156.40
186.51/186.67	c    53902   1020    68622  6595882   96   249771   63494  53944    340 158.32
186.51/186.67	c    54715   1020    69435  6616864   95   251400   69844  54757    338 161.67
186.51/186.67	c    56036   1020    70756  6655927   94   254039   76829  56078    333 168.07
186.51/186.67	c    58118   1020    72838  6729436   92   258203   84512  58160    328 176.71
186.51/186.67	o 7815416	186.589
192.81/192.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.81/192.98	c    60238   1020    74959  6850204   91   263031   47702  60281    322 186.59
192.81/192.98	c    60338   1020    27157   538798   19    74857   52473  12479    322 187.38
192.81/192.98	c    60588   1020    27407   556405   20    75357   57721  12729    323 187.56
192.81/192.98	c    61064   1020    27883   599452   21    76309   63494  13205    324 187.93
192.81/192.98	c    61878   1020    28697   660867   23    77937   69844  14019    328 188.61
192.81/192.98	c    63199   1020    30018   780529   26    80579   76829  15340    333 189.68
192.81/192.98	c    65282   1020    32101   953047   29    84745   84512  17423    341 191.36
192.81/192.98	o 7814384	192.899
204.31/204.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
204.31/204.49	c    67340   1020    34160  1102268   32    89449   47702  19482    349 192.90
204.31/204.49	c    67441   1020    34261  1108770   32    89650   52473  19583    349 192.99
204.31/204.49	c    67691   1020    34511  1128652   32    90152   57721  19833    350 193.25
204.31/204.49	c    68169   1020    34989  1160176   33    91108   63494  20311    351 193.66
204.31/204.49	c    68983   1020    35803  1227460   34    92736   69844  21125    354 194.41
204.31/204.49	c    70305   1018    37125  1327129   35    95377   76829  22447    358 195.87
204.31/204.49	c    72388   1018    39208  1465395   37    99545   84512  24530    365 197.93
204.31/204.49	c    75611   1018    42431  1744029   41   105991   92964  27753    375 201.30
204.31/204.49	o 7814224	204.414
211.12/211.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.12/211.26	c    78668   1018    45489  1951927   42   112688   47700  30811    384 204.41
211.12/211.26	c    78768   1018    45589  1967017   43   112893   52471  30911    385 204.56
211.12/211.26	c    79018   1017    45839  2009662   43   113392   57719  31161    385 204.94
211.12/211.26	c    79494   1017    46315  2071447   44   114335   63491  31637    386 205.65
211.12/211.26	c    80308   1017    47129  2129348   45   115972   69841  32451    388 206.87
211.12/211.26	c    81628   1016    48449  2250173   46   118605   76826  33771    390 208.90
211.12/211.26	o 7805521	211.18
240.71/240.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
240.71/240.87	c    83200   1016    50022  2344699   46   122338   47700  35344    393 211.18
240.71/240.87	c    83301   1016    50123  2350595   46   122545   52471  35445    394 211.34
240.71/240.87	c    83551   1016    50373  2373204   47   123042   57719  35695    394 211.63
240.71/240.87	c    84026   1016    50848  2421936   47   123995   63491  36170    395 212.34
240.71/240.87	c    84839   1016    51661  2493254   48   125621   69841  36983    397 213.66
240.71/240.87	c    86163   1016    52985  2585418   48   128265   76826  38307    398 216.06
240.71/240.87	c    88244   1016    55066  2772371   50   132429   84509  40388    401 219.69
240.71/240.87	c    91467   1016    58289  3090531   53   138877   92960  43611    406 224.82
240.71/240.87	c    96403   1014    63225  3633916   57   148748  102257  48547    410 234.58
240.71/240.87	o 7794114	240.787
257.41/257.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.41/257.57	c    99914   1014    66737  4021515   60   156357   47698  52059    414 240.79
257.41/257.57	c   100014   1014    66837  4030189   60   156557   52468  52159    414 241.07
257.41/257.57	c   100265   1013    67088  4064039   60   157058   57715  52410    414 241.65
257.41/257.57	c   100741   1013    67564  4126582   61   158010   63487  52886    414 242.84
257.41/257.57	c   101555   1013    68378  4225066   61   159638   69836  53700    414 245.02
257.41/257.57	c   102875   1013    69698  4411050   63   162278   76820  55020    414 248.06
257.41/257.57	c   104957   1012    71780  4729905   65   166441   84503  57102    413 253.62
257.41/257.57	o 7729297	257.483
314.60/314.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
314.60/314.70	c   107022   1012    73846  4907902   66   171153   47698  59168    415 257.48
314.60/314.70	c   107123   1012    30716  1643121   53    81967   52468  16038    413 258.81
314.60/314.70	c   107373   1012    30966  1669208   53    82467   57715  16288    414 259.00
314.60/314.70	c   107850   1002    31443  1735873   55    83419   63487  16765    415 259.50
314.60/314.70	c   108663    993    32256  1840157   57    85044   69836  17578    417 260.44
314.60/314.70	c   109983    993    33576  1939492   57    87684   76820  18898    420 261.77
314.60/314.70	c   112064    993    35657  2207632   61    91846   84503  20979    424 264.05
314.60/314.70	c   115287    983    38880  2604310   66    98290   92954  24202    429 268.37
314.60/314.70	c   120224    983    43817  3078311   70   108164  102250  29139    437 274.83
314.60/314.70	c   127730    983    51323  3620793   70   123176  112476  36645    446 285.75
314.60/314.70	c   139091    974    62684  4510159   71   145897  123724  48006    460 301.75
314.60/314.70	o 7727051	314.603
317.80/317.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
317.80/317.98	c   144985    965    68579  5020563   73   158246   47648  53901    460 314.60
317.80/317.98	c   145085    965    29990  1190130   39    80483   52413  15312    459 315.94
317.80/317.98	c   145337    964    30242  1215229   40    80986   57655  15564    459 316.18
317.80/317.98	c   145813    964    30718  1234094   40    81937   63421  16040    460 316.48
317.80/317.98	c   146626    962    31531  1273188   40    83561   69764  16853    461 317.40
317.80/317.98	o 7726305	317.878
329.29/329.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
329.29/329.44	c   147274    962    32180  1310307   40    85418   47646  17502    463 317.88
329.29/329.44	c   147374    962    32280  1322291   40    85617   52411  17602    463 318.04
329.29/329.44	c   147625    958    32531  1335266   41    86115   57653  17853    463 318.33
329.29/329.44	c   148101    958    33007  1369927   41    87071   63419  18329    464 318.77
329.29/329.44	c   148914    958    33820  1444992   42    88695   69761  19142    465 319.74
329.29/329.44	c   150234    958    35140  1528556   43    91333   76738  20462    467 321.30
329.29/329.44	c   152317    958    37223  1649101   44    95501   84412  22545    470 323.58
329.29/329.44	c   155543    958    40449  1906461   47   101953   92854  25771    475 327.03
329.29/329.44	o 7721522	329.335
334.69/334.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
334.69/334.83	c   157323    958    42230  2042531   48   106073   47640  27552    477 329.33
334.69/334.83	c   157423    958    42330  2046778   48   106270   52405  27652    477 329.47
334.69/334.83	c   157674    958    42581  2059316   48   106775   57646  27903    477 329.97
334.69/334.83	c   158150    958    43057  2090814   48   107724   63411  28379    478 330.42
334.69/334.83	c   158964    958    43871  2158654   49   109355   69753  29193    478 331.97
334.69/334.83	c   160284    958    45191  2229915   49   111992   76729  30513    481 333.09
334.69/334.83	o 7710830	334.725
339.59/339.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
339.59/339.74	c   161262    958    46170  2336253   50   114508   47640  31492    481 334.73
339.59/339.74	c   161364    958    46272  2343432   50   114709   52405  31594    481 334.84
339.59/339.74	c   161614    958    46522  2362319   50   115213   57646  31844    482 335.28
339.59/339.74	c   162089    958    46997  2388394   50   116159   63411  32319    482 335.79
339.59/339.74	c   162902    958    47810  2439864   51   117789   69753  33132    483 337.15
339.59/339.74	c   164223    958    49131  2541221   51   120427   76729  34453    485 338.42
339.59/339.74	o 7699962	339.637
346.09/346.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
346.09/346.25	c   164818    958    49727  2594395   52   122178   47640  35049    485 339.64
346.09/346.25	c   164918    958    49827  2607349   52   122375   52405  35149    485 339.82
346.09/346.25	c   165168    958    50077  2634109   52   122879   57646  35399    485 340.42
346.09/346.25	c   165643    958    50552  2676576   52   123825   63411  35874    485 340.93
346.09/346.25	c   166456    958    51365  2769506   53   125455   69753  36687    485 342.82
346.09/346.25	c   167778    958    52687  2847325   54   128095   76729  38009    486 344.51
346.09/346.25	o 7699376	346.144
349.79/349.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
349.79/349.98	c   169197    958    54107  2957912   54   131491   47640  39429    488 346.14
349.79/349.98	c   169298    958    54208  2969800   54   131691   52405  39530    488 346.46
349.79/349.98	c   169551    958    54461  3000464   55   132199   57646  39783    488 346.81
349.79/349.98	c   170027    958    54937  3079444   56   133149   63411  40259    488 348.08
349.79/349.98	c   170840    958    55750  3172785   56   134777   69753  41072    489 349.14
349.79/349.98	o 7698914	349.872
352.09/352.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
352.09/352.28	c   171112    958    56023  3194126   57   135876   47640  41345    489 349.87
352.09/352.28	c   171212    958    56123  3214438   57   136079   52405  41445    489 350.07
352.09/352.28	c   171463    958    56374  3238192   57   136578   57646  41696    488 350.77
352.09/352.28	c   171939    958    56850  3276574   57   137533   63411  42172    489 351.46
352.09/352.28	o 7697668	352.171
355.58/355.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
355.58/355.73	c   172222    958    57134  3302493   57   138653   47640  42456    489 352.17
355.58/355.73	c   172322    958    57234  3319083   57   138857   52405  42556    489 352.35
355.58/355.73	c   172572    958    57484  3352344   58   139353   57646  42806    488 353.02
355.58/355.73	c   173050    958    57962  3423969   59   140313   63411  43284    489 353.83
355.58/355.73	o 7691140	355.63
358.68/358.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
358.68/358.86	c   173677    958    58590  3482692   59   142120   47640  43912    488 355.63
358.68/358.86	c   173777    958    58690  3498559   59   142325   52405  44012    488 355.81
358.68/358.86	c   174028    928    58941  3522170   59   142826   57646  44263    488 356.58
358.68/358.86	c   174506    928    59419  3591506   60   143782   63411  44741    488 357.38
358.68/358.86	o 7687115	358.752
366.08/366.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
366.08/366.21	c   175215    919    60129  3633532   60   145736   47598  45451    488 358.75
366.08/366.21	c   175316    919    60230  3637472   60   145938   52358  45552    488 359.04
366.08/366.21	c   175568    919    60482  3669636   60   146440   57594  45804    488 359.48
366.08/366.21	c   176043    919    60957  3716438   60   147392   63354  46279    488 360.55
366.08/366.21	c   176856    919    61770  3755679   60   149017   69690  47092    488 361.68
366.08/366.21	c   178177    919    63091  3834880   60   151660   76660  48413    488 364.72
366.08/366.21	o 7685253	366.106
366.58/366.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
366.58/366.70	c   179153    919    64068  3912327   61   154148   47598  49390    489 366.11
366.58/366.70	c   179253    912    64168  3917227   61   154348   52358  49490    489 366.41
366.58/366.70	o 7650548	366.595
371.58/371.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
371.58/371.75	c   179389    912    64305  3928821   61   155153   47590  49627    489 366.60
371.58/371.75	c   179492    912    64408  3939546   61   155357   52350  49730    489 366.92
371.58/371.75	c   179742    912    64658  3973761   61   155859   57586  49980    489 367.42
371.58/371.75	c   180219    912    65135  4001065   61   156811   63345  50457    489 368.49
371.58/371.75	c   181033    912    65949  4089894   62   158441   69680  51271    489 369.88
371.58/371.75	o 7649594	371.646
371.98/372.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
371.98/372.10	c   182086    908    67003  4155651   62   161077   47586  52325    489 371.65
371.98/372.10	c   182187    908    67104  4165341   62   161279   52345  52426    489 371.93
371.98/372.10	o 7647332	371.991
372.48/372.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
372.48/372.65	c   182214    908    67132  4168911   62   161864   47586  52454    489 371.99
372.48/372.65	c   182315    908    67233  4175172   62   162064   52345  52555    489 372.25
372.48/372.65	o 7645034	372.547
372.89/373.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
372.89/373.02	c   182446    908    67365  4193444   62   162859   47586  52687    489 372.55
372.89/373.02	c   182546    908    67465  4200897   62   163059   52345  52787    489 372.88
372.89/373.02	o 7644044	372.915
377.08/377.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
377.08/377.27	c   182553    908    67473  4201771   62   163604   47586  52795    489 372.92
377.08/377.27	c   182655    908    67575  4214725   62   163808   52345  52897    489 373.10
377.08/377.27	c   182905    908    67825  4230823   62   164308   57580  53147    489 373.77
377.08/377.27	c   183384    908    68304  4278240   62   165266   63339  53626    489 374.69
377.08/377.27	c   184197    908    69117  4326945   62   166888   69673  54439    489 376.68
377.08/377.27	o 7644016	377.164
380.78/380.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
380.78/380.99	c   184466    908    69387  4353899   62   167961   47586  54709    489 377.17
380.78/380.99	c   184566    908    29434  1123369   38    79887   52345  14756    485 379.99
380.78/380.99	c   184817    908    29685  1138259   38    80389   57580  15007    486 380.22
380.78/380.99	c   185293    908    30161  1174304   38    81341   63339  15483    486 380.68
380.78/380.99	o 7643876	380.877
380.98/381.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
380.98/381.17	c   185503    908    30372  1187665   39    82292   47586  15694    487 380.88
380.98/381.17	c   185608    908    30477  1194040   39    82502   52345  15799    487 380.99
380.98/381.17	o 7641930	381.061
381.69/381.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
381.69/381.89	c   185672    908    30542  1201067   39    83161   47586  15864    487 381.06
381.69/381.89	c   185773    908    30643  1210886   39    83363   52345  15965    487 381.18
381.69/381.89	c   186023    908    30893  1229407   39    83863   57580  16215    487 381.39
381.69/381.89	o 7641355	381.781
381.88/382.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
381.88/382.05	c   186407    908    31278  1260414   40    85162   47586  16600    488 381.78
381.88/382.05	c   186507    908    31378  1271720   40    85362   52345  16700    488 381.91
381.88/382.05	o 7638474	381.944
382.58/382.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
382.58/382.80	c   186533    908    31405  1273557   40    85945   47586  16727    488 381.94
382.58/382.80	c   186634    908    31506  1286867   40    86147   52345  16828    488 382.09
382.58/382.80	c   186884    908    31756  1309041   41    86647   57580  17078    488 382.40
382.58/382.80	o 7636380	382.692
383.08/383.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
383.08/383.25	c   187145    908    32018  1339888   41    87700   47586  17340    489 382.69
383.08/383.25	c   187248    908    32121  1350063   42    87906   52345  17443    489 382.80
383.08/383.25	c   187498    908    32371  1364499   42    88406   57580  17693    489 383.11
383.08/383.25	o 7635222	383.143
383.48/383.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
383.48/383.69	c   187516    908    32390  1366052   42    88973   47586  17712    489 383.14
383.48/383.69	c   187617    908    32491  1382164   42    89175   52345  17813    489 383.28
383.48/383.69	c   187869    908    32743  1399277   42    89679   57580  18065    489 383.52
383.48/383.69	o 7635054	383.577
383.98/384.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
383.98/384.18	c   187917    908    32792  1401910   42    90306   47586  18114    489 383.58
383.98/384.18	c   188017    908    32892  1406979   42    90506   52345  18214    489 383.75
383.98/384.18	o 7631055	384.072
384.28/384.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
384.28/384.42	c   188257    908    33133  1430523   43    91517   47586  18455    490 384.07
384.28/384.42	c   188362    908    33238  1435830   43    91727   52345  18560    490 384.22
384.28/384.42	o 7628793	384.308
384.48/384.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
384.48/384.62	c   188444    908    33321  1439710   43    92422   47586  18643    490 384.31
384.48/384.62	c   188544    908    33421  1445968   43    92622   52345  18743    490 384.46
384.48/384.62	o 7626495	384.514
385.18/385.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
385.18/385.37	c   188572    908    33450  1449471   43    93209   47586  18772    490 384.51
385.18/385.37	c   188673    908    33551  1453745   43    93411   52345  18873    490 384.65
385.18/385.37	c   188926    908    33804  1475892   43    93917   57580  19126    490 384.93
385.18/385.37	o 7617284	385.262
385.48/385.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
385.48/385.65	c   189184    908    34063  1489128   43    94964   47586  19385    491 385.26
385.48/385.65	c   189284    908    34163  1492504   43    95164   52345  19485    491 385.41
385.48/385.65	o 7616515	385.544
387.18/387.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
387.18/387.37	c   189359    908    34239  1501326   43    95845   47586  19561    491 385.54
387.18/387.37	c   189459    908    34339  1514811   44    96045   52345  19661    491 385.76
387.18/387.37	c   189711    908    34591  1530014   44    96549   57580  19913    491 386.05
387.18/387.37	c   190186    908    35066  1556435   44    97499   63339  20388    491 386.64
387.18/387.37	o 7613644	387.257
387.48/387.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
387.48/387.64	c   190672    680    35553  1581490   44    98890   47364  20875    492 387.26
387.48/387.64	c   190772    680    35653  1586162   44    99090   52101  20975    492 387.42
387.48/387.64	o 7609454	387.527
388.68/388.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
388.68/388.80	c   190815    680    35697  1588908   44    99596   47364  21019    492 387.53
388.68/388.80	c   190916    680    35798  1595008   44    99798   52101  21120    492 387.68
388.68/388.80	c   191167    675    36049  1606136   44   100299   57312  21371    492 388.12
388.68/388.80	o 7603498	388.687
389.18/389.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.18/389.30	c   191542    604    36425  1617465   44   101427   47282  21747    492 388.69
389.18/389.30	c   191647    604    36530  1620380   44   101637   52011  21852    492 388.82
389.18/389.30	c   191897    604    36780  1626248   44   102137   57213  22102    493 389.16
389.18/389.30	o 7601790	389.19
389.18/389.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.18/389.37	c   191918    604    36802  1627085   44   102558   47282  22124    493 389.19
389.18/389.37	o 7600698	389.262
389.18/389.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.18/389.39	c   191964    604    36849  1628908   44   103029   47282  22171    493 389.26
389.18/389.39	o 7600632	389.279
389.28/389.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.28/389.40	c   191975    604    36861  1629577   44   103430   47282  22183    493 389.28
389.28/389.40	o 7599858	389.294
389.28/389.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.28/389.45	c   191978    604    36865  1630058   44   103815   47282  22187    493 389.30
389.28/389.45	o 7595668	389.34
389.38/389.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.38/389.52	c   192000    604    36888  1631018   44   104238   47282  22210    493 389.34
389.38/389.52	o 7593034	389.405
389.38/389.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.38/389.56	c   192038    260    36927  1631752   44   104485   46870  22249    493 389.40
389.38/389.56	o 7588004	389.447
389.38/389.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.38/389.56	c   192072     88    36962  1631995   44   104608   46640  22284    493 389.45
389.38/389.56	o 7586846	389.452
389.38/389.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
389.38/389.56	c   192075      0    36966  1632000   44   104612   46524  22288    493 389.45
389.38/389.56	v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 -x6453 -x6454 -x6455 -x6456 x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6485 -x6486 -x6487 -x6488 x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 -x6514 x6515 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369 -x6370 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 x6402 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -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 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x6571 -x6572 -x6573 x6574 -x6575 x6576 x6577 -x6578 -x6579 -x6580 -x6581 -x6582 x6583 -x6584 -x6585 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 x6765 -x6766 -x6767 -x6768 -x6769 -x6770 x6771 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6660 -x6661 -x6662 -x6663 x6664 -x6665 x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x6436 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x6452 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x6468 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x6484 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x6500 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x6516 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x6532 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x6548 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6564 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x6355 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x6371 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x6387 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x6403 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x6419 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x6435 -x3481 -x3497 -x3513 -x3529 -x3545 -x3561 -x3577 -x3593 -x3609 -x3400 -x3416 -x3432 -x3448 -x3464 -x3480 -x6676 -x6692 -x6708 -x6724 -x6740 -x6756 -x6772 -x6788 -x6804 -x6595 -x6611 -x6627 -x6643 -x6659 -x6675 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 
389.38/389.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
389.38/389.56	c  311   192075  77516   475458    36966  1632000  22288    493 389.45
389.38/389.56	c Objective: 7586846
389.38/389.56	s OPTIMUM FOUND
389.38/389.56	c Total time: 389.453 s

OK	7586846

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744283-1338805123/watcher-3744283-1338805123 -o /tmp/evaluation-result-3744283-1338805123/solver-3744283-1338805123 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744283-1338805123.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.93 2/176 13490
/proc/meminfo: memFree=31162072/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=13076 CPUtime=0 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 346640837 13389824 419 33554432000 134512640 135840783 4291125936 4291124592 3011879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 3269 420 331 325 0 2063 0

[startup+0.105562 s]
/proc/loadavg: 1.93 1.98 1.93 2/176 13490
/proc/meminfo: memFree=31162072/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=8304 CPUtime=0.1 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 1521 0 0 0 10 0 0 0 20 0 1 0 346640837 8503296 1316 33554432000 134512640 135840783 4291125936 4291043308 14369840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8304

[startup+0.200227 s]
/proc/loadavg: 1.93 1.98 1.93 2/176 13490
/proc/meminfo: memFree=31162072/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=8304 CPUtime=0.19 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 1521 0 0 0 19 0 0 0 20 0 1 0 346640837 8503296 1316 33554432000 134512640 135840783 4291125936 4291042836 2998538 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8304

[startup+0.300202 s]
/proc/loadavg: 1.93 1.98 1.93 2/176 13490
/proc/meminfo: memFree=31162072/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=8304 CPUtime=0.29 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 1521 0 0 0 29 0 0 0 20 0 1 0 346640837 8503296 1316 33554432000 134512640 135840783 4291125936 4291042896 3009696 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8304

[startup+0.700177 s]
/proc/loadavg: 1.93 1.98 1.93 2/176 13490
/proc/meminfo: memFree=31162072/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=8304 CPUtime=0.69 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 1521 0 0 0 69 0 0 0 20 0 1 0 346640837 8503296 1316 33554432000 134512640 135840783 4291125936 4291042836 2998527 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2076 1316 344 325 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8304

[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31156996/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=9748 CPUtime=1.48 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 2039 0 0 0 148 0 0 0 20 0 1 0 346640837 9981952 1708 33554432000 134512640 135840783 4291125936 4291125296 134551359 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2437 1708 351 325 0 1373 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9748

[startup+3.10018 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31153508/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=11084 CPUtime=3.08 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 2379 0 0 0 308 0 0 0 20 0 1 0 346640837 11350016 2053 33554432000 134512640 135840783 4291125936 4291125232 134572687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 2771 2053 351 325 0 1707 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11084

[startup+6.30018 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31148908/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=13428 CPUtime=6.28 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 2952 0 0 0 627 1 0 0 20 0 1 0 346640837 13750272 2626 33554432000 134512640 135840783 4291125936 4291125296 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 3357 2626 351 325 0 2293 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13428

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31136332/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=17988 CPUtime=12.68 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 4096 0 0 0 1267 1 0 0 20 0 1 0 346640837 18419712 3770 33554432000 134512640 135840783 4291125936 4291124368 3009856 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13490/statm: 4497 3770 351 325 0 3433 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17988

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31116472/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=28488 CPUtime=25.48 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 6712 0 0 0 2546 2 0 0 20 0 1 0 346640837 29171712 6385 33554432000 134512640 135840783 4291125936 4291125296 134550924 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 7122 6385 351 325 0 6058 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28488

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.93 3/177 13491
/proc/meminfo: memFree=31079364/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=54664 CPUtime=51.06 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 13266 0 0 0 5103 3 0 0 20 0 1 0 346640837 55975936 12925 33554432000 134512640 135840783 4291125936 4291125296 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 13666 12925 351 325 0 12602 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54664

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.93 3/178 13495
/proc/meminfo: memFree=31030904/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=87188 CPUtime=102.25 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 21423 0 0 0 10220 5 0 0 20 0 1 0 346640837 89280512 21077 33554432000 134512640 135840783 4291125936 4291125296 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 21797 21077 351 325 0 20733 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87188

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=31001544/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=100572 CPUtime=162.21 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 24780 0 0 0 16215 6 0 0 20 0 1 0 346640837 102985728 24413 33554432000 134512640 135840783 4291125936 4291125296 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 25143 24413 351 325 0 24079 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 100572

[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=30998300/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=222.21 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25729 0 0 0 22214 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 104128

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 13495
/proc/meminfo: memFree=30997860/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=282.2 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 28213 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 104128

[startup+342.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/177 13495
/proc/meminfo: memFree=30991472/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=342.19 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 34212 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 104128

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

[startup+358.4 s]
/proc/loadavg: 2.05 2.00 1.93 3/177 13495
/proc/meminfo: memFree=30984528/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=358.28 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 35821 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 358.28
Current children cumulated vsize (KiB) 104128

[startup+371.2 s]
/proc/loadavg: 2.04 2.00 1.93 3/177 13495
/proc/meminfo: memFree=30975972/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=371.08 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 37101 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 371.08
Current children cumulated vsize (KiB) 104128

[startup+377.6 s]
/proc/loadavg: 2.04 2.00 1.93 3/176 13495
/proc/meminfo: memFree=30975980/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=377.48 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 37741 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125360 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 377.48
Current children cumulated vsize (KiB) 104128

[startup+384.006 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975972/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=383.88 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38381 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 383.88
Current children cumulated vsize (KiB) 104128

[startup+387.2 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975848/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=387.08 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38701 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 387.08
Current children cumulated vsize (KiB) 104128

[startup+388.8 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975848/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=388.68 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38861 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 388.68
Current children cumulated vsize (KiB) 104128

[startup+389.2 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975848/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=389.08 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38901 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 389.08
Current children cumulated vsize (KiB) 104128

[startup+389.4 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975848/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=389.28 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38921 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 389.28
Current children cumulated vsize (KiB) 104128

[startup+389.506 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 13496
/proc/meminfo: memFree=30975848/32873844 swapFree=8656/8656
[pid=13490] ppid=13488 vsize=104128 CPUtime=389.38 cores=0,2,4,6
/proc/13490/stat : 13490 (bsolo3.0.17) R 13488 13490 11815 0 -1 4202496 25732 0 0 0 38931 7 0 0 20 0 1 0 346640837 106627072 25303 33554432000 134512640 135840783 4291125936 4291125296 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13490/statm: 26032 25303 351 325 0 24968 0
Current children cumulated CPU time (s) 389.38
Current children cumulated vsize (KiB) 104128

Child status: 0
Real time (s): 389.569
CPU time (s): 389.456
CPU user time (s): 389.381
CPU system time (s): 0.074988
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 104128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.381
system time used= 0.074988
maximum resident set size= 101448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25735
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= 55
involuntary context switches= 453

runsolver used 0.624905 second user time and 1.50677 second system time

The end

Begin job on node102 at 2012-06-04 12:18:43
IDJOB=3744283
IDBENCH=92719
IDSOLVER=2318
FILE ID=node102/3744283-1338805123
RUNJOBID= node102-1338801513-13252
PBS_JOBID= 14636839
Free space on /tmp= 71168 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744283-1338805123/watcher-3744283-1338805123 -o /tmp/evaluation-result-3744283-1338805123/solver-3744283-1338805123 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3744283-1338805123.opb            

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

MD5SUM BENCH= 3266e32b2a945b684ae99382e7a5d59c
RANDOM SEED=985116735

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31161964 kB
Buffers:          223324 kB
Cached:           697020 kB
SwapCached:         5520 kB
Active:           283912 kB
Inactive:         655868 kB
Active(anon):      16192 kB
Inactive(anon):     5604 kB
Active(file):     267720 kB
Inactive(file):   650264 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:             14156 kB
Writeback:             0 kB
AnonPages:         22580 kB
Mapped:            10376 kB
Shmem:                 0 kB
Slab:             630948 kB
SReclaimable:      71304 kB
SUnreclaim:       559644 kB
KernelStack:        1448 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71160 MiB
End job on node102 at 2012-06-04 12:25:13