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  FDT| ]/ ZF-IMP:threads=2elapsed=1.091cpu=1.276gc=0.000factor=1.177zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYYצbedSISFg)x18ZTxgYZ7zXZִF! a]ŗXiɟ9)Sy6\Y.+!aϰRyPBZ$8g27tl:#j@mCѫF?}ܰgYZ7zXZִF! ]ŗXi%>gYsL/(F.s n {N\L/0'@e,~M~ڞBpmƂbF:|N~ ~޽!+jFx.Oĺdݥt![v5tNM#R=٘,mv]&м ӋeiVr;b^\E"6*yQ ͻ$(|0]RIx%+i@0N-?#EaMM9^*{ "yqT[.FӔB|V֚0G] $4<Э]ejb. v1; *6V7|&bMrGM4ž)= Iqt7C^Y4)xz6i}DXع n&22LTAk='6PNMAIʾSgI)8e6NcI284L*|dEgYZaa375761831687378f9dc15a6ff2ddb06c7757dfa9ba4fcb27c61f2722def1490d5cc6ffd820a523 6bf1fa0e358421082bbb58a0bef5033de7f2d0cc   ZF-IMP