From 96bc7f2b1bfb8a3c78f124383586395c5feecb63 Mon Sep 17 00:00:00 2001 From: Kamila Szewczyk Date: Sat, 11 Mar 2023 21:41:47 +0100 Subject: [PATCH] reflexive closure --- doc/content/chapter3.tex | 2 ++ doc/main.pdf | Bin 956863 -> 957079 bytes 2 files changed, 2 insertions(+) diff --git a/doc/content/chapter3.tex b/doc/content/chapter3.tex index 816557c6..5db43a33 100644 --- a/doc/content/chapter3.tex +++ b/doc/content/chapter3.tex @@ -863,6 +863,8 @@ \section{Relations} ... (⍸ \→≡ [∨ ∨○∧ #0] x)) \end{Verbatim} +Implementing the reflexive closure - the smallest relation on $X$ that contains $\sim$ and is reflexive - is considerably simpler and accomplished by \verb|:[tie #0 #0]@unique@flatten|. + \section{Graphs} \section{Trees} diff --git a/doc/main.pdf b/doc/main.pdf index c84a259bb7f4b744416e67852de79a95266246db..9188fbf5104bb00b05e09674e64dc21bca6338ba 100644 GIT binary patch delta 7071 zcmV;Q8(`$WvpScxI)H=$gaU*Egam{Iga(8Mgb0KQgbK6^$bSJdm+`y-7=JmBW4RH| z`&TI34Teh=ix)5!&{DSyY-V@@1M7`!*oh}_EGqs-(CcL!!P2Z@M4^1R@2k(mtVee4zHZc2j}9>xkAph zqt8I^{Q5;oNh36kQ1<%87z;z6q`unl^o?_*7nf^*3m<>N8Q}T_w3fn;_h-9ZfBp9J z%lo&NfA$ms(_CHt^8MwPU+Ljr>Gku4GwJN*Ut!qy3tGd#X!`pfmp{Jz;f1$gDRFTO zHJ1yllx9xajFo&R8tHIIXHneKNED@ae8l(s++(4PAAkKqQ@-**mXP_AAUc&wV_kYz zX??#Q543-7auPTZr0jS^&nPt319p$h2#mQ!U_Ge#mcfkxOH^MI>v=jh66}77Cj)36D~Z(C_FJicpp1ur>9`fs!Y-;S|;** zT_6P-Caf9{^f{?i=_w}t_n*D)wleFbkxnP0)MDOC?MtWx!319%w_*Msu@Zqvz~2h7 zXyybfVHsF69+_0Kl_*0qrM?(&%wk8DKiDn4d!fq88l>_qXc~9@SG;=nYrF4p)9$;4`MIdJ&RJX+s z|Nb$~p>wX!AuX}}ls|LHf85_m(?hqh(}sT>3ldSQVFaMDkclD1D%*W>fdezN*%@*{ z2L@>(vL-vl$k$MS&)Be z3f-EWrn;gebJ!7bNLLg?WmY%ZR23DxRF8s>c*$}$_ORH$V$fY{qO-{j;YeqQ2W5N9 zuuT-sk_Ou|h=JowU=Q*{+ekhcqU)wiluZiai&3M{?CYA3BLGLKT&h}7DRoxmg71Qc z1)PQ`VS^a-tajRxG zhp0Z-{Is@FV1{1Xn(e0AMk)Xl%yn}PXq%-}N!Ns#DOB z86uwpr=UYc8OR9t1Ul5fkn0h;7M=*4hY@57_bP(>lq=E@J(!!B{wt6SjXSF$ic%aU z^(o@BF{B*<&uYJ*qywF3XU~*hP`U@YpK`#mk;yPVHE3qdB6bN(BMyI*d5fK?I~t-- zoUw3@c?;O>lka&##A%`%{r|bv7~O^>?3Uu=d)!BvJia*n$5#9+;9v|)uG+{Efr+Q4 zoWj7-7`PwoJ@rA)`~_XMebP*1S()g`n$4zuny3MX{hR~RY#afl`)M;jZEeW(dME}P zHFed_$@N_~T{W@vEO~$arbQ^Rj^vJ~2D^}p^#oh#F~L@5O?$)B-~r=b*^n!<v7qjhA@gYt<;-XJ zN7)n!nmbFOq=z`1c1EGU#2Lm?8z8ZoJIa&6kfw)-Iee z7sy0+PnOoncVvHk>=A6N^0CXR@lk@280E9;6#w|xN2b5^vJkf{%k9S-KBG1`Y_?u} zQ=pjUy4sb-Zi}4h&#a8eW?7gNLFOne*zmWe9xYs3`U*RQPKfZ_qnT@Kxfm8|S?UG2w-N3}`1(m{&j55z&K z`0i(pq!$7hY4K4ZAc`z>lg7Y+tCka7pHiFDsUpcaiwDLF>}`(uF?o-=qZ*n#@_mgD zPJ#l35e0uLUH1;$E$5G)%G$17zl3CMTT`SJYKcDo9YR4NT4fJoa~VE_k$fnnms1uQ zj&n?+2Chw*n}j0HS&`q;)DqUn_4N|I72H({ry!hlYe_<40fr9vPutQ;ctGsxR^#J|;K%K1s_p*&Pjw zrM*}H4Bjvi_Ew|)3V&vdjIBWDsHQ8I+|$z}x;p_)D@KMgC0=`}ur~yYe07h05_s#x zxMU8P(M-Zi;h0h|PR|f*byQ`e5ZcXftBZfCZGsA#7_!zbE-h^VJA%Jk9JIbvYZr(f z%p1b3q)xYmDPmW}3{5%#Da%4F7sz*=5s>?<8f~Z-5IxL$ZE6}y@oj7rMr9ZcI@KuL zF2IB%ldL2q#cp>IexY35x|JmaBX{-5HR3UR3z?a$;Hz+$m)L1_ww!TCqK&>us9b*% zd6xSZh;sG&UJ^c;`yy-aQb`rFH)<-%>Q=seZ3L`7eQPePlQ(YqHvLL4u8;3+(iqq5 zD%`ol6B}Bts?d@?j#GHuN{Xztt490B74ge<|Zn$~(U7}EE%)t^PIg8|0vtHB43wj|F0Q-Dt< z&rm$pv}H8p`MbGDUU-Sex*9~z2ktg^c&YPE+}`S}=6hOu^*I>T$dJDUT$O*Xc!G9M z{+edUB5R%W?Xc!NtV`A?8`=?{%Ni|NZA{wXOm(XVIMX7}JLBc``F#WZ`MU7-2nUqh ztn+g)o=bjhbLc#}OAaALj-a2+A>T>w#1R%9hO!#V2`J|YT7p7(oHb95{V47WEz<{L zKNv6YZEhgwiUqgv$vn*{vD|-VqOl*reE^vyy23K~?8sUI&;oEcgnLd>wlLL4!@mz; zu*8ugGsZp{M@~6B%9G(=SEX7+$KJa7$v$~B_g3L|75O}Q3y8o82H>6xQ7CCToIupc z8@!4L+UvTL$t^?KS@bib&9kwfC@{8GG!Euo#;&g}Dd-?KcGU5I0JMK4@WxQ6{AAp% zUs|l5RQ;;P*w|UYOLOUUy;B}hT6}XUTCq8xM@wqj^baZg)>SphU@Tm|C zXeqU}?a!Cm4&YpkNHwFb3A|k5!J>Wx_;tTkrj(8WXQkt?dT3T!*+(6zb%Hul>kOlg z)HRcV;|eSMdaFZ!J4q z=UlEl#M&6$N;m~zAYI#$T7S=*IPh^S>&LZS4L3=CJJTYA@-PShm22 z;^t$#koCp4?x$!Qx6YIV_}{D#)cHI!^um^|l3DLZq;~xW+zD2R{Clr_^=QiF@IL2- zZ^l|MK$Rc0s*6A-QNvJCCp?%f20#8c8Sy`=@K^XM+Vt1TE`MP8SmV8*WR}eRxRjLb zQrcc!Ygn3}Cgk?H{7#PGf2u0u&6k0r3lp~jj0*$=lL8DDf7M#sZrer>eb-ma7tlMq zb6X(DLz}u!1%jjxy`T?9Dij3*J8%>r{rjF#tUxqlhmmN@d5F0r&+N{gxvm(ijS5*+ z;v%?KVliAhH4d`IBzR^uNDS{=Bkhi>k{6~ha%s4&MzvBGT)V7HFvzJ)Fs}#ZRZJI=PlC8ZJJUwB1XNR{ z%AGN&R4WuVb*h3nOgmMDL=RkhSwTmtsl2IS;D8uY4dBc$U&kM_Lah|Vz^GNmnikYr zEx9uc4C1ELB>8iurqNgCjhc0cJH#DynFA9LHFs*=e?c_1Duq)@Fn|i?J?RD}z&q9e z2CrHw=CFXUtt=W$ky4=~4z|H722j($j0E;%;6Zwl5uLPv42Ch3lMIli3|$OQ75kyo zQl;vOD_)5~3I2he@IHDrMBY9^;SGL3Gw^~MgZoT>){D@izxtRP60R@%-~JxD);XK47VJ>uUPO} zTY}-E3Z5ONa)2;MH%*VpNn`6~c-50<#p~|ra6wVPGsCV?aL2HFl%AefC^#J%xM0}9 zxl>fcj#oTMdpS4^fvY;=Dg;Jzm@_n|hfZM{f2(KD=0gLxPG&KzYWOkqhHp4|9kPn)kpdh_b^Y_p?a>x18n?P&UKARAYfa8 z=g+t6ya3*|A&xnI`~44?9GmgM5geBv-oAz8CuFMe_UiieyNfq#y1~D^*lgCR9^v>dou*2HKy!d~puG)*m;Yb-jbV-IDw4#RBa0M`mxIustddre*3>Z2_lhGo0!R zNI`y-0rB)m?uX!PC5|I7rUcpo1p3LMfAUZ!q)wQSay%2l55&Z+J$`L>Hr<^pusfX_ zC?g~ahB;>U8Auf$3fhk)eP=Il9ymeiG;hlSd0YAktKPV_?N_}$_6{a&n$dNEjINK| zCfwZ&jHxsd)!hvmTeTewJ%jr01~A{jAgq3*S5C9OE|B%r=VpTu61_3oP;egke>zfC z2gZry(F^Q-CWXsO*X3fsrlrUhC`HCkC25QZ+v|>Rk&LI(cQKIXvdk?zwQtA3C>FWZ98p-qmRwf68-AyD^Uicc}nNI^Gpg7mUL zch;vhtS?Z*I?rWugv{?6Hdr}HOFTNhjE>HCon;OteOe*=0u{3B_x3xLf0tkHJd zKD&nXKIs*z%J&(}UMBS@KjR$BW_}#{?))mIOnhUJa4u6O<`#)DGS5S0ux(nn%+cX~Y>Uya1EUUhzuq+Do?Tg3y52bZ)E2scE$03@Fh(L8 z*aj7wf#h)H<93RU_HJVzVBf@g<*7yb@fN9Nu0=-3`@Ue@Mk*}gU$)(Cq_rVGBN_I|Bv7(Uy`TrtqG%_+dMME(&G%!RpF-1j2H$*lz zH8nyuI59avJ|JC}u{i-C0y8p`p(uJ#Se;I1tPhpCsH20W zyD!>@);;>*i?;{s{{8dvoBjRP&OZCB^?m1CE6zFhValbV5wH{NN;y~T%(-fRmvUAZ zO1YxN4xE7$ZWpedum~)}?Z&MlECwaGgSa-rQc#AQz_k*VgEVdu*FqS84DJkWC1Doi za2IgRgv&ui;^JkvCc;Wkh0Ea@30Ht>Tn(;)um;rPYH{_1b)X*ChEu4U8*!^~wS@Yh zX52cQ9;KIT!EMD=6Y2}L;r8Kw^ctF+cHAjk6`>|}HSR12-kw-BUAY@ zoWA~gumM+v%Mo^gjkpy!OJ42{}SzI|zx9FkgaB18O zpCGIzyEBPK(;roF;Lkn67sCYjJLUW}b zDn+#@l(XMrF8H(+{&p*%bp3GR?#WTzeml_njhL(XgqQJ?4nu$MPTusc-jwS0^qEiv z)=9XBo7MP=fZAO#P?IYKYHj5}4J`m_V_Bf)wH(m03YCCHRagONPlXylQ!3N}T2Y|^ z(0~d}fVNXu31~KjRzQm>tO7KaLIk41y$^HvUxuAs7ZpmUJJLkYI1NtVrogzl zhrXd(_-&8mrol0DpZl@~j)PO+gt===?j$%1X3P}|a_WB-n(T96*4*te4a|XyVBXwI zTjkDk^IE`!#fD3k=ha(`#?I1@e@0hiSe!EV$0~(I{Ka}ecMe&en5>IS%*7AumQn`v zv!ve_Ry8IQ<8pKV)ov~(J7Y32&X|?=$dRJ4_DvOLHK*iA(U?q(SD3Zb%V`^>{ZPHx zx>`9>G$wy1<0iA-*X6W5A}8Y(v!UB^t-KKV5|fy5yV;&UXn>53$)>o|Z2X6EYk}T= zgW2i-$&sfqi5YjBeRM#MWQ|G3c#~Ov>4V7FSQ9&7_Q)^fNU3-T44OT?OKuC;4u;LX z_JrIvK(56*%xC&yo5~`tE?V%#ak&M{bm`S1?F5%u@YQ*Rq(zhkrHRveMA{f?HanH=vu%zC0d`jrH5(< z#Zp9DEV$7s$FU`1DWYU4Zaglh&)9zrnCxiOf}680!7B;A^8?+o4>0W!OA&Fnhzt2GFI`k+G4H4@RC3FAsXfp8fPZIoYN~1a|oB}fz zyw#lyy!C8?KWW_}9T3ifSqttzmJHlann>{HPL1kVFb}kDtYxGlz=8$uEl+>$d+(;R z%;vv1%RT&gwP+Q#4je_6;YTww^gx26ztm_kC;@6VWtN%hNk*rhOK_=Cx9AX}Q%A-! zm#-!Rmp@GKwQn+#liEy1<_Xq1C&s6$A#Wv<^z2EH_y;Ds)Y>V#2e znIHX2VZCMi8@g(+Y)M*Ijh26Hzo)Av%kKQGu9_`-=@DJ6wCrQGx@xiPi$Bvn zn}D{xxB;*MTHI*4r=Ch?{QBGO|3Oj0>I!9UWOHZ_Zq z;g`Q(_~rL6x34cheF$?AoHOCDahh38PrqG$`NBE8aV|eN7kADT za;_cy2KwgLS1Bcp&@@8X>#H#fhJHzXwc+W5bEFTKYk&(Me*z6~eFd$h@Z&vgx9hK8 ze|~xY`tr}7BVd}V%U`~|{PHV3{40HazHla;z5FW-`*uNV7#K}||Ksw~f@5Cb!heV6wo=4&+ed9;`&d)s-%J}iuSDNyL2eyRFzXb8AR2u8j zw@T~#^?2ZQe^Zjci6Lc261||%SP$4e3L^;S7J>Dk;v<6_0hXw~B+>IkHWKW9iKquv zzOtX9;?uAR#<#6D7#_d1yMosoqy0=TdyzJ|&FQO|E)0$Cl@)NklabCM4 zZP&mR>TBUHQhSeRtH-_p+b&>RdOTdJ$>WS&DrFZ5*0svfL+xTft-O*-4;Lm z`^Pwk=v<#eR$}`pf98_^xWAL8hi+r14Lug5f1*~y2teZ@lR%1Bw)^Y?2WDuqGwgy8 z%-NoZA7GzZ03ZV#nElf}vmh0-V!><)zw6!!$i%rZi&-WC;)=&n`AOrSZpj0sun&+& z2T$`6KiLEETY7ent0PBAk&n( ze>FQzZAD4uuw&$qttf`dtZuYvDk?;&9tEHAlILvvVex;(p}W>aXO|n&k!wVMO$w5WQKQoA+nUcK07tD{np!X^b=KrU?1DxF z&oMhk**PEeVq$g5G0E|u+4Y09h_>YOe+NvtL$0oJP(2cqeA?13eIzJp%8|P{M=Xs} zLp^NupLtYL2qWhqDY(T{B3B5>?o<(fZuljx0_rOKN6nLO!vqez3Szf47@c zRG(~q+S({FLvL-(c2jF3697u)x;Y1|%~C0)pr1CgHb;2_x&<0z@wTP%#*mBFd zD0_2Up5+cCDZO6Dam%<+F);x08COF1Dh}%;pxlVJBol7?Ilr3)T*~3JIweObkP!n5 zR()Ebp%zv2E0<@rDop7|cw-UMHZq5cQdnp1(Kn0XDvigiKC=G z#e8;#v?JhI>lajXpcC!vnehuM_dxek4tO?l8OE0e&8%6*E`e#pfiv&1e=~PSQ}jtN z7S1v60lR(jIZwzqO$?*|zt9@9+fanvQht1o`zVvgm!SW#mH!Gjm;+O&HgZH@5~-=C zFmN;n?g#rweK0b=qRYNdnu#te6C+u(*)&cQH{h_Jb3mJoBcOCYZ5F4k4V7LG#o(i+ zq1rjQzUyYFCXt?H&!4mietJ@S zQ*Si(EnI1&=zTC39|mii?jCuiF<-^3-K}^_x8Zi@n59!`K@hc@f6gsklYaJu9?HlC zL+rsgl94-SMof-pc101SBlhQ!QClG=F1$ana{|N zswq-5ca}p*4{@M&#-TsPvXo8^9L^5EBw2z|i&@K(K9}#9G6kJZyv)|gm(NAk4xBMx zkcsY`EUlBz$okwPfB0DCbC*@;qXZ*0%Czg0|M=WTroZ*_B5rvtx1VqLirV0?+4|+1 z0>w1f)vq*uTjWZA=4DKF%fh4#GG}SQhd-M8XyMwcudqYtgb2?)n)z-mUxtOd@<_>k z1liYaBN^r59lNb|Z`q<%R5OYZr4q9m`fcjuh_PhfJ|!(@f3aV7dSEOmC89?IDVRfk z5!N8SRLR#1s`i#J13wMU!hRWm-YPG(cO&W)YiKMLBCya!SNm}ysWxd>BBTWVz#Nnt z-~Gyw>_Pw|D?X|O#F2$=(wG=<)k=cvQ)ZJoRU`#x@qzIGds||DOx~mJsD>twd|u;| zlVCt$M1e}zf4zfr3;pp|S=+Vimz1n+Yl^%=y`s;5hg49A*4V??d<`GcNIqPp7b=Sm z$2lf(1J@?aO-d2xtmtoPY6)xP`}LB(72H)yry$Tew!EOTOz|T2CJT+N2^lreCLxg% z?2)@P!c_^yrYIyljHduCE^bPF>e)RX>qaf5<%JFS2^+i6z#}r22CuO-NzoTKX zv{ws&AsQye9yQyq@Mpou*y=Q@kVWQ{9X&QUz2eT=q&>*vHptGYjI`6!cCkEabfxjB z$@4y1e~RMT=AaMD6BuGb^fZO;PD0bFk)cY7*Ip{@9l@er-Q%AW-a0WZ znG;_qG#T7Ok*7lg%LbbYeD@zDQ;p&rXL^6B}nVGEMZ{aX6vD4~oIpdC08-0^dIVAET zfA=2{<>>dl6nrxGMb_S>QYz+X)Z8emTY3A|C|G^^Xb!AXG;aDf{Yo&dkMC{K7}xA> zxO0amHqlb7X-1ODX-Jn+0nH4ECyPZ=VQclKSSTChU~s`YuYi?W`o`tMk$u2cH+_QQ zJReIe=(RBLWGn=kXYFGXB7d&0!gee+e}LRtJ@xMeHU}5*{@!X9zn80xb!g7BwSY!C z^2H#Z3=Nk|TXPPY`!+O3!1xYEmS9*-YdskZ>HFF0e~VZL1B}}@gYO`1$({kG0H4gB zp?s`q%V^m1XLFIg@DU&DW)LMGq}!a~rOr2Td(>IYds=(-IT+RGkUs@n)vriFf4e7t zOEYBAwNCqXL~|b2rD&85?TF76jh3u7ChbV3hSdX-X_4oh^YZrmzJdOHU3h#10wp)= z@*JG!QeN8LQRy z)G*wKfpnqWIN!UyMc1h@p1`RnlDB#o?7fEkD0gk`QbI6MZ^`mfQnpKJdv(~{H#D8a zx%(x5lN|pCMtueS3T19&mld!J54YQl3j_oKHkYwE3>AOXT1{^pHw?Y+ui!5jixR&C z1Ua;+dnynlJ@f-P80n%Y5ZHmU0n&fp$Bj4G@zl;_ckFcz@kp9SiFzbOYA0436|$`ke*~jCoLd@VGQLY1EeWK7sIGxKa^Uk zR9$h!D=|pH017cQl+<7bgU!`JTXr;HI_sFZW6^X2OA~Y2GAXgdF=+PE(vxK6Nnh(Z z0_AE%QYtOA6;H0W;<-tP=RYt4FxOlUBiJpb0GK%i;A}91H>s=KzY8$jvH`zh!E0>^ zhL0+Ec9_ZmLL=QYJtilOt()OhPo5R8yQjkiMFGzYyGB8eVfQFKJ+Dx3Ix=v>QH<;CCl`{UK+W_`K&0ImeF_=?V6tv_6Syneg>unoxV&@b!1 z{<-+!>J$BmKFrf~sGe)_02{x_xvnt@1Z*qt{P}jB7r@&##4*QjzyAS~V>3QDg5&bz zyLXWMj7&A&U0uI^fAMxrH~5zqo6Y+Al5SM^>C@)t*PDNf&6;>SKxgOBoN}3ShEMa2 z_UD?;TXr2dIZl($9R$BLzUhFNW;+>4Kd(2cW9jRwx3AY5Xn*$d#X0y|f7*P}^$zxS zOYXB53$WK8nZ13&_NY9VmZ?*<1)QqQaH{`73eHCv5KoWfehAK1;y40hN}w%3pr0%% z4`o8?gb9Bs$1@@PKup})qu1{7&m{CM^CW#nG`NBU6+dio2DXLAQc%u zl|y4h*j{yfi)4&S-^D=Q%f3vISNEG5<6x3~O0s?<$=0VN+uRr!AqCg@K6H6NbBrvo zN8l}L#|Qet<)%+P+spB!`xEi(gK3#oXD$oSGP^qSam|HG{?NId;*=dZ=3SM>p*+X5 z8uNcxfagA&=RS^kMaf)_1A_9OeA17JVqN9Xa<2S7~AyQs%oAZB0KV|-y(u0st! zdF6apc3Xz@X}K4+0O_;Ky%-m90;HfCIl=L=Ky}uqIjk>`!#dApbA-(A8a7xtNl84q zzKpKUcim+UCViSA`vMuV>-Y9Mm6vG_>kEJ6us%D7^**T;s>=5n%w8t>C_m#I%VvHY z`tJNHrc8Wel5j3lCgvuIF*5H%Ww7o~wg$bGvlsA1ZW9YIA8!G!kL!yw%goW`er$`; zuLGkBc0b=VoISg=uynq0_Ngs&0b9)dbzqFln}QF~Yz`9TKr42NiuP_}A78|J<*8dm z`tcU2Wv)d=$osxv+(v3(PO&*iYeRm>pMh*LMD#hx(gtZWfZ{Ub^=JlCbm(o)hJ=0K z=nwVr=3rmai7)N`AHh++Bv0X6pYMwB{oVNjyNmmG_a7I-_QsbHunQB1V3rGqV3rKG zV3rN8@+UGgH8U$PF()uECn+E=O>bmGVRU66C`39kFfubRGchqTF)}kXGq*K~4hINB zF*i3gGc-anH!(0pG(kZ^G%`3dFgP_vLoqfoK{YT#J|H|XH#apiG(s{rF)&3mK|w+^ zGB`6ZI5kE?F*Y(mH84Y$e~}I(lR^3weJ zIZ#R|El?+zjp_;X!Z+cN%wra1tEGk(1$h!Xsb` z$GU~{gh#ZIEpDeM#$>>GF%OgdGTb9PvdHFQ-oxl&*18C%&8}1eGW$~YJr(L#;V9y8f{^O=wYV-EdEhB_zZyrPe~06Q6uWQ0b>qk( zPqF(Z+$P*ULWJ?4Dwe`f=pF zr`SEk9#LQ+KhmCJ_Y`{+;;0!1gHeTEja5>WAe zD+tY%exVfAqEOC$8JoG_>-yUPK{g9W(lnz6Gk0x(=M{i1X zd-_bM0&6GS&CP0jML_MY7^umW0=2espoSIzwXrNv^I8sQS%peKqbjTfw5LKfpeYq< z0IjG{2WUWrdO+JLGy1vBOf1v&M93QhJoFl+ASga+oo zMKEvfjRCpy+`JwzVX@(o<$3$ZjK zL${PNpr0lEzObq>nHZOw`=54mG1(cDiE+lPe3Kk08f)KFVOD)gjuef_#CWAyQ>~n~ zQQ8mHnsuy_BSm9>ax$(r>v>mB+aq!^ZZg|`Q?8j8B41(>Gj288{YMRuu`$^cx0_AA zBDWss?K{m*e=bL!#w2FkZT6LZIg&Ld9phfJ{L%-Jv9Tt$-|Snzlq03$?O?0f(<5@* zzz`TTd;XH#4nVHOJI!vYKH_0syn`!pG9EFz{eTA8?}mDR%095i>{st;fZa$$cE)69 zyx;8o7d0>r$j*4e?B3GXItY${NwfR+=g3arVLnc?M;Qnpvclccv~TxgnT(DvGk9+j5F?v!LdjTtCo5w_4EljNCS`6AW6=vsrEj(583Tg5jkZ;z*X)26xngiBdW3 zf%k(k3r;*Jr~NL!b@_1%=0B1hT6^LEcoHL z94QcK_f?s=*W|RhYXtQcJU=7Xz&B!=qBhW!47{ZQ);!XdsojDXmL9qua88LfByQ=U z+Ci}t(KZXNkI8XtiCBs#S&HjFmD6X80wz0u+GD|sPq+jhCwS@ix@8P7?GZ~6akz*M z0FD%q+71Vah{=xBVvc|*3vPTrdCHB?68!9d9>t*{Vm+c{?r%Ss4BWn(;Dbjss-waw zFk``;%dWDnSqXEbl}+plYh}@F(?6QHf5HXN`7QAQ*R|$7||^{gy__f zvCIQ+Bm-Y=OYr2w8s%snE(aBsx%_xCaQUwZt~P6wgKVfnNR?%-eVPnBGn?R*qZ-u- zqsB6?H!7^P%r`(6$#l0UMyjjh6fF>&c8?``rB>=mo`pmu{L49||)zHVP#rMNdWwfR7Ev