SQLite format 3@ . BBh77otableisabelle_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  X,6tށ.~KY+ H$ m:c<3p=`$YѓM{9s`>rHiFI#UFV;Gͣ~0Aϴ.M 3 Gn ] CʊL :H/ WjkX`Mln=.~#ќuXg' 6DQW{4i J$#2\55F8V${6ޓV8 4Kr8#̘#8o኷d+BX~}ԏN :t:\t{_.$u$Tk!'";+n Fʞk.H'#$J-^Yg-VE^l΅/W7`p"iXdWvNZj梧|XNN}n+b$ 1m270¡ʠr oӍ{?^nٗpԛy]uB."(=pjb: 8:s0)3 vp$ib0jLC'<ߡMtu[8;A[⮱_'ˀJzC&pޫ2>pKTø+̓9,}?k {CƿXATZxJR;kkT©$j[L:N gqthr.q(); $I7y㥏ee" ]i2 ^fLg4\bkKgG?S!^^zox*k2GĒVvjxB,;0e,QFlH[@R!y ³{T}1S0 wxqijGSq+MaYQwFHvddbG`|թVhW4kWVHdDl\ S:qG$%:ɪM͞/لN_7s(I=-_?p,?)Au]Uly^Gb1,'bW#j>m3 cG %Jd' cFv\o12wX a0ڃ   HOL-IMPo|DU EY߸3Kvh\B9 /=s۟[ۿ0ApN8i@3ϷY Z֒cS49)Rz8Z`)QE#W\"Y1+%i1t`s%]Ⰲa1ټU)zYF`*e 'FL8HqVL7i3ZYgd9Q%Yv˭S%pT/d4(!NS9Q8. 6R.{VToI2s g[zt<\Ű x@Zq3ޭzR8 > w Uk6&v}͉+Q'*_߇q(}}*JPXYJ\i* GEG@;O鴺+e~Cٺij_-AS۶&j#7<'ɭs(4#q/\@ԓZXgZXeͼ>-:΁ɂ@/ڵ r^HҦv ,ҢgJL^K iV/#Ai'MA@]ʎ@ 6J|Ǡ:Rx~.tIuP: 9NፈJ9 HPP`lyŅai9B8*-Vre[ nw\ᐝ\hv@hߢĩ3N4~ ĸ!:;f<( 9;MlAP$fi JhJu?(`{ 9vy/{ނ҈E;gYZ7zXZִF! ,rq]ŗXi%;9):<@obйXS)<5z+F* B@dn3cxDn'& Ra|6("@ZљԥCPYE B]t#w=vί틗2l>q/iVH (61FfSX{q9B}Ak݅;2g$xB?u}ba<[BBn^L |ނ;,Ea@ PJG8S~#(@97_ke*djAsyMcWEh'z UKdEk#jR2@֢aXs׊u2133 ʋs l塸꿧Ri}d{ "'\Y~ =`b=D7J"V^on 'ɤn;cʏ~Ik53wO)Hui(>&Yv7*EC=-LGO gTٖy8]*u^}T`]"8`8CQh܈<=i+P*;6Dw% T̈.BV%LOX%$4"L ǚ.h94gج+q[<=BF;*rE5$쨦#Xވ%! ڢe 7/ sìJ_oE5M5jL_ .BnӎA.h=񷩷6>OՕNW;t߻ g@R+0`C&W奷jn߇?O:հ}`ɇT9ygöA*-9PJje.ꍞIҺ:Rk=54t[- #^+eTa2B N}4 1[#Rc10j5PZ_(anT.~@N%!Tdt.6˟WsiJV"=8xjdJTǚ$|e*iĥm ԃĚƵP0C@U&BM"̙h=QdAʶ:У})[ۏq~(n5]2m E,({ޏ/* xǍݴp[-abn9W+hE< 6Gn1m1fsҥƆ:;H+zPx.Ӭ Ab ImtȰͯ-j1/Q)Fĵi'Bnb]wL!NF[Đ*p 5Q3'H&"ˣA~y4@ۻZ0T>MjFo%%[(M*gR>&<aX3m,7^|A6wc= ڎe]G i\ \]@S`&&2[}(AI4SWH$80@m!5кl+/ S΄IK{J&)ʀf+c X(h+%A xd?E&fI[ xdi)>dAM׈i4Ls6u2 Ҧbdo0j-Gn׸hqA{)XIX DUmJ z/z< ;9Spܹ#ɯRb7by-i'åѪx؞}6Q ͑Asp-4Uwgj.B[ y ܁d;#喊*~kvB*Jk_SsW"_-P2׫ "C>5UE. 'Pm1t>\du|ba, 7QRn0) rLN^vWJԽiBBB i%?2LTϯ tIr*PʖвbKx?B~Tu6Y&5\t2Sݳ\3 OpsクTt*Yw3vv2pwVFߌrS U; niyL%n׽zOdDh<Æ Yq u4FbJdөQSÑG+O,![&{tS3-1t % ˜(967r`JdI)El fUj=s!xd$˖nk+DZg ȅ lHuEKe)!!/@1h˧ R!AxdAW%roIH%2l:Z:ms~4]Z Xm6cC/H&d u1wU$COnX芖K DY:fl,2-$xA10yd镋(?goߙ;vy>DtҪe t/ 8Eb UMB+{rB4Ln-?VR9=9]~'$2蹡&EWJ>)I5b ҠCbǷ)ثnſ{/9hSUN-75u1 K`{95/*aWS2٧*iAe"Џ^{WUd*y͞/01ٍz 5S!ۥ)fkk8@ԑzhlGzP \ ƹJ~'ZX)5ƨ8 W zl:_vhEOdG(\}e77>1Ї\a+-uDdDh+kk4@g:՟z{IrX\coE ncpH .9jPP;Z.= aV`(ML.'$;ӫӳ nbFV!ޙ:qRJcMѶM3 YU7L =Hc70GvH2SLyx6Ef_|\~hʆ]k6"~5JHJi~fwmĴ-or=ˣp X% }0;OJU<8!46L=qb_yQkDP/mxEO% uO-Fpi*a:*2'eZ%4pdFU?-C2c[ "xpN .Z$yU.wmflB!d?۞ ;2Dd6 ?H% !q#G't*N85oPb:kCegM=EWCě)gjv0!T7\VM{c]o8z8|:͓['CE=(d,Q>Y4:I3dH^JEUK}$TY .RgK;̥uRQK6sOh"$MB'p5u2*M[NظVn"FR_#-g# [M&9`n@(޾)kޱgYZed461f02443553a1a7493f6ed96a59ba53131e1b10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffe