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   ^LDd ]/]Cauchy:threads=4elapsed=2.682cpu=6.932gc=0.212factor=2.587zXZִF! ]ŗXf[&w4hJtiTRrۧLMW>\? h53 2uZ ,Qܡ<[,%] 5'@i#ѣ#5prqTǯIb~пbk֧4zF1Ϟ\OP-*gYZ7zXZִF! []ŗXiɟy?}ScOZh`KρqD.N+ؐ`lldej_P_F‡u4҃D^_ ]wugYZ7zXZִF! &+]ŗXi%GTou`.Dq.O!suojWOM&56Q~qEىZ-ex`~l"vJG4:ȕo+4n$Vv %7RѴڇD)/wS[w7 3Ei~?g^+W }`_ݘrR|GV8`{k-]b2o <6A߃DH>WebǺl"Pm5zh xT+hf3#.3~b눉”>MEٛhH5@̹K,qn) I̋00Ȓ4[>M4;$a@_Ӵ7tBԩLggZWz?}FƊY9XjMǮ:'7OX{xww| ZCVY fU=푤@Io޻) a]P緤033GvDvoi"sHU%^ W˜sML*6Qze{&u&/` ޒ.*ޙbӿل`^&e"ιlX|#HRo&GkӰ,[evycŁxv2AP9mA#s#=peX~K$D<_-<'N vV7q*C\HtHߎb Lt3>G䟒nWII;W֙O`