/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col100_5_5.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           200                                         |
|  Number of clauses:             837                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     193      837     3114 |      306      100      3 |  3.503 % |
|       250 |     193      837     3114 |      337      250      4 |  3.503 % |
|       475 |     193      837     3114 |      371      288      4 |  3.503 % |
|       812 |     193      837     3114 |      408      225      3 |  3.503 % |
|      1318 |     193      837     3114 |      449      288      4 |  3.503 % |
|      2077 |     193      837     3114 |      494      333      4 |  3.503 % |

iso times: 0.019862 0.018221 0.018975 0.018093 0.016950 0.016869 0.017322 0.016674 0.016824 0.004564 0.017942 0.017473 0.017793 0.017279 0.018089 0.017039 0.017185 0.017278 0.017269 0.017494 0.017696 0.005254 0.019188 0.019510 0.018654 0.017791 0.017673 0.017891 0.018153 0.017251 0.016884 0.017506 0.017955 0.016801 0.016547 0.015771 0.017062 0.016687 0.017104 0.016349 0.015649 0.023687 0.023408 0.021277 0.020546 0.020585 0.019853 0.020466 0.019890 0.019861 0.019630 0.020531 0.019819 0.020616 0.019719 0.018604 0.018018 0.018819 0.019120 0.018866 0.016975 0.018906 0.019058 0.018904 0.018138 0.018983 0.017724 0.018019 0.018092 0.018521 0.017755 0.018320 0.018410 0.019498 0.018062 0.018561 0.018070 0.018296 0.017761 0.017978 0.016909 0.017389 0.017920 0.017089 0.016945 0.025882 0.026423 0.025924 0.025726 0.024955 0.023973 0.024978 0.024622 0.024104 0.023957 0.023804 0.023034 0.022976 0.023308 0.023095 0.022628 0.023200 0.022352 0.022959 0.021851 0.020861 0.020391 0.020664 0.020843 0.019438 0.018767 0.019174 0.019332 0.018873 0.018768 0.018837 0.018862 0.019307 0.018495 0.018225 0.018867 0.018546 0.017889 0.017605 0.016571 0.017777 0.016926 0.017997 0.016935 0.017905 0.017090 0.018941 0.017942 0.018903 0.018038 0.017896 0.017395 0.019574 0.019121 0.018375 0.017398 0.017583 0.016922 0.017508 0.016731 0.017254 0.016745 0.017282 0.016789 0.016931 0.017214 0.016790 0.015558 0.016480 0.016143 0.016364 0.015042 0.016647 0.015016 0.017249 0.016838 0.017295 0.017030 0.016647 0.016640 0.016544 0.015626 0.016540 0.015493 0.016214 0.014145 0.022893 0.022874 0.023430 0.022654 0.023220 0.022397 0.023138 0.022245 0.022454 0.022117 0.020658 0.020579 0.019579 0.019551 0.019730 0.018291 0.019260 0.018653 0.018750 0.018034 0.016989 0.016379 0.018190 0.018027 0.018351 0.017932 0.018741 0.017616 0.017750 0.017624 0.016855 0.015937 0.017000 0.015309 0.018073 0.017446 0.019127 0.019207 0.017815 0.016718 0.016867 0.016284 0.016691 0.015450 0.016904 0.015280 0.019117 0.018852 0.018815 0.017453 0.016814 0.016954 0.016623 0.015676 0.016613 0.015846 0.016268 0.015434 0.018543 0.017691 0.018345 0.016954 0.018386 0.017594 0.017126 0.016340 0.017221 0.017413 0.017593 0.017317 0.017018 0.016465 0.016953 0.016271 0.016791 0.015921 0.016131 0.015667 0.015452 0.016716 0.016068 0.017223 0.016176 0.016254 0.015805 0.015227 0.019053 0.018338 0.017237 0.016961 0.017521 0.016603 0.017114 0.016444 0.015777 0.016596 0.016245 0.015713 0.015630 0.015274 0.015060 0.014739 0.014697 0.014229 0.015247 0.013904 0.014732 0.013586 0.023437 0.023939 0.023965 0.024050 0.022080 0.022387 0.020643 0.020513 0.020126 0.019894 0.020773 0.019637 0.019923 0.019511 0.020503 0.020253 0.018914 0.019169 0.018919 0.017918 0.018603 0.018451 0.017606 0.018996 0.018636 0.017876 0.018635 0.017794 0.017295 0.016824 0.016977 0.017325 0.017535 0.016869 0.018146 0.017254 0.016995 0.017306 0.017057 0.017051 0.016910 0.016616 0.017099 0.017269 0.017086 0.016732 0.016681 0.016375 0.015931 0.015821 0.015661 0.014726 0.014984 0.014237 0.014704 0.013723 0.017159 0.017237 0.017609 0.016621 0.017307 0.015797 0.016976 0.016381 0.016499 0.016263 0.016343 0.016353 0.015708 0.015043 0.014937 0.014163 0.015526 0.014864 0.015361 0.014733 0.014435 0.013649 0.014154 0.013361 0.017104 0.016762 0.017232 0.016595 0.017035 0.016538 0.016660 0.016233 0.016395 0.015822 0.016175 0.015870 0.015964 0.019719 0.019709 0.017374 0.016896 0.017666 0.017789 0.016986 0.016233 0.017473 0.016578 0.017099 0.015993 0.016979 0.015791 0.016485 0.015910 0.016148 0.015271 0.016058 0.015220 0.015715 0.015599 0.016032 0.014963 0.015293 0.014590 0.015112 0.014578 0.014959 0.013958 0.015032 0.014041 0.015339 0.014239 0.014856 0.013645 0.013446 0.015992 0.015810 0.016354 0.015631 0.015696 0.015085 0.014023 0.014641 0.014028 0.014638 0.014208 0.014368 0.013921 0.014615 0.013618 0.014118 0.013492 0.013878 0.013210 0.013555 0.013889 0.013238 0.013695 0.012950 0.013235 0.012474 0.012765 0.023699 0.023969 0.023478 0.023433 0.022089 0.021778 0.022027 0.021555 0.019950 0.019658 0.019250 0.019100 0.019316 0.018811 0.018859 0.019017 0.018577 0.018088 0.018011 0.018629 0.017768 0.018068 0.017725 0.016966 0.016875 0.016744 0.017249 0.016347 0.016602 0.015478 0.016378 0.016603 0.016193 0.015369 0.015604 0.015021 0.015506 0.014832 0.015079 0.014512 0.014695 0.013837 0.014388 0.013421 0.016761 0.016310 0.016420 0.016301 0.016598 0.016058 0.016310 0.015885 0.015628 0.014845 0.015673 0.014693 0.015063 0.014452 0.015057 0.014411 0.015064 0.014631 0.014459 0.013896 0.014251 0.013750 0.013744 0.013396 0.012842 0.014652 0.013687 0.014874 0.013844 0.014190 0.013712 0.014172 0.012801 0.014793 0.014560 0.014778 0.013887 0.014229 0.013909 0.014145 0.013195 0.013574 0.012849 0.013357 0.012893 0.013168 0.012645 0.013414 0.013032 0.012909 0.011940 0.012939 0.011983 0.010792 0.022928 0.022833 0.022575 0.022620 0.022301 0.022069 0.022212 0.021635 0.022443 0.022118 0.021056 0.021145 0.020100 0.020650 0.020040 0.019478 0.019772 0.019435 0.022590 0.022692 0.022258 0.021854 0.020918 0.020457 0.020063 0.019637 0.019596 0.019410 0.019180 0.018643 0.020254 0.019672 0.019726 0.018500 0.018473 0.017214 0.018618 0.016932 0.017705 0.016590 0.016931 0.016448 0.017006 0.016884 0.016430 0.015093 0.015549 0.015660 0.015783 0.014923 0.014619 0.014352 0.015054 0.014168 0.015894 0.015231 0.015975 0.015413 0.015997 0.015324 0.016074 0.015571 0.015589 0.015483 0.016456 0.016055 0.014447 0.020294 0.019801 0.018604 0.018269 0.018342 0.017398 0.017556 0.016793 0.016402 0.017005 0.017615 0.016608 0.017331 0.015267 0.019420 0.019136 0.017500 0.016815 0.016881 0.016442 0.016570 0.016097 0.015501 0.015546 0.016225 0.015721 0.015553 0.014695 0.015170 0.014240 0.013796 0.013410 0.013565 0.012231 0.012656 0.011905 0.012278 0.011824 0.012275 0.011699 0.013472 0.011813 0.011831 0.011059 0.011479 0.010556 0.010939 0.010692 0.010790 0.010472 0.010872 0.010066 0.010969 0.009696 0.010221 0.009358 0.010270 0.008880 0.011635 0.010697 0.011486 0.010939 0.011352 0.010800 0.010834 0.010087 0.010561 0.009752 0.010356 0.009693 0.010325 0.009576 0.010308 0.008868 0.011251 0.010646 0.014822 0.014420 0.015014 0.014550 0.014679 0.014167 0.014474 0.013314 0.014130 0.013845 0.012817 0.011738 0.015746 0.015184 0.015549 0.014864 0.014543 0.014170 0.015870 0.015215 0.014824 0.014338 0.014975 0.014177 0.014298 0.013572 0.014214 0.020702 0.020109 0.020172 0.019903 0.020308 0.019834 0.019386 0.019225 0.019051 0.019067 0.019175 0.017362 0.016954 0.016739 0.017280 0.016529 0.016054 0.015032 0.015633 0.015161 0.015411 0.015313 0.015505 0.014961 0.016311 0.015514 0.014151 0.018079 0.017767 0.017127 0.017575 0.017598 0.016236 0.016127 0.015680 0.014526 0.014231 0.014321 0.013766 0.013574 0.012660 0.013853 0.013647 0.013832 0.013443 0.013499 0.012517 0.020136 0.020376 0.020360 0.019872 0.020007 0.019266 0.019254 0.018860 0.018525 0.018506 0.019240 0.019028 0.018648 0.017882 0.016745 0.016295 0.016630 0.017260 0.017120 0.016987 0.015289 0.013917 0.017200 0.016528 0.018675 0.017968 0.018185 0.017642 0.017677 0.016083 0.016299 0.015638 0.015808 0.015400 0.015439 0.015161 0.014908 0.014344 0.014490 0.014196 0.012783 0.015681 0.015084 0.014658 0.013827 0.014687 0.013951 0.014442 0.013989 0.014152 0.013974 0.013081 0.012796 0.014043 0.013670 0.013808 0.012197 0.014181 0.013456 0.018500 0.017652 0.017784 0.017315 0.018311 0.017113 0.017223 0.016072 0.014598 0.014012 0.014077 0.013251 0.013125 0.012345 0.012986 0.012509 0.012078 0.010928 0.013365 0.012612 0.011204 0.018309 0.017394 0.017422 0.017633 0.018593 0.017673 0.017375 0.016751 0.015776 0.015687 0.015966 0.015352 0.013901 0.013134 0.013702 0.013106 0.013512 0.013035 0.015839 0.015107 0.015562 0.014641 0.014576 0.014783 0.014198 0.014008 0.013432 0.013003 0.012893 0.012417 0.012979 0.012415 0.011235 0.010851 0.009456 0.013233 0.013279 0.013266 0.012558 0.012656 0.012841 0.012651 0.011797 0.010694 0.009753 0.009906 0.013225 0.012843 0.012786 0.012311 0.012378 0.011932 0.012207 0.012001 0.011948 0.011756 0.010558 0.009472 0.009341 0.017834 0.017209 0.017242 0.016812 0.017219 0.016318 0.016211 0.016862 0.016516 0.016100 0.015048 0.015277 0.014379 0.013243 0.013719 0.012571 0.012824 0.012238 0.012162 0.011765 0.012070 0.011374 0.012041 0.011595 0.009910 0.013428 0.013271 0.012989 0.012588 0.013028 0.012441 0.012548 0.012759 0.012176 0.013091 0.012505 0.012757 0.011780 0.015244 0.014854 0.014802 0.014653 0.013778 0.013743 0.011781 0.010721 0.016692 0.016507 0.016081 0.016425 0.015763 0.015382 0.015203 0.014508 0.014240 0.013533 0.011540 0.014032 0.013556 0.012880 0.012384 0.012178 0.011692 0.011810 0.011477 0.011246 0.010996 0.011042 0.010617 0.010683 0.009583 0.011162 0.010299 0.010640 0.009985 0.010050 0.008896 0.009925 0.011102 0.015873 0.015647 0.014587 0.014496 0.010826 0.009312 0.014285 0.015155 0.014364 0.013664 0.014522 0.014230 0.013833 0.013139 0.013972 0.014047 0.013991 0.013371 0.013784 0.013250 0.013278 0.012369 0.013816 0.013865 0.013376 0.012971 0.013111 0.012934 0.012640 0.011795 0.012844 0.012375 0.011919 0.011579 0.010820 0.010656 0.009114 0.010712 0.010144 0.008014 0.013678 0.013236 0.010792 0.009578 0.017003 0.017544 0.019072 0.018902 0.017857 0.017591 0.016696 0.016603 0.014775 0.015171 0.014916 0.014314 0.010272 0.008626 0.014536 0.014108 0.014278 0.013751 0.011391 0.013230 0.012521 0.016971 0.016707 0.015502 0.015075 0.014753 0.014060 0.012991 0.012623 0.011371 0.010555 0.007312 0.017720 0.017049 0.016315 0.016677 0.015694 0.015510 0.014360 0.014882 0.016486 0.015884 0.015819 0.014947 0.013039 0.012097 0.007714 0.015304 0.015377 0.016290 0.015427 0.015344 0.015451 0.014307 0.013447 0.013532 0.013397 0.014087 0.013957 0.021792 0.022039 0.020163 0.019190 0.019233 0.018875 0.018527 0.017735 0.017767 0.018064 0.017963 0.016949 0.017001 0.016653 0.016745 0.016844 0.015504 0.014583 0.014506 0.014035 0.014266 0.013878 0.006417 0.014534 0.014612 0.014712 0.013938 0.014022 0.013641 0.009414 0.017566 0.017675 0.018060 0.016406 0.016304 0.015979 0.015378 0.015598 0.014709 0.013970 0.011761 0.011082 0.011515 0.010867 0.010962 0.011644 0.010958 0.011463 0.010882 0.010091 0.010924 0.010406 0.010750 0.010125 0.010693 0.009993 0.010321 0.012376 0.011946 0.012889 0.012353 0.012307 0.012106 0.010932 0.012318 0.012044 0.013166 0.012454 0.012606 0.011826 0.017995 0.017435 0.017852 0.016933 0.017524 0.017041 0.016071 0.015476 0.014363 0.013753 0.014199 0.013486 0.014322 0.013855 0.013665 0.012727 0.013278 0.012461 0.012427 0.011829 0.014539 0.014261 0.013904 0.013445 0.013791 0.014173 0.013188 0.012750 0.013024 0.012602 0.012449 0.011712 0.013737 0.013109 0.013421 0.013119 0.011226 0.010321 0.009882 0.009513 0.015110 0.014340 0.015184 0.014606 0.013469 0.012698 0.013029 0.012400 0.012684 0.012141 0.009880 0.008284 0.014230 0.013878 0.013570 0.013961 0.013963 0.013520 0.013808 0.013210 0.012557 0.011728 0.011982 0.011379 0.011555 0.011021 0.014070 0.013891 0.014586 0.013677 0.014234 0.013606 0.013470 0.013000 0.012012 0.011566 0.015552 0.015888 0.015852 0.015641 0.015114 0.015348 0.015331 0.014858 0.013181 0.012566 0.012695 0.012507 0.017399 0.016635 0.017050 0.016778 0.017115 0.015785 0.012432 0.011460 0.010882 0.010018 0.016057 0.016262 0.016622 0.016530 0.015770 0.015222 0.008883 0.007803 0.015539 0.014623 0.015270 0.014934 0.007439 0.016654 0.015566 0.015401 0.015213 0.019321 0.018857 0.016276 0.015231 0.019655 0.019231 0.016140 0.015185 0.019055 0.018437 0.018684 0.018694 0.018345 0.018276 0.017267 0.016426 0.016183 0.016298 0.016286 0.016918 0.016408 0.015808 0.014239 0.014453 0.014094 0.012893 0.009604 0.013658 0.013383 0.008152 0.011455 0.011019 0.018773 0.017947 0.011492 0.010621 0.017229 0.017092 0.015808 0.014994 0.014438 0.014036 0.013041 0.012472 0.017216 0.016742 0.015074 0.014512 0.014195 0.014262 0.018766 0.018720 0.018010 0.017379 0.015825 0.015325 0.013918 0.014216 0.014730 0.014445 0.013995 0.013361 0.013677 0.012883 0.012986 0.012883 0.012315 0.011662 0.011958 0.011511 0.018297 0.017360 0.018300 0.018032 0.014073 0.013562 0.013820 0.013448 0.012325 0.011882 0.012153 0.011585 0.011989 0.011269 0.011302 0.011005 0.010925 0.010177 0.013081 0.013199 0.014363 0.013150 0.011656 0.010976 0.010866 0.010304 0.010239 0.009860 0.010347 0.009534 0.010481 0.010154 0.010198 0.010044 0.010297 0.009082 0.008868 0.011397 0.010502 0.008856 0.012609 0.012516 0.010614 0.010240 0.010388 0.009941 0.011288 0.011406 0.009776 0.009326 0.009440 0.009207 0.009477 0.008649 0.010759 0.010766 0.009961 0.009255 0.010723 0.010226 0.009105 0.008074 0.009180 0.008208 0.018740 0.018089 0.017355 0.016390 0.016527 0.016708 0.014756 0.014998 0.014665 0.015235 0.014860 0.015204 0.014997 0.014425 0.013290 0.012789 0.011658 0.011179 0.015456 0.015170 0.017154 0.015865 0.014105 0.013678 0.012243 0.011980 0.009807 0.009375 0.009019 0.008535 0.008553 0.007854 0.007863 0.007732 0.007832 0.007405 0.007637 0.007397 0.007585 0.006767 0.016034 0.015579 0.015291 0.015041 0.009389 0.008984 0.008350 0.008346 0.007492 0.007075 0.007010 0.007037 0.006915 0.006591 0.007123 0.006756 0.007025 0.006471 0.009123 0.009147 0.008393 0.008544 0.007332 0.006911 0.006757 0.006598 0.006616 0.006417 0.006458 0.006422 0.006332 0.006317 0.008628 0.008851 0.007992 0.007681 0.007217 0.006837 0.007436 0.006458 0.006724 0.006238 0.006687 0.005893 0.007436 0.006415 0.006348 0.005889 0.006752 0.006184 0.005549 0.005707 0.005408 0.005887 0.021912 0.021878 0.020366 0.019499 0.019484 0.019054 0.019559 0.020197 0.017407 0.016874 0.015865 0.016340 0.015530 0.015189 0.014424 0.014337 0.014637 0.014270 0.012245 0.011584 0.011846 0.011477 0.011138 0.010494 0.011106 0.010656 0.011089 0.010692 0.010114 0.009785 0.009609 0.008802 0.006260 0.006086 0.005043 0.005038 0.005342 0.005358 0.005023 0.004957 0.014480 0.014171 0.015100 0.014436 0.014495 0.014429 0.012314 0.011178 0.011691 0.011703 0.011743 0.011346 0.010995 0.015040 0.014375 0.014794 0.013832 0.014061 0.013818 0.011811 0.011026 0.011570 0.011270 0.011301 0.011030 0.011492 0.010711 0.011569 0.010802 0.010545 0.011142 0.010309 0.011674 0.010746 0.010861 0.010693 0.010224 0.008185 0.008759 0.016921 0.016654 0.012612 0.012150 0.011615 0.011072 0.012041 0.011479 0.017977 0.017880 0.017749 0.017542 0.016645 0.016493 0.016657 0.016774 0.011233 0.010491 0.015421 0.015718 0.016068 0.016173 0.018212 0.017907 0.018091 0.016959 0.009271 0.008191 0.008516 0.007864 0.007839 0.007964 0.007336 0.007229 0.006456 0.006481 0.005720 0.006251 0.005856 0.013550 0.012845 0.011983 0.011436 0.011514 0.011454 0.011778 0.010546 0.011568 0.010677 0.008816 0.010738 0.010231 0.008656 0.014774 0.013732 0.012457 0.012197 0.011749 0.011751 0.010752 0.018892 0.018709 0.019039 0.018517 0.015942 0.014819 0.014346 0.013941 0.014290 0.014170 0.014521 0.014405 0.014150 0.013251 0.013252 0.012996 0.012900 0.012271 0.011484 0.010840 0.013248 0.012904 0.012888 0.012016 0.012864 0.011860 0.012100 0.011647 0.011932 0.011531 0.012138 0.011648 0.010905 0.010409 0.010438 0.009814 0.008348 0.017631 0.018052 0.018198 0.017891 0.014189 0.013898 0.017229 0.016518 0.017133 0.016263 0.015765 0.015490 0.016123 0.015276 0.011958 0.011004 0.011673 0.010778 0.015670 0.015891 0.014241 0.014169 0.013827 0.013477 0.013244 0.013043 0.012674 0.012392 0.013568 0.013030 0.012932 0.012520 0.012192 0.011915 0.011304 0.011181 0.011115 0.010582 0.014881 0.014812 0.014547 0.014156 0.019033 0.018450 0.017261 0.016331 0.016383 0.016232 0.013502 0.012804 0.014062 0.013765 0.013071 0.012697 0.013504 0.012505 0.018404 0.018161 0.018678 0.017882 0.014956 0.014985 0.014307 0.013854 0.011339 0.010520 0.010508 0.010020 0.010124 0.009905 0.010372 0.011059 0.010112 0.010319 0.010157 0.009816 0.009978 0.009676 0.008747 0.008546 0.008519 0.008349 0.010290 0.009634 0.010405 0.009500 0.012616 0.012115 0.015403 0.015857 0.012834 0.012585 0.012521 0.012291 0.018148 0.017716 0.022202 0.022043 0.020635 0.019667 0.020130 0.018411 0.018602 0.017727 0.019281 0.019210 0.015301 0.014876 0.018620 0.017895 0.018135 0.018131 0.017730 0.016754 0.016811 0.017322 0.014560 0.014036 0.014364 0.013709 0.012387 0.012111 0.010486 0.009863 0.009808 0.009862 0.009692 0.009402 0.009020 0.008776 0.008616 0.008383 0.018475 0.017952 0.017024 0.017375 0.016843 0.016652 0.016959 0.016001 0.014438 0.014189 0.013938 0.013418 0.012510 0.011837 0.010170 0.009691 0.009838 0.009125 0.009625 0.009225 0.008717 0.008220 0.008544 0.008331 0.008328 0.007920 0.008423 0.008033 0.007616 0.007666 0.009500 0.008987 0.009275 0.008965 0.008840 0.008172 0.009189 0.007704 0.013318 0.013157 0.013687 0.013160 0.013301 0.012911 0.012533 0.012272 0.011551 0.011183 0.013574 0.012979 0.012483 0.012244 0.009586 0.009457 0.007219 0.016441 0.016944 0.012385 0.011792 0.011752 0.012344 0.011231 0.010535 0.010704 0.009958 0.009936 0.009386 0.009413 0.008274 0.007279 0.011834 0.011293 0.011510 0.011338 0.011368 0.007043 0.016062 0.015961 0.014770 0.015104 0.012308 0.011472 0.007532 0.013309 0.017374 0.017222 0.017596 0.016960 0.015861 0.015081 0.015294 0.015099 0.014262 0.013255 0.015111 0.014542 0.013316 0.012833 0.011587 0.012969 0.012686 0.016089 0.013580 0.016676 0.015042 0.015128 0.014502 0.014862 0.013718 0.013723 0.011888 0.016054 0.010510 0.017283 0.014401 0.014159 0.014427 0.014013 0.010049 0.017092 0.013213 0.012458 0.007628 0.016456 0.012011 0.016616 0.019750 0.019306 0.017799 0.016951 0.017980 0.017162 0.016345 0.015068 0.008470 0.015791 0.015603 0.014840 0.014211 0.014143 0.013589 0.012614 0.011908 0.012652 0.012146 0.011524 0.010770 0.011881 0.014169 0.013475 0.014027 0.013127 0.013714 0.012704 0.016596 0.015325 0.008373 0.014628 0.014095 0.013925 0.013498 0.013879 0.013377 0.012490 0.014319 0.013623 0.016926 0.013923 0.013151 0.020107 0.019933 0.018613 0.018940 0.018239 0.018205 0.018364 0.017561 0.034347 0.033740 0.018206 0.017601 0.062509 0.017068 0.017170 0.061558 0.016326 0.016008 0.008651 0.015349 0.014395 0.016793 0.016806 0.016895 0.015987 0.016005 0.015582 0.014722 0.014338 0.014403 0.014157 0.013712 0.013149 0.016119 0.015494 0.014806 0.014447 0.013890 0.013517 0.013312 0.012911 0.010386 0.009794 0.010107 0.009668 0.013203 0.012930 0.012674 0.012524 0.012646 0.012162 0.011950 0.011716 0.013674 0.013363 0.009556 0.019154 0.019176 0.018743 0.018966 0.034192 0.017505 0.017268 0.034540 0.033711 0.017643 0.017577 0.077312 0.033216 0.017392 0.017096 0.091778 0.033180 0.011302 0.013824 0.014064 0.014529 0.013570 0.013745 0.013311 0.010871 0.010387 0.010330 0.009674 0.009860 0.009976 0.009675 0.009104 0.014065 0.013407 0.013429 0.012908 0.013141 0.012472 0.010131 0.010239 0.010031 0.009505 0.009135 0.009772 0.009393 0.009654 0.009030 0.008588 0.009812 0.008919 0.009043 0.009072 0.008487 0.016392 0.018927 0.019003 0.033585 0.017740 0.016944 0.015150 0.014219 0.014004 0.013648 0.013192 0.012969 0.012803 0.012704 0.018270 0.018057 0.017320 0.017616 0.014205 0.013851 0.013694 0.013515 0.012962 0.012748 0.013054 0.012551 0.013932 0.013738 0.013827 0.013240 0.012395 0.011780 0.011909 0.011337 0.010024 0.009385 0.016530 0.018516 0.017968 0.016020 0.014984 0.017821 0.016885 0.014599 0.014410 0.008969 0.016789 0.015965 0.015904 0.020199 0.020281 0.019770 0.019834 0.018830 0.018388 0.019436 0.018339 0.017198 0.016928 0.014316 0.013882 0.015011 0.014687 0.016097 0.015558 0.013497 0.012729 0.015625 0.013884 0.013711 0.013687 0.013750 0.012595 0.012117 0.013657 0.012977 0.012162 0.011736 0.011442 0.011164 0.013652 0.013675 0.012987 0.012973 0.011826 0.011497 0.013459 0.012839 0.017314 0.017143 0.017705 0.017920 0.015407 0.014347 0.017029 0.016360 0.014650 0.014802 0.014482 0.013964 0.013567 0.012880 0.013194 0.012575 0.012788 0.012509 0.012303 0.011935 0.019421 0.019692 0.020007 0.018887 0.019131 0.018768 0.017843 0.017030 0.018109 0.017505 0.014000 0.013814 0.013474 0.013201 0.011660 0.010905 0.009224 0.008636 0.008547 0.007926 0.008535 0.008009 0.008228 0.007328 0.007804 0.007514 0.007807 0.007135 0.007503 0.007209 0.007849 0.008256 0.007936 0.007468 0.008054 0.006843 0.007512 0.006903 0.007163 0.006993 0.006937 0.006442 0.006425 0.006095 0.006256 0.006353 0.008207 0.007780 0.008038 0.007432 0.007224 0.006619 0.006535 0.006450 0.006480 0.006383 0.006272 0.006267 0.006300 0.005863 0.005971 0.005507 0.006551 0.035973 0.018271 0.018121 0.059821 0.015612 0.015130 0.013852 0.013466 0.007578 0.006946 0.015957 0.015495 0.014238 0.014019 0.010961 0.010483 0.016705 0.076637 0.016885 0.014749 0.014833 0.013446 0.012678 0.012556 0.012148 0.015256 0.015548 0.013173 0.012697 0.012082 0.011270 0.011138 0.010664 0.011076 0.010538 0.012732 0.012335 0.018674 0.018339 0.013128 0.012751 0.011941 0.011529 0.016797 0.010803 0.010656 0.009798 0.009539 0.010283 0.009323 0.018467 0.020863 0.019786 0.017411 0.017491 0.016081 0.015666 0.010470 0.009299 0.007055 0.009706 0.009022 0.007788 0.008521 0.017164 0.017177 0.015800 0.015583 0.008172 0.019893 0.019691 0.020662 0.021083 0.020027 0.020411 0.018124 0.017248 0.016513 0.016128 0.016363 0.015733 0.014886 0.015046 0.015043 0.014197 0.013846 0.013440 0.013070 0.013197 0.012698 0.012610 0.012582 0.012296 0.010512 0.009984 0.008722 0.008351 0.008465 0.007445 0.017359 0.019679 0.020732 0.017410 0.077715 0.018256 0.019637 0.019312 0.014559 0.014664 0.010558 0.010394 0.017365 0.010398 0.010273 0.009845 0.010254 0.017822 0.018284 0.017147 0.017121 0.015029 0.015129 0.014491 0.014629 0.013754 0.014339 0.011177 0.011669 0.018010 0.018555 0.035627 0.017500 0.018247 0.069178 0.035730 0.016480 0.062576 0.017388 0.033149 0.014885 0.015571 0.015572 0.015181 0.011674 0.033053 0.053972 0.016808 0.061878 0.017389 0.009132 0.061467 0.033723 0.032873 0.052646 0.016973 0.033610 0.017213 0.074356 0.013027 0.015256 0.015664 0.011130 0.014639 0.015441 0.016566 0.016727 0.016786 0.016397 0.013744 0.012251 0.012165 0.011816 0.011638 0.017418 0.010933 0.011325 0.009458 0.018486 0.017456 0.017991 0.015490 0.015854 0.013550 0.013508 0.011195 0.018044 0.016017 0.016439 0.010470 0.017797 0.013450 0.013109 0.012606 0.012802 0.011649 0.011698 0.010129 0.017941 0.022606 0.023845 0.022812 0.023783 0.018585 0.018160 0.017598 0.018189 0.036016 0.017898 0.018131 0.016837 0.017234 0.014985 0.015199 0.014828 0.014950 0.014702 0.014718 0.013470 0.013804 0.013384 0.013230 0.012698 0.015672 0.012732 0.013201 0.012797 0.012832 0.011586 0.015851 0.012297 0.012609 0.012058 0.012581 0.011467 0.011479 0.016668 0.018131 0.018188 0.017849 0.018007 0.017203 0.017049 0.016112 0.017127 0.011464 0.011979 0.016446 0.016894 0.013888 0.014312 0.013681 0.014374 0.012640 0.013306 0.012242 0.012604 0.017287 0.017676 0.035378 0.017395 0.018176 0.035202 0.017064 0.017657 0.009199 0.008485 0.008745 0.015747 0.008663 0.016985 0.009019 0.008947 0.015047 0.015454 0.015335 0.015310 0.013106 0.013079 0.018816 0.013627 0.014073 0.011697 0.011876 0.011047 0.011618 0.010876 0.017654 0.011807 0.011760 0.011084 0.011770 0.010399 0.017599 0.011444 0.011569 0.010508 0.017949 0.010521 0.010856 0.009387 0.016984 0.012632 0.012872 0.011712 0.011612 0.011682 0.012072 0.023007 0.023409 0.022386 0.022831 0.021316 0.022081 0.022268 0.022589 0.061124 0.019443 0.019765 0.110988 0.019313 0.019022 0.017291 0.016889 0.014107 0.014313 0.018735 0.021833 0.022418 0.019987 0.020836 0.018352 0.017613 0.016985 0.017295 0.016030 0.016530 0.017167 0.017328 0.014874 0.014528 0.014297 0.014362 0.013593 0.013757 0.012373 0.012552 0.013466 0.013867 0.013345 0.013354 0.012523 0.012770 0.010299 0.010742 0.009949 0.010328 0.010372 0.010250 0.008566 0.009087 0.008574 0.008926 0.007853 0.007594 0.007008 0.016609 0.020720 0.020014 0.019446 0.018966 0.018602 0.018546 0.014484 0.013945 0.013721 0.013378 0.012363 0.012163 0.008490 0.011619 0.011532 0.008392 0.013851 0.018215 0.018532 0.017794 0.016844 0.016404 0.016028 0.015682 0.013922 0.013315 0.011805 0.011758 0.011549 0.011175 0.011255 0.010765 0.010813 0.010032 0.015249 0.015119 0.012529 0.012349 0.010966 0.010840 0.009925 0.009183 0.010611 0.010486 0.009967 0.009011 0.012554 0.011913 0.012540 0.011861 0.011382 0.011428 0.010129 0.009099 0.011997 0.011836 0.010730 0.010559 0.011231 0.011005 0.010735 0.010371 0.016536 0.009359 0.008580 0.017079 0.011855 0.011262 0.008267 0.007162 0.017075 0.011226 0.010681 0.010402 0.010041 0.009951 0.009630 0.016824 0.017102 0.016938 0.016325 0.016406 0.015685 0.014867 0.015413 0.015195 0.014802 0.014804 0.014744 0.014782 0.013608 0.014464 0.014371 0.013012 0.012920 0.011407 0.011075 0.014441 0.013916 0.018748 0.019066 0.019134 0.019212 0.015345 0.015506 0.016000 0.014428 0.013286 0.013018 0.011937 0.011624 0.011307 0.011252 0.011093 0.010938 0.010267 0.016290 0.009807 0.008891 0.015850 0.015121 0.015192 0.015169 0.014368 0.012971 0.012425 0.011485 0.010932 0.011295 0.010995 0.009337 0.008631 0.016610 0.015315 0.014620 0.014364 0.014259 0.009297 0.008264 0.016974 0.014203 0.013731 0.013512 0.012805 0.012986 0.012682 0.011578 0.011028 0.018139 0.018142 0.018010 0.017715 0.019948 0.019918 0.018290 0.017168 0.014708 0.014278 0.014492 0.013793 0.013140 0.012844 0.013251 0.012613 0.011948 0.011558 0.015471 0.015884 0.015772 0.015362 0.015757 0.015193 0.015571 0.015081 0.013239 0.013323 0.018677 0.018676 0.016186 0.015820 0.015229 0.015295 0.015677 0.015277 0.009784 0.008994 0.008496 0.017471 0.019793 0.019587 0.022750 0.022095 0.022118 0.020989 0.019510 0.019313 0.019743 0.019333 0.018278 0.017570 0.035922 0.013638 0.012722 0.012449 0.012292 0.009940 0.009747 0.012817 0.012427 0.013117 0.012296 0.009739 0.009082 0.009164 0.008334 0.021894 0.021693 0.021485 0.021803 0.019904 0.019520 0.020155 0.019457 0.033524 0.017256 0.017032 0.012499 0.012176 0.011937 0.011453 0.033973 0.017826 0.017619 0.034205 0.096777 0.012856 0.012089 0.011905 0.011253 0.017043 0.016912 0.012404 0.011788 0.012112 0.011687 0.011800 0.011322 0.009738 0.008309 0.008962 0.008519 0.008898 0.008052 0.008495 0.008145 0.013682 0.013405 0.013471 0.013438 0.008711 0.013571 0.013142 0.008708 0.008185 0.013386 0.013311 0.008662 0.007918 0.016640 0.016512 0.016959 0.017095 0.016481 0.016626 0.016681 0.015527 0.012364 0.011958 0.015315 0.014807 0.015727 0.015025 0.015840 0.015305 0.015434 0.008028 0.020255 0.019099 0.017030 0.017126 0.016009 0.016417 0.015577 0.015285 0.014981 0.014835 0.015412 0.015141 0.015592 0.014675 0.015553 0.014917 0.014816 0.014458 0.014991 0.014239 0.010077 0.009286 0.009806 0.009224 0.009254 0.008850 0.008941 0.008812 0.008499 0.008576 0.008266 0.007995 0.008509 0.007514 0.009156 0.008848 0.021926 0.021556 0.022130 0.021210 0.019098 0.018520 0.018579 0.018470 0.017978 0.017665 0.018013 0.017522 0.016941 0.016610 0.032445 0.015758 0.016418 0.016515 0.015611 0.010554 0.010503 0.008529 0.007729 0.016039 0.015833 0.015620 0.016013 0.010206 0.009308 0.007830 0.007808 0.008202 0.007994 0.008101 0.007617 0.007306 0.006853 0.006639 0.006378 0.008174 0.007271 0.007328 0.007004 0.005923 0.005891 0.007457 0.006967 0.006504 0.013475 0.012761 0.012982 0.012484 0.012951 0.012179 0.016797 0.013360 0.012396 0.012559 0.012192 0.012645 0.012162 0.012415 0.011768 0.011846 0.011157 0.011578 0.010988 0.008036 0.017250 0.008974 0.018231 0.018113 0.017926 0.018591 0.018020 0.017674 0.016538 0.015457 0.014973 0.014721 0.014099 0.013893 0.013482 0.016802 0.015907 0.015991 0.015053 0.014350 0.013638 0.013644 0.013321 0.012948 0.012314 0.015607 0.015311 0.015287 0.015093 0.013555 0.014819 0.015138 0.015540 0.015149 0.012609 0.016712 0.022205 0.021775 0.018763 0.019235 0.019949 0.019329 0.017936 0.018143 0.016043 0.015490 0.015499 0.015033 0.014268 0.013509 0.011802 0.011171 0.014773 0.014637 0.014019 0.013392 0.011595 0.010896 0.018234 0.015720 0.015988 0.015791 0.015484 0.015926 0.015104 0.013914 0.013714 0.013271 0.013525 0.012988 0.012336 0.015878 0.015608 0.013376 0.012900 0.014139 0.013980 0.012674 0.012352 0.012239 0.011582 0.009138 0.008564 0.017762 0.015567 0.014617 0.014781 0.013867 0.017287 0.014958 0.014848 0.013710 0.013033 0.018548 0.018680 0.017999 0.017865 0.017712 0.016372 0.016474 0.009258 0.008635 0.009119 0.008635 0.016068 0.015986 0.010286 0.010191 0.010544 0.009648 0.015005 0.014386 0.013180 0.012924 0.011946 0.010899 0.016164 0.015984 0.015906 0.015447 0.013621 0.013867 0.015611 0.015313 0.015504 0.014666 0.014150 0.013568 0.014263 0.013822 0.013160 0.012957 0.020727 0.019563 0.020085 0.019706 0.020411 0.019389 0.019949 0.019356 0.018815 0.018007 0.018095 0.017804 0.018563 0.018079 0.015199 0.015777 0.014988 0.015382 0.014436 0.014035 0.010791 0.010398 0.010069 0.009517 0.010010 0.009453 0.009459 0.009102 0.009598 0.009453 0.017606 0.017677 0.017322 0.016323 0.015440 0.014594 0.015044 0.014521 0.013930 0.013087 0.013717 0.012910 0.012816 0.012600 0.008031 0.007607 0.008002 0.007037 0.010161 0.009705 0.013361 0.012861 0.006315 0.017839 0.017833 0.016740 0.016171 0.011848 0.011133 0.010343 0.009990 0.009669 0.009300 0.009876 0.009487 0.009561 0.009247 0.009065 0.008974 0.008243 0.008240 0.010841 0.010645 0.010909 0.010908 0.007566 0.015566 0.015358 0.008865 0.007455 0.018522 0.017921 0.017977 0.018291 0.017409 0.017179 0.018247 0.017924 0.016999 0.016020 0.017107 0.016838 0.033483 0.017841 0.016700 0.018380 0.018696 0.094987 0.017180 0.016722 0.016121 0.015605 0.016252 0.015461 0.015373 0.014612 0.015155 0.014476 0.017866 0.018398 0.017314 0.016546 0.015559 0.015067 0.015046 0.014834 0.018459 0.013940 0.013105 0.013379 0.012515 0.006754 0.006296 0.006282 0.006716 0.005885 0.005703 0.005776 0.005676 0.006304 0.006081 0.005965 0.005681 0.005716 0.005787 0.005849 0.005403 0.013162 0.012265 0.012718 0.012453 0.010237 0.009840 0.015860 0.015800 0.012933 0.012524 0.012432 0.012190 0.011659 0.018781 0.015427 0.015125 0.017760 0.017598 0.016408 0.016634 0.016485 0.015942 0.012933 0.012608 0.012159 0.011636 0.010119 0.009518 0.008641 0.008451 0.008929 0.008527 0.008218 0.007398 0.018695 0.015644 0.015939 0.016333 0.015755 0.015381 0.015057 0.015617 0.015122 0.022075 0.022006 0.021911 0.021730 0.021247 0.020856 0.018473 0.017397 0.017438 0.017609 0.013104 0.012727 0.022127 0.021526 0.021504 0.021629 0.019993 0.020008 0.018744 0.017549 0.017415 0.017498 0.012074 0.012320 0.010942 0.010362 0.017592 0.012296 0.011837 0.010448 0.010080 0.011356 0.011274 0.009500 0.008897 0.010984 0.010517 0.009186 0.008609 0.018051 0.015739 0.015155 0.014129 0.013679 0.013536 0.013418 0.011400 0.011264 0.011726 0.011177 0.013467 0.013184 0.013956 0.012782 0.019280 0.018559 0.018760 0.018381 0.019668 0.020141 0.017727 0.017221 0.013455 0.012383 0.012019 0.018081 0.018982 0.017955 0.019538 0.019263 0.018056 0.017674 0.017331 0.016806 0.017643 0.016378 0.012282 0.012391 0.009606 0.009941 0.009479 0.009420 0.009079 0.017986 0.016678 0.017413 0.015921 0.016630 0.013262 0.013817 0.012966 0.013349 0.013083 0.013160 0.011458 0.011798 0.009982 0.010024 0.014806 0.015768 0.015329 0.015531 0.015667 0.016803 0.015497 0.015777 0.015511 0.015391 0.014532 0.015037 0.014816 0.015340 0.013976 0.014208 0.013681 0.013970 0.013931 0.013695 0.011980 0.012103 0.009996 0.010197 0.014995 0.016012 0.014908 0.015055 0.013829 0.014041 0.013200 0.013714 0.013331 0.013634 0.012667 0.013111 0.012000 0.012774 0.011464 0.011489 0.012233 0.012567 0.012043 0.012278 0.011641 0.011714 0.009232 0.018462 0.019835 0.017972 0.017938 0.016421 0.016456 0.016577 0.016867 0.016193 0.016296 0.015749 0.015549 0.015458 0.016210 0.015579 0.015463 0.014792 0.015164 0.012447 0.013391 0.012030 0.012491 0.012484 0.013020 0.013684 0.013999 0.011276 0.011814 0.017750 0.014903 0.014703 0.010906 0.011329 0.008530 0.008869 0.008357 0.008758 0.007740 0.008369 0.007334 0.016430 0.016889 0.015572 0.016032 0.013893 0.014478 0.009608 0.010382 0.008741 0.009358 0.007185 0.006895 0.013760 0.013898 0.008768 0.017605 0.013108 0.013317 0.011850 0.017916 0.015555 0.015920 0.014764 0.015036 0.014277 0.014527 0.011013 0.017383 0.014272 0.014107 0.013601 0.014248 0.013793 0.014080 0.012681 0.012952 0.010854 0.010823 0.017785 0.013345 0.013888 0.011710 0.012191 0.011820 0.011721 0.010612 0.010604 0.010366 0.010410 0.013223 0.013312 0.011088 0.011285 0.012463 0.012925 0.010787 0.011241 0.009432 0.012306 0.012460 0.010469 0.010812 0.010186 0.010391 0.008087 0.011852 0.012331 0.010201 0.010860 0.009539 0.010364 0.009797 0.009889 0.017617 0.015274 0.015200 0.013813 0.014186 0.013749 0.013502 0.010976 0.010931 0.010508 0.010931 0.010029 0.010281 0.009315 0.010201 0.008851 0.009247 0.008952 0.009370 0.008506 0.008749 0.008785 0.009358 0.008086 0.008219 0.018276 0.013437 0.013901 0.013720 0.013829 0.012490 0.012587 0.012000 0.012288 0.006789 0.018641 0.017864 0.017751 0.017656 0.017755 0.017137 0.016878 0.015711 0.016146 0.015261 0.015798 0.015619 0.018851 0.014588 0.014505 0.012957 0.013289 0.012607 0.012618 0.011009 0.011534 0.010579 0.011062 0.008749 0.008771 0.011777 0.012299 0.010620 0.010716 0.010532 0.011285 0.011352 0.012019 0.010421 0.011004 0.010378 0.010423 0.010220 0.010541 0.009509 0.009848 0.020649 0.021084 0.020811 0.020847 0.019708 0.019386 0.113084 0.020059 0.019035 0.114999 0.117598 0.040483 0.040540 0.039471 0.111703 0.020133 0.019895 0.112729 0.115308 0.017861 0.017388 0.016243 0.016895 0.016139 0.016270 0.015845 0.016257 0.011977 0.011966 0.009993 0.009771 0.008728 0.009406 0.008371 0.008379 0.009316 0.010092 0.008362 0.008800 0.008327 0.008186 0.008757 0.009454 0.007397 0.007681 0.019026 0.019469 0.014873 0.015142 0.014499 0.014470 0.014032 0.014454 0.011452 0.012344 0.011207 0.013576 0.013437 0.010963 0.011172 0.017610 0.015602 0.015269 0.013788 0.013936 0.018420 0.018652 0.016409 0.016692 0.015662 0.015854 0.014092 0.014067 0.013617 0.013580 0.012993 0.013547 0.017923 0.014582 0.015854 0.014742 0.014612 0.013921 0.014421 0.013402 0.014111 0.012758 0.013504 0.008211 0.008681 0.007943 0.008281 0.008243 0.008849 0.007707 0.008042 0.007322 0.008057 0.006679 0.007364 0.006479 0.017572 0.012586 0.013113 0.011606 0.011651 0.010610 0.010901 0.012992 0.013107 0.006525 0.006889 0.006306 0.018110 0.011121 0.011376 0.010838 0.011355 0.007216 0.007652 0.006055 0.018808 0.011139 0.011412 0.006887 0.006917 0.005369 0.017813 0.006720 0.006677 0.005449 0.017372 0.010723 0.010685 0.006545 0.006516 0.004910 0.018425 0.005722 0.005803 0.005330 0.005555 0.005317 0.005065 0.005509 0.005428 0.005098 0.005076 0.005844 0.005444 0.018693 0.018241 0.018930 0.015017 0.015380 0.014055 0.015100 0.013052 0.012565 0.012493 0.012853 0.010805 0.010698 0.009841 0.010001 0.009640 0.009715 0.009572 0.009275 0.009103 0.009289 0.008750 0.009016 0.010312 0.010636 0.009986 0.009685 0.007264 0.007540 0.006697 0.007563 0.005944 0.006172 0.005806 0.005979 0.005737 0.006027 0.005604 0.006002 0.009599 0.009569 0.008940 0.008885 0.007596 0.007581 0.006672 0.007081 0.005666 0.006181 0.005688 0.006588 0.005431 0.005654 0.005681 0.005571 0.005302 0.005703 0.005807 0.006360 0.005688 0.005844 0.005516 0.005918 0.005561 0.006027 0.005290 0.005565 0.005122 0.005518 0.005245 0.006550 0.006756 0.005893 0.005827 0.005768 0.006208 0.005350 0.005386 0.005297 0.005591 0.005150 0.005364 0.005204 0.005290 0.005163 0.006592 0.006920 0.006711 0.006532 0.005943 0.005539 0.005608 0.005615 0.005546 0.005611 0.005456 0.005356 0.005250 0.005257 0.005250 0.017772 0.005560 0.017576 0.013063 0.013009 0.008864 0.008999 0.008688 0.009094 0.008105 0.019121 0.012416 0.012612 0.010485 0.010874 0.010056 0.010349 0.010454 0.010348 0.009624 0.009886 0.009253 0.009484 0.009079 0.009449 0.008934 0.009524 0.008540 0.009527 0.008704 0.009637 0.007236 0.007642 0.009884 0.010066 0.010061 0.010130 0.009325 0.009259 0.009008 0.009198 0.008311 0.009392 0.007313 0.007675 0.010131 0.009898 0.009604 0.009790 0.008875 0.009217 0.008280 0.008945 0.008346 0.009321 0.006925 0.007572 0.007642 0.009746 0.009658 0.009439 0.010002 0.007341 0.018521 0.018238 0.018232 0.072190 0.106578 0.019353 0.018205 0.039200 0.033723 0.017329 0.017453 0.016844 0.017627 0.012824 0.012973 0.010385 0.010632 0.009686 0.010007 0.008255 0.008497 0.010399 0.010746 0.009886 0.010056 0.009226 0.018455 0.034335 0.016808 0.017187 0.081813 0.096112 0.034884 0.016885 0.016979 0.032622 0.095693 0.017540 0.017155 0.014260 0.013872 0.013966 0.013769 0.010034 0.010152 0.005532 0.017579 0.014012 0.014098 0.020821 0.021559 0.021273 0.021407 0.019317 0.019233 0.039227 0.059104 0.018852 0.018320 0.079563 0.061704 0.072125 0.039530 0.058519 0.018764 0.018049 0.078396 0.061312 0.038776 0.014888 0.015907 0.077913 0.083589 0.034485 0.017100 0.034746 0.017727 0.081561 0.034288 0.075643 0.016054 0.016056 0.014841 0.014854 0.014037 0.014598 0.011527 0.014807 0.015243 0.011131 0.011346 0.009476 0.010394 0.008480 0.017060 0.057464 0.017730 0.017867 0.009267 0.014441 0.014769 0.014103 0.015045 0.017689 0.018024 0.016739 0.016710 0.014494 0.015026 0.014334 0.014338 0.016640 0.016955 0.014096 0.013970 0.013678 0.014403 0.012817 0.013000 0.012608 0.012613 0.012447 0.012804 0.011689 0.012107 0.011833 0.011929 0.009959 0.010449 0.016192 0.017140 0.015999 0.016624 0.015608 0.015375 0.015086 0.015753 0.014448 0.015295 0.015394 0.016267 0.013446 0.013396 0.014860 0.015002 0.014849 0.014429 0.014241 0.014151 0.012930 0.013290 0.011850 0.012582 0.010714 0.011172 0.010347 0.010983 0.014593 0.014782 0.014529 0.014500 0.014017 0.014336 0.014366 0.015377 0.012356 0.012512 0.009982 0.009852 0.020820 0.021069 0.018676 0.018999 0.017642 0.017473 0.016829 0.017212 0.016185 0.016810 0.016241 0.016330 0.013589 0.013219 0.013006 0.013034 0.012820 0.012998 0.011829 0.012560 0.010261 0.010576 0.009934 0.010646 0.009701 0.009898 0.009779 0.009907 0.008806 0.009211 0.008271 0.008468 0.008527 0.010290 0.010478 0.010179 0.010501 0.009656 0.009959 0.009654 0.010121 0.012900 0.013032 0.010575 0.011061 0.007329 0.007915 0.006964 0.007284 0.007311 0.007162 0.007277 0.007209 0.006824 0.007101 0.006696 0.006881 0.007194 0.007491 0.006767 0.007147 0.007377 0.006955 0.006928 0.007229 0.006773 0.007075 0.006682 0.006879 0.006396 0.006615 0.006669 0.006649 0.006118 0.006329 0.006735 0.006082 0.006713 0.006831 0.006319 0.006592 0.006365 0.006404 0.005922 0.005738 0.005977 0.005901 0.005735 0.006117 0.005718 0.005891 0.005180 0.005621 0.015633 0.015796 0.017322 0.017779 0.034766 0.017211 0.017273 0.081814 0.076130 0.033599 0.083400 0.078758 0.017204 0.017642 0.079715 0.080348 0.075624 0.076479 0.033562 0.033479 0.091723 0.033914 0.016255 0.033003 0.016724 0.051769 0.033241 0.032517 0.032363 0.032041 0.015310 0.015643 0.012988 0.013197 0.012549 0.012626 0.010647 0.011080 0.010392 0.011269 0.009994 0.018601 0.018877 0.018617 0.019104 0.073151 0.089088 0.018496 0.018439 0.039930 0.072726 0.072064 0.058492 0.017987 0.017757 0.078093 0.061225 0.071753 0.038035 0.109087 0.018920 0.017692 0.091452 0.018556 0.009025 0.071113 0.094792 0.088523 0.018358 0.089828 0.018321 0.084671 0.089850 0.089273 0.072176 0.041645 0.090993 0.081556 0.089991 0.037247 0.035740 0.109009 0.090021 0.058605 0.036543 0.038865 0.018304 0.085310 0.111229 0.090177 0.018265 0.085477 0.036624 0.078517 0.075405 0.089780 0.061458 0.071688 0.036049 0.105087 0.018778 0.035132 0.017360 0.103185 0.109007 0.108921 0.039107 0.016192 0.015975 0.014816 0.015581 0.014582 0.014990 0.014358 0.014841 0.011488 0.011643 0.011178 0.011619 0.011529 0.011511 0.010200 0.010656 0.038900 0.092660 0.109573 0.019399 0.110061 0.019530 0.109254 0.109977 0.112048 0.072658 0.035851 0.100438 0.087547 0.106193 0.091274 0.107111 0.019249 0.105701 0.037253 0.035919 0.018308 0.104473 0.108452 0.106566 0.107429 0.109812 0.038951 0.016022 0.015575 0.013220 0.013104 0.010724 0.010480 0.009191 0.009713 0.031406 0.015060 0.015935 0.018739 0.019128 0.017659 0.017701 0.015031 0.014922 0.014582 0.014446 0.011644 0.011763 0.017136 0.018003 0.017293 0.017140 0.013073 0.013066 0.012625 0.012857 0.009982 0.017031 0.019106 0.013356 0.013504 0.010660 0.018000 0.013320 0.012988 0.012093 0.012763 0.011814 0.011698 0.011553 0.011225 0.009019 0.009307 0.008506 0.009083 0.007245 0.007433 0.007045 0.007241 0.006390 0.006634 0.006352 0.006319 0.006275 0.006380 0.005848 0.006283 0.007619 0.007349 0.006747 0.007191 0.006177 0.006366 0.006252 0.006126 0.005848 0.006093 0.005672 0.005807 0.005561 0.006117 0.005779 0.005691 0.005384 0.005956 0.005165 0.005208 0.005301 0.005338 0.005076 0.005115 0.005359 0.005425 0.005046 0.005081 0.004859 0.005022 0.005275 0.005122 0.006438 0.007016 0.005884 0.006008 0.005114 0.005134 0.005161 0.005482 0.004927 0.005078 0.005431 0.004975 0.005497 0.017019 0.009172 0.009052 0.008315 0.008682 0.007048 0.007361 0.006481 0.006485 0.005191 0.016678 0.007217 0.007249 0.006915 0.007192 0.007944 0.007971 0.013373 0.013991 0.011979 0.011831 0.010892 0.011695 0.009720 0.009986 0.009588 0.009696 0.009466 0.010139 0.008347 0.009084 0.012472 0.012587 0.012534 0.012673 0.012071 0.012578 0.011988 0.012254 0.010843 0.011637 0.009530 0.011411 0.011655 0.011277 0.011598 0.011016 0.011301 0.009491 0.017662 0.010695 0.011451 0.011668 0.010123 0.018408 0.034364 0.017496 0.017388 0.012590 0.013163 0.013092 0.012614 0.011390 0.011556 0.012677 0.012869 0.017276 0.016912 0.080164 0.014695 0.014612 0.011052 0.012013 0.011231 0.011393 0.014180 0.014129 0.013844 0.014071 0.014088 0.014217 0.016503 0.017831 0.017047 0.017011 0.016228 0.017202 0.014862 0.015098 0.014020 0.014895 0.013581 0.014321 0.006673 0.018257 0.012678 0.012599 0.011485 0.011944 0.014647 0.015489 0.014813 0.015043 0.006231 0.019211 0.072882 0.040283 0.058012 0.017919 0.017938 0.039416 0.072889 0.018244 0.016794 0.016315 0.016392 0.015770 0.015462 0.015518 0.015955 0.006250 0.006492 0.006571 0.018344 0.038936 0.059470 0.018476 0.018133 0.079175 0.062086 0.040287 0.073280 0.016280 0.015678 0.014554 0.015651 0.014353 0.013893 0.008471 0.018491 0.014525 0.014408 0.012630 0.012952 0.012005 0.012073 0.011475 0.012159 0.011151 0.011748 0.008364 0.009280 0.011689 0.019084 0.013000 0.012417 0.011851 0.011863 0.011339 0.011564 0.010859 0.011136 0.010208 0.010562 0.009980 0.010438 0.007879 0.008065 0.006961 0.021003 0.018194 0.018916 0.018123 0.018297 0.016488 0.015957 0.011857 0.018751 0.015733 0.016224 0.014083 0.014352 0.013590 0.013735 0.017131 0.017683 0.017046 0.017276 0.014738 0.014997 0.013833 0.013559 0.011393 0.011399 0.017334 0.017308 0.016610 0.017638 0.016192 0.016463 0.009065 0.008675 0.018546 0.014673 0.014542 0.010954 0.011426 0.016519 0.016250 0.016532 0.016184 0.011463 0.011459 0.019299 0.019811 0.018987 0.018808 0.018345 0.018977 0.018486 0.018235 0.017262 0.017435 0.017554 0.017179 0.098526 0.087185 0.035221 0.016781 0.033168 0.016758 0.101162 0.035039 0.016613 0.017448 0.012110 0.011839 0.011010 0.011311 0.093668 0.009468 0.032734 0.015841 0.016177 0.008331 0.033353 0.031512 0.016087 0.016148 0.014027 0.014337 0.014461 0.013568 0.016238 0.016802 0.015563 0.015206 0.014537 0.014855 0.013461 0.013346 0.013405 0.013190 0.012364 0.012644 0.012152 0.011872 0.010814 0.010399 0.010219 0.009925 0.009572 0.008879 0.009325 0.008966 0.008485 0.008215 0.009244 0.008551 0.008548 0.008418 0.008284 0.007920 0.008087 0.007824 0.007950 0.007596 0.007785 0.007162 0.007792 0.007386 0.007397 0.006915 0.007290 0.007371 0.008504 0.007798 0.007658 0.007612 0.007493 0.007202 0.007215 0.006946 0.007547 0.006831 0.007050 0.006617 0.008135 0.007501 0.015144 0.015228 0.011473 0.010851 0.011028 0.010533 0.008993 0.008403 0.014332 0.014326 0.014611 0.014406 0.015045 0.014716 0.018575 0.018248 0.018433 0.018780 0.017412 0.015972 0.015574 0.014107 0.013854 0.013200 0.012935 0.015187 0.014872 0.013577 0.013359 0.012469 0.012425 0.010622 0.010031 0.010253 0.009938 0.007981 0.007206 0.007508 0.006459 0.009127 0.008875 0.018808 0.008673 0.007823 0.017767 0.008533 0.008035 0.007065 0.006572 0.018116 0.014804 0.014135 0.012871 0.012529 0.010743 0.010942 0.010450 0.010072 0.008085 0.007654 0.012478 0.012408 0.010896 0.010156 0.009118 0.008664 0.008075 0.018438 0.010436 0.009821 0.009495 0.009332 0.008549 0.008038 0.007901 0.007309 0.013334 0.012890 0.013390 0.012720 0.011630 0.011472 0.010022 0.009937 0.008825 0.008782 0.010123 0.009921 0.011365 0.010967 0.016849 0.015925 0.016210 0.016532 0.016609 0.015533 0.008765 0.007722 0.018804 0.015506 0.015138 0.015545 0.015269 0.012062 0.011611 0.012094 0.011612 0.013657 0.013384 0.013722 0.013403 0.012837 0.012792 0.008764 0.007946 0.011564 0.011744 0.013320 0.012932 0.013035 0.012423 0.010648 0.010302 0.010851 0.010392 0.014494 0.014537 0.018249 0.018004 0.017553 0.016848 0.016815 0.016318 0.015678 0.015363 0.011624 0.010978 0.011097 0.010822 0.017085 0.016621 0.015785 0.014769 0.014507 0.013925 0.009914 0.009316 0.019733 0.019634 0.017826 0.017241 0.010470 0.009566 0.016953 0.016978 0.016636 0.016501 0.015069 0.014646 0.014884 0.014841 0.010203 0.009846 0.019119 0.017468 0.017265 0.016006 0.015810 0.014009 0.013434 0.011537 0.010849 0.013175 0.012599 0.019830 0.019703 0.018845 0.018900 0.017984 0.017442 0.016836 0.015386 0.015690 0.014907 0.013750 0.013510 0.014886 0.014156 0.011146 0.010167 0.014065 0.014006 0.021610 0.019026 0.017455 0.017324 0.016649 0.014036 0.013302 0.012941 0.012637 0.012682 0.012248 0.011739 0.011637 0.011686 0.011057 0.010622 0.010246 0.009776 0.009331 0.009047 0.008337 0.018822 0.008685 0.007907 0.013001 0.012309 0.012085 0.011845 0.009710 0.008996 0.014774 0.014734 0.018805 0.018019 0.018231 0.017313 0.014434 0.013917 0.014212 0.013782 0.013939 0.013243 0.013906 0.013446 0.013576 0.013825 0.010230 0.009340 0.009015 0.008238 0.013679 0.013635 0.013434 0.013163 0.013330 0.013176 0.009969 0.009608 0.008992 0.008304 0.009562 0.009136 0.008603 0.007858 0.009374 0.009372 0.008682 0.007799 0.009006 0.008477 0.013766 0.013047 0.013067 0.013054 0.010497 0.010756 0.016309 0.015995 0.014325 0.014435 0.015110 0.014376 0.019475 0.011838 0.011610 0.009750 0.009707 0.008085 0.008002 0.015303 0.015881 0.016379 0.015299 0.015424 0.015039 0.009395 0.008727 0.014808 0.013793 0.016423 0.016436 0.016305 0.015721 0.011615 0.010601 0.010043 0.015598 0.016011 0.015900 0.015751 0.015077 0.014895 0.008977 0.020200 0.024584 0.024663 0.024568 0.024230 0.024646 0.024450 0.024315 0.023693 0.024438 0.023699 0.023547 0.023384 0.023117 0.022788 0.141989 0.023433 0.022322 0.090606 0.142339 0.091730 0.140285 0.112996 0.114794 0.137294 0.116921 0.139207 0.119335 0.139561 0.096560 0.138232 0.108070 0.023210 0.022460 0.126649 0.089242 0.126654 0.113762 0.137778 0.133941 0.096029 0.093226 0.092392 0.135719 0.089881 0.110439 0.091984 0.104683 0.111096 0.093366 0.094871 0.130140 0.113648 0.123522 0.091044 0.137191 0.137261 0.102098 0.022766 0.021672 0.087890 0.135772 0.088292 0.089144 0.108114 0.109469 0.123134 0.134139 0.133107 0.073005 0.073260 0.108912 0.042283 0.123215 0.112767 0.130411 0.129017 0.127640 0.129265 0.129613 0.127278 0.044043 0.120474 0.124413 0.128029 0.123278 0.121839 0.128588 0.085560 0.044278 0.124660 0.119523 0.098659 0.088040 0.123135 0.122454 0.118951 0.123680 0.123614 0.087413 0.103388 0.130736 0.121569 0.043510 0.125842 0.123202 0.089695 0.103976 0.129318 0.119389 0.121544 0.043552 0.120719 0.126103 0.083425 0.115978 0.021154 0.117203 0.086548 0.125890 0.111278 0.127032 0.119089 0.020515 0.075061 0.120439 0.125553 0.118265 0.121011 0.122204 0.126894 0.106273 0.120687 0.110211 0.128840 0.087914 0.123661 0.084609 0.128762 0.085824 0.121574 0.125512 0.122395 0.116879 0.125489 0.112581 0.129963 0.130076 0.115709 0.111634 0.130492 0.087824 0.125512 0.124649 0.117034 0.122613 0.043814 0.042746 0.042662 0.102549 0.129468 0.107715 0.126859 0.129994 0.043073 0.100453 0.043635 0.042739 0.111779 0.086709 0.105057 0.117405 0.103702 0.088638 0.125828 0.101950 0.098469 0.127576 0.087727 0.123147 0.085008 0.108685 0.087400 0.116095 0.084542 0.083469 0.044145 0.132463 0.119668 0.129248 0.086602 0.087608 0.129074 0.120394 0.100511 0.043329 0.105645 0.116559 0.086277 0.128843 0.124017 0.130901 0.043170 0.089349 0.113730 0.083802 0.101576 0.126582 0.127622 0.128859 0.087206 0.111545 0.087902 0.043491 0.111259 0.106307 0.090556 0.091230 0.089916 0.088418 0.043047 0.089392 0.090193 0.044171 0.124189 0.118214 0.120804 0.109180 0.116493 0.104593 0.043322 0.042787 0.118706 0.043955 0.109569 0.009363 0.107293 0.018344 0.018148 0.109771 0.036997 0.104172 0.036046 0.017704 0.017880 0.058247 0.017832 0.016922 0.035131 0.032451 0.017627 0.017334 0.033339 0.033596 0.079748 0.034030 0.015839 0.015520 0.015573 0.014718 0.014755 0.013759 0.013273 0.013014 0.012873 0.012302 0.012465 0.012387 0.035210 0.105199 0.009501 0.103771 0.107276 0.018491 0.103598 0.018577 0.103667 0.036366 0.104640 0.103207 0.099894 0.103734 0.016522 0.015932 0.015018 0.036067 0.035810 0.034676 0.034407 0.074150 0.034837 0.057780 0.035557 0.080382 0.018238 0.082567 0.017480 0.034749 0.075808 0.058010 0.035063 0.035736 0.035193 0.083137 0.058739 0.034734 0.034340 0.058163 0.035138 0.063580 0.060777 0.069677 0.016867 0.016109 0.015726 0.014827 0.015471 0.014078 0.042016 0.042201 0.098449 0.094960 0.100236 0.111926 0.108021 0.108126 0.108434 0.108221 0.119285 0.117966 0.122046 0.086618 0.118618 0.116724 0.126605 0.083580 0.122502 0.118122 0.096162 0.120228 0.120906 0.121582 0.119685 0.119655 0.042676 0.098175 0.128161 0.120543 0.043175 0.123708 0.120157 0.042218 0.100433 0.106419 0.115885 0.119426 0.117848 0.124411 0.082071 0.113375 0.020588 0.042268 0.043466 0.122835 0.097648 0.122357 0.115918 0.020311 0.074034 0.114975 0.121167 0.116558 0.118184 0.119227 0.105226 0.042748 0.115169 0.096953 0.126435 0.086810 0.119377 0.083577 0.108669 0.042699 0.120045 0.106037 0.121019 0.107772 0.123397 0.100142 0.128983 0.109088 0.112977 0.096685 0.126108 0.042486 0.123473 0.120574 0.114475 0.120732 0.099499 0.126405 0.105987 0.125335 0.126542 0.098746 0.109241 0.042013 0.103337 0.127747 0.100494 0.086564 0.105352 0.042372 0.095945 0.125007 0.085257 0.121404 0.082834 0.096220 0.085274 0.106788 0.083532 0.081302 0.043335 0.041219 0.115652 0.107389 0.084515 0.042752 0.086402 0.115256 0.087890 0.088354 0.115324 0.086028 0.126085 0.122803 0.123292 0.087407 0.110689 0.082081 0.099664 0.122997 0.124603 0.126147 0.087420 0.041431 0.042124 0.098741 0.104034 0.042498 0.087120 0.087707 0.042413 0.086843 0.043007 0.120684 0.043554 0.119619 0.100235 0.115067 0.042159 0.085375 0.042606 0.009393 0.107761 0.036839 0.110274 0.108791 0.009437 0.089923 0.009581 0.109740 0.110007 0.106532 0.037287 0.109469 0.109253 0.036968 0.104844 0.036392 0.108130 0.104611 0.018182 0.107305 0.018155 0.008982 0.104080 0.037552 0.106560 0.108656 0.093022 0.107687 0.121812 0.110368 0.037418 0.009005 0.104090 0.038998 0.035755 0.089381 0.110537 0.101285 0.037449 0.036810 0.105603 0.105327 0.037506 0.009637 0.109768 0.110396 0.036105 0.034932 0.017355 0.016621 0.034853 0.068207 0.017634 0.016818 0.008792 0.014138 0.014055 0.013989 0.013259 0.013625 0.012990 0.011364 0.010889 0.009739 0.008811 0.010965 0.010164 0.008699 0.008194 0.008293 0.008180 0.009625 0.009163 0.009802 0.009071 0.022022 0.022079 0.132313 0.132071 0.135955 0.131890 0.133613 0.131686 0.135543 0.045048 0.124272 0.110038 0.044540 0.105241 0.123596 0.131187 0.022486 0.021704 0.123661 0.108319 0.132471 0.087222 0.123327 0.044861 0.135689 0.130004 0.044998 0.129933 0.106695 0.043991 0.087261 0.107430 0.131436 0.088497 0.109091 0.133547 0.044658 0.102933 0.108678 0.133942 0.133124 0.108808 0.109793 0.123630 0.111970 0.122058 0.123812 0.135967 0.131182 0.112306 0.042856 0.112289 0.130478 0.129767 0.129132 0.129468 0.043339 0.122285 0.119808 0.127873 0.042964 0.126114 0.088867 0.119396 0.088123 0.126914 0.091633 0.104961 0.042841 0.122286 0.084694 0.022603 0.118753 0.117338 0.119052 0.022319 0.137235 0.125647 0.120452 0.122481 0.127690 0.107092 0.120980 0.111979 0.130198 0.088712 0.131138 0.086965 0.124999 0.120478 0.113146 0.043389 0.116535 0.107409 0.122714 0.043471 0.121133 0.042504 0.125909 0.107674 0.131981 0.042664 0.120466 0.107154 0.128637 0.105116 0.127689 0.107495 0.100917 0.126745 0.088095 0.125743 0.086366 0.089658 0.129682 0.042557 0.133197 0.129664 0.107670 0.089957 0.102531 0.042998 0.107836 0.117955 0.103772 0.131065 0.127452 0.127968 0.099548 0.115428 0.127915 0.106022 0.131641 0.131005 0.090231 0.114443 0.112394 0.107497 0.091774 0.090759 0.091017 0.090810 0.091584 0.091414 0.043572 0.125535 0.122608 0.124601 0.111513 0.119943 0.108160 0.043072 0.121140 0.044507 0.042559 0.108470 0.109917 0.127364 0.127445 0.127573 0.125995 0.043402 0.119846 0.118157 0.126179 0.043578 0.123492 0.042843 0.116515 0.042344 0.124611 0.042232 0.101931 0.119621 0.082656 0.020346 0.115734 0.042169 0.116093 0.020012 0.123515 0.123156 0.116485 0.119431 0.124890 0.042105 0.116030 0.109594 0.125638 0.086889 0.126585 0.042325 0.120923 0.041903 0.109353 0.113483 0.042622 0.119526 0.123751 0.106291 0.128913 0.117574 0.041754 0.124600 0.101481 0.124708 0.042073 0.096733 0.124258 0.042699 0.121457 0.084334 0.087194 0.126085 0.043633 0.041606 0.126044 0.042178 0.041968 0.099291 0.042585 0.115414 0.099535 0.127104 0.123175 0.123301 0.087853 0.111836 0.123957 0.098990 0.125195 0.042695 0.086537 0.041617 0.109855 0.042484 0.042192 0.042078 0.041350 0.041920 0.042626 0.042334 0.043234 0.121372 0.043846 0.120757 0.041317 0.115694 0.045324 0.042361 0.018751 0.019021 0.008926 0.018446 0.017820 0.034821 0.034257 0.017549 0.033703 0.016311 0.034402 0.046264 0.058021 0.063185 0.068615 0.017906 0.016485 0.008622 0.016319 0.015460 0.012694 0.012743 0.012835 0.012369 0.012314 0.012142 0.011263 0.131913 0.131065 0.134253 0.130096 0.131932 0.129290 0.043242 0.122381 0.043492 0.105609 0.122659 0.127648 0.022741 0.021609 0.120229 0.106885 0.132432 0.087277 0.120601 0.043509 0.126743 0.128812 0.105151 0.043580 0.085375 0.106353 0.132041 0.042588 0.107392 0.131799 0.102523 0.107976 0.147172 0.132008 0.108653 0.044161 0.121810 0.112196 0.123072 0.123277 0.044906 0.009595 0.040510 0.093233 0.041239 0.040913 0.124664 0.124003 0.123388 0.126486 0.124018 0.117462 0.120059 0.125058 0.119382 0.116864 0.084045 0.075964 0.120627 0.115424 0.121069 0.077066 0.121662 0.077107 0.042676 0.077686 0.120096 0.117626 0.082378 0.020153 0.042057 0.123366 0.122135 0.115019 0.020257 0.074519 0.119579 0.115841 0.116614 0.117930 0.122720 0.042792 0.113720 0.108062 0.076300 0.041173 0.125535 0.042102 0.118435 0.124136 0.042094 0.040850 0.039177 0.113040 0.106920 0.122393 0.119367 0.112824 0.075484 0.075883 0.041964 0.107159 0.042832 0.041167 0.077876 0.040410 0.121371 0.076500 0.125354 0.041601 0.119747 0.041979 0.105872 0.042261 0.113589 0.010027 0.041736 0.123618 0.042423 0.009576 0.040483 0.041725 0.113423 0.041694 0.042083 0.119684 0.109793 0.041687 0.041445 0.074855 0.042147 0.009387 0.085376 0.041191 0.041772 0.041547 0.042135 0.040971 0.041505 0.041161 0.009398 0.121275 0.009723 0.118241 0.041730 0.043205 0.077208 0.039227 0.039615 0.039177 0.038882 0.039243 0.061835 0.076148 0.041023 0.062607 0.063846 0.009803 0.039802 0.061425 0.073759 0.078925 0.067102 0.079527 0.063538 0.068938 0.040605 0.037962 0.076096 0.009456 0.114839 0.040707 0.039928 0.059234 0.065900 0.080888 0.041065 0.086763 0.019371 0.075811 0.063993 0.089384 0.019141 0.072546 0.080101 0.075537 0.060272 0.091540 0.063126 0.067090 0.059580 0.009578 0.064405 0.076042 0.040172 0.066563 0.069157 0.038490 0.059798 0.066675 0.094304 0.060804 0.064690 0.040807 0.074946 0.039702 0.065901 0.009593 0.008927 0.039850 0.067324 0.041356 0.117772 0.067020 0.009764 0.039262 0.039734 0.040122 0.062290 0.072139 0.071260 0.040234 0.074148 0.068602 0.040147 0.070065 0.093459 0.040047 0.009123 0.035696 0.009114 0.034834 0.061413 0.060182 0.035624 0.009227 0.076152 0.009442 0.008539 0.035021 0.057161 0.035112 0.081921 0.018271 0.084227 0.018280 0.076024 0.059575 0.085569 0.036381 0.057996 0.036114 0.009163 0.057550 0.036164 0.058171 0.009412 0.063184 0.060136 0.068659 0.009017 0.035135 0.008835 0.008360 0.008491 0.033920 0.034231 0.033336 0.008798 0.080948 0.017701 0.033898 0.016073 0.008495 0.073887 0.009218 0.008547 0.008357 0.033830 0.057078 0.034564 0.008765 0.033938 0.008857 0.062226 0.034223 0.066210 0.008903 0.008250 0.016119 0.009034 0.016377 0.008834 0.008571 0.008410 0.062063 0.033576 0.016775 0.016335 0.008341 0.012035 0.011977 0.012123 0.011698 0.010803 0.021346 0.021312 0.040214 0.019906 0.019334 0.114557 0.009652 0.009105 0.008970 0.040438 0.009144 0.096272 0.009726 0.009271 0.016810 0.017141 0.015553 0.015382 0.014118 0.014345 0.014587 0.014190 0.014010 0.013340 0.012528 0.012315 0.012692 0.012131 0.011788 0.011363 0.013358 0.013226 0.012908 0.012773 0.012071 0.011593 0.012557 0.012320 0.011057 0.010921 0.010151 0.010319 0.010074 0.009982 0.010560 0.010113 0.009898 0.009529 0.008561 0.007878 0.010516 0.010561 0.009891 0.009606 0.010918 0.010709 0.010465 0.009984 0.009746 0.009229 0.009108 0.008665 0.008804 0.008712 0.008827 0.008307 0.023102 0.022640 0.022070 0.021560 0.020276 0.019450 0.019661 0.019300 0.018502 0.018619 0.017012 0.016634 0.017086 0.016815 0.017153 0.016894 0.015911 0.015259 0.015231 0.015875 0.015225 0.014779 0.015501 0.014775 0.013711 0.013215 0.013482 0.013045 0.013836 0.013457 0.010945 0.010036 0.009603 0.009553 0.009881 0.009597 0.009014 0.008576 0.008593 0.008668 0.008854 0.008097 0.008541 0.007877 0.008261 0.007845 0.008134 0.007086 0.009068 0.008529 0.008545 0.008214 0.008203 0.007637 0.008074 0.007859 0.007801 0.007290 0.008026 0.007244 0.007441 0.007009 0.007832 0.007514 0.007803 0.007376 0.007780 0.007086 0.007909 0.007095 0.007329 0.006560 0.016306 0.015716 0.015315 0.015148 0.015567 0.014548 0.014826 0.014578 0.013861 0.013200 0.010473 0.009672 0.010115 0.009586 0.008752 0.008751 0.008294 0.008280 0.007671 0.007290 0.007474 0.007280 0.007698 0.006972 0.007525 0.006950 0.007261 0.006405 0.007640 0.007516 0.007271 0.006597 0.007213 0.006784 0.006836 0.006279 0.008759 0.008448 0.008679 0.008442 0.008002 0.007593 0.007989 0.006754 0.006565 0.006316 0.006404 0.006057 0.006485 0.006128 0.015060 0.015094 0.015564 0.014991 0.014798 0.014329 0.014556 0.014225 0.014692 0.014451 0.012666 0.012271 0.016694 0.013647 0.013637 0.013081 0.012454 0.015838 0.015380 0.015034 0.014709 0.015048 0.014224 0.014940 0.014634 0.014018 0.013712 0.013303 0.013046 0.014389 0.014658 0.014095 0.013696 0.013678 0.013399 0.010469 0.010003 0.009782 0.009648 0.009509 0.009209 0.014780 0.014471 0.013661 0.013370 0.013465 0.013837 0.010495 0.010217 0.010028 0.010227 0.009339 0.008872 0.008258 0.007823 0.008009 0.007684 0.008001 0.007394 0.007837 0.007257 0.007578 0.007527 0.007711 0.007103 0.006923 0.006759 0.006770 0.006779 0.006806 0.009516 0.008719 0.008223 0.007746 0.007683 0.007363 0.007491 0.007217 0.008059 0.007346 0.007409 0.007050 0.007067 0.006954 0.006870 0.006685 0.006535 0.006231 0.006930 0.007165 0.006595 0.006789 0.006351 0.006241 0.018452 0.014257 0.013813 0.012808 0.013022 0.013402 0.013198 0.010028 0.009512 0.009543 0.009378 0.008203 0.008183 0.007888 0.007748 0.007751 0.007287 0.007446 0.007113 0.007237 0.007079 0.007259 0.007096 0.006718 0.006518 0.006333 0.006237 0.006135 0.006801 0.006389 0.006715 0.006185 0.006701 0.006352 0.006490 0.005809 0.007513 0.007359 0.005917 0.005668 0.013239 0.012794 0.009706 0.009856 0.009459 0.008994 0.008178 0.007874 0.007941 0.007720 0.017105 0.009480 0.009278 0.008958 0.008623 0.017683 0.009063 0.008684 0.008916 0.008402 0.008189 0.007271 0.017774 0.012803 0.012084 0.010200 0.009670 0.011102 0.010624 0.010303 0.009860 0.009487 0.009294 0.009238 0.017691 0.009152 0.008718 0.008381 0.017534 0.008558 0.007991 0.007651 0.017576 0.007974 0.018624 0.014617 0.014242 0.014370 0.014232 0.014001 0.014200 0.011998 0.011780 0.016645 0.019923 0.019883 0.019741 0.019072 0.018974 0.018709 0.018780 0.018548 0.018613 0.018062 0.017264 0.016038 0.016617 0.016370 0.016255 0.015970 0.016217 0.015238 0.014681 0.014263 0.015028 0.015127 0.015108 0.014981 0.014904 0.014612 0.013666 0.013579 0.013024 0.017074 0.014060 0.018055 0.022729 0.023030 0.022697 0.022976 0.135813 0.083490 0.112123 0.134928 0.106169 0.022209 0.021842 0.121004 0.087466 0.112548 0.111424 0.134300 0.135404 0.090795 0.107921 0.120054 0.089918 0.088703 0.090121 0.104155 0.108390 0.109077 0.110232 0.124030 0.112258 0.122713 0.134304 0.075257 0.072865 0.075729 0.071085 0.072352 0.071375 0.082943 0.137057 0.089558 0.080177 0.120789 0.084963 0.022566 0.021212 0.119654 0.090799 0.072752 0.087653 0.089377 0.092429 0.078916 0.090576 0.080042 0.044838 0.085871 0.088535 0.074837 0.087519 0.087074 0.089071 0.079218 0.087212 0.091018 0.091079 0.090484 0.091987 0.091401 0.074349 0.089546 0.078868 0.089776 0.092700 0.099294 0.103053 0.020775 0.020241 0.117806 0.085026 0.107639 0.124599 0.103715 0.116861 0.086657 0.085829 0.088354 0.099843 0.104373 0.106189 0.121077 0.130346 0.115962 0.097158 0.015733 0.014829 0.015285 0.014845 0.013955 0.013221 0.018736 0.015248 0.014721 0.014848 0.014378 0.013992 0.013660 0.014719 0.014232 0.015564 0.014497 0.014196 0.014160 0.014075 0.013671 0.013075 0.012537 0.011096 0.010554 0.009816 0.018922 0.013441 0.012982 0.013289 0.012987 0.008886 0.018899 0.013305 0.012819 0.015028 0.015058 0.013013 0.012610 0.019740 0.018673 0.017916 0.017827 0.011163 0.010401 0.018508 0.018451 0.017878 0.016803 0.016903 0.014056 0.013437 0.010667 0.009993 0.012436 0.011950 0.016005 0.016278 0.016793 0.016475 0.015291 0.014352 0.014357 0.014019 0.019972 0.014733 0.014478 0.015532 0.015142 0.015527 0.015083 0.012136 0.011988 0.015016 0.015105 0.014983 0.014650 0.011838 0.011384 0.011211 0.010969 0.011688 0.010851 0.010581 0.009993 0.018314 0.012967 0.012328 0.009222 0.019299 0.010532 0.010128 0.019239 0.109391 0.009880 0.107808 0.019123 0.018185 0.106002 0.010016 0.015537 0.015611 0.015044 0.014670 0.014615 0.014353 0.011780 0.011358 0.010471 0.010019 0.010236 0.009884 0.008190 0.018529 0.013920 0.014173 0.012220 0.011863 0.011743 0.011358 0.010442 0.009957 0.007815 0.018491 0.012549 0.011638 0.009878 0.008921 0.017970 0.008241 0.006912 0.018235 0.014467 0.013596 0.013742 0.013279 0.006628 0.006285 0.018352 0.011404 0.010646 0.010600 0.010496 0.035231 0.009232 0.106220 0.019312 0.017690 0.105307 0.036094 0.018577 0.018053 0.103824 0.015987 0.014671 0.018239 0.017178 0.017118 0.093010 0.015070 0.014225 0.011198 0.010623 0.010829 0.010465 0.010601 0.010105 0.041006 0.041348 0.009876 0.098956 0.099026 0.042002 0.095963 0.096352 0.092214 0.041377 0.040861 0.068799 0.069205 0.068955 0.106105 0.070573 0.069152 0.115178 0.110229 0.086210 0.117815 0.113976 0.082839 0.075631 0.095147 0.095178 0.117348 0.118501 0.074685 0.113209 0.101911 0.117029 0.075595 0.113302 0.116008 0.075889 0.117728 0.076293 0.069035 0.111895 0.116903 0.115565 0.041687 0.081854 0.110981 0.020438 0.120854 0.070122 0.063992 0.112725 0.019907 0.073675 0.110862 0.120499 0.113663 0.115193 0.096864 0.068526 0.113991 0.041048 0.041031 0.088721 0.115546 0.082370 0.048393 0.041881 0.108931 0.068635 0.118955 0.042706 0.103586 0.113543 0.092859 0.040444 0.121626 0.098599 0.095457 0.117518 0.093693 0.076467 0.040023 0.103623 0.111138 0.041870 0.075195 0.041852 0.107337 0.085572 0.078767 0.085820 0.067829 0.076144 0.121178 0.119115 0.082464 0.069057 0.041966 0.040881 0.041660 0.081027 0.042060 0.068188 0.042689 0.081977 0.041144 0.055122 0.112239 0.041829 0.111517 0.101763 0.119593 0.041450 0.041248 0.042995 0.075333 0.076195 0.097844 0.042489 0.085435 0.041606 0.093331 0.042016 0.041622 0.041142 0.041815 0.118470 0.116511 0.095067 0.042220 0.075865 0.034488 0.033439 0.033136 0.092730 0.016969 0.033792 0.017118 0.033523 0.034188 0.033973 0.091898 0.100257 0.095341 0.033689 0.033855 0.014697 0.014352 0.040820 0.040842 0.098008 0.094802 0.094739 0.091056 0.040043 0.041435 0.040338 0.039604 0.113168 0.106448 0.041131 0.115439 0.112591 0.094211 0.116156 0.074539 0.112120 0.115761 0.075840 0.115380 0.077019 0.040536 0.114868 0.114526 0.081594 0.019924 0.117795 0.064406 0.111087 0.019528 0.074036 0.117861 0.112255 0.112872 0.096149 0.068627 0.111969 0.041182 0.106223 0.117686 0.093647 0.118435 0.097740 0.093912 0.092574 0.077848 0.102059 0.040741 0.041250 0.106321 0.074079 0.041253 0.041248 0.067583 0.075399 0.076555 0.118537 0.116081 0.040921 0.068327 0.043221 0.110120 0.117253 0.076184 0.075515 0.042509 0.094415 0.116367 0.115549 0.075210 0.018231 0.017219 0.034947 0.094377 0.034129 0.014929 0.014697 0.013866 0.013167 0.016096 0.015412 0.012815 0.012313 0.012315 0.011847 0.013874 0.013106 0.009329 0.008519 0.019234 0.014061 0.013257 0.009365 0.040068 0.039776 0.068929 0.069651 0.062310 0.074379 0.077219 0.081861 0.071094 0.020108 0.019030 0.060008 0.041103 0.009610 0.040937 0.041579 0.009699 0.041760 0.042862 0.074469 0.009875 0.009314 0.066897 0.041033 0.073437 0.041212 0.019324 0.018640 0.111477 0.041343 0.009900 0.073882 0.040770 0.018016 0.018160 0.014193 0.013141 0.014077 0.013113 0.016485 0.016291 0.012889 0.012733 0.012460 0.012165 0.011758 0.011095 0.011454 0.011114 0.010382 0.010099 0.009422 0.009422 0.008751 0.008062 0.007574 0.007051 0.018220 0.011001 0.010604 0.009613 0.009261 0.008326 0.008054 0.008005 0.007917 0.006891 0.006130 0.011892 0.011733 0.011108 0.011038 0.010961 0.010522 0.010762 0.010505 0.009743 0.009450 0.008413 0.008260 0.007645 0.007543 0.011567 0.011245 0.009629 0.009301 0.018889 0.010148 0.009632 0.008022 0.007711 0.007392 0.007134 0.007007 0.007281 0.012005 0.010917 0.011482 0.010868 0.009993 0.009824 0.008847 0.008426 0.007524 0.008426 0.008286 0.019962 0.009762 0.009172 0.062226 0.073157 0.081700 0.019483 0.018642 0.063450 0.009797 0.073861 0.040943 0.061241 0.085161 0.072297 0.078224 0.080764 0.019261 0.086368 0.019240 0.059843 0.062596 0.059759 0.037989 0.086289 0.037245 0.009410 0.082299 0.009929 0.008971 0.036370 0.086494 0.010053 0.009102 0.069225 0.089946 0.089886 0.109116 0.106762 0.009829 0.105376 0.035867 0.107764 0.018530 0.105745 0.018353 0.106453 0.107046 0.036686 0.106676 0.087886 0.088909 0.100422 0.009907 0.008977 0.102816 0.036905 0.035245 0.103957 0.035881 0.018831 0.104048 0.018131 0.104485 0.035670 0.034967 0.086375 0.086755 0.098759 0.103234 0.035417 0.034263 0.101203 0.018989 0.034630 0.018496 0.101375 0.035628 0.085913 0.035138 0.098022 0.102804 0.102735 0.036362 0.097176 0.033888 0.097654 0.034133 0.093732 0.017896 0.034109 0.017574 0.033520 0.033394 0.034124 0.034434 0.094252 0.036104 0.094279 0.096311 0.034133 0.033940 0.036239 0.015471 0.014912 0.036072 0.035478 0.035672 0.034503 0.038311 0.080114 0.075159 0.034892 0.079986 0.035708 0.082115 0.055011 0.018290 0.084865 0.018616 0.034952 0.079839 0.060074 0.037447 0.035267 0.034288 0.083515 0.101617 0.084412 0.034945 0.035057 0.084375 0.078398 0.035387 0.079215 0.081823 0.080962 0.084194 0.035955 0.034963 0.034338 0.098502 0.035381 0.034204 0.100741 0.077077 0.017963 0.034504 0.017245 0.099706 0.036070 0.040411 0.100416 0.086011 0.035666 0.036667 0.096136 0.096415 0.099431 0.034963 0.100281 0.033549 0.032529 0.034041 0.074162 0.017766 0.008942 0.016469 0.033216 0.033704 0.034092 0.009394 0.032480 0.033420 0.093601 0.009464 0.093717 0.077555 0.033243 0.033570 0.008973 0.036069 0.035001 0.034985 0.034490 0.034680 0.080197 0.035673 0.080629 0.018249 0.033837 0.016951 0.035738 0.078676 0.035577 0.035393 0.035363 0.082785 0.083171 0.035305 0.034775 0.034991 0.034664 0.080812 0.081175 0.082868 0.034921 0.034075 0.098921 0.018404 0.034291 0.017005 0.033594 0.034857 0.033845 0.085368 0.034899 0.095721 0.035149 0.033531 0.072753 0.016898 0.008752 0.016858 0.008828 0.091597 0.091875 0.077227 0.009084 0.031039 0.016666 0.016001 0.031047 0.016419 0.015507 0.014541 0.015011 0.018124 0.018680 0.016828 0.017419 0.008855 0.017083 0.017143 0.033503 0.016565 0.015346 0.008667 0.015239 0.014553 0.014248 0.014329 0.013977 0.014023 0.013676 0.013153 0.016452 0.017065 0.017283 0.016788 0.032697 0.015669 0.015113 0.014347 0.013556 0.019407 0.033448 0.016385 0.016724 0.008627 0.008607 0.061504 0.009405 0.008407 0.051495 0.016925 0.009039 0.015764 0.058939 0.094011 0.009005 0.015615 0.015482 0.008548 0.016266 0.016697 0.008563 0.015801 0.015504 0.008587 0.014386 0.014141 0.012914 0.012693 0.012954 0.012546 0.012325 0.011563 0.011659 0.011166 0.010753 0.010314 0.010498 0.010376 0.010313 0.010256 0.010300 0.009981 0.009772 0.009315 0.009269 0.008446 0.008520 0.008153 0.008519 0.007978 0.008491 0.007914 0.008361 0.007990 0.007656 0.006919 0.019714 0.014435 0.013575 0.012002 0.011497 0.011464 0.011199 0.011560 0.011169 0.011102 0.010472 0.011054 0.010199 0.010606 0.010169 0.010388 0.010207 0.009052 0.008367 0.019372 0.011826 0.011623 0.010307 0.009640 0.011330 0.010861 0.009848 0.009700 0.009414 0.008910 0.009272 0.008768 0.010432 0.010214 0.009035 0.008584 0.010503 0.010388 0.008952 0.008135 0.019814 0.014277 0.013651 0.012098 0.011550 0.012119 0.011433 0.007672 0.020131 0.012134 0.011454 0.011509 0.011214 0.012259 0.011470 0.010104 0.010467 0.009736 0.009573 0.009323 0.009168 0.008718 0.007946 0.009552 0.009079 0.008749 0.008552 0.008488 0.007651 0.018483 0.009426 0.009027 0.011123 0.011048 0.009969 0.009538 0.008680 0.008072 0.007772 0.007476 0.009800 0.009138 0.008068 0.007607 0.007495 0.007176 0.013838 0.013582 0.013115 0.012755 0.012770 0.012508 0.009941 0.009448 0.009315 0.009008 0.007935 0.007436 0.007424 0.006835 0.018112 0.013612 0.013061 0.012685 0.012383 0.012689 0.012318 0.011890 0.011772 0.010665 0.010436 0.012732 0.012749 0.012118 0.011758 0.011643 0.011552 0.011582 0.011098 0.010690 0.010324 0.009489 0.009249 0.008552 0.007292 0.018821 0.010613 0.010082 0.006992 0.019414 0.010450 0.009715 0.009997 0.009528 0.008076 0.007805 0.007498 0.007069 0.007584 0.007201 0.007079 0.006921 0.006710 0.006586 0.006973 0.006466 0.018598 0.008046 0.007221 0.006929 0.006682 0.006819 0.006304 0.011214 0.011042 0.010654 0.010210 0.010345 0.010197 0.011154 0.010841 0.010973 0.009981 0.007640 0.007248 0.007768 0.007140 0.007575 0.006994 0.006739 0.006430 0.006115 0.010072 0.009551 0.006213 0.019557 0.011289 0.010712 0.133962 0.085072 0.022494 0.021922 0.088800 0.137252 0.090250 0.109275 0.110733 0.112051 0.136533 0.137114 0.138089 0.022769 0.022200 0.089188 0.105477 0.108516 0.133617 0.044896 0.106123 0.126263 0.044817 0.044209 0.043768 0.100253 0.104856 0.022186 0.021516 0.119243 0.086584 0.128489 0.044453 0.125638 0.105113 0.118370 0.088683 0.106904 0.101545 0.088857 0.101940 0.125956 0.106346 0.106978 0.044449 0.130566 0.132182 0.128316 0.127509 0.045045 0.043943 0.097053 0.021266 0.020109 0.085247 0.042983 0.043459 0.042708 0.043547 0.042676 0.096056 0.020990 0.020151 0.041572 0.019731 0.019277 0.019097 0.018581 0.017883 0.017678 0.034717 0.032582 0.016845 0.017182 0.033439 0.034222 0.095680 0.033769 0.090804 0.017224 0.033828 0.017036 0.091543 0.091648 0.093915 0.073049 0.016880 0.016665 0.089559 0.032521 0.033025 0.017022 0.016830 0.015611 0.016200 0.015108 0.015468 0.014150 0.013809 0.031232 0.017366 0.016748 0.089574 0.031465 0.031736 0.016510 0.016264 0.032139 0.015219 0.015526 0.015496 0.015488 0.015098 0.014752 0.014064 0.013568 0.013634 0.013196 0.012184 0.011609 0.012816 0.012018 0.012778 0.012253 0.010976 0.010937 0.010223 0.012913 0.012238 0.016668 0.017108 0.016215 0.015811 0.014498 0.014007 0.014285 0.013422 0.012500 0.012337 0.015833 0.015619 0.014151 0.013640 0.014944 0.015523 0.014180 0.013387 0.011750 0.011538 0.011794 0.011205 0.010485 0.009764 0.010014 0.009546 0.009995 0.010261 0.009469 0.011160 0.011002 0.009866 0.009369 0.009944 0.009489 0.009483 0.009381 0.009033 0.008779 0.007732 0.010201 0.010101 0.010035 0.009660 0.008569 0.008120 0.009554 0.009355 0.008299 0.007896 0.008210 0.007695 0.007896 0.007167 0.013216 0.013067 0.012913 0.012621 0.012682 0.012797 0.009641 0.009178 0.009253 0.008978 0.009039 0.008506 0.008775 0.008361 0.008591 0.008344 0.009064 0.008294 0.008707 0.008141 0.008380 0.007271 0.012628 0.012407 0.011829 0.011451 0.011699 0.010728 0.035764 0.009316 0.106534 0.018947 0.017733 0.106411 0.018957 0.017810 0.104742 0.102094 0.018121 0.018657 0.015151 0.014710 0.014422 0.014259 0.014263 0.013909 0.011016 0.010610 0.011044 0.010784 0.008995 0.010941 0.010907 0.010450 0.010200 0.009175 0.012551 0.011815 0.012409 0.017319 0.016758 0.034885 0.094720 0.033947 0.016491 0.017332 0.093952 0.032183 0.017012 0.016360 0.090198 0.031467 0.032578 0.015859 0.014792 0.013806 0.013727 0.013210 0.012716 0.012793 0.012178 0.013803 0.013016 0.012427 0.011930 0.012300 0.011767 0.015412 0.014996 0.014104 0.013454 0.012945 0.012867 0.012690 0.012204 0.010429 0.009936 0.009520 0.008776 0.008747 0.035398 0.017847 0.017965 0.104278 0.104435 0.012643 0.012138 0.011931 0.011490 0.011005 0.010264 0.009924 0.009166 0.009130 0.008973 0.011954 0.011655 0.011960 0.011576 0.009499 0.009266 0.008900 0.008751 0.010750 0.106572 0.043182 0.042352 0.121447 0.099023 0.095668 0.042279 0.133592 0.041603 0.127996 0.122987 0.123010 0.121122 0.118647 0.115624 0.121039 0.120919 0.097329 0.114052 0.120859 0.100755 0.115818 0.095593 0.020921 0.113340 0.019748 0.118742 0.120423 0.115505 0.115770 0.121941 0.121467 0.041062 0.121735 0.122034 0.041757 0.044079 0.120964 0.043638 0.110452 0.117331 0.116952 0.098522 0.119618 0.042408 0.108758 0.096892 0.121477 0.099419 0.120907 0.104986 0.120542 0.119912 0.120948 0.082677 0.042039 0.110595 0.122811 0.042374 0.096060 0.042308 0.112476 0.121013 0.119719 0.042077 0.042711 0.097920 0.097343 0.042879 0.096330 0.110654 0.041249 0.117815 0.041848 0.042596 0.042221 0.041375 0.117137 0.117661 0.042383 0.094360 0.014475 0.013623 0.012919 0.012256 0.018948 0.116506 0.041666 0.116830 0.117698 0.039966 0.042223 0.039598 0.039586 0.115162 0.095293 0.119290 0.099059 0.114135 0.081221 0.020274 0.019767 0.112726 0.125582 0.115734 0.117944 0.115461 0.041913 0.096832 0.041146 0.094369 0.109745 0.096457 0.041028 0.041473 0.115886 0.115249 0.094306 0.040999 0.092075 0.041359 0.114494 0.092949 0.112433 0.042167 0.020363 0.019549 0.111219 0.041092 0.095450 0.115970 0.035831 0.036209 0.018794 0.018075 0.105154 0.103042 0.035233 0.017933 0.034604 0.017831 0.035032 0.100570 0.098292 0.101620 0.099955 0.035144 0.100483 0.041571 0.099746 0.096715 0.018595 0.101494 0.034707 0.018468 0.100633 0.034688 0.033661 0.034161 0.099559 0.100240 0.035373 0.095810 0.096666 0.098049 0.099857 0.035235 0.101512 0.016544 0.016120 0.017945 0.017729 0.094179 0.011717 0.010654 0.018142 0.014998 0.014701 0.014106 0.013840 0.011877 0.011789 0.011277 0.011129 0.009160 0.008755 0.009206 0.008614 0.008708 0.008642 0.018677 0.008777 0.008209 0.105518 0.108693 0.106436 0.040058 0.104375 0.106857 0.019056 0.106003 0.019127 0.105389 0.106610 0.036591 0.106188 0.102561 0.103744 0.100753 0.009649 0.103949 0.033533 0.018401 0.017400 0.033765 0.034260 0.094058 0.034076 0.011233 0.010316 0.019132 0.009568 0.009470 0.008965 0.009110 0.111566 0.092142 0.009752 0.009259 0.110570 0.010124 0.019299 0.018427 0.110159 0.113587 0.009688 0.092399 0.009901 0.009354 0.108193 0.094057 0.040018 0.112370 0.040137 0.032130 0.016655 0.016314 0.089640 0.033362 0.016976 0.016594 0.016878 0.015746 0.016947 0.016666 0.013069 0.011984 0.019428 0.009750 0.009188 0.110679 0.092007 0.111230 0.020910 0.020204 0.109103 0.040552 0.009414 0.014237 0.013923 0.009384 0.038037 0.107583 0.037809 0.110838 0.107515 0.037702 0.037855 0.106923 0.036723 0.110930 0.036170 0.107809 0.018793 0.106500 0.019180 0.105935 0.108044 0.109127 0.106721 0.038161 0.103623 0.036194 0.105719 0.009875 0.102016 0.009645 0.009127 0.105441 0.037171 0.036705 0.035653 0.105049 0.105028 0.036077 0.018120 0.103903 0.018413 0.105327 0.036513 0.105421 0.102903 0.099646 0.103056 0.010175 0.009153 0.040811 0.041558 0.041839 0.009749 0.044802 0.041456 0.042096 0.041206 0.041258 0.040938 0.041199 0.041447 0.040638 0.041226 0.092301 0.041257 0.039815 0.039504 0.009895 0.039361 0.040878 0.122000 0.121306 0.113731 0.117996 0.040775 0.117000 0.115250 0.041503 0.119856 0.113640 0.094985 0.116260 0.119130 0.095506 0.112983 0.117998 0.117322 0.118763 0.112679 0.121059 0.124156 0.116718 0.041093 0.121895 0.112413 0.042065 0.117572 0.115650 0.041324 0.111214 0.020610 0.120266 0.040436 0.120392 0.113972 0.019713 0.072759 0.110898 0.119285 0.115624 0.115247 0.116919 0.119537 0.114143 0.041220 0.041450 0.115675 0.041190 0.116690 0.120962 0.041843 0.119058 0.119289 0.113168 0.111148 0.119499 0.116230 0.111823 0.118335 0.041528 0.009666 0.096459 0.040770 0.118731 0.122305 0.041171 0.108092 0.095567 0.042066 0.041842 0.040197 0.119807 0.041117 0.117881 0.119392 0.040445 0.121438 0.055684 0.039872 0.044799 0.040611 0.041758 0.115346 0.111267 0.041078 0.120146 0.097428 0.097167 0.118234 0.042955 0.041654 0.009894 0.040380 0.116842 0.118954 0.118101 0.040339 0.041017 0.009681 0.042353 0.040659 0.010060 0.040092 0.041103 0.041376 0.041337 0.040571 0.040579 0.041356 0.009663 0.114539 0.043000 0.110975 0.115746 0.115026 0.111710 0.117850 0.117324 0.092813 0.111074 0.118586 0.040615 0.113487 0.041146 0.041454 0.009973 0.114854 0.114586 0.041320 0.019312 0.120770 0.118250 0.111329 0.019314 0.072621 0.120588 0.111609 0.112420 0.113878 0.040071 0.111825 0.041667 0.115370 0.117102 0.109108 0.118281 0.114676 0.109998 0.043410 0.093619 0.041117 0.118280 0.041470 0.112327 0.094418 0.039840 0.039611 0.041470 0.115485 0.116392 0.039729 0.040958 0.110452 0.121215 0.041343 0.094730 0.040277 0.119223 0.114365 0.040998 0.009462 0.040382 0.009438 0.040060 0.040875 0.111362 0.110452 0.092585 0.108551 0.111752 0.019441 0.109738 0.018837 0.039440 0.120170 0.109975 0.111798 0.110399 0.038013 0.106630 0.112766 0.092639 0.109071 0.093526 0.040166 0.036782 0.113185 0.108407 0.118281 0.040219 0.039141 0.039771 0.116178 0.111770 0.040414 0.015913 0.015469 0.012370 0.012010 0.011204 0.010477 0.018747 0.011936 0.011241 0.010761 0.009638 0.019405 0.008423 0.007944 0.007998 0.007557 0.007597 0.007281 0.006406 0.006939 0.006294 0.006826 0.006192 0.005883 0.005955 0.005720 0.005816 0.006028 0.005492 0.005550 0.005374 0.006480 0.006436 0.006349 0.006173 0.005826 0.005563 0.005617 0.005731 0.005646 0.005439 0.005958 0.005368 0.006398 0.006077 0.006290 0.006479 0.005963 0.005483 0.006006 0.005831 0.005607 0.005347 0.005538 0.005261 0.005725 0.005712 0.005643 0.005611 0.005257 0.005431 0.005544 0.005019 0.005054 0.004935 0.005166 0.005123 0.005095 0.004778 0.006310 0.005580 0.005385 0.005437 0.004991 0.005028 0.005320 0.004894 0.005001 0.005024 0.005489 0.004877 0.005571 0.004830 0.004814 0.005012 0.005019 0.004785 0.005081 0.004961 0.004644 0.004562 0.004451 0.004605

