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# L D ]]HOL-Nominal:threads=6elapsed=5.749cpu=13.356gc=0.584factor=2.327zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯n:, rm?)/V}~m">+(ߜ[A^dc$Txva>Vev83 O1T#98\) <XG@#_6,Uq& ?MMݸ/9b!ҀD7.39]Mex +V>gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î2c68/ JT7뇾 rQ(ŞS`I'{J}YZ7zXZִF! !]ŗXi%> dꥌm,#ReUĚ^%:!ewr, G{?AbI+5i.t'wk+9KWT ZhY&k?V_| +!sR.|ml_b7vW;MXmЅ*>? .HZvNyB+;OMA|[yhw%x9Jג-}GNV”9jچ2T1Jd{s9la4`Y4|HĎ q>{بLDYMU.ceހvus 6chrvk$|C+pJR}(ìM VzX*yq5}PmZK\|ۤPn?OTyr cf]Ɵ.jO۵GItm?aJk6E!XFX6͘ 4I!t z*鶹NpTFWFh4 8,2gHG?Zt|笷/JgCkzV\.[.Ht4(lq@}O2<Ä6SXU0Bg+0C"}ԧ2e@B1 •\?\yS|1KCio.^b>GöQ${_(L]*|ݰ3G"Bp">;gYZ94c62f8c48cc1fd496904db18b4c89482d71201a86b56c8a9a539e895ed8d31c0f69ae143fdf0109 fcbcb977e730059a53bc653bcc4acbe376acf6ad 0fb0f6d65c861aa7f893510a1fb768c398ef7d724eb574488e25cfd3bf17aff037a42ba08a940aa3 # HOL-Nominal