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 \ ,T ]]HOLCF:threads=2elapsed=16.863cpu=31.804gc=2.172factor=1.897zXZִF! ]N]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H~$p2y(oN\_9JÐxzq8>XHicY6kxֳpKUM4VJ( '=-.9bFǴ=>LW ϏPurBxfJ hЪ@w%eɘ({Dk &MƻA9jvRg|GqaQ,o^a]3d MT 09(PQ{]djZ!0f.$!q+3}wI|$>8<9foSeF[`wEi%`􉛢YD.!jK@}ĝWn!/5ʿ̰TBެLO{,1$=jYim@/,CY.g8f8WvqSF}PS:^&D'ɹ4I0ђ!SӇɇ9S2]woANO<ۇ G},I^G==]|bT1<;'Z<:;Ffv`miorpf,f/GuӨ1nlۑXݻ9N uMe1x`¤A@m"ͮ=Є췯Qѵ~ j/"cj%P5f - `wʖZ>kwW\ 2o=w? oݒꠚTs };$| A>]!CV?vTOm76(q%"ÓQ>[(uz_]b2n]=vQ]fC꧓!%mˊCI;%D(썊=ݫ<;PJp9WR æ0)*דxă1)ԦKiH㉠2$"nlI+$oۏ:pW^( 4WhhgYZ7zXZִF! `|"]ŗXi%6SLU6b*bC5+vChGmz vH.[wCCl"n 3sI9f)@n} 4pܪ[h|}9IDѿFQ.Vl{5]j-_?x0P 8}#%Յ&k/STZ:SUyo*^况Mؖ8U[ЉeA pH(wTcKf+ 7>ށHFzI`B+ kx1np%*Q9X'ߨx^G&VNڷbwZj6aXxf ? H)_)k ޓ~Dw둥 v[.oyx5`EY ~G;7y%^w4P=ٿ~o8_7eݕctK?d.jıޒޕW||<`Tؗͬ|.= SOקlӸ'!d'uPfgcGgF jQ#-΂6rpr|xQǮpZe6@X6'v{ O[h0av&NԔP̾ٮ3R[(m /7Sl,V35B (D r-S5{>dzC`sedj-Ec]3*p םUgYZ1bcf8296f24ca9c33e664b219b04fe96deab2162e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f02662119c424e3030c6017a821a6c2b6c050602b  HOLCF