Block 450404

Below is the json returned from the RPC endpoint: chains/main/blocks/450404 on delphinet

{
    "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
    "chain_id": "NetXm8tYqnMWky1",
    "hash": "BLCT2ZMHrxvW3NNMcEF9v3xkdQKSjTcvssA1MBnYcPhsvWMDiH6",
    "header": {
        "level": 450404,
        "proto": 1,
        "predecessor": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
        "timestamp": "2021-02-15T08:03:27Z",
        "validation_pass": 4,
        "operations_hash": "LLoaC7hY9nwAhrqgH1ekLfyaEzCYJoRRw84hFzAjbspJQWzkt2exq",
        "fitness": [
            "01",
            "000000000006df63"
        ],
        "context": "CoVvRZoE7W8ECfw58rjnP39WBPi3efruxcHfFy2MJeuX9WoLA7ES",
        "priority": 0,
        "proof_of_work_nonce": "d74e7b6d13820400",
        "signature": "sigvpbeBFzgfyyVpyz1RTu5gPmsbTFvf26g5RAk9KM57vT4QtjJ4UTMe53Bqv1cKVSmKZbRcbdNgCgiKNomCNGy1qgZ2MG4t"
    },
    "metadata": {
        "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
        "next_protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
        "test_chain_status": {
            "status": "not_running"
        },
        "max_operations_ttl": 60,
        "max_operation_data_length": 16384,
        "max_block_header_length": 238,
        "max_operation_list_length": [
            {
                "max_size": 32768,
                "max_op": 32
            },
            {
                "max_size": 32768
            },
            {
                "max_size": 135168,
                "max_op": 132
            },
            {
                "max_size": 524288
            }
        ],
        "baker": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
        "level": {
            "level": 450404,
            "level_position": 450403,
            "cycle": 219,
            "cycle_position": 1891,
            "voting_period": 219,
            "voting_period_position": 1891,
            "expected_commitment": false
        },
        "voting_period_kind": "proposal",
        "nonce_hash": null,
        "consumed_gas": "78671177",
        "deactivated": [],
        "balance_updates": [
            {
                "kind": "contract",
                "contract": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                "change": "-512000000"
            },
            {
                "kind": "freezer",
                "category": "deposits",
                "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                "cycle": 219,
                "change": "512000000"
            },
            {
                "kind": "freezer",
                "category": "rewards",
                "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                "cycle": 219,
                "change": "38750000"
            }
        ]
    },
    "operations": [
        [
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooxhMsUDNcbK8REpJYN5VWfDW8qgajg5X9optptW29Ng5aFdq6G",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz3ZbMfeSAWEYr4AiMJ5Gnamg8Szfr3pv2V2",
                                    "change": "-64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz3ZbMfeSAWEYr4AiMJ5Gnamg8Szfr3pv2V2",
                                    "cycle": 219,
                                    "change": "64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz3ZbMfeSAWEYr4AiMJ5Gnamg8Szfr3pv2V2",
                                    "cycle": 219,
                                    "change": "1250000"
                                }
                            ],
                            "delegate": "tz3ZbMfeSAWEYr4AiMJ5Gnamg8Szfr3pv2V2",
                            "slots": [
                                26
                            ]
                        }
                    }
                ],
                "signature": "siguK3wNKomTiA5kLGcFNQp17wt2BKaAKNeCpEqTG8yQtAs3LBC3GMWok23SCyZDaPBiTTVfitU8XSBmLtRovydH5pZtrGEF"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooU9iKCbJNcD1b3ZPSgns781io6sC3NCSCoWxLEPsuhFZmtaT3d",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1RUGhq8sQpfGu1W2kf7MixqWX7oxThBFLr",
                                    "change": "-512000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1RUGhq8sQpfGu1W2kf7MixqWX7oxThBFLr",
                                    "cycle": 219,
                                    "change": "512000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1RUGhq8sQpfGu1W2kf7MixqWX7oxThBFLr",
                                    "cycle": 219,
                                    "change": "10000000"
                                }
                            ],
                            "delegate": "tz1RUGhq8sQpfGu1W2kf7MixqWX7oxThBFLr",
                            "slots": [
                                23,
                                21,
                                19,
                                13,
                                12,
                                10,
                                4,
                                2
                            ]
                        }
                    }
                ],
                "signature": "sigqkdYVXngLnhVxBa2WQfYuzyTsWiFuDWpDcodz1DdxkSRXBUVnXpCSdDwj1yaDSxyx3NAphpKSMAYGDMWfQox9f2PMeh8G"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "onreX9cgcLZAoVPW98zQkbFzmVfsG7CQM6SauytHG7R1hiAVZX1",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz3WXYtyDUNL91qfiCJtVUX746QpNv5i5ve5",
                                    "change": "-64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz3WXYtyDUNL91qfiCJtVUX746QpNv5i5ve5",
                                    "cycle": 219,
                                    "change": "64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz3WXYtyDUNL91qfiCJtVUX746QpNv5i5ve5",
                                    "cycle": 219,
                                    "change": "1250000"
                                }
                            ],
                            "delegate": "tz3WXYtyDUNL91qfiCJtVUX746QpNv5i5ve5",
                            "slots": [
                                29
                            ]
                        }
                    }
                ],
                "signature": "sigtnGPH4bz7jFobbRxY86iS7Rfn5MJFHEMFcg3huuEPLizY28cLYRc5e45cSJeiDLMFgJwvpHvH366qLECidFGCw6MP84MF"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooJh9rPHTYfDgfjna3YRDM2TaTF49vQy3fAgMgS4fxCRwjmhmYz",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1RomaiWJV3NFDZWTMVR2aEeHknsn3iF5Gi",
                                    "change": "-384000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1RomaiWJV3NFDZWTMVR2aEeHknsn3iF5Gi",
                                    "cycle": 219,
                                    "change": "384000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1RomaiWJV3NFDZWTMVR2aEeHknsn3iF5Gi",
                                    "cycle": 219,
                                    "change": "7500000"
                                }
                            ],
                            "delegate": "tz1RomaiWJV3NFDZWTMVR2aEeHknsn3iF5Gi",
                            "slots": [
                                31,
                                16,
                                11,
                                9,
                                7,
                                0
                            ]
                        }
                    }
                ],
                "signature": "sigvJUuDVGNVMf3VFYMrX7S3akWeDZRKFup37D7tquBdqD3WoCkiCUJPeKUxidKKHtbZSrZnviJVhCAXA2hAByacZQAPaTW2"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "opFXykKkWZf8MViuHfKzbX9vsXkcrB1GEgxh4teLKQ1FxQCpvqb",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1PirboHQVqkYqLSWfHUHEy3AdhYUNJpvGy",
                                    "change": "-64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1PirboHQVqkYqLSWfHUHEy3AdhYUNJpvGy",
                                    "cycle": 219,
                                    "change": "64000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1PirboHQVqkYqLSWfHUHEy3AdhYUNJpvGy",
                                    "cycle": 219,
                                    "change": "1250000"
                                }
                            ],
                            "delegate": "tz1PirboHQVqkYqLSWfHUHEy3AdhYUNJpvGy",
                            "slots": [
                                3
                            ]
                        }
                    }
                ],
                "signature": "sigPcgdgFo3Hu6k7NwNdXPPnwTBggacaT7r3R4aZkHh5FDjLEn9JARjaPHHrqP4vbPgU68eBmsuV46DJs8DxcBM6aurzN4Dq"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooAvzM2dxd75k5Vv5o8BqAQYBKbbwxA4oaFaUqFtju6SDHrguUQ",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1T8UYSbVuRm6CdhjvwCfXsKXb4yL9ai9Q3",
                                    "change": "-128000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1T8UYSbVuRm6CdhjvwCfXsKXb4yL9ai9Q3",
                                    "cycle": 219,
                                    "change": "128000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1T8UYSbVuRm6CdhjvwCfXsKXb4yL9ai9Q3",
                                    "cycle": 219,
                                    "change": "2500000"
                                }
                            ],
                            "delegate": "tz1T8UYSbVuRm6CdhjvwCfXsKXb4yL9ai9Q3",
                            "slots": [
                                6,
                                5
                            ]
                        }
                    }
                ],
                "signature": "sigdnEtbTKtHJiamED6sGXBrT2gMsi4hkk2j1PafGSZpRbprGRPnx4Qdubg4vrrcZxPFg9ffs6ZtafY7Qh8AwcEUgxbQrY8t"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooe5fcbW1i95w2X3gzZfyZ8oMk4BYjehy4YcXwbiKFPQLteR4np",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1LpmZmB1yJJBcCrBDLSAStmmugGDEghdVv",
                                    "change": "-320000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1LpmZmB1yJJBcCrBDLSAStmmugGDEghdVv",
                                    "cycle": 219,
                                    "change": "320000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1LpmZmB1yJJBcCrBDLSAStmmugGDEghdVv",
                                    "cycle": 219,
                                    "change": "6250000"
                                }
                            ],
                            "delegate": "tz1LpmZmB1yJJBcCrBDLSAStmmugGDEghdVv",
                            "slots": [
                                25,
                                24,
                                22,
                                17,
                                15
                            ]
                        }
                    }
                ],
                "signature": "sigvMAF6BmQQsbLXpX39ctJKfoCt2EJcphC1iETzCbAoyH5o8y6DMryBBw3MDBYMbkGbNehADrz6h4gXwPigUzJfkiXCBPLS"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "onxVRysmSLFUYR1Q9acsEJwLXQxRDizcNzUfAqqQPPuyfie63He",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1VpvtSaSxKvykrqajFJTZqCXgoVJ5cKaM1",
                                    "change": "-320000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1VpvtSaSxKvykrqajFJTZqCXgoVJ5cKaM1",
                                    "cycle": 219,
                                    "change": "320000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1VpvtSaSxKvykrqajFJTZqCXgoVJ5cKaM1",
                                    "cycle": 219,
                                    "change": "6250000"
                                }
                            ],
                            "delegate": "tz1VpvtSaSxKvykrqajFJTZqCXgoVJ5cKaM1",
                            "slots": [
                                30,
                                28,
                                18,
                                14,
                                8
                            ]
                        }
                    }
                ],
                "signature": "sigh5JXbetFfwJKxPjhMAjaPnBjEjyNHq2HVHF4nw1ZAenspa5bwSAHzxvZ7L7JqksbbU9AHxXYbqbaLb3HCLDKU7MGXscZi"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "oozB7vu2X9TYp1qncjiskgCjpDKBHkgr2WPLuRSkxd1ak6tUdtF",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "endorsement",
                        "level": 450403,
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                                    "change": "-128000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "deposits",
                                    "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                                    "cycle": 219,
                                    "change": "128000000"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "rewards",
                                    "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                                    "cycle": 219,
                                    "change": "2500000"
                                }
                            ],
                            "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                            "slots": [
                                20,
                                1
                            ]
                        }
                    }
                ],
                "signature": "sigUWRWome9H3pEMpCo6ccPuQqWPExZoMYFy6yNrLKcF1Qn3YV69DRU7NZ17zWT8PYpk64xRjBuTqdV7c8f3tzRcmEH5j9nT"
            }
        ],
        [],
        [],
        [
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "onvrZRcjANGZMGukzSyywitdstNpotaHrWfZFsaZUBfNgodoKtx",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [
                    {
                        "kind": "origination",
                        "source": "tz1d9h3tviTEqmbjG4ioWjBLpJj7VrRQA4Gs",
                        "fee": "6720",
                        "counter": "531146",
                        "gas_limit": "23404",
                        "storage_limit": "4615",
                        "balance": "0",
                        "script": {
                            "code": [
                                {
                                    "prim": "parameter",
                                    "args": [
                                        {
                                            "prim": "or",
                                            "args": [
                                                {
                                                    "prim": "pair",
                                                    "args": [
                                                        {
                                                            "prim": "list",
                                                            "args": [
                                                                {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                        {
                                                                            "prim": "address",
                                                                            "annots": [
                                                                                "%owner"
                                                                            ]
                                                                        },
                                                                        {
                                                                            "prim": "nat",
                                                                            "annots": [
                                                                                "%token_id"
                                                                            ]
                                                                        }
                                                                    ]
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%requests"
                                                            ]
                                                        },
                                                        {
                                                            "prim": "contract",
                                                            "args": [
                                                                {
                                                                    "prim": "list",
                                                                    "args": [
                                                                        {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address",
                                                                                            "annots": [
                                                                                                "%owner"
                                                                                            ]
                                                                                        },
                                                                                        {
                                                                                            "prim": "nat",
                                                                                            "annots": [
                                                                                                "%token_id"
                                                                                            ]
                                                                                        }
                                                                                    ],
                                                                                    "annots": [
                                                                                        "%request"
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "nat",
                                                                                    "annots": [
                                                                                        "%balance"
                                                                                    ]
                                                                                }
                                                                            ]
                                                                        }
                                                                    ]
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%callback"
                                                            ]
                                                        }
                                                    ],
                                                    "annots": [
                                                        "%balance_of"
                                                    ]
                                                },
                                                {
                                                    "prim": "or",
                                                    "args": [
                                                        {
                                                            "prim": "list",
                                                            "args": [
                                                                {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                        {
                                                                            "prim": "address",
                                                                            "annots": [
                                                                                "%from_"
                                                                            ]
                                                                        },
                                                                        {
                                                                            "prim": "list",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address",
                                                                                            "annots": [
                                                                                                "%to_"
                                                                                            ]
                                                                                        },
                                                                                        {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                                {
                                                                                                    "prim": "nat",
                                                                                                    "annots": [
                                                                                                        "%token_id"
                                                                                                    ]
                                                                                                },
                                                                                                {
                                                                                                    "prim": "nat",
                                                                                                    "annots": [
                                                                                                        "%amount"
                                                                                                    ]
                                                                                                }
                                                                                            ]
                                                                                        }
                                                                                    ]
                                                                                }
                                                                            ],
                                                                            "annots": [
                                                                                "%txs"
                                                                            ]
                                                                        }
                                                                    ]
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%transfer"
                                                            ]
                                                        },
                                                        {
                                                            "prim": "list",
                                                            "args": [
                                                                {
                                                                    "prim": "or",
                                                                    "args": [
                                                                        {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "address",
                                                                                    "annots": [
                                                                                        "%owner"
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address",
                                                                                            "annots": [
                                                                                                "%operator"
                                                                                            ]
                                                                                        },
                                                                                        {
                                                                                            "prim": "nat",
                                                                                            "annots": [
                                                                                                "%token_id"
                                                                                            ]
                                                                                        }
                                                                                    ]
                                                                                }
                                                                            ],
                                                                            "annots": [
                                                                                "%add_operator"
                                                                            ]
                                                                        },
                                                                        {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "address",
                                                                                    "annots": [
                                                                                        "%owner"
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address",
                                                                                            "annots": [
                                                                                                "%operator"
                                                                                            ]
                                                                                        },
                                                                                        {
                                                                                            "prim": "nat",
                                                                                            "annots": [
                                                                                                "%token_id"
                                                                                            ]
                                                                                        }
                                                                                    ]
                                                                                }
                                                                            ],
                                                                            "annots": [
                                                                                "%remove_operator"
                                                                            ]
                                                                        }
                                                                    ]
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%update_operators"
                                                            ]
                                                        }
                                                    ]
                                                }
                                            ]
                                        }
                                    ]
                                },
                                {
                                    "prim": "storage",
                                    "args": [
                                        {
                                            "prim": "pair",
                                            "args": [
                                                {
                                                    "prim": "big_map",
                                                    "args": [
                                                        {
                                                            "prim": "pair",
                                                            "args": [
                                                                {
                                                                    "prim": "address"
                                                                },
                                                                {
                                                                    "prim": "nat"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "nat"
                                                        }
                                                    ],
                                                    "annots": [
                                                        "%ledger"
                                                    ]
                                                },
                                                {
                                                    "prim": "pair",
                                                    "args": [
                                                        {
                                                            "prim": "big_map",
                                                            "args": [
                                                                {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                        {
                                                                            "prim": "address"
                                                                        },
                                                                        {
                                                                            "prim": "address"
                                                                        }
                                                                    ]
                                                                },
                                                                {
                                                                    "prim": "unit"
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%operators"
                                                            ]
                                                        },
                                                        {
                                                            "prim": "big_map",
                                                            "args": [
                                                                {
                                                                    "prim": "nat"
                                                                },
                                                                {
                                                                    "prim": "map",
                                                                    "args": [
                                                                        {
                                                                            "prim": "string"
                                                                        },
                                                                        {
                                                                            "prim": "bytes"
                                                                        }
                                                                    ]
                                                                }
                                                            ],
                                                            "annots": [
                                                                "%token_metadata"
                                                            ]
                                                        }
                                                    ]
                                                }
                                            ]
                                        }
                                    ]
                                },
                                {
                                    "prim": "code",
                                    "args": [
                                        [
                                            {
                                                "prim": "CAST",
                                                "args": [
                                                    {
                                                        "prim": "pair",
                                                        "args": [
                                                            {
                                                                "prim": "or",
                                                                "args": [
                                                                    {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                            {
                                                                                "prim": "list",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "address"
                                                                                            },
                                                                                            {
                                                                                                "prim": "nat"
                                                                                            }
                                                                                        ]
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "prim": "contract",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "list",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "pair",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "address"
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "nat"
                                                                                                            }
                                                                                                        ]
                                                                                                    },
                                                                                                    {
                                                                                                        "prim": "nat"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    }
                                                                                ]
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "or",
                                                                        "args": [
                                                                            {
                                                                                "prim": "list",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "address"
                                                                                            },
                                                                                            {
                                                                                                "prim": "list",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "address"
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "pair",
                                                                                                                "args": [
                                                                                                                    {
                                                                                                                        "prim": "nat"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "nat"
                                                                                                                    }
                                                                                                                ]
                                                                                                            }
                                                                                                        ]
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "prim": "list",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "or",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "pair",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "address"
                                                                                                    },
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "address"
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "nat"
                                                                                                            }
                                                                                                        ]
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "pair",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "address"
                                                                                                    },
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "address"
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "nat"
                                                                                                            }
                                                                                                        ]
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    }
                                                                                ]
                                                                            }
                                                                        ]
                                                                    }
                                                                ]
                                                            },
                                                            {
                                                                "prim": "pair",
                                                                "args": [
                                                                    {
                                                                        "prim": "big_map",
                                                                        "args": [
                                                                            {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "address"
                                                                                    },
                                                                                    {
                                                                                        "prim": "nat"
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "prim": "nat"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                            {
                                                                                "prim": "big_map",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "address"
                                                                                            },
                                                                                            {
                                                                                                "prim": "address"
                                                                                            }
                                                                                        ]
                                                                                    },
                                                                                    {
                                                                                        "prim": "unit"
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "prim": "big_map",
                                                                                "args": [
                                                                                    {
                                                                                        "prim": "nat"
                                                                                    },
                                                                                    {
                                                                                        "prim": "map",
                                                                                        "args": [
                                                                                            {
                                                                                                "prim": "string"
                                                                                            },
                                                                                            {
                                                                                                "prim": "bytes"
                                                                                            }
                                                                                        ]
                                                                                    }
                                                                                ]
                                                                            }
                                                                        ]
                                                                    }
                                                                ]
                                                            }
                                                        ]
                                                    }
                                                ]
                                            },
                                            {
                                                "prim": "NIL",
                                                "args": [
                                                    {
                                                        "prim": "operation"
                                                    }
                                                ]
                                            },
                                            {
                                                "prim": "SWAP"
                                            },
                                            {
                                                "prim": "DUP"
                                            },
                                            {
                                                "prim": "CAR"
                                            },
                                            {
                                                "prim": "DIP",
                                                "args": [
                                                    [
                                                        {
                                                            "prim": "CDR"
                                                        },
                                                        {
                                                            "prim": "DUP"
                                                        },
                                                        {
                                                            "prim": "CAR"
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                [
                                                                    {
                                                                        "prim": "CDR"
                                                                    },
                                                                    {
                                                                        "prim": "DUP"
                                                                    },
                                                                    {
                                                                        "prim": "CAR"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "CDR"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    }
                                                                ]
                                                            ]
                                                        }
                                                    ]
                                                ]
                                            },
                                            {
                                                "prim": "DUP"
                                            },
                                            {
                                                "prim": "DUP"
                                            },
                                            {
                                                "prim": "IF_LEFT",
                                                "args": [
                                                    [
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "3"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIG",
                                                            "args": [
                                                                {
                                                                    "int": "3"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "PUSH",
                                                            "args": [
                                                                {
                                                                    "prim": "list",
                                                                    "args": [
                                                                        {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address"
                                                                                        },
                                                                                        {
                                                                                            "prim": "nat"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "nat"
                                                                                }
                                                                            ]
                                                                        }
                                                                    ]
                                                                },
                                                                []
                                                            ]
                                                        },
                                                        {
                                                            "prim": "PUSH",
                                                            "args": [
                                                                {
                                                                    "prim": "list",
                                                                    "args": [
                                                                        {
                                                                            "prim": "nat"
                                                                        }
                                                                    ]
                                                                },
                                                                []
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "3"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIG",
                                                            "args": [
                                                                {
                                                                    "int": "3"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "CAR"
                                                        },
                                                        {
                                                            "prim": "ITER",
                                                            "args": [
                                                                [
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "CDR"
                                                                    },
                                                                    {
                                                                        "prim": "CONS"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            {
                                                                                "int": "2"
                                                                            },
                                                                            [
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DUG",
                                                                        "args": [
                                                                            {
                                                                                "int": "1"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            {
                                                                                "int": "3"
                                                                            },
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DIG",
                                                                        "args": [
                                                                            {
                                                                                "int": "3"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "CDR"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            {
                                                                                "int": "2"
                                                                            },
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DIG",
                                                                        "args": [
                                                                            {
                                                                                "int": "2"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "CAR"
                                                                    },
                                                                    {
                                                                        "prim": "PAIR"
                                                                    },
                                                                    {
                                                                        "prim": "GET"
                                                                    },
                                                                    {
                                                                        "prim": "IF_NONE",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        },
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIG",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "SWAP"
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "PUSH",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "nat"
                                                                                                    },
                                                                                                    {
                                                                                                        "int": "0"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "PAIR"
                                                                                },
                                                                                {
                                                                                    "prim": "CONS"
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "3"
                                                                                        },
                                                                                        [
                                                                                            {
                                                                                                "prim": "DROP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DUG",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        }
                                                                                    ]
                                                                                }
                                                                            ],
                                                                            [
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "3"
                                                                                        },
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIG",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "3"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        },
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIG",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "PAIR"
                                                                                },
                                                                                {
                                                                                    "prim": "CONS"
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "4"
                                                                                        },
                                                                                        [
                                                                                            {
                                                                                                "prim": "DROP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DUG",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "3"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DROP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DUP"
                                                        },
                                                        {
                                                            "prim": "ITER",
                                                            "args": [
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    },
                                                                    {
                                                                        "prim": "PUSH",
                                                                        "args": [
                                                                            {
                                                                                "prim": "nat"
                                                                            },
                                                                            {
                                                                                "int": "0"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "COMPARE"
                                                                    },
                                                                    {
                                                                        "prim": "EQ"
                                                                    },
                                                                    {
                                                                        "prim": "IF",
                                                                        "args": [
                                                                            [],
                                                                            [
                                                                                {
                                                                                    "prim": "UNIT"
                                                                                },
                                                                                {
                                                                                    "prim": "PUSH",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "string"
                                                                                        },
                                                                                        {
                                                                                            "string": "FA2_TOKEN_UNDEFINED"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "PAIR"
                                                                                },
                                                                                {
                                                                                    "prim": "FAILWITH"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DROP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "PUSH",
                                                            "args": [
                                                                {
                                                                    "prim": "list",
                                                                    "args": [
                                                                        {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                                {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "address"
                                                                                        },
                                                                                        {
                                                                                            "prim": "nat"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "nat"
                                                                                }
                                                                            ]
                                                                        }
                                                                    ]
                                                                },
                                                                []
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIG",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "ITER",
                                                            "args": [
                                                                [
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "SWAP"
                                                                    },
                                                                    {
                                                                        "prim": "CONS"
                                                                    },
                                                                    {
                                                                        "prim": "DIP",
                                                                        "args": [
                                                                            {
                                                                                "int": "2"
                                                                            },
                                                                            [
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DUG",
                                                                        "args": [
                                                                            {
                                                                                "int": "1"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DROP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "4"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIG",
                                                            "args": [
                                                                {
                                                                    "int": "4"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "CDR"
                                                        },
                                                        {
                                                            "prim": "AMOUNT"
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIG",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "TRANSFER_TOKENS"
                                                        },
                                                        {
                                                            "prim": "DUG",
                                                            "args": [
                                                                {
                                                                    "int": "10"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DIP",
                                                            "args": [
                                                                {
                                                                    "int": "10"
                                                                },
                                                                [
                                                                    {
                                                                        "prim": "CONS"
                                                                    }
                                                                ]
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DROP",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DROP",
                                                            "args": [
                                                                {
                                                                    "int": "2"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "DROP"
                                                        }
                                                    ],
                                                    [
                                                        {
                                                            "prim": "IF_LEFT",
                                                            "args": [
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    },
                                                                    {
                                                                        "prim": "ITER",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                },
                                                                                {
                                                                                    "prim": "SENDER"
                                                                                },
                                                                                {
                                                                                    "prim": "SWAP"
                                                                                },
                                                                                {
                                                                                    "prim": "CAR"
                                                                                },
                                                                                {
                                                                                    "prim": "COMPARE"
                                                                                },
                                                                                {
                                                                                    "prim": "EQ"
                                                                                },
                                                                                {
                                                                                    "prim": "IF",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "ITER",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "NIL",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "nat"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SWAP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CONS"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "ITER",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PUSH",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "nat"
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "int": "0"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SWAP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "COMPARE"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "EQ"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "IF",
                                                                                                                        "args": [
                                                                                                                            [],
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "UNIT"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "string"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "string": "FA2_TOKEN_UNDEFINED"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "FAILWITH"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "GET"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "IF_NONE",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "PUSH",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "nat"
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "int": "0"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "COMPARE"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "GT"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "IF",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "nat"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "int": "0"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "string"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "string": "FA2_INSUFFICIENT_BALANCE"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "FAILWITH"
                                                                                                                                }
                                                                                                                            ],
                                                                                                                            []
                                                                                                                        ]
                                                                                                                    }
                                                                                                                ],
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SWAP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SUB"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "ISNAT"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "IF_NONE",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "string"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "string": "FA2_INSUFFICIENT_BALANCE"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "FAILWITH"
                                                                                                                                }
                                                                                                                            ],
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SWAP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SOME"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "5"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "5"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "7"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "7"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "UPDATE"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "9"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DROP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DUG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "8"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "3"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "3"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "GET"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "IF_NONE",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SOME"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "4"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "4"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "UPDATE"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DUG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "6"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    }
                                                                                                                ],
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SWAP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "ADD"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SOME"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "4"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "4"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "5"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "5"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "UPDATE"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "8"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DUG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                }
                                                                                                            ]
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            }
                                                                                        ],
                                                                                        [
                                                                                            {
                                                                                                "prim": "PUSH",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "bool"
                                                                                                    },
                                                                                                    {
                                                                                                        "prim": "False"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SENDER"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "4"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "4"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "GET"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF_NONE",
                                                                                                "args": [
                                                                                                    [],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "bool"
                                                                                                                },
                                                                                                                {
                                                                                                                    "prim": "True"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "3"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "2"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "ITER",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "NIL",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "nat"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SWAP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CONS"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "ITER",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "nat"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "int": "0"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SWAP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "COMPARE"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "EQ"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "IF",
                                                                                                                                    "args": [
                                                                                                                                        [],
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "UNIT"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PUSH",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "string"
                                                                                                                                                    },
                                                                                                                                                    {
                                                                                                                                                        "string": "FA2_TOKEN_UNDEFINED"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "FAILWITH"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "6"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "6"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "GET"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "IF_NONE",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "PUSH",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "nat"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "int": "0"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "COMPARE"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "GT"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "IF",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "PUSH",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "nat"
                                                                                                                                                    },
                                                                                                                                                    {
                                                                                                                                                        "int": "0"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "2"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "2"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PUSH",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "string"
                                                                                                                                                    },
                                                                                                                                                    {
                                                                                                                                                        "string": "FA2_INSUFFICIENT_BALANCE"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "FAILWITH"
                                                                                                                                            }
                                                                                                                                        ],
                                                                                                                                        []
                                                                                                                                    ]
                                                                                                                                }
                                                                                                                            ],
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SWAP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SUB"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "ISNAT"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "IF_NONE",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "3"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "3"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PUSH",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "string"
                                                                                                                                                    },
                                                                                                                                                    {
                                                                                                                                                        "string": "FA2_INSUFFICIENT_BALANCE"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "FAILWITH"
                                                                                                                                            }
                                                                                                                                        ],
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "2"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "2"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "SWAP"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "SOME"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "5"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "5"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CAR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "9"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "9"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CAR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "PAIR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "UPDATE"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "11"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DROP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DUG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "10"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DROP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "7"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "3"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "GET"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "IF_NONE",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SOME"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "4"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "4"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "UPDATE"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "9"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DROP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DUG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "8"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                }
                                                                                                                            ],
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SWAP"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "3"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "2"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "ADD"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "SOME"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "4"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "4"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "5"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "5"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "UPDATE"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "10"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DROP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DUG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "9"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DROP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DROP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "2"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        }
                                                                                                    ],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "UNIT"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "string"
                                                                                                                },
                                                                                                                {
                                                                                                                    "string": "FA2_NOT_OPERATOR"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "FAILWITH"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DUP"
                                                                    },
                                                                    {
                                                                        "prim": "ITER",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                },
                                                                                {
                                                                                    "prim": "PUSH",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "list",
                                                                                            "args": [
                                                                                                {
                                                                                                    "prim": "pair",
                                                                                                    "args": [
                                                                                                        {
                                                                                                            "prim": "option",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "address"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "pair",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "nat"
                                                                                                                },
                                                                                                                {
                                                                                                                    "prim": "nat"
                                                                                                                }
                                                                                                            ]
                                                                                                        }
                                                                                                    ]
                                                                                                }
                                                                                            ]
                                                                                        },
                                                                                        []
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "SWAP"
                                                                                },
                                                                                {
                                                                                    "prim": "CDR"
                                                                                },
                                                                                {
                                                                                    "prim": "ITER",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CONTRACT",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "list",
                                                                                                                "args": [
                                                                                                                    {
                                                                                                                        "prim": "pair",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "option",
                                                                                                                                "args": [
                                                                                                                                    {
                                                                                                                                        "prim": "address"
                                                                                                                                    }
                                                                                                                                ]
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "prim": "list",
                                                                                                                                "args": [
                                                                                                                                    {
                                                                                                                                        "prim": "pair",
                                                                                                                                        "args": [
                                                                                                                                            {
                                                                                                                                                "prim": "option",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "address"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "pair",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "prim": "nat"
                                                                                                                                                    },
                                                                                                                                                    {
                                                                                                                                                        "prim": "nat"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    }
                                                                                                                                ]
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    }
                                                                                                                ]
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "address"
                                                                                                            }
                                                                                                        ]
                                                                                                    }
                                                                                                ],
                                                                                                "annots": [
                                                                                                    "%tokens_received"
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF_NONE",
                                                                                                "args": [
                                                                                                    [],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "mutez"
                                                                                                                },
                                                                                                                {
                                                                                                                    "int": "0"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "NIL",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "pair",
                                                                                                                    "args": [
                                                                                                                        {
                                                                                                                            "prim": "option",
                                                                                                                            "args": [
                                                                                                                                {
                                                                                                                                    "prim": "address"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        },
                                                                                                                        {
                                                                                                                            "prim": "list",
                                                                                                                            "args": [
                                                                                                                                {
                                                                                                                                    "prim": "pair",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "option",
                                                                                                                                            "args": [
                                                                                                                                                {
                                                                                                                                                    "prim": "address"
                                                                                                                                                }
                                                                                                                                            ]
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "prim": "pair",
                                                                                                                                            "args": [
                                                                                                                                                {
                                                                                                                                                    "prim": "nat"
                                                                                                                                                },
                                                                                                                                                {
                                                                                                                                                    "prim": "nat"
                                                                                                                                                }
                                                                                                                                            ]
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        }
                                                                                                                    ]
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "7"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "7"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SOME"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "NIL",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "pair",
                                                                                                                                "args": [
                                                                                                                                    {
                                                                                                                                        "prim": "option",
                                                                                                                                        "args": [
                                                                                                                                            {
                                                                                                                                                "prim": "address"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    },
                                                                                                                                    {
                                                                                                                                        "prim": "pair",
                                                                                                                                        "args": [
                                                                                                                                            {
                                                                                                                                                "prim": "nat"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "nat"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    }
                                                                                                                                ]
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "6"
                                                                                                                            },
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIG",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "int": "6"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CAR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SOME"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "6"
                                                                                                                                        },
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DUP"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIG",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "int": "6"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CDR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "CAR"
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "DIP",
                                                                                                                                    "args": [
                                                                                                                                        [
                                                                                                                                            {
                                                                                                                                                "prim": "DIP",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "6"
                                                                                                                                                    },
                                                                                                                                                    [
                                                                                                                                                        {
                                                                                                                                                            "prim": "DUP"
                                                                                                                                                        }
                                                                                                                                                    ]
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "DIG",
                                                                                                                                                "args": [
                                                                                                                                                    {
                                                                                                                                                        "int": "6"
                                                                                                                                                    }
                                                                                                                                                ]
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            },
                                                                                                                                            {
                                                                                                                                                "prim": "CDR"
                                                                                                                                            }
                                                                                                                                        ]
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "PAIR"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CONS"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CONS"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "SENDER"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "TRANSFER_TOKENS"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "11"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "11"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "CONS"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SOME"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SWAP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DIP",
                                                                                                                        "args": [
                                                                                                                            [
                                                                                                                                {
                                                                                                                                    "prim": "DUP"
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "SWAP"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "CDR"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CONS"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "3"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DIP",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "SWAP"
                                                                                },
                                                                                {
                                                                                    "prim": "CAR"
                                                                                },
                                                                                {
                                                                                    "prim": "CONTRACT",
                                                                                    "args": [
                                                                                        {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                                {
                                                                                                    "prim": "list",
                                                                                                    "args": [
                                                                                                        {
                                                                                                            "prim": "pair",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "option",
                                                                                                                    "args": [
                                                                                                                        {
                                                                                                                            "prim": "address"
                                                                                                                        }
                                                                                                                    ]
                                                                                                                },
                                                                                                                {
                                                                                                                    "prim": "list",
                                                                                                                    "args": [
                                                                                                                        {
                                                                                                                            "prim": "pair",
                                                                                                                            "args": [
                                                                                                                                {
                                                                                                                                    "prim": "option",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "address"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                },
                                                                                                                                {
                                                                                                                                    "prim": "pair",
                                                                                                                                    "args": [
                                                                                                                                        {
                                                                                                                                            "prim": "nat"
                                                                                                                                        },
                                                                                                                                        {
                                                                                                                                            "prim": "nat"
                                                                                                                                        }
                                                                                                                                    ]
                                                                                                                                }
                                                                                                                            ]
                                                                                                                        }
                                                                                                                    ]
                                                                                                                }
                                                                                                            ]
                                                                                                        }
                                                                                                    ]
                                                                                                },
                                                                                                {
                                                                                                    "prim": "address"
                                                                                                }
                                                                                            ]
                                                                                        }
                                                                                    ],
                                                                                    "annots": [
                                                                                        "%tokens_sent"
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DUP"
                                                                                },
                                                                                {
                                                                                    "prim": "IF_NONE",
                                                                                    "args": [
                                                                                        [],
                                                                                        [
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "PUSH",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "mutez"
                                                                                                    },
                                                                                                    {
                                                                                                        "int": "0"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "NIL",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                            {
                                                                                                                "prim": "option",
                                                                                                                "args": [
                                                                                                                    {
                                                                                                                        "prim": "address"
                                                                                                                    }
                                                                                                                ]
                                                                                                            },
                                                                                                            {
                                                                                                                "prim": "list",
                                                                                                                "args": [
                                                                                                                    {
                                                                                                                        "prim": "pair",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "option",
                                                                                                                                "args": [
                                                                                                                                    {
                                                                                                                                        "prim": "address"
                                                                                                                                    }
                                                                                                                                ]
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "prim": "pair",
                                                                                                                                "args": [
                                                                                                                                    {
                                                                                                                                        "prim": "nat"
                                                                                                                                    },
                                                                                                                                    {
                                                                                                                                        "prim": "nat"
                                                                                                                                    }
                                                                                                                                ]
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    }
                                                                                                                ]
                                                                                                            }
                                                                                                        ]
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SOME"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                }
                                                                                                            ]
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CONS"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "SENDER"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "TRANSFER_TOKENS"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "10"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "10"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "CONS"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP"
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DROP",
                                                                                    "args": [
                                                                                        {
                                                                                            "int": "2"
                                                                                        }
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DROP"
                                                                    }
                                                                ],
                                                                [
                                                                    {
                                                                        "prim": "DUP"
                                                                    },
                                                                    {
                                                                        "prim": "ITER",
                                                                        "args": [
                                                                            [
                                                                                {
                                                                                    "prim": "DUP"
                                                                                },
                                                                                {
                                                                                    "prim": "IF_LEFT",
                                                                                    "args": [
                                                                                        [
                                                                                            {
                                                                                                "prim": "NIL",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "nat"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CONS"
                                                                                            },
                                                                                            {
                                                                                                "prim": "ITER",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "nat"
                                                                                                                },
                                                                                                                {
                                                                                                                    "int": "0"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SWAP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "COMPARE"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "EQ"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "IF",
                                                                                                            "args": [
                                                                                                                [],
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "UNIT"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PUSH",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "string"
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "string": "FA2_TOKEN_UNDEFINED"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "FAILWITH"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SENDER"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "COMPARE"
                                                                                            },
                                                                                            {
                                                                                                "prim": "EQ"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF",
                                                                                                "args": [
                                                                                                    [],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "UNIT"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "string"
                                                                                                                },
                                                                                                                {
                                                                                                                    "string": "NOT_OWNER"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "FAILWITH"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "3"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "3"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "GET"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF_NONE",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "UNIT"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SOME"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "3"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "3"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "UPDATE"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "8"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "7"
                                                                                                                }
                                                                                                            ]
                                                                                                        }
                                                                                                    ],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ],
                                                                                        [
                                                                                            {
                                                                                                "prim": "NIL",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "prim": "nat"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CONS"
                                                                                            },
                                                                                            {
                                                                                                "prim": "ITER",
                                                                                                "args": [
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "nat"
                                                                                                                },
                                                                                                                {
                                                                                                                    "int": "0"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SWAP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "COMPARE"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "EQ"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "IF",
                                                                                                            "args": [
                                                                                                                [],
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "UNIT"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PUSH",
                                                                                                                        "args": [
                                                                                                                            {
                                                                                                                                "prim": "string"
                                                                                                                            },
                                                                                                                            {
                                                                                                                                "string": "FA2_TOKEN_UNDEFINED"
                                                                                                                            }
                                                                                                                        ]
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "PAIR"
                                                                                                                    },
                                                                                                                    {
                                                                                                                        "prim": "FAILWITH"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SENDER"
                                                                                            },
                                                                                            {
                                                                                                "prim": "SWAP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "COMPARE"
                                                                                            },
                                                                                            {
                                                                                                "prim": "EQ"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF",
                                                                                                "args": [
                                                                                                    [],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "UNIT"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PUSH",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "string"
                                                                                                                },
                                                                                                                {
                                                                                                                    "string": "NOT_OWNER"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "FAILWITH"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "6"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DUP"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CDR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "3"
                                                                                                    },
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DUP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DIG",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "3"
                                                                                                    }
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "CAR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "PAIR"
                                                                                            },
                                                                                            {
                                                                                                "prim": "GET"
                                                                                            },
                                                                                            {
                                                                                                "prim": "IF_NONE",
                                                                                                "args": [
                                                                                                    [],
                                                                                                    [
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "SWAP"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "NONE",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "prim": "unit"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "4"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CDR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DUP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "5"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "CAR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "PAIR"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "UPDATE"
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DIP",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "9"
                                                                                                                },
                                                                                                                [
                                                                                                                    {
                                                                                                                        "prim": "DROP"
                                                                                                                    }
                                                                                                                ]
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DUG",
                                                                                                            "args": [
                                                                                                                {
                                                                                                                    "int": "8"
                                                                                                                }
                                                                                                            ]
                                                                                                        },
                                                                                                        {
                                                                                                            "prim": "DROP"
                                                                                                        }
                                                                                                    ]
                                                                                                ]
                                                                                            },
                                                                                            {
                                                                                                "prim": "DROP",
                                                                                                "args": [
                                                                                                    {
                                                                                                        "int": "2"
                                                                                                    }
                                                                                                ]
                                                                                            }
                                                                                        ]
                                                                                    ]
                                                                                },
                                                                                {
                                                                                    "prim": "DROP"
                                                                                }
                                                                            ]
                                                                        ]
                                                                    },
                                                                    {
                                                                        "prim": "DROP"
                                                                    }
                                                                ]
                                                            ]
                                                        }
                                                    ]
                                                ]
                                            },
                                            {
                                                "prim": "DROP"
                                            },
                                            {
                                                "prim": "DROP"
                                            },
                                            {
                                                "prim": "DIP",
                                                "args": [
                                                    [
                                                        {
                                                            "prim": "PAIR"
                                                        }
                                                    ]
                                                ]
                                            },
                                            {
                                                "prim": "PAIR"
                                            },
                                            {
                                                "prim": "SWAP"
                                            },
                                            {
                                                "prim": "PAIR"
                                            }
                                        ]
                                    ]
                                }
                            ],
                            "storage": {
                                "prim": "Pair",
                                "args": [
                                    [
                                        {
                                            "prim": "Elt",
                                            "args": [
                                                {
                                                    "prim": "Pair",
                                                    "args": [
                                                        {
                                                            "bytes": "00009ee7c4b8ac61bba8cb29f36609a34a206cd2cf3d"
                                                        },
                                                        {
                                                            "int": "0"
                                                        }
                                                    ]
                                                },
                                                {
                                                    "int": "10"
                                                }
                                            ]
                                        }
                                    ],
                                    {
                                        "prim": "Pair",
                                        "args": [
                                            [],
                                            [
                                                {
                                                    "prim": "Elt",
                                                    "args": [
                                                        {
                                                            "int": "0"
                                                        },
                                                        [
                                                            {
                                                                "prim": "Elt",
                                                                "args": [
                                                                    {
                                                                        "string": "decimals"
                                                                    },
                                                                    {
                                                                        "bytes": "38"
                                                                    }
                                                                ]
                                                            },
                                                            {
                                                                "prim": "Elt",
                                                                "args": [
                                                                    {
                                                                        "string": "name"
                                                                    },
                                                                    {
                                                                        "bytes": "54657374546f6b656e4e616d65"
                                                                    }
                                                                ]
                                                            },
                                                            {
                                                                "prim": "Elt",
                                                                "args": [
                                                                    {
                                                                        "string": "symbol"
                                                                    },
                                                                    {
                                                                        "bytes": "54657374546f6b656e53796d626f6c"
                                                                    }
                                                                ]
                                                            }
                                                        ]
                                                    ]
                                                }
                                            ]
                                        ]
                                    }
                                ]
                            }
                        },
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1d9h3tviTEqmbjG4ioWjBLpJj7VrRQA4Gs",
                                    "change": "-6720"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "fees",
                                    "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                                    "cycle": 219,
                                    "change": "6720"
                                }
                            ],
                            "operation_result": {
                                "status": "applied",
                                "big_map_diff": [
                                    {
                                        "action": "alloc",
                                        "big_map": "68293",
                                        "key_type": {
                                            "prim": "nat"
                                        },
                                        "value_type": {
                                            "prim": "map",
                                            "args": [
                                                {
                                                    "prim": "string"
                                                },
                                                {
                                                    "prim": "bytes"
                                                }
                                            ]
                                        }
                                    },
                                    {
                                        "action": "update",
                                        "big_map": "68293",
                                        "key_hash": "exprtZBwZUeYYYfUs9B9Rg2ywHezVHnCCnmF9WsDQVrs582dSK63dC",
                                        "key": {
                                            "int": "0"
                                        },
                                        "value": [
                                            {
                                                "prim": "Elt",
                                                "args": [
                                                    {
                                                        "string": "decimals"
                                                    },
                                                    {
                                                        "bytes": "38"
                                                    }
                                                ]
                                            },
                                            {
                                                "prim": "Elt",
                                                "args": [
                                                    {
                                                        "string": "name"
                                                    },
                                                    {
                                                        "bytes": "54657374546f6b656e4e616d65"
                                                    }
                                                ]
                                            },
                                            {
                                                "prim": "Elt",
                                                "args": [
                                                    {
                                                        "string": "symbol"
                                                    },
                                                    {
                                                        "bytes": "54657374546f6b656e53796d626f6c"
                                                    }
                                                ]
                                            }
                                        ]
                                    },
                                    {
                                        "action": "alloc",
                                        "big_map": "68292",
                                        "key_type": {
                                            "prim": "pair",
                                            "args": [
                                                {
                                                    "prim": "address"
                                                },
                                                {
                                                    "prim": "address"
                                                }
                                            ]
                                        },
                                        "value_type": {
                                            "prim": "unit"
                                        }
                                    },
                                    {
                                        "action": "alloc",
                                        "big_map": "68291",
                                        "key_type": {
                                            "prim": "pair",
                                            "args": [
                                                {
                                                    "prim": "address"
                                                },
                                                {
                                                    "prim": "nat"
                                                }
                                            ]
                                        },
                                        "value_type": {
                                            "prim": "nat"
                                        }
                                    },
                                    {
                                        "action": "update",
                                        "big_map": "68291",
                                        "key_hash": "expruuwxtqHHePTb494Ep2H4kBNddHnivMnBH7F7ZFKHLtJkAkAYX3",
                                        "key": {
                                            "prim": "Pair",
                                            "args": [
                                                {
                                                    "bytes": "00009ee7c4b8ac61bba8cb29f36609a34a206cd2cf3d"
                                                },
                                                {
                                                    "int": "0"
                                                }
                                            ]
                                        },
                                        "value": {
                                            "int": "10"
                                        }
                                    }
                                ],
                                "balance_updates": [
                                    {
                                        "kind": "contract",
                                        "contract": "tz1d9h3tviTEqmbjG4ioWjBLpJj7VrRQA4Gs",
                                        "change": "-1084500"
                                    },
                                    {
                                        "kind": "contract",
                                        "contract": "tz1d9h3tviTEqmbjG4ioWjBLpJj7VrRQA4Gs",
                                        "change": "-64250"
                                    }
                                ],
                                "originated_contracts": [
                                    "KT1VCzWsjuFP51KF3Ew1cw1TyCCnk9Cr1swy"
                                ],
                                "consumed_gas": "23304",
                                "consumed_milligas": "23303207",
                                "storage_size": "4338",
                                "paid_storage_size_diff": "4338"
                            }
                        }
                    }
                ],
                "signature": "sighzDSSStbsVLwLw58RdFHWCFuZHCFi4uKaSfNdFfFmWbxjzwg2zat3tWrdw9G9Xo6JTqBqdaRrJ7mvEZk5gNN9w4aEESHY"
            },
            {
                "protocol": "PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo",
                "chain_id": "NetXm8tYqnMWky1",
                "hash": "ooNDfSKFc4a1GktgAT2fJgs3aM54wPJzgdTtLjJLxZSY43orCNX",
                "branch": "BLoaLi5jowAJ6yfj49h8akJYFSjLooLbYFM99qNxadqD25CxibQ",
                "contents": [   
                    {
                        "kind": "transaction",
                        "source": "tz1QwPbZtpjJ3Jv7VJjFgs2dEcjqCFDhmzi2",
                        "fee": "3876",
                        "counter": "901362",
                        "gas_limit": "36000",
                        "storage_limit": "67",
                        "amount": "0",
                        "destination": "KT1PS2jZVzNMW54UsnqBqwwkArXnAZ29jiTF",
                        "parameters": {
                            "entrypoint": "reward",
                            "value": {
                                "prim": "Unit"
                            }
                        },
                        "metadata": {
                            "balance_updates": [
                                {
                                    "kind": "contract",
                                    "contract": "tz1QwPbZtpjJ3Jv7VJjFgs2dEcjqCFDhmzi2",
                                    "change": "-3876"
                                },
                                {
                                    "kind": "freezer",
                                    "category": "fees",
                                    "delegate": "tz1aWXP237BLwNHJcCD4b3DutCevhqq2T1Z9",
                                    "cycle": 219,
                                    "change": "3876"
                                }
                            ],
                            "operation_result": {
                                "status": "applied",
                                "storage": {
                                    "prim": "Pair",
                                    "args": [
                                        {
                                            "prim": "Pair",
                                            "args": [
                                                {
                                                    "prim": "Pair",
                                                    "args": [
                                                        {
                                                            "prim": "Pair",
                                                            "args": [
                                                                {
                                                                    "bytes": "000060acfce59e5fc6ab30149af862ddd18414e2d1b3"
                                                                },
                                                                {
                                                                    "prim": "False"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "None"
                                                        }
                                                    ]
                                                },
                                                {
                                                    "prim": "Pair",
                                                    "args": [
                                                        {
                                                            "prim": "Pair",
                                                            "args": [
                                                                {
                                                                    "int": "50268"
                                                                },
                                                                {
                                                                    "int": "50269"
                                                                }
                                                            ]
                                                        },
                                                        {
                                                            "prim": "Pair",
                                                            "args": [
                                                                {
                                                                    "int": "50270"
                                                                },
                                                                {
                                                                    "int": "50271"
                                                                }
                                                            ]
                                                        }
                                                    ]
                                                }
                                            ]
                                        },
                                        {
                                            "prim": "Pair",
                                            "args": [
                                                {
                                                    "int": "50272"
                                                },
                                                {
                                                    "int": "50273"
                                                }
                                            ]
                                        }
                                    ]
                                },
                                "big_map_diff": [
                                    {
                                        "action": "update",
                                        "big_map": "50268",
                                        "key_hash": "exprtcimBf7WvBkiSYZAzb9ERm8euEWHmGTTwjdKPKkhRg5JKdT8fe",
                                        "key": {
                                            "prim": "Pair",
                                            "args": [
                                                {
                                                    "bytes": "00003a212679762a2f328e92077054d6712602e41c78"
                                                },
                                                {
                                                    "int": "7"
                                                }
                                            ]
                                        },
                                        "value": {
                                            "int": "3"
                                        }
                                    },
                                    {
                                        "action": "update",
                                        "big_map": "50268",
                                        "key_hash": "exprvRpcJKt5pyiw44SFWgDgiLn9DAt1Hoa7L1YvSPYTy2dXd7xBy5",
                                        "key": {
                                            "prim": "Pair",
                                            "args": [
                                                {
                                                    "bytes": "000060acfce59e5fc6ab30149af862ddd18414e2d1b3"
                                                },
                                                {
                                                    "int": "7"
                                                }
                                            ]
                                        },
                                        "value": {
                                            "int": "4994"
                                        }
                                    }
                                ],
                                "consumed_gas": "34276",
                                "consumed_milligas": "34275970",
                                "storage_size": "16022"
                            }
                        }
                    }
                ],
                "signature": "sigksQC3Aprw9zUcV3EwFeTpFr3CetA4TordgKKHhEuivHzZmKWHCj9niwwZdHGVtkfhXqh3mPLBvXf6uT7pvrYkJFXuTq25"
            }
        ]
    ]
}