SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  K;lTd ] HOL-Quickcheck_Examples:threads=6elapsed=64.202cpu=138.632gc=5.504factor=2.167zXZִF! _F0]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl"|0}ҩ6"o!@IL(%/dq5EmڷT-'$`j71!hyR=e*LO? .Gh +=)uDQMkb-i?D ?[H{h.mCEP0Z5}`kٌQ"*ZGIKs8+RKtϔkVS1*;@7"dsU%h"9&Ɛ1.uv=TԽm蔾jN %ZV+(ּpO]qDΒǸbPB6r;ڡMCP_/ևi2|d L3&q>dqE$6t ; HOL-Quickcheck_Examples~.IW{4!s mB692ANfAzM} ?P4l IlW~YI;ɳصOӺ" FμwP5ލ3I+*ҧ!WM[9vJ,#d 8^`>1 0X(%7 c_2',7B~f+>(Vo,˶^&< zT@6ڼķYǔ" ÑЊڧ%yàibOk&K?Xs'[4ዝQ2w#5''[B I9˶UIgF 0pRW]Ibqq_usuq  !U IM:[ne vз B[N{@h<Ҩ#c9n맨0uq$ {<&VfnYZK@Tg;@Z(sMո(JejΜ>_6)-ɝ"(0O1Dh%\L&]"qOk %a|N8}IZHa3 ՙM;gIJ~A/^0Džx?7tֶ#rp0Ͱi}  {mM N4zekN6+"0duL6 :=&[s ;fJ]\{v1;Sj=\3 ʨ_8b+c`.:}~Tf^C$D(qwJ#ĨS6r׉CW tlBW& )SD&pr\)'ȈmAAv9P9Ȇ&k]"fu) [gbwi_n}Ȼ u**;~`ezTL9yW>ֆ"LrYiwxD ߍVɜ],>Ij' w֌T?3z})SAW(~c q..XAk ,zc9Cbv%fC bS&M޿픱a%5&ds-9WfkA|ɱG<+ 86urʲ4 {* | 8)/tC=}=rKCNgrh@AE'8Acr`WmE?B;J@}ō *K}b ^k֏yF{|zmآ!`-2FEF0Nl9brc 斋볁i;o|dwHǎ lU.ALHP$i0bg|zoͨ>^MqWAC⏘ca7_iէɓX Pvh=;xI0|EG;=9P+K~WFI-(63=o֬҃`Q?tot.GED Ml_̗lx ˙7Hpwgi#2dD{~ -`hJ`ܯ2 ³Sk}龜0Ē(`Fm_}2)i**{Kwve>yLTt%S Oo"s=Il}A\U!]//~zUU%x6<ŜY} X~!VGBQCfGL, *raRh3ڵb|VYѬ-=!]^,c֡2n)1>gVB>SFb9q|xwypUw4H] v}{yY_K7vzCf4As.׈C0Ҕ36uK>&YaMq9kBdAlhBQ97.Ȟ>^*ZR5 _|ں{+VV%tm8)vTnEk~rz仟*;Ѷ? M9"IPۓ0[Ǫ{4RMK4;#j3HEHDR]D3?Ž"bIlaL7>Y3k\a'Al@ܩ/g:rv71޼'v6MJ+ 6 Ö|͍i g;Ž!5(:٢DP$/0x4"9=\ڶܔx_q)T"#i[&r7I9I!HT6QVu!ޛ-YT+h +qH swf)x㨲zW *+`}7q/*=~ю =Lf E߅5=_ѿ9MG<'~MT4P rP{.Ĝ߂I5+gYZ4d5d6d5bf0cdc42dd9c82f1c4bc12d8e5d4e1b872bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 11a74db1d2d9d127e73040b1139a301c3d720f1b