Analysis Run

[codex:671788] OpenAI Codex v0.77.0 (research preview)
[codex:671788] --------
[codex:671788] workdir: /tmp/codex-multi-z1uz5u49
[codex:671788] model: gpt-5.2-codex
[codex:671788] provider: openai
[codex:671788] approval: never
[codex:671788] sandbox: read-only
[codex:671788] reasoning effort: xhigh
[codex:671788] reasoning summaries: auto
[codex:671788] session id: 019b61d7-e971-7273-8ce0-291fe31ea9fa
[codex:671788] --------
[codex:671788] user
[codex:671788] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:671788] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:671788] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:671788] 
[codex:671788] Scope rules:
[codex:671788] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:671788] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:671788] 
[codex:671788] Output MUST be valid JSON matching the provided schema.
[codex:671788] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:671788] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:671788] 
[codex:671788] Output constraints (IMPORTANT):
[codex:671788] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:671788] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:671788] mcp startup: no servers
[codex:671788] 
[codex:671788] thinking
[codex:671788] **Preparing to audit AUDIT_BUNDLE.txt**
[codex:671788] exec
[codex:671788] /bin/bash -lc ls in /tmp/codex-multi-z1uz5u49 succeeded in 6ms:
[codex:671788] AUDIT_BUNDLE.txt
[codex:671788] codex-output-schema.json
[codex:671788] contracts
[codex:671788] 
[codex:671788] thinking
[codex:671788] **Reading AUDIT_BUNDLE.txt**
[codex:671788] exec
[codex:671788] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-z1uz5u49 succeeded in 5ms:
[codex:671788] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:671788] 
[codex:671788] ================================================================================
[codex:671788] FILE: contracts/Contract.sol
[codex:671788] ================================================================================
[codex:671788] // SPDX-License-Identifier: MIT
[codex:671788] // -------------------
[codex:671788] // Router Version: 4.1
[codex:671788] // -------------------
[codex:671788] pragma solidity 0.8.13;
[codex:671788] 
[codex:671788] // ERC20 Interface
[codex:671788] interface iERC20 {
[codex:671788]     function balanceOf(address) external view returns (uint256);
[codex:671788]     function burn(uint) external;
[codex:671788] }
[codex:671788] // RUNE Interface
[codex:671788] interface iRUNE {
[codex:671788]     function transferTo(address, uint) external returns (bool);
[codex:671788] }
[codex:671788] 
[codex:671788] 
[codex:671788] 
[codex:671788] 
[codex:671788] thinking
[codex:671788] **Analyzing contract for vulnerabilities**
[codex:671788] thinking
[codex:671788] **Summarizing detailed vulnerability assessment**
[codex:671788] 
[codex:671788] I carefully analyzed the contract's token handling, reentrancy protections, allowance management, and external calls. While overall protections like nonReentrant guards seem solid, I noticed subtle risks like unchecked return values on RUNE token operations that might allow unintended burning of router-held tokens. The approval flow to arbitrary routers also raises concerns about granting token spending rights, though allowances and balances appear consistent with intended design. Some minor accounting quirks and limitations with ETH forwarding and forced ETH stuck in the contract came up, but no outright critical vulnerabilities manifested. I'll package these findings and provide a clear JSON summary next.
[codex:671788] thinking
[codex:671788] **Reviewing nuanced token behavior and call patterns**
[codex:671788] 
[codex:671788] I explored subtle issues around unchecked return values from token calls like `iRUNE.transferTo` and `approve`, the effects of low-gas `.send`/`.transfer` usage possibly causing DoS, and reliance on external aggregator calls without strict enforcement of outcomes. While no clear exploits surfaced, these details highlight low-severity risks inherent in interacting with diverse token implementations and external contracts.
[codex:671788] thinking
[codex:671788] **Identifying subtle unchecked return value risks**
[codex:671788] 
[codex:671788] I examined how unchecked return values—especially from `approve` in `_routerDeposit` and `iRUNE.transferTo`—could lead to allowance mismatches or unintended burns, causing stuck funds or griefing. While these are low-severity and depend on token behavior, they still merit noting as compatibility risks in the audit.
[codex:671788] exec
[codex:671788] /bin/bash -lc 'nl -ba contracts/Contract.sol' in /tmp/codex-multi-z1uz5u49 succeeded in 6ms:
[codex:671788]      1	// SPDX-License-Identifier: MIT
[codex:671788]      2	// -------------------
[codex:671788]      3	// Router Version: 4.1
[codex:671788]      4	// -------------------
[codex:671788]      5	pragma solidity 0.8.13;
[codex:671788]      6	
[codex:671788]      7	// ERC20 Interface
[codex:671788]      8	interface iERC20 {
[codex:671788]      9	    function balanceOf(address) external view returns (uint256);
[codex:671788]     10	    function burn(uint) external;
[codex:671788]     11	}
[codex:671788]     12	// RUNE Interface
[codex:671788]     13	interface iRUNE {
[codex:671788]     14	    function transferTo(address, uint) external returns (bool);
[codex:671788]     15	}
[codex:671788]     16	// ROUTER Interface
[codex:671788]     17	interface iROUTER {
[codex:671788]     18	    function depositWithExpiry(address, address, uint, string calldata, uint) external;
[codex:671788]     19	}
[codex:671788]     20	
[codex:671788] 
[codex:671788] thinking
[codex:671788] **Evaluating potential vulnerabilities**
[codex:671788] codex
[codex:671788] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party Solidity code under the requested focus areas.","findings":[]}
[codex:671788] tokens used
[codex:671788] 23,613
[codex:671788] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party Solidity code under the requested focus areas.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-27T22:09:34.195160+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the provided first-party Solidity code under the requested focus areas.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the provided first-party Solidity code under the requested focus areas.",
        "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 0x007b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4039fd4b
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x4039fd4b
00000024: EQ
00000025: PUSH2 0x0121
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x44bc937b
0000002f: EQ
00000030: PUSH2 0x0134
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x574da717
0000003a: EQ
0000003b: PUSH2 0x0147
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x93e4eaa9
00000045: EQ
00000046: PUSH2 0x015a
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x03b6a673
00000055: EQ
00000056: PUSH2 0x0080
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x1b738b32
00000060: EQ
00000061: PUSH2 0x00d9
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x1fece7b4
0000006b: EQ
0000006c: PUSH2 0x00fb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x2923e82e
00000076: EQ
00000077: PUSH2 0x010e
0000007a: JUMPI
0000007b: JUMPDEST
0000007c: PUSH1 0x00
0000007e: DUP1
0000007f: REVERT
00000080: JUMPDEST
00000081: CALLVALUE
00000082: DUP1
00000083: ISZERO
00000084: PUSH2 0x008c
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: POP
0000008e: PUSH2 0x00c6
00000091: PUSH2 0x009b
00000094: CALLDATASIZE
00000095: PUSH1 0x04
00000097: PUSH2 0x0da0
0000009a: JUMP
0000009b: JUMPDEST
0000009c: PUSH1 0x01
0000009e: PUSH1 0x01
000000a0: PUSH1 0xa0
000000a2: SHL
000000a3: SUB
000000a4: SWAP2
000000a5: DUP3
000000a6: AND
000000a7: PUSH1 0x00
000000a9: SWAP1
000000aa: DUP2
000000ab: MSTORE
000000ac: PUSH1 0x01
000000ae: PUSH1 0x20
000000b0: SWAP1
000000b1: DUP2
000000b2: MSTORE
000000b3: PUSH1 0x40
000000b5: DUP1
000000b6: DUP4
000000b7: KECCAK256
000000b8: SWAP4
000000b9: SWAP1
000000ba: SWAP5
000000bb: AND
000000bc: DUP3
000000bd: MSTORE
000000be: SWAP2
000000bf: SWAP1
000000c0: SWAP2
000000c1: MSTORE
000000c2: KECCAK256
000000c3: SLOAD
000000c4: SWAP1
000000c5: JUMP
000000c6: JUMPDEST
000000c7: PUSH1 0x40
000000c9: MLOAD
000000ca: SWAP1
000000cb: DUP2
000000cc: MSTORE
000000cd: PUSH1 0x20
000000cf: ADD
000000d0: JUMPDEST
000000d1: PUSH1 0x40
000000d3: MLOAD
000000d4: DUP1
000000d5: SWAP2
000000d6: SUB
000000d7: SWAP1
000000d8: RETURN
000000d9: JUMPDEST
000000da: CALLVALUE
000000db: DUP1
000000dc: ISZERO
000000dd: PUSH2 0x00e5
000000e0: JUMPI
000000e1: PUSH1 0x00
000000e3: DUP1
000000e4: REVERT
000000e5: JUMPDEST
000000e6: POP
000000e7: PUSH2 0x00f9
000000ea: PUSH2 0x00f4
000000ed: CALLDATASIZE
000000ee: PUSH1 0x04
000000f0: PUSH2 0x0eb9
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH2 0x0192
000000f8: JUMP
000000f9: JUMPDEST
000000fa: STOP
000000fb: JUMPDEST
000000fc: PUSH2 0x00f9
000000ff: PUSH2 0x0109
00000102: CALLDATASIZE
00000103: PUSH1 0x04
00000105: PUSH2 0x0f38
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH2 0x0248
0000010d: JUMP
0000010e: JUMPDEST
0000010f: PUSH2 0x00f9
00000112: PUSH2 0x011c
00000115: CALLDATASIZE
00000116: PUSH1 0x04
00000118: PUSH2 0x0fa4
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH2 0x049c
00000120: JUMP
00000121: JUMPDEST
00000122: PUSH2 0x00f9
00000125: PUSH2 0x012f
00000128: CALLDATASIZE
00000129: PUSH1 0x04
0000012b: PUSH2 0x0eb9
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x0620
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH2 0x00f9
00000138: PUSH2 0x0142
0000013b: CALLDATASIZE
0000013c: PUSH1 0x04
0000013e: PUSH2 0x10b7
00000141: JUMP
00000142: JUMPDEST
00000143: PUSH2 0x07ac
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH2 0x00f9
0000014b: PUSH2 0x0155
0000014e: CALLDATASIZE
0000014f: PUSH1 0x04
00000151: PUSH2 0x0f38
00000154: JUMP
00000155: JUMPDEST
00000156: PUSH2 0x080e
00000159: JUMP
0000015a: JUMPDEST
0000015b: CALLVALUE
0000015c: DUP1
0000015d: ISZERO
0000015e: PUSH2 0x0166
00000161: JUMPI
00000162: PUSH1 0x00
00000164: DUP1
00000165: REVERT
00000166: JUMPDEST
00000167: POP
00000168: PUSH1 0x00
0000016a: SLOAD
0000016b: PUSH2 0x017a
0000016e: SWAP1
0000016f: PUSH1 0x01
00000171: PUSH1 0x01
00000173: PUSH1 0xa0
00000175: SHL
00000176: SUB
00000177: AND
00000178: DUP2
00000179: JUMP
0000017a: JUMPDEST
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: PUSH1 0x01
00000180: PUSH1 0x01
00000182: PUSH1 0xa0
00000184: SHL
00000185: SUB
00000186: SWAP1
00000187: SWAP2
00000188: AND
00000189: DUP2
0000018a: MSTORE
0000018b: PUSH1 0x20
0000018d: ADD
0000018e: PUSH2 0x00d0
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x02
00000195: DUP1
00000196: SLOAD
00000197: SUB
00000198: PUSH2 0x01bc
0000019b: JUMPI
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: PUSH3 0x461bcd
000001a3: PUSH1 0xe5
000001a5: SHL
000001a6: DUP2
000001a7: MSTORE
000001a8: PUSH1 0x04
000001aa: ADD
000001ab: PUSH2 0x01b3
000001ae: SWAP1
000001af: PUSH2 0x112b
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: MLOAD
000001b7: DUP1
000001b8: SWAP2
000001b9: SUB
000001ba: SWAP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: PUSH1 0x02
000001bf: DUP1
000001c0: SSTORE
000001c1: ADDRESS
000001c2: PUSH1 0x01
000001c4: PUSH1 0x01
000001c6: PUSH1 0xa0
000001c8: SHL
000001c9: SUB
000001ca: DUP7
000001cb: AND
000001cc: SUB
000001cd: PUSH2 0x022f
000001d0: JUMPI
000001d1: PUSH2 0x01db
000001d4: DUP5
000001d5: DUP5
000001d6: DUP5
000001d7: PUSH2 0x09fd
000001da: JUMP
000001db: JUMPDEST
000001dc: DUP4
000001dd: PUSH1 0x01
000001df: PUSH1 0x01
000001e1: PUSH1 0xa0
000001e3: SHL
000001e4: SUB
000001e5: AND
000001e6: CALLER
000001e7: PUSH1 0x01
000001e9: PUSH1 0x01
000001eb: PUSH1 0xa0
000001ed: SHL
000001ee: SUB
000001ef: AND
000001f0: PUSH32 0x05b90458f953d3fcb2d7fb25616a2fddeca749d0c47cc5c9832d0266b5346eea
00000211: DUP6
00000212: DUP6
00000213: DUP6
00000214: PUSH1 0x40
00000216: MLOAD
00000217: PUSH2 0x0222
0000021a: SWAP4
0000021b: SWAP3
0000021c: SWAP2
0000021d: SWAP1
0000021e: PUSH2 0x11be
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: DUP1
00000227: SWAP2
00000228: SUB
00000229: SWAP1
0000022a: LOG3
0000022b: PUSH2 0x023c
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x023c
00000233: DUP6
00000234: DUP6
00000235: DUP6
00000236: DUP6
00000237: DUP6
00000238: PUSH2 0x0a76
0000023b: JUMP
0000023c: JUMPDEST
0000023d: POP
0000023e: POP
0000023f: PUSH1 0x01
00000241: PUSH1 0x02
00000243: SSTORE
00000244: POP
00000245: POP
00000246: POP
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH1 0x02
0000024b: DUP1
0000024c: SLOAD
0000024d: SUB
0000024e: PUSH2 0x0269
00000251: JUMPI
00000252: PUSH1 0x40
00000254: MLOAD
00000255: PUSH3 0x461bcd
00000259: PUSH1 0xe5
0000025b: SHL
0000025c: DUP2
0000025d: MSTORE
0000025e: PUSH1 0x04
00000260: ADD
00000261: PUSH2 0x01b3
00000264: SWAP1
00000265: PUSH2 0x112b
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x02
0000026c: DUP1
0000026d: SSTORE
0000026e: PUSH1 0x00
00000270: PUSH1 0x01
00000272: PUSH1 0x01
00000274: PUSH1 0xa0
00000276: SHL
00000277: SUB
00000278: DUP5
00000279: AND
0000027a: PUSH2 0x02b9
0000027d: JUMPI
0000027e: POP
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: CALLVALUE
00000283: SWAP1
00000284: PUSH1 0x00
00000286: SWAP1
00000287: PUSH1 0x01
00000289: PUSH1 0x01
0000028b: PUSH1 0xa0
0000028d: SHL
0000028e: SUB
0000028f: DUP8
00000290: AND
00000291: SWAP1
00000292: DUP4
00000293: ISZERO
00000294: PUSH2 0x08fc
00000297: MUL
00000298: SWAP1
00000299: DUP5
0000029a: SWAP1
0000029b: DUP5
0000029c: DUP2
0000029d: DUP2
0000029e: DUP2
0000029f: DUP6
000002a0: DUP9
000002a1: DUP9
000002a2: CALL
000002a3: SWAP4
000002a4: POP
000002a5: POP
000002a6: POP
000002a7: POP
000002a8: SWAP1
000002a9: POP
000002aa: DUP1
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: POP
000002b5: PUSH2 0x0443
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: ISZERO
000002bc: PUSH2 0x0307
000002bf: JUMPI
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: PUSH3 0x461bcd
000002c7: PUSH1 0xe5
000002c9: SHL
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: PUSH1 0x04
000002d0: DUP3
000002d1: ADD
000002d2: DUP2
000002d3: SWAP1
000002d4: MSTORE
000002d5: PUSH1 0x24
000002d7: DUP3
000002d8: ADD
000002d9: MSTORE
000002da: PUSH32 0x54484f52436861696e5f526f757465723a20756e657870656374656420657468
000002fb: PUSH1 0x44
000002fd: DUP3
000002fe: ADD
000002ff: MSTORE
00000300: PUSH1 0x64
00000302: ADD
00000303: PUSH2 0x01b3
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x00
0000030a: SLOAD
0000030b: PUSH1 0x01
0000030d: PUSH1 0x01
0000030f: PUSH1 0xa0
00000311: SHL
00000312: SUB
00000313: SWAP1
00000314: DUP2
00000315: AND
00000316: SWAP1
00000317: DUP6
00000318: AND
00000319: SUB
0000031a: PUSH2 0x03f7
0000031d: JUMPI
0000031e: POP
0000031f: PUSH1 0x00
00000321: SLOAD
00000322: PUSH1 0x40
00000324: MLOAD
00000325: PUSH4 0x02ccb1b3
0000032a: PUSH1 0xe4
0000032c: SHL
0000032d: DUP2
0000032e: MSTORE
0000032f: ADDRESS
00000330: PUSH1 0x04
00000332: DUP3
00000333: ADD
00000334: MSTORE
00000335: PUSH1 0x24
00000337: DUP2
00000338: ADD
00000339: DUP5
0000033a: SWAP1
0000033b: MSTORE
0000033c: DUP4
0000033d: SWAP2
0000033e: PUSH1 0x01
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: SHL
00000345: SUB
00000346: AND
00000347: SWAP1
00000348: PUSH4 0x2ccb1b30
0000034d: SWAP1
0000034e: PUSH1 0x44
00000350: ADD
00000351: PUSH1 0x20
00000353: PUSH1 0x40
00000355: MLOAD
00000356: DUP1
00000357: DUP4
00000358: SUB
00000359: DUP2
0000035a: PUSH1 0x00
0000035c: DUP8
0000035d: GAS
0000035e: CALL
0000035f: ISZERO
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036f
00000365: JUMPI
00000366: RETURNDATASIZE
00000367: PUSH1 0x00
00000369: DUP1
0000036a: RETURNDATACOPY
0000036b: RETURNDATASIZE
0000036c: PUSH1 0x00
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: POP
00000372: POP
00000373: POP
00000374: PUSH1 0x40
00000376: MLOAD
00000377: RETURNDATASIZE
00000378: PUSH1 0x1f
0000037a: NOT
0000037b: PUSH1 0x1f
0000037d: DUP3
0000037e: ADD
0000037f: AND
00000380: DUP3
00000381: ADD
00000382: DUP1
00000383: PUSH1 0x40
00000385: MSTORE
00000386: POP
00000387: DUP2
00000388: ADD
00000389: SWAP1
0000038a: PUSH2 0x0393
0000038d: SWAP2
0000038e: SWAP1
0000038f: PUSH2 0x11ee
00000392: JUMP
00000393: JUMPDEST
00000394: POP
00000395: PUSH1 0x00
00000397: SLOAD
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: PUSH4 0x0852cd8d
000003a0: PUSH1 0xe3
000003a2: SHL
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x04
000003a7: DUP2
000003a8: ADD
000003a9: DUP6
000003aa: SWAP1
000003ab: MSTORE
000003ac: PUSH1 0x01
000003ae: PUSH1 0x01
000003b0: PUSH1 0xa0
000003b2: SHL
000003b3: SUB
000003b4: SWAP1
000003b5: SWAP2
000003b6: AND
000003b7: SWAP1
000003b8: PUSH4 0x42966c68
000003bd: SWAP1
000003be: PUSH1 0x24
000003c0: ADD
000003c1: PUSH1 0x00
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: DUP1
000003c7: DUP4
000003c8: SUB
000003c9: DUP2
000003ca: PUSH1 0x00
000003cc: DUP8
000003cd: DUP1
000003ce: EXTCODESIZE
000003cf: ISZERO
000003d0: DUP1
000003d1: ISZERO
000003d2: PUSH2 0x03da
000003d5: JUMPI
000003d6: PUSH1 0x00
000003d8: DUP1
000003d9: REVERT
000003da: JUMPDEST
000003db: POP
000003dc: GAS
000003dd: CALL
000003de: ISZERO
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03ee
000003e4: JUMPI
000003e5: RETURNDATASIZE
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: RETURNDATACOPY
000003ea: RETURNDATASIZE
000003eb: PUSH1 0x00
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: POP
000003f1: POP
000003f2: POP
000003f3: PUSH2 0x0443
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH2 0x0401
000003fb: DUP5
000003fc: DUP5
000003fd: PUSH2 0x0bc7
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH1 0x01
00000404: PUSH1 0x01
00000406: PUSH1 0xa0
00000408: SHL
00000409: SUB
0000040a: DUP1
0000040b: DUP8
0000040c: AND
0000040d: PUSH1 0x00
0000040f: SWAP1
00000410: DUP2
00000411: MSTORE
00000412: PUSH1 0x01
00000414: PUSH1 0x20
00000416: SWAP1
00000417: DUP2
00000418: MSTORE
00000419: PUSH1 0x40
0000041b: DUP1
0000041c: DUP4
0000041d: KECCAK256
0000041e: SWAP4
0000041f: DUP10
00000420: AND
00000421: DUP4
00000422: MSTORE
00000423: SWAP3
00000424: SWAP1
00000425: MSTORE
00000426: SWAP1
00000427: DUP2
00000428: KECCAK256
00000429: DUP1
0000042a: SLOAD
0000042b: SWAP3
0000042c: SWAP4
0000042d: POP
0000042e: DUP4
0000042f: SWAP3
00000430: SWAP1
00000431: SWAP2
00000432: SWAP1
00000433: PUSH2 0x043d
00000436: SWAP1
00000437: DUP5
00000438: SWAP1
00000439: PUSH2 0x122d
0000043c: JUMP
0000043d: JUMPDEST
0000043e: SWAP1
0000043f: SWAP2
00000440: SSTORE
00000441: POP
00000442: POP
00000443: JUMPDEST
00000444: DUP4
00000445: PUSH1 0x01
00000447: PUSH1 0x01
00000449: PUSH1 0xa0
0000044b: SHL
0000044c: SUB
0000044d: AND
0000044e: DUP6
0000044f: PUSH1 0x01
00000451: PUSH1 0x01
00000453: PUSH1 0xa0
00000455: SHL
00000456: SUB
00000457: AND
00000458: PUSH32 0xef519b7eb82aaf6ac376a6df2d793843ebfd593de5f1a0601d3cc6ab49ebb395
00000479: DUP4
0000047a: DUP6
0000047b: PUSH1 0x40
0000047d: MLOAD
0000047e: PUSH2 0x0488
00000481: SWAP3
00000482: SWAP2
00000483: SWAP1
00000484: PUSH2 0x1245
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH1 0x40
0000048b: MLOAD
0000048c: DUP1
0000048d: SWAP2
0000048e: SUB
0000048f: SWAP1
00000490: LOG3
00000491: POP
00000492: POP
00000493: PUSH1 0x01
00000495: PUSH1 0x02
00000497: SSTORE
00000498: POP
00000499: POP
0000049a: POP
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH1 0x02
0000049f: DUP1
000004a0: SLOAD
000004a1: SUB
000004a2: PUSH2 0x04bd
000004a5: JUMPI
000004a6: PUSH1 0x40
000004a8: MLOAD
000004a9: PUSH3 0x461bcd
000004ad: PUSH1 0xe5
000004af: SHL
000004b0: DUP2
000004b1: MSTORE
000004b2: PUSH1 0x04
000004b4: ADD
000004b5: PUSH2 0x01b3
000004b8: SWAP1
000004b9: PUSH2 0x112b
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH1 0x02
000004c0: DUP1
000004c1: SSTORE
000004c2: ADDRESS
000004c3: PUSH1 0x01
000004c5: PUSH1 0x01
000004c7: PUSH1 0xa0
000004c9: SHL
000004ca: SUB
000004cb: DUP6
000004cc: AND
000004cd: SUB
000004ce: PUSH2 0x0587
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: JUMPDEST
000004d5: DUP3
000004d6: MLOAD
000004d7: DUP2
000004d8: LT
000004d9: ISZERO
000004da: PUSH2 0x0534
000004dd: JUMPI
000004de: PUSH2 0x0522
000004e1: DUP5
000004e2: DUP5
000004e3: DUP4
000004e4: DUP2
000004e5: MLOAD
000004e6: DUP2
000004e7: LT
000004e8: PUSH2 0x04f3
000004eb: JUMPI
000004ec: PUSH2 0x04f3
000004ef: PUSH2 0x1266
000004f2: JUMP
000004f3: JUMPDEST
000004f4: PUSH1 0x20
000004f6: MUL
000004f7: PUSH1 0x20
000004f9: ADD
000004fa: ADD
000004fb: MLOAD
000004fc: PUSH1 0x00
000004fe: ADD
000004ff: MLOAD
00000500: DUP6
00000501: DUP5
00000502: DUP2
00000503: MLOAD
00000504: DUP2
00000505: LT
00000506: PUSH2 0x0511
00000509: JUMPI
0000050a: PUSH2 0x0511
0000050d: PUSH2 0x1266
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH1 0x20
00000514: MUL
00000515: PUSH1 0x20
00000517: ADD
00000518: ADD
00000519: MLOAD
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: MLOAD
0000051e: PUSH2 0x09fd
00000521: JUMP
00000522: JUMPDEST
00000523: DUP1
00000524: PUSH2 0x052c
00000527: DUP2
00000528: PUSH2 0x127c
0000052b: JUMP
0000052c: JUMPDEST
0000052d: SWAP2
0000052e: POP
0000052f: POP
00000530: PUSH2 0x04d4
00000533: JUMP
00000534: JUMPDEST
00000535: POP
00000536: DUP3
00000537: PUSH1 0x01
00000539: PUSH1 0x01
0000053b: PUSH1 0xa0
0000053d: SHL
0000053e: SUB
0000053f: AND
00000540: CALLER
00000541: PUSH1 0x01
00000543: PUSH1 0x01
00000545: PUSH1 0xa0
00000547: SHL
00000548: SUB
00000549: AND
0000054a: PUSH32 0x281daef48d91e5cd3d32db0784f6af69cd8d8d2e8c612a3568dca51ded51e08f
0000056b: DUP5
0000056c: DUP5
0000056d: PUSH1 0x40
0000056f: MLOAD
00000570: PUSH2 0x057a
00000573: SWAP3
00000574: SWAP2
00000575: SWAP1
00000576: PUSH2 0x1295
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: DUP1
0000057f: SWAP2
00000580: SUB
00000581: SWAP1
00000582: LOG3
00000583: PUSH2 0x05ee
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x00
0000058a: JUMPDEST
0000058b: DUP3
0000058c: MLOAD
0000058d: DUP2
0000058e: LT
0000058f: ISZERO
00000590: PUSH2 0x05ec
00000593: JUMPI
00000594: PUSH2 0x05da
00000597: DUP6
00000598: DUP6
00000599: DUP6
0000059a: DUP5
0000059b: DUP2
0000059c: MLOAD
0000059d: DUP2
0000059e: LT
0000059f: PUSH2 0x05aa
000005a2: JUMPI
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x1266
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x20
000005ad: MUL
000005ae: PUSH1 0x20
000005b0: ADD
000005b1: ADD
000005b2: MLOAD
000005b3: PUSH1 0x00
000005b5: ADD
000005b6: MLOAD
000005b7: DUP7
000005b8: DUP6
000005b9: DUP2
000005ba: MLOAD
000005bb: DUP2
000005bc: LT
000005bd: PUSH2 0x05c8
000005c0: JUMPI
000005c1: PUSH2 0x05c8
000005c4: PUSH2 0x1266
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x20
000005cb: MUL
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: ADD
000005d0: MLOAD
000005d1: PUSH1 0x20
000005d3: ADD
000005d4: MLOAD
000005d5: DUP7
000005d6: PUSH2 0x0a76
000005d9: JUMP
000005da: JUMPDEST
000005db: DUP1
000005dc: PUSH2 0x05e4
000005df: DUP2
000005e0: PUSH2 0x127c
000005e3: JUMP
000005e4: JUMPDEST
000005e5: SWAP2
000005e6: POP
000005e7: POP
000005e8: PUSH2 0x058a
000005eb: JUMP
000005ec: JUMPDEST
000005ed: POP
000005ee: JUMPDEST
000005ef: PUSH1 0x40
000005f1: MLOAD
000005f2: PUSH1 0x00
000005f4: SWAP1
000005f5: PUSH1 0x01
000005f7: PUSH1 0x01
000005f9: PUSH1 0xa0
000005fb: SHL
000005fc: SUB
000005fd: DUP6
000005fe: AND
000005ff: SWAP1
00000600: CALLVALUE
00000601: DUP1
00000602: ISZERO
00000603: PUSH2 0x08fc
00000606: MUL
00000607: SWAP2
00000608: DUP5
00000609: DUP2
0000060a: DUP2
0000060b: DUP2
0000060c: DUP6
0000060d: DUP9
0000060e: DUP9
0000060f: CALL
00000610: SWAP4
00000611: POP
00000612: POP
00000613: POP
00000614: POP
00000615: SWAP1
00000616: POP
00000617: DUP1
00000618: PUSH2 0x023c
0000061b: JUMPI
0000061c: PUSH1 0x00
0000061e: DUP1
0000061f: REVERT
00000620: JUMPDEST
00000621: PUSH1 0x02
00000623: DUP1
00000624: SLOAD
00000625: SUB
00000626: PUSH2 0x0641
00000629: JUMPI
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: PUSH3 0x461bcd
00000631: PUSH1 0xe5
00000633: SHL
00000634: DUP2
00000635: MSTORE
00000636: PUSH1 0x04
00000638: ADD
00000639: PUSH2 0x01b3
0000063c: SWAP1
0000063d: PUSH2 0x112b
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x02
00000644: DUP1
00000645: SSTORE
00000646: PUSH1 0x40
00000648: MLOAD
00000649: PUSH1 0x01
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: SHL
00000650: SUB
00000651: DUP6
00000652: DUP2
00000653: AND
00000654: PUSH1 0x24
00000656: DUP4
00000657: ADD
00000658: MSTORE
00000659: DUP5
0000065a: DUP2
0000065b: AND
0000065c: PUSH1 0x44
0000065e: DUP4
0000065f: ADD
00000660: MSTORE
00000661: PUSH1 0x64
00000663: DUP3
00000664: ADD
00000665: DUP5
00000666: SWAP1
00000667: MSTORE
00000668: CALLVALUE
00000669: SWAP2
0000066a: PUSH1 0x00
0000066c: SWAP2
0000066d: DUP9
0000066e: AND
0000066f: SWAP1
00000670: DUP4
00000671: SWAP1
00000672: PUSH1 0x84
00000674: ADD
00000675: PUSH1 0x40
00000677: DUP1
00000678: MLOAD
00000679: PUSH1 0x1f
0000067b: NOT
0000067c: DUP2
0000067d: DUP5
0000067e: SUB
0000067f: ADD
00000680: DUP2
00000681: MSTORE
00000682: SWAP2
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: DUP3
00000688: ADD
00000689: DUP1
0000068a: MLOAD
0000068b: PUSH1 0x01
0000068d: PUSH1 0x01
0000068f: PUSH1 0xe0
00000691: SHL
00000692: SUB
00000693: AND
00000694: PUSH4 0x1230c53d
00000699: PUSH1 0xe2
0000069b: SHL
0000069c: OR
0000069d: SWAP1
0000069e: MSTORE
0000069f: MLOAD
000006a0: PUSH2 0x06a9
000006a3: SWAP2
000006a4: SWAP1
000006a5: PUSH2 0x1300
000006a8: JUMP
000006a9: JUMPDEST
000006aa: PUSH1 0x00
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: DUP4
000006b1: SUB
000006b2: DUP2
000006b3: DUP6
000006b4: DUP8
000006b5: GAS
000006b6: CALL
000006b7: SWAP3
000006b8: POP
000006b9: POP
000006ba: POP
000006bb: RETURNDATASIZE
000006bc: DUP1
000006bd: PUSH1 0x00
000006bf: DUP2
000006c0: EQ
000006c1: PUSH2 0x06e6
000006c4: JUMPI
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: SWAP2
000006c9: POP
000006ca: PUSH1 0x1f
000006cc: NOT
000006cd: PUSH1 0x3f
000006cf: RETURNDATASIZE
000006d0: ADD
000006d1: AND
000006d2: DUP3
000006d3: ADD
000006d4: PUSH1 0x40
000006d6: MSTORE
000006d7: RETURNDATASIZE
000006d8: DUP3
000006d9: MSTORE
000006da: RETURNDATASIZE
000006db: PUSH1 0x00
000006dd: PUSH1 0x20
000006df: DUP5
000006e0: ADD
000006e1: RETURNDATACOPY
000006e2: PUSH2 0x06eb
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH1 0x60
000006e9: SWAP2
000006ea: POP
000006eb: JUMPDEST
000006ec: POP
000006ed: POP
000006ee: SWAP1
000006ef: POP
000006f0: DUP1
000006f1: PUSH2 0x0753
000006f4: JUMPI
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: PUSH1 0x00
000006fa: SWAP1
000006fb: PUSH1 0x01
000006fd: PUSH1 0x01
000006ff: PUSH1 0xa0
00000701: SHL
00000702: SUB
00000703: DUP8
00000704: AND
00000705: SWAP1
00000706: DUP5
00000707: ISZERO
00000708: PUSH2 0x08fc
0000070b: MUL
0000070c: SWAP1
0000070d: DUP6
0000070e: SWAP1
0000070f: DUP5
00000710: DUP2
00000711: DUP2
00000712: DUP2
00000713: DUP6
00000714: DUP9
00000715: DUP9
00000716: CALL
00000717: SWAP4
00000718: POP
00000719: POP
0000071a: POP
0000071b: POP
0000071c: SWAP1
0000071d: POP
0000071e: DUP1
0000071f: PUSH2 0x0751
00000722: JUMPI
00000723: PUSH1 0x40
00000725: MLOAD
00000726: CALLER
00000727: SWAP1
00000728: DUP5
00000729: ISZERO
0000072a: PUSH2 0x08fc
0000072d: MUL
0000072e: SWAP1
0000072f: DUP6
00000730: SWAP1
00000731: PUSH1 0x00
00000733: DUP2
00000734: DUP2
00000735: DUP2
00000736: DUP6
00000737: DUP9
00000738: DUP9
00000739: CALL
0000073a: SWAP4
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: ISZERO
00000740: DUP1
00000741: ISZERO
00000742: PUSH2 0x074f
00000745: JUMPI
00000746: RETURNDATASIZE
00000747: PUSH1 0x00
00000749: DUP1
0000074a: RETURNDATACOPY
0000074b: RETURNDATASIZE
0000074c: PUSH1 0x00
0000074e: REVERT
0000074f: JUMPDEST
00000750: POP
00000751: JUMPDEST
00000752: POP
00000753: JUMPDEST
00000754: CALLER
00000755: PUSH1 0x01
00000757: PUSH1 0x01
00000759: PUSH1 0xa0
0000075b: SHL
0000075c: SUB
0000075d: AND
0000075e: PUSH32 0x8e5841bcd195b858d53b38bcf91b38d47f3bc800469b6812d35451ab619c6f6c
0000077f: DUP9
00000780: DUP5
00000781: DUP10
00000782: DUP10
00000783: DUP10
00000784: DUP10
00000785: PUSH1 0x40
00000787: MLOAD
00000788: PUSH2 0x0796
0000078b: SWAP7
0000078c: SWAP6
0000078d: SWAP5
0000078e: SWAP4
0000078f: SWAP3
00000790: SWAP2
00000791: SWAP1
00000792: PUSH2 0x131c
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: DUP1
0000079b: SWAP2
0000079c: SUB
0000079d: SWAP1
0000079e: LOG2
0000079f: POP
000007a0: POP
000007a1: PUSH1 0x01
000007a3: PUSH1 0x02
000007a5: SSTORE
000007a6: POP
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: POP
000007ab: JUMP
000007ac: JUMPDEST
000007ad: DUP1
000007ae: TIMESTAMP
000007af: LT
000007b0: PUSH2 0x07fb
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: PUSH3 0x461bcd
000007bb: PUSH1 0xe5
000007bd: SHL
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: PUSH1 0x04
000007c4: DUP3
000007c5: ADD
000007c6: MSTORE
000007c7: PUSH1 0x19
000007c9: PUSH1 0x24
000007cb: DUP3
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH32 0x54484f52436861696e5f526f757465723a206578706972656400000000000000
000007ef: PUSH1 0x44
000007f1: DUP3
000007f2: ADD
000007f3: MSTORE
000007f4: PUSH1 0x64
000007f6: ADD
000007f7: PUSH2 0x01b3
000007fa: JUMP
000007fb: JUMPDEST
000007fc: PUSH2 0x0807
000007ff: DUP6
00000800: DUP6
00000801: DUP6
00000802: DUP6
00000803: PUSH2 0x0248
00000806: JUMP
00000807: JUMPDEST
00000808: POP
00000809: POP
0000080a: POP
0000080b: POP
0000080c: POP
0000080d: JUMP
0000080e: JUMPDEST
0000080f: PUSH1 0x02
00000811: DUP1
00000812: SLOAD
00000813: SUB
00000814: PUSH2 0x082f
00000817: JUMPI
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: PUSH3 0x461bcd
0000081f: PUSH1 0xe5
00000821: SHL
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x04
00000826: ADD
00000827: PUSH2 0x01b3
0000082a: SWAP1
0000082b: PUSH2 0x112b
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x02
00000832: DUP1
00000833: SSTORE
00000834: PUSH1 0x00
00000836: PUSH1 0x01
00000838: PUSH1 0x01
0000083a: PUSH1 0xa0
0000083c: SHL
0000083d: SUB
0000083e: DUP5
0000083f: AND
00000840: PUSH2 0x08a9
00000843: JUMPI
00000844: POP
00000845: PUSH1 0x40
00000847: MLOAD
00000848: CALLVALUE
00000849: SWAP1
0000084a: PUSH1 0x00
0000084c: SWAP1
0000084d: PUSH1 0x01
0000084f: PUSH1 0x01
00000851: PUSH1 0xa0
00000853: SHL
00000854: SUB
00000855: DUP8
00000856: AND
00000857: SWAP1
00000858: DUP4
00000859: ISZERO
0000085a: PUSH2 0x08fc
0000085d: MUL
0000085e: SWAP1
0000085f: DUP5
00000860: SWAP1
00000861: DUP5
00000862: DUP2
00000863: DUP2
00000864: DUP2
00000865: DUP6
00000866: DUP9
00000867: DUP9
00000868: CALL
00000869: SWAP4
0000086a: POP
0000086b: POP
0000086c: POP
0000086d: POP
0000086e: SWAP1
0000086f: POP
00000870: DUP1
00000871: PUSH2 0x08a3
00000874: JUMPI
00000875: PUSH1 0x40
00000877: MLOAD
00000878: CALLER
00000879: SWAP1
0000087a: DUP4
0000087b: ISZERO
0000087c: PUSH2 0x08fc
0000087f: MUL
00000880: SWAP1
00000881: DUP5
00000882: SWAP1
00000883: PUSH1 0x00
00000885: DUP2
00000886: DUP2
00000887: DUP2
00000888: DUP6
00000889: DUP9
0000088a: DUP9
0000088b: CALL
0000088c: SWAP4
0000088d: POP
0000088e: POP
0000088f: POP
00000890: POP
00000891: ISZERO
00000892: DUP1
00000893: ISZERO
00000894: PUSH2 0x08a1
00000897: JUMPI
00000898: RETURNDATASIZE
00000899: PUSH1 0x00
0000089b: DUP1
0000089c: RETURNDATACOPY
0000089d: RETURNDATASIZE
0000089e: PUSH1 0x00
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: JUMPDEST
000008a4: POP
000008a5: PUSH2 0x09b6
000008a8: JUMP
000008a9: JUMPDEST
000008aa: CALLER
000008ab: PUSH1 0x00
000008ad: SWAP1
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x01
000008b2: PUSH1 0x20
000008b4: SWAP1
000008b5: DUP2
000008b6: MSTORE
000008b7: PUSH1 0x40
000008b9: DUP1
000008ba: DUP4
000008bb: KECCAK256
000008bc: PUSH1 0x01
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: SHL
000008c3: SUB
000008c4: DUP9
000008c5: AND
000008c6: DUP5
000008c7: MSTORE
000008c8: SWAP1
000008c9: SWAP2
000008ca: MSTORE
000008cb: DUP2
000008cc: KECCAK256
000008cd: DUP1
000008ce: SLOAD
000008cf: DUP6
000008d0: SWAP3
000008d1: SWAP1
000008d2: PUSH2 0x08dc
000008d5: SWAP1
000008d6: DUP5
000008d7: SWAP1
000008d8: PUSH2 0x136a
000008db: JUMP
000008dc: JUMPDEST
000008dd: SWAP1
000008de: SWAP2
000008df: SSTORE
000008e0: POP
000008e1: POP
000008e2: PUSH1 0x40
000008e4: MLOAD
000008e5: PUSH1 0x01
000008e7: PUSH1 0x01
000008e9: PUSH1 0xa0
000008eb: SHL
000008ec: SUB
000008ed: DUP7
000008ee: DUP2
000008ef: AND
000008f0: PUSH1 0x24
000008f2: DUP4
000008f3: ADD
000008f4: MSTORE
000008f5: PUSH1 0x44
000008f7: DUP3
000008f8: ADD
000008f9: DUP6
000008fa: SWAP1
000008fb: MSTORE
000008fc: PUSH1 0x00
000008fe: SWAP2
000008ff: DUP3
00000900: SWAP2
00000901: DUP8
00000902: AND
00000903: SWAP1
00000904: PUSH1 0x64
00000906: ADD
00000907: PUSH1 0x40
00000909: DUP1
0000090a: MLOAD
0000090b: PUSH1 0x1f
0000090d: NOT
0000090e: DUP2
0000090f: DUP5
00000910: SUB
00000911: ADD
00000912: DUP2
00000913: MSTORE
00000914: SWAP2
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x20
00000919: DUP3
0000091a: ADD
0000091b: DUP1
0000091c: MLOAD
0000091d: PUSH1 0x01
0000091f: PUSH1 0x01
00000921: PUSH1 0xe0
00000923: SHL
00000924: SUB
00000925: AND
00000926: PUSH4 0xa9059cbb
0000092b: PUSH1 0xe0
0000092d: SHL
0000092e: OR
0000092f: SWAP1
00000930: MSTORE
00000931: MLOAD
00000932: PUSH2 0x093b
00000935: SWAP2
00000936: SWAP1
00000937: PUSH2 0x1300
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x00
0000093e: PUSH1 0x40
00000940: MLOAD
00000941: DUP1
00000942: DUP4
00000943: SUB
00000944: DUP2
00000945: PUSH1 0x00
00000947: DUP7
00000948: GAS
00000949: CALL
0000094a: SWAP2
0000094b: POP
0000094c: POP
0000094d: RETURNDATASIZE
0000094e: DUP1
0000094f: PUSH1 0x00
00000951: DUP2
00000952: EQ
00000953: PUSH2 0x0978
00000956: JUMPI
00000957: PUSH1 0x40
00000959: MLOAD
0000095a: SWAP2
0000095b: POP
0000095c: PUSH1 0x1f
0000095e: NOT
0000095f: PUSH1 0x3f
00000961: RETURNDATASIZE
00000962: ADD
00000963: AND
00000964: DUP3
00000965: ADD
00000966: PUSH1 0x40
00000968: MSTORE
00000969: RETURNDATASIZE
0000096a: DUP3
0000096b: MSTORE
0000096c: RETURNDATASIZE
0000096d: PUSH1 0x00
0000096f: PUSH1 0x20
00000971: DUP5
00000972: ADD
00000973: RETURNDATACOPY
00000974: PUSH2 0x097d
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x60
0000097b: SWAP2
0000097c: POP
0000097d: JUMPDEST
0000097e: POP
0000097f: SWAP2
00000980: POP
00000981: SWAP2
00000982: POP
00000983: DUP2
00000984: DUP1
00000985: ISZERO
00000986: PUSH2 0x09a7
00000989: JUMPI
0000098a: POP
0000098b: DUP1
0000098c: MLOAD
0000098d: ISZERO
0000098e: DUP1
0000098f: PUSH2 0x09a7
00000992: JUMPI
00000993: POP
00000994: DUP1
00000995: DUP1
00000996: PUSH1 0x20
00000998: ADD
00000999: SWAP1
0000099a: MLOAD
0000099b: DUP2
0000099c: ADD
0000099d: SWAP1
0000099e: PUSH2 0x09a7
000009a1: SWAP2
000009a2: SWAP1
000009a3: PUSH2 0x11ee
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH2 0x09b0
000009ab: JUMPI
000009ac: PUSH1 0x00
000009ae: DUP1
000009af: REVERT
000009b0: JUMPDEST
000009b1: DUP5
000009b2: SWAP3
000009b3: POP
000009b4: POP
000009b5: POP
000009b6: JUMPDEST
000009b7: DUP5
000009b8: PUSH1 0x01
000009ba: PUSH1 0x01
000009bc: PUSH1 0xa0
000009be: SHL
000009bf: SUB
000009c0: AND
000009c1: CALLER
000009c2: PUSH1 0x01
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: SHL
000009c9: SUB
000009ca: AND
000009cb: PUSH32 0xa9cd03aa3c1b4515114539cd53d22085129d495cb9e9f9af77864526240f1bf7
000009ec: DUP7
000009ed: DUP5
000009ee: DUP7
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: PUSH2 0x0488
000009f5: SWAP4
000009f6: SWAP3
000009f7: SWAP2
000009f8: SWAP1
000009f9: PUSH2 0x11be
000009fc: JUMP
000009fd: JUMPDEST
000009fe: CALLER
000009ff: PUSH1 0x00
00000a01: SWAP1
00000a02: DUP2
00000a03: MSTORE
00000a04: PUSH1 0x01
00000a06: PUSH1 0x20
00000a08: SWAP1
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x40
00000a0d: DUP1
00000a0e: DUP4
00000a0f: KECCAK256
00000a10: PUSH1 0x01
00000a12: PUSH1 0x01
00000a14: PUSH1 0xa0
00000a16: SHL
00000a17: SUB
00000a18: DUP7
00000a19: AND
00000a1a: DUP5
00000a1b: MSTORE
00000a1c: SWAP1
00000a1d: SWAP2
00000a1e: MSTORE
00000a1f: DUP2
00000a20: KECCAK256
00000a21: DUP1
00000a22: SLOAD
00000a23: DUP4
00000a24: SWAP3
00000a25: SWAP1
00000a26: PUSH2 0x0a30
00000a29: SWAP1
00000a2a: DUP5
00000a2b: SWAP1
00000a2c: PUSH2 0x136a
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: SWAP1
00000a32: SWAP2
00000a33: SSTORE
00000a34: POP
00000a35: POP
00000a36: PUSH1 0x01
00000a38: PUSH1 0x01
00000a3a: PUSH1 0xa0
00000a3c: SHL
00000a3d: SUB
00000a3e: DUP1
00000a3f: DUP5
00000a40: AND
00000a41: PUSH1 0x00
00000a43: SWAP1
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x01
00000a48: PUSH1 0x20
00000a4a: SWAP1
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x40
00000a4f: DUP1
00000a50: DUP4
00000a51: KECCAK256
00000a52: SWAP4
00000a53: DUP7
00000a54: AND
00000a55: DUP4
00000a56: MSTORE
00000a57: SWAP3
00000a58: SWAP1
00000a59: MSTORE
00000a5a: SWAP1
00000a5b: DUP2
00000a5c: KECCAK256
00000a5d: DUP1
00000a5e: SLOAD
00000a5f: DUP4
00000a60: SWAP3
00000a61: SWAP1
00000a62: PUSH2 0x0a6c
00000a65: SWAP1
00000a66: DUP5
00000a67: SWAP1
00000a68: PUSH2 0x122d
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: SWAP1
00000a6e: SWAP2
00000a6f: SSTORE
00000a70: POP
00000a71: POP
00000a72: POP
00000a73: POP
00000a74: POP
00000a75: JUMP
00000a76: JUMPDEST
00000a77: CALLER
00000a78: PUSH1 0x00
00000a7a: SWAP1
00000a7b: DUP2
00000a7c: MSTORE
00000a7d: PUSH1 0x01
00000a7f: PUSH1 0x20
00000a81: SWAP1
00000a82: DUP2
00000a83: MSTORE
00000a84: PUSH1 0x40
00000a86: DUP1
00000a87: DUP4
00000a88: KECCAK256
00000a89: PUSH1 0x01
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0xa0
00000a8f: SHL
00000a90: SUB
00000a91: DUP8
00000a92: AND
00000a93: DUP5
00000a94: MSTORE
00000a95: SWAP1
00000a96: SWAP2
00000a97: MSTORE
00000a98: DUP2
00000a99: KECCAK256
00000a9a: DUP1
00000a9b: SLOAD
00000a9c: DUP5
00000a9d: SWAP3
00000a9e: SWAP1
00000a9f: PUSH2 0x0aa9
00000aa2: SWAP1
00000aa3: DUP5
00000aa4: SWAP1
00000aa5: PUSH2 0x136a
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: SWAP1
00000aab: SWAP2
00000aac: SSTORE
00000aad: POP
00000aae: POP
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0xa0
00000ab8: SHL
00000ab9: SUB
00000aba: DUP7
00000abb: DUP2
00000abc: AND
00000abd: PUSH1 0x24
00000abf: DUP4
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH1 0x44
00000ac4: DUP3
00000ac5: ADD
00000ac6: DUP5
00000ac7: SWAP1
00000ac8: MSTORE
00000ac9: PUSH1 0x00
00000acb: SWAP2
00000acc: SWAP1
00000acd: DUP6
00000ace: AND
00000acf: SWAP1
00000ad0: PUSH1 0x64
00000ad2: ADD
00000ad3: PUSH1 0x40
00000ad5: DUP1
00000ad6: MLOAD
00000ad7: PUSH1 0x1f
00000ad9: NOT
00000ada: DUP2
00000adb: DUP5
00000adc: SUB
00000add: ADD
00000ade: DUP2
00000adf: MSTORE
00000ae0: SWAP2
00000ae1: DUP2
00000ae2: MSTORE
00000ae3: PUSH1 0x20
00000ae5: DUP3
00000ae6: ADD
00000ae7: DUP1
00000ae8: MLOAD
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xe0
00000aef: SHL
00000af0: SUB
00000af1: AND
00000af2: PUSH4 0x095ea7b3
00000af7: PUSH1 0xe0
00000af9: SHL
00000afa: OR
00000afb: SWAP1
00000afc: MSTORE
00000afd: MLOAD
00000afe: PUSH2 0x0b07
00000b01: SWAP2
00000b02: SWAP1
00000b03: PUSH2 0x1300
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x00
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: DUP1
00000b0e: DUP4
00000b0f: SUB
00000b10: DUP2
00000b11: PUSH1 0x00
00000b13: DUP7
00000b14: GAS
00000b15: CALL
00000b16: SWAP2
00000b17: POP
00000b18: POP
00000b19: RETURNDATASIZE
00000b1a: DUP1
00000b1b: PUSH1 0x00
00000b1d: DUP2
00000b1e: EQ
00000b1f: PUSH2 0x0b44
00000b22: JUMPI
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: SWAP2
00000b27: POP
00000b28: PUSH1 0x1f
00000b2a: NOT
00000b2b: PUSH1 0x3f
00000b2d: RETURNDATASIZE
00000b2e: ADD
00000b2f: AND
00000b30: DUP3
00000b31: ADD
00000b32: PUSH1 0x40
00000b34: MSTORE
00000b35: RETURNDATASIZE
00000b36: DUP3
00000b37: MSTORE
00000b38: RETURNDATASIZE
00000b39: PUSH1 0x00
00000b3b: PUSH1 0x20
00000b3d: DUP5
00000b3e: ADD
00000b3f: RETURNDATACOPY
00000b40: PUSH2 0x0b49
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH1 0x60
00000b47: SWAP2
00000b48: POP
00000b49: JUMPDEST
00000b4a: POP
00000b4b: POP
00000b4c: SWAP1
00000b4d: POP
00000b4e: DUP1
00000b4f: PUSH2 0x0b57
00000b52: JUMPI
00000b53: PUSH1 0x00
00000b55: DUP1
00000b56: REVERT
00000b57: JUMPDEST
00000b58: PUSH1 0x40
00000b5a: MLOAD
00000b5b: PUSH4 0x44bc937b
00000b60: PUSH1 0xe0
00000b62: SHL
00000b63: DUP2
00000b64: MSTORE
00000b65: PUSH1 0x01
00000b67: PUSH1 0x01
00000b69: PUSH1 0xa0
00000b6b: SHL
00000b6c: SUB
00000b6d: DUP8
00000b6e: AND
00000b6f: SWAP1
00000b70: PUSH4 0x44bc937b
00000b75: SWAP1
00000b76: PUSH2 0x0b8d
00000b79: SWAP1
00000b7a: DUP9
00000b7b: SWAP1
00000b7c: DUP9
00000b7d: SWAP1
00000b7e: DUP9
00000b7f: SWAP1
00000b80: DUP9
00000b81: SWAP1
00000b82: PUSH1 0x00
00000b84: NOT
00000b85: SWAP1
00000b86: PUSH1 0x04
00000b88: ADD
00000b89: PUSH2 0x1381
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x00
00000b90: PUSH1 0x40
00000b92: MLOAD
00000b93: DUP1
00000b94: DUP4
00000b95: SUB
00000b96: DUP2
00000b97: PUSH1 0x00
00000b99: DUP8
00000b9a: DUP1
00000b9b: EXTCODESIZE
00000b9c: ISZERO
00000b9d: DUP1
00000b9e: ISZERO
00000b9f: PUSH2 0x0ba7
00000ba2: JUMPI
00000ba3: PUSH1 0x00
00000ba5: DUP1
00000ba6: REVERT
00000ba7: JUMPDEST
00000ba8: POP
00000ba9: GAS
00000baa: CALL
00000bab: ISZERO
00000bac: DUP1
00000bad: ISZERO
00000bae: PUSH2 0x0bbb
00000bb1: JUMPI
00000bb2: RETURNDATASIZE
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: RETURNDATACOPY
00000bb7: RETURNDATASIZE
00000bb8: PUSH1 0x00
00000bba: REVERT
00000bbb: JUMPDEST
00000bbc: POP
00000bbd: POP
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: POP
00000bc4: POP
00000bc5: POP
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: PUSH4 0x70a08231
00000bd0: PUSH1 0xe0
00000bd2: SHL
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: ADDRESS
00000bd6: PUSH1 0x04
00000bd8: DUP3
00000bd9: ADD
00000bda: MSTORE
00000bdb: PUSH1 0x00
00000bdd: SWAP1
00000bde: DUP2
00000bdf: SWAP1
00000be0: PUSH1 0x01
00000be2: PUSH1 0x01
00000be4: PUSH1 0xa0
00000be6: SHL
00000be7: SUB
00000be8: DUP6
00000be9: AND
00000bea: SWAP1
00000beb: PUSH4 0x70a08231
00000bf0: SWAP1
00000bf1: PUSH1 0x24
00000bf3: ADD
00000bf4: PUSH1 0x20
00000bf6: PUSH1 0x40
00000bf8: MLOAD
00000bf9: DUP1
00000bfa: DUP4
00000bfb: SUB
00000bfc: DUP2
00000bfd: DUP7
00000bfe: GAS
00000bff: STATICCALL
00000c00: ISZERO
00000c01: DUP1
00000c02: ISZERO
00000c03: PUSH2 0x0c10
00000c06: JUMPI
00000c07: RETURNDATASIZE
00000c08: PUSH1 0x00
00000c0a: DUP1
00000c0b: RETURNDATACOPY
00000c0c: RETURNDATASIZE
00000c0d: PUSH1 0x00
00000c0f: REVERT
00000c10: JUMPDEST
00000c11: POP
00000c12: POP
00000c13: POP
00000c14: POP
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: RETURNDATASIZE
00000c19: PUSH1 0x1f
00000c1b: NOT
00000c1c: PUSH1 0x1f
00000c1e: DUP3
00000c1f: ADD
00000c20: AND
00000c21: DUP3
00000c22: ADD
00000c23: DUP1
00000c24: PUSH1 0x40
00000c26: MSTORE
00000c27: POP
00000c28: DUP2
00000c29: ADD
00000c2a: SWAP1
00000c2b: PUSH2 0x0c34
00000c2e: SWAP2
00000c2f: SWAP1
00000c30: PUSH2 0x13c6
00000c33: JUMP
00000c34: JUMPDEST
00000c35: PUSH1 0x40
00000c37: MLOAD
00000c38: CALLER
00000c39: PUSH1 0x24
00000c3b: DUP3
00000c3c: ADD
00000c3d: MSTORE
00000c3e: ADDRESS
00000c3f: PUSH1 0x44
00000c41: DUP3
00000c42: ADD
00000c43: MSTORE
00000c44: PUSH1 0x64
00000c46: DUP2
00000c47: ADD
00000c48: DUP6
00000c49: SWAP1
00000c4a: MSTORE
00000c4b: SWAP1
00000c4c: SWAP2
00000c4d: POP
00000c4e: PUSH1 0x00
00000c50: SWAP1
00000c51: DUP2
00000c52: SWAP1
00000c53: PUSH1 0x01
00000c55: PUSH1 0x01
00000c57: PUSH1 0xa0
00000c59: SHL
00000c5a: SUB
00000c5b: DUP8
00000c5c: AND
00000c5d: SWAP1
00000c5e: PUSH1 0x84
00000c60: ADD
00000c61: PUSH1 0x40
00000c63: DUP1
00000c64: MLOAD
00000c65: PUSH1 0x1f
00000c67: NOT
00000c68: DUP2
00000c69: DUP5
00000c6a: SUB
00000c6b: ADD
00000c6c: DUP2
00000c6d: MSTORE
00000c6e: SWAP2
00000c6f: DUP2
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: DUP3
00000c74: ADD
00000c75: DUP1
00000c76: MLOAD
00000c77: PUSH1 0x01
00000c79: PUSH1 0x01
00000c7b: PUSH1 0xe0
00000c7d: SHL
00000c7e: SUB
00000c7f: AND
00000c80: PUSH4 0x23b872dd
00000c85: PUSH1 0xe0
00000c87: SHL
00000c88: OR
00000c89: SWAP1
00000c8a: MSTORE
00000c8b: MLOAD
00000c8c: PUSH2 0x0c95
00000c8f: SWAP2
00000c90: SWAP1
00000c91: PUSH2 0x1300
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH1 0x00
00000c98: PUSH1 0x40
00000c9a: MLOAD
00000c9b: DUP1
00000c9c: DUP4
00000c9d: SUB
00000c9e: DUP2
00000c9f: PUSH1 0x00
00000ca1: DUP7
00000ca2: GAS
00000ca3: CALL
00000ca4: SWAP2
00000ca5: POP
00000ca6: POP
00000ca7: RETURNDATASIZE
00000ca8: DUP1
00000ca9: PUSH1 0x00
00000cab: DUP2
00000cac: EQ
00000cad: PUSH2 0x0cd2
00000cb0: JUMPI
00000cb1: PUSH1 0x40
00000cb3: MLOAD
00000cb4: SWAP2
00000cb5: POP
00000cb6: PUSH1 0x1f
00000cb8: NOT
00000cb9: PUSH1 0x3f
00000cbb: RETURNDATASIZE
00000cbc: ADD
00000cbd: AND
00000cbe: DUP3
00000cbf: ADD
00000cc0: PUSH1 0x40
00000cc2: MSTORE
00000cc3: RETURNDATASIZE
00000cc4: DUP3
00000cc5: MSTORE
00000cc6: RETURNDATASIZE
00000cc7: PUSH1 0x00
00000cc9: PUSH1 0x20
00000ccb: DUP5
00000ccc: ADD
00000ccd: RETURNDATACOPY
00000cce: PUSH2 0x0cd7
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH1 0x60
00000cd5: SWAP2
00000cd6: POP
00000cd7: JUMPDEST
00000cd8: POP
00000cd9: SWAP2
00000cda: POP
00000cdb: SWAP2
00000cdc: POP
00000cdd: DUP2
00000cde: DUP1
00000cdf: ISZERO
00000ce0: PUSH2 0x0d01
00000ce3: JUMPI
00000ce4: POP
00000ce5: DUP1
00000ce6: MLOAD
00000ce7: ISZERO
00000ce8: DUP1
00000ce9: PUSH2 0x0d01
00000cec: JUMPI
00000ced: POP
00000cee: DUP1
00000cef: DUP1
00000cf0: PUSH1 0x20
00000cf2: ADD
00000cf3: SWAP1
00000cf4: MLOAD
00000cf5: DUP2
00000cf6: ADD
00000cf7: SWAP1
00000cf8: PUSH2 0x0d01
00000cfb: SWAP2
00000cfc: SWAP1
00000cfd: PUSH2 0x11ee
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH2 0x0d0a
00000d05: JUMPI
00000d06: PUSH1 0x00
00000d08: DUP1
00000d09: REVERT
00000d0a: JUMPDEST
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: PUSH4 0x70a08231
00000d13: PUSH1 0xe0
00000d15: SHL
00000d16: DUP2
00000d17: MSTORE
00000d18: ADDRESS
00000d19: PUSH1 0x04
00000d1b: DUP3
00000d1c: ADD
00000d1d: MSTORE
00000d1e: DUP4
00000d1f: SWAP1
00000d20: PUSH1 0x01
00000d22: PUSH1 0x01
00000d24: PUSH1 0xa0
00000d26: SHL
00000d27: SUB
00000d28: DUP9
00000d29: AND
00000d2a: SWAP1
00000d2b: PUSH4 0x70a08231
00000d30: SWAP1
00000d31: PUSH1 0x24
00000d33: ADD
00000d34: PUSH1 0x20
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: DUP1
00000d3a: DUP4
00000d3b: SUB
00000d3c: DUP2
00000d3d: DUP7
00000d3e: GAS
00000d3f: STATICCALL
00000d40: ISZERO
00000d41: DUP1
00000d42: ISZERO
00000d43: PUSH2 0x0d50
00000d46: JUMPI
00000d47: RETURNDATASIZE
00000d48: PUSH1 0x00
00000d4a: DUP1
00000d4b: RETURNDATACOPY
00000d4c: RETURNDATASIZE
00000d4d: PUSH1 0x00
00000d4f: REVERT
00000d50: JUMPDEST
00000d51: POP
00000d52: POP
00000d53: POP
00000d54: POP
00000d55: PUSH1 0x40
00000d57: MLOAD
00000d58: RETURNDATASIZE
00000d59: PUSH1 0x1f
00000d5b: NOT
00000d5c: PUSH1 0x1f
00000d5e: DUP3
00000d5f: ADD
00000d60: AND
00000d61: DUP3
00000d62: ADD
00000d63: DUP1
00000d64: PUSH1 0x40
00000d66: MSTORE
00000d67: POP
00000d68: DUP2
00000d69: ADD
00000d6a: SWAP1
00000d6b: PUSH2 0x0d74
00000d6e: SWAP2
00000d6f: SWAP1
00000d70: PUSH2 0x13c6
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH2 0x0d7e
00000d78: SWAP2
00000d79: SWAP1
00000d7a: PUSH2 0x136a
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: SWAP7
00000d80: SWAP6
00000d81: POP
00000d82: POP
00000d83: POP
00000d84: POP
00000d85: POP
00000d86: POP
00000d87: JUMP
00000d88: JUMPDEST
00000d89: PUSH1 0x01
00000d8b: PUSH1 0x01
00000d8d: PUSH1 0xa0
00000d8f: SHL
00000d90: SUB
00000d91: DUP2
00000d92: AND
00000d93: DUP2
00000d94: EQ
00000d95: PUSH2 0x0d9d
00000d98: JUMPI
00000d99: PUSH1 0x00
00000d9b: DUP1
00000d9c: REVERT
00000d9d: JUMPDEST
00000d9e: POP
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x00
00000da3: DUP1
00000da4: PUSH1 0x40
00000da6: DUP4
00000da7: DUP6
00000da8: SUB
00000da9: SLT
00000daa: ISZERO
00000dab: PUSH2 0x0db3
00000dae: JUMPI
00000daf: PUSH1 0x00
00000db1: DUP1
00000db2: REVERT
00000db3: JUMPDEST
00000db4: DUP3
00000db5: CALLDATALOAD
00000db6: PUSH2 0x0dbe
00000db9: DUP2
00000dba: PUSH2 0x0d88
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: SWAP2
00000dc0: POP
00000dc1: PUSH1 0x20
00000dc3: DUP4
00000dc4: ADD
00000dc5: CALLDATALOAD
00000dc6: PUSH2 0x0dce
00000dc9: DUP2
00000dca: PUSH2 0x0d88
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: DUP1
00000dd0: SWAP2
00000dd1: POP
00000dd2: POP
00000dd3: SWAP3
00000dd4: POP
00000dd5: SWAP3
00000dd6: SWAP1
00000dd7: POP
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH4 0x4e487b71
00000ddf: PUSH1 0xe0
00000de1: SHL
00000de2: PUSH1 0x00
00000de4: MSTORE
00000de5: PUSH1 0x41
00000de7: PUSH1 0x04
00000de9: MSTORE
00000dea: PUSH1 0x24
00000dec: PUSH1 0x00
00000dee: REVERT
00000def: JUMPDEST
00000df0: PUSH1 0x40
00000df2: DUP1
00000df3: MLOAD
00000df4: SWAP1
00000df5: DUP2
00000df6: ADD
00000df7: PUSH8 0xffffffffffffffff
00000e00: DUP2
00000e01: GT
00000e02: DUP3
00000e03: DUP3
00000e04: LT
00000e05: OR
00000e06: ISZERO
00000e07: PUSH2 0x0e12
00000e0a: JUMPI
00000e0b: PUSH2 0x0e12
00000e0e: PUSH2 0x0dd9
00000e11: JUMP
00000e12: JUMPDEST
00000e13: PUSH1 0x40
00000e15: MSTORE
00000e16: SWAP1
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH1 0x40
00000e1b: MLOAD
00000e1c: PUSH1 0x1f
00000e1e: DUP3
00000e1f: ADD
00000e20: PUSH1 0x1f
00000e22: NOT
00000e23: AND
00000e24: DUP2
00000e25: ADD
00000e26: PUSH8 0xffffffffffffffff
00000e2f: DUP2
00000e30: GT
00000e31: DUP3
00000e32: DUP3
00000e33: LT
00000e34: OR
00000e35: ISZERO
00000e36: PUSH2 0x0e41
00000e39: JUMPI
00000e3a: PUSH2 0x0e41
00000e3d: PUSH2 0x0dd9
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x40
00000e44: MSTORE
00000e45: SWAP2
00000e46: SWAP1
00000e47: POP
00000e48: JUMP
00000e49: JUMPDEST
00000e4a: PUSH1 0x00
00000e4c: DUP3
00000e4d: PUSH1 0x1f
00000e4f: DUP4
00000e50: ADD
00000e51: SLT
00000e52: PUSH2 0x0e5a
00000e55: JUMPI
00000e56: PUSH1 0x00
00000e58: DUP1
00000e59: REVERT
00000e5a: JUMPDEST
00000e5b: DUP2
00000e5c: CALLDATALOAD
00000e5d: PUSH8 0xffffffffffffffff
00000e66: DUP2
00000e67: GT
00000e68: ISZERO
00000e69: PUSH2 0x0e74
00000e6c: JUMPI
00000e6d: PUSH2 0x0e74
00000e70: PUSH2 0x0dd9
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH2 0x0e87
00000e78: PUSH1 0x1f
00000e7a: DUP3
00000e7b: ADD
00000e7c: PUSH1 0x1f
00000e7e: NOT
00000e7f: AND
00000e80: PUSH1 0x20
00000e82: ADD
00000e83: PUSH2 0x0e18
00000e86: JUMP
00000e87: JUMPDEST
00000e88: DUP2
00000e89: DUP2
00000e8a: MSTORE
00000e8b: DUP5
00000e8c: PUSH1 0x20
00000e8e: DUP4
00000e8f: DUP7
00000e90: ADD
00000e91: ADD
00000e92: GT
00000e93: ISZERO
00000e94: PUSH2 0x0e9c
00000e97: JUMPI
00000e98: PUSH1 0x00
00000e9a: DUP1
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: DUP2
00000e9e: PUSH1 0x20
00000ea0: DUP6
00000ea1: ADD
00000ea2: PUSH1 0x20
00000ea4: DUP4
00000ea5: ADD
00000ea6: CALLDATACOPY
00000ea7: PUSH1 0x00
00000ea9: SWAP2
00000eaa: DUP2
00000eab: ADD
00000eac: PUSH1 0x20
00000eae: ADD
00000eaf: SWAP2
00000eb0: SWAP1
00000eb1: SWAP2
00000eb2: MSTORE
00000eb3: SWAP4
00000eb4: SWAP3
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: PUSH1 0x00
00000ebc: DUP1
00000ebd: PUSH1 0x00
00000ebf: DUP1
00000ec0: PUSH1 0x00
00000ec2: PUSH1 0xa0
00000ec4: DUP7
00000ec5: DUP9
00000ec6: SUB
00000ec7: SLT
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed1
00000ecc: JUMPI
00000ecd: PUSH1 0x00
00000ecf: DUP1
00000ed0: REVERT
00000ed1: JUMPDEST
00000ed2: DUP6
00000ed3: CALLDATALOAD
00000ed4: PUSH2 0x0edc
00000ed7: DUP2
00000ed8: PUSH2 0x0d88
00000edb: JUMP
00000edc: JUMPDEST
00000edd: SWAP5
00000ede: POP
00000edf: PUSH1 0x20
00000ee1: DUP7
00000ee2: ADD
00000ee3: CALLDATALOAD
00000ee4: PUSH2 0x0eec
00000ee7: DUP2
00000ee8: PUSH2 0x0d88
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: SWAP4
00000eee: POP
00000eef: PUSH1 0x40
00000ef1: DUP7
00000ef2: ADD
00000ef3: CALLDATALOAD
00000ef4: PUSH2 0x0efc
00000ef7: DUP2
00000ef8: PUSH2 0x0d88
00000efb: JUMP
00000efc: JUMPDEST
00000efd: SWAP3
00000efe: POP
00000eff: PUSH1 0x60
00000f01: DUP7
00000f02: ADD
00000f03: CALLDATALOAD
00000f04: SWAP2
00000f05: POP
00000f06: PUSH1 0x80
00000f08: DUP7
00000f09: ADD
00000f0a: CALLDATALOAD
00000f0b: PUSH8 0xffffffffffffffff
00000f14: DUP2
00000f15: GT
00000f16: ISZERO
00000f17: PUSH2 0x0f1f
00000f1a: JUMPI
00000f1b: PUSH1 0x00
00000f1d: DUP1
00000f1e: REVERT
00000f1f: JUMPDEST
00000f20: PUSH2 0x0f2b
00000f23: DUP9
00000f24: DUP3
00000f25: DUP10
00000f26: ADD
00000f27: PUSH2 0x0e49
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: SWAP2
00000f2d: POP
00000f2e: POP
00000f2f: SWAP3
00000f30: SWAP6
00000f31: POP
00000f32: SWAP3
00000f33: SWAP6
00000f34: SWAP1
00000f35: SWAP4
00000f36: POP
00000f37: JUMP
00000f38: JUMPDEST
00000f39: PUSH1 0x00
00000f3b: DUP1
00000f3c: PUSH1 0x00
00000f3e: DUP1
00000f3f: PUSH1 0x80
00000f41: DUP6
00000f42: DUP8
00000f43: SUB
00000f44: SLT
00000f45: ISZERO
00000f46: PUSH2 0x0f4e
00000f49: JUMPI
00000f4a: PUSH1 0x00
00000f4c: DUP1
00000f4d: REVERT
00000f4e: JUMPDEST
00000f4f: DUP5
00000f50: CALLDATALOAD
00000f51: PUSH2 0x0f59
00000f54: DUP2
00000f55: PUSH2 0x0d88
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: SWAP4
00000f5b: POP
00000f5c: PUSH1 0x20
00000f5e: DUP6
00000f5f: ADD
00000f60: CALLDATALOAD
00000f61: PUSH2 0x0f69
00000f64: DUP2
00000f65: PUSH2 0x0d88
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: SWAP3
00000f6b: POP
00000f6c: PUSH1 0x40
00000f6e: DUP6
00000f6f: ADD
00000f70: CALLDATALOAD
00000f71: SWAP2
00000f72: POP
00000f73: PUSH1 0x60
00000f75: DUP6
00000f76: ADD
00000f77: CALLDATALOAD
00000f78: PUSH8 0xffffffffffffffff
00000f81: DUP2
00000f82: GT
00000f83: ISZERO
00000f84: PUSH2 0x0f8c
00000f87: JUMPI
00000f88: PUSH1 0x00
00000f8a: DUP1
00000f8b: REVERT
00000f8c: JUMPDEST
00000f8d: PUSH2 0x0f98
00000f90: DUP8
00000f91: DUP3
00000f92: DUP9
00000f93: ADD
00000f94: PUSH2 0x0e49
00000f97: JUMP
00000f98: JUMPDEST
00000f99: SWAP2
00000f9a: POP
00000f9b: POP
00000f9c: SWAP3
00000f9d: SWAP6
00000f9e: SWAP2
00000f9f: SWAP5
00000fa0: POP
00000fa1: SWAP3
00000fa2: POP
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: PUSH1 0x00
00000fa7: DUP1
00000fa8: PUSH1 0x00
00000faa: DUP1
00000fab: PUSH1 0x80
00000fad: DUP6
00000fae: DUP8
00000faf: SUB
00000fb0: SLT
00000fb1: ISZERO
00000fb2: PUSH2 0x0fba
00000fb5: JUMPI
00000fb6: PUSH1 0x00
00000fb8: DUP1
00000fb9: REVERT
00000fba: JUMPDEST
00000fbb: DUP5
00000fbc: CALLDATALOAD
00000fbd: PUSH2 0x0fc5
00000fc0: DUP2
00000fc1: PUSH2 0x0d88
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: SWAP4
00000fc7: POP
00000fc8: PUSH1 0x20
00000fca: DUP6
00000fcb: DUP2
00000fcc: ADD
00000fcd: CALLDATALOAD
00000fce: PUSH2 0x0fd6
00000fd1: DUP2
00000fd2: PUSH2 0x0d88
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: SWAP4
00000fd8: POP
00000fd9: PUSH1 0x40
00000fdb: DUP7
00000fdc: DUP2
00000fdd: ADD
00000fde: CALLDATALOAD
00000fdf: PUSH8 0xffffffffffffffff
00000fe8: DUP1
00000fe9: DUP3
00000fea: GT
00000feb: ISZERO
00000fec: PUSH2 0x0ff4
00000fef: JUMPI
00000ff0: PUSH1 0x00
00000ff2: DUP1
00000ff3: REVERT
00000ff4: JUMPDEST
00000ff5: DUP2
00000ff6: DUP10
00000ff7: ADD
00000ff8: SWAP2
00000ff9: POP
00000ffa: DUP10
00000ffb: PUSH1 0x1f
00000ffd: DUP4
00000ffe: ADD
00000fff: SLT
00001000: PUSH2 0x1008
00001003: JUMPI
00001004: PUSH1 0x00
00001006: DUP1
00001007: REVERT
00001008: JUMPDEST
00001009: DUP2
0000100a: CALLDATALOAD
0000100b: DUP2
0000100c: DUP2
0000100d: GT
0000100e: ISZERO
0000100f: PUSH2 0x101a
00001012: JUMPI
00001013: PUSH2 0x101a
00001016: PUSH2 0x0dd9
00001019: JUMP
0000101a: JUMPDEST
0000101b: PUSH2 0x1028
0000101e: DUP6
0000101f: DUP3
00001020: PUSH1 0x05
00001022: SHL
00001023: ADD
00001024: PUSH2 0x0e18
00001027: JUMP
00001028: JUMPDEST
00001029: DUP2
0000102a: DUP2
0000102b: MSTORE
0000102c: PUSH1 0x06
0000102e: SWAP2
0000102f: SWAP1
00001030: SWAP2
00001031: SHL
00001032: DUP4
00001033: ADD
00001034: DUP6
00001035: ADD
00001036: SWAP1
00001037: DUP6
00001038: DUP2
00001039: ADD
0000103a: SWAP1
0000103b: DUP13
0000103c: DUP4
0000103d: GT
0000103e: ISZERO
0000103f: PUSH2 0x1047
00001042: JUMPI
00001043: PUSH1 0x00
00001045: DUP1
00001046: REVERT
00001047: JUMPDEST
00001048: SWAP4
00001049: DUP7
0000104a: ADD
0000104b: SWAP4
0000104c: JUMPDEST
0000104d: DUP3
0000104e: DUP6
0000104f: LT
00001050: ISZERO
00001051: PUSH2 0x1090
00001054: JUMPI
00001055: DUP6
00001056: DUP6
00001057: DUP15
00001058: SUB
00001059: SLT
0000105a: ISZERO
0000105b: PUSH2 0x1064
0000105e: JUMPI
0000105f: PUSH1 0x00
00001061: DUP1
00001062: DUP2
00001063: REVERT
00001064: JUMPDEST
00001065: PUSH2 0x106c
00001068: PUSH2 0x0def
0000106b: JUMP
0000106c: JUMPDEST
0000106d: DUP6
0000106e: CALLDATALOAD
0000106f: PUSH2 0x1077
00001072: DUP2
00001073: PUSH2 0x0d88
00001076: JUMP
00001077: JUMPDEST
00001078: DUP2
00001079: MSTORE
0000107a: DUP6
0000107b: DUP9
0000107c: ADD
0000107d: CALLDATALOAD
0000107e: DUP9
0000107f: DUP3
00001080: ADD
00001081: MSTORE
00001082: DUP3
00001083: MSTORE
00001084: SWAP4
00001085: DUP6
00001086: ADD
00001087: SWAP4
00001088: SWAP1
00001089: DUP7
0000108a: ADD
0000108b: SWAP1
0000108c: PUSH2 0x104c
0000108f: JUMP
00001090: JUMPDEST
00001091: SWAP8
00001092: POP
00001093: POP
00001094: POP
00001095: PUSH1 0x60
00001097: DUP10
00001098: ADD
00001099: CALLDATALOAD
0000109a: SWAP4
0000109b: POP
0000109c: DUP1
0000109d: DUP5
0000109e: GT
0000109f: ISZERO
000010a0: PUSH2 0x10a8
000010a3: JUMPI
000010a4: PUSH1 0x00
000010a6: DUP1
000010a7: REVERT
000010a8: JUMPDEST
000010a9: POP
000010aa: POP
000010ab: POP
000010ac: PUSH2 0x0f98
000010af: DUP8
000010b0: DUP3
000010b1: DUP9
000010b2: ADD
000010b3: PUSH2 0x0e49
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x00
000010ba: DUP1
000010bb: PUSH1 0x00
000010bd: DUP1
000010be: PUSH1 0x00
000010c0: PUSH1 0xa0
000010c2: DUP7
000010c3: DUP9
000010c4: SUB
000010c5: SLT
000010c6: ISZERO
000010c7: PUSH2 0x10cf
000010ca: JUMPI
000010cb: PUSH1 0x00
000010cd: DUP1
000010ce: REVERT
000010cf: JUMPDEST
000010d0: DUP6
000010d1: CALLDATALOAD
000010d2: PUSH2 0x10da
000010d5: DUP2
000010d6: PUSH2 0x0d88
000010d9: JUMP
000010da: JUMPDEST
000010db: SWAP5
000010dc: POP
000010dd: PUSH1 0x20
000010df: DUP7
000010e0: ADD
000010e1: CALLDATALOAD
000010e2: PUSH2 0x10ea
000010e5: DUP2
000010e6: PUSH2 0x0d88
000010e9: JUMP
000010ea: JUMPDEST
000010eb: SWAP4
000010ec: POP
000010ed: PUSH1 0x40
000010ef: DUP7
000010f0: ADD
000010f1: CALLDATALOAD
000010f2: SWAP3
000010f3: POP
000010f4: PUSH1 0x60
000010f6: DUP7
000010f7: ADD
000010f8: CALLDATALOAD
000010f9: PUSH8 0xffffffffffffffff
00001102: DUP2
00001103: GT
00001104: ISZERO
00001105: PUSH2 0x110d
00001108: JUMPI
00001109: PUSH1 0x00
0000110b: DUP1
0000110c: REVERT
0000110d: JUMPDEST
0000110e: PUSH2 0x1119
00001111: DUP9
00001112: DUP3
00001113: DUP10
00001114: ADD
00001115: PUSH2 0x0e49
00001118: JUMP
00001119: JUMPDEST
0000111a: SWAP6
0000111b: SWAP9
0000111c: SWAP5
0000111d: SWAP8
0000111e: POP
0000111f: SWAP3
00001120: SWAP6
00001121: PUSH1 0x80
00001123: ADD
00001124: CALLDATALOAD
00001125: SWAP4
00001126: SWAP3
00001127: POP
00001128: POP
00001129: POP
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH1 0x20
0000112e: DUP1
0000112f: DUP3
00001130: MSTORE
00001131: PUSH1 0x1f
00001133: SWAP1
00001134: DUP3
00001135: ADD
00001136: MSTORE
00001137: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001158: PUSH1 0x40
0000115a: DUP3
0000115b: ADD
0000115c: MSTORE
0000115d: PUSH1 0x60
0000115f: ADD
00001160: SWAP1
00001161: JUMP
00001162: JUMPDEST
00001163: PUSH1 0x00
00001165: JUMPDEST
00001166: DUP4
00001167: DUP2
00001168: LT
00001169: ISZERO
0000116a: PUSH2 0x117d
0000116d: JUMPI
0000116e: DUP2
0000116f: DUP2
00001170: ADD
00001171: MLOAD
00001172: DUP4
00001173: DUP3
00001174: ADD
00001175: MSTORE
00001176: PUSH1 0x20
00001178: ADD
00001179: PUSH2 0x1165
0000117c: JUMP
0000117d: JUMPDEST
0000117e: DUP4
0000117f: DUP2
00001180: GT
00001181: ISZERO
00001182: PUSH2 0x118c
00001185: JUMPI
00001186: PUSH1 0x00
00001188: DUP5
00001189: DUP5
0000118a: ADD
0000118b: MSTORE
0000118c: JUMPDEST
0000118d: POP
0000118e: POP
0000118f: POP
00001190: POP
00001191: JUMP
00001192: JUMPDEST
00001193: PUSH1 0x00
00001195: DUP2
00001196: MLOAD
00001197: DUP1
00001198: DUP5
00001199: MSTORE
0000119a: PUSH2 0x11aa
0000119d: DUP2
0000119e: PUSH1 0x20
000011a0: DUP7
000011a1: ADD
000011a2: PUSH1 0x20
000011a4: DUP7
000011a5: ADD
000011a6: PUSH2 0x1162
000011a9: JUMP
000011aa: JUMPDEST
000011ab: PUSH1 0x1f
000011ad: ADD
000011ae: PUSH1 0x1f
000011b0: NOT
000011b1: AND
000011b2: SWAP3
000011b3: SWAP1
000011b4: SWAP3
000011b5: ADD
000011b6: PUSH1 0x20
000011b8: ADD
000011b9: SWAP3
000011ba: SWAP2
000011bb: POP
000011bc: POP
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH1 0x01
000011c1: DUP1
000011c2: PUSH1 0xa0
000011c4: SHL
000011c5: SUB
000011c6: DUP5
000011c7: AND
000011c8: DUP2
000011c9: MSTORE
000011ca: DUP3
000011cb: PUSH1 0x20
000011cd: DUP3
000011ce: ADD
000011cf: MSTORE
000011d0: PUSH1 0x60
000011d2: PUSH1 0x40
000011d4: DUP3
000011d5: ADD
000011d6: MSTORE
000011d7: PUSH1 0x00
000011d9: PUSH2 0x11e5
000011dc: PUSH1 0x60
000011de: DUP4
000011df: ADD
000011e0: DUP5
000011e1: PUSH2 0x1192
000011e4: JUMP
000011e5: JUMPDEST
000011e6: SWAP6
000011e7: SWAP5
000011e8: POP
000011e9: POP
000011ea: POP
000011eb: POP
000011ec: POP
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x00
000011f1: PUSH1 0x20
000011f3: DUP3
000011f4: DUP5
000011f5: SUB
000011f6: SLT
000011f7: ISZERO
000011f8: PUSH2 0x1200
000011fb: JUMPI
000011fc: PUSH1 0x00
000011fe: DUP1
000011ff: REVERT
00001200: JUMPDEST
00001201: DUP2
00001202: MLOAD
00001203: DUP1
00001204: ISZERO
00001205: ISZERO
00001206: DUP2
00001207: EQ
00001208: PUSH2 0x1210
0000120b: JUMPI
0000120c: PUSH1 0x00
0000120e: DUP1
0000120f: REVERT
00001210: JUMPDEST
00001211: SWAP4
00001212: SWAP3
00001213: POP
00001214: POP
00001215: POP
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH4 0x4e487b71
0000121d: PUSH1 0xe0
0000121f: SHL
00001220: PUSH1 0x00
00001222: MSTORE
00001223: PUSH1 0x11
00001225: PUSH1 0x04
00001227: MSTORE
00001228: PUSH1 0x24
0000122a: PUSH1 0x00
0000122c: REVERT
0000122d: JUMPDEST
0000122e: PUSH1 0x00
00001230: DUP3
00001231: NOT
00001232: DUP3
00001233: GT
00001234: ISZERO
00001235: PUSH2 0x1240
00001238: JUMPI
00001239: PUSH2 0x1240
0000123c: PUSH2 0x1217
0000123f: JUMP
00001240: JUMPDEST
00001241: POP
00001242: ADD
00001243: SWAP1
00001244: JUMP
00001245: JUMPDEST
00001246: DUP3
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x40
0000124b: PUSH1 0x20
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: PUSH1 0x00
00001252: PUSH2 0x125e
00001255: PUSH1 0x40
00001257: DUP4
00001258: ADD
00001259: DUP5
0000125a: PUSH2 0x1192
0000125d: JUMP
0000125e: JUMPDEST
0000125f: SWAP5
00001260: SWAP4
00001261: POP
00001262: POP
00001263: POP
00001264: POP
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH4 0x4e487b71
0000126c: PUSH1 0xe0
0000126e: SHL
0000126f: PUSH1 0x00
00001271: MSTORE
00001272: PUSH1 0x32
00001274: PUSH1 0x04
00001276: MSTORE
00001277: PUSH1 0x24
00001279: PUSH1 0x00
0000127b: REVERT
0000127c: JUMPDEST
0000127d: PUSH1 0x00
0000127f: PUSH1 0x01
00001281: DUP3
00001282: ADD
00001283: PUSH2 0x128e
00001286: JUMPI
00001287: PUSH2 0x128e
0000128a: PUSH2 0x1217
0000128d: JUMP
0000128e: JUMPDEST
0000128f: POP
00001290: PUSH1 0x01
00001292: ADD
00001293: SWAP1
00001294: JUMP
00001295: JUMPDEST
00001296: PUSH1 0x40
00001298: DUP1
00001299: DUP3
0000129a: MSTORE
0000129b: DUP4
0000129c: MLOAD
0000129d: DUP3
0000129e: DUP3
0000129f: ADD
000012a0: DUP2
000012a1: SWAP1
000012a2: MSTORE
000012a3: PUSH1 0x00
000012a5: SWAP2
000012a6: SWAP1
000012a7: PUSH1 0x20
000012a9: SWAP1
000012aa: PUSH1 0x60
000012ac: DUP6
000012ad: ADD
000012ae: SWAP1
000012af: DUP3
000012b0: DUP9
000012b1: ADD
000012b2: DUP6
000012b3: JUMPDEST
000012b4: DUP3
000012b5: DUP2
000012b6: LT
000012b7: ISZERO
000012b8: PUSH2 0x12e1
000012bb: JUMPI
000012bc: DUP2
000012bd: MLOAD
000012be: DUP1
000012bf: MLOAD
000012c0: PUSH1 0x01
000012c2: PUSH1 0x01
000012c4: PUSH1 0xa0
000012c6: SHL
000012c7: SUB
000012c8: AND
000012c9: DUP6
000012ca: MSTORE
000012cb: DUP6
000012cc: ADD
000012cd: MLOAD
000012ce: DUP6
000012cf: DUP6
000012d0: ADD
000012d1: MSTORE
000012d2: SWAP3
000012d3: DUP6
000012d4: ADD
000012d5: SWAP3
000012d6: SWAP1
000012d7: DUP5
000012d8: ADD
000012d9: SWAP1
000012da: PUSH1 0x01
000012dc: ADD
000012dd: PUSH2 0x12b3
000012e0: JUMP
000012e1: JUMPDEST
000012e2: POP
000012e3: POP
000012e4: POP
000012e5: DUP5
000012e6: DUP2
000012e7: SUB
000012e8: DUP3
000012e9: DUP7
000012ea: ADD
000012eb: MSTORE
000012ec: PUSH2 0x12f5
000012ef: DUP2
000012f0: DUP8
000012f1: PUSH2 0x1192
000012f4: JUMP
000012f5: JUMPDEST
000012f6: SWAP8
000012f7: SWAP7
000012f8: POP
000012f9: POP
000012fa: POP
000012fb: POP
000012fc: POP
000012fd: POP
000012fe: POP
000012ff: JUMP
00001300: JUMPDEST
00001301: PUSH1 0x00
00001303: DUP3
00001304: MLOAD
00001305: PUSH2 0x1312
00001308: DUP2
00001309: DUP5
0000130a: PUSH1 0x20
0000130c: DUP8
0000130d: ADD
0000130e: PUSH2 0x1162
00001311: JUMP
00001312: JUMPDEST
00001313: SWAP2
00001314: SWAP1
00001315: SWAP2
00001316: ADD
00001317: SWAP3
00001318: SWAP2
00001319: POP
0000131a: POP
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x01
0000131f: PUSH1 0x01
00001321: PUSH1 0xa0
00001323: SHL
00001324: SUB
00001325: DUP8
00001326: DUP2
00001327: AND
00001328: DUP3
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: DUP3
0000132d: ADD
0000132e: DUP8
0000132f: SWAP1
00001330: MSTORE
00001331: DUP6
00001332: DUP2
00001333: AND
00001334: PUSH1 0x40
00001336: DUP4
00001337: ADD
00001338: MSTORE
00001339: DUP5
0000133a: AND
0000133b: PUSH1 0x60
0000133d: DUP3
0000133e: ADD
0000133f: MSTORE
00001340: PUSH1 0x80
00001342: DUP2
00001343: ADD
00001344: DUP4
00001345: SWAP1
00001346: MSTORE
00001347: PUSH1 0xc0
00001349: PUSH1 0xa0
0000134b: DUP3
0000134c: ADD
0000134d: DUP2
0000134e: SWAP1
0000134f: MSTORE
00001350: PUSH1 0x00
00001352: SWAP1
00001353: PUSH2 0x135e
00001356: SWAP1
00001357: DUP4
00001358: ADD
00001359: DUP5
0000135a: PUSH2 0x1192
0000135d: JUMP
0000135e: JUMPDEST
0000135f: SWAP9
00001360: SWAP8
00001361: POP
00001362: POP
00001363: POP
00001364: POP
00001365: POP
00001366: POP
00001367: POP
00001368: POP
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH1 0x00
0000136d: DUP3
0000136e: DUP3
0000136f: LT
00001370: ISZERO
00001371: PUSH2 0x137c
00001374: JUMPI
00001375: PUSH2 0x137c
00001378: PUSH2 0x1217
0000137b: JUMP
0000137c: JUMPDEST
0000137d: POP
0000137e: SUB
0000137f: SWAP1
00001380: JUMP
00001381: JUMPDEST
00001382: PUSH1 0x01
00001384: PUSH1 0x01
00001386: PUSH1 0xa0
00001388: SHL
00001389: SUB
0000138a: DUP7
0000138b: DUP2
0000138c: AND
0000138d: DUP3
0000138e: MSTORE
0000138f: DUP6
00001390: AND
00001391: PUSH1 0x20
00001393: DUP3
00001394: ADD
00001395: MSTORE
00001396: PUSH1 0x40
00001398: DUP2
00001399: ADD
0000139a: DUP5
0000139b: SWAP1
0000139c: MSTORE
0000139d: PUSH1 0xa0
0000139f: PUSH1 0x60
000013a1: DUP3
000013a2: ADD
000013a3: DUP2
000013a4: SWAP1
000013a5: MSTORE
000013a6: PUSH1 0x00
000013a8: SWAP1
000013a9: PUSH2 0x13b4
000013ac: SWAP1
000013ad: DUP4
000013ae: ADD
000013af: DUP6
000013b0: PUSH2 0x1192
000013b3: JUMP
000013b4: JUMPDEST
000013b5: SWAP1
000013b6: POP
000013b7: DUP3
000013b8: PUSH1 0x80
000013ba: DUP4
000013bb: ADD
000013bc: MSTORE
000013bd: SWAP7
000013be: SWAP6
000013bf: POP
000013c0: POP
000013c1: POP
000013c2: POP
000013c3: POP
000013c4: POP
000013c5: JUMP
000013c6: JUMPDEST
000013c7: PUSH1 0x00
000013c9: PUSH1 0x20
000013cb: DUP3
000013cc: DUP5
000013cd: SUB
000013ce: SLT
000013cf: ISZERO
000013d0: PUSH2 0x13d8
000013d3: JUMPI
000013d4: PUSH1 0x00
000013d6: DUP1
000013d7: REVERT
000013d8: JUMPDEST
000013d9: POP
000013da: MLOAD
000013db: SWAP2
000013dc: SWAP1
000013dd: POP
000013de: JUMP
000013df: INVALID
000013e0: LOG2
000013e1: PUSH5 0x6970667358
000013e7: UNKNOWN(0x22)
000013e8: SLT
000013e9: KECCAK256
000013ea: UNKNOWN(0x2C)
000013eb: INVALID
000013ec: SWAP10
000013ed: BYTE
000013ee: UNKNOWN(0xF8)
000013ef: UNKNOWN(0xD3)
000013f0: DUP16
000013f1: LOG2
000013f2: UNKNOWN(0xAC)
000013f3: OR
000013f4: DIV
000013f5: UNKNOWN(0x29)
000013f6: PUSH30 0x010d8644417c5713ec84f255506fc12400514d64736f6c634300080d0033