[
  {
    "prim": "storage",
    "args": [
      {
        "prim": "pair",
        "args": [
          { "prim": "address", "annots": [ "%administrator" ] },
          {
            "prim": "pair",
            "args": [
              { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ], "annots": [ "%content_hashes" ] },
              {
                "prim": "pair",
                "args": [
                  { "prim": "bool", "annots": [ "%contract_metadata_locked" ] },
                  {
                    "prim": "pair",
                    "args": [
                      { "prim": "mutez", "annots": [ "%keep_fee" ] },
                      {
                        "prim": "pair",
                        "args": [
                          { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ], "annots": [ "%ledger" ] },
                          {
                            "prim": "pair",
                            "args": [
                              { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%metadata" ] },
                              {
                                "prim": "pair",
                                "args": [
                                  { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ], "annots": [ "%metadata_locked" ] },
                                  {
                                    "prim": "pair",
                                    "args": [
                                      { "prim": "nat", "annots": [ "%next_token_id" ] },
                                      {
                                        "prim": "pair",
                                        "args": [
                                          {
                                            "prim": "big_map",
                                            "args": [
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "address", "annots": [ "%owner" ] },
                                                  { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%operator" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] }
                                                ]
                                              },
                                              { "prim": "unit" }
                                            ],
                                            "annots": [ "%operators" ]
                                          },
                                          {
                                            "prim": "big_map",
                                            "args": [
                                              { "prim": "nat" },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "nat", "annots": [ "%token_id" ] },
                                                  { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%token_info" ] }
                                                ]
                                              }
                                            ],
                                            "annots": [ "%token_metadata" ]
                                          }
                                        ]
                                      }
                                    ]
                                  }
                                ]
                              }
                            ]
                          }
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  {
    "prim": "parameter",
    "args": [
      {
        "prim": "or",
        "args": [
          {
            "prim": "or",
            "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": "pair", "args": [ { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "nat", "annots": [ "%amount" ] } ] }
                            ]
                          }
                        ],
                        "annots": [ "%burn" ]
                      },
                      { "prim": "nat", "annots": [ "%burn_keep" ] }
                    ]
                  }
                ]
              },
              {
                "prim": "or",
                "args": [
                  {
                    "prim": "or",
                    "args": [
                      {
                        "prim": "pair",
                        "args": [
                          { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%token_info" ] }
                        ],
                        "annots": [ "%edit_metadata" ]
                      },
                      {
                        "prim": "pair",
                        "args": [
                          { "prim": "bytes", "annots": [ "%artifactUri" ] },
                          {
                            "prim": "pair",
                            "args": [
                              { "prim": "bytes", "annots": [ "%attributes" ] },
                              {
                                "prim": "pair",
                                "args": [
                                  { "prim": "bytes", "annots": [ "%content_hash" ] },
                                  {
                                    "prim": "pair",
                                    "args": [
                                      { "prim": "bytes", "annots": [ "%content_type" ] },
                                      {
                                        "prim": "pair",
                                        "args": [
                                          { "prim": "bytes", "annots": [ "%creators" ] },
                                          {
                                            "prim": "pair",
                                            "args": [
                                              { "prim": "bytes", "annots": [ "%decimals" ] },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "bytes", "annots": [ "%description" ] },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "bytes", "annots": [ "%displayUri" ] },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "bytes", "annots": [ "%formats" ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bytes", "annots": [ "%isBooleanAmount" ] },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "bytes", "annots": [ "%metadata_uri" ] },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "bytes", "annots": [ "%name" ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "address", "annots": [ "%owner" ] },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "bytes", "annots": [ "%rights" ] },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "bytes", "annots": [ "%shouldPreferSymbol" ] },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      { "prim": "bytes", "annots": [ "%symbol" ] },
                                                                                      {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                          { "prim": "bytes", "annots": [ "%tags" ] },
                                                                                          { "prim": "bytes", "annots": [ "%thumbnailUri" ] }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              }
                                            ]
                                          }
                                        ]
                                      }
                                    ]
                                  }
                                ]
                              }
                            ]
                          }
                        ],
                        "annots": [ "%keep" ]
                      }
                    ]
                  },
                  { "prim": "or", "args": [ { "prim": "unit", "annots": [ "%lock_contract_metadata" ] }, { "prim": "nat", "annots": [ "%lock_metadata" ] } ] }
                ]
              }
            ]
          },
          {
            "prim": "or",
            "args": [
              {
                "prim": "or",
                "args": [
                  {
                    "prim": "list",
                    "args": [
                      {
                        "prim": "pair",
                        "args": [
                          { "prim": "address", "annots": [ "%to_" ] }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%metadata" ] }
                        ]
                      }
                    ],
                    "annots": [ "%mint" ]
                  },
                  {
                    "prim": "or",
                    "args": [
                      { "prim": "address", "annots": [ "%set_administrator" ] },
                      {
                        "prim": "list",
                        "args": [ { "prim": "pair", "args": [ { "prim": "string", "annots": [ "%key" ] }, { "prim": "bytes", "annots": [ "%value" ] } ] } ],
                        "annots": [ "%set_contract_metadata" ]
                      }
                    ]
                  }
                ]
              },
              {
                "prim": "or",
                "args": [
                  {
                    "prim": "or",
                    "args": [
                      { "prim": "mutez", "annots": [ "%set_keep_fee" ] },
                      {
                        "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": "or",
                    "args": [
                      {
                        "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": "address", "annots": [ "%withdraw_fees" ] }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  {
    "prim": "code",
    "args": [
      [
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                {
                  "prim": "pair",
                  "args": [
                    {
                      "prim": "lambda",
                      "args": [
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "nat" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    },
                    { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                  ]
                },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "nat" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "CDR" },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "DIG", "args": [ { "int": "3" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "EXEC" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUG", "args": [ { "int": "2" } ] },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "DUP" },
              { "prim": "CAR" },
              { "prim": "DUP", "args": [ { "int": "3" } ] },
              { "prim": "GET", "args": [ { "int": "9" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "CDR" },
              { "prim": "GET" },
              { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "372" } ] }, { "prim": "FAILWITH" } ], [] ] },
              { "prim": "COMPARE" },
              { "prim": "EQ" },
              {
                "prim": "IF",
                "args": [ [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ], [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ] ]
              },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
            { "prim": "unit" },
            [
              { "prim": "CAR" },
              { "prim": "SENDER" },
              { "prim": "COMPARE" },
              { "prim": "EQ" },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_OWNER" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "UNIT" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "unit" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "DUP" },
              { "prim": "CAR" },
              { "prim": "SENDER" },
              { "prim": "COMPARE" },
              { "prim": "EQ" },
              {
                "prim": "IF",
                "args": [
                  [ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ],
                  [
                    { "prim": "DUP", "args": [ { "int": "2" } ] },
                    { "prim": "GET", "args": [ { "int": "17" } ] },
                    { "prim": "DUP", "args": [ { "int": "2" } ] },
                    { "prim": "GET", "args": [ { "int": "4" } ] },
                    { "prim": "SENDER" },
                    { "prim": "DIG", "args": [ { "int": "3" } ] },
                    { "prim": "CAR" },
                    { "prim": "PAIR", "args": [ { "int": "3" } ] },
                    { "prim": "MEM" }
                  ]
                ]
              },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_OPERATOR" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "UNIT" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "unit" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "bool" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [ { "prim": "CDR" }, { "prim": "DUP" }, { "prim": "CAR" }, { "prim": "SENDER" }, { "prim": "COMPARE" }, { "prim": "EQ" }, { "prim": "PAIR" } ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "nat" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "bool" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "GET", "args": [ { "int": "18" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "MEM" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "bool" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "GET", "args": [ { "int": "17" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "MEM" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                {
                  "prim": "pair",
                  "args": [
                    {
                      "prim": "lambda",
                      "args": [
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "nat" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    },
                    { "prim": "nat" }
                  ]
                },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "nat" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "UNPAIR" },
              { "prim": "DUG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "EXEC" },
              { "prim": "UNPAIR" },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                {
                  "prim": "pair",
                  "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] } ]
                },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "unit" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
              { "prim": "DUP", "args": [ { "int": "2" } ] },
              { "prim": "GET", "args": [ { "int": "6" } ] },
              { "prim": "COMPARE" },
              { "prim": "EQ" },
              {
                "prim": "IF",
                "args": [
                  [
                    { "prim": "DUP" },
                    { "prim": "CAR" },
                    { "prim": "DUP", "args": [ { "int": "3" } ] },
                    { "prim": "GET", "args": [ { "int": "9" } ] },
                    { "prim": "DUP", "args": [ { "int": "3" } ] },
                    { "prim": "GET", "args": [ { "int": "5" } ] },
                    { "prim": "GET" },
                    { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "380" } ] }, { "prim": "FAILWITH" } ], [] ] },
                    { "prim": "COMPARE" },
                    { "prim": "EQ" }
                  ],
                  [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
                ]
              },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_INSUFFICIENT_BALANCE" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "GET", "args": [ { "int": "9" } ] },
              { "prim": "DUP", "args": [ { "int": "3" } ] },
              { "prim": "GET", "args": [ { "int": "3" } ] },
              { "prim": "SOME" },
              { "prim": "DIG", "args": [ { "int": "3" } ] },
              { "prim": "GET", "args": [ { "int": "5" } ] },
              { "prim": "UPDATE" },
              { "prim": "UPDATE", "args": [ { "int": "9" } ] },
              { "prim": "UNIT" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "PUSH",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "string", "annots": [ "%ledger_type" ] },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "string", "annots": [ "%name" ] },
                    { "prim": "pair", "args": [ { "prim": "bool", "annots": [ "%supports_operator" ] }, { "prim": "bool", "annots": [ "%supports_transfer" ] } ] }
                  ],
                  "annots": [ "%policy" ]
                }
              ]
            },
            {
              "prim": "Pair",
              "args": [
                { "string": "NFT" },
                { "prim": "Pair", "args": [ { "string": "owner-or-operator-transfer" }, { "prim": "Pair", "args": [ { "prim": "True" }, { "prim": "True" } ] } ] }
              ]
            }
          ]
        },
        { "prim": "SWAP" },
        { "prim": "UNPAIR" },
        {
          "prim": "IF_LEFT",
          "args": [
            [
              {
                "prim": "IF_LEFT",
                "args": [
                  [
                    {
                      "prim": "IF_LEFT",
                      "args": [
                        [
                          {
                            "prim": "LAMBDA",
                            "args": [
                              {
                                "prim": "pair",
                                "args": [
                                  {
                                    "prim": "pair",
                                    "args": [
                                      { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
                                      {
                                        "prim": "pair",
                                        "args": [
                                          {
                                            "prim": "lambda",
                                            "args": [
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "nat" },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "address" },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bool" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "mutez" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "nat" },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "address" },
                                                                                              { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                            ]
                                                                                          },
                                                                                          { "prim": "unit" }
                                                                                        ]
                                                                                      },
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          { "prim": "nat" },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "bool" },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "address" },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bool" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "mutez" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "nat" },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "address" },
                                                                                              { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                            ]
                                                                                          },
                                                                                          { "prim": "unit" }
                                                                                        ]
                                                                                      },
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          { "prim": "nat" },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              }
                                            ]
                                          },
                                          {
                                            "prim": "lambda",
                                            "args": [
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      {
                                                        "prim": "lambda",
                                                        "args": [
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "nat" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "address" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "bool" },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "mutez" },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                                      {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                          { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              {
                                                                                                "prim": "pair",
                                                                                                "args": [
                                                                                                  {
                                                                                                    "prim": "big_map",
                                                                                                    "args": [
                                                                                                      {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                          { "prim": "address" },
                                                                                                          { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                                        ]
                                                                                                      },
                                                                                                      { "prim": "unit" }
                                                                                                    ]
                                                                                                  },
                                                                                                  {
                                                                                                    "prim": "big_map",
                                                                                                    "args": [
                                                                                                      { "prim": "nat" },
                                                                                                      {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                          { "prim": "nat" },
                                                                                                          { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                                        ]
                                                                                                      }
                                                                                                    ]
                                                                                                  }
                                                                                                ]
                                                                                              }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bool" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "address" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "bool" },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "mutez" },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                                      {
                                                                                        "prim": "pair",
                                                                                        "args": [
                                                                                          { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              {
                                                                                                "prim": "pair",
                                                                                                "args": [
                                                                                                  {
                                                                                                    "prim": "big_map",
                                                                                                    "args": [
                                                                                                      {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                          { "prim": "address" },
                                                                                                          { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                                        ]
                                                                                                      },
                                                                                                      { "prim": "unit" }
                                                                                                    ]
                                                                                                  },
                                                                                                  {
                                                                                                    "prim": "big_map",
                                                                                                    "args": [
                                                                                                      { "prim": "nat" },
                                                                                                      {
                                                                                                        "prim": "pair",
                                                                                                        "args": [
                                                                                                          { "prim": "nat" },
                                                                                                          { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                                        ]
                                                                                                      }
                                                                                                    ]
                                                                                                  }
                                                                                                ]
                                                                                              }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      },
                                                      { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                    ]
                                                  },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "address" },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bool" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "mutez" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "nat" },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "address" },
                                                                                              { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                            ]
                                                                                          },
                                                                                          { "prim": "unit" }
                                                                                        ]
                                                                                      },
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          { "prim": "nat" },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "nat" },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "address" },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "bool" },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "mutez" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                      {
                                                                        "prim": "pair",
                                                                        "args": [
                                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                              {
                                                                                "prim": "pair",
                                                                                "args": [
                                                                                  { "prim": "nat" },
                                                                                  {
                                                                                    "prim": "pair",
                                                                                    "args": [
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "address" },
                                                                                              { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                            ]
                                                                                          },
                                                                                          { "prim": "unit" }
                                                                                        ]
                                                                                      },
                                                                                      {
                                                                                        "prim": "big_map",
                                                                                        "args": [
                                                                                          { "prim": "nat" },
                                                                                          {
                                                                                            "prim": "pair",
                                                                                            "args": [
                                                                                              { "prim": "nat" },
                                                                                              { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                            ]
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    ]
                                                                                  }
                                                                                ]
                                                                              }
                                                                            ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              }
                                            ]
                                          }
                                        ]
                                      }
                                    ]
                                  },
                                  {
                                    "prim": "pair",
                                    "args": [
                                      { "prim": "address" },
                                      {
                                        "prim": "pair",
                                        "args": [
                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                          {
                                            "prim": "pair",
                                            "args": [
                                              { "prim": "bool" },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "mutez" },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "nat" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      {
                                                                        "prim": "big_map",
                                                                        "args": [
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                            ]
                                                                          },
                                                                          { "prim": "unit" }
                                                                        ]
                                                                      },
                                                                      {
                                                                        "prim": "big_map",
                                                                        "args": [
                                                                          { "prim": "nat" },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              }
                                            ]
                                          }
                                        ]
                                      }
                                    ]
                                  }
                                ]
                              },
                              {
                                "prim": "pair",
                                "args": [
                                  { "prim": "pair", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] },
                                  {
                                    "prim": "pair",
                                    "args": [
                                      { "prim": "address" },
                                      {
                                        "prim": "pair",
                                        "args": [
                                          { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                          {
                                            "prim": "pair",
                                            "args": [
                                              { "prim": "bool" },
                                              {
                                                "prim": "pair",
                                                "args": [
                                                  { "prim": "mutez" },
                                                  {
                                                    "prim": "pair",
                                                    "args": [
                                                      { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                      {
                                                        "prim": "pair",
                                                        "args": [
                                                          { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                          {
                                                            "prim": "pair",
                                                            "args": [
                                                              { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                              {
                                                                "prim": "pair",
                                                                "args": [
                                                                  { "prim": "nat" },
                                                                  {
                                                                    "prim": "pair",
                                                                    "args": [
                                                                      {
                                                                        "prim": "big_map",
                                                                        "args": [
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [
                                                                              { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                            ]
                                                                          },
                                                                          { "prim": "unit" }
                                                                        ]
                                                                      },
                                                                      {
                                                                        "prim": "big_map",
                                                                        "args": [
                                                                          { "prim": "nat" },
                                                                          {
                                                                            "prim": "pair",
                                                                            "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                          }
                                                                        ]
                                                                      }
                                                                    ]
                                                                  }
                                                                ]
                                                              }
                                                            ]
                                                          }
                                                        ]
                                                      }
                                                    ]
                                                  }
                                                ]
                                              }
                                            ]
                                          }
                                        ]
                                      }
                                    ]
                                  }
                                ]
                              },
                              [
                                { "prim": "UNPAIR" },
                                { "prim": "UNPAIR", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "PAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "SWAP" },
                                { "prim": "PAIR" },
                                { "prim": "PAIR" }
                              ]
                            ]
                          },
                          { "prim": "DUP", "args": [ { "int": "2" } ] },
                          { "prim": "CAR" },
                          {
                            "prim": "MAP",
                            "args": [
                              [
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "DUP", "args": [ { "int": "14" } ] },
                                { "prim": "DUP", "args": [ { "int": "11" } ] },
                                { "prim": "PAIR" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "4" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "DUG", "args": [ { "int": "12" } ] },
                                { "prim": "DUG", "args": [ { "int": "12" } ] },
                                { "prim": "DUG", "args": [ { "int": "12" } ] },
                                { "prim": "DUG", "args": [ { "int": "12" } ] },
                                { "prim": "DIG", "args": [ { "int": "10" } ] },
                                { "prim": "DIG", "args": [ { "int": "12" } ] },
                                { "prim": "DIG", "args": [ { "int": "12" } ] },
                                { "prim": "DIG", "args": [ { "int": "12" } ] }
                              ]
                            ]
                          },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DROP" },
                          { "prim": "NIL", "args": [ { "prim": "operation" } ] },
                          { "prim": "DIG", "args": [ { "int": "2" } ] },
                          { "prim": "CDR" },
                          { "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "TRANSFER_TOKENS" },
                          { "prim": "CONS" }
                        ],
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "6" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TX_DENIED" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "DUP" },
                                {
                                  "prim": "ITER",
                                  "args": [
                                    [
                                      { "prim": "DUP", "args": [ { "int": "8" } ] },
                                      { "prim": "SWAP" },
                                      { "prim": "DUP" },
                                      { "prim": "GET", "args": [ { "int": "3" } ] },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DIG", "args": [ { "int": "4" } ] },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "PAIR" },
                                      { "prim": "EXEC" },
                                      { "prim": "UNPAIR" },
                                      { "prim": "DUG", "args": [ { "int": "12" } ] },
                                      { "prim": "DUG", "args": [ { "int": "12" } ] },
                                      { "prim": "DUG", "args": [ { "int": "12" } ] },
                                      { "prim": "DUG", "args": [ { "int": "12" } ] },
                                      { "prim": "DIG", "args": [ { "int": "10" } ] },
                                      { "prim": "DIG", "args": [ { "int": "12" } ] },
                                      { "prim": "DIG", "args": [ { "int": "12" } ] },
                                      { "prim": "DIG", "args": [ { "int": "12" } ] },
                                      {
                                        "prim": "IF",
                                        "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
                                      },
                                      { "prim": "DUP", "args": [ { "int": "10" } ] },
                                      { "prim": "DUP", "args": [ { "int": "2" } ] },
                                      { "prim": "GET", "args": [ { "int": "3" } ] },
                                      { "prim": "DUP", "args": [ { "int": "3" } ] },
                                      { "prim": "CAR" },
                                      { "prim": "DUP", "args": [ { "int": "4" } ] },
                                      { "prim": "CAR" },
                                      { "prim": "PAIR", "args": [ { "int": "3" } ] },
                                      { "prim": "SWAP" },
                                      { "prim": "DIG", "args": [ { "int": "4" } ] },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "PAIR" },
                                      { "prim": "EXEC" },
                                      { "prim": "CDR" },
                                      { "prim": "DUG", "args": [ { "int": "11" } ] },
                                      { "prim": "DUG", "args": [ { "int": "11" } ] },
                                      { "prim": "DUG", "args": [ { "int": "11" } ] },
                                      { "prim": "DIG", "args": [ { "int": "9" } ] },
                                      { "prim": "DIG", "args": [ { "int": "11" } ] },
                                      { "prim": "DIG", "args": [ { "int": "11" } ] },
                                      { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
                                      { "prim": "DUP", "args": [ { "int": "2" } ] },
                                      { "prim": "GET", "args": [ { "int": "4" } ] },
                                      { "prim": "COMPARE" },
                                      { "prim": "GT" },
                                      {
                                        "prim": "IF",
                                        "args": [
                                          [
                                            { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
                                            { "prim": "DUP", "args": [ { "int": "2" } ] },
                                            { "prim": "GET", "args": [ { "int": "4" } ] },
                                            { "prim": "COMPARE" },
                                            { "prim": "EQ" },
                                            {
                                              "prim": "IF",
                                              "args": [
                                                [
                                                  { "prim": "DUP" },
                                                  { "prim": "CAR" },
                                                  { "prim": "DUP", "args": [ { "int": "4" } ] },
                                                  { "prim": "GET", "args": [ { "int": "9" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "3" } ] },
                                                  { "prim": "GET", "args": [ { "int": "3" } ] },
                                                  { "prim": "GET" },
                                                  {
                                                    "prim": "IF_NONE",
                                                    "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "749" } ] }, { "prim": "FAILWITH" } ], [] ]
                                                  },
                                                  { "prim": "COMPARE" },
                                                  { "prim": "EQ" }
                                                ],
                                                [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
                                              ]
                                            },
                                            {
                                              "prim": "IF",
                                              "args": [
                                                [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_INSUFFICIENT_BALANCE" } ] }, { "prim": "FAILWITH" } ]
                                              ]
                                            },
                                            { "prim": "DIG", "args": [ { "int": "2" } ] },
                                            { "prim": "DUP" },
                                            { "prim": "GET", "args": [ { "int": "9" } ] },
                                            { "prim": "NONE", "args": [ { "prim": "address" } ] },
                                            { "prim": "DUP", "args": [ { "int": "4" } ] },
                                            { "prim": "GET", "args": [ { "int": "3" } ] },
                                            { "prim": "UPDATE" },
                                            { "prim": "UPDATE", "args": [ { "int": "9" } ] },
                                            { "prim": "DUP" },
                                            { "prim": "GET", "args": [ { "int": "18" } ] },
                                            {
                                              "prim": "NONE",
                                              "args": [
                                                { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                              ]
                                            },
                                            { "prim": "DIG", "args": [ { "int": "3" } ] },
                                            { "prim": "GET", "args": [ { "int": "3" } ] },
                                            { "prim": "UPDATE" },
                                            { "prim": "UPDATE", "args": [ { "int": "18" } ] },
                                            { "prim": "SWAP" }
                                          ],
                                          [ { "prim": "DROP" } ]
                                        ]
                                      }
                                    ]
                                  ]
                                },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" }
                              ],
                              [
                                { "prim": "DUP", "args": [ { "int": "8" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DIG", "args": [ { "int": "10" } ] },
                                { "prim": "DIG", "args": [ { "int": "11" } ] },
                                { "prim": "DIG", "args": [ { "int": "11" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
                                },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET" },
                                { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "245" } ] }, { "prim": "FAILWITH" } ], [] ] },
                                { "prim": "CDR" },
                                { "prim": "DUP" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
                                { "prim": "GET" },
                                { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bytes" }, { "bytes": "" } ] } ], [] ] },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "GET", "args": [ { "int": "3" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DUP" },
                                      { "prim": "GET", "args": [ { "int": "3" } ] },
                                      { "prim": "NONE", "args": [ { "prim": "nat" } ] },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "UPDATE" },
                                      { "prim": "UPDATE", "args": [ { "int": "3" } ] },
                                      { "prim": "SWAP" }
                                    ],
                                    [
                                      { "prim": "DROP", "args": [ { "int": "2" } ] },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" },
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DROP" }
                                    ]
                                  ]
                                },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "9" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [
                                      { "prim": "SWAP" },
                                      { "prim": "DUP" },
                                      { "prim": "GET", "args": [ { "int": "9" } ] },
                                      { "prim": "NONE", "args": [ { "prim": "address" } ] },
                                      { "prim": "DUP", "args": [ { "int": "4" } ] },
                                      { "prim": "UPDATE" },
                                      { "prim": "UPDATE", "args": [ { "int": "9" } ] },
                                      { "prim": "SWAP" }
                                    ],
                                    []
                                  ]
                                },
                                { "prim": "SWAP" },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                {
                                  "prim": "NONE",
                                  "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] } ]
                                },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "18" } ] },
                                { "prim": "SWAP" },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "13" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [
                                      { "prim": "SWAP" },
                                      { "prim": "DUP" },
                                      { "prim": "GET", "args": [ { "int": "13" } ] },
                                      { "prim": "NONE", "args": [ { "prim": "bool" } ] },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "UPDATE" },
                                      { "prim": "UPDATE", "args": [ { "int": "13" } ] }
                                    ],
                                    [ { "prim": "DROP" } ]
                                  ]
                                }
                              ]
                            ]
                          },
                          { "prim": "NIL", "args": [ { "prim": "operation" } ] }
                        ]
                      ]
                    }
                  ],
                  [
                    {
                      "prim": "IF_LEFT",
                      "args": [
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "CAR" },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
                                },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "13" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "CAR" },
                                { "prim": "GET" },
                                { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ], [] ] },
                                { "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "METADATA_LOCKED" } ] }, { "prim": "FAILWITH" } ], [] ] },
                                { "prim": "SWAP" },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "CDR" },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "CAR" },
                                { "prim": "PAIR" },
                                { "prim": "SOME" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "CAR" },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "18" } ] }
                              ],
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [],
                                    [
                                      { "prim": "DUP", "args": [ { "int": "2" } ] },
                                      { "prim": "GET", "args": [ { "int": "7" } ] },
                                      { "prim": "AMOUNT" },
                                      { "prim": "COMPARE" },
                                      { "prim": "GE" },
                                      {
                                        "prim": "IF",
                                        "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INSUFFICIENT_FEE" } ] }, { "prim": "FAILWITH" } ] ]
                                      },
                                      { "prim": "SENDER" },
                                      { "prim": "DUP", "args": [ { "int": "2" } ] },
                                      { "prim": "GET", "args": [ { "int": "25" } ] },
                                      { "prim": "COMPARE" },
                                      { "prim": "EQ" },
                                      {
                                        "prim": "IF",
                                        "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "MUST_MINT_TO_SELF" } ] }, { "prim": "FAILWITH" } ] ]
                                      }
                                    ]
                                  ]
                                },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "3" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "5" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DUPLICATE_CONTENT_HASH" } ] }, { "prim": "FAILWITH" } ], [] ]
                                },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "15" } ] },
                                { "prim": "EMPTY_MAP", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "23" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "name" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "13" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "description" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "CAR" },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "artifactUri" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "15" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "displayUri" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "34" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "thumbnailUri" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "11" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "decimals" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "31" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "symbol" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "19" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "isBooleanAmount" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "29" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "shouldPreferSymbol" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "17" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "formats" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "33" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "tags" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "3" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "attributes" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "9" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "creators" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "27" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "rights" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "7" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_type" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "5" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "21" } ] },
                                { "prim": "SOME" },
                                { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "PAIR" },
                                { "prim": "SOME" },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "18" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "9" } ] },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "GET", "args": [ { "int": "25" } ] },
                                { "prim": "SOME" },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "9" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "13" } ] },
                                { "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "False" } ] } ] },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "13" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "3" } ] },
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "SOME" },
                                { "prim": "DIG", "args": [ { "int": "4" } ] },
                                { "prim": "GET", "args": [ { "int": "5" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "3" } ] },
                                { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "ADD" },
                                { "prim": "UPDATE", "args": [ { "int": "15" } ] }
                              ]
                            ]
                          }
                        ],
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "UNIT" },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
                                { "prim": "UPDATE", "args": [ { "int": "5" } ] }
                              ],
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "MEM" },
                                {
                                  "prim": "IF",
                                  "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
                                },
                                { "prim": "SWAP" },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "13" } ] },
                                { "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "True" } ] } ] },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "13" } ] }
                              ]
                            ]
                          }
                        ]
                      ]
                    },
                    { "prim": "NIL", "args": [ { "prim": "operation" } ] }
                  ]
                ]
              }
            ],
            [
              {
                "prim": "IF_LEFT",
                "args": [
                  [
                    {
                      "prim": "IF_LEFT",
                      "args": [
                        [
                          { "prim": "DUP", "args": [ { "int": "8" } ] },
                          { "prim": "UNIT" },
                          { "prim": "SWAP" },
                          { "prim": "DIG", "args": [ { "int": "3" } ] },
                          { "prim": "DIG", "args": [ { "int": "2" } ] },
                          { "prim": "PAIR" },
                          { "prim": "EXEC" },
                          { "prim": "UNPAIR" },
                          { "prim": "DUG", "args": [ { "int": "11" } ] },
                          { "prim": "DUG", "args": [ { "int": "11" } ] },
                          { "prim": "DUG", "args": [ { "int": "11" } ] },
                          { "prim": "DIG", "args": [ { "int": "10" } ] },
                          { "prim": "DIG", "args": [ { "int": "11" } ] },
                          { "prim": "DIG", "args": [ { "int": "11" } ] },
                          { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                          { "prim": "DUP" },
                          {
                            "prim": "ITER",
                            "args": [
                              [
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "15" } ] },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "18" } ] },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "CDR" },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "PAIR" },
                                { "prim": "SOME" },
                                { "prim": "DUP", "args": [ { "int": "4" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "18" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "9" } ] },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "CAR" },
                                { "prim": "SOME" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "UPDATE" },
                                { "prim": "UPDATE", "args": [ { "int": "9" } ] },
                                { "prim": "DUP" },
                                { "prim": "GET", "args": [ { "int": "15" } ] },
                                { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
                                { "prim": "ADD" },
                                { "prim": "UPDATE", "args": [ { "int": "15" } ] },
                                { "prim": "SWAP" }
                              ]
                            ]
                          },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" },
                          { "prim": "SWAP" },
                          { "prim": "DROP" }
                        ],
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "UPDATE", "args": [ { "int": "1" } ] }
                              ],
                              [
                                { "prim": "DUP", "args": [ { "int": "8" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DUG", "args": [ { "int": "11" } ] },
                                { "prim": "DIG", "args": [ { "int": "10" } ] },
                                { "prim": "DIG", "args": [ { "int": "11" } ] },
                                { "prim": "DIG", "args": [ { "int": "11" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "DUP", "args": [ { "int": "2" } ] },
                                { "prim": "GET", "args": [ { "int": "5" } ] },
                                {
                                  "prim": "IF",
                                  "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CONTRACT_METADATA_LOCKED" } ] }, { "prim": "FAILWITH" } ], [] ]
                                },
                                { "prim": "DUP" },
                                {
                                  "prim": "ITER",
                                  "args": [
                                    [
                                      { "prim": "DIG", "args": [ { "int": "2" } ] },
                                      { "prim": "DUP" },
                                      { "prim": "GET", "args": [ { "int": "11" } ] },
                                      { "prim": "DUP", "args": [ { "int": "3" } ] },
                                      { "prim": "CDR" },
                                      { "prim": "SOME" },
                                      { "prim": "DIG", "args": [ { "int": "3" } ] },
                                      { "prim": "CAR" },
                                      { "prim": "UPDATE" },
                                      { "prim": "UPDATE", "args": [ { "int": "11" } ] },
                                      { "prim": "SWAP" }
                                    ]
                                  ]
                                },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" },
                                { "prim": "SWAP" },
                                { "prim": "DROP" }
                              ]
                            ]
                          }
                        ]
                      ]
                    },
                    { "prim": "NIL", "args": [ { "prim": "operation" } ] }
                  ],
                  [
                    {
                      "prim": "IF_LEFT",
                      "args": [
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "UPDATE", "args": [ { "int": "7" } ] }
                              ],
                              [
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "6" } ] },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [
                                      { "prim": "DUP" },
                                      {
                                        "prim": "ITER",
                                        "args": [
                                          [
                                            { "prim": "DUP" },
                                            { "prim": "CDR" },
                                            {
                                              "prim": "ITER",
                                              "args": [
                                                [
                                                  { "prim": "DUP", "args": [ { "int": "9" } ] },
                                                  { "prim": "SWAP" },
                                                  { "prim": "DUP" },
                                                  { "prim": "GET", "args": [ { "int": "3" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "5" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                  { "prim": "PAIR" },
                                                  { "prim": "EXEC" },
                                                  { "prim": "UNPAIR" },
                                                  { "prim": "DUG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "10" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "13" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "13" } ] },
                                                  {
                                                    "prim": "IF",
                                                    "args": [
                                                      [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ]
                                                    ]
                                                  },
                                                  { "prim": "DUP", "args": [ { "int": "11" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "2" } ] },
                                                  { "prim": "GET", "args": [ { "int": "3" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "3" } ] },
                                                  { "prim": "CAR" },
                                                  { "prim": "DUP", "args": [ { "int": "5" } ] },
                                                  { "prim": "CAR" },
                                                  { "prim": "PAIR", "args": [ { "int": "3" } ] },
                                                  { "prim": "SWAP" },
                                                  { "prim": "DIG", "args": [ { "int": "5" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                  { "prim": "PAIR" },
                                                  { "prim": "EXEC" },
                                                  { "prim": "CDR" },
                                                  { "prim": "DUG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DUG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "9" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "12" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "12" } ] },
                                                  { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "2" } ] },
                                                  { "prim": "GET", "args": [ { "int": "4" } ] },
                                                  { "prim": "COMPARE" },
                                                  { "prim": "GT" },
                                                  {
                                                    "prim": "IF",
                                                    "args": [
                                                      [
                                                        { "prim": "DUP", "args": [ { "int": "2" } ] },
                                                        { "prim": "CAR" },
                                                        { "prim": "PAIR" },
                                                        { "prim": "DUP", "args": [ { "int": "6" } ] },
                                                        { "prim": "DIG", "args": [ { "int": "4" } ] },
                                                        { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                        { "prim": "PAIR" },
                                                        { "prim": "EXEC" },
                                                        { "prim": "CDR" },
                                                        { "prim": "DUG", "args": [ { "int": "11" } ] },
                                                        { "prim": "DUG", "args": [ { "int": "11" } ] },
                                                        { "prim": "DUG", "args": [ { "int": "11" } ] },
                                                        { "prim": "DIG", "args": [ { "int": "9" } ] },
                                                        { "prim": "DIG", "args": [ { "int": "11" } ] },
                                                        { "prim": "DIG", "args": [ { "int": "11" } ] }
                                                      ],
                                                      [ { "prim": "DROP" } ]
                                                    ]
                                                  }
                                                ]
                                              ]
                                            },
                                            { "prim": "DROP" }
                                          ]
                                        ]
                                      },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" }
                                    ],
                                    [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TX_DENIED" } ] }, { "prim": "FAILWITH" } ]
                                  ]
                                }
                              ]
                            ]
                          },
                          { "prim": "NIL", "args": [ { "prim": "operation" } ] }
                        ],
                        [
                          {
                            "prim": "IF_LEFT",
                            "args": [
                              [
                                { "prim": "DUP", "args": [ { "int": "3" } ] },
                                { "prim": "GET", "args": [ { "int": "5" } ] },
                                {
                                  "prim": "IF",
                                  "args": [
                                    [
                                      { "prim": "DUP" },
                                      {
                                        "prim": "ITER",
                                        "args": [
                                          [
                                            {
                                              "prim": "IF_LEFT",
                                              "args": [
                                                [
                                                  { "prim": "DUP", "args": [ { "int": "11" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "2" } ] },
                                                  { "prim": "EXEC" },
                                                  { "prim": "DROP" },
                                                  { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                  { "prim": "DUP" },
                                                  { "prim": "GET", "args": [ { "int": "17" } ] },
                                                  {
                                                    "prim": "PUSH",
                                                    "args": [ { "prim": "option", "args": [ { "prim": "unit" } ] }, { "prim": "Some", "args": [ { "prim": "Unit" } ] } ]
                                                  },
                                                  { "prim": "DIG", "args": [ { "int": "3" } ] },
                                                  { "prim": "UPDATE" },
                                                  { "prim": "UPDATE", "args": [ { "int": "17" } ] },
                                                  { "prim": "SWAP" }
                                                ],
                                                [
                                                  { "prim": "DUP", "args": [ { "int": "11" } ] },
                                                  { "prim": "DUP", "args": [ { "int": "2" } ] },
                                                  { "prim": "EXEC" },
                                                  { "prim": "DROP" },
                                                  { "prim": "DIG", "args": [ { "int": "2" } ] },
                                                  { "prim": "DUP" },
                                                  { "prim": "GET", "args": [ { "int": "17" } ] },
                                                  { "prim": "NONE", "args": [ { "prim": "unit" } ] },
                                                  { "prim": "DIG", "args": [ { "int": "3" } ] },
                                                  { "prim": "UPDATE" },
                                                  { "prim": "UPDATE", "args": [ { "int": "17" } ] },
                                                  { "prim": "SWAP" }
                                                ]
                                              ]
                                            }
                                          ]
                                        ]
                                      },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" },
                                      { "prim": "SWAP" },
                                      { "prim": "DROP" }
                                    ],
                                    [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_OPERATORS_UNSUPPORTED" } ] }, { "prim": "FAILWITH" } ]
                                  ]
                                },
                                { "prim": "NIL", "args": [ { "prim": "operation" } ] }
                              ],
                              [
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DROP" },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "UNIT" },
                                { "prim": "SWAP" },
                                { "prim": "DIG", "args": [ { "int": "3" } ] },
                                { "prim": "DIG", "args": [ { "int": "2" } ] },
                                { "prim": "PAIR" },
                                { "prim": "EXEC" },
                                { "prim": "UNPAIR" },
                                { "prim": "SWAP" },
                                { "prim": "DUG", "args": [ { "int": "2" } ] },
                                { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
                                { "prim": "CONTRACT", "args": [ { "prim": "unit" } ] },
                                { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "230" } ] }, { "prim": "FAILWITH" } ], [] ] },
                                { "prim": "NIL", "args": [ { "prim": "operation" } ] },
                                { "prim": "SWAP" },
                                { "prim": "BALANCE" },
                                { "prim": "UNIT" },
                                { "prim": "TRANSFER_TOKENS" },
                                { "prim": "CONS" }
                              ]
                            ]
                          }
                        ]
                      ]
                    }
                  ]
                ]
              }
            ]
          ]
        },
        { "prim": "PAIR" }
      ]
    ]
  },
  {
    "prim": "view",
    "args": [
      { "string": "get_balance_of" },
      { "prim": "list", "args": [ { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] } ] },
      {
        "prim": "list",
        "args": [
          {
            "prim": "pair",
            "args": [
              { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ], "annots": [ "%request" ] },
              { "prim": "nat", "annots": [ "%balance" ] }
            ]
          }
        ]
      },
      [
        { "prim": "UNPAIR" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                {
                  "prim": "pair",
                  "args": [
                    {
                      "prim": "lambda",
                      "args": [
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "nat" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "address" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "bool" },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "mutez" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "nat" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                                    },
                                                                    { "prim": "unit" }
                                                                  ]
                                                                },
                                                                {
                                                                  "prim": "big_map",
                                                                  "args": [
                                                                    { "prim": "nat" },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    },
                    { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                  ]
                },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "nat" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "CDR" },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "DIG", "args": [ { "int": "3" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "EXEC" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUG", "args": [ { "int": "2" } ] },
              { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
              { "prim": "DUP" },
              { "prim": "CAR" },
              { "prim": "DUP", "args": [ { "int": "3" } ] },
              { "prim": "GET", "args": [ { "int": "9" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "CDR" },
              { "prim": "GET" },
              { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "372" } ] }, { "prim": "FAILWITH" } ], [] ] },
              { "prim": "COMPARE" },
              { "prim": "EQ" },
              {
                "prim": "IF",
                "args": [ [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ], [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ] ]
              },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                { "prim": "nat" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "bool" },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUP" },
              { "prim": "GET", "args": [ { "int": "18" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "MEM" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "SWAP" },
        {
          "prim": "LAMBDA",
          "args": [
            {
              "prim": "pair",
              "args": [
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
                    {
                      "prim": "pair",
                      "args": [
                        {
                          "prim": "lambda",
                          "args": [
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "nat" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "address" },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "bool" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "mutez" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "nat" },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                          ]
                                                                        },
                                                                        { "prim": "unit" }
                                                                      ]
                                                                    },
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        { "prim": "nat" },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "bool" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "address" },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "bool" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "mutez" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "nat" },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                          ]
                                                                        },
                                                                        { "prim": "unit" }
                                                                      ]
                                                                    },
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        { "prim": "nat" },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        },
                        {
                          "prim": "lambda",
                          "args": [
                            {
                              "prim": "pair",
                              "args": [
                                {
                                  "prim": "pair",
                                  "args": [
                                    {
                                      "prim": "lambda",
                                      "args": [
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "nat" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "address" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "bool" },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "mutez" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [
                                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "nat" },
                                                                            {
                                                                              "prim": "pair",
                                                                              "args": [
                                                                                {
                                                                                  "prim": "big_map",
                                                                                  "args": [
                                                                                    {
                                                                                      "prim": "pair",
                                                                                      "args": [
                                                                                        { "prim": "address" },
                                                                                        { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                      ]
                                                                                    },
                                                                                    { "prim": "unit" }
                                                                                  ]
                                                                                },
                                                                                {
                                                                                  "prim": "big_map",
                                                                                  "args": [
                                                                                    { "prim": "nat" },
                                                                                    {
                                                                                      "prim": "pair",
                                                                                      "args": [
                                                                                        { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                      ]
                                                                                    }
                                                                                  ]
                                                                                }
                                                                              ]
                                                                            }
                                                                          ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "bool" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "address" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "bool" },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "mutez" },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                                    {
                                                                      "prim": "pair",
                                                                      "args": [
                                                                        { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "nat" },
                                                                            {
                                                                              "prim": "pair",
                                                                              "args": [
                                                                                {
                                                                                  "prim": "big_map",
                                                                                  "args": [
                                                                                    {
                                                                                      "prim": "pair",
                                                                                      "args": [
                                                                                        { "prim": "address" },
                                                                                        { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                                      ]
                                                                                    },
                                                                                    { "prim": "unit" }
                                                                                  ]
                                                                                },
                                                                                {
                                                                                  "prim": "big_map",
                                                                                  "args": [
                                                                                    { "prim": "nat" },
                                                                                    {
                                                                                      "prim": "pair",
                                                                                      "args": [
                                                                                        { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
                                                                                      ]
                                                                                    }
                                                                                  ]
                                                                                }
                                                                              ]
                                                                            }
                                                                          ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    },
                                    { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                  ]
                                },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "address" },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "bool" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "mutez" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "nat" },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                          ]
                                                                        },
                                                                        { "prim": "unit" }
                                                                      ]
                                                                    },
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        { "prim": "nat" },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "nat" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "address" },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "bool" },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "mutez" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                                    {
                                                      "prim": "pair",
                                                      "args": [
                                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                                        {
                                                          "prim": "pair",
                                                          "args": [
                                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                                            {
                                                              "prim": "pair",
                                                              "args": [
                                                                { "prim": "nat" },
                                                                {
                                                                  "prim": "pair",
                                                                  "args": [
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [
                                                                            { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
                                                                          ]
                                                                        },
                                                                        { "prim": "unit" }
                                                                      ]
                                                                    },
                                                                    {
                                                                      "prim": "big_map",
                                                                      "args": [
                                                                        { "prim": "nat" },
                                                                        {
                                                                          "prim": "pair",
                                                                          "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
                                                                        }
                                                                      ]
                                                                    }
                                                                  ]
                                                                }
                                                              ]
                                                            }
                                                          ]
                                                        }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            {
              "prim": "pair",
              "args": [
                { "prim": "pair", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] },
                {
                  "prim": "pair",
                  "args": [
                    { "prim": "address" },
                    {
                      "prim": "pair",
                      "args": [
                        { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
                        {
                          "prim": "pair",
                          "args": [
                            { "prim": "bool" },
                            {
                              "prim": "pair",
                              "args": [
                                { "prim": "mutez" },
                                {
                                  "prim": "pair",
                                  "args": [
                                    { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
                                    {
                                      "prim": "pair",
                                      "args": [
                                        { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
                                        {
                                          "prim": "pair",
                                          "args": [
                                            { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
                                            {
                                              "prim": "pair",
                                              "args": [
                                                { "prim": "nat" },
                                                {
                                                  "prim": "pair",
                                                  "args": [
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        {
                                                          "prim": "pair",
                                                          "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
                                                        },
                                                        { "prim": "unit" }
                                                      ]
                                                    },
                                                    {
                                                      "prim": "big_map",
                                                      "args": [
                                                        { "prim": "nat" },
                                                        { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
                                                      ]
                                                    }
                                                  ]
                                                }
                                              ]
                                            }
                                          ]
                                        }
                                      ]
                                    }
                                  ]
                                }
                              ]
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            },
            [
              { "prim": "UNPAIR" },
              { "prim": "UNPAIR", "args": [ { "int": "3" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "DUP", "args": [ { "int": "2" } ] },
              { "prim": "DIG", "args": [ { "int": "3" } ] },
              { "prim": "PAIR" },
              { "prim": "SWAP" },
              { "prim": "DIG", "args": [ { "int": "3" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "EXEC" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUG", "args": [ { "int": "2" } ] },
              { "prim": "SWAP" },
              { "prim": "PAIR" },
              { "prim": "PAIR" }
            ]
          ]
        },
        { "prim": "DUP", "args": [ { "int": "2" } ] },
        {
          "prim": "MAP",
          "args": [
            [
              { "prim": "DUP", "args": [ { "int": "2" } ] },
              { "prim": "DUP", "args": [ { "int": "6" } ] },
              { "prim": "DUP", "args": [ { "int": "6" } ] },
              { "prim": "PAIR" },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "SWAP" },
              { "prim": "DIG", "args": [ { "int": "6" } ] },
              { "prim": "DIG", "args": [ { "int": "2" } ] },
              { "prim": "PAIR" },
              { "prim": "EXEC" },
              { "prim": "UNPAIR" },
              { "prim": "SWAP" },
              { "prim": "DUG", "args": [ { "int": "5" } ] }
            ]
          ]
        },
        { "prim": "SWAP" },
        { "prim": "DROP" },
        { "prim": "SWAP" },
        { "prim": "DROP" },
        { "prim": "SWAP" },
        { "prim": "DROP" },
        { "prim": "SWAP" },
        { "prim": "DROP" },
        { "prim": "SWAP" },
        { "prim": "DROP" }
      ]
    ]
  }
]