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' t$l ]/]HOLCF:threads=6elapsed=12.783cpu=40.668gc=2.756factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ԧecɥ"ڼ(!(ب$^-x-8隮bJ#|&>E^3.;G>޽n-юs:,MUhZb+]h3lAD#گA'4.iWKLW[=gϧC(&`F S [` <xLN+ebm&GzyFt2⪩apx^Ev!T61t[Z8$Ӈɇ9S2]mUOiBT5YQ7 "-'!eߝWtH jrp֝~?cWv?MTi'|fY==g>IS3N^R(MsR@Y R!Uhy&£ԠÏ5UJbm>xz`$ͰJܼswRC4Ityi@C钁Tss$::+ T3D8sl 'v;աPpc4|4Z}7gz?`՞S 4v2 /W+PiB׼0xxr)BiD.BKf &CxUrH#9$=Y% 7i2]7U@^675{(,_zP'MNoHݬ`^kPiFzƞZ_==rݳA[,k?Mg0ng~ pb$[Awq]yoY] Gvjp-N~ź h]ncui{}&y Lc1*<¦mkɠ0aRtG0 KOMULAR.KI-)vZ;#w9b+4z RkTxn!-7!Wu~$%Y)$& H@_ٓvD(TO:dSUQN[:M]r惙:LPI 5˕0*C]4_˼BLfU{ 8fd?μI,g:urbaB|n>`5E.80)צ;ZHMeHrW9eĝnRlה8=y˶6%bI;{A5Q= ЪbP\ ;rKݶcP ntf}AjC'óPҊtSytOÑ%rC3o>@~5 "UowŞM c5=t ؆fxoBБ+c+rO|Ecoo7%AQ'Anw:ԗ7=Fq'Sܰ{D 7oH:zNUd@du }BaJ˔5xjP0?H}&Ȱ!f_ (~:[#c.LwI&鈱YãP("8eS3ҵ8A6A#c6pE*\Et|ǥ)s i7.yDnBҝ=ʻppNYjh;Ýd#vnPOܑa*%{ XuW8]ɺq5. V+.31!Xf bcI+:fn7SIXhIz>2XV@yM/GԏّqS]̚nI*geǝcE-deSb$BXw+)؋oTީK&a*pV*QoTM`ZӯɢTYF1,+()5Pa-?pQ*[~+?"~/U 6]ż؇k.*M*?(Nd>m묺!|bm.YB6kDAlbvtge(-1SZe2+sPmSV]!#MnBy%sadB4{>z1jv]da?(KL} H:gYZa729f8c18db4879a0037d9c4f29b29748eb60f09fe1281de5d7780f272aca589ea23aa21095812b5 b0fbbd38fa9ab2d8baffe811a6d340106ce500244cf1c73514e65204ff6eb7244c44d10e229fe297  HOLCF