| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 120.929 | 120.931 |
| Name | application/leberre/ 2dimensionalstrippacking/E02F22.cnf |
| MD5SUM | 0b29cb9f2e17f3e05b66912497d8cb84 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 44.5842 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 13574 |
| Number of clauses | 1301188 |
| Sum of the clauses size | 11462079 |
| Maximum clause length | 78 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 33 |
| Number of clauses of size 2 | 36373 |
| Number of clauses of size 3 | 29573 |
| Number of clauses of size 4 | 22594 |
| Number of clauses of size 5 | 73414 |
| Number of clauses of size over 5 | 1139201 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.96 c ============================================================================== 0.00/0.96 c | | ORIGINAL | LEARNT | | 0.00/0.96 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.96 c ============================================================================== 0.00/0.96 c | 0 | 1300429 11460561 | 390128 0 0 nan | 0.000 % | 27.39/27.43 c | 0 | 1262053 10451768 | -- 0 -- -- | -- | -1689/27844 27.39/27.43 c ============================================================================== 27.39/27.43 c Result : #vars: 11448 #clauses: 1262053 #literals: 10451768 27.39/27.43 c CPU time: 27.3258 s 27.39/27.43 c ============================================================================== 28.99/29.01 c 28.99/29.01 c Starting glucose 28.99/29.01 c 36.28/36.36 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 36.28/36.36 c WARNING: for repeatability, setting FPU to use double precision 36.28/36.36 c ============================[ Problem Statistics ]============================= 36.28/36.36 c | | 36.28/36.36 c | Number of variables: 11448 | 36.28/36.36 c | Number of clauses: 1262053 | 36.28/36.36 c | Parse time: 0.46 s | 36.28/36.36 c | | 36.28/36.36 c ============================[ Search Statistics ]============================== 36.28/36.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.28/36.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 36.28/36.36 c =============================================================================== 36.28/36.36 c | 812 | 11448 1262053 10451768 | 1 812 52 | 0.000 % | 36.28/36.37 c | 2105 | 11448 1262053 10451768 | 1 2105 55 | 0.000 % | 36.28/36.37 c | 3602 | 11448 1262053 10451768 | 1 3602 60 | 0.000 % | 36.28/36.37 c | 7131 | 11448 1262053 10451768 | 1 5134 44 | 0.000 % | 36.28/36.37 c | 7662 | 11448 1262053 10451768 | 1 5665 44 | 0.000 % | 36.28/36.37 c | 8470 | 11448 1262053 10451768 | 1 6473 45 | 0.000 % | 36.28/36.37 c | 8924 | 11448 1262053 10451768 | 1 6927 44 | 0.000 % | 36.28/36.37 c | 9069 | 11448 1262053 10451768 | 1 7072 45 | 0.000 % | 36.28/36.37 c | 10377 | 11448 1262053 10451768 | 1 8380 54 | 0.000 % | 36.28/36.37 c | 10612 | 11448 1262053 10451768 | 1 4326 30 | 0.000 % | 36.28/36.37 c | 11954 | 11448 1262053 10451768 | 1 5668 45 | 0.000 % | 36.28/36.37 c | 14428 | 11448 1262053 10451768 | 1 8142 46 | 0.000 % | 36.28/36.37 c | 14684 | 11448 1262053 10451768 | 1 8398 47 | 0.000 % | 36.28/36.37 c | 16506 | 11448 1262053 10451768 | 1 10220 52 | 0.000 % | 36.28/36.37 c | 17739 | 11448 1262053 10451768 | 1 11453 56 | 0.000 % | 36.28/36.37 c | 17839 | 11448 1262053 10451768 | 1 11553 56 | 0.000 % | 36.28/36.37 c | 18409 | 11448 1262053 10451768 | 1 12123 58 | 0.000 % | 36.28/36.37 c | 18537 | 11448 1262053 10451768 | 1 12251 58 | 0.000 % | 36.28/36.37 c | 19772 | 11448 1262053 10451768 | 1 13486 61 | 0.000 % | 36.28/36.37 c | 20379 | 11448 1262053 10451768 | 1 7337 33 | 0.000 % | 36.28/36.37 c | 20479 | 11448 1262053 10451768 | 1 7437 34 | 0.000 % | 36.28/36.37 c | 20704 | 11448 1262053 10451768 | 1 7662 35 | 0.000 % | 36.28/36.37 c | 20806 | 11448 1262053 10451768 | 1 7764 35 | 0.000 % | 36.28/36.37 c | 23495 | 11448 1262053 10451768 | 1 10453 44 | 0.000 % | 36.28/36.37 c | 24325 | 11448 1262053 10451768 | 1 11283 45 | 0.000 % | 36.28/36.37 c | 25261 | 11448 1262053 10451768 | 1 12219 47 | 0.000 % | 36.28/36.37 c | 25653 | 11448 1262053 10451768 | 1 12611 47 | 0.000 % | 36.28/36.37 c | 26077 | 11448 1262053 10451768 | 1 13035 48 | 0.000 % | 36.28/36.37 c | 26177 | 11448 1262053 10451768 | 1 13135 49 | 0.000 % | 36.28/36.37 c | 27451 | 11448 1262053 10451768 | 1 14409 51 | 0.000 % | 36.28/36.37 c | 27943 | 11448 1262053 10451768 | 1 14901 51 | 0.000 % | 36.28/36.37 c | 30982 | 11448 1262053 10451768 | 1 17940 60 | 0.000 % | 36.28/36.37 c | 32007 | 11448 1262053 10451768 | 1 9695 26 | 0.000 % | 36.28/36.37 c | 32736 | 11448 1262053 10451768 | 1 10424 27 | 0.000 % | 36.28/36.37 c | 34028 | 11448 1262053 10451768 | 1 11716 36 | 0.000 % | 36.28/36.37 c | 34130 | 11448 1262053 10451768 | 1 11818 37 | 0.000 % | 36.28/36.37 c | 34741 | 11448 1262053 10451768 | 1 12429 38 | 0.000 % | 36.28/36.37 c | 35023 | 11448 1262053 10451768 | 1 12711 39 | 0.000 % | 36.28/36.37 c | 36074 | 11448 1262053 10451768 | 1 13762 42 | 0.000 % | 44.48/44.52 c | 36928 | 11448 1262053 10451768 | 1 14616 44 | 0.000 % | 44.48/44.52 c | 37597 | 11448 1262053 10451768 | 1 15285 45 | 0.000 % | 44.48/44.52 c | 37975 | 11448 1262053 10451768 | 1 15663 45 | 0.000 % | 44.48/44.52 c | 38855 | 11448 1262053 10451768 | 1 16543 46 | 0.000 % | 44.48/44.52 c | 39571 | 11448 1262053 10451768 | 1 17259 47 | 0.000 % | 44.48/44.52 c | 39674 | 11448 1262053 10451768 | 1 17362 47 | 0.000 % | 44.48/44.52 c | 39925 | 11448 1262053 10451768 | 1 17613 48 | 0.000 % | 44.48/44.52 c | 41321 | 11448 1262053 10451768 | 1 19009 49 | 0.000 % | 44.48/44.52 c | 41447 | 11448 1262053 10451768 | 1 19135 49 | 0.000 % | 44.48/44.52 c | 42240 | 11448 1262053 10451768 | 1 19928 49 | 0.000 % | 44.48/44.52 c | 42673 | 11448 1262053 10451768 | 1 20361 49 | 0.000 % | 44.48/44.52 c | 50492 | 11448 1262053 10451768 | 1 16344 40 | 0.000 % | 44.48/44.52 c | 51076 | 11448 1262053 10451768 | 1 16928 41 | 0.000 % | 44.48/44.52 c | 55864 | 11448 1262053 10451768 | 1 21716 51 | 0.000 % | 44.48/44.52 c | 55965 | 11448 1262053 10451768 | 1 21817 51 | 0.000 % | 44.48/44.52 c | 57321 | 11448 1262053 10451768 | 1 23173 52 | 0.000 % | 44.48/44.52 c | 58155 | 11448 1262053 10451768 | 1 24007 52 | 0.000 % | 44.48/44.52 c | 59830 | 11448 1262053 10451768 | 1 25682 53 | 0.000 % | 44.48/44.52 c | 62614 | 11448 1262053 10451768 | 1 28466 55 | 0.000 % | 44.48/44.52 c | 62717 | 11448 1262053 10451768 | 1 28569 55 | 0.000 % | 44.48/44.52 c | 63287 | 11448 1262053 10451768 | 1 14723 28 | 0.000 % | 44.48/44.52 c | 64104 | 11448 1262053 10451768 | 1 15540 30 | 0.000 % | 44.48/44.52 c | 65832 | 11448 1262053 10451768 | 1 17268 32 | 0.000 % | 44.48/44.52 c | 68210 | 11448 1262053 10451768 | 1 19646 42 | 0.000 % | 44.48/44.52 c | 68646 | 11448 1262053 10451768 | 1 20082 43 | 0.000 % | 44.48/44.52 c | 68801 | 11448 1262053 10451768 | 1 20237 43 | 0.000 % | 44.48/44.52 c | 69610 | 11448 1262053 10451768 | 1 21046 44 | 0.000 % | 44.48/44.52 c | 72371 | 11448 1262053 10451768 | 1 23807 45 | 0.000 % | 44.48/44.52 c | 73329 | 11448 1262053 10451768 | 1 24765 47 | 0.000 % | 44.48/44.52 c | 73670 | 11448 1262053 10451768 | 1 25106 47 | 0.000 % | 44.48/44.52 c | 73817 | 11448 1262053 10451768 | 1 25253 47 | 0.000 % | 44.48/44.52 c | 74599 | 11448 1262053 10451768 | 1 26035 48 | 0.000 % | 44.48/44.52 c | 75551 | 11448 1262053 10451768 | 1 26987 47 | 0.000 % | 44.48/44.52 c | 76190 | 11448 1262053 10451768 | 1 27626 49 | 0.000 % | 44.48/44.52 c | 76325 | 11448 1262053 10451768 | 1 27761 49 | 0.000 % | 44.48/44.52 c | 76513 | 11448 1262053 10451768 | 1 27949 49 | 0.000 % | 44.48/44.52 c | 76731 | 11448 1262053 10451768 | 1 28167 49 | 0.000 % | 44.48/44.52 c | 78921 | 11448 1262053 10451768 | 1 30357 50 | 0.000 % | 44.48/44.52 c | 79351 | 11448 1262053 10451768 | 1 30787 50 | 0.000 % | 44.48/44.52 c | 80480 | 11448 1262053 10451768 | 1 31916 51 | 0.000 % | 44.48/44.52 c | 80581 | 11448 1262053 10451768 | 1 32017 51 | 0.000 % | 44.48/44.52 c | 87470 | 11448 1262053 10451768 | 1 21895 37 | 0.000 % | 44.48/44.52 c | 87838 | 11448 1262053 10451768 | 1 22263 38 | 0.000 % | 44.48/44.52 c | 87941 | 11448 1262053 10451768 | 1 22366 38 | 0.000 % | 44.48/44.52 c | 88689 | 11448 1262053 10451768 | 1 23114 39 | 0.000 % | 44.48/44.52 c | 88797 | 11448 1262053 10451768 | 1 23222 39 | 0.000 % | 44.48/44.52 c | 89378 | 11448 1262053 10451768 | 1 23803 39 | 0.000 % | 44.48/44.52 c | 89623 | 11448 1262053 10451768 | 1 24048 40 | 0.000 % | 44.48/44.52 c | 89921 | 11448 1262053 10451768 | 1 24346 40 | 0.000 % | 44.48/44.52 c | 92490 | 11448 1262053 10451768 | 1 26915 42 | 0.000 % | 48.18/48.29 c | 92655 | 11448 1262053 10451768 | 1 27080 43 | 0.000 % | 48.18/48.29 c | 92786 | 11448 1262053 10451768 | 1 27211 43 | 0.000 % | 48.18/48.29 c | 93886 | 11448 1262053 10451768 | 1 28311 43 | 0.000 % | 48.18/48.29 c | 95360 | 11448 1262053 10451768 | 1 29785 44 | 0.000 % | 48.18/48.29 c | 95650 | 11448 1262053 10451768 | 1 30075 45 | 0.000 % | 48.18/48.29 c | 96100 | 11448 1262053 10451768 | 1 30525 45 | 0.000 % | 48.18/48.29 c | 97781 | 11448 1262053 10451768 | 1 32206 46 | 0.000 % | 48.18/48.29 c | 97881 | 11448 1262053 10451768 | 1 32306 46 | 0.000 % | 48.18/48.29 c | 98020 | 11448 1262053 10451768 | 1 32445 46 | 0.000 % | 48.18/48.29 c | 99609 | 11448 1262053 10451768 | 1 34034 47 | 0.000 % | 48.18/48.29 c | 100322 | 11448 1262053 10451768 | 1 34747 47 | 0.000 % | 48.18/48.29 c | 100424 | 11448 1262053 10451768 | 1 34849 47 | 0.000 % | 48.18/48.29 c | 103622 | 11448 1262053 10451768 | 1 38047 50 | 0.000 % | 48.18/48.29 c | 103724 | 11448 1262053 10451768 | 1 38149 50 | 0.000 % | 48.18/48.29 c | 103873 | 11448 1262053 10451768 | 1 38298 50 | 0.000 % | 48.18/48.29 c | 104057 | 11448 1262053 10451768 | 1 38482 50 | 0.000 % | 48.18/48.29 c | 104158 | 11448 1262053 10451768 | 1 38583 50 | 0.000 % | 48.18/48.29 c | 104778 | 11448 1262053 10451768 | 1 39203 50 | 0.000 % | 48.18/48.29 c | 106370 | 11448 1262053 10451768 | 1 21191 26 | 0.000 % | 48.18/48.29 c | 106888 | 11448 1262053 10451768 | 1 21709 27 | 0.000 % | 48.18/48.29 c | 107314 | 11448 1262053 10451768 | 1 22135 28 | 0.000 % | 48.18/48.29 c | 108434 | 11448 1262053 10451768 | 1 23255 29 | 0.000 % | 48.18/48.29 c | 109341 | 11448 1262053 10451768 | 1 24162 32 | 0.000 % | 48.18/48.29 c | 109441 | 11448 1262053 10451768 | 1 24262 33 | 0.000 % | 48.18/48.29 c | 109728 | 11448 1262053 10451768 | 1 24549 33 | 0.000 % | 48.18/48.29 c | 110538 | 11448 1262053 10451768 | 1 25359 33 | 0.000 % | 48.18/48.29 c | 113554 | 11448 1262053 10451768 | 1 28375 36 | 0.000 % | 48.18/48.29 c | 113985 | 11448 1262053 10451768 | 1 28806 37 | 0.000 % | 48.18/48.29 c | 114155 | 11448 1262053 10451768 | 1 28976 37 | 0.000 % | 48.18/48.29 c | 114300 | 11448 1262053 10451768 | 1 29121 37 | 0.000 % | 48.18/48.29 c | 114400 | 11448 1262053 10451768 | 1 29221 37 | 0.000 % | 48.18/48.29 c | 114609 | 11448 1262053 10451768 | 1 29430 38 | 0.000 % | 48.18/48.29 c | 114709 | 11448 1262053 10451768 | 1 29530 38 | 0.000 % | 48.18/48.29 c | 115005 | 11448 1262053 10451768 | 1 29826 38 | 0.000 % | 48.18/48.29 c | 116027 | 11448 1262053 10451768 | 1 30848 40 | 0.000 % | 48.18/48.29 c | 116127 | 11448 1262053 10451768 | 1 30948 40 | 0.000 % | 48.18/48.29 c | 116433 | 11448 1262053 10451768 | 1 31254 40 | 0.000 % | 48.18/48.29 c | 118625 | 11448 1262053 10451768 | 1 33446 43 | 0.000 % | 48.18/48.29 c | 119049 | 11448 1262053 10451768 | 1 33870 43 | 0.000 % | 48.18/48.29 c | 120230 | 11448 1262053 10451768 | 1 35051 43 | 0.000 % | 48.18/48.29 c | 121176 | 11448 1262053 10451768 | 1 35997 44 | 0.000 % | 48.18/48.29 c | 123031 | 11448 1262053 10451768 | 1 37852 45 | 0.000 % | 48.18/48.29 c | 123972 | 11448 1262053 10451768 | 1 38793 46 | 0.000 % | 48.18/48.29 c | 126102 | 11448 1262053 10451768 | 1 40923 47 | 0.000 % | 48.18/48.29 c | 129997 | 11448 1262053 10451768 | 1 22651 22 | 0.000 % | 48.18/48.29 c | 131471 | 11448 1262053 10451768 | 1 24125 25 | 0.000 % | 48.18/48.29 c | 131573 | 11448 1262053 10451768 | 1 24227 25 | 0.000 % | 48.18/48.29 c | 131760 | 11448 1262053 10451768 | 1 24414 26 | 0.000 % | 48.18/48.29 c | 132696 | 11448 1262053 10451768 | 1 25350 27 | 0.000 % | 48.18/48.29 c | 135098 | 11448 1262053 10451768 | 1 27752 30 | 0.000 % | 52.88/52.98 c | 135457 | 11448 1262053 10451768 | 1 28111 31 | 0.000 % | 52.88/52.98 c | 135595 | 11448 1262053 10451768 | 1 28249 31 | 0.000 % | 52.88/52.98 c | 137862 | 11448 1262053 10451768 | 1 30516 35 | 0.000 % | 52.88/52.98 c | 137976 | 11448 1262053 10451768 | 1 30630 36 | 0.000 % | 52.88/52.98 c | 138467 | 11448 1262053 10451768 | 1 31121 36 | 0.000 % | 52.88/52.98 c | 139161 | 11448 1262053 10451768 | 1 31815 37 | 0.000 % | 52.88/52.98 c | 140063 | 11448 1262053 10451768 | 1 32717 38 | 0.000 % | 52.88/52.98 c | 140197 | 11448 1262053 10451768 | 1 32851 38 | 0.000 % | 52.88/52.98 c | 140298 | 11448 1262053 10451768 | 1 32952 38 | 0.000 % | 52.88/52.98 c | 140715 | 11448 1262053 10451768 | 1 33369 39 | 0.000 % | 52.88/52.98 c | 141169 | 11448 1262053 10451768 | 1 33823 39 | 0.000 % | 52.88/52.98 c | 143852 | 11448 1262053 10451768 | 1 36506 41 | 0.000 % | 52.88/52.98 c | 145236 | 11448 1262053 10451768 | 1 37890 42 | 0.000 % | 52.88/52.98 c | 145768 | 11448 1262053 10451768 | 1 38422 43 | 0.000 % | 52.88/52.98 c | 146515 | 11448 1262053 10451768 | 1 39169 43 | 0.000 % | 52.88/52.98 c | 146618 | 11448 1262053 10451768 | 1 39272 43 | 0.000 % | 52.88/52.98 c | 146756 | 11448 1262053 10451768 | 1 39410 43 | 0.000 % | 52.88/52.98 c | 148629 | 11448 1262053 10451768 | 1 41283 46 | 0.000 % | 52.88/52.98 c | 149801 | 11448 1262053 10451768 | 1 42455 47 | 0.000 % | 52.88/52.98 c | 150058 | 11448 1262053 10451768 | 1 42712 47 | 0.000 % | 52.88/52.98 c | 151428 | 11448 1262053 10451768 | 1 44082 48 | 0.000 % | 52.88/52.98 c | 152500 | 11448 1262053 10451768 | 1 45154 49 | 0.000 % | 52.88/52.98 c | 152703 | 11448 1262053 10451768 | 1 45357 49 | 0.000 % | 52.88/52.98 c | 152805 | 11448 1262053 10451768 | 1 45459 49 | 0.000 % | 52.88/52.98 c | 152908 | 11448 1262053 10451768 | 1 45562 49 | 0.000 % | 52.88/52.98 c | 158749 | 11448 1262053 10451768 | 1 26579 23 | 0.000 % | 52.88/52.98 c | 166417 | 11448 1262053 10451768 | 1 34247 36 | 0.000 % | 52.88/52.98 c | 167639 | 11448 1262053 10451768 | 1 35469 38 | 0.000 % | 52.88/52.98 c | 168880 | 11448 1262053 10451768 | 1 36710 39 | 0.000 % | 52.88/52.98 c | 168980 | 11448 1262053 10451768 | 1 36810 39 | 0.000 % | 52.88/52.98 c | 170282 | 11448 1262053 10451768 | 1 38112 39 | 0.000 % | 52.88/52.98 c | 170484 | 11448 1262053 10451768 | 1 38314 40 | 0.000 % | 52.88/52.98 c | 170655 | 11448 1262053 10451768 | 1 38485 40 | 0.000 % | 52.88/52.98 c | 170755 | 11448 1262053 10451768 | 1 38585 40 | 0.000 % | 52.88/52.98 c | 170970 | 11448 1262053 10451768 | 1 38800 40 | 0.000 % | 52.88/52.98 c | 171076 | 11448 1262053 10451768 | 1 38906 41 | 0.000 % | 52.88/52.98 c | 171481 | 11448 1262053 10451768 | 1 39311 41 | 0.000 % | 52.88/52.98 c | 172766 | 11448 1262053 10451768 | 1 40596 41 | 0.000 % | 52.88/52.98 c | 175634 | 11448 1262053 10451768 | 1 43464 43 | 0.000 % | 52.88/52.98 c | 175734 | 11448 1262053 10451768 | 1 43564 43 | 0.000 % | 52.88/52.98 c | 176037 | 11448 1262053 10451768 | 1 43867 43 | 0.000 % | 52.88/52.98 c | 176558 | 11448 1262053 10451768 | 1 44388 44 | 0.000 % | 52.88/52.98 c | 176658 | 11448 1262053 10451768 | 1 44488 44 | 0.000 % | 52.88/52.98 c | 177418 | 11448 1262053 10451768 | 1 45248 44 | 0.000 % | 52.88/52.98 c | 181434 | 11448 1262053 10451768 | 1 49264 46 | 0.000 % | 52.88/52.98 c | 182677 | 11448 1262053 10451768 | 1 50507 47 | 0.000 % | 52.88/52.98 c | 182897 | 11448 1262053 10451768 | 1 50727 47 | 0.000 % | 52.88/52.98 c | 182999 | 11448 1262053 10451768 | 1 50829 47 | 0.000 % | 52.88/52.98 c | 183500 | 11448 1262053 10451768 | 1 51330 48 | 0.000 % | 52.88/52.98 c | 183600 | 11448 1262053 10451768 | 1 51430 48 | 0.000 % | 58.78/58.88 c | 184174 | 11448 1262053 10451768 | 1 52004 48 | 0.000 % | 58.78/58.88 c | 184355 | 11448 1262053 10451768 | 1 52185 48 | 0.000 % | 58.78/58.88 c | 184516 | 11448 1262053 10451768 | 1 52346 49 | 0.000 % | 58.78/58.88 c | 186271 | 11448 1262053 10451768 | 1 54101 49 | 0.000 % | 58.78/58.88 c | 187455 | 11448 1262053 10451768 | 1 27876 24 | 0.000 % | 58.78/58.88 c | 187754 | 11448 1262053 10451768 | 1 28175 24 | 0.000 % | 58.78/58.88 c | 188044 | 11448 1262053 10451768 | 1 28465 24 | 0.000 % | 58.78/58.88 c | 188461 | 11448 1262053 10451768 | 1 28882 25 | 0.000 % | 58.78/58.88 c | 189004 | 11448 1262053 10451768 | 1 29425 26 | 0.000 % | 58.78/58.88 c | 191016 | 11448 1262053 10451768 | 1 31437 29 | 0.000 % | 58.78/58.88 c | 191981 | 11448 1262053 10451768 | 1 32402 30 | 0.000 % | 58.78/58.88 c | 192405 | 11448 1262053 10451768 | 1 32826 31 | 0.000 % | 58.78/58.88 c | 195812 | 11448 1262053 10451768 | 1 36233 35 | 0.000 % | 58.78/58.88 c | 196566 | 11448 1262053 10451768 | 1 36987 36 | 0.000 % | 58.78/58.88 c | 196717 | 11448 1262053 10451768 | 1 37138 36 | 0.000 % | 58.78/58.88 c | 200157 | 11448 1262053 10451768 | 1 40578 41 | 0.000 % | 58.78/58.88 c | 202372 | 11448 1262053 10451768 | 1 42793 43 | 0.000 % | 58.78/58.88 c | 202827 | 11448 1262053 10451768 | 1 43248 43 | 0.000 % | 58.78/58.88 c | 202927 | 11448 1262053 10451768 | 1 43348 43 | 0.000 % | 58.78/58.88 c | 203266 | 11448 1262053 10451768 | 1 43687 43 | 0.000 % | 58.78/58.88 c | 204746 | 11448 1262053 10451768 | 1 45167 45 | 0.000 % | 58.78/58.88 c | 205989 | 11448 1262053 10451768 | 1 46410 46 | 0.000 % | 58.78/58.88 c | 206391 | 11448 1262053 10451768 | 1 46812 47 | 0.000 % | 58.78/58.88 c | 206738 | 11448 1262053 10451768 | 1 47159 47 | 0.000 % | 58.78/58.88 c | 206860 | 11448 1262053 10451768 | 1 47281 47 | 0.000 % | 58.78/58.88 c | 210899 | 11448 1262053 10451768 | 1 51320 51 | 0.000 % | 58.78/58.88 c | 211966 | 11448 1262053 10451768 | 1 52387 51 | 0.000 % | 58.78/58.88 c | 212405 | 11448 1262053 10451768 | 1 52826 51 | 0.000 % | 58.78/58.88 c | 212675 | 11448 1262053 10451768 | 1 53096 51 | 0.000 % | 58.78/58.88 c | 212775 | 11448 1262053 10451768 | 1 53196 51 | 0.000 % | 58.78/58.88 c | 213431 | 11448 1262053 10451768 | 1 53852 52 | 0.000 % | 58.78/58.88 c | 215162 | 11448 1262053 10451768 | 1 55583 52 | 0.000 % | 58.78/58.88 c | 216409 | 11448 1262053 10451768 | 1 56830 53 | 0.000 % | 58.78/58.88 c | 216509 | 11448 1262053 10451768 | 1 56930 53 | 0.000 % | 58.78/58.88 c | 216610 | 11448 1262053 10451768 | 1 57031 53 | 0.000 % | 58.78/58.88 c | 216713 | 11448 1262053 10451768 | 1 57134 53 | 0.000 % | 58.78/58.88 c | 216813 | 11448 1262053 10451768 | 1 57234 53 | 0.000 % | 58.78/58.88 c | 218107 | 11448 1262053 10451768 | 1 58528 55 | 0.000 % | 58.78/58.88 c | 218209 | 11448 1262053 10451768 | 1 58630 55 | 0.000 % | 58.78/58.88 c | 219803 | 11448 1262053 10451768 | 1 30230 22 | 0.000 % | 58.78/58.88 c | 230320 | 11448 1262053 10451768 | 1 40747 35 | 0.000 % | 58.78/58.88 c | 230446 | 11448 1262053 10451768 | 1 40873 35 | 0.000 % | 58.78/58.88 c | 230912 | 11448 1262053 10451768 | 1 41339 36 | 0.000 % | 58.78/58.88 c | 231922 | 11448 1262053 10451768 | 1 42349 36 | 0.000 % | 58.78/58.88 c | 232581 | 11448 1262053 10451768 | 1 43008 37 | 0.000 % | 58.78/58.88 c | 232957 | 11448 1262053 10451768 | 1 43384 37 | 0.000 % | 58.78/58.88 c | 234158 | 11448 1262053 10451768 | 1 44585 38 | 0.000 % | 58.78/58.88 c | 234886 | 11448 1262053 10451768 | 1 45313 39 | 0.000 % | 58.78/58.88 c | 238299 | 11448 1262053 10451768 | 1 48726 40 | 0.000 % | 58.78/58.88 c | 238782 | 11448 1262053 10451768 | 1 49209 40 | 0.000 % | 66.38/66.42 c | 239462 | 11448 1262053 10451768 | 1 49889 41 | 0.000 % | 66.38/66.42 c | 240321 | 11448 1262053 10451768 | 1 50748 42 | 0.000 % | 66.38/66.42 c | 240498 | 11448 1262053 10451768 | 1 50925 42 | 0.000 % | 66.38/66.42 c | 240887 | 11448 1262053 10451768 | 1 51314 42 | 0.000 % | 66.38/66.42 c | 254393 | 11448 1262053 10451768 | 1 64820 56 | 0.000 % | 66.38/66.42 c | 255124 | 11448 1262053 10451768 | 1 32951 29 | 0.000 % | 66.38/66.42 c | 257211 | 11448 1262053 10451768 | 1 35038 33 | 0.000 % | 66.38/66.42 c | 257955 | 11448 1262053 10451768 | 1 35782 33 | 0.000 % | 66.38/66.42 c | 258462 | 11448 1262053 10451768 | 1 36289 34 | 0.000 % | 66.38/66.42 c | 259002 | 11448 1262053 10451768 | 1 36829 34 | 0.000 % | 66.38/66.42 c | 261749 | 11448 1262053 10451768 | 1 39576 36 | 0.000 % | 66.38/66.42 c | 266418 | 11448 1262053 10451768 | 1 44245 41 | 0.000 % | 66.38/66.42 c | 266966 | 11448 1262053 10451768 | 1 44793 42 | 0.000 % | 66.38/66.42 c | 267589 | 11448 1262053 10451768 | 1 45416 42 | 0.000 % | 66.38/66.42 c | 267977 | 11448 1262053 10451768 | 1 45804 43 | 0.000 % | 66.38/66.42 c | 268695 | 11448 1262053 10451768 | 1 46522 43 | 0.000 % | 66.38/66.42 c | 268830 | 11448 1262053 10451768 | 1 46657 43 | 0.000 % | 66.38/66.42 c | 268932 | 11448 1262053 10451768 | 1 46759 43 | 0.000 % | 66.38/66.42 c | 269264 | 11448 1262053 10451768 | 1 47091 44 | 0.000 % | 66.38/66.42 c | 270276 | 11448 1262053 10451768 | 1 48103 45 | 0.000 % | 66.38/66.42 c | 270645 | 11448 1262053 10451768 | 1 48472 45 | 0.000 % | 66.38/66.42 c | 271187 | 11448 1262053 10451768 | 1 49014 46 | 0.000 % | 66.38/66.42 c | 271395 | 11448 1262053 10451768 | 1 49222 46 | 0.000 % | 66.38/66.42 c | 275976 | 11448 1262053 10451768 | 1 53803 50 | 0.000 % | 66.38/66.42 c | 276510 | 11448 1262053 10451768 | 1 54337 51 | 0.000 % | 66.38/66.42 c | 276634 | 11448 1262053 10451768 | 1 54461 51 | 0.000 % | 66.38/66.42 c | 276908 | 11448 1262053 10451768 | 1 54735 51 | 0.000 % | 66.38/66.42 c | 277126 | 11448 1262053 10451768 | 1 54953 51 | 0.000 % | 66.38/66.42 c | 277226 | 11448 1262053 10451768 | 1 55053 52 | 0.000 % | 66.38/66.42 c | 277481 | 11448 1262053 10451768 | 1 55308 52 | 0.000 % | 66.38/66.42 c | 277774 | 11448 1262053 10451768 | 1 55601 52 | 0.000 % | 66.38/66.42 c | 277985 | 11448 1262053 10451768 | 1 55812 52 | 0.000 % | 66.38/66.42 c | 278085 | 11448 1262053 10451768 | 1 55912 52 | 0.000 % | 66.38/66.42 c | 278981 | 11448 1262053 10451768 | 1 56808 53 | 0.000 % | 66.38/66.42 c | 281472 | 11448 1262053 10451768 | 1 59299 53 | 0.000 % | 66.38/66.42 c | 281753 | 11448 1262053 10451768 | 1 59580 53 | 0.000 % | 66.38/66.42 c | 282737 | 11448 1262053 10451768 | 1 60564 53 | 0.000 % | 66.38/66.42 c | 283548 | 11448 1262053 10451768 | 1 61375 54 | 0.000 % | 66.38/66.42 c | 286218 | 11448 1262053 10451768 | 1 64045 55 | 0.000 % | 66.38/66.42 c | 286414 | 11448 1262053 10451768 | 1 64241 55 | 0.000 % | 66.38/66.42 c | 287281 | 11448 1262053 10451768 | 1 65108 55 | 0.000 % | 66.38/66.42 c | 287570 | 11448 1262053 10451768 | 1 65397 55 | 0.000 % | 66.38/66.42 c | 289063 | 11448 1262053 10451768 | 1 66890 56 | 0.000 % | 66.38/66.42 c | 294171 | 11448 1262053 10451768 | 1 36792 24 | 0.000 % | 66.38/66.42 c | 294598 | 11448 1262053 10451768 | 1 37219 24 | 0.000 % | 66.38/66.42 c | 295184 | 11448 1262053 10451768 | 1 37805 25 | 0.000 % | 66.38/66.42 c | 295376 | 11448 1262053 10451768 | 1 37997 25 | 0.000 % | 66.38/66.42 c | 296358 | 11448 1262053 10451768 | 1 38979 27 | 0.000 % | 66.38/66.42 c | 296487 | 11448 1262053 10451768 | 1 39108 27 | 0.000 % | 66.38/66.42 c | 297065 | 11448 1262053 10451768 | 1 39686 28 | 0.000 % | 74.17/74.25 c | 297548 | 11448 1262053 10451768 | 1 40169 28 | 0.000 % | 74.17/74.25 c | 297769 | 11448 1262053 10451768 | 1 40390 29 | 0.000 % | 74.17/74.25 c | 299280 | 11448 1262053 10451768 | 1 41901 30 | 0.000 % | 74.17/74.25 c | 299381 | 11448 1262053 10451768 | 1 42002 30 | 0.000 % | 74.17/74.25 c | 299751 | 11448 1262053 10451768 | 1 42372 31 | 0.000 % | 74.17/74.25 c | 300340 | 11448 1262053 10451768 | 1 42961 32 | 0.000 % | 74.17/74.25 c | 300498 | 11448 1262053 10451768 | 1 43119 32 | 0.000 % | 74.17/74.25 c | 300632 | 11448 1262053 10451768 | 1 43253 32 | 0.000 % | 74.17/74.25 c | 305946 | 11448 1262053 10451768 | 1 48567 36 | 0.000 % | 74.17/74.25 c | 306263 | 11448 1262053 10451768 | 1 48884 37 | 0.000 % | 74.17/74.25 c | 306405 | 11448 1262053 10451768 | 1 49026 37 | 0.000 % | 74.17/74.25 c | 306521 | 11448 1262053 10451768 | 1 49142 37 | 0.000 % | 74.17/74.25 c | 308709 | 11448 1262053 10451768 | 1 51330 38 | 0.000 % | 74.17/74.25 c | 309227 | 11448 1262053 10451768 | 1 51848 38 | 0.000 % | 74.17/74.25 c | 310569 | 11448 1262053 10451768 | 1 53190 39 | 0.000 % | 74.17/74.25 c | 313756 | 11448 1262053 10451768 | 1 56377 40 | 0.000 % | 74.17/74.25 c | 315857 | 11448 1262053 10451768 | 1 58478 41 | 0.000 % | 74.17/74.25 c | 316307 | 11448 1262053 10451768 | 1 58928 41 | 0.000 % | 74.17/74.25 c | 316409 | 11448 1262053 10451768 | 1 59030 41 | 0.000 % | 74.17/74.25 c | 316629 | 11448 1262053 10451768 | 1 59250 42 | 0.000 % | 74.17/74.25 c | 317134 | 11448 1262053 10451768 | 1 59755 42 | 0.000 % | 74.17/74.25 c | 317391 | 11448 1262053 10451768 | 1 60012 42 | 0.000 % | 74.17/74.25 c | 318878 | 11448 1262053 10451768 | 1 61499 43 | 0.000 % | 74.17/74.25 c | 318980 | 11448 1262053 10451768 | 1 61601 43 | 0.000 % | 74.17/74.25 c | 319917 | 11448 1262053 10451768 | 1 62538 43 | 0.000 % | 74.17/74.25 c | 320054 | 11448 1262053 10451768 | 1 62675 43 | 0.000 % | 74.17/74.25 c | 321018 | 11448 1262053 10451768 | 1 63639 44 | 0.000 % | 74.17/74.25 c | 321295 | 11448 1262053 10451768 | 1 63916 44 | 0.000 % | 74.17/74.25 c | 322314 | 11448 1262053 10451768 | 1 64935 45 | 0.000 % | 74.17/74.25 c | 322415 | 11448 1262053 10451768 | 1 65036 45 | 0.000 % | 74.17/74.25 c | 323890 | 11448 1262053 10451768 | 1 66511 46 | 0.000 % | 74.17/74.25 c | 324871 | 11448 1262053 10451768 | 1 67492 46 | 0.000 % | 74.17/74.25 c | 324996 | 11448 1262053 10451768 | 1 67617 46 | 0.000 % | 74.17/74.25 c | 327928 | 11448 1262053 10451768 | 1 70549 48 | 0.000 % | 74.17/74.25 c | 328336 | 11448 1262053 10451768 | 1 70957 48 | 0.000 % | 74.17/74.25 c | 328438 | 11448 1262053 10451768 | 1 71059 48 | 0.000 % | 74.17/74.25 c | 330665 | 11448 1262053 10451768 | 1 73286 50 | 0.000 % | 74.17/74.25 c | 335916 | 11448 1262053 10451768 | 1 40747 34 | 0.000 % | 74.17/74.25 c | 336050 | 11448 1262053 10451768 | 1 40881 34 | 0.000 % | 74.17/74.25 c | 337878 | 11448 1262053 10451768 | 1 42709 35 | 0.000 % | 74.17/74.25 c | 337978 | 11448 1262053 10451768 | 1 42809 35 | 0.000 % | 74.17/74.25 c | 344375 | 11448 1262053 10451768 | 1 49206 42 | 0.000 % | 74.17/74.25 c | 344478 | 11448 1262053 10451768 | 1 49309 42 | 0.000 % | 74.17/74.25 c | 349640 | 11448 1262053 10451768 | 1 54471 48 | 0.000 % | 74.17/74.25 c | 349741 | 11448 1262053 10451768 | 1 54572 48 | 0.000 % | 74.17/74.25 c | 350014 | 11448 1262053 10451768 | 1 54845 48 | 0.000 % | 74.17/74.25 c | 350114 | 11448 1262053 10451768 | 1 54945 48 | 0.000 % | 74.17/74.25 c | 351369 | 11448 1262053 10451768 | 1 56200 49 | 0.000 % | 74.17/74.25 c | 351581 | 11448 1262053 10451768 | 1 56412 49 | 0.000 % | 84.08/84.14 c | 356358 | 11448 1262053 10451768 | 1 61189 52 | 0.000 % | 84.08/84.14 c | 356740 | 11448 1262053 10451768 | 1 61571 52 | 0.000 % | 84.08/84.14 c | 357253 | 11448 1262053 10451768 | 1 62084 52 | 0.000 % | 84.08/84.14 c | 358549 | 11448 1262053 10451768 | 1 63380 53 | 0.000 % | 84.08/84.14 c | 359693 | 11448 1262053 10451768 | 1 64524 53 | 0.000 % | 84.08/84.14 c | 360545 | 11448 1262053 10451768 | 1 65376 53 | 0.000 % | 84.08/84.14 c | 361164 | 11448 1262053 10451768 | 1 65995 54 | 0.000 % | 84.08/84.14 c | 361265 | 11448 1262053 10451768 | 1 66096 54 | 0.000 % | 84.08/84.14 c | 361621 | 11448 1262053 10451768 | 1 66452 54 | 0.000 % | 84.08/84.14 c | 362108 | 11448 1262053 10451768 | 1 66939 54 | 0.000 % | 84.08/84.14 c | 363434 | 11448 1262053 10451768 | 1 68265 55 | 0.000 % | 84.08/84.14 c | 363762 | 11448 1262053 10451768 | 1 68593 55 | 0.000 % | 84.08/84.14 c | 368096 | 11448 1262053 10451768 | 1 72927 57 | 0.000 % | 84.08/84.14 c | 368210 | 11448 1262053 10451768 | 1 73041 57 | 0.000 % | 84.08/84.14 c | 368559 | 11448 1262053 10451768 | 1 73390 57 | 0.000 % | 84.08/84.14 c | 369158 | 11448 1262053 10451768 | 1 73989 57 | 0.000 % | 84.08/84.14 c | 369259 | 11448 1262053 10451768 | 1 74090 57 | 0.000 % | 84.08/84.14 c | 370660 | 11448 1262053 10451768 | 1 75491 58 | 0.000 % | 84.08/84.14 c | 370761 | 11448 1262053 10451768 | 1 75592 58 | 0.000 % | 84.08/84.14 c | 373840 | 11448 1262053 10451768 | 1 78671 59 | 0.000 % | 84.08/84.14 c | 374388 | 11448 1262053 10451768 | 1 79219 59 | 0.000 % | 84.08/84.14 c | 375837 | 11448 1262053 10451768 | 1 80668 59 | 0.000 % | 84.08/84.14 c | 378772 | 11448 1262053 10451768 | 1 43194 30 | 0.000 % | 84.08/84.14 c | 379060 | 11448 1262053 10451768 | 1 43482 30 | 0.000 % | 84.08/84.14 c | 379259 | 11448 1262053 10451768 | 1 43681 31 | 0.000 % | 84.08/84.14 c | 387198 | 11448 1262053 10451768 | 1 51620 37 | 0.000 % | 84.08/84.14 c | 388891 | 11448 1262053 10451768 | 1 53313 39 | 0.000 % | 84.08/84.14 c | 391382 | 11448 1262053 10451768 | 1 55804 41 | 0.000 % | 84.08/84.14 c | 391608 | 11448 1262053 10451768 | 1 56030 41 | 0.000 % | 84.08/84.14 c | 391765 | 11448 1262053 10451768 | 1 56187 41 | 0.000 % | 84.08/84.14 c | 393547 | 11448 1262053 10451768 | 1 57969 41 | 0.000 % | 84.08/84.14 c | 394180 | 11448 1262053 10451768 | 1 58602 42 | 0.000 % | 84.08/84.14 c | 394435 | 11448 1262053 10451768 | 1 58857 42 | 0.000 % | 84.08/84.14 c | 396065 | 11448 1262053 10451768 | 1 60487 43 | 0.000 % | 84.08/84.14 c | 396205 | 11448 1262053 10451768 | 1 60627 43 | 0.000 % | 84.08/84.14 c | 421975 | 11448 1262053 10451768 | 1 43436 30 | 0.000 % | 84.08/84.14 c | 423675 | 11448 1262053 10451768 | 1 45136 31 | 0.000 % | 84.08/84.14 c | 425123 | 11448 1262053 10451768 | 1 46584 33 | 0.000 % | 84.08/84.14 c | 426308 | 11448 1262053 10451768 | 1 47769 35 | 0.000 % | 84.08/84.14 c | 427762 | 11448 1262053 10451768 | 1 49223 36 | 0.000 % | 84.08/84.14 c | 427994 | 11448 1262053 10451768 | 1 49455 36 | 0.000 % | 84.08/84.14 c | 430409 | 11448 1262053 10451768 | 1 51870 38 | 0.000 % | 84.08/84.14 c | 432214 | 11448 1262053 10451768 | 1 53675 39 | 0.000 % | 84.08/84.14 c | 432410 | 11448 1262053 10451768 | 1 53871 40 | 0.000 % | 84.08/84.14 c | 432617 | 11448 1262053 10451768 | 1 54078 40 | 0.000 % | 84.08/84.14 c | 433001 | 11448 1262053 10451768 | 1 54462 40 | 0.000 % | 84.08/84.14 c | 433167 | 11448 1262053 10451768 | 1 54628 40 | 0.000 % | 84.08/84.14 c | 443183 | 11448 1262053 10451768 | 1 64644 45 | 0.000 % | 84.08/84.14 c | 444049 | 11448 1262053 10451768 | 1 65510 45 | 0.000 % | 84.08/84.14 c | 444157 | 11448 1262053 10451768 | 1 65618 45 | 0.000 % | 90.58/90.62 c | 445379 | 11448 1262053 10451768 | 1 66840 46 | 0.000 % | 90.58/90.62 c | 449113 | 11448 1262053 10451768 | 1 70574 46 | 0.000 % | 90.58/90.62 c | 449219 | 11448 1262053 10451768 | 1 70680 47 | 0.000 % | 90.58/90.62 c | 450593 | 11448 1262053 10451768 | 1 72054 47 | 0.000 % | 90.58/90.62 c | 451367 | 11448 1262053 10451768 | 1 72828 47 | 0.000 % | 90.58/90.62 c | 451618 | 11448 1262053 10451768 | 1 73079 47 | 0.000 % | 90.58/90.62 c | 457887 | 11448 1262053 10451768 | 1 79348 51 | 0.000 % | 90.58/90.62 c | 457987 | 11448 1262053 10451768 | 1 79448 51 | 0.000 % | 90.58/90.62 c | 459296 | 11448 1262053 10451768 | 1 80757 51 | 0.000 % | 90.58/90.62 c | 459493 | 11448 1262053 10451768 | 1 80954 51 | 0.000 % | 90.58/90.62 c | 462883 | 11448 1262053 10451768 | 1 84344 52 | 0.000 % | 90.58/90.62 c | 464367 | 11448 1262053 10451768 | 1 85828 52 | 0.000 % | 90.58/90.62 c | 464920 | 11448 1262053 10451768 | 1 86381 52 | 0.000 % | 90.58/90.62 c | 465059 | 11448 1262053 10451768 | 1 86520 52 | 0.000 % | 90.58/90.62 c | 465336 | 11448 1262053 10451768 | 1 86797 52 | 0.000 % | 90.58/90.62 c | 465437 | 11448 1262053 10451768 | 1 86898 52 | 0.000 % | 90.58/90.62 c | 465682 | 11448 1262053 10451768 | 1 87143 52 | 0.000 % | 90.58/90.62 c | 466355 | 11448 1262053 10451768 | 1 87816 53 | 0.000 % | 90.58/90.62 c | 467945 | 11448 1262053 10451768 | 1 89406 53 | 0.000 % | 90.58/90.62 c | 468475 | 11448 1262053 10451768 | 1 89936 53 | 0.000 % | 90.58/90.62 c | 468623 | 11448 1262053 10451768 | 1 90084 53 | 0.000 % | 90.58/90.62 c | 469066 | 11448 1262053 10451768 | 1 90527 53 | 0.000 % | 90.58/90.62 c | 469317 | 11448 1262053 10451768 | 1 90778 54 | 0.000 % | 90.58/90.62 c | 474554 | 11448 1262053 10451768 | 1 50402 28 | 0.000 % | 90.58/90.62 c | 475224 | 11448 1262053 10451768 | 1 51072 29 | 0.000 % | 90.58/90.62 c | 476791 | 11447 1262053 10451768 | 1 52638 31 | 0.009 % | 90.58/90.62 c | 477529 | 11447 1262053 10451768 | 1 53376 32 | 0.009 % | 90.58/90.62 c | 477709 | 11447 1262053 10451768 | 1 53556 32 | 0.009 % | 90.58/90.62 c | 477809 | 11447 1262053 10451768 | 1 53656 32 | 0.009 % | 90.58/90.62 c | 478044 | 11447 1262053 10451768 | 1 53891 32 | 0.009 % | 90.58/90.62 c | 479037 | 11447 1262053 10451768 | 1 54884 33 | 0.009 % | 90.58/90.62 c | 479138 | 11447 1262053 10451768 | 1 54985 33 | 0.009 % | 90.58/90.62 c | 479462 | 11447 1262053 10451768 | 1 55309 33 | 0.009 % | 90.58/90.62 c | 479563 | 11447 1262053 10451768 | 1 55410 33 | 0.009 % | 90.58/90.62 c | 479791 | 11447 1262053 10451768 | 1 55638 33 | 0.009 % | 90.58/90.62 c | 480298 | 11447 1262053 10451768 | 1 56145 34 | 0.009 % | 90.58/90.62 c | 483017 | 11447 1262053 10451768 | 1 58864 37 | 0.009 % | 90.58/90.62 c | 483408 | 11447 1262053 10451768 | 1 59255 37 | 0.009 % | 90.58/90.62 c | 483541 | 11447 1262053 10451768 | 1 59388 37 | 0.009 % | 90.58/90.62 c | 483687 | 11447 1262053 10451768 | 1 59534 37 | 0.009 % | 90.58/90.62 c | 483788 | 11447 1262053 10451768 | 1 59635 37 | 0.009 % | 90.58/90.62 c | 485003 | 11447 1262053 10451768 | 1 60850 39 | 0.009 % | 90.58/90.62 c | 485286 | 11447 1262053 10451768 | 1 61133 39 | 0.009 % | 90.58/90.62 c | 485399 | 11447 1262053 10451768 | 1 61246 39 | 0.009 % | 90.58/90.62 c | 488167 | 11447 1262053 10451768 | 1 64014 41 | 0.009 % | 90.58/90.62 c | 488275 | 11447 1262053 10451768 | 1 64122 41 | 0.009 % | 90.58/90.62 c | 489189 | 11447 1262053 10451768 | 1 65036 42 | 0.009 % | 90.58/90.62 c | 489289 | 11447 1262053 10451768 | 1 65136 42 | 0.009 % | 90.58/90.62 c | 489572 | 11447 1262053 10451768 | 1 65419 42 | 0.009 % | 90.58/90.62 c | 490002 | 11447 1262053 10451768 | 1 65849 42 | 0.009 % | 98.28/98.30 c | 490432 | 11447 1262053 10451768 | 1 66279 43 | 0.009 % | 98.28/98.30 c | 491009 | 11447 1262053 10451768 | 1 66856 43 | 0.009 % | 98.28/98.30 c | 491224 | 11447 1262053 10451768 | 1 67071 43 | 0.009 % | 98.28/98.30 c | 491934 | 11447 1262053 10451768 | 1 67781 43 | 0.009 % | 98.28/98.30 c | 492455 | 11447 1262053 10451768 | 1 68302 43 | 0.009 % | 98.28/98.30 c | 493057 | 11447 1262053 10451768 | 1 68904 43 | 0.009 % | 98.28/98.30 c | 493895 | 11447 1262053 10451768 | 1 69742 44 | 0.009 % | 98.28/98.30 c | 493995 | 11447 1262053 10451768 | 1 69842 44 | 0.009 % | 98.28/98.30 c | 496752 | 11447 1262053 10451768 | 1 72599 47 | 0.009 % | 98.28/98.30 c | 496852 | 11447 1262053 10451768 | 1 72699 47 | 0.009 % | 98.28/98.30 c | 497611 | 11447 1262053 10451768 | 1 73458 47 | 0.009 % | 98.28/98.30 c | 497960 | 11447 1262053 10451768 | 1 73807 47 | 0.009 % | 98.28/98.30 c | 498060 | 11447 1262053 10451768 | 1 73907 48 | 0.009 % | 98.28/98.30 c | 498369 | 11447 1262053 10451768 | 1 74216 48 | 0.009 % | 98.28/98.30 c | 498586 | 11447 1262053 10451768 | 1 74433 48 | 0.009 % | 98.28/98.30 c | 498686 | 11447 1262053 10451768 | 1 74533 48 | 0.009 % | 98.28/98.30 c | 498882 | 11447 1262053 10451768 | 1 74729 48 | 0.009 % | 98.28/98.30 c | 498986 | 11447 1262053 10451768 | 1 74833 48 | 0.009 % | 98.28/98.30 c | 499430 | 11447 1262053 10451768 | 1 75277 48 | 0.009 % | 98.28/98.30 c | 499531 | 11447 1262053 10451768 | 1 75378 48 | 0.009 % | 98.28/98.30 c | 500379 | 11447 1262053 10451768 | 1 76226 49 | 0.009 % | 98.28/98.30 c | 501498 | 11447 1262053 10451768 | 1 77345 50 | 0.009 % | 98.28/98.30 c | 502147 | 11447 1262053 10451768 | 1 77994 50 | 0.009 % | 98.28/98.30 c | 504818 | 11447 1262053 10451768 | 1 80665 51 | 0.009 % | 98.28/98.30 c | 504919 | 11447 1262053 10451768 | 1 80766 51 | 0.009 % | 98.28/98.30 c | 505144 | 11447 1262053 10451768 | 1 80991 51 | 0.009 % | 98.28/98.30 c | 510709 | 11447 1262053 10451768 | 1 86556 52 | 0.009 % | 98.28/98.30 c | 518780 | 11447 1262053 10451768 | 1 94627 53 | 0.009 % | 98.28/98.30 c | 518880 | 11447 1262053 10451768 | 1 94727 53 | 0.009 % | 98.28/98.30 c | 532045 | 11447 1262053 10451768 | 1 59683 33 | 0.009 % | 98.28/98.30 c | 532431 | 11447 1262053 10451768 | 1 60069 33 | 0.009 % | 98.28/98.30 c | 539929 | 11447 1262053 10451768 | 1 67567 41 | 0.009 % | 98.28/98.30 c | 540029 | 11447 1262053 10451768 | 1 67667 41 | 0.009 % | 98.28/98.30 c | 540366 | 11447 1262053 10451768 | 1 68004 42 | 0.009 % | 98.28/98.30 c | 540466 | 11447 1262053 10451768 | 1 68104 42 | 0.009 % | 98.28/98.30 c | 542468 | 11447 1262053 10451768 | 1 70106 44 | 0.009 % | 98.28/98.30 c | 542568 | 11447 1262053 10451768 | 1 70206 44 | 0.009 % | 98.28/98.30 c | 542671 | 11447 1262053 10451768 | 1 70309 44 | 0.009 % | 98.28/98.30 c | 543117 | 11447 1262053 10451768 | 1 70755 44 | 0.009 % | 98.28/98.30 c | 543829 | 11447 1262053 10451768 | 1 71467 44 | 0.009 % | 98.28/98.30 c | 545761 | 11447 1262053 10451768 | 1 73399 45 | 0.009 % | 98.28/98.30 c | 545902 | 11447 1262053 10451768 | 1 73540 45 | 0.009 % | 98.28/98.30 c | 547496 | 11447 1262053 10451768 | 1 75134 47 | 0.009 % | 98.28/98.30 c | 547603 | 11447 1262053 10451768 | 1 75241 47 | 0.009 % | 98.28/98.30 c | 548015 | 11447 1262053 10451768 | 1 75653 47 | 0.009 % | 98.28/98.30 c | 548257 | 11447 1262053 10451768 | 1 75895 48 | 0.009 % | 98.28/98.30 c | 549887 | 11447 1262053 10451768 | 1 77525 49 | 0.009 % | 98.28/98.30 c | 550166 | 11447 1262053 10451768 | 1 77804 49 | 0.009 % | 98.28/98.30 c | 553340 | 11447 1262053 10451768 | 1 80978 52 | 0.009 % | 98.28/98.30 c | 553440 | 11447 1262053 10451768 | 1 81078 52 | 0.009 % | 102.87/102.92 c | 553584 | 11447 1262053 10451768 | 1 81222 52 | 0.009 % | 102.87/102.92 c | 553948 | 11447 1262053 10451768 | 1 81586 52 | 0.009 % | 102.87/102.92 c | 554653 | 11447 1262053 10451768 | 1 82291 52 | 0.009 % | 102.87/102.92 c | 559969 | 11447 1262053 10451768 | 1 87607 54 | 0.009 % | 102.87/102.92 c | 560161 | 11447 1262053 10451768 | 1 87799 54 | 0.009 % | 102.87/102.92 c | 560982 | 11447 1262053 10451768 | 1 88620 54 | 0.009 % | 102.87/102.92 c | 561131 | 11447 1262053 10451768 | 1 88769 54 | 0.009 % | 102.87/102.92 c | 561231 | 11447 1262053 10451768 | 1 88869 54 | 0.009 % | 102.87/102.92 c | 561914 | 11447 1262053 10451768 | 1 89552 55 | 0.009 % | 102.87/102.92 c | 562255 | 11447 1262053 10451768 | 1 89893 55 | 0.009 % | 102.87/102.92 c | 563837 | 11447 1262053 10451768 | 1 91475 56 | 0.009 % | 102.87/102.92 c | 564299 | 11447 1262053 10451768 | 1 91937 56 | 0.009 % | 102.87/102.92 c | 564400 | 11447 1262053 10451768 | 1 92038 56 | 0.009 % | 102.87/102.92 c | 565055 | 11447 1262053 10451768 | 1 92693 56 | 0.009 % | 102.87/102.92 c | 566625 | 11447 1262053 10451768 | 1 94263 58 | 0.009 % | 102.87/102.92 c | 566747 | 11447 1262053 10451768 | 1 94385 58 | 0.009 % | 102.87/102.92 c | 566878 | 11447 1262053 10451768 | 1 94516 58 | 0.009 % | 102.87/102.92 c | 567096 | 11447 1262053 10451768 | 1 94734 58 | 0.009 % | 102.87/102.92 c | 567198 | 11447 1262053 10451768 | 1 94836 58 | 0.009 % | 102.87/102.92 c | 567302 | 11447 1262053 10451768 | 1 94940 58 | 0.009 % | 102.87/102.92 c | 567783 | 11447 1262053 10451768 | 1 95421 58 | 0.009 % | 102.87/102.92 c | 567998 | 11447 1262053 10451768 | 1 95636 58 | 0.009 % | 102.87/102.92 c | 568098 | 11447 1262053 10451768 | 1 95736 58 | 0.009 % | 102.87/102.92 c | 569847 | 11447 1262053 10451768 | 1 97485 58 | 0.009 % | 102.87/102.92 c | 570165 | 11447 1262053 10451768 | 1 97803 58 | 0.009 % | 102.87/102.92 c | 570265 | 11447 1262053 10451768 | 1 97903 58 | 0.009 % | 102.87/102.92 c | 570405 | 11447 1262053 10451768 | 1 98043 59 | 0.009 % | 102.87/102.92 c | 570658 | 11447 1262053 10451768 | 1 98296 58 | 0.009 % | 102.87/102.92 c | 572138 | 11447 1262053 10451768 | 1 99776 59 | 0.009 % | 102.87/102.92 c | 573954 | 11447 1262053 10451768 | 1 101592 59 | 0.009 % | 102.87/102.92 c | 574756 | 11447 1262053 10451768 | 1 51576 25 | 0.009 % | 102.87/102.92 c | 576372 | 11447 1262053 10451768 | 1 53192 27 | 0.009 % | 102.87/102.92 c | 577009 | 11447 1262053 10451768 | 1 53829 27 | 0.009 % | 102.87/102.92 c | 577109 | 11447 1262053 10451768 | 1 53929 27 | 0.009 % | 102.87/102.92 c | 577234 | 11447 1262053 10451768 | 1 54054 27 | 0.009 % | 102.87/102.92 c | 577623 | 11447 1262053 10451768 | 1 54443 28 | 0.009 % | 102.87/102.92 c | 578733 | 11447 1262053 10451768 | 1 55553 29 | 0.009 % | 102.87/102.92 c | 580694 | 11447 1262053 10451768 | 1 57514 31 | 0.009 % | 102.87/102.92 c | 582298 | 11447 1262053 10451768 | 1 59118 33 | 0.009 % | 102.87/102.92 c | 583106 | 11447 1262053 10451768 | 1 59926 34 | 0.009 % | 102.87/102.92 c | 583206 | 11447 1262053 10451768 | 1 60026 34 | 0.009 % | 102.87/102.92 c | 585307 | 11447 1262053 10451768 | 1 62127 35 | 0.009 % | 102.87/102.92 c | 585620 | 11447 1262053 10451768 | 1 62440 35 | 0.009 % | 102.87/102.92 c | 585724 | 11447 1262053 10451768 | 1 62544 35 | 0.009 % | 102.87/102.92 c | 585893 | 11447 1262053 10451768 | 1 62713 35 | 0.009 % | 102.87/102.92 c | 586028 | 11447 1262053 10451768 | 1 62848 36 | 0.009 % | 102.87/102.92 c | 586128 | 11447 1262053 10451768 | 1 62948 36 | 0.009 % | 102.87/102.92 c | 586549 | 11447 1262053 10451768 | 1 63369 36 | 0.009 % | 102.87/102.92 c | 589323 | 11447 1262053 10451768 | 1 66143 37 | 0.009 % | 102.87/102.92 c | 589425 | 11447 1262053 10451768 | 1 66245 37 | 0.009 % | 108.98/109.00 c | 589971 | 11447 1262053 10451768 | 1 66791 37 | 0.009 % | 108.98/109.00 c | 591026 | 11447 1262053 10451768 | 1 67846 39 | 0.009 % | 108.98/109.00 c | 591127 | 11447 1262053 10451768 | 1 67947 39 | 0.009 % | 108.98/109.00 c | 591231 | 11447 1262053 10451768 | 1 68051 39 | 0.009 % | 108.98/109.00 c | 591410 | 11447 1262053 10451768 | 1 68230 39 | 0.009 % | 108.98/109.00 c | 591677 | 11447 1262053 10451768 | 1 68497 39 | 0.009 % | 108.98/109.00 c | 591779 | 11447 1262053 10451768 | 1 68599 39 | 0.009 % | 108.98/109.00 c | 592970 | 11447 1262053 10451768 | 1 69790 40 | 0.009 % | 108.98/109.00 c | 593251 | 11447 1262053 10451768 | 1 70071 41 | 0.009 % | 108.98/109.00 c | 593373 | 11447 1262053 10451768 | 1 70193 41 | 0.009 % | 108.98/109.00 c | 593473 | 11447 1262053 10451768 | 1 70293 41 | 0.009 % | 108.98/109.00 c | 593737 | 11447 1262053 10451768 | 1 70557 41 | 0.009 % | 108.98/109.00 c | 595538 | 11447 1262053 10451768 | 1 72358 43 | 0.009 % | 108.98/109.00 c | 595756 | 11447 1262053 10451768 | 1 72576 43 | 0.009 % | 108.98/109.00 c | 596259 | 11447 1262053 10451768 | 1 73079 44 | 0.009 % | 108.98/109.00 c | 596359 | 11447 1262053 10451768 | 1 73179 44 | 0.009 % | 108.98/109.00 c | 599524 | 11447 1262053 10451768 | 1 76344 46 | 0.009 % | 108.98/109.00 c | 600298 | 11447 1262053 10451768 | 1 77118 46 | 0.009 % | 108.98/109.00 c | 600449 | 11447 1262053 10451768 | 1 77269 46 | 0.009 % | 108.98/109.00 c | 601215 | 11447 1262053 10451768 | 1 78035 46 | 0.009 % | 108.98/109.00 c | 602504 | 11447 1262053 10451768 | 1 79324 47 | 0.009 % | 108.98/109.00 c | 602795 | 11447 1262053 10451768 | 1 79615 47 | 0.009 % | 108.98/109.00 c | 602895 | 11447 1262053 10451768 | 1 79715 47 | 0.009 % | 108.98/109.00 c | 603123 | 11447 1262053 10451768 | 1 79943 48 | 0.009 % | 108.98/109.00 c | 603264 | 11447 1262053 10451768 | 1 80084 48 | 0.009 % | 108.98/109.00 c | 603368 | 11447 1262053 10451768 | 1 80188 48 | 0.009 % | 108.98/109.00 c | 603474 | 11447 1262053 10451768 | 1 80294 48 | 0.009 % | 108.98/109.00 c | 603746 | 11447 1262053 10451768 | 1 80566 48 | 0.009 % | 108.98/109.00 c | 605774 | 11447 1262053 10451768 | 1 82594 49 | 0.009 % | 108.98/109.00 c | 606875 | 11446 1262053 10451768 | 1 83691 50 | 0.017 % | 108.98/109.00 c | 607492 | 11446 1262053 10451768 | 1 84308 50 | 0.017 % | 108.98/109.00 c | 607897 | 11446 1262053 10451768 | 1 84713 50 | 0.017 % | 108.98/109.00 c | 608041 | 11446 1262053 10451768 | 1 84857 50 | 0.017 % | 108.98/109.00 c | 608506 | 11446 1262053 10451768 | 1 85322 51 | 0.017 % | 108.98/109.00 c | 608688 | 11446 1262053 10451768 | 1 85504 51 | 0.017 % | 108.98/109.00 c | 608788 | 11446 1262053 10451768 | 1 85604 51 | 0.017 % | 108.98/109.00 c | 610038 | 11446 1262053 10451768 | 1 86854 51 | 0.017 % | 108.98/109.00 c | 610428 | 11446 1262053 10451768 | 1 87244 52 | 0.017 % | 108.98/109.00 c | 610686 | 11446 1262053 10451768 | 1 87502 52 | 0.017 % | 108.98/109.00 c | 610788 | 11446 1262053 10451768 | 1 87604 52 | 0.017 % | 108.98/109.00 c | 610932 | 11446 1262053 10451768 | 1 87748 52 | 0.017 % | 108.98/109.00 c | 611080 | 11446 1262053 10451768 | 1 87896 52 | 0.017 % | 108.98/109.00 c | 611182 | 11446 1262053 10451768 | 1 87998 52 | 0.017 % | 108.98/109.00 c | 614069 | 11446 1262053 10451768 | 1 90885 53 | 0.017 % | 108.98/109.00 c | 617071 | 11446 1262053 10451768 | 1 93887 55 | 0.017 % | 108.98/109.00 c | 618109 | 11446 1262053 10451768 | 1 94925 55 | 0.017 % | 108.98/109.00 c | 618533 | 11446 1262053 10451768 | 1 95349 55 | 0.017 % | 108.98/109.00 c | 619883 | 11446 1262053 10451768 | 1 96699 55 | 0.017 % | 108.98/109.00 c | 620438 | 11446 1262053 10451768 | 1 97254 55 | 0.017 % | 108.98/109.00 c | 628864 | 11446 1262053 10451768 | 1 105680 64 | 0.017 % | 114.58/114.63 c | 628964 | 11446 1262053 10451768 | 1 105780 64 | 0.017 % | 114.58/114.63 c | 629064 | 11446 1262053 10451768 | 1 105880 64 | 0.017 % | 114.58/114.63 c | 629381 | 11446 1262053 10451768 | 1 106197 64 | 0.017 % | 114.58/114.63 c | 629481 | 11446 1262053 10451768 | 1 106297 64 | 0.017 % | 114.58/114.63 c | 629869 | 11446 1262053 10451768 | 1 106685 64 | 0.017 % | 114.58/114.63 c | 629970 | 11446 1262053 10451768 | 1 106786 64 | 0.017 % | 114.58/114.63 c | 630342 | 11446 1262053 10451768 | 1 53760 26 | 0.017 % | 114.58/114.63 c | 630547 | 11446 1262053 10451768 | 1 53965 26 | 0.017 % | 114.58/114.63 c | 631675 | 11446 1262053 10451768 | 1 55093 27 | 0.017 % | 114.58/114.63 c | 632804 | 11446 1262053 10451768 | 1 56222 28 | 0.017 % | 114.58/114.63 c | 632904 | 11446 1262053 10451768 | 1 56322 28 | 0.017 % | 114.58/114.63 c | 633588 | 11446 1262053 10451768 | 1 57006 29 | 0.017 % | 114.58/114.63 c | 634599 | 11446 1262053 10451768 | 1 58017 30 | 0.017 % | 114.58/114.63 c | 643513 | 11446 1262053 10451768 | 1 66931 34 | 0.017 % | 114.58/114.63 c | 643933 | 11446 1262053 10451768 | 1 67351 35 | 0.017 % | 114.58/114.63 c | 644033 | 11446 1262053 10451768 | 1 67451 35 | 0.017 % | 114.58/114.63 c | 644134 | 11446 1262053 10451768 | 1 67552 35 | 0.017 % | 114.58/114.63 c | 644236 | 11446 1262053 10451768 | 1 67654 35 | 0.017 % | 114.58/114.63 c | 644453 | 11446 1262053 10451768 | 1 67871 35 | 0.017 % | 114.58/114.63 c | 646340 | 11446 1262053 10451768 | 1 69758 37 | 0.017 % | 114.58/114.63 c | 656269 | 11446 1262053 10451768 | 1 79687 42 | 0.017 % | 114.58/114.63 c | 657747 | 11446 1262053 10451768 | 1 81165 42 | 0.017 % | 114.58/114.63 c | 657945 | 11446 1262053 10451768 | 1 81363 42 | 0.017 % | 114.58/114.63 c | 658505 | 11446 1262053 10451768 | 1 81923 43 | 0.017 % | 114.58/114.63 c | 658772 | 11446 1262053 10451768 | 1 82190 43 | 0.017 % | 114.58/114.63 c | 658872 | 11446 1262053 10451768 | 1 82290 43 | 0.017 % | 114.58/114.63 c | 659050 | 11446 1262053 10451768 | 1 82468 43 | 0.017 % | 114.58/114.63 c | 661556 | 11446 1262053 10451768 | 1 84974 44 | 0.017 % | 114.58/114.63 c | 661663 | 11446 1262053 10451768 | 1 85081 44 | 0.017 % | 114.58/114.63 c | 663715 | 11446 1262053 10451768 | 1 87133 45 | 0.017 % | 114.58/114.63 c | 663856 | 11446 1262053 10451768 | 1 87274 45 | 0.017 % | 114.58/114.63 c | 664694 | 11446 1262053 10451768 | 1 88112 45 | 0.017 % | 114.58/114.63 c | 665575 | 11446 1262053 10451768 | 1 88993 45 | 0.017 % | 114.58/114.63 c | 665694 | 11446 1262053 10451768 | 1 89112 45 | 0.017 % | 114.58/114.63 c | 666189 | 11446 1262053 10451768 | 1 89607 46 | 0.017 % | 114.58/114.63 c | 667176 | 11446 1262053 10451768 | 1 90594 46 | 0.017 % | 114.58/114.63 c | 667319 | 11446 1262053 10451768 | 1 90737 46 | 0.017 % | 114.58/114.63 c | 667420 | 11446 1262053 10451768 | 1 90838 46 | 0.017 % | 114.58/114.63 c | 667876 | 11446 1262053 10451768 | 1 91294 47 | 0.017 % | 114.58/114.63 c | 671107 | 11446 1262053 10451768 | 1 94525 47 | 0.017 % | 114.58/114.63 c | 672135 | 11446 1262053 10451768 | 1 95553 48 | 0.017 % | 114.58/114.63 c | 672279 | 11446 1262053 10451768 | 1 95697 48 | 0.017 % | 114.58/114.63 c | 672381 | 11446 1262053 10451768 | 1 95799 48 | 0.017 % | 114.58/114.63 c | 673717 | 11446 1262053 10451768 | 1 97135 48 | 0.017 % | 114.58/114.63 c | 673817 | 11446 1262053 10451768 | 1 97235 48 | 0.017 % | 114.58/114.63 c | 674034 | 11446 1262053 10451768 | 1 97452 48 | 0.017 % | 114.58/114.63 c | 674135 | 11446 1262053 10451768 | 1 97553 48 | 0.017 % | 114.58/114.63 c | 674393 | 11446 1262053 10451768 | 1 97811 48 | 0.017 % | 114.58/114.63 c | 674584 | 11446 1262053 10451768 | 1 98002 48 | 0.017 % | 114.58/114.63 c | 674685 | 11446 1262053 10451768 | 1 98103 48 | 0.017 % | 119.48/119.52 c | 675024 | 11446 1262053 10451768 | 1 98442 49 | 0.017 % | 119.48/119.52 c | 675693 | 11446 1262053 10451768 | 1 99111 49 | 0.017 % | 119.48/119.52 c | 675793 | 11446 1262053 10451768 | 1 99211 49 | 0.017 % | 119.48/119.52 c | 675902 | 11446 1262053 10451768 | 1 99320 49 | 0.017 % | 119.48/119.52 c | 676003 | 11446 1262053 10451768 | 1 99421 49 | 0.017 % | 119.48/119.52 c | 676513 | 11446 1262053 10451768 | 1 99931 49 | 0.017 % | 119.48/119.52 c | 676613 | 11446 1262053 10451768 | 1 100031 49 | 0.017 % | 119.48/119.52 c | 676713 | 11446 1262053 10451768 | 1 100131 49 | 0.017 % | 119.48/119.52 c | 677119 | 11446 1262053 10451768 | 1 100537 50 | 0.017 % | 119.48/119.52 c | 677384 | 11446 1262053 10451768 | 1 100802 50 | 0.017 % | 119.48/119.52 c | 678014 | 11446 1262053 10451768 | 1 101432 50 | 0.017 % | 119.48/119.52 c | 678214 | 11446 1262053 10451768 | 1 101632 50 | 0.017 % | 119.48/119.52 c | 678375 | 11446 1262053 10451768 | 1 101793 50 | 0.017 % | 119.48/119.52 c | 678958 | 11446 1262053 10451768 | 1 102376 50 | 0.017 % | 119.48/119.52 c | 679060 | 11446 1262053 10451768 | 1 102478 50 | 0.017 % | 119.48/119.52 c | 679161 | 11446 1262053 10451768 | 1 102579 51 | 0.017 % | 119.48/119.52 c | 679349 | 11446 1262053 10451768 | 1 102767 51 | 0.017 % | 119.48/119.52 c | 679449 | 11446 1262053 10451768 | 1 102867 51 | 0.017 % | 119.48/119.52 c | 679845 | 11446 1262053 10451768 | 1 103263 51 | 0.017 % | 119.48/119.52 c | 679945 | 11446 1262053 10451768 | 1 103363 51 | 0.017 % | 119.48/119.52 c | 680045 | 11446 1262053 10451768 | 1 103463 51 | 0.017 % | 119.48/119.52 c | 681833 | 11446 1262053 10451768 | 1 105251 52 | 0.017 % | 119.48/119.52 c | 683748 | 11446 1262053 10451768 | 1 107166 52 | 0.017 % | 119.48/119.52 c | 684456 | 11446 1262053 10451768 | 1 107874 53 | 0.017 % | 119.48/119.52 c | 684557 | 11446 1262053 10451768 | 1 107975 53 | 0.017 % | 119.48/119.52 c | 685898 | 11446 1262053 10451768 | 1 109316 53 | 0.017 % | 119.48/119.52 c | 685998 | 11446 1262053 10451768 | 1 109416 53 | 0.017 % | 119.48/119.52 c | 686212 | 11446 1262053 10451768 | 1 109630 53 | 0.017 % | 119.48/119.52 c | 687419 | 11446 1262053 10451768 | 1 110837 54 | 0.017 % | 119.48/119.52 c | 690531 | 11446 1262053 10451768 | 1 57957 24 | 0.017 % | 119.48/119.52 c | 690990 | 11446 1262053 10451768 | 1 58416 24 | 0.017 % | 119.48/119.52 c | 691135 | 11446 1262053 10451768 | 1 58561 24 | 0.017 % | 119.48/119.52 c | 693681 | 11446 1262053 10451768 | 1 61107 27 | 0.017 % | 119.48/119.52 c | 694295 | 11446 1262053 10451768 | 1 61721 28 | 0.017 % | 119.48/119.52 c | 695011 | 11446 1262053 10451768 | 1 62437 29 | 0.017 % | 119.48/119.52 c | 695147 | 11446 1262053 10451768 | 1 62573 29 | 0.017 % | 119.48/119.52 c | 700027 | 11446 1262053 10451768 | 1 67453 34 | 0.017 % | 119.48/119.52 c | 700423 | 11446 1262053 10451768 | 1 67849 34 | 0.017 % | 119.48/119.52 c | 700804 | 11446 1262053 10451768 | 1 68230 35 | 0.017 % | 119.48/119.52 c | 702005 | 11446 1262053 10451768 | 1 69431 35 | 0.017 % | 119.48/119.52 c | 702105 | 11446 1262053 10451768 | 1 69531 35 | 0.017 % | 119.48/119.52 c | 702375 | 11446 1262053 10451768 | 1 69801 36 | 0.017 % | 119.48/119.52 c | 702684 | 11446 1262053 10451768 | 1 70110 36 | 0.017 % | 119.48/119.52 c | 702784 | 11446 1262053 10451768 | 1 70210 36 | 0.017 % | 119.48/119.52 c | 704671 | 11446 1262053 10451768 | 1 72097 37 | 0.017 % | 119.48/119.52 c | 706290 | 11446 1262053 10451768 | 1 73716 38 | 0.017 % | 119.48/119.52 c | 706472 | 11446 1262053 10451768 | 1 73898 38 | 0.017 % | 119.48/119.52 c | 709776 | 11446 1262053 10451768 | 1 77202 40 | 0.017 % | 119.48/119.52 c | 710126 | 11446 1262053 10451768 | 1 77552 40 | 0.017 % | 119.48/119.52 c | 710377 | 11446 1262053 10451768 | 1 77803 41 | 0.017 % | 120.78/120.90 c | 713272 | 11446 1262053 10451768 | 1 80698 42 | 0.017 % | 120.78/120.90 c | 713375 | 11446 1262053 10451768 | 1 80801 42 | 0.017 % | 120.78/120.90 c | 714263 | 11446 1262053 10451768 | 1 81689 43 | 0.017 % | 120.78/120.90 c | 716104 | 11446 1262053 10451768 | 1 83530 43 | 0.017 % | 120.78/120.90 c | 717616 | 11446 1262053 10451768 | 1 85042 44 | 0.017 % | 120.78/120.90 c | 717719 | 11446 1262053 10451768 | 1 85145 44 | 0.017 % | 120.78/120.90 c | 718575 | 11446 1262053 10451768 | 1 86001 45 | 0.017 % | 120.78/120.90 c | 719562 | 11446 1262053 10451768 | 1 86988 46 | 0.017 % | 120.78/120.90 c | 721193 | 11446 1262053 10451768 | 1 88619 46 | 0.017 % | 120.78/120.90 c =============================================================================== 120.78/120.90 c restarts : 697 120.78/120.90 c nb ReduceDB : 22 120.78/120.90 c nb removed Clauses : 632569 120.78/120.90 c nb learnts DL2 : 5560 120.78/120.90 c nb learnts size 2 : 2955 120.78/120.90 c nb learnts size 1 : 2 120.78/120.90 c conflicts : 721193 (7886 /sec) 120.78/120.90 c decisions : 1670086 (0.00 % random) (18262 /sec) 120.78/120.90 c propagations : 230245460 (2517634 /sec) 120.78/120.90 c conflict literals : 59062134 (24.40 % deleted) 120.78/120.90 c nb reduced Clauses : 1877 120.78/120.90 c CPU time : 91.4531 s 120.78/120.90 120.88/120.91 s SATISFIABLE 120.88/120.91 v 1 -2 3 4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 16 -17 -18 -19 -20 -21 -22 23 24 -25 26 27 28 -29 -30 31 32 33 -34 35 36 37 38 -39 -40 41 -42 -43 -44 -45 -46 47 48 -49 50 -51 -52 -53 -54 -55 -56 -57 58 59 -60 61 -62 -63 -64 65 -66 -67 -68 69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 81 82 -83 -84 85 86 87 -88 89 90 91 92 -93 -94 95 -96 -97 98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 126 127 -128 -129 -130 -131 -132 -133 134 135 136 -137 -138 -139 -140 -141 142 143 144 145 146 147 148 149 150 151 152 153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180 -181 -182 183 184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 195 -196 -197 -198 -199 200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 238 -239 240 241 242 243 -244 245 246 -247 -248 -249 -250 -251 252 253 -254 -255 256 -257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 270 271 -272 273 274 275 276 -277 -278 -279 280 -281 -282 283 -284 285 286 287 288 -289 -290 -291 -292 293 294 -295 -296 297 298 299 -300 301 -302 303 304 305 306 -307 -308 -309 310 311 -312 -313 -314 315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 330 331 332 -333 334 -335 336 337 338 339 340 341 -342 343 -344 345 346 347 348 349 350 351 352 353 354 -355 -356 -357 -358 359 360 361 362 -363 364 -365 -366 -367 -368 -369 -370 371 372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 386 387 -388 389 390 -391 392 -393 -394 -395 396 397 398 399 400 401 402 403 404 405 406 407 408 -409 410 411 -412 413 -414 -415 -416 417 -418 419 -420 -421 -422 -423 -424 -425 -426 -427 428 -429 430 -431 -432 -433 -434 435 -436 437 -438 -439 -440 441 -442 443 -444 -445 -446 -447 448 449 -450 -451 -452 453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 467 468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 487 488 489 490 491 492 493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 516 517 518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 555 556 557 558 559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 623 624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 640 641 642 643 644 645 646 647 648 649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 713 714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 820 821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 927 928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 948 949 950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 978 979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 997 998 999 1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 1018 1019 1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 1062 1063 1064 1065 1066 1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 1081 1082 1083 1084 1085 1086 1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 1102 1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 1145 1146 1147 1148 1149 1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 1190 1191 1192 1193 1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 1256 1257 1258 1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 1280 1281 1282 1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 1325 1326 1327 1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 1435 1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 1501 1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 1589 1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 1918 1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 1940 1941 1942 1943 1944 1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 2009 2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 2027 2028 2029 2030 2031 2032 2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 2206 2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 2313 2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 2452 2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 2717 2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 2754 2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 2842 2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 3197 3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 3216 3217 3218 3219 3220 3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 3394 3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 4209 4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 4563 4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 4670 4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 4777 4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 6625 6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 6646 6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 6690 6691 6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 6712 6713 6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 6734 6735 6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 6800 6801 6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 7050 7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 7160 7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 7421 7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 7465 7466 7467 7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 7487 7488 7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 7575 7576 7577 7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 7729 7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 7860 7861 7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 7882 7883 7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 7970 7971 7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 8080 8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 8124 8125 8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 -8346 8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608 8609 8610 8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 8696 8697 8698 8699 8700 8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 8806 8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 8850 8851 8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 8957 -8958 -8959 -8960 -8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 9001 9002 9003 9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 9023 9024 9025 9026 9027 9028 9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 9045 9046 9047 9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 -9066 9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 9111 9112 9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 9134 9135 9136 9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 9179 9180 9181 9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203 9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 9308 9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 9330 9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 9352 9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 9418 9419 -9420 -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 9880 9881 9882 9883 9884 -9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 9902 9903 9904 9905 9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 9968 9969 9970 9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990 -9991 9992 9993 9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 10037 10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 10144 10145 10146 10147 10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 -10166 10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 10210 10211 10212 10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 10234 10235 10236 10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 10279 10280 10281 10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 10430 10431 10432 10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 10454 10455 10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 10499 10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583 10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 -10826 -10827 -10828 -10829 -10830 10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980 -10981 10982 10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023 -11024 -11025 -11026 11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 11159 11160 11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 -11267 -11268 -11269 -11270 -11271 11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380 -11381 11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 11599 -11600 -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 -11617 -11618 11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647 11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661 -11662 -11663 11664 -11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 -11683 -11684 -11685 11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 -11705 11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 11729 -11730 -11731 -11732 -11733 -11734 -11735 -11736 -11737 -11738 -11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 -11752 -11753 -11754 11755 -11756 -11757 -11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 11771 -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799 -11800 -11801 -11802 -11803 11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 11815 -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823 -11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837 -11838 -11839 -11840 -11841 -11842 -11843 -11844 11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 -11860 -11861 11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881 -11882 -11883 -11884 -11885 -11886 -11887 -11888 11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 -11903 11904 -11905 -11906 -11907 -11908 -11909 -11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925 -11926 -11927 -11928 -11929 -11930 11931 -11932 -11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 -11950 -11951 11952 -11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970 -11971 -11972 -11973 -11974 -11975 11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 -11993 -11994 -11995 -11996 -11997 -11998 11999 -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 -12019 -12020 -12021 12022 -12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 -12042 -12043 -12044 12045 -12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 -12058 12059 -12060 -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 12080 -12081 -12082 -12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 -12104 -12105 -12106 -12107 -12108 -12109 12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123 -12124 -12125 -12126 -12127 -12128 12129 -12130 -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 -12146 -12147 -12148 -12149 12150 -12151 -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167 -12168 -12169 -12170 -12171 -12172 -12173 -12174 12175 -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 -12191 -12192 -12193 12194 -12195 -12196 -12197 -12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211 -12212 12213 -12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 12234 -12235 -12236 -12237 -12238 -12239 -12240 -12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 12255 -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 12277 -12278 -12279 -12280 -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 -12321 12322 -12323 -12324 -12325 -12326 -12327 -12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343 -12344 12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365 -12366 -12367 -12368 -12369 -12370 12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 -12387 12388 -12389 -12390 -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 -12410 -12411 12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431 -12432 -12433 -12434 -12435 -12436 -12437 12438 -12439 -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453 -12454 -12455 -12456 12457 -12458 -12459 -12460 -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 -12478 -12479 -12480 -12481 12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 -12499 -12500 -12501 -12502 -12503 -12504 -12505 -12506 12507 -12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 -12521 -12522 -12523 -12524 -12525 -12526 -12527 -12528 12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 12542 -12543 -12544 -12545 -12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567 12568 -12569 -12570 -12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591 -12592 12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 -12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631 -12632 12633 -12634 -12635 -12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655 -12656 -12657 -12658 12659 -12660 -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673 12674 -12675 -12676 -12677 -12678 -12679 -12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 12697 -12698 -12699 -12700 -12701 -12702 -12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720 -12721 -12722 -12723 12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 12749 -12750 -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 -12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 -12769 -12770 -12771 12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 -12792 -12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805 -12806 -12807 -12808 -12809 -12810 -12811 -12812 -12813 12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 -12827 -12828 -12829 12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850 -12851 -12852 -12853 -12854 -12855 -12856 12857 -12858 -12859 -12860 -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871 12872 -12873 -12874 -12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895 -12896 -12897 -12898 12899 -12900 -12901 -12902 -12903 -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919 -12920 12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940 -12941 -12942 -12943 12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960 -12961 -12962 -12963 -12964 -12965 -12966 12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983 -12984 -12985 -12986 -12987 -12988 -12989 12990 -12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010 -13011 -13012 -13013 13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025 -13026 -13027 13028 -13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 13050 -13051 -13052 -13053 -13054 -13055 -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 -13072 -13073 -13074 -13075 -13076 -13077 -13078 13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 -13099 13100 -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 -13115 -13116 -13117 -13118 -13119 13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135 -13136 -13137 -13138 -13139 -13140 -13141 -13142 13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160 -13161 -13162 -13163 -13164 -13165 -13166 13167 -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180 -13181 -13182 -13183 -13184 -13185 -13186 13187 -13188 -13189 -13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201 -13202 13203 -13204 -13205 -13206 -13207 -13208 -13209 -13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 13250 -13251 -13252 -13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 -13276 13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 -13292 -13293 13294 -13295 -13296 -13297 -13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 -13312 13313 -13314 -13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335 -13336 -13337 -13338 13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 -13356 -13357 -13358 13359 -13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 -13379 -13380 -13381 -13382 13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399 -13400 -13401 -13402 -13403 -13404 -13405 13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421 -13422 -13423 -13424 -13425 -13426 -13427 13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 -13444 -13445 -13446 -13447 -13448 -13449 13450 -13451 -13452 -13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470 -13471 -13472 -13473 -13474 13475 -13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490 -13491 -13492 -13493 -13494 -13495 -13496 13497 -13498 -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 13510 -13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 -13541 -13542 13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 -13560 -13561 -13562 -13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 0
OK
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-3304089-1303905041/watcher-3304089-1303905041 -o /tmp/evaluation-result-3304089-1303905041/solver-3304089-1303905041 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3304089-1303905041.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 1.93 2/178 4261 /proc/meminfo: memFree=21336936/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [startup+0.080777 s] /proc/loadavg: 2.01 2.00 1.93 2/178 4261 /proc/meminfo: memFree=21336936/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100781 s] /proc/loadavg: 2.01 2.00 1.93 2/178 4261 /proc/meminfo: memFree=21336936/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300737 s] /proc/loadavg: 2.01 2.00 1.93 2/178 4261 /proc/meminfo: memFree=21336936/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700661 s] /proc/loadavg: 2.01 2.00 1.93 2/178 4261 /proc/meminfo: memFree=21336936/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50052 s] /proc/loadavg: 2.01 2.00 1.93 3/180 4263 /proc/meminfo: memFree=21198488/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [pid=4262] ppid=4261 vsize=144072 CPUtime=1.49 cores=1,3,5,7 /proc/4262/stat : 4262 (SatELite_releas) R 4261 4261 3723 0 -1 4202496 34556 0 0 0 139 10 0 0 25 0 1 0 502106587 147529728 34511 33554432000 134512640 135144242 4294631440 18446744073709551615 134551331 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4262/statm: 36018 34511 71 155 0 35861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 152776 [startup+3.10021 s] /proc/loadavg: 2.01 2.00 1.93 3/180 4263 /proc/meminfo: memFree=21197372/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [pid=4262] ppid=4261 vsize=144072 CPUtime=3.09 cores=1,3,5,7 /proc/4262/stat : 4262 (SatELite_releas) R 4261 4261 3723 0 -1 4202496 34558 0 0 0 299 10 0 0 25 0 1 0 502106587 147529728 34513 33554432000 134512640 135144242 4294631440 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4262/statm: 36018 34513 71 155 0 35861 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 152776 [startup+6.30061 s] /proc/loadavg: 2.01 2.00 1.93 3/180 4263 /proc/meminfo: memFree=21238544/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [pid=4262] ppid=4261 vsize=144072 CPUtime=6.29 cores=1,3,5,7 /proc/4262/stat : 4262 (SatELite_releas) R 4261 4261 3723 0 -1 4202496 34569 0 0 0 619 10 0 0 25 0 1 0 502106587 147529728 34524 33554432000 134512640 135144242 4294631440 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4262/statm: 36018 34524 71 155 0 35861 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 152776 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.93 3/180 4263 /proc/meminfo: memFree=21238372/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [pid=4262] ppid=4261 vsize=144264 CPUtime=12.69 cores=1,3,5,7 /proc/4262/stat : 4262 (SatELite_releas) R 4261 4261 3723 0 -1 4202496 34597 0 0 0 1259 10 0 0 25 0 1 0 502106587 147726336 34552 33554432000 134512640 135144242 4294631440 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4262/statm: 36066 34552 71 155 0 35909 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 152968 [startup+25.501 s] /proc/loadavg: 2.00 2.00 1.93 3/180 4264 /proc/meminfo: memFree=21207128/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 502106587 8912896 252 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4261/statm: 2176 252 211 178 0 69 0 [pid=4262] ppid=4261 vsize=144520 CPUtime=25.49 cores=1,3,5,7 /proc/4262/stat : 4262 (SatELite_releas) R 4261 4261 3723 0 -1 4202496 34671 0 0 0 2539 10 0 0 25 0 1 0 502106587 147988480 34626 33554432000 134512640 135144242 4294631440 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4262/statm: 36130 34626 71 155 0 35973 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 153224 [startup+51.1011 s] /proc/loadavg: 2.06 2.02 1.93 3/180 4265 /proc/meminfo: memFree=21189016/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=168648 CPUtime=22.08 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 72665 0 0 0 2195 13 0 0 25 0 1 0 502109488 172695552 32923 33554432000 4194304 4260849 140736511990112 18446744073709551615 4239915 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/4265/statm: 42162 32923 251 17 0 38803 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 177352 [startup+102.306 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21146896/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=177168 CPUtime=73.28 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 230689 0 0 0 7293 35 0 0 25 0 1 0 502109488 181420032 33913 33554432000 4194304 4260849 140736511990112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44292 33913 251 17 0 40933 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 185872 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21128916/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=177768 CPUtime=79.67 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 235292 0 0 0 7931 36 0 0 25 0 1 0 502109488 182034432 38476 33554432000 4194304 4260849 140736511990112 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44442 38476 251 17 0 41083 0 Current children cumulated CPU time (s) 108.67 Current children cumulated vsize (KiB) 186472 [startup+115.101 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21130084/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=178168 CPUtime=86.08 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 254970 0 0 0 8568 40 0 0 25 0 1 0 502109488 182444032 37195 33554432000 4194304 4260849 140736511990112 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44542 37195 251 17 0 41183 0 Current children cumulated CPU time (s) 115.08 Current children cumulated vsize (KiB) 186872 [startup+118.3 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21140388/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=178304 CPUtime=89.27 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 272603 0 0 0 8885 42 0 0 25 0 1 0 502109488 182583296 34528 33554432000 4194304 4260849 140736511990112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44576 34528 251 17 0 41217 0 Current children cumulated CPU time (s) 118.27 Current children cumulated vsize (KiB) 187008 [startup+119.906 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21132824/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=178304 CPUtime=90.89 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 273679 0 0 0 9046 43 0 0 25 0 1 0 502109488 182583296 35596 33554432000 4194304 4260849 140736511990112 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44576 35596 251 17 0 41217 0 Current children cumulated CPU time (s) 119.89 Current children cumulated vsize (KiB) 187008 [startup+120.701 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21132824/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=178440 CPUtime=91.68 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202496 274272 0 0 0 9125 43 0 0 25 0 1 0 502109488 182722560 36182 33554432000 4194304 4260849 140736511990112 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4265/statm: 44610 36182 251 17 0 41251 0 Current children cumulated CPU time (s) 120.68 Current children cumulated vsize (KiB) 187144 [startup+120.901 s] /proc/loadavg: 2.02 2.01 1.93 3/180 4267 /proc/meminfo: memFree=21138404/32951124 swapFree=67111524/67111528 [pid=4261] ppid=4259 vsize=8704 CPUtime=29 cores=1,3,5,7 /proc/4261/stat : 4261 (glucose.sh) S 4259 4261 3723 0 -1 4202496 360 36813 0 0 0 0 2881 19 18 0 1 0 502106587 8912896 254 33554432000 4194304 4922060 140734366055728 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/4261/statm: 2176 254 211 178 0 69 0 [pid=4265] ppid=4261 vsize=0 CPUtime=91.88 cores=1,3,5,7 /proc/4265/stat : 4265 (glucose_static) R 4261 4261 3723 0 -1 4202500 274391 0 0 0 9145 43 0 0 25 0 1 0 502109488 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/4265/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 120.88 Current children cumulated vsize (KiB) 8704 Child status: 10 Real time (s): 120.931 CPU time (s): 120.929 CPU user time (s): 120.279 CPU system time (s): 0.649901 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 312344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 120.279 system time used= 0.649901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 312374 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= 41 involuntary context switches= 241 runsolver used 0.202969 second user time and 0.460929 second system time The end
Begin job on node102 at 2011-04-27 13:50:42 IDJOB=3304089 IDBENCH=83447 IDSOLVER=1687 FILE ID=node102/3304089-1303905041 RUNJOBID= node102-1303899346-3742 PBS_JOBID= 13164546 Free space on /tmp= 71492 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3304089-1303905041/watcher-3304089-1303905041 -o /tmp/evaluation-result-3304089-1303905041/solver-3304089-1303905041 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3304089-1303905041.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84 RANDOM SEED=1282425982 node102.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.828 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.65 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.828 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 : 5226.15 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.828 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.82 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.828 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.75 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.828 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.82 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.828 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.75 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.828 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.82 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.828 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21337208 kB Buffers: 1626976 kB Cached: 9228156 kB SwapCached: 4 kB Active: 2930316 kB Inactive: 8130628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21337208 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 64848 kB Writeback: 0 kB AnonPages: 205604 kB Mapped: 15220 kB Slab: 488416 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 357320 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71492 MiB End job on node102 at 2011-04-27 13:52:43