From 011f5bfb6009b649b1d034edd8ee6664bdecefb2 Mon Sep 17 00:00:00 2001 From: Isaac Date: Tue, 19 Apr 2022 10:39:43 -0700 Subject: [PATCH] slight changes for consistency --- __pycache__/logicObjects.cpython-39.pyc | Bin 9121 -> 9418 bytes __pycache__/proof.cpython-39.pyc | Bin 21039 -> 22276 bytes logicObjects.py | 8 ++--- proof.py | 38 ++++++++++++------------ 4 files changed, 23 insertions(+), 23 deletions(-) diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc index 7285b63b78d5c987cbac85559cad38de8906afaa..b287f701f9695a9d16d9b7aeba68ee4286dfd3d3 100644 GIT binary patch literal 9418 zcmcIqOOqQ{74E0hqnVM%2&+I9o9w*e`_AoFx5gvm#6`Pq&%L+r z$9>Cq-SAz%@S))s)~$L0t)lOt<)KwXYr-#~RYJ={Yto-WYYMFiw5I(sT4l6K zXl?Un(3(MO60Pn2ELyW@O`)~JpF?X7t!e);f9Hory^P*n{%-W{M(;MX_V|0z+Kbi< zT95nt(AtOAcC?=G_oKBxaM$hnEZR@{6|^hT-r<{LmtZ~7Jpvwhol@Ym67sk@pX^@3(az35M3yQ$du?rJA$ zai#QOo#hltNJ$OMfzbfdFBuzVZNrScW!3XnTTxiGVkZnb*J3Z|1WV`JVYFeWNzAzS z=Bbx1e?JUVc)1-mo2|>Id+&EUy`~>tzO<~`-G$1DV<%2rz8Hi-Q?;&NUg-3$HapJ+ z-J5OI>n;V|=yIpG&~9D0x)@-eqszBquhD3C+fk$8ku0It>`#;Uqv@BHiBIWcqvE2- zDc(lKH`mO_h;WugYaKk=ZLFK8jd%C2Spze&**mcIpzj4^%^aA%&A%%<({K5C*(h+( zsl~=;+_-O7j#R2n?5bvWA&Bix&{d>0w!=tOZ8gDq0d*WdHrv7{{hHzzoDTw5jRrX$ zvdb_XbEi3Lmdt(GN%ffV^4g7gI16O9Xxy;W43)~aP$)gS_SRWd#E1<`ljHWH>w(%# zN}s@P~Ot#%rXo#;*|ESWP_e=4C+KDJ0w z`f$CWHY}sDV655D2xs7cSYy##H*Xl~I%@;nXR>dX@e}9-$Tz{u+Q1%Ii_{NWX2}S& zoE2|i-?8-EJ;q(rGzN}u=`YYMn+LDjHAO8^+wiJ7iplR)Mmz-!8_qff+n@9M^)=Kmx4wk zE`gCSVSPwI1r0z4m8DE0yu_A;);=nSHbN=_b>K73 zQcvSmO^ng*t}bmN1v=1aFFlVzA)&-DJy7GBeUJ3;(|9|41;bN249kQ8&;Y1gBt3^v zw^6rmSj#7qe$;!cvmavs7gp^oG<7c)QV00T7`BB`ik^HO!-fXwnEjIGn;=FWoLQ&n zL~IpQd_Xhy7L)UV719Ds?}De_1wI01@0o}DZl&4vEBDMQ@RZt~k+floJ*2wl1hIq28iJ>JXOSe0&~2=WS4jgrM;G$TIF8W=lnAEk(Yk)6^CdI{bOUs>h5XNpZ459Et zrHY+auiL5?v>XqEg1Xn%V~-DOC+daP^`Ld*c=Gqe<`YwPuc2srv3A0P&YArpPEB*E z0bs{Ud@DKA^j_w2WEJJC*fU1$fTMV^UF$vc#Xy_5sptR{ZzDN^B}AYG{s<*K z=M)xySlyFw7LYOn;DIj~x^*~C?iUwc>qSv-De?)o}PCib;SGgf&U_kx#$rI@U@5TZWbt6Z9CirjQ zLmfpF7=pKfOY9quOaI&Vs28|^(1;2j*2xjUA#!T~!xupdQ7OAigze61IEL5PFfl#) zq!!fH%pTcF?!vGpV&SJh`;F$pIPSJ{TWm|VNN-bHAU-ufhqhZGKG_g(!36Pb%^38I zJY>#1%0qeebKNfi@Vs2}S{=I!s<*nFV*EF;X>2d3<(y^=Eo_MtX~jm=I(e>}nb=s} zemFq8eR~LKq(CvK8VhJEBtujwB_h@Kt=;cfMSl?sb+}j}3`enNyqbS;_ZwShR$9U_ zEX;>>k}g`$3ugXCfg7OFurdI$WBdFYmtyG@9ax% z82rZei;NSJaWCeR5Q;nnc4YL8bJ1(0uY{Lj?uLs-vHBB2r`#t94e7%=ow*3@04mx; z<5F%8th*At=IYM6on{?ebrPdBF+8RSO^Y(QB|gF4{d{F;A@;`MKS4=ZSORHaAX9eZ zE*7Haa(+2IQma_e9e#hn=x73CKat%_ z(WKNZ*?)>_u7SQ(1k?J4DRQ6_OMJQtkYWrJg()$&I>_2Hd`XDMxL2TAf<5F%ZKg{y zmWqsC#h}|L;aRi~kNtVXJH^j%#s9{-KQKQNB!~qHwLJnw`$0AdA;jSBd|j zsAFseD;pYJVh7owFg6#|8Bn+R$V8W4l4>2?3c765)I0>jFxJcmI``kjwL;0w+>x8P zTk99~`iJj1m3Ft%x1OyiA~DcVLZj2D%ONzu;?!KfenZTTzFu_NKOu(U&Gzt#=gUGtWytc!`!fNHaQ;ps&56~?jGyW|AYYy5OEh|hH7bHm12fdnzc6s3;ypIC zgsFtBvSi%_r-PNTInqxsF-fe?I#cG1dB}8}emP-rvQkaWV^~f~88nmAA9IZyG*2n^ zwopc%M}dw>rsRX*1F$Z96#OX35*dPM-kt@WxzhhO{aj2@dL~F_~sy{!VF+2jBk1e#5^RP zk$RFnO&yo5GKwTX7#GO=DM!)lC||cUYa+MJIX}iLHS61w9fet|$oj~*hTH>w=JN*T zY5cCTZmRbp`;LP#t{8hEXY6~$*o&M`)7Azq<~=Xw?fEvoO?+(p3Rw)(=z5XoJ41ta zYa?+7`AX85^%18!Fy5Wz?`2p58{9PB#+7j;7a?0(V$1;HLSr30rsVpN`2cEQJaKX% z=+b|`@)tBeM=|<`@|;Sn^XSP=uhr~?uN)mt=s$lkk4L=wH}Nyl5NNa_HB}%uMfddj z$b^RjFl|fSsNL)gSFV;cgi#A(8{U3AjuEpoBQCHem?A6?`y*5TjFR|(S>!AUPYifx zt^STJ`0xOf`W_bg9T&@?l&#o19;N2+_5P#~;NFQJTkW=2R)aGdw%=5}NZTGWB` zVVy@fg(64D-U zrBkx7FoW}Vu;gF4IBEAx#rAzHO3yiR&CkrQZhwReW8DF(?AUAja8PYbpu~DUn20#&$iy~qo9e)Gdg`bHd140JsYOx?5MU*Mx<#o$iv_-VIPC>Blz!EW9cich2 zhg$4H2$qP_uJzq3ho3uMWkyG~XH136;brWV2~jb>D&mW0Ai39>HA)ROm0N>DD7^Y) zauNzpy~pk*yC;(FGb>8iI4ZM$V@MK0d61dDN%d!vIYWUdpXUH=@8}nUe90v z>_Sq+@@#dZU(ZbU>-Xd9*KfA9v{bTi4gdSC8$YdD)}KjCUM`4rl;|T=ffcB()!?t) zRag7QH5!2+lSPz6w>U=h?Js3NFxumoxe zln<&B907F%)B>pG;3%l0ph}=tf@7eLfm#e!gZqAHHOlBc9;~5v4ZTaCP6Q`Godi_@ zbtf7ppw9#kf__lwqk+0+)v6z3omRc3lA;a=-Bvq9Q=MzG zck;49tfNFvp$e^r3ao}5sK5qKPT&MCej$&bfL|{t20nfZ!9q~NZ!uWJOy$J=-cC1e zbENEIo8<+Rh>97hk=2BZuUY%5zONF0p!>m2JC160;znWjX5xq4aO+AZiuWzeH$Hj& zg=emRKMHkpy%V)s?dvc0-|KbztsuI7ZJ;~7jq1fGFJ8QUHH^ZRZr{4T(e2-8b)N`( z?{;**w-xr{>)rlFr~TTE%@FgPAKXd&X0y}l#LZ@rYze<=xJ2g9XLs5Px3bGY!$Xl( z`~ZzW?W)*{v6fAH4>CGo?Wq^7x6bU^BNaRB9oZ+*_jPMmja1<9cl&sDZ}PqTDM-+* zC)UTDc<5BmRcmhI=~izeOq_1m)8sXAqFC1)?Xz7#8_Q2rN91IxMc%>spljW1E`W;4 zs4V5G<7!2f)aiVs=9&5WI)V4F7U*o#x^3%a+EZYoPhz+x)oX{E9xu|<$JwGyO~|U)Y;Nszo6Y;sopM-G%l5FGaws?3WGTBi z#n>7KAU3RB2NvOuTrg{Gsy%hv(zn>uV;(WUoOzDw2LjSEs=+&8|bAHn1LQC2eo zGBtg5U;Q)k)AmzAsLA>62;$l9P9 zSF`7ylw!Z8zl2U?>H4px`4sEn0{$jrQN+Lan$D#!O2KVjG%}iisQ*hw`Xok8imz-9x}7jeyjB!J zOJmbX+;+d$t`)>h^$=eyW!TmY9V>Bl%AWt?4Xk1hT)TuyT`{RFCX zv&%as)-u-kxA9=^aLcK{bG38I>|%S&0zrvhZ}zv`(L{lozLV{44lrPLYKs0cN;);+ zF`JsQKd`Tjr=8wd`^P!4*%(sLk*N>ct^`3};heH2HLPSantk>_*g}hcfzMw;#ju5o zMW}K@LKQVa_`=|XSi|4#5?Tm=xm8K8yEYDU)__ShudbIc(kJ%g)sO%8(@#I$;Z9in z=tn=VLQ|r(qv)7aU1Le?eh_#1*pYQo%E?)QQXN-N#vw}y(E`hGLZ>Ebsn?40!ArIo z*>J?%^GYm+R=Lhu2#bU<{5i%}(J^&V$m=K(q5kuYAM)`Nr{4dZ%NYEN+O}#-fpR92rKpIzUf4nF$HZ;cxN7R0PVDI+dBo8m}1MRs(k zBYvET4rl`=j>|PAEpaP~p~(TcV#?MC2E^3$|B!5AztZ~>+XqjQJVPeVh8|@5$J1a! zbDx}*13hd5CEq_5U+Lv8HrKX^F_~otux)7rO;amRaq)u>h>K$BIS2F9ahq&VK9(99 zCNf(;pbBz5Ulm`+-J2+xDqPK;`9}UY?tVVHWk-H^aVfDcZ?^>s@G391$-3A)&smef zG!8pf)6N0NNt`R+xt2IrQ7sNy8fWwk-QOADEJIAz-(>YHs>B`~*mb$|K1zC6D=@}h zyu5wyD#M}sxv{p!Ea-XKipfK!Et%hF>i`st#j=h!xc#Q*X$kDp^WbUvZF-MKfTszW z>2ps{p1bvZ7z7BC^G9LN8a0jcJrp@aS?UB1awzt2LHLwIHvuBM*d`*1@*YOR7&gwK z2oOG$P z_LH#-r8t{7g6|puIWba$`t7(7yRisqv$%(SZcO>4_U!S~1sTyB-~WuKVbcZJEE!F?YdVrh+9oWf(m?g_WdxyAF|63*~^O&$0UvR*$k`{38LH0JH>cNC`U3 z5ac2i9j)WZe?W2=&~^O4DmI$B4Gz681yZuWJn+r1Zr z@mu-^cLAKc1X~h2+}=0%lDJ5TM2XtajNWG#O?>$!`KCwk2nl>SV)*$27{fEeWXKaB zStV+ets!ty3P!Ys{Bjyn4~u5}v!A%tPOqvjV31E#4R9zs2i;P?$V&K~2S~rd6PY*V z3?BkY#A*kH<3?|w0)vuciz2nRraw#ytKq7aN4(fGv{};tI2EV2uwu$XPY~ z6d8h9WfACpgAy&HG8VcD8Vf<5_k5ly?t&3dBmjvcllYtM8B7>8jxdR zI;wV}Y7fycGN;uDX|yU5y&LhZYAceiF0$a&{>>^(xr5ML->K4~`C@G`m#4l0_VxEz ziG3Vli{2+WGcg>KROgHOySS10K{*wx4B7A?>2P~)TJWFnVtO!Jam#91eMPzMu#$>6 z9jUIr#fftqk(Pi7jo=p?V*;AXn!Rn5sf*07qkI|YSY#GD4Bv<7qIeg z&R*pEbZz6{;@<1x-hSZV-ome}UjyNl)$?ONaK{es)u-YP%9X5rjqGt#9a(R!FwcS^ zFu}Xl4=iPEPejVL(b#Kv6vrC-{F7Ra5xMecfyu(N8)1+8_w)Y_@_$gQ;a4Ulm3rs- zXS@A&s~bIke*D7lt5+xSh&g~3zMPDK#uySpbipZXPQ#a{Uie}FW_+m^cUs-?$jA>8 zw8aV%2fO`z93y5KLA=hEV2X%9{EtHYHm_;XpHA1P+7qH}TvbQ3NY| zrAZ$UQMS&h?=!jkHJl&g;Mi~>Dkt$f0XC=(q$B8q;dpV6Ci@&Ix`_%PVqrfbDbh0eR>~dcPbd)+Y*cIopLUmF^~n4m%@`hQ z_3+O;$x=FUJM7}~=Y;K0i&{LZfmVW&>6r9A>A2YGy^9a|;gkbV#U6^NxQ+%tgRSAq zXly~rKwYC2grf*DMZG+3*_)227RMRkaiPYf zicHU#3g2Dc!d$r$HFJ%kzGNAidzlG|%waRVy~9VSyvAa>5-Lx(*nNZD3u*V|Z7pJ) z*4cmIku-$zp);PNnA=X@87oYO94~jeTp>(U{U-;Zi@@nf*H#2L@ed@exFxm{MiTxd z#niw|9QY8PHAlh6*pjm%b9Ry&GG@C@lC~>=CoZk2bD3v?q4BB`|5@|R_j#VEqbe$2 dm2KayJW^S#lq;*Kixt1J>K{YTsfxc``ais^VFUmG diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc index c898826976047179757c88785b07a10596e0af05..f1cc578409937bde7e5285ce5151b455c9d6180d 100644 GIT binary patch delta 7332 zcmb_heQX;?cHh|#?vfNGnUZBmwyd=+Tc#Y#lI%E+;y9LU$(EzYU%4h_dgoG{l|-2$ zsoACNsMOIpI|uaRfGY-Vle#G!Gzh9IkZX@cfucovIG|_?w8$U*u&SGl@iaE58WjU*B&Ps1 zIZ}%&Fb|tcMg3?#S8!Y}BRt>8XXc%}Z*ZsNE%~vG>y}qaUana1^~GW)FW*oHhb>=s zo&17`z|;a4Bce#qQbZhyi3BZWLlJHAL-qAmWN?!}6c%9-X=%gqm>IqCIy88&m}OY{ zvRYw1$^(^ctKU||Y(>%GD;ODj4&(;mu&!~nUI!r`>+dT}DOjE&tJ=9&e4`|C1uwKL zSoKozZb}ucFspB(%yZ=x(FV1Ev}3!r>hMl@aa({WEU8LMUpm&5tpi#&7>yC`s+SAA zxL-cf2dk(a1b|fZ6Lf3u<~Vfk5aGcSQdJr-SF@W)VF_wHe;Pt zmn(9oQ+;U_#v?e!>J_r4Xkf0stQyCwYss7C`4SqjJ#LdB zIrhJzH9uj|HFexhwFHKOW(Ypy2(gF@_lE$Ke7iHHb>H(dnFMb>;N#Fl0S{S zeHJajHx@;)TndaGr`hZqrS`eZiW44S0Jxr)e`el2k4s7!TXqW?nmB@F%TQ@;QIvKX zrOPb@s!*j{TD;@1Fzf_JM=8>g|y}5ofW6x zjW*uKe3lQ7WxZ0)dsD!9rIw3LswZg;IFPSSt@@^LO8HFI@wM5@H+}8K<(o}-1gdx= zB3h;2a$^aaWE$_7r*S?bYOI96*PT~ZT5hSBPz*z;r;k055$w?&7 zA~}Vm2?v?gX>9xA31O)#z~SPCS0XX65&X5o?+B}XyDgzsn?jm1E2VtSaeaeq+1Inh zLN=JM4`(4A;G`)l@D9(xd)lhI8CN`yOz5qB9ou|1;j_u`+KiPVFT3}F%SCl6wSCFo zQrTYlz0Q06v=ow*q(2IuMGA;-h)iM8k(YK~u9DCV3^wX3LGgUcxs&4#?x1I&nvUf& zcPC0H5f?Tzh{M<#FF1E0?(lNfbHi(E%@yuA!gZ$dxfRfq1b!EFq!>xo0fF~BMU{5$>+)N0uyP1Vg%|zP|_`Rt3~T~#dVzNU}!q1`mta*l>C$0 z^?eDJ-eJ;o+*@*lG|Zk~~u0qhQCio4~QGuS1ZB zAf_!U>pFxn_;ykGYU{dD(I1-??R^M^TVAvR0k9t8A;>|9H>Np#@LaFTe8io<< z?{~Xu+Kt>#^!s4lev8j7up8V(d~jhiqXoFu%Tq{z6Q@BZ1|}GUnX-D?Gb&o3fd?w!kNBDuqmD0R15mek1nM1_bAbXLN9%wq zDO3Jn;7^ZFucfvijpp-ZK;JohLVkGoL^VcO3&M^pI1AzhafdLPhpO0*gfM;zULDaC zi@@MBP%Sck4M_;rmTYll9^5S9Y9p?c1sIV!uv16QS3iJ$KL@a6xE1YjgzN7!Fkcf5 zlpA31HvrrSf{SJjrVZu{;CHV_JO+t)1ONtTA6pfZ3_MNXM!jRP3TUK`c$6CB+^pB* z0C-CSa7)Gq|Gs5fWMIW}PuMZBSN>@5s5Fi~Q%wYT5^N1T19RoT?HexmcrQTo3r)8k zCmaNlEPVmrFisHC0nERI)ey|dLo__0Ji&PmPYNdyZ5x;yR{ZhN+3N2?{r?~A3feA$ zog}c0I@spAu^PZ^)ouC^*)SM&v;i?d9wf=AwUo8?u1pM`k>5{cTI)ay4b}`$9~~N& zuMLe=<6jQ7z*J&K)BO^72~-<9E+YxS+uB6;m2yYkyAp=B7CH7)#$J^F{mg|d?U!a0 z7{l=>GSD8{o}+BkgCOQ8;tUX9&5yz}7G6OMIsBWDIk;1+8QC_{Q~QhKKV*>?v13WT zb0RfI^U_2VeP~`<#t!p}RqPj%GLGS=KE*0barOY7EHA+0MnGUZnc$gYUB&I>sc_8s zSmsCmaDQQ+XK|y#9>Gz@Yr$Xw;f798T)nBte?GapC(+P$0<_&q8w$Q{SaNdoPfScy zAV-l;M*FLMO)>Nsw8+RS}TxaI=4hv^0& zA0%bq(ozvQboNJ8%pT_m;Y2(865?=D>y01P63>x{tC7=w__Bp zJ7y=xMr~XgyAxznA@P%NuAIo{$=31A4XWx<<##9hS$FM|Ny#qL)_5BSCNJ0+J#Zm) zh`&iQWPCOshS$vIi*8vsqqXl`{FJdS`RmgM*@*mTdNi7}Gs3Y8MNj@@`uq&dgNLBt zXxVhgZeH9z#7DtwoE0_8XP=pGJ8V8HZI{6!Te!Nioqf4JLSjg|p%xen&DvkV&Gy854%mPgOIr7rnUUiQ`Z?u_ioP1E>Yfbbzur3 ze*U)n{N?YnC-Sdme^`Ce_3Dyi!=0l?X4cFEy6l`=81!JjfOBs$%%#jNyX5Pzh%}tI zb1O}Y2y_-sywcIldzsO#2N|*`x{x+OM|d%?R_mMlbGB~?#Un^)6E?(0$>o1sO{FH0 zAp~kiF1WkeYG}VIFJ3z#FGhQ-zXm-TNtOmlmPSd|ol0<=Kfmdambbeky>SDtuYMDF zH8=_78@!uG$-sSWCQl-IKTQ^_P(>A-RpDfTW1TLsCZa zCXzKIzk=jGlDCk2Lk?aaq|=#rg!T83G|h+J&<-g8TkzuIeVoNQ<5tWvtX=RJmI+V0 z)j_{LtKVvaT04B(1uc8vhqZ(7Yqb(q9G)a_bOY^#UmN^-5;Qz0Canrb0F?D}=wbQe P>vns1IkN3WKU4n)AY=tp delta 6080 zcmb7IeQaA-6@T}A*e{OlxM`b@Hf`LGBy~TMrXOh=x-@B)wrNv$YqoV5y3O%@Nt`;i zd*4exf`dDCn*^dl=nAw7X|x(b4Vs3S`3E!!m?qdCz^45(=`mn{*oVd>Bs3uvkT~Z& z$4=c0X|~=u@7;IrJ?H$+x#ynyo_U%5==&_3421#;{QmvP`H9!3zZJe#)Zl3lE_;kA zilrnNR}v~`Q_7Swsd1HS&#;8Xb#6SPBy{fMe&7Z-c^z;c5Ab^6ejel@;3f~3c>|BY za~)sB8-WM-YQ6?|JzvY4fCqUqZvh_Stwp{LZo+&$Zv)=IH}H+XBfOnQfv@75_-5dZ zd<)+Sd^PXjoxs=dF1`);S{~!ufj99Td?)Z`zKeGQZ{a8%l80Z$M^Dmz}NHr zybpLAKfn(H-@uE9ct6~1-${#@VS??;I8q;1U|JTB`CTKEoUk(Tih5|P&(&=!Gbs$1O5p6mkHkb$ z2V_wZA^9iu@c_Es4g*o-h}J!dt|ujq!A(J#!HX4Gt8zgV{RKsbCkO;~0JH_Y@LA<* z`5AP*rQKGTk~JM&{!SY>RU;I1n$BHzjl4)_otP?uAj9=%(pf7$H!DK$fu6I!&qw!?X9k_86&aN|t9JHNb%}V)6 zL(bU(b5sY=p3$#EzXz4`GYi z;62A*P#?Gs0=U_%zynN)lTeFMZlP(h1%+SSy`&sDv@R|qzV71P*3qmZa?$a*i9Ci) zbjY^nX7f%um%YpC?lunRvZ>4*w|J$;N3dp&iS7`jGlFkDUqAYQ+$$$rLlF?9#76%wG(u}usyQRygaxS zWf@i51cr_1LV~ffG?g|b@+(bpKz?Fg?x*;o)q-n;1`0H>W`r9_rc#z|SA8)cU#R;a z=myeuI%_-0Y|4^f4{TvU`Ep==YfWIAr{^-xNXD8SF8w8NRP7<5+d+z}j$9P&c%zM- z7u~j@IgC%;xx< zeHD7yEkKmg&Bkx5tWEZ;y|RH+Axp{n9q?N0M6v;h{MFhMMKZa9z+zdCMtJR-)}=JJ zz_+3Y9ut8~^72p~?crh*&e4gj^;zpOtR6m>a_m~o!s+ZKOW4*(COr#&`Udp3G1n_b zBMSm>I%_K3Xj)Vo+n`P0I*yCuKpzn&O6t z9$c;qxNuRpg!h01FkF6l7Vc8%Q_l|t4 zt+^E6c$2X~`CCzD#4fr8D_c;!sMf`V zAF?*ag6k8O4eP$v4FNM_O*)tnK9ILIx0HS!{SIpO*ybJWU&g6xyjCaDQ`6M_U(kKz zsmGyDfz2qeOR*WY0M)^Q?x+Qo_O9@PQP6K`1?@I&FDkhPCU)sTSYV%cgbRX>C ze%!&i3N?i`|3mrax()KVEjQ%Q){bI4X2Ke{lFwxU191w~!(}6OA)$z*^;C(BSQ!!{ zpSx@cSHm3uN4e%K*gFP(^wv#{je!YaB`-XLV@y~BHlnK-J|V>lXBaUeGRRqS0X-%x7qXHm+Q31UNL<(xL6T3V>kAq8E&E$>ITEaJ~Et?{E1C z02muH=3fa!%fI94OI9{2-|cu&zSP;n;_~;MJw<=QM0b-Z6fY@IPi#a&c-#ktj+P4x zI=Ia8tbY=F*FX?V>W5r8w_xZ3XV2mI(jf9O+#>T&3 zT=Y;eDzW3m5|n-A*r_fa0%ZPXKo+(gkh43IexaeZZSvh6-GEGB=boZjMMhk}mlQOF zOHJhbA2bMqO*k5t#d0*@(G3&e6hfF^`m5OZSm~{u|77fle7$=(Me=A*{1VPW6#=C@ ziry%;;S%%;kaDueeOdGaan(#OTzhJT2PsjF!+vRxT#T1ydj7$DM{rP9KGhqGlS~p) zl}ReBAXDUU+%i|A*m_Kx<>{Z0@AMuH;7Ml~F8f3I^ywz{syw&7IXrQk2S z2?7EFIaqO95CS>0l=BvSa@*b?`*Ht;tyjLcw_SGcYiM zkd?*1yom7jM2h7+2%%U`1gbSdLKD_~n?xO!9S&NYMJIO3U-oT*)!(qcYbC4i6hDu} z!T~j6_ZdiLR4OAcI_FT~s-;!;RV)>kuuHVYR{>I=0^-Ip{YxM9U1Os(3rV{-?nzL& zY8Ox7v^BFr0Rso4v({t=N`gz)OQly1KFO%obam%y-b!dgS?;Q5gcyR+t`^VHCJdXg zRa4Hy)aAL*Z0%%3p{Av#^>LmvU)`l@X;zjFs4A<}K!Ez9*GfRpq@(=wj z5%{*?^EP&hM3@5YMoD;<}1s;i`a43T63qG~P{L9ua`o-0fVyfyA zFQ~r?FKR7`EKRm#%pWW6_v1mQk=$Q;ZE%sD!<9ix8P9fDAq8+kG~883vsG#3bGFNl zyL$HiGp!pWT*{Mt!sKg54+ik#4T1B9)Q4a2gSYXUOzFkpAF%#W6jMDFY{N&Y%Vj= zHoCs1U%=}(25Gmy)OY%MHolT>D`i218@@$gmZ&Bb$n4X0Ld#6wb1amb&NM?waOli0 z*u1=Z=AGhv(<9Rmx=zxeAd2R)Q9SBK=Y!F-o$Yd>$tYy9`$IYb2aoh@)xVxkYPah| z-O?GhSFBWc`b}6tcuqQBnt1r9tZf&XKxPl&T?KEnP97MKMKCCr`&s74TUbVZZM;W~ z#pLj#9mNLhfgkcjGZHE#@Vk%bKoUc;8_5Gm29O*>au&%rl5|sPKRi;#LqqL25R*mfOw%;X z5L|}ohbv;PrvC=B-E4rTh`GuP16>1ud}@b(82Z