SQLite format 3@ .;  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 qq 3 `;Gؽ8nt*q* .#lw gh,jl^En/D}VGsWZaW49Ccz,+ RlI7&fR]U;3w:1o{9 kA^`id=#z|(8=};辙M -oR$If3-t\2J]翑=:;zHoH'vlD.Hi*94^MܮuE0! c }{m~C=?:$)GC_8q򉥝$}%b;CY+wM&Gn>7T ~`a457JPV@ޓ*M ZIUCin)[@%Q+8s̬ ^jxgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu/A~pPsf MhD̥ڠgl\(sIS%"4 QMV"N/doG55ےsĔL2;>Dol{{Yua4.m)釐bn Ϳw#_kf[E!i4Lڒ&|5na̷+m#yW) 61 `ΊY7 Og)q߳ANvƐTiG"xhgQK AB~?HU.ˬ2I-2I)PbL"W#Lg,?v|#8:imÔy3$*,3~I |3J)zWVχw ̢]((̭[ɳN35~;s~xpNQFGp:K,Xc788u?+~#eؒj=%-2^Ԟ]HGh?CQawAӃFs9KNĪ+8 %ƲF#ER1y(d4:9W\Uߛ.k:3Z r6b\PI`M=ic@*963q?鸝gP_\OԚq>צ14NPN6RO80NK6(dhLZ)O0C/?;Kiz)ZIP&1\ymC