/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col80_5_3.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           160                                         |
|  Number of clauses:             666                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     151      666     2470 |      244      100      3 |  5.629 % |
|       250 |     151      666     2470 |      268      250      4 |  5.629 % |
|       475 |     151      666     2470 |      295      177      3 |  5.629 % |

iso times: 0.014749 0.017192 0.016795 0.016911 0.016006 0.015541 0.015417 0.015720 0.014630 0.016447 0.017637 0.016793 0.016827 0.015606 0.015103 0.015085 0.015140 0.014069 0.014347 0.013926 0.014549 0.013485 0.013138 0.013203 0.012819 0.012862 0.012424 0.012149 0.014183 0.014595 0.014247 0.004751 0.017982 0.014027 0.005081 0.020262 0.016026 0.020380 0.020457 0.015427 0.020365 0.021173 0.015869 0.020051 0.020196 0.015934 0.019497 0.019709 0.014818 0.018873 0.019007 0.014612 0.021901 0.016901 0.020680 0.021875 0.016317 0.020940 0.021984 0.018279 0.021184 0.021405 0.016579 0.019847 0.020565 0.016245 0.020030 0.020372 0.015858 0.019930 0.004930 0.020675 0.015694 0.019404 0.020881 0.015591 0.019484 0.020576 0.015358 0.019635 0.019598 0.014302 0.019259 0.019555 0.014716 0.018803 0.019370 0.013874 0.018746 0.018464 0.013600 0.017552 0.018427 0.013295 0.017900 0.018249 0.013468 0.018202 0.017672 0.012704 0.017407 0.017707 0.013011 0.017445 0.017184 0.012121 0.016951 0.016842 0.012235 0.016972 0.016492 0.011915 0.016927 0.016354 0.011496 0.016616 0.015594 0.011420 0.016514 0.016105 0.011584 0.004462 0.019492 0.014211 0.018402 0.018832 0.014218 0.018102 0.019168 0.014737 0.018484 0.017955 0.013128 0.017658 0.017946 0.012997 0.017233 0.017784 0.013235 0.017280 0.017254 0.012791 0.017230 0.017505 0.012844 0.016794 0.017163 0.012150 0.016455 0.016758 0.012004 0.016605 0.016483 0.011819 0.016718 0.016327 0.011533 0.016274 0.015791 0.011295 0.016176 0.015969 0.011286 0.015960 0.015718 0.010986 0.004331 0.018255 0.015181 0.013131 0.017972 0.018392 0.015461 0.013076 0.017282 0.018029 0.014795 0.013335 0.017560 0.017594 0.014295 0.012805 0.017294 0.017306 0.014534 0.012993 0.017048 0.017207 0.014072 0.012678 0.017266 0.017450 0.014301 0.012516 0.016730 0.016628 0.013653 0.011904 0.016232 0.016300 0.013116 0.011625 0.016464 0.016026 0.012983 0.011891 0.016302 0.015705 0.012637 0.011540 0.015772 0.015936 0.012999 0.011874 0.017010 0.015236 0.012290 0.011135 0.015535 0.014936 0.012001 0.010761 0.004447 0.015602 0.012787 0.011843 0.016103 0.015630 0.012857 0.011334 0.015842 0.015565 0.012183 0.010921 0.020435 0.018677 0.016167 0.019719 0.020615 0.018742 0.016038 0.019891 0.020155 0.017359 0.016401 0.019664 0.020484 0.017245 0.016005 0.019431 0.019655 0.017433 0.016058 0.019299 0.019923 0.016487 0.015251 0.018694 0.018723 0.016084 0.014103 0.018288 0.018905 0.015863 0.014278 0.018080 0.018458 0.015530 0.013944 0.018077 0.018020 0.015606 0.013404 0.017340 0.017738 0.015382 0.013474 0.017221 0.017082 0.014597 0.012694 0.019297 0.015646 0.014857 0.018325 0.018456 0.015982 0.014314 0.017838 0.018403 0.015475 0.013674 0.017278 0.017451 0.014652 0.012945 0.016713 0.017628 0.014532 0.013195 0.017248 0.017120 0.014495 0.012758 0.017065 0.017064 0.014387 0.012532 0.016861 0.016150 0.013368 0.012174 0.016100 0.015715 0.012851 0.011381 0.015359 0.015004 0.012773 0.011118 0.015224 0.015380 0.013012 0.011641 0.015692 0.014530 0.012348 0.010894 0.014969 0.014006 0.011978 0.010460 0.016244 0.013815 0.012295 0.016022 0.015997 0.013357 0.012157 0.004298 0.021465 0.019460 0.017387 0.020531 0.021518 0.019205 0.016780 0.021296 0.021580 0.018331 0.018477 0.016692 0.020344 0.020896 0.017084 0.018383 0.016617 0.019966 0.022845 0.019172 0.019169 0.017532 0.021504 0.020539 0.017554 0.017329 0.015568 0.019240 0.019810 0.017126 0.017670 0.015802 0.018560 0.019967 0.016710 0.016920 0.015578 0.019184 0.019632 0.016604 0.016460 0.014222 0.018976 0.018425 0.015953 0.016248 0.014566 0.018175 0.018510 0.015151 0.015654 0.013953 0.017940 0.018837 0.015915 0.015947 0.014618 0.018439 0.017704 0.014123 0.014512 0.013244 0.017002 0.017704 0.013932 0.013966 0.012872 0.017124 0.016924 0.013740 0.015086 0.012842 0.016177 0.016053 0.012683 0.013255 0.011775 0.015667 0.015646 0.012934 0.012934 0.011681 0.015556 0.014550 0.011862 0.011910 0.011144 0.014646 0.014616 0.011809 0.011948 0.010862 0.014592 0.019123 0.015942 0.015824 0.014593 0.015631 0.018639 0.019009 0.016043 0.016490 0.014610 0.014409 0.018457 0.018195 0.015392 0.015107 0.013861 0.013739 0.017146 0.018421 0.014731 0.014833 0.014102 0.014415 0.017711 0.017779 0.014068 0.014417 0.013686 0.013374 0.016594 0.017861 0.014608 0.014754 0.013235 0.013415 0.017171 0.017662 0.014281 0.014951 0.013033 0.013378 0.016661 0.017189 0.013530 0.014364 0.012942 0.012965 0.016845 0.015796 0.012841 0.012580 0.011451 0.011830 0.015011 0.014919 0.011822 0.012101 0.011127 0.011206 0.015086 0.014245 0.011206 0.011608 0.010650 0.010808 0.014447 0.014304 0.011525 0.011887 0.010222 0.010724 0.014957 0.013949 0.010979 0.011176 0.010244 0.004673 0.015807 0.013391 0.012558 0.016613 0.013876 0.013512 0.016688 0.015791 0.012308 0.011659 0.015762 0.013128 0.012735 0.015827 0.014683 0.011508 0.011306 0.013901 0.016538 0.013450 0.012910 0.017055 0.015068 0.014530 0.017432 0.016599 0.012793 0.012718 0.016495 0.013985 0.014193 0.017122 0.015301 0.012606 0.011733 0.004964 0.021323 0.042875 0.015710 0.015239 0.018436 0.016929 0.016195 0.018339 0.021338 0.081246 0.015475 0.014289 0.018173 0.016550 0.016144 0.019412 0.022242 0.037521 0.016053 0.028261 0.015325 0.018344 0.016785 0.016297 0.018754 0.119271 0.018291 0.015272 0.028364 0.014884 0.018053 0.016133 0.016031 0.018722 0.020532 0.076939 0.013932 0.026952 0.014191 0.017662 0.015757 0.015310 0.018312 0.020701 0.081232 0.014389 0.023046 0.014138 0.017653 0.015844 0.015484 0.017787 0.020521 0.076551 0.014377 0.022629 0.013734 0.017060 0.015448 0.014668 0.017618 0.425768 0.018257 0.014109 0.021941 0.013890 0.016881 0.015153 0.014757 0.017698 0.298722 0.016664 0.013658 0.021143 0.013241 0.016450 0.014647 0.014038 0.016924 0.301610 0.016634 0.013068 0.020993 0.013050 0.016465 0.014404 0.013970 0.016784 0.271302 0.015936 0.012828 0.020151 0.012755 0.016197 0.014133 0.013885 0.016856 0.165476 0.015439 0.012575 0.019771 0.012649 0.016083 0.013457 0.013004 0.016004 0.182579 0.015313 0.011878 0.019030 0.011841 0.015405 0.013347 0.012888 0.015818 0.254775 0.014133 0.011586 0.017993 0.011147 0.014501 0.012654 0.011775 0.014474 1.965839 0.014009 0.011052 0.017106 0.010836 0.014971 0.012293 0.011318 0.428922 0.017001 0.013615 0.021528 0.013354 0.016184 0.014555 0.014377 0.016811 0.300755 0.016699 0.013141 0.021217 0.013079 0.016529 0.014994 0.014336 0.017277 0.299013 0.015848 0.012886 0.020319 0.012422 0.016009 0.014090 0.013951 0.016390 0.265056 0.015872 0.012895 0.019942 0.012279 0.016306 0.013500 0.013311 0.016018 0.164728 0.015525 0.011960 0.019486 0.011951 0.015503 0.012982 0.013086 0.015680 0.180304 0.015066 0.011774 0.019021 0.011673 0.015143 0.012863 0.012693 0.015514 0.181998 0.014667 0.011737 0.018438 0.011416 0.015206 0.012646 0.012554 0.015884 0.256248 0.013736 0.011292 0.017422 0.010903 0.014860 0.012279 0.011970 0.014592 1.965402 0.013765 0.010988 0.017314 0.010698 0.014456 0.011964 0.011134 0.004354 0.210790 0.015426 0.012562 0.012005 0.019535 0.011958 0.015439 0.013433 0.012781 0.015803 0.225366 0.015298 0.012223 0.011689 0.019073 0.011707 0.015442 0.013340 0.012896 0.015167 0.255911 0.015203 0.011929 0.011726 0.019077 0.011628 0.014986 0.013159 0.012595 0.015529 0.162939 0.014380 0.011327 0.011159 0.018210 0.011652 0.015122 0.013027 0.012636 0.014926 0.477668 0.014613 0.011730 0.011469 0.018695 0.011310 0.015362 0.012924 0.012485 0.015274 0.172139 0.014144 0.011125 0.010636 0.017519 0.010711 0.014670 0.012518 0.011541 0.014898 0.174571 0.012918 0.009956 0.010049 0.016116 0.009864 0.013956 0.010948 0.011228 0.013582 0.066127 0.012069 0.009966 0.009828 0.015451 0.009703 0.013442 0.010536 0.010084 0.292038 0.015707 0.013296 0.012085 0.020010 0.012187 0.015509 0.013675 0.013140 0.015959 0.391644 0.015350 0.012561 0.012039 0.019764 0.012153 0.015338 0.013453 0.013393 0.015685 0.524196 0.014981 0.012253 0.011743 0.019207 0.011977 0.014976 0.013496 0.012584 0.015643 0.489461 0.014990 0.011658 0.011419 0.019062 0.011822 0.014921 0.012845 0.012267 0.014999 0.480721 0.014973 0.011835 0.011555 0.017683 0.011431 0.014206 0.012700 0.012226 0.014932 0.464924 0.014116 0.011028 0.010829 0.016942 0.010787 0.013980 0.012377 0.012146 0.014333 0.364826 0.015049 0.011419 0.010587 0.017327 0.010549 0.013617 0.011914 0.011348 0.013692 0.208552 0.013201 0.010444 0.010155 0.016150 0.010047 0.013732 0.011266 0.010988 0.013539 0.171611 0.012645 0.009856 0.009518 0.517580 0.013891 0.011075 0.010283 0.017095 0.010747 0.013715 0.011647 0.011050 0.347508 0.016677 0.013397 0.012935 0.021620 0.013026 0.016346 0.014874 0.014032 0.016941 0.238286 0.015955 0.012899 0.012415 0.020391 0.012910 0.016399 0.014044 0.013586 0.016493 0.250360 0.013902 0.011039 0.010700 0.017765 0.011029 0.014790 0.011854 0.011934 0.014788 0.255843 0.013221 0.010559 0.010304 0.017303 0.010236 0.013948 0.011694 0.011255 0.013874 0.240805 0.012265 0.009953 0.009764 0.015843 0.009761 0.013202 0.010934 0.010511 0.013065 0.249639 0.012013 0.010007 0.009539 0.015869 0.009620 0.012501 0.010393 0.010291 0.012979 0.160364 0.011661 0.009463 0.008941 0.014959 0.008918 0.012723 0.009742 0.009902 0.011789 0.009413 0.005163 0.032478 0.021651 0.017394 0.017037 0.030891 0.017964 0.021009 0.019031 0.018399 0.021508 0.024464 0.022403 0.017651 0.016925 0.035129 0.017478 0.030553 0.020629 0.018852 0.018184 0.021542 0.032717 0.021920 0.017137 0.016834 0.029973 0.017330 0.020629 0.018598 0.019028 0.021046 0.030726 0.020099 0.016312 0.015074 0.028669 0.015538 0.019576 0.017525 0.017128 0.020040 0.032366 0.019442 0.016488 0.015629 0.028234 0.016128 0.019307 0.017601 0.016522 0.020506 0.030286 0.019078 0.015354 0.014959 0.027625 0.015237 0.019047 0.017344 0.016912 0.019990 0.030867 0.019294 0.016049 0.015673 0.027451 0.015738 0.019341 0.018034 0.016343 0.019542 0.046024 0.018400 0.014306 0.014451 0.031137 0.014622 0.024187 0.018645 0.015646 0.015391 0.019293 0.038479 0.018350 0.014875 0.014575 0.026730 0.014223 0.018595 0.015696 0.015944 0.019414 0.049441 0.017793 0.014842 0.014171 0.026763 0.014597 0.023613 0.018279 0.016244 0.015696 0.018657 0.050893 0.017654 0.014817 0.014109 0.026916 0.014228 0.023177 0.017708 0.015798 0.015155 0.018163 0.044037 0.017063 0.013710 0.013337 0.024923 0.013506 0.022622 0.017477 0.015031 0.014549 0.017598 0.053574 0.016144 0.013091 0.012691 0.023873 0.012776 0.021216 0.016617 0.014039 0.013731 0.017134 0.038692 0.015463 0.012484 0.011743 0.023034 0.012104 0.019841 0.015477 0.013146 0.012832 0.015896 0.042152 0.014495 0.012024 0.011673 0.022249 0.011250 0.015035 0.012521 0.012463 0.015438 0.054950 0.015426 0.012194 0.011900 0.018949 0.011962 0.019874 0.015540 0.013019 0.012623 0.015682 0.164631 0.014584 0.011460 0.011073 0.018191 0.011195 0.014832 0.012466 0.012110 0.015157 0.262941 0.013099 0.010953 0.010571 0.017331 0.010351 0.017773 0.014347 0.011349 0.011177 0.043267 0.014073 0.011504 0.011219 0.021537 0.011109 0.014875 0.012162 0.011810 0.042451 0.015308 0.012062 0.012136 0.023015 0.011924 0.019594 0.015816 0.013268 0.012804 0.015707 0.042967 0.014694 0.012092 0.011393 0.022868 0.011817 0.015344 0.012961 0.012694 0.015749 0.024643 0.013751 0.011130 0.010880 0.017859 0.010665 0.014906 0.012197 0.012143 0.014872 0.022370 0.013433 0.011143 0.010750 0.017347 0.010613 0.014405 0.011782 0.011643 0.014658 0.022457 0.013634 0.010976 0.010427 0.017377 0.010686 0.014401 0.011674 0.011450 0.014251 0.083472 0.012633 0.010707 0.010325 0.016176 0.010286 0.013946 0.011200 0.011427 0.013990 0.060663 0.012603 0.010078 0.009892 0.016197 0.009833 0.013500 0.010945 0.011219 0.013433 0.060537 0.012031 0.009950 0.009889 0.015628 0.009954 0.013276 0.010518 0.010437 0.012845 0.059923 0.011974 0.009904 0.009620 0.015406 0.009668 0.013205 0.010302 0.010338 0.012452 0.022013 0.013388 0.010606 0.010607 0.017164 0.010568 0.014254 0.011661 0.011804 0.014681 0.021315 0.013029 0.010349 0.010286 0.016646 0.010218 0.014083 0.011292 0.011645 0.013977 0.022872 0.013209 0.010272 0.010075 0.016601 0.010227 0.013930 0.011218 0.011275 0.013838 0.085511 0.012630 0.010364 0.009865 0.016628 0.009969 0.013541 0.011894 0.011088 0.013715 0.064546 0.012102 0.009649 0.009603 0.015637 0.009531 0.013253 0.010496 0.010419 0.012808 0.063727 0.011856 0.009452 0.009577 0.015311 0.009422 0.013165 0.010560 0.010254 0.012678 0.064684 0.012034 0.009659 0.009299 0.015040 0.009441 0.012636 0.010084 0.010268 0.012470 0.050797 0.011403 0.009449 0.008873 0.014482 0.008725 0.012620 0.009694 0.009624 0.011542 0.008374 0.023493 0.014056 0.011362 0.010574 0.017645 0.011077 0.014783 0.012011 0.011647 0.014666 0.021208 0.013023 0.010374 0.010204 0.016667 0.010280 0.014300 0.011198 0.011084 0.013902 0.021125 0.012679 0.010301 0.009941 0.016504 0.010260 0.014233 0.010949 0.010893 0.013672 0.022137 0.012692 0.010158 0.009682 0.016242 0.009906 0.013904 0.010869 0.010966 0.013308 0.081278 0.012534 0.010005 0.009786 0.016073 0.010027 0.013477 0.010905 0.010866 0.013266 0.061869 0.012199 0.009633 0.009235 0.015286 0.009437 0.013006 0.010204 0.010905 0.012574 0.061576 0.011648 0.009364 0.009115 0.015021 0.009533 0.012874 0.010254 0.010069 0.012395 0.060297 0.011287 0.009276 0.009032 0.015032 0.009090 0.012655 0.010260 0.009833 0.012372 0.145118 0.011279 0.009056 0.008882 0.015189 0.008854 0.015729 0.012611 0.010130 0.009626 0.011744 0.048505 0.011144 0.009559 0.008969 0.014360 0.008667 0.012036 0.009373 0.009522 0.011310 0.008283 0.020509 0.012882 0.010133 0.009981 0.016416 0.010446 0.014119 0.011210 0.010956 0.014092 0.020463 0.012608 0.009922 0.009942 0.016085 0.009910 0.013619 0.011021 0.010805 0.013476 0.081114 0.012229 0.009866 0.009838 0.015872 0.009922 0.013454 0.010501 0.010373 0.013127 0.062006 0.011990 0.009651 0.009274 0.015050 0.009298 0.013113 0.010007 0.010348 0.012375 0.060006 0.011575 0.009179 0.008986 0.015148 0.009391 0.012603 0.009841 0.009786 0.012252 0.059924 0.011083 0.009153 0.008964 0.014752 0.009094 0.012449 0.009881 0.009492 0.012165 0.048585 0.010691 0.008495 0.008572 0.013898 0.008477 0.012041 0.009453 0.009315 0.011163 0.008531 0.014814 0.011813 0.009582 0.009331 0.009553 0.013297 0.010554 0.010610 0.013469 0.009114 0.009073 0.013012 0.010110 0.012512 0.008681 0.008839 0.012357 0.009350 0.017963 0.012210 0.009763 0.009594 0.014952 0.009703 0.013051 0.010645 0.010617 0.012945 0.008784 0.075048 0.016492 0.013429 0.012809 0.024421 0.012984 0.022108 0.016955 0.014454 0.013653 0.017295 0.134886 0.016116 0.012799 0.012461 0.020227 0.012500 0.021540 0.016485 0.014164 0.013590 0.016572 0.099709 0.015367 0.012354 0.011702 0.019854 0.012105 0.020925 0.015885 0.013642 0.012849 0.015707 0.020260 0.014364 0.011408 0.011391 0.017747 0.010628 0.018934 0.014699 0.011912 0.011636 0.014666 0.020093 0.013786 0.010537 0.010511 0.017444 0.010401 0.018548 0.014529 0.011455 0.011617 0.014137 0.014581 0.011790 0.009460 0.009475 0.014890 0.009092 0.012823 0.010322 0.009989 0.012401 0.039680 0.011082 0.009072 0.008600 0.014278 0.008843 0.015477 0.012256 0.009646 0.009228 0.019804 0.013073 0.010692 0.010688 0.016819 0.010563 0.017762 0.014409 0.011509 0.011189 0.016601 0.044360 0.013158 0.010583 0.010164 0.016549 0.010040 0.017978 0.013916 0.011180 0.010791 0.013456 0.051649 0.012559 0.010274 0.010126 0.016005 0.009921 0.018932 0.013688 0.011087 0.010927 0.024158 0.012584 0.009974 0.010232 0.016026 0.009986 0.017763 0.013786 0.010765 0.010162 0.086349 0.013076 0.010447 0.010482 0.019958 0.010143 0.018074 0.013836 0.011342 0.011135 0.013893 0.039581 0.010850 0.008582 0.008861 0.014312 0.008538 0.014555 0.011991 0.009220 0.009117 0.055574 0.009643 0.007594 0.007319 0.012478 0.007582 0.010908 0.008327 0.008774 0.010239 0.055246 0.009189 0.007390 0.007252 0.012538 0.007642 0.010547 0.008205 0.008246 0.009828 0.058006 0.009020 0.007293 0.007208 0.012185 0.007312 0.010225 0.007750 0.007996 0.009366 0.056668 0.009709 0.007477 0.007191 0.011734 0.007547 0.010220 0.007811 0.008287 0.009866 0.032517 0.008981 0.007420 0.007106 0.007047 0.010596 0.007826 0.007629 0.028443 0.014899 0.011973 0.011843 0.019206 0.012048 0.020577 0.015255 0.013128 0.013023 0.015529 0.028037 0.014864 0.011872 0.011389 0.018764 0.011198 0.019218 0.014982 0.012733 0.012559 0.015149 0.026162 0.014944 0.011805 0.011341 0.018446 0.011316 0.018970 0.015138 0.012468 0.012154 0.015261 0.086290 0.014429 0.011535 0.011533 0.018167 0.011179 0.018494 0.014802 0.012237 0.012168 0.014728 0.022279 0.014901 0.011736 0.011267 0.021584 0.011505 0.020100 0.014959 0.012836 0.012687 0.014857 0.150156 0.014765 0.011730 0.011785 0.021653 0.011270 0.031019 0.015128 0.012709 0.012116 0.014818 0.022010 0.014304 0.011309 0.010854 0.021121 0.011420 0.019103 0.014762 0.012403 0.011773 0.014576 0.020670 0.014275 0.011175 0.010822 0.020571 0.011008 0.018758 0.014655 0.012112 0.011752 0.014647 0.020943 0.014000 0.011065 0.010857 0.020817 0.010882 0.018863 0.014186 0.012253 0.011668 0.014128 0.023384 0.014023 0.011354 0.010622 0.020555 0.010722 0.018498 0.014354 0.012228 0.011762 0.014092 0.019899 0.013644 0.010555 0.010350 0.019391 0.010758 0.014071 0.011743 0.011537 0.013969 0.019530 0.013294 0.010581 0.010008 0.032248 0.013356 0.010724 0.010184 0.020208 0.107325 0.014414 0.013165 0.030030 0.014054 0.036688 0.018339 0.015872 0.015640 0.018703 0.020021 0.105595 0.014201 0.013682 0.026443 0.013792 0.035935 0.017870 0.015230 0.014821 0.017468 0.019968 0.101573 0.013442 0.013638 0.025841 0.013604 0.034449 0.017417 0.015333 0.014600 0.017959 0.066296 0.015866 0.013024 0.012352 0.024748 0.012838 0.020762 0.016760 0.014203 0.013435 0.016540 0.066738 0.015423 0.012606 0.012050 0.022750 0.012163 0.020113 0.016630 0.013534 0.013069 0.016244 0.060716 0.015395 0.012189 0.011769 0.026306 0.011821 0.020230 0.015921 0.013319 0.012965 0.015754 0.007016 0.036303 0.044867 0.015230 0.011963 0.011967 0.019164 0.011714 0.019910 0.015962 0.013186 0.012429 0.015615 0.036382 0.035695 0.042986 0.014736 0.011870 0.011448 0.018298 0.011310 0.019301 0.015417 0.012684 0.012783 0.015457 0.035868 0.034945 0.048832 0.014463 0.011556 0.011140 0.018267 0.010998 0.018854 0.015261 0.012294 0.011974 0.014938 0.053705 0.035210 0.047809 0.013838 0.011098 0.010898 0.017318 0.010711 0.019036 0.014941 0.011953 0.011490 0.056140 0.035931 0.053538 0.015223 0.012242 0.011662 0.018941 0.011888 0.019321 0.015614 0.013114 0.012820 0.015389 0.055768 0.036454 0.045192 0.014439 0.011315 0.010976 0.017695 0.011014 0.018344 0.015069 0.012426 0.011745 0.015158 0.033810 0.034466 0.040477 0.014097 0.011134 0.010724 0.017663 0.010764 0.018409 0.014988 0.012111 0.011975 0.007313 0.040856 0.038962 0.020171 0.143128 0.013706 0.013193 0.029071 0.013540 0.022579 0.033716 0.017368 0.014743 0.013938 0.017467 0.041865 0.038194 0.019168 0.144034 0.013833 0.013052 0.028228 0.013295 0.035327 0.034341 0.016822 0.014514 0.014132 0.017043 0.040181 0.037806 0.019645 0.197465 0.013508 0.013006 0.028194 0.013371 0.021744 0.034021 0.016493 0.014287 0.013793 0.016734 0.036410 0.033985 0.018488 0.352082 0.012345 0.011625 0.019692 0.011686 0.020383 0.032432 0.015185 0.013383 0.012538 0.015231 0.039690 0.032821 0.016820 0.382225 0.010901 0.010487 0.017849 0.010605 0.018846 0.028467 0.013901 0.011779 0.011017 0.005132 0.045346 0.044953 0.729235 0.038973 0.018820 0.014918 0.014808 0.031042 0.015513 0.024069 0.024636 0.018013 0.016597 0.016281 0.018660 0.045037 0.043666 0.562012 0.063722 0.018546 0.014762 0.014512 0.030251 0.014151 0.023879 0.023617 0.017584 0.016138 0.014777 0.018743 0.046344 0.042765 0.489989 0.020724 0.103365 0.015018 0.014300 0.026518 0.014574 0.037451 0.034739 0.017948 0.015483 0.014823 0.018247 0.044858 0.043072 0.862728 0.070233 0.017998 0.014507 0.014528 0.026539 0.013972 0.022873 0.023365 0.017877 0.016040 0.014743 0.018508 0.058117 0.038784 0.457596 0.018983 0.212011 0.013030 0.012658 0.028328 0.012846 0.021287 0.033871 0.016527 0.014170 0.013581 0.016680 0.050565 0.037469 0.531726 0.017692 0.236604 0.012837 0.012159 0.024340 0.012302 0.020934 0.032570 0.015902 0.013516 0.013103 0.016282 0.038970 0.035189 0.506724 0.017663 0.272999 0.012250 0.011788 0.019998 0.011986 0.020278 0.032276 0.015515 0.012987 0.012488 0.044813 0.043232 0.706034 0.108071 0.018138 0.014573 0.014419 0.030516 0.014236 0.023649 0.023290 0.017198 0.015921 0.015288 0.018637 0.043744 0.039571 0.109167 0.092611 0.017464 0.014115 0.013732 0.025938 0.013767 0.022882 0.022596 0.017625 0.015204 0.014950 0.017845 0.042225 0.039149 0.207167 0.019805 0.163987 0.014062 0.013019 0.025211 0.013454 0.022022 0.033727 0.017373 0.014772 0.014019 0.017388 0.037394 0.034900 0.144015 0.017930 0.207456 0.012182 0.011978 0.019772 0.011887 0.020448 0.033464 0.015301 0.012890 0.012730 0.016135 0.037095 0.034730 0.124541 0.017439 0.189720 0.012189 0.011825 0.019519 0.011962 0.020226 0.031715 0.015301 0.012822 0.012686 0.015216 0.037709 0.035629 0.254856 0.017569 0.232830 0.011973 0.011727 0.019128 0.011967 0.020223 0.031495 0.015099 0.013129 0.012657 0.015640 0.035958 0.035138 0.323156 0.071298 0.014923 0.011836 0.011510 0.035973 0.033844 0.113088 0.017390 0.188796 0.012198 0.011309 0.019883 0.011718 0.031179 0.031786 0.015013 0.012966 0.012422 0.014958 0.035749 0.032806 0.121849 0.016806 0.213498 0.011384 0.010804 0.021322 0.010989 0.019605 0.029868 0.014296 0.012286 0.011979 0.014383 0.045887 0.033253 0.173484 0.016473 0.257917 0.011399 0.010794 0.021016 0.010889 0.019460 0.030305 0.014265 0.011893 0.011704 0.014415 0.046345 0.032038 0.272657 0.057034 0.014588 0.011251 0.010598 0.041901 0.039831 0.155399 0.132426 0.016903 0.014042 0.013242 0.025170 0.013199 0.022348 0.022003 0.017234 0.014983 0.014692 0.017380 0.042366 0.038822 0.309575 0.019215 0.166946 0.013344 0.012536 0.024397 0.012783 0.021640 0.034710 0.016505 0.014580 0.013545 0.017175 0.035744 0.032910 0.155025 0.016713 0.289923 0.012062 0.011313 0.018740 0.011012 0.030577 0.030294 0.014717 0.012288 0.012169 0.014467 0.042362 0.031977 0.149039 0.016359 0.317668 0.011396 0.010534 0.020893 0.010605 0.019050 0.028668 0.014091 0.011724 0.011476 0.013840 0.041505 0.032663 0.202632 0.016532 0.367940 0.011117 0.010312 0.020402 0.010759 0.019088 0.029115 0.013869 0.011876 0.011286 0.013805 0.041514 0.031597 0.304592 0.083544 0.013411 0.010782 0.010130 0.034718 0.026631 0.115394 0.077657 0.011789 0.009475 0.008979 0.017692 0.008748 0.016830 0.015996 0.012096 0.010023 0.009527 0.011971 0.032915 0.026588 0.123518 0.076935 0.011470 0.009086 0.008854 0.017386 0.008631 0.016775 0.015226 0.012099 0.009988 0.009625 0.011997 0.032421 0.026023 0.095240 0.087592 0.010984 0.008814 0.008288 0.016893 0.008336 0.016443 0.014613 0.011650 0.009418 0.009211 0.011093 0.031611 0.026155 0.210753 0.135912 0.010899 0.008802 0.008457 0.013484 0.008441 0.016967 0.014807 0.012048 0.009369 0.008860 0.010802 0.006077 0.021013 0.031976 0.028683 0.010571 0.007650 0.007935 0.011849 0.007354 0.015446 0.013397 0.010652 0.008370 0.007704 0.031480 0.025246 0.022400 0.013191 0.362419 0.008650 0.008230 0.014076 0.008263 0.016811 0.023399 0.011359 0.009071 0.009149 0.010917 0.006180 0.020938 0.018982 0.127857 0.010325 0.007852 0.007702 0.012883 0.007521 0.015489 0.013671 0.010246 0.009957 0.008459 0.009550 0.006090 0.020815 0.018392 0.162744 0.010480 0.007715 0.007434 0.012189 0.007488 0.015198 0.013267 0.010181 0.009011 0.008189 0.009653 0.005677 0.020350 0.017274 0.234234 0.010075 0.007718 0.007540 0.011882 0.007631 0.015093 0.013548 0.009959 0.008406 0.008013 0.009214 0.005586 0.016835 0.013512 0.009633 0.007273 0.007304 0.011830 0.006969 0.005629 0.012349 0.009376 0.007769 0.007845 0.008558 0.015404 0.012299 0.009413 0.007126 0.007374 0.011290 0.006725 0.005591 0.012001 0.008767 0.007229 0.007256 0.008203 0.014800 0.011339 0.008719 0.006901 0.006711 0.010454 0.006778 0.011175 0.008486 0.007040 0.006843 0.007884 0.011374 0.010343 0.008219 0.006600 0.006110 0.009520 0.006228 0.010697 0.007755 0.006454 0.006348 0.007459 0.009537 0.009695 0.007872 0.005964 0.005962 0.031172 0.024922 0.069706 0.064329 0.010717 0.008268 0.007972 0.013464 0.008186 0.015937 0.014196 0.011094 0.008937 0.008905 0.010572 0.005866 0.020411 0.075324 0.082892 0.010210 0.007515 0.007273 0.012308 0.007489 0.015311 0.013089 0.010064 0.008760 0.007833 0.005701 0.036468 0.830715 0.079603 0.010119 0.007671 0.007429 0.012534 0.007707 0.015758 0.013588 0.010898 0.008252 0.008206 0.039950 0.037962 0.352224 0.019077 0.157500 0.012931 0.012468 0.024092 0.012823 0.021501 0.032127 0.016302 0.013785 0.013284 0.017018 0.040737 0.037187 0.316265 0.018607 0.150050 0.012852 0.012333 0.024285 0.012455 0.033233 0.032019 0.016025 0.013881 0.013383 0.016212 0.073296 0.037921 0.571486 0.018421 0.240620 0.012750 0.012141 0.023332 0.012162 0.021107 0.031336 0.015577 0.013825 0.013082 0.015797 0.069905 0.035615 0.412063 0.018026 0.451664 0.012244 0.011949 0.022724 0.011827 0.020327 0.031026 0.015236 0.013018 0.012777 0.015677 0.069372 0.035878 0.742540 0.275854 0.014972 0.011978 0.011824 0.022925 0.011719 0.020375 0.019632 0.015560 0.013291 0.012898 0.015809 0.036199 0.034691 1.083662 0.155193 0.014749 0.011703 0.011189 0.022176 0.011579 0.019942 0.019513 0.014918 0.012889 0.012214 0.014887 0.065878 0.035854 0.622415 0.209250 0.014686 0.012092 0.011206 0.018501 0.011440 0.019811 0.019738 0.014866 0.012734 0.012217 0.015235 0.035278 0.034499 0.980567 0.134890 0.014142 0.011596 0.011135 0.018576 0.010908 0.020187 0.019431 0.014872 0.012487 0.011986 0.014911 0.060605 0.033757 0.941215 0.129047 0.014267 0.011441 0.011183 0.018382 0.011033 0.019845 0.018876 0.014352 0.012453 0.011936 0.014650 0.034256 0.033158 1.330511 0.121745 0.013873 0.010944 0.010647 0.017718 0.010801 0.019084 0.017982 0.014238 0.011838 0.011480 0.014188 0.045881 0.032054 0.632797 0.163412 0.013015 0.010527 0.010116 0.017492 0.010374 0.018832 0.017666 0.013822 0.011360 0.010952 0.013638 0.043779 0.030919 0.672360 0.160238 0.013225 0.010694 0.009979 0.017180 0.010021 0.018466 0.017562 0.013550 0.011402 0.010886 0.013361 0.042538 0.031682 0.465319 0.156022 0.012804 0.010144 0.009794 0.016736 0.009715 0.018435 0.017671 0.013324 0.011180 0.010684 0.013308 0.040066 0.031051 0.380078 0.153835 0.013015 0.010095 0.009885 0.016532 0.009686 0.027311 0.017637 0.013125 0.010737 0.010547 0.012866 0.038509 0.030153 0.656533 0.143166 0.012267 0.010147 0.009740 0.015652 0.009927 0.017813 0.016771 0.013220 0.010980 0.009968 0.037857 0.028749 1.428502 0.106624 0.012355 0.009764 0.009632 0.015942 0.009608 0.017987 0.015928 0.012899 0.010645 0.010493 0.012718 0.007891 0.026273 0.036354 0.028420 1.348451 0.100111 0.011868 0.009449 0.009011 0.015173 0.009049 0.017611 0.015810 0.012411 0.010627 0.009872 0.011962 0.024917 0.029847 0.028106 0.294694 0.106210 0.011793 0.009184 0.008681 0.014604 0.008780 0.016800 0.014855 0.011818 0.010081 0.009404 0.011334 0.005951 0.005695 0.020808 0.027611 0.125760 0.009976 0.007582 0.007571 0.007743 0.029753 0.013720 0.011551 0.013654 0.018096 0.018792 0.010701 0.017116 0.010976 0.010125 0.010662 0.013868 0.172015 1.456972 0.031844 0.049307 0.029260 0.025821 0.012239 0.009853 0.012172 0.016076 0.017192 0.008974 0.014459 0.009537 0.009013 0.009270 0.011498 0.081370 0.935586 0.027556 0.032585 0.026314 0.023706 0.029542 0.013545 0.011122 0.013288 0.017862 0.018735 0.010198 0.016753 0.010938 0.010371 0.010587 0.012700 0.284170 1.336404 0.031405 0.038390 0.028450 0.008991 0.007504 0.009667 0.012391 0.005755 0.007026 0.030786 0.040204 0.018707 0.016608 0.018065 0.033743 0.024066 0.014686 0.029931 0.015794 0.014679 0.014420 0.072053 0.021637 0.649323 0.044009 0.048246 0.039176 0.029961 0.037907 0.017247 0.015155 0.017518 0.022646 0.022913 0.013627 0.005607 0.936913 0.029925 0.037412 0.017188 0.014993 0.016925 0.032366 0.022056 0.013486 0.022331 0.014980 0.013994 0.013800 0.077123 0.019942 0.470485 0.042189 0.045949 0.037213 1.179104 0.037907 0.017173 0.014882 0.016042 0.021292 0.022603 0.013132 0.021284 0.014230 0.013307 0.013270 0.016532 0.083857 1.140489 0.042340 0.042316 0.036673 0.769385 0.028479 0.035328 0.016801 0.014521 0.016375 0.021593 0.022300 0.012824 0.020483 0.013857 0.012872 0.013125 0.016147 0.091729 1.232412 0.039992 0.041144 0.035721 0.492793 0.026660 0.033646 0.015553 0.013314 0.015584 0.019687 0.020695 0.011880 0.019848 0.012902 0.011857 0.012424 0.015201 0.061665 0.924154 0.037381 0.037861 0.033933 0.209496 0.023872 0.029310 0.013251 0.011070 0.013131 0.028614 0.019207 0.010106 0.016953 0.010487 0.009346 0.740572 0.028700 0.035695 0.016326 0.014175 0.015896 0.021362 0.022150 0.012865 0.020928 0.013654 0.012647 0.012993 0.015975 0.129783 0.882320 0.038243 0.040726 0.030641 0.034729 0.566861 0.052056 0.039183 0.040873 0.016706 0.014063 0.015976 0.031611 0.034058 0.012540 0.020522 0.013852 0.012349 0.012720 0.149890 0.018517 0.895162 0.037922 0.057021 0.048995 0.038820 0.721402 0.051973 0.028221 0.034979 0.016124 0.013738 0.015699 0.020875 0.021401 0.012291 0.019823 0.013328 0.012657 0.012726 0.015434 0.135907 1.224733 0.039510 0.057175 0.029992 0.033551 0.019289 0.008513 0.007700 0.008722 0.011898 0.006695 0.009061 0.688574 0.050563 0.027566 0.034419 0.015978 0.013605 0.015479 0.020257 0.020854 0.011977 0.019764 0.013078 0.012096 0.012679 0.015103 0.108560 0.050947 1.278150 0.037204 0.038446 0.029834 0.033671 0.491378 0.048469 0.027058 0.033165 0.015867 0.012817 0.015571 0.020439 0.020481 0.011657 0.019353 0.012553 0.011612 0.012238 0.014643 0.136607 0.049017 1.053139 0.036133 0.045588 0.028599 0.032347 0.253267 0.043980 0.024601 0.030567 0.014225 0.011925 0.013678 0.027365 0.019199 0.010788 0.018005 0.011396 0.010628 0.010876 0.402868 0.016347 0.045159 0.462218 0.033261 0.034155 0.027430 0.029185 0.229000 0.043693 0.025370 0.030389 0.013855 0.011387 0.013759 0.028170 0.019156 0.010763 0.017632 0.011610 0.010407 0.010832 0.442160 0.015917 0.044381 0.468630 0.032577 0.034088 0.027278 0.029445 0.485452 0.045896 0.026342 0.032315 0.043132 0.015284 0.012588 0.014519 0.019677 0.020104 0.011068 0.018534 0.012388 0.011049 0.011741 0.014142 0.246814 0.047133 1.093792 0.035663 0.042941 0.028476 0.031585 0.242963 0.042692 0.024504 0.029510 0.040311 0.013955 0.011223 0.012896 0.026499 0.018752 0.010189 0.017875 0.011027 0.010202 0.010419 0.624203 0.015501 0.043859 0.460541 0.031661 0.033270 0.027022 0.029279 0.195694 0.042483 0.024587 0.029559 0.039359 0.013850 0.011322 0.013209 0.026256 0.018855 0.010409 0.017528 0.011223 0.010115 0.010688 0.564823 0.015492 0.043442 0.356817 0.030989 0.031937 0.030256 0.028528 0.200725 0.042192 0.024239 0.029042 0.038593 0.013523 0.011545 0.013130 0.025715 0.018213 0.009958 0.016870 0.010718 0.010319 0.010376 0.634986 0.015441 0.042642 0.486101 0.031804 0.032177 0.025771 0.028237 0.094867 0.021984 0.026386 0.035215 0.011910 0.010519 0.011953 0.015807 0.017081 0.009067 0.015113 0.009925 0.009044 0.009729 0.012139 0.160157 0.190010 0.042588 0.028870 0.007034 0.026020 0.040450 0.040433 0.185439 0.040631 0.023705 0.028155 0.038685 0.013212 0.011336 0.012894 0.025035 0.018187 0.009964 0.016255 0.011244 0.010034 0.010169 2.002713 0.054471 0.042390 0.532589 0.030629 0.031284 0.026565 0.028086 0.045805 0.005985 0.009079 0.007976 0.009851 0.013019 0.015416 0.007433 0.011862 0.008025 0.007399 0.007673 0.010188 0.013523 0.162487 0.020815 0.006030 0.038715 0.009712 0.008084 0.009479 0.013167 0.015479 0.007227 0.011673 0.007980 0.007270 0.007489 0.010064 0.013183 0.188238 0.005657 0.013812 0.008234 0.007250 0.009100 0.006698 0.008796 0.015181 0.005793 0.008974 0.007915 0.009233 0.012428 0.005628 0.006863 0.047838 0.047826 0.048322 0.047250 0.568661 0.049253 0.027776 0.032773 0.049352 0.016510 0.013532 0.048353 0.015889 0.020503 0.020791 0.012137 0.028105 0.047319 0.019911 0.012984 0.011876 0.012193 0.014880 0.111355 0.050407 1.153230 0.038287 0.038037 0.029195 0.032973 0.009599 0.049734 0.049840 0.050877 0.049517 0.596037 0.053101 0.051075 0.027947 0.034648 0.049023 0.017023 0.014223 0.050766 0.016497 0.021761 0.021935 0.054574 0.013074 0.029506 0.048172 0.020909 0.013439 0.012233 0.012841 0.015751 0.126763 0.052709 1.244025 0.038246 0.057250 0.029952 0.034455 0.049548 0.048703 0.048469 0.048099 0.619707 0.051754 0.051037 0.027758 0.034765 0.047065 0.016406 0.013528 0.050309 0.016027 0.020705 0.020863 0.051839 0.012449 0.009563 0.057242 0.054263 0.054138 0.054225 0.918054 0.055547 0.056763 0.041559 0.041783 0.050901 0.017154 0.014680 0.053607 0.016916 0.021813 0.035574 0.058160 0.013300 0.049226 0.022255 0.014238 0.013054 0.057248 0.013706 0.016190 0.186458 0.055833 0.957864 0.041722 0.041251 0.051470 0.040764 0.049778 0.047342 0.045447 0.045483 0.044479 0.401930 0.048514 0.046810 0.035691 0.036738 0.043705 0.015313 0.012587 0.045369 0.014839 0.019291 0.030868 0.049641 0.011699 0.043414 0.018892 0.011921 0.010591 0.057013 0.054654 0.053021 0.059146 0.726128 0.054923 0.055584 0.040259 0.041795 0.050250 0.017095 0.014336 0.053363 0.016541 0.032241 0.035291 0.057215 0.013347 0.048673 0.021286 0.014064 0.012795 0.056815 0.013966 0.121099 0.019278 0.055985 0.949472 0.041488 0.044713 0.050643 0.053790 0.057910 0.053776 0.052044 0.053356 0.052777 0.059205 0.912600 0.055713 0.055387 0.040494 0.041421 0.051302 0.017049 0.014578 0.054226 0.016737 0.021452 0.034901 0.056630 0.013369 0.049546 0.052180 0.021550 0.013920 0.012813 0.056382 0.014022 0.016618 0.205538 0.054868 1.421506 0.042234 0.040897 0.051827 0.039471 0.049911 0.046348 0.045413 0.046180 0.044938 0.050781 0.481964 0.047906 0.047446 0.035774 0.036410 0.044322 0.015229 0.012757 0.046013 0.014766 0.019026 0.030367 0.049394 0.011717 0.043531 0.018883 0.012396 0.011240 0.048681 0.011913 0.014264 0.106017 0.048572 1.175413 0.036624 0.051278 0.045350 0.035257 0.082931 0.006669 0.006311 0.009794 0.008785 0.010200 0.013884 0.016197 0.008102 0.012866 0.008464 0.008108 0.008372 0.010006 0.152845 0.325398 0.036173 0.026230 0.083253 0.010114 0.008747 0.010503 0.007725 0.011939 0.008023 0.010480 0.046732 0.029785 0.044762 0.027185 0.010983 0.010366 0.010039 0.008983 0.009116 0.010189 0.050560 0.048677 0.034313 0.047441 0.053606 0.044089 0.011912 0.010911 0.011545 0.011551 0.065444 0.061987 0.059920 0.040873 0.056570 0.063941 0.052074 0.014920 0.013029 0.014460 0.021822 0.013461 0.091604 0.049878 0.059302 0.035779 0.059543 0.033441 0.053410 0.042332 0.015279 0.458941 0.017608 0.052004 0.042329 0.020162 0.041706 0.055675 0.057077 0.892290 0.060587 0.053775 0.016894 0.059086 0.041539 0.056758 0.065060 0.060823 0.058984 0.053470 0.056324 0.063630 0.050945 0.014262 0.013008 0.014465 0.021476 0.013136 0.093934 0.049971 0.057942 0.035888 0.060427 0.033138 0.044932 0.015010 0.362815 0.017043 0.050889 0.041791 0.019833 0.040552 0.054989 0.056854 0.678810 0.058709 0.016775 0.058340 0.040734 0.057061 0.063744 0.059607 0.057081 0.041185 0.055353 0.062539 0.049823 0.013813 0.012816 0.014138 0.020982 0.013063 0.016511 0.049273 0.057419 0.035347 0.057167 0.022632 0.052561 0.041456 0.014973 1.012705 0.017314 0.049423 0.041936 0.078774 0.039765 0.053806 0.055098 1.042285 0.058412 0.052475 0.052007 0.052320 0.054051 0.016786 0.058712 0.042216 0.055656 0.062997 0.057807 0.056878 0.039507 0.053865 0.060457 0.049528 0.013762 0.012665 0.013820 0.021623 0.013133 0.119706 0.048151 0.055112 0.035427 0.055483 0.031483 0.052024 0.044563 0.014929 0.794493 0.016829 0.048432 0.040903 0.019732 0.039660 0.051736 0.054122 0.802909 0.055931 0.050503 0.051385 0.050642 0.051842 0.016295 0.055077 0.040679 0.053373 0.061778 0.058156 0.056028 0.058446 0.053712 0.059925 0.049461 0.013652 0.012810 0.013713 0.021464 0.013072 0.121355 0.047909 0.055407 0.035593 0.055168 0.031030 0.051369 0.061782 0.014386 0.656621 0.016482 0.047979 0.040439 0.019705 0.039588 0.051795 0.053404 0.607915 0.056600 0.049910 0.051035 0.052147 0.016541 0.055871 0.040619 0.053327 0.042675 0.106299 0.067798 0.074338 0.070412 0.065966 0.040588 0.063102 0.070753 0.033473 0.014712 0.014651 0.016387 0.103641 0.028226 0.014868 0.018461 0.063908 0.024358 0.064321 0.024868 0.058982 0.045574 0.017213 0.593569 0.019282 0.057019 0.041605 0.033843 0.061171 0.065408 1.332208 0.067934 0.059019 0.060240 0.058914 0.061184 0.019299 0.065262 0.044350 0.063294 0.041939 0.087500 0.064325 0.071130 0.065902 0.063997 0.039398 0.060967 0.069112 0.033090 0.015570 0.015273 0.015977 0.093315 0.023659 0.014636 0.167221 0.032246 0.062894 0.024381 0.062024 0.036169 0.057782 0.047036 0.015988 0.361677 0.019014 0.056015 0.039728 0.021488 0.030603 0.059707 0.062360 0.931237 0.064319 0.057627 0.058003 0.057923 0.059351 0.019081 0.062791 0.041544 0.061062 0.038989 0.062072 0.057934 0.056418 0.035411 0.053667 0.060782 0.031096 0.013779 0.012751 0.013881 0.068002 0.021513 0.012927 0.318237 0.029549 0.055114 0.022768 0.053925 0.032757 0.051271 0.040684 0.014782 0.211509 0.016744 0.050010 0.036435 0.019242 0.028160 0.052748 0.054918 0.519618 0.056842 0.051219 0.016825 0.055249 0.038297 0.053893 0.038139 0.061902 0.055996 0.061178 0.056253 0.053854 0.034671 0.051881 0.058851 0.030227 0.012955 0.012661 0.013878 0.065645 0.020532 0.048503 0.013357 0.015728 0.029934 0.054930 0.022510 0.054680 0.022392 0.049162 0.040217 0.014495 0.219395 0.016525 0.047581 0.035521 0.083523 0.028137 0.050711 0.052988 0.497453 0.055275 0.049115 0.049741 0.049075 0.050349 0.016809 0.054225 0.037099 0.052476 0.058259 0.058659 0.054855 0.058644 0.055508 0.053392 0.037647 0.051654 0.057989 0.047989 0.013062 0.012984 0.013320 0.062959 0.020925 0.012833 1.293721 0.046773 0.053109 0.034302 0.052678 0.033644 0.048497 0.060895 0.014084 0.191819 0.016287 0.046762 0.039551 0.095078 0.037954 0.049485 0.051352 0.302739 0.053536 0.048100 0.048516 0.048927 0.050908 0.016101 0.052424 0.036063 0.050833 0.020624 0.019838 0.050879 0.020881 0.049336 0.047983 0.034114 0.045690 0.052729 0.043419 0.012321 0.011353 0.011770 0.007776 0.036671 0.061936 0.055883 0.059792 0.055143 0.053804 0.034011 0.051326 0.058155 0.029574 0.012487 0.011989 0.012909 0.063862 0.020368 0.012520 0.015937 0.029067 0.052967 0.021655 0.052906 0.021237 0.049179 0.038991 0.014039 0.295973 0.016303 0.046548 0.034984 0.095374 0.027539 0.050303 0.052456 0.643749 0.054555 0.047986 0.048706 0.048897 0.049321 0.016091 0.053796 0.037912 0.051684 0.057644 0.063703 0.055526 0.058960 0.058469 0.052170 0.037768 0.051222 0.057461 0.046999 0.012871 0.012374 0.013054 0.062737 0.020014 0.012197 0.482203 0.045884 0.052454 0.032819 0.052135 0.033369 0.048029 0.060151 0.013626 0.204206 0.015889 0.045277 0.039128 0.018594 0.037055 0.050049 0.051864 0.411992 0.052800 0.047217 0.047809 0.047697 0.048643 0.015879 0.052471 0.036063 0.050700 0.007744 0.020061 0.051058 0.008055 0.048656 0.047529 0.034223 0.046068 0.020388 0.043069 0.011653 0.010890 0.012023 0.007683 0.037668 0.061132 0.057081 0.055328 0.034742 0.052840 0.037948 0.059681 0.030370 0.013085 0.012625 0.013505 0.024570 0.013335 0.300437 0.029712 0.054330 0.022600 0.054310 0.030842 0.040746 0.014683 0.158531 0.016658 0.048560 0.035498 0.019141 0.028080 0.051809 0.053542 0.352975 0.056354 0.017049 0.057449 0.038005 0.053980 0.037371 0.064147 0.055105 0.058488 0.054711 0.052360 0.033604 0.050356 0.040688 0.056860 0.029452 0.012527 0.011922 0.013122 0.062874 0.020698 0.012047 0.461122 0.028986 0.052371 0.021735 0.052653 0.031799 0.048641 0.065072 0.013617 0.238754 0.016196 0.045906 0.034738 0.018485 0.027099 0.049558 0.050812 0.551623 0.053489 0.048121 0.048755 0.047934 0.048948 0.015712 0.052400 0.036968 0.050783 0.056936 0.053903 0.057722 0.053380 0.050579 0.037584 0.050487 0.037385 0.056738 0.047077 0.012832 0.011983 0.012436 0.053793 0.020196 0.011783 0.432903 0.045079 0.050729 0.032772 0.050647 0.028443 0.047083 0.061319 0.013443 0.149246 0.015862 0.045289 0.038053 0.018212 0.036973 0.049789 0.050291 0.352557 0.052217 0.046834 0.046024 0.048522 0.015480 0.051896 0.036350 0.049714 0.007743 0.006954 0.017783 0.032491 0.044360 0.032372 0.041624 0.011465 0.010648 0.010809 0.009808 0.059412 0.037256 0.061870 0.053525 0.057507 0.053948 0.051742 0.033111 0.048515 0.039910 0.056294 0.028710 0.012204 0.011811 0.012556 0.061049 0.020299 0.011834 0.410569 0.028816 0.051441 0.021035 0.051132 0.030850 0.047806 0.052209 0.013265 0.231875 0.015615 0.045334 0.034018 0.018247 0.026480 0.049413 0.050488 0.526791 0.053075 0.046537 0.047166 0.046727 0.048650 0.016200 0.051637 0.036268 0.049176 0.045341 0.007394 0.007303 0.006864 0.028409 0.043017 0.036307 0.026592 0.010597 0.009857 0.010737 0.016433 0.010007 0.012713 0.026118 0.017811 0.018558 0.017358 0.017123 0.042126 0.031724 0.011434 0.851438 0.013201 0.038964 0.030131 0.059592 0.023686 0.042400 0.044088 0.268953 0.007044 0.040675 0.041089 0.040747 0.042112 0.013924 0.006797 0.031080 0.043797 0.044042 0.007638 0.006888 0.031632 0.042540 0.031933 0.039789 0.010563 0.009811 0.011023 0.016366 0.009739 0.012673 0.038619 0.007192 0.027038 0.007262 0.016991 0.040245 0.042509 0.011672 0.265143 0.013219 0.038707 0.033114 0.159819 0.031677 0.041462 0.017606 0.173121 0.007615 0.040598 0.040999 0.039774 0.041543 0.013941 0.007037 0.029711 0.042375 0.007065 0.029841 0.006885 0.029862 0.015756 0.009866 0.009079 0.038643 0.006952 0.006632 0.027338 0.006710 0.031300 0.026116 0.010167 0.009543 0.010429 0.015771 0.009697 0.012446 0.025468 0.007222 0.017892 0.006635 0.016723 0.040302 0.040592 0.011097 0.896091 0.013143 0.038019 0.028922 0.055521 0.023128 0.040641 0.007501 0.207202 0.007252 0.038995 0.040394 0.040182 0.040837 0.013376 0.007064 0.030508 0.007001 0.006577 0.030424 0.006918 0.030337 0.038569 0.010477 0.009512 0.010223 0.015649 0.009511 0.012513 0.037780 0.007429 0.026843 0.016663 0.040691 0.039528 0.011356 0.226108 0.012476 0.037199 0.031243 0.148007 0.030991 0.007093 0.007015 0.122809 0.038790 0.039186 0.039170 0.007492 0.012582 0.029041 0.007575 0.029453 0.028324 0.007031 0.009269 0.008840 0.009462 0.040471 0.071193 0.066507 0.063378 0.038782 0.061027 0.041874 0.068922 0.032810 0.014314 0.014415 0.014851 0.083535 0.023414 0.014112 0.162021 0.031497 0.064230 0.024300 0.062797 0.034888 0.058792 0.046201 0.016799 0.323681 0.018726 0.056077 0.039195 0.020873 0.031372 0.060786 0.062579 0.872900 0.065034 0.057426 0.057477 0.018269 0.063196 0.041210 0.060790 0.036772 0.056929 0.053295 0.051342 0.032816 0.049370 0.037043 0.055586 0.029267 0.011826 0.011763 0.012432 0.053357 0.019702 0.011761 0.374133 0.028290 0.050520 0.021209 0.050810 0.029590 0.047496 0.050679 0.013242 0.163823 0.015472 0.045070 0.033308 0.017633 0.026493 0.048358 0.050131 0.383642 0.052623 0.046922 0.047050 0.015459 0.051489 0.034908 0.049812 0.055379 0.055524 0.052013 0.055629 0.051810 0.049903 0.036273 0.048499 0.036594 0.053904 0.045730 0.012217 0.011638 0.012539 0.020250 0.019165 0.011684 0.361248 0.043590 0.050022 0.031960 0.049968 0.029256 0.045905 0.045567 0.013464 0.146213 0.015615 0.043702 0.037102 0.018028 0.036497 0.046519 0.048590 0.331459 0.050563 0.045721 0.045350 0.046944 0.015211 0.050015 0.034754 0.048780 0.047508 0.054171 0.050152 0.050749 0.021069 0.052132 0.048864 0.034776 0.047236 0.035341 0.052989 0.045002 0.012392 0.011273 0.012304 0.020749 0.018520 0.011387 0.330074 0.043415 0.048984 0.031347 0.048903 0.028242 0.045371 0.045964 0.013269 0.126116 0.014887 0.043234 0.036767 0.017608 0.035883 0.046000 0.048085 0.282483 0.048621 0.044926 0.045407 0.046016 0.046520 0.015582 0.049135 0.034185 0.046927 0.007558 0.027330 0.006731 0.030723 0.025739 0.009942 0.009648 0.010420 0.015992 0.038170 0.010138 0.012279 0.025100 0.006827 0.017682 0.006593 0.016548 0.038778 0.032901 0.011196 0.546944 0.012533 0.037553 0.027859 0.084272 0.022953 0.016765 0.007312 0.133998 0.038647 0.038797 0.039283 0.016717 0.012950 0.006779 0.028994 0.007493 0.006524 0.026721 0.006670 0.030018 0.025640 0.009738 0.009317 0.010117 0.015315 0.009394 0.012208 0.024834 0.017630 0.016379 0.006846 0.032057 0.010814 0.548169 0.012342 0.036440 0.028212 0.093779 0.023070 0.006675 0.006545 0.122189 0.037279 0.038870 0.039118 0.007730 0.012526 0.028688 0.006976 0.026110 0.006510 0.028796 0.006977 0.009414 0.009074 0.009723 0.015099 0.009082 0.011671 0.006331 0.017478 0.016369 0.006678 0.031253 0.010386 0.413176 0.012137 0.006496 0.026558 0.079455 0.022317 0.006779 0.112421 0.006573 0.012136 0.027526 0.006104 0.006237 0.007849 0.007525 0.007593 0.078767 0.043090 0.101075 0.066597 0.073167 0.067702 0.065281 0.040414 0.062356 0.048538 0.071214 0.033204 0.015573 0.015230 0.016884 0.103339 0.028065 0.014677 0.019155 0.063877 0.025079 0.064342 0.024234 0.059143 0.043860 0.016843 0.555795 0.019729 0.055661 0.041045 0.031419 0.060575 0.062956 1.305176 0.066249 0.057843 0.058808 0.058585 0.059849 0.019202 0.064402 0.043848 0.061741 0.041225 0.070412 0.063277 0.061429 0.037311 0.071115 0.041268 0.066107 0.031852 0.014456 0.014147 0.015070 0.081868 0.023139 0.014301 0.156951 0.031140 0.060003 0.023996 0.060478 0.033218 0.067432 0.045025 0.015172 0.313917 0.017913 0.064483 0.039121 0.020292 0.029968 0.068286 0.060567 0.799957 0.061845 0.066957 0.068468 0.017886 0.060530 0.040366 0.058465 0.036781 0.055946 0.052506 0.050957 0.032555 0.048846 0.036775 0.054614 0.028916 0.012151 0.011923 0.012289 0.020516 0.019168 0.011499 0.361201 0.028204 0.049245 0.021691 0.049509 0.028839 0.046071 0.048977 0.013059 0.150207 0.015139 0.044288 0.033062 0.017215 0.026227 0.047159 0.049098 0.360464 0.050806 0.046932 0.047119 0.015293 0.049498 0.034224 0.048452 0.053797 0.053898 0.051883 0.021104 0.050701 0.048994 0.035635 0.047653 0.036590 0.054159 0.044693 0.012417 0.011538 0.012233 0.021157 0.019003 0.011622 0.351388 0.042753 0.048923 0.030886 0.048664 0.028774 0.045388 0.044354 0.012751 0.130603 0.015013 0.042296 0.036661 0.017835 0.035132 0.046539 0.047864 0.313572 0.049307 0.044913 0.044918 0.046360 0.014911 0.049263 0.034922 0.047757 0.047268 0.020507 0.020397 0.050015 0.021042 0.049830 0.048086 0.035060 0.047266 0.035069 0.051661 0.043717 0.012192 0.011633 0.012160 0.018459 0.011738 0.321707 0.042084 0.047441 0.030958 0.047617 0.026908 0.044350 0.043815 0.012424 0.114725 0.014720 0.042570 0.036564 0.017360 0.035179 0.045669 0.047611 0.259508 0.050094 0.044794 0.045535 0.044579 0.045406 0.014561 0.048104 0.033075 0.046745 0.007184 0.026941 0.006599 0.029554 0.025660 0.010133 0.009394 0.010329 0.015286 0.037869 0.009967 0.012568 0.025144 0.018467 0.017005 0.006616 0.031266 0.011357 0.448640 0.012311 0.036731 0.028051 0.093166 0.022350 0.006684 0.006744 0.122001 0.038215 0.038792 0.038942 0.007024 0.012608 0.028727 0.006897 0.006561 0.026047 0.006509 0.030194 0.025288 0.009682 0.009594 0.010295 0.015036 0.009188 0.012493 0.024694 0.017624 0.016069 0.006596 0.029991 0.011119 0.447205 0.012027 0.036395 0.027316 0.101149 0.022632 0.006609 0.110282 0.037389 0.007513 0.006467 0.006651 0.012100 0.027906 0.026032 0.028651 0.006718 0.009352 0.009067 0.009605 0.014688 0.009343 0.012371 0.006373 0.017624 0.016918 0.006767 0.030212 0.010368 0.314443 0.011782 0.006539 0.026444 0.085712 0.021992 0.100907 0.006588 0.011823 0.027385 0.006017 0.008201 0.007291 0.007907 0.025779 0.029260 0.006873 0.009184 0.009326 0.009693 0.014723 0.007104 0.009269 0.011748 0.006368 0.016972 0.016210 0.006498 0.030007 0.010393 0.245728 0.011729 0.014983 0.026345 0.109898 0.021880 0.099045 0.006453 0.006530 0.006451 0.006634 0.012201 0.027592 0.025810 0.028979 0.007098 0.009477 0.008965 0.009594 0.014462 0.009074 0.011791 0.006441 0.017153 0.015496 0.006683 0.028870 0.010261 0.244979 0.011974 0.006560 0.026516 0.116716 0.021671 0.087954 0.006756 0.006346 0.006283 0.011581 0.027194 0.024315 0.044333 0.006613 0.008890 0.008424 0.009417 0.014179 0.008410 0.011658 0.006561 0.016680 0.015519 0.028142 0.009855 0.242262 0.011198 0.006620 0.025565 0.102184 0.021236 0.084116 0.011346 0.040690 0.010728 0.023273 0.024877 0.008762 0.008135 0.009006 0.010794 0.050300 0.046108 0.051455 0.048917 0.047733 0.036138 0.046855 0.033392 0.020594 0.043366 0.012229 0.011087 0.012034 0.018200 0.011436 0.988085 0.042257 0.047226 0.030428 0.047086 0.018959 0.043297 0.042439 0.012828 0.093782 0.014220 0.042032 0.035599 0.016914 0.034119 0.044607 0.045901 0.208263 0.048685 0.043671 0.044370 0.043799 0.043727 0.014645 0.047120 0.033351 0.045914 0.007570 0.046568 0.007509 0.006799 0.031400 0.042426 0.032493 0.040292 0.010723 0.010000 0.010565 0.016080 0.039261 0.010625 0.013336 0.038539 0.017867 0.027391 0.017603 0.016422 0.040945 0.039284 0.011698 0.362536 0.013290 0.039220 0.032843 0.174528 0.031839 0.040890 0.043012 0.218032 0.007308 0.039850 0.040123 0.040750 0.042040 0.013395 0.007223 0.030932 0.042735 0.008108 0.040574 0.016743 0.006890 0.007001 0.028245 0.006672 0.033135 0.026363 0.009961 0.009965 0.010408 0.015509 0.039337 0.010319 0.012676 0.026429 0.006890 0.018008 0.006819 0.017225 0.040108 0.039155 0.010916 0.917671 0.012757 0.038471 0.029176 0.086980 0.023332 0.016572 0.006881 0.283857 0.006897 0.038971 0.007229 0.039323 0.040080 0.016844 0.012744 0.006926 0.030447 0.007179 0.006002 0.031606 0.008191 0.007732 0.008608 0.012489 0.007957 0.010276 0.015620 0.014386 0.025600 0.009096 0.016820 0.009736 0.006625 0.239575 0.005993 0.017878 0.009486 0.011555 0.006457 0.034802 0.007234 0.029386 0.037783 0.010437 0.009408 0.010385 0.015479 0.038407 0.009960 1.626270 0.036682 0.026464 0.016915 0.006757 0.033222 0.010599 0.411712 0.012371 0.037122 0.032185 0.015165 0.035491 0.007331 0.151093 0.037750 0.038082 0.037988 0.007269 0.011945 0.028635 0.029124 0.041347 0.006760 0.009299 0.009392 0.009948 0.015234 0.006440 0.009461 1.453062 0.006770 0.025408 0.016011 0.028804 0.010434 0.143836 0.011833 0.015345 0.029225 0.014867 0.029647 0.103926 0.012198 0.038587 0.021532 0.031041 0.009197 0.008393 0.009675 0.021101 0.030176 0.008460 0.007813 0.009941 0.006707 0.034531 0.029904 0.006880 0.009567 0.009039 0.010084 0.015116 0.009196 0.012327 0.035775 0.026711 0.016590 0.007070 0.031297 0.010947 0.349699 0.012148 0.036672 0.031965 0.172345 0.029705 0.007165 0.149597 0.006859 0.006741 0.006502 0.006441 0.011682 0.028255 0.006509 0.005980 0.007770 0.007665 0.009611 0.048947 0.046917 0.030643 0.033462 0.027475 0.011455 0.010738 0.011465 0.017382 0.010765 0.313520 0.019271 0.026087 0.046439 0.012217 0.339460 0.014031 0.030735 0.016435 0.025236 0.046205 0.271591 0.047872 0.014130 0.032219 0.028061 0.016866 0.031004 0.026494 0.010458 0.009683 0.010331 0.016082 0.009825 0.308625 0.025091 0.018360 0.023500 0.033007 0.011150 0.106784 0.013064 0.038138 0.028519 0.015354 0.023266 0.040454 0.017356 0.137132 0.012936 0.028843 0.017220 0.005908 0.006952 0.007035 0.010073 0.018023 0.046572 0.033502 0.011367 0.010712 0.011507 0.017385 0.010909 0.328673 0.019298 0.026274 0.045966 0.011937 0.119339 0.014449 0.029842 0.015936 0.024475 0.248083 0.013603 0.031757 0.027011 0.007170 0.030815 0.026039 0.010319 0.009597 0.010084 0.015948 0.009724 0.347853 0.017739 0.023103 0.032674 0.011150 0.092895 0.012463 0.036726 0.028237 0.014979 0.023215 0.016211 0.128784 0.012533 0.028500 0.006838 0.006482 0.010171 0.033022 0.010992 0.010435 0.011034 0.019861 0.010724 0.321123 0.029274 0.026307 0.034473 0.011864 0.118911 0.013816 0.015813 0.032612 0.197671 0.013279 0.030542 0.006329 0.007247 0.007007 0.007466 0.011301 0.066788 0.068020 0.063225 0.061022 0.042524 0.066143 0.039974 0.064649 0.052906 0.015019 0.013276 0.014513 0.074960 0.023729 0.014052 0.155785 0.051436 0.059178 0.037431 0.059611 0.033130 0.065056 0.044370 0.015964 0.213576 0.017594 0.059387 0.043531 0.020707 0.042478 0.063443 0.058638 0.560981 0.061944 0.064860 0.017763 0.059767 0.040460 0.058293 0.064389 0.061454 0.064690 0.061882 0.068508 0.059305 0.063761 0.058719 0.057020 0.040193 0.054923 0.043595 0.061026 0.051475 0.014305 0.054716 0.014031 0.014408 0.064574 0.071000 0.022752 0.013200 0.229864 0.050357 0.056100 0.035593 0.056684 0.033881 0.053062 0.043008 0.014176 0.164741 0.017212 0.049728 0.041528 0.019716 0.040651 0.054107 0.054750 0.506003 0.057716 0.052704 0.053108 0.052576 0.053998 0.016999 0.056527 0.038392 0.054096 0.062127 0.063676 0.061411 0.057616 0.061712 0.057596 0.055929 0.040449 0.054203 0.042078 0.058404 0.050384 0.013778 0.013221 0.013966 0.060309 0.063492 0.025690 0.012874 0.222729 0.048887 0.054548 0.036003 0.054483 0.032634 0.051162 0.054722 0.015167 0.165211 0.017241 0.049261 0.041504 0.019048 0.040231 0.053564 0.054377 0.433058 0.056190 0.050787 0.051066 0.052340 0.016767 0.054840 0.038094 0.053459 0.060236 0.063555 0.059939 0.059688 0.060531 0.056669 0.059449 0.056311 0.053651 0.046590 0.052523 0.039866 0.063857 0.049334 0.013684 0.052649 0.013507 0.013706 0.058504 0.061470 0.026510 0.012475 0.219667 0.047791 0.054927 0.035650 0.054218 0.031963 0.051166 0.052773 0.014711 0.160175 0.016782 0.047614 0.040165 0.019501 0.039388 0.052594 0.052660 0.349973 0.055373 0.050203 0.050858 0.050114 0.052109 0.016637 0.054188 0.036535 0.052342 0.045709 0.048167 0.007455 0.018407 0.045684 0.032887 0.044300 0.034247 0.041272 0.011445 0.010315 0.011030 0.044695 0.020710 0.007180 0.010235 0.490584 0.039731 0.045231 0.029578 0.044501 0.027986 0.042711 0.034839 0.011960 0.210666 0.014190 0.043860 0.034261 0.016501 0.035311 0.043573 0.044875 0.183624 0.047216 0.042069 0.041373 0.042627 0.013785 0.044481 0.031851 0.044474 0.007522 0.041416 0.027856 0.016479 0.031512 0.026535 0.010405 0.006731 0.009861 0.009769 0.044499 0.007370 0.045984 0.007391 0.006898 0.017446 0.032127 0.043642 0.032943 0.041198 0.011076 0.043814 0.010624 0.011290 0.043802 0.020298 0.010357 0.478276 0.040347 0.045366 0.029476 0.044759 0.027587 0.042155 0.033452 0.012061 0.189686 0.013645 0.040634 0.034168 0.016243 0.032506 0.044328 0.044217 0.169868 0.018040 0.041059 0.040956 0.041590 0.043045 0.013619 0.017700 0.030892 0.043147 0.007501 0.006673 0.006881 0.026951 0.006595 0.029786 0.025554 0.010023 0.006685 0.009400 0.009862 0.006629 0.015353 0.037082 0.009865 0.013143 0.024879 0.017658 0.016511 0.006563 0.031060 0.010823 0.116399 0.012458 0.036810 0.027786 0.033236 0.022197 0.006697 0.107547 0.038220 0.016400 0.015846 0.006520 0.012352 0.028390 0.025807 0.028231 0.006757 0.009399 0.008718 0.009674 0.040395 0.071605 0.066662 0.065486 0.040119 0.061101 0.048874 0.069440 0.033478 0.015076 0.014957 0.015765 0.102295 0.028189 0.054546 0.015067 0.018526 0.062619 0.024116 0.062047 0.024441 0.057848 0.044507 0.016201 0.551095 0.019521 0.056067 0.040443 0.031101 0.059265 0.061880 1.319143 0.064381 0.057595 0.059489 0.018725 0.062973 0.043809 0.061593 0.040837 0.067320 0.064929 0.061263 0.037249 0.069730 0.043925 0.066231 0.032123 0.015022 0.014599 0.015031 0.091570 0.030745 0.051738 0.013573 0.133283 0.031661 0.059214 0.023622 0.059983 0.035266 0.065656 0.044159 0.015924 0.592535 0.018380 0.063091 0.039527 0.019894 0.030493 0.068638 0.059347 0.790296 0.062024 0.065884 0.066697 0.017982 0.060374 0.041086 0.059489 0.066152 0.067378 0.062727 0.060117 0.041599 0.066673 0.042958 0.065177 0.052867 0.014844 0.013749 0.014739 0.084216 0.026609 0.063987 0.014365 0.131771 0.052318 0.058423 0.036944 0.059205 0.034627 0.062023 0.044615 0.015636 0.573567 0.018081 0.059486 0.043478 0.020288 0.042368 0.065423 0.057969 0.670894 0.060887 0.063288 0.062869 0.017788 0.059646 0.040834 0.057679 0.065808 0.067487 0.065467 0.061109 0.052541 0.065900 0.043924 0.068477 0.053851 0.015546 0.014694 0.016010 0.079675 0.031387 0.065255 0.015112 0.129253 0.051965 0.062176 0.037739 0.062719 0.035508 0.062684 0.044842 0.016455 0.540500 0.018842 0.060892 0.045317 0.021571 0.043707 0.064440 0.060893 0.586176 0.062140 0.061980 0.018453 0.063129 0.041307 0.060147 0.007848 0.007020 0.048919 0.047795 0.033837 0.045815 0.034100 0.007416 0.042895 0.011461 0.010734 0.011383 0.020440 0.007049 0.010711 0.277493 0.040820 0.047036 0.030063 0.047152 0.028281 0.044616 0.046211 0.012706 0.871073 0.014236 0.040899 0.035058 0.016664 0.035079 0.044767 0.046355 0.296050 0.048488 0.043466 0.014340 0.047485 0.032943 0.045743 0.045543 0.048099 0.046520 0.007421 0.018392 0.045097 0.036623 0.043323 0.032543 0.041269 0.011195 0.010304 0.010943 0.044552 0.017940 0.007134 0.010113 0.262057 0.040068 0.045800 0.029239 0.045512 0.025916 0.041612 0.041735 0.012161 0.672318 0.013682 0.040042 0.034163 0.016260 0.032973 0.043443 0.043950 0.190974 0.018399 0.040289 0.042143 0.043468 0.014017 0.045546 0.031898 0.044036 0.007334 0.016730 0.006950 0.035515 0.017032 0.031280 0.038699 0.010814 0.006986 0.009484 0.010269 0.006682 0.015918 0.009640 0.399890 0.037842 0.027864 0.024893 0.039953 0.031181 0.010868 0.107723 0.012533 0.037601 0.032467 0.015074 0.030764 0.040349 0.007153 0.116466 0.038522 0.038795 0.038928 0.041222 0.013309 0.029623 0.007134 0.007000 0.031887 0.030066 0.037983 0.010505 0.009623 0.009976 0.016079 0.009452 0.534458 0.036967 0.026188 0.016843 0.006793 0.030231 0.010812 0.105298 0.012163 0.036314 0.030283 0.014597 0.029711 0.007040 0.088170 0.037812 0.038005 0.007043 0.012065 0.028411 0.021603 0.025851 0.008980 0.008362 0.017864 0.046730 0.033171 0.045032 0.034918 0.007397 0.041234 0.011211 0.010680 0.011085 0.020132 0.007300 0.010196 0.326997 0.041006 0.046645 0.029352 0.046658 0.027681 0.042735 0.044440 0.011930 0.435847 0.014144 0.041443 0.034371 0.016519 0.033602 0.044333 0.045730 0.335174 0.047412 0.043241 0.014391 0.046242 0.033109 0.044928 0.007292 0.026878 0.006711 0.033343 0.006793 0.009307 0.009104 0.009784 0.006527 0.014627 0.009408 0.011548 0.006909 0.017397 0.006572 0.016011 0.006885 0.030056 0.010433 1.125468 0.012044 0.028664 0.027576 0.070969 0.006981 0.006420 0.404646 0.006981 0.006482 0.006404 0.007111 0.011952 0.006567 0.029650 0.006897 0.039531 0.008671 0.008178 0.009100 0.013217 0.007982 0.010541 0.016073 0.014013 0.016945 0.008822 0.260813 0.010172 0.018879 0.248716 0.020752 0.095300 0.009887 0.034547 0.028741 0.008339 0.007704 0.008186 0.012481 0.007472 0.009896 0.015221 0.012988 0.005901 0.008929 0.653933 0.009530 0.005949 0.164867 0.005831 0.042686 0.009538 0.020775 0.005784 0.007685 0.007191 0.008021 0.011746 0.007230 0.009807 0.005728 0.012838 0.005951 0.008074 0.426615 0.009364 0.165594 0.006279 0.023481 0.010299 0.006013 0.007154 0.006805 0.007238 0.011008 0.006804 0.008710 0.006168 0.012469 0.007558 0.230922 0.008187 0.204009 0.020737 0.008941 0.005774 0.040088 0.067463 0.062797 0.059862 0.037808 0.071826 0.043100 0.065919 0.032214 0.014048 0.013763 0.014917 0.088205 0.026504 0.049847 0.014132 0.124528 0.031619 0.059385 0.023604 0.058605 0.033343 0.044736 0.015734 0.448638 0.018477 0.064126 0.038516 0.019896 0.029322 0.069199 0.058823 0.746315 0.061243 0.018038 0.061048 0.041362 0.058393 0.066591 0.067377 0.063409 0.061135 0.042793 0.069304 0.044257 0.065805 0.053368 0.015787 0.014599 0.015726 0.030372 0.014648 0.123174 0.052496 0.059665 0.038620 0.059856 0.033491 0.043464 0.016768 0.420073 0.018466 0.062690 0.043388 0.021663 0.042711 0.067266 0.059004 0.650785 0.061280 0.018303 0.059738 0.040891 0.058184 0.089122 0.056836 0.055464 0.060426 0.057895 0.039483 0.067889 0.059291 0.064697 0.059496 0.057809 0.036114 0.054798 0.046713 0.062409 0.030641 0.013102 0.012984 0.013946 0.078600 0.024706 0.050923 0.013000 0.016151 0.055243 0.022746 0.056237 0.022038 0.052720 0.040462 0.015270 1.550170 0.017197 0.049571 0.036823 0.069432 0.054110 0.055305 0.857209 0.057401 0.051288 0.079044 0.056338 0.052266 0.051813 0.092582 0.053533 0.017416 0.056417 0.039491 0.055422 0.021027 0.020352 0.049296 0.047507 0.035992 0.049763 0.035590 0.052483 0.043934 0.011736 0.010958 0.011871 0.019382 0.050008 0.011403 0.408338 0.042042 0.048080 0.030838 0.047605 0.029757 0.047091 0.035856 0.012766 0.432072 0.014915 0.044638 0.036130 0.017101 0.034300 0.049067 0.046716 0.247580 0.048675 0.046322 0.048132 0.014569 0.047998 0.033310 0.046014 0.016984 0.027045 0.030486 0.026090 0.010275 0.009537 0.010190 0.016283 0.009564 0.744076 0.025212 0.017923 0.022726 0.038179 0.030710 0.011275 0.381591 0.012837 0.037174 0.028250 0.015132 0.023075 0.016615 0.104362 0.037476 0.038813 0.017277 0.012674 0.028744 0.006225 0.007594 0.007767 0.008023 0.011939 0.007572 0.009715 0.016014 0.013284 0.005825 0.008024 0.577534 0.009231 0.152227 0.005982 0.036141 0.009894 0.020304 0.006145 0.007588 0.007006 0.007567 0.011424 0.007070 0.009168 0.005552 0.012532 0.007847 0.313627 0.008979 0.184321 0.005770 0.021957 0.009701 0.005833 0.007087 0.006565 0.007137 0.010992 0.007004 0.008474 0.011909 0.007353 0.400063 0.007961 0.221058 0.018782 0.009169 0.006915 0.006826 0.007415 0.011127 0.006760 0.009035 0.005533 0.011643 0.007891 0.015048 0.008297 0.065966 0.016303 0.008515 0.006238 0.006593 0.006122 0.006898 0.006546 0.006744 0.047490 0.047154 0.040780 0.046550 0.034784 0.020082 0.042921 0.012119 0.010931 0.011849 0.019547 0.019619 0.010842 0.383074 0.042100 0.046652 0.029835 0.046575 0.028201 0.043636 0.035115 0.012341 0.376499 0.014658 0.041503 0.036251 0.016893 0.033987 0.044257 0.045463 0.208288 0.047573 0.043433 0.043914 0.014665 0.046324 0.033608 0.045244 0.032435 0.017163 0.030194 0.038889 0.010672 0.009863 0.010569 0.016358 0.009720 0.477826 0.036689 0.026733 0.025334 0.039658 0.030785 0.011236 0.115853 0.013596 0.037925 0.032297 0.016014 0.033239 0.016963 0.119237 0.037719 0.013282 0.029591 0.052866 0.061007 0.058935 0.037555 0.052408 0.058155 0.054549 0.058404 0.055025 0.053143 0.033073 0.050640 0.037969 0.056988 0.029223 0.012084 0.052179 0.012419 0.012505 0.051506 0.063365 0.026762 0.045033 0.012135 0.014855 0.027485 0.052027 0.020520 0.051112 0.020659 0.048198 0.052800 0.013653 2.001993 0.016174 0.046640 0.034059 0.202607 0.026221 0.049507 0.051337 0.454170 0.054014 0.048249 0.048465 0.048136 0.049242 0.015285 0.052329 0.037761 0.051163 0.052896 0.054189 0.056291 0.051787 0.053392 0.057886 0.053573 0.052023 0.036303 0.049780 0.037446 0.056007 0.046119 0.012489 0.011760 0.012729 0.052846 0.053460 0.026247 0.054613 0.011906 0.494562 0.044316 0.051435 0.031827 0.051339 0.029971 0.047662 0.047608 0.013070 1.700159 0.015516 0.045877 0.037391 0.017603 0.036268 0.049346 0.050488 0.369291 0.052529 0.046844 0.047241 0.048469 0.015469 0.052715 0.036771 0.050644 0.055620 0.056334 0.052398 0.050555 0.049839 0.049152 0.037636 0.055710 0.045151 0.012097 0.011382 0.012114 0.020558 0.019202 0.053641 0.012027 0.479724 0.043702 0.050673 0.031774 0.049452 0.027098 0.046619 0.042338 0.013699 1.593595 0.015088 0.043857 0.039203 0.017512 0.036056 0.048128 0.048781 0.299555 0.051054 0.046226 0.047257 0.015043 0.051013 0.036095 0.048892 0.049243 0.056667 0.051467 0.007916 0.048285 0.020223 0.049568 0.007677 0.050096 0.048151 0.047586 0.046644 0.038239 0.052581 0.042731 0.011739 0.051901 0.011263 0.011576 0.052411 0.019230 0.050416 0.012037 0.312303 0.042304 0.047432 0.030268 0.047869 0.025014 0.044680 0.040084 0.012515 2.002566 0.014209 0.041735 0.037239 0.016802 0.047291 0.045219 0.047020 0.288274 0.048977 0.043354 0.044754 0.043941 0.045576 0.014308 0.047859 0.034258 0.047318 0.045557 0.046140 0.007735 0.047543 0.046860 0.018984 0.018390 0.046147 0.043570 0.043820 0.033531 0.007731 0.042076 0.011711 0.045411 0.010941 0.011849 0.045787 0.018349 0.007276 0.010269 0.013626 0.040705 0.045881 0.030089 0.046614 0.018999 0.042423 0.038411 0.012146 2.001945 0.013894 0.040772 0.036678 0.315911 0.033608 0.043827 0.046335 0.237982 0.046893 0.041844 0.042734 0.042058 0.044025 0.013876 0.046430 0.033937 0.044284 0.052436 0.049751 0.054050 0.049576 0.036520 0.051043 0.051967 0.051320 0.056168 0.052371 0.050126 0.031937 0.048278 0.043844 0.055029 0.028779 0.011677 0.050682 0.011765 0.012125 0.051360 0.052482 0.025315 0.043162 0.011465 0.014417 0.027257 0.049220 0.020409 0.049830 0.019318 0.046552 0.035802 0.012876 2.002205 0.015460 0.044300 0.033071 0.191296 0.026062 0.048131 0.049050 0.404793 0.051085 0.046017 0.047098 0.046215 0.047463 0.014923 0.050289 0.034687 0.049346 0.047995 0.057678 0.007845 0.046657 0.050485 0.007792 0.050362 0.047925 0.030978 0.046002 0.037622 0.007709 0.027329 0.011209 0.010823 0.011517 0.046434 0.007832 0.020427 0.007119 0.010728 0.013570 0.026776 0.046929 0.019625 0.047256 0.018798 0.043539 0.048615 0.012819 2.003270 0.014396 0.041539 0.031716 0.275790 0.024917 0.044772 0.046724 0.386543 0.048948 0.043641 0.043318 0.045106 0.014136 0.047038 0.034911 0.046809 0.007596 0.046933 0.046061 0.033127 0.044953 0.036521 0.007972 0.042265 0.011385 0.010443 0.011144 0.020606 0.007239 0.010482 0.013117 0.041060 0.047089 0.029120 0.046436 0.018391 0.042951 0.040730 0.012081 1.750195 0.014105 0.041894 0.036855 0.359312 0.033951 0.044753 0.046262 0.329968 0.047865 0.042705 0.044275 0.014202 0.046961 0.034433 0.045303 0.025851 0.028300 0.006956 0.009067 0.008612 0.009278 0.014573 0.008978 0.011588 0.016790 0.014881 0.034597 0.010161 1.931605 0.011373 0.006607 0.025896 0.179681 0.021608 0.158362 0.011329 0.027061 0.006634 0.005750 0.006152 0.008819 0.005791 0.006964 0.006010 0.014857 0.007266 0.064677 0.014382 0.007334 0.005249 0.005079 0.005356 0.038351 0.063334 0.060067 0.057232 0.036107 0.055813 0.043955 0.062156 0.031165 0.013801 0.013260 0.014246 0.076495 0.025310 0.048181 0.013248 0.146977 0.030295 0.056468 0.022655 0.056933 0.032173 0.044017 0.015093 0.522002 0.016825 0.051624 0.037172 0.019392 0.029313 0.056035 0.056198 0.697037 0.058171 0.016713 0.056676 0.040572 0.055708 0.037162 0.057122 0.054354 0.051866 0.036532 0.049436 0.038149 0.055903 0.046913 0.012702 0.012066 0.012676 0.054098 0.020268 0.045436 0.011830 0.132093 0.045058 0.051490 0.032482 0.050455 0.027929 0.047407 0.039728 0.013330 0.453072 0.015397 0.044860 0.037830 0.018285 0.037271 0.047826 0.050088 0.427543 0.052054 0.047517 0.048005 0.015091 0.051041 0.035774 0.050407 0.030461 0.029396 0.006832 0.009617 0.009182 0.009621 0.018963 0.009373 0.221968 0.025354 0.021063 0.028782 0.010437 0.302355 0.011722 0.030019 0.014278 0.030132 0.116375 0.011668 0.027415 0.006095 0.005738 0.006234 0.005665 0.006828 0.006187 0.009934 0.006603 0.009703 0.010365 0.007167 0.005781 0.005736 0.006144 0.005700 0.007009 0.006123 0.009627 0.006509 0.009592 0.010307 0.006930 0.011233 0.005714 0.005457 0.005607 0.028291 0.045657 0.006760 0.009468 0.008974 0.009604 0.018395 0.008874 0.336512 0.025431 0.020924 0.028380 0.010085 0.170463 0.011500 0.029084 0.013984 0.028849 0.082263 0.011579 0.041063 0.037570 0.008710 0.007871 0.008645 0.016704 0.008269 0.228872 0.015878 0.018487 0.017275 0.008663 0.155520 0.010071 0.011908 0.005968 0.048976 0.010213 0.021461 0.007421 0.007222 0.007689 0.011824 0.007192 0.226463 0.015732 0.007760 0.046055 0.009163 0.011149 0.030482 0.008979 0.005905 0.004849 0.007814 0.007248 0.007025 0.035579 0.055355 0.052463 0.050638 0.036790 0.049301 0.035583 0.055281 0.045931 0.012791 0.011579 0.012342 0.020382 0.011795 0.101327 0.044087 0.050341 0.031334 0.050335 0.026840 0.062513 0.013457 0.398830 0.015119 0.046861 0.037542 0.017525 0.036252 0.051201 0.049783 0.366893 0.050981 0.015214 0.050440 0.035277 0.048320 0.036550 0.055333 0.050497 0.049682 0.036180 0.047655 0.034173 0.053177 0.044508 0.012288 0.011299 0.012302 0.020334 0.019438 0.043520 0.011621 0.097494 0.042693 0.048865 0.031040 0.048992 0.024875 0.045573 0.057264 0.013183 0.406419 0.014733 0.042533 0.036650 0.017271 0.035206 0.046694 0.048619 0.034499 0.370826 0.050045 0.045844 0.014431 0.049199 0.035192 0.047977 0.049545 0.051420 0.047327 0.036694 0.049908 0.050665 0.051652 0.055010 0.051131 0.049167 0.035742 0.047370 0.034720 0.053575 0.044791 0.012162 0.047698 0.011963 0.012447 0.047851 0.020999 0.019456 0.043317 0.011964 0.108428 0.042851 0.048441 0.031125 0.048636 0.024914 0.045158 0.058445 0.013041 0.691853 0.014751 0.043466 0.037324 0.017417 0.035639 0.046892 0.047936 0.034176 0.418124 0.049294 0.044717 0.045351 0.046435 0.046474 0.014483 0.049001 0.034434 0.047200 0.050275 0.049366 0.020738 0.049130 0.050222 0.023266 0.049987 0.048528 0.043926 0.046971 0.034367 0.052534 0.043851 0.012402 0.011083 0.012039 0.053844 0.023718 0.052573 0.011526 0.103672 0.042513 0.048459 0.031440 0.048735 0.024954 0.044408 0.041328 0.013131 0.284798 0.014670 0.043041 0.040864 0.017464 0.035348 0.046479 0.049525 0.052312 0.328117 0.049154 0.044978 0.044580 0.046465 0.014201 0.048290 0.033758 0.047135 0.047878 0.046755 0.048417 0.050938 0.049019 0.020804 0.047717 0.020385 0.049679 0.020575 0.049670 0.047717 0.034156 0.046008 0.034061 0.051909 0.043251 0.012054 0.046398 0.011827 0.011792 0.047124 0.018936 0.042977 0.042618 0.011676 0.141024 0.041483 0.047317 0.030077 0.048151 0.025743 0.044553 0.042217 0.012598 0.428855 0.014185 0.042223 0.035918 0.016967 0.034329 0.044569 0.047008 0.033850 0.434479 0.048271 0.043998 0.022669 0.047333 0.044353 0.044021 0.020144 0.044569 0.014354 0.047622 0.035034 0.046253 0.044780 0.044137 0.045681 0.007607 0.044653 0.044983 0.018292 0.007029 0.006658 0.017476 0.032092 0.043201 0.035716 0.040832 0.011112 0.043169 0.010695 0.011158 0.044429 0.018007 0.040404 0.007471 0.010505 0.013707 0.040521 0.041320 0.028581 0.040661 0.018046 0.041754 0.039387 0.011945 0.552221 0.013566 0.039292 0.033300 0.064772 0.032792 0.042601 0.040005 0.007113 0.007047 0.321447 0.017908 0.040650 0.042090 0.041259 0.040605 0.041905 0.013561 0.040246 0.031552 0.039323 0.006956 0.006773 0.016327 0.006642 0.030400 0.017130 0.029791 0.025901 0.010153 0.006840 0.009660 0.010803 0.006621 0.016700 0.037771 0.010127 0.012572 0.024890 0.007010 0.017773 0.007316 0.016792 0.040233 0.037382 0.011285 0.395644 0.012923 0.038000 0.032082 0.040986 0.031276 0.040794 0.007447 0.223246 0.038484 0.038464 0.039215 0.039491 0.012866 0.029488 0.007136 0.029094 0.029130 0.007085 0.010069 0.006585 0.008890 0.009615 0.011746 0.006342 0.005875 0.007431 0.007406 0.010982 0.017240 0.017135 0.006900 0.041937 0.007215 0.031071 0.042049 0.030187 0.026404 0.010519 0.041471 0.010365 0.010771 0.017097 0.017522 0.039471 0.010359 0.558674 0.025858 0.007382 0.018500 0.006961 0.024727 0.039856 0.037811 0.011282 0.442398 0.012970 0.037840 0.032073 0.015653 0.031339 0.041023 0.017493 0.223960 0.039785 0.007241 0.039499 0.039823 0.040775 0.013171 0.006965 0.029975 0.017223 0.025017 0.044336 0.006773 0.008798 0.008481 0.011120 0.006996 0.046390 0.046272 0.045452 0.047655 0.048624 0.019342 0.046616 0.033325 0.044743 0.032599 0.007437 0.041265 0.011668 0.045002 0.011204 0.011618 0.047336 0.023173 0.007444 0.010445 0.187989 0.041939 0.046560 0.029360 0.045961 0.023732 0.043508 0.039675 0.012384 0.348522 0.013616 0.041529 0.034572 0.016627 0.033665 0.044169 0.045907 0.007601 0.327148 0.046944 0.041968 0.042732 0.042926 0.043148 0.013895 0.046842 0.033420 0.044664 0.007764 0.045658 0.032457 0.044237 0.031702 0.041040 0.011206 0.010755 0.011404 0.021303 0.010327 0.154555 0.040001 0.045942 0.028640 0.045055 0.023542 0.038675 0.012317 0.392083 0.013782 0.039973 0.034422 0.015586 0.032559 0.043096 0.044318 0.281251 0.018354 0.012774 0.045269 0.032003 0.043564 0.007602 0.031040 0.042402 0.030898 0.040027 0.010731 0.010145 0.010824 0.020876 0.010332 0.249670 0.006794 0.027355 0.022436 0.036531 0.011024 0.295560 0.012787 0.037894 0.032018 0.015518 0.031505 0.041515 0.042909 0.220741 0.012627 0.029187 0.041464 0.007715 0.007262 0.044937 0.033566 0.048872 0.052719 0.048374 0.036541 0.049847 0.050946 0.051760 0.055214 0.050135 0.049474 0.035521 0.047485 0.034989 0.054348 0.045368 0.012103 0.047798 0.012291 0.012553 0.047407 0.020607 0.019925 0.043916 0.011516 0.137189 0.043437 0.049468 0.031343 0.049358 0.026905 0.045420 0.057027 0.012991 0.538431 0.015109 0.042745 0.036674 0.017419 0.034545 0.047793 0.008096 0.047498 0.034103 0.360419 0.050623 0.043572 0.044873 0.045099 0.046345 0.014818 0.049345 0.033808 0.047085 0.007796 0.020636 0.038711 0.020454 0.020125 0.049762 0.048376 0.035128 0.046944 0.033827 0.052487 0.044528 0.012139 0.011692 0.012251 0.019284 0.042342 0.011444 0.103646 0.042813 0.048725 0.031002 0.048835 0.026243 0.044720 0.057450 0.012759 0.387712 0.014568 0.042491 0.035824 0.017760 0.034947 0.045441 0.047508 0.033646 0.266293 0.048917 0.044785 0.045481 0.014220 0.048390 0.033934 0.047146 0.027167 0.006865 0.029561 0.025574 0.009813 0.009345 0.009833 0.012026 0.049054 0.046975 0.030258 0.032532 0.027818 0.011270 0.010630 0.011540 0.018424 0.011002 0.180818 0.019136 0.025399 0.049167 0.012256 0.701970 0.014225 0.030872 0.016128 0.025437 0.045983 0.226921 0.048277 0.014192 0.032808 0.018917 0.045959 0.031881 0.011211 0.010264 0.011135 0.018113 0.010371 0.253531 0.018674 0.024013 0.046307 0.012044 0.732153 0.013872 0.029920 0.015555 0.023948 0.205470 0.012985 0.032239 0.006964 0.006261 0.011501 0.052965 0.038835 0.061692 0.057235 0.056129 0.035197 0.054315 0.042860 0.060704 0.030726 0.013895 0.013307 0.013624 0.068367 0.024781 0.048267 0.012721 0.051815 0.149362 0.029711 0.054843 0.022082 0.055043 0.030332 0.041804 0.014654 0.511478 0.016533 0.049420 0.035980 0.018718 0.028146 0.053006 0.052271 0.053952 0.590303 0.056856 0.016325 0.055865 0.039261 0.054892 0.053302 0.059828 0.061241 0.056718 0.054611 0.039146 0.053058 0.040974 0.060422 0.049117 0.013535 0.012599 0.013614 0.067554 0.020779 0.057904 0.012908 0.050734 0.140731 0.047213 0.053840 0.034122 0.054315 0.030975 0.040291 0.014430 0.489092 0.016539 0.048373 0.040486 0.018999 0.038633 0.051976 0.050747 0.052311 0.497345 0.056107 0.016189 0.054853 0.037733 0.052342 0.024151 0.048073 0.035049 0.037066 0.058415 0.054493 0.053450 0.033864 0.051018 0.039943 0.057306 0.030010 0.012471 0.012443 0.012958 0.063906 0.020955 0.045863 0.012311 0.049193 0.198872 0.029052 0.051749 0.021599 0.052068 0.031071 0.049366 0.063972 0.013810 0.675160 0.016187 0.046584 0.034202 0.017487 0.027349 0.049887 0.049728 0.050665 0.034660 0.323589 0.053807 0.047807 0.016009 0.053916 0.036613 0.051021 0.028543 0.042156 0.031738 0.026495 0.010827 0.010147 0.011066 0.016792 0.010103 0.270673 0.017826 0.018413 0.023750 0.039997 0.011466 0.163666 0.013073 0.038376 0.029218 0.015102 0.023478 0.041754 0.039780 0.160802 0.012905 0.028691 0.038407 0.028089 0.041628 0.030694 0.026492 0.010517 0.010155 0.010471 0.016924 0.009847 0.286054 0.007056 0.018340 0.023257 0.039858 0.011626 0.297885 0.013401 0.038389 0.029704 0.015042 0.023446 0.041495 0.038877 0.169880 0.013178 0.029182 0.038551 0.006777 0.006260 0.027711 0.034987 0.030164 0.026399 0.010485 0.010460 0.010669 0.016564 0.010057 0.310400 0.006819 0.018328 0.023740 0.039366 0.011538 0.161504 0.012786 0.030646 0.028842 0.015183 0.023516 0.033051 0.017211 0.143653 0.012497 0.029103 0.017123 0.027392 0.006991 0.030384 0.025915 0.010121 0.009549 0.010110 0.012136 0.031424 0.031146 0.026746 0.011235 0.010438 0.011237 0.017068 0.010172 0.113434 0.027940 0.024428 0.039859 0.012470 0.104496 0.013412 0.032564 0.015690 0.031586 0.043573 0.134903 0.013078 0.030575 0.030542 0.011110 0.010032 0.010893 0.017609 0.010613 0.099316 0.027642 0.023845 0.039942 0.011654 0.096045 0.013010 0.032785 0.015582 0.031802 0.117105 0.012964 0.029141 0.030592 0.042447 0.030476 0.026941 0.010954 0.010136 0.010514 0.016608 0.010265 0.143251 0.018150 0.027374 0.024456 0.039727 0.011422 0.097728 0.012866 0.038849 0.032292 0.015610 0.031449 0.041031 0.017929 0.117301 0.012652 0.029324 0.017590 0.029177 0.009367 0.008699 0.009272 0.017756 0.008553 1.340630 0.017281 0.023089 0.028111 0.010390 0.290699 0.011420 0.013548 0.022243 0.136448 0.011480 0.027491 0.030815 0.042017 0.030105 0.026531 0.010542 0.010117 0.010427 0.016743 0.009798 0.668303 0.025709 0.017854 0.027486 0.017602 0.039475 0.038337 0.011493 0.129485 0.013065 0.040443 0.032022 0.015450 0.031387 0.041590 0.017463 0.124582 0.040025 0.013490 0.029096 0.017490 0.024499 0.008227 0.007601 0.031347 0.030845 0.026758 0.010845 0.010005 0.010778 0.017204 0.010087 0.122564 0.027806 0.022775 0.039507 0.012170 0.080521 0.012693 0.032086 0.015809 0.031554 0.017531 0.106696 0.012647 0.030031 0.011868 0.030535 0.029350 0.026010 0.010484 0.009853 0.010416 0.016813 0.009835 0.160600 0.027205 0.021344 0.036171 0.011428 0.126282 0.012760 0.031616 0.015471 0.031457 0.109790 0.012749 0.029326 0.029491 0.007259 0.028947 0.026289 0.010056 0.009687 0.010281 0.016640 0.009397 1.236898 0.025192 0.026908 0.020998 0.034006 0.011002 0.178461 0.012509 0.036838 0.030948 0.015201 0.030785 0.016794 0.108593 0.012128 0.028900 0.027682 0.010309 0.009639 0.009891 0.016217 0.009462 0.107141 0.017915 0.020710 0.029786 0.010827 0.090833 0.012035 0.014309 0.022672 0.088522 0.011968 0.027835 0.038478 0.062421 0.057905 0.056266 0.035979 0.066294 0.041029 0.060630 0.031003 0.013664 0.013116 0.013909 0.024661 0.013185 0.051321 0.170145 0.029671 0.055292 0.022382 0.055861 0.030805 0.041002 0.014831 0.328982 0.017025 0.061028 0.036096 0.019425 0.028798 0.066219 0.053573 0.055242 0.463820 0.057690 0.016845 0.056060 0.038380 0.053768 0.040691 0.039080 0.052647 0.049512 0.036114 0.037580 0.060529 0.057078 0.055079 0.034621 0.052485 0.040202 0.059267 0.030532 0.013178 0.012848 0.013506 0.070113 0.025130 0.047169 0.013011 0.050395 1.240351 0.030293 0.054692 0.022596 0.054359 0.029697 0.050950 0.040827 0.014349 0.567793 0.016524 0.048074 0.035571 0.019418 0.027736 0.051839 0.051532 0.053470 0.036227 0.418033 0.055478 0.050080 0.016228 0.055260 0.037835 0.052932 0.028570 0.042006 0.030695 0.026908 0.010693 0.010158 0.010639 0.020285 0.010279 1.651430 0.026338 0.017453 0.018644 0.017330 0.024764 0.032423 0.011685 0.218502 0.013163 0.038437 0.029981 0.016559 0.023542 0.041405 0.042879 0.117625 0.012946 0.017582 0.029566 0.042763 0.049534 0.052089 0.053255 0.298878 0.050519 0.023151 0.048574 0.027316 0.033342 0.045230 0.015895 0.704137 0.013521 0.019898 0.050861 0.048181 0.051226 0.029267 0.021228 0.022578 0.012308 0.028647 0.013032 0.863151 0.012219 0.012419 0.028665 0.055996 0.036692 0.050106 0.015401 0.032850 0.052065 0.053692 0.057846 0.036377 0.035612 0.019061 0.141299 0.017385 0.040992 0.024168 0.028458 0.038021 0.013159 0.099414 0.010946 0.016763 0.033937 0.025863 0.018256 0.009956 0.017250 0.010709 0.625937 0.009797 0.010467 0.026091 0.030162 0.017232 0.012498 0.027218 0.029213 0.015482 0.082412 0.022162 0.026895 0.036463 0.012250 0.055730 0.010377 0.023007 0.029396 0.024944 0.017747 0.009330 0.011860 0.050086 0.054585 0.279456 0.051227 0.049538 0.059749 0.027975 0.034029 0.055104 0.016285 0.386835 0.013721 0.027663 0.038622 0.051676 0.021294 0.048809 0.012239 0.020882 0.013238 0.252180 0.012326 0.012756 0.028958 0.057183 0.038513 0.060294 0.016067 0.032883 0.052715 0.055012 0.036338 0.018981 0.049383 0.053047 0.267469 0.049733 0.023066 0.054035 0.027010 0.033197 0.050779 0.016179 0.312578 0.013598 0.027166 0.038364 0.050823 0.021513 0.048871 0.012149 0.021039 0.012998 0.217541 0.011801 0.012765 0.028866 0.056740 0.036677 0.055318 0.016272 0.032194 0.051924 0.053786 0.034912 0.018107 0.048153 0.051296 0.051387 0.229579 0.049971 0.022997 0.048063 0.037197 0.037309 0.045174 0.016315 0.311589 0.013461 0.026748 0.050506 0.037341 0.050534 0.044566 0.032030 0.022603 0.012016 0.020994 0.052881 0.013160 0.204134 0.011993 0.012289 0.045407 0.054617 0.036744 0.049012 0.015751 0.036229 0.045060 0.049922 0.052967 0.055358 0.037217 0.034812 0.018555 0.022643 0.017282 0.007038 0.039679 0.166027 0.017058 0.041261 0.024105 0.028485 0.038859 0.013899 0.215574 0.011271 0.024669 0.007931 0.034649 0.007322 0.025957 0.018417 0.010124 0.017313 0.040734 0.011283 0.013053 0.010250 0.010362 0.026371 0.031648 0.042093 0.013717 0.028510 0.029508 0.015498 0.016976 0.038772 0.164345 0.007176 0.041126 0.023899 0.028136 0.038252 0.013149 0.212568 0.011041 0.024649 0.006945 0.034088 0.007496 0.025769 0.018293 0.009739 0.016924 0.040216 0.010914 0.013029 0.009666 0.010707 0.026246 0.031378 0.017070 0.013021 0.027625 0.029418 0.015680 0.043606 0.006203 0.006287 0.009299 0.094405 0.008556 0.013545 0.005989 0.015497 0.007881 0.011555 0.090620 0.020938 0.010776 0.137201 0.009400 0.020615 0.027424 0.017712 0.008924 0.017145 0.009335 0.273997 0.008582 0.009935 0.026887 0.011190 0.026230 0.013942 0.094243 0.021434 0.010810 0.150817 0.009357 0.020812 0.026580 0.016871 0.008917 0.017065 0.008992 0.903830 0.008429 0.008753 0.026378 0.011188 0.025698 0.014027 0.026435 0.006340 0.009480 0.162008 0.008566 0.013073 0.006034 0.015185 0.007473 0.012464 0.008281 0.010519 0.007468 0.007949 0.005799 0.009862 0.020412 0.060623 0.012607 0.007699 0.011607 0.007106 0.010854 0.006240 0.009968 0.006709 0.013169 0.067185 0.021799 0.026429 0.011419 0.052333 0.010107 0.020232 0.029227 0.017157 0.009331 0.015730 0.009556 0.189520 0.009016 0.009361 0.027095 0.011502 0.026611 0.014165 0.058287 0.061109 0.068096 0.061912 0.664654 0.037689 0.059110 0.057180 0.068403 0.030495 0.038305 0.064085 0.018814 0.305592 0.015567 0.035379 0.059564 0.044795 0.059511 0.030664 0.023416 0.055617 0.014126 0.025742 0.085047 0.069403 0.015562 0.109279 0.013869 0.014564 0.032116 0.067032 0.042639 0.071474 0.017935 0.037080 0.051312 0.060869 0.064127 0.068132 0.039572 0.040839 0.054902 0.057221 0.020498 0.040395 0.042195 0.072735 0.054562 0.043133 0.043628 0.056273 0.058279 0.067359 0.066273 0.064809 0.059978 0.578299 0.036470 0.055738 0.054526 0.066450 0.028387 0.037106 0.061481 0.017840 0.270589 0.015399 0.033390 0.058007 0.041838 0.057594 0.031323 0.022892 0.053522 0.013617 0.025139 0.077934 0.064352 0.067316 0.014908 0.130362 0.013528 0.054120 0.014494 0.030238 0.063128 0.041935 0.069483 0.017301 0.035974 0.049438 0.058178 0.042774 0.060456 0.065290 0.059228 0.072128 0.039253 0.068642 0.061357 0.064395 0.064951 0.053924 0.042074 0.050747 0.038525 0.052227 0.055046 0.066832 0.041111 0.054740 0.019578 0.055506 0.058086 0.040919 0.040241 0.041276 0.055942 0.008264 0.007672 0.023344 0.007590 0.023355 0.050537 0.052864 0.050040 0.058091 0.048103 0.048606 0.053349 0.058087 0.054763 0.653418 0.035313 0.051635 0.050291 0.050195 0.027665 0.034173 0.046932 0.016426 0.526863 0.013916 0.029455 0.053627 0.051961 0.039864 0.052562 0.029391 0.021343 0.049349 0.012681 0.047427 0.019856 0.066613 0.051585 0.048165 0.013409 0.326780 0.012333 0.050991 0.013215 0.029554 0.058054 0.041758 0.050770 0.016443 0.033221 0.047049 0.052539 0.024018 0.055064 0.059313 0.055053 0.062577 0.038121 0.061775 0.056324 0.053143 0.051127 0.053227 0.059782 0.036007 0.049826 0.023403 0.047532 0.036820 0.048722 0.048694 0.047233 0.039466 0.051734 0.049900 0.018356 0.049945 0.053302 0.038953 0.038402 0.039280 0.007798 0.067687 0.021225 0.019355 0.011100 0.079465 0.009764 0.014932 0.017497 0.016643 0.008400 0.014723 0.009300 0.011423 0.008410 0.009068 0.037111 0.011670 0.022046 0.033195 0.203233 0.038029 0.006222 0.005908 0.009430 0.066589 0.008866 0.013544 0.016823 0.016198 0.008103 0.013339 0.008486 0.010534 0.007737 0.007993 0.026870 0.010371 0.006041 0.021229 0.179491 0.039664 0.006086 0.009424 0.102391 0.008990 0.013294 0.006209 0.015308 0.007458 0.012316 0.008231 0.010645 0.007850 0.007970 0.026356 0.010006 0.020542 0.219888 0.013843 0.008145 0.012359 0.007500 0.011988 0.005720 0.006734 0.011397 0.007597 0.009439 0.006707 0.007052 0.009439 0.063654 0.012883 0.007895 0.011470 0.007400 0.011645 0.006742 0.010623 0.006802 0.012021 0.013349 0.008398 0.012327 0.007421 0.011891 0.006737 0.011022 0.007365 0.009749 0.007024 0.006874 0.008472 0.061160 0.012241 0.007830 0.011714 0.007165 0.011227 0.006542 0.010561 0.006987 0.012043 0.031684 0.008698 0.046748 0.008087 0.012948 0.005904 0.007526 0.011902 0.007853 0.010338 0.007425 0.007806 0.008924 0.005795 0.239066 0.012054 0.007664 0.011331 0.007161 0.011199 0.007147 0.010718 0.007782 0.008854 0.006476 0.006691 0.008276 0.073709 0.011153 0.007461 0.010084 0.006435 0.010341 0.006082 0.010743 0.013615 0.008265 0.012924 0.007858 0.011601 0.006615 0.010633 0.007083 0.008951 0.006602 0.007244 0.008476 0.012821 0.010999 0.007075 0.009977 0.006505 0.010486 0.006326 0.009268 0.006389 0.007540 0.006137 0.006179 0.007543 0.010158 0.009843 0.006375 0.009377 0.005993 0.005913 0.011039 0.045744 0.048135 0.045134 0.043588 0.044161 0.048381 0.279196 0.033623 0.046643 0.045322 0.025921 0.031500 0.042428 0.014998 0.286263 0.012431 0.026214 0.047926 0.041595 0.047221 0.027649 0.019620 0.011312 0.018557 0.046597 0.044165 0.012245 0.616050 0.010822 0.047074 0.011934 0.027386 0.019876 0.039042 0.045717 0.015035 0.030648 0.041725 0.047411 0.049523 0.020812 0.050041 0.020738 0.020049 0.047349 0.051089 0.048531 0.034329 0.007645 0.033814 0.043196 0.017220 0.047077 0.044840 0.046452 0.044510 0.042864 0.043157 0.047515 0.230766 0.007337 0.045035 0.042966 0.025033 0.030584 0.041070 0.014401 0.263839 0.012126 0.024693 0.045945 0.040719 0.047292 0.027201 0.019450 0.010703 0.018447 0.045952 0.043583 0.012215 0.575152 0.011231 0.046781 0.011621 0.027170 0.007407 0.032329 0.044599 0.014088 0.030184 0.019419 0.046682 0.048504 0.048322 0.049254 0.049753 0.047591 0.007853 0.032562 0.041658 0.016753 0.046526 0.044194 0.050758 0.042546 0.042631 0.042509 0.046976 0.259709 0.007795 0.045005 0.044393 0.025484 0.030630 0.040740 0.014003 0.243729 0.011820 0.018700 0.046023 0.040088 0.046522 0.026980 0.019469 0.010585 0.018069 0.046441 0.043338 0.011824 1.539328 0.011444 0.045753 0.011396 0.027151 0.037588 0.044327 0.014198 0.029531 0.007475 0.045533 0.019150 0.047290 0.045319 0.019184 0.046052 0.007588 0.032027 0.041534 0.016345 0.045818 0.043377 0.044251 0.042780 0.040517 0.040955 0.018402 0.212338 0.044629 0.043225 0.024708 0.029161 0.039739 0.014236 0.220442 0.011893 0.018245 0.045101 0.040093 0.045032 0.026478 0.018735 0.010453 0.017248 0.044621 0.042459 0.011813 1.480475 0.010467 0.044808 0.011222 0.026593 0.031875 0.043541 0.013985 0.028956 0.017786 0.018448 0.007227 0.044002 0.007686 0.045508 0.007568 0.031754 0.041322 0.016309 0.045485 0.042923 0.007579 0.041190 0.040089 0.197641 0.043191 0.041515 0.023950 0.028849 0.039118 0.013430 0.258467 0.010959 0.024060 0.017243 0.037568 0.017796 0.025534 0.018103 0.009879 0.016336 0.042483 0.040625 0.011314 1.391342 0.010018 0.010350 0.025518 0.035785 0.042398 0.013036 0.028019 0.007380 0.006748 0.042831 0.007859 0.030621 0.040118 0.016026 0.007046 0.016967 0.040258 0.039089 0.161831 0.007465 0.040379 0.023673 0.028363 0.038083 0.013522 0.233215 0.010951 0.023946 0.007275 0.037133 0.007385 0.025391 0.018292 0.010006 0.016208 0.006908 0.040170 0.010964 1.337747 0.009974 0.010219 0.025855 0.030307 0.016801 0.012657 0.027845 0.016517 0.006788 0.030122 0.039035 0.015279 0.007247 0.052906 0.043035 0.041905 0.055389 0.057441 0.053485 0.052610 0.052766 0.058241 0.571695 0.036767 0.055581 0.054326 0.054575 0.040672 0.042070 0.051827 0.017998 0.270669 0.015182 0.032077 0.056691 0.042591 0.057101 0.050182 0.035670 0.053677 0.012768 0.025890 0.076128 0.062370 0.052836 0.014700 0.129455 0.013344 0.053794 0.014328 0.050253 0.062049 0.040867 0.055556 0.017021 0.039734 0.049364 0.057032 0.042190 0.058484 0.063506 0.058709 0.070362 0.061949 0.068987 0.060713 0.063308 0.037632 0.053701 0.041841 0.063075 0.039290 0.052450 0.063695 0.052568 0.041073 0.055540 0.019990 0.053371 0.057535 0.040030 0.040610 0.041615 0.056634 0.043949 0.046665 0.043697 0.042658 0.042913 0.019028 0.191883 0.007732 0.044490 0.042929 0.024385 0.029962 0.040664 0.013867 0.528383 0.011514 0.026044 0.046128 0.041589 0.045004 0.026554 0.018909 0.010231 0.016971 0.044640 0.042137 0.011772 0.291660 0.010224 0.045568 0.011197 0.026612 0.034633 0.043801 0.013851 0.029002 0.007438 0.045157 0.018986 0.007158 0.043874 0.007477 0.045155 0.007585 0.030174 0.040819 0.016116 0.045876 0.043908 0.018138 0.041622 0.040278 0.041265 0.007759 0.189280 0.044063 0.042250 0.024147 0.029187 0.039670 0.013702 0.429908 0.011168 0.025791 0.017731 0.039200 0.044471 0.026689 0.019119 0.010084 0.016804 0.044593 0.041624 0.011364 0.263947 0.010520 0.045057 0.011050 0.026664 0.034178 0.043607 0.013804 0.028418 0.017771 0.007201 0.042670 0.007349 0.045417 0.030553 0.040486 0.015751 0.007015 0.108478 0.021896 0.011156 0.192693 0.010176 0.020183 0.027993 0.017271 0.009097 0.015121 0.009355 0.444223 0.008782 0.009044 0.027489 0.011489 0.026461 0.013578 0.065363 0.021456 0.010780 0.125726 0.009439 0.019524 0.027153 0.017002 0.008662 0.014975 0.009197 0.464281 0.008561 0.009224 0.027410 0.011515 0.026492 0.013975 0.066281 0.021287 0.025432 0.010951 0.127063 0.009439 0.019326 0.027708 0.017050 0.008714 0.014746 0.009535 0.483371 0.008993 0.009296 0.027049 0.011790 0.026155 0.013577 0.071675 0.020849 0.024743 0.010740 0.174699 0.009466 0.018968 0.026512 0.016773 0.008576 0.014477 0.008862 0.518587 0.008491 0.008806 0.037493 0.010826 0.032214 0.013135 0.086200 0.020832 0.024691 0.010424 0.186908 0.009103 0.018723 0.026777 0.016344 0.008306 0.014105 0.009042 0.011198 0.008142 0.008471 0.035889 0.010993 0.031192 0.174968 0.015943 0.005956 0.008847 0.014519 0.008256 0.012742 0.005858 0.014958 0.007177 0.013472 0.008296 0.012507 0.008069 0.012222 0.006975 0.011360 0.007599 0.009519 0.006832 0.007355 0.009121 0.013153 0.011790 0.007499 0.011421 0.007500 0.011497 0.006431 0.010423 0.007034 0.009206 0.006636 0.006658 0.007914 0.011535 0.011909 0.010877 0.007286 0.010288 0.006548 0.010573 0.006166 0.009625 0.006630 0.165889 0.006032 0.006143 0.007091 0.009506 0.010312 0.006710 0.009911 0.006421 0.010540 0.007177 0.010114 0.006378 0.010521 0.006115 0.009803 0.006277 0.166540 0.006617 0.006369 0.006944 0.009359 0.010783 0.006993 0.009466 0.006336 0.009962 0.005983 0.009435 0.006321 0.007785 0.006097 0.006446 0.007012 0.009631 0.006456 0.008220 0.005774 0.004812 0.005403 0.008523 0.005545 0.007015 0.005563 0.005586 0.006402 0.008496 0.006021 0.008124 0.005959 0.004970 0.005321 0.008363 0.005596 0.007180 0.005242 0.005753 0.006393 0.008339 0.005905 0.004853 0.005815 0.004722 0.005136 0.010670 0.006663 0.009521 0.006192 0.009887 0.005880 0.009158 0.006192 0.142638 0.005963 0.005988 0.007163 0.009134 0.006289 0.008675 0.005948 0.009333 0.005456 0.011813 0.010061 0.006645 0.009587 0.006567 0.009809 0.005705 0.008791 0.006430 0.007359 0.005907 0.005969 0.006623 0.008823 0.006494 0.007774 0.005644 0.004903 0.005287 0.007996 0.005613 0.006964 0.005272 0.005579 0.006013 0.008213 0.008937 0.006575 0.009022 0.006342 0.009665 0.005646 0.008604 0.005971 0.007688 0.005547 0.005919 0.006532 0.008710 0.005896 0.004724 0.005508 0.004916 0.005183 0.008096 0.005433 0.006791 0.005354 0.005835 0.006191 0.007982 0.005933 0.005110 0.005304 0.005342 0.006263 0.005025 0.005303 0.005592 0.004616 0.005816 0.005465 0.004753 0.005130 0.004844 0.005323 0.006297 0.005088 0.005212 0.006091 0.007819 0.005387 0.005318 0.004777 0.005244 0.005909 0.004899 0.004972 0.005425 0.004526 0.005846 0.005320 0.005465 0.005095 0.005972 0.004785 0.005199 0.005357 0.004526 0.006336 0.008813 0.006194 0.009358 0.005457 0.008414 0.005800 0.007148 0.005749 0.005995 0.006200 0.008536 0.005639 0.005241 0.004706 0.004952 0.005497 0.006226 0.004989 0.005206 0.005501 0.007713 0.004984 0.004717 0.005012 0.005676 0.004957 0.004877 0.005153 0.004975 0.005027 0.004861 0.005604 0.004740 0.005586 0.005103 0.004883 0.004984 0.005014 0.004681 0.005617 0.005677 0.004965 0.004984 0.005478 0.005124 0.004806 0.004667 0.004778 0.005013 0.004572 0.004600 0.005356 0.004686 0.004801 0.004368 0.004315 0.004363 0.004542 0.004771 0.004220 0.004465 0.004444 0.004432

