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  K#|| ]/ HOL-Lattice:threads=4elapsed=1.946cpu=3.324gc=0.000factor=1.717zXZִF! w]ŗXf1-q恈zt`7MDc(e%hN0D ġJ{䯱%zܶ1' ~l Q2~=fv9>#޽]^ O,:vgYZ7zXZִF! %v]ŗXiɟ1XnWT#4@ΉoL.y_kpct yIY1b$%m0]7Oe`bܮҴM6pҙEm0WeK=GC瀬űgYZ7zXZִF! ]ŗXi%Gg*H^T+oNXetL?=s[ѥfZ`Ʊ TŹh3JΆg0?*߇!U CO/y|;^>BBSsk=FGTaQB+~]/w__B՘7Ƭ)*^*$$(4e*J,HOj*_"-T|㴳bJ@_NvUYU幻Iȟ8![N G-rsRljT j#YpmH@Y>5DA~;BwΒ:E#zcC Oi(E \k[;pAz*)NܹjNS+>Gލ+gu}Z$ gaBgq`OXEVvtwªLNPr)g&Ɂ݌([wz5_|!؃EHhjEx+U'4Yh" @fJ.,9zO*W66 DLM 01K6 y6h,zJ/L|.ፓ_nǮ>NQ>@aD*'V )ʿ(*AxzCZ]0U$b,gJ[8n,Dy֣yCլ2*CKÅCwe 6`hS>;4ZgYZ47e79feedc070f42667e6887354bff8dffb5ca5c1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b # HOL-Lattice