Analysis Run

[codex:814920] OpenAI Codex v0.77.0 (research preview)
[codex:814920] --------
[codex:814920] workdir: /tmp/codex-multi-s_g53y9h
[codex:814920] model: gpt-5.2-codex
[codex:814920] provider: openai
[codex:814920] approval: never
[codex:814920] sandbox: read-only
[codex:814920] reasoning effort: xhigh
[codex:814920] reasoning summaries: auto
[codex:814920] session id: 019b80e4-be4e-7092-a0c0-6c0ba1778a43
[codex:814920] --------
[codex:814920] user
[codex:814920] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:814920] 
[codex:814920] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:814920] 
[codex:814920] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:814920] - Gas inefficiency, code quality, or best practices
[codex:814920] - Theoretical vulnerabilities without a clear extraction path
[codex:814920] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:814920] - Issues requiring social engineering or off-chain coordination
[codex:814920] 
[codex:814920] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:814920] - CALL/DELEGATECALL with controllable destination or calldata
[codex:814920] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:814920] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:814920] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:814920] - External calls before state updates (reentrancy)
[codex:814920] - SELFDESTRUCT with controllable beneficiary
[codex:814920] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:814920] 
[codex:814920] For each finding, you MUST explain:
[codex:814920] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:814920] 2. The concrete sequence of transactions to extract value
[codex:814920] 3. Why you believe this is exploitable (not just suspicious)
[codex:814920] 
[codex:814920] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:814920] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:814920] 
[codex:814920] Output MUST be valid JSON matching the provided schema.
[codex:814920] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:814920] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:814920] mcp startup: no servers
[codex:814920] 
[codex:814920] thinking
[codex:814920] **Choosing file reading method**
[codex:814920] exec
[codex:814920] /bin/bash -lc ls in /tmp/codex-multi-s_g53y9h succeeded in 6ms:
[codex:814920] BYTECODE_BUNDLE.txt
[codex:814920] codex-output-schema.json
[codex:814920] 
[codex:814920] thinking
[codex:814920] **Reading a file**
[codex:814920] exec
[codex:814920] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-s_g53y9h succeeded in 5ms:
[codex:814920] Runtime bytecode bundle for best-effort auditing.
[codex:814920] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:814920] 
[codex:814920] FILE: runtime_bytecode.hex
[codex:814920] 0x6080604052600436106101095760003560e01c80639babdd4011610095578063affed0e011610064578063affed0e0146105a7578063ba9a91a5146105bc578063cd2cc740146105d1578063d1af6462146105e6578063f698da25146105fb57610109565b80639babdd40146102bb5780639e4e7318146102d0578063a0ab9653146102e5578063a0e67e2b1461054257610109565b80632f54bf6e116100dc5780632f54bf6e1461022057806342cde4e8146102675780635b768ee91461027c578063619c129514610291578063877ba46a146102a657610109565b806304622c2e146101455780630c8bd6701461016c5780631279991b146101f65780631ed23c8c1461020b575b6040805133815234602082015281517fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c929181900390910190a1005b34801561015157600080fd5b5061015a610610565b60408051918252519081900360200190f35b34801561017857600080fd5b50610181610634565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101bb5781810151838201526020016101a3565b50505050905090810190601f1680156101e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020257600080fd5b5061015a610650565b34801561021757600080fd5b5061015a610674565b34801561022c57600080fd5b506102536004803603602081101561024357600080fd5b50356001600160a01b0316610698565b604080519115158252519081900360200190f35b34801561027357600080fd5b5061015a6106ad565b34801561028857600080fd5b506101816106b3565b34801561029d57600080fd5b506101816106ec565b3480156102b257600080fd5b50610181610716565b3480156102c757600080fd5b5061018161074f565b3480156102dc57600080fd5b5061015a61077c565b3480156102f157600080fd5b50610540600480360361010081101561030957600080fd5b810190602081018135600160201b81111561032357600080fd5b82018360208201111561033557600080fd5b803590602001918460208302840111600160201b8311171561035657600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156103a557600080fd5b8201836020820111156103b757600080fd5b803590602001918460208302840111600160201b831117156103d857600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561042757600080fd5b82018360208201111561043957600080fd5b803590602001918460208302840111600160201b8311171561045a57600080fd5b91908080602002602001604051908101604052809392919081815260200183836020028082843760009201919091525092956001600160a01b0385351695602086013595919450925060608101915060400135600160201b8111156104be57600080fd5b8201836020820111156104d057600080fd5b803590602001918460018302840111600160201b831117156104f157600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550506001600160a01b0383351693505050602001356107a0565b005b34801561054e57600080fd5b50610557610e59565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561059357818101518382015260200161057b565b505050509050019250505060405180910390f35b3480156105b357600080fd5b5061015a610ebb565b3480156105c857600080fd5b5061015a610ec1565b3480156105dd57600080fd5b50610181610ee5565b3480156105f257600080fd5b50610181610f10565b34801561060757600080fd5b5061015a610f3e565b7f32f3de0d7fc1cdd909bb4d992a94061e800669c611b9d07f137df1f4bb85f09781565b604051806060016040528060238152602001610f516023913981565b7f3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d781565b7fd87cd6ef79d4e2b95e15ce8abf732db51ec771f1ca2edccf22a46c729ac5647281565b60026020526000908152604090205460ff1681565b60015481565b6040518060400160405280601f81526020017f46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e540081525081565b6040518060400160405280600e81526020016d2ba927a7239022ac22a1aaaa27a960911b81525081565b6040518060400160405280601c81526020017f494e56414c4944205448524553484f4c442f5349472d4c454e4754480000000081525081565b604051806040016040528060118152602001705448524553484f4c442f5349474e45525360781b81525081565b7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc681565b6001548751146040518060400160405280601c81526020017f494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000815250906108655760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561082a578181015183820152602001610812565b50505050905090810190601f1680156108575780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5085518751148015610878575087518751145b6040518060400160405280601c81526020017f494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000815250906108fa5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561082a578181015183820152602001610812565b506001600160a01b03821633148061091957506001600160a01b038216155b6040518060400160405280600e81526020016d2ba927a7239022ac22a1aaaa27a960911b8152509061098c5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561082a578181015183820152602001610812565b50825160208085019190912060008054604080517f3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7818701526001600160a01b03808c1682840152606082018b9052608082019590955260a081019290925292861660c082015260e0808201869052835180830390910181526101008201845280519085012060045461190160f01b6101208401526101228301526101428083018290528451808403909101815261016290920190935280519301929092209091805b600154811015610bb55760006001848e8481518110610a6a57fe5b60200260200101518e8581518110610a7e57fe5b60200260200101518e8681518110610a9257fe5b602002602001015160405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015610af1573d6000803e3d6000fd5b505050602060405103519050826001600160a01b0316816001600160a01b0316118015610b3657506001600160a01b03811660009081526002602052604090205460ff165b6040518060400160405280600f81526020016e57524f4e47205349474e415455524560881b81525090610baa5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561082a578181015183820152602001610812565b509150600101610a4f565b50600080546001019055855115610c5357610bcf88610f44565b6040518060400160405280601f81526020017f46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e540081525090610c515760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561082a578181015183820152602001610812565b505b6000886001600160a01b03168589896040518082805190602001908083835b60208310610c915780518252601f199092019160209182019101610c72565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381858888f193505050503d8060008114610cf4576040519150601f19603f3d011682016040523d82523d6000602084013e610cf9565b606091505b50509050806040518060400160405280601281526020017112539511549390530815160811905253115160721b81525090610d755760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561082a578181015183820152602001610812565b507f187ae0bfb8619f02a4db1cfef70a54e5722d00d8fcfe6811f1a1f044633ca0a7338a8a8a60405180856001600160a01b03166001600160a01b03168152602001846001600160a01b03166001600160a01b0316815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610e0e578181015183820152602001610df6565b50505050905090810190601f168015610e3b5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a1505050505050505050505050565b60606003805480602002602001604051908101604052809291908181526020018280548015610eb157602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610e93575b5050505050905090565b60005481565b7f72dc1dc597006ea524d75bd3377c4663827629e52e27fd2169cca6f90f6d1ef981565b6040518060400160405280600f81526020016e57524f4e47205349474e415455524560881b81525081565b6040518060400160405280601281526020017112539511549390530815160811905253115160721b81525081565b60045481565b3b63ffffffff1615159056fe5349474e455253204d55535420424520494e20494e4352454153494e47204f52444552a265627a7a723158206a40336a351188a254b9c1ec83afb626e0684c15434025a81ae3b80afc5af4fc64736f6c63430005110032
[codex:814920] 
[codex:814920] thinking
[codex:814920] **Analyzing multisig wallet bytecode**
[codex:814920] exec
[codex:814920] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-s_g53y9h succeeded in 5ms:
[codex:814920] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:814920] 
[codex:814920] thinking
[codex:814920] **Preparing no-findings JSON response**
[codex:814920] codex
[codex:814920] {"no_findings":true,"summary":"Reviewed the runtime bytecode bundle; no concrete, exploitable path to extract value identified from bytecode-only analysis.","findings":[]}
[codex:814920] tokens used
[codex:814920] 9,841
[codex:814920] {"no_findings":true,"summary":"Reviewed the runtime bytecode bundle; no concrete, exploitable path to extract value identified from bytecode-only analysis.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T22:47:38.903556+00:00",
        "returncode": 0
    },
    "summary": "Reviewed the runtime bytecode bundle; no concrete, exploitable path to extract value identified from bytecode-only analysis.",
    "raw_final": {
        "summary": "Reviewed the runtime bytecode bundle; no concrete, exploitable path to extract value identified from bytecode-only analysis.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0109
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9babdd40
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xaffed0e0
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xaffed0e0
0000002f: EQ
00000030: PUSH2 0x05a7
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xba9a91a5
0000003a: EQ
0000003b: PUSH2 0x05bc
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xcd2cc740
00000045: EQ
00000046: PUSH2 0x05d1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd1af6462
00000050: EQ
00000051: PUSH2 0x05e6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf698da25
0000005b: EQ
0000005c: PUSH2 0x05fb
0000005f: JUMPI
00000060: PUSH2 0x0109
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9babdd40
0000006b: EQ
0000006c: PUSH2 0x02bb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9e4e7318
00000076: EQ
00000077: PUSH2 0x02d0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa0ab9653
00000081: EQ
00000082: PUSH2 0x02e5
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa0e67e2b
0000008c: EQ
0000008d: PUSH2 0x0542
00000090: JUMPI
00000091: PUSH2 0x0109
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x2f54bf6e
0000009c: GT
0000009d: PUSH2 0x00dc
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x2f54bf6e
000000a7: EQ
000000a8: PUSH2 0x0220
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x42cde4e8
000000b2: EQ
000000b3: PUSH2 0x0267
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x5b768ee9
000000bd: EQ
000000be: PUSH2 0x027c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x619c1295
000000c8: EQ
000000c9: PUSH2 0x0291
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x877ba46a
000000d3: EQ
000000d4: PUSH2 0x02a6
000000d7: JUMPI
000000d8: PUSH2 0x0109
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x04622c2e
000000e3: EQ
000000e4: PUSH2 0x0145
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x0c8bd670
000000ee: EQ
000000ef: PUSH2 0x016c
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x1279991b
000000f9: EQ
000000fa: PUSH2 0x01f6
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x1ed23c8c
00000104: EQ
00000105: PUSH2 0x020b
00000108: JUMPI
00000109: JUMPDEST
0000010a: PUSH1 0x40
0000010c: DUP1
0000010d: MLOAD
0000010e: CALLER
0000010f: DUP2
00000110: MSTORE
00000111: CALLVALUE
00000112: PUSH1 0x20
00000114: DUP3
00000115: ADD
00000116: MSTORE
00000117: DUP2
00000118: MLOAD
00000119: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000013a: SWAP3
0000013b: SWAP2
0000013c: DUP2
0000013d: SWAP1
0000013e: SUB
0000013f: SWAP1
00000140: SWAP2
00000141: ADD
00000142: SWAP1
00000143: LOG1
00000144: STOP
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH2 0x015a
00000156: PUSH2 0x0610
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: DUP1
0000015e: MLOAD
0000015f: SWAP2
00000160: DUP3
00000161: MSTORE
00000162: MLOAD
00000163: SWAP1
00000164: DUP2
00000165: SWAP1
00000166: SUB
00000167: PUSH1 0x20
00000169: ADD
0000016a: SWAP1
0000016b: RETURN
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x0181
0000017d: PUSH2 0x0634
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH1 0x40
00000184: DUP1
00000185: MLOAD
00000186: PUSH1 0x20
00000188: DUP1
00000189: DUP3
0000018a: MSTORE
0000018b: DUP4
0000018c: MLOAD
0000018d: DUP2
0000018e: DUP4
0000018f: ADD
00000190: MSTORE
00000191: DUP4
00000192: MLOAD
00000193: SWAP2
00000194: SWAP3
00000195: DUP4
00000196: SWAP3
00000197: SWAP1
00000198: DUP4
00000199: ADD
0000019a: SWAP2
0000019b: DUP6
0000019c: ADD
0000019d: SWAP1
0000019e: DUP1
0000019f: DUP4
000001a0: DUP4
000001a1: PUSH1 0x00
000001a3: JUMPDEST
000001a4: DUP4
000001a5: DUP2
000001a6: LT
000001a7: ISZERO
000001a8: PUSH2 0x01bb
000001ab: JUMPI
000001ac: DUP2
000001ad: DUP2
000001ae: ADD
000001af: MLOAD
000001b0: DUP4
000001b1: DUP3
000001b2: ADD
000001b3: MSTORE
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: PUSH2 0x01a3
000001ba: JUMP
000001bb: JUMPDEST
000001bc: POP
000001bd: POP
000001be: POP
000001bf: POP
000001c0: SWAP1
000001c1: POP
000001c2: SWAP1
000001c3: DUP2
000001c4: ADD
000001c5: SWAP1
000001c6: PUSH1 0x1f
000001c8: AND
000001c9: DUP1
000001ca: ISZERO
000001cb: PUSH2 0x01e8
000001ce: JUMPI
000001cf: DUP1
000001d0: DUP3
000001d1: SUB
000001d2: DUP1
000001d3: MLOAD
000001d4: PUSH1 0x01
000001d6: DUP4
000001d7: PUSH1 0x20
000001d9: SUB
000001da: PUSH2 0x0100
000001dd: EXP
000001de: SUB
000001df: NOT
000001e0: AND
000001e1: DUP2
000001e2: MSTORE
000001e3: PUSH1 0x20
000001e5: ADD
000001e6: SWAP2
000001e7: POP
000001e8: JUMPDEST
000001e9: POP
000001ea: SWAP3
000001eb: POP
000001ec: POP
000001ed: POP
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: RETURN
000001f6: JUMPDEST
000001f7: CALLVALUE
000001f8: DUP1
000001f9: ISZERO
000001fa: PUSH2 0x0202
000001fd: JUMPI
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: POP
00000204: PUSH2 0x015a
00000207: PUSH2 0x0650
0000020a: JUMP
0000020b: JUMPDEST
0000020c: CALLVALUE
0000020d: DUP1
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: POP
00000219: PUSH2 0x015a
0000021c: PUSH2 0x0674
0000021f: JUMP
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0253
00000231: PUSH1 0x04
00000233: DUP1
00000234: CALLDATASIZE
00000235: SUB
00000236: PUSH1 0x20
00000238: DUP2
00000239: LT
0000023a: ISZERO
0000023b: PUSH2 0x0243
0000023e: JUMPI
0000023f: PUSH1 0x00
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: CALLDATALOAD
00000246: PUSH1 0x01
00000248: PUSH1 0x01
0000024a: PUSH1 0xa0
0000024c: SHL
0000024d: SUB
0000024e: AND
0000024f: PUSH2 0x0698
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH1 0x40
00000256: DUP1
00000257: MLOAD
00000258: SWAP2
00000259: ISZERO
0000025a: ISZERO
0000025b: DUP3
0000025c: MSTORE
0000025d: MLOAD
0000025e: SWAP1
0000025f: DUP2
00000260: SWAP1
00000261: SUB
00000262: PUSH1 0x20
00000264: ADD
00000265: SWAP1
00000266: RETURN
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x015a
00000278: PUSH2 0x06ad
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x0181
0000028d: PUSH2 0x06b3
00000290: JUMP
00000291: JUMPDEST
00000292: CALLVALUE
00000293: DUP1
00000294: ISZERO
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: POP
0000029f: PUSH2 0x0181
000002a2: PUSH2 0x06ec
000002a5: JUMP
000002a6: JUMPDEST
000002a7: CALLVALUE
000002a8: DUP1
000002a9: ISZERO
000002aa: PUSH2 0x02b2
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: POP
000002b4: PUSH2 0x0181
000002b7: PUSH2 0x0716
000002ba: JUMP
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x0181
000002cc: PUSH2 0x074f
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x015a
000002e1: PUSH2 0x077c
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x0540
000002f6: PUSH1 0x04
000002f8: DUP1
000002f9: CALLDATASIZE
000002fa: SUB
000002fb: PUSH2 0x0100
000002fe: DUP2
000002ff: LT
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: DUP2
0000030b: ADD
0000030c: SWAP1
0000030d: PUSH1 0x20
0000030f: DUP2
00000310: ADD
00000311: DUP2
00000312: CALLDATALOAD
00000313: PUSH1 0x01
00000315: PUSH1 0x20
00000317: SHL
00000318: DUP2
00000319: GT
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: DUP3
00000325: ADD
00000326: DUP4
00000327: PUSH1 0x20
00000329: DUP3
0000032a: ADD
0000032b: GT
0000032c: ISZERO
0000032d: PUSH2 0x0335
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP1
00000334: REVERT
00000335: JUMPDEST
00000336: DUP1
00000337: CALLDATALOAD
00000338: SWAP1
00000339: PUSH1 0x20
0000033b: ADD
0000033c: SWAP2
0000033d: DUP5
0000033e: PUSH1 0x20
00000340: DUP4
00000341: MUL
00000342: DUP5
00000343: ADD
00000344: GT
00000345: PUSH1 0x01
00000347: PUSH1 0x20
00000349: SHL
0000034a: DUP4
0000034b: GT
0000034c: OR
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: SWAP2
00000358: SWAP1
00000359: DUP1
0000035a: DUP1
0000035b: PUSH1 0x20
0000035d: MUL
0000035e: PUSH1 0x20
00000360: ADD
00000361: PUSH1 0x40
00000363: MLOAD
00000364: SWAP1
00000365: DUP2
00000366: ADD
00000367: PUSH1 0x40
00000369: MSTORE
0000036a: DUP1
0000036b: SWAP4
0000036c: SWAP3
0000036d: SWAP2
0000036e: SWAP1
0000036f: DUP2
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x20
00000374: ADD
00000375: DUP4
00000376: DUP4
00000377: PUSH1 0x20
00000379: MUL
0000037a: DUP1
0000037b: DUP3
0000037c: DUP5
0000037d: CALLDATACOPY
0000037e: PUSH1 0x00
00000380: SWAP3
00000381: ADD
00000382: SWAP2
00000383: SWAP1
00000384: SWAP2
00000385: MSTORE
00000386: POP
00000387: SWAP3
00000388: SWAP6
00000389: SWAP5
0000038a: SWAP4
0000038b: PUSH1 0x20
0000038d: DUP2
0000038e: ADD
0000038f: SWAP4
00000390: POP
00000391: CALLDATALOAD
00000392: SWAP2
00000393: POP
00000394: POP
00000395: PUSH1 0x01
00000397: PUSH1 0x20
00000399: SHL
0000039a: DUP2
0000039b: GT
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: DUP3
000003a7: ADD
000003a8: DUP4
000003a9: PUSH1 0x20
000003ab: DUP3
000003ac: ADD
000003ad: GT
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: DUP1
000003b9: CALLDATALOAD
000003ba: SWAP1
000003bb: PUSH1 0x20
000003bd: ADD
000003be: SWAP2
000003bf: DUP5
000003c0: PUSH1 0x20
000003c2: DUP4
000003c3: MUL
000003c4: DUP5
000003c5: ADD
000003c6: GT
000003c7: PUSH1 0x01
000003c9: PUSH1 0x20
000003cb: SHL
000003cc: DUP4
000003cd: GT
000003ce: OR
000003cf: ISZERO
000003d0: PUSH2 0x03d8
000003d3: JUMPI
000003d4: PUSH1 0x00
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: SWAP2
000003da: SWAP1
000003db: DUP1
000003dc: DUP1
000003dd: PUSH1 0x20
000003df: MUL
000003e0: PUSH1 0x20
000003e2: ADD
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: SWAP1
000003e7: DUP2
000003e8: ADD
000003e9: PUSH1 0x40
000003eb: MSTORE
000003ec: DUP1
000003ed: SWAP4
000003ee: SWAP3
000003ef: SWAP2
000003f0: SWAP1
000003f1: DUP2
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x20
000003f6: ADD
000003f7: DUP4
000003f8: DUP4
000003f9: PUSH1 0x20
000003fb: MUL
000003fc: DUP1
000003fd: DUP3
000003fe: DUP5
000003ff: CALLDATACOPY
00000400: PUSH1 0x00
00000402: SWAP3
00000403: ADD
00000404: SWAP2
00000405: SWAP1
00000406: SWAP2
00000407: MSTORE
00000408: POP
00000409: SWAP3
0000040a: SWAP6
0000040b: SWAP5
0000040c: SWAP4
0000040d: PUSH1 0x20
0000040f: DUP2
00000410: ADD
00000411: SWAP4
00000412: POP
00000413: CALLDATALOAD
00000414: SWAP2
00000415: POP
00000416: POP
00000417: PUSH1 0x01
00000419: PUSH1 0x20
0000041b: SHL
0000041c: DUP2
0000041d: GT
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: DUP3
00000429: ADD
0000042a: DUP4
0000042b: PUSH1 0x20
0000042d: DUP3
0000042e: ADD
0000042f: GT
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: DUP1
0000043b: CALLDATALOAD
0000043c: SWAP1
0000043d: PUSH1 0x20
0000043f: ADD
00000440: SWAP2
00000441: DUP5
00000442: PUSH1 0x20
00000444: DUP4
00000445: MUL
00000446: DUP5
00000447: ADD
00000448: GT
00000449: PUSH1 0x01
0000044b: PUSH1 0x20
0000044d: SHL
0000044e: DUP4
0000044f: GT
00000450: OR
00000451: ISZERO
00000452: PUSH2 0x045a
00000455: JUMPI
00000456: PUSH1 0x00
00000458: DUP1
00000459: REVERT
0000045a: JUMPDEST
0000045b: SWAP2
0000045c: SWAP1
0000045d: DUP1
0000045e: DUP1
0000045f: PUSH1 0x20
00000461: MUL
00000462: PUSH1 0x20
00000464: ADD
00000465: PUSH1 0x40
00000467: MLOAD
00000468: SWAP1
00000469: DUP2
0000046a: ADD
0000046b: PUSH1 0x40
0000046d: MSTORE
0000046e: DUP1
0000046f: SWAP4
00000470: SWAP3
00000471: SWAP2
00000472: SWAP1
00000473: DUP2
00000474: DUP2
00000475: MSTORE
00000476: PUSH1 0x20
00000478: ADD
00000479: DUP4
0000047a: DUP4
0000047b: PUSH1 0x20
0000047d: MUL
0000047e: DUP1
0000047f: DUP3
00000480: DUP5
00000481: CALLDATACOPY
00000482: PUSH1 0x00
00000484: SWAP3
00000485: ADD
00000486: SWAP2
00000487: SWAP1
00000488: SWAP2
00000489: MSTORE
0000048a: POP
0000048b: SWAP3
0000048c: SWAP6
0000048d: PUSH1 0x01
0000048f: PUSH1 0x01
00000491: PUSH1 0xa0
00000493: SHL
00000494: SUB
00000495: DUP6
00000496: CALLDATALOAD
00000497: AND
00000498: SWAP6
00000499: PUSH1 0x20
0000049b: DUP7
0000049c: ADD
0000049d: CALLDATALOAD
0000049e: SWAP6
0000049f: SWAP2
000004a0: SWAP5
000004a1: POP
000004a2: SWAP3
000004a3: POP
000004a4: PUSH1 0x60
000004a6: DUP2
000004a7: ADD
000004a8: SWAP2
000004a9: POP
000004aa: PUSH1 0x40
000004ac: ADD
000004ad: CALLDATALOAD
000004ae: PUSH1 0x01
000004b0: PUSH1 0x20
000004b2: SHL
000004b3: DUP2
000004b4: GT
000004b5: ISZERO
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: DUP3
000004c0: ADD
000004c1: DUP4
000004c2: PUSH1 0x20
000004c4: DUP3
000004c5: ADD
000004c6: GT
000004c7: ISZERO
000004c8: PUSH2 0x04d0
000004cb: JUMPI
000004cc: PUSH1 0x00
000004ce: DUP1
000004cf: REVERT
000004d0: JUMPDEST
000004d1: DUP1
000004d2: CALLDATALOAD
000004d3: SWAP1
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: SWAP2
000004d8: DUP5
000004d9: PUSH1 0x01
000004db: DUP4
000004dc: MUL
000004dd: DUP5
000004de: ADD
000004df: GT
000004e0: PUSH1 0x01
000004e2: PUSH1 0x20
000004e4: SHL
000004e5: DUP4
000004e6: GT
000004e7: OR
000004e8: ISZERO
000004e9: PUSH2 0x04f1
000004ec: JUMPI
000004ed: PUSH1 0x00
000004ef: DUP1
000004f0: REVERT
000004f1: JUMPDEST
000004f2: SWAP2
000004f3: SWAP1
000004f4: DUP1
000004f5: DUP1
000004f6: PUSH1 0x1f
000004f8: ADD
000004f9: PUSH1 0x20
000004fb: DUP1
000004fc: SWAP2
000004fd: DIV
000004fe: MUL
000004ff: PUSH1 0x20
00000501: ADD
00000502: PUSH1 0x40
00000504: MLOAD
00000505: SWAP1
00000506: DUP2
00000507: ADD
00000508: PUSH1 0x40
0000050a: MSTORE
0000050b: DUP1
0000050c: SWAP4
0000050d: SWAP3
0000050e: SWAP2
0000050f: SWAP1
00000510: DUP2
00000511: DUP2
00000512: MSTORE
00000513: PUSH1 0x20
00000515: ADD
00000516: DUP4
00000517: DUP4
00000518: DUP1
00000519: DUP3
0000051a: DUP5
0000051b: CALLDATACOPY
0000051c: PUSH1 0x00
0000051e: SWAP3
0000051f: ADD
00000520: SWAP2
00000521: SWAP1
00000522: SWAP2
00000523: MSTORE
00000524: POP
00000525: SWAP3
00000526: SWAP6
00000527: POP
00000528: POP
00000529: PUSH1 0x01
0000052b: PUSH1 0x01
0000052d: PUSH1 0xa0
0000052f: SHL
00000530: SUB
00000531: DUP4
00000532: CALLDATALOAD
00000533: AND
00000534: SWAP4
00000535: POP
00000536: POP
00000537: POP
00000538: PUSH1 0x20
0000053a: ADD
0000053b: CALLDATALOAD
0000053c: PUSH2 0x07a0
0000053f: JUMP
00000540: JUMPDEST
00000541: STOP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH2 0x0557
00000553: PUSH2 0x0e59
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x40
0000055a: DUP1
0000055b: MLOAD
0000055c: PUSH1 0x20
0000055e: DUP1
0000055f: DUP3
00000560: MSTORE
00000561: DUP4
00000562: MLOAD
00000563: DUP2
00000564: DUP4
00000565: ADD
00000566: MSTORE
00000567: DUP4
00000568: MLOAD
00000569: SWAP2
0000056a: SWAP3
0000056b: DUP4
0000056c: SWAP3
0000056d: SWAP1
0000056e: DUP4
0000056f: ADD
00000570: SWAP2
00000571: DUP6
00000572: DUP2
00000573: ADD
00000574: SWAP2
00000575: MUL
00000576: DUP1
00000577: DUP4
00000578: DUP4
00000579: PUSH1 0x00
0000057b: JUMPDEST
0000057c: DUP4
0000057d: DUP2
0000057e: LT
0000057f: ISZERO
00000580: PUSH2 0x0593
00000583: JUMPI
00000584: DUP2
00000585: DUP2
00000586: ADD
00000587: MLOAD
00000588: DUP4
00000589: DUP3
0000058a: ADD
0000058b: MSTORE
0000058c: PUSH1 0x20
0000058e: ADD
0000058f: PUSH2 0x057b
00000592: JUMP
00000593: JUMPDEST
00000594: POP
00000595: POP
00000596: POP
00000597: POP
00000598: SWAP1
00000599: POP
0000059a: ADD
0000059b: SWAP3
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: PUSH1 0x40
000005a1: MLOAD
000005a2: DUP1
000005a3: SWAP2
000005a4: SUB
000005a5: SWAP1
000005a6: RETURN
000005a7: JUMPDEST
000005a8: CALLVALUE
000005a9: DUP1
000005aa: ISZERO
000005ab: PUSH2 0x05b3
000005ae: JUMPI
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x015a
000005b8: PUSH2 0x0ebb
000005bb: JUMP
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: DUP1
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: PUSH2 0x015a
000005cd: PUSH2 0x0ec1
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x0181
000005e2: PUSH2 0x0ee5
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: PUSH2 0x0181
000005f7: PUSH2 0x0f10
000005fa: JUMP
000005fb: JUMPDEST
000005fc: CALLVALUE
000005fd: DUP1
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH1 0x00
00000605: DUP1
00000606: REVERT
00000607: JUMPDEST
00000608: POP
00000609: PUSH2 0x015a
0000060c: PUSH2 0x0f3e
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH32 0x32f3de0d7fc1cdd909bb4d992a94061e800669c611b9d07f137df1f4bb85f097
00000632: DUP2
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x40
00000637: MLOAD
00000638: DUP1
00000639: PUSH1 0x60
0000063b: ADD
0000063c: PUSH1 0x40
0000063e: MSTORE
0000063f: DUP1
00000640: PUSH1 0x23
00000642: DUP2
00000643: MSTORE
00000644: PUSH1 0x20
00000646: ADD
00000647: PUSH2 0x0f51
0000064a: PUSH1 0x23
0000064c: SWAP2
0000064d: CODECOPY
0000064e: DUP2
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7
00000672: DUP2
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH32 0xd87cd6ef79d4e2b95e15ce8abf732db51ec771f1ca2edccf22a46c729ac56472
00000696: DUP2
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH1 0x02
0000069b: PUSH1 0x20
0000069d: MSTORE
0000069e: PUSH1 0x00
000006a0: SWAP1
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x40
000006a5: SWAP1
000006a6: KECCAK256
000006a7: SLOAD
000006a8: PUSH1 0xff
000006aa: AND
000006ab: DUP2
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH1 0x01
000006b0: SLOAD
000006b1: DUP2
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: DUP1
000006b8: PUSH1 0x40
000006ba: ADD
000006bb: PUSH1 0x40
000006bd: MSTORE
000006be: DUP1
000006bf: PUSH1 0x1f
000006c1: DUP2
000006c2: MSTORE
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: PUSH32 0x46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e5400
000006e7: DUP2
000006e8: MSTORE
000006e9: POP
000006ea: DUP2
000006eb: JUMP
000006ec: JUMPDEST
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: DUP1
000006f1: PUSH1 0x40
000006f3: ADD
000006f4: PUSH1 0x40
000006f6: MSTORE
000006f7: DUP1
000006f8: PUSH1 0x0e
000006fa: DUP2
000006fb: MSTORE
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: PUSH14 0x2ba927a7239022ac22a1aaaa27a9
0000070e: PUSH1 0x91
00000710: SHL
00000711: DUP2
00000712: MSTORE
00000713: POP
00000714: DUP2
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: DUP1
0000071b: PUSH1 0x40
0000071d: ADD
0000071e: PUSH1 0x40
00000720: MSTORE
00000721: DUP1
00000722: PUSH1 0x1c
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: ADD
00000729: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000
0000074a: DUP2
0000074b: MSTORE
0000074c: POP
0000074d: DUP2
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x40
00000752: MLOAD
00000753: DUP1
00000754: PUSH1 0x40
00000756: ADD
00000757: PUSH1 0x40
00000759: MSTORE
0000075a: DUP1
0000075b: PUSH1 0x11
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x20
00000761: ADD
00000762: PUSH17 0x5448524553484f4c442f5349474e455253
00000774: PUSH1 0x78
00000776: SHL
00000777: DUP2
00000778: MSTORE
00000779: POP
0000077a: DUP2
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
0000079e: DUP2
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH1 0x01
000007a3: SLOAD
000007a4: DUP8
000007a5: MLOAD
000007a6: EQ
000007a7: PUSH1 0x40
000007a9: MLOAD
000007aa: DUP1
000007ab: PUSH1 0x40
000007ad: ADD
000007ae: PUSH1 0x40
000007b0: MSTORE
000007b1: DUP1
000007b2: PUSH1 0x1c
000007b4: DUP2
000007b5: MSTORE
000007b6: PUSH1 0x20
000007b8: ADD
000007b9: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000
000007da: DUP2
000007db: MSTORE
000007dc: POP
000007dd: SWAP1
000007de: PUSH2 0x0865
000007e1: JUMPI
000007e2: PUSH1 0x40
000007e4: MLOAD
000007e5: PUSH3 0x461bcd
000007e9: PUSH1 0xe5
000007eb: SHL
000007ec: DUP2
000007ed: MSTORE
000007ee: PUSH1 0x04
000007f0: ADD
000007f1: DUP1
000007f2: DUP1
000007f3: PUSH1 0x20
000007f5: ADD
000007f6: DUP3
000007f7: DUP2
000007f8: SUB
000007f9: DUP3
000007fa: MSTORE
000007fb: DUP4
000007fc: DUP2
000007fd: DUP2
000007fe: MLOAD
000007ff: DUP2
00000800: MSTORE
00000801: PUSH1 0x20
00000803: ADD
00000804: SWAP2
00000805: POP
00000806: DUP1
00000807: MLOAD
00000808: SWAP1
00000809: PUSH1 0x20
0000080b: ADD
0000080c: SWAP1
0000080d: DUP1
0000080e: DUP4
0000080f: DUP4
00000810: PUSH1 0x00
00000812: JUMPDEST
00000813: DUP4
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x082a
0000081a: JUMPI
0000081b: DUP2
0000081c: DUP2
0000081d: ADD
0000081e: MLOAD
0000081f: DUP4
00000820: DUP3
00000821: ADD
00000822: MSTORE
00000823: PUSH1 0x20
00000825: ADD
00000826: PUSH2 0x0812
00000829: JUMP
0000082a: JUMPDEST
0000082b: POP
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: SWAP1
00000830: POP
00000831: SWAP1
00000832: DUP2
00000833: ADD
00000834: SWAP1
00000835: PUSH1 0x1f
00000837: AND
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x0857
0000083d: JUMPI
0000083e: DUP1
0000083f: DUP3
00000840: SUB
00000841: DUP1
00000842: MLOAD
00000843: PUSH1 0x01
00000845: DUP4
00000846: PUSH1 0x20
00000848: SUB
00000849: PUSH2 0x0100
0000084c: EXP
0000084d: SUB
0000084e: NOT
0000084f: AND
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x20
00000854: ADD
00000855: SWAP2
00000856: POP
00000857: JUMPDEST
00000858: POP
00000859: SWAP3
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: DUP1
00000861: SWAP2
00000862: SUB
00000863: SWAP1
00000864: REVERT
00000865: JUMPDEST
00000866: POP
00000867: DUP6
00000868: MLOAD
00000869: DUP8
0000086a: MLOAD
0000086b: EQ
0000086c: DUP1
0000086d: ISZERO
0000086e: PUSH2 0x0878
00000871: JUMPI
00000872: POP
00000873: DUP8
00000874: MLOAD
00000875: DUP8
00000876: MLOAD
00000877: EQ
00000878: JUMPDEST
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: DUP1
0000087d: PUSH1 0x40
0000087f: ADD
00000880: PUSH1 0x40
00000882: MSTORE
00000883: DUP1
00000884: PUSH1 0x1c
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x20
0000088a: ADD
0000088b: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000
000008ac: DUP2
000008ad: MSTORE
000008ae: POP
000008af: SWAP1
000008b0: PUSH2 0x08fa
000008b3: JUMPI
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: PUSH3 0x461bcd
000008bb: PUSH1 0xe5
000008bd: SHL
000008be: DUP2
000008bf: MSTORE
000008c0: PUSH1 0x20
000008c2: PUSH1 0x04
000008c4: DUP3
000008c5: ADD
000008c6: DUP2
000008c7: DUP2
000008c8: MSTORE
000008c9: DUP4
000008ca: MLOAD
000008cb: PUSH1 0x24
000008cd: DUP5
000008ce: ADD
000008cf: MSTORE
000008d0: DUP4
000008d1: MLOAD
000008d2: SWAP1
000008d3: SWAP3
000008d4: DUP4
000008d5: SWAP3
000008d6: PUSH1 0x44
000008d8: SWAP1
000008d9: SWAP2
000008da: ADD
000008db: SWAP2
000008dc: SWAP1
000008dd: DUP6
000008de: ADD
000008df: SWAP1
000008e0: DUP1
000008e1: DUP4
000008e2: DUP4
000008e3: PUSH1 0x00
000008e5: DUP4
000008e6: ISZERO
000008e7: PUSH2 0x082a
000008ea: JUMPI
000008eb: DUP2
000008ec: DUP2
000008ed: ADD
000008ee: MLOAD
000008ef: DUP4
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH1 0x20
000008f5: ADD
000008f6: PUSH2 0x0812
000008f9: JUMP
000008fa: JUMPDEST
000008fb: POP
000008fc: PUSH1 0x01
000008fe: PUSH1 0x01
00000900: PUSH1 0xa0
00000902: SHL
00000903: SUB
00000904: DUP3
00000905: AND
00000906: CALLER
00000907: EQ
00000908: DUP1
00000909: PUSH2 0x0919
0000090c: JUMPI
0000090d: POP
0000090e: PUSH1 0x01
00000910: PUSH1 0x01
00000912: PUSH1 0xa0
00000914: SHL
00000915: SUB
00000916: DUP3
00000917: AND
00000918: ISZERO
00000919: JUMPDEST
0000091a: PUSH1 0x40
0000091c: MLOAD
0000091d: DUP1
0000091e: PUSH1 0x40
00000920: ADD
00000921: PUSH1 0x40
00000923: MSTORE
00000924: DUP1
00000925: PUSH1 0x0e
00000927: DUP2
00000928: MSTORE
00000929: PUSH1 0x20
0000092b: ADD
0000092c: PUSH14 0x2ba927a7239022ac22a1aaaa27a9
0000093b: PUSH1 0x91
0000093d: SHL
0000093e: DUP2
0000093f: MSTORE
00000940: POP
00000941: SWAP1
00000942: PUSH2 0x098c
00000945: JUMPI
00000946: PUSH1 0x40
00000948: MLOAD
00000949: PUSH3 0x461bcd
0000094d: PUSH1 0xe5
0000094f: SHL
00000950: DUP2
00000951: MSTORE
00000952: PUSH1 0x20
00000954: PUSH1 0x04
00000956: DUP3
00000957: ADD
00000958: DUP2
00000959: DUP2
0000095a: MSTORE
0000095b: DUP4
0000095c: MLOAD
0000095d: PUSH1 0x24
0000095f: DUP5
00000960: ADD
00000961: MSTORE
00000962: DUP4
00000963: MLOAD
00000964: SWAP1
00000965: SWAP3
00000966: DUP4
00000967: SWAP3
00000968: PUSH1 0x44
0000096a: SWAP1
0000096b: SWAP2
0000096c: ADD
0000096d: SWAP2
0000096e: SWAP1
0000096f: DUP6
00000970: ADD
00000971: SWAP1
00000972: DUP1
00000973: DUP4
00000974: DUP4
00000975: PUSH1 0x00
00000977: DUP4
00000978: ISZERO
00000979: PUSH2 0x082a
0000097c: JUMPI
0000097d: DUP2
0000097e: DUP2
0000097f: ADD
00000980: MLOAD
00000981: DUP4
00000982: DUP3
00000983: ADD
00000984: MSTORE
00000985: PUSH1 0x20
00000987: ADD
00000988: PUSH2 0x0812
0000098b: JUMP
0000098c: JUMPDEST
0000098d: POP
0000098e: DUP3
0000098f: MLOAD
00000990: PUSH1 0x20
00000992: DUP1
00000993: DUP6
00000994: ADD
00000995: SWAP2
00000996: SWAP1
00000997: SWAP2
00000998: KECCAK256
00000999: PUSH1 0x00
0000099b: DUP1
0000099c: SLOAD
0000099d: PUSH1 0x40
0000099f: DUP1
000009a0: MLOAD
000009a1: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7
000009c2: DUP2
000009c3: DUP8
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH1 0x01
000009c8: PUSH1 0x01
000009ca: PUSH1 0xa0
000009cc: SHL
000009cd: SUB
000009ce: DUP1
000009cf: DUP13
000009d0: AND
000009d1: DUP3
000009d2: DUP5
000009d3: ADD
000009d4: MSTORE
000009d5: PUSH1 0x60
000009d7: DUP3
000009d8: ADD
000009d9: DUP12
000009da: SWAP1
000009db: MSTORE
000009dc: PUSH1 0x80
000009de: DUP3
000009df: ADD
000009e0: SWAP6
000009e1: SWAP1
000009e2: SWAP6
000009e3: MSTORE
000009e4: PUSH1 0xa0
000009e6: DUP2
000009e7: ADD
000009e8: SWAP3
000009e9: SWAP1
000009ea: SWAP3
000009eb: MSTORE
000009ec: SWAP3
000009ed: DUP7
000009ee: AND
000009ef: PUSH1 0xc0
000009f1: DUP3
000009f2: ADD
000009f3: MSTORE
000009f4: PUSH1 0xe0
000009f6: DUP1
000009f7: DUP3
000009f8: ADD
000009f9: DUP7
000009fa: SWAP1
000009fb: MSTORE
000009fc: DUP4
000009fd: MLOAD
000009fe: DUP1
000009ff: DUP4
00000a00: SUB
00000a01: SWAP1
00000a02: SWAP2
00000a03: ADD
00000a04: DUP2
00000a05: MSTORE
00000a06: PUSH2 0x0100
00000a09: DUP3
00000a0a: ADD
00000a0b: DUP5
00000a0c: MSTORE
00000a0d: DUP1
00000a0e: MLOAD
00000a0f: SWAP1
00000a10: DUP6
00000a11: ADD
00000a12: KECCAK256
00000a13: PUSH1 0x04
00000a15: SLOAD
00000a16: PUSH2 0x1901
00000a19: PUSH1 0xf0
00000a1b: SHL
00000a1c: PUSH2 0x0120
00000a1f: DUP5
00000a20: ADD
00000a21: MSTORE
00000a22: PUSH2 0x0122
00000a25: DUP4
00000a26: ADD
00000a27: MSTORE
00000a28: PUSH2 0x0142
00000a2b: DUP1
00000a2c: DUP4
00000a2d: ADD
00000a2e: DUP3
00000a2f: SWAP1
00000a30: MSTORE
00000a31: DUP5
00000a32: MLOAD
00000a33: DUP1
00000a34: DUP5
00000a35: SUB
00000a36: SWAP1
00000a37: SWAP2
00000a38: ADD
00000a39: DUP2
00000a3a: MSTORE
00000a3b: PUSH2 0x0162
00000a3e: SWAP1
00000a3f: SWAP3
00000a40: ADD
00000a41: SWAP1
00000a42: SWAP4
00000a43: MSTORE
00000a44: DUP1
00000a45: MLOAD
00000a46: SWAP4
00000a47: ADD
00000a48: SWAP3
00000a49: SWAP1
00000a4a: SWAP3
00000a4b: KECCAK256
00000a4c: SWAP1
00000a4d: SWAP2
00000a4e: DUP1
00000a4f: JUMPDEST
00000a50: PUSH1 0x01
00000a52: SLOAD
00000a53: DUP2
00000a54: LT
00000a55: ISZERO
00000a56: PUSH2 0x0bb5
00000a59: JUMPI
00000a5a: PUSH1 0x00
00000a5c: PUSH1 0x01
00000a5e: DUP5
00000a5f: DUP15
00000a60: DUP5
00000a61: DUP2
00000a62: MLOAD
00000a63: DUP2
00000a64: LT
00000a65: PUSH2 0x0a6a
00000a68: JUMPI
00000a69: INVALID
00000a6a: JUMPDEST
00000a6b: PUSH1 0x20
00000a6d: MUL
00000a6e: PUSH1 0x20
00000a70: ADD
00000a71: ADD
00000a72: MLOAD
00000a73: DUP15
00000a74: DUP6
00000a75: DUP2
00000a76: MLOAD
00000a77: DUP2
00000a78: LT
00000a79: PUSH2 0x0a7e
00000a7c: JUMPI
00000a7d: INVALID
00000a7e: JUMPDEST
00000a7f: PUSH1 0x20
00000a81: MUL
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: ADD
00000a86: MLOAD
00000a87: DUP15
00000a88: DUP7
00000a89: DUP2
00000a8a: MLOAD
00000a8b: DUP2
00000a8c: LT
00000a8d: PUSH2 0x0a92
00000a90: JUMPI
00000a91: INVALID
00000a92: JUMPDEST
00000a93: PUSH1 0x20
00000a95: MUL
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: ADD
00000a9a: MLOAD
00000a9b: PUSH1 0x40
00000a9d: MLOAD
00000a9e: PUSH1 0x00
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: PUSH1 0x40
00000aa7: MSTORE
00000aa8: PUSH1 0x40
00000aaa: MLOAD
00000aab: DUP1
00000aac: DUP6
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: ADD
00000ab2: DUP5
00000ab3: PUSH1 0xff
00000ab5: AND
00000ab6: PUSH1 0xff
00000ab8: AND
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: DUP4
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: DUP3
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: SWAP5
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: PUSH1 0x20
00000ad2: PUSH1 0x40
00000ad4: MLOAD
00000ad5: PUSH1 0x20
00000ad7: DUP2
00000ad8: SUB
00000ad9: SWAP1
00000ada: DUP1
00000adb: DUP5
00000adc: SUB
00000add: SWAP1
00000ade: DUP6
00000adf: GAS
00000ae0: STATICCALL
00000ae1: ISZERO
00000ae2: DUP1
00000ae3: ISZERO
00000ae4: PUSH2 0x0af1
00000ae7: JUMPI
00000ae8: RETURNDATASIZE
00000ae9: PUSH1 0x00
00000aeb: DUP1
00000aec: RETURNDATACOPY
00000aed: RETURNDATASIZE
00000aee: PUSH1 0x00
00000af0: REVERT
00000af1: JUMPDEST
00000af2: POP
00000af3: POP
00000af4: POP
00000af5: PUSH1 0x20
00000af7: PUSH1 0x40
00000af9: MLOAD
00000afa: SUB
00000afb: MLOAD
00000afc: SWAP1
00000afd: POP
00000afe: DUP3
00000aff: PUSH1 0x01
00000b01: PUSH1 0x01
00000b03: PUSH1 0xa0
00000b05: SHL
00000b06: SUB
00000b07: AND
00000b08: DUP2
00000b09: PUSH1 0x01
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0xa0
00000b0f: SHL
00000b10: SUB
00000b11: AND
00000b12: GT
00000b13: DUP1
00000b14: ISZERO
00000b15: PUSH2 0x0b36
00000b18: JUMPI
00000b19: POP
00000b1a: PUSH1 0x01
00000b1c: PUSH1 0x01
00000b1e: PUSH1 0xa0
00000b20: SHL
00000b21: SUB
00000b22: DUP2
00000b23: AND
00000b24: PUSH1 0x00
00000b26: SWAP1
00000b27: DUP2
00000b28: MSTORE
00000b29: PUSH1 0x02
00000b2b: PUSH1 0x20
00000b2d: MSTORE
00000b2e: PUSH1 0x40
00000b30: SWAP1
00000b31: KECCAK256
00000b32: SLOAD
00000b33: PUSH1 0xff
00000b35: AND
00000b36: JUMPDEST
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: PUSH1 0x40
00000b3d: ADD
00000b3e: PUSH1 0x40
00000b40: MSTORE
00000b41: DUP1
00000b42: PUSH1 0x0f
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x20
00000b48: ADD
00000b49: PUSH15 0x57524f4e47205349474e4154555245
00000b59: PUSH1 0x88
00000b5b: SHL
00000b5c: DUP2
00000b5d: MSTORE
00000b5e: POP
00000b5f: SWAP1
00000b60: PUSH2 0x0baa
00000b63: JUMPI
00000b64: PUSH1 0x40
00000b66: MLOAD
00000b67: PUSH3 0x461bcd
00000b6b: PUSH1 0xe5
00000b6d: SHL
00000b6e: DUP2
00000b6f: MSTORE
00000b70: PUSH1 0x20
00000b72: PUSH1 0x04
00000b74: DUP3
00000b75: ADD
00000b76: DUP2
00000b77: DUP2
00000b78: MSTORE
00000b79: DUP4
00000b7a: MLOAD
00000b7b: PUSH1 0x24
00000b7d: DUP5
00000b7e: ADD
00000b7f: MSTORE
00000b80: DUP4
00000b81: MLOAD
00000b82: SWAP1
00000b83: SWAP3
00000b84: DUP4
00000b85: SWAP3
00000b86: PUSH1 0x44
00000b88: SWAP1
00000b89: SWAP2
00000b8a: ADD
00000b8b: SWAP2
00000b8c: SWAP1
00000b8d: DUP6
00000b8e: ADD
00000b8f: SWAP1
00000b90: DUP1
00000b91: DUP4
00000b92: DUP4
00000b93: PUSH1 0x00
00000b95: DUP4
00000b96: ISZERO
00000b97: PUSH2 0x082a
00000b9a: JUMPI
00000b9b: DUP2
00000b9c: DUP2
00000b9d: ADD
00000b9e: MLOAD
00000b9f: DUP4
00000ba0: DUP3
00000ba1: ADD
00000ba2: MSTORE
00000ba3: PUSH1 0x20
00000ba5: ADD
00000ba6: PUSH2 0x0812
00000ba9: JUMP
00000baa: JUMPDEST
00000bab: POP
00000bac: SWAP2
00000bad: POP
00000bae: PUSH1 0x01
00000bb0: ADD
00000bb1: PUSH2 0x0a4f
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: PUSH1 0x00
00000bb9: DUP1
00000bba: SLOAD
00000bbb: PUSH1 0x01
00000bbd: ADD
00000bbe: SWAP1
00000bbf: SSTORE
00000bc0: DUP6
00000bc1: MLOAD
00000bc2: ISZERO
00000bc3: PUSH2 0x0c53
00000bc6: JUMPI
00000bc7: PUSH2 0x0bcf
00000bca: DUP9
00000bcb: PUSH2 0x0f44
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x40
00000bd2: MLOAD
00000bd3: DUP1
00000bd4: PUSH1 0x40
00000bd6: ADD
00000bd7: PUSH1 0x40
00000bd9: MSTORE
00000bda: DUP1
00000bdb: PUSH1 0x1f
00000bdd: DUP2
00000bde: MSTORE
00000bdf: PUSH1 0x20
00000be1: ADD
00000be2: PUSH32 0x46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e5400
00000c03: DUP2
00000c04: MSTORE
00000c05: POP
00000c06: SWAP1
00000c07: PUSH2 0x0c51
00000c0a: JUMPI
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: PUSH3 0x461bcd
00000c12: PUSH1 0xe5
00000c14: SHL
00000c15: DUP2
00000c16: MSTORE
00000c17: PUSH1 0x20
00000c19: PUSH1 0x04
00000c1b: DUP3
00000c1c: ADD
00000c1d: DUP2
00000c1e: DUP2
00000c1f: MSTORE
00000c20: DUP4
00000c21: MLOAD
00000c22: PUSH1 0x24
00000c24: DUP5
00000c25: ADD
00000c26: MSTORE
00000c27: DUP4
00000c28: MLOAD
00000c29: SWAP1
00000c2a: SWAP3
00000c2b: DUP4
00000c2c: SWAP3
00000c2d: PUSH1 0x44
00000c2f: SWAP1
00000c30: SWAP2
00000c31: ADD
00000c32: SWAP2
00000c33: SWAP1
00000c34: DUP6
00000c35: ADD
00000c36: SWAP1
00000c37: DUP1
00000c38: DUP4
00000c39: DUP4
00000c3a: PUSH1 0x00
00000c3c: DUP4
00000c3d: ISZERO
00000c3e: PUSH2 0x082a
00000c41: JUMPI
00000c42: DUP2
00000c43: DUP2
00000c44: ADD
00000c45: MLOAD
00000c46: DUP4
00000c47: DUP3
00000c48: ADD
00000c49: MSTORE
00000c4a: PUSH1 0x20
00000c4c: ADD
00000c4d: PUSH2 0x0812
00000c50: JUMP
00000c51: JUMPDEST
00000c52: POP
00000c53: JUMPDEST
00000c54: PUSH1 0x00
00000c56: DUP9
00000c57: PUSH1 0x01
00000c59: PUSH1 0x01
00000c5b: PUSH1 0xa0
00000c5d: SHL
00000c5e: SUB
00000c5f: AND
00000c60: DUP6
00000c61: DUP10
00000c62: DUP10
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: DUP1
00000c67: DUP3
00000c68: DUP1
00000c69: MLOAD
00000c6a: SWAP1
00000c6b: PUSH1 0x20
00000c6d: ADD
00000c6e: SWAP1
00000c6f: DUP1
00000c70: DUP4
00000c71: DUP4
00000c72: JUMPDEST
00000c73: PUSH1 0x20
00000c75: DUP4
00000c76: LT
00000c77: PUSH2 0x0c91
00000c7a: JUMPI
00000c7b: DUP1
00000c7c: MLOAD
00000c7d: DUP3
00000c7e: MSTORE
00000c7f: PUSH1 0x1f
00000c81: NOT
00000c82: SWAP1
00000c83: SWAP3
00000c84: ADD
00000c85: SWAP2
00000c86: PUSH1 0x20
00000c88: SWAP2
00000c89: DUP3
00000c8a: ADD
00000c8b: SWAP2
00000c8c: ADD
00000c8d: PUSH2 0x0c72
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH1 0x01
00000c94: DUP4
00000c95: PUSH1 0x20
00000c97: SUB
00000c98: PUSH2 0x0100
00000c9b: EXP
00000c9c: SUB
00000c9d: DUP1
00000c9e: NOT
00000c9f: DUP3
00000ca0: MLOAD
00000ca1: AND
00000ca2: DUP2
00000ca3: DUP5
00000ca4: MLOAD
00000ca5: AND
00000ca6: DUP1
00000ca7: DUP3
00000ca8: OR
00000ca9: DUP6
00000caa: MSTORE
00000cab: POP
00000cac: POP
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: SWAP1
00000cb2: POP
00000cb3: ADD
00000cb4: SWAP2
00000cb5: POP
00000cb6: POP
00000cb7: PUSH1 0x00
00000cb9: PUSH1 0x40
00000cbb: MLOAD
00000cbc: DUP1
00000cbd: DUP4
00000cbe: SUB
00000cbf: DUP2
00000cc0: DUP6
00000cc1: DUP9
00000cc2: DUP9
00000cc3: CALL
00000cc4: SWAP4
00000cc5: POP
00000cc6: POP
00000cc7: POP
00000cc8: POP
00000cc9: RETURNDATASIZE
00000cca: DUP1
00000ccb: PUSH1 0x00
00000ccd: DUP2
00000cce: EQ
00000ccf: PUSH2 0x0cf4
00000cd2: JUMPI
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: SWAP2
00000cd7: POP
00000cd8: PUSH1 0x1f
00000cda: NOT
00000cdb: PUSH1 0x3f
00000cdd: RETURNDATASIZE
00000cde: ADD
00000cdf: AND
00000ce0: DUP3
00000ce1: ADD
00000ce2: PUSH1 0x40
00000ce4: MSTORE
00000ce5: RETURNDATASIZE
00000ce6: DUP3
00000ce7: MSTORE
00000ce8: RETURNDATASIZE
00000ce9: PUSH1 0x00
00000ceb: PUSH1 0x20
00000ced: DUP5
00000cee: ADD
00000cef: RETURNDATACOPY
00000cf0: PUSH2 0x0cf9
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH1 0x60
00000cf7: SWAP2
00000cf8: POP
00000cf9: JUMPDEST
00000cfa: POP
00000cfb: POP
00000cfc: SWAP1
00000cfd: POP
00000cfe: DUP1
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: DUP1
00000d03: PUSH1 0x40
00000d05: ADD
00000d06: PUSH1 0x40
00000d08: MSTORE
00000d09: DUP1
00000d0a: PUSH1 0x12
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: ADD
00000d11: PUSH18 0x125395115493905308151608119052531151
00000d24: PUSH1 0x72
00000d26: SHL
00000d27: DUP2
00000d28: MSTORE
00000d29: POP
00000d2a: SWAP1
00000d2b: PUSH2 0x0d75
00000d2e: JUMPI
00000d2f: PUSH1 0x40
00000d31: MLOAD
00000d32: PUSH3 0x461bcd
00000d36: PUSH1 0xe5
00000d38: SHL
00000d39: DUP2
00000d3a: MSTORE
00000d3b: PUSH1 0x20
00000d3d: PUSH1 0x04
00000d3f: DUP3
00000d40: ADD
00000d41: DUP2
00000d42: DUP2
00000d43: MSTORE
00000d44: DUP4
00000d45: MLOAD
00000d46: PUSH1 0x24
00000d48: DUP5
00000d49: ADD
00000d4a: MSTORE
00000d4b: DUP4
00000d4c: MLOAD
00000d4d: SWAP1
00000d4e: SWAP3
00000d4f: DUP4
00000d50: SWAP3
00000d51: PUSH1 0x44
00000d53: SWAP1
00000d54: SWAP2
00000d55: ADD
00000d56: SWAP2
00000d57: SWAP1
00000d58: DUP6
00000d59: ADD
00000d5a: SWAP1
00000d5b: DUP1
00000d5c: DUP4
00000d5d: DUP4
00000d5e: PUSH1 0x00
00000d60: DUP4
00000d61: ISZERO
00000d62: PUSH2 0x082a
00000d65: JUMPI
00000d66: DUP2
00000d67: DUP2
00000d68: ADD
00000d69: MLOAD
00000d6a: DUP4
00000d6b: DUP3
00000d6c: ADD
00000d6d: MSTORE
00000d6e: PUSH1 0x20
00000d70: ADD
00000d71: PUSH2 0x0812
00000d74: JUMP
00000d75: JUMPDEST
00000d76: POP
00000d77: PUSH32 0x187ae0bfb8619f02a4db1cfef70a54e5722d00d8fcfe6811f1a1f044633ca0a7
00000d98: CALLER
00000d99: DUP11
00000d9a: DUP11
00000d9b: DUP11
00000d9c: PUSH1 0x40
00000d9e: MLOAD
00000d9f: DUP1
00000da0: DUP6
00000da1: PUSH1 0x01
00000da3: PUSH1 0x01
00000da5: PUSH1 0xa0
00000da7: SHL
00000da8: SUB
00000da9: AND
00000daa: PUSH1 0x01
00000dac: PUSH1 0x01
00000dae: PUSH1 0xa0
00000db0: SHL
00000db1: SUB
00000db2: AND
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: DUP5
00000db9: PUSH1 0x01
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0xa0
00000dbf: SHL
00000dc0: SUB
00000dc1: AND
00000dc2: PUSH1 0x01
00000dc4: PUSH1 0x01
00000dc6: PUSH1 0xa0
00000dc8: SHL
00000dc9: SUB
00000dca: AND
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x20
00000dcf: ADD
00000dd0: DUP4
00000dd1: DUP2
00000dd2: MSTORE
00000dd3: PUSH1 0x20
00000dd5: ADD
00000dd6: DUP1
00000dd7: PUSH1 0x20
00000dd9: ADD
00000dda: DUP3
00000ddb: DUP2
00000ddc: SUB
00000ddd: DUP3
00000dde: MSTORE
00000ddf: DUP4
00000de0: DUP2
00000de1: DUP2
00000de2: MLOAD
00000de3: DUP2
00000de4: MSTORE
00000de5: PUSH1 0x20
00000de7: ADD
00000de8: SWAP2
00000de9: POP
00000dea: DUP1
00000deb: MLOAD
00000dec: SWAP1
00000ded: PUSH1 0x20
00000def: ADD
00000df0: SWAP1
00000df1: DUP1
00000df2: DUP4
00000df3: DUP4
00000df4: PUSH1 0x00
00000df6: JUMPDEST
00000df7: DUP4
00000df8: DUP2
00000df9: LT
00000dfa: ISZERO
00000dfb: PUSH2 0x0e0e
00000dfe: JUMPI
00000dff: DUP2
00000e00: DUP2
00000e01: ADD
00000e02: MLOAD
00000e03: DUP4
00000e04: DUP3
00000e05: ADD
00000e06: MSTORE
00000e07: PUSH1 0x20
00000e09: ADD
00000e0a: PUSH2 0x0df6
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: POP
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: SWAP1
00000e14: POP
00000e15: SWAP1
00000e16: DUP2
00000e17: ADD
00000e18: SWAP1
00000e19: PUSH1 0x1f
00000e1b: AND
00000e1c: DUP1
00000e1d: ISZERO
00000e1e: PUSH2 0x0e3b
00000e21: JUMPI
00000e22: DUP1
00000e23: DUP3
00000e24: SUB
00000e25: DUP1
00000e26: MLOAD
00000e27: PUSH1 0x01
00000e29: DUP4
00000e2a: PUSH1 0x20
00000e2c: SUB
00000e2d: PUSH2 0x0100
00000e30: EXP
00000e31: SUB
00000e32: NOT
00000e33: AND
00000e34: DUP2
00000e35: MSTORE
00000e36: PUSH1 0x20
00000e38: ADD
00000e39: SWAP2
00000e3a: POP
00000e3b: JUMPDEST
00000e3c: POP
00000e3d: SWAP6
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: POP
00000e42: POP
00000e43: POP
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: DUP1
00000e48: SWAP2
00000e49: SUB
00000e4a: SWAP1
00000e4b: LOG1
00000e4c: POP
00000e4d: POP
00000e4e: POP
00000e4f: POP
00000e50: POP
00000e51: POP
00000e52: POP
00000e53: POP
00000e54: POP
00000e55: POP
00000e56: POP
00000e57: POP
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: PUSH1 0x60
00000e5c: PUSH1 0x03
00000e5e: DUP1
00000e5f: SLOAD
00000e60: DUP1
00000e61: PUSH1 0x20
00000e63: MUL
00000e64: PUSH1 0x20
00000e66: ADD
00000e67: PUSH1 0x40
00000e69: MLOAD
00000e6a: SWAP1
00000e6b: DUP2
00000e6c: ADD
00000e6d: PUSH1 0x40
00000e6f: MSTORE
00000e70: DUP1
00000e71: SWAP3
00000e72: SWAP2
00000e73: SWAP1
00000e74: DUP2
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: DUP3
00000e7b: DUP1
00000e7c: SLOAD
00000e7d: DUP1
00000e7e: ISZERO
00000e7f: PUSH2 0x0eb1
00000e82: JUMPI
00000e83: PUSH1 0x20
00000e85: MUL
00000e86: DUP3
00000e87: ADD
00000e88: SWAP2
00000e89: SWAP1
00000e8a: PUSH1 0x00
00000e8c: MSTORE
00000e8d: PUSH1 0x20
00000e8f: PUSH1 0x00
00000e91: KECCAK256
00000e92: SWAP1
00000e93: JUMPDEST
00000e94: DUP2
00000e95: SLOAD
00000e96: PUSH1 0x01
00000e98: PUSH1 0x01
00000e9a: PUSH1 0xa0
00000e9c: SHL
00000e9d: SUB
00000e9e: AND
00000e9f: DUP2
00000ea0: MSTORE
00000ea1: PUSH1 0x01
00000ea3: SWAP1
00000ea4: SWAP2
00000ea5: ADD
00000ea6: SWAP1
00000ea7: PUSH1 0x20
00000ea9: ADD
00000eaa: DUP1
00000eab: DUP4
00000eac: GT
00000ead: PUSH2 0x0e93
00000eb0: JUMPI
00000eb1: JUMPDEST
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: SWAP1
00000eb8: POP
00000eb9: SWAP1
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x00
00000ebe: SLOAD
00000ebf: DUP2
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: PUSH32 0x72dc1dc597006ea524d75bd3377c4663827629e52e27fd2169cca6f90f6d1ef9
00000ee3: DUP2
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: DUP1
00000eea: PUSH1 0x40
00000eec: ADD
00000eed: PUSH1 0x40
00000eef: MSTORE
00000ef0: DUP1
00000ef1: PUSH1 0x0f
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: ADD
00000ef8: PUSH15 0x57524f4e47205349474e4154555245
00000f08: PUSH1 0x88
00000f0a: SHL
00000f0b: DUP2
00000f0c: MSTORE
00000f0d: POP
00000f0e: DUP2
00000f0f: JUMP
00000f10: JUMPDEST
00000f11: PUSH1 0x40
00000f13: MLOAD
00000f14: DUP1
00000f15: PUSH1 0x40
00000f17: ADD
00000f18: PUSH1 0x40
00000f1a: MSTORE
00000f1b: DUP1
00000f1c: PUSH1 0x12
00000f1e: DUP2
00000f1f: MSTORE
00000f20: PUSH1 0x20
00000f22: ADD
00000f23: PUSH18 0x125395115493905308151608119052531151
00000f36: PUSH1 0x72
00000f38: SHL
00000f39: DUP2
00000f3a: MSTORE
00000f3b: POP
00000f3c: DUP2
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: PUSH1 0x04
00000f41: SLOAD
00000f42: DUP2
00000f43: JUMP
00000f44: JUMPDEST
00000f45: EXTCODESIZE
00000f46: PUSH4 0xffffffff
00000f4b: AND
00000f4c: ISZERO
00000f4d: ISZERO
00000f4e: SWAP1
00000f4f: JUMP
00000f50: INVALID
00000f51: MSTORE8
00000f52: BLOBHASH
00000f53: SELFBALANCE
00000f54: UNKNOWN(0x4E)
00000f55: GASLIMIT
00000f56: MSTORE
00000f57: MSTORE8
00000f58: KECCAK256
00000f59: UNKNOWN(0x4D)
00000f5a: SSTORE
00000f5b: MSTORE8
00000f5c: SLOAD
00000f5d: KECCAK256
00000f5e: TIMESTAMP
00000f5f: GASLIMIT
00000f60: KECCAK256
00000f61: BLOBHASH
00000f62: UNKNOWN(0x4E)
00000f63: KECCAK256
00000f64: BLOBHASH
00000f65: UNKNOWN(0x4E)
00000f66: NUMBER
00000f67: MSTORE
00000f68: GASLIMIT
00000f69: COINBASE
00000f6a: MSTORE8
00000f6b: BLOBHASH
00000f6c: UNKNOWN(0x4E)
00000f6d: SELFBALANCE
00000f6e: KECCAK256
00000f6f: UNKNOWN(0x4F)
00000f70: MSTORE
00000f71: DIFFICULTY
00000f72: GASLIMIT
00000f73: MSTORE
00000f74: LOG2
00000f75: PUSH6 0x627a7a723158
00000f7c: KECCAK256
00000f7d: PUSH11 0x40336a351188a254b9c1ec
00000f89: DUP4
00000f8a: UNKNOWN(0xAF)
00000f8b: UNKNOWN(0xB6)
00000f8c: UNKNOWN(0x26)
00000f8d: UNKNOWN(0xE0)
00000f8e: PUSH9 0x4c15434025a81ae3b8
00000f98: EXP
00000f99: UNKNOWN(0xFC)
00000f9a: GAS
00000f9b: DELEGATECALL
00000f9c: UNKNOWN(0xFC)
00000f9d: PUSH5 0x736f6c6343
00000fa3: STOP
00000fa4: SDIV
00000fa5: GT
00000fa6: STOP
00000fa7: ORIGIN