agp223

(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-public (execute (sender principal))
	(let (
			(migrate (try! (contract-call? .migrate-legacy-v2 migrate)))
			(finalise-migrate (try! (contract-call? .migrate-legacy-v2 finalise-migrate tx-sender)))
			(unpause-amm (try! (contract-call? .amm-pool-v2-01 pause false)))
(amt-token-wstx-token-alex (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx .token-alex u100000000 .executor-dao u40231994032505 u583351238914645))))
(id-token-wstx-token-alex u1)
(approve-token-wstx (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wstx true)))
(approve-token-alex (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-alex true)))
(oracle-enabled-1 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx .token-alex u100000000 true)))
(fee-rate-x-1 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx .token-alex u100000000 u500000)))
(fee-rate-y-1 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx .token-alex u100000000 u500000)))
(oracle-average-1 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx .token-alex u100000000 u99000000)))
(fee-rebate-1 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx .token-alex u100000000 u50000000)))
(start-block-1 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx .token-alex u100000000 u0)))
(amt-token-wstx-token-wxbtc (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx .token-wxbtc u100000000 .executor-dao u17463024930593 u553308320))))
(id-token-wstx-token-wxbtc u2)
(approve-token-wxbtc (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wxbtc true)))
(oracle-enabled-2 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx .token-wxbtc u100000000 true)))
(fee-rate-x-2 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx .token-wxbtc u100000000 u500000)))
(fee-rate-y-2 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx .token-wxbtc u100000000 u500000)))
(max-in-ratio-2 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx .token-wxbtc u100000000 u60000000)))
(max-out-ratio-2 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx .token-wxbtc u100000000 u60000000)))
(oracle-average-2 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx .token-wxbtc u100000000 u99000000)))
(fee-rebate-2 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx .token-wxbtc u100000000 u50000000)))
(start-block-2 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx .token-wxbtc u100000000 u0))))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6043 amt-token-wstx-token-alex) tx-sender 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3173 amt-token-wstx-token-alex) tx-sender 'SPGDNZNM88EKF43S17MEWF4RF61F51SF470FAS1S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u106649 amt-token-wstx-token-alex) tx-sender 'SP1VRYN3NA31GQY42AAGTAR5Q0VX2XMR1ZV8JBQF6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u83311798 amt-token-wstx-token-alex) tx-sender 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u67 amt-token-wstx-token-alex) tx-sender 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u873 amt-token-wstx-token-alex) tx-sender 'SP3T4V2M2DC32HQ4JMHESEAF1VNMZB4NB4VE6R9H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4982 amt-token-wstx-token-alex) tx-sender 'SPVXVTS2VKJP6JSJ9AZNP675HC50VKBMAMRC5TWW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6019 amt-token-wstx-token-alex) tx-sender 'SP1DY2QDFZAR8VK5S9DMYW2AW0WXQ16NNRG3PJDTX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9406 amt-token-wstx-token-alex) tx-sender 'SP1N795J07RQTKKGXN1K1CBRR6PF7D37YBEESTQZ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1772 amt-token-wstx-token-alex) tx-sender 'SPTBH1YJX2YK57A4BPMQ2V15HZDKRGMS81FC3ZTK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3687 amt-token-wstx-token-alex) tx-sender 'SPSS7WAYA17Y8Z5Q6GJTMH4FH4MRJ7HZZ6JPGAGR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u23050 amt-token-wstx-token-alex) tx-sender 'SP1GK1YMVRYZAFQ5BCMZ8KQDXGGFRZ8V3GF1PX0KH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u402 amt-token-wstx-token-alex) tx-sender 'SP3R9GNYS48EDDEGA2W5HT3RNTH4YQAM7RENN4D96))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u52743 amt-token-wstx-token-alex) tx-sender 'SP3YBDJN4148FZA6PMFHDX02M8CG7A329DWYQTP2S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6373 amt-token-wstx-token-alex) tx-sender 'SPN5QFWNVPNWZPWNG70M4481R6XPEJPSCXPMYNBF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u41676 amt-token-wstx-token-alex) tx-sender 'SP2507VNQZC9VBXM7X7KB4SF4QJDJRSWHG4V39WPY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5820 amt-token-wstx-token-alex) tx-sender 'SP25VX80NQGVZTN2F7H78VT6G2WB0PZXQS17KXEHQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u742 amt-token-wstx-token-alex) tx-sender 'SP14FNHYQGR5VJ5MJ2MSN2GP50VEWFX2164SZAX2G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2297 amt-token-wstx-token-alex) tx-sender 'SP3Y01J7E34TGS06DK5K9JGTRQN2TXTR2SFD0Y3WZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2611 amt-token-wstx-token-alex) tx-sender 'SP30HDQ1WGZRD1YTBRPPPYZHKQJ7E8CVYZCTHXKVX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1820 amt-token-wstx-token-alex) tx-sender 'SP1EGJAZTABX4M3F00SMVVYWKJBG9GRJY125JXSS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2538 amt-token-wstx-token-alex) tx-sender 'SP291RNBHHZPZ3K3QH20B5S18S1H5QJSPCD0MW4F5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u42890 amt-token-wstx-token-alex) tx-sender 'SPY4SJT33FZBBCVJ7A4RBNCBBN651GXXP94GFKBF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3016 amt-token-wstx-token-alex) tx-sender 'SP3JEGPDXK4ENNSHD64HYTWB0Q2QX9XJFKCBDYXRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3193 amt-token-wstx-token-alex) tx-sender 'SP3TT73481WZQ49J0VEZNHZP0J8EPAVGD1HXW4F5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u31380 amt-token-wstx-token-alex) tx-sender 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u28713 amt-token-wstx-token-alex) tx-sender 'SP314E6K9TJK511VW56X8ZDGSPFZ7HHA9HJYJQA6J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2367 amt-token-wstx-token-alex) tx-sender 'SP37FG6TBSYCXT97GCSR76SCGK23ZN31G8ECN9Q6V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5576 amt-token-wstx-token-alex) tx-sender 'SP1DE45YFZ9G9CH1KZCE4T4WAA97N3KHJK56YQ99J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u76620 amt-token-wstx-token-alex) tx-sender 'SP3N9GSEWX710RE5PSD110APZGKSD1EFMBEWSBZJC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u24216 amt-token-wstx-token-alex) tx-sender 'SP3J9J71T02XB5C4PJJT3FZ1FASYJ4V8XMR6QY8D0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15114 amt-token-wstx-token-alex) tx-sender 'SP376KJGHBBPEH35VWSB45QQNZZAPACT578WH0ZVE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u77028 amt-token-wstx-token-alex) tx-sender 'SP2EV31SMG1FTAB89CVRXXZEWWE0M9AXB9ZP8S4NB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u409 amt-token-wstx-token-alex) tx-sender 'SP1EPBKHN6PTKE53R1RSDJ8FH531CTNZYRQC33X1E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12107 amt-token-wstx-token-alex) tx-sender 'SP2Y2CTF16EZSN138T0Q8EDY6P1QZVE7QDX5F51H1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3932 amt-token-wstx-token-alex) tx-sender 'SP27EB334MZNGZHA1T78MHGMM19V1FZ0HGSAP7EE5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u17913 amt-token-wstx-token-alex) tx-sender 'SP129SXC2YE4VM9ZXWXF1WSRT8M5BGAEZ0PQK685D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4616 amt-token-wstx-token-alex) tx-sender 'SP31KBGD3CYC5FFADFDH1H5H18QZ8T5P74HM9NH3Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3148 amt-token-wstx-token-alex) tx-sender 'SP2K0XC023AT9D2JPRMBTNA8X3KCFHAX7EANR21MF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3332 amt-token-wstx-token-alex) tx-sender 'SPE8YKV4EASHBTV4XTHWPXM5SB9HP4DV4QAVBWKR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u14780 amt-token-wstx-token-alex) tx-sender 'SP1VTEGNYRYE2XXY8R2WK9CF50PD2315TS7CF3ZBE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u565 amt-token-wstx-token-alex) tx-sender 'SPP4TW2D6YE3F44JYTQRKPWXT19DJND5JH0NRGFQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u11062 amt-token-wstx-token-alex) tx-sender 'SP3W6S6Z5SFM1Y7B38071T2FHM6BN9F5B38R7NG3W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1747 amt-token-wstx-token-alex) tx-sender 'SP1HCKCWNY6FGHD6BZSW8DJEYAHC9242WEHGZXZRD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8461 amt-token-wstx-token-alex) tx-sender 'SP3G3S67B9ZC3GHEZ58BVTVQBEDH54QJJRPAXYC52))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u21387 amt-token-wstx-token-alex) tx-sender 'SP1088KJRR9NTEJ2C6KNYEAP0TF0VW3NXWZKBEDEW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3344 amt-token-wstx-token-alex) tx-sender 'SP26E13GF86V767W9PFCC65TA43AS1VCEV52HC8RP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20346 amt-token-wstx-token-alex) tx-sender 'SP2ZKNW126YBGDAD6EGW60XS6ZRW3T00HWXWJJJK7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u657 amt-token-wstx-token-alex) tx-sender 'SP2NXCKWDMCMJRSSFY8E3VB24N4VZKPFQ0K1CKGXH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3244 amt-token-wstx-token-alex) tx-sender 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2093 amt-token-wstx-token-alex) tx-sender 'SP1A2JSM4NW94QKGTKEV35ESBJYK043GSJPC1SMFR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u876 amt-token-wstx-token-alex) tx-sender 'SP1E92VQERM10B4Y591XVJ4RKZ6RBQD8SFT9JBJ7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3821 amt-token-wstx-token-alex) tx-sender 'SP3DADFZ5M352BV2XZY1RSPV307QH0JPKKEQMFAP3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u24559 amt-token-wstx-token-alex) tx-sender 'SP2ZV5SJK2VJDKDS1Y7RG0HHDAVG2ZGMVJ9FA8BJ4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u335 amt-token-wstx-token-alex) tx-sender 'SP2ABXSRYRTCSP5TRWQMB42R2DJVA4XDZHAH0Q8B2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4019 amt-token-wstx-token-alex) tx-sender 'SP3MAFVDXKHE0BS406FQWDVT9TFY4SFKTYA88W5D1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7638 amt-token-wstx-token-alex) tx-sender 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u28280 amt-token-wstx-token-alex) tx-sender 'SP16XD8Q7JD8Y2Y93S0WZC6WGN421R57V0Q56R7CX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u319 amt-token-wstx-token-alex) tx-sender 'SP1RT51E2FZ9YFHAHQ3VWP4KBWZB4NP1AMTWH36QA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u27829 amt-token-wstx-token-alex) tx-sender 'SP28G18WASCMRJ3DQ8V0YQ8WX07CJFJ5K3VMCG28K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2132 amt-token-wstx-token-alex) tx-sender 'SP35NCEF82H2ZHWPMDP2CN5W0Z7WM1882BS9YS9SB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u40155 amt-token-wstx-token-alex) tx-sender 'SPKPA06RC4DW68HGDS3CFEXT7ZH7QPMGM97B7K02))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9202 amt-token-wstx-token-alex) tx-sender 'SP2N6M6T52R2ZE64PRASE77S7Y7S62TYHMXWKTGS7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5594 amt-token-wstx-token-alex) tx-sender 'SP35JN1Z0BQ5EJEZ7KZARMP8BZ142QJCZ5DD4WP43))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13834 amt-token-wstx-token-alex) tx-sender 'SP3NPXKC8VEDN29YRWTEC1RYTMP8VQA600X7KB0Q4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7739 amt-token-wstx-token-alex) tx-sender 'SP2RANYBCSDN4BP3C2TNH47KZJG8VDDFFP3F0CXXC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8295 amt-token-wstx-token-alex) tx-sender 'SP2WVGMGA4G94Z2WJJHZP3A22GF8K0053YA76EWZ0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8183 amt-token-wstx-token-alex) tx-sender 'SP2EX2QM21BYN6S1DT3WWZ0EE9TBRW29PA1Z5YZ3F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8126 amt-token-wstx-token-alex) tx-sender 'SPVX3X1QN9SQQ015QANFS9YG196FD4BZG54CWV0C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u68385 amt-token-wstx-token-alex) tx-sender 'SP2G51DZCK7DQNHKSD532MGPX3Q8ZEJN1812SS9KR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u25 amt-token-wstx-token-alex) tx-sender 'SP16KK2MDD0YG2RAVX107BA6NERPQSB7K7N98652X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10173 amt-token-wstx-token-alex) tx-sender 'SP23A1FJTDSBVJC56R2M8MZCABXMJVZ39R6DFK3DA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15465 amt-token-wstx-token-alex) tx-sender 'SP1J96K52FC97M0YJBV07PSRRA20V80350WV9K04V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6595 amt-token-wstx-token-alex) tx-sender 'SPKMDV2NW572XRSP68Q2FR9FX0PCC7HVEJA3F16))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u514 amt-token-wstx-token-alex) tx-sender 'SP1KSRB5AWV38ZZVBNV5M151ZQRNS0Y3GM3BJMBTY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u44948 amt-token-wstx-token-alex) tx-sender 'SP2WDRAP0PQX87DFH9HKP1ZN6KY2C9JMA385EE69F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u38 amt-token-wstx-token-alex) tx-sender 'SP2Y4100KMZRETXGYPJQC59FC0F7JNN7CBP0B5C7J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u92125 amt-token-wstx-token-alex) tx-sender 'SP9ZHNMSXZCTX02Q4QCVR908954KHN6V6Z3ZVSJA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u92203 amt-token-wstx-token-alex) tx-sender 'SPK8X8Y4BP5JFCW1XQN58V6M5GN4W9FV5D461SH0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u120 amt-token-wstx-token-alex) tx-sender 'SPP6MHEKSCRHEFX5KXF461RGKAD14KHGFW9AKF4T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9295 amt-token-wstx-token-alex) tx-sender 'SP22HXPF4FW4SGEM3VJ753EJKC049RHEFT66KWT78))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u88669 amt-token-wstx-token-alex) tx-sender 'SP2BE23QT2F5WA71J8R4GVVDZ7GG65BCHCSP3FE9T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u81952 amt-token-wstx-token-alex) tx-sender 'SP30S26R8CQENWHD2SVCXCE9517T0W6CKVXZJN08R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u83034 amt-token-wstx-token-alex) tx-sender 'SP1C7ZNXECGDVRZRTCYSMHBW7XS04TNSC1CXR64S9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u46 amt-token-wstx-token-alex) tx-sender 'SP89SNBF4E50J4QC16WQ43FW20VR5SZW7N89B9GH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u42137 amt-token-wstx-token-alex) tx-sender 'SP2FB1N6G6SPHMG8PWG1K4FF8D4V5A10S95VJS0M5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u102771 amt-token-wstx-token-alex) tx-sender 'SPH2HDZSEJD4EF3HJD12YGF7ZXAA6Z37CJCAY0XT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3835 amt-token-wstx-token-alex) tx-sender 'SP1C5YMHVE4ARYYKR2J93XT6FMCW3PW9TA3A2V075))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4564 amt-token-wstx-token-alex) tx-sender 'SP3P2S1XKY6RXQD0C3859E0F7Y5M15WCF214X1W17))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1216 amt-token-wstx-token-alex) tx-sender 'SPW45P8YYEFMJY86PM59A6V8T4X3H3631KJF3047))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u168544 amt-token-wstx-token-alex) tx-sender 'SP150DVPJWPM6MNTKHJ7H76ZTHD77CEBQ3KXVDATN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10919 amt-token-wstx-token-alex) tx-sender 'SP142W2JWH0RQD28S9WYQAGNDR2FY9EK577S691DR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1443 amt-token-wstx-token-alex) tx-sender 'SP343PX7QRZMPH7X4WD4R15YZ99HRB0P6P50RGGEM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1676 amt-token-wstx-token-alex) tx-sender 'SP3FZ6FZ3HN0WRQN9VAPE0CSPCS53ZYKAPGE8WHR7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u537 amt-token-wstx-token-alex) tx-sender 'SP3GRRR7F2XRP6B6VJ0PCVPT2K5MT7SJ6TWD4M8MQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u563 amt-token-wstx-token-alex) tx-sender 'SP1YBDQK4VRJBDHKZT3EP93NNTJQYNZ9RCYF4RF40))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8422 amt-token-wstx-token-alex) tx-sender 'SP2T7TN4K8AKB1V66WE6MC50YJ1PH72C8WYYWFHRZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8446 amt-token-wstx-token-alex) tx-sender 'SP31VF19KFN3TNFGVA8081MM5AVGB6WSA6SFSV410))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2524 amt-token-wstx-token-alex) tx-sender 'SP35F2WARNPHVC77BM55G7BX1M8DGCYQ9EF3BZKT5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u19086 amt-token-wstx-token-alex) tx-sender 'SP3YMA76EEMEJF84G4DVQ5DDTZVTFWNXSEZSEZEKJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7436 amt-token-wstx-token-alex) tx-sender 'SPF2TQYZEWQ2K7G8EPV24NCZ78HB7TADBKE441ET))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3044 amt-token-wstx-token-alex) tx-sender 'SPA7BGE9Z191QCQ2Y0TCK85GGJCYS32V4DXECGZW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u39364 amt-token-wstx-token-alex) tx-sender 'SP22BS746J78CJB9QR76W9PRXMDXV1MY77SPV7XSX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1206 amt-token-wstx-token-alex) tx-sender 'SP80QVP2QX2X97VCE19ZDPNGXVHWV1JGKCG6TM9W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2445 amt-token-wstx-token-alex) tx-sender 'SPS7C9B67V5TYVMF883QS6H0NM053MYA328QPKKC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u302413 amt-token-wstx-token-alex) tx-sender 'SPBNA8PSRJAAPJXYQ50R40ZZPDN6NG7NQD64QMWZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16356 amt-token-wstx-token-alex) tx-sender 'SPP96RTM53XTT2W2WBJESDQFM9BGDHG39RD8WQ4G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u27482 amt-token-wstx-token-alex) tx-sender 'SP168X2TZYA9BC0WNQMZHKVGAEZXY8QRQVWKTB7A9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16945 amt-token-wstx-token-alex) tx-sender 'SP2AN1HZ9DQNA618CXY85QJ6R5Q1W0S2R18MP8DX1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u942 amt-token-wstx-token-alex) tx-sender 'SP2THRYZRPYKMGMQ0126VGM0BRF7Z8B72M0VQWK17))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u11460 amt-token-wstx-token-alex) tx-sender 'SP3JFR11D4199TWCWHJKRAHZHSE1N6GMDGH0PE7H6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2395 amt-token-wstx-token-alex) tx-sender 'SP2SZGJBGRKYQ4TCQY708VT1JVS3SEBZ637NGBRMP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6811 amt-token-wstx-token-alex) tx-sender 'SPD4QA81GKZPSJGC3EFWWD3ZCKN67VGN435VYJR7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u26760 amt-token-wstx-token-alex) tx-sender 'SP32XJDXZKCSDRCN95KXQ8H0KX7QY2MYM06DMQKZ5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20089 amt-token-wstx-token-alex) tx-sender 'SP2J9GM7A7K15561YT1BFE1MXS801FY0KQXRWTRWR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u685368 amt-token-wstx-token-alex) tx-sender 'SPSS73RCY2NXTHPZYSBBD7CPBR7C3V9T49HE2SEY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6954 amt-token-wstx-token-alex) tx-sender 'SP1AVZDCAFBYGY0Y320ETPM00N3NB3W2XKK6GR6Z0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2790 amt-token-wstx-token-alex) tx-sender 'SP32ZD583PMAC87WWBAYDD3R5T8BB4SJFRV82K2SG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1119 amt-token-wstx-token-alex) tx-sender 'SP2DBVB0R115GXMTKW7MC5DFMSEVJRVZ03GCG8E52))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12673 amt-token-wstx-token-alex) tx-sender 'SP2CMBANWMDES05EW5N6YJM3ENW7ZFERJA2WC0QFB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7548 amt-token-wstx-token-alex) tx-sender 'SP1XFGJY076GM3KTVN9PB6PQG93XSPCXGZZGJ8RBY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4649 amt-token-wstx-token-alex) tx-sender 'SP3X0N9RZRQWFZX85SRN69TVF863D4J661JT0BXAM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1304 amt-token-wstx-token-alex) tx-sender 'SPRQ4SC5TWY3GP4D6CN6NTTRG7ZM8DP6RFWBBZEV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9330 amt-token-wstx-token-alex) tx-sender 'SP2FK4856MA99MEE96JM1XC87X2WH7N0Y6TE4K3S8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1761 amt-token-wstx-token-alex) tx-sender 'SPDNQC0MHWHP6QFG6H086P1P23YJ2VNTBWG6A6D9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8971 amt-token-wstx-token-alex) tx-sender 'SP36KYYZ276PBCDZAE84W55Q55SMDPCSZ5PC01F6P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1226 amt-token-wstx-token-alex) tx-sender 'SP2VDGYC2GYN4HFJRKCTD9JC6CVGWDQV9HVAX9X5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u52177 amt-token-wstx-token-alex) tx-sender 'SP1EVZP9AMTH1044MZXF99GSZ9DJ5600G0VQSX95Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8325 amt-token-wstx-token-alex) tx-sender 'SP274F12B4RQ2BXJDY7EY47FYW6Q0NJ731BWSKZTB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15717 amt-token-wstx-token-alex) tx-sender 'SP1JBVHG45JQJJCKQ282T99JAKVGWCNDZNT060SK3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u14446 amt-token-wstx-token-alex) tx-sender 'SP23G2SPTY7J74XD203J2TQM7DNEW8JT3DG5E6RE0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u333 amt-token-wstx-token-alex) tx-sender 'SPC4RXWZCV0M0YG2JB42NZ9H3PA806NY7M9P42KE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8590 amt-token-wstx-token-alex) tx-sender 'SP1F82BDG73RJHW9T29MK69M9J3B3HK06Z5M8C20B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8027 amt-token-wstx-token-alex) tx-sender 'SP1DZJ3P3XEZPQ3WRESFG4A1ZB0DQ1XXBT07542JP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u28280 amt-token-wstx-token-alex) tx-sender 'SP1KEQE4XS0FGJ1W4DF84YA8QTZAETXAY3GZC9103))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20962 amt-token-wstx-token-alex) tx-sender 'SP1HTMQJEZ31WB8XKFPVZJNAXXY1H97GPRE0W7QXZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u17715 amt-token-wstx-token-alex) tx-sender 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1113 amt-token-wstx-token-alex) tx-sender 'SP2C3ZB5HCHJ8A0Z239EB97ZNAJTMNN0879HKMMJW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u625 amt-token-wstx-token-alex) tx-sender 'SP2MJE03SMTN1ACZF2PMA5HT1Q7R02WN514Y04YE9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u241 amt-token-wstx-token-alex) tx-sender 'SP1YSN451HPKRDC4DGA1TWEE25TG4FT83CY71PN4R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20692 amt-token-wstx-token-alex) tx-sender 'SP3X8N0NMX1WT4FW3QRC23B09XMMGDB6ZDY29ZP0T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4181 amt-token-wstx-token-alex) tx-sender 'SP13473ZZ772R27F6MK7B8MZ92P3G1PP239RTPA4K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u475 amt-token-wstx-token-alex) tx-sender 'SP1G866Y9W4DMYXY3Y0KP6EBDKEZP4PJP69A4BRRH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u21 amt-token-wstx-token-alex) tx-sender 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3608 amt-token-wstx-token-alex) tx-sender 'SP5TJM5B2Y7DKQF4RYQ27WFTMA7EKYNAJHVHJXXN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12504 amt-token-wstx-token-alex) tx-sender 'SPWXD62STES9575ZZ6KG4KCP1G67QMC0QKDBS0JK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13121 amt-token-wstx-token-alex) tx-sender 'SP9W9WPTQ1P1WNEDKSR8HS4G05WFD5SDAZB0PQTQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u93478 amt-token-wstx-token-alex) tx-sender 'SP2DKTTGR427YK85P31HRAR27J753MB26A9QAB1B5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u41840 amt-token-wstx-token-alex) tx-sender 'SP30J1EQ73G2EZ41R0QZS5P8BHGN11DTXNZTJMFXW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u28079 amt-token-wstx-token-alex) tx-sender 'SP1W13XCWQZE76VBSKWD1B5FW3QPZ2ECH2JH6MWJZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u62474 amt-token-wstx-token-alex) tx-sender 'SPYAX2RNZA18KQA8Y0S5G393QBE8SWPNZ6R08XNH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1176 amt-token-wstx-token-alex) tx-sender 'SPPZ2SNVDBKSHZDQ2HBBVMB5HEHAXRC3T8CQ35EA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u60157 amt-token-wstx-token-alex) tx-sender 'SP2R7HA42FBVPE9QYP77XYY90C0NR6Y09KTPACQ3Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u11793 amt-token-wstx-token-alex) tx-sender 'SP3A57GS6GYEK7ZCV6XWV9KAFX6FERX9NMBKD7TSD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5778 amt-token-wstx-token-alex) tx-sender 'SP1AH2EPY4YWTR0BV3PDX9DGTCRH5488SKZGH3C8P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u230 amt-token-wstx-token-alex) tx-sender 'SP20MC37BYQ6SKR986ZGMKFM65JMYJS5A5H0XVQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1191 amt-token-wstx-token-alex) tx-sender 'SPMNM4PET76RKHYGHKZGJ8MRZ0NAXXZKY5AH2RE4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6132 amt-token-wstx-token-alex) tx-sender 'SP1VE1EVBCRZ24181NDG4R8S85SX3E7RVE6WN5ACH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15499 amt-token-wstx-token-alex) tx-sender 'SP2WX5BNJCCD5TDAWY3CVRH8NND6PEZA470EGGST1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u17383 amt-token-wstx-token-alex) tx-sender 'SP1XACS2ET7YHXR2JN2CZG1P9994RW19F6HPBFJJY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2658 amt-token-wstx-token-alex) tx-sender 'SP1TNCWCF06Z1B8XNETKFJ2EK96VNSR07Y13WW642))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13539 amt-token-wstx-token-alex) tx-sender 'SP2Z6QJRRK71W3M3CRAFYBM5VWD0NRVW9BA2JNXWD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u852 amt-token-wstx-token-alex) tx-sender 'SP1RZ2G04HV54ZVDW1S64AFNJSYY9NZS8XZQ4C31N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u38323 amt-token-wstx-token-alex) tx-sender 'SPXQGJK7ZVMSW3RF7P0A5ENGJVN22MX8XY8G8WA4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13611 amt-token-wstx-token-alex) tx-sender 'SP2YMKSFMXNM53H2Q7A9JMNXEP6FSWR8ZJ3YXF5QW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10958 amt-token-wstx-token-alex) tx-sender 'SP1VKT3RYGT4SETHCN2CET3YNRP9911894PV4XK72))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u385381 amt-token-wstx-token-alex) tx-sender 'SP2A4QSS2HQJTF5Y8BGB9VXF5F6MPEP28SJYMF719))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u14394 amt-token-wstx-token-alex) tx-sender 'SP110TAR7RZE8ZTHMTMZYN76KT4440CS1KADFCG2B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16982 amt-token-wstx-token-alex) tx-sender 'SPDGZSE46H7WK9F50JWYQ76PVAT618NB5AX8SB7C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u60468 amt-token-wstx-token-alex) tx-sender 'SP28HD045XXF8TV03PYDMWPY1N5KF7DX8FJ4P09Q5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15247 amt-token-wstx-token-alex) tx-sender 'SP1X11HKCJ46PT9GSRS1PRYA53NB1VZ5P2B7KGASE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u191160 amt-token-wstx-token-alex) tx-sender 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u30930 amt-token-wstx-token-alex) tx-sender 'SP299EWYXSCWDZJGKH6SA45GB5R5ZR27NJE1180WX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u29770 amt-token-wstx-token-alex) tx-sender 'SPV6W61SNS5GD8QMWNGREEY2K43HMJNA7MWW3V0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10713 amt-token-wstx-token-alex) tx-sender 'SP1M5XE7YDTB611NVT6TQ9BRMB999NK4G6XDT5PTN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u33920 amt-token-wstx-token-alex) tx-sender 'SP2TJ5FC1BAK94M8BX6J14GCXA77B90T2RK4XXW73))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u570 amt-token-wstx-token-alex) tx-sender 'SPP7GAXXMKYJ23MVZ84SNX3NTNNPHEJGJSCB7916))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7277 amt-token-wstx-token-alex) tx-sender 'SP1HB6HT2Z4N81M84RGCH1DGY8T4HJCHZQ7EHMCT1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u23101 amt-token-wstx-token-alex) tx-sender 'SPXVMCC1PVGPAX3HH708V10C9XZCTHKG1PHPQN4X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u44296 amt-token-wstx-token-alex) tx-sender 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u437 amt-token-wstx-token-alex) tx-sender 'SPVHY7B41YJNVCRXPE6Y03C5K6GV13CQ4PGRZTXN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1250 amt-token-wstx-token-alex) tx-sender 'SP30NW3GJSD4BYW9W282FY1HVQKDENQC959TV1TF4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16186 amt-token-wstx-token-alex) tx-sender 'SPP6TX1NNVT34BTJT275VK1VSGB6R5TZJ5V397TR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2648 amt-token-wstx-token-alex) tx-sender 'SPZ46S0MESBN4BWJAK0N9ASEEEE3RVNDWE4TXENH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8082 amt-token-wstx-token-alex) tx-sender 'SPC7B9KYR670RER8M9FXQ9NC99C5RQ63BM0Y1NVS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1877 amt-token-wstx-token-alex) tx-sender 'SP3MYVMMV18GE55DKXCBCHAC4M0SG6FC8BAT5FM1A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15584 amt-token-wstx-token-alex) tx-sender 'SPFQMF0E6A9S9VGRE1QJ1R76AHP29NDA0T4TCHS5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u725 amt-token-wstx-token-alex) tx-sender 'SP1WVM3RJWFADMZTQFC3DK5MJ9C3EADNV3J472KG8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12621 amt-token-wstx-token-alex) tx-sender 'SP3HC48G5AVKD09AW5V4DZC10ZH8B1MS46CZYPQ24))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3835 amt-token-wstx-token-alex) tx-sender 'SP268VXKAWK3GC5WEYE17GDEK9PFSPR3RADGAR6NJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u876 amt-token-wstx-token-alex) tx-sender 'SP1YMBJN4BFMT5QHS8KAVS0KDDV10V5X17H69R9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6249 amt-token-wstx-token-alex) tx-sender 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13901 amt-token-wstx-token-alex) tx-sender 'SP21FM69MHJSWNJ6VJQV9E88Y9YVCFGDVE9983HD7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u180789 amt-token-wstx-token-alex) tx-sender 'SPA9V8SP7R14YRXB9CHK9YGHPZ260ESNAMHEP6Q6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3 amt-token-wstx-token-alex) tx-sender 'SP1FV4FZ8D32S7GKYRPFWK6YHRJE5BZEYKABK72Q3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u270743 amt-token-wstx-token-alex) tx-sender 'SP2W7B2Y7FQM4QGX6THMBT8491017TFMQFWNFNCV1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u66 amt-token-wstx-token-alex) tx-sender 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2883 amt-token-wstx-token-alex) tx-sender 'SP3S6NYPVDJGV8T7WMT20V85RN85HZX3HDCDVWB5J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4459 amt-token-wstx-token-alex) tx-sender 'SPPEN6K11RKJGB5MGGDYG5FBFT6QMQNPYWPJYARE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1880 amt-token-wstx-token-alex) tx-sender 'SP35PPXHMC70N3RSW8J0WE951QC07YCT43ZBEQSC2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9897 amt-token-wstx-token-alex) tx-sender 'SP3Z56ZZ7GQPT7WBH4MTHG11G0HCT3PPZV0BKXFZY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u15 amt-token-wstx-token-alex) tx-sender 'SP37N35P4903CB8S91SHHYYQ3Q44Q3HCJSBP8DCVF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12722 amt-token-wstx-token-alex) tx-sender 'SP1PTKK0ZJGRVVN8Z6E7PG2SZQ3CTCT5FY21MDBVP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16857 amt-token-wstx-token-alex) tx-sender 'SP3X6QG6ZHB7HNP3RMQFXYRMF2TWBHN0CWG3GYZ5N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16154 amt-token-wstx-token-alex) tx-sender 'SPEEGKTHR5481MGR2NFRFR16ENSF81H0VBNAPQ55))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u56372 amt-token-wstx-token-alex) tx-sender 'SP2F9G22Y4SMBEDCC3ZT662127BCRJG8X8G25M9SH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u214 amt-token-wstx-token-alex) tx-sender 'SP3BVJ0KRTAAJKFW5WY5Y4AD7HK0NAPFT6WTPDNDV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6479 amt-token-wstx-token-alex) tx-sender 'SP9T6ST442QJTQ1FN24AKJQ8GX9TDS3C9TSXQXP0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6953 amt-token-wstx-token-alex) tx-sender 'SP3DVNQ3VAAYCE12XQ2GTYMCRQAS1EY7YD5J83WZQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u70607 amt-token-wstx-token-alex) tx-sender 'SP1000F8B2VKSDBD3RP2MVAC9Z1TEH0QAGMDTSD6T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u475 amt-token-wstx-token-alex) tx-sender 'SP6EDTGC5ZG0WNT5R027H1N0TANV0C47DZVD46XW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5930 amt-token-wstx-token-alex) tx-sender 'SPBCMGYYPQ2E7YQ6SKXV1BEDJ1MV217WC6THYAZV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u14969 amt-token-wstx-token-alex) tx-sender 'SP5R7H0V1ZX3KFP9PCM6JWF2TQ83MQJ4PFY4K48S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8864 amt-token-wstx-token-alex) tx-sender 'SP2AGS2KMZ81GKHWG4NSTQDR768S8V5BZN3NRD4FD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u359 amt-token-wstx-token-alex) tx-sender 'SP1BHNCAMAE5RADAZWZVVQCRT59JZTHZ9SB6EPDQN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u34465 amt-token-wstx-token-alex) tx-sender 'SP3DESCF6VM0HASBWAZTF3FM9DABG7QZ57ZP31DGW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3154 amt-token-wstx-token-alex) tx-sender 'SP3VWHJ49KVHNEXRHVPVN00W3D9DF7FDWE4B6NFRG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u57027 amt-token-wstx-token-alex) tx-sender 'SP8HHTB8AFAMVZYJFZW9Q42WNM9F5FV5WCFZMDV8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7383 amt-token-wstx-token-alex) tx-sender 'SP1FZ221978V376YJQXYH3HH8EC09WW06B4ACMRWR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u36935 amt-token-wstx-token-alex) tx-sender 'SP1DNDQF2EPA022NWBN090W863X992WAGTW84ZG4F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u56207 amt-token-wstx-token-alex) tx-sender 'SPQWG4RR0DVYMP1H0CF1AF5GJANY0FJDAKG5BRX8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u23858 amt-token-wstx-token-alex) tx-sender 'SP3P4KEHEX4J1ZQT663JXF2QCPT2ATW32JBKXFAYX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1032 amt-token-wstx-token-alex) tx-sender 'SPY0PS5CYV12EBGH7CMCD98RGAP3CW24W2CNQN4G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u110095 amt-token-wstx-token-alex) tx-sender 'SP3YVFH0AY4H0FFHWQB10V1X9NZ5Y00WKE16PH246))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2999 amt-token-wstx-token-alex) tx-sender 'SP1FGM5QJ87VZSZNR65FHG3C2F8Q05Z519GDARGHW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u23192 amt-token-wstx-token-alex) tx-sender 'SP17NPEN9RYNCJXYZCEGY3X7FDBZF9SGB7YNDGEFS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u898 amt-token-wstx-token-alex) tx-sender 'SP3FYANEPQWPMB6AC6QF65Y78X2HRAE1YKTFA4P0A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7169 amt-token-wstx-token-alex) tx-sender 'SP3SJR5EAKKG1MJ4046BAB7R93X44C9KYBYMN8JEQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3300 amt-token-wstx-token-alex) tx-sender 'SP2M1KF2GAG1SX1GSGA0YYAWWF9H5C0KS0QZSABXC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u74 amt-token-wstx-token-alex) tx-sender 'SP1M2KMGZH26GBB5PMMYQ5WB06Z4BTXJAJYJ77DE9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1396 amt-token-wstx-token-alex) tx-sender 'SP2D3RWCJEB13VNMXKQXPTGTANJPXWZQXA4ZYK3AR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16134 amt-token-wstx-token-alex) tx-sender 'SP107Y0E3X1862WMRADAVADR5X35S1242HY2YCNHR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3805 amt-token-wstx-token-alex) tx-sender 'SP3CV23QM1B0J3QG5XR8GJJ8E7TGAMX8AXTZG7JGZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u473 amt-token-wstx-token-alex) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u83 amt-token-wstx-token-alex) tx-sender 'SP220F0NQETFEVMFSXG3N4GV7V6PD31NBH7VZGFTN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u135 amt-token-wstx-token-alex) tx-sender 'SP3ZBTBZGT7Z48EXYQGYJXYMT6JHFC3CH79HBGZ71))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20321 amt-token-wstx-token-alex) tx-sender 'SP1CGCD9MFN1492GR2A90V42416V0P4K13WJ69HBN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8319 amt-token-wstx-token-alex) tx-sender 'SP9YWA1T3V98ZBPXTVTFKJ3BQ7K89NVMJEEENEQ6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u22588 amt-token-wstx-token-alex) tx-sender 'SP12M0EPQ3FTS5C2873256WWDKJ374M40MT2P8J5C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u36515 amt-token-wstx-token-alex) tx-sender 'SPST8K5E39TWMHP7WGZQCZPFA09GHN5B4ZHXW5X0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u764 amt-token-wstx-token-alex) tx-sender 'SP2M5YGRBM1WD9PNFCS0SX2S15PAVEGN9B8VAAR0J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2017867 amt-token-wstx-token-alex) tx-sender 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u19879 amt-token-wstx-token-alex) tx-sender 'SP1ZXF5EQHDDGWY58AXCF0MBGXH07QENA757DPVMV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u139734 amt-token-wstx-token-alex) tx-sender 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5177 amt-token-wstx-token-alex) tx-sender 'SPHHA3Z0AZ4TAV4T17SZ4TWNMMFEWS8J3PSSKYSS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5302 amt-token-wstx-token-alex) tx-sender 'SP3GQSP0T73DQMR1K7B1313W9N6NJQAQH3TKFRWFR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1788 amt-token-wstx-token-alex) tx-sender 'SP357REJB7P8K2N1Z3KAY5Z3APSXHHQCTHRPX1JT0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9465 amt-token-wstx-token-alex) tx-sender 'SP2FKCMAW45S5D0JPW7MERZFQ0D6BXY7MFNREJRZB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9963 amt-token-wstx-token-alex) tx-sender 'SP2VJV0PAY9PP5M38EXZSVQKRDMXXSN8NJW8NFP7T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u3936 amt-token-wstx-token-alex) tx-sender 'SP2G03H4D2D93ECK3BD6AV69TZFSWAZEE4TSSYY64))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1295 amt-token-wstx-token-alex) tx-sender 'SPKFD4ZQ1HYJF53AK93V9FB7MQ0W0NSSV9QNAS37))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2413 amt-token-wstx-token-alex) tx-sender 'SP7383KRJA9AQAY9WS1AKAPG4KAR9ERQM3586AZ3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2490 amt-token-wstx-token-alex) tx-sender 'SP2QK197NC1SWGBJP2TJDT3KP24RZFX7FYHM1BWDA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4706745 amt-token-wstx-token-alex) tx-sender 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6 amt-token-wstx-token-alex) tx-sender 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1303 amt-token-wstx-token-alex) tx-sender 'SPBZ1K54KS3VDGANYJDAD1K40N9CW7R45DH7J542))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1646 amt-token-wstx-token-alex) tx-sender 'SP7X570SPYEX6JMER29NRYHS2BS842D2FTYPS1F2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u297337 amt-token-wstx-token-alex) tx-sender 'SP2EQ6W51Y4Y4XC1CF9GCHSYPM4ZFC0TQR2TNT138))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u112143 amt-token-wstx-token-alex) tx-sender 'SP3J59ZWT507P0PQ04ZT78KFEWP8H8DHKZND9MAF0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1058 amt-token-wstx-token-alex) tx-sender 'SPYSJYQ7FX43HE3SQRJQ399Z63Z5J227T53FHSKX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u38098 amt-token-wstx-token-alex) tx-sender 'SP1ZAFEQGDYYE4E106SCC033ZYPAJVA4YXJDHMZBQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5075 amt-token-wstx-token-alex) tx-sender 'SP3WDZDC2V2JJE6NCD3AHM4HT0GMZZHAC4MD04YJY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u90461 amt-token-wstx-token-alex) tx-sender 'SP1KS600Z9X1Z3QYS22KRF55VCKP0Z3D6KN0DZVHN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2485 amt-token-wstx-token-alex) tx-sender 'SP1CKMCZXZ167RH4HAFM1WZBEVDXB1GTYC0BNTZCD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u95 amt-token-wstx-token-alex) tx-sender 'SPGPACVAHH4AC4G3S53HMSPSMSNR5RYHSK1SCNSS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u538 amt-token-wstx-token-alex) tx-sender 'SP3RWSBBGCT9B6A8D5N450XRK07D4PK6EEWN1AMVK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u183 amt-token-wstx-token-alex) tx-sender 'SP3QTD08SC98ANWMZSQ645TVG600QVT2NXE4J6QHR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u246 amt-token-wstx-token-alex) tx-sender 'SP1TT3TCC5KS2DN8H462H944FK4RK0CYHEG4BJZ9C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u53 amt-token-wstx-token-alex) tx-sender 'SP1MSH9RB966H87BCMXPTRXNKZ5ANE4K405RN2M64))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1 amt-token-wstx-token-alex) tx-sender 'SP14XZRA4HZKK2WRYJYRX97P1CTZ69D3HZ87N4WSP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u8088 amt-token-wstx-token-alex) tx-sender 'SP2FCZ7TQEWBR719B01SNCVTKXXADRSG8BRGWNVSC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u66282 amt-token-wstx-token-alex) tx-sender 'SP3XMS4TS2KKH31KG18FAT4HDMRQTMXCN8RB96VA8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u139852 amt-token-wstx-token-alex) tx-sender 'SP1Y6ZAD2ZZFKNWN58V8EA42R3VRWFJSGWFAD9C36))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u310 amt-token-wstx-token-alex) tx-sender 'SP13R78H5QJ6W3ZVMDM9PYAC78MW1CGXNQ2CJCBFD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u53150 amt-token-wstx-token-alex) tx-sender 'SP38Y2HC33RYVGBXT0WVSQ6RK9D1KHF6W8YFSPKQE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1368 amt-token-wstx-token-alex) tx-sender 'SP36FCYEJG0RTWDNW87F0100YM09B0E9VPD22K94J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4246 amt-token-wstx-token-alex) tx-sender 'SP2WCM6Z1NCYRR5545YR68XKVFJRNXBMPX6EMAV1H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1034 amt-token-wstx-token-alex) tx-sender 'SP1AFB959YW5Y5HPRBKXR5XZG7MNWC22FAHJ22FTE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u33939 amt-token-wstx-token-alex) tx-sender 'SP3FFP1MR2TCZKX01S6MFCHXSWM2T6EQDEGT9X8FS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12955 amt-token-wstx-token-alex) tx-sender 'SP1NHM8MYRGF4CEZKW5Z597FYB467M276GY4PCHCT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1059 amt-token-wstx-token-alex) tx-sender 'SP1GX7PSED4ENYZM4G7ZFAK4FWDDSQR0GFTTQQ9G9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u230688 amt-token-wstx-token-alex) tx-sender 'SP30GW4JGRDRGKNR0T4318YANYVD1WFHX4495FCDM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u4628 amt-token-wstx-token-alex) tx-sender 'SP1M5YRCB7D51AYMRHTBSFDCR2XZ62MHNXH33SNZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u506870 amt-token-wstx-token-alex) tx-sender 'SP91CGE9XZ73HD79WSPPTYF0N6HHB8ANTMY3PD2K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1341 amt-token-wstx-token-alex) tx-sender 'SP8KJVCWQ44RP0MJHGHT9HKMHD52KXH8JXFN6D0X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u22286 amt-token-wstx-token-alex) tx-sender 'SP29JJBRTPJBX4RVZWPJRXYXKEXTEZD6RZXDMW73C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u282685 amt-token-wstx-token-alex) tx-sender 'SPVGT0Y4MERPS6BFGP9VHSJ5P3CWGJ4P2ZG55TBY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u901 amt-token-wstx-token-alex) tx-sender 'SP1ZCXMGABXJF3Y8V83QVA35GMH5EHAV4J2TWASG1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u43639 amt-token-wstx-token-alex) tx-sender 'SP22NM802XYG3CMKSY1F7GJF7F5DZQQ98V5DWFKXW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u31650 amt-token-wstx-token-alex) tx-sender 'SP12PC8VFZAJETD861BZJBB6JJ290CH6GXVGC3BE1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u83 amt-token-wstx-token-alex) tx-sender 'SP2AE86Q1NJ0EXBP30XJTS8X6NY2DTKNCMH5Z6P00))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5142 amt-token-wstx-token-alex) tx-sender 'SP2BFWCGWFF3VHD9E4YZXPTAPC3SSK9BMD0JXKZ5T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u12075 amt-token-wstx-token-alex) tx-sender 'SP30YR08ZAC7X7DGAYY7E9F39JKS5E3NBRYGWYKTT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u11743 amt-token-wstx-token-alex) tx-sender 'SP38YYTSPABYY11FSBHT1GVYT4Z4T0SF3P0EQCTHZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u17561 amt-token-wstx-token-alex) tx-sender 'SP3VQX8N2CDW7XTY09NWPXGFA3CEGEDD6P4ZYB6E3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u334 amt-token-wstx-token-alex) tx-sender 'SP1DAJS5G7ATMXKYHMCHP6PH8YKMWTPCN5WVHG9ZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u26 amt-token-wstx-token-alex) tx-sender 'SP4CTMG5G02QT096M041DQBMG0DKPAGEZH3SX36F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1634 amt-token-wstx-token-alex) tx-sender 'SPXMSRS88V4YP5YQEBA7WE5HZW4VE82PPS0P490S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u23867 amt-token-wstx-token-alex) tx-sender 'SP100EBGDP7Q57RNGTD7XQTTJE5328Y69AW9GN7X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u31150 amt-token-wstx-token-alex) tx-sender 'SP2FMR3JG2C6RGDEHXEAYBMZFS2QFD9WQZNS10CJA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2123 amt-token-wstx-token-alex) tx-sender 'SP2QJHVTVAMAA0QCVS13D1QHRRRBSRX0XG9RAVGAE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2071 amt-token-wstx-token-alex) tx-sender 'SP3J2ZYFWMCGS2YTJH3N1DT6FSHADQ51CSG7BNZ2F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2365 amt-token-wstx-token-alex) tx-sender 'SP3A4YXDX1SHD002Z5Q5PPZ0077910G7MSHD62QG3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u974 amt-token-wstx-token-alex) tx-sender 'SP2VSNARK8SZVTGY99H9X1AGYZJ7JDKCAJ5S7FBZ7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u85185 amt-token-wstx-token-alex) tx-sender 'SP26R3QJZF4CAMM38MFGQQ6Z1N41HGE4T5C7QCKER))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u177 amt-token-wstx-token-alex) tx-sender 'SP29HY4C161AZP4HS3WVQ8YFZY95W5MA488TQADZ4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2328 amt-token-wstx-token-alex) tx-sender 'SP2HMPFMWP85HBF6XSKGR123CEC90PZ6SPWMYX2S5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2132 amt-token-wstx-token-alex) tx-sender 'SP20GWX9NRK175G17NY4TRH8JHHSNPAGRY2FVNHTR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2047 amt-token-wstx-token-alex) tx-sender 'SP3ZKR29VHTM9MDKT9G1KRBC0A8ZDCDMH8P8Q98M2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2519 amt-token-wstx-token-alex) tx-sender 'SPW4N9KS9PJNC7Q8J3NDP1TX52413T82CJ65WFBE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u949008 amt-token-wstx-token-alex) tx-sender 'SP1BCW6AR8B582G7MCN9X8FDKJF0VZJ0QHSYFZJ8S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9253 amt-token-wstx-token-alex) tx-sender 'SPM2BGGS3EZVPSKFGWHGNE3QDJQNKMAKJSC1TFQF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u217963 amt-token-wstx-token-alex) tx-sender 'SP9T6E5269VSZW08Y4W8F7GBE0NMDDSHCSE6HABH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u21373 amt-token-wstx-token-alex) tx-sender 'SPBHTHB57PZD2VCMQF3R8KAE1KZK4J90MZ01AWED))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10 amt-token-wstx-token-alex) tx-sender 'SP3GCSJH3J5TVJEJD1FVXK44GFXR8633AJJ5E5BEY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u67 amt-token-wstx-token-alex) tx-sender 'SP3JYC5CP49S3TW0BWDCSFJR4HSC4X7QWCQK0XMTM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u191673 amt-token-wstx-token-alex) tx-sender 'SP2PZSCTAJ4HEWH429B3MQDK2A8MAWF62FV0WKW1V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u10029 amt-token-wstx-token-alex) tx-sender 'SP1SA4HTCW57WHYQFTTM7YEHCTGSF7NPHJB1GMSH6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u46100 amt-token-wstx-token-alex) tx-sender 'SP2772J1S7Y6EP8EZ3ES4JQ87VMMJT7EZ7DYYX3VD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9681 amt-token-wstx-token-alex) tx-sender 'SPQF77TZRNXBFMFRJPXSD15Z90Q5XK896EE0W373))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u116078 amt-token-wstx-token-alex) tx-sender 'SP3NFZSXW19MRE7G86R9EF3P6JCANJ43YW49RK7SK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u1139 amt-token-wstx-token-alex) tx-sender 'SP2QAQ3PKKVB5DFJAMVCKAYK07PSDF5P9SVWVEQD0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u45 amt-token-wstx-token-alex) tx-sender 'SP1YSRE5CMDJ8W06TSZH53MY1W8DWMYRZX84XYD81))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u20711 amt-token-wstx-token-alex) tx-sender 'SP1FGY3BV4MH69F5B02570731ZQ39RB05QPQ39X3B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u123 amt-token-wstx-token-alex) tx-sender 'SP2RH63Z7C59YJ2ESP0F6TY7NXE4VNXPWN2EPWN7Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u67 amt-token-wstx-token-alex) tx-sender 'SP34V64PNDN1535R0DP60EBSXASJHKJ5NH8JPHBQH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u67 amt-token-wstx-token-alex) tx-sender 'SP1FCPZ94ST4S78W2W77211V2SXKMZJB8GFYXXBYA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u2106 amt-token-wstx-token-alex) tx-sender 'SP2J575HV82VAWD8NHKR1SHQZ06DVJ9ZQWBAXP6NH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u456 amt-token-wstx-token-alex) tx-sender 'SPNWS8N7HKQAM5EBBBE0HSN1938CT41YWB4XV7GS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u13042 amt-token-wstx-token-alex) tx-sender 'SP3CTYGSJ629JB513TWZXDFV7RV431K7H78W9CQMA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u404 amt-token-wstx-token-alex) tx-sender 'SPYVW2NTM8VMMSDKFN3W4M3GK9WY6TKAAG1AZHP8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u11741 amt-token-wstx-token-alex) tx-sender 'SP3A7BJKCX6DMQQ44SMS65RQFVFTZ4VBD8G1ME5G4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u428 amt-token-wstx-token-alex) tx-sender 'SP2M9NVS1Q8Q554BH1Q0M6P0VBDYWFPKQCAQDRX7W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u6697 amt-token-wstx-token-alex) tx-sender 'SP1SKJP8W7MY4BP0WFJBCEHKCT15TVVAGPKPMTKX1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u283 amt-token-wstx-token-alex) tx-sender 'SP374G2MEAZYK3TCWTQ1C9T2YN6PJCBBHX86YXAT0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u131 amt-token-wstx-token-alex) tx-sender 'SP30RVJ9BGX465Y4N0GFR5JQEQ99CFN8752RKCDP2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u7 amt-token-wstx-token-alex) tx-sender 'SP1HY0N1KDDFBS994Q6YADJ4N5J0RV7TWKM7XZKGJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u60 amt-token-wstx-token-alex) tx-sender 'SP5XJXCQ7CTNTFCX69D8G89TQ5QR0MEZ9CAVCN1K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u5994 amt-token-wstx-token-alex) tx-sender 'SP1KP4Y3FY4EFV1REZ8M8FKME85JTDAHZM00S3BHT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u56 amt-token-wstx-token-alex) tx-sender 'SP2104CM600S8GW8B5DZS8RNYR9ZTH10861QTH8CY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u146 amt-token-wstx-token-alex) tx-sender 'SP2RT46QZWQ3NBQNYEP0YTPAZSXKBKWYGPP2V8S3H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u389 amt-token-wstx-token-alex) tx-sender 'SP1BJWGHTAXVJ30D9BRN0H1Y4F48X95G8H9HFTW1V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u30 amt-token-wstx-token-alex) tx-sender 'SP27SBY7M6XKDRRK5RYRMS4G6C508M8X2Q9YFXA86))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u113 amt-token-wstx-token-alex) tx-sender 'SP1BBCX6F82Z6SVSV68GAWSBJM5WVM7EFQ536ZQX6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u17325 amt-token-wstx-token-alex) tx-sender 'SP2XMPAWJ6RCPH6QQ37FRS58YGYQ01942MDN2D5ZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u28 amt-token-wstx-token-alex) tx-sender 'SP1MQ3CABF5J3Q3JNKAHFEE5M97JK3S784062GF6P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u16 amt-token-wstx-token-alex) tx-sender 'SP2EY3NNR55K1JC97MQ9N6QYH4D5F05JB4PJM4AJJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-alex (mul-down u9063 amt-token-wstx-token-alex) tx-sender 'SP2XC3ZDYW2WA96DKAWFG9F7H4G8CADQZFW21W487))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u34233272 amt-token-wstx-token-wxbtc) tx-sender 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u351816 amt-token-wstx-token-wxbtc) tx-sender 'SP45J6RCQ87MZYSDEPWB5CCN1QVJJ4JWXHMF2YYA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u28102 amt-token-wstx-token-wxbtc) tx-sender 'SP2X9A28FKRGCWM7DCXYRC9G4X4DXB5ZEV2SJNDP2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u15221 amt-token-wstx-token-wxbtc) tx-sender 'SPRAQWNZ1FK1D6JGT152NNJ8FW3GB0BY39DC2F2D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u363212 amt-token-wstx-token-wxbtc) tx-sender 'SP1TXGE9FX8JG75QXGADJKSDQFENTVAMJ5JM6YD5G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u54632 amt-token-wstx-token-wxbtc) tx-sender 'SP306V4E1DS2NE9XTBRQ52B0NVQRTBM4W9G0ZX6J7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u88055 amt-token-wstx-token-wxbtc) tx-sender 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u5156 amt-token-wstx-token-wxbtc) tx-sender 'SP1J2JTYXGRMZYNKE40GM87ZCACSPSSEEQS30A886))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u93460 amt-token-wstx-token-wxbtc) tx-sender 'SP1MSH9RB966H87BCMXPTRXNKZ5ANE4K405RN2M64))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u54717 amt-token-wstx-token-wxbtc) tx-sender 'SPWKH42P3D69KQARMEACZ71K4MVD6G4R972W8FMA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u29353 amt-token-wstx-token-wxbtc) tx-sender 'SPTXZ2V1R5QY928KG04P460QN7RY0EZA6D45B6GV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u118590 amt-token-wstx-token-wxbtc) tx-sender 'SP1R5GCJAYJXPF5M2P5C9MYJ1S852NXFTQGWM3YM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u156352 amt-token-wstx-token-wxbtc) tx-sender 'SP3353X261Z6VD6NDKFPYPPV773YN8VK85V2JDW9A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u110830 amt-token-wstx-token-wxbtc) tx-sender 'SP1VTEGNYRYE2XXY8R2WK9CF50PD2315TS7CF3ZBE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u170590 amt-token-wstx-token-wxbtc) tx-sender 'SPB1QVK2XDXWJPSRHW1TC59X9GMXJT6VB5WSNN7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u62334 amt-token-wstx-token-wxbtc) tx-sender 'SP2DJZ7BN8HW4VVG159PH9VC45XM3BAB4PZCD9M12))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u570299 amt-token-wstx-token-wxbtc) tx-sender 'SP2F5T1PZZAR1JVR907A3RY69XJWFKRKDAGCHWGPH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u18418 amt-token-wstx-token-wxbtc) tx-sender 'SPS7C9B67V5TYVMF883QS6H0NM053MYA328QPKKC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u85970 amt-token-wstx-token-wxbtc) tx-sender 'SP29ETVYVK8KRYENWPWRE6ZBAJ9451P8KYBGM1B8Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u29767 amt-token-wstx-token-wxbtc) tx-sender 'SP1HB6HT2Z4N81M84RGCH1DGY8T4HJCHZQ7EHMCT1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u16485 amt-token-wstx-token-wxbtc) tx-sender 'SP30APZJ570WXABDQZN84MFW6JE4EFRAPDA88T383))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3614271 amt-token-wstx-token-wxbtc) tx-sender 'SP2JWXVBMB0DW53KC1PJ80VC7T6N2ZQDBGCDJDMNR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u190481 amt-token-wstx-token-wxbtc) tx-sender 'SPSDF36009G1973AX5MPKVAQZ9EQKH14G35KTMDW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u29542 amt-token-wstx-token-wxbtc) tx-sender 'SP3KGJHCN8V9YBXX0AGNN7RH4H4KSAN4NR2BRQRX9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u339122 amt-token-wstx-token-wxbtc) tx-sender 'SP47VWF5DAX335BA40GV0F0PK0MJRGKK5Y05CBJ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1333065 amt-token-wstx-token-wxbtc) tx-sender 'SPY4SJT33FZBBCVJ7A4RBNCBBN651GXXP94GFKBF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u163273 amt-token-wstx-token-wxbtc) tx-sender 'SP359C2MT41S62X8EXZ6YDJJ3RDSF4092R6WXMNN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u44213 amt-token-wstx-token-wxbtc) tx-sender 'SP3Z8H3GFHRKD4ZMXP6T7G0B7E347BRBZ8W1CCATF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u274876 amt-token-wstx-token-wxbtc) tx-sender 'SPGXERZDS6SGQ8HYSTP3EV3S6RDRMVBY2PK9QSRH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u30758 amt-token-wstx-token-wxbtc) tx-sender 'SP30NW3GJSD4BYW9W282FY1HVQKDENQC959TV1TF4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u294518 amt-token-wstx-token-wxbtc) tx-sender 'SP1VRW1DFE4YVMEP23FK55GS33C5T1C4BYQPHAKH6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u24691 amt-token-wstx-token-wxbtc) tx-sender 'SP35JN1Z0BQ5EJEZ7KZARMP8BZ142QJCZ5DD4WP43))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u137240 amt-token-wstx-token-wxbtc) tx-sender 'SP12WR6FPXDNP9Y1C10TM0GJD91A6ZETMG66MASYY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u142542 amt-token-wstx-token-wxbtc) tx-sender 'SP281DHYZ11K3B0BQHPWBBH5SRB457270073RVVES))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u178409 amt-token-wstx-token-wxbtc) tx-sender 'SP2ERCA7P4D54K16BDEZAD2DAZ8QAT8760ERCQ24W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u310024 amt-token-wstx-token-wxbtc) tx-sender 'SP48RWJYF4V8PFCE67AH69F7BMKDSD1WCP7QYNBR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u185792 amt-token-wstx-token-wxbtc) tx-sender 'SP2ZWKT6XCA0PMQM1WYX08WR7H4JCERN5GXJPN1HP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u133205 amt-token-wstx-token-wxbtc) tx-sender 'SP3EZ3H7H49CEE49X8HE9W6QX0Y29W8R5T1MMY7AJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u116466 amt-token-wstx-token-wxbtc) tx-sender 'SP283CTW8NN4TEWZR3WHW4EDWGE2PEG5WQHBQBK7C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u749281 amt-token-wstx-token-wxbtc) tx-sender 'SP3HG9PD2HW78TNYMHSQTY1TG0GR95NZZ05EWZV7D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u54324 amt-token-wstx-token-wxbtc) tx-sender 'SP27EB334MZNGZHA1T78MHGMM19V1FZ0HGSAP7EE5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u230409 amt-token-wstx-token-wxbtc) tx-sender 'SP2MBBNPKEX67FR5CRR5MN1F1QZ8DQX99V4H09EBA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u102013 amt-token-wstx-token-wxbtc) tx-sender 'SP2VHY30GZYGHDR0BBF6VFHGT5SG0VFX6TJB62QPV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u12215 amt-token-wstx-token-wxbtc) tx-sender 'SP3DRCCP6BGY0JASGMJ28GBTBEB4NSJ5YQCBZE38B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u4 amt-token-wstx-token-wxbtc) tx-sender 'SPJX0CBMKJGRWR4PNQFWRXJ2H9878XE558E8VCKV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u58038 amt-token-wstx-token-wxbtc) tx-sender 'SPMNM4PET76RKHYGHKZGJ8MRZ0NAXXZKY5AH2RE4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u16103 amt-token-wstx-token-wxbtc) tx-sender 'SPJGK8F31QHTDAD216BVDKJ0T2CGABZZNNV0ZZC0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u349386 amt-token-wstx-token-wxbtc) tx-sender 'SP3DVNQ3VAAYCE12XQ2GTYMCRQAS1EY7YD5J83WZQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u30014 amt-token-wstx-token-wxbtc) tx-sender 'SP2FJ5TKSCAE1VEEJ8DT64FT2GQJAVVA8X9J1FWYD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1410253 amt-token-wstx-token-wxbtc) tx-sender 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u602633 amt-token-wstx-token-wxbtc) tx-sender 'SPT1XCGAFJFBJKYG8YP4FZVEXQMYDXEHAMAWBDYW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u105181 amt-token-wstx-token-wxbtc) tx-sender 'SP36BPE4T0ZCKDCY3GGGH1QGVGVVFE4CFG0FJQZXM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u211854 amt-token-wstx-token-wxbtc) tx-sender 'SP28BT1K0W7J4A17R8N9H0191JBD8K6FWCVBC2K3D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u326193 amt-token-wstx-token-wxbtc) tx-sender 'SP69MS8W17WWT6MNH8AB4A7BMY5AX6MAMWD89CCR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u5807 amt-token-wstx-token-wxbtc) tx-sender 'SP2MJE03SMTN1ACZF2PMA5HT1Q7R02WN514Y04YE9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u5773 amt-token-wstx-token-wxbtc) tx-sender 'SP20MC37BYQ6SKR986ZGMKFM65JMYJS5A5H0XVQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3 amt-token-wstx-token-wxbtc) tx-sender 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u127132 amt-token-wstx-token-wxbtc) tx-sender 'SP1J8FWP15C5PZBZEXS1SG1T3E814EFENWXA9DA0F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u940 amt-token-wstx-token-wxbtc) tx-sender 'SP2HFXS8G0Q1TB304RY7HG8BAHG0RP65FYKN07DPE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u56233 amt-token-wstx-token-wxbtc) tx-sender 'SPWWMJ8ZBHAY5M8QCEHPK3MKXZY18W3C897JPJDV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u53476 amt-token-wstx-token-wxbtc) tx-sender 'SP1T4E6ENMD054FDEJ7TV05D0JD60X54H1WSSMPFB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u229842 amt-token-wstx-token-wxbtc) tx-sender 'SP2YMKSFMXNM53H2Q7A9JMNXEP6FSWR8ZJ3YXF5QW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u275222 amt-token-wstx-token-wxbtc) tx-sender 'SPPEN6K11RKJGB5MGGDYG5FBFT6QMQNPYWPJYARE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u2720 amt-token-wstx-token-wxbtc) tx-sender 'SP1KSRB5AWV38ZZVBNV5M151ZQRNS0Y3GM3BJMBTY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u2190215 amt-token-wstx-token-wxbtc) tx-sender 'SP1CN1KVY8SMED23FB9PRH2G3X9FAT8RF7DC6RFB0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u268087 amt-token-wstx-token-wxbtc) tx-sender 'SP1EVZP9AMTH1044MZXF99GSZ9DJ5600G0VQSX95Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u260724 amt-token-wstx-token-wxbtc) tx-sender 'SP3MAFVDXKHE0BS406FQWDVT9TFY4SFKTYA88W5D1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u821572 amt-token-wstx-token-wxbtc) tx-sender 'SP2PCBFFTR6JG9KJM9WTYEWAQCE8QTWBFEW0HQGQZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u159146 amt-token-wstx-token-wxbtc) tx-sender 'SP1SKGC103P2KFRABY00WHQNJ0X3YAQYCP1KTAK6X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u13611 amt-token-wstx-token-wxbtc) tx-sender 'SP3HYA3BCNFKNAZ0H1NP2X0FSW3F5SNB6KE9S5J4V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u532 amt-token-wstx-token-wxbtc) tx-sender 'SP35SV1E905MZCE2RN2Q98R78RYEWCHPXP8PTG2KN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u548 amt-token-wstx-token-wxbtc) tx-sender 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u11025 amt-token-wstx-token-wxbtc) tx-sender 'SPGJ44AS707731GSSA8R6GCNFT0FG130P7VF9365))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3 amt-token-wstx-token-wxbtc) tx-sender 'SP1DF301EQC86SK9M0TYD50WTR48A4K261B3ZFQC6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u28704 amt-token-wstx-token-wxbtc) tx-sender 'SP1ZPTNJPEF6BQ4DSDQXB1HK4Q1S3J20GDM2FJBHY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u86239 amt-token-wstx-token-wxbtc) tx-sender 'SP2DBS8F5TG3ACP69T66KBSZXCQ0TDHJ1CJVF02TG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u68388 amt-token-wstx-token-wxbtc) tx-sender 'SPAR40PGTE0H7J0VPX14XPM6PCY7C3NYG0K4RPXJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u77552 amt-token-wstx-token-wxbtc) tx-sender 'SP123H0VDSFP0995K8Q5MDFEVVFZWWPX46CAPCJDK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u346730 amt-token-wstx-token-wxbtc) tx-sender 'SP3QMS5TEDBEJSY4C25QBJ1PV4VFTGFWNVF67SF2P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u963711 amt-token-wstx-token-wxbtc) tx-sender 'SP4AP9W4X7W4D9TB7HPD6DG10QZSH232B7DEG1BN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u36356 amt-token-wstx-token-wxbtc) tx-sender 'SP16WWXD1JQXR0MVZDJRCN2QNNBK29P5W2HCKV1C0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u142856 amt-token-wstx-token-wxbtc) tx-sender 'SP3SGG4P7W61ZVSQNGMTDXNHMVF6ZFFKB7J6NSZ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u162 amt-token-wstx-token-wxbtc) tx-sender 'SP1RVJTMTA3SMRRMAXYRZB46KVM5DY513Q927EVHG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u111209 amt-token-wstx-token-wxbtc) tx-sender 'SP31690V74NSKPP1TDEPK4VE0Q72TCQWS1AH2CE41))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u52323 amt-token-wstx-token-wxbtc) tx-sender 'SP1JF9VSNJBP4YZVC7AJ9CE6CXBD2ZV0W67T0E4T0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u145403 amt-token-wstx-token-wxbtc) tx-sender 'SP12QBN4QAWDDKJGDJQ1AECWD8CKB92Z0DPDAW9G4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u194062 amt-token-wstx-token-wxbtc) tx-sender 'SPPDT199V3Y60J998AF4G9HEA9FZKC8NGJPBG4BT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u109639 amt-token-wstx-token-wxbtc) tx-sender 'SPQXNKDBPDK3378YG4GAM3EW109T6Y8M67J5Z510))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u894 amt-token-wstx-token-wxbtc) tx-sender 'SP2WYX7CAFFM8J51BT49SV8MM1NXYF1ZK0NXNVRSV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3276 amt-token-wstx-token-wxbtc) tx-sender 'SP1A2JSM4NW94QKGTKEV35ESBJYK043GSJPC1SMFR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1409697 amt-token-wstx-token-wxbtc) tx-sender 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u23875 amt-token-wstx-token-wxbtc) tx-sender 'SP3VWHJ49KVHNEXRHVPVN00W3D9DF7FDWE4B6NFRG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u60593 amt-token-wstx-token-wxbtc) tx-sender 'SP238PNP4RXXADJ6KY4JK4YDNF1CPF908SFFR7KQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3914757 amt-token-wstx-token-wxbtc) tx-sender 'SP1Y6ZAD2ZZFKNWN58V8EA42R3VRWFJSGWFAD9C36))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u46714 amt-token-wstx-token-wxbtc) tx-sender 'SP1WMSDT95ZKCV0KP95VF2D7GFMT2P64MGGQ40CJQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u14354 amt-token-wstx-token-wxbtc) tx-sender 'SP13Z197NXDAKYM15ZKDK8Y7JQ07D5656GR7QS3V4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u38176 amt-token-wstx-token-wxbtc) tx-sender 'SP1FGM5QJ87VZSZNR65FHG3C2F8Q05Z519GDARGHW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u182387 amt-token-wstx-token-wxbtc) tx-sender 'SP18D29VPFWDZ137VPJ49Z9QH964H7GS0C7MRCVX5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u60593 amt-token-wstx-token-wxbtc) tx-sender 'SP2PP697C39849Y6PKQ22P3GGKPE9R30EBD5K7SWP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u60593 amt-token-wstx-token-wxbtc) tx-sender 'SP19XHJAAMC0A1ZZ6DWSFBK1M1CDZHZ5DV4RGWVBE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u184811 amt-token-wstx-token-wxbtc) tx-sender 'SPN4X28J7GDA6VN1BZ2NCAC9CY17K7GB7AP1Q6D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u60593 amt-token-wstx-token-wxbtc) tx-sender 'SPSE55QDC8BEYREN25HRA78NMZ0AWRB53F4YFS5C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u246617 amt-token-wstx-token-wxbtc) tx-sender 'SP3G6DF23CF4NT3JBKH5CTA568XSYM6WS6HRHM41B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u247223 amt-token-wstx-token-wxbtc) tx-sender 'SP1VEKYPBR26QFZZGZ0YX91ZJ2PNAVG40PFFQ0CMG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u30229978 amt-token-wstx-token-wxbtc) tx-sender 'SP2TW4H1DY6FMVMVACGQEFNWESEDSW88YPTEV38CY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u182387 amt-token-wstx-token-wxbtc) tx-sender 'SP3EN4NX9B8TT3HEDZMDA2SHSXWYEZPWGPVZH8FAN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u182387 amt-token-wstx-token-wxbtc) tx-sender 'SP2FAFA1S76JQJRXZ417A3CTGYRXTG06RG51DVYXZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u182993 amt-token-wstx-token-wxbtc) tx-sender 'SPN8JX0B2BX8Q4P2274VH6WCD8TCEK83G267WGZB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u244193 amt-token-wstx-token-wxbtc) tx-sender 'SPCKQV54MDQF9TC9Z4SB862MZS8ETN4ZPYQFWD0C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1087 amt-token-wstx-token-wxbtc) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u358502 amt-token-wstx-token-wxbtc) tx-sender 'SP123Y0S6KRKXWT03KGPAQZM2MK2EXE16V89Y0KGX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u784630 amt-token-wstx-token-wxbtc) tx-sender 'SP1BQHRVPQKN8KBXX2T02KQ3SEVJ9GJ58R3QKTGCG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u12745 amt-token-wstx-token-wxbtc) tx-sender 'SP8HHTB8AFAMVZYJFZW9Q42WNM9F5FV5WCFZMDV8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u2265 amt-token-wstx-token-wxbtc) tx-sender 'SPXE4CC9QNP0VVVMWHQDAQ3DZ8WCFTV5J2RZWRM0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3440 amt-token-wstx-token-wxbtc) tx-sender 'SP1D51ZJANNAH0TDDFP67V8TW2YD89PVZ5VN8408V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u242375 amt-token-wstx-token-wxbtc) tx-sender 'SP1RHVD49T6A651KQTJBSFGMGBJX2MGJ873JRZXMT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u242375 amt-token-wstx-token-wxbtc) tx-sender 'SPTN1G99BPYGHBYBTY1WZRKMFDYJKRD40Y1QT06X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u242375 amt-token-wstx-token-wxbtc) tx-sender 'SPJAG80YAQASM4MQJA0QKM9QN09SXYKXAE8YE9CD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u64063 amt-token-wstx-token-wxbtc) tx-sender 'SP1WXMX9PYKSH86XW29Y30PKKSEAS4MKX9XJQ4GTG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u178632 amt-token-wstx-token-wxbtc) tx-sender 'SP326ERJC123G76ADZS6SB39TQ89NR49WDSARJFRZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1942651 amt-token-wstx-token-wxbtc) tx-sender 'SP1K8ZADQJ7GPXBND02S2V3ZCAC8W1YMGVR7DP99P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1317 amt-token-wstx-token-wxbtc) tx-sender 'SP357REJB7P8K2N1Z3KAY5Z3APSXHHQCTHRPX1JT0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u101899 amt-token-wstx-token-wxbtc) tx-sender 'SPVXWRD48EN2PJM0FZ5RSCYFGXVKGMQ06P19BNCA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u22444 amt-token-wstx-token-wxbtc) tx-sender 'SPCBW1A9Q9ZRC5KJR078PYH2NC2CPVCCVB7AVS7A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u39398 amt-token-wstx-token-wxbtc) tx-sender 'SP3M85HWJ1245ZMP9SEGN16SXHEDDT1H1W9YG90CM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u424157 amt-token-wstx-token-wxbtc) tx-sender 'SP2SE1WTDPJEJ417SJEJPG31QBP1W3SD9CGB4759A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u50755 amt-token-wstx-token-wxbtc) tx-sender 'SP159T0A1KETB0K1WSCCA4FAHYH62705SXTMKTQPT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u85234 amt-token-wstx-token-wxbtc) tx-sender 'SP8ZVD9PQ9VP657P670KBCB5ZHMJM9QMNJNFVBS6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u37767 amt-token-wstx-token-wxbtc) tx-sender 'SP2DVM8MV52QSNMNVTGPMRN6EK694JV7JJ0854TYG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1157864 amt-token-wstx-token-wxbtc) tx-sender 'SP667WVSE8NKR2QC3V4V3J5BP708NS23NNG41QYC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u95843 amt-token-wstx-token-wxbtc) tx-sender 'SP372ES3437134CHWYM3160BV0QB7SBNJCX18XP6F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1981 amt-token-wstx-token-wxbtc) tx-sender 'SP3N0TH3N7BDG4WBSYV6FE2ASSAPEGWK47EEWD9TV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u4605 amt-token-wstx-token-wxbtc) tx-sender 'SPZ8X8BCB8DBJ3JXDVHFGH2ZV22QAFX3K7HPPF3M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u6517 amt-token-wstx-token-wxbtc) tx-sender 'SP2PH0BJE476XYNGH03G7MRY1F0K6ZB0Q04SEJWM7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u3432 amt-token-wstx-token-wxbtc) tx-sender 'SP8B4SWX4TQHFVAQ2MSNHGV6J4M34QVTP9VHKFTC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u340942 amt-token-wstx-token-wxbtc) tx-sender 'SP38Y2HC33RYVGBXT0WVSQ6RK9D1KHF6W8YFSPKQE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u2488 amt-token-wstx-token-wxbtc) tx-sender 'SP1GX7PSED4ENYZM4G7ZFAK4FWDDSQR0GFTTQQ9G9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u15851 amt-token-wstx-token-wxbtc) tx-sender 'SPE5AQTTH3TQP5RWFW9736R2M4N7A91ZQB886JSX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u12552 amt-token-wstx-token-wxbtc) tx-sender 'SP2BFWCGWFF3VHD9E4YZXPTAPC3SSK9BMD0JXKZ5T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u40536 amt-token-wstx-token-wxbtc) tx-sender 'SP1R6YS229G7TV47ZEZ33CDQBS7AQR3QJSY3MNF4F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u16724 amt-token-wstx-token-wxbtc) tx-sender 'SP20GWX9NRK175G17NY4TRH8JHHSNPAGRY2FVNHTR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u47724 amt-token-wstx-token-wxbtc) tx-sender 'SPMMRFHBD0X9QW3QNJETZDTF8C9T65YXMDZYKGRF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u43709 amt-token-wstx-token-wxbtc) tx-sender 'SP2N5SWZ64FGVQKRWBWC367M08CNDJJWAPPV3B537))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u2755 amt-token-wstx-token-wxbtc) tx-sender 'SP20N3J7JV41062GPJ2MGWFGNQ1QSRT8Y2EEWZP14))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u1263 amt-token-wstx-token-wxbtc) tx-sender 'SP2904EJMMXAV4F354VWR7D261C7RWGCJ2PENVRWJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u5970 amt-token-wstx-token-wxbtc) tx-sender 'SP27ENEJ1NV255HK44QYVGDA6RVBG7VF7GAW5HQJH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u24 amt-token-wstx-token-wxbtc) tx-sender 'SP1HY0N1KDDFBS994Q6YADJ4N5J0RV7TWKM7XZKGJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u474846 amt-token-wstx-token-wxbtc) tx-sender 'SP2CS05EZF63JDJX90C8ZBD04MNASETJN0VBBRH59))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u5853 amt-token-wstx-token-wxbtc) tx-sender 'SPYVW2NTM8VMMSDKFN3W4M3GK9WY6TKAAG1AZHP8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u93 amt-token-wstx-token-wxbtc) tx-sender 'SP2EY3NNR55K1JC97MQ9N6QYH4D5F05JB4PJM4AJJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-token-wxbtc (mul-down u183 amt-token-wstx-token-wxbtc) tx-sender 'SP1VMQKZW5S4RGVEPS4BQF4WEGY06BQWZS6SZEZ7R))
		(try! (contract-call? .amm-pool-v2-01 pause true))
		
		(ok true)
	)
)
(define-private (mul-down (a uint) (b uint))
	(/ (* a b) ONE_8))