| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1292.63 | 1300.01 |
| Name | SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf |
| MD5SUM | cb369c4583eb075a3a8cb5a04701e120 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 4716.27 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 985042 |
| Number of clauses | 3113540 |
| Sum of the clauses size | 7976612 |
| Maximum clause length | 618 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 158 |
| Number of clauses of size 2 | 1490897 |
| Number of clauses of size 3 | 1578048 |
| Number of clauses of size 4 | 28388 |
| Number of clauses of size 5 | 9876 |
| Number of clauses of size over 5 | 6173 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 3.09/3.19 c ============================================================================== 3.09/3.19 c | | ORIGINAL | LEARNT | | 3.09/3.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 3.09/3.19 c ============================================================================== 3.09/3.19 c | 0 | 3112490 7973525 | 933746 0 0 nan | 0.000 % | 18.29/18.31 c | 0 | 1381688 4546309 | -- 0 -- -- | -- | -1680645/-3295819 18.29/18.32 c ============================================================================== 18.29/18.32 c Result : #vars: 250821 #clauses: 1381688 #literals: 4546309 18.29/18.32 c CPU time: 17.8003 s 18.29/18.32 c ============================================================================== 19.29/19.40 c 19.29/19.40 c Starting glucose 19.29/19.40 c 41.40/48.84 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 41.40/48.84 c WARNING: for repeatability, setting FPU to use double precision 41.40/48.84 c ============================[ Problem Statistics ]============================= 41.40/48.84 c | | 41.40/48.84 c | Number of variables: 250821 | 41.40/48.84 c | Number of clauses: 1381688 | 41.40/48.84 c | Parse time: 0.65 s | 41.40/48.84 c | | 41.40/48.84 c ============================[ Search Statistics ]============================== 41.40/48.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.40/48.84 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 41.40/48.84 c =============================================================================== 41.40/48.84 c | 783 | 250819 1381688 4546309 | 1 781 11 | 0.001 % | 41.40/48.84 c | 939 | 250816 1381688 4546309 | 1 934 10 | 0.002 % | 41.40/48.84 c | 1674 | 250816 1381688 4546309 | 1 1669 10 | 0.002 % | 41.40/48.84 c | 2281 | 250816 1381688 4546309 | 1 2276 11 | 0.002 % | 41.40/48.84 c | 2381 | 250816 1381633 4546103 | 1 2375 12 | 0.002 % | 41.40/48.84 c | 6004 | 250797 1381579 4545926 | 1 4003 11 | 0.010 % | 41.40/48.84 c | 6232 | 250797 1381579 4545926 | 1 4231 11 | 0.010 % | 41.40/48.84 c | 6545 | 246046 1381579 4545926 | 1 4538 12 | 1.904 % | 41.40/48.84 c | 6645 | 246046 1381579 4545926 | 1 4638 13 | 1.904 % | 41.40/48.84 c | 6848 | 246046 1381579 4545926 | 1 4841 15 | 1.904 % | 41.40/48.84 c | 6973 | 246046 1358792 4460569 | 1 4949 15 | 1.904 % | 41.40/48.84 c | 7080 | 246046 1358792 4460569 | 1 5056 15 | 1.904 % | 41.40/48.84 c | 7363 | 246046 1358792 4460569 | 1 5339 17 | 1.904 % | 41.40/48.84 c | 7607 | 246046 1358792 4460569 | 1 5583 18 | 1.904 % | 41.40/48.84 c | 7796 | 246046 1358792 4460569 | 1 5772 18 | 1.904 % | 41.40/48.84 c | 8032 | 246046 1358792 4460569 | 1 6008 18 | 1.904 % | 41.40/48.84 c | 8132 | 246046 1358792 4460569 | 1 6108 18 | 1.904 % | 41.40/48.84 c | 8232 | 246046 1358792 4460569 | 1 6208 19 | 1.904 % | 41.40/48.84 c | 8446 | 246046 1358792 4460569 | 1 6422 21 | 1.904 % | 41.40/48.84 c | 8904 | 246046 1358792 4460569 | 1 6880 20 | 1.904 % | 41.40/48.84 c | 9621 | 246046 1358792 4460569 | 1 7597 21 | 1.904 % | 41.40/48.84 c | 9814 | 246046 1358792 4460569 | 1 7790 22 | 1.904 % | 41.40/48.84 c | 9914 | 246046 1358792 4460569 | 1 7890 22 | 1.904 % | 41.40/48.84 c | 11411 | 246045 1358786 4460551 | 1 9386 23 | 1.904 % | 41.40/48.84 c | 11511 | 246045 1358786 4460551 | 1 9486 23 | 1.904 % | 41.40/48.84 c | 12389 | 246038 1358786 4460551 | 1 10359 23 | 1.907 % | 41.40/48.84 c | 12683 | 246038 1358735 4460379 | 1 6893 12 | 1.907 % | 41.40/48.84 c | 13709 | 246037 1358735 4460379 | 1 7918 13 | 1.907 % | 41.40/48.84 c | 13824 | 246037 1358735 4460379 | 1 8033 14 | 1.907 % | 41.40/48.84 c | 13924 | 246037 1358735 4460379 | 1 8133 14 | 1.907 % | 41.40/48.84 c | 14550 | 246037 1358735 4460379 | 1 8759 16 | 1.907 % | 41.40/48.84 c | 15009 | 246037 1358723 4460339 | 1 9218 16 | 1.907 % | 41.40/48.84 c | 16089 | 246036 1358721 4460333 | 1 10296 18 | 1.908 % | 41.40/48.84 c | 16936 | 246036 1358721 4460333 | 1 11143 17 | 1.908 % | 41.40/48.84 c | 18467 | 246036 1358721 4460333 | 1 12674 19 | 1.908 % | 41.40/48.84 c | 19510 | 246035 1358710 4460296 | 1 13716 19 | 1.908 % | 41.40/48.84 c | 20211 | 246035 1358710 4460296 | 1 14417 20 | 1.908 % | 41.40/48.84 c | 21649 | 246035 1358710 4460296 | 1 15855 19 | 1.908 % | 41.40/48.84 c | 22035 | 246035 1358710 4460296 | 1 16241 20 | 1.908 % | 68.91/76.33 c | 22477 | 246035 1358710 4460296 | 1 16683 21 | 1.908 % | 68.91/76.33 c | 23260 | 246030 1358704 4460278 | 1 17461 21 | 1.910 % | 68.91/76.33 c | 23981 | 246030 1358704 4460278 | 1 18182 21 | 1.910 % | 68.91/76.33 c | 24743 | 246030 1358671 4460158 | 1 18944 21 | 1.910 % | 68.91/76.33 c | 27682 | 246029 1358671 4460158 | 1 13752 12 | 1.911 % | 68.91/76.33 c | 27895 | 246029 1358655 4460099 | 1 13965 14 | 1.911 % | 68.91/76.33 c | 31484 | 246026 1358638 4460042 | 1 17551 13 | 1.912 % | 68.91/76.33 c | 31996 | 246025 1358638 4460042 | 1 18062 15 | 1.912 % | 68.91/76.33 c | 33375 | 237726 1358638 4460042 | 1 19440 15 | 5.221 % | 68.91/76.33 c | 33475 | 237726 1316065 4309228 | 1 18995 16 | 5.221 % | 68.91/76.33 c | 33975 | 237726 1316065 4309228 | 1 19495 16 | 5.221 % | 68.91/76.33 c | 34574 | 237725 1316065 4309228 | 1 20093 17 | 5.221 % | 68.91/76.33 c | 34728 | 237724 1316065 4309228 | 1 20246 18 | 5.222 % | 68.91/76.33 c | 35495 | 237724 1316065 4309228 | 1 21013 18 | 5.222 % | 68.91/76.33 c | 35595 | 237639 1316037 4309126 | 1 21112 18 | 5.256 % | 68.91/76.33 c | 35696 | 237639 1316037 4309126 | 1 21213 20 | 5.256 % | 68.91/76.33 c | 35803 | 237639 1316037 4309126 | 1 21320 20 | 5.256 % | 68.91/76.33 c | 37273 | 237637 1316037 4309126 | 1 22788 20 | 5.256 % | 68.91/76.33 c | 37377 | 237637 1315668 4307815 | 1 22888 20 | 5.256 % | 68.91/76.33 c | 37994 | 237637 1315668 4307815 | 1 23505 21 | 5.256 % | 68.91/76.33 c | 38094 | 237637 1315668 4307815 | 1 23605 21 | 5.256 % | 68.91/76.33 c | 39531 | 237633 1315628 4307683 | 1 25038 23 | 5.258 % | 68.91/76.33 c | 39631 | 237633 1315628 4307683 | 1 25138 23 | 5.258 % | 68.91/76.33 c | 39845 | 237633 1315628 4307683 | 1 25352 23 | 5.258 % | 68.91/76.33 c | 40360 | 237628 1315628 4307683 | 1 25862 24 | 5.260 % | 68.91/76.33 c | 40653 | 237626 1315585 4307548 | 1 26149 24 | 5.261 % | 68.91/76.33 c | 40754 | 237626 1315585 4307548 | 1 26250 25 | 5.261 % | 68.91/76.33 c | 40854 | 237626 1315585 4307548 | 1 26350 25 | 5.261 % | 68.91/76.33 c | 40992 | 237626 1315585 4307548 | 1 26488 25 | 5.261 % | 68.91/76.33 c | 41095 | 237626 1315585 4307548 | 1 26591 25 | 5.261 % | 68.91/76.33 c | 41198 | 237626 1315585 4307548 | 1 26694 26 | 5.261 % | 68.91/76.33 c | 41662 | 237626 1315585 4307548 | 1 27158 26 | 5.261 % | 68.91/76.33 c | 42637 | 237626 1315568 4307493 | 1 28131 26 | 5.261 % | 68.91/76.33 c | 43051 | 237625 1315568 4307493 | 1 28544 26 | 5.261 % | 68.91/76.33 c | 43153 | 237625 1315568 4307493 | 1 28646 26 | 5.261 % | 68.91/76.33 c | 43254 | 237625 1315568 4307493 | 1 28747 26 | 5.261 % | 68.91/76.33 c | 43377 | 237625 1315568 4307493 | 1 28870 26 | 5.261 % | 68.91/76.33 c | 44225 | 237625 1315568 4307493 | 1 19306 13 | 5.261 % | 68.91/76.33 c | 44400 | 237625 1315556 4307451 | 1 19481 14 | 5.261 % | 68.91/76.33 c | 44500 | 237625 1315556 4307451 | 1 19581 14 | 5.261 % | 68.91/76.33 c | 44622 | 237625 1315556 4307451 | 1 19703 14 | 5.261 % | 68.91/76.33 c | 45206 | 237625 1315556 4307451 | 1 20287 16 | 5.261 % | 68.91/76.33 c | 45393 | 237625 1315556 4307451 | 1 20474 16 | 5.261 % | 68.91/76.33 c | 45508 | 237625 1315556 4307451 | 1 20589 17 | 5.261 % | 68.91/76.33 c | 45608 | 237625 1315556 4307451 | 1 20689 17 | 5.261 % | 68.91/76.33 c | 45710 | 237625 1315556 4307451 | 1 20791 18 | 5.261 % | 68.91/76.33 c | 46637 | 237623 1315550 4307433 | 1 21716 18 | 5.262 % | 68.91/76.33 c | 47098 | 237622 1315550 4307433 | 1 22176 19 | 5.262 % | 68.91/76.33 c | 47686 | 237619 1315538 4307397 | 1 22763 20 | 5.264 % | 68.91/76.33 c | 48077 | 237619 1315538 4307397 | 1 23154 20 | 5.264 % | 88.51/95.99 c | 48728 | 237618 1315498 4307214 | 1 23801 22 | 5.264 % | 88.51/95.99 c | 48829 | 237618 1315498 4307214 | 1 23902 22 | 5.264 % | 88.51/95.99 c | 48933 | 237618 1315498 4307214 | 1 24006 23 | 5.264 % | 88.51/95.99 c | 49034 | 237618 1315498 4307214 | 1 24107 23 | 5.264 % | 88.51/95.99 c | 49134 | 237618 1315498 4307214 | 1 24207 23 | 5.264 % | 88.51/95.99 c | 50164 | 237618 1315498 4307214 | 1 25237 25 | 5.264 % | 88.51/95.99 c | 50264 | 237618 1315498 4307214 | 1 25337 26 | 5.264 % | 88.51/95.99 c | 50364 | 237618 1315498 4307214 | 1 25437 26 | 5.264 % | 88.51/95.99 c | 50823 | 237618 1315498 4307214 | 1 25896 29 | 5.264 % | 88.51/95.99 c | 51126 | 237618 1315498 4307214 | 1 26199 29 | 5.264 % | 88.51/95.99 c | 54099 | 237616 1315492 4307196 | 1 29169 29 | 5.265 % | 88.51/95.99 c | 54199 | 237616 1315492 4307196 | 1 29269 29 | 5.265 % | 88.51/95.99 c | 54382 | 237616 1315492 4307196 | 1 29452 29 | 5.265 % | 88.51/95.99 c | 55026 | 237616 1315492 4307196 | 1 30096 30 | 5.265 % | 88.51/95.99 c | 55126 | 237616 1315476 4307137 | 1 30196 30 | 5.265 % | 88.51/95.99 c | 55260 | 237615 1315476 4307137 | 1 30329 30 | 5.265 % | 88.51/95.99 c | 55494 | 237615 1315476 4307137 | 1 30563 31 | 5.265 % | 88.51/95.99 c | 55845 | 237615 1315476 4307137 | 1 30914 31 | 5.265 % | 88.51/95.99 c | 57223 | 237613 1315476 4307137 | 1 32290 30 | 5.266 % | 88.51/95.99 c | 57794 | 237613 1315446 4307039 | 1 32860 30 | 5.266 % | 88.51/95.99 c | 57895 | 237613 1315446 4307039 | 1 32961 30 | 5.266 % | 88.51/95.99 c | 57999 | 237613 1315446 4307039 | 1 33065 30 | 5.266 % | 88.51/95.99 c | 58148 | 237613 1315446 4307039 | 1 33214 31 | 5.266 % | 88.51/95.99 c | 58248 | 237613 1315446 4307039 | 1 33314 31 | 5.266 % | 88.51/95.99 c | 58442 | 237613 1315446 4307039 | 1 33508 31 | 5.266 % | 88.51/95.99 c | 59265 | 237613 1315446 4307039 | 1 34331 31 | 5.266 % | 88.51/95.99 c | 59502 | 237612 1315446 4307039 | 1 34567 31 | 5.266 % | 88.51/95.99 c | 59935 | 237612 1315446 4307039 | 1 35000 32 | 5.266 % | 88.51/95.99 c | 60035 | 237612 1315440 4307021 | 1 35100 32 | 5.266 % | 88.51/95.99 c | 60135 | 237612 1315440 4307021 | 1 35200 32 | 5.266 % | 88.51/95.99 c | 60505 | 237612 1315440 4307021 | 1 35570 32 | 5.266 % | 88.51/95.99 c | 60638 | 237612 1315440 4307021 | 1 35703 32 | 5.266 % | 88.51/95.99 c | 60804 | 237612 1315440 4307021 | 1 35869 32 | 5.266 % | 88.51/95.99 c | 60950 | 237612 1315440 4307021 | 1 36015 32 | 5.266 % | 88.51/95.99 c | 61050 | 237612 1315440 4307021 | 1 36115 32 | 5.266 % | 88.51/95.99 c | 61232 | 237612 1315440 4307021 | 1 36297 32 | 5.266 % | 88.51/95.99 c | 61663 | 237612 1315440 4307021 | 1 36728 32 | 5.266 % | 88.51/95.99 c | 61765 | 237612 1315440 4307021 | 1 36830 33 | 5.266 % | 88.51/95.99 c | 61866 | 237612 1315440 4307021 | 1 36931 33 | 5.266 % | 88.51/95.99 c | 61967 | 237612 1315440 4307021 | 1 37032 33 | 5.266 % | 88.51/95.99 c | 62219 | 237612 1315440 4307021 | 1 37284 33 | 5.266 % | 88.51/95.99 c | 62464 | 237612 1315440 4307021 | 1 37529 33 | 5.266 % | 88.51/95.99 c | 62565 | 237612 1315440 4307021 | 1 37630 33 | 5.266 % | 88.51/95.99 c | 62668 | 237612 1315440 4307021 | 1 37733 33 | 5.266 % | 88.51/95.99 c | 63020 | 237612 1315440 4307021 | 1 38085 33 | 5.266 % | 88.51/95.99 c | 64022 | 237610 1315428 4306981 | 1 39085 33 | 5.267 % | 88.51/95.99 c | 64162 | 237609 1315428 4306981 | 1 39224 33 | 5.268 % | 88.51/95.99 c | 64262 | 237609 1315428 4306981 | 1 39324 33 | 5.268 % | 88.51/95.99 c | 64603 | 237591 1315428 4306981 | 1 39664 33 | 5.275 % | 88.51/95.99 c | 64704 | 237591 1315428 4306981 | 1 39765 34 | 5.275 % | 119.11/126.56 c | 65482 | 237591 1315344 4306679 | 1 40542 34 | 5.275 % | 119.11/126.56 c | 67632 | 237588 1315332 4306639 | 1 28792 17 | 5.276 % | 119.11/126.56 c | 67875 | 237588 1315332 4306639 | 1 29035 18 | 5.276 % | 119.11/126.56 c | 67976 | 237588 1315332 4306639 | 1 29136 18 | 5.276 % | 119.11/126.56 c | 71385 | 237588 1315308 4306559 | 1 32545 18 | 5.276 % | 119.11/126.56 c | 72856 | 237588 1315308 4306559 | 1 34016 19 | 5.276 % | 119.11/126.56 c | 72959 | 237588 1315308 4306559 | 1 34119 19 | 5.276 % | 119.11/126.56 c | 73368 | 237587 1315296 4306522 | 1 34527 20 | 5.276 % | 119.11/126.56 c | 73468 | 237587 1315296 4306522 | 1 34627 20 | 5.276 % | 119.11/126.56 c | 76853 | 237585 1315296 4306522 | 1 38010 20 | 5.277 % | 119.11/126.56 c | 77941 | 237584 1315284 4306486 | 1 39094 20 | 5.277 % | 119.11/126.56 c | 78078 | 237584 1315284 4306486 | 1 39231 21 | 5.277 % | 119.11/126.56 c | 78181 | 237584 1315284 4306486 | 1 39334 21 | 5.277 % | 119.11/126.56 c | 78382 | 237583 1315284 4306486 | 1 39534 21 | 5.278 % | 119.11/126.56 c | 80011 | 237583 1315284 4306486 | 1 41163 21 | 5.278 % | 119.11/126.56 c | 80211 | 237583 1315266 4306422 | 1 41362 22 | 5.278 % | 119.11/126.56 c | 80650 | 237583 1315266 4306422 | 1 41801 22 | 5.278 % | 119.11/126.56 c | 81243 | 237583 1315266 4306422 | 1 42394 23 | 5.278 % | 119.11/126.56 c | 81344 | 237583 1315266 4306422 | 1 42495 23 | 5.278 % | 119.11/126.56 c | 81444 | 237583 1315266 4306422 | 1 42595 23 | 5.278 % | 119.11/126.56 c | 82287 | 237582 1315260 4306404 | 1 43437 25 | 5.278 % | 119.11/126.56 c | 82389 | 237582 1315260 4306404 | 1 43539 25 | 5.278 % | 119.11/126.56 c | 82489 | 237582 1315260 4306404 | 1 43639 25 | 5.278 % | 119.11/126.56 c | 83075 | 237582 1315260 4306404 | 1 44225 25 | 5.278 % | 119.11/126.56 c | 83175 | 237582 1315260 4306404 | 1 44325 25 | 5.278 % | 119.11/126.56 c | 83574 | 237582 1315260 4306404 | 1 44724 26 | 5.278 % | 119.11/126.56 c | 86331 | 237581 1315254 4306386 | 1 47480 27 | 5.279 % | 119.11/126.56 c | 87881 | 237581 1315254 4306386 | 1 49030 27 | 5.279 % | 119.11/126.56 c | 88198 | 237581 1315254 4306386 | 1 49347 27 | 5.279 % | 119.11/126.56 c | 88440 | 237581 1315254 4306386 | 1 49589 27 | 5.279 % | 119.11/126.56 c | 88540 | 237581 1315254 4306386 | 1 49689 27 | 5.279 % | 119.11/126.56 c | 88640 | 237580 1315254 4306386 | 1 49788 27 | 5.279 % | 119.11/126.56 c | 88740 | 237580 1315250 4306374 | 1 49888 28 | 5.279 % | 119.11/126.56 c | 89039 | 237580 1315250 4306374 | 1 50187 28 | 5.279 % | 119.11/126.56 c | 89835 | 237580 1315250 4306374 | 1 50983 28 | 5.279 % | 119.11/126.56 c | 94329 | 237578 1315238 4306331 | 1 37379 14 | 5.280 % | 119.11/126.56 c | 94697 | 237578 1315238 4306331 | 1 37747 14 | 5.280 % | 119.11/126.56 c | 94797 | 237578 1315238 4306331 | 1 37847 14 | 5.280 % | 119.11/126.56 c | 95509 | 237578 1315238 4306331 | 1 38559 15 | 5.280 % | 119.11/126.56 c | 97164 | 237578 1315224 4306271 | 1 40214 16 | 5.280 % | 119.11/126.56 c | 97516 | 237578 1315224 4306271 | 1 40566 16 | 5.280 % | 119.11/126.56 c | 97847 | 237578 1315224 4306271 | 1 40897 16 | 5.280 % | 119.11/126.56 c | 98727 | 237577 1315218 4306253 | 1 41776 16 | 5.280 % | 119.11/126.56 c | 100831 | 237577 1315218 4306253 | 1 43880 17 | 5.280 % | 119.11/126.56 c | 100986 | 237577 1315218 4306253 | 1 44035 18 | 5.280 % | 119.11/126.56 c | 101086 | 237577 1315218 4306253 | 1 44135 18 | 5.280 % | 119.11/126.56 c | 101254 | 237577 1315218 4306253 | 1 44303 18 | 5.280 % | 119.11/126.56 c | 101473 | 237577 1315218 4306253 | 1 44522 18 | 5.280 % | 119.11/126.56 c | 101798 | 237577 1315218 4306253 | 1 44847 18 | 5.280 % | 119.11/126.56 c | 102069 | 237577 1315218 4306253 | 1 45118 19 | 5.280 % | 150.02/157.48 c | 102535 | 237577 1315218 4306253 | 1 45584 19 | 5.280 % | 150.02/157.48 c | 104234 | 237576 1315205 4306206 | 1 47282 19 | 5.281 % | 150.02/157.48 c | 104335 | 237576 1315205 4306206 | 1 47383 19 | 5.281 % | 150.02/157.48 c | 104981 | 237576 1315205 4306206 | 1 48029 19 | 5.281 % | 150.02/157.48 c | 105261 | 237576 1315205 4306206 | 1 48309 19 | 5.281 % | 150.02/157.48 c | 105886 | 237576 1315205 4306206 | 1 48934 20 | 5.281 % | 150.02/157.48 c | 106287 | 237576 1315205 4306206 | 1 49335 21 | 5.281 % | 150.02/157.48 c | 106573 | 237575 1315199 4306188 | 1 49620 21 | 5.281 % | 150.02/157.48 c | 106689 | 237575 1315199 4306188 | 1 49736 21 | 5.281 % | 150.02/157.48 c | 107895 | 237575 1315199 4306188 | 1 50942 21 | 5.281 % | 150.02/157.48 c | 108308 | 237575 1315199 4306188 | 1 51355 21 | 5.281 % | 150.02/157.48 c | 108616 | 237575 1315199 4306188 | 1 51663 22 | 5.281 % | 150.02/157.48 c | 108826 | 237575 1315199 4306188 | 1 51873 22 | 5.281 % | 150.02/157.48 c | 108955 | 237575 1315199 4306188 | 1 52002 22 | 5.281 % | 150.02/157.48 c | 109100 | 237575 1315199 4306188 | 1 52147 22 | 5.281 % | 150.02/157.48 c | 109202 | 237575 1315199 4306188 | 1 52249 22 | 5.281 % | 150.02/157.48 c | 109373 | 237575 1315199 4306188 | 1 52420 23 | 5.281 % | 150.02/157.48 c | 110689 | 237574 1315193 4306170 | 1 53735 25 | 5.281 % | 150.02/157.48 c | 110790 | 237574 1315193 4306170 | 1 53836 25 | 5.281 % | 150.02/157.48 c | 111542 | 237574 1315193 4306170 | 1 54588 25 | 5.281 % | 150.02/157.48 c | 111990 | 237574 1315193 4306170 | 1 55036 25 | 5.281 % | 150.02/157.48 c | 112451 | 237574 1315193 4306170 | 1 55497 26 | 5.281 % | 150.02/157.48 c | 112554 | 237574 1315193 4306170 | 1 55600 26 | 5.281 % | 150.02/157.48 c | 112780 | 237573 1315180 4306116 | 1 55825 26 | 5.282 % | 150.02/157.48 c | 112973 | 237573 1315180 4306116 | 1 56018 26 | 5.282 % | 150.02/157.48 c | 114365 | 237573 1315180 4306116 | 1 57410 27 | 5.282 % | 150.02/157.48 c | 114784 | 237573 1315180 4306116 | 1 57829 27 | 5.282 % | 150.02/157.48 c | 115409 | 237573 1315180 4306116 | 1 58454 27 | 5.282 % | 150.02/157.48 c | 115509 | 237573 1315180 4306116 | 1 58554 27 | 5.282 % | 150.02/157.48 c | 116012 | 237572 1315166 4306064 | 1 59056 28 | 5.282 % | 150.02/157.48 c | 116478 | 237572 1315166 4306064 | 1 59522 27 | 5.282 % | 150.02/157.48 c | 116901 | 237572 1315166 4306064 | 1 59945 28 | 5.282 % | 150.02/157.48 c | 117599 | 237572 1315166 4306064 | 1 60643 28 | 5.282 % | 150.02/157.48 c | 118005 | 237572 1315166 4306064 | 1 61049 28 | 5.282 % | 150.02/157.48 c | 118364 | 237572 1315166 4306064 | 1 61408 28 | 5.282 % | 150.02/157.48 c | 118651 | 237572 1315166 4306064 | 1 61695 28 | 5.282 % | 150.02/157.48 c | 118825 | 237572 1315166 4306064 | 1 61869 28 | 5.282 % | 150.02/157.48 c | 119091 | 237572 1315166 4306064 | 1 62135 29 | 5.282 % | 150.02/157.48 c | 119191 | 237572 1315166 4306064 | 1 62235 29 | 5.282 % | 150.02/157.48 c | 119291 | 237572 1315166 4306064 | 1 62335 29 | 5.282 % | 150.02/157.48 c | 119392 | 237572 1315166 4306064 | 1 62436 29 | 5.282 % | 150.02/157.48 c | 120452 | 237571 1315153 4306019 | 1 63495 29 | 5.283 % | 150.02/157.48 c | 120552 | 237571 1315153 4306019 | 1 63595 30 | 5.283 % | 150.02/157.48 c | 121014 | 237571 1315153 4306019 | 1 64057 30 | 5.283 % | 150.02/157.48 c | 121114 | 237571 1315153 4306019 | 1 64157 30 | 5.283 % | 150.02/157.48 c | 121833 | 237571 1315153 4306019 | 1 64876 30 | 5.283 % | 150.02/157.48 c | 122695 | 237571 1315153 4306019 | 1 65738 30 | 5.283 % | 150.02/157.48 c | 122857 | 237571 1315153 4306019 | 1 65900 30 | 5.283 % | 150.02/157.48 c | 127001 | 237571 1315153 4306019 | 1 47990 18 | 5.283 % | 150.02/157.48 c | 131491 | 237570 1315147 4306001 | 1 52479 20 | 5.283 % | 183.11/190.53 c | 132061 | 237570 1315147 4306001 | 1 53049 20 | 5.283 % | 183.11/190.53 c | 132162 | 237570 1315147 4306001 | 1 53150 20 | 5.283 % | 183.11/190.53 c | 132262 | 237570 1315147 4306001 | 1 53250 20 | 5.283 % | 183.11/190.53 c | 135749 | 237570 1315147 4306001 | 1 56737 21 | 5.283 % | 183.11/190.53 c | 135849 | 237570 1315147 4306001 | 1 56837 21 | 5.283 % | 183.11/190.53 c | 136445 | 237569 1315141 4305983 | 1 57432 21 | 5.283 % | 183.11/190.53 c | 136567 | 237569 1315141 4305983 | 1 57554 21 | 5.283 % | 183.11/190.53 c | 136723 | 237569 1315141 4305983 | 1 57710 22 | 5.283 % | 183.11/190.53 c | 136823 | 237569 1315141 4305983 | 1 57810 22 | 5.283 % | 183.11/190.53 c | 137592 | 237568 1315141 4305983 | 1 58578 22 | 5.284 % | 183.11/190.53 c | 138126 | 237568 1315141 4305983 | 1 59112 23 | 5.284 % | 183.11/190.53 c | 138611 | 237568 1315128 4305937 | 1 59597 23 | 5.284 % | 183.11/190.53 c | 138712 | 237568 1315128 4305937 | 1 59698 23 | 5.284 % | 183.11/190.53 c | 138815 | 237568 1315128 4305937 | 1 59801 23 | 5.284 % | 183.11/190.53 c | 139811 | 237566 1315124 4305925 | 1 60794 24 | 5.285 % | 183.11/190.53 c | 139911 | 237566 1315124 4305925 | 1 60894 24 | 5.285 % | 183.11/190.53 c | 140013 | 237566 1315124 4305925 | 1 60996 25 | 5.285 % | 183.11/190.53 c | 140491 | 237566 1315124 4305925 | 1 61474 25 | 5.285 % | 183.11/190.53 c | 142708 | 237566 1315124 4305925 | 1 63691 25 | 5.285 % | 183.11/190.53 c | 142981 | 237566 1315124 4305925 | 1 63961 25 | 5.285 % | 183.11/190.53 c | 143095 | 237566 1315124 4305925 | 1 64075 25 | 5.285 % | 183.11/190.53 c | 143195 | 237566 1315124 4305925 | 1 64175 25 | 5.285 % | 183.11/190.53 c | 143502 | 237566 1315124 4305925 | 1 64482 26 | 5.285 % | 183.11/190.53 c | 145376 | 237565 1315124 4305925 | 1 66355 26 | 5.285 % | 183.11/190.53 c | 145637 | 237565 1315118 4305907 | 1 66615 26 | 5.285 % | 183.11/190.53 c | 145737 | 237564 1315118 4305907 | 1 66714 26 | 5.285 % | 183.11/190.53 c | 145839 | 237564 1315118 4305907 | 1 66816 26 | 5.285 % | 183.11/190.53 c | 146580 | 237564 1315118 4305907 | 1 67557 26 | 5.285 % | 183.11/190.53 c | 147298 | 237563 1315118 4305907 | 1 68274 26 | 5.286 % | 183.11/190.53 c | 150019 | 237563 1315118 4305907 | 1 70995 27 | 5.286 % | 183.11/190.53 c | 150346 | 237563 1315100 4305850 | 1 71319 27 | 5.286 % | 183.11/190.53 c | 154684 | 237562 1315088 4305810 | 1 75656 28 | 5.286 % | 183.11/190.53 c | 154920 | 237561 1315088 4305810 | 1 75891 28 | 5.287 % | 183.11/190.53 c | 155036 | 237561 1315088 4305810 | 1 76007 28 | 5.287 % | 183.11/190.53 c | 155927 | 237561 1315088 4305810 | 1 76898 28 | 5.287 % | 183.11/190.53 c | 156290 | 237561 1315088 4305810 | 1 77261 28 | 5.287 % | 183.11/190.53 c | 156825 | 237561 1315088 4305810 | 1 77796 29 | 5.287 % | 183.11/190.53 c | 156928 | 237561 1315078 4305778 | 1 77899 29 | 5.287 % | 183.11/190.53 c | 157029 | 237561 1315078 4305778 | 1 78000 29 | 5.287 % | 183.11/190.53 c | 157185 | 237561 1315078 4305778 | 1 78156 29 | 5.287 % | 183.11/190.53 c | 157298 | 237561 1315078 4305778 | 1 78269 29 | 5.287 % | 183.11/190.53 c | 157398 | 237561 1315078 4305778 | 1 78369 29 | 5.287 % | 183.11/190.53 c | 159457 | 237561 1315078 4305778 | 1 80428 29 | 5.287 % | 183.11/190.53 c | 159568 | 237561 1315078 4305778 | 1 80539 30 | 5.287 % | 183.11/190.53 c | 160571 | 237561 1315078 4305778 | 1 81542 30 | 5.287 % | 183.11/190.53 c | 160820 | 237561 1315078 4305778 | 1 55883 15 | 5.287 % | 183.11/190.53 c | 160982 | 237561 1315078 4305778 | 1 56045 16 | 5.287 % | 183.11/190.53 c | 162155 | 237561 1315078 4305778 | 1 57218 16 | 5.287 % | 183.11/190.53 c | 164191 | 237561 1315078 4305778 | 1 59254 16 | 5.287 % | 183.11/190.53 c | 164291 | 237561 1315078 4305778 | 1 59354 16 | 5.287 % | 210.41/217.87 c | 165773 | 237561 1315078 4305778 | 1 60836 17 | 5.287 % | 210.41/217.87 c | 165873 | 237561 1315078 4305778 | 1 60936 17 | 5.287 % | 210.41/217.87 c | 167079 | 237561 1315078 4305778 | 1 62142 17 | 5.287 % | 210.41/217.87 c | 168763 | 237561 1315078 4305778 | 1 63826 18 | 5.287 % | 210.41/217.87 c | 169225 | 237561 1315078 4305778 | 1 64288 18 | 5.287 % | 210.41/217.87 c | 169871 | 237561 1315078 4305778 | 1 64934 18 | 5.287 % | 210.41/217.87 c | 169974 | 237561 1315078 4305778 | 1 65037 18 | 5.287 % | 210.41/217.87 c | 170309 | 237561 1315078 4305778 | 1 65372 18 | 5.287 % | 210.41/217.87 c | 170898 | 237561 1315078 4305778 | 1 65961 18 | 5.287 % | 210.41/217.87 c | 171000 | 237561 1315078 4305778 | 1 66063 19 | 5.287 % | 210.41/217.87 c | 171101 | 237561 1315078 4305778 | 1 66164 19 | 5.287 % | 210.41/217.87 c | 173945 | 237561 1315078 4305778 | 1 69008 19 | 5.287 % | 210.41/217.87 c | 174509 | 237561 1315078 4305778 | 1 69572 20 | 5.287 % | 210.41/217.87 c | 174647 | 237560 1315067 4305737 | 1 69709 20 | 5.287 % | 210.41/217.87 c | 174748 | 237560 1315067 4305737 | 1 69810 20 | 5.287 % | 210.41/217.87 c | 175082 | 237560 1315067 4305737 | 1 70144 21 | 5.287 % | 210.41/217.87 c | 175182 | 237560 1315067 4305737 | 1 70244 21 | 5.287 % | 210.41/217.87 c | 175283 | 237560 1315067 4305737 | 1 70345 21 | 5.287 % | 210.41/217.87 c | 175448 | 237560 1315067 4305737 | 1 70510 21 | 5.287 % | 210.41/217.87 c | 175549 | 237411 1315067 4305737 | 1 70607 21 | 5.346 % | 210.41/217.87 c | 175735 | 237411 1315067 4305737 | 1 70793 22 | 5.346 % | 210.41/217.87 c | 177269 | 237411 1315067 4305737 | 1 72327 22 | 5.346 % | 210.41/217.87 c | 178119 | 237411 1313819 4300321 | 1 73099 23 | 5.346 % | 210.41/217.87 c | 178220 | 237411 1313819 4300321 | 1 73200 24 | 5.346 % | 210.41/217.87 c | 178763 | 237411 1313819 4300321 | 1 73743 25 | 5.346 % | 210.41/217.87 c | 178863 | 237411 1313819 4300321 | 1 73843 25 | 5.346 % | 210.41/217.87 c | 178965 | 237411 1313819 4300321 | 1 73945 25 | 5.346 % | 210.41/217.87 c | 179175 | 237411 1313819 4300321 | 1 74155 25 | 5.346 % | 210.41/217.87 c | 179558 | 237411 1313819 4300321 | 1 74538 25 | 5.346 % | 210.41/217.87 c | 180011 | 237411 1313819 4300321 | 1 74991 26 | 5.346 % | 210.41/217.87 c | 180111 | 237411 1313819 4300321 | 1 75091 26 | 5.346 % | 210.41/217.87 c | 180613 | 237411 1313819 4300321 | 1 75593 27 | 5.346 % | 210.41/217.87 c | 180715 | 237411 1313819 4300321 | 1 75695 27 | 5.346 % | 210.41/217.87 c | 180816 | 237411 1313819 4300321 | 1 75796 27 | 5.346 % | 210.41/217.87 c | 180916 | 237411 1313819 4300321 | 1 75896 27 | 5.346 % | 210.41/217.87 c | 184861 | 237411 1313819 4300321 | 1 79841 28 | 5.346 % | 210.41/217.87 c | 184961 | 237411 1313819 4300321 | 1 79941 28 | 5.346 % | 210.41/217.87 c | 186979 | 237411 1313819 4300321 | 1 81959 28 | 5.346 % | 210.41/217.87 c | 189206 | 237411 1313819 4300321 | 1 84186 28 | 5.346 % | 210.41/217.87 c | 190598 | 237411 1313819 4300321 | 1 85578 29 | 5.346 % | 210.41/217.87 c | 192458 | 237411 1313819 4300321 | 1 87438 29 | 5.346 % | 210.41/217.87 c | 192558 | 237411 1313819 4300321 | 1 87538 30 | 5.346 % | 210.41/217.87 c | 193877 | 237411 1313819 4300321 | 1 88857 30 | 5.346 % | 210.41/217.87 c | 194372 | 237411 1313819 4300321 | 1 89352 30 | 5.346 % | 210.41/217.87 c | 194840 | 237411 1313819 4300321 | 1 89820 30 | 5.346 % | 210.41/217.87 c | 195109 | 237411 1313819 4300321 | 1 90089 30 | 5.346 % | 210.41/217.87 c | 195209 | 237411 1313819 4300321 | 1 90189 30 | 5.346 % | 210.41/217.87 c | 195669 | 237411 1313819 4300321 | 1 90649 31 | 5.346 % | 210.41/217.87 c | 195786 | 237411 1313819 4300321 | 1 90766 31 | 5.346 % | 241.50/248.99 c | 196771 | 237411 1313819 4300321 | 1 91751 32 | 5.346 % | 241.50/248.99 c | 196872 | 237411 1313819 4300321 | 1 91852 32 | 5.346 % | 241.50/248.99 c | 196972 | 237411 1313819 4300321 | 1 91952 32 | 5.346 % | 241.50/248.99 c | 197173 | 237411 1313819 4300321 | 1 92153 32 | 5.346 % | 241.50/248.99 c | 197274 | 237411 1313819 4300321 | 1 92254 32 | 5.346 % | 241.50/248.99 c | 197376 | 237411 1313819 4300321 | 1 92356 32 | 5.346 % | 241.50/248.99 c | 198881 | 237411 1313819 4300321 | 1 93861 32 | 5.346 % | 241.50/248.99 c | 200847 | 237411 1313819 4300321 | 1 95827 32 | 5.346 % | 241.50/248.99 c | 200950 | 237411 1313819 4300321 | 1 95930 32 | 5.346 % | 241.50/248.99 c | 201565 | 237411 1313819 4300321 | 1 96545 33 | 5.346 % | 241.50/248.99 c | 201665 | 237411 1313819 4300321 | 1 67056 17 | 5.346 % | 241.50/248.99 c | 201766 | 237411 1313819 4300321 | 1 67157 17 | 5.346 % | 241.50/248.99 c | 201866 | 237411 1313819 4300321 | 1 67257 17 | 5.346 % | 241.50/248.99 c | 202505 | 237411 1313819 4300321 | 1 67896 18 | 5.346 % | 241.50/248.99 c | 202916 | 237411 1313819 4300321 | 1 68307 18 | 5.346 % | 241.50/248.99 c | 203351 | 237409 1313807 4300279 | 1 68740 18 | 5.347 % | 241.50/248.99 c | 208720 | 237408 1313795 4300243 | 1 74108 20 | 5.348 % | 241.50/248.99 c | 208868 | 237408 1313795 4300243 | 1 74256 20 | 5.348 % | 241.50/248.99 c | 209298 | 237408 1313795 4300243 | 1 74686 20 | 5.348 % | 241.50/248.99 c | 210907 | 237407 1313782 4300197 | 1 76294 20 | 5.348 % | 241.50/248.99 c | 211008 | 237407 1313782 4300197 | 1 76395 21 | 5.348 % | 241.50/248.99 c | 212296 | 237407 1313782 4300197 | 1 77683 21 | 5.348 % | 241.50/248.99 c | 215045 | 237406 1313776 4300179 | 1 80431 22 | 5.348 % | 241.50/248.99 c | 215293 | 237406 1313776 4300179 | 1 80679 22 | 5.348 % | 241.50/248.99 c | 215393 | 237406 1313776 4300179 | 1 80779 22 | 5.348 % | 241.50/248.99 c | 215603 | 237406 1313776 4300179 | 1 80989 22 | 5.348 % | 241.50/248.99 c | 216023 | 237406 1313776 4300179 | 1 81409 22 | 5.348 % | 241.50/248.99 c | 216764 | 237405 1313770 4300161 | 1 82149 23 | 5.349 % | 241.50/248.99 c | 217954 | 237405 1313770 4300161 | 1 83339 23 | 5.349 % | 241.50/248.99 c | 220586 | 237405 1313770 4300161 | 1 85971 24 | 5.349 % | 241.50/248.99 c | 220978 | 237405 1313770 4300161 | 1 86363 24 | 5.349 % | 241.50/248.99 c | 221254 | 237405 1313770 4300161 | 1 86639 24 | 5.349 % | 241.50/248.99 c | 221354 | 237405 1313770 4300161 | 1 86739 24 | 5.349 % | 241.50/248.99 c | 221454 | 237405 1313770 4300161 | 1 86839 24 | 5.349 % | 241.50/248.99 c | 222783 | 237405 1313770 4300161 | 1 88168 25 | 5.349 % | 241.50/248.99 c | 223504 | 237404 1313764 4300143 | 1 88888 25 | 5.349 % | 241.50/248.99 c | 223607 | 237404 1313764 4300143 | 1 88991 25 | 5.349 % | 241.50/248.99 c | 223708 | 237404 1313764 4300143 | 1 89092 25 | 5.349 % | 241.50/248.99 c | 223809 | 237404 1313764 4300143 | 1 89193 25 | 5.349 % | 241.50/248.99 c | 224037 | 237404 1313764 4300143 | 1 89421 25 | 5.349 % | 241.50/248.99 c | 224138 | 237404 1313764 4300143 | 1 89522 25 | 5.349 % | 241.50/248.99 c | 225136 | 237404 1313764 4300143 | 1 90520 26 | 5.349 % | 241.50/248.99 c | 225502 | 237404 1313764 4300143 | 1 90886 26 | 5.349 % | 241.50/248.99 c | 226595 | 237404 1313764 4300143 | 1 91979 27 | 5.349 % | 241.50/248.99 c | 227044 | 237404 1313764 4300143 | 1 92428 28 | 5.349 % | 241.50/248.99 c | 227144 | 237404 1313764 4300143 | 1 92528 28 | 5.349 % | 241.50/248.99 c | 227874 | 237404 1313764 4300143 | 1 93258 28 | 5.349 % | 241.50/248.99 c | 227974 | 237404 1313764 4300143 | 1 93358 28 | 5.349 % | 241.50/248.99 c | 228272 | 237404 1313764 4300143 | 1 93656 28 | 5.349 % | 241.50/248.99 c | 228791 | 237404 1313764 4300143 | 1 94175 28 | 5.349 % | 274.60/282.00 c | 228937 | 237404 1313764 4300143 | 1 94321 28 | 5.349 % | 274.60/282.00 c | 231574 | 237404 1313764 4300143 | 1 96958 29 | 5.349 % | 274.60/282.00 c | 231674 | 237404 1313764 4300143 | 1 97058 29 | 5.349 % | 274.60/282.00 c | 235317 | 237404 1313764 4300143 | 1 100701 29 | 5.349 % | 274.60/282.00 c | 235440 | 237404 1313764 4300143 | 1 100824 29 | 5.349 % | 274.60/282.00 c | 235762 | 237404 1313764 4300143 | 1 101146 30 | 5.349 % | 274.60/282.00 c | 235899 | 237404 1313764 4300143 | 1 101283 30 | 5.349 % | 274.60/282.00 c | 236365 | 237403 1313758 4300125 | 1 101747 30 | 5.350 % | 274.60/282.00 c | 236544 | 237403 1313758 4300125 | 1 101926 30 | 5.350 % | 274.60/282.00 c | 236645 | 237403 1313758 4300125 | 1 102027 30 | 5.350 % | 274.60/282.00 c | 236760 | 237403 1313758 4300125 | 1 102142 30 | 5.350 % | 274.60/282.00 c | 236887 | 237403 1313758 4300125 | 1 102269 30 | 5.350 % | 274.60/282.00 c | 236987 | 237403 1313758 4300125 | 1 102369 31 | 5.350 % | 274.60/282.00 c | 238616 | 237403 1313758 4300125 | 1 103998 31 | 5.350 % | 274.60/282.00 c | 238806 | 237403 1313758 4300125 | 1 104188 31 | 5.350 % | 274.60/282.00 c | 238923 | 237403 1313758 4300125 | 1 104305 31 | 5.350 % | 274.60/282.00 c | 239913 | 237403 1313758 4300125 | 1 105295 31 | 5.350 % | 274.60/282.00 c | 240945 | 237403 1313758 4300125 | 1 106327 32 | 5.350 % | 274.60/282.00 c | 241046 | 237403 1313758 4300125 | 1 106428 32 | 5.350 % | 274.60/282.00 c | 241919 | 237403 1313758 4300125 | 1 107301 32 | 5.350 % | 274.60/282.00 c | 242147 | 237403 1313758 4300125 | 1 107529 32 | 5.350 % | 274.60/282.00 c | 242669 | 237402 1313752 4300107 | 1 108049 32 | 5.350 % | 274.60/282.00 c | 243103 | 237402 1313752 4300107 | 1 108483 33 | 5.350 % | 274.60/282.00 c | 243337 | 237402 1313752 4300107 | 1 108717 33 | 5.350 % | 274.60/282.00 c | 245298 | 237402 1313752 4300107 | 1 110678 33 | 5.350 % | 274.60/282.00 c | 246536 | 237402 1313752 4300107 | 1 111916 34 | 5.350 % | 274.60/282.00 c | 247181 | 237402 1313752 4300107 | 1 77038 17 | 5.350 % | 274.60/282.00 c | 248174 | 237402 1313752 4300107 | 1 78031 18 | 5.350 % | 274.60/282.00 c | 248337 | 237402 1313752 4300107 | 1 78194 18 | 5.350 % | 274.60/282.00 c | 248777 | 237402 1313752 4300107 | 1 78634 18 | 5.350 % | 274.60/282.00 c | 249228 | 237402 1313752 4300107 | 1 79085 18 | 5.350 % | 274.60/282.00 c | 250963 | 237402 1313752 4300107 | 1 80820 19 | 5.350 % | 274.60/282.00 c | 251173 | 237402 1313752 4300107 | 1 81030 19 | 5.350 % | 274.60/282.00 c | 251273 | 237402 1313752 4300107 | 1 81130 19 | 5.350 % | 274.60/282.00 c | 251458 | 237402 1313752 4300107 | 1 81315 20 | 5.350 % | 274.60/282.00 c | 252882 | 237401 1313736 4300047 | 1 82737 20 | 5.350 % | 274.60/282.00 c | 253719 | 237401 1313736 4300047 | 1 83574 21 | 5.350 % | 274.60/282.00 c | 254736 | 237401 1313736 4300047 | 1 84591 21 | 5.350 % | 274.60/282.00 c | 255178 | 237401 1313736 4300047 | 1 85033 21 | 5.350 % | 274.60/282.00 c | 255279 | 237400 1313723 4299993 | 1 85133 21 | 5.351 % | 274.60/282.00 c | 255379 | 237400 1313723 4299993 | 1 85233 21 | 5.351 % | 274.60/282.00 c | 256618 | 237400 1313723 4299993 | 1 86472 22 | 5.351 % | 274.60/282.00 c | 256974 | 237400 1313723 4299993 | 1 86828 22 | 5.351 % | 274.60/282.00 c | 257123 | 237400 1313723 4299993 | 1 86977 22 | 5.351 % | 274.60/282.00 c | 257550 | 237400 1313723 4299993 | 1 87404 22 | 5.351 % | 274.60/282.00 c | 257650 | 237400 1313723 4299993 | 1 87504 22 | 5.351 % | 274.60/282.00 c | 259532 | 237400 1313723 4299993 | 1 89386 23 | 5.351 % | 274.60/282.00 c | 260686 | 237400 1313723 4299993 | 1 90540 23 | 5.351 % | 274.60/282.00 c | 261311 | 237400 1313723 4299993 | 1 91165 24 | 5.351 % | 274.60/282.00 c | 261859 | 237400 1313723 4299993 | 1 91713 24 | 5.351 % | 314.92/322.37 c | 261959 | 237400 1313723 4299993 | 1 91813 24 | 5.351 % | 314.92/322.37 c | 264747 | 237400 1313723 4299993 | 1 94601 25 | 5.351 % | 314.92/322.37 c | 264968 | 237400 1313723 4299993 | 1 94822 25 | 5.351 % | 314.92/322.37 c | 267823 | 237399 1313717 4299975 | 1 97676 26 | 5.351 % | 314.92/322.37 c | 267928 | 237399 1313717 4299975 | 1 97781 26 | 5.351 % | 314.92/322.37 c | 268152 | 237399 1313717 4299975 | 1 98005 26 | 5.351 % | 314.92/322.37 c | 270062 | 237389 1313544 4299456 | 1 99367 27 | 5.355 % | 314.92/322.37 c | 270242 | 237389 1313544 4299456 | 1 99547 27 | 5.355 % | 314.92/322.37 c | 270371 | 237389 1313544 4299456 | 1 99676 27 | 5.355 % | 314.92/322.37 c | 270916 | 237389 1313544 4299456 | 1 100221 27 | 5.355 % | 314.92/322.37 c | 271321 | 237389 1313544 4299456 | 1 100626 27 | 5.355 % | 314.92/322.37 c | 271422 | 237389 1313371 4298937 | 1 100252 27 | 5.355 % | 314.92/322.37 c | 271798 | 237389 1313371 4298937 | 1 100628 27 | 5.355 % | 314.92/322.37 c | 273060 | 237389 1313371 4298937 | 1 101890 27 | 5.355 % | 314.92/322.37 c | 273895 | 237389 1313371 4298937 | 1 102725 28 | 5.355 % | 314.92/322.37 c | 274340 | 237389 1313371 4298937 | 1 103170 28 | 5.355 % | 314.92/322.37 c | 276159 | 237389 1313371 4298937 | 1 104989 29 | 5.355 % | 314.92/322.37 c | 276263 | 237389 1313371 4298937 | 1 105093 29 | 5.355 % | 314.92/322.37 c | 276931 | 237389 1313371 4298937 | 1 105761 29 | 5.355 % | 314.92/322.37 c | 277031 | 237389 1313371 4298937 | 1 105861 29 | 5.355 % | 314.92/322.37 c | 280597 | 237389 1313371 4298937 | 1 109427 30 | 5.355 % | 314.92/322.37 c | 281477 | 237389 1313371 4298937 | 1 110307 31 | 5.355 % | 314.92/322.37 c | 282558 | 237388 1313367 4298924 | 1 111232 31 | 5.356 % | 314.92/322.37 c | 283988 | 237388 1313367 4298924 | 1 112662 31 | 5.356 % | 314.92/322.37 c | 286487 | 237388 1313367 4298924 | 1 115161 32 | 5.356 % | 314.92/322.37 c | 287164 | 237388 1313367 4298924 | 1 115838 32 | 5.356 % | 314.92/322.37 c | 288162 | 237388 1313367 4298924 | 1 116836 32 | 5.356 % | 314.92/322.37 c | 288523 | 237388 1313367 4298924 | 1 117197 32 | 5.356 % | 314.92/322.37 c | 288623 | 237388 1313367 4298924 | 1 117297 32 | 5.356 % | 314.92/322.37 c | 288815 | 237388 1313367 4298924 | 1 117489 33 | 5.356 % | 314.92/322.37 c | 288960 | 237388 1313367 4298924 | 1 117634 33 | 5.356 % | 314.92/322.37 c | 289624 | 237388 1313367 4298924 | 1 118298 33 | 5.356 % | 314.92/322.37 c | 290230 | 237388 1313367 4298924 | 1 118904 33 | 5.356 % | 314.92/322.37 c | 290330 | 237388 1313367 4298924 | 1 119004 33 | 5.356 % | 314.92/322.37 c | 290566 | 237388 1313367 4298924 | 1 119240 34 | 5.356 % | 314.92/322.37 c | 290666 | 237388 1313367 4298924 | 1 119340 34 | 5.356 % | 314.92/322.37 c | 290798 | 237388 1313367 4298924 | 1 119472 34 | 5.356 % | 314.92/322.37 c | 290898 | 237388 1313367 4298924 | 1 119572 34 | 5.356 % | 314.92/322.37 c | 291718 | 237388 1313367 4298924 | 1 120392 34 | 5.356 % | 314.92/322.37 c | 291818 | 237388 1313367 4298924 | 1 120492 34 | 5.356 % | 314.92/322.37 c | 291919 | 237388 1313367 4298924 | 1 120593 34 | 5.356 % | 314.92/322.37 c | 292940 | 237388 1313367 4298924 | 1 121614 35 | 5.356 % | 314.92/322.37 c | 293146 | 237388 1313367 4298924 | 1 121820 35 | 5.356 % | 314.92/322.37 c | 293701 | 237388 1313367 4298924 | 1 122375 35 | 5.356 % | 314.92/322.37 c | 293802 | 237388 1313367 4298924 | 1 122476 35 | 5.356 % | 314.92/322.37 c | 295396 | 237388 1313367 4298924 | 1 124070 35 | 5.356 % | 314.92/322.37 c | 295889 | 237388 1313367 4298924 | 1 124563 36 | 5.356 % | 314.92/322.37 c | 295989 | 237388 1313367 4298924 | 1 124663 36 | 5.356 % | 314.92/322.37 c | 296537 | 237388 1313367 4298924 | 1 125211 36 | 5.356 % | 314.92/322.37 c | 296721 | 237388 1313367 4298924 | 1 125395 36 | 5.356 % | 361.21/368.69 c | 298638 | 237386 1313351 4298857 | 1 90501 20 | 5.356 % | 361.21/368.69 c | 299042 | 237386 1313351 4298857 | 1 90905 20 | 5.356 % | 361.21/368.69 c | 300721 | 237386 1313351 4298857 | 1 92584 23 | 5.356 % | 361.21/368.69 c | 301529 | 237386 1313351 4298857 | 1 93392 23 | 5.356 % | 361.21/368.69 c | 302509 | 237386 1313338 4298812 | 1 94372 23 | 5.356 % | 361.21/368.69 c | 306122 | 237386 1313338 4298812 | 1 97985 24 | 5.356 % | 361.21/368.69 c | 307128 | 237385 1313332 4298794 | 1 98990 24 | 5.357 % | 361.21/368.69 c | 307274 | 237385 1313332 4298794 | 1 99136 24 | 5.357 % | 361.21/368.69 c | 307374 | 237385 1313332 4298794 | 1 99236 24 | 5.357 % | 361.21/368.69 c | 307653 | 237385 1313332 4298794 | 1 99515 25 | 5.357 % | 361.21/368.69 c | 307755 | 237385 1313332 4298794 | 1 99617 25 | 5.357 % | 361.21/368.69 c | 308167 | 237385 1313332 4298794 | 1 100029 25 | 5.357 % | 361.21/368.69 c | 309610 | 237385 1313332 4298794 | 1 101472 25 | 5.357 % | 361.21/368.69 c | 309710 | 237385 1313332 4298794 | 1 101572 26 | 5.357 % | 361.21/368.69 c | 310083 | 237385 1313332 4298794 | 1 101945 26 | 5.357 % | 361.21/368.69 c | 311760 | 237385 1313332 4298794 | 1 103622 26 | 5.357 % | 361.21/368.69 c | 312510 | 237385 1313332 4298794 | 1 104372 26 | 5.357 % | 361.21/368.69 c | 313816 | 237385 1313332 4298794 | 1 105678 27 | 5.357 % | 361.21/368.69 c | 313986 | 237385 1313332 4298794 | 1 105848 27 | 5.357 % | 361.21/368.69 c | 314499 | 237385 1313332 4298794 | 1 106361 27 | 5.357 % | 361.21/368.69 c | 314688 | 237385 1313332 4298794 | 1 106550 27 | 5.357 % | 361.21/368.69 c | 314791 | 237385 1313332 4298794 | 1 106653 27 | 5.357 % | 361.21/368.69 c | 314991 | 237385 1313332 4298794 | 1 106853 27 | 5.357 % | 361.21/368.69 c | 315971 | 237385 1313332 4298794 | 1 107833 28 | 5.357 % | 361.21/368.69 c | 317187 | 237385 1313332 4298794 | 1 109049 29 | 5.357 % | 361.21/368.69 c | 317287 | 237385 1313332 4298794 | 1 109149 29 | 5.357 % | 361.21/368.69 c | 319093 | 237385 1313332 4298794 | 1 110955 29 | 5.357 % | 361.21/368.69 c | 319246 | 237385 1313332 4298794 | 1 111108 29 | 5.357 % | 361.21/368.69 c | 319376 | 237385 1313332 4298794 | 1 111238 29 | 5.357 % | 361.21/368.69 c | 321914 | 237385 1313332 4298794 | 1 113776 29 | 5.357 % | 361.21/368.69 c | 322675 | 237385 1313332 4298794 | 1 114537 31 | 5.357 % | 361.21/368.69 c | 322776 | 237385 1313332 4298794 | 1 114638 31 | 5.357 % | 361.21/368.69 c | 327749 | 237384 1313326 4298776 | 1 119610 35 | 5.357 % | 361.21/368.69 c | 327849 | 237384 1313326 4298776 | 1 119710 35 | 5.357 % | 361.21/368.69 c | 329179 | 237384 1313326 4298776 | 1 121040 35 | 5.357 % | 361.21/368.69 c | 329795 | 237384 1313326 4298776 | 1 121656 35 | 5.357 % | 361.21/368.69 c | 329927 | 237384 1313326 4298776 | 1 121788 35 | 5.357 % | 361.21/368.69 c | 330027 | 237384 1313326 4298776 | 1 121888 35 | 5.357 % | 361.21/368.69 c | 330911 | 237384 1313326 4298776 | 1 122772 36 | 5.357 % | 361.21/368.69 c | 331011 | 237384 1313326 4298776 | 1 122872 36 | 5.357 % | 361.21/368.69 c | 332401 | 237384 1313326 4298776 | 1 124262 36 | 5.357 % | 361.21/368.69 c | 333317 | 237384 1313326 4298776 | 1 125178 36 | 5.357 % | 361.21/368.69 c | 333418 | 237384 1313326 4298776 | 1 125279 36 | 5.357 % | 361.21/368.69 c | 333739 | 237384 1313326 4298776 | 1 125600 36 | 5.357 % | 361.21/368.69 c | 334412 | 237384 1313326 4298776 | 1 126273 36 | 5.357 % | 361.21/368.69 c | 334514 | 237384 1313326 4298776 | 1 126375 36 | 5.357 % | 361.21/368.69 c | 334614 | 237384 1313326 4298776 | 1 126475 36 | 5.357 % | 361.21/368.69 c | 335183 | 237384 1313326 4298776 | 1 127044 37 | 5.357 % | 361.21/368.69 c | 336128 | 237384 1313326 4298776 | 1 127989 37 | 5.357 % | 361.21/368.69 c | 336228 | 237384 1313326 4298776 | 1 128089 37 | 5.357 % | 389.71/397.13 c | 336965 | 237384 1313326 4298776 | 1 128826 38 | 5.357 % | 389.71/397.13 c | 337067 | 237384 1313326 4298776 | 1 128928 38 | 5.357 % | 389.71/397.13 c | 338651 | 237384 1313326 4298776 | 1 130512 38 | 5.357 % | 389.71/397.13 c | 338798 | 237384 1313326 4298776 | 1 130659 38 | 5.357 % | 389.71/397.13 c | 338899 | 237384 1313326 4298776 | 1 130760 38 | 5.357 % | 389.71/397.13 c | 339224 | 237384 1313326 4298776 | 1 131085 38 | 5.357 % | 389.71/397.13 c | 339324 | 237384 1313326 4298776 | 1 131185 38 | 5.357 % | 389.71/397.13 c | 339750 | 237384 1313326 4298776 | 1 131611 38 | 5.357 % | 389.71/397.13 c | 339850 | 237384 1313326 4298776 | 1 131711 38 | 5.357 % | 389.71/397.13 c | 342153 | 237384 1313326 4298776 | 1 134014 40 | 5.357 % | 389.71/397.13 c | 342253 | 237384 1313326 4298776 | 1 134114 40 | 5.357 % | 389.71/397.13 c | 342353 | 237384 1313326 4298776 | 1 134214 40 | 5.357 % | 389.71/397.13 c | 347152 | 237384 1313326 4298776 | 1 139013 40 | 5.357 % | 389.71/397.13 c | 347293 | 237384 1313326 4298776 | 1 139154 40 | 5.357 % | 389.71/397.13 c | 348283 | 237384 1313326 4298776 | 1 140144 40 | 5.357 % | 389.71/397.13 c | 348383 | 237384 1313326 4298776 | 1 140244 40 | 5.357 % | 389.71/397.13 c | 348520 | 237384 1313326 4298776 | 1 140381 40 | 5.357 % | 389.71/397.13 c | 348900 | 237384 1313326 4298776 | 1 140761 40 | 5.357 % | 389.71/397.13 c | 350146 | 237384 1313326 4298776 | 1 142007 41 | 5.357 % | 389.71/397.13 c | 350247 | 237384 1313326 4298776 | 1 142108 41 | 5.357 % | 389.71/397.13 c | 350612 | 237384 1313326 4298776 | 1 142473 41 | 5.357 % | 389.71/397.13 c | 350713 | 237384 1313326 4298776 | 1 142574 41 | 5.357 % | 389.71/397.13 c | 350920 | 237384 1313326 4298776 | 1 142781 41 | 5.357 % | 389.71/397.13 c | 351020 | 237384 1313326 4298776 | 1 142881 41 | 5.357 % | 389.71/397.13 c | 351239 | 237384 1313326 4298776 | 1 143100 41 | 5.357 % | 389.71/397.13 c | 351340 | 237384 1313326 4298776 | 1 143201 41 | 5.357 % | 389.71/397.13 c | 351446 | 237384 1313326 4298776 | 1 143307 41 | 5.357 % | 389.71/397.13 c | 351546 | 237384 1313326 4298776 | 1 143407 41 | 5.357 % | 389.71/397.13 c | 351785 | 237384 1313326 4298776 | 1 100598 22 | 5.357 % | 389.71/397.13 c | 352187 | 237384 1313326 4298776 | 1 101000 22 | 5.357 % | 389.71/397.13 c | 352291 | 237384 1313326 4298776 | 1 101104 23 | 5.357 % | 389.71/397.13 c | 352391 | 237384 1313326 4298776 | 1 101204 23 | 5.357 % | 389.71/397.13 c | 352959 | 237384 1313326 4298776 | 1 101772 23 | 5.357 % | 389.71/397.13 c | 353059 | 237384 1313326 4298776 | 1 101872 23 | 5.357 % | 389.71/397.13 c | 353373 | 237384 1313326 4298776 | 1 102186 23 | 5.357 % | 389.71/397.13 c | 355821 | 237384 1313326 4298776 | 1 104634 24 | 5.357 % | 389.71/397.13 c | 356170 | 237384 1313326 4298776 | 1 104983 25 | 5.357 % | 389.71/397.13 c | 356289 | 237384 1313326 4298776 | 1 105102 25 | 5.357 % | 389.71/397.13 c | 356390 | 237384 1313326 4298776 | 1 105203 25 | 5.357 % | 389.71/397.13 c | 356664 | 237384 1313326 4298776 | 1 105477 25 | 5.357 % | 389.71/397.13 c | 356935 | 237384 1313326 4298776 | 1 105748 25 | 5.357 % | 389.71/397.13 c | 358954 | 237384 1313326 4298776 | 1 107767 25 | 5.357 % | 389.71/397.13 c | 359137 | 237384 1313326 4298776 | 1 107950 26 | 5.357 % | 389.71/397.13 c | 360142 | 237384 1313326 4298776 | 1 108955 27 | 5.357 % | 389.71/397.13 c | 360321 | 237384 1313326 4298776 | 1 109134 27 | 5.357 % | 389.71/397.13 c | 360422 | 237384 1313326 4298776 | 1 109235 27 | 5.357 % | 389.71/397.13 c | 360550 | 237384 1313326 4298776 | 1 109363 27 | 5.357 % | 389.71/397.13 c | 360651 | 237384 1313326 4298776 | 1 109464 27 | 5.357 % | 389.71/397.13 c | 361170 | 237384 1313326 4298776 | 1 109983 27 | 5.357 % | 389.71/397.13 c | 361272 | 237384 1313326 4298776 | 1 110085 28 | 5.357 % | 422.91/430.35 c | 362722 | 237384 1313326 4298776 | 1 111535 28 | 5.357 % | 422.91/430.35 c | 363642 | 237384 1313326 4298776 | 1 112455 29 | 5.357 % | 422.91/430.35 c | 363742 | 237384 1313326 4298776 | 1 112555 29 | 5.357 % | 422.91/430.35 c | 364109 | 237384 1313326 4298776 | 1 112922 29 | 5.357 % | 422.91/430.35 c | 364209 | 237384 1313326 4298776 | 1 113022 29 | 5.357 % | 422.91/430.35 c | 364525 | 237384 1313326 4298776 | 1 113338 29 | 5.357 % | 422.91/430.35 c | 365729 | 237384 1313326 4298776 | 1 114542 31 | 5.357 % | 422.91/430.35 c | 365829 | 237384 1313326 4298776 | 1 114642 31 | 5.357 % | 422.91/430.35 c | 365929 | 237384 1313326 4298776 | 1 114742 31 | 5.357 % | 422.91/430.35 c | 366651 | 237384 1313326 4298776 | 1 115464 32 | 5.357 % | 422.91/430.35 c | 366961 | 237379 1313153 4298257 | 1 115605 32 | 5.359 % | 422.91/430.35 c | 368730 | 237379 1313153 4298257 | 1 117374 32 | 5.359 % | 422.91/430.35 c | 369414 | 237379 1313153 4298257 | 1 118058 33 | 5.359 % | 422.91/430.35 c | 369705 | 237379 1313153 4298257 | 1 118349 33 | 5.359 % | 422.91/430.35 c | 369806 | 237379 1313153 4298257 | 1 118450 33 | 5.359 % | 422.91/430.35 c | 369911 | 237379 1313153 4298257 | 1 118555 33 | 5.359 % | 422.91/430.35 c | 370261 | 237379 1313153 4298257 | 1 118905 33 | 5.359 % | 422.91/430.35 c | 370361 | 237379 1313153 4298257 | 1 119005 33 | 5.359 % | 422.91/430.35 c | 370461 | 237379 1313153 4298257 | 1 119105 33 | 5.359 % | 422.91/430.35 c | 370676 | 237379 1313153 4298257 | 1 119320 33 | 5.359 % | 422.91/430.35 c | 370776 | 237379 1313153 4298257 | 1 119420 34 | 5.359 % | 422.91/430.35 c | 371171 | 237379 1313153 4298257 | 1 119815 34 | 5.359 % | 422.91/430.35 c | 371692 | 237379 1313153 4298257 | 1 120336 34 | 5.359 % | 422.91/430.35 c | 371822 | 237379 1313153 4298257 | 1 120466 34 | 5.359 % | 422.91/430.35 c | 371933 | 237379 1313153 4298257 | 1 120577 34 | 5.359 % | 422.91/430.35 c | 372888 | 237379 1313153 4298257 | 1 121532 35 | 5.359 % | 422.91/430.35 c | 374001 | 237379 1313153 4298257 | 1 122645 35 | 5.359 % | 422.91/430.35 c | 375126 | 237379 1313153 4298257 | 1 123770 35 | 5.359 % | 422.91/430.35 c | 375575 | 237379 1313153 4298257 | 1 124219 35 | 5.359 % | 422.91/430.35 c | 375675 | 237379 1313153 4298257 | 1 124319 35 | 5.359 % | 422.91/430.35 c | 376390 | 237331 1312818 4296937 | 1 121235 33 | 5.378 % | 422.91/430.35 c | 377846 | 237331 1312818 4296937 | 1 122691 33 | 5.378 % | 422.91/430.35 c | 378669 | 237331 1312818 4296937 | 1 123514 34 | 5.378 % | 422.91/430.35 c | 378910 | 237331 1312818 4296937 | 1 123755 34 | 5.378 % | 422.91/430.35 c | 379895 | 237330 1312814 4296925 | 1 124739 34 | 5.379 % | 422.91/430.35 c | 379996 | 237330 1312814 4296925 | 1 124840 34 | 5.379 % | 422.91/430.35 c | 380644 | 237330 1312814 4296925 | 1 125488 34 | 5.379 % | 422.91/430.35 c | 381053 | 237330 1312814 4296925 | 1 125897 35 | 5.379 % | 422.91/430.35 c | 381154 | 237330 1312814 4296925 | 1 125998 35 | 5.379 % | 422.91/430.35 c | 381319 | 237330 1312814 4296925 | 1 126163 35 | 5.379 % | 422.91/430.35 c | 381420 | 237330 1312814 4296925 | 1 126264 35 | 5.379 % | 422.91/430.35 c | 382012 | 237330 1312814 4296925 | 1 126856 35 | 5.379 % | 422.91/430.35 c | 384614 | 237330 1312814 4296925 | 1 129458 35 | 5.379 % | 422.91/430.35 c | 384714 | 237330 1312814 4296925 | 1 129558 35 | 5.379 % | 422.91/430.35 c | 385267 | 237330 1312814 4296925 | 1 130111 36 | 5.379 % | 422.91/430.35 c | 385367 | 237330 1312814 4296925 | 1 130211 36 | 5.379 % | 422.91/430.35 c | 385834 | 237330 1312814 4296925 | 1 130678 36 | 5.379 % | 422.91/430.35 c | 386555 | 237330 1312814 4296925 | 1 131399 37 | 5.379 % | 422.91/430.35 c | 386729 | 237330 1312814 4296925 | 1 131573 37 | 5.379 % | 422.91/430.35 c | 387562 | 237330 1312814 4296925 | 1 132406 37 | 5.379 % | 476.81/484.20 c | 387663 | 237330 1312814 4296925 | 1 132507 37 | 5.379 % | 476.81/484.20 c | 387864 | 237330 1312814 4296925 | 1 132708 37 | 5.379 % | 476.81/484.20 c | 387964 | 237330 1312814 4296925 | 1 132808 37 | 5.379 % | 476.81/484.20 c | 389101 | 237325 1312641 4296406 | 1 133608 37 | 5.381 % | 476.81/484.20 c | 393132 | 237325 1312641 4296406 | 1 137639 37 | 5.381 % | 476.81/484.20 c | 394524 | 237325 1312641 4296406 | 1 139031 38 | 5.381 % | 476.81/484.20 c | 394624 | 237325 1312641 4296406 | 1 139131 38 | 5.381 % | 476.81/484.20 c | 394912 | 237325 1312641 4296406 | 1 139419 38 | 5.381 % | 476.81/484.20 c | 395179 | 237325 1312641 4296406 | 1 139686 38 | 5.381 % | 476.81/484.20 c | 395280 | 237325 1312641 4296406 | 1 139787 38 | 5.381 % | 476.81/484.20 c | 395381 | 237325 1312641 4296406 | 1 139888 39 | 5.381 % | 476.81/484.20 c | 395481 | 237325 1312641 4296406 | 1 139988 39 | 5.381 % | 476.81/484.20 c | 395585 | 237325 1312641 4296406 | 1 140092 39 | 5.381 % | 476.81/484.20 c | 396372 | 237325 1312641 4296406 | 1 140879 39 | 5.381 % | 476.81/484.20 c | 396473 | 237325 1312641 4296406 | 1 140980 39 | 5.381 % | 476.81/484.20 c | 396573 | 237325 1312641 4296406 | 1 141080 39 | 5.381 % | 476.81/484.20 c | 396717 | 237325 1312641 4296406 | 1 141224 39 | 5.381 % | 476.81/484.20 c | 400674 | 237325 1312641 4296406 | 1 145181 40 | 5.381 % | 476.81/484.20 c | 401080 | 237325 1312641 4296406 | 1 145587 40 | 5.381 % | 476.81/484.20 c | 401526 | 237325 1312641 4296406 | 1 146033 40 | 5.381 % | 476.81/484.20 c | 401690 | 237325 1312641 4296406 | 1 146197 40 | 5.381 % | 476.81/484.20 c | 402995 | 237325 1312641 4296406 | 1 147502 40 | 5.381 % | 476.81/484.20 c | 408823 | 237325 1312641 4296406 | 1 153330 41 | 5.381 % | 476.81/484.20 c | 408923 | 237325 1312641 4296406 | 1 153430 41 | 5.381 % | 476.81/484.20 c | 409070 | 237325 1312641 4296406 | 1 153577 41 | 5.381 % | 476.81/484.20 c | 409410 | 237325 1312641 4296406 | 1 153917 41 | 5.381 % | 476.81/484.20 c | 410111 | 237325 1312641 4296406 | 1 154618 41 | 5.381 % | 476.81/484.20 c | 410604 | 237325 1312641 4296406 | 1 155111 41 | 5.381 % | 476.81/484.20 c | 410708 | 237325 1312641 4296406 | 1 155215 41 | 5.381 % | 476.81/484.20 c | 411126 | 237325 1312641 4296406 | 1 110729 23 | 5.381 % | 476.81/484.20 c | 411249 | 237325 1312641 4296406 | 1 110852 23 | 5.381 % | 476.81/484.20 c | 411425 | 237325 1312641 4296406 | 1 111028 23 | 5.381 % | 476.81/484.20 c | 411525 | 237325 1312641 4296406 | 1 111128 23 | 5.381 % | 476.81/484.20 c | 414380 | 237325 1312641 4296406 | 1 113983 24 | 5.381 % | 476.81/484.20 c | 414696 | 237325 1312641 4296406 | 1 114299 24 | 5.381 % | 476.81/484.20 c | 415475 | 237325 1312641 4296406 | 1 115078 25 | 5.381 % | 476.81/484.20 c | 415575 | 237325 1312641 4296406 | 1 115178 25 | 5.381 % | 476.81/484.20 c | 415695 | 237325 1312641 4296406 | 1 115298 25 | 5.381 % | 476.81/484.20 c | 416419 | 237324 1312635 4296388 | 1 116021 26 | 5.381 % | 476.81/484.20 c | 416519 | 237324 1312635 4296388 | 1 116121 26 | 5.381 % | 476.81/484.20 c | 416979 | 237324 1312635 4296388 | 1 116581 26 | 5.381 % | 476.81/484.20 c | 417333 | 237324 1312635 4296388 | 1 116935 27 | 5.381 % | 476.81/484.20 c | 417435 | 237324 1312635 4296388 | 1 117037 27 | 5.381 % | 476.81/484.20 c | 418597 | 237324 1312635 4296388 | 1 118199 27 | 5.381 % | 476.81/484.20 c | 419328 | 237324 1312635 4296388 | 1 118930 27 | 5.381 % | 476.81/484.20 c | 423025 | 237324 1312635 4296388 | 1 122627 28 | 5.381 % | 476.81/484.20 c | 423125 | 237324 1312635 4296388 | 1 122727 28 | 5.381 % | 476.81/484.20 c | 423630 | 237324 1312635 4296388 | 1 123232 28 | 5.381 % | 476.81/484.20 c | 423731 | 237324 1312635 4296388 | 1 123333 29 | 5.381 % | 476.81/484.20 c | 440481 | 237323 1312621 4296343 | 1 140081 32 | 5.382 % | 529.72/537.14 c | 440730 | 237323 1312621 4296343 | 1 140330 32 | 5.382 % | 529.72/537.14 c | 440970 | 237323 1312621 4296343 | 1 140570 32 | 5.382 % | 529.72/537.14 c | 442275 | 237323 1312621 4296343 | 1 141875 33 | 5.382 % | 529.72/537.14 c | 442375 | 237323 1312621 4296343 | 1 141975 33 | 5.382 % | 529.72/537.14 c | 442476 | 237323 1312621 4296343 | 1 142076 33 | 5.382 % | 529.72/537.14 c | 442788 | 237323 1312621 4296343 | 1 142388 33 | 5.382 % | 529.72/537.14 c | 443971 | 237323 1312621 4296343 | 1 143571 33 | 5.382 % | 529.72/537.14 c | 444501 | 237323 1312621 4296343 | 1 144101 33 | 5.382 % | 529.72/537.14 c | 444692 | 237323 1312621 4296343 | 1 144292 33 | 5.382 % | 529.72/537.14 c | 444793 | 237323 1312621 4296343 | 1 144393 34 | 5.382 % | 529.72/537.14 c | 452491 | 237311 1312549 4296061 | 1 150440 34 | 5.386 % | 529.72/537.14 c | 457375 | 237311 1312549 4296061 | 1 155324 35 | 5.386 % | 529.72/537.14 c | 458169 | 237311 1312549 4296061 | 1 156118 35 | 5.386 % | 529.72/537.14 c | 458269 | 237311 1312549 4296061 | 1 156218 35 | 5.386 % | 529.72/537.14 c | 460032 | 237311 1312549 4296061 | 1 157981 36 | 5.386 % | 529.72/537.14 c | 460707 | 237311 1312549 4296061 | 1 158656 36 | 5.386 % | 529.72/537.14 c | 460927 | 237311 1312549 4296061 | 1 158876 36 | 5.386 % | 529.72/537.14 c | 461536 | 237311 1312549 4296061 | 1 159485 36 | 5.386 % | 529.72/537.14 c | 463065 | 237311 1312549 4296061 | 1 161014 36 | 5.386 % | 529.72/537.14 c | 463165 | 237311 1312549 4296061 | 1 161114 36 | 5.386 % | 529.72/537.14 c | 465650 | 237311 1312549 4296061 | 1 163599 37 | 5.386 % | 529.72/537.14 c | 465750 | 237311 1312549 4296061 | 1 163699 37 | 5.386 % | 529.72/537.14 c | 466855 | 237311 1312549 4296061 | 1 164804 37 | 5.386 % | 529.72/537.14 c | 467308 | 237311 1312549 4296061 | 1 165257 37 | 5.386 % | 529.72/537.14 c | 468976 | 237311 1312549 4296061 | 1 166925 37 | 5.386 % | 529.72/537.14 c | 469449 | 237311 1312549 4296061 | 1 167398 37 | 5.386 % | 529.72/537.14 c | 474068 | 237311 1312549 4296061 | 1 172017 38 | 5.386 % | 529.72/537.14 c | 474168 | 237311 1312549 4296061 | 1 172117 38 | 5.386 % | 529.72/537.14 c | 474279 | 237311 1312549 4296061 | 1 172228 38 | 5.386 % | 529.72/537.14 c | 474602 | 237311 1312549 4296061 | 1 172551 38 | 5.386 % | 529.72/537.14 c | 474732 | 237311 1312549 4296061 | 1 119490 21 | 5.386 % | 529.72/537.14 c | 475546 | 237311 1312549 4296061 | 1 120304 21 | 5.386 % | 529.72/537.14 c | 475813 | 237311 1312549 4296061 | 1 120571 21 | 5.386 % | 529.72/537.14 c | 476241 | 237311 1312549 4296061 | 1 120999 22 | 5.386 % | 529.72/537.14 c | 476406 | 237311 1312549 4296061 | 1 121164 22 | 5.386 % | 529.72/537.14 c | 476764 | 237311 1312549 4296061 | 1 121522 22 | 5.386 % | 529.72/537.14 c | 477144 | 237311 1312549 4296061 | 1 121902 22 | 5.386 % | 529.72/537.14 c | 477264 | 237311 1312549 4296061 | 1 122022 22 | 5.386 % | 529.72/537.14 c | 477367 | 237311 1312549 4296061 | 1 122125 23 | 5.386 % | 529.72/537.14 c | 477511 | 237311 1312549 4296061 | 1 122269 23 | 5.386 % | 529.72/537.14 c | 478552 | 237311 1312549 4296061 | 1 123310 23 | 5.386 % | 529.72/537.14 c | 479329 | 237311 1312549 4296061 | 1 124087 23 | 5.386 % | 529.72/537.14 c | 480556 | 237311 1312549 4296061 | 1 125314 23 | 5.386 % | 529.72/537.14 c | 481519 | 234581 1287332 4181858 | 1 107285 20 | 6.475 % | 529.72/537.14 c | 482679 | 234581 1287332 4181858 | 1 108445 20 | 6.475 % | 529.72/537.14 c | 484545 | 234581 1287332 4181858 | 1 110311 20 | 6.475 % | 529.72/537.14 c | 485380 | 234581 1287332 4181858 | 1 111146 21 | 6.475 % | 529.72/537.14 c | 485480 | 234581 1287332 4181858 | 1 111246 21 | 6.475 % | 529.72/537.14 c | 485793 | 234581 1287332 4181858 | 1 111559 21 | 6.475 % | 529.72/537.14 c | 485910 | 234581 1287332 4181858 | 1 111676 21 | 6.475 % | 584.21/591.61 c | 486010 | 234581 1287332 4181858 | 1 111776 21 | 6.475 % | 584.21/591.61 c | 486918 | 234581 1287332 4181858 | 1 112684 22 | 6.475 % | 584.21/591.61 c | 487018 | 234581 1287332 4181858 | 1 112784 22 | 6.475 % | 584.21/591.61 c | 487203 | 234581 1287332 4181858 | 1 112969 22 | 6.475 % | 584.21/591.61 c | 491026 | 234581 1287332 4181858 | 1 116792 23 | 6.475 % | 584.21/591.61 c | 492615 | 234581 1287332 4181858 | 1 118381 24 | 6.475 % | 584.21/591.61 c | 494068 | 234581 1287332 4181858 | 1 119834 24 | 6.475 % | 584.21/591.61 c | 494703 | 234581 1287332 4181858 | 1 120469 24 | 6.475 % | 584.21/591.61 c | 494803 | 234581 1287332 4181858 | 1 120569 24 | 6.475 % | 584.21/591.61 c | 497719 | 234581 1287332 4181858 | 1 123485 24 | 6.475 % | 584.21/591.61 c | 497909 | 234581 1287332 4181858 | 1 123675 25 | 6.475 % | 584.21/591.61 c | 498010 | 234581 1287332 4181858 | 1 123776 25 | 6.475 % | 584.21/591.61 c | 498216 | 234581 1287332 4181858 | 1 123982 25 | 6.475 % | 584.21/591.61 c | 501003 | 234581 1287332 4181858 | 1 126769 26 | 6.475 % | 584.21/591.61 c | 501791 | 234581 1287332 4181858 | 1 127557 26 | 6.475 % | 584.21/591.61 c | 502137 | 234581 1287332 4181858 | 1 127903 26 | 6.475 % | 584.21/591.61 c | 506336 | 234581 1287332 4181858 | 1 132102 27 | 6.475 % | 584.21/591.61 c | 506868 | 234572 1287253 4181520 | 1 132332 27 | 6.478 % | 584.21/591.61 c | 507131 | 234572 1287253 4181520 | 1 132595 27 | 6.478 % | 584.21/591.61 c | 507231 | 234572 1287253 4181520 | 1 132695 27 | 6.478 % | 584.21/591.61 c | 508535 | 234572 1287253 4181520 | 1 133999 27 | 6.478 % | 584.21/591.61 c | 509866 | 234571 1287249 4181508 | 1 135155 28 | 6.479 % | 584.21/591.61 c | 510402 | 234571 1287249 4181508 | 1 135691 28 | 6.479 % | 584.21/591.61 c | 510504 | 234571 1287249 4181508 | 1 135793 28 | 6.479 % | 584.21/591.61 c | 512662 | 234571 1287249 4181508 | 1 137951 28 | 6.479 % | 584.21/591.61 c | 513595 | 234571 1287249 4181508 | 1 138884 28 | 6.479 % | 584.21/591.61 c | 513928 | 234571 1287249 4181508 | 1 139217 29 | 6.479 % | 584.21/591.61 c | 514194 | 234571 1287249 4181508 | 1 139483 29 | 6.479 % | 584.21/591.61 c | 517268 | 234571 1287249 4181508 | 1 142557 29 | 6.479 % | 584.21/591.61 c | 517370 | 234571 1287249 4181508 | 1 142659 29 | 6.479 % | 584.21/591.61 c | 517701 | 234571 1287249 4181508 | 1 142990 30 | 6.479 % | 584.21/591.61 c | 517972 | 234571 1287249 4181508 | 1 143261 30 | 6.479 % | 584.21/591.61 c | 518162 | 234571 1287249 4181508 | 1 143451 30 | 6.479 % | 584.21/591.61 c | 518263 | 234571 1287249 4181508 | 1 143552 30 | 6.479 % | 584.21/591.61 c | 518448 | 234571 1287249 4181508 | 1 143737 30 | 6.479 % | 584.21/591.61 c | 522470 | 234571 1287249 4181508 | 1 147759 30 | 6.479 % | 584.21/591.61 c | 522571 | 234571 1287249 4181508 | 1 147860 30 | 6.479 % | 584.21/591.61 c | 523102 | 234571 1287249 4181508 | 1 148391 31 | 6.479 % | 584.21/591.61 c | 523607 | 234571 1287249 4181508 | 1 148896 31 | 6.479 % | 584.21/591.61 c | 523711 | 234571 1287249 4181508 | 1 149000 31 | 6.479 % | 584.21/591.61 c | 524670 | 234571 1287249 4181508 | 1 149959 31 | 6.479 % | 584.21/591.61 c | 525191 | 234571 1287249 4181508 | 1 150480 31 | 6.479 % | 584.21/591.61 c | 525291 | 234571 1287249 4181508 | 1 150580 31 | 6.479 % | 584.21/591.61 c | 525393 | 234571 1287249 4181508 | 1 150682 31 | 6.479 % | 584.21/591.61 c | 526570 | 234571 1287249 4181508 | 1 151859 31 | 6.479 % | 584.21/591.61 c | 526670 | 234571 1287249 4181508 | 1 151959 31 | 6.479 % | 584.21/591.61 c | 527103 | 234571 1287249 4181508 | 1 152392 31 | 6.479 % | 584.21/591.61 c | 527417 | 234571 1287249 4181508 | 1 152706 31 | 6.479 % | 584.21/591.61 c | 528454 | 234571 1287249 4181508 | 1 153743 32 | 6.479 % | 584.21/591.61 c | 528555 | 234571 1287249 4181508 | 1 153844 32 | 6.479 % | 645.41/652.89 c | 529086 | 234571 1287249 4181508 | 1 154375 32 | 6.479 % | 645.41/652.89 c | 529186 | 234571 1287249 4181508 | 1 154475 32 | 6.479 % | 645.41/652.89 c | 530824 | 234571 1287249 4181508 | 1 156113 32 | 6.479 % | 645.41/652.89 c | 530969 | 234571 1287249 4181508 | 1 156258 32 | 6.479 % | 645.41/652.89 c | 531070 | 234571 1287249 4181508 | 1 156359 32 | 6.479 % | 645.41/652.89 c | 531228 | 234571 1287249 4181508 | 1 156517 32 | 6.479 % | 645.41/652.89 c | 533699 | 234566 1287076 4180989 | 1 158469 33 | 6.481 % | 645.41/652.89 c | 535289 | 234566 1287076 4180989 | 1 160059 33 | 6.481 % | 645.41/652.89 c | 535739 | 234566 1287076 4180989 | 1 160509 33 | 6.481 % | 645.41/652.89 c | 536926 | 234566 1287076 4180989 | 1 161696 33 | 6.481 % | 645.41/652.89 c | 537228 | 234566 1287076 4180989 | 1 161998 33 | 6.481 % | 645.41/652.89 c | 537328 | 234566 1287076 4180989 | 1 162098 33 | 6.481 % | 645.41/652.89 c | 537709 | 234566 1287076 4180989 | 1 162479 34 | 6.481 % | 645.41/652.89 c | 537809 | 234566 1287076 4180989 | 1 162579 34 | 6.481 % | 645.41/652.89 c | 538037 | 234566 1287076 4180989 | 1 162807 34 | 6.481 % | 645.41/652.89 c | 540300 | 234566 1287076 4180989 | 1 165070 34 | 6.481 % | 645.41/652.89 c | 540401 | 234566 1287076 4180989 | 1 165171 34 | 6.481 % | 645.41/652.89 c | 540617 | 234566 1287076 4180989 | 1 165387 34 | 6.481 % | 645.41/652.89 c | 545097 | 234566 1287076 4180989 | 1 119606 20 | 6.481 % | 645.41/652.89 c | 546567 | 234566 1287076 4180989 | 1 121076 21 | 6.481 % | 645.41/652.89 c | 547415 | 234566 1287076 4180989 | 1 121924 21 | 6.481 % | 645.41/652.89 c | 547515 | 234566 1287076 4180989 | 1 122024 21 | 6.481 % | 645.41/652.89 c | 547666 | 234566 1287076 4180989 | 1 122175 21 | 6.481 % | 645.41/652.89 c | 547802 | 234566 1287076 4180989 | 1 122311 21 | 6.481 % | 645.41/652.89 c | 550765 | 234566 1287076 4180989 | 1 125274 22 | 6.481 % | 645.41/652.89 c | 556229 | 234566 1287076 4180989 | 1 130738 24 | 6.481 % | 645.41/652.89 c | 558928 | 234566 1287076 4180989 | 1 133437 24 | 6.481 % | 645.41/652.89 c | 563899 | 234566 1287076 4180989 | 1 138408 25 | 6.481 % | 645.41/652.89 c | 563999 | 234566 1287076 4180989 | 1 138508 25 | 6.481 % | 645.41/652.89 c | 570225 | 234566 1287076 4180989 | 1 144734 27 | 6.481 % | 645.41/652.89 c | 570325 | 234566 1287076 4180989 | 1 144834 27 | 6.481 % | 645.41/652.89 c | 571023 | 234566 1287076 4180989 | 1 145532 27 | 6.481 % | 645.41/652.89 c | 571903 | 234566 1287076 4180989 | 1 146412 27 | 6.481 % | 645.41/652.89 c | 573563 | 234566 1287076 4180989 | 1 148072 28 | 6.481 % | 645.41/652.89 c | 574262 | 234566 1287076 4180989 | 1 148771 28 | 6.481 % | 645.41/652.89 c | 574854 | 234566 1287076 4180989 | 1 149363 28 | 6.481 % | 645.41/652.89 c | 574954 | 234566 1287076 4180989 | 1 149463 28 | 6.481 % | 645.41/652.89 c | 576628 | 234566 1287076 4180989 | 1 151137 28 | 6.481 % | 645.41/652.89 c | 580664 | 234566 1287076 4180989 | 1 155173 29 | 6.481 % | 645.41/652.89 c | 581619 | 234566 1287076 4180989 | 1 156128 29 | 6.481 % | 645.41/652.89 c | 582351 | 234566 1287076 4180989 | 1 156860 29 | 6.481 % | 645.41/652.89 c | 582451 | 234566 1287076 4180989 | 1 156960 29 | 6.481 % | 645.41/652.89 c | 583044 | 234566 1287076 4180989 | 1 157553 30 | 6.481 % | 645.41/652.89 c | 584269 | 234566 1287076 4180989 | 1 158778 30 | 6.481 % | 645.41/652.89 c | 584369 | 234566 1287076 4180989 | 1 158878 30 | 6.481 % | 645.41/652.89 c | 585276 | 234566 1287076 4180989 | 1 159785 30 | 6.481 % | 645.41/652.89 c | 585379 | 234566 1287076 4180989 | 1 159888 30 | 6.481 % | 645.41/652.89 c | 585838 | 234566 1287076 4180989 | 1 160347 30 | 6.481 % | 645.41/652.89 c | 585939 | 234566 1287076 4180989 | 1 160448 30 | 6.481 % | 645.41/652.89 c | 586043 | 234566 1287076 4180989 | 1 160552 30 | 6.481 % | 679.81/687.29 c | 586512 | 234566 1287076 4180989 | 1 161021 30 | 6.481 % | 679.81/687.29 c | 586612 | 234566 1287076 4180989 | 1 161121 30 | 6.481 % | 679.81/687.29 c | 586779 | 234566 1287076 4180989 | 1 161288 30 | 6.481 % | 679.81/687.29 c | 586964 | 234566 1287076 4180989 | 1 161473 30 | 6.481 % | 679.81/687.29 c | 587418 | 234566 1287076 4180989 | 1 161927 30 | 6.481 % | 679.81/687.29 c | 587518 | 234566 1287076 4180989 | 1 162027 30 | 6.481 % | 679.81/687.29 c | 587722 | 234566 1287076 4180989 | 1 162231 30 | 6.481 % | 679.81/687.29 c | 588821 | 234566 1287076 4180989 | 1 163330 30 | 6.481 % | 679.81/687.29 c | 590338 | 234566 1287076 4180989 | 1 164847 30 | 6.481 % | 679.81/687.29 c | 593721 | 234566 1287076 4180989 | 1 168230 31 | 6.481 % | 679.81/687.29 c | 594286 | 234566 1287076 4180989 | 1 168795 31 | 6.481 % | 679.81/687.29 c | 594386 | 234566 1287076 4180989 | 1 168895 31 | 6.481 % | 679.81/687.29 c | 594488 | 234566 1287076 4180989 | 1 168997 31 | 6.481 % | 679.81/687.29 c | 594989 | 234566 1287076 4180989 | 1 169498 31 | 6.481 % | 679.81/687.29 c | 595238 | 234566 1287076 4180989 | 1 169747 31 | 6.481 % | 679.81/687.29 c | 595339 | 234566 1287076 4180989 | 1 169848 31 | 6.481 % | 679.81/687.29 c | 595439 | 234566 1287076 4180989 | 1 169948 31 | 6.481 % | 679.81/687.29 c | 597890 | 234566 1287076 4180989 | 1 172399 32 | 6.481 % | 679.81/687.29 c | 599187 | 234566 1287076 4180989 | 1 173696 32 | 6.481 % | 679.81/687.29 c | 599345 | 234566 1287076 4180989 | 1 173854 32 | 6.481 % | 679.81/687.29 c | 599482 | 234566 1287076 4180989 | 1 173991 32 | 6.481 % | 679.81/687.29 c | 599873 | 234566 1287076 4180989 | 1 174382 32 | 6.481 % | 679.81/687.29 c | 599973 | 234566 1287076 4180989 | 1 174482 32 | 6.481 % | 679.81/687.29 c | 600073 | 234566 1287076 4180989 | 1 174582 32 | 6.481 % | 679.81/687.29 c | 600229 | 234566 1287076 4180989 | 1 174738 32 | 6.481 % | 679.81/687.29 c | 600329 | 234566 1287076 4180989 | 1 174838 32 | 6.481 % | 679.81/687.29 c | 600429 | 234566 1287076 4180989 | 1 174938 32 | 6.481 % | 679.81/687.29 c | 600530 | 234566 1287076 4180989 | 1 175039 32 | 6.481 % | 679.81/687.29 c | 600633 | 234566 1287076 4180989 | 1 175142 32 | 6.481 % | 679.81/687.29 c | 600733 | 234566 1287076 4180989 | 1 175242 32 | 6.481 % | 679.81/687.29 c | 600835 | 234566 1287076 4180989 | 1 175344 32 | 6.481 % | 679.81/687.29 c | 600938 | 234566 1287076 4180989 | 1 175447 32 | 6.481 % | 679.81/687.29 c | 601038 | 234566 1287076 4180989 | 1 175547 32 | 6.481 % | 679.81/687.29 c | 601138 | 234566 1287076 4180989 | 1 175647 32 | 6.481 % | 679.81/687.29 c | 601238 | 234566 1287076 4180989 | 1 175747 32 | 6.481 % | 679.81/687.29 c | 603293 | 234566 1287076 4180989 | 1 177802 33 | 6.481 % | 679.81/687.29 c | 603393 | 234566 1287076 4180989 | 1 177902 33 | 6.481 % | 679.81/687.29 c | 604100 | 234566 1287076 4180989 | 1 178609 33 | 6.481 % | 679.81/687.29 c | 604386 | 234566 1287076 4180989 | 1 178895 33 | 6.481 % | 679.81/687.29 c | 604486 | 234566 1287076 4180989 | 1 178995 33 | 6.481 % | 679.81/687.29 c | 604586 | 234566 1287076 4180989 | 1 179095 33 | 6.481 % | 679.81/687.29 c | 606088 | 234565 1287072 4180977 | 1 180573 33 | 6.481 % | 679.81/687.29 c | 607736 | 234565 1287072 4180977 | 1 182221 33 | 6.481 % | 679.81/687.29 c | 607997 | 234565 1287072 4180977 | 1 182482 34 | 6.481 % | 679.81/687.29 c | 608545 | 234565 1287072 4180977 | 1 183030 34 | 6.481 % | 679.81/687.29 c | 609375 | 234565 1287072 4180977 | 1 183860 34 | 6.481 % | 679.81/687.29 c | 609554 | 234565 1287072 4180977 | 1 184039 34 | 6.481 % | 679.81/687.29 c | 609654 | 234565 1287072 4180977 | 1 184139 34 | 6.481 % | 679.81/687.29 c | 610350 | 234565 1287072 4180977 | 1 184835 34 | 6.481 % | 679.81/687.29 c | 610744 | 234565 1287072 4180977 | 1 185229 34 | 6.481 % | 733.81/741.20 c | 610851 | 234565 1287072 4180977 | 1 185336 34 | 6.481 % | 733.81/741.20 c | 611121 | 234565 1287072 4180977 | 1 185606 34 | 6.481 % | 733.81/741.20 c | 611383 | 234565 1287072 4180977 | 1 185868 34 | 6.481 % | 733.81/741.20 c | 611578 | 234565 1287072 4180977 | 1 186063 34 | 6.481 % | 733.81/741.20 c | 613398 | 234565 1287072 4180977 | 1 187883 34 | 6.481 % | 733.81/741.20 c | 614156 | 234565 1287072 4180977 | 1 188641 34 | 6.481 % | 733.81/741.20 c | 614490 | 234565 1287072 4180977 | 1 188975 34 | 6.481 % | 733.81/741.20 c | 614592 | 234565 1287072 4180977 | 1 189077 34 | 6.481 % | 733.81/741.20 c | 615810 | 234560 1286899 4180458 | 1 189752 34 | 6.483 % | 733.81/741.20 c | 615998 | 234560 1286899 4180458 | 1 189940 34 | 6.483 % | 733.81/741.20 c | 617228 | 234560 1286899 4180458 | 1 130423 20 | 6.483 % | 733.81/741.20 c | 617328 | 234560 1286899 4180458 | 1 130523 20 | 6.483 % | 733.81/741.20 c | 621960 | 234560 1286899 4180458 | 1 135155 21 | 6.483 % | 733.81/741.20 c | 622061 | 234560 1286899 4180458 | 1 135256 21 | 6.483 % | 733.81/741.20 c | 624679 | 234560 1286899 4180458 | 1 137874 21 | 6.483 % | 733.81/741.20 c | 624998 | 234560 1286899 4180458 | 1 138193 21 | 6.483 % | 733.81/741.20 c | 626286 | 234560 1286899 4180458 | 1 139481 22 | 6.483 % | 733.81/741.20 c | 626386 | 234560 1286899 4180458 | 1 139581 22 | 6.483 % | 733.81/741.20 c | 628597 | 234560 1286899 4180458 | 1 141792 23 | 6.483 % | 733.81/741.20 c | 628697 | 234560 1286899 4180458 | 1 141892 23 | 6.483 % | 733.81/741.20 c | 629204 | 234560 1286899 4180458 | 1 142399 23 | 6.483 % | 733.81/741.20 c | 629322 | 234560 1286899 4180458 | 1 142517 23 | 6.483 % | 733.81/741.20 c | 630512 | 234560 1286899 4180458 | 1 143707 23 | 6.483 % | 733.81/741.20 c | 630656 | 234560 1286899 4180458 | 1 143851 23 | 6.483 % | 733.81/741.20 c | 630756 | 234560 1286899 4180458 | 1 143951 23 | 6.483 % | 733.81/741.20 c | 632173 | 234560 1286899 4180458 | 1 145368 23 | 6.483 % | 733.81/741.20 c | 637531 | 234560 1286899 4180458 | 1 150726 25 | 6.483 % | 733.81/741.20 c | 637692 | 234560 1286899 4180458 | 1 150887 25 | 6.483 % | 733.81/741.20 c | 637792 | 234560 1286899 4180458 | 1 150987 25 | 6.483 % | 733.81/741.20 c | 637893 | 234560 1286899 4180458 | 1 151088 25 | 6.483 % | 733.81/741.20 c | 638341 | 234560 1286899 4180458 | 1 151536 25 | 6.483 % | 733.81/741.20 c | 638600 | 234560 1286899 4180458 | 1 151795 25 | 6.483 % | 733.81/741.20 c | 638702 | 234560 1286899 4180458 | 1 151897 25 | 6.483 % | 733.81/741.20 c | 638802 | 234560 1286899 4180458 | 1 151997 25 | 6.483 % | 733.81/741.20 c | 638904 | 234560 1286899 4180458 | 1 152099 25 | 6.483 % | 733.81/741.20 c | 640205 | 234560 1286899 4180458 | 1 153400 25 | 6.483 % | 733.81/741.20 c | 643505 | 234560 1286899 4180458 | 1 156700 27 | 6.483 % | 733.81/741.20 c | 643605 | 234560 1286899 4180458 | 1 156800 27 | 6.483 % | 733.81/741.20 c | 647362 | 234560 1286899 4180458 | 1 160557 27 | 6.483 % | 733.81/741.20 c | 647463 | 234560 1286899 4180458 | 1 160658 27 | 6.483 % | 733.81/741.20 c | 647966 | 234560 1286899 4180458 | 1 161161 27 | 6.483 % | 733.81/741.20 c | 648179 | 234560 1286899 4180458 | 1 161374 27 | 6.483 % | 733.81/741.20 c | 649085 | 234560 1286899 4180458 | 1 162280 28 | 6.483 % | 733.81/741.20 c | 649519 | 234560 1286899 4180458 | 1 162714 28 | 6.483 % | 733.81/741.20 c | 649621 | 234560 1286899 4180458 | 1 162816 28 | 6.483 % | 733.81/741.20 c | 650496 | 234560 1286899 4180458 | 1 163691 28 | 6.483 % | 733.81/741.20 c | 650596 | 234560 1286899 4180458 | 1 163791 28 | 6.483 % | 733.81/741.20 c | 651257 | 234560 1286899 4180458 | 1 164452 28 | 6.483 % | 733.81/741.20 c | 651558 | 234560 1286899 4180458 | 1 164753 28 | 6.483 % | 733.81/741.20 c | 653541 | 234560 1286899 4180458 | 1 166736 28 | 6.483 % | 791.71/799.10 c | 656279 | 234560 1286899 4180458 | 1 169474 29 | 6.483 % | 791.71/799.10 c | 656379 | 234560 1286899 4180458 | 1 169574 29 | 6.483 % | 791.71/799.10 c | 656642 | 234560 1286899 4180458 | 1 169837 29 | 6.483 % | 791.71/799.10 c | 656743 | 234560 1286899 4180458 | 1 169938 29 | 6.483 % | 791.71/799.10 c | 656922 | 234560 1286899 4180458 | 1 170117 29 | 6.483 % | 791.71/799.10 c | 657029 | 234560 1286899 4180458 | 1 170224 29 | 6.483 % | 791.71/799.10 c | 658641 | 234560 1286899 4180458 | 1 171836 29 | 6.483 % | 791.71/799.10 c | 658741 | 234560 1286899 4180458 | 1 171936 29 | 6.483 % | 791.71/799.10 c | 659411 | 234560 1286899 4180458 | 1 172606 29 | 6.483 % | 791.71/799.10 c | 660157 | 234560 1286899 4180458 | 1 173352 29 | 6.483 % | 791.71/799.10 c | 662439 | 231075 1286806 4180080 | 1 175402 30 | 7.873 % | 791.71/799.10 c | 662539 | 231075 1286806 4180080 | 1 175502 30 | 7.873 % | 791.71/799.10 c | 662673 | 231075 1286806 4180080 | 1 175636 30 | 7.873 % | 791.71/799.10 c | 662799 | 231075 1286806 4180080 | 1 175762 30 | 7.873 % | 791.71/799.10 c | 662902 | 231075 1286806 4180080 | 1 175865 30 | 7.873 % | 791.71/799.10 c | 663480 | 231075 1286806 4180080 | 1 176443 30 | 7.873 % | 791.71/799.10 c | 663580 | 231075 1286806 4180080 | 1 176543 30 | 7.873 % | 791.71/799.10 c | 666579 | 231075 1286806 4180080 | 1 179542 30 | 7.873 % | 791.71/799.10 c | 666679 | 231075 1253120 4034567 | 1 148264 30 | 7.873 % | 791.71/799.10 c | 667198 | 231075 1253120 4034567 | 1 148783 30 | 7.873 % | 791.71/799.10 c | 667597 | 231075 1253120 4034567 | 1 149182 30 | 7.873 % | 791.71/799.10 c | 667762 | 231075 1253120 4034567 | 1 149347 30 | 7.873 % | 791.71/799.10 c | 667862 | 231075 1253120 4034567 | 1 149447 30 | 7.873 % | 791.71/799.10 c | 669737 | 231068 1253063 4034318 | 1 149017 30 | 7.875 % | 791.71/799.10 c | 669983 | 231068 1253063 4034318 | 1 149263 30 | 7.875 % | 791.71/799.10 c | 670331 | 231068 1253063 4034318 | 1 149611 30 | 7.875 % | 791.71/799.10 c | 670730 | 231068 1253063 4034318 | 1 150010 30 | 7.875 % | 791.71/799.10 c | 671744 | 231068 1253063 4034318 | 1 151024 30 | 7.875 % | 791.71/799.10 c | 671847 | 231068 1253063 4034318 | 1 151127 30 | 7.875 % | 791.71/799.10 c | 672017 | 231068 1253063 4034318 | 1 151297 30 | 7.875 % | 791.71/799.10 c | 672120 | 231068 1253063 4034318 | 1 151400 30 | 7.875 % | 791.71/799.10 c | 673835 | 230939 1252723 4032962 | 1 147149 29 | 7.927 % | 791.71/799.10 c | 675691 | 230939 1252723 4032962 | 1 149005 29 | 7.927 % | 791.71/799.10 c | 675878 | 230927 1252028 4030169 | 1 146456 28 | 7.932 % | 791.71/799.10 c | 679230 | 230886 1251644 4028537 | 1 146305 28 | 7.948 % | 791.71/799.10 c | 679330 | 230886 1251644 4028537 | 1 146405 28 | 7.948 % | 791.71/799.10 c | 680496 | 230886 1251644 4028537 | 1 147571 28 | 7.948 % | 791.71/799.10 c | 685264 | 230886 1251644 4028537 | 1 152339 29 | 7.948 % | 791.71/799.10 c | 685854 | 230886 1251644 4028537 | 1 152929 29 | 7.948 % | 791.71/799.10 c | 687721 | 230886 1251644 4028537 | 1 154796 30 | 7.948 % | 791.71/799.10 c | 690131 | 230886 1251644 4028537 | 1 157206 30 | 7.948 % | 791.71/799.10 c | 691551 | 230886 1251644 4028537 | 1 158626 30 | 7.948 % | 791.71/799.10 c | 691851 | 230886 1251644 4028537 | 1 158926 30 | 7.948 % | 791.71/799.10 c | 693739 | 230886 1251644 4028537 | 1 114173 18 | 7.948 % | 791.71/799.10 c | 693901 | 230886 1251644 4028537 | 1 114335 18 | 7.948 % | 791.71/799.10 c | 696082 | 230886 1251644 4028537 | 1 116516 18 | 7.948 % | 791.71/799.10 c | 697024 | 230886 1251644 4028537 | 1 117458 19 | 7.948 % | 791.71/799.10 c | 697126 | 230886 1251644 4028537 | 1 117560 19 | 7.948 % | 791.71/799.10 c | 697263 | 230886 1251644 4028537 | 1 117697 19 | 7.948 % | 791.71/799.10 c | 698403 | 230886 1251644 4028537 | 1 118837 19 | 7.948 % | 852.72/860.18 c | 698572 | 230886 1251644 4028537 | 1 119006 19 | 7.948 % | 852.72/860.18 c | 699431 | 230886 1251644 4028537 | 1 119865 20 | 7.948 % | 852.72/860.18 c | 699583 | 230886 1251644 4028537 | 1 120017 20 | 7.948 % | 852.72/860.18 c | 701150 | 230886 1251644 4028537 | 1 121584 21 | 7.948 % | 852.72/860.18 c | 702073 | 230886 1251644 4028537 | 1 122507 21 | 7.948 % | 852.72/860.18 c | 702189 | 230886 1251644 4028537 | 1 122623 21 | 7.948 % | 852.72/860.18 c | 702594 | 230886 1251644 4028537 | 1 123028 21 | 7.948 % | 852.72/860.18 c | 702696 | 230886 1251644 4028537 | 1 123130 21 | 7.948 % | 852.72/860.18 c | 702798 | 230886 1251644 4028537 | 1 123232 21 | 7.948 % | 852.72/860.18 c | 702898 | 230886 1251644 4028537 | 1 123332 21 | 7.948 % | 852.72/860.18 c | 703499 | 230886 1251644 4028537 | 1 123933 21 | 7.948 % | 852.72/860.18 c | 704182 | 230886 1251644 4028537 | 1 124616 21 | 7.948 % | 852.72/860.18 c | 704282 | 230886 1251644 4028537 | 1 124716 21 | 7.948 % | 852.72/860.18 c | 704791 | 230886 1251644 4028537 | 1 125225 22 | 7.948 % | 852.72/860.18 c | 705137 | 230886 1251644 4028537 | 1 125571 22 | 7.948 % | 852.72/860.18 c | 706891 | 230886 1251644 4028537 | 1 127325 22 | 7.948 % | 852.72/860.18 c | 708802 | 230886 1251644 4028537 | 1 129236 23 | 7.948 % | 852.72/860.18 c | 708902 | 230886 1251644 4028537 | 1 129336 23 | 7.948 % | 852.72/860.18 c | 709707 | 230886 1251644 4028537 | 1 130141 23 | 7.948 % | 852.72/860.18 c | 714674 | 230869 1251534 4028015 | 1 134763 24 | 7.955 % | 852.72/860.18 c | 727237 | 230864 1251499 4027856 | 1 147321 26 | 7.957 % | 852.72/860.18 c | 727339 | 230864 1251499 4027856 | 1 147423 26 | 7.957 % | 852.72/860.18 c | 727735 | 230864 1251499 4027856 | 1 147819 27 | 7.957 % | 852.72/860.18 c | 728984 | 230864 1251499 4027856 | 1 149068 27 | 7.957 % | 852.72/860.18 c | 729196 | 230864 1251499 4027856 | 1 149280 27 | 7.957 % | 852.72/860.18 c | 729377 | 230864 1251499 4027856 | 1 149461 27 | 7.957 % | 852.72/860.18 c | 729478 | 230864 1251499 4027856 | 1 149562 27 | 7.957 % | 852.72/860.18 c | 729706 | 230864 1251499 4027856 | 1 149790 27 | 7.957 % | 852.72/860.18 c | 729819 | 230864 1251499 4027856 | 1 149903 27 | 7.957 % | 852.72/860.18 c | 729919 | 230864 1251499 4027856 | 1 150003 27 | 7.957 % | 852.72/860.18 c | 730025 | 230864 1251499 4027856 | 1 150109 27 | 7.957 % | 852.72/860.18 c | 730482 | 230864 1251499 4027856 | 1 150566 27 | 7.957 % | 852.72/860.18 c | 731389 | 230864 1251499 4027856 | 1 151473 27 | 7.957 % | 852.72/860.18 c | 731490 | 230864 1251499 4027856 | 1 151574 27 | 7.957 % | 852.72/860.18 c | 732235 | 230864 1251499 4027856 | 1 152319 27 | 7.957 % | 852.72/860.18 c | 732335 | 230864 1251499 4027856 | 1 152419 27 | 7.957 % | 852.72/860.18 c | 736941 | 230864 1251499 4027856 | 1 157025 28 | 7.957 % | 852.72/860.18 c | 737142 | 230864 1251499 4027856 | 1 157226 29 | 7.957 % | 852.72/860.18 c | 737242 | 230864 1251499 4027856 | 1 157326 29 | 7.957 % | 852.72/860.18 c | 739736 | 230864 1251499 4027856 | 1 159820 29 | 7.957 % | 852.72/860.18 c | 740297 | 230864 1251499 4027856 | 1 160381 29 | 7.957 % | 852.72/860.18 c | 741028 | 230864 1251499 4027856 | 1 161112 29 | 7.957 % | 852.72/860.18 c | 742075 | 230864 1251499 4027856 | 1 162159 29 | 7.957 % | 852.72/860.18 c | 742341 | 230864 1251499 4027856 | 1 162425 30 | 7.957 % | 852.72/860.18 c | 745841 | 230864 1251499 4027856 | 1 165925 30 | 7.957 % | 852.72/860.18 c | 746559 | 230864 1251499 4027856 | 1 166643 30 | 7.957 % | 852.72/860.18 c | 747350 | 230864 1251499 4027856 | 1 167434 30 | 7.957 % | 852.72/860.18 c | 749603 | 230864 1251499 4027856 | 1 169687 30 | 7.957 % | 852.72/860.18 c | 750404 | 230864 1251499 4027856 | 1 170488 31 | 7.957 % | 852.72/860.18 c | 751030 | 230864 1251499 4027856 | 1 171114 31 | 7.957 % | 922.91/930.30 c | 751132 | 230864 1251499 4027856 | 1 171216 31 | 7.957 % | 922.91/930.30 c | 754973 | 230864 1251499 4027856 | 1 175057 32 | 7.957 % | 922.91/930.30 c | 760041 | 228755 1251089 4026193 | 1 173270 32 | 8.798 % | 922.91/930.30 c | 762417 | 228754 1229813 3935589 | 1 153074 30 | 8.798 % | 922.91/930.30 c | 763260 | 228754 1229813 3935589 | 1 153917 31 | 8.798 % | 922.91/930.30 c | 763563 | 228754 1229813 3935589 | 1 154220 31 | 8.798 % | 922.91/930.30 c | 764400 | 228736 1229800 3935544 | 1 155056 31 | 8.805 % | 922.91/930.30 c | 764782 | 228736 1229800 3935544 | 1 155438 31 | 8.805 % | 922.91/930.30 c | 765282 | 228736 1229800 3935544 | 1 155938 31 | 8.805 % | 922.91/930.30 c | 765707 | 228736 1229800 3935544 | 1 156363 31 | 8.805 % | 922.91/930.30 c | 766402 | 228736 1229800 3935544 | 1 157058 31 | 8.805 % | 922.91/930.30 c | 767578 | 228736 1229706 3935188 | 1 157901 31 | 8.805 % | 922.91/930.30 c | 768562 | 228736 1229706 3935188 | 1 158885 32 | 8.805 % | 922.91/930.30 c | 775739 | 228736 1229706 3935188 | 1 166062 33 | 8.805 % | 922.91/930.30 c | 775995 | 228736 1229706 3935188 | 1 116736 19 | 8.805 % | 922.91/930.30 c | 776161 | 228736 1229706 3935188 | 1 116902 19 | 8.805 % | 922.91/930.30 c | 777649 | 228736 1229706 3935188 | 1 118390 19 | 8.805 % | 922.91/930.30 c | 778252 | 228736 1229706 3935188 | 1 118993 19 | 8.805 % | 922.91/930.30 c | 780752 | 228736 1229706 3935188 | 1 121493 20 | 8.805 % | 922.91/930.30 c | 780854 | 228736 1229706 3935188 | 1 121595 20 | 8.805 % | 922.91/930.30 c | 781117 | 228736 1229706 3935188 | 1 121858 20 | 8.805 % | 922.91/930.30 c | 781252 | 228736 1229706 3935188 | 1 121993 20 | 8.805 % | 922.91/930.30 c | 781952 | 228736 1229706 3935188 | 1 122693 20 | 8.805 % | 922.91/930.30 c | 783676 | 228736 1229706 3935188 | 1 124417 21 | 8.805 % | 922.91/930.30 c | 785589 | 228736 1229706 3935188 | 1 126330 21 | 8.805 % | 922.91/930.30 c | 785795 | 228736 1229706 3935188 | 1 126536 21 | 8.805 % | 922.91/930.30 c | 786013 | 228736 1229706 3935188 | 1 126754 21 | 8.805 % | 922.91/930.30 c | 786229 | 228736 1229706 3935188 | 1 126970 22 | 8.805 % | 922.91/930.30 c | 786482 | 228736 1229706 3935188 | 1 127223 22 | 8.805 % | 922.91/930.30 c | 787980 | 228736 1229706 3935188 | 1 128721 22 | 8.805 % | 922.91/930.30 c | 788300 | 228736 1229706 3935188 | 1 129041 22 | 8.805 % | 922.91/930.30 c | 788438 | 228736 1229706 3935188 | 1 129179 22 | 8.805 % | 922.91/930.30 c | 789991 | 228731 1229533 3934669 | 1 130278 22 | 8.807 % | 922.91/930.30 c | 790091 | 228731 1229533 3934669 | 1 130378 22 | 8.807 % | 922.91/930.30 c | 790936 | 228688 1229245 3933492 | 1 127841 21 | 8.824 % | 922.91/930.30 c | 791296 | 228688 1229245 3933492 | 1 128201 22 | 8.824 % | 922.91/930.30 c | 791397 | 228688 1229245 3933492 | 1 128302 22 | 8.824 % | 922.91/930.30 c | 792260 | 228688 1229245 3933492 | 1 129165 22 | 8.824 % | 922.91/930.30 c | 793167 | 228688 1229245 3933492 | 1 130072 22 | 8.824 % | 922.91/930.30 c | 793267 | 228688 1229245 3933492 | 1 130172 22 | 8.824 % | 922.91/930.30 c | 793397 | 228688 1229245 3933492 | 1 130302 22 | 8.824 % | 922.91/930.30 c | 793499 | 228688 1229245 3933492 | 1 130404 22 | 8.824 % | 922.91/930.30 c | 795715 | 228688 1229245 3933492 | 1 132620 23 | 8.824 % | 922.91/930.30 c | 802554 | 228688 1229245 3933492 | 1 139459 24 | 8.824 % | 922.91/930.30 c | 807347 | 228688 1229245 3933492 | 1 144252 25 | 8.824 % | 922.91/930.30 c | 807465 | 228688 1229245 3933492 | 1 144370 25 | 8.824 % | 922.91/930.30 c | 809019 | 228688 1229245 3933492 | 1 145924 26 | 8.824 % | 922.91/930.30 c | 809599 | 228688 1229245 3933492 | 1 146504 26 | 8.824 % | 922.91/930.30 c | 809700 | 228688 1229245 3933492 | 1 146605 26 | 8.824 % | 922.91/930.30 c | 809800 | 228688 1229245 3933492 | 1 146705 26 | 8.824 % | 987.82/995.29 c | 813091 | 228688 1229245 3933492 | 1 149996 26 | 8.824 % | 987.82/995.29 c | 814528 | 228688 1229245 3933492 | 1 151433 27 | 8.824 % | 987.82/995.29 c | 815067 | 228688 1229245 3933492 | 1 151972 27 | 8.824 % | 987.82/995.29 c | 815700 | 228688 1229245 3933492 | 1 152605 27 | 8.824 % | 987.82/995.29 c | 815824 | 228688 1229245 3933492 | 1 152729 27 | 8.824 % | 987.82/995.29 c | 816348 | 228688 1229245 3933492 | 1 153253 27 | 8.824 % | 987.82/995.29 c | 816999 | 228688 1229245 3933492 | 1 153904 27 | 8.824 % | 987.82/995.29 c | 817575 | 228688 1229245 3933492 | 1 154480 27 | 8.824 % | 987.82/995.29 c | 818374 | 228688 1229245 3933492 | 1 155279 27 | 8.824 % | 987.82/995.29 c | 818713 | 228688 1229245 3933492 | 1 155618 28 | 8.824 % | 987.82/995.29 c | 820077 | 228688 1229245 3933492 | 1 156982 28 | 8.824 % | 987.82/995.29 c | 820256 | 228688 1229245 3933492 | 1 157161 28 | 8.824 % | 987.82/995.29 c | 820675 | 228688 1229245 3933492 | 1 157580 28 | 8.824 % | 987.82/995.29 c | 820776 | 228688 1229245 3933492 | 1 157681 28 | 8.824 % | 987.82/995.29 c | 821183 | 228688 1229245 3933492 | 1 158088 28 | 8.824 % | 987.82/995.29 c | 821283 | 228688 1229245 3933492 | 1 158188 28 | 8.824 % | 987.82/995.29 c | 821842 | 228688 1229245 3933492 | 1 158747 28 | 8.824 % | 987.82/995.29 c | 822101 | 228688 1229245 3933492 | 1 159006 28 | 8.824 % | 987.82/995.29 c | 823557 | 228688 1229245 3933492 | 1 160462 28 | 8.824 % | 987.82/995.29 c | 823767 | 228688 1229245 3933492 | 1 160672 28 | 8.824 % | 987.82/995.29 c | 823911 | 228688 1229245 3933492 | 1 160816 28 | 8.824 % | 987.82/995.29 c | 824256 | 228688 1229245 3933492 | 1 161161 29 | 8.824 % | 987.82/995.29 c | 824357 | 228688 1229245 3933492 | 1 161262 29 | 8.824 % | 987.82/995.29 c | 826913 | 228688 1229245 3933492 | 1 163818 29 | 8.824 % | 987.82/995.29 c | 827489 | 228688 1229245 3933492 | 1 164394 29 | 8.824 % | 987.82/995.29 c | 827589 | 228688 1229245 3933492 | 1 164494 29 | 8.824 % | 987.82/995.29 c | 828854 | 228688 1229245 3933492 | 1 165759 29 | 8.824 % | 987.82/995.29 c | 829249 | 228688 1229245 3933492 | 1 166154 29 | 8.824 % | 987.82/995.29 c | 830215 | 228688 1229245 3933492 | 1 167120 29 | 8.824 % | 987.82/995.29 c | 830316 | 228688 1229245 3933492 | 1 167221 29 | 8.824 % | 987.82/995.29 c | 830448 | 228688 1229245 3933492 | 1 167353 29 | 8.824 % | 987.82/995.29 c | 830551 | 228688 1229245 3933492 | 1 167456 29 | 8.824 % | 987.82/995.29 c | 832295 | 228687 1229241 3933480 | 1 168944 30 | 8.825 % | 987.82/995.29 c | 833057 | 228687 1229241 3933480 | 1 169706 30 | 8.825 % | 987.82/995.29 c | 841044 | 228687 1229241 3933480 | 1 177693 32 | 8.825 % | 987.82/995.29 c | 847919 | 228687 1229241 3933480 | 1 184568 32 | 8.825 % | 987.82/995.29 c | 849966 | 228687 1229241 3933480 | 1 186615 32 | 8.825 % | 987.82/995.29 c | 850200 | 228687 1229241 3933480 | 1 186849 32 | 8.825 % | 987.82/995.29 c | 851665 | 228687 1229241 3933480 | 1 188314 33 | 8.825 % | 987.82/995.29 c | 851766 | 228687 1229241 3933480 | 1 188415 33 | 8.825 % | 987.82/995.29 c | 853942 | 228670 1229145 3933073 | 1 190219 33 | 8.831 % | 987.82/995.29 c | 854794 | 228670 1229145 3933073 | 1 191071 33 | 8.831 % | 987.82/995.29 c | 855076 | 228670 1229139 3933055 | 1 191353 33 | 8.831 % | 987.82/995.29 c | 855541 | 228670 1229139 3933055 | 1 191818 33 | 8.831 % | 987.82/995.29 c | 856373 | 228670 1229139 3933055 | 1 192650 33 | 8.831 % | 987.82/995.29 c | 857554 | 228670 1229139 3933055 | 1 193831 34 | 8.831 % | 987.82/995.29 c | 858379 | 228670 1229139 3933055 | 1 194656 34 | 8.831 % | 987.82/995.29 c | 858588 | 228670 1229139 3933055 | 1 194865 34 | 8.831 % | 987.82/995.29 c | 858691 | 228670 1229139 3933055 | 1 194968 34 | 8.831 % | 987.82/995.29 c | 858795 | 228670 1229139 3933055 | 1 195072 34 | 8.831 % | 1074.62/1082.06 c | 859937 | 228670 1229139 3933055 | 1 196214 34 | 8.831 % | 1074.62/1082.06 c | 872296 | 228670 1229139 3933055 | 1 144224 21 | 8.831 % | 1074.62/1082.06 c | 873086 | 228670 1229139 3933055 | 1 145014 22 | 8.831 % | 1074.62/1082.06 c | 874019 | 228670 1229139 3933055 | 1 145947 22 | 8.831 % | 1074.62/1082.06 c | 881992 | 228669 1229133 3933037 | 1 153919 24 | 8.832 % | 1074.62/1082.06 c | 882218 | 228669 1229133 3933037 | 1 154145 24 | 8.832 % | 1074.62/1082.06 c | 883578 | 228669 1229133 3933037 | 1 155505 24 | 8.832 % | 1074.62/1082.06 c | 884499 | 228669 1229133 3933037 | 1 156426 25 | 8.832 % | 1074.62/1082.06 c | 889556 | 228669 1229133 3933037 | 1 161483 26 | 8.832 % | 1074.62/1082.06 c | 891124 | 228669 1229133 3933037 | 1 163051 26 | 8.832 % | 1074.62/1082.06 c | 891541 | 222094 1229133 3933037 | 1 163462 26 | 11.453 % | 1074.62/1082.06 c | 891854 | 222093 1229133 3933037 | 1 163774 26 | 11.454 % | 1074.62/1082.06 c | 891955 | 222093 1229133 3933037 | 1 163875 26 | 11.454 % | 1074.62/1082.06 c | 892698 | 222093 1229133 3933037 | 1 164618 26 | 11.454 % | 1074.62/1082.06 c | 893267 | 222093 1229133 3933037 | 1 165187 26 | 11.454 % | 1074.62/1082.06 c | 894325 | 222093 1190893 3792926 | 1 165590 27 | 11.454 % | 1074.62/1082.06 c | 894425 | 222093 1190893 3792926 | 1 165690 27 | 11.454 % | 1074.62/1082.06 c | 898234 | 222093 1190893 3792926 | 1 169499 27 | 11.454 % | 1074.62/1082.06 c | 903080 | 222093 1190893 3792926 | 1 174345 28 | 11.454 % | 1074.62/1082.06 c | 907751 | 222092 1190879 3792878 | 1 179015 29 | 11.454 % | 1074.62/1082.06 c | 908357 | 222092 1190879 3792878 | 1 179621 29 | 11.454 % | 1074.62/1082.06 c | 908457 | 222092 1190879 3792878 | 1 179721 29 | 11.454 % | 1074.62/1082.06 c | 908580 | 222092 1190879 3792878 | 1 179844 29 | 11.454 % | 1074.62/1082.06 c | 909872 | 222092 1190879 3792878 | 1 181136 29 | 11.454 % | 1074.62/1082.06 c | 910175 | 222092 1190879 3792878 | 1 181439 29 | 11.454 % | 1074.62/1082.06 c | 912493 | 222092 1190879 3792878 | 1 183757 29 | 11.454 % | 1074.62/1082.06 c | 912595 | 222092 1190879 3792878 | 1 183859 29 | 11.454 % | 1074.62/1082.06 c | 912697 | 222092 1190879 3792878 | 1 183961 29 | 11.454 % | 1074.62/1082.06 c | 913660 | 222092 1190879 3792878 | 1 184924 30 | 11.454 % | 1074.62/1082.06 c | 913948 | 222092 1190879 3792878 | 1 185212 30 | 11.454 % | 1074.62/1082.06 c | 914494 | 222092 1190879 3792878 | 1 185758 30 | 11.454 % | 1074.62/1082.06 c | 914857 | 222092 1190879 3792878 | 1 186121 30 | 11.454 % | 1074.62/1082.06 c | 914988 | 222092 1190879 3792878 | 1 186252 30 | 11.454 % | 1074.62/1082.06 c | 915103 | 222092 1190879 3792878 | 1 186367 30 | 11.454 % | 1074.62/1082.06 c | 916303 | 222092 1190879 3792878 | 1 187567 30 | 11.454 % | 1074.62/1082.06 c | 918948 | 222092 1190879 3792878 | 1 190212 30 | 11.454 % | 1074.62/1082.06 c | 919216 | 222092 1190879 3792878 | 1 190480 30 | 11.454 % | 1074.62/1082.06 c | 921684 | 222077 1190522 3791807 | 1 192920 31 | 11.460 % | 1074.62/1082.06 c | 922494 | 222077 1190522 3791807 | 1 193730 31 | 11.460 % | 1074.62/1082.06 c | 922595 | 222077 1190522 3791807 | 1 193831 31 | 11.460 % | 1074.62/1082.06 c | 922697 | 222077 1190522 3791807 | 1 193933 31 | 11.460 % | 1074.62/1082.06 c | 922798 | 222077 1190522 3791807 | 1 194034 31 | 11.460 % | 1074.62/1082.06 c | 923074 | 222077 1190522 3791807 | 1 194310 31 | 11.460 % | 1074.62/1082.06 c | 923253 | 222077 1190522 3791807 | 1 194489 31 | 11.460 % | 1074.62/1082.06 c | 926617 | 222065 1190452 3791540 | 1 196290 31 | 11.465 % | 1074.62/1082.06 c | 926717 | 222065 1190452 3791540 | 1 196390 31 | 11.465 % | 1074.62/1082.06 c | 927491 | 222065 1190452 3791540 | 1 197164 31 | 11.465 % | 1074.62/1082.06 c | 928901 | 222065 1190452 3791540 | 1 198574 32 | 11.465 % | 1074.62/1082.06 c | 929053 | 222065 1190452 3791540 | 1 198726 32 | 11.465 % | 1074.62/1082.06 c | 930105 | 222065 1190452 3791540 | 1 199778 32 | 11.465 % | 1135.23/1142.63 c | 930547 | 222065 1190452 3791540 | 1 200220 32 | 11.465 % | 1135.23/1142.63 c | 933840 | 222059 1190448 3791528 | 1 203031 32 | 11.467 % | 1135.23/1142.63 c | 939677 | 222057 1190259 3790950 | 1 208590 33 | 11.468 % | 1135.23/1142.63 c | 940409 | 222057 1190259 3790950 | 1 209322 33 | 11.468 % | 1135.23/1142.63 c | 943314 | 222057 1190259 3790950 | 1 212227 33 | 11.468 % | 1135.23/1142.63 c | 943974 | 222057 1190259 3790950 | 1 212887 33 | 11.468 % | 1135.23/1142.63 c | 944601 | 222057 1190259 3790950 | 1 213514 33 | 11.468 % | 1135.23/1142.63 c | 944706 | 222057 1190259 3790950 | 1 213619 33 | 11.468 % | 1135.23/1142.63 c | 945430 | 222057 1190259 3790950 | 1 214343 34 | 11.468 % | 1135.23/1142.63 c | 945531 | 222057 1190259 3790950 | 1 214444 34 | 11.468 % | 1135.23/1142.63 c | 945697 | 222057 1190259 3790950 | 1 214610 34 | 11.468 % | 1135.23/1142.63 c | 947000 | 222057 1190259 3790950 | 1 215913 34 | 11.468 % | 1135.23/1142.63 c | 947218 | 222057 1190259 3790950 | 1 216131 34 | 11.468 % | 1135.23/1142.63 c | 947662 | 222057 1190259 3790950 | 1 216575 34 | 11.468 % | 1135.23/1142.63 c | 948323 | 222057 1190259 3790950 | 1 217236 34 | 11.468 % | 1135.23/1142.63 c | 948459 | 222057 1190259 3790950 | 1 217372 34 | 11.468 % | 1135.23/1142.63 c | 950833 | 222057 1190259 3790950 | 1 219746 34 | 11.468 % | 1135.23/1142.63 c | 951672 | 222057 1190259 3790950 | 1 220585 34 | 11.468 % | 1135.23/1142.63 c | 953018 | 222052 1190086 3790431 | 1 221257 34 | 11.470 % | 1135.23/1142.63 c | 955138 | 222052 1190086 3790431 | 1 148467 19 | 11.470 % | 1135.23/1142.63 c | 956145 | 222052 1190086 3790431 | 1 149474 20 | 11.470 % | 1135.23/1142.63 c | 957315 | 222052 1190086 3790431 | 1 150644 20 | 11.470 % | 1135.23/1142.63 c | 957483 | 222052 1190086 3790431 | 1 150812 20 | 11.470 % | 1135.23/1142.63 c | 957684 | 222052 1190086 3790431 | 1 151013 20 | 11.470 % | 1135.23/1142.63 c | 957784 | 222052 1190086 3790431 | 1 151113 20 | 11.470 % | 1135.23/1142.63 c | 959414 | 222052 1190086 3790431 | 1 152743 21 | 11.470 % | 1135.23/1142.63 c | 964500 | 222052 1190086 3790431 | 1 157829 22 | 11.470 % | 1135.23/1142.63 c | 964777 | 222052 1190086 3790431 | 1 158106 22 | 11.470 % | 1135.23/1142.63 c | 965195 | 222052 1190086 3790431 | 1 158524 22 | 11.470 % | 1135.23/1142.63 c | 965441 | 222052 1190086 3790431 | 1 158770 22 | 11.470 % | 1135.23/1142.63 c | 965631 | 222052 1190086 3790431 | 1 158960 22 | 11.470 % | 1135.23/1142.63 c | 965731 | 222052 1190086 3790431 | 1 159060 22 | 11.470 % | 1135.23/1142.63 c | 965990 | 222052 1190086 3790431 | 1 159319 23 | 11.470 % | 1135.23/1142.63 c | 966677 | 222052 1190086 3790431 | 1 160006 23 | 11.470 % | 1135.23/1142.63 c | 968183 | 222052 1190086 3790431 | 1 161512 23 | 11.470 % | 1135.23/1142.63 c | 968283 | 222052 1190086 3790431 | 1 161612 23 | 11.470 % | 1135.23/1142.63 c | 969567 | 222052 1190086 3790431 | 1 162896 23 | 11.470 % | 1135.23/1142.63 c | 969675 | 222052 1190086 3790431 | 1 163004 23 | 11.470 % | 1135.23/1142.63 c | 970594 | 222052 1190086 3790431 | 1 163923 24 | 11.470 % | 1135.23/1142.63 c | 970906 | 222052 1190086 3790431 | 1 164235 24 | 11.470 % | 1135.23/1142.63 c | 971025 | 222052 1190086 3790431 | 1 164354 24 | 11.470 % | 1135.23/1142.63 c | 971469 | 222052 1190086 3790431 | 1 164798 24 | 11.470 % | 1135.23/1142.63 c | 971633 | 222052 1190086 3790431 | 1 164962 24 | 11.470 % | 1135.23/1142.63 c | 971757 | 222052 1190086 3790431 | 1 165086 24 | 11.470 % | 1135.23/1142.63 c | 972826 | 222047 1189913 3789912 | 1 165939 24 | 11.472 % | 1135.23/1142.63 c | 973532 | 222047 1189913 3789912 | 1 166645 24 | 11.472 % | 1135.23/1142.63 c | 974014 | 222047 1189913 3789912 | 1 167127 24 | 11.472 % | 1135.23/1142.63 c | 974114 | 222047 1189913 3789912 | 1 167227 24 | 11.472 % | 1135.23/1142.63 c | 974214 | 222047 1189913 3789912 | 1 167327 24 | 11.472 % | 1135.23/1142.63 c | 974314 | 222047 1189913 3789912 | 1 167427 24 | 11.472 % | 1191.12/1198.53 c | 975408 | 222047 1189913 3789912 | 1 168521 25 | 11.472 % | 1191.12/1198.53 c | 976543 | 222047 1189913 3789912 | 1 169656 25 | 11.472 % | 1191.12/1198.53 c | 977178 | 222047 1189913 3789912 | 1 170291 25 | 11.472 % | 1191.12/1198.53 c | 977380 | 222047 1189913 3789912 | 1 170493 25 | 11.472 % | 1191.12/1198.53 c | 977483 | 222047 1189913 3789912 | 1 170596 25 | 11.472 % | 1191.12/1198.53 c | 977845 | 222047 1189913 3789912 | 1 170958 25 | 11.472 % | 1191.12/1198.53 c | 978977 | 222047 1189913 3789912 | 1 172090 25 | 11.472 % | 1191.12/1198.53 c | 979080 | 222047 1189913 3789912 | 1 172193 25 | 11.472 % | 1191.12/1198.53 c | 979523 | 222047 1189913 3789912 | 1 172636 25 | 11.472 % | 1191.12/1198.53 c | 979625 | 222047 1189913 3789912 | 1 172738 25 | 11.472 % | 1191.12/1198.53 c | 981239 | 222047 1189913 3789912 | 1 174352 25 | 11.472 % | 1191.12/1198.53 c | 981392 | 222047 1189913 3789912 | 1 174505 25 | 11.472 % | 1191.12/1198.53 c | 981524 | 222047 1189913 3789912 | 1 174637 25 | 11.472 % | 1191.12/1198.53 c | 982557 | 222047 1189913 3789912 | 1 175670 26 | 11.472 % | 1191.12/1198.53 c | 982873 | 222047 1189913 3789912 | 1 175986 26 | 11.472 % | 1191.12/1198.53 c | 984364 | 222047 1189913 3789912 | 1 177477 26 | 11.472 % | 1191.12/1198.53 c | 984465 | 222047 1189913 3789912 | 1 177578 26 | 11.472 % | 1191.12/1198.53 c | 985914 | 222047 1189913 3789912 | 1 179027 26 | 11.472 % | 1191.12/1198.53 c | 986604 | 222047 1189913 3789912 | 1 179717 27 | 11.472 % | 1191.12/1198.53 c | 986907 | 222047 1189913 3789912 | 1 180020 27 | 11.472 % | 1191.12/1198.53 c | 989015 | 222047 1189913 3789912 | 1 182128 27 | 11.472 % | 1191.12/1198.53 c | 989116 | 222047 1189913 3789912 | 1 182229 27 | 11.472 % | 1191.12/1198.53 c | 990360 | 222046 1189907 3789894 | 1 183472 27 | 11.472 % | 1191.12/1198.53 c | 990461 | 222046 1189907 3789894 | 1 183573 27 | 11.472 % | 1191.12/1198.53 c | 990890 | 222046 1189907 3789894 | 1 184002 27 | 11.472 % | 1191.12/1198.53 c | 993146 | 222046 1189907 3789894 | 1 186258 28 | 11.472 % | 1191.12/1198.53 c | 993372 | 222046 1189907 3789894 | 1 186484 28 | 11.472 % | 1191.12/1198.53 c | 993821 | 222046 1189907 3789894 | 1 186933 28 | 11.472 % | 1191.12/1198.53 c | 994119 | 222046 1189907 3789894 | 1 187231 28 | 11.472 % | 1191.12/1198.53 c | 995247 | 222046 1189907 3789894 | 1 188359 28 | 11.472 % | 1191.12/1198.53 c | 995348 | 222046 1189907 3789894 | 1 188460 28 | 11.472 % | 1191.12/1198.53 c | 995448 | 222046 1189907 3789894 | 1 188560 28 | 11.472 % | 1191.12/1198.53 c | 995835 | 222046 1189907 3789894 | 1 188947 28 | 11.472 % | 1191.12/1198.53 c | 995938 | 222046 1189907 3789894 | 1 189050 28 | 11.472 % | 1191.12/1198.53 c | 998338 | 222046 1189907 3789894 | 1 191450 29 | 11.472 % | 1191.12/1198.53 c | 998438 | 222046 1189907 3789894 | 1 191550 29 | 11.472 % | 1191.12/1198.53 c | 998646 | 222046 1189907 3789894 | 1 191758 29 | 11.472 % | 1191.12/1198.53 c | 998748 | 222046 1189907 3789894 | 1 191860 29 | 11.472 % | 1191.12/1198.53 c | 999203 | 222046 1189907 3789894 | 1 192315 29 | 11.472 % | 1191.12/1198.53 c | 1004890 | 222046 1189907 3789894 | 1 198002 30 | 11.472 % | 1191.12/1198.53 c | 1013487 | 222046 1189907 3789894 | 1 206599 30 | 11.472 % | 1191.12/1198.53 c | 1015796 | 222046 1189907 3789894 | 1 208908 31 | 11.472 % | 1191.12/1198.53 c | 1016025 | 222046 1189907 3789894 | 1 209137 31 | 11.472 % | 1191.12/1198.53 c | 1016392 | 222046 1189907 3789894 | 1 209504 31 | 11.472 % | 1191.12/1198.53 c | 1017043 | 222046 1189907 3789894 | 1 210155 31 | 11.472 % | 1191.12/1198.53 c | 1017520 | 222046 1189907 3789894 | 1 210632 31 | 11.472 % | 1191.12/1198.53 c | 1017703 | 222046 1189907 3789894 | 1 210815 31 | 11.472 % | 1191.12/1198.53 c | 1021320 | 222046 1189907 3789894 | 1 214432 31 | 11.472 % | 1191.12/1198.53 c | 1021435 | 222046 1189907 3789894 | 1 214547 31 | 11.472 % | 1191.12/1198.53 c | 1021535 | 222046 1189907 3789894 | 1 214647 31 | 11.472 % | 1267.22/1274.60 c | 1026231 | 222046 1189907 3789894 | 1 219343 32 | 11.472 % | 1267.22/1274.60 c | 1026331 | 222046 1189907 3789894 | 1 219443 32 | 11.472 % | 1267.22/1274.60 c | 1027915 | 222046 1189907 3789894 | 1 221027 32 | 11.472 % | 1267.22/1274.60 c | 1028070 | 222046 1189907 3789894 | 1 221182 32 | 11.472 % | 1267.22/1274.60 c | 1028316 | 222046 1189907 3789894 | 1 221428 32 | 11.472 % | 1267.22/1274.60 c | 1029732 | 222046 1189907 3789894 | 1 222844 32 | 11.472 % | 1267.22/1274.60 c | 1030836 | 222046 1189907 3789894 | 1 223948 32 | 11.472 % | 1267.22/1274.60 c | 1031782 | 222046 1189907 3789894 | 1 224894 32 | 11.472 % | 1267.22/1274.60 c | 1031894 | 222046 1189907 3789894 | 1 225006 32 | 11.472 % | 1267.22/1274.60 c | 1032647 | 222046 1189907 3789894 | 1 225759 32 | 11.472 % | 1267.22/1274.60 c | 1033685 | 222046 1189907 3789894 | 1 226797 33 | 11.472 % | 1267.22/1274.60 c | 1034509 | 222046 1189907 3789894 | 1 227621 33 | 11.472 % | 1267.22/1274.60 c | 1034982 | 222046 1189907 3789894 | 1 228094 33 | 11.472 % | 1267.22/1274.60 c | 1041911 | 222046 1189907 3789894 | 1 235023 34 | 11.472 % | 1267.22/1274.60 c | 1042013 | 222046 1189907 3789894 | 1 235125 34 | 11.472 % | 1267.22/1274.60 c | 1042620 | 222046 1189907 3789894 | 1 235732 34 | 11.472 % | 1267.22/1274.60 c | 1042720 | 222046 1189907 3789894 | 1 235832 34 | 11.472 % | 1267.22/1274.60 c | 1047529 | 222041 1189734 3789375 | 1 239739 34 | 11.474 % | 1267.22/1274.60 c | 1048578 | 222041 1189734 3789375 | 1 240788 35 | 11.474 % | 1267.22/1274.60 c | 1050132 | 222041 1189734 3789375 | 1 163760 19 | 11.474 % | 1267.22/1274.60 c | 1050246 | 222041 1189734 3789375 | 1 163874 19 | 11.474 % | 1267.22/1274.60 c | 1052929 | 222041 1189734 3789375 | 1 166557 20 | 11.474 % | 1267.22/1274.60 c | 1055989 | 222041 1189734 3789375 | 1 169617 20 | 11.474 % | 1267.22/1274.60 c | 1056449 | 222041 1189734 3789375 | 1 170077 20 | 11.474 % | 1267.22/1274.60 c | 1056873 | 222041 1189734 3789375 | 1 170501 20 | 11.474 % | 1267.22/1274.60 c | 1060608 | 216853 1140240 3573545 | 1 131597 19 | 13.543 % | 1267.22/1274.60 c | 1064908 | 216852 1140234 3573527 | 1 135896 20 | 13.543 % | 1267.22/1274.60 c | 1065651 | 216852 1140234 3573527 | 1 136639 20 | 13.543 % | 1267.22/1274.60 c | 1066944 | 216852 1140234 3573527 | 1 137932 21 | 13.543 % | 1267.22/1274.60 c | 1067044 | 216852 1140234 3573527 | 1 138032 21 | 13.543 % | 1267.22/1274.60 c | 1067254 | 216852 1140234 3573527 | 1 138242 21 | 13.543 % | 1267.22/1274.60 c | 1067479 | 216793 1139794 3571435 | 1 137358 21 | 13.567 % | 1267.22/1274.60 c | 1067702 | 216793 1139794 3571435 | 1 137581 21 | 13.567 % | 1267.22/1274.60 c | 1068131 | 216793 1139794 3571435 | 1 138010 21 | 13.567 % | 1267.22/1274.60 c | 1068551 | 216793 1139794 3571435 | 1 138430 21 | 13.567 % | 1267.22/1274.60 c | 1072736 | 216793 1139794 3571435 | 1 142615 22 | 13.567 % | 1267.22/1274.60 c | 1072912 | 216793 1139794 3571435 | 1 142791 22 | 13.567 % | 1267.22/1274.60 c | 1073012 | 216793 1139794 3571435 | 1 142891 22 | 13.567 % | 1267.22/1274.60 c | 1073114 | 216793 1139794 3571435 | 1 142993 22 | 13.567 % | 1267.22/1274.60 c | 1073214 | 216793 1139794 3571435 | 1 143093 22 | 13.567 % | 1267.22/1274.60 c | 1075348 | 216793 1139794 3571435 | 1 145227 22 | 13.567 % | 1267.22/1274.60 c | 1075577 | 216793 1139794 3571435 | 1 145456 22 | 13.567 % | 1267.22/1274.60 c | 1081207 | 216793 1139794 3571435 | 1 151086 24 | 13.567 % | 1267.22/1274.60 c | 1081454 | 216793 1139794 3571435 | 1 151333 24 | 13.567 % | 1267.22/1274.60 c | 1081555 | 216793 1139794 3571435 | 1 151434 24 | 13.567 % | 1267.22/1274.60 c | 1081842 | 216793 1139794 3571435 | 1 151721 24 | 13.567 % | 1267.22/1274.60 c | 1082615 | 216793 1139794 3571435 | 1 152494 25 | 13.567 % | 1267.22/1274.60 c | 1084689 | 216793 1139794 3571435 | 1 154568 25 | 13.567 % | 1267.22/1274.60 c | 1084789 | 216793 1139794 3571435 | 1 154668 25 | 13.567 % |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291610-1303778616/watcher-3291610-1303778616 -o /tmp/evaluation-result-3291610-1303778616/solver-3291610-1303778616 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291610-1303778616.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.26 3.52 3.79 6/183 16915 /proc/meminfo: memFree=17977160/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 [startup+0.103795 s] /proc/loadavg: 3.26 3.52 3.79 6/183 16915 /proc/meminfo: memFree=17977160/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.20078 s] /proc/loadavg: 3.26 3.52 3.79 6/183 16915 /proc/meminfo: memFree=17977160/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300761 s] /proc/loadavg: 3.26 3.52 3.79 6/183 16915 /proc/meminfo: memFree=17977160/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700694 s] /proc/loadavg: 3.26 3.52 3.79 6/183 16915 /proc/meminfo: memFree=17977160/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50056 s] /proc/loadavg: 3.26 3.52 3.79 6/185 16918 /proc/meminfo: memFree=17717512/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 [pid=16916] ppid=16915 vsize=271612 CPUtime=1.49 cores=5,7 /proc/16916/stat : 16916 (SatELite_releas) R 16915 16915 15815 0 -1 4202496 66596 0 0 0 137 12 0 0 25 0 1 0 489461600 278130688 66191 33554432000 134512640 135144242 4294649024 18446744073709551615 134745534 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16916/statm: 67903 66191 52 155 0 67746 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 280316 [startup+3.10029 s] /proc/loadavg: 3.26 3.52 3.79 4/185 16918 /proc/meminfo: memFree=17622156/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 [pid=16916] ppid=16915 vsize=370620 CPUtime=3.09 cores=5,7 /proc/16916/stat : 16916 (SatELite_releas) R 16915 16915 15815 0 -1 4202496 90393 0 0 0 291 18 0 0 25 0 1 0 489461600 379514880 89988 33554432000 134512640 135144242 4294649024 18446744073709551615 134553391 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16916/statm: 92655 89988 54 155 0 92498 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 379324 [startup+6.30074 s] /proc/loadavg: 3.32 3.53 3.79 4/185 16918 /proc/meminfo: memFree=17578512/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 [pid=16916] ppid=16915 vsize=457052 CPUtime=6.29 cores=5,7 /proc/16916/stat : 16916 (SatELite_releas) R 16915 16915 15815 0 -1 4202496 116534 0 0 0 600 29 0 0 25 0 1 0 489461600 468021248 107648 33554432000 134512640 135144242 4294649024 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16916/statm: 114263 107648 77 155 0 114106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 465756 [startup+12.7007 s] /proc/loadavg: 3.45 3.55 3.80 6/185 16919 /proc/meminfo: memFree=17622096/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=0 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 489461599 8912896 252 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16915/statm: 2176 252 211 178 0 69 0 [pid=16916] ppid=16915 vsize=464028 CPUtime=12.69 cores=5,7 /proc/16916/stat : 16916 (SatELite_releas) R 16915 16915 15815 0 -1 4202496 120564 0 0 0 1231 38 0 0 25 0 1 0 489461600 475164672 109480 33554432000 134512640 135144242 4294649024 18446744073709551615 134588232 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16916/statm: 116007 109480 77 155 0 115850 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 472732 [startup+25.5005 s] /proc/loadavg: 4.02 3.67 3.83 3/185 16920 /proc/meminfo: memFree=17988668/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=8704 CPUtime=0 cores=5,7 /proc/16920/stat : 16920 (glucose.sh) D 16915 16915 15815 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 1 0 489463539 8912896 74 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646967287 0 0 4096 0 18446744071696489144 0 0 17 5 0 0 0 /proc/16920/statm: 2176 74 31 178 0 69 0 Current children cumulated CPU time (s) 19.39 Current children cumulated vsize (KiB) 17408 heavy processes: [startup+51.1024 s] /proc/loadavg: 4.89 3.91 3.91 4/185 16921 /proc/meminfo: memFree=17833356/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=153396 CPUtime=24.32 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 31046 0 0 0 2419 13 0 0 25 0 1 0 489463539 157077504 29291 33554432000 4194304 4260849 140735523839104 18446744073709551615 4209306 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 38349 29291 250 17 0 34990 0 Current children cumulated CPU time (s) 43.71 Current children cumulated vsize (KiB) 162100 [startup+102.301 s] /proc/loadavg: 4.21 3.90 3.90 4/185 16982 /proc/meminfo: memFree=18003756/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=137236 CPUtime=75.52 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 42611 0 0 0 7528 24 0 0 25 0 1 0 489463539 140529664 29837 33554432000 4194304 4260849 140735523839104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 34309 29837 251 17 0 30950 0 Current children cumulated CPU time (s) 94.91 Current children cumulated vsize (KiB) 145940 [startup+162.3 s] /proc/loadavg: 5.09 4.17 3.99 4/185 17015 /proc/meminfo: memFree=17409988/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=159052 CPUtime=135.51 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 55091 0 0 0 13508 43 0 0 25 0 1 0 489463539 162869248 30915 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 39763 30915 251 17 0 36404 0 Current children cumulated CPU time (s) 154.9 Current children cumulated vsize (KiB) 167756 [startup+222.307 s] /proc/loadavg: 3.77 3.95 3.93 4/185 17016 /proc/meminfo: memFree=17373420/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=159992 CPUtime=195.52 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 59145 0 0 0 19507 45 0 0 25 0 1 0 489463539 163831808 34910 33554432000 4194304 4260849 140735523839104 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 39998 34910 251 17 0 36639 0 Current children cumulated CPU time (s) 214.91 Current children cumulated vsize (KiB) 168696 [startup+282.301 s] /proc/loadavg: 3.28 3.78 3.87 4/185 17018 /proc/meminfo: memFree=17414384/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=162964 CPUtime=255.51 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 82628 0 0 0 25502 49 0 0 25 0 1 0 489463539 166875136 32998 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 40741 32998 251 17 0 37382 0 Current children cumulated CPU time (s) 274.9 Current children cumulated vsize (KiB) 171668 [startup+342.301 s] /proc/loadavg: 3.10 3.63 3.81 4/185 17020 /proc/meminfo: memFree=17397636/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=164272 CPUtime=315.52 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 96681 0 0 0 31499 53 0 0 25 0 1 0 489463539 168214528 34061 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224383 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 41068 34061 251 17 0 37709 0 Current children cumulated CPU time (s) 334.91 Current children cumulated vsize (KiB) 172976 [startup+402.301 s] /proc/loadavg: 3.04 3.51 3.76 4/185 17021 /proc/meminfo: memFree=17358616/32951132 swapFree=67111524/67111528 ################ # More data... # ################ /proc/16920/statm: 42372 36845 251 17 0 39013 0 Current children cumulated CPU time (s) 634.91 Current children cumulated vsize (KiB) 178192 [startup+702.301 s] /proc/loadavg: 3.09 3.22 3.55 4/185 17029 /proc/meminfo: memFree=17320568/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=172960 CPUtime=675.52 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 174082 0 0 0 67480 72 0 0 25 0 1 0 489463539 177111040 36162 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 43240 36162 251 17 0 39881 0 Current children cumulated CPU time (s) 694.91 Current children cumulated vsize (KiB) 181664 [startup+762.301 s] /proc/loadavg: 3.03 3.17 3.51 4/185 17031 /proc/meminfo: memFree=17250112/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=204920 CPUtime=735.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 177041 0 0 0 73479 74 0 0 25 0 1 0 489463539 209838080 39084 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 51230 39084 251 17 0 47871 0 Current children cumulated CPU time (s) 754.92 Current children cumulated vsize (KiB) 213624 [startup+822.301 s] /proc/loadavg: 3.01 3.14 3.48 4/185 17032 /proc/meminfo: memFree=17298584/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=174792 CPUtime=795.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 190279 0 0 0 79476 77 0 0 25 0 1 0 489463539 178987008 36898 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 43698 36898 251 17 0 40339 0 Current children cumulated CPU time (s) 814.92 Current children cumulated vsize (KiB) 183496 [startup+882.307 s] /proc/loadavg: 3.00 3.11 3.44 4/185 17034 /proc/meminfo: memFree=17283188/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=207672 CPUtime=855.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 193955 0 0 0 85474 79 0 0 25 0 1 0 489463539 212656128 40523 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 51918 40523 251 17 0 48559 0 Current children cumulated CPU time (s) 874.92 Current children cumulated vsize (KiB) 216376 [startup+942.301 s] /proc/loadavg: 3.00 3.09 3.41 4/185 17036 /proc/meminfo: memFree=17349260/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=176852 CPUtime=915.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 206857 0 0 0 91470 83 0 0 25 0 1 0 489463539 181096448 38355 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 44213 38355 251 17 0 40854 0 Current children cumulated CPU time (s) 934.92 Current children cumulated vsize (KiB) 185556 [startup+1002.3 s] /proc/loadavg: 3.00 3.07 3.39 4/185 17037 /proc/meminfo: memFree=17271124/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=178612 CPUtime=975.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 220919 0 0 0 97467 86 0 0 25 0 1 0 489463539 182898688 37301 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 44653 37301 251 17 0 41294 0 Current children cumulated CPU time (s) 994.92 Current children cumulated vsize (KiB) 187316 [startup+1062.3 s] /proc/loadavg: 3.00 3.05 3.36 4/185 17048 /proc/meminfo: memFree=17257044/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=211064 CPUtime=1035.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 224132 0 0 0 103465 88 0 0 25 0 1 0 489463539 216129536 40466 33554432000 4194304 4260849 140735523839104 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 52766 40466 251 17 0 49407 0 Current children cumulated CPU time (s) 1054.92 Current children cumulated vsize (KiB) 219768 [startup+1122.3 s] /proc/loadavg: 3.04 3.06 3.34 4/185 17049 /proc/meminfo: memFree=17245736/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=181356 CPUtime=1095.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 237711 0 0 0 109463 90 0 0 25 0 1 0 489463539 185708544 38117 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 45339 38117 251 17 0 41980 0 Current children cumulated CPU time (s) 1114.92 Current children cumulated vsize (KiB) 190060 [startup+1182.3 s] /proc/loadavg: 2.57 2.93 3.28 3/178 17069 /proc/meminfo: memFree=17503052/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=182416 CPUtime=1155.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 240465 0 0 0 115462 91 0 0 25 0 1 0 489463539 186793984 40833 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 45604 40833 251 17 0 42245 0 Current children cumulated CPU time (s) 1174.92 Current children cumulated vsize (KiB) 191120 [startup+1242.3 s] /proc/loadavg: 2.21 2.76 3.20 3/178 17071 /proc/meminfo: memFree=17516664/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=184744 CPUtime=1215.53 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 254971 0 0 0 121458 95 0 0 25 0 1 0 489463539 189177856 38944 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224721 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 46186 38944 251 17 0 42827 0 Current children cumulated CPU time (s) 1234.92 Current children cumulated vsize (KiB) 193448 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 2.14 2.64 3.12 3/178 17072 /proc/meminfo: memFree=17506852/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=216448 CPUtime=1273.24 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 257931 0 0 0 127227 97 0 0 25 0 1 0 489463539 221642752 41860 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 54112 41860 251 17 0 50753 0 Current children cumulated CPU time (s) 1292.63 Current children cumulated vsize (KiB) 225152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 2.14 2.64 3.12 3/178 17072 /proc/meminfo: memFree=17506852/32951132 swapFree=67111524/67111528 [pid=16915] ppid=16913 vsize=8704 CPUtime=19.39 cores=5,7 /proc/16915/stat : 16915 (glucose.sh) S 16913 16915 15815 0 -1 4202496 360 198215 0 0 0 0 1881 58 18 0 1 0 489461599 8912896 254 33554432000 4194304 4922060 140733821881712 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/16915/statm: 2176 254 211 178 0 69 0 [pid=16920] ppid=16915 vsize=216448 CPUtime=1273.24 cores=5,7 /proc/16920/stat : 16920 (glucose_static) R 16915 16915 15815 0 -1 4202496 257931 0 0 0 127227 97 0 0 25 0 1 0 489463539 221642752 41860 33554432000 4194304 4260849 140735523839104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16920/statm: 54112 41860 251 17 0 50753 0 Current children cumulated CPU time (s) 1292.63 Current children cumulated vsize (KiB) 225152 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16915 and gives # childrusage.ru_utime.tv_sec=18 # childrusage.ru_utime.tv_usec=814139 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=585910 # CPU time returned by wait4() is 19.4 # while last known CPU time is 1292.63 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1292.63 CPU user time (s): 1291.08 CPU system time (s): 1.55 CPU usage (%): 99.4321 Max. virtual memory (cumulated for all children) (KiB): 519384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.8141 system time used= 0.58591 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198575 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= 8 involuntary context switches= 28 runsolver used 1.9767 second user time and 5.01824 second system time The end
Begin job on node129 at 2011-04-26 02:43:40 IDJOB=3291610 IDBENCH=84238 IDSOLVER=1651 FILE ID=node129/3291610-1303778616 RUNJOBID= node129-1303777313-16640 PBS_JOBID= 13157179 Free space on /tmp= 66200 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291610-1303778616/watcher-3291610-1303778616 -o /tmp/evaluation-result-3291610-1303778616/solver-3291610-1303778616 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291610-1303778616.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120 RANDOM SEED=1957467949 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 17977316 kB Buffers: 1243288 kB Cached: 12610776 kB SwapCached: 4 kB Active: 2569664 kB Inactive: 11734620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 17977316 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 94568 kB Writeback: 0 kB AnonPages: 449652 kB Mapped: 15720 kB Slab: 605828 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 669112 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65980 MiB End job on node129 at 2011-04-26 03:05:22