(add-admin (new-admin principal))
(admin-mint-public (mint-count (list 250 uint)))
(burn (id uint))
(buy-in-ustx
    (id uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.level-i.commission-trait>))
(check-subtype (level-I-id uint))
(get-admins)
(get-last-token-id)
(get-listing-in-ustx (id uint))
(get-owner (id uint))
(get-token-uri (token-id uint))
(list-in-ustx
    (id uint)
    (price uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.level-i.commission-trait>))
(Mint_Nakamoto_1_Level_1)
(Mint_2_Nakamoto_1_Level_1)
(remove-admin (removed-admin principal))
(transfer
    (id uint)
    (sender principal)
    (recipient principal))
(uint-to-ascii (value uint))
(uint-to-ascii-inner
    (i (buff 1))
    (d (tuple (r (string-ascii 39)) (v uint))))
(unlist-in-ustx (id uint))
(unlock-contract-stx
    (amount uint)
    (recipient principal))
(update-mint-price (new-mint-price uint))

(burn (id uint))
(buy-in-ustx
    (id uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGMNakamoto_1_Level_2.commission-trait>))
(check-subtype (level-II-id uint))
(get-last-token-id)
(get-listing-in-ustx (id uint))
(get-owner (id uint))
(get-token-uri (token-id uint))
(list-in-ustx
    (id uint)
    (price uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGMNakamoto_1_Level_2.commission-trait>))
(Mint_Nakamoto_1_Level_2
    (level-I-id-1 uint)
    (level-I-id-2 uint)
    (level-I-id-3 uint)
    (level-I-id-4 uint))
(transfer
    (id uint)
    (sender principal)
    (recipient principal))
(uint-to-ascii (value uint))
(uint-to-ascii-inner
    (i (buff 1))
    (d (tuple (r (string-ascii 39)) (v uint))))
(unlist-in-ustx (id uint))

(buy-in-ustx
    (id uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGMMint_Nakamoto_1_Android.commission-trait>))
(get-last-token-id)
(get-listing-in-ustx (id uint))
(get-owner (id uint))
(get-token-uri (token-id uint))
(list-in-ustx
    (id uint)
    (price uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGMMint_Nakamoto_1_Android.commission-trait>))
(Mint_Nakamoto_1_Level_3
    (level-II-id-1 uint)
    (level-II-id-2 uint)
    (level-II-id-3 uint))
(transfer
    (id uint)
    (sender principal)
    (recipient principal))
(uint-to-ascii (value uint))
(uint-to-ascii-inner
    (i (buff 1))
    (d (tuple (r (string-ascii 39)) (v uint))))
(unlist-in-ustx (id uint))

(add-admin (new-admin principal))
(buy-in-ustx
    (id uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.level-iv.commission-trait>))
(get-last-token-id)
(get-listing-in-ustx (id uint))
(get-owner (id uint))
(get-token-uri (token-id uint))
(list-in-ustx
    (id uint)
    (price uint)
    (comm-trait <ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM.level-iv.commission-trait>))
(mint-level-IV)
(remove-admin (removed-admin principal))
(transfer
    (id uint)
    (sender principal)
    (recipient principal))
(uint-to-ascii (value uint))
(uint-to-ascii-inner
    (i (buff 1))
    (d (tuple (r (string-ascii 39)) (v uint))))
(unlist-in-ustx (id uint))