Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-w1sdl54r
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9b-19bd-79f0-8ed2-015836242285
--------
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:46:03.334448+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 9136,
        "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: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ab
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x0ae1b13d
00000034: EQ
00000035: PUSH2 0x00ad
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x27e235e3
0000003f: EQ
00000040: PUSH2 0x01b6
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x30b39a62
0000004a: EQ
0000004b: PUSH2 0x01e2
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x3a7d280c
00000055: EQ
00000056: PUSH2 0x02ad
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x3ffbd47f
00000060: EQ
00000061: PUSH2 0x0319
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x4cbee813
0000006b: EQ
0000006c: PUSH2 0x03b6
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x62bb758f
00000076: EQ
00000077: PUSH2 0x0422
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x663f9c0d
00000081: EQ
00000082: PUSH2 0x0452
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa26e1186
0000008c: EQ
0000008d: PUSH2 0x0480
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xa87430ba
00000097: EQ
00000098: PUSH2 0x0542
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe827b3e2
000000a2: EQ
000000a3: PUSH2 0x05c6
000000a6: JUMPI
000000a7: PUSH2 0x00ab
000000aa: JUMP
000000ab: JUMPDEST
000000ac: STOP
000000ad: JUMPDEST
000000ae: PUSH2 0x0148
000000b1: PUSH1 0x04
000000b3: DUP1
000000b4: DUP1
000000b5: CALLDATALOAD
000000b6: SWAP1
000000b7: PUSH1 0x20
000000b9: ADD
000000ba: SWAP1
000000bb: DUP3
000000bc: ADD
000000bd: DUP1
000000be: CALLDATALOAD
000000bf: SWAP1
000000c0: PUSH1 0x20
000000c2: ADD
000000c3: SWAP2
000000c4: SWAP2
000000c5: SWAP1
000000c6: DUP1
000000c7: DUP1
000000c8: PUSH1 0x1f
000000ca: ADD
000000cb: PUSH1 0x20
000000cd: DUP1
000000ce: SWAP2
000000cf: DIV
000000d0: MUL
000000d1: PUSH1 0x20
000000d3: ADD
000000d4: PUSH1 0x40
000000d6: MLOAD
000000d7: SWAP1
000000d8: DUP2
000000d9: ADD
000000da: PUSH1 0x40
000000dc: MSTORE
000000dd: DUP1
000000de: SWAP4
000000df: SWAP3
000000e0: SWAP2
000000e1: SWAP1
000000e2: DUP2
000000e3: DUP2
000000e4: MSTORE
000000e5: PUSH1 0x20
000000e7: ADD
000000e8: DUP4
000000e9: DUP4
000000ea: DUP1
000000eb: DUP3
000000ec: DUP5
000000ed: CALLDATACOPY
000000ee: DUP3
000000ef: ADD
000000f0: SWAP2
000000f1: POP
000000f2: POP
000000f3: POP
000000f4: POP
000000f5: POP
000000f6: POP
000000f7: SWAP1
000000f8: SWAP1
000000f9: SWAP2
000000fa: SWAP1
000000fb: DUP1
000000fc: CALLDATALOAD
000000fd: SWAP1
000000fe: PUSH1 0x20
00000100: ADD
00000101: SWAP1
00000102: DUP3
00000103: ADD
00000104: DUP1
00000105: CALLDATALOAD
00000106: SWAP1
00000107: PUSH1 0x20
00000109: ADD
0000010a: SWAP2
0000010b: SWAP2
0000010c: SWAP1
0000010d: DUP1
0000010e: DUP1
0000010f: PUSH1 0x1f
00000111: ADD
00000112: PUSH1 0x20
00000114: DUP1
00000115: SWAP2
00000116: DIV
00000117: MUL
00000118: PUSH1 0x20
0000011a: ADD
0000011b: PUSH1 0x40
0000011d: MLOAD
0000011e: SWAP1
0000011f: DUP2
00000120: ADD
00000121: PUSH1 0x40
00000123: MSTORE
00000124: DUP1
00000125: SWAP4
00000126: SWAP3
00000127: SWAP2
00000128: SWAP1
00000129: DUP2
0000012a: DUP2
0000012b: MSTORE
0000012c: PUSH1 0x20
0000012e: ADD
0000012f: DUP4
00000130: DUP4
00000131: DUP1
00000132: DUP3
00000133: DUP5
00000134: CALLDATACOPY
00000135: DUP3
00000136: ADD
00000137: SWAP2
00000138: POP
00000139: POP
0000013a: POP
0000013b: POP
0000013c: POP
0000013d: POP
0000013e: SWAP1
0000013f: SWAP1
00000140: SWAP2
00000141: SWAP1
00000142: POP
00000143: POP
00000144: PUSH2 0x064a
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH1 0x40
0000014b: MLOAD
0000014c: DUP1
0000014d: DUP1
0000014e: PUSH1 0x20
00000150: ADD
00000151: DUP3
00000152: DUP2
00000153: SUB
00000154: DUP3
00000155: MSTORE
00000156: DUP4
00000157: DUP2
00000158: DUP2
00000159: MLOAD
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: SWAP2
00000160: POP
00000161: DUP1
00000162: MLOAD
00000163: SWAP1
00000164: PUSH1 0x20
00000166: ADD
00000167: SWAP1
00000168: DUP1
00000169: DUP4
0000016a: DUP4
0000016b: DUP3
0000016c: SWAP1
0000016d: PUSH1 0x00
0000016f: PUSH1 0x04
00000171: PUSH1 0x20
00000173: DUP5
00000174: PUSH1 0x1f
00000176: ADD
00000177: DIV
00000178: PUSH1 0x03
0000017a: MUL
0000017b: PUSH1 0x0f
0000017d: ADD
0000017e: CALL
0000017f: POP
00000180: SWAP1
00000181: POP
00000182: SWAP1
00000183: DUP2
00000184: ADD
00000185: SWAP1
00000186: PUSH1 0x1f
00000188: AND
00000189: DUP1
0000018a: ISZERO
0000018b: PUSH2 0x01a8
0000018e: JUMPI
0000018f: DUP1
00000190: DUP3
00000191: SUB
00000192: DUP1
00000193: MLOAD
00000194: PUSH1 0x01
00000196: DUP4
00000197: PUSH1 0x20
00000199: SUB
0000019a: PUSH2 0x0100
0000019d: EXP
0000019e: SUB
0000019f: NOT
000001a0: AND
000001a1: DUP2
000001a2: MSTORE
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: SWAP2
000001a7: POP
000001a8: JUMPDEST
000001a9: POP
000001aa: SWAP3
000001ab: POP
000001ac: POP
000001ad: POP
000001ae: PUSH1 0x40
000001b0: MLOAD
000001b1: DUP1
000001b2: SWAP2
000001b3: SUB
000001b4: SWAP1
000001b5: RETURN
000001b6: JUMPDEST
000001b7: PUSH2 0x01cc
000001ba: PUSH1 0x04
000001bc: DUP1
000001bd: DUP1
000001be: CALLDATALOAD
000001bf: SWAP1
000001c0: PUSH1 0x20
000001c2: ADD
000001c3: SWAP1
000001c4: SWAP2
000001c5: SWAP1
000001c6: POP
000001c7: POP
000001c8: PUSH2 0x08a3
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: DUP1
000001d1: DUP3
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: SWAP2
000001d8: POP
000001d9: POP
000001da: PUSH1 0x40
000001dc: MLOAD
000001dd: DUP1
000001de: SWAP2
000001df: SUB
000001e0: SWAP1
000001e1: RETURN
000001e2: JUMPDEST
000001e3: PUSH2 0x023f
000001e6: PUSH1 0x04
000001e8: DUP1
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: SWAP1
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP1
000001f0: DUP3
000001f1: ADD
000001f2: DUP1
000001f3: CALLDATALOAD
000001f4: SWAP1
000001f5: PUSH1 0x20
000001f7: ADD
000001f8: SWAP2
000001f9: SWAP2
000001fa: SWAP1
000001fb: DUP1
000001fc: DUP1
000001fd: PUSH1 0x1f
000001ff: ADD
00000200: PUSH1 0x20
00000202: DUP1
00000203: SWAP2
00000204: DIV
00000205: MUL
00000206: PUSH1 0x20
00000208: ADD
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: SWAP1
0000020d: DUP2
0000020e: ADD
0000020f: PUSH1 0x40
00000211: MSTORE
00000212: DUP1
00000213: SWAP4
00000214: SWAP3
00000215: SWAP2
00000216: SWAP1
00000217: DUP2
00000218: DUP2
00000219: MSTORE
0000021a: PUSH1 0x20
0000021c: ADD
0000021d: DUP4
0000021e: DUP4
0000021f: DUP1
00000220: DUP3
00000221: DUP5
00000222: CALLDATACOPY
00000223: DUP3
00000224: ADD
00000225: SWAP2
00000226: POP
00000227: POP
00000228: POP
00000229: POP
0000022a: POP
0000022b: POP
0000022c: SWAP1
0000022d: SWAP1
0000022e: SWAP2
0000022f: SWAP1
00000230: DUP1
00000231: CALLDATALOAD
00000232: SWAP1
00000233: PUSH1 0x20
00000235: ADD
00000236: SWAP1
00000237: SWAP2
00000238: SWAP1
00000239: POP
0000023a: POP
0000023b: PUSH2 0x08be
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH1 0x40
00000242: MLOAD
00000243: DUP1
00000244: DUP1
00000245: PUSH1 0x20
00000247: ADD
00000248: DUP3
00000249: DUP2
0000024a: SUB
0000024b: DUP3
0000024c: MSTORE
0000024d: DUP4
0000024e: DUP2
0000024f: DUP2
00000250: MLOAD
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP2
00000257: POP
00000258: DUP1
00000259: MLOAD
0000025a: SWAP1
0000025b: PUSH1 0x20
0000025d: ADD
0000025e: SWAP1
0000025f: DUP1
00000260: DUP4
00000261: DUP4
00000262: DUP3
00000263: SWAP1
00000264: PUSH1 0x00
00000266: PUSH1 0x04
00000268: PUSH1 0x20
0000026a: DUP5
0000026b: PUSH1 0x1f
0000026d: ADD
0000026e: DIV
0000026f: PUSH1 0x03
00000271: MUL
00000272: PUSH1 0x0f
00000274: ADD
00000275: CALL
00000276: POP
00000277: SWAP1
00000278: POP
00000279: SWAP1
0000027a: DUP2
0000027b: ADD
0000027c: SWAP1
0000027d: PUSH1 0x1f
0000027f: AND
00000280: DUP1
00000281: ISZERO
00000282: PUSH2 0x029f
00000285: JUMPI
00000286: DUP1
00000287: DUP3
00000288: SUB
00000289: DUP1
0000028a: MLOAD
0000028b: PUSH1 0x01
0000028d: DUP4
0000028e: PUSH1 0x20
00000290: SUB
00000291: PUSH2 0x0100
00000294: EXP
00000295: SUB
00000296: NOT
00000297: AND
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: SWAP2
0000029e: POP
0000029f: JUMPDEST
000002a0: POP
000002a1: SWAP3
000002a2: POP
000002a3: POP
000002a4: POP
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: DUP1
000002a9: SWAP2
000002aa: SUB
000002ab: SWAP1
000002ac: RETURN
000002ad: JUMPDEST
000002ae: PUSH2 0x0301
000002b1: PUSH1 0x04
000002b3: DUP1
000002b4: DUP1
000002b5: CALLDATALOAD
000002b6: SWAP1
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: SWAP1
000002bb: DUP3
000002bc: ADD
000002bd: DUP1
000002be: CALLDATALOAD
000002bf: SWAP1
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: SWAP2
000002c4: SWAP2
000002c5: SWAP1
000002c6: DUP1
000002c7: DUP1
000002c8: PUSH1 0x1f
000002ca: ADD
000002cb: PUSH1 0x20
000002cd: DUP1
000002ce: SWAP2
000002cf: DIV
000002d0: MUL
000002d1: PUSH1 0x20
000002d3: ADD
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: SWAP1
000002d8: DUP2
000002d9: ADD
000002da: PUSH1 0x40
000002dc: MSTORE
000002dd: DUP1
000002de: SWAP4
000002df: SWAP3
000002e0: SWAP2
000002e1: SWAP1
000002e2: DUP2
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: DUP4
000002e9: DUP4
000002ea: DUP1
000002eb: DUP3
000002ec: DUP5
000002ed: CALLDATACOPY
000002ee: DUP3
000002ef: ADD
000002f0: SWAP2
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: POP
000002f6: POP
000002f7: SWAP1
000002f8: SWAP1
000002f9: SWAP2
000002fa: SWAP1
000002fb: POP
000002fc: POP
000002fd: PUSH2 0x0b31
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x40
00000304: MLOAD
00000305: DUP1
00000306: DUP3
00000307: ISZERO
00000308: ISZERO
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x20
0000030d: ADD
0000030e: SWAP2
0000030f: POP
00000310: POP
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: SWAP2
00000316: SUB
00000317: SWAP1
00000318: RETURN
00000319: JUMPDEST
0000031a: PUSH2 0x03b4
0000031d: PUSH1 0x04
0000031f: DUP1
00000320: DUP1
00000321: CALLDATALOAD
00000322: SWAP1
00000323: PUSH1 0x20
00000325: ADD
00000326: SWAP1
00000327: DUP3
00000328: ADD
00000329: DUP1
0000032a: CALLDATALOAD
0000032b: SWAP1
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: SWAP2
00000331: SWAP1
00000332: DUP1
00000333: DUP1
00000334: PUSH1 0x1f
00000336: ADD
00000337: PUSH1 0x20
00000339: DUP1
0000033a: SWAP2
0000033b: DIV
0000033c: MUL
0000033d: PUSH1 0x20
0000033f: ADD
00000340: PUSH1 0x40
00000342: MLOAD
00000343: SWAP1
00000344: DUP2
00000345: ADD
00000346: PUSH1 0x40
00000348: MSTORE
00000349: DUP1
0000034a: SWAP4
0000034b: SWAP3
0000034c: SWAP2
0000034d: SWAP1
0000034e: DUP2
0000034f: DUP2
00000350: MSTORE
00000351: PUSH1 0x20
00000353: ADD
00000354: DUP4
00000355: DUP4
00000356: DUP1
00000357: DUP3
00000358: DUP5
00000359: CALLDATACOPY
0000035a: DUP3
0000035b: ADD
0000035c: SWAP2
0000035d: POP
0000035e: POP
0000035f: POP
00000360: POP
00000361: POP
00000362: POP
00000363: SWAP1
00000364: SWAP1
00000365: SWAP2
00000366: SWAP1
00000367: DUP1
00000368: CALLDATALOAD
00000369: SWAP1
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: SWAP1
0000036e: DUP3
0000036f: ADD
00000370: DUP1
00000371: CALLDATALOAD
00000372: SWAP1
00000373: PUSH1 0x20
00000375: ADD
00000376: SWAP2
00000377: SWAP2
00000378: SWAP1
00000379: DUP1
0000037a: DUP1
0000037b: PUSH1 0x1f
0000037d: ADD
0000037e: PUSH1 0x20
00000380: DUP1
00000381: SWAP2
00000382: DIV
00000383: MUL
00000384: PUSH1 0x20
00000386: ADD
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: SWAP1
0000038b: DUP2
0000038c: ADD
0000038d: PUSH1 0x40
0000038f: MSTORE
00000390: DUP1
00000391: SWAP4
00000392: SWAP3
00000393: SWAP2
00000394: SWAP1
00000395: DUP2
00000396: DUP2
00000397: MSTORE
00000398: PUSH1 0x20
0000039a: ADD
0000039b: DUP4
0000039c: DUP4
0000039d: DUP1
0000039e: DUP3
0000039f: DUP5
000003a0: CALLDATACOPY
000003a1: DUP3
000003a2: ADD
000003a3: SWAP2
000003a4: POP
000003a5: POP
000003a6: POP
000003a7: POP
000003a8: POP
000003a9: POP
000003aa: SWAP1
000003ab: SWAP1
000003ac: SWAP2
000003ad: SWAP1
000003ae: POP
000003af: POP
000003b0: PUSH2 0x0c20
000003b3: JUMP
000003b4: JUMPDEST
000003b5: STOP
000003b6: JUMPDEST
000003b7: PUSH2 0x040a
000003ba: PUSH1 0x04
000003bc: DUP1
000003bd: DUP1
000003be: CALLDATALOAD
000003bf: SWAP1
000003c0: PUSH1 0x20
000003c2: ADD
000003c3: SWAP1
000003c4: DUP3
000003c5: ADD
000003c6: DUP1
000003c7: CALLDATALOAD
000003c8: SWAP1
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: SWAP2
000003cd: SWAP2
000003ce: SWAP1
000003cf: DUP1
000003d0: DUP1
000003d1: PUSH1 0x1f
000003d3: ADD
000003d4: PUSH1 0x20
000003d6: DUP1
000003d7: SWAP2
000003d8: DIV
000003d9: MUL
000003da: PUSH1 0x20
000003dc: ADD
000003dd: PUSH1 0x40
000003df: MLOAD
000003e0: SWAP1
000003e1: DUP2
000003e2: ADD
000003e3: PUSH1 0x40
000003e5: MSTORE
000003e6: DUP1
000003e7: SWAP4
000003e8: SWAP3
000003e9: SWAP2
000003ea: SWAP1
000003eb: DUP2
000003ec: DUP2
000003ed: MSTORE
000003ee: PUSH1 0x20
000003f0: ADD
000003f1: DUP4
000003f2: DUP4
000003f3: DUP1
000003f4: DUP3
000003f5: DUP5
000003f6: CALLDATACOPY
000003f7: DUP3
000003f8: ADD
000003f9: SWAP2
000003fa: POP
000003fb: POP
000003fc: POP
000003fd: POP
000003fe: POP
000003ff: POP
00000400: SWAP1
00000401: SWAP1
00000402: SWAP2
00000403: SWAP1
00000404: POP
00000405: POP
00000406: PUSH2 0x0d85
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: DUP3
00000410: ISZERO
00000411: ISZERO
00000412: DUP2
00000413: MSTORE
00000414: PUSH1 0x20
00000416: ADD
00000417: SWAP2
00000418: POP
00000419: POP
0000041a: PUSH1 0x40
0000041c: MLOAD
0000041d: DUP1
0000041e: SWAP2
0000041f: SUB
00000420: SWAP1
00000421: RETURN
00000422: JUMPDEST
00000423: PUSH2 0x0438
00000426: PUSH1 0x04
00000428: DUP1
00000429: DUP1
0000042a: CALLDATALOAD
0000042b: SWAP1
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP1
00000430: SWAP2
00000431: SWAP1
00000432: POP
00000433: POP
00000434: PUSH2 0x0e74
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP1
0000043d: DUP3
0000043e: PUSH1 0x00
00000440: NOT
00000441: AND
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP2
00000448: POP
00000449: POP
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: SWAP2
0000044f: SUB
00000450: SWAP1
00000451: RETURN
00000452: JUMPDEST
00000453: PUSH2 0x0468
00000456: PUSH1 0x04
00000458: DUP1
00000459: DUP1
0000045a: CALLDATALOAD
0000045b: SWAP1
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: SWAP1
00000460: SWAP2
00000461: SWAP1
00000462: POP
00000463: POP
00000464: PUSH2 0x0e8f
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: DUP1
0000046d: DUP3
0000046e: ISZERO
0000046f: ISZERO
00000470: DUP2
00000471: MSTORE
00000472: PUSH1 0x20
00000474: ADD
00000475: SWAP2
00000476: POP
00000477: POP
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: DUP1
0000047c: SWAP2
0000047d: SUB
0000047e: SWAP1
0000047f: RETURN
00000480: JUMPDEST
00000481: PUSH2 0x04d4
00000484: PUSH1 0x04
00000486: DUP1
00000487: DUP1
00000488: CALLDATALOAD
00000489: SWAP1
0000048a: PUSH1 0x20
0000048c: ADD
0000048d: SWAP1
0000048e: DUP3
0000048f: ADD
00000490: DUP1
00000491: CALLDATALOAD
00000492: SWAP1
00000493: PUSH1 0x20
00000495: ADD
00000496: SWAP2
00000497: SWAP2
00000498: SWAP1
00000499: DUP1
0000049a: DUP1
0000049b: PUSH1 0x1f
0000049d: ADD
0000049e: PUSH1 0x20
000004a0: DUP1
000004a1: SWAP2
000004a2: DIV
000004a3: MUL
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: PUSH1 0x40
000004a9: MLOAD
000004aa: SWAP1
000004ab: DUP2
000004ac: ADD
000004ad: PUSH1 0x40
000004af: MSTORE
000004b0: DUP1
000004b1: SWAP4
000004b2: SWAP3
000004b3: SWAP2
000004b4: SWAP1
000004b5: DUP2
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x20
000004ba: ADD
000004bb: DUP4
000004bc: DUP4
000004bd: DUP1
000004be: DUP3
000004bf: DUP5
000004c0: CALLDATACOPY
000004c1: DUP3
000004c2: ADD
000004c3: SWAP2
000004c4: POP
000004c5: POP
000004c6: POP
000004c7: POP
000004c8: POP
000004c9: POP
000004ca: SWAP1
000004cb: SWAP1
000004cc: SWAP2
000004cd: SWAP1
000004ce: POP
000004cf: POP
000004d0: PUSH2 0x0eb4
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x40
000004d7: MLOAD
000004d8: DUP1
000004d9: DUP1
000004da: PUSH1 0x20
000004dc: ADD
000004dd: DUP3
000004de: DUP2
000004df: SUB
000004e0: DUP3
000004e1: MSTORE
000004e2: DUP4
000004e3: DUP2
000004e4: DUP2
000004e5: MLOAD
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: SWAP2
000004ec: POP
000004ed: DUP1
000004ee: MLOAD
000004ef: SWAP1
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP1
000004f4: DUP1
000004f5: DUP4
000004f6: DUP4
000004f7: DUP3
000004f8: SWAP1
000004f9: PUSH1 0x00
000004fb: PUSH1 0x04
000004fd: PUSH1 0x20
000004ff: DUP5
00000500: PUSH1 0x1f
00000502: ADD
00000503: DIV
00000504: PUSH1 0x03
00000506: MUL
00000507: PUSH1 0x0f
00000509: ADD
0000050a: CALL
0000050b: POP
0000050c: SWAP1
0000050d: POP
0000050e: SWAP1
0000050f: DUP2
00000510: ADD
00000511: SWAP1
00000512: PUSH1 0x1f
00000514: AND
00000515: DUP1
00000516: ISZERO
00000517: PUSH2 0x0534
0000051a: JUMPI
0000051b: DUP1
0000051c: DUP3
0000051d: SUB
0000051e: DUP1
0000051f: MLOAD
00000520: PUSH1 0x01
00000522: DUP4
00000523: PUSH1 0x20
00000525: SUB
00000526: PUSH2 0x0100
00000529: EXP
0000052a: SUB
0000052b: NOT
0000052c: AND
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP2
00000533: POP
00000534: JUMPDEST
00000535: POP
00000536: SWAP3
00000537: POP
00000538: POP
00000539: POP
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: SWAP2
0000053f: SUB
00000540: SWAP1
00000541: RETURN
00000542: JUMPDEST
00000543: PUSH2 0x0558
00000546: PUSH1 0x04
00000548: DUP1
00000549: DUP1
0000054a: CALLDATALOAD
0000054b: SWAP1
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP1
00000550: SWAP2
00000551: SWAP1
00000552: POP
00000553: POP
00000554: PUSH2 0x1071
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH1 0x40
0000055b: MLOAD
0000055c: DUP1
0000055d: DUP1
0000055e: PUSH1 0x20
00000560: ADD
00000561: DUP3
00000562: DUP2
00000563: SUB
00000564: DUP3
00000565: MSTORE
00000566: DUP4
00000567: DUP2
00000568: DUP2
00000569: MLOAD
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: SWAP2
00000570: POP
00000571: DUP1
00000572: MLOAD
00000573: SWAP1
00000574: PUSH1 0x20
00000576: ADD
00000577: SWAP1
00000578: DUP1
00000579: DUP4
0000057a: DUP4
0000057b: DUP3
0000057c: SWAP1
0000057d: PUSH1 0x00
0000057f: PUSH1 0x04
00000581: PUSH1 0x20
00000583: DUP5
00000584: PUSH1 0x1f
00000586: ADD
00000587: DIV
00000588: PUSH1 0x03
0000058a: MUL
0000058b: PUSH1 0x0f
0000058d: ADD
0000058e: CALL
0000058f: POP
00000590: SWAP1
00000591: POP
00000592: SWAP1
00000593: DUP2
00000594: ADD
00000595: SWAP1
00000596: PUSH1 0x1f
00000598: AND
00000599: DUP1
0000059a: ISZERO
0000059b: PUSH2 0x05b8
0000059e: JUMPI
0000059f: DUP1
000005a0: DUP3
000005a1: SUB
000005a2: DUP1
000005a3: MLOAD
000005a4: PUSH1 0x01
000005a6: DUP4
000005a7: PUSH1 0x20
000005a9: SUB
000005aa: PUSH2 0x0100
000005ad: EXP
000005ae: SUB
000005af: NOT
000005b0: AND
000005b1: DUP2
000005b2: MSTORE
000005b3: PUSH1 0x20
000005b5: ADD
000005b6: SWAP2
000005b7: POP
000005b8: JUMPDEST
000005b9: POP
000005ba: SWAP3
000005bb: POP
000005bc: POP
000005bd: POP
000005be: PUSH1 0x40
000005c0: MLOAD
000005c1: DUP1
000005c2: SWAP2
000005c3: SUB
000005c4: SWAP1
000005c5: RETURN
000005c6: JUMPDEST
000005c7: PUSH2 0x05dc
000005ca: PUSH1 0x04
000005cc: DUP1
000005cd: DUP1
000005ce: CALLDATALOAD
000005cf: SWAP1
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP1
000005d4: SWAP2
000005d5: SWAP1
000005d6: POP
000005d7: POP
000005d8: PUSH2 0x1124
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH1 0x40
000005df: MLOAD
000005e0: DUP1
000005e1: DUP1
000005e2: PUSH1 0x20
000005e4: ADD
000005e5: DUP3
000005e6: DUP2
000005e7: SUB
000005e8: DUP3
000005e9: MSTORE
000005ea: DUP4
000005eb: DUP2
000005ec: DUP2
000005ed: MLOAD
000005ee: DUP2
000005ef: MSTORE
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: SWAP2
000005f4: POP
000005f5: DUP1
000005f6: MLOAD
000005f7: SWAP1
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: SWAP1
000005fc: DUP1
000005fd: DUP4
000005fe: DUP4
000005ff: DUP3
00000600: SWAP1
00000601: PUSH1 0x00
00000603: PUSH1 0x04
00000605: PUSH1 0x20
00000607: DUP5
00000608: PUSH1 0x1f
0000060a: ADD
0000060b: DIV
0000060c: PUSH1 0x03
0000060e: MUL
0000060f: PUSH1 0x0f
00000611: ADD
00000612: CALL
00000613: POP
00000614: SWAP1
00000615: POP
00000616: SWAP1
00000617: DUP2
00000618: ADD
00000619: SWAP1
0000061a: PUSH1 0x1f
0000061c: AND
0000061d: DUP1
0000061e: ISZERO
0000061f: PUSH2 0x063c
00000622: JUMPI
00000623: DUP1
00000624: DUP3
00000625: SUB
00000626: DUP1
00000627: MLOAD
00000628: PUSH1 0x01
0000062a: DUP4
0000062b: PUSH1 0x20
0000062d: SUB
0000062e: PUSH2 0x0100
00000631: EXP
00000632: SUB
00000633: NOT
00000634: AND
00000635: DUP2
00000636: MSTORE
00000637: PUSH1 0x20
00000639: ADD
0000063a: SWAP2
0000063b: POP
0000063c: JUMPDEST
0000063d: POP
0000063e: SWAP3
0000063f: POP
00000640: POP
00000641: POP
00000642: PUSH1 0x40
00000644: MLOAD
00000645: DUP1
00000646: SWAP2
00000647: SUB
00000648: SWAP1
00000649: RETURN
0000064a: JUMPDEST
0000064b: PUSH1 0x20
0000064d: PUSH1 0x40
0000064f: MLOAD
00000650: SWAP1
00000651: DUP2
00000652: ADD
00000653: PUSH1 0x40
00000655: MSTORE
00000656: DUP1
00000657: PUSH1 0x00
00000659: DUP2
0000065a: MSTORE
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: POP
0000065f: PUSH1 0x01
00000661: ISZERO
00000662: ISZERO
00000663: PUSH1 0x03
00000665: PUSH1 0x00
00000667: POP
00000668: PUSH1 0x00
0000066a: CALLER
0000066b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000680: AND
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x20
00000685: ADD
00000686: SWAP1
00000687: DUP2
00000688: MSTORE
00000689: PUSH1 0x20
0000068b: ADD
0000068c: PUSH1 0x00
0000068e: KECCAK256
0000068f: PUSH1 0x00
00000691: SWAP1
00000692: SLOAD
00000693: SWAP1
00000694: PUSH2 0x0100
00000697: EXP
00000698: SWAP1
00000699: DIV
0000069a: PUSH1 0xff
0000069c: AND
0000069d: ISZERO
0000069e: ISZERO
0000069f: EQ
000006a0: DUP1
000006a1: ISZERO
000006a2: PUSH2 0x0730
000006a5: JUMPI
000006a6: POP
000006a7: PUSH1 0x02
000006a9: DUP3
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP1
000006ae: DUP3
000006af: DUP1
000006b0: MLOAD
000006b1: SWAP1
000006b2: PUSH1 0x20
000006b4: ADD
000006b5: SWAP1
000006b6: DUP1
000006b7: DUP4
000006b8: DUP4
000006b9: DUP3
000006ba: SWAP1
000006bb: PUSH1 0x00
000006bd: PUSH1 0x04
000006bf: PUSH1 0x20
000006c1: DUP5
000006c2: PUSH1 0x1f
000006c4: ADD
000006c5: DIV
000006c6: PUSH1 0x03
000006c8: MUL
000006c9: PUSH1 0x0f
000006cb: ADD
000006cc: CALL
000006cd: POP
000006ce: SWAP1
000006cf: POP
000006d0: ADD
000006d1: SWAP2
000006d2: POP
000006d3: POP
000006d4: PUSH1 0x20
000006d6: PUSH1 0x40
000006d8: MLOAD
000006d9: DUP1
000006da: DUP4
000006db: SUB
000006dc: DUP2
000006dd: PUSH1 0x00
000006df: DUP7
000006e0: PUSH2 0x61da
000006e3: GAS
000006e4: SUB
000006e5: CALL
000006e6: ISZERO
000006e7: PUSH2 0x0002
000006ea: JUMPI
000006eb: POP
000006ec: POP
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: DUP1
000006f1: MLOAD
000006f2: SWAP1
000006f3: PUSH1 0x20
000006f5: ADD
000006f6: POP
000006f7: PUSH1 0x00
000006f9: NOT
000006fa: AND
000006fb: PUSH1 0x01
000006fd: PUSH1 0x00
000006ff: POP
00000700: PUSH1 0x00
00000702: CALLER
00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000718: AND
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: SWAP1
0000071f: DUP2
00000720: MSTORE
00000721: PUSH1 0x20
00000723: ADD
00000724: PUSH1 0x00
00000726: KECCAK256
00000727: PUSH1 0x00
00000729: POP
0000072a: SLOAD
0000072b: PUSH1 0x00
0000072d: NOT
0000072e: AND
0000072f: EQ
00000730: JUMPDEST
00000731: ISZERO
00000732: PUSH2 0x0856
00000735: JUMPI
00000736: DUP3
00000737: PUSH1 0x04
00000739: PUSH1 0x00
0000073b: POP
0000073c: PUSH1 0x00
0000073e: CALLER
0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000754: AND
00000755: DUP2
00000756: MSTORE
00000757: PUSH1 0x20
00000759: ADD
0000075a: SWAP1
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: ADD
00000760: PUSH1 0x00
00000762: KECCAK256
00000763: PUSH1 0x00
00000765: POP
00000766: SWAP1
00000767: DUP1
00000768: MLOAD
00000769: SWAP1
0000076a: PUSH1 0x20
0000076c: ADD
0000076d: SWAP1
0000076e: DUP3
0000076f: DUP1
00000770: SLOAD
00000771: PUSH1 0x01
00000773: DUP2
00000774: PUSH1 0x01
00000776: AND
00000777: ISZERO
00000778: PUSH2 0x0100
0000077b: MUL
0000077c: SUB
0000077d: AND
0000077e: PUSH1 0x02
00000780: SWAP1
00000781: DIV
00000782: SWAP1
00000783: PUSH1 0x00
00000785: MSTORE
00000786: PUSH1 0x20
00000788: PUSH1 0x00
0000078a: KECCAK256
0000078b: SWAP1
0000078c: PUSH1 0x1f
0000078e: ADD
0000078f: PUSH1 0x20
00000791: SWAP1
00000792: DIV
00000793: DUP2
00000794: ADD
00000795: SWAP3
00000796: DUP3
00000797: PUSH1 0x1f
00000799: LT
0000079a: PUSH2 0x07ae
0000079d: JUMPI
0000079e: DUP1
0000079f: MLOAD
000007a0: PUSH1 0xff
000007a2: NOT
000007a3: AND
000007a4: DUP4
000007a5: DUP1
000007a6: ADD
000007a7: OR
000007a8: DUP6
000007a9: SSTORE
000007aa: PUSH2 0x07df
000007ad: JUMP
000007ae: JUMPDEST
000007af: DUP3
000007b0: DUP1
000007b1: ADD
000007b2: PUSH1 0x01
000007b4: ADD
000007b5: DUP6
000007b6: SSTORE
000007b7: DUP3
000007b8: ISZERO
000007b9: PUSH2 0x07df
000007bc: JUMPI
000007bd: SWAP2
000007be: DUP3
000007bf: ADD
000007c0: JUMPDEST
000007c1: DUP3
000007c2: DUP2
000007c3: GT
000007c4: ISZERO
000007c5: PUSH2 0x07de
000007c8: JUMPI
000007c9: DUP3
000007ca: MLOAD
000007cb: DUP3
000007cc: PUSH1 0x00
000007ce: POP
000007cf: SSTORE
000007d0: SWAP2
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: SWAP2
000007d5: SWAP1
000007d6: PUSH1 0x01
000007d8: ADD
000007d9: SWAP1
000007da: PUSH2 0x07c0
000007dd: JUMP
000007de: JUMPDEST
000007df: JUMPDEST
000007e0: POP
000007e1: SWAP1
000007e2: POP
000007e3: PUSH2 0x080a
000007e6: SWAP2
000007e7: SWAP1
000007e8: PUSH2 0x07ec
000007eb: JUMP
000007ec: JUMPDEST
000007ed: DUP1
000007ee: DUP3
000007ef: GT
000007f0: ISZERO
000007f1: PUSH2 0x0806
000007f4: JUMPI
000007f5: PUSH1 0x00
000007f7: DUP2
000007f8: DUP2
000007f9: POP
000007fa: PUSH1 0x00
000007fc: SWAP1
000007fd: SSTORE
000007fe: POP
000007ff: PUSH1 0x01
00000801: ADD
00000802: PUSH2 0x07ec
00000805: JUMP
00000806: JUMPDEST
00000807: POP
00000808: SWAP1
00000809: JUMP
0000080a: JUMPDEST
0000080b: POP
0000080c: POP
0000080d: PUSH1 0x40
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: SWAP1
00000813: DUP2
00000814: ADD
00000815: PUSH1 0x40
00000817: MSTORE
00000818: DUP1
00000819: PUSH1 0x0e
0000081b: DUP2
0000081c: MSTORE
0000081d: PUSH1 0x20
0000081f: ADD
00000820: PUSH32 0x506f7374207375626d6974746564000000000000000000000000000000000000
00000841: DUP2
00000842: MSTORE
00000843: PUSH1 0x20
00000845: ADD
00000846: POP
00000847: SWAP1
00000848: POP
00000849: DUP1
0000084a: POP
0000084b: DUP1
0000084c: SWAP1
0000084d: POP
0000084e: PUSH2 0x089d
00000851: JUMP
00000852: PUSH2 0x089c
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH1 0x40
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: SWAP1
0000085d: DUP2
0000085e: ADD
0000085f: PUSH1 0x40
00000861: MSTORE
00000862: DUP1
00000863: PUSH1 0x15
00000865: DUP2
00000866: MSTORE
00000867: PUSH1 0x20
00000869: ADD
0000086a: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x20
0000088f: ADD
00000890: POP
00000891: SWAP1
00000892: POP
00000893: DUP1
00000894: POP
00000895: DUP1
00000896: SWAP1
00000897: POP
00000898: PUSH2 0x089d
0000089b: JUMP
0000089c: JUMPDEST
0000089d: JUMPDEST
0000089e: SWAP3
0000089f: SWAP2
000008a0: POP
000008a1: POP
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x02
000008a6: PUSH1 0x00
000008a8: POP
000008a9: PUSH1 0x20
000008ab: MSTORE
000008ac: DUP1
000008ad: PUSH1 0x00
000008af: MSTORE
000008b0: PUSH1 0x40
000008b2: PUSH1 0x00
000008b4: KECCAK256
000008b5: PUSH1 0x00
000008b7: SWAP2
000008b8: POP
000008b9: SWAP1
000008ba: POP
000008bb: SLOAD
000008bc: DUP2
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH1 0x20
000008c1: PUSH1 0x40
000008c3: MLOAD
000008c4: SWAP1
000008c5: DUP2
000008c6: ADD
000008c7: PUSH1 0x40
000008c9: MSTORE
000008ca: DUP1
000008cb: PUSH1 0x00
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x20
000008d1: ADD
000008d2: POP
000008d3: PUSH1 0x01
000008d5: ISZERO
000008d6: ISZERO
000008d7: PUSH1 0x03
000008d9: PUSH1 0x00
000008db: POP
000008dc: PUSH1 0x00
000008de: CALLER
000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f4: AND
000008f5: DUP2
000008f6: MSTORE
000008f7: PUSH1 0x20
000008f9: ADD
000008fa: SWAP1
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: ADD
00000900: PUSH1 0x00
00000902: KECCAK256
00000903: PUSH1 0x00
00000905: SWAP1
00000906: SLOAD
00000907: SWAP1
00000908: PUSH2 0x0100
0000090b: EXP
0000090c: SWAP1
0000090d: DIV
0000090e: PUSH1 0xff
00000910: AND
00000911: ISZERO
00000912: ISZERO
00000913: EQ
00000914: DUP1
00000915: ISZERO
00000916: PUSH2 0x09a4
00000919: JUMPI
0000091a: POP
0000091b: PUSH1 0x02
0000091d: DUP4
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: DUP1
00000922: DUP3
00000923: DUP1
00000924: MLOAD
00000925: SWAP1
00000926: PUSH1 0x20
00000928: ADD
00000929: SWAP1
0000092a: DUP1
0000092b: DUP4
0000092c: DUP4
0000092d: DUP3
0000092e: SWAP1
0000092f: PUSH1 0x00
00000931: PUSH1 0x04
00000933: PUSH1 0x20
00000935: DUP5
00000936: PUSH1 0x1f
00000938: ADD
00000939: DIV
0000093a: PUSH1 0x03
0000093c: MUL
0000093d: PUSH1 0x0f
0000093f: ADD
00000940: CALL
00000941: POP
00000942: SWAP1
00000943: POP
00000944: ADD
00000945: SWAP2
00000946: POP
00000947: POP
00000948: PUSH1 0x20
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: DUP1
0000094e: DUP4
0000094f: SUB
00000950: DUP2
00000951: PUSH1 0x00
00000953: DUP7
00000954: PUSH2 0x61da
00000957: GAS
00000958: SUB
00000959: CALL
0000095a: ISZERO
0000095b: PUSH2 0x0002
0000095e: JUMPI
0000095f: POP
00000960: POP
00000961: PUSH1 0x40
00000963: MLOAD
00000964: DUP1
00000965: MLOAD
00000966: SWAP1
00000967: PUSH1 0x20
00000969: ADD
0000096a: POP
0000096b: PUSH1 0x00
0000096d: NOT
0000096e: AND
0000096f: PUSH1 0x01
00000971: PUSH1 0x00
00000973: POP
00000974: PUSH1 0x00
00000976: CALLER
00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098c: AND
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x20
00000991: ADD
00000992: SWAP1
00000993: DUP2
00000994: MSTORE
00000995: PUSH1 0x20
00000997: ADD
00000998: PUSH1 0x00
0000099a: KECCAK256
0000099b: PUSH1 0x00
0000099d: POP
0000099e: SLOAD
0000099f: PUSH1 0x00
000009a1: NOT
000009a2: AND
000009a3: EQ
000009a4: JUMPDEST
000009a5: ISZERO
000009a6: PUSH2 0x0ae4
000009a9: JUMPI
000009aa: DUP2
000009ab: PUSH1 0x02
000009ad: PUSH1 0x00
000009af: POP
000009b0: PUSH1 0x00
000009b2: CALLER
000009b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c8: AND
000009c9: DUP2
000009ca: MSTORE
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: SWAP1
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x20
000009d3: ADD
000009d4: PUSH1 0x00
000009d6: KECCAK256
000009d7: PUSH1 0x00
000009d9: POP
000009da: SLOAD
000009db: LT
000009dc: ISZERO
000009dd: PUSH2 0x0a26
000009e0: JUMPI
000009e1: PUSH1 0x40
000009e3: PUSH1 0x40
000009e5: MLOAD
000009e6: SWAP1
000009e7: DUP2
000009e8: ADD
000009e9: PUSH1 0x40
000009eb: MSTORE
000009ec: DUP1
000009ed: PUSH1 0x1a
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: ADD
000009f4: PUSH32 0x596f7520646f206e6f7420686176652074686174206d7563682e000000000000
00000a15: DUP2
00000a16: MSTORE
00000a17: PUSH1 0x20
00000a19: ADD
00000a1a: POP
00000a1b: SWAP1
00000a1c: POP
00000a1d: DUP1
00000a1e: POP
00000a1f: DUP1
00000a20: SWAP1
00000a21: POP
00000a22: PUSH2 0x0b2b
00000a25: JUMP
00000a26: JUMPDEST
00000a27: CALLER
00000a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3d: AND
00000a3e: PUSH1 0x00
00000a40: DUP4
00000a41: PUSH1 0x40
00000a43: MLOAD
00000a44: DUP1
00000a45: SWAP1
00000a46: POP
00000a47: PUSH1 0x00
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: DUP1
00000a4d: DUP4
00000a4e: SUB
00000a4f: DUP2
00000a50: DUP6
00000a51: DUP9
00000a52: DUP9
00000a53: CALL
00000a54: SWAP4
00000a55: POP
00000a56: POP
00000a57: POP
00000a58: POP
00000a59: ISZERO
00000a5a: PUSH2 0x0a9a
00000a5d: JUMPI
00000a5e: DUP2
00000a5f: PUSH1 0x02
00000a61: PUSH1 0x00
00000a63: POP
00000a64: PUSH1 0x00
00000a66: CALLER
00000a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7c: AND
00000a7d: DUP2
00000a7e: MSTORE
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: SWAP1
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: ADD
00000a88: PUSH1 0x00
00000a8a: KECCAK256
00000a8b: PUSH1 0x00
00000a8d: DUP3
00000a8e: DUP3
00000a8f: DUP3
00000a90: POP
00000a91: SLOAD
00000a92: SUB
00000a93: SWAP3
00000a94: POP
00000a95: POP
00000a96: DUP2
00000a97: SWAP1
00000a98: SSTORE
00000a99: POP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x40
00000a9d: PUSH1 0x40
00000a9f: MLOAD
00000aa0: SWAP1
00000aa1: DUP2
00000aa2: ADD
00000aa3: PUSH1 0x40
00000aa5: MSTORE
00000aa6: DUP1
00000aa7: PUSH1 0x15
00000aa9: DUP2
00000aaa: MSTORE
00000aab: PUSH1 0x20
00000aad: ADD
00000aae: PUSH32 0x5769746864726177616c207375636365737366756c0000000000000000000000
00000acf: DUP2
00000ad0: MSTORE
00000ad1: PUSH1 0x20
00000ad3: ADD
00000ad4: POP
00000ad5: SWAP1
00000ad6: POP
00000ad7: DUP1
00000ad8: POP
00000ad9: DUP1
00000ada: SWAP1
00000adb: POP
00000adc: PUSH2 0x0b2b
00000adf: JUMP
00000ae0: PUSH2 0x0b2a
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: PUSH1 0x40
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: SWAP1
00000aeb: DUP2
00000aec: ADD
00000aed: PUSH1 0x40
00000aef: MSTORE
00000af0: DUP1
00000af1: PUSH1 0x15
00000af3: DUP2
00000af4: MSTORE
00000af5: PUSH1 0x20
00000af7: ADD
00000af8: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x20
00000b1d: ADD
00000b1e: POP
00000b1f: SWAP1
00000b20: POP
00000b21: DUP1
00000b22: POP
00000b23: DUP1
00000b24: SWAP1
00000b25: POP
00000b26: PUSH2 0x0b2b
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: JUMPDEST
00000b2c: SWAP3
00000b2d: SWAP2
00000b2e: POP
00000b2f: POP
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH1 0x02
00000b36: DUP3
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: DUP3
00000b3c: DUP1
00000b3d: MLOAD
00000b3e: SWAP1
00000b3f: PUSH1 0x20
00000b41: ADD
00000b42: SWAP1
00000b43: DUP1
00000b44: DUP4
00000b45: DUP4
00000b46: DUP3
00000b47: SWAP1
00000b48: PUSH1 0x00
00000b4a: PUSH1 0x04
00000b4c: PUSH1 0x20
00000b4e: DUP5
00000b4f: PUSH1 0x1f
00000b51: ADD
00000b52: DIV
00000b53: PUSH1 0x03
00000b55: MUL
00000b56: PUSH1 0x0f
00000b58: ADD
00000b59: CALL
00000b5a: POP
00000b5b: SWAP1
00000b5c: POP
00000b5d: ADD
00000b5e: SWAP2
00000b5f: POP
00000b60: POP
00000b61: PUSH1 0x20
00000b63: PUSH1 0x40
00000b65: MLOAD
00000b66: DUP1
00000b67: DUP4
00000b68: SUB
00000b69: DUP2
00000b6a: PUSH1 0x00
00000b6c: DUP7
00000b6d: PUSH2 0x61da
00000b70: GAS
00000b71: SUB
00000b72: CALL
00000b73: ISZERO
00000b74: PUSH2 0x0002
00000b77: JUMPI
00000b78: POP
00000b79: POP
00000b7a: PUSH1 0x40
00000b7c: MLOAD
00000b7d: DUP1
00000b7e: MLOAD
00000b7f: SWAP1
00000b80: PUSH1 0x20
00000b82: ADD
00000b83: POP
00000b84: PUSH1 0x00
00000b86: NOT
00000b87: AND
00000b88: PUSH1 0x01
00000b8a: PUSH1 0x00
00000b8c: POP
00000b8d: PUSH1 0x00
00000b8f: CALLER
00000b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba5: AND
00000ba6: DUP2
00000ba7: MSTORE
00000ba8: PUSH1 0x20
00000baa: ADD
00000bab: SWAP1
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x20
00000bb0: ADD
00000bb1: PUSH1 0x00
00000bb3: KECCAK256
00000bb4: PUSH1 0x00
00000bb6: POP
00000bb7: SLOAD
00000bb8: PUSH1 0x00
00000bba: NOT
00000bbb: AND
00000bbc: EQ
00000bbd: ISZERO
00000bbe: PUSH2 0x0c11
00000bc1: JUMPI
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0x03
00000bc6: PUSH1 0x00
00000bc8: POP
00000bc9: PUSH1 0x00
00000bcb: CALLER
00000bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be1: AND
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x20
00000be6: ADD
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x20
00000bec: ADD
00000bed: PUSH1 0x00
00000bef: KECCAK256
00000bf0: PUSH1 0x00
00000bf2: PUSH2 0x0100
00000bf5: EXP
00000bf6: DUP2
00000bf7: SLOAD
00000bf8: DUP2
00000bf9: PUSH1 0xff
00000bfb: MUL
00000bfc: NOT
00000bfd: AND
00000bfe: SWAP1
00000bff: DUP4
00000c00: MUL
00000c01: OR
00000c02: SWAP1
00000c03: SSTORE
00000c04: POP
00000c05: PUSH1 0x01
00000c07: SWAP1
00000c08: POP
00000c09: PUSH2 0x0c1b
00000c0c: JUMP
00000c0d: PUSH2 0x0c1a
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH1 0x00
00000c14: SWAP1
00000c15: POP
00000c16: PUSH2 0x0c1b
00000c19: JUMP
00000c1a: JUMPDEST
00000c1b: JUMPDEST
00000c1c: SWAP2
00000c1d: SWAP1
00000c1e: POP
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: PUSH1 0x00
00000c23: PUSH1 0x02
00000c25: DUP3
00000c26: PUSH1 0x40
00000c28: MLOAD
00000c29: DUP1
00000c2a: DUP3
00000c2b: DUP1
00000c2c: MLOAD
00000c2d: SWAP1
00000c2e: PUSH1 0x20
00000c30: ADD
00000c31: SWAP1
00000c32: DUP1
00000c33: DUP4
00000c34: DUP4
00000c35: DUP3
00000c36: SWAP1
00000c37: PUSH1 0x00
00000c39: PUSH1 0x04
00000c3b: PUSH1 0x20
00000c3d: DUP5
00000c3e: PUSH1 0x1f
00000c40: ADD
00000c41: DIV
00000c42: PUSH1 0x03
00000c44: MUL
00000c45: PUSH1 0x0f
00000c47: ADD
00000c48: CALL
00000c49: POP
00000c4a: SWAP1
00000c4b: POP
00000c4c: ADD
00000c4d: SWAP2
00000c4e: POP
00000c4f: POP
00000c50: PUSH1 0x20
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: DUP1
00000c56: DUP4
00000c57: SUB
00000c58: DUP2
00000c59: PUSH1 0x00
00000c5b: DUP7
00000c5c: PUSH2 0x61da
00000c5f: GAS
00000c60: SUB
00000c61: CALL
00000c62: ISZERO
00000c63: PUSH2 0x0002
00000c66: JUMPI
00000c67: POP
00000c68: POP
00000c69: PUSH1 0x40
00000c6b: MLOAD
00000c6c: DUP1
00000c6d: MLOAD
00000c6e: SWAP1
00000c6f: PUSH1 0x20
00000c71: ADD
00000c72: POP
00000c73: SWAP1
00000c74: POP
00000c75: DUP3
00000c76: PUSH1 0x00
00000c78: PUSH1 0x00
00000c7a: POP
00000c7b: PUSH1 0x00
00000c7d: CALLER
00000c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c93: AND
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x20
00000c98: ADD
00000c99: SWAP1
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: ADD
00000c9f: PUSH1 0x00
00000ca1: KECCAK256
00000ca2: PUSH1 0x00
00000ca4: POP
00000ca5: SWAP1
00000ca6: DUP1
00000ca7: MLOAD
00000ca8: SWAP1
00000ca9: PUSH1 0x20
00000cab: ADD
00000cac: SWAP1
00000cad: DUP3
00000cae: DUP1
00000caf: SLOAD
00000cb0: PUSH1 0x01
00000cb2: DUP2
00000cb3: PUSH1 0x01
00000cb5: AND
00000cb6: ISZERO
00000cb7: PUSH2 0x0100
00000cba: MUL
00000cbb: SUB
00000cbc: AND
00000cbd: PUSH1 0x02
00000cbf: SWAP1
00000cc0: DIV
00000cc1: SWAP1
00000cc2: PUSH1 0x00
00000cc4: MSTORE
00000cc5: PUSH1 0x20
00000cc7: PUSH1 0x00
00000cc9: KECCAK256
00000cca: SWAP1
00000ccb: PUSH1 0x1f
00000ccd: ADD
00000cce: PUSH1 0x20
00000cd0: SWAP1
00000cd1: DIV
00000cd2: DUP2
00000cd3: ADD
00000cd4: SWAP3
00000cd5: DUP3
00000cd6: PUSH1 0x1f
00000cd8: LT
00000cd9: PUSH2 0x0ced
00000cdc: JUMPI
00000cdd: DUP1
00000cde: MLOAD
00000cdf: PUSH1 0xff
00000ce1: NOT
00000ce2: AND
00000ce3: DUP4
00000ce4: DUP1
00000ce5: ADD
00000ce6: OR
00000ce7: DUP6
00000ce8: SSTORE
00000ce9: PUSH2 0x0d1e
00000cec: JUMP
00000ced: JUMPDEST
00000cee: DUP3
00000cef: DUP1
00000cf0: ADD
00000cf1: PUSH1 0x01
00000cf3: ADD
00000cf4: DUP6
00000cf5: SSTORE
00000cf6: DUP3
00000cf7: ISZERO
00000cf8: PUSH2 0x0d1e
00000cfb: JUMPI
00000cfc: SWAP2
00000cfd: DUP3
00000cfe: ADD
00000cff: JUMPDEST
00000d00: DUP3
00000d01: DUP2
00000d02: GT
00000d03: ISZERO
00000d04: PUSH2 0x0d1d
00000d07: JUMPI
00000d08: DUP3
00000d09: MLOAD
00000d0a: DUP3
00000d0b: PUSH1 0x00
00000d0d: POP
00000d0e: SSTORE
00000d0f: SWAP2
00000d10: PUSH1 0x20
00000d12: ADD
00000d13: SWAP2
00000d14: SWAP1
00000d15: PUSH1 0x01
00000d17: ADD
00000d18: SWAP1
00000d19: PUSH2 0x0cff
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: JUMPDEST
00000d1f: POP
00000d20: SWAP1
00000d21: POP
00000d22: PUSH2 0x0d49
00000d25: SWAP2
00000d26: SWAP1
00000d27: PUSH2 0x0d2b
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: DUP1
00000d2d: DUP3
00000d2e: GT
00000d2f: ISZERO
00000d30: PUSH2 0x0d45
00000d33: JUMPI
00000d34: PUSH1 0x00
00000d36: DUP2
00000d37: DUP2
00000d38: POP
00000d39: PUSH1 0x00
00000d3b: SWAP1
00000d3c: SSTORE
00000d3d: POP
00000d3e: PUSH1 0x01
00000d40: ADD
00000d41: PUSH2 0x0d2b
00000d44: JUMP
00000d45: JUMPDEST
00000d46: POP
00000d47: SWAP1
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: POP
00000d4b: POP
00000d4c: DUP1
00000d4d: PUSH1 0x01
00000d4f: PUSH1 0x00
00000d51: POP
00000d52: PUSH1 0x00
00000d54: CALLER
00000d55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6a: AND
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x20
00000d6f: ADD
00000d70: SWAP1
00000d71: DUP2
00000d72: MSTORE
00000d73: PUSH1 0x20
00000d75: ADD
00000d76: PUSH1 0x00
00000d78: KECCAK256
00000d79: PUSH1 0x00
00000d7b: POP
00000d7c: DUP2
00000d7d: SWAP1
00000d7e: SSTORE
00000d7f: POP
00000d80: JUMPDEST
00000d81: POP
00000d82: POP
00000d83: POP
00000d84: JUMP
00000d85: JUMPDEST
00000d86: PUSH1 0x00
00000d88: PUSH1 0x02
00000d8a: DUP3
00000d8b: PUSH1 0x40
00000d8d: MLOAD
00000d8e: DUP1
00000d8f: DUP3
00000d90: DUP1
00000d91: MLOAD
00000d92: SWAP1
00000d93: PUSH1 0x20
00000d95: ADD
00000d96: SWAP1
00000d97: DUP1
00000d98: DUP4
00000d99: DUP4
00000d9a: DUP3
00000d9b: SWAP1
00000d9c: PUSH1 0x00
00000d9e: PUSH1 0x04
00000da0: PUSH1 0x20
00000da2: DUP5
00000da3: PUSH1 0x1f
00000da5: ADD
00000da6: DIV
00000da7: PUSH1 0x03
00000da9: MUL
00000daa: PUSH1 0x0f
00000dac: ADD
00000dad: CALL
00000dae: POP
00000daf: SWAP1
00000db0: POP
00000db1: ADD
00000db2: SWAP2
00000db3: POP
00000db4: POP
00000db5: PUSH1 0x20
00000db7: PUSH1 0x40
00000db9: MLOAD
00000dba: DUP1
00000dbb: DUP4
00000dbc: SUB
00000dbd: DUP2
00000dbe: PUSH1 0x00
00000dc0: DUP7
00000dc1: PUSH2 0x61da
00000dc4: GAS
00000dc5: SUB
00000dc6: CALL
00000dc7: ISZERO
00000dc8: PUSH2 0x0002
00000dcb: JUMPI
00000dcc: POP
00000dcd: POP
00000dce: PUSH1 0x40
00000dd0: MLOAD
00000dd1: DUP1
00000dd2: MLOAD
00000dd3: SWAP1
00000dd4: PUSH1 0x20
00000dd6: ADD
00000dd7: POP
00000dd8: PUSH1 0x00
00000dda: NOT
00000ddb: AND
00000ddc: PUSH1 0x01
00000dde: PUSH1 0x00
00000de0: POP
00000de1: PUSH1 0x00
00000de3: CALLER
00000de4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df9: AND
00000dfa: DUP2
00000dfb: MSTORE
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: SWAP1
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: ADD
00000e05: PUSH1 0x00
00000e07: KECCAK256
00000e08: PUSH1 0x00
00000e0a: POP
00000e0b: SLOAD
00000e0c: PUSH1 0x00
00000e0e: NOT
00000e0f: AND
00000e10: EQ
00000e11: ISZERO
00000e12: PUSH2 0x0e65
00000e15: JUMPI
00000e16: PUSH1 0x00
00000e18: PUSH1 0x03
00000e1a: PUSH1 0x00
00000e1c: POP
00000e1d: PUSH1 0x00
00000e1f: CALLER
00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e35: AND
00000e36: DUP2
00000e37: MSTORE
00000e38: PUSH1 0x20
00000e3a: ADD
00000e3b: SWAP1
00000e3c: DUP2
00000e3d: MSTORE
00000e3e: PUSH1 0x20
00000e40: ADD
00000e41: PUSH1 0x00
00000e43: KECCAK256
00000e44: PUSH1 0x00
00000e46: PUSH2 0x0100
00000e49: EXP
00000e4a: DUP2
00000e4b: SLOAD
00000e4c: DUP2
00000e4d: PUSH1 0xff
00000e4f: MUL
00000e50: NOT
00000e51: AND
00000e52: SWAP1
00000e53: DUP4
00000e54: MUL
00000e55: OR
00000e56: SWAP1
00000e57: SSTORE
00000e58: POP
00000e59: PUSH1 0x01
00000e5b: SWAP1
00000e5c: POP
00000e5d: PUSH2 0x0e6f
00000e60: JUMP
00000e61: PUSH2 0x0e6e
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0x00
00000e68: SWAP1
00000e69: POP
00000e6a: PUSH2 0x0e6f
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: JUMPDEST
00000e70: SWAP2
00000e71: SWAP1
00000e72: POP
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH1 0x01
00000e77: PUSH1 0x00
00000e79: POP
00000e7a: PUSH1 0x20
00000e7c: MSTORE
00000e7d: DUP1
00000e7e: PUSH1 0x00
00000e80: MSTORE
00000e81: PUSH1 0x40
00000e83: PUSH1 0x00
00000e85: KECCAK256
00000e86: PUSH1 0x00
00000e88: SWAP2
00000e89: POP
00000e8a: SWAP1
00000e8b: POP
00000e8c: SLOAD
00000e8d: DUP2
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x03
00000e92: PUSH1 0x00
00000e94: POP
00000e95: PUSH1 0x20
00000e97: MSTORE
00000e98: DUP1
00000e99: PUSH1 0x00
00000e9b: MSTORE
00000e9c: PUSH1 0x40
00000e9e: PUSH1 0x00
00000ea0: KECCAK256
00000ea1: PUSH1 0x00
00000ea3: SWAP2
00000ea4: POP
00000ea5: SWAP1
00000ea6: SWAP1
00000ea7: SLOAD
00000ea8: SWAP1
00000ea9: PUSH2 0x0100
00000eac: EXP
00000ead: SWAP1
00000eae: DIV
00000eaf: PUSH1 0xff
00000eb1: AND
00000eb2: DUP2
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH1 0x20
00000eb7: PUSH1 0x40
00000eb9: MLOAD
00000eba: SWAP1
00000ebb: DUP2
00000ebc: ADD
00000ebd: PUSH1 0x40
00000ebf: MSTORE
00000ec0: DUP1
00000ec1: PUSH1 0x00
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x20
00000ec7: ADD
00000ec8: POP
00000ec9: PUSH1 0x01
00000ecb: ISZERO
00000ecc: ISZERO
00000ecd: PUSH1 0x03
00000ecf: PUSH1 0x00
00000ed1: POP
00000ed2: PUSH1 0x00
00000ed4: CALLER
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: SWAP1
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x20
00000ef5: ADD
00000ef6: PUSH1 0x00
00000ef8: KECCAK256
00000ef9: PUSH1 0x00
00000efb: SWAP1
00000efc: SLOAD
00000efd: SWAP1
00000efe: PUSH2 0x0100
00000f01: EXP
00000f02: SWAP1
00000f03: DIV
00000f04: PUSH1 0xff
00000f06: AND
00000f07: ISZERO
00000f08: ISZERO
00000f09: EQ
00000f0a: DUP1
00000f0b: ISZERO
00000f0c: PUSH2 0x0f9a
00000f0f: JUMPI
00000f10: POP
00000f11: PUSH1 0x02
00000f13: DUP3
00000f14: PUSH1 0x40
00000f16: MLOAD
00000f17: DUP1
00000f18: DUP3
00000f19: DUP1
00000f1a: MLOAD
00000f1b: SWAP1
00000f1c: PUSH1 0x20
00000f1e: ADD
00000f1f: SWAP1
00000f20: DUP1
00000f21: DUP4
00000f22: DUP4
00000f23: DUP3
00000f24: SWAP1
00000f25: PUSH1 0x00
00000f27: PUSH1 0x04
00000f29: PUSH1 0x20
00000f2b: DUP5
00000f2c: PUSH1 0x1f
00000f2e: ADD
00000f2f: DIV
00000f30: PUSH1 0x03
00000f32: MUL
00000f33: PUSH1 0x0f
00000f35: ADD
00000f36: CALL
00000f37: POP
00000f38: SWAP1
00000f39: POP
00000f3a: ADD
00000f3b: SWAP2
00000f3c: POP
00000f3d: POP
00000f3e: PUSH1 0x20
00000f40: PUSH1 0x40
00000f42: MLOAD
00000f43: DUP1
00000f44: DUP4
00000f45: SUB
00000f46: DUP2
00000f47: PUSH1 0x00
00000f49: DUP7
00000f4a: PUSH2 0x61da
00000f4d: GAS
00000f4e: SUB
00000f4f: CALL
00000f50: ISZERO
00000f51: PUSH2 0x0002
00000f54: JUMPI
00000f55: POP
00000f56: POP
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: DUP1
00000f5b: MLOAD
00000f5c: SWAP1
00000f5d: PUSH1 0x20
00000f5f: ADD
00000f60: POP
00000f61: PUSH1 0x00
00000f63: NOT
00000f64: AND
00000f65: PUSH1 0x01
00000f67: PUSH1 0x00
00000f69: POP
00000f6a: PUSH1 0x00
00000f6c: CALLER
00000f6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f82: AND
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x20
00000f87: ADD
00000f88: SWAP1
00000f89: DUP2
00000f8a: MSTORE
00000f8b: PUSH1 0x20
00000f8d: ADD
00000f8e: PUSH1 0x00
00000f90: KECCAK256
00000f91: PUSH1 0x00
00000f93: POP
00000f94: SLOAD
00000f95: PUSH1 0x00
00000f97: NOT
00000f98: AND
00000f99: EQ
00000f9a: JUMPDEST
00000f9b: ISZERO
00000f9c: PUSH2 0x1025
00000f9f: JUMPI
00000fa0: CALLVALUE
00000fa1: PUSH1 0x02
00000fa3: PUSH1 0x00
00000fa5: POP
00000fa6: PUSH1 0x00
00000fa8: CALLER
00000fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbe: AND
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH1 0x20
00000fc3: ADD
00000fc4: SWAP1
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: ADD
00000fca: PUSH1 0x00
00000fcc: KECCAK256
00000fcd: PUSH1 0x00
00000fcf: DUP3
00000fd0: DUP3
00000fd1: DUP3
00000fd2: POP
00000fd3: SLOAD
00000fd4: ADD
00000fd5: SWAP3
00000fd6: POP
00000fd7: POP
00000fd8: DUP2
00000fd9: SWAP1
00000fda: SSTORE
00000fdb: POP
00000fdc: PUSH1 0x40
00000fde: PUSH1 0x40
00000fe0: MLOAD
00000fe1: SWAP1
00000fe2: DUP2
00000fe3: ADD
00000fe4: PUSH1 0x40
00000fe6: MSTORE
00000fe7: DUP1
00000fe8: PUSH1 0x10
00000fea: DUP2
00000feb: MSTORE
00000fec: PUSH1 0x20
00000fee: ADD
00000fef: PUSH32 0x4465706f73697420726563656976656400000000000000000000000000000000
00001010: DUP2
00001011: MSTORE
00001012: PUSH1 0x20
00001014: ADD
00001015: POP
00001016: SWAP1
00001017: POP
00001018: DUP1
00001019: POP
0000101a: DUP1
0000101b: SWAP1
0000101c: POP
0000101d: PUSH2 0x106c
00001020: JUMP
00001021: PUSH2 0x106b
00001024: JUMP
00001025: JUMPDEST
00001026: PUSH1 0x40
00001028: PUSH1 0x40
0000102a: MLOAD
0000102b: SWAP1
0000102c: DUP2
0000102d: ADD
0000102e: PUSH1 0x40
00001030: MSTORE
00001031: DUP1
00001032: PUSH1 0x15
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x20
00001038: ADD
00001039: PUSH32 0x596f7520617265206e6f74206c6f6767656420696e0000000000000000000000
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: POP
00001060: SWAP1
00001061: POP
00001062: DUP1
00001063: POP
00001064: DUP1
00001065: SWAP1
00001066: POP
00001067: PUSH2 0x106c
0000106a: JUMP
0000106b: JUMPDEST
0000106c: JUMPDEST
0000106d: SWAP2
0000106e: SWAP1
0000106f: POP
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH1 0x00
00001074: PUSH1 0x00
00001076: POP
00001077: PUSH1 0x20
00001079: MSTORE
0000107a: DUP1
0000107b: PUSH1 0x00
0000107d: MSTORE
0000107e: PUSH1 0x40
00001080: PUSH1 0x00
00001082: KECCAK256
00001083: PUSH1 0x00
00001085: SWAP2
00001086: POP
00001087: SWAP1
00001088: POP
00001089: DUP1
0000108a: SLOAD
0000108b: PUSH1 0x01
0000108d: DUP2
0000108e: PUSH1 0x01
00001090: AND
00001091: ISZERO
00001092: PUSH2 0x0100
00001095: MUL
00001096: SUB
00001097: AND
00001098: PUSH1 0x02
0000109a: SWAP1
0000109b: DIV
0000109c: DUP1
0000109d: PUSH1 0x1f
0000109f: ADD
000010a0: PUSH1 0x20
000010a2: DUP1
000010a3: SWAP2
000010a4: DIV
000010a5: MUL
000010a6: PUSH1 0x20
000010a8: ADD
000010a9: PUSH1 0x40
000010ab: MLOAD
000010ac: SWAP1
000010ad: DUP2
000010ae: ADD
000010af: PUSH1 0x40
000010b1: MSTORE
000010b2: DUP1
000010b3: SWAP3
000010b4: SWAP2
000010b5: SWAP1
000010b6: DUP2
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x20
000010bb: ADD
000010bc: DUP3
000010bd: DUP1
000010be: SLOAD
000010bf: PUSH1 0x01
000010c1: DUP2
000010c2: PUSH1 0x01
000010c4: AND
000010c5: ISZERO
000010c6: PUSH2 0x0100
000010c9: MUL
000010ca: SUB
000010cb: AND
000010cc: PUSH1 0x02
000010ce: SWAP1
000010cf: DIV
000010d0: DUP1
000010d1: ISZERO
000010d2: PUSH2 0x111c
000010d5: JUMPI
000010d6: DUP1
000010d7: PUSH1 0x1f
000010d9: LT
000010da: PUSH2 0x10f1
000010dd: JUMPI
000010de: PUSH2 0x0100
000010e1: DUP1
000010e2: DUP4
000010e3: SLOAD
000010e4: DIV
000010e5: MUL
000010e6: DUP4
000010e7: MSTORE
000010e8: SWAP2
000010e9: PUSH1 0x20
000010eb: ADD
000010ec: SWAP2
000010ed: PUSH2 0x111c
000010f0: JUMP
000010f1: JUMPDEST
000010f2: DUP3
000010f3: ADD
000010f4: SWAP2
000010f5: SWAP1
000010f6: PUSH1 0x00
000010f8: MSTORE
000010f9: PUSH1 0x20
000010fb: PUSH1 0x00
000010fd: KECCAK256
000010fe: SWAP1
000010ff: JUMPDEST
00001100: DUP2
00001101: SLOAD
00001102: DUP2
00001103: MSTORE
00001104: SWAP1
00001105: PUSH1 0x01
00001107: ADD
00001108: SWAP1
00001109: PUSH1 0x20
0000110b: ADD
0000110c: DUP1
0000110d: DUP4
0000110e: GT
0000110f: PUSH2 0x10ff
00001112: JUMPI
00001113: DUP3
00001114: SWAP1
00001115: SUB
00001116: PUSH1 0x1f
00001118: AND
00001119: DUP3
0000111a: ADD
0000111b: SWAP2
0000111c: JUMPDEST
0000111d: POP
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: DUP2
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x04
00001127: PUSH1 0x00
00001129: POP
0000112a: PUSH1 0x20
0000112c: MSTORE
0000112d: DUP1
0000112e: PUSH1 0x00
00001130: MSTORE
00001131: PUSH1 0x40
00001133: PUSH1 0x00
00001135: KECCAK256
00001136: PUSH1 0x00
00001138: SWAP2
00001139: POP
0000113a: SWAP1
0000113b: POP
0000113c: DUP1
0000113d: SLOAD
0000113e: PUSH1 0x01
00001140: DUP2
00001141: PUSH1 0x01
00001143: AND
00001144: ISZERO
00001145: PUSH2 0x0100
00001148: MUL
00001149: SUB
0000114a: AND
0000114b: PUSH1 0x02
0000114d: SWAP1
0000114e: DIV
0000114f: DUP1
00001150: PUSH1 0x1f
00001152: ADD
00001153: PUSH1 0x20
00001155: DUP1
00001156: SWAP2
00001157: DIV
00001158: MUL
00001159: PUSH1 0x20
0000115b: ADD
0000115c: PUSH1 0x40
0000115e: MLOAD
0000115f: SWAP1
00001160: DUP2
00001161: ADD
00001162: PUSH1 0x40
00001164: MSTORE
00001165: DUP1
00001166: SWAP3
00001167: SWAP2
00001168: SWAP1
00001169: DUP2
0000116a: DUP2
0000116b: MSTORE
0000116c: PUSH1 0x20
0000116e: ADD
0000116f: DUP3
00001170: DUP1
00001171: SLOAD
00001172: PUSH1 0x01
00001174: DUP2
00001175: PUSH1 0x01
00001177: AND
00001178: ISZERO
00001179: PUSH2 0x0100
0000117c: MUL
0000117d: SUB
0000117e: AND
0000117f: PUSH1 0x02
00001181: SWAP1
00001182: DIV
00001183: DUP1
00001184: ISZERO
00001185: PUSH2 0x11cf
00001188: JUMPI
00001189: DUP1
0000118a: PUSH1 0x1f
0000118c: LT
0000118d: PUSH2 0x11a4
00001190: JUMPI
00001191: PUSH2 0x0100
00001194: DUP1
00001195: DUP4
00001196: SLOAD
00001197: DIV
00001198: MUL
00001199: DUP4
0000119a: MSTORE
0000119b: SWAP2
0000119c: PUSH1 0x20
0000119e: ADD
0000119f: SWAP2
000011a0: PUSH2 0x11cf
000011a3: JUMP
000011a4: JUMPDEST
000011a5: DUP3
000011a6: ADD
000011a7: SWAP2
000011a8: SWAP1
000011a9: PUSH1 0x00
000011ab: MSTORE
000011ac: PUSH1 0x20
000011ae: PUSH1 0x00
000011b0: KECCAK256
000011b1: SWAP1
000011b2: JUMPDEST
000011b3: DUP2
000011b4: SLOAD
000011b5: DUP2
000011b6: MSTORE
000011b7: SWAP1
000011b8: PUSH1 0x01
000011ba: ADD
000011bb: SWAP1
000011bc: PUSH1 0x20
000011be: ADD
000011bf: DUP1
000011c0: DUP4
000011c1: GT
000011c2: PUSH2 0x11b2
000011c5: JUMPI
000011c6: DUP3
000011c7: SWAP1
000011c8: SUB
000011c9: PUSH1 0x1f
000011cb: AND
000011cc: DUP3
000011cd: ADD
000011ce: SWAP2
000011cf: JUMPDEST
000011d0: POP
000011d1: POP
000011d2: POP
000011d3: POP
000011d4: POP
000011d5: DUP2
000011d6: 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.