Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-_ipmvq__
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c99-7ee9-7661-b512-3f042a880f4a
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

{
    "codex": {
        "ran_at": "2026-04-05T07:44:18.279450+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 10962,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0xe0
00000007: PUSH1 0x02
00000009: EXP
0000000a: PUSH1 0x00
0000000c: CALLDATALOAD
0000000d: DIV
0000000e: PUSH4 0x252a1437
00000013: DUP2
00000014: EQ
00000015: PUSH2 0x0047
00000018: JUMPI
00000019: DUP1
0000001a: PUSH4 0x27dc297e
0000001f: EQ
00000020: PUSH2 0x0198
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x38bbfa50
0000002a: EQ
0000002b: PUSH2 0x024f
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x8ee93cf3
00000035: EQ
00000036: PUSH2 0x02e4
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0xb10504ff
00000040: EQ
00000041: PUSH2 0x051d
00000044: JUMPI
00000045: JUMPDEST
00000046: STOP
00000047: JUMPDEST
00000048: PUSH2 0x060e
0000004b: PUSH1 0x04
0000004d: DUP1
0000004e: DUP1
0000004f: CALLDATALOAD
00000050: SWAP1
00000051: PUSH1 0x20
00000053: ADD
00000054: SWAP1
00000055: DUP3
00000056: ADD
00000057: DUP1
00000058: CALLDATALOAD
00000059: SWAP1
0000005a: PUSH1 0x20
0000005c: ADD
0000005d: SWAP2
0000005e: SWAP2
0000005f: SWAP1
00000060: DUP1
00000061: DUP1
00000062: PUSH1 0x1f
00000064: ADD
00000065: PUSH1 0x20
00000067: DUP1
00000068: SWAP2
00000069: DIV
0000006a: MUL
0000006b: PUSH1 0x20
0000006d: ADD
0000006e: PUSH1 0x40
00000070: MLOAD
00000071: SWAP1
00000072: DUP2
00000073: ADD
00000074: PUSH1 0x40
00000076: MSTORE
00000077: DUP1
00000078: SWAP4
00000079: SWAP3
0000007a: SWAP2
0000007b: SWAP1
0000007c: DUP2
0000007d: DUP2
0000007e: MSTORE
0000007f: PUSH1 0x20
00000081: ADD
00000082: DUP4
00000083: DUP4
00000084: DUP1
00000085: DUP3
00000086: DUP5
00000087: CALLDATACOPY
00000088: POP
00000089: POP
0000008a: PUSH1 0x40
0000008c: DUP1
0000008d: MLOAD
0000008e: PUSH1 0x20
00000090: DUP9
00000091: CALLDATALOAD
00000092: DUP1
00000093: DUP12
00000094: ADD
00000095: CALLDATALOAD
00000096: PUSH1 0x1f
00000098: DUP2
00000099: ADD
0000009a: DUP4
0000009b: SWAP1
0000009c: DIV
0000009d: DUP4
0000009e: MUL
0000009f: DUP5
000000a0: ADD
000000a1: DUP4
000000a2: ADD
000000a3: SWAP1
000000a4: SWAP5
000000a5: MSTORE
000000a6: DUP4
000000a7: DUP4
000000a8: MSTORE
000000a9: SWAP8
000000aa: SWAP10
000000ab: SWAP9
000000ac: PUSH1 0x44
000000ae: SWAP9
000000af: SWAP3
000000b0: SWAP8
000000b1: POP
000000b2: SWAP2
000000b3: SWAP1
000000b4: SWAP2
000000b5: ADD
000000b6: SWAP5
000000b7: POP
000000b8: SWAP1
000000b9: SWAP3
000000ba: POP
000000bb: DUP3
000000bc: SWAP2
000000bd: POP
000000be: DUP5
000000bf: ADD
000000c0: DUP4
000000c1: DUP3
000000c2: DUP1
000000c3: DUP3
000000c4: DUP5
000000c5: CALLDATACOPY
000000c6: POP
000000c7: SWAP5
000000c8: SWAP7
000000c9: POP
000000ca: POP
000000cb: POP
000000cc: POP
000000cd: POP
000000ce: POP
000000cf: POP
000000d0: JUMPDEST
000000d1: PUSH1 0x40
000000d3: DUP1
000000d4: MLOAD
000000d5: PUSH1 0x20
000000d7: DUP2
000000d8: DUP2
000000d9: ADD
000000da: DUP4
000000db: MSTORE
000000dc: PUSH1 0x00
000000de: DUP1
000000df: DUP4
000000e0: MSTORE
000000e1: DUP4
000000e2: MLOAD
000000e3: DUP1
000000e4: DUP4
000000e5: ADD
000000e6: DUP6
000000e7: MSTORE
000000e8: DUP2
000000e9: SWAP1
000000ea: MSTORE
000000eb: DUP4
000000ec: MLOAD
000000ed: DUP1
000000ee: DUP4
000000ef: ADD
000000f0: DUP6
000000f1: MSTORE
000000f2: DUP2
000000f3: DUP2
000000f4: MSTORE
000000f5: DUP5
000000f6: MLOAD
000000f7: DUP1
000000f8: DUP5
000000f9: ADD
000000fa: DUP7
000000fb: MSTORE
000000fc: DUP3
000000fd: DUP2
000000fe: MSTORE
000000ff: DUP6
00000100: MLOAD
00000101: DUP1
00000102: DUP6
00000103: ADD
00000104: DUP8
00000105: MSTORE
00000106: SWAP3
00000107: DUP4
00000108: MSTORE
00000109: DUP6
0000010a: MLOAD
0000010b: DUP1
0000010c: DUP8
0000010d: ADD
0000010e: DUP8
0000010f: MSTORE
00000110: PUSH1 0x0d
00000112: DUP2
00000113: MSTORE
00000114: PUSH32 0x222c20226c696e6b22203a202200000000000000000000000000000000000000
00000135: DUP2
00000136: DUP7
00000137: ADD
00000138: MSTORE
00000139: DUP7
0000013a: MLOAD
0000013b: PUSH1 0x09
0000013d: DUP1
0000013e: SLOAD
0000013f: PUSH1 0x02
00000141: PUSH1 0x01
00000143: DUP3
00000144: AND
00000145: ISZERO
00000146: PUSH2 0x0100
00000149: MUL
0000014a: PUSH1 0x00
0000014c: NOT
0000014d: ADD
0000014e: SWAP1
0000014f: SWAP2
00000150: AND
00000151: DIV
00000152: PUSH1 0x1f
00000154: DUP2
00000155: ADD
00000156: DUP9
00000157: SWAP1
00000158: DIV
00000159: DUP9
0000015a: MUL
0000015b: DUP4
0000015c: ADD
0000015d: DUP9
0000015e: ADD
0000015f: SWAP1
00000160: SWAP10
00000161: MSTORE
00000162: DUP9
00000163: DUP3
00000164: MSTORE
00000165: SWAP7
00000166: SWAP8
00000167: SWAP2
00000168: SWAP7
00000169: SWAP4
0000016a: SWAP6
0000016b: SWAP3
0000016c: SWAP5
0000016d: SWAP4
0000016e: SWAP1
0000016f: SWAP3
00000170: SWAP1
00000171: SWAP2
00000172: SWAP1
00000173: DUP4
00000174: ADD
00000175: DUP3
00000176: DUP3
00000177: DUP1
00000178: ISZERO
00000179: PUSH2 0x0bbd
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH1 0x1f
00000180: LT
00000181: PUSH2 0x0b92
00000184: JUMPI
00000185: PUSH2 0x0100
00000188: DUP1
00000189: DUP4
0000018a: SLOAD
0000018b: DIV
0000018c: MUL
0000018d: DUP4
0000018e: MSTORE
0000018f: SWAP2
00000190: PUSH1 0x20
00000192: ADD
00000193: SWAP2
00000194: PUSH2 0x0bbd
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: DUP1
0000019c: MLOAD
0000019d: PUSH1 0x20
0000019f: PUSH1 0x24
000001a1: DUP1
000001a2: CALLDATALOAD
000001a3: PUSH1 0x04
000001a5: DUP2
000001a6: DUP2
000001a7: ADD
000001a8: CALLDATALOAD
000001a9: PUSH1 0x1f
000001ab: DUP2
000001ac: ADD
000001ad: DUP6
000001ae: SWAP1
000001af: DIV
000001b0: DUP6
000001b1: MUL
000001b2: DUP7
000001b3: ADD
000001b4: DUP6
000001b5: ADD
000001b6: SWAP1
000001b7: SWAP7
000001b8: MSTORE
000001b9: DUP6
000001ba: DUP6
000001bb: MSTORE
000001bc: PUSH2 0x0045
000001bf: SWAP6
000001c0: DUP2
000001c1: CALLDATALOAD
000001c2: SWAP6
000001c3: SWAP2
000001c4: SWAP5
000001c5: PUSH1 0x44
000001c7: SWAP5
000001c8: SWAP3
000001c9: SWAP4
000001ca: SWAP1
000001cb: SWAP3
000001cc: ADD
000001cd: SWAP2
000001ce: DUP2
000001cf: SWAP1
000001d0: DUP5
000001d1: ADD
000001d2: DUP4
000001d3: DUP3
000001d4: DUP1
000001d5: DUP3
000001d6: DUP5
000001d7: CALLDATACOPY
000001d8: POP
000001d9: SWAP5
000001da: SWAP7
000001db: POP
000001dc: POP
000001dd: POP
000001de: POP
000001df: POP
000001e0: POP
000001e1: POP
000001e2: PUSH2 0x0def
000001e5: JUMPDEST
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: SLOAD
000001ea: PUSH1 0x40
000001ec: DUP1
000001ed: MLOAD
000001ee: PUSH1 0xe0
000001f0: PUSH1 0x02
000001f2: EXP
000001f3: PUSH4 0x38cc4831
000001f8: MUL
000001f9: DUP2
000001fa: MSTORE
000001fb: SWAP1
000001fc: MLOAD
000001fd: DUP4
000001fe: SWAP3
000001ff: PUSH1 0x01
00000201: PUSH1 0xa0
00000203: PUSH1 0x02
00000205: EXP
00000206: SUB
00000207: AND
00000208: SWAP2
00000209: PUSH4 0x38cc4831
0000020e: SWAP2
0000020f: PUSH1 0x04
00000211: DUP3
00000212: DUP2
00000213: ADD
00000214: SWAP3
00000215: PUSH1 0x20
00000217: SWAP3
00000218: SWAP2
00000219: SWAP1
0000021a: DUP3
0000021b: SWAP1
0000021c: SUB
0000021d: ADD
0000021e: DUP2
0000021f: DUP8
00000220: DUP8
00000221: PUSH2 0x61da
00000224: GAS
00000225: SUB
00000226: CALL
00000227: ISZERO
00000228: PUSH2 0x0002
0000022b: JUMPI
0000022c: POP
0000022d: POP
0000022e: PUSH1 0x40
00000230: MLOAD
00000231: MLOAD
00000232: SWAP2
00000233: POP
00000234: POP
00000235: PUSH1 0x01
00000237: PUSH1 0xa0
00000239: PUSH1 0x02
0000023b: EXP
0000023c: SUB
0000023d: DUP2
0000023e: AND
0000023f: DUP3
00000240: EQ
00000241: ISZERO
00000242: PUSH2 0x1146
00000245: JUMPI
00000246: PUSH2 0x10ee
00000249: PUSH1 0x00
0000024b: PUSH2 0x0b45
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH1 0x40
00000252: DUP1
00000253: MLOAD
00000254: PUSH1 0x20
00000256: PUSH1 0x24
00000258: DUP1
00000259: CALLDATALOAD
0000025a: PUSH1 0x04
0000025c: DUP2
0000025d: DUP2
0000025e: ADD
0000025f: CALLDATALOAD
00000260: PUSH1 0x1f
00000262: DUP2
00000263: ADD
00000264: DUP6
00000265: SWAP1
00000266: DIV
00000267: DUP6
00000268: MUL
00000269: DUP7
0000026a: ADD
0000026b: DUP6
0000026c: ADD
0000026d: SWAP1
0000026e: SWAP7
0000026f: MSTORE
00000270: DUP6
00000271: DUP6
00000272: MSTORE
00000273: PUSH2 0x0045
00000276: SWAP6
00000277: DUP2
00000278: CALLDATALOAD
00000279: SWAP6
0000027a: SWAP2
0000027b: SWAP5
0000027c: PUSH1 0x44
0000027e: SWAP5
0000027f: SWAP3
00000280: SWAP4
00000281: SWAP1
00000282: SWAP3
00000283: ADD
00000284: SWAP2
00000285: DUP2
00000286: SWAP1
00000287: DUP5
00000288: ADD
00000289: DUP4
0000028a: DUP3
0000028b: DUP1
0000028c: DUP3
0000028d: DUP5
0000028e: CALLDATACOPY
0000028f: POP
00000290: POP
00000291: PUSH1 0x40
00000293: DUP1
00000294: MLOAD
00000295: PUSH1 0x20
00000297: SWAP8
00000298: CALLDATALOAD
00000299: DUP1
0000029a: DUP11
0000029b: ADD
0000029c: CALLDATALOAD
0000029d: PUSH1 0x1f
0000029f: DUP2
000002a0: ADD
000002a1: DUP11
000002a2: SWAP1
000002a3: DIV
000002a4: DUP11
000002a5: MUL
000002a6: DUP4
000002a7: ADD
000002a8: DUP11
000002a9: ADD
000002aa: SWAP1
000002ab: SWAP4
000002ac: MSTORE
000002ad: DUP3
000002ae: DUP3
000002af: MSTORE
000002b0: SWAP7
000002b1: SWAP9
000002b2: SWAP8
000002b3: PUSH1 0x64
000002b5: SWAP8
000002b6: SWAP2
000002b7: SWAP7
000002b8: POP
000002b9: PUSH1 0x24
000002bb: SWAP2
000002bc: SWAP1
000002bd: SWAP2
000002be: ADD
000002bf: SWAP5
000002c0: POP
000002c1: SWAP1
000002c2: SWAP3
000002c3: POP
000002c4: DUP3
000002c5: SWAP2
000002c6: POP
000002c7: DUP5
000002c8: ADD
000002c9: DUP4
000002ca: DUP3
000002cb: DUP1
000002cc: DUP3
000002cd: DUP5
000002ce: CALLDATACOPY
000002cf: POP
000002d0: SWAP5
000002d1: SWAP7
000002d2: POP
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: POP
000002d7: POP
000002d8: POP
000002d9: PUSH1 0x00
000002db: PUSH1 0x00
000002dd: PUSH2 0x0ce9
000002e0: PUSH2 0x01e5
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x0045
000002e8: PUSH1 0x04
000002ea: DUP1
000002eb: DUP1
000002ec: CALLDATALOAD
000002ed: SWAP1
000002ee: PUSH1 0x20
000002f0: ADD
000002f1: SWAP1
000002f2: DUP3
000002f3: ADD
000002f4: DUP1
000002f5: CALLDATALOAD
000002f6: SWAP1
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: SWAP2
000002fb: SWAP2
000002fc: SWAP1
000002fd: DUP1
000002fe: DUP1
000002ff: PUSH1 0x1f
00000301: ADD
00000302: PUSH1 0x20
00000304: DUP1
00000305: SWAP2
00000306: DIV
00000307: MUL
00000308: PUSH1 0x20
0000030a: ADD
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: SWAP1
0000030f: DUP2
00000310: ADD
00000311: PUSH1 0x40
00000313: MSTORE
00000314: DUP1
00000315: SWAP4
00000316: SWAP3
00000317: SWAP2
00000318: SWAP1
00000319: DUP2
0000031a: DUP2
0000031b: MSTORE
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: DUP4
00000320: DUP4
00000321: DUP1
00000322: DUP3
00000323: DUP5
00000324: CALLDATACOPY
00000325: POP
00000326: SWAP5
00000327: SWAP7
00000328: POP
00000329: POP
0000032a: POP
0000032b: POP
0000032c: POP
0000032d: POP
0000032e: POP
0000032f: PUSH1 0x20
00000331: PUSH1 0x40
00000333: MLOAD
00000334: SWAP1
00000335: DUP2
00000336: ADD
00000337: PUSH1 0x40
00000339: MSTORE
0000033a: DUP1
0000033b: PUSH1 0x00
0000033d: DUP2
0000033e: MSTORE
0000033f: PUSH1 0x20
00000341: ADD
00000342: POP
00000343: PUSH1 0x20
00000345: PUSH1 0x40
00000347: MLOAD
00000348: SWAP1
00000349: DUP2
0000034a: ADD
0000034b: PUSH1 0x40
0000034d: MSTORE
0000034e: DUP1
0000034f: PUSH1 0x00
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: POP
00000357: PUSH1 0x20
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: SWAP1
0000035d: DUP2
0000035e: ADD
0000035f: PUSH1 0x40
00000361: MSTORE
00000362: DUP1
00000363: PUSH1 0x00
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x20
00000369: ADD
0000036a: POP
0000036b: PUSH1 0x20
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: SWAP1
00000371: DUP2
00000372: ADD
00000373: PUSH1 0x40
00000375: MSTORE
00000376: DUP1
00000377: PUSH1 0x00
00000379: DUP2
0000037a: MSTORE
0000037b: PUSH1 0x20
0000037d: ADD
0000037e: POP
0000037f: PUSH1 0x20
00000381: PUSH1 0x40
00000383: MLOAD
00000384: SWAP1
00000385: DUP2
00000386: ADD
00000387: PUSH1 0x40
00000389: MSTORE
0000038a: DUP1
0000038b: PUSH1 0x00
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: ADD
00000392: POP
00000393: PUSH1 0x20
00000395: PUSH1 0x40
00000397: MLOAD
00000398: SWAP1
00000399: DUP2
0000039a: ADD
0000039b: PUSH1 0x40
0000039d: MSTORE
0000039e: DUP1
0000039f: PUSH1 0x00
000003a1: DUP2
000003a2: MSTORE
000003a3: PUSH1 0x20
000003a5: ADD
000003a6: POP
000003a7: PUSH1 0x20
000003a9: PUSH1 0x40
000003ab: MLOAD
000003ac: SWAP1
000003ad: DUP2
000003ae: ADD
000003af: PUSH1 0x40
000003b1: MSTORE
000003b2: DUP1
000003b3: PUSH1 0x00
000003b5: DUP2
000003b6: MSTORE
000003b7: PUSH1 0x20
000003b9: ADD
000003ba: POP
000003bb: PUSH1 0x20
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: SWAP1
000003c1: DUP2
000003c2: ADD
000003c3: PUSH1 0x40
000003c5: MSTORE
000003c6: DUP1
000003c7: PUSH1 0x00
000003c9: DUP2
000003ca: MSTORE
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: POP
000003cf: PUSH1 0x20
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: SWAP1
000003d5: DUP2
000003d6: ADD
000003d7: PUSH1 0x40
000003d9: MSTORE
000003da: DUP1
000003db: PUSH1 0x00
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: ADD
000003e2: POP
000003e3: PUSH1 0x20
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: SWAP1
000003e9: DUP2
000003ea: ADD
000003eb: PUSH1 0x40
000003ed: MSTORE
000003ee: DUP1
000003ef: PUSH1 0x00
000003f1: DUP2
000003f2: MSTORE
000003f3: PUSH1 0x20
000003f5: ADD
000003f6: POP
000003f7: PUSH1 0x20
000003f9: PUSH1 0x40
000003fb: MLOAD
000003fc: SWAP1
000003fd: DUP2
000003fe: ADD
000003ff: PUSH1 0x40
00000401: MSTORE
00000402: DUP1
00000403: PUSH1 0x00
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: POP
0000040b: PUSH1 0x20
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: SWAP1
00000411: DUP2
00000412: ADD
00000413: PUSH1 0x40
00000415: MSTORE
00000416: DUP1
00000417: PUSH1 0x00
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: POP
0000041f: PUSH1 0x20
00000421: PUSH1 0x40
00000423: MLOAD
00000424: SWAP1
00000425: DUP2
00000426: ADD
00000427: PUSH1 0x40
00000429: MSTORE
0000042a: DUP1
0000042b: PUSH1 0x00
0000042d: DUP2
0000042e: MSTORE
0000042f: PUSH1 0x20
00000431: ADD
00000432: POP
00000433: PUSH1 0x00
00000435: PUSH1 0x40
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: SWAP1
0000043b: DUP2
0000043c: ADD
0000043d: PUSH1 0x40
0000043f: MSTORE
00000440: DUP1
00000441: PUSH1 0x13
00000443: DUP2
00000444: MSTORE
00000445: PUSH1 0x20
00000447: ADD
00000448: PUSH32 0x7b226163636573735f746f6b656e22203a202200000000000000000000000000
00000469: DUP2
0000046a: MSTORE
0000046b: PUSH1 0x20
0000046d: ADD
0000046e: POP
0000046f: SWAP14
00000470: POP
00000471: DUP15
00000472: SWAP13
00000473: POP
00000474: PUSH1 0x40
00000476: PUSH1 0x40
00000478: MLOAD
00000479: SWAP1
0000047a: DUP2
0000047b: ADD
0000047c: PUSH1 0x40
0000047e: MSTORE
0000047f: DUP1
00000480: PUSH1 0x0d
00000482: DUP2
00000483: MSTORE
00000484: PUSH1 0x20
00000486: ADD
00000487: PUSH32 0x222c20226e616d6522203a202200000000000000000000000000000000000000
000004a8: DUP2
000004a9: MSTORE
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: POP
000004ae: SWAP12
000004af: POP
000004b0: PUSH1 0x05
000004b2: PUSH1 0x00
000004b4: POP
000004b5: DUP1
000004b6: SLOAD
000004b7: PUSH1 0x01
000004b9: DUP2
000004ba: PUSH1 0x01
000004bc: AND
000004bd: ISZERO
000004be: PUSH2 0x0100
000004c1: MUL
000004c2: SUB
000004c3: AND
000004c4: PUSH1 0x02
000004c6: SWAP1
000004c7: DIV
000004c8: DUP1
000004c9: PUSH1 0x1f
000004cb: ADD
000004cc: PUSH1 0x20
000004ce: DUP1
000004cf: SWAP2
000004d0: DIV
000004d1: MUL
000004d2: PUSH1 0x20
000004d4: ADD
000004d5: PUSH1 0x40
000004d7: MLOAD
000004d8: SWAP1
000004d9: DUP2
000004da: ADD
000004db: PUSH1 0x40
000004dd: MSTORE
000004de: DUP1
000004df: SWAP3
000004e0: SWAP2
000004e1: SWAP1
000004e2: DUP2
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: DUP3
000004e9: DUP1
000004ea: SLOAD
000004eb: PUSH1 0x01
000004ed: DUP2
000004ee: PUSH1 0x01
000004f0: AND
000004f1: ISZERO
000004f2: PUSH2 0x0100
000004f5: MUL
000004f6: SUB
000004f7: AND
000004f8: PUSH1 0x02
000004fa: SWAP1
000004fb: DIV
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x06a7
00000501: JUMPI
00000502: DUP1
00000503: PUSH1 0x1f
00000505: LT
00000506: PUSH2 0x067c
00000509: JUMPI
0000050a: PUSH2 0x0100
0000050d: DUP1
0000050e: DUP4
0000050f: SLOAD
00000510: DIV
00000511: MUL
00000512: DUP4
00000513: MSTORE
00000514: SWAP2
00000515: PUSH1 0x20
00000517: ADD
00000518: SWAP2
00000519: PUSH2 0x06a7
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH2 0x0045
00000521: PUSH1 0x04
00000523: DUP1
00000524: DUP1
00000525: CALLDATALOAD
00000526: SWAP1
00000527: PUSH1 0x20
00000529: ADD
0000052a: SWAP1
0000052b: DUP3
0000052c: ADD
0000052d: DUP1
0000052e: CALLDATALOAD
0000052f: SWAP1
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP2
00000534: SWAP2
00000535: SWAP1
00000536: DUP1
00000537: DUP1
00000538: PUSH1 0x1f
0000053a: ADD
0000053b: PUSH1 0x20
0000053d: DUP1
0000053e: SWAP2
0000053f: DIV
00000540: MUL
00000541: PUSH1 0x20
00000543: ADD
00000544: PUSH1 0x40
00000546: MLOAD
00000547: SWAP1
00000548: DUP2
00000549: ADD
0000054a: PUSH1 0x40
0000054c: MSTORE
0000054d: DUP1
0000054e: SWAP4
0000054f: SWAP3
00000550: SWAP2
00000551: SWAP1
00000552: DUP2
00000553: DUP2
00000554: MSTORE
00000555: PUSH1 0x20
00000557: ADD
00000558: DUP4
00000559: DUP4
0000055a: DUP1
0000055b: DUP3
0000055c: DUP5
0000055d: CALLDATACOPY
0000055e: POP
0000055f: SWAP5
00000560: SWAP7
00000561: POP
00000562: POP
00000563: POP
00000564: POP
00000565: POP
00000566: POP
00000567: POP
00000568: JUMPDEST
00000569: PUSH1 0x40
0000056b: DUP1
0000056c: MLOAD
0000056d: PUSH1 0x20
0000056f: DUP2
00000570: DUP2
00000571: ADD
00000572: DUP4
00000573: MSTORE
00000574: PUSH1 0x00
00000576: DUP1
00000577: DUP4
00000578: MSTORE
00000579: DUP4
0000057a: MLOAD
0000057b: DUP1
0000057c: DUP4
0000057d: ADD
0000057e: DUP6
0000057f: MSTORE
00000580: DUP2
00000581: DUP2
00000582: MSTORE
00000583: DUP2
00000584: SLOAD
00000585: DUP6
00000586: MLOAD
00000587: PUSH1 0xe0
00000589: PUSH1 0x02
0000058b: EXP
0000058c: PUSH4 0x38cc4831
00000591: MUL
00000592: DUP2
00000593: MSTORE
00000594: SWAP6
00000595: MLOAD
00000596: SWAP5
00000597: SWAP6
00000598: SWAP2
00000599: SWAP5
0000059a: SWAP3
0000059b: SWAP4
0000059c: PUSH2 0x0c0d
0000059f: SWAP4
000005a0: PUSH32 0x1100000000000000000000000000000000000000000000000000000000000000
000005c1: SWAP4
000005c2: DUP7
000005c3: SWAP4
000005c4: PUSH1 0x01
000005c6: PUSH1 0xa0
000005c8: PUSH1 0x02
000005ca: EXP
000005cb: SUB
000005cc: AND
000005cd: SWAP3
000005ce: PUSH4 0x38cc4831
000005d3: SWAP3
000005d4: PUSH1 0x04
000005d6: DUP4
000005d7: DUP2
000005d8: ADD
000005d9: SWAP4
000005da: DUP3
000005db: SWAP1
000005dc: SUB
000005dd: ADD
000005de: DUP2
000005df: DUP8
000005e0: DUP8
000005e1: PUSH2 0x61da
000005e4: GAS
000005e5: SUB
000005e6: CALL
000005e7: ISZERO
000005e8: PUSH2 0x0002
000005eb: JUMPI
000005ec: POP
000005ed: POP
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: MLOAD
000005f2: SWAP2
000005f3: PUSH1 0x01
000005f5: PUSH1 0xa0
000005f7: PUSH1 0x02
000005f9: EXP
000005fa: SUB
000005fb: DUP4
000005fc: AND
000005fd: EQ
000005fe: ISZERO
000005ff: SWAP1
00000600: POP
00000601: PUSH2 0x121a
00000604: JUMPI
00000605: PUSH2 0x11c2
00000608: PUSH1 0x00
0000060a: PUSH2 0x0b45
0000060d: JUMP
0000060e: JUMPDEST
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: DUP1
00000613: DUP1
00000614: PUSH1 0x20
00000616: ADD
00000617: DUP3
00000618: DUP2
00000619: SUB
0000061a: DUP3
0000061b: MSTORE
0000061c: DUP4
0000061d: DUP2
0000061e: DUP2
0000061f: MLOAD
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x20
00000624: ADD
00000625: SWAP2
00000626: POP
00000627: DUP1
00000628: MLOAD
00000629: SWAP1
0000062a: PUSH1 0x20
0000062c: ADD
0000062d: SWAP1
0000062e: DUP1
0000062f: DUP4
00000630: DUP4
00000631: DUP3
00000632: SWAP1
00000633: PUSH1 0x00
00000635: PUSH1 0x04
00000637: PUSH1 0x20
00000639: DUP5
0000063a: PUSH1 0x1f
0000063c: ADD
0000063d: DIV
0000063e: PUSH1 0x0f
00000640: MUL
00000641: PUSH1 0x03
00000643: ADD
00000644: CALL
00000645: POP
00000646: SWAP1
00000647: POP
00000648: SWAP1
00000649: DUP2
0000064a: ADD
0000064b: SWAP1
0000064c: PUSH1 0x1f
0000064e: AND
0000064f: DUP1
00000650: ISZERO
00000651: PUSH2 0x066e
00000654: JUMPI
00000655: DUP1
00000656: DUP3
00000657: SUB
00000658: DUP1
00000659: MLOAD
0000065a: PUSH1 0x01
0000065c: DUP4
0000065d: PUSH1 0x20
0000065f: SUB
00000660: PUSH2 0x0100
00000663: EXP
00000664: SUB
00000665: NOT
00000666: AND
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP2
0000066d: POP
0000066e: JUMPDEST
0000066f: POP
00000670: SWAP3
00000671: POP
00000672: POP
00000673: POP
00000674: PUSH1 0x40
00000676: MLOAD
00000677: DUP1
00000678: SWAP2
00000679: SUB
0000067a: SWAP1
0000067b: RETURN
0000067c: JUMPDEST
0000067d: DUP3
0000067e: ADD
0000067f: SWAP2
00000680: SWAP1
00000681: PUSH1 0x00
00000683: MSTORE
00000684: PUSH1 0x20
00000686: PUSH1 0x00
00000688: KECCAK256
00000689: SWAP1
0000068a: JUMPDEST
0000068b: DUP2
0000068c: SLOAD
0000068d: DUP2
0000068e: MSTORE
0000068f: SWAP1
00000690: PUSH1 0x01
00000692: ADD
00000693: SWAP1
00000694: PUSH1 0x20
00000696: ADD
00000697: DUP1
00000698: DUP4
00000699: GT
0000069a: PUSH2 0x068a
0000069d: JUMPI
0000069e: DUP3
0000069f: SWAP1
000006a0: SUB
000006a1: PUSH1 0x1f
000006a3: AND
000006a4: DUP3
000006a5: ADD
000006a6: SWAP2
000006a7: JUMPDEST
000006a8: POP
000006a9: POP
000006aa: POP
000006ab: POP
000006ac: POP
000006ad: SWAP11
000006ae: POP
000006af: PUSH1 0x40
000006b1: PUSH1 0x40
000006b3: MLOAD
000006b4: SWAP1
000006b5: DUP2
000006b6: ADD
000006b7: PUSH1 0x40
000006b9: MSTORE
000006ba: DUP1
000006bb: PUSH1 0x10
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: PUSH32 0x222c20227069637475726522203a202200000000000000000000000000000000
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x20
000006e7: ADD
000006e8: POP
000006e9: SWAP10
000006ea: POP
000006eb: PUSH1 0x06
000006ed: PUSH1 0x00
000006ef: POP
000006f0: DUP1
000006f1: SLOAD
000006f2: PUSH1 0x01
000006f4: DUP2
000006f5: PUSH1 0x01
000006f7: AND
000006f8: ISZERO
000006f9: PUSH2 0x0100
000006fc: MUL
000006fd: SUB
000006fe: AND
000006ff: PUSH1 0x02
00000701: SWAP1
00000702: DIV
00000703: DUP1
00000704: PUSH1 0x1f
00000706: ADD
00000707: PUSH1 0x20
00000709: DUP1
0000070a: SWAP2
0000070b: DIV
0000070c: MUL
0000070d: PUSH1 0x20
0000070f: ADD
00000710: PUSH1 0x40
00000712: MLOAD
00000713: SWAP1
00000714: DUP2
00000715: ADD
00000716: PUSH1 0x40
00000718: MSTORE
00000719: DUP1
0000071a: SWAP3
0000071b: SWAP2
0000071c: SWAP1
0000071d: DUP2
0000071e: DUP2
0000071f: MSTORE
00000720: PUSH1 0x20
00000722: ADD
00000723: DUP3
00000724: DUP1
00000725: SLOAD
00000726: PUSH1 0x01
00000728: DUP2
00000729: PUSH1 0x01
0000072b: AND
0000072c: ISZERO
0000072d: PUSH2 0x0100
00000730: MUL
00000731: SUB
00000732: AND
00000733: PUSH1 0x02
00000735: SWAP1
00000736: DIV
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0783
0000073c: JUMPI
0000073d: DUP1
0000073e: PUSH1 0x1f
00000740: LT
00000741: PUSH2 0x0758
00000744: JUMPI
00000745: PUSH2 0x0100
00000748: DUP1
00000749: DUP4
0000074a: SLOAD
0000074b: DIV
0000074c: MUL
0000074d: DUP4
0000074e: MSTORE
0000074f: SWAP2
00000750: PUSH1 0x20
00000752: ADD
00000753: SWAP2
00000754: PUSH2 0x0783
00000757: JUMP
00000758: JUMPDEST
00000759: DUP3
0000075a: ADD
0000075b: SWAP2
0000075c: SWAP1
0000075d: PUSH1 0x00
0000075f: MSTORE
00000760: PUSH1 0x20
00000762: PUSH1 0x00
00000764: KECCAK256
00000765: SWAP1
00000766: JUMPDEST
00000767: DUP2
00000768: SLOAD
00000769: DUP2
0000076a: MSTORE
0000076b: SWAP1
0000076c: PUSH1 0x01
0000076e: ADD
0000076f: SWAP1
00000770: PUSH1 0x20
00000772: ADD
00000773: DUP1
00000774: DUP4
00000775: GT
00000776: PUSH2 0x0766
00000779: JUMPI
0000077a: DUP3
0000077b: SWAP1
0000077c: SUB
0000077d: PUSH1 0x1f
0000077f: AND
00000780: DUP3
00000781: ADD
00000782: SWAP2
00000783: JUMPDEST
00000784: POP
00000785: POP
00000786: POP
00000787: POP
00000788: POP
00000789: SWAP9
0000078a: POP
0000078b: PUSH1 0x40
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: SWAP1
00000791: DUP2
00000792: ADD
00000793: PUSH1 0x40
00000795: MSTORE
00000796: DUP1
00000797: PUSH1 0x10
00000799: DUP2
0000079a: MSTORE
0000079b: PUSH1 0x20
0000079d: ADD
0000079e: PUSH32 0x222c202263617074696f6e22203a202200000000000000000000000000000000
000007bf: DUP2
000007c0: MSTORE
000007c1: PUSH1 0x20
000007c3: ADD
000007c4: POP
000007c5: SWAP8
000007c6: POP
000007c7: PUSH1 0x07
000007c9: PUSH1 0x00
000007cb: POP
000007cc: DUP1
000007cd: SLOAD
000007ce: PUSH1 0x01
000007d0: DUP2
000007d1: PUSH1 0x01
000007d3: AND
000007d4: ISZERO
000007d5: PUSH2 0x0100
000007d8: MUL
000007d9: SUB
000007da: AND
000007db: PUSH1 0x02
000007dd: SWAP1
000007de: DIV
000007df: DUP1
000007e0: PUSH1 0x1f
000007e2: ADD
000007e3: PUSH1 0x20
000007e5: DUP1
000007e6: SWAP2
000007e7: DIV
000007e8: MUL
000007e9: PUSH1 0x20
000007eb: ADD
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: SWAP1
000007f0: DUP2
000007f1: ADD
000007f2: PUSH1 0x40
000007f4: MSTORE
000007f5: DUP1
000007f6: SWAP3
000007f7: SWAP2
000007f8: SWAP1
000007f9: DUP2
000007fa: DUP2
000007fb: MSTORE
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: DUP3
00000800: DUP1
00000801: SLOAD
00000802: PUSH1 0x01
00000804: DUP2
00000805: PUSH1 0x01
00000807: AND
00000808: ISZERO
00000809: PUSH2 0x0100
0000080c: MUL
0000080d: SUB
0000080e: AND
0000080f: PUSH1 0x02
00000811: SWAP1
00000812: DIV
00000813: DUP1
00000814: ISZERO
00000815: PUSH2 0x085f
00000818: JUMPI
00000819: DUP1
0000081a: PUSH1 0x1f
0000081c: LT
0000081d: PUSH2 0x0834
00000820: JUMPI
00000821: PUSH2 0x0100
00000824: DUP1
00000825: DUP4
00000826: SLOAD
00000827: DIV
00000828: MUL
00000829: DUP4
0000082a: MSTORE
0000082b: SWAP2
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: SWAP2
00000830: PUSH2 0x085f
00000833: JUMP
00000834: JUMPDEST
00000835: DUP3
00000836: ADD
00000837: SWAP2
00000838: SWAP1
00000839: PUSH1 0x00
0000083b: MSTORE
0000083c: PUSH1 0x20
0000083e: PUSH1 0x00
00000840: KECCAK256
00000841: SWAP1
00000842: JUMPDEST
00000843: DUP2
00000844: SLOAD
00000845: DUP2
00000846: MSTORE
00000847: SWAP1
00000848: PUSH1 0x01
0000084a: ADD
0000084b: SWAP1
0000084c: PUSH1 0x20
0000084e: ADD
0000084f: DUP1
00000850: DUP4
00000851: GT
00000852: PUSH2 0x0842
00000855: JUMPI
00000856: DUP3
00000857: SWAP1
00000858: SUB
00000859: PUSH1 0x1f
0000085b: AND
0000085c: DUP3
0000085d: ADD
0000085e: SWAP2
0000085f: JUMPDEST
00000860: POP
00000861: POP
00000862: PUSH1 0x40
00000864: DUP1
00000865: MLOAD
00000866: DUP1
00000867: DUP3
00000868: ADD
00000869: DUP3
0000086a: MSTORE
0000086b: PUSH1 0x14
0000086d: DUP2
0000086e: MSTORE
0000086f: PUSH32 0x222c20226465736372697074696f6e22203a2022000000000000000000000000
00000890: PUSH1 0x20
00000892: DUP3
00000893: DUP2
00000894: ADD
00000895: SWAP2
00000896: SWAP1
00000897: SWAP2
00000898: MSTORE
00000899: DUP3
0000089a: MLOAD
0000089b: PUSH1 0x08
0000089d: DUP1
0000089e: SLOAD
0000089f: PUSH1 0x02
000008a1: PUSH1 0x01
000008a3: DUP3
000008a4: AND
000008a5: ISZERO
000008a6: PUSH2 0x0100
000008a9: MUL
000008aa: PUSH1 0x00
000008ac: NOT
000008ad: ADD
000008ae: SWAP1
000008af: SWAP2
000008b0: AND
000008b1: DIV
000008b2: PUSH1 0x1f
000008b4: DUP2
000008b5: ADD
000008b6: DUP5
000008b7: SWAP1
000008b8: DIV
000008b9: DUP5
000008ba: MUL
000008bb: DUP4
000008bc: ADD
000008bd: DUP5
000008be: ADD
000008bf: SWAP1
000008c0: SWAP6
000008c1: MSTORE
000008c2: DUP5
000008c3: DUP3
000008c4: MSTORE
000008c5: SWAP8
000008c6: SWAP15
000008c7: POP
000008c8: SWAP2
000008c9: SWAP13
000008ca: POP
000008cb: SWAP1
000008cc: SWAP6
000008cd: SWAP5
000008ce: POP
000008cf: SWAP1
000008d0: SWAP3
000008d1: POP
000008d2: DUP5
000008d3: ADD
000008d4: SWAP1
000008d5: POP
000008d6: DUP3
000008d7: DUP3
000008d8: DUP1
000008d9: ISZERO
000008da: PUSH2 0x0924
000008dd: JUMPI
000008de: DUP1
000008df: PUSH1 0x1f
000008e1: LT
000008e2: PUSH2 0x08f9
000008e5: JUMPI
000008e6: PUSH2 0x0100
000008e9: DUP1
000008ea: DUP4
000008eb: SLOAD
000008ec: DIV
000008ed: MUL
000008ee: DUP4
000008ef: MSTORE
000008f0: SWAP2
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP2
000008f5: PUSH2 0x0924
000008f8: JUMP
000008f9: JUMPDEST
000008fa: DUP3
000008fb: ADD
000008fc: SWAP2
000008fd: SWAP1
000008fe: PUSH1 0x00
00000900: MSTORE
00000901: PUSH1 0x20
00000903: PUSH1 0x00
00000905: KECCAK256
00000906: SWAP1
00000907: JUMPDEST
00000908: DUP2
00000909: SLOAD
0000090a: DUP2
0000090b: MSTORE
0000090c: SWAP1
0000090d: PUSH1 0x01
0000090f: ADD
00000910: SWAP1
00000911: PUSH1 0x20
00000913: ADD
00000914: DUP1
00000915: DUP4
00000916: GT
00000917: PUSH2 0x0907
0000091a: JUMPI
0000091b: DUP3
0000091c: SWAP1
0000091d: SUB
0000091e: PUSH1 0x1f
00000920: AND
00000921: DUP3
00000922: ADD
00000923: SWAP2
00000924: JUMPDEST
00000925: POP
00000926: POP
00000927: POP
00000928: POP
00000929: POP
0000092a: SWAP5
0000092b: POP
0000092c: PUSH2 0x0a2d
0000092f: DUP15
00000930: DUP15
00000931: DUP15
00000932: DUP15
00000933: DUP15
00000934: JUMPDEST
00000935: PUSH1 0x40
00000937: DUP1
00000938: MLOAD
00000939: PUSH1 0x20
0000093b: DUP2
0000093c: DUP2
0000093d: ADD
0000093e: DUP4
0000093f: MSTORE
00000940: PUSH1 0x00
00000942: DUP1
00000943: DUP4
00000944: MSTORE
00000945: DUP4
00000946: MLOAD
00000947: DUP1
00000948: DUP4
00000949: ADD
0000094a: DUP6
0000094b: MSTORE
0000094c: DUP2
0000094d: SWAP1
0000094e: MSTORE
0000094f: DUP4
00000950: MLOAD
00000951: DUP1
00000952: DUP4
00000953: ADD
00000954: DUP6
00000955: MSTORE
00000956: DUP2
00000957: SWAP1
00000958: MSTORE
00000959: DUP4
0000095a: MLOAD
0000095b: DUP1
0000095c: DUP4
0000095d: ADD
0000095e: DUP6
0000095f: MSTORE
00000960: DUP2
00000961: SWAP1
00000962: MSTORE
00000963: DUP4
00000964: MLOAD
00000965: DUP1
00000966: DUP4
00000967: ADD
00000968: DUP6
00000969: MSTORE
0000096a: DUP2
0000096b: SWAP1
0000096c: MSTORE
0000096d: DUP4
0000096e: MLOAD
0000096f: DUP1
00000970: DUP4
00000971: ADD
00000972: DUP6
00000973: MSTORE
00000974: DUP2
00000975: SWAP1
00000976: MSTORE
00000977: DUP4
00000978: MLOAD
00000979: DUP1
0000097a: DUP4
0000097b: ADD
0000097c: DUP6
0000097d: MSTORE
0000097e: DUP2
0000097f: DUP2
00000980: MSTORE
00000981: DUP5
00000982: MLOAD
00000983: SWAP3
00000984: DUP4
00000985: ADD
00000986: DUP6
00000987: MSTORE
00000988: DUP2
00000989: DUP4
0000098a: MSTORE
0000098b: SWAP4
0000098c: MLOAD
0000098d: DUP6
0000098e: MLOAD
0000098f: DUP8
00000990: MLOAD
00000991: DUP10
00000992: MLOAD
00000993: DUP12
00000994: MLOAD
00000995: DUP14
00000996: MLOAD
00000997: SWAP8
00000998: SWAP9
00000999: DUP15
0000099a: SWAP9
0000099b: DUP15
0000099c: SWAP9
0000099d: DUP15
0000099e: SWAP9
0000099f: DUP15
000009a0: SWAP9
000009a1: DUP15
000009a2: SWAP9
000009a3: SWAP5
000009a4: SWAP8
000009a5: SWAP3
000009a6: SWAP7
000009a7: SWAP2
000009a8: SWAP6
000009a9: DUP7
000009aa: SWAP6
000009ab: SWAP5
000009ac: ADD
000009ad: SWAP1
000009ae: SWAP2
000009af: ADD
000009b0: SWAP1
000009b1: SWAP2
000009b2: ADD
000009b3: SWAP1
000009b4: SWAP2
000009b5: ADD
000009b6: SWAP1
000009b7: DUP1
000009b8: MSIZE
000009b9: LT
000009ba: PUSH2 0x09c0
000009bd: JUMPI
000009be: POP
000009bf: MSIZE
000009c0: JUMPDEST
000009c1: SWAP1
000009c2: DUP1
000009c3: DUP3
000009c4: MSTORE
000009c5: DUP1
000009c6: PUSH1 0x20
000009c8: MUL
000009c9: PUSH1 0x20
000009cb: ADD
000009cc: DUP3
000009cd: ADD
000009ce: PUSH1 0x40
000009d0: MSTORE
000009d1: POP
000009d2: SWAP4
000009d3: POP
000009d4: DUP4
000009d5: SWAP3
000009d6: POP
000009d7: PUSH1 0x00
000009d9: SWAP2
000009da: POP
000009db: PUSH1 0x00
000009dd: SWAP1
000009de: POP
000009df: JUMPDEST
000009e0: DUP9
000009e1: MLOAD
000009e2: DUP2
000009e3: LT
000009e4: ISZERO
000009e5: PUSH2 0x1296
000009e8: JUMPI
000009e9: DUP9
000009ea: DUP2
000009eb: DUP2
000009ec: MLOAD
000009ed: DUP2
000009ee: LT
000009ef: ISZERO
000009f0: PUSH2 0x0002
000009f3: JUMPI
000009f4: SWAP1
000009f5: PUSH1 0x20
000009f7: ADD
000009f8: ADD
000009f9: MLOAD
000009fa: PUSH1 0xf8
000009fc: PUSH1 0x02
000009fe: EXP
000009ff: SWAP1
00000a00: DIV
00000a01: PUSH1 0xf8
00000a03: PUSH1 0x02
00000a05: EXP
00000a06: MUL
00000a07: DUP4
00000a08: DUP4
00000a09: DUP1
00000a0a: PUSH1 0x01
00000a0c: ADD
00000a0d: SWAP5
00000a0e: POP
00000a0f: DUP2
00000a10: MLOAD
00000a11: DUP2
00000a12: LT
00000a13: ISZERO
00000a14: PUSH2 0x0002
00000a17: JUMPI
00000a18: SWAP1
00000a19: PUSH1 0x20
00000a1b: ADD
00000a1c: ADD
00000a1d: SWAP1
00000a1e: SWAP1
00000a1f: DUP2
00000a20: PUSH1 0x00
00000a22: BYTE
00000a23: SWAP1
00000a24: MSTORE8
00000a25: POP
00000a26: PUSH1 0x01
00000a28: ADD
00000a29: PUSH2 0x09df
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: SWAP4
00000a2f: POP
00000a30: PUSH2 0x0a3c
00000a33: DUP10
00000a34: DUP10
00000a35: DUP10
00000a36: DUP10
00000a37: DUP10
00000a38: PUSH2 0x0934
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: SWAP3
00000a3e: POP
00000a3f: PUSH2 0x0a48
00000a42: DUP5
00000a43: DUP5
00000a44: PUSH2 0x00d0
00000a47: JUMP
00000a48: JUMPDEST
00000a49: SWAP2
00000a4a: POP
00000a4b: PUSH2 0x0b66
00000a4e: PUSH1 0x40
00000a50: PUSH1 0x40
00000a52: MLOAD
00000a53: SWAP1
00000a54: DUP2
00000a55: ADD
00000a56: PUSH1 0x40
00000a58: MSTORE
00000a59: DUP1
00000a5a: PUSH1 0x03
00000a5c: DUP2
00000a5d: MSTORE
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: PUSH1 0xea
00000a63: PUSH1 0x02
00000a65: EXP
00000a66: PUSH3 0x155493
00000a6a: MUL
00000a6b: DUP2
00000a6c: MSTORE
00000a6d: PUSH1 0x20
00000a6f: ADD
00000a70: POP
00000a71: PUSH1 0x60
00000a73: PUSH1 0x40
00000a75: MLOAD
00000a76: SWAP1
00000a77: DUP2
00000a78: ADD
00000a79: PUSH1 0x40
00000a7b: MSTORE
00000a7c: DUP1
00000a7d: PUSH1 0x27
00000a7f: DUP2
00000a80: MSTORE
00000a81: PUSH1 0x20
00000a83: ADD
00000a84: PUSH32 0x6a736f6e2868747470733a2f2f67726170682e66616365626f6f6b2e636f6d2f
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: PUSH32 0x6d652f6665656400000000000000000000000000000000000000000000000000
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x20
00000acf: ADD
00000ad0: POP
00000ad1: DUP5
00000ad2: JUMPDEST
00000ad3: PUSH1 0x00
00000ad5: PUSH1 0x00
00000ad7: PUSH1 0x00
00000ad9: PUSH1 0x00
00000adb: PUSH1 0x00
00000add: SWAP1
00000ade: SLOAD
00000adf: SWAP1
00000ae0: PUSH2 0x0100
00000ae3: EXP
00000ae4: SWAP1
00000ae5: DIV
00000ae6: PUSH1 0x01
00000ae8: PUSH1 0xa0
00000aea: PUSH1 0x02
00000aec: EXP
00000aed: SUB
00000aee: AND
00000aef: PUSH1 0x01
00000af1: PUSH1 0xa0
00000af3: PUSH1 0x02
00000af5: EXP
00000af6: SUB
00000af7: AND
00000af8: PUSH4 0x38cc4831
00000afd: PUSH1 0x40
00000aff: MLOAD
00000b00: DUP2
00000b01: PUSH1 0xe0
00000b03: PUSH1 0x02
00000b05: EXP
00000b06: MUL
00000b07: DUP2
00000b08: MSTORE
00000b09: PUSH1 0x04
00000b0b: ADD
00000b0c: DUP1
00000b0d: SWAP1
00000b0e: POP
00000b0f: PUSH1 0x20
00000b11: PUSH1 0x40
00000b13: MLOAD
00000b14: DUP1
00000b15: DUP4
00000b16: SUB
00000b17: DUP2
00000b18: PUSH1 0x00
00000b1a: DUP8
00000b1b: PUSH2 0x61da
00000b1e: GAS
00000b1f: SUB
00000b20: CALL
00000b21: ISZERO
00000b22: PUSH2 0x0002
00000b25: JUMPI
00000b26: POP
00000b27: POP
00000b28: PUSH1 0x40
00000b2a: MLOAD
00000b2b: MLOAD
00000b2c: SWAP2
00000b2d: POP
00000b2e: POP
00000b2f: PUSH1 0x01
00000b31: PUSH1 0xa0
00000b33: PUSH1 0x02
00000b35: EXP
00000b36: SUB
00000b37: DUP2
00000b38: AND
00000b39: DUP3
00000b3a: EQ
00000b3b: ISZERO
00000b3c: PUSH2 0x0e6a
00000b3f: JUMPI
00000b40: PUSH2 0x0e12
00000b43: PUSH1 0x00
00000b45: JUMPDEST
00000b46: PUSH1 0x00
00000b48: PUSH1 0x00
00000b4a: PUSH2 0x13f9
00000b4d: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000b62: JUMPDEST
00000b63: EXTCODESIZE
00000b64: SWAP1
00000b65: JUMP
00000b66: JUMPDEST
00000b67: SWAP1
00000b68: POP
00000b69: PUSH2 0x0b71
00000b6c: DUP16
00000b6d: PUSH2 0x0568
00000b70: JUMP
00000b71: JUMPDEST
00000b72: POP
00000b73: POP
00000b74: POP
00000b75: POP
00000b76: POP
00000b77: POP
00000b78: POP
00000b79: POP
00000b7a: POP
00000b7b: POP
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: POP
00000b80: POP
00000b81: JUMP
00000b82: JUMPDEST
00000b83: SWAP1
00000b84: POP
00000b85: DUP1
00000b86: SWAP5
00000b87: POP
00000b88: JUMPDEST
00000b89: POP
00000b8a: POP
00000b8b: POP
00000b8c: POP
00000b8d: SWAP3
00000b8e: SWAP2
00000b8f: POP
00000b90: POP
00000b91: JUMP
00000b92: JUMPDEST
00000b93: DUP3
00000b94: ADD
00000b95: SWAP2
00000b96: SWAP1
00000b97: PUSH1 0x00
00000b99: MSTORE
00000b9a: PUSH1 0x20
00000b9c: PUSH1 0x00
00000b9e: KECCAK256
00000b9f: SWAP1
00000ba0: JUMPDEST
00000ba1: DUP2
00000ba2: SLOAD
00000ba3: DUP2
00000ba4: MSTORE
00000ba5: SWAP1
00000ba6: PUSH1 0x01
00000ba8: ADD
00000ba9: SWAP1
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: DUP1
00000bae: DUP4
00000baf: GT
00000bb0: PUSH2 0x0ba0
00000bb3: JUMPI
00000bb4: DUP3
00000bb5: SWAP1
00000bb6: SUB
00000bb7: PUSH1 0x1f
00000bb9: AND
00000bba: DUP3
00000bbb: ADD
00000bbc: SWAP2
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: SWAP3
00000bc4: POP
00000bc5: PUSH1 0x40
00000bc7: PUSH1 0x40
00000bc9: MLOAD
00000bca: SWAP1
00000bcb: DUP2
00000bcc: ADD
00000bcd: PUSH1 0x40
00000bcf: MSTORE
00000bd0: DUP1
00000bd1: PUSH1 0x02
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x20
00000bd7: ADD
00000bd8: PUSH32 0x227d000000000000000000000000000000000000000000000000000000000000
00000bf9: DUP2
00000bfa: MSTORE
00000bfb: PUSH1 0x20
00000bfd: ADD
00000bfe: POP
00000bff: SWAP2
00000c00: POP
00000c01: PUSH2 0x0b82
00000c04: DUP8
00000c05: DUP8
00000c06: DUP7
00000c07: DUP7
00000c08: DUP7
00000c09: PUSH2 0x0934
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH1 0x40
00000c10: DUP1
00000c11: MLOAD
00000c12: PUSH1 0x20
00000c14: DUP2
00000c15: DUP2
00000c16: ADD
00000c17: DUP4
00000c18: MSTORE
00000c19: PUSH1 0x00
00000c1b: DUP3
00000c1c: MSTORE
00000c1d: DUP3
00000c1e: MLOAD
00000c1f: PUSH1 0x80
00000c21: DUP2
00000c22: ADD
00000c23: DUP5
00000c24: MSTORE
00000c25: PUSH1 0x46
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH32 0x6a736f6e2868747470733a2f2f67726170682e66616365626f6f6b2e636f6d2f
00000c4a: DUP2
00000c4b: DUP4
00000c4c: ADD
00000c4d: MSTORE
00000c4e: PUSH32 0x6d652f667269656e6473292e726573756c742e73756d6d6172792e746f74616c
00000c6f: DUP2
00000c70: DUP6
00000c71: ADD
00000c72: MSTORE
00000c73: PUSH32 0x5f636f756e740000000000000000000000000000000000000000000000000000
00000c94: PUSH1 0x60
00000c96: DUP3
00000c97: ADD
00000c98: MSTORE
00000c99: DUP4
00000c9a: MLOAD
00000c9b: DUP1
00000c9c: DUP6
00000c9d: ADD
00000c9e: SWAP1
00000c9f: SWAP5
00000ca0: MSTORE
00000ca1: PUSH1 0x03
00000ca3: DUP5
00000ca4: MSTORE
00000ca5: PUSH1 0xea
00000ca7: PUSH1 0x02
00000ca9: EXP
00000caa: PUSH3 0x155493
00000cae: MUL
00000caf: SWAP2
00000cb0: DUP5
00000cb1: ADD
00000cb2: SWAP2
00000cb3: SWAP1
00000cb4: SWAP2
00000cb5: MSTORE
00000cb6: SWAP1
00000cb7: SWAP5
00000cb8: POP
00000cb9: SWAP3
00000cba: POP
00000cbb: PUSH2 0x0cc5
00000cbe: SWAP1
00000cbf: DUP4
00000cc0: DUP6
00000cc1: PUSH2 0x0ad2
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: PUSH1 0x00
00000cc8: SWAP1
00000cc9: DUP2
00000cca: MSTORE
00000ccb: PUSH1 0x0b
00000ccd: PUSH1 0x20
00000ccf: MSTORE
00000cd0: PUSH1 0x40
00000cd2: SWAP1
00000cd3: KECCAK256
00000cd4: DUP1
00000cd5: SLOAD
00000cd6: PUSH1 0x01
00000cd8: PUSH1 0xa0
00000cda: PUSH1 0x02
00000cdc: EXP
00000cdd: SUB
00000cde: NOT
00000cdf: AND
00000ce0: CALLER
00000ce1: OR
00000ce2: SWAP1
00000ce3: SSTORE
00000ce4: POP
00000ce5: POP
00000ce6: POP
00000ce7: POP
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: PUSH1 0x02
00000cf0: EXP
00000cf1: SUB
00000cf2: AND
00000cf3: CALLER
00000cf4: PUSH1 0x01
00000cf6: PUSH1 0xa0
00000cf8: PUSH1 0x02
00000cfa: EXP
00000cfb: SUB
00000cfc: AND
00000cfd: EQ
00000cfe: ISZERO
00000cff: ISZERO
00000d00: PUSH2 0x0d08
00000d03: JUMPI
00000d04: PUSH2 0x0002
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH2 0x0da8
00000d0c: DUP5
00000d0d: PUSH1 0x00
00000d0f: PUSH2 0x13f1
00000d12: DUP3
00000d13: PUSH1 0x00
00000d15: PUSH1 0x40
00000d17: DUP1
00000d18: MLOAD
00000d19: PUSH1 0x20
00000d1b: DUP2
00000d1c: ADD
00000d1d: SWAP1
00000d1e: SWAP2
00000d1f: MSTORE
00000d20: PUSH1 0x00
00000d22: SWAP1
00000d23: DUP2
00000d24: SWAP1
00000d25: MSTORE
00000d26: DUP3
00000d27: DUP2
00000d28: DUP1
00000d29: DUP1
00000d2a: JUMPDEST
00000d2b: DUP4
00000d2c: MLOAD
00000d2d: DUP2
00000d2e: LT
00000d2f: ISZERO
00000d30: PUSH2 0x0da0
00000d33: JUMPI
00000d34: PUSH1 0x30
00000d36: PUSH1 0xf8
00000d38: PUSH1 0x02
00000d3a: EXP
00000d3b: MUL
00000d3c: DUP5
00000d3d: DUP3
00000d3e: DUP2
00000d3f: MLOAD
00000d40: DUP2
00000d41: LT
00000d42: ISZERO
00000d43: PUSH2 0x0002
00000d46: JUMPI
00000d47: SWAP1
00000d48: PUSH1 0x20
00000d4a: ADD
00000d4b: ADD
00000d4c: MLOAD
00000d4d: PUSH1 0xf8
00000d4f: PUSH1 0x02
00000d51: EXP
00000d52: SWAP1
00000d53: DIV
00000d54: PUSH1 0xf8
00000d56: PUSH1 0x02
00000d58: EXP
00000d59: MUL
00000d5a: LT
00000d5b: ISZERO
00000d5c: DUP1
00000d5d: ISZERO
00000d5e: PUSH2 0x0d8b
00000d61: JUMPI
00000d62: POP
00000d63: PUSH1 0x39
00000d65: PUSH1 0xf8
00000d67: PUSH1 0x02
00000d69: EXP
00000d6a: MUL
00000d6b: DUP5
00000d6c: DUP3
00000d6d: DUP2
00000d6e: MLOAD
00000d6f: DUP2
00000d70: LT
00000d71: ISZERO
00000d72: PUSH2 0x0002
00000d75: JUMPI
00000d76: SWAP1
00000d77: PUSH1 0x20
00000d79: ADD
00000d7a: ADD
00000d7b: MLOAD
00000d7c: PUSH1 0xf8
00000d7e: PUSH1 0x02
00000d80: EXP
00000d81: SWAP1
00000d82: DIV
00000d83: PUSH1 0xf8
00000d85: PUSH1 0x02
00000d87: EXP
00000d88: MUL
00000d89: GT
00000d8a: ISZERO
00000d8b: JUMPDEST
00000d8c: ISZERO
00000d8d: PUSH2 0x14de
00000d90: JUMPI
00000d91: DUP2
00000d92: ISZERO
00000d93: PUSH2 0x1534
00000d96: JUMPI
00000d97: DUP6
00000d98: PUSH1 0x00
00000d9a: EQ
00000d9b: ISZERO
00000d9c: PUSH2 0x152c
00000d9f: JUMPI
00000da0: JUMPDEST
00000da1: DUP3
00000da2: SWAP5
00000da3: POP
00000da4: PUSH2 0x0b88
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH1 0x00
00000dab: DUP7
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x0b
00000db0: PUSH1 0x20
00000db2: MSTORE
00000db3: PUSH1 0x40
00000db5: SWAP1
00000db6: KECCAK256
00000db7: SLOAD
00000db8: PUSH1 0x02
00000dba: SLOAD
00000dbb: SWAP2
00000dbc: SWAP4
00000dbd: POP
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0xa0
00000dc2: PUSH1 0x02
00000dc4: EXP
00000dc5: SUB
00000dc6: AND
00000dc7: SWAP2
00000dc8: POP
00000dc9: DUP3
00000dca: SWAP1
00000dcb: GT
00000dcc: ISZERO
00000dcd: PUSH2 0x0de8
00000dd0: JUMPI
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: DUP2
00000dd5: SWAP1
00000dd6: PUSH1 0x00
00000dd8: SWAP1
00000dd9: DUP5
00000dda: SWAP1
00000ddb: DUP3
00000ddc: DUP2
00000ddd: DUP2
00000dde: DUP2
00000ddf: DUP6
00000de0: DUP9
00000de1: DUP4
00000de2: CALL
00000de3: POP
00000de4: POP
00000de5: POP
00000de6: POP
00000de7: POP
00000de8: JUMPDEST
00000de9: POP
00000dea: POP
00000deb: POP
00000dec: POP
00000ded: POP
00000dee: JUMP
00000def: JUMPDEST
00000df0: PUSH1 0x01
00000df2: PUSH1 0xa0
00000df4: PUSH1 0x02
00000df6: EXP
00000df7: SUB
00000df8: AND
00000df9: CALLER
00000dfa: PUSH1 0x01
00000dfc: PUSH1 0xa0
00000dfe: PUSH1 0x02
00000e00: EXP
00000e01: SUB
00000e02: AND
00000e03: EQ
00000e04: ISZERO
00000e05: ISZERO
00000e06: PUSH2 0x0e0e
00000e09: JUMPI
00000e0a: PUSH2 0x0002
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: POP
00000e10: POP
00000e11: JUMP
00000e12: JUMPDEST
00000e13: POP
00000e14: PUSH1 0x00
00000e16: PUSH1 0x00
00000e18: SWAP1
00000e19: SLOAD
00000e1a: SWAP1
00000e1b: PUSH2 0x0100
00000e1e: EXP
00000e1f: SWAP1
00000e20: DIV
00000e21: PUSH1 0x01
00000e23: PUSH1 0xa0
00000e25: PUSH1 0x02
00000e27: EXP
00000e28: SUB
00000e29: AND
00000e2a: PUSH1 0x01
00000e2c: PUSH1 0xa0
00000e2e: PUSH1 0x02
00000e30: EXP
00000e31: SUB
00000e32: AND
00000e33: PUSH4 0x38cc4831
00000e38: PUSH1 0x40
00000e3a: MLOAD
00000e3b: DUP2
00000e3c: PUSH1 0xe0
00000e3e: PUSH1 0x02
00000e40: EXP
00000e41: MUL
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH1 0x04
00000e46: ADD
00000e47: DUP1
00000e48: SWAP1
00000e49: POP
00000e4a: PUSH1 0x20
00000e4c: PUSH1 0x40
00000e4e: MLOAD
00000e4f: DUP1
00000e50: DUP4
00000e51: SUB
00000e52: DUP2
00000e53: PUSH1 0x00
00000e55: DUP8
00000e56: PUSH2 0x61da
00000e59: GAS
00000e5a: SUB
00000e5b: CALL
00000e5c: ISZERO
00000e5d: PUSH2 0x0002
00000e60: JUMPI
00000e61: POP
00000e62: POP
00000e63: PUSH1 0x40
00000e65: MLOAD
00000e66: MLOAD
00000e67: SWAP2
00000e68: POP
00000e69: POP
00000e6a: JUMPDEST
00000e6b: PUSH1 0x01
00000e6d: DUP1
00000e6e: SLOAD
00000e6f: PUSH1 0x01
00000e71: PUSH1 0xa0
00000e73: PUSH1 0x02
00000e75: EXP
00000e76: SUB
00000e77: NOT
00000e78: AND
00000e79: DUP3
00000e7a: OR
00000e7b: SWAP1
00000e7c: DUP2
00000e7d: SWAP1
00000e7e: SSTORE
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: PUSH32 0x524f388900000000000000000000000000000000000000000000000000000000
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH1 0x20
00000ea7: PUSH1 0x04
00000ea9: DUP3
00000eaa: DUP2
00000eab: ADD
00000eac: DUP3
00000ead: DUP2
00000eae: MSTORE
00000eaf: DUP11
00000eb0: MLOAD
00000eb1: PUSH1 0x24
00000eb3: DUP6
00000eb4: ADD
00000eb5: MSTORE
00000eb6: DUP11
00000eb7: MLOAD
00000eb8: PUSH1 0x01
00000eba: PUSH1 0xa0
00000ebc: PUSH1 0x02
00000ebe: EXP
00000ebf: SUB
00000ec0: SWAP6
00000ec1: SWAP1
00000ec2: SWAP6
00000ec3: AND
00000ec4: SWAP5
00000ec5: PUSH4 0x524f3889
00000eca: SWAP5
00000ecb: DUP13
00000ecc: SWAP5
00000ecd: SWAP3
00000ece: SWAP4
00000ecf: DUP5
00000ed0: SWAP4
00000ed1: PUSH1 0x44
00000ed3: SWAP1
00000ed4: SWAP3
00000ed5: ADD
00000ed6: SWAP3
00000ed7: DUP7
00000ed8: DUP4
00000ed9: ADD
00000eda: SWAP3
00000edb: SWAP1
00000edc: SWAP2
00000edd: DUP3
00000ede: SWAP2
00000edf: DUP6
00000ee0: SWAP2
00000ee1: DUP4
00000ee2: SWAP2
00000ee3: DUP7
00000ee4: SWAP2
00000ee5: PUSH1 0x00
00000ee7: SWAP2
00000ee8: PUSH1 0x1f
00000eea: DUP6
00000eeb: ADD
00000eec: DIV
00000eed: PUSH1 0x0f
00000eef: MUL
00000ef0: PUSH1 0x03
00000ef2: ADD
00000ef3: CALL
00000ef4: POP
00000ef5: SWAP1
00000ef6: POP
00000ef7: SWAP1
00000ef8: DUP2
00000ef9: ADD
00000efa: SWAP1
00000efb: PUSH1 0x1f
00000efd: AND
00000efe: DUP1
00000eff: ISZERO
00000f00: PUSH2 0x0f1d
00000f03: JUMPI
00000f04: DUP1
00000f05: DUP3
00000f06: SUB
00000f07: DUP1
00000f08: MLOAD
00000f09: PUSH1 0x01
00000f0b: DUP4
00000f0c: PUSH1 0x20
00000f0e: SUB
00000f0f: PUSH2 0x0100
00000f12: EXP
00000f13: SUB
00000f14: NOT
00000f15: AND
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x20
00000f1a: ADD
00000f1b: SWAP2
00000f1c: POP
00000f1d: JUMPDEST
00000f1e: POP
00000f1f: SWAP3
00000f20: POP
00000f21: POP
00000f22: POP
00000f23: PUSH1 0x20
00000f25: PUSH1 0x40
00000f27: MLOAD
00000f28: DUP1
00000f29: DUP4
00000f2a: SUB
00000f2b: DUP2
00000f2c: PUSH1 0x00
00000f2e: DUP8
00000f2f: PUSH2 0x61da
00000f32: GAS
00000f33: SUB
00000f34: CALL
00000f35: ISZERO
00000f36: PUSH2 0x0002
00000f39: JUMPI
00000f3a: POP
00000f3b: POP
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: MLOAD
00000f40: SWAP3
00000f41: POP
00000f42: POP
00000f43: PUSH8 0x0de0b6b3a7640000
00000f4c: PUSH3 0x030d40
00000f50: GASPRICE
00000f51: MUL
00000f52: ADD
00000f53: DUP3
00000f54: GT
00000f55: ISZERO
00000f56: PUSH2 0x0f67
00000f59: JUMPI
00000f5a: POP
00000f5b: PUSH1 0x00
00000f5d: SWAP2
00000f5e: POP
00000f5f: JUMPDEST
00000f60: POP
00000f61: SWAP4
00000f62: SWAP3
00000f63: POP
00000f64: POP
00000f65: POP
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH1 0x01
00000f6a: PUSH1 0x00
00000f6c: SWAP1
00000f6d: SLOAD
00000f6e: SWAP1
00000f6f: PUSH2 0x0100
00000f72: EXP
00000f73: SWAP1
00000f74: DIV
00000f75: PUSH1 0x01
00000f77: PUSH1 0xa0
00000f79: PUSH1 0x02
00000f7b: EXP
00000f7c: SUB
00000f7d: AND
00000f7e: PUSH1 0x01
00000f80: PUSH1 0xa0
00000f82: PUSH1 0x02
00000f84: EXP
00000f85: SUB
00000f86: AND
00000f87: PUSH4 0x77228659
00000f8c: DUP4
00000f8d: PUSH1 0x00
00000f8f: DUP10
00000f90: DUP10
00000f91: DUP10
00000f92: PUSH1 0x40
00000f94: MLOAD
00000f95: DUP7
00000f96: PUSH1 0xe0
00000f98: PUSH1 0x02
00000f9a: EXP
00000f9b: MUL
00000f9c: DUP2
00000f9d: MSTORE
00000f9e: PUSH1 0x04
00000fa0: ADD
00000fa1: DUP1
00000fa2: DUP6
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: PUSH1 0x20
00000fa7: ADD
00000fa8: DUP1
00000fa9: PUSH1 0x20
00000fab: ADD
00000fac: DUP1
00000fad: PUSH1 0x20
00000faf: ADD
00000fb0: DUP1
00000fb1: PUSH1 0x20
00000fb3: ADD
00000fb4: DUP5
00000fb5: DUP2
00000fb6: SUB
00000fb7: DUP5
00000fb8: MSTORE
00000fb9: DUP8
00000fba: DUP2
00000fbb: DUP2
00000fbc: MLOAD
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x20
00000fc1: ADD
00000fc2: SWAP2
00000fc3: POP
00000fc4: DUP1
00000fc5: MLOAD
00000fc6: SWAP1
00000fc7: PUSH1 0x20
00000fc9: ADD
00000fca: SWAP1
00000fcb: DUP1
00000fcc: DUP4
00000fcd: DUP4
00000fce: DUP3
00000fcf: SWAP1
00000fd0: PUSH1 0x00
00000fd2: PUSH1 0x04
00000fd4: PUSH1 0x20
00000fd6: DUP5
00000fd7: PUSH1 0x1f
00000fd9: ADD
00000fda: DIV
00000fdb: PUSH1 0x0f
00000fdd: MUL
00000fde: PUSH1 0x03
00000fe0: ADD
00000fe1: CALL
00000fe2: POP
00000fe3: SWAP1
00000fe4: POP
00000fe5: SWAP1
00000fe6: DUP2
00000fe7: ADD
00000fe8: SWAP1
00000fe9: PUSH1 0x1f
00000feb: AND
00000fec: DUP1
00000fed: ISZERO
00000fee: PUSH2 0x100b
00000ff1: JUMPI
00000ff2: DUP1
00000ff3: DUP3
00000ff4: SUB
00000ff5: DUP1
00000ff6: MLOAD
00000ff7: PUSH1 0x01
00000ff9: DUP4
00000ffa: PUSH1 0x20
00000ffc: SUB
00000ffd: PUSH2 0x0100
00001000: EXP
00001001: SUB
00001002: NOT
00001003: AND
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x20
00001008: ADD
00001009: SWAP2
0000100a: POP
0000100b: JUMPDEST
0000100c: POP
0000100d: DUP5
0000100e: DUP2
0000100f: SUB
00001010: DUP4
00001011: MSTORE
00001012: DUP7
00001013: DUP2
00001014: DUP2
00001015: MLOAD
00001016: DUP2
00001017: MSTORE
00001018: PUSH1 0x20
0000101a: ADD
0000101b: SWAP2
0000101c: POP
0000101d: DUP1
0000101e: MLOAD
0000101f: SWAP1
00001020: PUSH1 0x20
00001022: ADD
00001023: SWAP1
00001024: DUP1
00001025: DUP4
00001026: DUP4
00001027: DUP3
00001028: SWAP1
00001029: PUSH1 0x00
0000102b: PUSH1 0x04
0000102d: PUSH1 0x20
0000102f: DUP5
00001030: PUSH1 0x1f
00001032: ADD
00001033: DIV
00001034: PUSH1 0x0f
00001036: MUL
00001037: PUSH1 0x03
00001039: ADD
0000103a: CALL
0000103b: POP
0000103c: SWAP1
0000103d: POP
0000103e: SWAP1
0000103f: DUP2
00001040: ADD
00001041: SWAP1
00001042: PUSH1 0x1f
00001044: AND
00001045: DUP1
00001046: ISZERO
00001047: PUSH2 0x1064
0000104a: JUMPI
0000104b: DUP1
0000104c: DUP3
0000104d: SUB
0000104e: DUP1
0000104f: MLOAD
00001050: PUSH1 0x01
00001052: DUP4
00001053: PUSH1 0x20
00001055: SUB
00001056: PUSH2 0x0100
00001059: EXP
0000105a: SUB
0000105b: NOT
0000105c: AND
0000105d: DUP2
0000105e: MSTORE
0000105f: PUSH1 0x20
00001061: ADD
00001062: SWAP2
00001063: POP
00001064: JUMPDEST
00001065: POP
00001066: DUP5
00001067: DUP2
00001068: SUB
00001069: DUP3
0000106a: MSTORE
0000106b: DUP6
0000106c: DUP2
0000106d: DUP2
0000106e: MLOAD
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x20
00001073: ADD
00001074: SWAP2
00001075: POP
00001076: DUP1
00001077: MLOAD
00001078: SWAP1
00001079: PUSH1 0x20
0000107b: ADD
0000107c: SWAP1
0000107d: DUP1
0000107e: DUP4
0000107f: DUP4
00001080: DUP3
00001081: SWAP1
00001082: PUSH1 0x00
00001084: PUSH1 0x04
00001086: PUSH1 0x20
00001088: DUP5
00001089: PUSH1 0x1f
0000108b: ADD
0000108c: DIV
0000108d: PUSH1 0x0f
0000108f: MUL
00001090: PUSH1 0x03
00001092: ADD
00001093: CALL
00001094: POP
00001095: SWAP1
00001096: POP
00001097: SWAP1
00001098: DUP2
00001099: ADD
0000109a: SWAP1
0000109b: PUSH1 0x1f
0000109d: AND
0000109e: DUP1
0000109f: ISZERO
000010a0: PUSH2 0x10bd
000010a3: JUMPI
000010a4: DUP1
000010a5: DUP3
000010a6: SUB
000010a7: DUP1
000010a8: MLOAD
000010a9: PUSH1 0x01
000010ab: DUP4
000010ac: PUSH1 0x20
000010ae: SUB
000010af: PUSH2 0x0100
000010b2: EXP
000010b3: SUB
000010b4: NOT
000010b5: AND
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH1 0x20
000010ba: ADD
000010bb: SWAP2
000010bc: POP
000010bd: JUMPDEST
000010be: POP
000010bf: SWAP8
000010c0: POP
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: POP
000010c6: POP
000010c7: POP
000010c8: PUSH1 0x20
000010ca: PUSH1 0x40
000010cc: MLOAD
000010cd: DUP1
000010ce: DUP4
000010cf: SUB
000010d0: DUP2
000010d1: DUP6
000010d2: DUP9
000010d3: PUSH2 0x8502
000010d6: GAS
000010d7: SUB
000010d8: CALL
000010d9: ISZERO
000010da: PUSH2 0x0002
000010dd: JUMPI
000010de: POP
000010df: POP
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: MLOAD
000010e4: SWAP5
000010e5: POP
000010e6: PUSH2 0x0f5f
000010e9: SWAP3
000010ea: POP
000010eb: POP
000010ec: POP
000010ed: JUMP
000010ee: JUMPDEST
000010ef: POP
000010f0: PUSH1 0x00
000010f2: PUSH1 0x00
000010f4: SWAP1
000010f5: SLOAD
000010f6: SWAP1
000010f7: PUSH2 0x0100
000010fa: EXP
000010fb: SWAP1
000010fc: DIV
000010fd: PUSH1 0x01
000010ff: PUSH1 0xa0
00001101: PUSH1 0x02
00001103: EXP
00001104: SUB
00001105: AND
00001106: PUSH1 0x01
00001108: PUSH1 0xa0
0000110a: PUSH1 0x02
0000110c: EXP
0000110d: SUB
0000110e: AND
0000110f: PUSH4 0x38cc4831
00001114: PUSH1 0x40
00001116: MLOAD
00001117: DUP2
00001118: PUSH1 0xe0
0000111a: PUSH1 0x02
0000111c: EXP
0000111d: MUL
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x04
00001122: ADD
00001123: DUP1
00001124: SWAP1
00001125: POP
00001126: PUSH1 0x20
00001128: PUSH1 0x40
0000112a: MLOAD
0000112b: DUP1
0000112c: DUP4
0000112d: SUB
0000112e: DUP2
0000112f: PUSH1 0x00
00001131: DUP8
00001132: PUSH2 0x61da
00001135: GAS
00001136: SUB
00001137: CALL
00001138: ISZERO
00001139: PUSH2 0x0002
0000113c: JUMPI
0000113d: POP
0000113e: POP
0000113f: PUSH1 0x40
00001141: MLOAD
00001142: MLOAD
00001143: SWAP2
00001144: POP
00001145: POP
00001146: JUMPDEST
00001147: PUSH1 0x01
00001149: DUP1
0000114a: SLOAD
0000114b: PUSH1 0x01
0000114d: PUSH1 0xa0
0000114f: PUSH1 0x02
00001151: EXP
00001152: SUB
00001153: NOT
00001154: AND
00001155: DUP3
00001156: OR
00001157: SWAP1
00001158: DUP2
00001159: SWAP1
0000115a: SSTORE
0000115b: PUSH1 0x40
0000115d: DUP1
0000115e: MLOAD
0000115f: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
00001180: DUP2
00001181: MSTORE
00001182: SWAP1
00001183: MLOAD
00001184: PUSH1 0x01
00001186: PUSH1 0xa0
00001188: PUSH1 0x02
0000118a: EXP
0000118b: SUB
0000118c: SWAP3
0000118d: SWAP1
0000118e: SWAP3
0000118f: AND
00001190: SWAP2
00001191: PUSH4 0xc281d19e
00001196: SWAP2
00001197: PUSH1 0x04
00001199: DUP2
0000119a: DUP2
0000119b: ADD
0000119c: SWAP3
0000119d: PUSH1 0x20
0000119f: SWAP3
000011a0: SWAP1
000011a1: SWAP2
000011a2: SWAP1
000011a3: DUP3
000011a4: SWAP1
000011a5: SUB
000011a6: ADD
000011a7: DUP2
000011a8: PUSH1 0x00
000011aa: DUP8
000011ab: PUSH2 0x61da
000011ae: GAS
000011af: SUB
000011b0: CALL
000011b1: ISZERO
000011b2: PUSH2 0x0002
000011b5: JUMPI
000011b6: POP
000011b7: POP
000011b8: PUSH1 0x40
000011ba: MLOAD
000011bb: MLOAD
000011bc: SWAP3
000011bd: POP
000011be: POP
000011bf: POP
000011c0: SWAP1
000011c1: JUMP
000011c2: JUMPDEST
000011c3: POP
000011c4: PUSH1 0x00
000011c6: PUSH1 0x00
000011c8: SWAP1
000011c9: SLOAD
000011ca: SWAP1
000011cb: PUSH2 0x0100
000011ce: EXP
000011cf: SWAP1
000011d0: DIV
000011d1: PUSH1 0x01
000011d3: PUSH1 0xa0
000011d5: PUSH1 0x02
000011d7: EXP
000011d8: SUB
000011d9: AND
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: PUSH1 0x02
000011e0: EXP
000011e1: SUB
000011e2: AND
000011e3: PUSH4 0x38cc4831
000011e8: PUSH1 0x40
000011ea: MLOAD
000011eb: DUP2
000011ec: PUSH1 0xe0
000011ee: PUSH1 0x02
000011f0: EXP
000011f1: MUL
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x04
000011f6: ADD
000011f7: DUP1
000011f8: SWAP1
000011f9: POP
000011fa: PUSH1 0x20
000011fc: PUSH1 0x40
000011fe: MLOAD
000011ff: DUP1
00001200: DUP4
00001201: SUB
00001202: DUP2
00001203: PUSH1 0x00
00001205: DUP8
00001206: PUSH2 0x61da
00001209: GAS
0000120a: SUB
0000120b: CALL
0000120c: ISZERO
0000120d: PUSH2 0x0002
00001210: JUMPI
00001211: POP
00001212: POP
00001213: PUSH1 0x40
00001215: MLOAD
00001216: MLOAD
00001217: SWAP2
00001218: POP
00001219: POP
0000121a: JUMPDEST
0000121b: PUSH1 0x01
0000121d: DUP1
0000121e: SLOAD
0000121f: PUSH1 0x01
00001221: PUSH1 0xa0
00001223: PUSH1 0x02
00001225: EXP
00001226: SUB
00001227: NOT
00001228: AND
00001229: DUP3
0000122a: OR
0000122b: SWAP1
0000122c: DUP2
0000122d: SWAP1
0000122e: SSTORE
0000122f: PUSH1 0x40
00001231: DUP1
00001232: MLOAD
00001233: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x04
00001258: DUP2
00001259: ADD
0000125a: DUP6
0000125b: SWAP1
0000125c: MSTORE
0000125d: SWAP1
0000125e: MLOAD
0000125f: PUSH1 0x01
00001261: PUSH1 0xa0
00001263: PUSH1 0x02
00001265: EXP
00001266: SUB
00001267: SWAP3
00001268: SWAP1
00001269: SWAP3
0000126a: AND
0000126b: SWAP2
0000126c: PUSH4 0x688dcfd7
00001271: SWAP2
00001272: PUSH1 0x24
00001274: DUP2
00001275: DUP2
00001276: ADD
00001277: SWAP3
00001278: PUSH1 0x00
0000127a: SWAP3
0000127b: SWAP1
0000127c: SWAP2
0000127d: SWAP1
0000127e: DUP3
0000127f: SWAP1
00001280: SUB
00001281: ADD
00001282: DUP2
00001283: DUP4
00001284: DUP8
00001285: PUSH2 0x61da
00001288: GAS
00001289: SUB
0000128a: CALL
0000128b: ISZERO
0000128c: PUSH2 0x0002
0000128f: JUMPI
00001290: POP
00001291: POP
00001292: POP
00001293: POP
00001294: POP
00001295: JUMP
00001296: JUMPDEST
00001297: POP
00001298: PUSH1 0x00
0000129a: JUMPDEST
0000129b: DUP8
0000129c: MLOAD
0000129d: DUP2
0000129e: LT
0000129f: ISZERO
000012a0: PUSH2 0x12e8
000012a3: JUMPI
000012a4: DUP8
000012a5: DUP2
000012a6: DUP2
000012a7: MLOAD
000012a8: DUP2
000012a9: LT
000012aa: ISZERO
000012ab: PUSH2 0x0002
000012ae: JUMPI
000012af: SWAP1
000012b0: PUSH1 0x20
000012b2: ADD
000012b3: ADD
000012b4: MLOAD
000012b5: PUSH1 0xf8
000012b7: PUSH1 0x02
000012b9: EXP
000012ba: SWAP1
000012bb: DIV
000012bc: PUSH1 0xf8
000012be: PUSH1 0x02
000012c0: EXP
000012c1: MUL
000012c2: DUP4
000012c3: DUP4
000012c4: DUP1
000012c5: PUSH1 0x01
000012c7: ADD
000012c8: SWAP5
000012c9: POP
000012ca: DUP2
000012cb: MLOAD
000012cc: DUP2
000012cd: LT
000012ce: ISZERO
000012cf: PUSH2 0x0002
000012d2: JUMPI
000012d3: SWAP1
000012d4: PUSH1 0x20
000012d6: ADD
000012d7: ADD
000012d8: SWAP1
000012d9: SWAP1
000012da: DUP2
000012db: PUSH1 0x00
000012dd: BYTE
000012de: SWAP1
000012df: MSTORE8
000012e0: POP
000012e1: PUSH1 0x01
000012e3: ADD
000012e4: PUSH2 0x129a
000012e7: JUMP
000012e8: JUMPDEST
000012e9: POP
000012ea: PUSH1 0x00
000012ec: JUMPDEST
000012ed: DUP7
000012ee: MLOAD
000012ef: DUP2
000012f0: LT
000012f1: ISZERO
000012f2: PUSH2 0x133a
000012f5: JUMPI
000012f6: DUP7
000012f7: DUP2
000012f8: DUP2
000012f9: MLOAD
000012fa: DUP2
000012fb: LT
000012fc: ISZERO
000012fd: PUSH2 0x0002
00001300: JUMPI
00001301: SWAP1
00001302: PUSH1 0x20
00001304: ADD
00001305: ADD
00001306: MLOAD
00001307: PUSH1 0xf8
00001309: PUSH1 0x02
0000130b: EXP
0000130c: SWAP1
0000130d: DIV
0000130e: PUSH1 0xf8
00001310: PUSH1 0x02
00001312: EXP
00001313: MUL
00001314: DUP4
00001315: DUP4
00001316: DUP1
00001317: PUSH1 0x01
00001319: ADD
0000131a: SWAP5
0000131b: POP
0000131c: DUP2
0000131d: MLOAD
0000131e: DUP2
0000131f: LT
00001320: ISZERO
00001321: PUSH2 0x0002
00001324: JUMPI
00001325: SWAP1
00001326: PUSH1 0x20
00001328: ADD
00001329: ADD
0000132a: SWAP1
0000132b: SWAP1
0000132c: DUP2
0000132d: PUSH1 0x00
0000132f: BYTE
00001330: SWAP1
00001331: MSTORE8
00001332: POP
00001333: PUSH1 0x01
00001335: ADD
00001336: PUSH2 0x12ec
00001339: JUMP
0000133a: JUMPDEST
0000133b: POP
0000133c: PUSH1 0x00
0000133e: JUMPDEST
0000133f: DUP6
00001340: MLOAD
00001341: DUP2
00001342: LT
00001343: ISZERO
00001344: PUSH2 0x138c
00001347: JUMPI
00001348: DUP6
00001349: DUP2
0000134a: DUP2
0000134b: MLOAD
0000134c: DUP2
0000134d: LT
0000134e: ISZERO
0000134f: PUSH2 0x0002
00001352: JUMPI
00001353: SWAP1
00001354: PUSH1 0x20
00001356: ADD
00001357: ADD
00001358: MLOAD
00001359: PUSH1 0xf8
0000135b: PUSH1 0x02
0000135d: EXP
0000135e: SWAP1
0000135f: DIV
00001360: PUSH1 0xf8
00001362: PUSH1 0x02
00001364: EXP
00001365: MUL
00001366: DUP4
00001367: DUP4
00001368: DUP1
00001369: PUSH1 0x01
0000136b: ADD
0000136c: SWAP5
0000136d: POP
0000136e: DUP2
0000136f: MLOAD
00001370: DUP2
00001371: LT
00001372: ISZERO
00001373: PUSH2 0x0002
00001376: JUMPI
00001377: SWAP1
00001378: PUSH1 0x20
0000137a: ADD
0000137b: ADD
0000137c: SWAP1
0000137d: SWAP1
0000137e: DUP2
0000137f: PUSH1 0x00
00001381: BYTE
00001382: SWAP1
00001383: MSTORE8
00001384: POP
00001385: PUSH1 0x01
00001387: ADD
00001388: PUSH2 0x133e
0000138b: JUMP
0000138c: JUMPDEST
0000138d: POP
0000138e: PUSH1 0x00
00001390: JUMPDEST
00001391: DUP5
00001392: MLOAD
00001393: DUP2
00001394: LT
00001395: ISZERO
00001396: PUSH2 0x13de
00001399: JUMPI
0000139a: DUP5
0000139b: DUP2
0000139c: DUP2
0000139d: MLOAD
0000139e: DUP2
0000139f: LT
000013a0: ISZERO
000013a1: PUSH2 0x0002
000013a4: JUMPI
000013a5: SWAP1
000013a6: PUSH1 0x20
000013a8: ADD
000013a9: ADD
000013aa: MLOAD
000013ab: PUSH1 0xf8
000013ad: PUSH1 0x02
000013af: EXP
000013b0: SWAP1
000013b1: DIV
000013b2: PUSH1 0xf8
000013b4: PUSH1 0x02
000013b6: EXP
000013b7: MUL
000013b8: DUP4
000013b9: DUP4
000013ba: DUP1
000013bb: PUSH1 0x01
000013bd: ADD
000013be: SWAP5
000013bf: POP
000013c0: DUP2
000013c1: MLOAD
000013c2: DUP2
000013c3: LT
000013c4: ISZERO
000013c5: PUSH2 0x0002
000013c8: JUMPI
000013c9: SWAP1
000013ca: PUSH1 0x20
000013cc: ADD
000013cd: ADD
000013ce: SWAP1
000013cf: SWAP1
000013d0: DUP2
000013d1: PUSH1 0x00
000013d3: BYTE
000013d4: SWAP1
000013d5: MSTORE8
000013d6: POP
000013d7: PUSH1 0x01
000013d9: ADD
000013da: PUSH2 0x1390
000013dd: JUMP
000013de: JUMPDEST
000013df: POP
000013e0: SWAP1
000013e1: SWAP14
000013e2: SWAP13
000013e3: POP
000013e4: POP
000013e5: POP
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: POP
000013ea: POP
000013eb: POP
000013ec: POP
000013ed: POP
000013ee: POP
000013ef: POP
000013f0: JUMP
000013f1: JUMPDEST
000013f2: SWAP1
000013f3: POP
000013f4: JUMPDEST
000013f5: SWAP2
000013f6: SWAP1
000013f7: POP
000013f8: JUMP
000013f9: JUMPDEST
000013fa: GT
000013fb: ISZERO
000013fc: PUSH2 0x142d
000013ff: JUMPI
00001400: POP
00001401: PUSH1 0x00
00001403: DUP1
00001404: SLOAD
00001405: PUSH1 0x01
00001407: PUSH1 0xa0
00001409: PUSH1 0x02
0000140b: EXP
0000140c: SUB
0000140d: NOT
0000140e: AND
0000140f: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00001424: OR
00001425: SWAP1
00001426: SSTORE
00001427: PUSH1 0x01
00001429: PUSH2 0x13f4
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH1 0x00
00001430: PUSH2 0x144c
00001433: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd
00001448: PUSH2 0x0b62
0000144b: JUMP
0000144c: JUMPDEST
0000144d: GT
0000144e: ISZERO
0000144f: PUSH2 0x1483
00001452: JUMPI
00001453: POP
00001454: PUSH1 0x00
00001456: DUP1
00001457: SLOAD
00001458: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd
0000146d: PUSH1 0x01
0000146f: PUSH1 0xa0
00001471: PUSH1 0x02
00001473: EXP
00001474: SUB
00001475: NOT
00001476: SWAP2
00001477: SWAP1
00001478: SWAP2
00001479: AND
0000147a: OR
0000147b: SWAP1
0000147c: SSTORE
0000147d: PUSH1 0x01
0000147f: PUSH2 0x13f4
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x00
00001486: PUSH2 0x14a2
00001489: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
0000149e: PUSH2 0x0b62
000014a1: JUMP
000014a2: JUMPDEST
000014a3: GT
000014a4: ISZERO
000014a5: PUSH2 0x14d6
000014a8: JUMPI
000014a9: POP
000014aa: PUSH1 0x00
000014ac: DUP1
000014ad: SLOAD
000014ae: PUSH1 0x01
000014b0: PUSH1 0xa0
000014b2: PUSH1 0x02
000014b4: EXP
000014b5: SUB
000014b6: NOT
000014b7: AND
000014b8: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
000014cd: OR
000014ce: SWAP1
000014cf: SSTORE
000014d0: PUSH1 0x01
000014d2: PUSH2 0x13f4
000014d5: JUMP
000014d6: JUMPDEST
000014d7: POP
000014d8: PUSH1 0x00
000014da: PUSH2 0x13f4
000014dd: JUMP
000014de: JUMPDEST
000014df: DUP4
000014e0: DUP2
000014e1: DUP2
000014e2: MLOAD
000014e3: DUP2
000014e4: LT
000014e5: ISZERO
000014e6: PUSH2 0x0002
000014e9: JUMPI
000014ea: ADD
000014eb: PUSH1 0x20
000014ed: ADD
000014ee: MLOAD
000014ef: PUSH1 0xf8
000014f1: PUSH1 0x02
000014f3: EXP
000014f4: SWAP1
000014f5: DUP2
000014f6: SWAP1
000014f7: DIV
000014f8: MUL
000014f9: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
0000151a: EQ
0000151b: ISZERO
0000151c: PUSH2 0x1524
0000151f: JUMPI
00001520: PUSH1 0x01
00001522: SWAP2
00001523: POP
00001524: JUMPDEST
00001525: PUSH1 0x01
00001527: ADD
00001528: PUSH2 0x0d2a
0000152b: JUMP
0000152c: JUMPDEST
0000152d: PUSH1 0x00
0000152f: NOT
00001530: SWAP1
00001531: SWAP6
00001532: ADD
00001533: SWAP5
00001534: JUMPDEST
00001535: PUSH1 0x0a
00001537: DUP4
00001538: MUL
00001539: SWAP3
0000153a: POP
0000153b: DUP3
0000153c: POP
0000153d: PUSH1 0x30
0000153f: DUP5
00001540: DUP3
00001541: DUP2
00001542: MLOAD
00001543: DUP2
00001544: LT
00001545: ISZERO
00001546: PUSH2 0x0002
00001549: JUMPI
0000154a: ADD
0000154b: PUSH1 0x20
0000154d: ADD
0000154e: MLOAD
0000154f: PUSH1 0xf8
00001551: PUSH1 0x02
00001553: EXP
00001554: SWAP1
00001555: DUP2
00001556: SWAP1
00001557: DIV
00001558: DUP2
00001559: MUL
0000155a: DIV
0000155b: SWAP1
0000155c: SWAP4
0000155d: ADD
0000155e: PUSH1 0x2f
00001560: NOT
00001561: ADD
00001562: SWAP3
00001563: POP
00001564: PUSH2 0x1524
00001567: JUMP

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.