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 ss  ,TD ] ZF-UNITY:threads=4elapsed=8.721cpu=31.088gc=1.492factor=3.567zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/5=A~dH[Td/HJ̹>[_ U6k -wtkkCqT L+'_{:K+24Sz {Ugwi絎R_P,*h&Zew`9 d4O A AiKI2zz8 AygJ.~D{Ϋ&[;=s .xJrS+c!6t6(&mLVKpP*v*j|D{vW'ev3O1|d)jݡӍ4'G.4@CE*MlM:'nK+vDsuzZG^#նrf Y^cͪcu#a0#k<ٸ$ 2B7XƼ$\׺Ѓڞ=" kq!/hݿXxH\" 9 Y OR A[Vh4;-#5n9 D䞽i2+6/Q T\-؅G*THtaŀܢ?"q֘/ f}@Yy8#RzgYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP77|z ׺Cǁ{ s:0C2GR$~9B|ɝ`+W[ OY!FI 0'RҘmMNX$h#+I~DŒ|&3/ Clk\-8\G Ukx2ڪ'S,N`,fE&z{>PD/^x8|oceSˀVK [2hUVT.8S_ gYZ7zXZִF! -]ŗXi%@b^{jZyvp:OF*(1O偃gi=5>2N4b(0LڷSKgmfKa@C ^v2X:zo~NTRsrCZPw]CsG'ZNB\>6ru阚, |V g JO[y `(u2LhLȄ)Ҵb 4lՋJ?@b6|UpBh*v 4@7+]+{9|uG-w-y2o#*wY 0s.ȡt@\VA]Wxȥ}jmaRaq7tΫmQmy8RhBJA^Dt0f%,뛅qS~zCoii Nvn?B7oGltwwm$u`LDa []Ҥ`rXy,æVTѢ\KSkAw> wK^Hd>އ-5X b,"Z5&y}P)cG3a1$Fqw iւGI,B[=Dޯ2 w*VzĚw)e 3X6hZ^ϢE 4_ֵ.跘fL5[ Ng ?rPh<4=GKsbL NiO1 DOt(KM .`Pbj*vĎ>T8eeiUqLaCY : ξ;?Ʌt07s ![1^px"&>?6R[ \@|BF:W""vΜQ^݅RP!& tTIR^u_j$rC4%`WUWJЧ .jjT :T\6tH3.eisFL=jiM[ gYZ9407a1e221c4a4d19987e875bbbae602629e454531f92072f849172c668aadca4c36428f18253840 f4c94c0ca96ddff5e9f0f099a1e3675d52614af6 95f3f69a0818d1a2c83fb8eebb377ab309e75b5b   ZF-UNITY