SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 vv \44 ]/]HOLCF:threads=6elapsed=12.788cpu=41.264gc=2.720factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCM:P_g ԯ(m{mk:_3A[b,"s;N#Y7N>$QSa>"K2mެ-'mpI)qd%gOH~^?htO!]߷SJ&( "'F7]О]{> V{ 2n'5yvdK~ /ѳO#Xޝ5g\L9YGX^:<ǬK(h^}?@}=';&Jݗ8\#+H sz>ghioye61 dZ"SA\hc 5PԔ[mfIן))dLUp^8wzǬߑ3<8b* Uȃk +NɴeWgiem$km3O4֎tB@ۉ8+I^2LfݦiAh9uaQ8 i `-`yE~ MDQL8[[ NG,[z ~'&oYc6+ʔsRT:+FrZs00(w=֞^2 T&jgYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]k1{ai_2K5WsAܸ~{OHχxڞg AB1DC=$\)S!Y&!CzE+FXAKi޻ܘ-Cep•hxEhHlf9Њt9nCiraƘh7xH{cadc{ti(_e*Y5:,l[iO^KE.EHYiYKbd1 ܚ}!C}sHkEGl/*MaofE麪W~&S<D[Q;NT]"_~I5E.ڞYg7 ?u TѮ.J* dE 9jh Ȫ )?( 1a޴ƻe &wM.~%hf1([Fwk|ɪҞo<1B}*yKK^eŀzTչ\md |߈;iϗFG@Tv셹js tgyk{ېM&6\ F"fWgYZ7zXZִF! E]ŗXi%Jӛo>$_8?h=F3D5E2Bl} ^+߾ި6em^CKN$w)3JmJd:LSᇍoX}eKSI "!{*If Ry6zcϯƕu&ApYT.aus7Z7%{H5 Lsqׂ: O*,1R2jQfNη޵[UȍYo+CDPin8ATZ̊sv痪ٍNFjϊ𣿽"p#_ZJaʙCspiusǡ|#AT=Ώ)6it O(%}fmBr #$ ٳf{`DdWkƱ`Ãm`PbQV,Lf4spfŪI; UTAدwnA㣮oAUv9v UڗWIԾ`*L{׃ BxT mIwڣ/41OrJv_{k>CX&+z=h.u_n9@}Mݫ1mKҿpt_BX:UT7y9 /:9QgeD0=ƫ:&l7ɞ7Z4APUm/J3Q iG-}YԠFuӣJw~n̕4О^It4LfϏ3ɊR T,X蚾qB|%Df^ A?EI3VIg%"H2O>=XN [e!͍ jI7b%a!+uk ho?{̋>J TeW5jiO~ s7ܩ$,NW3Sէݯ+Yn멚nI?b-U8koǥzI*8⪜VR6.c'#ۙIf{Ƴlَ+k>2VgGs تZUV3p! 喩OM7SXAiV8H;-[+ѥr(]=N^K 13t誂6I!'qրm3F4$!LV*^?.ZUd忖:L"+dTnQGӖo_q@OG4G:Ę.xءyJY ܓ?J ȭl=(Cb[msU~E\`>1sM&rp.7Li0~Qݕ\L+5 %Ǿ}}9^gmX?!3;üsK9[źL\Bxaz­i+Ζ1@Kj>ybGg(01#IC`(K9`7h_V\Z<׈InhI sgb<ʀgpHWaT>&'\f!- (gYZ02b87ea364415040357b71192cf2b424cea7c09a42a32478847503f3f85ef33601da5d3576da9156 89ede7dc0b82d7f6167cc537096edf93d9e4a1bb06e24a9bee4bbd5ab17465ebdda7c576acff8d1a  HOLCF