diff --git a/pushdown.pdf b/pushdown.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e108bd790d3f1861f65165daccb6c292469f898a GIT binary patch literal 4915 zcmb7Ic|4SR`?iFPB3mWJlaT!}V;xJjv6OwuPR1BaW?_~r8T%G;s1#*MwveMN*+LSM zeJ!Od6(XrfLiIl5oI2+{=l%Whd;Xf|`rg}f&*yu6?(3GYLK(@!6_jBTku#C6BKsqU zUCA&wpa_sWPs6mdV4wjRi>Bg8L=>8e1*A|K2t~MxqAEfOuBwcLt4YH^bCTEpd1i;B z;vp{^z?h8o_r+l-fF+IUPoqL^R%DVF4TB{!PL&kk3Q7>Ror}bPq+!R7!LURxMiq!( z)c~Mfus;?64bW6Hp5z07R%jnA1yF(vY=FNU)c)nbuwz)0u|(>h=AZ$INQGW0fcmyO zXoIDYXk-i&Px&A57zRJvVTL98P<;V)6(j%};qX-G13)7@)Eg8QL-N8h%BE1EmJwh< zS>^Voq+#7X&6^HA@HCIcY6yXCt=JE z>pfhp0j!}iGmCWB>}0S_rO90;1Md{c8~z5X=7>E#!CSB2b|07ArQVknN9N3L-~Tvx!rApw=k(BYccfA^ z_kF*IvcJU~u4UhO+c#wAb#srrstZf0R=*lW3dxvh6s_yM?67O&*PKqRZRHzeaY;T>8bO(+n&-M>*+RgE7r-YCF$QgJM?qjfw`O*<)Ht>{rHNl{?<48R-VT z&;fZY%HNKqW?fp^DQ-%w?krZZSi~!x$(Fz7=NupjKa+DnBeUmA{n?!|^*t(*o1W?9 zOQSKP^gCDMth99q9mG=}o*X(N0nHSH!3;JU&4#O@|3=Zx%rVz4R{k64qm^%D%Wt;( zgo(K{cXT8=UHy7a{CnT-d4g-HOY(G0AF6#-EWM=7>x`su*n(naZdY8chS{u7<#dbF z@6Pw6G&I6&=SrXE-a5@8jH?hE8x9h?h18xD@AEA(h0KMAfVfyVD5E}+=c;jE*#C*}JicbhF_7YXB}m9vuyOAMbK z)5434jj|V2=?G4oFEy;WWq<9nrlVH4aWGHP0`Z=o70(fktCNAdE+i6-SU?lnV#^`7 zEfLnW5$n(E6s5E7dPw%z*ZAZ1<%4l&r7G5p3fH-mRt94sV)*lt{YeoF2KeKK{-lUM zm;p4!c~JltfWZhhfE&adBpSp3Z~!#Ndg0Leq#(dW5js;tC;}>q%5Hxn5e5nTyz~%P zVQjHfzy*ZZ63T!LqPoFABZxo%EiLH&!vQ!WiVgHr4S+M)bDNGp!yu}$EtNr>kQu}b zP5GqL3|H)R2ntriW_T@l3+wr~e{Y`33Ru}dpUK;T8wP7*Y z-DHxcAOq*zbK-s~lb9;X&L3r+RkakBbF_zi-&f*Rs)JTB8fbiwxUgbiQ z_kx#uuT6@63G>Ts>VM(0Odo4tO5KWPdtm0s8L=zRQDAzmJ>h(kj|T_yt`AJCc%~`; zsw(}x>qab@ETK=6@tOSV`6HPrHr`th#eMczNLX}DC!i2&s#nuZikGUX)h?0L5%rs@vb?UK2K zN-@o+>PU4(f;^#FY9!ok>)M4cXD++PgufR;iLSS;IfP~IX1ZO3tr_2lC*TB`+!mRw z8o$N&dVoxcmCZD6dVoknsJqR>895)>vWW>-Q|4ShX>fjdBbPhe;8bY8P4kQ8H|U_1 zi|QAsa07QWqIXCU>fxil8UL@lW^?1$MLE9HME3G-i8m*Jmkd$eMP`86;ya4A}FWG@*I#-7=>(}0-!OV>8 z&HkwGbcZ^#?~nG1ho@kSQHVM|>%Mnax13p&0VYFT)&*VRc~<`WJMP}+tz+VuVr9{j zO4t$L0iTKzNM%L=`vf9tuJ6ATRqk>0COhpquX41i|9)yDW=dI|Lm{%;W5)!ujUsnW zg!BhkkM5qB*hhN=ZQ`kb!J~tfv5u+2uUXj)c&!dz+9_e6Z^9y|yLjE^=E2gqg*@+h zmw74bfd;1C2DR6%efc&7LpY8oau&5Z-{!@$Re4yd?@Wo=*V^>~p)RTrReL|(pEY#P z`xwi%D^t9VFrCO^-iSTC8aI*@dG|gr(oYK#=j1(HmdaPag42DLDpDX?pJCXZHwxtm+o_Y1dsvD;ne+D;6MY%9eBOltBX!d{(;z)@zRw935B+aM)Wta-*FtGo z9+YU7ur~1)SCx(wKTJ5hbTnJ+g;*1CvCGJdhpgpf_EMiHnR|HhXp8lA8Aq8NQXd5D zWk;l_GOpG^MF|edcB^)-w=yam^MX(TCLc@q+`CN9l|Qt0F0{+1+P#e%sz#g~H$vJW z4T7u4NuSu>7z@a?C(Ia3TPI3wO8H1(>|#nSv9|Riv=O5Prv>%h21-S212(wAYLahs zwX|SjV)lvZ6FDc&KMoL-K9nas$U6Ua6|sTdplxWLls{>CvUx#rRCQFgv|@DjX7J6A zqbEk5jT()-EKwSvj|`90mIRhe4(sAFa4~+bPrn;fFZ)R4CZu#9e4ljz89z5M7NgRu zd_>v7_xM`+X@dyR^w*GiI%T`(&rN@%1W$xq?1S9IWkP zTHj5tRd^9qh4zgm(eSw;x<_bsmCeDZnEWYzsNA#H@c61QTX8d0U$PhT}a&B=SngWM~Cd5kbudO-*o z-=$imW(qHZ3nSut5B0FkHulEL5A3zrtDnT4By7evd@-{Pk4l5dpDbrN!H zcOg_Q)Nc3^NZG^}zVyyGPkvup-(k#3S$U@Xle-;j&s;ybPS%&ro$03&eTbd4&oP0+ zIj2QETUwi+e2njK5&et#0lU*0x3W>XFQMFA(n?Sd~l(W&BtUPp{9OH|fF~uc5 zrE_}yKJH`gVinvKPw+l#C)T7%51;opK0G@RKg0jVc8N0S(62ULI~w@7|0OAQQaZdk zJoSg_4`F6!=81^eh!Wk-`{|K%y@Km(dZT(gQN2-yt=fnEO*|g0r8chYp5vMejEx$I z7+A{t@*uhGax7gmg_DP?f-`(Sn%{cQU`s@UM_1HkwhFN(v2L+tR3_^9jgWl7eEu8P z@=tXJbzbT;!IXPCbhsxDC-6U{bz)xSzq&S4yl+EpqTXMt^;n+z^oH0g!{8(ZxiQDA z=Jj>Hc8M$rW4^(2@N@F#mXUc`?0u_45rs9T#dY}i3h()II7l3%3(JqeIZN?+$@HVz zC(f9^%+bo6$+1cMWOskB9am2AM)6o-vjvy=^V~IQZOJBW)+=cl0d^+5MVy<68l@FP zd{s|XVpTzR)|Dk!RS6iM3f5pesj{(MdAxrl;vuTi9dY&5W!sA@l4=@XOmfIMiX@Nv z@lWR6M?cY5THGU@Tipg-uDjg6>p?A?d%SUSptP_o#9^^Q!CAYxgVY;Y6H|lp3zw=^ zkOM>O6};Un)9eSY-njEQY|$l2FwwAGO|=ex^LfHEsi*37xc5b+=Ax!S68lWcO=V9^ zl4gm`>*>7?>8I$=E>vT0_vGRG?R)H}#}=PY)E<&@Q0NCmpNmvBQ8+NhT`5;Iue`fw zg?6y6O}cGbY3eNGI_`$Gs;OC^(@uOgIqzV8w%mKE=-HFT;Kqt~AD<4}7oT)+{z9zq zSndsJ+2~`>k4vOy(2<)Wszz#S;k_FT^~du|s^7MSO^3aWOkkz=ru6p8UzNv}`gxlJ$r>~FVIs_8!KZUl~+`~v<3*O$oA z^dX6*ltqza2ZE|=I}3|no$X%!B08*XPjP({G|u_p+ztL*i`m?)W9hVow{Kq$W137u zmb1=jQ_8`6q!0Lk@s+vI{_MA3-suFt{JeFCt8ZV5yO-O$hS&Zjl>1@VUvX@TYOo(- z*Ni_H-vDa5y%)++3!O>aOdob=s>o^F>%TPgXe(`c(fSGLrAgi4rmn`X^Y$C%bF~y= z|AZ4|AHDW<&QMe0=G8C4Vang`xGezM#}>3TK6tc7Yhotu9M!@8SPi>3fA}l9J*E$} za^$&jrzHI-sN=pKv~_&!VrFr>j_eQD&7Rlefh|E>2t`3nmG7>rTf-ICPTg#I`eW!l zcA5Hg^_zoGg}3{ad)DEUDfvahkH(BZex>^5JIk^<8DaBZ_pg3@Uz}{28^-!2W@YnV zV>j~G7z+DSnHv%z6^tW7(ws52{`Ka7BkB<;xSs$FMB%)>v5*{R=xrB3Sp_8Eh%^d- zR0RWQBq|n<^`^q$%F3V@3ECh~C^!K0A*0VgGcFoKV~n~O92r9+c;m4_07%8*y&#By z#*j%w0Q4kd8HSK28iRopJ`D82L8&M>3IHk)NmMVaHvp2ii^M=G0FOui4fmxHeb8hY z0gt9p0g&WFB4YiZZ0POC6vpK4_P5o<_SpY(5dUL0v8@U~Tbd_zdsV>zA-Q3JCO{=Y zLSefvf7m#q{k>688J=ip3GvtPzpWqsA2HSb9@7p-z*6LGNCY$y2L9|e!1$m3z90!A zW4&RD02~2R{Ph5;Dk@4UfH&|9LqI}?@c_hM7+e)nTK|o~5eR5O^AAi(5t1