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 *7 CQH>PbUаL%)ّg] OB'$!(-̷ً'88rE&&`[ۑ',מs4^Uqev,[2?x3An O?IVPcZhm2305} 6h^]/RӖ\҃$M,L2rхr!r%R(mTG AB~Kl=O;bVѢs-GIyl*Q}HfyD@YGŨ@@@-Ǖsc$&ܱgYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hd!ܿ ܾZ?Ҽ.;4NFe_k) ɉ, ^i0^lJެaɭx "؍][X&|j%ry"{NuBr-o$q(`d+hHŏ߭L@#'/pab}R3 W垭GRAqLt38mQ۱gYZ7zXZִF! =Y]ŗXi%Eb⬗zdK'6qCXALP6 " aI :Ɗ:)g􇩱@SƬx ӿ˪>4?cR--{G  4&# :nAאs!SۺD}IC* p-qQ(YUiAjJ܃0M̅)==kAd&ܜ&"n\3y_ɏ,umQoqD -2a&'ė2pU!i'jQ%vq-'tk` 9٤֡W%/tGf-簊㿷`@|LLq&4X'h