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 D+LD ] HOL-Hahn_Banach:threads=4elapsed=3.403cpu=8.496gc=0.384factor=2.507zXZִF! H]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{U^>,ij/$R3YH4^o6B.O5lE~CWENRiڝAu 爴95am9u\ЈUi7J1>$Ҕy@~!B1!Zfڴ w;c"/8lgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļΚ=KWQƞc&<v5J}mCZnFnsو VWFAܞZs B/0hIEq0Xq.]hzNU>Z Xv]*Tx4T@*q}xW:浓n>]O ~f|9̢7ͼlMdžm68wmVN:֧y GAp9ez Q ag'gYZ7zXZִF! ,%[]ŗXi%Gf w땠~>tq`~-VOUCΨq.Zd|x\ڌ'FN{ŗDo&)5Ƀ U4lK+&}\_梸K3hf`\X :# [Sb?Ĩ[]j=a>&m:~]ˀOsBB+yMKDlmW*x7Э״~ %2$pNEea xV=rK95V_dl=^܂+ي P/n+@zFUeԷ@.:IibzCسRC*@ZY޽6n}"6ҐhUBUoggDܣn [=y8~;oJr֎ɛ0lqq=.WIOSm@(Dt<