{ PUSH (pair

      (lambda

        (pair address (big_map string bytes)

              (pair address (option address) (set address) (set address) (set address)

                    (set address))

              (pair (set address) (set address) (set address) (set address)

                    (set address))

              nat

              (big_map nat nat)

              (big_map (pair address nat) nat)

              (big_map (pair address address nat) unit)

              (big_map nat (pair nat (map string bytes)))

              (big_map nat (pair nat (map address nat)))

              (big_map nat nat)

              (big_map nat unit)

              nat

              (map address nat))

        bool)

      (lambda

        (pair address (big_map string bytes)

              (pair address (option address) (set address) (set address) (set address)

                    (set address))

              (pair (set address) (set address) (set address) (set address)

                    (set address))

              nat

              (big_map nat nat)

              (big_map (pair address nat) nat)

              (big_map (pair address address nat) unit)

              (big_map nat (pair nat (map string bytes)))

              (big_map nat (pair nat (map address nat)))

              (big_map nat nat)

              (big_map nat unit)

              nat

              (map address nat))

        bool)) (Pair { UNPAIR ; SWAP ; GET 3 ; GET 10 ; SWAP ; MEM }

              { UNPAIR ; SWAP ; GET 3 ; GET 9 ; SWAP ; MEM }) ;

  PAIR ;

  { UNPAIR ;

    UNPAIR ;

    DIG 2 ;

    UNPAIR ;

    IF_LEFT

      { IF_LEFT

          { DIG 2 ;

            DROP ;

            IF_LEFT

              { SWAP ;

                PUSH string "FA2_INVALID_METADATA_MANAGER_ACCESS" ;

                DUP 2 ;

                SENDER ;

                PAIR ;

                DIG 4 ;

                SWAP ;

                EXEC ;

                IF { DROP } { FAILWITH } ;

                SWAP ;

                ITER { DUP 2 ; DIG 2 ; GET 21 ; UNIT ; DIG 3 ; SWAP ; SOME ; SWAP ; UPDATE ; UPDATE 21 } }

              { DIG 2 ;

                DROP 2 ;

                PUSH string "FA2_NO_PENDING_OWNER" ;

                DUP 2 ;

                GET 3 ;

                GET 3 ;

                IF_NONE { FAILWITH } { SWAP ; DROP } ;

                PUSH string "FA2_INVALID_PENDING_OWNER_ACCESS" ;

                DUP 2 ;

                SENDER ;

                COMPARE ;

                EQ ;

                IF { DROP } { FAILWITH } ;

                DUP 2 ;

                DIG 2 ;

                GET 3 ;

                DIG 2 ;

                UPDATE 1 ;

                UPDATE 3 ;

                DUP ;

                GET 3 ;

                NONE address ;

                UPDATE 3 ;

                UPDATE 3 } }

          { IF_LEFT

              { ITER { IF_LEFT

                         { IF_LEFT

                             { IF_LEFT

                                 { DROP ;

                                   PUSH string "FA2_INVALID_CREATOR_ACCESS" ;

                                   DUP 2 ;

                                   SENDER ;

                                   SWAP ;

                                   GET 3 ;

                                   GET 5 ;

                                   SWAP ;

                                   MEM ;

                                   IF { DROP } { FAILWITH } ;

                                   DUP ;

                                   DUP 2 ;

                                   GET 3 ;

                                   DIG 2 ;

                                   GET 3 ;

                                   GET 5 ;

                                   SENDER ;

                                   PUSH bool False ;

                                   SWAP ;

                                   UPDATE ;

                                   UPDATE 5 ;

                                   UPDATE 3 }

                                 { DROP ;

                                   PUSH string "FA2_INVALID_METADATA_MANAGER_ACCESS" ;

                                   DUP 2 ;

                                   SENDER ;

                                   PAIR ;

                                   DUP 5 ;

                                   SWAP ;

                                   EXEC ;

                                   IF { DROP } { FAILWITH } ;

                                   DUP ;

                                   DUP 2 ;

                                   GET 3 ;

                                   DIG 2 ;

                                   GET 3 ;

                                   GET 9 ;

                                   SENDER ;

                                   PUSH bool False ;

                                   SWAP ;

                                   UPDATE ;

                                   UPDATE 9 ;

                                   UPDATE 3 } }

                             { IF_LEFT

                                 { DROP ;

                                   PUSH string "FA2_INVALID_MINTER_ACCESS" ;

                                   DUP 2 ;

                                   SENDER ;

                                   SWAP ;

                                   GET 3 ;

                                   GET 7 ;

                                   SWAP ;

                                   MEM ;

                                   IF { DROP } { FAILWITH } ;

                                   DUP ;

                                   DUP 2 ;

                                   GET 3 ;

                                   DIG 2 ;

                                   GET 3 ;

                                   GET 7 ;

                                   SENDER ;

                                   PUSH bool False ;

                                   SWAP ;

                                   UPDATE ;

                                   UPDATE 7 ;

                                   UPDATE 3 }

                                 { DROP ;

                                   PUSH string "FA2_INVALID_OWNER_ACCESS" ;

                                   DUP 2 ;

                                   SENDER ;

                                   SWAP ;

                                   GET 3 ;

                                   CAR ;

                                   SWAP ;

                                   COMPARE ;

                                   EQ ;

                                   IF { DROP } { FAILWITH } ;

                                   DUP ;

                                   GET 3 ;

                                   PUSH address "tz1Ke2h7sDdakHJQh8WX4Z372du1KChsksyU" ;

                                   UPDATE 1 ;

                                   UPDATE 3 } } }

                         { DROP ;

                           PUSH string "FA2_INVALID_ROYALTIES_MANAGER_ACCESS" ;

                           DUP 2 ;

                           SENDER ;

                           PAIR ;

                           DUP 4 ;

                           SWAP ;

                           EXEC ;

                           IF { DROP } { FAILWITH } ;

                           DUP ;

                           DUP 2 ;

                           GET 3 ;

                           DIG 2 ;

                           GET 3 ;

                           GET 10 ;

                           SENDER ;

                           PUSH bool False ;

                           SWAP ;

                           UPDATE ;

                           UPDATE 10 ;

                           UPDATE 3 } } ;

                SWAP ;

                DIG 2 ;

                DROP 2 }

              { DIG 3 ;

                DROP ;

                SWAP ;

                PUSH string "FA2_INVALID_ROYALTIES_MANAGER_ACCESS" ;

                DUP 2 ;

                SENDER ;

                PAIR ;

                DIG 4 ;

                SWAP ;

                EXEC ;

                IF { DROP } { FAILWITH } ;

                SWAP ;

                UPDATE 22 } } ;

        NIL operation }

      { IF_LEFT

          { DIG 2 ;

            DROP ;

            SWAP ;

            PUSH string "FA2_INVALID_METADATA_MANAGER_ACCESS" ;

            DUP 2 ;

            SENDER ;

            PAIR ;

            DIG 4 ;

            SWAP ;

            EXEC ;

            IF { DROP } { FAILWITH } ;

            NIL operation ;

            DUP 3 ;

            ITER { UNPAIR ;

                   DUP 2 ;

                   CAR ;

                   DUP 2 ;

                   COMPARE ;

                   EQ ;

                   IF {} { PUSH string "FA2_TOKEN_ID_MISMATCH" ; FAILWITH } ;

                   PUSH string "FA_TOKEN_METADATA_UPDATE_DENIED" ;

                   PUSH bool False ;

                   DUP 6 ;

                   DUP 4 ;

                   SWAP ;

                   GET 21 ;

                   SWAP ;

                   GET ;

                   IF_NONE { PUSH bool False } { DROP ; PUSH bool True } ;

                   COMPARE ;

                   EQ ;

                   IF { DROP } { FAILWITH } ;

                   DUP 4 ;

                   DIG 4 ;

                   GET 15 ;

                   DUP 4 ;

                   DUP 4 ;

                   SWAP ;

                   SOME ;

                   SWAP ;

                   UPDATE ;

                   UPDATE 15 ;

                   DUG 3 ;

                   DUG 2 ;

                   CDR ;

                   SOME ;

                   DIG 2 ;

                   PAIR ;

                   EMIT %token_metadata_update (pair (nat %token_id)

                                                     (option %new_metadata (map string

                                                                               bytes))) ;

                   CONS } ;

            DUP 2 ;

            GET 5 ;

            GET 8 ;

            ITER { CONTRACT %update_metadata_hook (map nat

                                                       (pair (nat %token_id)

                                                             (map %token_info string

                                                                              bytes))) ;

                   IF_NONE

                     { PUSH string "FA_UPDATE_METADATA_HOOK_UNDEFINED" ; FAILWITH }

                     {} ;

                   PUSH mutez 0 ;

                   DUP 5 ;

                   TRANSFER_TOKENS ;

                   CONS } ;

            DIG 2 ;

            DROP }

          { DIG 3 ;

            DROP ;

            SWAP ;

            PUSH string "FA2_INVALID_ROYALTIES_MANAGER_ACCESS" ;

            DUP 2 ;

            SENDER ;

            PAIR ;

            DIG 4 ;

            SWAP ;

            EXEC ;

            IF { DROP } { FAILWITH } ;

            NIL operation ;

            DIG 2 ;

            ITER { UNPAIR ;

                   DUP 4 ;

                   DIG 4 ;

                   GET 17 ;

                   DUP 4 ;

                   DUP 4 ;

                   SWAP ;

                   SOME ;

                   SWAP ;

                   UPDATE ;

                   UPDATE 17 ;

                   DUG 3 ;

                   DUG 2 ;

                   SOME ;

                   DIG 2 ;

                   PAIR ;

                   EMIT %token_royalties_update (pair (nat %token_id)

                                                      (option %new_royalties (pair

                                                                              (nat %total_shares)

                                                                              (map %shares

                                                                                address

                                                                                nat)))) ;

                   CONS } } } ;

    PAIR } }