/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col100_5_4.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           200                                         |
|  Number of clauses:             832                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     190      832     3101 |      305      100      3 |  5.008 % |
|       250 |     190      832     3101 |      335      250      3 |  5.010 % |
|       475 |     190      832     3101 |      369      287      5 |  5.010 % |
|       812 |     190      832     3101 |      406      424      4 |  5.013 % |

iso times: 0.022729 0.020429 0.018558 0.018067 0.018633 0.018026 0.016978 0.016619 0.016638 0.018270 0.015891 0.017044 0.015847 0.015611 0.015273 0.014614 0.014989 0.014598 0.014235 0.023182 0.023112 0.022348 0.021920 0.020961 0.021009 0.020506 0.020835 0.019126 0.018830 0.019047 0.018379 0.017878 0.017256 0.016882 0.016118 0.016856 0.015958 0.015899 0.016042 0.015638 0.015499 0.015226 0.015016 0.014369 0.013749 0.016685 0.016774 0.016182 0.016012 0.015306 0.014845 0.015127 0.014780 0.014164 0.017403 0.017664 0.016722 0.016504 0.016023 0.015778 0.015433 0.014562 0.014964 0.014360 0.013820 0.014444 0.013779 0.013633 0.013648 0.013090 0.013154 0.013025 0.013164 0.013401 0.011933 0.011872 0.011792 0.011432 0.011549 0.012314 0.010883 0.014725 0.015502 0.014670 0.013889 0.014143 0.013134 0.013371 0.012992 0.012941 0.012694 0.012248 0.012213 0.011737 0.012139 0.011893 0.010956 0.011744 0.010648 0.010827 0.010634 0.010359 0.013026 0.013410 0.013145 0.013319 0.012886 0.013215 0.012749 0.012454 0.013049 0.012261 0.012023 0.011848 0.011814 0.011348 0.011013 0.010810 0.010407 0.010399 0.010155 0.010404 0.015833 0.016530 0.015593 0.015295 0.014895 0.014969 0.014993 0.014642 0.014169 0.014475 0.023983 0.025124 0.025564 0.025997 0.024463 0.024346 0.025026 0.024458 0.023555 0.023960 0.023507 0.023589 0.022644 0.023727 0.023423 0.022804 0.022629 0.022716 0.022102 0.022352 0.020873 0.021498 0.020601 0.021626 0.020816 0.021327 0.019040 0.018987 0.018427 0.019039 0.018286 0.018153 0.018278 0.018528 0.018465 0.018123 0.017737 0.018401 0.016765 0.017301 0.016645 0.016518 0.015484 0.024074 0.025270 0.024042 0.024505 0.024108 0.024687 0.023876 0.024271 0.025609 0.026291 0.023047 0.022771 0.022816 0.023428 0.022265 0.022758 0.021725 0.021979 0.021744 0.022206 0.021156 0.021325 0.021305 0.021489 0.020366 0.020625 0.018260 0.019089 0.018139 0.018486 0.018365 0.018877 0.018124 0.018227 0.017346 0.018127 0.018075 0.017539 0.017676 0.017316 0.018467 0.017451 0.018032 0.017540 0.017240 0.016923 0.016985 0.016832 0.016588 0.016214 0.017415 0.016611 0.017693 0.018039 0.016740 0.017534 0.016996 0.016613 0.016779 0.017251 0.016277 0.016726 0.015924 0.016566 0.017786 0.016343 0.016471 0.016210 0.017025 0.015621 0.016242 0.015266 0.015881 0.015158 0.015143 0.015076 0.004502 0.019799 0.018450 0.018507 0.019915 0.018747 0.018228 0.019985 0.017886 0.018270 0.019246 0.017149 0.016466 0.018179 0.016656 0.016092 0.018337 0.016201 0.015553 0.018909 0.017321 0.017448 0.017981 0.016311 0.016041 0.017016 0.016071 0.015500 0.016574 0.014389 0.014221 0.019643 0.019254 0.018316 0.019374 0.017987 0.017357 0.018806 0.017095 0.017030 0.017878 0.016267 0.017050 0.017795 0.015867 0.015472 0.017108 0.015735 0.016848 0.017425 0.015497 0.015203 0.016174 0.014030 0.014312 0.015446 0.014211 0.014376 0.015914 0.014255 0.014074 0.015324 0.013378 0.013774 0.014077 0.004589 0.019312 0.019464 0.018277 0.017815 0.019935 0.019455 0.017604 0.017206 0.019092 0.018579 0.017216 0.016549 0.018432 0.018642 0.016134 0.016454 0.018408 0.017793 0.015731 0.016014 0.018383 0.018297 0.015819 0.015435 0.018385 0.017964 0.016485 0.015668 0.018157 0.017210 0.015784 0.015448 0.017789 0.017188 0.015314 0.014887 0.016713 0.016731 0.015029 0.014367 0.016992 0.016309 0.014295 0.014065 0.017292 0.016601 0.013251 0.013160 0.016345 0.014599 0.013612 0.013076 0.016938 0.016068 0.014519 0.014483 0.014231 0.004336 0.019175 0.019291 0.018930 0.017422 0.017298 0.019976 0.020789 0.020943 0.019222 0.018447 0.018001 0.018610 0.018348 0.016543 0.016721 0.017521 0.018135 0.018107 0.016705 0.016319 0.017836 0.017245 0.016787 0.015837 0.015462 0.017279 0.017812 0.017311 0.015900 0.015276 0.017046 0.017329 0.016492 0.014984 0.015067 0.016450 0.016814 0.015788 0.014364 0.013385 0.014838 0.016686 0.015990 0.014376 0.013776 0.015534 0.016239 0.015544 0.013911 0.012975 0.015563 0.016214 0.015381 0.013978 0.013472 0.015969 0.016948 0.016908 0.014837 0.014098 0.014563 0.015977 0.015093 0.013571 0.013634 0.014918 0.016015 0.015083 0.013072 0.012971 0.014870 0.015784 0.014924 0.012547 0.012046 0.013525 0.004486 0.017553 0.018154 0.017601 0.016752 0.017061 0.016923 0.017156 0.018053 0.017611 0.014919 0.016157 0.016003 0.017776 0.017929 0.017437 0.015378 0.015846 0.015258 0.016401 0.018000 0.016606 0.015108 0.015882 0.014919 0.016863 0.016954 0.017114 0.014111 0.015526 0.015495 0.016850 0.017048 0.016025 0.014758 0.015652 0.015119 0.015978 0.015220 0.014868 0.013302 0.014894 0.014530 0.015760 0.016566 0.015890 0.013888 0.014143 0.014080 0.015500 0.016202 0.015524 0.013407 0.013696 0.013612 0.015139 0.016032 0.015167 0.013222 0.013676 0.013652 0.015603 0.016394 0.014624 0.012816 0.013055 0.013164 0.014771 0.015485 0.014796 0.012482 0.013096 0.013099 0.014454 0.015536 0.014896 0.012467 0.012550 0.012393 0.014238 0.015378 0.014518 0.012084 0.012816 0.012706 0.013489 0.018167 0.017945 0.019133 0.019304 0.018978 0.016853 0.017278 0.018060 0.019256 0.018944 0.018278 0.016506 0.016627 0.017201 0.018907 0.019989 0.018691 0.016514 0.016822 0.017018 0.018459 0.018523 0.018512 0.016648 0.016179 0.015496 0.017912 0.017452 0.018131 0.016113 0.016834 0.016092 0.017431 0.017792 0.017302 0.015004 0.015760 0.015422 0.016580 0.017867 0.017407 0.015000 0.015301 0.015016 0.017523 0.018260 0.017332 0.015533 0.017951 0.017711 0.017509 0.015646 0.015647 0.015138 0.017372 0.017697 0.016454 0.015325 0.014862 0.014436 0.016869 0.017180 0.015943 0.014290 0.017888 0.017851 0.017852 0.015793 0.015728 0.016527 0.017115 0.016983 0.017612 0.015418 0.015393 0.015125 0.016931 0.017254 0.017454 0.014778 0.016119 0.015547 0.015992 0.016931 0.015351 0.014218 0.014530 0.014488 0.016390 0.017024 0.016485 0.014323 0.014821 0.014108 0.016177 0.016809 0.016261 0.013634 0.014352 0.013885 0.016096 0.016984 0.016038 0.014454 0.014439 0.014703 0.015212 0.015632 0.015010 0.013057 0.013245 0.013350 0.014041 0.018326 0.018598 0.018169 0.015300 0.015381 0.015321 0.017192 0.017504 0.017362 0.014637 0.015497 0.014956 0.016683 0.017295 0.019150 0.019529 0.018935 0.017110 0.017529 0.018045 0.017918 0.018671 0.017671 0.015580 0.016566 0.015963 0.017728 0.017217 0.016809 0.015029 0.016259 0.015858 0.017762 0.018147 0.017415 0.015517 0.015871 0.015828 0.016866 0.017905 0.016954 0.014357 0.014359 0.015161 0.015598 0.016105 0.017993 0.018314 0.017915 0.016041 0.015799 0.015925 0.017687 0.017878 0.017847 0.014948 0.016179 0.015185 0.017392 0.017075 0.017365 0.015016 0.015728 0.014749 0.017455 0.017578 0.017270 0.015632 0.015722 0.015995 0.016369 0.015165 0.025637 0.027361 0.026443 0.024562 0.024751 0.025006 0.025677 0.026389 0.025217 0.022845 0.023866 0.024036 0.025518 0.025731 0.024277 0.022794 0.023925 0.023263 0.025319 0.025958 0.024905 0.022772 0.022778 0.023082 0.024955 0.024803 0.024858 0.022694 0.023198 0.022092 0.024094 0.025118 0.024798 0.022467 0.022989 0.022371 0.024049 0.024410 0.024270 0.021883 0.021462 0.022118 0.024242 0.024285 0.024296 0.021026 0.022257 0.021542 0.023998 0.024735 0.023969 0.020506 0.021797 0.021171 0.023716 0.023754 0.023840 0.020708 0.021569 0.020609 0.023651 0.024167 0.023667 0.021032 0.021232 0.021136 0.022917 0.023711 0.023054 0.020145 0.020579 0.020428 0.023213 0.024151 0.023371 0.020039 0.020489 0.020715 0.023268 0.024334 0.022942 0.020606 0.020280 0.020304 0.023333 0.023519 0.022952 0.020563 0.021021 0.020860 0.019903 0.021080 0.019676 0.018080 0.017762 0.017830 0.019586 0.019658 0.019102 0.016657 0.017363 0.016932 0.019036 0.018989 0.018839 0.016517 0.016393 0.016166 0.018673 0.018455 0.017966 0.015736 0.016176 0.016778 0.018376 0.018377 0.018334 0.016268 0.016936 0.016738 0.017292 0.018256 0.018419 0.017890 0.016734 0.016856 0.016621 0.018428 0.019176 0.017924 0.016627 0.017128 0.015954 0.017734 0.017686 0.018160 0.016305 0.016911 0.015507 0.017778 0.017733 0.018088 0.017279 0.015420 0.015797 0.016455 0.017258 0.018325 0.017506 0.014723 0.015199 0.015632 0.016879 0.017772 0.017157 0.014698 0.016044 0.015778 0.016214 0.016691 0.015927 0.014022 0.015687 0.015468 0.016963 0.017568 0.016928 0.014229 0.015498 0.014939 0.016122 0.017255 0.016364 0.014849 0.014934 0.014672 0.015394 0.015521 0.015557 0.013424 0.013562 0.013361 0.015281 0.016494 0.015944 0.014037 0.014577 0.013948 0.014164 0.014393 0.013618 0.012233 0.012747 0.012587 0.013866 0.014305 0.013686 0.011831 0.022965 0.023746 0.023250 0.021051 0.021839 0.020232 0.023588 0.023855 0.023518 0.021129 0.021313 0.020623 0.022467 0.022667 0.022204 0.020083 0.020421 0.019840 0.021329 0.021456 0.020978 0.018723 0.019500 0.018791 0.020543 0.020764 0.020169 0.018082 0.018665 0.018035 0.020342 0.020222 0.020800 0.018452 0.018899 0.017961 0.020324 0.020257 0.020081 0.018016 0.018604 0.017801 0.019842 0.019884 0.019547 0.017189 0.017875 0.018231 0.020666 0.020528 0.020264 0.018263 0.018443 0.018420 0.019882 0.019570 0.019886 0.017253 0.017253 0.016940 0.018834 0.018758 0.018676 0.016954 0.017062 0.016682 0.018633 0.019730 0.018717 0.017506 0.016795 0.017359 0.019063 0.018573 0.017918 0.016034 0.016676 0.016109 0.019652 0.019080 0.019569 0.017640 0.017803 0.017634 0.017803 0.017448 0.017195 0.014393 0.014970 0.015108 0.016533 0.016376 0.015939 0.013845 0.013784 0.013306 0.015565 0.016193 0.014729 0.013276 0.013817 0.013923 0.014396 0.015091 0.014196 0.012445 0.012627 0.012710 0.014670 0.015009 0.014171 0.012186 0.012671 0.012283 0.014488 0.014839 0.013659 0.011562 0.011751 0.011742 0.013275 0.013971 0.015083 0.013502 0.011427 0.011852 0.011400 0.012049 0.015647 0.016233 0.015472 0.013139 0.013772 0.013912 0.015649 0.016205 0.015507 0.013841 0.013834 0.013626 0.015912 0.014470 0.018833 0.018639 0.018395 0.016738 0.017160 0.016196 0.019173 0.018358 0.018322 0.016703 0.017147 0.016582 0.018231 0.019205 0.018516 0.016552 0.016384 0.015610 0.016960 0.017821 0.017547 0.014843 0.014736 0.016058 0.015900 0.016602 0.016074 0.013197 0.013933 0.013754 0.016063 0.015711 0.015418 0.013585 0.013361 0.014108 0.015616 0.014268 0.015404 0.016146 0.015517 0.013383 0.017873 0.018722 0.017514 0.014910 0.016237 0.015694 0.017761 0.018117 0.017284 0.015320 0.015416 0.014716 0.017458 0.017468 0.016423 0.014357 0.014223 0.014717 0.016772 0.017349 0.015680 0.014714 0.014828 0.014770 0.015965 0.017285 0.016327 0.013920 0.014141 0.014007 0.018234 0.017994 0.017378 0.014652 0.015561 0.015291 0.016363 0.015813 0.017495 0.017746 0.016922 0.015201 0.014538 0.014688 0.017706 0.017492 0.017296 0.014452 0.025821 0.027072 0.026121 0.023939 0.024198 0.024036 0.025340 0.026319 0.025384 0.022938 0.024150 0.023237 0.027778 0.028363 0.028647 0.025574 0.025757 0.025200 0.025356 0.025605 0.024963 0.022270 0.023221 0.023131 0.024202 0.025298 0.024168 0.022292 0.022797 0.022834 0.025122 0.025127 0.024360 0.022271 0.023068 0.022729 0.024334 0.024543 0.024206 0.022061 0.022447 0.022140 0.024286 0.024725 0.024437 0.021278 0.022416 0.021887 0.023205 0.023786 0.022980 0.020023 0.021324 0.021151 0.023026 0.023578 0.022880 0.020923 0.021151 0.020823 0.022563 0.021918 0.022583 0.020299 0.020043 0.020944 0.022884 0.022805 0.022297 0.020682 0.020521 0.020721 0.021122 0.020605 0.020189 0.017905 0.019429 0.018741 0.020273 0.020091 0.021114 0.018213 0.018496 0.018575 0.020126 0.020553 0.019918 0.017955 0.018292 0.018049 0.020187 0.020273 0.020071 0.017831 0.018385 0.017808 0.019255 0.019393 0.020028 0.017030 0.018191 0.017057 0.019181 0.019810 0.019536 0.017813 0.017319 0.017739 0.018902 0.019363 0.019519 0.017275 0.017332 0.017570 0.019401 0.019321 0.018594 0.016685 0.017326 0.017028 0.018468 0.018361 0.017573 0.015351 0.015902 0.016136 0.017190 0.017490 0.017193 0.015937 0.016107 0.015805 0.017531 0.017414 0.017890 0.018319 0.017288 0.015018 0.015542 0.015932 0.017584 0.017621 0.017618 0.014980 0.016328 0.015887 0.016868 0.018081 0.016547 0.014696 0.015827 0.015052 0.016532 0.016407 0.016752 0.017083 0.017319 0.015308 0.015882 0.015347 0.017887 0.017589 0.025377 0.025646 0.025446 0.022514 0.022882 0.023415 0.024549 0.025149 0.024645 0.022607 0.023288 0.022523 0.024784 0.025359 0.024903 0.022994 0.023403 0.022504 0.024100 0.024495 0.023753 0.021386 0.022204 0.021824 0.024451 0.024374 0.023346 0.021855 0.022154 0.021895 0.023259 0.023721 0.023230 0.021117 0.021690 0.021490 0.022791 0.023474 0.022385 0.020536 0.021196 0.020347 0.022565 0.023029 0.022691 0.020658 0.020911 0.020614 0.022373 0.021961 0.022383 0.019542 0.020849 0.020787 0.022782 0.022739 0.022601 0.020441 0.021592 0.020886 0.020901 0.021348 0.020132 0.018711 0.019041 0.018917 0.020185 0.020208 0.020153 0.017420 0.018236 0.017628 0.020977 0.020878 0.020481 0.018223 0.019191 0.018129 0.018918 0.018823 0.019233 0.016660 0.017025 0.017182 0.019032 0.018912 0.019299 0.016535 0.017958 0.016796 0.018534 0.018865 0.019275 0.016562 0.017880 0.016985 0.018959 0.018399 0.017567 0.016206 0.016037 0.015803 0.018974 0.018826 0.018655 0.017839 0.017703 0.017707 0.017898 0.018620 0.017372 0.015391 0.015182 0.014708 0.016702 0.017813 0.017289 0.015397 0.015355 0.014729 0.016856 0.017603 0.016772 0.014609 0.014930 0.015233 0.015451 0.016804 0.016305 0.013737 0.015190 0.013790 0.015167 0.016261 0.015843 0.014074 0.014585 0.013694 0.015480 0.015880 0.015254 0.013450 0.013675 0.013634 0.015214 0.015168 0.019355 0.019399 0.019719 0.017144 0.018531 0.017606 0.019766 0.019614 0.019033 0.017672 0.017727 0.017831 0.019100 0.019739 0.019267 0.017409 0.016983 0.017823 0.019187 0.018765 0.019152 0.016394 0.016595 0.016400 0.019197 0.019072 0.018397 0.016216 0.016875 0.017834 0.018960 0.018694 0.019007 0.016310 0.016731 0.017362 0.018475 0.019108 0.018163 0.015929 0.016983 0.016245 0.017886 0.017704 0.018541 0.016027 0.016728 0.016389 0.017829 0.017963 0.017522 0.014879 0.016054 0.015202 0.017712 0.018023 0.016980 0.015448 0.015634 0.015416 0.017366 0.016962 0.016113 0.013994 0.015322 0.015196 0.016742 0.017107 0.016488 0.014042 0.014881 0.013971 0.015285 0.015971 0.016067 0.014375 0.014087 0.014608 0.015360 0.016578 0.015771 0.014064 0.014113 0.014388 0.016093 0.016027 0.015734 0.013375 0.014082 0.014259 0.015457 0.015916 0.015487 0.013398 0.013653 0.013436 0.014798 0.015527 0.022450 0.022836 0.022736 0.019465 0.020766 0.019604 0.022230 0.022617 0.022176 0.019701 0.020926 0.020056 0.020302 0.020691 0.020288 0.018518 0.019352 0.018052 0.019934 0.019767 0.019841 0.017676 0.019011 0.018037 0.020215 0.020229 0.019680 0.018053 0.018549 0.018136 0.020382 0.020956 0.019701 0.017809 0.018466 0.017549 0.019206 0.020605 0.019113 0.017027 0.017810 0.017160 0.018615 0.018805 0.019137 0.016746 0.016818 0.017036 0.019293 0.019072 0.019176 0.016187 0.017026 0.017027 0.018426 0.019588 0.018067 0.016298 0.016540 0.017422 0.019630 0.018330 0.018057 0.016889 0.017440 0.016480 0.017927 0.018855 0.018651 0.016850 0.016693 0.016619 0.017438 0.017625 0.017911 0.015544 0.015790 0.015763 0.017850 0.018338 0.017202 0.015765 0.016208 0.015460 0.017743 0.017089 0.017491 0.015799 0.015312 0.015659 0.017581 0.017455 0.017370 0.015250 0.014841 0.015460 0.017534 0.017923 0.016575 0.015513 0.015928 0.014750 0.016377 0.016168 0.016193 0.014051 0.014651 0.014249 0.015294 0.016630 0.015196 0.012854 0.014202 0.014295 0.015835 0.016246 0.015293 0.013124 0.013279 0.012657 0.014809 0.015518 0.014873 0.012823 0.013026 0.012861 0.013832 0.016821 0.016719 0.016998 0.014731 0.015008 0.014607 0.016601 0.016553 0.020551 0.020660 0.020473 0.019481 0.019018 0.018954 0.019376 0.019473 0.018532 0.017631 0.017702 0.016698 0.019070 0.019680 0.018683 0.016945 0.016615 0.016064 0.017589 0.018905 0.018223 0.016470 0.016369 0.015837 0.019315 0.019814 0.019611 0.016632 0.018193 0.016999 0.017304 0.017563 0.019006 0.019695 0.018956 0.017419 0.018491 0.017246 0.018170 0.017693 0.017504 0.015690 0.015702 0.015986 0.017315 0.018364 0.017519 0.015509 0.016449 0.015657 0.017232 0.017778 0.016764 0.015379 0.015855 0.015116 0.016666 0.017870 0.017670 0.015108 0.015072 0.015472 0.017269 0.017642 0.016972 0.015012 0.015428 0.014906 0.017163 0.017184 0.016235 0.014034 0.014384 0.015023 0.018088 0.018239 0.017433 0.015410 0.016038 0.015395 0.015739 0.017837 0.017918 0.017509 0.016053 0.016397 0.015954 0.017864 0.017907 0.017083 0.015284 0.015734 0.015461 0.017247 0.017432 0.016700 0.014675 0.014741 0.015162 0.016613 0.017410 0.017064 0.014961 0.015591 0.015718 0.016662 0.016410 0.015927 0.013981 0.013960 0.013877 0.016496 0.016899 0.015756 0.014841 0.014255 0.014495 0.015832 0.015923 0.015975 0.013334 0.014563 0.014376 0.016417 0.015634 0.024179 0.024447 0.024886 0.022609 0.022752 0.022997 0.024119 0.024126 0.023653 0.021891 0.022350 0.021313 0.023573 0.024385 0.023752 0.021890 0.022918 0.022245 0.023365 0.023632 0.023207 0.021675 0.022093 0.020703 0.022704 0.022351 0.022169 0.020210 0.020835 0.020607 0.022713 0.023387 0.022490 0.020361 0.020847 0.020914 0.022457 0.022738 0.022367 0.020321 0.021222 0.020448 0.020450 0.021077 0.020238 0.018335 0.018958 0.018833 0.020275 0.020394 0.020209 0.018264 0.019160 0.018711 0.019261 0.019608 0.019463 0.017054 0.018603 0.018059 0.020977 0.020606 0.020035 0.018126 0.018529 0.018514 0.019521 0.019258 0.018256 0.016288 0.017552 0.016979 0.018316 0.018623 0.017916 0.016156 0.016303 0.016830 0.018294 0.019026 0.018453 0.015795 0.016297 0.015856 0.018453 0.018258 0.017343 0.016469 0.016253 0.016205 0.017245 0.018181 0.017247 0.015478 0.016162 0.016255 0.016899 0.020328 0.020667 0.020803 0.018602 0.019179 0.018532 0.019987 0.020515 0.019940 0.018223 0.018819 0.018125 0.019702 0.020182 0.019490 0.017831 0.018474 0.018437 0.019856 0.020436 0.019187 0.017691 0.018368 0.017690 0.018566 0.018981 0.018671 0.016906 0.017924 0.016927 0.018751 0.019465 0.017865 0.015939 0.016662 0.016862 0.018198 0.018822 0.018557 0.015851 0.017562 0.016083 0.019173 0.019365 0.019538 0.016962 0.017346 0.017678 0.017693 0.017899 0.016467 0.014414 0.015377 0.014583 0.019855 0.020437 0.020024 0.018319 0.018661 0.018705 0.020722 0.020268 0.019824 0.018054 0.018870 0.018349 0.020243 0.020157 0.019863 0.017584 0.019560 0.018839 0.019534 0.019638 0.019611 0.017273 0.017673 0.017250 0.018265 0.019262 0.018988 0.016707 0.016675 0.017542 0.018276 0.019267 0.018919 0.016906 0.017655 0.016799 0.018373 0.018356 0.017780 0.015790 0.016194 0.015715 0.018463 0.018244 0.018634 0.015472 0.016598 0.015564 0.018039 0.018373 0.017222 0.015928 0.016317 0.015610 0.017085 0.017981 0.017486 0.015507 0.015914 0.015409 0.018275 0.018341 0.017551 0.015607 0.016011 0.015195 0.017410 0.017775 0.016527 0.015269 0.015877 0.015779 0.016779 0.016800 0.016629 0.013873 0.013992 0.013696 0.016350 0.016700 0.015877 0.013594 0.014327 0.014095 0.015411 0.016484 0.015546 0.013876 0.013392 0.012682 0.014960 0.015697 0.014991 0.012878 0.013089 0.013205 0.014734 0.015095 0.014566 0.012466 0.012667 0.012655 0.014534 0.014831 0.014373 0.012241 0.012752 0.012320 0.014055 0.015114 0.013939 0.012395 0.012336 0.012884 0.014300 0.014370 0.013633 0.011782 0.012150 0.011837 0.013214 0.014010 0.013088 0.011585 0.018015 0.018763 0.018313 0.016814 0.017213 0.016690 0.018647 0.019298 0.018737 0.016696 0.017805 0.017270 0.018810 0.018584 0.017676 0.016263 0.017189 0.016213 0.018529 0.018304 0.017677 0.016024 0.016289 0.016959 0.018053 0.018447 0.017902 0.016295 0.016856 0.016508 0.019144 0.018897 0.018507 0.016791 0.017358 0.016892 0.018414 0.018927 0.018328 0.016147 0.015898 0.015121 0.017603 0.018684 0.017703 0.015028 0.016614 0.015217 0.016671 0.017963 0.017149 0.015343 0.015818 0.015618 0.017148 0.017217 0.015521 0.014435 0.014860 0.014350 0.016263 0.016868 0.015863 0.014310 0.014262 0.014170 0.015960 0.016202 0.016175 0.013656 0.014183 0.013826 0.016018 0.016461 0.015604 0.013569 0.013773 0.012786 0.016677 0.017289 0.015410 0.014234 0.014464 0.014026 0.014742 0.015434 0.014618 0.012345 0.013091 0.012656 0.014377 0.015315 0.014081 0.012852 0.012714 0.012496 0.014165 0.015063 0.013952 0.012598 0.012765 0.012782 0.013819 0.014979 0.014178 0.011865 0.012140 0.011990 0.017760 0.018168 0.016982 0.015805 0.015637 0.015091 0.017300 0.018044 0.017122 0.015882 0.015844 0.015991 0.017880 0.018201 0.017509 0.015271 0.015250 0.015142 0.016799 0.016724 0.016845 0.014962 0.015430 0.015364 0.017072 0.017508 0.016242 0.014835 0.014868 0.014044 0.015148 0.016382 0.016123 0.013327 0.014119 0.014048 0.016004 0.015609 0.015459 0.014055 0.014253 0.013875 0.016432 0.017012 0.016145 0.014481 0.014797 0.014468 0.015294 0.015696 0.014818 0.013019 0.012471 0.013214 0.015304 0.015493 0.014660 0.012677 0.013223 0.012875 0.014259 0.014673 0.014166 0.011884 0.012384 0.012145 0.014320 0.014646 0.013745 0.011882 0.012166 0.012057 0.013367 0.014119 0.013787 0.011591 0.011569 0.011477 0.013655 0.013850 0.013426 0.011276 0.011454 0.011813 0.017549 0.017521 0.017620 0.015162 0.016174 0.015152 0.017131 0.017086 0.017500 0.015823 0.015367 0.014825 0.016271 0.016835 0.017288 0.014812 0.015083 0.014478 0.017067 0.017251 0.017151 0.014810 0.015613 0.014553 0.016951 0.016374 0.017065 0.014889 0.014831 0.014817 0.017375 0.017598 0.017033 0.014795 0.014886 0.015288 0.016579 0.016619 0.016355 0.014161 0.014803 0.014624 0.015657 0.015613 0.015276 0.013665 0.014139 0.013986 0.015734 0.016003 0.014500 0.013139 0.014110 0.013679 0.015172 0.015796 0.015372 0.013607 0.013549 0.013114 0.014987 0.015408 0.014491 0.012017 0.013014 0.012946 0.014147 0.014848 0.014121 0.011972 0.012291 0.012120 0.013384 0.013902 0.013311 0.011483 0.011977 0.012124 0.012912 0.014028 0.013113 0.011576 0.011452 0.011591 0.013121 0.013558 0.012982 0.011042 0.011286 0.011239 0.013101 0.013568 0.013494 0.011535 0.011700 0.011511 0.012870 0.013404 0.012579 0.010912 0.011041 0.011058 0.012235 0.012937 0.012443 0.010384 0.010606 0.010509 0.012250 0.013341 0.012688 0.010267 0.010527 0.010814 0.014841 0.015055 0.014842 0.012798 0.013419 0.012947 0.014982 0.015163 0.014355 0.012774 0.012920 0.012380 0.014420 0.015236 0.014333 0.012536 0.012631 0.012530 0.014312 0.014810 0.014323 0.012078 0.012508 0.012341 0.013337 0.014019 0.013292 0.011472 0.012179 0.011696 0.013253 0.013351 0.013251 0.011302 0.011570 0.011446 0.012715 0.013193 0.012822 0.010883 0.011352 0.011479 0.013219 0.014061 0.013050 0.011456 0.011459 0.011650 0.012796 0.013140 0.012369 0.010687 0.010944 0.011171 0.012507 0.013144 0.012447 0.010890 0.010824 0.010963 0.012038 0.012792 0.012258 0.010025 0.010845 0.010496 0.012162 0.012935 0.012119 0.010724 0.010203 0.010702 0.010799 0.014535 0.015064 0.014390 0.012382 0.012799 0.012535 0.014690 0.014395 0.014583 0.011992 0.012422 0.012153 0.013160 0.013834 0.013776 0.011295 0.011390 0.011587 0.012878 0.013379 0.013124 0.010974 0.011603 0.011094 0.012944 0.013731 0.013245 0.011433 0.011477 0.011478 0.012386 0.012832 0.012560 0.010588 0.010747 0.010769 0.011900 0.012383 0.012095 0.010448 0.010644 0.010515 0.012532 0.012484 0.011957 0.010251 0.010554 0.010316 0.011807 0.012501 0.011891 0.009992 0.010250 0.010149 0.011871 0.012805 0.011788 0.010342 0.010412 0.009856 0.010586 0.018711 0.018708 0.019229 0.016540 0.017650 0.016356 0.017819 0.019265 0.018046 0.016670 0.016467 0.015912 0.016706 0.017644 0.016944 0.015405 0.015385 0.015847 0.017499 0.017778 0.017273 0.015545 0.015663 0.015684 0.016383 0.016702 0.015754 0.014657 0.015173 0.015330 0.016393 0.017253 0.015858 0.013928 0.015267 0.014510 0.015511 0.016690 0.016403 0.014629 0.014673 0.013710 0.016402 0.016893 0.015609 0.014298 0.014726 0.014226 0.016413 0.016620 0.016154 0.014306 0.014560 0.013803 0.015674 0.016744 0.015719 0.014237 0.014091 0.014168 0.015249 0.015964 0.014919 0.013406 0.014361 0.013885 0.015176 0.015992 0.015578 0.013293 0.014040 0.014110 0.015350 0.015445 0.015224 0.013354 0.013609 0.013100 0.014768 0.015299 0.014589 0.012652 0.012962 0.013261 0.014541 0.014718 0.014199 0.011975 0.013074 0.012911 0.014087 0.014472 0.014245 0.011923 0.012259 0.012082 0.014312 0.014436 0.013819 0.011811 0.012058 0.011945 0.012988 0.013660 0.013033 0.011224 0.011473 0.011388 0.013109 0.014018 0.013717 0.011529 0.011687 0.011680 0.012231 0.013420 0.012460 0.010326 0.010826 0.010644 0.012341 0.013162 0.012427 0.010440 0.010806 0.010459 0.012003 0.012702 0.012002 0.009958 0.012256 0.013236 0.012120 0.010032 0.013297 0.014080 0.013290 0.011350 0.011608 0.011530 0.012315 0.011629 0.015566 0.015727 0.015277 0.013020 0.013576 0.013649 0.015407 0.015728 0.015137 0.012917 0.013549 0.013280 0.014887 0.015590 0.014215 0.012322 0.012803 0.012293 0.013782 0.013434 0.014330 0.014836 0.014131 0.011994 0.012317 0.011919 0.013321 0.011887 0.014266 0.014645 0.013729 0.011780 0.011977 0.011562 0.013418 0.012466 0.019143 0.019865 0.019222 0.017409 0.018825 0.017762 0.019868 0.020315 0.019521 0.018274 0.018778 0.018390 0.018245 0.018716 0.018917 0.017333 0.017278 0.017132 0.018310 0.020237 0.018611 0.017194 0.017915 0.016969 0.019333 0.018835 0.017854 0.016153 0.016925 0.016247 0.017262 0.017824 0.016885 0.015715 0.015974 0.016482 0.017826 0.018120 0.017479 0.015374 0.015851 0.015434 0.016500 0.017553 0.017184 0.015629 0.015852 0.015689 0.016777 0.017769 0.017688 0.015344 0.016154 0.015716 0.016918 0.017544 0.016246 0.014382 0.016238 0.015299 0.015199 0.016319 0.015556 0.013877 0.014428 0.014158 0.015893 0.016229 0.015616 0.013970 0.014727 0.014300 0.014968 0.015653 0.014951 0.013926 0.013629 0.013418 0.014933 0.015763 0.014851 0.013432 0.013701 0.013669 0.014243 0.015731 0.014910 0.013231 0.013801 0.013656 0.014997 0.016066 0.014743 0.012805 0.013076 0.012791 0.014741 0.013980 0.016024 0.015933 0.015693 0.013754 0.014346 0.014183 0.015662 0.016045 0.015542 0.013962 0.014449 0.013819 0.015094 0.015188 0.015063 0.013064 0.013893 0.012940 0.014737 0.015278 0.014722 0.012470 0.013968 0.013218 0.014598 0.015541 0.015006 0.012991 0.015164 0.015851 0.015702 0.013777 0.013617 0.014005 0.014580 0.015863 0.015212 0.013208 0.014130 0.013399 0.014653 0.015339 0.014498 0.012698 0.013287 0.012945 0.014800 0.014931 0.014615 0.012372 0.013240 0.012453 0.014506 0.014570 0.013877 0.012041 0.012705 0.012266 0.014750 0.015045 0.013827 0.012182 0.012546 0.012210 0.014118 0.014039 0.013826 0.014663 0.013532 0.012356 0.012248 0.012336 0.012838 0.013892 0.014394 0.013766 0.012189 0.012583 0.012178 0.013519 0.014136 0.013649 0.011977 0.012859 0.012137 0.013133 0.018649 0.019250 0.018224 0.016692 0.017272 0.017144 0.017996 0.019059 0.017974 0.016716 0.017380 0.016435 0.018835 0.018794 0.018643 0.016442 0.017218 0.016084 0.017720 0.018388 0.017625 0.015971 0.016905 0.016786 0.017320 0.017366 0.017309 0.016077 0.016766 0.016807 0.017122 0.017805 0.016941 0.014796 0.015546 0.018151 0.018430 0.018186 0.016016 0.016570 0.016226 0.018258 0.017584 0.017214 0.016163 0.017189 0.016388 0.019353 0.018813 0.018477 0.017327 0.017954 0.017689 0.017523 0.017169 0.016606 0.015063 0.016326 0.016136 0.016655 0.016549 0.017007 0.015571 0.015765 0.015266 0.017253 0.017200 0.016084 0.014257 0.015721 0.015227 0.015768 0.016776 0.015996 0.014648 0.015666 0.015122 0.017581 0.017313 0.016544 0.016085 0.016731 0.015468 0.016659 0.016662 0.016200 0.014932 0.016449 0.015708 0.017055 0.016749 0.016042 0.015028 0.016551 0.015053 0.016798 0.017054 0.016746 0.015180 0.015458 0.015811 0.016054 0.016207 0.016128 0.014489 0.014922 0.013964 0.015164 0.015100 0.015123 0.013866 0.014910 0.013764 0.015920 0.016050 0.015524 0.013949 0.014722 0.014376 0.014507 0.015168 0.016264 0.015244 0.013308 0.014067 0.014180 0.015921 0.015838 0.015501 0.013797 0.015099 0.014303 0.015279 0.015501 0.015346 0.014251 0.014354 0.014014 0.015260 0.015418 0.015387 0.013317 0.014330 0.013605 0.015978 0.016002 0.015726 0.013563 0.014694 0.014208 0.014965 0.015256 0.014350 0.012877 0.013486 0.012884 0.013726 0.014562 0.014501 0.014117 0.012406 0.012995 0.012479 0.014351 0.014694 0.013767 0.011788 0.012470 0.012095 0.014746 0.014640 0.013836 0.012198 0.012596 0.012382 0.013507 0.014326 0.013278 0.011485 0.012442 0.011796 0.013878 0.014012 0.013129 0.011383 0.011866 0.011431 0.011954 0.014422 0.015593 0.014991 0.013608 0.014617 0.013897 0.014613 0.014954 0.015051 0.013345 0.013512 0.014061 0.014671 0.015423 0.014496 0.013038 0.013678 0.013061 0.015153 0.015250 0.014400 0.012852 0.013047 0.013321 0.014788 0.015356 0.014490 0.012864 0.012762 0.012510 0.014717 0.015044 0.013956 0.011995 0.012453 0.012354 0.014573 0.015061 0.013921 0.011567 0.012554 0.011923 0.013451 0.014277 0.013444 0.011139 0.011878 0.011250 0.015080 0.015377 0.015319 0.013714 0.014511 0.013129 0.015013 0.015016 0.014693 0.013504 0.013307 0.013224 0.014720 0.014632 0.015902 0.015444 0.014922 0.013040 0.014486 0.013810 0.015016 0.015134 0.014176 0.013215 0.013465 0.013321 0.014731 0.014694 0.014346 0.012623 0.013381 0.012903 0.014167 0.013973 0.014136 0.012425 0.013250 0.012942 0.013608 0.013898 0.013297 0.012064 0.012498 0.012145 0.014149 0.014291 0.013879 0.012196 0.012963 0.012201 0.013838 0.013667 0.013539 0.012485 0.012769 0.012368 0.013268 0.013260 0.013284 0.011339 0.011655 0.011429 0.012988 0.012651 0.013101 0.012484 0.011296 0.011436 0.011380 0.012186 0.013223 0.013774 0.013282 0.011375 0.011730 0.011464 0.012622 0.011337 0.012732 0.012853 0.011997 0.010911 0.011092 0.010906 0.012432 0.012737 0.011932 0.010622 0.010774 0.010444 0.012098 0.012022 0.011703 0.010172 0.011254 0.010835 0.011849 0.012121 0.011645 0.010341 0.010698 0.010412 0.011748 0.012474 0.011348 0.010627 0.010420 0.010101 0.010748 0.010461 0.009994 0.008740 0.009159 0.008705 0.010321 0.010386 0.010197 0.008777 0.008960 0.009036 0.009720 0.010266 0.009535 0.008437 0.009110 0.008580 0.009553 0.011447 0.012159 0.011873 0.010041 0.010268 0.010574 0.011600 0.011740 0.011202 0.009855 0.010159 0.010066 0.009971 0.010463 0.009706 0.008520 0.009053 0.008616 0.010002 0.009812 0.009895 0.008537 0.008763 0.008549 0.009547 0.010169 0.009266 0.008192 0.008822 0.008537 0.008841 0.021681 0.023228 0.023381 0.020531 0.020666 0.021003 0.022599 0.022678 0.022127 0.020631 0.021679 0.020713 0.022592 0.022348 0.022504 0.020459 0.021784 0.020793 0.020321 0.021007 0.020979 0.018292 0.019226 0.018364 0.019967 0.020389 0.020189 0.018022 0.018995 0.018062 0.020051 0.020683 0.020053 0.018161 0.018592 0.017914 0.019892 0.019573 0.020153 0.017439 0.018641 0.017507 0.019020 0.019384 0.018550 0.017691 0.018503 0.017626 0.019313 0.019016 0.018600 0.017976 0.017803 0.017810 0.020171 0.020421 0.020166 0.018137 0.019752 0.018403 0.019991 0.020334 0.019944 0.018239 0.018205 0.018339 0.021112 0.020686 0.020573 0.018730 0.018962 0.017938 0.019096 0.018906 0.018999 0.016384 0.016993 0.016392 0.018196 0.018385 0.018312 0.016297 0.016920 0.016142 0.018012 0.017539 0.016957 0.016002 0.016017 0.016313 0.016549 0.017419 0.016622 0.014435 0.015598 0.014856 0.015949 0.016748 0.015448 0.014304 0.020249 0.020360 0.019934 0.017844 0.019209 0.018688 0.020081 0.019592 0.018914 0.017434 0.017719 0.017128 0.019377 0.018717 0.018088 0.017413 0.018067 0.016757 0.017478 0.018171 0.017540 0.016546 0.016516 0.016008 0.017882 0.017752 0.017364 0.016076 0.017048 0.016325 0.017769 0.018710 0.017565 0.015601 0.017219 0.015775 0.016695 0.017233 0.017057 0.015266 0.016131 0.015362 0.016800 0.017014 0.017106 0.015344 0.016446 0.015310 0.016738 0.016924 0.016707 0.014547 0.014991 0.014010 0.015917 0.016301 0.015177 0.014514 0.014770 0.014650 0.015878 0.015613 0.014783 0.013299 0.014692 0.014300 0.015268 0.014627 0.015020 0.013296 0.013660 0.013463 0.014695 0.015132 0.014592 0.013026 0.013791 0.013202 0.014273 0.014435 0.014282 0.012705 0.012408 0.012807 0.013663 0.014622 0.014100 0.012071 0.012882 0.012367 0.013527 0.014013 0.013556 0.012095 0.012416 0.012270 0.013403 0.013918 0.013439 0.011533 0.013538 0.014282 0.013457 0.012151 0.012909 0.012310 0.013811 0.013970 0.013782 0.012382 0.012492 0.012345 0.013636 0.014718 0.013585 0.011597 0.016591 0.017802 0.017379 0.014866 0.015939 0.015063 0.016194 0.016769 0.015803 0.014077 0.018863 0.019144 0.018744 0.017198 0.018173 0.017085 0.019066 0.019052 0.017889 0.016724 0.018401 0.018344 0.017932 0.016437 0.016792 0.016306 0.018465 0.018464 0.018261 0.016519 0.018543 0.018606 0.017781 0.017047 0.017041 0.016662 0.018043 0.017800 0.017275 0.015644 0.018599 0.017811 0.017504 0.015839 0.016652 0.016235 0.017041 0.018096 0.017654 0.015430 0.017863 0.018344 0.017563 0.016322 0.016684 0.016849 0.017880 0.017266 0.016728 0.014742 0.025115 0.025329 0.025454 0.022595 0.023453 0.023537 0.024425 0.024958 0.024430 0.021846 0.022470 0.022272 0.023927 0.024637 0.023636 0.020858 0.022200 0.021385 0.023096 0.023320 0.022929 0.020528 0.021281 0.020694 0.023192 0.023914 0.022831 0.021059 0.021391 0.020795 0.022354 0.022720 0.021979 0.020014 0.020837 0.020317 0.020552 0.020782 0.020177 0.018444 0.019088 0.018336 0.020583 0.020493 0.020205 0.019201 0.019039 0.018542 0.020002 0.020250 0.019554 0.018016 0.018322 0.018662 0.019926 0.019591 0.019083 0.017363 0.017750 0.017079 0.020172 0.020182 0.019990 0.018348 0.019028 0.018207 0.019063 0.018983 0.018870 0.016690 0.017431 0.017689 0.018645 0.018671 0.017778 0.016500 0.017337 0.015980 0.018234 0.017803 0.018037 0.016319 0.017018 0.016280 0.017290 0.017132 0.017530 0.015095 0.016360 0.015731 0.016282 0.017251 0.017382 0.014868 0.016314 0.015107 0.012904 0.012801 0.013191 0.011334 0.011911 0.011323 0.012685 0.012671 0.012693 0.011343 0.011507 0.011460 0.011656 0.012153 0.011773 0.010263 0.010685 0.010335 0.011590 0.011843 0.011615 0.009724 0.010371 0.009843 0.011578 0.011714 0.011256 0.009945 0.010159 0.009885 0.011200 0.012171 0.011509 0.009951 0.010154 0.009855 0.009798 0.011141 0.012758 0.011866 0.009949 0.012716 0.012676 0.012701 0.011291 0.012007 0.011149 0.011981 0.012447 0.012151 0.010858 0.011015 0.010771 0.010152 0.012889 0.012731 0.012530 0.011524 0.011706 0.011665 0.012787 0.012984 0.012615 0.011173 0.011975 0.011382 0.011331 0.012635 0.011879 0.009747 0.019908 0.019832 0.019427 0.017414 0.018136 0.017540 0.019206 0.019535 0.018868 0.017277 0.018155 0.017274 0.019899 0.020600 0.020616 0.018249 0.018741 0.018482 0.018355 0.018809 0.018484 0.017142 0.017138 0.017514 0.017687 0.018766 0.018306 0.015793 0.016661 0.015927 0.018432 0.019396 0.019247 0.016727 0.018023 0.017074 0.016940 0.017078 0.016544 0.015687 0.015940 0.016131 0.016760 0.016970 0.016782 0.015537 0.016322 0.015644 0.017423 0.017766 0.017406 0.015389 0.015897 0.014980 0.016679 0.017341 0.016864 0.015866 0.016264 0.016594 0.016947 0.017638 0.017138 0.015821 0.016138 0.015293 0.017276 0.017168 0.016674 0.014638 0.014965 0.015199 0.015495 0.015758 0.015513 0.013354 0.013425 0.012968 0.014232 0.015252 0.014805 0.013555 0.014134 0.013740 0.015067 0.014571 0.014080 0.013163 0.013729 0.013526 0.014131 0.014394 0.014339 0.012963 0.013121 0.012730 0.013992 0.015097 0.013876 0.012239 0.013157 0.012517 0.013983 0.014454 0.013813 0.012119 0.012853 0.012157 0.013125 0.013641 0.012441 0.018300 0.018736 0.018273 0.016458 0.018080 0.016971 0.018716 0.018971 0.018025 0.016851 0.017243 0.016139 0.017540 0.018185 0.017048 0.015793 0.016045 0.015879 0.016991 0.017720 0.016575 0.015315 0.015619 0.015565 0.016851 0.017106 0.016017 0.014187 0.015585 0.015122 0.015518 0.015335 0.015725 0.014202 0.014799 0.014416 0.014875 0.015340 0.014931 0.013584 0.013647 0.013293 0.014324 0.014847 0.014195 0.013197 0.013137 0.012699 0.013996 0.014133 0.013809 0.012072 0.012784 0.012474 0.013745 0.014334 0.013818 0.011974 0.012898 0.012317 0.012508 0.013193 0.012406 0.010902 0.011757 0.011060 0.012494 0.012729 0.012300 0.010746 0.011100 0.011051 0.011733 0.012478 0.012340 0.010470 0.010731 0.010451 0.011606 0.022576 0.023754 0.023768 0.021342 0.022639 0.021905 0.022416 0.022696 0.022210 0.020099 0.021110 0.020473 0.021985 0.022649 0.021964 0.020041 0.020684 0.020271 0.020453 0.020655 0.019989 0.018458 0.018979 0.018684 0.019983 0.020284 0.020583 0.018024 0.018762 0.018717 0.020181 0.021027 0.019869 0.018134 0.019696 0.018250 0.020579 0.020768 0.019735 0.017993 0.018712 0.017909 0.019236 0.019174 0.018719 0.017367 0.018256 0.017274 0.018861 0.019097 0.018548 0.016798 0.017366 0.017012 0.018176 0.017851 0.017265 0.016039 0.016031 0.016129 0.017125 0.017957 0.017069 0.016530 0.016192 0.015351 0.016540 0.017382 0.016203 0.014324 0.015722 0.015549 0.014380 0.014727 0.014072 0.012440 0.010213 0.058928 0.017642 0.018028 0.015637 0.017458 0.016249 0.017334 0.068660 0.018708 0.018654 0.017924 0.019795 0.017998 0.019136 0.057606 0.016602 0.017350 0.015673 0.017174 0.015764 0.017767 0.056657 0.016207 0.017030 0.015571 0.017499 0.015732 0.016534 0.053325 0.014629 0.015579 0.013613 0.015371 0.014256 0.015754 0.052312 0.014787 0.015628 0.013241 0.015731 0.014478 0.016020 0.050547 0.014371 0.013804 0.013227 0.013830 0.013262 0.014390 0.049241 0.013644 0.013893 0.012795 0.014514 0.012997 0.013597 0.047624 0.013004 0.013586 0.011906 0.013508 0.011944 0.013410 0.010301 0.011410 0.009596 0.009051 0.044574 0.050675 0.014040 0.013955 0.012463 0.014055 0.013361 0.013927 0.044065 0.048844 0.013669 0.014391 0.012519 0.014507 0.012699 0.014117 0.042586 0.047368 0.012569 0.013102 0.011874 0.013729 0.012098 0.013483 0.042820 0.048430 0.013415 0.013834 0.044658 0.012237 0.013946 0.012617 0.013808 0.042905 0.047649 0.013087 0.013043 0.043612 0.012400 0.013956 0.012153 0.013267 0.040848 0.045361 0.012163 0.012798 0.041800 0.011944 0.013045 0.011490 0.012961 0.043093 0.047223 0.012721 0.013773 0.042694 0.012277 0.013502 0.012489 0.013146 0.042349 0.046755 0.012991 0.013386 0.042468 0.012007 0.013284 0.011729 0.013375 0.041017 0.046741 0.011789 0.012865 0.040721 0.011406 0.012887 0.011168 0.012585 0.037283 0.010834 0.011263 0.037696 0.010003 0.011495 0.010510 0.011785 0.009699 0.010264 0.009573 0.010614 0.009421 0.011047 0.008731 0.009444 0.008518 0.041153 0.045526 0.012560 0.012589 0.041894 0.011605 0.013007 0.011837 0.012605 0.040352 0.044053 0.011756 0.012117 0.040160 0.011069 0.012696 0.010754 0.012370 0.036925 0.010411 0.011299 0.037008 0.010084 0.011463 0.009756 0.011010 0.009386 0.009748 0.046932 0.051993 0.014215 0.015009 0.047188 0.014080 0.015819 0.013638 0.014474 0.045815 0.050719 0.014291 0.014204 0.046353 0.013429 0.015060 0.013679 0.015276 0.043505 0.047435 0.013158 0.014197 0.043805 0.012505 0.014083 0.012458 0.013558 0.042699 0.046830 0.013458 0.014091 0.042276 0.012715 0.013892 0.012334 0.013571 0.041818 0.045703 0.012648 0.013522 0.041995 0.011890 0.014214 0.011884 0.013019 0.041260 0.045153 0.012591 0.012557 0.041457 0.011769 0.013364 0.011707 0.013020 0.039998 0.044137 0.011947 0.012477 0.040393 0.011127 0.012670 0.011160 0.012451 0.036271 0.010347 0.011259 0.017481 0.009881 0.011762 0.010090 0.011016 0.008105 0.008642 0.007436 0.008994 0.007443 0.009399 0.046001 0.047564 0.051162 0.013062 0.012777 0.047427 0.012325 0.013477 0.011553 0.012872 0.039705 0.040002 0.011018 0.011778 0.040150 0.010246 0.012035 0.010467 0.011741 0.007835 0.009393 0.007867 0.039706 0.046447 0.051136 0.014333 0.014969 0.047442 0.014240 0.015758 0.013929 0.015169 0.053989 0.052775 0.059733 0.014786 0.014879 0.054238 0.013972 0.015601 0.013757 0.015149 0.034907 0.039772 0.040118 0.012112 0.012038 0.039644 0.010968 0.012427 0.010819 0.012158 0.032880 0.036717 0.010280 0.010686 0.006899 0.009226 0.011077 0.009722 0.010781 0.006634 0.009138 0.010346 0.008523 0.009778 0.010676 0.009172 0.008271 0.054476 0.066531 0.073793 0.068819 0.022338 0.023692 0.067186 0.021505 0.023229 0.021410 0.022896 0.076608 0.076521 0.083789 0.069755 0.022144 0.022974 0.076897 0.021272 0.023694 0.021621 0.023033 0.053200 0.063759 0.071114 0.069019 0.021668 0.023155 0.064694 0.020592 0.023015 0.020845 0.022964 0.056145 0.062177 0.061631 0.017941 0.018489 0.056605 0.017073 0.018273 0.017349 0.019080 0.064769 0.071261 0.061435 0.018089 0.018751 0.065827 0.018047 0.018706 0.016696 0.019047 0.047877 0.052957 0.053689 0.015064 0.014758 0.047941 0.013746 0.015054 0.012867 0.015384 0.043786 0.048113 0.047078 0.013793 0.013802 0.043629 0.012342 0.013774 0.012351 0.013425 0.036582 0.042845 0.049151 0.045919 0.013380 0.013062 0.042818 0.011936 0.013152 0.011801 0.012920 0.045849 0.050785 0.050885 0.014413 0.014299 0.046846 0.012959 0.014313 0.012903 0.014221 0.041543 0.045679 0.044810 0.012629 0.012627 0.042173 0.011525 0.013137 0.011721 0.012574 0.035827 0.041180 0.045258 0.044980 0.012412 0.012342 0.041186 0.011193 0.012586 0.011205 0.012315 0.046470 0.012784 0.012712 0.012089 0.013164 0.011452 0.012675 0.040959 0.011478 0.011061 0.010015 0.011490 0.009866 0.011321 0.036784 0.039414 0.011248 0.010911 0.017070 0.009780 0.011090 0.009953 0.010870 0.038396 0.010315 0.010712 0.009137 0.010638 0.009030 0.010373 0.036808 0.010161 0.010258 0.009222 0.011096 0.009350 0.010229 0.036183 0.010024 0.010218 0.008842 0.010256 0.009065 0.010052 0.006264 0.009528 0.010158 0.008933 0.010397 0.009046 0.010207 0.007801 0.007926 0.006450 0.038816 0.010495 0.010717 0.006371 0.009691 0.010644 0.009498 0.010893 0.038132 0.010482 0.010376 0.008972 0.010567 0.009555 0.011007 0.006095 0.009224 0.009649 0.008568 0.010249 0.008797 0.009748 0.008869 0.009351 0.008270 0.009964 0.008501 0.009381 0.005990 0.008580 0.009512 0.008349 0.009404 0.039478 0.010923 0.011191 0.009659 0.011815 0.010286 0.011315 0.038313 0.010423 0.011110 0.009150 0.010961 0.009234 0.010827 0.037581 0.010049 0.010776 0.009075 0.010416 0.009367 0.010191 0.006118 0.009118 0.009961 0.009022 0.010219 0.008778 0.010101 0.006130 0.009493 0.010234 0.009073 0.010453 0.009000 0.010320 0.006046 0.008622 0.009484 0.008238 0.009145 0.037646 0.010593 0.010092 0.008986 0.010782 0.009047 0.010363 0.036518 0.009889 0.010237 0.008722 0.010332 0.008627 0.010010 0.006318 0.008539 0.009295 0.008349 0.009810 0.008321 0.009535 0.007997 0.009509 0.008011 0.009299 0.007848 0.009272 0.008048 0.008943 0.007611 0.009372 0.007796 0.009254 0.008236 0.009317 0.007949 0.008680 0.036497 0.010191 0.010073 0.008934 0.010097 0.008637 0.009922 0.008083 0.008852 0.007896 0.009321 0.008035 0.008762 0.008021 0.008633 0.008107 0.009492 0.007869 0.008990 0.007302 0.008252 0.006782 0.008602 0.008997 0.008008 0.009283 0.008015 0.009187 0.008164 0.008760 0.008142 0.009702 0.008184 0.008806 0.006584 0.007646 0.006346 0.046077 0.012708 0.012682 0.011460 0.012851 0.011636 0.012515 0.039270 0.043402 0.043954 0.012146 0.011824 0.040170 0.011013 0.011944 0.010575 0.011597 0.033572 0.038899 0.006817 0.041513 0.011374 0.011411 0.038539 0.010210 0.012067 0.010634 0.011429 0.037137 0.040577 0.010896 0.010938 0.038036 0.010056 0.011521 0.010027 0.010812 0.006519 0.009224 0.010097 0.008863 0.010283 0.008787 0.009894 0.006045 0.009220 0.009702 0.008701 0.010221 0.008959 0.009385 0.006217 0.008818 0.009224 0.008314 0.009760 0.008135 0.009132 0.007831 0.008120 0.038437 0.010701 0.010366 0.009465 0.010693 0.009703 0.010421 0.006349 0.007781 0.008821 0.007517 0.008481 0.044818 0.012296 0.012506 0.010788 0.045731 0.054873 0.060745 0.059932 0.017064 0.018114 0.055676 0.016846 0.018581 0.016368 0.018173 0.044770 0.053022 0.059987 0.060746 0.017351 0.017250 0.054339 0.016236 0.018391 0.015848 0.017006 0.043891 0.051572 0.056695 0.054780 0.016003 0.016067 0.050991 0.014820 0.016551 0.014928 0.016799 0.042799 0.050992 0.055094 0.054104 0.016096 0.016513 0.049716 0.015351 0.044723 0.054359 0.060031 0.062109 0.018121 0.018097 0.054669 0.016160 0.017742 0.016578 0.017615 0.043667 0.052985 0.057299 0.060990 0.017099 0.017248 0.053699 0.015388 0.017263 0.015136 0.017217 0.060692 0.065728 0.065840 0.058786 0.016901 0.016679 0.061063 0.015836 0.017306 0.015087 0.017057 0.043046 0.050343 0.055652 0.053534 0.016063 0.016684 0.053804 0.014931 0.016833 0.014349 0.016528 0.045071 0.054123 0.059472 0.060603 0.016772 0.016790 0.054206 0.016737 0.017736 0.015745 0.018199 0.044400 0.052197 0.057988 0.060473 0.017120 0.017060 0.053230 0.015089 0.017209 0.014813 0.017331 0.042645 0.050104 0.055488 0.053645 0.015418 0.016136 0.050864 0.014663 0.016796 0.015102 0.016138 0.039296 0.046082 0.050070 0.050892 0.013994 0.014292 0.045719 0.012712 0.013698 0.042060 0.049693 0.054385 0.055379 0.015063 0.016139 0.050026 0.015159 0.015758 0.014457 0.015983 0.056148 0.056349 0.062201 0.054801 0.016118 0.015371 0.057101 0.014900 0.015554 0.014259 0.015116 0.040146 0.047573 0.052845 0.053981 0.015561 0.015524 0.048215 0.014250 0.015575 0.013849 0.014692 0.037284 0.042947 0.047288 0.047057 0.013366 0.013235 0.042972 0.012118 0.013088 0.048159 0.053824 0.053528 0.015211 0.015770 0.048834 0.014716 0.015916 0.013763 0.015673 0.040111 0.047498 0.052464 0.052108 0.014479 0.014190 0.047416 0.013723 0.015173 0.014222 0.015115 0.040051 0.046488 0.051428 0.051981 0.014798 0.015028 0.047026 0.013665 0.015139 0.013483 0.014698 0.037579 0.042702 0.046686 0.045984 0.013054 0.013025 0.042911 0.011695 0.013043 0.037394 0.043895 0.047580 0.047184 0.013369 0.013352 0.044006 0.011986 0.039786 0.045647 0.050680 0.051682 0.014426 0.014373 0.046277 0.013016 0.014576 0.013358 0.014320 0.034687 0.039909 0.043982 0.042098 0.011750 0.012231 0.039902 0.010449 0.012109 0.010798 0.011910 0.006488 0.037865 0.010294 0.010746 0.006504 0.008998 0.010926 0.009061 0.010300 0.006256 0.008815 0.010343 0.008605 0.009469 0.037805 0.044069 0.048288 0.047590 0.013949 0.013560 0.044252 0.012319 0.014029 0.012142 0.013594 0.006654 0.006664 0.037371 0.010168 0.010430 0.006489 0.008989 0.009892 0.035669 0.041224 0.045297 0.043972 0.012297 0.012314 0.041437 0.011086 0.012553 0.010901 0.012444 0.034058 0.039502 0.043384 0.041260 0.011811 0.011948 0.039351 0.010711 0.012195 0.010769 0.011651 0.033254 0.038232 0.040525 0.010885 0.011145 0.037630 0.010181 0.011673 0.009836 0.010937 0.007062 0.036797 0.039014 0.011131 0.010872 0.006947 0.009261 0.051452 0.057091 0.057701 0.016285 0.015769 0.052617 0.015010 0.016421 0.014511 0.017331 0.043103 0.050797 0.055474 0.054376 0.016299 0.015764 0.051210 0.015091 0.016930 0.015301 0.016602 0.058247 0.067320 0.054222 0.015298 0.016420 0.059742 0.015668 0.015862 0.014317 0.015504 0.042564 0.050533 0.056216 0.058145 0.015946 0.016859 0.051008 0.015050 0.016098 0.015731 0.016346 0.044278 0.046605 0.051193 0.050399 0.014438 0.014661 0.046106 0.012364 0.014751 0.013105 0.014951 0.036694 0.042098 0.051567 0.045437 0.013057 0.012844 0.042249 0.011903 0.013362 0.011758 0.012989 0.035216 0.040044 0.044297 0.043784 0.012154 0.012651 0.040500 0.010949 0.012825 0.010965 0.012264 0.034951 0.039894 0.043645 0.042804 0.012005 0.012629 0.040239 0.011051 0.012395 0.010796 0.012263 0.006111 0.008942 0.009904 0.008235 0.034076 0.039028 0.043870 0.042546 0.012079 0.012260 0.039436 0.011147 0.012486 0.010980 0.012083 0.034234 0.038913 0.043564 0.042574 0.011759 0.012126 0.040429 0.011003 0.012577 0.010748 0.012188 0.033358 0.038011 0.039864 0.011526 0.011408 0.038220 0.010289 0.040168 0.047990 0.053294 0.054691 0.015848 0.015036 0.048544 0.014009 0.016154 0.014973 0.015486 0.040973 0.047531 0.051875 0.053602 0.015621 0.015585 0.047477 0.014559 0.016235 0.014775 0.015605 0.040890 0.047631 0.052711 0.053879 0.015680 0.015825 0.048283 0.014359 0.016165 0.014605 0.014694 0.039268 0.045956 0.051560 0.051956 0.014830 0.014181 0.046187 0.013304 0.014558 0.013137 0.014212 0.037103 0.043265 0.048184 0.048358 0.013543 0.013128 0.044401 0.012583 0.013396 0.012147 0.013396 0.034928 0.040517 0.044485 0.041872 0.012518 0.012118 0.040988 0.011248 0.012342 0.010665 0.012041 0.033699 0.038493 0.041132 0.011938 0.011646 0.038949 0.010225 0.011613 0.010286 0.011246 0.037749 0.040695 0.011092 0.011227 0.038020 0.009932 0.011378 0.009898 0.011108 0.041458 0.049102 0.054888 0.054561 0.015870 0.015908 0.050019 0.014349 0.016128 0.014572 0.016212 0.047358 0.051808 0.051998 0.014727 0.015232 0.047296 0.013668 0.015389 0.013407 0.015082 0.046755 0.052584 0.051656 0.016067 0.015493 0.048085 0.014786 0.015531 0.014118 0.015833 0.037563 0.044601 0.048851 0.048643 0.013512 0.013680 0.044609 0.012314 0.014129 0.012165 0.014020 0.036424 0.041881 0.046646 0.046091 0.012715 0.012591 0.041951 0.011484 0.012498 0.011360 0.012529 0.034411 0.039706 0.006913 0.042321 0.011276 0.011963 0.039983 0.010383 0.011962 0.010421 0.011656 0.006724 0.037666 0.009826 0.010133 0.006637 0.008861 0.010258 0.055820 0.061958 0.060586 0.017648 0.017624 0.055642 0.016625 0.018972 0.017046 0.018843 0.059150 0.018069 0.018640 0.016675 0.018649 0.016499 0.018286 0.051759 0.015730 0.015299 0.014002 0.014646 0.014294 0.015887 0.047308 0.052217 0.053226 0.015680 0.015814 0.047210 0.014845 0.015850 0.014310 0.015378 0.050288 0.014349 0.014163 0.013119 0.014206 0.012966 0.014249 0.044444 0.012787 0.012311 0.010959 0.012537 0.011010 0.012641 0.054865 0.014537 0.015159 0.013810 0.014875 0.012791 0.015441 0.052542 0.014116 0.015191 0.014087 0.015211 0.013965 0.014539 0.045848 0.050548 0.051522 0.014360 0.014414 0.046451 0.013019 0.014156 0.013070 0.013912 0.051732 0.057214 0.050313 0.014079 0.014329 0.052816 0.013552 0.014259 0.012772 0.013695 0.042406 0.011795 0.011589 0.010562 0.012139 0.010334 0.012225 0.041516 0.011272 0.011824 0.010760 0.011575 0.010097 0.011074 0.044212 0.049957 0.050338 0.013964 0.014202 0.045971 0.012679 0.014656 0.012920 0.013855 0.040145 0.010899 0.011207 0.010216 0.011095 0.009977 0.010768 0.039575 0.011251 0.010820 0.009843 0.011202 0.009702 0.010871 0.039272 0.010790 0.010630 0.009372 0.010870 0.009656 0.010453 0.038243 0.010416 0.010370 0.009374 0.010591 0.009174 0.010408 0.008321 0.008744 0.008214 0.009598 0.007996 0.008982 0.008075 0.008546 0.007998 0.008920 0.008013 0.008607 0.008080 0.008396 0.007873 0.008847 0.007912 0.008686 0.007867 0.008290 0.007361 0.008894 0.007671 0.008520 0.007791 0.008673 0.007558 0.008282 0.007564 0.008397 0.007439 0.008023 0.007556 0.008314 0.007621 0.008344 0.006852 0.006967 0.037247 0.043878 0.048673 0.048447 0.013653 0.013931 0.044079 0.012507 0.014165 0.012119 0.013810 0.042578 0.047541 0.047167 0.013594 0.013282 0.043036 0.012156 0.013326 0.011690 0.013217 0.036201 0.041098 0.045798 0.044821 0.012497 0.012808 0.041994 0.011202 0.012916 0.011074 0.012240 0.040602 0.045096 0.044423 0.012379 0.013144 0.040871 0.011269 0.012663 0.011123 0.012143 0.039899 0.044320 0.043257 0.011932 0.012403 0.039449 0.011160 0.012354 0.010610 0.011910 0.006753 0.008808 0.009644 0.008593 0.009911 0.008503 0.009581 0.008486 0.009210 0.008850 0.009678 0.008420 0.009291 0.006982 0.007457 0.037020 0.010233 0.010308 0.008856 0.010611 0.009057 0.010110 0.041330 0.046238 0.046225 0.012744 0.012778 0.042221 0.011654 0.013146 0.011571 0.012622 0.006784 0.006346 0.039002 0.010811 0.010947 0.006713 0.009020 0.046859 0.048860 0.048166 0.013952 0.014235 0.044515 0.012495 0.014166 0.012473 0.014166 0.049628 0.055295 0.048174 0.014031 0.013756 0.050197 0.013287 0.014229 0.012505 0.013647 0.045981 0.050813 0.043938 0.012226 0.012401 0.046393 0.011776 0.012472 0.011020 0.012332 0.009040 0.009701 0.008586 0.034060 0.038664 0.006885 0.042166 0.011813 0.011651 0.039527 0.010546 0.012660 0.010674 0.011839 0.043579 0.043792 0.041762 0.011382 0.011669 0.043603 0.011087 0.012152 0.010687 0.011884 0.008145 0.008807 0.007214 0.006110 0.008885 0.010297 0.008539 0.054298 0.016411 0.015501 0.014548 0.016596 0.014780 0.015578 0.054070 0.015792 0.015637 0.013706 0.014930 0.014388 0.015868 0.055422 0.060130 0.053519 0.015205 0.015301 0.055927 0.013508 0.015629 0.013858 0.015078 0.054554 0.055410 0.060515 0.052678 0.015025 0.014902 0.055391 0.013319 0.015139 0.013686 0.014215 0.049824 0.051375 0.056013 0.048169 0.013587 0.013570 0.050936 0.013001 0.013845 0.012375 0.013615 0.045677 0.047009 0.052037 0.043892 0.012826 0.012610 0.047266 0.011989 0.012725 0.011383 0.012278 0.040187 0.019113 0.041988 0.011874 0.011507 0.040806 0.010435 0.011499 0.010610 0.011310 0.033330 0.037390 0.039736 0.011385 0.010977 0.037240 0.009907 0.052060 0.016573 0.017124 0.015165 0.016311 0.015616 0.016888 0.054230 0.015031 0.014855 0.013180 0.015441 0.014203 0.015547 0.049810 0.015653 0.014182 0.013641 0.014945 0.013737 0.014980 0.051951 0.057320 0.049142 0.014264 0.013873 0.052055 0.013484 0.014616 0.012981 0.014148 0.050937 0.051916 0.057223 0.050550 0.014357 0.014020 0.052127 0.013858 0.014386 0.012881 0.014344 0.037229 0.043189 0.047561 0.047010 0.013543 0.013564 0.044012 0.012166 0.013311 0.051067 0.059051 0.048163 0.014614 0.013866 0.051369 0.013651 0.014076 0.012722 0.013905 0.050068 0.056319 0.047988 0.013726 0.013546 0.050602 0.012946 0.013379 0.012476 0.013264 0.033525 0.037982 0.039097 0.011269 0.011100 0.038139 0.009812 0.011175 0.034744 0.039486 0.043601 0.042026 0.011642 0.011604 0.040162 0.010951 0.050318 0.014610 0.014949 0.013041 0.015459 0.013910 0.014856 0.044539 0.049227 0.049133 0.013849 0.013946 0.044388 0.012939 0.014260 0.013113 0.013786 0.041217 0.045804 0.045169 0.012724 0.012780 0.042099 0.011795 0.012743 0.038344 0.040938 0.011419 0.011352 0.037888 0.010008 0.011561 0.009951 0.010977 0.006360 0.008925 0.009639 0.009018 0.010522 0.008832 0.010064 0.008206 0.008769 0.007668 0.053688 0.060058 0.059708 0.017915 0.018199 0.054651 0.017014 0.017896 0.016632 0.017594 0.045002 0.053442 0.059449 0.059004 0.016880 0.017684 0.054163 0.016320 0.017687 0.016495 0.017775 0.042734 0.049965 0.054917 0.055973 0.016964 0.016619 0.051249 0.015427 0.017001 0.015291 0.016851 0.042392 0.049635 0.054597 0.056945 0.016572 0.016423 0.050258 0.015104 0.016461 0.014924 0.016420 0.041487 0.049207 0.053206 0.054319 0.015669 0.015915 0.049479 0.014171 0.016096 0.014480 0.015949 0.040814 0.047193 0.051406 0.050819 0.016058 0.015609 0.047004 0.014877 0.015835 0.014437 0.015046 0.039147 0.043529 0.048175 0.046828 0.013843 0.013707 0.043427 0.012637 0.013837 0.012534 0.013648 0.036896 0.042582 0.047181 0.045614 0.013997 0.013504 0.042797 0.012753 0.014636 0.012405 0.013386 0.036637 0.041675 0.046418 0.045473 0.013135 0.013096 0.042225 0.012000 0.013018 0.011911 0.013146 0.041259 0.048122 0.052829 0.053600 0.015440 0.015610 0.048454 0.014278 0.015221 0.013531 0.016230 0.049582 0.050745 0.054542 0.053224 0.015633 0.015432 0.050820 0.014418 0.015611 0.014055 0.015431 0.036524 0.041952 0.046143 0.046468 0.013018 0.013149 0.042188 0.011945 0.012903 0.011545 0.012743 0.006453 0.009088 0.009957 0.008603 0.010111 0.008478 0.010001 0.006223 0.008031 0.009115 0.007901 0.009706 0.008118 0.009375 0.035968 0.041286 0.045562 0.044752 0.012553 0.012759 0.040927 0.011406 0.012706 0.011328 0.012331 0.006278 0.007968 0.008781 0.007898 0.009464 0.007717 0.009199 0.008040 0.008592 0.007573 0.009007 0.007701 0.009038 0.007287 0.008587 0.007119 0.008870 0.007102 0.008481 0.007344 0.008188 0.007766 0.008417 0.006869 0.008190 0.007311 0.008114 0.006608 0.007054 0.007903 0.006864 0.008676 0.006863 0.007935 0.006837 0.007716 0.006691 0.007956 0.006534 0.008280 0.006504 0.007363 0.006656 0.006684 0.007668 0.006789 0.008379 0.006876 0.008013 0.006836 0.007205 0.006593 0.007847 0.006611 0.007413 0.006524 0.007004 0.006327 0.006495 0.006660 0.035432 0.040209 0.044655 0.044232 0.012293 0.012387 0.040557 0.011065 0.012284 0.010875 0.012233 0.034322 0.039005 0.043434 0.045866 0.011792 0.011777 0.040000 0.010946 0.011973 0.010527 0.011817 0.033946 0.038974 0.019407 0.040400 0.011812 0.011506 0.038615 0.010807 0.011585 0.010688 0.011388 0.007828 0.008616 0.007284 0.009104 0.007489 0.008733 0.008006 0.008339 0.007633 0.009015 0.007809 0.008728 0.007523 0.008043 0.006803 0.050429 0.051743 0.052082 0.015324 0.015051 0.047004 0.014268 0.015335 0.013980 0.015206 0.041508 0.044565 0.049498 0.049435 0.014364 0.013618 0.044578 0.013273 0.013620 0.012856 0.014015 0.049823 0.051159 0.056465 0.048451 0.014283 0.013867 0.051048 0.013515 0.014302 0.012773 0.013340 0.036095 0.041538 0.044835 0.044034 0.012731 0.012618 0.041359 0.011689 0.012688 0.011635 0.012715 0.035642 0.040929 0.044926 0.043037 0.012688 0.012313 0.040985 0.011523 0.012572 0.011293 0.012520 0.034361 0.038952 0.041824 0.012359 0.011823 0.039616 0.010799 0.012105 0.011009 0.011737 0.006655 0.008728 0.009635 0.008370 0.009889 0.008493 0.009651 0.008192 0.009212 0.007681 0.009001 0.036192 0.042513 0.046733 0.046738 0.013721 0.013380 0.043361 0.012476 0.013833 0.012343 0.013369 0.007730 0.008153 0.007492 0.008686 0.007198 0.008637 0.007264 0.007751 0.036208 0.041556 0.045961 0.046152 0.013415 0.013101 0.041974 0.012089 0.013205 0.012195 0.013307 0.009615 0.009900 0.008739 0.059436 0.060597 0.066756 0.058340 0.016617 0.017233 0.061438 0.016535 0.017005 0.015865 0.016696 0.042584 0.012160 0.012285 0.010475 0.012202 0.010612 0.011710 0.006904 0.007542 0.066518 0.068640 0.056763 0.016305 0.017228 0.068776 0.016209 0.016942 0.015161 0.017377 0.053452 0.053143 0.061421 0.051349 0.015070 0.014961 0.053423 0.013899 0.015137 0.013781 0.015428 0.051349 0.053151 0.059316 0.050264 0.015258 0.014540 0.053200 0.014043 0.014092 0.013492 0.014526 0.049753 0.051119 0.055129 0.047690 0.014051 0.013933 0.051976 0.013714 0.063909 0.073314 0.068412 0.021830 0.022727 0.065500 0.021375 0.023195 0.020857 0.022285 0.075224 0.081841 0.067717 0.021872 0.022559 0.075371 0.021095 0.023225 0.021829 0.022732 0.052098 0.063212 0.069243 0.066282 0.020941 0.022153 0.063484 0.019656 0.023208 0.020157 0.022143 0.072811 0.073123 0.079977 0.065591 0.020991 0.021710 0.073174 0.020421 0.021771 0.019640 0.022023 0.082085 0.110950 0.122522 0.066135 0.021616 0.022234 0.113445 0.021007 0.022233 0.020906 0.022663 0.069826 0.076463 0.062564 0.019508 0.020362 0.070028 0.018731 0.020366 0.018873 0.020171 0.068159 0.075421 0.062302 0.019393 0.019464 0.068132 0.018404 0.019989 0.018416 0.019968 0.056870 0.016311 0.017037 0.015779 0.016901 0.015161 0.017480 0.052667 0.063229 0.053087 0.014487 0.014959 0.054028 0.014404 0.015182 0.013081 0.014986 0.050589 0.050639 0.055428 0.048929 0.014005 0.013776 0.050792 0.013336 0.050447 0.014489 0.014512 0.013049 0.014247 0.013088 0.014165 0.049697 0.014017 0.013583 0.012605 0.013768 0.012627 0.013815 0.006934 0.009001 0.010264 0.008830 0.011123 0.008937 0.009816 0.006116 0.009063 0.009817 0.008455 0.010477 0.008498 0.009702 0.006216 0.008503 0.009847 0.008439 0.010005 0.008305 0.008953 0.007155 0.007849 0.006959 0.007725 0.006763 0.007565 0.006807 0.007321 0.006637 0.007906 0.006726 0.007448 0.006672 0.007466 0.006501 0.007867 0.006450 0.007497 0.006546 0.007139 0.006318 0.007857 0.009053 0.007552 0.009816 0.007437 0.008475 0.005835 0.005085 0.006051 0.009556 0.010512 0.009176 0.010863 0.009189 0.010074 0.006070 0.008720 0.009643 0.008571 0.010235 0.008460 0.009472 0.007478 0.008878 0.007204 0.009884 0.007388 0.008715 0.006057 0.008999 0.010089 0.008643 0.010107 0.008665 0.009757 0.006178 0.008599 0.009723 0.008208 0.010089 0.008359 0.009546 0.006100 0.008538 0.009656 0.007959 0.010184 0.008193 0.009545 0.006853 0.007700 0.006844 0.008235 0.006514 0.007311 0.014199 0.055057 0.069573 0.073631 0.071548 0.023069 0.024728 0.068062 0.022017 0.024787 0.074546 0.022543 0.024529 0.054628 0.066932 0.073606 0.075264 0.022069 0.023893 0.067405 0.021934 0.024616 0.073923 0.022132 0.024064 0.077685 0.077941 0.087111 0.075964 0.024418 0.025664 0.079617 0.023671 0.025243 0.124029 0.023554 0.025648 0.075326 0.102074 0.110038 0.072786 0.022280 0.022680 0.104327 0.021471 0.023819 0.123460 0.021625 0.022930 0.074279 0.075483 0.083232 0.075524 0.021958 0.022801 0.075026 0.020968 0.023422 0.120524 0.020884 0.023083 0.076297 0.127545 0.136096 0.072873 0.021729 0.023051 0.128574 0.021050 0.022484 0.122388 0.020793 0.022735 0.077194 0.124380 0.135196 0.072513 0.021762 0.022528 0.125938 0.021108 0.023453 0.121495 0.021830 0.023085 0.108443 0.127847 0.142791 0.074941 0.020819 0.022917 0.129235 0.020608 0.022834 0.119624 0.020714 0.023240 0.105979 0.131310 0.147285 0.074897 0.021838 0.021770 0.132911 0.020949 0.022995 0.118527 0.020904 0.022397 0.084129 0.105400 0.114944 0.068604 0.019339 0.019847 0.104305 0.018806 0.020582 0.111459 0.018605 0.019923 0.081906 0.092987 0.103193 0.067493 0.019250 0.020327 0.095199 0.018409 0.020140 0.108771 0.018793 0.019848 0.074010 0.096054 0.102094 0.063678 0.018368 0.018322 0.095811 0.017397 0.018696 0.101642 0.017200 0.018313 0.063255 0.062410 0.068976 0.061796 0.017786 0.018071 0.063615 0.016846 0.017709 0.073675 0.016285 0.017410 0.063868 0.063169 0.069187 0.060802 0.017244 0.017434 0.063723 0.016004 0.018395 0.074236 0.016180 0.018038 0.061053 0.061960 0.067870 0.059714 0.017126 0.017522 0.066784 0.015895 0.017029 0.071321 0.016320 0.017453 0.006951 0.008154 0.006778 0.009130 0.006685 0.008032 0.006459 0.007878 0.006491 0.057172 0.057325 0.062959 0.053874 0.015183 0.016188 0.057610 0.015141 0.016668 0.014557 0.016434 0.055944 0.057118 0.060657 0.054902 0.015739 0.016000 0.056968 0.014279 0.015393 0.014493 0.015984 0.063487 0.063675 0.069405 0.065679 0.017306 0.018035 0.064673 0.016695 0.017693 0.074359 0.016990 0.017977 0.063072 0.063397 0.070685 0.062494 0.017036 0.017676 0.063529 0.016622 0.018504 0.073679 0.016182 0.017446 0.063009 0.062805 0.068317 0.059000 0.016825 0.016810 0.062701 0.016169 0.017604 0.096302 0.016463 0.016757 0.062700 0.062805 0.068350 0.061392 0.017208 0.016917 0.062594 0.016965 0.017622 0.073642 0.016255 0.017383 0.061652 0.062301 0.067994 0.060235 0.016814 0.017353 0.062308 0.016728 0.017434 0.073663 0.015576 0.017475 0.062381 0.061709 0.066844 0.059565 0.017277 0.016579 0.061981 0.015607 0.016637 0.033022 0.014774 0.017373 0.057663 0.058401 0.063052 0.056853 0.014864 0.015922 0.058024 0.014560 0.016346 0.014073 0.015810 0.052482 0.053969 0.058683 0.053659 0.014108 0.013910 0.053534 0.013642 0.015027 0.012916 0.014512 0.060716 0.061408 0.067083 0.060791 0.016270 0.016439 0.061065 0.016486 0.017559 0.073172 0.015611 0.017212 0.061630 0.061835 0.067513 0.058311 0.016876 0.017204 0.062329 0.015183 0.017290 0.033382 0.014962 0.016356 0.056750 0.057675 0.062602 0.055037 0.014996 0.015573 0.057866 0.015008 0.016316 0.014798 0.016273 0.055618 0.056708 0.061826 0.054736 0.015176 0.015369 0.056408 0.014512 0.015834 0.013541 0.015254 0.050526 0.052220 0.056916 0.050310 0.013889 0.014241 0.052057 0.013241 0.014657 0.012618 0.013746 0.050340 0.051890 0.055737 0.049751 0.013739 0.014437 0.051368 0.013184 0.014898 0.012449 0.014129 0.006765 0.006503 0.006665 0.039572 0.010885 0.011369 0.006734 0.009225 0.049045 0.050495 0.054680 0.048801 0.013188 0.013531 0.050039 0.012593 0.013934 0.011905 0.013305 0.043461 0.043969 0.007411 0.040651 0.011064 0.012089 0.043868 0.010866 0.048394 0.049653 0.054203 0.046599 0.012948 0.013247 0.048994 0.012556 0.013756 0.011700 0.013062 0.006343 0.008112 0.009532 0.008042 0.058154 0.061065 0.065005 0.056195 0.016565 0.016468 0.058575 0.015580 0.016851 0.015139 0.017076 0.056978 0.080242 0.083654 0.055672 0.016145 0.016567 0.079227 0.015748 0.016837 0.014790 0.016440 0.054773 0.079896 0.084113 0.055594 0.015775 0.014974 0.079146 0.014329 0.016024 0.014525 0.015573 0.052618 0.061609 0.060090 0.049692 0.014447 0.014648 0.062491 0.013724 0.014989 0.013227 0.014434 0.048298 0.054107 0.053122 0.045255 0.013345 0.013738 0.054428 0.012542 0.013812 0.011801 0.012882 0.043769 0.043790 0.041205 0.011603 0.011812 0.044243 0.011157 0.012402 0.010388 0.011643 0.006531 0.008877 0.010033 0.009185 0.010600 0.008771 0.009973 0.043134 0.043427 0.040518 0.011054 0.011525 0.043394 0.010731 0.061210 0.062929 0.073728 0.060460 0.017421 0.017432 0.062328 0.016465 0.017202 0.072979 0.016565 0.017845 0.036156 0.041647 0.045854 0.044993 0.012076 0.012947 0.041222 0.011281 0.012409 0.011217 0.012269 0.034175 0.038884 0.006939 0.041579 0.011150 0.011934 0.039222 0.010214 0.012008 0.010105 0.011562 0.006037 0.008552 0.008920 0.061971 0.061950 0.067702 0.058268 0.016620 0.016591 0.062613 0.015415 0.017367 0.073272 0.015708 0.017990 0.035116 0.040454 0.007208 0.043090 0.011613 0.011710 0.040711 0.010736 0.011829 0.010187 0.011911 0.006578 0.006871 0.040685 0.010581 0.011223 0.006559 0.009607 0.011940 0.009811 0.010995 0.005973 0.008712 0.008513 0.044767 0.045964 0.007650 0.042229 0.011229 0.011415 0.045745 0.011390 0.011953 0.010132 0.011759 0.006803 0.039863 0.010600 0.010794 0.006870 0.009402 0.011355 0.009445 0.010614 0.006298 0.008696 0.009612 0.008125 0.006457 0.006800 0.006519 0.039965 0.010734 0.011014 0.006763 0.009415 0.011579 0.009585 0.010913 0.006653 0.006604 0.038322 0.010305 0.010960 0.006760 0.009090 0.011177 0.009404 0.011170 0.006072 0.008680 0.009065 0.006726 0.006344 0.006406 0.009008 0.009976 0.006713 0.008787 0.010427 0.008879 0.010238 0.006295 0.008232 0.008911 0.007142 0.007496 0.059773 0.060140 0.066659 0.057111 0.016012 0.017052 0.061583 0.015323 0.016434 0.008933 0.015103 0.017169 0.055686 0.057471 0.061163 0.055200 0.015205 0.015473 0.057977 0.014614 0.016210 0.014124 0.015638 0.055601 0.056939 0.060646 0.054161 0.015070 0.014661 0.056541 0.013594 0.016031 0.013822 0.015282 0.034450 0.039266 0.007295 0.041607 0.011694 0.012003 0.058265 0.059067 0.064991 0.054694 0.014771 0.015671 0.059191 0.015295 0.015452 0.014217 0.015802 0.056327 0.056823 0.060117 0.053504 0.015479 0.016126 0.057263 0.015042 0.016153 0.014508 0.015286 0.054064 0.055251 0.058969 0.051670 0.014239 0.014643 0.054210 0.013927 0.057610 0.057644 0.063949 0.055138 0.015607 0.015191 0.057362 0.014953 0.016191 0.014581 0.015956 0.056140 0.056394 0.061998 0.054659 0.014834 0.015797 0.056971 0.014111 0.015337 0.013809 0.015097 0.054109 0.056538 0.059987 0.052038 0.015341 0.015635 0.054703 0.013984 0.016276 0.014497 0.015765 0.053997 0.055261 0.061195 0.051432 0.015022 0.014180 0.055031 0.014683 0.015310 0.013834 0.014976 0.054053 0.054919 0.060446 0.051158 0.014770 0.014950 0.054961 0.014241 0.015322 0.013286 0.014862 0.049713 0.050466 0.055634 0.047678 0.013385 0.013568 0.050535 0.012752 0.014235 0.011891 0.013785 0.050632 0.050609 0.055421 0.046731 0.013451 0.013472 0.050538 0.012436 0.013745 0.012050 0.013296 0.047535 0.048325 0.052371 0.046949 0.012293 0.013008 0.047622 0.011935 0.012660 0.049918 0.050496 0.054897 0.047055 0.012868 0.013501 0.050134 0.012745 0.013502 0.079670 0.083175 0.076157 0.065154 0.018170 0.018599 0.083911 0.018188 0.018985 0.105112 0.018049 0.019055 0.070599 0.062457 0.067186 0.059814 0.017260 0.017649 0.062415 0.015876 0.018199 0.095968 0.016081 0.017876 0.056126 0.057013 0.065291 0.054026 0.014906 0.015500 0.057112 0.014997 0.015432 0.013785 0.015914 0.056350 0.059842 0.063539 0.053054 0.015200 0.014849 0.056846 0.014334 0.016054 0.013889 0.015717 0.049117 0.049545 0.055100 0.047074 0.013028 0.013568 0.050107 0.012716 0.013669 0.011658 0.013472 0.044179 0.044787 0.007473 0.040877 0.011067 0.011479 0.044891 0.010775 0.052793 0.053726 0.057922 0.050452 0.014818 0.014593 0.053499 0.014244 0.015019 0.013423 0.015112 0.052343 0.055059 0.057569 0.049234 0.014333 0.015124 0.053241 0.014088 0.015056 0.013222 0.014054 0.049101 0.050045 0.055322 0.046326 0.013586 0.013753 0.049788 0.013078 0.013622 0.006286 0.009264 0.010620 0.008767 0.066787 0.067210 0.073843 0.066083 0.019386 0.019173 0.068548 0.017864 0.019255 0.106252 0.018024 0.019273 0.057757 0.058352 0.062308 0.057406 0.015779 0.015875 0.057438 0.015709 0.016891 0.014950 0.016672 0.034109 0.038599 0.019163 0.041630 0.011537 0.011833 0.038584 0.010376 0.011922 0.010334 0.011581 0.042631 0.043427 0.041155 0.011599 0.011688 0.043471 0.011346 0.011946 0.010338 0.011708 0.036138 0.010159 0.010888 0.008922 0.010750 0.008969 0.010070 0.039896 0.046696 0.052167 0.053547 0.014648 0.015151 0.047359 0.013419 0.015379 0.013576 0.014463 0.053003 0.054794 0.059153 0.053692 0.015135 0.014937 0.054283 0.014391 0.015377 0.013253 0.015404 0.053450 0.058148 0.063832 0.050486 0.014383 0.014762 0.059590 0.014414 0.015198 0.012949 0.014805 0.039295 0.044865 0.049709 0.049954 0.015278 0.014758 0.044984 0.013551 0.060163 0.061717 0.067619 0.056069 0.017456 0.017785 0.061964 0.016068 0.017296 0.095884 0.016802 0.017955 0.053821 0.054922 0.061670 0.051374 0.014379 0.015695 0.054660 0.014501 0.062672 0.063326 0.068960 0.058007 0.017895 0.018757 0.064520 0.017996 0.019175 0.097132 0.017572 0.018941 0.061913 0.060884 0.066049 0.055816 0.017948 0.017545 0.061370 0.016019 0.017261 0.033409 0.015154 0.017409 0.060512 0.074790 0.081132 0.055536 0.017129 0.016674 0.073544 0.016079 0.017408 0.015669 0.017370 0.033520 0.037999 0.041757 0.011429 0.011515 0.038179 0.009825 0.056081 0.055693 0.061082 0.052922 0.015330 0.016095 0.056619 0.014947 0.015804 0.013474 0.015797 0.006708 0.009306 0.009939 0.008086 0.009706 0.008605 0.009606 0.006134 0.008647 0.009849 0.008268 0.009915 0.008291 0.009749 0.006473 0.008287 0.008787 0.063407 0.071591 0.068354 0.021794 0.022875 0.064390 0.020231 0.023252 0.020786 0.022622 0.052702 0.063919 0.069889 0.066181 0.021701 0.022290 0.064304 0.020605 0.022971 0.071151 0.020823 0.022325 0.072656 0.073390 0.115116 0.065659 0.021203 0.022376 0.073433 0.020452 0.022538 0.117087 0.020538 0.022084 0.072362 0.105979 0.115799 0.064642 0.021244 0.022422 0.107755 0.020528 0.022143 0.019872 0.021808 0.071172 0.070861 0.098543 0.063539 0.019761 0.020736 0.070592 0.019152 0.021217 0.082234 0.019650 0.020696 0.068674 0.069441 0.076667 0.063618 0.019697 0.019923 0.069685 0.018579 0.020000 0.081523 0.018489 0.020055 0.086307 0.097619 0.105325 0.062683 0.019598 0.019832 0.097650 0.019387 0.020146 0.110574 0.018418 0.020167 0.080730 0.098905 0.107895 0.061617 0.019838 0.019876 0.100018 0.018974 0.020085 0.108818 0.018656 0.019925 0.079220 0.067447 0.073468 0.061832 0.019714 0.019600 0.067989 0.018214 0.019561 0.110316 0.018240 0.019572 0.077326 0.066728 0.071950 0.061044 0.018491 0.019513 0.067689 0.017799 0.019247 0.106720 0.018445 0.019188 0.077125 0.080445 0.077012 0.061805 0.019530 0.019878 0.082254 0.018955 0.020215 0.106557 0.019014 0.020717 0.076183 0.078652 0.075353 0.059313 0.019481 0.018175 0.080019 0.017981 0.018627 0.104412 0.017173 0.018178 0.074306 0.079029 0.075732 0.059130 0.017728 0.017838 0.078963 0.016775 0.018818 0.102570 0.016942 0.017999 0.063072 0.064029 0.069051 0.061075 0.017363 0.017112 0.064029 0.016195 0.014057 0.063847 0.064791 0.071466 0.061650 0.017641 0.018891 0.064661 0.017538 0.018735 0.103730 0.016981 0.017787 0.061168 0.060308 0.066068 0.058854 0.015955 0.017239 0.061390 0.016285 0.062104 0.063439 0.069684 0.059442 0.017263 0.017553 0.064429 0.017266 0.018049 0.100755 0.017199 0.017756 0.034242 0.039191 0.007061 0.041810 0.011057 0.011435 0.038618 0.009904 0.015029 0.058784 0.060535 0.065300 0.058005 0.016790 0.016969 0.060708 0.015247 0.016214 0.008409 0.015189 0.016808 0.055155 0.056261 0.061335 0.052205 0.014968 0.015335 0.055647 0.014533 0.015468 0.014303 0.015418 0.059055 0.059810 0.064547 0.056398 0.016771 0.016532 0.059976 0.015721 0.016597 0.008643 0.014301 0.017228 0.039287 0.046831 0.051070 0.049684 0.014002 0.014423 0.046354 0.012648 0.014917 0.008263 0.057740 0.059050 0.065197 0.055841 0.015338 0.016373 0.059123 0.015202 0.016708 0.008686 0.014599 0.016105 0.035575 0.040780 0.044879 0.045078 0.012223 0.012351 0.041442 0.010775 0.012952 0.011564 0.010047 0.014984 0.070866 0.017557 0.033492 0.014879 0.061299 0.016497 0.016820 0.016677 0.058453 0.060724 0.016058 0.059220 0.070402 0.066053 0.071467 0.062453 0.016089 0.014222 0.056457 0.014981 0.016093 0.015530 0.054552 0.056229 0.015377 0.055394 0.061028 0.060606 0.015847 0.013797 0.055281 0.014949 0.015174 0.014812 0.051590 0.055137 0.014256 0.054300 0.060506 0.008865 0.015987 0.032182 0.016486 0.008266 0.014275 0.059499 0.015719 0.017099 0.016990 0.057932 0.060290 0.016737 0.060160 0.068738 0.066235 0.069279 0.060185 0.016192 0.014109 0.055790 0.014787 0.015714 0.015364 0.051786 0.054661 0.015205 0.053887 0.060297 0.059763 0.015796 0.013761 0.053659 0.014527 0.015572 0.015043 0.051223 0.054473 0.015207 0.054488 0.058553 0.008797 0.014581 0.012840 0.051387 0.014040 0.015203 0.014794 0.049629 0.052384 0.014186 0.052147 0.057608 0.015009 0.011984 0.013337 0.074217 0.015532 0.013628 0.007905 0.054833 0.013914 0.014733 0.014261 0.051780 0.054254 0.015039 0.053332 0.060404 0.011751 0.009254 0.014625 0.012642 0.010934 0.041299 0.011378 0.012520 0.016391 0.064605 0.008784 0.016491 0.061726 0.009037 0.014734 0.064264 0.059880 0.015498 0.016970 0.016884 0.059379 0.059236 0.016402 0.058504 0.064995 0.068638 0.008744 0.016392 0.087107 0.008947 0.014921 0.082494 0.058977 0.015182 0.016819 0.016512 0.055747 0.058448 0.015965 0.058259 0.064789 0.083336 0.008728 0.015644 0.086732 0.009096 0.013671 0.008111 0.058145 0.015627 0.016739 0.016558 0.054920 0.058225 0.016139 0.057216 0.086994 0.063746 0.008928 0.060347 0.015754 0.013641 0.007960 0.055456 0.014583 0.015175 0.015646 0.053525 0.055106 0.015004 0.055054 0.060477 0.016217 0.013294 0.055596 0.014813 0.016102 0.015208 0.053772 0.056682 0.015258 0.054805 0.061414 0.016383 0.013995 0.054829 0.014906 0.016000 0.015853 0.050567 0.054166 0.015304 0.052841 0.059175 0.014356 0.011914 0.050080 0.013473 0.014380 0.013638 0.045991 0.049855 0.013689 0.048806 0.053651 0.015888 0.013504 0.055050 0.014409 0.015329 0.015080 0.051979 0.054065 0.014963 0.053626 0.061075 0.014957 0.012650 0.051766 0.013897 0.014532 0.014103 0.049060 0.051660 0.014160 0.050703 0.056280 0.015146 0.012692 0.051432 0.013757 0.014396 0.014169 0.048452 0.051382 0.014098 0.050509 0.055955 0.010188 0.014413 0.013242 0.053128 0.014301 0.014805 0.014493 0.050499 0.052573 0.014440 0.052236 0.058490 0.014446 0.013056 0.052572 0.013801 0.014816 0.013627 0.049920 0.052049 0.014174 0.051893 0.057359 0.014558 0.012616 0.049459 0.013323 0.014040 0.013806 0.047422 0.049707 0.013647 0.049100 0.054270 0.017226 0.009227 0.007611 0.007827 0.008781 0.016792 0.017054 0.015374 0.024105 0.023449 0.069987 0.023375 0.025743 0.025382 0.073127 0.069706 0.023526 0.076265 0.024718 0.022482 0.023155 0.025631 0.025307 0.071540 0.024084 0.024186 0.022372 0.067521 0.022549 0.024490 0.024168 0.071128 0.069314 0.022327 0.055660 0.074437 0.025388 0.022537 0.078798 0.023113 0.025356 0.025128 0.070901 0.078515 0.023957 0.085088 0.023378 0.020846 0.079489 0.021531 0.022959 0.023230 0.068733 0.075353 0.021563 0.082119 0.022909 0.020173 0.020369 0.022590 0.022042 0.063984 0.021854 0.020645 0.018999 0.018424 0.020471 0.019571 0.062256 0.020090 0.019969 0.018512 0.092628 0.018443 0.020112 0.019665 0.060276 0.068298 0.019115 0.099507 0.020290 0.107150 0.017816 0.105596 0.017976 0.019528 0.019132 0.062916 0.105765 0.018926 0.068149 0.113371 0.019567 0.106018 0.017617 0.107897 0.017736 0.019147 0.019234 0.062324 0.101861 0.018836 0.066982 0.108972 0.021024 0.106657 0.017924 0.101849 0.018107 0.019217 0.018941 0.062751 0.102221 0.018455 0.065350 0.108296 0.016539 0.014391 0.057184 0.015178 0.016003 0.019733 0.017874 0.017854 0.019750 0.020001 0.060862 0.019321 0.019124 0.017880 0.066195 0.018061 0.019151 0.018920 0.059437 0.066111 0.018508 0.070983 0.019309 0.016119 0.062949 0.017524 0.018132 0.017718 0.057242 0.063710 0.017488 0.070752 0.018948 0.075002 0.016355 0.065260 0.017479 0.018650 0.018685 0.057344 0.065314 0.017508 0.062032 0.072174 0.098455 0.018196 0.073617 0.015906 0.064887 0.016292 0.017429 0.017162 0.060557 0.064495 0.017481 0.061244 0.072489 0.008934 0.016056 0.008238 0.013953 0.059332 0.015606 0.016816 0.016841 0.055760 0.059371 0.016085 0.057382 0.064770 0.016245 0.013624 0.047857 0.014697 0.015652 0.015113 0.051815 0.047859 0.014608 0.040824 0.053013 0.014680 0.012917 0.044653 0.013304 0.014580 0.014188 0.048615 0.045060 0.013583 0.018123 0.016391 0.054350 0.016650 0.018933 0.018206 0.057235 0.055126 0.017958 0.059750 0.019046 0.016412 0.016028 0.018483 0.017827 0.056942 0.018373 0.017852 0.015775 0.053340 0.016524 0.017975 0.017909 0.055496 0.053019 0.016457 0.057433 0.016442 0.015175 0.051240 0.015576 0.016910 0.016652 0.053968 0.051910 0.016602 0.055046 0.008499 0.015761 0.015540 0.050762 0.015554 0.017347 0.016757 0.057296 0.051524 0.015240 0.042090 0.055152 0.015492 0.013286 0.047385 0.013188 0.015114 0.014661 0.050663 0.047125 0.014302 0.039954 0.051574 0.012885 0.011163 0.040289 0.011325 0.012569 0.012465 0.043229 0.040770 0.012065 0.034966 0.043617 0.011466 0.010327 0.014798 0.012651 0.051931 0.014185 0.015042 0.014602 0.049535 0.053256 0.014920 0.052734 0.058811 0.012611 0.010559 0.044917 0.011780 0.012207 0.012035 0.042237 0.045569 0.011896 0.044136 0.048920 0.012239 0.010061 0.037807 0.010303 0.011743 0.011583 0.041038 0.038438 0.010725 0.033586 0.007166 0.011069 0.009728 0.037657 0.009995 0.011790 0.011020 0.039945 0.038337 0.010520 0.033195 0.011417 0.009642 0.006434 0.009710 0.011256 0.010618 0.038162 0.006994 0.010022 0.009234 0.008133 0.007894 0.008645 0.015510 0.014066 0.049334 0.013950 0.015914 0.015592 0.056062 0.049919 0.014730 0.041560 0.054138 0.015691 0.014211 0.055963 0.014838 0.015071 0.015415 0.053142 0.057596 0.015467 0.056884 0.061715 0.014206 0.012227 0.050204 0.013100 0.013863 0.013338 0.047435 0.050591 0.013434 0.048635 0.054368 0.016007 0.013982 0.048340 0.014144 0.015703 0.015138 0.053866 0.048932 0.014732 0.040987 0.053136 0.015481 0.013649 0.055371 0.014551 0.015503 0.015131 0.052020 0.054792 0.015170 0.054477 0.060614 0.012604 0.011525 0.044987 0.011776 0.012200 0.011630 0.042295 0.044881 0.012551 0.044233 0.049805 0.012675 0.010446 0.044532 0.011285 0.011692 0.011869 0.041502 0.044223 0.012055 0.043819 0.012510 0.010349 0.038466 0.010535 0.012035 0.011600 0.041178 0.038861 0.011223 0.033592 0.011443 0.009914 0.037384 0.010238 0.010895 0.014188 0.013366 0.014079 0.015235 0.014596 0.048751 0.015159 0.014803 0.013264 0.013110 0.015043 0.014826 0.048893 0.014654 0.013457 0.011963 0.048606 0.012972 0.013337 0.013092 0.046298 0.048942 0.013258 0.048504 0.043144 0.013038 0.011397 0.048424 0.012288 0.013173 0.012648 0.045414 0.047799 0.012833 0.047438 0.042437 0.011895 0.011024 0.043282 0.011281 0.012030 0.011409 0.041486 0.044181 0.011971 0.043829 0.012443 0.010326 0.038531 0.010601 0.012109 0.012067 0.041643 0.038496 0.011218 0.033744 0.011002 0.014209 0.012911 0.013225 0.014264 0.014220 0.048653 0.014047 0.014174 0.012709 0.012958 0.014031 0.013884 0.050547 0.013978 0.012610 0.011142 0.047512 0.012435 0.012736 0.012386 0.045674 0.048098 0.012555 0.041162 0.012525 0.010964 0.047204 0.012185 0.012658 0.012007 0.043511 0.047639 0.012588 0.046420 0.041882 0.011620 0.010127 0.043272 0.010763 0.011285 0.011674 0.040672 0.043654 0.011088 0.011450 0.010081 0.037893 0.010252 0.011509 0.011002 0.040532 0.038490 0.011268 0.033230 0.010523 0.010907 0.010287 0.017250 0.010204 0.011120 0.011067 0.038563 0.042089 0.011025 0.010523 0.018974 0.016524 0.053654 0.017882 0.018531 0.018507 0.056602 0.054247 0.017950 0.058835 0.018453 0.015601 0.053438 0.015932 0.017386 0.017530 0.055369 0.053086 0.016869 0.045113 0.058921 0.017187 0.033034 0.015931 0.051315 0.015719 0.016940 0.017326 0.054835 0.052347 0.017138 0.043625 0.062465 0.017596 0.015648 0.061787 0.016147 0.017834 0.016899 0.053082 0.061797 0.017369 0.061524 0.067935 0.017713 0.015175 0.061819 0.016400 0.016587 0.017236 0.054709 0.062033 0.016944 0.058282 0.066529 0.015295 0.013384 0.045224 0.013605 0.014923 0.013874 0.054313 0.045015 0.014071 0.038293 0.049093 0.011495 0.010162 0.014940 0.013055 0.012062 0.042106 0.012427 0.013144 0.012818 0.045845 0.042783 0.012614 0.036258 0.046788 0.011278 0.009762 0.015278 0.016164 0.014347 0.056254 0.015187 0.015878 0.015286 0.051562 0.056077 0.015406 0.055764 0.062530 0.015854 0.013815 0.054615 0.015010 0.015509 0.015397 0.049795 0.054247 0.015400 0.053851 0.062457 0.014909 0.012867 0.044347 0.012831 0.014351 0.013871 0.048574 0.045203 0.013079 0.038143 0.049031 0.013375 0.010932 0.014595 0.014947 0.014179 0.054761 0.015007 0.015549 0.015573 0.050334 0.056296 0.015382 0.054170 0.062487 0.015572 0.013323 0.053344 0.014271 0.015061 0.014884 0.051822 0.053472 0.014774 0.052810 0.062368 0.017007 0.014718 0.050312 0.015424 0.016301 0.017143 0.054500 0.051066 0.016663 0.043581 0.054768 0.015705 0.013697 0.047664 0.014121 0.015318 0.016080 0.050674 0.048879 0.015174 0.041064 0.053572 0.015516 0.014220 0.046803 0.014512 0.015578 0.015251 0.054297 0.047607 0.014464 0.040124 0.051646 0.050788 0.040051 0.014168 0.045893 0.053195 0.014747 0.047141 0.014118 0.015268 0.015330 0.015634 0.050679 0.040085 0.015137 0.045733 0.052053 0.015067 0.046718 0.014853 0.015552 0.015705 0.016232 0.049446 0.039251 0.013684 0.044658 0.049743 0.013826 0.045159 0.013283 0.014615 0.014499 0.014579 0.045705 0.036782 0.012214 0.045301 0.045221 0.012770 0.041609 0.011937 0.013576 0.012832 0.013273 0.045117 0.035999 0.012198 0.042158 0.045363 0.012214 0.041767 0.011785 0.012772 0.012630 0.013430 0.033628 0.010757 0.037229 0.041468 0.011136 0.038467 0.010113 0.011016 0.045617 0.012095 0.041700 0.045476 0.012051 0.042835 0.011353 0.012802 0.012594 0.013214 0.044643 0.036287 0.011803 0.040731 0.044736 0.012371 0.042005 0.011348 0.012593 0.012373 0.012838 0.010555 0.037686 0.040538 0.011042 0.038195 0.010091 0.011874 0.011453 0.012093 0.008642 0.008285 0.044856 0.035943 0.012068 0.041083 0.044505 0.012283 0.041418 0.011666 0.013659 0.013163 0.013766 0.043919 0.035117 0.011370 0.039925 0.044282 0.011856 0.040543 0.010973 0.012540 0.012248 0.012806 0.006840 0.009695 0.006443 0.039310 0.010376 0.006379 0.009454 0.010433 0.043481 0.034923 0.011048 0.039997 0.043783 0.011129 0.049359 0.040565 0.014499 0.046102 0.051618 0.014491 0.046304 0.013865 0.015071 0.015159 0.014656 0.045745 0.036772 0.012162 0.041440 0.045936 0.012507 0.041751 0.011769 0.013081 0.012820 0.013289 0.010383 0.036592 0.039411 0.010627 0.006518 0.009710 0.010796 0.011069 0.011203 0.009841 0.006830 0.039605 0.010220 0.006836 0.009643 0.010818 0.010551 0.011357 0.006654 0.009674 0.006319 0.038047 0.009857 0.045149 0.036172 0.012205 0.040979 0.045414 0.012341 0.041229 0.011490 0.012474 0.012713 0.012658 0.007295 0.007191 0.015824 0.016924 0.056128 0.017512 0.016318 0.018052 0.017624 0.018649 0.076467 0.017373 0.070729 0.056476 0.017245 0.071440 0.016980 0.017473 0.018423 0.017962 0.076305 0.060858 0.017585 0.070108 0.056233 0.016991 0.070126 0.016130 0.068353 0.018402 0.017786 0.018363 0.040475 0.012496 0.039733 0.043604 0.012177 0.039722 0.011633 0.012577 0.012413 0.012667 0.007286 0.006827 0.010397 0.039920 0.010609 0.009922 0.010784 0.010680 0.011044 0.009332 0.006555 0.009006 0.009248 0.008877 0.008544 0.009800 0.009432 0.010088 0.007839 0.007577 0.008150 0.008833 0.008759 0.008614 0.008763 0.008130 0.008047 0.009190 0.009109 0.009697 0.007579 0.007290 0.007288 0.008703 0.008552 0.008424 0.008394 0.007962 0.007865 0.008905 0.009334 0.009216 0.074981 0.060617 0.017881 0.069753 0.055150 0.016547 0.070945 0.015945 0.033721 0.017952 0.018243 0.017846 0.011966 0.042736 0.011976 0.010966 0.012342 0.012687 0.012329 0.011093 0.040478 0.011429 0.010496 0.011533 0.011388 0.011787 0.012025 0.042508 0.012577 0.011339 0.012352 0.012412 0.012778 0.011144 0.039879 0.011174 0.010234 0.011678 0.011366 0.011663 0.010267 0.038196 0.010204 0.009762 0.010416 0.010348 0.010950 0.010004 0.038646 0.010253 0.009906 0.010479 0.010609 0.010652 0.008556 0.008320 0.008133 0.009039 0.009097 0.009386 0.007877 0.007413 0.007325 0.008369 0.008149 0.008853 0.007752 0.007434 0.007276 0.008395 0.008534 0.008951 0.006855 0.006690 0.006702 0.007853 0.007538 0.008190 0.006573 0.006662 0.006763 0.007311 0.010948 0.041112 0.011381 0.011163 0.011629 0.011310 0.011452 0.010400 0.009996 0.010172 0.011098 0.010596 0.011533 0.007975 0.007488 0.074437 0.060226 0.017237 0.070108 0.056181 0.016695 0.071065 0.016956 0.034587 0.017481 0.017210 0.017639 0.073991 0.060009 0.017590 0.068031 0.055428 0.016769 0.069702 0.016688 0.017130 0.017567 0.017993 0.072473 0.059187 0.016932 0.067909 0.054241 0.016541 0.069379 0.015506 0.016670 0.017231 0.017558 0.072213 0.058215 0.017282 0.066292 0.054181 0.016398 0.068350 0.015261 0.016678 0.017253 0.016907 0.068970 0.056724 0.015918 0.064231 0.052504 0.016128 0.065472 0.015232 0.015566 0.016316 0.016399 0.062638 0.015900 0.057329 0.049884 0.014717 0.058217 0.014557 0.015288 0.015082 0.015898 0.054835 0.014631 0.049778 0.047115 0.013943 0.049981 0.013978 0.014871 0.014158 0.014538 0.011990 0.044330 0.042882 0.011793 0.044797 0.012037 0.012126 0.012005 0.012305 0.010919 0.037500 0.040713 0.011127 0.013339 0.046782 0.013392 0.013015 0.013768 0.013659 0.014197 0.012399 0.043635 0.012285 0.011494 0.012694 0.012826 0.013049 0.010891 0.039424 0.010900 0.010028 0.011200 0.011110 0.011359 0.009975 0.037008 0.009994 0.012912 0.047125 0.012959 0.012344 0.013642 0.013190 0.013806 0.012458 0.043371 0.012232 0.011627 0.012465 0.012488 0.012735 0.010458 0.038262 0.010633 0.009960 0.010803 0.010812 0.011017 0.009739 0.036730 0.009914 0.010507 0.040212 0.010844 0.010029 0.011255 0.010991 0.011410 0.009471 0.006080 0.009487 0.009198 0.010319 0.010185 0.010341 0.013225 0.049085 0.013480 0.012675 0.014017 0.014206 0.014203 0.047322 0.013379 0.042867 0.047211 0.013310 0.043160 0.012664 0.013553 0.013440 0.013705 0.046135 0.012854 0.041862 0.045837 0.012368 0.042187 0.011925 0.012856 0.012664 0.013120 0.011775 0.042272 0.011849 0.011140 0.012095 0.011877 0.012203 0.011063 0.041459 0.011465 0.010450 0.011594 0.011963 0.011809 0.032844 0.010162 0.039938 0.039142 0.010760 0.006574 0.009504 0.010806 0.010892 0.011520 0.009957 0.006488 0.039229 0.010335 0.006548 0.009440 0.010615 0.010560 0.011231 0.009520 0.037502 0.010109 0.009238 0.010675 0.010226 0.010635 0.009393 0.036861 0.009998 0.009017 0.009946 0.010017 0.010283 0.049361 0.012327 0.046619 0.042751 0.011592 0.045958 0.011549 0.011985 0.012058 0.012329 0.009031 0.006577 0.008577 0.008882 0.009660 0.009364 0.009908 0.008684 0.006000 0.008525 0.008522 0.009347 0.009276 0.009600 0.007969 0.007742 0.007624 0.008765 0.008450 0.008926 0.007649 0.007292 0.007126 0.008579 0.008032 0.008382 0.007486 0.007611 0.007533 0.007980 0.008022 0.008277 0.007408 0.006894 0.006762 0.007664 0.007422 0.007646 0.006388 0.006229 0.008391 0.008091 0.008145 0.009052 0.008915 0.009133 0.007787 0.007482 0.007581 0.008169 0.008274 0.008727 0.007486 0.007256 0.007331 0.008139 0.008103 0.008715 0.006876 0.006662 0.006511 0.007711 0.007651 0.007881 0.006945 0.006549 0.006485 0.007299 0.007514 0.007227 0.008516 0.006095 0.008570 0.008963 0.009312 0.009391 0.009753 0.008239 0.008292 0.007956 0.009522 0.008782 0.009443 0.007846 0.007695 0.007813 0.008816 0.008381 0.008683 0.007458 0.007363 0.007387 0.008097 0.008096 0.008221 0.006695 0.006591 0.006358 0.007945 0.007650 0.007617 0.006388 0.006223 0.006244 0.007091 0.007406 0.007780 0.006086 0.006198 0.006554 0.006793 0.006586 0.006831 0.005937 0.006067 0.005783 0.006571 0.006689 0.006901 0.005731 0.005582 0.005802 0.006210 0.006236 0.006490 0.005031 0.005326 0.005435 0.005889 0.005484 0.006061 0.006494 0.006889 0.005821 0.005353 0.005937 0.006019 0.006450 0.005196 0.005095 0.005085 0.005803 0.006233 0.006726 0.005146 0.005258 0.005308 0.005219 0.005706 0.006215 0.006435 0.005133 0.005118 0.005333 0.005974 0.006001 0.004690 0.004994 0.005798 0.005993 0.005566 0.005349 0.004977 0.005250 0.005082 0.005308 0.004553 0.004576 0.004934 0.004784 0.005153 0.004337 0.004569 0.004347 0.004525 0.004519 0.004551 0.004126 0.004236 0.019323 0.011556 0.044118 0.042740 0.011615 0.044972 0.011409 0.011877 0.011584 0.012073 0.008653 0.008578 0.008224 0.009107 0.009235 0.009236 0.006915 0.006492 0.006417 0.007468 0.007210 0.007367 0.006514 0.006606 0.006324 0.007455 0.007007 0.007254 0.005100 0.005077 0.005220 0.005438 0.005824 0.004810 0.004666 0.004914 0.005075 0.005321 0.004658 0.004655 0.005270 0.004908 0.005171 0.004878 0.004327 0.005020 0.005131 0.004801 0.004383 0.004368 0.004613 0.004562 0.004948 0.004386 0.004193 0.004196 0.004295 0.004172 0.004149 0.004104 0.004003 0.004229 0.006447 0.006298 0.006471 0.006983 0.006928 0.007169 0.006330 0.006427 0.006879 0.006835 0.006856 0.007419 0.004936 0.004675 0.005246 0.005324 0.005484 0.004888 0.004606 0.005446 0.005214 0.005489 0.004632 0.004540 0.005296 0.005124 0.005054 0.004371 0.004407 0.004738 0.004887 0.004708 0.004316 0.004275 0.004664 0.004737 0.004933 0.004153 0.004937 0.004116 0.004028 0.004014 0.004279 0.004027

