From 1ed0e02f8ee82b3004f98b34cb2e303445d9f871 Mon Sep 17 00:00:00 2001
From: juzeon <812312770@qq.com>
Date: Thu, 7 Apr 2022 17:35:27 +0800
Subject: [PATCH] =?UTF-8?q?ALU=E7=9A=84CP=E9=80=89=E6=8B=A9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 instructions.xlsx               | Bin 22899 -> 22898 bytes
 machine_alpha/machine_alpha.bdf | 341 +++++++++++++++++++++++++-------
 2 files changed, 275 insertions(+), 66 deletions(-)

diff --git a/instructions.xlsx b/instructions.xlsx
index d1a8861491ef14bf44c93b162a469672a70ccb79..ed6be36a91288baec4b4b7c10234691ce014e1e8 100644
GIT binary patch
delta 12323
zcmbVyWn5fI_BI-v;7;QXK>{RrfZ)NMph1H*5?mU0O+z3MoIr4Q55e8tJvfc)+c3L3
z^Pipl^7g0dU)8B|&U2*ht>;3@VNc3oOQldyYN8s4G2mffI>AaPL?C(K7za@^%`rvh
ze8sOT9nz|l$tv7<7<G>7wRJjME1poAuDen0k4Tu5w3VckZGmWZhIUe|B|Xm`{HAtB
z&5B}jM8{{#3|fY68VwX|tVjZT6OZD`Yl|~6#MPzuDttQc>aR_Jngu^(neE7yV>+^n
z2c`3Ec@7ry<cTN%oFHB`7)piR-)};Gjh&5C#31LAvQlwMyGKZAwSK-h<6c2P+VR1{
z4y^x3R17d8DR4xHUPACcb0245+l;2h3Fkv*pdxr9LOx8(Hcb6MZ->3vuAF(rDhsn3
z5~SAeprjt^Suz$)+$BX-D<l!cwQ=OQ5{*vO{}U%<@}0!^7Awe9s0?=a`rB#JL-#Ot
zJ%QhjJGyO<$?ms^y#5tGd>3F(ubyF@9EZv6OA^1)UaJoO<prDpZM&Bfl0{PD<s$5Q
zhzvdAWIgW!^Kn+yD&d)>l{8-&_0XHt!Rj9?kCKgGW#<^FTdM<Ed+Yk}eeeTZ_{fbx
z&xEKtR1fg64^TnHtsc2f6orDF#-%8!h?;aWuu3N6ox&HxD`m!N!%_P>Nj9@{N&D5h
zMLTNNMYCe@VMa5_Y<>K`rFK&gVnAqHyZ}ypu?`n(K_-%`j&#gQq(y1Ay|u1T(l^Z@
zF=y(9*vJOO9$G#A7YV(mKAo`1>wp2-L$K$K&$ACOoG(H0go3Gu3pAA?FvZ=UY-*V)
zt3IphHFbXH*(yhirVqB#J;nKY>j0y2Rrt$I41y{Bde@PxO^>!DTCh7tQc-6$g;G&j
zduwW_q7S0kqL^mTc&Rq(tE07@$c1T|l5#NXwtd{;W_9N2e138=7rfWyc7ASke!zWm
zf4@4T-IEB?QyG*iw6+$wIpMy!<@bQt5ByLab<~LDeJEzwtw#=FIXk6J62|oUVa2x*
z>o~yNyFjICFM=OQ(%&1R+D%d(xi6n(X(c)5z}=w2Qx#_Obv9~&Yi`i2VZxTb+;Ai1
z@Gd&}xegki{xN4PD^g;(P}Cijryn3zA2)Z{$SnxfX&J>9zwk_~;27*fh>yApJmq0Q
zfPs0y0Ji~%LEJA~ZLGf~3`Au~Vs#zHo?r$vM3Qpc#~k-QE9|FIi5uvuLz;EA@}ZZX
zOP#S;qOOsSb?Bpc+e^g`mcAj%v+eXeHAE@lHeSm=Z}FZ`O9-E6*ka`w3`mIEXb$bf
z9iw#X$4R2_gajYDWYv9)gWEz;&{pt-1jcPPoFy0(f?h<3#7l_<z@obCBui0+eK(Ci
zjy0(ztMFT2o_U#S1WR$%#*C(5m)RWm{fp37SB;>Lwi>8%!f*ZeFSzNc!WD^oB<Oz1
zgdrX!Na@6BR<Q!86O8UZF-vmxp~kpoGvTw#j&qm0UfFdMcSSR;-$m$>kq(jFTVJ{q
z8^ztpXM-X-zr|a#ccxpb_XEcaw9wGHsz&E-k$NbnR@dKcU|47G4T+15>GawD`Zk0I
zvE;1N^K{D$1>WN*<Q(uO^-Ctp*OJ#+5Jqj<BC~hTxVFvDO)nl~)#=mW9hCO>E}I-C
zlU7E=nCtAuGpAE9)x{NAiBGQ47%Pq*!`RbPDuX`9{VL}|M+chY#BiStAkkV~n}266
z5gpCvnVZtQOUYjW*2TsM34dP|aK1_!ZdY#gweO_N2{ZiK7?2&2!Ax~IohrMK_?;52
zL{f6aRX!vCsKUKv_$`^&n3Ft>aJ-+Xi2Ac^yZl3@A6RIO`u5J8>B3k(gj%V*l?Y|`
zwOAmf;)T`^Z<vfI2CY0yQ>dygCu(eNz7?}u+{_oVTi@j98H}I1RSm(NCQ*c0zHTY%
zW*~7Z;n}VV!YW?${VK_#?CCh7<C_$~KdjW)o{^%zt#75I9b4UjRUDLRHEfgSVH};2
z8MId4R2#1jkLErFmFv{AsI^I(oA((!5CaiE?@Bpe)zBcXnIaLZB_aG+g<q9oTX8|I
ze+bZ5Jhn8M>&-`e?p{O{VCBk_Azl8-%GEuK(d<HL$UTpxKw+VQH^2^~YSM$chbuzo
ze5Y;Sc2RD@3WK@eiyZO_iDeOs<Y!YNp3}IM@o@d$`c}hM7y@kXcBf)Zh$SNpPe?%#
z<arZGN0IPR2UjCu<G+1>x!fhC=daWZfwL|Org-+ro1D^zg<4Q!b&5=#vRcwTu3fS<
ztbWRCq;v)z>{Q0;Ea0CfK}PYLbLo1C71(7;cC6y<c%sz7iuM6pn4-o+E$6I+4wYd4
zPB~a{w?VisEy9i6bvwu!siU_jLB*i!YkuLMcZ%AD06b4s`AI}`q^OFL_3XIea_Qr6
zp!fCG)PwiU-BQc_{b^TPQ67FBn)#-rMdftuO7}uQ!wB^}KMlj|+o;HSi<Mc5iM`1n
z#v@-(|100k@3EholF&2mjxAlkMVO|U1b!nlw{rn}^$|U~-a#IcMcAzEA(G{?8A`16
z_IdmLz=K*LP}xxWO6U%z0oJtdb>J0*r_0a2jT0XW$ix7=k5L;lz1yz7rvUpB;-N|~
z9_HIXkJtd@r!K<v)I~G~idT8@7BznhWG@Ea5{qFOA!KVdh09L7Gp|2)BKxpFt6&44
zkhjTJU!eBU*(*R+@6?okRIrmwAOWkEbzAxk8O4^sl6^De>s3K+y@T^R<`+qLh%^*@
zg&EXa1N0I=P_tuhw{j9UU*6kxl~0DKO*)=81D@>bpe$zMF-%HsW{K~U`~46+Hf{NF
z>B>T1X(|(W?)l!xT%8_iTZ()Z_S3siP29zFOe1<=8<s>HQy;>@WZ?*Thzb5kt3iCD
zx>RM-BAh1fRjrL4^KSx5fNRHDn;&&<PQ{Hp4XxXc^n+X&+~0ySmjOqSQ6Kki!{71b
zsxT^VgRm(*$hQ(U81z@MXK9)WALtWdJU;K&y7@BvIND`ITm!HO`brp}@b0wrJNL|d
z*<!k8OEu}U|BQIR+>b-ZFgC1b=F;2{G1YTXU=d&Ra|fw1af@uRG_N<dP<n(b(Nr{~
zv11-}o7~)khe$v&`ni~3QmfGVF|1fwm~s|+FsRkEYqBt3B@PjH__TyzA_8`Fmos>c
z=00WONO81BTeLdfo9$eLqnU|^`yIF6voh+$jo=6-)ck<;EIVtvydN+K-YH4q9!5&|
zZsk)#Lrz~a8HtU^3_)<a<n`)0<1L?JTTgz&ur@?klqbrSxx8V7RU5_`b8bUdD#7*X
zHv{eC5Wq7al9s;@0N2&{Q|~z1IT4VhAx*U}OR$o5Dx?Fj_O$(iY|V*vyzdd43M#B%
z4p_p5(z@S`;?eozzurmsHUh7{sK8z?Tat|Nq8h`;!+i|Ry`3nk7}x)my8x$ksGgFR
zQw3o|-LvJ?>5r;~vgJnTYrDVRWY^%58qk59ot!aRh02!woOsb!!RSMabXx5XJ0S|R
z%kW;4+bXmv44?F-zSv!URA_@o9kEzrm%I-qPzaJNlz@2pC8e?%X=pUM1q>c`Nj>*(
zj88wWl#Q*r&<Km9J#)#Cb1a?>BU3rOT3QmhJKh3;9w1k12JpM@R%uU<F9+rAh#Ekz
z<#1kUzbGS(>}td7IyNDZpeO{Q%T$`Qd(%3!lWwRLmY(C$NI7F}MjIANSiNHjO7X@b
zdAIGV`O|lxRs0rvyBbT30+_Dke-pH0vs;NE>)pQ8Zu@2lrKb%c&B{7({Iea#m09Qg
zhSwtB`-cakV?^iy{s0f7BnOXx2lEUZMTk@piHH3R_3MaB<PNkhThN~B^5s)qe)-Gk
zF0k2WXiZ$w=@ZZQHmrPR??0zIfMK?#n@uHq{scMJp}WsI+bg0dr^{1b>VpPJv_1aq
zuBN<`X3>%$ew}k?A$=vflZV+3$qUt_*b}VZhu-tVzQq${@x;9!L&fjHtnLOjcS|M-
zLA`)onoeE#z;etpnyram?%mT6G_@g%K)ItmCKjyVv^~Q~{B}kw0JFnb8S4@&7L!w6
z=?7KrZEr;tvawUO<<D~1L5{zCTZBL7H|OE+;MKvEb*Y+WSN?dj>bo9bK&q_AGCFaW
zk&Q029&-T}lFB>(wLIh-?SVEnZSa;^8q{kcf8qJ8H^;>L>;0&15~EGL{-%gbXKFHf
zTBxgUN*u&gx_ZizFD3CN@PjuC{g?0}1zNN-gEgCFZRbV~XJsrRN0y^V(+|K%2{Ns+
zrUmz?L$BdiyAiFV1lk|b55?~W_35g!l9QcO--uv)=6Osd{pdoHr3hRDtZGpzuYt&N
zGr71C49v+^1fQS%s?Nv(*{XH$NGBDUJzVFsSXo|r<e0ifEATz|>Nj_++pU)x%@bS4
z<RELz@N_z%s-v`-M=^X-P4Y*+okE41>+{bSQyjPmG`S`E?Fb@3xc`Ysuq>y@liT63
z6RWF|o)L~MmCTbxh=D3$qC{1;zX!q>%zNh3y}Bq+OPpw_6$9zSoZKY-{4OnJ&exIi
zlO%ku$fr)P+*hY`UIrK6P)==7l?=yJ?MPg$eic_r%37hX%t{b_|B4)^WN@C4CuaeJ
z5hzGLt1iY;6k9o)MHghpcDmg`=atrEO+mIiXy7lPxhlJh%&M|TDqc%aLt_aF<Jh_R
zb|8Uim+?8bq&W9i{3K`bD2aHjtwDq(%Z@;b0<d+rC1@()2B`LPlphtqRKyvu>ng=W
z@0GjuqtED=WHIowrcPI5uZJ=6)UmU4IpA8MOC1t6V|>Cy$mkY7DXk-={R^vjZ9j$<
zxU};ybo~>BE5#*mU0sLfI}ZRvrUe;6Vb#h>`8cd@F!pZUXomfji|2K>Gc&1%Q$SrT
z7;knf^^0z$*$7!NKDs(xq{Wq>XPC1a0!yFF6|#IqQ*#w4Bzdfo_*AUvYXr08b9DTr
zkY@?8^}QoJ<05xAbD)-o<Ksh+@ZFUr@VA{&X)WZ#kR9RTeBz;C*R&4M+xnMAT<zq+
z3uJ<xU^BdJakXuq7V*6|y*hoz%{zNaweNUAR`g+s8ktMs_jhmjP7miwX!`4kW=nYd
z!S0GoEq6X|0}tN!E5>V3Nnf#DA!@)c5}6`w25*tE^u87k5O0i6{5I`HAMEFRy6E}r
z>1by5P8PSqg@FlmgSG%}kW7yDg@?_@uhpSn-UepxpCiDZQimhJ`YqDIewOEzA^2*N
zBFfd$xzN+n%`{ndnsPY8t@bkUcw@yajlZylu|e2FcgXwf?rdT(_sX(KYf*4%Ux;sd
z;p>v_i=`K~iy}*GC*e)G4FbCZdz<@vmToUW%{Qjai+2;@B6nc(G*Cjp;UvW-WFU%j
zzA)|3d)nGI`r=|Lfnsy2;tag8f7{u3Vp~_AYSXW%d3Z5ZQ*gDn&-=-%YDwfZ(V@W*
z!K;R%71uMOu9Jm^j*VMux2t1!?~0Ff1y>W+#^){frL}sX3Oxg1Nf)8_UKhvChYoID
zR(L=H&G3PQqE9Yc*PxTjvzz1%%k$0N#=}F8_L+^r3l_*y^VQPwoKZEIRK31#@t56=
zh5=mTMc_q$4X6@SDbmpR^7u|fc8v6(WHXIG-uEK^o}%Xa;`ZP~O9IBd^vtEg<hSC9
z<F1amtp<?2;X{Ra^C8a?**plcU$wN??0W8OL}I%*F=%;z0J=JmIjjXx>>sqaRyX<d
zcHBaAZe7h^dVmK?HWQNT_@sd@xpl%ztO-jzXa=O84C8k9{UrGs=2?XY3<gVzQx6sT
z4<<p)LLpZfe69Bj*z3_P<oh2yB)SSxY9KBZ(VEGhuH3i`8XrnIgUJOsDH8VS>~GKe
zW<0$<7Are$gBb3V*P3+oi9@fPx7<fOr~7$$Z<-hOR`)mkuVVRj5-6sUH=Im;BdcH`
zzj+OtALg4EDTMh11<BBng0l?XMcIsc0>M%(wTq46`?38O&P{GsYsW{1){8xZ$ye@<
zWfqHv;-Bx%ZES~DW~^U&99vi2HX6UMt#J1euxeI21x4MoFQn`flRo&q<mGnK<IRK6
zpL<U2{UWoo+0G@*TCBKJ%t?}KSYP#}^K$7aK>C8dKnHe~8PdgYks^6M&r`Bb0$Er{
zx{qxzvz$7uS>OS-c~J7awo?^W5tZu?trr<reT64nx<0IjBV@Oi!OzDTm7*l5Myg=b
zed}jm18T`&rf+yZrh7M#*DV_Mg{;?mLYtl9wVFYdrl_u5Ik32`0d2(7`y1Nv%Jag7
z<4|oc&_?8Zg$J{N8pC!Y-#f>NR|(dNdbEW5;dkc}>bopk66)L8UiQQEUB9nCMdk4d
z*cgyi$vE8$ZYAc!Eb-;kyTffI{zgS6FX9)E^)yjVN!J3Xq@=wCD5s>V@lVY3tXutF
zUq5mEJ&$+ddOaJb;AF<UHP9eGapHQh)lsLAY>=={*l*CRurb9p@zc%N@<j)bqCK2o
z9u(^Sz3rT^W2<4#;CW5j{M0Px1hyi43*rS>nuZMTbN|#<SHh>oLgz3GUq&&18ML?9
z;BjgiXcKPX+);X4G0T*Rn2C%*&xR#o(WNFOh~c@9TuCz?EA6i(fU_^{L_0<~6(uGh
zOP<I5Be0$6=PiAOIQD>LZU{jLHFsj=8@vp1Rq|u*qbi!=C?zRsj1T+Ll{6Ev@BDQI
zQ1=;~vPaViFmsV19{HFO+yyDrI+S6<hNE!GumNCE8XA1+B;wvI5S0i}LqOtjueNNc
zG2j$x8eECQhQ<FY@+6@^?Y>!ECXPF|p@9D-<i#8MFCo0kU#T~IFOLw80;DA<IR#M!
znN*0SF%@AIL)8#f<f7*k9CvRo*|mf`a=kzvMxoZZdX9?p&XLwq9y#D>W&pjwK#_5<
zbMr#e;=(PDu_Po=zB;StS8?pV#Sk9g`LAGx()D{YZg4Rx0mwOtv;%X0`~66`8BE^n
zh{=bkZs$sK)M%vDc3ds$xi%qw!GAR1VmgD|3*<gBc9B&AwfRvfEbiYzkpllLBsT*U
z8iNYG%KMiP=r2+Wg8wX)_9(^RF*4>-{NJkBg#TFxGE@C>_WpR5T_JqP<NEykC(cy^
zoR_~qnU#sa?90F|_~R9n(ljh^H#0tH?&E>9KxNjU8@u~8-~zw<7tT!7`McPYH=eF=
za_i<u?J%w%Tyb1gvbkc&QsGi@@=&wC0BTY;d8@<)t|c!sbAg@)zVBF{;AMJ(_ieR5
z3hX}^Hm304t#OoCVm-GpSlEhl9FJl0Ar#I62~0*yL9stSgbJ9zG(+?fB6daODuZsK
z4XXkOd9G*}dbvjl7G=U$5xA)EldAI97Nw|wiwUJGC+|m%`NK{V0e2DXe^5C$cvrZr
zyl<#6+*Jqz)n<)U0hcX^MUmQyGXvFi1YTjprT)*hkc9bp8O%onpmWl0l){3(PfC`-
zWvsX$=L2)ZXiKCDzfB-lzBBjNX`V*|mXDu+G7(6`Z^dl~w}PqTeb<lhj^d=%DXUIv
z|8%P#^(j+0Sl;wL!Vd+^Py<F0T@g+(Ozqj{cGXr@YIWc7(Y5L^n@4L~ajpa``%(8u
zp6qm`6b6HtNpJ-gpaAuwLWQ>*&O-HQ=GqFuD=Yv!o7}m=^l0rzbG>SWAH$r84=!UN
zCwje)UO#|Z-M7#}G>806gtW@)SDNm7>RGTTJtfZLZt&3Eu+zx@1t*yG1pwC>D)B54
z|FHm;SW5rB7XWwvQ!+j}2TLh5G%cEj&{E-G0k<#%@aA@SS%?fZ3`4D@mWmYru=ueO
z|Fi$2tN;J&asJ#N8odTdXkvg5nE|+S3N_koFcolekIw!P3@{}NIpCXf5Y(@^je`dl
z+{g8g4(_+Ulz4)D8C=RhhzGrV@}n|C{1P(sXSBhw%w$g%i$CG}SBw9!;KQSb|7`)*
z-z@;(JOUW>2Y`jG(8gn^0ajuG;5<f_;}<ltk0FINETjss4+{m(zm0js^G~#Kp3vre
zLR;JSKas|LjI?3MQ>6c$9Z;;v0SW?HP^b1CF472pLX~1et$HhP^shR01=}+bJSB-?
z0916f0{-6x20msc`vXbjfA&N2fA|4a@(+GsLqYuqKO+9fn*Z|S(U`{~`diM>{ErA2
z{XGJJvB6p>91Zh#gmzG<tRBG~!4y<|Dsh-p@Gu*}AK7UPmAu^Zd2CaL8a{Dg{TF0^
zgroBx-QfHmZv2mMMEtWG#{a{OM`QjWk%;~)02Ggj)K5cj2GKe-S&rAEIh34xYC4Zy
zPwqenoW?`|f-LuL7TPXp&MDkP^qgOXOhG1Y_A3~t1QPn92XJYU%_|p1&aV=_yWMY`
zFJ&nU?vrmlKb~qbhR}*ZfXxMG`iIkkRxyIV$&<HWcokb3mj=VlYbg3v4PJ%IL2CP4
z`jX`#l=6-=4Ob3UfKc}e&$`C4=qMXM3Uoa^Hrr;<%jb2CH)Zp;gA*qXH|djG4F;gw
zxiruPyTQX&jlsjQNXz}$bAyMQG|+Vc#lzmO+NBqhHJTOdAj44CsBJrr*Zia@sRxmm
zH+M}dec-XCEdQ0O#T|=r0m0Wqg5=SIptZe%1v!tOzx2JYS6oCMrVbwtgIn%*fcFCn
zex4E_vO3T-X<7<~l!rM3JNtQ1`|-+R&&;+3(9@e+n7`>Y&l0)dr}b(a`*m>1!*PPa
z!`)%aeS3@Wr%!kJ(`}c-jgXa|mBp1>m(o{zY02bd5l9~X3Bl}ATUquGM~0Wfn6oDx
zm<k|!q-%AzbH!9ZWE5tn$JUnO03T7bq(?5OJv_V#lACMZ1o0n(+|P7~3s|tfEc1W3
zyNeciI6nlqKb+v(ueZ(YTpn#0mR_9hgzhu}0n{GuqpxyTk9OL=&P=2~oLYOVd%1}&
z4lWM)&-}hyHEVL@0o8ah7hG+4O$gVXEr(tmo4L&i7F4;#{Z8KK6bv|<8xl^;B^Z(%
zXlHqznn*h0(zmfWr`RvC<XUmHxwb#J->-W=vpTg2HWJ?NoA@bsGoim<(>Gzp^WM7u
zI4aqExmdr&M#R$Pxw7~11I*)FB`EiyjKl*<8|`7kz+k|@z_?noJAQJrHg$ZwVVc((
zuwCQDY9`zkK(1%GE?b`t+UVeq@<FWbfRpjn{}@^x`d!*TQ`IdT&O<xBscH-0u|Je2
zF_O98S1El$K(6xnJFUWAtu5;5hfo@a%Ypt^FSCP(!XiirwblbFhCfA<fyP={H&Ki#
zhHtk8%iVKg<$mG3<!jHV`&oBoeR}WFu3O9~oNUaBq11LV{7tToXxbStWFK@w)7*;Q
zoULmj{Zpxb&y$Kn)}e|qt9t9To`873*Y8211c#Zl;;Uy4Mje9hDP?j3aOy_u-_e94
zv71Gpaes%Yvh%_t4V=SIRR)E)<FYkXC`x{4b4=}}8McCO({VPV)c`MS@Lnaofp{m)
zw>meHRug_uly7D`LR4OPDb*hL@+&E)0T*!+ER6aKqDHe@T!K7BtQE^ii^LYr7g&g)
zR<l_~{Y->G0mHsql>r&(2`^u?+^n7?h>REFnFbWg=H(*rPft`v`0Rq>hc!54IR<#W
z&P<aBqk_1ksF8HyxB2gFZ&>k@klr~s&pgEP+PEz6B|*?_J}pSH+e}?f9WEK%owuJ&
z9TtP`EVC9}{crM{PHBR>v1F&XcNiso47me5KWmjDKa)K3Zq|XJAj<Y8))E5t?R|a2
zGKJ=B5aTF|6ZpY-)Qk!gM=gUF%eK{hc5~-FByyf&EOJzzYPMaOq^RYG_AS6n)3L*L
zCZqcY=PpvB@CLQ7rRJ72VKtjX7F9<c0uBmSazXAo+GUCZQwDWJ5Q^x_K`iy#V$DiT
zvG@Q#q9g}Q#G=96x$bd-2~2^3DJ|}}lpOeVl4Avk+!`kE{Z13;0ndTF`=KS7LVQ%H
zsoW-<nToRM!@HfYvH{U!PEl?#m=czyrUa%Zh}lfE)xWXMSk}$YbT(D_e1s0)ueV(f
zgriq#4NnC3S%*nvKL@zKVpBIQB93$-x9A*V`dWrw-~fMg>Zj=^M<(aRF}l!h`(AT)
zmTT<nqI`^TwCEWNDA<N;IvCTS=mpi3#?Hy5YZ`@0GQSrYX0k_1_2`Ml?Kn2l#0vMO
zZp^DzUZ?R;s^(h3OuQZ8>_$@+8K%~pt8y@eV%c`5SWg@&Ea_9-TIx*<`J#4fTT=3S
zN>Qxwk@A3}PcZL$9N{UufjE^xl~NnpHxDleF%OS#7!gjAKw>p0SDz^P6;U!fghDpO
zcaGQ{6<wZfBNjb#&AKZh4bHHAli_wY*05W%q<ep9+V_5pF2in7eIPxzMAV6;X!7<7
zGFLFvViQ|kwXER*M<z4EZFr}iFIQ$eU}dsgfskt<vvGB8Y{7d-u^hnqGF_c#7r$;<
zr2u(g^X@x8JE%bqk(ltr6cb6;l|)Wd3^F!$Y!7lEanl$gzF=+fhcBRrV9;1ji(ml%
zICLHCF)u2(5~)qx1>vOsXt<}$weup3FT=mAkR(Vd5=AjE(139!^;p{FAA+AM%Zysn
z@g_Vg)UUzSQeJik7mEmEWTpoSO+(-gr;Fd;<EOVGk;2Pxy+bK5R+sw07D(B41WU8W
zkK+t^HLwkQ>Q5EZyj9Ooe-y@z1EIIyAy2FnxKs!k1no<BK^KVEn5-A&FXA@3O9e~6
zlMH0O;T-Erie(HBq0OhY=~C@~|4B2wb?+J(v3|R+vQ<#>d7hRA8T&jePV%ae@O?1<
zmN@}1HHl>ZtD0^l$~gl-vT#76ZO+CIbm_e|Z<Nh#gQgSyh3>K&&%5IGB)mhkTS}cX
z2OCQV6u&IHYkN@7T%sjD@%B?;pfr<-IFDd&Q2~FCh0(*0yoFW>bxlTNhmg?=pixNq
zI$z)0W-F}%j}Q}{iF5<?MpXtK@RFa^56^igg%?SfSkD_buPri&c&=`}=TK!REW2-d
zo_~x=rM*Qsl2e$QzS0!n5lj#ZRZ;ZWJ5Msm1yMAV$w7Qi`5%%wytiemw>A+|mD{#t
zPIBQ{UblCf|ICCni;^33X_P)<ubB9>87r`A?Kkc6lk)T%PiTlEp<98|o@w&5qR8?_
z=JHXHyoPi+R~ri`^$ONG0qy-85eH|bEKaVoOUhqaDD&;Y07|?9ZChq|<;&TMxCtk}
z3J{U(wK-ZK70iO~Ye3pI>HD@N8MV^S2bOmlWX(pN?>|})a`~Q@(s8gy5v%fz(^?Cm
z<OC&$lTaRol3)(ti^-2L+;}Yq7UPh`$Pis;5VpCWw#F^miFYtAF|j43U8^@wOt%+~
zMp)MCO549t;wsf~8s|<I2_`QNhs8JBM+FhIKSPZ&YoV<OYzPj3Y%O0)937Z)kR#=?
z8_&EZz~CfAz+}!yvehKk@>&dRET~}e366My)7#0pYC!lb-mQVdL0wD4V{<M`0ag&X
z;dQ??8O@55(a{SaA%Tt&A<pF8UI$+e3?QI`5a>WgvtG}^I58I}UxM1epA6@UwFxr#
zG1%F*!*`k4-3qu@WKWzxiRxst7mfzZ3y3cP^$-cuH~C(RGU?a|cH-Ta`OjtG=UJoy
zmB)(k`+JjWqK6;aFV~Grfou*Q#&pv<o(vrtqnj*aX^5J7^3f>wrxzs;_vbevp!>6(
zH42)WTlc0gE_U>9tU=MkLm?FkQ`V&B<cI~Vv}43n$4I+G#@OTw<-ol86OD|d_{nTD
zqMpUBMwE!E?FgrV2z(Tbb4U05<x#U`z#_u$YCN$t0Ht!fSJ!E=IC)^)((#2I$#RL9
zL+Q^gG6AZpY~6NmM@Pi&o6L*K6;Q|q=&2A<rJZXzK0<5I>W>;!6h#6((!xXwP+GVa
zN(;l`z9kan`r)Gdar|qwl|dKPr2OhQuie)XukZuO{Bb>s3>88MR}pvg$j~4i!V5Hh
z9IUQ1FHhkc&#rz0kxBen&b(R+oV{ql2rY4m!DM+qkb8@>KC}csI;eyO(OtIUc{g32
zCtvAzBdK%cU_(h^P}?Ib?1cY+SmDOr$bv^!m|-HG)OGP!5em>Qm;+p67?QahXX<Bb
zHMx!Xwmi&YxkPp`pGHR>=vxr#IbDs3?}UbR(YShTD9V|?vu8VoEOWrpeKQh`ED?<(
z4C~px##Q~$A^Qg_j7`}9C53moK(>20P*%AAfu2ajfo{&;(TCy3@-E{QlofvM8~7Ji
z809{ZjbU+C(YOl&Hxx?E?xc}N$PfI$4k$@D=9bP?bmbi4`&Qb6Dx*Q`x--Nj(t7a0
z7V-2YloYn0$?Ec;0=!$soIHm4gA{(dTxQHvkdI)l3W|Yp!gxtA+vg$e=h$90__rFF
z-|$V|?@)Bydvw0~9^`-`r3BD`tGJEfln@1%o-z`V>M}FK_!_7=G8Q9qO91vAhaC0j
zUn5H?uS+c=bY^+voF<W~MQm$)RDKwZJYnm??B^N?p%1Ua^Fa9QJCaYA19L}QXqSRs
z%3++q0U{z$D&=XAc%9lHAe|_Tq-oyP<HkY$jGf-Befnc68iL1{^qe{EXJ67>L=P>2
zsI6X-V-VsQ4uWg1qX;5Ki1UXP^$&W7C`-0Zs8Etulkiti8Aq)G`rwK4hgdpiQKN}7
z{XOHysY}0U4uYVmP+v7518=kJ-s5IMoS=ta*L$_Cu=mmP1KS9SLHQ!z=V4tsmg3dk
z|0K`l3;e+THY+lc$c93v7KS7?Z1XCU8&O-Vq|g-tL$_EHt%10!;WsPC)Hd1io{9JK
z_|jLL{yIw*2kE1Pp_aRwoeR+Y^-UiI2$PKKynTcDM04=<>6hgg?aji)!dwN8&@6Mx
z!Oo9(3aN!me^A1dP)azESwo8gE*G4l?nYx_HA3Q&L{fuILbiFS@w2JFm9i0Ax&q1w
z8&E3y-$d=$gzLaDwX9JXzWNXmu)gd(#8)k5DN`GCX4bi}p|?1r@$ky%nBtG;bh&-Z
z+d^php+FfRynj8XTNpW*ny7wq_-JeX^tj%bxTH9ygx9qse@l@hd_|)aglr*+@g<Qp
zHd~wfnem4t<@wJ=<Tg~R{!FN(;@<MX;?I~vGBe-!!Ij6~!Am{_=hRrG-4Y7wp}bfg
z!%X5{aG$*4TXJ;wI1mD%>DQ%&sQPDScADh*V{-G3#4$>&FD8B}@o#op(-9Yt&r6~_
zL$%k&5!j|u{$5g=tB9zso@H2=?L4e3FQ;!t#Djy6>o?2DAc5k&1C9?!Z~N{Ltqcxh
zJk3{D9>=lIsmsfYmqF$X&7nT=$@X2^gptRPF1v?~g|HQ|ag&17jIEW7d+zInVynYg
zL?w;=dl<KeKVa);T${+Co&B^(8V&kPsqmRkn;$vIY?^Wn7L#&p=s1SryHYK2)=zkZ
zQXhIXfNaHJw_uQ=qN2ctJbDHazG!q>Ym)ignh02@FEGDZN3M^vufzDur16*PEQ0dS
z#p{d46dCL}gL!)(d1?azxaD9S2A?&XCTU*D?k&C(xOnuaExvbLe8PC0k%tGr;OdoN
zxL&F=6^ljEpe36qGjx^<@%pD2>}$2sp)V`cqVe1kFlVF$<Bm<dJO@7~V$xKMQRkdg
zb{gX9RdTCu_<6pUBUBfK(kE4SEeP|RMv#ehXhmki2}f@Y1h>sadNhUoHU%U798G~w
z3YEQRA+sWYxkAtdP_@78dfTubXU@FqCKw#iQe9)lIhMB9SWrk%q_@CDul#MN2zTX{
z@tEu_q92Fl-mR5~eGjv(fWZ5x;~p8{6>voS5Wb3%jOu||zShbyTgm4%@TUz%h8<cW
zt8wou?FNrp5WnVl5zzR+xP3N-w*5y@zUn#mY@L^fC{oW6dBEopn?BbS)+Q&kxkS%2
z&X)z7j_v)80xksYI}h-`rF{3Uq@2A;%Y$aqnf3deg1F91LAz*Ei*4;PUT-i^?YC>-
z^d0eI*UH5{4nst@)T<b$(y1W8I;yuD0m}=M474APK~zh#x;DM}tdVyIL(VzENTo&&
z5g0WbzX>WpPPn0{Va$MT6kUrv`~9<`go$h{*p=bL{7f#!QP#7U5RptkXZ9JzTdzr7
zEulEIEio6IeYfh*9;WIBURH;pRSDPX?t%FOEX3wO3~{@$H6^}pr&1oQ;VLJEZ_T=_
zo~sVEDf=4n8@w7ASH*g^)q5NAwO2rZRNsbFAvw?dV72^fZ#~7z6sudsGlIAhcJ{V#
z$J1{NHv(psn7YQxWS|<z^*}=nC;Ibc`^17XWui-#@H-5!uaacNGnsQ(1g$FIR=FHE
zENJhR8@n3brYFx=j9kYZca)y9%7iM<>Et|q|CbZxX{|sO(46plK~|w31xIzEdeCY}
zIt*TkMBX{^EWxgwFWhb-PGLU2$u<H((aB9ioK>$Cd`Zrvp)LyV5v?iH6fytnT&B)1
z6mPgl-GWb6i+Mlu86*i!Mu5tMmIGq=zJQh!4Wm{Fh<^Kq3`(~lW#99vBVmz=BjUtW
zypH;CyX9n<-E@_%Dyg7d4?Y)2S&N$SyI5Too^{~hmB-})zX%$lSc@L$dtYOzm4B{5
zrj&}RPzSqd3C?xZy=+(Sua9gwE=D+ZJ-LodUDlfiz)>H;T2NeMHY%p3hV%5|;&2X$
zaXs%T3?by!AMH7<Aa^@!#u$IK?snAjix#DaoAx=P_Na+WE(H4+ZrjlS<abN>c!N>l
zB7ctXmrui;Rk+Fi{1z4lh6vg$|NJ?kgWqW2gXdK6$^QJ*?eB}mv7Q!Dsj|bmfR$C1
z;N0-R=>(+UW>s!DPXg$W4s5B01!htsfddgf%^0e2!}$?C4a=azK;ow%oH_~FpC9i0
zT}ueblNNb(e6l~O{l72D1w1VRtK&2L{ifzmr=+?5a&H5+*TMr&^J1a>Ie!4YSEnca
z^Cjx<O0vKr8Z2agKH&X*URw0Y2t`puaJmK->EDl{KNW3(`!q!1I;6oqvb10>O?Eg%
znWtfl3?eu}lNoO2kH7QK8Dm-K3=^1F3ybtI|KGyGz$nAPz(8-I{_@)g8)*r{T7c8F
cgy4ddp0<M5W{1O4ei~|N<3CGMeq8?l00?1lK>z>%

delta 12251
zcmbt)1yEeu(k|}72?Td1NFapZ?g4_kySvW>4;o-_x8N2$K?VsDoZt)^+}-UBIqyH`
zo_p@C`d_`FYHHP9-&+0k*WG&!yZ1>A>}d^bwKOU!Q7%A+1Re%v0;G&e1eA9i7r}0$
zIi@IYZ3cYzc+Vo67{<a38<A7jYh&sduWnaWzu2Otz7qhCf_jc5<Fo=t$~cd6WINvp
zHkv8{apSyKug0y~pS|8lceL;<;~!^K>j^GO=;krA+m@mFG6F|@X}k5~p;AXwj@gNH
zIkvkX)Ph!$|Ge3=6t5>tAJ`L$2J_we*|T67Jw^F@*l?$B-MF|xpL@N65nE2$lISy*
zDao*@^ORq?FN{$um~u-yT`O{ERZ08*w0K~o{*n^pglhtOHV&)!6OQe~5suJUh?K5$
zBoBe|8+U<8QV=!W$wDh&@XbMJ?8QWNB2!p4JWxC=U0VWfT&novO$P9DIYR@CPC96@
zZ)udLtBJnDO*JT;N}HI$l-ah)s5?`)#^t%zFz(>!<BOpWQ~kc(h{q1$7VJ%_#RmIh
zv802#njNwy*wQucsoslapt0u!BJik%YQCl#z=|cHpc}$@)?u^rIU=O)CNGm;4^~Um
zD{P$e!m^saz`K7zY$XP`j3#hce<+^N>xIEdRl8hDcL_7WNY*Xn8J)jcxM;P_Cax(s
zaH3W=;W81i%`@@7`*csLc`tSU1hub|Y}(R`7D;nkW{a5l2V8kN`LeY!r<<ol5M8wC
z{m%RKCJz=n1}?I%PFReo1q0vL%eVv!oZIQWrD_v5Wgo6%kxXEKX{m+qFGj!%G<Cu-
zm7&{Ouisa*Z>8+5Iy}>kZ(({dHOgbL&sVG8q~_h+qoA9c<VYaGNs;)5-LZ`vcld@>
zy86|RA=+fph@E~JKlVQKhMm*h&Dr(qvZbOCb^|}1<A7nUtCaVN>e(8Wrb6Xc-FH84
z?)LW9*Bh~BKb`LF1E=>EtS|2GyK8F`jdFTA`5c=jjiUDk#`jKl_lA0-b8@yjM+~s$
z?wYgrPQ<XKZ>&SogfRWLT=>@d`8FEjio^?l0ho8xi4t*&lzF;-l9>BL-n&<sm1&qm
z)L1lrsOf4z&h~1iFVY(9487r+9!)8NLo8+-oa<zg;0L>fUi3a-V-`pkOn+x8Z*1u#
zJ_@cwo6=cPe}o4)<Kv^*O6$lmBf!8MJ_F?tzW^0r-~bB_Upus4iTALORC9&NsJy1w
zB)5W8z@~BA`&#7tN6u4A_OpG$W(sRjpx!qvAnx%yGeWK6HWgRDHUv9F<Y~3~zQbEp
zknHf<pc2TU46?xar0sDuinVko<!Xi>Z^kL>B_((!hJNO7zfM?&PN>u!_ul%0n1<ID
zqj?+m5H;}a&jftatZ@th-<R*HSJX%csR<LluYdaay^bDlS^;%H`ExbCIQJD`gqrwh
zE8(Yt26Z641RT)W%-dOAKA*~k2}h~O5C51OIb1r4<NAFBHBEF9R#+7JNlN>->@VWf
ztJ>|^h>sUMiq=37lX=`S;?e*oV>-bpWSxC5L^cnov%P<V{KKdh|7>sq(XOC;M7(oc
zXTawB-Uz;{EoZ&HiMPp@FaRpOswK%gi~J$_nHbU*bSYPc4_J1NdcXq*R?kbE3Qf)+
zmU0bqly8@#NbKT!)UK_}=v&fK?2@}P%I8;o*B}=Gkt|dheD2)1QjDPX>C_u;S%I?;
z>WYs*z0y+CSZ>>)i(_@5=G0MR=f~}=4BTrnu%F`W3gb$sbI%n1^P*DI7hr_Ck2$PV
zw=?g*;V6k92t_A!>?6i8dA|g+vnEMn@nLf1sZx30sG7Iay*qElWu}ZT*9<hoD8|BA
z=2P(`F<6vCzgF8qGJ!4lVE?A7BGEfEQL?HHXb-XU^ansT-TXx%y!$tu4I>r)^s&=d
z%Bn%f6}WzR0hc=W2DUJ>JI_+At0TUPM`|EAOpP0d{v;c;yX1mS_D9q|3$^1p)iZUt
z%^=~&Sm#ce+WuToPMo|%LL$<T=8-$r;Qy}nKC?9hmt28=A3F8czKZ9A9S_?S8Vk^l
zKht89zv+Oi$sxQfz@DWn336DE6kE|T87vm^vtnsGS}<z?R&Y0@viz-^qaDmFu~o%x
zFq%10oz1BD?R*R2x9J^C4SOb7Guxbc4<hCS<Izz?Byo11T;B>n70=e$%L=71D4aVq
zz>(2i3(58y?*V~dZ$2|?5c0|5DG;MWJ>79hwqdczz;q7cy{pmbDS+O|rKPJ1Y97}-
zBGcz*4Ql@8pgO9*z<*==QN6kl;+9!?Ko+e$WasFX-lM#&v8u_ly(aB763ZIsY&-I*
zM2e3`yJd|d*m8bzc6T5m4HRQUfI5(6)K~hcYL!~=HduN+G9av9_ATKZB~a!jkvQ5!
zV-3~&c(e!zxIb)Mdc5B~R07`3roI1CTW$I7qjY36UQ~u+H3?f_g<wsWqLuCpDq+m|
zmyF3dY(BnG$B%ES%Q<kru_KFa`Q#BlXE2>4_pa>edSQ1-lgx3YKN54~AYts39+f+I
zkuk7~%Br^AR&<g;!WTdXwxpym;>|JpYQ*8tR>`?3hSo{DrdukjEAV}iTN_+j@reBU
zzJZ-$5pD%NV?9xR-!~{#5rG*RLotxo*lmP;{ERIFH}&Q(lHegbdA^L;X6b7RstJ<i
zw57E6RjPZsYZ^Hs4&K2qf@kK$l%L|L>XXc?u-?Hy^4_fRE@6OQ_}uK|GFPw>#2>#E
zU2K<pUV%EI)%tD}BJ8loSyRyI9x87zj<8=MQDwmnNIht3N=E$L4+jj^p)Xc0O??wX
zi&#-jdK5Zk^y6!Bb)e=K4>KCZ;laXEH@|5zJ^~9K8yxyy#28tdQKJbUMM>MqKolJl
z#5?m2VsDYMJ{~86=a=a{^er|pCf#y{7fATp1gZ0twl9xLgPSN?u<>?9+k3+tot#WJ
zvb{@*aP&^}p25so^9cj7ggs1<L73a#cbXkuxiniz+wcNn*TT|2NIbM2a9FQot5uK-
z$LZ)vlIXUotP+O9oOfo?g`@X5$ZszMTAla3>!N`A2$60ppD4!c(m3B3lO@twW#xS3
zl@+Amt1ZD9<(KlT;cciR*UVV5?P9xfh86o6k6VF(-eoGET*nH;OYor?J<CQ?{{;JU
zo8xvB{vmqo$ky1LyEpxP>q_$yqb?yD8a?TiILf;+)A)T=X4F317Ay?)PI;IB!!i?P
z1FB*);gro7^HLdQY%C-GS()y#%l!mPlzRSW75FRy>1b`WB2?tcj@6aCj&M$dWI@uc
zZkV<K5y296mJe3I9XqNwCuVvXL}5ie=1X1{^0y5%#qf7;<8w00WN$*Ve0vUl?cq8#
zf5;mrE4fI`X=<d7YNlh@6N%ESMSodiYuQ>`0PE1};MY^>h#oZ1vizoMgMiq;665*)
zp7zV+50K-xh2Ldp_aU7}T<q9elP#fy-ufB(a1Ol#{4|*tz~~i~Kn7&g{bl5cTmqB?
zz$W(_LKz6soR2M9(;+^M@&#X2q63r8^)1rNpfq;xdpGMH8#W`2gz~m9lf#~{21J1T
zyFtW6%JDIhj%heecJ}}ah1Yb83|kN&1^D59<k9fq{$ks;O1DR4uX*LDCq`Vjri(jf
z-%AK<-{{SmRgW=#bdTtf)my1-iJ<8-Pu8jOBn?^D@mOlJ@CNIz@I)+&TdxU3^ECBD
zZ~0mXoTOE)C=OsG(p@Vt*|CdzTJvqjwVs8>9?l^5Ax)4HV$3b7Mm-~xGb(IflJN9%
zPOlfNxE<iQ#jJJ4r$a)W3|PBcg%)5PD4UoCdS<6!1x2&1P7?ibW~U2YikLPcS^ZpS
z=ncPMbBV-fY7`JFAU)wCv8FIBGaj7A4%fC8=usa6119nH>%C7CEay_4M739FY%Qpx
z@j2zKoR7wuDK5W-aZ@?REk_Z2m)4{nP2Zn3w0{{T96>|%9zI0u3VLLJeT{)b0hEpD
zj!G<mQR?@Kp}Si{7Ej1nF8IbYf&t+sl!~zqunFPG&g=M@&_io>%)}5<F8St1H3Go7
z;B!;S`Z4}j($ikml3rGJ(O&@;Y6dJS1?$H*56T=d6kL6`KU|#31)Z;IS6+cbO7_^P
z*SR+os?~-?W{Xn|3&C6(NHHXzlY!St@n1-TK(ExXsuOF#7(ZM{*qRB_fw?nzII58D
zX@<0`t!bytuZ09J&;6IZznS`=`x9vM`@it9u-f;iY;_XO*{9Dv3Rc%3W+?e|Q0{Iv
z+c)D-3U?D8AGxJxTS`tr<f|6r`_VKonDRxqy15lm+b}Jq_C`L+dpu#yJSQM(pj7@$
zYg@@-8QMdZEvoD>6G*svpfQ*{2G@Yl(xN#wtu)%*<yrX0Tt=#k@}JS#NYqD$157P?
z)m*(wlb0d%CtEa@oTo`fF-l@JcmDQu%mp`#Xsq9H9eFeKxr?#UXXMKld2R23xm1NZ
zKFGGPQteV1jY*B1!?6Z;d-K5ajDfaSTYQB6mNV|({0%40>n~rxEScqa0Bw*wx*ae_
zr7Jp$d4jEm$T4clciN@P4qnz@pQYpi7+#G?r%G3d+SenIV2lxObeKkd6SAG0pUHPO
z5Z#UXIW+~V$?@%Vu+=krbTxIOiSyZg)4ee<0;NS=&xD2sOl#>1DhXTQQn;wGq<+!D
z&bbp|RlEK~)nbmH?JlJUhs`r8ok;#Zj-9vmzAev_pmQ<5rlzP4w&t+&>YLb9^fB~{
z1Sxve$9pEaI!L<7>XGW*V<k|=bmo(ad(;`n-yy#dr5CS~%Kh!YUZ&>o@*VVYPHu8r
z9;momXy^I7pVt*|Lch*IV;v_{Qr2`UjftgTr?>Q#o_tCH+VkpP-oMl;4p20*#(v@W
zn7jJ#USso`I`b@C7ZZoc4P%mSE)^dnDXUmq?c^&xK3psv0{!l8vz34klP`ESI27l<
z=9Y~lSLXBkPEUDmP)~@z`na+2FnpRc7FN38K_%x$xnvB`$_W|eir2U&wMm{9T*@eU
zYw>yKq|{TG1GV+`ViyJeWx%5C@N&+(7obLp*y5l5@@pj%au`hD&){~4c6if_&WWQ8
z(;rQ1DRLhhHCA!KN;?5Lsf~@<u)ojRd}JOKemoeMZLi;F?F=~yP~U3m-axlO0U{xv
zCpPBc83^kWCy4})&?*l{n{F4+%Jt)IkQpGl83c?|EjQifU&`m!dX@5J9&6-w!njp(
z_PoCL{Fmm^g5IHDTGavJ03^A&)e^ax{}fWT4(Z;%O>UM1e7W@V+yn?V`|~#&EDjqU
z0EEFy_mgG9_aH)Gc5<2Hq4415E}3alEAZ>Bacdj@;u08q!vRiR5Y}BBavWkgOe#yC
zox5AzxqrA{uo3cYMunQY#KP>k<*n`Bcd&h9V85!>=G)kmmd#crv^eNEU17!p&Z-!C
zI22|*H~`N%R5pw)3~DR^S|H6ji}NqKc_VkbZ*HUAJb{}VJ6A)ukae4jp?dG7rSs6*
zvdlw`4Y2<yxMRA@?oEtaZIce$Ve;YBNR&5t;nmW^81!#%r{nu2II)m--f&2mEe(!B
z{a)BXzI809?2(b=F0SS{sGLu~Z1q!QBfID0N&AE4h~GYsFsZ=9(Rsb$VVlpfhcU6k
z;^eRm@Zn(nK=!bSoMQg~?DOU8hyL!n)7Go&cdmkfT0H=y<*0{rvz_r^bNaMwqkkqf
zl|6f-YIAy;-BW4E;o#AahDVsE^By_>?ppJ<djl;-lizXk(1N0Bdi&(mtj+7u*k0&m
zm*st&x9w29^WDX5?e%@)SH__)+2<sOlP7aBz`;-aypbDS=9MM0p6ONDgpSh`gCm2o
zZ8u(EgGIIHGg>4ZRSs|)WzWvSMlgq9fmE*=UYt%^#ANA!mk#VtdqymFXUho7);Gyq
z5z`bGmxj_tTo0Rs=ND#MhK_5Cme$)dR?Fz!7rz@Eq#Y7$EG&`SY)=+nnmmH|vNb(^
z0K4(zZw}%I7?Lm+=s*lfQS)?;b992I>&CC{X*`D}Dy?m876UFNY@C)0{R#q;Qclmj
ziZ>k?{Y-x3Hq-k2nh|$*Fd^m7^(uayF&BGX_)rbb-J$c<8rS<WRMICJkwn_>gM8r2
znEgi0Fi}%fPrk<SWk=ZVsNU(Y`_-D|Akg9JJ1d~&py#0H-FoECT?VhTb>;O&;C_ki
zTAu%xrM6<7RyPAR|95kQ=}KW^rS~n)F(s7?*0;Zk6-&oA`Fhnhmpo%iUS_rP6@G&e
zlP()prZrS!U`z^A+hmB7Rx4sieCO`Lb)EK>@2f!8Tiy_XtTyh?s+p<%-lqqNssrq+
zf?0%{T=oE_xTTlCV=kUZikGVDo!&GymEWr<IwPM80D`_v82t<!sxnF+*(U)(XlU@s
zQV)l9J>3>rJ$$SJwnT$u(Iv3rX=vnpIKW{uZDAH)#>Jsmh!u1weMVzSV!Vj2=5VZ}
zi)rGJzIf2i#qG!xidK?^cqF`iZ>@|THXd|cv2r2E9hph~w7}>m+*l9@hn5CNKImA~
zaG0yTcQy*Wgams2k-W~dlqL(Q%>!W$XGf+$w45y5qu_14b*!y)F4^Z8HR6fRm9tTW
zHx2hZcP;;~>x>-K8voTA-~ZCwtHwwO;TP?FZsYJ`I5U%QMtG1DJq5`+x96ZPu+b)z
z@}T!SuJ*g;jW~rpV(pj<g%uD53z@!48h_9Jz_riFjnl~VAiSb}4XGl%M>MOnZ{d*_
zrI0`X-KWbOs`ofD7)o$T5o$>BU8?P>)an5fKUb5+=P4WvW7=R_x3)=!<zvI?YDo7}
zsn-Lpju4XiT%0U1L0=f~sG%_KCm0J9);#)8So5DS*(aDf6s9}=PZ$=~|LkV)1Oq~0
zx0C;bnf?iLZCH<b{rGl2d82Dn&|lTpIQ;HeKwCxT49^qIPEa)q8E~DOHxH7Wf9S^U
zb2EH_3zhB3aT)L5j-P;na9{*D1yBW;-oKE+RDx9sS3`U+|4H|qtLHa=zMG57ydp<W
zc2Rn$vvrmc3CO>?@U*B0I`m+&h_Vo}@Jldg!-_r>NtD8seC}l`dVE7Q^9wR(QU8jn
zTEb5kK2?hvwjbogND1WogcoSv-w~WswF#R{i6?Kymx4|Chm0SUF#ogmr_kLBNfl6T
zQm{WLu*R($iGBDV0%Nz~%i$}s%d&C(A}(HNUUCJ@u{u8UF60adkc1#qQ3^b`-?36a
zi9HeV^MV8ZHrS5W1!@OTCkCt?;U6W)s8iOTHLVN0Lup__#tYoQs{LBa^S4$1i$zK*
zr7qm5PkJk$EFV9a`j3lb|7J>v9^vm2^to_QeP9S>2w;$8hX1j`w9FJ&Dq^$kJh078
zwPh-16n<C1O^*OgS!6sAfQ14t;~icgbQ5S$&IE71S3XGtddEVJpEPbQHrgB9j;kHh
zCY}8UD-byg8C8Z0QYJk@`s6`2!2V<yj9PE|9bDKTkpMq}&xG|ojNt=_gZVkZyvtif
z6r>bvEovdYKM8`qu#n=dyQN`ca6p5a6eKKeH2uUE)XGeb|3r|;2uhGudMRHCT6CE7
z2q0`$GJFR<s6BWE6lmDCe9yx5X$CriK}#&;cx*-E!A2iY1E7VZfb##b0PkNcKneUw
z3HL8b$arwgQb|FmpnYa?8P(xxsNveV`$uyVDEuRoK_02sA9VmL@ZYN6T8!g6RL<ic
zu+UV7x&XrjT7k;(+li+w{_eydoWy^7{ZCF%v*FMH{>2GT_gxWc2R7axDf4Hv$Z?;-
z5c(7bsKxd_ql^0#-QRScRQ@v=aG#Qa>UT0g17!PDSfDBva@^k`<NO^m)PO(r$7iyf
zuokP<-hYS|O~Ibwc_PIKa-^rkf5JySh1kzU<f+^_s6_ffU}n-k1U3H8<Wc@Jd8z+G
zzVj(H|3Mz-Ka>AW1{%J<$p4{x@PE;r<{!G__rLH=!?x3C1}3vTDfYzb_w5M(DLYM}
zc${p~KPw(Y$wK;D`kw#7zUM!(=ln11{~`S!?4$k*`zJO}b^Py{{8asa%NmNOtO@WA
z&IRN|WFhO#@tn}t{SGe-w2~Xw#z2NIp98tELhXikHvH??>qgw{DD1sn8MZD7+#Ulq
zZLYs~i<q8%s7Ia?GOXbqNuIx>dlgaCx_Za-Q0QrwMQ!!4<59o3OP0Qg5HH<odWr$w
zum*jCc%T0|2=Xr7@o_dMXTNsvZgwEovvx3=URp|(j#+$Z$nLnGubsY(EUq~n2?06|
ziPKR4Uh;xnTU+J?P|nv6k|`cHHkTexlOG=zl7UyB*dMRDk{@r1vL9}Gh50!T8Y6F;
zcV{mjM{tibhF6T7++M#GTp%I4xb^LtW+?KNM(#Ro9Um+9^m5|x5+cuhoSW5bPQC~Z
zZ@oL~Is`t92;UuIfv>k4A9ox?+kn(D^TK=4Bg3Kjt+k+OLf@{HE2qOXJGVMsAz@;Q
zOoNOxc4Q^8uN4xc*J}gd$H`>iZ8JOYkzI*QAI$8*A;f*?=jGDm`R0IZ@7e991v2t#
z$Kvw&%I?^;)x59(kx+e5gWs2+al`olfO^(FXj3{rKj?Vz`r6eMvnPLS5x9Ny%jEFx
zdRzPOZuzVQ=y5!OIX9rNw+wtZS{(u3LW&l_ev+i#P9ATC`~->i1c3k(pTqR9x~#0T
zp^`U#04EC%o-JWv2&uQBL9A!(<*8AF54fpy>1!4kB7iV?_p8l@BEjcq@XoKb#g;sJ
zPN4lPeSJ>g>}*%qpF;^zIx8JniCo}SW6ojH!1*+ggV29<Xk+)2C%@+_*K5m2Fh@4V
zskLF{^9_}<3mdR*<y6_MiG7Ucynw04`G)<iim#W<aoPWE_k?|MtqOs*doXZ8MqC8Y
z-Y7&0`oMMzNa<B{jm;z<SWH>N)-IxhPz`_fjXL=!^(}T1OS0UUuFKYEkulQ|NhNzn
z$<e&+Dp}LV$l;f=;SJ{UNr}(5B!6LgTC{l|u-+=6NmZb;x>9@D-6Ch%8)tn?IFhvk
zzoFnGgY*;pV#*6#oiSLR2XI}TfdG}j=lI!*oEpzRE_>T4C8nM0@hTOj<lc!4a)j}w
z#$qsO^@pdA&`McXrV_cskJvV2;5a1X`moMQp@^TX`)$w$4#iTNiiPVCX*YDoFK!2;
zhxg#;JO_NlEjxm6RikOMa8Bs@5XlzwNfu&?RI=1W(O$ituY|a()WjpidxF-0(v^gI
zwXL!Ia%lSD>>n|+1-C2%%jV_2XOztdA>_;<wkGTO{gA#PkZ79Y+1jisN0$ir1v$vc
zMqw`aOzF1FC%*D=#icha8+?6qYv`jHN|YNJPiz&4>QNt!<J3z3jaUlR;&Wlyl3n~P
zmvW)ZMyv+iH;tyutglk8pJW$b18*p-#x15Z^Gl4NEsQB2>)P+H1aM}2oNY4MX0%5A
zBLI&F$pgZ`)|-`~Ns6V4#Pss;!5EAA)s$TwO#bKuu6`F8HnDB45#6_+130$C#g(;A
za9GQCuKhTJf;UE+<v1;tLKpDDp98S%M`F?C-bb6bOt8{yeU8|Yb8CSY2JU$@XC85!
zVRkWEAs2q{nFMsI>Me6OK<H-|Ldm|RVOX3Z7k&y+$km^gTtup;vmPyaqpFM;uTXen
z82;ieCglC-Po(>Vobct3J8%_zX&Iv%x%s^fX=2iqB%O+8I+CA_%kGgP18OEcKIqXb
z+5oNRAM9CLFSEre;jbS(Pl4j`ZqikD?^Os85;Oyu1jj>;Bpb@V!1U+#u?ktz6u!$<
z$gMud(G(W**Z5>En20{=O{fZUx0}k!oj%sR>H50I#f+XIe@NL~SGOXx5UYGji7C}7
z)V&$jD|F>6J{m*6g2%>{Yx-1T!|TB_cN+huOpQ2uZY_Sh%nqt3MgpKG>eq(;x?X9c
z*`PYBs+qgy&xu+j$K$VvOS`NULujigA!p@DB7V+%rUbM3f$Gd`s%X`zezX18mun6$
z`t8M$12xuN1_V8+AmCccVRr|I4+x^8wa53Bx5Z;ENZ1iOKF1S6kla(&dmumIh2y9`
z6T;cs5C{4-Fmm2GrwA~m2fd=fxlNB>KgoagCvU+F;PGOAU8#!Xm}~?!MB8Q7%8^U&
z;bLRw))NT4HHG&ND$2-BR`@`}rm>mMN0QLSoepvg$G~Onevzi?-sblLQnoqbB)5T)
zr?Kzz?qx6+wTbWfox-PlfUeSblk$j53dPD&nmjJVFcSl-xfjTg-@fhD6@%B{wC0w-
z@&zwMx@&b+Wg5LDzlucjQd)0*C>d!h6)-cvq<3g;Zio0_CmFfllNaoG00+|?-bzx}
zS`>H4m!GuBZ%pEz@vfPGFTW2f2C{NQODy?pZ!Ct;Z{+;`L^S}3;vC;N1=parG)5VO
zCK|XdDAnXnJC8VNnb9E(66GSOy?b4cghoF02E!WqOxyQ&QwjL`rI)>3M$!PZtArnV
ziFkv_d|C4{VL#58ulh4lrepxMEQBX4kJW@$h05ADgW7RS{{zhIIS!gxT(WF{fD~5A
zm-1t;6{Mq(Uva_@VQ)8!HrdH{`e!*ynyhf~qx{yYLnAVH(-H13EcO>ErLBLi72rOT
z9}QqSGdW(xI&B5UUY43E@QYZf1<F-GQa71&YSN11thC|d#QM^#ni5Eq>f__)ABrnm
zMlTr*6upApb}ATjVM}%}4InH`m5-50)I?Z~R>>`v(o_^qFWXQbHde?>F2MbY(bS`0
z#pmP6TyP+!`k{~LEsTJZI~)|OiQ?#|*E1}vTe6{sMu!FzgsYjh24n&Dy2*0|x4j=U
zjRX5YcD+OJ0=b=sAp9s_4X?nJ!(c_9l-ZYjkP`t>;Jf72l24A+&6un0(VcysnqGkm
z>EU3#Za_m!(3zmlpev@*jM=)32CdbL!5T`5MH2_~EzjW#8x9Wz!9`SON4Uo77%Y@-
zW+_GUHweHs4_0&a#2nVpcz|s#2SUy?Uf3#)zdg&9=Jr}SB}5L4dz<}YDS>#7jyS|r
zW@w^^RoF~Hg;7q+*DU0{3M_(9W}3LGq_XN-2jI}VasVO33qcrcDp&QjgDT7+@%cH0
z{+sGwZzB>@a1@`rGF@O!pv_n4n7n0AfxXE?(OLk`e+%{vs4|lGKo`jL<(EkiLef+U
z<W&mV=6C}j9tiy+OK~b<$c|gOWfPa1xS3tj{3ac)QE7`c+m5KK!(3lER&%$L(A~Y3
zp=DtUzp1sdwqh`plT?2S5$nW8KW@^!&}ecfYu^NI-aymuf+&nLihVbbt5s+EDz7rK
zmdOd|tKX5jWk*Ds9jJtc!MXyh3;4<>3Nq%+@W@~Fuo!jM(d|qv;tSbem&lK<NJ$f}
zbE4#?CKy`nu)e7a*494WAlGT5pr}Bfsz9g@QwuCFYkY4<TLR>&NOhgmSc}bZG<>+Z
z?CPz0^n1A2J`6Bz(_>>ur3i6&-X)E1HluI<xvai9EqH*nbCs#**msve9EWYT+VJE2
zkrW>ROF5fj91Z{Oi8RMl9*+eN4?Qh6(a3RWuxna?^A!!_oEVCK%Lj>PmptQ;DQnb%
zyEJgn0*pLCe9*Pv#td2s-3swk`itr0M(<6F`=!us;8PW%cJXS2*+UD^0c0pj1^iuj
z3xs{b#q$F`bL7x=u5QGbHa;VlVof1aKQ(JOnk;1X`6=N70m`VpaIOg9eJVnq<yt)P
zKus???}y$(uOF@>pN9oAws(6=>pawCdUlDt;R&_t=mkvA-%1?<^yfVL;?bsGy!2Ky
zb<4qR&1$_d{<djCgD#hdh*A%XQpr_&<xDDzren;v{H%g1-c`jI@sr7ZpOkV&s-pV#
zRVBX*^PtTHwZeBcB7u<?xl9a@h^bOUoVxF5R|A1OCm%K9beEY~Uqk+E=VJcR&aL|0
z&izKw3T@}AK-;<C<&>U5aGx3{b<^5cVwjq77l1YZxF&%~Pxf=*#xd|%OnQ`Toc#!4
z9Y{gvIAeUxP`%9GAw`xV^pbP7hE)n&bQ;%u7T@Qgzf|8fs<<cl3+W=gFFJI<oBINE
zjF+bP3dvDR(;PLe*Xls={fP9ioejcS)>!LaG+T%!R$YOFip(!6`CZrUYbo}YFeXCE
z&)PXuKu#4qX*``IPPtyn<4^Rc7*qk{=3AdW%_d2Wfl*lU`4*FQ*p?n8X1^)NzJ|7S
z8P#pg<H_DLqkhD9!NPEUYU?_dnT*;|Sz!pLEeQ^&;m`;ZwO<e<+Wg=qt?AQXHt@IV
z%A%UiBZ^?s@On+)=NRB&RBu;(AmIo%swpc1^muCT!WwqQ?OAj<?d;_!pOEThAWCm`
z6i~Fxq+FO5`C}gK$^@1=&~KCY93VEA)uJwYAV!aP7TjwsyLY@Ypd3y2M%47KuVwIZ
z9fi)d9K7^8Hw^%061McEdxwNhBL+$G`#MKFP355*+-qU$Z6b2DrcNI*SC!QQpDwrH
zZP$7tzC036s3h#QnjpL@S$^KQf7y_l23N_~jdJEWZ2LJ=eBfrZolN;OczVS1vqLwW
zh2)Q&XKwDiLf;71*!Vav-$zBo@dj2QRstp#k~wD+uCVi~9`BFWN0hQ3uP=8EftLzg
zCxO@0XU{J<oHmW(t!>yBS$l07gd@a+<-%l%qOzjM&Sbg06oEY^LpIil+`Pl^8}vG!
zF321jEn@)gDWNU`uYu!|4`r!=yiM?<=EGm#3W?+rUj~%goAMCJ0gS*M))IZc0t3K;
z(=$%F2o`83igja=x8*$L2f`t<yidi4X3arJFb*xgEPT+T1Tk<TWlU+@2fug8@z>+%
znQT>@!-o%M6IS6r$Q9B`IBDA^RA%BU$n2?-Z=F=}c|)lcc#$yFn)JSE;>#St)g<1-
z_uK*~(jUHE`~Y^0Cpvj{Tvfx<(<?S+HDoVcW@J4KA9A~$Cz}Nl;}Gz?loxcXrV~-k
z!%w_j{b_{dzX@%p%j<K0wh5eIr!|w^%axW)Z0pauWhy8oM!b}>!6F;4Q{(L_9!p8V
zpLotkC+B1#q7fg66xL6fUx=@=rD>X1OoyjnOF7y>8`319s^YEn(`dfkJdHT%mv|TT
zrtaH0tJeiRv#~w#LC<bwdzh<2iK3r<Hpvl>l=coGj-_J*&SQCwC%jIBbB-VU@iX@o
zcULG8mJ>>9R=2p2dS{$Q6dD%xcR0A>H)?3ZS8$<5N=p2bY#6y%>!R5d?V*;CO<|Cf
zyso}s{^$GP^%GS2UR3!_XLRkMi4&j+MJ{{c54DT<zUdg4tIF4?%U-(dpdsfIhnT_q
zz>Z^qFjV?pU>Hr)t)oE~oR10&*J+)GK@eXIt3w=JCK1cUcZ}EIZ`B`Ih}v6a*mo|P
zi$56f%PDA%%zb+7l=%vXC{Ozmkao$MkM?S0Xz`=|Oij^i4u@+-O+%RFxUiy-bv}U-
z1BNkIJ#4`tr2DslDV9OS=Ygt2pr7crReP-Yh1yxoAAvd^P67}5E~T&Pqp7pR=?!Ng
zhzd8Lh3WeGn))K$9{h+`t^UjzN(5Q(RU+6@(fWSo>}<O0WR{)~&c(N>_K$2gL${&?
z!KP~?i3|rfq)dsFek(GYpPdTG6q1f7c(r|Ro4hN_bt&lQ!$RwMC3}?R)r)ql>rRm`
z@-X99gn=k@pFCJi7quU{*!GQn`7aJurq+h0`rn@-Vpwhok7A>lu?tj3@?-N%z^NbW
zRGuc3R9(p%zPWf!?y*xf@iF!TfMttEQ-zO;B>_p0!p*=v(gmKF>oFc8rtl7J(Hvfk
zD~ss7qT;-;eE8?gCqToip=U7Y^u04~@}K5i4$6RC5~hK95n(QY_WRGoef@14({S@B
zNr_d})ubfSK0o{bU{&>U7z@Hzv8P1ZO2?-$y8(KP=D*Ql_EWnvC@c^wE+*qGDUj42
ztwiCTKE4>AolGfzeECTEkSQ6u{8QXiX?0hzG6`rs$r4omI5VdNtZb1;JeVx61;<b|
zrOK)@vcB7h7K{^T@;0Cf`Oz~paawJhGQ6Z~aq|Kt$lu<0UV$)kL9yyA+I;ZL)zi9L
zVRN3>>9sV#5E<R3{F2=WfAgwM2Ge8cj1*&mG$Y_Ja*yz-%t7QTT(yX@7qAE}kqWf6
zk8<3wK)X%N8O%DmA|y0->up7u^zRe#Aq7)EAevwBrUOP-52D&K^%E*EYcK)rGo>ng
z5j25t$}KpFbL(3bdSU4JTD=KI?)j9`($!Y#^GoJ>s*6NkoY6?D%+&!5O!8lc#}@e%
zIUD@2;%EE#69^ll;|8yP?p0gdMef5e1P@jt0DBQ!F|t48l7HNa!uJ!|aa8q$>EN88
z6y=LtW$XbOAWO}qW4$$BOGxCm0gv+?q_BChV;%%mAellMRMI^-{T_&bc3Fna>Rob~
z4&AT>smlo@MwOhBp}ir(dPC)qD-uT*Y%J-jr7hIO?tLmsIEoJ!&g}iZH&<$vDsi!1
z9K`Y3GKJ<XImhvZppo&uvdbb7fAK8jM|p+#SOqaI_8%FA@^VQuzYs?^+a3_Q*`IW*
z^-#P(_?K6`-QRPQ{`E2|3=9#>zkUKRKu6dFpt<)1q<_7+_V1t-Y$%8rM5oFO3j`^v
zD#HeVa#fY#f}ewOUyy(>)wtop2!9U^p~DEG-@|I?F!}{_NC!e!$0q&rtsL}!-#nK1
zHv<KA0@A<w`Tq_oA^#1ES0`Zj>q!j^%(H)W1%{Xl2FA;d-PO(8&fFD5rHT*wrA`cO
z&D^Wglm7J|)W2^H6#Tulng#*spTF`@{vAXv`Wuv{K|u1?X#@j<|2O*`pneTexE>kM
ziVPFzwI(yHGRRm{4R#LtO$UN#vcs9lL8oXz99je<PdP3D3j?D92Lpriw_OfEMp{C!
j)}U-HLAWsG-wWWh+2L?heh-yZ5J7s{*huLrPmBH!INK`t

diff --git a/machine_alpha/machine_alpha.bdf b/machine_alpha/machine_alpha.bdf
index e78baf5..087ac0c 100644
--- a/machine_alpha/machine_alpha.bdf
+++ b/machine_alpha/machine_alpha.bdf
@@ -73,7 +73,7 @@ applicable agreement for further details.
 )
 (pin
 	(input)
-	(rect 776 296 944 312)
+	(rect 632 296 800 312)
 	(text "INPUT" (rect 133 0 161 10)(font "Arial" (font_size 6)))
 	(text "uIR4" (rect 5 0 28 12)(font "Arial" ))
 	(pt 168 8)
@@ -89,7 +89,7 @@ applicable agreement for further details.
 )
 (pin
 	(input)
-	(rect 776 280 944 296)
+	(rect 632 280 800 296)
 	(text "INPUT" (rect 133 0 161 10)(font "Arial" (font_size 6)))
 	(text "uIR5" (rect 5 0 28 12)(font "Arial" ))
 	(pt 168 8)
@@ -105,7 +105,7 @@ applicable agreement for further details.
 )
 (pin
 	(input)
-	(rect 776 264 944 280)
+	(rect 632 264 800 280)
 	(text "INPUT" (rect 133 0 161 10)(font "Arial" (font_size 6)))
 	(text "uIR6" (rect 5 0 28 12)(font "Arial" ))
 	(pt 168 8)
@@ -119,6 +119,38 @@ applicable agreement for further details.
 	)
 	(text "VCC" (rect 136 7 156 17)(font "Arial" (font_size 6)))
 )
+(pin
+	(input)
+	(rect 2496 1624 2664 1640)
+	(text "INPUT" (rect 133 0 161 10)(font "Arial" (font_size 6)))
+	(text "uIR7" (rect 5 0 28 12)(font "Arial" ))
+	(pt 168 8)
+	(drawing
+		(line (pt 92 12)(pt 117 12)(line_width 1))
+		(line (pt 92 4)(pt 117 4)(line_width 1))
+		(line (pt 121 8)(pt 168 8)(line_width 1))
+		(line (pt 92 12)(pt 92 4)(line_width 1))
+		(line (pt 117 4)(pt 121 8)(line_width 1))
+		(line (pt 117 12)(pt 121 8)(line_width 1))
+	)
+	(text "VCC" (rect 136 7 156 17)(font "Arial" (font_size 6)))
+)
+(pin
+	(input)
+	(rect 368 432 536 448)
+	(text "INPUT" (rect 133 0 161 10)(font "Arial" (font_size 6)))
+	(text "uIR16" (rect 5 0 34 12)(font "Arial" ))
+	(pt 168 8)
+	(drawing
+		(line (pt 92 12)(pt 117 12)(line_width 1))
+		(line (pt 92 4)(pt 117 4)(line_width 1))
+		(line (pt 121 8)(pt 168 8)(line_width 1))
+		(line (pt 92 12)(pt 92 4)(line_width 1))
+		(line (pt 117 4)(pt 121 8)(line_width 1))
+		(line (pt 117 12)(pt 121 8)(line_width 1))
+	)
+	(text "VCC" (rect 136 7 156 17)(font "Arial" (font_size 6)))
+)
 (pin
 	(output)
 	(rect 3696 1312 3872 1328)
@@ -2664,7 +2696,7 @@ applicable agreement for further details.
 	)
 )
 (symbol
-	(rect 992 240 1120 432)
+	(rect 824 240 952 432)
 	(text "cp_selector" (rect 5 0 72 14)(font "Arial" (font_size 8)))
 	(text "inst1" (rect 8 176 31 188)(font "Arial" ))
 	(port
@@ -2755,6 +2787,96 @@ applicable agreement for further details.
 		(rectangle (rect 16 16 112 176)(line_width 1))
 	)
 )
+(symbol
+	(rect 680 504 744 552)
+	(text "AND2" (rect 1 0 25 10)(font "Arial" (font_size 6)))
+	(text "ALU_A_AND" (rect 3 37 66 49)(font "Arial" ))
+	(port
+		(pt 0 16)
+		(input)
+		(text "IN1" (rect 2 7 19 19)(font "Courier New" (bold))(invisible))
+		(text "IN1" (rect 2 7 19 19)(font "Courier New" (bold))(invisible))
+		(line (pt 0 16)(pt 14 16)(line_width 1))
+	)
+	(port
+		(pt 0 32)
+		(input)
+		(text "IN2" (rect 2 23 19 35)(font "Courier New" (bold))(invisible))
+		(text "IN2" (rect 2 23 19 35)(font "Courier New" (bold))(invisible))
+		(line (pt 0 32)(pt 14 32)(line_width 1))
+	)
+	(port
+		(pt 64 24)
+		(output)
+		(text "OUT" (rect 48 15 65 27)(font "Courier New" (bold))(invisible))
+		(text "OUT" (rect 48 15 65 27)(font "Courier New" (bold))(invisible))
+		(line (pt 42 24)(pt 64 24)(line_width 1))
+	)
+	(drawing
+		(line (pt 14 12)(pt 30 12)(line_width 1))
+		(line (pt 14 37)(pt 31 37)(line_width 1))
+		(line (pt 14 12)(pt 14 37)(line_width 1))
+		(arc (pt 31 37)(pt 30 12)(rect 18 12 43 37)(line_width 1))
+	)
+)
+(symbol
+	(rect 680 424 744 472)
+	(text "AND2" (rect 1 0 25 10)(font "Arial" (font_size 6)))
+	(text "ALU_B_AND" (rect 3 37 66 49)(font "Arial" ))
+	(port
+		(pt 0 16)
+		(input)
+		(text "IN1" (rect 2 7 19 19)(font "Courier New" (bold))(invisible))
+		(text "IN1" (rect 2 7 19 19)(font "Courier New" (bold))(invisible))
+		(line (pt 0 16)(pt 14 16)(line_width 1))
+	)
+	(port
+		(pt 0 32)
+		(input)
+		(text "IN2" (rect 2 23 19 35)(font "Courier New" (bold))(invisible))
+		(text "IN2" (rect 2 23 19 35)(font "Courier New" (bold))(invisible))
+		(line (pt 0 32)(pt 14 32)(line_width 1))
+	)
+	(port
+		(pt 64 24)
+		(output)
+		(text "OUT" (rect 48 15 65 27)(font "Courier New" (bold))(invisible))
+		(text "OUT" (rect 48 15 65 27)(font "Courier New" (bold))(invisible))
+		(line (pt 42 24)(pt 64 24)(line_width 1))
+	)
+	(drawing
+		(line (pt 14 12)(pt 30 12)(line_width 1))
+		(line (pt 14 37)(pt 31 37)(line_width 1))
+		(line (pt 14 12)(pt 14 37)(line_width 1))
+		(arc (pt 31 37)(pt 30 12)(rect 18 12 43 37)(line_width 1))
+	)
+)
+(symbol
+	(rect 528 456 560 504)
+	(text "NOT" (rect 22 1 32 21)(font "Arial" (font_size 6))(vertical))
+	(text "inst6" (rect -1 3 11 26)(font "Arial" )(vertical))
+	(port
+		(pt 16 0)
+		(input)
+		(text "IN" (rect 2 7 13 19)(font "Courier New" (bold))(invisible))
+		(text "IN" (rect 13 2 25 13)(font "Courier New" (bold))(vertical)(invisible))
+		(line (pt 16 0)(pt 16 13)(line_width 1))
+	)
+	(port
+		(pt 16 48)
+		(output)
+		(text "OUT" (rect 32 7 49 19)(font "Courier New" (bold))(invisible))
+		(text "OUT" (rect 13 32 25 49)(font "Courier New" (bold))(vertical)(invisible))
+		(line (pt 16 39)(pt 16 48)(line_width 1))
+	)
+	(drawing
+		(line (pt 7 13)(pt 25 13)(line_width 1))
+		(line (pt 25 13)(pt 16 31)(line_width 1))
+		(line (pt 7 13)(pt 16 31)(line_width 1))
+		(circle (rect 12 31 20 39)(line_width 1))
+	)
+	(rotate270)
+)
 (connector
 	(pt 2792 1544)
 	(pt 2800 1544)
@@ -4694,98 +4816,182 @@ applicable agreement for further details.
 	(pt 1568 1248)
 	(pt 1624 1248)
 )
-(connector
-	(pt 944 304)
-	(pt 992 304)
-)
-(connector
-	(pt 944 288)
-	(pt 992 288)
-)
-(connector
-	(pt 944 272)
-	(pt 992 272)
-)
 (connector
 	(pt 1400 8)
 	(pt 1456 8)
 )
-(connector
-	(pt 1456 8)
-	(pt 1456 192)
-)
-(connector
-	(pt 1456 192)
-	(pt 744 192)
-)
-(connector
-	(pt 744 192)
-	(pt 744 320)
-)
-(connector
-	(pt 744 320)
-	(pt 992 320)
-)
 (connector
 	(pt 2072 1648)
 	(pt 1880 1648)
 )
-(connector
-	(pt 1120 368)
-	(pt 1880 368)
-)
-(connector
-	(pt 1880 368)
-	(pt 1880 1648)
-)
 (connector
 	(pt 2696 1576)
 	(pt 2456 1576)
 )
-(connector
-	(pt 1120 352)
-	(pt 2456 352)
-)
-(connector
-	(pt 2456 352)
-	(pt 2456 1576)
-)
 (connector
 	(pt 3160 1472)
 	(pt 3128 1472)
 )
-(connector
-	(pt 1120 336)
-	(pt 3128 336)
-)
-(connector
-	(pt 3128 336)
-	(pt 3128 1472)
-)
 (connector
 	(pt 3448 1240)
 	(pt 3368 1240)
 )
-(connector
-	(pt 3368 320)
-	(pt 3368 1240)
-)
-(connector
-	(pt 1120 320)
-	(pt 3368 320)
-)
 (connector
 	(pt 4184 1248)
 	(pt 4024 1248)
 )
 (connector
-	(pt 1120 304)
-	(pt 4024 304)
+	(pt 2664 1632)
+	(pt 2680 1632)
+)
+(connector
+	(pt 2680 1632)
+	(pt 2680 1560)
+)
+(connector
+	(pt 2680 1560)
+	(pt 2696 1560)
+)
+(connector
+	(pt 1456 8)
+	(pt 1456 192)
+)
+(connector
+	(pt 1456 192)
+	(pt 600 192)
+)
+(connector
+	(pt 800 272)
+	(pt 824 272)
+)
+(connector
+	(pt 800 288)
+	(pt 824 288)
+)
+(connector
+	(pt 800 304)
+	(pt 824 304)
+)
+(connector
+	(pt 600 320)
+	(pt 824 320)
+)
+(connector
+	(pt 1880 1648)
+	(pt 1880 368)
+)
+(connector
+	(pt 2456 1576)
+	(pt 2456 352)
+)
+(connector
+	(pt 3128 1472)
+	(pt 3128 336)
+)
+(connector
+	(pt 3368 1240)
+	(pt 3368 320)
 )
 (connector
 	(pt 4024 1248)
 	(pt 4024 304)
 )
+(connector
+	(pt 952 304)
+	(pt 4024 304)
+)
+(connector
+	(pt 952 320)
+	(pt 3368 320)
+)
+(connector
+	(pt 952 336)
+	(pt 3128 336)
+)
+(connector
+	(pt 952 352)
+	(pt 2456 352)
+)
+(connector
+	(pt 952 368)
+	(pt 1880 368)
+)
+(connector
+	(pt 1240 1424)
+	(pt 1072 1424)
+)
+(connector
+	(pt 1072 1424)
+	(pt 1072 288)
+)
+(connector
+	(pt 952 288)
+	(pt 1072 288)
+)
+(connector
+	(pt 544 440)
+	(pt 544 456)
+)
+(connector
+	(pt 536 440)
+	(pt 544 440)
+)
+(connector
+	(pt 544 440)
+	(pt 680 440)
+)
+(connector
+	(pt 544 504)
+	(pt 544 520)
+)
+(connector
+	(pt 544 520)
+	(pt 680 520)
+)
+(connector
+	(pt 600 456)
+	(pt 680 456)
+)
+(connector
+	(pt 600 192)
+	(pt 600 320)
+)
+(connector
+	(pt 600 536)
+	(pt 680 536)
+)
+(connector
+	(pt 600 320)
+	(pt 600 456)
+)
+(connector
+	(pt 600 456)
+	(pt 600 536)
+)
+(connector
+	(pt 744 528)
+	(pt 1088 528)
+)
+(connector
+	(pt 1088 528)
+	(pt 1088 1392)
+)
+(connector
+	(pt 1088 1392)
+	(pt 1240 1392)
+)
+(connector
+	(pt 1240 1408)
+	(pt 1080 1408)
+)
+(connector
+	(pt 1080 1408)
+	(pt 1080 448)
+)
+(connector
+	(pt 744 448)
+	(pt 1080 448)
+)
 (junction (pt 3048 992))
 (junction (pt 3056 1008))
 (junction (pt 3064 1024))
@@ -4860,6 +5066,9 @@ applicable agreement for further details.
 (junction (pt 2032 1088))
 (junction (pt 2040 1104))
 (junction (pt 1376 1248))
+(junction (pt 544 440))
+(junction (pt 600 320))
+(junction (pt 600 456))
 (text "from MDR" (rect 824 736 879 750)(font "Arial" (font_size 8)))
 (text "from general registers" (rect 776 864 902 878)(font "Arial" (font_size 8)))
 (text "from PC" (rect 792 1232 836 1246)(font "Arial" (font_size 8)))