agp235

(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-public (execute (sender principal))
	(let (
			(unpause-amm (try! (contract-call? .amm-pool-v2-01 pause false)))
(amt-token-alex-token-wdiko (get supply (try! (contract-call? .amm-pool-v2-01 add-to-position .token-alex .token-wdiko u100000000 u25604725736879 (some u31740493748725)))))
(id-token-alex-token-wdiko u7)
(max-in-ratio-20 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex .token-wdiko u100000000 u0)))
(max-out-ratio-20 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex .token-wdiko u100000000 u0)))
(amt-token-alex-auto-alex-v2 (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 .executor-dao u934763535114188 u1216625115903701))))
(id-token-alex-auto-alex-v2 u20)
(approve-auto-alex-v2 (try! (contract-call? .amm-vault-v2-01 set-approved-token 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 true)))
(oracle-enabled-21 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 true)))
(fee-rate-x-21 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u500000)))
(fee-rate-y-21 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u500000)))
(max-in-ratio-21 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u0)))
(max-out-ratio-21 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u0)))
(oracle-average-21 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u99000000)))
(fee-rebate-21 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u50000000)))
(start-block-21 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 u0))))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u216463 amt-token-alex-token-wdiko) tx-sender 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u294 amt-token-alex-token-wdiko) tx-sender 'SPBTBYN98BT8PNN1RYY577JMN9A1ZCP6ZNYQQRKG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u19781436 amt-token-alex-token-wdiko) tx-sender 'SP1X351Q7A4SWXW2XJW745GQF71CCMV2W9ET1KD50))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u75836507 amt-token-alex-token-wdiko) tx-sender 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u11657 amt-token-alex-token-wdiko) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u125931 amt-token-alex-token-wdiko) tx-sender 'SP39WTKHH436QV6BTS9EKCW64CFT2AYV7XMVTCY0N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u666840 amt-token-alex-token-wdiko) tx-sender 'SPMNBH2M8NY3RM1G3ETGDXH35858VZWS6DTWFR7F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u27 amt-token-alex-token-wdiko) tx-sender 'SP2AAPWAT8GV9KWV49QNAQRS4DAG3H8PWD4NJY4BF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u12448 amt-token-alex-token-wdiko) tx-sender 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u166025 amt-token-alex-token-wdiko) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u6947 amt-token-alex-token-wdiko) tx-sender 'SP3AG8J8QPYBWVYZV18P3MPXB0F940BZFW3X93M1T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u101421 amt-token-alex-token-wdiko) tx-sender 'SPYXBP5VDHXE6FZGR439D7RNH0CEHAA0C4KAG1Y3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u272 amt-token-alex-token-wdiko) tx-sender 'SP10GQZWNFSJECAGA1YXGC55EM3XMGMVMC0MQY1BE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u304 amt-token-alex-token-wdiko) tx-sender 'SP375GH89FZ3BD01TZZEVTAKWCQP8BWW6G8VDN982))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u30 amt-token-alex-token-wdiko) tx-sender 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u1283447 amt-token-alex-token-wdiko) tx-sender 'SP24FP93P9Z0NKAK4WST41CA5FYT4867B439G9JAT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u46793 amt-token-alex-token-wdiko) tx-sender 'SP1A8EXQY32R966Z0WM5V9WJN8HADN4C3VZRZZCHM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u2391 amt-token-alex-token-wdiko) tx-sender 'SP3WA6XEZH5FEYWBE4WWEJAAPPNHC2T2GHW3EB471))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u37383 amt-token-alex-token-wdiko) tx-sender 'SP297NVTM4G5QT5EH9QF9XE58R0DTKKS0BJR2BN5K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u197019 amt-token-alex-token-wdiko) tx-sender 'SP3DFB9WYKT971E2DGNA29WV4A9YA4RP3656DSRY4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u77627 amt-token-alex-token-wdiko) tx-sender 'SP3S1JWFYY1DFHDHXHR6KK9W5X8JF7KWRZM26Q2G4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u587 amt-token-alex-token-wdiko) tx-sender 'SP3SPYAFW2KNK22J4DNC2Q3MVJFHV0BZ2XGVR1AGK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u1836 amt-token-alex-token-wdiko) tx-sender 'SP2A6ER4CKRKM6YBCCPV6A7J9Z14KVMZHHM7NSM5K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u99199 amt-token-alex-token-wdiko) tx-sender 'SP2P2YQFAYF7WTFR7XZKJCFWY5FDNGFYKXPW4N4VH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u42 amt-token-alex-token-wdiko) tx-sender 'SP1GZJPD8HJTW37057NV5QMY8BQZM9JSFSFZV0N3S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u164242 amt-token-alex-token-wdiko) tx-sender 'SP3BZEVK82JSY4V7CH9P6P6YS0A1CAXM0X6SSYT4P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u47452 amt-token-alex-token-wdiko) tx-sender 'SP304P7P1BCPWDDY8C4RPNFQS2TREZM32KJPVDZHS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u34950 amt-token-alex-token-wdiko) tx-sender 'SP39VVPVN5RYWR7QTT5R5RPBN6A5JCBFX0SJBSGX5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u9562 amt-token-alex-token-wdiko) tx-sender 'SP3XN1BC1K7MQV4RSJDBX96YVPQDXA5BABF061K2H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u1002762 amt-token-alex-token-wdiko) tx-sender 'SP1FB9S6DDVXKA0DSYGMFSFEYS8MTC1VMSVX7PW6Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u11 amt-token-alex-token-wdiko) tx-sender 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u23014 amt-token-alex-token-wdiko) tx-sender 'SP2Q4Y0D8MZQTB69RVZ3JA8QFRY6E3368TWHVNN4F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u31344 amt-token-alex-token-wdiko) tx-sender 'SP3A2FH4QMSB82X950AJMNZZRKEJ8642B3WJYT1RA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u11729 amt-token-alex-token-wdiko) tx-sender 'SP3S2YEYR5NCJ046731ZWV47Y6NRVQW8K2C880HEH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u45 amt-token-alex-token-wdiko) tx-sender 'SP3CR9AB93EW5Q4Q1VJ9M4V3PEC3VFP050MCCEAHF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u636 amt-token-alex-token-wdiko) tx-sender 'SP3XRPJ492YBM3EWA1ASCC6R7BR37Q7VVJG8CTZCY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wdiko (mul-down u1308 amt-token-alex-token-wdiko) tx-sender 'SP2N3YYBGX5MGFG94HG9FQ80J10FWS0MB0HSY6H1H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u57 amt-token-alex-auto-alex-v2) tx-sender 'SP2QG0N0ATBJPST1J9BVCKG9GC1K7D5R6Q6V26Z9F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u8256 amt-token-alex-auto-alex-v2) tx-sender 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3648 amt-token-alex-auto-alex-v2) tx-sender 'SP3D119D24CHPNQVM8DC8F7H68P5Z5E9Y8N367A8S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u8036787 amt-token-alex-auto-alex-v2) tx-sender 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u461313 amt-token-alex-auto-alex-v2) tx-sender 'SP1A9K9FA1WJ0AD2GRSPHGT5CKNM6KM2BYV32FF5Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u57858 amt-token-alex-auto-alex-v2) tx-sender 'SP2PXD7AH66QHXBA1TTAHH0BG5VZWKJDK27EVJYRF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u60 amt-token-alex-auto-alex-v2) tx-sender 'SP318TS0M6VXGKBKY479SV2CH75PM29BSRVZAVTSE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7834 amt-token-alex-auto-alex-v2) tx-sender 'SP34T0DS0ECN32J0JK891YP6JQ8VZDHJ98MPR74GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u207200 amt-token-alex-auto-alex-v2) tx-sender 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u69806164 amt-token-alex-auto-alex-v2) tx-sender 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u44823 amt-token-alex-auto-alex-v2) tx-sender 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u446 amt-token-alex-auto-alex-v2) tx-sender 'SP2BCSPRRH0Q7HG3QYXT76GTMK2VZA60CED315P0G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7336 amt-token-alex-auto-alex-v2) tx-sender 'SP3YF5XZN4CNKRANEHVFWS18DAG5M2CHQTSBZQX35))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2810090 amt-token-alex-auto-alex-v2) tx-sender 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u174977 amt-token-alex-auto-alex-v2) tx-sender 'SP4HBG4BANN3AMN70DA4MSN6PX6YTESVR396Q6FF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u339 amt-token-alex-auto-alex-v2) tx-sender 'SP2QWQXA0RH5ZXKEAPR1QD26WFKG7PW4D4SEH7W4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19 amt-token-alex-auto-alex-v2) tx-sender 'SP3QH99P3NB1CQN76177D91TRHK1TE94C6DG2NY63))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u25 amt-token-alex-auto-alex-v2) tx-sender 'SP1X6H9Y9HCCE3R2EXP7N54Z1DXBE1STNJ7S1BCNE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2340 amt-token-alex-auto-alex-v2) tx-sender 'SP20N4QV531DYAW19YG7744S2PXFRZ8823HK5HH1B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u98 amt-token-alex-auto-alex-v2) tx-sender 'SP1792JRFMN520ZJE5QPZA4FGJA55MM5WSM1B1MPM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9 amt-token-alex-auto-alex-v2) tx-sender 'SP22QRQFMZJBEB1CAMA5BC310CNNYNHQ787HGPV95))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4 amt-token-alex-auto-alex-v2) tx-sender 'SP1FVM08EGJYVHVSK1APDTQPA8HWTQHTZNHY438RB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u513 amt-token-alex-auto-alex-v2) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u747508 amt-token-alex-auto-alex-v2) tx-sender 'SP497CTNSDDG0SVB95G7GHQZ45FSWDEDZPQENJC6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u174667 amt-token-alex-auto-alex-v2) tx-sender 'SP2CZP0VGN4DA08VX9N2EM0G1TDNHZD65TRBWDHE5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u416624 amt-token-alex-auto-alex-v2) tx-sender 'SP2K8KMB5KFZHHPEGDH0X7Y8KVQSG3CYHJVSX3FHQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u60 amt-token-alex-auto-alex-v2) tx-sender 'SP10H9AC032BH51116P1NAARFFA90DH60D553STPA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u61418 amt-token-alex-auto-alex-v2) tx-sender 'SP5GX6PQVGYQKBFA3E9EWWVPM65SN5Z0XDDX3YW7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u748 amt-token-alex-auto-alex-v2) tx-sender 'SP21RKD5CQGGAJE173P7CBF9337JSV6DJZA06WJK2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u946 amt-token-alex-auto-alex-v2) tx-sender 'SPS9GXKFC8KAKPHRE3BCKR1KRYFBGBPX6Q3N9GCG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4 amt-token-alex-auto-alex-v2) tx-sender 'SPBTBYN98BT8PNN1RYY577JMN9A1ZCP6ZNYQQRKG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u115747 amt-token-alex-auto-alex-v2) tx-sender 'SP1C2ZKC435C17A306CXKV60H556TPNPXRCK3VDGP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u33 amt-token-alex-auto-alex-v2) tx-sender 'SPZ8X8BCB8DBJ3JXDVHFGH2ZV22QAFX3K7HPPF3M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u29577 amt-token-alex-auto-alex-v2) tx-sender 'SP2WTF589V34J2EMPGM00KEGBGARTG09M9D6ZD95R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u111 amt-token-alex-auto-alex-v2) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u64894 amt-token-alex-auto-alex-v2) tx-sender 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19 amt-token-alex-auto-alex-v2) tx-sender 'SP1BF1VPFZTHJ2D90EDXFCXNGZ6G63SNMYQJH1KRT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u128 amt-token-alex-auto-alex-v2) tx-sender 'SP215RVKF78GCTNPJA5HEPNHW1EB16HETH5P6KBAA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19 amt-token-alex-auto-alex-v2) tx-sender 'SP38D3BTRN1J4B4KXNZ5SQPCK4YD2BHND4YY527ZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u48 amt-token-alex-auto-alex-v2) tx-sender 'SP55J5RGSG2QYWQYXCA3RSKCN94H8RX2B16EQKXN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19 amt-token-alex-auto-alex-v2) tx-sender 'SP1K7BSV77QCT1G4HXE7MJ2RDQAEQ5TRT89C14EWY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1508 amt-token-alex-auto-alex-v2) tx-sender 'SP28FEY9QYN0A3SK68A09B39E97F5SMNJJBP6MXHM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u68 amt-token-alex-auto-alex-v2) tx-sender 'SPGB42AZZ7JPZK3SZF0CQ2FV4VD5NMD5XYXRYXFA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u16389 amt-token-alex-auto-alex-v2) tx-sender 'SP36980W19MRVSKJ3J55TQR87KYHCS63HGW2HKT4J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u544 amt-token-alex-auto-alex-v2) tx-sender 'SP380WYDKAB86C0WPK6FZFRCB3DDZTWKETDWQ9T54))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u244 amt-token-alex-auto-alex-v2) tx-sender 'SP1588N5JYA1C8RVT7Y5WDH9R6NAKRNG16YBF7S8Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9 amt-token-alex-auto-alex-v2) tx-sender 'SP2XMRC6XRV6G9NAPMC48NMMP3SX008HH33HFK6KA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4904 amt-token-alex-auto-alex-v2) tx-sender 'SP3KR9SGTMN0DRN5WPNN3MEDS4Y6XR795GCGH466K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u196 amt-token-alex-auto-alex-v2) tx-sender 'SP1QF33CQESD5K623HDG9CW19SBDRTW17N13WGXVR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9 amt-token-alex-auto-alex-v2) tx-sender 'SP2M6KXMM1GKC4F72YE4S8RJGPEHHXKN60KEACFTM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u136566 amt-token-alex-auto-alex-v2) tx-sender 'SP297PNXJFZ3ZS9RDCXN9DT0YQWX0GJES2N5FZZAF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u35994 amt-token-alex-auto-alex-v2) tx-sender 'SP3CHC5CKZGPZ3W4Q4JASMM5ZSMD3P7TQWNSE6BQ8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2609931 amt-token-alex-auto-alex-v2) tx-sender 'SP36ZKTQ9JYXP869KRYZQR6QFVJZ8ZZJNZ0Z10775))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u12950 amt-token-alex-auto-alex-v2) tx-sender 'SP2FBRDBKDE1CAH9Q5VKT7TZMGAEWQ9EWT284RA9A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5804 amt-token-alex-auto-alex-v2) tx-sender 'SP23BQPT8D4RH68ME5BZ78DV3HT9TRA1F46DTFSEK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9 amt-token-alex-auto-alex-v2) tx-sender 'SP1ESCTF9029MH550RKNE8R4D62G5HBY8PBBAF2N8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2378 amt-token-alex-auto-alex-v2) tx-sender 'SPHTZ4DDG06923WRXKHRSZ6DMQMJ911AJ0N8WT83))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u48 amt-token-alex-auto-alex-v2) tx-sender 'SP184Y6MF9SPV78S9VMA2ZVBEV5QVKRNW4537FP6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u147 amt-token-alex-auto-alex-v2) tx-sender 'SP3C7NS4CV1Z4K8HZ1YHE183TC8A1ZV8DM14EGTV3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u122 amt-token-alex-auto-alex-v2) tx-sender 'SP2FQJWGNGGPK3XPSDJ4DMAQQYQ4CKMS3B4TCM37M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u70054 amt-token-alex-auto-alex-v2) tx-sender 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19667 amt-token-alex-auto-alex-v2) tx-sender 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u660 amt-token-alex-auto-alex-v2) tx-sender 'SP290ARKKHXNZ375MVKSGXS9RMN2Y8N9GQYEGDVXD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2370 amt-token-alex-auto-alex-v2) tx-sender 'SP3F1K2BAW03PQRVQJ84BAYM48Q36803Y3QM2HF0J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1217 amt-token-alex-auto-alex-v2) tx-sender 'SP18RAG0JAQJHY7PAK2HQWQ2AXY0H47XSKZSJR758))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1464 amt-token-alex-auto-alex-v2) tx-sender 'SP1DS92SAC64WF1TAWPP4WWFQXBXE1WQH13C2R78Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4117 amt-token-alex-auto-alex-v2) tx-sender 'SPARK7R24Y65X53R9T9FHB8H412N2DFCYTMH688S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4117 amt-token-alex-auto-alex-v2) tx-sender 'SP1VFTXPFH4S8T99NHWQBJ8BECKZFQ3YFXRN4NJY8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u458775 amt-token-alex-auto-alex-v2) tx-sender 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u17 amt-token-alex-auto-alex-v2) tx-sender 'SP45RYP4W83SMSCG5C7MZCM1EFVRJY4K6D0E05Z6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2576 amt-token-alex-auto-alex-v2) tx-sender 'SP2AHYWFE0H9ATG1VGSM1650210WM5SJF9GT5M90J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4 amt-token-alex-auto-alex-v2) tx-sender 'SP2C1P7NBNZ9Y4FX9R22VWGA1D5HVKC99CNK9N5M7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u147 amt-token-alex-auto-alex-v2) tx-sender 'SP1670MKT45KGCGQGGHHK0V082RPTM1JXJXAAYVGH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1279 amt-token-alex-auto-alex-v2) tx-sender 'SPVV95A807JQE61KNJ0ZB7NW3DV6SWT8WZR6RASE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u23021 amt-token-alex-auto-alex-v2) tx-sender 'SP182A5TQC0E1BNPKKXQW5Y17ACJC0PNM007AKY4Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9823 amt-token-alex-auto-alex-v2) tx-sender 'SP28HK87YCFC84BD44R24FM78550TE1MWGYARHBYR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u16235 amt-token-alex-auto-alex-v2) tx-sender 'SP3B5NZ9T7MF80WJ4WGMM2AHC5KH0D160Y036MRRT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u31594 amt-token-alex-auto-alex-v2) tx-sender 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3782 amt-token-alex-auto-alex-v2) tx-sender 'SP380B7RPXPHMP34KV4RWRG7YKCH5RDK4F19DXSTA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5554 amt-token-alex-auto-alex-v2) tx-sender 'SPN2CWZE6E38N84WZAQ4JYSTFAAKKBPB2DA3Y2H3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u369 amt-token-alex-auto-alex-v2) tx-sender 'SP240Q43GSBEGWNZBNNK6ZHEJAZMW6E57A1YS83ZB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u729 amt-token-alex-auto-alex-v2) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4751 amt-token-alex-auto-alex-v2) tx-sender 'SP5C1MKYWM9CTD93H19SQBJ4CS1AH59SW79GSN6W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u668 amt-token-alex-auto-alex-v2) tx-sender 'SP18TMHKPGW4RZF2CE63NCZFNEAKW9P1XS3EZJQVA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u11620 amt-token-alex-auto-alex-v2) tx-sender 'SP22GP3X6WQYT053YHNV4VQHMRZ3GXBYPPQB0GYGC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u72 amt-token-alex-auto-alex-v2) tx-sender 'SP19EEVB1NY23C1JK9WMTN0BK0DBJ4X6A9SRR7TPR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u147 amt-token-alex-auto-alex-v2) tx-sender 'SP2JT598PVV7JRBVD9K9JMTZB2W464380G1HFQHK7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6952 amt-token-alex-auto-alex-v2) tx-sender 'SP38VZ1NFX3MM4ZMKT4K3T25G1KNK7W9F6SFD5KSV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u640 amt-token-alex-auto-alex-v2) tx-sender 'SP1WYHPJJVN3P0PS32BMF33P6WVVK1SNRRS28ZF0G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5792 amt-token-alex-auto-alex-v2) tx-sender 'SP1QG2JV0DEFQEXENPGSYV54YZC6YHZ795NZAZBV1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1960 amt-token-alex-auto-alex-v2) tx-sender 'SP2S5PAPSQKP8SF8NPRTXZCKKTGZ49BXD7WQHC68M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u94571 amt-token-alex-auto-alex-v2) tx-sender 'SPKADNRAH1R5YX16SFAR0M1NV9ZT7TNR2YE9TJDQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u232606 amt-token-alex-auto-alex-v2) tx-sender 'SP3BVJ0KRTAAJKFW5WY5Y4AD7HK0NAPFT6WTPDNDV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1 amt-token-alex-auto-alex-v2) tx-sender 'SP2AAPWAT8GV9KWV49QNAQRS4DAG3H8PWD4NJY4BF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19155 amt-token-alex-auto-alex-v2) tx-sender 'SP3VJR6HPGKH5VBMNHRXHPQXYH3P4BWV696WHF594))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u654 amt-token-alex-auto-alex-v2) tx-sender 'SP21P697VNEB6GCHPPZ0RRNKQEASXXGDG1KE61G5Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u114005 amt-token-alex-auto-alex-v2) tx-sender 'SP39WTKHH436QV6BTS9EKCW64CFT2AYV7XMVTCY0N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u988 amt-token-alex-auto-alex-v2) tx-sender 'SP2DCWWWXX50RHJDRQM33F36G6WPBM83VAA9HVJ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u15648 amt-token-alex-auto-alex-v2) tx-sender 'SP5MX9KTJW1MARJHAQGZM7TM7RD5W8NA6ZBE7E5J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3021 amt-token-alex-auto-alex-v2) tx-sender 'SP2N7VSJ2DT9NY438G3VDWYFP3WWBKYN46GQPHH6T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u70650 amt-token-alex-auto-alex-v2) tx-sender 'SP1FZKAJ5V0QSV19RB5T2DG1PJQ6R6MKSB5ZJF5A5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u98483 amt-token-alex-auto-alex-v2) tx-sender 'SP33QP4N5WNV44GWGYMC55JZYRCPJVVC0KWN3NVZW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u44486 amt-token-alex-auto-alex-v2) tx-sender 'SPC5XDPYK8ZXNDS0FNP31RKG5P7K4JT8JMY3XAJ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u298923 amt-token-alex-auto-alex-v2) tx-sender 'SP1KX403GCQP573B9JS058NB56VQ6MMYC3105W47J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1863 amt-token-alex-auto-alex-v2) tx-sender 'SPVNKGS6APXSM5V0SHCETFF99WKHS4Y6BHN8XT5A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4403 amt-token-alex-auto-alex-v2) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u184115 amt-token-alex-auto-alex-v2) tx-sender 'SP1K3FNTGVSTP64ATP57GDRCZFEH20TZRE19F7V89))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u32860 amt-token-alex-auto-alex-v2) tx-sender 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4029 amt-token-alex-auto-alex-v2) tx-sender 'SPZMB5KZ1J5TASVW4EFXXV04N6Q0V3KC3NPWMGRW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u244037 amt-token-alex-auto-alex-v2) tx-sender 'SP22K5P66PH4Q2R2ZX6WCFHNCWTD55FX4K1GB23S1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u32179 amt-token-alex-auto-alex-v2) tx-sender 'SP1PFS43AGRF3KFJCRYJZESJY1TT1ZYHQ7QAH5YRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u924 amt-token-alex-auto-alex-v2) tx-sender 'SP31SWEY9R4WF82E6689YN4M9KPWVRPW9W054T7TD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3569 amt-token-alex-auto-alex-v2) tx-sender 'SP1EYT8D1XW6QKEYGEHS6BGGZZX9XYFDW7M29A3QJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9273 amt-token-alex-auto-alex-v2) tx-sender 'SP1ZMABX8CRGD6AVHBEJNM1YJBPTHWC09WPWJ14HG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1561 amt-token-alex-auto-alex-v2) tx-sender 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u24935 amt-token-alex-auto-alex-v2) tx-sender 'SP1FDWQHXS9CFJ5Z9DZCZDD394Q6FYPJ82G6ZVCDP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u78070 amt-token-alex-auto-alex-v2) tx-sender 'SPATA46R16BZ1ABDNEWX9W4G63KZKWPV66212X4Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2157 amt-token-alex-auto-alex-v2) tx-sender 'SP2KP0JM3XQZP92QRZ66WM97GQQGG4EWF86DGHTMP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u45298 amt-token-alex-auto-alex-v2) tx-sender 'SP12H4H2GT04MGBZXM3ZKQCMDV8425WB77AKQ82F1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u8112 amt-token-alex-auto-alex-v2) tx-sender 'SP3Q4Y8N9T0J28NE5BXGD2CFCW0H64TSS9KGMWXD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u49407 amt-token-alex-auto-alex-v2) tx-sender 'SP1NTYFH1RYT2Y38VKA7JHP7C09PW3ZEF1QG765YF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1356 amt-token-alex-auto-alex-v2) tx-sender 'SP2ND057V3RK6RDAWF4CKBV2VXNCT6ZXY3VM9B1CY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18359 amt-token-alex-auto-alex-v2) tx-sender 'SPG8A67NM6G76TGFKN7H9GY33Z8FK5Y9ZHV4ZMVN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3015 amt-token-alex-auto-alex-v2) tx-sender 'SPC1CHHEGSR3WPV2XMFCATTQVX60DYBBA82XSEQV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18121 amt-token-alex-auto-alex-v2) tx-sender 'SP31JH4SXR2F5Q0XSAY87BJ8SADRKZATP0F7G3TR0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7605 amt-token-alex-auto-alex-v2) tx-sender 'SP2RNHHQDTHGHPEVX83291K4AQZVGWEJ7WCQQDA9R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1561804 amt-token-alex-auto-alex-v2) tx-sender 'SP2WEPZY2CGGPZRBRF47ZX9J2MD2NWN8F9JTMPDZK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7200 amt-token-alex-auto-alex-v2) tx-sender 'SP1NXJVR17EDFXZRN0C7RSWVE82JCWEM1CD9XT1S8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1013 amt-token-alex-auto-alex-v2) tx-sender 'SP1TR2K4HZ7D368M51AHE3EVTBMC6R1ZX9ZM5P3F2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3653 amt-token-alex-auto-alex-v2) tx-sender 'SP17D2C9PE4WAV8J8GAY1DBWZ9G4KQY68KKMFC9CD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2901 amt-token-alex-auto-alex-v2) tx-sender 'SP1CVMKPQ735JQ5RG62KJSHW7B6CV2MKVWQQ1QMFY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1411 amt-token-alex-auto-alex-v2) tx-sender 'SP3H4MX3H4M6QQGWGXJT9HYGSNWP8N7XWBDS3Q7WE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u375 amt-token-alex-auto-alex-v2) tx-sender 'SP112ENRZCAY37VMH4E21ZBR7WQ9WQ0ZK6AB31TH7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u822 amt-token-alex-auto-alex-v2) tx-sender 'SP3BABF1YC7GCCNMXGYP509QY85VS62PGSNEFDHQ4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1725 amt-token-alex-auto-alex-v2) tx-sender 'SPWG868J3CJTXM1GS9DQTJXRPVN741T4A4M61EX0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1894 amt-token-alex-auto-alex-v2) tx-sender 'SP2C4RJRAEWDFXFP3CSKJ7B696KM492VX632Z6JJB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2703 amt-token-alex-auto-alex-v2) tx-sender 'SP2TM1VS3P4Z7R6ZA6GSP6JAXY39VVEVZNG8DKH3K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10699 amt-token-alex-auto-alex-v2) tx-sender 'SP8B25TQC2XDAKSFWMD1C4VN2PWHG75SV1R7RR01))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4014 amt-token-alex-auto-alex-v2) tx-sender 'SPBJTE6CD7RJJQVAVY4XS1FQ0K72DTW2R4KEAVKB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u153343 amt-token-alex-auto-alex-v2) tx-sender 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10226 amt-token-alex-auto-alex-v2) tx-sender 'SPQFY8GDC8XXR30RGW2JCGCFG42TFZQP0K3QQY6A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1111 amt-token-alex-auto-alex-v2) tx-sender 'SP3AJ9ZR71KB9NXMJ9BVZ2Q8WQ9DPFZ06MG4W8BC2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18050 amt-token-alex-auto-alex-v2) tx-sender 'SP32C18XSZFZQYDDAQ8D0CGFBDPGJ7MYE78BYJSXG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u93392 amt-token-alex-auto-alex-v2) tx-sender 'SPV3ABNM9XSCKPHC8SBA2Z0FZ6978DE7NVCCNAFW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4523 amt-token-alex-auto-alex-v2) tx-sender 'SP31JXEB7PKSTW69M8JWDBHH8JQRE5C179Z06K70X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u898 amt-token-alex-auto-alex-v2) tx-sender 'SP3XZAF4DCZ64K8WZSAT5KGK8XXY10W210986W9FG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6665 amt-token-alex-auto-alex-v2) tx-sender 'SP1HTGBMF6C3TCJFNSNC2BMMSFQQMJK0WA149QZ4Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u67891 amt-token-alex-auto-alex-v2) tx-sender 'SP1EKDMMG508FY96RSEQ1EFGGZ6J8T8DCDPAM12HS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u142 amt-token-alex-auto-alex-v2) tx-sender 'SP33K9XY95TBDWAVXTHE5JYBZ3Q07PV77W8SN2KJM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9380 amt-token-alex-auto-alex-v2) tx-sender 'SPGN3Q2XVN9F29WN5Y4HDG3KP7ASK9QJRPGTQYBG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u28087 amt-token-alex-auto-alex-v2) tx-sender 'SPPPSQQDFEVXZ7DKE82QJNM3HWNH7H33TN6QXB1A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2183 amt-token-alex-auto-alex-v2) tx-sender 'SP20DSY8AGFM6QCY77PDA2TS6HKDMX4TE2H7EKMJ8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u186 amt-token-alex-auto-alex-v2) tx-sender 'SP3RXQ0PJD8DXVEPHKBESB56YAWF8YWDQF4ST19YG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4144 amt-token-alex-auto-alex-v2) tx-sender 'SP3Z0BHS0SVP5733GDZ2RWJV1G2EW04PFN2NSX3PK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u15199 amt-token-alex-auto-alex-v2) tx-sender 'SP3Y4FBG02E39JM2Y9KA6NPTWW4MAP9HEBVYC40SD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u435897 amt-token-alex-auto-alex-v2) tx-sender 'SP3T83GTFHDHPXCJ4EMBX24MAK0W14NQZKAQW8JJX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u49274 amt-token-alex-auto-alex-v2) tx-sender 'SP3PM45X1T3Z0S6WEJQF957FPW7N5BMR67J9C79ZQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4726 amt-token-alex-auto-alex-v2) tx-sender 'SPAS6SB39A6YXF85P9EQA02YNYC60VM36H81Y4V5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1929 amt-token-alex-auto-alex-v2) tx-sender 'SP11Z7945VRSJ7D5HE0QGRCR3KXQ8RNE41AZS1WB6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u161 amt-token-alex-auto-alex-v2) tx-sender 'SP81YRG7422DP66HK9XNBMNFH8ZXVXT1PKE5YHJ6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18557 amt-token-alex-auto-alex-v2) tx-sender 'SPS8KR2B9FCP6083WPZ3HTPFYYG8JCWZNWPP1CPE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u159 amt-token-alex-auto-alex-v2) tx-sender 'SP1PPH2BHZYY0TRBTCRW9Q1ZRQB296WXA6YF0BXVS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1254 amt-token-alex-auto-alex-v2) tx-sender 'SPVQYWSCQV5M8TB51VQXWPZ2JH748W97HJPKW65R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5885 amt-token-alex-auto-alex-v2) tx-sender 'SP20670DDG79SX8ASZ6X7V65X2P5NXZ3RN4NZNVZK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1567 amt-token-alex-auto-alex-v2) tx-sender 'SP3E5P4WF88MJNAD78F0Q1WEWDME0A383MWT928S3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2818 amt-token-alex-auto-alex-v2) tx-sender 'SP17XFW0963E9WG8484ZGFYS1EX9YGRGNEYGJKHZH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5706 amt-token-alex-auto-alex-v2) tx-sender 'SPYYKSV2P4RMT2TXW4YYD3Q7HDZBYXMAC6WWCJW8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u52 amt-token-alex-auto-alex-v2) tx-sender 'SP375GH89FZ3BD01TZZEVTAKWCQP8BWW6G8VDN982))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10 amt-token-alex-auto-alex-v2) tx-sender 'SP10GQZWNFSJECAGA1YXGC55EM3XMGMVMC0MQY1BE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u53 amt-token-alex-auto-alex-v2) tx-sender 'SP1Z7XR8GX1WW2JJHZFS9W0C9SB84MNX6AA137KQD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u53 amt-token-alex-auto-alex-v2) tx-sender 'SP1GZJPD8HJTW37057NV5QMY8BQZM9JSFSFZV0N3S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u106 amt-token-alex-auto-alex-v2) tx-sender 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4505 amt-token-alex-auto-alex-v2) tx-sender 'SPACCQ8K3ZKXNAHTH14VEAFWY9E7BDP72DCNCZWP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u389 amt-token-alex-auto-alex-v2) tx-sender 'SP2NP858DFV9TASQ1FQF5ZHQ6JBXCFTZ0D3DE44K3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u195 amt-token-alex-auto-alex-v2) tx-sender 'SP3SPYAFW2KNK22J4DNC2Q3MVJFHV0BZ2XGVR1AGK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u27352 amt-token-alex-auto-alex-v2) tx-sender 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18369 amt-token-alex-auto-alex-v2) tx-sender 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19058 amt-token-alex-auto-alex-v2) tx-sender 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19633 amt-token-alex-auto-alex-v2) tx-sender 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18330 amt-token-alex-auto-alex-v2) tx-sender 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u168173 amt-token-alex-auto-alex-v2) tx-sender 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1065 amt-token-alex-auto-alex-v2) tx-sender 'SPSEX2VVQSDZYZ5CHBCZD0840S52PK5D0QPWPXC3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u56800 amt-token-alex-auto-alex-v2) tx-sender 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1233 amt-token-alex-auto-alex-v2) tx-sender 'SP3X60DDHC9WW0R345QWXD6Q1M91B73KWK76BHPD1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u39550 amt-token-alex-auto-alex-v2) tx-sender 'SP105MPZ49FRZ77N652B37BQ68NR37ZB96NV5QYPG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u115904 amt-token-alex-auto-alex-v2) tx-sender 'SP3DJGW188X2VF24A4CD1AMDKXZQRCVP0JEW89BWY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u355 amt-token-alex-auto-alex-v2) tx-sender 'SP3FQY63EHC34PJ5254MYH28Q0B79EJJSP3Q7RJ5W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u29 amt-token-alex-auto-alex-v2) tx-sender 'SPEBR1Y9E7ATJD6RK8EWXEH96B2AYQ1XVCX41DM1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u170619 amt-token-alex-auto-alex-v2) tx-sender 'SP1BN3EQG74K8V9GDYZGC1YBM2YEEZ8S3JQ2Y48FS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u24422 amt-token-alex-auto-alex-v2) tx-sender 'SP1BV81K6653323QQ50S3ZYJMRATX59MT0P3HZGBC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2831 amt-token-alex-auto-alex-v2) tx-sender 'SP1EV6F9HD44392865ZVG536TCC2BYJ1PYBQHX71Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u346 amt-token-alex-auto-alex-v2) tx-sender 'SP1YKC7GJRPP5AT5YTHWRG34PZJRWR9HYX69GMNZ6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u13783 amt-token-alex-auto-alex-v2) tx-sender 'SP3Q8TTE2XR6CQ0TH8P36R48SBKWG3YKHCSBY69GY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2328 amt-token-alex-auto-alex-v2) tx-sender 'SP3E88SN7NFPVB4XWG83QQPRN981P6QWPMV4R3ZJM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1110 amt-token-alex-auto-alex-v2) tx-sender 'SP3C4E1954AZD7C7HQN1JABQ119DA58S7BB9WTEZS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10916 amt-token-alex-auto-alex-v2) tx-sender 'SP1DB1Q1864YTB0PXQV0T2MPM0NRARAE7S841MHNV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4457 amt-token-alex-auto-alex-v2) tx-sender 'SP1FKA3RMGV93QRF8ASKF2Z3TT4FHNSRYJB9R76AH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u940 amt-token-alex-auto-alex-v2) tx-sender 'SP3W83KG17KJZZXPDZQDTRQKQRGHNFZN410R9P02E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u217 amt-token-alex-auto-alex-v2) tx-sender 'SP3S1JWFYY1DFHDHXHR6KK9W5X8JF7KWRZM26Q2G4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u72132 amt-token-alex-auto-alex-v2) tx-sender 'SP1R0R6DC3K9E1N7FW8K0C78KE2QBGXRRK80KTBFN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u57624 amt-token-alex-auto-alex-v2) tx-sender 'SP1B7Z5QNNQ2X6W0YBSA1ZKJ29BHB9E93RTFDQFR4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1059 amt-token-alex-auto-alex-v2) tx-sender 'SP3VMTBGXF5KHNZ5YGA7R04DDJJ5MJMFYJ1H3Y71G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u31455 amt-token-alex-auto-alex-v2) tx-sender 'SPNCASCXEVVE00AJRFADQ2VCW1CNNTWASKP0JKQP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2940 amt-token-alex-auto-alex-v2) tx-sender 'SPZD1XMRH4R67A39HPY6PZ9X9102DA1536YJ8S0T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2302 amt-token-alex-auto-alex-v2) tx-sender 'SP1W2ZYVWM974TFQBQ0QKM8CG6YHACJKVSA47K0GC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u22844 amt-token-alex-auto-alex-v2) tx-sender 'SP1DKZVND38D35PVZ7Z3A9GN6RDS1AJTEKTEF9HAX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4843 amt-token-alex-auto-alex-v2) tx-sender 'SP2Z5075M2KDHYZC5BMWF9T4JF7TA2RSCXQEX77T0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9154 amt-token-alex-auto-alex-v2) tx-sender 'SP27YYQXSM66YWWKENFMTVQC4Z16BZAF9HF510J4N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u179 amt-token-alex-auto-alex-v2) tx-sender 'SP150DVPJWPM6MNTKHJ7H76ZTHD77CEBQ3KXVDATN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2788 amt-token-alex-auto-alex-v2) tx-sender 'SP3RQXM3QDHKTZAZFFCMA8J3ZE6EZ42N8KR26WNPX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u225 amt-token-alex-auto-alex-v2) tx-sender 'SP2A6ER4CKRKM6YBCCPV6A7J9Z14KVMZHHM7NSM5K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u464 amt-token-alex-auto-alex-v2) tx-sender 'SPNFG66D0TYSES82P6WGXCXG6T8R45QDGVH5JKTC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3931 amt-token-alex-auto-alex-v2) tx-sender 'SP1R4PVS4FDENCACKV0T17D0GKC4ASGKZD7ND5RNZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u14301 amt-token-alex-auto-alex-v2) tx-sender 'SP25SF2MPZZS8Q20QA3VTYJXTHAHCRNM5MSZYDNB0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10452 amt-token-alex-auto-alex-v2) tx-sender 'SP1CKNBR248ZNTX1B443TSS6FRNNNYQD44ACETE8W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1857 amt-token-alex-auto-alex-v2) tx-sender 'SP24478XYAB7DZF7850JWVYQRGGRKDWXF7WKKRY30))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1200 amt-token-alex-auto-alex-v2) tx-sender 'SPFF2Z95PBK76NZAS9ZAPJSTPVZ1QPY9KC2YYB2G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u88543 amt-token-alex-auto-alex-v2) tx-sender 'SP7246886VMT1J3SHRD6JD7EWT9N9CXNG935302J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u921 amt-token-alex-auto-alex-v2) tx-sender 'SPM4T04AZCDV3A4109K7JC3VX4Y00NBF7JA2P0NF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6493 amt-token-alex-auto-alex-v2) tx-sender 'SP1K7MZK8W4QG46CZM02GK9GZXDHT7RJDJAA3WGTP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6927 amt-token-alex-auto-alex-v2) tx-sender 'SP3M3Y16J749GBKDP50QEB255H42CB0DJ02FVF4H4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u157429 amt-token-alex-auto-alex-v2) tx-sender 'SPMH787PZM864PZY2AFVDDW9W9NMWMFXN5A8TQVZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1957 amt-token-alex-auto-alex-v2) tx-sender 'SP33M793WRK2Q7CKV8T93JRB942KPJGXQ0H1DA9J3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1820 amt-token-alex-auto-alex-v2) tx-sender 'SPYK333RF00HJN5X7AS18Z0WZ0AQAF5Y53QGN5K5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1001 amt-token-alex-auto-alex-v2) tx-sender 'SP1FWW464A8YVYBHYSDQSR1QVXTM7PR361STNT68C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u463163 amt-token-alex-auto-alex-v2) tx-sender 'SP2G7ZGCB125A9WHEN9G1BS3WMDCKJ5EMCH797JDB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4806 amt-token-alex-auto-alex-v2) tx-sender 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u693 amt-token-alex-auto-alex-v2) tx-sender 'SPPBMF6R5GCX3FNKW12D9PN1148KADYZ4QFBTY34))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4889 amt-token-alex-auto-alex-v2) tx-sender 'SPBBVHJH679PA4AJQB561AC8Y8Q9E2420CDHTHXZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u92 amt-token-alex-auto-alex-v2) tx-sender 'SP1H4K14GVGAWEBPGQVPB9TXJS5QZ5TM6J2C1QYBE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7367 amt-token-alex-auto-alex-v2) tx-sender 'SP3C2WZYREATEY115EX2DFEDK2B6ZHCTHDBPJTNRA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1713 amt-token-alex-auto-alex-v2) tx-sender 'SPEK42NNV3BVYBY2KFQYX0PVE7Y9GF52C5M65ASD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u456362 amt-token-alex-auto-alex-v2) tx-sender 'SP9HG5ZR3677T3MAA7WYDFD3J7A9EH2JC2N4PJJJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u8026 amt-token-alex-auto-alex-v2) tx-sender 'SPVMKK8WC9FB93973DYD3SWWT4X4BHDN5XNFHH29))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u369 amt-token-alex-auto-alex-v2) tx-sender 'SP9MDT96EC87Y55VDYB74M47NXGQHESAE3K597JP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3860 amt-token-alex-auto-alex-v2) tx-sender 'SP1PSYNK6TC5ZN8VZRRE5FWCDS6WKGYM3HDG20P7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3142 amt-token-alex-auto-alex-v2) tx-sender 'SP9M5S19PE4GM1VG87B09JTD50748517SJ4R0Z9V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3328 amt-token-alex-auto-alex-v2) tx-sender 'SP1T4CQ7HN9ET815YD3RFVV29HK4ADKC4AKTZ1ZPR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3618 amt-token-alex-auto-alex-v2) tx-sender 'SP8SJ1K2GX8C6EGM0QD49VAHVC4F8XHAWZ9KX1YJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4883 amt-token-alex-auto-alex-v2) tx-sender 'SP1EMXVNDR76B38G7ZQ12PSKGECMPCAQ000R6H2K4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1059 amt-token-alex-auto-alex-v2) tx-sender 'SP103BZSXCX2YF8HXMN8DDP5Z46DN4A0HPRDYJXDD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u97 amt-token-alex-auto-alex-v2) tx-sender 'SPSER0Z6CXAKJKXNMDK9SDVEW0A0GX247FY99J5F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u551 amt-token-alex-auto-alex-v2) tx-sender 'SP1WWTY9SBKA7GTB4CCTWR4H855MQ7MNSBN5XH8Z8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u13214 amt-token-alex-auto-alex-v2) tx-sender 'SP3JZY1N8ZVV9GM5Z1DNK4CTHWT29PEEPMRNKFF2K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3365 amt-token-alex-auto-alex-v2) tx-sender 'SPYBA93YDHTYB43YPT14FMTGAGZSFJB1QY0RCFWW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u20197 amt-token-alex-auto-alex-v2) tx-sender 'SP2YWMJCGXXGZ4R5AKBK61V3CBRKMQ25HRB5K594J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6716 amt-token-alex-auto-alex-v2) tx-sender 'SP1H8BXDC221FFPF0Y4SEDFJ6EM1BQKQPWZT3CSB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5958 amt-token-alex-auto-alex-v2) tx-sender 'SP25X0G24FDCTFB83MJT9NE8188RXTP1C7PWGVSXT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1231 amt-token-alex-auto-alex-v2) tx-sender 'SP3VMAHTFVN9ED5FB073MK1B8MGNCZW5VCEHFFD7C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u14816 amt-token-alex-auto-alex-v2) tx-sender 'SP31SXJHBV3YN94HQX7NR7TV9RBM8NSNYAGXG9R6X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19100 amt-token-alex-auto-alex-v2) tx-sender 'SPHKPJXTXJ67E195R4Q7R5XWY4AJFNGW7300F5SP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u29743 amt-token-alex-auto-alex-v2) tx-sender 'SP3GRXM2ZSE56Z4QAWN79ZA6ERST5N5RTG4AZZ2FS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6284 amt-token-alex-auto-alex-v2) tx-sender 'SP2E5TW2R175S9109ZJBF1C079YBWYDFSNPH2JP1E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19469 amt-token-alex-auto-alex-v2) tx-sender 'SP29AX7HWYF681VTJCS5MYRP2KYDACE28B6HZJP37))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10160 amt-token-alex-auto-alex-v2) tx-sender 'SP2RFGZ9WWXV3CZAR9QR94FHJ1WVZ59SF8J6QEA0C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u123389 amt-token-alex-auto-alex-v2) tx-sender 'SP2HG965STSHPXKJE033E810RZFHGC63NY484YRD5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u595 amt-token-alex-auto-alex-v2) tx-sender 'SP2H095XH3NW73BGBQPCABXJVZZTR5P7CCJWMM18Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP31SMQGH2J1Y7BC9Y1XPGSBWGCHC9CZT8591H3ST))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1X08SQH4D5YQER3J2E4CJGTRKMDGZQHPSGDNR2Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SPP8544WFN5VR48ENJYF2DM66FV05WY7H1JHP67Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2VJBTV81HW5NJCR132WTJKW3WPAPXPSXBN1JE2Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP35AQRSABJN89JJEA5VMYWGTXS4X6K4EZ9NPW9HQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP5Y56RVYPJJBYCAXCS5VQRAKJ9S5JTPNB09GX4K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3BXSV5P45APSKVFZ09C1J2NT4FBP8QPJK4E65FY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3WTQN8K3J30WW2QH3MENM8CMQWGJ54Q1CW0C19V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2Y3E9R1J6PT58029FS1TSZAFW3XXHK3THSXS7QY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2NJ3D844ZR8K0X03JC2JGE0JXK3RYZ0HM760EHR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1QHJ31YE5KBMG0JJBBBYNVZ37R50WVV8VYZ33ZN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1X4T57663TYVA33HZANG7G4QFJYHPDMXM8307BW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP8370ER9FKQ45P92835K0NMRDTCD8QSPYWYJ708))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u61105 amt-token-alex-auto-alex-v2) tx-sender 'SP4TR8NE28PGGSXP1A1KR7FQAXTDP71KF6HFW7XR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2084 amt-token-alex-auto-alex-v2) tx-sender 'SP3C1W3BG1BQWGHXS5SWCKWW2N7ARTWVHAWC0E7WG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u45454 amt-token-alex-auto-alex-v2) tx-sender 'SPFWSPMT4TKXBH3M8A7DVQY3AFW5PYKH18424G0B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1P6SNNYJ3W15Z3XVX47KQ0QFCBKZX7Y2NDYD500))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP28WFCJZ9S4RR175V8Z8S4KVNGPCEP5T4VWWPM6X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SPAQ9804M7PW9QK36KTZMR2A4MHSV7WD3TN6C2SM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3VQJVAH6FQW84XQHVP4WQDTGNC25A3CXYNQ1KKV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3J369Y7DF3QFV6AA0EWD6ZGWQRS2MPSWE75VJ2J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3BEYJJ3AFBDCTHDNNSAWNG7DYM637CJ0C3VMG68))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1QRBSPA7BY11GEM8HSJRT41E31QG3FKDB43J8R2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP38XNYR7F12TC86H99725N8159QPSKV63RJKDVEH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1RD89M7NJ9N66BJC0V83514V32T6FFDSXYVTN3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3NZPZ5NE138QCY8K38CSMN0M4ZQ41V0S1847T60))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP13QJW1MKQC1NHWV94Q7TD2TMK0TPK8V67W0F33X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3PNZZHN1FDZQSFRENS30MX8CBVRHHVM3MP1SRG8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP3BYKD2K84F0YV7SHH1EJGB4S37HSXCHATJ4ERG8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP26ZJYW50VBZ90T8DPMCJY57KFR42SYE822Z3X4V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP26DYYZP57D3WXZ7QJ7Y1QZKRYJPDX08NRDH3WED))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2XZHVR3A250APPM4ZM4JW795FZT5S2VQFMG48ZJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SPXNRYNEK9J9H90ZTPKCPTQWHQ3WJBW6TN28FNGE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP7ATAZYGQP3PEQFG8S3825ECC9BAHP60PXQPP0R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP36J1DDQYCYC463SW4DYZJWWDJ76PRHR18N71W54))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1V7PQGYC2W1W33M1PPTS4WTRSYXMAVH6BKV0AZ3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2A7KSNA90DMHATRDAV5RB6EDG7FVXDQH3T9M5V7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP1R9SKX96QF0NR3DHEPEG216X1M35X809PFDH5KD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP32NM4ZX4M0RAN5QG2B1QR93C5V6DTK8JKR8ZYSR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SP2Y8K375XJ8VEGT03J3GBV96ZQV5HCRDHP5VA50Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u597 amt-token-alex-auto-alex-v2) tx-sender 'SPJR5CS5HX4R79XKBM90SBWBYAWTA2Z005A975Q4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u598 amt-token-alex-auto-alex-v2) tx-sender 'SPZVK8F1QFFZ93J7PQ7THWR7RWM4FFKSHFJJ8Z2X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u598 amt-token-alex-auto-alex-v2) tx-sender 'SPXZ6YGNJAHNTGWYBR83Y79FHYH3VCRVQSC2SVH1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u598 amt-token-alex-auto-alex-v2) tx-sender 'SP2NRM1ENZG984HGTBE0VZV744ZNQTSBJS4EKXS1X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u598 amt-token-alex-auto-alex-v2) tx-sender 'SP17WYCN97D7SE0FC5B90N2P9QD769TPBJZR47B0H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP31TNRAWCYD2HHFA8TVHCKSHQK7TRT8XH30F8R3Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP28J8GGK9K7CW6R9KBG2G9BP5QDB373ZWSJ7E9D8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SPG1AY2Z6Q6X99NC4PXPY669SB4MJRRMNMQFNNWX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP1FH70TJRHS3MCZ5JN3WYEZZ8H3VTG4B3FX98JA6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPBNVJ8XSNFH1GYX7SKGHDNR2A85QKCCEE38GJ12))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPJS7TCQVMS5W0KCCN58PPBTZD9548K8WGJY60EX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP2R8D4V4NKREF09Z9QBB8Y6190BSRJ2XCJYHPWWX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPZXBGHH2BHW0CYFWRYG81BT1SZTX088EJA1QTZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP12YVBMW6FKJ9HXRJ9QQJJ7Z14PKQABF3V44XNPH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPS9B0T3YQGZAZMJS389E0V1TM228HXA0ZB4TXCA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP1FRPD8TZHXJZWGFHGFGXPR326YKZFHHNPYZFGA9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPVBDRXRZ3S8HW0SDAQCJCJ19EQNY93RZJB0HEBR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP2TXYGNBT7TZC5Y71X3X6C07GRRZ1FT5ZX0J8TTR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP1B1YPHSTQSGZ88T9KJTYJ79DS6QM5YVTGA3P5Y1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP2N9S1910E19VSGAHSE7JY8SAZW0WX1EH1EQQV9F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP1EMY1ED8T071356X14AZR5FEHBZKYHKHW1Y7HAD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SPYFQ80XRRV6HBAW1WJ3YD1TFHVE6X2HFR1FY8C6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP3M0PNKS3F66TZREF6SZTGY9P59YW2JCN60JMT37))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP1HYKX20B561GDG5J3ERKMCK0VG7XEPBRK0F95MV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP26JCN37YPKK4WR269SDF2N880MXY1DQVS9EBRBT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP37Z39QNEZPHMZ66DQVJ4FTSMFW8DZ5HSF6TN2JR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u120 amt-token-alex-auto-alex-v2) tx-sender 'SP4EDS93F54XJABYFWERTYRHJRDYQ4GPQYA028ST))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP12Q6WEHW80RTHP6W1GPZ4AJWBW9F31EAC0HG2JF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP3034ZF2MHYZQHCH8K1RDHGKK4ZGRTND4QJB5ZTV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP3CBRG28NQA06XK2C650KK0FCFQ0Z4NXF0JD10FK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SPJDM03AVRD05RSBVRVZFZN5XSRHCKB4SRVSQ0HM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP6CT02YWCSC68BM80K74K10DRQ6Q7VNWQE1VK7Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SP3Y2NHWXAS5RM7MN095PMNTA7DJPSTB9S1TATWBQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2354 amt-token-alex-auto-alex-v2) tx-sender 'SPJ8VC4DDR71FPKDD3HM1R4JV10NGAVAWYWMV6VW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u135 amt-token-alex-auto-alex-v2) tx-sender 'SP3KB8PHDZSV49GR96NGN5J68R5ARF2BH28T1BH1A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u226476 amt-token-alex-auto-alex-v2) tx-sender 'SP3FAM6NWV6AQ1RYG6THQ1YTD5B6KZJS2S3QX2W2G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u119 amt-token-alex-auto-alex-v2) tx-sender 'SPFBZZEYGBX5CEJP7HHX4RKHT0CC667WFS6J9XDC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u7773 amt-token-alex-auto-alex-v2) tx-sender 'SP6R70K0HAVVTEGTSSEXE6NW55AGVD57C2N0C33T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10870 amt-token-alex-auto-alex-v2) tx-sender 'SPMT9FD1RSGHWT04H3EKCSGK03KAN3NFNWRPW5PQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9195 amt-token-alex-auto-alex-v2) tx-sender 'SP28TMWVFRFMWEB4NPGN7H4AJWX08P0SGPQ4B5RVQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u65921 amt-token-alex-auto-alex-v2) tx-sender 'SP2F4M27NWAPKWYKXQHYHRBDN9X97V3KGNKBT2JZZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9197 amt-token-alex-auto-alex-v2) tx-sender 'SP1FNJR238ZYVKKJ8DNCCH3P0PKDMTSWW7T7GXNDB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u104785 amt-token-alex-auto-alex-v2) tx-sender 'SPQNP3YBC8ACYZYH5S6MT1RW6297YG8MKZ7BE226))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10514 amt-token-alex-auto-alex-v2) tx-sender 'SP193KNM8TD1SE8R9134JHVSE14QCM84C401Z1K57))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3589 amt-token-alex-auto-alex-v2) tx-sender 'SPEVCC2C4BYEHW91W6350F35KPPJ3P3XBSK2YP5D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1810 amt-token-alex-auto-alex-v2) tx-sender 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u928 amt-token-alex-auto-alex-v2) tx-sender 'SP2PDBT3ZSPJ2M5F70SH0CDYAQW16BJTVF7BH35XF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u352 amt-token-alex-auto-alex-v2) tx-sender 'SP3XN9B70RSA5DASA3KZ5YCAHAHDQG8VA04498TPH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3597 amt-token-alex-auto-alex-v2) tx-sender 'SPTRPW9SPJYB131TG19B0ECKWVBQMXE8DK9RXBM9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u156414 amt-token-alex-auto-alex-v2) tx-sender 'SPXR5M7YV6B45G11KSXEGK3P3S6DMPT3TNC0FBE6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5302 amt-token-alex-auto-alex-v2) tx-sender 'SPVGHVMWEE5PE0PJPQ0XVKAGCM5VRVEMSYKB3VY3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u11961 amt-token-alex-auto-alex-v2) tx-sender 'SP3FTNYB6NR9D6TN37X9K7E8CJ6RJBGQ5RR3MASGJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18247 amt-token-alex-auto-alex-v2) tx-sender 'SP1SWE9XK3XRJN39S9YPXFG1F5Y49HESF0PQH6K5T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19324 amt-token-alex-auto-alex-v2) tx-sender 'SP3430TBS6TG40HTXA9VRBGKB33VF0X3WRA2QVQVT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u917 amt-token-alex-auto-alex-v2) tx-sender 'SP3AN4AK9W2KN9BQAGVQV6MPTCYDP40D4RMNJV8R8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u21970 amt-token-alex-auto-alex-v2) tx-sender 'SP2WE5KPP2ECX3N1A4308D9RM54NNJ818ZJ2CK72R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u271 amt-token-alex-auto-alex-v2) tx-sender 'SP244BGNNCV9FGDFJJYEA02Z8HQ82CBGBZ2K99BY2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3203 amt-token-alex-auto-alex-v2) tx-sender 'SP26F2CV39RJATZ45X78PX0CMQQ8V6GTVBT1NN3ME))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u5 amt-token-alex-auto-alex-v2) tx-sender 'SPN1ZPAY4NZSJXDRRR4MNPSR6C55MC8MGYZGJ82E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1054 amt-token-alex-auto-alex-v2) tx-sender 'SP346H4Y8J4MG3E4RMCWT3DJTQ391336Y000SH1V3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u135067 amt-token-alex-auto-alex-v2) tx-sender 'SP28ZTJS8Q58ERK8MDNFGQA85CHQRP4SYH85B95SG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u17495 amt-token-alex-auto-alex-v2) tx-sender 'SP2164EGKW34R27EKA5Z07FNN0TD9KXC8Q9RKZP5R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2755210 amt-token-alex-auto-alex-v2) tx-sender 'SP19857DVTGR8XSN2PN8HS3WNMZ7DBMVMZCDYBTJN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u218 amt-token-alex-auto-alex-v2) tx-sender 'SP2FXB6AW37VTZX6RF4Y6SHA2RG5CAY3M219ZACHP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1884 amt-token-alex-auto-alex-v2) tx-sender 'SP101BE5NDVHQ3YSYYKPE899FD2SR54A5BAFNBNFP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u46248 amt-token-alex-auto-alex-v2) tx-sender 'SPXKVSQTJDF8DX7EAT14WMNHE0WH9PZA47GWFH4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u122457 amt-token-alex-auto-alex-v2) tx-sender 'SPQFREJH26M4P3M8CTWE7CBPJ5X40H5R616FWQEM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2932 amt-token-alex-auto-alex-v2) tx-sender 'SP1DPXTZBA83PP7AGT94C9N86JPAM6TYJF96QK8AP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2292 amt-token-alex-auto-alex-v2) tx-sender 'SP2DH36TY6GDTN6YRZDKPNSA5HQ44EQ655YXD14DG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u91 amt-token-alex-auto-alex-v2) tx-sender 'SP2CD0RH3KH8SSXE37T24S189W0DJPKT6G202SJBC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4586 amt-token-alex-auto-alex-v2) tx-sender 'SP1C33A1E45N9ZEZ6Q1G22WPBC85SBWE12X5YF85B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1015 amt-token-alex-auto-alex-v2) tx-sender 'SP1AS0DT6KMRW6NSC7M8FTE2WV12N6NRS7Y9547YN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18127 amt-token-alex-auto-alex-v2) tx-sender 'SP3WZQVMNXQFQ81D5EMMG0PA7QDW711QP74AMT0A3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u81214 amt-token-alex-auto-alex-v2) tx-sender 'SP172QQY5W9WPA4YF9YBD9VETDKCN09Z05MJ7KXCV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u140 amt-token-alex-auto-alex-v2) tx-sender 'SP82V4V5ZT5DH5YG894F9174R7GY8BFZ2BA3025T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2359 amt-token-alex-auto-alex-v2) tx-sender 'SPGGDFGWHSFT4GA9ZG1S9F66GD2HYTNW8VVK2VFF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u227796 amt-token-alex-auto-alex-v2) tx-sender 'SP3X5XGHQR6TZ6G5A62HBHKM7D51YN4SJHR77X6FY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2278 amt-token-alex-auto-alex-v2) tx-sender 'SP2V7BV6BGJ75PZFMTHX2MDN4K3ZR1R95821XAWGB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u10166 amt-token-alex-auto-alex-v2) tx-sender 'SP28SX5ZZ42EA3MMFEA9DESQ7S2SABAG64H9CE32S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6839 amt-token-alex-auto-alex-v2) tx-sender 'SP1Q4BVKN51E3ABV31GPZB835SDXXEY1HNWWXBKDZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u12557 amt-token-alex-auto-alex-v2) tx-sender 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u56517 amt-token-alex-auto-alex-v2) tx-sender 'SP2GZBAPG13T1JNH48NKCSJV24XFRTYWQFN37K7C5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u496567 amt-token-alex-auto-alex-v2) tx-sender 'SP98HDVTX71PSG3VZDNXCPX1XD9TSH47H42H3AXD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1493 amt-token-alex-auto-alex-v2) tx-sender 'SP1NGYN9CN14QFNT2P24P1GHVW2NHCQ9GGPPV4WGA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u44711 amt-token-alex-auto-alex-v2) tx-sender 'SP35TNJ2NKH7W2JF4K22NDQNVMY34MRPGB5KASE6Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u39001 amt-token-alex-auto-alex-v2) tx-sender 'SP2ZXN5XPKAVZMGPSVHH4PREM5HBZBJTQSH11MY91))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u26409 amt-token-alex-auto-alex-v2) tx-sender 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u32727 amt-token-alex-auto-alex-v2) tx-sender 'SP2ZGXB09V8T0TV1Q75PKA8YVMQBC0ZPFYAE18972))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4534 amt-token-alex-auto-alex-v2) tx-sender 'SPSNHCNPHKQQ30Q57SQKK3JHF4KA6F1HGNDP7MXS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4559 amt-token-alex-auto-alex-v2) tx-sender 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u559 amt-token-alex-auto-alex-v2) tx-sender 'SP38H9WG2YWR0GX7K57FECQJC6AA27C76DV73J0N3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u821 amt-token-alex-auto-alex-v2) tx-sender 'SP3XRPJ492YBM3EWA1ASCC6R7BR37Q7VVJG8CTZCY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u496 amt-token-alex-auto-alex-v2) tx-sender 'SP3KMDEKCTW38VREB14JWMHNW20FTXMPV1F83AD1S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u337 amt-token-alex-auto-alex-v2) tx-sender 'SP3RTH8FSR3PK28B7CMMGJZ43TQJ5817CSWFHM0AK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u596025 amt-token-alex-auto-alex-v2) tx-sender 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u70694 amt-token-alex-auto-alex-v2) tx-sender 'SP3JPPQZF2GY8ER99S2Q8HFHDAC7APZNSM0SH9SJH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u17433 amt-token-alex-auto-alex-v2) tx-sender 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u17647 amt-token-alex-auto-alex-v2) tx-sender 'SP2BYWV2X23QZJN7QMC5HY7N1XHYXB5H33P21BMPR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u2797 amt-token-alex-auto-alex-v2) tx-sender 'SP3F0Z7QSRDR8GK66A714DPBDSE429N9RKV4MR0J0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u8408 amt-token-alex-auto-alex-v2) tx-sender 'SP3509GS0MYW03BD5MBY2DS97J86B4NJ3163RJXFX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u6024 amt-token-alex-auto-alex-v2) tx-sender 'SP2ZYPCNQV54SKY8BVWJ8M3CEAA6HJM4163MZ67H8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u146395 amt-token-alex-auto-alex-v2) tx-sender 'SP3XEW2B2HNPF9YRVX7E4PHBD4SVPYTEWTTT6Y9TT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1820 amt-token-alex-auto-alex-v2) tx-sender 'SP3CZQRTGFQH5RVSD3JVJ489C2HHXS5YAKJT979AZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u3185 amt-token-alex-auto-alex-v2) tx-sender 'SP5TN2MP8EW41ECDDS9R10AZJAACV5RFBVP6PR6X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u4782 amt-token-alex-auto-alex-v2) tx-sender 'SP1BSDYPZ9WJMK65EBS1WA8ZK205W59FA8VGB8D93))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u196 amt-token-alex-auto-alex-v2) tx-sender 'SPPSTDJAVK4PD5HKM1CT2K57RQ353DDFXK9RRB20))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u9725 amt-token-alex-auto-alex-v2) tx-sender 'SP1CT02DP2VDJYMCNSBAFVQN7BY3KB7WAB1HM9MGV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1815 amt-token-alex-auto-alex-v2) tx-sender 'SPS4PDA3KFB32NM0X9966CZCQPTHMHH01NRA2970))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u1058 amt-token-alex-auto-alex-v2) tx-sender 'SPV9TZ0MPMHQM4QYY484E1ACF88N8FG3D5M8PC64))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u869 amt-token-alex-auto-alex-v2) tx-sender 'SP21GMSFGMF113P2YHS9GKP68EJBA6FZPM5PYFY8Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u59716 amt-token-alex-auto-alex-v2) tx-sender 'SP3GJTZDD8XH41G1MR62PNPNFCM99JKZ11FE0CKZ5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u19323 amt-token-alex-auto-alex-v2) tx-sender 'SP13EASTN4ZCNFE635X6SNQ58H4NGHST1EBTHG0SF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u21807 amt-token-alex-auto-alex-v2) tx-sender 'SP3WY7JTV6NQVMA7XG0JD76RRVQQ63YH06Z5W8VKQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u441478 amt-token-alex-auto-alex-v2) tx-sender 'SP3KVVHRWM90Y8WE0C10PJJV17R6YDDWTN4Z6X543))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u18715 amt-token-alex-auto-alex-v2) tx-sender 'SP1SWJ3A0RP1EV92HWE2K89EEQC5SZ7N4T1HM8ZCM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-auto-alex-v2 (mul-down u13794 amt-token-alex-auto-alex-v2) tx-sender 'SP38XJS4TYKW598BN9YYVXTA5H2XQCYN96FJV67R2))
		(try! (contract-call? .amm-pool-v2-01 pause true))
		
		(ok true)
	)
)
(define-private (mul-down (a uint) (b uint))
	(/ (* a b) ONE_8))