SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  A A<+ T< ] HOL-Hahn_Banach:threads=4elapsed=3.802cpu=8.944gc=0.120factor=2.357zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{$cd[x, {4ܟimS+e.lvC =5|D}XXL]̓vM4o ^ ~"|hhXy< yP10IFt|T)S1qfR+,LOf^n{0JgYZ7zXZִF! 4"]ŗXiɟ1P ~n8nQLh) un0ļ=ڀm+W$M-W[_mN Ά YY]$`M7]lB+\=## p Z3\Kl& I9'l,!E8aKs4޼ex` vk>%ƍ%l.]4Mn)wVh31IT ٣'q>E*$7W~V-@‘($/Y2`7W dޮ`꽱gYZ7zXZִF! #]ŗXi%B4M@bO@Y'AL"&h|#v7R(Sdfݦ1|"r8W"كӀ ¿@Ek3euA1xߑ3 }=0;Jh&)22ie;[JAJaci1CvzFe/f埽 JweE=-Pj+/GXt@;ʟX1hm^n h;Nݚ {E'6 q kà-\p@[(U Ko3 xcQ15L)M9WjJ(w>y4Ägw *]*vyK|V vlxJ§ ojEzI$xQϚzH|z=QryܨoxY zIyi;.x 0錸Z}(H1 f1+c0@j\j.wdvX<L@pPLXA-ᄺu˿cd!ɜ\Q x}Kd ך=|aVD ,sݧw]W~m-<Y4e 3#=~K n}08 [ُ=’fa&zz ໒FÄ8JhGKgYZbdb1b80a22722ca0bd0a9f1a6e22d1389c567b3f9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c + HOL-Hahn_Banach