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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $ $ Y!p$dD ]/ HOL-Prolog:threads=4elapsed=0.437cpu=0.600gc=0.0007zXZ ִF ! S::name=ML_fileoffset=206file=~~/src/HOL/Prolog/HOHH.thyelapsed=0.124 +_խl lTmȅ} YZ7zXZ ִF ! j] ŗXiɟ11;vW Qr\/.GPHNaTjʠ'U_ljXGŹϑh/,O`gM Àu"Ea $dW&(@ b?g YZ7zXZ ִF ! f] ŗXi%D8W;F'G!pKpϦpTeל~\qT6otY7mA8]9VftSiMlHJ^є%7=:kqPTT#Z+O78kHt#[͎wHJT-*-;ǿo8xn[Ή:`-"vV
)%z&ӳYS]Z{w*J\oPj\թkHU1$?[j 25Z8 qűg YZc6efff08ad567039ddd1bf530e47b90ddc755fbac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a ! HOL-Prolog }!+% ,HOL-PrologHOL-Prolog.HOHHdocument.tex7zXZ ִF ! C] A-MՋhvG"uIBm5-@ۚLD>RkJn"A$xf )=[IDl$46zh0 2/];;}p' ad4~Qqm Ǽ)ʏ=KE9-tPb WXGhU-*§`p&,Iޱq ٕ/I>E&gs Y8gDi4@,+-ũ tK`m~h@OힻWĐμ 9j~:[7\aϑMHj8Ps% q|q=ZGma;` 7vcZlpokHO קΙ( G3 &