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 91 t ] HOL-Imperative_HOL:threads=6elapsed=33.555cpu=67.216gc=2.092factor=2.007zXZִF! -s]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʀЎ(Ԙ܂Rrk~ ]b7KhMǷ/'|Q;hs4%Fu8{Vw$'rXG[3L?w騘 7XB[l/);u*+Dh 1 HOL-Imperative_HOL  } _ώ]j^UhP_C p? lވ@.eZN 8'msPZ𓥭١Mj̵31a&ͱHIYr 3ؓnCvq&Ԥmס7{)n/K\P+TVBܼb֡&oy>%ŝ"d1c"p-op(Ϡj'${SƒE|L{M=l)6|)C,G{;C!pODe[V|5,"0CVT.. ՆI="*9Y ~k%;ge3g_E7ك'5 QhTY+MgS'gyjo@/5LW"7Jg#᥏d3FaB]gh:= t$]MCXfzSiŖ|.{b޿)T!J S*IuYJR>3kзR8)L sZq:hO~"C9 8![0iOOVۚ+{4?K0UYuu;݉.ge`I^ʼ>9rWvH/byg!!F&'Æ0zL|(12ȕIz.iu%|m0Z-RE}R=I(%h"_HmW=Jf s ZgYZ7zXZִF! C]ŗXiɟ1nhЦx"n_8N]( eOtd7d}N kO7=י`r=ZKjdrzfwq YyYb6^;TG)TaZ \,2֍L@cC-|딶'.Ɲ'2&䌻8}Z'C\zc<{a!S[FnFG({ЬQkZ*!g~ޡ~. /*?6&GW%w~UZcdlDDߛnH q he#ÛD 8&>]?d llgYZ7zXZִF! ;]ŗXi%ES- j3yUZKLN׻ ?Y:DpGGbl ϪpxZ-?bbAA],q.aj\݌[`+uq3e,e?F2bq d^VD (pboe@ξ,CLt$ێd€ ֆ8-6ڨNױTY v[d4D'%S*!_aBíOZeu!϶ZU\W"a92/^LeB۴6eg8 ́ip=D($E)튤7kU i ;{ =kM׳H2'QԦ$ Kmtr8$WPt5 ·ӳ")5 }U0BaXgLGY^wL&r=7ahTR&Wv+,˶Х K7H:5p8o*jw,9|pȾ9"K dRFt*/ t`YX!NP+'fQPy4.uҲHKxn8(Twfu8)k9T<=M$i&h)B 2/jҏ\ө2۪EkivJkplOxB[?ƆsY}G|*-.)Ғe$:b>V=,0M-t_ hd?j?]{^K挩-@1իtߺonXpyJS}I7Q{nfN㋝8R^_Vib")ˤlWD޺6`HTk*F %/iK'2?2ƴ:j~Db_x,:ZV"^٪a `Bߤb t>Rݚ,ǯewtr,@G!j~DOPr3h4ř"nY=wmLVմqVbaU^؉-?56Ffp$=Pڃf:}"ԡ9䊱m%sx;u#f ̙.el.>Y8[-C3&=4dE;7clZ,4e|]h>00F6B ͢ Z1b Z1? _+C?KqQ;ھZxъ{kyDM7.6LAŻ&#[O֪J^8:+arjv޻ʳ":GD|V3zGw+X@E/_PtAToa9A+Qd{'Js˦Zxc9{9|e?ϨLRSM޾+w#T1DWppbT6Q/gDE5F)1¢ SZns eWl1629<ǮOV8'&l<4\EU]?n5&Xq{$g9c]C+͚R\}-H2Aɰ/Ͱ6|kXڵ/s=d(kվ74V7H {yAah|k6ez,Ӱָc+a! ؖ?"QFKquxC^D2y[L͓@U=ڨy$dDA_>ug̩WM߯bKh"$噆D>RK}1Db&`i=F?Lo+Ț:`G̸gp7bB }*ɷ6o  PF\ŞЩՅl#~T)`aɭAnS!7YM2ߤsh j6D3[z3j2h~qdʁI*! 9Ǽ3LCn*FHNKAo<ŒUmˢH#45}gVCLOvުZS9AӶ??