0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879973-1245136023.opb
0.00/0.00	c File size is 1509680 bytes.
0.19/0.23	c Highest Coefficient sum: 66891
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.229 s
0.19/0.25	c Var: 12596 Constr: 15189 2176/12361/652 Lit: 179013 Watch. Lit: 161876
0.19/0.25	c Obj. Vars: 714 (5.66847 % of total variables)
1.39/1.40	c Pre-processing Time: 1.399 s
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c        0  12248    15006   177662   11   161814  500000      0      0 1.40
1.39/1.40	c Switching off lower bounding mode.
1.39/1.41	o -330
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c        1  12248    15009   178414   11   162947  500000      3      0 1.42
1.39/1.43	o -525
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        2  12248    15011   179155   11   163646  500000      5      1 1.44
1.39/1.46	o -1010
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c       10  12248    15027   180148   11   164418  500000     21      6 1.47
1.39/1.48	o -1015
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c       18  12248    15044   182059   12   165835  500000     38     12 1.49
1.89/1.98	c      118  12248    15218   186631   12   167250  550001    212     75 1.55
1.89/1.98	c      368  12248    15658   203612   13   176486  605002    652    197 1.86
1.89/1.98	o -3220
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c      476  12248    15817   208572   13   178484  500000    811    239 1.99
1.99/2.03	o -3230
2.79/2.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.82	c      511  12248    15876   214058   13   182637  500000    870    250 2.04
2.79/2.82	c      611  12248    16053   226324   14   188680  550001   1047    237 2.57
2.79/2.82	o -3419
2.79/2.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.85	c      697  12248    16206   230689   14   190907  500000   1200    246 2.83
2.79/2.85	o -3839
2.79/2.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.89	c      703  12248    16218   231824   14   191638  500000   1212    246 2.86
2.79/2.89	o -3864
2.99/3.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.10	c      720  12248    16250   237986   14   196488  500000   1244    248 2.90
2.99/3.10	c      820  12068    16424   243526   14   198536  550001   1418    270 3.03
2.99/3.10	o -4617
3.09/3.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.13	c      851  12068    16479   245559   14   199702  500000   1473    274 3.10
3.09/3.13	o -4645
3.09/3.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.15	c      854  12068    16486   246330   14   200273  500000   1480    272 3.14
3.09/3.15	o -4720
4.09/4.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.14	c      860  12068    16498   248051   15   201572  500000   1492    271 3.16
4.09/4.14	c      960  12039    16676   255003   15   204432  550001   1670    294 3.26
4.09/4.14	c     1210  12038    17108   292257   17   229718  605002   2102    334 3.62
4.09/4.14	o -4732
4.30/4.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.39	c     1536  12038    17665   346191   19   265389  500000   2659    370 4.15
4.30/4.39	c     1636  12038    17824   351818   19   266158  550001   2818    378 4.32
4.30/4.39	o -4870
4.78/4.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.78/4.90	c     1646  12038    17840   353128   19   268963  500000   2834    374 4.40
4.78/4.90	o -4875
4.88/4.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.88/4.97	c     1743  12038    18032   403022   22   310893  500000   3026    355 4.90
4.88/4.97	o -5069
4.98/5.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.98/5.04	c     1754  12038    18052   404301   22   309844  500000   3046    352 4.97
4.98/5.04	o -5094
5.08/5.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.08/5.11	c     1779  12038    18101   407895   22   311286  500000   3095    352 5.05
5.08/5.11	o -5174
5.08/5.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.08/5.16	c     1782  12038    18108   410306   22   313339  500000   3102    348 5.12
5.08/5.16	o -5998
5.18/5.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.18/5.20	c     1803  12038    18137   411807   22   309964  500000   3131    348 5.17
5.18/5.20	o -6037
5.18/5.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.18/5.23	c     1807  12038    18145   412755   22   309909  500000   3139    346 5.21
5.18/5.23	o -6142
5.18/5.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.18/5.27	c     1807  12038    18146   413469   22   310436  500000   3140    344 5.24
5.18/5.27	o -6447
5.69/5.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.77	c     1808  12038    18149   414965   22   311043  500000   3143    342 5.28
5.69/5.77	c     1908  12038    18340   457333   24   344035  550001   3334    337 5.65
5.69/5.77	o -6531
5.79/5.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.84	c     1943  12038    18404   460118   25   342867  500000   3398    336 5.77
5.79/5.84	o -6547
5.89/5.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.90	c     1953  12038    18424   463663   25   345372  500000   3418    333 5.85
5.89/5.90	o -7360
5.89/5.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.97	c     1977  12038    18471   466129   25   343007  500000   3465    334 5.91
5.89/5.97	o -7361
6.99/7.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.03	c     1990  12038    18497   470457   25   346226  500000   3491    332 5.98
6.99/7.03	c     2090  12038    18682   513800   27   375945  550001   3676    314 6.64
6.99/7.03	o -7363
8.49/8.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.53	c     2195  12038    18871   549023   29   399895  500000   3865    311 7.04
8.49/8.53	c     2297  12038    19072   605408   31   447579  550001   4066    303 7.56
8.49/8.53	o -7368
10.18/10.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.18/10.27	c     2500  12038    19434   675226   34   487533  500000   4428    292 8.54
10.18/10.27	c     2600  12038    19617   688161   35   488171  550001   4611    298 8.71
10.18/10.27	o -7370
12.39/12.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.39/12.44	c     2792  12038    19972   779679   39   563993  500000   4966    271 10.28
12.39/12.44	c     2892  12038    20161   826099   40   595611  550001   5155    251 11.52
12.39/12.44	o -7375
31.47/31.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.47/31.58	c     2941  12038    20256   847210   41   605780  500000   5250    236 12.45
31.47/31.58	c     3041  12038    20439   878283   42   628234  550001   5433    220 13.82
31.47/31.58	c     3292  12038    20917   990191   47   703335  605002   5911    180 18.27
31.47/31.58	c     3767  12038    21827  1240687   56   874982  665503   6821    132 28.43
31.47/31.58	o -7380
33.67/33.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.67/33.74	c     3955  12038    22184  1299066   58   917229  500000   7178    125 31.57
33.67/33.74	c     4055  12038    22362  1325345   59   925587  550001   7356    124 32.57
33.67/33.74	o -7383
36.37/36.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.37/36.41	c     4095  12038    22436  1343385   59   942767  500000   7430    121 33.74
36.37/36.41	o -7388
42.57/42.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.57/42.65	c     4189  12038    22610  1379361   61   957897  500000   7604    115 36.41
42.57/42.65	c     4289  12038    22798  1427778   62   988147  550001   7792    109 39.17
42.57/42.65	o -7392
51.77/51.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.77/51.83	c     4351  12038    22920  1470775   64  1016287  500000   7914    102 42.65
51.77/51.83	c     4452  12038    23119  1505866   65  1032055  550001   8113    100 44.32
51.77/51.83	c     4702  12038    23608  1647080   69  1113599  605002   8602     93 50.09
51.77/51.83	o -7393
61.57/61.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.57/61.65	c     4765  12038    23719  1668946   70  1120601  500000   8713     91 51.83
61.57/61.65	c     4865  12038    23917  1718491   71  1154891  550001   8911     88 55.10
61.57/61.65	c     5115  12038    24394  1824926   74  1221304  605002   9388     84 60.39
61.57/61.65	o -7396
62.76/62.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.76/62.80	c     5160  12038    24479  1836325   75  1212533  500000   9473     83 61.64
62.76/62.80	o -7399
65.16/65.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.16/65.22	c     5182  12038    24520  1843759   75  1217839  500000   9514     82 62.79
65.16/65.22	o -7404
66.37/66.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.37/66.46	c     5235  12038    24620  1867473   75  1235264  500000   9614     80 65.20
66.37/66.46	o -7406
76.16/76.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.16/76.29	c     5271  12038    24689  1874298   75  1225892  500000   9683     79 66.45
76.16/76.29	c     5372  12038    24877  1907097   76  1246372  550001   9871     77 69.20
76.16/76.29	o -7411
81.96/82.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.96/82.08	c     5555  12038    25227  1996789   79  1297082  500000  10221     72 76.27
81.96/82.08	c     5663  12038    25422  2021620   79  1309829  550001  10416     71 79.28
81.96/82.08	o -7413
83.66/83.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.66/83.77	c     5732  12038    25557  2047366   80  1320123  500000  10551     69 82.06
83.66/83.77	o -7416
85.16/85.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
85.16/85.20	c     5806  12038    25673  2053412   79  1315832  500000  10667     69 83.76
85.16/85.20	o -7418
87.36/87.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.36/87.42	c     5824  12038    25709  2060969   80  1319728  500000  10703     68 85.18
87.36/87.42	o -7422
95.15/95.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.15/95.23	c     5869  12038    25798  2088035   80  1346276  500000  10792     67 87.40
95.15/95.23	c     5970  12038    25987  2123106   81  1376904  550001  10981     65 91.65
95.15/95.23	o -7425
105.65/105.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.65/105.74	c     6056  12038    26156  2178788   83  1411858  500000  11150     63 95.21
105.65/105.74	c     6156  12038    26355  2233797   84  1458174  550001  11349     61 99.66
105.65/105.74	o -7426
112.55/112.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
112.55/112.63	c     6303  12038    26622  2310004   86  1498516  500000  11616     59 105.71
112.55/112.63	c     6403  12038    26817  2332739   86  1503681  550001  11811     59 108.33
112.55/112.63	o -7431
119.05/119.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
119.05/119.19	c     6576  12038    27139  2384660   87  1534666  500000  12133     58 112.61
119.05/119.19	c     6676  12038    27321  2430299   88  1566066  550001  12315     57 115.84
119.05/119.19	o -7435
121.95/122.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.95/122.01	c     6740  12038    27445  2457820   89  1583141  500000  12439     56 119.16
121.95/122.01	o -7437
124.74/124.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
124.74/124.80	c     6795  12038    27548  2482889   90  1609482  500000  12542     55 121.98
124.74/124.80	o -7438
128.05/128.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.05/128.12	c     6881  12038    27708  2504878   90  1611894  500000  12702     55 124.77
128.05/128.12	c     6981  12038    27884  2536717   90  1644864  550001  12878     54 127.66
128.05/128.12	o -7441
128.45/128.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
128.45/128.50	c     6983  12038    27889  2537478   90  1638689  500000  12883     54 128.10
128.45/128.50	o -7451
129.15/129.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.15/129.20	c     6985  12038    27894  2539044   91  1640104  500000  12888     54 128.47
129.15/129.20	o -7454
131.44/131.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.44/131.54	c     6992  12038    27909  2544088   91  1646628  500000  12903     54 129.17
131.44/131.54	o -7459
132.04/132.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
132.04/132.16	c     7048  12038    28016  2567174   91  1654036  500000  13010     53 131.51
132.04/132.16	o -7483
132.44/132.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
132.44/132.54	c     7053  12038    28027  2568279   91  1647776  500000  13021     53 132.13
132.44/132.54	o -7521
133.04/133.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.04/133.10	c     7058  12038    28038  2569251   91  1647592  500000  13032     53 132.50
133.04/133.10	o -7585
133.94/134.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.94/134.07	c     7064  12038    28050  2573049   91  1650624  500000  13044     53 133.07
133.94/134.07	o -7709
138.64/138.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.64/138.70	c     7110  12038    28134  2578598   91  1651903  500000  13128     53 134.04
138.64/138.70	c     7210  12038    28332  2638200   93  1707806  550001  13326     52 137.31
138.64/138.70	o -7746
139.55/139.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.55/139.69	c     7234  12038    28379  2647227   93  1707214  500000  13373     52 138.67
139.55/139.69	o -8006
140.44/140.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
140.44/140.57	c     7264  12038    28437  2654937   93  1705139  500000  13431     52 139.65
140.44/140.57	o -8015
142.24/142.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
142.24/142.32	c     7327  12038    28553  2667068   93  1699466  500000  13547     52 140.53
142.24/142.32	o -8016
143.94/144.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.94/144.06	c     7398  12038    28684  2698698   94  1726382  500000  13678     51 142.29
143.94/144.06	o -8018
144.34/144.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.34/144.45	c     7494  12038    28863  2722569   94  1751258  500000  13857     52 144.02
144.34/144.45	o -8022
145.64/145.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.64/145.76	c     7501  12038    28877  2723631   94  1749617  500000  13871     51 144.41
145.64/145.76	o -8032
150.83/150.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
150.83/150.98	c     7527  12038    28929  2742101   94  1762945  500000  13923     51 145.72
150.83/150.98	c     7627  12038    29124  2779007   95  1776976  550001  14118     51 148.36
150.83/150.98	o -8057
152.33/152.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
152.33/152.40	c     7705  12038    29270  2803461   95  1783685  500000  14264     51 150.94
152.33/152.40	o -8066
152.94/153.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
152.94/153.02	c     7731  12038    29320  2818118   96  1813883  500000  14314     50 152.36
152.94/153.02	o -8068
153.34/153.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
153.34/153.47	c     7750  12038    29355  2823349   96  1800822  500000  14349     50 152.98
153.34/153.47	o -8179
159.34/159.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.34/159.46	c     7759  12038    29373  2824355   96  1794511  500000  14367     50 153.43
159.34/159.46	c     7861  12038    29565  2880894   97  1829699  550001  14559     50 156.54
159.34/159.46	o -8180
161.83/161.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.83/161.90	c     7985  12038    29793  2931444   98  1873786  500000  14787     50 159.42
161.83/161.90	o -8184
162.73/162.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
162.73/162.88	c     8056  12038    29934  2979493   99  1911680  500000  14928     49 161.86
162.73/162.88	o -8186
164.43/164.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
164.43/164.56	c     8106  12038    30031  2989546   99  1925578  500000  15025     49 162.83
164.43/164.56	o -8190
165.04/165.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
165.04/165.16	c     8143  12038    30105  3009665   99  1924062  500000  15099     49 164.51
165.04/165.16	o -8195
165.83/165.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
165.83/165.96	c     8153  12038    30126  3013218  100  1922140  500000  15120     49 165.12
165.83/165.96	o -8201
166.43/166.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.43/166.51	c     8178  12038    30175  3022062  100  1923873  500000  15169     49 165.92
166.43/166.51	o -8204
166.83/166.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.83/166.98	c     8193  12038    30206  3027460  100  1936688  500000  15200     49 166.47
166.83/166.98	o -8205
167.93/168.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.93/168.00	c     8220  12038    30261  3033535  100  1935575  500000  15255     49 166.94
167.93/168.00	o -8206
168.93/169.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
168.93/169.03	c     8248  12038    30313  3041309  100  1927552  500000  15307     49 167.96
168.93/169.03	o -8211
178.53/178.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
178.53/178.62	c     8286  12038    30381  3050453  100  1932668  500000  15375     49 168.99
178.53/178.62	c     8386  12038    30564  3099370  101  1958236  550001  15558     48 172.79
178.53/178.62	c     8636  12038    31021  3196452  103  1996286  605002  16015     48 178.02
178.53/178.62	o -8291
179.43/179.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.43/179.51	c     8645  12038    31040  3201488  103  1991504  500000  16034     48 178.57
179.43/179.51	o -8321
181.03/181.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.03/181.17	c     8656  12038    31063  3207059  103  2004716  500000  16057     48 179.46
181.03/181.17	o -8516
187.63/187.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.63/187.75	c     8697  12038    31141  3223348  103  1991853  500000  16135     48 181.12
187.63/187.75	c     8799  12038    31335  3261032  104  2001310  550001  16329     47 183.49
187.63/187.75	c     9049  12038    31805  3335351  104  2046351  605002  16799     48 187.12
187.63/187.75	o -8520
191.53/191.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.53/191.60	c     9082  12038    31865  3341792  104  2057423  500000  16859     48 187.70
191.53/191.60	c     9184  12038    32067  3428952  106  2108812  550001  17061     48 190.95
191.53/191.60	o -8571
193.53/193.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.53/193.68	c     9196  12038    32087  3430596  106  2115165  500000  17081     48 191.55
193.53/193.68	o -8575
195.73/195.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.73/195.84	c     9248  12038    32187  3456335  107  2129067  500000  17181     47 193.62
195.73/195.84	o -8576
211.02/211.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.02/211.20	c     9289  12038    32269  3479477  107  2138552  500000  17263     47 195.79
211.02/211.20	c     9390  11913    32462  3525552  108  2141340  550001  17456     47 198.30
211.02/211.20	c     9640  11913    32882  3656893  111  2191229  605002  17876     47 204.73
211.02/211.20	o -8579
245.69/245.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.69/245.89	c     9936  11913    33444  3835119  114  2330810  500000  18438     47 211.14
245.69/245.89	c    10038  11913    33634  3888836  115  2344561  550001  18628     46 214.10
245.69/245.89	c    10290  11883    34124  4019103  117  2426782  605002  19118     46 221.55
245.69/245.89	o -8580
254.29/254.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.29/254.45	c    10725  11883    34930  4292849  122  2613477  500000  19924     43 245.81
254.29/254.45	c    10826  11883    35124  4349197  123  2630174  550001  20118     43 248.97
254.29/254.45	o -8586
282.39/282.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
282.39/282.54	c    10961  11883    35384  4399557  124  2672347  500000  20378     43 254.38
282.39/282.54	c    11061  11883    35567  4435613  124  2680953  550001  20561     43 256.59
282.39/282.54	c    11311  11883    36040  4547827  126  2763576  605002  21034     42 267.32
282.39/282.54	o -8590
285.18/285.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
285.18/285.37	c    11595  11883    36587  4693739  128  2857071  500000  21581     41 282.46
285.18/285.37	o -8595
295.79/295.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
295.79/295.95	c    11635  11883    36666  4714370  128  2864955  500000  21660     40 285.28
295.79/295.95	c    11736  11883    36865  4778731  129  2888301  550001  21859     40 289.77
295.79/295.95	o -8605
328.98/329.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
328.98/329.10	c    11882  11883    37137  4854635  130  2942282  500000  22131     40 295.85
328.98/329.10	c    11982  11883    37331  4899974  131  2949746  550001  22325     39 299.60
328.98/329.10	c    12232  11883    37807  5076844  134  3032463  605002  22801     39 312.83
328.98/329.10	o -8615
332.47/332.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.47/332.60	c    12547  11883    38419  5299632  137  3210204  500000  23413     38 329.01
332.47/332.60	o -8625
372.36/372.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
372.36/372.52	c    12599  11883    38514  5326612  138  3215587  500000  23508     37 332.50
372.36/372.52	c    12699  11883    38706  5362055  138  3220643  550001  23700     37 336.20
372.36/372.52	c    12949  11883    39191  5558838  141  3322278  605002  24185     37 346.43
372.36/372.52	c    13424  11883    40065  5798260  144  3432988  665503  25059     36 367.88
372.36/372.52	o -8645
390.85/391.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
390.85/391.07	c    13542  11883    40268  5833716  144  3461753  500000  25262     36 372.41
390.85/391.07	c    13644  11883    40465  5888418  145  3495386  550001  25459     35 381.20
390.85/391.07	o -8650
407.04/407.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
407.04/407.25	c    13846  11883    40811  5975060  146  3536484  500000  25805     35 390.95
407.04/407.25	c    13947  11883    41007  6054618  147  3563764  550001  26001     35 398.41
407.04/407.25	o -8660
427.34/427.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
427.34/427.58	c    14094  11883    41289  6133807  148  3611200  500000  26283     34 407.13
427.34/427.58	c    14195  11883    41457  6165656  148  3612946  550001  26451     34 411.95
427.34/427.58	c    14446  11883    41912  6314355  150  3699308  605002  26906     33 426.14
427.34/427.58	o -8665
432.64/432.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
432.64/432.84	c    14459  11883    41938  6318860  150  3704407  500000  26932     33 427.45
432.64/432.84	o -8670
439.44/439.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
439.44/439.68	c    14514  11883    42044  6348267  150  3712107  500000  27038     33 432.70
439.44/439.68	o -8675
469.93/470.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
469.93/470.11	c    14609  11883    42235  6412214  151  3743090  500000  27229     33 439.54
469.93/470.11	c    14709  11883    42429  6477754  152  3780118  550001  27423     33 445.19
469.93/470.11	c    14959  11883    42867  6597184  153  3793558  605002  27861     32 456.75
469.93/470.11	o -8680
484.42/484.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
484.42/484.69	c    15138  11883    43205  6686266  154  3879535  500000  28199     32 469.97
484.42/484.69	c    15239  11883    43396  6746921  155  3872322  550001  28390     32 475.65
484.42/484.69	o -8685
494.52/494.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
494.52/494.70	c    15421  11883    43742  6822183  155  3931624  500000  28736     31 484.54
494.52/494.70	c    15521  11883    43929  6869476  156  3935725  550001  28923     31 489.94
494.52/494.70	o -8705
510.62/510.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
510.62/510.84	c    15578  11883    44030  6893036  156  3957606  500000  29024     31 494.56
510.62/510.84	c    15678  11883    44222  6945458  157  3970839  550001  29216     31 499.75
510.62/510.84	o -8710
515.92/516.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
515.92/516.12	c    15911  11883    44675  7007707  156  4016637  500000  29669     31 510.69
515.92/516.12	o -8715
518.92/519.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
518.92/519.11	c    16010  11883    44871  7064826  157  4037476  500000  29865     31 515.96
518.92/519.11	o -8720
560.30/560.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
560.30/560.57	c    16040  11883    44929  7077104  157  4063641  500000  29923     30 518.96
560.30/560.57	c    16143  11883    45130  7158271  158  4100084  550001  30124     30 526.24
560.30/560.57	c    16395  11883    45592  7312114  160  4115418  605002  30586     30 543.11
560.30/560.57	o -8740
565.80/566.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
565.80/566.02	c    16603  11883    45999  7418810  161  4233032  500000  30993     29 560.40
565.80/566.02	o -8760
572.50/572.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
572.50/572.79	c    16658  11883    46103  7459250  161  4254899  500000  31097     29 565.86
572.50/572.79	o -8775
573.80/574.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
573.80/574.09	c    16736  11883    46238  7497317  162  4273437  500000  31232     29 572.62
573.80/574.09	o -8780
586.69/586.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.69/586.98	c    16750  11883    46267  7500511  162  4258666  500000  31261     29 573.92
586.69/586.98	c    16851  11883    46459  7539369  162  4291483  550001  31453     29 579.21
586.69/586.98	o -8795
614.58/614.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
614.58/614.86	c    16935  11883    46624  7597124  162  4336809  500000  31618     28 586.81
614.58/614.86	c    17036  11883    46818  7658263  163  4345047  550001  31812     28 595.06
614.58/614.86	o -8800
635.67/635.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
635.67/635.92	c    17216  11883    47174  7805738  165  4443238  500000  32168     28 614.67
635.67/635.92	c    17316  11883    47370  7876854  166  4498286  550001  32364     27 622.39
635.67/635.92	o -8805
643.56/643.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
643.56/643.88	c    17481  11883    47688  7983148  167  4560892  500000  32682     27 635.72
643.56/643.88	o -8810
658.86/659.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
658.86/659.11	c    17580  11883    47881  8051158  168  4595479  500000  32875     27 643.69
658.86/659.11	c    17681  11883    48073  8105587  168  4579785  550001  33067     27 645.82
658.86/659.11	o -8811
670.46/670.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
670.46/670.72	c    17807  11883    48316  8165480  169  4651641  500000  33310     27 658.90
670.46/670.72	c    17908  11883    48509  8222013  169  4664287  550001  33503     26 665.66
670.46/670.72	o -8815
727.44/727.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
727.44/727.71	c    17968  11883    48623  8247239  169  4689810  500000  33617     26 670.52
727.44/727.71	c    18069  11883    48822  8301309  170  4702311  550001  33816     26 678.92
727.44/727.71	c    18320  11883    49307  8412816  170  4770189  605002  34301     26 699.64
727.44/727.71	o -8820
732.85/733.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
732.85/733.18	c    18699  11883    50029  8592926  171  4884609  500000  35023     25 727.49
732.85/733.18	o -8825
776.33/776.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
776.33/776.66	c    18780  11883    50181  8619275  171  4884201  500000  35175     25 732.96
776.33/776.66	c    18880  11883    50358  8660201  171  4864882  550001  35352     25 740.12
776.33/776.66	c    19130  11883    50841  8724047  171  4874305  605002  35835     25 762.96
776.33/776.66	o -8830
813.51/813.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
813.51/813.83	c    19300  11883    51167  8810013  172  4912380  500000  36161     24 776.42
813.51/813.83	c    19400  11883    51358  8850659  172  4959635  550001  36352     24 783.92
813.51/813.83	c    19650  11883    51829  8980487  173  5003325  605002  36823     24 797.23
813.51/813.83	o -8835
892.48/892.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
892.48/892.88	c    19815  11883    52142  9076774  174  5097261  500000  37136     24 813.58
892.48/892.88	c    19915  11883    52332  9110647  174  5110237  550001  37326     24 823.24
892.48/892.88	c    20165  11883    52801  9234242  174  5196696  605002  37795     23 841.92
892.48/892.88	c    20640  11883    53701  9581295  178  5375048  665503  38695     23 886.51
892.48/892.88	o -8840
912.78/913.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
912.78/913.13	c    20694  11883    53803  9612193  178  5409693  500000  38797     23 892.60
912.78/913.13	c    20795  11883    54003  9683151  179  5458648  550001  38997     23 903.58
912.78/913.13	o -8841
964.65/965.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
964.65/965.09	c    20874  11883    54152  9723801  179  5467769  500000  39146     22 912.85
964.65/965.09	c    20974  11883    54325  9773560  179  5458152  550001  39319     22 924.18
964.65/965.09	c    21224  11883    54803  9924070  181  5540398  605002  39797     22 953.33
964.65/965.09	o -8843
996.74/997.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
996.74/997.18	c    21298  11883    54946  9966073  181  5601584  500000  39940     22 964.78
996.74/997.18	c    21399  11883    55134 10034696  182  5592087  550001  40128     21 975.39
996.74/997.18	o -8846
1000.54/1000.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1000.54/1000.97	c    21529  11883    55386 10118340  182  5657467  500000  40380     21 996.87
1000.54/1000.97	o -8850
1020.74/1021.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1020.74/1021.14	c    21550  11883    55429 10132351  182  5658668  500000  40423     21 1000.65
1020.74/1021.14	c    21650  11883    55618 10188676  183  5664087  550001  40612     21 1012.79
1020.74/1021.14	o -8855
1024.03/1024.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1024.03/1024.44	c    21695  11883    55704 10212940  183  5693995  500000  40698     21 1020.81
1024.03/1024.44	o -8856
1111.00/1111.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1111.00/1111.49	c    21719  11883    55747 10225757  183  5737194  500000  40741     21 1024.12
1111.00/1111.49	c    21819  11883    55936 10287520  183  5740283  550001  40930     21 1036.24
1111.00/1111.49	c    22069  11883    56422 10485885  185  5830019  605002  41416     20 1075.71
1111.00/1111.49	o -8859
1173.88/1174.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1173.88/1174.35	c    22321  11883    56908 10693018  187  5916138  500000  41902     20 1111.14
1173.88/1174.35	c    22421  11883    57097 10748253  188  5912808  550001  42091     20 1119.70
1173.88/1174.35	c    22671  11883    57559 10901409  189  5993179  605002  42553     19 1159.96
1173.88/1174.35	o -8863
1216.48/1216.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1216.48/1216.96	c    22746  11883    57705 10956570  189  6056391  500000  42699     19 1173.98
1216.48/1216.96	c    22846  11883    57882 11017924  190  6052754  550001  42876     19 1187.14
1216.48/1216.96	o -8868
1313.14/1313.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1313.14/1313.63	c    23054  11883    58281 11168007  191  6169649  500000  43275     18 1216.57
1313.14/1313.63	c    23154  11883    58462 11219539  191  6163058  550001  43456     18 1225.12
1313.14/1313.63	c    23405  11855    58927 11354671  192  6212006  605002  43921     18 1252.88
1313.14/1313.63	c    23880  11855    59826 11771232  196  6417044  665503  44820     18 1305.27
1313.14/1313.63	o -8872
1346.04/1346.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1346.04/1346.59	c    23926  11855    59918 11805876  197  6446268  500000  44912     18 1313.21
1346.04/1346.59	c    24026  11855    60097 11865108  197  6464833  550001  45091     18 1326.70
1346.04/1346.59	o -8873
1572.44/1573.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1572.44/1573.05	c    24126  11855    60287 11945055  198  6514993  500000  45281     17 1346.17
1572.44/1573.05	c    24227  11855    60483 12026165  198  6519722  550001  45477     17 1359.35
1572.44/1573.05	c    24477  11855    60945 12169677  199  6589485  605002  45939     17 1392.01
1572.44/1573.05	c    24952  11855    61828 12515920  202  6790136  665503  46822     16 1478.19
1572.44/1573.05	o -8876
1601.03/1601.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1601.03/1601.62	c    25745  11855    63252 12967646  205  7064388  500000  48246     16 1572.54
1601.03/1601.62	c    25845  11855    63433 13021989  205  7080982  550001  48427     16 1586.75
1601.03/1601.62	o -8879
1622.93/1623.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1622.93/1623.59	c    25935  11855    63608 13075622  205  7122420  500000  48602     16 1601.10
1622.93/1623.59	c    26035  11855    63794 13143265  206  7154380  550001  48788     16 1613.40
1622.93/1623.59	o -8883
1797.97/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.64	c    26071  11855    63864 13167308  206  7151285  500000  48858     16 1623.07
1797.97/1798.64	c    26171  11855    64040 13217023  206  7158103  550001  49034     15 1638.09
1797.97/1798.64	c    26422  11855    64513 13385137  207  7286303  605002  49507     15 1671.48
1797.97/1798.64	c    26899  11855    65371 13757451  210  7427876  665503  50365     15 1749.34
1797.97/1798.64	c Resources Exceeded
1797.97/1798.64	v x1 x3190 x4609 x5720 x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 x2186 x2321 x2452 x2592 x2742 x2901 x3039 x3191 x3362 x3512 x3661 x3813 x3955 x4112 x4271 x4387 x4498 -x4610 x4721 x4832 -x4943 x5054 x5165 x5276 x5387 x5498 -x5609 x5721 x5832 x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399 -x6400 x6401 -x6402 -x6403 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678 -x7789 -x7790 -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 -x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136 -x8137 -x8138 -x8249 -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 -x8481 -x8482 -x8483 -x8594 -x8595 -x8596 -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 -x8938 -x8939 -x8940 -x8941 -x9052 -x9053 -x9054 -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 -x9283 -x9284 -x9285 -x9396 -x9397 -x9398 -x9399 -x9400 -x9511 -x9512 -x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 -x9630 -x9741 -x9742 -x9743 -x9744 -x9745 -x9856 -x9857 -x9858 -x9859 -x9860 -x9971 -x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201 -x10202 -x10203 -x10204 -x10316 -x10317 -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 -x10545 -x10546 -x10547 -x10658 -x10659 -x10660 -x10661 -x10772 -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002 -x11003 -x11114 -x11115 -x11116 -x11117 -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458 -x11459 -x11460 -x11571 -x11572 -x11573 -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913 -x11914 -x11915 -x11916 -x12027 -x12028 -x12029 -x12030 -x12141 -x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258 -x12369 -x12370 -x12371 -x12372 -x12483 -x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x345 -x346 -x347 -x348 -x459 -x460 -x461 -x462 -x573 -x574 -x575 x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804 -x915 -x916 -x917 -x918 -x1029 -x1030 -x1031 x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1722 -x1723 -x1724 -x1725 -x1726 -x1837 -x1838 -x1839 -x1840 -x1841 x1952 -x1953 -x1954 -x1955 -x1956 -x2011 -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 -x2096 -x2097 -x2108 -x2109 -x2110 -x2121 -x2122 -x2123 -x2134 -x2135 -x2136 -x2147 -x2148 -x2149 -x2160 x2161 -x2162 x2173 x2174 -x2175 -x2187 -x2188 -x2189 -x2200 -x2201 -x2202 -x2213 x2214 -x2215 -x2226 -x2227 x2228 -x2239 -x2240 -x2241 -x2252 -x2253 -x2254 -x2255 -x2266 x2267 -x2268 -x2269 -x2280 -x2281 x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308 -x2309 -x2310 -x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348 -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 x2375 -x2376 -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415 -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454 -x2455 -x2466 -x2467 -x2468 x2479 -x2480 -x2481 -x2492 -x2493 -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521 -x2522 -x2533 -x2534 x2535 -x2536 -x2537 -x2548 -x2549 -x2550 -x2551 -x2552 -x2563 -x2564 -x2565 -x2566 -x2567 -x2578 -x2579 -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 -x2609 -x2610 -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637 -x2638 -x2649 -x2650 -x2651 -x2652 -x2663 -x2664 x2665 -x2666 -x2677 -x2678 -x2679 -x2680 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2888 -x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916 -x2917 -x2928 -x2929 -x2930 -x2941 -x2942 -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983 -x2984 -x2985 -x2986 -x2997 -x2998 -x2999 -x3000 x3011 x3012 -x3013 -x3014 -x3025 -x3026 -x3027 -x3028 -x3040 -x3041 -x3042 -x3043 -x3054 -x3055 -x3056 -x3057 x3068 -x3069 -x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3096 -x3097 -x3098 -x3099 x3110 -x3111 x3112 x3113 -x3114 -x3125 x3126 x3127 x3128 x3129 -x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3209 x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 x3391 x3392 x3393 x3394 -x3395 x3406 x3407 x3408 x3409 -x3410 -x3421 x3422 -x3423 x3424 -x3435 x3436 -x3437 x3438 x3439 -x3440 -x3451 -x3452 x3453 -x3454 x3455 x3466 -x3467 -x3468 -x3469 x3470 x3481 x3482 x3483 x3484 -x3485 -x3496 x3497 -x3498 -x3499 -x3500 x3501 x3513 x3514 -x3515 x3516 x3517 -x3528 -x3529 -x3530 -x3531 -x3532 x3543 x3544 x3545 x3546 -x3547 -x3558 -x3559 x3560 x3561 -x3562 -x3573 -x3574 -x3575 -x3576 -x3587 -x3588 x3589 -x3590 x3591 -x3602 x3603 x3604 -x3605 -x3606 x3617 -x3618 x3619 -x3620 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3647 x3648 -x3649 -x3650 -x3662 -x3663 -x3664 x3665 -x3666 -x3677 -x3678 x3679 -x3680 x3691 -x3692 x3693 -x3694 -x3705 -x3706 x3707 x3708 x3709 -x3710 x3721 x3722 x3723 -x3724 x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766 x3767 -x3768 x3769 x3770 -x3771 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 -x3816 x3817 x3818 x3829 -x3830 x3831 x3832 x3833 -x3834 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3939 -x3940 -x3941 x3942 -x3943 x3944 -x3956 x3957 -x3958 -x3959 x3960 x3961 x3972 -x3973 -x3974 x3975 -x3976 x3977 -x3988 -x3989 -x3990 x3991 x3992 -x4003 -x4004 x4005 -x4006 x4007 x4008 x4019 x4020 x4021 -x4022 x4023 x4024 x4035 x4036 x4037 -x4038 x4039 x4040 x4051 -x4052 -x4053 x4054 x4055 x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 x4083 x4084 -x4085 x4086 -x4097 -x4098 -x4099 -x4100 -x4101 -x4113 x4114 x4115 -x4116 x4117 x4128 -x4129 -x4130 -x4131 x4132 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4159 -x4160 -x4161 x4162 x4163 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 x4191 x4192 x4193 -x4194 x4195 x4196 x4207 x4208 -x4209 x4210 -x4211 x4212 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4255 -x4256 -x4257 x4258 -x4259 x4260 -x4272 -x4273 -x4274 x4275 -x4276 x4277 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 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 -x6424 x6428 -x6431 -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 -x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348 -x1686 -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 -x6720 -x11987 -x12055 -x12240 -x1357 -x1712 -x6411 -x6438 x6527 -x6612 -x6725 -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 -x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381 -x1732 -x6444 -x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 -x6625 x6738 -x12018 -x12078 -x12085 -x12264 -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 -x6642 -x6755 -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 x6648 -x6760 -x12109 -x12274 -x725 -x1425 -x1774 -x6652 -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 -x1441 -x1788 -x6787 -x6878 -x12068 -x12132 -x12284 -x743 -x1449 x1792 -x6882 -x12076 -x12139 -x12288 -x748 -x1456 -x1797 -x6788 -x12083 -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 -x1467 -x1806 -x12099 -x12166 -x12301 -x761 x1472 -x1810 -x12106 -x12174 -x12306 -x874 -x1476 -x1966 -x12114 -x12183 -x12310 -x1481 -x3715 x3716 -x3717 x3718 -x12122 -x12192 -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219 -x12332 -x12164 -x12226 -x12337 -x12172 -x12232 -x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249 x12354 -x3719 x3720 -x3726 -x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 -x3081 -x3092 -x3103 -x3441 -x3446 -x3456 -x2993 -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 -x9911 -x9917 -x9922 -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933 -x10452 -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 -x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472 -x10527 -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 x3730 -x3731 -x3732 -x7753 -x8040 -x8348 -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764 -x8045 -x8361 -x8408 -x9966 -x10515 -x10571 -x10677 -x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049 -x8382 -x8423 -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056 -x8397 -x8437 -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 -x10729 -x1338 -x1694 -x7797 -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751 -x1356 -x1710 -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718 -x7810 -x8434 -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 -x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056 -x10712 -x10723 -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342 -x1350 -x1384 -x1393 -x1465 x1470 -x1474 -x1680 -x1688 -x1697 -x1735 -x1744 -x1803 -x1808 -x1969 -x10859 -x10870 -x10881 -x10927 -x10937 -x10947 -x11010 -x11016 x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015 -x6413 -x11998 -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227 -x12236 -x12241 -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848 -x7881 -x7941 -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 x8139 -x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586 -x6608 -x6647 -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109 -x111 -x122 -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164 -x150 -x152 -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197 -x4429 -x4431 -x6885 -x6887 -x184 -x186 -x205 -x4434 x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221 -x4444 -x207 -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938 -x243 -x244 -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271 -x272 -x287 -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405 -x9740 -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305 -x320 -x3757 -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318 -x333 -x5418 -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353 -x5429 -x5564 -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157 -x4403 -x9606 -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406 -x9616 -x475 -x527 -x3759 -x3760 -x3761 -x3762 -x539 -x4409 x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407 -x419 -x431 -x487 -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535 -x596 -x9781 -x9809 -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508 -x583 -x624 -x9797 -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 -x3764 -x3765 -x9807 -x9830 -x544 -x607 -x640 -x9811 -x9833 -x555 -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659 -x9824 -x9851 -x96 -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 x2936 -x2939 -x2947 -x3138 -x3150 -x3165 -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 -x2951 -x2959 -x2963 -x3136 -x3148 -x3163 -x3188 -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 x3774 -x3171 -x3233 -x3268 -x3550 -x3586 -x3186 -x3239 -x3271 -x3556 -x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 x3608 -x7856 -x7858 -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036 -x11052 -x11064 -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112 -x7872 -x7874 -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096 -x11128 -x11141 -x11153 -x7878 -x8582 -x8611 x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883 -x8624 -x10085 -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201 -x7887 -x7889 -x8607 -x8614 -x8646 -x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653 -x11185 -x11241 -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157 -x11263 -x7898 -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 -x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 x7902 -x8658 -x8690 -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315 -x8680 -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729 -x11267 -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726 -x8732 -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327 -x11369 -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790 -x11358 -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463 -x2344 -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416 -x2438 -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801 -x3697 -x2444 -x2458 -x2483 -x2805 -x2456 -x2469 -x2491 -x2815 -x2464 -x2477 -x2501 -x2475 x2488 -x2511 -x2486 -x2498 -x2523 -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185 -x9191 -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 -x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239 -x9243 -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278 -x5160 -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213 -x5241 -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 x9333 -x5234 -x5249 -x5278 -x5830 -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344 -x9356 -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292 -x5306 -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327 -x5350 -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453 -x1265 -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494 -x8160 -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517 -x8212 -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381 -x8225 -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 -x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945 -x8236 x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 -x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386 -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273 -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562 -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440 -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586 -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489 -x12506 -x7962 -x9594 -x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781 -x3788 -x7969 -x9165 -x10172 -x12503 -x12512 -x12529 -x7972 -x10175 -x12511 -x12519 -x12537 -x7976 x10178 -x12518 -x12527 -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550 -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572 -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21 -x30 -x47 -x28 -x37 -x55 -x36 -x45 -x63 -x44 -x53 -x70 -x52 -x60 -x77 -x59 -x68 -x83 -x3793 -x3794 -x3795 -x3796 -x67 -x75 -x90 -x81 -x94 x11217 -x11254 -x11287 -x11320 -x11357 -x11390 -x11423 -x11461 -x11494 -x3797 -x3803 -x3804 -x3805 x3845 -x3846 x3847 x3858 -x3859 x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 x3897 -x3898 x3899 x3910 -x3911 x3912 -x3806 x3807 -x3808 x3809 x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 -x5777 -x5833 -x5888 -x5944 x5988 -x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 -x6880 -x6924 -x6986 -x7041 -x7103 x7147 -x7191 -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194 -x8238 -x8276 -x8309 -x8331 -x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 x9089 -x9122 -x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 -x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621 -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 -x2442 -x2450 -x2462 -x2473 -x2484 x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820 -x2830 x2833 -x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 x2937 -x2940 -x2948 -x2952 -x2960 -x2964 -x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133 -x3426 -x3431 -x3442 -x3447 -x3457 -x3462 -x3471 -x3476 x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700 -x3870 -x3877 -x3881 -x3888 x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043 -x3850 -x3851 -x3852 -x3853 -x4087 -x4091 -x4095 -x4104 x4108 -x4118 -x4122 -x4126 -x4134 -x4173 -x4184 -x4188 -x4198 x4202 -x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 x4374 -x4379 -x4382 -x4385 -x4390 -x4393 -x4396 -x4398 -x3363 -x3364 x3365 x3366 -x4424 -x4428 -x4433 x4437 -x4441 -x4445 -x4447 -x3377 -x3378 x3379 x3380 -x4462 -x4466 -x4469 x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230 x5242 -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 -x5342 -x5351 -x5822 -x5831 -x5842 -x5853 -x5864 -x5874 -x5884 x5893 -x5900 -x5905 -x5911 -x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 x6091 -x6097 -x6102 -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 -x6410 -x6414 -x6417 -x6419 -x6422 -x6425 x6429 -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 x6591 -x6593 -x6595 -x6598 -x6599 -x3854 -x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 x6695 -x6697 -x6699 -x6701 -x6703 -x6842 -x6846 -x6850 -x6853 -x6855 x6857 -x6859 -x6861 -x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 x6909 -x6910 -x6922 -x6925 -x6927 x6928 -x6940 -x6942 -x6944 -x6945 -x6955 -x6958 -x6960 x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306 -x7313 -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 -x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442 -x7454 x7461 -x7469 -x7476 -x7481 -x7486 -x7490 -x7494 -x7499 -x7503 -x7594 -x7600 -x7605 -x7611 -x7615 -x7619 -x7623 -x7626 -x7630 -x7635 -x7639 -x7666 -x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727 -x7732 -x7738 -x7743 -x7749 -x7754 x7760 -x7765 -x7771 -x8076 -x8082 -x8087 -x8093 -x8098 -x8104 -x8109 -x8115 x8120 -x8126 -x8131 -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 x3857 -x3861 x3862 -x9176 -x9183 -x9188 -x9196 -x9203 -x9211 -x9220 -x9229 -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 x9334 -x9342 -x9349 -x9357 -x9365 -x9371 -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477 -x9484 -x9871 -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 -x9902 -x9907 -x9912 x9918 -x9923 -x9929 -x9934 -x9940 -x9945 -x9951 -x9956 -x9962 -x9967 -x9978 -x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074 -x12082 -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197 -x12205 -x12212 -x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278 -x12282 -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 -x12342 -x12346 x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873 -x875 -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234 x1238 -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646 -x1648 -x1650 -x1652 -x1654 -x1657 -x1659 -x1661 -x1663 -x1665 x1668 -x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927 -x1929 -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 -x1949 x1951 -x1959 -x1961 -x1963 -x1965 -x1967 -x4443 -x4476 -x4510 -x4543 -x4576 -x4611 x4644 -x4677 -x4688 -x4955 -x5188 -x6070 -x6218 -x6251 -x6289 -x6322 -x6355 x6388 -x6426 -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864 -x3865 -x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 x9894 -x9905 -x10434 -x10798 x11059 -x11092 -x11129 -x11162 -x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 -x1864 x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 x2631 -x2639 -x2643 -x2647 -x2655 -x2966 -x2968 -x2975 x2978 -x2981 -x2988 -x2991 -x3369 -x3373 -x3381 -x3385 x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654 -x3657 -x3660 x3669 -x3672 -x3675 -x3683 -x3688 -x3866 -x3931 -x3934 x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044 -x4063 -x4066 x4074 -x4077 -x4135 -x4154 -x4157 x4165 -x4168 -x4230 -x4278 -x4308 x4314 -x4319 -x4325 -x4329 -x4334 -x4338 -x4344 -x4375 -x4397 -x4400 -x4401 -x4404 -x4407 x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 x4492 -x4495 -x4500 -x4501 -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 x4643 -x4648 -x4652 -x4657 -x4661 -x4662 -x4981 -x5012 -x5535 -x5558 -x5566 -x5568 -x5592 -x5596 -x5601 -x5605 x5611 -x5615 -x5619 -x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979 -x5981 -x5984 -x5987 x5991 -x5994 -x5997 -x5998 -x6134 -x6153 -x6159 -x6168 -x6278 -x6283 -x6319 -x6325 -x6330 -x6336 -x6341 -x6346 x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 -x6569 -x6572 x6576 -x6577 -x6643 -x6649 -x6663 -x6666 -x6670 -x6673 -x6676 x6679 -x6681 -x6710 -x6778 -x6783 -x6810 -x6814 -x6819 -x6822 -x6825 x6828 -x6832 -x6835 -x6836 -x6894 x6898 -x6901 -x6911 -x6916 x6919 -x6929 -x6933 -x6937 -x6947 -x6951 -x6952 x6961 -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 -x7066 x7069 -x7073 -x7078 -x7082 -x7087 -x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 -x7645 -x7648 -x7651 -x7655 -x7658 -x7659 -x7661 -x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 -x7988 -x8171 -x8175 -x8178 -x8181 -x8185 x8188 -x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 -x9643 -x9648 -x9654 -x9659 -x9663 -x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163 -x10166 -x10170 -x10173 x10176 -x10180 -x10186 -x10189 -x10191 -x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787 -x11796 -x11809 -x11818 -x11827 -x11835 -x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899 -x11904 -x11908 -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 -x11965 -x11969 -x11974 -x11978 -x11982 -x11984 -x88 -x706 -x817 -x819 -x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280 -x1282 -x1284 -x1287 -x1289 -x1291 x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580 -x1582 -x1585 -x1587 -x1590 -x1593 -x1597 -x1600 -x1613 x1616 -x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889 -x1891 -x1893 -x1895 -x1899 -x1902 x1905 -x1909 -x1915 -x1918 -x1920 -x9790 -x4342 -x7980 x9691 -x10183 -x11912 -x833 -x1295 -x1603 -x1912 -x3867 -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 -x3880 -x3882 -x3883 -x3887 -x3889 -x3890 x3891 -x3893 -x3894 -x3895 -x3900 -x3901 -x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3929 -x3930 x3932 x3933 x3935 -x3936 -x3938 -x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3970 x3971 x3979 -x3980 -x3982 -x3983 -x3985 -x3986 -x3987 -x3993 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 -x4014 x4015 -x4017 -x4018 -x4025 -x4027 -x4028 -x4029 -x4031 -x4032 -x4033 -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4064 -x4065 x4072 x4073 -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094 -x4096 -x4102 -x4103 -x4105 x4106 -x4107 -x4109 -x4110 x4111 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4127 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 x4158 x4164 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 x4199 -x4200 -x4201 -x4203 -x4204 -x4205 -x4213 -x4214 -x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313 -x4315 -x4316 x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364 -x4367 -x4368 -x4369 -x4371 -x4372 x4373 -x4377 -x4378 -x4380 -x4381 -x4383 -x4384 -x4386 -x4389 -x4391 -x4392 -x4394 -x4395 -x4402 -x4405 -x4408 -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 x4471 -x4473 -x4474 -x4477 -x4478 -x4480 -x4483 -x4484 -x4486 -x4488 -x4490 -x4491 -x4493 x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 x4631 -x4632 x4634 x4636 -x4637 -x4638 x4640 -x4641 -x4642 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4653 -x4654 -x4656 -x4658 -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138 -x5139 -x5141 -x5142 -x5146 -x5147 -x5149 -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168 -x5171 -x5172 -x5174 -x5175 -x5178 -x5179 -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198 -x5200 -x5202 -x5203 -x5204 -x5207 -x5208 -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227 -x5228 -x5231 -x5233 -x5235 -x5236 x5238 -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 x5251 -x5252 -x5256 -x5257 -x5259 -x5260 -x5262 -x5263 -x5264 -x5268 -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287 -x5291 -x5293 -x5294 -x5296 -x5297 -x5298 -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319 -x5320 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5334 -x5335 -x5336 -x5338 -x5339 -x5340 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395 -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415 -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561 -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 -x5597 -x5599 -x5600 -x5602 -x5603 -x5604 -x5606 -x5607 -x5608 -x5612 -x5613 x5614 -x5616 -x5617 -x5618 -x5620 -x5622 -x5623 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834 -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850 -x5851 -x5854 -x5857 -x5858 -x5860 -x5861 -x5862 -x5865 -x5867 -x5868 -x5870 -x5871 -x5872 -x5875 -x5876 -x5878 -x5880 -x5881 -x5882 -x5885 -x5886 -x5889 x5890 -x5891 -x5894 -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907 -x5908 -x5909 -x5912 -x5913 -x5914 -x5915 -x5917 -x5918 -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 -x5980 -x5982 -x5983 -x5985 -x5986 x5989 x5990 -x5992 -x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008 -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027 -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087 x6088 -x6089 -x6090 -x6093 -x6094 x6095 -x6096 -x6098 -x6099 x6100 -x6101 -x6104 -x6105 x6106 -x6107 -x6109 -x6110 x6111 -x6112 -x6115 -x6116 x6117 -x6118 -x6120 -x6121 x6122 -x6123 -x6126 -x6127 x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6135 x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6252 x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279 -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6323 -x6324 -x6326 -x6327 -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6343 -x6345 -x6347 -x6348 -x6349 -x6351 x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362 -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381 -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408 -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436 -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455 -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525 x6526 -x6528 -x6529 -x6530 -x6532 -x6534 -x6535 -x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560 -x6561 -x6563 -x6565 x6567 x6568 x6570 -x6571 x6573 -x6574 -x6578 -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590 -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617 -x6618 -x6620 -x6622 -x6623 -x6624 -x6626 -x6627 -x6628 -x6629 -x6638 -x6639 -x6640 -x6641 -x6644 x6645 -x6646 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661 -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 -x6672 -x6674 -x6675 -x6677 -x6678 x6682 -x6683 -x6685 -x6687 -x4332 -x4343 -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421 -x4432 -x6689 -x6692 x6694 x6696 x6698 -x6700 -x4454 -x4465 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487 -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 -x6719 -x6721 -x6722 -x6723 -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734 -x6736 x6737 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6753 -x6754 -x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6764 -x6765 -x4521 -x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782 -x6784 -x6786 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6808 -x6809 x6811 -x6812 x6813 -x4554 -x4565 x6815 -x6816 -x6817 x6820 -x6821 x6823 -x6824 x6826 -x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848 -x6849 -x4587 -x4598 -x6852 -x6854 -x6856 -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888 -x6892 -x6893 -x4655 x4666 -x4699 -x6895 -x6896 -x6897 -x6899 x6900 -x4710 -x4722 -x4744 -x6903 -x6904 -x6906 -x6908 -x6912 -x6914 -x6915 -x6917 -x6918 x6920 -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 -x6936 -x6938 -x6939 -x6941 -x6943 -x6948 -x6949 -x6950 -x4788 -x4799 -x4810 -x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x4821 -x4833 -x4844 -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028 -x7031 -x7032 -x4866 -x4877 -x4888 -x4899 -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050 -x7051 -x7054 -x7055 -x7057 -x7058 -x7060 -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 -x7068 -x7070 x7071 -x7072 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 -x7093 -x7094 -x7104 -x7105 -x7106 -x7109 -x7110 -x7111 -x7112 -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x5010 -x5021 -x5032 -x5043 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 -x5077 -x5088 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x5099 -x5110 -x5121 -x5132 -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7276 -x7277 -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314 -x5143 -x5154 -x5166 -x5177 -x7315 -x7316 -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360 -x7361 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7389 -x7390 -x7391 -x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399 -x7400 -x7401 -x7402 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421 -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 x7459 -x7460 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 x5243 x5254 -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 -x7489 -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504 -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265 -x5277 -x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321 -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465 -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565 -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698 -x5709 -x5733 -x5744 -x5755 -x5766 -x5788 -x5799 -x5810 -x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 -x7560 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7599 -x7601 -x7602 -x7603 -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618 -x5899 -x5910 -x5921 -x5932 -x7621 -x7622 -x7624 -x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638 -x7640 -x7643 -x7644 -x7646 -x7647 -x7649 -x7650 -x7652 -x7654 -x5955 -x5966 x5977 -x7656 -x7657 -x7660 -x5999 -x6010 -x6021 -x6043 -x7662 -x7663 -x7665 -x7667 -x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688 -x7689 -x7691 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7711 -x7713 -x7714 -x7717 -x7718 -x7719 -x7722 -x7724 -x7725 -x7728 -x7729 -x7730 -x7733 -x7735 -x7736 -x7739 -x7740 -x7741 -x7744 -x7746 -x7747 -x7750 -x7751 -x7752 -x7755 x7757 -x7758 -x7761 x7762 -x7763 -x7766 x7768 -x7769 -x7772 -x7773 x7774 -x7776 -x7777 -x7779 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807 -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7849 -x7850 -x7852 -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888 -x7890 -x7893 -x7895 -x7897 -x7899 -x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7958 -x7961 -x7965 -x7968 -x7971 -x7975 -x7978 -x7981 -x7984 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 -x8012 -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8041 -x8042 -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083 -x8084 -x8085 -x8086 -x8088 -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 -x8102 -x8103 -x8105 -x8106 -x8107 -x8108 -x8110 -x8111 -x8113 -x8114 -x8116 -x8117 -x8118 x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130 -x8132 -x8133 -x8140 -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173 -x8174 -x8176 -x8177 -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 x8190 -x8192 -x8193 -x8196 -x8197 -x8199 -x8200 -x8203 -x8204 -x8207 -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 -x8233 -x8235 x8240 -x8243 -x8245 -x8248 -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322 -x8323 -x8325 -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346 -x8347 -x8349 -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378 -x8379 -x8381 -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404 -x8406 -x8407 -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431 -x8432 -x8433 -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 -x6081 -x6092 -x6103 -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 -x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461 -x8462 -x8463 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540 -x8542 -x8543 -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564 -x8566 -x8567 -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589 -x8591 -x8592 -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622 -x8623 -x8625 -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647 -x8648 -x6300 -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670 -x8671 -x8673 -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697 -x8699 -x8701 -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 -x6333 -x6344 -x8724 -x8727 -x8728 -x8730 -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753 -x8754 -x8756 -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779 -x8782 -x8783 -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 x6366 x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x6404 -x6415 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x6437 -x6448 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936 -x8937 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x6636 -x6658 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192 -x9194 -x9195 -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 -x9208 -x9209 -x9212 -x9213 -x9216 -x9217 -x9218 -x9221 -x9222 -x9224 -x9225 -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249 -x9250 -x9251 -x9254 -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277 -x9280 -x9287 -x9289 -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314 -x9315 -x9316 -x9320 -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343 -x9345 -x9346 -x9347 -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376 -x9377 -x9380 -x9382 -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410 -x9411 -x9413 -x9415 -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431 -x9432 -x9433 -x9436 -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461 -x9463 -x9464 -x9468 -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491 -x9493 -x9495 -x9497 -x9498 -x9499 x9502 x9504 x9506 -x9508 x9510 -x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902 -x6913 -x9532 -x9534 -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563 -x9565 -x9567 -x9568 -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587 -x9588 -x9591 -x9592 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618 -x9619 -x9620 -x9623 -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9655 -x9656 -x9657 -x9658 x9660 x9661 -x9662 x9665 -x9666 -x9667 -x9668 x9670 -x9671 -x9672 x9676 -x9677 -x9678 -x9679 x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 x9687 -x9688 -x9689 -x9690 -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711 -x9713 -x9714 -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 x7125 -x7136 -x9737 -x9739 -x9747 -x9749 -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9778 -x9780 -x7158 -x7169 x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796 -x9798 -x9799 -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 -x7220 -x7231 -x9825 -x9827 -x9829 -x9831 -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853 -x9854 -x9855 -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 -x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403 -x7414 -x7436 -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642 -x7701 -x7756 -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 x8079 -x8090 -x9877 -x9878 -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 -x9899 -x9900 -x9901 -x9903 -x9904 -x9906 -x9908 -x9909 -x9910 -x9913 -x9914 x9915 -x9919 -x9920 -x9921 -x9924 -x8123 -x9925 -x9926 -x9930 -x9931 -x9932 -x9935 -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958 -x9959 -x9963 -x9964 -x9965 -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989 -x9990 -x9992 -x9993 -x9994 -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028 -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069 -x10071 -x10073 -x10076 -x10078 -x10080 -x8287 -x8298 -x10082 -x10084 -x10092 -x10094 -x10096 -x10098 -x10100 -x10103 -x10105 -x10107 -x10109 -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122 -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139 -x8369 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10147 -x10161 -x10164 -x10167 -x10171 -x10174 -x10177 -x8391 -x8402 -x10181 -x10184 -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207 x10208 x10209 x10210 x10211 x10212 x10213 -x8457 -x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 x8495 x8506 -x10255 -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 -x8539 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443 -x10444 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461 -x10463 -x10464 -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481 -x10482 -x10484 -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499 -x10501 -x10502 -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520 -x10521 -x10523 -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10569 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589 -x10591 -x10593 -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612 -x10615 -x10616 -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634 -x10635 -x10637 -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655 -x10656 -x10657 -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10708 -x10709 -x10710 -x10711 -x10713 -x10714 -x10715 -x10716 -x10719 -x10720 -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737 -x10738 -x10741 -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866 -x10867 -x10868 -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884 -x10885 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925 -x10926 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 x11009 -x11011 -x11012 x11013 x11014 -x11017 -x11018 -x11019 -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11045 -x11046 -x11049 -x11050 -x11051 -x11053 -x11054 -x11055 -x11057 -x11058 -x11061 -x11062 -x11063 -x11065 -x11066 -x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083 -x11085 -x11086 -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106 -x11107 -x11109 -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132 -x11134 -x11135 -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155 -x11156 -x11158 -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178 -x11179 -x11180 -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200 -x11202 -x11203 -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223 -x11224 -x11226 -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250 -x11251 -x11253 -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273 -x11275 -x11277 -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297 -x11299 -x11301 -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323 -x11325 -x11326 -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353 -x11355 -x11356 -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380 -x11381 -x11383 -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402 -x11403 -x11404 -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424 -x11425 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443 -x11444 -x11446 -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517 -x8654 -x8665 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11587 -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750 -x11751 -x11753 -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811 -x11812 -x11813 -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868 -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886 -x11887 -x11888 -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905 -x11906 -x11907 -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931 -x11932 -x11933 -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861 -x8872 -x11953 -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11970 -x11971 -x11973 -x11975 -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999 -x8894 -x8905 -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034 -x12038 -x12040 -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066 -x12069 -x12071 -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092 -x12094 -x12095 -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120 -x12123 -x12125 -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153 -x12154 -x12158 -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179 -x12184 -x12185 -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209 -x12210 -x12215 -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263 -x12266 -x12269 -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299 -x12300 -x12304 -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 x9067 -x9078 -x12327 -x12330 -x12331 -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 x12349 -x12352 -x12353 -x12356 -x12357 -x12361 -x12363 -x12364 -x12365 -x12366 -x12368 -x12375 x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389 -x12390 -x12392 -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415 -x12416 -x12419 -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441 -x12442 -x12444 -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465 x9133 -x9144 -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493 -x12494 -x12497 -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523 -x12524 -x12525 -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 x9171 -x9182 -x12551 -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577 -x12578 -x12579 -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20 -x23 -x25 -x26 -x27 -x31 -x33 -x34 -x35 x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65 -x66 -x69 -x71 -x72 -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 x9237 -x9248 -x105 -x108 -x110 -x112 -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149 -x151 -x153 -x155 -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188 -x189 -x191 x9270 -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222 -x223 -x226 -x227 -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269 -x270 x9308 -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308 -x309 -x313 -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 -x9341 x9352 -x338 -x340 -x341 -x343 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428 -x429 -x430 -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489 -x490 -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521 -x522 -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553 -x554 -x556 -x557 -x559 -x560 -x561 -x564 -x9401 -x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567 -x568 -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605 -x606 -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641 -x642 -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571 -x9593 -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845 -x9872 -x9883 x9916 -x9927 -x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091 -x10102 -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260 -x10271 -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 x10419 -x10445 -x10456 -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614 -x10625 -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685 -x692 -x693 -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695 -x10706 -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820 -x822 -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852 -x10809 -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x10901 x10912 -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 -x11140 -x11151 -x1189 -x1190 -x1191 -x1194 -x1195 -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220 -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 -x11184 -x1232 -x1233 -x1235 x1237 -x1239 -x1240 -x1242 -x1243 -x1245 -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 x11206 -x1274 -x1277 -x1279 -x1281 -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 -x11346 -x11368 -x11379 -x1322 -x11401 -x11412 -x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 -x11472 -x11483 -x1340 -x1343 -x1344 -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371 -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 -x11586 -x11597 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583 -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 -x1596 -x1598 -x1599 -x1601 -x1602 -x1604 -x1605 -x1614 -x1615 -x1617 x1618 -x1620 -x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644 -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 -x11722 -x11733 -x1673 -x11744 -x11755 -x11766 -x11777 -x11788 -x11803 -x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691 -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 -x1708 -x1709 -x1713 -x1714 -x1715 -x1716 -x1717 -x11836 -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746 -x1747 -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 x1790 -x1791 -x1794 -x1795 -x1796 -x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x11880 -x11891 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1888 -x1890 -x1892 -x11902 -x11917 -x1894 -x1896 -x1898 -x1900 -x1901 -x1903 -x1904 -x1906 x1907 -x1910 -x1911 -x1913 -x1914 -x1916 -x1917 -x1921 -x1922 -x11928 -x11939 -x1924 -x1926 -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960 -x1962 -x1964 -x11972 -x11983 -x12005 -x12016 -x12031 -x12042 -x12053 -x12064 -x12075 -x12086 -x12097 -x12108 -x12119 -x12130 -x12145 -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292 -x12303 -x12314 -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461 -x12472 -x12487 -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899 -x2906 -x2909 -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534 -x3155 -x3164 -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204 -x3207 -x3566 -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241 -x3527 -x3595 -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086 -x2088 -x2090 -x2091 -x2093 x121 x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125 -x2128 -x2129 -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153 -x2155 -x2674 -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 x154 -x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177 -x2179 -x2690 -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718 -x2720 -x2207 -x2208 -x2210 -x2723 x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231 -x2232 -x2656 -x2754 -x2657 -x198 -x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415 -x437 -x448 -x474 -x485 -x507 -x518 -x540 -x562 x577 -x599 -x610 -x632 -x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235 -x2236 -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258 -x2307 -x2262 -x2270 -x2274 -x2313 x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265 -x2290 -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838 -x849 -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099 -x1110 -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330 -x1352 -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595 -x1612 -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826 -x1842 -x1853 -x1875 -x1886 -x1897 -x1908 -x1919 -x1930 -x1957 -x1968 -x2003 x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055 -x2058 -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115 -x2117 -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157 -x2163 -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205 -x2206 -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246 -x2247 -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288 -x2289 -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377 -x2385 -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669 -x2312 -x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 x2317 -x2410 -x2457 -x2500 -x2685 -x2775 -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799 -x2823 -x2325 -x2327 -x2451 -x2497 -x2832 -x2803 -x2328 -x2330 -x2504 -x2540 -x2835 -x2463 -x2807 -x2474 -x2514 -x2546 -x2817 x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568 -x2853 -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406 -x2417 -x2425 -x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335 -x3321 -x3326 -x3339 -x3325 x3337 -x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626 -x3359 -x3416 -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992 -x2995 -x3002 -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432 -x3434 -x2880 -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048 -x3049 -x3051 -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 -x3475 -x3077 -x3078 -x3080 x3478 -x3480 -x3088 -x3089 -x3091 -x3488 -x3490 -x3095 -x3100 -x3102 -x3493 -x3495 -x3106 -x3107 -x3109 -x3504 -x3506 -x3118 -x3119 -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588 -x2590 -x2597 -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591 -x2598 -x2600 -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 -x2628 -x2629 -x2632 x2633 -x2640 -x2641 -x2644 -x2645 -x2648 -x2653 -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2716 -x2717 -x2719 -x2721 -x2722 -x2724 x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767 -x2769 -x2771 -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 x2831 x2834 -x2837 -x2846 -x2849 -x2852 -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910 -x2914 -x2919 -x2923 -x2925 -x2931 -x2935 -x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 x2973 x2974 x2976 -x2977 -x2979 -x2980 -x2982 -x2987 -x2989 -x2990 -x2994 -x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018 -x3259 -x3583 -x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058 -x3061 -x3063 -x3065 -x3072 x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124 -x3134 -x3139 -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240 -x3250 -x3252 -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 -x3285 -x3289 -x3293 -x3304 -x3308 -x3319 -x3323 -x3327 -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 -x3371 -x3372 -x3374 -x3375 -x3376 -x3382 -x3383 -x3384 -x3386 -x3387 -x3388 -x3390 x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413 -x3414 -x3419 -x3428 -x3433 -x3444 -x3449 -x3459 -x3461 -x3464 -x3474 -x3477 -x3479 -x3487 -x3489 -x3492 -x3494 -x3503 -x3505 -x3508 -x3510 -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581 -x3584 -x3592 -x3594 -x3597 -x3599 -x3601 -x3607 x3609 -x3610 -x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627 -x3630 -x3639 -x3641 -x3643 -x3646 -x3652 -x3653 -x3655 -x3656 -x3658 -x3659 -x3687 x3667 x3668 -x3670 -x3671 -x3673 -x3674 -x3676 -x3681 -x3682 -x3684 -x3685 -x3686 -x3690 
1797.97/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.64	c  231    27379  13035   313729    66298 14129567  51292     15 1798.02
1797.97/1798.64	c Objective: -8883
1797.97/1798.64	s SATISFIABLE
1797.97/1798.64	c Total time: 1798.02 s

