SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 !1 Tl ] HOL-Imperative_HOL:threads=6elapsed=35.480cpu=71.016gc=2.204factor=2.007zXZִF! /]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ8 qN{ n\ޡl,kc[JG(ñ{ba.4gdSlîeE9)[ԩmk'&i"䲽Zk_K]6Ϫb' mD^V-K%:gӓrYVإb=Ե%:»!”XKa16|6v/ώe:l7f5aHR>Y~x?L4}Kѡ#,%dnЎ66Z)#nq?Qg pe=MY׹qTEM«(-J3b}7QFPz=.9N5DBw|~t7woj[EߴYpx g FpuoW1–9H*l%{;Zz,X]\ĒLq & m 9bh8$×@I32i_+ILƭ6zF\u r .)H5epq;nK#-{ E /^ $hâU]=oപVG56Q͡;j/_2 sNV?K0eÚTNQy 91#"Q@!nS8]xN;2kM2S׋)3(/}eS 5-CitX"|m@ߠc` }Ir ~-݅qSYqCNTxm c,uhPpӶbE օ\*զ14UU@9w@ϓ_4Pg)oM᭝ʵK3Bf헭~X!~Dfs*h&ۯ+wkP~2lnjG]u޳ iJFB@r 5y{^Fwؤ@;ңτ;̏!&W(] 0wzhqV3MZ?ySJW$' MD5d6R-D:ɡUS5 4ԛgYZ7zXZִF! ,o]ŗXi%@j!SCnΫPzD{~g3vM.,<Y? y =\K[#TwH@K Y^)~Pw8x)<Z՟wщc@ܸDžz)w6F}I(Ѻt:c9U~H بbbU}%2&O"efc:Ċk2Cmoˡ*4 Tpk(bF$mFqtmDݐ -tJ#(ؘ-:!]>zy5؀+>i,Mt ~X2l:̠>0rs6s2r{Χquh-?ֶewñ?:ռ}+wǴ( HGUS{5X|mǰ'y1qZ~^Ωʵ%硍סh@O|{ҁvg;2Uzp//yױ/ϴghmM# SI,qf[߮x;!%"]}9oEˬL|]|rFzqSg^Я# I/ xN`;iInL]Bsa¾D0l>Ex~>I8#S^e M}IO9Y/Ad#de<8~G5o[_zwMيc(z!ZYjk8 EH0|rEC}zf>w;Sj||ۂ3yss>laP?*wm{)گV _빆f#%?Ѧ~#4ra@q'8s#D*XI̋K8ԐZ"9 IWbuugckV1PEܿ V%gƃN$oWxMғY=^U Vuu+S/ѕ"/DQ,EiKUX mIyt!f1:#߁.!Zx~URHo=olUHSW5w >04Ed|JhT %2 bn'_KcR+-"q Ӵ?3nU[Rp:_Je'/0Rj|*M,k]+6)8ilo5\*!0 IfDQz$Is@