SQLite format 3@ W.;  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 ((E!vDL ]/ ZFC_in_HOL:threads=4elapsed=93.231cpu=246.220gc=5.8367zXZִF! ]ŗXiɟH)0!h]HMkn d)H:TTNB6#a$ETreLѣO7'E(= xyq^) ,Rq}=.S YۇցѶFJѱI;B![$V*IXlmsL0f<#_q3<6  A6?چA4&'cg~T*lD E+ٓpjPIzM۸Qf.߬Z}̋$-AYJt_έ(B4W ',<2^g=K kQVK(hd0c;A0trM?d$:A-Z/LԠ{8Ti|`ьÄdmW|oC\۬zr2@ȫu8ʠaY%U%D#J'uwo 87( ?un? u{ֳԲ,ז*J*l y>]_ ;暋{l_^4橀߷9Xl旕Ck׿i@m=p5FR}!f9Mv+ q8~6¬}!Ց t,s#kAG CFL:*jls&0FY[n]MݐXy>fzw]'qx hӕz$bwn߲(4.2| G[ՅjsP%~lj, -gFe8=1ɲ GowW}de T0Ct//ƒǙW@tmN鷺tm4E#/zၚKgr)Qha"9خos%c#Me()/bLպeJ4CtDw74ԙ5!ͨ/s( !~ۊ8+ۂu{x1@Wn>67ٙYO,}+ f =\ P[60]9DhX} pQPTj2HVYyz/| 8s5cnM M8A?OނA"]BzKK-gvcHqΡ%NotA!V¥PEPEhfI(cPᡶpƲN ?#&d8$>aInzQ䜣gEIqMNcp. d8B)[69GDm3Pb$G&@%Tf%2 U]FR~9p6Q$iߏ@|Bbd*.. }DqYqߩ=DJ8{yWQpˢzyUnb1_k( L;v@aAϻ"d"3'V剏Vp(wvv[ݯ79G@2TLT2(`BY-['Xv*HNIц+=;@7.=' 3sOTvt>24$ W7Wy@JET:_) bENŦhSoC`Tm$ nBÊٖ=:m˷deI۵_B x+*\R`JNgêr_Ici]!d+Z5 w^jUlvZXaLd`JB|L5bT+4~ Lڪ fӝY\]gSAhsħ& Zq՛_ "oh$qvo0ɐ%_JTU  ! ZFC_in_HOLTFC_in_HOLZFC_in_HOL.Cantor_NFdocument.tex7zXZִF! GD]d]A-MՋhvG"uIBm5 1ٖr%nwV'!.SC#KxxAZ_Tmݓ~{qI/=o<Ε7fgP8Hj,zU%R^Ptvxޗ>vsO' {9 ^-+;E~:MQb7UۈցD.mO ޶ Dodb*2-t)0*o{g(mm:[PL4#$x#Nl( (y&ۉ ޥ= gË1DshDG/kJf e hOt~f?ҦJ Mp:+VqJؙ@5{Rl]YCNd=Y=ۀŘ݂ZT'ZWAban5ߟ!t`vDh+!NsQ: 1pUyCVM `6PGS?1F MXi800`qr49Su͚a=2fKU Xt±kc|Z^p*j,UZnxj8 zJٲH ~!6UQGEsL,Ҥҧ,]vpzk0_bp6~zrٷiYJɬ(#g`y;L+̑"hBUեُ$˸D10Y*ڻԯ|N>WW4X9,{F#Z>iHgtL goiԱ += Ws0I z᧎ԤͥߛP*bÉ)r3=W10 dj5rYm?L 蛪Ţ{fN2> /ެtQG!JE+ Qñ[7D>Vs$v=+~:}Zf7A@Y ).OzTN+; )t}~qP߫;8牃tN^pи,N`$fD9U M߫"6՘^od n, {T9b,5̍ &@"\uo|H;cs:ӛ>`W2Ö1 z^8>jгXmAD")Xtsy"3˒@igHcJo<4B.}Ѱ<ޘ<ө K={ɘڂkf-zVAwӰ vC>>_3|Wx 5Mn3I|I34}4ܔ¿μJ؉ɘ D^>X(vU88ۧGe.ITo.1ѻ*%=DD_ _ymэi 8]xWItv-7J]~Ezuv(KnTun4j4>˱|W~l㾍>cymM4aNҠ[~]V(Hx/7Om^!3K] F|*1Xl-}7wZs!)ftY)/ OS{+;@Pܳ}\|n*#Z[CQ m'LaXtocs%iHG;P| +I5P]AY*\-N^"6|Z`Qf2ȇE])*zɱd;Cm&$ogr$M\PTyQtP]ZDXr^”"NQ\_ 23?YG+t,}A ΅ذ zU2-^K{ 5= NFh 01:Ψ1zC>FMV~ \WEk6<-zT6na=6xv>}R;S !DY?=y%~Eh-EPeh`F%i[*hu'HMPݟ{C 2GlWCe;4 /G6'@r#']9.Hsw?rl.j& C~* ^Ԓ - digX \S^HV+4tݬ%Iy,gڕ[45 !R vI<-( ˺}E5O9- c%YDfX<$IG7'cuZxlTPeC@RM_-/9IKW~x;r.E]_?Sۣ&{I$h:|DζҲc 'p2F6* PkJYlL~4>N([}vlI_|ypUd`ۯ9 ̊+[@2  !W% DZFC_in_HOLHOL-Cardinals.Cardinal_Order_Relationdocument.tex7zXZִF! Yp]A-MՋhvG"uIBm5 * )^ Í/ET_/ӶFpzͭ3{W^X(q<kDۥmm5 dQEq\;91ӠOl=@P(r [\FeBcL=kg1JlE5ohcJE=pU/xAJeeB^NhJucyrf&ԍc^DIb˹-r;{5a=_由"lQ8exO,ͭwI}RPONLJFDB @ : 5)  d T C o Q d 2  X   v :!I%ZFC_in_HOLHOL-Cardinals.Wellfounded_Moredocument.tex3!;%ZFC_in_HOLHOL-Cardinals.Cardinalsdocument.tex=!O%ZFC_in_HOLHOL-Cardinals.Wellorder_Extensiondocument.tex1!7%ZFC_in_HOLHOL-Library.Countabledocument.tex2!9%ZFC_in_HOLHOL-Cardinals.Fun_Moredocument.tex2!9%ZFC_in_HOLZFC_in_HOL.ZFC_Librarydocument.tex=!O%ZFC_in_HOLHOL-Cardinals.Wellorder_Embeddingdocument.tex6!A%ZFC_in_HOLZFC_in_HOL.ZFC_Typeclassesdocument.tex5!?%ZFC_in_HOLHOL-Cardinals.Order_Uniondocument.tex=!O%ZFC_in_HOLHOL-Cardinals.Cardinal_Arithmeticdocument.tex4!=%ZFC_in_HOLHOL-Library.Infinite_Setdocument.tex5!?%ZFC_in_HOLHOL-Library.Nat_Bijectiondocument.tex4!=%ZFC_in_HOLHOL-Library.Old_Datatypedocument.tex<!M%ZFC_in_HOLHOL-Cardinals.Wellorder_Relationdocument.tex =!O%ZFC_in_HOLHOL-Cardinals.Order_Relation_Moredocument.tex 5!?%ZFC_in_HOLHOL-Library.Countable_Setdocument.tex 2!9%ZFC_in_HOLZFC_in_HOL.Ordinal_Expdocument.tex A!W%ZFC_in_HOLHOL-Cardinals.Wellorder_Constructionsdocument.tex 4!=%ZFC_in_HOLHOL-Library.Equipollencedocument.tex/!3%ZFC_in_HOLHOL-Library.FuncSetdocument.tex,!-%ZFC_in_HOLZFC_in_HOL.Kirbydocument.tex1!7%ZFC_in_HOLZFC_in_HOL.ZFC_in_HOLdocument.tex4!=%ZFC_in_HOLZFC_in_HOL.ZFC_Cardinalsdocument.tex<!M%ZFC_in_HOLHOL-Cardinals.Ordinal_Arithmeticdocument.tex0!5%ZFC_in_HOLZFC_in_HOL.Cantor_NFdocument.tex@!W% ZFC_in_HOLHOL-Cardinals.Cardinal_Order_Relationdocument.texse^a#.3vHT5?.^C kv#ioM# =tn)>/!oJ+>\;YHjW\Z<럅u<]guᮓI`@Wξz}ĝPA)@;x[n*83% OmH+nU=#Rg(IwEzA9O!vSQ~g,p9_3o㜚>73,*=.?= Fl^8-n˵L#`k1F /|/zcȲ6FM;ʚV<0-|T3>\%U͙Av@9xGc85 ?Y}"IY>K;Jp"ۜ]-jRD-߅ R> *o0/hG k4UYKu;Rڊ{ч|`!*0ڀ20p Nr@NlJIݾIGfJsE%s>,R^j!bb6 m`D4'z>/)r3R8$Y;)w)`H(PՎS:0߸q2AE1q4*Vtؠa YH[б"|*fZ;-fj7 R8hH9*+N=h>aK{PNzo{m_|g2[M3;Kɧ=V-s&SoNL-Qzo@-(Mh4IAA@'ѵ/JPҽ`چ|%?U ɀj*!X/FE}bTY區c+aP'Ĺ T$. Jg (%6qOϷ*I[Ik_:R;Aۗho ꏴ "%(5Wey#m8(kfb 247&8`cJFV.$27tѢ-O("p15pN_`73+}/CWo໕x%酨#;:&G˽+Eg#Šyu⯩>YMj +܇Ǎ)j)mJ5Ra*4~&ÄnZ`\z#0 =)\7hJ~nX|1LD =6Yy1BII] m7b E¾&GwZOc1!D0*mP ඐ!ZoE)p+.U 0g!lw:' A2H.`GC'"ak}m|E'oSsdک-Bpy^pWYy ܉*r׻z3l8,9,o DUGI в҂ŷ/DJ'{--by^̞I7)>=`ioń1-T7E{ɓsnl_]##tY;i~ N:/^ld?N~̮ZmL?]Ƽ@%9u4{J)Pl!mL76:ulM2I'ɰg)ӗF#Y>;j&S.ð*]$:φGYP=ղz> j8CQ,|Ʉ$F-]J{v+/'@d;gt<Y.F="HkDfQ&bHAv̑>֔sJT!5yt/y: tȝLa4Bqѓ[ŽEFeL[7`ﯲՆ9ę^SYe5N\ KZt^3VLֈz6pqo7"gOJoq?VeGwi"dWC]'7њ2 5~DNKU .;ƔU|؜8b)/$&s u7@}YH|Ip:6>4^2^!06D$ 43X/Y_^Is2Yu\a})6.7i,ʊR7Bp|qB Y9vA rIn Z{dGգXeC8JWw݊t{˜J҉! E竚- Xn*i/&O.1mD1t:&~2MC*( Lqd3ߌZļ ^ɮBT&ы@|p&%Ѧ|> B_l[^ʶF cg\3S> +M>d^ЧOD7`m@/Pe\{`bwuj!EqV{~HtSET`x?:w1EΗf2NU= (~c~eoW ^'i_tZXy3p*NZTϻuĬf+{KOTZ,"u2=nAzэ+{ekDx7딂V &]pL҆@:"{PĮW L{Q 0 O}@8j)(%\CoPXD}Z^* Hwac2ޮ㎌0=n(]1Vy>ϔրfo aL$oEԌMe/ DŲ.x܄ @(xkY,fIiI®G]ͨ4Z.iEV,B]f/c"\Xg)Jxj4|5:cdӝ2=9CX=t0Olyv'WJm 'M<=aRնn]dV*?!>Gbj;:;)ˋSEKj 'Ӷ.p$ E[1}":6E/,ob'.iV)2lB:w˙ਗPPz ^ZL 54&TqoӊDK؄`qeRGp~-s'vfxfpӑzjD2@st)X4~fA5*cnD_R/:sZ虆OĜ~YY"cYDɗo9ð%ӂݞ2:/}EUr=#`^ЀZel}&14?(;(Pe⹻Cǰs/1 ~ |PvRIw:;XYyWܨw~,Uc' Dì<[,IᦀZޫk;g=8T-w|sS紑AuU5 nޒ` qq!OwXۦ-ї,1:cwjpGVPK $|f65 $pca- wRS9>c3͙z$$=*09E+&nOszyѝY貀٩AY!1r\ "( oM%j Ke%0eV9rƍM=.Lx,Ob=I1UɑFvYzg6H/o 9}Y<¢zo^e?с-~@+B9sE-@O~Nlixvm|bd-ujq, R X[ak(1cY#ȠX@g%l+*Hp2B3֮{Ϛ{JJ#`q<*@ЂwNg)G=_MFDD=T.۞1Uz6}_TTY g=*/.TsG*?RsMX&!LTѺS&t!Q|_dxy<Α̙:윕?uѥK [dRhFOCe) Vj\2yz.rzdA8irD Ҧ#Qd l~a]`l AiS/S[l ƀHEm̟'wG'Dd{3)a'P\er"[S\$Q.Zʟ]7H@(qDz-Wy)&:CHtP~Q(X[:H}C"P.i<4|](Ho$H?8ʈ 9iVvެBubs&0r6S^36`q jScϔ=IwXrcKhnZgQEՂi鍧ND ̇#l~?,<"o`]nTm.ͮt&(|Ʌ%0VBʋ;Fv0=暄jAƦ@Yj/BvK.q*Klp7Sc ge(Pj/۳¤bÌC02p3O*#!`Y`g};jg咧tK\0 5Uڒׄu9K=ɂMwjѴ(N0‰Qڨn)a+џb'IƔg+fTimWp5o6Exg4%Sv%/M>j&xRiSCDȿs|H|M pv$TCOϲe}x6Ц\Hb^fQSrfЃsLv،31`[pX0sqe{,o0ٜ>.*!xNSPtA}lGŅUqg, E{;~!wH_@ Cdr\AK65eQ읔:ċMB.jW:x\[ "rΈ3՟GV<vw]Y!F3ٛw]hoHkK[#ؠuy(Mn [1'cM2@yveF|&:ɭ ]3Ǥ@Ϧ7?q؝PIzs,wJ!YJ!9boR=“ͯw 32jqc2-кVWC@q*aһ(1/$d[s;Q#[ W684-s{l_'&573!Rn$WnIVP[w b+ި"Hu#0& PT,H6}HԖ9ZS+8dz>&m,ռz"9^U7hOlUUɁeQR >Np%)$/éNE*i7(}E>(^J[EgU-1JJ5N㔅No ӤXto$NI@pm`UְRR^:H3bRSIΗOY'n?ɼ8liS! rT`"}ș-2S XYYADhk/wK5OCC+m9~ T{Nb]H;m9{\? fŲ9]OHak6HfoP{NFOȊ+jS0ِKGxѺ(i| _ۯxbv8. =B05b<8~am9WnLJ|Ybt<ڛBHg.IU0ضa[~~ATNByeK^.-y_kWz1"GM&v9TM?YC.Fv?%Z|͞:9OS vgLKnNmV>h-&K8=i@Ɣ~vĺ4\6;]kH'4R!%AI8^dF*(ah}+X`[4]jB 5" 2 Y<,1#zNūd^ g1R2T{+Lj(N 2Ni(/Ȅz\uC2#\M< ~؇Wy7=Ã'> F`sH}WZ3fF=qFs1C(ҽ%m8}#؞Yo-c&,Nvv=JIGQ+*厘c݀L̊55[8XC}"f4bꙴ.Devycb|̌,f'O q [3},oV'7y<ȉpOdO](NLCKPUmRc q$MƲw`"g{!T8n^\3 pW~"O  po*L4)7F<@]) (KտN NJ֭,?Nx $~ѝ>(B0+ (^:`pڄ}* nU.gtFN~E?M ?ae 'aO|!G n:EZ p:5*Ig#ײt9'{vh5TV.3%lbo4$8Фu:ӛzSCY`@:jGzPQ缕+kn8(HщX))r.'sf@R+[8i˱RT< ЗI\=FT2LfIùӪPLl\$Q\$``}(y9-N@z,DZo K$%(L~831>Nط7h\$B r.[do-MFkBͥjKjF׈ID骸&I ʧ(guyi6  ׷xQT;(QNIprreHa& N_J͖$mLtķ>)4hcclOWF.;Ϭ9u[dz$o"jSNƩ/YjW6j"&=tUGYe)Zca04fp28s1#^,.% a*sBɲ7SXOJ & [P慒' .ҋ 2 aHglX %&r6yxpԏ2{MT$| DEx(&#(%OL8tbfZz@n;C9 -En%+D=!Gxٽ⯭ӿ2} 'LC)Cߣis) 8P  ʼbCqqKxR׆(ܠ wdžb7asF[¨IgABK y'f \%2DDxF? tϮyƲ|P+Һp3eà0mY qT9Y{5Ź3N!M=YN"sK:7}S4!6?UKl ~O'Y3-)?x/@Pԙ'!cg#cՄo%N}_/X eB•lFZ0ZDK^ȴǓY xXs@lQn$IrNg[V_)9L}xM,,ަv݈E,DCXR_@U8͇p2|Mqa`p]y" yh=) iX4 (Kk ,zb-X7u5ʲсM_W0bK084VPwkoWC =.5bм×}B(C'ð^'҇$U TN -onjw1wTlQ18X_ ܦp`ى42o[Nf!HC }Gez4M4 Lva*hv\. &=sdi[LOzY5F_+#q­hSF`hxk~~Ln+brc5qS >_,WaѪ\spY9WQ 1{[5qŴRɾc H[c&vᅮNr\0 XoP%yj^z.+/32RFl% l='VXgFB*eqGN{Ҁت`$LGM j ZBP<ҐN lhz TLD(^vժ3"Q|tUi{}sRLt[F ~ẓQZd]qMmI8gOY} bA=`qH}I3Ra daY L,>*Iҋ 鋪G`E V7u<9᝕~W=7&z.=[!uoտ? nb I^N2 %9IT1,Fpϼ"$N,z]ؤ?F%>Ђ4[-KD|xReCS@SERD}[ep(EioHې$(q ;U]N ҎOu:V>T6cL' Ol<֙n^ʔW;P˴!.2WpS,"7ɼ'wyU/~(!lrĽ^QwwoQvumI$ߝ/-(~4I1`g+kg:T!3PJ<[*Е%Lñxg:֩umPwsɯPTDP=9'OQB'\7]Н>OM]"{'j8jR,g[M}8&ªp5uI뺤FGfԋJB=_G%#<>4yNm[$vEB&z>ȦL`Qp~ zX8 jTYavAOk'EDIu6aJR/G9[-Qe};su~BH+M -)n3ȅO~xRL)u "j9!3uE߂`K[|bnu⹪yѪߗlQqFuJ0ףBiPfN*_0Ϯdژfv3sWΜ5BUd@X,*+–-SRtZňz<)ҩatB ' %Dj&Dx"9鹵pk(SFWZ_$7k}Ʈ~,;X#ڃF^1mXдVnh^w}]S\+7 s˃nμ}DMH-ҥ[];>NFT˜) 8۽P͝:ABsϪ#e>``yC'z_B:^lErU Ȕ۴7;7)T}>eFP7cǬoSK۴>sЀ rL+DD:'"F\ dq ˆizM 10ya}яTu=iHcbGx33dž"VڤEV&/6^\)8O\/QJӻ ܳs-8a!t0]!ӧWKYѐ>$ O"u\s+ O韟1#hHuڰyܚS&dtxNDֵwN kYdF;1~"ON/N׬PǠAf ػkZqu`Xߡ1 .)iED]^GM gξcx'oIWk2A4%¶1DSvE3$ ~]`H"C(Qvpu`O vbθlz͎bBp/TV R{縹RjjŬE]jx'unȟ[$!EU`wB a^;1}]cXWiR 1D _@ C>sc(uvև;Bq/NՉ\[+}|wZ90kt1L0$_bGLY;W,.cW.tVY{#)҄Kc';[EYOqzw>eߘI#cHO(ΩtKj֛TC-Rb U= nP=vrdJ{YҎpq' [@oΤ ^h+M}_҄X`0<@o5RNPKGBvG| Kސz}weuR\hVҗc.M˞IkzHr< h% gUfxpQNO|@y^yr 4;@2\ЫF,(xwW}(Z>UP;bLTP;ZaX;)_WCoPn"Ghjdh"OĎW=ga,NT 7o,n4ǧL Js݌2%*CCS=.i"!p'EkWQ/$lhM6Iɗ$ Ja>eEd`މB@\h(]14X;#_ a[)긷RwM5 Dz_^|B:!UHԑ ժ \6L]mQy~}y~aC!;3zD]1P!leE;i$ uWP9Mp_BX}0)͕ђka2ВeURyx >䂏Zz)ADqAL/`|6dtkC.4.Wyk (<`Ln_#k^jz˖? d>p)36I 2צ>]Eиm00F6 K&=mDn41U %G-黪L6)'l ZU>zݢ璡~HaX.+mG"SXf]|ϫ]WzpO"b3VcGE =1pq[,X1mkPSduhDMpt& UK4]`vŎ. 2]W9U" YsZp5[`C&ՄR4ۧJ;U#hO0,C !]k;9IyY산w8dU֙ڴj,RB -UtcgOͦ*ʂ`S=\—QbGԻU2ʾ,Wc"fB=+3k glH;6Mѝ{#!(Ҭ0m@Y~Y㗇@ʢFf`:j/0vs+"}VkReVD# H8LoFiϚFDT'ݽ/ݣv&6R (Zlk*~xJSLC^>ֳs>i@i:N% KRs_B<8%4]7q_`::|#kMa. ]P;=ʏ"=>Hؿ n˦j*sHh쟰ekXK:&,1Og̤dcby'Bp&CfQhK9RJ_*Dz#G38.?I058P/nпa1x)Lp? x:CbCp:sTAγWk1"葊nqe,@TՊcXއȕCy =%\L]nAaa#*蜊}B׹C3CH:Âq^EDXdK #lEHzEVl؂;G)k(XDz?irtXIw̜W~ |ua.yP}@龜sEᇅ.M 5aBٝ+ a`5\zWo8@!du_b'=dֱk ct?hQθ$c$hap4Iwx%<sgY_1;t^/2H c5D]$Ւ{@l(Ӈjb{] 6tn̗CD0tǽ8X 0DZ-qq6 "i~$)ۢQ#B] PshM4/괵M9g(F0 ,^YhݟwL+,zs3/ӅC| ;!JC'/_ va1WA!cV=/*ߵ$b GyBeqWl*$9~flGCwgCp<٘̄1XH#dO9xDdumHv!*el(J\ɪ&ԭ_mƝ# )8%oS2jl|og@-+EzL ^!Yўy}̉ua!6VV)WAytN?%ї08 atC>Se([pWv3eƾޙK^&XiKv>cR.OE$a 4D\3o\5Hp9s|KC.y>Fs ; ۵*<ӰS7wDJ:jг6a4I+&:.'a|wPR98Sm-_3bjU2)P0l2; Zx Th)'t9mn4DhѲ+W5']iCa<=#qVM9UtGE@믰esEљwLi&Y7ʰ7A4ޓ?Fy}`ѷ9%vaI7Ѕ;w?82΁NIVKI l&$NǚOrVH\3[`}n³"L(;M7ϴ9xREV1 ΰY;~A 'oo_3X zq!6mCS2͏c N-mL>!IԠG6a6&2I)Ғgs+0_̰L\#ahX٥ y.Q|u"<\qTuٻ^!F;<$q,fZ*Ի^ yhs3bJ™?n/iU3p4̀-/ȳv YĹ͐9('nҶ RX7۞oT`Lk=6崸#6²ݝIIL6ŭ۱J`F SAV8yCJ1LV ~ su!vjs&!yDV3²Vn G၂}$ᗋ- XS0'2=mk< a =b?K +Dع"TN{Ȗ7Ӈ xK`^:I6MAMHV̷1w`o N,f26"2WOм81$_l|HxC- pq6s}uO1#?_0!ajKd;35V oGb[LZ _|tZ<~̳_CYk.K/*"(i7J5caZ-ZB% z T-Ke@a^1 ;2k$j :6NB^WcP2&P*Gh,DN?<(9O/3fE#wӝ}/Lwuh'8] La)Xb]"k}=?0Dɍ̱vG|t%Ak_Mp8 u6u2F=|ov^sqZlUDtqìNn'^iMۍJ[]&Yb]crKy[U`Cd;}U?Qt(j7ܦ>~4{FO$+*@W5v*(M\OFmГ#TfK2)s[oNxu :RJ9 PXz%b,͆pN38>tsLȀ>|^ !oԊߵ\6cޅ@INVN3 oۋE Hfo_}Mm|yZ*<]UH5m3{d0,R)~P\$N zÛY$S7mo {6 b~}v8ZCJI6Pm.ְ3%q<τ`*oIHf,$ ~HSS7%:@}f`[7 0L }$tvC 6b,f?0i|oVI<ijz9F-mdjZPe 7<4+g#]47Yp&r=\Ҫ ҹ4yZwx:?:Y;p6 +AѧQ?:&϶D/gm Y/'Mt'퐉^wRgMPu~ 'kc5&1]J\H+-]aѱ}z%K(3uNtU4+Aq1nv<9&}gX$Ml݌q? Q^Ѽ^AṯBknN*+mN#Ѵe d тm2zs/1*Pb QKMB Mg08"Q (|}WlnZ4!!g h/M B)mYG\A:>yBAmh8CKrnB H BRd*~?~Z* 2#PdC b4K݉Hu;*]Ykmi] =8WL"Ik2GbjyLuᶍgdXF9#UzJ~ 3((ލQFAlYU7OM!wA'v. w.-y {NW#V^o$_ ,D??4|ۧ!kK;Fw5}6!noڼՃI~HK_,SM/l dگŰLF[sOjX@(F :3S>GzCM4Yj #*pXy}˽kZu"W+}fp`9TFN*̀d^[GBuyQ-Drn"&^(o5nW_Xl㰮~۾!w)Jt/UUOɱK :#-d FNQ&85Um_ma%bF%2 L]s 2'5LUg:!I9ft$*5W# lByfxT߽u%ȖY9 Gyǡɣ:M[gKIq]M m|?vDџ2%gh;_lwtft?g/yb,I|v EPT)B'(?u8kꊩ2\&-^<0/={{,aih Zpsm 56}Y tOM=W*i-XIĺ:QSYqr.2(XQ0s{7V~' #zBK9S5kWˤ_ms&y$C&7ȳ'\2}*gȨ LԺ&_dwj7@\MsZbVqGSؐvgy7$̒$-K;t 5RRHגF0 փhmUbu6!3QA!X~jn6F8$WO 3pQVy-FәB]DVEtL^(~VY[3H{&b^`YȜJ|&u&g=@R}op˘ fā=pMfcLϗ;g/ %;y:GӒ@z$V&I2lLn$NC{nԊq #[aW;p5)T,Iyn=*"DF7gbv_qs8,D#*5ZIffn~EӅ%k^ӒQ@=_CnSb:T&2Zk(~ BQ PA0rW[ҊɱtYaP# cxbeQnK=ҩk M]> {ax'daqp}_z %Ņp>0C>41n_ 5,Z3Q+:JV reH.UvLÀ̀ puDoCgdLAmT @*Zˇ([y13M<|1Xtt[)uĖjMU6(Qe8\3#Ы6sj:W} t}`qhh]9?(JsWؿ}%\M6l! "D3^lxLR&ARTd3^xIܙgL@mȭu~¥ y? 5[t!Ztke?V~@eh\'M٬\H.wpit ROٓx?M\fpWgPY96?N:vYz`< JС-ЂO71z/;#.o%fH՚qhIÄc lNN$jv`UФU6:`"W_nEP'8NBߙ#šc2Ӗ%3DSqǙQN9s3@sZ$bpUdVo,-xN.V2|N'YʟkU|d&䐭mG5^v_hHL3P᪴]=HUJݭ{<|Og7!hG@>dz-$+❹JQtV/(mEa=#x!tQYj`G׸<, R+PS ]@eUsr.u:3‚x[5xIXzc3%EX4IRDCF)WA?-Xʃuhc"cSoIi!ب8nrY"uĹu-w9a'S6E@` ؚʗכvn ,')d?kx7ICʉ(bA2RA5@CheR7Q8t\ C`>װڼ;\Qszi0yd$`Ij/%s>,Ш-o9sv}操*(ή_PEEolQQ3:̂yǘc2$vhnl` -eiB2`cԁ %CdGHߧ6`Ӆ294G粬"PE/ V|da;+hH0<ҹ;Y);N\8 ubxd m@$/(~=U*,~*jWl,)i(EDjγSph[+o}c hƸ튔R( @)̔3A UJhgmuF;TrBtMk"U^pjeK*Ox&߭r,Hن̮pðCHa45V?T3)PaP`)4qZg kMV<} ܨOC+A#uCwFFLd[Cf(a)FjY1kULiuJk&`bu7Y)QX.8#HK;#Oo=fg;5}tQ`W%#LNÀڧE7f^03ג! @)Gqyx}NۨPkdV(m R믲yg71eT/IK@MZkN{AXo'~TtrE!+ `+2'2\P@0p0ip&P%9=AYUAskw@^#(  $&欤RW"GoIn9([y) I(-=|?0 Lr.oĦ?0뉋%x$qyt}"t2疑3asm M`IuScCuAW^ Ila5\132} ~})|nߖԕ$K%qCI^b#s/<{q<+:@oGS8ba Mܨ@deۖK򶆣 N dC+jң`*0'|\x{qƻLH+LM"C{#wr]!u74Lqo\XKI#s'Ps0P;X0>)KƨfxJ۟9/ W룠 X ұAH -B>>|'-05bb:!>_?)?s-^Me!zP BbtZc"‘ ~Z)i!ݹ"S>j"Pc7z(ƑnN*]v23̺tFkw(7s5?w8p 2TS߂!h. š[@U/U'nJ؛b/м6&!6eb/wZK^$aφ-'zfp 3ҵ܍G$b㑟.K:(}2ßg|+7!g|ebU:kݱqOK deX{>W!T.^vrv6^%8=zay2 Fͣ_}O| \S6%^8 %0f~",64? U鼷x#_~z#7r9 {v xR2RӨ=w0'. ,2Ut/,]kq5U+B$,Iq1AX-8a/UӰ#@@Fܠ-ʳG2[Zˢq7kC[1hBIu\o~".`fi<{9ϫpw l_XjX]Nz ~|\JeLN#x(ʳ3jgx-]LϕRՈ\|"mAڤXbgYZҺ-"H.RR"̅hXp1F|RmO~כL \fC&ld8f[R@![久ʉduMj[Ȕf8~Tl8qr1;s! XmyqGx 9:)N*:8'il BRC@h'9L^[;5Iz[6v>I,tc\{q<"d.rizw(9cvъ5E{Pj[!*>3t<{z$>t K^ Oi^͡ה0"Ji4VW6*3 O)q01\XM433˔^/tJ]IQ^{yy˸rxFr6o2RقpFw( dG%S1YzƳ餞&" +ELX+}U7;٩Tz1 Cc .-j7<L~RY0]@2nԋ9x26 ("Hxڷ8 ۍ/F&Ͱ7rqіP;F5IbHH5¤2#oVvZ˛kgm48dEOZdslƜL'mpIg4++xj7TFc|r"qfp(w5- Ɛf1˽r\Box5C:4UX^1 Ku)xp@8nrw{zB#'o+mdZ(7Q8ѶqU8 ' dE0rfa=@1>29 ]lb?k#G9poKȎCE; R;%6("T]U4tf2W7 NBYaFe'($vQ(R&ZaUp*#Vr*wMim]Ա_zr[ 9C}5/h7>[W%_c53-×L@s"F+!dC(|JMK!֔[m+ـPO_KuqetPY`s ݕR~d7y=k޲h$iE,(eFi DZi?W(/jc<6 {Uzr@f@f&b9)eNwX-szw~ yiٵi)rI0"K#PKb^O \ѻɒEhn|ęjjFl̽y)8J(.t.˗]2Cן0ޖ\Nif+CnC7PcFpC>2T_;-m|K)whpy&aT@nUa$#|;s|;t##+sD iDY%:1b$ *ύ4MZZD,z:ҠD9>=MCl} (]1b_׉(%#XR#H'E,_.dH.9]v( cEGZQ)Ax[ Z <o &PB5WYSŽ/t䑕!gs7'q4a "\R;&͂N+e#yJuo;bAdyxTg(2/XɯXи`={g 6/: _#B0x=ft=uL9"ʖ-Ar./7_6U`CU'% Pjtr|Rre-\b]:*秕hQI e)2m09WO-wps(E>o!$~R \3 DXh>Rb?ۃ?lM 5# ;zg~S )'N"㥌CdT:ď+2*Fφ_FNmm_7i(AJox+zjY8,Lڤ0r噪p0u;pIr5AE&:4/Ydo<̂Z.vGZ܎Y,O:ˆ UIK|N˛,e{m cHZ90jD?Gn>nnV#jgv bKO3-U퀽(׫d5<׀Hͻ%#~wc?O{m8~ѯ^uq= E{YSlaCroeKvéG dFZp:χݴsF̋`vhi`׶3>D ~ ,9vQRdw?YԬ;0{PKwy0g< r6zU/0|a}pGYonK\m6PI%e4qq\-N9;xF'^0RcU2*(v k~ v[݌yax]: py SBdPc_giI]_JJK(X̗ 8(N(p=+Vߪz‹BM^L|6t(B!%X#pT_s8"3TLsFY <Ҕm"E=k2iLmݢaB}ۯK&_3-*!V R9?S/SI%S5Ga`6@3P0jd 8#ѥ$|ҍ+ë_k)!n]Q,(Wm'OaAKceɅ|A% GNcfJ_{.0CF?IQ89TUHJD$تp|˪6>'O۵ S*F`:V2ofɧu Y35/ 9| q)Tϳ6N/nW"/p6kFkf~GZwF՚sqBg*7tBk([/ 'ϛPga/z-_>\ ' []{Mp{郗m斑faK6"6*}Íg="u;J={Q;`p&*`º(8uL.{Sy._I4faa(mFVav>(JycQWƨ` '$-3DyY>Of@wɅU."F klS0˓Jv `~c /gBx Y?ikQn4B.LNrS!vϏXJ3{qQ=Qvٳ(N|Ð2䁭 /U(B{:+NW ^sXl s۷Fׯ3YlΰTN9bh"}( FQ$'2h|_%77E4xzK3US'1/Y {uu,W.ԋ#њgzy ?+f7Ќ W;+;WjGNOqG%uɵn ։UgXW B긺xVZ|-Uy!Nxg{I#Y1U'G;ڐo"׬,ډIZ}:Z f#"0.ROʄS,O( +Kj?BTe\hi^c0-͐*p3 ^1 X[PLD)0a b6B; B|q@\"7tχBU>j>Z"͍߭7b\r,)lyaKv<ᩃ|˳f Iiq 0L㺮l|lRhS,yG[@[?.+])ܕ{ AnqfEIb\xǕqQ cR(mBhnM#4BI+ ;; Ek`TὒSTf,: iYC7eٷ{/tITِ@oIB=@t\`N Q[ c!uÞ}PcJ \yB3ԗ+P$U&Kyhr_Jx'MuǑ%6Py B(v2$?x\> F6X;OH3u2bWOF X8؆F@ ڏR<`e(]m?Qv@8i!cV_тωH E.z%< \@bkoe[TB&F4ae!P^_;CuHduW,WUyxAL{|+&AMAe]0L7bޙ>BuQ.>9hrN!le~*`ܴ`Σ9<7:Q' JϏQunT:aa(CE-ϧ|y,Y#qz^qv#'r{Ԗ̑. +Vzf2Z58z@Iܢs_6ma /"II;+oSH7:"5{D"z:._hU)TˠPw  /XrVM1ʺ y'][g˥kCF?/)x0x0Y qfM)3kC}>I~PC|r~A:l# /!70Ч -߫\v++!7 AN7I%XG\#&jʢ}~LDPלVTOѫ5*Lk3uV?sc,%pjCY=|yUjwl(FmܦB%&4u$ :g 1yblj~I.!m?擈-3O?յo[S9@N"9teORI$k^aO]q?_ PY[b׽&3e_Z!鵔\yT#yNz"|n0W>#Grg~ѹ۷I_ WmLy|,(,O]l෈Pp(v '=Vt4>Z@8LmqS4`i"E%Mަ{_roҹ)!N} T+ߨ-1q{ ,Tl)| ;=y_#L9;Ô~ɕ8c]I(!HJj6tV(`g TJDr}g8ʬ'ՙ~[sB|L.kB0i76!Ѷ5uH΍i$ V@ ZY":!Ӫ#d$x70Br?ۗ|!,Y.AauH/=vczhN%lfʬ`S%F<ӹ3H7 g;Rѕ*V5k"̈PKWX<9AVViXoYg8DusPŠs O}kp JD9~pvDU0_&r]yLJkڒeuӑӾ?q;Se"P4]5j& aM9lN%SG`=D!c&%K5ƽXm4[7=mgf4Nd ·#OۇiuZmT9+NԾ.s02aJ]Q7D13b+hS cgza{a=|l* P{JuNǎkcbKah,e/OmFq hsE`_pڧJ4WC.nz”ktzbnt ?O鷺A6U׀|gNtyGǿ0D&p"B{A*;Rf 5JĠ $}ֆ:n9;հLuI=Ғ2EWĤ̀PVwH,>9|<QrXZ%=cUAEGoݹD0͆_MlpK@;5SXRͱ@Yb;[ԇǦc nt XѾ:BnmE93iOAcǑ,>^H+8hFUǍ3#<^XsNW>yϘ[I,1ވ܇mIn~qz[GURڭIXEJuOs6ؖA$֍D9:n@% Ji_.Ϲhũq!E9k-Vjb$1'T-M،ԃ _=bduJqwjIϘy;:xL2~ "q'9 m>,0/ f,o z7G7b NO^R[ ٻq$fsO/<+5)xo^/)^;5DPRf2 h"s'@JF=)س[d"UKz0iYa58o?-@-4U6\I-Ou~P t贋\;Ñb Eoeb:֞5=Y#0`8cJvx9&|֤mmXjZŕkKcki(IC֙vPZ;*ce!K*r?sRԏFtt/2!Xz+6m[gmۀ̹k0oDz}rO]v;g#_? 'RQԜJC9d7bYʯ/[&yү$;ۻf%*9Ď8?JCoL.IW0Q2`SuYd'iY[^*~z5iʵÙ ,<;a h)0:ODp@ J:` ¹x ш`O-NX`mԼǢ[_MFf-e骒eLHvX1N-mm a;4U[7j1( g{tÓ=yb_~mQ2uvt]Nj`o1}.Ѐ3;n^|T #.%VωҮ'v2C(:m]oԿ2_uMHrK\pl14Gd{teEdQDKW%$@: Vpqʇ<8v{eabIO{t3МY,rl$@QԖmvsBO W#+.@;<&Rj,Q-i+0?8 W~Oy/niܻDwqRw5Mܧ?o?Ͷ.] M6:z.ʴ[rPǑg+w89T!M HVlIVXs[{K4Iq$079 ψL -He?hڧ<ٴo?Y /'Ep~ 73QHW^1N̞f-xfazWkTJ ڈiWMەatxT8ʼnCGv:"S-zwάv3$岓tY.)@N4q4S˪AxhOChZT0RVJNDAdS ; pT4.PѼt~Y+7hU.Ǩ#{DKr;Od{ \vPJ$-Ð >`X(jmෝF>~^ץ' {-g"Y< L,f86Z?O<|8N+BOxBC ѝTpؕ2],ϖ 1doZu`O# TI$gT]Ӷ%Of{]25JE9++}7ܦ*%ڰnL \zpA4S5jat/NSqmHY|Bu8 A,^-I"~C*dtN󉙯y#8~/%Y/ː73(_icXqm)13w_>%²F}VGvdsBmT)Zzk~h@<6˦wzCUk#8ء&:,K PF8\u?vzMS.2$ԃ6NlFW,jyl{T:$%OX]mX0$҃{_ D J#~Y-aZE ezt ~&w4n`Ͳ3uK!<88/OQu"\rLB -ц7hB p}aZ|}H(1j æG/|^\2lGp-/?n,Wnz mz3ܙ?dL+SN!oMX=0nZYZɑqŶ^.ѫz QV-܀eq` F>ч szl@lWW(a߲rT8}LHDbɛI7y[Wnm+*ku%1US-n4M{L,@1*Ga'rs8DV[ͫ),O]C1xP' MH:RIfMöF7~uFW7F EbLh$e~f4{>Gfˀ >H_#%% c!n-ˎ!P;z5ߗmL>7l#nʢQ%߁WI;z ݄w .Ntʌ._^&Ըvץ﹩Rri3~E-~pPSdtQ+'?+B-D~`U`Tpŷ=v[Un4;LlE^<*sM 8o]Rh7m-'򚽴,Ug2&jM1=C/i;*ul^;tshD>i;9OT("a_gh;oQ?;@r"#* \>{@!0h}—Qs3fd/jAÉv|&N~H eoǞ9oo8X'ʆiJ1Ia1o'|dS\Vʁ bsҋf$!0nbRm3ߒݺ\dhtam0£"WLTpVRr.dRѮwɮMIЇ<]崹GքA :;ota'_4YoxYt-5Q '&$xށ~݀A+'lN;AZy`}\0xnBn\&Fsp~4"uI3 {y >\rB,٫ 6`鉡5.gf#<,Q(ЛˀH%:$Rť]]VrN&x..-]s­3=xtd014`,j^Up睶UWZ#@.cjr٥‘ܣc~%1/B[WmU変nYsyD9;0J4ppc:ʜi.`]D/z+Z+B |пˆ^>?_U;Dn)P?e /C5,w6t2"w~G Nx Lu.AMʏ|k9Ds:TmŃ\NA)@Dc=|H^˱hژ]ڽJ~fL_~dh6YL/W]a7$ P.2ߥ%Ensپ3cca]ި9$J<lC awc`Dlǎ`!ǰ$lv“1R7:OAMu*ܮG ZK<#Sj.֬÷Y. L,t(#_*;W&ԼnH éh*nˊB`>2uʴb6H++o<Mo;>GA>g|p2(x>zc BqCO~!Ԭ vbؔg5thDRs @"B5)&_KZ^SGڪIO3R^G5/f#0+^I|˱G̖a뤛@}mR(];|BSSǝ3("B{`l+i\Yq ʘ\g[ d˽^UX㝚\8 D^Q +O[a(.9I8@"dl53%D%՛?M]GdXs*NWkޕ/)e𰇘>D<䆗+T Lgegnc4kY;NMDgEL*Z0Sbx "(|4]n 0=2&u/%Qmx\L ?@)G;tsC\<8.93*MElQ'X1 =R9Pp{ި2c)SYԃ*FTce',>#=1w-f0uc|$(Ot +@d`#,p "Wm-tNQR4]nueucZ׿Oڔ^ƫ7}r&>(ůK@;Ǐ1}ʀt "&g8HsO4zj )\aEl&@SܯC3;y~^0nʼ91d7<Ik.bf@hm!Pw'6y-SnKN|kkwCߧf& ~VitmOf3V _,ߎK N+ipT) CN. G|$Үd`A9!ύE;BXT9%6#8َƂ+ ۈW ~Jh(KPni[W9r/,FA;N[o<*{9&&}/9EծD3؃Hﮣf1}pFYC4NW+K?K~CDasHn+l hz9^P./ڍ|b[r( /nm\jfЫ1 x0­-1ȎgX@0lkhSqLYĽlqB Lx@#j>JVz)Ox:I(<z+3"M~!d>) \^)mp":`ɗJz*`ͨCB} /Y6ů"qψ|hW*toY50kޘY"ֺ 1xvps@퉵hF,VFxZ_׹ ZhXX Chjg4fVK;(^,lK ^N;s5LJם\~WGѴ"RqQhJB,Uj7趢+smH ʀ%k?'CpY(L5N:NR7]BF''m^owU^Q bdG*Q{&[s0/=zIz_kQ毚#46:&k` .}J bW ϷF17(F"2{P!ZS捠Vh~d;b̽_^f@Zs+dY Dy-|qT>+ 0ӊG{ŕuIo)gU@r*^,٘Dw09)(%!J'zgF$^zJXY7DJH0_xgܿ1y!o?4ai@҃Bg_uct1EmZ@)h\j/,qGaTgſÛ9SU=07ia ep߭ta =%ᮡW [ 3R^!ߺQdO x1U\~lamw=wjJ-5e\킘Hyek*u(HTPᛮ 1|o*;c -\'#X#tQa%ohcinħ&Ͷt=u)],w.%|jtNev51 iԃY ޮ@㗅RѥEݲ~(j{qMrd272)4fXNuZtZ,4p%4mWΨ~/XR7J{ FW˹۟[ڤ%Ci1LTϙ^,D VRm V}@y\rYŁ󸵶ݯJ+V݃y"YEժRRxǠ B~R"jߟuƃ1!7=T!N56Eo,H_׷SpwchD/^^)ٜibTNB8 MQv3+l^ ! uEHr I@xO@fdBP#`eݣs1INeovs=Cu' nN}?V/`m6w[9Y=wR!WRSa q/s6_cR~1*[FǔTH6=6b,ѱlح<DO7@JڊO.[꽔 ȵNy/C L͇o 3P͉J3/TU˕47~MOߵi6O #;`ZGXԐ?{Lr$~GVu[Z#SLpj 4.Ln]-#/V v&yj)?iy`qj ,UK}J=JcA:?,U z͙BPHxA{+̗Xyt܂=̅Jw":H4撲l^At{^OAzNfϿ#/3Jm;zUB#=~u_>V(;̙?Lr(+>f7T`G΂jǷo?cfs{)0,q&儁H ˓R$ʑS30cZvbf˿_Th唈FKuׯeJL²4ӍEIN&UÆjs27aBDlW$fƬ{VdG7Wպn~ofϜKnq:4y,x ܉-zǥ şzsyfbZ0_'i'Z\%?>˥%x ޓ)X f71~kLjLXHB>L^ߥ pKќ8ٱ<ࡺq9BOZ}(-ldڈYI8JL!]$PZV|MhΌtowtp8US|BYI蛱qmඬ4OQ2H%PsӵTI5B ;>մ$-<`Fs:%nLzk1hŕrЎ[k%C\Ds*B@IQ_s+bt> 릲^hjs׺GsIGߩ=O@K; 痆5ƛ/: :/(,"8 Mχy*ׅp(Ô,Ui]KU\|F4:݀2h Ӣk{Nw{@jV@[1#&ꍁ'AUTCW8&`d 8שmz3y0dfyefla_]*~?&:%Jh[js=,39Rg*VQke4▔˔U":Hp6/+~ԼVrK 8bXS+rc;'vCK;Z i Df\I#f*O>*lz6=,c뫡.11Sd& ͷW`{b"X--S{[Aɾ'D*T3W@O\Ukl@#$hv5Ga<Xwe%Z妐A6fGVQq%,,j` ]0P~_,m\ؑ1m!.G!eb'A?k"@]YVXD*;Ğ8A@ǽ*XA-@cw* IDq" a=q^e]Z7 kSzoj]ҐCs ("..o/|5&E7biȿ"Ѵ]E^;woͨ+ۻx2ޔŖ)!^wy΍xs N}'w1BPjVd@g{Г!^B}ґc㣃ZȧoH'd UW9~ Oޣkb aC|ڙl cy^}]+O%q1'bdL.7fuW<)&4t0}кݩSUr]k0k`hxQsAIU+J۳cWW;>Q\f IE;Ogqmn:;Ң eK&Nh{ =cοbf9Z&1MR>i&b xx?*e#iP؜E~ca4Vmy PyIOb:Ŏ]gYZQ6DZC0ϒxcf c='ynaa|@̧zYf+9X 5|'rID[s_2s4ռ_I뤡[XƊPcڰfw>]W!Bb]#cX1@%:mUjOf J"K9uhep^5KQ>4Gi)n()>FM\ȅp hSlS \|s N\HzUJlIc}V5,j/*zk]0\ϦwG6 wCRP ԕE\UlSXIetx0+mؙvJ$7T &V84lկ{=23LVhs yPg׌$_ ߾ts)gg͠W5-KI$km5yI1SsyHěll(|:|c!C5zfo< a:1m~H<&zY0p<@tW2X_wQ):Ǻu! B\i7kƮ CQ?\aV.{†?SƐG0"fdosdz3UDu+? KrYD\o+;q|4/-@WHuK5Pg:_qU/<~-B$^L69-Xjr@\%qSo/_W||qS:K3Ot1$@A|q2rw-{3yof <PA_yXwK M>}d [ s']2U䰱rf*a ͼާ5D GV1iXEkgy8:?9!Qn`}XbivS }V:TEꃤx jS^TW% (o=["0$idKɄKZV}0ڠ^ yI`3FtΙ|MnP4pJĬ:kǻ)*'uζңNHQJD0bC14 k@T ۅ0r4LG V .Ww]0~Zz,LɌP(4;/醄rj`aBg?EY '8Zq>ޮtq1W"12R5$^ :*ee, ߂]ac'>-e7v?Jσms9$ ~mNRcuҚF"zóuI;Q >̚y8#Z5Szօ΋5妋4g+ "+ SG Ȇ5LoM}B`(t9~:dhVkz*a5?!;;:̗ CAТ:,lY,* S-K*Asbe OL}{=VIז!&+).S_+A2M[vsp${fb1 2D>b1ڵ-y[#'hxw=+e &YaR4a ⬪\`0b*dGњ#0~i )jp P+NbTNi$` wMEh `A3(AQGhZ#`: wT➜%sUl 8`y N/sB C܅Թiee3wOꎌ}ly(8:q> ?;sWdA #/ؾ)Ǣ'utpݙ5;pt#0}Ə%}GeI_"'߽VGڣUcoNdE|(`# ^_>=,1'3]jP@D!B[Qi/"d> uP#`k_ Nx@@pC?$KBD0u-&ENz Ah=<+P#f*SN\Xñq6 w?GXȓgqF0y$ȷ_jQT/YN5Xj m òoW׋hkJ0LI u@*hURu:El8MfoS)H߈u hXݪu*e2%'McpcZp RmNa(/c,cG ,^Z9-ipGzNH2[w7ڼݝnܩy=m"w;d7q{Rs=/J `s|7h 5w^{?Z(6RܒDz}XUt>JE"{E!tMFM Q$mFyŏGq~l I/8` MmiE@5‡׃K&+)\Z`aO0/5@R` V窦B^?jAډ/ْtji@YXٳ= 3"TZso1.x5$uM{BI5, i\d>؝ZAUmBs #$I}^tUU MT6߬ %FQ1ZiBeGpV%#q[vC\ĭ°ݱOßVAAٜ")_`a jmWV{. iOJf,$`:u1BP<C꽺g[fĠSo!fkjʦ=6xj3FGrI7W7Tu]'pe'^8#j1'Z R'^h iV`Xf?kGVcb^nF >7N|IM ؄ô`vX7@UN3w$5t8OAw3~kJZ5ۨ7s]Z l͎gPd%]_2Jb-/YN-q_韮@:N!dAB#tkʋ?ģ.{4͈3/Fߑoxa@}~jX`oY4jIv̭OYGc aC 8qP}Qq"7p]6^O#5OG{@2 e S;7yW)xL{7sJ}qcf iX,/V~,^,1!9);DF<,=JG4LL>xB 9rb+Y\gy1 #fMZGSJIFSwb5Zөtto>|,)Wق{k=UdžOpqbt]8=b!:e\q׃u f:ռr{wPؚV+xH?4Nj\I,Pa͹ISt7hΫrg'pS1\= s{Eb$P>iа,G%iUDCh=Mj7΄NS6'! %*]Dy),FfV, jknnAD1Z𮷥_Y"cr%5_ 67ɨAkkXw5ja C"49‚=EZJ`] po- ψ b RCD hmL4b42IrjX02BiQ@ Q3HXz]BHijݕajIA!Mc'/xG| Gn1_*;aFLn̄zgp9(6h6z<֐g*T԰r]^#N@k<:Sv?v¢j-SmUt`A;VPD{jvB #g(u4+ࠡG$̾Nr0 Ck8*!5iE-%nc`>uAW;*` {|G&{fg_nMGU'K TK}\:m]>>$pa]R4tfU X 6>jGVؚmr4S'Ҷ6kI8vtĹΙmD6n:"dN! gmpCfIM"VyG3<\_5dmjjT"@M0*Rl4A:iUvzM :8tܯ+D`гp;aUa١K˥$]uLOuٳ/4?L(zJ@IR r|=t̆ ڮďt!/}NS~G܂9nsr,m@to~xURl5ۖ@_*PV`jc뇠lmQ#gX*:|‘c!tXP_L~R͇jH-C&p3㍻M2q_s¾iKܞߔE^ e/ /4.b kLeڧTlNv7ujp|4yټN\b0_:^q$ nU}*v3%M}*zt4gJEܖȟu<ٗ9p@6~Kog,k'PsrC>İHjUdFa(n3:Vl2D)h B'^A0lls\YPqyh9ʵj{EB#d$!nZr%0n f@N4;¾t.aWh?Bt䎫'f=-jtAD%Q1}-H/녒 ( Q`EMZpUDj/ TX,FUoz; Iͼ1D b`k }n<4mKeYc h^s˲fady2o7uT늮 /^3bK+@Gbĥ*A%rx~O(3K/wj__39}^8c8Fk&c–m} Jb<nUɕ!Q׈tjn U5cBNCpudR\疦}CUdW$ʕD} ܳ7\7l"}p6GK^œ :MvzX??IՁBxg$"ߕd `_lG>'pd+* Nyo|L-SM |"FL")Q B>L5iR1E4'Ui֙3{PrgBwχhf 4ݼJO 2"҄ %Wx2@,mz/[Oۭ)vS~Ӕ$]S};1Py- _K\MU@ycejɴ*3fvR"ܱhl0eNbIN]_-V&l;͜ dP8Se-h#t;u8D5٪X5+r?+&y ʃE*p.'G^x?=-F 6޳Ԇ>BG˲+ծ_vR%?VcȠր8nJi=M nѹLa{5 ~JP V̝B6}3F{2̗0n#)&E7 }{͢I ySiBÔϰVsF6Ӱ1 `Rʿ# Rƙ$ߺ*>lu?uD[N?dB xL|&c-*܏]M  k6 B~g l2\vn !UthJ(vAr#>i#r.3 P/h  ).UZCM&N]u 9O'ԞV{{ ]B6$RĂp8=槢!`aMCǍ޶c;)).Am?)OV [&k!k&?#L53rvgZIuSJ΁. gbhK^ оn8?rs1ۻ{/02%ݵƤ:+Bl}X#Wb&$X~kJx) e NS~r;QU#̧Tv%rԽjlWֻ `Hx˩)'otj2kot_IH:w{Ydгwe^{AV *zo01 d<1βt*]Xpwi%ekAnh[ #O&+v ]4vc7ެQěX{הw뎮s:gR R4,Ӫ fp^UFz8,|8. o")خ4D }m7@: |-^^ho15Ga%]d[ q ??<Ơ/嵑g%fQo gI;2!J )(h>et#‹91Bu=lSl!@9<9qI'X6#.t%,F4;+SKoX^~6 BB4W-0lMKEBvd4*.^yO5{%uSv#?_^uhԖʭ,w` VNusyUŃ2 <ZN[~ `G492gdPWĶ32^lHrH6>3TeP$l({x%>Ӡt%+3mj釔^z !K?)jyƎ%D{.># *<7ǺYQaEЈ9˟]!y3e{$O&z0fҎ2DܞaƒP΅Ȕ3abSB@e 6LbE=VMȃ֢Y#Jw IITrzQ5 Pu2SN~Y~FM?V;֟ڤ:kR a٣MH0[QQ Vv\`}WP t+Cl@wTä?7aé28tH`B2/@䗦660gM.2ls͕_Q'cز|s'eV"%VWΣBUR4l}? >Ė~( Ǟ'AkϷhxt}qjdd]=Gtmڭ,ұ%5TLj:I;L6U)*we'# l+-rlw4sOȚ 1 ܳ =7exF1N~[>l!2 Θgvȭ^=,Wʄn[S-pn٨۪$]pq cCs<) ܖ`ܔs $sA1bHN# =#PV ˄Ҕ1֔hRo;FL~v^yM`4I]׋U) g v8+`;F Hzb47}?jr&.ǣT>` "qBk:Rji_b٘ev]V EHꚚѼXL&'MkUMÀ>lwN[g+x6D`u,d'Z0fhB5ͫf6r%KTK_XWh🽍Z):%ZgS۷r~gA]]rll|8Mx1IR*<l{yg+^<5QkCZCPHv 6`A?U)$'>p-CͥIA$B 5k~OϢ/B c/ؼ^~, [},z KG2kLE<.dp+D]#R⠯5~DztYw6a|_P6%dv "k0 Ɂ84ҖjPDžM.eb#>d<}Of@> (RȀ^֧ڱ#|KwF q]{s';]D߮y $CJWVhZLJ3-O4Gly;h6LrS_T*괂mCtD\4b&_!#[w7}lUv"_~ax]P|JV}Bȝzʥ%?&:FH]91NmĸH+_Az1~unUc:pڄtk/T8ۂd&/ʆ6EsIr&`yԽF@!p}J$߅+7@kˤ~|>!ܔBgw8wT[=òd0s8w=cљ>s+Y NkL)Te J9EVxL *jVsq<ɢD\tVt݄i⢁c6gr'Q}y +'&H̭`un2녽؟$H_?"R?n4 D߂͟PsPz p*۴b8y|LdA;l$ S 8|aV3nSU/8[SV_v:7_ڟfj3‘5-!~G'%]oW:^'IaB6|1ftq|ʻo /q\.W ku~ 4 61_s1NreG}͆f/x}j[蝛eȰ XFhH~.Xͷ6M/~yAKHJ;j=Z#(hkU +uEK3DE>\rBXK^CnQdV@,۪ T,|D*,V>ѳt*׬T6(l6i4Fm~s61O?=,9RO V:qmbƈ,Y5`ƒ!'>ӬCPFϵmAK;Dk81ԀblhPR6:eDui ;\/B&< )R Vg;.ˁAc׌f?N*b-#dzHV5 WAC5m7En=[=0hDNqBm8Z隐F -ߎ#q.dExWٽr0̨;r"9)W," _DbnG pl_=$5L}_k*h28cLɩjIVյAn4mLvXeOrF4#΂~#'UJCGlSAft" oN+y1wv$ [g}7" 2ݖeՏ_(\etkdMT;Ü)k01'":sE.hF׃-)3V}+s[x;,~K :|.58eddGO?X]աBΑ1W:O˞ JyfɄ t&>H6Vt\g0c_7P0ꮽXT;^r=0S\zd^K+`3],ZNO/e"8*֚NYHĠm:t")N-c-HJVF zD H;fЖ@fۂvoR ־4j5|3ýNgƈWVMǡ=$O/r8ƴ``nrI~̰TVly`#FAWnpܝOE=EN5VT_Ds{`Pi/ihj'>{* @/_K7x-  Eo2-Nh<]b#/RބK|FF٥)N|20GI?I ޞuNo3]d̺( @Nykd1f?`fKűVsT1;$k9EE`*4 EdN zY2Z3:uLK}4]WN,%:]0"TwϹ}Cp]^3~{F!W3ٸTM-]YtS[ӈSljCp O\g<@@V\q=d@*~X*j%= 0}yrZ261 o\ڐ˽ԤңӨ(yKz$yxJ4 Mqx7lQ: ZO}c;D/uϩ'tsEʃt9q?Ȕ&+Ԁ#TQ";}T.pA` ?q=FK6Gkk͠ڕBۉKoQ+/jgOtBX0`%t.S4zs{V5YHilèk)}c6!Vp^D6u0PF6=&pl;aP[vN{>.̙~q~a'ezLB}ĻL܃;˞zv4.P5Aǜ/xQ| PRF2hR=F\/zOJ! /I]4,z+q3fe`?gy%0˶> 5p~We,dT{TX! y$Tj6 B7+s%1r[Q"V4?%/n3X&rJXELT{ڐcoГ}l z]|ƫ$)~j;ǐ ҟh,Gޜhf 5Q${ A4iPp$-yHZπf=È"~~_h^#*"QFɰ>m0xA0miEb͗2B!qDs1bWb_ƆLͱ}3RVK -ry5OANq8z׉t7[F((_UfiUYF;T@6A-׌7Xh%67b,.ӕc6PSPaR,{tg/7H9F݄fpo{ Ped콐.c^5]n&deElKg]V}]5\ބO4])\iBV2AeZ"SMMkct?}]$DN߇[c*ߚY' Dk:tQCK{A֛uLаxCqx2cɤIuMNs-mIO_=$ D%qUF|QXx^Vv#vFtnnMw ~kiݫ&?0K dRf4LϑxbJё+h^{XI¬kƯt I6'zV{[[Ք-xHWnW<2BmT8(ҏ(;sf.ioPv|z:hh3bCqbҢ54o])MojYMiG1-kK5- !h2n޸ DuuR[O㰴k7!d\|&q0LUb+esTa3e%FF+sT!79e`:1͊PgɐyX`>xt WQ)hH E We|%/Ԕ14{^|'E(rQ}VDN|{C0} P@^jf&fjZ(˂hãmqzz(%auve;O~;l}~~r% ~Q!ekr_MO(y NVA\C OccFΔvu8RzNdW*)I{;[%(vAՍE)!>z6DmȇiGxI䷑`$`(eE?0|?{ъ[JQv@^l^'!^Fgg`gvux\0lJX'^OIhHhx %%\[;wD)6?#/;CzLD+=SkGq0:P3R|rm%SM/XP<{WPM$T9?MC:a=6}^I.B& 6o.->&_,pa8i}ua\REMGMٚL֛#`/":hz-O,sb/r=5}n= f,8j 6 $ cut:(U|V*/$&Ul q{ύd1Pw<8Ģ5i;h؜$loh &ۍ~)Βع ?,sxd86n;r}hű?]-n5tgm8C_ ߪW$"2\I/ lyԔІ(p$t", χKDe%!H)'/,7L(aoqyl_9)bT{UTLmh2ϳ"R_\ ̜"}{xzhMUQ3A" b{w'A T+Ƒzɡ22tY4 VXff*?OFcwPR|;}~ֶ%yҾ ״` }ݸUʵ%^F͞3J.4\M~ߐ\ї z+NJ`R,ŴY( Q)@#C(zgVs آh`9(NIߥ9D3x:#0T;R1cD}}.P-P!bI텘OOv&>a H'ť~Y &hkL!kDRt왉qHÇ"M=ȓ50^'u z7ҿAp)P=fs\$fXQN^MFf2Ӡ"M8&2I38ˑQzH'"3?X4ek~rrI %`K}\3P3ksJ \ 3xmcbV{؇Vy6 HDCm!He-ɳ8jz[)&UhR `udOq9' )_ P߆HkraJ/潳ӎ2B"z&aNS0|>Ū@ݘ6A3 TKmo#1OΦ51cFs{L-wȝ3rg &j#! 3jQy\V響s;Q30.f9Wؘ%̓]ŚkH;1zИ|uߑ3/5`'[]*DXc_7]o #]^Sx(b:3ꊌ) ցR; Ou uDP} mѕrMalwd=ѳInCyXajVYU) CيE'L ;N齌_Rp6'Fxw KEVG$.Jn {9Ӟkq3}߾)5!jG8 Vˏ^F}C]0y۳ -)d6“o>ok3@A%,JWXܻ\ڰ˙ztX'OATF_ex0L_$'/Q k8M'$jj7 .s+Sbmi^,MBbAD׊#.ߍ,p p9J5ʂ LWaw?~VO`5ҳC1ZKNPF=.Є eFbHQy>"Hbi3kM*q sb Dބ(P{80](E#pZ$(z/V֎ʿzBZ 0$]Dc[⎐;ٙXr֊b !CruH0 KU|. vG"y? i&}pX!pi8 ?#f3(@rO7_)9VIj%Ms됋ɀdČ N|N'xepA&kj+ &k](8 .dP_ &aGH^Y""?oqot<\j{cFLz? =V5M>Y2؛p@Dʗ@HVXpB"-fJp R?O9w8#& Fl=3=D jUۥzXk6}^F9uX` gѲG).v}B>=N/P0w%ͮrM]#H"|CBH-G[Y9kDQ@› mLcaWǭ#ڱ )ysN!ƇA&MVdx@ɎKCǏO{QamqrMFFS3-c7Y"B,{1p 8}7GhySb+8 X cș<nUⓉVŹ2*#8N;R0噁"w,1w:|?~Rҕ ~>o^"=XNV%oRmEɠv>$L\1ȑӍ|/,P7pʮRv=d%5 ^!g8)@NvƺUGeQf%x-(K3[|=yJ|?.HH;T\+TX/:3t{< K^'m3eHp02qNN -Cs;PE`#}=D#r (nnwgQD+ 56]VZ|-H(0n vŹ gǿIK2OaY}oo0朕tB5Wô`}gYg] ~qlsu -w&jQQXQ7$moJ:|Kܩvzsi >>Jᠠժo6h/u׋2#kߝHt&o׎407+cqPou;d 3,[I^@W!~FwW|-%E${?#|#"}ìdyFx)^75*Qƕ@gM#C6ueHD, =#[KpraN*`tz٠tmc=نG_)*)s>)V {aZ:CsL&x(-Vu$H\4/Gld 1 ŷ* plrSW7, Z=ۺN$ߐR<=(d1F}؀l^'|d(nJ 8{1n]^R[Biأ6"dewl_l@ڹ*B`94$惴ԜGyVr-uJfco:oe^N!~vz4T>efېա,0\*t-*Vxh۔jkhi Cu? b<;£l^qMyt7s4VE~Ua%.*r/|m^ggbpKⶻ̈@܎ ?~:  έյaPOtzcY/Y>ԕD'Ywh! NQumD?wäKub[9Js}&1[֏2fD7颁Úڳ”* ~d|zmCNG !/y!q?[ӑ9p.Od=E:,H9 ScSmn>!6ܗ z.gׅp32'&==Uϟw$jJ_?ߠwŀ\(,"V2^?CH4g*$Ү)MֹpoF3Mc!;█ p? {US%$ uzJZzfIjU&A̫8ud?p nPIPêj'c6>@c֙ʠrŊ"Rǵw*}J~/>H"LQ9W~Ѯ[I d {[.[EF|_˼Ő$~-:_5_չiXJl9Ԓ) 4_^3/AAmJ},PoOJ*$RA㘳G*PjyȷhJu:ο_@>a m|v C?&I  A~8%=U:7NnGEztˋ%/޾% %*}jAk ch=½Bjj#dYDP\M|y[D c)QI7IR_߳=GT ߔeLfZ@ K4'1J:R6e˹1"I˕cR 8þe!VWWKߙ(m{a4m/IԦY x_g A)/z-Od23Q^OŬn )N|dE#0y6/5}}ndӿDMO#0fj@.TEC8uWW=-t$'OI >}KƄ5Ǡ|fRTy4g %9)B'i&uAi 򈖽 }2^Wb$vYFpAn!7NX]GcrhFJ*C H if)ܷLxt4x𦋴&Bf3 ~0+8`Qbn"B ïnl|1a(ȚDuNЫ"Hk;f"(/Yo|PER MḒsGKy-=1A)G׶Y:c&L+*k6Bx]]wLu&m,{C{pDkA[]|x_ #FzZ`s jQݗ_F q~i߾lLesѻ5V <>؋6H =Ӌ$^ѨA೬.Pgy iOQ?su>JtGExX4نLnH%,ˮBFɍvcs'A ~]*$+΋'' }JxX gA11Rm _[Z^b)bH[ʣ,c?܍Ob!gW?1J~t\- ?]y(+tβ(8)ՃjL]Ȍ"yd̅AqT<\Xݣ)pXw4#mלHR}]b't$_xR !y,8a)fzWWDKaOZKM Vhh#ga)Xu&(Xp.YyaH:A(1{5&+ƕMMoڜqFŸ@2tC#Dv;T6)>\^"2"ksDNG* Yo|2Go:+ t|.1w]'M&O kȯ)cWT1A`-xwgݮbDur1Vs yT^^,B|hWѓzrf (u<.7^68v)W•FxGx l(;Mo/UFet/G%6} NU5pd!^xș h8@rM/ZPq(ΗKJP"{x^a>o1F2hpB_PW3r|w ^y^ aq+;FTt!{httnQ6Wk9x dvf)&穐>e| i4'M%x:D`v~ᨼ?OlAQI5՟<@ฐ1]"[_Y-8z\P n$~Gep{xfqG%A'՞s%GTi:} 5T6 1_ǭY`rFo D{y$*[=aMk65D2I.:,`cLORd]#vFXqr@;501~兛Ըo>xm/!Tv2AGBn@}GckHs<kOؑfV+L^CgLS7f ej^Y= 1Tl i:>5F,@eAA ד :tKv4h.eVTi es+~{CMPMZ(@IcMGUVZoPXSAzKP LD^ ~-Ŭ^ p K"HXn;V(qY_ n2tBհhP (hP021ȓ~{Ϻ!$[:KmMGxS\[\4XkĶ!8TTj?"uG k=œ[ gϷ@G;r8]'% V;AMeԻO]VB=ڎ`Qkq Yjv++kN:$q2IC+IIkXy`p|&EzI >E{0!x ;q5ǁz8(+qcXIශ#D _w]@gYZ W !5% TZFC_in_HOLZFC_in_HOL.Cantor_NFdocument.tex7zXZִF! GD]d]A-MՋhvG"uIBm5 1ٖr%nwV'!.SC#KxxAZ_Tmݓ~{qI/=o<Ε7fgP8Hj,zU%R^Ptvxޗ>vsO' {9 ^-+;E~:MQb7UۈցD.mO ޶ Dodb*2-t)0*o{g(mm:[PL4#$x#Nl( (y&ۉ ޥ= gË1DshDG/kJf e hOt~f?ҦJ Mp:+VqJؙ@5{Rl]YCNd=Y=ۀŘ݂ZT'ZWAban5ߟ!t`vDh+!NsQ: 1pUyCVM `6PGS?1F MXi800`qr49Su͚a=2fKU Xt±kc|Z^p*j,UZnxj8 zJٲH ~!6UQGEsL,Ҥҧ,]vpzk0_bp6~zrٷiYJɬ(#g`y;L+̑"hBUեُ$˸D10Y*ڻԯ|N>WW4X9,{F#Z>iHgtL goiԱ += Ws0I z᧎ԤͥߛP*bÉ)r3=W10 dj5rYm?L 蛪Ţ{fN2> /ެtQG!JE+ Qñ[7D>Vs$v=+~:}Zf7A@Y ).OzTN+; )t}~qP߫;8牃tN^pи,N`$fD9U M߫"6՘^od n, {T9b,5̍ &@"\uo|H;cs:ӛ>`W2Ö1 z^8>jгXmAD")Xtsy"3˒@igHcJo<4B.}Ѱ<ޘ<ө K={ɘڂkf-zVAwӰ vC>>_3|Wx 5Mn3I|I34}4ܔ¿μJ؉ɘ D^>X(vU88ۧGe.ITo.1ѻ*%=DD_ _ymэi 8]xWItv-7J]~Ezuv(KnTun4j4>˱|W~l㾍>cymM4aNҠ[~]V(Hx/7Om^!3K] F|*1Xl-}7wZs!)ftY)/ OS{+;@Pܳ}\|n*#Z[CQ m'LaXtocs%iHG;P| +I5P]AY*\-N^"6|Z`Qf2ȇE])*zɱd;Cm&$ogr$M\PTyQtP]ZDXr^”"NQ\_ 23?YG+t,}A ΅ذ zU2-^K{ 5= NFh 01:Ψ1zC>FMV~ \WEk6<-zT6na=6xv>}R;S !DY?=y%~Eh-EPeh`F%i[*hu'HMPݟ{C 2GlWCe;4 /G6'@r#']9.Hsw?rl.j& C~* ^Ԓ - digX \S^HV+4tݬ%Iy,gڕ[45 !R vI<-( ˺}E5O9- c%YDfX<$IG7'cuZxlTPeC@RM_-/9IKW~x;r.E]_?Sۣ&{I$h:|DζҲc 'p2F6* PkJYlL~4>N([}vlI_|ypUd`ۯ9 ̊+[@2  !W% DZFC_in_HOLHOL-Cardinals.Cardinal_Order_Relationdocument.tex7zXZִF! Yp]A-MՋhvG"uIBm5 * )^ Í/ET_/ӶFpzͭ3{W^X(q<kDۥmm5 dQEq\;91ӠOl=@P(r [\FeBcL=kg1JlE5ohcJE=pU/xAJeeB^NhJucyrf&ԍc^DIb˹-r;{5a=_由"lQ8exO,ͭwI}2k[,P829E'5g>M<@f8[H~q% Q ŋM CI's ^`;WηhCDlʑ'>1n~4^F!)/Sf5hHĻwTW[T,%+FX,da0XֵΕg7$1Fpg_INmq89 nDv g96 Qz*?ßޘFY̳/pP&WBv9uqn#2*KOꟃv~4 ÍU~!/A&"j<% 1bSYɈ1b#[\73=ͱ \QQwY$ħc-y}WV st+vsVJ5K9TO`f3*Q.UD-g`dp^6CKsM"-/ 1F+Tah@YKMf4Oayn?ZoU`zP fB bT>Ȯ 0W~)PA9c=8yM8 TZ7?6iSS<;\cqb=m{0wN*{ L;^?+qܶ`¼؃U2Z1vDi2L&Xx5,6 C}=i?K  \+m' C;FQtʬzlz%UW+A0ro|N/n8 #?tmӡS1ɖajiO3^Iޘf70 E' ʆgψ_̖( IFβtV|MSjѪ滨;F}'zFGwU2J59[僽Y]Cc3 ټ`~qx [nogTkdow%Fu} R &G<wv$J$V4U{ m a\ H#`c\LIS+Ƕ.RXrM }M/Ob;5iEF~ \uZb@fݮ{.0j%[ˢ+^n{?iiGyV^ކW wdZJ)G#]^1Ԫ^Ew6JwTowsfc+QqTR۩.(VQ'/n<5;=<@GM g՗Z~m'9iDr$\i< G]|{mXat?MG<3ۭsH98Lꓖ !M% ZFC_in_HOLHOL-Cardinals.Ordinal_Arithmeticdocument.tex7zXZִF! Qs]A-MՋhvG"uIBm5Ńu Ys5aC L>*(x{,&8-6) ēmfXz;$X[n!XN00cX |:Gs*qΞ+N'Onk)(H礦˖3E.֚ =x4530m@8 @~c~!-hC>JJ5E;SXMN `: dRzRח6;AiU>4f㚸nH7IQu1E wD.Z>~pc$:Z/8'.-OP;6.iOQ'h-8e| ?`b(W:6_4F`?['5iFVy {KQ.CZqd #r@gYpi-%A ۮ K!6Pݬݠ¥x9'R'. |6Ž?q7 勫Eb8IB BlY$)v+/;g%A)Ǿs 䴏Lϋ":[;F,L{9L`^rBmS,EZ5N<[$0P^| BA .D~B^0mHLn.7Gʾ3"ŬGOrObi[xp6ۮ#dA#5"Dz"lEZ+j\$pqp%ь| PEM=1ֆLkci28֊y0y*{&=րa#-U<5zjmr D.ʹ0!0C0x3Kua6~2^Kݲ^"sOrqkM*qnHn}r-H#R?η豸9gFL~V}X˘ջ`Է"Kz\!5㰄9-|T|#IP<,dL -\ZyխyUJd'D؝8#P.eJup0=tGfcDobrUVI>Cc^\翶M0ۅ#gJP6iDїyaC+ <I2)i0k5<겉'.}Aa!p0gi4x HsWnQЊ倴hrsĺaw\8$ ej`#vn }+j{}tH2BhALǭ{DǷ.7l7"RܨmKOn &b%Vp'F'{e&p_WT_]_ ./VL ws lʜ =lN:>y:(P d“q_ycxĀ K6kEU5C^V@cwϒVZ鸤ϊz ʁ\\KE&hWl m]sx)u# Su%qL0p ej{=ak4u'9NW)4Σݯ%$q7fx.Gx8a_igjpSk>hcjmV~\s%dAج1@5Y;Vym ; GX#ԎЯ#D]/4/Ѹ\pVRh 1=?F[IOW+/qH w*b:2 dwK;)*'Γ/j(}O`pqC<S5/Ͱ@Qr?:Cz?TD =V.h+J I/'̈́ aC=HoքFC(YEo bV.wyK_)~S c?/!,:Dr¬r $)@!rAӞkxj!YRy-1eܶzCR![Z)~u5n4wAڊt\M29퇆L!o]NCȡ6U<@8*<*1y'] )6n$yn2CoSWAAzjhIjʼ21o[Z< (38# 15*)`3xdY6f@vT0 ~ o@mghm~z-0nz0An3Q dN-xgi];{9+{ Ζ(sQFORMr1O>ʯ% fzW @zLnߌHIPKs'&9P$XԤHoh @8ޗa߈{t8-L,N.ʄK̉;vǜ}upLٻG&eG#/mu(iDՀPe#KssLAe.Ȕ""ޱJvE*Pn]-%P{1ʜ #*A|cYo12 6^}@$3CI#hRKY}1m0ŗ^O*2ʉWp=, *] `8’'½ r<ࠈ0 `W?𺰶7{& z;?g kE> {3 GkT. =-b5#s'%GЊe ]r{?&0.J&MҠ3{r̡uʼ#y?ݮitSW.u\/=Uķe@0O%955z/do4@0+r/-&D9;Fy̏\x)5J.UoN-|~k?Z5RiJǷm6uIڣ7!jqjK+JiiI1-P:ibQw_l%+HP$Wڧbۖ:i !Ϻb@daRc}\FNϭ\~ylR@|sjay&} 7pe_:JJnކ[[ |M`zk nWǓe,}.5\2Uy̔yk^g.+Ͷ!0`^y[U2: ԋTpaލ |j-@Wm*F9S/D+kވUY]WbR݇fz9Hti'=kec%I#Fu?}\KU3f)ATmt7?@#I孱g=(nI+;؟Z&r]ެ709VE kfiW}'p >=ب!/Z6L)!XmA : M>U_3iu<>HhE#ίObS,0Rϥ/Sg{T∭ņDOm7GQ%|'."u`D~FS!蠲fu,nnB &y!snD[ JIpH%"3H=p9 ڼ(>Jשfq\wz"7mY4ޕ5)X˸EQ0 c9つ#[u..kb,^2!Z/5}b\c(Y/^5N$`#-^a_2sO8A)]9BIK`k0$)žWl|."iXbg<%30 ޒR;̨5[+R喖<9nxyDRuʶDͦWN J!=r 0udHN`Pip)y|HvvG8"]H>;z(k9Z5;e2͈:bV23MRD-wd}R*^dGUFEE8J?g7p@{ډ<rKVJsrYg~$RxFKzӌ4? f.71qQ*.)gGp&֌dD|*"F5F0Ef0D83cXE/ʿ-poh+,J%[?qf(;$fz _ 2nßmˎ4ܿVlm:_h5>7Xi>aSBF׸Ȍ2+Żυ2^swtagەtay4G-B]$pɝ\hV=SulĻ?Òo5 9aNmx{QLݫĚSrx\d846es<Ũ>b\}T(MX3JR9I1W26.DziWW{yL ;zuxM0SQNT\&Cl TÆ.Dw(JuG0 ݢ|p#@Pa 67*}#"e&iP %D~b|J!p.m~S\1չvT csa=ݲF;Ӂ";7KX9?7QS>"srF:7&RX>4l1%F.tTHS.ᅳ ~C?DDf1SZmczN~ď2.gc^*t#r;Bg |YgIYj ?$䃸 B| urk)ٟ5ugFf?N&b=s'%k|Nļ[mʎ/4#8_s-mV9،5 ًӇFoDPR,\y^{*L'}𸨯Hhx-M0=}ЃZ Lw]9޶%~jkksɱ'pbZyK):ބ'uكN^*-P6k#$5:;6I#KM7RB'zSMѲ|}[3HiZ@*_6\b廪yYeȈ~#{t`>Xc-YzRbBeuoK"L 0TȑRw8NTCL\2~_"ʍ6ZJu֞r>M+*#N'x5盫} ƙSޘhXK *j[yz pOR%|!1?x]"x|M#ќ?E%vn~ u1g}m (âAe M{GKhDpph0@M6+?̬ۂPhl`Dm\{r=7$;ҕqW*'xwY 1 xL1W!#D L3M3=X@jgn XGx:s^խ(dPS@WdبWs {{s쵒97#ت>b@ɊX^,Ο]!TR&T 4k V] l\Z)l[]T >l`i<yHqyu:M ]ۛ !ҵ(!P$@UB9XSRAE-\̶b& :vK.~{,t(?^ Ko 3%rXE60?&Ta+B9j)-&h8r,hw=G: Qzm(R|NA~}'&$$$A[w?RL`&Y gJ[z igɃ2 bhDY!ztPi]_,'Z󼱵H5ga[دɢ?RWL$cL7YB7rn4+wwđhQMAs*Gqvo+/aeY@QO>Ziq i[#pC<-"z&"<.| (HJ&?`qah`hl+GH渆f !!Pz buN{^?$Ե38EmwoD{`w6N|%x)$aM@e|7K+W[ ]HcyL{m7=x%naJ?rd0eꪠY ޖCR!8FeaXd,]n ~BlM{67}l/Y9M ա"Bu/T =<%=-J䮛?K: "AruE>5r @+Z鱴\vЗ8:aɈp4ה7z '3st W(d]uĒnȠ;*=$gA4c!lEVE0K ­{>18)f!e'szrzѓKDB іϸZZiUx[v-hy'2OLqQ7S UϺ);<8 oZi:L=R_!j+&)>KU_Jn7nm%;6ANml`p s ŸA;rTkMhC3͵nT7C.26BQ`7sy>JQ,/EsVe}+5m;-To!<ҠEVЗŔ|X@=?dVPOX/V<&ڮs \RY秤Y⇥ܸdU5lv$zw!D>gv,Fl-:8Wڀ6'd0SK1{1([jf4!e"$XL4z3_ϓWyaAUi|HOG י YA0hZσ5,m ABȚ0ۄ4w0?3_xw>~v!BS~8i7sXа~`j'GxiƷVg;alq@aS0-͇`$W)]/D4~>.C}3NmW :GzGcSKY$;܌q;EŸj+ 6̳5¼()#O)@ıl-!ޡ_? 6 bӕ.dn]P%ar>1q-</p;S m5ʷ"6A ~^1:0T|帕#ߔ9O({.>Srt'^ thaN0AM(\Yma:8hKL|{nwS=W 9H-ШÛ}KЖU Fx~n"џ< MMZ[nɁ4;pjdMY?Ss'Q^!X8b'3l ӀpU0v!U|+IN:X>P5AOԢ5.3 ;/I\=7䒴g/Vs>@%d]!BXŮrPld90C SĔ/߫\.\ γI!?e.LumKi2k\!C:8^Y۷v4fҠ}u E{U# i';=asrP0=jAuIY¤;4uڪd& ۞I-Iܚ܇8qӒwYGe+dUY2u[< ɚc:q \*gxWVOFSP1|Upvܪ¯>ͲkU]ΤFN4/.,w6Ɓ2Q0e5a8;)A}34I/Hq/%ު~ɺĸjV:Dv>䵜2, 6BhLgr;܂^WXN~;p7]%8Mb`l&Q'd)u2M/}&\!<Թ!ۛwfɦr·s= TA).0;FR'anf`:dYVr@& L4ci8tFeJIp̌ .m{=P14JA~dO`.΃LЧv*NP'xV@zio4RmAN(QOΥ̘_M„TC(SQ`ct½I&r&ne:L(7PU h*}&|ɂt] ^z9%CΏt>1Dq}k^q㞼mQP>Q*ӛ;)^—U&6ݒŨ2%RuZnR:ո0ٺ:+6u-"J:_:|G['@K̈WZBj|].䷮E0X4t& N4?=)4/Q%wKg~l S*jJ%Aa&=;+h8 Y}5qОgsUHfhN|4rКϸ̆yOȂ6S۞k `핪s/nXz9C߽ ZtEym:qF ?FpapE#"|xV+mA(_ht5;v"ن. `N3rf)>Һił{Vn SEjOF14 ^*22; DOK} OsIL_H M 25GMMG*\- RQ2(r (*^%-D[3f_Mj!L'!֯1'5 zz8cey5~Lqɧ{유?@1B?A].}mD7sC Þ ]q 8ϵ1l9hYXnܜv6,!seQ^VֽmkQ@h?o' ]jvjL`4ՠgms#ЂPSedG~mR{`QȏVz 7a)DDp_uNJ+,uhוpܑZr`w9%"mI-7kuG'V -)9m pk]젉ρ4w[($@WO I~ז3z7xʘ:i1lE4ls'e~i G\3P'L\"J&ap+& XI'(ߟAרO`n_|1e('|6,6e0=倴`Qy=0]ߴQxҎ@WX HB҄ KQ {x)S@oRYEIy(۩]C)ND$TP9 5 c䕔,4H- AHϡܮq)mz!@t_=T`:&PMN.=CaS@ е"T(f r,kRYqSn bNvґsFY#2U@Js592DR4#I\%_?h5xqbDcD&u<d~ȲWzLӌiUo_InǿC5!C~ѡ-V#2˓0\N4-,gl?Ԥ`B@]4C:"d W쀜X (H׊U2[2–pCR9pϝ>?P;_ KuR/Klf Gʛ_5`; A;pMCko8(Ypr fco]y%Ifv&Q}!Nj֢ H2@8qI cNI(tmA))Ԃ2W[*^OtKZd/5F q]qJͽTdI{P `@}q9UO0kn5Ja cC>G_D=fMgCWPDy1' l|HK`+(ؽu3ދC[!)9SMSU2l`Eнg$ro~U<.K)zI3ُڂשC3k/`@?zqIN,pWwϮT(7~xqֿW-( ,/C s w[k[Kc<%TCWq# 3bJa(ZA>v!7^gdf =cc|շӁxI/?ZA-|%f ߈$MpJ-?Ɔ{"NI{0j_^40<nI>Js>`ؽª%y! Eubޣ gEL4lOM&4R Ӹe\֎U Dֽ*~S:ݮ vsbQ>eNHt<&tzlJUl&8iV pᇣd)ނ;λw"_9/Sojk̑`ߐ)I7xlrw*mC{%ȺXξ8mmNA?! jx}Vԕ9_$Ĉ|o5Xo37S(A(rEP9נP[2!;淵i*ifmM0Tӝ|qB>fk^͠ 7;e߂bja,JPۗQb.0e@C>0DL?')^4L bx aNPM_$6yf,?g*V +#[ΥVKn(ZUȥF4$f!L x< +s>5yCdִ:}cLbMmWa=MVPv뉄jBɸC,2 v"O$a=[AxoRɬHߪjLdˆ@/1nCavUza玄{?:7]jekZK>>e $5HC&6RI' ϬQ}`8E_3H8 rEkE7QM6LPLK3CۛYe?{ uQP1#fG }B(P7 xi+`Kb[:nAL6*tڵy3F*$,H`lNJ9:8#z|/{8U4h|p+:0V7LV]kx9RԾ}3渄L?L:rݿIWNGSia~mӈKX@vϮ `7 \G,}ѳ g ˩ZDm^+I쀉}o](7 - hHePGB#> 5@BDnɊ^7s[Y`.rcN]!̚,U:ιS=nEc컎z-u45_]⚹Ьוaђ;'#` NQ)(&k8 9;͢%->Z/lL H8C(\"#{2PԺl7ޓC#1 0ꃯy|vU^Y|V7dzh}jqNU^#s7~2yISm]h>"d\}\SՀ(2p!5 !Ƞ0fTrעMcy <W!.S!(JGu <E#}9bhsfۂ[ڦ;P 竨VTϔ/0U`[TEv)Ɖ')Y/k 'qH=aSK})JhLl6fihiQ$X4^b"1ihJڿqh\SGsm-_%XuzkVЂ olo+skwa#)єӁE0cY$FInw-x?wrffpS^[/M|@$\$r=QAfk؍jp*a|}8r+`HD*I=wAՒ3^{L41qub}ᾫi\ϗ>AY54ǣ[ (N=dXd `UJ^ZJQؕԀ,YRkj%)%&pFەeԈ\e[+<cr3k¦H52 yTY'f?rcp/e&AB=U-m}k:yZ[(F*k4,?DwR/$qycȚ:_ ?,6 P,P9`bʙI:-;kGEU.|`κST \x$Aչi7<a$DȪj4|thWMd~| .1n9r6_u/`eI nݯݼz ~w^iI8-HS8܂H|Xuc^w:ٙ됢pxb8dS#V )Xy< љZٛjCc3'I_-lKi[iaQ~&8*`b<$OVpP,i} aZc͞=#ܝ$'m8VCG?JdT._A,bF(upx;ܻ6Y,%RVpmBxT4[aa)$vYr[T{\S7vշMV2^C1X|:uw {-8o5k #dOY_|NRC{l|(;|2>\pW~`N!D PT{<ԕ 3h%fģYB&GWT;=FhKA.ud+k!돒8~x;XHSX'h:eϠ1"Og`ҜYF;d , _7l?O/q #2,\^;?~]bycx#wR?mZ9 uv]q׶dai9hRn7&e|ZѲdwحd:v EI"R xpF܄)d 5Uk :U*ӿwt%n C&k_ FF[k 5 XC f堌RL2`STAXywa $#D^Q=]º7W\UYlԙ9p+6@ D̢LH/hۦ"sje RƩj #ŒY%4>Ϩ8A%˅Ytil34e݅Q%|{o^mU"|[ 񉱦g uFlƝ5)x! 2kY)Aa :c6D_.b@,'VZRtȪ)Ģ"BYMsgqH0d\#Mku%r.䦄1G3ړ# aC:ޫզ9V=)&aC$Hx B Ӡ"Q);b!)sO P oE3G̣ʯ-K*5B_;:N+|^i9ˁe1]ǝoгK3*)B 5%>IF`uO#Z 'i1P8_mc>6-ዺ \O9-ro06RGn{#OB6V֒&ЃΧdv/0%p\k( KW4adJ,ѻKQgv`~:^4l^5ON bN  W(?LU4Q#BD~+߽t7"]-+]QxGM-S7HPm[ 7UTV)P8\:0^w̐fk|iK)M6v>JN<O /H%erB G%;T>[ۍGpMbeJki~)ʕ7MG=zյ۔JQ#hYQ.?7 UivqMFr^I]3I4Y), #5!7|vq/ߣ  <ɴG8.3z8&P{lw[\lWX-~z]Bwy0 [\~AJMצL첼 ̖,&ͼ55 r<3m EӦ90G?~~<B$xv#鰩l`Y/uZ x|ʭI+ :bfx._ЕO7#pʐS!-7"/t,kRސrQ HAfOnGs%%[pVN!#rX{)FnOek7 y_r3"Z\lV i\6 2YGl a]GXn$C5:V4dt}&"U#ΠHpq~9Bp< :=OT#*Xmת[G׋|hK8\uHnV6Ot,*ut N?YT<|oDE9WI5[G?ICD̠mWҍmWݚdeI/9#i06 Ҏ6R]D\zp2?["I9dNq9=*g!4 s['_:_9 BEl/NT3|<2O W]Mێٵh~ >6J#HYEAq_^G /6}J XC̥Mq[1}UZ|}YBm. eyGMj^ qYTq-y MS=Wg'W޼@PCNчvEaa0a}\`,_$fC=;u*8ϕd *;5rS 5 a1YF6;!taB4V.kNV)WMHmsR+e9;'aٹsDդ^ggKkΫ5 zx3+Ќ~"N }8g@W'i&n;۩gEF"W^ $C/NLPaX ah%ߌsJ-=U, C!Tb8@dQgKlP| X%,5YHDLiǠa5FQ̶>M\S\#l& έr˰* tαI]D׷T(;<-eZ1ħRe␫,]ٱnJ yJgMv۔ҢlS'y>2XTMe?٥QbJxaH*}+g787W[$ 0[ ;tvJP{|"'>}zPIgP=ukP~&/OF]f-&/UrL1"pd*9]zp#(=`^G.z 0]4Lꚛ@Pwcdֹ ??s {yv$|)g͓ج71BD0~l)Z Bz![EIb(R͍BJFYd y; ZF.?$q9}x 717 ^GY,"STAE؍d+ݣ]A]3d˛k7|AM> 5_Jݱ5BcK2+/*F]j!ңNd7(@YyƦy(bE.ۇ4C]5am~~CtAFx.TXGr~Fz=FjPCGu. zQĝ%MZv{gQMYa1k 'HٜjX{ý6Fqlk{lR\rK^wp h_2YcgSa;uXzm]Ηe xvvJvdxގ`b{UALC9|CwK !rf /mb.=^`Boxrg!KDӉ)#v%.NxMLb?JwjOMDB':М=Nܺ9JWU+" @ր2|gx])Jԇ(5`m# =,*wE- !JcպOt%nsK\;@|kE/J\*}`) /F0yW oa9l w!StYFR ϲ 1YCiU$nvx+:qJ@CĶD*:7X҆5;S n>@+tx6 ;=RLfC=@>ߺ#˝`,>t%mb^埛1~M*$$rWVz*^2ejRޫjd)a ' q)*K5zqJPs&/͇6Gwtƀg2Rr]N=$k$REtkl\,ʁZ6!#tD Sj$B[-Ph+q sfOq-y-6/oBa.%Y YyY+ kI.$\0_'/GR& Ǒ5TEH/c,G$3ҫ2rq(Eꓤmh 1^:fj>˪zR<͔S5C B:FԋX-0D>$:&L @E9n^ijfLc| 0{iͮ((69F4\y# yMqJߪԻ,Vxf$])ISmQKd}z ~ g8$t̾/@Xs_eK$ktQckg ӝM ERmj'%n]?dG3 g_)!/8V$/d箽ƆbƦtl&M*})\q2"Y[6 lIgc97Iє!Oƞ\X sϋL.(fLWe Hll/Lo%Wnh:~a>*c "\zr;(yb~eYnY3OdFd1:k: ~1 Kp @!4ƀ|BD'L瀊sZ8F!+q\?101+])t r (!iMe1oς(SzQG5#Υc+~IMQ8 x4s2YMi*eqMZipFFJB fS܅5'YjK^4}rH46QvR3tg^^@JNǽ ()_yJƥ=s*cٝ1&1]L̖78 2`댦j[rV!k=*k TmX%K’:Dv+V؛ 1@Rm<-Bkr5 竷sT^ UkR`VG1p&^m5)+$ fZVD ZX`}d DJR@֤/KL^4;ڢ@n?m7w ugSG z8js)+3Z2|]՞SW)L^α XČ.ܻ_ۨ*5vAB2g÷ĪSp mDhibۊ2wtss9H#Tvך'irW2O Yq8r#,]pa:n F 夨+E\,A)=vFscygy!e嫚+=xR u^4Cv["e&ǮHW%Bj%siqa^% A^[O6+%| rMB\K!Vh~+L(Q}s?B;Q^MT;ᎫULZ24u}'kFGd=kPr2>b !TqIL^ XHߐ戜a2 U"z$@ w/Rignv{ 4 zyAي{Ǥ#5#@7`U?1`8F9H82:C7XQhVhbB.&̼EVN*45dtY#n.l@y4ΑOWX3D,xZhh[oTOP!ƧӤ=: 9YkSWMZEi;S5֟^q-#D p˹K*.v0AXbu~xf7L`6|O $?H0v X| O}ܸb6g#ߏCcKzw圾lHr*֋BL/  M[k-\7bQAIyNf)X`z 4le~A\J7s ,݇6(|uܼ-b.jr'D(j2bܰ"4.|^JIb^FWP "8`f  p - 2hP{{:BS8f/#.A6JV(Hz2"gIHՕgԯQ)$ervNk,lt&.ժ{4^0;ДDtH}!e9A}b[YKlD-$I0K4&S4}O_^Ϻo !E*'It+fqo͞rp;5tIy=N\R_Ԩ~)ikəH|v7SUb?T!6fsᾥq|nn}oec ~$3yn)Ƙ ԉw:LY!X Q+1TJ۬1[,|buh#ȟ8p h[aO\dE~yK&i|{ PPKM}kی?*b3uږG2b:\l},IICX8浡K4&b399U3T7eC$s(8uS?Ʀ u vPC]Jȹ6(O\VOY6Q# M(c drЗ<3v$G m%<:iHv ӶEɠ ҩȖb˧ekp'-jTgBa4d!yNmQ6=ΆzYjItk֒ c:+)_ t{,!#̡|SqQ}1%IP sțc`6yXve~:Y@`lQBS +NqJG.,e`ei Y(Af;JO\?>4=RؚѫܓИf!쟋}7/{Ux7Qs5H>3T7ݔh$b,CGX7՞wz>[ٖT_Y6\ǦD3"| Jtna@P_ɸ/+2V2"bzKU@:ҸweJ,̔&SN0w Bo'+1Ħ@Z@ʫϬ=jLnF^P1h7Fk[}9HFUK}!o]GiI i^0y]8=ub^0N*}>x:E$;lSU>u-ivs|F,e͠"~ڝ4R 0 i)!AfR76+߂C E؇6cxN9 !(!X߄SАUUu>RKlDu9DV#oA=UƤڪbR70/,?ՊCrpܳ^\l oW$#)maW$SRi(5&Bw4}QMAWi5# {z tXM}kl^ǪS5-Oʙ"ܬtnT\-դ-\H۱ſ ctlH.KgSЊKęc5BuP,[:"!>;m^wD4tIUXw㴎8/-#Rct8Lz:hG[5yrq+apeq1mL{@XuL5'Y8db0A҅^C0(>{ ss+Rd_4(JsVaGgƠ-naҁBH?pGz{ذJrÍ֠? T_~eXxe.Ղ楜)Hq8 ~]M*כN{Mk'z|HuW̟" ql{^ jn{?$_l׬HR^b%66~LЌg$o^ g7g' ̔iisnS'Z9nfڔbMc3~}ze-VQt(ӫbJtT5KPks\]!i4C0Xw?C53n?υLw9B iUӘd6I{k~=Eܟ_x MuNhed:8@yNA|N#t WvޫƤ*=23W7k@p{WnVգAQo3zCnd*\7?[hMpf"J ek~sV_4,vqCɲ+.Q9C=D|.o6fufD>I6xEyqs^o|jכUzp&hthrSu /Jllks8dԓ>#Nt1e*Tr mPD^B•2}K 9o6pb\>Qy&s~]OE-@׊W<3pm򞰰  87\l1EqvW",X,c _RnǞ#?N?LۨZ\!D,]HV@'/@K(#A%Xp._n!#~' hdaa͘ *"gR+%Von7VHjtB|u5}fLp w&5£+ ?* jiVQ Qլx(2=(恢Ժ}gHa gU#/0cȣG0Lc4+Ƕ%HZi1>0suqҿڷ9]JӃ/QpJnڵ~"Q CѾ&oYFlU }\R8UO1,DK,Y'o`H~-b-Vo22ӱHIk"{Y"|{lt3pvt)$ iI- Cg /]Bl#|Ѡ)""QšmB/6g?A[6٢iƵOcY Nu)_aTIjl{"v7}i$t\~Zٗd y!-g{NT7)(`%Xǵ +|Ciܱ.O_FtJ01omJ8_GLc*SV 4<,^0d0P9CIwƯHzљSd6h";'([M0j,[_`Dg1(] "[hdEB#ܨǺ"e0AX /"+XZws܊fk08ȷm\p-_%4 7y~|H73:ϓږ.v9^Y;!҇|3:B1:jld iPU~}=Š,ʶOtCoWFj8$d@WnMj?>})SՎA@=vXhϼ˜H>7޿?%ΈY[DPwnQjԚ"F3bߕ '[`kN':PHmiV[r܁FLkIz?!k V;I_"v_P{RܽE{|\-"Gҵ{So2f.u6r}RUN nCUB^A,~ÔG >іW{E/ ][M-I.!L t2\2ת9yf(19c'$KIek~0Fz9@n,=i;o|P̜#lΨk_\vطTnZ¤( wgsM7x%(Y]fOnm7\v}WO;;UJ%BHBiL #ޢ#ј#IA?cЬũ@ԽMa6nZL{;|孹^V!{4x mK{Gq_c伿>| I +V WKaN]fS7D9x"d'{AK00@Gd&憧(.pɢ*K\vk-ܱqWTiÓ7F%\'g_.z%K^(/EiPe[41ks~3ĚycRyT,{lc~QĐG#3]<ˢcidLfWB2\H[VEgeyG0P~Sȃ7AiUz.Vk$=4nqGA@iZN(EjPѯ0%roo0Zꅃbz×xu)FRbmKLF*W1l( rAM  e&uc ;MZǹG-"=YM UtumH垏'sE8oG}Z {9ĔQPwz_k-5{8xH-b(I>ydd9`k`KƟ apeBͩt+d^?uNZ*X6P&-X4;q!jPLe״\J!y83`oX9B{ZE{&2AԚx #cqt]c `w/D< f7>e8@l6AѲGNJxxT"Y-WEݚGNt岬E9: U{eFz)>}5X$6ǿ']ұ0]1!~7@Luο7,BHFbxk;(GHCK ~d[#[yzGg")S1jQn:O/+T:4@b9 FS$5>JL}5CAMͦsUďQXE4Nz< >?MPV!)] Pa:KEs@87UB#\s0`,pI2}RazaAJ,{hVsaLv?ENz|yK*zͳ}|[,15N)Y4p!Hu{k)VzG̫xcl+)mu_p%B6Hu@g`$lg/1 7J2?}&[8.*S\ O}%E8OcJybO-)B&,Q:(0/Lڱ\#f-p( h_ suVFALY+1@"a\ryWHlF 9@]ɑ&JXWlX1<< FQt#Q,SfSp\Mmh޳х\'H-̏A,AUB,+G9f'd~@~1IX"XJ$X6Xv_]̊Uhl{񿪎''%QOo0G n^.%|_W6{!: ȩA98plqC}|z !?{ Ň?EksJ&*.ݜ08/)YV97Dt8< {*ʆN @gČq/c'  ltg8>О2s'Twnj BxMM V;w0~AL(HV ")ٷɥPA"ec vp1$[^STN|%Vݙ=Bm3M~BH< :^0֭֯eCM]VMumMYYshBzddX,i"1Zv{?hfI`% 7DWnDn'&Kptigs>rwAYHɞ|A 8ݣ#,Gw6W^?T'ͭpSPї7`]R/c-qe5wCJB j!8[/MCqxf9J{T4oy]?.5+Tƍ:딦KOѩ+;=TNὍl.#q|[EAڵ`>_Dygn'jdV%LjiaХo8RFm{H|LYTX,<~V+J0ME(f Ycǵp,{*4fbSr/GrHF>c:Ȥ76L@0?z +8B0aIVռ8T7rv8kGn< 0LzV6c>Dh2fC8hH ^=%~dh8{ .x&=/30JyUs ?pVTz~'r4OOJF}I*JD̗G^Q򪄞ֲJ_jU?HDr)ݹ# h}C0Zx?*ב)0ŐM&l6ĂKQ 1!0Q=k]aK0k6@TA&1ҳɦʊuZϼErWMso]iALB(xUabYMpEԎЫd6K~.F< Y S p@۹3UƼ e(0tCgTof6 Np#X$RHP/R4=у&r]#i6|eE5қe]@pkIȳK- ɞc }&F6݊p'58q|8+ڒ 󔌔zD'hchDV0,E׍ptVkKou9aݒb/hJOk?Aj 1tIm/dm\TXG!$te` қ Wr\ rpgAn wܑ0iBDHA {C[m k0!hYC?Zø]nzo[6AQ0Hjs~ R6R ym.z-6ra60o|A9J؈GYf/p̵Rek lb2umLeUR$|VGO\x2 b7CN#nēLJ%mnՒ`rX!vIbiK9]XL?GtLQ @Q8pꩄ kʇsc@\NE\]CgR=ufD&RB ز㠍G#1,毊~X2`@`sW}/nU;LҐ `Q?%-^t/hDا>mŖ'R7D1J]}2tǫq|E, j.Ӏa8r;-Ev`T;2Mkl3{2S`Z}R&f׷z r6oFo#95^w~5ꂐ"f rpyL"PJO8 ewՅn9⼌ުԱIB۾⿴=nVbowHn9\̱JWJ<fp7~D0UMٶ'bD'h(<{emА >u9[߻Yfr`ܸbM(ng [Y8Vݬv-W;Yܘ dj, _ RB _HHC A&mhP`Z> P-؎ZjaѾMn'1ZFG.0HAGU9Bm5sةߺ6[վ?%u Yrd^Cuv֖u*pR[I'1cOi#:Wh*,qD#eс"iP*`E*"6. Ɔm<^e nvoq0*njAރ]WX |XJTMFq PYU}gBR6ˀ-y;q#G<ø-@9ƃqg/ӵW߱Ϸ?m\ $LfF:ҞzB(o:YfҎ\(BNC|,^sZ!MI͟]HICZRG@Sjs hR|}` "ix'Pl;Z=3:{V& "[Y cnsKy7^"_]w 4;lg M eHkx—Mrb1䊷/ő{/r c87,njw>L}Vl+K^k'I;5 ~. 7G¬(W G(^PF /uxZv]׾9@@8^^Gl;ЗGW daxpѯ{mV,5rÑ?_H_2JX 3rx6r7e}VʴI,N)bߍtoM3&Vwov=fe˒*K4Zn::cmmȓ%6 ,x /7?sDLEg,unC0ǽʏyV/}>i=dNR//z!UY{]nYvx6mty-M$j*-81Ё؏eQy2+nkJ#v8=>qWjCFZj]߻2:@kmMhF-$sPG7fIx0t7/-١y>`kfz3y 4wWK>gkd/ }+G21OЀDŠ+*17$vEj/Yw ޠ$~Hzf39yH}؍#8⃴<^㩕;]H9,WMfV{(yJ]#&+8qYY*G/ 9.H[ }f |zPYiOF@D#4Uؐgv+a $ъ jꇽc%Mn>:48 cYů4?{qQ l[zI5zwVauS>j"çd!bhҘa`U/ot-o7_#R4O$9Lz vY4R^SȈgH5l|M;9 +A9DnFx1baD$+#wJ>7E~d ?N-:W{WbdLA9YɰĒ(>*fF388v+s+6xu9}LJa3^NE~?bV%ɍyGV@4I%e)*m<,v3?}H @'a$+\FLyӔGzTJP< a^]2O%~ԣ3_a/:-i86v!3wX$(ҭ^$\,M.qCKyD" ) ]~ zd:_<(Wը O4T O@K%˂@k `>tA/v5_k yzo{|yZ BgwK*E7LPT~L#2z;ة$K]5)5c )mʔ9 oN6 gK{-;t=]`OH^KuxtY4(v'UyhAK  >Ja-6ncj[ %L14{L{L"ԛWOhFw '`1w>ޠmԸD&ЈM 8x00*ke)~dp<HcȢ\ !6dp8`Ql)})s_UͰĭ2娬I/<5~d3-*1gj5=ZȔQ߂HF -: 0GL*M]ܨ$hzk?: g)gص{=>-%d / q@_OOѼ̕j\QK摙yDzҢ$yBkC#pb?d0yрu-)2DSDHm_SvA|'mUFF݂DRI1R~ nBKU 3Mpm8LNp~ЅZIJTfh9_mrgLe<,!";4HMʝ:td)uxİd}n+s|%&-; BuN|^lC#/OB t\}M,&Ԕcxb$:u5{'qA> u Ń4h W1"WL~måd[yN]hcb-ɗxӞRsy1DMB3)y',[͝q8$V^ҸՁ MJHرU苞Tگ:?$1 |:O@E\(|Yy]tunfF5<AӺvŠ;W3&;o:>ÇRwE!P@UΚjC*-9qOV [xgJy} =*"+~e?wߧ<8'lyo8ŧS,7'wqVydw$dzwQmfu;Ua}n_{xNm"{YgYZ%t? \@f"a%iYv4xsȕ{-ɀ.\k.rBBYNi҂%H=X&_nh]yq'A_n_0`ܺ)%| )5نzWl=* }ݎcyM7k*'Y]閗q~*ILդ>;:Q\F6. )a!Ų NڳB>2rgA)[,V[D'^4΁űCv&*޶ȍ(ⱆ2so(\XH٧YFXeIh)_gyGɕQgSGZKJFҧ>_1 (%yVY].K|4:8bˈ9Q&ǵvȝ81{vy~-Gf,h매@eU<;5~cf;C‰&OfQAx_YV'zNi̵0 6/>TWykqbѰdY6wK?;n+f,7kܶo7&R>%gy&R KcѵnLS):I93\[53ƚNM7WMlO.bCr4"[w\1e@<1UDw.2'V<9ӑ6nO(rN,5|Nn?[ƒ2YcJPe'lUQ^v0Z\C[%Y,&%t =!'uH {V:<.Υ;m!"~OdEҳ'"b*]pϱ_Ql>dX ^<|+3@%H \}\X ˴.ckT7DhWw{Jx4C%844UC0Fwc9M)ղr+:ZGմ3KX1F1 F0IULS<^Tl&0xoWs:Ae'n{u-QwݳͰ7sd3 SRž7DnEkbbDs3qNIlHtk,SE&>짛!_ߙUGTg]UameryX"#cZ"&FP,qjQD"C3( vn"ZU|yP%x^Qi%N5ԤvEB35DL=N34m?jlBp?SZ 4 ǹo1qFueZ6`XwU.e{R!dr.eY %=L JO ZLrkBpCKC2x?9ꢝ "<4r>?[iC #;.Oko%8eqA!EqQPEa ^՗đeo`jJ5[S!)"XU`uP %a"6%EbR !ghZLocvu5`b73H=Dt5|kvm(aAյϜٹw)'͕p F RUFޥFm:.Ph3J,1\aCߣ6]6^.qB&{wFm~S?KibT/)u)eR d: Mnʼnѐ8T %4;~yk8<C?Z^F4.Z\05~\/rM(:ڹ|QNRqv\0h&ieL5Z`и H!:1>2I}o0K\a!V q]X Z ax_-:]&]N~/Y%j)5.o7 Y^P϶ |wˉZa @a&@A 0 3<ਣ`>r*ֿ$Kpa쥜TcF(D6\!*-ٸ Z,#B.JjUN HxwtRrg<"|l7JqsEģ5(~)uU4`mwx-}mǗ@REl:?O/$ʳyM7qy!9zKͮuMK`4K8XR[Eu_wԬ[&N!+e KXX3R16!i vៅV;nգ~e7;gAtbr #=,ϒ)fts* ȏ2𸭖LAn>K䃷o-SӴڌe"^̸F-C4aRv¿J in 6d)(6v7jBDh2 ɬI 9_oǮ_Ɯ!Myͣd.dE>a~̭c\2R,ZD#Q%4ٲd]ӫ'c8^BЇ(XO@pz_X|jO%s =8[k~$+㥩bfxüa1 12rgWu`W,QI~m?i JIC_Ԋ$Ht)h|~   ;D@'ޤ㗡 EۢXX[ĆQ%-ߪWZ`kY:4BA[@O;+U.TVۉȚgP8 䣩7~",&lI5+_v ѵsKgQ=V9?ҕ@#ۮxa%NcRj]Tah'q;2҉ɌDtr~R/䱊u:&"i ƛQF F x&od+itXe)zi6{ ͩ)Vq3Z W-vӇx-)m߿>h2[|/ja ֋Ž0*M@s觓?JJ:!(5AM[. NjBXŊGEp=H(ɑCX0&&sv\ͪTB-%SOcѾ%~o֥*1߹8u2 q90f|5yp&j4䟧I,qm!ݕLL2o6_:mB!kW$ƈOmE0adK5.'e@Co( ZaN$3]wg.V8(uq8 M Re:~Xk(5֬6#O6NdUjRf(dy X̬%Y޾s"* [V9@41~)&Kf嗁J\^ޅף |+UQN)ZgAF[hTMxR4Xܟ°=, W<=f_es]ɂ=Мn+*yR>y2=sr"%$Q:1VIٞ@PlEgZBBoī;&B,uȻ۴'ʓNTtF(An&ʌ"AzPՅֲ~VM`tbJSwa2pI{5߷$!s=BE[N% /d-J|RvpGՎ&9)ԑN"9A'JxYnּxqcMM6}{5ŴQ w\F Q=[oǻOFOvJP\*qkE(%^⻥c wߧ.оUoZCB4~X3RЮ'GEz`` B]9?Ak oS<l.]<@W$Nf>  gdNݕ$tI`Funmg.`U\LG߈C1)K笐ň&Mجx$KGP ax-}"1Θ]A$0<~sC*_(#U:=7+^Dn즋=QͩӳNG+;mvlz #U=aon]`3g7­9nշOK~JlZI5rL{^&W$ -] :\BLI d5YMvc:={PiD  _,4r~^yoDԲ_Ȼ#K|«RkRgG7yUx2-^fI&˟Iw82ڒyLLi6,X|3"k@>U>2C@>?ӗ>m?h`ع ]^ߋ^0#Q{\$ך#3F^IvjnF!'{sh^1J%ki Ebc 1DG2VMIrbمwQv֭!}8y vǪ";oX\hwIǚAQ\5)@;r҄oy Sq-qxMtXv#AKh/\pbPYd /hVUS&2y,VSxlgw8[y̖wٯxB8s>2uD͝^LfW}~82s}zm$o;bMr8.LhKh ћZ7شwLۉ𷭩"{ۭr%^]y7O`q: Ch_:d{57CcTVnpmGyo ʰ۸6k["6URçG 38\/82_ nQ%cW?[CV{D?,Z4xeS*tjڑX ɡ12>m D]-, jBA/sH 8*8<ۂ?'Q/r,iM %6s;H:r52Fs1Zk q$cR^$!GwKR$ÇdpAg$.1&LjbFMVEsڗEe!,hΏZڄ )ra۬쓙5zn>Bo7/".c4CHul=vQь\xfH$IVz'Sl^3qux"ɍ-kG:#ݡ7'd[~3U{DuG >pQ.٣di Ujwst%m _8c-c܄܆a(I5Mgb(#Yg~qn2]Zoq&Y7 ˉ$%OsM I+۵ vDpI>jPMlv,>˄\2wqdZ_h"$oI^ĵr25FC zZ5b+^i4 @:ɪve)1[5N|3q"BASsvZ,d1}>:Ŏ2'̋4ظõqb"(gKznj=q=Ǫ)}vlqYuwrM4 :6/[8LΜѶiĸtw|.1v}U1/.oϐE߂J/LB/rg)n 洞o)\`vI.}w8sȓiX5X[ ԳjqƇKQȆKd3ʳkogl_ !gx2Z ߢՁUk^9V,B 4BPSjacujn"і[yE9D)%6O 4E-MAz⋀;Y]#xi rZDrUcE{۬/tlk /5'Q)Ti%q7@\[W@Laޝ)RRbгwlgM5zCq̇plqks,;V&T[x"\e5NL9-[FnT*1uGDp-F_댄ˀOqH!npSԨF/9bld.ᇙ~o@L20'0 |ub}~"msL$R 3<%$1q] ΨuM60$ +'b/t`V_Nܬ|OP//hj"Yy 84G#6q _M\G- tS~$V.vniLH5a 36#= eS#4*e.YN\qLAMhAbԢ-1?\V)6,x0)۲y~FxئDR=~Ѳ/;+7,i|L҆)[ۙOXK׀uad lb~h0BZ ?,K44&Kc$2z Jv3x~.S"oUx=eh LPc s/x,Gf&EEcP7I[Jlk## bw4 >A J18 =SpxjFE3wcI-~Zށ&ALL_|ZzbKbQd-OS^GSe9N²<͙6AX%0CNٙxQ\WLc[XWbㆣQkIYITYn ۦsp]\AvR -A|33Jon{TJOA ^ˑa~v;^e'|*mjHjg!>[a_|-0J q +@(6~#c)0^YaX۝pUK'ܻt3cLWd>΂7}BL{Vl "5Lٽ4Fc`h:[Eg8۹J/f:h1AyxNt?2C Yᐠnn=T{9C!һH6 :pw)hWmqa/@/ JH`A[6g~ӆ޴>I0()ޫӏ(у{\1BƈsXoBj #Ѵf74\-j-QVF7!2XesV?Yo*3}Q*.ڎVM4X^wtqiX( ONRD7O/iz||Pdž"pu $|qG4IA~L++4Tu8(P0Ȝ| 7ihyѺ`Ӥzc?jjlOhaҽ6m]` e̢I8Zˆx<򨇙&`jx| [t:NAGnyMeSzB{u^!ZrA,{w脟YVaa,HF|!7ƧIop߉V7 3b)-\<l5!ܧyԠ~ܒhc%"tS kj:&> E?+XrH-/}l$xRT4f $2"Qtxo3 EJǫi ![g̏0nRI̿H {6`aͥ⠏' {Vnlx]Ѷ1g7]qzM :9WQӎp ñ5%9ͱV4:{ 4*bS6ٯ|ͨő䒯[y}4]vaL^9sqr1Nn; &9C£)ז(z%B4Q1Xmtn@V :.ޔsSxjHˍTE -7G5̹VpbNG_{sAK-zED,I͞ʻ %eN$qj~(9%ꢳc'<r4XB AhP+ ~#zE' $G',] FPK5\L4] RfaশA ;䐜N(9XIpj`[.>A[3TP5>1ەY \.-J~J.V^\A^7/-5KZ[#CJwht'g$|@," 1Xýg ҿ!Q.Isnb>fS3}=?LAO )9R.7 6$Aq­T)wf#Yݝf3V$=4ckzM:RFD%d.xJTU9*ۂƖEj^*?hKK<3g<nnV!$]"u{4UfT lZeGy\HMsG=C 4Ȇ;,NfWV, ;+F;n=*)%98@ͅdEz2-:H *'V"FEZ<ֳ0R@~7V4cdSx>´({-m5w"Jsèܙ;x;͡5M"-$Y!bKbT "!iCfвȎKV,^X%J2XG=LJ6ksg1c7գ⇮fJ՜u< Iī,'ȬN%K]xd JA2\H KpI#PA&M=l?e!=cZ$\ƉV겁6nLj%"%&Vr{cU H@셬^- ܵ=T20Ko jAUXJ_h&3o"~ n@,-XDl tGR*DFCgJTpc4l.;,O`w1_N8e8$=u G:8|qh)ppòf^i $[Wٽ=H)B9m\1ENذpY5 䊅= w-8ub8|& d%&(pnW+U+2xǾv|Y\„Eg0`UMV`%۟)!R*++ %mT L̲"r(&JhRsgqO~ $z$aӶ$_3YbT)SVHZSk;I,|"{]7̍ۜ]qku/3f" )!xrO$ }::9\*[g< g>d ~vx4Hh)nfEd1m-z+-YWo=BvO%Nʫ pjz  Wα߳hMw3sgP.$(dtM]u0з=D޲a9 eJujDG|xlɑrQ "QΥY8;_d*ܥjऀ^ڦ=sw˫*2 ՙT߶ ssE؋;ڨ\bέ>Z|xqLuP j.ͪ-./|n^m2%8f $F3t>돞d8k y5dAz|~cϠ'@1tXi*N9YNӄ_4FHȠ\!;;7b 4B*bG`m`Oj#Q$q.Gt.14Y|j UcwJxFk1a깤z&|l[%p3f߆FMpΡ/Js)~,9 Ƒ Qla#ɖo CcQ'\pj9%N6) Ob W#}1aȂ{WTJ4%9bEƐI):o/:}#0̬ OPWA(Bk Q֖8.-a8$GXU;qKυBN H{jz{@@˳q_-Ud 3iZ `MGfk`)wԨ_r+oJjaX)C/i>֝ܢ/㭍._Js9!fb/s4!y=v&$?gc V.ͰMjnl>U0m! fPb6|F哃EsW1Cd;U*9%.)6d |U}D1kZoٗKʸkۢzWs6d#;1VN #Ch;= St=, FraY3 \:AJ/PP%1S U➧X6M?oς]w[v1EF|mSBdZ5(REףԦ^kW^m }GO5eh8ATU'pHrAP``[1BVk`K#=`=;ge*6X⼴>jeZ&ŐZ!Τ^ f.?"HӔHW1aGY% (t'׉8,+k^-o1ɴEUKKҬcSgUk66=2XH42}'^73D6\йv *[?|r_}{blh*2ujd7'R,X926HMG]->py Zt=x~^E!\2aHـ/X: @"u~B>0uaj./ 0;f6Y/_[kzP$&"<#v*޿1NQbR d^d8t}K.qO|z/ |PJR{W֨qEh!Aan x/eBgp-l@| izqL5E5n-Z~Ǭ5M$mt "M<؆RoI\K@DydYCbDč: K ݤ1pB*2==#'o j߆Y +*;_)ZLJDe(0N H.vU#tvotIw<[nLf՜~s?#E%?Uj =u*zZ=p*l{SZ)uG1Qymڵuos$-LuYz- WHE윗G<|U@6>%A90vXaܴ W_ttzl1OyAՅuUASEG:BvuE.Z#KX@GhŽl>sÌ@4T38e˚Sev^d '2  q".m'2Yty8$zKy *Jw_2[I\voR\9\XIUյ.~6K-; r!*ꖊd^w6u@aXYԩlSZhdRt?}逪q+]/Y0ld>_AK7t%T/glwhuF Gkz`#QcvNemba$ú(bc^ EP@*{Nswч#e(hX'XA0GUh lu6 aq&\H>$* LNȮtNe& X r0YdBTyh6;,'궱㴧‹>VpBws#;l  1yg}6Ѡщ'{kDfPݡ@Zjj>CoN{WrhB-]SS/,sAZΑ:wcJ4V#1T"+$NOA#3NTCV+͠|R1qu)nD߲ nXkw ![9NSʰ/a~AhNR (Enޢ[u uFZ{뚛 A?Ov(}Qw+p^5<};?mJj:-Z)n\VJN}G tr"+p0E%(3K̾*TWxtL8(bƉKuk@8:u)ȷq&PDSSrƽ5#K#C9&`ipHn'o^5C۳<710g !-% |ZFC_in_HOLZFC_in_HOL.Kirbydocument.tex7zXZִF! Odw]A-MՋhvG"uIBm5Y&ukWJK柔-3/. ܡhNn6!-+ P~M5v]{_d55$@%Tvѫ_ɼ-hiѵQ%P! GO ~_@$d8H3"^ (8mZټ#qgژh%6˥D{<5<#IK(@IwL|K%<[K}hn8D%˛Ӑ [ލ)JCh6B<OuƵ=f)h< zN.ws 2~ |HkEU9L-(Ӭ/ǀX jRQ/:?F\Too ,̝s[[`|k_D}׻sa2c#MєfyʢqC5 8af@e[#2? fALkL.{^$<@*~27'k=H _&j5;7-I\ڹ'|wYS&g+۷$e- aGķDDPS jvE<}o[c )+x4hapxa})!+x7`G^{:ugKYetDco?K@!{01| ɐe?V Q9`A-VZh)"G??+yT`}c5;fo%՚N g$[ߔm\T \2Pd04!~q*P !7% DZFC_in_HOLZFC_in_HOL.ZFC_in_HOLdocument.tex7zXZִF! @CQZ]A-MՋhvG"uIBm5C!IUf^As|N~uJիxM·Mn K('1l&IڎFV Gʺ $<WI<5Êꕶ-cJ9rSPCڰ^'(ʭn ?Fn+$L<< ɼ(,i [3ZrB36g]N{-/邖8Z_Qߕ:#4Ua.smjf3#Y6 ]y _eh&_=-Ssˀ ֈPj5];>>\=/EܟS2A(f|=Ijg>;jѵkkάB0NdP}ʝ(ƁW5B~Lp$+GlTiVy=%#(+(VX }#V~NLG1&1I>X]H/ZjxG ٿ:ϡstE:9/ UD:+kU&,:ϕ>O"*em_SvA"{6T~uS#&ReM:@>$L6VtP 66 |(OફfI44e&vQ`cy'Yk9~>4IU+ԇv>1pSPvf;\e)7 'K,98HvU!XaِkDՁp>sG@[&4%iͤnѷX\!$$1~ BpqwВêÀ/nrݖهԾ6+G *;]RߍcNxhFa أʕ^U pKPݪsP}j~eOh1;گ.Hkz% c,:>|.G,@k NZY+<:i}`9G (QV0T MgDh0VHS>lY Ffd V"^0Z\|t#$ˌ:mht_ ~?]-l?j*3§2Gw8sW}zm꣌B]Osw(cG vNnJBNY p"i>@aӽl?39棝!4~&V$yfi+_'^*[FɡJ4c{$EV=w6Y+C+R9f%yqa$aYn:$r(,N-̃c;H [2W_ N{d@0s5vzVWR=+U2؁! X谊uWw30%@yX ZnimsTLH_jt7=DB @*WnHc!;vgrE6`b 5"X3H P%q+oN~F51 fd,2)R@{w1g퓟Rς|:nzTB+8!L o=I#8$s'a$UԒW-4G ڧP|\^g-i'x-3)0"(2bˑ9fCY9Or"at-/) [ՎME!/xNgFuy!!4-lIXdpW&"[Ӄaf\ȮPC@h#`ַPSX9]֗"ѕy.}uQrlX@`=<ҋSSEKIٳZyvdzAb9p`p86ñawO&>ls>IBEDù-JWJ.!@XDyEc ]4T+7iܵsq Eʭ-(آ;tl#FjjůX¾M1,F {FpR쥼/s.F4(܆>#/54W~_X!X\RAx']wc?y6s=0-(!sӪ"@Qwr^><یՕ]~ d2|w >?.1?n.g?^RlG EW˖l߳㘹T{x:DƵKE?#&=^ivesм2;b* &n*v7yD04$cΥ9+I~btXc8q١Bߣ3fÐTɟDgHL \)REbe?gu,J}(][%^U@h}Ts(HɖN~fS{v64^eLqcT˸Z*-i~I/8XrY ) , \>_ͳɜެC2JI[- LgӍ[ |IB=P:X2yâ3kBz1+ |1>"$*zUm (W6#pùŀ/2& ^Kd–&SS k Wwn+>=Zn$7P>Sj.|T\阑۽q _6sjY\e-"v7V_Hk k{QYQeD T4ySN+]-s5lY$?tdV<1'6Ys؀/]K[y<tڥ^W?X@SR!i0cVyqI!4{69ǩ-DZ]zAvvRf[h'`_q*B;t lBN#+52Ay#5$k\݄wxT$ k + ufSjp' kHژ949@N9#y0GzXt ( =hp4O813Su@ s#(le<[>ōC g 'QnFK\a$VƦyc1L>Qs\Mg'Fe}%<.!R⨹$}%m ,s35]J)vlgF\2xd; ;%Н "\Ĺ*^]iEԍ1ڬb i sAGѾV:@Ɍ|d`LeK8MMX;b>(%3A1&/3B{3}~%_cgݩ#tM#ٵOVG]@}-{0?FӰ$#,0k emzMF(ꉿf }:*PRd&ag[ꏦބafƸzxRZ rP9?Rn+>mOtֹ\riB "x;0rQ>t v+|;bϗ \>gA&Ԗ/3ݕ)(brqeṓ!Kurj sQL7-ؿcc+H{.t"H@ 3z^bLCJ%L閁pG27l *duߟNjL,{KèCoIUSYB7Ƞ9~IBB9)\:/T k gBOt߀k$œdKڑ7z["|[yEmeiItm#ile$x Zq\!%ٙ:ץ> NzP.1"<71mT˸3`s/M򻹖cqa,21VTz]fMS 070ېC>wk3enQ X[a2:BDpME 'SٟSQyi-|+8ZiyˏHBVe"']Ck *<hRŎGHޟ] (7' &Ő#3 | *w#ō2B&$c )NVꃥqڐZU.+JTGGV}}GHp~5UgiJuuL7Fӏ@$xL$YsZsO)rmnQJqnYŢŔXm{Z]}(TS32:Ʈz}Bwa6a۷ ,_)dy*[I(u76R5ZtC(JBVz[1i_+pe)/gJ$OOs?2d35☑}1*ä}2z$wǵ JP5&FI!F1gYLiW>Ԫ{%?2Q>4 1 "5llpSR0 F"ɏB"?V:}Y|Pu{\ӬνB=|9|QK&9qP$-G44`P zȘX%oMfU$/j7wXDFVwAb #~FoA |)#$ǴdC^^e`P2g[[Wd%PkPGhi|R=AeMšy2~,*![ׄHD(x=h#t:v*|}'{z&^QP5sL%r=b5ݡfiZ ,'D.H̹xC$Ǖw GDXPP4 Ζ"`|j+ ?b"F=m"ӫhY\nGT۷@J'EǸ)D#v'#^y>g"(6@D&XPێ}El'RL ?6y렻q8yCM:BΩ~Ai ]WsK 2ۧ1>@p?wanhjx ,'(lV 4̆5Ǚޥ˯lEn((ʿr(N#`Sx.>R8xcXJ^)K76D iC"+,LPd lٻϔVl; GL5FFe{WRNSPŽ0h%itr&1Y25g|sl`dL4J3u ϳ4=*(1FW) h_\r^1"DKtEڜ^ړ/<| 3wM5VC̥ȡ~iAw6,!5Ǣ2H8k ѕ_OlODMD*E#ozm7_Z-opre*MPQm !C"CJFgvP,FNZc).kZ#޿X9\/U:0q?* S(BF >\tB=AˇI#>["8'Ps>f[.`Z%2X cc~r-ap kn{2j5_AGS;PgHL|t\L9UuսDdFrPPtk~'^bcCFoz@ uAqNx󑿒2pzǩ-*ȸ}w!&{}oM՘{y XHJC3`% UźpxUͻn ϿDNA`Su]0bpg1򚌛{[0}a{.N7߸gTFwjʿ 5Qy}3e @gG SڮqM[P) &߮i!PWz=եUwZ|=s_)1T" q&Ws[c<*+88p-yF7%N݀~˰[e]HL$ ^ 8g1r0Ff}VYhՈM@7(M{OLBĠ_dfxNNb`J2~yQqnXL5=5!1y/Z@TySAmXQ Ӧ&LlX{d"f `I+i,v1P`(nNbom Mz*"wZ/0NINxrUQHS|C0u V+bewPS|(+ 8@Xf87,`k3RV/2td:Վ!i2: 5#fA; Y9*@j -fYv0,ʊy7;Zw閉e& &YN72Had#睫es]KrAѷPeO'(Ob$~D0ԽR͹3MT /+Z)ḷO473:5/>rVi*r-w96l?}7b2 ۸WueDS^2U~ 畮GPm#70c{%Q:vc67(+UO}aJbZm排%gͼH%\#TzOMǖѣW5Ai&Z_T;"&z4f,l'M$53Ӑz)D<+W,:osyvhmq"gs9j֭1^'Øk~I(ܚasIq|)!vA/ dӴE WXV7U~P>lk管7Ǐ#KG@8~cq.3SP## /L sR}ڈ .|Vۋ戴mC Kx>M8 B)kH/m(c0,^ kW 0VPZj ]A_9ė R؟_u'.عO#uX>>M\x[e'kQ7qKʓUf΃WpVqJxl 7 A=X6P_!YVA;r%_q~[(ŚukGϜrw7_ޖrM5|/qIA,DuhEkJJ P//\m؀_h}jgڡJC0bi'![9 ƒLq3vFyy\MkW.u/aSLEſAݓMH7P &dԧڵ=w-4>ݴSlRq 6Մ+Jr>/?tkc2] SL +{ZG4/%^mb68[fPp-Al30.u,̽dy}-'U/HjEa1i18< !M#.`u8׏q]%Q@S3Ω9so%Єd}`*.io:'*$?ȞΘ[oT| ʂ񍀎+E|j> j@u6^zϠU >K<!; b맪4Ee+: e|D +g|슭F$1ݷ65 U3'RZor;葉$wyUt4>AJb@nKq>7C{;ȅgD>VAϗAM xd 95],Bu!Tt;d3b]ٰ \)W%|!po *j fhҫzbZfښElϽu Z&5' .Bf_v% U{U>X ̝_ܹ&o8`!fa8Hp_ pa@ B7Ų5OpI!9]d7T<KDr52bbQ8"zI7]3J$ =j6R`k% sW//B;^3\u3ohWz4\%X<DAsd@`BZp:A#㧢]7b6ۡ)13yBT*h3?UBmgq7fŠV&kxzǥڈ}j噕:D(qJgf>?I:-Ŕ0ޯMg8FwhԂcm6{?p7-["O_t^`F(n gD|a>G/Z~JJ!tJ=B zk&`۽> K=Sis4?'P>g~Zάދ9\sgVlB~ F#ؐd *U4ս!kiqH3s3z@712 x6| ev v9sw! hphKM @<2A^"bɫ~!/iL 3zlJ\o:~c[2 K:$'@r]FA7)"so{x*1X^΀ׯDJ"cŲS'vrW@yVV/G+8BńnMy4e7P!%ug6VrQ_ܝj4qv>t"G]j@$(vh:4XnqFdVWW`M5l'`VX'_fH"YQ%Z# [OtMq%WRGEsF]8" ZƦX^x`'K)BoPb3Zhp#})1]sQ|Hd4^1Z66Q-uGAMUgIľy^eyUG"d=P?Iђ??t~ry42! |+N*a(psW䫛dE5ץH2"ҏB[Iu/g=6\5|c n֪P;4 :BUz;iPh\`+L4WOSYA_{ 8꽞a l%%Nfߎ5^mbUy])aM ^QHM0HV"q+,ҪpS(^J=Rwc^,>~X֨E$clݗn"4c}cc~6ac:7"e^# \$J$rEk2:= {G=e'7OTGڮ ?*ލIcsV vknApB֝VdO S"QBof`];u(9G$i"QjpJ8Izi,SSh)?TKi46OKNvr0x*E*ֺeS \" ɦ'PJ 3]{ *f5 a|,uuj(ZJz4!,Y7rP͹Uy'~zم΋Defu܋hQ|"'jl窏)PKse=V&0hFI͍;jVemy[aSds!a'Ar2"n2gq;?(RAu&5_ΌEhznJ]DY`ű]+p'd% B3 {:8Ϧ'JDB!;` 8dy+2}/`۬tZɱ7<@޺3 a@2@rE'K7Ca8ݒ%F=fp\/Q\:}RWKKݢ3.AneWpTFNke! #f=rT߬[C8G }L(ffܻMVK=;p&AET(xt#xVGKڣ(*)N}|-4t+ E\NoV^Q'ͥk=.0k$bLkY쏧WfcBGή{xk#gWa3䍜*KKSu~%pLY5gmSSiKAVRI]f;s_Y|jEm{RbSkIN4E" !i`~ZHkVΟP 1P+d?;P3%7ۂ2q%ߌQpH_%:*ާOեi= yv"SwhB4IV'>nlpcQȴ&CWN-}{oԎ҇1Y"uaFꁦK1)C!4/£r6*?P Y)lg &Y#^ f,ZӃ4[C eփ1GݰgB|s$EYR_?k97*V #Cxv .׸MPŅP0z95U jDöHt v56v%&0akO#' lt%0~Г0zugaEk|(WtRzenţ쓑 DLN,rhZ"׵ՇpO%Rc3 7ݩJU#{g+Ft:4U;P8$HQ%.JMy0dI8mt'?G*n38M1&\' 'Rk){ek+i~3V@h̤o$2O{̏DjGw?Q (hU],f -dDv>z{ς:VzZXP~5~@2JP'\dż+J5Dvi4lT]ݤ&g(z!i2.Y<X &`J`'wL\g"HP(p*0m~q#)YPnYQ8/4qD"&upFbE0Vd~Ĥ"=pon40'xs<0Cc=)#9q~:&nXH%_wA@r4Ib) c U Gp<}Q@p/8nO3ۜ7Y繤(Y. 4$2qB&]lGՎ.CG8p4@Њb`F\^@9ߊޑ/P+Ejb勇{p2YXxIQN!h,- U.ء֨ϯa9Z 7*rsNuacA~.ۈp 8Kv1W(څH*>AYLE-N.*VNԠ=>s]Tl`LÂWԥ"+nN}1fVP⢦D>e޲!i;̨1dc4 Y-1%tr]2z9'5;j`Gy>NG E ̺=җ#(jt<'Zuiոy:Zk U?Q2Q uf8<06/YMȞFol &/|+`ΣVZދ5[h܂sZQg@ ; <)F OoVGY%e|۟rҡFzk6I4 $OCIsښ-X f1d~PYO d-"^(w 2TW8'yv3ܙ/T %+R@swz8n5:_ :6uW;2_k)TV)G] JFjmXp1@ťWTp%5Zi8HeWH|\;^&QMLa 3O#ݖW0إ1lB^Qm) |_ʏψ,pcr ҆)S [/k>ZߑB@ȉ8nƙw WKcMyY!l+*G ӛ[B 4Vf,pX(v4jڍ:Dt| w)L=C_YMװp%]R⾥){LhPՓԀݾrZ0'G:y|  14I^asNLcH U9nKo5՘]OyT6~ݚ76Bc]uK@+/=O ?QNQdЕƶ>fL_ V#0'4"͚W9k'56QRArjR@8(0snFϛ.6Kui`疪q~|yézn}Κ7$×_h|Wl4U9.N4h^Ktn7p8Wa!8Wзā^1XK p]썅M>)ThT&ӈݫ>5yA)B{6`E!]6z,nƯ_끈InQ/Wpʼn-Re]~͉ Y4,kVE)"4AU',ҕ~CRn^xNNS~tPsi-˶I2`V3疔Y*8_spZwO`&c2E]/KDA*5qSSv\0v06re,Z~RI>f˕bq iA\ Fm(s]p4 |JwܦʨIrB6DbE(cQ_h4r[«xk9.X/KBiXZnsxão-GSK`DSƽ`{f8k0*j.5v@XLbP>F Rj$nOXyfTVD0D'o v;ߛȿ 0*D:>\:n~M:#!D5 8=%MPKʊ &VU To0inGVSA5!@)MdGMPݐn] ElUٰ54T*Jo"xe*>m?t@d4`kHҞa1"~r@إ>TEz.@)7S2 W1tVǭ?GOM  Iq"M=aHՐo޴BѦJs{oyIh{ 2.7V>rzwF WPs/Ĵ=`h? z}?&4~TɷOD|ȕ}eb/օ~яUrי+ 6n]\Ƹ*| kTܐYNn}vm`P 'A͘[1A5Rzl}oBNuk;+sB;H>ٟմ&7.h!8.]LG4) b'El|dSBRأpA|3թK]$7)T'Xm*s` fuIgmٯd| `8`|V޶ZwY+6{ѢM#.e ŏ; Pkt:_FPaTܹ2xlm]ZJiFH1+ȧO=TE2.)n"jqux%ȓ]C#:Hq@ yߊtQܖDbLqWZ-֛?w23O%%$7_6P,*CbM ل@0}> (./D[GX3*l% 1h^znXu_c9trOjKܶ5 ˌ Ĩ4z5!sپ6dl t6e7.h\iӶ\>b*ɲ +40ݹIROhZ1JW 颁A512"z"9C5.Ht`<*4OTɅz/WkMsjlٲj(Rg!d}oEu㊮B3R\uqN|+mBX,Z\Ń뷤BEa4\[Lk!L"βUL'/Qd;/菹:q-E(H;?| 0XaO>6ev7CLrz2I`( wUB i͞hP/IRn W}X^z 'x=\WPR\GPeHnQ#u@Ŀ|vWHNx%ZwfRU5w#⬧%'y|d7>_}3Y-)|rO]a.]@GnO_7U Jf3Hi,9F4{Jͫ a50hh^uvaiXEV-P_-xe{p1 yr\ JO2^>)D}tdԖ,!F1[㒶^E+KlfkdO "bC`;֢`7Qٹ}[CFo Y[sc>it-ؑkBn[-Bؽ(|Wcx_ A5ݛܾ- H7Ԇ2C˦,;47+ZqhmTaОK-ۋ \5Gϊ ߕ92y䐢_ˈKPl,:hQ<ѽ 6|E:w6Q!ſq纇Q3lh봲`6Cxy_M9fKAbIq<ݺhXWM]%I L])m# TLF9ky˷HT;Tsma/RY2"VwNkE2i6⹪/kXcJYxxs=y$=شm~~^,9|_wM4&9ZN09 ҜPN|bMZ_!y,|IȤuY-"B"*GzJ})9Q{VOCQ.gWȿX ԁ_'XaG- ?~26XX!`Fs}.'0#M91ڿzAWkG; g=iGYRՙ0Y<^gU~3q66]-2RŔ\)0HFȄ' Qڍv<]W9Ohws -u{?_=*E= i_L#SHA'3F9b虴џ+E{ӈަ?=(mY_ᤇ7tս4In4/0ͫciGp[2V9>e) H9FkT9Qm-Ь&R+˥&|XH;Q:hwBvtg:>q &]Dq=2u௄~~ ޟk9xTGrnU|73Y3QCJcNPး@(MnA`ZEv; Tݳfõ!_C_tڢQqp0 [OS^=C )4 H8"&3|!#Ckk)~[my {ڗo*+H WUDyp `˳;ob|k#jv7$‹9HtpXs?tqvݠC%CSz@\uRf_DϮ^~ǷӈҠp(˔9q6Z͛Y91.wmJ2qnӪ\aYR3QhLu%a1YJYy̛WŃܗ0XBgֆ~ Z;г[TJ _QUw]"ȕO 7wREN}I O\x|giNQxLTqJ|{TMw/M-2zjǶr䦐UUFU:ENewItoUAƗ+2bmAbw&u`HolNUI˥~_x2|i5vܬ·fq4bZ0mc \<>Vc)16Ts}(Y#!j&@[5<5,w`>K8]& _:)XhfGb["ux CvSڻwk 9<` f̈́*RQbY 什5㿳=N~KgV ~:4pm<&XK˼]Hc?!m,HGPZp+-ZB|anxoD *S@fwDQ s% *:q[4εK{NUܥ0h~)N3C~'z!=CAGa>\o0FoaCM\eBUP@PoZ,g"2KJp6q6)*ڷ[ZmuKT{ qеwd8e %2_ܾo_.\0t1MP+S",כ'm8Rvj7'! u*NKݿyiPH[$ĤmE} ~Z) ΍+I)4q ??Ң V"׭0%=L1<&ҮTt.1Yd N]ZD )tA4[VIN] )_0rƙM/F04ˑYöXI,`b9XW=Sz!/cdݰa8CR.d1,OjہJy`YG81 Z3='Xt:}@'_; J Ib'hr-FT}'\[sgV*R1FguѲߛ6B ;b +O,<n靝Ux{GC zVCVm`EH3e ]9T$}E|.]9  l3b2+}`!3~|mOUP jz "-VR*yzo F݌p~$O؏n\uPmԹb6 _ >"E'|s;1)ܿWп/Ě|kqfc/93]D&+/^B<_zQB:ijѲh8fК‘^Yb7+?CMcC"OsH|J lJ6+ϧ̢#reZst}Ecz M]QdʂBsabqʫdr4<(ۺK=*+{#"o{JIwW %H5^.@+Ow*? ;v141{ow:xw;Fns$d6]^Bl~)u@/Tٺ=ǃR@!IXLA Tx!'1gȄ&h` ’:z줣Ga|c"Qv.߁8:$ÿV f #Z2PFdyyqMOff kBX2)&G:8G (YnGe)J"\f.Yǔ>B̥ E[hHGq7A{Z 8Kg0ewuK-۟W1> {cj2l*lc#cg+Lհb;KƿFq_KUlRǣ$&*{͆|csEA L ? M D4UH^>(ʹ?vNӳY2.#Zצւ FN[#&mDjjobYR L%Hu"ױ{[M86c|ɣWwJ20n~g5]\rM+ky:7!phQ}iJY]'7Ҫ y0"mNnwfÓ[2 Fq1夝!}ӵ׏ D3k}J.{yfpXKqXW$_n-ɛ BJŗ|FhiCOkҿ|d KuG!_=0Ӌg%.5) ^cʂwy׊ș^~<"mODs3JuM~<$x;z'ˊ#DgoLnCV1Tۦ7J{q|ؠ^S[Z nIQX9@T/gx@]gA>\`IX8ƙ H Wv-Zw⯺qo~?K'\Կ;h*'"Q8/4rA8 $|1wXzPdEGL4HS{)z(R z;u{fJ%I KЪnNW.%}0]O=Y5Pi6=K2X8W-pr'ބDٻi\jslѵ,_|o{NO[a[2*p _N"2 h|UI0ZEӆL=jvjl^[\hf9Wm&.sFGz,;^|t3Flc!aVf,K Soy@ C%'P(X/Bj5iş'|紊MN l8bwlOD9ūmn;ڂ'|UÉSlJ> (>NPS-YDPssJ km@YG5rfdXA=kixZwGFh-iӁ M~! 9#в $D_CߨEuB,[A G=7q&qOHJpJ-,*wĥC䒭VIa0vQgNNLyR*jQPc9W (죔in,Ez2s-Ĉn,k+ \*u[wvztMW–]]{SJSI֌42Ni>楊M欐_k`TLN&mSÊK]W.VV\6XDdLQ1\ ɲ~o%m<Ѿ%JjZ$Fޅ7< *):qleoB[rےoGcy7 <:xgCwI:G[%:$∣"Qgc{] P;Z/20/s*g'L'S[>N}A yvޢqP ~DgROXqHsM2Ug86FKnB6ם/ Ęh SFaa{3=xMI!9iڒ 6>V64Z|a .mw"|dU%sͥ`Ϯ}CTԞi7ZƶxAVfB~tNMQ2Ko&p}K3!BZqbߣKKZH,!-rA[f7QlyNpVpy9W{|(Ƭ,|3O1oTH7F;bCԻscImmEՋeDc"ϵ .HcP|{er"{9@zU1ʏs9E*=:(0z*<QRw}.c^68+\eDw(^c4y5w/iq變q܄g#38M8`=ʸp h_EPש;qbͶ> r˱8+^h)aTa,Ö㱳1DHꍉږ+W4̦h- fve ]p)䳩#l`+ŁQN=6- wM$\}=gXDjr@46#7T!C6 WA98 Gp2o EHZU@֨QwԸWoMװi0Hc/NUɐҧv嬒Ogq"N}ncZi plx%U s<N´7m sTq%c[ԱҫjQHmguKgԯt 1=uُvHH &Mk(D`ѫ8 K岯H ` G髩r7s}5<OVeo3g-s+7mvl=QhdZD.lVT M.|4vRs*ݖqF@qT7W9]d(sm O'O&8S,\@Wɽ)9}ˑ_w&օdu渻\Z N@F޾l"P~WsS YY+[U o%0a~rP@Vݕ+rAyͫ&8; sQqm-ޞ һ3B^ r s0L+$5!)I5r -;chY, ̈́E*JG[ TWJ߶&<K=", Uj-=%([ƇReޢ6zLIrN9Mdn Ֆ[lyCv[BN;k)ZI;n5éHnzjIG)vNn\2=Iz> @ꍫ7R (SHoc?`Y sYCE>}W„$ơl-qڙ{?'35(iXL*(/|w ?ڔ2df3Ϸp_co]tc- `cEƞm4WҸ@9ԕ-Kqk"֒P;ߔv$Bc1|qi>.=rJ)pY4)[;uAB+_<lj'_9a? q"֔ghIc>_;;f&7酕CEA APnEح\F;T:͑۲ `xHaPT~ICc*!f-r&y\sGx:A13tg96I،g;'M[nD9ma MC @yvLn ]HÓXIVK i\o@@i<(Dsսd[ڢUc* 7^N` ui>c!9E) 7U: rLìRJP5iFqP1AUd94KL m[3m8FdX&20#VXĤԭ\샞iGAܧ>||0HLF,%6)o oD.ʖg^YJ)C]TD/Ú lOYApی|ɩ^XJ¡}t† ɻmJ/!ovIk9m)ģ¿ e#ru6% j2U;jLugS*ʍC˩Y ;wW3h<tUJH+Vt0GF;1Q[[|?ɰYt>lWU7jr.*n*k~f]نva&J:zNLZ3ܐe;ꇱ-p ܊RʇlZ3h:"̦v+dDy)5}*W_I.fBbn֟)ِ Ƙ_"ij]Aճr%uu\(S29MA_}zx/b2hcKuO|6V2R٥v ~txCDze42[Z^IHß;Ӥ kts{CH@9h{ap!/*mP~{{(dsރry<._QJpnm.cУj!t:YTQζhu$H\)n&ռ0MViuKTxr 04%mB+m%#z+frA<7,-1{&b_ލ]J4+&GEUTH0lZv{89Ckc?ZJn!rim=hGL?b2ohXYU"*BFAymWw-dIW& Wf,KXA~aW*Y rI5r*}K~ȻI]]NTw^7XTLzc }ԶB@uwɸi㨁i24W2 {?˾5i^|H(/]UF xfk%G`w%HA̱1=iMR+ *IzM~'=ڳ[bOg1>fg:o=$؆H+ls[s.``dc;>ox4_XQJ 6 l𫰺p^ӿ}wy*%b}2QHXADwѺu DZeWE݀&@o&J6gx w16)"Oxb4hI%si *z}{ĉcE^  AH]UXn06DgF-̂5L-Pf 0[+>M%{"} h&acĺ V(VUnP۫YSKRY3Gܗ,H 'rw.MҾe/E쎯ǻɯo2z/>&5|wU?7ō'c8$=՛0kgI ѹcX$_(P  Hӆ~Oy+3"_1~o3Q6j'Qmci.A>Lg-g,Ra+Yfƻ,p"=.s#]<8k]ĴMhvAU)Gֿsx#xFZ"v}YBksm6Kn^W~L(~yߤm1iGҾFSM\+M;@ ]홃)y.Y X }hԠ%l6($"yaM9bnM]|HNLqoBf`%)Y~ؘR$qabWf oGrֲbȡJx0<ӪG^Z|5)[{ C&. (HR @tk :^ޣ-i3Բysz VKȂ-8?P MegJ~ɖd뱧6u|BV+THu 8$SW!&a>:nЊG_C/qu ȜXJ] "7*IN}M >Q0I]85Y]Q]ɮRfEf`MPdkǵ}gX,kz啔c,TOP`X{Z,5Ȝ<|t^?GLUMtwl:lXFLv qe/LE>i\Pg[A9! =$7KcΡ]bFPGomDN|*e̹F 1)a"b惈HHcfۙbuۤc5괧=>LIuW5.!/cz78h~y[kt?$$LK]T]g >^ez:`ʽT"ݤJ\9R" {a D }Jm7c[yxAZ$(V禩mn |ko9YPʍagzJm+qtEO#ZW]yo sa`Z"yO_Y|v,I8-'+tB$r4`1w sїgW\ !a=OXj0ȩ4SFS2Tyw*nX*.l _wp݈L#vRVee*&|B+=#VFHϢmJHYD8ǥͩQq]h;Y6[JրOMx6}wG P ('ܔ47䂙cZ"؞|jђMhr!?n@񈠩u +:ɇ|n[`,ݩ^d.6k&Kݤf"y~DL"> 1wh "<]ݭ c<0ZÈJ(ΪV;33 [0&o#ENLaNjXsE$ip{ z7amds{;LJ56I4PE^ 9/2JB7%urB*noXh\i4#$4PҢ΄vn?Xlkj>J=(X~E=<U3_#2LVVjUkm+Rg:95hHEAdwbnz!f9A9rkۖW0uBq.=>zsMgqM+C8b15 !%\Fc_V37hKBe[>xՂ׮[HdOVWV?v\TRf?jg#k_>m75ѧ?ŇQH[K} (OZ6+T˕<8*jN6w+o ]g fݪ Azrfgj6C$7:98Blb_'xOBiv%ݡ(gwr_G_,VŠ4BrBȾzeE)~d_j@ UkF klJ>% ϫ׎c )@?R)4J'Af,Yb6ؾ0a]W^ HN>a &l#B\@JC|P=mDo0m=Ոt $@L -MMf-:'t?&7:ms|{?/=ZޜOڥ""ﻛ&{CO=IUvN0D?g$g|O|bXn8~1B=ֱѺ՝o=]֢{7]q+$-DoorF_F/(SU^ۛ6[Z)0K<BBm窞pđz( 0i82-j2`Eά;-P#ȲrZלJ:9X_c@D;B?r7Rϐy{"hd@BMSbo,!Y.-Se/y>>'L3K KU[8fRPx@ؾr;."P]J sq酡OLwX)Wx1<fΥq~!ʱ,ϊ][~ A]@V$,1tG?*xF{Ѓws*৲&r0gXM |f?fmS.M$7k7*{ކ5 vi/E-i4 )%KJ=0cΝ2t-L>eL5Q`28nf/nRT .ͽZrєXTR`tԹT8k(7˲~}~@zTI5k y Q "_b6|[Gm.M pXnHE (@!c <7R:旺A&sA;uMo\BK'*^ޡz4&DdSD On; r<I5L0c~>r( ުd|KU hZb-Bqnw󳊊"ʀ>CLrN7DV%w7rꝇ3J͚YûHKJP hyj}>?MV Vvr"~U"s4  i3_=`sQR$7 W-OXpAԪZth{7ttp%}+VVJnRf8,j } wV4Z_qA[.ؤZwl X>MΠW3%Kh$3X+ϟX D$C.MG2;{Z2^`z!v6όh,*Xzv /vB <<"$+Wƅ?\+ ffM4 g8sdu`;,6I :(yr?4." 9^Tx^RE5яmBr&}fߥ"9sɨ8Il:`iP,y)>xRr'ż;M>b@& (d΍cxyK1T@Nw,GM%ꦌxc;tV̻?GG*B O1(9Py^Q|\.A`ݶ/c9&G Xu!*o~}qdrǻq-w!@lA֑G'{#5&f$a#ruj{YogK jN&A v;'p  YT1g[ +W&ɍ_EcPtH45@`sp#EL̠J CuAlcƞkvvM.>N`qk0)4CcqzOa۱0Ty!QpC {:_ egYZ4^+Z\w~;Qc.AG "#T Z9#jۣOB Y8Dh)C ̒ϙ,<ȭ^߄dnuD RZZk70-.Pu6[:(v0$ <=+3 mQalQbU;u|sB ;>A8ځ-=RÍ"mSnTex럊 k8 Qzqiu|-ktDZ@eK[xE>Ar]HG*јlu1-u:qyb,pS9`WG|YlI{n}Ơ|QPV+n&y]0sŗ{SCU]DjR y8햴K柃hYL_x&8.,QݻY)*IXgn |&P*C#Yf?L&rlsARƳ;vr_E;)ΚqUlT0G$mTâ2NSV)j f>E㪣O{JygWMNGt}X6?Ӭcfg4s} HaMU{%7b,]=TM9*w-vnMO|3BԛR5 mY:Dǎ I%ބ$/D3),3trؒOC% X|7+^nvg)F>^0rFCkdCw6!ޏUiY[4zH{ 7l,躒<| ZyNveȘpDG 7ia\J%ZojFld.+ajhʟƞyQICx"Ɂ]B"¥{ry IbIɳ~4l~` <Nɘ  De!v)ͿS6ռ~Nm [+ǝ,.+#ѽ8&DKY06=b[5O= DޗvNia̮P WprD!čܖ㦝ζth힓s^e\m*} t-: y{i[V RhP㋶ f۷c߄w1$AS*I+K<*?ْ/d: \$/D>w[[XE rsm-_[=C5h: EH/oOn)9voKe`DМt= +zdz{w\K4RUnz~ߣ O*aEb4b5Ǽb:Xvs!M rij ƾURU=(Sjl osu|Jf(79sq޴̀keZHZwX"f*C"o7*hg#T൑[q88rG2!2K p80)8l{52f͵|YvkַhQ_w+.߭yUbA/9$*ei%d]!ޭ8/lE% )F=EKƉzRɊ7L9V7A}, |XOK.x5KWd!'ᰃSE\"d[ʁQH`ʤCy!F%HQ#9Ձr/wI}>T+ a2VJmaTB\W 5Avn薭&+ hzaNI 5fĠ0>:G ?_U"'L̷1i$*/ `4kxp}'j`Ne?1W!*3;SdE;~J@JP&D>/m_M%֨$NN<,Qh'+l;6 {Ģ[" ҷVǎb$0JWO˃_ rŴcW~xGP#Js{ƄfŖU;L z/u|-4AD ;^?8!Lfc|Pf-c9]<@_Nx4&MZRD?^gM"\iF-lZ| ~;ҲdU@Q)?P/&jL{!S{˝E#-{}Xψ+x׳{ o2#Y 8Zfc+}Mѩ E}+MP-\'h{ 4] CD( ~&We!ю,}z3牖K;Z*f% &jss_UUFLhv׬haVAR_eM^W`/38 !;r.lr"4;F/s;C(%ofŎWع.WSh21T7@;W-o=hJJ3McUB 4!W9g]hwI|x E c8FB$OJ657؎lA/;‚G}p@|Ÿy3yk kÑ>q[vG֌ITpoRZBu_= %}T<~µv-i7;Ꮧe2!>h$B7iЇ&d!gIX9 KH})M'o\o?#-EZxMQr,?AJƍܴNV A2ee)d~fpxT } GfϼhZbn" KQ>_*Hߙt,_ZqSDf&&\q}2⋊1Xrw(t3 Z${Li)hg(կ#x2vI1=鐍zBKS5ͥu:=7_t Elz0 CjA`< +$Xr6в^@MÞN44UnĎ 'u>5k`HlR$0ƣ߿?;3(zTL L2b!F€Fe5$IPsKNI=b: 1KAiXKD.LxbP/2KȹsWAYAzenWmi$,}KQUmbiJ5"e=%FUf7"vƭ֮~y]E\T?ҕeD =%l|7S0+vq&'L͹a)_2H"쁊' H;"5\^ vtR(!ITZ1ɖq}$V|ĂY=ddF6<{_ذ> 3i7*).i 6=›\xBW#c}T`Q>%-kvE_Z9 S,'}kyK?v<2OvI)}̿ѫq1󨍗o7T5"3.<*˃`lg>}eC zw)nڃهyMqv41gNۃkN>jK䙖O۫ݸ>o7X'Q܅Y{jvO7C~7mP(F+/h]vۮO%&ř/}bv_(#ZϯN l?1![h'^dqA~{0KŨnQ¢`dFGyEn_m/KM,{,_ ΞSJ *e>]u|`$ۗ甋tdmBI^BDŽ>̕׃Uf\X 8sp74)ש %`ܯ1)AF`2 1*IU(s7CJXBCq;j7gm|UTђbTa9ϸۇ|$ 5_ŷm[@6һ?Q3):HF^ި='zwe]UXPBJ>k{O7na~G ^63JVq/c?yh ~bN;Q!Ͽd8ŰU"AI)tthlS*.rF^Qkqx)T2zpc T<T+#7_4S#%+5˷'&;to3 ݾ#E'< hf]},CjD=Q5 [Rc-T:c HFm{'J^Ćz:<;L2-WD$tlz] $Z3eYBRdݖ[nr15z}I{4̦KIsq!t؊Xw1];0w^,aQ2zn'$v !d%<{Sy Ұg3"?T!<$3p` ]P V16Vu;gU ]c;FC/zld. N$)(!a7 t|,y1lvΙ> pu&vrZzh+7ђ@QU?9g-I=%#tO` HϥpIAqyʋJGd,%I!}Rnnmw9F&.A̺֪2AVX[;BF[1 jfE7LeO9*T.pZic\˛/cYPm}nG1@|SУ8Vݧ,}9r]qA\IsRqTq4j!ld6=JyZh-Wn MN҂, Yrd;c1@Ș.@@8M3SmNK1#C{p4}46>`j}ʄrxd]CkblW/c[5>2ѤԠC㨐""\@ 4x1}ۅӑr2Gubg},aP T L,* ?D!Cx hzRmD/3;J?U`?dߖTÙhp$r%2qƍĽ }T'V+볁 [Y=$T(7[é0YŹ ~gYZ / !=% |ZFC_in_HOLHOL-Library.Equipollencedocument.tex7zXZִF! \,]A-MՋhvG"uIBm5}MTݡc\G=W`ே'u)e8=Ɲ?Lݠ3<)|f֖=)^ a^] (Nu.VlFAt%]V k5 Hc.)3a6^>ތ1[e$Z'UB]|6&Nɺ;2N.#gF$+O9n|g8E GV=݈͞dCHh%+Eg>.xۅJ>PwS Qjz)ǵ+B<LߡAm-6̘&0i@"hj{rzFWJ48̫ m5\_X/:3a`%8V HIĐag /'2-46Uxo۾ %}Q+C[f]#|1ht[?x R m{;tqd<[ys ?=ljb.D8aWBsu "m!Yc\1˶Jy3\ϙ*M ) &`V-i貫OC,@ڋjHV(G`XmIzݶ)J"ZB$mAiK^?R_n[PL[c7OCCXu _o٧[RNsfwmS·h&Tn +0<RFYN;{6yW|E.g zユwv ,䆽'@tG'gOgD?F޴?Ya̰ĉ,`*C>ٗS=#O:AH>땐 @7ab _:()U$&̪+t_O)OtD`⣋-/,"dWRߨ.dy5.,ċdY,tyzRV#`b u/Nޝ[0δU 4*x#zj N(MAXv]v2T1Ջc0$(ף @S^&l{;'$~Њk`K`~t{v͔.L*@bT.6`CLCoAg il:hf ]-猙00/ʋh-ygoQҺU%jXQ 4*):DI?bG8 ljyX@˙L|Je~rc I&(qwڅfY5^$\5X"Ӯ? m=OAS't*9- ], #Ká2x-"b0FY"38{aRؽ "TX0&K 7| ;`USNB?00j?H0m'w/XRtzr2\^aG?L1R9x $lߍ|# JU#shŀ0k 1ezK N= }ΐ}>NxU ^77q7+m"=F'iZ%l?W3ІUhxV]Yd%DU0~{SŘFii#%>EBՍugf&Ql ]7;W9 N1l滸t˃ qr0WxfQSm#8bXۂ~덥e'D66Fj5Sjz]wHy ȟOdl1HZ_hC)W y#]HXJڲ."vg; $w`'' gek0ZGa'{Q:ā7HH_䵓<&37PL-Iax:9] dE1Z ?TG|6ZQL\.>D䮉R*O$^ٔl-'2!cG$|g`onx'P}v"\2k{CPYhE8 6mZof1'"D1vn s*f"?>.x؁=m[7Ҧi˥Zd]9q.MUZ $n;bW! aOO$pw^ 0_EIցtr%x`эd!L4N͞`;pgEwX°z|4SuTqK :+[eqPhbp[KcC紗fi ֔]SImYN&SZ7?S}SRPgS.[l#S4Ag&ݾ{Ծ;P(YعK.zpC*t6f[Y\n jd6FnO1 Bm}jCۼ<o$91Ē~s8bK(js$Ec –=1{o+7Mimq䔶_u-p"J2e ,!hhG>J/=`#xB<$~y-s }rp"v&`̀>,Rq||xZH`7"bK u\XJYUTrb^_n&*(MٷJB7֙L0P "zk+{Ozf ԒJfA„j߮T=sGtYu*ϻcihPH^#¨zԤo5Z4Dv0Vm'tCӱ!MO.%c-P@)ށ ڈC]7פo霖4;n3_ķ{ƀdb,x$(IBl` >C%'rZy߈/ţ{mZ5(4[U §zgA9N֧tpjA1w\!}Ԏ*`Vh{걿BZ8*^^M/PҞB2<'  .fYTv̿!_X{(,hA[51,dձARɓe,7}-1t/|3LȖ-K]MVo|mBtz\Wqo2{ 6ac E.~EkB0cy2=N6`_X&m=7pg%اKrQ8#,U_ό8j{rY8U3M p(]9'!5_etr8dp&)`;TAݠ_P1cJ"!"$qtMqPۮ& %[%d2qKQA[PrMg4pI"\/~㍛ UU]yܻ=][+K\SUUR[~p 23[=ATa1[bջ!  V4:]F 0 Q1Abp=^J="3//yTĩ jJNAV?HCoTqdYCr^?Ȭ,7Sҩit[Xԫ-G̷«l`A4@cXKR胧'֝+ʂTsM kZI_Aw1:SruaӢhU:WMQio8#C,@qb<+$ YC g "A ;קC+‘c[K BJ\aT<75 TdRg` ёEQ}7%$Yhۿ< Rc nDUa8 $4b%tf)zXa;M?ZwV:= כ<_6>ZWnMq'Y7e:vYl_}LtUoG{Q2Q8P0)8ee⤮̭{j4('_<|.< w ueӶJ[Wص1{ ⤣m:;wic!ZhP5>YI.P[4? #Yݴ-rk$GY SjTV+\NӇAv;ZXtr͵F=t#Cme30T,0)-I7kW'kz@/2{.M?F0};67KhGnhUiPiC-Ո!S29 o:G`$QPT<,Q^`T+yGo~6E8_87$DX0';(=bڤD PWU&u_VOXzT8BBBD8Ŋ[Wx< ꭲtgxȼK0m#T$]! (~wƟ0&.] 5F Q*Np|"4[,w-I~9ai~fZB B*5m^7䢹FzCLK4/Av!<.}d$5t!fNe e>(I 72Zݖ~Vf*gUoc(O]f6z41Է!LBA\Í/I |U?q0c[)ZjF nTJK%FsxLF҇*lq!X#Ih(#딫 e5#UW|E9x@)ԤޗA-YHMVM1ʊh)\0/vj[nJlci#lZ_c؝fHDRԹ/8S7`E1vat5%!':~vZ`?f>)*ORש ⲹv+*Tl+"=юXJdx|]~bga/N MC]u>FD`T! !ДT&Aix|qK2^kVɩoYd vWAwzXa`φa?~P $%߇$.jl<-tB'CMU$116;H!)5W>x]56L33w`K{w8 S!ylctbR -R+7~JqpY Ra5!qbVF7g,fI]GV8ZӰVL@]i!׊q:_]׾#E^J7dcJXbfrt_`^XQ`m0?:.J"NF#ST+II%zie ]XP[Tvqt:}7^rHfwxC}d['T^ᴽN",LY^_kimPb0:9⏷5]dFa1z/wѹ7ʬY\, `L̓9%8i߃vVIFZ_{Wdv-@}>L{ aF0,>!$ mi;5c>rf0ixw{Ln ~l\4&4ѷ~sIҚQ-@UMHUQ`/xbltUF=)K'중Ƭ,=+?`5sP24, xWXzBGtkO¹4ڳ.e ] ;oZrveE"`k- r".#c~ ٽSթ%rI-Z*|G|{M /|w7~n3$WG^%]B?}%0gj$(ax$QGp)aQ,W#}%F4pkƪ0j$o}F Na 9)fĂ'1Fl7P,ȝ결AP5٧ͯ)%w]@eodķv*AUFϩ6R4Ա:9B%.x8E2E=A<.7^wAa)LK6,I LR=CLLd\f*#jW]kec JŌQzJHo3;R 87=&y0utӤB %v,ǀ uzM( w t@{g?ori"?9u Zӷ&=x&Ld.V -OQ̑zFr,z m hm{k-3LݫR;A5h_5|JpzLbLV(27$n 3f,̶Ǭ/(DpdHJ-:ldh9:kf}PC,:RpB@ja|im]AD`[e+Ѷ3J~$.w5sb_Nu_ X_32`37<1SkBniv7F@LWZ?[r[ }]nI+`o]Rv#j8t3e{\nv}?;$fċi\eWf>,Y'$w&tlJ=S~Ag_6Xqh>:UIa>ߕu?P}J@`iY cSvQ-`05>I7c-;GeܹpiyXnpWNجM~ ĻW8#>3O+ښՙ!nfNUz}cE>Qu( kDs˫>p)8JJG֊K\ϑHBAR#G"sen荐m`Hak&U 7'>rVu'<eip,'aޕ rkW!IlcAcB1MnANԁ6!,dzGa0zsfE F9`WD\bs0 T` }-K '1J8pX!N#gR5YO-i[a:q_7#k|+AZxJm~LU4^ nbS_ ; jCM鞟r3* ##^M`:rLH4s?Sʹ]lɆ :`G ,zepX ]A[욃 z^K$r\hZGm :wy EUV>—>.rj?&S5zkwJWOo bNוqDgzӪP(I {E)QGǠ o(D[6-߀oȹXivE1oh)!9F%5ca 1aNa_H1` cPM8-/-E!XY[i/I3cٶ a,va\i3 3:VlBkZ)UocMʕtReX*OZL}1{H[KLrE]*w9)1Qh4mNyqlgRi IMէB{YBj^/ =Ȼ3Ï'WCCܔ)X" ^3uGx" -얇=m:+ ?A]bֱ++`eJj>&j7[w/a>(r)6 n] u*kT 6yU_,%(crQ+=߇mѬ`F [C\$> {(o9ḝ M`hmwrMq=/Db*ʔ$m1; |[TrpUE'ixNVB5xUk' 4Ǧ3!3qr#^׮^#A8xb ' K(ɂ&7x.;9@AQMR#iUzE;b)B3 ]dhJh˫#*YWpr2%)Ս`[\;k(a0jlDoI#ןdtr_&Z6-<Θ7 tR:u9nSj8!V]Kֶٞq@tT6_1g/:Hw}x).ydTSIzdN(1eNB"$=gE\lpU}vN3ؾMB?`vK=|<_}#"- kd= 2wKi-l?" Ϋya $%K(Q]IOthfA,OaUDUQB|XM\˳_2jx|>~b$npjdO2)k_hG=ՙԋy)5'xYkJwCg{ZFu5Tn-wJ}G*8 Ad=ְ@lۛi?,##_}>0>.0%_d x"#.Is^k1ݐ*){̬@zeRpF|>X鐌xZ'9W՜6Q:!w|'J"J|Xӌ;5LsZzaɒRxqB7ΪdPChмKџH׽0onq 2}&`u)8{;CKk=0bc{Ӛ H*Z0PLG , `,\$)_VTc[YzMKq40Ϙ~+Kk9}as17wCߚ ܍?tMͬ2u؞gU1b:7+>`2sO')XV=}\h)ݦ=f̬I*-D-( %MV<筿1b)\!8Jݍʝuw#j i+ |=3+T:teL9\j2egP S'b9_J0>9y l7HT,a=T,J6<4I(qknL10 *(kB4uӪs餇Jf0$Ub2R|iKncc8ÈBrf}yXrwyв!)gfXE׹aO1ӿh|zKzLOMbUwR ~2&W`ۣ9ŸlE) +w|,{AŻ҉EK+iimzI ]$^3Klp??mlsv6YjQ}L;?b\m i{P+g ߘX_T$@אO 0/+QaK72l|{ ҩJ&! /W}.)}+SXŲ>c-.IQG$yENS~練mE C( {-|D[W鍛ֻ9Q (t- H+SyIVQR$J.Nx(y+s+Pmx {cZ A$:lvs(;;zԈqXB&4ARkVm7sGi | V {Gj^W߽#;VgHq *  1xs?=eٌch^`8#ޥ4m{7"Ip:!5 em*H&h'T6};Ε%Q+ҡK" gmmv4G^2T'5J8LKZF7mh68fq&= ^ˀh8*]`A6x$tiI`k,t(yvFf,7깒 /ȁO5.&D(0)"s;ҟ ` 2"8^ÐQFs`TPs '%6 P7ַ۟|F#D[Ts^zYPo&.)Pa^p#QGh E5c@ʌ cqҢ-, {x(z~%pc4DC|f/iV^o&}

