SQLite format 3@ .0:  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 g ,< ]/]HOLCF:threads=6elapsed=11.483cpu=36.828gc=1.780factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֖;P=p&9h4UdeNlYXFb}_ bBH:~4sYY`=z|L;a,}:abqǞln%$*-^a@M Wgr߆TJoeF2]2!g rAW ?5-R:oWȾk HyUKo=䃒n 1>²Y^ABH 7%!ά\N8ɉ e#/$1 ˩"uy205@,mHGͦm #VˈnN% ?/AоxM|i $=Տb]V0v~i7^ٖ=.~ܷ!S&:F !?6l9ʺDxBm5 !qaHG-ݛm[JF&=W[7~q "Q j%4>o.`|߆S$n0jvH%oÚt_"leVo+9\dm<x{QkXUu`҄e$w̷+-;c]i9hfgmA&A?P& -(IE= 5Ncb!0gYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]X Po?baf}Obs;CgS}ުo,. 25MՏ:]!ȕ N}@9ؕ#Ce5%wB3&\䜏*u!.M(,f?AxH3Baxa2`ȹU"F;29 kJJޗeXļ5c4o P΄H~G0cZi؎*ujtfl4:`9Xi2C9ejOxxQ HTOAPNdLb`ټ>R#^Hf&P)s7E)bfQ/m=ЛK*q6V۔nVT^?YNjT_+^*e Ew#uwmvG4)9u1+gYZ7zXZִF! @@]ŗXi%#8 k^hNͺDǝ})XƢF)]v/2xbXqa8XWzU[N%- M,pQ26S;EMWiH(Dww/ښt~GeІϬ߻c!3N\?+/3ʑaq|c%U;v>󐘵:Ј?擢w/ru%aٞh1ǫK!*(R_) =8_ilR]7{#IeR~uWu5TJAm\9 [l<< o9e, Zʄ'J0xl򴝜PbSnmi]ô~23Q/VGq̐'Nغ+4*μvaxb`9n%G\x-齼AWԱ.g"/~ ޜo@Yǜ7:jo%,<N!p`U׃{6zQܰ"L ,ֺ wzIiLfˌiqC`jUèZѪ0Ȥ%ƜK*_^t*B<4 :Λ%ٚTiA/p+{_~>ޘ*6l1T\6]#[c B6#"9 n7\XM h7a^D00r~H>*tӞL`ؐT CGgrH6=bnrzڲ hY@&RDqg5Z똙]}tH$g+ ,CȠl- VK,2UF A1_ߊ8p{е|\3r6 {6Ɍ6iFm39e6o  VS6j$r3(.,%RL2b`v/y17Yyp>MP. KӍQ1h]J݃>?btmA_+a-^[m9]Ugd /xސ\sz$iM}羔ڂR$Ft/ G.NILSg; t4a҆ϰwB3S<@i<UVaKf~=XbDMy'<:HRF%F XձgYZ155cf7dade729cb299bc129d593c882737cf0453202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d85071a654d3020ba1f4ae0efca4c210388cd3f07  HOLCF