/data/SAT/sat-2002-beta/submitted/pehoushek/twentyvars/7cnf20_90000_90000_2.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            20                                         |
|  Number of clauses:            1552                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |      20     1552    10864 |      569      100      8 |  0.263 % |

iso times: 0.006240 0.009473 0.008899 0.007610 0.006210 0.006794 0.007727 0.008304 0.007795 0.007063 0.008121 0.009124 0.010317 0.008238 0.009035 0.008673 0.008748 0.007928 0.006991 0.008628 0.007658 0.008078 0.007808 0.007968 0.018880 0.015764 0.017760 0.014880 0.015053 0.007451 0.007006 0.007071 0.006215 0.007137 0.006668 0.007242 0.006772 0.006802 0.006547 0.005659 0.005773 0.005665 0.005421 0.005604 0.005569 0.006134 0.005783 0.014788 0.012699 0.012145 0.012591 0.010316 0.013908 0.010607 0.012330 0.012650 0.012134 0.012374 0.012185 0.010140 0.009995 0.010253 0.009046 0.011260 0.008774 0.010272 0.009648 0.009610 0.009520 0.009197 0.008821 0.008501 0.008560 0.007384 0.008740 0.007491 0.008296 0.009098 0.007925 0.008214 0.007887 0.006868 0.006499 0.006507 0.006292 0.006520 0.006500 0.006731 0.006008 0.006311 0.006447 0.006665 0.006250 0.006602 0.021457 0.019242 0.018413 0.019855 0.013597 0.011558 0.010872 0.010811 0.009984 0.010380 0.010932 0.009284 0.010082 0.012209 0.010420 0.009855 0.009946 0.009829 0.005828 0.009589 0.009380 0.008963 0.008697 0.008806 0.007427 0.009206 0.008042 0.009104 0.009950 0.009007 0.008221 0.008389 0.008649 0.005225 0.006358 0.006256 0.006061 0.006619 0.005937 0.006722 0.006017 0.006245 0.005181 0.006545 0.006282 0.006218 0.005866 0.007600 0.007738 0.007191 0.007879 0.008238 0.007486 0.007235 0.006939 0.007613 0.006509 0.007648 0.007265 0.007934 0.007866 0.008074 0.005662 0.005513 0.005204 0.005719 0.005569 0.005971 0.005312 0.005148 0.005246 0.005701 0.005544 0.014805 0.014414 0.014973 0.016125 0.009680 0.009612 0.009666 0.009957 0.011458 0.009644 0.009440 0.008804 0.010686 0.010055 0.009853 0.011420 0.009866 0.010526 0.009845 0.011659 0.012438 0.008677 0.009055 0.008322 0.008348 0.009040 0.010059 0.008569 0.008224 0.007686 0.009344 0.007424 0.008677 0.008715 0.009977 0.009471 0.008998 0.008414 0.009531 0.006076 0.007473 0.007840 0.007274 0.007478 0.008354 0.008406 0.007685 0.007191 0.007107 0.007911 0.007236 0.007871 0.007767 0.008435 0.007665 0.007906 0.007051 0.008345 0.005651 0.006944 0.008031 0.007981 0.007915 0.006859 0.007530 0.007683 0.008517 0.007439 0.007115 0.006762 0.007348 0.008074 0.006235 0.007435 0.007409 0.008559 0.007462 0.007883 0.007049 0.008399 0.005785 0.007169 0.008779 0.007623 0.009079 0.007655 0.007732 0.008440 0.009191 0.008233 0.007775 0.006958 0.009187 0.007707 0.008620 0.007334 0.008426 0.008331 0.009361 0.008250 0.008427 0.008170 0.009053 0.005868 0.007569 0.005646 0.005666 0.005750 0.005550 0.005642 0.005437 0.005530 0.005176 0.005973 0.005986 0.005904 0.005877 0.011861 0.011019 0.010041 0.010089 0.010238 0.011887 0.009982 0.010089 0.008808 0.011616 0.009741 0.011243 0.010071 0.009800 0.011608 0.010078 0.010843 0.009826 0.011214 0.012766 0.012591 0.009183 0.009045 0.007868 0.008748 0.007911 0.007819 0.008355 0.009657 0.008270 0.008362 0.008407 0.007442 0.009192 0.008182 0.008962 0.007282 0.008409 0.008494 0.009601 0.008483 0.008774 0.007916 0.009452 0.010292 0.006403 0.007585 0.005332 0.005835 0.006102 0.005320 0.005696 0.005619 0.005797 0.005703 0.005474 0.005671 0.005402 0.005023 0.005616 0.005789 0.005575 0.005568 0.005609 0.005586 0.005315 0.009904 0.009416 0.008462 0.009244 0.008123 0.008160 0.009184 0.010062 0.009099 0.008671 0.008299 0.007679 0.009632 0.008558 0.009396 0.007416 0.008715 0.009271 0.009756 0.008821 0.009042 0.009139 0.009681 0.010773 0.005840 0.008016 0.008235 0.007741 0.007443 0.008266 0.007450 0.007287 0.008630 0.008343 0.008245 0.007675 0.007437 0.007133 0.008556 0.007309 0.007725 0.006651 0.007908 0.007613 0.009080 0.007654 0.007716 0.007334 0.008054 0.005484 0.005655 0.007352 0.016414 0.014716 0.011747 0.012136 0.014066 0.011766 0.014318 0.013351 0.012338 0.014230 0.012315 0.013935 0.007080 0.015432 0.015902 0.013395 0.011411 0.010810 0.009544 0.009473 0.009743 0.010259 0.011537 0.009553 0.010056 0.009426 0.008559 0.011291 0.009397 0.010605 0.010062 0.012186 0.009404 0.011360 0.009873 0.010454 0.010229 0.011409 0.006958 0.012335 0.012404 0.006060 0.009430 0.009165 0.008453 0.008910 0.008133 0.008706 0.009219 0.009812 0.008818 0.009019 0.008026 0.007783 0.009639 0.008077 0.009232 0.007327 0.008957 0.010017 0.008631 0.010000 0.008697 0.008823 0.008450 0.009493 0.006504 0.010343 0.006008 0.008104 0.005965 0.009338 0.008900 0.008045 0.008370 0.007729 0.007911 0.008641 0.009599 0.009808 0.008287 0.008187 0.007885 0.007295 0.009287 0.007855 0.008826 0.007388 0.008515 0.009633 0.008132 0.009595 0.008415 0.008545 0.007944 0.009631 0.006236 0.010104 0.005749 0.011182 0.013213 0.011531 0.010729 0.009592 0.010435 0.009441 0.009720 0.010117 0.011959 0.012513 0.009898 0.010596 0.009393 0.008615 0.011656 0.009498 0.010538 0.008811 0.009895 0.012214 0.009535 0.011490 0.009848 0.010503 0.009924 0.011136 0.006716 0.006420 0.012064 0.012485 0.006195 0.006039 0.006296 0.005841 0.006335 0.006187 0.005188 0.006075 0.006418 0.005827 0.005983 0.006163 0.006481 0.005512 0.006254 0.005817 0.006608 0.005991 0.005859 0.005775 0.015737 0.013394 0.012621 0.013236 0.007229 0.015707 0.007284 0.014949 0.005634 0.005367 0.006180 0.008134 0.007964 0.007003 0.007496 0.006639 0.007511 0.007445 0.008893 0.005345 0.007794 0.007369 0.007194 0.006737 0.008395 0.007372 0.007648 0.008339 0.006542 0.007428 0.005581 0.007625 0.008643 0.007846 0.007651 0.007275 0.008346 0.005842 0.005531 0.005757 0.011723 0.006605 0.006209 0.010703 0.012099 0.008595 0.009663 0.008980 0.010545 0.008697 0.011901 0.006571 0.009098 0.009616 0.010375 0.007974 0.009060 0.008832 0.010974 0.010389 0.009183 0.008771 0.009125 0.010984 0.012261 0.006799 0.009672 0.010653 0.008765 0.012231 0.006214 0.009481 0.006049 0.008971 0.005812 0.007742 0.008334 0.007853 0.009244 0.007936 0.009414 0.008200 0.006877 0.008911 0.008794 0.008686 0.006946 0.007402 0.007937 0.008279 0.009623 0.009092 0.008184 0.007673 0.007549 0.008400 0.007775 0.008741 0.006049 0.008615 0.009081 0.007748 0.006052 0.005902 0.009555 0.005891 0.008217 0.005720 0.007413 0.007964 0.007705 0.008424 0.007245 0.009341 0.007638 0.005846 0.006780 0.008223 0.008465 0.008530 0.006839 0.007359 0.007705 0.007714 0.009372 0.008790 0.007988 0.007348 0.007524 0.007911 0.007329 0.008872 0.006203 0.008372 0.008734 0.007288 0.005811 0.006100 0.005174 0.005673 0.006020 0.006146 0.005907 0.006105 0.005408 0.005115 0.006501 0.005307 0.005629 0.005966 0.006222 0.006068 0.005159 0.006191 0.005929 0.005786 0.006057 0.005954 0.005975 0.006111 0.009066 0.007613 0.007474 0.020001 0.016348 0.017961 0.007486 0.007667 0.015900 0.007938 0.016391 0.018868 0.007842 0.006978 0.006814 0.015145 0.012672 0.013876 0.007003 0.006933 0.011802 0.007953 0.012470 0.014604 0.007576 0.007234 0.006694 0.011490 0.006597 0.006421 0.010514 0.011688 0.008718 0.009662 0.009162 0.010468 0.008910 0.011609 0.006625 0.009533 0.006459 0.006854 0.009914 0.010634 0.008434 0.007047 0.009023 0.009214 0.011258 0.010523 0.009348 0.009118 0.008714 0.010972 0.012348 0.006654 0.010282 0.011158 0.009108 0.011961 0.006314 0.010022 0.006157 0.005768 0.008893 0.005952 0.007600 0.008354 0.008375 0.009205 0.007715 0.009820 0.006275 0.008124 0.006169 0.007171 0.008624 0.008634 0.008903 0.007078 0.007568 0.008351 0.008156 0.009639 0.009420 0.007865 0.007642 0.007471 0.008245 0.007844 0.008735 0.006147 0.008512 0.009280 0.007464 0.005981 0.005994 0.006167 0.006855 0.006378 0.006045 0.006416 0.005299 0.006167 0.005067 0.006561 0.005797 0.006698 0.006584 0.005375 0.005846 0.006015 0.006754 0.006445 0.005657 0.006593 0.005874 0.005983 0.006180 0.006265 0.006462 0.006189 0.005320 0.004809 0.005317 0.004990 0.005192 0.005228 0.005213 0.005001 0.005374 0.008475 0.009586 0.006368 0.006005 0.008817 0.005953 0.007458 0.008033 0.007693 0.008576 0.007783 0.009550 0.008214 0.006011 0.007446 0.008356 0.008172 0.008619 0.007021 0.007536 0.007932 0.007539 0.009462 0.008947 0.008350 0.007537 0.008748 0.007401 0.008052 0.007653 0.008760 0.007857 0.006120 0.008141 0.009284 0.007664 0.006257 0.005893 0.007131 0.006447 0.007562 0.005788 0.006750 0.007034 0.007284 0.007511 0.006949 0.005407 0.006963 0.006013 0.007088 0.006999 0.007707 0.006655 0.006592 0.007216 0.006870 0.005300 0.007464 0.007077 0.006679 0.005164 0.006606 0.006818 0.006587 0.007365 0.006707 0.005806 0.006760 0.005720 0.006506 0.006367 0.005842 0.005228 0.005886 0.006154 0.006756 0.005382 0.005828 0.006823 0.005626 0.005308 0.006138 0.005612 0.005796 0.005939 0.006511 0.006280 0.005149 0.005239 0.006640 0.006242 0.005331 0.006136 0.006478 0.006136 0.006347 0.007104 0.006109 0.006383 0.006800 0.010895 0.006444 0.006163 0.009664 0.011212 0.008289 0.009080 0.008663 0.009742 0.008364 0.010559 0.006534 0.008660 0.006261 0.006773 0.009442 0.009755 0.006115 0.007532 0.006935 0.008208 0.008648 0.008523 0.010299 0.009828 0.009039 0.008446 0.009992 0.008131 0.008169 0.009954 0.011551 0.006776 0.009288 0.009707 0.008330 0.011219 0.006276 0.007796 0.008393 0.008935 0.005752 0.008231 0.005619 0.007455 0.007653 0.007481 0.008428 0.007288 0.009105 0.005821 0.007356 0.005809 0.006363 0.008221 0.008032 0.008214 0.005766 0.006735 0.007386 0.007481 0.007184 0.008756 0.008233 0.007468 0.007150 0.008403 0.006975 0.007633 0.007143 0.008465 0.005765 0.007893 0.008567 0.007262 0.006039 0.006036 0.007302 0.006887 0.005174 0.006300 0.007800 0.005490 0.006621 0.006877 0.006996 0.007329 0.006505 0.005644 0.005323 0.006856 0.006075 0.007320 0.006856 0.007897 0.005713 0.006518 0.006902 0.006916 0.006826 0.005378 0.007390 0.007040 0.006475 0.005234 0.006421 0.006904 0.006805 0.007428 0.006758 0.005565 0.006972 0.005364 0.006321 0.005600 0.006848 0.007036 0.015424 0.006962 0.016058 0.013374 0.014826 0.010557 0.012944 0.011381 0.014245 0.013371 0.011487 0.014327 0.014667 0.007388 0.011516 0.006821 0.007627 0.012779 0.013494 0.015229 0.009771 0.015532 0.007909 0.011296 0.011152 0.013892 0.013228 0.011278 0.011666 0.013469 0.011121 0.013582 0.007119 0.015664 0.007027 0.012689 0.012870 0.010842 0.015415 0.016258 0.006986 0.007182 0.005127 0.006589 0.005414 0.005617 0.007613 0.006558 0.007340 0.007129 0.005202 0.007426 0.007079 0.005408 0.007093 0.006377 0.007389 0.007029 0.008020 0.006599 0.006742 0.007406 0.007318 0.005346 0.007620 0.007063 0.006406 0.007629 0.006527 0.007028 0.006892 0.007424 0.006951 0.007086 0.005205 0.006887 0.010568 0.010314 0.011036 0.006503 0.007072 0.012119 0.006326 0.006547 0.010933 0.012281 0.008892 0.010167 0.009959 0.011826 0.011315 0.009474 0.012207 0.006382 0.006745 0.009876 0.006336 0.007995 0.010544 0.006894 0.010392 0.011003 0.006161 0.008388 0.006460 0.009526 0.010350 0.009690 0.012048 0.011740 0.006520 0.009872 0.009587 0.010871 0.011311 0.009373 0.010490 0.009396 0.011442 0.006568 0.009574 0.013319 0.007402 0.010521 0.010965 0.009714 0.013010 0.006399 0.007956 0.008065 0.008562 0.024307 0.008012 0.007268 0.017725 0.006994 0.007215 0.006904 0.016971 0.013748 0.016078 0.015953 0.007076 0.006815 0.008020 0.013477 0.016167 0.007873 0.014648 0.014171 0.012183 0.011635 0.007482 0.016329 0.007349 0.017125 0.007014 0.006524 0.010814 0.010966 0.012042 0.006664 0.006816 0.013006 0.006528 0.006267 0.011209 0.012736 0.008985 0.010483 0.010593 0.012161 0.011226 0.009474 0.011882 0.006377 0.006656 0.009986 0.006508 0.008399 0.010739 0.006974 0.010305 0.011423 0.006542 0.008639 0.006360 0.009712 0.010052 0.009806 0.012177 0.011374 0.006701 0.010184 0.009375 0.011029 0.011545 0.009636 0.010405 0.009181 0.011401 0.006637 0.013530 0.006928 0.010644 0.011742 0.009479 0.013131 0.006356 0.008975 0.008769 0.009475 0.005753 0.006191 0.006182 0.009264 0.005790 0.007643 0.008351 0.008187 0.005879 0.009392 0.008318 0.009632 0.005782 0.006218 0.008372 0.006887 0.009144 0.009072 0.009218 0.006008 0.007095 0.005924 0.007673 0.008286 0.008178 0.009798 0.009274 0.008571 0.008143 0.009008 0.009236 0.007694 0.008408 0.007732 0.009234 0.007912 0.005963 0.008857 0.009404 0.008198 0.005870 0.006699 0.007093 0.007197 0.005495 0.006751 0.005418 0.005706 0.007315 0.005536 0.006718 0.006899 0.007059 0.005488 0.007598 0.006846 0.005333 0.005586 0.007195 0.006059 0.007272 0.007334 0.007609 0.006403 0.006566 0.007326 0.007048 0.005392 0.007765 0.007274 0.006907 0.007341 0.005322 0.006585 0.006932 0.007210 0.007790 0.006857 0.005888 0.007307 0.005508 0.006741 0.005525 0.006553 0.006461 0.006879 0.006576 0.010853 0.011588 0.006866 0.007033 0.012507 0.006759 0.006362 0.011375 0.013032 0.009852 0.010597 0.010358 0.012094 0.011187 0.009847 0.012357 0.006072 0.006645 0.010225 0.006591 0.008488 0.011131 0.006669 0.010867 0.011195 0.006304 0.008487 0.006058 0.009534 0.009984 0.009867 0.011974 0.011628 0.006647 0.009882 0.009530 0.011147 0.011994 0.009362 0.010339 0.009388 0.011563 0.006931 0.013298 0.006708 0.010624 0.012027 0.009584 0.013218 0.006193 0.006224 0.005827 0.009496 0.008157 0.009093 0.009331 0.009480 0.008158 0.005745 0.006243 0.006182 0.009552 0.006000 0.007943 0.008935 0.008933 0.005789 0.009502 0.008561 0.010198 0.006294 0.006217 0.008672 0.007149 0.009371 0.008993 0.009402 0.006313 0.007375 0.006070 0.008080 0.008502 0.008542 0.010151 0.010068 0.008636 0.008165 0.009262 0.009919 0.008309 0.008923 0.007849 0.009643 0.008418 0.005840 0.009012 0.009936 0.007980 0.006458 0.006141 0.005851 0.005983 0.008927 0.009548 0.010570 0.006300 0.006006 0.008779 0.005942 0.007634 0.008468 0.007991 0.009834 0.008953 0.007858 0.010197 0.006083 0.006285 0.008568 0.006174 0.007267 0.008634 0.008497 0.005919 0.009429 0.006012 0.007149 0.005971 0.007726 0.008421 0.008341 0.010426 0.008990 0.005963 0.008168 0.007689 0.008963 0.009486 0.007690 0.008486 0.008094 0.009276 0.006225 0.005897 0.008508 0.009396 0.007672 0.005793 0.006482 0.005526 0.005648 0.006868 0.007570 0.007513 0.005515 0.006988 0.005523 0.005521 0.007740 0.005867 0.006863 0.007469 0.007473 0.005462 0.008329 0.006909 0.005439 0.005945 0.007342 0.006254 0.007536 0.007439 0.007908 0.005482 0.006788 0.007150 0.007365 0.007208 0.005795 0.008225 0.007604 0.006696 0.007676 0.005278 0.006629 0.007520 0.007025 0.007722 0.006984 0.005865 0.007542 0.005342 0.007109 0.005528 0.006038 0.007998 0.007341 0.007497 0.007545 0.005287 0.007117 0.005477 0.008178 0.005711 0.007211 0.007440 0.007323 0.005603 0.008396 0.007125 0.005527 0.005773 0.007338 0.005644 0.006381 0.007755 0.007461 0.005735 0.008232 0.005679 0.006696 0.005891 0.007102 0.007348 0.007176 0.005992 0.005752 0.008286 0.007623 0.006876 0.007856 0.008223 0.006727 0.007453 0.007457 0.008108 0.007191 0.005639 0.007726 0.005529 0.007256 0.005863 0.005802 0.007129 0.006822 0.007639 0.007318 0.006886 0.006951 0.006411 0.006692 0.006380 0.006817 0.006698 0.006726 0.006117 0.010454 0.011882 0.006083 0.006696 0.006444 0.006536 0.009699 0.006156 0.006651 0.006921 0.011361 0.010698 0.009625 0.008928 0.006599 0.012890 0.006714 0.006293 0.006279 0.006142 0.005781 0.008320 0.006022 0.007969 0.006195 0.008514 0.006034 0.005945 0.005868 0.005363 0.007344 0.007140 0.005360 0.005538 0.005555 0.007372 0.005498 0.007005 0.006826 0.006520 0.005313 0.007776 0.006518 0.005865 0.005682 0.006795 0.006328 0.007392 0.006948 0.005567 0.007497 0.005607 0.005862 0.005575 0.006830 0.006802 0.006764 0.005512 0.008176 0.006547 0.006685 0.007268 0.005348 0.006574 0.006888 0.006675 0.007118 0.005463 0.007094 0.005374 0.006684 0.005594 0.005419 0.005625 0.006247 0.006092 0.005123 0.005526 0.006353 0.005368 0.006143 0.006072 0.005782 0.005835 0.005076 0.006309 0.005538 0.006591 0.005936 0.006327 0.005743 0.005893 0.006146 0.005923 0.005078 0.005248 0.006306 0.005629 0.006108 0.005395 0.005569 0.005980 0.005751 0.005207 0.005932 0.006338 0.005316 0.006011 0.005437 0.005696 0.005423 0.007479 0.007526 0.005735 0.005355 0.005786 0.007591 0.005471 0.006707 0.006914 0.006585 0.005632 0.007387 0.006568 0.005501 0.005691 0.006830 0.005819 0.007646 0.007309 0.005361 0.007348 0.005914 0.006453 0.005462 0.006417 0.006865 0.007144 0.005294 0.008017 0.007769 0.006652 0.007708 0.005788 0.006441 0.007068 0.006517 0.007621 0.006614 0.005926 0.007526 0.005659 0.006918 0.005437 0.005451 0.005736 0.007808 0.006772 0.007970 0.007631 0.005296 0.006942 0.005472 0.005676 0.008145 0.005817 0.006605 0.007617 0.007449 0.005901 0.006411 0.008237 0.007110 0.005725 0.005344 0.007668 0.006224 0.007470 0.007376 0.007909 0.006768 0.007078 0.007177 0.007284 0.005819 0.005397 0.008015 0.007891 0.006890 0.007679 0.008040 0.006835 0.007229 0.007497 0.008169 0.007252 0.005859 0.007740 0.005506 0.007206 0.005920 0.005461 0.005248 0.006126 0.005097 0.006450 0.006273 0.005330 0.006334 0.006563 0.006486 0.005575 0.005318 0.005893 0.006343 0.005830 0.005258 0.006631 0.005130 0.006022 0.005957 0.006572 0.006180 0.005530 0.005070 0.006329 0.005875 0.006776 0.005129 0.006139 0.006237 0.006250 0.006272 0.006246 0.005823 0.006479 0.012206 0.006692 0.012562 0.006897 0.010937 0.006479 0.006099 0.010648 0.006868 0.006909 0.010194 0.010042 0.010699 0.006361 0.007067 0.011877 0.006434 0.006260 0.010364 0.011682 0.008554 0.009661 0.009780 0.008768 0.011142 0.010765 0.008764 0.011025 0.005927 0.006585 0.009279 0.006066 0.007759 0.009988 0.006598 0.009875 0.011908 0.011006 0.006020 0.007894 0.006150 0.009049 0.006321 0.009203 0.009414 0.006934 0.011753 0.011213 0.010799 0.006324 0.009102 0.008651 0.010332 0.010900 0.009033 0.009856 0.006330 0.008644 0.010507 0.006613 0.012180 0.006789 0.009955 0.010702 0.009214 0.012138 0.006285 0.005741 0.005585 0.005720 0.005779 0.005341 0.007051 0.007369 0.007209 0.005384 0.006643 0.005678 0.007608 0.005614 0.006701 0.007126 0.007509 0.005565 0.008025 0.006807 0.005654 0.005549 0.007293 0.006225 0.007387 0.007218 0.005526 0.007568 0.005816 0.006355 0.005620 0.007099 0.007438 0.007183 0.005561 0.008327 0.007402 0.006605 0.007618 0.005665 0.006674 0.006964 0.006896 0.007877 0.006982 0.005794 0.007142 0.005398 0.007165 0.005650 0.005926 0.006077 0.006025 0.006108 0.005686 0.005971 0.008001 0.008527 0.009060 0.006195 0.005829 0.008823 0.005667 0.007140 0.007739 0.007318 0.005810 0.008843 0.008305 0.007569 0.008900 0.005971 0.007805 0.005620 0.006525 0.008254 0.007892 0.005858 0.008299 0.005753 0.006892 0.006173 0.007036 0.006344 0.007801 0.007519 0.005653 0.008871 0.008576 0.006108 0.007897 0.007142 0.008295 0.008869 0.007217 0.007663 0.006118 0.007286 0.009037 0.006206 0.005975 0.008235 0.008595 0.007536 0.005628 0.005794 0.005583 0.005290 0.005420 0.005640 0.005502 0.006583 0.007017 0.007022 0.005712 0.006195 0.005303 0.007193 0.005337 0.006019 0.006814 0.006844 0.005269 0.007377 0.006440 0.005321 0.005458 0.007091 0.005737 0.007085 0.006944 0.007235 0.005864 0.006121 0.006383 0.006723 0.006914 0.005507 0.007497 0.006849 0.006934 0.007241 0.005273 0.006432 0.006767 0.006533 0.007261 0.006620 0.005587 0.007014 0.005353 0.006295 0.005528 0.009933 0.009092 0.039828 0.008303 0.008408 0.025282 0.008504 0.008078 0.009001 0.008040 0.007555 0.021275 0.018309 0.020409 0.007762 0.007665 0.017460 0.008522 0.023996 0.008148 0.018259 0.020739 0.008391 0.008233 0.007896 0.008247 0.007212 0.017102 0.007407 0.006854 0.015813 0.007459 0.017719 0.008675 0.006924 0.007718 0.015643 0.007215 0.017296 0.014216 0.015990 0.011207 0.013002 0.012308 0.017544 0.014792 0.014191 0.011829 0.015025 0.016109 0.007373 0.012119 0.006804 0.007685 0.007343 0.013053 0.016194 0.014135 0.016363 0.010160 0.016270 0.007868 0.011609 0.006902 0.012109 0.008153 0.015968 0.014630 0.014070 0.017140 0.012139 0.012124 0.014295 0.010945 0.011396 0.014564 0.006903 0.016417 0.007571 0.013119 0.013813 0.007753 0.011593 0.016392 0.017118 0.005282 0.005228 0.006586 0.006862 0.007046 0.005955 0.006952 0.006203 0.006618 0.006365 0.005505 0.005254 0.006021 0.006411 0.005832 0.006715 0.006402 0.006815 0.006230 0.006062 0.006422 0.006220 0.005271 0.005150 0.006475 0.006014 0.006992 0.005113 0.006063 0.006675 0.006175 0.006735 0.006503 0.005346 0.006381 0.006873 0.006849 0.007574 0.007141 0.013281 0.006786 0.013795 0.007177 0.007112 0.006834 0.006888 0.006381 0.011165 0.012003 0.006910 0.006789 0.012489 0.006698 0.006716 0.011418 0.013395 0.009401 0.010721 0.010685 0.009253 0.012263 0.011354 0.009973 0.012280 0.006215 0.006698 0.010484 0.006609 0.008264 0.011300 0.007001 0.006774 0.010557 0.013168 0.011623 0.006431 0.008653 0.006707 0.007164 0.009440 0.006647 0.010136 0.010154 0.007092 0.012909 0.012164 0.011980 0.006401 0.009914 0.009595 0.011270 0.011686 0.009488 0.010587 0.006642 0.009707 0.011696 0.006637 0.013317 0.006746 0.010930 0.011800 0.007366 0.009536 0.013332 0.006449 0.006566 0.006096 0.005922 0.006335 0.006466 0.009697 0.006245 0.006115 0.009364 0.007850 0.005951 0.009090 0.008893 0.009484 0.007736 0.010115 0.006669 0.006100 0.009495 0.006161 0.007886 0.008801 0.008706 0.006244 0.009650 0.009836 0.008269 0.010216 0.005767 0.006780 0.008469 0.006343 0.007243 0.009137 0.006435 0.009257 0.006263 0.009840 0.006060 0.007557 0.005987 0.007858 0.006104 0.008502 0.008595 0.006307 0.010233 0.009734 0.006106 0.008715 0.008419 0.009370 0.009667 0.007800 0.008989 0.006193 0.008084 0.009246 0.006304 0.008057 0.006087 0.009165 0.009815 0.008241 0.006006 0.006013 0.006424 0.005936 0.006079 0.008107 0.010475 0.006634 0.008287 0.006404 0.008306 0.006502 0.008792 0.008140 0.009958 0.008403 0.008917 0.006042 0.010376 0.005901 0.006207 0.008215 0.006009 0.006251 0.009459 0.005908 0.009247 0.008656 0.009444 0.007545 0.008649 0.006485 0.005999 0.010403 0.008425 0.007594 0.010016 0.009558 0.005933 0.005840 0.008932 0.008484 0.010094 0.005846 0.009017 0.009960 0.009439 0.006267 0.006188 0.008657 0.010470 0.009090 0.009724 0.009397 0.009922 0.005886 0.008150 0.009607 0.006499 0.009361 0.005827 0.005994 0.006372 0.010102 0.006263 0.008013 0.005964 0.006735 0.007784 0.007326 0.016800 0.007356 0.015750 0.007074 0.011634 0.011972 0.014132 0.007475 0.007229 0.007690 0.016033 0.012851 0.008109 0.007339 0.007476 0.006927 0.015000 0.006917 0.013704 0.015333 0.013573 0.016554 0.007178 0.007577 0.007359 0.008361 0.017461 0.007476 0.006903 0.007377 0.016342 0.007185 0.007858 0.007911 0.017994 0.007202 0.006583 0.005941 0.006040 0.007768 0.009529 0.005859 0.006129 0.007586 0.006467 0.007730 0.009427 0.007585 0.008146 0.005919 0.009863 0.006229 0.006074 0.007631 0.006160 0.005918 0.008915 0.006071 0.008478 0.008073 0.008204 0.006423 0.005811 0.009425 0.008403 0.007276 0.009478 0.009238 0.006004 0.006196 0.008206 0.007713 0.009163 0.006164 0.008508 0.008878 0.006012 0.006368 0.008033 0.009932 0.007854 0.009029 0.006196 0.006310 0.005890 0.006092 0.006139 0.006324 0.005589 0.006683 0.005428 0.005727 0.007282 0.007201 0.007045 0.005603 0.006947 0.006936 0.005600 0.006704 0.007575 0.007426 0.007068 0.007320 0.006098 0.006897 0.005883 0.005571 0.006783 0.006623 0.005618 0.007511 0.007102 0.007111 0.008094 0.005350 0.007343 0.007373 0.007619 0.005447 0.006804 0.005491 0.007030 0.005676 0.007145 0.007803 0.005381 0.007531 0.005639 0.005482 0.005901 0.005738 0.005692 0.005962 0.005722 0.005641 0.005951 0.005395 0.004825 0.006121 0.005446 0.005805 0.005559 0.005860 0.005707 0.005030 0.005624 0.005329 0.005609 0.005506 0.005163 0.004720 0.005453 0.005222 0.004937 0.005326 0.005340 0.005032 0.005329 0.005322 0.005128 0.006796 0.007805 0.007270 0.006498 0.006660 0.012785 0.006625 0.009039 0.009951 0.011338 0.006904 0.006732 0.006179 0.009993 0.007273 0.006791 0.007291 0.006889 0.006365 0.006396 0.010922 0.012316 0.010387 0.006311 0.006506 0.006694 0.006437 0.006284 0.006652 0.006436 0.006812 0.013086 0.006709 0.007124 0.007322 0.006502 0.006772 0.005881 0.006473 0.005896 0.005790 0.007216 0.008740 0.005946 0.006282 0.007346 0.006229 0.007211 0.008631 0.007245 0.007564 0.005985 0.008931 0.005790 0.006184 0.007715 0.005680 0.005761 0.008738 0.005948 0.008341 0.007944 0.007546 0.005746 0.009200 0.007478 0.006924 0.009293 0.008688 0.005833 0.005939 0.007697 0.007114 0.008717 0.005717 0.008040 0.008307 0.006154 0.007600 0.009089 0.007751 0.008541 0.005854 0.005889 0.005805 0.005787 0.006176 0.005675 0.005594 0.006715 0.005364 0.005382 0.006885 0.007124 0.007504 0.006725 0.007615 0.006871 0.007160 0.005684 0.005449 0.006656 0.005712 0.008159 0.007294 0.007183 0.007629 0.006539 0.007616 0.005548 0.005394 0.006889 0.006401 0.005585 0.007513 0.007181 0.006771 0.007848 0.005481 0.007281 0.007615 0.007404 0.006911 0.005634 0.007030 0.005452 0.007461 0.007652 0.006673 0.007626 0.007134 0.005431 0.005859 0.005469 0.005723 0.006101 0.005363 0.006113 0.006159 0.006413 0.006141 0.005027 0.005987 0.007471 0.005400 0.006006 0.006704 0.006124 0.006487 0.006610 0.005871 0.006392 0.006291 0.006055 0.005208 0.006308 0.006105 0.005320 0.006614 0.006598 0.006575 0.006471 0.006510 0.006358 0.005208 0.006072 0.005653 0.006762 0.005459 0.005865 0.005866 0.005659 0.005913 0.006681 0.005619 0.005848 0.006624 0.006978 0.006939 0.006654 0.007733 0.006426 0.007319 0.005831 0.005502 0.006613 0.005539 0.007996 0.007063 0.007251 0.007322 0.006032 0.006993 0.005697 0.005526 0.006529 0.006417 0.005925 0.007388 0.006899 0.006946 0.007929 0.005691 0.007172 0.007325 0.007359 0.006784 0.006864 0.005427 0.007224 0.007485 0.007491 0.007022 0.005694 0.005274 0.006036 0.006516 0.006549 0.005931 0.006486 0.006130 0.005953 0.008000 0.009269 0.006201 0.006214 0.007593 0.006036 0.007723 0.009281 0.007962 0.008232 0.005910 0.009567 0.005882 0.006174 0.007769 0.005987 0.005803 0.009421 0.006154 0.008419 0.008205 0.008349 0.006278 0.005916 0.009849 0.007894 0.007283 0.009784 0.009125 0.006012 0.006252 0.008336 0.007639 0.009524 0.006053 0.008447 0.009000 0.005927 0.006067 0.007879 0.009687 0.007985 0.009009 0.006245 0.006057 0.006165 0.005985 0.006658 0.006372 0.005904 0.005860 0.005735 0.007162 0.005503 0.005615 0.007117 0.007501 0.007598 0.007225 0.008119 0.007024 0.007785 0.005760 0.005979 0.007224 0.006373 0.008545 0.007542 0.007313 0.007834 0.006346 0.007207 0.005510 0.005694 0.007082 0.006661 0.005628 0.007764 0.006069 0.007669 0.006811 0.008092 0.006021 0.007709 0.007807 0.007881 0.005688 0.007319 0.005412 0.007592 0.005587 0.008040 0.008065 0.007106 0.007754 0.007397 0.006387 0.005582 0.007310 0.005906 0.006323 0.005490 0.006721 0.006901 0.006593 0.006516 0.006130 0.006737 0.005400 0.006308 0.005525 0.006508 0.006561 0.005064 0.006059 0.006970 0.006130 0.005994 0.005911 0.006717 0.006401 0.006456 0.005478 0.006941 0.006788 0.006309 0.006782 0.006673 0.006187 0.008932 0.008614 0.008753 0.008056 0.008242 0.008389 0.008830 0.008137 0.007778 0.008618 0.019324 0.021089 0.018589 0.007767 0.007734 0.009651 0.008761 0.008274 0.026044 0.008272 0.008357 0.007752 0.007109 0.007925 0.007497 0.007388 0.016261 0.007960 0.007282 0.007594 0.006768 0.007451 0.013288 0.007766 0.007333 0.007087 0.007743 0.014039 0.015628 0.013792 0.017259 0.006911 0.007227 0.008600 0.008511 0.006964 0.007207 0.007607 0.017143 0.007084 0.007738 0.007738 0.007286 0.006709 0.007468 0.007076 0.006321 0.006580 0.013428 0.006837 0.009807 0.010196 0.012052 0.006949 0.006771 0.006030 0.010580 0.007258 0.007029 0.006518 0.006759 0.006216 0.006475 0.011351 0.013074 0.011435 0.006395 0.006456 0.006902 0.006492 0.006484 0.007203 0.006795 0.007168 0.013665 0.006892 0.007384 0.007937 0.006831 0.006886 0.006675 0.006100 0.006729 0.005993 0.006131 0.009431 0.005754 0.006331 0.007782 0.008209 0.006064 0.009853 0.006060 0.006488 0.006039 0.009106 0.008512 0.008296 0.006293 0.005994 0.009435 0.006060 0.009320 0.008063 0.009111 0.005968 0.006410 0.008056 0.010281 0.007950 0.006336 0.009670 0.006053 0.006098 0.006265 0.006034 0.006180 0.006140 0.005632 0.006029 0.005478 0.007056 0.005647 0.005656 0.007071 0.006959 0.007410 0.006879 0.008197 0.007422 0.007859 0.005644 0.005617 0.006838 0.005550 0.008281 0.007372 0.007239 0.007958 0.006275 0.007237 0.005719 0.005740 0.007505 0.006389 0.005612 0.007995 0.005956 0.007366 0.006883 0.007944 0.005638 0.007816 0.008229 0.007695 0.005691 0.007222 0.005756 0.007399 0.005533 0.007603 0.008018 0.006975 0.007909 0.008076 0.005650 0.005484 0.006924 0.005825 0.006504 0.005626 0.006814 0.006743 0.006740 0.006557 0.005639 0.006823 0.007484 0.005379 0.006838 0.005520 0.006797 0.007209 0.005552 0.005814 0.006797 0.007011 0.006405 0.005440 0.006788 0.006395 0.005384 0.006705 0.005516 0.007528 0.007284 0.006867 0.006914 0.005232 0.006546 0.005230 0.005528 0.005762 0.006956 0.006270 0.005177 0.006461 0.005976 0.006491 0.006023 0.005487 0.006278 0.006848 0.005534 0.005186 0.006567 0.006850 0.006363 0.006456 0.006858 0.005659 0.006881 0.006554 0.006108 0.005160 0.005180 0.006394 0.006038 0.005074 0.006380 0.007074 0.006828 0.006492 0.006799 0.006444 0.005092 0.006066 0.005264 0.006460 0.005546 0.006470 0.005829 0.005839 0.006810 0.005871 0.006221 0.007244 0.006218 0.006747 0.005548 0.006803 0.007367 0.005664 0.005969 0.006941 0.005780 0.005771 0.007919 0.005639 0.007545 0.007719 0.007218 0.005615 0.005565 0.007390 0.009083 0.007518 0.008794 0.006022 0.007320 0.007209 0.008099 0.005613 0.007819 0.008144 0.005784 0.007000 0.005617 0.007215 0.008229 0.005771 0.005672 0.006155 0.006876 0.013036 0.007001 0.006995 0.006781 0.014375 0.007176 0.006905 0.007410 0.007234 0.006901 0.006468 0.013769 0.009980 0.012368 0.006895 0.014068 0.006690 0.009479 0.006814 0.010798 0.010086 0.012282 0.010250 0.010541 0.006745 0.006586 0.012333 0.013537 0.007057 0.006474 0.012446 0.009928 0.006343 0.006526 0.012072 0.013508 0.011054 0.007926 0.010425 0.006864 0.006845 0.011419 0.008397 0.010424 0.007034 0.006235 0.012467 0.009979 0.009047 0.012541 0.012147 0.006256 0.009417 0.010836 0.009380 0.012179 0.012902 0.011037 0.011633 0.011636 0.006365 0.006573 0.010621 0.013250 0.007299 0.006911 0.010455 0.006623 0.012136 0.011140 0.012139 0.006548 0.006771 0.006855 0.006332 0.007359 0.014136 0.006703 0.007224 0.007269 0.006751 0.013620 0.007240 0.006515 0.010540 0.006316 0.006445 0.005972 0.006272 0.005960 0.005886 0.008118 0.010015 0.006125 0.008222 0.006465 0.008273 0.010268 0.008009 0.008561 0.006075 0.006097 0.009977 0.010857 0.006178 0.005809 0.008199 0.006036 0.006153 0.009498 0.006408 0.008948 0.008884 0.008703 0.006366 0.005788 0.010374 0.008353 0.007373 0.010306 0.009911 0.006119 0.006152 0.009159 0.008184 0.009616 0.007914 0.008910 0.009416 0.006060 0.006428 0.008484 0.010762 0.008390 0.006260 0.009793 0.006261 0.006022 0.005986 0.006210 0.006392 0.006241 0.005912 0.006076 0.007768 0.005655 0.005864 0.007843 0.007604 0.007894 0.007040 0.008435 0.007177 0.007984 0.006369 0.005565 0.006041 0.006049 0.007432 0.008795 0.007809 0.007534 0.008084 0.006821 0.007925 0.005751 0.005738 0.007410 0.006774 0.005453 0.007914 0.005683 0.007303 0.006859 0.008452 0.005564 0.007440 0.008497 0.008131 0.005833 0.007752 0.005669 0.007571 0.005438 0.008033 0.008351 0.007186 0.008171 0.007927 0.005422 0.005652 0.005829 0.005019 0.006277 0.006221 0.006637 0.005782 0.005055 0.005799 0.006134 0.005577 0.005229 0.006064 0.006750 0.006351 0.006087 0.006966 0.005514 0.006018 0.005189 0.005754 0.005720 0.005239 0.005238 0.006164 0.005764 0.005129 0.006191 0.006411 0.006490 0.006413 0.006141 0.005188 0.006390 0.005739 0.006279 0.004896 0.006188 0.005530 0.005329 0.005686 0.008022 0.008352 0.007250 0.008295 0.008220 0.007861 0.007338 0.007209 0.007803 0.007481 0.007868 0.007130 0.007257 0.017601 0.017369 0.014103 0.007387 0.016917 0.008402 0.007328 0.011492 0.012058 0.012701 0.017798 0.007850 0.007212 0.007442 0.016910 0.014902 0.013991 0.007558 0.007345 0.007447 0.012707 0.007179 0.008117 0.008065 0.015037 0.006845 0.014709 0.016349 0.014511 0.017413 0.008455 0.007029 0.012563 0.016411 0.007598 0.007363 0.012568 0.007361 0.008971 0.008642 0.014767 0.018499 0.007429 0.007062 0.007890 0.007301 0.007769 0.007952 0.007233 0.006846 0.007497 0.007252 0.007215 0.007024 0.006731 0.007378 0.006946 0.006697 0.006330 0.013201 0.012303 0.006714 0.013078 0.006887 0.006675 0.009917 0.009980 0.007017 0.006532 0.012411 0.007284 0.006549 0.006362 0.006210 0.011467 0.010671 0.007113 0.007175 0.006847 0.010178 0.006929 0.006365 0.007448 0.011339 0.006351 0.011390 0.013173 0.011260 0.006692 0.006745 0.009927 0.012472 0.007045 0.006903 0.010049 0.006616 0.011410 0.006321 0.006976 0.006771 0.006355 0.007043 0.013567 0.007024 0.007347 0.007564 0.006501 0.006798 0.005719 0.006809 0.005916 0.007042 0.006831 0.007206 0.006570 0.008091 0.006804 0.007335 0.005955 0.005396 0.006030 0.006110 0.006681 0.007818 0.007190 0.007599 0.007251 0.006231 0.007177 0.005831 0.006999 0.006334 0.005577 0.007676 0.007219 0.006608 0.007737 0.007083 0.007590 0.007662 0.005900 0.007508 0.005733 0.007190 0.005910 0.007517 0.007782 0.006732 0.007913 0.007783 0.005799 0.005458 0.006954 0.006169 0.005529 0.006367 0.006217 0.006214 0.005984 0.005198 0.005879 0.006625 0.005594 0.005183 0.005920 0.006706 0.006284 0.006885 0.006636 0.006026 0.006706 0.006603 0.005852 0.005204 0.005216 0.006310 0.005837 0.005624 0.006658 0.006714 0.006676 0.006286 0.006237 0.006417 0.005165 0.005882 0.005643 0.006919 0.005237 0.006296 0.005932 0.005782 0.005583 0.007325 0.005722 0.005697 0.007417 0.007027 0.007438 0.007008 0.005572 0.007043 0.007697 0.005555 0.005743 0.006894 0.005737 0.006282 0.007965 0.006288 0.007670 0.007528 0.008072 0.006345 0.007324 0.005586 0.005514 0.007226 0.006646 0.005637 0.008110 0.005745 0.007586 0.007054 0.008567 0.005476 0.007724 0.008285 0.007956 0.005700 0.007339 0.005611 0.007165 0.005629 0.007618 0.008338 0.005309 0.007831 0.005733 0.005668 0.005641 0.005705 0.012932 0.011626 0.010446 0.010554 0.010339 0.041126 0.009367 0.037065 0.027722 0.047451 0.032917 0.010597 0.010589 0.010199 0.011054 0.009790 0.009111 0.009796 0.009497 0.031374 0.008993 0.009015 0.008855 0.008933 0.008753 0.027278 0.008479 0.029335 0.008045 0.021828 0.009127 0.015231 0.015571 0.031736 0.008689 0.025672 0.008523 0.021879 0.018519 0.008269 0.008201 0.026959 0.007934 0.008749 0.008840 0.023732 0.019401 0.021397 0.019303 0.022492 0.008899 0.008016 0.009694 0.008349 0.025167 0.009691 0.009577 0.024447 0.008296 0.008369 0.026634 0.008577 0.008472 0.009028 0.008341 0.009223 0.008783 0.007810 0.008115 0.007545 0.017638 0.008578 0.008331 0.008243 0.007490 0.007573 0.020839 0.008614 0.007581 0.018416 0.008027 0.007439 0.007287 0.018608 0.018021 0.012607 0.014736 0.007454 0.017631 0.008331 0.007194 0.012764 0.011639 0.015870 0.012303 0.012951 0.019300 0.018938 0.015847 0.017356 0.007793 0.007778 0.007264 0.016199 0.012758 0.007841 0.017543 0.017242 0.015392 0.017449 0.014440 0.007774 0.007467 0.007406 0.013242 0.007682 0.017354 0.008304 0.016313 0.012594 0.010541 0.016243 0.008402 0.015730 0.006994 0.019036 0.014455 0.012349 0.015564 0.017044 0.014857 0.015379 0.018304 0.008049 0.007249 0.012948 0.016884 0.009143 0.007615 0.007401 0.013033 0.007132 0.008863 0.008827 0.015366 0.019464 0.007819 0.007382 0.017197 0.007719 0.018541 0.007329 0.007757 0.007940 0.019957 0.007567 0.007677 0.006744 0.007540 0.006988 0.012683 0.008049 0.007637 0.007741 0.007128 0.007007 0.006851 0.007460 0.013608 0.007001 0.006284 0.007171 0.006970 0.006693 0.006463 0.012970 0.009666 0.011391 0.006846 0.013236 0.007393 0.007172 0.009890 0.006772 0.010520 0.009303 0.012192 0.009498 0.010086 0.006511 0.006683 0.012002 0.013111 0.007391 0.006940 0.006905 0.012554 0.009673 0.007247 0.006484 0.006575 0.011695 0.013322 0.011054 0.007713 0.010235 0.007186 0.006875 0.011238 0.008592 0.010075 0.006480 0.006303 0.007464 0.012545 0.009714 0.008575 0.012431 0.007611 0.011892 0.006407 0.009541 0.010814 0.009381 0.011778 0.012565 0.011408 0.011288 0.011395 0.006964 0.007730 0.006564 0.009965 0.012893 0.007042 0.006751 0.010027 0.006894 0.011849 0.010740 0.011592 0.006532 0.006818 0.006671 0.006448 0.007508 0.013787 0.006700 0.007639 0.007099 0.006425 0.013404 0.007329 0.006779 0.006733 0.010483 0.007452 0.006977 0.006572 0.006430 0.006274 0.006770 0.006208 0.007206 0.006619 0.006385 0.006534 0.006033 0.008187 0.009813 0.006626 0.005976 0.008631 0.006294 0.008241 0.006147 0.009128 0.008063 0.010071 0.008495 0.008704 0.006319 0.006183 0.010583 0.010678 0.007078 0.006569 0.006179 0.006300 0.008349 0.005902 0.006022 0.009830 0.005931 0.009100 0.006870 0.008630 0.006675 0.006217 0.009656 0.007230 0.008984 0.006320 0.006067 0.010887 0.008487 0.007522 0.010093 0.010277 0.006410 0.006396 0.008802 0.008187 0.010084 0.007934 0.009856 0.009901 0.009622 0.006072 0.006628 0.008732 0.010815 0.006608 0.006310 0.008714 0.006290 0.010461 0.009340 0.009827 0.006500 0.006577 0.009575 0.006446 0.009351 0.005959 0.006213 0.006413 0.010178 0.006178 0.006356 0.006907 0.005684 0.005770 0.005992 0.005761 0.005677 0.007329 0.005753 0.005747 0.007442 0.007329 0.007978 0.006960 0.008562 0.007360 0.007927 0.005788 0.006012 0.005695 0.005774 0.005784 0.007094 0.006102 0.005661 0.008007 0.005600 0.007987 0.007503 0.008152 0.006619 0.007551 0.005765 0.005891 0.007506 0.006767 0.005480 0.008548 0.005989 0.007935 0.007841 0.008781 0.005819 0.008367 0.008324 0.008077 0.005745 0.007482 0.006037 0.007605 0.005492 0.007824 0.008417 0.005865 0.007331 0.008201 0.005898 0.007787 0.005858 0.005873 0.006128 0.005954 0.006901 0.005678 0.006334 0.005134 0.006234 0.006484 0.006425 0.006160 0.005937 0.006206 0.006871 0.005256 0.005642 0.006300 0.007009 0.006477 0.006560 0.006966 0.005906 0.007005 0.006793 0.006583 0.005446 0.005127 0.006479 0.006027 0.005126 0.006507 0.006861 0.006897 0.006526 0.006668 0.006634 0.005457 0.007014 0.005261 0.006502 0.005392 0.006257 0.005600 0.005631 0.005824 0.005890 0.005943 0.005624 0.005950 0.005873 0.005609 0.005876 0.005167 0.006113 0.005740 0.005649 0.006040 0.005621 0.005891 0.005688 0.005880 0.005126 0.005940 0.005767 0.007868 0.005693 0.006537 0.005890 0.005826 0.006494 0.006198 0.005947 0.007333 0.005492 0.005785 0.007523 0.007233 0.005926 0.007988 0.006985 0.008558 0.007250 0.008158 0.005826 0.005972 0.005613 0.005804 0.006177 0.005702 0.007481 0.005958 0.005776 0.008217 0.005703 0.008313 0.007629 0.008380 0.008268 0.006670 0.007932 0.005874 0.005400 0.005578 0.007700 0.006843 0.005893 0.008126 0.005973 0.005863 0.007776 0.007986 0.008666 0.005776 0.008131 0.008515 0.008314 0.005695 0.007596 0.006036 0.007628 0.005984 0.008160 0.008593 0.006104 0.007308 0.008161 0.006374 0.008044 0.005972 0.005793 0.005389 0.006125 0.007007 0.005712 0.014000 0.012012 0.008209 0.007303 0.007446 0.006917 0.014037 0.007954 0.008220 0.007646 0.007108 0.007143 0.006839 0.007642 0.015000 0.007109 0.006575 0.007449 0.007061 0.006845 0.006732 0.015303 0.010405 0.012959 0.006875 0.014913 0.007926 0.011035 0.006985 0.010310 0.006375 0.011714 0.010361 0.013217 0.010763 0.011194 0.006694 0.006793 0.013348 0.014416 0.008014 0.007252 0.006833 0.013668 0.010406 0.007491 0.006447 0.006287 0.012820 0.014915 0.011842 0.007357 0.011679 0.007198 0.006988 0.012606 0.012377 0.008901 0.011096 0.013438 0.006879 0.006434 0.007632 0.013766 0.010889 0.009254 0.013595 0.007939 0.012941 0.006552 0.009906 0.011954 0.010468 0.012627 0.014678 0.012141 0.012577 0.012447 0.006440 0.007759 0.006646 0.010849 0.013921 0.007376 0.007218 0.010883 0.006765 0.012816 0.012185 0.006631 0.012972 0.006609 0.007215 0.012494 0.006695 0.012268 0.006390 0.007433 0.015293 0.006809 0.007466 0.007371 0.013375 0.006883 0.014820 0.006997 0.006030 0.009870 0.006848 0.006721 0.011216 0.007261 0.007352 0.006790 0.006666 0.006190 0.006490 0.006308 0.007121 0.006688 0.006540 0.006544 0.006121 0.008849 0.010616 0.006624 0.006101 0.009214 0.006540 0.008721 0.006310 0.009808 0.008509 0.010775 0.008940 0.009094 0.006447 0.006167 0.011123 0.011295 0.007076 0.007149 0.006334 0.006256 0.008649 0.006160 0.006221 0.010324 0.006447 0.010218 0.006827 0.009190 0.006528 0.006450 0.010007 0.010187 0.007807 0.009417 0.005880 0.006353 0.005969 0.011244 0.008975 0.008275 0.010716 0.010753 0.006132 0.006167 0.010087 0.009110 0.010753 0.008183 0.010181 0.010467 0.010027 0.006148 0.006870 0.009232 0.011328 0.006892 0.006808 0.009223 0.006191 0.010301 0.010158 0.006272 0.010291 0.006311 0.006535 0.008844 0.010701 0.006252 0.010017 0.006294 0.007156 0.006237 0.006572 0.010528 0.006259 0.008501 0.006349 0.006602 0.008488 0.005961 0.008810 0.005643 0.005816 0.006051 0.005955 0.006068 0.007499 0.005742 0.006066 0.007727 0.007887 0.008089 0.007079 0.008740 0.007253 0.007859 0.006116 0.005813 0.005693 0.005634 0.005811 0.007283 0.005715 0.006042 0.008805 0.005699 0.008297 0.007817 0.008282 0.008585 0.006696 0.007665 0.005879 0.005719 0.005959 0.007811 0.007215 0.005555 0.008569 0.005875 0.007929 0.007336 0.008925 0.005857 0.008076 0.008572 0.008330 0.005659 0.007936 0.005680 0.008028 0.005539 0.007745 0.005867 0.008680 0.005675 0.006888 0.008488 0.005857 0.007664 0.005546 0.005631 0.005226 0.005686 0.007156 0.005432 0.011442 0.010311 0.006074 0.009918 0.006811 0.006442 0.011258 0.007840 0.007052 0.006432 0.006096 0.006175 0.006484 0.006168 0.006986 0.006708 0.006607 0.005942 0.006137 0.008694 0.010575 0.006276 0.006152 0.008706 0.006300 0.008811 0.006346 0.009622 0.008729 0.010756 0.008550 0.009298 0.005935 0.006118 0.011308 0.011574 0.006638 0.006811 0.006326 0.005773 0.008753 0.005988 0.005842 0.010584 0.006015 0.010267 0.006674 0.009139 0.006630 0.006566 0.009996 0.009958 0.007859 0.009270 0.005964 0.006352 0.005928 0.011213 0.008960 0.007916 0.011323 0.010800 0.006297 0.005986 0.010007 0.009063 0.010809 0.008089 0.009787 0.010481 0.010345 0.006316 0.006593 0.008958 0.011123 0.006709 0.006508 0.008946 0.006192 0.010684 0.010557 0.005954 0.010345 0.006321 0.006905 0.009115 0.010673 0.006587 0.010325 0.006093 0.006913 0.006043 0.006623 0.007260 0.010944 0.006442 0.008438 0.006024 0.006767 0.005458 0.008827 0.005372 0.008702 0.005772 0.006062 0.005997 0.006155 0.006057 0.007649 0.005418 0.006227 0.007591 0.008226 0.008408 0.007569 0.009090 0.007284 0.007954 0.005767 0.005741 0.005498 0.005836 0.005929 0.007415 0.005881 0.005526 0.009078 0.006171 0.008291 0.007794 0.008103 0.008493 0.006685 0.007635 0.005529 0.005513 0.005624 0.007592 0.007137 0.005551 0.008288 0.005842 0.007920 0.007535 0.008878 0.005786 0.008268 0.008492 0.008196 0.005808 0.007794 0.005546 0.007938 0.005743 0.008140 0.006070 0.009518 0.005848 0.007808 0.009040 0.007999 0.006014 0.005914 0.005823 0.006023 0.007245 0.005661 0.007753 0.008878 0.018245 0.008267 0.008859 0.008592 0.007579 0.007760 0.007928 0.008202 0.008170 0.007808 0.007524 0.007572 0.018088 0.008268 0.007350 0.017313 0.008072 0.007557 0.006904 0.017267 0.016724 0.013772 0.007271 0.016643 0.007868 0.007363 0.010991 0.011547 0.012361 0.018172 0.017629 0.015062 0.007324 0.007470 0.007288 0.007901 0.016702 0.016507 0.014566 0.013518 0.007644 0.007169 0.007641 0.012002 0.007250 0.015792 0.007892 0.008274 0.014493 0.006897 0.014193 0.015931 0.014105 0.017262 0.008115 0.006957 0.012363 0.015700 0.008663 0.007349 0.007272 0.011769 0.007131 0.008812 0.018341 0.008420 0.014363 0.018112 0.007313 0.007123 0.016172 0.007966 0.017251 0.007645 0.008041 0.007792 0.018610 0.007346 0.005984 0.008997 0.006202 0.010299 0.006872 0.006536 0.006306 0.006335 0.006160 0.006582 0.006135 0.006340 0.008438 0.009586 0.006059 0.006731 0.007987 0.006306 0.008096 0.009523 0.007992 0.008376 0.006239 0.006257 0.009879 0.006226 0.006172 0.005850 0.007775 0.005897 0.005881 0.009418 0.006120 0.009125 0.008389 0.006444 0.008584 0.005968 0.006264 0.006038 0.010335 0.008184 0.007382 0.010075 0.009425 0.006041 0.006011 0.006195 0.008651 0.008108 0.009579 0.006162 0.008848 0.009280 0.005908 0.006284 0.008219 0.010198 0.006411 0.008243 0.005965 0.009233 0.006026 0.006517 0.006146 0.006305 0.006420 0.006203 0.006713 0.006064 0.006091 0.005829 0.005737 0.006018 0.005628 0.006213 0.005536 0.005529 0.005620 0.006016 0.005789 0.005875 0.006020 0.005840 0.005273 0.007364 0.005972 0.005720 0.005894 0.006740 0.005453 0.005888 0.006735 0.006854 0.007154 0.006706 0.005354 0.006572 0.007073 0.005606 0.006005 0.007243 0.005735 0.005999 0.007566 0.005612 0.007597 0.007007 0.007608 0.007984 0.006876 0.007274 0.005431 0.005520 0.005534 0.006941 0.006432 0.005897 0.007711 0.005556 0.007222 0.006940 0.008031 0.005650 0.007390 0.008053 0.007551 0.006095 0.007020 0.005620 0.007069 0.005496 0.007438 0.008074 0.006572 0.005261 0.007524 0.007438 0.005540 0.005764 0.005565 0.006104 0.005821 0.005457 0.006651 0.006532 0.005412 0.006007 0.006411 0.006510 0.006071 0.005125 0.005907 0.006379 0.005371 0.005603 0.006306 0.006673 0.006561 0.006290 0.006707 0.005736 0.005852 0.006371 0.005408 0.005194 0.005913 0.005936 0.005227 0.005581 0.006654 0.006114 0.005145 0.006499 0.006860 0.006896 0.006904 0.006144 0.005412 0.006689 0.005796 0.005983 0.005353 0.006810 0.006400 0.005183 0.005912 0.005929 0.007122 0.006265 0.005275 0.006190 0.006400 0.006263 0.006192 0.005455 0.006267 0.006285 0.005319 0.005370 0.006188 0.006971 0.006511 0.006340 0.007161 0.005630 0.005804 0.006247 0.005389 0.005546 0.005477 0.005912 0.005883 0.005281 0.005444 0.005822 0.006161 0.006075 0.005219 0.006304 0.006702 0.006661 0.006420 0.006055 0.005475 0.006708 0.006029 0.006314 0.005463 0.006681 0.006491 0.005378 0.005760 0.007245 0.012328 0.010996 0.006461 0.007785 0.006909 0.007204 0.006776 0.012123 0.007563 0.007136 0.006756 0.006574 0.006923 0.007961 0.006857 0.006425 0.007723 0.007121 0.006918 0.006298 0.006791 0.012813 0.009427 0.011516 0.006933 0.012807 0.007524 0.006940 0.009197 0.006557 0.010099 0.011537 0.009460 0.009910 0.006403 0.006459 0.011755 0.012478 0.007185 0.007392 0.006721 0.012189 0.009937 0.007252 0.006245 0.006232 0.011109 0.012762 0.010577 0.007083 0.009896 0.006767 0.006707 0.013607 0.010040 0.012118 0.006931 0.006348 0.007317 0.012000 0.009249 0.008407 0.011371 0.011858 0.006446 0.009032 0.012360 0.010040 0.008934 0.011468 0.012569 0.010519 0.010988 0.006398 0.007400 0.006468 0.009771 0.012395 0.007362 0.006865 0.009412 0.006416 0.006420 0.011210 0.006545 0.006839 0.006496 0.006285 0.007070 0.013295 0.006648 0.007213 0.007140 0.006512 0.006913 0.010648 0.010346 0.009785 0.006184 0.009216 0.006312 0.005976 0.006487 0.010293 0.006828 0.006245 0.006204 0.005978 0.006427 0.005969 0.006466 0.006062 0.006689 0.006260 0.008054 0.009630 0.006069 0.008313 0.006229 0.007916 0.006322 0.008698 0.007918 0.009943 0.007972 0.009008 0.006170 0.006239 0.010512 0.005857 0.006442 0.005761 0.008130 0.006041 0.005922 0.009493 0.006137 0.009034 0.008580 0.009785 0.009770 0.006983 0.006656 0.008822 0.005974 0.006639 0.006177 0.010205 0.008171 0.007548 0.010032 0.009589 0.006038 0.006099 0.006052 0.008756 0.008436 0.009667 0.006305 0.009383 0.009540 0.009432 0.006364 0.006488 0.008615 0.010986 0.008517 0.009752 0.008965 0.006161 0.009654 0.006154 0.008242 0.009403 0.006103 0.009048 0.009568 0.006203 0.006017 0.006356 0.009860 0.006527 0.005921 0.006423 0.005723 0.005601 0.007941 0.005458 0.007667 0.005505 0.005906 0.006810 0.005591 0.007127 0.006795 0.007167 0.006748 0.007737 0.006782 0.007777 0.006068 0.005888 0.005722 0.005907 0.006972 0.008108 0.007443 0.007243 0.007797 0.007902 0.006395 0.005673 0.007277 0.005392 0.005685 0.007224 0.006635 0.005391 0.008019 0.005781 0.005843 0.007224 0.006683 0.007986 0.007149 0.007902 0.008064 0.005934 0.007467 0.005384 0.007562 0.007912 0.007520 0.007954 0.007008 0.007747 0.007689 0.007859 0.005648 0.006869 0.006643 0.010819 0.009557 0.008982 0.009566 0.009577 0.030103 0.008523 0.008845 0.008567 0.008630 0.026268 0.008367 0.028613 0.008067 0.021017 0.008590 0.030198 0.008402 0.024298 0.008523 0.017980 0.008280 0.007918 0.008110 0.008735 0.018232 0.020475 0.018294 0.021254 0.008662 0.008015 0.009603 0.008112 0.009422 0.008965 0.008038 0.008676 0.025200 0.008662 0.008303 0.007353 0.008756 0.008312 0.009169 0.009017 0.007385 0.008412 0.007339 0.015187 0.008028 0.007933 0.007810 0.007453 0.007220 0.018674 0.008079 0.007318 0.016322 0.007714 0.007230 0.007212 0.016849 0.019739 0.015747 0.011042 0.013231 0.007226 0.016019 0.008200 0.006943 0.010994 0.011173 0.007622 0.014021 0.011106 0.011476 0.016758 0.014255 0.015547 0.007460 0.007525 0.006909 0.011164 0.007772 0.016247 0.015584 0.013640 0.015677 0.013096 0.007476 0.007488 0.007326 0.016359 0.011998 0.007225 0.014902 0.007810 0.014137 0.011375 0.009404 0.007902 0.013755 0.007116 0.016880 0.012985 0.010887 0.013578 0.014935 0.008119 0.012779 0.013321 0.015869 0.007730 0.006907 0.011358 0.015372 0.008954 0.007397 0.007327 0.011167 0.006892 0.008884 0.016909 0.008277 0.013370 0.017189 0.007324 0.007261 0.007281 0.007105 0.007555 0.007696 0.007254 0.012746 0.006909 0.011583 0.010856 0.012065 0.006480 0.007956 0.012691 0.006971 0.007512 0.006661 0.011633 0.007664 0.007369 0.007290 0.006906 0.006363 0.006465 0.007567 0.013201 0.006666 0.006313 0.007973 0.006901 0.006538 0.006481 0.006741 0.012907 0.009174 0.011177 0.006812 0.012548 0.007932 0.009204 0.006628 0.009216 0.006800 0.010062 0.007456 0.009052 0.011339 0.009194 0.009646 0.006391 0.006238 0.011070 0.011900 0.007205 0.006597 0.006306 0.011303 0.009492 0.007476 0.006018 0.006332 0.010622 0.012153 0.009733 0.006968 0.009119 0.006680 0.006642 0.010661 0.007808 0.012804 0.009642 0.011340 0.006488 0.006210 0.007173 0.011057 0.009183 0.007957 0.010941 0.010523 0.006004 0.008729 0.011678 0.009664 0.008562 0.011034 0.011889 0.010270 0.010364 0.010507 0.006010 0.007658 0.006265 0.009111 0.011610 0.006694 0.006478 0.009247 0.006342 0.010853 0.010173 0.006266 0.010608 0.006723 0.006453 0.010307 0.006268 0.010526 0.010106 0.006339 0.006730 0.012565 0.006384 0.006812 0.007215 0.011155 0.006387 0.012256 0.006546 0.005491 0.005219 0.007109 0.005615 0.005765 0.005537 0.005518 0.006485 0.005171 0.005343 0.006753 0.006577 0.006664 0.006116 0.005070 0.006284 0.006787 0.005392 0.005351 0.006577 0.005717 0.005696 0.007399 0.005347 0.006948 0.006603 0.006968 0.007179 0.005785 0.005353 0.006657 0.005197 0.005194 0.005164 0.006464 0.006024 0.005089 0.007125 0.005705 0.006803 0.006361 0.007604 0.005241 0.006676 0.007160 0.007032 0.005347 0.006615 0.005471 0.006505 0.005088 0.006877 0.007394 0.006241 0.005146 0.007453 0.006869 0.005469 0.005356 0.005176 0.005252 0.004954 0.006104 0.006050 0.004978 0.005821 0.005707 0.005954 0.005597 0.004984 0.005657 0.006897 0.005262 0.005039 0.005775 0.005346 0.006093 0.006258 0.004987 0.004920 0.005336 0.006260 0.005774 0.005708 0.005353 0.005882 0.005591 0.004878 0.006263 0.004842 0.006357 0.006203 0.006285 0.006271 0.004900 0.005668 0.005169 0.004870 0.004858 0.005016 0.005765

total iso time: 45.090320
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 148            (499 /sec)
decisions             : 163            (0.00 % random) (549 /sec)
propagations          : 648            (2183 /sec)
conflict literals     : 1167           (21.20 % deleted)
components created    : 153
components cached     : 128
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 148
glasgow calls         : 5560
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.296789 s

SATISFIABLE
