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   r $d ] ZF-UNITY:threads=6elapsed=5.868cpu=31.008gc=1.376factor=5.287zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮcgfSФ3K%^ITY{Ӿhe_H;K$*D+rE WW(2YL6g,t]8/=T&KF;FMpj $OPZ KQ /+c0;n.#,F@4$`/iYa\"hk zոD2(I 5O)Bjc"vB?QS _<]ߛHbYciqI*})_4gq/M:9oM^LQHd\Ub۫<ȹG$ؾ 8*gUPz'SzRd7IߎgHrWdوhKʖGJ.8 yPwpZ ~f]R:^l+"[ ,6!"Sv)%MAQ%t)T Y߹BHXTAE]6U> 2|B4QJ)hm m+O`4y%TޱgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7#\zuӐ[١E6_pc1$ev#]t&ƵfZz=~1HJc ZI ﲀp%֝{w+zUkS=IBˆ]/TuU+4|I ƁS߆MYqb4Һ^d[VGd"SKc36UI.%ly44z/Ygd &z$X>Xx3!7^SI(/pjhGeԑc՜ [D)WDpS, `7,Pbđ=Kzڮ au'PnV !gYZ7zXZִF! ?]ŗXi%>>$Mo=OLgrI9;%Kv{fXB۔{(L=( AAslx^5CK4O%mud9/F~Ū ҇E(nxP=<uHK :4"ĸS99{'}Y5n㙭6wUx n)x6