(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-public (execute (sender principal))
(let (
(unpause-amm (try! (contract-call? .amm-pool-v2-01 pause false)))
(amt-token-wstx-token-wxusd (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx .token-wxusd u100000000 .executor-dao u10957855631774 u21045288404864))))
(id-token-wstx-token-wxusd u3)
(approve-token-wxusd (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wxusd true)))
(oracle-enabled-3 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx .token-wxusd u100000000 true)))
(fee-rate-x-3 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx .token-wxusd u100000000 u500000)))
(fee-rate-y-3 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx .token-wxusd u100000000 u500000)))
(max-in-ratio-3 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx .token-wxusd u100000000 u60000000)))
(max-out-ratio-3 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx .token-wxusd u100000000 u60000000)))
(oracle-average-3 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx .token-wxusd u100000000 u99000000)))
(fee-rebate-3 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx .token-wxusd u100000000 u50000000)))
(start-block-3 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx .token-wxusd u100000000 u0)))
(amt-token-wstx-token-wmia (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx .token-wmia u100000000 .executor-dao u5376037859600 u5883429137582296))))
(id-token-wstx-token-wmia u4)
(approve-token-wmia (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wmia true)))
(oracle-enabled-4 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx .token-wmia u100000000 true)))
(fee-rate-x-4 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx .token-wmia u100000000 u500000)))
(fee-rate-y-4 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx .token-wmia u100000000 u500000)))
(max-in-ratio-4 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx .token-wmia u100000000 u60000000)))
(max-out-ratio-4 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx .token-wmia u100000000 u60000000)))
(oracle-average-4 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx .token-wmia u100000000 u99000000)))
(fee-rebate-4 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx .token-wmia u100000000 u50000000)))
(start-block-4 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx .token-wmia u100000000 u0)))
(amt-token-wstx-token-wnyc (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx .token-wnyc u100000000 .executor-dao u13898946745080 u5996804963708720))))
(id-token-wstx-token-wnyc u5)
(approve-token-wnyc (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wnyc true)))
(oracle-enabled-5 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx .token-wnyc u100000000 true)))
(fee-rate-x-5 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx .token-wnyc u100000000 u500000)))
(fee-rate-y-5 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx .token-wnyc u100000000 u500000)))
(max-in-ratio-5 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx .token-wnyc u100000000 u60000000)))
(max-out-ratio-5 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx .token-wnyc u100000000 u60000000)))
(oracle-average-5 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx .token-wnyc u100000000 u99000000)))
(fee-rebate-5 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx .token-wnyc u100000000 u50000000)))
(start-block-5 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx .token-wnyc u100000000 u0))))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u646951 amt-token-wstx-token-wxusd) tx-sender 'SP32VE3A2AXWPGT7HH4B76005TJZQK7CF1MM9R0MD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u460213 amt-token-wstx-token-wxusd) tx-sender 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u5070899 amt-token-wstx-token-wxusd) tx-sender 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u26862936 amt-token-wstx-token-wxusd) tx-sender 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u655175 amt-token-wstx-token-wxusd) tx-sender 'SPR8QQT14Y28TDRNJN4M57APM7W26YY8P8MX4S5Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u81379 amt-token-wstx-token-wxusd) tx-sender 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u343685 amt-token-wstx-token-wxusd) tx-sender 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u64154 amt-token-wstx-token-wxusd) tx-sender 'SP25EBRK8T38PHXZ5FYY8DSNXF4PAMPYRYQ28GE77))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u196107 amt-token-wstx-token-wxusd) tx-sender 'SP3BCKC9STZKCVBJRB3EFK86JEWVEJWYH7JRXG9Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u63531 amt-token-wstx-token-wxusd) tx-sender 'SP1R6YS229G7TV47ZEZ33CDQBS7AQR3QJSY3MNF4F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u35926166 amt-token-wstx-token-wxusd) tx-sender 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u421537 amt-token-wstx-token-wxusd) tx-sender 'SP26F2CV39RJATZ45X78PX0CMQQ8V6GTVBT1NN3ME))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u11880 amt-token-wstx-token-wxusd) tx-sender 'SPHPFDCEJT8CN33SS2E273T9NXEAVP4PGS5BYGSK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u2768 amt-token-wstx-token-wxusd) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u338380 amt-token-wstx-token-wxusd) tx-sender 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u110643 amt-token-wstx-token-wxusd) tx-sender 'SP3TR9H98GTF9TY11RGY16VGRFGMQ2J655RVKJZ76))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u46710 amt-token-wstx-token-wxusd) tx-sender 'SPRE8XH8H6QWRZMCFME46N64K5A08K4VAG7K346C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u29861 amt-token-wstx-token-wxusd) tx-sender 'SP3DZ90K2W11N6C7AS6JF77TT1APNWGXGP87TCC2S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u785217 amt-token-wstx-token-wxusd) tx-sender 'SPKFZ21KXCYMYSKH9806J2PW7GDBVEP6G8DC4KE7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u164713 amt-token-wstx-token-wxusd) tx-sender 'SP208XD20NAHGXA2KE0442F9F03GY23MHEBC60C2K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u198023 amt-token-wstx-token-wxusd) tx-sender 'SP1EVZP9AMTH1044MZXF99GSZ9DJ5600G0VQSX95Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u28214 amt-token-wstx-token-wxusd) tx-sender 'SP3GQSP0T73DQMR1K7B1313W9N6NJQAQH3TKFRWFR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1810086 amt-token-wstx-token-wxusd) tx-sender 'SP1K8ZADQJ7GPXBND02S2V3ZCAC8W1YMGVR7DP99P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u51530 amt-token-wstx-token-wxusd) tx-sender 'SPA9V8SP7R14YRXB9CHK9YGHPZ260ESNAMHEP6Q6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u28250 amt-token-wstx-token-wxusd) tx-sender 'SPEAMAZRY03H5ZM7PW4VRY17PT9TW4BCHCPNCMR1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u500 amt-token-wstx-token-wxusd) tx-sender 'SP386F3310T1AXETZB7RNXFM8FD9H51GFMA626MZ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u32220 amt-token-wstx-token-wxusd) tx-sender 'SPTNAQZWRMPFR9HPGN27VE1J722J3726YPY8693S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u32985 amt-token-wstx-token-wxusd) tx-sender 'SP1SN1HZCY0MYR4PJJ0JP651BCJEF58H10VPS2WKX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u5071 amt-token-wstx-token-wxusd) tx-sender 'SP3ZCNG4R8M67R5DEY0R4WQGKGV3ATNT62KDS5KXA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1456892 amt-token-wstx-token-wxusd) tx-sender 'SPPWY4PEWGH78C6D9EY7PY103GFA0DCDNT9HCGWG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u5843471 amt-token-wstx-token-wxusd) tx-sender 'SP2T4SJRBCF63HJVZBMXEK1SZTGKHY4NZSXE3TF9Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u21882 amt-token-wstx-token-wxusd) tx-sender 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u17459 amt-token-wstx-token-wxusd) tx-sender 'SPSV4TXVP768KRDHRHZBDHENG29M920A9G30R4BX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u883109 amt-token-wstx-token-wxusd) tx-sender 'SP2SE1WTDPJEJ417SJEJPG31QBP1W3SD9CGB4759A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u103148 amt-token-wstx-token-wxusd) tx-sender 'SP31PP9YWR6J04RA084ZRMNHG3EFDBK75ZEMNP0ZV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u3364 amt-token-wstx-token-wxusd) tx-sender 'SP3FWHD94EM82ZE4P2YQN9QDC29APGEZFW6C1KA52))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u34533 amt-token-wstx-token-wxusd) tx-sender 'SP19SGRETVZCDBX4FC7MN7HR7CQZZPN917SFA7VDN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u73503 amt-token-wstx-token-wxusd) tx-sender 'SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u734 amt-token-wstx-token-wxusd) tx-sender 'SP14XZRA4HZKK2WRYJYRX97P1CTZ69D3HZ87N4WSP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u68048 amt-token-wstx-token-wxusd) tx-sender 'SP3KEGD5F631561JAKR3T8227RS606MZSVX6CHKD1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u741399 amt-token-wstx-token-wxusd) tx-sender 'SPXGZCS878X22K2F3264BG0T6CV6SRBRYRPDY122))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1678297 amt-token-wstx-token-wxusd) tx-sender 'SP31JC3J4ZY5VGWTA23NVNN70NFY9K96R5JGKB35A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1276500 amt-token-wstx-token-wxusd) tx-sender 'SP3VC50B82X4TA30N8C6D47JDBYQYQV162XKHJQNX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u188923 amt-token-wstx-token-wxusd) tx-sender 'SP2V9JTX2NH6ZXN5PERPEJWB62C5RCB3QYJRKRGV2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u5645 amt-token-wstx-token-wxusd) tx-sender 'SP2T48J62YHEGW1VWMJ5H1708QZG5S6KPH6N6GHNF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1610788 amt-token-wstx-token-wxusd) tx-sender 'SPWC45P8JQP1VG9NDNPJ6ZXPVZ4XXGK06GXR5XN3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u24924 amt-token-wstx-token-wxusd) tx-sender 'SPHNEPXY2N25RTB6BMJGJXAH0XSHV55GZB2FC69D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u2925 amt-token-wstx-token-wxusd) tx-sender 'SP1ZCXMGABXJF3Y8V83QVA35GMH5EHAV4J2TWASG1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u42057 amt-token-wstx-token-wxusd) tx-sender 'SPGJF90CB6ESZXVSCCAVPQ97Q4H3ZSG6NY0ASRG5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u9155 amt-token-wstx-token-wxusd) tx-sender 'SP1GXF12WHE6PKG12HNCAE357YX473WZ1A4SQ5PK5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1688 amt-token-wstx-token-wxusd) tx-sender 'SP2JH9NAXFH30ZJPG3ZM2QE8XG5CGBJCDPNTV1X9S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u8 amt-token-wstx-token-wxusd) tx-sender 'SP11ENJ9JAD3XG1CHG0R9ATZWSTYB7ZB8A8KAR6JF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u11454 amt-token-wstx-token-wxusd) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u2986971 amt-token-wstx-token-wxusd) tx-sender 'SPCVAHJ64AZPRZFCAGC9XBTHC0GTJNYNTV6CBEE9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u172 amt-token-wstx-token-wxusd) tx-sender 'SP4CTMG5G02QT096M041DQBMG0DKPAGEZH3SX36F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u85 amt-token-wstx-token-wxusd) tx-sender 'SPKDEYD8FEA47X3ZEQ035YX5ZRGWCY0CNZDX2TJQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u95662 amt-token-wstx-token-wxusd) tx-sender 'SP12G6GVEMEKRQM97TFAN660W4N853MG161V2VKQX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u14130 amt-token-wstx-token-wxusd) tx-sender 'SP1KFG66YNN0NBK578H2KDQ202SMMNTY7X1SN4PVG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u8883 amt-token-wstx-token-wxusd) tx-sender 'SP20GWX9NRK175G17NY4TRH8JHHSNPAGRY2FVNHTR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u6835 amt-token-wstx-token-wxusd) tx-sender 'SPMMRFHBD0X9QW3QNJETZDTF8C9T65YXMDZYKGRF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u7304 amt-token-wstx-token-wxusd) tx-sender 'SP36980W19MRVSKJ3J55TQR87KYHCS63HGW2HKT4J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u10076 amt-token-wstx-token-wxusd) tx-sender 'SP45RYP4W83SMSCG5C7MZCM1EFVRJY4K6D0E05Z6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1673140 amt-token-wstx-token-wxusd) tx-sender 'SPMNBH2M8NY3RM1G3ETGDXH35858VZWS6DTWFR7F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u39606 amt-token-wstx-token-wxusd) tx-sender 'SP18CM0XKX6R07E5R7Z51E1D2M1TM3309KCBYBDJZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u51549 amt-token-wstx-token-wxusd) tx-sender 'SP2N5SWZ64FGVQKRWBWC367M08CNDJJWAPPV3B537))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u57429 amt-token-wstx-token-wxusd) tx-sender 'SP2F5G73XGYNKNV1FKBMY19SWZR3EYZCST8XKVE9C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1433 amt-token-wstx-token-wxusd) tx-sender 'SP2R5DAEXG51QVR4H5AG2AG13EXW4ZXKXFNXAQEHF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u153188 amt-token-wstx-token-wxusd) tx-sender 'SP21RKD5CQGGAJE173P7CBF9337JSV6DJZA06WJK2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u21995 amt-token-wstx-token-wxusd) tx-sender 'SP112ENRZCAY37VMH4E21ZBR7WQ9WQ0ZK6AB31TH7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u134141 amt-token-wstx-token-wxusd) tx-sender 'SP37QPZ30ZJ80XHXMA48J5F76AVE33B8WAR4FFC0J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u137884 amt-token-wstx-token-wxusd) tx-sender 'SP19HEA9K1C88HFD6FH02C6XEFQZNZERD1CXRF14D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u11030 amt-token-wstx-token-wxusd) tx-sender 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1151032 amt-token-wstx-token-wxusd) tx-sender 'SP2CDY5S7VD4Z4RT93Z1RTXAS1ZXGTVMPHKNKZ27S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u11196 amt-token-wstx-token-wxusd) tx-sender 'SP2J575HV82VAWD8NHKR1SHQZ06DVJ9ZQWBAXP6NH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u6540 amt-token-wstx-token-wxusd) tx-sender 'SP2X8549FNXGRH2SZ1TF9MAJHAJJDNPFX3G4RK62K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u60706 amt-token-wstx-token-wxusd) tx-sender 'SP1VY32CS02TZ64S39R1J9H65HSVEVWK8XA53RGQC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u171 amt-token-wstx-token-wxusd) tx-sender 'SP1HY0N1KDDFBS994Q6YADJ4N5J0RV7TWKM7XZKGJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u2506 amt-token-wstx-token-wxusd) tx-sender 'SPYVW2NTM8VMMSDKFN3W4M3GK9WY6TKAAG1AZHP8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u101598 amt-token-wstx-token-wxusd) tx-sender 'SPA5TQXK1FEEV8SA0S6G2PPZCWKDQQCSRG0N5BM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u255 amt-token-wstx-token-wxusd) tx-sender 'SP318TS0M6VXGKBKY479SV2CH75PM29BSRVZAVTSE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u92903 amt-token-wstx-token-wxusd) tx-sender 'SPH6FZ3TGS22E23RBMHXGAH6RK08JP1GQZD15J4K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u197593 amt-token-wstx-token-wxusd) tx-sender 'SP32EHZWM73C91HDC9Q9NRJP0WXPMT7WVGW6N5G8T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u843402 amt-token-wstx-token-wxusd) tx-sender 'SP2RMZRN87EFY0GTK5NRCEFJGXZ7KJ7YKV93J70M6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u787 amt-token-wstx-token-wxusd) tx-sender 'SPX0C3GJ32QTETR19ASFHR06SBVBX0JS5FZGM43G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u20306 amt-token-wstx-token-wxusd) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u294774 amt-token-wstx-token-wxusd) tx-sender 'SP1Q9HJV7W0MZ3KSHZ6G4B34SJ3M6KT50KZR9E2PB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u50908 amt-token-wstx-token-wxusd) tx-sender 'SP2DE0NG5EV7CVGY6JD7DWHGYBRNMEEJBGRMX3ARW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u49889 amt-token-wstx-token-wxusd) tx-sender 'SP1QBPQTN4DDQ046265G1C9E14R545T6QFZT7RH4B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u505481 amt-token-wstx-token-wxusd) tx-sender 'SPQD6P9WRE84FCFX3VGE9JAYR45TQ3MSBNBPVX4T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u53877 amt-token-wstx-token-wxusd) tx-sender 'SP2F4M27NWAPKWYKXQHYHRBDN9X97V3KGNKBT2JZZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u1702422 amt-token-wstx-token-wxusd) tx-sender 'SP6A9DG2K1QW22G5EK4WD7V175SX6V0BCAMNP9P9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u502922 amt-token-wstx-token-wxusd) tx-sender 'SP1N6SYQHVBMKR62RR8JXCBFFX45EPGXEW8NQJV7E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u22 amt-token-wstx-token-wxusd) tx-sender 'SP1GZJPD8HJTW37057NV5QMY8BQZM9JSFSFZV0N3S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u289270 amt-token-wstx-token-wxusd) tx-sender 'SP23DT8RY54SZM58V2PYBRCG8BBV93MGY29X6GXCT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u5108 amt-token-wstx-token-wxusd) tx-sender 'SPCKNEE8CGK25HA0X6VWQ48QRTWKVA3XP64A0C28))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u37610 amt-token-wstx-token-wxusd) tx-sender 'SP1E4WY0TDZHR6009RF28VEFKR8YGFF56XGFV5PSE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u37459 amt-token-wstx-token-wxusd) tx-sender 'SP2W0Y6R2Z3KPK8REFYNKJQ7H4FEPEAA5RJYKZCQ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxusd (mul-down u7 amt-token-wstx-token-wxusd) tx-sender 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u36518 amt-token-wstx-token-wmia) tx-sender 'SP18W9S29V63HJQR2Z73363NMXX22W3TYWA4XD3QB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u98375 amt-token-wstx-token-wmia) tx-sender 'SP2MYQF316JWNY0M6MBGRFPZS17GJKRA26ZPB35HM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u65330 amt-token-wstx-token-wmia) tx-sender 'SP18PVXFK47P55JBD1EH7N6SQ8YP7JH3RPWFNW27R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u1048 amt-token-wstx-token-wmia) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u93094878 amt-token-wstx-token-wmia) tx-sender 'SP24ZWR8D62RGF2BZQM89DAPPJX9GY2G5NDVQNGNY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u514 amt-token-wstx-token-wmia) tx-sender 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u1507 amt-token-wstx-token-wmia) tx-sender 'SP14XZRA4HZKK2WRYJYRX97P1CTZ69D3HZ87N4WSP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u15162 amt-token-wstx-token-wmia) tx-sender 'SP34T0DS0ECN32J0JK891YP6JQ8VZDHJ98MPR74GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u642 amt-token-wstx-token-wmia) tx-sender 'SP357REJB7P8K2N1Z3KAY5Z3APSXHHQCTHRPX1JT0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u6197 amt-token-wstx-token-wmia) tx-sender 'SP2TN3TYF0MSRT5SJ3APZYGXERW8KY7VCGSM9CHKH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u3850 amt-token-wstx-token-wmia) tx-sender 'SPTRD7N8CDE68Z2ATYEKAS6E7K40J8WMP3MNWX47))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u10341 amt-token-wstx-token-wmia) tx-sender 'SP3841J71KW7PE3CK00YD436TT555CC9J14J6BPBS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u3287 amt-token-wstx-token-wmia) tx-sender 'SP2QB4MT1501Q0XZJS641ZYK4TMWYKTS5PF18NXDN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u11641 amt-token-wstx-token-wmia) tx-sender 'SP2QN6TCBAZYK1M9M65TW5SCCYAXAVKY5K5S7K3XX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u8834 amt-token-wstx-token-wmia) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u585 amt-token-wstx-token-wmia) tx-sender 'SPGPACVAHH4AC4G3S53HMSPSMSNR5RYHSK1SCNSS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u250192 amt-token-wstx-token-wmia) tx-sender 'SP3XMS4TS2KKH31KG18FAT4HDMRQTMXCN8RB96VA8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u2337525 amt-token-wstx-token-wmia) tx-sender 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u210867 amt-token-wstx-token-wmia) tx-sender 'SPR13DG89TQ2V58VR460BNRZPGEDSRBB3FRJQWNJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u99720 amt-token-wstx-token-wmia) tx-sender 'SP3RXQ0PJD8DXVEPHKBESB56YAWF8YWDQF4ST19YG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u54027 amt-token-wstx-token-wmia) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u11837 amt-token-wstx-token-wmia) tx-sender 'SPPBMF6R5GCX3FNKW12D9PN1148KADYZ4QFBTY34))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u5384 amt-token-wstx-token-wmia) tx-sender 'SPWZSCRGTJGF1MAF4ZMQ7PECRCA1S90530KR8W6W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u312537 amt-token-wstx-token-wmia) tx-sender 'SPWKH42P3D69KQARMEACZ71K4MVD6G4R972W8FMA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u66981 amt-token-wstx-token-wmia) tx-sender 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u13389 amt-token-wstx-token-wmia) tx-sender 'SP2J575HV82VAWD8NHKR1SHQZ06DVJ9ZQWBAXP6NH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u13544 amt-token-wstx-token-wmia) tx-sender 'SP103BZSXCX2YF8HXMN8DDP5Z46DN4A0HPRDYJXDD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u10014 amt-token-wstx-token-wmia) tx-sender 'SP1E5KVXXSSBT5D3ZRBPCT33PNR9EDEN5341XGQ70))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u2937107 amt-token-wstx-token-wmia) tx-sender 'SP1BN2V664W50A1HAWDHT2M83M3NMN0AG3B16R2SA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u167042 amt-token-wstx-token-wmia) tx-sender 'SP214M5BGKFNZ0VERMHE3JQKFHBFHE7WNHTG75D38))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wmia (mul-down u151109 amt-token-wstx-token-wmia) tx-sender 'SP2PDBT3ZSPJ2M5F70SH0CDYAQW16BJTVF7BH35XF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u13776 amt-token-wstx-token-wnyc) tx-sender 'SP2CNNPBW935DFQ2CVT2H97S3XZAPA41EHSKM7NQH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u1599 amt-token-wstx-token-wnyc) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u83 amt-token-wstx-token-wnyc) tx-sender 'SPZ8X8BCB8DBJ3JXDVHFGH2ZV22QAFX3K7HPPF3M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u528 amt-token-wstx-token-wnyc) tx-sender 'SP3841J71KW7PE3CK00YD436TT555CC9J14J6BPBS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u86515356 amt-token-wstx-token-wnyc) tx-sender 'SP24ZWR8D62RGF2BZQM89DAPPJX9GY2G5NDVQNGNY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u436 amt-token-wstx-token-wnyc) tx-sender 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u936 amt-token-wstx-token-wnyc) tx-sender 'SPP6TX1NNVT34BTJT275VK1VSGB6R5TZJ5V397TR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u1107 amt-token-wstx-token-wnyc) tx-sender 'SP14XZRA4HZKK2WRYJYRX97P1CTZ69D3HZ87N4WSP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u1537502 amt-token-wstx-token-wnyc) tx-sender 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u7381 amt-token-wstx-token-wnyc) tx-sender 'SP34T0DS0ECN32J0JK891YP6JQ8VZDHJ98MPR74GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u5544 amt-token-wstx-token-wnyc) tx-sender 'SPHJ9PAFS66A0ACE2P287MNVY0B2QRQYXS89AJJ4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u5075 amt-token-wstx-token-wnyc) tx-sender 'SPR13DG89TQ2V58VR460BNRZPGEDSRBB3FRJQWNJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u357291 amt-token-wstx-token-wnyc) tx-sender 'SPWKH42P3D69KQARMEACZ71K4MVD6G4R972W8FMA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u3095 amt-token-wstx-token-wnyc) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u2488 amt-token-wstx-token-wnyc) tx-sender 'SPTRD7N8CDE68Z2ATYEKAS6E7K40J8WMP3MNWX47))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u7101 amt-token-wstx-token-wnyc) tx-sender 'SP2QN6TCBAZYK1M9M65TW5SCCYAXAVKY5K5S7K3XX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u3522 amt-token-wstx-token-wnyc) tx-sender 'SP1E5KVXXSSBT5D3ZRBPCT33PNR9EDEN5341XGQ70))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u30996 amt-token-wstx-token-wnyc) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u11067365 amt-token-wstx-token-wnyc) tx-sender 'SP1BN2V664W50A1HAWDHT2M83M3NMN0AG3B16R2SA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u183819 amt-token-wstx-token-wnyc) tx-sender 'SP2PDBT3ZSPJ2M5F70SH0CDYAQW16BJTVF7BH35XF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u195321 amt-token-wstx-token-wnyc) tx-sender 'SP3RXQ0PJD8DXVEPHKBESB56YAWF8YWDQF4ST19YG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u2701 amt-token-wstx-token-wnyc) tx-sender 'SPWZSCRGTJGF1MAF4ZMQ7PECRCA1S90530KR8W6W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wnyc (mul-down u56965 amt-token-wstx-token-wnyc) tx-sender 'SP214M5BGKFNZ0VERMHE3JQKFHBFHE7WNHTG75D38))
(try! (contract-call? .amm-pool-v2-01 pause true))
(ok true)
)
)
(define-private (mul-down (a uint) (b uint))
(/ (* a b) ONE_8))