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  9 9< |t ]/ SIFPL:threads=4elapsed=34.289cpu=100.656gc=2.892factor=2.947zXZִF! *>]ŗXf[&N} wI>>n.|VLڿu@jq\\Z}#5QjtGD2/qtc;R3 n UjjV AObst@ʨ1ϝk(hLkMK![,.tɎC#!<G#G;BIB͟|5{v׵Xٌ_Eެ1>'Bw7EYi{FC- [cy=:Ven*N"iVD:2Do]yZb) c8`YVI1>NX_P)1}ef])r( eBߎ6xԅgie[WNO`mXۖ'(a- R8D{!R*~㣃 "=]ʍ9Av1  Mb:C ZXesJH 0:ۃ'@ݛ!iZ)skB,Z`)ܳ!  SIFPL  ǴCcSI}Cγ&AJ, HKNV+:p*Wz_*L(ٿ`6븂mAxn:PMA1g_`fK&W3PmͥNKg, a.UK@F2si^RdžJˤȔ6"th85Nۭ~&d( قoĈuѼ~q93>T:C]Eu"*TugYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNEܥbquhQrL6HM viI)|NЈ/{)sjXqcvr7>m1ZrQxm!5Э>"%y#TC?bA3Y *T~YW}qc?]J-o %8) ([Pwf#JCgp;TU HM-0:q 9f@RNIUgYZ7zXZִF! ) ]ŗXi%B۾1SC_u$2K\H@E>:{ؒ"$ؚ|SHwa?;1Z!Գ1ӁXewse*q6qYc[̃>r/8k9[F{nh:9iRDԼڔɓ%E%ѻK 0l& F8፤r$ "JfU˚w~IK!=F(L0?z?_p|V,WRģ~8lk'.c^e\+#q/$Ɨ3??zB9ڬ$kh X΄bZ(b:yyA m$ `:5t˩Ǧ$?VX*)X>C sm%QNCܥ Rksׅ߫vxHW=RF(/;*"(U>%_窈ВԐ }Jta | -Bo9>DL T:caha0ʑظǷ_襁gؒr [!\TzwIe]C;UR thv(g \>(wavRȻ;.4eŒ$F ΚDt$@ q8GdJDUy͡ @'Eb6 $ƻ-Z z)[zg3xN -fwn=Gx^OqDc(1N!3ƝBL:3!@D)LC!̫;!(,.v'u% AzgQ5֛HA>\/eBv RtUzgMmc]!anZs)'A-ԉͩA|ke_^gbA@U JCN,HO#yTީ 1̛8T⋦l 9UЪ(ֈG kd݋'ek*q6 bpĬ,=2IM[5 ntȌ/^ac{fc9]xZ |rqu8\ۻ]U]=L{vRo>Z*my՟~O؆θQc\iCwCxjyF3ގϨͣeⰱVӪ=(NJXE~nM[~aQC1:'#-xr,j[ZJWT,=iwi]3 ]E;rMm)U!"-j\+PkM.-"WMk㋘cbHSm)3T53.Ç{0+AH}!"=S . Z% zLk3y[L