SQLite format 3@ .;  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 j' |\t ]/ HOL-Cardinals:threads=6elapsed=7.498cpu=42.344gc=1.632factor=5.657zXZִF! Y]ŗXf1-q恈<-¡$johkX2I)']8PI|)x.HN ̹%62hmV_0ܣY/̯e ?hٚ)В4e_9D^(VA]^yVP܊̱:R0)b$с$7ar DPcw"ݒO]sdů{O;G/eY0 4!KQ8u9lnD`M^Nx.q]VkG(cf4xzhrMs]26:Frk}L!?/lxUC1! 蟡C/B>`>h3bFb }**k{'׭%ڄf;Zޤ )˺S0rc$cݻ݉pbl"N캻X# J(MXpWcwRs gԝƚ] l+(Y@|NaLt4 3vw9$ [5l#I>쵮HJظf36&m(TYm@ۼsyFuZ? >t| f0N7W)g1>D|^dS8dܘָ*ѫ Ui%Yd2/]gYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 zL*QȘ[u&3C^ː#1k,{zxZ3kxk$]201VwĭrEۅviq D\7f ~VX ܛ+@Y`l 乴G9&- u0fIae=y;#fn#mڵ.\-Ƿvoٙ 81]r6G@z㗬)'2(ᆋ̿^lډm /%z8T:Egd¶Z=K0Fz-R $> ھiymYl?-4Q.usA]{RǫE=GlǻIPcILd")]Yu4鵠"S~XK1 :=${DOf\d u "x?i*vB*v*B*