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  s t ] HOL-ZF:threads=4elapsed=2.291cpu=7.376gc=0.212factor=3.227zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~a| ޓ}Bpv5ײQ_35kLF?8|l/2 +8}Zf=ھCv4F# m d4(~uC9A4|XUBoQOr~59b"#kbgYZ7zXZִF! C~]ŗXiɟ1qnAcP꺣3TAak^Kr>g*fG.IU)EPFvgFwmq|{0'ZҠ5B1 1-2s+LR;\ ŒY &9^HwecgYZ7zXZִF! !-]ŗXi%ES3 {pm1|)kk 64 ;#*rMdvLm}G_AΞxˮߒ`LfEm0vJ;FZ {GYxE7ڳ;_86D7Y,lɉO:ɔLrԍEF> mvُhZr"uW^UiCbs=,F5mOYS8'Nq"c Y'rH(лEʁ01+s+װ鞼7f dAu G؎Rc!I[bU4V ƚRxߞIk:1 M˴!pܶ]6)вIvə55JKʏ0ލn3˲?76 Jη.)ŴspZ}WA@%sTuc;!xtihb2^%p8X}:k{O{18jc*}]l!g>ueEopg [-eu30lrC3}J]tSR`Kф ׎A@}g6)ե&x S$X7gA0s֌"Q;&#id.MgG;s$Ppb[#ap