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 [#t d ]/]HOL-Eisbach:threads=4elapsed=4.774cpu=9.844gc=0.212factor=2.067zXZִF! s]ŗXf1-) enȈA"tr-j. ZbNVH ?0!)s}/D3cY(x^SgB *)10yNô #AaL76]@J$'.N̮̕rMࣷ/Y)"$O+7tڃE q 2\X$X +"xHm1-``UE gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰KKZ Ņ"^{hH[Xβo-;>TOae] 7E:7@/23<巗a|JiNpuiA,PޯORBlV }Ysft"9Y6+ܾyYecŽX~gYZ7zXZִF! qj]ŗXi%B /1[J;:Oy idiEg-3R5ʛO-E1Nr;_b;Hh|1'ޓE#D=8lx3jDc2\ ZcdsK oul@ &!E`Sݦ 0_Ę)VX}"Ϝ;ВNUKt]z;I>b)ެi&3Q;s{r*RhpH4 l俰Qʷhg9_d?'LUT@[`r91hVSkV冂4̄bMQ|fuʄ*$$LR-fWeg!!;0GPP^xlzBEJDoPW-KNrI$7UKXzE)GM!iLH j[}fW5kЏhяuplћ:X2 D^\!:i-&5s]_LTW#"BŊ$oN,~RFqA:j$ݼ1enLX]&Q|c}Mr])MTN@ܟxYmgDsr sb! ދ>{NsǕ#_{`A gq.*gwE,.)13/] 8|U޿3}s68q2!~>yGVF;v$<=gYZc154038ac0813c2913eebc253e722428090ec11cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71ad99c48f1f6668b82eb6745d91e022cec54b4ef07 # HOL-Eisbach