SQLite format 3@ A .;  B --?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   it| ]/]Nominal2:threads=4elapsed=23.168cpu=87.368gc=4.1167zXZִF! 0]ŗXiɟO}M:; Auܛ@{w6hxJ< ܳ):lkR7酴FTΥMJgI'76mr|jƶ<#+Jf?L 8o;EI>+&B՜;NkQ2/im87IekV;~0= tIaik\(!<5 %F?qbs& NCXRS.:u (&mrDk>6uk˒1\o5?O ]K}Ŏu?Gv1F$zӍgU㓍32;g/UXi)5ߏ9D?5`%pPOgc.U^;`y0s!'Yb<~[$ 07T}ITxX^-Ks(:IW%+vIa u Q d஭.q ~lXr%)+S|cg6fH Z@gV4osBQk^ ^BJR,]v伶TP^ZNXѩ2#44Ow^VZlJdpۗ'iaa&hG˧M?P`!W.|_^ĵ=*svFLJhW5~CY8&1@grM$͏^{;l*_ւ%WNלߒ~P>81vT kbqw,oWOkT;@x4N~5RPFξ-arW8VKrm1Xݩk:DŽUb&XUXpx1q?t|ko4bI|&S2KZ ]= WI;KϙQALG[)env{4K)h>v*J(Uw?d]kM2sc?]];AD{K}.%}^6Z1gYʛM#Uq]K B9sT(S C TBK:JP_Xm_1NֲZ]m%WUˇsbcn͎_ qGSFn;A^Nd~Nz loj_oZ9 9 {WwK53`sMv+5OZZ7N HQ}v] h*ܪ5C!t?ˎ>.B xMŝЫ<"өPN3l ~g# fuXLYAR _-ywòN̹Sf@ |U @$7LI.Iu`.0#W+N%a\@쵆]9R|IXnsLj@2 2=fF D%7G_7 VҢ͔#h5Eݓ`vK!(Dk^ `)YѱgYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X15 K0P,o>Ed`JZ%gҬn̈́%z񎸖v%f5aR|(p׭v#8ű NN> ['Ve%dHj12+O):`㑾QQ,ؤ Ǻ<3T5"lnwujS WHn:NL0h> z@xb\ W*Rn^1ER A   Nominal2 2) -% Nominal2HOL-Library.FSetdocument.tex7zXZִF! kL;]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 10/.- , * ' #   ~ \ ( 4 W $ jR!.5%Nominal2HOL-Library.Multisetdocument.tex5C%Nominal2HOL-Library.Quotient_Optiondocument.tex''%Nominal2Nominal2.Eqvtdocument.tex5C%Nominal2HOL-Library.Quotient_Syntaxdocument.tex2=%Nominal2HOL-Library.Phantom_Typedocument.tex()%Nominal2Nominal2.Atomsdocument.tex2=%Nominal2HOL-Library.Quotient_Setdocument.tex6E%Nominal2HOL-Library.Quotient_Productdocument.tex2=%Nominal2HOL-Library.Cancellationdocument.tex 3?%Nominal2HOL-Library.Quotient_Listdocument.tex 2=%Nominal2HOL-Library.Old_Datatypedocument.tex 3?%Nominal2HOL-Library.Nat_Bijectiondocument.tex /7%Nominal2HOL-Library.Countabledocument.tex 2=%Nominal2HOL-Library.Infinite_Setdocument.tex/7%Nominal2Nominal2.Nominal2_FCBdocument.tex1;%Nominal2HOL-Library.Cardinalitydocument.tex09%Nominal2Nominal2.Nominal2_Basedocument.tex+/%Nominal2Nominal2.Nominal2document.tex''%Nominal2FinFun.FinFundocument.tex/7%Nominal2Nominal2.Nominal2_Absdocument.tex)-% Nominal2HOL-Library.FSetdocument.texm\y)A ft֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)re[? txB'ZCŘepZ] t _ ܢ, a=ʛؿ fzv2SCЩs;ˮK- Ә^$ &?OϺ=w @89RZu YHDq(~A3O`Zwb SWaC p-,X*J^F!j+`F6T\kY̳a )UjRqIX!MZs5DzJHfű[uq:Tֹ\PwHd#)/eXk_4V|Dzqºč)_[yN/.-HQ#s, τb'$wǩj֐UUDy[ҿ%#ebca@ /w v,|po P~dX_ h=bZv8NZVĠx$2|[Ng?hWd/^y,.d1-H"܏CCC ~XjhFx$0=e.:VYz/*[]82 EWSB{ȓؑFN~aFQ9OSX>PVAyAfi=u˗5Ы0UZS\RgWWZ]PUf(#L)$s}чaD$kҝ@|iS(/r>0ˊ4h&8WŻpj峑S # aA؋ ^Fg LWǂz븿6zo?8yVg9;> eXnۢwI i$pQACe ߕ2D|_aY荢qA=S$|ǚJ y; cǤK+AS?wD La(UWW ̀-$<Ωk@|'xf~Z2~JzèX'Nb،Dk2@NĖ1T5s]D^A&W$XlPȾ*cMˏ&?Kƪvl(p^!-ӂ{06"vReq\~}y̔c`4g0'L%>!3n+̲5񰓄]1HU~Uq#@㠭@8b\rVU vD@r2+ D%jW+FB]9^Tm2F؃RtT~aH2]4џqbsɦ: v P49o7crndfZ#?C)vyS[pjX5Ш'v1z}F *7@J0HUETx]7%A:1lnLp l G:ʯMN Uf_X>='Q"}5 CmAC"0DɓIl'RoļZ~ #|-tR;|sȨ|e5H57P D:^ ncpo]d&CS縁װXJPqƿyvz1@- tP=n|LgCbHʢCpKGMڊղڏŽNp0{,S0d]F|jjP?qs{zD._|Z h Y}͕]I7 )&b0U[*-]Ai*UK)f 'ީ/]V!)T )'В6 'RBG5px D:-.nap cޔ9/ ,vn`1]e_9Rĩe]N[T~[ l'B¿)s^6hY\`]o! <+FEbB)/zӬͳ-( 9N%Pׅi&˴WM؜dh';ǘ^Oޖa f7)1Q&IgMN)u+'ifTOzHEū40/i2{gTzaeSCEY2ݐķ1}d</ Q-hv"StuD aCG>Lil;p$ņgx&ripKJ߄ISdK  .HYITbIh,5)(*W?:|XۄN1>e_ָ,&6,F`&vfFp!"/$"S` 烈=/+KsZgdcR#Ŏ:H 9=Ku&@K>ISc1)OXzيo$SdN硧koPEj*g"Di=osC285)p~tEcdߺVfFM<SѣZ.e<}pQ6{bI1,Go{{ jʲw!̫^ť$?Ɨ%UOPRݼCFL)k?Fc"3NEE }P A] Q#] ϶t`ǜÔ`]zCԗ?X_MP@ jBec^T&*~%\VISɺ,P(s}F;.~ti4^'|kpTs:؜8h?. @7L~&uW{vV6zVdPFW0)gSD`"JOGB(&䏵d@I:k~$EhܔnɠȘD^dVQ4cIJe˽DArKs$,w.w[5"g-q솝8Hka[Q;d=QpPqR,?">r>#:]Rȇd=>p1vοukK/94+]lhG$ΔsBMc#x\sg[1aꋅnGѕռhy/GY,|=ȫ2Ŏ~V@pw6Wi֖M?N‡ >zzpBmu@CbUgTݾ#! ;[<ɿ X| Fp b)f `7q|CV!lj&qݥ:c KcO[l Z90ItlyNe^ergIO̕x' "d]T?HX~kw'lͤEMhل@L\@% k*Gz]eANܳiogjɛ/DsuOTV9*C̖'Fw&M2A!))pJHݨͅT-b/d*V|"ԿIIk=05bz҅6 ?[_d+ʤϔkbA6[hAսHK~W1ƾmgcd-1BY.~p\vAH}Y>cDW,J_2iNApO SѼ ,b"߭ zJYZb=JLǢ|yDmp?xI{.++J5oɘe+`M>b d8 rSF`_oco](@w+@KNp0 pPwd07GBG1H4KDl&}N:riA1v1gez6n0V;q*.Hb8-Uh |A`Gr}iE[-#0 ulO;=ٳk;{$Qv<ԢQEŧ`|C_D'D:`* uCk,+rQpч(AчSޘ/r {)G4!nC8O`ƵY)iJ{q)il> _Nwm"&14xe$Y (gM}r%_a(@xUX?u'Hy`L@I8.#nrez{R>${+94~]f0n9|;3_Z`fn"ʥ[Jj8–D6Pó9&+ZL=(r%dS4NʀWֺ=,КPU8n;ݢjm,BG$frq~_zD#>$??3]ٯ.'l5mnonFY6{`zijGJzw8IwW79b080p v|Wd&DUզ KYqP8Է_͔$Kc CL_s!MZZwޜJ;h ys?R>9nt!|CnyRl@\'-3)f HW6x1f riEF>^U.gT6^SSs@ lFTtBlabrWlcmxi^…O4!13:/OR9d*d6IX 7U[GA`+A@c`= şk|?3cV}6؃ĴЌY&rAqi a qT?uh~s(݃XFQ948mߡX6gedcdn Єbse QC"+Zh'5s`VkE/H*1Su4@L0uhXiXż6>@=OD) aPFO}}QPk2*/g; \VkxJoe5)gٶQຖbt@Z`AZ}TϠ >G ehutI'tUtNAcb^aFj~a=J:dX}\@ohZ-=}]L^D"n`>ń$. klwbβ L=7 H.ȉ:p/'vCRݶ]s6iL5b8~P*tۑ8.ROΊ%OޘҊ׳nC2Ch)-uQtcv>tC( vl; 3"2 ZnE'bE4nSzrV 5Yq^s1l %x"P \S[t?W%"TqW|Rw|.%Q#ENJ/P\:5tҊݬQmd#UOz.PwsSLZT |aWMHJaVۈ ~$g^nA WuP 6ɂ2=ٔ/(J71 < 6C ݨ5/./yVPGG.HCfaiH} ]޹=ρhhRcp1 (cVw{1OGB"'0 CaG<'WFVU jAR6YVԔ^kSjai{Gm z >-'΁v3C J3V`-pt%FJbk b-0.5^5QMӤQ8JȋDpt h'(9:l($f$-]|:V`x; `YqAROJ 3ß>IzaA@xLF\g%.Uݣv8{/-z%Ӎd_T1 lAY>/G;N4{3MXҦ$g#/1Q*)j&2_9:fd@*/BW{N0$ vS0w=E8N؂w2dSO^[VS`אYr!}4`lA fAA)D>=:˅:О`C6O ҮO)X>qiz*,Ro\hlt 'Mz(PLDU`tpgt*_#rK4٧A4:l:ɳ-BDX, m垞s*7㷨 !ڸպDHsIRH!>7M /@U7u+xڃyR 2<㄂a8M:-w04aqCiMa $h~]NfTGXTNB npxpS[Dn}Z#s@4Qbk)Kxq}..Źlcqc:}Z~G`Oj@MOaUaIKizϷ|v\d(;po(nq^A׽D-u9AW\д-KUzRƃn»`b!SL]Ei YDvK_0 r#vlG;UևnQ!$ t%$]q!K3U A`qd# ;"=-K3eP{4V"TD)05%hXmf&ީYX4nY&bk zw1=fH!YvDNcWnƟM;."߅탨wJ&f&Y DFc34=S|IooLI9x y}U*s)ˉAX费+ _| -.cGC=]ERU™GF^Ž uL3J"]ڹۄgʕu 5 4 6GG#xb@o!2#WUDU+NmKZ@ uYל)@-wfd rpQpg|a_kQVv6t\|h|FZyɻBR-L3% oiwDjoI hr1"'Ox-88x\ӭ7W59 ,C&kP-Cܣdz5h.;4ăX.*6*+4|o}ퟐ%F<*LBڮu.&J ˻Wwv* w-\ I^^ H33˷+rZv//3̭f,KՋu( snsW5.wr/?Mpkf=cVj:w}ŢTX+r$w&jzs=@o |TN% P9HR֟68\PZcz`ɲo ey_@~)fz qtm4PYneٿKP΅,b}j;0Us.:YF0K#vܶ%g10AM޷A} c*75 3v\g*ߍ$Z9 ܽW%9X^n iՁ萱TC2FJ XN`~ׯ*5Vv 8~@\MF׺V+l?,_\oHeɡ3FE:&%_U*ݨ{9 5Wx7ɀҌj)ܔ| MldQ*]+m&^{@i,t#p6ginѾ6ᖥ%~2=SxB ȣ~a7 tVk 8>>`xpW>[bqJBx4aw:OLcqO@rൌ&.Qq # )M`h!2 4y*S@ EBc#E֢Bb_Y2FE w|SW! CZ6,i %`m!sO/cRv}UQ߯ڑ6ى Džxmp8mI\p]n 6FO¨ʋăQhc5979dqt90hf"NI ">pΥYwýY-쳸HCݤE& rvA*(EygCSMS6(mg_pC# =$Y^3e3!Afh]epi/jt7~'3GS-+_^̯Nk>Plג?"Ũ0hl?A 듙& jA7L BRC⵬~>B D[G÷C\;K5 ڎ- VKI)ҪCRB縀t4qhS GR]]^  L/h}VO9Ah} & #P+C^\٫z` oA[SnBDYID⚢M̜K m?y@ѽ)ؘNT, D9/8؟*(D5>Swչ,QEy?뢠S_?],pYx T~!~R·WDw.AF Q|Z`3Fө&*NIϬ<6'2Ͳh u>e<9SU^vAc&FLE~4ԍP5{jRTVhM>ޝt=y %<{u&1&ss֭4-eZzt 1n=nf$MtXQ h C&=@h2 M~St 8|'bZ|YO^5n:>N!\Ktt3GUuyteV] xȐT,YE1柰3)9֞uqP}yΡɃ퇚cz;pKLo*?Y)0}A2I'6kMuSP*oj *38d=-k;Hk+,z&ds^mC#uaCVcz#^ӶgSi+-/joUx.[ö:&.SqID+iB#=t('Aq9_HkEًKmX.ў?x8robL.Jf:aXE.qFBC9`X8]W3)xNVj/ʜʵ/ ,Uܑ! "7Ne _8oI>[r$2_F|u9BDKX% gBNtaT~W5go翿\@  ]~id^5RN0@\^!4aU ?[~&< wU=b| }F݀f8ǥmcCPw*:bG;IwV*, ^9$cTdRCɍ&צ4[ɑjnF^.dmIt΄*{ ^$La Rn 2)2s֢-!Ww#.fvTC \1K\ <<&چ+ͳ.<:IO{,/;1 ;Ky$ OЌ'a"HAVb'5HIv+D)Ш{zOl#f`qÛDqR1KavX=fizg\dF>){YlzKS :=;]o?[ՃE8S.4P?|5.a6 6(}eϷK90$:5yB[AjdqJuN8,JΏ*3r PlnOV9dc:#Y4N nڎl^n^>Uי05!4iUPuÂ|E7vWW{%^$$GHEXsAO+d}j^8,^C$ȃ+.Q5 fwZ9kp鿔xBA؉@5Pޜm747\;VcPmTqS`W=-9Uj=ۀTO8OLEXvJ#-1h&A?*.z-4fLm2v߲*,`5T79V XbFZİj~1?<5,@(iJsL /m/{L8LFi6 n//6uV@{"$[/ ،4?Vtxt[.y3l}9toBԃ 畫G{ٜaQى6W5"Ȁ=BvUO%ìӘі 2k裒#jŕ+ *; xD=8:dRR:ʆ_fF6tWàQ#UO_SoC!{(g"t-dw:GmFҧ덐>l| hDt`< :5kwX˾*33t= qZ1p߭|kj]JGҘYvLIV٠sJ]A W݌i۵7x>ư]f I}-}*q* %tz6۸$_m({5@6ل^hƺ{\5Ѳs]^* XUGv9luNӤp0kLmԗ﮺Ҳ³)\1-MG~׉VKSZg|>7ٜqlb+έ Zfq.eئ s7ٳ!c.](AElSǡ9 ڹwJ >Ls[YlM-%͓k)[gڡ^)#Bz1W8B &-7Z_Dt~7o -ĕӈk?dD@X$Q?kL> >զrs;J3Y넼S$Xh~t^ ɉ&8;>~414 ~Ɵ e_A:O,u|mZA'NpR`#p<3QFDɸYU52^G aBt,~%7}$à2.XP. P"4ybՌ:kcʻT 2~>2O Ulx; KV*h7B4ՠLg GuLEg"jɍ߫oZT.Ddw&;Y- Hׅƽ4 |5 ]ʀ{0}+MCw4_#Z%!ʵH^Pd EpTw;peQ;JP<5Ml S1ܜ\=v^,Ӧ# &J"wD%AYy`3gqD_A,`vP¹{Q0tNU,Gt~=wd_\T9egKEyyj%;3~V~_Y,dH@3ڻ #+"7v$i ݗFd(ԐQqsKry5LҔ]*=a H$lsž혽Ñ!Wm pѱ) $Mi!U(SM*dɺyX>+ ̣4Dh"xʥc.X1 wlMEq-x`=^IjSxǒ," p5|x8QF+:ߚ^6^m4\PJSrN%Kesrs q.E穅&N] #6L&9c^JQUt>3i9] ]7O&@ߩ`l׳_9)~ I;L!" եoHĠcZ,305kͤDS; v m Cmn7 ʈ:Stt/c+Fp- YU ߨ}cȣ[(%|4>zVnπ9,BW!4b_ĎځAA5M5XLBJgwk| b/\>#F4ԹAe0]tsqD l:dۥO`E 5~f"jH ;lj?MA;G%DoPte(!Re?Dn?ÙpϹ_oBA\.+ВѺ}YWO Cs!PXGr qy j6`0JoaFNE6Ruh OEm òzׯQĿ`dvBH'/ہrdxu穃J4dSB0*8V}1 :\+IRL͸.Vײ-۹69}ѯqrU<5 Т b@a.TcCEhypy'Zq"0I"ftSu$ՀI3:rJp`|2OCھVtIL0]F;avR@GTʯ"Fk!~deO\ pZ#zkt`5MKx5$z XIθƜ|b9feFt+(nѦ7|r2dqof)Ƥt8em0DP1:Y!f\|K}58^a{O Xl5=l?<~2J9t=[+܋p02h(ukj <ώY| #.VRGZސasOPOeO䛌L!W^kr=VS}(x\K _YN?8<l= +$ceh5j&ۛ~. ?|"eud}W "IB 7C6Z5O`-j>{*YR1DֳT- 1y$iR="@D@x|[MTūÎ\qxj!T}+hZcjH= vw|FLڶbWˮk+M7QoiY;:$51"ItjKL ָfb"꫃Da!{Yg<tpSO%?g>c<` , EnKGsKf[y+&q(jgp.|)żbJ =DEn )>Lqc8 q*|7Ԡ6C=bj P(3?]`O;l^;/sA/#CQb~ P7K:r%~"\lvBرd"Iw"M7hQj:a`k9P44}vrIߐc;`Yj5~0o(M&Oj#զ~0M&1~K8x4@f{ pkl =;jr]!FY]`plq?B|Z`GHSv(CT`6/2k^j4y[JVYqjrm~LJ`$8gn<{?rǷck`2 sΆ/b.Zكt4U(,בc7 'r GQ<R?`A(-Ѥ1'Y%;M#":A/w hhٖz! 9**<*+hU nGC )#]]99{rC"+x1 GEEx%S"3F2lrFMf"ZQnV_f XVơ{,%Ĉޛ`_"h[i+bjL;zxKhKN(₆ޅ s  #nf7|݋˫AN3 άL"OҦ@Qbc^k< R9<[T藶h_A6%Z׻]JP8u='_h7T;v70{& *ɚ/6lj NkU#"pg\_7)thԂ *ч Zqc($kw@6@4*'ުEJPBy'5qO=Kwgwz h_{"R5XAy MooV,sG(Rs!%gxK.8\׎Nts; I<ޮqctɉ`; h'd~mFWH%W.'3$[J/%]$7H /Yn"7*8?];$& k3jM_lh7H,X n<2Ueo7X> -#ǎTE4*F2{f(_/R8恼J,* ^ @vp)-)96L.GV9_h1 5H]ItO{6256#vbΖg8}jfʼneexIP0>67y3z^$ƺ?tv #1,o7jye&f+KKgkoT)h9lG =?i^?*_a~ƏPP SPrDnS!(>%_,Z5/G4\o / n0Bdo/2#.zRY!`O̸ݞm3MEC|&ܠ%A#VO-ꔂ2n!x0_x3j{n,0s}BeԟҞJŕ-ޣXW]U)YS92S2W($MDoFa}-N; R![|a/e8 AǐU5t>QÇF|$SRtc_#G;`"8ZV\p7 T Q4PXɗES[T3x<un/}?&\oxBoi3.MSD!C)w%lVKQnkpaTԫ!o`z' ǙPY0>}ΙWnBrU!{;0mo=,zɛ2[gi%3}m HS}2+`nNԚ| 8wfF]W 2ɽ$z1Õ~a׳(ײ8 K}nk4o]Rɳ4]ٌE+eU-^,myE4tAJ^*օC;QUP&f.P[dI&f`yQU> dx3cBQ-#SQqT(cx eS;.,E& Q&ɾm(K8 ˡ2e!VVȈ>H1:xqL:[)'Y[O\u: O]7iEj*iy*j(V]'ɫ"2ٙB5Xh|vs])Jt5)%>aUE'&}[΍?@"x@ש Ktqwa 8xy,ˍ].oԻgc&x=۳ >4[EQӲd֣Y^$D~F89%>Y|!Xݘrr|#Z3։8jv'v8rIt/a;P=hқPr&а1i)%Iߨe'"v݄E 䭙:gQ:NNe5$/4wtTыEH1# ]WmfK~^nNūt6f7Wp@RhP H)/5. ׻:@գ2-M=jyJgV=GcPTk.*QAAx''s#/*,,)-Z[R2}ދ(t (hNvdd: q47٠8BC`np[8s[XTQAk;1EH?h|]R)-CX*:X?E6oX2i"-chw 8 3SAULIj3cMv5Bgf2pX{$|.<7ere?*,JA1_]hIx${p@}?V,XZDXG5 P%ѱXe)u-[@}rS7{l*fѩ̃|ϩ+Us@F }һus.P؎M7;s$ʼ|4XDH+/Lj;2d+`p9G/PXP<#̋ǭ\kPؤ̦0:Κ@mlJj2>zdLWE[[Z> r)eJS0Rt:aFE=9nH6ziV"0TL9{՘Mfe3fDj~qe. A[H|E7xr_U:LlL=dȨ|H. +-x)ozP /9 ZdK.\tj.!Hu_0Ow <&$ЬW/@ m: deߓ+E2 d'՜]Ƀ) КM{ވtl-*)A*"G"坪F|c{,Zl G:^|6,xkuwVDqgƽgvI-35g:1ɏt8.YNKuLWNDpR}&T:qFlF.`kdww\k:޼T#hfUpLŭsr B.iS&J9>lb)Zz5^un aϥw2&9 H_k+ (V1rtt4_|A$BATW! $T1\䏰<>WdVDc>d=u QaӠ@pdv0zPBuZ*ߟI|x{?J\gKRmQtk egj*~׋64yb^; K(oﻠ9(sG^y.9N0۴%1 |-efjE␯Y)\ְ܉Yﯙ؋n@3%`J1 hZK|&p.X"=ֲEL{{8Oc~d 5K|3L.Q30!L3a-cHfujZTIWM?(4 W R)Q Ё.?1i4A$+C\ؙJzHoʇH#.ppuI)~EUGJ Np!j[.Gȶ۾hۖ7bOJڴwazODŽ1Ý͛ s-=u)wq̑Uf04 iOrM?_'$+A6MVʹ@%;S>_w`'mpJwR Vlhè3,xk 4ͮY &h7ߚU#ga,ৰ!塗XvzTu OԤ'$ ,"Li:vaXxM11sB}aZ Ǘ|dMz^Y5V 6hKH+d |sr%bǕFJ4Ef.ܘ12VHq,X 1Ti82;Q+T51$Q.,uG6V{p@}b>1FGD$8684dɻ e79tjW8 x϶-ۇȑԃ]}gXݰ60 !r'`(TuxKcK*m *KjڨQQIE^k}XsbGEAJÓd/Ҙ*w tK`<>3cpHCv0 aLt)O`=7% Ivvޫ^6,w0d]Ixr$uydʺj!&Yf+B*Ih%7PսwtYCeޭ.8s k>|㛛)eS@\;y6@^^z[YoڤY}YMvc(jxTi:? 2j)'78`HS6#7`pthK#]NJO .| IYwtE `'WB2Johw}!hg!׋gLIV׆)bQ,1m^cd2E Cޕ,cء r F$tbf.IQk M:@WW,2L%]짺J0xco\iqRtlǼ1.sTMdn)7[m~(l`tƒ>=> 1ܪ\#脨lo0<8U6^tz$+iz>4Je܅BaIh;Ҵ>X\:ɥ!tkY2l6x_jGkd|!/H  %p%@:e! }}T/ܕ ?qW㣹P=}b<\AA]9\0ӫp]jE5ՏK Kйgʫiy^G;p|V1v f܂cUݧp^?C.mL ŗp-c%KiG@*'RDPhrȧ}/Êߣŏ4x~]6nq>i >Yku0,1FR흙D"f.KkZgYZ ??) -% Nominal2HOL-Library.FSetdocument.tex7zXZִF! kL;]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lr i iN '% TNominal2FinFun.FinFundocument.tex7zXZִF! the]A-MՋhvG"uIBm54|xEhbM|8c^C=aW?  ~&J jXt>k! 945`(f }["7a}ҁi~@x²`<ÿx&'x*ni8Qj 0|08,eZ,LC茸9{6d6┃ dZbCD""]55}`1/g[_l)w}|2riiĹqӐ6wӑtMfDsPveVY$%Uo0K?T~&99~Ee57M͌%I'/BB/s5Á&GxgI(S8#l|9(/ƫ2[[Ӄ2P?wwJq\-^Uh#A$&Jw/vPIu) 4PSHrmΠĻ 8s RP%׫JK 1 S e ef%8sh4I:o̓%Nd[F= L r+lHb8 ~JM%-w#iQYn9 >)٤C>U^BD$it g vc6CW|tn:/mV3z~,=W˚k!M/aTywSڨ)vnTL5 ^? tC*(!u&,u \\ϐ8s< muhE8?xQ /܌!10 wW9|AֹPrb&Mxe#N{ 7'Pa[{qԘ=D*pqgvn>H4~ů=pygE[s炵p؁"xm )I"acs_E $%OZN{hVx9ƹA:I 9ןH6T]1ԳZ)({5inZ@{"wch?ٛr%DZ*何ɺ&6]c(|E!^jo3~Et nS 7% TNominal2Nominal2.Nominal2_Absdocument.tex7zXZִF! C5]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 DrѭufU2s Mۜs-h.nY[V׷7H,]ҨTf^ӄyňEEkarC`]TfqIvC=U{9snn/k3 ߱a8Uq ff/a)$5v_i;*尝o^w6 }OZtޞ<9bFx 8!H8st_b3vCrfjTHe#GN;9e?Iȶ's6v^" @^ƃI!~Ewi5k2#ҙùo}I!q2"w;]C %H,s+= _Io_I--n(^VΉ‹'JD޺@ 'P&pV+⍧xB#LC%Cvq1G8! D 5zE9ߦB(k*QRh⓮m<ݖ1dBq!PT@Ǖ].z]@*ysHb~'{H4R+zRk ]{-S"ϲ&jV@t إ-T٣ao'fhAL;Y4te.f36op#n%,s9A2hGD̀]Dxu5#2cR#61JWH?%}Zx!};n,IJf/AL 0Xɼ ~Y!CգNWÅN$"=%?3Kcd]G֢m'O32{HvKZA޺q3()E"2Tk}znd9- =jUU>_ с*&AB 0L_QY#x%PVw.Js>boTgD{6JV ;j i,-+"/m{,V_uNĉ!&Kܺ12L'lh7I$@%׺\svGN^os0;xE$ƹjǁ<~&Sa8o_%܃W3 ~bl3+U=M_Xgή# *Έ|a 6ؙTP@CY#gV l¬*sifŰ̮/3>O]B}Q[D)Knte{5?,GL]F MoQeC'td\7ոWTi*"dO_z$i5nP?Rū ?zȡe2G \ ˯r0 ?;":Cښ3D;ARZgFFcdW+RȤg_ -:;ˉwuO)7d /ش՚j|ӲBW6ץеq2w<մ| uk]h D͈='*˃oᗙ(==C w1v-ai}P]dfXxbuJ6"8(Ƶ&K+qnwaѠ6 :d4`|LK# ^%ף*U^a[L ua*vӱ=TD@Xs[neXi5+Z5I$$˺mv~al4 6uA^$.yarhA}}CWDKZ|6ٴt# nPs˺kZ$l%>J: F FY%6}|Ÿ _p ܞ}@.a /qn0z/^h%C*/$M3A.L?JpyG> #/] ߄4f@N]tF'1Z: YXحb*+Wdk_פJQ]X=RoUg foĽ? EU{'>Ҋ13 0b,+s3HD YVDE=p ”U+iQLά[7L)%zW_,H9|{j><>DJMظQ+rn|b9'A7QE+h՚jB?=ԎP7"JunΓPE3vX"NRm>̟Y؀n@XIB t\{~tޔXyJL0MfIe~i/ͼ"G%˜' ed@ŭh<DupJhw ̍eCnDb tP49 4B&C7vn{u5LP{`bå @9:MuVE##ٜwҫ$eIഈR``Dmڍ?#Edtxp `H<2bK_ʩe`&.>>fPׯ@[m[;o+_!$ p $)r""ս(2Ew6܌b ͚lƯ ,=Ai!Ƌ]@Vkߋ4oBm6:ƍCl3!Flj]DElO@MCC\ID!y:SM"޶p+'u UJ1U~ l5\--i &ՃsCoB.6vk?EǓQkkAGq"pZgQ”ڂbCᄒ$;ՇA(:Ԟ2L;00hC7 ( )]HӼZ!7r+,suw.Dk:&Fqb_lUO1S Zr=b\ eN4,*LIg^WxWd.\_Ў %ޫ]eޖ]'|< G6& !18hkBU-u1lrcTC8 ̻-a4o 4͘M3T4'&Ț!Rᩰ3e˿8A#.*y{ tOv$3I!-D=KU ,nXShED4Ywgjl6HlOՐN$ !JԻ?y:MaA4=^ !tX4_Hhq!k}"hZ5(%d}KȔZLc*8}SnDv+2aQt kIyRBpo TlY<P CE 4E Sԁ&E%W݇I>s@ *BWwѾ~RMstDJT~e!3_XndeJL2Q3WvXkza?-Θ6?|BZ$EYߢr; mOP2u ϿsW~؃:ڱS͑)V` E %eD F&!,t}vt;Upd 5a;>l&1@l$,4ٗ"N=4m|96-,jwJ 0T4=VX/wh@5bB^y%lIZ `<bfHnӆ W^Aճ okwV1%ׅgk4 G=_M R"j}@Wb.u܍eG]HcvBVFqT+Nnl֑&.j 2BؔM^>&uh%^7B_zxZc#F9b)Y{juj7 Z%<0 K!c_Wk9HoE*\`0Vl  Loɋ:=mG~ijz+ejJtտV/DaGHQCX}0n`9w.>aB ceMB(oVl>ӵ|u7lGu]zvd$%L'.y o $-wVTJ=exdg Y^5٩\JGmyn$&e͢l RE⊜ϫ?D_1l4J`\lN-QsP[68zgH*я!5Rg}+dXboJy]s'Pn9_2I{2 nּ$*6ʠtٷ!Druv"<5 H)6BEp3`Xlz^CGz=U򥉋A%w6۝i+_Dx 0%[3<{^\(D.bM{쉞ZWZ`]@jF]s=<`ǽ%!j)@ܱ)4g8N u0TI5a%|O E[KaeL-/Nmu^%7S(%BlaUAXߪZ.D:OH[A",hKFV[=+}6泥`ŢmTp9D_&p*y-CL!DHr-C?`܋Yu8OQـ1eHiT,8>I7T0?止*2$2,Z@ =D߆GS*N!Hز?]ߧqfr)vXɤ',*TLn?s`Z 2lhx2X6d# pTCA6 I\< zlDl'>TGS;J&`DJ.W#ݥb&!Zv"0G}E6:X<(g;."&WMa^]Ji{fSG+7=6 ʮX%r]NAQ{5TbeZhg4Fk[mo.bξ|+^UdbŹ5Q\ё~{] +roS!9 6%M- n}D@ V9{L񭣄 L 7a]WR:G2gV&c{X POT> (暠]О RX;꒛5 B?جp$Lኋ)7=6FDGJ!'%Ftfg't oʬC/WQUI"bSC Q5=Y0{v>+ Pёz w)0Dv鵛`T.,~ƺPS՛I'u8 P Bh E&$ Zu8/ȇ V-Z2v@oA+eOP#K)qK)M%04TwdZH޻%3""tN}ZIf\`O#9vIQ$Ŗ 4eqX\.~3Ăh}}Ǿ`ooMCZ4^/%k2sN64ԧ:Ɓ|NZ%A ʟ@YC __:tueJ]Y9W=LmMz|vqu}_B?ī6T&AHZ4u{GfO4^oi&7= nJBU;Zi7!ܤ5B~fߎQ0V-%u.tKZNU37 3ЧyBP0;'+qnC> OY-.g2rEsȕ#U- _p+Xޝƅv}Ӹ9JzW s EK!ĸ.u) n*v=*V-D%T+xJ>R 6RIc7e@A1ْ-Rr54b/ ƹ^& }>HRŨ0"fʺu^&S섵B&KQ7 t N졎~<* ]yfZ27+F@ M8;#Ayo<^M~Ң+s֌>ٰ+-zƇXT~edq|h4/aQLċ-̰֔mHUۥNl Ĭi .ţ(1Il@z ߁Z``Nӣ@+{BQ/gphl"3߬Z"D2$p5.VVECKȔc8[H&Ho8pI}?̻їtDҮTGgN O{DժXLtlwR)E De&1(<)SN hr]e;!5:1|7,3@/ ie2 XZ~;S}L?v ED-CjRc 4jƤgJ 3bI~ۙ'Wʛ-Ax>w2NammU#4]ɇz_b&9G&qA0&,d8:g !J*v 0?RW^7bVjuBOMhpJ8 ]a29oz o}t b!,6H( Jzn&L!Yܑ6?E6^ ޺R{!tV"uo!LRC9vwe\ݮ?)Yх/,1e;jamt"lW|~܊"+,aU3'8RBcid[mɸ2F8fq^YvўmF|1fneQ_>1`yvWfM2ډT3K8\ ,5/Wx! B+XDEV7'Gb#i];Tՠ2u,/\>v$8E bȎqȥo.V pW2 GSiɥC[ߑF v$ \Ѣ\s䎎ց=VBzf0=@ QmzPT,$Rn߯af=֜$ 08 =䲛on?6EZp]N6z sd$)h!+tF71/crDXhXhD%kRB.Ŀk9vͲAo' i^^҇hk< 3M52.5@xЈ̳o[aFmIL,:/L$Fێg r3f7b@w1!ݵE34b6C`a W02 8m/a7OZ55%8|qipV"nnoEU]%# {@UDWwّ+RZd^?4@&\*7-* k:dV<%!lE&XoKʧ ܢ 鉗N'BQ|.~;'hƵuhHg#kҼ">7 V"ItEUd^a=3$b;zļQ< QA2voA6u>B` -|Rz1[Xt w]V?̸WOۤCy®7pO^+R, :厴o?S-{ƈQ}Ni뀃ۻTqr ݓL|k2aV&tA(DA`ELJKDBbrlU"V$縂D~CȝBnbU1?p.`qi<#<\B; lnڐ`[>fjz,Zsڜ$2ـ\}w iV謷7ոBvp!n5K,Oz|p}\62RlK n>汳ެ5D9߬I LhUÏbd!P:$4%+sI6i[M$5kcyCsI%#3N#~hw@.}/0Di&X|8|˪u*Բ15MQ'y~ײ"J:/uu4!75# =,P[m.ɌfD6`d~#Í ڊ.xQ"rr71 u}7wg"q'N[{lBX(dߥ1N$Z,m ^WxƊb2{.?w߸I9L4iu:n6$ }cC $fX, ;2Uٍi#׸kGXp\$? g8u'}#$-f~0{)Qmh,I!eZW 樕>GԁZc&aܙg A"&NM˫#^LqMI:}b  qƂrPOŃ&MjZSST\ܵƣH!{SyH!PqUN0n˝4 ׮lց7UOY1KL5} fW 13=y`oF4Nf>z_[&Q8"ER]3' *clXlPC/Ѯ5P$P/I0vkx38$iC&{AлƷk.//V=q"ݾSjߗ?1>^RǻFkL7VW>)4jp+\d%vFlĤ(%}ۉU(\(%NpP2o>⺌ޒa0d ȽS?=Re5ig \74uel}aX`'φh 2iH#}SsXԨ?~^,j<§?[9յpDž΂ҐYȃGMB>> {pmg;fbucb2fOm%M~HOo bD庹>i'IR\ Iuw2x]ĕ^u3GIB}H[,K[ޢyv24kX[tDG}6'l"%tj VQǗ"͈G<)%Ɨ*}~5πeHf_)N_Y|gOߵRf'QK2~>CizFS|;XCgY,]g~HPSy[{J`BqJ sp3W+#NU```rBsd~f:"OÞrn~i54cAk In.P@]-֔Kdjأm;JQD@rCt}˨eNhz~< uvh7 zHZvEMBª&&5vM?p8?fX(`΋f>qEJ֗<7-P0O!PSH t_G&hܘ tjxp'!vwlVM')8uǸf^RX'm,} f|>o= ltƑh? {+Ek A9Q `U/͖4WIbwφ 0@yu T!C-CѼSߜƭ8m_Ψa(^$ )F *:33'.$vGՇÍks.JoAg>p(TK(Rńv~!T mK»FUy"Lh><J[*cf?^\r!9jzو\}@(_Wѳ1#:-ړ ?R3lf@~`T3p"l8p &'6UDHq7ʆ[Iz3 gu-&JyE~c^ }09r]z {[6ȁՂǺ{X^9jCERSsL]ʥ #5wEaB7bam y|ݫ2W&onH@+PAxсɰآKG"ё ;fw]8sa:qv8PH7Fg'rhCbψTɩSyO.h?kCjj AjlG:s@seW5.eΚ4 ip!qL˲m˰ō^;fO(sW Ϫp}?(v$5(!RR6H=& WV7 w243Zm0dN/jp0ĚW"op8hhi h7~wS&-m%ͻ[5Of+o%1qf_Oz #{]pbޜ]H5րOMin][.0-TM89tpw/2O~n\JSyLXa}5~őbvYcUF/)C‹l^ɜVjC\f#N:eϓxȁ_$HO1i0UOVZo>`p3Qxȩ1;Agl$GԏϸԜf(,Fҩv.fUjI]Tf#F7 ϜAY A-0@:xMkiIC2wpJ nm2jB\aת=OYFoDhnSj~>Au $}3L4YKTm$VC);bifiԘd;[MܭэnڨDK;º~*_<#f~&0#YzTT)A xڷKF |n/,1@GztzS.~μ*#^AX x~&G xx3 0֭k+ 2aU*t`#s}t0;={zKvs,X%"sQ:(JOP= LT#!CfC3 \t7m 3]E5 ?΃o+jk̽}*VjC7ϲ4 M}A;Qy)C&r0 'xbX!`M@0! Ц[#BزJ5|J^x٥9_q|qzz&gk8MR@iR!B0m~Z:SOl֋>dPYTjR50 :8ٮ{ 'sƑ.Jۡb TdFG\*%O.,?xtQmʼU7_(n#n1 (ar80Taځ |7*p+d:+mA| xcx˞Cj34HRU֫牳F)Sex92m1h"hEy_bh?NU]@LtdC? nG\T>sr1UHj aa*p΅_iaPƾho<%~ z~ l>E7!2׊oe,u!} z=ql{ɤ,{"!`W/mCT]n`4"?քF߶paOh UkHces/3 ܔwqSX`P[KFQK&9R|,ͅzs̹düydxP +ppoNNcv1YjO2w߉g 5bY| NRA`)q.aBvXɽ9T\_ Us3hiGqKvh(]'a8?GYpϠ@L:2Ȯx`XFWH;46֓eP4Oy9h)H^nP rPgQJq{B9 ߏ.\rd>HZI:܍E9+PԲ־K`w4n4/L"8: sJ T6_kLk6{לbBSW3QW 6&4VFd&>v'~W3§jc>Xz-Y%cV(̚7ݧ _3Ƙ:A4%jI6bX -zƤR#=6M9/zPDsKb^oF\srNaWI謄~gYDG5,Ĵ*4%|{˗ϻ6K/Eƙ-[Yru"jه𳥗' loy뫗p/0LEMj<,c/,9 GgpA淁KR\D9u7R5yq;E%^9?6 s꺜R|36tkmP-SD,t `BB JBHOR+ 2ldR yA@imˀ31Pˈ>¢ьtD[6.|My-{:sSXi&:F4h"]a\z\P)FQa!3VŐjaW/cyWJe\B)/?$(XMp;`s2iMST`ۃ mc]ktZU!oC8`_)6VlnY̩~g|EX$= ꩦVanDd}VwzMO Θ$Y_[讱6o/{l{*ȵ_ǫjjFT }5DZWך*GO'uV'ڄ"%X ',`!;%=L[ƛ@]ߙb`bxeܾ;&қc5YnY(]dH@%#?ˆݢT^NӾF}8ہTY|L͝@, |Az}Jhr\5As^S7AGx7ʓ+gPT93Ip}OiwyoE${It,.][` W/DhJxytO S3D#eY9v y#>t"oX0`snH 8%P]&1NeU:ղ6L56]ǟAԱD$QfqA 8B^_GZ:$%QkQn\)Nw6+yYw컰UW돫!.hȚMl5:\u:$r8s;Q+3-\W_tߋNi< KH^@^c÷%"MiuY͞[ l!MΧ =rզf堆#+<MZ+2ɑ _iŋl7)+ʁe?XcN+d[LOvλ&e\My70~k-J?ZRck]G%\ى>E#)_*`qӞV8cޓ_qջZR}lo:\DJؿ_y*o1 cURV)92@d]L MZp0)iy>?4"* Qf/3]L/#1W }ʖlnDrIIU[@7Ɨ6 2ˍz!Ԗ\DW1*DPKnFߴ WbŝPL*~oa-HX0`/ ʲ$p^޴q3p;fMuѰ5h52Gn?[}o 6tP.i9:;?%1[fA8hXDŔuF%{Ew=WQ,$!tnW[于nR`zj(^rF۹ FX5>+y7%ʻXШk5UUk .m' >hT]A|N"** b(sG9qJDvztڎu?TJ+ږ.|8TKb'(=" f;7d {cZ &Y؝OTcAu;gX/ ԟYY:~m)Α־ɝ}S:FbIOc?ǵ9,$ !Ș0hg^|Y\p[JqGaVAg5ZVnQ4@GVm6S$ݧJ#\H'HCt51sadwZOФ ]8Ѡ%E( :Z+RsMOoA?׼7Pym=$\z /}5'kp"p}jo: #~WJqo[_ ȟ&{kwFbtm{4It!qPZblb8jUҿQ\Mi.=/;Sb<5v=uK5#}=R d[-u%$ѱ 82d 6lfII3b۷+%'@{1_U~ ^EӬ/EA?r͑vڙt?`a)7NFНy: , OZ+?u@>0 ۙ Ⱦ Jf7wqCɤ =I3XK$VC*V*V4wzR뒥R$Omjw<ܳVKM]mG,f6| @r?boB\|b:ϓZro?lIUz( B6WцˣNSiPhlҫ|S/ſ1XWBg sdV[{>hY$X`֧`W$)KG{+1gV6 ܋n-:^jr^`nik傿-|S=9@I<.R?†WO$:;ZB1PTd30~t!զbp | -arXӔF5{\Wu:co0s?]F^}n;9 PT#FL̺jit9σ@d^4;q2Ʈ#Ba#1nyͥy+'(zۈ>Z/l#8ȯ0Q"K!Kye5 Wa_Q 7Hi(]j C.wԁ]O(4h0p0=E N1,Z3 I#݋6 0;Y&hkN>'}䶹B* hxdV_m# > 3x? mԧ 4kHkl7'gYG g=(~Qlk9ַr |[d>벷y뻡G`CL];z#bw,ʪ)p {ri"YQT&u&] ŝM#RKŲu&ȠhgB8*'~a&3bafH$vנj &vtà!IBIp C  ,=˭AB*rFBZɩwvWdFx;o2Lʗ#1 ǍhmQkHSL"̓onb,xJO__R6nvWEu+ QƘDe&pEp (v"sx5Q8p~=sa:x\L!++ԓc1  yfDeTAO.Q煔wÚNcc7 =EaN7sԎ!4k0' (5M57b3cw/_׋_13*ӀoI#icOcUUtVnFrjKTL+){c2kx84'h.]gMSӕJP^\Zp:$&TaNpI 4J.|YqVTtn. ntnYċ\L@` w6_EB\ͶS+_]di+5Q^T{٭n N.%e)-njM),Pn\kl~?ue_-b[y͖(BS ދcWsXF}!p {Xy~Zd8, (bh<ճ b|23}?YBre6*XGZ# A`^lX Ae{H34 rm.'e@ gQإ}A{4$gwF\_; TDk(lK_8L 6&ќ& aq?t0oaАBhsn ^gFߩre^֞$n;'Bt 7dR@a` Nkcsf>ai]8$4/a1wk!''"i$59 nq܅Ȫ@oT {}蘭EqNDr" [OeX}@G%>2XbnpUrE@gi"l.,ɬ7g/$D#s4hS~Q|berW;_)Fk,Kp,Ha(N*1;,M00Hg﹂۠3&t`(̝vD:*e埬T#k1*>À]+wx`d]~GR~E38bq=K㭎B=]bNZB Q?y 6a"tR8I*J %yL=o'ztY?g.ȃj]G<'a\Dz~zd$)Q_!o#V$1@!%6[gu,\-h֙b,7ZYV~X&l#SJFX+g >3VV9Υ/6~GXI#hY:{b95:s"wi)f~$m~RckjI `8mGJCִT`]HUgrc_&ÊaP~B\V&J";zo=bD3fV-0@CϼqM'g,Ҁa)Wy5`ysL.Yh6m\zWG `h"NA|sTǟ[y#c4ԲgRa@LU>~1:,}έID*B@TU[ACi2`JyS}f%ef^=x)R0>< b靈7 $(YW.)W3EFVՂi|O.@F\h0'CSal!%mhpEh˜4}XĬ݇$ ;mLz7yfCYbxKiSx܉6Dl9y/E~Lrl=yw6O9"9^D $h:sfCm2ӄE5E"ݻssTz8XR;a,1PÈMt|*|hgt xX _m%lkž<t8~]!NkTL%BSVb9AKq3bS\$ F1u2?"o8 ™0qUy DOϊ |%E-C9Uq\om㡳)70$Οm9/(QCw+9Ď3&a {(\A[U .GݣPZ('{H bAr?XZe)2:u~mJKA 8u0/[*r;OsoAHd2_Zi&'NS x"'|Xulb514Zݪ٪ň@}_6*bq=Bۡr5oa+5I8_EF'M*[H{}E*Ty0 VV SxTOf*={a50_3ldϪQzֹyD/{+W<4?eR28^y1QvR+a 2  Iݤ1\ PW~!L! krJkxErl VQ+ 9Ey<568s<`V++gf;PkRK% ‡e7B"HLxϯ1JDi~_Dv'F́pe^B{$3=B% S[$'&uSA*8W<ec `?/1'x.޽h(!|.|HD ؙ݄I2"`2fuQPj憲]Lz1pLa0&-YAٍD)UdgГ1-A7:t S [[#rCX,RbM Yַ[Uj $DG̒IQwFd%3D7\ ҟGw -e/D|4ev!V*wRqdqSyOK{R M㕁3[a7!}D!R{lQQJ* nǕ{ %xlsG>"-6!l>1{PT}9pp^-+ ojKg3uU׋[& 1.| 2t_eex 5ot:[I _.}XWP3pO"-rFq{ @Qo2g%Mm=(KgYZ$ G*tEkv^ ~ G6daӗjjU{1,QcHoوfEotƨGтG|U}'͹ ^tk:~BBl|zmGGW0-ڦi&%*_;C8Ƒ)]bz&m{N(ǂ:g&4\oj̤ٵl 2KgxA!l;vEP$j!=|^ & A~ fkus⿑x(HfdNӷ`^']̙=.+LJw8Ixd^3iM>k8,9JF2 hcϱWi/-mߺ<C$A@։a5n(@T,cl0m1X|?# =33Kp<^.-] hN~K6Y$VD?`MFT͏P3&ZFqrXG轂H 12+_|xf>om&.|*]8D}(dj1Bu Vu@f  CcbΉs:` du9/TާNK?~o&8e5N4:,x: N`g+a@S4D^}~)42ƹ *r%Nd&b {C? /[ _7SN-H<@(O=gzHTq8S*\ YlU4{pX]GR~g p4h܋IJW &iUAG!lLD:9Mc 5@ilܩ?jC>_/KWbw"B4;5rht Si]"p&XF53G0܌+&1ITm>r*g'`jK= NRhĦfy?%/^]at=~S.॒:*!)e9/uo+\X9L9*saۡZCp[5g2U+XMt93o>91)dz8^yt.Ys<‰CΣ_8s9/5s tpOXud{ w] Ip!/JWozqoy.?#_4H'[_2zHc烎\Ә?Oq804u/6o=6X1/UZ Six,` Cv@Ro *Jf~vS S4A<1&@%t}:4d dՀ 6kz+q-Ç/xKՖ 82ا]&#LqJ7_|1H1T4 [71@%Im,KCEE MRdB|soɥl6V_٠gN_kJRѭ%z(ZGQdž +V׾Mi֛덍 +UGƻ`&7\OdbJ/|־ ͐92<\ԣ֯1qHZٲ{h-WHMܜRyf޸^}^e-Z,yOTCœ#j;NOih.?Ҽq~UWdٖC,HTt q9o9>7ÊHHv^Ĝ+ bcj@tbgķGn B 603O)Qs0 Rz3U>gpn ÿTy+}֊6Sv 7MK& R=7ƞSǹp9ќ&:56~f[Zam(wAl$#QQ\Il5OBC&cBdUi_ֲp5^ (z dqO=ҟN.sfd/MC]pOzC3N.Ő tHѷ~u#6̬zn=FH9oO^8Țf52FC9;[ Q|4جM+lS0Mw[i~ _Gv?^ f4`??ԕgܪCHK_w,_V{3:Er4Ao3G!0=a)7z\ƷY؅_iAR d]P6svkz8/$&??&$}j1|p[أdæKVsg̡HVQ:ie9QǎS#+s񆬞`vF !Z-\^,ToQ:u>!o߭z߷3+m{IƮC}o D}qA/$KXPll s 6 X /G#BӮF2=v8heX\!oҋUy8a'Ecs:Q䏕Y-4?&_'~ͪT5'$a v1Qa-B&v5k5'c>/a9 (ۘ碦 a؍BoZo_XFS։Kh# 0HjguE5WMNVŔ^wC<o :(1J'5%Ě[N͐Qg@_=b" }M<N 7|@$ ިG[h@ *u:@$ٗcYCI#_@lfiVT=}tuRآHDɏߗ BUo- qd\t#ǑG1[&TeWM\nkw|3/NpἙͼۙϺȶkC~.`eDtw7'>I|g"hQץ(v9ܝ9xYπd qRB4F(P2Ăm;QRf2 , I.ͳP&YW%;gl)ܛu'sG;jXf(}}R UB@nqSs傢p16ctV<-¿hj3L.1psՠz!kDeӮ0AQ?v{||jHTȆNHmMc2q8;w o<[ ydutFn݂ꊵBSЙ^1Q^ȠXOI`$歙Gx1s G[weyR)*廛~eNp 9 B^82,0X_ҽmA}n`˜fB=:m}haM %Q; =t EuWz/?XwR3KA|f#[OX1H[Mkj G~&6P)f]kB"2I>yXIE8״q~ս9 n<3e3.4XmymGZo_IRqT}#8mC,}bgUnf]݆XK9}T&1 jN8e2<s}Վj5tھhGgƢ%eu@A?/#W{{FE!r ۾hw{ Ĥ^X\by J 7y '\d&zܷ> RT D"#-uWoԋX;\c[(ݲc TF/!ʼ#666s03wZd˴9h~,WDNQԼXЩl(VG49+K :NlJv8F$ИDz,VX$9 i)/|y亱&Y}ġ)&VH|br42 rԵ pr"އQvƶk `Np,-$ I=- 5 Km$!}('{eg!5ebRSH K]z1TN]I?=WnP}j63BĒ/n/ǂFΜ9Y)*ҙOn5++Ҩ\mtmYFOʋ~yu]Lղ2`Kd#cZw:]3/SR~;Z8ԩ4+ t`U _%U(qH&ݡG~"XfM?]+2I[Cֲ٘[5XwS^(d 8FB{jhL~ ]thl. JpOY+ y1-ԏk9;]Bdq+C(0+Y @&YHͷb]ai9bB]a󧾫}4q1eD*T#k#}˰A(9u3=l4k=Ζ*CcqXGNJɄ, n~1 '&LɏMT>-ڦ*jiUeWnӧuCضQHq6,`R$DZ4z|~329~}dB|܏'~j1qotA9*5AC }}/`K7Mq|Iy` :j.O#$=)~ҝ)[p3#nr;֣ժ_oWc.YH=kݏ@F[% Y06&N!BĐ} %V1{on<6ȶUз˸Boe1p 9+X !M %Au 0C/G?)Ԅ#Sv<2 @w/aGR5xˁ^nH DOTpُՅ3ߕ:d9*y9t?[אQMei01 8'{4H68Z^㯂H" ,<ޫj%{_kx-Tlg?a7" p5*?)3FB>|%քy>v>ITFǖgϺ_y lýE;):QV35sPx%V -jǀ$$XB .le8iTz zGHD]K>}vo\`H UǦ;*D'wIDxyulsWO6'NrбYЦbkf9d{ds9LE4o4#e4K],k7(p& RXG_oFa#ѢZ~t sv `,} Z`9_%MGȏb؆d^reEA.}ŀ7+3tHG.Yqf{+PM>zWA/ZHդ,_FBZfg`ο'ȗͬHW`rKt-qo8f6 ?:zOd _6!oLp.?r`%$T|mNkdn#KjH䲠^P, W.Ro~=#+v/[A]nf@Gs,}ܝ 'LZqQBθb:+ngtE*O<&3%NskRXk[:_zE*ũs7e!m1k+zVpP^|C9ﴌ}^/P=ڔz>{޷ϧ04yB~lBK 6rK8V2_5:m4 mkHnc4Łdܕ$%"y[t45j'XE/B'WWE/jrusMp/\mub+BJsu~}~6Zfl6E0Fĩ*Dh* G'I[K;²uzaUBv+ X"QpqZ9yjnQ L1(*Ry.e#* ,A9}O؍{~/֎̠+CC $hbx}ш~"2H䉋_i|UF?bRҼnH;ߎ-gL[uJa0aM'o^GSm6@/.'f ?/nOK&xɡ6@nؓ j8(+LGM`BՇ!>~s"^'%p[b4)/TH+ßٌ`Jw ȪyS^ "r{^08ta)P\.Y )M:.P;~MXႥp:#Xq:RDZt7p6J3.49FH3؅yAE{C/e:RjgoN#Ur*?Lh_R4[c@&b$*NʙTΩ2yoFmUcTn9R!pø򀡼#!I)'OyA >KcXo} _~B4 h o<ڇ\Wɫu8<[4G1.oH[ho-w8_ n٪I!rhǻ%T\!+7 f^6ozRܒJЏ o$v$$ÊرMW,m PS}mdu]H*l:V2G=Yq!ͲV1NsgYZ oK 9% n6y' #ٜ6SLA8)#@DCf}ez'nhG ({s&LeVNtvF{<Żh3 ޮ3M 0k-&=yK@Z1eĶF Ji'`6K4N\S.MxEu2z\yf?:<"ގ4سVX<3}WLQeH{RxlyoAċ0vEY@ P!^ VSa|"Uݪ{M4GK`C1_fRc! ;u:^rtYUԙ{b04] &<^d E]KB-&*mU_p21agűV-d#أ8>s>dEEO 22Z8\]EzQf'ᶆCViJ8ٵdžг=Sfc!e|@".j#p:8aASGcY*Ŧց 1gWh.t1Ek,xC>$.LSM@5VT}J¦&a윳KA@"N u˹sΞ-'lA8%!A?&'sϑ}%ѳISb` s좜cl#uiKJCM2M_,IȅO{}gض4 ʪLb7X׹z2-vB(l^O!J fN{l.sE,܊w9fP FZ&DPCQ[|e#Rɕ _Zgݔ>PHo洴>fU;Y'jv2'F^ z ,P[jH%0`ϦH7ύa_) @7|o I 20`Fe_ʢ:n40_C`IC-M4E: [`K(r𞍼\(?~b=j (rNfı:^x[kR@$904tq`nN_ [`pc<(.N [y Y9Ӫ=_*'DkcFsgm:EjKd# L0=~7E`1Qh\6}+YSH|cK9-(pu$EKXBxbf?9^ Ӣko֎vjϋZK0̩S(1Ili ~G:\MOBp߰3.j# 59YJ}hBd=Ks4i<[H:7>пA8J "Յ7+d!Am&n>64dɌn@.ütd,{׳׶)q >NLC4B9M[JJ%HRQxf/Єl^K+Dq鑈?s$<̌ #ۤ*KU摰2,) C(y+XNx*[V8_XAC/0{h9sZ]'bƃg-lgwHXPA5~ӄ|Ĵ%Ozׇ߲СlDiZ4>y'™3u>mфET_IC9e<ؽ<7q!fpw3@hg%8WRruw\Ō]nr<8{ 9=]~2Jf0V1[)czaĖNdw-VN\#MBWҳZ8Tj z_g<OݧΘd`ᙦa_>˼z"vƟL5=57r͈nm %M؊5*1uDcw: 1[`NUG r_ Qk^gpXE#05gUƱٮh>E0G1] 8+13TxQ *b|z쒙y.%YJĢq)ўGY>:қ V>|Uˏ&E0qvÖ/6$Nnv㴊 {<0uĤ46Ÿ ;N]`su#Q6>%j9#(ҽIe,u6:& |ꘙr!JD#;!| =gO \AabC'pՂ&X6i}Ŏ=$юއۻ/z1pG[>BLwo(\Tp~zo5?,1 lL75Q}iU]?,d;p,p()`;ꫨ*#}G#Ja |=hƾC~-Quᩉ0ċ[8D`;=\QEW6e q*՞\bt^$м~Ŷg5Nzd9_ t۱K*cFEY>N l- Nw<HW)gRGc4-l>3TA/r ȧ>kSf9 їo+R~T<4q,N.ͩމqL^AZ٩Y:l\3claRѕ2`~pE*8 МLݺPKbD%0@tEғI_ m؛`n"';1k OP1a^{uzL dI0zM1p@62UoG\ #IdtŐ%ԡ[SΗ ?՗BœgC}YD#&<?ł*IV񒊣tUOfFPzT7(f~FUeėbą%U+muxy:!U)E.<+M͟~0MڞWծq oQ V=1jOfF)L8% }DeƾZl*\I (芖rdzJT8IA5ey3tyZ ZW-5=a_5!AdV40ffui<@G߷ (:9n{g8Nƹ9sWn1+"^Lx=!Cf`t~-  4? Zϳ.-MEKKTVg4[GڐwM9cn<ԣ<%BN07O4,b¥_5& 2Ĉ]%sVLcxjN݆d,o_Q4l>] g ͽ/޶:Zu-a[dzCEb_9N܊V1R֣,^*/>ƹy0ʌY.H}jB߭q$NSD1]lv?2S EaPgoIYSYQ13 kbh9Kmu[2:ϻ1d_[ gy==xV}´QMٻf $ʞ-/ܪgowCn狜ǰ9dXy W$BXy12 As洴P/g I,r}#[^w?jҙ..&iINw} 1hTu70I0D눐Ǒ8XX|3< }Ta1D`FDJ/+]* :f܉l&OuwinzԒH@p_aYsVe|}W/?զ r־O\K9ŋCZrpc^m=lܓb 87shXIu`hxfbIzSB5beY\34a͓ X֪ ɋHD-3KNw.qt-ntl""˙(JBUALfyTճ/I;rE~|׾W5,6Bj 9Jb'ɺ>K::/83hQGsqӱu.k:5yr4#4Z7Ƿ&!HwU/\2up,-hZΐ1?SyoqǷ.\bIa/UOO7v|N4j*]C=huomHRG@'f{dc1a i.<(c_D;\tQmù|EbSo0@!,&$b_璣 >cCuUbq#Nn6o$@wd .}q._R{!ۊ"-Ì;F^f'e8%jl7PbnUV>U(u }JwyɮmaYʱkΘu&.//ގc|`S A FGR2 >1 q%Q\S 8/=tgy cl7R Fdh 7} ٺ-.HQi3@mJe a}Ye_Pi K=/T{Brꏢ  mHhQ aF Mk 鞗V3<>Bmwr[`s+!ATl=I)>@jUgHqrEţ:N>Xf!вu4 ;Z~zm }擎P±E \?T5O,0eWFGOʂyckdL^ 2EX#ZCU1:Do_Im@>2\Mgjs԰LQ٨'CWmTN'Ҹa~i>,3j./mnh{ɖl-hĝH Xg~s#$K|8rX0޷خX eyHFO PXۻ:(".$/:˙D5]bZ}lHzb5Gli d@~A $^HJ=g'&ftgu?Ouˆ:A4>Q+͙,ܮ Q\mv"Xy7Հ9YOFo9%^'} %)7xTb#4d :_ްNH4 qE1tWQ1YprIm;w ]ܧHG5Yas͍koѴmAf*He8`pmu'P}@#(N:3~_=B tQeND#M bDٔtɥaFb֐qԢoVixXg <}}TvibQU? ໮7z]()s^#OMM~uc6)6q A+Z2l8Ae#tCZp]g- tw*Z}?3r^ç虂q~ (J$Â1'+3EUkZWvuf[Z9^XBPޕp=v!\Z;8.x8գeԶ/;=j˰5ߤ-V :|6ɆlW7ݶ|h'5ޠ v\&b;{ bm)]།#:W|+b ܷcJ^?<&GQ !o*5;wǾpd.Bu)տ+m1kɳ[m,<޺=!5 S 2d9y8jǐC 5"8P= b:z"t#`&G3XDyz#-$qAU|pOBd.x˿ϯ!-ہZܿ¤1qXea݁kѬkK? t؏g0ҌgFHQ_(,ўy9оg,L X ϨOG8ܾzӖ/),)g#6Nb{\dNw-9pY_WЉ+oNRM.ry!e_BXwz+ p.4p8sl\X -I]`{" *bC86,gz x<vGCtL4H-e1G Aް{r;'^lRFdԢ^iNE  ڟe IST€j3/p.{Fa~V׌7Enڐ g/?@P:5eNA{re,o,|1M?dl,Nh>6QK0m5-d毊Yr궢 F._4lhi+`FUB[D1ܔB M/z"<$jzndѪ6:zz]MkT5"qyL4h ~(};_zTR3;)U13M.c+d3Y;I# HmK7~I"gxg*<%E.fUn+C }ɕ·26[xܒ9 őSI!1*.g^ k Ƞ>?VNBɨ/PH 7!x?M0_bPҪiO ]T@)a vZb~'#,(U R:s>xM|~ ISMChXR螱$MvFBT(b yXCF-EL㝕m1K'rA^\9u=<'􍲏,ܙ.fٍG֯qm )^K(/-(|t_~ )͡aQ+ ;`.1s94+6=kă2r0M;`7CPb9WoƎ>L"X.<3mVxL]T~?TX-@^VwYj 55tsg3 qy%n"ۧ:==咃)R ((r6@SH/,gWvfciN+8iJҡԲ Mƭ&WUdwg\ke3#DŮ|Inh밈MCQ,k%}Eyiry7]i'@3.HֻbRehy}Db͖_~t@458= I}k;?g5-*y z!H A~c 6V2 0'|E帘U@i|ue%}w8aM==S⣘߹7yʹw~$M:3C0YA`uFXӨgi^ޠbL32J La,I,Ni ud6U}T ڡopF'hʳH֊aX /tKr]Ol7&;ȍ;y9|` }KkUynO " nF'z8IـeʐEYڔ~TkwpIHn\A杊X ^{H V Ck"K~Ie m!dmRiXLkC9̟s!6] ߋSꏫ}%Xþ}ފ8ci]d Y4Ζ+&{;r/VnuMțm~kXo^K_Z%:8!#B#^۶㹁⅗.YV6K6d.F/ЬMGJә1֔aժPK$ ct:FQjgThZƐ$n >L鋕f8}z0Gh&%Gf~Fj3u/K{i8rwvLtD%1/ԻS 9Dmxے_dttX n ةh"aZOB!c&JqoM70nB+.Fh! ?7l BΝ=o鵜,"=Ig]KljcROCbBv"mi{u8"I31'VbrxK(Pԙ[>;WQIrnUcJ4 D@+XQ,+h"Ȏ  ge>zrCgh}5-j`p^KB_yNf_~s}&A8}Ψ'OeԮ[TVQWfҎ jBSה+kR~QH_;:K$"b?shniIJoa(b!ҙ ڑ]ztKlKU6#~ُ+G8?vҲiPSF._PFN"oǿia4,c\dt ӤA*Y=%E`[va0 }}'窨Zqf1N]FǾ$4|N:Ѥ I$ThBI,rlA3:{9uJ@wď%MPqcL%d6nvh4nC86Hk=%d[ ;{;Biµ_ CO0nQ4Cm-N01"30䠉7ϔhQY h 8I;hiڳ@KC=!S{@ T|\N*1 ð(g'XM]sGJDOPhЁ5'K)xD 9avsƸs@H#:c6)Mu̵="~ċwQQؼ\%^: jg5`*Y dU>9gJRԤ01BOr:ͼUݽeX81gz&3Va lrʧB @y<ΦqYk PBt#ys95訮Ks|TnOq6s}\wE۟r5oiAXsB3vx髝w fp`62[xT Ji& x=^Uci 5L[\|»hL%Д2N] ӮgZZN B(c +8  (z-LzS黉U?Oaj&@ '!)2zSeH%Brۺ.MF[C**NLse[?\'w%;ߟ쯄A56V6NU';L^: 1FdžM>m+hKP Maרy)KVNG-Qqjs0Pwd24nn&9ۖ#sF$d-)~Q-Y1vGqH-re.' D ӫ[H_C:xgXmLr98F$tZ`@݇,]8Sonx@M=Y?$zƿ52q} e9%&Ep>q%݈írnGUUȄEufs|J&z/'A'r? toܿl;P򡣔)\ǩ_9m\ RSGtKR][ӗYMvIxN9]P{Pk6UudX3S3z&'*\uPp-& >`OZNg͈2P{j-'rx N!Xpev]㒧\1&_xN5@Y6c&_HFBc(@s6~*'/[w^PUJ3P `zt^WoI<\o%`R k*mT˶IOB %@yZn6!aMC4eGb(2C\TBkjg+ǩU*Rr`$P)B5-٦H.Tv`iSz?ffNM{$5FW%>;Zq 8NoږnF\ڬbRպ2̽|E @-ѵ͖Z7i4G Ty _S2M9ڡלQ67\\G}v&M kF]F#Krve(-ʪ#H걻;IYx%=jCp; cxzZqf|/GЅsf=NNnLpcvCV0\ML[/q\嬳OhE 8`iii[Z7m[/Rkg8J ],'4I6RA_;ل^5ef8l}!ӿq~cd[0*n )^U3 tgEڵBN*k9fM(O(FLcT;+],ʨOȿ]ːFO(lY225@ >3sQDDd$s&~*$;V aF_'wegH@8"xKI8MO'gF..DUxʿUcտJ4 ."Lof5Md^x|\I' 8h!@&qxAiv+?A؞}|Ӡl *!!/h/[}UHMhi^}<砫Hv᜾7?0fR2ɱ!B `5ʻԇOVQ ~)fRVM+R?ݯ+ح羯>6l5WD}PY?DiΊp+V0Xu SnjNgVk2:m+~2>.N_Dݱ켇J#wXve n(a'p-_~LpYHaU2cëءI9+w "JEĕXdzEX8Pl/쮄 Ey uSL]cx~瘝Csa|(uwtCu4HAMQp:~'v"+qfg߷b^Ho#t^ق]=Ǡ˦2CD~n?Y#$j,#YL;70 ֆ KS,;\ $=ze[bq_1IجF 1 w =#9})˜|:w[L{tpB»@וw<<(W1::>AJZ^/￰Ehh8;s(T+TZ^veG:6R"y<%DNV`2 +nXf`ԁD QcU~b+=NJk?#Ϯ0"ksL29nY BHJziH+m( 7bmL,L% Hʇe8yd\{ ,&L3kE~oY '["sų{۸@$ւcѐINٰo+Tу6oVz\Ka1nn:>mu1^/}?e*ffWu8oO(vf87&+ 0doׂx>[.Q:";24NZbQbi iYh{%/엛 ιL/^.sN&65;ǔ"8LC-Ǚ1νNjzB |l -Z|2{^5>Ex3 5B9f+N??LKgBdcqX/w>Mh=}:r16"X<,ps{ߞz1'g :YIZ$( >%jq4Jeh|GAi2 l"KCV!+!5A7jޓ;?<凒Tsqvߘr L<_mO*&ɰTf-M̡$6r6}-y[%\s{¢ݔGɼmGפ0#ޖWBSo`9A($0emG:]Jc=0:G呧PcE6 9#_znf5z GI XM٪k6|=h!^d*XP`Zm\uuKLJDD45 r@ʃH:>ZQaQi ~Ƅ]:*P[t_<_(US{ RVPgrj&N2RYڇKRz!P ̭ӓ _6٩L{B W0%@z{/:pĆb_` U@]7i|ƍ{[Bв?M=7ev|N];d~|yREDOYU)"SLs\L2ɿ:3fN oM ~ok tu_T5DG|j/16xǁK<,A`LmBR,jotg\VT^._ychHHuIP_Ocwm,4D39fKnM$7UF[Z,(2:;3K gH}~iD8u9Im-*/M_&X&7w|^C7)'aQI?V ^ݟȚ8&rNDܞ7"%ur@Qаg!Wld:~2ȭe̍V/־<)aؾo ר)'MgWJ81&@=}c6>8O'=kkqcnE;qy54X9*Dpż(3c/#eٰwYBGKϗL ŖҜc7Y踚v//@߶*8ʔ:dK 6' vQ,z#^ #eI'ڮGoi 赈h#D4v΁SW'qmOl [cg;Q<YV[= _(=*q8ܯ8 zLw pտO?T Subv oB=y^\E뛉#c1*.2Va}_N5 }t'X#EGvTux7c ЪupXQݟŀPImvšF)0f=y%aw9g??\KkfRRm7⦱bA$ӳd}+كX;t“ngjCƌPP/I:ҵ.S.T/ҁRTY %V 8-Џ"3iA|srQO5rs):;SM+>g,u}E~e3v<2B$;١y? Z*^v]; 7,g vaonLlu߻5jGX{q2UXvQ-? km,3N;e+uV.mQQNKa(Zl~n5Y2.Ob%6P ֮>Ub6Z.A;Z+s|bF5~c*]F5i(Z @WծJ&'њH*!zcNw̆(Իzo\*SaVk;?LtͯQ'je8q>2gdXğ&| Tэsya _g[C TQ!xliHQْmIJ:.c'1%i:ouM[M6IH "I/31ph, 6EZe.2[^x~iNyP:NTà{ȀʴdĻ_}k#k/VmGwP5W.RI-n͡oRScIBǧ{|sPw)W9IL|@y+i//~mnW:Ko8d~iS= W:tK&%kiKq#mb$ _99ÏV?ũc aRI܄+L(q4b)jfRb6x@좗 n m P qhPESrSLg2^5 =Z 'Qi{IaC-_DŽ=?D[RvR2hE@#krfdN4}h%NNrbԿd{F 7hx~ā8&-|W-dB(YzqJ摔ɀ&-@B#eMHְw ?A cps'>pֹՍIe`gVrU*whʢG@/^M]z|@fBXy2&Y<rAxC*KS}6+#UKu2+q&K~ b Ai _m(}SIIy9ߣauTGjû̾fQ&e'r/K$T@տfWٮ6p3᥅R1usAdHVv09O}a_45ME1m[o_- ␕O^{/ 9}pnEh:J{%)q8+}r&$.cVKE5!oi1f@ZToJe ?uI]vQe!G'4y :LPgQRsA{H[-gkU/ -֞ C6b5(zeLRk=(#fY+Z׌9 ^Yut$B͊PӚ Ъ9*+ns, 1YV49#ϏcCfy=(Xð"c=b%¶K 9ffs(FaS!o84 VY4<1s- {sAzw=eVM~Y-AۂܓM9w85)߾FYڈ9?ם}+AB\Sq 7QfX|AZG SwS7Uc)OWq 6Z0V-?Z$~=VGl}s&^-E^u_PdceڗJF%4sg92۶P aJΚڨ;4~nj.<P`Z?W`-+ؼ3Oh ɩNyfB()ҥ<_ /#!,oYrQ!o q!ްhXZG9Lw܌)Ft#-)qſO ` |RhU9v̞\"Su OOTr`xbJ2S#.\cb1:8 H$ʼg`0 9fՈ7?mF=cަ3l2 gؼ1* m̝-vP?&tiSU'dUH7MbOtyj΃h<}DYjH$qB֩IDufB=NX4aQ3<:J8:_db&9 (*C›h4?=x*ZD#:9dܬ.u6~I=oEB۟𘨒Ĝ+IQӘf]8]6#*`l,{ L`d22l'ӡk&+|&h =G:'tte,zk=bXmak1r˕ҕ*ܴ̘gwIv$w2} (`P E`>^0Ju\AՆT0ɨcFp$: |kZ5P]qO,:wW vPĐӆfiq.~-h/𙯫QNOY*myĖv@55J?͆}J0[~/DI}U`*4T|4:yLG\/CTC, L26ETkA>1Ps(Z'a4 >藍r@8+d8@ t= oUH舗pzu8#8F^/@l.vr( ;ʟ # k8 9;VNVVq IT C4)x'Z ; J;TkSP)0׵#Z~Ob\lD~+t fY:J\S-($"v']ãXt~&<ՠI1;&=PStY]#FA Z>5^*8S+r. 3ږE?1oC7+~ `eKvc(f7,L{T!{l#Wp928 P+Ԩ%K|>NYl266*9Ru=L{ '̴LA0&;C81ICm)!Qp?ٯmбxeV mqט UwgŠB?0[W 00RWXG|S]W`V7^"X{R?~HWoD+%%o÷.к 7Q3yd.F{Db<3ߙɄr>! o]Ws=U{GQ ~Mymf ȰʹZ3)=GʷukA__2*^͏%HƔͼ, `kܯ%Ʊ/:!xĚ/3 GZ S/G5Gaз:2e1eR:VrL(X)"$ k 9_OaR6s-nAWf sg,PBpRTR[|WID'&Ul<6^?/ˎ'nmF]CӐS{ZMZQ(hOͶ!~xGⲆws2fM)r_T/>H@ejX#sk jLYvK%>ٖջqd}܇mSHSl*ONU| yրrGEѽR(G;+!,T^*ۚS qtmN[󊀩a]5յ}Y <{&$$–uitAX93-ψF[Ǡm%p]kPA#O/@03|G= 8A,l6 \Fz|8zz{YTOY CjKi$]4/`y9B؋Px/lUKⲐe.Cگ"ZGW*Gi6|tBr[dgeY~/r-G9;3C;UAqi3ZF4BȁOK[grTy)Ն>)?RVGN:W]eN+A}X{ NNhNtM/ke{ta>֬k2PzVZCTuEq;ZҪ[fQDͦ44Umy6$SGD0NMR~tԷ'&5 ɢջ8rVguϩΕ|@Ae"2#mo$B+Xg=-ʌ0QX/귉e:\g?vRh>~ά7i% * p0U"rXVضA7 T qCkU*71tm+I@szM sb3gWo7GOBUQYGx&잵4I7EKF;%a.(#,3o`mIRL$m|zUBo6 |z7N`ᑁ^!k=+d|no tj,e:x,%6CD2tPtL#iywY{"6 A GS;fmOZoUUyPŃ_L_8b>V~\ zomqZu39m%I, Էre9.IYr[R2n$]>@wHk Yyh„6[$򁷏)T(Ma]Cx|dQԲْY'Dp?{6qP2Lgĩu,(RjWOhr40u_kZ_"]*SJ/tckI>}Qm 6yqԟu2;k&AukW \i} 1V\NJ'ML!|J9.5´U0Fp* %oLE8›J#RW@uMQi~s*[yH#lmv]EڋXUɱj䕦cfY:O.n**5h'8\=x}0 ~KF}’XrBz*AHѽd9>>)U%}`"_Z_Ac0RqpAHBzȐC.{5xcCμ-g;KAns)LJ?&Jx H~lqv x:WrRpl*Լ(IRnD#uD 8-R{B༭nU[/}}(Dm̮ &r"Ƹ>Q:Lj\u~E 3VE{v>v$ĖG^Vvyֹr\Lb> !́8俷zD5GlCGBbKU-Bힹ7Y qR+\X+0$|)*8S0&Eku:D\ Ms .p!-O_5p&rJ7iI1^^ eF\)VHi"*.\vMx x t[%앩/,RXq 6J밨Z^22hwooBQ \T&Ha;Rm׵%8HG@F] 'ܠtinLcjЗ-)pP1ЛN`jz@GtF?{TDL#AbaVC{hSSc^%b*`ƅ1sn2['-ufY't/VYi^){#L94ƚq$H{=],}lEv29]iˡ~uOz\xktm됪[.Xl=gnu icAxǴ "u:'kl܈:xv!!>:p ~iKzg !T:G@.(#ڕӻm+0$D'7NUeϛE4"H\˚lŶ9 ]LXeȠ2DhŤH`A#(LؓmeG5inm*9+{,oEєXKvSP2m1!a*ȵ3O^LL %&2fʆֽ"M\k RAFR  o p7awl+W NA,ىR v {K.,٣Ԩ˨'',/.xA{5P-OGdӪNi˺ F؄>a{[h1|^mkn]?d_eT+܍e)r||k4 !&m7U4.']l-mWxCգx̩u@YBK-dCH.i2@<&oTf\nCR Ϥ;GKr{0zFꖜbEH{;My_pXLbB@$ŊT{~@EG}4lR#ɎAlVI[ŰSURZQc8fk+ht(v\^6gޑ3 4glZpL8. BU*CXd<o$pDFǦžoWc3&R\3MXcsqy̽a<MĬR~h1R Gh~ڌle 2b4/4!y ZXyEidѡo$Bo ![/Hk+\zӐ"$~?p'IO=zpY*:{NÀxg( /޵$ u,-C$C~0%uYqsqpHL:*hgf5oݑ3M2)vpccx1r4`pŪu5謑d*-h[daI9'mI41,ct @ddv>3K]LM@B /9UG] [NEBe M;U91Ƿ6Ot^l&>\Eυy5L%x\ޥ3xF5>Ck 6Z|3.PR־=d7虼3w5S|<fj%x8mpx4X+h? oႌ9ejZq"z $YŢ|\̀.E˹c(rIW޻nD&H(/Z ofh]4Gt 'I>a$3b_WLm9aNH|IZ:ʱO୭"&f̣b"ŇHzB_:կY!Ս78^*)Xck-_R=ȵ=gʮ"sҩ$֑(3?[R1nAG^k!Aɵ H~zDIxX-a7h.4O`}L%H- *"ry5 : GRU>~uÆ *ߖitEA̻@cC8MJ*,>)=Vp; pm.E:n ~6Pk$e@v`WWVgΜ%j9xA>2fg t[}|b-0x(C A#6Z}\]b02ֹy&h>xU39 m".! 5DE@Qo 1.~QqOiL@}ʋ^q8R DSQ3([1?yS%tq#ZѰs3( OM$~ZD:.>i/?mAw钙{gc/ӾCb[Sy kL !-iw b䊻I Jmb>/N:7;,IQO! B[)]pJ:@zvbjjC!oqp_Og6ф-)zƯf9W#h0RI/ىW4ņP qmYdW~mKgTIކQsA=gc>n[c]f8XvR 9^(3+nPn|!$Ohd,I!ųψO5 ݌gXœW{-0mjva3z-~Ĩ]\'se [%GcQP61joLa%}#*vyM}׾d18 5M-e*qêQvtV}Xջ\O)\$0 ohw3V J֫uJcXA 9GJD&±ɳD+joփ9zڪw[ѕl3I)8]lKco7E[cɺjbۈ1?:Ѭq(7@JNgk$6JDYR1S|T'"sլBѽ?D ~",LpIƸXcƽ=Td{5⹰hXb%tmáXS7p^/I%,sզ=ednzlH;<7oًˋb͜}$KQWe\|}En{Uݗ_l t2$b8 6Y`GyDbC?{_52۰w%E2G 08~sc zG+c-9}^R muF64[ j1Fɖ2MӺKwJSuBї(xFv6jFN+QzFa vC M<$HH!y0G岯!w:URJ0 2(VܸDU,UK؉ty( dR0|YN.e:>W5]Op}B1XN2J?vG~t3(Nb/Kԗe%(gBlҺ=:7 6Iq(}>$t1]ghX_5ԕdC[uϧ`ӌ>2% mByN&m@}~݄:{+sejzҘn6FKm=ʥŅ~8$P L>b0_8(!ntY~S!(TMmtn̰,׮rFRQBkF4eJySS<3qGͶ"8"b5 mL"$tQllK/Gub#sF6opԤƴnJēv[`r}Np ԒM^73COs3d!a>&|@^"2*e l&Հ- JX bxpq00%"B6c+]zCe8̸"UK=Gz٬Kw~WPTxQbc~0Kw ~p2;k3MFF_ϧ#/O" >|&kUI ;fӝhu^|{4Eەf ˗bFBm g"6'5_ș?A чQ1֕"{*Ts{i&`$xdEBa]%58" V+%_DCj+;3Zșa*liYA3/a8BF7L-Ϗ)9 q 1VrKG2nw֚-l#J0{Q~~t` Ͽ70wve`\0_!G08p\XOy&Jm >>cPeٌHH5 R-=*͐uֶ#7*zɶ҂5#؎T*GQ!uSCV0YPbaǞ I.Jebқ5= zT'K!_ ɝ ̠RfΏZBejy$-w9Cؐ>8bwp2PDu15sF؅҉_JJ^ x@Mo.A{kR AWK;8 K(4#[}w[\`Ok2?BRC$+Z1a*Ңi,=@';ck#i#4{b@? dq7܈X,8qY:ug['S )Oaݓ[k#N[V}MrhN$'Ւ?WTň ΂4ȭwUE+6!A!LnVBa% 6ZIeE fa쓬Yof[ؤ2 K8YVS !!ӟQ ʵgBiXGɠ#0zw^( @F+ ɵݧB)K!JvS`eq"يOV-N͒ٮTȔxp4Ebp+x]ImHZ#UBK_DWעXYꌲaEec5fх *qFl"bh;6=3ѣF&ۣByЎSLB})V; Tǹ[A] ]p*fEc夗s`LJGr~<#L@ꔖc9f *by3SϢM"W'ݶTAd/tcٙ6߸< .KK;^G&A?מj!LD~ jUv-̇+bJ꒚5,W"i%^t [[@%yAj%etgYZ"wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY|-+h:e]׳m(;lJm;d#S$q~ X7d`ؼWxDSQ!)UuT+.oC?ɜqd ef ;(!wRŶ"Gh)hbGݐ0#dxOR\1?ٳ7֦]QqpnVyTg[PkapBo aW)Td`BN{92©q~ǜF+Uޘ=mrf= N~Y E5sϺnT 9sXׯ^?5FgG(1bT8MYX:P68 FÞ 0Zo z3Wvp|VKo&{,Tάt)0Gem(*Mʫw2dIF܍jQ+(( H `+ /b/h֊8+ vWе0Xu ?A=GgYaDPo.N6S?p";!*J墕7 `7v-b:s>$(LaEOMf'eɀZmmԤ/;"mC~;{%x dθ`nUb;.ܡzK&G7}0ӿGT6]kTSYZZ:LivcYPx풿~(\hSɼÝP6Ji`G?/ r.gjVf~ɸ278YP ӮfcVl$U+ s(%֌*I! xaAzq%u<@qĐq< I[mXJY(.LH[^c +#\Ç~(ԥ)?Q멵Jp$Aw@ %.֌x$6zZU]#/TBY6(K'bRPkl\H~B}rjB@d3cul|\}|fӍ(0a0Ǝk|U/xeW^_ڢH3:(F }1w>3Jg]WJ1/0Hv Bu2mFjha)׈\u[,[1Fq1@&~/6 -@Hsze~T!bMm-F(U봣ήO|u+[>eL aʆ!T;5Ơ%ETvA4D]A:6xkZۙ{~ GD*BHH u=҃{de~fmgT B$Nъ,>ǁ5Zxպ#)U(QҽYҵf&2a_~gJoL[ rCFA! [ +08%ҟK;ql%k[z3B=Ⱦw7[iԿBf7xB=ha=^aB)3r0 <`h/=pG~_2rt ΰSgyj(5=C?a.iTQ 4^UmJR(躘fm/g􂛃tVPj,;<7ǻZ 4`bcq:gctG\{}> "=_ RT&˽aaHYȽ'ݞjZR|]6`/ # RY:foDžAZ7I ^]jGuBrK>_ 씝pqhbdr]Ӄf#Eယ?c;a@.R gQѱo8'gq"l zwAvn[uأ" K im)|U(ڶB~m 3 /^/Y] #5@nx6\3 /xüq%C (DJl \'㰘a.0 MA^.cz`cD_'EҖ=dy%nj%tv>mENj$4tebZL"BРHpOYCK&;@"|'A8mkS:]gewmK$CJ7 Fz+]+Zf>z4` 'A78\#pݟw7 ( qs#;YYgɩJ1!'ot"_vtMPɥRt+6z\x+If."cXo^Kv__{3JԺΠ_*elak_۴Ȑi@:rUiabS ۉ#"X?dfչDeY?\oȣ \t^`;zD)r7m2꯳|})ѷ"S)d!4chxܕݮY'p,iY@1V.I":UƳ+Hs9~?y]r8꼝@W-{+B-;Lek_E03;}<4<]x"D@ مr=]: nu kPLcsASQzc z&08J3VJ |ϧMXzAʵJ9b^ebY߷=xx_n@ݹxTn X7]#IFFXW|-= c[nߊA*PtD!AEq,$Gڤn;NYZP45ۯ^Ů$?3W~kNyMf%*zTuC-8VXM*QxxP3EeߦWZ̼b,41cGg7֥H{:Isj{1b-Y:ڈH#v:D GsZz Zlڟ&&wʯGm!Em0LK<眄cu u xMS%XpMx 0Lqf`ୖ]lOhp!yERH'~;x#VKy3࠳Sdd=}6;.;( '0 L,'R(iD_dRbn^lDaiG eΑ0갹~[Π2^!;_ hWk0>X*_9X>Oo_j(0:~w zVbk+>M[)f $!{xcnTCKY Hc3}_BzP$Ff6?H{^ "Yg|B1]U7 @!柩+.Ej̹S6P|k a_b(u&T"J0a/k)3}||ǼcHi'mLq+|*+&j4 M1=>zJ*Ҹ[R8W<0h;-J mQ$>ܶlփz Ԯ.eWIl(;E\,"Eͳdjaj|@#%L߈)I,qr"x p2t;X|$j)!EWͥ)2s&7^zWac GV(qt% RMx1U9VH4dGNvM{o'%)[~vn 3>GYz${T)< X.Q3Ypdɂx~@t[/ؕ}f݋_6jPEJ<<Πd+ {䞲ܲP?+ >'gWܭ?LI}Żm=d`[W`ݨE}ՠVx ^2RFKP!Z ؃$foZ0z|GA#+< =ˍ/ 腀dgtۚis;]Uk j6G'"ԾiF) >LP?9ŎMmd:O5"0Akg 'BF*h%$;5ˇNC)kIQUɌw[<<7H!⒱GIDΞz’nvl#8׵C:WI,IKD('6k09?X=.sI_/n}6[DsĻyEA]_%'Icu?<+FB,De\&`0񟏨ZFTv1biyGhꡌj 85`;"Q$ 24 ;\C{O$[:7Qwq&5ŠC- U_""aQ-|)lXZ:{r ,,̦Ǜ5~GnmF8NnDH5fjp<٤!%d}w?zO!s,vzoyǬbrt͉X Vzf ׆-`Kv0$0)/G("*ZE{0J]tfJsl.3EA{%Lv}JԙݙQO &VnD B_WoΗ|R^,J>Z\r%AҍS۔DVu5rl&_О rS>8#*077hdk"!yZ,5}<6fHbTԱd~T;ה/ugBaWy>b~ " q=ۄ8 g]K80 Ņf~XU& qFbS 2qe'Ti3-ɷ?'Ur9}mM)E1@ |xPG )bPה/DRK,^mK%zzY@=hWk}~/ ГM^^;#f}N(f~D#Ť3"[1YL,Ԋ>L#p-^ACJ@]^DV[{sN& aZ?q,` \2(78<>l (t{AH=3R5g9#7F',eaL`K=4FnE4CgYZ  =7% $Nominal2Nominal2.Nominal2_FCBdocument.tex7zXZִF! y-]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 DrѭuuϨ8nUᘱi$ޜoiگlu2r+Tu#'Bg`ꋓEck28'Pfg1*VA+܂3U_RE߲CZ'^ڬ|Ńmc<”ږ4εYU,#مIϫsj+̬&LdxΖ}@kaOˣmp35H)O;a&|k%hV p}`] MpYZڗk52HOwMVNzS]*($OL^ֿh;(Sn^8#,1@Ȃ'ΌZEeMWU`#`0=6UJu/Ζ0봼#`5P([UwӂrsUOzf4cQ6N㦯40T "KZj2AQ9 S#mt 2I {8˸ŝ2j1Iw1bn$?u j:)2O&dY<[We^\\]kowm[ʡddbM'jV2aiX@ u|쳱/ܵ~5.Pցg"<)&)uꥊښ2( #5$]6´23Y2q?۽lf(mآ.^$aeFޔu8HyɑJʴkA3yÌX}<+*tHG7 *Xdp<̕'[46<4!b+b|^ f|#kxĺWk $Ԁ!uvlHT$JL'mtS$4fG˲ȏ+>ŢD(hX})ouG Mp #6;7c}͒h=J9CRe '|$| ;% Nominal2HOL-Library.Cardinalitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7!Wnh[ܤߌ $*zpLB%^0<F{F0f>b)%m#8 U8{])*$BIz/X2D{XMD&5/h˅N7֝.g:plTYTUvW-yo!>u8*J)H~&F&V[rTUs;3Y;9oȎ$YڑWa%D|*UAeG/8:v&g [L;4.#4| ~(&Ć*IwD@>T`r9*'B1/JN=g%%(8b_yh#d$֡rmlڟO͘BI.\rmm>ŭEd#FW@c.!jB*`h\B*or;MX^9f;.S˱ۡF7Ug~2FX|8%`"RĔ>icL $əoB*(p 8po^?אDŽk r家WĈjfH /`ah$0(f eg%ЪJx<+g|~y\Y5R,֢_)c6)PY;[T湊)Kf6TۿNd7 cȎfhFۄt=K\UL=) QktOLݟkZP'"9ogO5 [Qx. Uޖw CɅOܰʇ Pa5F5 EK9?}wQ!|@iOI8ɫcn`%4(T5IoOmuyiRzp7sܯ5Fcz$|3LKkU-sCdmpǟLLN:TsNӕJZ,F%hd%1rt/`fEMϓ, έJx{b&@i}c>zvAQq)cp>BYΤcYs8v{,2SԋoqA^r͛dޯ4&yƴDz1D:=qΧ3n+c\b ǝFۥ4_ʪD(lx{n梍ex'-Bq/Gcy5^8 S|3%f nb́>=( ԍDK }LOРÝQ+tM' FC}m"$~SvAƂ%@FI"5E*K8x3:U'o:k/.܍6?>ϫQFF7ţ?YFcOcUFLkpTdnx5 iv+t6Uƨm5_ظk8,ZP0(rBnLL@ӦY'CwD/Tk3TB mER]Ʋy0v |Ֆ|@y$Q. v{19Bp$sRY~j^?j[/W*{\mO5GuduPG@{,,5whYQKB6ϷlǬ *ClghHpo;?_89@P@^$);{GBhB)5m,t޻(bQmdUA _[SILƁgW@7:\*D=t.30 O 7׹155m auV/3Nպ^MxAzAZ\mR\+;m;Xk WERȎP[2k4;Ijzɍ}'VL"/ݻ}hx(%c^(6OA҇ck+HTteo í>:ɦWLJ**$F~v8$  7I/Yt9s?a'4EO p(ZkU[PO a -9B^`8c"C3I5̶T٣/K0?& @.f?#ɤ vR\\ƕK/S4]@$buj^X MQ^'9(݂֒kGiEU N;Ӌ'ߔZDoCv(HDS^J;dQ()UkXLj?ٺ' Kۮdt/codxxeÆ~\3qD =2!̝AO'rO,[m8^o,{!9G# J 06'#V+s;*q핧\Rggl Ѫ: 7Yy,H uM,^д*Vd׾ܵDdž>d6s};1tz!S-+% 61 Rlؘpo IB*Hx/U7,3p*z6^.xqooiļ'"#t h 8FF^N<5xq}놎T-i֑MBV}3>\OQBؚ ɯa[_KߦvDAJۆޗ?2NY*|*δ%pl#Nv+ S.>vn%c,(-Yj)nd*D~81y`s=!cC ]j@sa*mØG\D.PT_>0/zw=#.$>'ǫT?s)_FbgYZ&c% Fw MA@5xEKݴu/ íԊYҐA,Nu2Gekto,},iF+m'[S=]F IwHyv> ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:QQz@ mQc$iHJj} EsbsDStK>p޻lM >&!7ԗv@ ==CXxK0E_O9œ |/Q^t;oe,v3~uU9E\jk ?]QBbg ABjЉ?w5q )"u GPrcBᆪO©1ZC*1#)Uprr%tG~wmbɤ}̙qmQ10]id5F.RkF}e=3v z++'pK΁Áyqi =äU5FfΨ#94_o*J0LB75`1Y1;HR+CzO⎴%xf 0[pDi HqLֿ8A_]Jb;6_r ʶCIʍހ9El_pu,rΊ+_Uf+ħ0];[fB/o!?kݡE0h &ƶɖQAyzM£!:V{xt#tg*.ZfaO^oaf5!'Ԙ4j'dywCcRJs7K}a[!ͤ(MṴ³Z#ocbW}&Feh)o2$I_;{ *pvcܳ1ZX:Ed~}f4yTCm\I];Yó!clb(ʟג1]֏y/&xCO'fH^9dk"ښA'_KC^'83@{т"2FF7T!1^mPbs5Z `vZ/l7Cg#1ќpc8u)x^c;T1)^ay]ɷ xpMhNkwc`(1Kᅤ8oGNB-i~`aj#7lЋ9ܓ']=yP8n}͖r.kB߀\Hٽ9&(;Ѡw\ "Y'oj|Ř"+x1h|*{s^NMVrNskbI~?WE~h25(Jģ6G >}ZͩLl3!kYU mdC1CD?[]YpQ%dڄʘ5.N륝[c+*V9rʵ1'5y'rG5z6cQeXW.%鏌AWAV*е g'@֛RZyph,sFSVs=}QYbo+8#*ԁ/dl节aKL dy3S<ٞ9_8lWh4% r~2]&&fw': 3H;-ci5%$?T=-=3{=GH4Ze'`X2mR묚>$ѳ S۞Zhd\^U@BchLuhvBA):o1MLW^zuFwrH˵W1?|$)LAWh#i4,MlN\W[pHى(gER=vOM]]Vb[!}H %KX/)20oaÃTª^_9\V'sK$Yͣ"m=zO-l  ;D-!U3so&:PF|\~JvMR-DQFw۹#*:w+a7)펩ƀ9{8rI?;~&aU{#/v-m0etzLEԌ/0s:$iǸͩ8GuЁzR";Vt]OΌ ߓ3,9xX>BL;- s!2 l:Rlfe wĒ|3Av~`HsBa{\lN9IZ[,2zhr/h0rb4ܭ C︥Q=B׺M# z 3p@Q CWw-v@-ލ pSѡ,s72dh W8cj6tA,(_'6>==eOJXZ3D&;@ob{K}*F"ѧ%@O 7 !vX)7ߵttG/Cqgau~lɃ h|^F[<+Ht uZ)t0UbNl+2Z7Ksݳt _y6nr{nlhZג[,7J--wRmZ o ؞"ԏo\cߒI @rs#/9::sheH /Y$/}u—Ďz0}h7A^,-ʁ }{%@0L\U?UYXk,7a\τAh?vmt1';yk hJ5Ε#x/v!Q{? Xا$*o3l5O6I5i ?"!–iOd*Pe`ōVOmAtQ3͐uDv.>p &AJDhTڌWkXe/tBVi bǐB[Y+{!P !(TGWTM87i[,#aPJNLU kuWG/*Q˙zM\O Q=$"r`"(RD%ZeyDn'WZ*󟦷!@ m*{F1gil7葸]W.@\N^jqL QZόɔ'ΗGKU_, )W0Z,G'Gȃ=uvpG(.' ,(*%nCG;!q1ډu|cP-c='ܢZR[O>zS4A”g;rSÜ[ *m+{rC%!CqvE.9krg7Nٶj `t%53x^-t,P~y]$墬Xgt$u>%7wsDI& RBH#iXJN\G+Wg +\.]sc޻t2w$}|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G((] =% \Nominal2HOL-Library.Infinite_Setdocument.tex7zXZִF! 'h]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 26{3(fFbluDݎ[ٴHYHO)uDߥ ?|O~,ge78 ?UJG1+vsfk~(5ZN~p'Y51K.C ǽ# IG< t7$!pغլ+Yb.GA<Q~euL[LDB te!<vbt~c'¿?Z5؅s#Ls&{%ŝiOytXu?֥S߯_9ч'wIk#w;2n2 FK:EP.,% p{ κ"{UIT|PƎG3G`.%5;"E4 {b.G i?~aT箫CXt =%hZ qtkLv·.HV+b9r::]!9q*|qV۞k+j"~٣agY2ߖiՏ@F‚he$o(oiX> -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8s%w\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ <<9 ?% Nominal2HOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3)eֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ < =% Nominal2HOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,M+ || ?% $Nominal2HOL-Library.Quotient_Listdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs*ey'Ek]tg{ͺ52S} JSYn ;շE)TďGe?;J BA}#q^^y+V)'N矬=\JAXCH;1&4f9&>zhT?ʑCh.o+%ay7RJWyi>w%dZI jvϯ&[l\jao]o5.֩lPIq^ԗ`+\\ێo*E#_Yc,EiG gsw9=+ [5PXnϝ ʝp j؉eN2,61Ru0MF aNf*NKUKa5 lnEnq;e R+JU(,G'v.'/d R]Nj;вHG-]? : W^"i1::vIdk_wPΫGϬ@ 8BgvIvH|c߃IBf(}|em.?$ݻI@3*`ٍjk±-p ʓKnZt?'+Djrw mi TEs_;]۾ #RH9b_ȑݨnѬ2b1E:-C@pvBdª7_ P36x&@Sc^/8BTx.h}υrFgh{ 9FJ"Z!a!꿜?,ij#?d*7.H18[SLwUJry3Fg!ja;%:Bۃ,$ĿU'KnϭPKpuld)LZ@ r>Ԃ *ޝg|>@ 4GiP BB+8L]]1/ϩ r,rP:TXZnP6DMgy V&(S*5S>,V*8趲] @ 3zW0OqDuP;Sy khL,r-`3Ӗ)?w{{&~#UWv)\ xg@}i1,* öYųb+߹58>̕m}PY+M7|B3yh,CdU""p[z]3 g+d?i)U\ovo1Ht+/Kڋ/a @ ~yv~Rv}Hm7R1fw ?'KRnҰ7RoL@2e+O(NKHf= }6Nտ`\i^։Rlp$~»_+_x}LPso4mڥFr)1 :fG}juD = 8e@^ލd͑+v1Kw>y3_. c.&ʭޢ~%t~l _2w<+}]4/`r)h#'gYZ >Y>E% LNominal2HOL-Library.Quotient_Productdocument.tex7zXZִF! `V]A-MՋhvG"uIBm5ޙAvcia&zs.کgų/=7(F Ֆ1B;)hgQnѠv?y-3m[ 3""hZ(@ͤ{[v}1%fY:v:IRm6'6TqL4>F8>aw+'$/|"kf u3odu5V ]\EP!j0|rx$ZC[(6\"ciCԔƮaT Ф("b4[`a%L)BQ:sIUTt$38+k֐;*km6s"گQڽfVy-1 K"TnL\Ӓ(`Y,Ę {~^gTbIɥ;^NG+`2\t?o-<|&=o<}&չ=hFg1f4{w8-ؔCS=d#t/+D΂dMk[ v:>jwA>EE9C\DTUjc:W>vl_`ѢWMȮo}\K4+ dɼL-Iw@}EDكdz=g+kCn!<=0~s+{T9-VXG6Ҙ.#$x*%c5bbgg轧yQ`GW*;3vhpn f1],ep;yI%hV%I2hFHQ#$(b a_G%-`Pf %7-Ѓl$Uu8Eo(fܐx釓݋Q:?=o6b :w=n:}WBL:B!̗K-Ba ꮾ*r0L cdNx .x&j3F]ҠȵWh[ ceۦr-rnsכR1W?΀5#ϦRZ)V!^qBC=UT*CܸVȩ-5se ,=#rb?7_/w{*bSu8mY6 f;>t?x]ZIXټB$;,Ў~G9N~hypo!0.3oOc: .WC?gdY/SNeߎ3@(t>JTJŐ[WSZa*ўB!:ADZ|MFL?Ų';s%ͷD1 %{n QPWH-6%3䥘M>qZP)ۂ):mߨ;{2t1S$l+ L0 B5ώq;=dvbLVc}bvtV&~,ِzOXߪPV겫Iin%JP{`li`x9jF@o$#"T dDJb=|Ҩ!:=xJzaq΄ n}˹/4ѐM^['ø3!Nݎf7HDAJ~o$ILV&gK?sG6@o*ĀE[?aT`praq m)ۊdoFQl4eUeU@RkGHyVUU?gYZ$ =% lNominal2HOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ T=% LNominal2HOL-Library.Quotient_Setdocument.tex7zXZִF! Wx]A-MՋhvG"uIBm5ޙAvcia&zs3lh7e 1nn;5vy[/fLfx' #y` h?GM5!%!K. Gx'\s{Pf3֒ QNyT3/ ArRMZ]2[JM=dQP+*bڡ$V` l#Q[ëp44=nގ60&T̒uUZַ&f H`0jt]1SM_ ]|\E:ƨriqoR`b0>Ź$^7,~]d֩^ɣc 8XG w[^[|㨬2aA,\H֣uhxi>L{.!A)}䜈vcprS>.q|Ha@XLQVgon3 n:rm,*r&c6C!HŽ9^q  ^,C^nؐ7.S! pQ\<͎g2q؟ލs`=0Jڑ֧gG)tϠeE!|7(e4!.D :H4b2,, 7PqfoD[Y{Jf~WJxpcisTh!qa:'GPs'2@$c?9?Ջ"HHat.Ҵ 7o|NBϺH<_u\YZ.AP~p8C?I>IY6.MT-M $(:6a8$$̫Od%Oj1X+"qӳ ,rW-1<B_v4kaT…R#}/ B81 f倇% Kwމ2tڱbΉ}֓aǫ$i  m~Ll=m#`r:s R/mՃ -W-ff'yn(7;XMV%U䋯7a!Vew5ƐD>@Oߎp/sXAar`yȒÉ3mo8N wf+z#twjT}>`V2 Ժ$[W6#nh2jxOTC}z2Kx ?"!ẌJEBN_릠E /%ކ))w1O=T"!;j7;=YځSsT1t>C?On^`)z3Yso{͏)? U10.q< $4i~w񂤷`(`#Rwe @ZpRP|JE 1,`O""=7n,%;KA`cَb R,@uW{ [*"qݠ,&kcS"|r >:L_tÍ9;|-΂t3qD>{lBR/a'8WlC_=TY }ḴYnuET`4 FyV m'k- ;9Jۭ}pUڔSTfܺQiQxA ]Q bKJJwCbON/8w,e0HZŭ*B h2|21ө{򝞷^>:?JI.oUܨ`ʋ|sϚpdcZulIllFN4GJ#2}kGfo+BU4-nO-*1ꅰ$}i}2׎_^#8,{-1k{Vzk8C}I@ö*.CP0K"9jJ`(ȹ5N@ #2OIE>JIIЗPi]„TIJT&l6مE 'YORw 8=GĚQ&wL1a\_؇qYN7!zK/! _[V|~DsC7d3',Iܣ?}?y`.j|hU߆ШX]̅3,r|;{8h>J+( ,' 鏇-fb43y K]Qj(L 7o7z-<Vϊ[jՔY˩^GOͦWf{cux0 AOFvl,l*C'IZD]h߈ey m]˂8j* MO0GzN^=PtUP[5OX4W\yѤ(}w pY0J(I@TLoDEeYRN}XX~((}mL)㐫kfP<U7gp}(C_7.wiP#!R)|He?Fy@]ԝO(hPő/Jb0',2Xnc]yPS~Vlt>.錇` c1gv&{xg*L kݱZ 5:B4O7a%t{ lg> Qz4ѭbĭȐ6s\të4 W!~W?ga@TS0Ssٳ\YIB 9p%Su," ]nVPlworb`k$BY8S @4+rk F0=ZDFmY} 1DK(+)ea]#@O~PcFf1u0+* 4O=ঐA,XܝZ~ȓ z}JY._? ` i%t9GS~XέBpDp7`%a8Y+_HZYH_Ə' Ɣ0jd+؏ PJ]3hQ!QG[N{Q72Qk_ Q 9\[Jw@@shDLA0:)`b8!YvҪP`,:Zq@'lHhJ,?K_Ɲ&</"A>w뉑ޡ G~,I]y6l%u xY3cxKtu$-{D#dޕt# Gc5_x~P:ѪCfLt]E # 2>QTvnC͵Moq_GE0}[ Yp:K0v@ugcOQW=itmǦ=7ꓹas8D^ߤKƄ{'7P/-$!1CoK8Cद\8VH7̡$ *{ϣq3j+1sL,:AؠFPVe[a%ɥhP f4cۃ<]w[AdVTW9ڱp[(?5Ku#uD#)+ Yv jKCҟJz̓AT0_6tBٱyNe~mX]mCZFF{,etCH'X'\;[d$x@V38u]ϽV_6%QY5VUw|Cea<-aQ.;}Yb'e0c+揨$cvl/A%Z@gYZ / +/y'% ,Nominal2Nominal2.Eqvtdocument.tex7zXZִF! 8]A-MՋhvG"uIBm5:zX!Y3uW:+48G;COC%ǧxx˓m'Y?9&YP5Tq;Lk\+Y+;@4M*wyagrd!h yHd'5ge@;^ʠaY&k;nl)t#Ȩz]Q.FޘMx4+{ )_P(@BegyE2,RJ[P"jDl"ZcsZLەJrv*e 0^ "XdmEfdzRBAAYnԹʺA\g FW>F'2Wbcx)p$fÌj#}l ~ЮCn-x-+y8TZ%y%FA/ơj5Bͨ2J9ǻ[?5c ,.S(ݣ|'DFLV ~Vly~qb;4;+?״m"2j"?, E6~~3<>2}..:Vx[T?ҖJ M?ܟ D4Ob`fHAr^UJ* ]U9+7f EŨ)ũnڦJ`:%@1D",~3y-?e+u ;u|qC< ,M VM?X~eE ҟ: -Pҁ1[>Lt `r|XυjCݍ0o[m̓P}+ @T#nrlAFFusxlR=J ;YvKU NjΝ?0}WL՝uҨhY,4O'0ap d\\ddS^mTeJUKXFݞ%cԿhv6e4O . gL1 Cڋ1X>H]5˓*V!C^}\!$௚7kolsH U12qPqFH=5a  peBgYZsC% Nominal2HOL-Library.Quotient_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs3JFUz9dJ #laG6Pc.2srݰhRG5b ?-x9m ZḼeWPJV6dy(|̜a$ktlKĘЋ>@ 0JqGl ӽ])(6֞s" }B gk]~JNO[.4?U'ISe/gg1mc+K L _ޒ 1ᅆz 3z bG1#odg %I!#m0PP/Q(R6?XMy!d߅=9!|u;wzԎku)A_R b#v̼ >BٮWs˽!pλpH47/Ɠz+ aD'hi]Ψv`X v1ױgYZ\=% \Nominal2HOL-Library.Phantom_Typedocument.tex7zXZִF! m]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱gYZ  Z= 5% $Nominal2HOL-Library.Multisetdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~bO@I4"ү:[btv6hwg8!6(LjBetve+tW@2Ikmn$`@ʴ2˔O D|)X`J  Zrmj۳3ŜGGcxMAq6G{o QNHuxjFgTK>pI9CWSgeP0;ٞFN#owBdF$Q 8ByP5 >a0 3kL~~PnZ#bEPqP{{F,(sOyazl` rAhKIXoYZ+ϊ.f0vj TU \wY@Z{g,Gt+~=229@jqߺ0v,>}~#A9&ʺh68T6]ƣ +pQ^-O98ǎji53eE EpZa/k mFL#ɊW䘙 Cx:vJUJc)'ܬx/ bne`0ő429jݯzrnVǺSbm)JblfMZxFbOVf_2-?\U2d85DjW^Wu? fBA jF'ߺgYZ48a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u7 kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{38 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P9sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl : qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !;45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0jV9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i=k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o>;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!?u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.@AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=96n`M>Xz&rq:zhdGypu +)'mAZٜ8"-MsQ;yĤQTxKI+tUuzK^F. gYZ7zXZִF! z]ŗXi%D3eq[}Lkaz[M9s;uY8q^ty83f.R eܳ\4Q-mok)1'FhIoNXPCm.m}\{ /$A#j=S'FطD;PSEMf I:0I+3R;#e坋y_I[`F?j'w{ Y1F?4TjI.nn,ڒg-:Cu/_̓ 4/ZE2 m'-^j=łPI+Kuaݳ"YT]op׋8ܙ %QU-FrH#hbI۰Hw;K@[ET4zAѿ jsɸI:B]312n[92&y`<#LX&.x߮Y$34h`#RBS !na}#&oc*o[)aa o{ 9m3=ʐ8/vA:.sa)`L5Oh| W?EZuSipe??ds (kEaos;;xUP^6V[JWSȠ=N4}Fz jy; \/K(VmАr}xuzCaxi]_IP卺6KgTiY#,c@?Ffd2}r\j|ݑ!ʝ $o[fƧl7 c*^xyal0H տRĈP qq=9HSp.b {M>D;{P! 玛YdŕZ,8vV&cK7j%|wnbIIIRJ4Z(ϐC~A٭]@(ǝe-A@ڤ&^Իt[@!u:d~@%0Dߩ7B3lx}py.&WK߉i9<J~/ [^fI2xa5HsQUsoözfk 0HhhdUH҅z1dvQo3Tz=e1F[fB; Ԧ_kN 3E"i"]SM\iGߩKLDp8 j*>3.O bK麈Bg&\t%i+#lvq!%liOF;ANL&@,%8At-Q/2f+n^xZH]5p{h $$ +~(ĉ*oD:6P#ѷBހ S>Zc}w,w ˁG˸<[ylE]rZJl&(nHǷO6KP_(`hW ;Js|4OAtƛukI!*V8BTwr6}o@ѻӇΪhdRbXAU l %wy&φ=!cA@`B۲ :[!xK$Z4]ed $Ƶd#U5)%'IiҘĔy_˲v 1n P8Jѩ:Yo}4hl3GK+Be/:0cs>tm/Ñ0AA1H x*W3B+b`mR+!2+S ϽqQjnlټ7<ԥD d_8!XimQӄˏc^W!iN5o)ɵ ,^5T뭛P1AR~(T!Ǻc+켴p+۶P)dG/7zՄX{yzf6AQ2SYG{]`2' G^( rovvpx`E28 {5hPp;&40Pr0'#K.oaM6(&ԦƾZ ,EҦTY}h|x.`gw FNDU+j->c7 Őʁa][j[>. X~L>慌[ōvKHgexaZ\z:"תIBz"]:;S%pX!jkK3F?u11E W|JfM3|ki<`-fwIgzv}+,^7 M%{4quIw7Ȁݤd(=\Ѫp tD)E#Pr 7_Wss.WSIg LM"˷=CE0ga͡A qaј[Uiؓ>v tB*)@M$Vjc5 ꅦ1'ő-3[q}?%{3o9׍W^ڪVݘ!tD.!!vJKS. )bA+K֥~epլ-zSnŦo _N|lș?$-5z]A|6NG8xAmp?=ҿC͹.hgp] \flj|^Ҋ]+}FgYZ7026161966a1e8beb0895807933353429528cabbc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6fd72c0b7d088f9750fe57479031299754e37c43c