x
624
1422
{ parameter (or (or (or (pair %balance_of (list %requests (pair (address %owner) (nat %token_id))) (contract %callback (list (pair (pair %request (address %owner) (nat %token_id)) (nat %balance))))) (list %burn (pair (address %from_) (pair (nat %token_id) (nat %amount))))) (or (list %mint (pair (address %to_) (pair (or %token (nat %existing) (map %new string bytes)) (nat %amount)))) (address %set_administrator))) (or (or (big_map %set_metadata string bytes) (bool %set_pause)) (or (list %transfer (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))) (list %update_operators (or (pair %add_operator (address %owner) (pair (address %operator) (nat %token_id))) (pair %remove_operator (address %owner) (pair (address %operator) (nat %token_id)))))))) ; storage (pair (address %administrator) (pair (big_map %ledger (pair address nat) nat) (pair (big_map %metadata string bytes) (pair (nat %next_token_id) (pair (big_map %operators (pair (address %owner) (pair (address %operator) (nat %token_id))) unit) (pair (bool %paused) (pair (big_map %supply nat nat) (big_map %token_metadata nat (pair (nat %token_id) (map %token_info string bytes)))))))))) ; code { LAMBDA (pair (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; UNPAIR ; SWAP ; DUP ; CDR ; DIG 2 ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; SWAP ; DUP ; GET 3 ; DIG 2 ; GET ; IF_NONE { PUSH nat 0 } {} ; PAIR } ; SWAP ; LAMBDA (pair (pair address (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair unit (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; DUP 2 ; GET 11 ; IF { PUSH (pair string string) (Pair "FA2_OPERATORS_UNSUPPORTED" "FA2_PAUSED") ; FAILWITH } {} ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "FA2_NOT_OWNER" ; FAILWITH } ; UNIT ; PAIR } ; SWAP ; LAMBDA (pair (pair address (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair unit (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; DUP 2 ; GET 11 ; IF { PUSH (pair string string) (Pair "FA2_TX_DENIED" "FA2_PAUSED") ; FAILWITH } {} ; DUP ; CAR ; SENDER ; COMPARE ; EQ ; IF { DROP ; PUSH bool True } { DUP 2 ; GET 9 ; DUP 2 ; GET 4 ; SENDER ; DIG 3 ; CAR ; PAIR 3 ; MEM } ; IF {} { PUSH string "FA2_NOT_OPERATOR" ; FAILWITH } ; UNIT ; PAIR } ; SWAP ; LAMBDA (pair unit (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { CDR ; DUP ; CAR ; SENDER ; COMPARE ; EQ ; PAIR } ; SWAP ; LAMBDA (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; SWAP ; DUP ; GET 14 ; DIG 2 ; MEM ; PAIR } ; SWAP ; LAMBDA (pair (pair address (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; SWAP ; DUP ; GET 9 ; DIG 2 ; MEM ; PAIR } ; SWAP ; LAMBDA (pair (pair address (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; SWAP ; DUP ; GET 9 ; DIG 2 ; MEM ; PAIR } ; SWAP ; LAMBDA (pair (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) nat) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; UNPAIR ; DUP 2 ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; SWAP ; DUP ; GET 13 ; DIG 2 ; GET ; IF_NONE { PUSH int 444 ; FAILWITH } {} ; PAIR } ; SWAP ; LAMBDA (pair (pair address (pair address (pair nat nat))) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair unit (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; DUP ; GET 5 ; DUP 2 ; CAR ; PAIR ; DUP 3 ; DUP ; GET 3 ; DUP 4 ; GET 6 ; DIG 5 ; GET 3 ; DUP 5 ; GET ; IF_NONE { PUSH nat 0 } {} ; SUB ; ISNAT ; IF_NONE { PUSH string "FA2_INSUFFICIENT_BALANCE" ; FAILWITH } {} ; SOME ; DIG 3 ; UPDATE ; UPDATE 3 ; SWAP ; DUP ; GET 5 ; DUP 2 ; GET 3 ; PAIR ; DUP 3 ; DUP ; GET 3 ; DIG 3 ; GET 6 ; DIG 4 ; GET 3 ; DUP 5 ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 3 ; UPDATE ; UPDATE 3 ; UNIT ; PAIR } ; SWAP ; PUSH (pair (string %ledger_type) (pair %policy (string %name) (pair (bool %supports_operator) (bool %supports_transfer)))) (Pair "Fungible" (Pair "pauseable-owner-or-operator-transfer" (Pair True True))) ; SWAP ; UNPAIR ; IF_LEFT { IF_LEFT { IF_LEFT { LAMBDA (pair (pair (pair address nat) (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (lambda (pair (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))))) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair (pair (pair address nat) nat) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; UNPAIR 3 ; DIG 2 ; DUP 2 ; DIG 3 ; PAIR ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; SWAP ; PAIR ; PAIR } ; DUP 2 ; CAR ; MAP { DUP 2 ; DUP 15 ; DUP 12 ; PAIR ; DIG 2 ; PAIR ; SWAP ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; DUG 13 ; DUG 13 ; DUG 13 ; DUG 13 ; DIG 11 ; DIG 13 ; DIG 13 ; DIG 13 } ; SWAP ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; NIL operation ; DIG 2 ; CDR ; PUSH mutez 0 ; DIG 3 ; TRANSFER_TOKENS ; CONS } { DUP 3 ; GET 6 ; IF {} { PUSH string "FA2_TX_DENIED" ; FAILWITH } ; DUP ; ITER { DUP 9 ; SWAP ; DUP ; GET 3 ; DIG 2 ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; DUG 13 ; DUG 13 ; DUG 13 ; DUG 13 ; DIG 11 ; DIG 13 ; DIG 13 ; DIG 13 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; DUP 11 ; DUP 2 ; GET 3 ; DUP 3 ; CAR ; DUP 4 ; CAR ; PAIR 3 ; SWAP ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; CDR ; DUG 12 ; DUG 12 ; DUG 12 ; DIG 10 ; DIG 12 ; DIG 12 ; DUP ; GET 3 ; DUP 2 ; CAR ; PAIR ; DUP 4 ; DUP ; GET 3 ; DUP 4 ; GET 4 ; DIG 6 ; GET 3 ; DUP 5 ; GET ; IF_NONE { PUSH nat 0 } {} ; SUB ; ISNAT ; IF_NONE { PUSH string "FA2_INSUFFICIENT_BALANCE" ; FAILWITH } {} ; SOME ; DIG 3 ; UPDATE ; UPDATE 3 ; DUG 2 ; DUP ; GET 4 ; DUP 4 ; GET 13 ; DUP 3 ; GET 3 ; GET ; IF_NONE { PUSH nat 0 } {} ; SUB ; ISNAT ; IF_NONE { DIG 2 ; DUP ; GET 13 ; PUSH (option nat) (Some 0) ; DIG 3 ; GET 3 ; UPDATE ; UPDATE 13 ; SWAP } { DIG 3 ; DUP ; GET 13 ; DIG 2 ; SOME ; DIG 3 ; GET 3 ; UPDATE ; UPDATE 13 ; SWAP } } ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; NIL operation } } { IF_LEFT { DUP 9 ; UNIT ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; DUG 12 ; DUG 12 ; DUG 12 ; DIG 11 ; DIG 12 ; DIG 12 ; IF {} { PUSH string "FA2_NOT_ADMIN" ; FAILWITH } ; DUP ; ITER { DUP ; GET 3 ; IF_LEFT { DUP 10 ; DUP 2 ; SWAP ; DIG 5 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; DUG 14 ; DUG 14 ; DUG 14 ; DUG 14 ; DUG 14 ; DIG 11 ; DIG 14 ; DIG 14 ; DIG 14 ; DIG 14 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; DIG 3 ; DUP ; GET 13 ; DUP ; DUP 4 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 680 ; FAILWITH } {} ; DUP 6 ; GET 4 ; ADD ; SOME ; SWAP ; UPDATE ; UPDATE 13 ; DUG 3 ; DUP 2 ; CAR ; PAIR ; DUP 4 ; DUP ; GET 3 ; DIG 3 ; GET 4 ; DIG 5 ; GET 3 ; DUP 5 ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 3 ; UPDATE ; UPDATE 3 ; SWAP } { DUP 4 ; GET 7 ; DIG 4 ; DUP ; GET 14 ; DIG 3 ; DUP 4 ; PAIR ; SOME ; DUP 4 ; UPDATE ; UPDATE 14 ; DUP ; GET 13 ; DUP 4 ; GET 4 ; SOME ; DUP 4 ; UPDATE ; UPDATE 13 ; DUP ; GET 3 ; DUP 4 ; GET 4 ; SOME ; DIG 3 ; DIG 4 ; CAR ; PAIR ; UPDATE ; UPDATE 3 ; DUP ; GET 7 ; PUSH nat 1 ; ADD ; UPDATE 7 ; SWAP } } ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 2 ; UNIT ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_NOT_ADMIN" ; FAILWITH } ; UPDATE 1 } ; NIL operation } } { IF_LEFT { IF_LEFT { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 2 ; UNIT ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_NOT_ADMIN" ; FAILWITH } ; UPDATE 5 } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 2 ; UNIT ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_NOT_ADMIN" ; FAILWITH } ; UPDATE 11 } } { IF_LEFT { DUP 3 ; GET 6 ; IF { DUP ; ITER { DUP ; CDR ; ITER { DUP 10 ; SWAP ; DUP ; GET 3 ; DIG 2 ; DIG 5 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; DUG 14 ; DUG 14 ; DUG 14 ; DUG 14 ; DUG 14 ; DIG 11 ; DIG 14 ; DIG 14 ; DIG 14 ; DIG 14 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; DUP 12 ; DUP 2 ; GET 3 ; DUP 3 ; CAR ; DUP 5 ; CAR ; PAIR 3 ; SWAP ; DIG 5 ; DIG 2 ; PAIR ; EXEC ; CDR ; DUG 13 ; DUG 13 ; DUG 13 ; DUG 13 ; DIG 10 ; DIG 13 ; DIG 13 ; DIG 13 ; PUSH nat 0 ; DUP 2 ; GET 4 ; COMPARE ; GT ; IF { DUP 2 ; CAR ; PAIR ; DUP 6 ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; CDR ; DUG 12 ; DUG 12 ; DUG 12 ; DIG 10 ; DIG 12 ; DIG 12 } { DROP } } ; DROP } ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { PUSH string "FA2_TX_DENIED" ; FAILWITH } } { DUP 3 ; GET 5 ; IF { DUP ; ITER { IF_LEFT { DUP 12 ; DUP 2 ; SWAP ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; CDR ; DUG 12 ; DUG 12 ; DUG 12 ; DIG 10 ; DIG 12 ; DIG 12 ; DIG 2 ; DUP ; GET 9 ; PUSH (option unit) (Some Unit) ; DIG 3 ; UPDATE ; UPDATE 9 ; SWAP } { DUP 12 ; DUP 2 ; SWAP ; DIG 4 ; DIG 2 ; PAIR ; EXEC ; CDR ; DUG 12 ; DUG 12 ; DUG 12 ; DIG 10 ; DIG 12 ; DIG 12 ; DIG 2 ; DUP ; GET 9 ; NONE unit ; DIG 3 ; UPDATE ; UPDATE 9 ; SWAP } } ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { PUSH string "FA2_OPERATORS_UNSUPPORTED" ; FAILWITH } } } ; NIL operation } ; PAIR } ; view "get_balance_of" (list (pair (address %owner) (nat %token_id))) (list (pair (pair %request (address %owner) (nat %token_id)) (nat %balance))) { UNPAIR ; LAMBDA (pair (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; UNPAIR ; SWAP ; DUP ; CDR ; DIG 2 ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; IF {} { PUSH string "FA2_TOKEN_UNDEFINED" ; FAILWITH } ; SWAP ; DUP ; GET 3 ; DIG 2 ; GET ; IF_NONE { PUSH nat 0 } {} ; PAIR } ; SWAP ; LAMBDA (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; SWAP ; DUP ; GET 14 ; DIG 2 ; MEM ; PAIR } ; SWAP ; LAMBDA (pair (pair (pair address nat) (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (lambda (pair (pair (lambda (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair bool (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))) (pair address nat)) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair nat (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes)))))))))))))) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) (pair (pair (pair address nat) nat) (pair address (pair (big_map (pair address nat) nat) (pair (big_map string bytes) (pair nat (pair (big_map (pair address (pair address nat)) unit) (pair bool (pair (big_map nat nat) (big_map nat (pair nat (map string bytes))))))))))) { UNPAIR ; UNPAIR 3 ; DIG 2 ; DUP 2 ; DIG 3 ; PAIR ; SWAP ; DIG 3 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 2 ; SWAP ; PAIR ; PAIR } ; DUP 2 ; MAP { DUP 2 ; DUP 6 ; DUP 6 ; PAIR ; DIG 2 ; PAIR ; SWAP ; DIG 6 ; DIG 2 ; PAIR ; EXEC ; UNPAIR ; SWAP ; DUG 5 } ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } }