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

iso times: 0.008863 0.007410 0.006368 0.007048 0.005562 0.005479 0.005752 0.007257 0.007148 0.006683 0.006677 0.006764 0.005976 0.005888 0.006345 0.006057 0.007061 0.012506 0.009996 0.008578 0.006022 0.006157 0.006142 0.005428 0.005942 0.005634 0.005593 0.007238 0.006491 0.007551 0.006871 0.006393 0.006621 0.006479 0.007001 0.006443 0.007360 0.005672 0.005768 0.005877 0.005980 0.005635 0.005671 0.005656 0.006119 0.008941 0.008760 0.007764 0.007272 0.007030 0.007288 0.007843 0.006970 0.006390 0.006737 0.006665 0.006590 0.007335 0.007393 0.007135 0.007508 0.006184 0.006168 0.006310 0.006221 0.007022 0.005865 0.008777 0.007545 0.007870 0.008748 0.007464 0.007722 0.008760 0.009063 0.007317 0.007996 0.007874 0.007563 0.008299 0.020731 0.019020 0.011133 0.013875 0.014850 0.013178 0.012535 0.006568 0.011347 0.012030 0.010640 0.008983 0.010607 0.010272 0.010947 0.009334 0.009802 0.006098 0.006407 0.005959 0.008900 0.007723 0.007373 0.008555 0.006724 0.007662 0.008514 0.008964 0.007246 0.007987 0.007767 0.007546 0.008160 0.005452 0.005442 0.006532 0.006201 0.006920 0.006840 0.006351 0.006593 0.006076 0.006760 0.006782 0.007956 0.005313 0.006689 0.007086 0.007120 0.007384 0.007471 0.006416 0.006212 0.006028 0.005862 0.005673 0.006195 0.006105 0.006451 0.005031 0.005245 0.006525 0.005544 0.006125 0.006121 0.005247 0.006913 0.005867 0.006495 0.006070 0.006104 0.005151 0.005847 0.006265 0.006604 0.005270 0.005517 0.006363 0.005671 0.006417 0.006516 0.005012 0.011138 0.006373 0.010996 0.010570 0.012260 0.010945 0.010093 0.005273 0.005382 0.005251 0.005176 0.004882 0.005803 0.005592 0.006124 0.005710 0.009710 0.006177 0.005972 0.008844 0.006052 0.008640 0.008380 0.009095 0.005802 0.005190 0.005623 0.006812 0.006929 0.005560 0.007280 0.005618 0.006352 0.006418 0.006415 0.006875 0.006164 0.006537 0.006403 0.006697 0.007664 0.005287 0.006319 0.007227 0.007069 0.006614 0.007540 0.006351 0.006119 0.005106 0.005632 0.005313 0.006076 0.006309 0.006125 0.005210 0.005521 0.006366 0.005827 0.005243 0.005292 0.005966 0.005361 0.006357 0.006652 0.005430 0.005699 0.005463 0.005411 0.005722 0.005536 0.005082 0.005582 0.005311 0.005658 0.004991 0.005811 0.005249 0.005958 0.005304 0.005051 0.004966 0.004790 0.006190 0.005893 0.007468 0.005636 0.005662 0.005588 0.006897 0.007043 0.005855 0.007640 0.005903 0.006505 0.006629 0.006828 0.006913 0.006615 0.006470 0.006270 0.006708 0.007511 0.005385 0.007068 0.007258 0.007200 0.006970 0.007890 0.007251 0.015652 0.015935 0.014860 0.011133 0.015032 0.016082 0.015070 0.013725 0.013623 0.006956 0.006990 0.011989 0.006265 0.012292 0.006938 0.011931 0.008937 0.011294 0.013108 0.011617 0.011299 0.006504 0.006126 0.009865 0.006317 0.008002 0.010305 0.006628 0.005934 0.006301 0.009049 0.005837 0.009239 0.008461 0.009541 0.009254 0.009227 0.008940 0.008746 0.006018 0.005593 0.007823 0.005986 0.005707 0.006053 0.006988 0.007718 0.005622 0.005527 0.008086 0.005913 0.007071 0.006497 0.007373 0.007460 0.006371 0.007190 0.006475 0.007008 0.007650 0.005688 0.006766 0.007284 0.007100 0.007350 0.007329 0.005516 0.006498 0.006207 0.006045 0.005885 0.005138 0.006383 0.005836 0.005970 0.005570 0.006748 0.006347 0.005395 0.005837 0.005546 0.006160 0.006452 0.006078 0.009967 0.006553 0.006054 0.009716 0.006002 0.009220 0.006400 0.007604 0.010231 0.008806 0.009090 0.006337 0.006259 0.006112 0.009285 0.005910 0.007911 0.009507 0.007902 0.007974 0.007800 0.009901 0.007171 0.008231 0.009425 0.009637 0.008247 0.009848 0.008837 0.008916 0.008272 0.009187 0.005775 0.007545 0.005666 0.005673 0.008004 0.005567 0.005712 0.005757 0.007215 0.007316 0.005724 0.005817 0.007814 0.005734 0.006917 0.007327 0.007317 0.007583 0.006796 0.006809 0.007185 0.007332 0.007460 0.008065 0.006066 0.007107 0.005878 0.007994 0.007170 0.007461 0.008236 0.005527 0.008016 0.005608 0.005714 0.007646 0.005892 0.005707 0.005759 0.007261 0.007329 0.005503 0.005764 0.008175 0.005702 0.006948 0.006520 0.006985 0.007534 0.007020 0.007138 0.006413 0.007165 0.007604 0.007648 0.005261 0.006968 0.005867 0.008042 0.007143 0.007224 0.007727 0.006974 0.006590 0.011046 0.010856 0.010879 0.011045 0.010576 0.006452 0.006363 0.011539 0.011328 0.008948 0.006581 0.012715 0.011715 0.011676 0.006972 0.006207 0.005901 0.008423 0.008025 0.008092 0.008281 0.009337 0.007874 0.009544 0.009014 0.008000 0.008849 0.007499 0.008931 0.007415 0.007596 0.008271 0.008204 0.009298 0.007517 0.009403 0.006248 0.008368 0.009794 0.007706 0.006505 0.005978 0.008512 0.008427 0.005946 0.006572 0.009327 0.006071 0.006180 0.008691 0.006064 0.009389 0.007586 0.006976 0.006765 0.007301 0.005845 0.006591 0.005327 0.007664 0.006918 0.006583 0.006321 0.006655 0.006891 0.007168 0.007454 0.006743 0.006821 0.007618 0.007095 0.005616 0.006148 0.005857 0.005562 0.007427 0.007251 0.005750 0.005198 0.005815 0.007411 0.005818 0.005732 0.006300 0.008373 0.008365 0.008074 0.009270 0.006070 0.009182 0.009010 0.008975 0.006859 0.009505 0.008181 0.008764 0.009002 0.009173 0.005990 0.009283 0.007312 0.005855 0.006367 0.008320 0.005857 0.006465 0.009721 0.005735 0.006426 0.005967 0.007736 0.007385 0.007303 0.007012 0.005896 0.006710 0.005232 0.007650 0.006914 0.006274 0.006295 0.006383 0.006600 0.006903 0.006763 0.006134 0.006664 0.005539 0.007616 0.007173 0.005663 0.005746 0.005784 0.005460 0.007236 0.007099 0.005475 0.005644 0.005631 0.007203 0.005673 0.005425 0.005645 0.006715 0.005844 0.005944 0.006501 0.005338 0.006224 0.005388 0.005703 0.006166 0.006106 0.007462 0.005201 0.005926 0.006198 0.006139 0.006529 0.005064 0.041081 0.008964 0.026934 0.026291 0.008839 0.007748 0.007503 0.017842 0.017179 0.014600 0.014378 0.014944 0.014659 0.007494 0.014394 0.017113 0.012016 0.015605 0.015324 0.015186 0.017102 0.017103 0.016367 0.014564 0.015393 0.007610 0.016913 0.006571 0.008999 0.008202 0.008484 0.008855 0.009847 0.005947 0.008353 0.010131 0.009453 0.008172 0.009178 0.007247 0.009625 0.007922 0.008302 0.007916 0.008286 0.009383 0.008171 0.009923 0.009418 0.006444 0.008528 0.010009 0.007737 0.009396 0.006084 0.005921 0.008812 0.008724 0.006097 0.005844 0.009808 0.006269 0.006470 0.008875 0.005990 0.010006 0.007963 0.007387 0.007190 0.007975 0.005820 0.006853 0.008209 0.007771 0.007680 0.007619 0.006278 0.006342 0.006672 0.007478 0.007044 0.007389 0.006661 0.007196 0.005844 0.007659 0.007119 0.005708 0.005601 0.008031 0.005789 0.007802 0.007349 0.005590 0.005452 0.005681 0.007680 0.005366 0.005644 0.006175 0.006091 0.005580 0.006795 0.005341 0.005431 0.005864 0.005902 0.005424 0.005933 0.005891 0.006421 0.006157 0.005900 0.005334 0.006539 0.006552 0.006348 0.005524 0.007555 0.008276 0.007265 0.007544 0.007406 0.006873 0.008423 0.007797 0.007063 0.005498 0.006453 0.006570 0.006948 0.007089 0.007093 0.006955 0.006656 0.006931 0.005733 0.007709 0.007083 0.006033 0.005919 0.005693 0.005974 0.007844 0.007271 0.006037 0.005537 0.005730 0.007874 0.005635 0.005821 0.006556 0.006491 0.005694 0.006460 0.005202 0.005595 0.006320 0.006243 0.005634 0.006828 0.006268 0.006278 0.006542 0.006376 0.005124 0.006540 0.006681 0.007268 0.009686 0.007440 0.006682 0.006950 0.006552 0.009553 0.012285 0.011871 0.011837 0.012267 0.007054 0.011580 0.006705 0.006653 0.012722 0.012437 0.012108 0.009551 0.006500 0.013501 0.012608 0.012657 0.007065 0.006487 0.006169 0.010645 0.009480 0.006071 0.009215 0.008933 0.008575 0.008902 0.009981 0.006568 0.008620 0.010322 0.010434 0.009823 0.007622 0.010182 0.008828 0.008788 0.008450 0.010171 0.010478 0.009814 0.006422 0.008841 0.010884 0.008307 0.010071 0.006337 0.006286 0.009561 0.009169 0.006015 0.006380 0.009983 0.006179 0.006573 0.006382 0.010668 0.005890 0.007814 0.007466 0.007375 0.007709 0.005503 0.007409 0.005373 0.007856 0.007619 0.006979 0.006996 0.007045 0.007572 0.007328 0.008058 0.006531 0.007398 0.005654 0.007947 0.007248 0.005802 0.005419 0.005613 0.006330 0.005941 0.008081 0.007470 0.005572 0.005537 0.005659 0.007699 0.006029 0.005608 0.007837 0.007160 0.007202 0.013221 0.013900 0.007277 0.007521 0.011536 0.015046 0.016219 0.015936 0.015326 0.014823 0.007206 0.016046 0.010005 0.009539 0.007591 0.007063 0.007066 0.006869 0.009163 0.012262 0.011149 0.011779 0.011744 0.006841 0.011610 0.006896 0.006683 0.006958 0.012352 0.012120 0.011653 0.009077 0.006543 0.012989 0.011826 0.012319 0.007163 0.006553 0.006026 0.006090 0.006657 0.006965 0.005934 0.006133 0.005138 0.007560 0.007191 0.006229 0.005698 0.006341 0.006667 0.006705 0.006867 0.005468 0.006440 0.005363 0.007091 0.006524 0.005239 0.005411 0.005238 0.006890 0.006689 0.005579 0.007303 0.005423 0.005238 0.005667 0.006075 0.005811 0.006361 0.005530 0.005762 0.006100 0.006307 0.006004 0.006436 0.005970 0.005344 0.004937 0.005514 0.005755 0.006171 0.005731 0.005320 0.005541 0.005851 0.005897 0.006328 0.005581 0.006066 0.005451 0.006419 0.010055 0.005948 0.009842 0.006600 0.006178 0.009032 0.008711 0.006040 0.009954 0.009126 0.009732 0.009545 0.008131 0.009705 0.010260 0.009249 0.006873 0.006204 0.010476 0.007884 0.009589 0.006121 0.006241 0.006075 0.005939 0.009632 0.005869 0.006267 0.006192 0.005941 0.007510 0.006727 0.005870 0.006262 0.005435 0.005421 0.006434 0.006464 0.005209 0.006168 0.006293 0.006767 0.006519 0.006772 0.005246 0.006898 0.007346 0.006869 0.007222 0.005492 0.006012 0.005691 0.005777 0.005842 0.006010 0.005909 0.005976 0.005852 0.006158 0.009170 0.009487 0.006960 0.007559 0.006841 0.006941 0.006762 0.009222 0.011537 0.010954 0.011481 0.007042 0.011316 0.007315 0.011382 0.006558 0.006404 0.006371 0.012200 0.011629 0.011449 0.008853 0.006469 0.012604 0.011961 0.011824 0.006939 0.007230 0.006544 0.010091 0.006024 0.010081 0.009834 0.006127 0.009661 0.006332 0.006151 0.008773 0.008110 0.008790 0.009831 0.006281 0.009453 0.009247 0.009485 0.007500 0.006258 0.009351 0.007961 0.009360 0.009791 0.009558 0.006434 0.006524 0.010202 0.008050 0.009444 0.006177 0.006320 0.008814 0.005911 0.005790 0.009568 0.010410 0.010364 0.006003 0.006220 0.006411 0.005959 0.006379 0.005659 0.005606 0.005663 0.005803 0.006226 0.007962 0.007470 0.008610 0.007906 0.008186 0.006290 0.006639 0.007024 0.006641 0.005434 0.008284 0.005765 0.005505 0.005620 0.008164 0.006289 0.005544 0.005849 0.005576 0.005610 0.005465 0.006054 0.005593 0.005305 0.005472 0.006091 0.006627 0.006277 0.005887 0.006408 0.005284 0.006923 0.006228 0.005727 0.005080 0.006461 0.006634 0.006705 0.006479 0.005077 0.005991 0.006026 0.007125 0.006810 0.005449 0.005699 0.005621 0.006532 0.006750 0.006497 0.005521 0.006045 0.005584 0.006898 0.005423 0.009183 0.008424 0.026028 0.024214 0.008473 0.007349 0.007790 0.007398 0.007447 0.013695 0.013744 0.007420 0.007664 0.011155 0.014795 0.016427 0.015847 0.015450 0.015295 0.007173 0.007237 0.016082 0.006124 0.006890 0.010297 0.005981 0.009877 0.009756 0.006122 0.009614 0.006188 0.007042 0.006888 0.006525 0.006036 0.008617 0.008196 0.008457 0.009367 0.006296 0.009651 0.009240 0.009278 0.007582 0.006297 0.009498 0.006612 0.007537 0.008883 0.009242 0.008992 0.006618 0.006289 0.006171 0.009671 0.007462 0.009264 0.006402 0.005811 0.008732 0.006232 0.006105 0.009455 0.010103 0.010138 0.010108 0.006436 0.006802 0.006340 0.005860 0.005474 0.006293 0.006092 0.005764 0.005457 0.005861 0.005955 0.005827 0.007419 0.006454 0.007737 0.007790 0.007111 0.007731 0.005683 0.007169 0.008569 0.007940 0.007015 0.007999 0.006476 0.006142 0.006992 0.006729 0.007199 0.007154 0.008029 0.006921 0.007008 0.005671 0.007663 0.006132 0.007141 0.005700 0.005850 0.008132 0.005817 0.005826 0.007364 0.007652 0.007965 0.005761 0.005284 0.005795 0.005625 0.005569 0.005825 0.007639 0.006178 0.008092 0.007682 0.006955 0.007491 0.006896 0.006760 0.011466 0.011770 0.007187 0.006961 0.006772 0.012266 0.009007 0.006501 0.013173 0.012510 0.006876 0.007404 0.006739 0.006214 0.006994 0.006397 0.010161 0.006136 0.010348 0.006152 0.006462 0.006820 0.006375 0.006467 0.009372 0.008686 0.006145 0.010268 0.009550 0.009574 0.006579 0.006140 0.009763 0.008439 0.009730 0.009883 0.010030 0.006731 0.006058 0.006090 0.010741 0.007917 0.010468 0.006565 0.006486 0.006042 0.006037 0.009780 0.010733 0.010402 0.006294 0.007122 0.006403 0.005957 0.006497 0.005945 0.008228 0.008236 0.008106 0.007592 0.005532 0.007499 0.005901 0.008257 0.007993 0.006604 0.006714 0.007004 0.007416 0.007507 0.007684 0.006554 0.006930 0.005712 0.008334 0.007974 0.005600 0.006276 0.005779 0.005645 0.006126 0.007820 0.007784 0.008658 0.005740 0.005932 0.005898 0.005863 0.005930 0.008228 0.006185 0.005855 0.005703 0.005512 0.005584 0.005483 0.008392 0.007218 0.007447 0.008051 0.006087 0.006947 0.005665 0.007877 0.007198 0.006341 0.006462 0.006685 0.006991 0.007719 0.007090 0.006867 0.007021 0.006004 0.007896 0.007613 0.006017 0.005408 0.006080 0.006220 0.005963 0.008173 0.007329 0.007540 0.006279 0.005890 0.005769 0.005959 0.005776 0.008410 0.005852 0.005598 0.005697 0.005864 0.005641 0.005487 0.007875 0.007715 0.007249 0.007819 0.005792 0.007134 0.005831 0.007992 0.007117 0.006836 0.006770 0.006539 0.007171 0.007415 0.007240 0.007048 0.007273 0.005486 0.008113 0.007552 0.005875 0.005549 0.005546 0.006113 0.006126 0.007774 0.007630 0.007591 0.005793 0.005538 0.005918 0.005679 0.005621 0.007932 0.005945 0.005547 0.005931 0.005767 0.006390 0.006765 0.007160 0.005912 0.006338 0.005483 0.005331 0.006629 0.006205 0.005300 0.006201 0.006141 0.006214 0.006495 0.005214 0.007065 0.007410 0.006492 0.005429 0.006711 0.006632 0.006599 0.005582 0.005590 0.005505 0.005248 0.005868 0.006148 0.006431 0.005742 0.005834 0.005878 0.006675 0.005734 0.006912 0.008272 0.007796 0.007657 0.008198 0.007400 0.017267 0.007541 0.008506 0.007822 0.007846 0.016949 0.013951 0.008082 0.017695 0.014697 0.007525 0.013937 0.007353 0.011839 0.015238 0.016872 0.016591 0.016282 0.014378 0.015990 0.007283 0.007634 0.016781 0.008121 0.007403 0.006898 0.007669 0.006480 0.007300 0.009966 0.012471 0.009484 0.012095 0.006479 0.006919 0.007594 0.007011 0.006754 0.006485 0.006724 0.010830 0.010229 0.008932 0.011953 0.011281 0.011658 0.007187 0.007235 0.007002 0.011806 0.006951 0.009792 0.007071 0.011554 0.012083 0.011287 0.006809 0.006810 0.006672 0.012502 0.012104 0.011765 0.009282 0.006358 0.013178 0.013320 0.011929 0.012905 0.012620 0.007206 0.006904 0.006851 0.006230 0.010196 0.006563 0.006715 0.007010 0.009570 0.009814 0.006312 0.009616 0.010077 0.006188 0.009412 0.005979 0.009418 0.007159 0.006770 0.006572 0.008793 0.008613 0.008675 0.008422 0.010333 0.006041 0.008036 0.009561 0.009221 0.009020 0.006738 0.006337 0.007021 0.006858 0.009231 0.007170 0.008055 0.006251 0.008277 0.008756 0.009063 0.007559 0.009197 0.009162 0.006392 0.006208 0.008550 0.009843 0.007414 0.009267 0.006245 0.006128 0.008759 0.008544 0.006579 0.008748 0.006223 0.009387 0.010029 0.010100 0.005812 0.006446 0.006847 0.009430 0.006280 0.009862 0.005293 0.005349 0.012279 0.007668 0.007876 0.007445 0.006591 0.012707 0.006512 0.007446 0.006649 0.007028 0.012160 0.009456 0.011746 0.011898 0.009501 0.011805 0.006383 0.006835 0.007296 0.007118 0.007146 0.006719 0.006354 0.006456 0.010521 0.010248 0.010295 0.011623 0.009676 0.011548 0.011186 0.011950 0.006824 0.007118 0.007068 0.008495 0.006965 0.011436 0.007145 0.009709 0.006860 0.011139 0.011615 0.011365 0.006730 0.006941 0.006462 0.012569 0.012539 0.011372 0.009059 0.006434 0.010477 0.012899 0.012825 0.012108 0.012264 0.012952 0.012195 0.007052 0.006937 0.006372 0.005965 0.005776 0.005585 0.005511 0.005979 0.007823 0.007001 0.007375 0.007721 0.005541 0.006841 0.005450 0.007975 0.006549 0.006346 0.006926 0.006597 0.006996 0.007332 0.007469 0.006345 0.006807 0.005998 0.007893 0.007217 0.006029 0.006023 0.005538 0.006120 0.005769 0.008171 0.007108 0.007892 0.005582 0.005675 0.005593 0.005540 0.005560 0.005979 0.005559 0.006218 0.006620 0.006143 0.005915 0.006201 0.005269 0.005446 0.006288 0.006285 0.005299 0.006674 0.006702 0.006670 0.006788 0.005540 0.006255 0.005713 0.006583 0.006552 0.006484 0.006686 0.005951 0.005169 0.004919 0.004942 0.005287 0.006027 0.005889 0.005725 0.005677 0.005733 0.005857 0.004923 0.006050 0.005763 0.005778 0.006039 0.005582 0.010905 0.009796 0.009108 0.021142 0.029065 0.008713 0.009052 0.008428 0.007781 0.008171 0.015887 0.007687 0.007979 0.014265 0.015856 0.016043 0.011230 0.014742 0.007753 0.013811 0.007836 0.007627 0.007627 0.007284 0.007468 0.008000 0.007588 0.007626 0.008437 0.007824 0.008137 0.008202 0.006946 0.006712 0.007295 0.012222 0.012713 0.007038 0.011478 0.013018 0.013095 0.009695 0.011427 0.012099 0.006516 0.006822 0.006631 0.006626 0.011334 0.011725 0.010991 0.012310 0.007145 0.007220 0.011564 0.006968 0.006913 0.007328 0.011328 0.010836 0.007709 0.011525 0.009253 0.010112 0.010942 0.006998 0.006513 0.007615 0.007519 0.006661 0.006857 0.012222 0.009675 0.011895 0.009605 0.007051 0.006715 0.007549 0.009481 0.006822 0.006704 0.007059 0.007693 0.007321 0.007781 0.008180 0.005734 0.005896 0.005573 0.005977 0.005444 0.005699 0.007924 0.007301 0.008080 0.006133 0.008574 0.006167 0.006164 0.007773 0.005732 0.007092 0.006947 0.006014 0.006837 0.006721 0.006094 0.006532 0.008012 0.007104 0.008176 0.005955 0.008624 0.006830 0.007483 0.007364 0.008184 0.005732 0.007165 0.006296 0.006055 0.007534 0.006034 0.006104 0.007495 0.005676 0.005649 0.005798 0.007274 0.005658 0.005742 0.008252 0.006870 0.006144 0.005503 0.007967 0.005884 0.005544 0.004981 0.006204 0.005284 0.005012 0.005635 0.005464 0.005258 0.005464 0.005826 0.006124 0.005716 0.005252 0.006053 0.005761 0.005321 0.005380 0.005943 0.006087 0.006088 0.005718 0.005684 0.006753 0.007046 0.006535 0.006739 0.012152 0.006717 0.011508 0.013118 0.008862 0.011567 0.011755 0.006684 0.006934 0.006685 0.006738 0.011036 0.012090 0.007236 0.007139 0.011554 0.006545 0.007178 0.007029 0.011355 0.010810 0.006659 0.011620 0.008906 0.007016 0.006789 0.006990 0.007042 0.006596 0.006698 0.009361 0.009411 0.007019 0.006894 0.007999 0.006867 0.006760 0.007579 0.007335 0.007234 0.007641 0.006539 0.006042 0.009765 0.006257 0.006719 0.009666 0.009693 0.006446 0.009655 0.006185 0.008283 0.006171 0.008381 0.008238 0.006100 0.006629 0.009108 0.007607 0.006034 0.005960 0.006338 0.006709 0.009276 0.009377 0.008862 0.009784 0.006554 0.009866 0.006079 0.006968 0.006754 0.006818 0.007780 0.009017 0.008675 0.006237 0.008895 0.007507 0.006052 0.007903 0.007666 0.009763 0.008318 0.009759 0.007470 0.006407 0.005976 0.006933 0.006440 0.006357 0.008032 0.006841 0.009244 0.006349 0.007966 0.009560 0.009750 0.005916 0.007869 0.010160 0.009600 0.006463 0.006414 0.007443 0.006416 0.006323 0.010047 0.008369 0.006471 0.009348 0.006200 0.005574 0.005449 0.007087 0.006635 0.007396 0.005549 0.007571 0.006652 0.005882 0.006137 0.005126 0.005962 0.006788 0.006490 0.005451 0.005609 0.006842 0.006028 0.007005 0.006100 0.006520 0.006503 0.006593 0.006723 0.005821 0.005516 0.006519 0.005520 0.005542 0.007446 0.017790 0.008483 0.007678 0.008115 0.015772 0.007051 0.015016 0.014078 0.011112 0.014394 0.007409 0.007196 0.007611 0.014043 0.008020 0.007492 0.007322 0.007584 0.007934 0.007703 0.007659 0.008388 0.007705 0.007876 0.008457 0.007476 0.006900 0.006576 0.012561 0.007652 0.006861 0.006983 0.012224 0.012634 0.006742 0.011818 0.012599 0.012828 0.009012 0.011160 0.011923 0.006444 0.006666 0.006241 0.006738 0.011281 0.011634 0.011325 0.012115 0.006891 0.007395 0.011386 0.006649 0.006574 0.007062 0.011092 0.011232 0.006508 0.011642 0.008752 0.009916 0.012744 0.010873 0.006600 0.009208 0.006492 0.007224 0.006960 0.006331 0.006677 0.011938 0.009239 0.011446 0.009127 0.006921 0.006309 0.007540 0.009200 0.006779 0.007036 0.007457 0.007688 0.007165 0.007723 0.006673 0.007866 0.006185 0.006201 0.009605 0.006284 0.009768 0.006702 0.006005 0.010513 0.006258 0.009957 0.005942 0.008555 0.006314 0.008713 0.009111 0.006611 0.005954 0.009894 0.007736 0.006376 0.006090 0.006369 0.009055 0.009696 0.007817 0.009401 0.010120 0.006252 0.007495 0.009426 0.006308 0.006902 0.006608 0.006746 0.008234 0.009064 0.009513 0.006053 0.009862 0.008186 0.006830 0.008636 0.007976 0.010208 0.008957 0.010016 0.007992 0.006079 0.005955 0.006343 0.006445 0.008355 0.010152 0.006546 0.008276 0.010285 0.009957 0.006276 0.008204 0.010259 0.010661 0.006948 0.006130 0.008055 0.006312 0.010622 0.008721 0.006991 0.009966 0.006270 0.005802 0.006360 0.006676 0.006280 0.005779 0.005545 0.005996 0.008259 0.007594 0.007700 0.005965 0.005475 0.006280 0.005924 0.005982 0.007987 0.005775 0.006970 0.006766 0.005792 0.007286 0.007065 0.006845 0.007614 0.008443 0.006215 0.005470 0.007193 0.007468 0.007186 0.008101 0.005963 0.006937 0.006110 0.007160 0.007535 0.005833 0.007180 0.005845 0.005784 0.005660 0.006911 0.005721 0.005755 0.005667 0.005345 0.005645 0.005573 0.005502 0.005683 0.005774 0.006863 0.006641 0.006905 0.005615 0.005444 0.007718 0.006300 0.005433 0.005781 0.006353 0.005396 0.006166 0.006773 0.006470 0.005235 0.005498 0.006258 0.005805 0.006421 0.006261 0.006267 0.006464 0.006561 0.005418 0.006992 0.005273 0.005290 0.006545 0.005624 0.005319 0.005695 0.006695 0.005398 0.005138 0.005655 0.005274 0.006769 0.007180 0.006928 0.005299 0.005408 0.006889 0.006578 0.005366 0.005510 0.005870 0.005460 0.006166 0.006738 0.006389 0.005002 0.005733 0.006188 0.006045 0.006035 0.006093 0.006530 0.006349 0.006311 0.005305 0.006436 0.005353 0.005361 0.005982 0.005554 0.005999 0.008874 0.008041 0.005449 0.005408 0.006447 0.005457 0.005569 0.005599 0.006033 0.008082 0.007797 0.008287 0.005651 0.005528 0.005609 0.006125 0.006085 0.007999 0.005796 0.007074 0.006902 0.005538 0.006978 0.006686 0.006485 0.007116 0.007182 0.008723 0.008015 0.006628 0.006176 0.007020 0.007795 0.007749 0.008233 0.005863 0.007397 0.005920 0.007472 0.007673 0.005673 0.008211 0.005624 0.006010 0.007924 0.006236 0.007239 0.005766 0.005763 0.005772 0.005726 0.006701 0.005520 0.005436 0.006931 0.006652 0.007098 0.005444 0.007254 0.006606 0.006109 0.006199 0.005181 0.005988 0.006470 0.006246 0.007263 0.005457 0.005280 0.006423 0.005751 0.006234 0.005810 0.006427 0.006525 0.006439 0.006492 0.005776 0.005700 0.006517 0.005753 0.006548 0.009053 0.006254 0.007796 0.009726 0.006355 0.007705 0.006477 0.006536 0.009892 0.005956 0.009678 0.006979 0.006223 0.010692 0.006634 0.009534 0.005938 0.008510 0.006150 0.008598 0.008786 0.006131 0.006274 0.009086 0.007366 0.006373 0.006019 0.006369 0.008913 0.009761 0.007931 0.009143 0.009976 0.006821 0.007404 0.009675 0.006474 0.007192 0.006805 0.008456 0.008922 0.008334 0.009264 0.006108 0.009862 0.008005 0.006054 0.008675 0.008110 0.009982 0.009241 0.009995 0.008295 0.006282 0.006530 0.006278 0.008025 0.009367 0.006267 0.008027 0.009874 0.009699 0.006185 0.008482 0.009941 0.010189 0.007178 0.006386 0.007744 0.006124 0.010386 0.008598 0.006127 0.009728 0.006171 0.005537 0.006039 0.006148 0.008430 0.007412 0.005721 0.005629 0.005798 0.005517 0.006089 0.005508 0.005522 0.007751 0.007362 0.008239 0.005595 0.005994 0.005779 0.005840 0.007800 0.005898 0.006717 0.006750 0.005464 0.007002 0.006608 0.006661 0.007859 0.007237 0.007302 0.007746 0.005847 0.005384 0.007072 0.007859 0.007193 0.008271 0.005755 0.006972 0.007749 0.007462 0.005500 0.007140 0.005730 0.005634 0.007379 0.007720 0.006264 0.006204 0.005614 0.005702 0.006022 0.005647 0.006137 0.008604 0.006118 0.005641 0.005630 0.005534 0.005533 0.005471 0.005632 0.008130 0.007454 0.007586 0.005763 0.005467 0.005831 0.005987 0.005906 0.007707 0.005968 0.007432 0.006904 0.005672 0.006700 0.006674 0.006334 0.006982 0.006981 0.008109 0.008058 0.005942 0.005918 0.006924 0.007697 0.007502 0.007736 0.005904 0.007094 0.007199 0.007353 0.005856 0.007235 0.005586 0.006081 0.008102 0.006707 0.007562 0.005932 0.005524 0.005926 0.005571 0.005293 0.006527 0.005642 0.007004 0.006359 0.006508 0.005242 0.006791 0.006156 0.005295 0.006025 0.005625 0.006040 0.006687 0.006304 0.006556 0.005544 0.005158 0.005940 0.006178 0.006663 0.006206 0.006188 0.006104 0.007013 0.006347 0.005926 0.005118 0.006161 0.005389 0.007254 0.011565 0.007274 0.012609 0.006661 0.012081 0.012082 0.006998 0.006550 0.006455 0.011922 0.006934 0.006379 0.006664 0.011519 0.011515 0.006966 0.010664 0.012213 0.012090 0.007305 0.009866 0.013511 0.008473 0.010751 0.011146 0.006419 0.006698 0.006528 0.006793 0.010204 0.010729 0.010445 0.011030 0.006955 0.006633 0.010865 0.006458 0.007994 0.006652 0.007077 0.010923 0.010601 0.006337 0.010736 0.008675 0.009316 0.011377 0.010083 0.011120 0.006899 0.009388 0.006326 0.006952 0.006921 0.006422 0.006819 0.010590 0.008994 0.011380 0.010827 0.009373 0.009465 0.011242 0.007007 0.006779 0.007348 0.008926 0.006833 0.006434 0.011673 0.006840 0.006924 0.008168 0.010883 0.007703 0.007231 0.011401 0.006326 0.005762 0.006420 0.006048 0.006606 0.009332 0.006182 0.007710 0.009661 0.008210 0.006307 0.007419 0.006262 0.006269 0.009283 0.006397 0.009651 0.006593 0.005744 0.010117 0.006528 0.009232 0.006194 0.008755 0.006090 0.008414 0.008365 0.006287 0.006129 0.008892 0.007495 0.005945 0.006145 0.006308 0.008649 0.009612 0.007634 0.008893 0.010029 0.006271 0.007497 0.009239 0.006210 0.007709 0.006391 0.007157 0.007977 0.009135 0.007790 0.008538 0.008761 0.006273 0.009619 0.007798 0.006203 0.008514 0.008013 0.009593 0.008697 0.009682 0.007954 0.006238 0.006680 0.006294 0.006427 0.008227 0.009093 0.006000 0.008209 0.009665 0.009265 0.006309 0.008278 0.009782 0.009600 0.008466 0.005971 0.007574 0.006174 0.010727 0.008839 0.006306 0.009310 0.006071 0.005616 0.005921 0.006212 0.005895 0.005836 0.008031 0.007453 0.005609 0.005711 0.005812 0.006086 0.005630 0.005790 0.005747 0.007760 0.007251 0.007696 0.006131 0.005400 0.005521 0.005870 0.007992 0.005512 0.006756 0.006425 0.005507 0.006855 0.006598 0.006150 0.007430 0.006866 0.007305 0.007727 0.006013 0.005555 0.007314 0.007326 0.006992 0.007584 0.005678 0.007183 0.006830 0.007436 0.006165 0.007513 0.005698 0.005561 0.007813 0.006881 0.005800 0.005665 0.005866 0.006446 0.006064 0.006505 0.006280 0.006204 0.008966 0.005749 0.007754 0.009322 0.006448 0.006201 0.005969 0.009137 0.006108 0.006286 0.005938 0.009574 0.006149 0.009275 0.005981 0.005856 0.008037 0.008601 0.006163 0.006098 0.008752 0.007314 0.005851 0.006033 0.006348 0.008799 0.009102 0.008648 0.009636 0.006451 0.006477 0.008703 0.006544 0.006686 0.006604 0.006908 0.008574 0.008564 0.006681 0.009203 0.007531 0.005862 0.008490 0.007598 0.009511 0.008063 0.009397 0.007298 0.006026 0.006008 0.006978 0.006199 0.007764 0.009278 0.006247 0.009643 0.009239 0.006061 0.007872 0.009434 0.006453 0.006485 0.007569 0.005949 0.009816 0.008341 0.006464 0.006482 0.009256 0.005646 0.006138 0.005561 0.005793 0.005960 0.007976 0.005766 0.005476 0.006268 0.005462 0.005770 0.005684 0.005686 0.007365 0.007268 0.007535 0.006334 0.005726 0.005524 0.005835 0.006330 0.007637 0.005652 0.006578 0.006359 0.005532 0.006402 0.006268 0.006341 0.006863 0.006619 0.007279 0.007783 0.005919 0.006726 0.007116 0.007275 0.007853 0.006114 0.006916 0.006552 0.006771 0.007492 0.005665 0.006778 0.006193 0.005924 0.007574 0.005761 0.006946 0.005839 0.005367 0.005672 0.005387 0.005708 0.005296 0.005645 0.005529 0.005780 0.005309 0.005519 0.005825 0.005673 0.005517 0.006743 0.006520 0.006924 0.005527 0.005361 0.007404 0.006065 0.005500 0.005395 0.005769 0.005465 0.005589 0.006169 0.006073 0.006471 0.005523 0.005674 0.006279 0.005846 0.006272 0.005652 0.006263 0.006676 0.006162 0.005696 0.006775 0.005522 0.005778 0.005811 0.005587 0.005505 0.005001 0.005121 0.005634 0.005233 0.005204 0.005122 0.004537 0.005181 0.008863 0.032028 0.030441 0.027933 0.023700 0.009929 0.009363 0.029223 0.009033 0.025417 0.020430 0.022136 0.028874 0.027194 0.026409 0.027591 0.009045 0.030165 0.028634 0.009602 0.008510 0.031313 0.008845 0.007598 0.006657 0.007637 0.006597 0.006699 0.013211 0.006613 0.012874 0.013033 0.006911 0.006714 0.006601 0.012560 0.006913 0.006567 0.006963 0.012179 0.012541 0.006625 0.011424 0.012720 0.012852 0.007004 0.009394 0.011264 0.011526 0.006630 0.006615 0.006829 0.007288 0.010853 0.012123 0.011382 0.012106 0.007015 0.006697 0.007047 0.011197 0.007150 0.006671 0.006998 0.011481 0.011098 0.007016 0.011784 0.009052 0.010627 0.012183 0.010951 0.006402 0.009308 0.006932 0.007038 0.006792 0.006559 0.006985 0.011775 0.009157 0.011566 0.009538 0.006900 0.006994 0.007552 0.009590 0.006952 0.006820 0.007332 0.007062 0.007124 0.007243 0.012728 0.006384 0.006672 0.006036 0.006368 0.006515 0.006228 0.009936 0.005980 0.007958 0.009695 0.006739 0.007711 0.006417 0.006142 0.009743 0.006252 0.006606 0.006168 0.010621 0.006772 0.009876 0.006216 0.008921 0.006247 0.008948 0.008771 0.006340 0.005916 0.009635 0.007584 0.006292 0.006365 0.006546 0.009475 0.009872 0.009493 0.010165 0.006859 0.006388 0.009541 0.006448 0.007451 0.007145 0.008330 0.009181 0.009133 0.006156 0.010108 0.008607 0.006083 0.008453 0.008441 0.010414 0.008832 0.010237 0.008538 0.006272 0.006148 0.006422 0.008251 0.009573 0.006001 0.008433 0.009749 0.009909 0.006060 0.008084 0.010137 0.009882 0.006999 0.006567 0.008082 0.006167 0.010729 0.008714 0.006563 0.006463 0.006439 0.009520 0.006532 0.005719 0.006018 0.008437 0.005823 0.006293 0.008329 0.005909 0.005638 0.005625 0.005688 0.005589 0.006271 0.005809 0.005714 0.007693 0.007228 0.007599 0.005574 0.005623 0.005969 0.007976 0.005559 0.006938 0.006868 0.005736 0.006827 0.006669 0.006576 0.007194 0.005537 0.007569 0.007808 0.008231 0.006916 0.007615 0.008398 0.008689 0.010247 0.005678 0.007585 0.006285 0.007025 0.005933 0.005943 0.007323 0.005965 0.005638 0.006258 0.007079 0.006155 0.006071 0.006768 0.005994 0.007762 0.005999 0.005165 0.006788 0.006831 0.007158 0.005583 0.006396 0.006128 0.005239 0.006009 0.006324 0.006340 0.006939 0.005425 0.005295 0.006664 0.006014 0.006713 0.005664 0.006026 0.006436 0.006646 0.005682 0.006467 0.006436 0.006402 0.006827 0.005346 0.006801 0.006477 0.006707 0.005339 0.006432 0.006033 0.005357 0.006144 0.006399 0.006678 0.007474 0.005393 0.005281 0.006293 0.005734 0.006961 0.005287 0.005860 0.006742 0.006625 0.005473 0.006599 0.006700 0.006726 0.007452 0.006157 0.006288 0.005872 0.006415 0.006123 0.006196 0.008988 0.006338 0.007857 0.009426 0.006338 0.007377 0.006440 0.005965 0.009305 0.006038 0.006294 0.005970 0.009787 0.006484 0.009244 0.006234 0.008707 0.005877 0.008240 0.008330 0.005877 0.005959 0.008666 0.007494 0.005960 0.006626 0.006376 0.008622 0.009079 0.009118 0.009385 0.006054 0.006406 0.008832 0.005966 0.006839 0.006428 0.007077 0.007629 0.009002 0.008787 0.006924 0.009442 0.007367 0.005966 0.007864 0.007786 0.009514 0.008212 0.009474 0.007578 0.006123 0.005927 0.006302 0.006781 0.007970 0.009330 0.006163 0.008103 0.009553 0.009211 0.006179 0.007959 0.009341 0.009292 0.006590 0.005955 0.007622 0.006211 0.010085 0.008049 0.006357 0.006552 0.006273 0.008995 0.006066 0.005194 0.005413 0.006152 0.005280 0.005350 0.006369 0.006433 0.006447 0.005115 0.005278 0.007203 0.005190 0.005991 0.005380 0.005852 0.005255 0.005725 0.005974 0.006097 0.006404 0.006680 0.005205 0.005735 0.005613 0.006189 0.005640 0.005287 0.006546 0.006543 0.006051 0.005887 0.005892 0.005435 0.006282 0.006160 0.006070 0.004910 0.005762 0.005312 0.005783 0.005499 0.005301 0.005752 0.005645 0.005550 0.005372 0.005164 0.005489 0.005778 0.005886 0.005754 0.005570 0.006211 0.005069 0.006429 0.005201 0.006243 0.005490 0.005147 0.005632 0.005889 0.005214 0.005334 0.005142 0.005671 0.005752 0.005436 0.005709 0.005537 0.005409 0.048494 0.048477 0.011340 0.010711 0.009107 0.009430 0.009380 0.009129 0.029890 0.010043 0.008676 0.009805 0.008905 0.008634 0.008395 0.028928 0.008895 0.030343 0.008710 0.008390 0.008214 0.007798 0.018292 0.008195 0.008244 0.007943 0.007555 0.008607 0.017375 0.017427 0.009438 0.008206 0.008374 0.014859 0.007496 0.013942 0.006913 0.014574 0.007373 0.014719 0.010781 0.013718 0.007158 0.017986 0.009699 0.012800 0.007261 0.007503 0.007445 0.007352 0.008131 0.007105 0.007758 0.020058 0.008078 0.018151 0.008191 0.007664 0.007986 0.007692 0.007307 0.007842 0.007153 0.007101 0.006822 0.007245 0.006485 0.006925 0.007299 0.006627 0.006332 0.006783 0.006339 0.006395 0.007323 0.006294 0.006671 0.011036 0.006758 0.010686 0.011754 0.007080 0.008678 0.010713 0.010957 0.006400 0.006252 0.006486 0.006525 0.010506 0.011117 0.006472 0.006634 0.006755 0.010635 0.006521 0.006949 0.007050 0.010476 0.010066 0.006663 0.010760 0.008614 0.006618 0.007020 0.007107 0.006242 0.006662 0.008761 0.006991 0.007571 0.006542 0.006636 0.007062 0.006887 0.007888 0.006541 0.007343 0.007602 0.007761 0.006998 0.006282 0.006156 0.005970 0.006235 0.005900 0.006940 0.008581 0.006105 0.007890 0.009073 0.006241 0.006431 0.006212 0.009268 0.006053 0.006387 0.006130 0.009822 0.006540 0.008893 0.006003 0.005801 0.008135 0.008265 0.006306 0.006475 0.009034 0.007261 0.006066 0.005971 0.006886 0.008583 0.008923 0.008752 0.009517 0.006422 0.006513 0.009118 0.006058 0.006779 0.006561 0.006543 0.008580 0.008417 0.006380 0.008988 0.007529 0.006062 0.007920 0.007973 0.009885 0.008277 0.009451 0.007582 0.006302 0.006141 0.006600 0.006003 0.007518 0.008950 0.006072 0.009441 0.009588 0.006000 0.007648 0.009750 0.006917 0.006478 0.007419 0.005932 0.010005 0.008630 0.006261 0.006375 0.006204 0.009250 0.006678 0.006115 0.007220 0.006063 0.005575 0.005995 0.005798 0.005591 0.005783 0.007095 0.007337 0.005859 0.006073 0.005454 0.006544 0.007068 0.005496 0.006278 0.006580 0.006808 0.006758 0.006547 0.005945 0.006982 0.007038 0.006737 0.007831 0.006823 0.007135 0.007000 0.007057 0.005817 0.005529 0.006920 0.006422 0.005882 0.005896 0.005287 0.005408 0.006420 0.006636 0.006934 0.005334 0.005564 0.005401 0.006545 0.005416 0.005929 0.005118 0.005213 0.005852 0.005258 0.005663 0.006552 0.005886 0.006725 0.005457 0.005958 0.005814 0.005959 0.005851 0.006176 0.006308 0.006083 0.006156 0.005404 0.005309 0.006325 0.006474 0.006324 0.006156 0.005813 0.006430 0.006509 0.006128 0.007998 0.006290 0.006508 0.006060 0.005866 0.006737 0.006049 0.009442 0.006217 0.008841 0.005769 0.006141 0.008142 0.006134 0.006269 0.008879 0.007602 0.006103 0.006188 0.006290 0.008696 0.008852 0.008700 0.009291 0.006409 0.006175 0.008729 0.006151 0.006519 0.006224 0.006728 0.008802 0.008358 0.006615 0.008799 0.006213 0.005837 0.007940 0.009334 0.008572 0.006286 0.006704 0.005896 0.008588 0.006271 0.009572 0.008869 0.007537 0.009923 0.006258 0.007720 0.005957 0.009750 0.005867 0.006688 0.006714 0.008617 0.005584 0.005922 0.005517 0.005872 0.005813 0.007938 0.005276 0.005251 0.006092 0.005708 0.005556 0.005586 0.007194 0.006674 0.007588 0.005419 0.005363 0.005538 0.007432 0.005578 0.007042 0.006611 0.005563 0.006268 0.006369 0.006479 0.006659 0.006405 0.007082 0.007252 0.005506 0.006531 0.007024 0.006801 0.007053 0.006828 0.006547 0.006645 0.005668 0.006762 0.005784 0.005992 0.007257 0.006338 0.005781 0.007518 0.005776 0.005609 0.005828 0.006320 0.005425 0.005904 0.006898 0.007741 0.005437 0.005684 0.005595 0.006555 0.006115 0.005586 0.006784 0.006781 0.006311 0.006560 0.007379 0.005676 0.006725 0.007503 0.006815 0.007191 0.006454 0.006627 0.006941 0.006484 0.005993 0.005671 0.005641 0.006638 0.005787 0.005711 0.005247 0.006010 0.005652 0.005392 0.005821 0.005902 0.005182 0.004998 0.005538 0.005111 0.005269 0.005381 0.005666 0.005901 0.006388 0.005643 0.005748 0.005269 0.005541 0.005182 0.005713 0.005095 0.004975 0.005541 0.004719 0.004899 0.007077 0.007654 0.007128 0.007238 0.006828 0.007549 0.007412 0.007135 0.006563 0.007185 0.006636 0.006592 0.012136 0.006778 0.012692 0.012466 0.007125 0.006731 0.006377 0.011430 0.006886 0.006489 0.007024 0.007059 0.011186 0.011600 0.006624 0.010429 0.012040 0.011942 0.007064 0.008598 0.010697 0.011338 0.006614 0.006925 0.006194 0.006970 0.010340 0.010695 0.010359 0.011194 0.006483 0.007092 0.006748 0.010482 0.006428 0.006815 0.006849 0.010133 0.010455 0.006637 0.010747 0.007106 0.006614 0.008520 0.009179 0.011761 0.010146 0.006547 0.009187 0.006679 0.006655 0.006132 0.006762 0.011121 0.008625 0.010778 0.009018 0.006869 0.006396 0.007157 0.008698 0.006637 0.006306 0.007440 0.007110 0.007714 0.006533 0.007016 0.007077 0.007101 0.006379 0.006328 0.006238 0.006334 0.006046 0.006299 0.006071 0.006082 0.005656 0.006670 0.005796 0.006205 0.008747 0.005753 0.005876 0.005787 0.007290 0.006166 0.006034 0.008908 0.009059 0.009494 0.006470 0.006223 0.009366 0.006157 0.006425 0.006705 0.008611 0.005949 0.009068 0.006495 0.006284 0.006175 0.007877 0.009684 0.008385 0.006049 0.006291 0.006443 0.006363 0.007377 0.006378 0.006541 0.008849 0.009092 0.008666 0.007428 0.008206 0.007659 0.007690 0.008543 0.008190 0.007603 0.017554 0.009555 0.008450 0.007722 0.008556 0.016022 0.007816 0.008650 0.007401 0.015082 0.016189 0.014460 0.010824 0.013801 0.014521 0.007297 0.009195 0.007140 0.007603 0.013516 0.011820 0.014904 0.013040 0.007945 0.007388 0.007311 0.007382 0.007873 0.010976 0.007384 0.007642 0.021286 0.008480 0.007896 0.007446 0.008336 0.007907 0.006688 0.006529 0.012586 0.007486 0.006987 0.007027 0.007593 0.007071 0.007405 0.007081 0.007359 0.007006 0.011852 0.007222 0.013070 0.006725 0.010699 0.012815 0.012732 0.011636 0.006931 0.006453 0.006601 0.011970 0.007273 0.011553 0.006154 0.007113 0.007187 0.011375 0.007677 0.012534 0.006565 0.011634 0.012763 0.012707 0.010266 0.006929 0.010627 0.013807 0.008942 0.011198 0.011950 0.006253 0.006404 0.006358 0.006461 0.010800 0.011443 0.011063 0.012596 0.006769 0.007635 0.006733 0.011011 0.006501 0.009001 0.006922 0.007194 0.011318 0.010505 0.006644 0.011372 0.006977 0.009037 0.006912 0.008920 0.009761 0.009361 0.012245 0.010731 0.011928 0.009361 0.006903 0.009021 0.006432 0.007194 0.007363 0.006175 0.009751 0.006860 0.011255 0.007052 0.008971 0.011518 0.011570 0.009033 0.010297 0.012049 0.006860 0.012428 0.006288 0.007490 0.009038 0.006944 0.006530 0.012290 0.009938 0.006698 0.007327 0.006676 0.007687 0.006780 0.011356 0.007196 0.007786 0.007669 0.007211 0.005253 0.005088 0.006890 0.005278 0.005544 0.006808 0.006320 0.006632 0.005361 0.005618 0.006804 0.005089 0.006130 0.005772 0.006074 0.005639 0.005748 0.006652 0.006603 0.007157 0.006838 0.005376 0.006015 0.005880 0.006779 0.005624 0.005543 0.006380 0.006483 0.006455 0.006745 0.005564 0.005666 0.006948 0.006506 0.005697 0.006623 0.006290 0.006553 0.006017 0.006367 0.006556 0.006244 0.006771 0.006393 0.006135 0.009361 0.006114 0.007721 0.009631 0.006198 0.008062 0.006004 0.006157 0.010117 0.006278 0.009145 0.006636 0.006022 0.010803 0.006365 0.009495 0.006131 0.008395 0.006193 0.008236 0.009251 0.006459 0.006103 0.009246 0.007763 0.006408 0.006206 0.006259 0.008967 0.009744 0.007482 0.009090 0.009970 0.006623 0.006749 0.007405 0.009586 0.005971 0.007007 0.006652 0.006763 0.008191 0.008902 0.008006 0.008199 0.008980 0.006446 0.009440 0.006411 0.007717 0.006446 0.006518 0.008231 0.008140 0.009957 0.008511 0.009791 0.008145 0.006379 0.006664 0.006961 0.006345 0.007929 0.009375 0.006580 0.006266 0.008335 0.009746 0.009683 0.006462 0.008323 0.009633 0.009846 0.008767 0.006864 0.006283 0.006624 0.007591 0.006000 0.010697 0.008329 0.006211 0.006863 0.006562 0.009469 0.005151 0.005219 0.006558 0.006311 0.006119 0.006413 0.005001 0.005743 0.005650 0.005956 0.005128 0.005859 0.006087 0.006131 0.006553 0.005318 0.005128 0.005819 0.005454 0.006460 0.006237 0.006466 0.006227 0.005999 0.006534 0.005123 0.006081 0.006342 0.005894 0.005964 0.005529 0.006355 0.005938 0.005305 0.005709 0.005402 0.005381 0.005940 0.006076 0.005904 0.005920 0.007750 0.006760 0.007122 0.006803 0.012401 0.007306 0.007064 0.006919 0.007732 0.007439 0.007186 0.006802 0.007529 0.006783 0.011757 0.006766 0.012739 0.006457 0.012344 0.006914 0.006901 0.006546 0.012053 0.007234 0.006854 0.006693 0.007395 0.011286 0.007489 0.011843 0.006823 0.010909 0.012063 0.012500 0.006888 0.010015 0.013637 0.008491 0.011106 0.011275 0.006301 0.006307 0.006358 0.006550 0.010348 0.010847 0.010596 0.011140 0.006572 0.006747 0.006937 0.010623 0.006455 0.008287 0.007097 0.006884 0.010681 0.010201 0.006504 0.010654 0.006618 0.006766 0.008743 0.009611 0.012083 0.009932 0.006418 0.009427 0.007103 0.006921 0.006475 0.006411 0.011488 0.006810 0.009188 0.011732 0.011437 0.007252 0.009621 0.011360 0.007409 0.007217 0.007436 0.008902 0.006807 0.006295 0.012285 0.006775 0.007086 0.006901 0.006750 0.011051 0.007491 0.007475 0.007678 0.006981 0.006241 0.006176 0.006817 0.005937 0.009596 0.006529 0.006949 0.005856 0.006611 0.006178 0.006036 0.008728 0.006415 0.007406 0.009324 0.006598 0.007172 0.006029 0.005736 0.008877 0.006363 0.008736 0.007156 0.005658 0.009543 0.006299 0.009199 0.005792 0.008274 0.005842 0.008032 0.008309 0.006179 0.005830 0.009053 0.007456 0.006184 0.006152 0.006344 0.008480 0.008876 0.007180 0.008379 0.009647 0.006359 0.006350 0.007107 0.008796 0.005988 0.006739 0.006472 0.007678 0.008466 0.007761 0.008162 0.008814 0.006357 0.008820 0.006194 0.007193 0.006093 0.005973 0.007805 0.007730 0.009676 0.008268 0.009469 0.007507 0.006223 0.006331 0.006194 0.007836 0.008942 0.006694 0.005819 0.007711 0.009394 0.009127 0.006188 0.007889 0.009215 0.009509 0.008376 0.006755 0.006383 0.006102 0.007568 0.006288 0.009622 0.008161 0.006004 0.006576 0.006371 0.008778 0.005801 0.005265 0.005276 0.006756 0.005167 0.006686 0.006436 0.006483 0.005366 0.006896 0.005932 0.005509 0.006068 0.005383 0.005781 0.006129 0.006574 0.006629 0.005115 0.005725 0.005998 0.005728 0.006210 0.005651 0.006401 0.006198 0.006383 0.006120 0.005383 0.005522 0.006228 0.005768 0.005458 0.005288 0.004857 0.005577 0.005144 0.005372 0.005554 0.005488 0.005422 0.005864 0.005750 0.005938 0.007689 0.005340 0.005883 0.005826 0.005213 0.005522 0.005745 0.005539 0.006861 0.006974 0.007101 0.006038 0.005319 0.005758 0.006153 0.007111 0.005329 0.006366 0.006130 0.005491 0.006357 0.006627 0.006015 0.006652 0.006435 0.007311 0.007083 0.005709 0.005243 0.006334 0.007011 0.007004 0.007123 0.005529 0.006570 0.007114 0.006645 0.005668 0.006844 0.005986 0.005925 0.007165 0.005912 0.006499 0.005661 0.005708 0.005705 0.005372 0.005736 0.006112 0.006210 0.006422 0.005538 0.006657 0.006741 0.005346 0.005561 0.005268 0.005504 0.005924 0.005734 0.006506 0.005200 0.005525 0.005768 0.005815 0.006285 0.005433 0.005780 0.006048 0.006165 0.006119 0.005262 0.005189 0.005754 0.005883 0.005790 0.004911 0.005909 0.005432 0.005352 0.005161 0.005796 0.005602 0.005891 0.005922 0.005193 0.005319 0.005568 0.005910 0.006024 0.005784 0.009161 0.009404 0.009296 0.028901 0.009241 0.030749 0.008807 0.030605 0.029124 0.008927 0.009170 0.023398 0.009753 0.008842 0.009159 0.019989 0.026039 0.032317 0.023552 0.019247 0.011340 0.028664 0.019466 0.020836 0.018425 0.025198 0.024501 0.009920 0.017316 0.027524 0.035431 0.027517 0.025833 0.025255 0.008514 0.009068 0.024503 0.028950 0.026843 0.008817 0.008660 0.029860 0.034793 0.008742 0.030626 0.008381 0.008354 0.008461 0.007931 0.008990 0.019263 0.007896 0.008603 0.007981 0.008007 0.008400 0.008667 0.018237 0.017715 0.008282 0.008223 0.015411 0.007633 0.014287 0.008072 0.007650 0.014651 0.007880 0.015682 0.015419 0.010982 0.007219 0.014170 0.007274 0.018913 0.013587 0.007584 0.008414 0.020820 0.012798 0.016626 0.007502 0.007266 0.007189 0.019073 0.008662 0.008991 0.007465 0.007433 0.020739 0.008457 0.018646 0.008337 0.007683 0.008028 0.007927 0.007472 0.007599 0.007054 0.006743 0.006569 0.006890 0.006980 0.007928 0.007806 0.007701 0.006623 0.007210 0.007127 0.008062 0.007203 0.007082 0.007136 0.006981 0.006779 0.013564 0.006845 0.012909 0.012975 0.006922 0.006510 0.006488 0.012750 0.007913 0.007083 0.007674 0.006106 0.007089 0.007208 0.011830 0.007277 0.012123 0.006482 0.011285 0.012345 0.013093 0.007396 0.009002 0.011430 0.011652 0.006454 0.006319 0.006658 0.006523 0.011020 0.011229 0.010904 0.011854 0.006744 0.006949 0.006856 0.011385 0.006761 0.006689 0.007166 0.007780 0.007037 0.011291 0.010984 0.007026 0.011303 0.006584 0.006594 0.009221 0.009973 0.012311 0.010362 0.006835 0.009225 0.006423 0.007196 0.006924 0.006625 0.007029 0.011667 0.007104 0.009635 0.011744 0.009509 0.007030 0.006984 0.007214 0.006758 0.007814 0.009445 0.007038 0.006834 0.007150 0.006919 0.007750 0.007418 0.007501 0.007514 0.007341 0.007625 0.007440 0.006729 0.006581 0.006486 0.006335 0.005971 0.006801 0.006370 0.006756 0.010109 0.006313 0.006704 0.006439 0.005811 0.006373 0.006095 0.006289 0.009431 0.006006 0.007799 0.009892 0.006753 0.006332 0.007585 0.006606 0.006438 0.009526 0.006117 0.006523 0.010011 0.010829 0.006659 0.009470 0.006297 0.009205 0.006012 0.008533 0.008591 0.006358 0.006298 0.009721 0.007497 0.006065 0.006097 0.006382 0.006536 0.009019 0.009462 0.009245 0.009788 0.006855 0.006357 0.006721 0.009537 0.006082 0.007017 0.006321 0.007083 0.006590 0.008066 0.009390 0.009671 0.006800 0.009777 0.006409 0.008151 0.006580 0.006181 0.008699 0.008310 0.010118 0.009397 0.010152 0.007954 0.006819 0.006083 0.006799 0.006898 0.006921 0.006230 0.008482 0.006288 0.009699 0.006830 0.006546 0.008531 0.010009 0.009850 0.006142 0.008624 0.009820 0.010647 0.006572 0.006354 0.006491 0.008406 0.006489 0.006223 0.010837 0.009216 0.006368 0.006895 0.006524 0.009584 0.006154 0.005761 0.005893 0.006276 0.008412 0.005650 0.005895 0.008555 0.005568 0.005934 0.008542 0.005681 0.005854 0.005574 0.005602 0.005514 0.005771 0.007709 0.006100 0.007379 0.008229 0.005799 0.008770 0.005486 0.006298 0.008239 0.008443 0.006876 0.006534 0.005732 0.006712 0.007356 0.006314 0.007563 0.008512 0.007759 0.008247 0.006159 0.008522 0.006894 0.007747 0.007130 0.005630 0.007552 0.005923 0.007141 0.005816 0.007515 0.005808 0.006111 0.007206 0.005966 0.005653 0.005995 0.007187 0.005704 0.005784 0.005834 0.007303 0.005866 0.006077 0.007643 0.006127 0.006475 0.008129 0.005730 0.006195 0.004921 0.005331 0.005354 0.005600 0.005487 0.005209 0.006038 0.005861 0.005162 0.005970 0.005511 0.005812 0.005572 0.005946 0.005721 0.005464 0.005214 0.005538 0.005233 0.005589 0.005215 0.005370 0.004958 0.005119 0.006165 0.005738 0.005944 0.005254 0.005725 0.005958 0.005687 0.005953 0.005404 0.005859 0.006019 0.006899 0.005840 0.007148 0.006938 0.006445 0.006890 0.006468 0.006586 0.006702 0.006793 0.006859 0.010064 0.006726 0.006817 0.006198 0.006182 0.006330 0.006228 0.006274 0.009066 0.006238 0.008079 0.009481 0.006541 0.006197 0.007648 0.006296 0.006877 0.006019 0.009509 0.006064 0.006846 0.009804 0.010167 0.006747 0.009166 0.005978 0.008311 0.006046 0.008466 0.007477 0.008965 0.006351 0.006176 0.009197 0.008121 0.006374 0.006255 0.006406 0.006694 0.009385 0.009188 0.008875 0.009696 0.006387 0.006454 0.006854 0.009356 0.006343 0.007102 0.006224 0.006797 0.006795 0.007941 0.009272 0.008885 0.006425 0.009602 0.006345 0.007793 0.006778 0.006378 0.008094 0.007840 0.009743 0.008462 0.009866 0.007808 0.006145 0.006135 0.006059 0.006198 0.006597 0.006673 0.006404 0.007862 0.006683 0.009508 0.006592 0.006209 0.008105 0.009531 0.009650 0.006044 0.008563 0.010039 0.009619 0.006488 0.006488 0.006067 0.007846 0.006395 0.006307 0.010192 0.009003 0.006483 0.006977 0.006799 0.006606 0.009822 0.006070 0.005983 0.006102 0.005828 0.005746 0.006522 0.005718 0.005814 0.005688 0.005782 0.006014 0.005808 0.005796 0.005779 0.005545 0.005536 0.006271 0.007144 0.006001 0.005844 0.008209 0.006787 0.005587 0.005772 0.005687 0.007859 0.005604 0.006906 0.005658 0.006345 0.005975 0.006054 0.007642 0.007722 0.005795 0.007872 0.007159 0.005644 0.007701 0.005570 0.006103 0.005879 0.006085 0.005718 0.005923 0.005693 0.005410 0.006245 0.006965 0.005665 0.005717 0.007079 0.005785 0.005996 0.005556 0.005657 0.005402 0.006448 0.005480 0.005673 0.005229 0.005544 0.005733 0.006090 0.005564 0.005064 0.005251 0.005632 0.005921 0.005819 0.006125 0.004980 0.007175 0.006718 0.006399 0.006572 0.006408 0.006337 0.006759 0.006582 0.006558 0.010501 0.006819 0.007140 0.006522 0.006038 0.006344 0.006489 0.006471 0.006035 0.008004 0.006703 0.006645 0.006728 0.007375 0.005935 0.006796 0.006742 0.010197 0.010484 0.006561 0.009575 0.006192 0.006029 0.007022 0.008715 0.006433 0.006156 0.009626 0.006344 0.007827 0.006016 0.006656 0.006196 0.006365 0.009226 0.009819 0.009806 0.010422 0.006466 0.006516 0.006486 0.009529 0.006212 0.007407 0.006794 0.006709 0.006971 0.009634 0.009019 0.007037 0.009657 0.007057 0.006276 0.006256 0.009210 0.010648 0.008903 0.010132 0.006236 0.006899 0.006447 0.006175 0.006961 0.006762 0.006259 0.006362 0.010095 0.006576 0.006136 0.009911 0.010173 0.006444 0.008239 0.010499 0.006568 0.006401 0.008321 0.006542 0.006441 0.011403 0.006648 0.006951 0.006607 0.006376 0.009693 0.006928 0.006192 0.005831 0.005737 0.005728 0.005999 0.005830 0.005852 0.006078 0.007911 0.006048 0.005679 0.007990 0.005463 0.005491 0.007999 0.006024 0.005543 0.005582 0.006053 0.005523 0.005608 0.007090 0.007134 0.007161 0.005855 0.007790 0.005938 0.005512 0.005969 0.005846 0.007655 0.005307 0.006853 0.006326 0.005630 0.006678 0.006521 0.005694 0.006301 0.006929 0.007476 0.007399 0.007339 0.005739 0.007943 0.006667 0.006917 0.007439 0.005868 0.007486 0.005488 0.007071 0.006069 0.005770 0.006029 0.006814 0.005653 0.005901 0.007121 0.005600 0.005641 0.006038 0.006963 0.005705 0.006114 0.005385 0.005918 0.006938 0.005577 0.005835 0.007383 0.005304 0.005869 0.006195 0.005051 0.005144 0.005645 0.005599 0.005099 0.006009 0.005963 0.005714 0.006081 0.005690 0.005871 0.005995 0.005750 0.005872 0.005582 0.005716 0.005833 0.005805 0.005774 0.005391 0.007168 0.005518 0.005265 0.005852 0.005792 0.005327 0.005672 0.007075 0.006937 0.007098 0.005839 0.005392 0.007138 0.005499 0.006345 0.005478 0.005307 0.006197 0.005167 0.005962 0.006375 0.006502 0.007278 0.007076 0.005354 0.006454 0.005720 0.006761 0.005747 0.005349 0.007061 0.006384 0.006666 0.005858 0.006779 0.005357 0.005359 0.007446 0.005529 0.006495 0.005681 0.005256 0.006340 0.005311 0.004797 0.005716 0.005805 0.005586 0.006674 0.005931 0.005007 0.005539 0.005474 0.005268 0.005694 0.005885 0.005904 0.006175 0.006248 0.006472 0.006556 0.006771 0.006099 0.009511 0.006494 0.006766 0.006075 0.006037 0.005854 0.006144 0.008975 0.006032 0.005959 0.008845 0.008171 0.007534 0.005770 0.009439 0.005942 0.008916 0.006621 0.005870 0.009973 0.006422 0.008972 0.005590 0.008359 0.008437 0.008103 0.006163 0.005849 0.009298 0.006293 0.007750 0.006147 0.005939 0.006526 0.008904 0.009195 0.007232 0.008436 0.009321 0.006482 0.006327 0.007342 0.008768 0.005905 0.007319 0.007802 0.008504 0.007764 0.008063 0.008499 0.006045 0.009008 0.006342 0.007487 0.007901 0.007851 0.005989 0.008292 0.009216 0.007466 0.005938 0.006615 0.005747 0.006067 0.007790 0.008056 0.006594 0.005937 0.008112 0.009179 0.009037 0.005954 0.008033 0.009617 0.009253 0.008232 0.005612 0.006018 0.008250 0.006045 0.009627 0.008203 0.006762 0.009394 0.005795 0.005335 0.005404 0.006070 0.006444 0.005301 0.005541 0.005232 0.005212 0.005291 0.006289 0.006257 0.006326 0.005811 0.005231 0.006628 0.006056 0.005267 0.005817 0.005975 0.005517 0.005514 0.006115 0.004987 0.006388 0.006868 0.006817 0.005185 0.005837 0.006106 0.006667 0.005558 0.006049 0.006182 0.005589 0.006443 0.005747 0.005279 0.006284 0.005454 0.006687 0.005905 0.006080

total iso time: 43.081904
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 173            (499 /sec)
decisions             : 185            (0.00 % random) (533 /sec)
propagations          : 765            (2206 /sec)
conflict literals     : 1482           (17.21 % deleted)
components created    : 174
components cached     : 161
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 173
glasgow calls         : 5646
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.34679 s

SATISFIABLE
