0.00/0.00 c Parsing...
0.00/0.36 c ==============================================================================
0.00/0.36 c | | ORIGINAL | LEARNT | |
0.00/0.36 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.36 c ==============================================================================
0.00/0.36 c | 0 | 681936 1576368 | 204580 0 0 nan | 0.000 % |
8.78/8.83 c | 0 | 681848 1576228 | -- 0 -- -- | -- | -88/-140
8.78/8.83 c ==============================================================================
8.78/8.83 c Result : #vars: 12536 #clauses: 681848 #literals: 1576228
8.78/8.83 c CPU time: 8.75467 s
8.78/8.83 c ==============================================================================
9.17/9.30 c This is MiniSat 2.0 beta
9.17/9.30 c WARNING: for repeatability, setting FPU to use double precision
9.17/9.30 c ============================[ Problem Statistics ]=============================
9.17/9.30 c | |
9.27/9.30 c | Number of variables: 12536 |
9.27/9.30 c | Number of clauses: 681848 |
9.27/9.62 c | Parsing time: 0.28 s |
9.27/9.63 c ============================[ Search Statistics ]==============================
9.27/9.63 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.27/9.63 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.27/9.63 c ===============================================================================
9.27/9.63 c | 0 | 12536 681848 1576228 | 227282 0 nan | 0.000 % |
9.27/9.65 c | 100 | 12536 681848 1576228 | 227282 100 140 | 0.000 % |
9.27/9.71 c | 201 | 12536 681848 1576228 | 227282 201 95 | 0.000 % |
9.27/9.76 c | 301 | 12536 681848 1576228 | 227282 301 85 | 0.000 % |
9.76/9.82 c | 413 | 12536 681848 1576228 | 227282 413 82 | 0.000 % |
9.76/9.87 c | 513 | 12536 681848 1576228 | 227282 513 78 | 0.000 % |
9.86/9.93 c | 623 | 12536 681848 1576228 | 227282 623 71 | 0.000 % |
9.86/9.99 c | 744 | 12536 681848 1576228 | 227282 744 70 | 0.000 % |
9.96/10.03 c | 844 | 12536 681848 1576228 | 227282 844 69 | 0.000 % |
10.06/10.11 c | 954 | 12536 681848 1576228 | 227282 954 69 | 0.000 % |
10.06/10.18 c | 1075 | 12536 681848 1576228 | 227282 1075 67 | 0.000 % |
10.16/10.28 c | 1208 | 12536 681848 1576228 | 227282 1208 66 | 0.000 % |
10.26/10.33 c | 1308 | 12536 681848 1576228 | 227282 1308 66 | 0.000 % |
10.26/10.39 c | 1418 | 12536 681848 1576228 | 227282 1418 66 | 0.000 % |
10.36/10.44 c | 1539 | 12536 681848 1576228 | 227282 1539 67 | 0.000 % |
10.36/10.50 c | 1672 | 12536 681848 1576228 | 227282 1672 66 | 0.000 % |
10.46/10.58 c | 1819 | 12536 681848 1576228 | 227282 1819 68 | 0.000 % |
10.56/10.64 c | 1920 | 12536 681848 1576228 | 227282 1920 67 | 0.000 % |
10.66/10.70 c | 2030 | 12536 681848 1576228 | 227282 2030 68 | 0.000 % |
10.66/10.75 c | 2152 | 12536 681848 1576228 | 227282 2152 67 | 0.000 % |
10.76/10.82 c | 2285 | 12536 681848 1576228 | 227282 2285 67 | 0.000 % |
10.76/10.88 c | 2431 | 12536 681848 1576228 | 227282 2431 67 | 0.000 % |
10.86/10.95 c | 2592 | 12536 681848 1576228 | 227282 2592 67 | 0.000 % |
10.96/11.02 c | 2692 | 12536 681848 1576228 | 227282 2692 67 | 0.000 % |
10.96/11.07 c | 2803 | 12536 681848 1576228 | 227282 2803 67 | 0.000 % |
11.06/11.13 c | 2924 | 12536 681848 1576228 | 227282 2924 67 | 0.000 % |
11.06/11.18 c | 3057 | 12536 681848 1576228 | 227282 3057 67 | 0.000 % |
11.16/11.25 c | 3203 | 12536 681848 1576228 | 227282 3203 66 | 0.000 % |
11.26/11.34 c | 3363 | 12536 681848 1576228 | 227282 3363 69 | 0.000 % |
11.36/11.42 c | 3539 | 12536 681848 1576228 | 227282 3539 70 | 0.000 % |
11.36/11.48 c | 3639 | 12536 681848 1576228 | 227282 3639 70 | 0.000 % |
11.46/11.54 c | 3749 | 12536 681848 1576228 | 227282 3749 69 | 0.000 % |
11.46/11.59 c | 3870 | 12536 681848 1576228 | 227282 3870 70 | 0.000 % |
11.56/11.64 c | 4003 | 12536 681848 1576228 | 227282 4003 69 | 0.000 % |
11.66/11.70 c | 4149 | 12536 681848 1576228 | 227282 4149 69 | 0.000 % |
11.66/11.76 c | 4309 | 12536 681848 1576228 | 227282 4309 71 | 0.000 % |
11.76/11.83 c | 4486 | 12536 681848 1576228 | 227282 4486 71 | 0.000 % |
11.86/11.97 c | 4679 | 12536 681848 1576228 | 227282 4679 71 | 0.000 % |
11.96/12.01 c | 4779 | 12536 681848 1576228 | 227282 4779 71 | 0.000 % |
11.96/12.06 c | 4889 | 12536 681848 1576228 | 227282 4889 71 | 0.000 % |
12.06/12.12 c | 5010 | 12536 681848 1576228 | 227282 5010 70 | 0.000 % |
12.06/12.15 c | 5143 | 12536 681848 1576228 | 227282 5143 70 | 0.000 % |
12.15/12.23 c | 5289 | 12536 681848 1576228 | 227282 5289 70 | 0.000 % |
12.25/12.30 c | 5449 | 12536 681848 1576228 | 227282 5449 70 | 0.000 % |
12.25/12.36 c | 5625 | 12536 681848 1576228 | 227282 5625 70 | 0.000 % |
12.35/12.44 c | 5818 | 12536 681848 1576228 | 227282 5818 70 | 0.000 % |
12.45/12.53 c | 6030 | 12536 681848 1576228 | 227282 6030 70 | 0.000 % |
12.45/12.56 c | 6130 | 12536 681848 1576228 | 227282 6130 70 | 0.000 % |
12.55/12.64 c | 6240 | 12536 681848 1576228 | 227282 6240 70 | 0.000 % |
12.65/12.70 c | 6361 | 12536 681848 1576228 | 227282 6361 70 | 0.000 % |
12.65/12.77 c | 6494 | 12536 681848 1576228 | 227282 6494 70 | 0.000 % |
12.75/12.82 c | 6640 | 12536 681848 1576228 | 227282 6640 69 | 0.000 % |
12.85/12.91 c | 6800 | 12536 681848 1576228 | 227282 6800 70 | 0.000 % |
12.85/12.99 c | 6980 | 12536 681848 1576228 | 227282 6980 70 | 0.000 % |
12.95/13.07 c | 7174 | 12536 681848 1576228 | 227282 7174 71 | 0.000 % |
13.06/13.14 c | 7386 | 12536 681848 1576228 | 227282 7386 71 | 0.000 % |
13.16/13.25 c | 7619 | 12536 681848 1576228 | 227282 7619 70 | 0.000 % |
13.16/13.28 c | 7719 | 12536 681848 1576228 | 227282 7719 71 | 0.000 % |
13.25/13.35 c | 7829 | 12536 681848 1576228 | 227282 7829 71 | 0.000 % |
13.25/13.37 c | 7950 | 12536 681848 1576228 | 227282 7950 71 | 0.000 % |
13.35/13.43 c | 8083 | 12536 681848 1576228 | 227282 8083 71 | 0.000 % |
13.35/13.48 c | 8231 | 12536 681848 1576228 | 227282 8231 71 | 0.000 % |
13.45/13.57 c | 8394 | 12536 681848 1576228 | 227282 8394 71 | 0.000 % |
13.55/13.62 c | 8570 | 12536 681848 1576228 | 227282 8570 71 | 0.000 % |
13.55/13.70 c | 8763 | 12536 681848 1576228 | 227282 8763 71 | 0.000 % |
13.65/13.77 c | 8976 | 12536 681848 1576228 | 227282 8976 71 | 0.000 % |
13.75/13.86 c | 9209 | 12536 681848 1576228 | 227282 9209 71 | 0.000 % |
13.85/13.99 c | 9465 | 12536 681848 1576228 | 227282 9465 71 | 0.000 % |
13.95/14.04 c | 9565 | 12536 681848 1576228 | 227282 9565 71 | 0.000 % |
13.95/14.10 c | 9676 | 12536 681848 1576228 | 227282 9676 70 | 0.000 % |
14.05/14.19 c | 9797 | 12536 681848 1576228 | 227282 9797 70 | 0.000 % |
14.15/14.24 c | 9930 | 12536 681848 1576228 | 227282 9930 70 | 0.000 % |
14.25/14.31 c | 10076 | 12536 681848 1576228 | 2147483647 10076 71 | 0.000 % |
14.25/14.39 c | 10236 | 12536 681848 1576228 | 2147483647 10236 71 | 0.000 % |
14.35/14.46 c | 10412 | 12536 681848 1576228 | 2147483647 10412 71 | 0.000 % |
14.45/14.55 c | 10605 | 12536 681848 1576228 | 2147483647 10605 70 | 0.000 % |
14.55/14.68 c | 10817 | 12536 681848 1576228 | 2147483647 10817 70 | 0.000 % |
14.65/14.75 c | 11050 | 12536 681848 1576228 | 2147483647 11050 71 | 0.000 % |
14.75/14.86 c | 11306 | 12536 681848 1576228 | 2147483647 11306 71 | 0.000 % |
14.95/15.02 c | 11587 | 12536 681848 1576228 | 2147483647 11587 71 | 0.000 % |
14.95/15.08 c | 11687 | 12536 681848 1576228 | 2147483647 11687 71 | 0.000 % |
15.05/15.13 c | 11797 | 12536 681848 1576228 | 2147483647 11797 71 | 0.000 % |
15.05/15.18 c | 11919 | 12536 681848 1576228 | 2147483647 11919 71 | 0.000 % |
15.15/15.24 c | 12052 | 12536 681848 1576228 | 2147483647 12052 71 | 0.000 % |
15.25/15.31 c | 12198 | 12536 681848 1576228 | 2147483647 12198 71 | 0.000 % |
15.25/15.38 c | 12358 | 12536 681848 1576228 | 2147483647 12358 71 | 0.000 % |
15.35/15.45 c | 12534 | 12536 681848 1576228 | 2147483647 12534 71 | 0.000 % |
15.45/15.55 c | 12727 | 12536 681848 1576228 | 2147483647 12727 71 | 0.000 % |
15.56/15.66 c | 12939 | 12536 681848 1576228 | 2147483647 12939 71 | 0.000 % |
15.66/15.74 c | 13172 | 12536 681848 1576228 | 2147483647 13172 71 | 0.000 % |
15.76/15.85 c | 13428 | 12536 681848 1576228 | 2147483647 13428 72 | 0.000 % |
15.86/15.98 c | 13709 | 12536 681848 1576228 | 2147483647 13709 72 | 0.000 % |
15.96/16.07 c | 14019 | 12536 681848 1576228 | 2147483647 14019 73 | 0.000 % |
16.06/16.11 c | 14119 | 12536 681848 1576228 | 2147483647 14119 72 | 0.000 % |
16.06/16.17 c | 14230 | 12536 681848 1576228 | 2147483647 14230 73 | 0.000 % |
16.16/16.23 c | 14351 | 12536 681848 1576228 | 2147483647 14351 73 | 0.000 % |
16.16/16.30 c | 14484 | 12536 681848 1576228 | 2147483647 14484 73 | 0.000 % |
16.26/16.35 c | 14632 | 12536 681848 1576228 | 2147483647 14632 73 | 0.000 % |
16.36/16.43 c | 14794 | 12536 681848 1576228 | 2147483647 14794 73 | 0.000 % |
16.46/16.51 c | 14970 | 12536 681848 1576228 | 2147483647 14970 73 | 0.000 % |
16.56/16.62 c | 15164 | 12536 681848 1576228 | 2147483647 15164 73 | 0.000 % |
16.65/16.71 c | 15376 | 12536 681848 1576228 | 2147483647 15376 73 | 0.000 % |
16.75/16.83 c | 15609 | 12536 681848 1576228 | 2147483647 15609 73 | 0.000 % |
16.85/16.98 c | 15865 | 12536 681848 1576228 | 2147483647 15865 73 | 0.000 % |
17.05/17.10 c | 16146 | 12536 681848 1576228 | 2147483647 16146 73 | 0.000 % |
17.15/17.26 c | 16458 | 12536 681848 1576228 | 2147483647 16458 74 | 0.000 % |
17.35/17.42 c | 16797 | 12536 681848 1576228 | 2147483647 16797 74 | 0.000 % |
17.35/17.48 c | 16897 | 12536 681848 1576228 | 2147483647 16897 74 | 0.000 % |
17.46/17.55 c | 17008 | 12536 681848 1576228 | 2147483647 17008 74 | 0.000 % |
17.56/17.62 c | 17129 | 12536 681848 1576228 | 2147483647 17129 74 | 0.000 % |
17.65/17.70 c | 17263 | 12536 681848 1576228 | 2147483647 17263 74 | 0.000 % |
17.65/17.77 c | 17410 | 12536 681848 1576228 | 2147483647 17410 74 | 0.000 % |
17.75/17.85 c | 17570 | 12536 681848 1576228 | 2147483647 17570 74 | 0.000 % |
17.85/17.94 c | 17748 | 12536 681848 1576228 | 2147483647 17748 74 | 0.000 % |
17.95/18.03 c | 17941 | 12536 681848 1576228 | 2147483647 17941 74 | 0.000 % |
18.05/18.14 c | 18153 | 12536 681848 1576228 | 2147483647 18153 74 | 0.000 % |
18.15/18.27 c | 18388 | 12536 681848 1576228 | 2147483647 18388 74 | 0.000 % |
18.25/18.38 c | 18644 | 12536 681848 1576228 | 2147483647 18644 74 | 0.000 % |
18.45/18.53 c | 18925 | 12536 681848 1576228 | 2147483647 18925 75 | 0.000 % |
18.56/18.70 c | 19234 | 12536 681848 1576228 | 2147483647 19234 74 | 0.000 % |
18.75/18.87 c | 19573 | 12536 681848 1576228 | 2147483647 19573 74 | 0.000 % |
19.05/19.14 c | 19945 | 12536 681848 1576228 | 2147483647 19945 74 | 0.000 % |
19.05/19.18 c | 20046 | 12536 681848 1576228 | 2147483647 20046 75 | 0.000 % |
19.15/19.22 c | 20156 | 12536 681848 1576228 | 2147483647 20156 75 | 0.000 % |
19.15/19.27 c | 20277 | 12536 681848 1576228 | 2147483647 20277 75 | 0.000 % |
19.25/19.34 c | 20410 | 12536 681848 1576228 | 2147483647 20410 75 | 0.000 % |
19.35/19.40 c | 20558 | 12536 681848 1576228 | 2147483647 20558 75 | 0.000 % |
19.45/19.51 c | 20718 | 12536 681848 1576228 | 2147483647 20718 75 | 0.000 % |
19.45/19.58 c | 20894 | 12536 681848 1576228 | 2147483647 20894 75 | 0.000 % |
19.55/19.65 c | 21087 | 12536 681848 1576228 | 2147483647 21087 75 | 0.000 % |
19.65/19.73 c | 21303 | 12536 681848 1576228 | 2147483647 21303 75 | 0.000 % |
19.75/19.86 c | 21536 | 12536 681848 1576228 | 2147483647 21536 75 | 0.000 % |
19.95/20.03 c | 21794 | 12536 681848 1576228 | 2147483647 21794 75 | 0.000 % |
20.05/20.15 c | 22075 | 12536 681848 1576228 | 2147483647 22075 75 | 0.000 % |
20.25/20.31 c | 22384 | 12536 681848 1576228 | 2147483647 22384 76 | 0.000 % |
20.35/20.47 c | 22723 | 12536 681848 1576228 | 2147483647 22723 76 | 0.000 % |
20.55/20.63 c | 23095 | 12536 681848 1576228 | 2147483647 23095 77 | 0.000 % |
20.76/20.81 c | 23504 | 12536 681848 1576228 | 2147483647 23504 77 | 0.000 % |
20.76/20.86 c | 23604 | 12536 681848 1576228 | 2147483647 23604 77 | 0.000 % |
20.86/20.90 c | 23715 | 12536 681848 1576228 | 2147483647 23715 77 | 0.000 % |
20.96/21.00 c | 23836 | 12536 681848 1576228 | 2147483647 23836 77 | 0.000 % |
20.96/21.08 c | 23970 | 12536 681848 1576228 | 2147483647 23970 77 | 0.000 % |
21.06/21.17 c | 24116 | 12536 681848 1576228 | 2147483647 24116 77 | 0.000 % |
21.16/21.28 c | 24277 | 12536 681848 1576228 | 2147483647 24277 77 | 0.000 % |
21.26/21.38 c | 24453 | 12536 681848 1576228 | 2147483647 24453 77 | 0.000 % |
21.46/21.50 c | 24647 | 12536 681848 1576228 | 2147483647 24647 77 | 0.000 % |
21.56/21.61 c | 24859 | 12536 681848 1576228 | 2147483647 24859 77 | 0.000 % |
21.56/21.68 c | 25092 | 12536 681848 1576228 | 2147483647 25092 77 | 0.000 % |
21.76/21.81 c | 25348 | 12536 681848 1576228 | 2147483647 25348 77 | 0.000 % |
21.86/21.93 c | 25629 | 12536 681848 1576228 | 2147483647 25629 77 | 0.000 % |
22.06/22.13 c | 25938 | 12536 681848 1576228 | 2147483647 25938 77 | 0.000 % |
22.16/22.28 c | 26278 | 12536 681848 1576228 | 2147483647 26278 77 | 0.000 % |
22.36/22.48 c | 26650 | 12536 681848 1576228 | 2147483647 26650 77 | 0.000 % |
22.55/22.69 c | 27059 | 12536 681848 1576228 | 2147483647 27059 78 | 0.000 % |
22.85/22.93 c | 27508 | 12536 681848 1576228 | 2147483647 27508 78 | 0.000 % |
22.85/22.99 c | 27610 | 12536 681848 1576228 | 2147483647 27610 78 | 0.000 % |
22.96/23.06 c | 27721 | 12536 681848 1576228 | 2147483647 27721 78 | 0.000 % |
23.06/23.11 c | 27842 | 12536 681848 1576228 | 2147483647 27842 78 | 0.000 % |
23.06/23.17 c | 27975 | 12536 681848 1576228 | 2147483647 27975 78 | 0.000 % |
23.15/23.24 c | 28121 | 12536 681848 1576228 | 2147483647 28121 78 | 0.000 % |
23.25/23.34 c | 28281 | 12536 681848 1576228 | 2147483647 28281 78 | 0.000 % |
23.35/23.40 c | 28457 | 12536 681848 1576228 | 2147483647 28457 78 | 0.000 % |
23.45/23.51 c | 28651 | 12536 681848 1576228 | 2147483647 28651 78 | 0.000 % |
23.45/23.57 c | 28864 | 12536 681848 1576228 | 2147483647 28864 78 | 0.000 % |
23.55/23.63 c | 29099 | 12536 681848 1576228 | 2147483647 29099 79 | 0.000 % |
23.55/23.69 c | 29355 | 12536 681848 1576228 | 2147483647 29355 79 | 0.000 % |
23.75/23.81 c | 29638 | 12536 681848 1576228 | 2147483647 29638 79 | 0.000 % |
23.85/23.97 c | 29948 | 12536 681848 1576228 | 2147483647 29948 79 | 0.000 % |
24.05/24.15 c | 30287 | 12536 681848 1576228 | 2147483647 30287 79 | 0.000 % |
24.15/24.21 c | 30659 | 12536 681848 1576228 | 2147483647 30659 80 | 0.000 % |
24.15/24.27 c | 31071 | 12536 681848 1576228 | 2147483647 31071 82 | 0.000 % |
24.35/24.49 c | 31521 | 12536 681848 1576228 | 2147483647 31521 82 | 0.000 % |
24.55/24.64 c | 32014 | 12536 681848 1576228 | 2147483647 32014 82 | 0.000 % |
24.55/24.69 c | 32114 | 12536 681848 1576228 | 2147483647 32114 82 | 0.000 % |
24.65/24.71 c | 32224 | 12536 681848 1576228 | 2147483647 32224 82 | 0.000 % |
24.65/24.79 c | 32345 | 12536 681848 1576228 | 2147483647 32345 82 | 0.000 % |
24.75/24.86 c | 32478 | 12536 681848 1576228 | 2147483647 32478 82 | 0.000 % |
24.85/24.95 c | 32626 | 12536 681848 1576228 | 2147483647 32626 82 | 0.000 % |
24.95/25.06 c | 32787 | 12536 681848 1576228 | 2147483647 32787 82 | 0.000 % |
25.05/25.17 c | 32963 | 12536 681848 1576228 | 2147483647 32963 82 | 0.000 % |
25.15/25.25 c | 33156 | 12536 681848 1576228 | 2147483647 33156 82 | 0.000 % |
25.25/25.35 c | 33368 | 12536 681848 1576228 | 2147483647 33368 82 | 0.000 % |
25.35/25.44 c | 33601 | 12536 681848 1576228 | 2147483647 33601 82 | 0.000 % |
25.45/25.55 c | 33858 | 12536 681848 1576228 | 2147483647 33858 82 | 0.000 % |
25.56/25.67 c | 34139 | 12536 681848 1576228 | 2147483647 34139 82 | 0.000 % |
25.75/25.81 c | 34448 | 12536 681848 1576228 | 2147483647 34448 82 | 0.000 % |
25.85/25.93 c | 34787 | 12536 681848 1576228 | 2147483647 34787 82 | 0.000 % |
26.05/26.13 c | 35159 | 12536 681848 1576228 | 2147483647 35159 82 | 0.000 % |
26.26/26.31 c | 35569 | 12536 681848 1576228 | 2147483647 35569 82 | 0.000 % |
26.45/26.53 c | 36018 | 12536 681848 1576228 | 2147483647 36018 82 | 0.000 % |
26.65/26.78 c | 36512 | 12536 681848 1576228 | 2147483647 36512 82 | 0.000 % |
26.95/27.02 c | 37054 | 12536 681848 1576228 | 2147483647 37054 82 | 0.000 % |
27.05/27.10 c | 37154 | 12536 681848 1576228 | 2147483647 37154 82 | 0.000 % |
27.05/27.19 c | 37265 | 12536 681848 1576228 | 2147483647 37265 82 | 0.000 % |
27.15/27.27 c | 37389 | 12536 681848 1576228 | 2147483647 37389 82 | 0.000 % |
27.25/27.35 c | 37522 | 12536 681848 1576228 | 2147483647 37522 82 | 0.000 % |
27.35/27.45 c | 37668 | 12536 681848 1576228 | 2147483647 37668 82 | 0.000 % |
27.45/27.57 c | 37828 | 12536 681848 1576228 | 2147483647 37828 82 | 0.000 % |
27.55/27.66 c | 38004 | 12536 681848 1576228 | 2147483647 38004 82 | 0.000 % |
27.65/27.78 c | 38198 | 12536 681848 1576228 | 2147483647 38198 82 | 0.000 % |
27.85/27.94 c | 38410 | 12536 681848 1576228 | 2147483647 38410 82 | 0.000 % |
27.95/28.09 c | 38644 | 12536 681848 1576228 | 2147483647 38644 82 | 0.000 % |
28.15/28.20 c | 38900 | 12536 681848 1576228 | 2147483647 38900 82 | 0.000 % |
28.25/28.36 c | 39182 | 12536 681848 1576228 | 2147483647 39182 82 | 0.000 % |
28.45/28.52 c | 39491 | 12536 681848 1576228 | 2147483647 39491 82 | 0.000 % |
28.55/28.69 c | 39832 | 12536 681848 1576228 | 2147483647 39832 82 | 0.000 % |
28.75/28.86 c | 40204 | 12536 681848 1576228 | 2147483647 40204 83 | 0.000 % |
29.04/29.13 c | 40613 | 12536 681848 1576228 | 2147483647 40613 83 | 0.000 % |
29.34/29.42 c | 41062 | 12536 681848 1576228 | 2147483647 41062 83 | 0.000 % |
29.54/29.66 c | 41557 | 12536 681848 1576228 | 2147483647 41557 83 | 0.000 % |
29.94/30.01 c | 42099 | 12536 681848 1576228 | 2147483647 42099 83 | 0.000 % |
30.34/30.40 c | 42696 | 12536 681848 1576228 | 2147483647 42696 83 | 0.000 % |
30.34/30.44 c | 42796 | 12536 681848 1576228 | 2147483647 42796 83 | 0.000 % |
30.44/30.51 c | 42908 | 12536 681848 1576228 | 2147483647 42908 84 | 0.000 % |
30.44/30.59 c | 43029 | 12536 681848 1576228 | 2147483647 43029 84 | 0.000 % |
30.65/30.71 c | 43163 | 12536 681848 1576228 | 2147483647 43163 84 | 0.000 % |
30.75/30.81 c | 43309 | 12536 681848 1576228 | 2147483647 43309 83 | 0.000 % |
30.75/30.89 c | 43469 | 12536 681848 1576228 | 2147483647 43469 84 | 0.000 % |
30.95/31.03 c | 43645 | 12536 681848 1576228 | 2147483647 43645 83 | 0.000 % |
31.05/31.13 c | 43838 | 12536 681848 1576228 | 2147483647 43838 84 | 0.000 % |
31.25/31.30 c | 44050 | 12536 681848 1576228 | 2147483647 44050 83 | 0.000 % |
31.35/31.46 c | 44284 | 12536 681848 1576228 | 2147483647 44284 83 | 0.000 % |
31.45/31.57 c | 44541 | 12536 681848 1576228 | 2147483647 44541 84 | 0.000 % |
31.55/31.69 c | 44823 | 12536 681848 1576228 | 2147483647 44823 84 | 0.000 % |
31.75/31.80 c | 45132 | 12536 681848 1576228 | 2147483647 45132 84 | 0.000 % |
31.85/31.97 c | 45471 | 12536 681848 1576228 | 2147483647 45471 84 | 0.000 % |
32.05/32.13 c | 45843 | 12536 681848 1576228 | 2147483647 45843 84 | 0.000 % |
32.24/32.38 c | 46252 | 12536 681848 1576228 | 2147483647 46252 84 | 0.000 % |
32.54/32.65 c | 46701 | 12536 681848 1576228 | 2147483647 46701 84 | 0.000 % |
32.74/32.89 c | 47197 | 12536 681848 1576228 | 2147483647 47197 85 | 0.000 % |
33.14/33.21 c | 47739 | 12536 681848 1576228 | 2147483647 47739 85 | 0.000 % |
33.44/33.52 c | 48335 | 12536 681848 1576228 | 2147483647 48335 85 | 0.000 % |
33.84/33.95 c | 48992 | 12536 681848 1576228 | 2147483647 48992 85 | 0.000 % |
33.95/34.01 c | 49092 | 12536 681848 1576228 | 2147483647 49092 85 | 0.000 % |
33.95/34.08 c | 49202 | 12536 681848 1576228 | 2147483647 49202 85 | 0.000 % |
34.14/34.20 c | 49324 | 12536 681848 1576228 | 2147483647 49324 85 | 0.000 % |
34.24/34.33 c | 49457 | 12536 681848 1576228 | 2147483647 49457 85 | 0.000 % |
34.34/34.40 c | 49605 | 12536 681848 1576228 | 2147483647 49605 85 | 0.000 % |
34.44/34.53 c | 49769 | 12536 681848 1576228 | 2147483647 49769 85 | 0.000 % |
34.54/34.64 c | 49946 | 12536 681848 1576228 | 2147483647 49946 85 | 0.000 % |
34.64/34.78 c | 50139 | 12536 681848 1576228 | 2147483647 50139 85 | 0.000 % |
34.84/34.90 c | 50351 | 12536 681848 1576228 | 2147483647 50351 85 | 0.000 % |
35.04/35.15 c | 50585 | 12536 681848 1576228 | 2147483647 50585 85 | 0.000 % |
35.24/35.31 c | 50842 | 12536 681848 1576228 | 2147483647 50842 85 | 0.000 % |
35.34/35.49 c | 51123 | 12536 681848 1576228 | 2147483647 51123 85 | 0.000 % |
35.64/35.71 c | 51432 | 12536 681848 1576228 | 2147483647 51432 85 | 0.000 % |
35.84/35.95 c | 51771 | 12536 681848 1576228 | 2147483647 51771 85 | 0.000 % |
36.04/36.19 c | 52143 | 12536 681848 1576228 | 2147483647 52143 85 | 0.000 % |
36.34/36.45 c | 52552 | 12536 681848 1576228 | 2147483647 52552 85 | 0.000 % |
36.53/36.66 c | 53001 | 12536 681848 1576228 | 2147483647 53001 85 | 0.000 % |
36.83/36.96 c | 53495 | 12536 681848 1576228 | 2147483647 53495 85 | 0.000 % |
37.24/37.40 c | 54037 | 12536 681848 1576228 | 2147483647 54037 85 | 0.000 % |
37.74/37.88 c | 54633 | 12536 681848 1576228 | 2147483647 54633 85 | 0.000 % |
38.24/38.33 c | 55288 | 12536 681848 1576228 | 2147483647 55288 85 | 0.000 % |
38.64/38.71 c | 56009 | 12536 681848 1576228 | 2147483647 56009 85 | 0.000 % |
38.64/38.79 c | 56109 | 12536 681848 1576228 | 2147483647 56109 85 | 0.000 % |
38.74/38.88 c | 56221 | 12536 681848 1576228 | 2147483647 56221 85 | 0.000 % |
38.84/38.95 c | 56344 | 12536 681848 1576228 | 2147483647 56344 85 | 0.000 % |
38.94/39.05 c | 56477 | 12536 681848 1576228 | 2147483647 56477 86 | 0.000 % |
39.04/39.16 c | 56623 | 12536 681848 1576228 | 2147483647 56623 86 | 0.000 % |
39.14/39.27 c | 56784 | 12536 681848 1576228 | 2147483647 56784 86 | 0.000 % |
39.24/39.36 c | 56960 | 12536 681848 1576228 | 2147483647 56960 86 | 0.000 % |
39.34/39.50 c | 57153 | 12536 681848 1576228 | 2147483647 57153 86 | 0.000 % |
39.44/39.60 c | 57365 | 12536 681848 1576228 | 2147483647 57365 86 | 0.000 % |
39.64/39.71 c | 57599 | 12536 681848 1576228 | 2147483647 57599 86 | 0.000 % |
39.74/39.87 c | 57855 | 12536 681848 1576228 | 2147483647 57855 86 | 0.000 % |
39.93/40.07 c | 58136 | 12536 681848 1576228 | 2147483647 58136 86 | 0.000 % |
40.23/40.33 c | 58449 | 12536 681848 1576228 | 2147483647 58449 86 | 0.000 % |
40.43/40.54 c | 58788 | 12536 681848 1576228 | 2147483647 58788 86 | 0.000 % |
40.63/40.76 c | 59160 | 12536 681848 1576228 | 2147483647 59160 86 | 0.000 % |
40.93/41.04 c | 59569 | 12536 681848 1576228 | 2147483647 59569 86 | 0.000 % |
41.23/41.31 c | 60018 | 12536 681848 1576228 | 2147483647 60018 86 | 0.000 % |
41.52/41.65 c | 60514 | 12536 681848 1576228 | 2147483647 60514 86 | 0.000 % |
41.73/41.89 c | 61056 | 12536 681848 1576228 | 2147483647 61056 87 | 0.000 % |
42.03/42.16 c | 61652 | 12536 681848 1576228 | 2147483647 61652 87 | 0.000 % |
42.33/42.48 c | 62307 | 12536 681848 1576228 | 2147483647 62307 87 | 0.000 % |
42.63/42.79 c | 63027 | 12536 681848 1576228 | 2147483647 63027 87 | 0.000 % |
42.93/43.08 c | 63820 | 12536 681848 1576228 | 2147483647 63820 88 | 0.000 % |
43.03/43.15 c | 63921 | 12536 681848 1576228 | 2147483647 63921 88 | 0.000 % |
43.13/43.21 c | 64031 | 12536 681848 1576228 | 2147483647 64031 88 | 0.000 % |
43.13/43.29 c | 64152 | 12536 681848 1576228 | 2147483647 64152 88 | 0.000 % |
43.23/43.38 c | 64285 | 12536 681848 1576228 | 2147483647 64285 88 | 0.000 % |
43.33/43.47 c | 64431 | 12536 681848 1576228 | 2147483647 64431 88 | 0.000 % |
43.43/43.57 c | 64592 | 12536 681848 1576228 | 2147483647 64592 88 | 0.000 % |
43.53/43.67 c | 64768 | 12536 681848 1576228 | 2147483647 64768 88 | 0.000 % |
43.63/43.76 c | 64961 | 12536 681848 1576228 | 2147483647 64961 88 | 0.000 % |
43.73/43.89 c | 65174 | 12536 681848 1576228 | 2147483647 65174 88 | 0.000 % |
43.83/43.97 c | 65407 | 12536 681848 1576228 | 2147483647 65407 89 | 0.000 % |
44.03/44.15 c | 65663 | 12536 681848 1576228 | 2147483647 65663 88 | 0.000 % |
44.23/44.31 c | 65944 | 12536 681848 1576228 | 2147483647 65944 89 | 0.000 % |
44.33/44.46 c | 66253 | 12536 681848 1576228 | 2147483647 66253 89 | 0.000 % |
44.53/44.62 c | 66592 | 12536 681848 1576228 | 2147483647 66592 89 | 0.000 % |
44.72/44.88 c | 66964 | 12536 681848 1576228 | 2147483647 66964 89 | 0.000 % |
44.93/45.09 c | 67374 | 12536 681848 1576228 | 2147483647 67374 89 | 0.000 % |
45.32/45.41 c | 67823 | 12536 681848 1576228 | 2147483647 67823 89 | 0.000 % |
45.52/45.68 c | 68317 | 12536 681848 1576228 | 2147483647 68317 89 | 0.000 % |
45.92/46.01 c | 68859 | 12536 681848 1576228 | 2147483647 68859 89 | 0.000 % |
46.33/46.43 c | 69456 | 12536 681848 1576228 | 2147483647 69456 89 | 0.000 % |
46.63/46.79 c | 70111 | 12536 681848 1576228 | 2147483647 70111 90 | 0.000 % |
47.13/47.25 c | 70831 | 12536 681848 1576228 | 2147483647 70831 90 | 0.000 % |
47.53/47.63 c | 71624 | 12536 681848 1576228 | 2147483647 71624 90 | 0.000 % |
48.03/48.15 c | 72495 | 12536 681848 1576228 | 2147483647 72495 90 | 0.000 % |
48.13/48.21 c | 72598 | 12536 681848 1576228 | 2147483647 72598 90 | 0.000 % |
48.23/48.33 c | 72709 | 12536 681848 1576228 | 2147483647 72709 90 | 0.000 % |
48.33/48.44 c | 72831 | 12536 681848 1576228 | 2147483647 72831 90 | 0.000 % |
48.42/48.55 c | 72966 | 12536 681848 1576228 | 2147483647 72966 90 | 0.000 % |
48.52/48.68 c | 73112 | 12536 681848 1576228 | 2147483647 73112 90 | 0.000 % |
48.72/48.86 c | 73273 | 12536 681848 1576228 | 2147483647 73273 90 | 0.000 % |
48.92/49.01 c | 73449 | 12536 681848 1576228 | 2147483647 73449 90 | 0.000 % |
49.02/49.13 c | 73643 | 12536 681848 1576228 | 2147483647 73643 90 | 0.000 % |
49.12/49.27 c | 73856 | 12536 681848 1576228 | 2147483647 73856 90 | 0.000 % |
49.22/49.39 c | 74089 | 12536 681848 1576228 | 2147483647 74089 90 | 0.000 % |
49.43/49.57 c | 74346 | 12536 681848 1576228 | 2147483647 74346 90 | 0.000 % |
49.63/49.73 c | 74627 | 12536 681848 1576228 | 2147483647 74627 90 | 0.000 % |
49.83/49.92 c | 74936 | 12536 681848 1576228 | 2147483647 74936 90 | 0.000 % |
50.03/50.13 c | 75275 | 12536 681848 1576228 | 2147483647 75275 90 | 0.000 % |
50.23/50.34 c | 75648 | 12536 681848 1576228 | 2147483647 75648 90 | 0.000 % |
50.53/50.62 c | 76057 | 12536 681848 1576228 | 2147483647 76057 90 | 0.000 % |
50.73/50.86 c | 76507 | 12536 681848 1576228 | 2147483647 76507 90 | 0.000 % |
51.13/51.26 c | 77000 | 12536 681848 1576228 | 2147483647 77000 90 | 0.000 % |
51.43/51.54 c | 77542 | 12536 681848 1576228 | 2147483647 77542 91 | 0.000 % |
51.93/52.05 c | 78138 | 12536 681848 1576228 | 2147483647 78138 91 | 0.000 % |
52.43/52.51 c | 78793 | 12536 681848 1576228 | 2147483647 78793 91 | 0.000 % |
52.73/52.81 c | 79513 | 12536 681848 1576228 | 2147483647 79513 91 | 0.000 % |
53.32/53.44 c | 80305 | 12536 681848 1576228 | 2147483647 80305 91 | 0.000 % |
53.62/53.79 c | 81176 | 12536 681848 1576228 | 2147483647 81176 93 | 0.000 % |
54.42/54.54 c | 82134 | 12536 681848 1576228 | 2147483647 82134 93 | 0.000 % |
54.42/54.59 c | 82234 | 12536 681848 1576228 | 2147483647 82234 93 | 0.000 % |
54.53/54.68 c | 82344 | 12536 681848 1576228 | 2147483647 82344 93 | 0.000 % |
54.63/54.78 c | 82465 | 12536 681848 1576228 | 2147483647 82465 93 | 0.000 % |
54.73/54.86 c | 82598 | 12536 681848 1576228 | 2147483647 82598 93 | 0.000 % |
54.83/54.96 c | 82744 | 12536 681848 1576228 | 2147483647 82744 93 | 0.000 % |
54.93/55.07 c | 82904 | 12536 681848 1576228 | 2147483647 82904 93 | 0.000 % |
55.13/55.22 c | 83081 | 12536 681848 1576228 | 2147483647 83081 93 | 0.000 % |
55.33/55.40 c | 83274 | 12536 681848 1576228 | 2147483647 83274 92 | 0.000 % |
55.43/55.60 c | 83486 | 12536 681848 1576228 | 2147483647 83486 92 | 0.000 % |
55.63/55.78 c | 83719 | 12536 681848 1576228 | 2147483647 83719 92 | 0.000 % |
55.83/55.98 c | 83978 | 12536 681848 1576228 | 2147483647 83978 92 | 0.000 % |
56.13/56.20 c | 84259 | 12536 681848 1576228 | 2147483647 84259 92 | 0.000 % |
56.23/56.40 c | 84569 | 12536 681848 1576228 | 2147483647 84569 93 | 0.000 % |
56.43/56.58 c | 84908 | 12536 681848 1576228 | 2147483647 84908 92 | 0.000 % |
56.73/56.85 c | 85281 | 12536 681848 1576228 | 2147483647 85281 92 | 0.000 % |
56.93/57.09 c | 85691 | 12536 681848 1576228 | 2147483647 85691 93 | 0.000 % |
57.22/57.37 c | 86140 | 12536 681848 1576228 | 2147483647 86140 93 | 0.000 % |
57.62/57.72 c | 86634 | 12536 681848 1576228 | 2147483647 86634 93 | 0.000 % |
58.02/58.17 c | 87177 | 12536 681848 1576228 | 2147483647 87177 93 | 0.000 % |
58.52/58.61 c | 87773 | 12536 681848 1576228 | 2147483647 87773 93 | 0.000 % |
58.82/58.96 c | 88429 | 12536 681848 1576228 | 2147483647 88429 93 | 0.000 % |
59.23/59.31 c | 89150 | 12536 681848 1576228 | 2147483647 89150 93 | 0.000 % |
59.72/59.84 c | 89942 | 12536 681848 1576228 | 2147483647 89942 93 | 0.000 % |
60.22/60.38 c | 90813 | 12536 681848 1576228 | 2147483647 90813 93 | 0.000 % |
60.42/60.56 c | 91772 | 12536 681848 1576228 | 2147483647 91772 93 | 0.000 % |
61.22/61.35 c | 92828 | 12536 681848 1576228 | 2147483647 92828 93 | 0.000 % |
61.32/61.44 c | 92928 | 12536 681848 1576228 | 2147483647 92928 93 | 0.000 % |
61.42/61.55 c | 93038 | 12536 681848 1576228 | 2147483647 93038 93 | 0.000 % |
61.52/61.65 c | 93159 | 12536 681848 1576228 | 2147483647 93159 93 | 0.000 % |
61.72/61.82 c | 93292 | 12536 681848 1576228 | 2147483647 93292 93 | 0.000 % |
61.82/61.96 c | 93438 | 12536 681848 1576228 | 2147483647 93438 93 | 0.000 % |
62.02/62.13 c | 93598 | 12536 681848 1576228 | 2147483647 93598 93 | 0.000 % |
62.22/62.30 c | 93778 | 12536 681848 1576228 | 2147483647 93778 93 | 0.000 % |
62.32/62.48 c | 93972 | 12536 681848 1576228 | 2147483647 93972 93 | 0.000 % |
62.53/62.65 c | 94185 | 12536 681848 1576228 | 2147483647 94185 93 | 0.000 % |
62.72/62.87 c | 94418 | 12536 681848 1576228 | 2147483647 94418 93 | 0.000 % |
62.92/63.01 c | 94674 | 12536 681848 1576228 | 2147483647 94674 94 | 0.000 % |
63.02/63.19 c | 94956 | 12536 681848 1576228 | 2147483647 94956 94 | 0.000 % |
63.32/63.43 c | 95268 | 12536 681848 1576228 | 2147483647 95268 94 | 0.000 % |
63.52/63.64 c | 95607 | 12536 681848 1576228 | 2147483647 95607 94 | 0.000 % |
63.82/63.92 c | 95979 | 12536 681848 1576228 | 2147483647 95979 94 | 0.000 % |
64.12/64.29 c | 96390 | 12536 681848 1576228 | 2147483647 96390 94 | 0.000 % |
64.42/64.53 c | 96841 | 12536 681848 1576228 | 2147483647 96841 94 | 0.000 % |
64.92/65.02 c | 97334 | 12536 681848 1576228 | 2147483647 97334 94 | 0.000 % |
65.32/65.49 c | 97876 | 12536 681848 1576228 | 2147483647 97876 94 | 0.000 % |
65.72/65.84 c | 98472 | 12536 681848 1576228 | 2147483647 98472 94 | 0.000 % |
66.22/66.31 c | 99127 | 12536 681848 1576228 | 2147483647 99127 94 | 0.000 % |
66.81/66.97 c | 99847 | 12536 681848 1576228 | 2147483647 99847 94 | 0.000 % |
67.41/67.59 c | 100639 | 12536 681848 1576228 | 2147483647 100639 95 | 0.000 % |
68.31/68.46 c | 101511 | 12536 681848 1576228 | 2147483647 101511 95 | 0.000 % |
69.22/69.38 c | 102469 | 12536 681848 1576228 | 2147483647 102469 95 | 0.000 % |
70.12/70.22 c | 103524 | 12536 681848 1576228 | 2147483647 103524 95 | 0.000 % |
70.92/71.02 c | 104682 | 12536 681848 1576228 | 2147483647 104682 95 | 0.000 % |
71.02/71.14 c | 104783 | 12536 681848 1576228 | 2147483647 104783 95 | 0.000 % |
71.12/71.23 c | 104893 | 12536 681848 1576228 | 2147483647 104893 95 | 0.000 % |
71.22/71.37 c | 105014 | 12536 681848 1576228 | 2147483647 105014 95 | 0.000 % |
71.42/71.53 c | 105148 | 12536 681848 1576228 | 2147483647 105148 95 | 0.000 % |
71.52/71.68 c | 105294 | 12536 681848 1576228 | 2147483647 105294 95 | 0.000 % |
71.72/71.89 c | 105456 | 12536 681848 1576228 | 2147483647 105456 95 | 0.000 % |
71.92/72.09 c | 105632 | 12536 681848 1576228 | 2147483647 105632 95 | 0.000 % |
72.21/72.32 c | 105825 | 12536 681848 1576228 | 2147483647 105825 95 | 0.000 % |
72.31/72.49 c | 106037 | 12536 681848 1576228 | 2147483647 106037 95 | 0.000 % |
72.61/72.70 c | 106272 | 12536 681848 1576228 | 2147483647 106272 95 | 0.000 % |
72.81/72.93 c | 106528 | 12536 681848 1576228 | 2147483647 106528 95 | 0.000 % |
72.91/73.09 c | 106809 | 12536 681848 1576228 | 2147483647 106809 95 | 0.000 % |
73.31/73.42 c | 107118 | 12536 681848 1576228 | 2147483647 107118 95 | 0.000 % |
73.51/73.68 c | 107458 | 12536 681848 1576228 | 2147483647 107458 96 | 0.000 % |
73.81/73.94 c | 107834 | 12536 681848 1576228 | 2147483647 107834 96 | 0.000 % |
74.11/74.23 c | 108243 | 12536 681848 1576228 | 2147483647 108243 96 | 0.000 % |
74.51/74.65 c | 108693 | 12536 681848 1576228 | 2147483647 108693 96 | 0.000 % |
75.01/75.12 c | 109187 | 12536 681848 1576228 | 2147483647 109187 96 | 0.000 % |
75.40/75.53 c | 109729 | 12536 681848 1576228 | 2147483647 109729 96 | 0.000 % |
75.71/75.88 c | 110326 | 12536 681848 1576228 | 2147483647 110326 97 | 0.000 % |
76.40/76.55 c | 110981 | 12536 681848 1576228 | 2147483647 110981 97 | 0.000 % |
77.11/77.20 c | 111701 | 12536 681848 1576228 | 2147483647 111701 97 | 0.000 % |
77.81/77.91 c | 112493 | 12536 681848 1576228 | 2147483647 112493 97 | 0.000 % |
78.41/78.51 c | 113364 | 12536 681848 1576228 | 2147483647 113364 97 | 0.000 % |
79.21/79.34 c | 114322 | 12536 681848 1576228 | 2147483647 114322 97 | 0.000 % |
80.11/80.29 c | 115375 | 12536 681848 1576228 | 2147483647 115375 97 | 0.000 % |
80.90/81.02 c | 116533 | 12536 681848 1576228 | 2147483647 116533 98 | 0.000 % |
81.70/81.85 c | 117806 | 12536 681848 1576228 | 2147483647 117806 99 | 0.000 % |
81.90/82.02 c | 117908 | 12536 681848 1576228 | 2147483647 117908 99 | 0.000 % |
82.00/82.11 c | 118019 | 12536 681848 1576228 | 2147483647 118019 99 | 0.000 % |
82.00/82.18 c | 118140 | 12536 681848 1576228 | 2147483647 118140 99 | 0.000 % |
82.20/82.32 c | 118278 | 12536 681848 1576228 | 2147483647 118278 99 | 0.000 % |
82.30/82.46 c | 118425 | 12536 681848 1576228 | 2147483647 118425 99 | 0.000 % |
82.40/82.58 c | 118585 | 12536 681848 1576228 | 2147483647 118585 99 | 0.000 % |
82.60/82.76 c | 118761 | 12536 681848 1576228 | 2147483647 118761 99 | 0.000 % |
82.70/82.89 c | 118955 | 12536 681848 1576228 | 2147483647 118955 99 | 0.000 % |
82.90/83.09 c | 119167 | 12536 681848 1576228 | 2147483647 119167 99 | 0.000 % |
83.11/83.24 c | 119401 | 12536 681848 1576228 | 2147483647 119401 99 | 0.000 % |
83.31/83.47 c | 119657 | 12536 681848 1576228 | 2147483647 119657 99 | 0.000 % |
83.60/83.75 c | 119941 | 12536 681848 1576228 | 2147483647 119941 99 | 0.000 % |
83.90/84.06 c | 120251 | 12536 681848 1576228 | 2147483647 120251 99 | 0.000 % |
84.20/84.35 c | 120590 | 12536 681848 1576228 | 2147483647 120590 99 | 0.000 % |
84.61/84.73 c | 120962 | 12536 681848 1576228 | 2147483647 120962 99 | 0.000 % |
84.90/85.05 c | 121371 | 12536 681848 1576228 | 2147483647 121371 99 | 0.000 % |
85.20/85.37 c | 121822 | 12536 681848 1576228 | 2147483647 121822 99 | 0.000 % |
85.61/85.75 c | 122315 | 12536 681848 1576228 | 2147483647 122315 99 | 0.000 % |
86.10/86.22 c | 122857 | 12536 681848 1576228 | 2147483647 122857 99 | 0.000 % |
86.60/86.74 c | 123456 | 12536 681848 1576228 | 2147483647 123456 100 | 0.000 % |
87.30/87.45 c | 124112 | 12536 681848 1576228 | 2147483647 124112 100 | 0.000 % |
88.00/88.19 c | 124833 | 12536 681848 1576228 | 2147483647 124833 100 | 0.000 % |
88.70/88.86 c | 125627 | 12536 681848 1576228 | 2147483647 125627 100 | 0.000 % |
89.40/89.54 c | 126499 | 12536 681848 1576228 | 2147483647 126499 100 | 0.000 % |
90.39/90.58 c | 127457 | 12536 681848 1576228 | 2147483647 127457 100 | 0.000 % |
91.29/91.43 c | 128510 | 12536 681848 1576228 | 2147483647 128510 100 | 0.000 % |
92.31/92.47 c | 129668 | 12536 681848 1576228 | 2147483647 129668 101 | 0.000 % |
93.30/93.41 c | 130942 | 12536 681848 1576228 | 2147483647 130942 101 | 0.000 % |
94.50/94.67 c | 132342 | 12536 681848 1576228 | 2147483647 132342 101 | 0.000 % |
94.60/94.77 c | 132443 | 12536 681848 1576228 | 2147483647 132443 101 | 0.000 % |
94.80/94.93 c | 132553 | 12536 681848 1576228 | 2147483647 132553 101 | 0.000 % |
94.90/95.05 c | 132675 | 12536 681848 1576228 | 2147483647 132675 101 | 0.000 % |
95.00/95.17 c | 132808 | 12536 681848 1576228 | 2147483647 132808 101 | 0.000 % |
95.20/95.31 c | 132954 | 12536 681848 1576228 | 2147483647 132954 101 | 0.000 % |
95.30/95.47 c | 133115 | 12536 681848 1576228 | 2147483647 133115 101 | 0.000 % |
95.50/95.69 c | 133292 | 12536 681848 1576228 | 2147483647 133292 101 | 0.000 % |
95.70/95.85 c | 133486 | 12536 681848 1576228 | 2147483647 133486 101 | 0.000 % |
96.00/96.13 c | 133698 | 12536 681848 1576228 | 2147483647 133698 101 | 0.000 % |
96.20/96.38 c | 133933 | 12536 681848 1576228 | 2147483647 133933 101 | 0.000 % |
96.49/96.64 c | 134189 | 12536 681848 1576228 | 2147483647 134189 101 | 0.000 % |
96.70/96.87 c | 134470 | 12536 681848 1576228 | 2147483647 134470 101 | 0.000 % |
96.99/97.14 c | 134781 | 12536 681848 1576228 | 2147483647 134781 101 | 0.000 % |
97.09/97.29 c | 135122 | 12536 681848 1576228 | 2147483647 135122 102 | 0.000 % |
97.49/97.64 c | 135497 | 12536 681848 1576228 | 2147483647 135497 102 | 0.000 % |
97.79/97.99 c | 135907 | 12536 681848 1576228 | 2147483647 135907 102 | 0.000 % |
98.29/98.42 c | 136356 | 12536 681848 1576228 | 2147483647 136356 102 | 0.000 % |
98.60/98.74 c | 136851 | 12536 681848 1576228 | 2147483647 136851 102 | 0.000 % |
99.10/99.28 c | 137393 | 12536 681848 1576228 | 2147483647 137393 102 | 0.000 % |
99.70/99.85 c | 137989 | 12536 681848 1576228 | 2147483647 137989 102 | 0.000 % |
100.10/100.24 c | 138644 | 12536 681848 1576228 | 2147483647 138644 102 | 0.000 % |
100.70/100.82 c | 139365 | 12536 681848 1576228 | 2147483647 139365 102 | 0.000 % |
101.19/101.38 c | 140158 | 12536 681848 1576228 | 2147483647 140158 103 | 0.000 % |
102.20/102.36 c | 141030 | 12536 681848 1576228 | 2147483647 141030 102 | 0.000 % |
103.09/103.28 c | 141988 | 12536 681848 1576228 | 2147483647 141988 102 | 0.000 % |
104.19/104.30 c | 143041 | 12536 681848 1576228 | 2147483647 143041 102 | 0.000 % |
105.00/105.15 c | 144202 | 12536 681848 1576228 | 2147483647 144202 102 | 0.000 % |
105.89/106.07 c | 145475 | 12536 681848 1576228 | 2147483647 145475 103 | 0.000 % |
107.09/107.25 c | 146876 | 12536 681848 1576228 | 2147483647 146876 103 | 0.000 % |
108.19/108.39 c | 148417 | 12536 681848 1576228 | 2147483647 148417 103 | 0.000 % |
108.29/108.49 c | 148517 | 12536 681848 1576228 | 2147483647 148517 103 | 0.000 % |
108.39/108.57 c | 148629 | 12536 681848 1576228 | 2147483647 148629 103 | 0.000 % |
108.59/108.72 c | 148751 | 12536 681848 1576228 | 2147483647 148751 103 | 0.000 % |
108.69/108.82 c | 148884 | 12536 681848 1576228 | 2147483647 148884 103 | 0.000 % |
108.89/109.05 c | 149033 | 12536 681848 1576228 | 2147483647 149033 103 | 0.000 % |
109.19/109.32 c | 149193 | 12536 681848 1576228 | 2147483647 149193 103 | 0.000 % |
109.29/109.47 c | 149369 | 12536 681848 1576228 | 2147483647 149369 103 | 0.000 % |
109.49/109.65 c | 149563 | 12536 681848 1576228 | 2147483647 149563 103 | 0.000 % |
109.69/109.89 c | 149775 | 12536 681848 1576228 | 2147483647 149775 103 | 0.000 % |
109.90/110.05 c | 150008 | 12536 681848 1576228 | 2147483647 150008 103 | 0.000 % |
110.09/110.30 c | 150267 | 12536 681848 1576228 | 2147483647 150267 103 | 0.000 % |
110.39/110.50 c | 150550 | 12536 681848 1576228 | 2147483647 150550 103 | 0.000 % |
110.69/110.81 c | 150860 | 12536 681848 1576228 | 2147483647 150860 103 | 0.000 % |
110.90/111.09 c | 151203 | 12536 681848 1576228 | 2147483647 151203 103 | 0.000 % |
111.29/111.42 c | 151575 | 12536 681848 1576228 | 2147483647 151575 103 | 0.000 % |
111.39/111.55 c | 151985 | 12536 681848 1576228 | 2147483647 151985 103 | 0.000 % |
111.89/112.07 c | 152435 | 12536 681848 1576228 | 2147483647 152435 103 | 0.000 % |
112.39/112.58 c | 152928 | 12536 681848 1576228 | 2147483647 152928 103 | 0.000 % |
112.79/112.97 c | 153470 | 12536 681848 1576228 | 2147483647 153470 104 | 0.000 % |
113.59/113.73 c | 154070 | 12536 681848 1576228 | 2147483647 154070 104 | 0.000 % |
114.19/114.32 c | 154725 | 12536 681848 1576228 | 2147483647 154725 104 | 0.000 % |
114.98/115.16 c | 155445 | 12536 681848 1576228 | 2147483647 155445 104 | 0.000 % |
115.98/116.10 c | 156237 | 12536 681848 1576228 | 2147483647 156237 104 | 0.000 % |
116.39/116.57 c | 157108 | 12536 681848 1576228 | 2147483647 157108 105 | 0.000 % |
117.39/117.52 c | 158067 | 12536 681848 1576228 | 2147483647 158067 105 | 0.000 % |
117.99/118.13 c | 159121 | 12536 681848 1576228 | 2147483647 159121 105 | 0.000 % |
118.29/118.49 c | 160279 | 12536 681848 1576228 | 2147483647 160279 106 | 0.000 % |
119.48/119.64 c | 161556 | 12536 681848 1576228 | 2147483647 161556 106 | 0.000 % |
121.18/121.31 c | 162956 | 12536 681848 1576228 | 2147483647 162956 106 | 0.000 % |
122.78/122.91 c | 164497 | 12536 681848 1576228 | 2147483647 164497 106 | 0.000 % |
124.28/124.49 c | 166191 | 12536 681848 1576228 | 2147483647 166191 106 | 0.000 % |
124.48/124.63 c | 166291 | 12536 681848 1576228 | 2147483647 166291 106 | 0.000 % |
124.58/124.76 c | 166401 | 12536 681848 1576228 | 2147483647 166401 106 | 0.000 % |
124.78/124.92 c | 166525 | 12536 681848 1576228 | 2147483647 166525 107 | 0.000 % |
124.98/125.11 c | 166659 | 12536 681848 1576228 | 2147483647 166659 107 | 0.000 % |
125.08/125.29 c | 166807 | 12536 681848 1576228 | 2147483647 166807 107 | 0.000 % |
125.28/125.48 c | 166967 | 12536 681848 1576228 | 2147483647 166967 107 | 0.000 % |
125.48/125.68 c | 167143 | 12536 681848 1576228 | 2147483647 167143 107 | 0.000 % |
125.78/125.93 c | 167337 | 12536 681848 1576228 | 2147483647 167337 107 | 0.000 % |
126.08/126.26 c | 167549 | 12536 681848 1576228 | 2147483647 167549 107 | 0.000 % |
126.48/126.62 c | 167783 | 12536 681848 1576228 | 2147483647 167783 107 | 0.000 % |
126.68/126.87 c | 168042 | 12536 681848 1576228 | 2147483647 168042 107 | 0.000 % |
127.18/127.31 c | 168323 | 12536 681848 1576228 | 2147483647 168323 107 | 0.000 % |
127.48/127.67 c | 168632 | 12536 681848 1576228 | 2147483647 168632 107 | 0.000 % |
127.97/128.11 c | 168971 | 12536 681848 1576228 | 2147483647 168971 107 | 0.000 % |
128.37/128.57 c | 169343 | 12536 681848 1576228 | 2147483647 169343 107 | 0.000 % |
128.77/128.93 c | 169752 | 12536 681848 1576228 | 2147483647 169752 107 | 0.000 % |
129.27/129.45 c | 170201 | 12536 681848 1576228 | 2147483647 170201 107 | 0.000 % |
129.77/129.95 c | 170694 | 12536 681848 1576228 | 2147483647 170694 107 | 0.000 % |
130.38/130.58 c | 171236 | 12536 681848 1576228 | 2147483647 171236 107 | 0.000 % |
131.08/131.29 c | 171835 | 12536 681848 1576228 | 2147483647 171835 107 | 0.000 % |
131.78/131.96 c | 172490 | 12536 681848 1576228 | 2147483647 172490 107 | 0.000 % |
132.58/132.71 c | 173212 | 12536 681848 1576228 | 2147483647 173212 108 | 0.000 % |
133.37/133.56 c | 174004 | 12536 681848 1576228 | 2147483647 174004 108 | 0.000 % |
134.57/134.77 c | 174875 | 12536 681848 1576228 | 2147483647 174875 108 | 0.000 % |
135.68/135.86 c | 175833 | 12536 681848 1576228 | 2147483647 175833 108 | 0.000 % |
136.98/137.16 c | 176886 | 12536 681848 1576228 | 2147483647 176886 108 | 0.000 % |
138.38/138.53 c | 178044 | 12536 681848 1576228 | 2147483647 178044 108 | 0.000 % |
139.97/140.18 c | 179317 | 12536 681848 1576228 | 2147483647 179317 109 | 0.000 % |
141.78/141.97 c | 180717 | 12536 681848 1576228 | 2147483647 180717 109 | 0.000 % |
143.67/143.85 c | 182257 | 12536 681848 1576228 | 2147483647 182257 109 | 0.000 % |
145.77/145.98 c | 183951 | 12536 681848 1576228 | 2147483647 183951 109 | 0.000 % |
148.38/148.57 c | 185814 | 12536 681848 1576228 | 2147483647 185814 109 | 0.000 % |
148.47/148.69 c | 185914 | 12536 681848 1576228 | 2147483647 185914 109 | 0.000 % |
148.67/148.82 c | 186024 | 12536 681848 1576228 | 2147483647 186024 109 | 0.000 % |
148.87/149.02 c | 186146 | 12536 681848 1576228 | 2147483647 186146 109 | 0.000 % |
149.07/149.23 c | 186280 | 12536 681848 1576228 | 2147483647 186280 109 | 0.000 % |
149.17/149.39 c | 186426 | 12536 681848 1576228 | 2147483647 186426 109 | 0.000 % |
149.47/149.62 c | 186586 | 12536 681848 1576228 | 2147483647 186586 109 | 0.000 % |
149.67/149.87 c | 186762 | 12536 681848 1576228 | 2147483647 186762 109 | 0.000 % |
149.97/150.15 c | 186956 | 12536 681848 1576228 | 2147483647 186956 109 | 0.000 % |
150.27/150.45 c | 187168 | 12536 681848 1576228 | 2147483647 187168 109 | 0.000 % |
150.57/150.77 c | 187402 | 12536 681848 1576228 | 2147483647 187402 109 | 0.000 % |
150.97/151.17 c | 187658 | 12536 681848 1576228 | 2147483647 187658 110 | 0.000 % |
151.17/151.33 c | 187939 | 12536 681848 1576228 | 2147483647 187939 110 | 0.000 % |
151.57/151.70 c | 188248 | 12536 681848 1576228 | 2147483647 188248 110 | 0.000 % |
151.77/151.94 c | 188588 | 12536 681848 1576228 | 2147483647 188588 110 | 0.000 % |
152.27/152.41 c | 188960 | 12536 681848 1576228 | 2147483647 188960 110 | 0.000 % |
152.47/152.67 c | 189369 | 12536 681848 1576228 | 2147483647 189369 110 | 0.000 % |
152.97/153.12 c | 189819 | 12536 681848 1576228 | 2147483647 189819 110 | 0.000 % |
153.36/153.56 c | 190313 | 12536 681848 1576228 | 2147483647 190313 110 | 0.000 % |
153.96/154.13 c | 190855 | 12536 681848 1576228 | 2147483647 190855 110 | 0.000 % |
154.47/154.61 c | 191451 | 12536 681848 1576228 | 2147483647 191451 110 | 0.000 % |
155.27/155.43 c | 192106 | 12536 681848 1576228 | 2147483647 192106 110 | 0.000 % |
156.37/156.50 c | 192827 | 12536 681848 1576228 | 2147483647 192827 110 | 0.000 % |
157.47/157.63 c | 193620 | 12536 681848 1576228 | 2147483647 193620 110 | 0.000 % |
158.67/158.82 c | 194491 | 12536 681848 1576228 | 2147483647 194491 110 | 0.000 % |
160.16/160.33 c | 195450 | 12536 681848 1576228 | 2147483647 195450 111 | 0.000 % |
161.57/161.79 c | 196503 | 12536 681848 1576228 | 2147483647 196503 111 | 0.000 % |
163.37/163.53 c | 197661 | 12536 681848 1576228 | 2147483647 197661 111 | 0.000 % |
165.36/165.52 c | 198934 | 12536 681848 1576228 | 2147483647 198934 111 | 0.000 % |
167.25/167.46 c | 200334 | 12536 681848 1576228 | 2147483647 200334 111 | 0.000 % |
169.15/169.35 c | 201875 | 12536 681848 1576228 | 2147483647 201875 112 | 0.000 % |
171.36/171.60 c | 203569 | 12536 681848 1576228 | 2147483647 203569 112 | 0.000 % |
173.46/173.66 c | 205432 | 12536 681848 1576228 | 2147483647 205432 112 | 0.000 % |
176.05/176.28 c | 207482 | 12536 681848 1576228 | 2147483647 207482 112 | 0.000 % |
176.25/176.49 c | 207582 | 12536 681848 1576228 | 2147483647 207582 112 | 0.000 % |
176.45/176.65 c | 207693 | 12536 681848 1576228 | 2147483647 207693 112 | 0.000 % |
176.65/176.89 c | 207814 | 12536 681848 1576228 | 2147483647 207814 112 | 0.000 % |
176.96/177.16 c | 207947 | 12536 681848 1576228 | 2147483647 207947 112 | 0.000 % |
177.25/177.43 c | 208096 | 12536 681848 1576228 | 2147483647 208096 112 | 0.000 % |
177.55/177.73 c | 208257 | 12536 681848 1576228 | 2147483647 208257 112 | 0.000 % |
177.75/177.99 c | 208433 | 12536 681848 1576228 | 2147483647 208433 112 | 0.000 % |
178.05/178.21 c | 208626 | 12536 681848 1576228 | 2147483647 208626 112 | 0.000 % |
178.25/178.44 c | 208839 | 12536 681848 1576228 | 2147483647 208839 112 | 0.000 % |
178.65/178.86 c | 209072 | 12536 681848 1576228 | 2147483647 209072 112 | 0.000 % |
179.16/179.35 c | 209328 | 12536 681848 1576228 | 2147483647 209328 112 | 0.000 % |
179.65/179.81 c | 209609 | 12536 681848 1576228 | 2147483647 209609 112 | 0.000 % |
180.05/180.21 c | 209919 | 12536 681848 1576228 | 2147483647 209919 112 | 0.000 % |
180.15/180.35 c | 210258 | 12536 681848 1576228 | 2147483647 210258 112 | 0.000 % |
180.75/180.90 c | 210630 | 12536 681848 1576228 | 2147483647 210630 112 | 0.000 % |
180.95/181.19 c | 211039 | 12536 681848 1576228 | 2147483647 211039 113 | 0.000 % |
181.65/181.84 c | 211488 | 12536 681848 1576228 | 2147483647 211488 113 | 0.000 % |
182.15/182.32 c | 211981 | 12536 681848 1576228 | 2147483647 211981 113 | 0.000 % |
182.85/183.08 c | 212523 | 12536 681848 1576228 | 2147483647 212523 113 | 0.000 % |
183.75/183.92 c | 213123 | 12536 681848 1576228 | 2147483647 213123 113 | 0.000 % |
184.75/184.93 c | 213778 | 12536 681848 1576228 | 2147483647 213778 113 | 0.000 % |
184.95/185.18 c | 214498 | 12536 681848 1576228 | 2147483647 214498 113 | 0.000 % |
186.15/186.36 c | 215290 | 12536 681848 1576228 | 2147483647 215290 113 | 0.000 % |
187.25/187.50 c | 216163 | 12536 681848 1576228 | 2147483647 216163 113 | 0.000 % |
187.95/188.16 c | 217121 | 12536 681848 1576228 | 2147483647 217121 113 | 0.000 % |
189.44/189.61 c | 218176 | 12536 681848 1576228 | 2147483647 218176 113 | 0.000 % |
190.94/191.16 c | 219334 | 12536 681848 1576228 | 2147483647 219334 114 | 0.000 % |
192.05/192.29 c | 220612 | 12536 681848 1576228 | 220000 220612 114 | 0.000 % |
193.95/194.17 c | 222012 | 12536 681848 1576228 | 220000 194032 110 | 0.000 % |
194.65/194.87 c | 223552 | 12536 681848 1576228 | 220000 195572 110 | 0.000 % |
195.95/196.17 c | 225247 | 12536 681848 1576228 | 220000 197267 111 | 0.000 % |
198.35/198.56 c | 227110 | 12536 681848 1576228 | 220000 199130 111 | 0.000 % |
200.55/200.75 c | 229160 | 12536 681848 1576228 | 220000 201180 112 | 0.000 % |
203.15/203.35 c | 231416 | 12536 681848 1576228 | 202020 203436 112 | 0.000 % |
203.65/203.84 c | 231517 | 12536 681848 1576228 | 202020 177910 108 | 0.000 % |
203.85/204.00 c | 231627 | 12536 681848 1576228 | 202020 178020 108 | 0.000 % |
203.95/204.12 c | 231748 | 12536 681848 1576228 | 202020 178141 108 | 0.000 % |
204.05/204.27 c | 231881 | 12536 681848 1576228 | 202020 178274 108 | 0.000 % |
204.25/204.46 c | 232029 | 12536 681848 1576228 | 202020 178422 108 | 0.000 % |
204.55/204.76 c | 232190 | 12536 681848 1576228 | 202020 178583 108 | 0.000 % |
204.65/204.87 c | 232368 | 12536 681848 1576228 | 202020 178761 108 | 0.000 % |
204.95/205.17 c | 232561 | 12536 681848 1576228 | 202020 178954 108 | 0.000 % |
205.25/205.49 c | 232773 | 12536 681848 1576228 | 202020 179166 108 | 0.000 % |
205.55/205.79 c | 233006 | 12536 681848 1576228 | 202020 179399 108 | 0.000 % |
205.95/206.16 c | 233262 | 12536 681848 1576228 | 202020 179655 108 | 0.000 % |
206.35/206.58 c | 233543 | 12536 681848 1576228 | 202020 179936 108 | 0.000 % |
206.75/206.97 c | 233852 | 12536 681848 1576228 | 202020 180245 108 | 0.000 % |
207.44/207.61 c | 234191 | 12536 681848 1576228 | 202020 180584 108 | 0.000 % |
207.84/208.07 c | 234563 | 12536 681848 1576228 | 202020 180956 108 | 0.000 % |
208.44/208.60 c | 234976 | 12536 681848 1576228 | 202020 181369 108 | 0.000 % |
209.14/209.35 c | 235427 | 12536 681848 1576228 | 202020 181820 108 | 0.000 % |
209.94/210.13 c | 235921 | 12536 681848 1576228 | 202020 182314 108 | 0.000 % |
210.74/210.94 c | 236464 | 12536 681848 1576228 | 202020 182857 108 | 0.000 % |
211.34/211.51 c | 237060 | 12536 681848 1576228 | 202020 183453 108 | 0.000 % |
212.04/212.30 c | 237715 | 12536 681848 1576228 | 202020 184108 109 | 0.000 % |
213.04/213.27 c | 238435 | 12536 681848 1576228 | 202020 184828 109 | 0.000 % |
214.03/214.28 c | 239227 | 12536 681848 1576228 | 202020 185620 109 | 0.000 % |
215.24/215.41 c | 240099 | 12536 681848 1576228 | 2147483647 186492 109 | 0.000 % |
216.03/216.25 c | 241057 | 12536 681848 1576228 | 2147483647 187450 109 | 0.000 % |
217.33/217.59 c | 242110 | 12536 681848 1576228 | 2147483647 188503 109 | 0.000 % |
218.43/218.60 c | 243271 | 12536 681848 1576228 | 2147483647 189664 110 | 0.000 % |
219.84/220.07 c | 244545 | 12536 681848 1576228 | 2147483647 190938 110 | 0.000 % |
221.33/221.50 c | 245949 | 12536 681848 1576228 | 2147483647 192342 110 | 0.000 % |
223.23/223.44 c | 247490 | 12536 681848 1576228 | 2147483647 193883 111 | 0.000 % |
225.43/225.65 c | 249184 | 12536 681848 1576228 | 2147483647 195577 111 | 0.000 % |
227.83/228.04 c | 251049 | 12536 681848 1576228 | 2147483647 197442 111 | 0.000 % |
230.13/230.37 c | 253100 | 12536 681848 1576228 | 2147483647 199493 111 | 0.000 % |
233.03/233.29 c | 255356 | 12536 681848 1576228 | 2147483647 201749 112 | 0.000 % |
234.23/234.44 c | 257834 | 12536 681848 1576228 | 2147483647 204227 113 | 0.000 % |
234.53/234.71 c | 257937 | 12536 681848 1576228 | 2147483647 204330 113 | 0.000 % |
234.73/234.92 c | 258048 | 12536 681848 1576228 | 2147483647 204441 113 | 0.000 % |
234.93/235.19 c | 258170 | 12536 681848 1576228 | 2147483647 204563 113 | 0.000 % |
235.23/235.45 c | 258305 | 12536 681848 1576228 | 2147483647 204698 113 | 0.000 % |
235.43/235.63 c | 258451 | 12536 681848 1576228 | 2147483647 204844 113 | 0.000 % |
235.73/235.90 c | 258611 | 12536 681848 1576228 | 2147483647 205004 113 | 0.000 % |
235.83/236.09 c | 258787 | 12536 681848 1576228 | 2147483647 205180 113 | 0.000 % |
236.13/236.38 c | 258981 | 12536 681848 1576228 | 2147483647 205374 113 | 0.000 % |
236.63/236.84 c | 259194 | 12536 681848 1576228 | 2147483647 205587 113 | 0.000 % |
236.93/237.18 c | 259427 | 12536 681848 1576228 | 2147483647 205820 113 | 0.000 % |
237.23/237.49 c | 259683 | 12536 681848 1576228 | 2147483647 206076 113 | 0.000 % |
237.73/237.90 c | 259964 | 12536 681848 1576228 | 2147483647 206357 113 | 0.000 % |
238.03/238.30 c | 260274 | 12536 681848 1576228 | 206393 206667 113 | 0.000 % |
238.83/239.03 c | 260616 | 12536 681848 1576228 | 206393 181371 110 | 0.000 % |
239.33/239.56 c | 260988 | 12536 681848 1576228 | 206393 181743 110 | 0.000 % |
239.83/240.04 c | 261397 | 12536 681848 1576228 | 206393 182152 110 | 0.000 % |
240.43/240.68 c | 261846 | 12536 681848 1576228 | 206393 182601 111 | 0.000 % |
240.83/241.07 c | 262340 | 12536 681848 1576228 | 206393 183095 111 | 0.000 % |
241.63/241.89 c | 262882 | 12536 681848 1576228 | 206393 183637 111 | 0.000 % |
242.23/242.47 c | 263478 | 12536 681848 1576228 | 206393 184233 111 | 0.000 % |
243.13/243.35 c | 264134 | 12536 681848 1576228 | 206393 184889 111 | 0.000 % |
243.93/244.13 c | 264854 | 12536 681848 1576228 | 206393 185609 111 | 0.000 % |
244.83/245.03 c | 265646 | 12536 681848 1576228 | 206393 186401 111 | 0.000 % |
245.73/245.94 c | 266519 | 12536 681848 1576228 | 206393 187274 111 | 0.000 % |
246.92/247.13 c | 267478 | 12536 681848 1576228 | 206393 188233 112 | 0.000 % |
248.33/248.54 c | 268532 | 12536 681848 1576228 | 206393 189287 112 | 0.000 % |
249.92/250.19 c | 269690 | 12536 681848 1576228 | 206393 190445 113 | 0.000 % |
251.52/251.76 c | 270963 | 12536 681848 1576228 | 2147483647 191718 113 | 0.000 % |
252.73/252.95 c | 272365 | 12536 681848 1576228 | 2147483647 193120 113 | 0.000 % |
254.61/254.86 c | 273905 | 12536 681848 1576228 | 2147483647 194660 114 | 0.000 % |
256.81/257.06 c | 275599 | 12536 681848 1576228 | 2147483647 196354 114 | 0.000 % |
259.01/259.28 c | 277462 | 12536 681848 1576228 | 2147483647 198217 115 | 0.000 % |
260.71/260.99 c | 279511 | 12536 681848 1576228 | 2147483647 200266 115 | 0.000 % |
264.51/264.75 c | 281764 | 12536 681848 1576228 | 200757 180876 113 | 0.000 % |
267.91/268.15 c | 284242 | 12536 681848 1576228 | 200757 183354 113 | 0.000 % |
269.71/269.96 c | 286968 | 12536 681848 1576228 | 200757 186080 114 | 0.000 % |
269.91/270.13 c | 287068 | 12536 681848 1576228 | 200757 186180 114 | 0.000 % |
270.11/270.35 c | 287179 | 12536 681848 1576228 | 200757 186291 114 | 0.000 % |
270.32/270.54 c | 287301 | 12536 681848 1576228 | 200757 186413 114 | 0.000 % |
270.51/270.72 c | 287434 | 12536 681848 1576228 | 200757 186546 114 | 0.000 % |
270.71/271.00 c | 287584 | 12536 681848 1576228 | 200757 186696 114 | 0.000 % |
271.01/271.25 c | 287745 | 12536 681848 1576228 | 200757 186857 114 | 0.000 % |
271.21/271.41 c | 287921 | 12536 681848 1576228 | 200757 187033 114 | 0.000 % |
271.41/271.63 c | 288114 | 12536 681848 1576228 | 200757 187226 114 | 0.000 % |
271.61/271.85 c | 288326 | 12536 681848 1576228 | 200757 187438 114 | 0.000 % |
271.91/272.18 c | 288559 | 12536 681848 1576228 | 200757 187671 114 | 0.000 % |
272.31/272.55 c | 288815 | 12536 681848 1576228 | 200757 187927 114 | 0.000 % |
272.71/272.99 c | 289097 | 12536 681848 1576228 | 200757 188209 114 | 0.000 % |
273.21/273.42 c | 289406 | 12536 681848 1576228 | 200757 188518 114 | 0.000 % |
273.61/273.87 c | 289745 | 12536 681848 1576228 | 200757 188857 114 | 0.000 % |
274.11/274.39 c | 290117 | 12536 681848 1576228 | 2147483647 189229 114 | 0.000 % |
274.71/274.93 c | 290526 | 12536 681848 1576228 | 2147483647 189638 114 | 0.000 % |
275.21/275.50 c | 290975 | 12536 681848 1576228 | 2147483647 190087 115 | 0.000 % |
275.81/276.03 c | 291468 | 12536 681848 1576228 | 2147483647 190580 115 | 0.000 % |
276.41/276.66 c | 292012 | 12536 681848 1576228 | 2147483647 191124 115 | 0.000 % |
276.61/276.82 c | 292609 | 12536 681848 1576228 | 2147483647 191721 115 | 0.000 % |
277.41/277.66 c | 293264 | 12536 681848 1576228 | 2147483647 192376 115 | 0.000 % |
278.01/278.21 c | 293985 | 12536 681848 1576228 | 2147483647 193097 116 | 0.000 % |
279.01/279.23 c | 294777 | 12536 681848 1576228 | 2147483647 193889 116 | 0.000 % |
280.11/280.32 c | 295649 | 12536 681848 1576228 | 2147483647 194761 116 | 0.000 % |
281.41/281.65 c | 296609 | 12536 681848 1576228 | 2147483647 195721 116 | 0.000 % |
282.01/282.29 c | 297663 | 12536 681848 1576228 | 2147483647 196775 117 | 0.000 % |
282.91/283.16 c | 298821 | 12536 681848 1576228 | 2147483647 197933 118 | 0.000 % |
284.31/284.50 c | 300094 | 12536 681848 1576228 | 199112 199206 118 | 0.000 % |
285.71/285.92 c | 301495 | 12536 681848 1576228 | 199112 178638 115 | 0.000 % |
287.61/287.87 c | 303037 | 12536 681848 1576228 | 199112 180180 116 | 0.000 % |
289.51/289.78 c | 304731 | 12536 681848 1576228 | 199112 181874 116 | 0.000 % |
291.31/291.57 c | 306596 | 12536 681848 1576228 | 199112 183739 117 | 0.000 % |
292.21/292.43 c | 308646 | 12536 681848 1576228 | 199112 185789 117 | 0.000 % |
294.90/295.15 c | 310899 | 12536 681848 1576228 | 187143 188042 117 | 0.000 % |
298.00/298.27 c | 313379 | 12536 681848 1576228 | 187143 168759 116 | 0.000 % |
301.50/301.74 c | 316104 | 12536 681848 1576228 | 187143 171484 116 | 0.000 % |
305.10/305.34 c | 319104 | 12536 681848 1576228 | 187143 174484 117 | 0.000 % |
305.20/305.41 c | 319208 | 12536 681848 1576228 | 187143 174588 117 | 0.000 % |
305.30/305.51 c | 319318 | 12536 681848 1576228 | 187143 174698 117 | 0.000 % |
305.40/305.70 c | 319439 | 12536 681848 1576228 | 187143 174819 117 | 0.000 % |
305.60/305.87 c | 319572 | 12536 681848 1576228 | 187143 174952 117 | 0.000 % |
305.79/306.08 c | 319718 | 12536 681848 1576228 | 187143 175098 117 | 0.000 % |
305.99/306.28 c | 319880 | 12536 681848 1576228 | 187143 175260 117 | 0.000 % |
306.19/306.44 c | 320057 | 12536 681848 1576228 | 2147483647 175437 117 | 0.000 % |
306.49/306.70 c | 320250 | 12536 681848 1576228 | 2147483647 175630 117 | 0.000 % |
306.60/306.83 c | 320463 | 12536 681848 1576228 | 2147483647 175843 117 | 0.000 % |
306.89/307.16 c | 320696 | 12536 681848 1576228 | 2147483647 176076 117 | 0.000 % |
307.09/307.33 c | 320952 | 12536 681848 1576228 | 2147483647 176332 117 | 0.000 % |
307.39/307.65 c | 321234 | 12536 681848 1576228 | 2147483647 176614 117 | 0.000 % |
307.70/307.98 c | 321544 | 12536 681848 1576228 | 2147483647 176924 117 | 0.000 % |
308.09/308.38 c | 321883 | 12536 681848 1576228 | 2147483647 177263 117 | 0.000 % |
308.49/308.79 c | 322257 | 12536 681848 1576228 | 2147483647 177637 117 | 0.000 % |
308.69/308.91 c | 322666 | 12536 681848 1576228 | 2147483647 178046 117 | 0.000 % |
309.09/309.34 c | 323116 | 12536 681848 1576228 | 2147483647 178496 117 | 0.000 % |
309.69/309.95 c ===============================================================================
309.69/309.95 c restarts : 722
309.69/309.95 c conflicts : 323540 (1078 /sec)
309.69/309.95 c decisions : 9278461 (1.22 % random) (30910 /sec)
309.69/309.95 c propagations : 86099041 (286832 /sec)
309.69/309.95 c conflict literals : 41283288 (12.63 % deleted)
309.69/309.95 c Memory used : 145.20 MB
309.69/309.95 c CPU time : 300.172 s
309.69/309.95 c
309.69/309.96 s SATISFIABLE
309.69/309.99 s SATISFIABLE
309.69/309.99 v -1 -2 -3 4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 161 -162 -163 -164 -165 -166 -167 -168 -169 170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 404 -405 -406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 -8961 -8962 -8963 -8964 -8965 -8966 8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 -9764 -9765 -9766 -9767 9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 -10145 -10146 -10147 10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530 10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 10577 -10578 -10579 -10580 -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 -10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 10715 -10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 -10826 -10827 -10828 10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980 -10981 -10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159 -11160 -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 -11267 -11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380 -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599 11600 -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 11614 -11615 -11616 11617 -11618 -11619 11620 11621 -11622 -11623 11624 -11625 11626 11627 -11628 11629 -11630 11631 -11632 -11633 11634 -11635 11636 -11637 11638 11639 -11640 -11641 -11642 11643 -11644 -11645 11646 -11647 -11648 11649 -11650 -11651 -11652 -11653 -11654 11655 -11656 -11657 11658 -11659 -11660 -11661 11662 -11663 -11664 -11665 -11666 -11667 11668 11669 -11670 -11671 -11672 11673 -11674 -11675 -11676 -11677 11678 -11679 -11680 -11681 11682 -11683 11684 -11685 -11686 -11687 11688 -11689 -11690 -11691 11692 -11693 -11694 -11695 -11696 -11697 11698 -11699 11700 -11701 -11702 -11703 -11704 -11705 11706 -11707 11708 -11709 -11710 -11711 -11712 -11713 11714 -11715 -11716 -11717 11718 -11719 -11720 -11721 11722 -11723 -11724 11725 -11726 11727 -11728 11729 -11730 -11731 -11732 -11733 11734 -11735 -11736 -11737 -11738 -11739 11740 -11741 -11742 -11743 11744 -11745 11746 -11747 -11748 -11749 -11750 -11751 11752 -11753 11754 -11755 -11756 -11757 11758 -11759 -11760 11761 -11762 -11763 -11764 -11765 -11766 11767 -11768 11769 -11770 11771 -11772 -11773 -11774 -11775 -11776 -11777 11778 -11779 11780 -11781 -11782 11783 -11784 -11785 -11786 11787 -11788 -11789 -11790 -11791 11792 -11793 -11794 -11795 -11796 -11797 11798 -11799 -11800 -11801 11802 -11803 -11804 11805 -11806 -11807 11808 -11809 -11810 -11811 -11812 11813 -11814 -11815 11816 -11817 11818 -11819 -11820 11821 -11822 -11823 -11824 11825 -11826 -11827 -11828 -11829 -11830 -11831 11832 -11833 11834 -11835 -11836 -11837 -11838 -11839 11840 -11841 11842 -11843 -11844 -11845 -11846 -11847 11848 11849 -11850 -11851 -11852 -11853 -11854 -11855 11856 11857 -11858 -11859 -11860 -11861 11862 -11863 -11864 11865 -11866 -11867 11868 -11869 -11870 -11871 -11872 11873 -11874 -11875 -11876 -11877 11878 11879 -11880 -11881 -11882 -11883 -11884 -11885 11886 11887 -11888 -11889 -11890 11891 -11892 -11893 -11894 -11895 -11896 11897 -11898 -11899 11900 -11901 -11902 11903 -11904 -11905 -11906 11907 -11908 -11909 -11910 -11911 11912 -11913 -11914 11915 -11916 -11917 -11918 11919 -11920 -11921 -11922 11923 -11924 -11925 11926 -11927 -11928 -11929 11930 -11931 -11932 -11933 -11934 -11935 11936 -11937 -11938 11939 -11940 11941 -11942 -11943 -11944 11945 -11946 11947 -11948 -11949 -11950 -11951 11952 -11953 -11954 -11955 -11956 11957 -11958 -11959 -11960 -11961 11962 11963 -11964 -11965 -11966 -11967 -11968 11969 -11970 11971 -11972 -11973 -11974 -11975 -11976 11977 -11978 11979 -11980 -11981 -11982 -11983 -11984 11985 -11986 11987 -11988 -11989 -11990 -11991 11992 -11993 -11994 11995 -11996 -11997 11998 -11999 -12000 -12001 12002 -12003 -12004 -12005 12006 -12007 -12008 -12009 -12010 -12011 12012 -12013 -12014 12015 -12016 12017 -12018 -12019 -12020 -12021 -12022 12023 -12024 -12025 12026 -12027 -12028 -12029 -12030 -12031 12032 12033 -12034 -12035 -12036 -12037 12038 -12039 -12040 -12041 12042 -12043 -12044 -12045 12046 -12047 -12048 -12049 12050 -12051 -12052 -12053 12054 -12055 12056 -12057 -12058 -12059 -12060 12061 -12062 -12063 -12064 -12065 12066 -12067 -12068 12069 -12070 12071 -12072 -12073 -12074 -12075 -12076 -12077 12078 -12079 12080 -12081 -12082 -12083 12084 -12085 -12086 -12087 12088 -12089 -12090 -12091 12092 -12093 -12094 -12095 12096 -12097 12098 -12099 -12100 -12101 12102 -12103 -12104 -12105 -12106 -12107 12108 -12109 -12110 12111 -12112 -12113 12114 -12115 -12116 -12117 -12118 12119 -12120 12121 -12122 -12123 -12124 12125 -12126 -12127 -12128 12129 -12130 -12131 -12132 12133 -12134 -12135 -12136 12137 -12138 -12139 -12140 -12141 12142 -12143 -12144 12145 -12146 -12147 -12148 12149 -12150 -12151 -12152 12153 -12154 -12155 -12156 -12157 12158 -12159 12160 -12161 -12162 -12163 12164 -12165 -12166 -12167 12168 12169 -12170 -12171 -12172 -12173 -12174 12175 -12176 12177 -12178 -12179 -12180 -12181 -12182 -12183 12184 12185 -12186 -12187 -12188 -12189 -12190 12191 -12192 -12193 -12194 -12195 12196 -12197 12198 -12199 -12200 12201 -12202 -12203 -12204 12205 -12206 -12207 -12208 12209 -12210 12211 -12212 -12213 -12214 -12215 -12216 -12217 12218 12219 -12220 -12221 -12222 -12223 -12224 12225 -12226 -12227 12228 -12229 -12230 -12231 -12232 -12233 12234 12235 -12236 -12237 -12238 -12239 -12240 12241 -12242 -12243 -12244 -12245 12246 -12247 -12248 -12249 12250 -12251 -12252 12253 -12254 12255 -12256 -12257 12258 -12259 -12260 -12261 -12262 12263 -12264 -12265 12266 -12267 -12268 -12269 -12270 -12271 12272 -12273 -12274 12275 -12276 -12277 -12278 -12279 12280 12281 -12282 -12283 -12284 -12285 -12286 -12287 12288 -12289 -12290 -12291 12292 12293 -12294 -12295 -12296 -12297 12298 -12299 -12300 12301 -12302 12303 -12304 -12305 -12306 -12307 12308 -12309 -12310 -12311 12312 -12313 -12314 -12315 -12316 12317 -12318 -12319 -12320 12321 -12322 12323 -12324 -12325 -12326 -12327 -12328 -12329 12330 -12331 12332 -12333 -12334 -12335 -12336 12337 -12338 -12339 12340 -12341 -12342 12343 -12344 -12345 12346 -12347 -12348 -12349 -12350 -12351 12352 -12353 -12354 12355 -12356 -12357 12358 -12359 -12360 -12361 -12362 12363 -12364 12365 -12366 -12367 -12368 -12369 -12370 -12371 12372 12373 -12374 -12375 -12376 -12377 12378 -12379 -12380 12381 -12382 -12383 -12384 -12385 12386 -12387 -12388 12389 -12390 12391 -12392 -12393 -12394 -12395 12396 -12397 -12398 -12399 -12400 12401 -12402 -12403 -12404 -12405 12406 -12407 -12408 12409 -12410 -12411 -12412 -12413 12414 -12415 -12416 12417 -12418 -12419 -12420 12421 -12422 -12423 -12424 -12425 12426 -12427 -12428 12429 -12430 -12431 12432 -12433 -12434 12435 -12436 -12437 12438 -12439 -12440 -12441 -12442 -12443 12444 -12445 -12446 -12447 12448 12449 -12450 -12451 -12452 -12453 -12454 -12455 12456 -12457 -12458 12459 -12460 -12461 -12462 12463 -12464 -12465 12466 -12467 -12468 12469 -12470 -12471 -12472 -12473 12474 -12475 12476 -12477 -12478 12479 -12480 -12481 -12482 -12483 -12484 -12485 12486 -12487 -12488 12489 -12490 -12491 12492 -12493 -12494 -12495 -12496 12497 -12498 -12499 -12500 12501 -12502 12503 -12504 -12505 -12506 -12507 12508 -12509 -12510 12511 -12512 -12513 -12514 -12515 -12516 -12517 12518 12519 -12520 -12521 -12522 -12523 12524 -12525 -12526 -12527 12528 -12529 12530 -12531 -12532 -12533 -12534 12535 -12536 -12537 -12538 -12539 12540 -12541 -12542 -12543 12544 -12545 12546 -12547 -12548 12549 -12550 -12551 -12552 -12553 -12554 -12555 12556 -12557 -12558 -12559 12560 12561 -12562 -12563 12564 -12565 12566 -12567 12568 -12569 12570 -12571 12572 -12573 12574 12575 -12576 -12577 12578 12579 -12580 -12581 12582 12583 -12584 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833755-1242825063/watcher-1833755-1242825063 -o /tmp/evaluation-result-1833755-1242825063/solver-1833755-1242825063 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833755-1242825063.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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 13652
/proc/meminfo: memFree=1963336/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310540361 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 252429697106 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/13652/statm: 1339 235 195 169 0 50 0
[pid=13653] ppid=13652 vsize=5356 CPUtime=0
/proc/13653/stat : 13653 (SatELiteGTI) S 13652 13652 13508 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310540362 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 238 198 169 0 50 0
[pid=13655] ppid=13653 vsize=2612 CPUtime=0
/proc/13655/stat : 13655 (sed) R 13653 13652 13508 0 -1 4194304 161 0 0 0 0 0 0 0 22 0 1 0 310540362 2674688 134 1992294400 4194304 4240196 548682069056 18446744073709551615 252429697250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 0 0 0 0 0 0 0
[startup+0.057827 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13652
/proc/meminfo: memFree=1963336/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102829 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13652
/proc/meminfo: memFree=1963336/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301849 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13652
/proc/meminfo: memFree=1963336/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701889 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13652
/proc/meminfo: memFree=1963336/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50297 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13657
/proc/meminfo: memFree=1923320/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
[pid=13657] ppid=13652 vsize=44740 CPUtime=1.49
/proc/13657/stat : 13657 (SatELite_releas) R 13652 13652 13508 0 -1 4194304 9974 0 0 0 144 5 0 0 25 0 1 0 310540362 45813760 9960 1992294400 134512640 135223648 4294956128 18446744073709551615 134586656 0 0 4096 3 0 0 0 17 0 0 0
/proc/13657/statm: 11185 9960 76 173 0 11010 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50096
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13657
/proc/meminfo: memFree=1923192/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
[pid=13657] ppid=13652 vsize=44740 CPUtime=3.08
/proc/13657/stat : 13657 (SatELite_releas) R 13652 13652 13508 0 -1 4194304 9974 0 0 0 303 5 0 0 25 0 1 0 310540362 45813760 9960 1992294400 134512640 135223648 4294956128 18446744073709551615 134587353 0 0 4096 3 0 0 0 17 1 0 0
/proc/13657/statm: 11185 9960 76 173 0 11010 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50096
[startup+6.30145 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13657
/proc/meminfo: memFree=1923128/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=0
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540361 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13652/statm: 1339 237 197 169 0 50 0
[pid=13657] ppid=13652 vsize=44740 CPUtime=6.27
/proc/13657/stat : 13657 (SatELite_releas) R 13652 13652 13508 0 -1 4194304 9974 0 0 0 622 5 0 0 25 0 1 0 310540362 45813760 9960 1992294400 134512640 135223648 4294956128 18446744073709551615 134587312 0 0 4096 3 0 0 0 17 0 0 0
/proc/13657/statm: 11185 9960 76 173 0 11010 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50096
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1921400/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=31872 CPUtime=3.38
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 7805 0 0 0 334 4 0 0 25 0 1 0 310541291 32636928 7791 1992294400 134512640 135215339 4294956240 18446744073709551615 134612552 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 7968 7791 77 171 0 7795 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 37228
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1909304/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=43720 CPUtime=16.18
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 10757 0 0 0 1611 7 0 0 25 0 1 0 310541291 44769280 10743 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 10930 10743 77 171 0 10757 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 49076
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1889016/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=64116 CPUtime=41.76
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 15867 0 0 0 4164 12 0 0 25 0 1 0 310541291 65654784 15853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 16029 15853 77 171 0 15856 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 69472
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1853304/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=99548 CPUtime=92.93
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 24670 0 0 0 9274 19 0 0 25 0 1 0 310541291 101937152 24656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 24887 24656 77 171 0 24714 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 104904
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1819704/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=132956 CPUtime=152.9
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 33084 0 0 0 15262 28 0 0 25 0 1 0 310541291 136146944 33070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 33239 33070 77 171 0 33066 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 138312
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803896/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=212.86
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 21255 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 154036
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=272.84
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 27253 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 154036
Solver just ended. Dumping a history of the last processes samples
[startup+294.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=284.83
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 28452 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134527239 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 294.1
Current children cumulated vsize (KiB) 154036
[startup+300.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=291.23
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 29092 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 300.5
Current children cumulated vsize (KiB) 154036
[startup+303.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=294.43
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 29412 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 303.7
Current children cumulated vsize (KiB) 154036
[startup+307.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=297.62
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 29731 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134539298 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 306.89
Current children cumulated vsize (KiB) 154036
[startup+308.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=299.22
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 29891 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 308.49
Current children cumulated vsize (KiB) 154036
[startup+309.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=300.02
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 29971 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 309.29
Current children cumulated vsize (KiB) 154036
[startup+309.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=9.27
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 336 12077 0 0 0 0 917 10 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
[pid=13658] ppid=13652 vsize=148680 CPUtime=300.42
/proc/13658/stat : 13658 (minisat_static) R 13652 13652 13508 0 -1 4194304 36915 0 0 0 30011 31 0 0 25 0 1 0 310541291 152248320 36901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13658/statm: 37170 36901 77 171 0 36997 0
Current children cumulated CPU time (s) 309.69
Current children cumulated vsize (KiB) 154036
[startup+310.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13658
/proc/meminfo: memFree=1803768/2055920 swapFree=4180308/4192956
[pid=13652] ppid=13650 vsize=5356 CPUtime=309.79
/proc/13652/stat : 13652 (SatELiteGTI) S 13650 13652 13508 0 -1 4194304 358 48999 0 0 0 0 30935 44 16 0 1 0 310540361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13652/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (KiB) 5356
Child status: 10
Real time (s): 310.013
CPU time (s): 309.823
CPU user time (s): 309.367
CPU system time (s): 0.45593
CPU usage (%): 99.9385
Max. virtual memory (cumulated for all children) (KiB): 154036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.367
system time used= 0.45593
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50030
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= 51
involuntary context switches= 1957
runsolver used 0.277957 second user time and 0.902862 second system time
The end
Begin job on node12 at 2009-05-20 15:11:04
IDJOB=1833755
IDBENCH=70916
IDSOLVER=671
FILE ID=node12/1833755-1242825063
PBS_JOBID= 9322497
Free space on /tmp= 66288 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_12_2_4_exp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833755-1242825063/watcher-1833755-1242825063 -o /tmp/evaluation-result-1833755-1242825063/solver-1833755-1242825063 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833755-1242825063.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e72d819fa5b57b6476ac56a442ceab9b
RANDOM SEED=407148389
node12.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.213
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.213
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: 1963752 kB
Buffers: 15088 kB
Cached: 41188 kB
SwapCached: 6760 kB
Active: 34780 kB
Inactive: 29692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1963752 kB
SwapTotal: 4192956 kB
SwapFree: 4180308 kB
Dirty: 12280 kB
Writeback: 0 kB
Mapped: 13356 kB
Slab: 13716 kB
Committed_AS: 1167496 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node12 at 2009-05-20 15:16:14