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  Z Z7 $D / WHATandWHERE_Security:threads=2elapsed=48.906cpu=86.064gc=2.288factor=1.767zXZִF! +t ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸EA,w L>[*ZCJ3q ׯǚ (aBnQ,^l~OgS_IE E#*E7LEƪw87[{0gF#HO6UP[CP!۔|~pŔ#/emt3!5Ļ8hRl X |ZsIU(q+\1p8  Qo{. MU`^7WnrdU@1p;XRDIش_fp%.UgEЈ^(:[*"q|ʳC;wea(#Q_X\Vax;W ]O7XA_ FɍL#oHatD!\eP?$,%=/صȊ0k-#bUqNHԎL\5Uo-|tm{F1KkV.9:+eƩ1] 7 WHATandWHERE_Security(9 N(Rg~0pkvWieOW5[M,+瘀* o _?U42"[x%#!W?dj6a. B9[?P,5Cv34*٫ ou1v$$4Q2f(%M˧U[T z<~<dt6j}I+ Oaw+2%ȹysyir/ŦeiL&kͼlS|K^( X˺قa ^W:aL镖.mBoR((]<*$Q#RUR* ӑGwzU #uLԩ?gR8 s̘1 j8mD,8-3 3b.:oAM'% Љs2pȤ^[dRVaO ^#^iBۖ~ܖKSsKD~Ox"Rrxs!J lr1 9Y<1睕O;շp)Iq5~޿wysh4HOVeg1 `me@>hppOUur9EEe '. ~c7eF>5#"^$#5 q{u #h}L{aA>䇫uPw T_f3g׌ydđ\.gA/ĘҶ Af uaz8Ϳ8L*t&5z mH@.,eu7Cd[TG)!nsnZ K  u9'^ a+qT#ʮ1;m NºPZ]"Hfs =Xta>]Zp2H5̺?"hZaSh?ÉK=hPq-w>6~D<ȧ5"!Uew{88_/űwb^G2^($2L CR7zc+4)]hyo0h?2; 9RܜƜgʖK+w }䷬廙`-+H/KdqkNET$,^4c#ƶ!3zs>oŬoZ&d(Q"frj j]=q/Fcih%wz$x><>`;*ڭ.s b!ŜϚWކ}X_!Dɰ5wK$ ISS!%g0D;'ᖹ0a l\%ڻ{>۾E)ݶϪN.3i}Ԥ G;ɔ u$)Јm}?h[DelrTPXW[UPw<<ߦsE$:$jg|^aYi2R؇Ͼ-,qHJzT@Ж>.JfƚX:D¦&6 kXC.0u_S͌*B,*Zza N먂;vPj$51#Y3haS.| ,]mՐLvEP_£TWO3'J>g{99iH@bFg(ď:pU1)=ʇǃ 6+)svp$<N~x^LC Ztj=P˚fg;5~6] Ud9eGZ bpՀC3d Wjt_C:PQ]!D4ۮXq]WMd4DT-7F >HNqf`.PC!cU.CLV;$m۠LOY*>3bC)7Al5O*ɟtW<8#A?/✪<7qmzÒG܄:>GȶQ$\Kxw hRCR~o*#x偞 UX.I:,Vzڵɇ|ӽZs.Vdb]U2|c\#jZ]H3uh%:$1<R}Dqp&Z! lpr2?xÇ 6NO(t/ע(SdܬsĒBZVm0Lh{!N`1 Z5uM@nZ BR9Ա ^}&<3BM4 A] UYnqr1L7He(s!R͓WK,GoFYIv'<#Eds5 !f=9 A3oe!HVz4^2*f(#>gW\ܜ\̸$<瓩O6 '|n,8<