{ "abi": [ { "inputs": [ { "internalType": "string", "name": "name", "type": "string" }, { "internalType": "string", "name": "symbol", "type": "string" }, { "internalType": "uint8", "name": "decimals", "type": "uint8" } ], "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": [ { "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": [ { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "mint", "outputs": [], "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": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" } ], "allSourcePaths": { "11": "/Users/sagarbehara/.brownie/packages/OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/token/ERC20/ERC20.sol", "12": "/Users/sagarbehara/.brownie/packages/OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/token/ERC20/IERC20.sol", "15": "/Users/sagarbehara/.brownie/packages/OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/utils/Context.sol", "24": "contracts/mock/MockERC20.sol", "4": "/Users/sagarbehara/.brownie/packages/OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/math/SafeMath.sol" }, "ast": { "absolutePath": "contracts/mock/MockERC20.sol", "exportedSymbols": { "MockERC20": [ 4889 ] }, "id": 4890, "license": null, "nodeType": "SourceUnit", "nodes": [ { "id": 4854, "literals": [ "solidity", "0.6", ".12" ], "nodeType": "PragmaDirective", "src": "0:23:24" }, { "absolutePath": "/Users/sagarbehara/.brownie/packages/OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/token/ERC20/ERC20.sol", "file": "OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/token/ERC20/ERC20.sol", "id": 4855, "nodeType": "ImportDirective", "scope": 4890, "sourceUnit": 25089, "src": "25:83:24", "symbolAliases": [], "unitAlias": "" }, { "abstract": false, "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 4856, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 25088, "src": "132:5:24", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$25088", "typeString": "contract ERC20" } }, "id": 4857, "nodeType": "InheritanceSpecifier", "src": "132:5:24" } ], "contractDependencies": [ 23924, 25088, 27555 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 4889, "linearizedBaseContracts": [ 4889, 25088, 23924, 27555 ], "name": "MockERC20", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 4874, "nodeType": "Block", "src": "255:35:24", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4871, "name": "decimals", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4863, "src": "276:8:24", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 4870, "name": "_setupDecimals", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 25076, "src": "261:14:24", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_uint8_$returns$__$", "typeString": "function (uint8)" } }, "id": 4872, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "261:24:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4873, "nodeType": "ExpressionStatement", "src": "261:24:24" } ] }, "documentation": null, "id": 4875, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 4866, "name": "name", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4859, "src": "241:4:24", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, { "argumentTypes": null, "id": 4867, "name": "symbol", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4861, "src": "247:6:24", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "id": 4868, "modifierName": { "argumentTypes": null, "id": 4865, "name": "ERC20", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 25088, "src": "235:5:24", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_ERC20_$25088_$", "typeString": "type(contract ERC20)" } }, "nodeType": "ModifierInvocation", "src": "235:19:24" } ], "name": "", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 4864, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4859, "mutability": "mutable", "name": "name", "nodeType": "VariableDeclaration", "overrides": null, "scope": 4875, "src": "159:18:24", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 4858, "name": "string", "nodeType": "ElementaryTypeName", "src": "159:6:24", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4861, "mutability": "mutable", "name": "symbol", "nodeType": "VariableDeclaration", "overrides": null, "scope": 4875, "src": "183:20:24", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 4860, "name": "string", "nodeType": "ElementaryTypeName", "src": "183:6:24", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4863, "mutability": "mutable", "name": "decimals", "nodeType": "VariableDeclaration", "overrides": null, "scope": 4875, "src": "209:14:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 4862, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "209:5:24", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "153:74:24" }, "returnParameters": { "id": 4869, "nodeType": "ParameterList", "parameters": [], "src": "255:0:24" }, "scope": 4889, "src": "142:148:24", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, { "body": { "id": 4887, "nodeType": "Block", "src": "340:28:24", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4883, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "352:2:24", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 4884, "name": "amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4879, "src": "356:6:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 4882, "name": "_mint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24964, "src": "346:5:24", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 4885, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "346:17:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4886, "nodeType": "ExpressionStatement", "src": "346:17:24" } ] }, "documentation": null, "functionSelector": "40c10f19", "id": 4888, "implemented": true, "kind": "function", "modifiers": [], "name": "mint", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 4880, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4877, "mutability": "mutable", "name": "to", "nodeType": "VariableDeclaration", "overrides": null, "scope": 4888, "src": "308:10:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 4876, "name": "address", "nodeType": "ElementaryTypeName", "src": "308:7:24", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4879, "mutability": "mutable", "name": "amount", "nodeType": "VariableDeclaration", "overrides": null, "scope": 4888, "src": "320:11:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4878, "name": "uint", "nodeType": "ElementaryTypeName", "src": "320:4:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "307:25:24" }, "returnParameters": { "id": 4881, "nodeType": "ParameterList", "parameters": [], "src": "340:0:24" }, "scope": 4889, "src": "294:74:24", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" } ], "scope": 4890, "src": "110:260:24" } ], "src": "0:371:24" }, "bytecode": "60806040523480156200001157600080fd5b5060405162000de238038062000de2833981810160405260608110156200003757600080fd5b81019080805160405193929190846401000000008211156200005857600080fd5b9083019060208201858111156200006e57600080fd5b82516401000000008111828201881017156200008957600080fd5b82525081516020918201929091019080838360005b83811015620000b85781810151838201526020016200009e565b50505050905090810190601f168015620000e65780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200010a57600080fd5b9083019060208201858111156200012057600080fd5b82516401000000008111828201881017156200013b57600080fd5b82525081516020918201929091019080838360005b838110156200016a57818101518382015260200162000150565b50505050905090810190601f168015620001985780820380516001836020036101000a031916815260200191505b5060405260209081015185519093508592508491620001bd916003918501906200020d565b508051620001d39060049060208401906200020d565b50506005805460ff1916601217905550620001ee81620001f7565b505050620002a9565b6005805460ff191660ff92909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200025057805160ff191683800117855562000280565b8280016001018555821562000280579182015b828111156200028057825182559160200191906001019062000263565b506200028e92915062000292565b5090565b5b808211156200028e576000815560010162000293565b610b2980620002b96000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806340c10f191161007157806340c10f191461021057806370a082311461023e57806395d89b4114610264578063a457c2d71461026c578063a9059cbb14610298578063dd62ed3e146102c4576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806339509351146101e4575b600080fd5b6100c16102f2565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b038135169060200135610388565b604080519115158252519081900360200190f35b61017e6103a5565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b038135811691602081013590911690604001356103ab565b6101ce610432565b6040805160ff9092168252519081900360200190f35b610162600480360360408110156101fa57600080fd5b506001600160a01b03813516906020013561043b565b61023c6004803603604081101561022657600080fd5b506001600160a01b038135169060200135610489565b005b61017e6004803603602081101561025457600080fd5b50356001600160a01b0316610497565b6100c16104b2565b6101626004803603604081101561028257600080fd5b506001600160a01b038135169060200135610513565b610162600480360360408110156102ae57600080fd5b506001600160a01b03813516906020013561057b565b61017e600480360360408110156102da57600080fd5b506001600160a01b038135811691602001351661058f565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037e5780601f106103535761010080835404028352916020019161037e565b820191906000526020600020905b81548152906001019060200180831161036157829003601f168201915b5050505050905090565b600061039c6103956105ba565b84846105be565b50600192915050565b60025490565b60006103b88484846106aa565b610428846103c46105ba565b61042385604051806060016040528060288152602001610a5e602891396001600160a01b038a166000908152600160205260408120906104026105ba565b6001600160a01b031681526020810191909152604001600020549190610805565b6105be565b5060019392505050565b60055460ff1690565b600061039c6104486105ba565b8461042385600160006104596105ba565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549061089c565b61049382826108fd565b5050565b6001600160a01b031660009081526020819052604090205490565b60048054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037e5780601f106103535761010080835404028352916020019161037e565b600061039c6105206105ba565b8461042385604051806060016040528060258152602001610acf602591396001600061054a6105ba565b6001600160a01b03908116825260208083019390935260409182016000908120918d16815292529020549190610805565b600061039c6105886105ba565b84846106aa565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166106035760405162461bcd60e51b8152600401808060200182810382526024815260200180610aab6024913960400191505060405180910390fd5b6001600160a01b0382166106485760405162461bcd60e51b8152600401808060200182810382526022815260200180610a166022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166106ef5760405162461bcd60e51b8152600401808060200182810382526025815260200180610a866025913960400191505060405180910390fd5b6001600160a01b0382166107345760405162461bcd60e51b81526004018080602001828103825260238152602001806109f36023913960400191505060405180910390fd5b61073f8383836109ed565b61077c81604051806060016040528060268152602001610a38602691396001600160a01b0386166000908152602081905260409020549190610805565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546107ab908261089c565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600081848411156108945760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610859578181015183820152602001610841565b50505050905090810190601f1680156108865780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000828201838110156108f6576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610958576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b610964600083836109ed565b600254610971908261089c565b6002556001600160a01b038216600090815260208190526040902054610997908261089c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b50505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220329406ba324859fff4d6d71604a5d79b385a9e8f1aead26648ccc1dea78a1e0a64736f6c634300060c0033", "bytecodeSha1": "c93ce877b9d1a3f325a934e66633b56955543f85", "compiler": { "evm_version": "istanbul", "optimizer": { "enabled": true, "runs": 200 }, "version": "0.6.12+commit.27d51765" }, "contractName": "MockERC20", "coverageMap": { "branches": { "11": { "ERC20._approve": { "35": [ 9456, 9475, true ], "36": [ 9534, 9555, true ] }, "ERC20._mint": { "39": [ 7915, 7936, true ] }, "ERC20._transfer": { "37": [ 7136, 7156, true ], "38": [ 7216, 7239, true ] } }, "12": {}, "15": {}, "24": {}, "4": { "SafeMath.add": { "41": [ 2802, 2808, true ] }, "SafeMath.sub": { "40": [ 5545, 5551, true ] } } }, "statements": { "11": { "ERC20._approve": { "16": [ 9448, 9516 ], "17": [ 9526, 9594 ], "18": [ 9605, 9641 ], "19": [ 9651, 9688 ] }, "ERC20._mint": { "30": [ 7907, 7972 ], "31": [ 7983, 8032 ], "32": [ 8043, 8082 ], "33": [ 8092, 8143 ], "34": [ 8153, 8195 ] }, "ERC20._transfer": { "20": [ 7128, 7198 ], "21": [ 7208, 7279 ], "22": [ 7290, 7337 ], "23": [ 7348, 7439 ], "24": [ 7449, 7504 ], "25": [ 7514, 7554 ] }, "ERC20.allowance": { "14": [ 4065, 4099 ] }, "ERC20.approve": { "1": [ 4343, 4382 ], "2": [ 4392, 4403 ] }, "ERC20.balanceOf": { "10": [ 3492, 3517 ] }, "ERC20.decimals": { "7": [ 3152, 3168 ] }, "ERC20.decreaseAllowance": { "12": [ 6400, 6529 ] }, "ERC20.increaseAllowance": { "8": [ 5693, 5776 ] }, "ERC20.name": { "0": [ 2238, 2250 ] }, "ERC20.symbol": { "11": [ 2442, 2456 ] }, "ERC20.totalSupply": { "3": [ 3315, 3334 ] }, "ERC20.transfer": { "13": [ 3829, 3871 ] }, "ERC20.transferFrom": { "4": [ 4999, 5035 ], "5": [ 5045, 5166 ], "6": [ 5176, 5187 ] } }, "12": {}, "15": { "Context._msgSender": { "15": [ 678, 695 ] } }, "24": { "MockERC20.mint": { "9": [ 346, 363 ] } }, "4": { "SafeMath.add": { "28": [ 2794, 2840 ], "29": [ 2850, 2858 ] }, "SafeMath.sub": { "26": [ 5537, 5566 ], "27": [ 5576, 5588 ] } } } }, "dependencies": [ "OpenZeppelin/openzeppelin-contracts@3.4.0/Context", "OpenZeppelin/openzeppelin-contracts@3.4.0/ERC20", "OpenZeppelin/openzeppelin-contracts@3.4.0/IERC20", "OpenZeppelin/openzeppelin-contracts@3.4.0/SafeMath" ], "deployedBytecode": "608060405234801561001057600080fd5b50600436106100b45760003560e01c806340c10f191161007157806340c10f191461021057806370a082311461023e57806395d89b4114610264578063a457c2d71461026c578063a9059cbb14610298578063dd62ed3e146102c4576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806339509351146101e4575b600080fd5b6100c16102f2565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b038135169060200135610388565b604080519115158252519081900360200190f35b61017e6103a5565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b038135811691602081013590911690604001356103ab565b6101ce610432565b6040805160ff9092168252519081900360200190f35b610162600480360360408110156101fa57600080fd5b506001600160a01b03813516906020013561043b565b61023c6004803603604081101561022657600080fd5b506001600160a01b038135169060200135610489565b005b61017e6004803603602081101561025457600080fd5b50356001600160a01b0316610497565b6100c16104b2565b6101626004803603604081101561028257600080fd5b506001600160a01b038135169060200135610513565b610162600480360360408110156102ae57600080fd5b506001600160a01b03813516906020013561057b565b61017e600480360360408110156102da57600080fd5b506001600160a01b038135811691602001351661058f565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037e5780601f106103535761010080835404028352916020019161037e565b820191906000526020600020905b81548152906001019060200180831161036157829003601f168201915b5050505050905090565b600061039c6103956105ba565b84846105be565b50600192915050565b60025490565b60006103b88484846106aa565b610428846103c46105ba565b61042385604051806060016040528060288152602001610a5e602891396001600160a01b038a166000908152600160205260408120906104026105ba565b6001600160a01b031681526020810191909152604001600020549190610805565b6105be565b5060019392505050565b60055460ff1690565b600061039c6104486105ba565b8461042385600160006104596105ba565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549061089c565b61049382826108fd565b5050565b6001600160a01b031660009081526020819052604090205490565b60048054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037e5780601f106103535761010080835404028352916020019161037e565b600061039c6105206105ba565b8461042385604051806060016040528060258152602001610acf602591396001600061054a6105ba565b6001600160a01b03908116825260208083019390935260409182016000908120918d16815292529020549190610805565b600061039c6105886105ba565b84846106aa565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166106035760405162461bcd60e51b8152600401808060200182810382526024815260200180610aab6024913960400191505060405180910390fd5b6001600160a01b0382166106485760405162461bcd60e51b8152600401808060200182810382526022815260200180610a166022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166106ef5760405162461bcd60e51b8152600401808060200182810382526025815260200180610a866025913960400191505060405180910390fd5b6001600160a01b0382166107345760405162461bcd60e51b81526004018080602001828103825260238152602001806109f36023913960400191505060405180910390fd5b61073f8383836109ed565b61077c81604051806060016040528060268152602001610a38602691396001600160a01b0386166000908152602081905260409020549190610805565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546107ab908261089c565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600081848411156108945760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610859578181015183820152602001610841565b50505050905090810190601f1680156108865780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000828201838110156108f6576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610958576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b610964600083836109ed565b600254610971908261089c565b6002556001600160a01b038216600090815260208190526040902054610997908261089c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b50505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220329406ba324859fff4d6d71604a5d79b385a9e8f1aead26648ccc1dea78a1e0a64736f6c634300060c0033", "deployedSourceMap": "110:260:24:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2168:89:11;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4244:166;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;4244:166:11;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3235:106;;;:::i;:::-;;;;;;;;;;;;;;;;4877:317;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;4877:317:11;;;;;;;;;;;;;;;;;:::i;3086:89::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5589:215;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;5589:215:11;;;;;;;;:::i;294:74:24:-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;294:74:24;;;;;;;;:::i;:::-;;3399:125:11;;;;;;;;;;;;;;;;-1:-1:-1;3399:125:11;-1:-1:-1;;;;;3399:125:11;;:::i;2370:93::-;;;:::i;6291:266::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6291:266:11;;;;;;;;:::i;3727:172::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3727:172:11;;;;;;;;:::i;3957:149::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3957:149:11;;;;;;;;;;:::i;2168:89::-;2245:5;2238:12;;;;;;;;-1:-1:-1;;2238:12:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2213:13;;2238:12;;2245:5;;2238:12;;2245:5;2238:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2168:89;:::o;4244:166::-;4327:4;4343:39;4352:12;:10;:12::i;:::-;4366:7;4375:6;4343:8;:39::i;:::-;-1:-1:-1;4399:4:11;4244:166;;;;:::o;3235:106::-;3322:12;;3235:106;:::o;4877:317::-;4983:4;4999:36;5009:6;5017:9;5028:6;4999:9;:36::i;:::-;5045:121;5054:6;5062:12;:10;:12::i;:::-;5076:89;5114:6;5076:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5076:19:11;;;;;;:11;:19;;;;;;5096:12;:10;:12::i;:::-;-1:-1:-1;;;;;5076:33:11;;;;;;;;;;;;-1:-1:-1;5076:33:11;;;:89;:37;:89::i;:::-;5045:8;:121::i;:::-;-1:-1:-1;5183:4:11;4877:317;;;;;:::o;3086:89::-;3159:9;;;;3086:89;:::o;5589:215::-;5677:4;5693:83;5702:12;:10;:12::i;:::-;5716:7;5725:50;5764:10;5725:11;:25;5737:12;:10;:12::i;:::-;-1:-1:-1;;;;;5725:25:11;;;;;;;;;;;;;;;;;-1:-1:-1;5725:25:11;;;:34;;;;;;;;;;;:38;:50::i;294:74:24:-;346:17;352:2;356:6;346:5;:17::i;:::-;294:74;;:::o;3399:125:11:-;-1:-1:-1;;;;;3499:18:11;3473:7;3499:18;;;;;;;;;;;;3399:125::o;2370:93::-;2449:7;2442:14;;;;;;;;-1:-1:-1;;2442:14:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2417:13;;2442:14;;2449:7;;2442:14;;2449:7;2442:14;;;;;;;;;;;;;;;;;;;;;;;;6291:266;6384:4;6400:129;6409:12;:10;:12::i;:::-;6423:7;6432:96;6471:15;6432:96;;;;;;;;;;;;;;;;;:11;:25;6444:12;:10;:12::i;:::-;-1:-1:-1;;;;;6432:25:11;;;;;;;;;;;;;;;;;-1:-1:-1;6432:25:11;;;:34;;;;;;;;;;;:96;:38;:96::i;3727:172::-;3813:4;3829:42;3839:12;:10;:12::i;:::-;3853:9;3864:6;3829:9;:42::i;3957:149::-;-1:-1:-1;;;;;4072:18:11;;;4046:7;4072:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3957:149::o;598:104:15:-;685:10;598:104;:::o;9355:340:11:-;-1:-1:-1;;;;;9456:19:11;;9448:68;;;;-1:-1:-1;;;9448:68:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9534:21:11;;9526:68;;;;-1:-1:-1;;;9526:68:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9605:18:11;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9656:32;;;;;;;;;;;;;;;;;9355:340;;;:::o;7031:530::-;-1:-1:-1;;;;;7136:20:11;;7128:70;;;;-1:-1:-1;;;7128:70:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7216:23:11;;7208:71;;;;-1:-1:-1;;;7208:71:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7290:47;7311:6;7319:9;7330:6;7290:20;:47::i;:::-;7368:71;7390:6;7368:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7368:17:11;;:9;:17;;;;;;;;;;;;:71;:21;:71::i;:::-;-1:-1:-1;;;;;7348:17:11;;;:9;:17;;;;;;;;;;;:91;;;;7472:20;;;;;;;:32;;7497:6;7472:24;:32::i;:::-;-1:-1:-1;;;;;7449:20:11;;;:9;:20;;;;;;;;;;;;:55;;;;7519:35;;;;;;;7449:20;;7519:35;;;;;;;;;;;;;7031:530;;;:::o;5432:163:4:-;5518:7;5553:12;5545:6;;;;5537:29;;;;-1:-1:-1;;;5537:29:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5583:5:4;;;5432:163::o;2690:175::-;2748:7;2779:5;;;2802:6;;;;2794:46;;;;;-1:-1:-1;;;2794:46:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;2857:1;2690:175;-1:-1:-1;;;2690:175:4:o;7832:370:11:-;-1:-1:-1;;;;;7915:21:11;;7907:65;;;;;-1:-1:-1;;;7907:65:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;7983:49;8012:1;8016:7;8025:6;7983:20;:49::i;:::-;8058:12;;:24;;8075:6;8058:16;:24::i;:::-;8043:12;:39;-1:-1:-1;;;;;8113:18:11;;:9;:18;;;;;;;;;;;:30;;8136:6;8113:22;:30::i;:::-;-1:-1:-1;;;;;8092:18:11;;:9;:18;;;;;;;;;;;:51;;;;8158:37;;;;;;;8092:18;;:9;;8158:37;;;;;;;;;;7832:370;;:::o;10701:92::-;;;;:::o", "language": "Solidity", "natspec": { "kind": "dev", "methods": { "allowance(address,address)": { "details": "See {IERC20-allowance}." }, "approve(address,uint256)": { "details": "See {IERC20-approve}. 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 {_setupDecimals} is called. 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: - `recipient` 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}. Requirements: - `sender` and `recipient` cannot be the zero address. - `sender` must have a balance of at least `amount`. - the caller must have allowance for ``sender``'s tokens of at least `amount`." } }, "version": 1 }, "offset": [ 110, 370 ], "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0xB4 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x40C10F19 GT PUSH2 0x71 JUMPI DUP1 PUSH4 0x40C10F19 EQ PUSH2 0x210 JUMPI DUP1 PUSH4 0x70A08231 EQ PUSH2 0x23E JUMPI DUP1 PUSH4 0x95D89B41 EQ PUSH2 0x264 JUMPI DUP1 PUSH4 0xA457C2D7 EQ PUSH2 0x26C JUMPI DUP1 PUSH4 0xA9059CBB EQ PUSH2 0x298 JUMPI DUP1 PUSH4 0xDD62ED3E EQ PUSH2 0x2C4 JUMPI PUSH2 0xB4 JUMP JUMPDEST DUP1 PUSH4 0x6FDDE03 EQ PUSH2 0xB9 JUMPI DUP1 PUSH4 0x95EA7B3 EQ PUSH2 0x136 JUMPI DUP1 PUSH4 0x18160DDD EQ PUSH2 0x176 JUMPI DUP1 PUSH4 0x23B872DD EQ PUSH2 0x190 JUMPI DUP1 PUSH4 0x313CE567 EQ PUSH2 0x1C6 JUMPI DUP1 PUSH4 0x39509351 EQ PUSH2 0x1E4 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0xC1 PUSH2 0x2F2 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 DUP1 DUP3 MSTORE DUP4 MLOAD DUP2 DUP4 ADD MSTORE DUP4 MLOAD SWAP2 SWAP3 DUP4 SWAP3 SWAP1 DUP4 ADD SWAP2 DUP6 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0xFB JUMPI DUP2 DUP2 ADD MLOAD DUP4 DUP3 ADD MSTORE PUSH1 0x20 ADD PUSH2 0xE3 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0x128 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP3 POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x162 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x14C JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD AND SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH2 0x388 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 ISZERO ISZERO DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST PUSH2 0x17E PUSH2 0x3A5 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST PUSH2 0x162 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x60 DUP2 LT ISZERO PUSH2 0x1A6 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD DUP2 AND SWAP2 PUSH1 0x20 DUP2 ADD CALLDATALOAD SWAP1 SWAP2 AND SWAP1 PUSH1 0x40 ADD CALLDATALOAD PUSH2 0x3AB JUMP JUMPDEST PUSH2 0x1CE PUSH2 0x432 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xFF SWAP1 SWAP3 AND DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST PUSH2 0x162 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x1FA JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD AND SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH2 0x43B JUMP JUMPDEST PUSH2 0x23C PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x226 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD AND SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH2 0x489 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x17E PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x254 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH2 0x497 JUMP JUMPDEST PUSH2 0xC1 PUSH2 0x4B2 JUMP JUMPDEST PUSH2 0x162 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x282 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD AND SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH2 0x513 JUMP JUMPDEST PUSH2 0x162 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x2AE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD AND SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH2 0x57B JUMP JUMPDEST PUSH2 0x17E PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x2DA JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 CALLDATALOAD DUP2 AND SWAP2 PUSH1 0x20 ADD CALLDATALOAD AND PUSH2 0x58F JUMP JUMPDEST PUSH1 0x3 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x1F PUSH1 0x2 PUSH1 0x0 NOT PUSH2 0x100 PUSH1 0x1 DUP9 AND ISZERO MUL ADD SWAP1 SWAP6 AND SWAP5 SWAP1 SWAP5 DIV SWAP4 DUP5 ADD DUP2 SWAP1 DIV DUP2 MUL DUP3 ADD DUP2 ADD SWAP1 SWAP3 MSTORE DUP3 DUP2 MSTORE PUSH1 0x60 SWAP4 SWAP1 SWAP3 SWAP1 SWAP2 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x37E JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x353 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x37E 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 0x361 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x39C PUSH2 0x395 PUSH2 0x5BA JUMP JUMPDEST DUP5 DUP5 PUSH2 0x5BE JUMP JUMPDEST POP PUSH1 0x1 SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x2 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x3B8 DUP5 DUP5 DUP5 PUSH2 0x6AA JUMP JUMPDEST PUSH2 0x428 DUP5 PUSH2 0x3C4 PUSH2 0x5BA JUMP JUMPDEST PUSH2 0x423 DUP6 PUSH1 0x40 MLOAD DUP1 PUSH1 0x60 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x28 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xA5E PUSH1 0x28 SWAP2 CODECOPY PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP11 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 MSTORE PUSH1 0x40 DUP2 KECCAK256 SWAP1 PUSH2 0x402 PUSH2 0x5BA JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND DUP2 MSTORE PUSH1 0x20 DUP2 ADD SWAP2 SWAP1 SWAP2 MSTORE PUSH1 0x40 ADD PUSH1 0x0 KECCAK256 SLOAD SWAP2 SWAP1 PUSH2 0x805 JUMP JUMPDEST PUSH2 0x5BE JUMP JUMPDEST POP PUSH1 0x1 SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x5 SLOAD PUSH1 0xFF AND SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x39C PUSH2 0x448 PUSH2 0x5BA JUMP JUMPDEST DUP5 PUSH2 0x423 DUP6 PUSH1 0x1 PUSH1 0x0 PUSH2 0x459 PUSH2 0x5BA JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 DUP2 AND DUP3 MSTORE PUSH1 0x20 DUP1 DUP4 ADD SWAP4 SWAP1 SWAP4 MSTORE PUSH1 0x40 SWAP2 DUP3 ADD PUSH1 0x0 SWAP1 DUP2 KECCAK256 SWAP2 DUP13 AND DUP2 MSTORE SWAP3 MSTORE SWAP1 KECCAK256 SLOAD SWAP1 PUSH2 0x89C JUMP JUMPDEST PUSH2 0x493 DUP3 DUP3 PUSH2 0x8FD JUMP JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 KECCAK256 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x4 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x1F PUSH1 0x2 PUSH1 0x0 NOT PUSH2 0x100 PUSH1 0x1 DUP9 AND ISZERO MUL ADD SWAP1 SWAP6 AND SWAP5 SWAP1 SWAP5 DIV SWAP4 DUP5 ADD DUP2 SWAP1 DIV DUP2 MUL DUP3 ADD DUP2 ADD SWAP1 SWAP3 MSTORE DUP3 DUP2 MSTORE PUSH1 0x60 SWAP4 SWAP1 SWAP3 SWAP1 SWAP2 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x37E JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x353 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x37E JUMP JUMPDEST PUSH1 0x0 PUSH2 0x39C PUSH2 0x520 PUSH2 0x5BA JUMP JUMPDEST DUP5 PUSH2 0x423 DUP6 PUSH1 0x40 MLOAD DUP1 PUSH1 0x60 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x25 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xACF PUSH1 0x25 SWAP2 CODECOPY PUSH1 0x1 PUSH1 0x0 PUSH2 0x54A PUSH2 0x5BA JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 DUP2 AND DUP3 MSTORE PUSH1 0x20 DUP1 DUP4 ADD SWAP4 SWAP1 SWAP4 MSTORE PUSH1 0x40 SWAP2 DUP3 ADD PUSH1 0x0 SWAP1 DUP2 KECCAK256 SWAP2 DUP14 AND DUP2 MSTORE SWAP3 MSTORE SWAP1 KECCAK256 SLOAD SWAP2 SWAP1 PUSH2 0x805 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x39C PUSH2 0x588 PUSH2 0x5BA JUMP JUMPDEST DUP5 DUP5 PUSH2 0x6AA 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 CALLER SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH2 0x603 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x24 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0xAAB PUSH1 0x24 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x648 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x22 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0xA16 PUSH1 0x22 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP1 DUP5 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 DUP2 MLOAD DUP6 DUP2 MSTORE SWAP2 MLOAD PUSH32 0x8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925 SWAP3 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP POP POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH2 0x6EF JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x25 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0xA86 PUSH1 0x25 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x734 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x23 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0x9F3 PUSH1 0x23 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH2 0x73F DUP4 DUP4 DUP4 PUSH2 0x9ED JUMP JUMPDEST PUSH2 0x77C DUP2 PUSH1 0x40 MLOAD DUP1 PUSH1 0x60 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x26 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0xA38 PUSH1 0x26 SWAP2 CODECOPY PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP7 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 KECCAK256 SLOAD SWAP2 SWAP1 PUSH2 0x805 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 SWAP4 SWAP1 SWAP4 SSTORE SWAP1 DUP5 AND DUP2 MSTORE KECCAK256 SLOAD PUSH2 0x7AB SWAP1 DUP3 PUSH2 0x89C JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP1 DUP5 AND PUSH1 0x0 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 SWAP2 DUP3 SWAP1 KECCAK256 SWAP5 SWAP1 SWAP5 SSTORE DUP1 MLOAD DUP6 DUP2 MSTORE SWAP1 MLOAD SWAP2 SWAP4 SWAP3 DUP8 AND SWAP3 PUSH32 0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF SWAP3 SWAP2 DUP3 SWAP1 SUB ADD SWAP1 LOG3 POP POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 DUP5 DUP5 GT ISZERO PUSH2 0x894 JUMPI PUSH1 0x40 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP4 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x859 JUMPI DUP2 DUP2 ADD MLOAD DUP4 DUP3 ADD MSTORE PUSH1 0x20 ADD PUSH2 0x841 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0x886 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP3 POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST POP POP POP SWAP1 SUB SWAP1 JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 ADD DUP4 DUP2 LT ISZERO PUSH2 0x8F6 JUMPI PUSH1 0x40 DUP1 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x1B PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x536166654D6174683A206164646974696F6E206F766572666C6F770000000000 PUSH1 0x44 DUP3 ADD MSTORE SWAP1 MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x64 ADD SWAP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH2 0x958 JUMPI PUSH1 0x40 DUP1 MLOAD PUSH3 0x461BCD PUSH1 0xE5 SHL DUP2 MSTORE PUSH1 0x20 PUSH1 0x4 DUP3 ADD MSTORE PUSH1 0x1F PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x45524332303A206D696E7420746F20746865207A65726F206164647265737300 PUSH1 0x44 DUP3 ADD MSTORE SWAP1 MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x64 ADD SWAP1 REVERT JUMPDEST PUSH2 0x964 PUSH1 0x0 DUP4 DUP4 PUSH2 0x9ED JUMP JUMPDEST PUSH1 0x2 SLOAD PUSH2 0x971 SWAP1 DUP3 PUSH2 0x89C JUMP JUMPDEST PUSH1 0x2 SSTORE PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP3 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 KECCAK256 SLOAD PUSH2 0x997 SWAP1 DUP3 PUSH2 0x89C JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP4 AND PUSH1 0x0 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 KECCAK256 SWAP5 SWAP1 SWAP5 SSTORE DUP4 MLOAD DUP6 DUP2 MSTORE SWAP4 MLOAD SWAP3 SWAP4 SWAP2 SWAP3 PUSH32 0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF SWAP3 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP POP JUMP JUMPDEST POP POP POP JUMP INVALID GASLIMIT MSTORE NUMBER ORIGIN ADDRESS GASPRICE KECCAK256 PUSH21 0x72616E7366657220746F20746865207A65726F2061 PUSH5 0x6472657373 GASLIMIT MSTORE NUMBER ORIGIN ADDRESS GASPRICE KECCAK256 PUSH2 0x7070 PUSH19 0x6F766520746F20746865207A65726F20616464 PUSH19 0x65737345524332303A207472616E7366657220 PUSH2 0x6D6F PUSH22 0x6E7420657863656564732062616C616E636545524332 ADDRESS GASPRICE KECCAK256 PUSH21 0x72616E7366657220616D6F756E7420657863656564 PUSH20 0x20616C6C6F77616E636545524332303A20747261 PUSH15 0x736665722066726F6D20746865207A PUSH6 0x726F20616464 PUSH19 0x65737345524332303A20617070726F76652066 PUSH19 0x6F6D20746865207A65726F2061646472657373 GASLIMIT MSTORE NUMBER ORIGIN ADDRESS GASPRICE KECCAK256 PUSH5 0x6563726561 PUSH20 0x656420616C6C6F77616E63652062656C6F77207A PUSH6 0x726FA2646970 PUSH7 0x73582212203294 MOD 0xBA ORIGIN 0x48 MSIZE SELFDESTRUCT DELEGATECALL 0xD6 0xD7 AND DIV 0xA5 0xD7 SWAP12 CODESIZE GAS SWAP15 DUP16 BYTE 0xEA 0xD2 PUSH7 0x48CCC1DEA78A1E EXP PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ", "pcMap": { "0": { "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x80" }, "2": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x40" }, "4": { "fn": null, "offset": [ 110, 370 ], "op": "MSTORE", "path": "24" }, "5": { "fn": null, "offset": [ 110, 370 ], "op": "CALLVALUE", "path": "24" }, "6": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "7": { "fn": null, "offset": [ 110, 370 ], "op": "ISZERO", "path": "24" }, "8": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x10" }, "11": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "12": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x0" }, "14": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "15": { "dev": "Cannot send ether to nonpayable function", "fn": null, "offset": [ 110, 370 ], "op": "REVERT", "path": "24" }, "16": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPDEST", "path": "24" }, "17": { "fn": null, "offset": [ 110, 370 ], "op": "POP", "path": "24" }, "18": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x4" }, "20": { "fn": null, "offset": [ 110, 370 ], "op": "CALLDATASIZE", "path": "24" }, "21": { "fn": null, "offset": [ 110, 370 ], "op": "LT", "path": "24" }, "22": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0xB4" }, "25": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "26": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x0" }, "28": { "fn": null, "offset": [ 110, 370 ], "op": "CALLDATALOAD", "path": "24" }, "29": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0xE0" }, "31": { "fn": null, "offset": [ 110, 370 ], "op": "SHR", "path": "24" }, "32": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "33": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x40C10F19" }, "38": { "fn": null, "offset": [ 110, 370 ], "op": "GT", "path": "24" }, "39": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x71" }, "42": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "43": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "44": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x40C10F19" }, "49": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "50": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x210" }, "53": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "54": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "55": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x70A08231" }, "60": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "61": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x23E" }, "64": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "65": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "66": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x95D89B41" }, "71": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "72": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x264" }, "75": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "76": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "77": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0xA457C2D7" }, "82": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "83": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x26C" }, "86": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "87": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "88": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0xA9059CBB" }, "93": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "94": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x298" }, "97": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "98": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "99": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0xDD62ED3E" }, "104": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "105": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x2C4" }, "108": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "109": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0xB4" }, "112": { "fn": null, "offset": [ 110, 370 ], "op": "JUMP", "path": "24" }, "113": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPDEST", "path": "24" }, "114": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "115": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x6FDDE03" }, "120": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "121": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0xB9" }, "124": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "125": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "126": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x95EA7B3" }, "131": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "132": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x136" }, "135": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "136": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "137": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x18160DDD" }, "142": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "143": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x176" }, "146": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "147": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "148": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x23B872DD" }, "153": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "154": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x190" }, "157": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "158": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "159": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x313CE567" }, "164": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "165": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x1C6" }, "168": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "169": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "170": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH4", "path": "24", "value": "0x39509351" }, "175": { "fn": null, "offset": [ 110, 370 ], "op": "EQ", "path": "24" }, "176": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH2", "path": "24", "value": "0x1E4" }, "179": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPI", "path": "24" }, "180": { "fn": null, "offset": [ 110, 370 ], "op": "JUMPDEST", "path": "24" }, "181": { "fn": null, "offset": [ 110, 370 ], "op": "PUSH1", "path": "24", "value": "0x0" }, "183": { "fn": null, "offset": [ 110, 370 ], "op": "DUP1", "path": "24" }, "184": { "first_revert": true, "fn": null, "offset": [ 110, 370 ], "op": "REVERT", "path": "24" }, "185": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "186": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0xC1" }, "189": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0x2F2" }, "192": { "fn": "ERC20.name", "jump": "i", "offset": [ 2168, 2257 ], "op": "JUMP", "path": "11" }, "193": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "194": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "196": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "197": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "198": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "200": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "201": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP3", "path": "11" }, "202": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MSTORE", "path": "11" }, "203": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "204": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "205": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "206": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "207": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "208": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MSTORE", "path": "11" }, "209": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "210": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "211": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP2", "path": "11" }, "212": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP3", "path": "11" }, "213": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "214": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP3", "path": "11" }, "215": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "216": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "217": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "218": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP2", "path": "11" }, "219": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP6", "path": "11" }, "220": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "221": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "222": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "223": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "224": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "225": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "227": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "228": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "229": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "230": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "LT", "path": "11" }, "231": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ISZERO", "path": "11" }, "232": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0xFB" }, "235": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPI", "path": "11" }, "236": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "237": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "238": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "239": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "240": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "241": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP3", "path": "11" }, "242": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "243": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MSTORE", "path": "11" }, "244": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "246": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "247": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0xE3" }, "250": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMP", "path": "11" }, "251": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "252": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "253": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "254": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "255": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "256": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "257": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "258": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "259": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "260": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "261": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "262": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "264": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "AND", "path": "11" }, "265": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "266": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ISZERO", "path": "11" }, "267": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0x128" }, "270": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPI", "path": "11" }, "271": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "272": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP3", "path": "11" }, "273": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SUB", "path": "11" }, "274": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "275": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "276": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "278": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP4", "path": "11" }, "279": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "281": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SUB", "path": "11" }, "282": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH2", "path": "11", "value": "0x100" }, "285": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "EXP", "path": "11" }, "286": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SUB", "path": "11" }, "287": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "NOT", "path": "11" }, "288": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "AND", "path": "11" }, "289": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP2", "path": "11" }, "290": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MSTORE", "path": "11" }, "291": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "293": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "ADD", "path": "11" }, "294": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP2", "path": "11" }, "295": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "296": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "297": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "298": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP3", "path": "11" }, "299": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "300": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "301": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "POP", "path": "11" }, "302": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "304": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "MLOAD", "path": "11" }, "305": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "DUP1", "path": "11" }, "306": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP2", "path": "11" }, "307": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SUB", "path": "11" }, "308": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "309": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "RETURN", "path": "11" }, "310": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "JUMPDEST", "path": "11" }, "311": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH2", "path": "11", "value": "0x162" }, "314": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "316": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP1", "path": "11" }, "317": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "CALLDATASIZE", "path": "11" }, "318": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SUB", "path": "11" }, "319": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "321": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP2", "path": "11" }, "322": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "LT", "path": "11" }, "323": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "ISZERO", "path": "11" }, "324": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH2", "path": "11", "value": "0x14C" }, "327": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "JUMPI", "path": "11" }, "328": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "330": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP1", "path": "11" }, "331": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "REVERT", "path": "11" }, "332": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "JUMPDEST", "path": "11" }, "333": { "op": "POP" }, "334": { "op": "PUSH1", "value": "0x1" }, "336": { "op": "PUSH1", "value": "0x1" }, "338": { "op": "PUSH1", "value": "0xA0" }, "340": { "op": "SHL" }, "341": { "op": "SUB" }, "342": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP2", "path": "11" }, "343": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "CALLDATALOAD", "path": "11" }, "344": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "AND", "path": "11" }, "345": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP1", "path": "11" }, "346": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "348": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "ADD", "path": "11" }, "349": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "CALLDATALOAD", "path": "11" }, "350": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH2", "path": "11", "value": "0x388" }, "353": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4244, 4410 ], "op": "JUMP", "path": "11" }, "354": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "JUMPDEST", "path": "11" }, "355": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "357": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP1", "path": "11" }, "358": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "MLOAD", "path": "11" }, "359": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP2", "path": "11" }, "360": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "ISZERO", "path": "11" }, "361": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "ISZERO", "path": "11" }, "362": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP3", "path": "11" }, "363": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "MSTORE", "path": "11" }, "364": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "MLOAD", "path": "11" }, "365": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP1", "path": "11" }, "366": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "DUP2", "path": "11" }, "367": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP1", "path": "11" }, "368": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SUB", "path": "11" }, "369": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "371": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "ADD", "path": "11" }, "372": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP1", "path": "11" }, "373": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "RETURN", "path": "11" }, "374": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "JUMPDEST", "path": "11" }, "375": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "PUSH2", "path": "11", "value": "0x17E" }, "378": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "PUSH2", "path": "11", "value": "0x3A5" }, "381": { "fn": "ERC20.totalSupply", "jump": "i", "offset": [ 3235, 3341 ], "op": "JUMP", "path": "11" }, "382": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "JUMPDEST", "path": "11" }, "383": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "385": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "DUP1", "path": "11" }, "386": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "MLOAD", "path": "11" }, "387": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SWAP2", "path": "11" }, "388": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "DUP3", "path": "11" }, "389": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "MSTORE", "path": "11" }, "390": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "MLOAD", "path": "11" }, "391": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SWAP1", "path": "11" }, "392": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "DUP2", "path": "11" }, "393": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SWAP1", "path": "11" }, "394": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SUB", "path": "11" }, "395": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "397": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "ADD", "path": "11" }, "398": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SWAP1", "path": "11" }, "399": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "RETURN", "path": "11" }, "400": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "JUMPDEST", "path": "11" }, "401": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH2", "path": "11", "value": "0x162" }, "404": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "406": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP1", "path": "11" }, "407": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "CALLDATASIZE", "path": "11" }, "408": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SUB", "path": "11" }, "409": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "411": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP2", "path": "11" }, "412": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "LT", "path": "11" }, "413": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "ISZERO", "path": "11" }, "414": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH2", "path": "11", "value": "0x1A6" }, "417": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "JUMPI", "path": "11" }, "418": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "420": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP1", "path": "11" }, "421": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "REVERT", "path": "11" }, "422": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "JUMPDEST", "path": "11" }, "423": { "op": "POP" }, "424": { "op": "PUSH1", "value": "0x1" }, "426": { "op": "PUSH1", "value": "0x1" }, "428": { "op": "PUSH1", "value": "0xA0" }, "430": { "op": "SHL" }, "431": { "op": "SUB" }, "432": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP2", "path": "11" }, "433": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "CALLDATALOAD", "path": "11" }, "434": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP2", "path": "11" }, "435": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "AND", "path": "11" }, "436": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP2", "path": "11" }, "437": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "439": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "DUP2", "path": "11" }, "440": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "ADD", "path": "11" }, "441": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "CALLDATALOAD", "path": "11" }, "442": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP1", "path": "11" }, "443": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP2", "path": "11" }, "444": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "AND", "path": "11" }, "445": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP1", "path": "11" }, "446": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "448": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "ADD", "path": "11" }, "449": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "CALLDATALOAD", "path": "11" }, "450": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "PUSH2", "path": "11", "value": "0x3AB" }, "453": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 4877, 5194 ], "op": "JUMP", "path": "11" }, "454": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "JUMPDEST", "path": "11" }, "455": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "PUSH2", "path": "11", "value": "0x1CE" }, "458": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "PUSH2", "path": "11", "value": "0x432" }, "461": { "fn": "ERC20.decimals", "jump": "i", "offset": [ 3086, 3175 ], "op": "JUMP", "path": "11" }, "462": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "JUMPDEST", "path": "11" }, "463": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "465": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "DUP1", "path": "11" }, "466": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "MLOAD", "path": "11" }, "467": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "PUSH1", "path": "11", "value": "0xFF" }, "469": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP1", "path": "11" }, "470": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP3", "path": "11" }, "471": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "AND", "path": "11" }, "472": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "DUP3", "path": "11" }, "473": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "MSTORE", "path": "11" }, "474": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "MLOAD", "path": "11" }, "475": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP1", "path": "11" }, "476": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "DUP2", "path": "11" }, "477": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP1", "path": "11" }, "478": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SUB", "path": "11" }, "479": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "481": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "ADD", "path": "11" }, "482": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP1", "path": "11" }, "483": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "RETURN", "path": "11" }, "484": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "JUMPDEST", "path": "11" }, "485": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH2", "path": "11", "value": "0x162" }, "488": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "490": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "DUP1", "path": "11" }, "491": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "CALLDATASIZE", "path": "11" }, "492": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "SUB", "path": "11" }, "493": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "495": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "DUP2", "path": "11" }, "496": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "LT", "path": "11" }, "497": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "ISZERO", "path": "11" }, "498": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH2", "path": "11", "value": "0x1FA" }, "501": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "JUMPI", "path": "11" }, "502": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "504": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "DUP1", "path": "11" }, "505": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "REVERT", "path": "11" }, "506": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "JUMPDEST", "path": "11" }, "507": { "op": "POP" }, "508": { "op": "PUSH1", "value": "0x1" }, "510": { "op": "PUSH1", "value": "0x1" }, "512": { "op": "PUSH1", "value": "0xA0" }, "514": { "op": "SHL" }, "515": { "op": "SUB" }, "516": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "DUP2", "path": "11" }, "517": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "CALLDATALOAD", "path": "11" }, "518": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "AND", "path": "11" }, "519": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "SWAP1", "path": "11" }, "520": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "522": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "ADD", "path": "11" }, "523": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "CALLDATALOAD", "path": "11" }, "524": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "PUSH2", "path": "11", "value": "0x43B" }, "527": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5589, 5804 ], "op": "JUMP", "path": "11" }, "528": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "JUMPDEST", "path": "24" }, "529": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH2", "path": "24", "value": "0x23C" }, "532": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH1", "path": "24", "value": "0x4" }, "534": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "DUP1", "path": "24" }, "535": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "CALLDATASIZE", "path": "24" }, "536": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "SUB", "path": "24" }, "537": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH1", "path": "24", "value": "0x40" }, "539": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "DUP2", "path": "24" }, "540": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "LT", "path": "24" }, "541": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "ISZERO", "path": "24" }, "542": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH2", "path": "24", "value": "0x226" }, "545": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "JUMPI", "path": "24" }, "546": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH1", "path": "24", "value": "0x0" }, "548": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "DUP1", "path": "24" }, "549": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "REVERT", "path": "24" }, "550": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "JUMPDEST", "path": "24" }, "551": { "op": "POP" }, "552": { "op": "PUSH1", "value": "0x1" }, "554": { "op": "PUSH1", "value": "0x1" }, "556": { "op": "PUSH1", "value": "0xA0" }, "558": { "op": "SHL" }, "559": { "op": "SUB" }, "560": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "DUP2", "path": "24" }, "561": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "CALLDATALOAD", "path": "24" }, "562": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "AND", "path": "24" }, "563": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "SWAP1", "path": "24" }, "564": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH1", "path": "24", "value": "0x20" }, "566": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "ADD", "path": "24" }, "567": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "CALLDATALOAD", "path": "24" }, "568": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "PUSH2", "path": "24", "value": "0x489" }, "571": { "fn": "MockERC20.mint", "jump": "i", "offset": [ 294, 368 ], "op": "JUMP", "path": "24" }, "572": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "JUMPDEST", "path": "24" }, "573": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "STOP", "path": "24" }, "574": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "JUMPDEST", "path": "11" }, "575": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH2", "path": "11", "value": "0x17E" }, "578": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "580": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "DUP1", "path": "11" }, "581": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "CALLDATASIZE", "path": "11" }, "582": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "SUB", "path": "11" }, "583": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "585": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "DUP2", "path": "11" }, "586": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "LT", "path": "11" }, "587": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "ISZERO", "path": "11" }, "588": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH2", "path": "11", "value": "0x254" }, "591": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "JUMPI", "path": "11" }, "592": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "594": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "DUP1", "path": "11" }, "595": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "REVERT", "path": "11" }, "596": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "JUMPDEST", "path": "11" }, "597": { "op": "POP" }, "598": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "CALLDATALOAD", "path": "11" }, "599": { "op": "PUSH1", "value": "0x1" }, "601": { "op": "PUSH1", "value": "0x1" }, "603": { "op": "PUSH1", "value": "0xA0" }, "605": { "op": "SHL" }, "606": { "op": "SUB" }, "607": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "AND", "path": "11" }, "608": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "PUSH2", "path": "11", "value": "0x497" }, "611": { "fn": "ERC20.balanceOf", "jump": "i", "offset": [ 3399, 3524 ], "op": "JUMP", "path": "11" }, "612": { "fn": "ERC20.symbol", "offset": [ 2370, 2463 ], "op": "JUMPDEST", "path": "11" }, "613": { "fn": "ERC20.symbol", "offset": [ 2370, 2463 ], "op": "PUSH2", "path": "11", "value": "0xC1" }, "616": { "fn": "ERC20.symbol", "offset": [ 2370, 2463 ], "op": "PUSH2", "path": "11", "value": "0x4B2" }, "619": { "fn": "ERC20.symbol", "jump": "i", "offset": [ 2370, 2463 ], "op": "JUMP", "path": "11" }, "620": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "JUMPDEST", "path": "11" }, "621": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH2", "path": "11", "value": "0x162" }, "624": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "626": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "DUP1", "path": "11" }, "627": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "CALLDATASIZE", "path": "11" }, "628": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "SUB", "path": "11" }, "629": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "631": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "DUP2", "path": "11" }, "632": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "LT", "path": "11" }, "633": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "ISZERO", "path": "11" }, "634": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH2", "path": "11", "value": "0x282" }, "637": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "JUMPI", "path": "11" }, "638": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "640": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "DUP1", "path": "11" }, "641": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "REVERT", "path": "11" }, "642": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "JUMPDEST", "path": "11" }, "643": { "op": "POP" }, "644": { "op": "PUSH1", "value": "0x1" }, "646": { "op": "PUSH1", "value": "0x1" }, "648": { "op": "PUSH1", "value": "0xA0" }, "650": { "op": "SHL" }, "651": { "op": "SUB" }, "652": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "DUP2", "path": "11" }, "653": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "CALLDATALOAD", "path": "11" }, "654": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "AND", "path": "11" }, "655": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "SWAP1", "path": "11" }, "656": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "658": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "ADD", "path": "11" }, "659": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "CALLDATALOAD", "path": "11" }, "660": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "PUSH2", "path": "11", "value": "0x513" }, "663": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6291, 6557 ], "op": "JUMP", "path": "11" }, "664": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "JUMPDEST", "path": "11" }, "665": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH2", "path": "11", "value": "0x162" }, "668": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "670": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "DUP1", "path": "11" }, "671": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "CALLDATASIZE", "path": "11" }, "672": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "SUB", "path": "11" }, "673": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "675": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "DUP2", "path": "11" }, "676": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "LT", "path": "11" }, "677": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "ISZERO", "path": "11" }, "678": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH2", "path": "11", "value": "0x2AE" }, "681": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "JUMPI", "path": "11" }, "682": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "684": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "DUP1", "path": "11" }, "685": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "REVERT", "path": "11" }, "686": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "JUMPDEST", "path": "11" }, "687": { "op": "POP" }, "688": { "op": "PUSH1", "value": "0x1" }, "690": { "op": "PUSH1", "value": "0x1" }, "692": { "op": "PUSH1", "value": "0xA0" }, "694": { "op": "SHL" }, "695": { "op": "SUB" }, "696": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "DUP2", "path": "11" }, "697": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "CALLDATALOAD", "path": "11" }, "698": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "AND", "path": "11" }, "699": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "SWAP1", "path": "11" }, "700": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "702": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "ADD", "path": "11" }, "703": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "CALLDATALOAD", "path": "11" }, "704": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "PUSH2", "path": "11", "value": "0x57B" }, "707": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3727, 3899 ], "op": "JUMP", "path": "11" }, "708": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "JUMPDEST", "path": "11" }, "709": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH2", "path": "11", "value": "0x17E" }, "712": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "714": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "DUP1", "path": "11" }, "715": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "CALLDATASIZE", "path": "11" }, "716": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "SUB", "path": "11" }, "717": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "719": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "DUP2", "path": "11" }, "720": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "LT", "path": "11" }, "721": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "ISZERO", "path": "11" }, "722": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH2", "path": "11", "value": "0x2DA" }, "725": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "JUMPI", "path": "11" }, "726": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "728": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "DUP1", "path": "11" }, "729": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "REVERT", "path": "11" }, "730": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "JUMPDEST", "path": "11" }, "731": { "op": "POP" }, "732": { "op": "PUSH1", "value": "0x1" }, "734": { "op": "PUSH1", "value": "0x1" }, "736": { "op": "PUSH1", "value": "0xA0" }, "738": { "op": "SHL" }, "739": { "op": "SUB" }, "740": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "DUP2", "path": "11" }, "741": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "CALLDATALOAD", "path": "11" }, "742": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "DUP2", "path": "11" }, "743": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "AND", "path": "11" }, "744": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "SWAP2", "path": "11" }, "745": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "747": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "ADD", "path": "11" }, "748": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "CALLDATALOAD", "path": "11" }, "749": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "AND", "path": "11" }, "750": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "PUSH2", "path": "11", "value": "0x58F" }, "753": { "fn": "ERC20.allowance", "jump": "i", "offset": [ 3957, 4106 ], "op": "JUMP", "path": "11" }, "754": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "JUMPDEST", "path": "11" }, "755": { "fn": "ERC20.name", "offset": [ 2245, 2250 ], "op": "PUSH1", "path": "11", "statement": 0, "value": "0x3" }, "757": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "758": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SLOAD", "path": "11" }, "759": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "761": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "762": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MLOAD", "path": "11" }, "763": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "765": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "767": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x2" }, "769": { "op": "PUSH1", "value": "0x0" }, "771": { "op": "NOT" }, "772": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x100" }, "775": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "777": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP9", "path": "11" }, "778": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "AND", "path": "11" }, "779": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ISZERO", "path": "11" }, "780": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MUL", "path": "11" }, "781": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "782": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "783": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP6", "path": "11" }, "784": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "AND", "path": "11" }, "785": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP5", "path": "11" }, "786": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "787": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP5", "path": "11" }, "788": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DIV", "path": "11" }, "789": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP4", "path": "11" }, "790": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP5", "path": "11" }, "791": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "792": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "793": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "794": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DIV", "path": "11" }, "795": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "796": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MUL", "path": "11" }, "797": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "798": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "799": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "800": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "801": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "802": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP3", "path": "11" }, "803": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MSTORE", "path": "11" }, "804": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "805": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "806": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MSTORE", "path": "11" }, "807": { "fn": "ERC20.name", "offset": [ 2213, 2226 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "809": { "fn": "ERC20.name", "offset": [ 2213, 2226 ], "op": "SWAP4", "path": "11" }, "810": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "811": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP3", "path": "11" }, "812": { "fn": "ERC20.name", "offset": [ 2245, 2250 ], "op": "SWAP1", "path": "11" }, "813": { "fn": "ERC20.name", "offset": [ 2245, 2250 ], "op": "SWAP2", "path": "11" }, "814": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP4", "path": "11" }, "815": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "816": { "fn": "ERC20.name", "offset": [ 2245, 2250 ], "op": "DUP3", "path": "11" }, "817": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "818": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "819": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ISZERO", "path": "11" }, "820": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x37E" }, "823": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPI", "path": "11" }, "824": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "825": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "827": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "LT", "path": "11" }, "828": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x353" }, "831": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPI", "path": "11" }, "832": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x100" }, "835": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "836": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP4", "path": "11" }, "837": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SLOAD", "path": "11" }, "838": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DIV", "path": "11" }, "839": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MUL", "path": "11" }, "840": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP4", "path": "11" }, "841": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MSTORE", "path": "11" }, "842": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP2", "path": "11" }, "843": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "845": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "846": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP2", "path": "11" }, "847": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x37E" }, "850": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMP", "path": "11" }, "851": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPDEST", "path": "11" }, "852": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "853": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "854": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP2", "path": "11" }, "855": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "856": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "858": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MSTORE", "path": "11" }, "859": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "861": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "863": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "KECCAK256", "path": "11" }, "864": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "865": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPDEST", "path": "11" }, "866": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "867": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SLOAD", "path": "11" }, "868": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP2", "path": "11" }, "869": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "MSTORE", "path": "11" }, "870": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "871": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "873": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "874": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "875": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "877": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "878": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP1", "path": "11" }, "879": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP4", "path": "11" }, "880": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "GT", "path": "11" }, "881": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH2", "path": "11", "value": "0x361" }, "884": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPI", "path": "11" }, "885": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "886": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "887": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SUB", "path": "11" }, "888": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "890": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "AND", "path": "11" }, "891": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "DUP3", "path": "11" }, "892": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "ADD", "path": "11" }, "893": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP2", "path": "11" }, "894": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "JUMPDEST", "path": "11" }, "895": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "896": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "897": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "898": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "899": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "900": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "SWAP1", "path": "11" }, "901": { "fn": "ERC20.name", "offset": [ 2238, 2250 ], "op": "POP", "path": "11" }, "902": { "fn": "ERC20.name", "offset": [ 2168, 2257 ], "op": "SWAP1", "path": "11" }, "903": { "fn": "ERC20.name", "jump": "o", "offset": [ 2168, 2257 ], "op": "JUMP", "path": "11" }, "904": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "JUMPDEST", "path": "11" }, "905": { "fn": "ERC20.approve", "offset": [ 4327, 4331 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "907": { "fn": "ERC20.approve", "offset": [ 4343, 4382 ], "op": "PUSH2", "path": "11", "statement": 1, "value": "0x39C" }, "910": { "fn": "ERC20.approve", "offset": [ 4352, 4364 ], "op": "PUSH2", "path": "11", "value": "0x395" }, "913": { "fn": "ERC20.approve", "offset": [ 4352, 4362 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "916": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4352, 4364 ], "op": "JUMP", "path": "11" }, "917": { "fn": "ERC20.approve", "offset": [ 4352, 4364 ], "op": "JUMPDEST", "path": "11" }, "918": { "fn": "ERC20.approve", "offset": [ 4366, 4373 ], "op": "DUP5", "path": "11" }, "919": { "fn": "ERC20.approve", "offset": [ 4375, 4381 ], "op": "DUP5", "path": "11" }, "920": { "fn": "ERC20.approve", "offset": [ 4343, 4351 ], "op": "PUSH2", "path": "11", "value": "0x5BE" }, "923": { "fn": "ERC20.approve", "jump": "i", "offset": [ 4343, 4382 ], "op": "JUMP", "path": "11" }, "924": { "fn": "ERC20.approve", "offset": [ 4343, 4382 ], "op": "JUMPDEST", "path": "11" }, "925": { "op": "POP" }, "926": { "fn": "ERC20.approve", "offset": [ 4399, 4403 ], "op": "PUSH1", "path": "11", "statement": 2, "value": "0x1" }, "928": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP3", "path": "11" }, "929": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "SWAP2", "path": "11" }, "930": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "POP", "path": "11" }, "931": { "fn": "ERC20.approve", "offset": [ 4244, 4410 ], "op": "POP", "path": "11" }, "932": { "fn": "ERC20.approve", "jump": "o", "offset": [ 4244, 4410 ], "op": "JUMP", "path": "11" }, "933": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "JUMPDEST", "path": "11" }, "934": { "fn": "ERC20.totalSupply", "offset": [ 3322, 3334 ], "op": "PUSH1", "path": "11", "statement": 3, "value": "0x2" }, "936": { "fn": "ERC20.totalSupply", "offset": [ 3322, 3334 ], "op": "SLOAD", "path": "11" }, "937": { "fn": "ERC20.totalSupply", "offset": [ 3235, 3341 ], "op": "SWAP1", "path": "11" }, "938": { "fn": "ERC20.totalSupply", "jump": "o", "offset": [ 3235, 3341 ], "op": "JUMP", "path": "11" }, "939": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "JUMPDEST", "path": "11" }, "940": { "fn": "ERC20.transferFrom", "offset": [ 4983, 4987 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "942": { "fn": "ERC20.transferFrom", "offset": [ 4999, 5035 ], "op": "PUSH2", "path": "11", "statement": 4, "value": "0x3B8" }, "945": { "fn": "ERC20.transferFrom", "offset": [ 5009, 5015 ], "op": "DUP5", "path": "11" }, "946": { "fn": "ERC20.transferFrom", "offset": [ 5017, 5026 ], "op": "DUP5", "path": "11" }, "947": { "fn": "ERC20.transferFrom", "offset": [ 5028, 5034 ], "op": "DUP5", "path": "11" }, "948": { "fn": "ERC20.transferFrom", "offset": [ 4999, 5008 ], "op": "PUSH2", "path": "11", "value": "0x6AA" }, "951": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 4999, 5035 ], "op": "JUMP", "path": "11" }, "952": { "fn": "ERC20.transferFrom", "offset": [ 4999, 5035 ], "op": "JUMPDEST", "path": "11" }, "953": { "fn": "ERC20.transferFrom", "offset": [ 5045, 5166 ], "op": "PUSH2", "path": "11", "statement": 5, "value": "0x428" }, "956": { "fn": "ERC20.transferFrom", "offset": [ 5054, 5060 ], "op": "DUP5", "path": "11" }, "957": { "fn": "ERC20.transferFrom", "offset": [ 5062, 5074 ], "op": "PUSH2", "path": "11", "value": "0x3C4" }, "960": { "fn": "ERC20.transferFrom", "offset": [ 5062, 5072 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "963": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5062, 5074 ], "op": "JUMP", "path": "11" }, "964": { "fn": "ERC20.transferFrom", "offset": [ 5062, 5074 ], "op": "JUMPDEST", "path": "11" }, "965": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH2", "path": "11", "value": "0x423" }, "968": { "fn": "ERC20.transferFrom", "offset": [ 5114, 5120 ], "op": "DUP6", "path": "11" }, "969": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "971": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "MLOAD", "path": "11" }, "972": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "DUP1", "path": "11" }, "973": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "975": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "ADD", "path": "11" }, "976": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "978": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "MSTORE", "path": "11" }, "979": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "DUP1", "path": "11" }, "980": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x28" }, "982": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "DUP2", "path": "11" }, "983": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "MSTORE", "path": "11" }, "984": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "986": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "ADD", "path": "11" }, "987": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH2", "path": "11", "value": "0xA5E" }, "990": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "PUSH1", "path": "11", "value": "0x28" }, "992": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "SWAP2", "path": "11" }, "993": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "CODECOPY", "path": "11" }, "994": { "op": "PUSH1", "value": "0x1" }, "996": { "op": "PUSH1", "value": "0x1" }, "998": { "op": "PUSH1", "value": "0xA0" }, "1000": { "op": "SHL" }, "1001": { "op": "SUB" }, "1002": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "DUP11", "path": "11" }, "1003": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "AND", "path": "11" }, "1004": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1006": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "SWAP1", "path": "11" }, "1007": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "DUP2", "path": "11" }, "1008": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "MSTORE", "path": "11" }, "1009": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5087 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1011": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1013": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "MSTORE", "path": "11" }, "1014": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1016": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "DUP2", "path": "11" }, "1017": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "KECCAK256", "path": "11" }, "1018": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5095 ], "op": "SWAP1", "path": "11" }, "1019": { "fn": "ERC20.transferFrom", "offset": [ 5096, 5108 ], "op": "PUSH2", "path": "11", "value": "0x402" }, "1022": { "fn": "ERC20.transferFrom", "offset": [ 5096, 5106 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1025": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5096, 5108 ], "op": "JUMP", "path": "11" }, "1026": { "fn": "ERC20.transferFrom", "offset": [ 5096, 5108 ], "op": "JUMPDEST", "path": "11" }, "1027": { "op": "PUSH1", "value": "0x1" }, "1029": { "op": "PUSH1", "value": "0x1" }, "1031": { "op": "PUSH1", "value": "0xA0" }, "1033": { "op": "SHL" }, "1034": { "op": "SUB" }, "1035": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "AND", "path": "11" }, "1036": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "DUP2", "path": "11" }, "1037": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "MSTORE", "path": "11" }, "1038": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1040": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "DUP2", "path": "11" }, "1041": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "ADD", "path": "11" }, "1042": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "SWAP2", "path": "11" }, "1043": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "SWAP1", "path": "11" }, "1044": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "SWAP2", "path": "11" }, "1045": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "MSTORE", "path": "11" }, "1046": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1048": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "ADD", "path": "11" }, "1049": { "op": "PUSH1", "value": "0x0" }, "1051": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "KECCAK256", "path": "11" }, "1052": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "SLOAD", "path": "11" }, "1053": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5109 ], "op": "SWAP2", "path": "11" }, "1054": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "SWAP1", "path": "11" }, "1055": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5113 ], "op": "PUSH2", "path": "11", "value": "0x805" }, "1058": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5076, 5165 ], "op": "JUMP", "path": "11" }, "1059": { "fn": "ERC20.transferFrom", "offset": [ 5076, 5165 ], "op": "JUMPDEST", "path": "11" }, "1060": { "fn": "ERC20.transferFrom", "offset": [ 5045, 5053 ], "op": "PUSH2", "path": "11", "value": "0x5BE" }, "1063": { "fn": "ERC20.transferFrom", "jump": "i", "offset": [ 5045, 5166 ], "op": "JUMP", "path": "11" }, "1064": { "fn": "ERC20.transferFrom", "offset": [ 5045, 5166 ], "op": "JUMPDEST", "path": "11" }, "1065": { "op": "POP" }, "1066": { "fn": "ERC20.transferFrom", "offset": [ 5183, 5187 ], "op": "PUSH1", "path": "11", "statement": 6, "value": "0x1" }, "1068": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP4", "path": "11" }, "1069": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "SWAP3", "path": "11" }, "1070": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "POP", "path": "11" }, "1071": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "POP", "path": "11" }, "1072": { "fn": "ERC20.transferFrom", "offset": [ 4877, 5194 ], "op": "POP", "path": "11" }, "1073": { "fn": "ERC20.transferFrom", "jump": "o", "offset": [ 4877, 5194 ], "op": "JUMP", "path": "11" }, "1074": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "JUMPDEST", "path": "11" }, "1075": { "fn": "ERC20.decimals", "offset": [ 3159, 3168 ], "op": "PUSH1", "path": "11", "statement": 7, "value": "0x5" }, "1077": { "fn": "ERC20.decimals", "offset": [ 3159, 3168 ], "op": "SLOAD", "path": "11" }, "1078": { "fn": "ERC20.decimals", "offset": [ 3159, 3168 ], "op": "PUSH1", "path": "11", "value": "0xFF" }, "1080": { "fn": "ERC20.decimals", "offset": [ 3159, 3168 ], "op": "AND", "path": "11" }, "1081": { "fn": "ERC20.decimals", "offset": [ 3086, 3175 ], "op": "SWAP1", "path": "11" }, "1082": { "fn": "ERC20.decimals", "jump": "o", "offset": [ 3086, 3175 ], "op": "JUMP", "path": "11" }, "1083": { "fn": "ERC20.increaseAllowance", "offset": [ 5589, 5804 ], "op": "JUMPDEST", "path": "11" }, "1084": { "fn": "ERC20.increaseAllowance", "offset": [ 5677, 5681 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1086": { "fn": "ERC20.increaseAllowance", "offset": [ 5693, 5776 ], "op": "PUSH2", "path": "11", "statement": 8, "value": "0x39C" }, "1089": { "fn": "ERC20.increaseAllowance", "offset": [ 5702, 5714 ], "op": "PUSH2", "path": "11", "value": "0x448" }, "1092": { "fn": "ERC20.increaseAllowance", "offset": [ 5702, 5712 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1095": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5702, 5714 ], "op": "JUMP", "path": "11" }, "1096": { "fn": "ERC20.increaseAllowance", "offset": [ 5702, 5714 ], "op": "JUMPDEST", "path": "11" }, "1097": { "fn": "ERC20.increaseAllowance", "offset": [ 5716, 5723 ], "op": "DUP5", "path": "11" }, "1098": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5775 ], "op": "PUSH2", "path": "11", "value": "0x423" }, "1101": { "fn": "ERC20.increaseAllowance", "offset": [ 5764, 5774 ], "op": "DUP6", "path": "11" }, "1102": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5736 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1104": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1106": { "fn": "ERC20.increaseAllowance", "offset": [ 5737, 5749 ], "op": "PUSH2", "path": "11", "value": "0x459" }, "1109": { "fn": "ERC20.increaseAllowance", "offset": [ 5737, 5747 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1112": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5737, 5749 ], "op": "JUMP", "path": "11" }, "1113": { "fn": "ERC20.increaseAllowance", "offset": [ 5737, 5749 ], "op": "JUMPDEST", "path": "11" }, "1114": { "op": "PUSH1", "value": "0x1" }, "1116": { "op": "PUSH1", "value": "0x1" }, "1118": { "op": "PUSH1", "value": "0xA0" }, "1120": { "op": "SHL" }, "1121": { "op": "SUB" }, "1122": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP1", "path": "11" }, "1123": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP2", "path": "11" }, "1124": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "AND", "path": "11" }, "1125": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP3", "path": "11" }, "1126": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "MSTORE", "path": "11" }, "1127": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1129": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP1", "path": "11" }, "1130": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP4", "path": "11" }, "1131": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "ADD", "path": "11" }, "1132": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP4", "path": "11" }, "1133": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP1", "path": "11" }, "1134": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP4", "path": "11" }, "1135": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "MSTORE", "path": "11" }, "1136": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1138": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP2", "path": "11" }, "1139": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP3", "path": "11" }, "1140": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "ADD", "path": "11" }, "1141": { "op": "PUSH1", "value": "0x0" }, "1143": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "SWAP1", "path": "11" }, "1144": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "DUP2", "path": "11" }, "1145": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5750 ], "op": "KECCAK256", "path": "11" }, "1146": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "SWAP2", "path": "11" }, "1147": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "DUP13", "path": "11" }, "1148": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "AND", "path": "11" }, "1149": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "DUP2", "path": "11" }, "1150": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "MSTORE", "path": "11" }, "1151": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "SWAP3", "path": "11" }, "1152": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "MSTORE", "path": "11" }, "1153": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "SWAP1", "path": "11" }, "1154": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "KECCAK256", "path": "11" }, "1155": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "SLOAD", "path": "11" }, "1156": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5759 ], "op": "SWAP1", "path": "11" }, "1157": { "fn": "ERC20.increaseAllowance", "offset": [ 5725, 5763 ], "op": "PUSH2", "path": "11", "value": "0x89C" }, "1160": { "fn": "ERC20.increaseAllowance", "jump": "i", "offset": [ 5725, 5775 ], "op": "JUMP", "path": "11" }, "1161": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "JUMPDEST", "path": "24" }, "1162": { "fn": "MockERC20.mint", "offset": [ 346, 363 ], "op": "PUSH2", "path": "24", "statement": 9, "value": "0x493" }, "1165": { "fn": "MockERC20.mint", "offset": [ 352, 354 ], "op": "DUP3", "path": "24" }, "1166": { "fn": "MockERC20.mint", "offset": [ 356, 362 ], "op": "DUP3", "path": "24" }, "1167": { "fn": "MockERC20.mint", "offset": [ 346, 351 ], "op": "PUSH2", "path": "24", "value": "0x8FD" }, "1170": { "fn": "MockERC20.mint", "jump": "i", "offset": [ 346, 363 ], "op": "JUMP", "path": "24" }, "1171": { "fn": "MockERC20.mint", "offset": [ 346, 363 ], "op": "JUMPDEST", "path": "24" }, "1172": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "POP", "path": "24" }, "1173": { "fn": "MockERC20.mint", "offset": [ 294, 368 ], "op": "POP", "path": "24" }, "1174": { "fn": "MockERC20.mint", "jump": "o", "offset": [ 294, 368 ], "op": "JUMP", "path": "24" }, "1175": { "fn": "ERC20.balanceOf", "offset": [ 3399, 3524 ], "op": "JUMPDEST", "path": "11" }, "1176": { "op": "PUSH1", "value": "0x1" }, "1178": { "op": "PUSH1", "value": "0x1" }, "1180": { "op": "PUSH1", "value": "0xA0" }, "1182": { "op": "SHL" }, "1183": { "op": "SUB" }, "1184": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "AND", "path": "11", "statement": 10 }, "1185": { "fn": "ERC20.balanceOf", "offset": [ 3473, 3480 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1187": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "SWAP1", "path": "11" }, "1188": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "DUP2", "path": "11" }, "1189": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "MSTORE", "path": "11" }, "1190": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1192": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "DUP2", "path": "11" }, "1193": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "SWAP1", "path": "11" }, "1194": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "MSTORE", "path": "11" }, "1195": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1197": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "SWAP1", "path": "11" }, "1198": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "KECCAK256", "path": "11" }, "1199": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "SLOAD", "path": "11" }, "1200": { "fn": "ERC20.balanceOf", "offset": [ 3499, 3517 ], "op": "SWAP1", "path": "11" }, "1201": { "fn": "ERC20.balanceOf", "jump": "o", "offset": [ 3399, 3524 ], "op": "JUMP", "path": "11" }, "1202": { "fn": "ERC20.symbol", "offset": [ 2370, 2463 ], "op": "JUMPDEST", "path": "11" }, "1203": { "fn": "ERC20.symbol", "offset": [ 2449, 2456 ], "op": "PUSH1", "path": "11", "statement": 11, "value": "0x4" }, "1205": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP1", "path": "11" }, "1206": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SLOAD", "path": "11" }, "1207": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1209": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP1", "path": "11" }, "1210": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MLOAD", "path": "11" }, "1211": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1213": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "1215": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x2" }, "1217": { "op": "PUSH1", "value": "0x0" }, "1219": { "op": "NOT" }, "1220": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH2", "path": "11", "value": "0x100" }, "1223": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1225": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP9", "path": "11" }, "1226": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "AND", "path": "11" }, "1227": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ISZERO", "path": "11" }, "1228": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MUL", "path": "11" }, "1229": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1230": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP1", "path": "11" }, "1231": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP6", "path": "11" }, "1232": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "AND", "path": "11" }, "1233": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP5", "path": "11" }, "1234": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP1", "path": "11" }, "1235": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP5", "path": "11" }, "1236": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DIV", "path": "11" }, "1237": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP4", "path": "11" }, "1238": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP5", "path": "11" }, "1239": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1240": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP2", "path": "11" }, "1241": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP1", "path": "11" }, "1242": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DIV", "path": "11" }, "1243": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP2", "path": "11" }, "1244": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MUL", "path": "11" }, "1245": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP3", "path": "11" }, "1246": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1247": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP2", "path": "11" }, "1248": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1249": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP1", "path": "11" }, "1250": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP3", "path": "11" }, "1251": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MSTORE", "path": "11" }, "1252": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP3", "path": "11" }, "1253": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP2", "path": "11" }, "1254": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MSTORE", "path": "11" }, "1255": { "fn": "ERC20.symbol", "offset": [ 2417, 2430 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "1257": { "fn": "ERC20.symbol", "offset": [ 2417, 2430 ], "op": "SWAP4", "path": "11" }, "1258": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP1", "path": "11" }, "1259": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP3", "path": "11" }, "1260": { "fn": "ERC20.symbol", "offset": [ 2449, 2456 ], "op": "SWAP1", "path": "11" }, "1261": { "fn": "ERC20.symbol", "offset": [ 2449, 2456 ], "op": "SWAP2", "path": "11" }, "1262": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP4", "path": "11" }, "1263": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1264": { "fn": "ERC20.symbol", "offset": [ 2449, 2456 ], "op": "DUP3", "path": "11" }, "1265": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP3", "path": "11" }, "1266": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP1", "path": "11" }, "1267": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ISZERO", "path": "11" }, "1268": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH2", "path": "11", "value": "0x37E" }, "1271": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "JUMPI", "path": "11" }, "1272": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP1", "path": "11" }, "1273": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "1275": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "LT", "path": "11" }, "1276": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH2", "path": "11", "value": "0x353" }, "1279": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "JUMPI", "path": "11" }, "1280": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH2", "path": "11", "value": "0x100" }, "1283": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP1", "path": "11" }, "1284": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP4", "path": "11" }, "1285": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SLOAD", "path": "11" }, "1286": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DIV", "path": "11" }, "1287": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MUL", "path": "11" }, "1288": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "DUP4", "path": "11" }, "1289": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "MSTORE", "path": "11" }, "1290": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP2", "path": "11" }, "1291": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1293": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "ADD", "path": "11" }, "1294": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "SWAP2", "path": "11" }, "1295": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "PUSH2", "path": "11", "value": "0x37E" }, "1298": { "fn": "ERC20.symbol", "offset": [ 2442, 2456 ], "op": "JUMP", "path": "11" }, "1299": { "fn": "ERC20.decreaseAllowance", "offset": [ 6291, 6557 ], "op": "JUMPDEST", "path": "11" }, "1300": { "fn": "ERC20.decreaseAllowance", "offset": [ 6384, 6388 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1302": { "fn": "ERC20.decreaseAllowance", "offset": [ 6400, 6529 ], "op": "PUSH2", "path": "11", "statement": 12, "value": "0x39C" }, "1305": { "fn": "ERC20.decreaseAllowance", "offset": [ 6409, 6421 ], "op": "PUSH2", "path": "11", "value": "0x520" }, "1308": { "fn": "ERC20.decreaseAllowance", "offset": [ 6409, 6419 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1311": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6409, 6421 ], "op": "JUMP", "path": "11" }, "1312": { "fn": "ERC20.decreaseAllowance", "offset": [ 6409, 6421 ], "op": "JUMPDEST", "path": "11" }, "1313": { "fn": "ERC20.decreaseAllowance", "offset": [ 6423, 6430 ], "op": "DUP5", "path": "11" }, "1314": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH2", "path": "11", "value": "0x423" }, "1317": { "fn": "ERC20.decreaseAllowance", "offset": [ 6471, 6486 ], "op": "DUP6", "path": "11" }, "1318": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1320": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "MLOAD", "path": "11" }, "1321": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "DUP1", "path": "11" }, "1322": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "1324": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "ADD", "path": "11" }, "1325": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1327": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "MSTORE", "path": "11" }, "1328": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "DUP1", "path": "11" }, "1329": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x25" }, "1331": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "DUP2", "path": "11" }, "1332": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "MSTORE", "path": "11" }, "1333": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1335": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "ADD", "path": "11" }, "1336": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH2", "path": "11", "value": "0xACF" }, "1339": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "PUSH1", "path": "11", "value": "0x25" }, "1341": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "SWAP2", "path": "11" }, "1342": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "CODECOPY", "path": "11" }, "1343": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6443 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1345": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1347": { "fn": "ERC20.decreaseAllowance", "offset": [ 6444, 6456 ], "op": "PUSH2", "path": "11", "value": "0x54A" }, "1350": { "fn": "ERC20.decreaseAllowance", "offset": [ 6444, 6454 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1353": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6444, 6456 ], "op": "JUMP", "path": "11" }, "1354": { "fn": "ERC20.decreaseAllowance", "offset": [ 6444, 6456 ], "op": "JUMPDEST", "path": "11" }, "1355": { "op": "PUSH1", "value": "0x1" }, "1357": { "op": "PUSH1", "value": "0x1" }, "1359": { "op": "PUSH1", "value": "0xA0" }, "1361": { "op": "SHL" }, "1362": { "op": "SUB" }, "1363": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP1", "path": "11" }, "1364": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP2", "path": "11" }, "1365": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "AND", "path": "11" }, "1366": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP3", "path": "11" }, "1367": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "MSTORE", "path": "11" }, "1368": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1370": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP1", "path": "11" }, "1371": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP4", "path": "11" }, "1372": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "ADD", "path": "11" }, "1373": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP4", "path": "11" }, "1374": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP1", "path": "11" }, "1375": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP4", "path": "11" }, "1376": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "MSTORE", "path": "11" }, "1377": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1379": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP2", "path": "11" }, "1380": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP3", "path": "11" }, "1381": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "ADD", "path": "11" }, "1382": { "op": "PUSH1", "value": "0x0" }, "1384": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "SWAP1", "path": "11" }, "1385": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "DUP2", "path": "11" }, "1386": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6457 ], "op": "KECCAK256", "path": "11" }, "1387": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "SWAP2", "path": "11" }, "1388": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "DUP14", "path": "11" }, "1389": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "AND", "path": "11" }, "1390": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "DUP2", "path": "11" }, "1391": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "MSTORE", "path": "11" }, "1392": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "SWAP3", "path": "11" }, "1393": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "MSTORE", "path": "11" }, "1394": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "SWAP1", "path": "11" }, "1395": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "KECCAK256", "path": "11" }, "1396": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "SLOAD", "path": "11" }, "1397": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6466 ], "op": "SWAP2", "path": "11" }, "1398": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6528 ], "op": "SWAP1", "path": "11" }, "1399": { "fn": "ERC20.decreaseAllowance", "offset": [ 6432, 6470 ], "op": "PUSH2", "path": "11", "value": "0x805" }, "1402": { "fn": "ERC20.decreaseAllowance", "jump": "i", "offset": [ 6432, 6528 ], "op": "JUMP", "path": "11" }, "1403": { "fn": "ERC20.transfer", "offset": [ 3727, 3899 ], "op": "JUMPDEST", "path": "11" }, "1404": { "fn": "ERC20.transfer", "offset": [ 3813, 3817 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1406": { "fn": "ERC20.transfer", "offset": [ 3829, 3871 ], "op": "PUSH2", "path": "11", "statement": 13, "value": "0x39C" }, "1409": { "fn": "ERC20.transfer", "offset": [ 3839, 3851 ], "op": "PUSH2", "path": "11", "value": "0x588" }, "1412": { "fn": "ERC20.transfer", "offset": [ 3839, 3849 ], "op": "PUSH2", "path": "11", "value": "0x5BA" }, "1415": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3839, 3851 ], "op": "JUMP", "path": "11" }, "1416": { "fn": "ERC20.transfer", "offset": [ 3839, 3851 ], "op": "JUMPDEST", "path": "11" }, "1417": { "fn": "ERC20.transfer", "offset": [ 3853, 3862 ], "op": "DUP5", "path": "11" }, "1418": { "fn": "ERC20.transfer", "offset": [ 3864, 3870 ], "op": "DUP5", "path": "11" }, "1419": { "fn": "ERC20.transfer", "offset": [ 3829, 3838 ], "op": "PUSH2", "path": "11", "value": "0x6AA" }, "1422": { "fn": "ERC20.transfer", "jump": "i", "offset": [ 3829, 3871 ], "op": "JUMP", "path": "11" }, "1423": { "fn": "ERC20.allowance", "offset": [ 3957, 4106 ], "op": "JUMPDEST", "path": "11" }, "1424": { "op": "PUSH1", "value": "0x1" }, "1426": { "op": "PUSH1", "value": "0x1" }, "1428": { "op": "PUSH1", "value": "0xA0" }, "1430": { "op": "SHL" }, "1431": { "op": "SUB" }, "1432": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "SWAP2", "path": "11", "statement": 14 }, "1433": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "DUP3", "path": "11" }, "1434": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "AND", "path": "11" }, "1435": { "fn": "ERC20.allowance", "offset": [ 4046, 4053 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1437": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "SWAP1", "path": "11" }, "1438": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "DUP2", "path": "11" }, "1439": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "MSTORE", "path": "11" }, "1440": { "fn": "ERC20.allowance", "offset": [ 4072, 4083 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1442": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1444": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "SWAP1", "path": "11" }, "1445": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "DUP2", "path": "11" }, "1446": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "MSTORE", "path": "11" }, "1447": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1449": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "DUP1", "path": "11" }, "1450": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "DUP4", "path": "11" }, "1451": { "fn": "ERC20.allowance", "offset": [ 4072, 4090 ], "op": "KECCAK256", "path": "11" }, "1452": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP4", "path": "11" }, "1453": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP1", "path": "11" }, "1454": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP5", "path": "11" }, "1455": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "AND", "path": "11" }, "1456": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "DUP3", "path": "11" }, "1457": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "MSTORE", "path": "11" }, "1458": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP2", "path": "11" }, "1459": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP1", "path": "11" }, "1460": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP2", "path": "11" }, "1461": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "MSTORE", "path": "11" }, "1462": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "KECCAK256", "path": "11" }, "1463": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SLOAD", "path": "11" }, "1464": { "fn": "ERC20.allowance", "offset": [ 4072, 4099 ], "op": "SWAP1", "path": "11" }, "1465": { "fn": "ERC20.allowance", "jump": "o", "offset": [ 3957, 4106 ], "op": "JUMP", "path": "11" }, "1466": { "fn": "Context._msgSender", "offset": [ 598, 702 ], "op": "JUMPDEST", "path": "15" }, "1467": { "fn": "Context._msgSender", "offset": [ 685, 695 ], "op": "CALLER", "path": "15", "statement": 15 }, "1468": { "fn": "Context._msgSender", "offset": [ 598, 702 ], "op": "SWAP1", "path": "15" }, "1469": { "fn": "Context._msgSender", "jump": "o", "offset": [ 598, 702 ], "op": "JUMP", "path": "15" }, "1470": { "fn": "ERC20._approve", "offset": [ 9355, 9695 ], "op": "JUMPDEST", "path": "11" }, "1471": { "op": "PUSH1", "value": "0x1" }, "1473": { "op": "PUSH1", "value": "0x1" }, "1475": { "op": "PUSH1", "value": "0xA0" }, "1477": { "op": "SHL" }, "1478": { "op": "SUB" }, "1479": { "fn": "ERC20._approve", "offset": [ 9456, 9475 ], "op": "DUP4", "path": "11", "statement": 16 }, "1480": { "branch": 35, "fn": "ERC20._approve", "offset": [ 9456, 9475 ], "op": "AND", "path": "11" }, "1481": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH2", "path": "11", "value": "0x603" }, "1484": { "branch": 35, "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "JUMPI", "path": "11" }, "1485": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1487": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "MLOAD", "path": "11" }, "1488": { "op": "PUSH3", "value": "0x461BCD" }, "1492": { "op": "PUSH1", "value": "0xE5" }, "1494": { "op": "SHL" }, "1495": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP2", "path": "11" }, "1496": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "MSTORE", "path": "11" }, "1497": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "1499": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "ADD", "path": "11" }, "1500": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP1", "path": "11" }, "1501": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP1", "path": "11" }, "1502": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1504": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "ADD", "path": "11" }, "1505": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP3", "path": "11" }, "1506": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP2", "path": "11" }, "1507": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SUB", "path": "11" }, "1508": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP3", "path": "11" }, "1509": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "MSTORE", "path": "11" }, "1510": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x24" }, "1512": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP2", "path": "11" }, "1513": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "MSTORE", "path": "11" }, "1514": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1516": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "ADD", "path": "11" }, "1517": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP1", "path": "11" }, "1518": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH2", "path": "11", "value": "0xAAB" }, "1521": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x24" }, "1523": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SWAP2", "path": "11" }, "1524": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "CODECOPY", "path": "11" }, "1525": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1527": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "ADD", "path": "11" }, "1528": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SWAP2", "path": "11" }, "1529": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "POP", "path": "11" }, "1530": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "POP", "path": "11" }, "1531": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1533": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "MLOAD", "path": "11" }, "1534": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "DUP1", "path": "11" }, "1535": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SWAP2", "path": "11" }, "1536": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SUB", "path": "11" }, "1537": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "SWAP1", "path": "11" }, "1538": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "REVERT", "path": "11" }, "1539": { "fn": "ERC20._approve", "offset": [ 9448, 9516 ], "op": "JUMPDEST", "path": "11" }, "1540": { "op": "PUSH1", "value": "0x1" }, "1542": { "op": "PUSH1", "value": "0x1" }, "1544": { "op": "PUSH1", "value": "0xA0" }, "1546": { "op": "SHL" }, "1547": { "op": "SUB" }, "1548": { "fn": "ERC20._approve", "offset": [ 9534, 9555 ], "op": "DUP3", "path": "11", "statement": 17 }, "1549": { "branch": 36, "fn": "ERC20._approve", "offset": [ 9534, 9555 ], "op": "AND", "path": "11" }, "1550": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH2", "path": "11", "value": "0x648" }, "1553": { "branch": 36, "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "JUMPI", "path": "11" }, "1554": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1556": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "MLOAD", "path": "11" }, "1557": { "op": "PUSH3", "value": "0x461BCD" }, "1561": { "op": "PUSH1", "value": "0xE5" }, "1563": { "op": "SHL" }, "1564": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP2", "path": "11" }, "1565": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "MSTORE", "path": "11" }, "1566": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "1568": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "ADD", "path": "11" }, "1569": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP1", "path": "11" }, "1570": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP1", "path": "11" }, "1571": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1573": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "ADD", "path": "11" }, "1574": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP3", "path": "11" }, "1575": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP2", "path": "11" }, "1576": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SUB", "path": "11" }, "1577": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP3", "path": "11" }, "1578": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "MSTORE", "path": "11" }, "1579": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x22" }, "1581": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP2", "path": "11" }, "1582": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "MSTORE", "path": "11" }, "1583": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1585": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "ADD", "path": "11" }, "1586": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP1", "path": "11" }, "1587": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH2", "path": "11", "value": "0xA16" }, "1590": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x22" }, "1592": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SWAP2", "path": "11" }, "1593": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "CODECOPY", "path": "11" }, "1594": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1596": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "ADD", "path": "11" }, "1597": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SWAP2", "path": "11" }, "1598": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "POP", "path": "11" }, "1599": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "POP", "path": "11" }, "1600": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1602": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "MLOAD", "path": "11" }, "1603": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "DUP1", "path": "11" }, "1604": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SWAP2", "path": "11" }, "1605": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SUB", "path": "11" }, "1606": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "SWAP1", "path": "11" }, "1607": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "REVERT", "path": "11" }, "1608": { "fn": "ERC20._approve", "offset": [ 9526, 9594 ], "op": "JUMPDEST", "path": "11" }, "1609": { "op": "PUSH1", "value": "0x1" }, "1611": { "op": "PUSH1", "value": "0x1" }, "1613": { "op": "PUSH1", "value": "0xA0" }, "1615": { "op": "SHL" }, "1616": { "op": "SUB" }, "1617": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP1", "path": "11", "statement": 18 }, "1618": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP5", "path": "11" }, "1619": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "AND", "path": "11" }, "1620": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1622": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP2", "path": "11" }, "1623": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP2", "path": "11" }, "1624": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "MSTORE", "path": "11" }, "1625": { "fn": "ERC20._approve", "offset": [ 9605, 9616 ], "op": "PUSH1", "path": "11", "value": "0x1" }, "1627": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1629": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "SWAP1", "path": "11" }, "1630": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP2", "path": "11" }, "1631": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "MSTORE", "path": "11" }, "1632": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1634": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP1", "path": "11" }, "1635": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "DUP4", "path": "11" }, "1636": { "fn": "ERC20._approve", "offset": [ 9605, 9623 ], "op": "KECCAK256", "path": "11" }, "1637": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "SWAP5", "path": "11" }, "1638": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "DUP8", "path": "11" }, "1639": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "AND", "path": "11" }, "1640": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "DUP1", "path": "11" }, "1641": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "DUP5", "path": "11" }, "1642": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "MSTORE", "path": "11" }, "1643": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "SWAP5", "path": "11" }, "1644": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "DUP3", "path": "11" }, "1645": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "MSTORE", "path": "11" }, "1646": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "SWAP2", "path": "11" }, "1647": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "DUP3", "path": "11" }, "1648": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "SWAP1", "path": "11" }, "1649": { "fn": "ERC20._approve", "offset": [ 9605, 9632 ], "op": "KECCAK256", "path": "11" }, "1650": { "fn": "ERC20._approve", "offset": [ 9605, 9641 ], "op": "DUP6", "path": "11" }, "1651": { "fn": "ERC20._approve", "offset": [ 9605, 9641 ], "op": "SWAP1", "path": "11" }, "1652": { "fn": "ERC20._approve", "offset": [ 9605, 9641 ], "op": "SSTORE", "path": "11" }, "1653": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "DUP2", "path": "11", "statement": 19 }, "1654": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "MLOAD", "path": "11" }, "1655": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "DUP6", "path": "11" }, "1656": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "DUP2", "path": "11" }, "1657": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "MSTORE", "path": "11" }, "1658": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP2", "path": "11" }, "1659": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "MLOAD", "path": "11" }, "1660": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "PUSH32", "path": "11", "value": "0x8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925" }, "1693": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP3", "path": "11" }, "1694": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "DUP2", "path": "11" }, "1695": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP1", "path": "11" }, "1696": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SUB", "path": "11" }, "1697": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP1", "path": "11" }, "1698": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP2", "path": "11" }, "1699": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "ADD", "path": "11" }, "1700": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "SWAP1", "path": "11" }, "1701": { "fn": "ERC20._approve", "offset": [ 9656, 9688 ], "op": "LOG3", "path": "11" }, "1702": { "fn": "ERC20._approve", "offset": [ 9355, 9695 ], "op": "POP", "path": "11" }, "1703": { "fn": "ERC20._approve", "offset": [ 9355, 9695 ], "op": "POP", "path": "11" }, "1704": { "fn": "ERC20._approve", "offset": [ 9355, 9695 ], "op": "POP", "path": "11" }, "1705": { "fn": "ERC20._approve", "jump": "o", "offset": [ 9355, 9695 ], "op": "JUMP", "path": "11" }, "1706": { "fn": "ERC20._transfer", "offset": [ 7031, 7561 ], "op": "JUMPDEST", "path": "11" }, "1707": { "op": "PUSH1", "value": "0x1" }, "1709": { "op": "PUSH1", "value": "0x1" }, "1711": { "op": "PUSH1", "value": "0xA0" }, "1713": { "op": "SHL" }, "1714": { "op": "SUB" }, "1715": { "fn": "ERC20._transfer", "offset": [ 7136, 7156 ], "op": "DUP4", "path": "11", "statement": 20 }, "1716": { "branch": 37, "fn": "ERC20._transfer", "offset": [ 7136, 7156 ], "op": "AND", "path": "11" }, "1717": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH2", "path": "11", "value": "0x6EF" }, "1720": { "branch": 37, "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "JUMPI", "path": "11" }, "1721": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1723": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "MLOAD", "path": "11" }, "1724": { "op": "PUSH3", "value": "0x461BCD" }, "1728": { "op": "PUSH1", "value": "0xE5" }, "1730": { "op": "SHL" }, "1731": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP2", "path": "11" }, "1732": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "MSTORE", "path": "11" }, "1733": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "1735": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "ADD", "path": "11" }, "1736": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP1", "path": "11" }, "1737": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP1", "path": "11" }, "1738": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1740": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "ADD", "path": "11" }, "1741": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP3", "path": "11" }, "1742": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP2", "path": "11" }, "1743": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SUB", "path": "11" }, "1744": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP3", "path": "11" }, "1745": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "MSTORE", "path": "11" }, "1746": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x25" }, "1748": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP2", "path": "11" }, "1749": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "MSTORE", "path": "11" }, "1750": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1752": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "ADD", "path": "11" }, "1753": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP1", "path": "11" }, "1754": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH2", "path": "11", "value": "0xA86" }, "1757": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x25" }, "1759": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SWAP2", "path": "11" }, "1760": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "CODECOPY", "path": "11" }, "1761": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1763": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "ADD", "path": "11" }, "1764": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SWAP2", "path": "11" }, "1765": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "POP", "path": "11" }, "1766": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "POP", "path": "11" }, "1767": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1769": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "MLOAD", "path": "11" }, "1770": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "DUP1", "path": "11" }, "1771": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SWAP2", "path": "11" }, "1772": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SUB", "path": "11" }, "1773": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "SWAP1", "path": "11" }, "1774": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "REVERT", "path": "11" }, "1775": { "fn": "ERC20._transfer", "offset": [ 7128, 7198 ], "op": "JUMPDEST", "path": "11" }, "1776": { "op": "PUSH1", "value": "0x1" }, "1778": { "op": "PUSH1", "value": "0x1" }, "1780": { "op": "PUSH1", "value": "0xA0" }, "1782": { "op": "SHL" }, "1783": { "op": "SUB" }, "1784": { "fn": "ERC20._transfer", "offset": [ 7216, 7239 ], "op": "DUP3", "path": "11", "statement": 21 }, "1785": { "branch": 38, "fn": "ERC20._transfer", "offset": [ 7216, 7239 ], "op": "AND", "path": "11" }, "1786": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH2", "path": "11", "value": "0x734" }, "1789": { "branch": 38, "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "JUMPI", "path": "11" }, "1790": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1792": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "MLOAD", "path": "11" }, "1793": { "op": "PUSH3", "value": "0x461BCD" }, "1797": { "op": "PUSH1", "value": "0xE5" }, "1799": { "op": "SHL" }, "1800": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP2", "path": "11" }, "1801": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "MSTORE", "path": "11" }, "1802": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "1804": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "ADD", "path": "11" }, "1805": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP1", "path": "11" }, "1806": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP1", "path": "11" }, "1807": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1809": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "ADD", "path": "11" }, "1810": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP3", "path": "11" }, "1811": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP2", "path": "11" }, "1812": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SUB", "path": "11" }, "1813": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP3", "path": "11" }, "1814": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "MSTORE", "path": "11" }, "1815": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x23" }, "1817": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP2", "path": "11" }, "1818": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "MSTORE", "path": "11" }, "1819": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1821": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "ADD", "path": "11" }, "1822": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP1", "path": "11" }, "1823": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH2", "path": "11", "value": "0x9F3" }, "1826": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x23" }, "1828": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SWAP2", "path": "11" }, "1829": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "CODECOPY", "path": "11" }, "1830": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1832": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "ADD", "path": "11" }, "1833": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SWAP2", "path": "11" }, "1834": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "POP", "path": "11" }, "1835": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "POP", "path": "11" }, "1836": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1838": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "MLOAD", "path": "11" }, "1839": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "DUP1", "path": "11" }, "1840": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SWAP2", "path": "11" }, "1841": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SUB", "path": "11" }, "1842": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "SWAP1", "path": "11" }, "1843": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "REVERT", "path": "11" }, "1844": { "fn": "ERC20._transfer", "offset": [ 7208, 7279 ], "op": "JUMPDEST", "path": "11" }, "1845": { "fn": "ERC20._transfer", "offset": [ 7290, 7337 ], "op": "PUSH2", "path": "11", "statement": 22, "value": "0x73F" }, "1848": { "fn": "ERC20._transfer", "offset": [ 7311, 7317 ], "op": "DUP4", "path": "11" }, "1849": { "fn": "ERC20._transfer", "offset": [ 7319, 7328 ], "op": "DUP4", "path": "11" }, "1850": { "fn": "ERC20._transfer", "offset": [ 7330, 7336 ], "op": "DUP4", "path": "11" }, "1851": { "fn": "ERC20._transfer", "offset": [ 7290, 7310 ], "op": "PUSH2", "path": "11", "value": "0x9ED" }, "1854": { "fn": "ERC20._transfer", "jump": "i", "offset": [ 7290, 7337 ], "op": "JUMP", "path": "11" }, "1855": { "fn": "ERC20._transfer", "offset": [ 7290, 7337 ], "op": "JUMPDEST", "path": "11" }, "1856": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH2", "path": "11", "statement": 23, "value": "0x77C" }, "1859": { "fn": "ERC20._transfer", "offset": [ 7390, 7396 ], "op": "DUP2", "path": "11" }, "1860": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1862": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "MLOAD", "path": "11" }, "1863": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "DUP1", "path": "11" }, "1864": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x60" }, "1866": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "ADD", "path": "11" }, "1867": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1869": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "MSTORE", "path": "11" }, "1870": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "DUP1", "path": "11" }, "1871": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x26" }, "1873": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "DUP2", "path": "11" }, "1874": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "MSTORE", "path": "11" }, "1875": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1877": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "ADD", "path": "11" }, "1878": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH2", "path": "11", "value": "0xA38" }, "1881": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "PUSH1", "path": "11", "value": "0x26" }, "1883": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "SWAP2", "path": "11" }, "1884": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "CODECOPY", "path": "11" }, "1885": { "op": "PUSH1", "value": "0x1" }, "1887": { "op": "PUSH1", "value": "0x1" }, "1889": { "op": "PUSH1", "value": "0xA0" }, "1891": { "op": "SHL" }, "1892": { "op": "SUB" }, "1893": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "DUP7", "path": "11" }, "1894": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "AND", "path": "11" }, "1895": { "fn": "ERC20._transfer", "offset": [ 7368, 7377 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1897": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "SWAP1", "path": "11" }, "1898": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "DUP2", "path": "11" }, "1899": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "MSTORE", "path": "11" }, "1900": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1902": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "DUP2", "path": "11" }, "1903": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "SWAP1", "path": "11" }, "1904": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "MSTORE", "path": "11" }, "1905": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1907": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "SWAP1", "path": "11" }, "1908": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "KECCAK256", "path": "11" }, "1909": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "SLOAD", "path": "11" }, "1910": { "fn": "ERC20._transfer", "offset": [ 7368, 7385 ], "op": "SWAP2", "path": "11" }, "1911": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "SWAP1", "path": "11" }, "1912": { "fn": "ERC20._transfer", "offset": [ 7368, 7389 ], "op": "PUSH2", "path": "11", "value": "0x805" }, "1915": { "fn": "ERC20._transfer", "jump": "i", "offset": [ 7368, 7439 ], "op": "JUMP", "path": "11" }, "1916": { "fn": "ERC20._transfer", "offset": [ 7368, 7439 ], "op": "JUMPDEST", "path": "11" }, "1917": { "op": "PUSH1", "value": "0x1" }, "1919": { "op": "PUSH1", "value": "0x1" }, "1921": { "op": "PUSH1", "value": "0xA0" }, "1923": { "op": "SHL" }, "1924": { "op": "SUB" }, "1925": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP1", "path": "11" }, "1926": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP6", "path": "11" }, "1927": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "AND", "path": "11" }, "1928": { "fn": "ERC20._transfer", "offset": [ 7348, 7357 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1930": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "SWAP1", "path": "11" }, "1931": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP2", "path": "11" }, "1932": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "MSTORE", "path": "11" }, "1933": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1935": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP2", "path": "11" }, "1936": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "SWAP1", "path": "11" }, "1937": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "MSTORE", "path": "11" }, "1938": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1940": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP1", "path": "11" }, "1941": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "DUP3", "path": "11" }, "1942": { "fn": "ERC20._transfer", "offset": [ 7348, 7365 ], "op": "KECCAK256", "path": "11" }, "1943": { "fn": "ERC20._transfer", "offset": [ 7348, 7439 ], "op": "SWAP4", "path": "11" }, "1944": { "fn": "ERC20._transfer", "offset": [ 7348, 7439 ], "op": "SWAP1", "path": "11" }, "1945": { "fn": "ERC20._transfer", "offset": [ 7348, 7439 ], "op": "SWAP4", "path": "11" }, "1946": { "fn": "ERC20._transfer", "offset": [ 7348, 7439 ], "op": "SSTORE", "path": "11" }, "1947": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "SWAP1", "path": "11", "statement": 24 }, "1948": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "DUP5", "path": "11" }, "1949": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "AND", "path": "11" }, "1950": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "DUP2", "path": "11" }, "1951": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "MSTORE", "path": "11" }, "1952": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "KECCAK256", "path": "11" }, "1953": { "fn": "ERC20._transfer", "offset": [ 7472, 7492 ], "op": "SLOAD", "path": "11" }, "1954": { "fn": "ERC20._transfer", "offset": [ 7472, 7504 ], "op": "PUSH2", "path": "11", "value": "0x7AB" }, "1957": { "fn": "ERC20._transfer", "offset": [ 7472, 7504 ], "op": "SWAP1", "path": "11" }, "1958": { "fn": "ERC20._transfer", "offset": [ 7497, 7503 ], "op": "DUP3", "path": "11" }, "1959": { "fn": "ERC20._transfer", "offset": [ 7472, 7496 ], "op": "PUSH2", "path": "11", "value": "0x89C" }, "1962": { "fn": "ERC20._transfer", "jump": "i", "offset": [ 7472, 7504 ], "op": "JUMP", "path": "11" }, "1963": { "fn": "ERC20._transfer", "offset": [ 7472, 7504 ], "op": "JUMPDEST", "path": "11" }, "1964": { "op": "PUSH1", "value": "0x1" }, "1966": { "op": "PUSH1", "value": "0x1" }, "1968": { "op": "PUSH1", "value": "0xA0" }, "1970": { "op": "SHL" }, "1971": { "op": "SUB" }, "1972": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP1", "path": "11" }, "1973": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP5", "path": "11" }, "1974": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "AND", "path": "11" }, "1975": { "fn": "ERC20._transfer", "offset": [ 7449, 7458 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "1977": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP2", "path": "11" }, "1978": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP2", "path": "11" }, "1979": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "MSTORE", "path": "11" }, "1980": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "1982": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP2", "path": "11" }, "1983": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP2", "path": "11" }, "1984": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "MSTORE", "path": "11" }, "1985": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "1987": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "SWAP2", "path": "11" }, "1988": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "DUP3", "path": "11" }, "1989": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "SWAP1", "path": "11" }, "1990": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "KECCAK256", "path": "11" }, "1991": { "fn": "ERC20._transfer", "offset": [ 7449, 7504 ], "op": "SWAP5", "path": "11" }, "1992": { "fn": "ERC20._transfer", "offset": [ 7449, 7504 ], "op": "SWAP1", "path": "11" }, "1993": { "fn": "ERC20._transfer", "offset": [ 7449, 7504 ], "op": "SWAP5", "path": "11" }, "1994": { "fn": "ERC20._transfer", "offset": [ 7449, 7504 ], "op": "SSTORE", "path": "11" }, "1995": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "DUP1", "path": "11", "statement": 25 }, "1996": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "MLOAD", "path": "11" }, "1997": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "DUP6", "path": "11" }, "1998": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "DUP2", "path": "11" }, "1999": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "MSTORE", "path": "11" }, "2000": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP1", "path": "11" }, "2001": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "MLOAD", "path": "11" }, "2002": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "SWAP2", "path": "11" }, "2003": { "fn": "ERC20._transfer", "offset": [ 7449, 7469 ], "op": "SWAP4", "path": "11" }, "2004": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP3", "path": "11" }, "2005": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "DUP8", "path": "11" }, "2006": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "AND", "path": "11" }, "2007": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP3", "path": "11" }, "2008": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "PUSH32", "path": "11", "value": "0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF" }, "2041": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP3", "path": "11" }, "2042": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP2", "path": "11" }, "2043": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "DUP3", "path": "11" }, "2044": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP1", "path": "11" }, "2045": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SUB", "path": "11" }, "2046": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "ADD", "path": "11" }, "2047": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "SWAP1", "path": "11" }, "2048": { "fn": "ERC20._transfer", "offset": [ 7519, 7554 ], "op": "LOG3", "path": "11" }, "2049": { "fn": "ERC20._transfer", "offset": [ 7031, 7561 ], "op": "POP", "path": "11" }, "2050": { "fn": "ERC20._transfer", "offset": [ 7031, 7561 ], "op": "POP", "path": "11" }, "2051": { "fn": "ERC20._transfer", "offset": [ 7031, 7561 ], "op": "POP", "path": "11" }, "2052": { "fn": "ERC20._transfer", "jump": "o", "offset": [ 7031, 7561 ], "op": "JUMP", "path": "11" }, "2053": { "fn": "SafeMath.sub", "offset": [ 5432, 5595 ], "op": "JUMPDEST", "path": "4" }, "2054": { "fn": "SafeMath.sub", "offset": [ 5518, 5525 ], "op": "PUSH1", "path": "4", "value": "0x0" }, "2056": { "fn": "SafeMath.sub", "offset": [ 5553, 5565 ], "op": "DUP2", "path": "4", "statement": 26 }, "2057": { "fn": "SafeMath.sub", "offset": [ 5545, 5551 ], "op": "DUP5", "path": "4" }, "2058": { "fn": "SafeMath.sub", "offset": [ 5545, 5551 ], "op": "DUP5", "path": "4" }, "2059": { "fn": "SafeMath.sub", "offset": [ 5545, 5551 ], "op": "GT", "path": "4" }, "2060": { "branch": 40, "fn": "SafeMath.sub", "offset": [ 5545, 5551 ], "op": "ISZERO", "path": "4" }, "2061": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH2", "path": "4", "value": "0x894" }, "2064": { "branch": 40, "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPI", "path": "4" }, "2065": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x40" }, "2067": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2068": { "op": "PUSH3", "value": "0x461BCD" }, "2072": { "op": "PUSH1", "value": "0xE5" }, "2074": { "op": "SHL" }, "2075": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2076": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MSTORE", "path": "4" }, "2077": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x4" }, "2079": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2080": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2081": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2082": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2084": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2085": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP3", "path": "4" }, "2086": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2087": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SUB", "path": "4" }, "2088": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP3", "path": "4" }, "2089": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MSTORE", "path": "4" }, "2090": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2091": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2092": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2093": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2094": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2095": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MSTORE", "path": "4" }, "2096": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2098": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2099": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP2", "path": "4" }, "2100": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2101": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2102": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2103": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2104": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2106": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2107": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2108": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2109": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2110": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2111": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x0" }, "2113": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPDEST", "path": "4" }, "2114": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2115": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2116": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "LT", "path": "4" }, "2117": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ISZERO", "path": "4" }, "2118": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH2", "path": "4", "value": "0x859" }, "2121": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPI", "path": "4" }, "2122": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2123": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2124": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2125": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2126": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2127": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP3", "path": "4" }, "2128": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2129": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MSTORE", "path": "4" }, "2130": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2132": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2133": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH2", "path": "4", "value": "0x841" }, "2136": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMP", "path": "4" }, "2137": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPDEST", "path": "4" }, "2138": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2139": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2140": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2141": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2142": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2143": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2144": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2145": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2146": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2147": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2148": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x1F" }, "2150": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "AND", "path": "4" }, "2151": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2152": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ISZERO", "path": "4" }, "2153": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH2", "path": "4", "value": "0x886" }, "2156": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPI", "path": "4" }, "2157": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2158": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP3", "path": "4" }, "2159": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SUB", "path": "4" }, "2160": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2161": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2162": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x1" }, "2164": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP4", "path": "4" }, "2165": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2167": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SUB", "path": "4" }, "2168": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH2", "path": "4", "value": "0x100" }, "2171": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "EXP", "path": "4" }, "2172": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SUB", "path": "4" }, "2173": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "NOT", "path": "4" }, "2174": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "AND", "path": "4" }, "2175": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP2", "path": "4" }, "2176": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MSTORE", "path": "4" }, "2177": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2179": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "ADD", "path": "4" }, "2180": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP2", "path": "4" }, "2181": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2182": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPDEST", "path": "4" }, "2183": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2184": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP3", "path": "4" }, "2185": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2186": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2187": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "POP", "path": "4" }, "2188": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "PUSH1", "path": "4", "value": "0x40" }, "2190": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "MLOAD", "path": "4" }, "2191": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "DUP1", "path": "4" }, "2192": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP2", "path": "4" }, "2193": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SUB", "path": "4" }, "2194": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "SWAP1", "path": "4" }, "2195": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "REVERT", "path": "4" }, "2196": { "fn": "SafeMath.sub", "offset": [ 5537, 5566 ], "op": "JUMPDEST", "path": "4" }, "2197": { "op": "POP" }, "2198": { "op": "POP" }, "2199": { "op": "POP" }, "2200": { "fn": "SafeMath.sub", "offset": [ 5583, 5588 ], "op": "SWAP1", "path": "4", "statement": 27 }, "2201": { "fn": "SafeMath.sub", "offset": [ 5583, 5588 ], "op": "SUB", "path": "4" }, "2202": { "fn": "SafeMath.sub", "offset": [ 5583, 5588 ], "op": "SWAP1", "path": "4" }, "2203": { "fn": "SafeMath.sub", "jump": "o", "offset": [ 5432, 5595 ], "op": "JUMP", "path": "4" }, "2204": { "fn": "SafeMath.add", "offset": [ 2690, 2865 ], "op": "JUMPDEST", "path": "4" }, "2205": { "fn": "SafeMath.add", "offset": [ 2748, 2755 ], "op": "PUSH1", "path": "4", "value": "0x0" }, "2207": { "fn": "SafeMath.add", "offset": [ 2779, 2784 ], "op": "DUP3", "path": "4" }, "2208": { "fn": "SafeMath.add", "offset": [ 2779, 2784 ], "op": "DUP3", "path": "4" }, "2209": { "fn": "SafeMath.add", "offset": [ 2779, 2784 ], "op": "ADD", "path": "4" }, "2210": { "fn": "SafeMath.add", "offset": [ 2802, 2808 ], "op": "DUP4", "path": "4", "statement": 28 }, "2211": { "fn": "SafeMath.add", "offset": [ 2802, 2808 ], "op": "DUP2", "path": "4" }, "2212": { "fn": "SafeMath.add", "offset": [ 2802, 2808 ], "op": "LT", "path": "4" }, "2213": { "branch": 41, "fn": "SafeMath.add", "offset": [ 2802, 2808 ], "op": "ISZERO", "path": "4" }, "2214": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH2", "path": "4", "value": "0x8F6" }, "2217": { "branch": 41, "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "JUMPI", "path": "4" }, "2218": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x40" }, "2220": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP1", "path": "4" }, "2221": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MLOAD", "path": "4" }, "2222": { "op": "PUSH3", "value": "0x461BCD" }, "2226": { "op": "PUSH1", "value": "0xE5" }, "2228": { "op": "SHL" }, "2229": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP2", "path": "4" }, "2230": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MSTORE", "path": "4" }, "2231": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x20" }, "2233": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x4" }, "2235": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP3", "path": "4" }, "2236": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "ADD", "path": "4" }, "2237": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MSTORE", "path": "4" }, "2238": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x1B" }, "2240": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x24" }, "2242": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP3", "path": "4" }, "2243": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "ADD", "path": "4" }, "2244": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MSTORE", "path": "4" }, "2245": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH32", "path": "4", "value": "0x536166654D6174683A206164646974696F6E206F766572666C6F770000000000" }, "2278": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x44" }, "2280": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP3", "path": "4" }, "2281": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "ADD", "path": "4" }, "2282": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MSTORE", "path": "4" }, "2283": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "SWAP1", "path": "4" }, "2284": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "MLOAD", "path": "4" }, "2285": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "SWAP1", "path": "4" }, "2286": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "DUP2", "path": "4" }, "2287": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "SWAP1", "path": "4" }, "2288": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "SUB", "path": "4" }, "2289": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "PUSH1", "path": "4", "value": "0x64" }, "2291": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "ADD", "path": "4" }, "2292": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "SWAP1", "path": "4" }, "2293": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "REVERT", "path": "4" }, "2294": { "fn": "SafeMath.add", "offset": [ 2794, 2840 ], "op": "JUMPDEST", "path": "4" }, "2295": { "fn": "SafeMath.add", "offset": [ 2857, 2858 ], "op": "SWAP4", "path": "4", "statement": 29 }, "2296": { "fn": "SafeMath.add", "offset": [ 2690, 2865 ], "op": "SWAP3", "path": "4" }, "2297": { "op": "POP" }, "2298": { "op": "POP" }, "2299": { "op": "POP" }, "2300": { "fn": "SafeMath.add", "jump": "o", "offset": [ 2690, 2865 ], "op": "JUMP", "path": "4" }, "2301": { "fn": "ERC20._mint", "offset": [ 7832, 8202 ], "op": "JUMPDEST", "path": "11" }, "2302": { "op": "PUSH1", "value": "0x1" }, "2304": { "op": "PUSH1", "value": "0x1" }, "2306": { "op": "PUSH1", "value": "0xA0" }, "2308": { "op": "SHL" }, "2309": { "op": "SUB" }, "2310": { "fn": "ERC20._mint", "offset": [ 7915, 7936 ], "op": "DUP3", "path": "11", "statement": 30 }, "2311": { "branch": 39, "fn": "ERC20._mint", "offset": [ 7915, 7936 ], "op": "AND", "path": "11" }, "2312": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH2", "path": "11", "value": "0x958" }, "2315": { "branch": 39, "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "JUMPI", "path": "11" }, "2316": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "2318": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP1", "path": "11" }, "2319": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MLOAD", "path": "11" }, "2320": { "op": "PUSH3", "value": "0x461BCD" }, "2324": { "op": "PUSH1", "value": "0xE5" }, "2326": { "op": "SHL" }, "2327": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP2", "path": "11" }, "2328": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MSTORE", "path": "11" }, "2329": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "2331": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x4" }, "2333": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP3", "path": "11" }, "2334": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "ADD", "path": "11" }, "2335": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MSTORE", "path": "11" }, "2336": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x1F" }, "2338": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x24" }, "2340": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP3", "path": "11" }, "2341": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "ADD", "path": "11" }, "2342": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MSTORE", "path": "11" }, "2343": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH32", "path": "11", "value": "0x45524332303A206D696E7420746F20746865207A65726F206164647265737300" }, "2376": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x44" }, "2378": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP3", "path": "11" }, "2379": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "ADD", "path": "11" }, "2380": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MSTORE", "path": "11" }, "2381": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "SWAP1", "path": "11" }, "2382": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "MLOAD", "path": "11" }, "2383": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "SWAP1", "path": "11" }, "2384": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "DUP2", "path": "11" }, "2385": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "SWAP1", "path": "11" }, "2386": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "SUB", "path": "11" }, "2387": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "PUSH1", "path": "11", "value": "0x64" }, "2389": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "ADD", "path": "11" }, "2390": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "SWAP1", "path": "11" }, "2391": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "REVERT", "path": "11" }, "2392": { "fn": "ERC20._mint", "offset": [ 7907, 7972 ], "op": "JUMPDEST", "path": "11" }, "2393": { "fn": "ERC20._mint", "offset": [ 7983, 8032 ], "op": "PUSH2", "path": "11", "statement": 31, "value": "0x964" }, "2396": { "fn": "ERC20._mint", "offset": [ 8012, 8013 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "2398": { "fn": "ERC20._mint", "offset": [ 8016, 8023 ], "op": "DUP4", "path": "11" }, "2399": { "fn": "ERC20._mint", "offset": [ 8025, 8031 ], "op": "DUP4", "path": "11" }, "2400": { "fn": "ERC20._mint", "offset": [ 7983, 8003 ], "op": "PUSH2", "path": "11", "value": "0x9ED" }, "2403": { "fn": "ERC20._mint", "jump": "i", "offset": [ 7983, 8032 ], "op": "JUMP", "path": "11" }, "2404": { "fn": "ERC20._mint", "offset": [ 7983, 8032 ], "op": "JUMPDEST", "path": "11" }, "2405": { "fn": "ERC20._mint", "offset": [ 8058, 8070 ], "op": "PUSH1", "path": "11", "statement": 32, "value": "0x2" }, "2407": { "fn": "ERC20._mint", "offset": [ 8058, 8070 ], "op": "SLOAD", "path": "11" }, "2408": { "fn": "ERC20._mint", "offset": [ 8058, 8082 ], "op": "PUSH2", "path": "11", "value": "0x971" }, "2411": { "fn": "ERC20._mint", "offset": [ 8058, 8082 ], "op": "SWAP1", "path": "11" }, "2412": { "fn": "ERC20._mint", "offset": [ 8075, 8081 ], "op": "DUP3", "path": "11" }, "2413": { "fn": "ERC20._mint", "offset": [ 8058, 8074 ], "op": "PUSH2", "path": "11", "value": "0x89C" }, "2416": { "fn": "ERC20._mint", "jump": "i", "offset": [ 8058, 8082 ], "op": "JUMP", "path": "11" }, "2417": { "fn": "ERC20._mint", "offset": [ 8058, 8082 ], "op": "JUMPDEST", "path": "11" }, "2418": { "fn": "ERC20._mint", "offset": [ 8043, 8055 ], "op": "PUSH1", "path": "11", "value": "0x2" }, "2420": { "fn": "ERC20._mint", "offset": [ 8043, 8082 ], "op": "SSTORE", "path": "11" }, "2421": { "op": "PUSH1", "value": "0x1" }, "2423": { "op": "PUSH1", "value": "0x1" }, "2425": { "op": "PUSH1", "value": "0xA0" }, "2427": { "op": "SHL" }, "2428": { "op": "SUB" }, "2429": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "DUP3", "path": "11", "statement": 33 }, "2430": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "AND", "path": "11" }, "2431": { "fn": "ERC20._mint", "offset": [ 8113, 8122 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "2433": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "SWAP1", "path": "11" }, "2434": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "DUP2", "path": "11" }, "2435": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "MSTORE", "path": "11" }, "2436": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "2438": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "DUP2", "path": "11" }, "2439": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "SWAP1", "path": "11" }, "2440": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "MSTORE", "path": "11" }, "2441": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "2443": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "SWAP1", "path": "11" }, "2444": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "KECCAK256", "path": "11" }, "2445": { "fn": "ERC20._mint", "offset": [ 8113, 8131 ], "op": "SLOAD", "path": "11" }, "2446": { "fn": "ERC20._mint", "offset": [ 8113, 8143 ], "op": "PUSH2", "path": "11", "value": "0x997" }, "2449": { "fn": "ERC20._mint", "offset": [ 8113, 8143 ], "op": "SWAP1", "path": "11" }, "2450": { "fn": "ERC20._mint", "offset": [ 8136, 8142 ], "op": "DUP3", "path": "11" }, "2451": { "fn": "ERC20._mint", "offset": [ 8113, 8135 ], "op": "PUSH2", "path": "11", "value": "0x89C" }, "2454": { "fn": "ERC20._mint", "jump": "i", "offset": [ 8113, 8143 ], "op": "JUMP", "path": "11" }, "2455": { "fn": "ERC20._mint", "offset": [ 8113, 8143 ], "op": "JUMPDEST", "path": "11" }, "2456": { "op": "PUSH1", "value": "0x1" }, "2458": { "op": "PUSH1", "value": "0x1" }, "2460": { "op": "PUSH1", "value": "0xA0" }, "2462": { "op": "SHL" }, "2463": { "op": "SUB" }, "2464": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP4", "path": "11" }, "2465": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "AND", "path": "11" }, "2466": { "fn": "ERC20._mint", "offset": [ 8092, 8101 ], "op": "PUSH1", "path": "11", "value": "0x0" }, "2468": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP2", "path": "11" }, "2469": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP2", "path": "11" }, "2470": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "MSTORE", "path": "11" }, "2471": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "PUSH1", "path": "11", "value": "0x20" }, "2473": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP2", "path": "11" }, "2474": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP2", "path": "11" }, "2475": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "MSTORE", "path": "11" }, "2476": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "PUSH1", "path": "11", "value": "0x40" }, "2478": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP1", "path": "11" }, "2479": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "DUP4", "path": "11" }, "2480": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "KECCAK256", "path": "11" }, "2481": { "fn": "ERC20._mint", "offset": [ 8092, 8143 ], "op": "SWAP5", "path": "11" }, "2482": { "fn": "ERC20._mint", "offset": [ 8092, 8143 ], "op": "SWAP1", "path": "11" }, "2483": { "fn": "ERC20._mint", "offset": [ 8092, 8143 ], "op": "SWAP5", "path": "11" }, "2484": { "fn": "ERC20._mint", "offset": [ 8092, 8143 ], "op": "SSTORE", "path": "11" }, "2485": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "DUP4", "path": "11", "statement": 34 }, "2486": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "MLOAD", "path": "11" }, "2487": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "DUP6", "path": "11" }, "2488": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "DUP2", "path": "11" }, "2489": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "MSTORE", "path": "11" }, "2490": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP4", "path": "11" }, "2491": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "MLOAD", "path": "11" }, "2492": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "SWAP3", "path": "11" }, "2493": { "fn": "ERC20._mint", "offset": [ 8092, 8110 ], "op": "SWAP4", "path": "11" }, "2494": { "fn": "ERC20._mint", "offset": [ 8092, 8101 ], "op": "SWAP2", "path": "11" }, "2495": { "fn": "ERC20._mint", "offset": [ 8092, 8101 ], "op": "SWAP3", "path": "11" }, "2496": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "PUSH32", "path": "11", "value": "0xDDF252AD1BE2C89B69C2B068FC378DAA952BA7F163C4A11628F55A4DF523B3EF" }, "2529": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP3", "path": "11" }, "2530": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "DUP2", "path": "11" }, "2531": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP1", "path": "11" }, "2532": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SUB", "path": "11" }, "2533": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP1", "path": "11" }, "2534": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP2", "path": "11" }, "2535": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "ADD", "path": "11" }, "2536": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "SWAP1", "path": "11" }, "2537": { "fn": "ERC20._mint", "offset": [ 8158, 8195 ], "op": "LOG3", "path": "11" }, "2538": { "fn": "ERC20._mint", "offset": [ 7832, 8202 ], "op": "POP", "path": "11" }, "2539": { "fn": "ERC20._mint", "offset": [ 7832, 8202 ], "op": "POP", "path": "11" }, "2540": { "fn": "ERC20._mint", "jump": "o", "offset": [ 7832, 8202 ], "op": "JUMP", "path": "11" }, "2541": { "fn": "ERC20._beforeTokenTransfer", "offset": [ 10701, 10793 ], "op": "JUMPDEST", "path": "11" }, "2542": { "fn": "ERC20._beforeTokenTransfer", "offset": [ 10701, 10793 ], "op": "POP", "path": "11" }, "2543": { "fn": "ERC20._beforeTokenTransfer", "offset": [ 10701, 10793 ], "op": "POP", "path": "11" }, "2544": { "fn": "ERC20._beforeTokenTransfer", "offset": [ 10701, 10793 ], "op": "POP", "path": "11" }, "2545": { "fn": "ERC20._beforeTokenTransfer", "jump": "o", "offset": [ 10701, 10793 ], "op": "JUMP", "path": "11" } }, "sha1": "0f8c54b9b8474b246d5b5c49c733ded9d577e1b1", "source": "pragma solidity 0.6.12;\n\nimport 'OpenZeppelin/openzeppelin-contracts@3.4.0/contracts/token/ERC20/ERC20.sol';\n\ncontract MockERC20 is ERC20 {\n constructor(\n string memory name,\n string memory symbol,\n uint8 decimals\n ) public ERC20(name, symbol) {\n _setupDecimals(decimals);\n }\n\n function mint(address to, uint amount) public {\n _mint(to, amount);\n }\n}\n", "sourceMap": "110:260:24:-:0;;;142:148;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;142:148:24;;;;;;;;;;-1:-1:-1;142:148:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;142:148:24;;;;;;;;;;-1:-1:-1;142:148:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;142:148:24;;;;;;;2032:13:11;;142:148:24;;-1:-1:-1;241:4:24;;-1:-1:-1;247:6:24;;2032:13:11;;:5;;:13;;;;:::i;:::-;-1:-1:-1;2055:17:11;;;;:7;;:17;;;;;:::i;:::-;-1:-1:-1;;2082:9:11;:14;;-1:-1:-1;;2082:14:11;2094:2;2082:14;;;-1:-1:-1;261:24:24::1;276:8:::0;261:14:::1;:24::i;:::-;142:148:::0;;;110:260;;10018:96:11;10086:9;:21;;-1:-1:-1;;10086:21:11;;;;;;;;;;;;10018:96::o;110:260:24:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;110:260:24;;;-1:-1:-1;110:260:24;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;", "sourcePath": "contracts/mock/MockERC20.sol", "type": "contract" }