total iso time: 220.069887
===============================================================================

print the content of the cache: 
c id: 1, level: 18, literals: 12, clauses: 11, size: 27, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 2, levelIsos: [13,12]
c id: 2, level: 32, literals: 6, clauses: 5, size: 10, afterHit: 0, saved: 64, hits: 0, levelHits: [], isos: 23, levelIsos: [25,24,18,19,19,20,21,23,11,8,10,8,10,10,10,11,11,11,14,14,11,11,16]
c id: 6, level: 53, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 249, hits: 0, levelHits: [], isos: 76, levelIsos: [19,18,26,24,23,27,32,31,21,14,23,21,14,8,8,8,8,7,19,19,15,21,23,23,23,20,19,10,11,8,10,9,10,15,12,11,11,10,8,12,9,7,13,13,13,11,10,8,12,17,14,17,20,19,19,21,17,16,16,15,15,12,12,13,12,12,12,12,11,14,12,6,12,12,11,12]
c id: 5, level: 52, literals: 15, clauses: 12, size: 30, afterHit: 0, saved: 87, hits: 0, levelHits: [], isos: 32, levelIsos: [28,29,23,20,20,29,29,30,26,17,34,33,22,20,16,18,22,15,15,19,19,22,20,24,13,13,15,15,14,10,10,14]
c id: 3, level: 24, literals: 12, clauses: 10, size: 24, afterHit: 0, saved: 56, hits: 0, levelHits: [], isos: 18, levelIsos: [24,23,22,24,15,15,11,16,11,10,9,17,17,17,17,15,17,11]
c id: 4, level: 35, literals: 16, clauses: 13, size: 32, afterHit: 0, saved: 170, hits: 0, levelHits: [], isos: 51, levelIsos: [27,15,17,18,18,26,26,23,22,23,21,26,29,25,20,25,28,24,24,24,23,23,14,15,12,14,15,10,10,11,11,11,9,11,12,10,8,15,15,13,16,11,10,12,15,15,10,10,9,8,13]

restarts              : 1
conflicts             : 814            (322 /sec)
decisions             : 4573           (0.00 % random) (1807 /sec)
propagations          : 21582          (8530 /sec)
conflict literals     : 4367           (14.54 % deleted)
components created    : 1575
components cached     : 40
components hit        : 0
isomorphisms          : 202
conflicts saved       : 630
conflicts remaining   : 386
glasgow calls         : 9723
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 2.53021 s

SATISFIABLE
