Analysis Run

[codex:555381] OpenAI Codex v0.77.0 (research preview)
[codex:555381] --------
[codex:555381] workdir: /tmp/codex-multi-wp2jvpi6
[codex:555381] model: gpt-5.2-codex
[codex:555381] provider: openai
[codex:555381] approval: never
[codex:555381] sandbox: read-only
[codex:555381] reasoning effort: xhigh
[codex:555381] reasoning summaries: auto
[codex:555381] session id: 019b812e-2c58-7a62-9d78-55fb6ae347e5
[codex:555381] --------
[codex:555381] user
[codex:555381] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:555381] 
[codex:555381] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:555381] 
[codex:555381] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:555381] - Gas inefficiency, code quality, naming, or best practices
[codex:555381] - Theoretical vulnerabilities without a clear extraction path
[codex:555381] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:555381] - Front-running unless it enables theft beyond MEV
[codex:555381] - DoS, griefing, or issues that don't result in attacker profit
[codex:555381] - Missing events, view function issues, or informational findings
[codex:555381] 
[codex:555381] HIGH-VALUE PATTERNS TO HUNT:
[codex:555381] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:555381] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:555381] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:555381] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:555381] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:555381] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:555381] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:555381] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:555381] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:555381] 
[codex:555381] For each finding, you MUST provide:
[codex:555381] 1. Exact file and line numbers of vulnerable code
[codex:555381] 2. Step-by-step exploit transaction sequence
[codex:555381] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:555381] 
[codex:555381] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:555381] 
[codex:555381] Output MUST be valid JSON matching the provided schema.
[codex:555381] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:555381] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:555381] mcp startup: no servers
[codex:555381] 
[codex:555381] thinking
[codex:555381] **Scanning for AUDIT_BUNDLE.txt**
[codex:555381] exec
[codex:555381] /bin/bash -lc ls in /tmp/codex-multi-wp2jvpi6 succeeded in 5ms:
[codex:555381] AUDIT_BUNDLE.txt
[codex:555381] codex-output-schema.json
[codex:555381] contracts
[codex:555381] exec
[codex:555381] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-wp2jvpi6 succeeded in 6ms:
[codex:555381] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:555381] 
[codex:555381] ================================================================================
[codex:555381] FILE: contracts/Contract.sol
[codex:555381] ================================================================================
[codex:555381] // SPDX-License-Identifier: NONE
[codex:555381] 
[codex:555381] pragma solidity 0.6.12;
[codex:555381] 
[codex:555381] 
[codex:555381] 
[codex:555381] // Part: SafeMath
[codex:555381] 
[codex:555381] // Subject to the MIT license.
[codex:555381] 
[codex:555381] /**
[codex:555381]  * @dev Wrappers over Solidity's arithmetic operations with added overflow
[codex:555381]  * checks.
[codex:555381]  *
[codex:555381]  * Arithmetic operations in Solidity wrap on overflow. This can easily result
[codex:555381] exec
[codex:555381] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-wp2jvpi6 succeeded in 6ms:
[codex:555381] contract Timelock {
[codex:555381]     using SafeMath for uint;
[codex:555381] 
[codex:555381]     event NewAdmin(address indexed newAdmin);
[codex:555381]     event NewPendingAdmin(address indexed newPendingAdmin);
[codex:555381]     event NewDelay(uint indexed newDelay);
[codex:555381]     event CancelTransaction(bytes32 indexed txHash, address indexed target, uint value, string signature,  bytes data, uint eta);
[codex:555381]     event ExecuteTransaction(bytes32 indexed txHash, address indexed target, uint value, string signature,  bytes data, uint eta);
[codex:555381]     event QueueTransaction(bytes32 indexed txHash, address indexed target, uint value, string signature, bytes data, uint eta);
[codex:555381]     event ValueReceived(address user, uint amount);
[codex:555381] 
[codex:555381]     uint public constant GRACE_PERIOD = 14 days;
[codex:555381]     uint public constant MINIMUM_DELAY = 2 days;
[codex:555381]     uint public constant MAXIMUM_DELAY = 30 days;
[codex:555381] 
[codex:555381]     address public admin;
[codex:555381]     address public pendingAdmin;
[codex:555381]     uint public delay;
[codex:555381] 
[codex:555381]     mapping (bytes32 => bool) public queuedTransactions;
[codex:555381] exec
[codex:555381] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-wp2jvpi6 succeeded in 5ms:
[codex:555381] 
[codex:555381] 
[codex:555381] thinking
[codex:555381] **Analyzing Timelock for vulnerabilities**
[codex:555381] codex
[codex:555381] {"no_findings":true,"summary":"Reviewed Timelock implementation; no externally exploitable paths to extract ETH/tokens/NFTs found under the stated assumptions (admin keys secure, no lib issues).","findings":[]}
[codex:555381] tokens used
[codex:555381] 9,052
[codex:555381] {"no_findings":true,"summary":"Reviewed Timelock implementation; no externally exploitable paths to extract ETH/tokens/NFTs found under the stated assumptions (admin keys secure, no lib issues).","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T00:07:41.841589+00:00",
        "returncode": 0
    },
    "summary": "Reviewed Timelock implementation; no externally exploitable paths to extract ETH/tokens/NFTs found under the stated assumptions (admin keys secure, no lib issues).",
    "raw_final": {
        "summary": "Reviewed Timelock implementation; no externally exploitable paths to extract ETH/tokens/NFTs found under the stated assumptions (admin keys secure, no lib issues).",
        "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 0x00c6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6a42b8f8
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc1a287e2
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc1a287e2
0000002f: EQ
00000030: PUSH2 0x0627
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe177246e
0000003a: EQ
0000003b: PUSH2 0x063c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2b06537
00000045: EQ
00000046: PUSH2 0x0666
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf851a440
00000050: EQ
00000051: PUSH2 0x06a4
00000054: JUMPI
00000055: PUSH2 0x0107
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x6a42b8f8
00000060: EQ
00000061: PUSH2 0x05e8
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x7d645fab
0000006b: EQ
0000006c: PUSH2 0x05fd
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb1b43ae5
00000076: EQ
00000077: PUSH2 0x0612
0000007a: JUMPI
0000007b: PUSH2 0x0107
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x0825f38f
00000086: EQ
00000087: PUSH2 0x010c
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x0e18b681
00000091: EQ
00000092: PUSH2 0x02c1
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x26782247
0000009c: EQ
0000009d: PUSH2 0x02d8
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x3a66f901
000000a7: EQ
000000a8: PUSH2 0x0309
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4dd18bf5
000000b2: EQ
000000b3: PUSH2 0x0468
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x591fcdfe
000000bd: EQ
000000be: PUSH2 0x049b
000000c1: JUMPI
000000c2: PUSH2 0x0107
000000c5: JUMP
000000c6: JUMPDEST
000000c7: CALLDATASIZE
000000c8: PUSH2 0x0107
000000cb: JUMPI
000000cc: PUSH1 0x40
000000ce: DUP1
000000cf: MLOAD
000000d0: CALLER
000000d1: DUP2
000000d2: MSTORE
000000d3: CALLVALUE
000000d4: PUSH1 0x20
000000d6: DUP3
000000d7: ADD
000000d8: MSTORE
000000d9: DUP2
000000da: MLOAD
000000db: PUSH32 0x7e71433ddf847725166244795048ecf3e3f9f35628254ecbf736056664233493
000000fc: SWAP3
000000fd: SWAP2
000000fe: DUP2
000000ff: SWAP1
00000100: SUB
00000101: SWAP1
00000102: SWAP2
00000103: ADD
00000104: SWAP1
00000105: LOG1
00000106: STOP
00000107: JUMPDEST
00000108: PUSH1 0x00
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: PUSH2 0x024c
00000110: PUSH1 0x04
00000112: DUP1
00000113: CALLDATASIZE
00000114: SUB
00000115: PUSH1 0xa0
00000117: DUP2
00000118: LT
00000119: ISZERO
0000011a: PUSH2 0x0122
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: PUSH1 0x01
00000125: PUSH1 0x01
00000127: PUSH1 0xa0
00000129: SHL
0000012a: SUB
0000012b: DUP3
0000012c: CALLDATALOAD
0000012d: AND
0000012e: SWAP2
0000012f: PUSH1 0x20
00000131: DUP2
00000132: ADD
00000133: CALLDATALOAD
00000134: SWAP2
00000135: DUP2
00000136: ADD
00000137: SWAP1
00000138: PUSH1 0x60
0000013a: DUP2
0000013b: ADD
0000013c: PUSH1 0x40
0000013e: DUP3
0000013f: ADD
00000140: CALLDATALOAD
00000141: PUSH1 0x01
00000143: PUSH1 0x20
00000145: SHL
00000146: DUP2
00000147: GT
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: DUP3
00000153: ADD
00000154: DUP4
00000155: PUSH1 0x20
00000157: DUP3
00000158: ADD
00000159: GT
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: DUP1
00000165: CALLDATALOAD
00000166: SWAP1
00000167: PUSH1 0x20
00000169: ADD
0000016a: SWAP2
0000016b: DUP5
0000016c: PUSH1 0x01
0000016e: DUP4
0000016f: MUL
00000170: DUP5
00000171: ADD
00000172: GT
00000173: PUSH1 0x01
00000175: PUSH1 0x20
00000177: SHL
00000178: DUP4
00000179: GT
0000017a: OR
0000017b: ISZERO
0000017c: PUSH2 0x0184
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: SWAP2
00000186: SWAP1
00000187: DUP1
00000188: DUP1
00000189: PUSH1 0x1f
0000018b: ADD
0000018c: PUSH1 0x20
0000018e: DUP1
0000018f: SWAP2
00000190: DIV
00000191: MUL
00000192: PUSH1 0x20
00000194: ADD
00000195: PUSH1 0x40
00000197: MLOAD
00000198: SWAP1
00000199: DUP2
0000019a: ADD
0000019b: PUSH1 0x40
0000019d: MSTORE
0000019e: DUP1
0000019f: SWAP4
000001a0: SWAP3
000001a1: SWAP2
000001a2: SWAP1
000001a3: DUP2
000001a4: DUP2
000001a5: MSTORE
000001a6: PUSH1 0x20
000001a8: ADD
000001a9: DUP4
000001aa: DUP4
000001ab: DUP1
000001ac: DUP3
000001ad: DUP5
000001ae: CALLDATACOPY
000001af: PUSH1 0x00
000001b1: SWAP3
000001b2: ADD
000001b3: SWAP2
000001b4: SWAP1
000001b5: SWAP2
000001b6: MSTORE
000001b7: POP
000001b8: SWAP3
000001b9: SWAP6
000001ba: SWAP5
000001bb: SWAP4
000001bc: PUSH1 0x20
000001be: DUP2
000001bf: ADD
000001c0: SWAP4
000001c1: POP
000001c2: CALLDATALOAD
000001c3: SWAP2
000001c4: POP
000001c5: POP
000001c6: PUSH1 0x01
000001c8: PUSH1 0x20
000001ca: SHL
000001cb: DUP2
000001cc: GT
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: DUP3
000001d8: ADD
000001d9: DUP4
000001da: PUSH1 0x20
000001dc: DUP3
000001dd: ADD
000001de: GT
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: SWAP1
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP2
000001f0: DUP5
000001f1: PUSH1 0x01
000001f3: DUP4
000001f4: MUL
000001f5: DUP5
000001f6: ADD
000001f7: GT
000001f8: PUSH1 0x01
000001fa: PUSH1 0x20
000001fc: SHL
000001fd: DUP4
000001fe: GT
000001ff: OR
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: SWAP2
0000020b: SWAP1
0000020c: DUP1
0000020d: DUP1
0000020e: PUSH1 0x1f
00000210: ADD
00000211: PUSH1 0x20
00000213: DUP1
00000214: SWAP2
00000215: DIV
00000216: MUL
00000217: PUSH1 0x20
00000219: ADD
0000021a: PUSH1 0x40
0000021c: MLOAD
0000021d: SWAP1
0000021e: DUP2
0000021f: ADD
00000220: PUSH1 0x40
00000222: MSTORE
00000223: DUP1
00000224: SWAP4
00000225: SWAP3
00000226: SWAP2
00000227: SWAP1
00000228: DUP2
00000229: DUP2
0000022a: MSTORE
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: DUP4
0000022f: DUP4
00000230: DUP1
00000231: DUP3
00000232: DUP5
00000233: CALLDATACOPY
00000234: PUSH1 0x00
00000236: SWAP3
00000237: ADD
00000238: SWAP2
00000239: SWAP1
0000023a: SWAP2
0000023b: MSTORE
0000023c: POP
0000023d: SWAP3
0000023e: SWAP6
0000023f: POP
00000240: POP
00000241: SWAP2
00000242: CALLDATALOAD
00000243: SWAP3
00000244: POP
00000245: PUSH2 0x06b9
00000248: SWAP2
00000249: POP
0000024a: POP
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: DUP1
00000250: MLOAD
00000251: PUSH1 0x20
00000253: DUP1
00000254: DUP3
00000255: MSTORE
00000256: DUP4
00000257: MLOAD
00000258: DUP2
00000259: DUP4
0000025a: ADD
0000025b: MSTORE
0000025c: DUP4
0000025d: MLOAD
0000025e: SWAP2
0000025f: SWAP3
00000260: DUP4
00000261: SWAP3
00000262: SWAP1
00000263: DUP4
00000264: ADD
00000265: SWAP2
00000266: DUP6
00000267: ADD
00000268: SWAP1
00000269: DUP1
0000026a: DUP4
0000026b: DUP4
0000026c: PUSH1 0x00
0000026e: JUMPDEST
0000026f: DUP4
00000270: DUP2
00000271: LT
00000272: ISZERO
00000273: PUSH2 0x0286
00000276: JUMPI
00000277: DUP2
00000278: DUP2
00000279: ADD
0000027a: MLOAD
0000027b: DUP4
0000027c: DUP3
0000027d: ADD
0000027e: MSTORE
0000027f: PUSH1 0x20
00000281: ADD
00000282: PUSH2 0x026e
00000285: JUMP
00000286: JUMPDEST
00000287: POP
00000288: POP
00000289: POP
0000028a: POP
0000028b: SWAP1
0000028c: POP
0000028d: SWAP1
0000028e: DUP2
0000028f: ADD
00000290: SWAP1
00000291: PUSH1 0x1f
00000293: AND
00000294: DUP1
00000295: ISZERO
00000296: PUSH2 0x02b3
00000299: JUMPI
0000029a: DUP1
0000029b: DUP3
0000029c: SUB
0000029d: DUP1
0000029e: MLOAD
0000029f: PUSH1 0x01
000002a1: DUP4
000002a2: PUSH1 0x20
000002a4: SUB
000002a5: PUSH2 0x0100
000002a8: EXP
000002a9: SUB
000002aa: NOT
000002ab: AND
000002ac: DUP2
000002ad: MSTORE
000002ae: PUSH1 0x20
000002b0: ADD
000002b1: SWAP2
000002b2: POP
000002b3: JUMPDEST
000002b4: POP
000002b5: SWAP3
000002b6: POP
000002b7: POP
000002b8: POP
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: SWAP2
000002be: SUB
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x02d6
000002d2: PUSH2 0x0bb9
000002d5: JUMP
000002d6: JUMPDEST
000002d7: STOP
000002d8: JUMPDEST
000002d9: CALLVALUE
000002da: DUP1
000002db: ISZERO
000002dc: PUSH2 0x02e4
000002df: JUMPI
000002e0: PUSH1 0x00
000002e2: DUP1
000002e3: REVERT
000002e4: JUMPDEST
000002e5: POP
000002e6: PUSH2 0x02ed
000002e9: PUSH2 0x0c55
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x40
000002f0: DUP1
000002f1: MLOAD
000002f2: PUSH1 0x01
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: SHL
000002f9: SUB
000002fa: SWAP1
000002fb: SWAP3
000002fc: AND
000002fd: DUP3
000002fe: MSTORE
000002ff: MLOAD
00000300: SWAP1
00000301: DUP2
00000302: SWAP1
00000303: SUB
00000304: PUSH1 0x20
00000306: ADD
00000307: SWAP1
00000308: RETURN
00000309: JUMPDEST
0000030a: CALLVALUE
0000030b: DUP1
0000030c: ISZERO
0000030d: PUSH2 0x0315
00000310: JUMPI
00000311: PUSH1 0x00
00000313: DUP1
00000314: REVERT
00000315: JUMPDEST
00000316: POP
00000317: PUSH2 0x0456
0000031a: PUSH1 0x04
0000031c: DUP1
0000031d: CALLDATASIZE
0000031e: SUB
0000031f: PUSH1 0xa0
00000321: DUP2
00000322: LT
00000323: ISZERO
00000324: PUSH2 0x032c
00000327: JUMPI
00000328: PUSH1 0x00
0000032a: DUP1
0000032b: REVERT
0000032c: JUMPDEST
0000032d: PUSH1 0x01
0000032f: PUSH1 0x01
00000331: PUSH1 0xa0
00000333: SHL
00000334: SUB
00000335: DUP3
00000336: CALLDATALOAD
00000337: AND
00000338: SWAP2
00000339: PUSH1 0x20
0000033b: DUP2
0000033c: ADD
0000033d: CALLDATALOAD
0000033e: SWAP2
0000033f: DUP2
00000340: ADD
00000341: SWAP1
00000342: PUSH1 0x60
00000344: DUP2
00000345: ADD
00000346: PUSH1 0x40
00000348: DUP3
00000349: ADD
0000034a: CALLDATALOAD
0000034b: PUSH1 0x01
0000034d: PUSH1 0x20
0000034f: SHL
00000350: DUP2
00000351: GT
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: DUP3
0000035d: ADD
0000035e: DUP4
0000035f: PUSH1 0x20
00000361: DUP3
00000362: ADD
00000363: GT
00000364: ISZERO
00000365: PUSH2 0x036d
00000368: JUMPI
00000369: PUSH1 0x00
0000036b: DUP1
0000036c: REVERT
0000036d: JUMPDEST
0000036e: DUP1
0000036f: CALLDATALOAD
00000370: SWAP1
00000371: PUSH1 0x20
00000373: ADD
00000374: SWAP2
00000375: DUP5
00000376: PUSH1 0x01
00000378: DUP4
00000379: MUL
0000037a: DUP5
0000037b: ADD
0000037c: GT
0000037d: PUSH1 0x01
0000037f: PUSH1 0x20
00000381: SHL
00000382: DUP4
00000383: GT
00000384: OR
00000385: ISZERO
00000386: PUSH2 0x038e
00000389: JUMPI
0000038a: PUSH1 0x00
0000038c: DUP1
0000038d: REVERT
0000038e: JUMPDEST
0000038f: SWAP2
00000390: SWAP1
00000391: DUP1
00000392: DUP1
00000393: PUSH1 0x1f
00000395: ADD
00000396: PUSH1 0x20
00000398: DUP1
00000399: SWAP2
0000039a: DIV
0000039b: MUL
0000039c: PUSH1 0x20
0000039e: ADD
0000039f: PUSH1 0x40
000003a1: MLOAD
000003a2: SWAP1
000003a3: DUP2
000003a4: ADD
000003a5: PUSH1 0x40
000003a7: MSTORE
000003a8: DUP1
000003a9: SWAP4
000003aa: SWAP3
000003ab: SWAP2
000003ac: SWAP1
000003ad: DUP2
000003ae: DUP2
000003af: MSTORE
000003b0: PUSH1 0x20
000003b2: ADD
000003b3: DUP4
000003b4: DUP4
000003b5: DUP1
000003b6: DUP3
000003b7: DUP5
000003b8: CALLDATACOPY
000003b9: PUSH1 0x00
000003bb: SWAP3
000003bc: ADD
000003bd: SWAP2
000003be: SWAP1
000003bf: SWAP2
000003c0: MSTORE
000003c1: POP
000003c2: SWAP3
000003c3: SWAP6
000003c4: SWAP5
000003c5: SWAP4
000003c6: PUSH1 0x20
000003c8: DUP2
000003c9: ADD
000003ca: SWAP4
000003cb: POP
000003cc: CALLDATALOAD
000003cd: SWAP2
000003ce: POP
000003cf: POP
000003d0: PUSH1 0x01
000003d2: PUSH1 0x20
000003d4: SHL
000003d5: DUP2
000003d6: GT
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: DUP3
000003e2: ADD
000003e3: DUP4
000003e4: PUSH1 0x20
000003e6: DUP3
000003e7: ADD
000003e8: GT
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: DUP1
000003f4: CALLDATALOAD
000003f5: SWAP1
000003f6: PUSH1 0x20
000003f8: ADD
000003f9: SWAP2
000003fa: DUP5
000003fb: PUSH1 0x01
000003fd: DUP4
000003fe: MUL
000003ff: DUP5
00000400: ADD
00000401: GT
00000402: PUSH1 0x01
00000404: PUSH1 0x20
00000406: SHL
00000407: DUP4
00000408: GT
00000409: OR
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: SWAP2
00000415: SWAP1
00000416: DUP1
00000417: DUP1
00000418: PUSH1 0x1f
0000041a: ADD
0000041b: PUSH1 0x20
0000041d: DUP1
0000041e: SWAP2
0000041f: DIV
00000420: MUL
00000421: PUSH1 0x20
00000423: ADD
00000424: PUSH1 0x40
00000426: MLOAD
00000427: SWAP1
00000428: DUP2
00000429: ADD
0000042a: PUSH1 0x40
0000042c: MSTORE
0000042d: DUP1
0000042e: SWAP4
0000042f: SWAP3
00000430: SWAP2
00000431: SWAP1
00000432: DUP2
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x20
00000437: ADD
00000438: DUP4
00000439: DUP4
0000043a: DUP1
0000043b: DUP3
0000043c: DUP5
0000043d: CALLDATACOPY
0000043e: PUSH1 0x00
00000440: SWAP3
00000441: ADD
00000442: SWAP2
00000443: SWAP1
00000444: SWAP2
00000445: MSTORE
00000446: POP
00000447: SWAP3
00000448: SWAP6
00000449: POP
0000044a: POP
0000044b: SWAP2
0000044c: CALLDATALOAD
0000044d: SWAP3
0000044e: POP
0000044f: PUSH2 0x0c64
00000452: SWAP2
00000453: POP
00000454: POP
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: DUP1
0000045a: MLOAD
0000045b: SWAP2
0000045c: DUP3
0000045d: MSTORE
0000045e: MLOAD
0000045f: SWAP1
00000460: DUP2
00000461: SWAP1
00000462: SUB
00000463: PUSH1 0x20
00000465: ADD
00000466: SWAP1
00000467: RETURN
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH2 0x02d6
00000479: PUSH1 0x04
0000047b: DUP1
0000047c: CALLDATASIZE
0000047d: SUB
0000047e: PUSH1 0x20
00000480: DUP2
00000481: LT
00000482: ISZERO
00000483: PUSH2 0x048b
00000486: JUMPI
00000487: PUSH1 0x00
00000489: DUP1
0000048a: REVERT
0000048b: JUMPDEST
0000048c: POP
0000048d: CALLDATALOAD
0000048e: PUSH1 0x01
00000490: PUSH1 0x01
00000492: PUSH1 0xa0
00000494: SHL
00000495: SUB
00000496: AND
00000497: PUSH2 0x0f66
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x02d6
000004ac: PUSH1 0x04
000004ae: DUP1
000004af: CALLDATASIZE
000004b0: SUB
000004b1: PUSH1 0xa0
000004b3: DUP2
000004b4: LT
000004b5: ISZERO
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: PUSH1 0x01
000004c1: PUSH1 0x01
000004c3: PUSH1 0xa0
000004c5: SHL
000004c6: SUB
000004c7: DUP3
000004c8: CALLDATALOAD
000004c9: AND
000004ca: SWAP2
000004cb: PUSH1 0x20
000004cd: DUP2
000004ce: ADD
000004cf: CALLDATALOAD
000004d0: SWAP2
000004d1: DUP2
000004d2: ADD
000004d3: SWAP1
000004d4: PUSH1 0x60
000004d6: DUP2
000004d7: ADD
000004d8: PUSH1 0x40
000004da: DUP3
000004db: ADD
000004dc: CALLDATALOAD
000004dd: PUSH1 0x01
000004df: PUSH1 0x20
000004e1: SHL
000004e2: DUP2
000004e3: GT
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: DUP3
000004ef: ADD
000004f0: DUP4
000004f1: PUSH1 0x20
000004f3: DUP3
000004f4: ADD
000004f5: GT
000004f6: ISZERO
000004f7: PUSH2 0x04ff
000004fa: JUMPI
000004fb: PUSH1 0x00
000004fd: DUP1
000004fe: REVERT
000004ff: JUMPDEST
00000500: DUP1
00000501: CALLDATALOAD
00000502: SWAP1
00000503: PUSH1 0x20
00000505: ADD
00000506: SWAP2
00000507: DUP5
00000508: PUSH1 0x01
0000050a: DUP4
0000050b: MUL
0000050c: DUP5
0000050d: ADD
0000050e: GT
0000050f: PUSH1 0x01
00000511: PUSH1 0x20
00000513: SHL
00000514: DUP4
00000515: GT
00000516: OR
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: SWAP2
00000522: SWAP1
00000523: DUP1
00000524: DUP1
00000525: PUSH1 0x1f
00000527: ADD
00000528: PUSH1 0x20
0000052a: DUP1
0000052b: SWAP2
0000052c: DIV
0000052d: MUL
0000052e: PUSH1 0x20
00000530: ADD
00000531: PUSH1 0x40
00000533: MLOAD
00000534: SWAP1
00000535: DUP2
00000536: ADD
00000537: PUSH1 0x40
00000539: MSTORE
0000053a: DUP1
0000053b: SWAP4
0000053c: SWAP3
0000053d: SWAP2
0000053e: SWAP1
0000053f: DUP2
00000540: DUP2
00000541: MSTORE
00000542: PUSH1 0x20
00000544: ADD
00000545: DUP4
00000546: DUP4
00000547: DUP1
00000548: DUP3
00000549: DUP5
0000054a: CALLDATACOPY
0000054b: PUSH1 0x00
0000054d: SWAP3
0000054e: ADD
0000054f: SWAP2
00000550: SWAP1
00000551: SWAP2
00000552: MSTORE
00000553: POP
00000554: SWAP3
00000555: SWAP6
00000556: SWAP5
00000557: SWAP4
00000558: PUSH1 0x20
0000055a: DUP2
0000055b: ADD
0000055c: SWAP4
0000055d: POP
0000055e: CALLDATALOAD
0000055f: SWAP2
00000560: POP
00000561: POP
00000562: PUSH1 0x01
00000564: PUSH1 0x20
00000566: SHL
00000567: DUP2
00000568: GT
00000569: ISZERO
0000056a: PUSH2 0x0572
0000056d: JUMPI
0000056e: PUSH1 0x00
00000570: DUP1
00000571: REVERT
00000572: JUMPDEST
00000573: DUP3
00000574: ADD
00000575: DUP4
00000576: PUSH1 0x20
00000578: DUP3
00000579: ADD
0000057a: GT
0000057b: ISZERO
0000057c: PUSH2 0x0584
0000057f: JUMPI
00000580: PUSH1 0x00
00000582: DUP1
00000583: REVERT
00000584: JUMPDEST
00000585: DUP1
00000586: CALLDATALOAD
00000587: SWAP1
00000588: PUSH1 0x20
0000058a: ADD
0000058b: SWAP2
0000058c: DUP5
0000058d: PUSH1 0x01
0000058f: DUP4
00000590: MUL
00000591: DUP5
00000592: ADD
00000593: GT
00000594: PUSH1 0x01
00000596: PUSH1 0x20
00000598: SHL
00000599: DUP4
0000059a: GT
0000059b: OR
0000059c: ISZERO
0000059d: PUSH2 0x05a5
000005a0: JUMPI
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: SWAP2
000005a7: SWAP1
000005a8: DUP1
000005a9: DUP1
000005aa: PUSH1 0x1f
000005ac: ADD
000005ad: PUSH1 0x20
000005af: DUP1
000005b0: SWAP2
000005b1: DIV
000005b2: MUL
000005b3: PUSH1 0x20
000005b5: ADD
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: SWAP1
000005ba: DUP2
000005bb: ADD
000005bc: PUSH1 0x40
000005be: MSTORE
000005bf: DUP1
000005c0: SWAP4
000005c1: SWAP3
000005c2: SWAP2
000005c3: SWAP1
000005c4: DUP2
000005c5: DUP2
000005c6: MSTORE
000005c7: PUSH1 0x20
000005c9: ADD
000005ca: DUP4
000005cb: DUP4
000005cc: DUP1
000005cd: DUP3
000005ce: DUP5
000005cf: CALLDATACOPY
000005d0: PUSH1 0x00
000005d2: SWAP3
000005d3: ADD
000005d4: SWAP2
000005d5: SWAP1
000005d6: SWAP2
000005d7: MSTORE
000005d8: POP
000005d9: SWAP3
000005da: SWAP6
000005db: POP
000005dc: POP
000005dd: SWAP2
000005de: CALLDATALOAD
000005df: SWAP3
000005e0: POP
000005e1: PUSH2 0x0ff4
000005e4: SWAP2
000005e5: POP
000005e6: POP
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH2 0x0456
000005f9: PUSH2 0x12a1
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x0456
0000060e: PUSH2 0x12a7
00000611: JUMP
00000612: JUMPDEST
00000613: CALLVALUE
00000614: DUP1
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: PUSH2 0x0456
00000623: PUSH2 0x12ae
00000626: JUMP
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x0456
00000638: PUSH2 0x12b5
0000063b: JUMP
0000063c: JUMPDEST
0000063d: CALLVALUE
0000063e: DUP1
0000063f: ISZERO
00000640: PUSH2 0x0648
00000643: JUMPI
00000644: PUSH1 0x00
00000646: DUP1
00000647: REVERT
00000648: JUMPDEST
00000649: POP
0000064a: PUSH2 0x02d6
0000064d: PUSH1 0x04
0000064f: DUP1
00000650: CALLDATASIZE
00000651: SUB
00000652: PUSH1 0x20
00000654: DUP2
00000655: LT
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: CALLDATALOAD
00000662: PUSH2 0x12bc
00000665: JUMP
00000666: JUMPDEST
00000667: CALLVALUE
00000668: DUP1
00000669: ISZERO
0000066a: PUSH2 0x0672
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: PUSH2 0x0690
00000677: PUSH1 0x04
00000679: DUP1
0000067a: CALLDATASIZE
0000067b: SUB
0000067c: PUSH1 0x20
0000067e: DUP2
0000067f: LT
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: CALLDATALOAD
0000068c: PUSH2 0x13b1
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH1 0x40
00000693: DUP1
00000694: MLOAD
00000695: SWAP2
00000696: ISZERO
00000697: ISZERO
00000698: DUP3
00000699: MSTORE
0000069a: MLOAD
0000069b: SWAP1
0000069c: DUP2
0000069d: SWAP1
0000069e: SUB
0000069f: PUSH1 0x20
000006a1: ADD
000006a2: SWAP1
000006a3: RETURN
000006a4: JUMPDEST
000006a5: CALLVALUE
000006a6: DUP1
000006a7: ISZERO
000006a8: PUSH2 0x06b0
000006ab: JUMPI
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: POP
000006b2: PUSH2 0x02ed
000006b5: PUSH2 0x13c6
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x00
000006bc: SLOAD
000006bd: PUSH1 0x60
000006bf: SWAP1
000006c0: PUSH1 0x01
000006c2: PUSH1 0x01
000006c4: PUSH1 0xa0
000006c6: SHL
000006c7: SUB
000006c8: AND
000006c9: CALLER
000006ca: EQ
000006cb: PUSH2 0x0705
000006ce: JUMPI
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: PUSH3 0x461bcd
000006d6: PUSH1 0xe5
000006d8: SHL
000006d9: DUP2
000006da: MSTORE
000006db: PUSH1 0x04
000006dd: ADD
000006de: DUP1
000006df: DUP1
000006e0: PUSH1 0x20
000006e2: ADD
000006e3: DUP3
000006e4: DUP2
000006e5: SUB
000006e6: DUP3
000006e7: MSTORE
000006e8: PUSH1 0x38
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: DUP1
000006f0: PUSH2 0x143b
000006f3: PUSH1 0x38
000006f5: SWAP2
000006f6: CODECOPY
000006f7: PUSH1 0x40
000006f9: ADD
000006fa: SWAP2
000006fb: POP
000006fc: POP
000006fd: PUSH1 0x40
000006ff: MLOAD
00000700: DUP1
00000701: SWAP2
00000702: SUB
00000703: SWAP1
00000704: REVERT
00000705: JUMPDEST
00000706: PUSH1 0x00
00000708: DUP7
00000709: DUP7
0000070a: DUP7
0000070b: DUP7
0000070c: DUP7
0000070d: PUSH1 0x40
0000070f: MLOAD
00000710: PUSH1 0x20
00000712: ADD
00000713: DUP1
00000714: DUP7
00000715: PUSH1 0x01
00000717: PUSH1 0x01
00000719: PUSH1 0xa0
0000071b: SHL
0000071c: SUB
0000071d: AND
0000071e: DUP2
0000071f: MSTORE
00000720: PUSH1 0x20
00000722: ADD
00000723: DUP6
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: ADD
00000729: DUP1
0000072a: PUSH1 0x20
0000072c: ADD
0000072d: DUP1
0000072e: PUSH1 0x20
00000730: ADD
00000731: DUP5
00000732: DUP2
00000733: MSTORE
00000734: PUSH1 0x20
00000736: ADD
00000737: DUP4
00000738: DUP2
00000739: SUB
0000073a: DUP4
0000073b: MSTORE
0000073c: DUP7
0000073d: DUP2
0000073e: DUP2
0000073f: MLOAD
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x20
00000744: ADD
00000745: SWAP2
00000746: POP
00000747: DUP1
00000748: MLOAD
00000749: SWAP1
0000074a: PUSH1 0x20
0000074c: ADD
0000074d: SWAP1
0000074e: DUP1
0000074f: DUP4
00000750: DUP4
00000751: PUSH1 0x00
00000753: JUMPDEST
00000754: DUP4
00000755: DUP2
00000756: LT
00000757: ISZERO
00000758: PUSH2 0x076b
0000075b: JUMPI
0000075c: DUP2
0000075d: DUP2
0000075e: ADD
0000075f: MLOAD
00000760: DUP4
00000761: DUP3
00000762: ADD
00000763: MSTORE
00000764: PUSH1 0x20
00000766: ADD
00000767: PUSH2 0x0753
0000076a: JUMP
0000076b: JUMPDEST
0000076c: POP
0000076d: POP
0000076e: POP
0000076f: POP
00000770: SWAP1
00000771: POP
00000772: SWAP1
00000773: DUP2
00000774: ADD
00000775: SWAP1
00000776: PUSH1 0x1f
00000778: AND
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0798
0000077e: JUMPI
0000077f: DUP1
00000780: DUP3
00000781: SUB
00000782: DUP1
00000783: MLOAD
00000784: PUSH1 0x01
00000786: DUP4
00000787: PUSH1 0x20
00000789: SUB
0000078a: PUSH2 0x0100
0000078d: EXP
0000078e: SUB
0000078f: NOT
00000790: AND
00000791: DUP2
00000792: MSTORE
00000793: PUSH1 0x20
00000795: ADD
00000796: SWAP2
00000797: POP
00000798: JUMPDEST
00000799: POP
0000079a: DUP4
0000079b: DUP2
0000079c: SUB
0000079d: DUP3
0000079e: MSTORE
0000079f: DUP6
000007a0: MLOAD
000007a1: DUP2
000007a2: MSTORE
000007a3: DUP6
000007a4: MLOAD
000007a5: PUSH1 0x20
000007a7: SWAP2
000007a8: DUP3
000007a9: ADD
000007aa: SWAP2
000007ab: DUP8
000007ac: ADD
000007ad: SWAP1
000007ae: DUP1
000007af: DUP4
000007b0: DUP4
000007b1: PUSH1 0x00
000007b3: JUMPDEST
000007b4: DUP4
000007b5: DUP2
000007b6: LT
000007b7: ISZERO
000007b8: PUSH2 0x07cb
000007bb: JUMPI
000007bc: DUP2
000007bd: DUP2
000007be: ADD
000007bf: MLOAD
000007c0: DUP4
000007c1: DUP3
000007c2: ADD
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: ADD
000007c7: PUSH2 0x07b3
000007ca: JUMP
000007cb: JUMPDEST
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: SWAP1
000007d1: POP
000007d2: SWAP1
000007d3: DUP2
000007d4: ADD
000007d5: SWAP1
000007d6: PUSH1 0x1f
000007d8: AND
000007d9: DUP1
000007da: ISZERO
000007db: PUSH2 0x07f8
000007de: JUMPI
000007df: DUP1
000007e0: DUP3
000007e1: SUB
000007e2: DUP1
000007e3: MLOAD
000007e4: PUSH1 0x01
000007e6: DUP4
000007e7: PUSH1 0x20
000007e9: SUB
000007ea: PUSH2 0x0100
000007ed: EXP
000007ee: SUB
000007ef: NOT
000007f0: AND
000007f1: DUP2
000007f2: MSTORE
000007f3: PUSH1 0x20
000007f5: ADD
000007f6: SWAP2
000007f7: POP
000007f8: JUMPDEST
000007f9: POP
000007fa: PUSH1 0x40
000007fc: DUP1
000007fd: MLOAD
000007fe: PUSH1 0x1f
00000800: NOT
00000801: DUP2
00000802: DUP5
00000803: SUB
00000804: ADD
00000805: DUP2
00000806: MSTORE
00000807: SWAP2
00000808: DUP2
00000809: MSTORE
0000080a: DUP2
0000080b: MLOAD
0000080c: PUSH1 0x20
0000080e: SWAP3
0000080f: DUP4
00000810: ADD
00000811: KECCAK256
00000812: PUSH1 0x00
00000814: DUP2
00000815: DUP2
00000816: MSTORE
00000817: PUSH1 0x03
00000819: SWAP1
0000081a: SWAP4
0000081b: MSTORE
0000081c: SWAP2
0000081d: KECCAK256
0000081e: SLOAD
0000081f: SWAP1
00000820: SWAP10
00000821: POP
00000822: PUSH1 0xff
00000824: AND
00000825: SWAP8
00000826: POP
00000827: PUSH2 0x0869
0000082a: SWAP7
0000082b: POP
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: POP
00000830: POP
00000831: POP
00000832: JUMPI
00000833: PUSH1 0x40
00000835: MLOAD
00000836: PUSH3 0x461bcd
0000083a: PUSH1 0xe5
0000083c: SHL
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x04
00000841: ADD
00000842: DUP1
00000843: DUP1
00000844: PUSH1 0x20
00000846: ADD
00000847: DUP3
00000848: DUP2
00000849: SUB
0000084a: DUP3
0000084b: MSTORE
0000084c: PUSH1 0x3d
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: ADD
00000853: DUP1
00000854: PUSH2 0x158e
00000857: PUSH1 0x3d
00000859: SWAP2
0000085a: CODECOPY
0000085b: PUSH1 0x40
0000085d: ADD
0000085e: SWAP2
0000085f: POP
00000860: POP
00000861: PUSH1 0x40
00000863: MLOAD
00000864: DUP1
00000865: SWAP2
00000866: SUB
00000867: SWAP1
00000868: REVERT
00000869: JUMPDEST
0000086a: DUP3
0000086b: PUSH2 0x0872
0000086e: PUSH2 0x13d5
00000871: JUMP
00000872: JUMPDEST
00000873: LT
00000874: ISZERO
00000875: PUSH2 0x08af
00000878: JUMPI
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: PUSH3 0x461bcd
00000880: PUSH1 0xe5
00000882: SHL
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x04
00000887: ADD
00000888: DUP1
00000889: DUP1
0000088a: PUSH1 0x20
0000088c: ADD
0000088d: DUP3
0000088e: DUP2
0000088f: SUB
00000890: DUP3
00000891: MSTORE
00000892: PUSH1 0x45
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x20
00000898: ADD
00000899: DUP1
0000089a: PUSH2 0x14dd
0000089d: PUSH1 0x45
0000089f: SWAP2
000008a0: CODECOPY
000008a1: PUSH1 0x60
000008a3: ADD
000008a4: SWAP2
000008a5: POP
000008a6: POP
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: DUP1
000008ab: SWAP2
000008ac: SUB
000008ad: SWAP1
000008ae: REVERT
000008af: JUMPDEST
000008b0: PUSH2 0x08bc
000008b3: DUP4
000008b4: PUSH3 0x127500
000008b8: PUSH2 0x13d9
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH2 0x08c4
000008c0: PUSH2 0x13d5
000008c3: JUMP
000008c4: JUMPDEST
000008c5: GT
000008c6: ISZERO
000008c7: PUSH2 0x0901
000008ca: JUMPI
000008cb: PUSH1 0x40
000008cd: MLOAD
000008ce: PUSH3 0x461bcd
000008d2: PUSH1 0xe5
000008d4: SHL
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x04
000008d9: ADD
000008da: DUP1
000008db: DUP1
000008dc: PUSH1 0x20
000008de: ADD
000008df: DUP3
000008e0: DUP2
000008e1: SUB
000008e2: DUP3
000008e3: MSTORE
000008e4: PUSH1 0x33
000008e6: DUP2
000008e7: MSTORE
000008e8: PUSH1 0x20
000008ea: ADD
000008eb: DUP1
000008ec: PUSH2 0x14aa
000008ef: PUSH1 0x33
000008f1: SWAP2
000008f2: CODECOPY
000008f3: PUSH1 0x40
000008f5: ADD
000008f6: SWAP2
000008f7: POP
000008f8: POP
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: DUP1
000008fd: SWAP2
000008fe: SUB
000008ff: SWAP1
00000900: REVERT
00000901: JUMPDEST
00000902: PUSH1 0x00
00000904: DUP2
00000905: DUP2
00000906: MSTORE
00000907: PUSH1 0x03
00000909: PUSH1 0x20
0000090b: MSTORE
0000090c: PUSH1 0x40
0000090e: SWAP1
0000090f: KECCAK256
00000910: DUP1
00000911: SLOAD
00000912: PUSH1 0xff
00000914: NOT
00000915: AND
00000916: SWAP1
00000917: SSTORE
00000918: DUP5
00000919: MLOAD
0000091a: PUSH1 0x60
0000091c: SWAP1
0000091d: PUSH2 0x0927
00000920: JUMPI
00000921: POP
00000922: DUP4
00000923: PUSH2 0x09aa
00000926: JUMP
00000927: JUMPDEST
00000928: DUP6
00000929: DUP1
0000092a: MLOAD
0000092b: SWAP1
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: KECCAK256
00000930: DUP6
00000931: PUSH1 0x40
00000933: MLOAD
00000934: PUSH1 0x20
00000936: ADD
00000937: DUP1
00000938: DUP4
00000939: PUSH1 0x01
0000093b: PUSH1 0x01
0000093d: PUSH1 0xe0
0000093f: SHL
00000940: SUB
00000941: NOT
00000942: AND
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x04
00000947: ADD
00000948: DUP3
00000949: DUP1
0000094a: MLOAD
0000094b: SWAP1
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: SWAP1
00000950: DUP1
00000951: DUP4
00000952: DUP4
00000953: JUMPDEST
00000954: PUSH1 0x20
00000956: DUP4
00000957: LT
00000958: PUSH2 0x0972
0000095b: JUMPI
0000095c: DUP1
0000095d: MLOAD
0000095e: DUP3
0000095f: MSTORE
00000960: PUSH1 0x1f
00000962: NOT
00000963: SWAP1
00000964: SWAP3
00000965: ADD
00000966: SWAP2
00000967: PUSH1 0x20
00000969: SWAP2
0000096a: DUP3
0000096b: ADD
0000096c: SWAP2
0000096d: ADD
0000096e: PUSH2 0x0953
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x01
00000975: DUP4
00000976: PUSH1 0x20
00000978: SUB
00000979: PUSH2 0x0100
0000097c: EXP
0000097d: SUB
0000097e: DUP1
0000097f: NOT
00000980: DUP3
00000981: MLOAD
00000982: AND
00000983: DUP2
00000984: DUP5
00000985: MLOAD
00000986: AND
00000987: DUP1
00000988: DUP3
00000989: OR
0000098a: DUP6
0000098b: MSTORE
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: POP
00000990: POP
00000991: POP
00000992: SWAP1
00000993: POP
00000994: ADD
00000995: SWAP3
00000996: POP
00000997: POP
00000998: POP
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: PUSH1 0x20
0000099e: DUP2
0000099f: DUP4
000009a0: SUB
000009a1: SUB
000009a2: DUP2
000009a3: MSTORE
000009a4: SWAP1
000009a5: PUSH1 0x40
000009a7: MSTORE
000009a8: SWAP1
000009a9: POP
000009aa: JUMPDEST
000009ab: PUSH1 0x00
000009ad: PUSH1 0x60
000009af: DUP10
000009b0: PUSH1 0x01
000009b2: PUSH1 0x01
000009b4: PUSH1 0xa0
000009b6: SHL
000009b7: SUB
000009b8: AND
000009b9: DUP10
000009ba: DUP5
000009bb: PUSH1 0x40
000009bd: MLOAD
000009be: DUP1
000009bf: DUP3
000009c0: DUP1
000009c1: MLOAD
000009c2: SWAP1
000009c3: PUSH1 0x20
000009c5: ADD
000009c6: SWAP1
000009c7: DUP1
000009c8: DUP4
000009c9: DUP4
000009ca: JUMPDEST
000009cb: PUSH1 0x20
000009cd: DUP4
000009ce: LT
000009cf: PUSH2 0x09e9
000009d2: JUMPI
000009d3: DUP1
000009d4: MLOAD
000009d5: DUP3
000009d6: MSTORE
000009d7: PUSH1 0x1f
000009d9: NOT
000009da: SWAP1
000009db: SWAP3
000009dc: ADD
000009dd: SWAP2
000009de: PUSH1 0x20
000009e0: SWAP2
000009e1: DUP3
000009e2: ADD
000009e3: SWAP2
000009e4: ADD
000009e5: PUSH2 0x09ca
000009e8: JUMP
000009e9: JUMPDEST
000009ea: PUSH1 0x01
000009ec: DUP4
000009ed: PUSH1 0x20
000009ef: SUB
000009f0: PUSH2 0x0100
000009f3: EXP
000009f4: SUB
000009f5: DUP1
000009f6: NOT
000009f7: DUP3
000009f8: MLOAD
000009f9: AND
000009fa: DUP2
000009fb: DUP5
000009fc: MLOAD
000009fd: AND
000009fe: DUP1
000009ff: DUP3
00000a00: OR
00000a01: DUP6
00000a02: MSTORE
00000a03: POP
00000a04: POP
00000a05: POP
00000a06: POP
00000a07: POP
00000a08: POP
00000a09: SWAP1
00000a0a: POP
00000a0b: ADD
00000a0c: SWAP2
00000a0d: POP
00000a0e: POP
00000a0f: PUSH1 0x00
00000a11: PUSH1 0x40
00000a13: MLOAD
00000a14: DUP1
00000a15: DUP4
00000a16: SUB
00000a17: DUP2
00000a18: DUP6
00000a19: DUP8
00000a1a: GAS
00000a1b: CALL
00000a1c: SWAP3
00000a1d: POP
00000a1e: POP
00000a1f: POP
00000a20: RETURNDATASIZE
00000a21: DUP1
00000a22: PUSH1 0x00
00000a24: DUP2
00000a25: EQ
00000a26: PUSH2 0x0a4b
00000a29: JUMPI
00000a2a: PUSH1 0x40
00000a2c: MLOAD
00000a2d: SWAP2
00000a2e: POP
00000a2f: PUSH1 0x1f
00000a31: NOT
00000a32: PUSH1 0x3f
00000a34: RETURNDATASIZE
00000a35: ADD
00000a36: AND
00000a37: DUP3
00000a38: ADD
00000a39: PUSH1 0x40
00000a3b: MSTORE
00000a3c: RETURNDATASIZE
00000a3d: DUP3
00000a3e: MSTORE
00000a3f: RETURNDATASIZE
00000a40: PUSH1 0x00
00000a42: PUSH1 0x20
00000a44: DUP5
00000a45: ADD
00000a46: RETURNDATACOPY
00000a47: PUSH2 0x0a50
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x60
00000a4e: SWAP2
00000a4f: POP
00000a50: JUMPDEST
00000a51: POP
00000a52: SWAP2
00000a53: POP
00000a54: SWAP2
00000a55: POP
00000a56: DUP2
00000a57: PUSH2 0x0a91
00000a5a: JUMPI
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: PUSH3 0x461bcd
00000a62: PUSH1 0xe5
00000a64: SHL
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x04
00000a69: ADD
00000a6a: DUP1
00000a6b: DUP1
00000a6c: PUSH1 0x20
00000a6e: ADD
00000a6f: DUP3
00000a70: DUP2
00000a71: SUB
00000a72: DUP3
00000a73: MSTORE
00000a74: PUSH1 0x3d
00000a76: DUP2
00000a77: MSTORE
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: DUP1
00000a7c: PUSH2 0x1671
00000a7f: PUSH1 0x3d
00000a81: SWAP2
00000a82: CODECOPY
00000a83: PUSH1 0x40
00000a85: ADD
00000a86: SWAP2
00000a87: POP
00000a88: POP
00000a89: PUSH1 0x40
00000a8b: MLOAD
00000a8c: DUP1
00000a8d: SWAP2
00000a8e: SUB
00000a8f: SWAP1
00000a90: REVERT
00000a91: JUMPDEST
00000a92: DUP10
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: AND
00000a9c: DUP5
00000a9d: PUSH32 0xa560e3198060a2f10670c1ec5b403077ea6ae93ca8de1c32b451dc1a943cd6e7
00000abe: DUP12
00000abf: DUP12
00000ac0: DUP12
00000ac1: DUP12
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: DUP1
00000ac6: DUP6
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x20
00000acb: ADD
00000acc: DUP1
00000acd: PUSH1 0x20
00000acf: ADD
00000ad0: DUP1
00000ad1: PUSH1 0x20
00000ad3: ADD
00000ad4: DUP5
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x20
00000ad9: ADD
00000ada: DUP4
00000adb: DUP2
00000adc: SUB
00000add: DUP4
00000ade: MSTORE
00000adf: DUP7
00000ae0: DUP2
00000ae1: DUP2
00000ae2: MLOAD
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: SWAP2
00000ae9: POP
00000aea: DUP1
00000aeb: MLOAD
00000aec: SWAP1
00000aed: PUSH1 0x20
00000aef: ADD
00000af0: SWAP1
00000af1: DUP1
00000af2: DUP4
00000af3: DUP4
00000af4: PUSH1 0x00
00000af6: JUMPDEST
00000af7: DUP4
00000af8: DUP2
00000af9: LT
00000afa: ISZERO
00000afb: PUSH2 0x0b0e
00000afe: JUMPI
00000aff: DUP2
00000b00: DUP2
00000b01: ADD
00000b02: MLOAD
00000b03: DUP4
00000b04: DUP3
00000b05: ADD
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: PUSH2 0x0af6
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: SWAP1
00000b14: POP
00000b15: SWAP1
00000b16: DUP2
00000b17: ADD
00000b18: SWAP1
00000b19: PUSH1 0x1f
00000b1b: AND
00000b1c: DUP1
00000b1d: ISZERO
00000b1e: PUSH2 0x0b3b
00000b21: JUMPI
00000b22: DUP1
00000b23: DUP3
00000b24: SUB
00000b25: DUP1
00000b26: MLOAD
00000b27: PUSH1 0x01
00000b29: DUP4
00000b2a: PUSH1 0x20
00000b2c: SUB
00000b2d: PUSH2 0x0100
00000b30: EXP
00000b31: SUB
00000b32: NOT
00000b33: AND
00000b34: DUP2
00000b35: MSTORE
00000b36: PUSH1 0x20
00000b38: ADD
00000b39: SWAP2
00000b3a: POP
00000b3b: JUMPDEST
00000b3c: POP
00000b3d: DUP4
00000b3e: DUP2
00000b3f: SUB
00000b40: DUP3
00000b41: MSTORE
00000b42: DUP6
00000b43: MLOAD
00000b44: DUP2
00000b45: MSTORE
00000b46: DUP6
00000b47: MLOAD
00000b48: PUSH1 0x20
00000b4a: SWAP2
00000b4b: DUP3
00000b4c: ADD
00000b4d: SWAP2
00000b4e: DUP8
00000b4f: ADD
00000b50: SWAP1
00000b51: DUP1
00000b52: DUP4
00000b53: DUP4
00000b54: PUSH1 0x00
00000b56: JUMPDEST
00000b57: DUP4
00000b58: DUP2
00000b59: LT
00000b5a: ISZERO
00000b5b: PUSH2 0x0b6e
00000b5e: JUMPI
00000b5f: DUP2
00000b60: DUP2
00000b61: ADD
00000b62: MLOAD
00000b63: DUP4
00000b64: DUP3
00000b65: ADD
00000b66: MSTORE
00000b67: PUSH1 0x20
00000b69: ADD
00000b6a: PUSH2 0x0b56
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: POP
00000b70: POP
00000b71: POP
00000b72: POP
00000b73: SWAP1
00000b74: POP
00000b75: SWAP1
00000b76: DUP2
00000b77: ADD
00000b78: SWAP1
00000b79: PUSH1 0x1f
00000b7b: AND
00000b7c: DUP1
00000b7d: ISZERO
00000b7e: PUSH2 0x0b9b
00000b81: JUMPI
00000b82: DUP1
00000b83: DUP3
00000b84: SUB
00000b85: DUP1
00000b86: MLOAD
00000b87: PUSH1 0x01
00000b89: DUP4
00000b8a: PUSH1 0x20
00000b8c: SUB
00000b8d: PUSH2 0x0100
00000b90: EXP
00000b91: SUB
00000b92: NOT
00000b93: AND
00000b94: DUP2
00000b95: MSTORE
00000b96: PUSH1 0x20
00000b98: ADD
00000b99: SWAP2
00000b9a: POP
00000b9b: JUMPDEST
00000b9c: POP
00000b9d: SWAP7
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: POP
00000ba2: POP
00000ba3: POP
00000ba4: POP
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: DUP1
00000ba9: SWAP2
00000baa: SUB
00000bab: SWAP1
00000bac: LOG3
00000bad: SWAP10
00000bae: SWAP9
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x01
00000bbc: SLOAD
00000bbd: PUSH1 0x01
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0xa0
00000bc3: SHL
00000bc4: SUB
00000bc5: AND
00000bc6: CALLER
00000bc7: EQ
00000bc8: PUSH2 0x0c02
00000bcb: JUMPI
00000bcc: PUSH1 0x40
00000bce: MLOAD
00000bcf: PUSH3 0x461bcd
00000bd3: PUSH1 0xe5
00000bd5: SHL
00000bd6: DUP2
00000bd7: MSTORE
00000bd8: PUSH1 0x04
00000bda: ADD
00000bdb: DUP1
00000bdc: DUP1
00000bdd: PUSH1 0x20
00000bdf: ADD
00000be0: DUP3
00000be1: DUP2
00000be2: SUB
00000be3: DUP3
00000be4: MSTORE
00000be5: PUSH1 0x38
00000be7: DUP2
00000be8: MSTORE
00000be9: PUSH1 0x20
00000beb: ADD
00000bec: DUP1
00000bed: PUSH2 0x15cb
00000bf0: PUSH1 0x38
00000bf2: SWAP2
00000bf3: CODECOPY
00000bf4: PUSH1 0x40
00000bf6: ADD
00000bf7: SWAP2
00000bf8: POP
00000bf9: POP
00000bfa: PUSH1 0x40
00000bfc: MLOAD
00000bfd: DUP1
00000bfe: SWAP2
00000bff: SUB
00000c00: SWAP1
00000c01: REVERT
00000c02: JUMPDEST
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: SLOAD
00000c07: CALLER
00000c08: PUSH1 0x01
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0xa0
00000c0e: SHL
00000c0f: SUB
00000c10: NOT
00000c11: SWAP2
00000c12: DUP3
00000c13: AND
00000c14: OR
00000c15: DUP1
00000c16: DUP4
00000c17: SSTORE
00000c18: PUSH1 0x01
00000c1a: DUP1
00000c1b: SLOAD
00000c1c: SWAP1
00000c1d: SWAP3
00000c1e: AND
00000c1f: SWAP1
00000c20: SWAP2
00000c21: SSTORE
00000c22: PUSH1 0x40
00000c24: MLOAD
00000c25: PUSH1 0x01
00000c27: PUSH1 0x01
00000c29: PUSH1 0xa0
00000c2b: SHL
00000c2c: SUB
00000c2d: SWAP1
00000c2e: SWAP2
00000c2f: AND
00000c30: SWAP2
00000c31: PUSH32 0x71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c
00000c52: SWAP2
00000c53: LOG2
00000c54: JUMP
00000c55: JUMPDEST
00000c56: PUSH1 0x01
00000c58: SLOAD
00000c59: PUSH1 0x01
00000c5b: PUSH1 0x01
00000c5d: PUSH1 0xa0
00000c5f: SHL
00000c60: SUB
00000c61: AND
00000c62: DUP2
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH1 0x00
00000c67: DUP1
00000c68: SLOAD
00000c69: PUSH1 0x01
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0xa0
00000c6f: SHL
00000c70: SUB
00000c71: AND
00000c72: CALLER
00000c73: EQ
00000c74: PUSH2 0x0cae
00000c77: JUMPI
00000c78: PUSH1 0x40
00000c7a: MLOAD
00000c7b: PUSH3 0x461bcd
00000c7f: PUSH1 0xe5
00000c81: SHL
00000c82: DUP2
00000c83: MSTORE
00000c84: PUSH1 0x04
00000c86: ADD
00000c87: DUP1
00000c88: DUP1
00000c89: PUSH1 0x20
00000c8b: ADD
00000c8c: DUP3
00000c8d: DUP2
00000c8e: SUB
00000c8f: DUP3
00000c90: MSTORE
00000c91: PUSH1 0x36
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x20
00000c97: ADD
00000c98: DUP1
00000c99: PUSH2 0x163b
00000c9c: PUSH1 0x36
00000c9e: SWAP2
00000c9f: CODECOPY
00000ca0: PUSH1 0x40
00000ca2: ADD
00000ca3: SWAP2
00000ca4: POP
00000ca5: POP
00000ca6: PUSH1 0x40
00000ca8: MLOAD
00000ca9: DUP1
00000caa: SWAP2
00000cab: SUB
00000cac: SWAP1
00000cad: REVERT
00000cae: JUMPDEST
00000caf: PUSH2 0x0cc2
00000cb2: PUSH1 0x02
00000cb4: SLOAD
00000cb5: PUSH2 0x0cbc
00000cb8: PUSH2 0x13d5
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: SWAP1
00000cbe: PUSH2 0x13d9
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: DUP3
00000cc4: LT
00000cc5: ISZERO
00000cc6: PUSH2 0x0d00
00000cc9: JUMPI
00000cca: PUSH1 0x40
00000ccc: MLOAD
00000ccd: PUSH3 0x461bcd
00000cd1: PUSH1 0xe5
00000cd3: SHL
00000cd4: DUP2
00000cd5: MSTORE
00000cd6: PUSH1 0x04
00000cd8: ADD
00000cd9: DUP1
00000cda: DUP1
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: DUP3
00000cdf: DUP2
00000ce0: SUB
00000ce1: DUP3
00000ce2: MSTORE
00000ce3: PUSH1 0x49
00000ce5: DUP2
00000ce6: MSTORE
00000ce7: PUSH1 0x20
00000ce9: ADD
00000cea: DUP1
00000ceb: PUSH2 0x16ae
00000cee: PUSH1 0x49
00000cf0: SWAP2
00000cf1: CODECOPY
00000cf2: PUSH1 0x60
00000cf4: ADD
00000cf5: SWAP2
00000cf6: POP
00000cf7: POP
00000cf8: PUSH1 0x40
00000cfa: MLOAD
00000cfb: DUP1
00000cfc: SWAP2
00000cfd: SUB
00000cfe: SWAP1
00000cff: REVERT
00000d00: JUMPDEST
00000d01: PUSH1 0x00
00000d03: DUP7
00000d04: DUP7
00000d05: DUP7
00000d06: DUP7
00000d07: DUP7
00000d08: PUSH1 0x40
00000d0a: MLOAD
00000d0b: PUSH1 0x20
00000d0d: ADD
00000d0e: DUP1
00000d0f: DUP7
00000d10: PUSH1 0x01
00000d12: PUSH1 0x01
00000d14: PUSH1 0xa0
00000d16: SHL
00000d17: SUB
00000d18: AND
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: ADD
00000d1e: DUP6
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x20
00000d23: ADD
00000d24: DUP1
00000d25: PUSH1 0x20
00000d27: ADD
00000d28: DUP1
00000d29: PUSH1 0x20
00000d2b: ADD
00000d2c: DUP5
00000d2d: DUP2
00000d2e: MSTORE
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: DUP4
00000d33: DUP2
00000d34: SUB
00000d35: DUP4
00000d36: MSTORE
00000d37: DUP7
00000d38: DUP2
00000d39: DUP2
00000d3a: MLOAD
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x20
00000d3f: ADD
00000d40: SWAP2
00000d41: POP
00000d42: DUP1
00000d43: MLOAD
00000d44: SWAP1
00000d45: PUSH1 0x20
00000d47: ADD
00000d48: SWAP1
00000d49: DUP1
00000d4a: DUP4
00000d4b: DUP4
00000d4c: PUSH1 0x00
00000d4e: JUMPDEST
00000d4f: DUP4
00000d50: DUP2
00000d51: LT
00000d52: ISZERO
00000d53: PUSH2 0x0d66
00000d56: JUMPI
00000d57: DUP2
00000d58: DUP2
00000d59: ADD
00000d5a: MLOAD
00000d5b: DUP4
00000d5c: DUP3
00000d5d: ADD
00000d5e: MSTORE
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: PUSH2 0x0d4e
00000d65: JUMP
00000d66: JUMPDEST
00000d67: POP
00000d68: POP
00000d69: POP
00000d6a: POP
00000d6b: SWAP1
00000d6c: POP
00000d6d: SWAP1
00000d6e: DUP2
00000d6f: ADD
00000d70: SWAP1
00000d71: PUSH1 0x1f
00000d73: AND
00000d74: DUP1
00000d75: ISZERO
00000d76: PUSH2 0x0d93
00000d79: JUMPI
00000d7a: DUP1
00000d7b: DUP3
00000d7c: SUB
00000d7d: DUP1
00000d7e: MLOAD
00000d7f: PUSH1 0x01
00000d81: DUP4
00000d82: PUSH1 0x20
00000d84: SUB
00000d85: PUSH2 0x0100
00000d88: EXP
00000d89: SUB
00000d8a: NOT
00000d8b: AND
00000d8c: DUP2
00000d8d: MSTORE
00000d8e: PUSH1 0x20
00000d90: ADD
00000d91: SWAP2
00000d92: POP
00000d93: JUMPDEST
00000d94: POP
00000d95: DUP4
00000d96: DUP2
00000d97: SUB
00000d98: DUP3
00000d99: MSTORE
00000d9a: DUP6
00000d9b: MLOAD
00000d9c: DUP2
00000d9d: MSTORE
00000d9e: DUP6
00000d9f: MLOAD
00000da0: PUSH1 0x20
00000da2: SWAP2
00000da3: DUP3
00000da4: ADD
00000da5: SWAP2
00000da6: DUP8
00000da7: ADD
00000da8: SWAP1
00000da9: DUP1
00000daa: DUP4
00000dab: DUP4
00000dac: PUSH1 0x00
00000dae: JUMPDEST
00000daf: DUP4
00000db0: DUP2
00000db1: LT
00000db2: ISZERO
00000db3: PUSH2 0x0dc6
00000db6: JUMPI
00000db7: DUP2
00000db8: DUP2
00000db9: ADD
00000dba: MLOAD
00000dbb: DUP4
00000dbc: DUP3
00000dbd: ADD
00000dbe: MSTORE
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: PUSH2 0x0dae
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: POP
00000dc8: POP
00000dc9: POP
00000dca: POP
00000dcb: SWAP1
00000dcc: POP
00000dcd: SWAP1
00000dce: DUP2
00000dcf: ADD
00000dd0: SWAP1
00000dd1: PUSH1 0x1f
00000dd3: AND
00000dd4: DUP1
00000dd5: ISZERO
00000dd6: PUSH2 0x0df3
00000dd9: JUMPI
00000dda: DUP1
00000ddb: DUP3
00000ddc: SUB
00000ddd: DUP1
00000dde: MLOAD
00000ddf: PUSH1 0x01
00000de1: DUP4
00000de2: PUSH1 0x20
00000de4: SUB
00000de5: PUSH2 0x0100
00000de8: EXP
00000de9: SUB
00000dea: NOT
00000deb: AND
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x20
00000df0: ADD
00000df1: SWAP2
00000df2: POP
00000df3: JUMPDEST
00000df4: POP
00000df5: SWAP8
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: POP
00000dfa: POP
00000dfb: POP
00000dfc: POP
00000dfd: POP
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: PUSH1 0x20
00000e03: DUP2
00000e04: DUP4
00000e05: SUB
00000e06: SUB
00000e07: DUP2
00000e08: MSTORE
00000e09: SWAP1
00000e0a: PUSH1 0x40
00000e0c: MSTORE
00000e0d: DUP1
00000e0e: MLOAD
00000e0f: SWAP1
00000e10: PUSH1 0x20
00000e12: ADD
00000e13: KECCAK256
00000e14: SWAP1
00000e15: POP
00000e16: PUSH1 0x01
00000e18: PUSH1 0x03
00000e1a: PUSH1 0x00
00000e1c: DUP4
00000e1d: DUP2
00000e1e: MSTORE
00000e1f: PUSH1 0x20
00000e21: ADD
00000e22: SWAP1
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: ADD
00000e28: PUSH1 0x00
00000e2a: KECCAK256
00000e2b: PUSH1 0x00
00000e2d: PUSH2 0x0100
00000e30: EXP
00000e31: DUP2
00000e32: SLOAD
00000e33: DUP2
00000e34: PUSH1 0xff
00000e36: MUL
00000e37: NOT
00000e38: AND
00000e39: SWAP1
00000e3a: DUP4
00000e3b: ISZERO
00000e3c: ISZERO
00000e3d: MUL
00000e3e: OR
00000e3f: SWAP1
00000e40: SSTORE
00000e41: POP
00000e42: DUP7
00000e43: PUSH1 0x01
00000e45: PUSH1 0x01
00000e47: PUSH1 0xa0
00000e49: SHL
00000e4a: SUB
00000e4b: AND
00000e4c: DUP2
00000e4d: PUSH32 0x76e2796dc3a81d57b0e8504b647febcbeeb5f4af818e164f11eef8131a6a763f
00000e6e: DUP9
00000e6f: DUP9
00000e70: DUP9
00000e71: DUP9
00000e72: PUSH1 0x40
00000e74: MLOAD
00000e75: DUP1
00000e76: DUP6
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x20
00000e7b: ADD
00000e7c: DUP1
00000e7d: PUSH1 0x20
00000e7f: ADD
00000e80: DUP1
00000e81: PUSH1 0x20
00000e83: ADD
00000e84: DUP5
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: ADD
00000e8a: DUP4
00000e8b: DUP2
00000e8c: SUB
00000e8d: DUP4
00000e8e: MSTORE
00000e8f: DUP7
00000e90: DUP2
00000e91: DUP2
00000e92: MLOAD
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: SWAP2
00000e99: POP
00000e9a: DUP1
00000e9b: MLOAD
00000e9c: SWAP1
00000e9d: PUSH1 0x20
00000e9f: ADD
00000ea0: SWAP1
00000ea1: DUP1
00000ea2: DUP4
00000ea3: DUP4
00000ea4: PUSH1 0x00
00000ea6: JUMPDEST
00000ea7: DUP4
00000ea8: DUP2
00000ea9: LT
00000eaa: ISZERO
00000eab: PUSH2 0x0ebe
00000eae: JUMPI
00000eaf: DUP2
00000eb0: DUP2
00000eb1: ADD
00000eb2: MLOAD
00000eb3: DUP4
00000eb4: DUP3
00000eb5: ADD
00000eb6: MSTORE
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: PUSH2 0x0ea6
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: POP
00000ec0: POP
00000ec1: POP
00000ec2: POP
00000ec3: SWAP1
00000ec4: POP
00000ec5: SWAP1
00000ec6: DUP2
00000ec7: ADD
00000ec8: SWAP1
00000ec9: PUSH1 0x1f
00000ecb: AND
00000ecc: DUP1
00000ecd: ISZERO
00000ece: PUSH2 0x0eeb
00000ed1: JUMPI
00000ed2: DUP1
00000ed3: DUP3
00000ed4: SUB
00000ed5: DUP1
00000ed6: MLOAD
00000ed7: PUSH1 0x01
00000ed9: DUP4
00000eda: PUSH1 0x20
00000edc: SUB
00000edd: PUSH2 0x0100
00000ee0: EXP
00000ee1: SUB
00000ee2: NOT
00000ee3: AND
00000ee4: DUP2
00000ee5: MSTORE
00000ee6: PUSH1 0x20
00000ee8: ADD
00000ee9: SWAP2
00000eea: POP
00000eeb: JUMPDEST
00000eec: POP
00000eed: DUP4
00000eee: DUP2
00000eef: SUB
00000ef0: DUP3
00000ef1: MSTORE
00000ef2: DUP6
00000ef3: MLOAD
00000ef4: DUP2
00000ef5: MSTORE
00000ef6: DUP6
00000ef7: MLOAD
00000ef8: PUSH1 0x20
00000efa: SWAP2
00000efb: DUP3
00000efc: ADD
00000efd: SWAP2
00000efe: DUP8
00000eff: ADD
00000f00: SWAP1
00000f01: DUP1
00000f02: DUP4
00000f03: DUP4
00000f04: PUSH1 0x00
00000f06: JUMPDEST
00000f07: DUP4
00000f08: DUP2
00000f09: LT
00000f0a: ISZERO
00000f0b: PUSH2 0x0f1e
00000f0e: JUMPI
00000f0f: DUP2
00000f10: DUP2
00000f11: ADD
00000f12: MLOAD
00000f13: DUP4
00000f14: DUP3
00000f15: ADD
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: ADD
00000f1a: PUSH2 0x0f06
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: POP
00000f20: POP
00000f21: POP
00000f22: POP
00000f23: SWAP1
00000f24: POP
00000f25: SWAP1
00000f26: DUP2
00000f27: ADD
00000f28: SWAP1
00000f29: PUSH1 0x1f
00000f2b: AND
00000f2c: DUP1
00000f2d: ISZERO
00000f2e: PUSH2 0x0f4b
00000f31: JUMPI
00000f32: DUP1
00000f33: DUP3
00000f34: SUB
00000f35: DUP1
00000f36: MLOAD
00000f37: PUSH1 0x01
00000f39: DUP4
00000f3a: PUSH1 0x20
00000f3c: SUB
00000f3d: PUSH2 0x0100
00000f40: EXP
00000f41: SUB
00000f42: NOT
00000f43: AND
00000f44: DUP2
00000f45: MSTORE
00000f46: PUSH1 0x20
00000f48: ADD
00000f49: SWAP2
00000f4a: POP
00000f4b: JUMPDEST
00000f4c: POP
00000f4d: SWAP7
00000f4e: POP
00000f4f: POP
00000f50: POP
00000f51: POP
00000f52: POP
00000f53: POP
00000f54: POP
00000f55: PUSH1 0x40
00000f57: MLOAD
00000f58: DUP1
00000f59: SWAP2
00000f5a: SUB
00000f5b: SWAP1
00000f5c: LOG3
00000f5d: SWAP7
00000f5e: SWAP6
00000f5f: POP
00000f60: POP
00000f61: POP
00000f62: POP
00000f63: POP
00000f64: POP
00000f65: JUMP
00000f66: JUMPDEST
00000f67: CALLER
00000f68: ADDRESS
00000f69: EQ
00000f6a: PUSH2 0x0fa4
00000f6d: JUMPI
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: PUSH3 0x461bcd
00000f75: PUSH1 0xe5
00000f77: SHL
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x04
00000f7c: ADD
00000f7d: DUP1
00000f7e: DUP1
00000f7f: PUSH1 0x20
00000f81: ADD
00000f82: DUP3
00000f83: DUP2
00000f84: SUB
00000f85: DUP3
00000f86: MSTORE
00000f87: PUSH1 0x38
00000f89: DUP2
00000f8a: MSTORE
00000f8b: PUSH1 0x20
00000f8d: ADD
00000f8e: DUP1
00000f8f: PUSH2 0x1603
00000f92: PUSH1 0x38
00000f94: SWAP2
00000f95: CODECOPY
00000f96: PUSH1 0x40
00000f98: ADD
00000f99: SWAP2
00000f9a: POP
00000f9b: POP
00000f9c: PUSH1 0x40
00000f9e: MLOAD
00000f9f: DUP1
00000fa0: SWAP2
00000fa1: SUB
00000fa2: SWAP1
00000fa3: REVERT
00000fa4: JUMPDEST
00000fa5: PUSH1 0x01
00000fa7: DUP1
00000fa8: SLOAD
00000fa9: PUSH1 0x01
00000fab: PUSH1 0x01
00000fad: PUSH1 0xa0
00000faf: SHL
00000fb0: SUB
00000fb1: NOT
00000fb2: AND
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0x01
00000fb7: PUSH1 0xa0
00000fb9: SHL
00000fba: SUB
00000fbb: DUP4
00000fbc: DUP2
00000fbd: AND
00000fbe: SWAP2
00000fbf: SWAP1
00000fc0: SWAP2
00000fc1: OR
00000fc2: SWAP2
00000fc3: DUP3
00000fc4: SWAP1
00000fc5: SSTORE
00000fc6: PUSH1 0x40
00000fc8: MLOAD
00000fc9: SWAP2
00000fca: AND
00000fcb: SWAP1
00000fcc: PUSH32 0x69d78e38a01985fbb1462961809b4b2d65531bc93b2b94037f3334b82ca4a756
00000fed: SWAP1
00000fee: PUSH1 0x00
00000ff0: SWAP1
00000ff1: LOG2
00000ff2: POP
00000ff3: JUMP
00000ff4: JUMPDEST
00000ff5: PUSH1 0x00
00000ff7: SLOAD
00000ff8: PUSH1 0x01
00000ffa: PUSH1 0x01
00000ffc: PUSH1 0xa0
00000ffe: SHL
00000fff: SUB
00001000: AND
00001001: CALLER
00001002: EQ
00001003: PUSH2 0x103d
00001006: JUMPI
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: PUSH3 0x461bcd
0000100e: PUSH1 0xe5
00001010: SHL
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x04
00001015: ADD
00001016: DUP1
00001017: DUP1
00001018: PUSH1 0x20
0000101a: ADD
0000101b: DUP3
0000101c: DUP2
0000101d: SUB
0000101e: DUP3
0000101f: MSTORE
00001020: PUSH1 0x37
00001022: DUP2
00001023: MSTORE
00001024: PUSH1 0x20
00001026: ADD
00001027: DUP1
00001028: PUSH2 0x1473
0000102b: PUSH1 0x37
0000102d: SWAP2
0000102e: CODECOPY
0000102f: PUSH1 0x40
00001031: ADD
00001032: SWAP2
00001033: POP
00001034: POP
00001035: PUSH1 0x40
00001037: MLOAD
00001038: DUP1
00001039: SWAP2
0000103a: SUB
0000103b: SWAP1
0000103c: REVERT
0000103d: JUMPDEST
0000103e: PUSH1 0x00
00001040: DUP6
00001041: DUP6
00001042: DUP6
00001043: DUP6
00001044: DUP6
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH1 0x20
0000104a: ADD
0000104b: DUP1
0000104c: DUP7
0000104d: PUSH1 0x01
0000104f: PUSH1 0x01
00001051: PUSH1 0xa0
00001053: SHL
00001054: SUB
00001055: AND
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x20
0000105a: ADD
0000105b: DUP6
0000105c: DUP2
0000105d: MSTORE
0000105e: PUSH1 0x20
00001060: ADD
00001061: DUP1
00001062: PUSH1 0x20
00001064: ADD
00001065: DUP1
00001066: PUSH1 0x20
00001068: ADD
00001069: DUP5
0000106a: DUP2
0000106b: MSTORE
0000106c: PUSH1 0x20
0000106e: ADD
0000106f: DUP4
00001070: DUP2
00001071: SUB
00001072: DUP4
00001073: MSTORE
00001074: DUP7
00001075: DUP2
00001076: DUP2
00001077: MLOAD
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: SWAP2
0000107e: POP
0000107f: DUP1
00001080: MLOAD
00001081: SWAP1
00001082: PUSH1 0x20
00001084: ADD
00001085: SWAP1
00001086: DUP1
00001087: DUP4
00001088: DUP4
00001089: PUSH1 0x00
0000108b: JUMPDEST
0000108c: DUP4
0000108d: DUP2
0000108e: LT
0000108f: ISZERO
00001090: PUSH2 0x10a3
00001093: JUMPI
00001094: DUP2
00001095: DUP2
00001096: ADD
00001097: MLOAD
00001098: DUP4
00001099: DUP3
0000109a: ADD
0000109b: MSTORE
0000109c: PUSH1 0x20
0000109e: ADD
0000109f: PUSH2 0x108b
000010a2: JUMP
000010a3: JUMPDEST
000010a4: POP
000010a5: POP
000010a6: POP
000010a7: POP
000010a8: SWAP1
000010a9: POP
000010aa: SWAP1
000010ab: DUP2
000010ac: ADD
000010ad: SWAP1
000010ae: PUSH1 0x1f
000010b0: AND
000010b1: DUP1
000010b2: ISZERO
000010b3: PUSH2 0x10d0
000010b6: JUMPI
000010b7: DUP1
000010b8: DUP3
000010b9: SUB
000010ba: DUP1
000010bb: MLOAD
000010bc: PUSH1 0x01
000010be: DUP4
000010bf: PUSH1 0x20
000010c1: SUB
000010c2: PUSH2 0x0100
000010c5: EXP
000010c6: SUB
000010c7: NOT
000010c8: AND
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: SWAP2
000010cf: POP
000010d0: JUMPDEST
000010d1: POP
000010d2: DUP4
000010d3: DUP2
000010d4: SUB
000010d5: DUP3
000010d6: MSTORE
000010d7: DUP6
000010d8: MLOAD
000010d9: DUP2
000010da: MSTORE
000010db: DUP6
000010dc: MLOAD
000010dd: PUSH1 0x20
000010df: SWAP2
000010e0: DUP3
000010e1: ADD
000010e2: SWAP2
000010e3: DUP8
000010e4: ADD
000010e5: SWAP1
000010e6: DUP1
000010e7: DUP4
000010e8: DUP4
000010e9: PUSH1 0x00
000010eb: JUMPDEST
000010ec: DUP4
000010ed: DUP2
000010ee: LT
000010ef: ISZERO
000010f0: PUSH2 0x1103
000010f3: JUMPI
000010f4: DUP2
000010f5: DUP2
000010f6: ADD
000010f7: MLOAD
000010f8: DUP4
000010f9: DUP3
000010fa: ADD
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: PUSH2 0x10eb
00001102: JUMP
00001103: JUMPDEST
00001104: POP
00001105: POP
00001106: POP
00001107: POP
00001108: SWAP1
00001109: POP
0000110a: SWAP1
0000110b: DUP2
0000110c: ADD
0000110d: SWAP1
0000110e: PUSH1 0x1f
00001110: AND
00001111: DUP1
00001112: ISZERO
00001113: PUSH2 0x1130
00001116: JUMPI
00001117: DUP1
00001118: DUP3
00001119: SUB
0000111a: DUP1
0000111b: MLOAD
0000111c: PUSH1 0x01
0000111e: DUP4
0000111f: PUSH1 0x20
00001121: SUB
00001122: PUSH2 0x0100
00001125: EXP
00001126: SUB
00001127: NOT
00001128: AND
00001129: DUP2
0000112a: MSTORE
0000112b: PUSH1 0x20
0000112d: ADD
0000112e: SWAP2
0000112f: POP
00001130: JUMPDEST
00001131: POP
00001132: SWAP8
00001133: POP
00001134: POP
00001135: POP
00001136: POP
00001137: POP
00001138: POP
00001139: POP
0000113a: POP
0000113b: PUSH1 0x40
0000113d: MLOAD
0000113e: PUSH1 0x20
00001140: DUP2
00001141: DUP4
00001142: SUB
00001143: SUB
00001144: DUP2
00001145: MSTORE
00001146: SWAP1
00001147: PUSH1 0x40
00001149: MSTORE
0000114a: DUP1
0000114b: MLOAD
0000114c: SWAP1
0000114d: PUSH1 0x20
0000114f: ADD
00001150: KECCAK256
00001151: SWAP1
00001152: POP
00001153: PUSH1 0x00
00001155: PUSH1 0x03
00001157: PUSH1 0x00
00001159: DUP4
0000115a: DUP2
0000115b: MSTORE
0000115c: PUSH1 0x20
0000115e: ADD
0000115f: SWAP1
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x20
00001164: ADD
00001165: PUSH1 0x00
00001167: KECCAK256
00001168: PUSH1 0x00
0000116a: PUSH2 0x0100
0000116d: EXP
0000116e: DUP2
0000116f: SLOAD
00001170: DUP2
00001171: PUSH1 0xff
00001173: MUL
00001174: NOT
00001175: AND
00001176: SWAP1
00001177: DUP4
00001178: ISZERO
00001179: ISZERO
0000117a: MUL
0000117b: OR
0000117c: SWAP1
0000117d: SSTORE
0000117e: POP
0000117f: DUP6
00001180: PUSH1 0x01
00001182: PUSH1 0x01
00001184: PUSH1 0xa0
00001186: SHL
00001187: SUB
00001188: AND
00001189: DUP2
0000118a: PUSH32 0x2fffc091a501fd91bfbff27141450d3acb40fb8e6d8382b243ec7a812a3aaf87
000011ab: DUP8
000011ac: DUP8
000011ad: DUP8
000011ae: DUP8
000011af: PUSH1 0x40
000011b1: MLOAD
000011b2: DUP1
000011b3: DUP6
000011b4: DUP2
000011b5: MSTORE
000011b6: PUSH1 0x20
000011b8: ADD
000011b9: DUP1
000011ba: PUSH1 0x20
000011bc: ADD
000011bd: DUP1
000011be: PUSH1 0x20
000011c0: ADD
000011c1: DUP5
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x20
000011c6: ADD
000011c7: DUP4
000011c8: DUP2
000011c9: SUB
000011ca: DUP4
000011cb: MSTORE
000011cc: DUP7
000011cd: DUP2
000011ce: DUP2
000011cf: MLOAD
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x20
000011d4: ADD
000011d5: SWAP2
000011d6: POP
000011d7: DUP1
000011d8: MLOAD
000011d9: SWAP1
000011da: PUSH1 0x20
000011dc: ADD
000011dd: SWAP1
000011de: DUP1
000011df: DUP4
000011e0: DUP4
000011e1: PUSH1 0x00
000011e3: JUMPDEST
000011e4: DUP4
000011e5: DUP2
000011e6: LT
000011e7: ISZERO
000011e8: PUSH2 0x11fb
000011eb: JUMPI
000011ec: DUP2
000011ed: DUP2
000011ee: ADD
000011ef: MLOAD
000011f0: DUP4
000011f1: DUP3
000011f2: ADD
000011f3: MSTORE
000011f4: PUSH1 0x20
000011f6: ADD
000011f7: PUSH2 0x11e3
000011fa: JUMP
000011fb: JUMPDEST
000011fc: POP
000011fd: POP
000011fe: POP
000011ff: POP
00001200: SWAP1
00001201: POP
00001202: SWAP1
00001203: DUP2
00001204: ADD
00001205: SWAP1
00001206: PUSH1 0x1f
00001208: AND
00001209: DUP1
0000120a: ISZERO
0000120b: PUSH2 0x1228
0000120e: JUMPI
0000120f: DUP1
00001210: DUP3
00001211: SUB
00001212: DUP1
00001213: MLOAD
00001214: PUSH1 0x01
00001216: DUP4
00001217: PUSH1 0x20
00001219: SUB
0000121a: PUSH2 0x0100
0000121d: EXP
0000121e: SUB
0000121f: NOT
00001220: AND
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x20
00001225: ADD
00001226: SWAP2
00001227: POP
00001228: JUMPDEST
00001229: POP
0000122a: DUP4
0000122b: DUP2
0000122c: SUB
0000122d: DUP3
0000122e: MSTORE
0000122f: DUP6
00001230: MLOAD
00001231: DUP2
00001232: MSTORE
00001233: DUP6
00001234: MLOAD
00001235: PUSH1 0x20
00001237: SWAP2
00001238: DUP3
00001239: ADD
0000123a: SWAP2
0000123b: DUP8
0000123c: ADD
0000123d: SWAP1
0000123e: DUP1
0000123f: DUP4
00001240: DUP4
00001241: PUSH1 0x00
00001243: JUMPDEST
00001244: DUP4
00001245: DUP2
00001246: LT
00001247: ISZERO
00001248: PUSH2 0x125b
0000124b: JUMPI
0000124c: DUP2
0000124d: DUP2
0000124e: ADD
0000124f: MLOAD
00001250: DUP4
00001251: DUP3
00001252: ADD
00001253: MSTORE
00001254: PUSH1 0x20
00001256: ADD
00001257: PUSH2 0x1243
0000125a: JUMP
0000125b: JUMPDEST
0000125c: POP
0000125d: POP
0000125e: POP
0000125f: POP
00001260: SWAP1
00001261: POP
00001262: SWAP1
00001263: DUP2
00001264: ADD
00001265: SWAP1
00001266: PUSH1 0x1f
00001268: AND
00001269: DUP1
0000126a: ISZERO
0000126b: PUSH2 0x1288
0000126e: JUMPI
0000126f: DUP1
00001270: DUP3
00001271: SUB
00001272: DUP1
00001273: MLOAD
00001274: PUSH1 0x01
00001276: DUP4
00001277: PUSH1 0x20
00001279: SUB
0000127a: PUSH2 0x0100
0000127d: EXP
0000127e: SUB
0000127f: NOT
00001280: AND
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x20
00001285: ADD
00001286: SWAP2
00001287: POP
00001288: JUMPDEST
00001289: POP
0000128a: SWAP7
0000128b: POP
0000128c: POP
0000128d: POP
0000128e: POP
0000128f: POP
00001290: POP
00001291: POP
00001292: PUSH1 0x40
00001294: MLOAD
00001295: DUP1
00001296: SWAP2
00001297: SUB
00001298: SWAP1
00001299: LOG3
0000129a: POP
0000129b: POP
0000129c: POP
0000129d: POP
0000129e: POP
0000129f: POP
000012a0: JUMP
000012a1: JUMPDEST
000012a2: PUSH1 0x02
000012a4: SLOAD
000012a5: DUP2
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH3 0x278d00
000012ac: DUP2
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH3 0x02a300
000012b3: DUP2
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH3 0x127500
000012ba: DUP2
000012bb: JUMP
000012bc: JUMPDEST
000012bd: CALLER
000012be: ADDRESS
000012bf: EQ
000012c0: PUSH2 0x12fa
000012c3: JUMPI
000012c4: PUSH1 0x40
000012c6: MLOAD
000012c7: PUSH3 0x461bcd
000012cb: PUSH1 0xe5
000012cd: SHL
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x04
000012d2: ADD
000012d3: DUP1
000012d4: DUP1
000012d5: PUSH1 0x20
000012d7: ADD
000012d8: DUP3
000012d9: DUP2
000012da: SUB
000012db: DUP3
000012dc: MSTORE
000012dd: PUSH1 0x31
000012df: DUP2
000012e0: MSTORE
000012e1: PUSH1 0x20
000012e3: ADD
000012e4: DUP1
000012e5: PUSH2 0x16f7
000012e8: PUSH1 0x31
000012ea: SWAP2
000012eb: CODECOPY
000012ec: PUSH1 0x40
000012ee: ADD
000012ef: SWAP2
000012f0: POP
000012f1: POP
000012f2: PUSH1 0x40
000012f4: MLOAD
000012f5: DUP1
000012f6: SWAP2
000012f7: SUB
000012f8: SWAP1
000012f9: REVERT
000012fa: JUMPDEST
000012fb: PUSH3 0x02a300
000012ff: DUP2
00001300: LT
00001301: ISZERO
00001302: PUSH2 0x133c
00001305: JUMPI
00001306: PUSH1 0x40
00001308: MLOAD
00001309: PUSH3 0x461bcd
0000130d: PUSH1 0xe5
0000130f: SHL
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x04
00001314: ADD
00001315: DUP1
00001316: DUP1
00001317: PUSH1 0x20
00001319: ADD
0000131a: DUP3
0000131b: DUP2
0000131c: SUB
0000131d: DUP3
0000131e: MSTORE
0000131f: PUSH1 0x34
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x20
00001325: ADD
00001326: DUP1
00001327: PUSH2 0x1522
0000132a: PUSH1 0x34
0000132c: SWAP2
0000132d: CODECOPY
0000132e: PUSH1 0x40
00001330: ADD
00001331: SWAP2
00001332: POP
00001333: POP
00001334: PUSH1 0x40
00001336: MLOAD
00001337: DUP1
00001338: SWAP2
00001339: SUB
0000133a: SWAP1
0000133b: REVERT
0000133c: JUMPDEST
0000133d: PUSH3 0x278d00
00001341: DUP2
00001342: GT
00001343: ISZERO
00001344: PUSH2 0x137e
00001347: JUMPI
00001348: PUSH1 0x40
0000134a: MLOAD
0000134b: PUSH3 0x461bcd
0000134f: PUSH1 0xe5
00001351: SHL
00001352: DUP2
00001353: MSTORE
00001354: PUSH1 0x04
00001356: ADD
00001357: DUP1
00001358: DUP1
00001359: PUSH1 0x20
0000135b: ADD
0000135c: DUP3
0000135d: DUP2
0000135e: SUB
0000135f: DUP3
00001360: MSTORE
00001361: PUSH1 0x38
00001363: DUP2
00001364: MSTORE
00001365: PUSH1 0x20
00001367: ADD
00001368: DUP1
00001369: PUSH2 0x1556
0000136c: PUSH1 0x38
0000136e: SWAP2
0000136f: CODECOPY
00001370: PUSH1 0x40
00001372: ADD
00001373: SWAP2
00001374: POP
00001375: POP
00001376: PUSH1 0x40
00001378: MLOAD
00001379: DUP1
0000137a: SWAP2
0000137b: SUB
0000137c: SWAP1
0000137d: REVERT
0000137e: JUMPDEST
0000137f: PUSH1 0x02
00001381: DUP2
00001382: SWAP1
00001383: SSTORE
00001384: PUSH1 0x40
00001386: MLOAD
00001387: DUP2
00001388: SWAP1
00001389: PUSH32 0x948b1f6a42ee138b7e34058ba85a37f716d55ff25ff05a763f15bed6a04c8d2c
000013aa: SWAP1
000013ab: PUSH1 0x00
000013ad: SWAP1
000013ae: LOG2
000013af: POP
000013b0: JUMP
000013b1: JUMPDEST
000013b2: PUSH1 0x03
000013b4: PUSH1 0x20
000013b6: MSTORE
000013b7: PUSH1 0x00
000013b9: SWAP1
000013ba: DUP2
000013bb: MSTORE
000013bc: PUSH1 0x40
000013be: SWAP1
000013bf: KECCAK256
000013c0: SLOAD
000013c1: PUSH1 0xff
000013c3: AND
000013c4: DUP2
000013c5: JUMP
000013c6: JUMPDEST
000013c7: PUSH1 0x00
000013c9: SLOAD
000013ca: PUSH1 0x01
000013cc: PUSH1 0x01
000013ce: PUSH1 0xa0
000013d0: SHL
000013d1: SUB
000013d2: AND
000013d3: DUP2
000013d4: JUMP
000013d5: JUMPDEST
000013d6: TIMESTAMP
000013d7: SWAP1
000013d8: JUMP
000013d9: JUMPDEST
000013da: PUSH1 0x00
000013dc: DUP3
000013dd: DUP3
000013de: ADD
000013df: DUP4
000013e0: DUP2
000013e1: LT
000013e2: ISZERO
000013e3: PUSH2 0x1433
000013e6: JUMPI
000013e7: PUSH1 0x40
000013e9: DUP1
000013ea: MLOAD
000013eb: PUSH3 0x461bcd
000013ef: PUSH1 0xe5
000013f1: SHL
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: PUSH1 0x04
000013f8: DUP3
000013f9: ADD
000013fa: MSTORE
000013fb: PUSH1 0x1b
000013fd: PUSH1 0x24
000013ff: DUP3
00001400: ADD
00001401: MSTORE
00001402: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001423: PUSH1 0x44
00001425: DUP3
00001426: ADD
00001427: MSTORE
00001428: SWAP1
00001429: MLOAD
0000142a: SWAP1
0000142b: DUP2
0000142c: SWAP1
0000142d: SUB
0000142e: PUSH1 0x64
00001430: ADD
00001431: SWAP1
00001432: REVERT
00001433: JUMPDEST
00001434: SWAP4
00001435: SWAP3
00001436: POP
00001437: POP
00001438: POP
00001439: JUMP
0000143a: INVALID
0000143b: SLOAD
0000143c: PUSH10 0x6d656c6f636b3a3a6578
00001447: PUSH6 0x637574655472
0000144e: PUSH2 0x6e73
00001451: PUSH2 0x6374
00001454: PUSH10 0x6f6e3a2043616c6c206d
0000145f: PUSH22 0x737420636f6d652066726f6d2061646d696e2e54696d
00001476: PUSH6 0x6c6f636b3a3a
0000147d: PUSH4 0x616e6365
00001482: PUSH13 0x5472616e73616374696f6e3a20
00001490: NUMBER
00001491: PUSH2 0x6c6c
00001494: KECCAK256
00001495: PUSH14 0x75737420636f6d652066726f6d20
000014a4: PUSH2 0x646d
000014a7: PUSH10 0x6e2e54696d656c6f636b
000014b2: GASPRICE
000014b3: GASPRICE
000014b4: PUSH6 0x786563757465
000014bb: SLOAD
000014bc: PUSH19 0x616e73616374696f6e3a205472616e73616374
000014d0: PUSH10 0x6f6e206973207374616c
000014db: PUSH6 0x2e54696d656c
000014e2: PUSH16 0x636b3a3a657865637574655472616e73
000014f3: PUSH2 0x6374
000014f6: PUSH10 0x6f6e3a205472616e7361
00001501: PUSH4 0x74696f6e
00001506: KECCAK256
00001507: PUSH9 0x61736e277420737572
00001511: PUSH17 0x61737365642074696d65206c6f636b2e54
00001523: PUSH10 0x6d656c6f636b3a3a7365
0000152e: PUSH21 0x44656c61793a2044656c6179206d75737420657863
00001544: PUSH6 0x6564206d696e
0000154b: PUSH10 0x6d756d2064656c61792e
00001556: SLOAD
00001557: PUSH10 0x6d656c6f636b3a3a7365
00001562: PUSH21 0x44656c61793a2044656c6179206d757374206e6f74
00001578: KECCAK256
00001579: PUSH6 0x786365656420
00001580: PUSH14 0x6178696d756d2064656c61792e54
0000158f: PUSH10 0x6d656c6f636b3a3a6578
0000159a: PUSH6 0x637574655472
000015a1: PUSH2 0x6e73
000015a4: PUSH2 0x6374
000015a7: PUSH10 0x6f6e3a205472616e7361
000015b2: PUSH4 0x74696f6e
000015b7: KECCAK256
000015b8: PUSH9 0x61736e277420626565
000015c2: PUSH15 0x207175657565642e54696d656c6f63
000015d2: PUSH12 0x3a3a61636365707441646d69
000015df: PUSH15 0x3a2043616c6c206d75737420636f6d
000015ef: PUSH6 0x2066726f6d20
000015f6: PUSH17 0x656e64696e6741646d696e2e54696d656c
00001608: PUSH16 0x636b3a3a73657450656e64696e674164
00001619: PUSH14 0x696e3a2043616c6c206d75737420
00001628: PUSH4 0x6f6d6520
0000162d: PUSH7 0x726f6d2054696d
00001635: PUSH6 0x6c6f636b2e54
0000163c: PUSH10 0x6d656c6f636b3a3a7175
00001647: PUSH6 0x75655472616e
0000164e: PUSH20 0x616374696f6e3a2043616c6c206d75737420636f
00001663: PUSH14 0x652066726f6d2061646d696e2e54
00001672: PUSH10 0x6d656c6f636b3a3a6578
0000167d: PUSH6 0x637574655472
00001684: PUSH2 0x6e73
00001687: PUSH2 0x6374
0000168a: PUSH10 0x6f6e3a205472616e7361
00001695: PUSH4 0x74696f6e
0000169a: KECCAK256
0000169b: PUSH6 0x786563757469
000016a2: PUSH16 0x6e2072657665727465642e54696d656c
000016b3: PUSH16 0x636b3a3a71756575655472616e736163
000016c4: PUSH21 0x696f6e3a20457374696d6174656420657865637574
000016da: PUSH10 0x6f6e20626c6f636b206d
000016e5: PUSH22 0x737420736174697366792064656c61792e54696d656c
000016fc: PUSH16 0x636b3a3a73657444656c61793a204361
0000170d: PUSH13 0x6c206d75737420636f6d652066
0000171b: PUSH19 0x6f6d2054696d656c6f636b2ea2646970667358
0000172f: UNKNOWN(0x22)
00001730: SLT
00001731: KECCAK256
00001732: UNKNOWN(0x24)
00001733: SHR
00001734: SWAP2
00001735: UNKNOWN(0xD5)
00001736: PUSH29 0x9edaac21997769eaf91826a9d1140d2ad70c34b68dedb9566c85f76473
00001754: PUSH16