{ "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": "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": { "102": "contracts/tokens/RiskpoolToken.sol", "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" }, "ast": { "absolutePath": "contracts/tokens/RiskpoolToken.sol", "exportedSymbols": { "Context": [ 24074 ], "ERC20": [ 21536 ], "IERC20": [ 18510 ], "IERC20Metadata": [ 27166 ], "RiskpoolToken": [ 17266 ] }, "id": 17267, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 17248, "literals": [ "solidity", "0.8", ".2" ], "nodeType": "PragmaDirective", "src": "39:22:102" }, { "absolutePath": "/home/vscode/.brownie/packages/OpenZeppelin/openzeppelin-contracts@4.7.3/contracts/token/ERC20/ERC20.sol", "file": "@openzeppelin/contracts/token/ERC20/ERC20.sol", "id": 17249, "nameLocation": "-1:-1:-1", "nodeType": "ImportDirective", "scope": 17267, "sourceUnit": 21537, "src": "63:55:102", "symbolAliases": [], "unitAlias": "" }, { "abstract": false, "baseContracts": [ { "baseName": { "id": 17250, "name": "ERC20", "nodeType": "IdentifierPath", "referencedDeclaration": 21536, "src": "150:5:102" }, "id": 17251, "nodeType": "InheritanceSpecifier", "src": "150:5:102" } ], "contractDependencies": [ 18510, 21536, 24074, 27166 ], "contractKind": "contract", "fullyImplemented": true, "id": 17266, "linearizedBaseContracts": [ 17266, 21536, 27166, 18510, 24074 ], "name": "RiskpoolToken", "nameLocation": "129:13:102", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "functionSelector": "a3f4df7e", "id": 17254, "mutability": "constant", "name": "NAME", "nameLocation": "185:4:102", "nodeType": "VariableDeclaration", "scope": 17266, "src": "162:50:102", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 17252, "name": "string", "nodeType": "ElementaryTypeName", "src": "162:6:102", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "hexValue": "474946205269736b706f6f6c20546f6b656e", "id": 17253, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "192:20:102", "typeDescriptions": { "typeIdentifier": "t_stringliteral_c04ccc87e78cfe956236553ca7b60ff0e91646fd43eb163e8f00edfa2d550d1a", "typeString": "literal_string \"GIF Riskpool Token\"" }, "value": "GIF Riskpool Token" }, "visibility": "public" }, { "constant": true, "functionSelector": "f76f8d78", "id": 17257, "mutability": "constant", "name": "SYMBOL", "nameLocation": "241:6:102", "nodeType": "VariableDeclaration", "scope": 17266, "src": "218:37:102", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 17255, "name": "string", "nodeType": "ElementaryTypeName", "src": "218:6:102", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "hexValue": "525054", "id": 17256, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "250:5:102", "typeDescriptions": { "typeIdentifier": "t_stringliteral_193fb9814d53cc9cda8187d0d39a8722345ce84f54c3c6acd15c420cb1471f43", "typeString": "literal_string \"RPT\"" }, "value": "RPT" }, "visibility": "public" }, { "body": { "id": 17264, "nodeType": "Block", "src": "309:8:102", "statements": [] }, "id": 17265, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "id": 17260, "name": "NAME", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17254, "src": "291:4:102", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "id": 17261, "name": "SYMBOL", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17257, "src": "297:6:102", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "id": 17262, "modifierName": { "id": 17259, "name": "ERC20", "nodeType": "IdentifierPath", "referencedDeclaration": 21536, "src": "285:5:102" }, "nodeType": "ModifierInvocation", "src": "285:19:102" } ], "name": "", "nameLocation": "-1:-1:-1", "nodeType": "FunctionDefinition", "parameters": { "id": 17258, "nodeType": "ParameterList", "parameters": [], "src": "273:2:102" }, "returnParameters": { "id": 17263, "nodeType": "ParameterList", "parameters": [], "src": "309:0:102" }, "scope": 17266, "src": "262:55:102", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" } ], "scope": 17267, "src": "120:199:102" } ], "src": "39:281:102" }, "bytecode": "608060405234801561001057600080fd5b506040518060400160405280601281526020017123a4a3102934b9b5b837b7b6102a37b5b2b760711b8152506040518060400160405280600381526020016214941560ea1b815250816003908051906020019061006e92919061008a565b50805161008290600490602084019061008a565b50505061015e565b82805461009690610123565b90600052602060002090601f0160209004810192826100b857600085556100fe565b82601f106100d157805160ff19168380011785556100fe565b828001600101855582156100fe579182015b828111156100fe5782518255916020019190600101906100e3565b5061010a92915061010e565b5090565b5b8082111561010a576000815560010161010f565b60028104600182168061013757607f821691505b6020821081141561015857634e487b7160e01b600052602260045260246000fd5b50919050565b6108fc8061016d6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a457c2d711610066578063a457c2d7146101a8578063a9059cbb146101bb578063dd62ed3e146101ce578063f76f8d78146101e1576100cf565b806370a082311461015c57806395d89b411461016f578063a3f4df7e14610177576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610203565b6040516100e99190610814565b60405180910390f35b6101056101003660046107eb565b610295565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046107b0565b6102ad565b604051601281526020016100e9565b6101056101573660046107eb565b6102d1565b61011961016a36600461075d565b6102f3565b6100dc610312565b6100dc6040518060400160405280601281526020017123a4a3102934b9b5b837b7b6102a37b5b2b760711b81525081565b6101056101b63660046107eb565b610321565b6101056101c93660046107eb565b6103a1565b6101196101dc36600461077e565b6103af565b6100dc6040518060400160405280600381526020016214941560ea1b81525081565b6060600380546102129061088b565b80601f016020809104026020016040519081016040528092919081815260200182805461023e9061088b565b801561028b5780601f106102605761010080835404028352916020019161028b565b820191906000526020600020905b81548152906001019060200180831161026e57829003601f168201915b5050505050905090565b6000336102a38185856103da565b5060019392505050565b6000336102bb8582856104fe565b6102c6858585610578565b506001949350505050565b6000336102a38185856102e483836103af565b6102ee9190610867565b6103da565b6001600160a01b0381166000908152602081905260409020545b919050565b6060600480546102129061088b565b6000338161032f82866103af565b9050838110156103945760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b6102c682868684036103da565b6000336102a3818585610578565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b03831661043c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038b565b6001600160a01b03821661049d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038b565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061050a84846103af565b9050600019811461057257818110156105655760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604482015260640161038b565b61057284848484036103da565b50505050565b6001600160a01b0383166105dc5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038b565b6001600160a01b03821661063e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038b565b6001600160a01b038316600090815260208190526040902054818110156106b65760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161038b565b6001600160a01b038085166000908152602081905260408082208585039055918516815290812080548492906106ed908490610867565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161073991815260200190565b60405180910390a3610572565b80356001600160a01b038116811461030d57600080fd5b60006020828403121561076e578081fd5b61077782610746565b9392505050565b60008060408385031215610790578081fd5b61079983610746565b91506107a760208401610746565b90509250929050565b6000806000606084860312156107c4578081fd5b6107cd84610746565b92506107db60208501610746565b9150604084013590509250925092565b600080604083850312156107fd578182fd5b61080683610746565b946020939093013593505050565b6000602080835283518082850152825b8181101561084057858101830151858201604001528201610824565b818111156108515783604083870101525b50601f01601f1916929092016040019392505050565b6000821982111561088657634e487b7160e01b81526011600452602481fd5b500190565b60028104600182168061089f57607f821691505b602082108114156108c057634e487b7160e01b600052602260045260246000fd5b5091905056fea2646970667358221220e3a11ad24529a3931ba0b033dfbf154df941955ae33e559cfe647bad0409008f64736f6c63430008020033", "bytecodeSha1": "20d7576aebb86d2044bdf680a351c20e55241026", "compiler": { "evm_version": "istanbul", "optimizer": { "enabled": true, "runs": 200 }, "version": "0.8.2+commit.661d1103" }, "contractName": "RiskpoolToken", "coverageMap": { "branches": { "102": {}, "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": {} }, "statements": { "102": {}, "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 ] } } } }, "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": "608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a457c2d711610066578063a457c2d7146101a8578063a9059cbb146101bb578063dd62ed3e146101ce578063f76f8d78146101e1576100cf565b806370a082311461015c57806395d89b411461016f578063a3f4df7e14610177576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610203565b6040516100e99190610814565b60405180910390f35b6101056101003660046107eb565b610295565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046107b0565b6102ad565b604051601281526020016100e9565b6101056101573660046107eb565b6102d1565b61011961016a36600461075d565b6102f3565b6100dc610312565b6100dc6040518060400160405280601281526020017123a4a3102934b9b5b837b7b6102a37b5b2b760711b81525081565b6101056101b63660046107eb565b610321565b6101056101c93660046107eb565b6103a1565b6101196101dc36600461077e565b6103af565b6100dc6040518060400160405280600381526020016214941560ea1b81525081565b6060600380546102129061088b565b80601f016020809104026020016040519081016040528092919081815260200182805461023e9061088b565b801561028b5780601f106102605761010080835404028352916020019161028b565b820191906000526020600020905b81548152906001019060200180831161026e57829003601f168201915b5050505050905090565b6000336102a38185856103da565b5060019392505050565b6000336102bb8582856104fe565b6102c6858585610578565b506001949350505050565b6000336102a38185856102e483836103af565b6102ee9190610867565b6103da565b6001600160a01b0381166000908152602081905260409020545b919050565b6060600480546102129061088b565b6000338161032f82866103af565b9050838110156103945760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b6102c682868684036103da565b6000336102a3818585610578565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b03831661043c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038b565b6001600160a01b03821661049d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038b565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061050a84846103af565b9050600019811461057257818110156105655760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604482015260640161038b565b61057284848484036103da565b50505050565b6001600160a01b0383166105dc5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038b565b6001600160a01b03821661063e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038b565b6001600160a01b038316600090815260208190526040902054818110156106b65760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161038b565b6001600160a01b038085166000908152602081905260408082208585039055918516815290812080548492906106ed908490610867565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161073991815260200190565b60405180910390a3610572565b80356001600160a01b038116811461030d57600080fd5b60006020828403121561076e578081fd5b61077782610746565b9392505050565b60008060408385031215610790578081fd5b61079983610746565b91506107a760208401610746565b90509250929050565b6000806000606084860312156107c4578081fd5b6107cd84610746565b92506107db60208501610746565b9150604084013590509250925092565b600080604083850312156107fd578182fd5b61080683610746565b946020939093013593505050565b6000602080835283518082850152825b8181101561084057858101830151858201604001528201610824565b818111156108515783604083870101525b50601f01601f1916929092016040019392505050565b6000821982111561088657634e487b7160e01b81526011600452602481fd5b500190565b60028104600182168061089f57607f821691505b602082108114156108c057634e487b7160e01b600052602260045260246000fd5b5091905056fea2646970667358221220e3a11ad24529a3931ba0b033dfbf154df941955ae33e559cfe647bad0409008f64736f6c63430008020033", "deployedSourceMap": "120:199:102:-: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;3093:91::-;;;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;162:50:102:-;;;;;;;;;;;;;;;-1:-1:-1;;;162:50:102;;;;;6594:427:12;;;;;;:::i;:::-;;:::i;3729:189::-;;;;;;:::i;:::-;;:::i;3976:149::-;;;;;;:::i;:::-;;:::i;218:37:102:-;;;;;;;;;;;;;;;-1:-1:-1;;;218:37:102;;;;;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, 319 ], "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0xCF 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 0x1A8 JUMPI DUP1 PUSH4 0xA9059CBB EQ PUSH2 0x1BB JUMPI DUP1 PUSH4 0xDD62ED3E EQ PUSH2 0x1CE JUMPI DUP1 PUSH4 0xF76F8D78 EQ PUSH2 0x1E1 JUMPI PUSH2 0xCF JUMP JUMPDEST DUP1 PUSH4 0x70A08231 EQ PUSH2 0x15C JUMPI DUP1 PUSH4 0x95D89B41 EQ PUSH2 0x16F JUMPI DUP1 PUSH4 0xA3F4DF7E EQ PUSH2 0x177 JUMPI PUSH2 0xCF JUMP JUMPDEST DUP1 PUSH4 0x6FDDE03 EQ PUSH2 0xD4 JUMPI DUP1 PUSH4 0x95EA7B3 EQ PUSH2 0xF2 JUMPI DUP1 PUSH4 0x18160DDD EQ PUSH2 0x115 JUMPI DUP1 PUSH4 0x23B872DD EQ PUSH2 0x127 JUMPI DUP1 PUSH4 0x313CE567 EQ PUSH2 0x13A JUMPI DUP1 PUSH4 0x39509351 EQ PUSH2 0x149 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0xDC PUSH2 0x203 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0xE9 SWAP2 SWAP1 PUSH2 0x814 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x105 PUSH2 0x100 CALLDATASIZE PUSH1 0x4 PUSH2 0x7EB JUMP JUMPDEST PUSH2 0x295 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xE9 JUMP JUMPDEST PUSH1 0x2 SLOAD JUMPDEST PUSH1 0x40 MLOAD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xE9 JUMP JUMPDEST PUSH2 0x105 PUSH2 0x135 CALLDATASIZE PUSH1 0x4 PUSH2 0x7B0 JUMP JUMPDEST PUSH2 0x2AD JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH1 0x12 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xE9 JUMP JUMPDEST PUSH2 0x105 PUSH2 0x157 CALLDATASIZE PUSH1 0x4 PUSH2 0x7EB JUMP JUMPDEST PUSH2 0x2D1 JUMP JUMPDEST PUSH2 0x119 PUSH2 0x16A CALLDATASIZE PUSH1 0x4 PUSH2 0x75D JUMP JUMPDEST PUSH2 0x2F3 JUMP JUMPDEST PUSH2 0xDC PUSH2 0x312 JUMP JUMPDEST PUSH2 0xDC PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x12 DUP2 MSTORE PUSH1 0x20 ADD PUSH18 0x23A4A3102934B9B5B837B7B6102A37B5B2B7 PUSH1 0x71 SHL DUP2 MSTORE POP DUP2 JUMP JUMPDEST PUSH2 0x105 PUSH2 0x1B6 CALLDATASIZE PUSH1 0x4 PUSH2 0x7EB JUMP JUMPDEST PUSH2 0x321 JUMP JUMPDEST PUSH2 0x105 PUSH2 0x1C9 CALLDATASIZE PUSH1 0x4 PUSH2 0x7EB JUMP JUMPDEST PUSH2 0x3A1 JUMP JUMPDEST PUSH2 0x119 PUSH2 0x1DC CALLDATASIZE PUSH1 0x4 PUSH2 0x77E JUMP JUMPDEST PUSH2 0x3AF JUMP JUMPDEST PUSH2 0xDC PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x3 DUP2 MSTORE PUSH1 0x20 ADD PUSH3 0x149415 PUSH1 0xEA SHL DUP2 MSTORE POP DUP2 JUMP JUMPDEST PUSH1 0x60 PUSH1 0x3 DUP1 SLOAD PUSH2 0x212 SWAP1 PUSH2 0x88B 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 0x23E SWAP1 PUSH2 0x88B JUMP JUMPDEST DUP1 ISZERO PUSH2 0x28B JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x260 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x28B 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 0x26E 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 0x2A3 DUP2 DUP6 DUP6 PUSH2 0x3DA JUMP JUMPDEST POP PUSH1 0x1 SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2BB DUP6 DUP3 DUP6 PUSH2 0x4FE JUMP JUMPDEST PUSH2 0x2C6 DUP6 DUP6 DUP6 PUSH2 0x578 JUMP JUMPDEST POP PUSH1 0x1 SWAP5 SWAP4 POP POP POP POP JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2A3 DUP2 DUP6 DUP6 PUSH2 0x2E4 DUP4 DUP4 PUSH2 0x3AF JUMP JUMPDEST PUSH2 0x2EE SWAP2 SWAP1 PUSH2 0x867 JUMP JUMPDEST PUSH2 0x3DA 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 0x212 SWAP1 PUSH2 0x88B JUMP JUMPDEST PUSH1 0x0 CALLER DUP2 PUSH2 0x32F DUP3 DUP7 PUSH2 0x3AF JUMP JUMPDEST SWAP1 POP DUP4 DUP2 LT ISZERO PUSH2 0x394 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 0x2C6 DUP3 DUP7 DUP7 DUP5 SUB PUSH2 0x3DA JUMP JUMPDEST PUSH1 0x0 CALLER PUSH2 0x2A3 DUP2 DUP6 DUP6 PUSH2 0x578 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 0x43C 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 0x38B JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x49D 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 0x38B 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 0x50A DUP5 DUP5 PUSH2 0x3AF JUMP JUMPDEST SWAP1 POP PUSH1 0x0 NOT DUP2 EQ PUSH2 0x572 JUMPI DUP2 DUP2 LT ISZERO PUSH2 0x565 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 0x38B JUMP JUMPDEST PUSH2 0x572 DUP5 DUP5 DUP5 DUP5 SUB PUSH2 0x3DA JUMP JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH2 0x5DC 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 0x38B JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x63E 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 0x38B 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 0x6B6 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 0x38B 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 0x6ED SWAP1 DUP5 SWAP1 PUSH2 0x867 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 0x739 SWAP2 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG3 PUSH2 0x572 JUMP JUMPDEST DUP1 CALLDATALOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND DUP2 EQ PUSH2 0x30D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x76E JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x777 DUP3 PUSH2 0x746 JUMP JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x790 JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x799 DUP4 PUSH2 0x746 JUMP JUMPDEST SWAP2 POP PUSH2 0x7A7 PUSH1 0x20 DUP5 ADD PUSH2 0x746 JUMP JUMPDEST SWAP1 POP SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x0 PUSH1 0x60 DUP5 DUP7 SUB SLT ISZERO PUSH2 0x7C4 JUMPI DUP1 DUP2 REVERT JUMPDEST PUSH2 0x7CD DUP5 PUSH2 0x746 JUMP JUMPDEST SWAP3 POP PUSH2 0x7DB PUSH1 0x20 DUP6 ADD PUSH2 0x746 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 0x7FD JUMPI DUP2 DUP3 REVERT JUMPDEST PUSH2 0x806 DUP4 PUSH2 0x746 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 0x840 JUMPI DUP6 DUP2 ADD DUP4 ADD MLOAD DUP6 DUP3 ADD PUSH1 0x40 ADD MSTORE DUP3 ADD PUSH2 0x824 JUMP JUMPDEST DUP2 DUP2 GT ISZERO PUSH2 0x851 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 0x886 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 0x89F JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x8C0 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 0xE3 LOG1 BYTE 0xD2 GASLIMIT 0x29 LOG3 SWAP4 SHL LOG0 0xB0 CALLER 0xDF 0xBF ISZERO 0x4D 0xF9 COINBASE SWAP6 GAS 0xE3 RETURNDATACOPY SSTORE SWAP13 INVALID PUSH5 0x7BAD040900 DUP16 PUSH5 0x736F6C6343 STOP ADDMOD MUL STOP CALLER ", "pcMap": { "0": { "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x80" }, "2": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "4": { "fn": null, "offset": [ 120, 319 ], "op": "MSTORE", "path": "102" }, "5": { "fn": null, "offset": [ 120, 319 ], "op": "CALLVALUE", "path": "102" }, "6": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "7": { "fn": null, "offset": [ 120, 319 ], "op": "ISZERO", "path": "102" }, "8": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x10" }, "11": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "12": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x0" }, "14": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "15": { "dev": "Cannot send ether to nonpayable function", "fn": null, "offset": [ 120, 319 ], "op": "REVERT", "path": "102" }, "16": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPDEST", "path": "102" }, "17": { "fn": null, "offset": [ 120, 319 ], "op": "POP", "path": "102" }, "18": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x4" }, "20": { "fn": null, "offset": [ 120, 319 ], "op": "CALLDATASIZE", "path": "102" }, "21": { "fn": null, "offset": [ 120, 319 ], "op": "LT", "path": "102" }, "22": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0xCF" }, "25": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "26": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x0" }, "28": { "fn": null, "offset": [ 120, 319 ], "op": "CALLDATALOAD", "path": "102" }, "29": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0xE0" }, "31": { "fn": null, "offset": [ 120, 319 ], "op": "SHR", "path": "102" }, "32": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "33": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x70A08231" }, "38": { "fn": null, "offset": [ 120, 319 ], "op": "GT", "path": "102" }, "39": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x8C" }, "42": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "43": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "44": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xA457C2D7" }, "49": { "fn": null, "offset": [ 120, 319 ], "op": "GT", "path": "102" }, "50": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x66" }, "53": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "54": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "55": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xA457C2D7" }, "60": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "61": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x1A8" }, "64": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "65": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "66": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xA9059CBB" }, "71": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "72": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x1BB" }, "75": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "76": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "77": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xDD62ED3E" }, "82": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "83": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x1CE" }, "86": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "87": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "88": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xF76F8D78" }, "93": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "94": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x1E1" }, "97": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "98": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0xCF" }, "101": { "fn": null, "offset": [ 120, 319 ], "op": "JUMP", "path": "102" }, "102": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPDEST", "path": "102" }, "103": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "104": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x70A08231" }, "109": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "110": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x15C" }, "113": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "114": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "115": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x95D89B41" }, "120": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "121": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x16F" }, "124": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "125": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "126": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0xA3F4DF7E" }, "131": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "132": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x177" }, "135": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "136": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0xCF" }, "139": { "fn": null, "offset": [ 120, 319 ], "op": "JUMP", "path": "102" }, "140": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPDEST", "path": "102" }, "141": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "142": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x6FDDE03" }, "147": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "148": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0xD4" }, "151": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "152": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "153": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x95EA7B3" }, "158": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "159": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0xF2" }, "162": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "163": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "164": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x18160DDD" }, "169": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "170": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x115" }, "173": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "174": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "175": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x23B872DD" }, "180": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "181": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x127" }, "184": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "185": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "186": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x313CE567" }, "191": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "192": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x13A" }, "195": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "196": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "197": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH4", "path": "102", "value": "0x39509351" }, "202": { "fn": null, "offset": [ 120, 319 ], "op": "EQ", "path": "102" }, "203": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH2", "path": "102", "value": "0x149" }, "206": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPI", "path": "102" }, "207": { "fn": null, "offset": [ 120, 319 ], "op": "JUMPDEST", "path": "102" }, "208": { "fn": null, "offset": [ 120, 319 ], "op": "PUSH1", "path": "102", "value": "0x0" }, "210": { "fn": null, "offset": [ 120, 319 ], "op": "DUP1", "path": "102" }, "211": { "first_revert": true, "fn": null, "offset": [ 120, 319 ], "op": "REVERT", "path": "102" }, "212": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "JUMPDEST", "path": "12" }, "213": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH2", "path": "12", "value": "0xDC" }, "216": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH2", "path": "12", "value": "0x203" }, "219": { "fn": "ERC20.name", "jump": "i", "offset": [ 2156, 2254 ], "op": "JUMP", "path": "12" }, "220": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "JUMPDEST", "path": "12" }, "221": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "223": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "MLOAD", "path": "12" }, "224": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH2", "path": "12", "value": "0xE9" }, "227": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SWAP2", "path": "12" }, "228": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SWAP1", "path": "12" }, "229": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH2", "path": "12", "value": "0x814" }, "232": { "fn": "ERC20.name", "jump": "i", "offset": [ 2156, 2254 ], "op": "JUMP", "path": "12" }, "233": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "JUMPDEST", "path": "12" }, "234": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "236": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "MLOAD", "path": "12" }, "237": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "DUP1", "path": "12" }, "238": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SWAP2", "path": "12" }, "239": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SUB", "path": "12" }, "240": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SWAP1", "path": "12" }, "241": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "RETURN", "path": "12" }, "242": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "JUMPDEST", "path": "12" }, "243": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH2", "path": "12", "value": "0x105" }, "246": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH2", "path": "12", "value": "0x100" }, "249": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "CALLDATASIZE", "path": "12" }, "250": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "252": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH2", "path": "12", "value": "0x7EB" }, "255": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4433, 4630 ], "op": "JUMP", "path": "12" }, "256": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "JUMPDEST", "path": "12" }, "257": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH2", "path": "12", "value": "0x295" }, "260": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4433, 4630 ], "op": "JUMP", "path": "12" }, "261": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "JUMPDEST", "path": "12" }, "262": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "264": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "MLOAD", "path": "12" }, "265": { "op": "SWAP1" }, "266": { "op": "ISZERO" }, "267": { "op": "ISZERO" }, "268": { "op": "DUP2" }, "269": { "op": "MSTORE" }, "270": { "op": "PUSH1", "value": "0x20" }, "272": { "op": "ADD" }, "273": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "PUSH2", "path": "12", "value": "0xE9" }, "276": { "op": "JUMP" }, "277": { "fn": "ERC20.totalSupply", "offset": [ 3244, 3350 ], "op": "JUMPDEST", "path": "12" }, "278": { "fn": "ERC20.totalSupply", "offset": [ 3331, 3343 ], "op": "PUSH1", "path": "12", "statement": 0, "value": "0x2" }, "280": { "fn": "ERC20.totalSupply", "offset": [ 3331, 3343 ], "op": "SLOAD", "path": "12" }, "281": { "fn": "ERC20.totalSupply", "offset": [ 3244, 3350 ], "op": "JUMPDEST", "path": "12" }, "282": { "fn": "ERC20.totalSupply", "offset": [ 3244, 3350 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "284": { "fn": "ERC20.totalSupply", "offset": [ 3244, 3350 ], "op": "MLOAD", "path": "12" }, "285": { "op": "SWAP1" }, "286": { "op": "DUP2" }, "287": { "op": "MSTORE" }, "288": { "op": "PUSH1", "value": "0x20" }, "290": { "op": "ADD" }, "291": { "fn": "ERC20.totalSupply", "offset": [ 3244, 3350 ], "op": "PUSH2", "path": "12", "value": "0xE9" }, "294": { "op": "JUMP" }, "295": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "JUMPDEST", "path": "12" }, "296": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "PUSH2", "path": "12", "value": "0x105" }, "299": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "PUSH2", "path": "12", "value": "0x135" }, "302": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "CALLDATASIZE", "path": "12" }, "303": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "305": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "PUSH2", "path": "12", "value": "0x7B0" }, "308": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5192, 5478 ], "op": "JUMP", "path": "12" }, "309": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "JUMPDEST", "path": "12" }, "310": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "PUSH2", "path": "12", "value": "0x2AD" }, "313": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5192, 5478 ], "op": "JUMP", "path": "12" }, "314": { "fn": "ERC20.decimals", "offset": [ 3093, 3184 ], "op": "JUMPDEST", "path": "12" }, "315": { "fn": "ERC20.decimals", "offset": [ 3093, 3184 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "317": { "fn": "ERC20.decimals", "offset": [ 3093, 3184 ], "op": "MLOAD", "path": "12" }, "318": { "fn": "ERC20.decimals", "offset": [ 3175, 3177 ], "op": "PUSH1", "path": "12", "statement": 1, "value": "0x12" }, "320": { "op": "DUP2" }, "321": { "op": "MSTORE" }, "322": { "op": "PUSH1", "value": "0x20" }, "324": { "op": "ADD" }, "325": { "fn": "ERC20.decimals", "offset": [ 3093, 3184 ], "op": "PUSH2", "path": "12", "value": "0xE9" }, "328": { "op": "JUMP" }, "329": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "JUMPDEST", "path": "12" }, "330": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "PUSH2", "path": "12", "value": "0x105" }, "333": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "PUSH2", "path": "12", "value": "0x157" }, "336": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "CALLDATASIZE", "path": "12" }, "337": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "339": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "PUSH2", "path": "12", "value": "0x7EB" }, "342": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5873, 6107 ], "op": "JUMP", "path": "12" }, "343": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "JUMPDEST", "path": "12" }, "344": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "PUSH2", "path": "12", "value": "0x2D1" }, "347": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5873, 6107 ], "op": "JUMP", "path": "12" }, "348": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "JUMPDEST", "path": "12" }, "349": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "PUSH2", "path": "12", "value": "0x119" }, "352": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "PUSH2", "path": "12", "value": "0x16A" }, "355": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "CALLDATASIZE", "path": "12" }, "356": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "358": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "PUSH2", "path": "12", "value": "0x75D" }, "361": { "fn": "ERC20.balanceOf", "jump": "i", "offset": [ 3408, 3533 ], "op": "JUMP", "path": "12" }, "362": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "JUMPDEST", "path": "12" }, "363": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "PUSH2", "path": "12", "value": "0x2F3" }, "366": { "fn": "ERC20.balanceOf", "jump": "i", "offset": [ 3408, 3533 ], "op": "JUMP", "path": "12" }, "367": { "fn": "ERC20.symbol", "offset": [ 2367, 2469 ], "op": "JUMPDEST", "path": "12" }, "368": { "fn": "ERC20.symbol", "offset": [ 2367, 2469 ], "op": "PUSH2", "path": "12", "value": "0xDC" }, "371": { "fn": "ERC20.symbol", "offset": [ 2367, 2469 ], "op": "PUSH2", "path": "12", "value": "0x312" }, "374": { "fn": "ERC20.symbol", "jump": "i", "offset": [ 2367, 2469 ], "op": "JUMP", "path": "12" }, "375": { "offset": [ 162, 212 ], "op": "JUMPDEST", "path": "102" }, "376": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH2", "path": "102", "value": "0xDC" }, "379": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "381": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "MLOAD", "path": "102" }, "382": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "DUP1", "path": "102" }, "383": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "385": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "ADD", "path": "102" }, "386": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "388": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "MSTORE", "path": "102" }, "389": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "DUP1", "path": "102" }, "390": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH1", "path": "102", "value": "0x12" }, "392": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "DUP2", "path": "102" }, "393": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "MSTORE", "path": "102" }, "394": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "PUSH1", "path": "102", "value": "0x20" }, "396": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "ADD", "path": "102" }, "397": { "op": "PUSH18", "value": "0x23A4A3102934B9B5B837B7B6102A37B5B2B7" }, "416": { "op": "PUSH1", "value": "0x71" }, "418": { "op": "SHL" }, "419": { "offset": [ 162, 212 ], "op": "DUP2", "path": "102" }, "420": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "MSTORE", "path": "102" }, "421": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "POP", "path": "102" }, "422": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "DUP2", "path": "102" }, "423": { "fn": "ERC20.symbol", "offset": [ 162, 212 ], "op": "JUMP", "path": "102" }, "424": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "JUMPDEST", "path": "12" }, "425": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "PUSH2", "path": "12", "value": "0x105" }, "428": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "PUSH2", "path": "12", "value": "0x1B6" }, "431": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "CALLDATASIZE", "path": "12" }, "432": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "434": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "PUSH2", "path": "12", "value": "0x7EB" }, "437": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6594, 7021 ], "op": "JUMP", "path": "12" }, "438": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "JUMPDEST", "path": "12" }, "439": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "PUSH2", "path": "12", "value": "0x321" }, "442": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6594, 7021 ], "op": "JUMP", "path": "12" }, "443": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "JUMPDEST", "path": "12" }, "444": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "PUSH2", "path": "12", "value": "0x105" }, "447": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "PUSH2", "path": "12", "value": "0x1C9" }, "450": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "CALLDATASIZE", "path": "12" }, "451": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "453": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "PUSH2", "path": "12", "value": "0x7EB" }, "456": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3729, 3918 ], "op": "JUMP", "path": "12" }, "457": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "JUMPDEST", "path": "12" }, "458": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "PUSH2", "path": "12", "value": "0x3A1" }, "461": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3729, 3918 ], "op": "JUMP", "path": "12" }, "462": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "JUMPDEST", "path": "12" }, "463": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "PUSH2", "path": "12", "value": "0x119" }, "466": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "PUSH2", "path": "12", "value": "0x1DC" }, "469": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "CALLDATASIZE", "path": "12" }, "470": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "472": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "PUSH2", "path": "12", "value": "0x77E" }, "475": { "fn": "ERC20.allowance", "jump": "i", "offset": [ 3976, 4125 ], "op": "JUMP", "path": "12" }, "476": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "JUMPDEST", "path": "12" }, "477": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "PUSH2", "path": "12", "value": "0x3AF" }, "480": { "fn": "ERC20.allowance", "jump": "i", "offset": [ 3976, 4125 ], "op": "JUMP", "path": "12" }, "481": { "offset": [ 218, 255 ], "op": "JUMPDEST", "path": "102" }, "482": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH2", "path": "102", "value": "0xDC" }, "485": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "487": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "MLOAD", "path": "102" }, "488": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "DUP1", "path": "102" }, "489": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "491": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "ADD", "path": "102" }, "492": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH1", "path": "102", "value": "0x40" }, "494": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "MSTORE", "path": "102" }, "495": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "DUP1", "path": "102" }, "496": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH1", "path": "102", "value": "0x3" }, "498": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "DUP2", "path": "102" }, "499": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "MSTORE", "path": "102" }, "500": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "PUSH1", "path": "102", "value": "0x20" }, "502": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "ADD", "path": "102" }, "503": { "op": "PUSH3", "value": "0x149415" }, "507": { "op": "PUSH1", "value": "0xEA" }, "509": { "op": "SHL" }, "510": { "offset": [ 218, 255 ], "op": "DUP2", "path": "102" }, "511": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "MSTORE", "path": "102" }, "512": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "POP", "path": "102" }, "513": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "DUP2", "path": "102" }, "514": { "fn": "ERC20.allowance", "offset": [ 218, 255 ], "op": "JUMP", "path": "102" }, "515": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "JUMPDEST", "path": "12" }, "516": { "fn": "ERC20.name", "offset": [ 2210, 2223 ], "op": "PUSH1", "path": "12", "value": "0x60" }, "518": { "fn": "ERC20.name", "offset": [ 2242, 2247 ], "op": "PUSH1", "path": "12", "statement": 2, "value": "0x3" }, "520": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "521": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SLOAD", "path": "12" }, "522": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x212" }, "525": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "526": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x88B" }, "529": { "fn": "ERC20.name", "jump": "i", "offset": [ 2235, 2247 ], "op": "JUMP", "path": "12" }, "530": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPDEST", "path": "12" }, "531": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "532": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x1F" }, "534": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "535": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "537": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "538": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "539": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DIV", "path": "12" }, "540": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MUL", "path": "12" }, "541": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "543": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "544": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "546": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MLOAD", "path": "12" }, "547": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "548": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP2", "path": "12" }, "549": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "550": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "552": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MSTORE", "path": "12" }, "553": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "554": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP3", "path": "12" }, "555": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "556": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "557": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP2", "path": "12" }, "558": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP2", "path": "12" }, "559": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MSTORE", "path": "12" }, "560": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "562": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "563": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP3", "path": "12" }, "564": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "565": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SLOAD", "path": "12" }, "566": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x23E" }, "569": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "570": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x88B" }, "573": { "fn": "ERC20.name", "jump": "i", "offset": [ 2235, 2247 ], "op": "JUMP", "path": "12" }, "574": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPDEST", "path": "12" }, "575": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "576": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ISZERO", "path": "12" }, "577": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x28B" }, "580": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPI", "path": "12" }, "581": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "582": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x1F" }, "584": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "LT", "path": "12" }, "585": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x260" }, "588": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPI", "path": "12" }, "589": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x100" }, "592": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "593": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP4", "path": "12" }, "594": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SLOAD", "path": "12" }, "595": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DIV", "path": "12" }, "596": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MUL", "path": "12" }, "597": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP4", "path": "12" }, "598": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MSTORE", "path": "12" }, "599": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "600": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "602": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "603": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "604": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x28B" }, "607": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMP", "path": "12" }, "608": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPDEST", "path": "12" }, "609": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP3", "path": "12" }, "610": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "611": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "612": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "613": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "615": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MSTORE", "path": "12" }, "616": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "618": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "620": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "KECCAK256", "path": "12" }, "621": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "622": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPDEST", "path": "12" }, "623": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP2", "path": "12" }, "624": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SLOAD", "path": "12" }, "625": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP2", "path": "12" }, "626": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "MSTORE", "path": "12" }, "627": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "628": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x1" }, "630": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "631": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "632": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "634": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "635": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP1", "path": "12" }, "636": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP4", "path": "12" }, "637": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "GT", "path": "12" }, "638": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH2", "path": "12", "value": "0x26E" }, "641": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPI", "path": "12" }, "642": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP3", "path": "12" }, "643": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "644": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SUB", "path": "12" }, "645": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "PUSH1", "path": "12", "value": "0x1F" }, "647": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "AND", "path": "12" }, "648": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "DUP3", "path": "12" }, "649": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "ADD", "path": "12" }, "650": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP2", "path": "12" }, "651": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "JUMPDEST", "path": "12" }, "652": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "653": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "654": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "655": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "656": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "657": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "SWAP1", "path": "12" }, "658": { "fn": "ERC20.name", "offset": [ 2235, 2247 ], "op": "POP", "path": "12" }, "659": { "fn": "ERC20.name", "offset": [ 2156, 2254 ], "op": "SWAP1", "path": "12" }, "660": { "fn": "ERC20.name", "jump": "o", "offset": [ 2156, 2254 ], "op": "JUMP", "path": "12" }, "661": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "JUMPDEST", "path": "12" }, "662": { "fn": "ERC20.approve", "offset": [ 4516, 4520 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "664": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "CALLER", "path": "22", "statement": 3 }, "665": { "fn": "ERC20.approve", "offset": [ 4570, 4602 ], "op": "PUSH2", "path": "12", "statement": 4, "value": "0x2A3" }, "668": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP2", "path": "22" }, "669": { "fn": "ERC20.approve", "offset": [ 4586, 4593 ], "op": "DUP6", "path": "12" }, "670": { "fn": "ERC20.approve", "offset": [ 4595, 4601 ], "op": "DUP6", "path": "12" }, "671": { "fn": "ERC20.approve", "offset": [ 4570, 4578 ], "op": "PUSH2", "path": "12", "value": "0x3DA" }, "674": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4570, 4602 ], "op": "JUMP", "path": "12" }, "675": { "fn": "ERC20.approve", "offset": [ 4570, 4602 ], "op": "JUMPDEST", "path": "12" }, "676": { "op": "POP" }, "677": { "fn": "ERC20.approve", "offset": [ 4619, 4623 ], "op": "PUSH1", "path": "12", "statement": 5, "value": "0x1" }, "679": { "fn": "ERC20.approve", "offset": [ 4619, 4623 ], "op": "SWAP4", "path": "12" }, "680": { "fn": "ERC20.approve", "offset": [ 4433, 4630 ], "op": "SWAP3", "path": "12" }, "681": { "op": "POP" }, "682": { "op": "POP" }, "683": { "op": "POP" }, "684": { "fn": "ERC20.approve", "jump": "o", "offset": [ 4433, 4630 ], "op": "JUMP", "path": "12" }, "685": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "JUMPDEST", "path": "12" }, "686": { "fn": "ERC20.transferFrom", "offset": [ 5319, 5323 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "688": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "CALLER", "path": "22" }, "689": { "fn": "ERC20.transferFrom", "offset": [ 5375, 5413 ], "op": "PUSH2", "path": "12", "statement": 6, "value": "0x2BB" }, "692": { "fn": "ERC20.transferFrom", "offset": [ 5391, 5395 ], "op": "DUP6", "path": "12" }, "693": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP3", "path": "22" }, "694": { "fn": "ERC20.transferFrom", "offset": [ 5406, 5412 ], "op": "DUP6", "path": "12" }, "695": { "fn": "ERC20.transferFrom", "offset": [ 5375, 5390 ], "op": "PUSH2", "path": "12", "value": "0x4FE" }, "698": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5375, 5413 ], "op": "JUMP", "path": "12" }, "699": { "fn": "ERC20.transferFrom", "offset": [ 5375, 5413 ], "op": "JUMPDEST", "path": "12" }, "700": { "fn": "ERC20.transferFrom", "offset": [ 5423, 5450 ], "op": "PUSH2", "path": "12", "statement": 7, "value": "0x2C6" }, "703": { "fn": "ERC20.transferFrom", "offset": [ 5433, 5437 ], "op": "DUP6", "path": "12" }, "704": { "fn": "ERC20.transferFrom", "offset": [ 5439, 5441 ], "op": "DUP6", "path": "12" }, "705": { "fn": "ERC20.transferFrom", "offset": [ 5443, 5449 ], "op": "DUP6", "path": "12" }, "706": { "fn": "ERC20.transferFrom", "offset": [ 5423, 5432 ], "op": "PUSH2", "path": "12", "value": "0x578" }, "709": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5423, 5450 ], "op": "JUMP", "path": "12" }, "710": { "fn": "ERC20.transferFrom", "offset": [ 5423, 5450 ], "op": "JUMPDEST", "path": "12" }, "711": { "op": "POP" }, "712": { "fn": "ERC20.transferFrom", "offset": [ 5467, 5471 ], "op": "PUSH1", "path": "12", "statement": 8, "value": "0x1" }, "714": { "fn": "ERC20.transferFrom", "offset": [ 5467, 5471 ], "op": "SWAP5", "path": "12" }, "715": { "fn": "ERC20.transferFrom", "offset": [ 5192, 5478 ], "op": "SWAP4", "path": "12" }, "716": { "op": "POP" }, "717": { "op": "POP" }, "718": { "op": "POP" }, "719": { "op": "POP" }, "720": { "fn": "ERC20.transferFrom", "jump": "o", "offset": [ 5192, 5478 ], "op": "JUMP", "path": "12" }, "721": { "fn": "ERC20.increaseAllowance", "offset": [ 5873, 6107 ], "op": "JUMPDEST", "path": "12" }, "722": { "fn": "ERC20.increaseAllowance", "offset": [ 5961, 5965 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "724": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "CALLER", "path": "22" }, "725": { "fn": "ERC20.increaseAllowance", "offset": [ 6015, 6079 ], "op": "PUSH2", "path": "12", "statement": 9, "value": "0x2A3" }, "728": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP2", "path": "22" }, "729": { "fn": "ERC20.increaseAllowance", "offset": [ 6031, 6038 ], "op": "DUP6", "path": "12" }, "730": { "fn": "ERC20.increaseAllowance", "offset": [ 6068, 6078 ], "op": "DUP6", "path": "12" }, "731": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6065 ], "op": "PUSH2", "path": "12", "value": "0x2E4" }, "734": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP4", "path": "22" }, "735": { "fn": "ERC20.increaseAllowance", "offset": [ 6031, 6038 ], "op": "DUP4", "path": "12" }, "736": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6049 ], "op": "PUSH2", "path": "12", "value": "0x3AF" }, "739": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 6040, 6065 ], "op": "JUMP", "path": "12" }, "740": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6065 ], "op": "JUMPDEST", "path": "12" }, "741": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6078 ], "op": "PUSH2", "path": "12", "value": "0x2EE" }, "744": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6078 ], "op": "SWAP2", "path": "12" }, "745": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6078 ], "op": "SWAP1", "path": "12" }, "746": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6078 ], "op": "PUSH2", "path": "12", "value": "0x867" }, "749": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 6040, 6078 ], "op": "JUMP", "path": "12" }, "750": { "fn": "ERC20.increaseAllowance", "offset": [ 6040, 6078 ], "op": "JUMPDEST", "path": "12" }, "751": { "fn": "ERC20.increaseAllowance", "offset": [ 6015, 6023 ], "op": "PUSH2", "path": "12", "value": "0x3DA" }, "754": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 6015, 6079 ], "op": "JUMP", "path": "12" }, "755": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "JUMPDEST", "path": "12" }, "756": { "op": "PUSH1", "value": "0x1" }, "758": { "op": "PUSH1", "value": "0x1" }, "760": { "op": "PUSH1", "value": "0xA0" }, "762": { "op": "SHL" }, "763": { "op": "SUB" }, "764": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "DUP2", "path": "12", "statement": 10 }, "765": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "AND", "path": "12" }, "766": { "fn": "ERC20.balanceOf", "offset": [ 3482, 3489 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "768": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "SWAP1", "path": "12" }, "769": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "DUP2", "path": "12" }, "770": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "MSTORE", "path": "12" }, "771": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "773": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "DUP2", "path": "12" }, "774": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "SWAP1", "path": "12" }, "775": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "MSTORE", "path": "12" }, "776": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "778": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "SWAP1", "path": "12" }, "779": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "KECCAK256", "path": "12" }, "780": { "fn": "ERC20.balanceOf", "offset": [ 3508, 3526 ], "op": "SLOAD", "path": "12" }, "781": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "JUMPDEST", "path": "12" }, "782": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "SWAP2", "path": "12" }, "783": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "SWAP1", "path": "12" }, "784": { "fn": "ERC20.balanceOf", "offset": [ 3408, 3533 ], "op": "POP", "path": "12" }, "785": { "fn": "ERC20.balanceOf", "jump": "o", "offset": [ 3408, 3533 ], "op": "JUMP", "path": "12" }, "786": { "fn": "ERC20.symbol", "offset": [ 2367, 2469 ], "op": "JUMPDEST", "path": "12" }, "787": { "fn": "ERC20.symbol", "offset": [ 2423, 2436 ], "op": "PUSH1", "path": "12", "value": "0x60" }, "789": { "fn": "ERC20.symbol", "offset": [ 2455, 2462 ], "op": "PUSH1", "path": "12", "statement": 11, "value": "0x4" }, "791": { "fn": "ERC20.symbol", "offset": [ 2448, 2462 ], "op": "DUP1", "path": "12" }, "792": { "fn": "ERC20.symbol", "offset": [ 2448, 2462 ], "op": "SLOAD", "path": "12" }, "793": { "fn": "ERC20.symbol", "offset": [ 2448, 2462 ], "op": "PUSH2", "path": "12", "value": "0x212" }, "796": { "fn": "ERC20.symbol", "offset": [ 2448, 2462 ], "op": "SWAP1", "path": "12" }, "797": { "fn": "ERC20.symbol", "offset": [ 2448, 2462 ], "op": "PUSH2", "path": "12", "value": "0x88B" }, "800": { "fn": "ERC20.symbol", "jump": "i", "offset": [ 2448, 2462 ], "op": "JUMP", "path": "12" }, "801": { "fn": "ERC20.decreaseAllowance", "offset": [ 6594, 7021 ], "op": "JUMPDEST", "path": "12" }, "802": { "fn": "ERC20.decreaseAllowance", "offset": [ 6687, 6691 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "804": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "CALLER", "path": "22" }, "805": { "fn": "ERC20.decreaseAllowance", "offset": [ 6687, 6691 ], "op": "DUP2", "path": "12" }, "806": { "fn": "ERC20.decreaseAllowance", "offset": [ 6768, 6793 ], "op": "PUSH2", "path": "12", "value": "0x32F" }, "809": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP3", "path": "22" }, "810": { "fn": "ERC20.decreaseAllowance", "offset": [ 6785, 6792 ], "op": "DUP7", "path": "12" }, "811": { "fn": "ERC20.decreaseAllowance", "offset": [ 6768, 6777 ], "op": "PUSH2", "path": "12", "value": "0x3AF" }, "814": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6768, 6793 ], "op": "JUMP", "path": "12" }, "815": { "fn": "ERC20.decreaseAllowance", "offset": [ 6768, 6793 ], "op": "JUMPDEST", "path": "12" }, "816": { "fn": "ERC20.decreaseAllowance", "offset": [ 6741, 6793 ], "op": "SWAP1", "path": "12" }, "817": { "fn": "ERC20.decreaseAllowance", "offset": [ 6741, 6793 ], "op": "POP", "path": "12" }, "818": { "fn": "ERC20.decreaseAllowance", "offset": [ 6831, 6846 ], "op": "DUP4", "path": "12", "statement": 12 }, "819": { "fn": "ERC20.decreaseAllowance", "offset": [ 6811, 6827 ], "op": "DUP2", "path": "12" }, "820": { "fn": "ERC20.decreaseAllowance", "offset": [ 6811, 6846 ], "op": "LT", "path": "12" }, "821": { "branch": 29, "fn": "ERC20.decreaseAllowance", "offset": [ 6811, 6846 ], "op": "ISZERO", "path": "12" }, "822": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "PUSH2", "path": "12", "value": "0x394" }, "825": { "branch": 29, "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "JUMPI", "path": "12" }, "826": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "828": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "MLOAD", "path": "12" }, "829": { "op": "PUSH3", "value": "0x461BCD" }, "833": { "op": "PUSH1", "value": "0xE5" }, "835": { "op": "SHL" }, "836": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "DUP2", "path": "12" }, "837": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "MSTORE", "path": "12" }, "838": { "op": "PUSH1", "value": "0x20" }, "840": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "842": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "DUP3", "path": "12" }, "843": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "ADD", "path": "12" }, "844": { "op": "MSTORE" }, "845": { "op": "PUSH1", "value": "0x25" }, "847": { "op": "PUSH1", "value": "0x24" }, "849": { "op": "DUP3" }, "850": { "op": "ADD" }, "851": { "op": "MSTORE" }, "852": { "op": "PUSH32", "value": "0x45524332303A2064656372656173656420616C6C6F77616E63652062656C6F77" }, "885": { "op": "PUSH1", "value": "0x44" }, "887": { "op": "DUP3" }, "888": { "op": "ADD" }, "889": { "op": "MSTORE" }, "890": { "op": "PUSH5", "value": "0x207A65726F" }, "896": { "op": "PUSH1", "value": "0xD8" }, "898": { "op": "SHL" }, "899": { "op": "PUSH1", "value": "0x64" }, "901": { "op": "DUP3" }, "902": { "op": "ADD" }, "903": { "op": "MSTORE" }, "904": { "op": "PUSH1", "value": "0x84" }, "906": { "op": "ADD" }, "907": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "JUMPDEST", "path": "12" }, "908": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "910": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "MLOAD", "path": "12" }, "911": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "DUP1", "path": "12" }, "912": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "SWAP2", "path": "12" }, "913": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "SUB", "path": "12" }, "914": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "SWAP1", "path": "12" }, "915": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "REVERT", "optimizer_revert": true, "path": "12" }, "916": { "fn": "ERC20.decreaseAllowance", "offset": [ 6803, 6888 ], "op": "JUMPDEST", "path": "12" }, "917": { "fn": "ERC20.decreaseAllowance", "offset": [ 6922, 6982 ], "op": "PUSH2", "path": "12", "statement": 13, "value": "0x2C6" }, "920": { "fn": "ERC20.decreaseAllowance", "offset": [ 6931, 6936 ], "op": "DUP3", "path": "12" }, "921": { "fn": "ERC20.decreaseAllowance", "offset": [ 6938, 6945 ], "op": "DUP7", "path": "12" }, "922": { "fn": "ERC20.decreaseAllowance", "offset": [ 6966, 6981 ], "op": "DUP7", "path": "12" }, "923": { "fn": "ERC20.decreaseAllowance", "offset": [ 6947, 6963 ], "op": "DUP5", "path": "12" }, "924": { "fn": "ERC20.decreaseAllowance", "offset": [ 6947, 6981 ], "op": "SUB", "path": "12" }, "925": { "fn": "ERC20.decreaseAllowance", "offset": [ 6922, 6930 ], "op": "PUSH2", "path": "12", "value": "0x3DA" }, "928": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6922, 6982 ], "op": "JUMP", "path": "12" }, "929": { "fn": "ERC20.transfer", "offset": [ 3729, 3918 ], "op": "JUMPDEST", "path": "12" }, "930": { "fn": "ERC20.transfer", "offset": [ 3808, 3812 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "932": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "CALLER", "path": "22" }, "933": { "fn": "ERC20.transfer", "offset": [ 3862, 3890 ], "op": "PUSH2", "path": "12", "statement": 14, "value": "0x2A3" }, "936": { "fn": "Context._msgSender", "offset": [ 719, 729 ], "op": "DUP2", "path": "22" }, "937": { "fn": "ERC20.transfer", "offset": [ 3879, 3881 ], "op": "DUP6", "path": "12" }, "938": { "fn": "ERC20.transfer", "offset": [ 3883, 3889 ], "op": "DUP6", "path": "12" }, "939": { "fn": "ERC20.transfer", "offset": [ 3862, 3871 ], "op": "PUSH2", "path": "12", "value": "0x578" }, "942": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3862, 3890 ], "op": "JUMP", "path": "12" }, "943": { "fn": "ERC20.allowance", "offset": [ 3976, 4125 ], "op": "JUMPDEST", "path": "12" }, "944": { "op": "PUSH1", "value": "0x1" }, "946": { "op": "PUSH1", "value": "0x1" }, "948": { "op": "PUSH1", "value": "0xA0" }, "950": { "op": "SHL" }, "951": { "op": "SUB" }, "952": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "SWAP2", "path": "12", "statement": 15 }, "953": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "DUP3", "path": "12" }, "954": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "AND", "path": "12" }, "955": { "fn": "ERC20.allowance", "offset": [ 4065, 4072 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "957": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "SWAP1", "path": "12" }, "958": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "DUP2", "path": "12" }, "959": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "MSTORE", "path": "12" }, "960": { "fn": "ERC20.allowance", "offset": [ 4091, 4102 ], "op": "PUSH1", "path": "12", "value": "0x1" }, "962": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "964": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "SWAP1", "path": "12" }, "965": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "DUP2", "path": "12" }, "966": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "MSTORE", "path": "12" }, "967": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "969": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "DUP1", "path": "12" }, "970": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "DUP4", "path": "12" }, "971": { "fn": "ERC20.allowance", "offset": [ 4091, 4109 ], "op": "KECCAK256", "path": "12" }, "972": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP4", "path": "12" }, "973": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP1", "path": "12" }, "974": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP5", "path": "12" }, "975": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "AND", "path": "12" }, "976": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "DUP3", "path": "12" }, "977": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "MSTORE", "path": "12" }, "978": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP2", "path": "12" }, "979": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP1", "path": "12" }, "980": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP2", "path": "12" }, "981": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "MSTORE", "path": "12" }, "982": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "KECCAK256", "path": "12" }, "983": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SLOAD", "path": "12" }, "984": { "fn": "ERC20.allowance", "offset": [ 4091, 4118 ], "op": "SWAP1", "path": "12" }, "985": { "fn": "ERC20.allowance", "jump": "o", "offset": [ 3976, 4125 ], "op": "JUMP", "path": "12" }, "986": { "fn": "ERC20._approve", "offset": [ 10110, 10480 ], "op": "JUMPDEST", "path": "12" }, "987": { "op": "PUSH1", "value": "0x1" }, "989": { "op": "PUSH1", "value": "0x1" }, "991": { "op": "PUSH1", "value": "0xA0" }, "993": { "op": "SHL" }, "994": { "op": "SUB" }, "995": { "fn": "ERC20._approve", "offset": [ 10241, 10260 ], "op": "DUP4", "path": "12", "statement": 16 }, "996": { "branch": 30, "fn": "ERC20._approve", "offset": [ 10241, 10260 ], "op": "AND", "path": "12" }, "997": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "PUSH2", "path": "12", "value": "0x43C" }, "1000": { "branch": 30, "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "JUMPI", "path": "12" }, "1001": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1003": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "MLOAD", "path": "12" }, "1004": { "op": "PUSH3", "value": "0x461BCD" }, "1008": { "op": "PUSH1", "value": "0xE5" }, "1010": { "op": "SHL" }, "1011": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "DUP2", "path": "12" }, "1012": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "MSTORE", "path": "12" }, "1013": { "op": "PUSH1", "value": "0x20" }, "1015": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1017": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "DUP3", "path": "12" }, "1018": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "ADD", "path": "12" }, "1019": { "op": "MSTORE" }, "1020": { "op": "PUSH1", "value": "0x24" }, "1022": { "op": "DUP1" }, "1023": { "op": "DUP3" }, "1024": { "op": "ADD" }, "1025": { "op": "MSTORE" }, "1026": { "op": "PUSH32", "value": "0x45524332303A20617070726F76652066726F6D20746865207A65726F20616464" }, "1059": { "op": "PUSH1", "value": "0x44" }, "1061": { "op": "DUP3" }, "1062": { "op": "ADD" }, "1063": { "op": "MSTORE" }, "1064": { "op": "PUSH4", "value": "0x72657373" }, "1069": { "op": "PUSH1", "value": "0xE0" }, "1071": { "op": "SHL" }, "1072": { "op": "PUSH1", "value": "0x64" }, "1074": { "op": "DUP3" }, "1075": { "op": "ADD" }, "1076": { "op": "MSTORE" }, "1077": { "op": "PUSH1", "value": "0x84" }, "1079": { "op": "ADD" }, "1080": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1083": { "op": "JUMP" }, "1084": { "fn": "ERC20._approve", "offset": [ 10233, 10301 ], "op": "JUMPDEST", "path": "12" }, "1085": { "op": "PUSH1", "value": "0x1" }, "1087": { "op": "PUSH1", "value": "0x1" }, "1089": { "op": "PUSH1", "value": "0xA0" }, "1091": { "op": "SHL" }, "1092": { "op": "SUB" }, "1093": { "fn": "ERC20._approve", "offset": [ 10319, 10340 ], "op": "DUP3", "path": "12", "statement": 17 }, "1094": { "branch": 31, "fn": "ERC20._approve", "offset": [ 10319, 10340 ], "op": "AND", "path": "12" }, "1095": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "PUSH2", "path": "12", "value": "0x49D" }, "1098": { "branch": 31, "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "JUMPI", "path": "12" }, "1099": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1101": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "MLOAD", "path": "12" }, "1102": { "op": "PUSH3", "value": "0x461BCD" }, "1106": { "op": "PUSH1", "value": "0xE5" }, "1108": { "op": "SHL" }, "1109": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "DUP2", "path": "12" }, "1110": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "MSTORE", "path": "12" }, "1111": { "op": "PUSH1", "value": "0x20" }, "1113": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1115": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "DUP3", "path": "12" }, "1116": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "ADD", "path": "12" }, "1117": { "op": "MSTORE" }, "1118": { "op": "PUSH1", "value": "0x22" }, "1120": { "op": "PUSH1", "value": "0x24" }, "1122": { "op": "DUP3" }, "1123": { "op": "ADD" }, "1124": { "op": "MSTORE" }, "1125": { "op": "PUSH32", "value": "0x45524332303A20617070726F766520746F20746865207A65726F206164647265" }, "1158": { "op": "PUSH1", "value": "0x44" }, "1160": { "op": "DUP3" }, "1161": { "op": "ADD" }, "1162": { "op": "MSTORE" }, "1163": { "op": "PUSH2", "value": "0x7373" }, "1166": { "op": "PUSH1", "value": "0xF0" }, "1168": { "op": "SHL" }, "1169": { "op": "PUSH1", "value": "0x64" }, "1171": { "op": "DUP3" }, "1172": { "op": "ADD" }, "1173": { "op": "MSTORE" }, "1174": { "op": "PUSH1", "value": "0x84" }, "1176": { "op": "ADD" }, "1177": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1180": { "op": "JUMP" }, "1181": { "fn": "ERC20._approve", "offset": [ 10311, 10379 ], "op": "JUMPDEST", "path": "12" }, "1182": { "op": "PUSH1", "value": "0x1" }, "1184": { "op": "PUSH1", "value": "0x1" }, "1186": { "op": "PUSH1", "value": "0xA0" }, "1188": { "op": "SHL" }, "1189": { "op": "SUB" }, "1190": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP4", "path": "12", "statement": 18 }, "1191": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP2", "path": "12" }, "1192": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "AND", "path": "12" }, "1193": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "1195": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP2", "path": "12" }, "1196": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP2", "path": "12" }, "1197": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "MSTORE", "path": "12" }, "1198": { "fn": "ERC20._approve", "offset": [ 10390, 10401 ], "op": "PUSH1", "path": "12", "value": "0x1" }, "1200": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "1202": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "SWAP1", "path": "12" }, "1203": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP2", "path": "12" }, "1204": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "MSTORE", "path": "12" }, "1205": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1207": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP1", "path": "12" }, "1208": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "DUP4", "path": "12" }, "1209": { "fn": "ERC20._approve", "offset": [ 10390, 10408 ], "op": "KECCAK256", "path": "12" }, "1210": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "SWAP5", "path": "12" }, "1211": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "DUP8", "path": "12" }, "1212": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "AND", "path": "12" }, "1213": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "DUP1", "path": "12" }, "1214": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "DUP5", "path": "12" }, "1215": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "MSTORE", "path": "12" }, "1216": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "SWAP5", "path": "12" }, "1217": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "DUP3", "path": "12" }, "1218": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "MSTORE", "path": "12" }, "1219": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "SWAP2", "path": "12" }, "1220": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "DUP3", "path": "12" }, "1221": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "SWAP1", "path": "12" }, "1222": { "fn": "ERC20._approve", "offset": [ 10390, 10417 ], "op": "KECCAK256", "path": "12" }, "1223": { "fn": "ERC20._approve", "offset": [ 10390, 10426 ], "op": "DUP6", "path": "12" }, "1224": { "fn": "ERC20._approve", "offset": [ 10390, 10426 ], "op": "SWAP1", "path": "12" }, "1225": { "fn": "ERC20._approve", "offset": [ 10390, 10426 ], "op": "SSTORE", "path": "12" }, "1226": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "SWAP1", "path": "12", "statement": 19 }, "1227": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "MLOAD", "path": "12" }, "1228": { "op": "DUP5" }, "1229": { "op": "DUP2" }, "1230": { "op": "MSTORE" }, "1231": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "PUSH32", "path": "12", "value": "0x8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925" }, "1264": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "SWAP2", "path": "12" }, "1265": { "op": "ADD" }, "1266": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1268": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "MLOAD", "path": "12" }, "1269": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "DUP1", "path": "12" }, "1270": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "SWAP2", "path": "12" }, "1271": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "SUB", "path": "12" }, "1272": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "SWAP1", "path": "12" }, "1273": { "fn": "ERC20._approve", "offset": [ 10441, 10473 ], "op": "LOG3", "path": "12" }, "1274": { "fn": "ERC20._approve", "offset": [ 10110, 10480 ], "op": "POP", "path": "12" }, "1275": { "fn": "ERC20._approve", "offset": [ 10110, 10480 ], "op": "POP", "path": "12" }, "1276": { "fn": "ERC20._approve", "offset": [ 10110, 10480 ], "op": "POP", "path": "12" }, "1277": { "fn": "ERC20._approve", "jump": "o", "offset": [ 10110, 10480 ], "op": "JUMP", "path": "12" }, "1278": { "fn": "ERC20._spendAllowance", "offset": [ 10761, 11202 ], "op": "JUMPDEST", "path": "12" }, "1279": { "fn": "ERC20._spendAllowance", "offset": [ 10891, 10915 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "1281": { "fn": "ERC20._spendAllowance", "offset": [ 10918, 10943 ], "op": "PUSH2", "path": "12", "value": "0x50A" }, "1284": { "fn": "ERC20._spendAllowance", "offset": [ 10928, 10933 ], "op": "DUP5", "path": "12" }, "1285": { "fn": "ERC20._spendAllowance", "offset": [ 10935, 10942 ], "op": "DUP5", "path": "12" }, "1286": { "fn": "ERC20._spendAllowance", "offset": [ 10918, 10927 ], "op": "PUSH2", "path": "12", "value": "0x3AF" }, "1289": { "fn": "ERC20._spendAllowance", "jump": "i", "offset": [ 10918, 10943 ], "op": "JUMP", "path": "12" }, "1290": { "fn": "ERC20._spendAllowance", "offset": [ 10918, 10943 ], "op": "JUMPDEST", "path": "12" }, "1291": { "fn": "ERC20._spendAllowance", "offset": [ 10891, 10943 ], "op": "SWAP1", "path": "12" }, "1292": { "fn": "ERC20._spendAllowance", "offset": [ 10891, 10943 ], "op": "POP", "path": "12" }, "1293": { "op": "PUSH1", "value": "0x0" }, "1295": { "op": "NOT" }, "1296": { "fn": "ERC20._spendAllowance", "offset": [ 10957, 10973 ], "op": "DUP2", "path": "12" }, "1297": { "branch": 32, "fn": "ERC20._spendAllowance", "offset": [ 10957, 10994 ], "op": "EQ", "path": "12" }, "1298": { "fn": "ERC20._spendAllowance", "offset": [ 10953, 11196 ], "op": "PUSH2", "path": "12", "value": "0x572" }, "1301": { "branch": 32, "fn": "ERC20._spendAllowance", "offset": [ 10953, 11196 ], "op": "JUMPI", "path": "12" }, "1302": { "fn": "ERC20._spendAllowance", "offset": [ 11038, 11044 ], "op": "DUP2", "path": "12", "statement": 20 }, "1303": { "fn": "ERC20._spendAllowance", "offset": [ 11018, 11034 ], "op": "DUP2", "path": "12" }, "1304": { "fn": "ERC20._spendAllowance", "offset": [ 11018, 11044 ], "op": "LT", "path": "12" }, "1305": { "branch": 33, "fn": "ERC20._spendAllowance", "offset": [ 11018, 11044 ], "op": "ISZERO", "path": "12" }, "1306": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "PUSH2", "path": "12", "value": "0x565" }, "1309": { "branch": 33, "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "JUMPI", "path": "12" }, "1310": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1312": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "MLOAD", "path": "12" }, "1313": { "op": "PUSH3", "value": "0x461BCD" }, "1317": { "op": "PUSH1", "value": "0xE5" }, "1319": { "op": "SHL" }, "1320": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "DUP2", "path": "12" }, "1321": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "MSTORE", "path": "12" }, "1322": { "op": "PUSH1", "value": "0x20" }, "1324": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1326": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "DUP3", "path": "12" }, "1327": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "ADD", "path": "12" }, "1328": { "op": "MSTORE" }, "1329": { "op": "PUSH1", "value": "0x1D" }, "1331": { "op": "PUSH1", "value": "0x24" }, "1333": { "op": "DUP3" }, "1334": { "op": "ADD" }, "1335": { "op": "MSTORE" }, "1336": { "op": "PUSH32", "value": "0x45524332303A20696E73756666696369656E7420616C6C6F77616E6365000000" }, "1369": { "op": "PUSH1", "value": "0x44" }, "1371": { "op": "DUP3" }, "1372": { "op": "ADD" }, "1373": { "op": "MSTORE" }, "1374": { "op": "PUSH1", "value": "0x64" }, "1376": { "op": "ADD" }, "1377": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1380": { "op": "JUMP" }, "1381": { "fn": "ERC20._spendAllowance", "offset": [ 11010, 11078 ], "op": "JUMPDEST", "path": "12" }, "1382": { "fn": "ERC20._spendAllowance", "offset": [ 11120, 11171 ], "op": "PUSH2", "path": "12", "statement": 21, "value": "0x572" }, "1385": { "fn": "ERC20._spendAllowance", "offset": [ 11129, 11134 ], "op": "DUP5", "path": "12" }, "1386": { "fn": "ERC20._spendAllowance", "offset": [ 11136, 11143 ], "op": "DUP5", "path": "12" }, "1387": { "fn": "ERC20._spendAllowance", "offset": [ 11164, 11170 ], "op": "DUP5", "path": "12" }, "1388": { "fn": "ERC20._spendAllowance", "offset": [ 11145, 11161 ], "op": "DUP5", "path": "12" }, "1389": { "fn": "ERC20._spendAllowance", "offset": [ 11145, 11170 ], "op": "SUB", "path": "12" }, "1390": { "fn": "ERC20._spendAllowance", "offset": [ 11120, 11128 ], "op": "PUSH2", "path": "12", "value": "0x3DA" }, "1393": { "fn": "ERC20._spendAllowance", "jump": "i", "offset": [ 11120, 11171 ], "op": "JUMP", "path": "12" }, "1394": { "fn": "ERC20._spendAllowance", "offset": [ 11120, 11171 ], "op": "JUMPDEST", "path": "12" }, "1395": { "fn": "ERC20._spendAllowance", "offset": [ 10761, 11202 ], "op": "POP", "path": "12" }, "1396": { "fn": "ERC20._spendAllowance", "offset": [ 10761, 11202 ], "op": "POP", "path": "12" }, "1397": { "fn": "ERC20._spendAllowance", "offset": [ 10761, 11202 ], "op": "POP", "path": "12" }, "1398": { "fn": "ERC20._spendAllowance", "offset": [ 10761, 11202 ], "op": "POP", "path": "12" }, "1399": { "fn": "ERC20._spendAllowance", "jump": "o", "offset": [ 10761, 11202 ], "op": "JUMP", "path": "12" }, "1400": { "fn": "ERC20._transfer", "offset": [ 7475, 8126 ], "op": "JUMPDEST", "path": "12" }, "1401": { "op": "PUSH1", "value": "0x1" }, "1403": { "op": "PUSH1", "value": "0x1" }, "1405": { "op": "PUSH1", "value": "0xA0" }, "1407": { "op": "SHL" }, "1408": { "op": "SUB" }, "1409": { "fn": "ERC20._transfer", "offset": [ 7601, 7619 ], "op": "DUP4", "path": "12", "statement": 22 }, "1410": { "branch": 34, "fn": "ERC20._transfer", "offset": [ 7601, 7619 ], "op": "AND", "path": "12" }, "1411": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "PUSH2", "path": "12", "value": "0x5DC" }, "1414": { "branch": 34, "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "JUMPI", "path": "12" }, "1415": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1417": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "MLOAD", "path": "12" }, "1418": { "op": "PUSH3", "value": "0x461BCD" }, "1422": { "op": "PUSH1", "value": "0xE5" }, "1424": { "op": "SHL" }, "1425": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "DUP2", "path": "12" }, "1426": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "MSTORE", "path": "12" }, "1427": { "op": "PUSH1", "value": "0x20" }, "1429": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1431": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "DUP3", "path": "12" }, "1432": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "ADD", "path": "12" }, "1433": { "op": "MSTORE" }, "1434": { "op": "PUSH1", "value": "0x25" }, "1436": { "op": "PUSH1", "value": "0x24" }, "1438": { "op": "DUP3" }, "1439": { "op": "ADD" }, "1440": { "op": "MSTORE" }, "1441": { "op": "PUSH32", "value": "0x45524332303A207472616E736665722066726F6D20746865207A65726F206164" }, "1474": { "op": "PUSH1", "value": "0x44" }, "1476": { "op": "DUP3" }, "1477": { "op": "ADD" }, "1478": { "op": "MSTORE" }, "1479": { "op": "PUSH5", "value": "0x6472657373" }, "1485": { "op": "PUSH1", "value": "0xD8" }, "1487": { "op": "SHL" }, "1488": { "op": "PUSH1", "value": "0x64" }, "1490": { "op": "DUP3" }, "1491": { "op": "ADD" }, "1492": { "op": "MSTORE" }, "1493": { "op": "PUSH1", "value": "0x84" }, "1495": { "op": "ADD" }, "1496": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1499": { "op": "JUMP" }, "1500": { "fn": "ERC20._transfer", "offset": [ 7593, 7661 ], "op": "JUMPDEST", "path": "12" }, "1501": { "op": "PUSH1", "value": "0x1" }, "1503": { "op": "PUSH1", "value": "0x1" }, "1505": { "op": "PUSH1", "value": "0xA0" }, "1507": { "op": "SHL" }, "1508": { "op": "SUB" }, "1509": { "fn": "ERC20._transfer", "offset": [ 7679, 7695 ], "op": "DUP3", "path": "12", "statement": 23 }, "1510": { "branch": 35, "fn": "ERC20._transfer", "offset": [ 7679, 7695 ], "op": "AND", "path": "12" }, "1511": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "PUSH2", "path": "12", "value": "0x63E" }, "1514": { "branch": 35, "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "JUMPI", "path": "12" }, "1515": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1517": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "MLOAD", "path": "12" }, "1518": { "op": "PUSH3", "value": "0x461BCD" }, "1522": { "op": "PUSH1", "value": "0xE5" }, "1524": { "op": "SHL" }, "1525": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "DUP2", "path": "12" }, "1526": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "MSTORE", "path": "12" }, "1527": { "op": "PUSH1", "value": "0x20" }, "1529": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1531": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "DUP3", "path": "12" }, "1532": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "ADD", "path": "12" }, "1533": { "op": "MSTORE" }, "1534": { "op": "PUSH1", "value": "0x23" }, "1536": { "op": "PUSH1", "value": "0x24" }, "1538": { "op": "DUP3" }, "1539": { "op": "ADD" }, "1540": { "op": "MSTORE" }, "1541": { "op": "PUSH32", "value": "0x45524332303A207472616E7366657220746F20746865207A65726F2061646472" }, "1574": { "op": "PUSH1", "value": "0x44" }, "1576": { "op": "DUP3" }, "1577": { "op": "ADD" }, "1578": { "op": "MSTORE" }, "1579": { "op": "PUSH3", "value": "0x657373" }, "1583": { "op": "PUSH1", "value": "0xE8" }, "1585": { "op": "SHL" }, "1586": { "op": "PUSH1", "value": "0x64" }, "1588": { "op": "DUP3" }, "1589": { "op": "ADD" }, "1590": { "op": "MSTORE" }, "1591": { "op": "PUSH1", "value": "0x84" }, "1593": { "op": "ADD" }, "1594": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1597": { "op": "JUMP" }, "1598": { "fn": "ERC20._transfer", "offset": [ 7671, 7735 ], "op": "JUMPDEST", "path": "12" }, "1599": { "op": "PUSH1", "value": "0x1" }, "1601": { "op": "PUSH1", "value": "0x1" }, "1603": { "op": "PUSH1", "value": "0xA0" }, "1605": { "op": "SHL" }, "1606": { "op": "SUB" }, "1607": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "DUP4", "path": "12" }, "1608": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "AND", "path": "12" }, "1609": { "fn": "ERC20._transfer", "offset": [ 7795, 7814 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "1611": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "SWAP1", "path": "12" }, "1612": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "DUP2", "path": "12" }, "1613": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "MSTORE", "path": "12" }, "1614": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "1616": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "DUP2", "path": "12" }, "1617": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "SWAP1", "path": "12" }, "1618": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "MSTORE", "path": "12" }, "1619": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1621": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "SWAP1", "path": "12" }, "1622": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "KECCAK256", "path": "12" }, "1623": { "fn": "ERC20._transfer", "offset": [ 7817, 7832 ], "op": "SLOAD", "path": "12" }, "1624": { "fn": "ERC20._transfer", "offset": [ 7850, 7871 ], "op": "DUP2", "path": "12", "statement": 24 }, "1625": { "fn": "ERC20._transfer", "offset": [ 7850, 7871 ], "op": "DUP2", "path": "12" }, "1626": { "fn": "ERC20._transfer", "offset": [ 7850, 7871 ], "op": "LT", "path": "12" }, "1627": { "branch": 36, "fn": "ERC20._transfer", "offset": [ 7850, 7871 ], "op": "ISZERO", "path": "12" }, "1628": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "PUSH2", "path": "12", "value": "0x6B6" }, "1631": { "branch": 36, "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "JUMPI", "path": "12" }, "1632": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1634": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "MLOAD", "path": "12" }, "1635": { "op": "PUSH3", "value": "0x461BCD" }, "1639": { "op": "PUSH1", "value": "0xE5" }, "1641": { "op": "SHL" }, "1642": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "DUP2", "path": "12" }, "1643": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "MSTORE", "path": "12" }, "1644": { "op": "PUSH1", "value": "0x20" }, "1646": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "PUSH1", "path": "12", "value": "0x4" }, "1648": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "DUP3", "path": "12" }, "1649": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "ADD", "path": "12" }, "1650": { "op": "MSTORE" }, "1651": { "op": "PUSH1", "value": "0x26" }, "1653": { "op": "PUSH1", "value": "0x24" }, "1655": { "op": "DUP3" }, "1656": { "op": "ADD" }, "1657": { "op": "MSTORE" }, "1658": { "op": "PUSH32", "value": "0x45524332303A207472616E7366657220616D6F756E7420657863656564732062" }, "1691": { "op": "PUSH1", "value": "0x44" }, "1693": { "op": "DUP3" }, "1694": { "op": "ADD" }, "1695": { "op": "MSTORE" }, "1696": { "op": "PUSH6", "value": "0x616C616E6365" }, "1703": { "op": "PUSH1", "value": "0xD0" }, "1705": { "op": "SHL" }, "1706": { "op": "PUSH1", "value": "0x64" }, "1708": { "op": "DUP3" }, "1709": { "op": "ADD" }, "1710": { "op": "MSTORE" }, "1711": { "op": "PUSH1", "value": "0x84" }, "1713": { "op": "ADD" }, "1714": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "PUSH2", "path": "12", "value": "0x38B" }, "1717": { "op": "JUMP" }, "1718": { "fn": "ERC20._transfer", "offset": [ 7842, 7914 ], "op": "JUMPDEST", "path": "12" }, "1719": { "op": "PUSH1", "value": "0x1" }, "1721": { "op": "PUSH1", "value": "0x1" }, "1723": { "op": "PUSH1", "value": "0xA0" }, "1725": { "op": "SHL" }, "1726": { "op": "SUB" }, "1727": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP1", "path": "12", "statement": 25 }, "1728": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP6", "path": "12" }, "1729": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "AND", "path": "12" }, "1730": { "fn": "ERC20._transfer", "offset": [ 7948, 7957 ], "op": "PUSH1", "path": "12", "value": "0x0" }, "1732": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "SWAP1", "path": "12" }, "1733": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP2", "path": "12" }, "1734": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "MSTORE", "path": "12" }, "1735": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "PUSH1", "path": "12", "value": "0x20" }, "1737": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP2", "path": "12" }, "1738": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "SWAP1", "path": "12" }, "1739": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "MSTORE", "path": "12" }, "1740": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1742": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP1", "path": "12" }, "1743": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "DUP3", "path": "12" }, "1744": { "fn": "ERC20._transfer", "offset": [ 7948, 7963 ], "op": "KECCAK256", "path": "12" }, "1745": { "fn": "ERC20._transfer", "offset": [ 7966, 7986 ], "op": "DUP6", "path": "12" }, "1746": { "fn": "ERC20._transfer", "offset": [ 7966, 7986 ], "op": "DUP6", "path": "12" }, "1747": { "fn": "ERC20._transfer", "offset": [ 7966, 7986 ], "op": "SUB", "path": "12" }, "1748": { "fn": "ERC20._transfer", "offset": [ 7948, 7986 ], "op": "SWAP1", "path": "12" }, "1749": { "fn": "ERC20._transfer", "offset": [ 7948, 7986 ], "op": "SSTORE", "path": "12" }, "1750": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "SWAP2", "path": "12", "statement": 26 }, "1751": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "DUP6", "path": "12" }, "1752": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "AND", "path": "12" }, "1753": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "DUP2", "path": "12" }, "1754": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "MSTORE", "path": "12" }, "1755": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "SWAP1", "path": "12" }, "1756": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "DUP2", "path": "12" }, "1757": { "fn": "ERC20._transfer", "offset": [ 8006, 8019 ], "op": "KECCAK256", "path": "12" }, "1758": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "DUP1", "path": "12" }, "1759": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "SLOAD", "path": "12" }, "1760": { "fn": "ERC20._transfer", "offset": [ 7980, 7986 ], "op": "DUP5", "path": "12" }, "1761": { "fn": "ERC20._transfer", "offset": [ 7980, 7986 ], "op": "SWAP3", "path": "12" }, "1762": { "fn": "ERC20._transfer", "offset": [ 7948, 7957 ], "op": "SWAP1", "path": "12" }, "1763": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "PUSH2", "path": "12", "value": "0x6ED" }, "1766": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "SWAP1", "path": "12" }, "1767": { "fn": "ERC20._transfer", "offset": [ 7980, 7986 ], "op": "DUP5", "path": "12" }, "1768": { "fn": "ERC20._transfer", "offset": [ 7980, 7986 ], "op": "SWAP1", "path": "12" }, "1769": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "PUSH2", "path": "12", "value": "0x867" }, "1772": { "fn": "ERC20._transfer", "jump": "i", "offset": [ 8006, 8029 ], "op": "JUMP", "path": "12" }, "1773": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "JUMPDEST", "path": "12" }, "1774": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "SWAP3", "path": "12" }, "1775": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "POP", "path": "12" }, "1776": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "POP", "path": "12" }, "1777": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "DUP2", "path": "12" }, "1778": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "SWAP1", "path": "12" }, "1779": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "SSTORE", "path": "12" }, "1780": { "fn": "ERC20._transfer", "offset": [ 8006, 8029 ], "op": "POP", "path": "12" }, "1781": { "fn": "ERC20._transfer", "offset": [ 8060, 8062 ], "op": "DUP3", "path": "12", "statement": 27 }, "1782": { "op": "PUSH1", "value": "0x1" }, "1784": { "op": "PUSH1", "value": "0x1" }, "1786": { "op": "PUSH1", "value": "0xA0" }, "1788": { "op": "SHL" }, "1789": { "op": "SUB" }, "1790": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "AND", "path": "12" }, "1791": { "fn": "ERC20._transfer", "offset": [ 8054, 8058 ], "op": "DUP5", "path": "12" }, "1792": { "op": "PUSH1", "value": "0x1" }, "1794": { "op": "PUSH1", "value": "0x1" }, "1796": { "op": "PUSH1", "value": "0xA0" }, "1798": { "op": "SHL" }, "1799": { "op": "SUB" }, "1800": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "AND", "path": "12" }, "1801": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "PUSH32", "path": "12", "value": "0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF" }, "1834": { "fn": "ERC20._transfer", "offset": [ 8064, 8070 ], "op": "DUP5", "path": "12" }, "1835": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1837": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "MLOAD", "path": "12" }, "1838": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "PUSH2", "path": "12", "value": "0x739" }, "1841": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "SWAP2", "path": "12" }, "1842": { "op": "DUP2" }, "1843": { "op": "MSTORE" }, "1844": { "op": "PUSH1", "value": "0x20" }, "1846": { "op": "ADD" }, "1847": { "op": "SWAP1" }, "1848": { "op": "JUMP" }, "1849": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "JUMPDEST", "path": "12" }, "1850": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "PUSH1", "path": "12", "value": "0x40" }, "1852": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "MLOAD", "path": "12" }, "1853": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "DUP1", "path": "12" }, "1854": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "SWAP2", "path": "12" }, "1855": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "SUB", "path": "12" }, "1856": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "SWAP1", "path": "12" }, "1857": { "fn": "ERC20._transfer", "offset": [ 8045, 8071 ], "op": "LOG3", "path": "12" }, "1858": { "fn": "ERC20._transfer", "offset": [ 8082, 8119 ], "op": "PUSH2", "path": "12", "statement": 28, "value": "0x572" }, "1861": { "fn": "ERC20._beforeTokenTransfer", "offset": [ 11786, 11907 ], "op": "JUMP", "path": "12" }, "1862": { "op": "JUMPDEST" }, "1863": { "op": "DUP1" }, "1864": { "op": "CALLDATALOAD" }, "1865": { "op": "PUSH1", "value": "0x1" }, "1867": { "op": "PUSH1", "value": "0x1" }, "1869": { "op": "PUSH1", "value": "0xA0" }, "1871": { "op": "SHL" }, "1872": { "op": "SUB" }, "1873": { "op": "DUP2" }, "1874": { "op": "AND" }, "1875": { "op": "DUP2" }, "1876": { "op": "EQ" }, "1877": { "op": "PUSH2", "value": "0x30D" }, "1880": { "op": "JUMPI" }, "1881": { "op": "PUSH1", "value": "0x0" }, "1883": { "op": "DUP1" }, "1884": { "op": "REVERT" }, "1885": { "op": "JUMPDEST" }, "1886": { "op": "PUSH1", "value": "0x0" }, "1888": { "op": "PUSH1", "value": "0x20" }, "1890": { "op": "DUP3" }, "1891": { "op": "DUP5" }, "1892": { "op": "SUB" }, "1893": { "op": "SLT" }, "1894": { "op": "ISZERO" }, "1895": { "op": "PUSH2", "value": "0x76E" }, "1898": { "op": "JUMPI" }, "1899": { "op": "DUP1" }, "1900": { "op": "DUP2" }, "1901": { "op": "REVERT" }, "1902": { "op": "JUMPDEST" }, "1903": { "op": "PUSH2", "value": "0x777" }, "1906": { "op": "DUP3" }, "1907": { "op": "PUSH2", "value": "0x746" }, "1910": { "jump": "i", "op": "JUMP" }, "1911": { "op": "JUMPDEST" }, "1912": { "op": "SWAP4" }, "1913": { "op": "SWAP3" }, "1914": { "op": "POP" }, "1915": { "op": "POP" }, "1916": { "op": "POP" }, "1917": { "jump": "o", "op": "JUMP" }, "1918": { "op": "JUMPDEST" }, "1919": { "op": "PUSH1", "value": "0x0" }, "1921": { "op": "DUP1" }, "1922": { "op": "PUSH1", "value": "0x40" }, "1924": { "op": "DUP4" }, "1925": { "op": "DUP6" }, "1926": { "op": "SUB" }, "1927": { "op": "SLT" }, "1928": { "op": "ISZERO" }, "1929": { "op": "PUSH2", "value": "0x790" }, "1932": { "op": "JUMPI" }, "1933": { "op": "DUP1" }, "1934": { "op": "DUP2" }, "1935": { "op": "REVERT" }, "1936": { "op": "JUMPDEST" }, "1937": { "op": "PUSH2", "value": "0x799" }, "1940": { "op": "DUP4" }, "1941": { "op": "PUSH2", "value": "0x746" }, "1944": { "jump": "i", "op": "JUMP" }, "1945": { "op": "JUMPDEST" }, "1946": { "op": "SWAP2" }, "1947": { "op": "POP" }, "1948": { "op": "PUSH2", "value": "0x7A7" }, "1951": { "op": "PUSH1", "value": "0x20" }, "1953": { "op": "DUP5" }, "1954": { "op": "ADD" }, "1955": { "op": "PUSH2", "value": "0x746" }, "1958": { "jump": "i", "op": "JUMP" }, "1959": { "op": "JUMPDEST" }, "1960": { "op": "SWAP1" }, "1961": { "op": "POP" }, "1962": { "op": "SWAP3" }, "1963": { "op": "POP" }, "1964": { "op": "SWAP3" }, "1965": { "op": "SWAP1" }, "1966": { "op": "POP" }, "1967": { "jump": "o", "op": "JUMP" }, "1968": { "op": "JUMPDEST" }, "1969": { "op": "PUSH1", "value": "0x0" }, "1971": { "op": "DUP1" }, "1972": { "op": "PUSH1", "value": "0x0" }, "1974": { "op": "PUSH1", "value": "0x60" }, "1976": { "op": "DUP5" }, "1977": { "op": "DUP7" }, "1978": { "op": "SUB" }, "1979": { "op": "SLT" }, "1980": { "op": "ISZERO" }, "1981": { "op": "PUSH2", "value": "0x7C4" }, "1984": { "op": "JUMPI" }, "1985": { "op": "DUP1" }, "1986": { "op": "DUP2" }, "1987": { "op": "REVERT" }, "1988": { "op": "JUMPDEST" }, "1989": { "op": "PUSH2", "value": "0x7CD" }, "1992": { "op": "DUP5" }, "1993": { "op": "PUSH2", "value": "0x746" }, "1996": { "jump": "i", "op": "JUMP" }, "1997": { "op": "JUMPDEST" }, "1998": { "op": "SWAP3" }, "1999": { "op": "POP" }, "2000": { "op": "PUSH2", "value": "0x7DB" }, "2003": { "op": "PUSH1", "value": "0x20" }, "2005": { "op": "DUP6" }, "2006": { "op": "ADD" }, "2007": { "op": "PUSH2", "value": "0x746" }, "2010": { "jump": "i", "op": "JUMP" }, "2011": { "op": "JUMPDEST" }, "2012": { "op": "SWAP2" }, "2013": { "op": "POP" }, "2014": { "op": "PUSH1", "value": "0x40" }, "2016": { "op": "DUP5" }, "2017": { "op": "ADD" }, "2018": { "op": "CALLDATALOAD" }, "2019": { "op": "SWAP1" }, "2020": { "op": "POP" }, "2021": { "op": "SWAP3" }, "2022": { "op": "POP" }, "2023": { "op": "SWAP3" }, "2024": { "op": "POP" }, "2025": { "op": "SWAP3" }, "2026": { "jump": "o", "op": "JUMP" }, "2027": { "op": "JUMPDEST" }, "2028": { "op": "PUSH1", "value": "0x0" }, "2030": { "op": "DUP1" }, "2031": { "op": "PUSH1", "value": "0x40" }, "2033": { "op": "DUP4" }, "2034": { "op": "DUP6" }, "2035": { "op": "SUB" }, "2036": { "op": "SLT" }, "2037": { "op": "ISZERO" }, "2038": { "op": "PUSH2", "value": "0x7FD" }, "2041": { "op": "JUMPI" }, "2042": { "op": "DUP2" }, "2043": { "op": "DUP3" }, "2044": { "op": "REVERT" }, "2045": { "op": "JUMPDEST" }, "2046": { "op": "PUSH2", "value": "0x806" }, "2049": { "op": "DUP4" }, "2050": { "op": "PUSH2", "value": "0x746" }, "2053": { "jump": "i", "op": "JUMP" }, "2054": { "op": "JUMPDEST" }, "2055": { "op": "SWAP5" }, "2056": { "op": "PUSH1", "value": "0x20" }, "2058": { "op": "SWAP4" }, "2059": { "op": "SWAP1" }, "2060": { "op": "SWAP4" }, "2061": { "op": "ADD" }, "2062": { "op": "CALLDATALOAD" }, "2063": { "op": "SWAP4" }, "2064": { "op": "POP" }, "2065": { "op": "POP" }, "2066": { "op": "POP" }, "2067": { "jump": "o", "op": "JUMP" }, "2068": { "op": "JUMPDEST" }, "2069": { "op": "PUSH1", "value": "0x0" }, "2071": { "op": "PUSH1", "value": "0x20" }, "2073": { "op": "DUP1" }, "2074": { "op": "DUP4" }, "2075": { "op": "MSTORE" }, "2076": { "op": "DUP4" }, "2077": { "op": "MLOAD" }, "2078": { "op": "DUP1" }, "2079": { "op": "DUP3" }, "2080": { "op": "DUP6" }, "2081": { "op": "ADD" }, "2082": { "op": "MSTORE" }, "2083": { "op": "DUP3" }, "2084": { "op": "JUMPDEST" }, "2085": { "op": "DUP2" }, "2086": { "op": "DUP2" }, "2087": { "op": "LT" }, "2088": { "op": "ISZERO" }, "2089": { "op": "PUSH2", "value": "0x840" }, "2092": { "op": "JUMPI" }, "2093": { "op": "DUP6" }, "2094": { "op": "DUP2" }, "2095": { "op": "ADD" }, "2096": { "op": "DUP4" }, "2097": { "op": "ADD" }, "2098": { "op": "MLOAD" }, "2099": { "op": "DUP6" }, "2100": { "op": "DUP3" }, "2101": { "op": "ADD" }, "2102": { "op": "PUSH1", "value": "0x40" }, "2104": { "op": "ADD" }, "2105": { "op": "MSTORE" }, "2106": { "op": "DUP3" }, "2107": { "op": "ADD" }, "2108": { "op": "PUSH2", "value": "0x824" }, "2111": { "op": "JUMP" }, "2112": { "op": "JUMPDEST" }, "2113": { "op": "DUP2" }, "2114": { "op": "DUP2" }, "2115": { "op": "GT" }, "2116": { "op": "ISZERO" }, "2117": { "op": "PUSH2", "value": "0x851" }, "2120": { "op": "JUMPI" }, "2121": { "op": "DUP4" }, "2122": { "op": "PUSH1", "value": "0x40" }, "2124": { "op": "DUP4" }, "2125": { "op": "DUP8" }, "2126": { "op": "ADD" }, "2127": { "op": "ADD" }, "2128": { "op": "MSTORE" }, "2129": { "op": "JUMPDEST" }, "2130": { "op": "POP" }, "2131": { "op": "PUSH1", "value": "0x1F" }, "2133": { "op": "ADD" }, "2134": { "op": "PUSH1", "value": "0x1F" }, "2136": { "op": "NOT" }, "2137": { "op": "AND" }, "2138": { "op": "SWAP3" }, "2139": { "op": "SWAP1" }, "2140": { "op": "SWAP3" }, "2141": { "op": "ADD" }, "2142": { "op": "PUSH1", "value": "0x40" }, "2144": { "op": "ADD" }, "2145": { "op": "SWAP4" }, "2146": { "op": "SWAP3" }, "2147": { "op": "POP" }, "2148": { "op": "POP" }, "2149": { "op": "POP" }, "2150": { "jump": "o", "op": "JUMP" }, "2151": { "op": "JUMPDEST" }, "2152": { "op": "PUSH1", "value": "0x0" }, "2154": { "op": "DUP3" }, "2155": { "op": "NOT" }, "2156": { "op": "DUP3" }, "2157": { "op": "GT" }, "2158": { "op": "ISZERO" }, "2159": { "op": "PUSH2", "value": "0x886" }, "2162": { "op": "JUMPI" }, "2163": { "op": "PUSH4", "value": "0x4E487B71" }, "2168": { "op": "PUSH1", "value": "0xE0" }, "2170": { "op": "SHL" }, "2171": { "op": "DUP2" }, "2172": { "op": "MSTORE" }, "2173": { "op": "PUSH1", "value": "0x11" }, "2175": { "op": "PUSH1", "value": "0x4" }, "2177": { "op": "MSTORE" }, "2178": { "op": "PUSH1", "value": "0x24" }, "2180": { "op": "DUP2" }, "2181": { "op": "REVERT" }, "2182": { "op": "JUMPDEST" }, "2183": { "op": "POP" }, "2184": { "op": "ADD" }, "2185": { "op": "SWAP1" }, "2186": { "jump": "o", "op": "JUMP" }, "2187": { "op": "JUMPDEST" }, "2188": { "op": "PUSH1", "value": "0x2" }, "2190": { "op": "DUP2" }, "2191": { "op": "DIV" }, "2192": { "op": "PUSH1", "value": "0x1" }, "2194": { "op": "DUP3" }, "2195": { "op": "AND" }, "2196": { "op": "DUP1" }, "2197": { "op": "PUSH2", "value": "0x89F" }, "2200": { "op": "JUMPI" }, "2201": { "op": "PUSH1", "value": "0x7F" }, "2203": { "op": "DUP3" }, "2204": { "op": "AND" }, "2205": { "op": "SWAP2" }, "2206": { "op": "POP" }, "2207": { "op": "JUMPDEST" }, "2208": { "op": "PUSH1", "value": "0x20" }, "2210": { "op": "DUP3" }, "2211": { "op": "LT" }, "2212": { "op": "DUP2" }, "2213": { "op": "EQ" }, "2214": { "op": "ISZERO" }, "2215": { "op": "PUSH2", "value": "0x8C0" }, "2218": { "op": "JUMPI" }, "2219": { "op": "PUSH4", "value": "0x4E487B71" }, "2224": { "op": "PUSH1", "value": "0xE0" }, "2226": { "op": "SHL" }, "2227": { "op": "PUSH1", "value": "0x0" }, "2229": { "op": "MSTORE" }, "2230": { "op": "PUSH1", "value": "0x22" }, "2232": { "op": "PUSH1", "value": "0x4" }, "2234": { "op": "MSTORE" }, "2235": { "op": "PUSH1", "value": "0x24" }, "2237": { "op": "PUSH1", "value": "0x0" }, "2239": { "op": "REVERT" }, "2240": { "op": "JUMPDEST" }, "2241": { "op": "POP" }, "2242": { "op": "SWAP2" }, "2243": { "op": "SWAP1" }, "2244": { "op": "POP" }, "2245": { "jump": "o", "op": "JUMP" } }, "sha1": "6d64afdaef2b956c19a9e1e41a7958f2b0d72a01", "source": "// SPDX-License-Identifier: Apache-2.0\npragma solidity 0.8.2;\n\nimport \"@openzeppelin/contracts/token/ERC20/ERC20.sol\";\n\ncontract RiskpoolToken is\n ERC20\n{\n string public constant NAME = \"GIF Riskpool Token\";\n string public constant SYMBOL = \"RPT\";\n\n constructor() \n ERC20(NAME, SYMBOL)\n {\n\n }\n}\n", "sourceMap": "120:199:102:-:0;;;262:55;;;;;;;;;;291:4;;;;;;;;;;;;;-1:-1:-1;;;291:4:102;;;297:6;;;;;;;;;;;;;-1:-1:-1;;;297:6:102;;;2052:5:12;2044;:13;;;;;;;;;;;;:::i;:::-;-1:-1:-1;2067:17:12;;;;:7;;:17;;;;;:::i;:::-;;1978:113;;120:199:102;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;120:199:102;;;-1:-1:-1;120:199:102;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:380:103;99:1;89:12;;146:1;136:12;;;157:2;;211:4;203:6;199:17;189:27;;157:2;264;256:6;253:14;233:18;230:38;227:2;;;310:10;305:3;301:20;298:1;291:31;345:4;342:1;335:15;373:4;370:1;363:15;227:2;;69:325;;;:::o;:::-;120:199:102;;;;;;", "sourcePath": "contracts/tokens/RiskpoolToken.sol", "type": "contract" }