From dcfd6f4873a07ce845b31ab25a0519e750cf6974 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 6 Apr 2021 17:34:01 +0200 Subject: [PATCH] doc: quickstart --- doc/images/code-ext.png | Bin 0 -> 11935 bytes doc/images/code-success.png | Bin 0 -> 17923 bytes doc/quickstart.md | 22 ++++++++++++++++++++++ doc/setup.md | 2 ++ 4 files changed, 24 insertions(+) create mode 100644 doc/images/code-ext.png create mode 100644 doc/images/code-success.png create mode 100644 doc/quickstart.md diff --git a/doc/images/code-ext.png b/doc/images/code-ext.png new file mode 100644 index 0000000000000000000000000000000000000000..9921ea05b6d8ea6e2276e1483173f3da45c57306 GIT binary patch literal 11935 zcma)?1yCH%x9^7qf?LpF3rTPd?iOHi2?Td{x8M*Uf#4Qgf(3VX2<{%--Q5;=`}^Oj z|E>4#ySHxbPHpW>ch8wV)2C1O=Nqb|0Kq^dMg;%>Lt0Aw69B-e!470(5bVqkX;~H6 z&nqKYh&b@_&nK(3APxX10BLbiRgbjeWgk@)^EQ^VOu_je3jQ1uV^$Q-WJ<9Hs_8Q~ zD;}=xu(0$EO%JT$H+(rNuAh4g-CUL@YY)=+4)?SsdEK;hsw-r9)pz4p5Y3Z6pVKl` zL~H%}NoXuTOEu0D_Z#6m_1;lL=)lhGBNEHSYlBSO`!bMN_FFc#i{Se*crgnhLj(%ENmdXxswEK|axh0Y5F|z{35Zc*yaTeM zLvZ|+q`HwsXmkHnj3=O6ChXIUrP0ZIXG`tkveHEok8@hQ%8;oZ^Kf`y#sQUMp(YjS zVI$l$+Db8%2FSZNX)7~2=D21iQupjEPReLJAOsoLl)uK+cRYjAG2t5*J(il|3ukF6 z9Zt_4_ao0SeuaKKXD2&nH-lqV@6c{q$z_2GL47~9^}lCsEB-f0vjTRu(st)7dkdjd z;@YENmi9M|`yKXN;_!e5GjuWUjI4d0bmV5Qn1v(B^O2HGvd#B$_L}WAto^&-ezH?L zJ&X<^oAS~!PA$?WZ0Uj6sye$*lDO}#uj)JK^ciVv=K^fmK!Cp`ov^ZP=)6{oyC4eC zu{We>0WKp+7B+ivcx#NOxp+CLjx}eVJ1RK$tTXYt(G>z$Zn#wTw>kSZek?svNP@{c zWDQ$9-fEXWSf+Ce!hP7{c$1shjk0!!1c){6Zhp#IWKf)QZ!Gm;ltKo8#I-BVOeRYi z`lV{Y4{Jnc!d*N?%T#a@8cNrxqT=^^2EoJ>~3e^FDYUF3Q9r@kbT`fG4w$lbylhsu?Y+rgev|2Aqu(E31=61XzI3M!YygK=&Xsl+qsYUnx0{^Uk z$w5zB5AiWX7CB1<%%b+%((XgEX{dld68H57pw>-ETe6PVI~5#x|?~3?b%Ev z)?)G4XI+bgQ{8qa)h{Pr`kBS7<)e$WwoLoZ>US%aqVY-kx%B)#Re?U{=3yPXuSZGD z6|F3lC#z^lxL%8Nh3|n;*@`hl{?P9)m|3MvR~ow| zp>l8zt(UwE%Z^Lq7dO70Lii320t?^yb(j3aPBAxlxIv`;c_~I^&U=RzlE{2&$@u|r zDDUZzRTt#X025t5g_X2iS;!U-2pUQlnf{{ZYI*6*F^_wdbjlL1u3>`MTvwXj=gugW z(%dff(ONOXuC991yy_;uDyr5_e&X52QoJM8;b4^e()o6)_ng{Br_IM4vs`oW2)*G< z!koYdPGuu(1Gho1cYR%DgQK>7pP~D5p)k_^#pQ0XQhJHZ^M{bs!OQNHMVrWcb z@qaQ29);{B7Z4W>6LOU{|%5+}C)W_DGxhZKuyvW4nyV_O`m zT+~ZGbJXqj)EcmdG2I^z;Vy2|h^ad~9;wV}d+|OEYm}7Yka*-ZmysQ-kZ5Lyv_;LA z^;T6$>YY3x69r#xzmd&t?!Z@cTzjtqV`c4QXdBMmUxr0;^&}SsE zRB{{`;KSJUADi-UxJ~k+@XqSnFu*k~m_Kck1x96N@?F&#h}#s2g~&r^4&BM54)&Yo zoX4DMH!i5Ybe7GTPEpG_ply}tWh$gu|E|62=h_Nxj`*sgDf=TdXQ7f9*s`oTc(wU) z<_zVfUzx11f0dh_=&kzDTX2%r@S!mzol3rnVTYV@c*!T4$E&JjxV3;*TgHD#OWjS2 zra!gDXN`N-teHhsislI$JC?^Va|RQ;-z@|3v13I;OABfK@zy%%>q`c0>5qP1jd(f_ zE^hOeXSr;@o_jL5wucwX)gM}}geC7@kU!O%ggq_y>p1%9>-s3_H7L53LcL3!DvVjN zi@9yWo@#Eaj(&d)q);Dv4f}pZ9i_?CWw(!|`(|DenMa;^UUH=*C?Sn;c@mfb6JbE)p$PvN62HD7a#l$>8tsk$~sqVN@3}@5U&S~p|dd#O@2Px zYN*z|JOF&xt$)@#p4+wZ0t>E-_x5w)*^o_1D9~TJcWw{;9Fl!r!dh3g`E*iNI*5Wa zdxh9^y(^=&^(}-F&X-V z)_sHLmXLApgJ%Bu;p7((^|GeDvsw)=abRm{m>9y4^VXmXZxvyXDVZ(*I$ zm_^Xsgr|6#|A*6dfc_+MQR4xoxW)S0t;HV~qlxJPW}n()a@4*f;)pDk=I1}85SZ(% zKWmb{sBj`&JSeFDO^^Uv=`2iEoBzUmwSbMx77o-@U=WRwE%;#qJkkdg1PoI1nvAw{ zGkz*xss>m3Km&v_anr%4rv328dGP+0#2}jqq=WCsptX^&J!Rj6*|6Wd1DFiNWhU_C z59bM(rKa)TTkRBifJwrMgl?nOSfbT{VP%Addlt6h&rygdcD_eweh`gJKHl?*@toZW z_gy1rf_np^^ExwrdKS6N@U{5q1I|0K6apD!10 z+Do>8+ie@G;U5vPwUEswunkI@%3)z=IqC)S{nok_+?B{){27+|F(HV0>2(;3c9AlL zW2f+o{s6dNdXgChwyPbm#m0ub1w}pP1#Af^IYKgh;4)xidvoc^-tvt^yHo)=0*@e3@s=VXN`33MOYa+_57Ig0=`=m2DhG%#WA)l&9B=d z;)pp9oHBrnA75ykF74YYo}a*7`QS%r;9Tv7U0nO31oB8;)-~eUUUM;D`<3~?=XCv$ zMzYQYW-$w{zM6n;;uVFcL^b0G;stIa+`S0AzY!gmxMLK!8YvVRuO8^Hsr6A``qn zmN4{e`=>rv>WEtLHAMJ9+0bykpM~Z2=4N(ouKn?(`5P8Eqfb3Z$${w{na6nteW)Ar!0-^=5!x@%Cz&pc8%P=LXFm1(B$gQbbd*4{pcd?uf()oPnhXlSSobA4G^ zSzexLnA6EpTb~rvLHlO0Ho)8zkP9W5f~Ww`!{Xs$c_HX zwZ4RegkJeAtS@kIa7ZzCS^Vy0ZEcUk@EP)HcN5h0zHBF`zj}FITz$Uz=je}l$I^DU zF$e2E9X%v5XA3$A036L%7c@0JMEOBCVMVw@#V;NX%bj^h!+u>{UMi;ZUEiH=a$3*k z=H^1TS^SbuQ{Hk2Cr0R8X;GBvw+rQL4_ttE4!^+Jw_eZwqt{D#iWKD0Iz1 zbp&j&sjh!7+Wx(^tD(@vL&ufEH8FydxMITlg&TBv>>P2!MzXfd$Yv)!|n= z$AS0KubP;G#&u9yC_4~=@=RUtjK+ObapV!T4xF`f4}X%KRYLxs;8$zc9-w6cF^e(; zQn>K1a9QHdE?04H;lKjJTXPuLVwY5F$Y*Ygq#gJ)-}9d=BRXY~mVI4F-v(vWcRYex zW--w);@RZ+Osz$-R0kUj4v#tzL@eM^M#lLHIt{WLRjc@1WAP{?2ItsJy`xHJSRuyn zIAYc8sc>C}ZsJ0nkh=ws#&3EN~_=^v8E1AxDWGLgD97|egxB|`C2 zmINZwuvjPKH7>0(#uqGFrur__=$zb6reTX}gXV+5(b{oqt{s%?&rCilcF=OaCu@26 zkvJN~*tj@uyQRI|65;3bs3@>-KCKlj@O@QDNlh)+ZSJiqk)s|O8QFGf?40LCmS3}X zr8(hXivD}M!+^-hc@kflw z1-<*G^Oo*cy!c~1P97y~^F~pCtB7h-!c&J>)Y~no{Cx`p&6^>XcJHU_x!aRvuieq~ z$Vf~-Gq?_WzsE(N$D0V~p;Kd-UhBh<{_{mg0K8(R&=V|nnziaqf!C0^bv6)&=cM$6Bp6Sr(80 zujF=DR{iWu4*aK9kg(Tn%4hYaSL<#YktBD21j7FehDzMI_}N9R#84vjhjbz2_KDCEXG+qe+=TZ$u@B>b{wGIVuJ+_s}s zXm$s--j0cK^@-ER`TqU8L-X>-R1()=MM3Mg&C4rGOVHF+Xh`2CCkKc3<8gg?+rvT4 zX9-$X*&<32T8@Lyqz)ujMT_Z-Lz8Zo5eHKRhfT2ky!J;F@^22VoHMC`tK~SjxSI|< zC2EJ8eNoq*J~}#S!qwClo~U2<%(|WzTcMu{b(-Cn0O&fFA1yt7 zSa^7v(QKph?#Xg95&(%J9~m7T?eEuUcC-ERg?Fgxb?AF;ZtjL_af=#Lme#9D?>WQp z!@2S?cYJJAO4w8RW2eylkDGa{phSY%6_*E#bJz?WrRF~3t_u?7&fxL*6`J8I`T`qh zn2E~<1^TQO45N7zr)iW#aA*P5=YKjU^9xVNF5-r=S}oM^$XJ*J(-@L{9A(wU-R?*| zR$R6D;De4`srr}~@Pi>?Y&%z#dN)n6v5P4=5^r!i8C0@(uPUjD5SQy0L@$asI*J-o zhJ4Gn@grON!tD4Qb0sxgw&Z#L+FLMKqt8B~M;GU!$}8CAFZGqVX{IvI?#ZcnWs-O( zZ}22gbJIvPRAd|w)sP7xWwAg>gil*lG9b-hB*7G)+ER1^Cn0+Ggq?)=@NoFz_@YvxVL|w1FPu&$uD)4` zatpU)%50L8D;aMwK~zo-Pfqqd=$gUz^RMyXK}H#wx)f}b)|T`>b0b(URX5n(7XToSmdPh7kcL!(qo#g^I7zQZ`0N< zTY!FLRUfW``n3BaalqIN&2r6zCe>w>8 zU?kvcJsk@r>f{V#M+%H|-afKD$aAL&>5yHIt{=blFFVKq&*0j7E2S|ZRH%{DIqza* z4ma3wXOx2Lr+QBue%4BRwXIm>1h6O!($V%u%QbCSd~A-fC-dgtK7e*DiMK^9GjJ<< zuaEZP_N65B^vrje2k(Cd;uymN-^)gPFAftS#3mZR_6h^aHiySDT zg=TI2IsZy5reA0aUhUbm;d8DEk*0%Y<<@MqdONDm>{~IQbtuv?s{XAtKRha_zSjws zPHTs}LlA2$xWo7WQTAx5sj0b&mSmkjh_h`fZmSAWJK}Zvwbkuj$MArjkCM)R(^SPi zl10box$!4Pklx*Ae!q8p)gtAgR@?+Hp)F1!cHc`@Ru;?tr<_Xsx|@!uqx62CaYl=R z6lW2wcHF4Y9n0cMZozgkJsfbB_sKW2Eq~O&wTb$W`j9Q@L5<2($|wC=QSFV_a&k4b z-Y9>cVm#?E<%s8ENBrp!ZICMENwd!)3NX58=B}!mIUon`zigA27sk`|f+aHFBlP9j z3nDAzZQeXx0)DuYYkmu$FHNN8BKA=a@b|JuL<-=!G;mXiNwVc;#SWk5w!@xEb|Yil}{#}xKn%uNP7vF7zUG@W{RpUDW4Jh!-c#F}{%LWYeH67nfuz$Ie#cSLYwXdvv_ zC`P>5xns_}?48vLFRSvrVYYE1zEPev%W;ODq#p%e#!YT6^=6kd6f2DNv#YiVp|`my zC@}?x`0LKOG@m{Xd}Qjz}oJo2JqI*nr4STGC6+^;_3O9Dm`b@=OoSq5p)g9u1r0+mn+pfRd?&5<#!B_;s@R zWFC4+4{vgfbdHWcRW!xuvdy8tWA?@4Sy7vSd|&;Hna?1Q-^*eWUwRCA4atZ&Uf*ijD}!W?eDJ?*xRf z9!j|8IEod2wLVfY3;R*<}FgzKtMmF5;jO_7QP!Dp?qps0K=g zEL)Y`Z(2GzEluCQc_U`sS~q_JO5{>kKTPf<+gOdH%9YvoZ=2|k=|us8Wav1!iC^WS z7QT2%|DKh4JYaw&Ld=P-TB$!~9>n3EX8EtK+xo)J{W2q4a@J>OL>NGL= zy&!SNM^)y3KZR+tuCD}KBr;w2bMDHG}`FUTIsCib1kmJO}=UA5UTt55W zuHnOF7Awk>sVy>R2p85~SN@?dEUGZ*qIhNKHeu%;e6zJq&mCQicd*P4-`4xaLHSdJ z%k_EA#GZ+84fv(bn;Aq>UC0+=EYVO$Ee?u)j_)lR+`DX{1ro*EQ9% z^bwMqf4nLhRri_Zagm_teyQcPR{i8`DqR~v`Dz`&Du(l zgKFr2n*!_l*KTao@Yb^2t()H1o@e8_A8r5SZ5aRLZ41LBpj?j6bUCy_b07Je_%T8# zUM6X|5U@Qn%sdE0dfO8d7^wp)=WWoHs%jW(@%%0@vwN&1)e*XK2NBx(W*5e1j}d{r z__oA^G*XtTI@dAzV{9>J8%Z3IPw)M6yv|@Gve(M-J&j5{(3GxH_8r@k{Ah-%@4yzI zSh*8*EYshVHk-yi^Mvy!A>d*Q*b0I35Lo#j8;l}8d3Sf`5d)+mBMTyxwBBEZR`IbP zS1m3VE%!y8O8v4`gJnLA7gxI@Q{I9v%SE4yp)0VRILg>i4if%jWIkD|O4T za$k1~ZEh{=eXn{3M?vTHZit?fPV5##OFyq&-u$jD0M|^2*}w9j&B~%`99Y}4D7r5i zc{oZjNRpC-v$eE7G;3KiZQ|F)z+59c)g}S}OsRjg0AVJSkLci_9X)X)y^KE^^Ao}iH9V?-^SUPclb7~` z)Z{R`^-vvDv8tX3oxgi;HkG|BAabr@aZY+-0M-8g@2 z-O zmlj@4AhCVeQ2fcXs@G8D>3-Qysu2_4&Y(W)d|%CCr=}hR0so~Yd4oe<*uR)i9!3o; zt!BO){YZUMU10gaEumc`T>Nk|hV^P?rQS0A?W9Mwti5-GZ@0{>(-ahe=k@2wLFvOc zLfIxk`5juRB&E=FM2TP{%1nS&T|Fg_Kk6tTWipKTFa~7V852v|JfowonH^{S8nI1C zS(J?8=;+A7;|@hrd%Cc&@L;ZL@{i7fQN`$Qeh03lox@%T5POATEv7>_s<7uhe%SS3f&kkG-Ad3}jI#Y3P6j&b zJzCe)a*{_lBUO^w*p`IB>o9yEGIfrTLRP&5*yAJucPWAX6ve73Xpfmwz2jiQ1irCf zI8yqrIed>PcS|&#&xT~kwRvKHP)i>rDOaWb-UHNhyA{tE_(bXkJVhnJ0eel}8)w_* zxZo>zeuD;`WrL>OJuvTp@5LEP$9TQn-C(EiD{veC&Z}n!w$}jgcEADfm|T51(!1zS z=+9g#2&`BI<<)M6`*^hyuNC zJFecUN0aW6MQ;(D%7X=|11#z0>a<=N>3w(uKjpM-(t@Xv>wL6YaiwbS|mTShEPgp4Kpk8rOF6b zUFLcN*tDyRYHhr1{4#mihmTHfr)e8+PO8I!Pw(-Sp)t>G6|8VnJI-E@;90NdW@Deg zR4^JK@UY@!jx_%dD>AQdv^?7?e=m_@@1|R9`*U}&`;m-bsy0>5bNyj`!Kq_;%5$0R zYhQ&Bn=X6FSi*Hp5;&H5~BYbNM`6U)!qN z3am?iMPaoRU&29@q3x&MCw<-g4>WmMPw6~2aT<8wH9Yj zipgyRr!7r^hC%icqkxN#-CY>D7#g9qebKlUzWo+miFxGmEGbh^*gHN6M?+QTyxI3m zw1YSILzo{yyl4~>cqp*fYC$pz9rVp+s$ug5f~whAbl}8nqw3jS-ri(v4==Z6{0mQ|P59iePX(-&d6|8N&2B zcCUaXD4|!JuTb4l|7Ll4(%+WWf8jafG8msj6^%XqCR;ydlaMUoPr=C)0D?eNtP7?{ zs6Q1=nOGLebtfpiqE35Z8R`#PM)5H}{lwpwA@zb?m!?^&wTC0}o`9T}Z#6;0Vsym9 zB3g=iCom_+^=wqczCOG3>#H^?anL_}FUhoUPjMDk-)H&J&)c;t5D^jvMPh^iQ*`)GWdQSA z6s5>|n&~=AuN$e?{d5$Z)IqVk{xH$hjs}4PtdB%Fa@v6WDT6rEu(;~Feo{<(B8l@x z5qB3icmT%rq6%ZC9t#NR?U{-Z{M)^}=7tJ>k!cGxE(#n38DzV|)M;#H9ugh%v*Ukg z6WBgby*lHusYmbri3sC(k`f)?Uv4$;BgUxZbWe_uf7c;rQ>30Z0Oi%y$1>)NLHj0A zE0l{@AOBvpS3LfUDNf1N|A6h(i8gB{K~{BV?(>9Y%MPGy!%xtRe^M_o)=WZ?{{j_P z@pPuNh>f8eh~-0li7jPBn}jgR__bLgXxs+j=?fgJ2F#kInWDbHpw3Q^z{81?d0$ww zyvK9YxEL-JCh#KnA!K=^tf5_t`tk06Ew}qOx%r<}dH-E8g1e7@y2S@;JOT<94fb3- zziPY-8h6I?K!}e2zTq5@Nk=emSBvq|!765{xSqE5HavdQ%F%+wM#m7NDxWT~Q2UU?(r@Q)wX{B!NV0Z52WzSJtha|W_|-dd<5 zw2Ue&t7DWBAgQON!7k8qpcw*Zyw z&_Zn3GCVSqfink(MTJ*ZZ8zLT=LwtunTUmG%Fsl>$_eZrOzJhdaG}*=fLR}mjViT< z10yz2&G7w`y`y}%25+2DCQuMTN(TgqEnVHJN%|yyC(& z%nIrfKOgi+P8vhRvaKdUPal;gq{=HS{0eE$n=#nyJ?}giBi`j7-FjK$cIa|t3 z;dig8w@ch><;x|%Vv~`Zs3$Jdcmp8g{wc_#Qqsw?B`fv7q7*|*7slyusayUvJz(^~ zzfaT|F|f1Dhk3-qUlGRG`bxPN;Qs+O1?z>vVn0ItFyMNvD*CHl-@zzUL1^DdE>lRS zvk$X`lclz`HVOF?G82KXJCYNee_f3mU$0!=#*_)G_hL_+nyX;)Y5wJM;`HkHJw$6v})6e&U5X zY_W*_h!^&O`$+g`@ePC4QHwxgkrds5?n4ja!p>S)kENBxOs%UiOfc{xQW)k^R=tJU zBJ0DO*ku{h7AeM^uixA>&|iJz#+^+sN;HH}i2azV`l;t>*>=d!+l-1Fj1A?a z{2#Qd|J^A0e=SrE}1i7k#=fD5wwGpf%v~y$^NT}XK2aqm;UM7L7@@F9p}EW zv%gl)uBTpvC8Ep3VivQ3Z{Q~V9~}TM2p>RQ zcWhy&mENB($_abHyM~4BD(1GhDxHf&VzjgsEHHKM&aNhq{GixeWnze%&#zT1)Na%h z=M_Z2;P=*F&ZqupN_W6p|I#-m!Q12XrNy7le|%#Lf)HeSypS-g`eY>=+R1K5(0Hu6 z*?u&r*l-qOs9^OCJH?oN5A({Sb+i5O+Y6T04UL$^ht3m`ATcd$7F17uW++5uw4Joo zP~gCrdHEdtlHIL>7(|d{fQfP8_PiUQ|DkQSoi zb1|Xb$%ISE;r<`ypK1by!z{im)=&x2GC2g1{8mk9hB1_plrw1DXw4qs4A^dWnu<_{|AfD-*W%} literal 0 HcmV?d00001 diff --git a/doc/images/code-success.png b/doc/images/code-success.png new file mode 100644 index 0000000000000000000000000000000000000000..9aaa7b908bbbe6296131adfe946a1a1ca52b7fed GIT binary patch literal 17923 zcmeIabyOVf*Dcslf(LgS*jk`6Zkp>zXrg?wg zT{HLIwZ8d(<`&&l)l;jhPCa(^*=JXUeN~b{Mv^OTA&xsVkX;T%sb1sKc>INdpThXDHc~i z#f8dS|NJ%=Hs`C6l}Ke4GLrOZ)O6_NqgPbLU1Iss&^ThxOTX4qeCLdHG&`CPe!B-U z$NK$R%%gV-zr5PH9Jd86CxMB`bCU=+TG*Fr@qczqoJ<*>)T-}vP^-4q3C|l z!B~bfH!m+X7M5a`P^xi4rm!zBNCNQvF+
    EO;T=4Hs6>^gu17c1x$;ywW1PbKJI zKW_wyKmY&ypB?f4W<^Py4So?B8qao@q{*^;eVV&!7xUWq^po>;UmB0?k8Wc*x#41W z7sEi;odGfm-fJx@)2$8Rhrf%#a(TS(2qRmLlMVf@r-t|2q-?e1XMw`RfT3I_D%_V{ zU3Q=VaQ&iTApE+@A8ae1%u2>r*%|yYW{?YU@@`L;)A7LUizjsvwX|84i(lDQ-uG2m z57}$->q2eSw#ep+m)(no6)ZkiCG&421X`S*YELl7pSC0l#$;nq0YKxFoWGZ-1gw6K zcl`xB15p&B9rvAllP}u zdZ9(RyWSGY+80XJ*Fz);DUcV!+Gp zUdP})*Sm>#OQxht^;M6fdwX1TR?g-CEg-^}hRXVOOF?jLqB+h4dJl*K7+M0DWCwyhXPR-qR`Abb`hZo%Zx zG|Y~_K`!~Jp@fB>>02GWy`5RHR5Eq%X7i+O6c;=xW=I&SZX0Mu3Gi-e!)I*a$lxf^ zRv%Hk)mk5S?-xAB$7NNeGRnNF4q~x&=3&&ksymMa3tD&;$NW3h&wZ&(eo=&1wDJDJ zxyo^CQ~t!`K)9u)?fclF?ve2CC8rYih=W__jQ98!vLi-?Z)lq0br5g^5sO9mUt~j z2)XapJFKHGhs|7#aP#{tcq?y3M}^1D<0s0a5-m+U#U^m}P21&!;Q3YjyL+2>m(lFC zC&b=!QES4li#d1Y)8Z2^lKJDDnfj_zZ>!1uy}F&S11R4O-{I=ae0mmRg<)eZu%(6y z%OjKj_4l$-CsE|E;u={0fk)lgMTLLqMM*s-?y;WXl6zceXexY4E%Dz)RNsAaSAxx< z#KBH9|87XE-D`NIh%wtoJ-3uaFdA)2Y7#bf`YX%FF2LdJVUUrDNh_J){XAI9@as{- zuK;bGW@rvbcaEUp)RB6GrCpI<&A=a6k<$X#s24vvC8wLddc+S859X4&mZr3si{ahh z%M@^{iw!-FCKuLY*E{rW!ntkUYdpwC)b01_nb>!&N~ABlLP-qiNkt2c2M8STXN-a$ zcEuVB&(~EA9;Q~1ES1edQ#D~zW;4rcRbr zvKJ%r)z8Uu@YhL@PKQQBxGT{Ji=o@bskDJ8*JnC#v(q#swRn@zo1bD8MnaQTzLD*p z3N$Nq)Jn3BFRpwiA3ESisT-n~?L3K&0e)dfJY$H?T3V**zLiCDiRuzYuSIXfT~@;t zRKPK7$=0GcRdx*()g=G(RUs`8vU%}JSR`gBhe zdD`_vOK3{gTl~l$ujAq|Ns7}pKJD5dF_G=G;_2F^}m;K)^rjWx@2B1u3ggOjgU6D)REK_jI}xZz}_#=2Uxo?zl>$ zqj~!)(umgcI4aj_ES5=rbBIR90Ca@xOw>kV{d#^Sf)q`S= z()x7QZ6!SFS{QMLrc^b7b3wZb{l*4D<$M!&&M+)9 z=jXDB!=xFMLYAn?I{iBL#g49#eU=~3m8AQ$GB21B&xNSe*S&wy6OF$^q`r#yd`Xhc zO}O*@rVEGJKxDJ)0hD=c#P}_hkuJP$?)u2HMP$5nXDhH{M-|h02~iE)%^#8lT8j@B zSflP6?WR!~$t&oy2Hx|W1)BI@%c3<+n(Xe)OmmS1vMy!{NGPbloNKs!dtB#{NRBqe z(!lANcX}Tf>G5glk;-Hz)9dN^8k^}GOIy;ehI@oxRlGo0#KushzIciHqS7JnmV%t<&Skx_`>mZruRmB?OmXJL`VAq@FwBc#(VAv}{IX!{yz-IcIWaijHq-p0h+`bFmIljAYbRuqiHrBZUftW2TQ@!O!Z9|(txuTseIn;$_<6==fX02n-4tBiLUC+R*bN|)-+x22&Mkc#| zQr&KY&hhle_PzM3M>E95UFBz+|56zBCviL7c^wrb`>;|J!7q|K+nyfp*&tr5jz1r% z?L_i4D>VhP@Kxv%#l2@E_BU$Hd9f5*?eBzT8r!M^+`0CUYxfCI zeVK(` zjT?>{8j2GBS``x+ZeT9%23^WJJHS%foNacRF&kd4wLa-0XYVboWoB9f;TDMV3}JnrgJu z&2iB=xgiMv@Ebjap)LRK4O1i*Iy!p$cvXmt(kwFaFA*vU8^}ylx^E$W$tt zO$Dm}09}NfZGvgfptlR}Mb7)@jrS-oo>%|bdH3I~(zT3CweH#}0RtkdXget1m36=8 zbSr#({`Cjk=Qsf%{_oEF|E#7GNl-}EANyzZFd8g<37?NA|HA5o-Tu#b^zjS&pMQ_F z$6^F0IUi=475Y0v_$^@-uAP1EY^xVn@qxzz$;n*4M``_)k)Le6?g^$b9gON%6S?ZT zpD+7)MfTS-c+30H+cLW7Ckp@UyLV(SFuKT`#nJQg`R=}tMY_@32~@xrWvoC5N8l_z zJjRCRGT&5xwn^extZV-&))kh~O0coxf~{f;27%U>Zi-qo)40cZZq|Jd6ep(}q&CX! z3$(HV;zA2I;7g7B0!Yh+4SPjZ4<(7AE-r=RDZV$`ZyFUSDNFC+YypsN#kk8ne_gP* z%S4Ln`Hb&O6#$^GbQKCp{7ZsN!RKTEXgZE^`!CncRwtUy?p=L=#Y^h9N8q?GJ4$iC ze z0JB|BUQ$3Hfs4Tk8%v;Qvg3e!@dND{%&t~#f_rhzwJ4k4Ef@M$-wqUI@AKT zJ%3Ahf$iObIymFHblHu8SDgrgswfh0BPx1ZZsk4UHti1yrfugBEX=v?BN6q#h+>tQ z5K(p;C6gzJhYhd=On-?lToXEg3hK{tb~NQz@rE7OEpDjCWE2Z-Kr^!p{j%uW-wIo+ z`ksyrf6Udib9e>F`{$aLnGFj|$2s-V8CfkBD45&Ljx$Yo5K$T)(Wn}3lw={2h~n0% z`ZY@0jR6<4^^KvqH8!4qeqlV$eOvC9ha^?am24YgX$V`e)W|G&vRcxOZ|$l2{V z*9VV^NGP4`VTTGbVP1J^{twVDreFAyPbzfrX1 zwxFOkAN@XIS4QMUG4E4Itf9zb+upkVDDa&>iWO?v&aTLI_eQMeXLnu`LLy_(vpTsB<-B_+!#DsfhmgKh{h zs-|C54Bvc~pW*}ZwoeK;z|Bh?K zZgRccVo{jzE$({Ap&|Rmf>tBSy_pN-hGyK9;5bo}{R9i4sbyT{vP);&AAh&XqeD4=48O*iLep+s{809^ufArkbQ#{X6)dAw{;v1NWPp1od{KQJ+4*1**vE6eO^8sTX^thvo9o-9=8wR+gYteu^m2Y3Flt_fuf zx%!??M`?%>Y|&pt-HR1%rjvBQpQMc#>}WO(6;-^g+&#^0Tc79f)D*LmsVGhN-%yFf zQc+GHxFY4HiIM*k^mzoujoe~DNG(g(I>Y zF|);Vx)j?E`v#r~rGI5ila@SM?#2?hb4;+i|C!_Gs$^6(Lh}G;BP9fLARI-8Q~OC( zCB>;&Wr6LdC#SJg-h11P40wG+sX`iuBcySkrK6bJYT$>XNW-6<5?4qX4;b^n-&WB| z_OyLGJb6blKcngLMQfT4s4aHJP;zmgmg$!TGN^qs! zhzPAgoUE{F$EaP9wo%@|t(Hi47x}K-i(Pe)Bu794YC~da?(mbAijdifT zaS|w*G!Ihvc%Zms2vlIfx`0s|F&B9G5G52ySumKtnGZ4=avK5=VLQ4xXnz_N+GyS+ zILyKd8?v(j>%Q>e*=}q`5Mh**Att;It6qx+o*L@vvT@v@RNe%W3BP=o4S(b98Y^I6 z>-db($%*j#55JY4yXiRt*dME8E932yer)DXiY%t4|4C?lFvOosdKEG4Bu+Kiua=_8 zxD5$f{+;%>6{ctKmXH%N;Gl=+isKqe|Cj}-6%OP~*Hxnk+&3R|jdv+j8qx7PxnhoT z23T-i&gEIbK5cM3W~sRJCQOsRI+H;IuKp+jGS;M0;L>|xAQc&JkG8K9kG!(U_OU*jnC`H5sGgX9^mAy$}=$7_kG z4$BXiuBQi`4w~yEMjSU@YX~~AOt}MOdF8sWi5N~t*ctD`zPKyjns#!q?{Dze0D@c1oM zd8kJc=^R>?Yh^ePu_{@3_z zWnA4PCy=vPk1lUDO5-<3o$HmyRj-7y>K?}XgPb}0z7Td+DT);{A^vJ~d#}%03Qpy{CF^eBT(OOh>VX{^2(L8lB}gEKU{Mc)5EZgq zKrO0Ts+2F{@U5CPVU?Z6X^|z_IGPn0&PbkgLsu(|hQLaMsMUT#pA_P} zu;X#DkSfzrP+YgyiCHql48AjU<4n$?^Gy+ihlW17gjAnaK z6G3MiHaT^J&-Tt7^8&`n0bP4+dO6j1o$G>i*5|%ei@Y00@a%MXX;(sWPPX-aJOJ=$ zLGP$1xMA?B z8-_!-zq`A;zpsR#&MlUeMd5QtZZ>I2^`374PR+J+pyrf%R*JM#6> zng}oG2Mn__JwR(+S6_r8d-oE+6z`Ej4Z2|YcnIk%ngg@M|RdH zUs{)}am)ykmeVmklNQTsQoW%tl-4P0oMrWIT4ap}1%lv<`sR*KlZA4I{B0hd_BK_c z`WjQiocNCeI{F=!2N39X+Bnll#3fOPGk%hWU8OY;;VaV{SS>G-?U%Gw;wIS@9^3Hr zX0J~g6S(e17s{EL+&Cj^oBZHe4byXutX3CV>dOfKS}({Hp4rdjv9Qu$&o^(Uzpy?8 z!=o8%Lm#yNKDu&$-kEJOzOu5SLWT_JN=YnmMTt0jSlqijPv@|HuXlj?k7S4kIjOkLK}j zmmpj-hMai&_=4*n+papGPXb6{e!Na_qIgaP)bD=*r2RWt-yhS^U@ryB;`Hzv+J;(yA3T;O%pw zjP?O{F@BG!a*Ijk_sOEgO-eD#y980!RNIYD2<=MqPf8VuYvV z=7-9n_2mZ0ZEBl(GaP!R4@=&M6H&eC0d@g1K<7B)>R%ik%gft^-p4IVa!;qCTsIkA zl!C*452@yHNT37@zZ|_#rKk369pp!trk_(e@^uJXz7J?XuAPvjHtLDBVJL$utBj?S zPqgb&Pca%BL8o|b7wJ4*yt-?kT%g2b*V+kp$cZk&JhSITiw|XH!T%d7w5Vd23g-Gj z%2rpPmSj;wQC-k{LtdFvh@0>gaogOR17&CB-iK+sK<2!q^5oLQSWPwywJCvb%jfwF z-JE?mmv?^7$kMnQV!$M`Xeeh?b>AL5WX{wcIhE5-i(lM#!qiC;oP zy_Zrg2I=J&=|H3NsMk9!7OBIs^pS6MRFhd`Uc2+pIVg{AvQ6m-jR!({sMCwXFV zeikn3{cuHj!OB3}sVys&0KG<*j~Xc7-X4VzaNsEu#+^DmbtUA6*n^-G7Q(DXI2K{p zHPosfKPOpOW%sC^uM+q{lUR*zz;{=17=QTmM!-FZ%jA7SWgDs!xRvF^+tV6MsHy#W zur(_zCgdwvNM}$tHw~vp!{doy{2xhRx1WCe9#7d-y{C-Q|L#{=S=L9k@}~ zsJ1zmx&0q&ljV_$!CAq?1uc7R{kZiGw{;-8#x)$*fx%He<%sO7;KpA_1=A=>W*__A zCF6ot0=or?EfUB~tDa;uB`yn;ai+g-o@5WcYmi@{=xAaD=&S0aF|>8K4Z>t%-0xOC zDvnRc{-NVJMWy4O1&*n6<8lcbTJQ3$zGw;;x<9RLZf-V^N2ERxfIb_k`s{mlloSqr zELH^d+KcQdNLr;=!5@Y}?pa=*{>&?HaR$nno{m3TVJC$a#aJ=q@`V0)&*9EdARy8_ zG{)E8UVdIz8#-|31YGA-GZ7(o+{kld7xpkad<*fDrl265tO*H;Py_%^z8H#xe01?` zx0Lj7COr>>cC4TQemc!6@>S?HR_-9e3&={n?Y(H<9%^Wq?CMlP@jhfUv-77eb8dJJ zB2=yIL(DkL=^Qk2k_e(fXt1Ua#leU=?y(+RUyXBc5%S8EvoK9EpCOz!IMmvJ55$K3H)H={mNj{l$Sft`@DA+G%1?ZwArr~VuIcL(z!qWNh-fG zL2gdwqmJ&_xih4^cgu;tP_(VFn_GdB6Rp;@NR6_?|8hp`dI>K4PN=|Bi|n^`il$5q z;5W^?U;rR5+9V~4gb!OqN-CIIj)=6|`z5g1p5Poa)F9#+(tCDhw%}d9$6^}lPDxWJ zm@6(vqA^-M&HEYy^DBL?67@X2-7GF}PNs&eV{LuHcSTw>YpiLJ5>qbZZ1$6sFXXQ= zt6~NWVIUIb-{noZf4nKvtSBunAFCEQi6(qiUGqP*0LKlPXz$j(7_5I!K)cJ8TcaGE zQ-f6Vy>ASi`@=^le++Kq05ZqJ=ay3PTSvQK@6mrauYf!ZO9A^)#X+aI^(Vfw046Js5$ zB{kUwO|;WuC%-%tb1waf^D|A4)kHgq%shs`8R@0CP-#O!&lP!ObTAtqcc)(`q77tK zej;K8M(5*>FBpL3&2M&g3ZiL3-Yy=$UIN&^M3V{fy6%rD*bs+wU-CCbG0)R^F<8>i zu!H1o`>F+Vpss2-RJ5&T>*l0dr2uo#tsN%9%M84xB9Hz}x9MEtLx~$&<6_FLReT+N zO}_$Y{J!1pye4=W4KTi~_Cw%KNy#>92uEl7ftTk82I(EFj9nxr_u+{Ph!q{CXuQ|? zc+9bAj+_xg+O_gc;>0M~Ej<9i$X;*&y1oN}ehtlC zNal4IrT2&Db7|F{I>=ov+t%!YH@T`OB^ zgeR715I1pEG(8!~TZA9xbheVDPXoFRK{aMFgFB0cz7;3(o$b&L*2zeD9!kLX8XBep zT*F&7_xq>f3HYPL-i_k8^wYCdQwExrC{N|5!t>vz(8ZS~%iiA~ za|Rcg%X7c!bow6JAi}N1n8sV`@1B_WRr_{_LIk#B=k^>jXf<>h@X3=v-<-Adm$xN{ zB4|ps=I-VXKu1ZJtw&4|_`tr+Q)Uk)KE6TrXk?$4uk#Zs67;nLUG6;}8UJHmt4v99 z7O5#N+0H*z!JFrXgLC06|Gg<_E6qdYRw<9n8oTUkybzB^aEbS{l=Ms;ZWuaW(0f%k;tV<;@-572UdA6UX)<`>fMSy z{OMS0RvEXapJkluPpOO=QH~pWyDD_zRQ&_@TcA`-XgN~~CFS<6EHiz?%Ryip=sa1Q zr9_8dUQRkMO%NB_qMd{TkNxvIa-go;kLg9r*9}n|n65L-dA9;nleMY;prd4G{t9h7 z!Z9!bc3W%WamB}VITQ9f)Pq7~?fRq&wWtyX($j>4S>TORn6*bg;17$w@Z)z8dB@?I z3_<}gJ5AW0i?p!~@#YA-J0p~!X{mNnZf|doMK9o0;hIZ0vuy1v z@KBFt{VolbdS)JhrF3f4MC*et7CNjG!IKVq`oRpt%p8`}(7f>%!g}rw?HQi;>1`$=Lrk zR%W_Gi}hNIJDGAsM8smHLHbemfA6Wc_mJ#tHhBe|SsnR5(3;uY--V5}8TZk-Fgxc? z9`N#vf1t#E$sms!0hUSSi0R!*;dhTViq8d09G9Ev;5++Sy)+kyR+t^}+XNW&!(DAf zY-FuE-o*MR7tWUMWJ4cpnvG+mjSTX@hs~x|D6_Q6$E?-4=bXCmnq%8~xE7AK^1 zFjeyFU%lEk*&2Q@&;LFP#egy%&$WU3mA&SC{rhpDj*&24Z9XI%n|3f>qpzZFl~e9%LUI zh$0Cq&dn8%%NHXZZuKhkb8TM>{@*Zz5L|Es8=e1pK`Y&7?m#U#)P@@oQ7<|$ldP;-oKe9ZXY~Vb(w;X%D-H)o=t zL^p7iv&ozln}9s#M|xD2ljLHW$THZb_b95>r}o~z?41DSb$ww7816^Rj;+*z+{+eJ z=xVXrADxyTBe&vos*Sr#HOdee0?9LFl;n5ZMZ zIy0`Ki$hGAFPY0dywaSWaF%&gf#IL(GpMft+yepE8WcOdZ}Lw9JL?_pw+8l6J4OCZ zKV&~tW>;YysUtYF=qE$YW#r(6Yz)l+t6nYre}*e5R`)?IJ3A_E{AL?37~A8Aa)kr` zym6JOq9DZYrb^~64x8XFC<~*yi(`hmj!k*t&PIBN1hf&|_`GEBq_#*Y#K&x{59KW1 z{j>_{+A9SDIoa48enN=(au2ee@JZ~8fd=<;>V z`qa$aUq}_X@Ait|BiPB$7eFv$CSUJ0f;1if4&^UYDY(w3=(|tn3|M?TJW94y# zmj2QAODtS_^|=gQ3Ev>Rzdvu#;71(ZSGsR;TrQeiE_$*Py=3v-zvk^-;#;#8Rh!p2 zxDvR}A%eavxU?3vS-@3=q@@`emQ<~1b5uH$7NHf#YeWh34?B1~Xf} zWR3|7!E~7IMuY7FE+-;-D>9n#7>!__RH@(~n7+kJ%cRuK9X{a$-@9)&JAd`1#kEy+ZTwTM7Rwhwbo@E#Y*=L7m z+3P^T4jWtBS{_*dA=VYxUc$@zv%6J#=k*EkU}K}dBWP9c=YsbyYDjWTEg=^ojo{h%xYi?uyB*l5XJTE>sE;bqpVah`<0Xj@A>CeyqX0{XLP1<8m*8FXr{ zz0}nF=hLuhJ58M)@X1S&h)2K-+>E-nNU)<@dRV|c;?S^ z)Oy~dbKpi#-GWQ;g2&pT?0>PtGIppJsRgz_bqrVg%xc}E7T3j#+W{f#;G zK(B+4a30^5_Me$}N>+_uwQCE5hK<_pocz^hAr*N2uOe%$t%BpjwKNS9B0%@+`UAL? zrx30)_YD8YqN?-BsQ|;N{oJohm_g#-M-7HW&vP6dPp(IskFQO5JIs{6`Uk;1QAu?a|hA zC~NAtboP;U+Go5+^!3ald&`FQ^9+AjhX1$t@v-U+{zZFLc41ro>>7$P;_k0aR#E}J z4>e%7^1}j6E9cpTeuV??twFvq+jOI6&f=?%UNJBos=mu*k!}lyer>X_U6lL=QWQ)U z5Zp1CU9gz=7}66<9OyH2)X*w)+6YhM2~OxVRlfP-?&XiHwi-*~+r%HFQNeu5d7#-@ zkm1YV$8=<#q%%c1NYpA{tu83l`*BEz3njFo*g4AE`1siN2OXg#iS#$vDPNyzyB0El%E;+=l-0UG8gk` z%DNOfb8T>}m?|d8ZH6@tGpf6M=UGpSxiPq+*prCAezm22(XM6>$8TA=-}A}=KaeI_3?DCnm=LTYC_55Q@}Ic` zr9K?2OjW=2eai;ssmD)5X%3LMvUZ~6Aub<}!O50(?2{-umMWQuvO+;>XLv*QKvQ1? ztG3&4fG7Wl=6K+4EcNh?^L3-ZuL9e*CoaffD%WN&`T3};n~Fu}mIq`5CE9I>Bqb39 z&P-^S`ju+tGs*WWQY%rPBhUN*LjZtXvtU8aAlu_qjB5Rmn@I*v?wK%N7BkBD_#l>l z2JV_Q64<{1^RsUT+yA`EB#L*O=!6dcyaFmLZhZD7J{07e8v7L*8k#d$dU(}5QDw&V z9!urpaO2FvVyMCjOi;I}uA(FmGNTl2SeY|>aCnt%-5qM=4>GeHSEtTZmxcB>e-^g| zg0I|+lIcG!`I8WKXBRJ@D!uWKjqQw?la0zwY{M>rb9<_B+5_tt=-q)}xp9Xd04IbO8FSA++f_XygWP*`U@E~H)QHZc2Y z6;=eFq?5VL&9YL;5H8nGaiJsoB;)88VOeQ|8FskiBWkmy`Uy(1azhNBq!aKj zxnL-L{Ec5(sB;wYGJ2+l{I1@cKP-vBAR|iwDvKx0SaRtyMOWDPu!vw`+cRuhYXPzU zI}2Nmg#}^#heuTxl#pIf5E;4tMxFqyE*Q6CMNgG=rFR%C zQWHZ<;A5x29}$h*ijKZEHfh~0L6PT3-4T=QX&(qO{W2yMMm)A+t_= z#hb4ln%nv3dz=dM3JLOn`zU98?ANilhpe-$kQ)Y-82pR3YWOvA8>3}8#^R0466nD= z=xci6zB<414zetN=$Wh4G_6AdWZWJycHK`P#?(g_K0%M5b3MlGYZ;t0lh^_}YzBF! z>sE&osCTeBb@4Y^9Umb=Re|NjMSK0Q&^VJS(KOkkLaC(K$PiqE-_$v9^mi|BI@h87fx0+=V!wke;xLCa!!Y#kPb)poRIb0DK06TX$@0Y@%(WH zJDDKpxT3d*legFZ=x}3U`8(4=RF`Y^)FZCz!9*tb1@+0-7g>HIFt#!<{>x>tI;|zo z_<4t)-&2hB7DJ10Ol4=%+m6}6|CUTnTBnKpFDhBPVZw;n6)P-#$QPHFP|If>ka#1V zM^3ekPRpVh-bZCRbC5O^CN_J*GW<;^<5D^oh~=W_<|a9SMJfu3VhMLaG?)*Lxa|YJ}St4lQfBP4MjG37k zY?`J`(dp!u?~N$l+KuJ-(QJa=ZdUsl(hXa?MUcc6WY&s-3LB z+Y-V$SIx%o79RIG4LdwF>mRn9V7s2@HkDR`Hsljoj0ZZiFD^;C9pbF`XB4tuZCGLX zqDOfQ|L7@iTl?tj+m76M8s{GG>g{7-A5!yLlnpTpDC+2lbl_%H!u)Ec+#YHn_mRjE zolEMAZsQapA$`?=0? zLocmQ4v#SFOVRAM*k zF!k(5uwcLO;&rsNsi+uh&K?~Cg|`)?OoKm{+QtgnEHxO^1D%>07kJgabWx#@{!3M8 zMonnNVd?DZBt3HzJ%mjGjQG&-w%%?ZQ%zdoo0R}TCL$*RQVhA~+u$(}$6Pg^uxc`? zoQLGWDV+3$v=UU@WcHWxz{#T_YrB9g6#&pAhkDVYBtv8tv+kD5>iT(y(D3YXq&$sujSg1B-MdsdKfoD_Mg@%ZGUQ1Au^Mf~K zp|V_RVeDT$2zd?8rb|-ASFf}2CRn!-eC_9(MRRLJ1)C+|CF`t{gds9r7CP(Tm=pV| zVlZl(-OZjE6W(=$7RG&lWxR&v@wNv-BDv+H;P2#k`AalC-a$zfro+0B=b-tHT2N5l zOF-$&>K`3M%JK1PjN%;QweYELO^}kL4|6Wig@1EjTj}bTe-9}3TWL1pN}E1W(AkY&l3m#sQa>wm8qEg8ReEv4-cbKzq0^0nw&M`*BsHu=|FA23Jq*)PmN(nO z*G8B;UeXj7x6@)>EFus2g?&`7#(-#?_S&9h78)I!&lvfu;g)G7>;!7-wr7oGAAi@` zw+6TpsWkxy5FoulgJSXK>+5AUA`U5gy^eb9FF%AtnzN}|&?negLJs&TnGzLZ>BH>J zJmqp{Wea?mAs%xS<&P_T+X0>XYA;RSLV#5s<>r)f4pmm~BwjT!n^WN~P&}U59wf7| zw9}yazXC)ul=C@QixEHq=D)lRnjj!#c%SqpX>TAwu2jCht~id_uWK`%+~9|T_NOFvK00>Y z8?O|M95JLo&&YJ2AIX_RemSDDKoR4XX;7;w7VCO9Zv*VomKyWjhqaLUT&^JU_6ER}DAnH>Nww+!am~AV-B)^B2p8(l$5j-(t zZEBPJ9L5P`)J{AsU0SHrWt}yZo#_1vB1+oxYBU=Q+SpO{HVq3EB!lorTMcnDb7XMV z7x$%w47(`}U6*fE8N$G2{w%RV*U%NVB3m}U=2WN%|JqhG@lX3-JNzN~kH3|7pIJb$ z)J2?9k&JVuu9P3+We8T%wN2hQDq(>)&%&A^ulecKO10$NXx~S9$t3q_)biaMms0E~ zdb#csPtT6c=)oBL;dM5EG}aG9M%i>ShKxf8$e8?{NFoPO4j08>7Ju=my@my)bFFAc?b~< zJe}A3Vi!v;^?A7eKRwzb=Y}sU(R*rPyS{d+cK0uwA7o2@SHf5?9p3}4Fh&OvIttPM zB{7aUsQ%~ z%$+Ct?9l)HArKdZPXDI=9R9OuH==nw+wU)1&C~6G?u|y5`O|bEiCE=}Y=trd4zLOT6@H7bne) z%%Sbs5JcYSU2p}3$X(enpK<_H=OlPiDe&*lCg?Ij|K1xN!hi2F-(p8RK7%A_!)JSV ziHS*6K-umrqiXf8>Snx0gZBBvIthtoF@qbbE(iN@g0<5;&t+GpXc^Bn*FH<-u#lG` zOl~yHJbw^J=@Y0CnZi88v4f5NZnN~C=ZZA@MUGC}_s8h43WE)4Pn|xlMN;BrlkW5L z3z6Xn=}%`v1MekFSKEzWTiLGK^`F9RXMWOhnIlfuB$O6X45R~jG+@Q4ymW5MAY09m zRcW?oe$Bd9vTix(fQBZn8ptXAeHzCH9*SUN4dnkLP2Zilibh_aQV6K|9Zs(cQu|kBU}`x9HaB9-Vy9kSOG1_lCq|4BM5N7D zNk4*3V=9*~{vGSNSFr066B9oK1nTH4Bc2brud=4ebzY!|4rvR)CVK$VA0Q7EVk=@} z#ioY#c?W(r7c}Hm3s=VGU+8xEfg5^qL~lV$1stkn9z}L=q_&2t5nfi?<9K9@;wZRH z$Q?tzQ#)ZK?X7iGE1MS-b1ad!a>mISIC&CzZ|FNrE6`kv1(pH+DF2&%KJo0lU#np%4l#Lde*3RDc2ls(sgNjc1;fCBIfr{skpQ6%71o?a zFrge=gfiS{>TjR>EazOPObktA2TIr_Ei*y~4dRXaC~|gP&!S;#vP^Q&JM1&65PawL z(Egksj>;kFyVR#WPuUSzm~yH??t1t91UI4k#_a%K5{ur#!KgHIsrO4x8A(>7uL_cL z-E0vpelIw%!bsAv=Y;}N&%MMVq|`ZZ(VM)Jw4YVTT!qwOq5roCS+Y&&T4O29)w>sg z&D9hsXKf1(ClnE`NS@oKPw_IJngV47;uh6t-Wf>p1@Q#qB&+ z5ta56DaJ1|*o8gC0F}g&V{kHDmGKl)lEtxW*5bv&ROEg;rm|zJaW98+cSI3dFSW~? z?QpuIWXWkTQX(1a_N&)&tYfqy2Cl?BhyE9N zfMaE2YqcpkrRf_1Lbdpk1meW&Kf4j>{<#0jeJM+)&7WD!nsP8Ue%674#CfO_Sw!>C zlNylrTJ9e@wbZeAn_*nK@SZ=NM*b!+0N~A^=l2501E%QywFd$PIm%GR+E%qUJlSYc z64z2M&+GKGSTy33_3Y7>3zmXBI6t^CxqH7-<=l;+b&p_HQ||9w|GY}6`g7fwxg^~l zc?_sgBp^7NVYus8`Ctoq@0kSHJIs08)lxli@habXcHw0 z{Tdfu1q!TkFTSIF{C9L$1zeXA&2jEb^UJw3HVbRU(Fh|92n%k<_T%8`8}xIS=thn+ z`e@YEi!Jv;G`qti1xKQgG{UD@1m%Ab=-ylMRT>NJPygIjN1}Vn)2QE5%`7-X&bE#5 zI>>8KPx-w2Q2W+J;&SvxkQ74(G(WDX8m4xm;Q}D!{Z9 Open Folder..." for imports to work. +Saved changes are visibly in other files after running "Lean 4: Refresh File Dependencies" (`Ctrl+Shift+X`) in them. diff --git a/doc/setup.md b/doc/setup.md index 400e975d6f..e719fc83ac 100644 --- a/doc/setup.md +++ b/doc/setup.md @@ -5,6 +5,8 @@ There are currently two ways to set up a Lean 4 development environment: * [basic setup](./setup.md#basic-setup) (Linux/macOS/Windows): uses [`elan`](https://github.com/Kha/elan) + your preinstalled editor * [Nix setup](./setup.md#nix-setup) (Linux/macOS/WSL): uses the [Nix](https://nixos.org/nix/) package manager for installing all dependencies localized to your project +See also the [quickstart](./quickstart.md) instructions for using the basic setup with VS Code as the editor. + ## Basic Setup Release builds for all supported platforms are available at .