/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col60_5_1.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           120                                         |
|  Number of clauses:             498                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     113      498     1845 |      182      100      3 |  5.861 % |
|       250 |     112      498     1845 |      200      149      4 |  6.674 % |
|       475 |     112      498     1845 |      220      145      3 |  6.736 % |
|       812 |      95      498     1845 |      243      230      3 | 20.897 % |

iso times: 0.009619 0.007898 0.007827 0.008177 0.009468 0.009607 0.009009 0.008447 0.007953 0.008453 0.008329 0.008114 0.007593 0.007279 0.007458 0.007048 0.008215 0.008231 0.008193 0.007367 0.007205 0.006881 0.010653 0.009711 0.008847 0.008996 0.008918 0.008532 0.008685 0.007936 0.007374 0.008483 0.008395 0.008222 0.008683 0.008644 0.008454 0.008305 0.008115 0.008054 0.007843 0.007885 0.007607 0.006665 0.008019 0.008732 0.008036 0.008287 0.007802 0.007425 0.006876 0.008094 0.007517 0.007401 0.007640 0.007005 0.006858 0.006209 0.010346 0.009107 0.008699 0.008279 0.007674 0.007541 0.007452 0.007952 0.007548 0.007842 0.007709 0.009736 0.009156 0.009237 0.008895 0.008852 0.008048 0.008331 0.007350 0.009053 0.008282 0.007852 0.007229 0.010356 0.010527 0.010018 0.010038 0.009440 0.009620 0.009420 0.008808 0.008923 0.008955 0.007918 0.007325 0.006766 0.006648 0.006483 0.008194 0.008402 0.008197 0.007927 0.007097 0.006478 0.006498 0.008648 0.008554 0.008594 0.008372 0.008193 0.011191 0.011264 0.010824 0.010778 0.010532 0.010590 0.009880 0.010670 0.009555 0.009365 0.009043 0.009621 0.008895 0.009151 0.008539 0.008919 0.008686 0.008144 0.008035 0.012519 0.011741 0.011914 0.011502 0.011083 0.010901 0.010697 0.011640 0.010557 0.010598 0.010301 0.009927 0.010046 0.010194 0.009179 0.009432 0.011811 0.010662 0.010154 0.009897 0.009839 0.009437 0.009666 0.009459 0.010640 0.010506 0.010864 0.009748 0.009710 0.009297 0.009105 0.009240 0.008902 0.008755 0.009085 0.005306 0.008149 0.008251 0.008646 0.008074 0.007565 0.007947 0.007231 0.012781 0.012110 0.007367 0.012752 0.011751 0.007097 0.012483 0.011453 0.007059 0.007531 0.007543 0.007341 0.013025 0.011767 0.007148 0.012829 0.011457 0.007036 0.012170 0.011252 0.007032 0.007899 0.017387 0.013867 0.007754 0.015343 0.012809 0.007594 0.007940 0.007390 0.012230 0.011633 0.007077 0.012102 0.012024 0.006997 0.012177 0.011553 0.006853 0.007484 0.006803 0.006853 0.011456 0.010789 0.007232 0.011241 0.010470 0.006804 0.007136 0.006430 0.011100 0.010651 0.006461 0.011049 0.010755 0.006431 0.006427 0.011315 0.010754 0.010480 0.006581 0.011800 0.010114 0.351463 0.008081 0.018377 0.014249 0.065183 0.007263 0.016855 0.013166 0.006843 0.010227 0.017417 0.017148 0.021472 0.010540 0.017746 0.017302 0.010220 0.017958 0.016966 0.010025 0.016645 0.015312 0.123128 0.010170 0.017670 0.016243 0.168332 0.008254 0.018792 0.015520 0.015243 0.008453 0.016052 0.014572 0.194468 0.008550 0.018370 0.014504 0.289275 0.007794 0.027129 0.013884 0.168471 0.006897 0.021145 0.011263 0.018104 0.017268 0.040576 0.010408 0.019530 0.016560 0.068962 0.009602 0.019710 0.016223 0.016115 0.009355 0.016465 0.015072 0.015634 0.009096 0.016147 0.015061 0.016554 0.008452 0.016983 0.013849 0.014378 0.008132 0.015354 0.014099 0.012338 0.007423 0.014829 0.011594 0.011295 0.006583 0.011607 0.011113 0.006376 0.015139 0.009007 0.015656 0.014597 0.016289 0.008404 0.016248 0.013733 0.013871 0.008180 0.015251 0.013444 0.011708 0.007386 0.018227 0.011325 0.011527 0.006686 0.011830 0.011172 0.011607 0.006410 0.011428 0.011378 0.006299 0.015112 0.008629 0.015355 0.014599 0.171265 0.008156 0.040000 0.014556 0.014215 0.008445 0.016318 0.013843 0.013583 0.006592 0.015800 0.013011 0.013394 0.006430 0.013773 0.012513 0.012392 0.006340 0.013828 0.008187 0.015984 0.013316 0.012238 0.019934 0.019241 0.026351 0.011362 0.020381 0.018617 0.018355 0.011251 0.019088 0.017960 0.034564 0.010186 0.018225 0.017205 0.038754 0.010197 0.018442 0.017208 0.088153 0.009940 0.017118 0.016080 0.090366 0.009724 0.017046 0.016173 0.107826 0.009618 0.016750 0.015615 0.130317 0.009065 0.016959 0.015590 0.017549 0.009402 0.017495 0.014897 0.015370 0.009163 0.016478 0.015006 0.014794 0.008867 0.015355 0.014435 0.014577 0.008953 0.015278 0.013939 0.013505 0.007600 0.014040 0.012980 0.013687 0.008626 0.014167 0.013326 0.013301 0.007684 0.013624 0.013127 0.013058 0.007922 0.013305 0.013108 0.011800 0.006865 0.012007 0.011387 0.011974 0.007208 0.012905 0.012045 0.010742 0.006192 0.010858 0.010596 0.010092 0.006515 0.010895 0.009599 0.006196 0.010447 0.009814 0.005578 0.013690 0.007421 0.014343 0.013245 0.013098 0.007714 0.014306 0.012494 0.012530 0.007095 0.013123 0.012840 0.011178 0.006830 0.011939 0.010622 0.011419 0.006811 0.012457 0.011273 0.010456 0.006378 0.010985 0.009807 0.009675 0.006224 0.010134 0.009536 0.005967 0.009898 0.008974 0.005531 0.018421 0.010722 0.018869 0.017090 0.018016 0.010784 0.018372 0.017222 0.021349 0.010485 0.038486 0.018434 0.021016 0.009925 0.038239 0.018025 0.066055 0.009845 0.018003 0.016497 0.093627 0.009474 0.017122 0.015996 0.116135 0.009510 0.017159 0.015151 0.151273 0.008932 0.016924 0.015191 0.017386 0.009471 0.019194 0.014830 0.015260 0.008858 0.015858 0.014495 0.014246 0.008222 0.015458 0.013862 0.015804 0.007932 0.025460 0.014142 0.014255 0.007561 0.015324 0.013579 0.012984 0.007414 0.014948 0.012498 0.012644 0.007432 0.014059 0.012320 0.012651 0.006904 0.012847 0.011876 0.012448 0.006955 0.012783 0.012137 0.012208 0.006881 0.012728 0.011778 0.010951 0.006913 0.011278 0.010916 0.011001 0.006387 0.012180 0.010982 0.009941 0.006157 0.010332 0.010014 0.009987 0.005857 0.009911 0.009113 0.005851 0.009511 0.008939 0.005758 0.004336 0.006127 0.006615 0.007321 0.010624 0.006433 0.010801 0.010205 0.006162 0.006580 0.010030 0.006184 0.009684 0.021624 0.009083 0.016203 0.014779 0.009421 0.008776 0.014669 0.014072 0.009267 0.008282 0.014538 0.013878 0.009755 0.008565 0.014915 0.013831 0.008748 0.008096 0.014184 0.013237 0.008585 0.007996 0.014179 0.013444 0.008741 0.007969 0.013880 0.012731 0.008514 0.012759 0.007658 0.014157 0.012395 0.008213 0.007981 0.014131 0.012496 0.008081 0.012574 0.007545 0.013416 0.012299 0.007877 0.012793 0.007267 0.014199 0.012313 0.007666 0.012265 0.007339 0.014274 0.012404 0.007057 0.011106 0.006955 0.011898 0.010853 0.007040 0.010687 0.006928 0.011151 0.010134 0.007016 0.011271 0.006753 0.011154 0.010227 0.006450 0.010714 0.006186 0.010192 0.009313 0.006100 0.006254 0.009134 0.008457 0.005794 0.005611 0.009116 0.008899 0.005818 0.008575 0.005955 0.008873 0.008572 0.005883 0.005509 0.008850 0.008489 0.005723 0.005514 0.008822 0.008145 0.004970 0.005637 0.005118 0.006861 0.012782 0.006417 0.013082 0.012326 0.006845 0.010479 0.006558 0.011059 0.010561 0.006630 0.010039 0.006120 0.010370 0.009200 0.006917 0.010559 0.006877 0.011206 0.010123 0.006400 0.009169 0.005998 0.010215 0.009546 0.006353 0.006248 0.009502 0.008791 0.005657 0.005807 0.005810 0.005344 0.005320 0.004948 0.004517 0.007210 0.012981 0.006268 0.008618 0.007779 0.013532 0.013424 0.008793 0.132180 0.008253 0.015296 0.148561 0.008786 0.007421 0.012939 0.012003 0.008450 0.008100 0.013982 0.012435 0.008798 0.119751 0.007670 0.014729 0.142384 0.008686 0.007933 0.012990 0.012324 0.008375 0.012727 0.007985 0.013144 0.012144 0.008147 0.012594 0.007813 0.012958 0.012600 0.008090 0.011824 0.007225 0.012357 0.011627 0.007504 0.011877 0.007288 0.013533 0.011502 0.008487 0.012591 0.007569 0.012844 0.012460 0.007409 0.012215 0.006920 0.009442 0.014774 0.008716 0.015160 0.013894 0.009472 0.014021 0.008281 0.014400 0.013577 0.008610 0.013397 0.008132 0.014463 0.013169 0.008206 0.012974 0.007529 0.013257 0.013109 0.008143 0.012926 0.008365 0.013432 0.012478 0.007921 0.013030 0.007579 0.005852 0.013177 0.026702 0.019372 0.012027 0.020535 0.019176 0.013551 0.026325 0.012243 0.019798 0.019484 0.013218 0.026859 0.020160 0.012425 0.020340 0.018983 0.013131 0.025794 0.012283 0.019652 0.018905 0.012128 0.024424 0.017964 0.010822 0.018988 0.017696 0.011860 0.025418 0.018208 0.011033 0.018215 0.017579 0.010850 0.024240 0.017506 0.009975 0.017322 0.016518 0.010528 0.024093 0.016634 0.009987 0.017406 0.016277 0.010401 0.022918 0.016229 0.009320 0.016519 0.015462 0.010209 0.023319 0.016052 0.009139 0.016667 0.015313 0.009826 0.021290 0.016349 0.008945 0.017413 0.015940 0.009238 0.019585 0.015303 0.008917 0.016664 0.015340 0.009411 0.018983 0.015597 0.008326 0.017236 0.015047 0.008671 0.018224 0.014791 0.007850 0.016296 0.014482 0.010169 0.011574 0.025158 0.017441 0.010614 0.017914 0.016840 0.011436 0.024167 0.017083 0.010316 0.017262 0.016402 0.010585 0.021530 0.015869 0.009592 0.016481 0.015463 0.009728 0.021528 0.015362 0.008859 0.015399 0.014766 0.009590 0.020502 0.014757 0.008874 0.015338 0.014254 0.009774 0.010450 0.022701 0.015932 0.009708 0.016402 0.015521 0.010273 0.022873 0.016122 0.009443 0.016239 0.015473 0.010265 0.023465 0.015931 0.009811 0.016283 0.015547 0.009681 0.021401 0.015202 0.008845 0.015079 0.014596 0.009510 0.021958 0.014633 0.008459 0.014974 0.014299 0.009546 0.020554 0.014913 0.008661 0.015157 0.014322 0.007872 0.016473 0.012832 0.007316 0.013497 0.012401 0.007891 0.016407 0.012641 0.007422 0.013199 0.012202 0.007439 0.015319 0.012117 0.006891 0.012288 0.011515 0.007228 0.007376 0.016164 0.012589 0.006878 0.012849 0.011774 0.007106 0.007545 0.016523 0.012653 0.007732 0.013268 0.012273 0.007671 0.015589 0.012246 0.006965 0.012719 0.011212 0.006951 0.014808 0.011002 0.006913 0.012407 0.010953 0.006104 0.005018 0.009316 0.005950 0.007228 0.006767 0.008234 0.009549 0.022430 0.015355 0.009293 0.015534 0.014408 0.008897 0.019902 0.013918 0.008295 0.014755 0.013857 0.008516 0.019018 0.014599 0.007847 0.016702 0.013974 0.008369 0.017458 0.012994 0.007879 0.013018 0.011914 0.008445 0.018006 0.014509 0.007791 0.015916 0.013673 0.008410 0.016765 0.012699 0.007238 0.012809 0.012056 0.007365 0.017160 0.012217 0.006973 0.012595 0.011584 0.007463 0.016391 0.013025 0.007330 0.012879 0.011713 0.007692 0.016036 0.011585 0.007106 0.011660 0.011579 0.007295 0.013989 0.006901 0.008370 0.017512 0.013663 0.007780 0.016061 0.013340 0.006226 0.005043 0.005449 0.007769 0.017371 0.014745 0.007259 0.016348 0.013703 0.005887 0.008372 0.005500 0.007803 0.016694 0.012795 0.006918 0.013107 0.011985 0.007409 0.016021 0.011808 0.006743 0.011981 0.011298 0.007008 0.014952 0.010882 0.006255 0.010193 0.023875 0.015903 0.009232 0.015805 0.014949 0.010010 0.023400 0.015357 0.009062 0.015932 0.014669 0.009585 0.021603 0.015124 0.009052 0.015334 0.014651 0.009453 0.021106 0.014554 0.008846 0.014807 0.014020 0.009839 0.020997 0.014280 0.008468 0.014520 0.014022 0.008997 0.019145 0.013791 0.007613 0.013934 0.012904 0.010357 0.023473 0.015717 0.009819 0.016179 0.015243 0.009915 0.023106 0.014895 0.009072 0.015435 0.014626 0.009417 0.021006 0.014712 0.008593 0.014933 0.013995 0.009542 0.020929 0.014260 0.008876 0.014711 0.013685 0.009045 0.020309 0.014221 0.008298 0.014753 0.013691 0.008389 0.018804 0.012991 0.007679 0.013249 0.012131 0.007550 0.016280 0.012218 0.006821 0.012557 0.012109 0.009840 0.021865 0.015332 0.008896 0.015469 0.014227 0.009770 0.022040 0.014563 0.009197 0.015447 0.014185 0.009623 0.019878 0.014961 0.008954 0.014693 0.014045 0.009240 0.019595 0.014151 0.008363 0.014599 0.013789 0.009410 0.019459 0.014126 0.008418 0.014003 0.013526 0.008685 0.018254 0.012863 0.007578 0.013224 0.012505 0.007263 0.016181 0.011886 0.006724 0.012173 0.011407 0.007038 0.016124 0.011322 0.006590 0.007287 0.015529 0.011280 0.007223 0.009111 0.019823 0.015014 0.008736 0.015220 0.014669 0.009347 0.019535 0.015002 0.008194 0.015656 0.015022 0.008759 0.018317 0.013209 0.007890 0.013957 0.013098 0.009535 0.018104 0.013495 0.007494 0.013728 0.012877 0.008643 0.017659 0.013087 0.007839 0.004368 0.008134 0.006700 0.014775 0.006412 0.008243 0.017779 0.012922 0.007609 0.013224 0.012775 0.007926 0.016309 0.012235 0.007368 0.009332 0.020352 0.014394 0.008485 0.015207 0.013916 0.009112 0.022149 0.014178 0.008220 0.015411 0.013758 0.009170 0.020208 0.014187 0.008286 0.014677 0.013483 0.009241 0.018480 0.013051 0.007947 0.013952 0.013321 0.008424 0.018488 0.013535 0.007968 0.013891 0.013085 0.008378 0.018994 0.013556 0.007590 0.013255 0.013415 0.008179 0.018072 0.013210 0.007819 0.013463 0.012476 0.007963 0.017228 0.012208 0.007899 0.012697 0.011860 0.007725 0.016871 0.012335 0.006805 0.011882 0.011464 0.007828 0.016368 0.011861 0.006946 0.012358 0.011195 0.008241 0.018811 0.015312 0.007648 0.018732 0.013856 0.008269 0.017843 0.014869 0.007701 0.018341 0.013227 0.007860 0.016892 0.014055 0.007202 0.015925 0.012504 0.007415 0.015689 0.012044 0.006854 0.011647 0.010869 0.006959 0.014741 0.011108 0.006335 0.011255 0.010634 0.007026 0.014600 0.011141 0.006447 0.011427 0.010899 0.008131 0.018623 0.017116 0.007438 0.021884 0.014626 0.008039 0.018523 0.016156 0.007313 0.025243 0.014239 0.008799 0.017551 0.016100 0.007619 0.026734 0.014254 0.007346 0.016296 0.013137 0.006912 0.016052 0.012448 0.007258 0.015764 0.011384 0.006501 0.011612 0.010757 0.006779 0.014853 0.010828 0.006405 0.010974 0.010458 0.006807 0.014155 0.011125 0.006185 0.010873 0.010072 0.006788 0.006429 0.014204 0.010835 0.006076 0.010585 0.010564 0.006652 0.013834 0.010081 0.005958 0.010895 0.009998 0.006329 0.005086 0.009643 0.006148 0.008171 0.017358 0.016531 0.007448 0.019699 0.014444 0.007561 0.018454 0.016369 0.007406 0.024292 0.014198 0.007323 0.015974 0.013296 0.007272 0.013223 0.012429 0.006797 0.014547 0.010950 0.006586 0.011134 0.010839 0.006757 0.014170 0.010214 0.006290 0.010856 0.010058 0.006591 0.005084 0.010170 0.005871 0.010736 0.009660 0.006937 0.014189 0.010450 0.006228 0.010822 0.010153 0.006102 0.005350 0.010105 0.006099 0.008010 0.017386 0.013959 0.007567 0.012887 0.013706 0.007784 0.018120 0.014024 0.006990 0.013399 0.012953 0.007609 0.017076 0.013804 0.006932 0.012404 0.012507 0.007370 0.015327 0.011433 0.006450 0.011721 0.010985 0.005891 0.009272 0.005699 0.006787 0.014423 0.011333 0.006376 0.011427 0.010362 0.006664 0.013823 0.010478 0.006011 0.010932 0.010606 0.005813 0.008654 0.005750 0.007584 0.016520 0.013555 0.007057 0.012969 0.013174 0.007119 0.007865 0.016118 0.012541 0.006684 0.012952 0.011799 0.007862 0.015020 0.011547 0.006483 0.011489 0.011002 0.006805 0.014371 0.011009 0.006477 0.011075 0.010691 0.006314 0.009607 0.005583 0.010230 0.023548 0.016274 0.009433 0.016649 0.015345 0.009702 0.022026 0.017869 0.008939 0.031900 0.016351 0.009228 0.020975 0.018817 0.008175 0.036623 0.015107 0.009523 0.021393 0.014844 0.008941 0.015060 0.013955 0.009670 0.022466 0.014550 0.008906 0.015284 0.014180 0.008662 0.019457 0.013335 0.007964 0.014199 0.013155 0.008272 0.019263 0.014045 0.008275 0.013866 0.012920 0.007501 0.015799 0.011742 0.006755 0.013557 0.010807 0.007121 0.014574 0.011188 0.006237 0.011748 0.010729 0.007276 0.014246 0.012071 0.006966 0.010973 0.010400 0.006851 0.014849 0.010969 0.006663 0.008278 0.018757 0.013245 0.007612 0.013762 0.012689 0.006581 0.005597 0.009805 0.006135 0.009095 0.020211 0.014372 0.008801 0.014501 0.013843 0.008313 0.019116 0.012789 0.007463 0.013001 0.012887 0.008339 0.016774 0.012396 0.007199 0.012210 0.011449 0.007135 0.015157 0.011481 0.006734 0.011974 0.010797 0.006624 0.013988 0.010219 0.006316 0.010514 0.010051 0.007014 0.014560 0.006537 0.011028 0.010130 0.006505 0.005047 0.005996 0.007444 0.015977 0.015908 0.006819 0.012682 0.026660 0.012067 0.019520 0.019074 0.011971 0.025556 0.021513 0.011275 0.021103 0.019159 0.011830 0.025236 0.021061 0.010834 0.020747 0.018387 0.011322 0.025223 0.020795 0.010326 0.037124 0.018413 0.011055 0.025064 0.020114 0.013816 0.068415 0.018097 0.010471 0.023517 0.019013 0.009816 0.030161 0.017115 0.010349 0.022989 0.018592 0.009461 0.026414 0.017658 0.010829 0.022049 0.016966 0.010183 0.023262 0.016453 0.009914 0.020677 0.016597 0.008787 0.023959 0.015606 0.009126 0.019733 0.015798 0.008303 0.036165 0.015311 0.009017 0.020136 0.014721 0.008899 0.012314 0.025738 0.019379 0.011668 0.019878 0.018832 0.012689 0.025713 0.018940 0.011487 0.019832 0.018381 0.012591 0.025632 0.019076 0.011507 0.018886 0.018221 0.012351 0.025531 0.018566 0.010985 0.019259 0.018226 0.011904 0.024781 0.018190 0.010801 0.018579 0.017340 0.010810 0.023315 0.016890 0.009673 0.017267 0.016205 0.008694 0.017309 0.013630 0.008084 0.014492 0.013430 0.007590 0.015481 0.013813 0.006373 0.008049 0.017160 0.013913 0.007459 0.018502 0.015560 0.007562 0.016112 0.013382 0.007222 0.013871 0.014994 0.010420 0.011154 0.023861 0.016141 0.009864 0.017041 0.016165 0.010221 0.022857 0.017759 0.009613 0.036113 0.016029 0.007158 0.006110 0.006434 0.005665 0.005938 0.005983 0.006490 0.005450 0.005881 0.005298 0.005856 0.005356 0.005357 0.004941 0.005247 0.005544 0.004987 0.005140 0.005053 0.005255 0.010464 0.022660 0.016016 0.009737 0.016513 0.015750 0.010128 0.022209 0.083768 0.009460 0.016236 0.015033 0.009709 0.021611 0.017208 0.008941 0.027248 0.015026 0.009082 0.021606 0.020955 0.008621 0.080654 0.019180 0.005245 0.005516 0.004696 0.004588 0.005208 0.004912 0.005033 0.009375 0.020747 0.017556 0.008855 0.023188 0.014889 0.009069 0.020713 0.021102 0.008276 0.050834 0.019127 0.005307 0.004827 0.004662 0.004546 0.004702 0.004425 0.004521 0.009246 0.021032 0.017994 0.008617 0.022721 0.014437 0.009278 0.019098 0.018859 0.008105 0.028400 0.015097 0.008681 0.008867 0.019344 0.274971 0.008411 0.046197 0.013428 0.006411 0.008151 0.017989 0.013887 0.007401 0.014758 0.014207 0.008239 0.016866 0.015317 0.007237 0.014635 0.014042 0.006509 0.010335 0.022299 0.146314 0.009736 0.016440 0.015339 0.009205 0.020952 0.015118 0.008229 0.014886 0.014068 0.007143 0.009696 0.022157 0.083698 0.008979 0.015938 0.014546 0.008960 0.019758 0.015295 0.008231 0.014826 0.014283 0.007047 0.014590 0.006894 0.012788 0.011139 0.007302 0.014671 0.013830 0.006894 0.012019 0.011021 0.006785 0.014344 0.013639 0.006814 0.011840 0.010637 0.007102 0.011215 0.006116 0.011323 0.010454 0.006405 0.005418 0.010212 0.006438 0.010955 0.009858 0.006584 0.013576 0.006194 0.011334 0.010512 0.005980 0.009405 0.005963 0.009609 0.009175 0.005919 0.005900 0.009544 0.005368 0.009576 0.008661 0.005310 0.006711 0.013509 0.006738 0.010755 0.010258 0.005699 0.006536 0.013126 0.006191 0.011006 0.009986 0.006222 0.009030 0.005353 0.006172 0.009243 0.005705 0.009545 0.009047 0.008648 0.018889 0.015466 0.008266 0.016206 0.015084 0.007379 0.014173 0.011053 0.006741 0.010879 0.011037 0.004961 0.005121 0.004648 0.005082 0.004859 0.004848 0.004719 0.005320 0.009899 0.021220 0.076191 0.008772 0.015370 0.014682 0.009570 0.020435 0.079874 0.008601 0.014950 0.014461 0.008813 0.018641 0.263686 0.008063 0.019072 0.013681 0.008005 0.017040 0.049988 0.007461 0.019199 0.013086 0.009360 0.019610 0.076111 0.008509 0.015040 0.013881 0.009322 0.009257 0.019270 0.073574 0.008254 0.010334 0.022713 0.113177 0.009296 0.016359 0.015267 0.009750 0.021141 0.058658 0.008795 0.016741 0.014613 0.009882 0.020992 0.015061 0.008946 0.016564 0.014383 0.010125 0.021163 0.014726 0.008507 0.015926 0.014247 0.008138 0.016755 0.014994 0.007928 0.016368 0.013981 0.007018 0.015397 0.011509 0.006943 0.016573 0.011741 0.006748 0.014982 0.011265 0.006393 0.015326 0.011309 0.012490 0.025784 0.019223 0.011489 0.019718 0.018582 0.012408 0.026317 0.018348 0.011471 0.019362 0.018462 0.011651 0.024793 0.018129 0.010331 0.018360 0.017072 0.011641 0.024577 0.017488 0.010551 0.018620 0.018013 0.010929 0.023598 0.021176 0.010023 0.022605 0.017985 0.010711 0.022320 0.016973 0.009679 0.017440 0.016960 0.009287 0.019843 0.015819 0.008953 0.016012 0.015676 0.009296 0.018987 0.015187 0.008223 0.015118 0.014617 0.009013 0.019123 0.015161 0.008315 0.014927 0.013906 0.008661 0.019440 0.015201 0.008277 0.015105 0.013752 0.008947 0.018449 0.015407 0.008520 0.014398 0.013660 0.008174 0.017127 0.014346 0.007080 0.008613 0.018138 0.014213 0.007953 0.014765 0.013721 0.008080 0.017011 0.013390 0.007790 0.013459 0.012054 0.008025 0.016987 0.012812 0.007619 0.013429 0.012473 0.008664 0.016979 0.012940 0.007350 0.013045 0.011997 0.007833 0.015812 0.012256 0.007093 0.012402 0.011636 0.007449 0.010341 0.023644 0.016540 0.009638 0.018050 0.016100 0.009870 0.020788 0.014811 0.008669 0.014994 0.014248 0.008332 0.008624 0.010170 0.022860 0.016205 0.009072 0.017031 0.015537 0.009127 0.020490 0.014700 0.008824 0.014995 0.014508 0.008869 0.009398 0.019483 0.014506 0.008069 0.014312 0.014132 0.008671 0.019184 0.014102 0.008158 0.014232 0.013618 0.008680 0.018876 0.013181 0.007536 0.013363 0.012697 0.008291 0.019365 0.013600 0.008154 0.013865 0.012952 0.007990 0.017715 0.012764 0.007516 0.013332 0.012376 0.009965 0.020064 0.020110 0.008757 0.018662 0.016376 0.009478 0.019690 0.017803 0.008978 0.019178 0.016406 0.009749 0.019158 0.017468 0.008645 0.018785 0.016213 0.009351 0.019409 0.017489 0.008588 0.018666 0.015929 0.009189 0.019820 0.017532 0.008128 0.017305 0.015203 0.009829 0.019369 0.014603 0.008507 0.015211 0.013952 0.008813 0.018242 0.014271 0.008442 0.014560 0.013960 0.011480 0.024479 0.017015 0.010425 0.018267 0.016725 0.011531 0.023793 0.017614 0.010607 0.017922 0.017081 0.011161 0.024329 0.017170 0.010877 0.017377 0.016638 0.010794 0.024027 0.017166 0.010057 0.016652 0.016640 0.011184 0.024292 0.016799 0.010045 0.017102 0.016270 0.010323 0.022053 0.016708 0.009181 0.016796 0.015669 0.009778 0.020626 0.016125 0.008780 0.016254 0.015340 0.008982 0.019033 0.014159 0.008044 0.014523 0.013806 0.008274 0.017810 0.013010 0.007408 0.008598 0.017590 0.015933 0.007660 0.021341 0.015169 0.007435 0.016393 0.013386 0.006934 0.007927 0.008551 0.017747 0.013140 0.007630 0.013509 0.013033 0.008624 0.017420 0.013342 0.007759 0.013625 0.012380 0.006832 0.009311 0.020876 0.015626 0.008777 0.016312 0.014817 0.010533 0.023090 0.016313 0.009348 0.015995 0.015135 0.008936 0.018702 0.014397 0.008178 0.011153 0.024986 0.017603 0.010657 0.018165 0.017356 0.011140 0.023802 0.017592 0.010637 0.017471 0.016844 0.011196 0.023092 0.017110 0.010005 0.017827 0.016395 0.010728 0.023195 0.016943 0.009774 0.016722 0.015824 0.011147 0.022447 0.015438 0.009296 0.016365 0.014938 0.009952 0.020265 0.015386 0.009246 0.015630 0.015153 0.010735 0.020341 0.016101 0.009815 0.015756 0.015253 0.009330 0.019034 0.013705 0.008153 0.014275 0.013622 0.008244 0.016978 0.012806 0.007204 0.008293 0.017850 0.013310 0.007539 0.010015 0.019578 0.015396 0.008853 0.015957 0.015037 0.009971 0.019706 0.014886 0.008924 0.015725 0.014412 0.009561 0.019954 0.015036 0.008883 0.015231 0.014211 0.009588 0.019337 0.014591 0.008619 0.014875 0.013635 0.010340 0.022637 0.015755 0.009463 0.015819 0.014978 0.009402 0.019431 0.014398 0.008490 0.014628 0.013991 0.008851 0.008750 0.009863 0.021736 0.016245 0.008809 0.015874 0.015900 0.009217 0.019399 0.014366 0.008559 0.014622 0.013920 0.005953 0.009072 0.005928 0.009453 0.021549 0.016229 0.008701 0.016337 0.015006 0.009066 0.018739 0.014955 0.008219 0.008858 0.018953 0.014197 0.008376 0.015330 0.015660 0.008811 0.017182 0.013441 0.008099 0.008406 0.018093 0.013396 0.007830 0.009986 0.022022 0.015513 0.008948 0.016427 0.015196 0.009772 0.021376 0.014940 0.008798 0.015094 0.014489 0.009861 0.019231 0.015173 0.008865 0.014743 0.014444 0.009411 0.018629 0.014868 0.008536 0.015029 0.014008 0.008811 0.019158 0.013960 0.008007 0.014041 0.012922 0.008169 0.018154 0.013703 0.007503 0.013249 0.012257 0.008307 0.017587 0.012622 0.007570 0.013139 0.012073 0.007268 0.015383 0.011588 0.006892 0.011839 0.011160 0.006687 0.013834 0.010551 0.006291 0.009653 0.020892 0.014795 0.008674 0.015170 0.013691 0.009446 0.018673 0.014345 0.008355 0.014590 0.014159 0.008885 0.018358 0.014061 0.008753 0.014576 0.013461 0.008386 0.017541 0.013652 0.007657 0.013757 0.012674 0.008413 0.017165 0.012771 0.007945 0.013130 0.012597 0.007555 0.016660 0.012482 0.007305 0.012723 0.011957 0.007143 0.014400 0.011320 0.007150 0.011882 0.011025 0.006934 0.009328 0.020288 0.014401 0.008564 0.014446 0.013325 0.008752 0.017587 0.013758 0.007975 0.014034 0.013253 0.009081 0.019018 0.013773 0.008043 0.014115 0.013700 0.007851 0.016416 0.012846 0.007269 0.013905 0.012343 0.007854 0.015762 0.012417 0.007061 0.012888 0.011776 0.006783 0.013784 0.011132 0.006300 0.011307 0.011039 0.006791 0.006683 0.013320 0.011088 0.006371 0.011068 0.010885 0.006547 0.013043 0.010915 0.005992 0.010740 0.009880 0.006709 0.006227 0.005179 0.010131 0.006112 0.010377 0.009733 0.006740 0.007486 0.016200 0.012433 0.007308 0.007477 0.016470 0.012302 0.007278 0.013067 0.026994 0.020052 0.012048 0.020278 0.019573 0.013778 0.026202 0.020155 0.012173 0.019560 0.018741 0.013110 0.026281 0.018530 0.011642 0.019694 0.018248 0.012671 0.025379 0.018728 0.011151 0.019403 0.018601 0.011884 0.024269 0.017813 0.010799 0.018240 0.016778 0.011419 0.023382 0.017825 0.010277 0.017218 0.016574 0.010841 0.021020 0.018872 0.009210 0.017849 0.017224 0.009516 0.022749 0.018365 0.008979 0.016680 0.016773 0.009908 0.019861 0.018355 0.008540 0.016790 0.016449 0.007951 0.017573 0.013262 0.007364 0.013571 0.012978 0.007734 0.008408 0.018508 0.013683 0.007591 0.012329 0.026279 0.019095 0.011470 0.019734 0.018281 0.012202 0.025273 0.018166 0.010907 0.018971 0.017148 0.011514 0.024727 0.016555 0.010586 0.011577 0.024160 0.017589 0.010766 0.017514 0.017319 0.010823 0.021728 0.016488 0.009632 0.016689 0.015872 0.010608 0.020749 0.016089 0.009989 0.016563 0.015564 0.010250 0.020202 0.015912 0.009290 0.016371 0.015025 0.009425 0.018595 0.014765 0.008709 0.015280 0.014683 0.008967 0.020738 0.014694 0.008183 0.015129 0.014135 0.009827 0.018388 0.014447 0.008796 0.014814 0.014237 0.009037 0.019035 0.014023 0.007984 0.014257 0.013867 0.008316 0.017869 0.013863 0.007945 0.014330 0.012994 0.008258 0.008820 0.019038 0.014195 0.008213 0.015087 0.014297 0.007831 0.015960 0.012559 0.007714 0.009539 0.019940 0.015250 0.008963 0.015509 0.014777 0.009178 0.018576 0.014440 0.008064 0.014660 0.013721 0.007197 0.014176 0.006521 0.008284 0.016433 0.012420 0.007288 0.012462 0.011639 0.005801 0.005493 0.008489 0.010624 0.021586 0.016260 0.009853 0.016506 0.015708 0.010620 0.021549 0.015826 0.009615 0.016155 0.015189 0.009203 0.021082 0.015748 0.008829 0.014917 0.014113 0.008839 0.017766 0.014825 0.008351 0.013852 0.013061 0.008321 0.016726 0.014465 0.007423 0.013664 0.013484 0.007737 0.016323 0.013677 0.007776 0.013085 0.012586 0.008094 0.018002 0.013681 0.007665 0.013992 0.012297 0.007266 0.015196 0.011843 0.006952 0.011732 0.011910 0.007087 0.008150 0.017204 0.013747 0.007673 0.013855 0.012284 0.012162 0.024328 0.024774 0.011284 0.019210 0.017672 0.012162 0.023712 0.024382 0.010914 0.018757 0.017269 0.011807 0.023924 0.023218 0.010974 0.017948 0.016446 0.011406 0.024317 0.056620 0.010503 0.018258 0.017044 0.010330 0.023553 0.015728 0.009308 0.016302 0.014992 0.009214 0.022050 0.017423 0.008733 0.021153 0.015793 0.009294 0.022022 0.014866 0.009418 0.018827 0.015474 0.008382 0.024515 0.014452 0.008036 0.015348 0.013922 0.008371 0.023060 0.014364 0.007672 0.014729 0.013854 0.008077 0.022745 0.013865 0.008012 0.014585 0.013432 0.008225 0.020478 0.012980 0.007134 0.014413 0.012782 0.006554 0.014128 0.010920 0.006650 0.011469 0.009996 0.006489 0.013538 0.009897 0.006286 0.010362 0.010174 0.004706 0.005593 0.005163 0.004594 0.010229 0.023822 0.015675 0.009453 0.016023 0.015495 0.008450 0.019006 0.013006 0.007796 0.013937 0.012640 0.008043 0.016933 0.012863 0.007330 0.012837 0.011922 0.008625 0.017617 0.012518 0.007511 0.026686 0.013123 0.009816 0.024382 0.015702 0.009172 0.015636 0.014528 0.009921 0.021364 0.015255 0.008806 0.015319 0.014330 0.009936 0.021557 0.015217 0.009355 0.015467 0.014633 0.006974 0.014513 0.011018 0.006886 0.011567 0.012659 0.006213 0.005233 0.010046 0.006368 0.010850 0.011583 0.006478 0.005381 0.009216 0.006228 0.010814 0.011607 0.009677 0.021222 0.014855 0.008883 0.015360 0.014083 0.009128 0.021257 0.014993 0.008613 0.014805 0.013967 0.008691 0.019677 0.013771 0.008204 0.014089 0.013694 0.009717 0.021098 0.014623 0.009039 0.015105 0.014241 0.008906 0.019922 0.018645 0.008566 0.017492 0.015279 0.010276 0.022759 0.077068 0.009665 0.017793 0.016014 0.010234 0.021589 0.015676 0.009562 0.015847 0.014794 0.009316 0.019588 0.014322 0.008515 0.014714 0.013598 0.009014 0.019347 0.014110 0.008155 0.014186 0.013642 0.008891 0.019270 0.014268 0.008127 0.014822 0.013736 0.008827 0.018591 0.013848 0.007918 0.014287 0.013089 0.008605 0.017433 0.013233 0.007969 0.013626 0.013363 0.007718 0.016216 0.012529 0.007398 0.012853 0.011543 0.007848 0.016721 0.012550 0.007464 0.012681 0.011959 0.009577 0.021045 0.015014 0.008713 0.015163 0.014242 0.008747 0.018517 0.013588 0.007823 0.013587 0.012759 0.008493 0.017471 0.012565 0.007451 0.013506 0.012504 0.007968 0.016688 0.013022 0.007151 0.013360 0.012494 0.007799 0.016092 0.012716 0.006956 0.013083 0.012195 0.007750 0.016739 0.013107 0.007406 0.012771 0.012029 0.007601 0.015958 0.014066 0.007109 0.012629 0.011824 0.007764 0.015042 0.012597 0.006431 0.013403 0.011658 0.007654 0.014403 0.012255 0.006453 0.013111 0.011571 0.006679 0.013620 0.010559 0.006232 0.011300 0.009895 0.006396 0.005349 0.009525 0.005923 0.010417 0.009253 0.005619 0.005292 0.005078 0.005554 0.005024 0.010388 0.022815 0.016154 0.009573 0.016689 0.015532 0.009531 0.021424 0.015821 0.008765 0.023002 0.015394 0.007310 0.015880 0.011894 0.006933 0.011804 0.010831 0.006323 0.005116 0.010594 0.006470 0.009260 0.023320 0.015966 0.008620 0.028970 0.015193 0.008833 0.008819 0.017823 0.014112 0.008438 0.017912 0.014448 0.008201 0.007621 0.016027 0.012860 0.006679 0.015615 0.015179 0.006768 0.010299 0.022637 0.015993 0.009825 0.016618 0.015503 0.007059 0.011249 0.006939 0.011666 0.013560 0.006135 0.009837 0.006359 0.010680 0.023841 0.016329 0.009354 0.016685 0.015890 0.007617 0.015230 0.012994 0.006660 0.013987 0.012727 0.006466 0.005186 0.009806 0.005615 0.008133 0.017468 0.015698 0.007303 0.015987 0.014567 0.007543 0.009955 0.021268 0.018547 0.009657 0.015882 0.015402 0.009248 0.019811 0.060392 0.008508 0.025845 0.014429 0.009881 0.020700 0.018050 0.009223 0.016045 0.015273 0.009233 0.019210 0.064741 0.009081 0.017942 0.014449 0.008202 0.011297 0.025553 0.017718 0.010495 0.017862 0.017031 0.011491 0.025333 0.017347 0.010315 0.018229 0.016816 0.010263 0.022189 0.015681 0.009662 0.016208 0.014975 0.010517 0.022384 0.015845 0.010101 0.016109 0.015136 0.009734 0.022991 0.015257 0.009512 0.015826 0.014599 0.009136 0.019587 0.014368 0.008854 0.014836 0.013865 0.008854 0.018878 0.013551 0.007927 0.011127 0.024957 0.017081 0.010581 0.017471 0.016645 0.011335 0.025171 0.017443 0.010199 0.017207 0.016587 0.011640 0.023863 0.016788 0.010315 0.017306 0.016747 0.012558 0.022790 0.016240 0.009994 0.016585 0.016001 0.009244 0.019840 0.014527 0.008393 0.015713 0.014454 0.008185 0.015786 0.012500 0.007099 0.010594 0.021742 0.016454 0.010073 0.016922 0.015684 0.009287 0.020550 0.019815 0.008150 0.016826 0.015501 0.008614 0.017591 0.019627 0.007332 0.014388 0.014520 0.007389 0.015799 0.012190 0.007163 0.012554 0.011822 0.007475 0.006323 0.008980 0.019211 0.014144 0.008246 0.014196 0.013779 0.008343 0.016506 0.016898 0.007528 0.008610 0.019183 0.013484 0.008430 0.013992 0.013013 0.008728 0.018627 0.015422 0.008369 0.016447 0.014937 0.006971 0.006565 0.008694 0.018274 0.013637 0.008219 0.013600 0.013128 0.008272 0.018118 0.015151 0.007686 0.015544 0.014584 0.007499 0.006286 0.008208 0.016981 0.013197 0.007660 0.013220 0.012568 0.008834 0.017527 0.013638 0.007512 0.014050 0.013351 0.006550 0.006089 0.007679 0.015573 0.011643 0.007071 0.011737 0.011142 0.006128 0.005290 0.005545 0.012254 0.023778 0.024364 0.011106 0.018090 0.018099 0.011881 0.026028 0.017913 0.010739 0.018665 0.017094 0.011559 0.024233 0.043492 0.010528 0.018353 0.017072 0.011221 0.023460 0.041958 0.009848 0.016904 0.015839 0.010982 0.022582 0.010260 0.017248 0.015878 0.010741 0.021794 0.010007 0.016338 0.015570 0.010514 0.022137 0.129955 0.010041 0.016602 0.015727 0.008626 0.017476 0.012976 0.007621 0.013888 0.012759 0.008739 0.017056 0.013074 0.007760 0.013595 0.012600 0.007984 0.016207 0.012618 0.007341 0.013153 0.012152 0.006430 0.005437 0.010638 0.005812 0.007431 0.015012 0.011104 0.006414 0.011443 0.012189 0.005611 0.009186 0.005116 0.007669 0.016615 0.012519 0.007928 0.013897 0.012000 0.006823 0.014222 0.010501 0.006181 0.010881 0.011482 0.007739 0.016758 0.012548 0.007076 0.013293 0.011865 0.006518 0.005848 0.011348 0.006046 0.012399 0.012216 0.005455 0.004585 0.005654 0.004982 0.004836 0.005144 0.004614 0.005196 0.005019 0.005355 0.005119 0.005420 0.004843 0.004468 0.005142 0.004739 0.004824 0.010214 0.022016 0.092667 0.010160 0.019851 0.016151 0.010380 0.022178 0.199237 0.009869 0.021860 0.058295 0.010669 0.021824 0.172426 0.010037 0.020336 0.017562 0.009864 0.020350 0.303780 0.009200 0.019665 0.143622 0.009680 0.020350 0.355536 0.008955 0.020318 0.100585 0.010186 0.020471 0.015432 0.008846 0.015751 0.015010 0.006412 0.005170 0.010770 0.005742 0.011354 0.011498 0.005400 0.008342 0.005628 0.008397 0.008567 0.004675 0.004270 0.004255 0.007797 0.009708 0.021529 0.015313 0.009535 0.015712 0.014779 0.010536 0.023251 0.016149 0.009706 0.016421 0.015485 0.010673 0.021738 0.016294 0.009600 0.016757 0.015337 0.006104 0.005587 0.010232 0.021427 0.015938 0.009473 0.016395 0.015649 0.009809 0.020786 0.015139 0.008828 0.015544 0.014573 0.009522 0.020322 0.016710 0.008303 0.017728 0.016232 0.008307 0.016934 0.012898 0.007636 0.013555 0.012342 0.008475 0.017380 0.012545 0.007231 0.010052 0.022296 0.016676 0.009529 0.016481 0.015402 0.009949 0.021190 0.015376 0.008611 0.016068 0.014966 0.008837 0.011593 0.024764 0.042825 0.010706 0.018606 0.017442 0.011560 0.025347 0.140944 0.010876 0.018900 0.017400 0.011118 0.023627 0.159533 0.010172 0.018590 0.017290 0.011100 0.023980 0.019651 0.009997 0.019146 0.017925 0.009995 0.023805 0.024764 0.008901 0.011343 0.023583 0.035819 0.010650 0.017501 0.017144 0.010876 0.023423 0.016710 0.010046 0.017077 0.015988 0.010969 0.022854 0.016054 0.010448 0.017533 0.015604 0.010897 0.023265 0.016117 0.009699 0.016495 0.015401 0.010585 0.022393 0.134356 0.009664 0.017564 0.016380 0.010256 0.022060 0.142528 0.009212 0.017519 0.015914 0.010501 0.022978 0.454492 0.010123 0.017898 0.015881 0.010916 0.022383 0.019326 0.010353 0.017354 0.015987 0.010281 0.021832 0.017961 0.009345 0.018878 0.015576 0.008989 0.018176 0.013078 0.008405 0.013942 0.012714 0.008004 0.017105 0.112468 0.007414 0.016515 0.012952 0.011066 0.025638 0.017561 0.010406 0.018272 0.016803 0.010720 0.021993 0.016628 0.009713 0.017836 0.015869 0.008629 0.020279 0.015138 0.008058 0.010500 0.024061 0.016426 0.009785 0.016645 0.015877 0.010258 0.023296 0.016400 0.009918 0.016917 0.015435 0.007648 0.015108 0.012523 0.007032 0.013953 0.012271 0.007080 0.015504 0.011732 0.006436 0.011807 0.011697 0.008873 0.023085 0.013120 0.007697 0.013740 0.012823 0.007663 0.016583 0.012141 0.007025 0.012905 0.011629 0.007219 0.015709 0.012504 0.006693 0.012253 0.013874 0.006592 0.010025 0.006040 0.009739 0.009305 0.006250 0.009733 0.006263 0.009562 0.009094 0.005938 0.008678 0.005857 0.005948 0.009143 0.005726 0.009450 0.009381 0.005902 0.009389 0.006256 0.009849 0.009338 0.005961 0.008694 0.005306 0.009359 0.008288 0.005536 0.004795 0.006596 0.010216 0.006494 0.010350 0.010178 0.006546 0.009559 0.006233 0.010195 0.009525 0.005511 0.004960 0.006597 0.009590 0.005623 0.010115 0.009019 0.005327 0.004617 0.006821 0.009163 0.005839 0.009654 0.009261 0.005448 0.005383 0.004535 0.004833 0.005130 0.005043 0.005540 0.004988 0.013644 0.026433 0.012463 0.020090 0.019568 0.013427 0.027179 0.020619 0.012656 0.020966 0.020546 0.013329 0.026910 0.020171 0.011986 0.023217 0.019976 0.013610 0.026850 0.020123 0.011586 0.023099 0.019718 0.012358 0.025428 0.205636 0.011101 0.019128 0.017973 0.011888 0.024615 0.019722 0.010820 0.018104 0.018331 0.011896 0.024081 0.217268 0.010409 0.017516 0.017141 0.010560 0.021862 0.198535 0.009244 0.017406 0.015972 0.010769 0.022773 0.015956 0.009584 0.016542 0.015405 0.010202 0.020982 0.208012 0.009241 0.016893 0.015245 0.009836 0.020123 0.014873 0.008928 0.014887 0.014227 0.009194 0.020036 0.014456 0.008517 0.014784 0.013752 0.008204 0.016835 0.012325 0.007784 0.012711 0.012264 0.007725 0.015649 0.012413 0.007036 0.012666 0.011579 0.007957 0.015243 0.011757 0.006895 0.012485 0.011704 0.006937 0.014003 0.010626 0.006437 0.010932 0.010384 0.006647 0.014051 0.010446 0.006256 0.010714 0.010180 0.006573 0.008207 0.018095 0.007646 0.013354 0.012481 0.008989 0.017684 0.012879 0.008045 0.012945 0.012441 0.008066 0.007170 0.015361 0.012010 0.007098 0.009784 0.019908 0.014769 0.008547 0.015619 0.014694 0.009249 0.019747 0.017096 0.008499 0.016021 0.014730 0.008655 0.018653 0.013804 0.007466 0.016195 0.013167 0.007977 0.016957 0.012414 0.007483 0.013165 0.012837 0.008361 0.018037 0.013725 0.008166 0.016400 0.013482 0.007137 0.014405 0.011889 0.006657 0.012896 0.011301 0.006194 0.005162 0.009912 0.005797 0.006280 0.005051 0.010814 0.006301 0.011100 0.010283 0.006007 0.009042 0.005605 0.005988 0.009496 0.005669 0.009302 0.008530 0.005255 0.005311 0.013065 0.028054 0.020517 0.012186 0.019942 0.019236 0.013196 0.027411 0.019801 0.011939 0.019809 0.019323 0.012294 0.025412 0.018586 0.011525 0.018763 0.017776 0.012279 0.025005 0.018224 0.010873 0.018573 0.018096 0.012062 0.025305 0.017673 0.011009 0.018046 0.017323 0.011827 0.025719 0.017162 0.011091 0.018107 0.016839 0.011618 0.025165 0.017440 0.010514 0.017828 0.016658 0.010287 0.020646 0.009070 0.009790 0.018439 0.019299 0.011927 0.019458 0.027250 0.013739 0.019163 0.019813 0.011755 0.019239 0.026606 0.013390 0.073210 0.019136 0.019517 0.012134 0.025790 0.013440 0.058600 0.018321 0.019073 0.011127 0.023912 0.012700 0.019252 0.017794 0.019113 0.010865 0.262406 0.024737 0.012130 0.019379 0.017092 0.018286 0.011104 0.250073 0.024753 0.012287 0.016695 0.017888 0.010661 0.017809 0.026547 0.011397 0.017367 0.020010 0.010405 0.056360 0.023398 0.011858 0.016809 0.017705 0.010386 0.017492 0.017166 0.023469 0.011095 0.016156 0.017483 0.010580 0.017745 0.016435 0.024017 0.011656 0.015422 0.016347 0.009491 0.015926 0.022013 0.010485 0.019095 0.017401 0.018956 0.010933 0.025444 0.024231 0.012287 0.019230 0.017582 0.018519 0.011018 0.017665 0.026108 0.012218 0.016740 0.018013 0.010774 0.017438 0.025862 0.012191 0.016970 0.017834 0.010678 0.016562 0.026307 0.011403 0.017135 0.019037 0.010103 0.036717 0.085751 0.023849 0.011574 0.016119 0.017492 0.009913 0.017336 0.016738 0.024456 0.011007 0.016617 0.017279 0.009552 0.016691 0.022068 0.011096 0.015662 0.016527 0.009802 0.016081 0.022072 0.010842 0.015338 0.022038 0.008976 0.016808 0.019994 0.009590 0.015078 0.022908 0.008467 0.016094 0.019578 0.009576 0.017323 0.018216 0.011059 0.018726 0.025284 0.012363 0.017134 0.018299 0.011010 0.017714 0.025562 0.011858 0.016606 0.017776 0.010267 0.016987 0.024632 0.012017 0.016420 0.017908 0.010489 0.016946 0.024866 0.011723 0.015751 0.017420 0.010756 0.016955 0.024781 0.011673 0.016725 0.023482 0.010485 0.017598 0.025256 0.011068 0.015863 0.023827 0.009652 0.017635 0.024945 0.010355 0.014648 0.016779 0.009005 0.015373 0.023909 0.009928 0.014343 0.016504 0.008680 0.014960 0.020769 0.009517 0.013854 0.014693 0.008401 0.014389 0.020356 0.009211 0.012966 0.013855 0.008027 0.013244 0.018936 0.008795 0.013620 0.016395 0.008049 0.014306 0.018906 0.008981 0.014139 0.018811 0.007739 0.014369 0.018282 0.008624 0.011753 0.012882 0.007864 0.016994 0.008230 0.011672 0.012087 0.007036 0.016764 0.008041 0.006927 0.012176 0.013034 0.007143 0.012185 0.017085 0.007742 0.011210 0.012252 0.006874 0.011600 0.016856 0.007384 0.010467 0.011733 0.006721 0.011191 0.014932 0.007237 0.010210 0.010932 0.006445 0.010675 0.014719 0.006831 0.006388 0.009694 0.010617 0.005967 0.009938 0.005350 0.007079 0.006322 0.010138 0.011358 0.006379 0.010536 0.014608 0.006699 0.009732 0.010172 0.006234 0.009973 0.005027 0.006562 0.005654 0.011623 0.012313 0.006989 0.012414 0.016628 0.007873 0.014679 0.016266 0.008641 0.014699 0.019929 0.009621 0.013858 0.016317 0.008539 0.014804 0.020051 0.009228 0.013086 0.013920 0.008282 0.013628 0.017439 0.008630 0.011617 0.012693 0.007222 0.012305 0.016470 0.008225 0.010588 0.011437 0.006557 0.011241 0.014828 0.007711 0.011987 0.012398 0.007150 0.011986 0.016273 0.007529 0.010816 0.011464 0.006754 0.011221 0.015083 0.007404 0.009774 0.010814 0.006250 0.010594 0.013557 0.006714 0.017230 0.018729 0.011167 0.017688 0.024935 0.012344 0.016906 0.018524 0.010785 0.017334 0.025298 0.012078 0.016575 0.017881 0.010488 0.017101 0.025386 0.011861 0.016758 0.017071 0.010015 0.016817 0.025265 0.011719 0.015708 0.016960 0.009920 0.016992 0.023212 0.010977 0.014988 0.015974 0.008626 0.015757 0.027596 0.009619 0.014367 0.015481 0.008604 0.015002 0.026382 0.009751 0.014661 0.015170 0.009315 0.015044 0.020883 0.009649 0.012470 0.013197 0.007397 0.012548 0.017125 0.008113 0.014401 0.014874 0.006993 0.011466 0.012029 0.006988 0.011885 0.015201 0.007423 0.010368 0.011401 0.006317 0.011004 0.014742 0.006843 0.012854 0.014395 0.007759 0.013391 0.018260 0.008514 0.014598 0.014800 0.007560 0.014506 0.016902 0.008291 0.014269 0.014855 0.007395 0.014310 0.017200 0.008546 0.010756 0.009718 0.010356 0.006341 0.010449 0.005192 0.006438 0.008551 0.009439 0.005455 0.009270 0.006046 0.008343 0.008665 0.005534 0.005977 0.005098 0.009203 0.013568 0.006306 0.009796 0.014508 0.016120 0.009218 0.015314 0.023940 0.010633 0.014206 0.015199 0.009071 0.014980 0.023327 0.009886 0.013026 0.014141 0.008174 0.013946 0.018535 0.008632 0.012873 0.013793 0.007745 0.013049 0.018083 0.008708 0.010432 0.011441 0.006646 0.010750 0.014909 0.007101 0.010594 0.010968 0.006441 0.006973 0.005718 0.009859 0.011038 0.011978 0.006883 0.011960 0.016561 0.007680 0.004853 0.004988 0.005655 0.010039 0.010209 0.010972 0.006102 0.010630 0.014578 0.015101 0.008833 0.014674 0.023681 0.010265 0.014514 0.016003 0.008902 0.014923 0.023296 0.009589 0.013664 0.014432 0.008499 0.014008 0.022019 0.009349 0.010391 0.011421 0.007111 0.011086 0.015345 0.007100 0.010056 0.010879 0.006380 0.010568 0.014134 0.006699 0.010861 0.009096 0.018435 0.014664 0.013148 0.008232 0.013670 0.008825 0.018027 0.017100 0.013739 0.008504 0.016030 0.008297 0.018187 0.018194 0.013208 0.007714 0.015699 0.006192 0.006145 0.008091 0.017236 0.019569 0.013548 0.007539 0.017185 0.010203 0.007284 0.011376 0.010415 0.024971 0.017023 0.015488 0.009272 0.016140 0.010565 0.024798 0.017120 0.015822 0.009734 0.016366 0.009980 0.023751 0.016009 0.015042 0.009273 0.015707 0.010029 0.024060 0.015805 0.015009 0.009105 0.015712 0.007348 0.014857 0.011406 0.010999 0.006345 0.009575 0.022306 0.016512 0.014698 0.008749 0.015312 0.009255 0.019280 0.016712 0.014422 0.008760 0.015782 0.008961 0.020364 0.023107 0.017212 0.007967 0.018506 0.008782 0.019952 0.025048 0.016693 0.008205 0.018202 0.008466 0.018785 0.022488 0.016506 0.007718 0.015825 0.008567 0.018557 0.022399 0.016360 0.007834 0.015498 0.008151 0.017821 0.021656 0.015835 0.007746 0.015305 0.007795 0.017199 0.014514 0.014336 0.007280 0.013692 0.007717 0.016967 0.013861 0.013330 0.007389 0.013502 0.007815 0.016161 0.014229 0.013154 0.007018 0.013626 0.007463 0.015047 0.012979 0.012630 0.007483 0.012600 0.007008 0.014896 0.012863 0.012256 0.006620 0.012128 0.007049 0.014528 0.012752 0.011999 0.007460 0.012431 0.008226 0.008564 0.017630 0.018634 0.012803 0.008094 0.013008 0.008452 0.017103 0.017566 0.012367 0.007272 0.012274 0.011396 0.009196 0.023489 0.017559 0.014531 0.008840 0.015305 0.009005 0.020989 0.018292 0.015298 0.008283 0.015481 0.008873 0.020576 0.015594 0.014733 0.008244 0.014865 0.006832 0.011266 0.010985 0.024948 0.017767 0.016416 0.010875 0.017191 0.010460 0.024703 0.018599 0.016683 0.009858 0.017930 0.009292 0.019677 0.022010 0.014933 0.008312 0.018612 0.006612 0.005498 0.010568 0.010239 0.006290 0.010349 0.011005 0.024219 0.017579 0.016132 0.009867 0.016308 0.010063 0.022973 0.017905 0.015731 0.009624 0.017376 0.008787 0.023447 0.015085 0.007767 0.017916 0.008495 0.018399 0.014886 0.012763 0.007573 0.017222 0.006741 0.005268 0.010814 0.010269 0.006250 0.010344 0.006716 0.010725 0.009922 0.005804 0.010056 0.006220 0.010524 0.006634 0.010557 0.008274 0.021615 0.014931 0.007606 0.019320 0.008103 0.015132 0.012885 0.007369 0.013827 0.007534 0.013589 0.012485 0.007000 0.012848 0.007415 0.013038 0.012435 0.007142 0.012584 0.007038 0.011667 0.011377 0.006772 0.011283 0.007129 0.010692 0.010965 0.006517 0.010694 0.007704 0.020195 0.014237 0.007198 0.014241 0.007724 0.014501 0.012965 0.007035 0.013440 0.007403 0.012563 0.011845 0.006773 0.013282 0.006375 0.011205 0.007781 0.020068 0.013880 0.007156 0.012638 0.007192 0.012556 0.010755 0.007013 0.014513 0.005210 0.011059 0.010362 0.023180 0.017877 0.016003 0.009317 0.017351 0.009690 0.023131 0.022056 0.015681 0.008977 0.017176 0.008996 0.020353 0.016049 0.013666 0.008387 0.016733 0.005840 0.008913 0.008277 0.005584 0.014801 0.008923 0.015658 0.017654 0.021867 0.009301 0.013850 0.007811 0.015214 0.017566 0.018248 0.008623 0.017587 0.009984 0.017018 0.018443 0.025332 0.011567 0.017212 0.009484 0.016862 0.017282 0.023036 0.010437 0.016605 0.009191 0.015757 0.016842 0.022888 0.009968 0.012529 0.007539 0.012399 0.017564 0.017161 0.008154 0.012076 0.007709 0.012245 0.015853 0.016693 0.008429 0.011361 0.007316 0.012163 0.011938 0.015242 0.007350 0.015359 0.007028 0.011274 0.012647 0.015425 0.007266 0.006859 0.010867 0.012176 0.015146 0.007275 0.006571 0.010696 0.011885 0.014727 0.007231 0.011237 0.006681 0.011170 0.011861 0.015334 0.007266 0.013868 0.006756 0.010960 0.012129 0.015082 0.007054 0.006556 0.010812 0.011633 0.015024 0.007368 0.006705 0.010961 0.011846 0.014773 0.006864 0.006153 0.012285 0.007245 0.011998 0.016836 0.016484 0.007704 0.012033 0.007362 0.011950 0.014763 0.016090 0.008174 0.011318 0.006843 0.011237 0.011745 0.014623 0.006936 0.013629 0.006649 0.010750 0.012315 0.014491 0.007264 0.006992 0.010936 0.011826 0.015091 0.007159 0.006523 0.010694 0.011318 0.013874 0.006920 0.005927 0.010244 0.011717 0.007149 0.012252 0.017801 0.015904 0.008054 0.014998 0.006688 0.011309 0.012959 0.014558 0.007068 0.014269 0.006463 0.010328 0.011859 0.014650 0.006863 0.006137 0.010019 0.010429 0.005457 0.006610 0.005701 0.008824 0.009579 0.005416 0.005899 0.015456 0.009001 0.014791 0.015903 0.021984 0.009959 0.015827 0.009230 0.015149 0.015825 0.020436 0.009917 0.013247 0.007474 0.015073 0.009048 0.014410 0.015512 0.021303 0.009686 0.015698 0.008856 0.014575 0.015379 0.020201 0.009654 0.010846 0.014933 0.008745 0.014540 0.015300 0.019459 0.009451 0.014454 0.008663 0.014135 0.014645 0.019720 0.009409 0.013551 0.008196 0.013513 0.013787 0.019177 0.008890 0.013125 0.007806 0.012613 0.013468 0.018386 0.008795 0.012677 0.007159 0.012021 0.012987 0.017262 0.007988 0.012456 0.007589 0.011748 0.013126 0.016977 0.007796 0.007169 0.012931 0.017871 0.016655 0.007635 0.052945 0.007191 0.013324 0.019692 0.016023 0.007767 0.006337 0.006659 0.013347 0.008369 0.013340 0.014299 0.019166 0.008868 0.013259 0.008332 0.012471 0.013669 0.018225 0.008854 0.012813 0.007729 0.012514 0.013806 0.017594 0.008877 0.010811 0.014208 0.007990 0.013087 0.020721 0.017873 0.009100 0.010513 0.006400 0.009761 0.010886 0.013667 0.006588 0.006378 0.009447 0.010225 0.006347 0.006051 0.006055 0.010217 0.011456 0.006913 0.010747 0.019021 0.007851 0.017151 0.010363 0.017427 0.027986 0.024584 0.007679 0.011529 0.018303 0.007775 0.018985 0.016892 0.007079 0.009904 0.017718 0.030458 0.025369 0.011579 0.007299 0.007469 0.017436 0.016597 0.009732 0.018095 0.024269 0.007403 0.022975 0.011144 0.006982 0.016115 0.009546 0.016786 0.023330 0.023026 0.011076 0.007321 0.007248 0.018572 0.010240 0.016801 0.023731 0.026037 0.010610 0.006821 0.015404 0.008627 0.014488 0.015899 0.020939 0.010044 0.013606 0.007981 0.013427 0.014904 0.018558 0.008373 0.012615 0.007529 0.012984 0.014271 0.018107 0.008006 0.010585 0.006670 0.014275 0.007417 0.014839 0.016786 0.018110 0.008405 0.012113 0.007001 0.017070 0.010218 0.016845 0.020221 0.024732 0.011087 0.016087 0.009500 0.017915 0.021061 0.025687 0.010981 0.015506 0.009871 0.017600 0.021098 0.021891 0.010633 0.015439 0.009585 0.016148 0.019636 0.022138 0.010156 0.011403 0.007421 0.015406 0.009317 0.017395 0.021170 0.021934 0.010023 0.015051 0.008789 0.015714 0.019129 0.021966 0.009982 0.010106 0.006582 0.019690 0.008904 0.016207 0.022112 0.024632 0.009965 0.013185 0.008123 0.015218 0.027343 0.018341 0.008789 0.015808 0.009592 0.018156 0.021523 0.022858 0.011232 0.014809 0.008735 0.014309 0.015103 0.019931 0.009556 0.010314 0.015459 0.009698 0.017901 0.023948 0.022205 0.010818 0.014435 0.008237 0.013805 0.014706 0.021506 0.009099 0.015459 0.009092 0.015756 0.019276 0.022338 0.010467 0.015480 0.009325 0.016947 0.020176 0.020728 0.010219 0.011353 0.006597 0.011221 0.011462 0.014910 0.007794 0.011858 0.014472 0.008619 0.014162 0.015626 0.019783 0.009354 0.014805 0.007848 0.013941 0.017623 0.018709 0.008929 0.013273 0.007986 0.014638 0.020138 0.017431 0.008748 0.011468 0.007326 0.012246 0.012322 0.014461 0.007094 0.011610 0.011720 0.007053 0.011387 0.012703 0.016714 0.007882 0.015884 0.009394 0.015773 0.016671 0.025210 0.010825 0.015970 0.009303 0.015378 0.016593 0.025010 0.010661 0.015153 0.008820 0.014498 0.015139 0.021657 0.009847 0.014811 0.008631 0.014171 0.015297 0.021347 0.009489 0.012197 0.007182 0.011574 0.012669 0.016470 0.008123 0.010795 0.006747 0.010506 0.011514 0.014910 0.007502 0.010693 0.006511 0.010594 0.014034 0.008389 0.013798 0.014681 0.019425 0.009141 0.011808 0.006991 0.010305 0.006491 0.011221 0.019106 0.017676 0.010792 0.019753 0.016562 0.018357 0.025934 0.019769 0.011916 0.007651 0.019105 0.016428 0.010065 0.016975 0.020606 0.024565 0.011596 0.019421 0.007515 0.013525 0.019833 0.017727 0.007785 0.015026 0.008965 0.016292 0.016235 0.019912 0.009796 0.014964 0.008837 0.015678 0.015887 0.019400 0.009649 0.014613 0.008453 0.014747 0.015386 0.019432 0.009213 0.013955 0.007462 0.013416 0.014242 0.017186 0.008085 0.013265 0.007658 0.012770 0.013550 0.016423 0.008049 0.012158 0.006949 0.011762 0.012414 0.015027 0.007505 0.011404 0.012524 0.006934 0.012137 0.013085 0.015548 0.007848 0.009465 0.006118 0.010352 0.005301 0.005534 0.011224 0.017268 0.010497 0.016969 0.017932 0.024827 0.011732 0.012481 0.007662 0.012139 0.013206 0.016783 0.007858 0.011390 0.006891 0.011223 0.012069 0.015780 0.007486 0.010212 0.006200 0.009978 0.010622 0.005482 0.006975 0.016836 0.010549 0.016556 0.018188 0.024797 0.011643 0.016604 0.010720 0.015815 0.017730 0.026060 0.011599 0.015001 0.008992 0.014224 0.015716 0.021303 0.009989 0.014983 0.008503 0.014380 0.015002 0.020962 0.009159 0.014206 0.008191 0.014245 0.017333 0.018737 0.008858 0.013462 0.007895 0.014689 0.014638 0.018238 0.008196 0.012820 0.007225 0.012855 0.013052 0.016671 0.008325 0.010604 0.006559 0.010307 0.005936 0.016790 0.010310 0.016641 0.017451 0.024511 0.011875 0.016863 0.010155 0.016206 0.017199 0.023850 0.011653 0.016423 0.010048 0.015869 0.016670 0.024045 0.011060 0.015784 0.009157 0.014945 0.015336 0.023055 0.010245 0.010078 0.005749 0.015359 0.009349 0.015334 0.016445 0.023581 0.010356 0.009520 0.005925 0.010510 0.023791 0.009832 0.017380 0.030455 0.024647 0.011391 0.013282 0.008620 0.012965 0.013736 0.019088 0.009109 0.021397 0.009923 0.017250 0.022401 0.023710 0.011181 0.013555 0.007969 0.013216 0.013485 0.019195 0.008882 0.017597 0.010014 0.016082 0.017773 0.022862 0.010961 0.017342 0.009838 0.015736 0.017011 0.022533 0.010566 0.017193 0.009263 0.015233 0.016807 0.022300 0.010512 0.014118 0.008365 0.013887 0.014393 0.020421 0.009206 0.009765 0.005544 0.010372 0.016906 0.009325 0.015129 0.016162 0.021933 0.010304 0.013186 0.008034 0.012966 0.013620 0.018420 0.008830 0.013053 0.007779 0.012585 0.013745 0.020246 0.008701 0.012093 0.007440 0.011949 0.012741 0.008375 0.011115 0.006978 0.010824 0.011109 0.006946 0.012954 0.007827 0.013301 0.013823 0.017935 0.008582 0.012886 0.007595 0.012373 0.013418 0.018063 0.008367 0.011467 0.006074 0.011010 0.011954 0.006815 0.010969 0.016868 0.010007 0.016323 0.016779 0.011473 0.016352 0.009463 0.015339 0.017052 0.023021 0.010629 0.011858 0.006753 0.011428 0.012148 0.015826 0.007066 0.010399 0.006275 0.009591 0.010304 0.006438 0.012340 0.015137 0.009289 0.014983 0.015720 0.022424 0.010321 0.006982 0.010778 0.011418 0.006899 0.011579 0.006141 0.009592 0.009618 0.005749 0.011212 0.006929 0.010476 0.010652 0.006616 0.014290 0.011219 0.006617 0.009859 0.010070 0.006059 0.005180 0.010597 0.006302 0.009961 0.009536 0.006053 0.010221

