parameter (or

            (or

              (or (address %add_administrator)

                  (pair %balance_of

                    (list %requests (pair (address %owner) (nat %token_id)))

                    (contract %callback (list (pair

                                              (pair %request (address %owner)

                                                             (nat %token_id))

                                              (nat %balance))))))

              (or (pair %burn (address %address) (pair (nat %amount) (nat %token_id)))

                  (or

                    (pair %mint (pair (address %address) (nat %amount))

                                (pair (map %metadata string bytes) (nat %token_id)))

                    (address %remove_administrator))))

            (or

              (or (unit %restore_from_snapshot)

                  (pair %set_metadata (string %k) (bytes %v)))

              (or (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

          (pair (pair (set %administrator address) (set %all_tokens nat))

                (pair (map %governable_storage string bytes)

                      (pair (address %governance_token)

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

          (pair

            (pair (big_map %metadata string bytes)

                  (big_map %operators

                    (pair (address %owner) (pair (address %operator) (nat %token_id)))

                    unit))

            (pair (bool %paused)

                  (pair

                    (big_map %token_metadata nat

                                             (pair (nat %token_id)

                                                   (map %token_info string bytes)))

                    (big_map %total_supply nat nat)))));

code { CAST (pair

              (or

                (or

                  (or address

                      (pair (list (pair address nat))

                            (contract (list (pair (pair address nat) nat)))))

                  (or (pair address (pair nat nat))

                      (or (pair (pair address nat) (pair (map string bytes) nat))

                          address)))

                (or (or unit (pair string bytes))

                    (or bool

                        (or (list (pair address (list (pair address (pair nat nat)))))

                            (list (or (pair address (pair address nat))

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

              (pair

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

                      (pair (map string bytes)

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

                (pair

                  (pair (big_map string bytes)

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

                  (pair bool

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

                              (big_map nat nat)))))) ;

       UNPAIR ;

       IF_LEFT

         { IF_LEFT

             { IF_LEFT

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   SENDER ;

                   MEM ;

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

                   SWAP ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   PUSH bool True ;

                   DIG 5 ;

                   UPDATE ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   NIL operation }

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   GET 5 ;

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

                   DUP ;

                   CAR ;

                   MAP { DUP 3 ;

                         GET 7 ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         CDR ;

                         MEM ;

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

                         DUP 3 ;

                         CAR ;

                         GET 6 ;

                         SWAP ;

                         DUP ;

                         CDR ;

                         SWAP ;

                         DUP ;

                         DUG 3 ;

                         CAR ;

                         PAIR ;

                         MEM ;

                         IF

                           { DUP 3 ;

                             CAR ;

                             GET 6 ;

                             SWAP ;

                             DUP ;

                             CDR ;

                             SWAP ;

                             DUP ;

                             DUG 3 ;

                             CAR ;

                             PAIR ;

                             GET ;

                             IF_NONE { PUSH int 412 ; FAILWITH } {} ;

                             SWAP ;

                             PAIR }

                           { PUSH nat 0 ; SWAP ; PAIR } } ;

                   NIL operation ;

                   DIG 2 ;

                   CDR ;

                   PUSH mutez 0 ;

                   DIG 3 ;

                   TRANSFER_TOKENS ;

                   CONS } }

             { IF_LEFT

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   SENDER ;

                   MEM ;

                   IF {} { PUSH string "Cannot burn another's tokens" ; FAILWITH } ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   UNPAIR ;

                   SWAP ;

                   UNPAIR ;

                   SWAP ;

                   DUP ;

                   DIG 6 ;

                   DUP ;

                   GET 4 ;

                   SWAP ;

                   DUP ;

                   DUG 8 ;

                   CAR ;

                   PAIR ;

                   DUP ;

                   DUG 2 ;

                   GET ;

                   IF_NONE { PUSH int 524 ; FAILWITH } { DROP } ;

                   DUP 7 ;

                   GET 3 ;

                   DIG 8 ;

                   CAR ;

                   GET 6 ;

                   DIG 8 ;

                   DUP ;

                   GET 4 ;

                   SWAP ;

                   DUP ;

                   DUG 10 ;

                   CAR ;

                   PAIR ;

                   GET ;

                   IF_NONE { PUSH int 524 ; FAILWITH } {} ;

                   SUB ;

                   ISNAT ;

                   IF_NONE { PUSH int 524 ; FAILWITH } {} ;

                   SOME ;

                   SWAP ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   SWAP ;

                   PAIR ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 2 ;

                   DUP ;

                   GET 8 ;

                   DUP 3 ;

                   GET 3 ;

                   DIG 4 ;

                   GET 8 ;

                   DUP 5 ;

                   GET 4 ;

                   GET ;

                   IF_NONE { PUSH int 525 ; FAILWITH } {} ;

                   SUB ;

                   ISNAT ;

                   IF_NONE { PUSH int 525 ; FAILWITH } {} ;

                   SOME ;

                   DIG 3 ;

                   GET 4 ;

                   UPDATE ;

                   UPDATE 8 }

                 { IF_LEFT

                     { SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       CAR ;

                       CAR ;

                       SENDER ;

                       MEM ;

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

                       SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       PUSH bool True ;

                       DUP 6 ;

                       GET 4 ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       GET 6 ;

                       SWAP ;

                       DUP ;

                       GET 4 ;

                       SWAP ;

                       DUP ;

                       DUG 3 ;

                       CAR ;

                       CAR ;

                       PAIR ;

                       MEM ;

                       IF

                         { SWAP ;

                           UNPAIR ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           DUP ;

                           DIG 6 ;

                           DUP ;

                           GET 4 ;

                           SWAP ;

                           DUP ;

                           DUG 8 ;

                           CAR ;

                           CAR ;

                           PAIR ;

                           DUP ;

                           DUG 2 ;

                           GET ;

                           IF_NONE { PUSH int 548 ; FAILWITH } {} ;

                           DUP 8 ;

                           CAR ;

                           CDR ;

                           ADD ;

                           SOME ;

                           SWAP ;

                           UPDATE ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP }

                         { SWAP ;

                           UNPAIR ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           DUP 6 ;

                           CAR ;

                           CDR ;

                           SOME ;

                           DIG 6 ;

                           DUP ;

                           GET 4 ;

                           SWAP ;

                           DUP ;

                           DUG 8 ;

                           CAR ;

                           CAR ;

                           PAIR ;

                           UPDATE ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP } ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       GET 7 ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       GET 4 ;

                       MEM ;

                       IF

                         { DROP }

                         { SWAP ;

                           DUP ;

                           GET 7 ;

                           DIG 2 ;

                           DUP ;

                           GET 3 ;

                           SWAP ;

                           DUP ;

                           DUG 4 ;

                           GET 4 ;

                           PAIR ;

                           SOME ;

                           DUP 4 ;

                           GET 4 ;

                           UPDATE ;

                           UPDATE 7 ;

                           DUP ;

                           GET 8 ;

                           DUP 3 ;

                           CAR ;

                           CDR ;

                           SOME ;

                           DIG 3 ;

                           GET 4 ;

                           UPDATE ;

                           UPDATE 8 } }

                     { SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       CAR ;

                       CAR ;

                       SENDER ;

                       MEM ;

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

                       SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       UNPAIR ;

                       PUSH bool False ;

                       DIG 5 ;

                       UPDATE ;

                       PAIR ;

                       PAIR ;

                       PAIR } } ;

               NIL operation } }

         { IF_LEFT

             { IF_LEFT

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   SENDER ;

                   MEM ;

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

                   PUSH nat 1000 ;

                   DIG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   PUSH bool True ;

                   PUSH nat 0 ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 3 ;

                   CAR ;

                   GET 6 ;

                   PUSH (pair address nat) (Pair "tz1a3LNYNZTNN2SLMjWSUc5jtLWFvZ1kC7BR" 0) ;

                   MEM ;

                   IF

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP ;

                       PUSH (pair address nat) (Pair "tz1a3LNYNZTNN2SLMjWSUc5jtLWFvZ1kC7BR" 0) ;

                       DUP ;

                       DUG 2 ;

                       GET ;

                       IF_NONE { PUSH int 548 ; FAILWITH } {} ;

                       DUP 8 ;

                       PUSH nat 71480 ;

                       MUL ;

                       ADD ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 }

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP 6 ;

                       PUSH nat 71480 ;

                       MUL ;

                       SOME ;

                       PUSH (pair address nat) (Pair "tz1a3LNYNZTNN2SLMjWSUc5jtLWFvZ1kC7BR" 0) ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 } ;

                   DUP 3 ;

                   GET 7 ;

                   PUSH nat 0 ;

                   MEM ;

                   IF

                     {}

                     { DIG 2 ;

                       DUP ;

                       GET 7 ;

                       PUSH (option (pair nat (map string bytes))) (Some (Pair 0

                                        { Elt "decimals" 0x35 ;

                                          Elt "description"

                                               0x5573656420666f7220676f7665726e696e67207468652074657a6f73206c617965722031206d657373656e676572 ;

                                          Elt "name" 0x54656464792044414f ;

                                          Elt "symbol" 0x7444414f ;

                                          Elt "thumbnailUri"

                                               0x68747470733a2f2f6d7279616d7a2e6769746875622e696f2f696d616765732f656c656d656e745f706963732f5465646479253230436f696e2e706e67 })) ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 7 ;

                       DUP ;

                       GET 8 ;

                       DUP 3 ;

                       PUSH nat 71480 ;

                       MUL ;

                       SOME ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 8 ;

                       DUG 2 } ;

                   DIG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   PUSH bool True ;

                   PUSH nat 0 ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 3 ;

                   CAR ;

                   GET 6 ;

                   PUSH (pair address nat) (Pair "tz1aoYg1xYeEdnLrAJ7y2r1T3aMBCyms6ppJ" 0) ;

                   MEM ;

                   IF

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP ;

                       PUSH (pair address nat) (Pair "tz1aoYg1xYeEdnLrAJ7y2r1T3aMBCyms6ppJ" 0) ;

                       DUP ;

                       DUG 2 ;

                       GET ;

                       IF_NONE { PUSH int 548 ; FAILWITH } {} ;

                       DUP 8 ;

                       PUSH nat 800 ;

                       MUL ;

                       ADD ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 }

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP 6 ;

                       PUSH nat 800 ;

                       MUL ;

                       SOME ;

                       PUSH (pair address nat) (Pair "tz1aoYg1xYeEdnLrAJ7y2r1T3aMBCyms6ppJ" 0) ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 } ;

                   DUP 3 ;

                   GET 7 ;

                   PUSH nat 0 ;

                   MEM ;

                   IF

                     {}

                     { DIG 2 ;

                       DUP ;

                       GET 7 ;

                       PUSH (option (pair nat (map string bytes))) (Some (Pair 0

                                        { Elt "decimals" 0x35 ;

                                          Elt "description"

                                               0x5573656420666f7220676f7665726e696e67207468652074657a6f73206c617965722031206d657373656e676572 ;

                                          Elt "name" 0x54656464792044414f ;

                                          Elt "symbol" 0x7444414f ;

                                          Elt "thumbnailUri"

                                               0x68747470733a2f2f6d7279616d7a2e6769746875622e696f2f696d616765732f656c656d656e745f706963732f5465646479253230436f696e2e706e67 })) ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 7 ;

                       DUP ;

                       GET 8 ;

                       DUP 3 ;

                       PUSH nat 800 ;

                       MUL ;

                       SOME ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 8 ;

                       DUG 2 } ;

                   DIG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   PUSH bool True ;

                   PUSH nat 0 ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 3 ;

                   CAR ;

                   GET 6 ;

                   PUSH (pair address nat) (Pair "tz1aQbe92zZy6MNeRFtgmgV5dV5R4BNTdqK1" 0) ;

                   MEM ;

                   IF

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP ;

                       PUSH (pair address nat) (Pair "tz1aQbe92zZy6MNeRFtgmgV5dV5R4BNTdqK1" 0) ;

                       DUP ;

                       DUG 2 ;

                       GET ;

                       IF_NONE { PUSH int 548 ; FAILWITH } {} ;

                       DUP 8 ;

                       PUSH nat 202 ;

                       MUL ;

                       ADD ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 }

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP 6 ;

                       PUSH nat 202 ;

                       MUL ;

                       SOME ;

                       PUSH (pair address nat) (Pair "tz1aQbe92zZy6MNeRFtgmgV5dV5R4BNTdqK1" 0) ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 } ;

                   DUP 3 ;

                   GET 7 ;

                   PUSH nat 0 ;

                   MEM ;

                   IF

                     {}

                     { DIG 2 ;

                       DUP ;

                       GET 7 ;

                       PUSH (option (pair nat (map string bytes))) (Some (Pair 0

                                        { Elt "decimals" 0x35 ;

                                          Elt "description"

                                               0x5573656420666f7220676f7665726e696e67207468652074657a6f73206c617965722031206d657373656e676572 ;

                                          Elt "name" 0x54656464792044414f ;

                                          Elt "symbol" 0x7444414f ;

                                          Elt "thumbnailUri"

                                               0x68747470733a2f2f6d7279616d7a2e6769746875622e696f2f696d616765732f656c656d656e745f706963732f5465646479253230436f696e2e706e67 })) ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 7 ;

                       DUP ;

                       GET 8 ;

                       DUP 3 ;

                       PUSH nat 202 ;

                       MUL ;

                       SOME ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 8 ;

                       DUG 2 } ;

                   DIG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   PUSH bool True ;

                   PUSH nat 0 ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 3 ;

                   CAR ;

                   GET 6 ;

                   PUSH (pair address nat) (Pair "tz1ciDXpDiX7UK5zEcqvtcUSf5SLoNV5BWob" 0) ;

                   MEM ;

                   IF

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP ;

                       PUSH (pair address nat) (Pair "tz1ciDXpDiX7UK5zEcqvtcUSf5SLoNV5BWob" 0) ;

                       DUP ;

                       DUG 2 ;

                       GET ;

                       IF_NONE { PUSH int 548 ; FAILWITH } {} ;

                       DUP 8 ;

                       PUSH nat 202 ;

                       MUL ;

                       ADD ;

                       SOME ;

                       SWAP ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 }

                     { DIG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       DUP 6 ;

                       PUSH nat 202 ;

                       MUL ;

                       SOME ;

                       PUSH (pair address nat) (Pair "tz1ciDXpDiX7UK5zEcqvtcUSf5SLoNV5BWob" 0) ;

                       UPDATE ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       DUG 2 } ;

                   DUP 3 ;

                   GET 7 ;

                   PUSH nat 0 ;

                   MEM ;

                   IF

                     {}

                     { DIG 2 ;

                       DUP ;

                       GET 7 ;

                       PUSH (option (pair nat (map string bytes))) (Some (Pair 0

                                        { Elt "decimals" 0x35 ;

                                          Elt "description"

                                               0x5573656420666f7220676f7665726e696e67207468652074657a6f73206c617965722031206d657373656e676572 ;

                                          Elt "name" 0x54656464792044414f ;

                                          Elt "symbol" 0x7444414f ;

                                          Elt "thumbnailUri"

                                               0x68747470733a2f2f6d7279616d7a2e6769746875622e696f2f696d616765732f656c656d656e745f706963732f5465646479253230436f696e2e706e67 })) ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 7 ;

                       DUP ;

                       GET 8 ;

                       DUP 3 ;

                       PUSH nat 202 ;

                       MUL ;

                       SOME ;

                       PUSH nat 0 ;

                       UPDATE ;

                       UPDATE 8 ;

                       DUG 2 } ;

                   DIG 2 ;

                   UNPAIR ;

                   UNPAIR ;

                   UNPAIR ;

                   SWAP ;

                   PUSH bool True ;

                   PUSH nat 0 ;

                   UPDATE ;

                   SWAP ;

                   PAIR ;

                   PAIR ;

                   PAIR ;

                   DUP ;

                   DUG 3 ;

                   CAR ;

                   GET 6 ;

                   PUSH (pair address nat) (Pair "tz1dHfRsFmS8Yremw7XrutNVoY1E8ZEo4fk5" 0) ;

                   MEM ;

                   IF