SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 r#, S]HOL-Algebra:threads=6elapsed=45.738cpu=174.792gc=9.236factor=3.827zXZִF! g N]ŗXf1-q恈\T,rB I|2C;" FEI!QK&b}y1?4'#TiǛ_ L=``Lk50p 6aO3(P=8.h(+; -2E Цв\:=GR8}iBҟ{; )EY1S.2LU.\~-,:'8'!z.{=W-#I@ܿGJQxemNY1r?/yNU҃ U/ö%pJ.h6.96x^RHv*G4ݨ@l&7s=a5aܼm)à;֞S1Td!rK5;몮"TMéCTb@{v54a_=Xv)I/oHXqg靱w:/>4hZ՝T̎3*w"a߇=4YZ1SPt>vס{V脿3k~K%;˨P* pfry.KaX V@`}~ccjsKёf+Y s0׿º`[d]E/!i-ϫrA`ڑ-mive{F/&`Q[XLO-@$"fj#n G:?E Wz<+1Ult(N,A7zTaW>#gzDn=,Q _Ey3YNB 4e?@9(ѕ簩tfu{$H{ͻb (q3:W(&$*:&K-z8Y3\$o f\yDe2 7 f0#܀擵3\d2?RF~;ԽIJ*{ 1W`-v̥?W}z s!KYC&=3)]{)x!,mS녢q(D\Ŀ_x `j`T|k碡?~}IN\T=pwF&.HMIB&: V)E6jDAAtCWurQQi-|B*;aڧvDI8Sf g\e=">卹 Z Opju1ZQЀsQ *Wyథ<#F)Fw! kI*fZ\Y@$MŇ44^{Ǥ f|/yʦ4?N'9^vW%daFx,_6 s~%?rQ@*F Ap@m\'FA8J " C_ 7ǶÇR_aש{{؀˱>L (`YJ܌vN&dǙ5&:pΖA<@+,XjkhqFgŔr[lTv*s%qlt, ,8՚Be ȆM+B6̈`_Ի)t#:뀒D-xa{)5i\wHTS#!_4@ Rjx!a%Ps_͔\Oe ܸԈJG2+1,]`[SWoH`]"3 }[gr#֭ Y^ A^/0uR'h6Օ݀ ' Zە`iU1urTkR8 L Xd7rc>+߀Vkyp< KJfm=Wnv7SY(|@#ȹuҨW5~#| 'J!h)^ tc&I5#!2K\D ]cl[Um q.I_5<ڙ@œOdVI1, _#چYza٠SftP>ZΏ^w5 2aj4dz]t)+]O5ةHzF`A?;arL^"S YY@& rr߅\ju9)Nx> }1 Q~9R@I}}rU64}Pt@$+{ l@?,26"D{Q< `I9E a"n#Jq~2QGRp t"JM!,x}Uw]p[jϵ(#L~` # HOL-Algebras.T@ +V#ȸaFԄw%ecE _QPu{a}T%-J(1k:[b{cr P$ $Gy?ysqtG FL E_z ƪ?"r q u _Mo*i{^1^vh` Y{;MS<~@h @9^J,Ha oc|dM_.#*,j 44PhV"V E^.gYl)BI_ߚq$KY(`Tձ}3-e8UڏBePr/k3xZV%#Gv#&?7]Ɣ ;}ߡ&r, .s0S6]@.גp(LKZ ק/z|(q󤜣h닇hd=E(udKM2́>1+i q\}E|s*/C,LҐgpl2)h '+Yj\=0 EH=Ɯ-Nw/t9Q{k2;PNY6td4qM6>;Y=y-J;fO$ZpȭikH-KSUY@eX Ɓ7Qp4tݠ A*LaBA{}cs[#&_EO2A: Yab'RZ )B(4qB|9asȏ]&P s}+{u&Nb=c<ߔ[]mfc`/ L'!Q"1 llwV⯣nI.`-1.gfUqcCI㥯3 C /|~}{<v[.^ڝg{wW꼍1==ܤ[DƯ#$O%XC#%_ns|U.sڿI";z|<#( j|Ak(0E 33`X<5m) EnNMŜ8SroڼӾ2XNt~pS6nlބ.P!{Ǔ[MHۊNR 쀻e<яk(TցM鳢R),O^0(ܑ@f,|GY((N=f\#+X:3BP0㾢6!NśFWe4D`2 A.yqËmE_+'U餾M%3GPG+]℔T#HoF "oq0?Th+ }IC"<.aLc:#=87!9٠=xlO[5y)iT\0:}+@ɩ+V+(Y`V7*TԦa\q͂{))kוÄ˷*aNFHY(2,<¤ynĺ6-Д!7},M[cn$\ƕR@Ck]Ďtu n5 MBDUywdJQy''BN.(L|S:s