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 O' lT ] HOL-Cardinals:threads=6elapsed=7.626cpu=40.796gc=2.108factor=5.357zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIzZR ףĞ4Wۨ^Gt:Nf2๔p+U*|{pL#!Ot:*@̜-/&縻~Yo'*} Ul!gr *x7:?7TaH}4 @ZYyOELXc^]JPPQ[E`S#YvԴr(B]R6^DHb#gFcw!>QVWKd9Yȭk@&;46(vq[W$<%4Ky , 3q旻 #>M߿Z!uEkZR}3ߙC))H$?b;FvD?:;ߟx/Sn.Fe6Y}KIA.De|SY۪-5a,bZ{?l40pߖeviÓn,@ರ#fS¦ŀ: C\0I  ݳ0_븆 gsލl@6¢tƑp9 MDl^M$ Q6'7t ZQ>wyzFR͸zTucwqۼ1rgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 z c~;qׯ _jеŖ>8!t|3ds.Ysk@P=a q`Ē am to go96.Ny:ȸҟr܁Pf;*wDtYPvSiηoˋ F`NX+R2}vxv;ìS0U?VST`3" Gv!ռU˼/2qh9!|Ա=ڇ_ג;nJ0WYJtc5|"UgYZ7zXZִF! $T]ŗXi%>qVhšB(ۂ܂ߑwv v#Y6 x, h1!T>}KgZ&Ӭ.UfsW+pPAU223 e~~4/iVeVc/XW|9I!pJG$qOPň$ E #:@<Oc|V3: l X zЀ4DP,n{o9jUYmLP&Mdۺ썊Q+̛/R_jmZN2Ŋ+(bI&ƛñBmP~PvY۽H׌f#bR@̥ R+l];{:wE3Ll8͍Z&5Q*FLeegpPS=l#1^'~"8#Q|؀$<1@(k}x‘JXlYѸrekgTU!8^