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 4%4,$ ]/]HOL-Analysis:threads=6elapsed=286.603cpu=1249.160gc=89.112factor=4.367zXZִF! @]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl@beq^oJۮFky+Ӌ+ެ/&,|BcV1쎩<3RH07D͐낣clyIA ,w,D OXy Lr0m>Yy.a!EߴY-n:v̈́B>S~eC/H@pfm& T tZ`5ݨiLZŁ(ye/YQwGY@7(90j}14'ci5 WKHnjȿSv=^"=V$&`N8q抅F :b0kϣYӉX*Yof1[ʏGѡ@>ķ'o]NpOѹ4O Gxke),]gH`dg0EF[Փ "E: ?l_[ +%߿jHXOt瘃ޞ6<ޱmd4r3eY9XmW7Ɯ菞ݣs4G0:p8BM?_}by}9dRkʪZɎ;Mq`Z@lFelk!礧r 7lNO|*bhzJWێYm!T{r`U![=YC;_Q 8cvL  HJ}+VC8XȟhIbqrr0#.ZaҪUo(8V=+`'sN2?E#/~efa׏ YTy|MO"ǒ꾠Xh^dgfxDiӧ $saVF!v,cyȍR"gQY42ّبX)/INsw|[ ?!o8`;mIɣ{ 3M&q碾=XXk(.Rbk]5 -zLajr]I'X?K%E4uH%9/]=T;ŃC ~Ё;萺kRlq̤w}MozL> QB^X ̚7&U; SR3*H(Dxʇ[+>DDr¢DsӞtO#b%P>wu]ZEߍIYקh #^eL1?f:aB4ڛ0\n ):?꽪3 bT#-؝wB{.OP<9Csd&+y,&>uݞ _SZ_]*^o+.GYMYQ{__VPp(e/]{3RAߙvl V0B`OmɄ~/~R0!М~m<[[EV/:'?:CGG|(:~͓7HQ{@p`pjib7e֊(eb@jhwM_u^a^ȧjBzCċn=۳][dzo۶j7Oa" u:|d_`WdRG >ŰpM8*VCXC3%|_X@qOz>olƂ}%j5%cSn\3MSlO5<[뢭 Inh %yX9mr{I % HOL-Analysis)Mסm;٦Rߡvsۍt\H^;"! ž8GV}wfYmI$7` 4.Uc*G\8G9 ^Zd[#rH f5c?X£ENB%r#ܵ1m mG87}i_2aȿ [[:mh@81x7KK+ԭA$ Xzry®GreHGqz>A  Bݽ'\e A݈SaY\0yfl4xHpHM mvA:X;eW_> LZq|H\ WȦ/j5ZhJ cq) _\T.k&UulK$WRl%9H%\Iv w,t8º}^h'sʽͥ@/'}fy ?:8퀂-u>p2Ejb`AaCp<ܦ"hwyd4 >˭4ߵTBٔ 1X>L P/eFlƱ$!8&-P=~]Rٍ8EPhA$Ȧ>e3HfY"&(sI_`ǎ и'}c.OQE_:ZҀ}9}V,Z1c=Sw9LS5nJUv9 #GmcX]- ?ٻ` LsY"fSV(]7 ``VK?zM EڀN/Q8^sn8Kw/$Ԑo]IieFGˆ܍q  S,ݡnXaU(P88\JC<  L^(+X~@>vCo]~,$W`ހ8]=Aj!^TϺz`EXh5x}Y2K FmdV8Lh4PLI<(Ad~%-]K @n;T?Q~YvwgĥyNeu ٮBM8 Z!cH;YrscH ?w'#=/hJ-SyN?4sbkњ, svTUG& KyR 5of\&R#2P uw0ۅI~)BЂFV渡Tn 3Q/idm ө[-Op5w35Gcof.*kǁ5,zo" f6~y#@n_߳t`ؗ *z GFPR󘷡57=2{[([ Cfy.u75! >T4H%1Ǩ`PӮxF|r+>=0:Ƌ6fX܄͘`NRf'q+V`8MQbb?5 KZ LXopʹFP3Gyqs_v$~)JovZWfL_BߢtF&`\k3b CC)IVr:yWC@o6K&pEoThlо!wYKureq<9fvsu~M# 0/}A &RԒV52榦N{\ Id \~+ߡfbZ>`̀s<;jA0z _NJ_*=Qb<:|υ9-rN+d)0~t^\zj%DW 1*/]Q)}9o0dœsVFVcH4\~`SOjм9l ˏNʢ~6A# A&d'X#MDq/ a-aod'8)^3= j!5<$Ä鳱sùC%F#?8<'qD HXbQGػ wƸL4J ܪ_{C㫈]NoﲒWY#(7V_@翣1E;cv2&[VJb֐_1_!Ŕ,sj]v=ќZKm IG{]x0N5^Zip)aM>,OŬIO@xDcPi=-+I^z!Vr׏ӹ*Y8.'uc:"Z6QV?%9r蘬^.)JvAΪu䱭P) d*:Í @s"V%'*)>S88,;ee~iYŗ)2#'my[`!$Vj;dFES'"B_RKECZ:pTPIhQ^HڼDU]UDŽI ^t/WuNı^UaД "mL$99 9[*U@cawb]Px>UM9{>e!ըU}4]TX !Al_UzôbS؆x&[LEcx -]Ʒ"RBv 8^3_WLO,\ FأOLY]},xRW\:KGV ?ˤ_ޙVd`&N_H-kҍy, OeCd"RR`l&iY>ʍʽ˵>o5޳Nmtvɜ9Wz}3PBzoXjnF$4w>Cg69aLtksr[ ն$4spN=*0!hAZU+1ZjgV3IhMx/XE S{i$o JÎT̥|_ÜeB[9'0lwFk0|G/e=!> $yI\h7sDZV'x"b_رR&  $ ` 㵧^i .;b晇 RúMI>zyͮ'әƜx\j$/81(aMfu}%>E3^і+Wz(} jc~%&TύZW՟0*I U2jcByؐRzXގAtOK !a%ϦcPm.SajJfԮ֛aKN)n!|s@^%|vǑהa|NE')uUWU=BQ6A$?7LjԠAi0Ӌu=?zC+6 ʶ% nLNݧeLT  ^[ߒxK }I`AQM$d4GV"{`&P8 [c!4? -Z>Cxktcmrc j./T鿟f7]q榓g_UDǷHT5sZ>G43278];;0?D_rpv͌^^iQ="֛"hs%Ҹ}*#A"18KHz?ra cЂqGx$?%29U:h1s灋HG *${Pߞk QCF\^#_w.N'CMz5JL.S.?'aOAd=V],Ims#ɅsV{{EZ*4ʈ^um8,n^d+1y9 tߧo[x](|j [qأ#csS+Zb1#AbqAT Y1̸_8|6Qq5ݬP.gḆB,5)izZ`qU~I6y@ሏv~;:~篐N?c1SobKF-j{;yꨁO@ K6VBlWé9>m9u)GAef}?ՅEBT51DuxL=wАlF<ד 0[Hr[f/͏_R<:,B @ LV hf6yR=dYt1`:ȓl_,>$yۏ=og9jl.ɳGċP)u)%BKC`1˥,zu&__:tj1PRRBa |z$is(T/V]KqtV.$LIw^@NҒ%FZ✫S2?YQ:)A)*v~為(QB6{/)Z|KHwp Q_jŎn>wgxӹ{^t5Ǻb%qvjtBR&}#ay=>6K# cL sltQ՗ej7c#Zg{M ,=\UPU 0!4)&Ft]ېvx"t \wYЄ5ؐ.rQOne .׼H53m2}.ODZH927/@ضHK+%ES0ez(mmv,: wS2 SW*淲]u'f%km-&'& \@<>3}BWotFEМ_@P$XjCo QEr@w E1bIŁc)HoXZOd0m >l&*Z -;)mSeӨgkY!'Yr>v~>& bN.wԍa\!P2 уeHZ's8L0eHl3}6h*1i:ƻs ejvjri5Nbh]O N:B"7 LZە,1)ޠ%@I  n`XT%1xPl %Fk6O8APr$SqLmf7U__Pe$`*$QKl=./#hZ緓4~Np}{X+]ڰFdWy%(RC/]n|*I;|҇ 9C?q9}R/KoGZؖ {q$L(hcMY+!'<`ؙAqY02;M+i\+ˏX5B3у^{eQqv}1K⹤ p?Pof#]c} B r6Iɺ"k$Abr7w(mC{Ǒ!Y*F`'4).W`^bHuK/ԝr2TlNX;ﹷLX-m8OJB6:-Mh}}$-Pxp,nUBMPc=Y of5YO{ljL%Al5~&ҕy~-h <4Z 7[- { >Q2WM{}՗BD~=5nWyh` Nj$9ϳ/hTpṣSa)Y9~d5v|hOwĜsjTG ͽm=_4 m99uJvUQ=N]6hK0x-23ؙaBqRF0,~zI[}7*w5| cI[ kUQ:q/S k0…ݞqQ>iРm!,!z6w6-t  t^U()xmQyYv\7Eґqu^E&.{/F 9_L\p̈VZҳ< 5փ+8F (+ZB|e\{Nφo95z8 H 6FŠa΋|)GjjO#.a' ~YZ:jB YpooH`z|DV5]mRĄWN&'XV ǴޛZի&YŁeSe)d[8/C4ANT{U4RXoAC%K ƣ4x|4?tq*@z.gK]-̪6Ꮽ"'-8ۉsfp"^ nvbRz׍W˿yͫ4F9ejy_ `qb& ti+sBJ>^ Ex*U;){@Ai.:K'Y4blE0v<\&Dt`X/u_ܩ qv xȱԶvQUΩO*Pb#|wcFR\G;mmD D?5^8p?HQ]pcVUF.=򕪬VݍK_/tZ}>BčIUvv}zEzc^nUa0Evd1B\#/Y6 2 xӲ1S#yqd_i~w(1Oקm] ie{ B=mdXbce+bC0bONSMҞɁ0Մ"B?;86Tڤd=y DM8 qIKyV8}:{Y A^!y9%;ܕF?M<>y?<р_ (,96[HI|kDG 0Nře8}'ڊIwH #*`{<}>)kJ 2f-lRܦ b[Sa=il [;%^m\ @˜lpq褿HyCO ÿ5ֶ? $ZYPDbQB .1! 葓'>Gӎ$9tJkQ6al\^ k7Q6V> =7u?`Ҡ3}<8FvHs7RWklj)5X>F-wʼnR}O5-+H==n"<1;tKQR >xғZyT"),GD23P-L7\+GgePd[ Mֵ33^c{M} vWqqSIlkc!#x >00oL@h&@!CxnX y~>c;P~Tԉۗ- ѹ~XRʼqCƜvr}2A%+cԊDw\a3$HndytPW%F%? =jmlޗ] 4uW61U$CGʼ ye)86A׸`qxϧ~\ȰOZȒc[ 5chGDgf^aa8QzIWsz+銛on̶93uxIȃf`j!`?VMx:ʔ <\MxjMː}>6̀9($hΞOm>20ggm0\``5-:ʦA ޛJ TpQއ=yPQ9 K|j \`+?SjJ_Z뺿mSr#C<~iy"H)d81!hl%I 2O"f"yntC)"-MS4-l.EfADg3pr.{Gi1a)041ii'4ld#ЊFk7(.b;$arx7A]q$ם0hV$HaWG/I#[4#JbgM5s`l޿#4vS!zуj(5H=P:+ª#XH(3BMKQaie(;lgm5II9Cj 'r;{|gͤN[!םK8͎,WjV:#D32<28 TQ>:# ,aMxgI\ܬ{ow+@D5c xt'rW,+A%uj?!hYP,M֩zc{LڝN:zjF3q5 ͯ`yE˿1$wR_nχFs&)Ԇ.0x.cS%`j?lh珟5CSq#0p*$h4edF _J:srf_b-\ʀHߴELowJjpb`Jvny^P|v}7 dj\&j)-u"Ճljl ~r_K.bhuYVJ+oJVM{mR .7ǁU(!a S #_4|MM (!p_9L8g'0BrcXt }~Tmk&A@5L3-Gh[3# V2rmrN>xW[Gݙ 2&$vP>=/Sk#AV6Ww*ǙX_@Ih4ɔ/Xt8fZ+ X!E#`NOw d.3Mbh;}t i6 (=j@X'Ice?g`R!_hyNg[2N$)?qÔ+L^:3Jv\Po^zKucL)'PԶtm`v PRÚ=L~`D-#(]@+ \?8vu{댗-ryC'7+TomL/Ŕ)ɷ' _l _KW)1jѽO?;w֝uX{ !8pPfn?]r^-.V!٨.edubci'GE%2Cχc2 }}tCWd\&xሽ䎶ڂ Ue0$nZL"p_8ʏGJi:א e JKh}v /$ss5˭œAry9 F3x~1?G/L,r#ܹaso^kc~#BpnOCUÔxpY;@ ΙbYQBi6ꇌK5tr7>b} ɓ;lm\4;7Ȧ+O$7#~SkZn#9%[v(/StFv58|ك CKgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4YPe 2olvRmxk'uFxF5) +,p tuoj%aN-Q!I*kяO֩ՅYo '/12D5˴l%K}jS,=Yˎ&Hޡ ǚn"**h/"TMywxۤP<##x(R I2wD&K}|V8mteǔ!'oU)[=[ +~LȨ=xG.gv"@2gKbh7\%([98wm_CvA`kjl1qUuR>HJ]OA]|E߾)s'M0NUOx[BOf,YޠwtnP5GxJN\# qDm.'{aYz>% $bx҂|yo]UQ]]â/܇!W+$huHoԜsR\@w`V*p}MyFy; ˧xԷ[O) B,[KK1b^hFY7`n3}!kڵ,E:do&0l:l)gO:2q\rTY<kZ8]"֬6y ⟓}F{S.f s@YN컺,G6Kkf b ̊S;iy?)(SPGBe9eviڥUwܡ{ldTy7OZ.} UgYcl/x"#/㡋7_$:/_4(>4G]T?L'*1SG|intw; p'q>sk>_T jڌlk댈ZnD˙ @?칞mP^.0vŦ z| `'Ү^ȲERcJz # -8czF/nEH7kU*iC'k CpCΙCq`l=7gEɑQjÛ$N^Nª~SfqRQ< wCg]V"#vVH$$|v dwvhi^[r&iD6N_IsoLCEL,JH5 e6'ؓV4~C$Zfe@H)J-mc?GDwbOĕvFvҶ9'S7߂N/g{bn-@SиTr0RNɤN߳~94+[{ ~9G#G( < 1Z2\x`Zr,uaS*:B8gYZ7zXZִF! U]ŗXi%;<~jրJU~ $^0%%[?צSNG5Uϊ'+x>Q=f(4Y ixsq:wCaI+PvԐ]aj҄ET`( <_mT/ж,aK/Gh];)НKJ6]0^i(M.L+{=dJdF=w&%X}C5> Uiغp4#糽Q:2%WI䩦JN+`s#RB`Dh֏RS78[Չ9ǎ3ʵA>hVMwGscaʀ2 F|| 3,fPWn>H,Z+ȷ!YWUT?jAѮҜW 5/6!r2Rg;=sn 1 |wqtG/Ǡ^9ea A"(sv*GYP!W:6\|uG5"jZކQwO}RLlhOŨdR J|㋘h)alqd%a" 1I Ja.7v8Cɖə?$U!HT(imKֻoF I mogu?\Y|U t~ރOT8SR|Ԣ?(%! ψCW@X8e39v͙~U`\riW9@2:2RwyZ 5m|OA{*XBjfKP!X۶s)*}7,G&Xe@;[;M7ۿ FVg&gWSJ" q)h8Xb=67bR6 T)&k6¢v쭀'Ϸ½_fxO\R޹ F|dT y1O=gb$7vtY H׭ބ&@C"U6n!qEm.Ljgm8@.C.c ϕCϵ^!/ 8*EF֒]O E??= ؋Kcyyf;&k7pmH :x3٘;X q F I|,I5<`sr MfMz| 9LX?LwZC,pban|Q+ǃN-ʜ"N\ݸW2=Cn+2=&PEmAwG @W}Ϻ`4Om<Ai;̴T\4H Űd`Ж8bX*/( D3~![1r/JAgWSX(՜zY{F8(&~F($iSNժ7Ot%[9p"F䪕qTN pOL݈"1}`s8ZI>S? v$IjY/U&eI*g /R-"_A]Vec;Q`RW.7E&8}V ~M Yg8{GA:y"t]S2TH3H UCewG^"xpS|%QZ@rfB 7ë(IaK_ 6(7 )I[@Q%@zW,9H2Eue|'bM8qV߻,ůQ';v=DB`/X ķѰ GMG}aӦO*Uq.q;CPMy%a2K0'?U^lc,4zVa)_Tw."B EJcXѢ9rA])蟪~B5K(U'yq>>@  zԝ8q52=siBs wNudE^9\?+8d zYN 2FThMGG,nGpMt3Đ8?y0D &L tex&Ú"ipܡԮ h ZowI1_,@*eF;Zrx6mf|,$m7k|-'],\]ȞO . <#l7Jxϩ?rPPr2Nu1Ijv)3٬uq+*%ۮ Uگ{xƴU˹1>6? QQҚANK%f'OK׆g ܩí&E{*]GwBl `ݰ`򰩲_5YkZu՝C0?|3p,u)B4!rY ̐vLZ@8WA+$'IqU~k_=ZYs̄g{fII}*˓6kج'D$G>|!Zk) n[6'f3* :}!;HMO?83~PGkG=BT8,kHO@OB.6l yH 9@r&oɃyI=})¦0HYuEE Xt6o!Yp_rl+w9P77Ԣ Pw(ĸ%4j}s@l U ZL"$A 6Pfuɯ<\Z,0Eciَ('bFl}Ж_4Z8Wrrpc,@є%6HSXZ< ʈVcpg/E潅ZWmS}0xĨuQ p LoʰiOq%/ !+'-O NG{jwc,F9_zGiֺY|]Q#<i (-Cy.9"( {w©)41p!*UC}lpi1vj!1MV6b>K/kS$u+c>Sշ&&B%`G]Lƫ+hZp+=vjX~JSpچaS3)u! %@X}_] , -N1oG1Y)7!}\u#Pm?խβ}łޗa9W 3sԖ@w`S?>CeWsk;ElosDT-&REy&lYJ[e^0$& M{$hyc6GoՌ}6G-@JCMCBq,WΏ",Bt;;klc`E^&Ȍv/pٝϒi3TT"W+vOYt^. ze=fE7S⚩hMN(bd10i\@[LфmhW D~r?K/3C錏& =sףB%EdEbLNm=qLN3?nbi—dߏŲt-J$` A&:%18! K(-@(ByhWMT'.)0hd̰`yas66%B_rVJS$ÚgN E履 ~H1lDx7Ip+->W8`y΀'B檕x]̘ E _Er!5>F@+g;,C":32P(Kˎ)1ttJh ` Ƶ=X0yB#b{~sg|A6UДifr.P[q$<>@;Cil#苎d,ș~r,X CWav364.EÅ1ɴj?RJ74"ћhL:ס%DAZgÎNOB .:x稪Tv/?;+;Xc]ZUPZ=T}8< 5=-lAd2EYEWS[U@]N-O'DB껐pM@(O; NMWK -)wҺH$.W^b:^YD]t5\+009dH:j4X3ڝ%],7ԔRRB?.1p3{Cg9cl%\ œX \ty82Q :2Յjy/NaY }O g)RІ2|j1\jOAҮ0oBǜ {DJ [J t/8njb\Z8g-%X$ .&E"%[| bC]}ۛ^c>$2oX05=hX Ppܓ +)ѹT8["&Gd0( P[M®X8gV1I)B)[:,eABUhԗ﶐ ;VbK6-r2]\M[yIQK}C!Ag@np{PuVqxSD)+;X-9C_o(1/k|K7]NIugN!Hۜ$P{s+9f2V<aM5DљJq~ ψ2hSb7k#WbJ0Ű,ӲGEϛu䨐MzSV!L13*VnY33҄GSϸ& ۶xC(1ݰf ,f=&wؑ*̋答h- d)v5Uw~xC5Wܟ]Oep:T-19f'zw)2sg&&;!ڄ iҸr Grj;gu͵7 +I9իaGl TtDvHŋ3i[5m'-w~OCn P^yIウU/ԆE7W!¯ ݬfz 夾1TR w\ɣ!el=+xtdomԩھ]pN.:᪾w&8huvs蘓;zVMt9U|0,!S@ dt|&3:Љ{> i,p3UUe"&t7컑aIIzTsnmW&4x=kuhZϘ[jUXqHla/.Q5 A3Ծ>DG br]tWӪg ,QS/4Tc7J;_ላDX4V@tr-~h̥@}t= 2w>wAJːzcC AJ޽WJ"A :&W"L~NaJ7;{G\''"B~DԪ *āzt8ɨBWԩ7қ-hg]HL̂,ov\EURO Otȯ.`8X@@ m<[L'dYbMzc-v)@B~J7%yJcFG&dGxr.$D$-3u]chh?cקU. yr0wjœ?& ^H{dp'GRA$=TLPJ\i*1QO0'oaEb~2G;wxki6`}VY6rA/{W`ȶ)&]c*7\nAʡg 6[cD'>}>:ϳyڋώ|j+j Pʄ%i)wir^'Ti\v]A̻σY+`&e\čj M Ldݸ=7jc&߱nX_J4>{hC$$}A{4%INȌŒ>{+3fGVXlz(w 1r`dH R0s藍yko\U ȃZd@`B[j0I; CDO+N[Rg Teq`A7h9?,6dmf#YZDJ3-'P ){v GS6vzE3~'ؓxBi;if#HDy.~ZMϢaQ hlZ)GցMWcÏҿ}g-ؙ#PndKSjTjګ0'JaJPk-v=2,+iIaGxVr⋈w-4*GC6Ze״v 5Aʢ}f.x1 1\> s?+Pѷѕn,}էՈ1xfF7UPM}g׬ MoW:_͢Pϟf@z^L;C ?$*,A0c PX`)6_$B A~@'ߝs\ SJL7Rƪ`ٍS~ Cr5`W5^0m@"{I H~=eJW\WL+.b<ľBhBR+Tz%H";(2*[\1!nqn,E-͹ŝ`usuv%gSy9l-XD9缽B/@P{08$]yB |(Op΋zv)Q^<OIu@ܶ =4/Y14WQub둍_K͊1܃@)[;J,kuЁ qomKkR{E>AsEnZKEE$'d|.B5}I\]y:qc:Dp8n]UxKPeP8#BBp}ĝuX) yk}`f.e4'|~9pY%|+29D>@/&CG?[ŕ161l[ặwUυBea3nkI<2о쵀J"h*s87AZՂ6}7#u$]$8 KAљ 9p}Q_ƈ|)":#E_co> Z.,vys'3X2"LFFfiBZrQy4 I˭ũGݪ@Fu]zoroGzT_Fɲ_n}b`w#m<[( q/ > Z'M7Eg)#Kr(E8Gdh@)+ZUr U!aQUAlʴES7SP9!ŭGo4!^}~J$q@]6h\({nN?RhV02P%5 [qW{!"G-DM,ODF hMIO7QODKmrGxpO6#fWMUcW2žn6~C._BhpdHhfqQx@^ v-{Wu|/dH&QP,1sS{$=7HS`$. ȳ T28%f3R_o䩓Qp A [棆ji[>"_ zKC9vzsa[iʂF~zWHaE'Ίy 6Zl6D)o%U{6(_j 􆋜P0knaDŽej6R?[`*Z)WOQp]~O禮)) vW8gB`,mN!u6f_9ZT)ȢT5o; U_A6AaGaxǃC᪂Qʩ 0[  K\e;7Ų\ȓk??ra{λ:?jZ *rRr]D5S\#. ]UH818?Pm9OP܎W(b҈ԟ*1/\E-ӱ,@P~\-h)IU4_ƞt<`F{42ږ0}Wl.Fl?Z1^+nWF@2 }]]bfK=d. #DZ]+˯R\CRahs 0}|fb*O&ǎh ~Ϡ!=I;T)p~6ϗ]ʢxYPg`-; ~ 0)%Ėk^#+X/ٹ8g^SVr(2AFxΟa0 U;LGeby;ܼ_GT}.3"aH ."V]z/'_2v|oA 嬶 o a!'sI@w^ >9@&Am5h2I l gՌJ8+( o ].sn>@樅܄_ %eA2U4d$@\.ɵh2(E=LjR<߹(gIyG|yR{xmO Jܩ3-?c9A_S¬YQF+.rm׺oKe̔||/IiSt5"1]77\ĢM}![#c# >=Mk/k5VEVɼ7Ko0XB}Zy$] }}#q  >#uI_ +rV`i蒆$.)(&hmPM . (B1 F46}Ix'qGE jGE,'wpFPY?HT(}F;aq币JE.Tĝ$h!fn%9"0#b7;)p Z5~)z3[v˒軳SŪL]4(9_YN%)N*}BIz wD@LJ>tpKg>4nS/qo|JKS ApB.56's1B+e%Uf[B~A 4jU%&JqY5B?]#hhP~ Ng[K`6ޑQZ(N9{BL?y$F@?,[;ĝ &b9' hz?#49+7w BѹCSWlQj^+}m]WO)-`{W溰I{&d%bmS.lTa%삙_w#O%G<`SlJs3=?%Ggh`K ǴW JܞG5x؜5ev+!`Ә& ұc (䏮_uIh 0ΚP;70jzRX^O:H?|ķ?2=cb8}}ug zOZd8+=W`K *NkբAP(~kҗ2Z7uןP5ԵTejR LG&"U=dgڳQߗ<%Z >X~ȢOSasq'p^^I@dl0 zDfBvĀ/ UeMAZ*" լPrs3/aqv~+Sr^Fa|ͯic+k|,fSגNtAl4 +qg7kX񂳳`AsVʓ0XR143|?i'\lwfE˦ʈ{f^PŦ2CicaL noiy%|qtdLyp>9q֕4 0Ju~ \UM&.\(6ϫ5]65|'W!C'۞mciOf V;401RIeSߐ@9 qaĶG`uWhI;6IFt?'/dwt$nF'Rj27H_f}2h@f/K%6k }ԝ<( ZS5tAut]#IHjOV6d:)B-- _}+ ysjNQ͙f/yY`w@aeŸhrFΤPyjEVN"r($TGc"۹Žb^ ӣa^T֓m5/mq'6bjGܹ;,/X:F א"ڗM}QAKЌlMg; ȈT 1`9[{vP ZX 5M/vӰ KM*씈 5K%!^SBB=nWuVtkO-3d HY13'<2USLk`&[>Ec2v9+/w-%? 5Y)CZ)섊X*D.3$e8jxL@81>oEC#vm0}=AZփ?.r0:ш-.OIX4oP:Z/g|35-\!(&Hi9&A;SvHxH RʸBT$h3Vc{yQțe*k|AX#Sq: _KӊݽzB>[%XqƈNis PK1r)%+oӨOJN,Y;:?Gl@=_TვˬbfO/c̃[\T n|—"J\!٨B /;2'v> \an1=m% ?YA%:q1V!W_H2!v8>}ɮ7g@2(80La==#վ.g)c#b5,VG4)Gp-΅bCtu$m QYz aQoe?IpuXgz35Gr踃'܃#lnn9A.=saN;)d^k]"*yxCeiH?}FS5OO /`d{O*vICf\-Ī8\Ou% ꩵWyfeqيI Q{lDH;A̜LTdvB|օkߊJ7%ɮs/G3>{5brضNmj8oJ`9<0;:#Z!ΐ&\|Wf\5b7y3EQܲ]Oc880ty3@Z_piuZR B{xO6=ڧw9n>/0l&ڃZߝEo7<{F&zaklJl~YRyS825ktzzyK7D7rNBNo*U#EyknFJǯ`/Մ@4tSa5gʔpZ!dgxt+ Ko?հ׽)FyIܼ>W CCVJ[D=zb/כҏ@u)xѧ4أ!Ͳ$vAAS]tOeyD@Đ(r,b4HCO"d{y;ts=/CZpCv#sg]GWQyqd!d{鳋LjɭCyǃ| v-661Q(qtNvcr8.ҾQ߲Ai YΑxGgE-6n@=vozne7gi\(\#uuH5$Hj='ӇH`k>G>zwcD&L/G0Nc81K5nR1Dk!0ЊHpȻ'H8ĝz5JF_ mThb<[/ 34~U!`هc [HiVyWx0#i͊%$l<{.jq)j򱒫STy֭:j0S =eٖ1iG @=c';5{c+ Y4CplzҠhSFBOmdR˩dLNe=I afkͨRz>z`sU1W61ds-0zRiƃBdS9@?t=*o^w^\).=0\F02Nz{q޿{TRxj:{8(WKI;Mz5?3Sd.X'-9NN% Q3!_sZZi((eN4POQ;Ugv1"9q~F`-rYM+RͰO, "7䰡}-Rrʎ`'-=8~S,$_7fy .^ט-HREBPCSciʹF&̼APμ\Q5sYe1`@&ՑCVe2J q4| П|dty\\XF= ʳJB? GX~3{5Q]ȓzcl§ĥ cn4nR~{&4AA ;~ +=Wt -*Jh ̰ aGag!KlP9In~E)a+DK@0W!_?g̨³◣_>3[xBH |\B6ГeDmGD[|ٜRNYՏِo-"z;1) ztHւ\U˱T/pNM Yh21 mY(6G>?S°"kN9腘oc,PjB0@ <¾PCbLLkh3W]z k|.42NT#8֟ЏYn`+C5As]gNP$b_k/j?]JAx}w~7k6{bÂNPC~B(SdFǏYt?@{?IO'C;'w "}`RgWP_SX6ugP'K'/.GM[Sdߧ/]D* mYiP]Y]q{ kE &씙K׋μ -5pOH0k~;_GcEvZKK;=,φP@q|QOBwMc]:fzu[q?՗*YY|}nBǑs_\TqmK 8@Y_rֹ(jcИ| ( 1ے @>en;Z)\H:%2L;!ܡpBp9=lA>iJU CbfI<=I${Dͨe͙e6$ĥ+8&!, =񓺢 &tʦ/\( |Ҏ%,UN ^2=ʸ+b _/S.ZWvjbE?d< 5i>s|]O"5tA=zz1MOB  ҏDh&oe&|OtЈbU:ɻ>^J02#( 8?l=sHT]E aUG5k@AzU:h(n0~g\3 G",( qCXO01YO^njF +zdӘ?qʯT=6T{P0"C%*&I40(`{kUֆ ,'oUV^XR(J' r-%מi:Ae -dmdjݢSTjkz )5VPjafK.DZ@ P{ y7ya'Ed]I'`tTg]Q.ߓK9K}c&J(1 )㚵;GY'_0t,ukum85=Ln;tqpOkaȷC̽OQ#kq;廚K^I+{Ր=|ʋ!}s-X`<%R?,9H9=Iy}jB383$*2 !7{2y!5P~<݃ѿFɮvW ĺ\Sׅ=C9ϼ}Qy!2[X UZAlW}mw:EsaW]Aӛbk3RՒshWe-jKfbw3ʣ{UZ_D濫E7aI~l<ʚ1M2`rWPuF ,03nOB^﫽AN0CmEzyF>Fŭlě>Π۫⤟fm zVyh -ʻ#ś'`%͠kB$~?f~ Rs8 $&xw=tl΍DH8gT;[^< !fU)* }FMM')k9bɞ"{ͩ4ykR2ȩ7 =Dv5)Kx@Cs QqoMy˟`,~*f0o8`ٱgYZ4bd2f803c5422502c1cb51d9290c0e225a035bd784f26ce01913cf374dc1c991cfbba0ac44f7783a e7d19b8d6ca2092be300dabcd72735083d5d2405918c5eb2894bd4f1c94c0ba858a383021d15308c