SQLite format 3@ ,.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   |'p,T ]/ HOL-Mutabelle:threads=4elapsed=2.028cpu=2.128gc=0.0007zXZִF! v]ŗXiɟ{ f+ɌݶVYYbG:@Zr(*1 22 yDH"R,AJso'B**שkT{X'+ͺcNu98u !LI%/{Ii«dT_Pu &^{;:/G:}+yKf%p[~OG>HuiCXh,qvbPuTQeq#Ek>^%o5*\=ƠOUhJ`1&iһwOw%mQW:fVVfbD,`v&+ElI˘#BFXH3[h{L9l)ihrXozM8Y5ɂ=BF4 ]gYZafef0a819fab8435df479bb0de81c66fa99be17bf4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 ' HOL-Mutabelle,k'1!HOL-MutabelleHOL-Library.RefutePIDE/files~~/src/HOL/Library/Refute.thy ~~/src/HOL/Library/refute.ML9'1-HOL-MutabelleHOL-Library.RefutePIDE/document_id230l'EC LHOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex7zXZִF! ]A-MՋhvG"uIBm5Bq4C@8m(B w?< &vnuG>Z7l9?=ƗSOFFΖ*6Ç9ĸ0 ]',ٸPyT<{c7 .ԉ2b-۠eb_Q8i\>p"W_돲n|dqS'-tS@KYά_j.EW16knϪG,'%9[km}ZIK픊~]5ئ?gv 4C]И_ jy[f'{4L}38c.i2|!.KÁAa,cܗEoc'zzCZci FԆó[ݓ\熵E ;dp6oA8B8] 3:a6XyOhy^R2h0 ꬢSS$\݋ Xf>7an)E;}H`Ūj߇bzjB, M+ !:2SZc@[DFZ6d{ 잘:VKvQfDDdSY%ؗ)Vp*Oi.+wpM G {zU4VTLvvoF\(.ONQh7wiKqvZέ+,_%G 9p<@9v$gF7,ǚRY~\!ٖ\ 6?5OB4K,뾂oXKS]s+^ENӓtΉ^Tf0yw%Uٓ$) y"׍@V3j%;n&ߙo#a[*NJ5/龈5>mϔRMi:3FR Ջ4B<o1nmi,@aIBJ> TIkQj bU5;ho1  7`gYZ"'13 \HOL-MutabelleHOL-Library.Refutedocument/Refute.tex7zXZִF! %]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZXe>p8N#ag!jL-O(NIA'KK짂܂N# ܡ /uP R8A aFd!q[`e!j[H W5A ՟3Br @vwϐcL0Uf$,D@_֙};NqvfMեf<ɊW HlEcOgqxcU2fTHIٸKȭ19 3m6/Aej>g8*:~ kAFNi.`1UMu~j9uͱOSsw'Ħ]yb8w'8# /h 5C0rڇ]c .qܓW"+2 p§*ϸ3L(ŋL8 patXOk-8̒]2묪PL=|YKt[HO W|gn]0j:d nOc{p~ 7 ǝXRI0jՂ$HLe+_M<ͨ^9С.!)/P1rd |+u7V򆺫j>X=g8bX'IiO^T4C.O KJ)IL/ XJ[ӛAd6&b$unga)b ^v8 Y(X*b*AVXUvi7@ (WQGZsC7Wmhb }B$ OqBI$dñ1 m@ۉ}֫-BkM%f}!7%M~|):kMS> Ѣjr"R)jNj+h}w3.JfPm)* ۴n$nXһ~ZZ1FA$5Έ\)~B bMb!4u,- rG” f<0?>Z0|acfL)+[^a!Gh)Z.n ¶"#"̜U_f۠4gj/c OGl; Bg1nѹRj{؆"2:4Pq86(mE'g EefP0(Ө]Ґe-YIYXvEFr*։\1}Ԭ9P_|w,rG@#@@%?BEӿuwW+Wuˁ:3\y>wN! F5w!R4Dz@i݈~$CFa!3j1 %ZT;-7f\>nc̔( jx:ַhMVeVX9.׃f]vT4ӻ;@D/QFO9޿'s 1t|TCN]*d>qM m|; cLmH_<| F fK魧AwQ '쉛ٳ8'U0CC3ȟ W,?oPk{犧'G}10~2_]>hmqOln|(F[_ Ä4+ * % !  GA T }<'E'HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/messages :'E#HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup ;'E%HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup2 ;'E%HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup1 9'E!HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/files ?'E-HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/document_id2'1'HOL-MutabelleHOL-Library.RefutePIDE/messages0'1#HOL-MutabelleHOL-Library.RefutePIDE/markup1'1%HOL-MutabelleHOL-Library.RefutePIDE/markup1/'1!HOL-MutabelleHOL-Library.RefutePIDE/files5'1-HOL-MutabelleHOL-Library.RefutePIDE/document_idJ'ECHOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex7'13 HOL-MutabelleHOL-Library.Refutedocument/Refute.tex   F)IhP O"kvtz$NO\E{dʟ2qviw{vxN(hV+JHnOppJL)Bp wsm{`sP%c yyqwZ׭%Wu͇m"yIHz.gB=dީvr $Ȼ$TkPiuU]ҎL̯MƑ;O ͥ2-%\4U{HDnjv@B<i0Z!'<@msF $w#SCJrz4ǁT;y<17NY^Cw^Lpic/N~ZV.l|΢8]10)\>TG= 't)}k%8P|f8d2oBs!ӡg=ulApy:P>hJ<Ec)O@i'Skۙ֕ oj.BvefIi6BP} (+1Vu;#aD9Ky\I#% _#j0_Y0%fS6HPGBf aNt;-cc+򛨱%ۓ`n& { "%Dtu<-z揼U57Fdf`vP{P;K(h p:jYr^"VRF6i˘$ S6'GWWz'J WQ9{>Bu_x-r#~&sf(4{e+Pm _ R9u>,J~t@*|q| VW+3Ĺ냹y1vj&\gDcx7̊j zZp_^)J] i[Zun9k1΍,*DR?Uw6JuwmCAބ>apoki*jYϯ? xÉ5q,7w]z<]E\Mv`JnW<ِwc1m2#?%Tw;t-fLiCDmępSǨwq-%i q{ծ*,62 y155-)~ZH (de0o+3'&椡T.X]LRNفUܻډ&=uy׷7I$<6?+j/YQE#6+qQK6 BKGk@ĜlT'4Yжdak/ Vyb<VB]b0/xwIKS1.RZH8(GDS?9[I RNPMݙ?} :8,K[qa8l[ H|,/9K7IvVb3%%FȌb N7=+%eQ]FWVg(Hp I;\(!"r:6vip \CczGT]t9ܷ{%O5]$|Jhj/J,r?% `,%ef?z6 q+-X>v*;A_%XYf[E2ޗc+a u<kh $9"`esϧНs ۝̡,O:UF"8WNmRWI!Z|H`,cwgpӉs(^".E+Nl~rퟋ[vO#xs(s޾\Pe՟fO7L޾ i[vܖ•궲Ѵ\K} \rȕm'S|ہmqt/'/z/%g}u*4#t5iccFdw%M)y@T?1t.QR'5f- 櫂ykd- ӦAjdX| &uZT^fe٭3 J6ܺ\ᲈ6GJIԫ'n%/SYQ>RI,Э`i|AW.y]mώ[!_S^‡Q!OtTw&(W䥱Kw&,n.ri ҈ jw;{Ҁd3=c~N_>fSƶAfz&bXҰ3ǟ̩ ( e򹌗ؐ+,.z?jn"nCh. ͠ hpK rd=i'h7BZl'[<F5g5B>(O\L/~hE{FиP1X nZH?HYf@ ʮL&G.=_S > $c*XYgք4UuFeyK2[O*`;BFTTDXn, lZ*/i1Njա6vb1KM=HF*7 UDuNw5$\&JL,^v+X [MZݩ-t .dwսEM=1,Qbk@H%=&T". $_)OV\<4FLGK 0<}Vg>=L(t}a ϙ\*5"7 b;t5 :}w P /8ӳ&!_uQSfE dNDI`26B< 3$u#;MM!Um0' JŦRJmV4'gv˸I&*V }yU1(LkVTt:J` ߑ^S t7LЯF. CL$8 nE|pVy,'Z He%n|9xn8QvPXc"M+Y`Q \WfH#)N WXtKq*w̐~JeFp> wi)>&n!J9!P4RVp[o7ŤQqrUK1zdY`\c2ď"C./@Gb,Y>nTZF'h  8)n^+:_BȒ0"% F55?Cզps t\^pki@:Iz"0 xڃíޚCj{:%O>rwδb##SL}NA+go)egJeF^+wDw#{ iAW|̶ (q>ܝA#擠+^9pdڳ%fqĬ˼?*Ж=k|&0neY165׽' [>,l- (*ݮ &UrTQ_O ( ;ycL˛DpNWj N"~V$#[\-Y$}jiŕFýe;JJ5O$>Yb!e)9VQ/"]6Tى)fw#Su@n"IgD!(?G~sTLtTFFfue*]+:ݶM&-@gL5 /93yuifnϝ#YOYMJg|W3%96.7MotmWM Faks2}Ei|U=5S`K|D谁 z`On%xtVZSCX'3y\K|kuSeź+6KB-lR&;$(%.bW%;B+ >Y!eWI-% lݬ%(JxÓT^"aFѝ=å2CWI*J nS.3:lDA AN{!&Ҭb -W&-qW)xm $-qaZIϯimAP㸤©`tWV@i @,ܨx.,Kh N,l"mM'34Vۜͻ]}IfL^k%@Rx؎K|s ;vH 9j_580]H.\W+,AȦkdћD b&s-2J\XRO2fL虒ܞ Shb`:) KpEx(5z M (!;DEPx41Pt;<MB$wf@'3twâB©Th?p3hMHE-w؝'*~O6j^zZELx8 pŒ0}8w_e欌4 &ئGDF2gUOWj/ 0]R"i.E>:5"yz*=w5i11`mT߳Iׅmɏb`.+gƮ 9&{a=S+C KЕDL~C慪,.o.:uG1.}wָaEHISm#.\JfR{"z򿅽saj_z&_V4 7/?sGǀ}oQ-#| ޱyևې%<^ahW-TPv`v+F}C@;WxRhf{y|I"G|z);`j0fn]Q*e`DYӫ/mRe98;Q[~PI>is9<^y|fZpـLx~C SV5g^6g;j_7~<@䶄n2 T5ɐt?|Lc?_an` ^iPf7XxlU| ,?i?4r7$`0ObC jgGܙ8s5ty0$w>wۭ41ud&Ox+Xtyp܃E$N`I־4k/́ňqf{G_4"H2 ˲-zܷh\ E'"O3MC R|Of-!˪sr*g9OfQpy&[uk+냶my8?7ά59O^}}swuxMPn0xvT6wEtITc݂J,>*^'YA1`(M-g Zy#DdM|[I}3ZO K#Wb,f:Yr)#9ۖ1ϤX 4Dh{qkQ 7bZlʙԈ .-f=c''ih؝YBnU~\0~@ Ed01Kj|1%AMFLJ3G,iD>``"C/:`LYPCԋ݄-#Uפm_M&wJ>_X0SzWXmD|iH Am,GZKצB VnbjYZEjBbSe yN"I0 J a15s,}EbE؊{s]NL5M#4Twum׶s9?Ӫ15xb;RW0r ҟix[ۚ/mJ8w3~$z.شG(7yoI9`.9/|7D0Н\eVQJ\ T87CI[_acTrUs8!%mR.Z":b>p0%_+Jl\_evw5R ukZ`7m!;b"v3 Z9o}Xŕ8UHAxԑ҆J4"8&k}^:ގ`bw~..;[=X3R` O"NQZ\({YOjt}(ܩGk^x;%پ9db+;#X>]7]ũ#ȧHg*=kyd i3)0 U*X)Tm|PgVL[Uc=!8`:ÊV:Qc4Dy X~ucBhN&~|O?[j1= EhW5 :o`4D3M%u&q4F>PnG? ݳ[]3o& ۔~XXO. P.8D4qQagW;zf/u+aR ~Av_S'fEMx&/%Qɓ@j VM"3_\ 52Rok@cX[ _|҅o${GhzXAUeءf L8'9n`+'1 TF xl mP"&w[gRc9_ XfJr*Qx2ڶ:Y_Nf 5Vcpz.i9f@Yʤd7lPDx*CTOLrPSށX2 j/G01)Ĥ?2{ );4rE9,,D^y FHz]nҽ9j<[H66BX6fU z2*ehIKON߆Xteb7 7G}eBhPfhh`4+w!#${gL+ R<.N \hVsԼ$' /DJ㋚Np\ iR\B\:$E_UN?MSbNDh?%~jkQlRc΁:[tp <͏ܩ#S[K]&X{\@0o8(O?,8tR<; t)(a[Zo#ݖ *pV#b܅gp|l=#+>_yeH%m#(@Iϔf%#_yD9MS'x5p@`)5%3u\tN;t.Xɿfws}ſYxќ[v>6 M2OsY!f|(U~gK>N%c\oަ?4 %q:$gcCNOL`/[uF+EZĦASY.j\D8xQͻ2xk|s@tw lE?~?>ܣZX0HⓀ}YP"@Sڽ/'4lJ4:uu㗇B.SjrVz뀐FR"/_/{x2ZA/Ȣͨaohcdg ߉ 謅۳J "-ǧ3 ++Or*6k^Ms=Z`v.O5fr!KnI?-"\lYy lx& 9Y=wLq5B0׭I-[[W>MQ ?{lv[vAE4穿WnA*?Y-9P\{NM*1$1}V;`B!~)0y(dm/S_Wak +kDڸ,v3415#LTqVY8grg: >&#ܕc<ع!{1ۅ5W]ߧ^)p Ys*_3滮ah'=섚`2Wd沖5Ldtl_}GWQ)/^Vד>JUvU}|o˓cB3<&HP[㵭'`xk|9Nzm6>Bzh9>JB0Kɶ S崺O}sb_vF%:îVǻNF_vEԨ]">F葢mbH0ҽyee@cPV vC,b6ܬauB`ʞF~otjK2cbD)StxO4eOqk tfz ?g +-ս|gȕsh8CegZT5&kԟ-Gx$bKnr}'e'F"D Fn0a[4s1pz!YcmԠe@[%zm{k*+@g/6?n A uE5٧=K9B@,K?t,?Ͼ" m!?gh{=bz"[;rSf`MH+(ǮƇ? *OEFÁ!pleH7El:*qbVt)-etWQuzMͧajǕ㛕ʺj$@QQ؋fʠ<%>lsuXTܻ>-+C!r'k؃ `zEnyЖ{ yb  W)~>%ce *T$W(y;ʶqPn.-8 ]Փ%P~|,?Lnª\d7ff7q)$h\%8.#!W`/zQG\/(fici}mu@ /8+m +nhi1sũ6"kNgHq-Bu 5*(o<+۟__x 8]Kz[Z߉9a-&o7F- y6 5\W SDP}b{4H\&FvmCt JV8[RQw6rmDA^(41ާpe GҏA4Zhsy$R{3 \ʻk'AdttA'^<{rPQpٻ5Ҍεe~ا~UCGc %F9mA҄Ol*awVgߕ 4O3 [v"DӡQ[A'TGhJw^5κ}Ǹi.DV(x4tq^~9 % n+0U}d{ZeMju&6S)z!VsqTN~ʏ2N&t cvjWaV]Q oq\>9_0J2s콏p2) W߬0*rnuՐ_{ZC-7Jui;pX60)\#Rr^\{ D4m)4ST ?HM+L:ч=N;F_c'V~G [ Z'S&ZfĞ(7 16h/=Ntr$LGLD#/0\E| h͕1m/.vT?g<YY*GGL4Bx6zq!D;A0oc=^ڻ?܏8,_W#ӡЖf# unɒ\~aÖ@bN0KW$qmVu KdN~堑/m mCOFÿ!cDe[sp}=%E~?åq$ !QzԔ-zU_wWECr:qM\ 7ͤ⪫"TUQl7ˏb@d֔EG2oR1!~h4vR)W1ĵF6D)j! 71ЕQ$:H(1w'c BPK²OѶ'9bƓ0rB@x0cy]B<H-ZR;'ϸY`z[bkw1τ4!; KO?@ڙ{asVB)cA)OMf, kihuRyj2sGPi\uČlqd|n4̡bx֚<쫽qވNK K7?"DEDͩ<6KEK"A~2XQےFx@ <|akKeI9e=/HGArOBHY K+SrZMeעamUEzʌ$jlcQlدrDz=(#tZ y*3P8~MCC>|u*c;_?vŸ<~o]Y,^閐әb&<|yN~ek?D5S~!rM e¡ HKY{)ahsh?qKiɪHIJslUNPHKi/%70]k s*o8Idu ~#M tzg' 聥 !s oUn==} UHÖ,Fc{K4ERtQDc% fDUtR`Y.Pn|k#j@["J'5'y8:P4 #-s+T=u!|kds;kD)V~ Š LR#$a(3CAMZWQ!3PZ=иyTC_y@#+ ZbVFdPwט+T8AI$5~[֟m*i6swo} dEX8sD՗2Sy$iŐXÓؐ?~7JMx#Ca36 QWUʰmLPݧE_mfY1{t.[J ݤR2-wW-Dž~,m>9I&NօEFPZ>g3JLԐm'WTcv*nG]/ah2 K(»2{u{f krSSdwܝZWA[5l[y xq(Xo X<*z~4sR#42>. 8nM }!I59Xa`4.DJy1?NAڍŊP}^*"3I7&zl>ZM>q'xAHE6 /GRL_[ 6*>auTx ȱ8~4&4MIֽ0{RUZQWmr}?ԱEKoJe|mtd7H5U4$_ r?&͔=#z/z^?YWtлOh' 52f:23,s;SNGK3].PjVRHu.SY\sEj㝾| S'-d9<™ܕ>:x{{׍ͭ~__xseګY/f$_/J=ty7ٕ`HFNr@H %'+~2"%z3TFJgVBm%A0B}Q}`aYrwbA&%ۚ#BCI|1/#z(I(~0?y-Yd @H)¡(k^-@e aĺ?or#F̈M C}(ZO"tCi3?Ci$qKaf6SaϓVr#,l5UlOZ:þRҐpZr 9 epZվw*VXM{W/6?)(gg<:%e26,םI][u!nc5$EڶKl׍vf"qX:ܢ 2S|ݚzoĤȃ*u:LWPd;.:n)oN{.SV0W;1S+}P9XqH :\|Fs><{ռҮG/ lU/E3ׇjy Pg]\;kus(0]]_(Eَg0"[lS[t5lͭI4و$)U9ZZrg֋o9(4,$4M֖Uo1i .+ʘ=iQw+23y룥-'Vh9(ZYdV ':̑^%L")0"[.p6leAlNG5DKκ,]S޴ˍStOX'ؿjTK bټ7&'M/gBs?#gJh#uQKk2nbC7ią {@ 1UM7I]0"L.54iWH*N~ܳRjFϝ&0g*ೀOIЌVpÅΫnLgyЕ0hEi;ެrDN3_buDSF[ךwNzLjD^?2 -OEE4r,7xM2 達j$'ֺuty[2D?&AӰ^@z[|E/L%!&͜;.BݤI J<@|78gtPh7 Vcb^_)TSjSsQ\.zt:&0CCQ;9gD1nQ"?;QDP!"ղX6U6ThiMËW`wtC:rT1*;u)yI1*ѶXӐgW^sLP`}2#+;u*]yO7 Hj\ ܶۚ q֬CAnJWV(Ԥs$e;쁅.Նhv%}M2$˚A<{>;P Ē(cj~,;rRmlyCuέ EV_+0L *GM$7$lh/x{g내9?žyBA%2>Y g/oٵXLa3!+'raOWuO?Fi߬ a@h`ENo _Zu-Ia?lkZd $GϪ#crwW @tA "Yܓt5, pWPat'm a)1'(TnȊdq($X5ӳ0#~$Qy)OzRphv F|mH6C% ~[K+?p9ZewJBa6'K16hf7MKOVsah׎/vz^ML$ kA?͇ч$Ͳ(IyQea kG"A^mՄ`6 RŽ{7;VڴՠD1S!?u'Ca'2`؛6m.QŎyK߅3/9r%0~ 춶G} iMZGِt8gJFTvwң7LY }ҙsȋ닿Lm DGS(k[HњzhI>Z8NӘ+ r+w2>5\R`Agw-Z|\$n 齪qKSuQE_跪?HJ! 30V:1z]-µvs ccW&Idjp`?;MĭڤQ7+8\s#Zè`ECy\_{W!mKe@xk`v؄5PwDGHr~5F߹y|'bNBHs?i-4:\vN{f[q4>0YM_YAd"g \dZo'א7s)Orlevjߡ?E|nѱ"~1/dsv=PmG 3')=U_&IgO_( ⏼-ꥇG`%[`+i6/`j߆U6#@2r ,<!H ՝Mq9%hNZMکؙk r"gk.6/E`W;>eB5 I]g{Q{XcGH N#%"X{-9ʓU=:: bF dA[p+ˊlNTaP}BdR개dQ>){iklBSr-LQy oMfdBiT4va6iٟuGaS⪉Qks>["jKPBemPf nS>[֫oT2wӾKZ:ׂ!(==Hq>5FZ&S2f|&'VS@{f|h,6&=Z@Zxe?=9,qkӭ3 5~ `l))z^0kFZI)P}jV5U2z 3VAU!=?zQ0+ 0~w܉7f@Lb:!:F }!=7 mTJ \082 'pʳfpC[id&._'\~p6 [.\kM fCыTŻwbN@IMl /Z`^ ;W9^2Rou%mD޲e5q\I9w23Qd_t%;Qym: 5΅lE5d۟gU52q!i ]T%y^o A2û =_\ԪY4 dmh‹;4iFG­5Lcj2+fx$`I.)jӜ$;,A0|WùMz~ 0!qFZ,XN-X .pr33'BJ ^-͂Cb lw۱wjCo>i_+]gN!wfuj '~ީjƞ'nbѦ\^dzn݄CSjKf:Dx(傿9qa}UK^4GRgUkl[Ite;kacNK7r2F"t5eOJ_eD&)f 7$p`е &ZVժвBejL.Ãy#QOFK\W~9`wH.n$Rںi(~Nn e26یxls fjFҗytG=QK 5EpU?]~ڶ?DcTƳa!2, zLS=+ȓMGJcWB{o1zIN*+ 2Ye]i~:m¹$c4LNI\DLSU5U+L%נ%Ĝ*w6coP': @ܑؕ4l&DRG|/#?WIxm%rۖ!T˸! $[!ҝ`YaQ+YɢBDzDl7 KAfڜbhGZ`n{sN۪0gaP-x6,ud@eyZqgp[]cцqg2g6pElk|}|2j37y?@FsNGgQBvuw| Zyc~Bf ݮ_HƻDE!)}%Yl5i\ iϥY1F4x[E7Źz8Qy3h߿WJƼ#MMD &BGdnp5 s|v@!%:vhtjJl 3OㄒbkVĮ!*œLԁ8q}Qer'_Ҩ%F.r9vޢV$KKm򮒪 %8R"ae,;,;̜ׄr"h4;2"M"SVwVӹgTԳ}4WCLz<9/amo^VԎ Z4B^W7N)XE[3rpz}$j8L ;-_ !rN9U -T"#M1O kb!`+͏)*+7))F|"?_PYҰPUYfs.H'ck;w{85DH&2AԎVOܐ柂ێ2{ܤwXҭJ|l`w2-:s̝Lc "]$_ ӱOmt ܕ/d!tӈLBTUbi¢Tx:Ohu:Y'ŕD_T:)ӛ2QPC.bV QSZøP7:-,c3X61`t7~e f0aS5~@|SR20Qxk wKjoa(/# .K4νU#e'y 0;{ -Ы O:C.`ě{SYJf#Y2UB5ҖD G x8Hc!-lL3]dCZLm,Az4Dk/C$=߉Y#H&&>1΁ݻƶ0Ȕy$9R,}ܹ_)t7^2{AƯ 7k3x§a]eB_>\m):ׯ sB Q[I~ݰPuqVUl`A2ꃻTXeXR /ZegBMΩ!wH/.F~ 9Srn]e}P4Vvx=qx@( evpKu;͂HŐd*qEs~)zbt&TyVI+9Oi@>\_T탎 ub`0x+Xr <dsvlapѾ>wv8YAqB -o8DXB-f۫wT0L:V耈 JdnTIp,ӟ螒8) "_ie Oe_ȫFbvR[wԧvz;GX hw|݂JΦ/An,[KfR  A' rq!͘⣅TO9+L-c(8O2nf\SɌ$.:5f2IP 1 E!JD^v폥`b\ݑ:Xq86*~bgt8P`< 0-jK1_򺧙 V pB[ZVٶ3]˾Kt A^qbQĉ)e߆sCwzl>ܱmx*v&UB!d.Ӈ)d%8TraVg V" . D̖9A(fƍ9^Z?&IJaBJ펓}t \ްLTs$@x@||'bp%qah򒾌0(3Vō.a:>о]*\hl;7`A+4Nq*{D'2G[&@zowl!ϊ5b QKZJ9bGiE krI>| ޾vö4ԫg!*Fn{M)ׅM_lKUB'iⳬ_pvvVkk(og '͵RA P6gۛDāQoGBLimp NTgEwd Oӫ2~{1OmȾ| .V{ v~Ӡ;u;\PL/FWq/dspb:.Vgf"R%t]rHs5:S*52)FJnmJOR"vnA{"}<0BNʦI  G}+\5ɼdPE}OW҇OlLwT$NCX-3_{+^u>>gka;Z Y1%0 % _qŏHaX5c Њ1L*<;PUaHTa[Nw 8-R[gN Rz41H9| ו*@^J2QKO Nb=pnE~`fȨ=|u2gNЧWkZI9m!ڟGF8 77GRU9j7ۘ\R_#Q?d֡qCNI\R{w|LP22j:(Sc-pi| ?FL:<,Ի8 cyvlw|m%&5KragUANDhT{{bR#= 4 c)sWRhmZC~ NC5אڈi:`*%)֞\)Ui"@˃7ޙ4rߋϝP"N卼AR>&`d٘a{HU_ڐ[k20nPWu~v߱0j-߈ p@;"'D ȼ ?]^4ӵmp!k-X/ eD&8S1%@C1TU+_^j蝊bCʞIEчh V/Uhhn4ynBywI0ʤ"rM(NR6zKcN B+d*fc/>Mw%OG#U1 . &ZlX:>\\_#m"E;?1ī[~u:ڷcv6yBMm~MqO1漏7r!S.?śvnBZQ7fzD35gRkjdIzgyQ825PKV,,{f^5ޤTt̰LPg {7;-%Vn,uxOdkJnhC)+1V<>s울VeuLXX(InF)ad/OF]S*Υ%t"Ⱥ?9)pa]C3{Zpeu# SpY!dKKcos ݤ4QmA~.PŸyi\ˈlD@_8$Dmܚ{Ղ6e1ӒM|S9t/('2Hf gŅI ˉfVj(˖d23؛32ǃYŶB⇀颕MzJmMNW頃l ƻ@5yuȞ';XcNg(^'NNZs N7oA--2/ߗP5# dg [ (=^QGpXSaσ0|$ QP}.W6"UPk] m5EC+jpsٕF k,(OnRx ga`G§V;Y&)QUEF:iyeWLOBb:aLCmн,σj"b?!fYpvfTx?g31n7'Kc ^MTa7f oxcIDkS!T{@כ%t.bBn J{`@[: Er0}9@~k"zWUݽ&#m~G` aN3+/u2I J1$J$%T튨a 8T{a\l/IJ `ć1DcYвM$+.B~EIEK1/kQ{ s&ɹK6NjL&AChҬXik^?lGH}vhkZjtҥ8CUKm_ܸ2*8k`.~;X{hoHJ?k4T0 NGQS&p<$sVTɶ^d4exѦbG/Džgq`"kFpUh?ڜ1DGaV!ZBXJ_y`M7g1<:geSȺ:ٖ7D xHU:qR~!n4q,ߋ~[-R:7Cɜ^d`W `JOMbۃudTlTF0T]^AeI6dR~^V5- Ma7g SZžoҿ[ e[b8و͘dĴk2NxIrP4iJSk Y~pLG"Gu7r`| sXK!n;pd gg'ZeMRF^)L,6H_[۩6& NZҲ%reuJ˞IWno "PSAm۔S ܹ;4aX5-WV(#6~x,݁QH\+ )x. ڠn{}3==neYBᛑ)9թ$ϴR Y]ZL0⊬~=x䣇0+]`*J_;8UϲF%<3"1V5[Nv2ڸDa!Shd$Gy簁s\\ @[*XD^rŲ5Ԛr*uro$R ȑ`h؊Sp ;,|p[ɆGRϺMବwLH`ljpwYcթjg1^z5^7 .7l\4QDp|I#3,]hymIJMe(>Y %Џg!>ԵީenixmqtKr{=ueøl*R*e0/A a[F1[MKz-)NptI A㩻@FjWmDJ+WJl = eSB%ye"o:K"CWѵQ^|pj89Ю61u'`"*:QZ_D`s xhrאvA|> ..}=*3t5ņ^ts,k%|,aIChT-&^.0l~ZJ9Fы쭐i^vx&Pܲv.Ꝏ)R:<⦜s9Nr[B[677 B ۋw ".cww5 t䚛5䫟7RlQ<1nxfu}o-' ħ;`xKW$%0mC%yc_|bf4{01)U!@z\+YG<:䫝cDs )K)AryrgKR `7LH<(izg4amtu?*@AZ%Ka~[}XqAUHrزYmࠬQ2q͚W1H|p_>y@;U 7i®EE[|2#L?jIbh8;^fQc783 -\…p.ÉoSTs~z׽0uٳ5 !`)vf.p9[{<,L/./X`>N^hM kp5 ϶-;hɟ 3)K#&neapve5mG>0勾PJ؀d: dm%=eMK {F%9rvkw1.57-9ވGjؓhHA;5Q-OVMJ " Yp)hY*v,vt[;%>>i5ݢZ-g72i/}HlY #t&:_&}lQtm Еb}u-Vn+*t |I[؀@5@] YDACر\F? )SΕ~DZhU7bZL"W4^/]j9㦇ιүa4=0DIQO+ILI kN;2'cMS]/卂&٫kk!p:8-<UY͊1=dqhb/4sg47e/2pJfӭ[^cmg G 6&,PNBY,`cw.#&{)R3e3 %a֫-z-ploO F#WNȪw,528Ppj*lrѥbexC%<xY*[VxRkAI>.5uags)Q#r u-x[AKzHՆUpw@tUaV5D}*@\^[u֙F('w-{N6n%=aE9 ؏_Gsx)Z,%ڟ_^1kvj1ӝKJ?X63w~[ blJJ OXB_M6ԥSȶvL"HIjXJH눼?QA/; amӜɤWE ˠ1JM5۪GH>c!M4XɫYݗd e$Xz+K^X9ſ Ӟ@Rr_ %Ry` En@Al!}ciY)~Q1 {!C5 ʴC ?RyڿJljEsݧ:[~AH:(\tۥ YiW$xa%tu(@6d-޷rZ)Yd\!/.'{ITT+"I ˒"j1bɩO iW=(ysI8ꕄ0_i9^* v4 U;K+;&ṫ];c'g{׆U^8ƽiE[ı#I._ 3oDG"55 93}t#14%Jq#Y-XfEP;<̜k0ٹ_ ΢Њ=8c ſ@ɀEhG˩=U WmS4W2G?J&zl*wٱ?d֜A h+I*bi&{c^ѷ>-Jy{|!8|G7A"з^qфCyC6V"Eg&y#xlXI7#z !BVHFpҙ!'"7J~- *$f˧cgEn OpJL\mBst#h<ԮeȄ)"OV(܏x<ޔkkC$Cuh|0T5xڍw$kqjF :ܩwxON<S4r'`e;!67;M`S(I.N.J p>=aJi +u9O[K˷}.?g.za Y-蝐YSTj4,򥻍ք/?5 &f?-I[nqJ7a':c ,g]hSc3E?]K#) 5: ߪd;[{ij*"Ĭ2 ,*?*Mf:[14؝ gυK| nb? L֬-/d p zpU}3y +u ZaJ_& =s~XTf%ȥ1DڽŊ.V)*mw\Lexyɖ?O>Fw<&9͉B|%*5D2y7R,^;S340}L껸O/vM_8syI>?jlxCJė41iN^H#VgxofQ 68-YQnAK49p-<$nz=>CKSg5P0JQjJ<ȣ ٛ^T3X)ù]T|fgMdND/ca6A1,5{B!b&{+ld]?95[lį[:vxCv>O4oK;1{ԣt:>cu,~ -Yؽj):|Ooݦ%Tw3&=Mʼn1gc+8sS9n jhf_Wg =D)JYhxlꆥZ_ۇ|NS$%(C̰2Éz %XǍzfI`A~l 5{.tVI8w1Bؘ65WʓLVLGF ,rgM)Ey/S}SX ViV/@T`HQm7#=1M0L>_E9_8txVu&a% kUM)vګMsAݐcSLQ8e؋ڰۀ̯ӫ?ZF9 :ro%EFD3)80ȼVI'dHM{]$,ZJH;E]Es&zf6tC[[sΨ#kz( Wֵ0o 7}"ފs8,T 1-_ 2 P^1:Z{IlB4 oRDg\.XzcPj)pnGi|гO "V(j,2bw#X#qmWYqj?J1ff&OO^w]i8?\3gNj$u"%($7GƧJ왿Y/ "*jr2Dm.gBH>Bq@U(/I>s/ʋ#[c=axיsxӤug+x1f(`R9YUV51k4Y#_;;6<.ͩ*%Ƣq1>x꽧gU]!RqF0l^2ҥh@E_=5YE$z|0q˴;W("dVgm^[2^tfو2mSlO:Ol|Fk#RԀx4.HBj)}[ɠFdA/3.>2"Pv;|0Ea䃁KDz銠ɭyI=HI`@hV<;:3M.>iN;tyS3g5/qe5n0/=>ׯ=T]Omzy=ySJMX\ drn`Î7(<)Wi)Dl?׻1hc)PdɴԚٞ9d5+_1MߩSkSehtTY2fG9hPP6O""_6lԘ4%ܓkv~iOJJQ >;  Zd.T nTF\ 3TwI,,#We2PdW>BI#'.y;)JvW4ݺYs hv_$U'o < Kdڤ"C663!z`sE_A2,]}3. G ~ȂuA Y;Q U$Dc f/K6 8aR sS4Y@q5A8VGXV ˢ?~WGBR4W'sxR" i&ҟpBEs-ch?"w.G"2ۏpRu# _owqAelLOƸnjx.d\ Oh/ Emo@Oݚi8P3f%)k̩acIn@ު*%@eѿ)4^NI .C4i G l-5 Թ2tN&m"A:RcSz ۚĬ]l̀a!O>5n~ѬdhS dܫ q(4r*"fY_2N=7U>Cu&S7/kV5_m.џe(6;fɕD<ND0(-B_]f]=zK9Xp R2m/gi.Pu) ]l%p40#N0OJ8~[~]Z)kN7"P8tij<{ȭM/VZQ__i>v# DhMNvp՘NmJlz^qsZhJƧb&% 7J܈@ujGpD ~hR˦ _4#Sn:AFy 3e>9yޛ07Jg'217&VFOf}ڶ{HxQsD |EqiPly׾L.8y,%vt+@<*^ P_y 2/Qqx`@Pg՞f(s 8YrH52\lg# U_jMDsqmT"kF]n.o=UGUT*: [Gr?9 {O<[{qoC / wb96:[IOK;pٞz !`. FpB*=ly@ElP[TVŇAK\zܞt)UV|'#+R"2 eiV5|j+6qC vfZ"r$2 Kf4GMH.T='V,NAZI8&%JSNZ1r> IeƗD#;ѐL7Mw8膼ʫdT?钭DTX`~{L6'$} ^ö|$/cgtca%쏹uڍC|V?Jm6ϱE rs.LMlm~2,slc^}[k.{hƙV``*=QӃrk Cl,T儶; >!$Is^&nqHYYz;[js2%v+:SvzzҖ`e=E 3`pq"5n eCnݞ Qnjhn{@+>Q8Ow,݇%RsIˢ>{ A8T`RsmؖjEWMqh@@혞ⴲd[Z}&I Q#ߒ\\.n ]"#L F6&]ɗtn o29s|zW'췝|X\5O%uia/:ͭL@6Bb>4@L&̋ʀ122njy lܐi.p刈,D&@ 5K&zWi!|.\h튼1%{@ai1Rk_l Aఐ{<:OG I:-vx)_*2)Dء`jeU&4Ωsk)c#@wJ$ӈQez1AZwbՅ4Of5)5Lv+J0,bXԥ~mm@њE+qC% 1=5/lV6zM\ij5hRr!Xq셳w3!{ǃ]z2x6QE%r,q,O]w^j5wT#;ǣE4L;Wfv/ !h``^E94<ޙ4D?)sVy Ր 7#5'`6b-/XV.%PA!yr8tP޻VMW q3Qjew0soN -Y}SLѷb pۮLG.7\% 5hUR%蟓̢dQh_g84Pf00bFb<ryq]^\*E9l? L9,1u2#Imj]64,ier{ތ&tu#ChOFӒ[ݿ]¡; FEϣ@SLLR+41K1bՠ}N? *~Օ^ʕ8oy$ͯRz#ub\n^&YcE?wNd v.\z + X)0 "/HQu3!QPS]kwA1\\TTs<!a-zUr(V%JU@;6)Kjg5z֙ ոMMSޗ(-VZv{ ?' [P8<+~iT^=Nz, o&2MJy׭ևt Pk`t_W#rwVO9,] q+ɘ|{G ?`V nEt"JwE8YK-sXU݋oC]c'D"U?{\-EyIKC6$Z[PꫝY,/ُd9Fr)"8-:d y`I3f16sIF>PμS_ndl^ږAGU"/7(nHТkؼF-9NND?;R{uwX# p/Nd=NhNDn?<8sRnI?Y&6{,_I֊ h4)t( M_;HXW^gbOz`23 ?U5"-3)7*䖓SJvjeDUmji|d+p,JvŠ^2{[6f!fО#؀xT, Nbw;q5\B ({sq-:m{)7h01JB'w![YAjؠл᭴;az*Χ9Z>zhXT0I/֕nL26w]L]02tz+ v,Rg^,Hu˧VwTN$_YЙoc*GYށ]Ytw ["ARH\ ,6 (R`ΗqB"(SCC,F^i/~i,Bѧv=x=Y:I[h;'A FWzP&Ѣgwdޙr&/!+DLZ` >SYP=ouNt&ܾB_r4>ex=v1TctI؃Yd]_- :=sܵ+K T\,qm:vRZ} , 637\ ]'cׁK'2%]E'e IӪoS$L_[8akZXrcʏ7Sk{s*"b>N,dy@?e#PXsʊ5`T0CW>$PKeнGPO͎OR mˈ sU$NZtzJbLt6TBfw7rhk-)fYXnʜnT|iprdl` ,Z $-.[yfT.z&Eu0I>>vigN,Ni M@UCD8q?AYsZՁ~1d =gB[<)/CN..N$3Ks4ûs&U8FzU#xKisI{JÙvj(!SR!cMiG JHK+"*,3A^yXŶmxtr3ͬ'm<XgvEڨ8Xd}b$U| ɔRUIJθbwzp&:rW'32 Dl7`u8>D)uYoƠtT9 𤑶0$ȍ uLw: {fN=IŔ5,G - ow긒Dzy<` A򣽙>QolTrE$G܃]!@DZs`B(nkoW2 jif0/˝UkX $C{Na^;Qb/ h*]FM0pK7?(<խqק=qe-&UmԎ4,h8_&$sJjѵ.gHwK{5s5Elݮ\|G IQW C"f4V5upϟY-M:dD)F p׵4cXBJM%+ .p>9-=ڈDŦ?oN?RK"*S0Fqy-N e"LʮimèmƋ.B6 e~;>Ys윧4pW_`*`Iʴ oqSS)$糡qu5Gtn-~{pӳ6Õ ̋=gQr7~?~.,2z_"R4KiPf7%&qp@neЃ ! qt+SHw[?~mMQ~rAx^k.戢 D@- ~?4 W@eئL5zVqH$Yg2(Z?];/̧g%Jb43>F4] Ͳ~{7ӜV=x^_^yr/W2Ljˍ> /fG[B|:.ՖZgo9[ '38L /#*+T#" k=~x"ZeqwG}n?,!܍Ңbz##܏ 6X-6tg}*B @C( k6 ftᏁp) yP YN궎z}3f'fЪM{繧X΅_A7vPEoŵDoSzR^L2XW2I̧rϰ  y0sq#"R-̗7*]ɝ&ڪ;P"2.22,0Fvh㎏YQΟrKxyqaĸ-C*bGhQY(۩8+ZD9c?Ddf#_Aɦ^5oE4ByPSZ[Z/Ϊw~ۥ%^CÅN\̊4\pE-(yn Msnj9-]L[Q i1$G8{24NY"OLt̐U_/ x{j^;*[\z,L 3o Q>ƅz,2`y &@߭Z7гFȢωҖ:TR| z|)e7 ơ%x$R h#/}Z y"'#0ڱs=>*Mhz;`*|"qmsܘYkOx7Ec|^:>JKoSbv. > D9 TX 5_B]jXO L۫Ѷ{kC>Ch͇ ~.ua mN-h}/)L YvzOu븺OZD^l X=V.Jxl%9 'e7͌Y]"C(k/R&*XaCn}uwy.ku8U(*N17(#rk6}<2ndl*sYrk*fQ|1j:1!F1Q#9GPeH%~vv\*@e3IG-uq9ZRsDz52B8bą[vݽ=y,+nGd>Ct QWg2?܋<yyl☪wC4 k/9̿أ_υ=p^R5P tWF0n~;.)w* 3khHѻJ!ouz F u+PBe D51 MթٽRBdG;Y`:lK2FSϬF^kZuaξR{6hbz|kީ|qLy%mB wwD4X>ʬhoTql5 wlLP9)@lĭ#k?/'*.A"wL"$T4q/ tG;N>ϔcC tu6~qJ抙qyV-w˯,o}{mgƉ^'np3mꙣK u2> (]K5 N!jcdj8D-k<֕5c@6 K9bUD+uHi!gw*6>fK#A8OOǠvV3^!ǼH.>fDc "f;GQK=V#ޖ* Է<\Q1¹qiʻX5q#QgѣU?yd6r5Zeb~Tk0U:ĵv7lFy6Hy쁺Y:3"M,^#J;$쁆ݳ'7`i3缜. 3eCBlT\1#&P>[w ϲ˘3Kr('+/ j,)ͥYl}n Z[c)rf3$N3jlD9 S aܶ҅}`x}fZ(UE4,U5йL.tcg9! B6P: ^~3ʪ1ZeAM\#B,co"zװX%!0Ɲ=5Ku^n1Uuf0Ջ9UndM#}%0`,N~~cOjfBe!ՙ٪lL߄tɫ66&\Xf3eoɨVac^+c[v3W *QF07ǯhYmP[>rFK#7m]sX|צPmvye=^:Wd`Ʉːh, c (v_,b˨]xKgq\PГZ8"Mq:4*r!{ :fteTn-q̋2 K1.,/a#lߥ'G65f"}l""xPSy;jQ) ݖc}rxN:X6Np ، {QZm|9.C. u~z;wcv[Z4$ 5ZR2ʪ w^ᝃF6>ns=kvpu&b Rs?B촐 Fn>U=s"v%5'>`@ 4FjV8߿HJ!Oa!rACZd-W'L@R2Z?z]z[\e{UHCteA }%Q/ ;j cvH8f̬xȧp/]8#*MOzu_;kރ-5Z9x? (F6W&P1L!䛍UY/)N u3?̲ԙNH{CtҢG] lYߕ*gEC;_kJHwkbقi5ԋu5b-`aUȏkaa~%Ek8Z3p $:kZ"(Nw[׫anj<4XA֚OUt/'XJ ;^:'ˇ(~y=7OU|߃&オ 70BqRI}jaWWJj?Pgֹa2t='g6M,.:yKk)mWq\ddf}Q#(hzM"!nyW{=U`w?3\|ݜ2л \z1 D8'^D RP>Npgizy#˪[7vHġ=;&n\mW8VzrIR\~Xy(ĝH6yG! GLPLQQ.v?qr52]S\'&fDf }̀KD]KL&:0Y3w@@faί BE= HJAK$"&Pj%jB 3*ţu2h-TϴĄ DTy);L4RAi$,Cч\"]}Џ<2D}AW)&+Ҭj)=EC+4vp*IҚ#ȪSLbmC yT9:Gq::RC2[E2L{y~ Fɔ^SfFs#sC4Te`vKy޸K~NRY`MUON)ṋ$B7d\ Ds뛤wߎ~1k+}1lw]: rxRG jLEBb9N%O VBgui~3s Z/iO8)r?C Kr&HޚYkl/ G[M%CFN'kYڭ:%A&CC=CǕk|fvyy&aLgȲtu&,Q0 = P - Í-ɩV؍ѕJ. WN]JqV(Z&sdn[ȭRáT{DXۚRn.6,rĉΖ)[3&c7A8DaꐡJ(<>I'n^M.ez ~hq)&j'#ryf9 hanaW_n,>gݏGO['HYm{3?u= PUg?vt} &L-zSo290T? @ 2== 13䒇0lCT?S({A'g H*S)/)G{[&cmT& ۨ{7"~ocy䑮PJ,'~jb~ӏ;?zSҘv kj؇ۖ z:jpV;(_^y =bhsBƉN'[SC. y@0韻K\-OCiW_P w 6fkc0l)QoF/FsAZ xa[ETCV|6[;s~,7A^ppK/Z7<M{2Z, kuTo4PPkpg[*KSnt}4.LsTiMLKyr42w.YjYQ)GI" $/bX4z8Hf&uhdC0iw&k%qywK]fN`O`ӿ=v2=hOm/AkCpo4;U>9tLnJs@]Q5pԬI/sFp OH>?LgV U^ ͍Us%cjG%AD{7eEd{YCyq4[Xk> n<:ᄏZ k% @4wv:<M5.sa}A3n1"MM`P"r:g35j{+0Pt6# L~Aʹ 72ZϏ׮[!B EO,rA]6 ܠiWLP&P4ֵm\/M|(cz%ʢ3*s, oďs$88eXăg[RLJȮFby6P,EA0qUEwB7R8wB&TkCSlJcZwFv@\,Hn Nt y_e]:& $w&F˛^( 3y?6C}vGW+7H:^/^xۊuϯb zz&Fr땓]/JF`AA di$Vx!OЮXŦqs%yLrt;t&j Sln5Sbrl59MN~ W nGc~n]/0z0qlDp/w5A$84%r%?)"Z`x\t/s1NOb31]Fdm)cƀu^UY;Ayj[SVgYW-ǘ>9-gr&~s!Eߥl*c?7q LE^pz6=*k"8ңJs~%R H|mO;s{7Mֳ2/aH[ҟJI;"Flw_/IƤEJ8,ͼ oZ,b4va,FhYh:Ӻg f]{b;bQda,)CEaԨQXV6ʳ oq:=׆;vK9v dP. (*c3gn īD͠iԱX9I1? vq뗒"Ŕq<~B`|e-$|3Dˎvjr*fqkluIwMVE0/kݵd7-V;2sw0 kŠRNf!(_s#,jP>u8Ƌ1, $P$1֧&?. s@94hI7g{% $7Y%䪠k?X&b+ \ ;UF*Wx8Vg(=5'2 ;(&NnKN?X%6'I&2]sl!JY=4`?L? ?^{+!; pR{$_z_ Gk1&I=Qs1L{R ,ABGsqd5k=x8|_Jx|]/6^bibǏuDbױn7. kw\ѱWѯ=/B$X;<5IBz%UU딝܀o[G-|ؓLDT^Rq [?:^2}4[L1_䡎ƓJh6449DqB!6ܮ1|*3ZmRJGY+P8F#]QvK1s4$Ue*/t\,Ӕђ] l#'׀ygY DSDёA-;תaϸb!GNOL;ꈏD(-o`υxZuz#fue|?5HKfJ@vik+Yg4ydG]AuI\L`-UcyN3'h->0h O1>d'0pQog%Xbi %ޞQe йi~}g.P~&0;]8`eWW T'qSz-Y|DsTno !N^!A5tuRo L5x{ ׭J?׫5bJNJWݶ_Sh)_YUN6r WqxsuVX~߬ѡ[]7(Y@Olϐ䶚Hт{3%T 0|k=zEdb7+@֙Pٻ8)fZH@l S펵i! $Fe` m/0tgR`|CTv}tʹ,I!4P*R =s0Ht?gڴxO 33$pўd-|'+M޳>P$7&>ꙫap)϶kYh:*Wٝ$ni>oG˧ j5+bHwhp BE ƚˍ=s[fmY,>w 'w:JJ'b ciuTr .A|=`C~\:C. Z\c$ }B<=l eWNlٗg%X˵! /ࡘx6*}` ?|']ظ8Ĺ]"QMLrlP D۠պAK4F^̳`%{j8.>K>sIqp>'ܦ5nD~-lmm.t~&{HRͯJJs',WGCiX}+o b(쏈8: R(9)}Ʃî3/hn|!,e//B >[x4q2(&<'.l%SKMQ[+D/!N}~_N?С(}Vswf"hD{øU&/ 0>Ǐ n.5ܠI - AO~.Ut\a'kb$:4.ˢd{$3?<WkdDxJkkcRIK{<SѴcW LbwU웷Xp&ZM;_\.`jjh >M7ߊaI!5%F!Zf✖ФnSQSHuJk|Mq:X`׉<7d]a"j9vzfٜ H}(й]9Jr*^x7\xV =:)v$FZ~`>Z+IgGr ?9N HXpNo7dX8-9̕q鰕W;!մ5*<7YhvǒtcEv~uu좭T#;ZV:YHUp= oƂkP/9~ ˰jt\(-:0$Dg$`>C,A"cI~ O[[MlZP&n 5m62o7M%nJ#:1oYpDtҮ@l^>|Ɏ1p\s,n1sS 4uǵB TVUx܇Y#Y&n4'15[(b~ *[hk-m%H1@ՠt`|3csbWeZnV˪4SO.{җ_KTw[oT:qhs<|gA2.7rDP587Oo\Oy*8)VF8,t U񊤯s  1nu'ז&"RQQ!0/.ndl1Uhs!tT-X[ǔ+hJKl?t`r16v \{-3acj1A5On;;KΎcs|{j0+gdIXԕmօ:D& +^Yte@)\hahEPJs. E GĆJ0)Z5yz߷S5$8ugiyAm"Yю3D^Iߊ3Ѯs93ni ֗jĕ?(:8v/V#5od:_rP>Vmw1r\DPDK*Qz 7㉣bG_rd3Xŧ0իA!"t~)$՘dھRRuIlF*7i;l]0/mUWSrQmvDsf^)0赖^/h=07Kc%ZNB Ȯ-ݮ/5DZs*K+/e?XN9k0=GrhԀR6*E+5xG0E͸w"W+Ahc~զ&NXOZ_'-č34O.o HYrbq+.K#u!oMB#Uq滏uàX4y5pP=p4ŽtדR 9>,찵Kat5TUXom^=ϡ۔+;DJu!c5U r]rUp ]v[#W=I7պ[6^=n" ~NPNa^<77&x D$l|:99 v:T:mjWYY] (h%8\HgXTKʰ6nD8|8,"=SI@7.HnUZtԳV 2rA5߳qL=.;TÐ ]n6/f1PXJ ꛁN͎5&:clM[t] bcd2I+ODiVjSD{(nmX=-1gXDL@\,i<_}$ ~*Y
lvef(Mb)wL9k=[:=4yPbGǨJ򇠿M"&d3ǩLJg+ iH}GKX /#\nǓǡ[?'N$ؖ ^U-^IBE(v*_(f"NWdՓp>":7"1`'fCMOoLÏ*F}.<D #>|s[~HɸzTmΔ J26XFү3XdSeܵ/!OCCg:(<QE8W/L ]en6%\ii/q;y䮲,F Ay ٛ ӭDaJw4/,{/y᭪ KC`BR'2  Y 8h T7Tgx{񟘋6!`nF {ixk[HU:Ԕ-Aqft/Pl'7!YVmiɊ? |F$zSTsxy+f wm{'z]8xNIe=褜 љ ]* ڦ{%øOXX/c8(7[ea.qudiN]_+ϻ><)fW^+ÅMA?W," +2S,[<[ُL;G @Èus=zqVL'NmUy2SM@HzTA: @`0 Y6~Ny~'3JЂex)1C`è6H8;ߩdMGb8e Ȍv !ywr^FM_mЄc>%aJxLU^ &U7ADwAY[ 9M)C7o&c(7@^S#WP:E =hٗ w鳻[|p9q_TWiW0L1R&\}hmό?58P*ol0\0y@7F_ ).?_!1}(9q;a={~lXIWZ:2 p i`\冯 NCOpluN0 >WxƸcf]YOvYgK_/w[,KY(,Vqa`kiAaI()V7\IrP?OJdlc2oEK}u KPx>a8LYSWW1|*fRXM4hSe4F Ow s;P4d/t,RD k(;b=x M>ZxypB~L$қDŽ?ivfR.$c6xj$~9n8*"m}&3z?D'(˸'5枹 i z:}xrr@ɣ轞ou#7⌾ZQ?" _xItވvM@%z(n>r|ᾯKZw£c.Rh[,t]d^:Z`ɺf $Fߩ~\VΈGjsC'f(#}Qz5v\dtp zp;wHMZ16Xk 6ʥlBg+Ff5HTBpf}'܅D ngw`mb8Vh{EicV1vIӐV3e.'ޚ)Kk(#b w&E)k4T"Dszw IO=y_˩l1C%t4z-sbQiSIxF<`VPd/Pd`^CAZ{`ǰ:ȷCԴE%1@}UwAYƲPW 0A6{IXtқaȦ[߿'Uus1)\/ SPWOp`,%g][w!D}ck\mc$;RBIlHƇxi82Ĺ{!Wmy)ۑJ2u.7[ݣ,Dw?}PiDW6! c}-H:JG1PKX(˼@H+h TqAXSܿ Zs.AEI68Ī(;u2{^^ֆm^ tnk@*1pl^#SA3N2ٷ&"lg8snBSF= xbM F 7׊qi8hjs*?87$<`XyHYϪHP蔛rGQ 3d8Jpzb ٵY}3ێ uTh03C~_J=,ڲ 7XbJPzOO8A2F|ptA;!K(n*`tbek+g],\ڳUaQ)bޙD|Om*C.6'h`2c)LqGC%P*c]lZ'S@E?Ye&^.BaIEl<%Gʑ촛x^T Өi̩@ʹͰkΕ)y[6̿c/u7O)ue;ZH?W}O,zu?LԫU$2E'CNK cM-Kɻ—#mR>ԭGG^m^]ílu0& z;ZqlnPqu5G?,fN{TyK9ѱcHH{ ;@ۧ`@O!WՖh׻pOcQ=Jm: 2ȀRɏ}m[zꉿas墱1%J SfؙUq9LfVҝFz`S5GTdVϲ_ i LM JD1,jnPGNS4UMc~ZS7o 0([Sj0y, *f4QK 1pyVc1AY-?[r]{9$R5W{[;@•9'4ڎ\ӑp'? Ki9s81a ȕn|3A% *n8M)t *k;[Wr:u.|:r-a;7~O+YwG4/5T:,2k ?DX׳lꇓ8giyc],Ӯ^Ķ7ENـ,@&kXÏ+SZAŚ]-;G_Q؜1%|HeHދY\''u*V ; ?Q{3NF_0wilޞ5.oKơeSm<.F'*x5y5]ɳp$=\|UCiǕeRW#ep!H F= o#] CW lp?y/+.ж)=#xrPBa0JKH=az`5G0! mUApQC#9{ENz6@6}6ZŒi*w :,ѺF~r Pz>n("VB X; g^e&siueh=mL=JZT*=.{r#|/@;nǠ,@Xr Ut"ݸV8[>>o@LcGǧ+Hi~ DBEC!R+}Nn4!`q`FQڝ5\9O`[ik9=C53n<׻{!ן5 #:,%[=1}̎A9tU~,D@%ä c G>Ry LZ9PVG`yⰾ݂VpIopnVWU5?bN"IP&Xa Z }{{c[:=YxX,<#]֗,Z`jdfHP<)a~{.&1KHWf\! w| 5eAb0tYٌN=Ne QiSs'6aC4\=[Ž-S~&Mgz3 z'D#/ĈYJ`@,49ۂsɭMk04 X' oYوM{01'TpVjPY4w]z66y8Gޖ9kJhF|elh'& cRPyCVlXa_l=TY6n`aj7tnQD,;έHYT̮s.)*HS]ӾI)Bラ G4PkV4"2hXzP:mڃHhY}Q_*C.tn {D-10N~[ ;ْ#on1Pꨒvpjmw ol=;.V{u^! rAT4!-奒QW&{6SA.B՗ *iոDf \}5XRóLRfb |\~iY߳)/,2X0c"Ȕn8 92pDh$;Cr&;wQ{Ԁ0x푊+=8E-v=9X:!=z\F3H,OK'?x۔g~AB5]my9>.zl`c&W.ln D.AhVԒg;Ff|4TWx)-FOJ(\-\}:W\9j,HTra^ڵ3+a/~2 1.Kr7'[i 5u5IʶaKw5@^7*V6 v9UY<[iD'D#܍E 0ٜmI/bĞD?O*j%^Ci¼M4w@Eog\@|Y O~ ss,(3u`_ ىb,1Cw\Sm*(}{ 6@ċ`͊G#B m<"eG PAۨ N`})h)$Kv kllc!*?v=<[f|E"P.3HG_mkPq:cLJ;TɮU$C 6rQF \?.KĵQ/Y|~tvedjJ)~qnRPW2O7.[Qfd?z+魤I3=dN!fRP_݋#G4N=ÇATYb[zٲ\5=y"8<* dĈ!Y̞]Hy7 Cx4|.ʧrxdH]ŻU `V1ۣfN/B\:(eI=TAdLJAexH2SŴJ:xBarS/[GSnD)6+FK!(oלH.N zV!#8|=b1 a!mCȦvWmȲee! ?H-=mԁD m >`T,v U tΦ )L}BVXNJp82[0a'7%bD7[)-V$OH0"8 .Y٤AT^=r'~ UN mhR)>hȆT7{Ӏ,^,4ar"-W+ 3q2B fA /q8]DixE2bwْ#A!O3W0=Fy_ VSOR2ݙe$c RK3ƐQ(rjɇ8-`: 8Uu *gHF4r"NcF s|ޡ4A)2T*Nm@.`9\tMvRNz@_{U?e^85B.N_8&r݋7o/W=LNՂ;ۃ%Dam<,wWq bѮҽ©iXìuJ vey '4n%sGR&Z0; }J3=LKK%5ư[,SgZZq฿"ag<$ñn~BgDQvgLs~Ở|M__S-MA87EB}qbo%4M795:zC͙pE6Ըy ðz"4ܱ]r$̈ENmDeé@̅Y0RN %cqqyIYTX6~@|`3>i̅@VhI&\  Ts,ثn1{o@A0W Y72V6٨=8`/lOyB z(~DH[jM}g@-حmIjz#wD1;]eroByd!spɞ\RaXڰ|iy RPʫv*y1m"uyf晄Pj,sS)V Qj@\ 9&&'{qgcTVOow&~+td>yHI4-m><%.fqa2Sd˼jlU& ڊ{hNsTJv+녽 iOL޷hEs̍A2{ cXk{ 9|ăGڌcfG`w G14DVHu0ĐzW5%@R<ST$پ._8HbIǵDsAL^ܛmjB"ҍRs*+b}W:fCcWkw6XiP  m%pbv;xLz?xkKl.9-uj "}H_`Hߐ m#QrُT;A,:5Q-f4!t[Z$תN^ @ТD aKTLc۝_Yu6Wvro|Cf{ԅ;&@ ^湿EJv6m5J]E+|8x\6Oo`!}MG=~er$Fzzσ@;R͛=>@Ml:`6VF/@^~B&DTFT#%Au5o>U"4ƦG-I Z]H!h U?7L-4QMgY =8^/$sO%RevrN%o7!L#+pG`0N &Hiawly9Ûub>*\.; ̇EJZEd@+O#+(߈A*@Fpɝ,NpWnq/>fά&?J}oAE<1S۶};*=ֶͺmwMhtei3}s]kCt$x #rHkx\"=Ǖu6qa?`#h9 =*N(\z0̞O[:CJ&Uuj{!t0œA}A^%v W!l2XAF .TByll,+cDp'PE.Xx qN2{4X`*PE_ΘfM4[Hn5HT' kJfd>mF/r<gBs.DMSվBBm՗>89 jg\X񅀙(˂.QZ3nr*!iOhfOlE  Q6ʃT}C _S 栋,QٺnMF"#"e/B+=(4g:#WކcgHQ"n0{Dڸ#% 6:4љM:WSp HMYU,Z+yGd$nSyaC.RRutJqmu=$ RfM,ڄ>,7>-T_r7DM;m빞)"4-40p 1w!=I7=rz}EYkQ]3"<(Ll(oK,梯?th !W>WӁVEM(JOQV}`3i̎c&bАp3'\tPNJAc M>ocgR:"|ZG }N+=\sҶ4,04&c(ܠn :>m-Ri:AW&oKݚ`tOl-CC ȻHl.H#<>EU$EQUC3w8uM/ڄiVpACYz+|3{(ve 5t:ܘyo9vX$Vw%LVbgGnZߕEkv*~W0=~4:y8*yj))a =PYD:sCR1~? Xr{99ֱڜL9Rk9&FywďZaj+ ,nųjuDcͶmb٣R9=`pu~WH2pB[z,8dR;ݩd՞4S ă,{JVKm (qgxI@ (f5gI8 J-KX:}עuQqX Xt} W>0~4 ^$3dAˌp1J?뙞z#_)_ 6jr ȠXŶ $}-f'YℋFfn- Wtw kСZU"kj~oRK, A+=Ћ\ ‵?`0^"ЫhIYG\/z^gwKDC,,4ae{ߥƔa_`cENPjv7")g2,ڴ0jn f$(2wXKj%8MJ>^Qao?$&]qM{L' P۾ip266Cxߚ.CiTh :-)L`5=W2Q#& h䈀B+8Gz.N[G uUY*{bcɧ;&rHpu\9k2Lb/9(IqQCŮL)!PY4a&@]5r;!$٥ZsQ"WdC2f)E%cQgp7K0iKl7BލD-KFe2OVa'(]4+i`Rpdl!q2^cR?vϷn{qzU'P-"*Vc.ݟ-\/K}xQ^2-h,P{΃_ȼ = S2,ΠuJݲV<q+&Iƛ*ͭ7Qi?WxʼHU~oP2}捤Wd"JݙUMA>1oV_f|'wpvbSIDetcT0ݎ'UO1ct\%f7Fҡ]7fXt`zs_Kw| $ dYt5Iҝe8 j0ĤDZ1ClAƁt_}*U+kei̔x*{'3^X>x"AM*tI?pj CA(f3.?y zm9O6-7-KmN4@Ȧ`-f2cJT>ѫCe~Kڟ'_ D{"ⱈ u;7˂k1r4W૷$i\T$/|*案a^j2Lv>OqGXfNOⰮnµ" r _-ĄП={L8&̓+ 1 L3)6HX6K^IӔ##i$W`Wf4w /5|rzkϵPIE)22@ߒä-_+!gQ}ߎˢ{8TY_^2XiIRz6]6^(~GЖ K.G#d98`u2=aKa ߨJgkPFAG#N@fu>Q6oinT&7o,Ъ ֙k\Ӽc#꾣|R(rZ*. s{'6`aL}2ݗ7R`..>يQf}[@Ѱ!@L(jD!%' rN9*[@ҸRc-~c,N O[M+s] Б>6O?+ǎ$E,V~+'J`!B9.G3& [TI5&P \9 E'Ig~|6FHt,_ۋNA/rxq ekD +rdz\`"= r:}ʺgrE͜mrYyP?'pjJ؝߼;/YEW'ϋ]zDnk>/}ߚ (ZIs42yT[!kƆ,7$C;tU6$#Wߞ%H.a3|F3yt"tP<7vSuaZ?"XN2Xm^И^4p^nly}Omy%tte  @ Ov2irW5rg+wP۰ N&gKګ)S,*,j -@u¡GkN ڍ(I\"F$  FJ!Ȍ; v{"A΀ NiOUP49SgIIJy5o(,᭲Y0?g{xl謺ss ~JA\K}j*h=Pueq(WT [FZ@>]r% D2Rw#>ڦH)n{Cd\P:#)My\YTǡ K}d{㶒=k*Lܗx}I63Z鱤S_;n|a1Qoc޴ s9^&qpa)g^87xaYDA`B PS}/JMO$"U&s;UΙ/?[uL뇋j1ѡcG }7Z2j5K*[VAr2ֵZ7eV JuKzkɐxSd),ᨥ˛AMft R]Mq $!}IrKKjP 1הOU:=c#oKZ*Bf3TgzC4ՁUE_px0vdYn]\?[X:Ab4 '΄##z+9P)hribΒL}7yݪPrB?}6_!\>vS?կˊcɘb#y-vԹkl^|mR,+9%$PPMf|pFxYHEY^8tĈGP+ 5ah@;EQ f!8L7v&:E52(D䁁L<()t{QA2! eUE*o^5z??sKT2,R\ ~Ll#Q Ef^EAz?Vy 6˂~"{R)x9=<0R7۷so4S3e4LQ+]YN<`%t ڡxY1IK 3VGLh8nl+͈| ^S]?.4 @\pax+*NyMT27v}d,"%РUuZ j~4n)2c{\6%F 1ⓦn@/i}W$-ҎL/0 ZǮ)}dZ } ꨇҦx-(0d@ZuǝmG8Nm0#Ȫeii; 0G$ ňBg{k)M8L"7=6uq4 ,=H!qm6b;){Z7(kWӀǦ%a^Q秨%DRe;L%C/H$-x@GVXISs@N/~mdjf JM {,뫛 ] 0,h-oJ +d85+@Nvfc!n(VtlUwe N M#k 'G"Q͹YWRzpk/OefmмR lfiEfu2oD#|,u}=^߅L~g jT(YNK]0rgQ60o殸 ҟP?2L;l1A?U]f9[?'ASQ$b.K eA"?Q٤Lp[(yuMw: [:gy5g\K{;PbP C_;*n|eIF%`N8,G X``q-*2q "уT칌23K" VW(캥,XTt \]< ~bԑ}SERZF}+`] !XY;gbg 6A4 %G1(j}gbnW}P>"KJ]ڄ7nVm b`;F3eG҄C|rJ2#@~HCC#.y)q8]|Bzl$u,mS\r^qeHc3Hiӝs~Š"P\A=9jReQ~/>H<Ώ@in0ScyT<&KiYfT;!/@FPԧr,*~&!+Q 87Bd PA=im |IuZuti1zP\=^qI_7`׫N { =UH_,G8*wo#b뇊 w>a{qp77ts,:%Y6k* &ş؆߸|l&Ł9w[[ A@ccgF|0 Iw( + pBNbƩ~B.Ν`6}lJMmWg j"Tq 7 lTP=eOqJ{glGѤ}VQoZ#ȧ~?tIUֱ&̌3n}^Tۨ,r."@ 9 cw#?!Ci-) ˚g@gi/lc j0d$_JeF"聒lE @L_%jH.xOaMh{ESV)H TDE#p!e+(UepXj_I\ix%T"TU(ח$0@;͆dv`Kr#91f'Mj6$@:=iv3EY<[$ζ5\82.D8Y՚ Jjizp}[G)=4߀*o5Ջamze8r~Aީ[@w@{,^SOӾmpg\qe-?&DTE/ v20?J=w͉mWAN~x"d\7>< :p\1vZ! W&ȷaI?b,j`#.?N,|,ua2?05O.ŵQh%q|0%:{>,nYE'mpwg.Ű$-̻D]qӇ|(h$~^31UbU%MQj.vbIxWvM4$]h~L~kS giWmgTBF7E@|p$POԼ̝?}RYkUOUwvKe-s6MۧA@s"fjk`bOqG]ЩlO %W/'ɽQʽPt7S?n5q@P ms mIPGߑ$[$V^^ н*&)7"aY?,OG*!{5ʑg|eCjl Cvce|@P( V2Ҽu KAh_n\Z'u8S{a/Dj#;8NQDqD3w ZJ/:NG [9LJ3vX6A&ǐ`I|}=z Mc`dh6Ǘ)$#mgg n+e }T# C|I4I$o P5P6|6R(ߖ4E, [gw).9&>PW[pb}hUUJWlQq?co➲)UϸXB۳C&g:P HvE뗠kaNL2"J\%>PprdGoML"&τd0ۖpj <|,ޟ/ 񡁯Y f̙;l'3qXU᩸a؇z#tV7UT >.Ds~NiM/2GU_~ 3.Ӛ<vVvTT Usq|vxZ3} 琌Ïe8#Ùdp71jGE'e4'ñZAEՌ0<=(s''VmԕykMk#Ǹo=5I3H 8nP.-1f0٤~SEƎk{Jiw ;Ž0oaqca _@4@,` !HeD]K ~q+\m5&ݿ*bjTK(خfbd- wa[#sh?$?V]5޽Zx]+".#ƨF*\&`B ܛS@$Ý\ur%gG-ۖ3tE{Jp]9[ j_`?v$qZ>F?XIYjM/R$]*z )(xNi>=ImJ`-F9jG`X E cQLyec*7V,:ܜ% *QUs,cuCU (pay\8Ȍs, 3ʕvKhgYYה s/m䋐d63B4gG WaMyeql ƿ]TŽۛ xRXVH/ oz"]pUf/wA.PG]pNO,,̒h<_T˷XqVO=L( +i*E7i,zX({I[Q^ؾPRZ6.*䁃y^cg$XȴDV!&(fA1JcetM"xiOCe\dF Ӂl\>T)n }mpJ N{c2םЌM|SoImx#RFO'~ (:dB|+f-R d2`sXxX)Xa8L¥j8$/Bb ȝO`Z=|'EˬbdBZPh Jփaos ӏ}ޫQόd:'yn@fƸaџv̌Pvo@H{ @V> jϜFf};5">M &=-8T}fԑAFhky4M̛L~O[(|9rJ~?d`.7ǩ#GFA'3oH]fNtBw;qQ\ x2插~zۮt - m7) Y]s"Y۟,Jδq[`AW\8_|K`G=z9VeOeSD+"+84?˾Ock M+yݖS fß|>hIhIH .Z |g. [Yˏǖ_AXĒ)#se>^&5&lv.ISXñeG]aD kq\ |'9lB 4i`YX]x S5e(ЁW&*zJW7Fb*z?\ Drp8tJmkvTm=ЏFe/lk 8T8ij}A0@m-,Ъ_C24ewXmS&قor /{qJ QeO: c.' ȼ f)6|_+ (!"kBwMÛ=$Zn!րX }7ҪޱbNe"NgXܪۗ9KM9 S<(|\;:aANIþ-B>w*/ 26yze,^DDA0t5jA^u8O*_`߼?x)]  A.m4zZؤ@iB" gtikM 7uy #E,? HTB@&R,]dy~wwdq/P!t.fEDx, Äm'( jӛ`>Suw1 MKGiT%4_gDa>ŪШ D$ًfq2[ZSTBSyғ_ Ue4nܼioWC|,Wƴ+]o\kZVˋ_J= xR:}@g9Hm,cdNtV}{d\߼$5ؠӴBuP{;r za*(3[c&Aʎ|Hl"̇18Yn8R6锨 oΐߧ8We@%SfNAYWEڼ % J*YI=R |5:6F7ySRT@W2 I5=5U0HU$~BLt[F kAfg[ W}.5hWb۱Vjoi^a URS50%[޷}ǪMj}(v֝F6t,fwIt۴Lc#kH~}WEn7R͐騐/q: D9c$\#lWO_ql[@\ V5iϾs ̵d\`ehw+ƘRWkuY~ MfR-ߝNzvwhDMkPlgf㸠NY0XjG_Av]h!r/\t83J1y 챙4tF(NL".1BjǂgOlȀZTԃ(S崝9k[&}pXjqQ`N=Y]I(C( g梈WLlz%?9|+(ǁg0VpM:y $b-YkUe+ mKO6R!]aEPjV;:F1ۮ>PSswEYXbUMyJcnEm^+%7S}:~,rΞii {x1pZ"8kfQm7<&l%6n.^"*5%M iJftJ;gܯ!볠g#|V:!^VE1jnpMR 0O2 Smn[D=hH%ડDe2wLQg ֦]7fa |c|@\`AV6ƖBݬ'wDs$47`w~LR/0|3NXd>xא$풴*l'*Mm&@~֘Qn0+ҳGz bp38M€ 94`/K"a n.mhlʕ1[1 ~)MV^T4+jNg(Wfβ[l~D)xq}Mnk^Y|nuXLz?hs k @ÿl$EYY?ύZ%|7k`H'49~nUk% ?U_"lڹڴyH ('"{1Ҏ`4em@kOT-t93}$rlv=hHGRޅlnz{=v_ 4ѝR?Cp{"#Y\ϟat]8 F<Ї4sJbD̴Fi%i# eGN%vp-`I+ vi>X23<<*hKF'G^)Qg|=1M}d.+DP=~]m ϛe=2M(і@&86 8މк62S֏Q6$h Q)^96ڦ-?3244%8*~xH}GK쩲י5^2*goPK,C#ae]GKwI.#vN1ll|Yo7EI3:}#3#ފsUu A&e5+@Gj/r%l3Z!]; sОK[[b% jr8u&7MnFu_WKD$s @ IxFx MN+'slrN 6ͧuVpfH Cn[s" *QO Iv'ΎXFG̅Tj%p Jè8r/mʘq6 7KME)m\8^ XA9bnO#2O,(7R2x:: 9;zJnVM u25L h@r{v򉿦Z,~Iy6!˘mAWh ZguqE̷f78) o\c if40 cƣC$=tP6hku7ČH**wU m9ɋ`<8tM 2Vgqa-9{΂Nv/娚€jPbTũ2gY&U>:W qO`z>&L,'LOdZr&]Bۜ#9: J Ԉв?tַ4;w|mHbMJxYX0l恞NOq혣욟Dd.c0y6m}u̻X`LJ6`A%CH߰ O0l3< q|QUPlOAKt.|ϒg|.AV?_z[(hfY qC/ ^UwCXǰȜ!^@]k|ђoˢFZ8y& s*4zF ؏,.SQ}a圩U5ʕoCK$D3^MʚoqOc/77I'm4{HlHt688: ]#_Zc+E`ƒ4+sa>kOy8RQ\ﺑA&9DY@z[91x NxEQ}d|ʿ w wr 5xyg񑠍C=!Up\EmfoG|Fx-\Kz|FֽDUg(YQcзK-?Ԭpf!P| #\|rtN1h S owx*HicrI[{dRP+ؔXwr*tݲD?B#ys0&yB 69>>(c>e,j:l L%Egf$kF* YfF}B~[`{͎F'f_ǹ]R7sY;S>&1\fDh WCR!g?ZVޫnKJ|p1pOަ ZϘ ~>Z~o ԪZN">qj}z ȓsUw<_dQbrCN쯌X6I%U 킈vLC`PZ*׼S*sFb&}O"-'h#i2?Fic ^).HLx7!‹r͘^Ԛ:L.-WWv59꤉'S5Y3ϸpnB0F+{?pFrHD#&ǘwMdPDW|k V:hC= &^GCgB)Ǟ N#-NGp! 1 ІVVb]!VP%@\i*bݧJ0PV-h~͝ ^tl@.:xqҍg_]wT (4Iơ-)oi0 M rBWYA3+D.^ :`v3H`<$Ҫ72 x.mTF~oΛ}~_&?ߖU+Ǒe"KTw6'aK!7b'b3\_T&h! :Gv^n(p aZV)l{ e PGCIe7C_,~҅d3F3M(jH8yFKe nЇ䳛4 sEH]%j"{Zt]ِ{+{ 5BDh$+s4xeʹ\%0X,Џhz:h?N.8ufZph!EIN86ҌeQ^U/-)Ow:^_/17`|P(C>Eu7D>"Kڈ>\@2Z(ŧцl,?5w㓛L`aZOALC|6Bh;j zcL^Zm;LOLSIO 26\LPzh%W[k8 4O>Wi <+86!d蚓P՛HRbg"S o5O޿21A37:R/'s+L 1hZt?,% ,do1nn|egF+3M"Wgt0P>X5noNSΜ.$wĩ.=nz|U IQgV s鱧G ^,cV|&Op^hG_-V8t%CBo}śxmha#ki4D$xθ$'EQ4\J8Lic>ת 3*ͿЎ_@w8N g&x  % |h{bv:@d-t-R\y,߅P ?C b dV7#w7UXNktA{0i4bG<۾Re h:CW˷M7:FO'7w-2I;Վ_IpB9Iчp㷂jyu\h3b>!# a7jvݧ ib 69akeo@O3h<,N$gYReJbW1׳27096T6 O o!1H́Մ7?&(aXy>sH^2k2N9Ov4w*U:i8+rJpu%lXUǵ-;0V _YQ#AUtrrMvY_XM~̸ AٱnofK&P #78î`tv,]s*Fx<mmEW++FKʶyV vZ|3Se9aW@0jɫA/XRX~{_KmBTFa@m¶3i g!}@wF @5|+f)(䝾SjE y5u'ue=-Qh![aHȩѩ;Q :Ngf G(O/̱ncRQBY^8&&0o&Dé ]v--̚8y>$FVAR*Ioe[yFл'"=)E-m$ Xj߽\II"rp퍊D !mGK`fɣXSdn|응WW7awQISZ@){+jjm4ŁlG-\쾩A^2EQonA&-TW1-$pT.laŎ¿Ң VNW6(oK?>N1xS(|}Vmh* Z!}Yq6ȝW% {zcE" FS$ry'SKvUfvţ }mJz3=M$H]:o- \l<>,截WT?`Lk=9[i;WgUOڊ+Cz| -c+ j:+}̗4QihUVd;7R>)d9r/\وy.ے8)"oT`[STh^ PLAYa&ٱGK3&Xەt B#40IT0$a1ۥX9rGHwTfËiq}vXݣlQ#VMV-6,KDneUڻ&{R`PGvL}g@?K%ՂyIyx.oQ3 ww0Kny Ԡ|}cE&;C+ ˑ䀝IcTK|74cdlHx̞;0YZ l1k'1!HOL-MutabelleHOL-Library.RefutePIDE/files~~/src/HOL/Library/Refute.thy ~~/src/HOL/Library/refute.ML9'1-HOL-MutabelleHOL-Library.RefutePIDE/document_id230l'EC LHOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex7zXZִF! ]A-MՋhvG"uIBm5Bq4C@8m(B w?< &vnuG>Z7l9?=ƗSOFFΖ*6Ç9ĸ0 ]',ٸPyT<{c7 .ԉ2b-۠eb_Q8i\>p"W_돲n|dqS'-tS@KYά_j.EW16knϪG,'%9[km}ZIK픊~]5ئ?gv 4C]И_ jy[f'{4L}38c.i2|!.KÁAa,cܗEoc'zzCZci FԆó[ݓ\熵E ;dp6oA8B8] 3:a6XyOhy^R2h0 ꬢSS$\݋ Xf>7an)E;}H`Ūj߇bzjB, M+ !:2SZc@[DFZ6d{ 잘:VKvQfDDdSY%ؗ)Vp*Oi.+wpM G {zU4VTLvvoF\(.ONQh7wiKqvZέ+,_%G 9p<@9v$gF7,ǚRY~\!ٖ\ 6?5OB4K,뾂oXKS]s+^ENӓtΉ^Tf0yw%Uٓ$) y"׍@V3j%;n&ߙo#a[*NJ5/龈5>mϔRMi:3FR Ջ4B<o1nmi,@aIBJ> TIkQj bU5;ho1  7`gYZ"'13 \HOL-MutabelleHOL-Library.Refutedocument/Refute.tex7zXZִF! %]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZXe>p8N#ag!jL-O(NIA'KK짂܂N# ܡ /uP R8A aFd!q[`e!j[H W5A ՟3Br @vwϐcL0Uf$,D@_֙};NqvfMեf<ɊW HlEcOgqxcU2fTHIٸKȭ19 3m6/Aej>g8*:~ kAFNi.`1UMu~j9uͱOSsw'Ħ]yb8w'8# /h 5C0rڇ]c .qܓW"+2 p§*ϸ3L(ŋL8 patXOk-8̒]2묪PL=|YKt[HO W|gn]0j:d nOc{p~ 7 ǝXRI0jՂ$HLe+_M<ͨ^9С.!)/P1rd |+u7V򆺫j>X=g8bX'IiO^T4C.O KJ)IL/ XJ[ӛAd6&b$unga)b ^v8 Y(X*b*AVXUvi7@ (WQGZsC7Wmhb }B$ OqBI$dñ1 m@ۉ}֫-BkM%f}!7%M~|):kMS> Ѣjr"R)jNj+h}w3.JfPm)* ۴n$nXһ~ZZ1FA$5Έ\)~B bMb!4u,- rG” f<0?>Z0|acfL)+[^a!Gh)Z.n ¶"#"̜U_f۠4gj/c OGl; Bg1nѹRj{؆"2:4Pq86(mE'g EefP0(Ө]Ґe-YIYXvEFr*։\1}Ԭ9P_|w,rG@#@@%?BEӿuwW+Wuˁ:3\y>wN! F5w!R4Dz@i݈~$CFa!3j1 %ZT;-7f\>nc̔( jx:ַhMVeVX9.׃f]vT4ӻ;@D/QFO9޿'s 1t|TCN]*d>qM m|; cLmH_<| F fK魧AwQ '쉛ٳ8'U0CC3ȟ W,?oPk{犧'G}10~2_]>hmqOln|(F[_ Ä4kq6K@&gYZ 0 '1% HOL-MutabelleHOL-Library.RefutePIDE/markup17zXZִF! K]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<3m@wbEy܍5-.c߯4ɡ ,P֡RQ~>l??⾛/Бfx~SnMvv`ړM( %ZjF<29XY%I|l]\R(0^Ј7[{Z擅CAV~(b ֯Fak\7V}t0؃hX3Ȁ,@:`|禔,4?ާKl1KS KkçY6r̆Cw2,zu6ŏP/ze pз.hsFVR%%6m1P(4Q0$o i۴qҟ?oB3<1v$@`7(WhEU8,c+(_"e/ nb }-X&uԢ\l&r7Y, ,٠Yq7ϖ){yoiBp 9\=tXԩJpC]u]wfCpMld/<3uK=aXӡP#6׽ įK 7IgzxijsN@8+< w& >c7CWZ$ -k8Y3I7>90q\jSQwZ]] ŭsJæVVwc$ibs7QIul=:(wYb ~n|hOvZzEꑆLή67HG$6zxDpdqXxخ" 9,%1~j%ꮾRrKwBC`ޗP{L¢deVB Q.%KFH:3@_ww%83^G||*Eh Ke˸s~I;Qvi|L6x09Ώ=|kZj,ǒ`*:Aq6a#g:?;l[>:0{\{T[Law &py"AANi]Mkb/0?)sx'ǒ"_]: Yk|NYZ%فL(DyY2v o.{[,LN"nl;1=*]S\gROkHX4܎*^-ɋ* za~^lPUY!ݪp2bfľƜ1{׋Mo=[Swf"3\o8_+$Y_JŚĨ4jrLJ@i}xө1i hjzKȸBxuҐR(`% :cV0l H3Ttă9Dx`hxNfrA5w#f g-ͶySqg0({8[eQD3|_htcMXEc76"]D ܥ](?|`<@@YRͮb1Ɋc Z?]\YP@b#M$8mu6;pi= <#E `h@̄Rɀ.B.gO5xM9埆AlHDi}:G7L^{ Gӄ\ӝVw8Snep#d'^Fіr4]7Pz-ʽK2+ӍtL 3kc-q ۯ5Nc@[.C3w%zݨɨ9"+3]uO$]N&UA+RM;$? -ygJh^!Q`FUD;#ne>ˆ)Twk0"ғ 4d8 9joΟ/eo>O|˦ogHGgu`ž)KP-0|0WRM(كԢoz#ZQuԪ"+G @6K[?U,=D9 fxL~װ`m4?+̄K^0 >eαgYZJ'1# c7n. 1o>kPI Ԇ{+Q3d IZ"1U͉6m,-T@5%4 v3C[v(~;Wg`^q7_QZ5CtB5ΕsK}/m nf?,UNMKkm';pUu@B55<9> x;Y;\YiI7%$4uwN\$+7rXeBzs-}Λ$.<~1^?N8`RC$iLdM'!o;\uKJ剰ĴrWcҖ ›#\zfd8j]K;[-UۈӞ͓^0#sPv2:K8z,m} I+G>mn"uR(T ȓfn Uh A KAZ2PyVnveǫkoSti\"&$P7 B[pW)O*e]-c1܁_cm .6UH"RVc[s$.~7nWFYLvs+P} ӋsBɸ،,3ߛ]59t5K< (" T󪮞}`hgѣK!ަZs"[lps3.z K\$-MZƑzTP^N si-h VRrxa)'y# UF#rVC/4%L5JtjtCR姂L!Uղ>n u:vi!1f2Jp#$K+# 1:5% Dc[zs31l,"IbFx,Y}s[튘WٚI(,+]ѽbUM|\ |twlMX3Iu "Qss,PKRyxgk9*>[koGp--eD|Ȅ_q"/8`ݹ|T {8}NLC{>gYZ#1%o: .AC= !aVn>rg(*/24pM0m[V$~ T>ް:64u9ڒd4Y=sܷPǯM[uIt͟ xMrMVmKWCAfbd\7p&]+Qc~u^ -u2Dv q;$NV3*>$+6Ng&@O|v]ظlYڏ~OGti W¶{\p'U:bO;X`mPƃȜ(q#`^\<4=& [T[O@%c |}nCR}Yv'.3(Sd)6{uR#Nhr>νTG*y?aH7(N4ٲDݪ7dk{5vWEwoiKpIk8>(Cz3uG;6 }0ӗ.qƽDɛg`Xu}o1H:.xhTG k@:.XKh->?p6@ii΃.ɂ#x7n1ʑOh`;)8o O T0+i )j\ b^̞,0[OBB ÷ɉ?8f]m*9a$'M_SZL+\gBc7z]ːb+NMrϬ+JGA` z1B(S7 Cd?Y  /*mb^֣CSm |YFEaDgFў^EZKڲU'Cحv_-1Caݮ Bn `uO|̡&aa|*7I70j~Om{po},}\0C#.p·* ZrT gC/mrvwC3(ߪ j$|IK phfNXsm!_k&=pbxtZ}-G UZzcg],"Kg~;T gkY&#>Nڪ-샶RPyLZ*? ZKg'J.%d!}8j@d7uUH[ "Bz>?&"*< mrfh8&)-ZoYBdp Oe$sY|hL'R\O2sUTfq nMUT++tߓ SfGf^"Bvss:<tJ1*eYdTpJU\)L9nMPk7 T"n~5v54Jn>S'j>TX4zg2p296Wx߶ۣФjuM>_N Qf鐫C?krutHm*XkkNd;վ$~K}Ian{Y1*WH_lX\/> CZ4kj5l ~90 64Ѯmi DZĂ;)9`'C?HNHm63j19oj,k]3*Vgۆ݀\# {9@0NB9*Z?,=d ̝GſMJYjk=ym7:ykkzBh! ,a$> 38MISfe}rPfV[񼀲[ƵCUOnE6m.s/T s. cL{K4UIQRu%ă Xpɣb`9=_M#osnX|.W?<\VTMb| ri;!#'鷅6uy;> bӐ(s&I1iHlX uΦF! uj>MKmɦ Vo)^L -ծTmr,1[WG7#Xe)PdאN09AIA D c+5Xm:B1oTMqV<fӿ4Rc'}h̖*(WL<Ɉ! Ӛ5qph+5qV٧o%MӞ/>24ڏJ (McF,ZW]N$D55hW[LEdC^D%'5`R'du!Ed+mu%8FV; P)e,~[fp[62EFG2u}|dkqW@b`+>:! u8JX81wMШL]CדPWbm,(풾We~)bxsIǮcׁ}h 愼߈͟O9ϱ[DGIKj윕ORQGsvNf N\$ɠOи3k=is4GJKEsqYD!HXO&[RPcFK'Q4'o"5ӭKrLMK<SXCM`efܘݵ}JkT [|b}`ss'Կ~1$or>=qۂ:QOGwc& 3}nLWcOεdvT'l4=xr1 8MP\v".-t܎`I5;/h5-JЉ951ۂUlUϥG ۪ j5CQ&Y/5f D qN0ŕI UZ8S6j)Wwk!eܛ? y]j!v쎒ԋvLuᗓWyY-JR#r%':iDtvAFUQQ?ԤAE;!hOsBMÎ]9NWS(CkrMDpɥO1kjabBl6R$^[b}eБ>Ou:>a;p`':|^-€oLRX5P%;'ZѽL3hWƀ:75eZ([ By@~ o), ~"/dRmڶYXna ' #HwVzeγA%e+Hc pO) MS`d+hxwṚ(m]+ߕdaMa!S;3,KO3쿯u VS=:Mh/eH6?f*ͤ"bSBp?  *Teˢ$00Co3UL̲&Z_ u&h~5r 4 r{DDeFA7чNf ڇ;pvPEHɛ[d*; ;85c4cy$xP^JOKa6P6zMġJryzZ[l5p-Ydw0 S? ~l"ߊ4U}-Mk}TB!W DQ̆3]~ϴG(W41t{)r t.[)"H1lxoib1Z6gb{ӣ% .}+y̨b6zzYˇ+eհz;1{p5+r(I@ʐ)w-M{\ƺ@iwT 6[2&Cmue5uu;ǣv"xs+xdw.sp+!Fb1)4HduQ:di 5&u ځaǜPqFk`Q4h&8/rI(Y;UYTؚ/$~v'v|`h bk/6(PۯIք2kcri֙^!=Nn`fҧn%!Ku'ph.6 tsO= KR?`*B65* ~) ː6))ǭ}u҇AȈC7**kw2xX"OL]?6^T3"o(/V% ۊ :drtO(iROW,Xv%G=ܼ݀'zz:/9W ͍q\< _}庀gC~Vhc5~ͷ#s/6c;5ՐꖶD̢L(s'Z QSDln`wbP"@##w~JD lGFM ReVhmwɬҰߧ.NiK$=E}GWhg(xv,U\D)>/ΫA#?_ar f{-(ûIsl8 GI`iOBjY;NϽqF:7gw#)-UoCyU`xM; 5DpAmD0.I ˧N'=umQRaKXbrϱSگa^k~6߉ k=j]fji݄&B1_ PaY @`uB2xic/UpAGKtݦp#m6Civdk]+ޭ 2WxbeH[M29 x;bnL&)b5X]{>#2J;󰻋KsYC3@{3F }TV$[r-~AM8j`37*1i-v5KKYh8A}'k].MeVB"hHhT3!y萶9~JP0dgTuߡ'N4!4G@oԯ \H[}'%0fͷM 1ۮQ Li9tQܣF V-xoSzdAq2Ƞ3wRtURߧ1jo?z3i>]6fՓ$$O9hAEIK 8JC`h KDR|)I$/"ni,?+L"a #xɲh}e~}Wė'2n[$uUťˀ\a;]4„Hm'WHu6:4@9]8J Ȧ7 (n3.܄$qi:z5̊Wlv]zl{dmM^Is@SXc6GGqݙsw"=]+/[%fzfa؞P`Ѩ;^e}*ke}.C@"6Pnoh w3.<9TI'6t$06/1:<9#==u?Wmzq]Qdg| ϙŷJ2Dgo(UvQMCG@tۋJ7yjPy)Ңt|yVCjH )*sz]=*®fڐ.0~u7,8q}_"QsT#l>o+(bcyS [s 7kZV'n@rvRwEDC R.B Hġb htEzcn:R@P~<`ox߇"X1NKI&\-tے rGF?wqh`=FX ǶM|к2n L<(#kyOuBMu<(Kx9{cy!MaRnv\:ŕߥi_NlS|BL)5"$]13s 1.ۍ=!;)s䱻hctGdg$!=\p-iZ FX $O3a*']cmat`Ńݯ9B'أ 8+82܋u#^62+N6oLH9ZuR9{!(F [*~@Y;t./ 雛ہ 3&(ɸ'I4! o@܍nӍ{[LR1Mx*鄗8'è ,|f "b!>TEg/NX˿|D@IJ܏A@5L8LV"~ 1!x8WF%⿣ 5aBLKY|*ƻ Ǜn Szd,m3ke5oe˕e1J m9-rRe l/c=e;EG]JXSj7'WSB5ј0 ЫvlX{i:%/BLլтU7uZaHiпU\Ccf\UA-vY  vg4ygT0jFf"p~=zu G[b3iXꘓ\/X`LD4hJvx m88hEifσceNWr*"EG!:q^: H2Q~kvfJ̲:u| L`>Z t JErS4cG[ٵ"T&ƽJf5cӣ.+#r:=Qf=# GE݊m7~C_H9ؽijS ZpR>\|!^Y;0Ҏ7*դj֦JK;AxT{oW? 90 igg2=f,>~_4q7(v O\ex e1; RNgYt1F܈V6{\<5z/G+bYu9 3q2VnR{]쬲g\6K!7PX JAjN*42En+\&3>g%%j`Qѩb?t%9S;C> dO XNu'J@XA}Fml?si_eAz:AfN !wUϑE~CGwn8N}[ ^#+[vs,iz8 n ;ZɤZ)#B%縇XzS~JJuJ Jwb;e(o4蒰٧2Sm`8P "0E<~GV]_kuQ0_ ~Y%L 43pTx,K,oy}uޚOp^|>^T$%n_:U~PMs$`xW!iY^kN6~XKs+栻3'b7^v':}.d2i>yݼ–VɵbRCބ9)ЇF.NDL9 @Œ/m;{ [b0d8ɓ@a;%|ODw|Q%ԣw7N_UVC.bP6HTENo'=vx[}Oڠ-;cw Zb hΣ9C<~H}Soٞ@ Xnwc@sW Q߽*:ed'D9Y>z7cyɕ/a`x%%wE;\.VɵgǥǁSph $f"ï<_ [@Yi^=f)η, @]QZ>PT|§W5O*u af]eژg.t)3Y%P`F.yny?y^vRc/3]!ǓwfͲ' |Q~{W7jDigcmd:au rho˛x;U ӊSV\ake@.UhJJX]&mWjXxY?赮yC&c{%Π&\1GXVH(zebצ:@tpz]Ɯp$N/dF, KQ7vfg#W+E]!q?uSlx:K;n * T ̈́$Y$gaKu^l|nNĆ7rHF=-vmR ׀_vgd*l #y~N?~T3 Iw:P")C")S{K2yyY۸qf%re2$׃X0cݲBMLUH6~?[+=jO !- -b;4J#F*, ;u*\n wU>^yvs y<,tر'#1- 7u#Oɻ+6A|)"Ai{Wo#~p،,61a]uW.dah]0@ (-gEd%Pi,<_/0Ϳmg9f[ HW.AGk7szI?,W@BxYYaZ&7{Jf,@ Y"6MSw2H@!r)qd220I`Ʈ:om%3TP%i͍;ލDz}6x8l?7<,  s:folԮ*T44 ℔Ok.8nO\QY)v)g/8fia ƲZguZk6 uڐ9ltc_fAzeWgၫvS̬9ZaUO%;2ΧӉm `HqYma wQ\l<ߐ}([{chH/|ЦR>ݟ04ɕI7 ap@ZLmӠ~q2rQyd-]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<59:jC^r\wx~N Hk4 wMUE^0C8ƶ酕d7itZ s# 㛴7 -$|R$IH+Np-v|>ZY@x6:ZUGo-1T`2,fԯv8S"Y ε&к*% m(dۿ}f 'KI};%vxwI>@=c&6AD}i>a EV+~W/H;apǩeB#ICP%0y40e'ma(ϣ?8aG YYPD 5Gi {Vwm vq2k]3A RqKB"GG+PҫÅ>(o`~~P{ͅl4WW+Q[;cVxNel$ m\. >&G3=$7֧Fh z;,`- @H0"&0pPN[{lgo/R1ԭa+'#zLn2 o ]PoH}D$.O{ac*bN_J%2?IA [KwW)A~{nB(j4I~WRb27 2G*Ι$J#]h280C܊tz-=u *'H;'{ǍZ<:+ 8ZPyG2E;%!+3"3KUo/sxVNhXc(u䭢LصqNp\0$4o Yዥ;6$:i<S-U_t ge<0׸?E_F!gp9h q|3DlLURUݕD~D.1qܙ 9ԗaDO{S46-C@P kh6ֳ &pSjem{uz7Uq%-j1@> o'ē$ŷ4V(>E(G"Ft˔$ k.zt*:%7b|f:WZM*J@S D >z MT-#htuti,h)(Ͽ 0NBP9#'-͆Z✰;oG{Btjv;*0$ĪyX:19y ⪔,*MChUŘ.toW}$z.`L69NkUȗAXףxKz7c#R B^a83 "iF;mX#,8.Az!_Yu%csT1* p;A]ͫ##Ё9Fr}P~ՇpD(*YhDy nmh[Aq"B!NP]% 8O xVF7&ZRZyhWS:1)|7 r`GPsY7c]N(H:߿Qg-K4bo%LĢ,{'qC&rbQZDP\Ε┐ o>$ np|{]evxȻ̩OQ}1.i}وL 5W0Y**uӒ ef4%bf9}da!x(dx͔nIsѥБ# 2C<,1kԱJuP͊/t[Ah0>28Y t#:oFE2M="4hΧ`1"'糫kW0#JFʐr0&T !~L(XoHߡ u`hA>(g4Et% Lz^nnYUWuE@'C I @3- X4Lp} OH6#!kqEB" D@.,jZnˠxǔ`$ TKR/r+?ߎ?f{z5H~"ݢv &(/["f(ۧl >n|ط"*fĴ_uSh"|^;͵U@PjmP I?I*D#3+,WM++tbD_ Ö$EDw1&&gZռ5tcc"H$7[Z@ 7o~0##mu7m]7}qoҶ\#~sv 1\ᩒؔC "R^xjL@a+ys˾PP*0/!ϡF YѶ[ #;]- J 830:|]}QjȰ΁S KaM" NL'ȕO)M6~ <,ydk1̲A,5#"8?Fm}|< 7eͳO!Z0JwtG_ U6ݘŶۅA 5JQl?ٵ dU2UjfR'p}Tmu};~Rʰx& zۗ,{/aAld}}1= elb$`bUK<ª&k7u:]4-lqtLP%M3z;\ltdO #<z=33~ݞx\up}IPȏ"KNuދIRF(H vS ؄n 6qdEh>-:n) FRgO,{ ߹̇myqJ^ [Igsuk;m2~;b-QΩn'$ BUYN },мWRU 7) )iu~fJ oG%eZv( [;N+)zt:H?:Z} ^7"%s. !PoV*tt5EtUÁ(fwQsI)c`hp]=2}Cg1Q8NЎҭ`\ @\H~9͢UOy5U7b<&cEy4iyU؜maX2޴ȻRn0EIubj=|EZ@hF 0?D}'!5h{9H߾չ`g<-3"jf\f_.@#yITERl;U \vK%T.EE3^a`ΜO0Ai"]g^0q,0 v*u##bڸ*2|<8[e֌>{_?=W |I0^>gm.A-Mx}=mxj/فPږ(wϑXuKhYvHXSp"V, M]^-~p}E?L{q ; bfQ:J g Sz֨#>h w㴲;%~ c x ow?͕5,y$8N{BOeCpz8YYϪ[fIaR?ԫvS0"֝Q=)A_Ʋ&X aH%㌕ [kKѺO^Cm&ԜÐv>sw(^YOcyv"tW|3bNO2z&sl"Iz/1̐NSw3t03Ty 8^,NîScnV %0T([syÐڹ^zh>J3GqG!vE#ŭj{յ5’zXm|OFo@ ,'}dQ'QzeLYqKmT媡iY'_r>^l/Oأ#&T.†sq.0_Yk]R8"@>uOl TzڝԢDT +Q ~T?$~j'`~8#Ŗ Ac*:=V鱚%}+ A@AZxǞ>4"GCOʤ! /w{Q1~9뒯e]crf)Ÿ{W^o,~ئ#Eh狑V!%C7U5k4Jm#ZπcTcHC RA10u3=bAA$x)a}o3ׯ_$ &n"}A6yE1芉D%Ecj Vǰmj"wFeB*@18Ze=ϣ=+ǂHmET"FQ l!I3V$J~PV!Q/Dq鮦ŚUX@Xc:D^]P%)VywYd.ێd0]wbD$p>8=i{\F>ӶͼK.<.^gkw-9lܝ.J+ ЕZkurޚ{7Sūj2E/ݰ?I,~lߕ"H׊FC`pV`YзP;^p'X4H` v>EjWt@`Q߿30(i8O@"m5?GWAsad=$[T Å\:%~UsqbCs9DhuqW;Y*0 *bw3ٴ nuWcҕ5w#QAUZ)W#3B^T; R!h->FH.Fؖ0jӈx+-ɘ7|b_i4HRJ-2¨मGi{RU.?u6Hj+|{Cjq %̺u,Dr#0лuǂT^:~H~j"޽1 []S'?\?RUv=lPr~/ < ş}Qoh,lAƂ?2(W0PD$t a-ЃCޑbf0Lf@Ӂy9~KTU'[~m[J}E\B5_G(KtHȈ͏ "$_BɮFLГ=x@^i9=KڇCB76`8 lO[9ɉצ{'ql!?!iUF[wBK ?]=u I☏ L ~r9uIgOw #HeׂņTaMx(PJ-I5Rgج Η" I>^ $C-g/E-+2wGߵ̇4gu24=I XR(Doi&hpZU$?\{* @"TuKFnyS*s]w>ⱁ,6)B.}s8E ڝ Lۤi|G6)'2d6>s]BQ [7R3F;&Pph{ϛJm)x9kDQA7ʾm1;tU`Bpt ^nn^Mַ߯S-!M&fxp}:_)71 i ;QL*`,zt $ F}BjX%Ogf$Ea.)#~Y!^+7ш^1ތK ?A3"%^*JI 96)Fttbd^Vp\pQ%Cʫ,ƫvG`%GۗGڀʅj/4EsQZE pwiA p$f6l==$sOͨG>DYcvCTpX[|U52AUՂUufcp1rJAxWnoWԦ~ENy5t8l* ϐ6[zNg5{*w`es҆Z03"܌"XЂ hJ;0C͚zU2^3m/ H@j3,S{xO2 X{]c/omw·=ުZN%m$yE("L H.-ܝ1?[/sE &GҧRPޙ6[ 9vtdEUf{;Cf G*= CbXbuXb lt܁I*uZ￉[*j6(vyl}B7R}S:e|4"+a99\ UK)QSIGLSAk;r'YNa-^|bV! IuVbL}>ebbvSR]5q.pHƏXif\پݐ4uO8M>Û [vO+Έo8Wn  TBq֮nL.K:Z9kRnL0!47thGŘTp<{pg/4wYޝH'b%dQǠ gyp &fGm1nU3V+j-+4Dqq?[{ɨ]:{oSD,Xn;V 7u0bܩ3^ % ތp02+Fiɾ6e!=sPPQYuVUAΉKN3pl8iHNC[k3:C^?mɽ v| xCGOW8gQ/I=Ӻ`?wSsE6 p \ [E kh&l_QN=n TBDam93qL#hTut6ޙD}. ;PFJ%qU~\ 8x=30k4ƫīZ;|hGEc2hOeVYJt-HdrsF@ӄTU6E14uQZW Ҥ^F+OۺCR$^$ɮŽuI닩EK>R7az*C8_Ƌ_gE $ vD?L ]4 vk"2wxPލd`?h/?a>)z}`D }Ʀҥ6LJs5!=f[U̲ '*2iVUHbnm C g8DsKV;"F 3m }0,nk$;eyL$w1ǿM 'o16ݟ4$L]pOeF!MJ9 b%vi Mv8N A^Lկ@ϔ=pu*CB6tBA}|cXz\U 0la X2u9*KA?0ڦޑJ֠sGrAQwN`vω<8 3 SldX~1#@;8;mQ93{iC͹2qdƚzj'UQ#1gɂFa\DD'/}( 4헇$8^ԑG$3§k^`Bsn|m?J$N^dSn?2&VIKٸl,S倌ޟG)%z} Lk)&gZʵ(%JS+/y-;0AEIߋёCe^d-5pBބX>3u%gbHCj,P~cnlDez;Jd\0I0M m`.muH{ƈHYK ݡ0=ˈDʿow&2Ǎ[;sM6RNTw^ f3˻MȇZNs4 [i46`{ vy:7U79gbE#;k #/1.7WiU(C}KN)AI ]Tc-JDJc,Sන✻1!pA!y ΰwQ `f5r}[(^2483WӎCƲW͟a Z3*O^tOE\9> &/)˭;=& ɸ6YTNɊ`%&u8xL d{b@`01S>Evd܃I@<<^?4^ל^Cu]5U J_;U:.{쎣w~֦Ǎ / 2 *AU\-m)| es i~{䮍U䌟SRJM.?\j7Uo! Ԫ -$W3mS{"q/lbSf/XI X4ZR5f= \)#Ki2gHd<xHkmCXDu%څ?"tGL+J#>YQkƫe¬O['xr#() "|+wOp=.4M0PwWلeXﴥ)0[ʳʹ^ 5UƟet߂-va{ysџ&➥I4\x`m !,(AI~_ OGQOv gFIe4J6dpc4;_tf/$8!1JNWHXw4ϼ7@ޠx(vANS~VVVʹu5S\-2WNA5MK qzwyӛT(t[F\k@\)~Jm,f*"d/dAL27ˍ05hy{>tiȿHK+o9 ω>x'd|H9d\@c^e Z>{3TNXҬm:qDN)k C[t[ZC`e9|]8WIvҕ|k,b5ʎ| \&8&[){*H%RtvNo=+;xrݝҹKx-?hj`U $o7C{2wHȯ %pY?G xae02D Ө 8 "B_z~U}pPTיZNPRekv Yj ڒEb?]Ųz8/5,KF/I{n9}4 ХlRԠ\7Jk6 3>ck >؝x7:2ˉc^K,XZv\Z/ڌ%THp(.qUKlS!o{Vv-aS{[-@x I{^^"]v%[ԟec^+&XSŧ\qPqQk^'^q)WpR! %2[i燬dO w̬ T;eVg{ Ki!;4Q5nb[E?AݖC@<\+S 8Ɛ^ȑDvVW5|!QHNzDyM6:Q(WHabڳS !B˜SD-~jpI.v) I|K^sHS[^Io(2:*򐠚a+Hz'mhwyXiQK h-U,o*F^˻%Db@qaǛGc<_!#VI#"Չƽu!>a.q3'HC jw>F?#Ұg9es4G<<.aXg8m7so{PB)=ab>uj$miT~:ca8Fu*U|z/v+]x|eC #T`|ƖNT;?#5i?NiwR-{΁IH#E 8ᬋGizPhTW+QϴgY;{㴌;SSXر%ꠏ ǟ ѩI.J~v}e1Z?xNb1V`T2#q UFV{aE%Aac:|$כý"(3 ɒPBЅ Z [KAh*oZ@~8«c8FO 枋&Zh RUM(SF ="cS ,V$b@'%bɽϫX0aBmQaC Ok7?y)qSBdJ蟪*6PE$l \6dmHy-- K̓^Ss&@7(s ,CD٢m'f&k .H4% 1=N(uu:)ɵ£kd(.ޅfq֜/yO"w{ }*K|yaFj-d"̿ nmg՝. ?$' }+ZK,/vV qqV&P=ӌ%F탂~dOt敨_Q Cr g>F՘K?f[ո$oD2Y4sm?NU ,%YEkb.1rtHub4ɮJks-B4 VKN j1Ld AJ l8/[Lՙp|t55[¢Ͱc -ǝj5KUjoLmգ-N>A>]; '`w!ߓ޳k` IHi$ai Iߓ{/A 4^D?DCi+'J Pc.F +!t߷X5aU茲*A<3]lV%InF\㨾jA6- [8QxBVzM 2b.Ko_cv `Y~X ȃ Vd[9x)Ӑ]SPMԩw .n慌et~"0,;۝D~vYܦ:鋭&v9A?AZ.RmكO]kR%pgl/+48d-F #YQyL੯UJyVX+ rM|f3{ވ,_7K]$GਙrOvoE" vFlpN;_ŝaBmn;„δY>5bpNjJ С0{oY!bLi9 eeӴxXO a0u[|rDwC[8QȄzቜvfU=N7mCȖS%[x̿+;a;J`S~> _drվr͐K=~|3⟲]j1ae Qqem%A!/8d䠲ڌdgyS{%78rwr*דEb;]F -ǘ@JLq:3 9A;U#c!Dp^?- WI*Xh$篈UΜOTz/ .o7I쎸68$v3|4\̂6-@1=̆VEW~  ɪT_I!+NIn‹6ק\cJzeC(͡žJu))rDl;(d̝P6@kV&O :e*Z+9:ކ1[׭bo?pf)l(HC4{%!L5hʎڧFSVF"%Dϧ]:!PoYi;.۸\S@xQR =[m&O6h{&l6;?"Xؘn=Vf%*w4l4 2#2h?N{";+x|]ʤ11P{ 8AJZJHnKZħ3IO-~Gr~*OLK_ţS\ v$]l&K@ʀSH0 3r@`%?T%_PС.b'LlskUai;r3}[<Rr2c")dXM]F3U߉< EZ1ҷzGZ$&j 깪;lhpH턅2yWSމ{ﻮ)[] ؎*(ܶV]Dʀ>7G[$h*d]/ďiAi-e!W_"EpE)3CLT6sR$n:)!bF۟P9T)LwaO+8Uhi4y8p?3?^K'5AЮ̰Mqṁs{v>-6wW$: f;ni^3&NԈ<]J[KJO4К⣥#st(H?, <HՈWTgVRE.K_YJ̑lu)vՎ, `ၼwKVk>ttnԶXhMsn84 @Q?2m{ΣCQ}*8~ʢr+:{c5aޛmaWw = }2qium}[;N,1Z-q^KLV5M]P1C=r!0pFY}kWP12n‡Z%^z3>eϒ% .'[ Ki%OfW9ɍ{=^{9T3)j+wX]e#AX#% 1aDc >C@6^Sc+}"f lmMY h,ZJkUY_5F"Z| -Q"{af7Q}݇" \:ۖإAAz ldNAa1,w^=hk_ K9aw1|i!dG)yp'6]$?dC/&n)S%)ϞHE&tAᗗGjxZӻo1bP )i!p{d-+m^>&nXǯ ړ* {hϏ4 IHz&aIj70!2OUp9z~I&8[O %hE<=o>]^z 9e]tרn[ 7e:r"ԣ= KDb:`WѴC<DK]oO:ǫfR:咨wWŗ;~)Al)"0"դNqIgyNyy_ߍ79|\kB=G߬SbWa*ƨ7i;,ٟ":"-Mw~_IЈM*\_ڼe3Gc P=P4Hbت sg0ms$:+'="0$ E{FbU ~/q9p+n~lDY3a(O7~aS?C'#y Ĕ N,%~_&FC-6MRq>&yןPIJ8L`zZ P%H{8xb+[`OС d_b+PCȼ $XRY 8!?h'({lP]IRhm/;E=1ߨ5TI{Ou%.xMQq4ĊyZH^#g&c_ 85q1CAS} 5W~YX__g(DCBe(MGn,@xB=B#r>۠W3q}|# 'b'd&..N#sT֧o7.~A6ֽDqkM]{Aߎb[¬3:SiBCC89"^(EP Gx7Y\_3|=ÛJ0#ώ=k,`TgCQ(:޶PO>qxd r=E`SVS[r _˖Uh8z£/tm/{~oO;4k^pNHևXbV=Oqf ~ky|{7_Gu+p^Mq2tQjhrVqE/>0OAމN6Jb l/e$ڔhIN^ N#ڎ *KOai&JtL(C~͋7<uSՉGAZ$Đ$IJgYZ f 'E% \HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup27zXZִF! J]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<59;U(\+j@뛭%ߥ]& @Ioa.ρ2%v]EP nme*XTk$ڻAbi_|d L MB''M]#D}  "m|1b U`Ԛa!XI*% UƏLԄ Zl惱En5s }V_8f/́_(U}w2Z; )/Sh/:3A.8ۏp>δSZx?37u-aSX7 a%P]C/NdgS74AKzQ'Ȑ(xiepC|I-UѴdU{Q\)} /lηq]Rc쒴IcydԡI*[{fKQ#פ[WUf?猅\PvdK*֎I |@Y7>.ߩ'0Ajʵ$m|>b5bN(T>=R ZWܬԋ1(XGWϸwm9GO~ ,$& Pt{&cWDZuLTZjP+_gJPPsg:`/ )d{r<E ãVD.733 SUh ^`xEfUjHx&`%pPmʚ5I-+QU+2C(n,z\Ic$?dcɸ9|:*R+79LKyq9 F,uBU0a={(Uy~Ï5x 9^ .! ERt&X 4m⏖_ף %݇xS6ͮXbVsq~*.3:)SQ"Ch~^(TӊoE·itE<~o!6Qay$,p\,%@X[Gjݞ7AaNF$:ѝ"$+~,t7hoýЃ!?mIjBZ$9rBr2pa k7rWHq#P,@$/GxYMK(?|3o2J,Slp}T:߶ c +i3j(^#C,}ozuPWAAF%J:+ bH]7?&w$EkCJgcN-u{'AK FL LNB+ pzAªd^LM0P!&zOzz ݶ-^Haɿo?g)-K}go8d ૱r7UoӉrQ"C\MZ"^[Vda h#,h_\4KiE2YO_LMVnx9e\s9ʲcF 'n,;2/&r>],$rbJu B¾ҽV#]$7)Vjg.YT j]2JL`?jחNTPΩ$ҫzaL>k6x9:t3,0AjcuIb@M\i?= 48S: wUNt(,erZj,JĈ0@r%*u<"7֡iXڳ.yhӱ`۝O5YAq-=o7ց.BsC坏;3z?iGJa=Y1)S" Ka6gTs1)uǣ347+Bh[v"8mB|1QxI{zQk%K0,g[<:"b(F-t؟{`V5~t/O y3hA f9V~a -u<ǹhZ?Jx'=4o='-|B~c-UDR1x(lHNYPIz+OqE'ubW跾kㅦ1bD;_e>U5W? {L]*rs7/w:y#*+%a:Άy=rOT;[3?LC| & uu 'E# $HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup7zXZִF! a ]:F.&xt9q^ +1%##7B l}h)* v7kͻya=<i,ʪ5V\0ڣׯ}l0a7{V`]x{N=47bNwNWX\-3g9VvpX9yFu#YJ륔f'G15 9N(;CU\v2 =28nQ<sKYka}Jٜ1ʯdRCȋO=U8=3>K?_hX0hi-@MCt}"{z'V{;2HV2=!gRLQ@o>g4*Yjӥ6]ksu:[f F?Wg DMwop֎g՞KQn7Rm =-bT#;rB&w\+sܑ>?GrIw/7=me(D3*E'9pU@Kb/\ڐ%MV }@Z5X(WU9srD%p5ڨkGRAָMZ.(ܐ#!M5fkD;)LF`RNTٹnL1A!A=5SɵFo2(h25mES|h&*`~$kW#;(erx: G5(Ѽ=aT5OnQi?tK=؄:s- _. ! Ykd8&і0Z'8K\tvo!`;_dli)3xV`f_pewc29؞| F#h"v0Sƌ(KЈS{|ȱ6J ]v΅zLɺ=pPԂ8D0ܸ +6'.CA JNuҭ@ %OXb}.e nkjfg?ń&d %TN>1C!eg8cq΋+wڹUx>p?`pD}(!$48!PPϏ/m[-+AvxMrɥ J9Qʖ QGZbwеᛢM.|/FNŞ)g"g߶% H82VǞ,Sy}"Z4+]HFTˣxFrp%,g,ETSaoK| 9q =4js+SVp_8qkyqS ~B ;1{?E *'Z3B GeK,Ft} d+6E?] .{A͓>بAHn=+ um>=W.'?Xڄ e5{bLJ0?mBHWUJe⻝^_+b {>oE(Ϝ^H.^xm`Wi_,~翮Zu mZ>;Nq7 7P3Hw*OwS쒫:I$n S$.YSU!)v0$b!ŁP}uв~.Qfh?ɼQ-Vy7x/]@ z>8h[+?aE{#CA`ᓊ;(W %V=5$F aj4=VYlPv$.{J[B/(a)\&e&_BkBFzI3n+ϣ_X6ӂ*[b-0M7,En84Ө>p^OpgjVdbSI(E=5.fo95r[rC-:L ܝzvG<{i+IQ>mu,(O@2XFVrgYZ ww 'E' HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/messages7zXZִF! j7]Άxʆ5.f-9 rq9m+0`YRoHO]x-2fu|`,,Ϭ%1~-ȕo>MAryDV/>Э0i&LͤF {U"ڳ|J2l͵6J:D ȓrmJ̒jjafwQZta.JĤ.OU17^Լ$!Y)*ٲ\c,+Au=s)/1J Ǝ?RWap;K\ޤF"RXdAGrv \RR$'V%PϴMm )+ݒv:ad̝0 <"c>;ؚ7?'\ rO!Á$kJr@15We=5Z*'I9jt'3p d=~q<< sm59CAq$ 6s?PI8H5dh5 ?G8ur)Y\meQޥXcKʅ1)> :F$Şb@`IZwIr^:gsrc/6mpM?~)\3X{un;i۹p L Uz6$$7{ Srʀ/pdͣ& jÀFR ?;m) ˄hl(-)+l- {B3"$e*XL;VХ>5T팊;3 >2zl ooiřWDX-4{;D]*q>:խwU-l 1}Ϊ[^k W hl5Á f}lSVSC-n yAwxpG= ^7.Ȳ=. t2)KAD!"^3k)8$.ڢ-Atfw%z`X }(ݺ$q Vї ɻ˖rr&9/GB;QŞ)g˔ 4E+  ~Pbf]Ns'[{JV>E&c&-浬"m W%1봼H؜Kx|iA> HTH* *ս(jHO9gț\_ }TZ)F,g^Cσ|14SW CSs"=]?L>(T6 IKH+F\{ Ԧr9=w nKB)'Ͼl;Lu?&ԝy~X::y8k>N]ʳ~^ r' fY vm##9JAS ,5@pg(m QzT.^3'ꐮ0E@0*A9U[b%x>Z`kC O_=Ph0ONw7lʈ_b6W[ sgGK~ M 0D nRrU^^G !{<.?X).󵵱gYZ