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  X5$, ; HOL-Nominal-Examples:threads=6elapsed=422.652cpu=1571.348gc=131.848factor=3.727zXZִF! %}]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb S0U5;m2Jԍn<LV;lV20!qWsP6VT`6A4qF@9O.n_];qNIw؈^ Kba%QhA,iE^ٌ$5z MkH2疗&'y {Nՠ2SB: MdLE0ju? |Sn) dAY/RAW [%-v.$6s]ߏN  5 HOL-Nominal-Examplesn>ၥU5с1O`q~msmnCNՆpӁ Xɤe݃L9e}]AN9-I/jtbVV-݅!F*56*u~\gV$~S'ƎQlazE`uVt<&biӖXl+RTU'}ؘ婧3U䋂_&f 7.wP d>-At&YPv,ωTjU@2;31da]oѳ}SruFxy?i互.U_ePl4^<j)j@0ʲ{ui}<2+Ø.*8IQJ#FggO{`E,$W ;SP X*Vp8<`~7Lir6گP0 OWNh%ShYU@}C-$p~ )KIqx+NKg}WEv5qРV 8> >ZXmZb ֌Ey,! x8L!!SFb%$oz5£׫ B멱+-rG/_D&0i_erZ]^S؉JK^A&'@V{GOR2%ThP-2쟇\bvFrmhKp*0j,&sYQ2qbAP ԓK(!]_SYv ej jmf,[ew^6cg=H!Hp{J[-ՎX+M6?q&]=O74DS42)Ȟz# :ךJ&j+\B=u9ڨ|yvu} ~cQ+|nƁ LR hP(FG^ez˱x3dS?ˣLu ]]=Z)%:q lSrE!ͦZdkLWIԛP_xm7EW]F' sUh!3|RjTN}ћ^?L~7oڟ *|U/T.آ=A NGqqЌD@H"dɰf槁Ad,Rpj>j阅&del}HB˅خŽX9Ge{2* *i)0>CBhdS.hs*x'rĉ0 Md:pe2QԞZ?G/ a~e#[%_ DZ?ؙY2kZI7/3n03vN .\+(OKU6|)lov .ܒzdZd@vĽYd}૿" bzGŨN[Ɛk熔#<ʘE[xNO9 REJ(@('J@/ ۆI%"=Ϊ3^Z5/-knR()okRu6YOuL`O>%0 $F0R9;IJ8_v&$,L!TFlȜT[cۍ(]8؉Q)0a(Բ#I@\o2y@atJ(ܠi[8lN0'}w7? ]|;HeKZ jȖ-:#H:oCL'V&B Z>!0Ӌ\q`!.9rn9 o'Sxdn%Zc5|xmrRL ]TKtW0hdqbYn\tiky,UuNJ Ɋn&9(\yIs59W5yPOe .ef(L.3BJx $^}r":=A(LmY2ylk%G.g @WHuR:b?Ӯ+pxh׌:#r*Q4R~#<DbN0OLD#Ӡ_R"Bш󦈓Za3ՙ۵W!j, *ge]o0؏HJ U@5~U+ߥi,XqT93^9CTNu\]NE&BjJ[a|}C}(ƌ윲|TbQS g/&@RY=8Ѵ__Z|goAodrgH#n+#A ŸLߖ וC딗mU3\1UK1vCZtBQ mF{& Y3'v`7)-iM$ :s{& /l'N㍐f'hG7l=%/91bPX6 iJg:lZ7]` ֔NiPUO |/BORlO^`rkm [CvlQj[4;9KJأd<&gq꽳P>iz9c taQhw4LJE T-k…<'F2yPzenf|L&_]a:!epVe :%~P0I4}Ԉ#L@4WRл'1zcKb9C\*s* /{gk&-FvxT 1N\VLϸ,_#q+5/!Qζe]L|>]jQ+ 17B~^?m(^D.QtAuR`h G<|?n( If6Lw./}CgR:f]ղN;0zKl%ycۚk5~kB3p$<qv=Mޫe̼nZIJ*I3/_&N)Yjʣ@f78ZC`UȇG)yB8tk]Q8Tm,mpETcx΁g":}PDF{5n CCK;"26xβy2e}X::=ޥ Cb|C`|:JTkꃜa[YE%*4Z>vwqN?!X-r}=_FXs tHg;.;::Ev_RPg}uXPONvC)ޥaŤݨ6eX8F \>sOf}HoM= #qyh`lAh@V_HgGFVM؂fd 7*z\ª{L%=[bV&S\oO**A3ҍKq^;d_{e$LRѶ"mH2x+J4|hY4'7i&H4 ElwcQb@@B $Oy}BAffd{@ 0d;Q܃61 ~#^hI 气2".Z[?h +Qꄭfc{hk8pZ=t"Vo(4,i6We+bwz;x'*~ |MVOsӺz@W1.YFah ls6],!nDޟ1dT\fw8}I6o߆af,cj4V [N|z ?li+e-3F؜w 7"Od hPZ|KZ )^/΂ǺERΥ.#WiiT71- ꂣm>5%Ţiy".V;?2i˧iqgfuB{wlkfded(0UY<L5k'΄V}9v࢑atkCiG*W}6]u\6jN +nqQʀs~s0kYmJEh'_@z R4)J)Y5\e3V?}zEjn"=Hy9m7N HrW*Kr%B=f;@ L_Kny$K5rεDnrJ 9vA֔YMYB֗T6!pmB"IQBSVb8(sO |&S Hq<z%^C $ge^ZKm}J;n><$v.f|=1SCP77vv26iʖ"4iN$p3KߌH[d㌹v1cn(fm\tatz1Yor\2}!ݚDթ׊>nܝtE>w9 `H1296$S=@M%cv2ڇZ^ڐ,d_D+ =^| ,tҠ9I6y}UIHؚPחm2ƀ n+tHRk3ڞs,i1Q3ͺQ0x:ùb#W>gny1R2b1.St4M?PcHxC kZ-"zbyL;8mp:zMCQ`ylL LV|"?Xc(&`^TXOk1/4 #TRܚRWa,A#uF',q&#48%C,i)SN)\n !Q"&L" ws˂w^7_ Z;- l~|#Tkx۹ 5D,NƣN\8Xۓ1Eh|uv%OX:&ńH,i CȌU,Z9 RMqq=-}UQDS9 jǷ>oRG"1$pP1:39 R늤;PdlE+P$z ^7pSs>cPz&vo>ZzڌWxX>[^Q~y EX݄AuNk/?9r9Lk!)]6?>G\t8l Ɵ;:͸|/,+&*^/&@޿gLc )@{)txDKF>cnS~/%ʣvy3jh3hRKrc>h\uiaz d(?Hi!:P]wdOJ|!h]Bдn3 is0 0P'wFBGRJo`E~^NMjR:Ivfᝤ5w8$Kgi8Z{J| ۬%jk@;k5jyUuEfwT8>GiTh>y"l:5S,?h: V,pL'j&DG0CJ)Yh*Tڀ~ػU}7SV}Az AAgyW'ڿ i#6=UXOEAHZ> #&$QΦsDrC9J`q3zfN[j$O8cm$awdW'>z^-Ѯ~Mօ x}voB StZ@Sa`_q ) 191GT?vI'Y:XH?0c|;{O]+PyQ`6,jk瀁`s=dBYjK2iѮEA@EqΚwZHxH%COF3!+1OQ:8.h.XjN]@}sMj9Rk}E91, :"h6T`Eb3 Bga`LzhJa*ڪؙ˭dsCihZS?.J.$UtP{죻]l0l$X NT'YtDɺܺ-IcǼPcRa9S@]wzX uA՛J̩ŋ䷇ $u/ ח_0b 4hƍK2xUEbW[ w|0E=R_c5 <BU&K3w5ҥ,C$ҹ'`r>$]5_vݪ+qfZD\|ɣ0!m˻)<8ҹ )m5 c sob{A7̒Yr*g¥U~rD"Gjsj3Zb/Gv`&if6QhA:W/ cD jlNU}TZ3nt)CmXFjf]P1(`n/Fi:8M6Tq'D (pɐkMv)*FAhe>yڣTLߐx~M 0&Z^Hk=N8W>[,{6[6O4E2yd8|)N*.e8.5(G&.п y:3o_{1> &$msy% kR~:KĪ(/}2*׆/Kedc1(a)pRPYm t}\ !Z+i R :EvN+ZY>"ReY\?(7Dɹ[k9ە|@ FJI]P,+aoV>ӹcwqy_׉\!\OCkG0pp|f$F1PHƆU͍fV䣂OkwVP'3G7U8F4 HtRIkX@"h8s̲)7fFB-jو3 nPm7@5@_a#㹘[l0 eLz|LB E87 p@B֔~>xPͅ hE-^y9P F@ncG76V@Ma= vL Grɴܦ( [e ywVՌMY< ,c\Iy2jt3$UC{ry L6䪱J [3se4:^AuΪ_&MqkilA5ɧ}Z:$0աKԴ-dsq ϋE#Lapd흠s,?kmW$楚)S!9r@~4_.Dh'0Fοw;f/TuR \Aejo_̗ 1XYuz~s"{@&qYmIX+))>x f s=dv*m/̉"wbsy74Z/RK0~edB3yզdk{v?_N*fA@Aҗh 8X #ػKJbЌ89#MD!L);30؂GJ/DxMf68' zHySA,VY_vrB@r 6ڱ$-+07y\sZl,^rV4Rc02ʩQ-m:3Yvha &L?׷cyatcFeHM, Ggܩ t}vˢ…Pri.5fؑF$Ȧn8~*[L7|a~J+49ÂʴG XNX>(1f`K鈇&V IASrc]ǛœJqqҔ*,W^AܞΧ|/h{>Yˌ{IjJU8)i1Fﮔ>vi<dL޳gі,Re>$o(9jywXEB,걡 >'f05V x40X6+&RPΎӽ&Ckd$jUֶ\ƠwTW%HnOŜ 0Oa4q "Imr NF 7tCMMExWfkĜC%_$j uefu']Y/Kρ>}o}E<(.5yfƷsY g\Ve}ȯW\x K@'g A ɴ_m[C~u*%>S r:N.ɫE߄GpCDB?ТP4+>v>܂ ̬|A|\0O'3UW6z:`ΦT.h"q.&[u[=nǤR, QIψ!!5NANlXN> C.qd aYA zWʮD ][gLJPS6ݖL,wj(Q'Ck|^o(b֜ ҂s=/|@e<:lIG-hdN"qko:VqՇES(W"uPߎ8*aQAE7ߝH?^%bZgP&g@Sq[F3lYhP_6 0x>wa)LBAz4aIV8i0pDL,9p ̬ڣɤ)M;\O;513RN}-'  B-Q* 6mf4 ؎C鸐4 {XUk@Iz XBfw,8i]>Z M9AׂI~ݯH y=^/̸`n0C~?J / Zu2֙sJPK2ƀbDdћo%bf7H?5.zWA >kSm()VLS*lK;4DͪEr6yHGͪI,pG!Md8o8KH?1gI.}~Ut09zA&;"nJJ; saeHje~.1/ktJ"OChpulMiZ7gj$9սA=R@j@LMN_bSFG6"̅/'q*FV}j=vR}qx$u䆔j-+y:<(>Y!24Qv.> {UDf2U؉y""9$By7} D/a7o$L\+~Ժla*/u<.%O|S'޽6{qnQ3vr K:rdx}WĀHol-IuES?$ d9L)4d-9 ""5fmK$M"2J@zi@X]2Z&ܹu1鄥oʂmow353M<`atYEB >П ͓i؜grwZOXGZA1x3ܺ?$<ױͯWU!+IS(,o]8{hA.#WQ'e :BsxFz=ub`3vKtw|[5^d6e58c-}èu[9-NuEK_,(b G@fε~=]oTVWvsKgv1wȀmaإ?p'ņZNZMΦ_{קVitխE&H x?9 J4eKOP.@t͏'*R<LJ%}Oӫs_5>̾6P약灜 ѹM= G7x{`W 1:^j p> ThA~| \ѕ}cfs 57ѪBǼ23*_=5Hŷ굜4S2.oSb7T_AW'z)@fz0n5U-o6j:s9&0lTWW5BiƊaHE)DIt0F"{>eItbq7g(<0-_5]|v1t!j]9="nMH޷UUOǟRonMˤ f4 eUWvsz3Sj:2vu"f5cWYXLŻ}ctFQ#hݧ+oɘ 7z1+0=$\|)<ہ_}Pe uԜ툈ܓdub>5mv: f LuɖtW'm⁅ "'Gz_m;o(!VOCP`RMT\'t#lYQm}d_ɇxg]N 녗HQ96"y&u1@ Z|״&8Ļ[.OCЪ>28sywvɭEE"5jߗ{&%R ~TfË]/x4,VO{QJjήTvH@qrDݔcjY>IYXgnK/ \/`!vk>9W4í/K8k"01V-0).(,Qq{NO?e,<^(a{5'Mx[# n r֏,}owlnE9Q ߤ 路3tL21ImNp͸8hmYCM7aUޅ2Y 3҂6Y1IH>Pa6[@ PO{g޿;c1~$#' Do"nv*+\$#^!.kRSҔ-L47 c)/MZc7M[Rfr~翝%$ij )\[ Rxj yʯ*ۗ"kA>ԠU.b&)sô\OU&=ُ+R2z؁56VVc&)-ysSغ5:z25uRCK rɳ][u)#"eﺴnr[ јز^ QsF-:|%߯}-]W 0d6\k#$eļЪEoh1hjQ,HaT'uA?q  N9p'$faCv" f"IJzv3JF=q{&GrPhކ<J -n~tX+諠8#A~a!XGY?<+b"g~VF;t[Cima e9>>`m/.yV@g!hl׼,NU@o: Ԉ lfF2gOy ؗċf:O`ppnVtm+LoTdwcqĦ?\'Wn<9J_)vplߝ 70ŸO]}-,ٿ! ~ԦO'g%@}TpMJW$o4')v)#Ü6~g(RvHwEfkǠRA]#L.@l0kK:"ƥpt$/΁a̕ 3”]&LږFT \ snUaFsxO=:[=0ȼtvP<|v/wy"gQyWPLl; }xAwN d <T؊ Hjp1slN zfǝPt]MHVcC [YY:CqA &d|)[n%n~'T?wJ DݳD|U2hPܵ䫊6pKOBQ T;tZ*rTBs+Ed\\R|LjtYzfqf Zka«RzPd%S M83)YR`s] ̴F`MA 0J}f=kY9},.M T67 @26Zb>72;Ԁ='ZGgiQ򍏗cHyK:f-`Q c^[vۃqN/VTڎNɿx~m1HCfX&Z{[+j0?jh jMF л9^]@E,r!+` ŦkXuɭ*fsjAFXKPJ=!|ZȰ!\HԭŗKW9ޛ/-Ob̍\AbY }B+d' 0عjAc9?f-vOqH}e@^Б£I$I+<~%7=u {JCajt=+|Y1#E]!I(3)eC=c_~0@MQG>@nkS!<{l]3f3F,+ﹷ,wyFTΆhM,r3C] =.T?du m#$֛f鮒A7Wlt<?$۠ GƝMjڀ8}=&eE%(eԉ2+$hoI"!7(:?ƌJ4† hw|힔:`#ndT>6חpLYsk>< _ |UsW FYv0gA-%sR .CM\=`q5 J .+XeԝFm(AfjdM(A.LK 댦Zi$M`|.TBœACbnPk|gR'>: ܖf>]xh*Z^7&Ľ4,ᴀxNXrԦ%AA* Yok(dF$Fpfg\!Snny2b_&;ηч?ah3|lNK]2?"R39twF_w+"PR#<9T0fUoݞ^ ,y&"dYj ;l_9.bܯk{˃]5 )f;;;9ladMԻ[fI cVf\?%-sy0Q쫥 mAc&wOˣQI lSCTΈEL#%nQ'E$pxD f}cv Ke4I:{njCwk=GkWk%rl|τ:rL#\D.G{Rn#|Ÿ\nCPY#qDЋG9˲Vm!N JHjƺv8`[-wCyF^k@;q7P"{OvL rj;۰ 8a~#'ts>c35' MG$%pL}'.dGaLȔv>U_ z)p[s95(m2?~$1#,f vme04VB.Iӝ;U\V xٜI03VQT_ĴhTAM;,8Pa7`> 6<yeSHZiA2A$vo8d_~2Ct6h_3K3%Wbk&vf t7|CǞ< [A^| Zxں]C5M_}AmɩAk kHӓ#D{e-tMُIEb{+ws Tv:FwG2Bm1|"}4E8+& ,BQX h6\ Agn}`5!~kQC,]b7WqFlو iu=6ܺ,}=M#ƹBw+R)Ř0SW~4n${r[DB}pz].xQ{IGȂ&WBM~v]j yRpfp $$20Y!RDp,vq0!eO-nrLınK(]5-Ԇ7Ewlc(2DfwZ?O*dfAq)A6ͫmبKp0 -He+9 CM+V=Lg%]?BX0;:e\m4%^x~6&ğ1~aAX0.wCT *du* Er ٚP"k C J[C rkOSHN(#w61S܍ W'ՠ)r:RծC‘䷁q0=wzIfqtN!s~#$_DJ14,"x*`%=~"K [($ za1Y] B<_(t~RzH+UC!X0L7)J:+eX_Mo<"Xw溉DIDqUܗm<WZ&}{Va siF>ʦt+m O6K3yOr8hk>ɳ4ܤn_P S&nzE0C.,ǜN-n AL% ]`t'ZL>|xĿuh9؜i]HjbiVhN.N5Qa /wW!-Klf\V,2ncͼI.^lE,xs5;TMS݇2԰w $t'Gn-R 4oY٤ 5jg ܈ RIydGHȅgh1~YQb3ۓlA_\z73B6/`ֲ֔UܭmmTI5S$~pbcJ~29Y@Uا|ŢMZ 2yq LN0`03zg=Ȍ%^:kN=FNʹu0ލX_<_@eQpxE:1 {h~MꕾCd2濒x(GAȫ8{ˎ O5<_bXEf_ᡠ-e-.2}=뒴y܏+47ˀ#SwC P#5*C2t0z9e7-#oڸrk xtV}brC!èȰL6'_G/DBDP8@2^, eBvg T#lC "bM M z^ ]K 97TK[8iKT ɾ{,.?}cH3>&g%v1E  ̔ia%YA8\zLAd.:E4f*_o;F$io^dԦ!п%RF-!%ۭCgn͠1Z 4| !aYi8,Dur_ I B!:j d_񀯭a2%(PE ȗ!{Ά8*ذ[K/4*|Q l(=F-bDTk~*1xə}߈8 54ޫOv25՜,>Х%$r?v7RW P X^j< '}Q5׊(!%jg/  l_r]YWʷor{}wȀWꚿQZ +Oτ$  \'7d}q5&0PJBaeեMʅ)JkEͬ?jĜ3TNp" l7d2Hɋ@kt1{;*1(hG8 zl$^߀b" h!ҊKcc;7RnsVˇM,KwA[l'܇\ô,H,զ&sU4\ӮyYT*"0P?ep{F33ֶ@ @?a4eԕA r_MYiI b`P 0  W?32f*ːR8PjC!Wڃ}UL'zBv'GY8eREQxj_֭F%Ad8Y(T}="(ەڛej/_iC1$a$eFpcb=]]AyP72 |b)Q-xsw]'O)qWM]g7x+:T 3F^\w`AdeR^T6X_OD2)(K#|CE6D>"0g|dӁ &p\ʹ.fTB׎+yMrZ%XE9"didlJ$[kz`D[Bqa(h V2B"*%VHb$}>V#=TCT64jp7(غ7xpnIq.XW"4Z:^!BKC_!FHJ}ߒ#oG5CSJ=e^M]>FoNgtMkD"*q=cMidVn}<<Ā%5y >T'lDVmVSxT[RiI ~ac_3j"nSkϧ𥦴h9H)+~ӮVB\vz. )Zg(K=+ku^,UmPгP1_d~>,υHc22vt~xԷTm_`ݏ0ի(#2Ĉye$JuRC18)3dhfY>S&[ް&iY dVK>:.DP̫q.># rdL(;ڬ);c!> uox=3y+*v?{Uk(`NtGc$B8Z]Awx 6"~B&|=7k*v!Đ.N}Jb!R^{p)"Ny!g1 "h&?hVwO7dQn%6H.*o!-ZɚO 488N@9A- mt5+:z@tzk+ipWj$?̝ҕ4k&rن3 u+>Oݝ؏/DcpJq %K/Gq!јZKqĕ]Z`| ,M4lK_t"doMCM)diYeDpԺJ8QH `| vgL|x8[j[[mfyBF^6^Q}Y/}#UDk!\-r%`ӡS@OYחxG>n5eLkBL]VT~dZ!HSmOd OƚP[-R\#ZuH}qmKt߯Lʳs碇0cGyS!k~EӤCRyk%r{ϫ+w_0k2ՓY͘pTÆ_>ϪC}jw|qֽ6P߱B:av~VH Dᙟh79iQ3C2Z HGKE]l񊨵V;L maOSK̀H{Zݝ]EB*ݢ eU B)&;j^ :\):pRjr ?x-eC QEІ}|(i3ɟ&tFR.riSѻ)& j`p5[(Tf>Mn)_vI`$K6R14dW8Zw[k#Oj@\<ױ-&.$'v.p_h$Šw=wG(X&nQ@<tI5$ɚABouAؖ1rRfФQ(iRs~UbFֻ֕ݼFيߥUS1;}Ño(5rʇ_WIKXF.S7zu¹ɉAxܥv-fp߲;| '%MuO"5ȥ 7wQiЯB^nP(o`r 4B5a@rH:(2DyC>ci%J gg7m~%ZF*#ߓ3n0F/?/18{B*#Td`,|1KU.!hL. Q %Ǯ6]<3O*ba@i娎ǘ'/ zu 4*mIeNS|ËwC$,` j՜F _ ox̉05ΪG"Dc؉Z7㡤51tȴ=ˌDS+ o $n,}Dӆ`wYF&w&MG,ׂHMw3TLv/77l]!]W\c%TZ~;BѾm=[<ùϋ 7ʏݕS1>(-U#ynK7QTЉ6GYZ'$5j@;@ : K7HĘNS;3KVŇ>Jǜ%G%u+EiNhek PSϿG=@7Ԑ1Pd^\=պ𷐶RyoiQpD`d xdԸ YZR) oI!ʫ^jI\TȨ9tcWh,|2E RaCJ7/-nx5C6?XWOw/cĸA(߽3=D6ab(Y;Z# Bcճe3GBi_3%rBm1LNW #er&/8),Vz:L8Ӽԡ;~֏U%ΞdXX'82@7|I1d*f,irqCҭp'n}sXYڨ~}A؍ Zsê[\h@2sַ޲Q\oz riUQp#&|Dm Ţ"ce_9ASGnL=x8pJ4Iszճi Š#bh=b8mDeqRVZI3MݯwS1Ywm/\ 86ǎ&H]`cL$:C&^u¸gw4rџ2;͛7vj|Z6h+ZzD}a-bƾvNS]VP!%xY]C}u˶+plaxoA 2. c|o( ޤ%}%c$u.{چ-lWP>abiFL SzV#Y5sb$(a=xcj7ltU4€t`+7q$wy[ZVF() ܬST-cxWU.G_T_H*,\`A4ם~ʲc5|YM]aDvSR\'.):X3̵ 89h./A-=)HBba1QG"rR0"Xg@AJY43х_n Db2ㄫdVJfvB Oz^tU;kjOqlMO]Q e Ț͏sW)@nv! lR3'$-5W޳􀂐$uysd3ǵ=.+mڇ]OX> 1h}tۉ ݅T8|PhGXtw/F $,RQ^AR$C8 .!-%.Lb|?RcE'ƑIpK)ھOTrrӔ'6P~Ҕ_$ eM&s9h(DvyrY>/9~a-ÇV=ҭŌUd4aG-@bqZ?Vm6l!U/rS8`\g lb{8TL ;2@5t&פU^10!M0*,=AEV{a_xz9G0})kT.'KPmۙAxkT\r[D} g3X/U%^1*=q _DH #K)D/*0rq(iR $ IPA:?ﻥv21T=WՊ 2ZIFtD:[c|VSnFL'ߗ +{ٺ~Q:~(6I@ c\22 :}ö#<;0Fq~`cir9>Cf]uQ`v c Rs>暊 7gYJi.xӃ%m[~hܕ$ :%l _k1J+ԣvVmdxߗB]IwBc T| [!z2886w3h]m^@~>|B=K/CH |U1d%i[K=H,}vj=j9avwM.جcwNzIH9\W#r׊P 6Ot*DIBZZ >e{mPd9(1m:3<]i^΃FG𖭛ܙ,1bWUo-(qԦ|V}܏>Ԍ$>/N JPtâ`1 xV~Jm0mԲA-j "6'e b=a+9Oy5BaO8/ə戸}+n_~OG\\D}ntPۆⶤ⑺mȯpZ*Nf2Ne# ĵ⻇&}T 7։SF^m4Q*,zq=Zۯ6rU~1pmH[IYNsϱabOyBYt( 9G} @e᜜s'0&d< Oy\U!TeB$Ǒe*Usvt6/)Tw_:f9ݚs,1m$$.IR]ݠ,|5Rv[DF挑q'&vo$Ӿ,1 !]@\*\L^_jKE`(ieTZWrvPV Ā->o&ZpV D3oҬ.OH^Ppn4_j`s$6D:Sˌe2 4Zo$5SJfR~=swbdZQ6w*T}$ !f\,2A'Շ%;Beh`OIҍk[Mq eI0?Јڐx?5RWi&ç }Վm\axU[G "ck-Ku'UsAQ g3V/֦hwVX)7lWxlj3:1e'j~CYEB5<3_~m ,}8.@!WЀv@B|s5 28 wv1!f\tQ`/aM9B- DiaN97^+&ZҘ3ޥy Z _{I&Br7g;1-[P;V;4l-OĻRH99MBqE$ҹ|3 2*LW3RA7DJCY\JNa`C*3_,ZAFqAɠ=1P>lx)Í p9t8uusAV[(6OqrNmIG"(V^wdL jj;"$#PQ#΂.=MޜnoOwEi*7#oAa \gBkInPtEM;$'s>&\5 JӜCp0ƌ%( кUcj*)ƌstg*("Rߢd Thkp'X &,jAe2aoGBKBK4-9i?z^Jn.ޯĢ_cZXCN\z` A5 ׾ĂI L@h`bzRe!;7ШeAUb0*98Qޞk6 WMi F؇/JC}:u6],;y2 g"&MxeA:$!ppљcN u14|-Œ(ESىC52UP'ks^em2*SRG|8eNzSA68* )#nѩ[(}tZڲSC3t{sEJoi H`/NV▁2fRT ghFs8y3-Z߾RE Jqze"&`OU~c yP u̿*Q:KB#¦qau騬Lb/xa$PyOݚW]IpW(RLك %"&4CMb~Nj"}Г* [%"[$ ӌ$r>NR(x0̴7w@gǚ2 m5gqC|>_\ ON)7!Q/)ocPgNxZ"` }] c -"w}h:ca/Ђ[4C-ѰX$UrW[D1ms2wӌ49;} cYBCҪ[1)Y{d CȥĹPB0f.֩QZ'^t l:Y.T=xB~I"ӛZ¿,癏?#Mqj>XZ)Kͣn8J}=!vFXͥ0uJcq`6̂4x5籍5mi~1s-*얅[5W8\;p,{Xwb_C9.+9,X<]-G#h?Xo˼xOWK]nvZXN?WXET{pk@yaV-4j`SxU1H\7 O:\풱ҧmAY71ޙ =_Z!ǀN&)TwKh<ʓ6GoV6˞i6@]W)蝷`l=NS@JFP8QJ8kܥJ ݟűgYZ7zXZִF! _]ŗXi%!QXq\Wr\Am1L]H*T^V :6CMQ'f8u(y')?a_ldz5g M?gX tQ"ӃPi/]g:'0juLB#-囯AE V4ᤒ zjW8(WK?Pc,P1n>|=Z2 \xM a !83v? ~bjFK|ÜkY3vVAeVV][9]2iQmq8I=Y?@!?@vq?2 Gy?`F`cE^ svbaU`@9ү3w4=~AgJ3/ MrNPy ?`P1Wf9h 8z suÜGN 'b&,',L(ziAI/lZ,b,ؠ|-P+bDc ]@x-̈Ml?5_<(u:e$ph(aEqiu#\Ncp-xo!YE}75CpWL+?S™DO\ÿQJTAvR:>尷Wфg) /)o}wwY#bp `Sk=$Cr>١'m| or_Kx#W$&Vb@ \ 2*3g!-n^ѬK'!ۭRf+9ي.NE7\lQn^$2-&2Hk|ue/AunH| hgA`XNONKA,H"$()Ÿ^C j rDm8uсo _DA"}ڠDIN~v:`17?)fQfÒ]g A=y%b6x7-IOIn EO88"0#_tYw0|e5=h6,ڤ4*[TqӜiH)?k֨͟VVM]c&"=K,HK?}4#C\UgV i;['018B ,EVvR4 *<׻mKkpmUufo~3o}es gi#- x ONmPni:?{CSqDns'Tŧȴ>EYonolW|{>n,(ŎYo{)3t#K0#Y0deB!!6h~ƆlA(<[adB8*qP&@xA/|SXWF/V-C>qO%|~ B3-,F[_)ZS9Ʀ)q/x|~!^xA%LR^sWڕ嵇sbE(_֐g@J E%ea{֦Hbg^i 4cc*<}e6.s<⏍8$j?zY(QΘ!r诱R /AnFF~e{0WStAsO]/p;Ʌz"lB0 TS! Z6@?茎tonA|hh.I7OoH` 5jەzGIu|˜?vZ"F}P""P7d37Uc\Uq!OU{ dϜ"jلG'hfhޏxR{Mnע)>ghl=/Rb(~ Q' [с+Z~Ђ>?!@XnWTt4H4O#SeP]NQlBZn3$*jocXÒMM86*/iĈ̖A:EARٳ)'QZҐRFϟh^E"ӬTnEpD;c?I6PxX1N Ejjl&E?laB~hU^^;1';(#O60;hJ ̐yTQh%Jq˕a~#+χLIdۇXqjxˮ u[I{\1!ҎM`vX UOޫg],~}N'VҢ)p((]ATa7 1 "D8:ЂJ(i黻A^:gfl?*6*(0j \Tգ6x ʄ/rXd+ y^ 5^0Z]<+epimGe̋Kj6 KojFU&4?~6=nR%:F叵j1`:f[%'q$ avnut ׳aAfC9y;rK.)Z1X㇞ %3* f*QJYm9*]_z)&QC73Up֭;Ul)<.4Uhnff@v.^ꠊ^c?цs?6܂gy&S2{ܦPc4]ci tjۻt׹ 1oi{`Dyn#R3i;geuWM-<ѡ  Xu\Jlq/4㩸fT}u ly+e'Ȁ8}P\:R3' hіsm`H̻3p"]ݫ:w~0BzJВBd˂^oۦ=}{&Cy%Ne4UlS}L1/b*R ^3 wApFVZWL}ݍvd|>T+  L0Ϋ Cs4 y}f[pI. 6 l^MQV?@+Q=+uTKꤽA|o&l*Ưr i|_a>%&bPJߥw1tnPO"NDp2Ц?xc] lmrFlvӴ ';1 {)ѳUi:/Ѝ X+Ϧc޴;GZ$T!{,(_}٥z2/!M&ME->j]8xr+t.&R~3&+D!^l\*O+NQ-{Ti6 SFU(Oӓ4oB!T%B FA74JPgTwC]=~CO\ 2*nYxYZO5[d{J5PD<߸ q]M]^0¡&JE2[&N[< Ab?aUkk P $Ɖ0i28"(uH('3hv]3Vg#*&On}38Wkm U68{kF{f U`6+{5utؗaxqrtRV0% AяJ4D"Ҽj=:iN⅝T i @R+rLa!Q7.hݑӯ AF&X<|Nrյ~DU`߿&&+S XA L!VM`dOP V-꼄dىab*R{V}ƺNILk$Mfߔ 9!ï!`9z'Fr_7>qwu@Ao& p}Úy6?,W$['6kz+X7j/)Ysh,)pk;V '[TQ%V۩.~?y6,ԌƏ+CKyLG(o;Oi?g٢ |v߾¯@l4v;S7g~D]%1QIhY+ۭBOpr_ךma>H7͍"m;,,cC 7TӑO n,|8c'\&2崸!(]Ov `ߕ &;G]3Ӥpxې3Gz:t[HCE_>sA~rmcq7`I_ .@hQ@J3ށ0[/kZ%2!nLRgNwPݫ~fkd9擳9M]N/iny߼˘is4 !e~ĩsh2מ$[AaXL 6US9_$饴B`7v ?=`~424 <5$ 9z(5ݗټkqA/Pf#hv+;S?LJHU FBLlE5K`3~+׌ MuN .[g6M% QVv3[0O-/B +NӇR^Ԯ$8- #φjbha7hG2Mt{ک,`v*#rStH@ mHŷ_Jh!Iİ|OɅJWƮH{gfeF,cT;{o06ӷOwKñ0M/5^yd`P+x* n"`1 $  5W0 blIO2JP!LlI>}]hM9ZX|E}[ ٠Ɨi~+s6YioFkoHٝEVL|P{6/-dvwbeg?h(P{G.xp: wy Ćm)Lq<;L',‘xl8JTOḶPEbX( g]ph ʉV=1XC;U[NW:T$AOXq>ԑr{rG=k8J2FM1kVSf~5|>p @l>*+ ɬ=o]R6chbP" H (5f06M ([2Mm'2{PAC%:Yu L[MJ4wET 0,/()BL>rT_]qmX ]SL"|ҹ%ܭd iH <֥8Í&jQѸ9a]}U4b g'iN7K >"ۀ#+SB0+I%Vmx-Zk胸M..ִ'agE\ށ/ޠZ: i #GBV[M5-J]BRo\}48-KvIʭjǠAN7 >D_&ogtж~IG$ I+{cY}-'"◔VOXaxp U K:?$ + $f 'O&XSXk9r$Sw><2 ˺~ vYvҔ0s1({z; Bu͵v{ˮoʯ]!QQ,e|a=8!hBz?M0־@LMjMa#$XpQV$^Ue¹6p0{Ү7 }~!wϹQoeqݑ9 *= 0i4iWUldeE7ew.+He?vya>@,JF]2y8R(O=dkYxJYx?Oߝz8Q$LoY[2RQClY/C76(` %z~_c{5}b :bCRjߩCQA깜_.XųV _qvh 7n^æjCaQpڛib{ÞFRu`VKhsM }~'g? }z-zZhvBxA@&,?}nR4ⴃ̦3}ZTVF.*+J7%ni-wg(Ti`mft gXKC~xb({ 6C%CP7uEl;{g:cĝh=O;0G^Z(mJ7͒@/mՔEDA횯4M@ڇAٶ)GrDVjG<`~ē켙Qtf.\Be jdB~vgyK4PבVP xr^C9\mnKlʣ!%]JKVD&P^g/m(歂0x=O`"]5p3OcAUhDfXN^6P \%&gH5 u׀ z+(e}9=eYsmA6yF9^@znYYUa|!C;ѤSx&|a,;S-$Q?]W=m]~" :rOEeiSE"4f83ef[m$J“^7Kf]7{цPAxT-/.1飣+w& ͘}Bw}_%@E5ߙZc?6f;˸[O imB;v% ػhO9Ag[~@o.0 zڗ-X+ We7T8\z׍XhM<5zQ,׽9 mUȨV'~"ٜWj\IkpUK$8=ɾmz^(4։I$#g?RvU./vGM w FQKCy 9ʱ ^.[E'B?vt}ҙ3\ #PdbyL~?ܽs֤!,T&8k MZ"BZfI nڜ{}t:Sz]D(|e {'@[|W5TM :H)t,ҼTW$"W-]&٨(P҄JqPܚLpriǾ#gF9DnBi3_.i. DVI9V= 쯥眞Nn7,ay䈑JƎFX٢QUk謚/|TwDaj0?'E [)}+ۉq!W qNxz\>A\Ä?U4I}*7F'<|@yMp^2J6rPa!fiR6g  A8mgї[wL"շ]aܮәۈT4Խ g%K H*5REG5S2ӎ7Pi#ZN%ئ)泈vʾ;BK]a",OO%TkL#TJBAvryefDBMxJcqJ%1ҩR8Z+5ZZ&|2t+DET?haY9x^G[^c TUТ@ 'AȆ9@)Rb@6NS.lYJ(eZ,PPLU >OݭELe!lζaVL T'u#NޔZ&cbi{.pn~IjhQ=XGjTx*{ %^ v4$RbmtS;ʑgͰRJ[ d3.4gy(ZքTʃ{@ ˞R_ ֕,f gE_d]mc×R]OϿɤ PO d;l ɇ/?4s+i<ᗞGN?,3tQD_FKE_uiMe&pB5)VƊC`JUPNnm&Ʋc:]ÌȐ/nbut /g3ߦ^7x{opH(ΖTAӥ#?cj8){ ^`U!=x6]8|w`Ͱ/p,ouͰ9\n@c 35U.Qy55.p =.'o6qҀfh/~^ 7n^)%"3`DB̥eQM9prvYW #䐍=c<7,ᥗ^G/uSgwJB#S y(}9҉5LٰQ}oU7iX~RZ#h'^[`A j@.{:w\z ^%zU!GkPT/#%`aWc?ԇ BB?VEb;G+j"I!ء^uoNpZo(D2tٻc?U˻s=1>0 KJwoգcٖ\38x}jkpx(ZۗG`>k-i8U{;8"ڼ#Y~O1:Z{i" @)=x9QQ Vew7OCj5UՀ>kh? ( ]"U"QI0>@R|v5̠s7>(u!02z|~{TܒXE[+fs!Td ұr_=sB̉qU ǑS3m@H_+}ʫ,Ge.Pǃt'" H` kh0Ϸ$g-t 1V)zBchs唋+6?%%Z-UuB3pSNJAS(A=%AkD6~w ذP0ߺO6h4ə/11g!fQ"*OɕLܹ<j-<gd;y"-TgvFn-~֯k0Ӛ !0@szg|(`,%9ڏ75d&1*)#4)Q'Y{?Bec n'.D𣔊 =4+1~/ۮ}d4oJ}h!+J?h%ŕ\]A{8 AqqDQ@xrQB$x6E!̲|[t>Kᜡi]ycsn|.&d*j=KV#"@of6!Nϙ;u$&&4ѷ颤....{ W Dkz,$יdVE{;1ә-E~yrKmʢgڄ񋺃*/MW3OW翮Y-oI9]`| Ya CϏ8@,^7PQtu l֩V.V{erBVU״ϭ6 "?/*mg)ж;춮|mQHeJMz;A3of㨫X jbވ0 ZGoIbmxA' -,y]#8'T*JVǻ3=.t`2R M aH*//g:m`T`& 뤳{E%`!° ?!0@;STGҲ ۱*8ٲ)DmZ%gV֏px.dja%A#̰(*תɺMn+e"!(}`@OZ%D.F 0òt,p_)X)9&,<\u!-T\VLp5713m1Iù/y>_36\$nMqNBJ(gSW=ܜ OaP) æe&ѽJi`<_ĆԤn:1m*vBF΃*`x^T6h4cJ=*]]IRYXDDw//SxXC.= ̱_ 3μNbkrp@#,m +WWxXEׄ\dǥ?~wb*+l}R4퀒'&HO-~9 8FRr0ExfסjJۚTSRJ!`8K Y*\|A!5v\6ܡد~uVr幞5m~pvbaBW>m6{B=|]M&DĎo/_`&Їo,a9\s j]k.#Ma=&Ϟɮ-9Yf&9Aأ_0̹|%oJM"r%fhߤ1T$\Y8",jC-*Ǘ~1\쟶v]Kd7M2Ϙ+ AҚiO'=憘b$x08E}0mj!sф#PjcOD5xv^/U#wfu֕)=ՏT: mUjGei'Rg;m)j PG,{}[ӥ,2IHc["As=Ty_¨.>:^% J\Xd9䢴f:KR/xU cAӆx8#PG\ָDBIa*gx%%\|9\ϕxb ˩wÓ=BK(+IgVG!堿pi#ӘG~b?p @g7"y]YJka_zn:ưq)xd<kϞ춵:ؖ?ZjzkpWx Q>9M.FG&~ئBb" `l&ޅ(!hLg#YU]6_z1JAZvqP&3f*SUMX5W-T6/ӲWLc+:4N*RJ *iA>q)Un΁n| Ú`=0G(?4uO;tNuUN3SavXOX1!j }'p{q;LFybYƮ0g0I Y9ƺ$k(p'T+/yj_ȩ+:qB,<,OS 1Vx! Jd`Uw4S}}!Iׅ1gxph  ňe%W=w]HCvYTns 8?}!O"kam)i>'G/5wzۏ 0͏9Haa9W@Ia7isZ}- ZW:XnpKՃlTـ'py¤D#/\ϻW+ιQm-:6Uѡ@;Gp^y <4 V1fm3#7?L9ҝ!+MA"xMCIuB<Ӈ{M0FטO5X$NxbYzgy/>'$f/RAۺx$a7TxY{#)3Q6Qj" :ڱPwJ&9KfViuT&4%5g=qJ+O)ct׵2+]8cru%=5IR=m~ (s;)IkEE $vQc_}fqCds_1kN]Av^' `W#xڮF59j05Eyp,VTN+.`y$%n?n ;{Y .[JoGVEŹw_U lS?.H EPo *G-. 7/4|.nPxd?MTsSY$T #o;e1 yFdT?% ᫍInN :I[``0])E54B#pVE{( R?YqUJm]1LkQEߗ?hY :͡"FW(L-DL6yژ+~j;HHs PG.%i.lL 9f{[ͩDJ&0ވ])6:2NJ?"&pk5jn"tl7YrALȚ@O#6Ec'nK™s SJ[퓀J,3dfPj.vz@'fp ֌40{:aU|_Om22# +QjʼnX((&`ϗSEK +Ka`5ECir^ j.SekT*oH|ƀdb450^N~c~ђK(Uk&H:?8"=zω~ >\rv!;@6MdDp4u{Z[DAV+-f\S0.؄[b{2y:/9 n<[-b - +,WP|Y ,D>N<)mо0GvW qTMPMc>|:ޕ%D͘X'pλON.*$ԠEӲ.)G(Q% SiȧJiBMkNK'MVΥr`2nʬKL:/)b$OIs;ZQmҝ(0|~<ډ`nV=RXtg:hK7/FCI|Ya}+S^"H٥Hy!q+FqDZ O%/F5f:mYK3RZby . P7B 9ApD?_`Kq2)~}kQA5 |yŻVML_PWj c$NMsh|rܳrgϟlN R3祣'ʤJtH3:& 0+ ,j}dUz?ʟVe6im6X[dD˓H\Lx,n>)V]0ܞ@x!ؤ{J:}+CQ ϵ l[~e@|VA6A7~mИj ڝṅU?Glp'R`5DxC4,S`Vy\5˧-iaGOW4{2*zRUYpanF#2#YBiV&j*f'lOJ}bet#@Cl)ҴX9@W7DIت%pm6☷}ċ %C'AŸ)J.BPgTkd^vR6B3bO`v;yg$k51Pf\O6]۝aY 8$bկ`b)D1q"gDeF$ s}# Ql|ÛBf KJ;ywHo"R ?.{b\)e޺*c"vۆgٙ* SOoc/j>+Cosc8ٌEII"\ h91sIx&V=pZJxLk7Mh>~?^Xpeo &~LOZj8Yߧӓ:K؂?O"6x临B,b9.S1Faؖ৬~_m6}q&;Z@ HzB^>!kmR9o{vu& * rm<ҧTD|TH5+<';L螎,xV) cB|l]jVWcBSұlJ+VEV`+6G,cM ]M:Bhz[J:MqUb4!,SA{DŽ\ 9 Vya!HW #8^M3 `VkҬhDVY=tTp auAQߛ៍`Ej'Ew3Ŧޙ^/ӚzwohtS/{ [fzM3j $P>*5~Bsl1]mLJB^5"fld]t{bƎ'~ru}?:0'r7f6OⱤP ǠU:סL&z/2͎-?怴̝[unshB|}6}1a.up!<X.*bpA{d֋|_gV/qf̱٤}ZĠsU';ȥ;/HNK');o1lX [{Gob??y^"}ITޔ[^Fu_11B@!W=Դ+Li&]g~h-!&c}MW)8foHJ5ri(~BOy >ȗ~R4l ̘Ltn U ]9/ApD):=7lxk?tccR"/d\]I0)ʑ$fwr6|2|d/!P[!zܮOȅ)MA;XMqzKl ]G@DY{M2g`,:n3P \U3tah2[ Jʺ.u&wEg,NvE"R"QX+ѝ^X?jzMnHN R/\uFj < *ŃQBᬇt@.OBv$Y*lЌ[eapEqe"RmrT hߛQ1Kl ĭB¢wV*39^>o3C5q]k+?+ WHaQ݆[nsjՇZaϤ1?h( (C  6ZYi$y.yx*O93˞gW]2ko|Xeb"2=/'K-CqCĐOCfgSj;{nXx}-WqyzD{Dmǝ_"$z<g[PS?X+mH,cJNAm)&Ӌƃr-.6(t~Mx+/DÈJ=^U(zCȤ=XbE w/#(Ci?%T!~mE)Ћ߀ \2]Wa#6EI!n'w:?Bp#fz.\#7&yDy/k^Ed`,]9:Qt?jR:hl@0 قOsm:-9g'#kg>B- 5"9E2`@#E EHrg 0*waXzok\f-!:Kȿ=At̺}4fJ!Kn < /o5#8LO /| "0 iTg{-elbI, >qcF*p/Nfv){ũˇɔCҎ)Rp70hfR^m_2{MsT$dWk[-^G9܀&!wL3~FeWxLLP^9^R0C-ވփ|/?yͅz^ u,e!^W=jkR~"sG4Am0 ylȲg,bJv6@ϩࣖPȖ#Wӳ _^,'&ƲCBǷzx\>@:q_4hb$AxkV @0xM~ 6F ! W'όyek4th.y(~/kխ'@k5k $}Fk2Sn>)"w_)H=eYvW[0Ϙb }h] ze}:!>T;3VH lKҳ &ŅNra݋^KӫSP|'O>)@c\﴾Is)lU D Ňey`XHT{O!nPvyhy $3b.T#FCec9n+K($O'=S. j\@.[ 6"+MW7ƶ{mA}c Y8k)FШrһܡ:|j^QZ AlX!Ǒ' ͭM!^'Sz,䫩hASZF+WpQZUI#W 1я^˨QxZ[^5)߫1=h%jnǬ^(X^1~Rk Ӛ*_OѬ%߁ 6&̛즯Tx`ŕWh;|^›2'QqS=;نӆ7Nzuz E8,W0&S86t܈ 21FB4~ߺ8{jz)6UZ;9&YJ_إyʵU8] b$X;278#z]ڃv"Nd;Ld*hOw*䠘 l& ֘܎"xFKDyT淘7AV*L3v%٦HG7*']7ch8zL-Eǘ-oi{r&N v*Iv .$<L.i}q*QoG772wCOl oU?%5ϲ 9, EqGxEUSMݑ\k?*VW,u5D_TQ $ڤHĮ)xaG8gI,}l7?),qT~9l˜x' i0 '3UUZ;AƠӞ|~/}J߂&'.M1dnG ,/Q<r$(=׭9c=x5I(Π/^⇌`mm+gXRb=\4s>[<:[Du>*\POͭcOܑ*:.-5 bݹnNv2\> -y 5j.vg=3,3wCک8JN0`DSUwF5< C=ugT5aħi9tBeԩKԫx$ג`lx