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 !% lD ]/ Latin_Square:threads=4elapsed=4.786cpu=18.140gc=0.236factor=3.797zXZִF! Jp]ŗXf[&LcfdLձ%~.<ܴ @!Q섊I ^y?zsʪr( cl}yiX# gug)ePyH U nOk_>5!u8};ȣ%2D63NhpQ% J&c#jHo86&G& J: =?c<)+&!bv5&%$k{_.Hw'@G$i[i ϰ)lͦ"]w(*܏y@o*:aT2KZu۫9i@)?a^gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSL?%ژVp{RZlyE5M7UtrJ q$eZQvgYZ7zXZִF! ,]ŗXi%Gg|MF NM*W  QY>˨ONr|f 5hӾ^mg- Tǟ >={' TGў#EA|6;Xf4nS໰ ϠS]R.cp謫nig(ĄysBG;9q⣾noY oIy,bgn.+ ߬6@q [E8TPM\ܛZB?Yؗ(NW "D}4:p9S*3!5YD&@w|b<Sq?z<=? [s/zrBo/` څ^ +/M>pu&3HY"8 B(LR{jU<+/n(:ps3FwZkee/o5i"jpF^a qw8=~? g" sf h2U4*N$$͘T/jC2ޯd6su{vU/SNlkԕh86@ՈS4:+(XZ(7/PĈ[Gk4J3t.\c{>vph4Ӳlu'Yr)J0b('Ab֋\)Z%5q= +l}`{Lx@*?Aoxl.Kzϫց^t?ẬQD̎:BRvmq CI$x͕`|h[k7y!9D,P!CٟKeh+hJXʲ1C|'Y69A𒭉&9mKKJ`/2fwDgTvY(gYZ26e6b3f9405ec91bf09cb973dc40e692e44b47781795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b % Latin_Square