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 k7 \ 4 ]]Abstract_Completeness:threads=4elapsed=7.801cpu=17.564gc=0.632factor=2.257zXZִF! e]ŗXf[&rԿi%LGtAuMTA:d'ls<Ƹ$Tm Fҁ-VȬ|O/ x$Q Ls=tLvCJ:rƃÝaLDUL% HBgYZ7zXZִF! 9]ŗXi%@b^~Z0ftva3@)9="ᙈ?ź3b7!,rȏlHܲ&BnHR̨ ]9!阈'^bxk !i$ךWr#a`S%߼4˷{wy׆Zvv~.銵SGJ+WǮ`9`%={ra׸d#OLCd8㡠?4BFõtۄN mXy|6Ag*Ų#gnߐPNv)0ٚi/^! ~<%sαŶ:MA$9seaA_w@b0 "P l[gC}}sGvdaeqjK@A:R!85U<,^@WLfSQEk{/+0/n94h5^81X(ԛą]j9ڡjI3UN=KWژ)! O/fam`ZMG/Ƒ|U8J&?*Er;Di8M:eGdǚF\'jMnD=ׂC@8=q>P Gz^Q?_-بgW9Iſ*2*8 ~$|Lw۟ݲhSQu)LEqR=H}(jͥ#+Vvy`誢jZUWKnI?zw/