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   `$ ]/ HOL-IMPP:threads=4elapsed=3.911cpu=7.744gc=0.360factor=1.987zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL a/Fo#9 aSFb x0؎tV}!,18]dGkh3{/;= J Wwl}y]CEq&DN7)KҚ/rX4gYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\,:3vdD]Xf6I  5eq&\f $Ι>w||h (Kp,*N1mCx_B=~9R OatibgYZ7zXZִF! x]ŗXi%Gn[o`rNE&z۳dzübwzhsds^U`إp; C(HpZSx՗ýĨ WU uryY]PRHJ=qlC03L|7o/<uELtmRϷm CT |lvgOK,mzg&Eڵ6Zo C+Qn^M/>(VN.{ª^~Õs\e d]PQl7= T|R)Q;ڐ!k ̱G sN,ւyYT#A8>nw06LK|o2XnN݁]o˟eV/%.s$*y veE"Fle*S,Zfg^ldkԃ:v\Kmy&/ަ H$Mp K~s<3<#8?ywW??L-٠D]}EI%Q4H(<\RF̜soQgo-9n\v>'7Xlz CWUq7#'?B7MZd!r>$۶vtG'$9_YZ>I3!j8F:"L7|?Z:z+OLPUxޜV\a\d9D39e'de6a08ΝgYZ359d032022cbcadfa8dce749abb162d9f935d2c64e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682   HOL-IMPP