diff --git a/pushdown-noopt.pdf b/pushdown-noopt.pdf new file mode 100644 index 0000000000000000000000000000000000000000..845bea8a64f1451db0bc6aa638d3f070f2079b94 GIT binary patch literal 12255 zcmaia1z23mvNaGwaCZq4f(9KN5+Jy{yAG~{2MZqD-9m78cL@X!ZowUbTabY_ESFiGYmlOh5pBeq=`{Fv!pb*$p;Nxy5$zJ?76F zJmuKH*@o+OiiiMqSRKOVQMnjQAgOS5HtmDYaamyjSrg*LXVa$U`3$0RhcFI8`Lm|3 zOV6HUW`m2m@{<5?m+gJ-`)@Z(F}oJ4%z$89aFvCTkuc z7tUAH`%gw{Z_yWCC0WxFnFUf%A{Wx@%)UXqgmv9LwqLPB&>^bc)%Q8_c_99r*CAXm zduQ0`I%W4us~}hxMiAa$-t##uT@WU2 zs8EcIB%RYhv5+q~6hE{ct_)NsodXh|&x?)m9~{s4c6wsG;PKz?&sLDUXXrO47N6&)&82y@Qm@) zMS93&UwljMsd+|U3l0L0h84CLPUNB%KRM8Y{5hWzf|YVlojV&>G#(?yH}*%D2sBUg zmA9`JN!vAU4&0MHfZIZ)axX*sNanR0&&cy7IMZmZG^%%}aNIjx^5IwBot`ShU~$j%L* z%>o5jIk*9=TpYT{PrM4pS`V$rFYsC2@L2U8e};-dKb8ODT;`0ErnYl9hY&OFQ-EKHCN_$ z8fNFsj=g4^VHEED;JckPU_Y{FYv3Lobm?H@4E0{a5n{rkYruA{nVQ0j{}O?lx^Lr4 zNhy@*tGPO2`e@R!$k3rc?Kt!36GOozOo;%4EIQ5k&YPNG3oc%{<|`5FBmCe+0v&4* zkQF~0=}RfaMsJ1nRlzoW%Rq7x^=3A)<|t7sduDix!g4CrT2458woWqDs#%Wb3s9Si zWGc+oHSOf&uXGt07Tgs5;T`I1>kw8^T%x0pGdLK;_+Fk?FnZVxk9j7HTfW(5D13;d zQ9jmevc=Z!H`CkG8s!@!Abos~?Aj+cnX!vn)JPVBj}>-_qOeq&HYw&Yhh?OPhnh3n z<~JSlD=)p3A$;FH+^L>Y{~XH{4A0bDvHn@g+=dTxMX8lWR@0uK3R7!?@P2EpRQ?zM zbM_pjb~*k0WstRAZ0|ZM4NBP0pVp4BSyoK+yIgl!es+T$K|I$fLq~UNZ}SNRd|ylA zv4KRl@(c2%MTUn_(UZnZAlI0W8=X8BBLh7Q=~%({j@+dS)zW8Rx2P6FY8Ktej2RN?-ZA>8YxAs=^vX~0T zDAo@TJGbO0I-#~}GJ+J!+gGSjCSa;B3`99A0oGk`*wHVXJ|naHGO@rh7@(1UWV3&^ z41fvvD1rGb@fni@oW*;KqISRX8LXGxq(>cj`jIH~z)h z!U}vBubqgS5q14XLeUzOuvo9GVkmOqibPYR(Q`?fA|zrQ zHlHB`XB#FH;`b441Z#$`8L1i07)h~ACmScL$q;OFnqso~-uUGiO;_b>(3A?eAaP=) zMKJcN8AKUqS0+_Gn=}0RmK43elW3jP-n)@dht-y&9KHc#HoWEIK@Zv*^{HFyn`PW% zKa4KN6C=-8?Z`f)J}+0I$oo2IqLH-Vt^6=vB?2g|DOE6u5qA(F0a)GaioS*NP830y z?!7ujbXAdaf~}II)N*mSl0lRNN|badwZ1BnmK3_weAI2P;s$t4#KDA`@Ac%%DYF3j zR2Z=W3h}hmxbjk@qC)d>JW@^X-QT+l=P98T+D>T{CpTwk$+wAkNqI4g$FU`yCv6Or z#g)WZB^)GqP|3&7Cb=f*GiA}}zw(iK$iHudQ|x-*rR@E!r*8E#j@3K_!H47K2}GNsM<~APG=O`6w6PsSW;UWTFzVEO*555j1`QzW{zd(vp;U$2k%!l zhkR(fwY==v=i84XP9<(9CL&fPPGaxlAWF4O9Z20u-C^&qHP=F^gV);9+NslHNk};w zRxzcj3FFBwD?cn?9OutnD&Z?LF09co%aN-Y#nFvr(&iFu&}mS16_S@`)?n7JP(04& zSIjEQ%Iy&E(DoVZ{0>+!2op@}D$EYe?l8 zN`~er-6+~<4hky43BeR2A$Z(jt&tQQ!(_q~uJ2}_J*B#su%UHuJ1jdJvE$Nf)4Mds zHxFsNqsNfOh!GF#k1vSZAs$1~`;=6n9;05-5PNNOYI_zg#+^W@X1N=JSbhjMb{Hc(!m=)*O51lnAmg@Ykn?(>$Zx9 z#>%7hyEGl%yd)tfTfuw`!RapAk}1E?Z*tv&pN(q?zKh-Iqu+@*)%^v!kAY7Ls16tx zN$S-NF_tWs#FN~BlNYR8b*|Pw^W7|pkB-lwV=Edj8nFnd{Z%_DL}eISNw3SsN7KgK z!=A$;+&pM8eWZ%><^6b!46UQ4X-jhCgUqEwIAt1@za~nJW%aU|I4EmSaTsg+Vl#Eq zc8F}?eBjQT!<56-*{t2=A?Ut~Kg*SlMo1UUR(NC)6aQxYouvs*P^_)f&(GaLKf$%yKb_LT~)iXlOljU7qSk z?7@nrm-@}p@KwNJTi#XPo$IO#qU(>Pz2^FCq`RMzI97>$VjEM(|=k<3-IZwZxn&m3wis$T(i0!M| zaOk&#tX>Lx;FRnsu;n!Ug6Dq4bGqLDi~Kkf_1(OCs8{hG4J7NT{<~JFR`$$~nUMNi zP74nikCnZTlNn^AWQ+o7kDeFdS1GAAgJ#lWF{60tX*^l3-e*F6fu~_11i`%OPW;Wa zn-dx3mF3GrzDX5&r%m9Z#kRY9)ua-$avt5cUKw6(he42tnU^h@iTXdiE%xe;ZQAzi zYaodmWs&XAy>@PO@0gdbn!UCnA2Udvg(2J?F|~U<>iyu`^IC?CzbL}c6Bz!$4Karp z|J?XOgDn3hvsj=EGW~1Tw5aXk=jU02v6@e2Q9+Hu%#R5-74kjL$BM@2#cIX&#mmIU z!f(QtK2%+NJsAp5n%oHNpnIslP8cuA@^-yzGcy|KJ+T@;ND+`)E^Ozyow>5vG1=Xm zbhS9nF9=;OX&1Qig=F6uU-ZZ9{gnSDpO6(H;OdEVf96JQW4gU^9dLg4PuBgLhW_T- zoIuvU=;{-(eZrs|SW;M6$j}jF0(hdZN&wxzM4q_!UzGW8YVP>|BHK^=*%``_fdFP{ z3lm2uyME&K(DnX>Bm;r}SX0>0$<`}W_$T52n^r$D?SD7oHxXx6b~bYQ9WJPV zok4$C_w*2d42r1>X-Z4et612892u4DYz%Gx;O`8G88{p~t zH^KtoVENb;xudwLOi%AF?4+l#9lNr|4aki0 zu%)E5(hO`0c2hdW%5=Ymhl7_0Fc3n73;hV-phZ-}daXl;Oa2MDOlw7^dxN|bqkO`M z{$U!wtj^pg;Rjm} zgL2kc{J`<~9VdY)%?r*_0ygJ}7axbT>$jU#Q<`5Pe_rrjLK7Zhb#6iEtOwl~JWj}v zF&XRCkiw?$7InY#xhcMEFxj7pOLkqV{9piQ_crV@Ru$49GmKHov^>{g$uh}rk8pm^ zQ8HVWRcP1m*_WDzK(i2M3v+ouM4Ijv(nVmC2a~v~@_aLGX!sAofPR;7TV%Y1DUp-=h+3&0qvltycLNR)V(}!;u}) zPAZ9Cm0(prUAnvKG!A-+%D)n$)KrR@W#ml_R^j((H7TKNSR0lGCZu+ni-m}J$9PKd zeoN0WU8}33UZa|j<267+%r$aaWLU#Hqx@t*c}=%RRxQcyO-U?(8F3xbwHQ0kbWmNEJbLn0gF~yzj_- zLPp`_W5Ct&Gbr)_*N9QU$5`!?g`Y7*;!lr`m8#nU5#Le&@b4+5myW&3>6XRf_19~B zDXybA!GsEM%d*BFl(GzLT02Im>ES}EVP%sIqkk=j)=^k_sXjlqiI>`~mz{meXb2|d zA;Q}?zgEnC!{!c3>DCk7K+Ptc--tvK)y4C}D4+xvu^jV0XnDWXA5uTx@{Gnfac@m> zHMb@X>&pe2I}t~Sm94QCHV})mLaKCR$oz$EvQtuX=nCQ)&B@?xKIL~}qWKpmQ0}#0 zo0we%CDWT))y~v??V#RM{^)hOUg6Oia<{nSLX&xVMft|!)#0Iqyvi6JfipQx2US*m zUsT+f`Ha7F$bG$YBwW%uA7A-ZZ}{jDs}3h|;BTSrX%%#^8NiS!#;XU`cK71Xf6Hyx!LS^hF2R!>mhCyos4qAq5g zD`%fCf0HAtuu3#IRAuE!8IDvxK_$^79d5GqnB`I?$<>2(5@H4Ao;%J(&& zFVd{LJVY0y&)ZJ2cB@fu-y?XzjO){^Ka$KDoOjF~oOA~_9NCdwG+f(u^~;4} ztXp7_2Cm<#uj~onh$e0Ibs+-H?Ww%P>zSy|#S{8u*x63W+A^~NT*9Cfg%>3f&o<+- zgwSfcb54-22>qt#>e1StV_$s$LWsL9S2ZQNMSldheTP}%9z=Je^}Qpr)crM=!QF=-8J4JT$s zR28wx7V@_eyb+FfhS==%zaS@wqyfhYa;v!QI|kvyR45t(+6kQb^pi=IZA5w0!fzS6 zUzV(LZf*+xf^7{suCSkhQxe{e;V?lVqAo}_of$nXPT6}KErmAN0=uFq@yMI&MDSCT zi2wQ6#vSiHDpduQcYerxce+_w>F|h}jl@bOf4nyp1V;x8FInN?@Ym?aOM4XSV2|jm zC3{po|7(Y`2l$Nu8vJz;;>c)>fgMy9wR}wRJ77yHnJI=t=iv^&3PYY4kIt@d9__&a9>fh1y$g|4e7+5Zyfc^uoh~-mb0*dl zj5aUPE-e>3xoL;mqd^F}!(eh``m*O5-Z9lZ$+gLjk#jKoY<2l!OGD?qm@QT2ls^Zlm9jK@P=%VX?Htm?3xQ zF)(-k?gTqsY{46CM{$QKhqN}7REIVMtR(&=7i-V@l>;kUPo`!r%B&ge9yP>-YF>mh z?(KlLC;6)vF;TC7y`)*8v5RdO7(3+?fB1O3LWtMH#?&_kPn2TO?+V)v8HTAz*X$}a za#_Elbo|8AO{r->GS690z5?&z=amHExud@#PfybxTN;GOAF*GrDdfUG>JPMw(Q452y&QV?m9ojyg)7mu55i|;Btz#)yQM2N{|O}7jc!z8<*p+W z&0obaUT=6~Z>8T_8$g<*_@Q|MTLnEnC=)&XW8#BsBiVZtoAFfpyN$9CQh`LQegv(% zBx+tW*M>evs-l8gNebYu&se4+wvzjT^ZnmNBF*k*LI17eEsFp0zNYQuj6+&*+H{}%YY2{IWy9Kiiq zW?fv1X57Rc8x=!F=yYvTIC=;V$wqpmGVkT=>uh9=`}LFO@9-~g`XB5$a(&>wpldL} zh)!&^e!)UwpA2_dB`VA1Ls}R;!V-EA$B4L&#k_vmuN&0n;$VS|T*zDc$=I$GHxckz zqFYHZWG+ahVcZ!f`0JX5bnsVB2OcJF0tK)LD*AOmOh(fZJY0k6pg}4R}5N;cp_FZIzl+?oB%6%iAid%(UnYK3Z&*Dx8d^5S&6?KE63* z_w>)W=d$!VIP6KUM)E{IVVH?^5jvrukF&j#=}%ugOv0uK3U&-Gk~P_vgnLAerh$?C zEL&JiIglv#Gb}}aFb}3lUq(Ta{qGcY+dr#Bg5Jty_4}6qLOxzMC1NrOhCya z8Pe>%HgG0q;MPFc$P9NWJ=#2o>DL*3tun8Z8FekA~*l-$r& z= zRpdw}0Cx(0ckQBU2opYhnE&-j=f>(xX64Q5@Wcz{jifD z#Uad^K=qBN=`{D61tZnPni%SS6$r|9dZ~3_e&h}EIoVEsMgD;13;aOJ-RD8#vA+~# zZ6cE27f6sG@JJFe%U6cm`UAc3C_bg!I$$@!sFAgi;_}cYn9m+s2e)87P zY?O+B%QhZo@CUZ+DOlDQw^8h#_?&8Jx)dVwSja!7v<36|EsF-;K=|Az{tIx1dJ7&;zMR1(2NH;g`>D2rUctZ9w}g6h@fcA-Pa_sr7WdN{Ns=(B~>MDm$|?@WmxUh3vRuXhMhA&r3=yDH6AR{xT|zB$ z*LN&qcHQ5VF>fCPU#2Q>A(bu=k>Hn)b0wS@{@x3b;gwr|T%lw92$F zsY@EQIOpAMV$x}5PoUX!26+7WGeweb{I5@~zP-@QSbf!UzYi0I70D|-<~LQi+rd z{w#x^Gx*^7TdUl(GF>Xp9Y!P%JZ7$SI;y-A`_&J$FV8RO>*$^7tJO^GrqK5|O>Kr} z2+Y%&^voQZ2@8fs55nIV!xMN!Wz40$`yep+lR$^|OAoBH&gTWj$0x3F>o3WiC+pS=B z6123^hDA;uPLM9AE<4GNMWV%RDNU1dJ=+hng_UFuG~%++J)=5au@d9yQC<}3Il9t? z4Wg5Uo2C8ZLL%ol#bf8ZWYdZ*8s0BC*f?|gT7|sL{NY@B!csZD}h%H}S9C20lT z1gwV2G<_aKZuCb_Gy2-JI{2E0DIo++sD9cXQ5!x6*(`N6yL%{Y z&iLVtM&qnGHru>K#(WF!-1z(QC|~ z{jB-w=soXc*EFWRS(ob9PSmt5{b)YN`_Lpl-JIH#vo)@ITq~Pcd{1@6VCNw?sWJ3x zyAH_MMrT5s6^;b?^b#UbL3%+l4D_b~Y~P8FQ)%&LyqvX-qSY8qr};cT^f4G?^FSz6 zo#4_#^_AfLccc9D=RNE$y&s?Zx0*A|WV?aG*55J^*pIMG3^hI*6yqqd9tpiYpDw)P zm@=eIyHXyHT@MOckKIi?ps^U)x-A`C7cP5=ro5O1F0mvg!Tm{9QhsZCW~eOp$_!h^ zS?^f|QAKM}=EJao4L16%@4M# zkJ)!{i>8&lr&b%;Jp=>92jjUjAOT*mb{-|G0-KqnuEA+dD;K#T4p#63N^~OKN-|2% zjb2J#D1Lcu)LyXsI@G%sA~kM@$u^ZXB=zj&+x|1Gw5G~&BG&U5Dak3-Q`N5bjiE!A z0O?0XW0ZtI&BUCCwtQknR?F-MGUMP=+9eysbE6%_<5Ke_oN;A`s^TQ&^b{(URWL!L zpSkCef}G(?MHe|sd#eh3;cyjGkC64fgu~O~N|Z8|*A&>vN@kVvGYhhT7>wKVqN;2y z>v6V)Q3czwB}qH-wkOly%8FdTGdX2?0gqHI{-_&VD#*NtnKwqF=6wf66Gg12Zcb=J z-)hch@wrR-S2DG_+!SINRPuaA+Jn61qTU*!i_KFBOnDcBjvC&@dv%^!Up>!wLqeK9 z$s<1tQk=HZi6ISY5M{qjFLjI53$#7ZDCe=A!Qs2qX|ip`FdDWgQ6^PqNDXO`?zBK9 z{KSJO$4M_ys>Lwx&XCfHM>$VQji15z$!Ek+$UjV`v<=T+apFL12VN6ByylerIkC!I zyl(XAtXf3Y?W;AW4hIV7n2RZ9KDU+BY_FDQ!_Rs%o9`crre5?ynA~eE*DA!63m(rs z#^MHPr)?PDOduY)2UhB4Ic#F+)xq9o#-o}5WSVENxL7< zaA7;*lvSpR50)q#41R1K!bdCvlCxy7)NFGWQmA6#E(NibFFP71ve8yoq0xBEHt(W; z3Jq{cw>&Uy1OrEgO@heAXa{FJ9{G^@^y(NC@_4%9T`~^DXOxySs_kbq=Xsc z7o6%#34B2$i-hPf;ygZREn^;`cAzAY;ulq7t7);H56s4>zW0tCZUUNgJi<1v4a|k% zWlhcy-|YQG4$iQJuPEsH8zVLuJ+AFF|wHpTDO{a8&%P zGi&UZA_{I&IFJerPh#7^FF)A9rBF+$bVTGk?42Llg3xsu9UxN$c z2_;}jeR0=PnbCUOwrYC>5^N!`;|yA#r=QDj6Wszo|1iB zEF3(4rM-cFRjJa7)BP{@SNSL{G)oMSR|aT6(~V5f4;w(y*%0jX0RSx|{ausl=JfZZ zzjExfW?(~ma~F#b09Gb8ZYGw$CH~58(~9u2vH&?)I9b_%?Cd;1HZ2ww8tCV5$v+K! zs!LU|aDpaCf13#{E`=7enm8Ln>!^W$mBvELr=b~cXsQ!B2Pz=^)VHv+6?v*X1^%vF zg(gJpOrHA4fA;^*f4YG|rqC=jkO!INe_sGj4h}XBfGOY)3wlTc{!ckhPG~v8zt3gkV1d>T{0H`5=f(qIR@tT59n}TLfBc@y>{i)r5l$#L2_L$<4uG x%xPk3#Kpm7$Zg8aX~be`Y{-xNe~bK)`FC`Jy7X^HfR;J{xsa)-MCHYh{|7r)6BGad literal 0 HcmV?d00001