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  4t4 ] IOA:threads=6elapsed=6.744cpu=29.896gc=1.064factor=4.437zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K6`̪2}Ae]I6bk==ρޚE?ĩTK(`@ )iĦ%~IfG@m?io\ǥA(ÿ>|`?.N*H t.}3 ~8ǿ '3/ʌh?9~G]1SQ8jZ ^:2n{ gB9Da81C[<}#=g )٧,Z|!*je8ZޱD6)X% A_-Di\ςYY1=kgam*; ޲L FG5R$ zbyBA͠ώsy`VHR`]g۱gYZ7zXZִF! `t]ŗXiɟdN'LvH۹C<" !LZōZ Gռ8YG"#uܽ€^CgϑZBf$`3Tq E 80KoE6M+4rSYRWf_Y&d?,HU I>]6*Qd<KXs7Hz{*pDA6I_}JyYM;Qzc&f5!Ԋ!UJ_ Ωmz"7tMŹJ*rZ)dod OY+V"Hfvâr٬ U2b9شTa.Ca Ȑ/(18!jE gYZ7zXZִF! ']ŗXi%BY˺iZx _5idh!YjcKIDk U3ׯ @1;%1͛&ͦ\nWmx9YMrgۡbG~}OZ )?o`柃z_'҃hLD)KA~^nǺ[+"W@H"vHh;x}ڑ(AXld0%oK&em2'yEW+&#Y[*GUhՅT2b8NeZ `# ֋n!?R_:3퉽4w"Lu]鈏 ԘI`,[vt_