{
  "abi": [
    {
      "inputs": [],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": true,
          "internalType": "address",
          "name": "owner",
          "type": "address"
        },
        {
          "indexed": true,
          "internalType": "address",
          "name": "spender",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "value",
          "type": "uint256"
        }
      ],
      "name": "Approval",
      "type": "event"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": true,
          "internalType": "address",
          "name": "from",
          "type": "address"
        },
        {
          "indexed": true,
          "internalType": "address",
          "name": "to",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "value",
          "type": "uint256"
        }
      ],
      "name": "Transfer",
      "type": "event"
    },
    {
      "inputs": [],
      "name": "INITIAL_SUPPLY",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "NAME",
      "outputs": [
        {
          "internalType": "string",
          "name": "",
          "type": "string"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "SYMBOL",
      "outputs": [
        {
          "internalType": "string",
          "name": "",
          "type": "string"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "owner",
          "type": "address"
        },
        {
          "internalType": "address",
          "name": "spender",
          "type": "address"
        }
      ],
      "name": "allowance",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "spender",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "approve",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "account",
          "type": "address"
        }
      ],
      "name": "balanceOf",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "decimals",
      "outputs": [
        {
          "internalType": "uint8",
          "name": "",
          "type": "uint8"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "spender",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "subtractedValue",
          "type": "uint256"
        }
      ],
      "name": "decreaseAllowance",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "spender",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "addedValue",
          "type": "uint256"
        }
      ],
      "name": "increaseAllowance",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "name",
      "outputs": [
        {
          "internalType": "string",
          "name": "",
          "type": "string"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "symbol",
      "outputs": [
        {
          "internalType": "string",
          "name": "",
          "type": "string"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "totalSupply",
      "outputs": [
        {
          "internalType": "uint256",
          "name": "",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "to",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "transfer",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "from",
          "type": "address"
        },
        {
          "internalType": "address",
          "name": "to",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "transferFrom",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "allSourcePaths": {
    "12": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/token/ERC20/ERC20.sol",
    "13": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/token/ERC20/IERC20.sol",
    "14": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/token/ERC20/extensions/IERC20Metadata.sol",
    "22": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/utils/Context.sol",
    "92": "contracts/test/TestCoin.sol"
  },
  "ast": {
    "absolutePath": "contracts/test/TestCoin.sol",
    "exportedSymbols": {
      "Context": [
        24074
      ],
      "ERC20": [
        21536
      ],
      "IERC20": [
        18510
      ],
      "IERC20Metadata": [
        27166
      ],
      "TestCoin": [
        15321
      ],
      "TestCoinX": [
        15349
      ]
    },
    "id": 15350,
    "license": "Apache-2.0",
    "nodeType": "SourceUnit",
    "nodes": [
      {
        "id": 15292,
        "literals": [
          "solidity",
          "0.8",
          ".2"
        ],
        "nodeType": "PragmaDirective",
        "src": "39:22:92"
      },
      {
        "absolutePath": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/token/ERC20/ERC20.sol",
        "file": "@openzeppelin/contracts/token/ERC20/ERC20.sol",
        "id": 15293,
        "nameLocation": "-1:-1:-1",
        "nodeType": "ImportDirective",
        "scope": 15350,
        "sourceUnit": 21537,
        "src": "63:55:92",
        "symbolAliases": [],
        "unitAlias": ""
      },
      {
        "abstract": false,
        "baseContracts": [
          {
            "baseName": {
              "id": 15294,
              "name": "ERC20",
              "nodeType": "IdentifierPath",
              "referencedDeclaration": 21536,
              "src": "141:5:92"
            },
            "id": 15295,
            "nodeType": "InheritanceSpecifier",
            "src": "141:5:92"
          }
        ],
        "contractDependencies": [
          18510,
          21536,
          24074,
          27166
        ],
        "contractKind": "contract",
        "fullyImplemented": true,
        "id": 15321,
        "linearizedBaseContracts": [
          15321,
          21536,
          27166,
          18510,
          24074
        ],
        "name": "TestCoin",
        "nameLocation": "129:8:92",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "constant": true,
            "functionSelector": "a3f4df7e",
            "id": 15298,
            "mutability": "constant",
            "name": "NAME",
            "nameLocation": "177:4:92",
            "nodeType": "VariableDeclaration",
            "scope": 15321,
            "src": "154:42:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_string_memory_ptr",
              "typeString": "string"
            },
            "typeName": {
              "id": 15296,
              "name": "string",
              "nodeType": "ElementaryTypeName",
              "src": "154:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_string_storage_ptr",
                "typeString": "string"
              }
            },
            "value": {
              "hexValue": "546573742044756d6d79",
              "id": 15297,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "string",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "184:12:92",
              "typeDescriptions": {
                "typeIdentifier": "t_stringliteral_d92c7e80c7e0511acb00e5cc9dfd1dfa061ae58fd11b1e7b920c4ff279ba2149",
                "typeString": "literal_string \"Test Dummy\""
              },
              "value": "Test Dummy"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "functionSelector": "f76f8d78",
            "id": 15301,
            "mutability": "constant",
            "name": "SYMBOL",
            "nameLocation": "225:6:92",
            "nodeType": "VariableDeclaration",
            "scope": 15321,
            "src": "202:37:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_string_memory_ptr",
              "typeString": "string"
            },
            "typeName": {
              "id": 15299,
              "name": "string",
              "nodeType": "ElementaryTypeName",
              "src": "202:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_string_storage_ptr",
                "typeString": "string"
              }
            },
            "value": {
              "hexValue": "544459",
              "id": 15300,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "string",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "234:5:92",
              "typeDescriptions": {
                "typeIdentifier": "t_stringliteral_004af10049653c704ac6f1b2bc023dd9f0dfb627aec0912ea505bfdd2845eef3",
                "typeString": "literal_string \"TDY\""
              },
              "value": "TDY"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "functionSelector": "2ff2e9dc",
            "id": 15306,
            "mutability": "constant",
            "name": "INITIAL_SUPPLY",
            "nameLocation": "270:14:92",
            "nodeType": "VariableDeclaration",
            "scope": 15321,
            "src": "246:47:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 15302,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "246:7:92",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "commonType": {
                "typeIdentifier": "t_rational_1000000000000000000000000_by_1",
                "typeString": "int_const 1000000000000000000000000"
              },
              "id": 15305,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "hexValue": "3130",
                "id": 15303,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "287:2:92",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "nodeType": "BinaryOperation",
              "operator": "**",
              "rightExpression": {
                "hexValue": "3234",
                "id": 15304,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "291:2:92",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_24_by_1",
                  "typeString": "int_const 24"
                },
                "value": "24"
              },
              "src": "287:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_1000000000000000000000000_by_1",
                "typeString": "int_const 1000000000000000000000000"
              }
            },
            "visibility": "public"
          },
          {
            "body": {
              "id": 15319,
              "nodeType": "Block",
              "src": "346:86:92",
              "statements": [
                {
                  "expression": {
                    "arguments": [
                      {
                        "arguments": [],
                        "expression": {
                          "argumentTypes": [],
                          "id": 15314,
                          "name": "_msgSender",
                          "nodeType": "Identifier",
                          "overloadedDeclarations": [],
                          "referencedDeclaration": 24064,
                          "src": "375:10:92",
                          "typeDescriptions": {
                            "typeIdentifier": "t_function_internal_view$__$returns$_t_address_$",
                            "typeString": "function () view returns (address)"
                          }
                        },
                        "id": 15315,
                        "isConstant": false,
                        "isLValue": false,
                        "isPure": false,
                        "kind": "functionCall",
                        "lValueRequested": false,
                        "names": [],
                        "nodeType": "FunctionCall",
                        "src": "375:12:92",
                        "tryCall": false,
                        "typeDescriptions": {
                          "typeIdentifier": "t_address",
                          "typeString": "address"
                        }
                      },
                      {
                        "id": 15316,
                        "name": "INITIAL_SUPPLY",
                        "nodeType": "Identifier",
                        "overloadedDeclarations": [],
                        "referencedDeclaration": 15306,
                        "src": "401:14:92",
                        "typeDescriptions": {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      }
                    ],
                    "expression": {
                      "argumentTypes": [
                        {
                          "typeIdentifier": "t_address",
                          "typeString": "address"
                        },
                        {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      ],
                      "id": 15313,
                      "name": "_mint",
                      "nodeType": "Identifier",
                      "overloadedDeclarations": [],
                      "referencedDeclaration": 21353,
                      "src": "356:5:92",
                      "typeDescriptions": {
                        "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$",
                        "typeString": "function (address,uint256)"
                      }
                    },
                    "id": 15317,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": false,
                    "kind": "functionCall",
                    "lValueRequested": false,
                    "names": [],
                    "nodeType": "FunctionCall",
                    "src": "356:69:92",
                    "tryCall": false,
                    "typeDescriptions": {
                      "typeIdentifier": "t_tuple$__$",
                      "typeString": "tuple()"
                    }
                  },
                  "id": 15318,
                  "nodeType": "ExpressionStatement",
                  "src": "356:69:92"
                }
              ]
            },
            "id": 15320,
            "implemented": true,
            "kind": "constructor",
            "modifiers": [
              {
                "arguments": [
                  {
                    "id": 15309,
                    "name": "NAME",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 15298,
                    "src": "328:4:92",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_memory_ptr",
                      "typeString": "string memory"
                    }
                  },
                  {
                    "id": 15310,
                    "name": "SYMBOL",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 15301,
                    "src": "334:6:92",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_memory_ptr",
                      "typeString": "string memory"
                    }
                  }
                ],
                "id": 15311,
                "modifierName": {
                  "id": 15308,
                  "name": "ERC20",
                  "nodeType": "IdentifierPath",
                  "referencedDeclaration": 21536,
                  "src": "322:5:92"
                },
                "nodeType": "ModifierInvocation",
                "src": "322:19:92"
              }
            ],
            "name": "",
            "nameLocation": "-1:-1:-1",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 15307,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "311:2:92"
            },
            "returnParameters": {
              "id": 15312,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "346:0:92"
            },
            "scope": 15321,
            "src": "300:132:92",
            "stateMutability": "nonpayable",
            "virtual": false,
            "visibility": "public"
          }
        ],
        "scope": 15350,
        "src": "120:314:92"
      },
      {
        "abstract": false,
        "baseContracts": [
          {
            "baseName": {
              "id": 15322,
              "name": "ERC20",
              "nodeType": "IdentifierPath",
              "referencedDeclaration": 21536,
              "src": "458:5:92"
            },
            "id": 15323,
            "nodeType": "InheritanceSpecifier",
            "src": "458:5:92"
          }
        ],
        "contractDependencies": [
          18510,
          21536,
          24074,
          27166
        ],
        "contractKind": "contract",
        "fullyImplemented": true,
        "id": 15349,
        "linearizedBaseContracts": [
          15349,
          21536,
          27166,
          18510,
          24074
        ],
        "name": "TestCoinX",
        "nameLocation": "445:9:92",
        "nodeType": "ContractDefinition",
        "nodes": [
          {
            "constant": true,
            "functionSelector": "a3f4df7e",
            "id": 15326,
            "mutability": "constant",
            "name": "NAME",
            "nameLocation": "494:4:92",
            "nodeType": "VariableDeclaration",
            "scope": 15349,
            "src": "471:44:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_string_memory_ptr",
              "typeString": "string"
            },
            "typeName": {
              "id": 15324,
              "name": "string",
              "nodeType": "ElementaryTypeName",
              "src": "471:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_string_storage_ptr",
                "typeString": "string"
              }
            },
            "value": {
              "hexValue": "546573742044756d6d792058",
              "id": 15325,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "string",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "501:14:92",
              "typeDescriptions": {
                "typeIdentifier": "t_stringliteral_a30ac64b7d6e6ff167c2e60e6a29fb2c9ee94154569a03703430822e25699e9b",
                "typeString": "literal_string \"Test Dummy X\""
              },
              "value": "Test Dummy X"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "functionSelector": "f76f8d78",
            "id": 15329,
            "mutability": "constant",
            "name": "SYMBOL",
            "nameLocation": "544:6:92",
            "nodeType": "VariableDeclaration",
            "scope": 15349,
            "src": "521:37:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_string_memory_ptr",
              "typeString": "string"
            },
            "typeName": {
              "id": 15327,
              "name": "string",
              "nodeType": "ElementaryTypeName",
              "src": "521:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_string_storage_ptr",
                "typeString": "string"
              }
            },
            "value": {
              "hexValue": "544458",
              "id": 15328,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "kind": "string",
              "lValueRequested": false,
              "nodeType": "Literal",
              "src": "553:5:92",
              "typeDescriptions": {
                "typeIdentifier": "t_stringliteral_511eea2d30970d4c48faad7052d30e893c13eff5d8ac0180bdf8d28babd3c979",
                "typeString": "literal_string \"TDX\""
              },
              "value": "TDX"
            },
            "visibility": "public"
          },
          {
            "constant": true,
            "functionSelector": "2ff2e9dc",
            "id": 15334,
            "mutability": "constant",
            "name": "INITIAL_SUPPLY",
            "nameLocation": "589:14:92",
            "nodeType": "VariableDeclaration",
            "scope": 15349,
            "src": "565:47:92",
            "stateVariable": true,
            "storageLocation": "default",
            "typeDescriptions": {
              "typeIdentifier": "t_uint256",
              "typeString": "uint256"
            },
            "typeName": {
              "id": 15330,
              "name": "uint256",
              "nodeType": "ElementaryTypeName",
              "src": "565:7:92",
              "typeDescriptions": {
                "typeIdentifier": "t_uint256",
                "typeString": "uint256"
              }
            },
            "value": {
              "commonType": {
                "typeIdentifier": "t_rational_1000000000000000000000000_by_1",
                "typeString": "int_const 1000000000000000000000000"
              },
              "id": 15333,
              "isConstant": false,
              "isLValue": false,
              "isPure": true,
              "lValueRequested": false,
              "leftExpression": {
                "hexValue": "3130",
                "id": 15331,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "606:2:92",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_10_by_1",
                  "typeString": "int_const 10"
                },
                "value": "10"
              },
              "nodeType": "BinaryOperation",
              "operator": "**",
              "rightExpression": {
                "hexValue": "3234",
                "id": 15332,
                "isConstant": false,
                "isLValue": false,
                "isPure": true,
                "kind": "number",
                "lValueRequested": false,
                "nodeType": "Literal",
                "src": "610:2:92",
                "typeDescriptions": {
                  "typeIdentifier": "t_rational_24_by_1",
                  "typeString": "int_const 24"
                },
                "value": "24"
              },
              "src": "606:6:92",
              "typeDescriptions": {
                "typeIdentifier": "t_rational_1000000000000000000000000_by_1",
                "typeString": "int_const 1000000000000000000000000"
              }
            },
            "visibility": "public"
          },
          {
            "body": {
              "id": 15347,
              "nodeType": "Block",
              "src": "665:86:92",
              "statements": [
                {
                  "expression": {
                    "arguments": [
                      {
                        "arguments": [],
                        "expression": {
                          "argumentTypes": [],
                          "id": 15342,
                          "name": "_msgSender",
                          "nodeType": "Identifier",
                          "overloadedDeclarations": [],
                          "referencedDeclaration": 24064,
                          "src": "694:10:92",
                          "typeDescriptions": {
                            "typeIdentifier": "t_function_internal_view$__$returns$_t_address_$",
                            "typeString": "function () view returns (address)"
                          }
                        },
                        "id": 15343,
                        "isConstant": false,
                        "isLValue": false,
                        "isPure": false,
                        "kind": "functionCall",
                        "lValueRequested": false,
                        "names": [],
                        "nodeType": "FunctionCall",
                        "src": "694:12:92",
                        "tryCall": false,
                        "typeDescriptions": {
                          "typeIdentifier": "t_address",
                          "typeString": "address"
                        }
                      },
                      {
                        "id": 15344,
                        "name": "INITIAL_SUPPLY",
                        "nodeType": "Identifier",
                        "overloadedDeclarations": [],
                        "referencedDeclaration": 15334,
                        "src": "720:14:92",
                        "typeDescriptions": {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      }
                    ],
                    "expression": {
                      "argumentTypes": [
                        {
                          "typeIdentifier": "t_address",
                          "typeString": "address"
                        },
                        {
                          "typeIdentifier": "t_uint256",
                          "typeString": "uint256"
                        }
                      ],
                      "id": 15341,
                      "name": "_mint",
                      "nodeType": "Identifier",
                      "overloadedDeclarations": [],
                      "referencedDeclaration": 21353,
                      "src": "675:5:92",
                      "typeDescriptions": {
                        "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$",
                        "typeString": "function (address,uint256)"
                      }
                    },
                    "id": 15345,
                    "isConstant": false,
                    "isLValue": false,
                    "isPure": false,
                    "kind": "functionCall",
                    "lValueRequested": false,
                    "names": [],
                    "nodeType": "FunctionCall",
                    "src": "675:69:92",
                    "tryCall": false,
                    "typeDescriptions": {
                      "typeIdentifier": "t_tuple$__$",
                      "typeString": "tuple()"
                    }
                  },
                  "id": 15346,
                  "nodeType": "ExpressionStatement",
                  "src": "675:69:92"
                }
              ]
            },
            "id": 15348,
            "implemented": true,
            "kind": "constructor",
            "modifiers": [
              {
                "arguments": [
                  {
                    "id": 15337,
                    "name": "NAME",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 15326,
                    "src": "647:4:92",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_memory_ptr",
                      "typeString": "string memory"
                    }
                  },
                  {
                    "id": 15338,
                    "name": "SYMBOL",
                    "nodeType": "Identifier",
                    "overloadedDeclarations": [],
                    "referencedDeclaration": 15329,
                    "src": "653:6:92",
                    "typeDescriptions": {
                      "typeIdentifier": "t_string_memory_ptr",
                      "typeString": "string memory"
                    }
                  }
                ],
                "id": 15339,
                "modifierName": {
                  "id": 15336,
                  "name": "ERC20",
                  "nodeType": "IdentifierPath",
                  "referencedDeclaration": 21536,
                  "src": "641:5:92"
                },
                "nodeType": "ModifierInvocation",
                "src": "641:19:92"
              }
            ],
            "name": "",
            "nameLocation": "-1:-1:-1",
            "nodeType": "FunctionDefinition",
            "parameters": {
              "id": 15335,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "630:2:92"
            },
            "returnParameters": {
              "id": 15340,
              "nodeType": "ParameterList",
              "parameters": [],
              "src": "665:0:92"
            },
            "scope": 15349,
            "src": "619:132:92",
            "stateMutability": "nonpayable",
            "virtual": false,
            "visibility": "public"
          }
        ],
        "scope": 15350,
        "src": "436:317:92"
      }
    ],
    "src": "39:715:92"
  },
  "bytecode": "60806040523480156200001157600080fd5b506040518060400160405280600a815260200169546573742044756d6d7960b01b8152506040518060400160405280600381526020016254445960e81b81525081600390805190602001906200006992919062000199565b5080516200007f90600490602084019062000199565b505050620000a762000096620000ad60201b60201c565b69d3c21bcecceda1000000620000b1565b620002a1565b3390565b6001600160a01b0382166200010c5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b80600260008282546200012091906200023f565b90915550506001600160a01b038216600090815260208190526040812080548392906200014f9084906200023f565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b828054620001a79062000264565b90600052602060002090601f016020900481019282620001cb576000855562000216565b82601f10620001e657805160ff191683800117855562000216565b8280016001018555821562000216579182015b8281111562000216578251825591602001919060010190620001f9565b506200022492915062000228565b5090565b5b8082111562000224576000815560010162000229565b600082198211156200025f57634e487b7160e01b81526011600452602481fd5b500190565b6002810460018216806200027957607f821691505b602082108114156200029b57634e487b7160e01b600052602260045260246000fd5b50919050565b61092080620002b16000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063a457c2d711610066578063a457c2d7146101cc578063a9059cbb146101df578063dd62ed3e146101f2578063f76f8d7814610205576100ea565b806370a082311461018857806395d89b411461019b578063a3f4df7e146101a3576100ea565b806323b872dd116100c857806323b872dd146101425780632ff2e9dc14610155578063313ce567146101665780633950935114610175576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd14610130575b600080fd5b6100f7610227565b6040516101049190610838565b60405180910390f35b61012061011b36600461080f565b6102b9565b6040519015158152602001610104565b6002545b604051908152602001610104565b6101206101503660046107d4565b6102d1565b61013469d3c21bcecceda100000081565b60405160128152602001610104565b61012061018336600461080f565b6102f5565b610134610196366004610781565b610317565b6100f7610336565b6100f76040518060400160405280600a815260200169546573742044756d6d7960b01b81525081565b6101206101da36600461080f565b610345565b6101206101ed36600461080f565b6103c5565b6101346102003660046107a2565b6103d3565b6100f76040518060400160405280600381526020016254445960e81b81525081565b606060038054610236906108af565b80601f0160208091040260200160405190810160405280929190818152602001828054610262906108af565b80156102af5780601f10610284576101008083540402835291602001916102af565b820191906000526020600020905b81548152906001019060200180831161029257829003601f168201915b5050505050905090565b6000336102c78185856103fe565b5060019392505050565b6000336102df858285610522565b6102ea85858561059c565b506001949350505050565b6000336102c781858561030883836103d3565b610312919061088b565b6103fe565b6001600160a01b0381166000908152602081905260409020545b919050565b606060048054610236906108af565b6000338161035382866103d3565b9050838110156103b85760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b6102ea82868684036103fe565b6000336102c781858561059c565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166104605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103af565b6001600160a01b0382166104c15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103af565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061052e84846103d3565b9050600019811461059657818110156105895760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103af565b61059684848484036103fe565b50505050565b6001600160a01b0383166106005760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103af565b6001600160a01b0382166106625760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103af565b6001600160a01b038316600090815260208190526040902054818110156106da5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103af565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061071190849061088b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161075d91815260200190565b60405180910390a3610596565b80356001600160a01b038116811461033157600080fd5b600060208284031215610792578081fd5b61079b8261076a565b9392505050565b600080604083850312156107b4578081fd5b6107bd8361076a565b91506107cb6020840161076a565b90509250929050565b6000806000606084860312156107e8578081fd5b6107f18461076a565b92506107ff6020850161076a565b9150604084013590509250925092565b60008060408385031215610821578182fd5b61082a8361076a565b946020939093013593505050565b6000602080835283518082850152825b8181101561086457858101830151858201604001528201610848565b818111156108755783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108aa57634e487b7160e01b81526011600452602481fd5b500190565b6002810460018216806108c357607f821691505b602082108114156108e457634e487b7160e01b600052602260045260246000fd5b5091905056fea264697066735822122028b4a6ac1bf8359950d95561233648940f59f36ccadad5b0cf0e0158da49949464736f6c63430008020033",
  "bytecodeSha1": "ee7c840207398804b56837c21bc223a84f70f585",
  "compiler": {
    "evm_version": "istanbul",
    "optimizer": {
      "enabled": true,
      "runs": 200
    },
    "version": "0.8.2+commit.661d1103"
  },
  "contractName": "TestCoin",
  "coverageMap": {
    "branches": {
      "12": {
        "ERC20._approve": {
          "30": [
            10241,
            10260,
            true
          ],
          "31": [
            10319,
            10340,
            true
          ]
        },
        "ERC20._spendAllowance": {
          "32": [
            10957,
            10994,
            false
          ],
          "33": [
            11018,
            11044,
            true
          ]
        },
        "ERC20._transfer": {
          "34": [
            7601,
            7619,
            true
          ],
          "35": [
            7679,
            7695,
            true
          ],
          "36": [
            7850,
            7871,
            true
          ]
        },
        "ERC20.decreaseAllowance": {
          "29": [
            6811,
            6846,
            true
          ]
        }
      },
      "13": {},
      "14": {},
      "22": {},
      "92": {}
    },
    "statements": {
      "12": {
        "ERC20._approve": {
          "16": [
            10233,
            10301
          ],
          "17": [
            10311,
            10379
          ],
          "18": [
            10390,
            10426
          ],
          "19": [
            10436,
            10473
          ]
        },
        "ERC20._spendAllowance": {
          "20": [
            11010,
            11078
          ],
          "21": [
            11120,
            11171
          ]
        },
        "ERC20._transfer": {
          "22": [
            7593,
            7661
          ],
          "23": [
            7671,
            7735
          ],
          "24": [
            7842,
            7914
          ],
          "25": [
            7948,
            7986
          ],
          "26": [
            8006,
            8029
          ],
          "27": [
            8040,
            8071
          ],
          "28": [
            8082,
            8119
          ]
        },
        "ERC20.allowance": {
          "15": [
            4084,
            4118
          ]
        },
        "ERC20.approve": {
          "4": [
            4570,
            4602
          ],
          "5": [
            4612,
            4623
          ]
        },
        "ERC20.balanceOf": {
          "10": [
            3501,
            3526
          ]
        },
        "ERC20.decimals": {
          "1": [
            3168,
            3177
          ]
        },
        "ERC20.decreaseAllowance": {
          "12": [
            6803,
            6888
          ],
          "13": [
            6922,
            6982
          ]
        },
        "ERC20.increaseAllowance": {
          "9": [
            6015,
            6079
          ]
        },
        "ERC20.name": {
          "2": [
            2235,
            2247
          ]
        },
        "ERC20.symbol": {
          "11": [
            2448,
            2462
          ]
        },
        "ERC20.totalSupply": {
          "0": [
            3324,
            3343
          ]
        },
        "ERC20.transfer": {
          "14": [
            3862,
            3890
          ]
        },
        "ERC20.transferFrom": {
          "6": [
            5375,
            5413
          ],
          "7": [
            5423,
            5450
          ],
          "8": [
            5460,
            5471
          ]
        }
      },
      "13": {},
      "14": {},
      "22": {
        "Context._msgSender": {
          "3": [
            712,
            729
          ]
        }
      },
      "92": {}
    }
  },
  "dependencies": [
    "OpenZeppelin/openzeppelin-contracts@4.7.3/Context",
    "OpenZeppelin/openzeppelin-contracts@4.7.3/ERC20",
    "OpenZeppelin/openzeppelin-contracts@4.7.3/IERC20",
    "OpenZeppelin/openzeppelin-contracts@4.7.3/IERC20Metadata"
  ],
  "deployedBytecode": "608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063a457c2d711610066578063a457c2d7146101cc578063a9059cbb146101df578063dd62ed3e146101f2578063f76f8d7814610205576100ea565b806370a082311461018857806395d89b411461019b578063a3f4df7e146101a3576100ea565b806323b872dd116100c857806323b872dd146101425780632ff2e9dc14610155578063313ce567146101665780633950935114610175576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd14610130575b600080fd5b6100f7610227565b6040516101049190610838565b60405180910390f35b61012061011b36600461080f565b6102b9565b6040519015158152602001610104565b6002545b604051908152602001610104565b6101206101503660046107d4565b6102d1565b61013469d3c21bcecceda100000081565b60405160128152602001610104565b61012061018336600461080f565b6102f5565b610134610196366004610781565b610317565b6100f7610336565b6100f76040518060400160405280600a815260200169546573742044756d6d7960b01b81525081565b6101206101da36600461080f565b610345565b6101206101ed36600461080f565b6103c5565b6101346102003660046107a2565b6103d3565b6100f76040518060400160405280600381526020016254445960e81b81525081565b606060038054610236906108af565b80601f0160208091040260200160405190810160405280929190818152602001828054610262906108af565b80156102af5780601f10610284576101008083540402835291602001916102af565b820191906000526020600020905b81548152906001019060200180831161029257829003601f168201915b5050505050905090565b6000336102c78185856103fe565b5060019392505050565b6000336102df858285610522565b6102ea85858561059c565b506001949350505050565b6000336102c781858561030883836103d3565b610312919061088b565b6103fe565b6001600160a01b0381166000908152602081905260409020545b919050565b606060048054610236906108af565b6000338161035382866103d3565b9050838110156103b85760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b6102ea82868684036103fe565b6000336102c781858561059c565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166104605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103af565b6001600160a01b0382166104c15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103af565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061052e84846103d3565b9050600019811461059657818110156105895760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016103af565b61059684848484036103fe565b50505050565b6001600160a01b0383166106005760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103af565b6001600160a01b0382166106625760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103af565b6001600160a01b038316600090815260208190526040902054818110156106da5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103af565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061071190849061088b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161075d91815260200190565b60405180910390a3610596565b80356001600160a01b038116811461033157600080fd5b600060208284031215610792578081fd5b61079b8261076a565b9392505050565b600080604083850312156107b4578081fd5b6107bd8361076a565b91506107cb6020840161076a565b90509250929050565b6000806000606084860312156107e8578081fd5b6107f18461076a565b92506107ff6020850161076a565b9150604084013590509250925092565b60008060408385031215610821578182fd5b61082a8361076a565b946020939093013593505050565b6000602080835283518082850152825b8181101561086457858101830151858201604001528201610848565b818111156108755783604083870101525b50601f01601f1916929092016040019392505050565b600082198211156108aa57634e487b7160e01b81526011600452602481fd5b500190565b6002810460018216806108c357607f821691505b602082108114156108e457634e487b7160e01b600052602260045260246000fd5b5091905056fea264697066735822122028b4a6ac1bf8359950d95561233648940f59f36ccadad5b0cf0e0158da49949464736f6c63430008020033",
  "deployedSourceMap": "120:314:92:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2156:98:12;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4433:197;;;;;;:::i;:::-;;:::i;:::-;;;1445:14:103;;1438:22;1420:41;;1408:2;1393:18;4433:197:12;1375:92:103;3244:106:12;3331:12;;3244:106;;;5015:25:103;;;5003:2;4988:18;3244:106:12;4970:76:103;5192:286:12;;;;;;:::i;:::-;;:::i;246:47:92:-;;287:6;246:47;;3093:91:12;;;3175:2;5193:36:103;;5181:2;5166:18;3093:91:12;5148:87:103;5873:234:12;;;;;;:::i;:::-;;:::i;3408:125::-;;;;;;:::i;:::-;;:::i;2367:102::-;;;:::i;154:42:92:-;;;;;;;;;;;;;;;-1:-1:-1;;;154:42:92;;;;;6594:427:12;;;;;;:::i;:::-;;:::i;3729:189::-;;;;;;:::i;:::-;;:::i;3976:149::-;;;;;;:::i;:::-;;:::i;202:37:92:-;;;;;;;;;;;;;;;-1:-1:-1;;;202:37:92;;;;;2156:98:12;2210:13;2242:5;2235:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2156:98;:::o;4433:197::-;4516:4;719:10:22;4570:32:12;719:10:22;4586:7:12;4595:6;4570:8;:32::i;:::-;-1:-1:-1;4619:4:12;;4433:197;-1:-1:-1;;;4433:197:12:o;5192:286::-;5319:4;719:10:22;5375:38:12;5391:4;719:10:22;5406:6:12;5375:15;:38::i;:::-;5423:27;5433:4;5439:2;5443:6;5423:9;:27::i;:::-;-1:-1:-1;5467:4:12;;5192:286;-1:-1:-1;;;;5192:286:12:o;5873:234::-;5961:4;719:10:22;6015:64:12;719:10:22;6031:7:12;6068:10;6040:25;719:10:22;6031:7:12;6040:9;:25::i;:::-;:38;;;;:::i;:::-;6015:8;:64::i;3408:125::-;-1:-1:-1;;;;;3508:18:12;;3482:7;3508:18;;;;;;;;;;;3408:125;;;;:::o;2367:102::-;2423:13;2455:7;2448:14;;;;;:::i;6594:427::-;6687:4;719:10:22;6687:4:12;6768:25;719:10:22;6785:7:12;6768:9;:25::i;:::-;6741:52;;6831:15;6811:16;:35;;6803:85;;;;-1:-1:-1;;;6803:85:12;;4665:2:103;6803:85:12;;;4647:21:103;4704:2;4684:18;;;4677:30;4743:34;4723:18;;;4716:62;-1:-1:-1;;;4794:18:103;;;4787:35;4839:19;;6803:85:12;;;;;;;;;6922:60;6931:5;6938:7;6966:15;6947:16;:34;6922:8;:60::i;3729:189::-;3808:4;719:10:22;3862:28:12;719:10:22;3879:2:12;3883:6;3862:9;:28::i;3976:149::-;-1:-1:-1;;;;;4091:18:12;;;4065:7;4091:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3976:149::o;10110:370::-;-1:-1:-1;;;;;10241:19:12;;10233:68;;;;-1:-1:-1;;;10233:68:12;;4260:2:103;10233:68:12;;;4242:21:103;4299:2;4279:18;;;4272:30;4338:34;4318:18;;;4311:62;-1:-1:-1;;;4389:18:103;;;4382:34;4433:19;;10233:68:12;4232:226:103;10233:68:12;-1:-1:-1;;;;;10319:21:12;;10311:68;;;;-1:-1:-1;;;10311:68:12;;2686:2:103;10311:68:12;;;2668:21:103;2725:2;2705:18;;;2698:30;2764:34;2744:18;;;2737:62;-1:-1:-1;;;2815:18:103;;;2808:32;2857:19;;10311:68:12;2658:224:103;10311:68:12;-1:-1:-1;;;;;10390:18:12;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10441:32;;5015:25:103;;;10441:32:12;;4988:18:103;10441:32:12;;;;;;;10110:370;;;:::o;10761:441::-;10891:24;10918:25;10928:5;10935:7;10918:9;:25::i;:::-;10891:52;;-1:-1:-1;;10957:16:12;:37;10953:243;;11038:6;11018:16;:26;;11010:68;;;;-1:-1:-1;;;11010:68:12;;3089:2:103;11010:68:12;;;3071:21:103;3128:2;3108:18;;;3101:30;3167:31;3147:18;;;3140:59;3216:18;;11010:68:12;3061:179:103;11010:68:12;11120:51;11129:5;11136:7;11164:6;11145:16;:25;11120:8;:51::i;:::-;10761:441;;;;:::o;7475:651::-;-1:-1:-1;;;;;7601:18:12;;7593:68;;;;-1:-1:-1;;;7593:68:12;;3854:2:103;7593:68:12;;;3836:21:103;3893:2;3873:18;;;3866:30;3932:34;3912:18;;;3905:62;-1:-1:-1;;;3983:18:103;;;3976:35;4028:19;;7593:68:12;3826:227:103;7593:68:12;-1:-1:-1;;;;;7679:16:12;;7671:64;;;;-1:-1:-1;;;7671:64:12;;2282:2:103;7671:64:12;;;2264:21:103;2321:2;2301:18;;;2294:30;2360:34;2340:18;;;2333:62;-1:-1:-1;;;2411:18:103;;;2404:33;2454:19;;7671:64:12;2254:225:103;7671:64:12;-1:-1:-1;;;;;7817:15:12;;7795:19;7817:15;;;;;;;;;;;7850:21;;;;7842:72;;;;-1:-1:-1;;;7842:72:12;;3447:2:103;7842:72:12;;;3429:21:103;3486:2;3466:18;;;3459:30;3525:34;3505:18;;;3498:62;-1:-1:-1;;;3576:18:103;;;3569:36;3622:19;;7842:72:12;3419:228:103;7842:72:12;-1:-1:-1;;;;;7948:15:12;;;:9;:15;;;;;;;;;;;7966:20;;;7948:38;;8006:13;;;;;;;;:23;;7980:6;;7948:9;8006:23;;7980:6;;8006:23;:::i;:::-;;;;;;;;8060:2;-1:-1:-1;;;;;8045:26:12;8054:4;-1:-1:-1;;;;;8045:26:12;;8064:6;8045:26;;;;5015:25:103;;5003:2;4988:18;;4970:76;8045:26:12;;;;;;;;8082:37;11786:121;14:173:103;82:20;;-1:-1:-1;;;;;131:31:103;;121:42;;111:2;;177:1;174;167:12;192:196;;304:2;292:9;283:7;279:23;275:32;272:2;;;325:6;317;310:22;272:2;353:29;372:9;353:29;:::i;:::-;343:39;262:126;-1:-1:-1;;;262:126:103:o;393:270::-;;;522:2;510:9;501:7;497:23;493:32;490:2;;;543:6;535;528:22;490:2;571:29;590:9;571:29;:::i;:::-;561:39;;619:38;653:2;642:9;638:18;619:38;:::i;:::-;609:48;;480:183;;;;;:::o;668:338::-;;;;814:2;802:9;793:7;789:23;785:32;782:2;;;835:6;827;820:22;782:2;863:29;882:9;863:29;:::i;:::-;853:39;;911:38;945:2;934:9;930:18;911:38;:::i;:::-;901:48;;996:2;985:9;981:18;968:32;958:42;;772:234;;;;;:::o;1011:264::-;;;1140:2;1128:9;1119:7;1115:23;1111:32;1108:2;;;1161:6;1153;1146:22;1108:2;1189:29;1208:9;1189:29;:::i;:::-;1179:39;1265:2;1250:18;;;;1237:32;;-1:-1:-1;;;1098:177:103:o;1472:603::-;;1613:2;1642;1631:9;1624:21;1674:6;1668:13;1717:6;1712:2;1701:9;1697:18;1690:34;1742:4;1755:140;1769:6;1766:1;1763:13;1755:140;;;1864:14;;;1860:23;;1854:30;1830:17;;;1849:2;1826:26;1819:66;1784:10;;1755:140;;;1913:6;1910:1;1907:13;1904:2;;;1983:4;1978:2;1969:6;1958:9;1954:22;1950:31;1943:45;1904:2;-1:-1:-1;2059:2:103;2038:15;-1:-1:-1;;2034:29:103;2019:45;;;;2066:2;2015:54;;1593:482;-1:-1:-1;;;1593:482:103:o;5240:229::-;;5311:1;5307:6;5304:1;5301:13;5298:2;;;-1:-1:-1;;;5337:33:103;;5393:4;5390:1;5383:15;5423:4;5344:3;5411:17;5298:2;-1:-1:-1;5454:9:103;;5288:181::o;5474:380::-;5559:1;5549:12;;5606:1;5596:12;;;5617:2;;5671:4;5663:6;5659:17;5649:27;;5617:2;5724;5716:6;5713:14;5693:18;5690:38;5687:2;;;5770:10;5765:3;5761:20;5758:1;5751:31;5805:4;5802:1;5795:15;5833:4;5830:1;5823:15;5687:2;;5529:325;;;:::o",
  "language": "Solidity",
  "natspec": {
    "kind": "dev",
    "methods": {
      "allowance(address,address)": {
        "details": "See {IERC20-allowance}."
      },
      "approve(address,uint256)": {
        "details": "See {IERC20-approve}. NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on `transferFrom`. This is semantically equivalent to an infinite approval. Requirements: - `spender` cannot be the zero address."
      },
      "balanceOf(address)": {
        "details": "See {IERC20-balanceOf}."
      },
      "decimals()": {
        "details": "Returns the number of decimals used to get its user representation. For example, if `decimals` equals `2`, a balance of `505` tokens should be displayed to a user as `5.05` (`505 / 10 ** 2`). Tokens usually opt for a value of 18, imitating the relationship between Ether and Wei. This is the value {ERC20} uses, unless this function is overridden; NOTE: This information is only used for _display_ purposes: it in no way affects any of the arithmetic of the contract, including {IERC20-balanceOf} and {IERC20-transfer}."
      },
      "decreaseAllowance(address,uint256)": {
        "details": "Atomically decreases the allowance granted to `spender` by the caller. This is an alternative to {approve} that can be used as a mitigation for problems described in {IERC20-approve}. Emits an {Approval} event indicating the updated allowance. Requirements: - `spender` cannot be the zero address. - `spender` must have allowance for the caller of at least `subtractedValue`."
      },
      "increaseAllowance(address,uint256)": {
        "details": "Atomically increases the allowance granted to `spender` by the caller. This is an alternative to {approve} that can be used as a mitigation for problems described in {IERC20-approve}. Emits an {Approval} event indicating the updated allowance. Requirements: - `spender` cannot be the zero address."
      },
      "name()": {
        "details": "Returns the name of the token."
      },
      "symbol()": {
        "details": "Returns the symbol of the token, usually a shorter version of the name."
      },
      "totalSupply()": {
        "details": "See {IERC20-totalSupply}."
      },
      "transfer(address,uint256)": {
        "details": "See {IERC20-transfer}. Requirements: - `to` cannot be the zero address. - the caller must have a balance of at least `amount`."
      },
      "transferFrom(address,address,uint256)": {
        "details": "See {IERC20-transferFrom}. Emits an {Approval} event indicating the updated allowance. This is not required by the EIP. See the note at the beginning of {ERC20}. NOTE: Does not update the allowance if the current allowance is the maximum `uint256`. Requirements: - `from` and `to` cannot be the zero address. - `from` must have a balance of at least `amount`. - the caller must have allowance for ``from``'s tokens of at least `amount`."
      }
    },
    "version": 1
  },
  "offset": [
    120,
    434
  ],
  "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0xEA JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x70A08231 GT PUSH2 0x8C JUMPI DUP1 PUSH4 0xA457C2D7 GT PUSH2 0x66 JUMPI DUP1 PUSH4 0xA457C2D7 EQ PUSH2 0x1CC JUMPI DUP1 PUSH4 0xA9059CBB EQ PUSH2 0x1DF JUMPI DUP1 PUSH4 0xDD62ED3E EQ PUSH2 0x1F2 JUMPI DUP1 PUSH4 0xF76F8D78 EQ PUSH2 0x205 JUMPI PUSH2 0xEA JUMP JUMPDEST DUP1 PUSH4 0x70A08231 EQ PUSH2 0x188 JUMPI DUP1 PUSH4 0x95D89B41 EQ PUSH2 0x19B JUMPI DUP1 PUSH4 0xA3F4DF7E EQ PUSH2 0x1A3 JUMPI PUSH2 0xEA JUMP JUMPDEST DUP1 PUSH4 0x23B872DD GT PUSH2 0xC8 JUMPI DUP1 PUSH4 0x23B872DD EQ PUSH2 0x142 JUMPI DUP1 PUSH4 0x2FF2E9DC EQ PUSH2 0x155 JUMPI DUP1 PUSH4 0x313CE567 EQ PUSH2 0x166 JUMPI DUP1 PUSH4 0x39509351 EQ PUSH2 0x175 JUMPI PUSH2 0xEA JUMP JUMPDEST DUP1 PUSH4 0x6FDDE03 EQ PUSH2 0xEF JUMPI DUP1 PUSH4 0x95EA7B3 EQ PUSH2 0x10D JUMPI DUP1 PUSH4 0x18160DDD EQ PUSH2 0x130 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0xF7 PUSH2 0x227 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x104 SWAP2 SWAP1 PUSH2 0x838 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x120 PUSH2 0x11B CALLDATASIZE PUSH1 0x4 PUSH2 0x80F JUMP JUMPDEST PUSH2 0x2B9 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x104 JUMP JUMPDEST PUSH1 0x2 SLOAD JUMPDEST PUSH1 0x40 MLOAD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x104 JUMP JUMPDEST PUSH2 0x120 PUSH2 0x150 CALLDATASIZE PUSH1 0x4 PUSH2 0x7D4 JUMP JUMPDEST PUSH2 0x2D1 JUMP JUMPDEST PUSH2 0x134 PUSH10 0xD3C21BCECCEDA1000000 DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH1 0x12 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x104 JUMP JUMPDEST PUSH2 0x120 PUSH2 0x183 CALLDATASIZE PUSH1 0x4 PUSH2 0x80F JUMP JUMPDEST PUSH2 0x2F5 JUMP JUMPDEST PUSH2 0x134 PUSH2 0x196 CALLDATASIZE PUSH1 0x4 PUSH2 0x781 JUMP JUMPDEST PUSH2 0x317 JUMP JUMPDEST PUSH2 0xF7 PUSH2 0x336 JUMP JUMPDEST PUSH2 0xF7 PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0xA DUP2 MSTORE PUSH1 0x20 ADD PUSH10 0x546573742044756D6D79 PUSH1 0xB0 SHL DUP2 MSTORE POP DUP2 JUMP JUMPDEST PUSH2 0x120 PUSH2 0x1DA CALLDATASIZE PUSH1 0x4 PUSH2 0x80F JUMP JUMPDEST PUSH2 0x345 JUMP JUMPDEST PUSH2 0x120 PUSH2 0x1ED CALLDATASIZE PUSH1 0x4 PUSH2 0x80F JUMP JUMPDEST PUSH2 0x3C5 JUMP JUMPDEST PUSH2 0x134 PUSH2 0x200 CALLDATASIZE PUSH1 0x4 PUSH2 0x7A2 JUMP JUMPDEST PUSH2 0x3D3 JUMP JUMPDEST PUSH2 0xF7 PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x3 DUP2 MSTORE PUSH1 0x20 ADD PUSH3 0x544459 PUSH1 0xE8 SHL DUP2 MSTORE POP DUP2 JUMP JUMPDEST PUSH1 0x60 PUSH1 0x3 DUP1 SLOAD PUSH2 0x236 SWAP1 PUSH2 0x8AF JUMP JUMPDEST DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH2 0x262 SWAP1 PUSH2 0x8AF JUMP JUMPDEST DUP1 ISZERO PUSH2 0x2AF JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x284 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x2AF JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x292 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2C7 DUP2 DUP6 DUP6 PUSH2 0x3FE JUMP JUMPDEST POP PUSH1 0x1 SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2DF DUP6 DUP3 DUP6 PUSH2 0x522 JUMP JUMPDEST PUSH2 0x2EA DUP6 DUP6 DUP6 PUSH2 0x59C JUMP JUMPDEST POP PUSH1 0x1 SWAP5 SWAP4 POP POP POP POP JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2C7 DUP2 DUP6 DUP6 PUSH2 0x308 DUP4 DUP4 PUSH2 0x3D3 JUMP JUMPDEST PUSH2 0x312 SWAP2 SWAP1 PUSH2 0x88B JUMP JUMPDEST PUSH2 0x3FE JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 KECCAK256 SLOAD JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x60 PUSH1 0x4 DUP1 SLOAD PUSH2 0x236 SWAP1 PUSH2 0x8AF JUMP JUMPDEST PUSH1 0x0 CALLER DUP2 PUSH2 0x353 DUP3 DUP7 PUSH2 0x3D3 JUMP JUMPDEST SWAP1 POP DUP4 DUP2 LT ISZERO PUSH2 0x3B8 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x25 PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A2064656372656173656420616C6C6F77616E63652062656C6F77 PUSH1 0x44 DUP3 ADD MSTORE PUSH5 0x207A65726F PUSH1 0xD8 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH2 0x2EA DUP3 DUP7 DUP7 DUP5 SUB PUSH2 0x3FE JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2C7 DUP2 DUP6 DUP6 PUSH2 0x59C JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP2 DUP3 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 KECCAK256 SWAP4 SWAP1 SWAP5 AND DUP3 MSTORE SWAP2 SWAP1 SWAP2 MSTORE KECCAK256 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH2 0x460 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x24 DUP1 DUP3 ADD MSTORE PUSH32 0x45524332303A20617070726F76652066726F6D20746865207A65726F20616464 PUSH1 0x44 DUP3 ADD MSTORE PUSH4 0x72657373 PUSH1 0xE0 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x4C1 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x22 PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A20617070726F766520746F20746865207A65726F206164647265 PUSH1 0x44 DUP3 ADD MSTORE PUSH2 0x7373 PUSH1 0xF0 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 DUP2 AND PUSH1 0x0 DUP2 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 KECCAK256 SWAP5 DUP8 AND DUP1 DUP5 MSTORE SWAP5 DUP3 MSTORE SWAP2 DUP3 SWAP1 KECCAK256 DUP6 SWAP1 SSTORE SWAP1 MLOAD DUP5 DUP2 MSTORE PUSH32 0x8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925 SWAP2 ADD PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG3 POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x52E DUP5 DUP5 PUSH2 0x3D3 JUMP JUMPDEST SWAP1 POP PUSH1 0x0 NOT DUP2 EQ PUSH2 0x596 JUMPI DUP2 DUP2 LT ISZERO PUSH2 0x589 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x1D PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A20696E73756666696369656E7420616C6C6F77616E6365000000 PUSH1 0x44 DUP3 ADD MSTORE PUSH1 0x64 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH2 0x596 DUP5 DUP5 DUP5 DUP5 SUB PUSH2 0x3FE JUMP JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH2 0x600 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x25 PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A207472616E736665722066726F6D20746865207A65726F206164 PUSH1 0x44 DUP3 ADD MSTORE PUSH5 0x6472657373 PUSH1 0xD8 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x662 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x23 PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A207472616E7366657220746F20746865207A65726F2061646472 PUSH1 0x44 DUP3 ADD MSTORE PUSH3 0x657373 PUSH1 0xE8 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 KECCAK256 SLOAD DUP2 DUP2 LT ISZERO PUSH2 0x6DA JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x26 PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A207472616E7366657220616D6F756E7420657863656564732062 PUSH1 0x44 DUP3 ADD MSTORE PUSH6 0x616C616E6365 PUSH1 0xD0 SHL PUSH1 0x64 DUP3 ADD MSTORE PUSH1 0x84 ADD PUSH2 0x3AF JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP1 DUP6 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP1 DUP3 KECCAK256 DUP6 DUP6 SUB SWAP1 SSTORE SWAP2 DUP6 AND DUP2 MSTORE SWAP1 DUP2 KECCAK256 DUP1 SLOAD DUP5 SWAP3 SWAP1 PUSH2 0x711 SWAP1 DUP5 SWAP1 PUSH2 0x88B JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP DUP3 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND DUP5 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH32 0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF DUP5 PUSH1 0x40 MLOAD PUSH2 0x75D SWAP2 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG3 PUSH2 0x596 JUMP JUMPDEST DUP1 CALLDATALOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND DUP2 EQ PUSH2 0x331 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x792 JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x79B DUP3 PUSH2 0x76A JUMP JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x7B4 JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x7BD DUP4 PUSH2 0x76A JUMP JUMPDEST SWAP2 POP PUSH2 0x7CB PUSH1 0x20 DUP5 ADD PUSH2 0x76A JUMP JUMPDEST SWAP1 POP SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x0 PUSH1 0x60 DUP5 DUP7 SUB SLT ISZERO PUSH2 0x7E8 JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x7F1 DUP5 PUSH2 0x76A JUMP JUMPDEST SWAP3 POP PUSH2 0x7FF PUSH1 0x20 DUP6 ADD PUSH2 0x76A JUMP JUMPDEST SWAP2 POP PUSH1 0x40 DUP5 ADD CALLDATALOAD SWAP1 POP SWAP3 POP SWAP3 POP SWAP3 JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x821 JUMPI DUP2 DUP3 REVERT JUMPDEST PUSH2 0x82A DUP4 PUSH2 0x76A JUMP JUMPDEST SWAP5 PUSH1 0x20 SWAP4 SWAP1 SWAP4 ADD CALLDATALOAD SWAP4 POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP1 DUP4 MSTORE DUP4 MLOAD DUP1 DUP3 DUP6 ADD MSTORE DUP3 JUMPDEST DUP2 DUP2 LT ISZERO PUSH2 0x864 JUMPI DUP6 DUP2 ADD DUP4 ADD MLOAD DUP6 DUP3 ADD PUSH1 0x40 ADD MSTORE DUP3 ADD PUSH2 0x848 JUMP JUMPDEST DUP2 DUP2 GT ISZERO PUSH2 0x875 JUMPI DUP4 PUSH1 0x40 DUP4 DUP8 ADD ADD MSTORE JUMPDEST POP PUSH1 0x1F ADD PUSH1 0x1F NOT AND SWAP3 SWAP1 SWAP3 ADD PUSH1 0x40 ADD SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x0 DUP3 NOT DUP3 GT ISZERO PUSH2 0x8AA JUMPI PUSH4 0x4E487B71 PUSH1 0xE0 SHL DUP2 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 DUP2 REVERT JUMPDEST POP ADD SWAP1 JUMP JUMPDEST PUSH1 0x2 DUP2 DIV PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x8C3 JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x8E4 JUMPI PUSH4 0x4E487B71 PUSH1 0xE0 SHL PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0x28 0xB4 0xA6 0xAC SHL 0xF8 CALLDATALOAD SWAP10 POP 0xD9 SSTORE PUSH2 0x2336 0x48 SWAP5 0xF MSIZE RETURN PUSH13 0xCADAD5B0CF0E0158DA49949464 PUSH20 0x6F6C634300080200330000000000000000000000 ",
  "pcMap": {
    "0": {
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x80"
    },
    "2": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "4": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "5": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "CALLVALUE",
      "path": "92"
    },
    "6": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "7": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "ISZERO",
      "path": "92"
    },
    "8": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x10"
    },
    "11": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "12": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x0"
    },
    "14": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "15": {
      "dev": "Cannot send ether to nonpayable function",
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "REVERT",
      "path": "92"
    },
    "16": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "17": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "POP",
      "path": "92"
    },
    "18": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x4"
    },
    "20": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "CALLDATASIZE",
      "path": "92"
    },
    "21": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "LT",
      "path": "92"
    },
    "22": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xEA"
    },
    "25": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "26": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x0"
    },
    "28": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "CALLDATALOAD",
      "path": "92"
    },
    "29": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0xE0"
    },
    "31": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "SHR",
      "path": "92"
    },
    "32": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "33": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x70A08231"
    },
    "38": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "GT",
      "path": "92"
    },
    "39": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x8C"
    },
    "42": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "43": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "44": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xA457C2D7"
    },
    "49": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "GT",
      "path": "92"
    },
    "50": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x66"
    },
    "53": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "54": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "55": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xA457C2D7"
    },
    "60": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "61": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x1CC"
    },
    "64": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "65": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "66": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xA9059CBB"
    },
    "71": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "72": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x1DF"
    },
    "75": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "76": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "77": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xDD62ED3E"
    },
    "82": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "83": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x1F2"
    },
    "86": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "87": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "88": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xF76F8D78"
    },
    "93": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "94": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x205"
    },
    "97": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "98": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xEA"
    },
    "101": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMP",
      "path": "92"
    },
    "102": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "103": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "104": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x70A08231"
    },
    "109": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "110": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x188"
    },
    "113": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "114": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "115": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x95D89B41"
    },
    "120": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "121": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x19B"
    },
    "124": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "125": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "126": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0xA3F4DF7E"
    },
    "131": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "132": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x1A3"
    },
    "135": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "136": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xEA"
    },
    "139": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMP",
      "path": "92"
    },
    "140": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "141": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "142": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x23B872DD"
    },
    "147": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "GT",
      "path": "92"
    },
    "148": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xC8"
    },
    "151": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "152": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "153": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x23B872DD"
    },
    "158": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "159": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x142"
    },
    "162": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "163": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "164": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x2FF2E9DC"
    },
    "169": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "170": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x155"
    },
    "173": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "174": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "175": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x313CE567"
    },
    "180": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "181": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x166"
    },
    "184": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "185": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "186": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x39509351"
    },
    "191": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "192": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x175"
    },
    "195": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "196": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xEA"
    },
    "199": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMP",
      "path": "92"
    },
    "200": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "201": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "202": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x6FDDE03"
    },
    "207": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "208": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xEF"
    },
    "211": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "212": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "213": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x95EA7B3"
    },
    "218": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "219": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x10D"
    },
    "222": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "223": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "224": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH4",
      "path": "92",
      "value": "0x18160DDD"
    },
    "229": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "EQ",
      "path": "92"
    },
    "230": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x130"
    },
    "233": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPI",
      "path": "92"
    },
    "234": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "235": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x0"
    },
    "237": {
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "DUP1",
      "path": "92"
    },
    "238": {
      "first_revert": true,
      "fn": null,
      "offset": [
        120,
        434
      ],
      "op": "REVERT",
      "path": "92"
    },
    "239": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "240": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0xF7"
    },
    "243": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x227"
    },
    "246": {
      "fn": "ERC20.name",
      "jump": "i",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMP",
      "path": "12"
    },
    "247": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "248": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "250": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "251": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x104"
    },
    "254": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "255": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "256": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x838"
    },
    "259": {
      "fn": "ERC20.name",
      "jump": "i",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMP",
      "path": "12"
    },
    "260": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "261": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "263": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "264": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "DUP1",
      "path": "12"
    },
    "265": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "266": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SUB",
      "path": "12"
    },
    "267": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "268": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "RETURN",
      "path": "12"
    },
    "269": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "270": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x120"
    },
    "273": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x11B"
    },
    "276": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "277": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "279": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x80F"
    },
    "282": {
      "fn": "ERC20.approve",
      "jump": "i",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMP",
      "path": "12"
    },
    "283": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "284": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x2B9"
    },
    "287": {
      "fn": "ERC20.approve",
      "jump": "i",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMP",
      "path": "12"
    },
    "288": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "289": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "291": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "292": {
      "op": "SWAP1"
    },
    "293": {
      "op": "ISZERO"
    },
    "294": {
      "op": "ISZERO"
    },
    "295": {
      "op": "DUP2"
    },
    "296": {
      "op": "MSTORE"
    },
    "297": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "299": {
      "op": "ADD"
    },
    "300": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x104"
    },
    "303": {
      "op": "JUMP"
    },
    "304": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3244,
        3350
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "305": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3331,
        3343
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 0,
      "value": "0x2"
    },
    "307": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3331,
        3343
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "308": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3244,
        3350
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "309": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3244,
        3350
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "311": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3244,
        3350
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "312": {
      "op": "SWAP1"
    },
    "313": {
      "op": "DUP2"
    },
    "314": {
      "op": "MSTORE"
    },
    "315": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "317": {
      "op": "ADD"
    },
    "318": {
      "fn": "ERC20.totalSupply",
      "offset": [
        3244,
        3350
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x104"
    },
    "321": {
      "op": "JUMP"
    },
    "322": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "323": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x120"
    },
    "326": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x150"
    },
    "329": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "330": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "332": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x7D4"
    },
    "335": {
      "fn": "ERC20.transferFrom",
      "jump": "i",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMP",
      "path": "12"
    },
    "336": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "337": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x2D1"
    },
    "340": {
      "fn": "ERC20.transferFrom",
      "jump": "i",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMP",
      "path": "12"
    },
    "341": {
      "offset": [
        246,
        293
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "342": {
      "fn": "ERC20.transferFrom",
      "offset": [
        246,
        293
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0x134"
    },
    "345": {
      "offset": [
        287,
        293
      ],
      "op": "PUSH10",
      "path": "92",
      "value": "0xD3C21BCECCEDA1000000"
    },
    "356": {
      "offset": [
        246,
        293
      ],
      "op": "DUP2",
      "path": "92"
    },
    "357": {
      "fn": "ERC20.transferFrom",
      "offset": [
        246,
        293
      ],
      "op": "JUMP",
      "path": "92"
    },
    "358": {
      "fn": "ERC20.decimals",
      "offset": [
        3093,
        3184
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "359": {
      "fn": "ERC20.decimals",
      "offset": [
        3093,
        3184
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "361": {
      "fn": "ERC20.decimals",
      "offset": [
        3093,
        3184
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "362": {
      "fn": "ERC20.decimals",
      "offset": [
        3175,
        3177
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 1,
      "value": "0x12"
    },
    "364": {
      "op": "DUP2"
    },
    "365": {
      "op": "MSTORE"
    },
    "366": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "368": {
      "op": "ADD"
    },
    "369": {
      "fn": "ERC20.decimals",
      "offset": [
        3093,
        3184
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x104"
    },
    "372": {
      "op": "JUMP"
    },
    "373": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "374": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x120"
    },
    "377": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x183"
    },
    "380": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "381": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "383": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x80F"
    },
    "386": {
      "fn": "ERC20.increaseAllowance",
      "jump": "i",
      "offset": [
        5873,
        6107
      ],
      "op": "JUMP",
      "path": "12"
    },
    "387": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "388": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x2F5"
    },
    "391": {
      "fn": "ERC20.increaseAllowance",
      "jump": "i",
      "offset": [
        5873,
        6107
      ],
      "op": "JUMP",
      "path": "12"
    },
    "392": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "393": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x134"
    },
    "396": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x196"
    },
    "399": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "400": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "402": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x781"
    },
    "405": {
      "fn": "ERC20.balanceOf",
      "jump": "i",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMP",
      "path": "12"
    },
    "406": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "407": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x317"
    },
    "410": {
      "fn": "ERC20.balanceOf",
      "jump": "i",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMP",
      "path": "12"
    },
    "411": {
      "fn": "ERC20.symbol",
      "offset": [
        2367,
        2469
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "412": {
      "fn": "ERC20.symbol",
      "offset": [
        2367,
        2469
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0xF7"
    },
    "415": {
      "fn": "ERC20.symbol",
      "offset": [
        2367,
        2469
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x336"
    },
    "418": {
      "fn": "ERC20.symbol",
      "jump": "i",
      "offset": [
        2367,
        2469
      ],
      "op": "JUMP",
      "path": "12"
    },
    "419": {
      "offset": [
        154,
        196
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "420": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xF7"
    },
    "423": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "425": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "MLOAD",
      "path": "92"
    },
    "426": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "DUP1",
      "path": "92"
    },
    "427": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "429": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "ADD",
      "path": "92"
    },
    "430": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "432": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "433": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "DUP1",
      "path": "92"
    },
    "434": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0xA"
    },
    "436": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "DUP2",
      "path": "92"
    },
    "437": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "438": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x20"
    },
    "440": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "ADD",
      "path": "92"
    },
    "441": {
      "op": "PUSH10",
      "value": "0x546573742044756D6D79"
    },
    "452": {
      "op": "PUSH1",
      "value": "0xB0"
    },
    "454": {
      "op": "SHL"
    },
    "455": {
      "offset": [
        154,
        196
      ],
      "op": "DUP2",
      "path": "92"
    },
    "456": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "457": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "POP",
      "path": "92"
    },
    "458": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "DUP2",
      "path": "92"
    },
    "459": {
      "fn": "ERC20.symbol",
      "offset": [
        154,
        196
      ],
      "op": "JUMP",
      "path": "92"
    },
    "460": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "461": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x120"
    },
    "464": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x1DA"
    },
    "467": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "468": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "470": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x80F"
    },
    "473": {
      "fn": "ERC20.decreaseAllowance",
      "jump": "i",
      "offset": [
        6594,
        7021
      ],
      "op": "JUMP",
      "path": "12"
    },
    "474": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "475": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x345"
    },
    "478": {
      "fn": "ERC20.decreaseAllowance",
      "jump": "i",
      "offset": [
        6594,
        7021
      ],
      "op": "JUMP",
      "path": "12"
    },
    "479": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "480": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x120"
    },
    "483": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x1ED"
    },
    "486": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "487": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "489": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x80F"
    },
    "492": {
      "fn": "ERC20.transfer",
      "jump": "i",
      "offset": [
        3729,
        3918
      ],
      "op": "JUMP",
      "path": "12"
    },
    "493": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "494": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3C5"
    },
    "497": {
      "fn": "ERC20.transfer",
      "jump": "i",
      "offset": [
        3729,
        3918
      ],
      "op": "JUMP",
      "path": "12"
    },
    "498": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "499": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x134"
    },
    "502": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x200"
    },
    "505": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "CALLDATASIZE",
      "path": "12"
    },
    "506": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "508": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x7A2"
    },
    "511": {
      "fn": "ERC20.allowance",
      "jump": "i",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMP",
      "path": "12"
    },
    "512": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "513": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3D3"
    },
    "516": {
      "fn": "ERC20.allowance",
      "jump": "i",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMP",
      "path": "12"
    },
    "517": {
      "offset": [
        202,
        239
      ],
      "op": "JUMPDEST",
      "path": "92"
    },
    "518": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH2",
      "path": "92",
      "value": "0xF7"
    },
    "521": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "523": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "MLOAD",
      "path": "92"
    },
    "524": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "DUP1",
      "path": "92"
    },
    "525": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "527": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "ADD",
      "path": "92"
    },
    "528": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x40"
    },
    "530": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "531": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "DUP1",
      "path": "92"
    },
    "532": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x3"
    },
    "534": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "DUP2",
      "path": "92"
    },
    "535": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "536": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "PUSH1",
      "path": "92",
      "value": "0x20"
    },
    "538": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "ADD",
      "path": "92"
    },
    "539": {
      "op": "PUSH3",
      "value": "0x544459"
    },
    "543": {
      "op": "PUSH1",
      "value": "0xE8"
    },
    "545": {
      "op": "SHL"
    },
    "546": {
      "offset": [
        202,
        239
      ],
      "op": "DUP2",
      "path": "92"
    },
    "547": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "MSTORE",
      "path": "92"
    },
    "548": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "POP",
      "path": "92"
    },
    "549": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "DUP2",
      "path": "92"
    },
    "550": {
      "fn": "ERC20.allowance",
      "offset": [
        202,
        239
      ],
      "op": "JUMP",
      "path": "92"
    },
    "551": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "552": {
      "fn": "ERC20.name",
      "offset": [
        2210,
        2223
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x60"
    },
    "554": {
      "fn": "ERC20.name",
      "offset": [
        2242,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 2,
      "value": "0x3"
    },
    "556": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "557": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "558": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x236"
    },
    "561": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "562": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x8AF"
    },
    "565": {
      "fn": "ERC20.name",
      "jump": "i",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMP",
      "path": "12"
    },
    "566": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "567": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "568": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1F"
    },
    "570": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "571": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "573": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "574": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "575": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DIV",
      "path": "12"
    },
    "576": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MUL",
      "path": "12"
    },
    "577": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "579": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "580": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "582": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "583": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "584": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP2",
      "path": "12"
    },
    "585": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "586": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "588": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "589": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "590": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP3",
      "path": "12"
    },
    "591": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "592": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "593": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP2",
      "path": "12"
    },
    "594": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP2",
      "path": "12"
    },
    "595": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "596": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "598": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "599": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP3",
      "path": "12"
    },
    "600": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "601": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "602": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x262"
    },
    "605": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "606": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x8AF"
    },
    "609": {
      "fn": "ERC20.name",
      "jump": "i",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMP",
      "path": "12"
    },
    "610": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "611": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "612": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ISZERO",
      "path": "12"
    },
    "613": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x2AF"
    },
    "616": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "617": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "618": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1F"
    },
    "620": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "LT",
      "path": "12"
    },
    "621": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x284"
    },
    "624": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "625": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x100"
    },
    "628": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "629": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP4",
      "path": "12"
    },
    "630": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "631": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DIV",
      "path": "12"
    },
    "632": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MUL",
      "path": "12"
    },
    "633": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP4",
      "path": "12"
    },
    "634": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "635": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "636": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "638": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "639": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "640": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x2AF"
    },
    "643": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMP",
      "path": "12"
    },
    "644": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "645": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP3",
      "path": "12"
    },
    "646": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "647": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "648": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "649": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "651": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "652": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "654": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "656": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "657": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "658": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "659": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP2",
      "path": "12"
    },
    "660": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "661": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP2",
      "path": "12"
    },
    "662": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "663": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "664": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1"
    },
    "666": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "667": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "668": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "670": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "671": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP1",
      "path": "12"
    },
    "672": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP4",
      "path": "12"
    },
    "673": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "GT",
      "path": "12"
    },
    "674": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x292"
    },
    "677": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "678": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP3",
      "path": "12"
    },
    "679": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "680": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SUB",
      "path": "12"
    },
    "681": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1F"
    },
    "683": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "AND",
      "path": "12"
    },
    "684": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "DUP3",
      "path": "12"
    },
    "685": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "ADD",
      "path": "12"
    },
    "686": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "687": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "688": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "689": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "690": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "691": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "692": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "693": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "694": {
      "fn": "ERC20.name",
      "offset": [
        2235,
        2247
      ],
      "op": "POP",
      "path": "12"
    },
    "695": {
      "fn": "ERC20.name",
      "offset": [
        2156,
        2254
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "696": {
      "fn": "ERC20.name",
      "jump": "o",
      "offset": [
        2156,
        2254
      ],
      "op": "JUMP",
      "path": "12"
    },
    "697": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "698": {
      "fn": "ERC20.approve",
      "offset": [
        4516,
        4520
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "700": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "CALLER",
      "path": "22",
      "statement": 3
    },
    "701": {
      "fn": "ERC20.approve",
      "offset": [
        4570,
        4602
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 4,
      "value": "0x2C7"
    },
    "704": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP2",
      "path": "22"
    },
    "705": {
      "fn": "ERC20.approve",
      "offset": [
        4586,
        4593
      ],
      "op": "DUP6",
      "path": "12"
    },
    "706": {
      "fn": "ERC20.approve",
      "offset": [
        4595,
        4601
      ],
      "op": "DUP6",
      "path": "12"
    },
    "707": {
      "fn": "ERC20.approve",
      "offset": [
        4570,
        4578
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3FE"
    },
    "710": {
      "fn": "ERC20.approve",
      "jump": "i",
      "offset": [
        4570,
        4602
      ],
      "op": "JUMP",
      "path": "12"
    },
    "711": {
      "fn": "ERC20.approve",
      "offset": [
        4570,
        4602
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "712": {
      "op": "POP"
    },
    "713": {
      "fn": "ERC20.approve",
      "offset": [
        4619,
        4623
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 5,
      "value": "0x1"
    },
    "715": {
      "fn": "ERC20.approve",
      "offset": [
        4619,
        4623
      ],
      "op": "SWAP4",
      "path": "12"
    },
    "716": {
      "fn": "ERC20.approve",
      "offset": [
        4433,
        4630
      ],
      "op": "SWAP3",
      "path": "12"
    },
    "717": {
      "op": "POP"
    },
    "718": {
      "op": "POP"
    },
    "719": {
      "op": "POP"
    },
    "720": {
      "fn": "ERC20.approve",
      "jump": "o",
      "offset": [
        4433,
        4630
      ],
      "op": "JUMP",
      "path": "12"
    },
    "721": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "722": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5319,
        5323
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "724": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "CALLER",
      "path": "22"
    },
    "725": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5375,
        5413
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 6,
      "value": "0x2DF"
    },
    "728": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5391,
        5395
      ],
      "op": "DUP6",
      "path": "12"
    },
    "729": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP3",
      "path": "22"
    },
    "730": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5406,
        5412
      ],
      "op": "DUP6",
      "path": "12"
    },
    "731": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5375,
        5390
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x522"
    },
    "734": {
      "fn": "ERC20.transferFrom",
      "jump": "i",
      "offset": [
        5375,
        5413
      ],
      "op": "JUMP",
      "path": "12"
    },
    "735": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5375,
        5413
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "736": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5423,
        5450
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 7,
      "value": "0x2EA"
    },
    "739": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5433,
        5437
      ],
      "op": "DUP6",
      "path": "12"
    },
    "740": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5439,
        5441
      ],
      "op": "DUP6",
      "path": "12"
    },
    "741": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5443,
        5449
      ],
      "op": "DUP6",
      "path": "12"
    },
    "742": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5423,
        5432
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x59C"
    },
    "745": {
      "fn": "ERC20.transferFrom",
      "jump": "i",
      "offset": [
        5423,
        5450
      ],
      "op": "JUMP",
      "path": "12"
    },
    "746": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5423,
        5450
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "747": {
      "op": "POP"
    },
    "748": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5467,
        5471
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 8,
      "value": "0x1"
    },
    "750": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5467,
        5471
      ],
      "op": "SWAP5",
      "path": "12"
    },
    "751": {
      "fn": "ERC20.transferFrom",
      "offset": [
        5192,
        5478
      ],
      "op": "SWAP4",
      "path": "12"
    },
    "752": {
      "op": "POP"
    },
    "753": {
      "op": "POP"
    },
    "754": {
      "op": "POP"
    },
    "755": {
      "op": "POP"
    },
    "756": {
      "fn": "ERC20.transferFrom",
      "jump": "o",
      "offset": [
        5192,
        5478
      ],
      "op": "JUMP",
      "path": "12"
    },
    "757": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5873,
        6107
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "758": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        5961,
        5965
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "760": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "CALLER",
      "path": "22"
    },
    "761": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6015,
        6079
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 9,
      "value": "0x2C7"
    },
    "764": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP2",
      "path": "22"
    },
    "765": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6031,
        6038
      ],
      "op": "DUP6",
      "path": "12"
    },
    "766": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6068,
        6078
      ],
      "op": "DUP6",
      "path": "12"
    },
    "767": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6065
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x308"
    },
    "770": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP4",
      "path": "22"
    },
    "771": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6031,
        6038
      ],
      "op": "DUP4",
      "path": "12"
    },
    "772": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6049
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3D3"
    },
    "775": {
      "fn": "ERC20.increaseAllowance",
      "jump": "i",
      "offset": [
        6040,
        6065
      ],
      "op": "JUMP",
      "path": "12"
    },
    "776": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6065
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "777": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6078
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x312"
    },
    "780": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6078
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "781": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6078
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "782": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6078
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x88B"
    },
    "785": {
      "fn": "ERC20.increaseAllowance",
      "jump": "i",
      "offset": [
        6040,
        6078
      ],
      "op": "JUMP",
      "path": "12"
    },
    "786": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6040,
        6078
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "787": {
      "fn": "ERC20.increaseAllowance",
      "offset": [
        6015,
        6023
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3FE"
    },
    "790": {
      "fn": "ERC20.increaseAllowance",
      "jump": "i",
      "offset": [
        6015,
        6079
      ],
      "op": "JUMP",
      "path": "12"
    },
    "791": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "792": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "794": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "796": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "798": {
      "op": "SHL"
    },
    "799": {
      "op": "SUB"
    },
    "800": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "DUP2",
      "path": "12",
      "statement": 10
    },
    "801": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "AND",
      "path": "12"
    },
    "802": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3482,
        3489
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "804": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "805": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "DUP2",
      "path": "12"
    },
    "806": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "807": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "809": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "DUP2",
      "path": "12"
    },
    "810": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "811": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "812": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "814": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "815": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "816": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3508,
        3526
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "817": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "818": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "819": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "820": {
      "fn": "ERC20.balanceOf",
      "offset": [
        3408,
        3533
      ],
      "op": "POP",
      "path": "12"
    },
    "821": {
      "fn": "ERC20.balanceOf",
      "jump": "o",
      "offset": [
        3408,
        3533
      ],
      "op": "JUMP",
      "path": "12"
    },
    "822": {
      "fn": "ERC20.symbol",
      "offset": [
        2367,
        2469
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "823": {
      "fn": "ERC20.symbol",
      "offset": [
        2423,
        2436
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x60"
    },
    "825": {
      "fn": "ERC20.symbol",
      "offset": [
        2455,
        2462
      ],
      "op": "PUSH1",
      "path": "12",
      "statement": 11,
      "value": "0x4"
    },
    "827": {
      "fn": "ERC20.symbol",
      "offset": [
        2448,
        2462
      ],
      "op": "DUP1",
      "path": "12"
    },
    "828": {
      "fn": "ERC20.symbol",
      "offset": [
        2448,
        2462
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "829": {
      "fn": "ERC20.symbol",
      "offset": [
        2448,
        2462
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x236"
    },
    "832": {
      "fn": "ERC20.symbol",
      "offset": [
        2448,
        2462
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "833": {
      "fn": "ERC20.symbol",
      "offset": [
        2448,
        2462
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x8AF"
    },
    "836": {
      "fn": "ERC20.symbol",
      "jump": "i",
      "offset": [
        2448,
        2462
      ],
      "op": "JUMP",
      "path": "12"
    },
    "837": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6594,
        7021
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "838": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6687,
        6691
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "840": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "CALLER",
      "path": "22"
    },
    "841": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6687,
        6691
      ],
      "op": "DUP2",
      "path": "12"
    },
    "842": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6768,
        6793
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x353"
    },
    "845": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP3",
      "path": "22"
    },
    "846": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6785,
        6792
      ],
      "op": "DUP7",
      "path": "12"
    },
    "847": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6768,
        6777
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3D3"
    },
    "850": {
      "fn": "ERC20.decreaseAllowance",
      "jump": "i",
      "offset": [
        6768,
        6793
      ],
      "op": "JUMP",
      "path": "12"
    },
    "851": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6768,
        6793
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "852": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6741,
        6793
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "853": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6741,
        6793
      ],
      "op": "POP",
      "path": "12"
    },
    "854": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6831,
        6846
      ],
      "op": "DUP4",
      "path": "12",
      "statement": 12
    },
    "855": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6811,
        6827
      ],
      "op": "DUP2",
      "path": "12"
    },
    "856": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6811,
        6846
      ],
      "op": "LT",
      "path": "12"
    },
    "857": {
      "branch": 29,
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6811,
        6846
      ],
      "op": "ISZERO",
      "path": "12"
    },
    "858": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3B8"
    },
    "861": {
      "branch": 29,
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "862": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "864": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "865": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "869": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "871": {
      "op": "SHL"
    },
    "872": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "DUP2",
      "path": "12"
    },
    "873": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "874": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "876": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "878": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "DUP3",
      "path": "12"
    },
    "879": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "ADD",
      "path": "12"
    },
    "880": {
      "op": "MSTORE"
    },
    "881": {
      "op": "PUSH1",
      "value": "0x25"
    },
    "883": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "885": {
      "op": "DUP3"
    },
    "886": {
      "op": "ADD"
    },
    "887": {
      "op": "MSTORE"
    },
    "888": {
      "op": "PUSH32",
      "value": "0x45524332303A2064656372656173656420616C6C6F77616E63652062656C6F77"
    },
    "921": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "923": {
      "op": "DUP3"
    },
    "924": {
      "op": "ADD"
    },
    "925": {
      "op": "MSTORE"
    },
    "926": {
      "op": "PUSH5",
      "value": "0x207A65726F"
    },
    "932": {
      "op": "PUSH1",
      "value": "0xD8"
    },
    "934": {
      "op": "SHL"
    },
    "935": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "937": {
      "op": "DUP3"
    },
    "938": {
      "op": "ADD"
    },
    "939": {
      "op": "MSTORE"
    },
    "940": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "942": {
      "op": "ADD"
    },
    "943": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "944": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "946": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "947": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "DUP1",
      "path": "12"
    },
    "948": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "949": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "SUB",
      "path": "12"
    },
    "950": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "951": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "REVERT",
      "optimizer_revert": true,
      "path": "12"
    },
    "952": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6803,
        6888
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "953": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6922,
        6982
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 13,
      "value": "0x2EA"
    },
    "956": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6931,
        6936
      ],
      "op": "DUP3",
      "path": "12"
    },
    "957": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6938,
        6945
      ],
      "op": "DUP7",
      "path": "12"
    },
    "958": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6966,
        6981
      ],
      "op": "DUP7",
      "path": "12"
    },
    "959": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6947,
        6963
      ],
      "op": "DUP5",
      "path": "12"
    },
    "960": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6947,
        6981
      ],
      "op": "SUB",
      "path": "12"
    },
    "961": {
      "fn": "ERC20.decreaseAllowance",
      "offset": [
        6922,
        6930
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3FE"
    },
    "964": {
      "fn": "ERC20.decreaseAllowance",
      "jump": "i",
      "offset": [
        6922,
        6982
      ],
      "op": "JUMP",
      "path": "12"
    },
    "965": {
      "fn": "ERC20.transfer",
      "offset": [
        3729,
        3918
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "966": {
      "fn": "ERC20.transfer",
      "offset": [
        3808,
        3812
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "968": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "CALLER",
      "path": "22"
    },
    "969": {
      "fn": "ERC20.transfer",
      "offset": [
        3862,
        3890
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 14,
      "value": "0x2C7"
    },
    "972": {
      "fn": "Context._msgSender",
      "offset": [
        719,
        729
      ],
      "op": "DUP2",
      "path": "22"
    },
    "973": {
      "fn": "ERC20.transfer",
      "offset": [
        3879,
        3881
      ],
      "op": "DUP6",
      "path": "12"
    },
    "974": {
      "fn": "ERC20.transfer",
      "offset": [
        3883,
        3889
      ],
      "op": "DUP6",
      "path": "12"
    },
    "975": {
      "fn": "ERC20.transfer",
      "offset": [
        3862,
        3871
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x59C"
    },
    "978": {
      "fn": "ERC20.transfer",
      "jump": "i",
      "offset": [
        3862,
        3890
      ],
      "op": "JUMP",
      "path": "12"
    },
    "979": {
      "fn": "ERC20.allowance",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "980": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "982": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "984": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "986": {
      "op": "SHL"
    },
    "987": {
      "op": "SUB"
    },
    "988": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "SWAP2",
      "path": "12",
      "statement": 15
    },
    "989": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "DUP3",
      "path": "12"
    },
    "990": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "AND",
      "path": "12"
    },
    "991": {
      "fn": "ERC20.allowance",
      "offset": [
        4065,
        4072
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "993": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "994": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "DUP2",
      "path": "12"
    },
    "995": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "996": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4102
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1"
    },
    "998": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "1000": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1001": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1002": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1003": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1005": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1006": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "DUP4",
      "path": "12"
    },
    "1007": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4109
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1008": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP4",
      "path": "12"
    },
    "1009": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1010": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP5",
      "path": "12"
    },
    "1011": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "AND",
      "path": "12"
    },
    "1012": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1013": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1014": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1015": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1016": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1017": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1018": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1019": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "1020": {
      "fn": "ERC20.allowance",
      "offset": [
        4091,
        4118
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1021": {
      "fn": "ERC20.allowance",
      "jump": "o",
      "offset": [
        3976,
        4125
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1022": {
      "fn": "ERC20._approve",
      "offset": [
        10110,
        10480
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1023": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1025": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1027": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1029": {
      "op": "SHL"
    },
    "1030": {
      "op": "SUB"
    },
    "1031": {
      "fn": "ERC20._approve",
      "offset": [
        10241,
        10260
      ],
      "op": "DUP4",
      "path": "12",
      "statement": 16
    },
    "1032": {
      "branch": 30,
      "fn": "ERC20._approve",
      "offset": [
        10241,
        10260
      ],
      "op": "AND",
      "path": "12"
    },
    "1033": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x460"
    },
    "1036": {
      "branch": 30,
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1037": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1039": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1040": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1044": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1046": {
      "op": "SHL"
    },
    "1047": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1048": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1049": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1051": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1053": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1054": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "ADD",
      "path": "12"
    },
    "1055": {
      "op": "MSTORE"
    },
    "1056": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1058": {
      "op": "DUP1"
    },
    "1059": {
      "op": "DUP3"
    },
    "1060": {
      "op": "ADD"
    },
    "1061": {
      "op": "MSTORE"
    },
    "1062": {
      "op": "PUSH32",
      "value": "0x45524332303A20617070726F76652066726F6D20746865207A65726F20616464"
    },
    "1095": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1097": {
      "op": "DUP3"
    },
    "1098": {
      "op": "ADD"
    },
    "1099": {
      "op": "MSTORE"
    },
    "1100": {
      "op": "PUSH4",
      "value": "0x72657373"
    },
    "1105": {
      "op": "PUSH1",
      "value": "0xE0"
    },
    "1107": {
      "op": "SHL"
    },
    "1108": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1110": {
      "op": "DUP3"
    },
    "1111": {
      "op": "ADD"
    },
    "1112": {
      "op": "MSTORE"
    },
    "1113": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "1115": {
      "op": "ADD"
    },
    "1116": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1119": {
      "op": "JUMP"
    },
    "1120": {
      "fn": "ERC20._approve",
      "offset": [
        10233,
        10301
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1121": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1123": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1125": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1127": {
      "op": "SHL"
    },
    "1128": {
      "op": "SUB"
    },
    "1129": {
      "fn": "ERC20._approve",
      "offset": [
        10319,
        10340
      ],
      "op": "DUP3",
      "path": "12",
      "statement": 17
    },
    "1130": {
      "branch": 31,
      "fn": "ERC20._approve",
      "offset": [
        10319,
        10340
      ],
      "op": "AND",
      "path": "12"
    },
    "1131": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x4C1"
    },
    "1134": {
      "branch": 31,
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1135": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1137": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1138": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1142": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1144": {
      "op": "SHL"
    },
    "1145": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1146": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1147": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1149": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1151": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1152": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "ADD",
      "path": "12"
    },
    "1153": {
      "op": "MSTORE"
    },
    "1154": {
      "op": "PUSH1",
      "value": "0x22"
    },
    "1156": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1158": {
      "op": "DUP3"
    },
    "1159": {
      "op": "ADD"
    },
    "1160": {
      "op": "MSTORE"
    },
    "1161": {
      "op": "PUSH32",
      "value": "0x45524332303A20617070726F766520746F20746865207A65726F206164647265"
    },
    "1194": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1196": {
      "op": "DUP3"
    },
    "1197": {
      "op": "ADD"
    },
    "1198": {
      "op": "MSTORE"
    },
    "1199": {
      "op": "PUSH2",
      "value": "0x7373"
    },
    "1202": {
      "op": "PUSH1",
      "value": "0xF0"
    },
    "1204": {
      "op": "SHL"
    },
    "1205": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1207": {
      "op": "DUP3"
    },
    "1208": {
      "op": "ADD"
    },
    "1209": {
      "op": "MSTORE"
    },
    "1210": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "1212": {
      "op": "ADD"
    },
    "1213": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1216": {
      "op": "JUMP"
    },
    "1217": {
      "fn": "ERC20._approve",
      "offset": [
        10311,
        10379
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1218": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1220": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1222": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1224": {
      "op": "SHL"
    },
    "1225": {
      "op": "SUB"
    },
    "1226": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP4",
      "path": "12",
      "statement": 18
    },
    "1227": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1228": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "AND",
      "path": "12"
    },
    "1229": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "1231": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1232": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1233": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1234": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10401
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x1"
    },
    "1236": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "1238": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1239": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1240": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1241": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1243": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1244": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "DUP4",
      "path": "12"
    },
    "1245": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10408
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1246": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "SWAP5",
      "path": "12"
    },
    "1247": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "DUP8",
      "path": "12"
    },
    "1248": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "AND",
      "path": "12"
    },
    "1249": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1250": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1251": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1252": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "SWAP5",
      "path": "12"
    },
    "1253": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1254": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1255": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1256": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1257": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1258": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10417
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1259": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10426
      ],
      "op": "DUP6",
      "path": "12"
    },
    "1260": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10426
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1261": {
      "fn": "ERC20._approve",
      "offset": [
        10390,
        10426
      ],
      "op": "SSTORE",
      "path": "12"
    },
    "1262": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "SWAP1",
      "path": "12",
      "statement": 19
    },
    "1263": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1264": {
      "op": "DUP5"
    },
    "1265": {
      "op": "DUP2"
    },
    "1266": {
      "op": "MSTORE"
    },
    "1267": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "PUSH32",
      "path": "12",
      "value": "0x8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925"
    },
    "1300": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1301": {
      "op": "ADD"
    },
    "1302": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1304": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1305": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1306": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1307": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "SUB",
      "path": "12"
    },
    "1308": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1309": {
      "fn": "ERC20._approve",
      "offset": [
        10441,
        10473
      ],
      "op": "LOG3",
      "path": "12"
    },
    "1310": {
      "fn": "ERC20._approve",
      "offset": [
        10110,
        10480
      ],
      "op": "POP",
      "path": "12"
    },
    "1311": {
      "fn": "ERC20._approve",
      "offset": [
        10110,
        10480
      ],
      "op": "POP",
      "path": "12"
    },
    "1312": {
      "fn": "ERC20._approve",
      "offset": [
        10110,
        10480
      ],
      "op": "POP",
      "path": "12"
    },
    "1313": {
      "fn": "ERC20._approve",
      "jump": "o",
      "offset": [
        10110,
        10480
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1314": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10761,
        11202
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1315": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10891,
        10915
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "1317": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10918,
        10943
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x52E"
    },
    "1320": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10928,
        10933
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1321": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10935,
        10942
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1322": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10918,
        10927
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3D3"
    },
    "1325": {
      "fn": "ERC20._spendAllowance",
      "jump": "i",
      "offset": [
        10918,
        10943
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1326": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10918,
        10943
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1327": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10891,
        10943
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1328": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10891,
        10943
      ],
      "op": "POP",
      "path": "12"
    },
    "1329": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "1331": {
      "op": "NOT"
    },
    "1332": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10957,
        10973
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1333": {
      "branch": 32,
      "fn": "ERC20._spendAllowance",
      "offset": [
        10957,
        10994
      ],
      "op": "EQ",
      "path": "12"
    },
    "1334": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10953,
        11196
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x596"
    },
    "1337": {
      "branch": 32,
      "fn": "ERC20._spendAllowance",
      "offset": [
        10953,
        11196
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1338": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11038,
        11044
      ],
      "op": "DUP2",
      "path": "12",
      "statement": 20
    },
    "1339": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11018,
        11034
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1340": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11018,
        11044
      ],
      "op": "LT",
      "path": "12"
    },
    "1341": {
      "branch": 33,
      "fn": "ERC20._spendAllowance",
      "offset": [
        11018,
        11044
      ],
      "op": "ISZERO",
      "path": "12"
    },
    "1342": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x589"
    },
    "1345": {
      "branch": 33,
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1346": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1348": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1349": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1353": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1355": {
      "op": "SHL"
    },
    "1356": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1357": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1358": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1360": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1362": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1363": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "ADD",
      "path": "12"
    },
    "1364": {
      "op": "MSTORE"
    },
    "1365": {
      "op": "PUSH1",
      "value": "0x1D"
    },
    "1367": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1369": {
      "op": "DUP3"
    },
    "1370": {
      "op": "ADD"
    },
    "1371": {
      "op": "MSTORE"
    },
    "1372": {
      "op": "PUSH32",
      "value": "0x45524332303A20696E73756666696369656E7420616C6C6F77616E6365000000"
    },
    "1405": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1407": {
      "op": "DUP3"
    },
    "1408": {
      "op": "ADD"
    },
    "1409": {
      "op": "MSTORE"
    },
    "1410": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1412": {
      "op": "ADD"
    },
    "1413": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1416": {
      "op": "JUMP"
    },
    "1417": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11010,
        11078
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1418": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11120,
        11171
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 21,
      "value": "0x596"
    },
    "1421": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11129,
        11134
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1422": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11136,
        11143
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1423": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11164,
        11170
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1424": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11145,
        11161
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1425": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11145,
        11170
      ],
      "op": "SUB",
      "path": "12"
    },
    "1426": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11120,
        11128
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3FE"
    },
    "1429": {
      "fn": "ERC20._spendAllowance",
      "jump": "i",
      "offset": [
        11120,
        11171
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1430": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        11120,
        11171
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1431": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10761,
        11202
      ],
      "op": "POP",
      "path": "12"
    },
    "1432": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10761,
        11202
      ],
      "op": "POP",
      "path": "12"
    },
    "1433": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10761,
        11202
      ],
      "op": "POP",
      "path": "12"
    },
    "1434": {
      "fn": "ERC20._spendAllowance",
      "offset": [
        10761,
        11202
      ],
      "op": "POP",
      "path": "12"
    },
    "1435": {
      "fn": "ERC20._spendAllowance",
      "jump": "o",
      "offset": [
        10761,
        11202
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1436": {
      "fn": "ERC20._transfer",
      "offset": [
        7475,
        8126
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1437": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1439": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1441": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1443": {
      "op": "SHL"
    },
    "1444": {
      "op": "SUB"
    },
    "1445": {
      "fn": "ERC20._transfer",
      "offset": [
        7601,
        7619
      ],
      "op": "DUP4",
      "path": "12",
      "statement": 22
    },
    "1446": {
      "branch": 34,
      "fn": "ERC20._transfer",
      "offset": [
        7601,
        7619
      ],
      "op": "AND",
      "path": "12"
    },
    "1447": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x600"
    },
    "1450": {
      "branch": 34,
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1451": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1453": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1454": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1458": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1460": {
      "op": "SHL"
    },
    "1461": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1462": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1463": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1465": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1467": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1468": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "ADD",
      "path": "12"
    },
    "1469": {
      "op": "MSTORE"
    },
    "1470": {
      "op": "PUSH1",
      "value": "0x25"
    },
    "1472": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1474": {
      "op": "DUP3"
    },
    "1475": {
      "op": "ADD"
    },
    "1476": {
      "op": "MSTORE"
    },
    "1477": {
      "op": "PUSH32",
      "value": "0x45524332303A207472616E736665722066726F6D20746865207A65726F206164"
    },
    "1510": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1512": {
      "op": "DUP3"
    },
    "1513": {
      "op": "ADD"
    },
    "1514": {
      "op": "MSTORE"
    },
    "1515": {
      "op": "PUSH5",
      "value": "0x6472657373"
    },
    "1521": {
      "op": "PUSH1",
      "value": "0xD8"
    },
    "1523": {
      "op": "SHL"
    },
    "1524": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1526": {
      "op": "DUP3"
    },
    "1527": {
      "op": "ADD"
    },
    "1528": {
      "op": "MSTORE"
    },
    "1529": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "1531": {
      "op": "ADD"
    },
    "1532": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1535": {
      "op": "JUMP"
    },
    "1536": {
      "fn": "ERC20._transfer",
      "offset": [
        7593,
        7661
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1537": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1539": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1541": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1543": {
      "op": "SHL"
    },
    "1544": {
      "op": "SUB"
    },
    "1545": {
      "fn": "ERC20._transfer",
      "offset": [
        7679,
        7695
      ],
      "op": "DUP3",
      "path": "12",
      "statement": 23
    },
    "1546": {
      "branch": 35,
      "fn": "ERC20._transfer",
      "offset": [
        7679,
        7695
      ],
      "op": "AND",
      "path": "12"
    },
    "1547": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x662"
    },
    "1550": {
      "branch": 35,
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1551": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1553": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1554": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1558": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1560": {
      "op": "SHL"
    },
    "1561": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1562": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1563": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1565": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1567": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1568": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "ADD",
      "path": "12"
    },
    "1569": {
      "op": "MSTORE"
    },
    "1570": {
      "op": "PUSH1",
      "value": "0x23"
    },
    "1572": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1574": {
      "op": "DUP3"
    },
    "1575": {
      "op": "ADD"
    },
    "1576": {
      "op": "MSTORE"
    },
    "1577": {
      "op": "PUSH32",
      "value": "0x45524332303A207472616E7366657220746F20746865207A65726F2061646472"
    },
    "1610": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1612": {
      "op": "DUP3"
    },
    "1613": {
      "op": "ADD"
    },
    "1614": {
      "op": "MSTORE"
    },
    "1615": {
      "op": "PUSH3",
      "value": "0x657373"
    },
    "1619": {
      "op": "PUSH1",
      "value": "0xE8"
    },
    "1621": {
      "op": "SHL"
    },
    "1622": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1624": {
      "op": "DUP3"
    },
    "1625": {
      "op": "ADD"
    },
    "1626": {
      "op": "MSTORE"
    },
    "1627": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "1629": {
      "op": "ADD"
    },
    "1630": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1633": {
      "op": "JUMP"
    },
    "1634": {
      "fn": "ERC20._transfer",
      "offset": [
        7671,
        7735
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1635": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1637": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1639": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1641": {
      "op": "SHL"
    },
    "1642": {
      "op": "SUB"
    },
    "1643": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "DUP4",
      "path": "12"
    },
    "1644": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "AND",
      "path": "12"
    },
    "1645": {
      "fn": "ERC20._transfer",
      "offset": [
        7795,
        7814
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "1647": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1648": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1649": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1650": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "1652": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1653": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1654": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1655": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1657": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1658": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1659": {
      "fn": "ERC20._transfer",
      "offset": [
        7817,
        7832
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "1660": {
      "fn": "ERC20._transfer",
      "offset": [
        7850,
        7871
      ],
      "op": "DUP2",
      "path": "12",
      "statement": 24
    },
    "1661": {
      "fn": "ERC20._transfer",
      "offset": [
        7850,
        7871
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1662": {
      "fn": "ERC20._transfer",
      "offset": [
        7850,
        7871
      ],
      "op": "LT",
      "path": "12"
    },
    "1663": {
      "branch": 36,
      "fn": "ERC20._transfer",
      "offset": [
        7850,
        7871
      ],
      "op": "ISZERO",
      "path": "12"
    },
    "1664": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x6DA"
    },
    "1667": {
      "branch": 36,
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "JUMPI",
      "path": "12"
    },
    "1668": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1670": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1671": {
      "op": "PUSH3",
      "value": "0x461BCD"
    },
    "1675": {
      "op": "PUSH1",
      "value": "0xE5"
    },
    "1677": {
      "op": "SHL"
    },
    "1678": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1679": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1680": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1682": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x4"
    },
    "1684": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1685": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "ADD",
      "path": "12"
    },
    "1686": {
      "op": "MSTORE"
    },
    "1687": {
      "op": "PUSH1",
      "value": "0x26"
    },
    "1689": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "1691": {
      "op": "DUP3"
    },
    "1692": {
      "op": "ADD"
    },
    "1693": {
      "op": "MSTORE"
    },
    "1694": {
      "op": "PUSH32",
      "value": "0x45524332303A207472616E7366657220616D6F756E7420657863656564732062"
    },
    "1727": {
      "op": "PUSH1",
      "value": "0x44"
    },
    "1729": {
      "op": "DUP3"
    },
    "1730": {
      "op": "ADD"
    },
    "1731": {
      "op": "MSTORE"
    },
    "1732": {
      "op": "PUSH6",
      "value": "0x616C616E6365"
    },
    "1739": {
      "op": "PUSH1",
      "value": "0xD0"
    },
    "1741": {
      "op": "SHL"
    },
    "1742": {
      "op": "PUSH1",
      "value": "0x64"
    },
    "1744": {
      "op": "DUP3"
    },
    "1745": {
      "op": "ADD"
    },
    "1746": {
      "op": "MSTORE"
    },
    "1747": {
      "op": "PUSH1",
      "value": "0x84"
    },
    "1749": {
      "op": "ADD"
    },
    "1750": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x3AF"
    },
    "1753": {
      "op": "JUMP"
    },
    "1754": {
      "fn": "ERC20._transfer",
      "offset": [
        7842,
        7914
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1755": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1757": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1759": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1761": {
      "op": "SHL"
    },
    "1762": {
      "op": "SUB"
    },
    "1763": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP1",
      "path": "12",
      "statement": 25
    },
    "1764": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP6",
      "path": "12"
    },
    "1765": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "AND",
      "path": "12"
    },
    "1766": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7957
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x0"
    },
    "1768": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1769": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1770": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1771": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x20"
    },
    "1773": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1774": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1775": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1776": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1778": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1779": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "DUP3",
      "path": "12"
    },
    "1780": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7963
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1781": {
      "fn": "ERC20._transfer",
      "offset": [
        7966,
        7986
      ],
      "op": "DUP6",
      "path": "12"
    },
    "1782": {
      "fn": "ERC20._transfer",
      "offset": [
        7966,
        7986
      ],
      "op": "DUP6",
      "path": "12"
    },
    "1783": {
      "fn": "ERC20._transfer",
      "offset": [
        7966,
        7986
      ],
      "op": "SUB",
      "path": "12"
    },
    "1784": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7986
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1785": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7986
      ],
      "op": "SSTORE",
      "path": "12"
    },
    "1786": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "SWAP2",
      "path": "12",
      "statement": 26
    },
    "1787": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "DUP6",
      "path": "12"
    },
    "1788": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "AND",
      "path": "12"
    },
    "1789": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1790": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "MSTORE",
      "path": "12"
    },
    "1791": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1792": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1793": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8019
      ],
      "op": "KECCAK256",
      "path": "12"
    },
    "1794": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1795": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "SLOAD",
      "path": "12"
    },
    "1796": {
      "fn": "ERC20._transfer",
      "offset": [
        7980,
        7986
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1797": {
      "fn": "ERC20._transfer",
      "offset": [
        7980,
        7986
      ],
      "op": "SWAP3",
      "path": "12"
    },
    "1798": {
      "fn": "ERC20._transfer",
      "offset": [
        7948,
        7957
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1799": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x711"
    },
    "1802": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1803": {
      "fn": "ERC20._transfer",
      "offset": [
        7980,
        7986
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1804": {
      "fn": "ERC20._transfer",
      "offset": [
        7980,
        7986
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1805": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x88B"
    },
    "1808": {
      "fn": "ERC20._transfer",
      "jump": "i",
      "offset": [
        8006,
        8029
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1809": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1810": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "SWAP3",
      "path": "12"
    },
    "1811": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "POP",
      "path": "12"
    },
    "1812": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "POP",
      "path": "12"
    },
    "1813": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "DUP2",
      "path": "12"
    },
    "1814": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1815": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "SSTORE",
      "path": "12"
    },
    "1816": {
      "fn": "ERC20._transfer",
      "offset": [
        8006,
        8029
      ],
      "op": "POP",
      "path": "12"
    },
    "1817": {
      "fn": "ERC20._transfer",
      "offset": [
        8060,
        8062
      ],
      "op": "DUP3",
      "path": "12",
      "statement": 27
    },
    "1818": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1820": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1822": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1824": {
      "op": "SHL"
    },
    "1825": {
      "op": "SUB"
    },
    "1826": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "AND",
      "path": "12"
    },
    "1827": {
      "fn": "ERC20._transfer",
      "offset": [
        8054,
        8058
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1828": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1830": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1832": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1834": {
      "op": "SHL"
    },
    "1835": {
      "op": "SUB"
    },
    "1836": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "AND",
      "path": "12"
    },
    "1837": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "PUSH32",
      "path": "12",
      "value": "0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF"
    },
    "1870": {
      "fn": "ERC20._transfer",
      "offset": [
        8064,
        8070
      ],
      "op": "DUP5",
      "path": "12"
    },
    "1871": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1873": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1874": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "PUSH2",
      "path": "12",
      "value": "0x75D"
    },
    "1877": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1878": {
      "op": "DUP2"
    },
    "1879": {
      "op": "MSTORE"
    },
    "1880": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1882": {
      "op": "ADD"
    },
    "1883": {
      "op": "SWAP1"
    },
    "1884": {
      "op": "JUMP"
    },
    "1885": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "JUMPDEST",
      "path": "12"
    },
    "1886": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "PUSH1",
      "path": "12",
      "value": "0x40"
    },
    "1888": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "MLOAD",
      "path": "12"
    },
    "1889": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "DUP1",
      "path": "12"
    },
    "1890": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "SWAP2",
      "path": "12"
    },
    "1891": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "SUB",
      "path": "12"
    },
    "1892": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "SWAP1",
      "path": "12"
    },
    "1893": {
      "fn": "ERC20._transfer",
      "offset": [
        8045,
        8071
      ],
      "op": "LOG3",
      "path": "12"
    },
    "1894": {
      "fn": "ERC20._transfer",
      "offset": [
        8082,
        8119
      ],
      "op": "PUSH2",
      "path": "12",
      "statement": 28,
      "value": "0x596"
    },
    "1897": {
      "fn": "ERC20._beforeTokenTransfer",
      "offset": [
        11786,
        11907
      ],
      "op": "JUMP",
      "path": "12"
    },
    "1898": {
      "op": "JUMPDEST"
    },
    "1899": {
      "op": "DUP1"
    },
    "1900": {
      "op": "CALLDATALOAD"
    },
    "1901": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1903": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "1905": {
      "op": "PUSH1",
      "value": "0xA0"
    },
    "1907": {
      "op": "SHL"
    },
    "1908": {
      "op": "SUB"
    },
    "1909": {
      "op": "DUP2"
    },
    "1910": {
      "op": "AND"
    },
    "1911": {
      "op": "DUP2"
    },
    "1912": {
      "op": "EQ"
    },
    "1913": {
      "op": "PUSH2",
      "value": "0x331"
    },
    "1916": {
      "op": "JUMPI"
    },
    "1917": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "1919": {
      "op": "DUP1"
    },
    "1920": {
      "op": "REVERT"
    },
    "1921": {
      "op": "JUMPDEST"
    },
    "1922": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "1924": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1926": {
      "op": "DUP3"
    },
    "1927": {
      "op": "DUP5"
    },
    "1928": {
      "op": "SUB"
    },
    "1929": {
      "op": "SLT"
    },
    "1930": {
      "op": "ISZERO"
    },
    "1931": {
      "op": "PUSH2",
      "value": "0x792"
    },
    "1934": {
      "op": "JUMPI"
    },
    "1935": {
      "op": "DUP1"
    },
    "1936": {
      "op": "DUP2"
    },
    "1937": {
      "op": "REVERT"
    },
    "1938": {
      "op": "JUMPDEST"
    },
    "1939": {
      "op": "PUSH2",
      "value": "0x79B"
    },
    "1942": {
      "op": "DUP3"
    },
    "1943": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "1946": {
      "jump": "i",
      "op": "JUMP"
    },
    "1947": {
      "op": "JUMPDEST"
    },
    "1948": {
      "op": "SWAP4"
    },
    "1949": {
      "op": "SWAP3"
    },
    "1950": {
      "op": "POP"
    },
    "1951": {
      "op": "POP"
    },
    "1952": {
      "op": "POP"
    },
    "1953": {
      "jump": "o",
      "op": "JUMP"
    },
    "1954": {
      "op": "JUMPDEST"
    },
    "1955": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "1957": {
      "op": "DUP1"
    },
    "1958": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "1960": {
      "op": "DUP4"
    },
    "1961": {
      "op": "DUP6"
    },
    "1962": {
      "op": "SUB"
    },
    "1963": {
      "op": "SLT"
    },
    "1964": {
      "op": "ISZERO"
    },
    "1965": {
      "op": "PUSH2",
      "value": "0x7B4"
    },
    "1968": {
      "op": "JUMPI"
    },
    "1969": {
      "op": "DUP1"
    },
    "1970": {
      "op": "DUP2"
    },
    "1971": {
      "op": "REVERT"
    },
    "1972": {
      "op": "JUMPDEST"
    },
    "1973": {
      "op": "PUSH2",
      "value": "0x7BD"
    },
    "1976": {
      "op": "DUP4"
    },
    "1977": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "1980": {
      "jump": "i",
      "op": "JUMP"
    },
    "1981": {
      "op": "JUMPDEST"
    },
    "1982": {
      "op": "SWAP2"
    },
    "1983": {
      "op": "POP"
    },
    "1984": {
      "op": "PUSH2",
      "value": "0x7CB"
    },
    "1987": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "1989": {
      "op": "DUP5"
    },
    "1990": {
      "op": "ADD"
    },
    "1991": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "1994": {
      "jump": "i",
      "op": "JUMP"
    },
    "1995": {
      "op": "JUMPDEST"
    },
    "1996": {
      "op": "SWAP1"
    },
    "1997": {
      "op": "POP"
    },
    "1998": {
      "op": "SWAP3"
    },
    "1999": {
      "op": "POP"
    },
    "2000": {
      "op": "SWAP3"
    },
    "2001": {
      "op": "SWAP1"
    },
    "2002": {
      "op": "POP"
    },
    "2003": {
      "jump": "o",
      "op": "JUMP"
    },
    "2004": {
      "op": "JUMPDEST"
    },
    "2005": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2007": {
      "op": "DUP1"
    },
    "2008": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2010": {
      "op": "PUSH1",
      "value": "0x60"
    },
    "2012": {
      "op": "DUP5"
    },
    "2013": {
      "op": "DUP7"
    },
    "2014": {
      "op": "SUB"
    },
    "2015": {
      "op": "SLT"
    },
    "2016": {
      "op": "ISZERO"
    },
    "2017": {
      "op": "PUSH2",
      "value": "0x7E8"
    },
    "2020": {
      "op": "JUMPI"
    },
    "2021": {
      "op": "DUP1"
    },
    "2022": {
      "op": "DUP2"
    },
    "2023": {
      "op": "REVERT"
    },
    "2024": {
      "op": "JUMPDEST"
    },
    "2025": {
      "op": "PUSH2",
      "value": "0x7F1"
    },
    "2028": {
      "op": "DUP5"
    },
    "2029": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "2032": {
      "jump": "i",
      "op": "JUMP"
    },
    "2033": {
      "op": "JUMPDEST"
    },
    "2034": {
      "op": "SWAP3"
    },
    "2035": {
      "op": "POP"
    },
    "2036": {
      "op": "PUSH2",
      "value": "0x7FF"
    },
    "2039": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "2041": {
      "op": "DUP6"
    },
    "2042": {
      "op": "ADD"
    },
    "2043": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "2046": {
      "jump": "i",
      "op": "JUMP"
    },
    "2047": {
      "op": "JUMPDEST"
    },
    "2048": {
      "op": "SWAP2"
    },
    "2049": {
      "op": "POP"
    },
    "2050": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "2052": {
      "op": "DUP5"
    },
    "2053": {
      "op": "ADD"
    },
    "2054": {
      "op": "CALLDATALOAD"
    },
    "2055": {
      "op": "SWAP1"
    },
    "2056": {
      "op": "POP"
    },
    "2057": {
      "op": "SWAP3"
    },
    "2058": {
      "op": "POP"
    },
    "2059": {
      "op": "SWAP3"
    },
    "2060": {
      "op": "POP"
    },
    "2061": {
      "op": "SWAP3"
    },
    "2062": {
      "jump": "o",
      "op": "JUMP"
    },
    "2063": {
      "op": "JUMPDEST"
    },
    "2064": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2066": {
      "op": "DUP1"
    },
    "2067": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "2069": {
      "op": "DUP4"
    },
    "2070": {
      "op": "DUP6"
    },
    "2071": {
      "op": "SUB"
    },
    "2072": {
      "op": "SLT"
    },
    "2073": {
      "op": "ISZERO"
    },
    "2074": {
      "op": "PUSH2",
      "value": "0x821"
    },
    "2077": {
      "op": "JUMPI"
    },
    "2078": {
      "op": "DUP2"
    },
    "2079": {
      "op": "DUP3"
    },
    "2080": {
      "op": "REVERT"
    },
    "2081": {
      "op": "JUMPDEST"
    },
    "2082": {
      "op": "PUSH2",
      "value": "0x82A"
    },
    "2085": {
      "op": "DUP4"
    },
    "2086": {
      "op": "PUSH2",
      "value": "0x76A"
    },
    "2089": {
      "jump": "i",
      "op": "JUMP"
    },
    "2090": {
      "op": "JUMPDEST"
    },
    "2091": {
      "op": "SWAP5"
    },
    "2092": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "2094": {
      "op": "SWAP4"
    },
    "2095": {
      "op": "SWAP1"
    },
    "2096": {
      "op": "SWAP4"
    },
    "2097": {
      "op": "ADD"
    },
    "2098": {
      "op": "CALLDATALOAD"
    },
    "2099": {
      "op": "SWAP4"
    },
    "2100": {
      "op": "POP"
    },
    "2101": {
      "op": "POP"
    },
    "2102": {
      "op": "POP"
    },
    "2103": {
      "jump": "o",
      "op": "JUMP"
    },
    "2104": {
      "op": "JUMPDEST"
    },
    "2105": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2107": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "2109": {
      "op": "DUP1"
    },
    "2110": {
      "op": "DUP4"
    },
    "2111": {
      "op": "MSTORE"
    },
    "2112": {
      "op": "DUP4"
    },
    "2113": {
      "op": "MLOAD"
    },
    "2114": {
      "op": "DUP1"
    },
    "2115": {
      "op": "DUP3"
    },
    "2116": {
      "op": "DUP6"
    },
    "2117": {
      "op": "ADD"
    },
    "2118": {
      "op": "MSTORE"
    },
    "2119": {
      "op": "DUP3"
    },
    "2120": {
      "op": "JUMPDEST"
    },
    "2121": {
      "op": "DUP2"
    },
    "2122": {
      "op": "DUP2"
    },
    "2123": {
      "op": "LT"
    },
    "2124": {
      "op": "ISZERO"
    },
    "2125": {
      "op": "PUSH2",
      "value": "0x864"
    },
    "2128": {
      "op": "JUMPI"
    },
    "2129": {
      "op": "DUP6"
    },
    "2130": {
      "op": "DUP2"
    },
    "2131": {
      "op": "ADD"
    },
    "2132": {
      "op": "DUP4"
    },
    "2133": {
      "op": "ADD"
    },
    "2134": {
      "op": "MLOAD"
    },
    "2135": {
      "op": "DUP6"
    },
    "2136": {
      "op": "DUP3"
    },
    "2137": {
      "op": "ADD"
    },
    "2138": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "2140": {
      "op": "ADD"
    },
    "2141": {
      "op": "MSTORE"
    },
    "2142": {
      "op": "DUP3"
    },
    "2143": {
      "op": "ADD"
    },
    "2144": {
      "op": "PUSH2",
      "value": "0x848"
    },
    "2147": {
      "op": "JUMP"
    },
    "2148": {
      "op": "JUMPDEST"
    },
    "2149": {
      "op": "DUP2"
    },
    "2150": {
      "op": "DUP2"
    },
    "2151": {
      "op": "GT"
    },
    "2152": {
      "op": "ISZERO"
    },
    "2153": {
      "op": "PUSH2",
      "value": "0x875"
    },
    "2156": {
      "op": "JUMPI"
    },
    "2157": {
      "op": "DUP4"
    },
    "2158": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "2160": {
      "op": "DUP4"
    },
    "2161": {
      "op": "DUP8"
    },
    "2162": {
      "op": "ADD"
    },
    "2163": {
      "op": "ADD"
    },
    "2164": {
      "op": "MSTORE"
    },
    "2165": {
      "op": "JUMPDEST"
    },
    "2166": {
      "op": "POP"
    },
    "2167": {
      "op": "PUSH1",
      "value": "0x1F"
    },
    "2169": {
      "op": "ADD"
    },
    "2170": {
      "op": "PUSH1",
      "value": "0x1F"
    },
    "2172": {
      "op": "NOT"
    },
    "2173": {
      "op": "AND"
    },
    "2174": {
      "op": "SWAP3"
    },
    "2175": {
      "op": "SWAP1"
    },
    "2176": {
      "op": "SWAP3"
    },
    "2177": {
      "op": "ADD"
    },
    "2178": {
      "op": "PUSH1",
      "value": "0x40"
    },
    "2180": {
      "op": "ADD"
    },
    "2181": {
      "op": "SWAP4"
    },
    "2182": {
      "op": "SWAP3"
    },
    "2183": {
      "op": "POP"
    },
    "2184": {
      "op": "POP"
    },
    "2185": {
      "op": "POP"
    },
    "2186": {
      "jump": "o",
      "op": "JUMP"
    },
    "2187": {
      "op": "JUMPDEST"
    },
    "2188": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2190": {
      "op": "DUP3"
    },
    "2191": {
      "op": "NOT"
    },
    "2192": {
      "op": "DUP3"
    },
    "2193": {
      "op": "GT"
    },
    "2194": {
      "op": "ISZERO"
    },
    "2195": {
      "op": "PUSH2",
      "value": "0x8AA"
    },
    "2198": {
      "op": "JUMPI"
    },
    "2199": {
      "op": "PUSH4",
      "value": "0x4E487B71"
    },
    "2204": {
      "op": "PUSH1",
      "value": "0xE0"
    },
    "2206": {
      "op": "SHL"
    },
    "2207": {
      "op": "DUP2"
    },
    "2208": {
      "op": "MSTORE"
    },
    "2209": {
      "op": "PUSH1",
      "value": "0x11"
    },
    "2211": {
      "op": "PUSH1",
      "value": "0x4"
    },
    "2213": {
      "op": "MSTORE"
    },
    "2214": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "2216": {
      "op": "DUP2"
    },
    "2217": {
      "op": "REVERT"
    },
    "2218": {
      "op": "JUMPDEST"
    },
    "2219": {
      "op": "POP"
    },
    "2220": {
      "op": "ADD"
    },
    "2221": {
      "op": "SWAP1"
    },
    "2222": {
      "jump": "o",
      "op": "JUMP"
    },
    "2223": {
      "op": "JUMPDEST"
    },
    "2224": {
      "op": "PUSH1",
      "value": "0x2"
    },
    "2226": {
      "op": "DUP2"
    },
    "2227": {
      "op": "DIV"
    },
    "2228": {
      "op": "PUSH1",
      "value": "0x1"
    },
    "2230": {
      "op": "DUP3"
    },
    "2231": {
      "op": "AND"
    },
    "2232": {
      "op": "DUP1"
    },
    "2233": {
      "op": "PUSH2",
      "value": "0x8C3"
    },
    "2236": {
      "op": "JUMPI"
    },
    "2237": {
      "op": "PUSH1",
      "value": "0x7F"
    },
    "2239": {
      "op": "DUP3"
    },
    "2240": {
      "op": "AND"
    },
    "2241": {
      "op": "SWAP2"
    },
    "2242": {
      "op": "POP"
    },
    "2243": {
      "op": "JUMPDEST"
    },
    "2244": {
      "op": "PUSH1",
      "value": "0x20"
    },
    "2246": {
      "op": "DUP3"
    },
    "2247": {
      "op": "LT"
    },
    "2248": {
      "op": "DUP2"
    },
    "2249": {
      "op": "EQ"
    },
    "2250": {
      "op": "ISZERO"
    },
    "2251": {
      "op": "PUSH2",
      "value": "0x8E4"
    },
    "2254": {
      "op": "JUMPI"
    },
    "2255": {
      "op": "PUSH4",
      "value": "0x4E487B71"
    },
    "2260": {
      "op": "PUSH1",
      "value": "0xE0"
    },
    "2262": {
      "op": "SHL"
    },
    "2263": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2265": {
      "op": "MSTORE"
    },
    "2266": {
      "op": "PUSH1",
      "value": "0x22"
    },
    "2268": {
      "op": "PUSH1",
      "value": "0x4"
    },
    "2270": {
      "op": "MSTORE"
    },
    "2271": {
      "op": "PUSH1",
      "value": "0x24"
    },
    "2273": {
      "op": "PUSH1",
      "value": "0x0"
    },
    "2275": {
      "op": "REVERT"
    },
    "2276": {
      "op": "JUMPDEST"
    },
    "2277": {
      "op": "POP"
    },
    "2278": {
      "op": "SWAP2"
    },
    "2279": {
      "op": "SWAP1"
    },
    "2280": {
      "op": "POP"
    },
    "2281": {
      "jump": "o",
      "op": "JUMP"
    }
  },
  "sha1": "c0e498fffba6273d15f821076374a2bcc09dc1c1",
  "source": "// SPDX-License-Identifier: Apache-2.0\npragma solidity 0.8.2;\n\nimport \"@openzeppelin/contracts/token/ERC20/ERC20.sol\";\n\ncontract TestCoin is ERC20 {\n\n    string public constant NAME = \"Test Dummy\";\n    string public constant SYMBOL = \"TDY\";\n\n    uint256 public constant INITIAL_SUPPLY = 10**24;\n\n    constructor()\n        ERC20(NAME, SYMBOL)\n    {\n        _mint(\n            _msgSender(),\n            INITIAL_SUPPLY\n        );\n    }\n}\n\ncontract TestCoinX is ERC20 {\n\n    string public constant NAME = \"Test Dummy X\";\n    string public constant SYMBOL = \"TDX\";\n\n    uint256 public constant INITIAL_SUPPLY = 10**24;\n\n    constructor()\n        ERC20(NAME, SYMBOL)\n    {\n        _mint(\n            _msgSender(),\n            INITIAL_SUPPLY\n        );\n    }\n}\n",
  "sourceMap": "120:314:92:-:0;;;300:132;;;;;;;;;;328:4;;;;;;;;;;;;;-1:-1:-1;;;328:4:92;;;334:6;;;;;;;;;;;;;-1:-1:-1;;;334:6:92;;;2052:5:12;2044;:13;;;;;;;;;;;;:::i;:::-;-1:-1:-1;2067:17:12;;;;:7;;:17;;;;;:::i;:::-;;1978:113;;356:69:92::1;375:12;:10;;;:12;;:::i;:::-;287:6;356:5;:69::i;:::-;120:314:::0;;640:96:22;719:10;640:96;:::o;8402:389:12:-;-1:-1:-1;;;;;8485:21:12;;8477:65;;;;-1:-1:-1;;;8477:65:12;;216:2:103;8477:65:12;;;198:21:103;255:2;235:18;;;228:30;294:33;274:18;;;267:61;345:18;;8477:65:12;;;;;;;;8629:6;8613:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8645:18:12;;:9;:18;;;;;;;;;;:28;;8667:6;;8645:9;:28;;8667:6;;8645:28;:::i;:::-;;;;-1:-1:-1;;8688:37:12;;520:25:103;;;-1:-1:-1;;;;;8688:37:12;;;8705:1;;8688:37;;508:2:103;493:18;8688:37:12;;;;;;;8402:389;;:::o;120:314:92:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;120:314:92;;;-1:-1:-1;120:314:92;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;556:229:103;;627:1;623:6;620:1;617:13;614:2;;;-1:-1:-1;;;653:33:103;;709:4;706:1;699:15;739:4;660:3;727:17;614:2;-1:-1:-1;770:9:103;;604:181::o;790:380::-;875:1;865:12;;922:1;912:12;;;933:2;;987:4;979:6;975:17;965:27;;933:2;1040;1032:6;1029:14;1009:18;1006:38;1003:2;;;1086:10;1081:3;1077:20;1074:1;1067:31;1121:4;1118:1;1111:15;1149:4;1146:1;1139:15;1003:2;;845:325;;;:::o;:::-;120:314:92;;;;;;",
  "sourcePath": "contracts/test/TestCoin.sol",
  "type": "contract"
}