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 ff |,< ] Tycon:threads=4elapsed=6.603cpu=19.484gc=0.844factor=2.957zXZִF! ]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱa(~s֫d xPؿAVd$qpfaW Lu~>/~ƪF^+.{/eEJBfZ{j/ ƗM?.DS>N>3X}h.&AX6PW^5yah!r;?to6ɇ߾ceMKZׇh1Ku_:< 3%0,n[#}b?\BxSu]N ҖEm%8.>$zsFϋRYaDى)TT׭:!WL) Cn/u^Ʊ^ÖWM*-e1y]vUsB={'Xݻ\l񅄾B<= q> b-cQcCWAkZcz "AtgYZ7zXZִF! P]ŗXiɟyڳ&U2FHF&>c(P㿅zʆDeZ9#-!hlm"STQoη2Z a\mPeøy;B5ŸfAUGf8+~Gl0Œy?{\hol|窚pB( @l)’]),=HKe'9ccqŲ+*_?NɼSTɂ;!("QC<2FbEL>LKF()C!?5lnR)+/kOR # EgYZ7zXZִF! =]ŗXi%Ggc 4{ (j).ISBIL&^&8r]oeM&:Ѵ(_޽84Dd^caѺp!A%ܽ2u=l±Qy%43&W  H`4k.叀lo݊[nymbya(?*/8 #Uh7xW݁[Muҩf7 x㻿_#"5oPC_I%??fX%(HMKN[(܇M</򪩼=1:A*?WB:,*n,̥X)C1Pi:V3$`^d:\jNQ7k-.E9q'{#