total iso time: 269.706806
===============================================================================

print the content of the cache: 
c id: 2, level: 32, literals: 12, clauses: 10, size: 24, afterHit: 0, saved: 435, hits: 0, levelHits: [], isos: 144, levelIsos: [20,22,21,21,22,27,16,20,20,27,29,18,18,20,17,17,15,14,18,18,19,21,18,15,15,13,16,16,15,14,12,17,14,18,18,19,16,12,17,16,11,11,18,16,16,15,13,14,13,13,9,11,12,15,13,12,11,10,12,8,9,9,8,11,12,10,11,15,15,15,8,9,10,10,9,9,8,7,12,16,13,13,10,16,9,11,12,9,16,16,14,12,12,12,15,12,11,10,11,13,13,15,15,14,14,11,22,18,8,10,5,7,16,21,20,29,29,28,28,16,16,16,15,19,15,13,13,12,17,15,11,12,13,11,11,22,20,20,21,21,17,14,13,14]
c id: 1, level: 44, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 706, hits: 0, levelHits: [], isos: 260, levelIsos: [23,15,15,15,15,15,25,25,19,20,20,17,24,26,27,26,31,31,24,23,18,18,17,14,15,14,16,17,15,15,17,17,14,13,13,15,15,12,15,10,15,13,12,11,9,9,15,9,11,9,13,13,11,9,8,16,16,16,15,13,14,25,13,12,10,14,14,7,17,15,12,11,9,9,13,8,9,10,16,11,8,9,8,7,9,10,9,9,8,6,6,6,8,12,12,12,10,9,8,8,8,17,14,14,15,12,12,14,15,12,14,11,11,15,13,16,16,17,16,13,13,15,11,10,10,10,15,13,9,7,10,10,11,11,11,11,12,12,13,11,11,12,13,14,15,13,8,8,13,12,11,12,10,9,9,9,9,10,8,21,21,21,13,8,9,9,9,12,10,12,15,16,16,20,13,13,10,11,14,14,12,12,10,10,13,7,11,8,7,11,8,22,17,12,12,10,10,7,6,7,9,10,10,10,10,6,16,18,21,29,29,29,29,20,27,26,23,17,16,17,13,12,14,13,11,13,12,13,12,10,16,17,14,12,15,11,11,11,14,14,13,13,15,14,15,12,21,23,19,18,20,23,19,14,15,11,11,12,12,17]

restarts              : 1
conflicts             : 2185           (397 /sec)
decisions             : 6796           (0.00 % random) (1234 /sec)
propagations          : 65251          (11848 /sec)
conflict literals     : 15370          (21.39 % deleted)
components created    : 3200
components cached     : 531
components hit        : 0
isomorphisms          : 404
conflicts saved       : 1141
conflicts remaining   : 1448
glasgow calls         : 8669
aborted calls         : 0
Memory used           : 22.00 MB
CPU time              : 5.50737 s

SATISFIABLE
