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 o- L ] Lambda_Free_RPOs:threads=2elapsed=19.578cpu=34.600gc=1.400factor=1.777zXZִF! ,]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ fimXc!= Wu|ae7"Ar)𪫈ߖo>_Gė63T5+ v>8]u;͢ HG4/ %1jJLj *Ҏc[nM#v-YO,>kb+`?\_ʵLIβ/I`r˲Vkt` $<֟ȱgYZ7zXZִF! s]ŗXi%>g`'W+>GEs'_4~ע,aF9]XvqI޾T5VCv߂=YNK(,vŸ=1-4(`bT,\4Sn`(cuOvU|xٰ0e˿ ^D_1 3wŐQ3-j!z fcA#b ? 툻s9+O[G9:Zg??&xB_Y"_#Lm"qTeW`>5G搪 ē!QpD]K«d &.p n!:"P@Tř4  o~oXdWgR cnԈ$ZZVP5e8yU;y.[u](6#poW0- Ɉq}Q˨Ҍ>WTgZsCt#>v==m<;d> 6(nUےgIT>fyLP?|.++jS#!^ϕ/xLHCf"A-HEGZOqU|B_\vA;T-4!ga"qQ.'>W=-5TmH= eYJAƵdH똮uu>v$[1ʋ~85XT$~U ǣ]l ˃--TY?fpo1}:jy[HƵ@ Us/6N g~@iߘ +[lc j}T`|Kz1r%"Dϋ7a WQ8,8ѹ?m.0;6Yأ6I|J2oi#܄`/Paϼ!GQ}W-%ۤYH@*l!1͘Cvji)!@ ֙#UD0u<>Vo66G>R޶q&.zg*8'ˊ:"6;X&@/IoM#;b+^;s‡1q7d c)+T]-:@x]w2 K!6t..&ֆtK 4] 6'ɓ|;;4?FX>`IFeQX&V6oa ,Խg_tkتEU!ǔKwD.?Q3?WoV<wEOsu<H~ݚV) P liFln)TFµ) PC&í