SQLite format 3@ .  hhB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  5, ; HOL-Nominal-Examples:threads=6elapsed=364.497cpu=1370.068gc=120.764factor=3.767zXZִF! zP]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXlܘ,pK,藹63T4[P-WC/Ok|+&QJhsjRo=J[ٔ23 ªr9lBNڍXG>! pjVdAME"rq*0FKkyZg)Ylf7\>Wt=\]@{>%kEUu=w3W"ܬ[%y>͸=/KDBФ1Ȧgdvq R^-@=[`gճa_BXLU]%MW h[}A(Q1I{X,"10OV]s@$ >{m%Ȍ#MfAGx%HBAg۸=~#bMȌv$I5ʿxEAU[x-|ٷ&J?m?N\fi! xNJbA +"y7 mKGjSmWS t~W+{:y FyzO*y4;4 ^ ʭ-&eq rY8b'0vMb{ .WjC;]0 vFo*(U!r̫o悫aTkC2$drzOvpt⩛fDF`!yLm37NnH9KJvX@:?kG~c=pj+;!@"QݰnbߡYٲVCohf@6"XHdusmZwP?CEMx3{#E>8Fݝ*hݙͯWITpݽc$cNbay"E2)jxv UEcZRԲZdf)I\J(Az'Qn=l@+?ԘK5@B;>]sv/NV[k~Uϒx4տ!g#@^"jF Wlesbǜ05JO_Eż+EgS6B[zn.0Y B4y.s`+WWt*~!d|qVow3.@j'HYWϋ/B/[.̆AKVR"J0EѸX- TCZTi[D[[I"b6GXEq N|,tJJ)LH3'vвTP;f3{ApeɦD=2}.Ix A`eՋF'Rsv5TUQطT2^asBy&9c*m\Ŷ`|mrOƞh ۤ 5 HOL-Nominal-Examples5fYiҐeIϛ]Ȍ5Γ g{YltF.h2~.;OʎP3/5~6St˪4.N8^ghwaf3ai 䓹ϯX%6,hVF*QkͶH51_L| 1֍iNA1g$5u%Rzˌlţ#X?>ъ D@Q&D%[y`.tЦ6#_<-6рZLlsD#ket /n0-k Ɔ‚OxIÂ/҄V&Ղ5*Lw7Ӡ0ME#2=EG2IhR u֛CPj(jk@?Jh%2+|Aϛ9pFtnpQbѯԟ_KO  _[! Ϻ;^D%y2cCH0CuwZe^%D1NQBͭ?+H^Z9q'3++onZY-O~SsrȒmO- s56@P9T (md"j@=Qq=\@7IИYssCWAg;fW^Ȼ~X9x'p/`*TD:6%tO<];C-Xc6dOD_;[LlriP]6to+YNR U [$|m{O9sJ )TRЌ QZqcwe@fRDHx EL#o!ݚJww$g! ͣm\aLlfj{,vY%LlL/ 7Ol0l+ܬkjkA0 H2ciA#茮:g~[aR](Yvdzޛr HESA7V1.KE3 *z\{٥fs>}2BC@cѴ5 X;?3gz1cRk7#m{w2IͩF(⬢jkSʵܗn[ Xs0 =QFfPr3M<:H^x@8O5,N z+2BEƐ'_cXYv^ixZ=X=MiNL| )ЩNߑo|fUlJGAWY0!)4=iOZ*?T5h5N|}̴# 5*$DŽqթ&1F:k|ٳm%)c.aؽ[tEgȎӥA.PDB;NL-󑢐0KMP#fiKj n@w O}jWx8AVq} uLƸq:10XxUm=` Yx77Ovʳc<ڃ߶A( ^>hbn'58<52'zVy{X:/9ijXaS~o|&-<޺eFߎWYOi xԩ:_EGwEpǒ$ 'JZEz͍PD }:8x"I)5DrG^7w1-g'^ Omv'{4.ra^:q.ϯ-C iZ]1X< /7$LY/C p'4vH W[)ˋnXY@2Y-^#Mʾg<,ľ2t8!Q-|s^ߊa&5!efq'Jl8g ڽrBuE%9-]+ B3UfH>OhcMDF1| #F̺r@1 p#Sx?]#{-c|̟jn\knɤ,l Yt$9 neI2J T !$"Lœyt~eG x;?9"J+@I/.KD]C|-CEǺqK/ǩ1gi- 7Sv݂ ٷ>-HRS3vhA1)U+o]m"ZCёb@fz)!'cZIeOL[ >_ܞ(aͭ׬p F}}6F^A"M*qqSh%f1p" 4|ܿȚA m 3քSR֢صfPm43ƉTC5C>:VnS _dY%}d&ZfꝢCPafl10W@3IHch.6[v>(U XvV x ܫ ^= xN"7^Af(eQ]nVR')ȭOh>p̮`g0E- ٗȊNR3$h̪ޥz] 象udL@?p]j;#NǺH`˝G%>I"M]Txhٺ_IUA1%XlG9JI_a8zK1%hgvmΖJU 乻W* 9!G%;fUV[+Օ7l2%+ A簯N?b{b覕_n^[||۸ ff62n&xdx9(9b46 {E29*3W2֭,|)@ SiVZ(yl rKtQ)n`~l>8s{q_{Y:3KjJ W-Zڜ*RCD-=DD 9x*1Q6&O3Ie|R$pgO {[:169{n"H?/KeB;f3{Q$X(L:x_B%t!wckd!$I~h4 \0r pAiY# ~,^j}!7!Y邖l)uK"XrJ(W ʻH%!>%@(/Bc7}Tb)U!.YBC:@<*e[ DK[PNT% 8RdnPqE3 #[C`gX#x UY9R-S{)zI-St\xn}X(jD o^#=˄CBiQaAOrztڍT8i+y]RY6q僡O}y3a1O)ExigimHP^ɘ0"FXD^6'RIfUH'X5yXZ,ZOF_j~4N6"}wVw#b&"4 IˆܞSܧe(vk{9^GX eȶFr=Z|ESHG$T,msS؄>dcA\aC42?#DZNCUA1[&oHt>5_x$pUeAN,j^j>X>qZU;;AE'ёfa 3҈Iu{򎢆_5`3H_DT<V䔦&ārn6ͱqN:$xSNLHyʰ:gŸ#]E_MFKo#P$~l#)UP27=fq@|]:CQgpd[$G;`̣Fqɸ>pud.A㇮rɍ|bmu޴S{Fм}ذpڐ%s6Q;jVdm.Ps-#@v+ޣͫT3x(K&–&Qi<0ehb{#}HA@؊7K#Fu 4[nP˳LTU= `2qf1 W䠚d/5t6:QFX]A [HI~FD`HN9pM4.RبO+Yp]f4W%w>;5H 6h;gksޏHnGGk_AG@QHF4ͬLRL*N{N*,203 =rZKy2ꀈ|zNo}F̪7sxut%#sQ?Tul4peB΢ +E/m&kM"UC,[c@Voft 2dF63xW =pҀU p9@b)l9dw~͂̽W6i 8Ei!}Yqg}`k>&D`A0?3Z f0Xv51n3ny^u0c dYB, s`~[{dZrG*sjs588í=U5Y-߸5_soFZ/miB Z4 q t)$S'ur͖"P/3}o7B4e|nG-+V gIԤBiU4w,:K* 6 :- Rר#O*@q>C +> -enJ~_Lg q[J7,SÔ&L_+c{6@C{?Q\ (Up 9(|l*y%=d܅sѴX z(ʸWih-:xorrQ|7Y1PHԳ4-"'@.D]e ;L :-0'TibftiD|7mV\ (0f BYf`n:l4XW;vt41x T2y#h\[ +qd[ٚz@+ɼKpGeX)~RDM戢=״6~pf$೴u[HK !aУs7{qG&)t{)LDj5uWE 3d6kEZqK;@Cx#H>JO+~!t&-,;8f߮ 6u^pY)xoOQH!d28d?7ɒxIQ]#IHm}WG~5onezxnyVrP^yld^շƟ sVX\nY:G‘Vc”(8a7q$M`ූk\M:ΝUWQzmj5Mŏ@Fr LwF[mz-oӌ>o5Kܟ]_PjY9ĭ[CoK68=|'J|tf}B# ([} ¬}^Gq{ؔub/^Bڼ~jmZ8;[UOMD T\-IUNj$R1h{ \kXT  ŝy2`n_=3p:SX꘰ ׸dP|=mv)_H{(VJO2oi2b(=13ʡٝ8 J'0%irB%z~n)py)K]ݶŊ:)֕@FmMhICd,jCB}DW;wB J?P1}q9[kRKa}VU%?ԁ ?[egO߽3k/ݑ}*Mʓ$缾 Ήa\!j;vp)헫t`oHz5,f6\Ӳփn=,e?N@OOOِ3=5TBwssXɐjh&6FQ5P#[N8kߋ)O֋t=f؃ذVwIu_I76cWV&$6$nœQlg1tK\]4U-U"(7`a.$HcC `EP\Sں)p.j\Pa1w֍T&=(bai5{ e!{[yL(Eq/9ǒ "럌MM+r28`@Vӻ=\ʞT?V6Fa,[*=) GC`^oݼ:㡨y:6l6ffCxfe*͌oq?&:8=,uTp|YEďMM*!5_rp(W93433N]؉2oZ1k vf^pKH5iO25 r7==n!un zt{S]HA y&jԤ_=~k*#!c SFBq1LW^Qܔ% 3Hd͵(G' ?=gZ"f:ý.sf{IUWWC=DHQտijʷ!dn=hEoyhoHM"ͭ%;qI]S7ۃ4dnQӉVS4ǁjpƹtR:#W;zx5+l`8 J75qBR;J+9FYvQ;af s[ֹ a,_ Ά|$)E#q7]Z]%~|>OV">NŅŋfr8dY-[xR̉d벚ؓQ*q6{m )Ew 2Srģ\٤*a@oU 쪶iHEC6 AݒK<w\Vt$T +l 2:$sbܞ9kE_U9*:Ko:U}Ї8hi-mG(u+ XX?lHܸg2n>k{?7SK<#K|:p$H*HW!&peKXC'~#'?DF"c As0΁?Jv`{O ȭE9Y@"%ڙ` ׹CyʈZFޏȝC&^'Hs>K#STB<+62+Ua0Abc1[ksowgEV)  `IՁPDSI^v;K 䋭_@&=Ih {Da%]GAƵ 3&[4Abk5i0 ä;*=@s%3SODFjl_>SJ{(].b+@K}6!SR; hBڹ3Si8*T}wt^kjj?}Eդ,:xUs$XhWGTTw3H6ظ:V@=2~B76,ܠMa6m%3ƶj9=6G}<*ŊqG׭Xn[/%N, f'bɖ x*n-E;:c<:-}4BWfR;R wB$뵻"\3=٘K,EuAihPdJBwaii:>0:wi: KзZztdTCzb>dRRn&_%p_UKZs>GV~C>39Xr4l݁| < 8ɫUCb;),f4_-Z>u>ug2%8lyy%B!rNGT>~Gf%uiďqg@3ecfwLGIw<`n VHEU&Ө jÇR1%K&I^ :ĒZ(֖%8nˏaS{MTKb1c]Q27lNG~B\9nu˓PDi8o"V`˘bHԉ(118bįu+H& @ #Я %M!ꖹ&<3rhE8Qh ]\%Gr'%!=zP:@*I]ę'#xv+:ذDm1.YlCQ$L ]:>9GuJVhW(H 3񪒶:?J2ߠ]!TD[J];y?Oۺ`#مc{`goĻwN\W>7| bEMԊJ%Ģ`l]U@ ^ğC2ՙ׆nY\:E&[ E B{OdKj?*E<ĵ+!*5&$s=[Y{ryfiwʈ'\-3H4ZO_iA%Τ4@}\g;٨܏J\Sgj%D`^= N5M|M^w0[sdqFiǖDmrw?ђS T,RäYX*nF*ׅP_1܅.+5{fA ΝA`NQ^>Gga)xMrzsL|kY0U^)ARpmQG'(kwkwT D07c8iD+vۙ$SECs%8`.{s?AtbfaϣDœ2"lZEkJ(9aBP{p[. 3DD$95%rׅ[~'*v$*H8bs.6=l$le( xw6 *M/+l>43l?z\!$ gƎ_IR"M˷(@LU*"# |Ey&p၇+CڴP;J0ڌYKΛ TDc~۷Fu> Jx%!:\2d">Y_rי*VjjS8cO2gXPŒFܹHxXDJF@{+2hj јyN ɼ3rմp Q6` 2l>`W%=9V&P5;6]m&^i\y8+Ux$5-;)꼴_v3ME.$a:g>r=˧BL9*r1 (tLC&snĈ*{vo0x:* 7Z`"Jp\Յ{K/<. K6r9tGu^5C(%Y.A `"=fNj<$d-a )Fk ,ӌևswyJOE;++`$Xx]S~b~0Q󯭸a_sζ"69bx-H̦õ}:nnm~_}5уō`4܊khiW eIM\cMZNM!k3Y[ v}ZF~eX@ݴ1]Ԏ#?˜Q IcP˺;Xmyڇ8!kT +1LJU-I'&^zP[25`~ENW(:-#KI{0CQ95 *329CuW pJ3@mA+\LEPA@/LTڙz{J#(L щˠmLs}/ S;ݤexEgNDs pQo'}cӭ\UXW2<4Ch̥oG *V`#$d;silg>.շ[VVdV8\SDD޶GHs\C4xQǚ©&$| vwq0U.HGj=4}/}FMl:u2o:*ewJ,{AkwL!cUTPYYf0v*(5ɐ,yiyd ~ I`Bjڶ?b WY8Q ؈>pf&k(>JU" ;MA[ݿVr55_W& ^k EM[_Լ |FY6|H*c=(ViRC.vяcMٗIFFCDsӧPPI:յuYP2F4(epgzRXK!U7NXs+ec6d:ِ\azU^_T44 G,5%0;7>6jLwDFZ^a@K5MejL!cq>-A]hFug Y`g<`_3֊iԉDe;B`n2,zqƩeKҧŔ#X{kuEi8L]׮V+k{`_E'GT ͢s8(WDa_zO6or?=8yaR@f9rD,{.:N7MBy赭֩nx~[%-4/urrAmSCa8ex25JA(|N w * >þt/T2 دJcM|}6M<vVl}{^o:jS\L *&j z9+ 0q[Oc̛$;AbCQ$Uf(h0zI:b%+K`%Z.Fs ;ŠmvU:Z_2tYHvy.G$xhqdQVTs#1,xm<" aHw\&9Β'<:o±“(|CK嗭3 J80vdK\DQAaI~!hK.ϥ%9Ź (8 ZmiQy)e4^56G ׎Q:jFƤ@XP('e8J{QAŠʋqTD޸IMI1()VY*Tjz!6Y 3l!@L~Qd+r5CtҠ(y8-tCήޓ0O`[hkC˥I@=Ea[Ze' ڒR9k$0`$"6+zy`KEx;_|_UIU`Jq̖=XM44c c^&=N~A?HizC-çzzS&\V2^dF}KkAC i #Z4o=/Lԏ-ilcr1YmKm)k #ckpTqX 7 ^8"Li=uj`/hDAU&U|c(\m]K=.-unJۉXI7ɐIg B0sHG)PMkߓ#ӊ,]@sb$ޮ<̱8~FN 苓` a1Wg&М^;r4iw<4W'e`ɓ<U$k%'_0/Y%$ =hc焛leOAԫYs`~܉h)IHyOp"c ݧK[zGkɎuUWOAeF" H"[w.˸qS#kUS&,U4u#ey2ێ#zw6kRWl|goˤ˗?r@DŽkð]hy *Lh?GSD7#o~ KlQ%=AX(ȯ<>&ŝ^uyLV.Vz7B ޛ6tݴ~%yU6וS\ˁXcS1q͇fQjFӓ")f9!dDi}(mNT qN=ETv{mCD6ؓ--ԺoHѧ0YbނŜZO5ƅڝCɐl$p rAq3ȣJS-8 3p|*&E4EwCxUo d^V78&p!)b'>foW W:VIIY2NZ(Hz^thJ5evB:F&d=uj`YlN@Ks%cx*_֌J}}5\S q9:Iy?^a^~L9ѶD>Bg ^"pFùt̔(گ4?[\čEh;e4x~f?l﯂d>ꌰTUw=u`;HˇmjOI:n;b'qwɁ]<#޻N'뢂e$ۊc 4$ b=@b8c8g*C<-Ѧ3K_. MAl&JQ5+å]G@ 3;+ EHә6m` Chz@b¾Q%ȉԞZNF; [R+Jޕ&87 Sf]hxD:S ({JjV #"}#cF(/|NihLck KJPBtC-͵.Dդ:)xtg=c!siAN!cRFTbe -bPj) {y Gu۾_|YJF]aOǛjǭE8Ğk%~qW|'E*,Kp ;%Eg@81AϻmzlHD!rǁcIsUUsD86ش~ՍY-3kwfl8xBG1X&j׭ϜM{nU= U/f; IdAWjqpBȠyg,AFf٦4K,qzG}#(F)4wl/"YIߖtN#ơ{k؞NA[XeΣag+ TyMGVݚĨQd,.+f'0N(CRyfKȏA%n>KY`f]Q&ԑ2ib~&ղ<6j{Eggbb?s~^o );3eEROӫzH%wz[k c'\niۋP_RO%li!#NS605YˡRtaN wu7q E1S}@`JhAEn10ߠ~ ID10W$GRn y0󪗉L?,7闆oGwL@n?Vň{thltPbu3Dbsnde}[# -5.${aО)% W,g)!P 0-:ih+jF%$GwVIV2cynҦ7NC._SݝI ҚI G9\hɊ?CyÊ` E,%d Da>F H灮K)r&gYÓT 2B#2L;H|&dF@H6\HWRjvQ|n^}\6̾.,)tJSd^%Ł=KyC7άƒcL &y/@8!d.B䋹G-X+,zI$JhM(xL{_Fc^ܶk>sp?us-7`ãJdE>t{spkib/E_ٷB^N |pb27+CV8) ~M, Z>{sZ]wB930 -joس'՛6tT9p%'4n ]5E%*jRwk8 !#1_1`g%TXxaFmO]DTt;Pd/%{Pԑ̙  땎y-A5C΋{T[ў歂fqvz!5߾s!yBmxyTUoPG1a*\",@]s0mLT)v͇;ad,i?Kn/'{jnc2f13ȄwehGxOK,$SHn.+Zr,IF6 ˯-eT *Mf8qh>bb㏒SY,!Qj'K~Kxn)$)/g/@=&e/#eAv=2u:Dzp'#J$:p/"܃/3 o ʔa c ]cۣjUZKq{k\26z rJ1a Cxo +njE B3aYO,Xπ (Z8`p@- L@]|x" ;jE+ "41Dnm$3RkZ>& fư <+&G2B)PZؚa<+nkqEndܨ˥g#ՙXP7$sbC3kŔ `2ɮ +CHx%rjk4oNxZDIoLJ)RLZqIH c"%R3/aIºm %^=dNgft Wtq6A8N)nC{&DZXɶ-|5V8ƮcDm`gk~E"91iZ:7{-zo5eӰz4҉B!9LhWzN4xnr" NZk3|7 })KPtvnLu3].Cσ77t .mT2r"<MnmQ ì!jB't<ٚܕ#Dyr;cwsUyO-kI:xni 6FPH.b OOE|hvs q~6#n!qDNA!ߔ tf:a>th@qfRmڄl,L1opDfe[aDW:9V6 z5EMgwzPMITXezKS7ԋwHOY Um&8$oZq&[6uyCv9Rt8KE!xQؤ M1HO(wp_6:4Mdw/,E/6vY/U;hU>P_гj7„\0dx,rI rF`289irmUBf"ZP joq+qV.K7-H' h&`SI|RmYe=("*)xxe.}*#]\r&9P3<ÍrE #qM\\#ӦiT+gK@{{L.9GW-bi:2"k1( ь)Wcg2zaVosf[5ܺzKɫE8'7n}]H['r}:BA|(zcx ue.^4=T Dו'LKv{°PSpOG!%J1 ~nHRĤaFbF?l3M#g0ܛ#VYo:Dt&~ٍZP|37ϞSj8+pb7q/}ƞu8BiGX2<:"P,`ΏMMMt%9axҔ̡DRHd6G~ F97kf1wt8t7Xj ކU74U,/D,u\_}eb%G%4Pd-შl*mI{ģaF`񾌿svc :Ej 1|s0ޫ5 q]iR!LG%12ǫ &'+6gX@:QOM&\1F8b|^c;~Pos%- \q/@~8z&nz.pGE1n,'yv"FyBJ )G]c: nXւZ?m5pq/Im.QeJo^c׋4:B*l(ĴU[%1Mg6sn;'M;F,wōm ,@@@I\wՁ -7MmTȫSW7хð}W]z@S'&RӢF)"R=7Dƥ cD\${Dq Oޮ*/^mpֺ)lXXq"3#½R;y}s#Xs`Ҕ2a*9 }6_vkUUnFW􊭼Y VDD٥1g@Wh"jE>. 9bf;P0.轫!J^. [ᅳVrtSO4(p #5? ݏiS`0V? 00hkO!Հ@|Q{%ܲ5d*/hq";@x~ ꨸KR!.gñV@MF IޞV9DOϐJшIO!|$vL UکVO9X?lZ<0M}|e~C ֱ2/]C%0 * $| X j<4mr}9YH3hBv!{7)vטI mbH߰3s'=Hu1u9DirZn0Ҹ[pq4Pv\~2$R*7懽k9W[3Z`ýh0B 5@d+,L!]*Nі:B3y0c9lVߛ/~m__ʌf4 ݻ>/|ኳ3rB\TWQ'Ϝ\QyҰ޼>? 2J,Ⱦ䲧ƻ@0@?bI<ឣڧ<Eo}}"0)La Xۈ;ƱEOgfo֎9xב? =JYb/;7 *gnnƙ}|҂)!(ua%nV1o,vS *Y'' ri:}%-*aV8{wXjLDm 2ƫ{h'Ы}9AA+Vrbr*ømoZugο_7>;oBDyRUr!,WJԊ.nx5^!W`MTi_a#in@?'RAnYǻ GK\]a7ʘq$K+hq E(Y%˚i/D+%1)|d 2,lw6L 5)ba`"IeG}F s8Td@RKUs]5{&.ϧ61[!cûLْs7MG$ ~8H.z-/o «L)q+i0c =e*v_\QBc<,ڷoІ^c>a-^AѴ_';3}3]_6+V)ElܶVn˾2^=g6;t'M|MDyIVh2̞%gͪ<-4KB>xH1ki0ӈr:`k ѣٞiF6h 2Ә KA!Aq{z둖+ϐ(#}[@;۲ t<-99 %57 LШT̂̅8mPݭ\pć$mZٗ/q7V;7, o㡷$HX?~3>2 ( *PF|5n2oAkq8.T#slH 27e iv"prmM5; |0q!sf]IPv:)V+Xknj=$5jPDi / ]N\#e޼=AsOneSf?/yk@/ {2<:< I!S>X~ "LUCqrXqmks]0 |#ɾGu"?L:# 0-!ءgz"hALeԀya~N sc:|lPDmlpjv:_Q N,Lp9b-_=zV@tvb0#W&.=Nm{E/V2Io @,' 8Jqd]Gw:+LTȲ`9q\A8H\~Pp'VFug\?Պ(7B%[[@U?^(<2r|ލeIvPE^XFχؔUJ*)|8GV7(?dr RZڣd+#\ks[WQKMihk &\ANT;V4fh^=&؊$-R.-֙#zO8 cxW"aޕxNA${c7#3c.crp7D?֬WB>ZUٟi,N NR#XBYDZgW5^x8ygkf_PiHD&t<k<' o7HYjdžwdFMoǥȹ8j}v(\ja͝ rRk%-B+2ZrpdvШReפ/>;,C|-+\ݦUbospl]l]"[ tNwȐ`CDr#dF60,tGav1~r_/mG u RScqױ`kuh|UQڊ[$&I@w$ G23SS}C'"}S )Cp5d b LAiw˹a#p#bF$ue% i/>TFv*JOAaI~ٙB{s~j#wu|4h3|q!>+Soo52)ƂA+Uҗ,hQ6T[uz!ɩa뵅suOE:۴G0&ٚ/$L1v/ Lq$fE":7;dE%| p6l M':@f'5F N1l $C!f!$J+we> E?U1 ߆X92^ "z r M!=>(=Oa+ʅSǛ'oleKm74hG 8 /E})Fl[G#d)ܘ`Tt` i6=Z! D!ՁW3H "&& 88$S6?H3 xvsmN8z]^aO3cKh,qKGtoH Y)]b~႟+]PY:D<@8 TbѶ~C7z}y骠oᪧ8+d;pŷ o{-FM<>E#5זgd0%ؓRBE,Otسo[͉ xseŊ*35Rݩ~(KrZhd~E@045<q6'|Q X @u(x!Lf ws7` (DpSb&v v]4sL)g_~p"K FG_MM'')HB{MILoggRbG$<JEymn4DofDD%Kb)*M/OSJx(?̐vnQuO fIl$Q?e?Q$Y8'(,3gaFPʩpq3ʗ=oQs%O.J&9nBuPڱ`|ZnW͔>Ⱟ YvG$gp?R6 1micZ n;-P H n 4 Le ym.vFWyڹjF0,"wƉ>%~yu!Y=#6(pՒ1c+N| i"1,U_#^{|*ShƒzjxfD֖zse}ȩwe}^NڱFߍnX4nxVѡՆ|XxLB.dV| {K/ m*z"hZ(lorPwc/d&R1DO16 i]4ǯYN!@̳&c$N~?d-BNR1ՄZ(|^(T۩U׼:aq;||נX<dKf|xiNv$1)ˁf'&n 51G[+X()" B6`0\t.%d =w˲p^0c,zJ[,)(Gu))2RUǎ2$Pd_؞fcR>juJ %1+^ɏ\a1I ѡnhH,Qԃ]0E 21B_x?AtZv%P1tbJy0|՗TމI4NAgK Gr})2|>$sG!1>.U͒KQMiX&]ʻ`'v5;z+-+''jg7TW;W=CvXCyd 8we[M?BQtCsίj9 05A:ҳhbrQ'&/:[W J^Imt֪yTmfv'z՚R\q ytM7d:CC$!lPlDmYg\H օa BŁC_c8s@"ſFf`} _?xLq`P͋ufQSv`!OߩLV\nEAa V>>؞nXP%UdQ)].VX0A\# ~?'ѷ9I԰/ p" ^WplM\S%71?Fr3 DÅg+tjO65+q?Vzx)P)@/@ p(P4HҬ;FÇ`]1 .51zкx-[$x51wUY Tm2{$@[M f+O+xėF >|;j4<)XUW|ZD)l|\#7u; ߨ[V <ϡ 4> pxc6+Bj> ϟYᖧMq )H51/K-QVdXu_oP}y ui&K˗ťܿi8Ƙ,rT0_87I:::l^@st '%`LwݳouH=_53q͈ ɛIHp6qE^> > th lb!$"0n޶}DBc/ LSo-)$fD,2Q .Vfh$Ԧ'v6&_(f2dUE2a͏ u 3XQIs !w:{'Wfl ;MeZᔪ} ͵§[Ӊ nx &!QeF~o|_CwnID rǷ` *ZGft$RTk.z ,i1ڤéJ@cwM2b1-Z_i|"x/'T1͑bA)R76vg(8z]x<Ӕ(hM@@?&ˍ'<{2)x!~b}Ow*T7¼DO8f?iDB}ưRoBT^{J xhޣĉ [SQ630)߄$W{:u\ ԫsWJnrQh]}zo,X?zn×<ciɘFT(uN@iE: IdIl)l hku̫C fISp-o骱UHg Mf33^WxhxEqUܐ'PHĭKqBEO>Kqlj/>G/Q[KR\x-rtU8ul!|\iÐ Ϩ|.v.mc-G>,h]217NT!̴ jgD(+sףg9@?#ޢp>h[L`':9IǼ؊o,A@a*!#,` nNZ<]H@g߈gjcy? 4Q]Jp wb9%Cnj33}"g5syb63x5v/tDBDb|Qnځv[-0RoF]ZSQov#NA%I*˩+@ 8ܩ;U=G 7Q !=eu lJ]Y(j(im)fpr9VjI%3c:B+=~HHQF:TbZ c%ͩ«zVW+h@LFÖ/U0,qwtݻ%! t!]sp\hC/U]c["2zc2׆^x3죘sApqMfۻ_X~*t& *{b,z։ȫ3ŵgb34| .NRNTҜs6 ⯫-"D 3<Ҩ3xHlۂ+MhTUYCyp^u4W ngznyZ,~)%04*쿀|!),wCR*8߲w(E.?/ (LOHBC JQ;%!@S޷ErӡFf,^:%b%W/Y=Z5gfB mg^%@;9AD gIq-"N[<{6ݓסۆahXܟpɦ$Y["Ni}]<9|uVYQs4BHɘv9ߌg UI Kt_t&N?džVc<f9ecFrMn29Yf[4eprJILpQ0'hP Aq&X[D92a- 4ZZޢtO{Sx &qǁ#Zk8D2<ǫ~(3ַOVM>sy xpY=tS 0KU60Z)fG8p|i?Qrޞ~m}m$(쮆NpC%+-~AX)dȞHbbC;m=NJ{Jn66P/>oʼnE2羔]8"Q}{5o] k 0g~÷;\?FaL?H ʌm'(YFbT?@;! RFɎf[##[\84ToWO$ZLrru7q򽐞)ifĶȱ{S E2f}hhYv ]ɘ-2N0I_L >aqNdBM = TYKaԕ )2ib>jVBQ66ߨk]7a{ϥ{Ӱ;W^^dS.5f]̊&tKB(BDj%,7M\LF9Y< r_X)k:LP& QKt\.$Pȇe)5SHyK)[s! ,&OM;9<-1a7=mK$KQpQd ݪ*w+9@^X3ъa2"۰ T&OZ焐-[A|aN=hK̻)րmM/0r1ժC@} iFvlZ``9A1t05hDizwz`ۈ-Z8:yEUbD]-VNdA!O]P\YUەTSȎ޺o܂.yG\ׯ9ײfr]cy!i#ՉeHqFZf`¼_?dՄG9JZAtشh'{p~_5`45FƢN b%W5 n?Ѻطb:3PpTg6Ԝ,鶙Zm+2gtˣxg|{fr^Ko `;"4v_V(q؃Je f./B\? _ڎ( iB FSJw^KhpuFw>|X~<8thb,өRI]9SN6B :HKEF^R7`*9{- GR‘L 9 O%8 /YjWEeש=^k9XdzC{puh>zS!ݛЏ(Cڽ>'pmV(G0 4lg4dVS2o{zZ'<ܚ-@!7GO"$tW8[&<~Poق :'©>`GottE8VjQo4["=uR%hI%ꕬrYX lkd:UL=`kࢊQJ1K҅#y[; sYV \Wme;ߛ!U\|Bx/_=!zϯD&m۲H5wיsMSTh#UCgQ@a)0EVa`&Ѐ#@h* &oy0gGeUS 7$'exNkҨ6xGSŖ~dB.=Æo[$WjFd(4`MW:5{@!`[ -T ^9-i:h"o\Kh-=8 |O2`Q$PLlB4?oB[c^[Z,X* "Hu.kSIװ; )pax>-^|fs| rts0uQ{4 `lAmcd_@O`g|9 ht ~)wtg0=;m{FmFs4ݪ4PT88 :gι" ݴsZ=sõq^ܟ(,eWRj|_ Y2Ƀ@Um]:3&h2l l+ݖɧ*ww %:P Gu9R9&`7oUjo$D[.P\te6቉U }? {z|̀cs_⭱5 xs*3&46[4PF}d VyUIjrq=('6GQVo9kɟ|$' ?Rd Ǭݺ~,^&V+4y)G!"{M/?W_"|OoA}טpA=G +Sd㜉0igjʵa5mf@⾂_^Ze3 hE}*tEҞI"o7_X#FI,kyl75'=EJIL~305#DuhhOQ$7P9 d$㫡^Gt҄SZ9tr|i1@?c+ۛ幂9 a0O G@j7SiYqՄWd*5mfa%$PZ8&as4mFW.> 1S,MGr&tNv5+@BqMB&>iT&!3 "3lZV̑3B\coxaࡘ e?@,W ])rߺCqm} q`mP૞Fh ᧪mGMa0@ԭ}AZR\8V$nR&a-8ψF_j {>ܖ5ʶ!ZMV3,i\9LF v8`jfr ,J@m!0tuο27*3?*\GudRDžNyVxV#.%SIZ{KFs-)u(j~Ҋh_,Gc*Ɋqr 5O&gi# itQ+g ofN#$sױ(!  QТrUskp;(gͣ(*ǥ )w=`hu%$ -UM=qҸZDqۿ5RWwh䶨Ǭ7Ôa%yB`6AneBSZh~eF |!cBjB-2O N _B}>De,SjMdVhf^E8N?Pΰ(ó-jko" Ev"qV{6 >o_5|_, ԕsIwbef3uP\E !MTVJ?]ïbC<~$&5`Ugq~  6g(SS@D OFL:ˤIrPgi<`SS@vjGV->aQm| p˜`f8WZ˃BUwdH= P4ig5LEhY6k W 1"v 0P;rfedMoP,&PQaWbH6FWgonD,8gC~F4``ÒPK֏fD :00i4J[O&i,ǻ]Maچ9hw P@}sYM3%v3[KtMh4 r< _"Y'Mb "էS=jf?Ï5%-`@_'~yGEpR?r["Hc2܂fOqrٙBjFty D)Yٿp^Hj#ƗV~tZ1.a8VId&YV=}QYQr^a΋!1|#gRcGX'anH+'co6' bwLb7gl|iRZr% 0sq$i4YprIgDij휨]/N '3kpZ _5pw[HJ%AǮ16[\,;0cRξp刷choqRo&0=T|a/ 풗 dA?~v~ h` UyC嵵 O o֦^-A [H~a fvP,pfJSU.c[s5AwNdkĿWD%XݖT˸& R,9߆t ϬGڼ4g-IP_dyTf~UEx-ji*s4өGN^'0,Agzz3z:0%`tZw\T H^ ;F\hy4 ~:(W֚Kknfv=WNn˚BUq6Ԝ A߇=p䓘@͛)\3 n2Mnr=Es/ȃN=9O0qY_W=e8k^~VHW57}! +P =S]KI 8p80ẘK˳-Y!zHtܩZ :tϽNƒTJ$._׻%zqѺUV)%șmG; #1]!ZՉ#چ-.mT2 Na(piVB Ϯ $]{f$OuuztZV2Pw1AbJ\p*5hbl T]FVsITK@w'DW iYpTz[FF?t~ZCYX軠pfd+ގN24Qkr:Tuqۛ_pC<_Svkَ8Z'olqYWyUq-D}!e6"1[ q}Y xR)XƽW;)2&Ddxo<珶1xɡO9¹ c֗`*-@ TZ#ɘl]|9ϐŊT`SH7-EQ !ad<rtMzשqn_nZYgz]V?gt:A3YMKVcjډF{(L_9ڼ2J;UiWtTp?nqvdVt^)y˅LM!!UW^0L768IdꕤHSC|迟D+@?rQmz}206pLcϭhAd J'_ >ޡ+(gE2j" Ƭ7#\g2%8a7'8 ༔; =/P)X!7hQ]rFYyvUֻ%P8?2uMZLCvوx={u&4DYi >k(ᐰΑ&Cj>$f:(W C!'1dlס9$b*\!v.|1&SrAQօ0)b-(4KN6x vSLʡ@j i2 'ظ^ Y1?ۧ٢W?Ɇʟ Np>¼?k77! 1>"f%_œIc؄ *+m#/Ĺ ]x5骨ne3]DWnغԂh1, fރ]1jX"1x X ;$sAQ {Т<$kׇca+ӺHR%IGikzCAE=X܃pwm4/22#Ijvc`W%{4|hkqDGC;՜orx% MuOܲO+!4ɉC""ЈHAQq2zT+8;[E_J*l4*6p_:pqG?si X[Gַu/1@}U|PXKkN?m\~:"s8&`;7UVWx %)pjiM|[H`qq#^V%n?XĭM0M/zt{5zEL-OlG7uI t:xB6濭ʶ2 ~?`^0AÐ:$FoEz%ó{I 51P1M9j|Y|Zɲ]U1;b0}`c8,x5YG&1 9G(6DM r~ n &0$f# n2 4't'%@0e /W"f̏`״kqܥ|eʭ陝KPS;fX$CEgb% .y-R7Sv|m5K% кD>@X ߜVU5&d&ӀRx9^Aɔa[f&;p/vkUm/Ê!4Z30a"΋)8Ev,){ obaKFT0^YGys%>Q|wET򁳇ԝ;yj]k=bHDdϠ 7#dkAVӓpS̄ Pȑz@ &v>v>ăkR8rcׁR|KC: Ŵ5T>m?q6H٣RHO1?~4hK KTy+*Y !0p/J$G+,2m$E\532"I+I"87 Q׊y͟Se5'@ nn8M JJ4nW =֜;*!i}GHF3WC64dީrr'2Dk3^AXuI2"-"L6՘*]^ݝ.aWY"XcH;u iET&򯪂}? E4Ub!ӓ]UTRUա.A~ ]Q@(F=ƻDEy-8%|-as$ZRQqyDǫ]@ *X]-*a=(〤;Qc/`s KfVSQ-Jd\x(_Yi$uX.N*}*F{d8Ȁ6Qˉ6d5(md{4 mRswǟkf!rC 5 W |E @qCl{H1kGr)`(<1 z7c}LTS܅SW:A:5W?X5V{xrAM;RZu,.@DGe-RѡiyF7QEUL ezHO' Oo))% t|'1VHx;[瘈~?;yYCiKbZRmg0TAV2EƕC>!|@Gϻko RR7p+;O T|I2 c󨹄P]x)^}[n#9@ۜ7boc Zky~̚ʓ`yЪpnKEAtc gJ}?[ӟ@dJ˄j6D }?vSXnnML>3xƫqQmUR)DOVOA'T(zT34sɁГq=!?o+9F ]*(6.uB~8<68lf&=&mZG4q AmW!_uCDDLo)>;9VDzƝ%CvM՘|Ao?_;%n83nIdqyL6RtC^P3LffIKx+MґᲖV(`ywyU|Bih8S ;uyi0>6K),RˀI Oh ]e KۘB(.C$BtnK]bd?!qZ^S)Ib)Q+Yh eX[,Uu&5!|,4@H ;VQ:KKo ೢϿj><ТV4`@QWz}0uld7% a^+:e腸+Ϝ+:McX;wrQIUtϒ)zBP]@Ch2/(D}^UkL'H@BY#cߛh~L!6v"0-;'Gؕ(QCBv-L mW38]Q#&a7E(RFz{? ^kkZR$[C6 .څT5F4eBxlueҾ߳w!Ϧ(͸f.BAH;-[V  ՄvkZᇙ|bl!vzFD"<3;F&":܌YpSȿL5$J}E=r p;{8B61q8,KAWKWevTZh"IjmnhIOŮ` ?C9G܋N-F:R|`U]#7wYqIKe:)ZFmvZ*p[gO*%#RZE뿖@"jܦ"jq@z5d`.@okٸ3hf!Phvn-_GeZz'#`& zƎh5RT,+fܦ<'w_-Fo ֜T$^ qQ2ŹsNekkB92x-GQs0Qcb1wcd9v'>A'1H^9=yҨ_$W*6sf8d)\|ٵYPО?a ;1"π=uCGĠ,&KՅ|Ӥ0D+EW諕wkvx%씠AlBŎrf Zo3֢W#R7`>v)"[}Փwly'cB2|$3%d;-ҢΔs O"=FЧiⴸF0Iv:j" mDH~^wԨ 3nzgY:߲x CO;pCPYȣA&=Abؙl,G[,Nই{8p6-_X^$.g6Mkjxc嗺1Z)"f&n:Qw )+@ D|yu+'y= L_4b3e@kn㗳ɪ'־ݵ}D({od~4!¬א$-e#g\Wtq~+סc\he@<pYyoc8)6iW>6+`lƃ9d>nȵ^ $t\:i)cLLvlb?!em%z|>|rgw l\JPJ 1o\&(MM \)l dǚDwސV;&Ja \M4z ?+"&p[H+@;/b:UIW$wfiŔ_J&bX̤,-}HՁHl,i}YP/QC{{g~[T^ʑ«UHc:s DhoH ` NKDbty!Уٵ9/Cw_QĿGu:]*umldZ%-(Fj<ʻW:]j &0p+R`!>3VHRWC ٶ jșMQ iwDq.)Y4!`: N9~R+<# ?)lwn[eE`LNGg3^6j{5@O8A3 EY,ͯ#`D\ܦ5Y:J$@HyP 2].#ւ}atwwOeh@?i>;QW^S;Li\V1kAw!“;#/yk%ErGښ0;'Q>TcBc!.)9smzR:K-52dࡁo=3/tܡ  cPd8g̐n+LuG+)Jw&wA-s=NUpx;}18\ O6`#^ü7=p#pSӊ I"Cͺcx]*tZ]Xzv"Tl|hޣ [6gU '1Lh]/7qSiW]n"g' WS'=YVAڗ%POUfkN'ۉJ.)z@GOԻE&7xtVO.sXoz1LѨ#'ffdSJBC+үڄInhfm^%x̤D yJ3KcG` ͦFۓZPw'ᗍc+g4J23tϯw$G@G[*/7@P2`3Tk{7SODxǺY~}$E, HzW/7 \Nf YCkZy7axhH:DY}]歛31ãr/&M4;Ԯp`eY8 laQȇ5X~.0bg%ӲG%6Z]Y%Z8unFC+Ċ喾X9[/7r1p3 lr|fU<%?O~ZdN9T5/[Hk*D"i 3U`$ccJ *}Gh^:UR=wۉ~ u2/Ĵq'|5d>??eydB rE\߳LQ*_>mϵ!6ވf'-{E#<Ƀ['5<ÉȎ`,4RVhR#[/=K`m]+%i8ld%,P.*eƈz\ρB(ty q1neRf<ŀ[Wdh~}1l>TO:3r_S/FEqfKjkF6ݏr˅z }K2Ko'Vp-jriuL3#y 66KTaV2+d7±Li37v'.4ONzFD@}iǭsڭ鹛Q64#X+ϙ}L0W%_e'.)zS2X8b?'i`/kW'/]z5&pQwF@;t蜐q DW p#o(nFFYV_u}Ɏ5JdǪj,f9LKDGbu ?F@OwʬR)e +(ۙA Ulj@*|=k6+%L@AS#Yi ^O#D!pfsgdxê7^B0yi%5j (#PԢ"( x(#/IzTO[S 3=A/cpwC$zdʊo[ggcSlfi:7HNNrl-=Gg(T AErC#\ ^~T/!G hѻU ۨh7{}kp\ cllbDbrA6t 4#s 1Ld~1,5% &kk-%.II#e(%VJ荬rM32=4;/;ؑS7@$Kh8P@ٲ`xIvuM-I΍HjI(zIUp l ٮ>Z!D"\^46oD:Ib^/Wv tO;>ǢRw9%DLx&qփW o&K7* C &z#IJ< j1)(:Y E"Dpxaa*Ę)lZCo{m?Dϵ~&}2dݶw?X%݁ړ 차2 vU$*$d:SQ]S!rR>^ ʆW{,VpFIr9zJF:uCƸ9g~ çu;pmiQQiײ!k
'DUU6B81SUU%Gnc->J ^\l߼@tf;.ϴXq3FY71!K)S: ]";1ۯj5'!R4x%,dpϼ Zu ~<Hc7 G?mوo?Q3+63\3!ċ2ߦ.^Z8/T7/c yM.koYmƘ">9 ک˲ȯLQiݗ kg0 X|c^WqZpp@!, )e5W#$NlWxg&1Qv*vkz_P)(4I #z~" i qn+hUCd8?"pD6sz\1d.I1N t"4U"L@ Kc-|7i6,83=[\c@N #i_lGl|)=Q%7زA+TsYV՝WLlUydqq݂A$:hk'J&`e$:PmÒ$[T88Wj,јj[A *$P"`ce<=:p"񙃴p =. E$NOP\cRk^?:/ш%;DoFh$D%< <Ni9$4u짽bKۋ>2@6eo|gk[lSi4cVӠ/1]܌7y67^{ꝲ:#v`K xPK x kxƉA[`=#_Ƒlum8 ׸DM!g !NsfoiFjJJv:h嗸uuAB]6l,QaTO2(/ N ikcσN" LɾNr j&/\ix’Z48NӧGQ u3ƝaV?D\<]iZQH-Xh4Qe]*)L%DX/LRnصDY C_YLo2 -K)/sĝ6bQPO~a G6j5YV`2 sOOIaأK ށH?e >Lj`l3Uckk:]X37 4M#Dݿ[!O&zζ'i"^4f=ZF#lj sKiOCElA|CM ^|:)P'ANr=Bfb5KnkjY)UStPwdJӘ:喫.kr T ! "4j1w^xIBa쀴7|զi"(e,a Yc ƹ Xvi/5}9 ;NmPHmԡt v՚"uOQLZaڹ0QkWPg3KY# "Vtc5 OȔ 7}H%ȿXL/n`xb.JgD|S4wu߂@G" Bףs BN/sZ1a:Jc`~xhʢ7z;Tsޕiדo!Qo7]0rhڑQ`+H%:s>5Lфu:dRZsd