SQLite format 3 @
.C
B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
Y
Y 1v|tD ]/
SIFUM_Type_Systems:threads=4elapsed=71.053cpu=171.328gc=5.9127zXZ ִF ! cOu] ŗXiɟ7KIxjbk-
zAԐ0Ҳ_Y'X*plo+`vhVs'%{CBp\ &}?o^m]+l+uغÂҳ@ȭNDI2SOHէJZեD91V*)TnxڶCJ;xا-;ЂJ7Ǵd AEG'CȨ05p\вo;ugdIRϒzm [Jk
Kd"JY(;ܰ7kDK(e jSAMgs~S4M*.ge90u4!ԴdtՆ +g9yVOvwhLj>EQ!uYng%Uj/Rlk/k=wUj]:H^ZS۫P%
{Ұϸ|t_vBv#()beĢOҰ#|
Wn7j3_ZwdPAzC IZh7/S
77Ti]T!3RGJleȸ=@2-M&ܕz"G4JqR5" !ab
_1gy?Ï ԗ& vpv/ξ%LAUG7ÀVWi]r̉ڧ)XbJ!, <8j!yhsmzVzG=^Ny̆dy"_Fȸ]rTi/)Eeo{fi}Mm~hyj!
Ni]X+5H s5"5(57vø;wK$fS[-gxl/ҎĐ66:0',ȭ\1ϳѥW\֘1jC&wb`zzhI^r2\?O
[q-(AwkM:x+bOr^y|?H9Gz[8qrIoy|$,n!H. =tQjAh>h*dZ4Ĩ}N,.Aj $w`ZcU(uc8:r<̫¾MDi,i
Fo]2)}XshZ0(AaMe%sjnth8Q:!kM+/$<˻n9