parameter (or

            (or (or %admin (bool %pause) (address %set_admin))

                (or %assets

                  (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 %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)))))))

            (or %tokens

              (or

                (list %burn_tokens (pair (address %owner)

                                        (pair (nat %token_id) (nat %amount))))

                (pair %create_token (nat %token_id) (map %token_info string bytes)))

              (list %mint_tokens (pair (address %owner)

                                      (pair (nat %token_id) (nat %amount))))));

storage (pair

          (pair (pair %admin (set %admin address) (bool %paused))

                (pair %assets

                  (pair (big_map %ledger (pair address nat) nat)

                        (big_map %operators (pair address (pair address nat)) unit))

                  (pair

                    (big_map %token_metadata nat

                                             (pair (nat %token_id)

                                                   (map %token_info string bytes)))

                    (big_map %token_total_supply nat nat))))

          (big_map %metadata string bytes));

code { PUSH string "FA2_TOKEN_UNDEFINED" ;

       PUSH string "FA2_INSUFFICIENT_BALANCE" ;

       LAMBDA

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

         nat

         { DUP ; CDR ; SWAP ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} } ;

       DUP ;

       LAMBDA

         (pair (lambda (pair (pair address nat) (big_map (pair address nat) nat)) nat)

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

         (big_map (pair address nat) nat)

         { DUP ;

           CDR ;

           SWAP ;

           CAR ;

           SWAP ;

           DUP ;

           CDR ;

           CDR ;

           SWAP ;

           DUP ;

           DUG 2 ;

           CAR ;

           CDR ;

           DIG 2 ;

           DUP ;

           DUG 3 ;

           CAR ;

           CAR ;

           PAIR ;

           SWAP ;

           DUP ;

           DUG 2 ;

           SWAP ;

           DUP ;

           DUG 2 ;

           PAIR ;

           DIG 4 ;

           SWAP ;

           EXEC ;

           DIG 3 ;

           CDR ;

           CAR ;

           ADD ;

           PUSH nat 0 ;

           SWAP ;

           DUP ;

           DUG 2 ;

           COMPARE ;

           EQ ;

           IF

             { DROP ; NONE nat ; SWAP ; UPDATE }

             { DIG 2 ; SWAP ; SOME ; DIG 2 ; UPDATE } } ;

       SWAP ;

       APPLY ;

       DIG 2 ;

       DUP ;

       DUG 3 ;

       DIG 2 ;

       DUP ;

       DUG 3 ;

       PAIR ;

       LAMBDA

         (pair

           (pair (lambda (pair (pair address nat) (big_map (pair address nat) nat)) nat)

                 string)

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

         (big_map (pair address nat) nat)

         { DUP ;

           CDR ;

           SWAP ;

           CAR ;

           DUP ;

           CDR ;

           SWAP ;

           CAR ;

           DIG 2 ;

           DUP ;

           CDR ;

           CDR ;

           SWAP ;

           DUP ;

           DUG 2 ;

           CAR ;

           CDR ;

           DIG 2 ;

           DUP ;

           DUG 3 ;

           CAR ;

           CAR ;

           PAIR ;

           SWAP ;

           DUP ;

           DUG 2 ;

           SWAP ;

           DUP ;

           DUG 2 ;

           PAIR ;

           DIG 4 ;

           SWAP ;

           EXEC ;

           DIG 3 ;

           CDR ;

           CAR ;

           SWAP ;

           SUB ;

           ISNAT ;

           IF_NONE

             { DROP 2 ; FAILWITH }

             { DIG 3 ;

               DROP ;

               PUSH nat 0 ;

               SWAP ;

               DUP ;

               DUG 2 ;

               COMPARE ;

               EQ ;

               IF

                 { DROP ; NONE nat ; SWAP ; UPDATE }

                 { DIG 2 ; SWAP ; SOME ; DIG 2 ; UPDATE } } } ;

       SWAP ;

       APPLY ;

       LAMBDA

         (pair (set address) bool)

         unit

         { PUSH bool False ;

           SWAP ;

           CAR ;

           SENDER ;

           MEM ;

           COMPARE ;

           EQ ;

           IF { PUSH string "NOT_AN_ADMIN" ; FAILWITH } { UNIT } } ;

       DIG 6 ;

       DUP ;

       DUG 7 ;

       CDR ;

       DIG 7 ;

       CAR ;

       IF_LEFT

         { DIG 6 ;

           DROP ;

           IF_LEFT

             { DIG 3 ;

               DROP ;

               DIG 3 ;

               DROP ;

               DIG 3 ;

               DROP ;

               DIG 3 ;

               DROP ;

               SWAP ;

               DUP ;

               DUG 2 ;

               CAR ;

               CAR ;

               SWAP ;

               IF_LEFT

                 { SWAP ; DUP ; DUG 2 ; DIG 4 ; SWAP ; EXEC ; DROP ; SWAP ; CAR ; PAIR ; NIL operation ; PAIR }

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   DIG 4 ;

                   SWAP ;

                   EXEC ;

                   DROP ;

                   PAIR ;

                   DUP ;

                   CDR ;

                   DUP ;

                   CDR ;

                   SWAP ;

                   CAR ;

                   DIG 2 ;

                   CAR ;

                   PUSH bool True ;

                   SWAP ;

                   UPDATE ;

                   PAIR ;

                   NIL operation ;

                   PAIR } ;

               DUP ;

               CDR ;

               SWAP ;

               CAR ;

               DIG 2 ;

               DUP ;

               DUG 3 ;

               CDR ;

               DIG 3 ;

               CAR ;

               CDR ;

               DIG 3 ;

               PAIR ;

               PAIR ;

               SWAP ;

               PAIR }

             { DIG 2 ;

               DROP ;

               SWAP ;

               DUP ;

               DUG 2 ;

               CAR ;

               CAR ;

               CDR ;

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

               SWAP ;

               DUP ;

               DUG 2 ;

               CAR ;

               CDR ;

               SWAP ;

               IF_LEFT

                 { IF_LEFT

                     { DIG 3 ;

                       DROP ;

                       DIG 3 ;

                       DROP ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CDR ;

                       CAR ;

                       DIG 2 ;

                       DUP ;

                       DUG 3 ;

                       CAR ;

                       CAR ;

                       DIG 2 ;

                       PAIR ;

                       PAIR ;

                       DUP ;

                       CAR ;

                       CAR ;

                       DUP ;

                       CAR ;

                       MAP { DIG 2 ;

                             DUP ;

                             DUG 3 ;

                             CDR ;

                             SWAP ;

                             DUP ;

                             DUG 2 ;

                             CDR ;

                             MEM ;

                             NOT ;

                             IF

                               { DROP ; DIG 5 ; DUP ; DUG 6 ; FAILWITH }

                               { DIG 2 ;

                                 DUP ;

                                 DUG 3 ;

                                 CAR ;

                                 CDR ;

                                 SWAP ;

                                 DUP ;

                                 DUG 2 ;

                                 PAIR ;

                                 DIG 6 ;

                                 DUP ;

                                 DUG 7 ;

                                 SWAP ;

                                 EXEC ;

                                 SWAP ;

                                 PAIR } } ;

                       DIG 2 ;

                       DROP ;

                       DIG 4 ;

                       DROP ;

                       DIG 4 ;

                       DROP ;

                       SWAP ;

                       CDR ;

                       PUSH mutez 0 ;

                       DIG 2 ;

                       TRANSFER_TOKENS ;

                       SWAP ;

                       NIL operation ;

                       DIG 2 ;

                       CONS ;

                       PAIR }

                     { DIG 5 ;

                       DROP ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       LAMBDA

                         (pair (pair address address)

                               (pair nat

                                     (big_map (pair address (pair address nat)) unit)))

                         unit

                         { DUP ;

                           CAR ;

                           CAR ;

                           SWAP ;

                           DUP ;

                           DUG 2 ;

                           CAR ;

                           CDR ;

                           DUP ;

                           DIG 2 ;

                           DUP ;

                           DUG 3 ;

                           COMPARE ;

                           EQ ;

                           IF

                             { DROP 3 ; UNIT }

                             { DIG 2 ;

                               DUP ;

                               DUG 3 ;

                               CDR ;

                               CDR ;

                               DIG 3 ;

                               CDR ;

                               CAR ;

                               DIG 2 ;

                               PAIR ;

                               DIG 2 ;

                               PAIR ;

                               MEM ;

                               IF

                                 { UNIT }

                                 { PUSH string "FA2_NOT_OPERATOR" ; FAILWITH } } } ;

                       DIG 2 ;

                       PAIR ;

                       PAIR ;

                       DUP ;

                       CDR ;

                       DUP ;

                       CAR ;

                       CAR ;

                       DIG 2 ;

                       DUP ;

                       DUG 3 ;

                       CAR ;

                       CAR ;

                       ITER { DUP ;

                              DUG 2 ;

                              CDR ;

                              ITER { SWAP ;

                                     PAIR ;

                                     DUP ;

                                     CDR ;

                                     DIG 3 ;

                                     DUP ;

                                     DUG 4 ;

                                     CDR ;

                                     CAR ;

                                     SWAP ;

                                     DUP ;

                                     DUG 2 ;

                                     CDR ;

                                     CAR ;

                                     MEM ;

                                     NOT ;

                                     IF

                                       { DROP 2 ; DIG 7 ; DUP ; DUG 8 ; FAILWITH }

                                       { DIG 3 ;

                                         DUP ;

                                         DUG 4 ;

                                         CAR ;

                                         CDR ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         CAR ;

                                         PAIR ;

                                         SENDER ;

                                         DIG 4 ;

                                         DUP ;

                                         DUG 5 ;

                                         CAR ;

                                         PAIR ;

                                         PAIR ;

                                         DIG 5 ;

                                         DUP ;

                                         DUG 6 ;

                                         CAR ;

                                         CDR ;

                                         SWAP ;

                                         EXEC ;

                                         DROP ;

                                         SWAP ;

                                         CAR ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         CDR ;

                                         PAIR ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         CAR ;

                                         DIG 3 ;

                                         DUP ;

                                         DUG 4 ;

                                         CAR ;

                                         PAIR ;

                                         PAIR ;

                                         DIG 7 ;

                                         DUP ;

                                         DUG 8 ;

                                         SWAP ;

                                         EXEC ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         CDR ;

                                         PAIR ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         CAR ;

                                         DIG 2 ;

                                         CAR ;

                                         PAIR ;

                                         PAIR ;

                                         DIG 7 ;

                                         DUP ;

                                         DUG 8 ;

                                         SWAP ;

                                         EXEC } } ;

                              SWAP ;

                              DROP } ;

                       SWAP ;

                       DROP ;

                       SWAP ;

                       DROP ;

                       DIG 3 ;

                       DROP ;

                       DIG 3 ;

                       DROP ;

                       DIG 3 ;

                       DROP ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CDR ;

                       DIG 2 ;

                       CAR ;

                       CDR ;

                       DIG 2 ;

                       PAIR ;

                       PAIR ;

                       NIL operation ;

                       PAIR } }

                 { DIG 3 ;

                   DROP ;

                   DIG 3 ;

                   DROP ;

                   DIG 3 ;

                   DROP ;

                   DIG 3 ;

                   DROP ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CDR ;

                   SWAP ;

                   PAIR ;

                   SENDER ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   CDR ;

                   DIG 2 ;

                   CAR ;

                   ITER { SWAP ;

                          PAIR ;

                          DUP ;

                          CDR ;

                          DIG 2 ;

                          DUP ;

                          DUG 3 ;

                          SWAP ;

                          DUP ;

                          DUG 2 ;

                          IF_LEFT {} {} ;

                          CAR ;

                          COMPARE ;

                          EQ ;

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

                          SWAP ;

                          CAR ;

                          SWAP ;

                          IF_LEFT

                            { SWAP ;

                              UNIT ;

                              SOME ;

                              DIG 2 ;

                              DUP ;

                              DUG 3 ;

                              CDR ;

                              CDR ;

                              DIG 3 ;

                              DUP ;

                              DUG 4 ;

                              CDR ;

                              CAR ;

                              PAIR ;

                              DIG 3 ;

                              CAR ;

                              PAIR ;

                              UPDATE }

                            { DUP ;

                              DUG 2 ;

                              CDR ;

                              CDR ;

                              DIG 2 ;

                              DUP ;

                              DUG 3 ;

                              CDR ;

                              CAR ;

                              PAIR ;

                              DIG 2 ;

                              CAR ;

                              PAIR ;

                              NONE unit ;

                              SWAP ;

                              UPDATE } } ;

                   SWAP ;

                   DROP ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   CDR ;

                   SWAP ;

                   DIG 2 ;

                   CAR ;

                   CAR ;

                   PAIR ;

                   PAIR ;

                   NIL operation ;

                   PAIR } ;

               DUP ;

               CDR ;

               SWAP ;

               CAR ;

               DIG 2 ;

               DUP ;

               DUG 3 ;

               CDR ;

               DIG 2 ;

               DIG 3 ;

               CAR ;

               CAR ;

               PAIR ;

               PAIR ;

               SWAP ;

               PAIR } }

         { DIG 5 ;

           DROP ;

           SWAP ;

           DUP ;

           DUG 2 ;

           CAR ;

           CAR ;

           DIG 3 ;

           SWAP ;

           EXEC ;

           DROP ;

           SWAP ;

           DUP ;

           DUG 2 ;

           CAR ;

           CDR ;

           SWAP ;

           IF_LEFT

             { DIG 4 ;

               DROP ;

               IF_LEFT

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   ITER { DUP ;

                          DUG 2 ;

                          CDR ;

                          CDR ;

                          PAIR ;

                          SWAP ;

                          DUP ;

                          DUG 2 ;

                          CDR ;

                          CAR ;

                          DIG 2 ;

                          CAR ;

                          PAIR ;

                          PAIR ;

                          DIG 4 ;

                          DUP ;

                          DUG 5 ;

                          SWAP ;

                          EXEC } ;

                   DIG 4 ;

                   DROP ;

                   DIG 2 ;

                   DUP ;

                   DUG 3 ;

                   CDR ;

                   CDR ;

                   DIG 2 ;

                   ITER { SWAP ;

                          DUP ;

                          DUG 2 ;

                          SWAP ;

                          DUP ;

                          DUG 2 ;

                          CDR ;

                          CAR ;

                          GET ;

                          IF_NONE

                            { DROP 2 ; DIG 4 ; DUP ; DUG 5 ; FAILWITH }

                            { SWAP ;

                              DUP ;

                              DUG 2 ;

                              CDR ;

                              CDR ;

                              SWAP ;

                              SUB ;

                              ISNAT ;

                              IF_NONE { DIG 5 ; DUP ; DUG 6 ; FAILWITH } {} ;

                              DIG 2 ;

                              SWAP ;

                              SOME ;

                              DIG 2 ;

                              CDR ;

                              CAR ;

                              UPDATE } } ;

                   DIG 4 ;

                   DROP ;

                   DIG 4 ;

                   DROP ;

                   DIG 2 ;

                   DUP ;

                   DUG 3 ;

                   CDR ;

                   DIG 3 ;

                   CAR ;

                   CDR ;

                   DIG 3 ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 2 ;

                   CDR ;

                   CAR ;

                   PAIR ;

                   SWAP ;

                   CAR ;

                   PAIR ;

                   NIL operation ;

                   PAIR }

                 { DIG 3 ;

                   DROP ;

                   DIG 3 ;

                   DROP ;

                   DIG 3 ;

                   DROP ;

                   DUP ;

                   CAR ;

                   DIG 2 ;

                   DUP ;

                   DUG 3 ;

                   CDR ;

                   CAR ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   GET ;

                   IF_NONE

                     { DIG 2 ;

                       DUP ;

                       DUG 3 ;

                       CDR ;

                       CDR ;

                       DIG 3 ;

                       DUP ;

                       DUG 4 ;

                       CDR ;

                       CAR ;

                       DIG 3 ;

                       DIG 3 ;

                       DUP ;

                       DUG 4 ;

                       SWAP ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       PAIR ;

                       DIG 2 ;

                       DUP ;

                       DUG 3 ;

                       CAR ;

                       PAIR ;

                       DIG 2 ;

                       CDR ;

                       CDR ;

                       PUSH nat 0 ;

                       DIG 3 ;

                       SWAP ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CDR ;

                       CAR ;

                       PAIR ;

                       SWAP ;

                       CAR ;

                       PAIR }

                     { DROP 4 ; PUSH string "FA2_DUP_TOKEN_ID" ; FAILWITH } ;

                   NIL operation ;

                   PAIR } }

             { DIG 3 ;

               DROP ;

               DIG 4 ;

               DROP ;

               SWAP ;

               DUP ;

               DUG 2 ;

               CAR ;

               CAR ;

               SWAP ;

               DUP ;

               DUG 2 ;

               ITER { DUP ;

                      DUG 2 ;

                      CDR ;

                      CDR ;

                      PAIR ;

                      SWAP ;

                      DUP ;

                      DUG 2 ;

                      CDR ;

                      CAR ;

                      DIG 2 ;

                      CAR ;

                      PAIR ;

                      PAIR ;

                      DIG 4 ;

                      DUP ;

                      DUG 5 ;

                      SWAP ;

                      EXEC } ;

               DIG 4 ;

               DROP ;

               DIG 2 ;

               DUP ;

               DUG 3 ;

               CDR ;

               CDR ;

               DIG 2 ;

               ITER { SWAP ;

                      DUP ;

                      DUG 2 ;

                      SWAP ;

                      DUP ;

                      DUG 2 ;

                      CDR ;

                      CAR ;

                      GET ;

                      IF_NONE

                        { DROP 2 ; DIG 3 ; DUP ; DUG 4 ; FAILWITH }

                        { SWAP ; DUP ; DUG 2 ; CDR ; CDR ; ADD ; DIG 2 ; SWAP ; SOME ; DIG 2 ; CDR ; CAR ; UPDATE } } ;

               DIG 4 ;

               DROP ;

               DIG 2 ;

               DUP ;

               DUG 3 ;

               CDR ;

               DIG 3 ;

               CAR ;

               CDR ;

               DIG 3 ;

               PAIR ;

               PAIR ;

               DUP ;

               DUG 2 ;

               CDR ;

               CAR ;

               PAIR ;

               SWAP ;

               CAR ;

               PAIR ;

               NIL operation ;

               PAIR } ;

           DUP ;

           CDR ;

           SWAP ;

           CAR ;

           DIG 2 ;

           DUP ;

           DUG 3 ;

           CDR ;

           DIG 2 ;

           DIG 3 ;

           CAR ;

           CAR ;

           PAIR ;

           PAIR ;

           SWAP ;