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 y# D!{";M:.2}>V%7Dף_B'©TH tv9-=kHC̾0($՛m UoJoj×U$Ra`:|?7?^{G # JHQ3?gpcv.R:\t/٣ T:kj8FZ zahjpԯd4<ȅUd!L= 9Y`WȜA^DF_"Q SWcS&y"LwDBۆh7h?qJPD)F{t2fQ`&n*JegDWygYZ7zXZִF! X]ŗXiɟLN.!}" nPBڨ&wjn i.WV tb˓8+. @}z0LPƉs߿R aU$W `y^ן@K3*:BJKj\7*r:zi&]π@&: \((=V#a4eKVI#="  6*I5 ]' hq 㦢zZ#~=^ ] *rz;aZI*VfG_v/')E|(p)tE!n8=aK$̂%he)c%9qKi-6&sEAfW_*n/<?/^XUTuyP>]HB1; y(l[W9I*gX# W {ύ1i䨖7b{@D> tPt[$?ȗw5\PZu2_x#H;7aP H; @Wˠb&37c8Oh-wJl@O*  G2[ԃIw4eq¹l&t+HG<=ciB~M2$@W'L@H=N| ٕPJ|ҫwbdubSLI_Q(A8EJ^)K3-ڨ80fG|u?:Q_'W֛6s^W(DK9MTGAM 6B!Go'L|'jotQոiTg3۾#g"(|.mꐥ(v~%'kW k)E9Vp1)ȈrJݶvҶwiaW.B¢]86ef{'?mR2 PlF־bԕWw՞ ʱȊrcLiH~+ 7vI]2SE4mjݢkm< Ζ0 LyPȺ8q\rS4-D2'tŝ G %X1Bw狹LQ@S(X&ݥmY1S)9S5fޏo;9EwpkI¢:La=Cw5~"m!9A :QLc}s4v0b" 3)ihv nHA9^l/.u(k鳶!oDSIUH-ܹ$ÁdP+a)!iZH* JPnボ`4k˘_6 |cBuaLx+i1|Luz ,( J4L c 2Jixus9a=&Jq7m6:PCǾ%=1~}4 3e<-Y+SqbOnE@6f"YE?`/gJPꆹ/ߴ@r 4YQc~F V7~;{Ip9b ǢOus)ZoŝËuBX-*au9 ƣDT_[`F=N7Z+Mҩ+ީr%C@au&ԎB3wCVmHhsJ{txx5R