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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info v' |L ]/ HOL-Cardinals:threads=6elapsed=7.486cpu=42.348gc=1.684factor=5.667zXZִF! w]ŗXf1-q恈<-¡$johkX2I)']8PI Y$Qt>XNJBZ?[i=eB-T%*sMRN,Xif asENWL;cY25#fɴBH%ydmtȾL-fd3&-򨌄b}o<߶wlX@bfvwEHAg}險Oz5ǒD@v>Iqvf'4P^_c4(%NΚĞL)ܖo{2c1=a&5O ܻIݚK-mQCG =C}DEjCkGokBIuidҠ@\ "+!;UWjzc &%".4XM2\ Ub*Qk1/(Vxй%h4@IeN{QZ``$:9Лڒ>_kk""W Ӑʲk8;EQ@13?YrvosR`d]_f?g; 8HЙ3-dpPK,^XG`'2T{S@lWm-lgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zQ"ρ=@shMvti/>Lֶ~N0# NZ^W,xťߙmEbz:֌ bex"IYvg;>Ysg3IUg/:vIF7]'FU9o*?|@DZZڕ2bD5-Mgh*#!n0/ӨepԍqYn.Uf {/gYZ7zXZִF! )E]ŗXi%JLIRX ьN!~oR `9(Ņ !a2; >q?n{&(1j>x+<}u褔xZƽF =G֨#MGMū˾eFevt}xH.iFvAK7\?NRH,WD4ޫC3+*$pB,꼬~E09ܘC,