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   a# \ 4 ]]HOL-Nominal:threads=6elapsed=5.851cpu=13.552gc=0.620factor=2.327zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯.+h MGv7;m^C $_6+GNٳEµ&u\cb13բ,Ĕ~5Jb`ycDVKޛdpEj4i" T`'%;|%;Wvy(L w<8CgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎpxXK0;X1DϟdA'+S`I'{J}YZ7zXZִF! %]ŗXi%>H `1!Z?|zSX* jft[ ? $퍝ۡ?r|\M. lbvK$ yhn:ܬK@HMZlAϔF#G _{WQ|V{JO2*q`b&Z¥*9YZ11vn%v^rr31JO3Q@N4d C=5[-NE(3el@m ۘrMEI|fB"Ѕ!Ԏ? >agYZ734467414ba7b80aaa2d7ada4e6cd914b1e3cad5357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19 1f9439498da2d8aca404011524b8312a5bdc159ee1124e3cf1a783328c35e417abb1ff85e8dca2b2 # HOL-Nominal