SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  DL\ ] Eisbach:threads=2elapsed=1.333cpu=1.776gc=0.000factor=1.337zXZִF! ]ŗXf1-q4(~$Q?bִp;w~ ѾA`FHn ع=,2ۭ (2D qjŚ)4]~ R7#8?`B0(e: J9"^ɕ gYZ7zXZִF! e]ŗXiɟsмHI:j|W?iUF|1߼?]#ö́j˽{3?HGM0|[ jt5 3e\ ݢΖ♱gYZ7zXZִF! \]ŗXi%>6>U瞫qI5Z'U¯b<9~SbLZR0dM* _ZV{o"_^67uR5I.X{wM^F;xuQ p]s2֦h?^*`^"'.ֶ)*ƉTt?]M _K}qɉB"3-`HI@i˵'iJ] R.?MXJjŒ 'iFSyv DDy{7o&("Up%]erMӰpZ+,ZC!^;x^8 ˏD٭O+4m^[Qct+xjf/W[pT