OK	-8883

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879973-1245136023/watcher-1879973-1245136023 -o /tmp/evaluation-result-1879973-1245136023/solver-1879973-1245136023 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879973-1245136023.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7710
/proc/meminfo: memFree=1461600/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=12196 CPUtime=0
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 181201887 12488704 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 3049 246 177 640 0 2036 0

[startup+0.0955031 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7710
/proc/meminfo: memFree=1461600/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=14572 CPUtime=0.09
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 986 0 0 0 9 0 0 0 18 0 1 0 181201887 14921728 970 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 3643 970 313 640 0 2630 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14572

[startup+0.101502 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7710
/proc/meminfo: memFree=1461600/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=14576 CPUtime=0.09
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 1013 0 0 0 9 0 0 0 18 0 1 0 181201887 14925824 997 1992294400 134512640 137136520 4294956256 18446744073709551615 136523262 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 3644 998 322 640 0 2631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14576

[startup+0.301515 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7710
/proc/meminfo: memFree=1461600/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=19864 CPUtime=0.29
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 2887 0 0 0 28 1 0 0 19 0 1 0 181201887 20340736 2502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 4966 2502 189 640 0 4322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19864

[startup+0.70154 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7710
/proc/meminfo: memFree=1461600/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=19864 CPUtime=0.69
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 2889 0 0 0 68 1 0 0 23 0 1 0 181201887 20340736 2504 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 4966 2504 189 640 0 4322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19864

[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1452312/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=20276 CPUtime=1.49
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 3712 0 0 0 144 5 0 0 25 0 1 0 181201887 20762624 2603 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 5069 2603 198 640 0 4425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20276

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1450904/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=21880 CPUtime=3.09
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 4144 0 0 0 302 7 0 0 25 0 1 0 181201887 22405120 3035 1992294400 134512640 137136520 4294956256 18446744073709551615 135982529 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 5470 3035 198 640 0 4826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21880

[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1444952/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=28712 CPUtime=6.29
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 5846 0 0 0 619 10 0 0 25 0 1 0 181201887 29401088 4737 1992294400 134512640 137136520 4294956256 18446744073709551615 134605843 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 7178 4737 198 640 0 6534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28712

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1432608/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=39572 CPUtime=12.69
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 8565 0 0 0 1257 12 0 0 25 0 1 0 181201887 40521728 7456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 9893 7456 198 640 0 9249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39572

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1423136/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=49068 CPUtime=25.48
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 10916 0 0 0 2535 13 0 0 25 0 1 0 181201887 50245632 9807 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 12267 9807 198 640 0 11623 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49068

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1410080/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=62076 CPUtime=51.07
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 14185 0 0 0 5092 15 0 0 25 0 1 0 181201887 63565824 13076 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 15519 13076 198 640 0 14875 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62076

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1393312/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=78556 CPUtime=102.26
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 18299 0 0 0 10207 19 0 0 25 0 1 0 181201887 80441344 17190 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 19639 17190 198 640 0 18995 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78556

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1373728/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=98276 CPUtime=162.23
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 23241 0 0 0 16200 23 0 0 25 0 1 0 181201887 100634624 22132 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 24569 22132 198 640 0 23925 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 98276

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1347680/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=124236 CPUtime=222.22
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 29707 0 0 0 22193 29 0 0 25 0 1 0 181201887 127217664 28598 1992294400 134512640 137136520 4294956256 18446744073709551615 136502055 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 31059 28598 198 640 0 30415 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 124236

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1329312/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=142748 CPUtime=282.19
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 34363 0 0 0 28187 32 0 0 25 0 1 0 181201887 146173952 33254 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 35687 33254 198 640 0 35043 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142748

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1309408/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=162548 CPUtime=342.16
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 39285 0 0 0 34181 35 0 0 25 0 1 0 181201887 166449152 38176 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 40637 38176 198 640 0 39993 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 162548

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1294112/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=177612 CPUtime=402.14
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 43075 0 0 0 40177 37 0 0 25 0 1 0 181201887 181874688 41966 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 44403 41966 198 640 0 43759 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 177612

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1280800/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=190840 CPUtime=462.13
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 46385 0 0 0 46174 39 0 0 25 0 1 0 181201887 195420160 45276 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 47710 45276 198 640 0 47066 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 190840

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1269024/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=202892 CPUtime=522.11
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 49368 0 0 0 52170 41 0 0 25 0 1 0 181201887 207761408 48259 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 50723 48259 198 640 0 50079 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 202892

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1258080/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=213704 CPUtime=582.09
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 52089 0 0 0 58166 43 0 0 25 0 1 0 181201887 218832896 50980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 53426 50980 198 640 0 52782 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 213704

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1245024/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=226584 CPUtime=642.07
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 55292 0 0 0 64162 45 0 0 25 0 1 0 181201887 232022016 54183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 56646 54183 198 640 0 56002 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 226584

[startup+702.301 s]

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

/proc/meminfo: memFree=1177248/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=294096 CPUtime=1121.9
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 72240 0 0 0 112132 58 0 0 25 0 1 0 181201887 301154304 71061 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 73524 71061 198 640 0 72880 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 294096

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 7711
/proc/meminfo: memFree=1170848/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=300376 CPUtime=1181.89
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 73837 0 0 0 118129 60 0 0 25 0 1 0 181201887 307585024 72658 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 75094 72658 198 640 0 74450 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 300376

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7711
/proc/meminfo: memFree=1164256/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=306852 CPUtime=1241.87
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 75455 0 0 0 124126 61 0 0 25 0 1 0 181201887 314216448 74276 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 76713 74276 198 640 0 76069 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 306852

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7711
/proc/meminfo: memFree=1153376/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=317612 CPUtime=1301.85
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 78151 0 0 0 130122 63 0 0 25 0 1 0 181201887 325234688 76972 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 79403 76972 198 640 0 78759 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 317612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1146592/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=324536 CPUtime=1361.83
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 79877 0 0 0 136119 64 0 0 25 0 1 0 181201887 332324864 78698 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 81134 78698 198 640 0 80490 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 324536

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1139616/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=331560 CPUtime=1421.8
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 81606 0 0 0 142115 65 0 0 25 0 1 0 181201887 339517440 80427 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 82890 80427 198 640 0 82246 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 331560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1133792/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=337292 CPUtime=1481.77
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 83043 0 0 0 148112 65 0 0 25 0 1 0 181201887 345387008 81864 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 84323 81864 198 640 0 83679 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 337292

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1126496/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=344472 CPUtime=1541.75
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 84861 0 0 0 154109 66 0 0 25 0 1 0 181201887 352739328 83682 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 86118 83682 198 640 0 85474 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 344472

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1118048/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=352860 CPUtime=1601.73
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 86956 0 0 0 160106 67 0 0 25 0 1 0 181201887 361328640 85777 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 88215 85777 198 640 0 87571 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 352860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1112416/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=358436 CPUtime=1661.72
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 88355 0 0 0 166103 69 0 0 25 0 1 0 181201887 367038464 87176 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 89609 87176 198 640 0 88965 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 358436

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1106400/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=364668 CPUtime=1721.7
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 89883 0 0 0 172100 70 0 0 25 0 1 0 181201887 373420032 88704 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 91167 88704 198 640 0 90523 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 364668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1098144/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=372956 CPUtime=1781.68
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 91958 0 0 0 178097 71 0 0 25 0 1 0 181201887 381906944 90779 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 93239 90779 198 640 0 92595 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 372956

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1095712/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=375148 CPUtime=1791.27
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92515 0 0 0 179056 71 0 0 25 0 1 0 181201887 384151552 91336 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 93787 91336 198 640 0 93143 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 375148

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094560/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376232 CPUtime=1794.48
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92799 0 0 0 179376 72 0 0 25 0 1 0 181201887 385261568 91620 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94058 91620 198 640 0 93414 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 376232

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094560/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376232 CPUtime=1796.07
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92799 0 0 0 179535 72 0 0 25 0 1 0 181201887 385261568 91620 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94058 91620 198 640 0 93414 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 376232

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094432/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376364 CPUtime=1796.87
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92829 0 0 0 179615 72 0 0 25 0 1 0 181201887 385396736 91650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94091 91650 198 640 0 93447 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 376364

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094432/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376580 CPUtime=1797.67
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92861 0 0 0 179695 72 0 0 25 0 1 0 181201887 385617920 91682 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94145 91682 198 640 0 93501 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 376580

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094304/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376580 CPUtime=1797.88
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92861 0 0 0 179716 72 0 0 25 0 1 0 181201887 385617920 91682 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94145 91682 198 640 0 93501 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 376580

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7711
/proc/meminfo: memFree=1094304/2055920 swapFree=4192812/4192956
[pid=7710] ppid=7708 vsize=376580 CPUtime=1797.97
/proc/7710/stat : 7710 (bsolo) R 7708 7710 7424 0 -1 4194304 92861 0 0 0 179725 72 0 0 25 0 1 0 181201887 385617920 91682 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7710/statm: 94145 91682 198 640 0 93501 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 376580

Child status: 0
Real time (s): 1798.7
CPU time (s): 1798.07
CPU user time (s): 1797.3
CPU system time (s): 0.774882
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 376580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.3
system time used= 0.774882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92863
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= 2
involuntary context switches= 5818

runsolver used 1.61775 second user time and 4.93925 second system time

The end

Begin job on node30 at 2009-06-16 09:07:03
IDJOB=1879973
IDBENCH=1878
IDSOLVER=701
FILE ID=node30/1879973-1245136023
PBS_JOBID= 9363688
Free space on /tmp= 66244 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879973-1245136023/watcher-1879973-1245136023 -o /tmp/evaluation-result-1879973-1245136023/solver-1879973-1245136023 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879973-1245136023.opb

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=1307717252

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1462016 kB
Buffers:         59420 kB
Cached:         447380 kB
SwapCached:        140 kB
Active:         153124 kB
Inactive:       367684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5416 kB
Writeback:           0 kB
Mapped:          23708 kB
Slab:            59068 kB
Committed_AS:   147788 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66240 MiB
End job on node30 at 2009-06-16 09:37:02