Analysis Run

[codex:674808] OpenAI Codex v0.77.0 (research preview)
[codex:674808] --------
[codex:674808] workdir: /tmp/codex-multi-eliud_mk
[codex:674808] model: gpt-5.2-codex
[codex:674808] provider: openai
[codex:674808] approval: never
[codex:674808] sandbox: read-only
[codex:674808] reasoning effort: xhigh
[codex:674808] reasoning summaries: auto
[codex:674808] session id: 019b6876-502a-7b10-ac5e-1073356f3910
[codex:674808] --------
[codex:674808] user
[codex:674808] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:674808] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:674808] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:674808] 
[codex:674808] Scope rules:
[codex:674808] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:674808] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:674808] 
[codex:674808] Output MUST be valid JSON matching the provided schema.
[codex:674808] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:674808] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:674808] 
[codex:674808] Output constraints (IMPORTANT):
[codex:674808] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:674808] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:674808] mcp startup: no servers
[codex:674808] 
[codex:674808] thinking
[codex:674808] **Reading instructions file**
[codex:674808] exec
[codex:674808] /bin/bash -lc ls in /tmp/codex-multi-eliud_mk succeeded in 5ms:
[codex:674808] AUDIT_BUNDLE.txt
[codex:674808] codex-output-schema.json
[codex:674808] contracts
[codex:674808] 
[codex:674808] thinking
[codex:674808] **Reading AUDIT_BUNDLE**
[codex:674808] exec
[codex:674808] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-eliud_mk succeeded in 5ms:
[codex:674808] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:674808] 
[codex:674808] ================================================================================
[codex:674808] FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:674808] ================================================================================
[codex:674808] // SPDX-License-Identifier: MIT
[codex:674808] // OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/IERC20.sol)
[codex:674808] 
[codex:674808] pragma solidity ^0.8.0;
[codex:674808] 
[codex:674808] /**
[codex:674808]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:674808]  */
[codex:674808] interface IERC20 {
[codex:674808]     /**
[codex:674808]      * @dev Returns the amount of tokens in existence.
[codex:674808]      */
[codex:674808]     function totalSupply() external view returns (uint256);
[codex:674808] 
[codex:674808]     /**
[codex:674808] 
[codex:674808] 
[codex:674808] 
[codex:674808] 
[codex:674808] 
[codex:674808] 
[codex:674808] thinking
[codex:674808] **Analyzing contract vulnerabilities and arithmetic edge cases**
[codex:674808] thinking
[codex:674808] **Investigation of reentrancy, rounding, and state update nuances**
[codex:674808] 
[codex:674808] I'm weighing how payee-triggered withdrawals can affect payer state timing and how reentrancy might interact with token calls during deposits and withdrawals. The rounding in internal accounting creates small leftover balances trapped in the contract, and calls like modifyStream have external calls mid-update but seem safe from reentrancy exploits. I'm carefully checking edge cases in state consistency, division truncation, and batch call effects to spot any subtle vulnerabilities or user pitfalls.
[codex:674808] thinking
[codex:674808] **Analyzing timestamp handling and reentrancy edge cases**
[codex:674808] 
[codex:674808] I'm carefully checking how global payer timestamps interact with per-stream start times to avoid underflows, confirming assumptions about timestamp zero on genesis blocks, and exploring how reentrancy from token callbacks could affect payer state during streaming operations. The interplay of state updates, unchecked math, and batch calls reveals subtle timing and rounding nuances that seem safe but warrant attention to avoid unexpected behavior in edge scenarios.
[codex:674808] thinking
[codex:674808] **Investigating withdrawal logic and external call interactions**
[codex:674808] 
[codex:674808] I’m examining how withdrawals update payer and stream states, how BoringBatchable’s delegatecall might expose internal calls, and how type conversions and scaling factors affect balances. I’m also looking at potential edge cases with token transfer behaviors, batch calls, and arithmetic to see if any inconsistencies or reentrancy risks emerge, though everything seems to hold together under typical conditions.
[codex:674808] thinking
[codex:674808] **Evaluating reentrancy and third-party withdrawal impacts**
[codex:674808] 
[codex:674808] I’m analyzing how external calls—especially during deposits and withdrawals—might enable reentrancy, how third parties can influence payer state updates, and how rounding and token interface assumptions affect fund flows; overall, the contract maintains safety but some subtle interactions merit careful consideration.
[codex:674808] thinking
[codex:674808] **Preparing final audit conclusion**
[codex:674808] 
[codex:674808] I'll finalize the output as valid JSON marking no exploitable vulnerabilities found and provide a concise summary.
[codex:674808] codex
[codex:674808] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the audited scope.","findings":[]}
[codex:674808] tokens used
[codex:674808] 36,503
[codex:674808] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the audited scope.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T05:01:50.903298+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party contracts within the audited scope.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party contracts within the audited scope.",
        "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 0x016a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7c516e94
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb6b55f25
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc6a64771
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc6a64771
0000003a: EQ
0000003b: PUSH2 0x0459
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd2423b51
00000045: EQ
00000046: PUSH2 0x0479
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc0c546a
00000050: EQ
00000051: PUSH2 0x048c
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xb6b55f25
00000060: EQ
00000061: PUSH2 0x03f9
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xbfda0b45
0000006b: EQ
0000006c: PUSH2 0x0419
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc355f343
00000076: EQ
00000077: PUSH2 0x0439
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x8835510c
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8835510c
00000091: EQ
00000092: PUSH2 0x03a4
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa05860e0
0000009c: EQ
0000009d: PUSH2 0x03c4
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa3f83f6e
000000a7: EQ
000000a8: PUSH2 0x03e4
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x7c516e94
000000b7: EQ
000000b8: PUSH2 0x0364
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x807a379c
000000c2: EQ
000000c3: PUSH2 0x0384
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x4a714c24
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x5ed1b15d
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x5ed1b15d
000000e8: EQ
000000e9: PUSH2 0x02f7
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x6bc16095
000000f3: EQ
000000f4: PUSH2 0x0317
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x6e85975e
000000fe: EQ
000000ff: PUSH2 0x0344
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x4a714c24
0000010e: EQ
0000010f: PUSH2 0x0242
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x5b0c2f2f
00000119: EQ
0000011a: PUSH2 0x02d7
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x27e235e3
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x27e235e3
00000134: EQ
00000135: PUSH2 0x01b1
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x2b4146f8
0000013f: EQ
00000140: PUSH2 0x01f1
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x3f053acd
0000014a: EQ
0000014b: PUSH2 0x0207
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x17a566e4
0000015a: EQ
0000015b: PUSH2 0x016f
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x2087652c
00000165: EQ
00000166: PUSH2 0x0191
00000169: JUMPI
0000016a: JUMPDEST
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x018f
00000180: PUSH2 0x018a
00000183: CALLDATASIZE
00000184: PUSH1 0x04
00000186: PUSH2 0x1b99
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH2 0x04de
0000018e: JUMP
0000018f: JUMPDEST
00000190: STOP
00000191: JUMPDEST
00000192: CALLVALUE
00000193: DUP1
00000194: ISZERO
00000195: PUSH2 0x019d
00000198: JUMPI
00000199: PUSH1 0x00
0000019b: DUP1
0000019c: REVERT
0000019d: JUMPDEST
0000019e: POP
0000019f: PUSH2 0x018f
000001a2: PUSH2 0x01ac
000001a5: CALLDATASIZE
000001a6: PUSH1 0x04
000001a8: PUSH2 0x1ee9
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH2 0x0573
000001b0: JUMP
000001b1: JUMPDEST
000001b2: CALLVALUE
000001b3: DUP1
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: POP
000001bf: PUSH2 0x01de
000001c2: PUSH2 0x01cc
000001c5: CALLDATASIZE
000001c6: PUSH1 0x04
000001c8: PUSH2 0x1b7d
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x02
000001cf: PUSH1 0x20
000001d1: MSTORE
000001d2: PUSH1 0x00
000001d4: SWAP1
000001d5: DUP2
000001d6: MSTORE
000001d7: PUSH1 0x40
000001d9: SWAP1
000001da: KECCAK256
000001db: SLOAD
000001dc: DUP2
000001dd: JUMP
000001de: JUMPDEST
000001df: PUSH1 0x40
000001e1: MLOAD
000001e2: SWAP1
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: JUMPDEST
000001e9: PUSH1 0x40
000001eb: MLOAD
000001ec: DUP1
000001ed: SWAP2
000001ee: SUB
000001ef: SWAP1
000001f0: RETURN
000001f1: JUMPDEST
000001f2: CALLVALUE
000001f3: DUP1
000001f4: ISZERO
000001f5: PUSH2 0x01fd
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: POP
000001ff: PUSH2 0x01de
00000202: PUSH1 0x04
00000204: SLOAD
00000205: DUP2
00000206: JUMP
00000207: JUMPDEST
00000208: CALLVALUE
00000209: DUP1
0000020a: ISZERO
0000020b: PUSH2 0x0213
0000020e: JUMPI
0000020f: PUSH1 0x00
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: POP
00000215: PUSH2 0x0227
00000218: PUSH2 0x0222
0000021b: CALLDATASIZE
0000021c: PUSH1 0x04
0000021e: PUSH2 0x1b99
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH2 0x058f
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: DUP1
0000022b: MLOAD
0000022c: SWAP4
0000022d: DUP5
0000022e: MSTORE
0000022f: PUSH1 0x20
00000231: DUP5
00000232: ADD
00000233: SWAP3
00000234: SWAP1
00000235: SWAP3
00000236: MSTORE
00000237: SWAP1
00000238: DUP3
00000239: ADD
0000023a: MSTORE
0000023b: PUSH1 0x60
0000023d: ADD
0000023e: PUSH2 0x01e8
00000241: JUMP
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH2 0x029e
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x1b7d
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x01
00000260: PUSH1 0x20
00000262: MSTORE
00000263: PUSH1 0x00
00000265: SWAP1
00000266: DUP2
00000267: MSTORE
00000268: PUSH1 0x40
0000026a: SWAP1
0000026b: KECCAK256
0000026c: SLOAD
0000026d: PUSH5 0xffffffffff
00000273: DUP2
00000274: AND
00000275: SWAP1
00000276: PUSH6 0x010000000000
0000027d: SWAP1
0000027e: DIV
0000027f: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000029b: AND
0000029c: DUP3
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH1 0x40
000002a1: DUP1
000002a2: MLOAD
000002a3: PUSH5 0xffffffffff
000002a9: SWAP1
000002aa: SWAP4
000002ab: AND
000002ac: DUP4
000002ad: MSTORE
000002ae: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000002ca: SWAP1
000002cb: SWAP2
000002cc: AND
000002cd: PUSH1 0x20
000002cf: DUP4
000002d0: ADD
000002d1: MSTORE
000002d2: ADD
000002d3: PUSH2 0x01e8
000002d6: JUMP
000002d7: JUMPDEST
000002d8: CALLVALUE
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02e3
000002de: JUMPI
000002df: PUSH1 0x00
000002e1: DUP1
000002e2: REVERT
000002e3: JUMPDEST
000002e4: POP
000002e5: PUSH2 0x018f
000002e8: PUSH2 0x02f2
000002eb: CALLDATASIZE
000002ec: PUSH1 0x04
000002ee: PUSH2 0x1bdf
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x07d3
000002f6: JUMP
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: DUP1
000002fa: ISZERO
000002fb: PUSH2 0x0303
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: POP
00000305: PUSH2 0x018f
00000308: PUSH2 0x0312
0000030b: CALLDATASIZE
0000030c: PUSH1 0x04
0000030e: PUSH2 0x1ec3
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x0858
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x01de
00000328: PUSH2 0x0332
0000032b: CALLDATASIZE
0000032c: PUSH1 0x04
0000032e: PUSH2 0x1d68
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH1 0x00
00000335: PUSH1 0x20
00000337: DUP2
00000338: SWAP1
00000339: MSTORE
0000033a: SWAP1
0000033b: DUP2
0000033c: MSTORE
0000033d: PUSH1 0x40
0000033f: SWAP1
00000340: KECCAK256
00000341: SLOAD
00000342: DUP2
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x01de
00000355: PUSH2 0x035f
00000358: CALLDATASIZE
00000359: PUSH1 0x04
0000035b: PUSH2 0x1b7d
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH2 0x0870
00000363: JUMP
00000364: JUMPDEST
00000365: CALLVALUE
00000366: DUP1
00000367: ISZERO
00000368: PUSH2 0x0370
0000036b: JUMPI
0000036c: PUSH1 0x00
0000036e: DUP1
0000036f: REVERT
00000370: JUMPDEST
00000371: POP
00000372: PUSH2 0x018f
00000375: PUSH2 0x037f
00000378: CALLDATASIZE
00000379: PUSH1 0x04
0000037b: PUSH2 0x1d80
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH2 0x090b
00000383: JUMP
00000384: JUMPDEST
00000385: CALLVALUE
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x0390
0000038b: JUMPI
0000038c: PUSH1 0x00
0000038e: DUP1
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: PUSH2 0x018f
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x1bdf
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x09c3
000003a3: JUMP
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: PUSH2 0x018f
000003b5: PUSH2 0x03bf
000003b8: CALLDATASIZE
000003b9: PUSH1 0x04
000003bb: PUSH2 0x1c6a
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH2 0x0a3f
000003c3: JUMP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x01de
000003d5: PUSH2 0x03df
000003d8: CALLDATASIZE
000003d9: PUSH1 0x04
000003db: PUSH2 0x1b99
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH2 0x0abf
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x018f
000003f5: PUSH2 0x0b4a
000003f8: JUMP
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x018f
0000040a: PUSH2 0x0414
0000040d: CALLDATASIZE
0000040e: PUSH1 0x04
00000410: PUSH2 0x1d68
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x0ba9
00000418: JUMP
00000419: JUMPDEST
0000041a: CALLVALUE
0000041b: DUP1
0000041c: ISZERO
0000041d: PUSH2 0x0425
00000420: JUMPI
00000421: PUSH1 0x00
00000423: DUP1
00000424: REVERT
00000425: JUMPDEST
00000426: POP
00000427: PUSH2 0x018f
0000042a: PUSH2 0x0434
0000042d: CALLDATASIZE
0000042e: PUSH1 0x04
00000430: PUSH2 0x1d68
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH2 0x0c37
00000438: JUMP
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: POP
00000447: PUSH2 0x018f
0000044a: PUSH2 0x0454
0000044d: CALLDATASIZE
0000044e: PUSH1 0x04
00000450: PUSH2 0x1bdf
00000453: JUMP
00000454: JUMPDEST
00000455: PUSH2 0x0dbf
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x018f
0000046a: PUSH2 0x0474
0000046d: CALLDATASIZE
0000046e: PUSH1 0x04
00000470: PUSH2 0x1c13
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH2 0x0e3b
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH2 0x018f
0000047d: PUSH2 0x0487
00000480: CALLDATASIZE
00000481: PUSH1 0x04
00000483: PUSH2 0x1ccb
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH2 0x0ee4
0000048b: JUMP
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: DUP1
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: POP
0000049a: PUSH1 0x03
0000049c: SLOAD
0000049d: PUSH2 0x04b9
000004a0: SWAP1
000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b6: AND
000004b7: DUP2
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d2: SWAP1
000004d3: SWAP2
000004d4: AND
000004d5: DUP2
000004d6: MSTORE
000004d7: PUSH1 0x20
000004d9: ADD
000004da: PUSH2 0x01e8
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: PUSH1 0x00
000004e4: PUSH2 0x04ee
000004e7: DUP7
000004e8: DUP7
000004e9: DUP7
000004ea: PUSH2 0x0ff8
000004ed: JUMP
000004ee: JUMPDEST
000004ef: PUSH1 0x00
000004f1: DUP3
000004f2: DUP2
000004f3: MSTORE
000004f4: PUSH1 0x20
000004f6: DUP2
000004f7: DUP2
000004f8: MSTORE
000004f9: PUSH1 0x40
000004fb: DUP1
000004fc: DUP4
000004fd: KECCAK256
000004fe: PUSH5 0xffffffffff
00000504: DUP8
00000505: AND
00000506: SWAP1
00000507: DUP2
00000508: SWAP1
00000509: SSTORE
0000050a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051f: DUP1
00000520: DUP15
00000521: AND
00000522: DUP6
00000523: MSTORE
00000524: PUSH1 0x01
00000526: SWAP1
00000527: SWAP4
00000528: MSTORE
00000529: SWAP3
0000052a: KECCAK256
0000052b: DUP1
0000052c: SLOAD
0000052d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000
0000054e: AND
0000054f: SWAP1
00000550: SWAP3
00000551: OR
00000552: SWAP1
00000553: SWAP2
00000554: SSTORE
00000555: PUSH1 0x03
00000557: SLOAD
00000558: SWAP4
00000559: SWAP7
0000055a: POP
0000055b: SWAP2
0000055c: SWAP5
0000055d: POP
0000055e: SWAP3
0000055f: POP
00000560: PUSH2 0x056b
00000563: SWAP2
00000564: AND
00000565: DUP7
00000566: DUP4
00000567: PUSH2 0x134e
0000056a: JUMP
0000056b: JUMPDEST
0000056c: POP
0000056d: POP
0000056e: POP
0000056f: POP
00000570: POP
00000571: POP
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH2 0x057c
00000577: DUP6
00000578: PUSH2 0x0ba9
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH2 0x0588
00000580: DUP5
00000581: DUP5
00000582: DUP5
00000583: DUP5
00000584: PUSH2 0x0a3f
00000587: JUMP
00000588: JUMPDEST
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x00
00000592: DUP1
00000593: PUSH1 0x00
00000595: DUP1
00000596: PUSH2 0x05a0
00000599: DUP8
0000059a: DUP8
0000059b: DUP8
0000059c: PUSH2 0x0abf
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH1 0x00
000005a3: DUP2
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x20
000005a8: DUP2
000005a9: SWAP1
000005aa: MSTORE
000005ab: PUSH1 0x40
000005ad: SWAP1
000005ae: KECCAK256
000005af: SLOAD
000005b0: SWAP1
000005b1: SWAP2
000005b2: POP
000005b3: PUSH2 0x061d
000005b6: JUMPI
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005db: DUP2
000005dc: MSTORE
000005dd: PUSH1 0x20
000005df: PUSH1 0x04
000005e1: DUP3
000005e2: ADD
000005e3: MSTORE
000005e4: PUSH1 0x14
000005e6: PUSH1 0x24
000005e8: DUP3
000005e9: ADD
000005ea: MSTORE
000005eb: PUSH32 0x73747265616d20646f65736e2774206578697374000000000000000000000000
0000060c: PUSH1 0x44
0000060e: DUP3
0000060f: ADD
00000610: MSTORE
00000611: PUSH1 0x64
00000613: ADD
00000614: JUMPDEST
00000615: PUSH1 0x40
00000617: MLOAD
00000618: DUP1
00000619: SWAP2
0000061a: SUB
0000061b: SWAP1
0000061c: REVERT
0000061d: JUMPDEST
0000061e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000633: DUP8
00000634: AND
00000635: PUSH1 0x00
00000637: SWAP1
00000638: DUP2
00000639: MSTORE
0000063a: PUSH1 0x01
0000063c: PUSH1 0x20
0000063e: MSTORE
0000063f: PUSH1 0x40
00000641: DUP2
00000642: KECCAK256
00000643: DUP1
00000644: SLOAD
00000645: SWAP1
00000646: SWAP2
00000647: SWAP1
00000648: DUP2
00000649: SWAP1
0000064a: PUSH2 0x065a
0000064d: SWAP1
0000064e: PUSH5 0xffffffffff
00000654: AND
00000655: TIMESTAMP
00000656: PUSH2 0x2234
00000659: JUMP
0000065a: JUMPDEST
0000065b: DUP4
0000065c: SLOAD
0000065d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000672: DUP13
00000673: AND
00000674: PUSH1 0x00
00000676: SWAP1
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x02
0000067b: PUSH1 0x20
0000067d: MSTORE
0000067e: PUSH1 0x40
00000680: SWAP1
00000681: KECCAK256
00000682: SLOAD
00000683: PUSH6 0x010000000000
0000068a: SWAP1
0000068b: SWAP2
0000068c: DIV
0000068d: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000006a9: AND
000006aa: DUP3
000006ab: MUL
000006ac: SWAP4
000006ad: POP
000006ae: SWAP1
000006af: SWAP2
000006b0: POP
000006b1: DUP3
000006b2: DUP2
000006b3: LT
000006b4: PUSH2 0x06bf
000006b7: JUMPI
000006b8: TIMESTAMP
000006b9: SWAP7
000006ba: POP
000006bb: PUSH2 0x0730
000006be: JUMP
000006bf: JUMPDEST
000006c0: DUP4
000006c1: SLOAD
000006c2: PUSH1 0x00
000006c4: SWAP1
000006c5: PUSH6 0x010000000000
000006cc: SWAP1
000006cd: DIV
000006ce: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000006ea: AND
000006eb: DUP3
000006ec: DUP2
000006ed: PUSH2 0x071f
000006f0: JUMPI
000006f1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000712: PUSH1 0x00
00000714: MSTORE
00000715: PUSH1 0x12
00000717: PUSH1 0x04
00000719: MSTORE
0000071a: PUSH1 0x24
0000071c: PUSH1 0x00
0000071e: REVERT
0000071f: JUMPDEST
00000720: DUP7
00000721: SLOAD
00000722: PUSH5 0xffffffffff
00000728: AND
00000729: SWAP2
0000072a: SWAP1
0000072b: DIV
0000072c: ADD
0000072d: SWAP8
0000072e: POP
0000072f: POP
00000730: JUMPDEST
00000731: PUSH1 0x00
00000733: DUP6
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x20
00000738: DUP2
00000739: SWAP1
0000073a: MSTORE
0000073b: PUSH1 0x40
0000073d: DUP2
0000073e: KECCAK256
0000073f: SLOAD
00000740: PUSH2 0x0749
00000743: SWAP1
00000744: DUP10
00000745: PUSH2 0x2234
00000748: JUMP
00000749: JUMPDEST
0000074a: PUSH1 0x04
0000074c: SLOAD
0000074d: SWAP1
0000074e: SWAP2
0000074f: POP
00000750: PUSH2 0x0776
00000753: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000076f: DUP13
00000770: AND
00000771: DUP4
00000772: PUSH2 0x2183
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH2 0x0780
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH2 0x216f
0000077f: JUMP
00000780: JUMPDEST
00000781: PUSH1 0x04
00000783: SLOAD
00000784: SWAP1
00000785: SWAP10
00000786: POP
00000787: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007a3: DUP12
000007a4: AND
000007a5: PUSH2 0x07ae
000007a8: DUP11
000007a9: TIMESTAMP
000007aa: PUSH2 0x2234
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH2 0x07b8
000007b2: SWAP2
000007b3: SWAP1
000007b4: PUSH2 0x2183
000007b7: JUMP
000007b8: JUMPDEST
000007b9: PUSH2 0x07c2
000007bc: SWAP2
000007bd: SWAP1
000007be: PUSH2 0x216f
000007c1: JUMP
000007c2: JUMPDEST
000007c3: SWAP7
000007c4: POP
000007c5: POP
000007c6: POP
000007c7: POP
000007c8: POP
000007c9: POP
000007ca: POP
000007cb: SWAP4
000007cc: POP
000007cd: SWAP4
000007ce: POP
000007cf: SWAP4
000007d0: SWAP1
000007d1: POP
000007d2: JUMP
000007d3: JUMPDEST
000007d4: PUSH1 0x00
000007d6: PUSH2 0x07df
000007d9: DUP4
000007da: DUP4
000007db: PUSH2 0x1422
000007de: JUMP
000007df: JUMPDEST
000007e0: PUSH1 0x40
000007e2: DUP1
000007e3: MLOAD
000007e4: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000800: DUP6
00000801: AND
00000802: DUP2
00000803: MSTORE
00000804: PUSH1 0x20
00000806: DUP2
00000807: ADD
00000808: DUP4
00000809: SWAP1
0000080a: MSTORE
0000080b: SWAP2
0000080c: SWAP3
0000080d: POP
0000080e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000823: DUP6
00000824: AND
00000825: SWAP2
00000826: CALLER
00000827: SWAP2
00000828: PUSH32 0xad944a97ab4c0b30123a6c2757ec85eab70d01af114e49d0f0a86c466e32fb4f
00000849: SWAP2
0000084a: ADD
0000084b: JUMPDEST
0000084c: PUSH1 0x40
0000084e: MLOAD
0000084f: DUP1
00000850: SWAP2
00000851: SUB
00000852: SWAP1
00000853: LOG3
00000854: POP
00000855: POP
00000856: POP
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH2 0x0861
0000085c: DUP4
0000085d: PUSH2 0x0ba9
00000860: JUMP
00000861: JUMPDEST
00000862: PUSH2 0x086b
00000865: DUP3
00000866: DUP3
00000867: PUSH2 0x0dbf
0000086a: JUMP
0000086b: JUMPDEST
0000086c: POP
0000086d: POP
0000086e: POP
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000886: DUP2
00000887: AND
00000888: PUSH1 0x00
0000088a: SWAP1
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x01
0000088f: PUSH1 0x20
00000891: SWAP1
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x40
00000896: DUP1
00000897: DUP4
00000898: KECCAK256
00000899: PUSH1 0x02
0000089b: SWAP1
0000089c: SWAP3
0000089d: MSTORE
0000089e: DUP3
0000089f: KECCAK256
000008a0: SLOAD
000008a1: DUP2
000008a2: SLOAD
000008a3: DUP4
000008a4: SWAP1
000008a5: PUSH2 0x08b5
000008a8: SWAP1
000008a9: PUSH5 0xffffffffff
000008af: AND
000008b0: TIMESTAMP
000008b1: PUSH2 0x2234
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH1 0x04
000008b8: SLOAD
000008b9: DUP5
000008ba: SLOAD
000008bb: SWAP2
000008bc: SWAP3
000008bd: POP
000008be: SWAP1
000008bf: PUSH2 0x08ee
000008c2: SWAP1
000008c3: PUSH6 0x010000000000
000008ca: SWAP1
000008cb: DIV
000008cc: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008e8: AND
000008e9: DUP4
000008ea: PUSH2 0x2183
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH2 0x08f8
000008f2: SWAP1
000008f3: DUP5
000008f4: PUSH2 0x21c0
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH2 0x0902
000008fc: SWAP2
000008fd: SWAP1
000008fe: PUSH2 0x2107
00000901: JUMP
00000902: JUMPDEST
00000903: SWAP6
00000904: SWAP5
00000905: POP
00000906: POP
00000907: POP
00000908: POP
00000909: POP
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: PUSH32 0xd505accf00000000000000000000000000000000000000000000000000000000
00000930: DUP2
00000931: MSTORE
00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000947: DUP9
00000948: DUP2
00000949: AND
0000094a: PUSH1 0x04
0000094c: DUP4
0000094d: ADD
0000094e: MSTORE
0000094f: DUP8
00000950: DUP2
00000951: AND
00000952: PUSH1 0x24
00000954: DUP4
00000955: ADD
00000956: MSTORE
00000957: PUSH1 0x44
00000959: DUP3
0000095a: ADD
0000095b: DUP8
0000095c: SWAP1
0000095d: MSTORE
0000095e: PUSH1 0x64
00000960: DUP3
00000961: ADD
00000962: DUP7
00000963: SWAP1
00000964: MSTORE
00000965: PUSH1 0xff
00000967: DUP6
00000968: AND
00000969: PUSH1 0x84
0000096b: DUP4
0000096c: ADD
0000096d: MSTORE
0000096e: PUSH1 0xa4
00000970: DUP3
00000971: ADD
00000972: DUP5
00000973: SWAP1
00000974: MSTORE
00000975: PUSH1 0xc4
00000977: DUP3
00000978: ADD
00000979: DUP4
0000097a: SWAP1
0000097b: MSTORE
0000097c: DUP10
0000097d: AND
0000097e: SWAP1
0000097f: PUSH4 0xd505accf
00000984: SWAP1
00000985: PUSH1 0xe4
00000987: ADD
00000988: PUSH1 0x00
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: DUP1
0000098e: DUP4
0000098f: SUB
00000990: DUP2
00000991: PUSH1 0x00
00000993: DUP8
00000994: DUP1
00000995: EXTCODESIZE
00000996: ISZERO
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09a1
0000099c: JUMPI
0000099d: PUSH1 0x00
0000099f: DUP1
000009a0: REVERT
000009a1: JUMPDEST
000009a2: POP
000009a3: GAS
000009a4: CALL
000009a5: ISZERO
000009a6: DUP1
000009a7: ISZERO
000009a8: PUSH2 0x09b5
000009ab: JUMPI
000009ac: RETURNDATASIZE
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: RETURNDATACOPY
000009b1: RETURNDATASIZE
000009b2: PUSH1 0x00
000009b4: REVERT
000009b5: JUMPDEST
000009b6: POP
000009b7: POP
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: POP
000009bd: POP
000009be: POP
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x00
000009c6: PUSH2 0x09cf
000009c9: DUP4
000009ca: DUP4
000009cb: PUSH2 0x1422
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x40
000009d2: DUP1
000009d3: MLOAD
000009d4: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000009f0: DUP6
000009f1: AND
000009f2: DUP2
000009f3: MSTORE
000009f4: PUSH1 0x20
000009f6: DUP2
000009f7: ADD
000009f8: DUP4
000009f9: SWAP1
000009fa: MSTORE
000009fb: SWAP2
000009fc: SWAP3
000009fd: POP
000009fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a13: DUP6
00000a14: AND
00000a15: SWAP2
00000a16: CALLER
00000a17: SWAP2
00000a18: PUSH32 0x6841f88c613e9eedd999a7291168f6d1f83bdd2b2416f98e91c01c19d6d5763a
00000a39: SWAP2
00000a3a: ADD
00000a3b: PUSH2 0x084b
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: PUSH1 0x00
00000a42: PUSH2 0x0a4b
00000a45: DUP6
00000a46: DUP6
00000a47: PUSH2 0x14e2
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: SWAP1
00000a4d: POP
00000a4e: DUP5
00000a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a64: AND
00000a65: CALLER
00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7b: AND
00000a7c: PUSH32 0xf9b31dda66c763701e363e12ac3126c9030e68c82e939dbd42c33a8021e6dda8
00000a9d: DUP7
00000a9e: DUP5
00000a9f: DUP8
00000aa0: DUP8
00000aa1: PUSH1 0x40
00000aa3: MLOAD
00000aa4: PUSH2 0x0ab0
00000aa7: SWAP5
00000aa8: SWAP4
00000aa9: SWAP3
00000aaa: SWAP2
00000aab: SWAP1
00000aac: PUSH2 0x1fd5
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x40
00000ab3: MLOAD
00000ab4: DUP1
00000ab5: SWAP2
00000ab6: SUB
00000ab7: SWAP1
00000ab8: LOG3
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000ae4: PUSH1 0x60
00000ae6: DUP6
00000ae7: DUP2
00000ae8: SHL
00000ae9: DUP3
00000aea: AND
00000aeb: PUSH1 0x20
00000aed: DUP5
00000aee: ADD
00000aef: MSTORE
00000af0: DUP5
00000af1: SWAP1
00000af2: SHL
00000af3: AND
00000af4: PUSH1 0x34
00000af6: DUP3
00000af7: ADD
00000af8: MSTORE
00000af9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000
00000b1a: PUSH1 0x28
00000b1c: DUP4
00000b1d: SWAP1
00000b1e: SHL
00000b1f: AND
00000b20: PUSH1 0x48
00000b22: DUP3
00000b23: ADD
00000b24: MSTORE
00000b25: PUSH1 0x00
00000b27: SWAP1
00000b28: PUSH1 0x63
00000b2a: ADD
00000b2b: PUSH1 0x40
00000b2d: MLOAD
00000b2e: PUSH1 0x20
00000b30: DUP2
00000b31: DUP4
00000b32: SUB
00000b33: SUB
00000b34: DUP2
00000b35: MSTORE
00000b36: SWAP1
00000b37: PUSH1 0x40
00000b39: MSTORE
00000b3a: DUP1
00000b3b: MLOAD
00000b3c: SWAP1
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: KECCAK256
00000b41: SWAP1
00000b42: POP
00000b43: JUMPDEST
00000b44: SWAP4
00000b45: SWAP3
00000b46: POP
00000b47: POP
00000b48: POP
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: CALLER
00000b4c: PUSH1 0x00
00000b4e: SWAP1
00000b4f: DUP2
00000b50: MSTORE
00000b51: PUSH1 0x01
00000b53: PUSH1 0x20
00000b55: SWAP1
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x40
00000b5a: DUP1
00000b5b: DUP4
00000b5c: KECCAK256
00000b5d: DUP1
00000b5e: SLOAD
00000b5f: PUSH1 0x02
00000b61: SWAP1
00000b62: SWAP4
00000b63: MSTORE
00000b64: SWAP3
00000b65: KECCAK256
00000b66: SLOAD
00000b67: PUSH5 0xffffffffff
00000b6d: DUP3
00000b6e: AND
00000b6f: TIMESTAMP
00000b70: SUB
00000b71: SWAP2
00000b72: PUSH2 0x0ba5
00000b75: SWAP2
00000b76: PUSH6 0x010000000000
00000b7d: SWAP1
00000b7e: SWAP2
00000b7f: DIV
00000b80: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b9c: AND
00000b9d: DUP4
00000b9e: MUL
00000b9f: SWAP1
00000ba0: SUB
00000ba1: PUSH2 0x0c37
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: POP
00000ba7: POP
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: PUSH1 0x04
00000bac: SLOAD
00000bad: PUSH2 0x0bb6
00000bb0: SWAP1
00000bb1: DUP3
00000bb2: PUSH2 0x2183
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: CALLER
00000bb8: PUSH1 0x00
00000bba: SWAP1
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x02
00000bbf: PUSH1 0x20
00000bc1: MSTORE
00000bc2: PUSH1 0x40
00000bc4: DUP2
00000bc5: KECCAK256
00000bc6: DUP1
00000bc7: SLOAD
00000bc8: SWAP1
00000bc9: SWAP2
00000bca: SWAP1
00000bcb: PUSH2 0x0bd5
00000bce: SWAP1
00000bcf: DUP5
00000bd0: SWAP1
00000bd1: PUSH2 0x20ef
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: SWAP1
00000bd7: SWAP2
00000bd8: SSTORE
00000bd9: POP
00000bda: POP
00000bdb: PUSH1 0x03
00000bdd: SLOAD
00000bde: PUSH2 0x0bff
00000be1: SWAP1
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: CALLER
00000bf9: ADDRESS
00000bfa: DUP5
00000bfb: PUSH2 0x1737
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x40
00000c02: MLOAD
00000c03: DUP2
00000c04: DUP2
00000c05: MSTORE
00000c06: CALLER
00000c07: SWAP1
00000c08: PUSH32 0x3de3aee7860cdac45b499418398cd4bcf1f9952148868b8a6d43ba7729a0bbb5
00000c29: SWAP1
00000c2a: PUSH1 0x20
00000c2c: ADD
00000c2d: PUSH1 0x40
00000c2f: MLOAD
00000c30: DUP1
00000c31: SWAP2
00000c32: SUB
00000c33: SWAP1
00000c34: LOG2
00000c35: POP
00000c36: JUMP
00000c37: JUMPDEST
00000c38: CALLER
00000c39: PUSH1 0x00
00000c3b: SWAP1
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x01
00000c40: PUSH1 0x20
00000c42: SWAP1
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x40
00000c47: DUP1
00000c48: DUP4
00000c49: KECCAK256
00000c4a: PUSH1 0x02
00000c4c: SWAP1
00000c4d: SWAP3
00000c4e: MSTORE
00000c4f: DUP3
00000c50: KECCAK256
00000c51: DUP1
00000c52: SLOAD
00000c53: SWAP2
00000c54: SWAP3
00000c55: DUP5
00000c56: SWAP3
00000c57: PUSH2 0x0c61
00000c5a: SWAP1
00000c5b: DUP5
00000c5c: SWAP1
00000c5d: PUSH2 0x2234
00000c60: JUMP
00000c61: JUMPDEST
00000c62: SWAP1
00000c63: SWAP2
00000c64: SSTORE
00000c65: POP
00000c66: POP
00000c67: DUP1
00000c68: SLOAD
00000c69: PUSH1 0x00
00000c6b: SWAP1
00000c6c: PUSH2 0x0c7c
00000c6f: SWAP1
00000c70: PUSH5 0xffffffffff
00000c76: AND
00000c77: TIMESTAMP
00000c78: PUSH2 0x2234
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: DUP3
00000c7e: SLOAD
00000c7f: CALLER
00000c80: PUSH1 0x00
00000c82: SWAP1
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x02
00000c87: PUSH1 0x20
00000c89: MSTORE
00000c8a: PUSH1 0x40
00000c8c: SWAP1
00000c8d: KECCAK256
00000c8e: SLOAD
00000c8f: SWAP2
00000c90: SWAP3
00000c91: POP
00000c92: PUSH6 0x010000000000
00000c99: SWAP1
00000c9a: DIV
00000c9b: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000cb7: AND
00000cb8: DUP3
00000cb9: MUL
00000cba: GT
00000cbb: ISZERO
00000cbc: PUSH2 0x0d21
00000cbf: JUMPI
00000cc0: PUSH1 0x40
00000cc2: MLOAD
00000cc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ce4: DUP2
00000ce5: MSTORE
00000ce6: PUSH1 0x20
00000ce8: PUSH1 0x04
00000cea: DUP3
00000ceb: ADD
00000cec: MSTORE
00000ced: PUSH1 0x0a
00000cef: PUSH1 0x24
00000cf1: DUP3
00000cf2: ADD
00000cf3: MSTORE
00000cf4: PUSH32 0x706c73206e6f2072756700000000000000000000000000000000000000000000
00000d15: PUSH1 0x44
00000d17: DUP3
00000d18: ADD
00000d19: MSTORE
00000d1a: PUSH1 0x64
00000d1c: ADD
00000d1d: PUSH2 0x0614
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x00
00000d24: PUSH1 0x04
00000d26: SLOAD
00000d27: DUP5
00000d28: DUP2
00000d29: PUSH2 0x0d5b
00000d2c: JUMPI
00000d2d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000d4e: PUSH1 0x00
00000d50: MSTORE
00000d51: PUSH1 0x12
00000d53: PUSH1 0x04
00000d55: MSTORE
00000d56: PUSH1 0x24
00000d58: PUSH1 0x00
00000d5a: REVERT
00000d5b: JUMPDEST
00000d5c: PUSH1 0x03
00000d5e: SLOAD
00000d5f: SWAP2
00000d60: SWAP1
00000d61: DIV
00000d62: SWAP2
00000d63: POP
00000d64: PUSH2 0x0d84
00000d67: SWAP1
00000d68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7d: AND
00000d7e: CALLER
00000d7f: DUP4
00000d80: PUSH2 0x134e
00000d83: JUMP
00000d84: JUMPDEST
00000d85: PUSH1 0x40
00000d87: MLOAD
00000d88: DUP2
00000d89: DUP2
00000d8a: MSTORE
00000d8b: CALLER
00000d8c: SWAP1
00000d8d: PUSH32 0xb67efc8b8dcfed4c807ecc6c0e5c1234071c787585f1fef08e7cb9a1bc7c7de9
00000dae: SWAP1
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: PUSH1 0x40
00000db4: MLOAD
00000db5: DUP1
00000db6: SWAP2
00000db7: SUB
00000db8: SWAP1
00000db9: LOG2
00000dba: POP
00000dbb: POP
00000dbc: POP
00000dbd: POP
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH1 0x00
00000dc2: PUSH2 0x0dcb
00000dc5: DUP4
00000dc6: DUP4
00000dc7: PUSH2 0x14e2
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x40
00000dce: DUP1
00000dcf: MLOAD
00000dd0: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000dec: DUP6
00000ded: AND
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x20
00000df2: DUP2
00000df3: ADD
00000df4: DUP4
00000df5: SWAP1
00000df6: MSTORE
00000df7: SWAP2
00000df8: SWAP3
00000df9: POP
00000dfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0f: DUP6
00000e10: AND
00000e11: SWAP2
00000e12: CALLER
00000e13: SWAP2
00000e14: PUSH32 0xbdf2ad452fb5e7123ebc3e977452088bc6ac9aa4c6b807fa043bb65f7dd62810
00000e35: SWAP2
00000e36: ADD
00000e37: PUSH2 0x084b
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH1 0x00
00000e3e: PUSH2 0x0e47
00000e41: DUP6
00000e42: DUP6
00000e43: PUSH2 0x1422
00000e46: JUMP
00000e47: JUMPDEST
00000e48: SWAP1
00000e49: POP
00000e4a: PUSH1 0x00
00000e4c: PUSH2 0x0e55
00000e4f: DUP5
00000e50: DUP5
00000e51: PUSH2 0x14e2
00000e54: JUMP
00000e55: JUMPDEST
00000e56: PUSH1 0x40
00000e58: DUP1
00000e59: MLOAD
00000e5a: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e76: DUP9
00000e77: DUP2
00000e78: AND
00000e79: DUP3
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: DUP3
00000e7e: ADD
00000e7f: DUP7
00000e80: SWAP1
00000e81: MSTORE
00000e82: DUP7
00000e83: AND
00000e84: DUP2
00000e85: DUP4
00000e86: ADD
00000e87: MSTORE
00000e88: PUSH1 0x60
00000e8a: DUP2
00000e8b: ADD
00000e8c: DUP4
00000e8d: SWAP1
00000e8e: MSTORE
00000e8f: SWAP1
00000e90: MLOAD
00000e91: SWAP2
00000e92: SWAP3
00000e93: POP
00000e94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea9: DUP7
00000eaa: DUP2
00000eab: AND
00000eac: SWAP3
00000ead: SWAP1
00000eae: DUP10
00000eaf: AND
00000eb0: SWAP2
00000eb1: CALLER
00000eb2: SWAP2
00000eb3: PUSH32 0x0edc6e7edb775c1fb5a1326f1b041b17e4e1cbfb9ea4a0562920bda1a7d03134
00000ed4: SWAP2
00000ed5: DUP2
00000ed6: SWAP1
00000ed7: SUB
00000ed8: PUSH1 0x80
00000eda: ADD
00000edb: SWAP1
00000edc: LOG4
00000edd: POP
00000ede: POP
00000edf: POP
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x00
00000ee7: JUMPDEST
00000ee8: DUP3
00000ee9: DUP2
00000eea: LT
00000eeb: ISZERO
00000eec: PUSH2 0x0ff2
00000eef: JUMPI
00000ef0: PUSH1 0x00
00000ef2: DUP1
00000ef3: ADDRESS
00000ef4: DUP7
00000ef5: DUP7
00000ef6: DUP6
00000ef7: DUP2
00000ef8: DUP2
00000ef9: LT
00000efa: PUSH2 0x0f2c
00000efd: JUMPI
00000efe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000f1f: PUSH1 0x00
00000f21: MSTORE
00000f22: PUSH1 0x32
00000f24: PUSH1 0x04
00000f26: MSTORE
00000f27: PUSH1 0x24
00000f29: PUSH1 0x00
00000f2b: REVERT
00000f2c: JUMPDEST
00000f2d: SWAP1
00000f2e: POP
00000f2f: PUSH1 0x20
00000f31: MUL
00000f32: DUP2
00000f33: ADD
00000f34: SWAP1
00000f35: PUSH2 0x0f3e
00000f38: SWAP2
00000f39: SWAP1
00000f3a: PUSH2 0x204d
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: PUSH1 0x40
00000f41: MLOAD
00000f42: PUSH2 0x0f4c
00000f45: SWAP3
00000f46: SWAP2
00000f47: SWAP1
00000f48: PUSH2 0x1f58
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH1 0x00
00000f4f: PUSH1 0x40
00000f51: MLOAD
00000f52: DUP1
00000f53: DUP4
00000f54: SUB
00000f55: DUP2
00000f56: DUP6
00000f57: GAS
00000f58: DELEGATECALL
00000f59: SWAP2
00000f5a: POP
00000f5b: POP
00000f5c: RETURNDATASIZE
00000f5d: DUP1
00000f5e: PUSH1 0x00
00000f60: DUP2
00000f61: EQ
00000f62: PUSH2 0x0f87
00000f65: JUMPI
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: SWAP2
00000f6a: POP
00000f6b: PUSH1 0x1f
00000f6d: NOT
00000f6e: PUSH1 0x3f
00000f70: RETURNDATASIZE
00000f71: ADD
00000f72: AND
00000f73: DUP3
00000f74: ADD
00000f75: PUSH1 0x40
00000f77: MSTORE
00000f78: RETURNDATASIZE
00000f79: DUP3
00000f7a: MSTORE
00000f7b: RETURNDATASIZE
00000f7c: PUSH1 0x00
00000f7e: PUSH1 0x20
00000f80: DUP5
00000f81: ADD
00000f82: RETURNDATACOPY
00000f83: PUSH2 0x0f8c
00000f86: JUMP
00000f87: JUMPDEST
00000f88: PUSH1 0x60
00000f8a: SWAP2
00000f8b: POP
00000f8c: JUMPDEST
00000f8d: POP
00000f8e: SWAP2
00000f8f: POP
00000f90: SWAP2
00000f91: POP
00000f92: DUP2
00000f93: ISZERO
00000f94: DUP1
00000f95: ISZERO
00000f96: PUSH2 0x0f9c
00000f99: JUMPI
00000f9a: POP
00000f9b: DUP4
00000f9c: JUMPDEST
00000f9d: ISZERO
00000f9e: PUSH2 0x0fdd
00000fa1: JUMPI
00000fa2: PUSH2 0x0faa
00000fa5: DUP2
00000fa6: PUSH2 0x1795
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fcf: DUP2
00000fd0: MSTORE
00000fd1: PUSH1 0x04
00000fd3: ADD
00000fd4: PUSH2 0x0614
00000fd7: SWAP2
00000fd8: SWAP1
00000fd9: PUSH2 0x1f84
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: POP
00000fdf: POP
00000fe0: DUP1
00000fe1: DUP1
00000fe2: PUSH2 0x0fea
00000fe5: SWAP1
00000fe6: PUSH2 0x2277
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: SWAP2
00000fec: POP
00000fed: POP
00000fee: PUSH2 0x0ee7
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: POP
00000ff4: POP
00000ff5: POP
00000ff6: POP
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH1 0x00
00000ffb: DUP1
00000ffc: PUSH1 0x00
00000ffe: PUSH2 0x1008
00001001: DUP7
00001002: DUP7
00001003: DUP7
00001004: PUSH2 0x0abf
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH1 0x00
0000100b: DUP2
0000100c: DUP2
0000100d: MSTORE
0000100e: PUSH1 0x20
00001010: DUP2
00001011: SWAP1
00001012: MSTORE
00001013: PUSH1 0x40
00001015: SWAP1
00001016: KECCAK256
00001017: SLOAD
00001018: SWAP1
00001019: SWAP3
0000101a: POP
0000101b: PUSH2 0x1080
0000101e: JUMPI
0000101f: PUSH1 0x40
00001021: MLOAD
00001022: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001043: DUP2
00001044: MSTORE
00001045: PUSH1 0x20
00001047: PUSH1 0x04
00001049: DUP3
0000104a: ADD
0000104b: MSTORE
0000104c: PUSH1 0x14
0000104e: PUSH1 0x24
00001050: DUP3
00001051: ADD
00001052: MSTORE
00001053: PUSH32 0x73747265616d20646f65736e2774206578697374000000000000000000000000
00001074: PUSH1 0x44
00001076: DUP3
00001077: ADD
00001078: MSTORE
00001079: PUSH1 0x64
0000107b: ADD
0000107c: PUSH2 0x0614
0000107f: JUMP
00001080: JUMPDEST
00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001096: DUP7
00001097: AND
00001098: PUSH1 0x00
0000109a: SWAP1
0000109b: DUP2
0000109c: MSTORE
0000109d: PUSH1 0x01
0000109f: PUSH1 0x20
000010a1: MSTORE
000010a2: PUSH1 0x40
000010a4: DUP2
000010a5: KECCAK256
000010a6: DUP1
000010a7: SLOAD
000010a8: SWAP1
000010a9: SWAP2
000010aa: SWAP1
000010ab: DUP2
000010ac: SWAP1
000010ad: PUSH2 0x10bd
000010b0: SWAP1
000010b1: PUSH5 0xffffffffff
000010b7: AND
000010b8: TIMESTAMP
000010b9: PUSH2 0x2234
000010bc: JUMP
000010bd: JUMPDEST
000010be: DUP4
000010bf: SLOAD
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: DUP12
000010d6: AND
000010d7: PUSH1 0x00
000010d9: SWAP1
000010da: DUP2
000010db: MSTORE
000010dc: PUSH1 0x02
000010de: PUSH1 0x20
000010e0: MSTORE
000010e1: PUSH1 0x40
000010e3: SWAP1
000010e4: KECCAK256
000010e5: SLOAD
000010e6: PUSH6 0x010000000000
000010ed: SWAP1
000010ee: SWAP2
000010ef: DIV
000010f0: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000110c: AND
0000110d: DUP3
0000110e: MUL
0000110f: SWAP4
00001110: POP
00001111: SWAP1
00001112: SWAP2
00001113: POP
00001114: DUP3
00001115: DUP2
00001116: LT
00001117: PUSH2 0x114c
0000111a: JUMPI
0000111b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001130: DUP11
00001131: AND
00001132: PUSH1 0x00
00001134: SWAP1
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x02
00001139: PUSH1 0x20
0000113b: MSTORE
0000113c: PUSH1 0x40
0000113e: SWAP1
0000113f: KECCAK256
00001140: DUP4
00001141: DUP3
00001142: SUB
00001143: SWAP1
00001144: SSTORE
00001145: TIMESTAMP
00001146: SWAP7
00001147: POP
00001148: PUSH2 0x1246
0000114b: JUMP
0000114c: JUMPDEST
0000114d: DUP4
0000114e: SLOAD
0000114f: PUSH1 0x00
00001151: SWAP1
00001152: PUSH6 0x010000000000
00001159: SWAP1
0000115a: DIV
0000115b: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001177: AND
00001178: DUP3
00001179: DUP2
0000117a: PUSH2 0x11ac
0000117d: JUMPI
0000117e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000119f: PUSH1 0x00
000011a1: MSTORE
000011a2: PUSH1 0x12
000011a4: PUSH1 0x04
000011a6: MSTORE
000011a7: PUSH1 0x24
000011a9: PUSH1 0x00
000011ab: REVERT
000011ac: JUMPDEST
000011ad: DUP7
000011ae: SLOAD
000011af: SWAP2
000011b0: SWAP1
000011b1: DIV
000011b2: PUSH5 0xffffffffff
000011b8: DUP3
000011b9: AND
000011ba: DUP2
000011bb: ADD
000011bc: SWAP10
000011bd: POP
000011be: SWAP2
000011bf: POP
000011c0: PUSH6 0x010000000000
000011c7: SWAP1
000011c8: DIV
000011c9: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000011e5: AND
000011e6: DUP3
000011e7: DUP2
000011e8: PUSH2 0x121a
000011eb: JUMPI
000011ec: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000120d: PUSH1 0x00
0000120f: MSTORE
00001210: PUSH1 0x12
00001212: PUSH1 0x04
00001214: MSTORE
00001215: PUSH1 0x24
00001217: PUSH1 0x00
00001219: REVERT
0000121a: JUMPDEST
0000121b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001230: DUP14
00001231: AND
00001232: PUSH1 0x00
00001234: SWAP1
00001235: DUP2
00001236: MSTORE
00001237: PUSH1 0x02
00001239: PUSH1 0x20
0000123b: MSTORE
0000123c: PUSH1 0x40
0000123e: SWAP1
0000123f: KECCAK256
00001240: SWAP2
00001241: SWAP1
00001242: MOD
00001243: SWAP1
00001244: SSTORE
00001245: POP
00001246: JUMPDEST
00001247: PUSH1 0x00
00001249: DUP7
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x20
0000124e: DUP2
0000124f: SWAP1
00001250: MSTORE
00001251: PUSH1 0x40
00001253: DUP2
00001254: KECCAK256
00001255: SLOAD
00001256: PUSH2 0x1266
00001259: SWAP1
0000125a: PUSH5 0xffffffffff
00001260: DUP11
00001261: AND
00001262: PUSH2 0x2234
00001265: JUMP
00001266: JUMPDEST
00001267: SWAP1
00001268: POP
00001269: PUSH1 0x04
0000126b: SLOAD
0000126c: DUP10
0000126d: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001289: AND
0000128a: DUP3
0000128b: MUL
0000128c: DUP2
0000128d: PUSH2 0x12bf
00001290: JUMPI
00001291: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000012b2: PUSH1 0x00
000012b4: MSTORE
000012b5: PUSH1 0x12
000012b7: PUSH1 0x04
000012b9: MSTORE
000012ba: PUSH1 0x24
000012bc: PUSH1 0x00
000012be: REVERT
000012bf: JUMPDEST
000012c0: PUSH1 0x40
000012c2: DUP1
000012c3: MLOAD
000012c4: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000012e0: DUP14
000012e1: AND
000012e2: DUP2
000012e3: MSTORE
000012e4: PUSH1 0x20
000012e6: DUP2
000012e7: ADD
000012e8: DUP12
000012e9: SWAP1
000012ea: MSTORE
000012eb: SWAP3
000012ec: SWAP1
000012ed: SWAP2
000012ee: DIV
000012ef: SWAP1
000012f0: DUP3
000012f1: ADD
000012f2: DUP2
000012f3: SWAP1
000012f4: MSTORE
000012f5: SWAP7
000012f6: POP
000012f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130c: DUP1
0000130d: DUP13
0000130e: AND
0000130f: SWAP2
00001310: SWAP1
00001311: DUP14
00001312: AND
00001313: SWAP1
00001314: PUSH32 0x674faf747e3eea06e0c6346405d01330e029b752733b8ac5cfa9365ed64a496c
00001335: SWAP1
00001336: PUSH1 0x60
00001338: ADD
00001339: PUSH1 0x40
0000133b: MLOAD
0000133c: DUP1
0000133d: SWAP2
0000133e: SUB
0000133f: SWAP1
00001340: LOG3
00001341: POP
00001342: POP
00001343: POP
00001344: POP
00001345: POP
00001346: SWAP4
00001347: POP
00001348: SWAP4
00001349: POP
0000134a: SWAP4
0000134b: SWAP1
0000134c: POP
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH1 0x40
00001351: MLOAD
00001352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001367: DUP4
00001368: AND
00001369: PUSH1 0x24
0000136b: DUP3
0000136c: ADD
0000136d: MSTORE
0000136e: PUSH1 0x44
00001370: DUP2
00001371: ADD
00001372: DUP3
00001373: SWAP1
00001374: MSTORE
00001375: PUSH2 0x086b
00001378: SWAP1
00001379: DUP5
0000137a: SWAP1
0000137b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000139c: SWAP1
0000139d: PUSH1 0x64
0000139f: ADD
000013a0: JUMPDEST
000013a1: PUSH1 0x40
000013a3: DUP1
000013a4: MLOAD
000013a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000013c6: DUP2
000013c7: DUP5
000013c8: SUB
000013c9: ADD
000013ca: DUP2
000013cb: MSTORE
000013cc: SWAP2
000013cd: SWAP1
000013ce: MSTORE
000013cf: PUSH1 0x20
000013d1: DUP2
000013d2: ADD
000013d3: DUP1
000013d4: MLOAD
000013d5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000013f2: AND
000013f3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001414: SWAP1
00001415: SWAP4
00001416: AND
00001417: SWAP3
00001418: SWAP1
00001419: SWAP3
0000141a: OR
0000141b: SWAP1
0000141c: SWAP2
0000141d: MSTORE
0000141e: PUSH2 0x17fa
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x00
00001425: DUP1
00001426: PUSH1 0x00
00001428: PUSH2 0x1432
0000142b: CALLER
0000142c: DUP7
0000142d: DUP7
0000142e: PUSH2 0x0ff8
00001431: JUMP
00001432: JUMPDEST
00001433: PUSH1 0x00
00001435: DUP3
00001436: DUP2
00001437: MSTORE
00001438: PUSH1 0x20
0000143a: DUP2
0000143b: DUP2
0000143c: MSTORE
0000143d: PUSH1 0x40
0000143f: DUP1
00001440: DUP4
00001441: KECCAK256
00001442: DUP4
00001443: SWAP1
00001444: SSTORE
00001445: CALLER
00001446: DUP4
00001447: MSTORE
00001448: PUSH1 0x01
0000144a: SWAP1
0000144b: SWAP2
0000144c: MSTORE
0000144d: SWAP1
0000144e: KECCAK256
0000144f: DUP1
00001450: SLOAD
00001451: PUSH5 0xffffffffff
00001457: DUP6
00001458: AND
00001459: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001475: PUSH6 0x010000000000
0000147c: SWAP3
0000147d: DUP4
0000147e: SWAP1
0000147f: DIV
00001480: DUP2
00001481: AND
00001482: DUP12
00001483: SWAP1
00001484: SUB
00001485: AND
00001486: SWAP1
00001487: SWAP2
00001488: MUL
00001489: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000
000014aa: AND
000014ab: OR
000014ac: DUP2
000014ad: SSTORE
000014ae: PUSH1 0x03
000014b0: SLOAD
000014b1: SWAP3
000014b2: SWAP7
000014b3: POP
000014b4: SWAP3
000014b5: SWAP5
000014b6: POP
000014b7: SWAP3
000014b8: POP
000014b9: PUSH2 0x14d9
000014bc: SWAP1
000014bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d2: AND
000014d3: DUP8
000014d4: DUP5
000014d5: PUSH2 0x134e
000014d8: JUMP
000014d9: JUMPDEST
000014da: POP
000014db: POP
000014dc: POP
000014dd: SWAP3
000014de: SWAP2
000014df: POP
000014e0: POP
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH1 0x00
000014e5: PUSH2 0x14ef
000014e8: CALLER
000014e9: DUP5
000014ea: DUP5
000014eb: PUSH2 0x0abf
000014ee: JUMP
000014ef: JUMPDEST
000014f0: SWAP1
000014f1: POP
000014f2: PUSH1 0x00
000014f4: DUP3
000014f5: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001511: AND
00001512: GT
00001513: PUSH2 0x1578
00001516: JUMPI
00001517: PUSH1 0x40
00001519: MLOAD
0000151a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH1 0x20
0000153f: PUSH1 0x04
00001541: DUP3
00001542: ADD
00001543: MSTORE
00001544: PUSH1 0x17
00001546: PUSH1 0x24
00001548: DUP3
00001549: ADD
0000154a: MSTORE
0000154b: PUSH32 0x616d6f756e745065725365632063616e27742062652030000000000000000000
0000156c: PUSH1 0x44
0000156e: DUP3
0000156f: ADD
00001570: MSTORE
00001571: PUSH1 0x64
00001573: ADD
00001574: PUSH2 0x0614
00001577: JUMP
00001578: JUMPDEST
00001579: PUSH1 0x00
0000157b: DUP2
0000157c: DUP2
0000157d: MSTORE
0000157e: PUSH1 0x20
00001580: DUP2
00001581: SWAP1
00001582: MSTORE
00001583: PUSH1 0x40
00001585: SWAP1
00001586: KECCAK256
00001587: SLOAD
00001588: ISZERO
00001589: PUSH2 0x15ee
0000158c: JUMPI
0000158d: PUSH1 0x40
0000158f: MLOAD
00001590: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015b1: DUP2
000015b2: MSTORE
000015b3: PUSH1 0x20
000015b5: PUSH1 0x04
000015b7: DUP3
000015b8: ADD
000015b9: MSTORE
000015ba: PUSH1 0x15
000015bc: PUSH1 0x24
000015be: DUP3
000015bf: ADD
000015c0: MSTORE
000015c1: PUSH32 0x73747265616d20616c7265616479206578697374730000000000000000000000
000015e2: PUSH1 0x44
000015e4: DUP3
000015e5: ADD
000015e6: MSTORE
000015e7: PUSH1 0x64
000015e9: ADD
000015ea: PUSH2 0x0614
000015ed: JUMP
000015ee: JUMPDEST
000015ef: PUSH1 0x00
000015f1: DUP2
000015f2: DUP2
000015f3: MSTORE
000015f4: PUSH1 0x20
000015f6: DUP2
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0x40
000015fb: DUP1
000015fc: DUP4
000015fd: KECCAK256
000015fe: TIMESTAMP
000015ff: SWAP1
00001600: DUP2
00001601: SWAP1
00001602: SSTORE
00001603: CALLER
00001604: DUP5
00001605: MSTORE
00001606: PUSH1 0x01
00001608: SWAP1
00001609: SWAP3
0000160a: MSTORE
0000160b: DUP3
0000160c: KECCAK256
0000160d: DUP1
0000160e: SLOAD
0000160f: SWAP1
00001610: SWAP3
00001611: SWAP2
00001612: DUP3
00001613: SWAP2
00001614: PUSH2 0x1626
00001617: SWAP2
00001618: PUSH5 0xffffffffff
0000161e: SWAP1
0000161f: SWAP2
00001620: AND
00001621: SWAP1
00001622: PUSH2 0x2234
00001625: JUMP
00001626: JUMPDEST
00001627: DUP4
00001628: SLOAD
00001629: CALLER
0000162a: PUSH1 0x00
0000162c: SWAP1
0000162d: DUP2
0000162e: MSTORE
0000162f: PUSH1 0x02
00001631: PUSH1 0x20
00001633: MSTORE
00001634: PUSH1 0x40
00001636: DUP2
00001637: KECCAK256
00001638: DUP1
00001639: SLOAD
0000163a: PUSH6 0x010000000000
00001641: SWAP1
00001642: SWAP4
00001643: DIV
00001644: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001660: AND
00001661: DUP5
00001662: MUL
00001663: SWAP6
00001664: POP
00001665: SWAP3
00001666: SWAP4
00001667: POP
00001668: DUP5
00001669: SWAP3
0000166a: SWAP2
0000166b: PUSH2 0x1675
0000166e: SWAP1
0000166f: DUP5
00001670: SWAP1
00001671: PUSH2 0x2234
00001674: JUMP
00001675: JUMPDEST
00001676: SWAP1
00001677: SWAP2
00001678: SSTORE
00001679: POP
0000167a: POP
0000167b: DUP3
0000167c: SLOAD
0000167d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000
0000169e: AND
0000169f: TIMESTAMP
000016a0: PUSH5 0xffffffffff
000016a6: AND
000016a7: OR
000016a8: DUP1
000016a9: DUP5
000016aa: SSTORE
000016ab: DUP6
000016ac: SWAP1
000016ad: DUP5
000016ae: SWAP1
000016af: PUSH1 0x05
000016b1: SWAP1
000016b2: PUSH2 0x16e2
000016b5: SWAP1
000016b6: DUP5
000016b7: SWAP1
000016b8: PUSH6 0x010000000000
000016bf: SWAP1
000016c0: DIV
000016c1: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016dd: AND
000016de: PUSH2 0x20b0
000016e1: JUMP
000016e2: JUMPDEST
000016e3: SWAP3
000016e4: POP
000016e5: PUSH2 0x0100
000016e8: EXP
000016e9: DUP2
000016ea: SLOAD
000016eb: DUP2
000016ec: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001708: MUL
00001709: NOT
0000170a: AND
0000170b: SWAP1
0000170c: DUP4
0000170d: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001729: AND
0000172a: MUL
0000172b: OR
0000172c: SWAP1
0000172d: SSTORE
0000172e: POP
0000172f: POP
00001730: POP
00001731: POP
00001732: SWAP3
00001733: SWAP2
00001734: POP
00001735: POP
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001750: DUP1
00001751: DUP6
00001752: AND
00001753: PUSH1 0x24
00001755: DUP4
00001756: ADD
00001757: MSTORE
00001758: DUP4
00001759: AND
0000175a: PUSH1 0x44
0000175c: DUP3
0000175d: ADD
0000175e: MSTORE
0000175f: PUSH1 0x64
00001761: DUP2
00001762: ADD
00001763: DUP3
00001764: SWAP1
00001765: MSTORE
00001766: PUSH2 0x0ff2
00001769: SWAP1
0000176a: DUP6
0000176b: SWAP1
0000176c: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
0000178d: SWAP1
0000178e: PUSH1 0x84
00001790: ADD
00001791: PUSH2 0x13a0
00001794: JUMP
00001795: JUMPDEST
00001796: PUSH1 0x60
00001798: PUSH1 0x44
0000179a: DUP3
0000179b: MLOAD
0000179c: LT
0000179d: ISZERO
0000179e: PUSH2 0x17da
000017a1: JUMPI
000017a2: POP
000017a3: POP
000017a4: PUSH1 0x40
000017a6: DUP1
000017a7: MLOAD
000017a8: DUP1
000017a9: DUP3
000017aa: ADD
000017ab: SWAP1
000017ac: SWAP2
000017ad: MSTORE
000017ae: PUSH1 0x1d
000017b0: DUP2
000017b1: MSTORE
000017b2: PUSH32 0x5472616e73616374696f6e2072657665727465642073696c656e746c79000000
000017d3: PUSH1 0x20
000017d5: DUP3
000017d6: ADD
000017d7: MSTORE
000017d8: SWAP1
000017d9: JUMP
000017da: JUMPDEST
000017db: PUSH1 0x04
000017dd: DUP3
000017de: ADD
000017df: SWAP2
000017e0: POP
000017e1: DUP2
000017e2: DUP1
000017e3: PUSH1 0x20
000017e5: ADD
000017e6: SWAP1
000017e7: MLOAD
000017e8: DUP2
000017e9: ADD
000017ea: SWAP1
000017eb: PUSH2 0x17f4
000017ee: SWAP2
000017ef: SWAP1
000017f0: PUSH2 0x1e07
000017f3: JUMP
000017f4: JUMPDEST
000017f5: SWAP3
000017f6: SWAP2
000017f7: POP
000017f8: POP
000017f9: JUMP
000017fa: JUMPDEST
000017fb: PUSH1 0x00
000017fd: PUSH2 0x185c
00001800: DUP3
00001801: PUSH1 0x40
00001803: MLOAD
00001804: DUP1
00001805: PUSH1 0x40
00001807: ADD
00001808: PUSH1 0x40
0000180a: MSTORE
0000180b: DUP1
0000180c: PUSH1 0x20
0000180e: DUP2
0000180f: MSTORE
00001810: PUSH1 0x20
00001812: ADD
00001813: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001834: DUP2
00001835: MSTORE
00001836: POP
00001837: DUP6
00001838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184d: AND
0000184e: PUSH2 0x1906
00001851: SWAP1
00001852: SWAP3
00001853: SWAP2
00001854: SWAP1
00001855: PUSH4 0xffffffff
0000185a: AND
0000185b: JUMP
0000185c: JUMPDEST
0000185d: DUP1
0000185e: MLOAD
0000185f: SWAP1
00001860: SWAP2
00001861: POP
00001862: ISZERO
00001863: PUSH2 0x086b
00001866: JUMPI
00001867: DUP1
00001868: DUP1
00001869: PUSH1 0x20
0000186b: ADD
0000186c: SWAP1
0000186d: MLOAD
0000186e: DUP2
0000186f: ADD
00001870: SWAP1
00001871: PUSH2 0x187a
00001874: SWAP2
00001875: SWAP1
00001876: PUSH2 0x1d4c
00001879: JUMP
0000187a: JUMPDEST
0000187b: PUSH2 0x086b
0000187e: JUMPI
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a3: DUP2
000018a4: MSTORE
000018a5: PUSH1 0x20
000018a7: PUSH1 0x04
000018a9: DUP3
000018aa: ADD
000018ab: MSTORE
000018ac: PUSH1 0x2a
000018ae: PUSH1 0x24
000018b0: DUP3
000018b1: ADD
000018b2: MSTORE
000018b3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000018d4: PUSH1 0x44
000018d6: DUP3
000018d7: ADD
000018d8: MSTORE
000018d9: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000018fa: PUSH1 0x64
000018fc: DUP3
000018fd: ADD
000018fe: MSTORE
000018ff: PUSH1 0x84
00001901: ADD
00001902: PUSH2 0x0614
00001905: JUMP
00001906: JUMPDEST
00001907: PUSH1 0x60
00001909: PUSH2 0x1915
0000190c: DUP5
0000190d: DUP5
0000190e: PUSH1 0x00
00001910: DUP6
00001911: PUSH2 0x191d
00001914: JUMP
00001915: JUMPDEST
00001916: SWAP5
00001917: SWAP4
00001918: POP
00001919: POP
0000191a: POP
0000191b: POP
0000191c: JUMP
0000191d: JUMPDEST
0000191e: PUSH1 0x60
00001920: DUP3
00001921: SELFBALANCE
00001922: LT
00001923: ISZERO
00001924: PUSH2 0x19af
00001927: JUMPI
00001928: PUSH1 0x40
0000192a: MLOAD
0000192b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000194c: DUP2
0000194d: MSTORE
0000194e: PUSH1 0x20
00001950: PUSH1 0x04
00001952: DUP3
00001953: ADD
00001954: MSTORE
00001955: PUSH1 0x26
00001957: PUSH1 0x24
00001959: DUP3
0000195a: ADD
0000195b: MSTORE
0000195c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000197d: PUSH1 0x44
0000197f: DUP3
00001980: ADD
00001981: MSTORE
00001982: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000019a3: PUSH1 0x64
000019a5: DUP3
000019a6: ADD
000019a7: MSTORE
000019a8: PUSH1 0x84
000019aa: ADD
000019ab: PUSH2 0x0614
000019ae: JUMP
000019af: JUMPDEST
000019b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c5: DUP6
000019c6: AND
000019c7: EXTCODESIZE
000019c8: PUSH2 0x1a2d
000019cb: JUMPI
000019cc: PUSH1 0x40
000019ce: MLOAD
000019cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019f0: DUP2
000019f1: MSTORE
000019f2: PUSH1 0x20
000019f4: PUSH1 0x04
000019f6: DUP3
000019f7: ADD
000019f8: MSTORE
000019f9: PUSH1 0x1d
000019fb: PUSH1 0x24
000019fd: DUP3
000019fe: ADD
000019ff: MSTORE
00001a00: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001a21: PUSH1 0x44
00001a23: DUP3
00001a24: ADD
00001a25: MSTORE
00001a26: PUSH1 0x64
00001a28: ADD
00001a29: PUSH2 0x0614
00001a2c: JUMP
00001a2d: JUMPDEST
00001a2e: PUSH1 0x00
00001a30: DUP1
00001a31: DUP7
00001a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a47: AND
00001a48: DUP6
00001a49: DUP8
00001a4a: PUSH1 0x40
00001a4c: MLOAD
00001a4d: PUSH2 0x1a56
00001a50: SWAP2
00001a51: SWAP1
00001a52: PUSH2 0x1f68
00001a55: JUMP
00001a56: JUMPDEST
00001a57: PUSH1 0x00
00001a59: PUSH1 0x40
00001a5b: MLOAD
00001a5c: DUP1
00001a5d: DUP4
00001a5e: SUB
00001a5f: DUP2
00001a60: DUP6
00001a61: DUP8
00001a62: GAS
00001a63: CALL
00001a64: SWAP3
00001a65: POP
00001a66: POP
00001a67: POP
00001a68: RETURNDATASIZE
00001a69: DUP1
00001a6a: PUSH1 0x00
00001a6c: DUP2
00001a6d: EQ
00001a6e: PUSH2 0x1a93
00001a71: JUMPI
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: SWAP2
00001a76: POP
00001a77: PUSH1 0x1f
00001a79: NOT
00001a7a: PUSH1 0x3f
00001a7c: RETURNDATASIZE
00001a7d: ADD
00001a7e: AND
00001a7f: DUP3
00001a80: ADD
00001a81: PUSH1 0x40
00001a83: MSTORE
00001a84: RETURNDATASIZE
00001a85: DUP3
00001a86: MSTORE
00001a87: RETURNDATASIZE
00001a88: PUSH1 0x00
00001a8a: PUSH1 0x20
00001a8c: DUP5
00001a8d: ADD
00001a8e: RETURNDATACOPY
00001a8f: PUSH2 0x1a98
00001a92: JUMP
00001a93: JUMPDEST
00001a94: PUSH1 0x60
00001a96: SWAP2
00001a97: POP
00001a98: JUMPDEST
00001a99: POP
00001a9a: SWAP2
00001a9b: POP
00001a9c: SWAP2
00001a9d: POP
00001a9e: PUSH2 0x1aa8
00001aa1: DUP3
00001aa2: DUP3
00001aa3: DUP7
00001aa4: PUSH2 0x1ab3
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: SWAP8
00001aaa: SWAP7
00001aab: POP
00001aac: POP
00001aad: POP
00001aae: POP
00001aaf: POP
00001ab0: POP
00001ab1: POP
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x60
00001ab6: DUP4
00001ab7: ISZERO
00001ab8: PUSH2 0x1ac2
00001abb: JUMPI
00001abc: POP
00001abd: DUP2
00001abe: PUSH2 0x0b43
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: DUP3
00001ac4: MLOAD
00001ac5: ISZERO
00001ac6: PUSH2 0x1ad2
00001ac9: JUMPI
00001aca: DUP3
00001acb: MLOAD
00001acc: DUP1
00001acd: DUP5
00001ace: PUSH1 0x20
00001ad0: ADD
00001ad1: REVERT
00001ad2: JUMPDEST
00001ad3: DUP2
00001ad4: PUSH1 0x40
00001ad6: MLOAD
00001ad7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001af8: DUP2
00001af9: MSTORE
00001afa: PUSH1 0x04
00001afc: ADD
00001afd: PUSH2 0x0614
00001b00: SWAP2
00001b01: SWAP1
00001b02: PUSH2 0x1f84
00001b05: JUMP
00001b06: JUMPDEST
00001b07: PUSH1 0x00
00001b09: DUP1
00001b0a: DUP4
00001b0b: PUSH1 0x1f
00001b0d: DUP5
00001b0e: ADD
00001b0f: SLT
00001b10: PUSH2 0x1b17
00001b13: JUMPI
00001b14: DUP2
00001b15: DUP3
00001b16: REVERT
00001b17: JUMPDEST
00001b18: POP
00001b19: DUP2
00001b1a: CALLDATALOAD
00001b1b: PUSH8 0xffffffffffffffff
00001b24: DUP2
00001b25: GT
00001b26: ISZERO
00001b27: PUSH2 0x1b2e
00001b2a: JUMPI
00001b2b: DUP2
00001b2c: DUP3
00001b2d: REVERT
00001b2e: JUMPDEST
00001b2f: PUSH1 0x20
00001b31: DUP4
00001b32: ADD
00001b33: SWAP2
00001b34: POP
00001b35: DUP4
00001b36: PUSH1 0x20
00001b38: DUP3
00001b39: DUP6
00001b3a: ADD
00001b3b: ADD
00001b3c: GT
00001b3d: ISZERO
00001b3e: PUSH2 0x1b46
00001b41: JUMPI
00001b42: PUSH1 0x00
00001b44: DUP1
00001b45: REVERT
00001b46: JUMPDEST
00001b47: SWAP3
00001b48: POP
00001b49: SWAP3
00001b4a: SWAP1
00001b4b: POP
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: DUP1
00001b4f: CALLDATALOAD
00001b50: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b6c: DUP2
00001b6d: AND
00001b6e: DUP2
00001b6f: EQ
00001b70: PUSH2 0x1b78
00001b73: JUMPI
00001b74: PUSH1 0x00
00001b76: DUP1
00001b77: REVERT
00001b78: JUMPDEST
00001b79: SWAP2
00001b7a: SWAP1
00001b7b: POP
00001b7c: JUMP
00001b7d: JUMPDEST
00001b7e: PUSH1 0x00
00001b80: PUSH1 0x20
00001b82: DUP3
00001b83: DUP5
00001b84: SUB
00001b85: SLT
00001b86: ISZERO
00001b87: PUSH2 0x1b8e
00001b8a: JUMPI
00001b8b: DUP1
00001b8c: DUP2
00001b8d: REVERT
00001b8e: JUMPDEST
00001b8f: DUP2
00001b90: CALLDATALOAD
00001b91: PUSH2 0x0b43
00001b94: DUP2
00001b95: PUSH2 0x233d
00001b98: JUMP
00001b99: JUMPDEST
00001b9a: PUSH1 0x00
00001b9c: DUP1
00001b9d: PUSH1 0x00
00001b9f: PUSH1 0x60
00001ba1: DUP5
00001ba2: DUP7
00001ba3: SUB
00001ba4: SLT
00001ba5: ISZERO
00001ba6: PUSH2 0x1bad
00001ba9: JUMPI
00001baa: DUP2
00001bab: DUP3
00001bac: REVERT
00001bad: JUMPDEST
00001bae: DUP4
00001baf: CALLDATALOAD
00001bb0: PUSH2 0x1bb8
00001bb3: DUP2
00001bb4: PUSH2 0x233d
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: SWAP3
00001bba: POP
00001bbb: PUSH1 0x20
00001bbd: DUP5
00001bbe: ADD
00001bbf: CALLDATALOAD
00001bc0: PUSH2 0x1bc8
00001bc3: DUP2
00001bc4: PUSH2 0x233d
00001bc7: JUMP
00001bc8: JUMPDEST
00001bc9: SWAP2
00001bca: POP
00001bcb: PUSH2 0x1bd6
00001bce: PUSH1 0x40
00001bd0: DUP6
00001bd1: ADD
00001bd2: PUSH2 0x1b4d
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: SWAP1
00001bd8: POP
00001bd9: SWAP3
00001bda: POP
00001bdb: SWAP3
00001bdc: POP
00001bdd: SWAP3
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: PUSH1 0x40
00001be5: DUP4
00001be6: DUP6
00001be7: SUB
00001be8: SLT
00001be9: ISZERO
00001bea: PUSH2 0x1bf1
00001bed: JUMPI
00001bee: DUP2
00001bef: DUP3
00001bf0: REVERT
00001bf1: JUMPDEST
00001bf2: DUP3
00001bf3: CALLDATALOAD
00001bf4: PUSH2 0x1bfc
00001bf7: DUP2
00001bf8: PUSH2 0x233d
00001bfb: JUMP
00001bfc: JUMPDEST
00001bfd: SWAP2
00001bfe: POP
00001bff: PUSH2 0x1c0a
00001c02: PUSH1 0x20
00001c04: DUP5
00001c05: ADD
00001c06: PUSH2 0x1b4d
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: SWAP1
00001c0c: POP
00001c0d: SWAP3
00001c0e: POP
00001c0f: SWAP3
00001c10: SWAP1
00001c11: POP
00001c12: JUMP
00001c13: JUMPDEST
00001c14: PUSH1 0x00
00001c16: DUP1
00001c17: PUSH1 0x00
00001c19: DUP1
00001c1a: PUSH1 0x80
00001c1c: DUP6
00001c1d: DUP8
00001c1e: SUB
00001c1f: SLT
00001c20: ISZERO
00001c21: PUSH2 0x1c28
00001c24: JUMPI
00001c25: DUP1
00001c26: DUP2
00001c27: REVERT
00001c28: JUMPDEST
00001c29: DUP5
00001c2a: CALLDATALOAD
00001c2b: PUSH2 0x1c33
00001c2e: DUP2
00001c2f: PUSH2 0x233d
00001c32: JUMP
00001c33: JUMPDEST
00001c34: SWAP4
00001c35: POP
00001c36: PUSH2 0x1c41
00001c39: PUSH1 0x20
00001c3b: DUP7
00001c3c: ADD
00001c3d: PUSH2 0x1b4d
00001c40: JUMP
00001c41: JUMPDEST
00001c42: SWAP3
00001c43: POP
00001c44: PUSH1 0x40
00001c46: DUP6
00001c47: ADD
00001c48: CALLDATALOAD
00001c49: PUSH2 0x1c51
00001c4c: DUP2
00001c4d: PUSH2 0x233d
00001c50: JUMP
00001c51: JUMPDEST
00001c52: SWAP2
00001c53: POP
00001c54: PUSH2 0x1c5f
00001c57: PUSH1 0x60
00001c59: DUP7
00001c5a: ADD
00001c5b: PUSH2 0x1b4d
00001c5e: JUMP
00001c5f: JUMPDEST
00001c60: SWAP1
00001c61: POP
00001c62: SWAP3
00001c63: SWAP6
00001c64: SWAP2
00001c65: SWAP5
00001c66: POP
00001c67: SWAP3
00001c68: POP
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH1 0x00
00001c6d: DUP1
00001c6e: PUSH1 0x00
00001c70: DUP1
00001c71: PUSH1 0x60
00001c73: DUP6
00001c74: DUP8
00001c75: SUB
00001c76: SLT
00001c77: ISZERO
00001c78: PUSH2 0x1c7f
00001c7b: JUMPI
00001c7c: DUP4
00001c7d: DUP5
00001c7e: REVERT
00001c7f: JUMPDEST
00001c80: DUP5
00001c81: CALLDATALOAD
00001c82: PUSH2 0x1c8a
00001c85: DUP2
00001c86: PUSH2 0x233d
00001c89: JUMP
00001c8a: JUMPDEST
00001c8b: SWAP4
00001c8c: POP
00001c8d: PUSH2 0x1c98
00001c90: PUSH1 0x20
00001c92: DUP7
00001c93: ADD
00001c94: PUSH2 0x1b4d
00001c97: JUMP
00001c98: JUMPDEST
00001c99: SWAP3
00001c9a: POP
00001c9b: PUSH1 0x40
00001c9d: DUP6
00001c9e: ADD
00001c9f: CALLDATALOAD
00001ca0: PUSH8 0xffffffffffffffff
00001ca9: DUP2
00001caa: GT
00001cab: ISZERO
00001cac: PUSH2 0x1cb3
00001caf: JUMPI
00001cb0: DUP3
00001cb1: DUP4
00001cb2: REVERT
00001cb3: JUMPDEST
00001cb4: PUSH2 0x1cbf
00001cb7: DUP8
00001cb8: DUP3
00001cb9: DUP9
00001cba: ADD
00001cbb: PUSH2 0x1b06
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: SWAP6
00001cc1: SWAP9
00001cc2: SWAP5
00001cc3: SWAP8
00001cc4: POP
00001cc5: SWAP6
00001cc6: POP
00001cc7: POP
00001cc8: POP
00001cc9: POP
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH1 0x00
00001cce: DUP1
00001ccf: PUSH1 0x00
00001cd1: PUSH1 0x40
00001cd3: DUP5
00001cd4: DUP7
00001cd5: SUB
00001cd6: SLT
00001cd7: ISZERO
00001cd8: PUSH2 0x1cdf
00001cdb: JUMPI
00001cdc: DUP3
00001cdd: DUP4
00001cde: REVERT
00001cdf: JUMPDEST
00001ce0: DUP4
00001ce1: CALLDATALOAD
00001ce2: PUSH8 0xffffffffffffffff
00001ceb: DUP1
00001cec: DUP3
00001ced: GT
00001cee: ISZERO
00001cef: PUSH2 0x1cf6
00001cf2: JUMPI
00001cf3: DUP5
00001cf4: DUP6
00001cf5: REVERT
00001cf6: JUMPDEST
00001cf7: DUP2
00001cf8: DUP7
00001cf9: ADD
00001cfa: SWAP2
00001cfb: POP
00001cfc: DUP7
00001cfd: PUSH1 0x1f
00001cff: DUP4
00001d00: ADD
00001d01: SLT
00001d02: PUSH2 0x1d09
00001d05: JUMPI
00001d06: DUP5
00001d07: DUP6
00001d08: REVERT
00001d09: JUMPDEST
00001d0a: DUP2
00001d0b: CALLDATALOAD
00001d0c: DUP2
00001d0d: DUP2
00001d0e: GT
00001d0f: ISZERO
00001d10: PUSH2 0x1d17
00001d13: JUMPI
00001d14: DUP6
00001d15: DUP7
00001d16: REVERT
00001d17: JUMPDEST
00001d18: DUP8
00001d19: PUSH1 0x20
00001d1b: DUP3
00001d1c: PUSH1 0x05
00001d1e: SHL
00001d1f: DUP6
00001d20: ADD
00001d21: ADD
00001d22: GT
00001d23: ISZERO
00001d24: PUSH2 0x1d2b
00001d27: JUMPI
00001d28: DUP6
00001d29: DUP7
00001d2a: REVERT
00001d2b: JUMPDEST
00001d2c: PUSH1 0x20
00001d2e: SWAP3
00001d2f: DUP4
00001d30: ADD
00001d31: SWAP6
00001d32: POP
00001d33: SWAP4
00001d34: POP
00001d35: POP
00001d36: DUP5
00001d37: ADD
00001d38: CALLDATALOAD
00001d39: PUSH2 0x1d41
00001d3c: DUP2
00001d3d: PUSH2 0x2362
00001d40: JUMP
00001d41: JUMPDEST
00001d42: DUP1
00001d43: SWAP2
00001d44: POP
00001d45: POP
00001d46: SWAP3
00001d47: POP
00001d48: SWAP3
00001d49: POP
00001d4a: SWAP3
00001d4b: JUMP
00001d4c: JUMPDEST
00001d4d: PUSH1 0x00
00001d4f: PUSH1 0x20
00001d51: DUP3
00001d52: DUP5
00001d53: SUB
00001d54: SLT
00001d55: ISZERO
00001d56: PUSH2 0x1d5d
00001d59: JUMPI
00001d5a: DUP1
00001d5b: DUP2
00001d5c: REVERT
00001d5d: JUMPDEST
00001d5e: DUP2
00001d5f: MLOAD
00001d60: PUSH2 0x0b43
00001d63: DUP2
00001d64: PUSH2 0x2362
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x00
00001d6b: PUSH1 0x20
00001d6d: DUP3
00001d6e: DUP5
00001d6f: SUB
00001d70: SLT
00001d71: ISZERO
00001d72: PUSH2 0x1d79
00001d75: JUMPI
00001d76: DUP1
00001d77: DUP2
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: POP
00001d7b: CALLDATALOAD
00001d7c: SWAP2
00001d7d: SWAP1
00001d7e: POP
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: PUSH1 0x00
00001d83: DUP1
00001d84: PUSH1 0x00
00001d86: DUP1
00001d87: PUSH1 0x00
00001d89: DUP1
00001d8a: PUSH1 0x00
00001d8c: DUP1
00001d8d: PUSH2 0x0100
00001d90: DUP10
00001d91: DUP12
00001d92: SUB
00001d93: SLT
00001d94: ISZERO
00001d95: PUSH2 0x1d9c
00001d98: JUMPI
00001d99: DUP4
00001d9a: DUP5
00001d9b: REVERT
00001d9c: JUMPDEST
00001d9d: DUP9
00001d9e: CALLDATALOAD
00001d9f: PUSH2 0x1da7
00001da2: DUP2
00001da3: PUSH2 0x233d
00001da6: JUMP
00001da7: JUMPDEST
00001da8: SWAP8
00001da9: POP
00001daa: PUSH1 0x20
00001dac: DUP10
00001dad: ADD
00001dae: CALLDATALOAD
00001daf: PUSH2 0x1db7
00001db2: DUP2
00001db3: PUSH2 0x233d
00001db6: JUMP
00001db7: JUMPDEST
00001db8: SWAP7
00001db9: POP
00001dba: PUSH1 0x40
00001dbc: DUP10
00001dbd: ADD
00001dbe: CALLDATALOAD
00001dbf: PUSH2 0x1dc7
00001dc2: DUP2
00001dc3: PUSH2 0x233d
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: SWAP6
00001dc9: POP
00001dca: PUSH1 0x60
00001dcc: DUP10
00001dcd: ADD
00001dce: CALLDATALOAD
00001dcf: SWAP5
00001dd0: POP
00001dd1: PUSH1 0x80
00001dd3: DUP10
00001dd4: ADD
00001dd5: CALLDATALOAD
00001dd6: SWAP4
00001dd7: POP
00001dd8: PUSH1 0xa0
00001dda: DUP10
00001ddb: ADD
00001ddc: CALLDATALOAD
00001ddd: PUSH1 0xff
00001ddf: DUP2
00001de0: AND
00001de1: DUP2
00001de2: EQ
00001de3: PUSH2 0x1dea
00001de6: JUMPI
00001de7: DUP4
00001de8: DUP5
00001de9: REVERT
00001dea: JUMPDEST
00001deb: SWAP8
00001dec: SWAP11
00001ded: SWAP7
00001dee: SWAP10
00001def: POP
00001df0: SWAP5
00001df1: SWAP8
00001df2: SWAP4
00001df3: SWAP7
00001df4: SWAP3
00001df5: SWAP6
00001df6: SWAP3
00001df7: SWAP5
00001df8: POP
00001df9: POP
00001dfa: POP
00001dfb: PUSH1 0xc0
00001dfd: DUP3
00001dfe: ADD
00001dff: CALLDATALOAD
00001e00: SWAP2
00001e01: PUSH1 0xe0
00001e03: ADD
00001e04: CALLDATALOAD
00001e05: SWAP1
00001e06: JUMP
00001e07: JUMPDEST
00001e08: PUSH1 0x00
00001e0a: PUSH1 0x20
00001e0c: DUP3
00001e0d: DUP5
00001e0e: SUB
00001e0f: SLT
00001e10: ISZERO
00001e11: PUSH2 0x1e18
00001e14: JUMPI
00001e15: DUP1
00001e16: DUP2
00001e17: REVERT
00001e18: JUMPDEST
00001e19: DUP2
00001e1a: MLOAD
00001e1b: PUSH8 0xffffffffffffffff
00001e24: DUP1
00001e25: DUP3
00001e26: GT
00001e27: ISZERO
00001e28: PUSH2 0x1e2f
00001e2b: JUMPI
00001e2c: DUP3
00001e2d: DUP4
00001e2e: REVERT
00001e2f: JUMPDEST
00001e30: DUP2
00001e31: DUP5
00001e32: ADD
00001e33: SWAP2
00001e34: POP
00001e35: DUP5
00001e36: PUSH1 0x1f
00001e38: DUP4
00001e39: ADD
00001e3a: SLT
00001e3b: PUSH2 0x1e42
00001e3e: JUMPI
00001e3f: DUP3
00001e40: DUP4
00001e41: REVERT
00001e42: JUMPDEST
00001e43: DUP2
00001e44: MLOAD
00001e45: DUP2
00001e46: DUP2
00001e47: GT
00001e48: ISZERO
00001e49: PUSH2 0x1e54
00001e4c: JUMPI
00001e4d: PUSH2 0x1e54
00001e50: PUSH2 0x230e
00001e53: JUMP
00001e54: JUMPDEST
00001e55: PUSH1 0x40
00001e57: MLOAD
00001e58: PUSH1 0x1f
00001e5a: DUP3
00001e5b: ADD
00001e5c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001e7d: SWAP1
00001e7e: DUP2
00001e7f: AND
00001e80: PUSH1 0x3f
00001e82: ADD
00001e83: AND
00001e84: DUP2
00001e85: ADD
00001e86: SWAP1
00001e87: DUP4
00001e88: DUP3
00001e89: GT
00001e8a: DUP2
00001e8b: DUP4
00001e8c: LT
00001e8d: OR
00001e8e: ISZERO
00001e8f: PUSH2 0x1e9a
00001e92: JUMPI
00001e93: PUSH2 0x1e9a
00001e96: PUSH2 0x230e
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: DUP2
00001e9c: PUSH1 0x40
00001e9e: MSTORE
00001e9f: DUP3
00001ea0: DUP2
00001ea1: MSTORE
00001ea2: DUP8
00001ea3: PUSH1 0x20
00001ea5: DUP5
00001ea6: DUP8
00001ea7: ADD
00001ea8: ADD
00001ea9: GT
00001eaa: ISZERO
00001eab: PUSH2 0x1eb2
00001eae: JUMPI
00001eaf: DUP6
00001eb0: DUP7
00001eb1: REVERT
00001eb2: JUMPDEST
00001eb3: PUSH2 0x1aa8
00001eb6: DUP4
00001eb7: PUSH1 0x20
00001eb9: DUP4
00001eba: ADD
00001ebb: PUSH1 0x20
00001ebd: DUP9
00001ebe: ADD
00001ebf: PUSH2 0x224b
00001ec2: JUMP
00001ec3: JUMPDEST
00001ec4: PUSH1 0x00
00001ec6: DUP1
00001ec7: PUSH1 0x00
00001ec9: PUSH1 0x60
00001ecb: DUP5
00001ecc: DUP7
00001ecd: SUB
00001ece: SLT
00001ecf: ISZERO
00001ed0: PUSH2 0x1ed7
00001ed3: JUMPI
00001ed4: DUP1
00001ed5: DUP2
00001ed6: REVERT
00001ed7: JUMPDEST
00001ed8: DUP4
00001ed9: CALLDATALOAD
00001eda: SWAP3
00001edb: POP
00001edc: PUSH1 0x20
00001ede: DUP5
00001edf: ADD
00001ee0: CALLDATALOAD
00001ee1: PUSH2 0x1bc8
00001ee4: DUP2
00001ee5: PUSH2 0x233d
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: PUSH1 0x00
00001eec: DUP1
00001eed: PUSH1 0x00
00001eef: DUP1
00001ef0: PUSH1 0x00
00001ef2: PUSH1 0x80
00001ef4: DUP7
00001ef5: DUP9
00001ef6: SUB
00001ef7: SLT
00001ef8: ISZERO
00001ef9: PUSH2 0x1f00
00001efc: JUMPI
00001efd: DUP3
00001efe: DUP4
00001eff: REVERT
00001f00: JUMPDEST
00001f01: DUP6
00001f02: CALLDATALOAD
00001f03: SWAP5
00001f04: POP
00001f05: PUSH1 0x20
00001f07: DUP7
00001f08: ADD
00001f09: CALLDATALOAD
00001f0a: PUSH2 0x1f12
00001f0d: DUP2
00001f0e: PUSH2 0x233d
00001f11: JUMP
00001f12: JUMPDEST
00001f13: SWAP4
00001f14: POP
00001f15: PUSH2 0x1f20
00001f18: PUSH1 0x40
00001f1a: DUP8
00001f1b: ADD
00001f1c: PUSH2 0x1b4d
00001f1f: JUMP
00001f20: JUMPDEST
00001f21: SWAP3
00001f22: POP
00001f23: PUSH1 0x60
00001f25: DUP7
00001f26: ADD
00001f27: CALLDATALOAD
00001f28: PUSH8 0xffffffffffffffff
00001f31: DUP2
00001f32: GT
00001f33: ISZERO
00001f34: PUSH2 0x1f3b
00001f37: JUMPI
00001f38: DUP2
00001f39: DUP3
00001f3a: REVERT
00001f3b: JUMPDEST
00001f3c: PUSH2 0x1f47
00001f3f: DUP9
00001f40: DUP3
00001f41: DUP10
00001f42: ADD
00001f43: PUSH2 0x1b06
00001f46: JUMP
00001f47: JUMPDEST
00001f48: SWAP7
00001f49: SWAP10
00001f4a: SWAP6
00001f4b: SWAP9
00001f4c: POP
00001f4d: SWAP4
00001f4e: SWAP7
00001f4f: POP
00001f50: SWAP3
00001f51: SWAP5
00001f52: SWAP4
00001f53: SWAP3
00001f54: POP
00001f55: POP
00001f56: POP
00001f57: JUMP
00001f58: JUMPDEST
00001f59: DUP2
00001f5a: DUP4
00001f5b: DUP3
00001f5c: CALLDATACOPY
00001f5d: PUSH1 0x00
00001f5f: SWAP2
00001f60: ADD
00001f61: SWAP1
00001f62: DUP2
00001f63: MSTORE
00001f64: SWAP2
00001f65: SWAP1
00001f66: POP
00001f67: JUMP
00001f68: JUMPDEST
00001f69: PUSH1 0x00
00001f6b: DUP3
00001f6c: MLOAD
00001f6d: PUSH2 0x1f7a
00001f70: DUP2
00001f71: DUP5
00001f72: PUSH1 0x20
00001f74: DUP8
00001f75: ADD
00001f76: PUSH2 0x224b
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: SWAP2
00001f7c: SWAP1
00001f7d: SWAP2
00001f7e: ADD
00001f7f: SWAP3
00001f80: SWAP2
00001f81: POP
00001f82: POP
00001f83: JUMP
00001f84: JUMPDEST
00001f85: PUSH1 0x20
00001f87: DUP2
00001f88: MSTORE
00001f89: PUSH1 0x00
00001f8b: DUP3
00001f8c: MLOAD
00001f8d: DUP1
00001f8e: PUSH1 0x20
00001f90: DUP5
00001f91: ADD
00001f92: MSTORE
00001f93: PUSH2 0x1fa3
00001f96: DUP2
00001f97: PUSH1 0x40
00001f99: DUP6
00001f9a: ADD
00001f9b: PUSH1 0x20
00001f9d: DUP8
00001f9e: ADD
00001f9f: PUSH2 0x224b
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: PUSH1 0x1f
00001fa6: ADD
00001fa7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001fc8: AND
00001fc9: SWAP2
00001fca: SWAP1
00001fcb: SWAP2
00001fcc: ADD
00001fcd: PUSH1 0x40
00001fcf: ADD
00001fd0: SWAP3
00001fd1: SWAP2
00001fd2: POP
00001fd3: POP
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ff2: DUP6
00001ff3: AND
00001ff4: DUP2
00001ff5: MSTORE
00001ff6: DUP4
00001ff7: PUSH1 0x20
00001ff9: DUP3
00001ffa: ADD
00001ffb: MSTORE
00001ffc: PUSH1 0x60
00001ffe: PUSH1 0x40
00002000: DUP3
00002001: ADD
00002002: MSTORE
00002003: DUP2
00002004: PUSH1 0x60
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: DUP2
0000200a: DUP4
0000200b: PUSH1 0x80
0000200d: DUP4
0000200e: ADD
0000200f: CALLDATACOPY
00002010: PUSH1 0x00
00002012: DUP2
00002013: DUP4
00002014: ADD
00002015: PUSH1 0x80
00002017: SWAP1
00002018: DUP2
00002019: ADD
0000201a: SWAP2
0000201b: SWAP1
0000201c: SWAP2
0000201d: MSTORE
0000201e: PUSH1 0x1f
00002020: SWAP1
00002021: SWAP3
00002022: ADD
00002023: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002044: AND
00002045: ADD
00002046: ADD
00002047: SWAP4
00002048: SWAP3
00002049: POP
0000204a: POP
0000204b: POP
0000204c: JUMP
0000204d: JUMPDEST
0000204e: PUSH1 0x00
00002050: DUP1
00002051: DUP4
00002052: CALLDATALOAD
00002053: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002074: DUP5
00002075: CALLDATASIZE
00002076: SUB
00002077: ADD
00002078: DUP2
00002079: SLT
0000207a: PUSH2 0x2081
0000207d: JUMPI
0000207e: DUP3
0000207f: DUP4
00002080: REVERT
00002081: JUMPDEST
00002082: DUP4
00002083: ADD
00002084: DUP1
00002085: CALLDATALOAD
00002086: SWAP2
00002087: POP
00002088: PUSH8 0xffffffffffffffff
00002091: DUP3
00002092: GT
00002093: ISZERO
00002094: PUSH2 0x209b
00002097: JUMPI
00002098: DUP3
00002099: DUP4
0000209a: REVERT
0000209b: JUMPDEST
0000209c: PUSH1 0x20
0000209e: ADD
0000209f: SWAP2
000020a0: POP
000020a1: CALLDATASIZE
000020a2: DUP2
000020a3: SWAP1
000020a4: SUB
000020a5: DUP3
000020a6: SGT
000020a7: ISZERO
000020a8: PUSH2 0x1b46
000020ab: JUMPI
000020ac: PUSH1 0x00
000020ae: DUP1
000020af: REVERT
000020b0: JUMPDEST
000020b1: PUSH1 0x00
000020b3: PUSH27 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff
000020cf: DUP1
000020d0: DUP4
000020d1: AND
000020d2: DUP2
000020d3: DUP6
000020d4: AND
000020d5: DUP1
000020d6: DUP4
000020d7: SUB
000020d8: DUP3
000020d9: GT
000020da: ISZERO
000020db: PUSH2 0x20e6
000020de: JUMPI
000020df: PUSH2 0x20e6
000020e2: PUSH2 0x22b0
000020e5: JUMP
000020e6: JUMPDEST
000020e7: ADD
000020e8: SWAP5
000020e9: SWAP4
000020ea: POP
000020eb: POP
000020ec: POP
000020ed: POP
000020ee: JUMP
000020ef: JUMPDEST
000020f0: PUSH1 0x00
000020f2: DUP3
000020f3: NOT
000020f4: DUP3
000020f5: GT
000020f6: ISZERO
000020f7: PUSH2 0x2102
000020fa: JUMPI
000020fb: PUSH2 0x2102
000020fe: PUSH2 0x22b0
00002101: JUMP
00002102: JUMPDEST
00002103: POP
00002104: ADD
00002105: SWAP1
00002106: JUMP
00002107: JUMPDEST
00002108: PUSH1 0x00
0000210a: DUP3
0000210b: PUSH2 0x2116
0000210e: JUMPI
0000210f: PUSH2 0x2116
00002112: PUSH2 0x22df
00002115: JUMP
00002116: JUMPDEST
00002117: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002138: DUP4
00002139: EQ
0000213a: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
0000215b: DUP4
0000215c: EQ
0000215d: AND
0000215e: ISZERO
0000215f: PUSH2 0x216a
00002162: JUMPI
00002163: PUSH2 0x216a
00002166: PUSH2 0x22b0
00002169: JUMP
0000216a: JUMPDEST
0000216b: POP
0000216c: SDIV
0000216d: SWAP1
0000216e: JUMP
0000216f: JUMPDEST
00002170: PUSH1 0x00
00002172: DUP3
00002173: PUSH2 0x217e
00002176: JUMPI
00002177: PUSH2 0x217e
0000217a: PUSH2 0x22df
0000217d: JUMP
0000217e: JUMPDEST
0000217f: POP
00002180: DIV
00002181: SWAP1
00002182: JUMP
00002183: JUMPDEST
00002184: PUSH1 0x00
00002186: DUP2
00002187: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000021a8: DIV
000021a9: DUP4
000021aa: GT
000021ab: DUP3
000021ac: ISZERO
000021ad: ISZERO
000021ae: AND
000021af: ISZERO
000021b0: PUSH2 0x21bb
000021b3: JUMPI
000021b4: PUSH2 0x21bb
000021b7: PUSH2 0x22b0
000021ba: JUMP
000021bb: JUMPDEST
000021bc: POP
000021bd: MUL
000021be: SWAP1
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x00
000021c3: DUP1
000021c4: DUP4
000021c5: SLT
000021c6: DUP4
000021c7: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
000021e8: ADD
000021e9: DUP4
000021ea: SLT
000021eb: DUP2
000021ec: ISZERO
000021ed: AND
000021ee: ISZERO
000021ef: PUSH2 0x21fa
000021f2: JUMPI
000021f3: PUSH2 0x21fa
000021f6: PUSH2 0x22b0
000021f9: JUMP
000021fa: JUMPDEST
000021fb: DUP4
000021fc: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000221d: ADD
0000221e: DUP4
0000221f: SGT
00002220: DUP2
00002221: AND
00002222: ISZERO
00002223: PUSH2 0x222e
00002226: JUMPI
00002227: PUSH2 0x222e
0000222a: PUSH2 0x22b0
0000222d: JUMP
0000222e: JUMPDEST
0000222f: POP
00002230: POP
00002231: SUB
00002232: SWAP1
00002233: JUMP
00002234: JUMPDEST
00002235: PUSH1 0x00
00002237: DUP3
00002238: DUP3
00002239: LT
0000223a: ISZERO
0000223b: PUSH2 0x2246
0000223e: JUMPI
0000223f: PUSH2 0x2246
00002242: PUSH2 0x22b0
00002245: JUMP
00002246: JUMPDEST
00002247: POP
00002248: SUB
00002249: SWAP1
0000224a: JUMP
0000224b: JUMPDEST
0000224c: PUSH1 0x00
0000224e: JUMPDEST
0000224f: DUP4
00002250: DUP2
00002251: LT
00002252: ISZERO
00002253: PUSH2 0x2266
00002256: JUMPI
00002257: DUP2
00002258: DUP2
00002259: ADD
0000225a: MLOAD
0000225b: DUP4
0000225c: DUP3
0000225d: ADD
0000225e: MSTORE
0000225f: PUSH1 0x20
00002261: ADD
00002262: PUSH2 0x224e
00002265: JUMP
00002266: JUMPDEST
00002267: DUP4
00002268: DUP2
00002269: GT
0000226a: ISZERO
0000226b: PUSH2 0x0ff2
0000226e: JUMPI
0000226f: POP
00002270: POP
00002271: PUSH1 0x00
00002273: SWAP2
00002274: ADD
00002275: MSTORE
00002276: JUMP
00002277: JUMPDEST
00002278: PUSH1 0x00
0000227a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000229b: DUP3
0000229c: EQ
0000229d: ISZERO
0000229e: PUSH2 0x22a9
000022a1: JUMPI
000022a2: PUSH2 0x22a9
000022a5: PUSH2 0x22b0
000022a8: JUMP
000022a9: JUMPDEST
000022aa: POP
000022ab: PUSH1 0x01
000022ad: ADD
000022ae: SWAP1
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022d2: PUSH1 0x00
000022d4: MSTORE
000022d5: PUSH1 0x11
000022d7: PUSH1 0x04
000022d9: MSTORE
000022da: PUSH1 0x24
000022dc: PUSH1 0x00
000022de: REVERT
000022df: JUMPDEST
000022e0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002301: PUSH1 0x00
00002303: MSTORE
00002304: PUSH1 0x12
00002306: PUSH1 0x04
00002308: MSTORE
00002309: PUSH1 0x24
0000230b: PUSH1 0x00
0000230d: REVERT
0000230e: JUMPDEST
0000230f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002330: PUSH1 0x00
00002332: MSTORE
00002333: PUSH1 0x41
00002335: PUSH1 0x04
00002337: MSTORE
00002338: PUSH1 0x24
0000233a: PUSH1 0x00
0000233c: REVERT
0000233d: JUMPDEST
0000233e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002353: DUP2
00002354: AND
00002355: DUP2
00002356: EQ
00002357: PUSH2 0x235f
0000235a: JUMPI
0000235b: PUSH1 0x00
0000235d: DUP1
0000235e: REVERT
0000235f: JUMPDEST
00002360: POP
00002361: JUMP
00002362: JUMPDEST
00002363: DUP1
00002364: ISZERO
00002365: ISZERO
00002366: DUP2
00002367: EQ
00002368: PUSH2 0x235f
0000236b: JUMPI
0000236c: PUSH1 0x00
0000236e: DUP1
0000236f: REVERT
00002370: INVALID
00002371: LOG2
00002372: PUSH5 0x6970667358
00002378: UNKNOWN(0x22)
00002379: SLT
0000237a: KECCAK256
0000237b: PUSH11 0x528b87b387a0e63acbb996
00002387: TSTORE
00002388: LT
00002389: PUSH30