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  /)< eS]Incompleteness:threads=2elapsed=564.343cpu=1102.468gc=16.996factor=1.957zXZִF! _MU]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"tAk}ĎOkp`Ζq)ƖxOH&uϤ]:pV$@y^0+D0Be\rѦ ܝaݵsA-f *SτaAfOڀvT%ͤ=Ռ2gR:8ة` ғY:n˧ZxkyH_"̙@__lV,cEU7".܊Z%zdxWwvr݁x Ec抿ٱ.N?<dTNd < UͤNN&pL2[}F̌#h|nOٌHS4dMfG\[ Bx9Tl0!;(N-qsܶXŽHd&Me]X*>΄y~#*NhLNb'ގIDLL@!259>0fn=@'Mi*iygeړ"4`1"n{ZԢW)3uƒ# &c{r'"Xp,^hms>aCRD9gK X7ӛ^R=}] ) IncompletenessSHE6y5 >uY Y[FL5 _qk@, ID(}g\m9Λ֊cH t&~XL 6f!n&]jdbsqAYK@_\@q1lO@]ˋf ' i;&M\""*Q_ (閩tvh 79#v.R(SU$(*t.9[f`Buk]λŴt;\y'|4'5ة&mxWiB$>`D3v#˖}uQ~ Ko-IngG鉮 o(9ƤHP92dNJ;3徍k*uN\Mk+HM6" F?r|1R,t}k|fIiLu8RԮ:Ɵ@kD-ޡ8@!u;N,0 CB9Mv+ks 4({7Sаfw:TJ:.Wz3˵JxxX%l"?RAĉ㩍qdFvT|̝ #m<>7R hF$k ҙJ+$ZG_wEseկ =5XتY2Is;Q7%e?mmk=I'I4\K>mNjw$`h1hbAL>8Xgᷣ 00߾Þ uHdوO唢,†IPKio s7^*KDl^$AWtSͣYYkkjD'>(TVUx?qCeiplc6ikI0ُp%%{/\S+3l~)3D"<#P]jOdjNt/ OFO|J;#A00S #'dCrKQD)Jgʉ%A<1`@ņV:IRBL"4֔?_l[!6 0]?rPZ3k:HGm}ޭQp.d_15|%)]Kv35xo+~ Փ9< it24ۆ ͢#jvAʧčk(=ώIpQ^Vk$e*)Qec zkڐɚ>w4 m`"]$O\o=u4w)u욇a?]y k<0r2kW0-+Ԣ ڧ I1}-=V{D)W%rԪxmMڀ9\/`t/`,4/xlfJٳ;vtƩ W!1 ϫ䦮11wQrsm8_?w$ȀL7tpb:]yXK.X'`Ҝ= mj͍c^}.0`ß2:5%QuDFiro]«{`d+'x2n[6XNKCzB]p`lf@#.)VONҤ8@}?XƋc66Ë@t䂑Y;[J:ws4GhmfDȸ_Qk0\P@ۑ|2e~47"Erp.L3i,F T'8;h13Q#&{ 7,i>ʥ78VI=:ߝ렁NOP0H,@_@@j^M 5@אlܹw2FE.]'Ԁ3(U1* 1=4T q1a{PTV9| b?Boz~%;L/0r]m]K#lI5Dzr.ýF*e+YޘdG[J.?yP:~N<͙Ӂ #&b˅Ogm.kg~O{ Sᔷe+q&cdeȶўr c.*riyw,QĔϕ8NR ;$+40'Fhҵ)͵6Xv /N%NIA4 H 컓fǟͨ/. 8`Y~'YEݜpڠy\_VNDkҺqm9׾-2 LUnOVx(Rx"Ï^ {E8/S89+QrxxΜܹ38T@ET,?g0Edura1/*fQ2..DVB8_c\F;ǔ/ޚ"uZwl|rdQtqT 4fi =)pBƸ6PO<kҶ1 peO\WP|jC)kyu-__˪jZeF#RDwp?$ Èco.Y]jl & _b ' zΧ tp|zʅEtl8zbD@e|&C 76bsۖ*\GnT_ 80V^.W7a#{v@%q`0.aY{ߏ2)I-l**'e vIXm2ukУ19kB\b\RƐOwJX9'좆4y* ~ fx @E邩D,0/[Rb;Ͼi~GW&o2FrbnJ1L9iMUrp{XG rUt3M>k\i ?45^nY|ƅ G C@xpVCGM[ ؼ'|&ovUK^-ZE?Џ:@OQ~d݋$JTjt-9 Jp'[/M ^ !Ctג-N[lpׁg. w51f PL,}Q4?ȵ7Yқ jXeT=dtm%qb3tqyYj&y,߲ϲyβ |(d(?oD7E0q D-"[!L}pb{~|tDBڍZH}N TY'3 9<%w5ZLƪz&io/Y"C=R S<.f]&YT摣+*0"* oW`aTZwt̫gy}4mc |J .4X 1gNT9`XV(J/ovI; j;{ 2;3qTI8Z! u{Quں ~hDkaG9nxYQq>l#t83N=CYc֞#A1ƧFNz p<4,1}:2ޑ-!&[n&%bxwv.V' &Bе.ܬ|Q dM= {5ƍZ uQ Ө=)1u-U-RȢh1?<ݰ4EuK)D ^zH$.\qs& '~*#ɯٰ*: me8%M!mfKREb63Ҭz*^ܲhc(q57l0@lsKA ț/ЦWwk({xpxxv t1hEb%;Ҕe-"9pڐtT(RG5 /G8{? =*z~iN xCWll9g킆Y/[?Yך9u ?#4JU@s~Dxg5X'/Mp|F`cw""Jŭڟ a0gLnձU.sT -߹SkS*\{<pjq:u#-!o{ ottZ#յʛΰdǚXc,Ф;m5weԞ1't@m 5g dBW~fl2:f&2E2?F)o wP}J 5qi@bq*Y+o Y {,%5 ȴy|jA Z@'d~G{r=J,`ڨS^<3n*)mgWN*K =#nEQ3$ J '#߻2Dy7ɃB~Mtr XfT~`%4 u kw\RVj|ǢYa%omuW:i{brڠtC$Ԁn5cE*μK}&RwZ~IbrZ,3uG@L\ oCrw d^r;s٦WqXhQ Zv-5GrW(I1umQCpmi ; :-1P 7#~|>vD)Cm k>QO&]h UיruͽYm*}(e<\,hNfSO4˥CEy7k2mqg80JjՇI2tN-hﲶ2 rFr orbDu'3 %-ɌXl|nu =(դr qL29A/|@~yL H%C/^[u3(t&N 'Su񦮸y=@j(Rb)TX/s¹:߅駉2/:=;!'`ĞJZSۆK * eV!'ڒI/n$xIRB%'n &N`sY Za1}!zo:Uv#lx9-= A;6ȳ%D(|e[vlهNJ6gM6/&ÀSu[llմb8zXǹgxgov&=/dd58# A)ƯHѸ;z 4Eaehv>6cĊ+0-0_T<ɐ.ŰoY>˺2ZP 햾ih2ãfۮ^Aw^Y(3'<&^ Qt ~.OdV9d X;UlПOjGo1&}g[3*4"'+uϾS谀PǴ_eYɂ1l= VC蕐5Hdd@ʹ!n IڃC懓*3F/PxgOY|0rRk+_R!HoLp2wdj%kqS)*ٗOGXDvWjo-E?n4tdbʼn,k)v": #qkFaIZT߭AP!&xp>dvX/ԳlTjD7ͫYϐTLL0B[wT9g U714uSd}v E"?*c dZ&X2H7&}e6!waFyX4B+ENz6LdŞ;6m=Acrk 3 #~xm]8fH^Y(5Ru2޾Aw8L!;xO^|JlZTqAb"o*P4+U.@ )eߦw<t4J)@>$43gíɭAI[ܕ*x E_#9zf;PUiXVzpDMQdNcTSɖxa!8~sydhm-XF˦ s>ZzLKTٗ:ˉ^Zb6pMs  ~[m"YJ8e:2UԜl:r$ٽb){u(V2Jgor&+Y:U,wyZgm䮋X7P/ʸy~q|*O>}) b~WU\J+A-BvE]Å&3qJ"QxP {e*qC?MAwt1e{P!Tu} B6ZRLB2m?ݛy{D{N~[dPV)vq7UhhL.s2'Y6,v |Ul%I}|i/G,; X[)|yeN6߉3^O.LBH-ÐQ˗ڢ aj H8fxC_KH*Y.r%(T/#GZ艩}2[y(X>U58D3h}}:UAV{,g5(l͠nH3mmvìXsWDl]ap>Ƞo3Ţu晾<ґjyu++gt^nӐfRm{bԄt"e(s\{i*gú swP@/qjZ*w{x3m'g ޚ,nu (Q ^B!KҮ~I>@Uܙ< ?{j*\M /ϐdJOr<|J;ch0٪U&]z]A]m[AH>|d$v 6ċɅR&6'0021sŋ.YKMaXWftx7C^:Ź[(N~=5F&mg%G `AO|>"vg碍KD7Xr~IT#c?xMֹ=x. 号 v;+ޘ YflRtYEGm5CRNxw-ì)n+u]wMyNu[~$rKPɘֶh-;Cs;i31Q[z䴻Je"-1|LBF׳}Y],mZB[dCT׳# I$ R/iX'YL&Sry|L.[3-:UQTH Ƅ i,;%*e-\ICB%9uW[ܧ>zfL/}'ʮEvHB>Z/z!:xb(^~|NBsH. V9ߦI4?\"g~ H-a"s6;_,1p?\~+Mor8*#Rqa0R." :r"S$HG *IKBg${D (Z6:.]:/un=8^[xZa1nh"Mƃ՟tgrpXE ÐǨKkn,L?*D E0F¶2?Qۇ,2NE7ym,$ N)O"XvkS+yb#MLİj.fl){·q8z_g#"\|ADsۂ㶂G~ S:Pb4vB@߁[ױͱ-93 ߀t}7[<ֵwߙ 2$yݧT0\Y'M*M+Aݥ/3'J%H<:hXpxRfĮ~lR[ig3IR IgD4C=#^"\W $p-PeaSSwt( uDϷ+e spQ-#ŗj!]pϢߜ D'aJ$ёZkNNƠ,"m1ME-,U(38􂋡u**([!^S% @a9?URsheQnƪl#OSe{E΋Esl3'zqIY t#;=-aKؾqeuC*5<KݮX luH*v5Jbu]# ?%0LgGz&L*j@>a_z7Ǟ#"ŸvELؽ/Rۛ`f0XT@2e>insdc ".Q5T%vH45VûT .Jz_nق74ȯy#.mC-K8VQ6(?Qfv Vu"t9_fQ;vS1iOuabVKĪZqWo<{Ox&Oi򫁸,t\Jg~0@yfʹF]13YR,G4Lk70tEƸ% "uw_irKuOGKo =Du|t`eEw?=EG;?xt a"VfF#/A7~q5֯KC:' +G8,ϝI8D'9hR[׆XgKz҅ l357|}*c1 k&hX@pQ'ݛD,1XSh8H"u&['=T,.IRaij †ȣq!"@S@[Xi~@z7"#bZь*A%vRE&$)LGk̰\V%yMp"Xw,WN.s*oM Z9˘C]ۓ2oVyIH'â#D>6S"wsp]Gk˃OrG8So|[9sQ?;09FPzqTA`IQrÍvqPs5ok*,(.HN] h(! utO7Mף.5pT4}\,hB]☪AD~(í  p8Gqy{VtȂtQf\߽Ҹ[6Jԣ&m9_JN`:-{l aȿ.b' kX<Ħ]f4bT\roEptQJoXgv3xݞ6ixI9RwǖZ8`fX(^r'bǢie.4n<͞l C(q}tB8ewuٻXbtK~aSr B@]2jCAdHX~H6T 7X\'#ƭ2^.I|kFeH53 y bwKGU@6F$9 ɛ1&ȝO/}*AHALn;8/;@Qv~\e-Xϥc/M࠼85w/]m :mNd2f<xcpx$9nRpVZʀy[u0pu!#{)Np2R96A VSh \bKV" P@Zb5)ArA)Aľ όډ/c|I83ϗ/G\Ӡђ|C. RI-ZVE`ci#GJf5g#Bڦ2G!rEKjRe>^[(Wb]?lQZL{dyL~*_"P<0 U{4- 4M腍K6DMEMP6[ac keQGA|%B5R|\_XA`:c^8_[:V[V:c^y@tX1=8ȽYܖ|0LG~a 礁?%S=3ke<]ɇlN>jR|z#J-[ץMߥY0z>7 8,5 m( t8$iPkzx6  j B(GvKqSݪSzV=J$(hgv{ WPSR6;[,l0!F_{}מj\``e˦_dٚقl^mXprJ"W ƌ| ~1TcO,Y[?oܞӂºdjC8Sbt{`݋/v50L7ؖѐbԇ(H֣w_Bkk]%}a˦_jfRm^&o_yYul#9%B$Ui4_蛥髕Xyy~",qC:ʲ#{[u9ƊnN{՘.Uo!Y_^Y2H|Xx榊1`o]nyݧN 85~)qAN9s2u~ܺR+:_ STQ˹ggCm-p%w@ig`ʊc?LVNj'Wх/Y]J"g -*SdĕAgi'pQ6M6{+>uXYK[Y1H/޳%sQf>䷿,> mg_Y>dZs2vŧߗ:=o#&%+ɕJ OQf~m+ˋ@XsVN6ߦB].Gv w=+y?0֖_ƅ?+7/q\蝱8 دeľ@~&3hA&ATp }uMlS$O)P >MifcѶ&ҳ"QׁXNX,c!>'H-UQ MڋO"nW8Dt'N4lT ej-|r.F2d[*ưQfD^DɥtW_ (sU J 'h{LPLfwzQ ҫH(|q't2Et,Uc +9o/!I,$1pDP1@q/%Wݘ1ny–5 @=~O`%0(eД\rc'>GK mgT˓$KJnu텫jΜ:?USQo&(AY Y$(;e}ΒFybw(и&"1_țPEjڀe}WV RNz3|Je`8M u[0̈ fy k&?C 0، "?1 $`q<kߪiװ|#Ǜrmsz?}E~{RT4~a~p+E)!>R/,YD+O^_9V+^\ej7m{h {H4v " ꋊ(5gc)QtFQwXmnTĉ.?":HbC80bxGhZ_"|X:ɈK'mN؁Z ߦ/Lނ6ͼB׶x 0o&=ޏ ̥{i%\a^ޡ4a0-MD]b7WL P@A~Z\6j!V'^%c`d.~.)Z@ǫZuȵ/h1'Rbqԧa%^?B{ic|k wrI.BN9:-eE>hSwu?vnDOt!ΦJcvܢ x @6m'I}; 'jߓ J߻x'5j]bС@׀OU^/yB('u.ڙDxΫ%?EXx݆U5Ic\4 Q;8.hC< 8k=̓68cfC3ܵ \ѷ ݓʰ9վɠRY!2ucEQEjla9a>E8}dUhgM]F,_ͬɿ:,J4pV,sc~Wt$Ŀ0Y[UR -2|3>P x `i-`Qʳ$ LP ſE~[vI (FRMُ.)i=gsxti=QsGJ\揯l˽<3RuF^0fU {(@V^;)=l^U 9vn&Ѡ$j)"]I`:ip\]ݶn,j,lJ,,5p [+>AT&E= #8Q -"f|`$r;GݫOjw|UCmԏ /"á S zIt2OUXUy0C5@F`v%E! @Wzu}t9 \Y q(L.#E,+k+gA0:uɑڏI j1`@>%d4B$HY^q;8=kq,ܫ(TT}*t,$YioȤ dYLA [|KC//낚Z ӰA@]C#Um*Sd~lhkF\ʜ(1nI3m%UZ)kDkSnXr ')_\OsC仒GqmU-A7JŌVCk;/PF_.x-kVu^39@i;ʯ*K `ox92y3c yi!dvUs*1/+K%H܎Vn>  v\81IӚJ֙$xYl ~ٗJ&6;8DU a[p66ֽW1ggS |Zt;vӮ<N uML9out9bdxlep/ ɐ؏ڲkГO:lL ׌~!cȐI=}X"U/iR8$̦ODSd%}.x‹㧨Eߧ\}yC:.]ZΚT"'TaD.xq `IU5tH3aE3K_dCг9K>ro1qsQ`#S*͘'Qfw2ФdqN6HKHvHZٱFsR ~dc4k7nݔ#?(#\2)k*wK}Ysg|6L‡]iLXsnIxgImvvKGMll0:р&XЦVxQ${KTYdm둌E]鴩3'@H(Ǒw1ť^<-WTkL)8mDtor]tp[7EvZ:x.Q[auwh%UTgV-&^+$.$pY,+0Ͱ=*rc*‘4a ,4.x=owzڵXɞG- žS|~H! C`9ywsjͬK9P[dwBSɼ4Ľ N Bj\X,O c?-ڋwГy+X^<>/l$G)Qe{UgYZ7zXZִF! yn<]ŗXi%s;yν)Ѐ?zIJSuv*c,k"9~nk:CQr]rz&<0^lū1q 2O}#C9{cKrLn*FWN&iS3M镨XYv_X @7κ C3D^]*C i26;R`| oZ>C̅ $ݐE/o/:\"[q *z×)sq{d Vp,4'GЯ{;w\.HYiUN(p {3D`PN gƠ?[|u4\w><ǠmJ,YีNIMX? ꗘVez5M3/4e`IRG2Y:M@MٵGF2s\~>J-b8ӟS|R$uþ8džv8Q$FhI\FX0\H>cyB T=/UO̬f^worB]yJpD$0x|>Rv[W O lÕBf]>.['mb}_1{zq| Ļ&FAz'Uy zG6|}%pjLT鷘C|*xKw`oFa %%/d`bS{CHO)$@Y}m>[6{:$Evɮ:c+ldO9 5kbiT_!lK 8W|ˁ /HEhq[謲76 85\3OõK2Dieٙ 8L;2V){ڿE9&&tx7m u2Q[H WEǐ5^7C>#^Eֹb F0,t1lGRV~!8hC6Dup[OC(>v?7[+7=ldvw%v1#f"|?@{"DuBHkZ瑏2H/3A9Du^s)C'VTI7besX5z1w/ǢsB UDQq*h苐5W1e6^+zrX;֐yu>6rhO_*(3| ,N(hU*L+z5N׳_ W ;s͝ՀӣfKzS#1ueeI!eGA1 wb3c}r3 `嚍wʼWiX<#.6 H- Ȣ>!/#] S4l /j|ҽ̈́nc&@(Z żruYs ;8GKA3's}i+CD{2]i%U~RP,NW&=uH.vx^n)p01BaeȟD"+ <P΋{EUɄl󪧦OkB ėvZad+aa>IHZ+K]3BX=*^^}붘!%$沧.P#n~.o1J6TzĎqEGx@@1&nUu[uQ)l7,|d¶eļQ2Gݕsj݄5]iس{Pc.u P*)n #ķp>xmJnFgl!xg^xX~Pr'LqP`cŹ40wyv5kXHYWFejԡ~θ g[ F2$ T>PZ?C-?vօ ?gΣ4ӍAf-1d]O6 E-atp.W/KcJKSy2%6au* ڔ@+Xđ)7[FN_5C>F?{fl7mxݬAqWȋPս%;;ϰt)N`83b5C`gϪJ[t5B,nbB}OB-T4#MfXh8YMT).Qy =g =8 vR꽡k+)&H}3RLg36ji5zUeEŞ: &NᤰgB6 "?20rV7G^ص+Kaj߹s#t`_~U QG @Fc )i~ J*dn7Ga/Qp6sNǘ[$QdO<`LB $@ BFqȭʊ\֨ }Cw?g*Z{㛻+˜k>Y֍9+gEHRľY&2}"SzVg*mzpDBpB Fh,m9:}aLi"uaʸ@[{&Uڌ #hQq%R(`3l.뗗Q`V^`.^BCOfdC0pp%l7]?v+% e;Y\&¾~ ߉C_} ;9Li){~"e䧐0Ũ*BEr#,U iy!1vBE&@T<¿s,&?>kxACV,Zf#)g"ly)("re{/蝕5AW33Lv1]H=J(1컷) ?hgA4cN/qav~)`%ejmYYl(U_]D`<0;q0pO?lTgk`6HC I77(#(Ҝ& k'딃˪̔w+4Һ NP>  ̣eLnQTBp'j0S`Ĵb"'VĢuFDoѶc۰Ӯ>" ᰸'\aZxE;T߄t#P $?cb9;6v(y_6sUh23OʆT`$3݇>(',qh)C] 4WD1ě*zbl0DYL%I#hS 7:n5gbBI?&>u IW)IqrND_{Ag'TK[!ʔ=$&tQ#տpLo)SKJƙ%ٗmLd~i6uJ{ ":a8sY=q նnX}ΐ/-6J4~&te.SÝ1לHsW(N/TqV¡  \M ".\'Al4DxyrC#-ubg|TP 57xY"*U @ۭ?z/T}GDuVhZbT5ɋ_%xͭH^ۮ ѲYتS+eUz R>9Ǝ:L5p$Q/>V:1aI[mS2h6n:hgBQ*W:+Sg#͍ܿM 3|D̾%AcRa1D[`],]ep8\( j}"Xx<$.w&v}*Z)Sm6UMP{,7[!^PZ(6={+ $4`n_8S#VbS4dUIԟ͢(tRIP0*>J~?+TBæXzz,/h:T׉QjP #,(lE e4ؗĚLZt2e o0ko^P$q39e@YEP)wkVH #2۩ Q㐷ʦ@TSD ZR?;8.}69"Fwu;4]IWlbxwJ='L9/T;SM%7[d9{Vzda?!9t1m{0QI~MkAdSkQ՞O'-|cT%HMyݛ-].lgg*4 &ssR}k\\#=v\gX*daNgTGj=BwЫCtvv94ǍAXB|Q3vRis~ vjOGyE)֝fQ&br@,d i-`.]2xo"` n>H*Xjйtd\_mP`{a4sGN'1yܮ'}` ̫A45fx߂h6|) _|2b\l,4 lfEvWAbu.vȪ$>2޺@r2nc"^ ,vs.F|.76͝/wߎ wi q}&!Y)CF=[`_<ꀧgU怱Ų!6}YP:fl .8ٖ܂ĸ{yu۪n!MdĺJt@Z3LEwG%!]-`^MO5㪌$c~}'h=8 eŝѼDWC{uf¯N-1]FɸeE|.` 8օdlj@NiS}M8T RamRԼCEd[&F^ʧ=Z>IeY0bgKq|x?~EG: {[n{;B ; Ak腢BЖY{O`dj#)^`, Ā_.k.Klp"wRtg,zg!< }' WU9+?7ud1Zf-e0ْR%RF}{/Qt $trqȦWQD 5NW QHڵ}? ٤nҹ W<١ZLXs9aO?EzYh1M`φ⮝k9U~[Oc̊^1aMI} :&|o^SQ* ^3osD=u5^%󕮰02Hж].!;:h u` 0]~D;?ҢcW]>ZLtc;{ºAAkUsv*Szt!8ȆNmAW`XˤNdB0!z;t|%ڠp wϢP^ Tf#%23s,Ҹjw|mz:gWxI j~EuԽbXAfwL{EybJ`x1-e]+W$o'd!SȐ2 Qg^JJMfd 8o~CYllzjvV6Ì_.5J>׬LZW ? zdK'UFkxI):gM7cBsKqY;:nI{g?,l7@q*cҾSvYwCz̾vlf1GOum vOSK\W g7W՟ CEp^5߾i 7}(s^ ۗ&"#Lᔍ\|2FNZIJtiE{5șdk} /B؟X'<; zݢɳ>"# 3>#akkHr&[!vsruqv%ڹZJoN":˪ҔKn`D.q6ˡdәl,c&Jk1!((sf %ZB`ߌxhSOaʈy&';0sk8CcigzKsӱz3ObWooO+#Lwzu98DD>fq&XZC7x6Γ]h^3eyyUn#nR'H2-.yb,K8o6 <«mqQxSLuT۝u5‚da7Y3AU- c_EvѕP{Me!u_JLA)t(~­~l&)Xvʒ6f_j(\(UJGDV>=]#Nz}&qcڍ j?w[3=Y0fGȓcl;i <㕁D^Gc]gxEMEѽϖx)xh7ڔ^ /e6%\ @v"#Fӄ3.Hm:m=mq{0Gh>3rg.kv! yS{<(p^j~ó Dhu)I'0R,Y@tr M ,ྷuVŁuiWd .9lO&]! -ޱߝ@KƖklB)F0s - @ ._ BAL+-V p7QD)CMdES)=1E[2ψRPyv=xq\oqQTD>BE%z²Q¦Xo.-kMǤ'MjV` @Mou"k{HBo,(frdT~N]XtZ&)a%`26&6v;EGYuܯ <"7Kk%ScƼ=ZvsjPTmM4ǭ< ­{l2#CF?Psz+ӄ?u:鎠 HąU .l٘5>HSWXyT R%w/ nƔ@[؎3xapŋSC<̕CGlGmo2rnO@IPO~p3ɓ@ZvszΩ1ӣtteWnt(`V}\g6 3&$RIKLyjL~k/¾l'[X|H.oI4zQx[HALUr&EBBw ;8Zr1 ׈ѼB?I,u٤䦭ӗ^źZD %Q܂ޭBIjq.'} gǸ?AH#*7GS>/H&]΃/gvl|L:c Q\ oKj~gk ՂrgSrg~fZ1Sr+& n_gHV5 7>>ux%h1_<tkK"d?uqOTT,M׏k26LPT4yZ3cUM Y9DL 7Lz%ע3Ʋ唭<4_ؘCX0YX/ˇOW ݠ7;'*mqN?)ȯ N>[J &?t1"~)Iy@m6j3ۓ j@{thR?Ihl@֤8$*.cG-f9E}a|'co{!둢_C1RƳIGAz ǻlcvBc3 =ҊAp KR5@1If Ȩp!Wj;[F ."En/bPPxcB((&znl]%1m@;{+o,t ٠`I 2C~zk:Nwoi%{\B"tm$M`_oA ak> HQT#$KJQ9^3D<2SK1_ҒZɉ{_מZ+rx8,Al%VZԶm8V쯌=BxU@Cnok   B7Oߕ%SDAK_[^[,*p%OEuuc1Z%m!gw,PьnO\_;kLj)bˎu]oxM'4qY3H1nBXGk $9}p>zƊJ}Vd|K< f) J 4VJ- +䍔MvkխL5--,wdRCe(:9j w߼9Yr0:̷V|% p]k`lr7mdlBwm|@l{pBr=K\Jd+@ϭҘftiLpge xTjz$C].w` ,֦ 3,k5: ggMft2>{A}yzOt:0_\z]!)Ћ"%5'tgGWy>W3 Y|Fp|T.f6=lt XJbdIՒ_o=)y8`yg*xdu\y&]W`yTGjCA`kE&Q׺K ]eߑ]\N: rϭO\ 4A, K5O齫}-!$e@3jcQR-g Ҏ-r *gu&6qa\14He)#Z8,Sl9*b,j(䒭Qӫ#5Aɑv>$(ԑ$lHZ[\/atۭY\PAwEN 2eotFU!v)+ˉsIsqӑ 1Ղ$XȲtASNW莿Lv4Nyo05L/L8wa#檂ٽrB^ֽ-_gWhJ~IHDi7Xf=~b+z)`EXWz_+>FU/ލUBwjk*4S~J!aWNbZ!Y5M?4Kz+3ȴd}FR@j~I~1gTW:?2v,QXh鞯DȟjQLn0t.ߏh"K ؐ"rʚ)f>w-]ؒ̓gȨ>ޭ?*aQq/va&ḘkT0Vvδ%O3$gJ2"LoZ-XB걙@\Q]a;꜀"Q)nߏE8 QR쫤/F/^l\ɿdfzY-w`x$'ٝ_Y`$oڪ8~:i~·sOH>Ee  &We׽^)4yj$o)hQ@3uD:1?qWZsh`0c{y|wGU4/Mx m=W-dg!x1<Ҟ>]RT:,ʓ pKQWA?ab h4p,Z_\[;tZ_Τ|V4,n$EvtVHyiũBO-m>3s^4B",~Ns! =>H'ʿ*!ܛ:}CCV[r(#VD\+%3Mꐇ}u|7pqU1=5gfڟ '^ ' !BRcyV\>7{fF&٠ՍCX Xd8@Dmk% c#q[*p Pm;v y¢-k@q323+ޝM[zm&8o~AǰxH<pKE򦯼_QD6˃-% /DBK@U> gT "Q^\yϜ ֦]AěPv6jU`^NczáG bOr1rr`毮v1rbUĈ8f;D(fj)ן ( @}'alѷ@8Wfk區"7z9d0 ݷKveXkP|#?BYLYֶ/΃ LJ=e$6]2&^u9}#1Wz^hD,§džTĠ7XYrѭ[ϩ&яU(R-nXҫ+wT!DwQW;=AR1:S 15]T[IQvK~b Y):JtL?qW{bk96嘘u=1#©+\cK`:k !ܩE(߯D#'%V*|p1m@k߬3kiȶ0Hܖ!40$Jx3*t=JR{z+FA|+(bⱛi0_&v/jyjcWSvaw>-QM\c8ܯavI-(@  pB='`߇} f8B?'K)O L"!7q/so""v DGG@jXX _n|Yeř2$ba$^ X=jw(̆8mVW$t| N3d-=gLp;Mu+Uk wçߗ^W jyY~)Um]<_t 6Ti2.qʔ~]`znAPϕTE  r` _t_/тn;Cb_GO1]`A'$FI D$HCq5,6dKqkq-s!*s֐NQV`2Ty)?f7;\\/R8ѤM+m$33zjSIƳ#S~I_/قhHSj,f硤ɡ8[GsYv75.x}EF)' 1aVǛ?Ɏ#4Bw oҕ-W7r!=QY_PtrҖ%FX2t Mw YmV1oQl'=4`,_$"̓MHĮцd$C;l> u=^#@寧w xó8k=3L${JIJ ~0/G|<[^7wJ),𕧊٠&B뼠ڮA)+C}M(Jn LD gUT3(oҽ 3ghhh 䡯 2{Lʑ vH'6D@ܒG:q,3g# zНѯ:D[r +Zl \2qaH7{6-U;!'Y$%4ZAWOp3o']Ω{16 sUpK)g8&ߴvmlXM#^a;ҠgiO?$>~+/aY񅰴wLFYƦ~"c4Ox/}Y?XT|UN>Ϲ> 3ri0q96j&P hH:FZj Xˁ$HhYYlH;nbx5cUV IhqW6)KjNDrdKf2밁NAU3 yM_LS['P.M!ׂ'^䲺FT\TpŔύ .iLca!י:ʩ- Nr&b0DaPp.?` wpsЏs.b5QoE2BZ$ ^е@%Xbc[:y-;9PΩ@wzoXx뭦?SO.O+YmJV.$,@ߎ*P ?kSv@?fX;QOЊ۪n]3Sf<MCa^D.D5^B3lLRl)*r8$2f,SgU8ߐˣcfpN4 =Ө("FYhcRaAD:\`2'%@̗m?;[`3Aw9V*hlEy܆AUeЂQV`G?h֒/,LA=4Xwg5Y^%\5: jI@>EP}a8p>f"[e!ٮgY.7apK& YtG֬{|&zYLX0VI2]GhԨcgsnfٶ74vλʒE"lGS1m|pǟwN_/e@;r~ ,`7lo'Rp-C,Dd 0Jl U h0""JlFUŁ_7q<(6E* Tc7/)eSzDga_,4yю,d5OĜ}g?sQ/rA3wB}U@o^;GQPt>٨4ب=.h*ɗ>;g]7:8e}qa޽Y/aC Z`2)$.IJ<-&j]00MAG I-=,G;yefm,(wE`nr@lÊ!`tlāŢ~ecMUc.ͽz"Dvo}=:eY@JYf2 HeJk_vkSn#ifix>8av0ab+]jޤMҌzc/pcee,bsqB%C(8ZQy{7Z@ybP CFӭ-=68dz=t#j7I -Pn=19`_k__*Whv.VYqX%lCǷchR&åsz޴\,#&pO9f^C>ikl+]0 ~"%d.|lP,_䠲jF;1J*d$f1x0C_HsIGSs֙nɱR<\tM9WHxt(0lv݀5dkVԖ:Bdo KcYwksSnԭ,"tS%ʅP΁ZP,<2"#0Kw-/b.㰖rb#ȡY[4J6)ExȄ DFe}دqr!eHR~E;6]g&5awdalL96(4oaàf7Y^Ia ӀxN/kc"k _ m4ǜn#f24Az8 8]]'s!`WeoǬ#g@.jT-ŬeY7ğ@CJ&Ev7\9F],Ifn=U.pe$ʒy#w}G&uReW43Ue/(GD<{P(RG2{os401.ܾ`KY"HnꀙlhcNZl''Cz\#?췎$Qi|oP|I K (ɸh!T"NSP #2wnV 6 c#W[З?w+C$krrbq+oe)Ӱ*j-ZNkՠ\>rJ! zo֠@<:.o8̵z;R۔34#w2L(M_IzhF]oPV-JM{UY"+`B;.3mgxX@e^z [-HZ(BRMɮydp$'T/G̅6uxۺdQ%|F =Ni}čVU~רHe7^cɘG|%:OJXO;_L'Ǟ!y "ܓs>ZV 4Y}cl"w칅OٽGN,\Zc XRtw"d* QLVSzPtٓτt0T}\I Z[1|IOXX#|tZGPӁኝFZ@[{[/:{r$vM]#tl@ֵ&UD-~}y62ٵmHEq8}VSPn:d&{^.O6.2u6ZTf>|Uaw5,CF%f. OȾb_N=}xϹ12w}F)U:Ig O(e@wΖwqY{.4Tkjvv]C1j,SY1xޱ΂JAeL x&Yg {OqGjݧJ g]CL%,uz]WȦ $QߙgT T=J~fzR#M t,/֗7oY NRqVJ?HǑ#s'u_ۙD/_oc`lX sb>b ejg]F Kϣ9f;$ ͨh4ܤsP a?囍5Rɴ)w$yg89o(ꦻ>$"rDw [v~x.VMm3gT?|g.bؖ~|YrsBlmKL&2y``bDm<Kzj%kXb ˉT7n8;k4D9؅įQJN_KW'8:MK+KEG&J!5!ƭ3|Yxi@zEc' %(iC'Pi[oCw<3B$o:P7dCc*TGɒUWXkp`*am L4!\f,$y |b@q]LS_2 f& k^MϾo=jJң9AL*';*;4; G{_lR2T~ Q?VNV)]1- j,&d}jW;tp^|R6Cu@jhd{חM'5LWt0`TCU vڇ!GZ4>.~H:i cjtp@S {]OT4=L[2&DObӦH*q|9 RoL{i#_X̻oH*eRTl Qd XtIX_N!̷CrE2Z~_jP&|PYS;Y^҇lujbKYf$׷Ap]qyɝÂبn(vRoYڌ%>;\iD|S?+÷-xL9vxC`>tSݬcAzGtotsc_)<[!+эf~QHRAU 0w]n@51Ԓ!w;(1htlZXsiđ??0:gNyXp"~D+CBMR7ȸu*L2@Kyȇ6}uZb)SF1ωT|۫s Jbᷪnl/wtҝm>g^3|(fxZO8nх7ܫPyWRp 27A vtNT[=Yqb@LJ3`S`*Q_ !pl)v@F-+!l5PFSmQٛW:3 -essW LqcJ%{Q~@&XRB; UdD0MjCFm~RKU1kLh1}KW[ d2 _Sؔ&tC$?q񉷯W岗ur IzaF+ +_%k)曙>n^hU , wg8Z7[*^gP(~\t~&8d?BNm%z _B MgsJIVsי)΂N{ZHw'7エ* %AV|bH z8b4 {a%J%"Wח2v׾޵Ξ~w)\V/w;6s>hmO )寤9۰VQ9}zϚ g Sr\Ca4t&Vw/EibYSC'~_Lۻg-H t6L\#M\#z t2RR3Nlmѐ^"5VkbpJцi7]oF_mnbÈZl5Ui<]lSjP( Z7s$7,1OsV2{g[w6N1p&6|K#\u~YO 2+$"Y?wcٱ8/o9zg3! zwA D-@pH&wG;`ie9ľLIJWmzg4 BJVYSXoћ3"d xWu b%}`k'mȜވ!FB,mo捗TqXw1r HzÀ(Ƹb_H&l7n?zUs&[']U:&}uTMl\eTW(s IZ"t5V/Ho7D7"Q*k;hή􂧧B3hWxǎ$.ivM4exuMõx3]I))07g<署$} FDn,G 4]AܵV ~f-yJYywL0* 4x@I33E&e463T?z7WCIGN) E~a\+tz$V/ J7g <+%}OReV_%-4-z: Ġs ܅crG̓<;M:lk- S`x`lYm=Ցί|httD#ҽBN %0Y*mvhr I2r>2|YN# ) =NBDJnuDP#N <$>RdؗoQRvhb{'D;5 Z c C'GOyyq[&/tL[C^Ů6]ƅJp !.evkɊz FPaJB>妒 i ֺLwWSk):E':Kj] =4Ca"^e(0_Zۺ9 zꪮgڄiz0uEGF_{G6Z) k"-?*7hɌ!*Yc 5¶=T̵r# W+~h)Nr,h'p< ܖyԻO]_@֡d)!irtAr>(PR}[5妗egYX)v}7Aw<-@;s ' /f ^W!GQ7*j <)rqN/†Hh*uj-YZ}; 2i!%7'x_< Վ3(W'M ޣ$Nu<fy^\s:e! 'w0{]5Ym!-wz)5<$nVi Le0eYzhd)ΐt; %\huWj}+Te6uhCK"/Q*|1R3Lӂ'n>S8qfj]Cjm-ڻ;oy=띺aU4ݥ jħᵌ yWZz#JSL;^SC::@U۬pMVLLm/CHu`gsS}q{g: 5Yǡ .ɉpOC%_J@!|;4ƛuҡ3Uv4Oz#}LF~'uˠf'&NH,g߮6;zQSaOj:Llzߑ4K"M+iGؒݝBWݢrw)tUM4+>uUzٸŠɴs!N ņ7B`hURl[o$ yV)R42CQ<Ȝ u9 q,H#c;-k7$·ǖ;q}6HŶtL Ņ&Fv_Y Wͨ+l6W&pV%¬gy3 AZs_uhAڗH4]܅E1X,]D<kB$' 6':nཅT?Ċ;G8\c Xo}4=8&_5?"7m aOyӒlִnW$#\!է;nݓEK߯R ;)/.G;Bx'hd. u|J՟vzq-1(|W/X~C $ak1oϐ7JdQ@EE%QEL>bkNL&Z 4 n`Y3ȣ@;!hU,CDd&8bao`epKQ5pk+ɱ\AjfQ/xW=A33~E3ҜFs&=yr˵kZ(E7-R jY \O9X/ZU7V1cIOgޗx|mλwʥ=wR[x ~C xX- gHodҘh4>TrE 3:g"xsWpK&'vR~k4>[gh ѰjWq^rp\tbjp^ {^x :=v1qOr:d:~bQU EkB/q?%Rè:3!>\T/¢9> .ߐNqR}{RzMX /񱜢GJFMGhICcwS(TF[,P]L5j)v2hV1ͻ= 'h^r t1-]E"Dr)Lm‹[k$,g%GSxvWI[:Q/+>QNLî收$϶p(J_D<#rROAU셠mfӟ\`+XiJ`Pa,.Bd; ZvCOЉ.b; =*)Q'*B ~3P!.FCظ&[3#lx ;kSĮIM{R~1N%8nQfr,HF"s}޶*8p&*k??5XWO/)`"רNr Q¸i܆~,GgԤA+8D?AnD<8tz}[Ŏw]gRp޷CpG4Wc@Ycw3.693iy{٣lfdF礰KD=R[6c8KݽX.(ɉQ|rV2A+)5}M P[%_[ 3 Mj;Eut) qXzgQsb}vE'~; ZraQ[PMi d?߅IPBFT Bo՞>z0-MU~?Lf$p M2:9K;|])_@{)/P-~gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 a4107a7b0006b2808a6643c0816e1ea043f6d672 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec9314fc82499dfe91bb551331272423e211b141 fc8203de16c61c092238a1d5eb780b1e7d4d11d39711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 a0796db0d139e4d088d3d287722449973bbbe5bf06337a8663139edbfa0c7eaf614974076101f9fc