2 ppiT%1<Ĭ$F q7B=GJ=ra:n:BNWފNY 鋛gwzu'4B' t`Q֐8s\k x^c;[4>"JRJs'G65WmX;B+iݿWVC\N(`g45B1u{:d`UTb XO^ ҹ7jGHw<4@BdOQ7ÃA)Lg1UJt 3ݿ{-Nxt4 j^ X2)鄖 %MJ9F'PVo8IۧI}?/ s*M_' >bepw >$YCޣ2rܪū97@@1m\Sp$S +$h rѬfN9ƦitZXoWEnm?9o3B9e$G"FU"/ QQ u{/ox?iڢeNe,֒8ʝPّk?XW#?R.m*+HR-z[ZM6qNo&_ &TdoJ<}Ǎ}70Q /]J-0{xh洘M^U *^VUGpf+yCR<4<v>#lCJ+/%lgzHaמ5vghp [<5U<3!BB?vD|O- 0\CC:! NFqѳX,r_OWZoNUvWʀhr!A RcBwʑ?dUhG8/)dl.h0-~>Xgpe -XV6D/( 5wεs^yTbqG>.:f}gG"v ޷"w̰˱;.tzY>O^^C?*xIs/'}AeeMo=<{~.>ySt?'?w,2?uW*hOwdhۏH+ Ϫ]zCy*n!?@~꣭CqNÞF RiŲ_@D؈O jD&T. qHQQr/왏]$yV-&,P5+l:[Yxx-np59/iQ H=SZX ;9[EYoyQKI#cmE#CQGUŮ\DыzVk{N?6R,X.$$])|79FqPh#~9n//Dl#ձI+g@vU,{xLf 0&=8SPp>^Ϗ~!aQlDqLĿÚ5z`mNKU `h?ky' OgQtI1L`%. P[W$ Wp]U\QHQ$ 2L { zjp3&C],uxU^' y9sŻ?kb8Gβ5,1cJaJwR(TySUSaPyRV4Z]rł矶- (O4iA9D?=[ukںspEmRU75lsFYta 0Ik4/WBrgWշ"2Sw.`,u`ôJɑ<2+ru[mcAVUzo'ۑ#DK='E0&rNo|ҟkhL:Җ)Ї΄]Ę$7VԘ9-G h*C,|<Š[ͮ.}Q`ۣRL]Ҕ5d >^m7}; 'HX,q#ŕoE"̥DZhOe=}1-P1*ƈi3V#.acш`צgYZ   !?% \ZFC_in_HOLHOL-Library.Countable_Setdocument.tex7zXZִF! ( ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq.?F|.LYc#0Ly[<ϊ+&ܻM?lť7KA NfG2g\+e-HH 1/*_edⰛ 7}TCst? ZSWl^Ss4G䳃+$ssB;oUb O"?Go'vG'ru='G+/A" gzɄL/p+<a!# |bYaPm|EK'%6JL8Y퐤@VGO<.k2!LK%zL=- !9% |ZFC_in_HOLZFC_in_HOL.Ordinal_Expdocument.tex7zXZִF! %]A-MՋhvG"uIBm5Ńu Ys5aC QУG|B+Ço;ʭT܋Ђ,%SUTTRd _;P\GD.[zp>xQ z,1T`&AS>t8[Y`|A,cENC/-vWLO?s1ErX wȄOkS+k 3 lR2b¦)‘yJ;lsqTjb0M݋MXrACo Bi!sf >o#i}ٕ8%M&[J8Tƺ;̹}'ךƶΗLub3΢km JPeg_:<3v2>`*57[]GMW)Ъ7brŁ̐`"{w Jf!.|gju+SyFVP7"N04h3RteDQGHc4JyK}#ʕZccH?heRχ=읈LW OɜbWXM!I,i}PZ:$GLt$g"z nl Fdާ0 =G&Y4j.ּnM盭i89{q@v]Y5!brdc&E:=&H؉<=BӲ b9h("#>cYiLtU"@y4`SM2gYBKMqmd69$ ꗎmhN%:8XQfPwOs~dPrBi(2/nbYQ'Я-6<ʈ=m)xh@߳^?݆_B$$N?/LcAr#|H,8|K7MCMW0&>A>bdSZhҨkdž\i2%dßu*'nx`@h{'nRWQ. +W!LC Gr}G%.$Ίl-l= 7].VfQ@u^~oA@sC*#A &ZW8秼ȢGƳR50.FSV [1A]]VV=G\X+Ŋ`hQh>5L',kI{ui+^iYf8ܢoVJu,OHi;BՈf TF1>OX]p}Pt&P=68&Z=mW7'[MvNV'k1nr~"Y0 йc|&%}Ŀv@B;I'OҦ ryduRi lorr4{4'U=_݂9~ݓUIk!S@ln˓b;/4~SM&'Y[8tOd ܑH9N ZP"0W[u~ ի6tK/j+:w!,$C:c[M(QIۆڪc~-%r<!,:zL0`Q63s QLoެlnGK.~D"zxv2amTsK\g$Uw^|{J ^f'* _ -m:qN\Cm#cPR 繂;Y-Zq' OK r_)]"k~H"Ll4Khc^4q '~#K8ƥS HE/D*-n AQ3#cM$ۢ>DG)չDRH|\>ŴM.Z:qQRXm*&'K}%  -(e'W(DCuW?GŗΕH*'ςX< /AK9zؙzL$-dE/ҙlu*_C^sJNSQ=R _\OO䋻:(r0'vWa{H+ \ӥՋ*%ERϕ(zcClEhM@/Z gw,={8oN|ꪀ/r,X}6Popif$ؕX0F==6v[=YGB't^1)\4וֹ":0{guP`Ip]bh5V\lL=×1&_ zKPl4 5.GD p0.M>3[ae*!B`Q\8u [)rpt$JMb ثt8;s~>27)ȹqP!Dk) L4+b7@({!m79uA 93K lG MG&怰C\v_϶[ ^)kbpѿiE x.J`LҶc0H_EM(*׏~8(Di>K2{ilրYF>"q8@is,|`)FuuAqk,+W@mBqwʒsoE]]7Sy(\~Z3mz)k~ibCX N!ѰLVFW 2#fku@FW,O.W?TFTx8xCVY:`1.!UjHG 궟" ޟ4~rG;ٛ։=dAG/c'2h[h6M*v-O]i5c.k8k9ˀ?›'N%OIt|ŕ+d!} }IJGG$ q Nr.#:R4fE}>& FO6AޒrM֢5WU}2F=XPrPٗFM4nWޘM>$Qbn kpƃLc9Z9g<&WQߝU)~PFJ*N ҉ XH&VF$"Y%. oΟ>~9xcLR5f0e0mDnUO;PddCg-3+i\q‘.bMGG̹ҝn*&yڿ.j2s$S't3)\ TppWΐ b? uzۍ wsLuB4yn`k yIOj:Qڈ\T-#9EdP ^#3#Mvɿ" Kul ep8 3*i.= `9˶(̧&^5c3^{jkgjwݸva(YGmj Dv"k_*{"Q]?v,@{ k]E_ۉPnL+-ү<\ ߟqN.`c;!GT^^Tow>0}v=HE\3ٜ"G8fXac< +uJL!iGI6`˯֙-U6{–8EA)&dbXwynÆ4Fb2,;<ǹKh lٗ~$Xc#3.y& se;G^O/;EP<:vu?^TFַCo:ֶC:TP)!8(>D$lY](4j9M.y5l[`iז0Qe| g/L&~H;82d;qSw q OT#aWҖ<( jj-N- g}L0H]0ZOh)YCǯ5[-5?2V<cz739{BbUCKvVoஞrwYd;'m¡#x]zt?]keVHV3?$fTQSAQ<}9Z os q;8dvu9c*"ywxKa2'K/Tom(9>mywm7ޑ". ؒC{Ӥ8gݬ$nD9K CX<+A_ '@<ߠex*]}فOZiM!'tYnB8,k݂O]hx^Ӫ;H(3Ypk V9kQ,X2^@CC?aO.# /]'uf{dh=y/TGhCƿ'l+%TdMU8n& Hliݘx_6s*x-eXf*KfTG[~c٪! No4Q =3m%/^>^(bʥln:om% (gS ;֗Zt1[Aw5o7^i2s/PsS8sӃ9_DByQDi8\6Ml0&~8DG[-+ \rd5L ߑxMd9cmwIϼ>3F:~~5`%lظ֪?-n[̢'=16*&/QAsʘs6#5& kj83(H'e\keVm׈ K[As4ֲZK 6ՑdjȼlmJ4*,2:[W3$n=T*)oA~Cwq{RQ< $DʢӀ o&G8,"&v00ck=ٶl^<,m $ (-o8@~ 0BfAFI8ϣy[]i\ѧ9]hL*e7mxΒX]b+] ICo׷rH'lr483hHMN5}J=WV;B.e\9)4ӣ<X[)+V@ _sܦGU.}C{|:c1uB?Zx"}#bŗ/ O0-$5s3Uy My/v"wЮ*rF!33_çHa s̽NtϟQ}.%yi:c @Xɧh(F99ɚ縈fcyMԳc_.Ju7tx e;b{FC7ThfIKh t8P/hJG(^u+fliE vF0,UAeytmYzr}Vf;ߍmDd.aK;EHH YX %ITKp A$jQpݧLt?n/ /^t1^m> 6#X"+amI3yZ3byi!8UeO=,=vGQďhLOo  y@*gLX!Ф>d=bIw%-} Ȍ7ZKQ3m!;8aώxș8w6h@ddq% ]!g*!۵Ŕ0/e["s`gE0|*I~a "w2SdV$`s_*JĦ: pCDk@@E%= cX4!f3W97ߤNt_e:x0Yˌ [P%VQ[K?,k*W6RHLVW~mr )s_?W1({BqS,˥sPc$4$]&}`l`[{U| 2d<-q#W^LYJJB1hLO?MiS F"v?tnMD$u ]1-CmY@.gԻ Ja ^,VUJzYP'&fKUhʀ$rHOm1e$<tEsKЀKH[g*ljrޘ90P)9{/XiIu . A7-~7_~g~㟲M266ѯ+6T,0?3/F+6<~D? '׍rrC+P) vatNJz)so.3]=}Կ]߷`Evp၊M25KQm)D7C6d u9 _Q8gYV'~RhjF߂ zb|BKOo 5@sk#d24%ڂ('[[3 |r`xsM]- F!@+Pku1)d;L_2Ɯ߈F_VK؈Q_6#hz[VK(C멛klfN+>xD׍8T|sZ#N6K>1<%PS}FAeIh ?B";D#'᝔wpL|A >@/tΡ XIJӂ2HZH5| ѷQn#3x Ӭ"D唊dBU]3֝ۅ A=[*!"!~KXR>ؔÈ-X^Ĉ輴 r.æ1@~S14OcHN׵!} ,$x rx ,eL wx]_j>`fүH<G#t[yDd.0J @ѿ%x{UJalF+v=a"l3p2d\3'$sԋMftz_֫y@n䟯)%kp - 96_Ǜqg$.uWՐ&G'ɛoiN7םsq5\=m[%O˛@O=TÄAp[DP/ 24 DœK:K3űgYZ>xC*Ж$uבP> TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰjؓap|;+.#F6#C6N vc+)HFF35v~< nxL`'a(Tѿ>.P?ПEo@oum#Z'_sٯ|ctVmϢ ;̟WNk 9#)if)^Z>do*bQ(z0~apxH𻦺JreS[E$0pϛ=tOQ: _%|a<8ԈP`ō1X8yg]dHCLu%|$Xͯ2|ad$5sߪ|J)^py]:!T;sH6I%Ҁ0K$/ DoY~b.>5yÎV|:2y ORsIkԕ0Rcbs!{oW&˹-qWhi)ƅU%1;93Yt] e/Ccu\{cWk5_@XWO>\e9VOS~[VKn"#믜 g[]c $IfWwbHRKJ|*!@@QB>s{ Dpƣ#+{A"b-lӢ³Fz T<߬\]Wm!y|!Ccrd*t@TP); h q%Wev$;tup 2t DqorG}f3y:i f-&‡h79B.e v[}Z#ݞ:oɵAH%ehD 6:?Y4= ,@]+P]ikarެL{ytFlaʷ>~ά=d'/j~xfFQiij6C?x0݇v]oz7[3CTxNɏpmͣfE--AAYkR^h{0cIp.Jw;78.{:_UJɨժ1>jЩVujԏQq,: s[tEK*)<)N~aO´XZTf6pWmO^R !$"#U/EJ {a\xm9u<@`n]mA~d Gꣽ |NRUD%xe(nijpefb#TfW\cH;u2ceUa,w3IHO΍#VֹޱLd3tyR.FA7x dX8|8eX)lBē v4=L3斟7r\XE.s"^j_59F>(t&Fbꯣ25_>jZAuؼ;kϨsER vbY51^2ZRXqz7)#m.ċ3P'K3VIr}_ 2ejΓfj|[(} XoT 8C:3ʨi.%YgTxU;:ƴXR}[B{ZXȣe2м3#2J]I'ʐyo[e@^56@{5Y7`eQ-X*F:Ml)#I#Ѝ:l|W'S6-aN:*QFI1b75R%oiԌ@j:2kB"}HSwA)| tꠜ֠Ά>H#)Ru_BW ցNri t>0> XZXͫ؊DgHP8AF\pm#tI0[+4r޲ڿ0c{مb6d,_ϊ4#h+wLߞz=Nˣ3iRʛ m=[ӝ-*@E99àOz eCU% $⣍^kȡzbلrZS|0S!WrГ Po }p3y-WƀG y+~OZ]7,Xk~>؋1Waxr2k_QdjoWFA>f=h'>0~kn 6ylZ.'@"ZvA퉨 TܶAY&˶T9GInxh 1Q.'(8JXT?ѭI))GUf`{{ʈUt) _/9p'7$NNHrFu2lWbGfm0e>TqrKa{X¡VhAXw2:ڿCʹp6Kmj2R6 B@5" ).X% 8-%j=@BR(*7L8glQ'~R;Gqs[xJ:WLFyHP "*`1z{]B*ն1ok +۷;\b=PUXqm8E]p7]׶;]/QdMgx4jO!]ِvf }ԤnmjEIKtVHQXϰ<;ڜYo|^R&k6€ BjqfRa)Ul%1Yĸ1*:@h&jnu:wOfk_³=]iqK /Z iPųsi7w 2!6{Pnۧ`4w-HəFߒΞҏ_ aWoF-*쎅?7?PA/ =vtjD4w^ Y5@8G iKv_Es%V-Dߞ >dy;lF}vֽk ԍ=0yմţMvc5{"L3d/W!)!V9W֝3m5 ͿOT bUHG/@4xؽJ=ZSↄqƎG0SpX`҄Dr$sDpW9&CC}nJS`n({h6:^ HgfN>mG^+GW +?Hbhޘ+T< lsA|C. lFs|~Ooau Pi%NE er#|`X+⫴oYtK&)!c* NIwE找>h'WS4:2}gh%RA#a&q`h@<&7"'0jp*]2 䕜@t"p n`eP@{t ]*}1UlgLB~VC0R̷;6sv\22zւBps.Vn<ȹ'! u@MvkSoX zaQyIFF{S(Xq裕 jЄ {P8C]6>&̘6ڶ()װ1 N!S%Y>Tg>`bOG90&A = #-IA9R"s}K`oc!w`6UZWːþ-wWcw+ E:" SOoU.~H|^s-P|xqr`aTPD⮚HHz#eG.^O+k,;;ؙ7se{3rgP9;?Q?[؂Ռ( .BfR (H 9nQ+E- SHL֜*5{0.GMr'6?fg{ N)5X^0ml\DY,2_<'I_Y+ ř3'`>1L㫢"COKfx^*Θ䲄)ڼ2̨GP*i? Ee1$ubg{F^,0sLvz*1cbk(qkE2,ϣc:%XGfv'І4HA˗%s74%<ʂAgYZMH={adgV"O=%/J B׵ v!t4M",-Kψo %Bkϥ y",@I'DIWWNg97 ^y*d`MRkw»],6\=&[A7-iUY!x;&`RN?APA(GN&1K=\ gGz1;3PpcF#k䆪-D!ͯ4ǯfFp]&O7(uy="+Xĉ*\;[%Of|Lf8r67?[2l'i BgFBC>3\gP`}j DY,> E_:!,z=&Q%"ʕ=V*EW7_JY0aW w닽cTmb u;R3z}<QsOi WU~@s!DKrZS2gZ8N\A%F[QvgG~5[S )\v]UdzjM.]vD*.=3Td /-þ^Y'An(zFIE5U);HCJ ol.t]Ҩq6. NFu52̕Q02H>m unYS;5fvX֒p]3NX5.om HV)d jb=qFOi^5 rM_4_ޢxo$]Xk+# s}fTw@-o[vx4PpeF>`B1]9Q.( .r[vZj7Kz{2p[Z}y؎emka9x% :$qkSQQgLր.M&Ӽ󋀿4)=VQ:H{ST6j.}&\gȒ*`uk'߬B=̵LJ4V.`n9 V DŽЛhnȗ7(Rb5NQ2x5E{\BiqrW ~(Ū$.lҙ$Q:bӀ;р7dA96^O\ո*bU#e 2f} f>۪6LbWj6sp~p[|=.,^Cu`C|e"'Z݆k &aLe QG7Vm5C=h[HAcd\̀ 1MDŽbv5}YJSwLlXWzkF!qnޤJ瀞WR(;_ɜ }P ql:[zf(Z:E|û)+5_:;%X2#'<%1aǩб¤2[=i;A)2976UfŸ$ E+0!d|kCqFgE2-",4&ANJHl o9/R^̶Y=0O4 +[߮fpTzEPK/-7i8m"H'J\$\Iu |;_`K9#IkjQ*ө_p >tD\1;Fy|g3ӝ UgCހq 80hw)͍x9 "Mpk'd!oF!tkX|a1ͧ z*vo@1m;}TO@=ɏݯ׍ɽQAUuU$L+>6٨!#`hG?O@ i/jtV*Ҫ)[1WIG IzV$ 7:ΛnԒԤS_B*ޭ?%Ft Z^W\{iJjyۇ֤\8%(e4}rbPݡ1}oT:usun5܌2SrLʞɵ@<i;>-4ml|\kedChk{uzMٮw;̼g3u0 |_ 2K*>GF ]HUD1M7f71-jWcŇ*.S (|RxԢVAomc&_랆,hbospܮ,4~D^ V~~7lP5ӎAΐ"A+:}tTYX  @"ZGN:I2 sU0T }S X?Y>eH/v"N&AKZg:`HpJ<kCKNdtJM\t@8⫽7{0DyUXK~hO.+Ϋ/,PɭPwzGB&hp(b+2&i2" Pgh A`NnU1q\\ o!_srDA{2FKT|2LaeV5&0j"z8}*Ev˹t RzRƋ^u߹ sR8{]ͳZMC ä}f/̲H^B`_xSTut[~ ͗P׶!M`ן?_:Ajg˓:fr]W B":mGN/ZA d\1$_ qWe}mr!{B~4⇭2 '[ɀh^NωP5WK'tx6N3Q1TV߈HPh,4D_[pQ@\`ls]zw-S8rx)]S`Q }ܲrW?ƣ&iFNwE"PH4ʭ;ũj9_F,ZBgns(\pwhSwf*,CmI0)+x~͗"|fj@Gx:Io AN ##-NtAS!#% ;دy{4Aӹơ3!I*ѨzxfܐIN;&7=q5$1`fQGM:j+GlZo?v`2'0ś9;5.'ə,1 _]<$r;7b*}RWnWaLVR[ךg,ӧ0 L3AאZ !W]C$-l>Y2YmL ͂}-_4ȞF3ķɁi23?nP܅_ߣʩ\yUu# :{)PpZ4Nips P12c}S PYDn Iߔ׫;@`8M@1ecGfXx8K2rk\jJvC Z»!X^m?w@Q .XkEeq2k Y2!J?( AhP̲KA8l8 yP1ǐtsGsU$!]&$uyINY>n(a^Ǽ*lqخ|zބh~Ъ7pG̼[ma}d:،oĜ M9C/nXQ(?ڮE DHEˬ{Yj}l_ 9+?Ӡ'Ǻ-yvu*U3n#Уދӣdj[ Gz֫ QTXXpG!:җ'ƎA0iƦms%0w 'ᮞeھCK<hh\_ w c-O^\B*&/)>'+/x ރ # ^IcUg1~R"C?# ׵dŠu_BW- xՌ= ɌP ̩x {CYsPOP” X1e#pgtqDjjy26!Uyb:1OLzm0ADy4AŹη@uTh&Г{JE9'r:y712}hz &OM|'kC!ù3hDzbI5QR'Ǟx 4D0Ǖ)mΌ=A {;֣z4|p&_I1,=`نer5r|/kyH<acq-S$&ߥob #%mBbMpoY2,HUGsHs6r}hLjU+[qD=.tG׳2 ku3S5ﶕE4>5[m- 9r Tߧo 4j9\YC4y-a,.l8l};kȌ蚵d l^sQ 8aϏBاo(m(C6zzkLXUx ~3*zX9^Sw,8r6~p!ո'DJYgVru"ɮ-V{s9VyM5H3RH Cj13H٫%Jr3]pܘ;p\:`N?E`|%z1iT.;'s) JԓMQp$J߻4onn.›PBkULAKdVax{Wɺ8 xIMJX )^` nr'\> a_j}'b}V of!AC\gۣ{8XokГ/~ǎg]Mfs6)>2NBUq F-п۲Toms0T2xQd,P]Ú_5&ɡlU>1FG"srݿݩ+8m }:H?=6=^bl1"|Ц =XH.yo=QDvu% w:Q$ꭂ:QPc 39.tCAʑ{Q4o)g?gcn hd$W&q] i(wvοDleV't0;ofH@:RAWs͝ew[a/4_  x׬,yvUF1dwp Hyq2:!ED%]Xܣ4)d OI%#[$ 9ar!İtH{ ;nuN!ܠc!%I_v;]$ k.|#w$:WvI ~I~Tk]Y\b%5CJۺCN~=RU'^Ic/]Qv3g+]{p6dY0 yl{~ u>2b!Zid \K 6`(^Ȥ [QIJxbŸv9W^C]eCHI> . OmhT_cE7^IXL/V%'Trf9Lo0-p7'cn$ VU%BH^8v&`sj|\%\$HK {OLWх~](Ӯ9-Qnn~ǭQ%6?.Kwal&z{2(Jϑi婔%R r2};o3F(\t(f. YO^gn=PWf6%S cQo4Pg/%ϱt":O(u lϵ4 \VZ5[_LIJQE *j߂ 0Fn%m@wvVxWwswۨx~َP&>}`uʯv. ҍcC?l}F#PَIhy9)qGEz^uW THSK \pAG b+tE HBX@} hVB'4=_(q/ -nuu՛|\5!m7ڳS*(6]=h/țd1)8]1e$qde>Ӟn'a;{ VkR m\$7QݐGћ$Xތi<K$q>s TL>z'kAnKPXO;U:$4_? `'“8d˛_.PɖUx+<.=u,;JE[8jx!V(^]q k4zL"ͩ?ZyB Zq%FT)x3 In.*NbG!;vpiqSJqPB-v=e~/BB{;+ tuZp,jCЍyg #7aQ_Cyt)# =5ql]qzU,_; Nde<Gʪ#risx:fF)4~>4{ ^?-2jÏ%F'y"lUb DJ崌{1xsɳB 5xVn^AgYχ?zo?tA/9u&iv!uf-ħ:8=SzBMW2r$u<kD fܑ hchE_D 8r|%Y=WiYQ:F.Y!2Ҳ@뾒_EBcu2wh>~h nL?`dSra1(2el=a%E;n+嘱uo-{L e'4XMNyA+V&8 PY `ZeJt:/!Qϒ rPPB6ߥ8&{ޯAKsDD:\ IZ='5|V-HBieaI!bydJ!n?*|'4?q:4bJe4rSl=MiRL9Ȫ҄HV4`aR Ef%R6/>gYQ[(Yґ@%tNXoU_&sj)%]Y[C3ܿzR#|4ܦjǵP+m𤵄_0΃k=\S2 iii|4 q{Sq1%1|UFIrWMت7Z%iEy32P8 Q  hęƌpnAKg$`?V֞4dmfW6֓+,}Xm{ 6{0!} Sl_u636=>gG~ݷq:Ϲ/x0fqI9]MOM<-f3 Q>%6|MI^]k``EAZs\q%"Z4yq$3QgYZ Z !M% DZFC_in_HOLHOL-Cardinals.Wellorder_Relationdocument.tex7zXZִF! o]A-MՋhvG"uIBm5lRHgƀTf,žT0xeSpM-5{ъeoF(dt-{yl *l"4,dp':VtUXK/Cq ʨپhȱ6Kg؊ݠAs0ʨ Qfy2>9.=07.I-DQB6x9$KƜ9/ĸdBfĘF]/Uy5>+6lӯl*Y{3[Q`4ǣ)/Dytpad١m%DPq6Q7GP_IQf0+`:`S^1zHkULbp:ZX+qxs[]S߰J&YȞ$5DRcZAp桕}1,ņΥ]oF[r?s4_uOx'rR f;%E`t&zebm 3bɔ)pZI~2 \C'QD1fѰ)G::#~ 62=<6a3$H*yȤ%dޮTdj`aCwOܜpick*3ePV8avJe4ʴby/V[)+(aH%+ߴ~ݓK O?/k4jAW.ps7dmy\_R?OGԑ~!\/j{WթW׆]V`HN??3 xCЉH8^]y+j2n 1duM9yaauݼ]O Ԯޮ%w`UCV1)]Ym\~p\ܻ'y҃918'] 'gct#c9-͸;S <͢nJnsBUdn$ja-ڄKvo:5OO;(z:@;clMoFJ4@1Ă^FX5;[/nING`>DW*^d'NzqCQWԠN'*4m6 F=}:Vޭ|zFǥ&>cg;h&SI\,<}ESV4yڨ?^iW2REzH1 `+P}dGNvYTȎ@Xr 3*T O4e~Ӄ޹5/&!4 ܰPBz;8 _*cCY=u!Gcީ<ȁW4#uqvj ֧>TGߢYjުd@?aq,{|g՛+2auYOG'}]$=-܏kr \u*LK&aK/k^lPvGm>:˲]څAŋf*W"yQtnMɣQAvH4XwWi75; #7#+ӹmu3kr#ALZҥ}d|fb쭾lN7SF-+cs(됕_u@ˈ$%$eH6^"'%Y W'g(b;CeUԱзTds Vq;T`?Kr8CuG3F7@cpGU\1^ H QBԲx"Ҩ"dt>-y"A1 f ",AxGtyc&O~nLe]xoeml| 6tj`Xʺ 0Lri; IQa:HnNdުnDj0Yow4R7o'7TֆxѿW 'e*3!.Js:,Pӛ><} kfAV`t[w[hSI]O څUIB7`O͘H ^V(?ŋeΨpl)R6`sd9as,b\f$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 >!=% ZFC_in_HOLHOL-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,MC`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 L:L_ !=% \ZFC_in_HOLHOL-Library.Infinite_Setdocument.tex7zXZִF! 'f]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畺8sG;!?% ZFC_in_HOLHOL-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ї3EHc% 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:mHZE想ߌP~ӂ_VK m )j5k6s_ n d%!( [Xi.լ]zU7A%~#U==S|w"%Ǥ#:XM}s멯0?jgI[, @5EUV yJhW&}h$fKL<(Ccߺn|=bt~i0;$+N&Tur~,L4ɏ=_?U\mQĉ?YJ_ݾonuVE h#)_# I$@5T ۅ:)ڥL{oƜ@Vf`)27֎ϮZ5; *ۃMVݖQKVrCA %ee%uYhbeLʙ=..Hc&0,1 svs&}ƪ[w}H+{J7ݍϱ6KL+d 46V<׻pHT)^g[+I+c0;{8Sfι{K? rZQށ^եÒn k*8N`:3C}qDC:Ŵ+Kb;"3BK.N?ኬ+*ܽc h[/ @&^"<ߒYk@eMdzm 6Wy)HBsyӽI1P`8QA8yddj4/0.pg,PvV$Lҡ/=q WkCŲ5tjg*n E鳜oBiLĩn[Um kJX>ꓴ0j=s`(Gly |w :{KgP r3}0i^ģ@%uovWz=}GM쏆*JWDwR\ۖBJ/ ODFX`A1i*ƵFj$?mLg6>4j ܡ`(߭x1e8]㸷S ̗(jT/qrF?n܏,/ ?4dXkcaD1F֓|y(*zdq/Aޏ@xV-ԺWNz'ho9+ys6~s4Eц B_0\XoY$ar@ѩpH]nC)qdt|k48c6muwQ—7( 9QJoH11<~?PE :b}kQ&YB ')!]6 ltg=V =1W"7n9-ycW$0 "Ԅs=Be<`t l 2N]\ZӒA#kOx)`dxz$-+o81J2h3.sقS`\d-,ᬾ쒫M1˸]i4O.3?Vʻ}ωٍLj" kS|MkpI6}[qpabM}f [8%}&1+e84Bw%Wr"ED??$)knƉQ3H:pA-lf Vy,/X)%^D/ ``<8+KVMjra6mJ'1K]J'#Y?'ՀC~ Co`f!ct2αOeF Pź:^3l=d% "k f^qP);!7e8 x: XClkcAC]M{j*w’6; /t`C-!"~hWJ$dqS~(B+W©lEDөתVCF"nyƩFO3V]"w+(˔.zhsh536W!<燾zߧ [i:{feYÞF|D7"j6S#l +y8oRFk =*pGAKKEW&ӄ=ӥvC16CoHMȂbG` >;gDh\ lן}ns gݧJĶr{!_0Ī%{_] /< p2]  \i43ݮHQv1h(D5IlaF1LZ+n| mIy V,>N <&QK+*īdP/U`[UP_$}h=̑YʣK=rL2\a2}a /=,Suw9Ǧ ag94l+8}]e qJ5kB;#nb6#% Fcwg1I\)>)2uYƐL[ M2٨.FW܎,J_EP1PH/ܬӠHlO8ɿϝHر$H@2&PIE7l2ֻ:O1tܚie"0$%( hm4]޹n1=+x+#O +9!DOkK:!Eɂ!ny5=̣Kt-GoFxB&78Ǧ.(Os@ކ?P$LTbkO!K'>~ ?.{Ĩٹ?E6*m]@ ]qd9l6J&qLE-Y#!R.0EZtJ:_o=i:/ϑZ * OM#躆DbkHOX-' `fTG$_+~Q_J-kTFud1_ ]--mcatidҝT8%4U&تQ.̯X5u&-`?' F (PbySh9(}H =fA9E+8 V yGU4}H$T8ڿM Mg@l6ͳ25pycM?J@4({!*+_Mj "=sczfV7 jMo_I6'P;Fl@gW:OxpN4\j{ )шM<3"Po}MӚD76\ iPEGm1am:l>D) 6 ч?R6a <NwGuy{ K5-y";b1CTh+K-8 "w >ĉO65ϗ.䬻}g<$(¶s)| [e/7iIYP,{ (.6 aƔ@ĔoƨǑUF'\*0zчmz'Zra{V'f,bd][;;lFOY뇪п %QTM W׷E8iu}/3￿T眘mMӓz.X@K=(„vhYUJuJ8MP%KkV ā!soj^892P?)(%x_z<SZl % î?@Zn] WjDAN5&Ri9%KjC=Mq!eC} x;YC20.8;D$-Pz/"ۘ2c a~]hX`҇44͝5/ ~SMq^?kBOi,%k \R(HgQEi3Jv`i@!ϔw|_yCA^|xwuk0e?QR{r6FxDʨk,G$ɓl\twcM-W'%*'5@"k%.̰Gh.8A28ʒYT!g, ] |.=B iLik#mH2!^|"FG=AE]اޖeWkЙzVCKA8) ]B.28%|=B/E"-$ )~^Pfu ƏT9|b'CGby? 7 #*D@Q|MGGOcaX~BhbOkIbTcu+Z! 1&iġX|=SQl) 0KmWk3xjy;zdt&Db("xU"'M5.k$,3;,YS"(HeI|4[Ѧ)z 9.S0$iˌU <5'54@ LTj?pq&`MQ jC)tb1R;{B%53ax\턟)869;QPߗ mz!=R?zOVM켚Df5[' H53O*)L/5+4*q*YF8 2ƱT$N Ț^AzjQLf`67GԂ(m8s#V: ;lVZ,MTFO$C)m Kq-}a15ŒV7&n#+^ E8 IFZi2i"@Pq!&In| yrNs(OU%]DNeϛ_k_FjN0,LAzXGT¥&ji:' lk"%|p8Y鈺+'ڿh*8Kee&qY vB{:]îOc^Mo=bɠPhD(2. #T_^lٖy +MS~*h5NL5_@\uVmEE/3ސ u6"Asaf*Rbj>8NkZF _VyQD-*זVS,H bze5HY)bS(}5ErDɻxK"{ }YC2cFk&{>pUУTAǶNSN),vZv7Bp8٫h/y 0v1ց1wa3;q.$bS K ۂc2o igCZUEc/Iˆ!1Igu)k%i%1|h[OE޽#%Fc]fáUñ^ϙ0ˉLzXe\ѾJGJmoRp*59v++`GbӞCl;y i2gr;)h^{Kha)G{@"kH|X&ӐN!klVp I)O,2 89 *>BdG$g|D\Ě54@;-2LQ܅xK[Rc-[ 6D Bx:\FnSw(뻓~K U%|#Xp@|_Lf:J/>$ #̄m eM[@P|i\o ܉]>zBcu#5E~dKb<}n+t6 3:ʏ B@_J{ ,H^cߔ>)j;"H*яxh^FU9cb #ɜY,]lӭWt8kYoxӝÑi|P9~;ڳ+Dy }A"0{lnA׊DؗeA5tE*܎@a*aG!>R-_U10O/Tb h|?oGf)7y /$ 癥#Rgh~+6oHT^3:pz0=d#PrSt]o}NSjaLp RYXtXr =-_`,qlY囮Q, _|!^n=R!?`uB [(|hyɢ4] )AS #H086;A6o{Smg\]6:yA:6Ӂ^5GdEEyk#+}HJ%7 [< }mUİ‘ 򥠜֎t CC/$ uVHb"eaS,lc35a]F#a=RYsE3Lg6cIJ<Qʗ6+XI* hlxf$ U%j\Jt XMgjGOعx*w (6ph%Usְ=sit36%]58xgp攞ß¹z8!MsY{%c[ZItiJ 널< F>'Ԍ0Mڝ&D2|~HTwE@8Ij#us!;^M/ Y=vTɱQnۭduV~Bwvaި̸BZqKϔx{tjig$:[]sݤUP0jTQItW.xF*ܱ*9IER{y_ܩS@H= } ac(w0U  C噣=8hԾ7v〠ҹ4Hp6!w>nf @۬E0>*M)UT}0>|T']Vs4sVXvseCKmHIC;C.pBQvQcnord2f{|U-},cn S_WhA秩4ٱLu"\pCUrc?$|2|ࣿbF) XH>İuƸtØA]KE2v PH諳aC1[ SW"ipmCϪ .! <3I P _n*:Ssd}@ Lo*Cݿ pB+ԤݥF3jLeF,F9WdpE,hnpun6i,0 c"Bw ZxEsZQ~)&IXl!ask|e{Q`h^+o/b9KoC['Ǿ7ܓG>ЧD)H("q箐"2^*S'raiۮuꁸxm7bFj`(t 4"=jpf=m{,gw\C|ђڱK-4gîFm45PzHh*"IG(:F{3=;/6إq)5=%`s'(,y[B[s.#HO: &?9Ɠ& b:L($H -ޥ{B5 No+-;0v/\@mDdƟIѸ6Ƒnj*4:]09>wŶl5ݣx@cX \a;VT (s>ܳD>XQ%'y7H.FHvSIzk*Q~ Se@zuRƈU~yDZ_$Q^fXNެ>}7ocTFOBȓw%97 ,U-LM&Jg49!([!;"7vEO)$>}YV.[?F] ,CAnk X%iLs$+~oYe w?E: 9vnx5~Pb`&AkL|(/yH*w'u|K0vgs}&<#muV=RuԒSV̰u[O𘸾z`uV}v98L1/H"w!PՀgj.Q=%tTtD2XoŘݚV}Te[̾H]IŬˣDl$4ѳߠb=tzL:vWFnʼ tf\(c'|ySN6vrF'zy3l΀V$ѲZ"t ԏur`&`tns)`H#{nn3R j[=Z f;_SCG`7rr?כgpRqn%dzU'd|b B}NXS8oAl#,D1AQ:`*Ol=|0`W?u19A)+?'_@݉mI ܈k#U(['1?chT(ׂb%uLe][DaAk*a1ŝz -ˊ.!u$A$gb-gUUm1.U:j"G{\<9FUr>5&uWK@n +\r3Cz>U(0Tq`_܎QkY~ՙzv r^ԇErqDTHDE*Z pHkg˒?{ ̝'0߾O- PT' VV7Tnܗ+_jCB }Q˰jIϠ?6*уPY`B_jU|!~*< _\"p9E(4}տ.nr2Fi11i@baOm8+PE1"a6>x =gU\)qdOgYHN`Y23ELf.'kI{v/Sv%+NCBhL횆;)r?> pdC-us0;J~R Vz9*߄UWV1 AxjxF[!CY;I)kզ+GBV$l2h- '{vI2' >`=+9h,j[S`LrGHBд [&gZvyWzjdlyN :׳bJ/-K/Uq-NOqp(9,:oi=bfOP \Myv)j7Æe3цK4 Kw:#8ی)?@k^M4-9}UI<Uu[S<4 Mm苆2ULn4x8;ZT7&#7|Ч1F z8afd7z< DXYT;/eV ~Q1-a׊&~N|P0o sO@kBe 0~ec.,pyKE S3g:\c3Ĺ4`[j՜cZM'gd2R8V9+F@wUNn*V[: fD-։2an0K[>I/ʮ~)S+=L&tK## )˾UΧ;)&He$YqZFCQC.- Zv:Hf-#&m f5qHp֦IS V 1G/@D b5@A(^W19czE#Z%do#tiTТ0l%F'gDb _sd =nOxrhcqCmxw1HexC*5d+^XНB~&V"T2I([Kfˈ@/#wni@YBC-LHe Xܦc3$Qߒ0cr\~s@V4)A,0g'Ԭ`gYZ K KL!A% 4ZFC_in_HOLZFC_in_HOL.ZFC_Typeclassesdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5C!IUf^As|Ne^n\"w=YqӑwIa]#V)UoɃp)V1 8::e~ژ@m.)d|Zm-H.`w:TR?S Um/oyrQIS<9ꯌ!)\# i_,zP vM"?g^ģ}^|י)ISZ,z3RMZ` WmKi4ՂoJ'2ϹwL|@qC񓰝{kEy,#҂ʹ3;@=sSmWnG--?,xdŌRGN),ܢU=dl`<Ձ}#\POʿ5xӮt4rYMz!t;Am2S\{UbjFTP).eALvs~sejjf Օy}LqA Z%FobJ;).2 o4 mnPX߃|{@ 5.dMS!?% DZFC_in_HOLHOL-Cardinals.Order_Uniondocument.tex7zXZִF! 8+]A-MՋhvG"uIBm5Ń!31 UF e¬& |1;#2Q6^ P봑44 !$"N~CYo|fvnOFW(05u>UF H\[*,RУHQfu#]"0D"AyIHEz;5%VA_mQϝw;32jL3ZDfg )Ow4k"|ݶ [Z5}MA{[Hy,벅e,]QM@w|k>e)VZYo-Cl|-`pSE*n F PIfx)4)pzTSt"7٤[^3ߠLm,$,fFԊV E~>iE!Rs|?G~c`["&)]$ #hKy0PǞv\[trI QWPN3ZtFg*v~9i@(?4WYT?BT YŕV0<69b~_{agn\L1(X"rQh+&qSn-ܔ/X[5P̹&́Ag vh){o{ |hN9*Qmd[|\Lf SKhL LbI/lPO<f9'PPT(=>6t` DФJ#O]Wͼ#T{t]]zY~,[KikZM>4 yQpȚ}$8;*s\r؉uZRf!cФ)%b;KS5dQ2NPrqKeŸ/\$eb$:^5 ^Q;˂pfvw56@ymn_s3=*p>e.}Sf5du>ϻ"6mJW{Sڔ8BF? YJGkHivn& s4ݪ@%M*FFR TUY"P>=gXW;8c\D'ͻx1.BLiD[-nz9.8\dIۄԢ+ ޵zˊTh>'d\R)> %l,^.MXˇPvY9 ~&[h6Psxb4$;'C IǓFtZ9F_p_/ezTc.Kp;`w%jӷ-!B}&9Pԕk(faAAijV8l #ZwlܹfP; לI ~o N 7HPkdRsU6Z6jH)49]uS{1ԉ ,'cc<"xqf`Me5g ]b΋dRG0G7`?)v%c8;T蜡h6o ?6INY)7+VSrG\U&P[$p#Gq{Q_ҫ[oX _0ؽ2󢏉s4ژ8^mQ/4b!c'7bRCbX'D@@blOd"9*!rAdzY j')Z ĠBە#;V%hP (@hiEVEXɛ$xb&r2I0[&!FyOVd)M1A吇LHL0K9nX*Ġhj~03?hB'K#ou?o丑kc8u7kI(FV(|?EJ+ލuYA }[1^+!ynt]|?n FJG6#en,.u.i~IVM%2 8":f-0|0+*Ī`?i&Ct mYrNŕ#&0Dt=S|N}ym=x Eߺc(%w 8L>}ByӴ4*N8tN_TZ^abX~k7Bx(<&ޥ^,ݿt.˺88wgX?/Ka9,@HE[cI>hKU9#*RZ(㟫;} tH! ɽ8P0a ܇qGpb#3̛$Ok}e/)?.n~鱦4 mJ`+~K"zA9{+Zs% n;4<13DeǹuE#T? wddQee x' Hly+[Eȵ0?[ 5g;fCgT9j>N` >XS~{Ta`s~ WBJ~Wؐ@R2 07~T6 hAHkekzr3>=ǒp$fPc4x^οufUoj^,ÌW6uE+iB3 ሢeF(nRIѼP|CM"P+I$`$Տh艋q< |:}b0"FQnN?!iQ +B.K}M¡qi6M a& uzϧٟN SXZ:JN B~͆wNt$݋[gK洋I.sM0Y[NkS.4g>@ /`ۈBENIQ:S"/(ɑ*ޭl^.֎>2jtGI rHYT?馚1[ >, L;iou Wyo/qKmiBp2p(֨ ̒: VEŅ@L uVl{g%zfUT.N1؟}S&`bwl~qC(Z聐VI(U$E`ضkul:m+='&Awiqb2/5HsTӷDՆGoNV#Iz.2헭Zu8/ 1E YaSk"mbe`i\O9 7 |KYoߤfk*-01qLEM@|HᬏQri?8|Fs0%A#ˡo9;E9Z#3 cŵLjB\)ceԻL罬"]+>o*!`W0Iz\ɩXZTADf'ޔh'A{d(Ejy8cax:Z.t v[iS7!TO= ^ؖET^Bi1.~N;K*k&vqpn 7](pdn'mJ^L*2Ef%QucLb4Qt16pd 9;pUCt䙌/+QNȌk҆k9-PY7kR&3w񁿻Hu3ݹ?j={;[4nF־Pr}ew4aa|zذ{u.7$8V;9 2!닿&sUE0ͥ- `5^S7opױ.eXt֘J p3PewLAn]1OCT̲1I/-qd\槻I BWmqj,UJ0ϽF޷!P *Re~(*`7׼a.:((>@j5Ed*Vqs2 n%+@cCBi~ds߉\#ש? 1'7IQ1 WR(RijΤSs?g/}HyÛ;\˛/b^K uQ֖o1+Q=4Py~U> {#`&]Q]jJp`=J9Vd4[Ɋ@V'U2V53;3 LU_- s]lZh!4 p/+=\j=K:ԃ}bZT_Y Fj=m$ JiUEqMF3mfדL2Kėn Z:_(!_%$w Zx+ ߋ=KA@kϮ ਘAJde*MmKV@W“$iC[t*nhp&Q*!0 ߟKqf6uT# GqmߏԬ^c$2Swq9 &Gm{ش Ŀ\ ׻6 dhI=q˶ Tgf*<="rZ Œr u7(8!1ys?C搤0_C]իGr T.LƬFX*F-_:tkCT423qN]h'0_> '`RVNsUr$)X~j^֍LkbdQK>EF %xO h`;C;et4A9[NV72JM1r9T[) Xr*CRM赨ʌxUc²LX]]ƬFˣVVv wb$קhrѲ?VєC'޳kUlpu]b(աǁ,y.ڂ죰n[ZEᗂ޶*]c&-YHp)^!=Mƫ3 t08$ԗzҸp9/b%<gȑ.Z@80D"ˋءpsy)8bdiܓdFD5#ct0I'͑A˿YQRm:#Ҙb] 52Ʀ2ij!R!r<>ċ26H?St@և:.WhL 7lm&g3 }th+? cҽp]>klLtҎn>7$=;Z(> $p'F ]panAd?`P;.vJtꗓ!|k`>xR}w`K4-dfk44в@gr]P(1Qa `<xaե5}v8vRW7B C@*C#10X_ J SJOOn IS0E9uNNFL'RfP~čt6ǨӀOQ9yeU1<EHT_y:s'yuעi_ SJs2CĜ%m,ݯ* O11]k.>"P2M#IRo|+=h16{f԰ yY|=\%l^o43DODo |~Ued7h٭?>- rRdgYZ YY$!9% lZFC_in_HOLHOL-Cardinals.Fun_Moredocument.tex7zXZִF! 0]A-MՋhvG"uIBm5q|ŨS$cB頭p(UuW׳DcZ#D>{}ME .]0E Xw.~TK̓ő`(CՄc?@(qkjslp(<=2R\fHۖHNL}7r1h&Ug%+ t͵a!* ,Ou ~ oYHŰ^tu}yewMԫ-JنWD۪rr0坴>fCB4G(_E$Lfa7 c Y7VKR1©NǗazﵽ?4uEڏ)<8qAm0kxoXFPu)i%ե/kݩ:f=|8};>t= 8pWH%?v+ƅ<_cҗćfq\HpL#0ԣ*e;Il&Zj)ٳ7$;!׫Gr @zT*ras9 w) (0YtG}EaL~#{ T,Pxu*ˎp\'^dGR8X}ڋ&Ne)~)rQb7wx!S0AN#q2i n?m/jZvuևoI _㝽i2{%n~H#,'g(XoܚcU 8{6j }㓭`?V_5^(*L??sWm2*@C)Os|{ Ծ = .w&;151fп 8hf?ҏ;G./3)ݰ\[r@~/)GX齁/&4 wM[pB>vHOz4ҽˈf{fnIV97Mvmρ'èH)\@YߘH1O E9$f: nIZC#ӑG,#5\)B90s^t4L?>]nqM =ʪ"3A`%t֙%4XeWGyɄm(o4)EhLl̍Rl+^iyS͞ʉFIHᱫ^Yy/#MēcǗjεtʱ, &9$Tk:.n% {Ck> j3kd,]yr)7O0*O&W/t"x\{T;i1>?8o:GkSy J]5rC)@|0cŠ$e-Vѧy?^)dY.1YVm\agyQN, kH+Ukك,]Jы~MF7"_Q%xgSTcF%뢂T*(]Kf쒺 EW#"&9b?%mS/-:ԒufRцSDJVk%Qɼ=<fl..df?Y bH|t:!X˜!cM!MDdh:VΘ{qa/ƀ쫠@T@x=.h)}ߍta2QJ c2.#N(Z"S 񫢾b3)r94>c?9l"B/g ЉH՛]Lm ȻY<0~BUv<3SڶOxI7d{mDO1!ıgYZw\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 0 N0I!;% 4ZFC_in_HOLHOL-Cardinals.Cardinalsdocument.tex7zXZִF! PS]A-MՋhvG"uIBm5 *5Bn! VR]Dm3w߹-qzg0b#@>Q"JV SaD?E `ءt{h̠5iN7߬(IXT ,ӡH0B ͔ Rc[ɃsX%^nP'D YW*U=Ww43~!X[,weIrp(y u0J y={l jl# WvXaXtILN ʐUUACs[=8 `®zYıgYZG!O% ZFC_in_HOLHOL-Cardinals.Wellorder_Extensiondocument.tex7zXZִF! н]A-MՋhvG"uIBm5lRHgƀTf,ž9؅({2=*[D&" ]D3Q5:*?7qI= #6~ⲏjW.<3M|[UxxL  DO -!7緉 .n WN){9ds;ӓ|LfnQO LɚwG@"eß&]ݱ~džtq4 qrQjlź?tΥRѷaW޷*8c2l--D-7 f5d ;<#ݩT.[0n[^9 ˿[溷M93}e1gӍрiA#P1N9=iyXekSM@W#b1Cń?F;+ jH:e0S-LdS'!7% tZFC_in_HOLHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|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(QM!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXK.$5@Lk5M |ðJ-NPR1%`J{cܢ?~DηisqK";O4_缽-/w ڹ3־n5كDGŔ`dCDbϕ!nyqiVXܢSyo@Y3쑩CÒö-?Eu`)L;ʓ/D+W3YOx!&:1r7K @Gt|8:.[P)xI{/;lHq;ݙ'?4Z.^)ė}?"_W!.ɑGVJn TV+7Ƅ==݅tEHkdr*S"~‚6i+[8xg^E˼>mOֱ# Ge],'u3Q)!@+F |x6rM7 X/0?uf whDAiD󳵨N̎spIwg" O{pxu~X*8!ZX}见;QAGRo2D2b<%F*ʬN^mW|Z;х̟’@O$WcoC@:]3"uʬM Bf)$}DZjx8@c_oP.<;?X#Ƃt1ݿ%Q6bP"AvQ=\ :Z,X׊Gr7th̊k} 1m`W `;i1pgVE.kozFQA{A4MJ-ؑ@1ʼny r/냝q11 MiX*>] 9- AHl2[TA~ZWבёc2fM+WpU%iT]0}S6twEHwH`|PY#S4JvOU_5- 4ʹvx @->> R)q^w~Ř ᪛zfyf[:3uq*9zs5݈ʧ8V6*뛗;&ڍ $ܬ1de~H2Gäw_{lM|Tzvʦqp-9~oj_b8ߔA?;UR:hSC;DmoLnzƵuxG*GmHo<LzL'織2wȓ{߀WS^ 7F̉d φp NFgar?h(N06q:9jq 7yk0>uAPZCòWŤ\@ǔM3 ,dbꅢElЗw^'GK+PE7F#=iZnv%&k l3h6*C|mtFQr%ڹ>wx2c' МIt l^zcv̳}5t?q $${r)o.q–S8.Kxx(*l7 [ôji &\NKC:V^Jį|TJPr(& 4f*EQ*x,׍BT,¼4H4Zr>NF̈qK)DO%~Ưn%SNx̵H(`U4=yL=g}:H5qԐK^tJJq9y6KFcGŋͿU7w7cUsi8%D#uGGK L$ݭp)/Ǩ#DzMFO"hϳ!b.Qx,P*!tXoHBПo_~, w8bՖ|5=T'uR Q N<XlYij!iy7"#PtMJ\:SEe&+扫l=n'X|#- ! ^t٢cM\>J!:ebƿ2׽:F)&஻4𾥁_7 +mO"F\@)d3X}_%n' %ŸgYZ  !I% DZFC_in_HOLHOL-Cardinals.Wellfounded_Moredocument.tex7zXZִF! ]A-MՋhvG"uIBm5kA?PѣTeYN8]*T{nB+<#&LM :⍐Cjga@KIFK}5a<h 4rM}{~'Nt,/hC4 ֳ̟mf[op\kRA%d#[_`[D%Hqn#〱$%Q['[mIb@a@.iXtKLRX0y[26,1%BKf4ES(ҝ0HhH&y#' ; >펱70]|~H[ Kk _ Q,\[+xwT A{rÀ7Zs]_wc2x8Ccˬ1'!ol6HFX93O9*^A 4sqܰVtZ+-Y8D#@"'LӅ}tZw Ʌ%en7drL BfZۺUzŽ&\ZuD#b켢9|S*:\;1%.F-ȥ52NQ?}HWqʡIJ``L5v [˺T֬OMn\h#gjU}p#Ǖ'*GlB*MY>KYo(Q2;_z*woW&j u%BfEGDs,eDOPtz{`Bۤtbk8Vnߌד#[>3H2䆬Dđ4泷;՝S :}%Og+ JM(/x5"oT%f[*`y N/uV?nu,gfjA")h0xpsֲ>Jsʌh`bJX jD<&)];E1Z+xd2`I Hzpħ-;йpELmfd}g;KV.#;esdSrV61"Me>D{1oKF@Qe?*ek'@$PcεF!q1>xނrK]Cϸ ,Ic7 [jǧt=\fs_ =kgYZVY=n `Zh\~ZoBaa7 {OΤ5mzy)byzZ|O)@T Br0*. : ~놋dj^7 A9LNd9hr#,_qzCP v*Dòv5uX͙;Ç151_:Z0guv4)EV{g=/B֌ͧOFN~4cAM@`AaHD}̬Ei Ik"$BluuwM$+nT?+p>qIa^;/tDBm8`K+,nB#*lg`c,h~ S-kcN4HTt8GĝxYC 摟RfaR?["odX1-$/#ЖdzK6"xqJv @, gfϋ6+nw>>u\{%][ψ7-w~箃%O6l~BTQ*P Y^` $,kQ.'26H+~kHo|R{QWŎuX'6 {Oz !Cf*]l[$tÄoS0 +IOMÿj9/nD| ۚc֔:_U2M1#]Ljd`>tJ>ܠf]o;Չ, < ޯf\MN|=ɡ;D3ึC*⎶Xɳm~@jy޳фN^ˆ6V k͑2֝BwϴA1[CIU-(U`gYZ7zXZִF!  ]ŗXiɟ1?ߟt;9BP2CZz眭5 zAg4W,]뇠X+iC/B\4[ Cw5 %gd7χDQ˻67 '8w·i[ Pc+qnW(oӃXFe>*Ucos/RYO$aQTs҈<?HJURWSgv(  X̋~_|A>۷A5JVVJnP$:8W#0xZ:mgHA.e7Z`e0klcBlnZʍ9)sI^mM8ÄgcHeڭd> bg<Ѫ4ˆ(jˈ~y{TaBGwHl^ MAf(M(y>uWUCK[Lb'_x0BބӜNfV /rL2!Il/ 3^PM%Y`f'~*ߥʔS2BFq?u  X K%u8!Ϛy3䶡^豣h,{[ G5ETW#Wu=?ak1ՠ';/2c֔>oƼ4| bנ ֙' i4i5ƟTz^HHK:ERxjM3\JdKr& swPPiZOS~~ՐrDܒ-ffλJ0PBϠ!'}*Q):k;Ƨw 5^i7tXH3 {.pE h l^AR$G+xՑ;7 Ӧb>TgkݙRMݾ&qsR.. Jvy?Ӯ srf1bGLY3H o,b*ދN,Uфvri!{uڨ[&.g' f7^kƻK=h;wSnJX# ӘGZzr8V ˟U5ۃ ŦW'M1B{Ga1YȚi;GCxWU$~-;eWBt:J5yEmaQ :9đgzdEE4'ϝK 81K"!Ѫ þdU{s'w[RNK^qUx&(`c pύM<騡Mu4aZ.όϞQts`\ėdo,fW s#N0WxevnL'QG>.`XK`viG7bEUVM2., qDijC{[YA#dloD1救"mE Q W$aY1rvc ;3L:o>{z ;\ab"m uA~7UmEfwFuAfH1^Xh*Z]iI3"y~~AσRfon®mL7*%=u`H T6u%w= yŃZ&:+m 4=3=s 2D5B";g%j<{:]7_kZ "Ay^lp(6K( Uko2o.ii`m=FV0\<.wGdkf'7>?۰ b`4 dDs?'_3/ ȑVR*S5t5#ɢn= 0ȫg{G Ny@W=ڿS-U9a? f*udz0j]׺;䤱`H2e-*+6%Aq ,V6m6i ѧ@at`+ I2!i^쇨VrCu 5.@{poi&{qǕ9U>*p2g5W魃8fL;_-xtI]E}fW6=ijﷻkB?ϫ-n076 >nP/f$fy>'`4Gor:sj0:HcʢF7H:{[-RՈ#U,O,Edߦd} @߸9NPj@0f8\yY#Emg6=տ|_ϭB2mF?b͚P3r]$ bnm뿰a֟d>K@%,sݼጒ|f}QB\MTv@єjnv!KnO߷ΌB׻3كMAU$ m+7 @SY:O]H}ż2aG0s3߰:F\G½RJNEOQ%z XZ5].n<3Ni2瀤AhFܮh UbrP]0Jْ|IN?ڃ9cٖo [rI㲐{6%2~ꤶ{7_ԇv~ÅĒza|^jI12ǝ49"jXXGc328{ҭ [@P-פV =UL`Y YnLOMZE!Ӫ'i+M2Y6gu+/uX(Bcpl5 xX/EԬCHS(xla<#*+GӁt X#Uq*޶*b϶$/zҥ$ "Oyiwej f`Orpq -PB;!j:8eP8KE܃\g>g͈j¯gض2^M2+Ǒ/vN.ښ'C_ aQeEw.tӤ1OQdxްg<[x$xe@  t|;,9HWAf[U6ʈv]g>VF\PG1,ZR-R6Ĵ@i=TP X0YKmIȲfN#J6W˘>)8LUr'>]rY_Y宜V8!a} b5 lKw%oJzYJ=/*15y{v ` Wi=4H[ 狩Wg`⫑y|j{}hꖐ(͎-表fl%+wRHМx7/,r4S^N\荭/zq.=[X*5ao8)D6]1&d{vm-q `6+CK7~)io습d)*&yּfw,7hnCj s]h4bfm5Xf>792Z9]Á~cnpi4=`F :qիR+6 1!B~V 0\+c:Η{eW !`h6Mn%4Z-/Qz@&y_zXRYżƆ aa1BETtB+I2=ZL8k\pD4<(L~nL*Eݤ?*ƑeP֔nouN2dDiX=ϡGi.OgWͯB~~(M4X~0[sVkGUZz$3SL_ u>4#+5 U@vg%O DiTr!'Yq386ڂ` [\Ћp\mg>ȸZg.Wf,wy'/f<܅ȆrQ_h#e)˂_ͦ ˍƷO=;dLF }pYBv&tm<|h0ײ/^e<=CUH)@"=)D&AxMe-A)v7S-dT{FR{ra`U=Jw6AөԠߌvR%ͫ[&/af mՆW?dl h!HSEH$peUF|~fvisP,*ADP= Yq8Jx/S(:ȝ+Z0Hj.ChB"*zªMbjoy@%V Jں$G(Ѯ1ώ嗧 G|] '7Q2AYZu%1+U3ݔf5'p9fJq;/H4z5/,vM-qm+ڣW{/DO9Gu VDcn-枤a $R rnLŻ5 sUO<_M/0l<̧4ש.ΌҰM6C:>@^nȽi5{$I =PtYkn'b= ߹=#!ዺäImB񍢂lui.Ѿ%XX/v0{41\!lUp>!T糚 Tͣ 1wX:?~Ĩs,''=gG4%ďvµcԮ hӖh6AA'))|X b7J\̙-vf+q ~#C.f\K"難2$F7L{%X٦7'Ex;966 S07N , e0(aYVu!z|ylzvr fZss aꕈp"o\|9VCApX ?dhh^M [WOVȟ z^%<pɐM Mh2e@>FGpnaѺ1#!MXGdfM P;KM0Xo~p&xi5L? XVYH.rX7BL"+,b0x/Z5uOۉiw8oohګ>)}A>qe:?xf-:mAvj]Po YM1}X!jaпE)B1ѧDeê mϪ5Tqx$7ՍT؎DL-"g=U7K~&aMÅ??nzKs8*+T8{Ag@]&@>ApuTo}ur!J#%0c̙pa.GpN 5yh;kxo{k堏:Bezr}#M#l(2X J\izQ-`_N,Z58;S)IW",Twm5kIHS\B^},SҔehpF!j[2]3ˈp$WD-0d^E6I5}[gWkpS}:`d-W6 x#㈇Ll|'3ᶀy:i^_6a ի1OP,_ N $3uZV)V&B5&%J&/43?*B{$-_JT+%Qp Ք.1Xᐕk[Z/Jf棜 8[H0M&E{>HuYG7DZoɄn Q4;P /\凋:ҘokbŵO {/b$7d96SL-S0P^sZTxoIި)J+,:F|<$2` XΡL'R,# sF7:ePC]y/c;*)l 4Xƣ I[A\zĆُ|oޟض 8`7mYa:K!#eNt F`|f޾o&/%C"BnǬƞ#KƄ,=KfO-Xxw)Ze^Nx⾝~lϳR@ vf|}|aNdw>Ƙwv<ؔ;Z,`$_Ôz]E{{ ֿMЍ߄jV6k^"`9ӧg\9{I܍݊-/|v%{a7;;La |+Hu'o}U}H3Idcn<zlV*91x$wޚ s$kg6k㢇m6aot` bVC_!;XFKf7 1XhN3;ac2=kRDZxWE!HKƒ;3`a8_H$]Bis R=j"#ty%)ݘk}%&8ֻ\3tt5Z]_bEC`\?GLKibEEL[Cxӈ4ZmC gX7X- gek"kOa%Xy s]LZefm|a0l+C{c jbQ3@B=;Ӽ?[hHX;0?W4џH%ig(!~t1U!1l/[IȨ'_R.?J某#ov<~[880EH#KG# ?cm*Ot1-c)XRF>A`ҒǟGCɀnHű%fZm?qs1XA Fc1s8l5[cV%KPnC :E$OGukY0T6427cT*RO igYZ133b7fa3081dd34af610550ecee99108f476f841c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a