total iso time: 503.990051
===============================================================================

print the content of the cache: 
c id: 4, level: 26, literals: 16, clauses: 14, size: 33, afterHit: 0, saved: 2, hits: 0, levelHits: [], isos: 1, levelIsos: [8]
c id: 1, level: 19, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 104, hits: 0, levelHits: [], isos: 29, levelIsos: [16,9,20,11,9,11,21,22,21,19,13,20,15,20,14,16,7,10,13,10,9,7,9,10,10,12,11,8,11]
c id: 5, level: 15, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 180, hits: 0, levelHits: [], isos: 41, levelIsos: [18,19,18,18,17,14,20,17,16,15,15,14,12,12,11,12,14,12,11,21,10,8,10,7,10,10,10,13,13,10,7,10,8,10,11,15,11,11,7,10,10]
c id: 10, level: 36, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 104, hits: 0, levelHits: [], isos: 33, levelIsos: [21,18,24,25,23,19,20,13,13,13,13,18,16,9,8,11,11,12,11,11,9,8,10,11,13,12,11,12,14,14,8,12,9]
c id: 2, level: 11, literals: 27, clauses: 17, size: 50, afterHit: 0, saved: 7, hits: 0, levelHits: [], isos: 2, levelIsos: [17,12]

restarts              : 1
conflicts             : 494            (439 /sec)
decisions             : 2046           (0.00 % random) (1819 /sec)
propagations          : 10223          (9088 /sec)
conflict literals     : 2328           (15.01 % deleted)
components created    : 664
components cached     : 104
components hit        : 0
isomorphisms          : 106
conflicts saved       : 397
conflicts remaining   : 203
glasgow calls         : 10062
aborted calls         : 6
Memory used           : 21.00 MB
CPU time              : 1.12483 s

SATISFIABLE
