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 v' tT ]/ HOL-Cardinals:threads=6elapsed=7.714cpu=43.500gc=2.104factor=5.647zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIxerb||.Auߌ9B7 bB꠺ A^S:ֺeSIfXrh:p5gpek<#ɖ "` f|rv)0i*=eXwQ\HCFx*A elj.+mgUgm\_,\u pn1mgYZ7zXZִF! ;#]ŗXiɟ1?ߟt;9BP2CZz眭5 zOHjrV "|%eEh1TmjG8Rgh7}Dzp2xZb;ьGSLU!mޯOv#l/jqs+l/hvZw)؃m 燈TW 3ˍ,538z[P@"ȇ`T̐l(V@.E r1ٙ. қID @wͺQ3b+SR2S gYZ7zXZִF! ,]ŗXi%Edj\RARs5k&E+͕X^g wqwWC`3dx $62&KLZ KL--5aD8ֱrVڡQ%,9̮@àw@T;u!ۀ_*o $ E"1 ]8+eU =FfVX44?@>e  ;+4(/[X)&|m p뼸qeufK B^=`5s*Z/Ӊ[ݍS#ݥuhI$]R%Yy jM9)exxh2cal.p4Q+ҝ_Ra<2Y(֔4̹N2wNҷ.kNGq0".. ڙ;&ΉU~ ^A&٠A1DX︱({Ζzٔ:,zk^SyCGS}0q6}|Y]ZΈbajd5j9 :r :ڼtnX緃`P'' y9QcWo,~9A&Ƅ#o· 4^A9l,$[i sKh^q(cf;]|f>X'Ы<M`<'G?a. BH~DVr8ZL$0?| iI?[[G*@R%x2xo*Gt.Lf7hHo@R@v^19^g&VW"]p 1P/JMSBXVWJ xyݐ0\ZWXFUF(T͔+eQH8n"yKG$YnCސX,e