total iso time: 82.395224
===============================================================================

print the content of the cache: 
c id: 5, level: 29, literals: 13, clauses: 10, size: 23, afterHit: 0, saved: 179, hits: 0, levelHits: [], isos: 63, levelIsos: [24,23,22,30,8,6,13,12,7,8,12,6,7,7,6,8,8,7,7,5,13,7,6,7,10,11,10,9,13,12,12,12,11,13,6,9,6,6,6,4,3,5,4,9,5,17,11,12,9,7,5,5,3,7,6,5,6,3,3,3,2,2,2]
c id: 1, level: 40, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 364, hits: 0, levelHits: [], isos: 152, levelIsos: [24,21,24,21,17,19,17,19,15,16,15,18,19,15,18,8,15,15,16,15,15,11,12,12,13,12,23,22,26,21,25,19,14,15,13,10,11,7,7,6,12,11,11,7,7,12,9,9,9,6,6,6,6,4,13,9,7,6,12,12,11,7,7,9,4,13,11,11,8,12,11,7,7,7,6,13,9,7,7,5,10,8,8,14,13,12,8,8,7,6,6,5,7,4,4,5,5,5,3,10,10,13,5,7,6,3,5,4,3,3,2,13,10,9,8,7,13,13,13,13,9,6,5,9,6,5,7,7,11,11,4,10,9,6,2,9,7,5,5,3,2,1,3,2,5,4,4,4,5,4,1,1]

restarts              : 1
conflicts             : 826            (601 /sec)
decisions             : 2401           (0.00 % random) (1747 /sec)
propagations          : 15532          (11300 /sec)
conflict literals     : 3586           (18.20 % deleted)
components created    : 1311
components cached     : 82
components hit        : 0
isomorphisms          : 215
conflicts saved       : 543
conflicts remaining   : 498
glasgow calls         : 5783
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 1.37452 s

UNSATISFIABLE
