From 09cc76c09a7c5bc3e574c3a9f9163ca0595c6299 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 16 Jun 2020 01:18:30 +0000 Subject: [PATCH] Add markdown changes --- .resources/README-md-1.png | Bin 7653 -> 14454 bytes README.md | 10 +++++++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.resources/README-md-1.png b/.resources/README-md-1.png index 0fc574aedd73b7b37e8c8db5542f81f3761bae1d..e8b295e7929202d00de1292bc67ede719bf15bc7 100644 GIT binary patch literal 14454 zcmbumbyQaC);^4h5~4JMpn@O>C?QBIDUEa^(%sTv5Gvgb($XN^-QC^Y-SwM~d!KXO z^Nw@g@s08M2m5i$TF+Ydn)jSnt?v?I0_Z6BQIL?3&;{S}N+Ka$8-vdVw{F5uSL+|5 z@SiIdk^`+eEI9+bT=TTvlykM6CUI_ygrj+@~LeU#QiKCRN&**V7laaWfny^1Wq{VhDOtg)VAV*vDJrYV_%flk;6Hwrh9V zkR}gT=U3;)iVq_=hD=a$8<(|VIj7Khaxo;tU=mu64T>Ja;tw$@51&dt&{@XYG zhqnv=@h|Vt$)<7tI^x!&)X!vN|M<-N($_`l&za!IubXZocU~htG({N@oLRAX?DY{D zxj)wb6qa~}shzN^EI*}y=N=qO>=DiGjyNu}rK4rOG{3O9x3{*Y#xVX5#(PtF{ z26OYNPC|l_JA8;6VEnTXOOchvI_m0L3F|Lhyt54rd3!RbjocCICLR7~4J^g%^zS6$ zntx^V>#VEs-4if(w}XGq_xZ0YC2=p$X} zTBu?{fFuRS_?!t*I%pT*hS3>FE3TG^jwmR{!Jr2(P@nO92mMzxCw$!$;HXxjL0{ zE2o>~%pTvq#duINym(R7&=5?k!cM@&iO*Jw`|@7uuh%jsf<~)K`82AJT)MRW+zHZD zPonV1o!E{N%jH6pLA~Cj2L=OYyYV6)KQawwsj1JmxR&h?NXuqTd?_yGvvQ;ClL&H> z96gaW@{qgr$TAGEPJiwKpVji|n>TM#2Q?Zzr+v6CrkeanmzJ0B-Mw4&?H;LovH6pn zoE%2OA>ZxU#@;M7E+l?W{OV9TjUvZWrbh1vJSoyW<@VMW=bO&Gzuu7|{r>%XC{GVd zz=wFg`YW=$l2UJ)-17!6Libqpi@}Sb91Q{vJ4Q1zvq(d-$)m2>5-Xs~Sn1UmF@;4-WRSnRZPn8kaYx(z{>z?UemK6BCd`KN?VVgCQ`KKJ(=#Hvk~<$pJ3IZ*pTzBZfQQ%I9MD}< zWH~if+>3N}q=BC%Ym{W9G>F3W)z9zV`bhD1%d=cK*X>Al0b4K%U~TWNCLZWe8ZNYj&@nJ9 ze#PLV{CyT>t?e5gUL!!_nu;U0eI9R+i#anp+iG}dvCuZXHk@0GHp$}lbCOeu?%Eg zF0ziwq{*7iHQm#053fI1ABDw|8?JQbij9p;wL(KfJKAm}SspKC9xX7^*q*5`Dk|~iTChKS_`oQe z85?`A)Y_S^(OU(si{#Cl=ehQWa%H<6XgBXTxMe6|Ol?lO2R*~{_uskIG+D@I?Ibu_ zVC=9j^U4D^16s9|!-?Lv)G=|+W8Yf$!`+1l)S>*<7g?1Tw3E)2?wwp}v5JjVRle7d zE8@jt-mHySg=)19%q}d5U0!@X+v4$5Z2qV|JUomP8XB4!oS}9}r{-K9G&L1wIO*j3 z9ZTo#{SyDpiqR{t`T1{dR-E2nAGOx*O?pva!qxQiO|3%79>>MWGr{#v$ss9m^r^lS zH9=uv85&_>;rY2{UAui0iD#KT2R^j#o?_1zoVudo;Vx5jbaWt=J|TgO^JIy%z<9i6 zYr0k;R~y~W&krflc()!;ZEL-7l3uTe3>L3O_<4C9Y{c8Bs8aQkL7T`{t>d{m7+!?T z3%Q+~8qNMsl*?@Vj7AHB?wg1@;@x`0tMUXfhjjg*oE%T~s{8r^KVL(>I<>au84`k* zl#~Q}>r-2si1Bzy;z+~9L^SMo4Q*|=w6teXR|`kmvrn;6h&dgaVtL&0Vbe#kSvSTd%LZz?ba=Per;`X=QA^&e6O!x zu|9t$eZjy0)e}`!wLkJPoCE<(k`Xi^UM6vC>0| zC2Blhpb#W%>w$X5m|4Ez zFs8k|J??YWHfW36TU%Ab!wNy{H<6L$=4WM}!rmJik}n&%NvFLh>?0!!O;P%?FgyGD zPQcboD@sg`m6g?VNw?fw)UdFyu~O@h$_pVfW@bFRkURAQW_+;{rqGLJjx&@BGc3#G zvQ!^G{JGR;XJLVQa)_b1HYAv;HzAiv_EVb5%z9H+bNtSOl5Fcuv7R1D=m|In2i^`x z)1znv^oTyLH##7*e^~l)-5*x_lb0wKtJTiK$1}GaPv$6`p|iy)6%xxUjhZfqD7%{B zD1TKAI?uJ`LjyXqa*^q0nCY?7RL$+} z^#cP1efy{kTZ%tzOns@bz!<{pmlOZx`xE4E_ zjA3CYi08(vF2$UgdY@kN7RSwsU)$!WrS^x$#p@MEZGOlY#9ISOCes@m9bays>JFq6 zxVgEN9WO*^4ZQQ+b8~SC49(bim71pf^s@9PwBh?10EJiX7rQ}u=!bdWJ;$|moNvJq z5fRbtNw^KA-_X^SUB?PL7q)S49AAI*{Myn|)82A#_u$|nbZQ(E2|;3F;&heLV5`*u zy)*CmAhYS3;m29e)ha%H|4vy@(5~CtaD#`3hgSL9^WPoy9*ZxS3xD#VB6~G_Ff?pS z5X{2F*+=#BtNayQsMmXklr$dGEU>Y;Ic!kXesQyMGKk6<_gPwl<@ySrk{=`ILC@sg3JYtD6`8$aWrZ0F<;TiwGC`f&HjtsDp{Xey=fjz~LRDC_ zazT5S`&$V=0#*OgGM*?Cl$XcX)6+u?6zF1h`zx+FIdstI5fcN(00J3cqui*3i8nnx zjRu&guaN^MJ3D&{POPb|Z9Y?Xn_MKcDvUv=sjZDSRwCQ^(rIsh-^{|IcSxr@h_|%L zi%?ExkWj7YuDJXVt=%E<(P4$r+t*buKCTVDb~vMiv%h=SI8UCl41G5mJap!=0Hfc08DHzH|h@uQ)%{ z-qr>{hN%J-2uY?t?DBnZD9=VFtLB@_fuhFVbL)%)^&IL!KHjKG0F1l%=x&k z81?oyDk>ULHNc|bZ1tByT1*ucy{&Y9mG=Yxhr!^5|$ku7YFwm6~IV1{3f7Z871 zIHq3PkgeHV>UqCE#Ck#j&_K)xooE=n$8v9sPNO$^*;b7-61lh&I`s44=a*dm0Rg&0 zT__kBCaO-htVkSo?A5*ET&+KFNc=->ka>7WBO@biH_Pu55fPEB=3=vpwGR!s5ObV) zl*zqQF6rp)&8_*URuofqelRK$M(?Up`Z339RaUXkxIIBIz-DjhUTZLo#z>xCx>{vL z9TOIXSl!rIB+fHg-^fUjS~v9Nfeb<{^1#Z?XK^X!1}CM!lUL}=%WAAWfDpf<*_bF# z^D_rJ_csx`PnngPdRo%HMB?B47Wt6EU?YbI2;O{{&KG=UV@a=m%07z&U3%@LE{*s5 z1<0cNy(hexzz@IeGzXeP{qqY73OekzGylZ~0Y7~fp~U09h2GNA@|c#^``fo$u+ggX z4F-{JVPFiJYyM%RaY=s;wh@7LOZxcn7x=B2nHfa!tEt6^MX^q=u6kr;JzpO!6i`zm z$4L<;gekv~nnF2$_2Ot2<1s1ecTZ0M`)+-G(g2B~wzs#dM@I=UFfc?!ggARu0nG^_ zXd~~F#KgpVI5_ptcE5Rg&UJEKUf;>mqJEq0=-?pTS&tJ$al7!T2&VCRQ*-n5Sg{2! zKR+f84xfVqJIn`s0)p;DVLS&1hb=gNe?JZf2ZxdSGnc!pf`7LDYgJWZfHQJY^|bhw zOuAi2@coEi-rbFd>K(b0-vOEhHu>#BUohn-*tBW{)2~{`TX?3;;}|S1c?km}?v3r5c8Y>GN+_$pwq})cs9Y zlS-{O&EZ$$;^Mw}dy_wTa^q;xz6aI-_@aoY=rihPuU>^hSDs#3Q5;u?mGF{eo35~8 z`C3$qQDiUm`SHu-l3C3Ds=k^}+G6B3d%xpcE$WfE{KQ9`#wBIBB&dQSS*?CRaoxRl zuR2jU1nC7cb7N~ODi;@*-N72AjTXNR^gn}{(xF25fd6TtJR82 zVIeaoC#NOQw7PR@NlD2i;5@jvxYQ~o*y7@ylB>S6IS0-1l7UH_`|YWFSMo78JaQ-_ zFXkUTIM2xWZS?88>)2QsQ_EYKoh?=JZGnL8rSZ^@-bSgBNo&gV3PV?lr)*a(Yc3~k9txtr^#@Gs#rad%`8slUdg6}3z zlS&+aj=8X{$NG~LlJ{6>o{xRE8t+~&yloRpscm%@@+;N1K+X9rSC^=>YU`AZJbigX z0q8E=$V3z7sF#lhhFF@h2TC43f9`{dNBgV8>GEVXD{*4pVQZ?o?D#~Pg?RM^i`#%2 zy=+Ia7|GMa*lcSPDkR%B9+kvoWa}&)eKxcxGNZ~1U#FiDYl;yU=Y@iUaQ4;>Wzohi zB*B8!yRaQb3Qal@L<@Rvt3!gkjm@je=(EZD-eS^jL_Dj{37#!VC1V6em~sip_T&W- zO|4KVQ7{l+1ZAwhu=LM6KjAs~ym9~jSfoXx|M6}(+4z2cRNC^{$H!rhs`pRPgj8?| z36(ZZPi%3ATDIkNn(6W`{Bz7XtxjGS?{fXdF4k=Ik+qU7cpO4~tez^}bFhlBj9k*1 z{h71&vj0o@>W1kBFMY5V;d_0`Ufk8Mp4d7Cx`X)ce;WFEDgk*Q?5u^6n&>O>{?2?gH zKMmb=JZ$Vb03Z1e+&WTIm{hU$bsdCkHRs+{oPT7K%Odv$(EtleiuL1K&98S@OMNL3 z{HrG$r4Pu+B6SYd4jC1V)&HsB<>ncFD=#Olb@NKH-u&DzTlkcUn%Yx1gqF@?LBz;i zvaZH;)AVTT!hA4{)A0_lRQ;!MaY6>QH*ek?8XD?J^q`n+MApz50N#se*`m94}ReE%70hwP%M&>%mz;v|N$GV2SAg;oTJsl3df z{(b)ChKX-rASjK51TRxbG#bS~0`ntr9uo%kv#~L5vz~9AougMnXmTAM6cG~F1%5-S zOhiteVUtdbBd^1mAn;ER+GfLa8eUi~{i>WD?eu@LxzkJ$p*uQ&^T}dSZ1-dp%XTq} zZ*Of_E~8UVt3UJ}X#>_hGnW{r6V)Ko$#VPTv6CzOUMm6;UA!|hk6CQ#!`DZh=T`cK zp%j0>Z3n<(td4yN7gyJrh39)|&^3?|V=>os1ruwtD?w1o?aqVtt?4&f!GyTD?}oY5 z@=NRwY1JIIZ@|P)NKV!;Flg{wcaJSbM3YTcoH&yS1L3%-&=ZPZXRg4 zxzU=IbrHhvm5#JO@`V-9tnOfkmz-)?ds>#*6bMyk=cm6^8i#W!T8(lQ6cpg5!eg8{ ztG*&P%PTR*f^Nosd4`RKF6^}47I{n$)Yf6Enu0I55>z@#DXF8S_%7CN41~)6+{lLy z)#2ipg6P%O13kSI;3)O!3Y*P&91>#wp|E&*x(hxt2y_)Ekf>uptGyXM7O)9 zLX3zfH#ZkHI)nS22ajLA3<9x|!E#CB>eZ{C&T<-)L?d3=?LEaHX0I9<30Ez*qca|R z)jve~^y#;sKOg%0`y*BbbUe$oAwL2J?e|7emxn2BHkS22aN45SLI9^=;o&td_a-C0 z0b~FiZ~L$R#E$y)vWnvb1O!?Qskg(4o^1~0_ythJD-`cM8_BnjqS+i9{))k++>WTQ znYw#2H7Z43Jj*Q7UvD-Tj_gr_HWd(l@(q`U2*g^nuQxfaRb{JRAXbdu(?(Tha%cXs zalRE#A%7(eb02%Nm+Nfn==i4Y(ftk3i2@=cdF|}%{N|yJv_+MMs+QkG>Z-iFD;Dj! zaB;5L&kBTOXz13-9>Mib2&MF+QJk3uVa3sm0XH}2;!M3wfnjruMx|ym>)6=X@+6lp ziPN`OBPBW5yl*8XAICWS{vO4Ku{~xntB|jsqt9v-!+CAFyEX>svtLMvfSA}F;NJ_) z6sIXshIqjd5grv6T&3A@C%cEPkC5*;2*hxHMd+z^b|+=08wQ{!hlxhi3{{*z{CX2z zXSwI_Xf=xr3FP9?tjY-?(=8E%Fk1JW;TF0|GZ-aLbCp$c?e_KI`9P8Qfb;SUpn^_& z_)7q&SC5@9k9QYAi{;nVeX3Mo_~_xoPxGxIuq183kj$*C64ff5T-@Ca7z;qPN)n4| z38a)_^lu8`k76>>)U4}>QtK(mAXIb2>4@VqV6oo7j&ZslH^LuPAVKgCNmoSx)Eif$ zg8*^PxvlAQ;Qd!WuCunSW>vNxPHs-`cFG0bZ~QOP?P>0+9T#E{mFIEb-WaO9RD%9{ zJmZn2P{AH39O9(WnMsRG<4a@3r7Qk9C8lU9l};R7 zmuC#19n&Ii5$g4&!N3-L|J7_Dc-}-TH9%;GDjeCeDo&^XH&ZY&O3S!`M**sQtl4aX z!@;l)wZd-~5F&mXjWYe*nSBTS`QP>T+P1dz8Z#3;svj9P<1|VI)XcJ?J$3Rd)P{H$ z7mh#3MsM6_)CGsdMB>R{BIN`p@KuFEV-^ALv#PV>*5RC43fPftsWKklez3|W;(HwG ziFPj$Y|v?_E`XvPMz4i^eu~^vY+(((`GdB$tY&#~^h)PQzVPw!;x+c&Hhd&#ip?Dz zvgnyt!kJB)Ejqof{j^#w*jt(w=dL-XU%jlnJS}Qkt^OLLb$TH2;ltyteMgi}1Pm9o zbIqhIrthDFi~~@z^>ou&QqfGy?r7@@*ZCd?!13wIOBMN)ll{HD>^#GSl7rKQb^~ab z)3dt?`a+vi)t&StjUwW1SWuV8qF_KHns?u2f)%LiHIVX zM*2}DvdYIx4|R%-4yJ37iP-Two@KQq35T4iahF=HR(Hk559J$RJ+EYc06Nd(Z5Tm5 z`352PaI8Ez9d|}e0n32SYrE5Y(LaIcuzlzw#2(xiIc4u7KCX{#?bvF~HiVCMFeBqIyA=9aq&$kadFWE6jIOky6AV_&f z)NZ2*F!LubUigleS~IBET<;&M?db5Hu64im-q_gtFO3>0h}eg_+9@{yG~ZM$954G; zNmavo8SFG#ub|EGQeks*OpxtlGD~evMF1NBya}bBx01n}%+;BsisH>MzAsv|zOJ-A ztW)~RQkR5|j^Y;RnnEq4BZZrFQ`Mx>*YrSiaB#FY15>a+WNdrZeS2@Oz9ls$wXDF% z`2H@CIv-1$y) zo3gb(E#%g%BOMf15cokl)ZQ4YPt_}08Nk3UW{TBnl^q&o+nIJZVbE-PTVj2f2wk&( zpX(p`^>e!bpMUAsGHMMn#S4!B5K5(4%h;8+JYDt7%g=vFNlA&6_a8L(;R| zrsC;mgrN5ZuOaS9Va{U?4)m@zvjTRI)Q%P+jM`! zrF(wm#rvwe6Hcd-V-@Gfq7fta2y6qFdoQIDs5LYKJ|u=r4rQs9*9Ft89U4fHt>ULnheL56Yd}DNw3@$btBlfUfs+Qi&%L^3Bcb)lBI8CF(sWV#e9G}x6edWaTbp|VRhd%w> z`caMQRZq`7%z5sMVYmHNIp3flJ{Zb5Irmb}rN+-e^x_?lZO?f+C+OclEh?ety zPILyc%?4L0&dh1x5WbYQg|w`J?VZ-kO!IP?l*(5iU|&bBC)1A0$wltxp!Sl)bha&+h zPnU?2&Hr{HRtgGtMhvUplujY3{hYE=;6gb%J=E$?t%tCHsCLqqvNHDmcJsv%S_{Q95ZwCh5W&ZH=thv zJMBsmWdpWQWcuhLN24$JnOvrCaBxGB*{rFhWgVEpdwZ5(8z?L=fmbOK!+E}WZW^yR z3+w%UeI!3!sW4MeT>O8u_kpN5FLWNXfEeGpewc?C#j>%Nl$pvV&HSmpjFD*LnWiGb-jGd!6O=8e=yNmm9(=(R(2k9b#XN9nQl(8~8scRL4)wXM zyrW*y$r6L5OhfS<0d86x&gh+5_osuespbV4ajke;p;TP`y@ zT^u99^HN!6rJ<(&+u#@)VY&v%h^wyLAX4JVm)X#QTRK*<&j#iPBtN*haS@J1iRE@( zYpV}5J<+#K4*kQmsrnOR6*VWqSOmwYvyB)Fd&~Ir3=Ck0AdIz>lar!itD66Al#Dh0 zC{AKDnILL%&ilk2JGC?4O086Y2LAEJSTPUGDDXx^LSKA_9MrFa+Kcnk%L$C*L2dn^ZuIo@9PJOP*#d56 zaX5PMf7w@KIRfg?8iNm*<#fiBWL#G{&1QIAb2w>5y@O)xjoDRIo!TOp13>V#xOAci zCg$R@+ZMwW@#~k`kFo6R#|sO%XhcV7Y}Uqeg_9lr!NEch7jQ%0UF?c=L_&m*hH_$x zEEaJoDSdzt$;^F!l}I_3{E{zTswG)Gh6i#ifCn3rL}L))763pHiV$|}$cGRFpecm? z-Vs$QS5ooszD*n8N9{&$FT;s50;7?lyF}~(;P7VKY?q2ev4%UHUlkM*(wwe&nMw}; zq&`8Abf{$C<8h~9dU`O;1FCc`#=Qv4(fy_E>*8GJ)X!uc-hP;QfQIg63LC%tklWO> zsj?VQd6v4daWybk0f2Vsgo@zzwYNSO&oVE2nF2le|Mqi~3cdfce-(47(EypITeoi` zc+hO457$R!s3iL}daATICKCKtU!KX){)V_+V2dGuK}1ALX49aA2EOipnpF8K63Oiq zJ1vGHqU}dhUs>24Y)GK1fK2kaJDwtt&aig9_W)@{&rxu3-h?A@0)y3xZd)7mEinJ8KG%NprajG3cRk%JoRnSP{!qU> z4}XI8wX4S*4k^+WOVAP}n}J|K!X~LCn!hhHS0I3n!Ik)0+F?lqAR7I$Hpq5?R$G&r zwjMILAmF{$%FuZ|=oF1R*7jxpA3-PDlg~=Yh*)^QD&HzydGuE=G6K|D0nGM=ae@%o z0F)(0lTh;-kr{zs<IwowWB20pnGidQU?0s5Ywz^Vgmy%x zvxLXHHQ&SY37=6?kc)lYw{1^+I#og$RGRGUr{{DM``=lOoEAG`^q<~`UygGM$kAPY z42D94-Wn}9tnmL3KaSl0Q*um*JDCfaNEa6uB!ol`obE5Z zysO-PKE?x7?2@E0m(tHEoWm?Haen;L<0n61e9`|AyF_rr>HHA_isdCkcRxGZ?L;CY zBlGq3eJw8^x^nJ)=j-igb}6Ol?=-g{J%23Gw1QM(%OB3G0K7Tqc#S2F$1nw6?baUO6~Af}a-; znZc1eVCk&{!cCj~)1q4dW{5O2I;sJ27zm;LNaq6U$_xfDJ$wlm+xzz(a%pnDMUQhN_L@3uX^qN>{v7R=%ZzJy;CdkZKtjT znLE1+?WE-7H(j}}e2R!5gplIV(b3fObnN^$*Sm2C%}q@Y!7OcRdJA@8(cdoE-ct89 z6B84#tFj?owK-7^9a=5lXj-%M6OoVASEw(u{R|V?M2ufSrq{+Q!mFD}F^+b_zj#U) zb5}6Y=QIAaHNYy_FNiA+7@Ou+0rMsJ_sM6;l)1hXDPCS)@D1N^b6-UQUBJfH7MwYO z&S(yhllx_tAZVEjyots6qKvBgznF$s9M9wA7?Tnbx=O80sHv&tODrj)qoWfC9yMyL z2jnC?6?I&RkXgQ_Pk{*b#*9@u$3S1iA|Mdd)FcD76RE1X`8Ej&3EbWi%*loZ^Yw7p z3?LsH`{~U9{jB1e41m;~jh)>GeZ}pcjQ`s%{gVQxk}&-mgD^n}2%14cZf8 zG9YSYf4{!55!u4Rf<}PK<*rOfKtL^|6{K%}{Qu-WgLj^#MgiVA;_~qD1ORpbaIswJ z6AbzU!K#WnD-UjKO)V|6%L_*%_jhTG#$%xfZ;1^pR^9n*+kHhcJTw#^ROlr?`*M41yW-a9yG7#s|th_?9xsMvr- z@?9v|7})66;}GFh)C@m@qz_VdPEITgS40tllb@fT|JN!1vds~R0V1}Ko?!YzIZEqz zAUI%53`s>r1;Rq*sVzCjM^}L}&I{J4u+7iSnI5bu^ee1EHZ}l+R*2R>WJ+p$4T3@+ zNAAeLPP>i>(Z{(#))13~B&+0j1lF;swY9dd53FYK{`khVwY9tl`sMM)H4kuc8^F#E zWwA&a(UQ|5G?HXi6)ZCF0sHk=$NR>*I%v;#KBc9lt(d96`GYExL7l(GlK2?92O^x% z5yjS9Y@q`XK}bmGhyIE!FYoorvmI0b#x)ZYs#XW1t*yeDL4A+FG)na|%1bGze zC4Dvw^z=gG6o8WQBJcIz6H4^&O%_LNj)PH?x%qkZ4XvVXi2HQIVKK@h9oqSDdPF()st&pg432TUvLjj?H<>^hJaL|8l5u3fuB!YKk8 zxWQm%J-8c#YR(Ukk&*i?S8aC}{KCUq07GQw<$-=(o332!4@Ci~@@oKbH-D(xdPr1#IkRrqbEWofHiannmp|KIzaTp zMP{Uckb|hKhqBcXF)!%#+cB4C?$I3fJ6X=>X}o19u5oRSI}k{2A&{ggf%Fmd9TeBA zf0^c4C3i}}A~knLOn&-fTzHw}fhMd>WhK|e#RbwC+-7P-79=viWoN&DpfI?M@l;pf z`$GhLINadbLB?|X;6Rpx#}QTo?LOnLHX{f#sLk#FogapQo$68wch3m7V0&@AxV^J; zb?Q4s^b`c{)+Wl8g7B|F%&jL`oCN9S9iq3eijc2PUB8KjUsX8i)C#-U)YMd>RGE#9 z%?*R(&ZpvH7FAVMnBUTNF%St3%4K#<;&3>Uc*)03MfC%&2niJIj;hbsWCRP&Zo!K* zC47HEGB;rF;nRJ%PRj3zgvhYN5Q2D%JjnY1^%}>4WxUXm2+ieWI)%T+%Nwxfz=PAsWQ*{Pa$9O+6hzj=lk-!ygZ?x)wMNc z%_ty|sT{Ije^{CIwK0$ayOiWDCTMXnQ zTg1CN-xPnrleL62G`w*F?(j9}Scv`Me7+x2z>}8$f5=?xN-IqNJxvOm1Syom{$t7} z1qDSKrUoLcxJgJz7$P4W5+avk?h*2C0t01!9qXM1m?xo(dj2cMGXUK5G5++r;N0K8 z9|L#$^a%+pb_1L-#`cz$ACPha9L#GxR#Xjj2y`J9T+k=R@`rHY6LzaKQ0xlX@2`N3 zR12MjdD0=b%?`zX!q@k%vWm(}TxY8w)WBl#it_^{#R9{W?h=5C5ObtGz=AIpn*O)2 z=97s^^LZ2qJtFpnfPetRJR#(?2y>>C#LojdmZ<;D5Z>MEF8H|NxZ9ajfvfRM}dHq6e&cCI-9l8ivUYfm>TJ3*pNBPs;}prM6^XcN|?WsCxvZiaao z+y<}XUxD#kRlU6d|Cw!>U{w8!Y{6cLpp;6=23Z;2I1mEX6~?HC=|jx%0a}Jg1e4eP z>R`x_Hb`iYYR&ynj{@mGJxEN$h|;KWx$T2fnS{6s=tOW8J8xegAo+(KBENIO z(upI0!6X0`f92=8^ym|n|AEne-Tb$gxRL_@#~WQ8|LyfINQ(T0@DX$C|L0qFml(!& XLV1pgB@*x=A(9}U7;h%``!D|w2NeKJ literal 7653 zcmd6Mc{tQ<`}en^Q0Tr3Ayh=h(qhXlLiX%CN%kyRLrmLESu+}B-v`4?gkdaGxl55O zg9$OAi7_#SAtU2=&GS6(aXiQG`Mt+`yvO^`d;Kxj_n7Zo*PQ2hoy+I^T#v6>8uRjq z@IVm6YjWkX4Fv5w44$8I?FXOx&JAL~v?s#GSRcZCJWhomu@aNZm+WpAE>Fis+A(%^ zf091jxG*6tjL>sX<#d+JdJaP>aJ}YFv1u8v6Zmb@TtiM-#*MoK%b{3-@qyc8WbDdN z2@mJJz@J=yUbj92JJBb2QvTkPbdIKMAL(|2?y5?()IHI6=ak;B-LlN+)hyX=r^iNw zD`DFU-kdvR0HlGg-5(=!vLCp_Ik?z!^&cnLQ=ZXX_H<2T&t5Ry4fwx&=|5UyEut1u zNa%+kjy-!hAh(BxseayC1ft*mJJJ94uRcCN+*L$7uK9IOkASEs z`tcE&r5=9WbrIs|Xl1Vi+)Y+imWQ98ly~0yX;D#w^9x_<5*iyKrWUvEKTxP{8#G>T zef@fQ2%cKa7wq>T?|lAw@1$|8Cw8_cSx#Qwe22*(qOsj|BO^A`(Nn?U?QSWlsYLC~ z&lNBH2J=_=p;B+I!_XH4I$^iF+M=L3OVW60akxSwZoQ`3vZ#)JXF)S=Z9vVncc4hq zu_J~)p2RC^=j>dIlyeMZER8W=@h6@z>FetonT{bhynA;=IH`LB0q6fVO&BICYi((nVPj*XoWP6})4KgU>T_t~ny7+1-j02Q z_D)VUekBPG{8~TmZhW7p7#bQHzg1RNR##IqgpZ;<&Cad>0z~_3@+BK=Z_-I?gSuD- zjU=b5>zS~yrKPM%O zcEoPD=-l}g=KcC1_d=QkaK&M)r*6-=L-XrYVv>|Mb)?F}+aqzyry_Q?A^csLnO#o)3YJ8 z(J2kMYO|tidwA8!_fBnLWu(Ff2l#bR(vaT5EEfm#>x#8?*2eM_Du7sBv^F_fYm3ay zMKv{DFf=lPNlP2`=O_?cgQspBOOgtBb)Qq?*4)GLiVDrHR-FXqyX9yaSPt`mL!N2M5Rpe?YY7ZC2+jWQE5H1Lz68* zQ5)Z#E%MG?VsEkBI@KI9jUPWZJn=aMC-puAhuey?w?~3i-0l$rDk)#PLqSR7zpg9;hf8+5_oqtP`!` zr=L;DaHF(iCr$D%_@rcrYuCk)6C80fap=}iGNvH3+j;HVz?z9gdwY9IMuyHp&#ogo zR{e@&jsD?*bTW2nDNsdKH7>mti_KkU9N2=B#xE2ML|aeofj9&~>iKmg9yQl2qpWPF zO3YdSJZfas;ee2dO8qEQ155hV}3W-FvD0Yn6=4**(3M#lrft(3)N$0?MUS3{A zWwCaAoC2I$l`B=-lC)>v{xdL`X-OipmedBaU6FdkxBD%5(|pj0=Z8-~FOw6ur^t1{ zH)1~DN;Wk$wX?P^V;ctBwUPfeQ{rqbMVMPW(>P`(78M>IKKkiXO@(phQVe0ch{>R# zfJ2)i5ZT%6(-ylJrq|NaB34&{$GfoejkHy9J&4gDN*_{0BhtUX`v9*MKs**&$N>GmK%}=FsbJyKtDM(Xu^U*$}Tua~>Y&v0c8sTEeIoafs z>ZX`0ZILg9BG#H@OUvr$coe9G<`Ah*r4-!Su1XrEU5$&wSDQZze-+Fxe4&z2zUL62Lp-}qz`)z@IC3SnDUp9{j2SF9ZdiQ2fvy8>F z27HNKn=|N?6dvvMA%iBDh6bU>`yjlarPp4_4WYY3wThelOXw*`7f+rXP8ZX3u+nCX zs#`tU4@L6+tBl{`Vipy;AOH6sv)BA@cltlSJg6Q&PCor5JfdTHjy$cl*bqAGNiHXJ8^YOt z&DX^cOEu)--;5Cu6Pk0ghO|R1lqyS@ByK}U5Y|cUH)}Dm(ah6_~-H^ z%bk{~hNTH5w~Dt?{_lpwbA1X122_8l0S&P9Ay;zaermhkNtWUXC#|hiD?7K(_H#JH zDirLu`(>ej>g=#dqwDIP8B)OU4y8Ry*m389IC%Fypf2iK9+40{skOEtm$nAk5s~5!;wi&BRj6@6v zbpODf*Bm{+N_LsJL%@Sx)KKn>`bPiwceqxXnws{UI{Riv#n*1ZlR(79w1pIBf1W1kVH}NaX!@OUHN4#5 zuQxON`kk~5yEnamEhVpQ`)`TLsQCHbM`XVSH7J~Kd~xUd1;d9^%6<;_5q}=9)1IoV z=kJSD9^7s}^O&2@qGZw*JuXm(!EA+h8$wW+@E<4cD%QuC<}J|*?5(NRA72IXN(eT* zp0mN84<)#kPbeK}{+*tUsI;f0NSW{@+sAy)FMsG!W@^f1>w|Pfj|;-eat(;p>+3v+ zF?omC`_ov~=C>iJG!?kByVK-zf6DQ?EUAQNu4vAAZ)8`MxwzF7uCQ@J9`9w^iTN%e zo7@9K+w(+xiqs-lRw%jU7f;yst}d;=CG)tDxcPBZ&4}#g^JqK!vEu&KZUBOJ4+EKD z%A@7z{YHVGo}960*TF<>+3!0Q^`$>wl_abqWoqg7D5vWgc5+gBS`|x~e6-4g^Vp(s zGfa3%rT45wH2bP3p{>Uo7iXK~7WxCz#i=%lmm2BhV-WO1ZZF4>A+PXPJ1?&Unyd-p zsp@ELbD1R;@;Zi)9IbnDIQ8}Gn|0_Q8*lFy7?H!Z;^(6c4JRU(KZys1s5Z~P;3klJ&TqHEjjsqYmBnw?E$LU8AwBkFfJ3*XQOGwSC3!f%LAiGa?v7jiV=8Lv~Pt zikM#q&N#xt}_6_bG`bl1kOd2Zi z=UmAdDXGh63BLc-!(JK(ZaL@Ir>va{95j8 z9dsciHUL;8ZJt-3EY5tkLEqI6C3Lw&ceuOa5=%k-rczNQwwEtIv=SM~dHDAglPZ{O zjl=EBHHDbx{jI?OC$8N-ge<8Wp2*LUc_AZX%xpgey143nmm?$7R`5Y(ta;sTG-wix zB#mw?;%U-y=g*tOZzf`jG;uVfql2u}-xyuityYa8%-Yg|VHBOSyJ@bkIy^K!bNhh4)cWQEU*l zs0PUV=FOX+<;nW!g^%wiP~1m=hK-b0_SrI4B!I(4J7RP}2j@wpR!EsV*v|_Pg-^%Y zulxO!p?Rx};W}iyMq;OnJ+iQm1A3(>E2}SDaU_!1DfgS5;*orukC@CjLqkLAWDu6r zLh`_7N%jW5Ng*jG{$}7QIrO06Q}om_Pxy|2aMJL{n+tx&lH_x84%n+7_bj<^qtQt* z?xR^&;h(j;ZivJQ9POa9vvc2v&O63o_#<)b8j4#y3%xu<6tWH_v$EJ8p3Fx9z#ZMx zq+gPVw|M`)Rzye3-L>`R$m1iiAa9OC~GkL0rZS+SuDy z$qS|i1_s)BdXhDEpPUSs#549GpB_bb{!UX3O|&vds@(c&5fj7Wx;D+(^{*<9Tg0+! zY#HvCG|~9P+sxe@%VI4IJHRZ9U^ztL2J4Eq)b4F@2lF(uh;N_Ejm4cSflVxmGz@@8 zy$fs!9H|Vz@3J&~T3lMLy~;c)CRQ^y2 z{o#XX)R&hYC0$!9OK3^W#XIZcY$>8htYURysl8l8)J2>=#ZTl;+iA2zclSi{T1*Up z8}~bK!{^JE$ht1LJ29mQgd*AEHvWQ{A!lP#$E-3ZP=O5-(3%^h<&bf>!bG(xCU_rS zE4in7cW0aSHI1)uO4YRiL8Q`Q8W;nT9s~^`Z|>AwMIzIAq8=`$ywVmp(jSb!hpEPw zd&DMN(ryMH96#;bue6s9987saTX!vf7RuuXxndQCVa#OHJPYB zx7_kjdf2p<%rMypD#~D^tKWgYuA;g>IW{zx3Bff*3M`m24eyJbkf95l_l08s+Jh32 zsvl}`ERV{+J@`(`XxKS@E}g0M!hc&jrlKN@57etPH5F}+bIZoKv}uB-QNj^t{qtJ z^tHE(dm8cFr6<|Y43S?@m6-6l#Se}whRa$BI!783xEPka#3z@m<90$h<6^hC-)uY& z`g9mIlZd;F>JwqSM$1UG+_^@MDRmhnM7lWy_2YraOC&XYYZp8bs}$k=80T`@*hOKMIkD^<7S8y zvn2sR-)yc1hE*nTypc)PYI+%>dWDY>eMq*bh% z<5DTs0b>j{pt=N6QpxX^yMJWen>8r^8kyujQLt6l5IhpR=7LE-gAJo03B^}SM#FeT zj#V{QxVf;tnV8t{=enzVIs~m>$z45|a<+~4#IZ1*BfvhXCm$5TNqf{+6I= zonX^5=sHgr6czNfb$8De5iN)syL*N4s8J5qR~^*5F_d=*{O!{E@P<-Kbke&JT=RHG zY=3|-!YJcWca6@TdrAMW!`zaWdm=xM^5dy^Fb1|m>Lo&pd!j`$%)Lx zEAU)mUm&tj2)=opz$T5r`1h6$uaHVX9}H115L)D`zq7i0wD}KcDA=&K*=@+hec}rM zIlpXtV*8aYxoICy#8d`-Q9lgb4MBVE=1c|V2-x@gzIZn#=_VMojoZU{*zJ%(9j4yV zN2LOls9Yfm@%pU0L}NBuv9Pb`}Y7R8@YxVo@|cMfQp020f=9 zZsSGoh4o7tCSo5O?6#im7uLadfKIwSZhdh!yZsV8LH1KTEnIyRN3c~2`A(zT;L||! z`u_FsWXPMqV8rwa9fp_wXWhg{z(ezj>qM(j%t%pDwUE(us<6(qQH&8hA$f*r`8;ty z|KqRi>eCt1D-M?*63~nJ|ItgnQM)B1&9+vx^C8co@7&<2wEurF;D7eSHvw(^HJhcl z7tuREjB)R1_8Sxz(@k`not+KWC_+^3Y;V$D4C>e>CUyh<0g%6^TeO5%=QDM4#sZQ3 zl+}D}ZLP_~#6(I;ip>pC{_VCr^+8++U_?}dCo2t-`KUu>2C%bd9Ruq^CHihSoMW^$ zoL@le9_EOLpQZxBb7-Lij=6t-@0+)8`)0!;O+z&dp097-i7M8LwPABT;Smu6fBreL zLdYa==w}YFiaq=AtUtf+Aos>d{9)b|9NKZO8?HBXaqk}|mX?;-Oa+yQ3IhDHM%b6T zQf#gea7_6cQGi$;X^!6vF+q48gPl2Z6>vZWYm{%_TDSV)vJu6h?zpK2*3NbiU~%)c z<68mO88h6qc=OfB)W+LpM|dgM21`&tpth{+(z9pJL@tJvZmdjC&5HlBdA^S8(hwC9 ziTwKR5BHeqsC=#1aJ|HfTo1(ywzLUPqjqFJZHvC!esql*96!aIw6ky0=q}e`OO!1j z%mLNW+tZVz@VVBWuirA zotRS|MLs@0;82<1KA}p%wY3I=!5qPlwC^qJ^-UZ+>*EgR*mMifnp;?;vuWG)^+*#1^7rJVq}Fb65fK<}Dq%*QPfVlo(u4gi+sro~V#}fcmmEbw zI>MBcYylZOD&%>mOfTNZt8{ZizuOsJ%012k>@l0814JAk3Bx<4S8r?ODx=PFn869o zehCR(?0%;qG{FpTbK~6!+ZxJb%26(D9Ws5Zs$P`qehcB%^GvSwnO2#+4gMd3bM(DG zT8Jns8nBg!diV|677|zyv_%cxBBG)`xT&e43czOqvo54f5a0whqx$1VSXE_Zq`##S z&B)LYFvUg)0Kn1Ub_DRI`#;2%zZ#nQ@ZkgBn8cO)?S%L5-@_CY$H9%m)2B}>!H@oW z$T5yN53K1>bn@iMe-gem`UVD+u#13GTx495It=`Ds&3Y1oLB1AXR;pIn8P4+YHD|X zKWondPa*kk2r#>4GN0JUr$+BCzMsJHm)>Pb0^;y0h#Gmp{@C4%Un!K@`g-#cIICTX z%GOOcu@l^9RD%m369nKkHIz}$qU2z(uhAU>5)#UQfwNy83zMboPq{`9O-M+1 zxgvSL3b)M7_EX>UdzZDcLttuZj-H8IRiq}-&`xWh^dzw4>e`xspdcVCBHP^*0TpWm zuC3NYbipMF*0U2_UV%oY7EtXAH|f_GZiY_d@frym6Ml8|^>(2D1EF|SNGPT@n0oXd z@pT-iH_hC4>G>uJVDR1yF_18F`za$TB)2117oHq2gAY0`fD0dXh)vv71)kH=4xII& zcnLP?qYKINeiuPJQ|8*{A7Hn&V6~x5et*$_-SXXwsRz{>(tCMI4^009Bgp>t|AFKK l%nTU+Ni?#*{r_* +![~mermaid diagram 1~](/.resources/README-md-1.png) +
+ Mermaid markup + ```mermaid graph LR Pass1(Syntax Parser) -- ast --> Pass2(Type Resolver) @@ -14,6 +19,9 @@ graph LR Pass4 -- constraints --> Pass5(Circuit) ``` +
+ + ## Language Specification * Programs should be formatted: @@ -574,4 +582,4 @@ cargo install --path . - Change `target` directory to some other directory to avoid collision. - Figure out how `leo prove` should take in assignments. -- Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`. \ No newline at end of file +- Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`.