burn-amm-swap-pool-1

;; SPDX-License-Identifier: BUSL-1.1
(impl-trait 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.proposal-trait.proposal-trait)

;; Hard-coded balances in fixed-point format (8 decimals)
(define-constant BALANCE_1 u599950010000) ;; SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H: 5999.50010000
(define-constant BALANCE_2 u550027647500) ;; SP1N6SYQHVBMKR62RR8JXCBFFX45EPGXEW8NQJV7E: 5500.27647500
(define-constant BALANCE_3 u450367261000) ;; SPVPAQ35P35JZYQA11A0E5DPY62E7P3HX0GA2RPH: 4503.67261000
(define-constant BALANCE_4 u600086543893) ;; SP3SHA1K2WKYA6AECJ88FMKD34RMS6KKPPAVRX16J: 6000.86543893

(define-public (execute (sender principal))
  (begin
    ;; Burn all balances held by SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H
    (try! (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-amm-swap-pool burn-fixed u1 BALANCE_1 'SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H))
    
    ;; Burn all balances held by SP1N6SYQHVBMKR62RR8JXCBFFX45EPGXEW8NQJV7E
    (try! (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-amm-swap-pool burn-fixed u1 BALANCE_2 'SP1N6SYQHVBMKR62RR8JXCBFFX45EPGXEW8NQJV7E))
    
    ;; Burn all balances held by SPVPAQ35P35JZYQA11A0E5DPY62E7P3HX0GA2RPH
    (try! (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-amm-swap-pool burn-fixed u1 BALANCE_3 'SPVPAQ35P35JZYQA11A0E5DPY62E7P3HX0GA2RPH))
    
    ;; Burn all balances held by SP3SHA1K2WKYA6AECJ88FMKD34RMS6KKPPAVRX16J
    (try! (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-amm-swap-pool burn-fixed u1 BALANCE_4 'SP3SHA1K2WKYA6AECJ88FMKD34RMS6KKPPAVRX16J))
    
    (print {
      event: "burn-amm-swap-pool",
      total-burned: (+ (+ (+ BALANCE_1 BALANCE_2) BALANCE_3) BALANCE_4)
    })
    (ok true)
  )
)