Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-e3xrxkbw
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c92-084f-7982-828f-e9bc4d3f3be4
--------
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:36:09.227767+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 8280,
        "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 0x0061
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x8513af8d
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0063
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x8e86755c
00000025: EQ
00000026: PUSH2 0x021d
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0xcb135a68
00000030: EQ
00000031: PUSH2 0x0337
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0xccc65845
0000003b: EQ
0000003c: PUSH2 0x0451
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0xd68629c1
00000046: EQ
00000047: PUSH2 0x05b8
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0xd939f910
00000051: EQ
00000052: PUSH2 0x07d2
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xef311f20
0000005c: EQ
0000005d: PUSH2 0x0938
00000060: JUMPI
00000061: JUMPDEST
00000062: STOP
00000063: JUMPDEST
00000064: PUSH2 0x0061
00000067: PUSH1 0x04
00000069: DUP1
0000006a: DUP1
0000006b: CALLDATALOAD
0000006c: SWAP1
0000006d: PUSH1 0x20
0000006f: ADD
00000070: SWAP1
00000071: DUP3
00000072: ADD
00000073: DUP1
00000074: CALLDATALOAD
00000075: SWAP1
00000076: PUSH1 0x20
00000078: ADD
00000079: SWAP2
0000007a: SWAP2
0000007b: SWAP1
0000007c: DUP1
0000007d: DUP1
0000007e: PUSH1 0x1f
00000080: ADD
00000081: PUSH1 0x20
00000083: DUP1
00000084: SWAP2
00000085: DIV
00000086: MUL
00000087: PUSH1 0x20
00000089: ADD
0000008a: PUSH1 0x40
0000008c: MLOAD
0000008d: SWAP1
0000008e: DUP2
0000008f: ADD
00000090: PUSH1 0x40
00000092: MSTORE
00000093: DUP1
00000094: SWAP4
00000095: SWAP3
00000096: SWAP2
00000097: SWAP1
00000098: DUP2
00000099: DUP2
0000009a: MSTORE
0000009b: PUSH1 0x20
0000009d: ADD
0000009e: DUP4
0000009f: DUP4
000000a0: DUP1
000000a1: DUP3
000000a2: DUP5
000000a3: CALLDATACOPY
000000a4: POP
000000a5: POP
000000a6: PUSH1 0x40
000000a8: DUP1
000000a9: MLOAD
000000aa: PUSH1 0x20
000000ac: DUP9
000000ad: CALLDATALOAD
000000ae: DUP1
000000af: DUP12
000000b0: ADD
000000b1: CALLDATALOAD
000000b2: PUSH1 0x1f
000000b4: DUP2
000000b5: ADD
000000b6: DUP4
000000b7: SWAP1
000000b8: DIV
000000b9: DUP4
000000ba: MUL
000000bb: DUP5
000000bc: ADD
000000bd: DUP4
000000be: ADD
000000bf: SWAP1
000000c0: SWAP5
000000c1: MSTORE
000000c2: DUP4
000000c3: DUP4
000000c4: MSTORE
000000c5: SWAP8
000000c6: SWAP10
000000c7: SWAP9
000000c8: PUSH1 0x44
000000ca: SWAP9
000000cb: SWAP3
000000cc: SWAP8
000000cd: POP
000000ce: SWAP2
000000cf: SWAP1
000000d0: SWAP2
000000d1: ADD
000000d2: SWAP5
000000d3: POP
000000d4: SWAP1
000000d5: SWAP3
000000d6: POP
000000d7: DUP3
000000d8: SWAP2
000000d9: POP
000000da: DUP5
000000db: ADD
000000dc: DUP4
000000dd: DUP3
000000de: DUP1
000000df: DUP3
000000e0: DUP5
000000e1: CALLDATACOPY
000000e2: POP
000000e3: POP
000000e4: PUSH1 0x40
000000e6: DUP1
000000e7: MLOAD
000000e8: PUSH1 0x20
000000ea: SWAP8
000000eb: CALLDATALOAD
000000ec: DUP1
000000ed: DUP11
000000ee: ADD
000000ef: CALLDATALOAD
000000f0: PUSH1 0x1f
000000f2: DUP2
000000f3: ADD
000000f4: DUP11
000000f5: SWAP1
000000f6: DIV
000000f7: DUP11
000000f8: MUL
000000f9: DUP4
000000fa: ADD
000000fb: DUP11
000000fc: ADD
000000fd: SWAP1
000000fe: SWAP4
000000ff: MSTORE
00000100: DUP3
00000101: DUP3
00000102: MSTORE
00000103: SWAP7
00000104: SWAP9
00000105: SWAP8
00000106: PUSH1 0x64
00000108: SWAP8
00000109: SWAP2
0000010a: SWAP7
0000010b: POP
0000010c: PUSH1 0x24
0000010e: SWAP2
0000010f: SWAP1
00000110: SWAP2
00000111: ADD
00000112: SWAP5
00000113: POP
00000114: SWAP1
00000115: SWAP3
00000116: POP
00000117: DUP3
00000118: SWAP2
00000119: POP
0000011a: DUP5
0000011b: ADD
0000011c: DUP4
0000011d: DUP3
0000011e: DUP1
0000011f: DUP3
00000120: DUP5
00000121: CALLDATACOPY
00000122: POP
00000123: POP
00000124: PUSH1 0x40
00000126: DUP1
00000127: MLOAD
00000128: PUSH1 0x20
0000012a: SWAP8
0000012b: CALLDATALOAD
0000012c: DUP1
0000012d: DUP11
0000012e: ADD
0000012f: CALLDATALOAD
00000130: PUSH1 0x1f
00000132: DUP2
00000133: ADD
00000134: DUP11
00000135: SWAP1
00000136: DIV
00000137: DUP11
00000138: MUL
00000139: DUP4
0000013a: ADD
0000013b: DUP11
0000013c: ADD
0000013d: SWAP1
0000013e: SWAP4
0000013f: MSTORE
00000140: DUP3
00000141: DUP3
00000142: MSTORE
00000143: SWAP7
00000144: SWAP9
00000145: SWAP8
00000146: PUSH1 0x84
00000148: SWAP8
00000149: SWAP2
0000014a: SWAP7
0000014b: POP
0000014c: PUSH1 0x24
0000014e: SWAP2
0000014f: SWAP1
00000150: SWAP2
00000151: ADD
00000152: SWAP5
00000153: POP
00000154: SWAP1
00000155: SWAP3
00000156: POP
00000157: DUP3
00000158: SWAP2
00000159: POP
0000015a: DUP5
0000015b: ADD
0000015c: DUP4
0000015d: DUP3
0000015e: DUP1
0000015f: DUP3
00000160: DUP5
00000161: CALLDATACOPY
00000162: POP
00000163: POP
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x20
0000016a: SWAP8
0000016b: CALLDATALOAD
0000016c: DUP1
0000016d: DUP11
0000016e: ADD
0000016f: CALLDATALOAD
00000170: PUSH1 0x1f
00000172: DUP2
00000173: ADD
00000174: DUP11
00000175: SWAP1
00000176: DIV
00000177: DUP11
00000178: MUL
00000179: DUP4
0000017a: ADD
0000017b: DUP11
0000017c: ADD
0000017d: SWAP1
0000017e: SWAP4
0000017f: MSTORE
00000180: DUP3
00000181: DUP3
00000182: MSTORE
00000183: SWAP7
00000184: SWAP9
00000185: SWAP8
00000186: PUSH1 0xa4
00000188: SWAP8
00000189: SWAP2
0000018a: SWAP7
0000018b: POP
0000018c: PUSH1 0x24
0000018e: SWAP2
0000018f: SWAP1
00000190: SWAP2
00000191: ADD
00000192: SWAP5
00000193: POP
00000194: SWAP1
00000195: SWAP3
00000196: POP
00000197: DUP3
00000198: SWAP2
00000199: POP
0000019a: DUP5
0000019b: ADD
0000019c: DUP4
0000019d: DUP3
0000019e: DUP1
0000019f: DUP3
000001a0: DUP5
000001a1: CALLDATACOPY
000001a2: POP
000001a3: SWAP5
000001a4: SWAP7
000001a5: POP
000001a6: POP
000001a7: POP
000001a8: POP
000001a9: POP
000001aa: POP
000001ab: POP
000001ac: PUSH1 0x00
000001ae: PUSH1 0x00
000001b0: POP
000001b1: DUP6
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: DUP1
000001b6: DUP3
000001b7: DUP1
000001b8: MLOAD
000001b9: SWAP1
000001ba: PUSH1 0x20
000001bc: ADD
000001bd: SWAP1
000001be: DUP1
000001bf: DUP4
000001c0: DUP4
000001c1: DUP3
000001c2: SWAP1
000001c3: PUSH1 0x00
000001c5: PUSH1 0x04
000001c7: PUSH1 0x20
000001c9: DUP5
000001ca: PUSH1 0x1f
000001cc: ADD
000001cd: DIV
000001ce: PUSH1 0x0f
000001d0: MUL
000001d1: PUSH1 0x03
000001d3: ADD
000001d4: CALL
000001d5: POP
000001d6: SWAP1
000001d7: POP
000001d8: ADD
000001d9: SWAP2
000001da: POP
000001db: POP
000001dc: SWAP1
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: ADD
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: KECCAK256
000001ea: PUSH1 0x00
000001ec: POP
000001ed: DUP1
000001ee: SLOAD
000001ef: PUSH1 0x01
000001f1: DUP2
000001f2: PUSH1 0x01
000001f4: AND
000001f5: ISZERO
000001f6: PUSH2 0x0100
000001f9: MUL
000001fa: SUB
000001fb: AND
000001fc: PUSH1 0x02
000001fe: SWAP1
000001ff: DIV
00000200: SWAP1
00000201: POP
00000202: PUSH1 0x00
00000204: EQ
00000205: ISZERO
00000206: DUP1
00000207: ISZERO
00000208: PUSH2 0x0c62
0000020b: JUMPI
0000020c: POP
0000020d: PUSH2 0x0c62
00000210: DUP6
00000211: DUP4
00000212: PUSH3 0x010001
00000216: DUP5
00000217: PUSH1 0x01
00000219: PUSH2 0x08a1
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH2 0x0061
00000221: PUSH1 0x04
00000223: DUP1
00000224: DUP1
00000225: CALLDATALOAD
00000226: SWAP1
00000227: PUSH1 0x20
00000229: ADD
0000022a: SWAP1
0000022b: DUP3
0000022c: ADD
0000022d: DUP1
0000022e: CALLDATALOAD
0000022f: SWAP1
00000230: PUSH1 0x20
00000232: ADD
00000233: SWAP2
00000234: SWAP2
00000235: SWAP1
00000236: DUP1
00000237: DUP1
00000238: PUSH1 0x1f
0000023a: ADD
0000023b: PUSH1 0x20
0000023d: DUP1
0000023e: SWAP2
0000023f: DIV
00000240: MUL
00000241: PUSH1 0x20
00000243: ADD
00000244: PUSH1 0x40
00000246: MLOAD
00000247: SWAP1
00000248: DUP2
00000249: ADD
0000024a: PUSH1 0x40
0000024c: MSTORE
0000024d: DUP1
0000024e: SWAP4
0000024f: SWAP3
00000250: SWAP2
00000251: SWAP1
00000252: DUP2
00000253: DUP2
00000254: MSTORE
00000255: PUSH1 0x20
00000257: ADD
00000258: DUP4
00000259: DUP4
0000025a: DUP1
0000025b: DUP3
0000025c: DUP5
0000025d: CALLDATACOPY
0000025e: POP
0000025f: POP
00000260: PUSH1 0x40
00000262: DUP1
00000263: MLOAD
00000264: PUSH1 0x20
00000266: DUP9
00000267: CALLDATALOAD
00000268: DUP1
00000269: DUP12
0000026a: ADD
0000026b: CALLDATALOAD
0000026c: PUSH1 0x1f
0000026e: DUP2
0000026f: ADD
00000270: DUP4
00000271: SWAP1
00000272: DIV
00000273: DUP4
00000274: MUL
00000275: DUP5
00000276: ADD
00000277: DUP4
00000278: ADD
00000279: SWAP1
0000027a: SWAP5
0000027b: MSTORE
0000027c: DUP4
0000027d: DUP4
0000027e: MSTORE
0000027f: SWAP8
00000280: SWAP10
00000281: SWAP9
00000282: PUSH1 0x44
00000284: SWAP9
00000285: SWAP3
00000286: SWAP8
00000287: POP
00000288: SWAP2
00000289: SWAP1
0000028a: SWAP2
0000028b: ADD
0000028c: SWAP5
0000028d: POP
0000028e: SWAP1
0000028f: SWAP3
00000290: POP
00000291: DUP3
00000292: SWAP2
00000293: POP
00000294: DUP5
00000295: ADD
00000296: DUP4
00000297: DUP3
00000298: DUP1
00000299: DUP3
0000029a: DUP5
0000029b: CALLDATACOPY
0000029c: POP
0000029d: POP
0000029e: PUSH1 0x40
000002a0: DUP1
000002a1: MLOAD
000002a2: PUSH1 0x20
000002a4: SWAP8
000002a5: CALLDATALOAD
000002a6: DUP1
000002a7: DUP11
000002a8: ADD
000002a9: CALLDATALOAD
000002aa: PUSH1 0x1f
000002ac: DUP2
000002ad: ADD
000002ae: DUP11
000002af: SWAP1
000002b0: DIV
000002b1: DUP11
000002b2: MUL
000002b3: DUP4
000002b4: ADD
000002b5: DUP11
000002b6: ADD
000002b7: SWAP1
000002b8: SWAP4
000002b9: MSTORE
000002ba: DUP3
000002bb: DUP3
000002bc: MSTORE
000002bd: SWAP7
000002be: SWAP9
000002bf: SWAP8
000002c0: PUSH1 0x64
000002c2: SWAP8
000002c3: SWAP2
000002c4: SWAP7
000002c5: POP
000002c6: PUSH1 0x24
000002c8: SWAP2
000002c9: SWAP1
000002ca: SWAP2
000002cb: ADD
000002cc: SWAP5
000002cd: POP
000002ce: SWAP1
000002cf: SWAP3
000002d0: POP
000002d1: DUP3
000002d2: SWAP2
000002d3: POP
000002d4: DUP5
000002d5: ADD
000002d6: DUP4
000002d7: DUP3
000002d8: DUP1
000002d9: DUP3
000002da: DUP5
000002db: CALLDATACOPY
000002dc: POP
000002dd: POP
000002de: PUSH1 0x40
000002e0: DUP1
000002e1: MLOAD
000002e2: PUSH1 0x20
000002e4: SWAP8
000002e5: CALLDATALOAD
000002e6: DUP1
000002e7: DUP11
000002e8: ADD
000002e9: CALLDATALOAD
000002ea: PUSH1 0x1f
000002ec: DUP2
000002ed: ADD
000002ee: DUP11
000002ef: SWAP1
000002f0: DIV
000002f1: DUP11
000002f2: MUL
000002f3: DUP4
000002f4: ADD
000002f5: DUP11
000002f6: ADD
000002f7: SWAP1
000002f8: SWAP4
000002f9: MSTORE
000002fa: DUP3
000002fb: DUP3
000002fc: MSTORE
000002fd: SWAP7
000002fe: SWAP9
000002ff: SWAP8
00000300: PUSH1 0x84
00000302: SWAP8
00000303: SWAP2
00000304: SWAP7
00000305: POP
00000306: PUSH1 0x24
00000308: SWAP2
00000309: SWAP1
0000030a: SWAP2
0000030b: ADD
0000030c: SWAP5
0000030d: POP
0000030e: SWAP1
0000030f: SWAP3
00000310: POP
00000311: DUP3
00000312: SWAP2
00000313: POP
00000314: DUP5
00000315: ADD
00000316: DUP4
00000317: DUP3
00000318: DUP1
00000319: DUP3
0000031a: DUP5
0000031b: CALLDATACOPY
0000031c: POP
0000031d: SWAP5
0000031e: SWAP7
0000031f: POP
00000320: POP
00000321: POP
00000322: POP
00000323: POP
00000324: POP
00000325: POP
00000326: JUMPDEST
00000327: PUSH2 0x0e11
0000032a: DUP5
0000032b: DUP5
0000032c: PUSH3 0x010001
00000330: DUP6
00000331: PUSH1 0x01
00000333: PUSH2 0x08a1
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x0061
0000033b: PUSH1 0x04
0000033d: DUP1
0000033e: DUP1
0000033f: CALLDATALOAD
00000340: SWAP1
00000341: PUSH1 0x20
00000343: ADD
00000344: SWAP1
00000345: DUP3
00000346: ADD
00000347: DUP1
00000348: CALLDATALOAD
00000349: SWAP1
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: SWAP2
0000034e: SWAP2
0000034f: SWAP1
00000350: DUP1
00000351: DUP1
00000352: PUSH1 0x1f
00000354: ADD
00000355: PUSH1 0x20
00000357: DUP1
00000358: SWAP2
00000359: DIV
0000035a: MUL
0000035b: PUSH1 0x20
0000035d: ADD
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: SWAP1
00000362: DUP2
00000363: ADD
00000364: PUSH1 0x40
00000366: MSTORE
00000367: DUP1
00000368: SWAP4
00000369: SWAP3
0000036a: SWAP2
0000036b: SWAP1
0000036c: DUP2
0000036d: DUP2
0000036e: MSTORE
0000036f: PUSH1 0x20
00000371: ADD
00000372: DUP4
00000373: DUP4
00000374: DUP1
00000375: DUP3
00000376: DUP5
00000377: CALLDATACOPY
00000378: POP
00000379: POP
0000037a: PUSH1 0x40
0000037c: DUP1
0000037d: MLOAD
0000037e: PUSH1 0x20
00000380: DUP9
00000381: CALLDATALOAD
00000382: DUP1
00000383: DUP12
00000384: ADD
00000385: CALLDATALOAD
00000386: PUSH1 0x1f
00000388: DUP2
00000389: ADD
0000038a: DUP4
0000038b: SWAP1
0000038c: DIV
0000038d: DUP4
0000038e: MUL
0000038f: DUP5
00000390: ADD
00000391: DUP4
00000392: ADD
00000393: SWAP1
00000394: SWAP5
00000395: MSTORE
00000396: DUP4
00000397: DUP4
00000398: MSTORE
00000399: SWAP8
0000039a: SWAP10
0000039b: SWAP9
0000039c: PUSH1 0x44
0000039e: SWAP9
0000039f: SWAP3
000003a0: SWAP8
000003a1: POP
000003a2: SWAP2
000003a3: SWAP1
000003a4: SWAP2
000003a5: ADD
000003a6: SWAP5
000003a7: POP
000003a8: SWAP1
000003a9: SWAP3
000003aa: POP
000003ab: DUP3
000003ac: SWAP2
000003ad: POP
000003ae: DUP5
000003af: ADD
000003b0: DUP4
000003b1: DUP3
000003b2: DUP1
000003b3: DUP3
000003b4: DUP5
000003b5: CALLDATACOPY
000003b6: POP
000003b7: POP
000003b8: PUSH1 0x40
000003ba: DUP1
000003bb: MLOAD
000003bc: PUSH1 0x20
000003be: SWAP8
000003bf: CALLDATALOAD
000003c0: DUP1
000003c1: DUP11
000003c2: ADD
000003c3: CALLDATALOAD
000003c4: PUSH1 0x1f
000003c6: DUP2
000003c7: ADD
000003c8: DUP11
000003c9: SWAP1
000003ca: DIV
000003cb: DUP11
000003cc: MUL
000003cd: DUP4
000003ce: ADD
000003cf: DUP11
000003d0: ADD
000003d1: SWAP1
000003d2: SWAP4
000003d3: MSTORE
000003d4: DUP3
000003d5: DUP3
000003d6: MSTORE
000003d7: SWAP7
000003d8: SWAP9
000003d9: SWAP8
000003da: PUSH1 0x64
000003dc: SWAP8
000003dd: SWAP2
000003de: SWAP7
000003df: POP
000003e0: PUSH1 0x24
000003e2: SWAP2
000003e3: SWAP1
000003e4: SWAP2
000003e5: ADD
000003e6: SWAP5
000003e7: POP
000003e8: SWAP1
000003e9: SWAP3
000003ea: POP
000003eb: DUP3
000003ec: SWAP2
000003ed: POP
000003ee: DUP5
000003ef: ADD
000003f0: DUP4
000003f1: DUP3
000003f2: DUP1
000003f3: DUP3
000003f4: DUP5
000003f5: CALLDATACOPY
000003f6: POP
000003f7: POP
000003f8: PUSH1 0x40
000003fa: DUP1
000003fb: MLOAD
000003fc: PUSH1 0x20
000003fe: SWAP8
000003ff: CALLDATALOAD
00000400: DUP1
00000401: DUP11
00000402: ADD
00000403: CALLDATALOAD
00000404: PUSH1 0x1f
00000406: DUP2
00000407: ADD
00000408: DUP11
00000409: SWAP1
0000040a: DIV
0000040b: DUP11
0000040c: MUL
0000040d: DUP4
0000040e: ADD
0000040f: DUP11
00000410: ADD
00000411: SWAP1
00000412: SWAP4
00000413: MSTORE
00000414: DUP3
00000415: DUP3
00000416: MSTORE
00000417: SWAP7
00000418: SWAP9
00000419: SWAP8
0000041a: PUSH1 0x84
0000041c: SWAP8
0000041d: SWAP2
0000041e: SWAP7
0000041f: POP
00000420: PUSH1 0x24
00000422: SWAP2
00000423: SWAP1
00000424: SWAP2
00000425: ADD
00000426: SWAP5
00000427: POP
00000428: SWAP1
00000429: SWAP3
0000042a: POP
0000042b: DUP3
0000042c: SWAP2
0000042d: POP
0000042e: DUP5
0000042f: ADD
00000430: DUP4
00000431: DUP3
00000432: DUP1
00000433: DUP3
00000434: DUP5
00000435: CALLDATACOPY
00000436: POP
00000437: SWAP5
00000438: SWAP7
00000439: POP
0000043a: POP
0000043b: POP
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: POP
00000440: JUMPDEST
00000441: PUSH2 0x0d35
00000444: DUP5
00000445: DUP5
00000446: PUSH3 0x010001
0000044a: DUP6
0000044b: PUSH1 0x01
0000044d: PUSH2 0x08a1
00000450: JUMP
00000451: JUMPDEST
00000452: PUSH2 0x0bcd
00000455: PUSH1 0x04
00000457: DUP1
00000458: DUP1
00000459: CALLDATALOAD
0000045a: SWAP1
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: SWAP1
0000045f: DUP3
00000460: ADD
00000461: DUP1
00000462: CALLDATALOAD
00000463: SWAP1
00000464: PUSH1 0x20
00000466: ADD
00000467: SWAP2
00000468: SWAP2
00000469: SWAP1
0000046a: DUP1
0000046b: DUP1
0000046c: PUSH1 0x1f
0000046e: ADD
0000046f: PUSH1 0x20
00000471: DUP1
00000472: SWAP2
00000473: DIV
00000474: MUL
00000475: PUSH1 0x20
00000477: ADD
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: SWAP1
0000047c: DUP2
0000047d: ADD
0000047e: PUSH1 0x40
00000480: MSTORE
00000481: DUP1
00000482: SWAP4
00000483: SWAP3
00000484: SWAP2
00000485: SWAP1
00000486: DUP2
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x20
0000048b: ADD
0000048c: DUP4
0000048d: DUP4
0000048e: DUP1
0000048f: DUP3
00000490: DUP5
00000491: CALLDATACOPY
00000492: POP
00000493: SWAP5
00000494: SWAP7
00000495: POP
00000496: POP
00000497: POP
00000498: POP
00000499: POP
0000049a: POP
0000049b: POP
0000049c: PUSH1 0x20
0000049e: PUSH1 0x40
000004a0: MLOAD
000004a1: SWAP1
000004a2: DUP2
000004a3: ADD
000004a4: PUSH1 0x40
000004a6: MSTORE
000004a7: DUP1
000004a8: PUSH1 0x00
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: ADD
000004af: POP
000004b0: PUSH1 0x00
000004b2: PUSH1 0x00
000004b4: POP
000004b5: DUP3
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: DUP1
000004ba: DUP3
000004bb: DUP1
000004bc: MLOAD
000004bd: SWAP1
000004be: PUSH1 0x20
000004c0: ADD
000004c1: SWAP1
000004c2: DUP1
000004c3: DUP4
000004c4: DUP4
000004c5: DUP3
000004c6: SWAP1
000004c7: PUSH1 0x00
000004c9: PUSH1 0x04
000004cb: PUSH1 0x20
000004cd: DUP5
000004ce: PUSH1 0x1f
000004d0: ADD
000004d1: DIV
000004d2: PUSH1 0x0f
000004d4: MUL
000004d5: PUSH1 0x03
000004d7: ADD
000004d8: CALL
000004d9: POP
000004da: SWAP1
000004db: POP
000004dc: ADD
000004dd: SWAP2
000004de: POP
000004df: POP
000004e0: SWAP1
000004e1: DUP2
000004e2: MSTORE
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: DUP1
000004ea: SWAP2
000004eb: SUB
000004ec: SWAP1
000004ed: KECCAK256
000004ee: PUSH1 0x00
000004f0: POP
000004f1: DUP1
000004f2: SLOAD
000004f3: PUSH1 0x01
000004f5: DUP2
000004f6: PUSH1 0x01
000004f8: AND
000004f9: ISZERO
000004fa: PUSH2 0x0100
000004fd: MUL
000004fe: SUB
000004ff: AND
00000500: PUSH1 0x02
00000502: SWAP1
00000503: DIV
00000504: SWAP1
00000505: POP
00000506: PUSH1 0x00
00000508: EQ
00000509: ISZERO
0000050a: ISZERO
0000050b: PUSH2 0x0ed8
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: PUSH1 0x00
00000513: POP
00000514: DUP3
00000515: PUSH1 0x40
00000517: MLOAD
00000518: DUP1
00000519: DUP3
0000051a: DUP1
0000051b: MLOAD
0000051c: SWAP1
0000051d: PUSH1 0x20
0000051f: ADD
00000520: SWAP1
00000521: DUP1
00000522: DUP4
00000523: DUP4
00000524: DUP3
00000525: SWAP1
00000526: PUSH1 0x00
00000528: PUSH1 0x04
0000052a: PUSH1 0x20
0000052c: DUP5
0000052d: PUSH1 0x1f
0000052f: ADD
00000530: DIV
00000531: PUSH1 0x0f
00000533: MUL
00000534: PUSH1 0x03
00000536: ADD
00000537: CALL
00000538: POP
00000539: SWAP1
0000053a: POP
0000053b: ADD
0000053c: SWAP2
0000053d: POP
0000053e: POP
0000053f: SWAP1
00000540: DUP2
00000541: MSTORE
00000542: PUSH1 0x20
00000544: ADD
00000545: PUSH1 0x40
00000547: MLOAD
00000548: DUP1
00000549: SWAP2
0000054a: SUB
0000054b: SWAP1
0000054c: KECCAK256
0000054d: PUSH1 0x00
0000054f: POP
00000550: DUP1
00000551: SLOAD
00000552: PUSH1 0x01
00000554: DUP2
00000555: PUSH1 0x01
00000557: AND
00000558: ISZERO
00000559: PUSH2 0x0100
0000055c: MUL
0000055d: SUB
0000055e: AND
0000055f: PUSH1 0x02
00000561: SWAP1
00000562: DIV
00000563: DUP1
00000564: PUSH1 0x1f
00000566: ADD
00000567: PUSH1 0x20
00000569: DUP1
0000056a: SWAP2
0000056b: DIV
0000056c: MUL
0000056d: PUSH1 0x20
0000056f: ADD
00000570: PUSH1 0x40
00000572: MLOAD
00000573: SWAP1
00000574: DUP2
00000575: ADD
00000576: PUSH1 0x40
00000578: MSTORE
00000579: DUP1
0000057a: SWAP3
0000057b: SWAP2
0000057c: SWAP1
0000057d: DUP2
0000057e: DUP2
0000057f: MSTORE
00000580: PUSH1 0x20
00000582: ADD
00000583: DUP3
00000584: DUP1
00000585: SLOAD
00000586: PUSH1 0x01
00000588: DUP2
00000589: PUSH1 0x01
0000058b: AND
0000058c: ISZERO
0000058d: PUSH2 0x0100
00000590: MUL
00000591: SUB
00000592: AND
00000593: PUSH1 0x02
00000595: SWAP1
00000596: DIV
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x0ecc
0000059c: JUMPI
0000059d: DUP1
0000059e: PUSH1 0x1f
000005a0: LT
000005a1: PUSH2 0x0ea1
000005a4: JUMPI
000005a5: PUSH2 0x0100
000005a8: DUP1
000005a9: DUP4
000005aa: SLOAD
000005ab: DIV
000005ac: MUL
000005ad: DUP4
000005ae: MSTORE
000005af: SWAP2
000005b0: PUSH1 0x20
000005b2: ADD
000005b3: SWAP2
000005b4: PUSH2 0x0ecc
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH2 0x0061
000005bc: PUSH1 0x04
000005be: DUP1
000005bf: DUP1
000005c0: CALLDATALOAD
000005c1: SWAP1
000005c2: PUSH1 0x20
000005c4: ADD
000005c5: SWAP1
000005c6: DUP3
000005c7: ADD
000005c8: DUP1
000005c9: CALLDATALOAD
000005ca: SWAP1
000005cb: PUSH1 0x20
000005cd: ADD
000005ce: SWAP2
000005cf: SWAP2
000005d0: SWAP1
000005d1: DUP1
000005d2: DUP1
000005d3: PUSH1 0x1f
000005d5: ADD
000005d6: PUSH1 0x20
000005d8: DUP1
000005d9: SWAP2
000005da: DIV
000005db: MUL
000005dc: PUSH1 0x20
000005de: ADD
000005df: PUSH1 0x40
000005e1: MLOAD
000005e2: SWAP1
000005e3: DUP2
000005e4: ADD
000005e5: PUSH1 0x40
000005e7: MSTORE
000005e8: DUP1
000005e9: SWAP4
000005ea: SWAP3
000005eb: SWAP2
000005ec: SWAP1
000005ed: DUP2
000005ee: DUP2
000005ef: MSTORE
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: DUP4
000005f4: DUP4
000005f5: DUP1
000005f6: DUP3
000005f7: DUP5
000005f8: CALLDATACOPY
000005f9: POP
000005fa: POP
000005fb: PUSH1 0x40
000005fd: DUP1
000005fe: MLOAD
000005ff: PUSH1 0x20
00000601: DUP9
00000602: CALLDATALOAD
00000603: DUP1
00000604: DUP12
00000605: ADD
00000606: CALLDATALOAD
00000607: PUSH1 0x1f
00000609: DUP2
0000060a: ADD
0000060b: DUP4
0000060c: SWAP1
0000060d: DIV
0000060e: DUP4
0000060f: MUL
00000610: DUP5
00000611: ADD
00000612: DUP4
00000613: ADD
00000614: SWAP1
00000615: SWAP5
00000616: MSTORE
00000617: DUP4
00000618: DUP4
00000619: MSTORE
0000061a: SWAP8
0000061b: SWAP10
0000061c: SWAP9
0000061d: PUSH1 0x44
0000061f: SWAP9
00000620: SWAP3
00000621: SWAP8
00000622: POP
00000623: SWAP2
00000624: SWAP1
00000625: SWAP2
00000626: ADD
00000627: SWAP5
00000628: POP
00000629: SWAP1
0000062a: SWAP3
0000062b: POP
0000062c: DUP3
0000062d: SWAP2
0000062e: POP
0000062f: DUP5
00000630: ADD
00000631: DUP4
00000632: DUP3
00000633: DUP1
00000634: DUP3
00000635: DUP5
00000636: CALLDATACOPY
00000637: POP
00000638: POP
00000639: PUSH1 0x40
0000063b: DUP1
0000063c: MLOAD
0000063d: PUSH1 0x20
0000063f: SWAP8
00000640: CALLDATALOAD
00000641: DUP1
00000642: DUP11
00000643: ADD
00000644: CALLDATALOAD
00000645: PUSH1 0x1f
00000647: DUP2
00000648: ADD
00000649: DUP11
0000064a: SWAP1
0000064b: DIV
0000064c: DUP11
0000064d: MUL
0000064e: DUP4
0000064f: ADD
00000650: DUP11
00000651: ADD
00000652: SWAP1
00000653: SWAP4
00000654: MSTORE
00000655: DUP3
00000656: DUP3
00000657: MSTORE
00000658: SWAP7
00000659: SWAP9
0000065a: SWAP8
0000065b: PUSH1 0x64
0000065d: SWAP8
0000065e: SWAP2
0000065f: SWAP7
00000660: POP
00000661: PUSH1 0x24
00000663: SWAP2
00000664: SWAP1
00000665: SWAP2
00000666: ADD
00000667: SWAP5
00000668: POP
00000669: SWAP1
0000066a: SWAP3
0000066b: POP
0000066c: DUP3
0000066d: SWAP2
0000066e: POP
0000066f: DUP5
00000670: ADD
00000671: DUP4
00000672: DUP3
00000673: DUP1
00000674: DUP3
00000675: DUP5
00000676: CALLDATACOPY
00000677: POP
00000678: POP
00000679: PUSH1 0x40
0000067b: DUP1
0000067c: MLOAD
0000067d: PUSH1 0x20
0000067f: SWAP8
00000680: CALLDATALOAD
00000681: DUP1
00000682: DUP11
00000683: ADD
00000684: CALLDATALOAD
00000685: PUSH1 0x1f
00000687: DUP2
00000688: ADD
00000689: DUP11
0000068a: SWAP1
0000068b: DIV
0000068c: DUP11
0000068d: MUL
0000068e: DUP4
0000068f: ADD
00000690: DUP11
00000691: ADD
00000692: SWAP1
00000693: SWAP4
00000694: MSTORE
00000695: DUP3
00000696: DUP3
00000697: MSTORE
00000698: SWAP7
00000699: SWAP9
0000069a: SWAP8
0000069b: PUSH1 0x84
0000069d: SWAP8
0000069e: SWAP2
0000069f: SWAP7
000006a0: POP
000006a1: PUSH1 0x24
000006a3: SWAP2
000006a4: SWAP1
000006a5: SWAP2
000006a6: ADD
000006a7: SWAP5
000006a8: POP
000006a9: SWAP1
000006aa: SWAP3
000006ab: POP
000006ac: DUP3
000006ad: SWAP2
000006ae: POP
000006af: DUP5
000006b0: ADD
000006b1: DUP4
000006b2: DUP3
000006b3: DUP1
000006b4: DUP3
000006b5: DUP5
000006b6: CALLDATACOPY
000006b7: POP
000006b8: POP
000006b9: PUSH1 0x40
000006bb: DUP1
000006bc: MLOAD
000006bd: PUSH1 0x20
000006bf: SWAP8
000006c0: CALLDATALOAD
000006c1: DUP1
000006c2: DUP11
000006c3: ADD
000006c4: CALLDATALOAD
000006c5: PUSH1 0x1f
000006c7: DUP2
000006c8: ADD
000006c9: DUP11
000006ca: SWAP1
000006cb: DIV
000006cc: DUP11
000006cd: MUL
000006ce: DUP4
000006cf: ADD
000006d0: DUP11
000006d1: ADD
000006d2: SWAP1
000006d3: SWAP4
000006d4: MSTORE
000006d5: DUP3
000006d6: DUP3
000006d7: MSTORE
000006d8: SWAP7
000006d9: SWAP9
000006da: SWAP8
000006db: PUSH1 0xa4
000006dd: SWAP8
000006de: SWAP2
000006df: SWAP7
000006e0: POP
000006e1: PUSH1 0x24
000006e3: SWAP2
000006e4: SWAP1
000006e5: SWAP2
000006e6: ADD
000006e7: SWAP5
000006e8: POP
000006e9: SWAP1
000006ea: SWAP3
000006eb: POP
000006ec: DUP3
000006ed: SWAP2
000006ee: POP
000006ef: DUP5
000006f0: ADD
000006f1: DUP4
000006f2: DUP3
000006f3: DUP1
000006f4: DUP3
000006f5: DUP5
000006f6: CALLDATACOPY
000006f7: POP
000006f8: POP
000006f9: PUSH1 0x40
000006fb: DUP1
000006fc: MLOAD
000006fd: PUSH1 0x20
000006ff: SWAP8
00000700: CALLDATALOAD
00000701: DUP1
00000702: DUP11
00000703: ADD
00000704: CALLDATALOAD
00000705: PUSH1 0x1f
00000707: DUP2
00000708: ADD
00000709: DUP11
0000070a: SWAP1
0000070b: DIV
0000070c: DUP11
0000070d: MUL
0000070e: DUP4
0000070f: ADD
00000710: DUP11
00000711: ADD
00000712: SWAP1
00000713: SWAP4
00000714: MSTORE
00000715: DUP3
00000716: DUP3
00000717: MSTORE
00000718: SWAP7
00000719: SWAP9
0000071a: SWAP8
0000071b: PUSH1 0xc4
0000071d: SWAP8
0000071e: SWAP2
0000071f: SWAP7
00000720: POP
00000721: PUSH1 0x24
00000723: SWAP2
00000724: SWAP1
00000725: SWAP2
00000726: ADD
00000727: SWAP5
00000728: POP
00000729: SWAP1
0000072a: SWAP3
0000072b: POP
0000072c: DUP3
0000072d: SWAP2
0000072e: POP
0000072f: DUP5
00000730: ADD
00000731: DUP4
00000732: DUP3
00000733: DUP1
00000734: DUP3
00000735: DUP5
00000736: CALLDATACOPY
00000737: POP
00000738: POP
00000739: PUSH1 0x40
0000073b: DUP1
0000073c: MLOAD
0000073d: PUSH1 0x20
0000073f: SWAP8
00000740: CALLDATALOAD
00000741: DUP1
00000742: DUP11
00000743: ADD
00000744: CALLDATALOAD
00000745: PUSH1 0x1f
00000747: DUP2
00000748: ADD
00000749: DUP11
0000074a: SWAP1
0000074b: DIV
0000074c: DUP11
0000074d: MUL
0000074e: DUP4
0000074f: ADD
00000750: DUP11
00000751: ADD
00000752: SWAP1
00000753: SWAP4
00000754: MSTORE
00000755: DUP3
00000756: DUP3
00000757: MSTORE
00000758: SWAP7
00000759: SWAP9
0000075a: SWAP8
0000075b: PUSH1 0xe4
0000075d: SWAP8
0000075e: SWAP2
0000075f: SWAP7
00000760: POP
00000761: PUSH1 0x24
00000763: SWAP2
00000764: SWAP1
00000765: SWAP2
00000766: ADD
00000767: SWAP5
00000768: POP
00000769: SWAP1
0000076a: SWAP3
0000076b: POP
0000076c: DUP3
0000076d: SWAP2
0000076e: POP
0000076f: DUP5
00000770: ADD
00000771: DUP4
00000772: DUP3
00000773: DUP1
00000774: DUP3
00000775: DUP5
00000776: CALLDATACOPY
00000777: POP
00000778: POP
00000779: PUSH1 0x40
0000077b: DUP1
0000077c: MLOAD
0000077d: PUSH1 0x20
0000077f: SWAP8
00000780: CALLDATALOAD
00000781: DUP1
00000782: DUP11
00000783: ADD
00000784: CALLDATALOAD
00000785: PUSH1 0x1f
00000787: DUP2
00000788: ADD
00000789: DUP11
0000078a: SWAP1
0000078b: DIV
0000078c: DUP11
0000078d: MUL
0000078e: DUP4
0000078f: ADD
00000790: DUP11
00000791: ADD
00000792: SWAP1
00000793: SWAP4
00000794: MSTORE
00000795: DUP3
00000796: DUP3
00000797: MSTORE
00000798: SWAP7
00000799: SWAP9
0000079a: SWAP8
0000079b: PUSH2 0x0104
0000079e: SWAP8
0000079f: SWAP2
000007a0: SWAP7
000007a1: POP
000007a2: PUSH1 0x24
000007a4: SWAP2
000007a5: SWAP1
000007a6: SWAP2
000007a7: ADD
000007a8: SWAP5
000007a9: POP
000007aa: SWAP1
000007ab: SWAP3
000007ac: POP
000007ad: DUP3
000007ae: SWAP2
000007af: POP
000007b0: DUP5
000007b1: ADD
000007b2: DUP4
000007b3: DUP3
000007b4: DUP1
000007b5: DUP3
000007b6: DUP5
000007b7: CALLDATACOPY
000007b8: POP
000007b9: SWAP5
000007ba: SWAP7
000007bb: POP
000007bc: POP
000007bd: POP
000007be: POP
000007bf: POP
000007c0: POP
000007c1: POP
000007c2: PUSH2 0x0edd
000007c5: DUP8
000007c6: DUP8
000007c7: PUSH3 0x010001
000007cb: DUP8
000007cc: PUSH1 0x01
000007ce: PUSH2 0x08a1
000007d1: JUMP
000007d2: JUMPDEST
000007d3: PUSH2 0x0c3b
000007d6: PUSH1 0x04
000007d8: DUP1
000007d9: DUP1
000007da: CALLDATALOAD
000007db: SWAP1
000007dc: PUSH1 0x20
000007de: ADD
000007df: SWAP1
000007e0: DUP3
000007e1: ADD
000007e2: DUP1
000007e3: CALLDATALOAD
000007e4: SWAP1
000007e5: PUSH1 0x20
000007e7: ADD
000007e8: SWAP2
000007e9: SWAP2
000007ea: SWAP1
000007eb: DUP1
000007ec: DUP1
000007ed: PUSH1 0x1f
000007ef: ADD
000007f0: PUSH1 0x20
000007f2: DUP1
000007f3: SWAP2
000007f4: DIV
000007f5: MUL
000007f6: PUSH1 0x20
000007f8: ADD
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: SWAP1
000007fd: DUP2
000007fe: ADD
000007ff: PUSH1 0x40
00000801: MSTORE
00000802: DUP1
00000803: SWAP4
00000804: SWAP3
00000805: SWAP2
00000806: SWAP1
00000807: DUP2
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x20
0000080c: ADD
0000080d: DUP4
0000080e: DUP4
0000080f: DUP1
00000810: DUP3
00000811: DUP5
00000812: CALLDATACOPY
00000813: POP
00000814: POP
00000815: PUSH1 0x40
00000817: DUP1
00000818: MLOAD
00000819: PUSH1 0x20
0000081b: DUP9
0000081c: CALLDATALOAD
0000081d: DUP1
0000081e: DUP12
0000081f: ADD
00000820: CALLDATALOAD
00000821: PUSH1 0x1f
00000823: DUP2
00000824: ADD
00000825: DUP4
00000826: SWAP1
00000827: DIV
00000828: DUP4
00000829: MUL
0000082a: DUP5
0000082b: ADD
0000082c: DUP4
0000082d: ADD
0000082e: SWAP1
0000082f: SWAP5
00000830: MSTORE
00000831: DUP4
00000832: DUP4
00000833: MSTORE
00000834: SWAP8
00000835: SWAP10
00000836: SWAP9
00000837: PUSH1 0x44
00000839: SWAP9
0000083a: SWAP3
0000083b: SWAP8
0000083c: POP
0000083d: SWAP2
0000083e: SWAP1
0000083f: SWAP2
00000840: ADD
00000841: SWAP5
00000842: POP
00000843: SWAP1
00000844: SWAP3
00000845: POP
00000846: DUP3
00000847: SWAP2
00000848: POP
00000849: DUP5
0000084a: ADD
0000084b: DUP4
0000084c: DUP3
0000084d: DUP1
0000084e: DUP3
0000084f: DUP5
00000850: CALLDATACOPY
00000851: POP
00000852: POP
00000853: PUSH1 0x40
00000855: DUP1
00000856: MLOAD
00000857: PUSH1 0x20
00000859: PUSH1 0x64
0000085b: CALLDATALOAD
0000085c: DUP1
0000085d: DUP12
0000085e: ADD
0000085f: CALLDATALOAD
00000860: PUSH1 0x1f
00000862: DUP2
00000863: ADD
00000864: DUP4
00000865: SWAP1
00000866: DIV
00000867: DUP4
00000868: MUL
00000869: DUP5
0000086a: ADD
0000086b: DUP4
0000086c: ADD
0000086d: SWAP1
0000086e: SWAP5
0000086f: MSTORE
00000870: DUP4
00000871: DUP4
00000872: MSTORE
00000873: SWAP8
00000874: SWAP10
00000875: SWAP9
00000876: CALLDATALOAD
00000877: SWAP9
00000878: SWAP8
00000879: PUSH1 0x84
0000087b: SWAP8
0000087c: POP
0000087d: SWAP2
0000087e: SWAP6
0000087f: POP
00000880: PUSH1 0x24
00000882: SWAP2
00000883: SWAP1
00000884: SWAP2
00000885: ADD
00000886: SWAP4
00000887: POP
00000888: SWAP1
00000889: SWAP2
0000088a: POP
0000088b: DUP2
0000088c: SWAP1
0000088d: DUP5
0000088e: ADD
0000088f: DUP4
00000890: DUP3
00000891: DUP1
00000892: DUP3
00000893: DUP5
00000894: CALLDATACOPY
00000895: POP
00000896: SWAP5
00000897: SWAP7
00000898: POP
00000899: POP
0000089a: SWAP4
0000089b: CALLDATALOAD
0000089c: SWAP4
0000089d: POP
0000089e: POP
0000089f: POP
000008a0: POP
000008a1: JUMPDEST
000008a2: PUSH1 0x40
000008a4: DUP1
000008a5: MLOAD
000008a6: PUSH1 0x20
000008a8: DUP2
000008a9: DUP2
000008aa: ADD
000008ab: DUP4
000008ac: MSTORE
000008ad: PUSH1 0x00
000008af: DUP1
000008b0: DUP4
000008b1: MSTORE
000008b2: DUP4
000008b3: MLOAD
000008b4: SWAP2
000008b5: DUP3
000008b6: ADD
000008b7: DUP5
000008b8: MSTORE
000008b9: DUP1
000008ba: DUP3
000008bb: MSTORE
000008bc: SWAP3
000008bd: MLOAD
000008be: CALLDATASIZE
000008bf: SWAP3
000008c0: SWAP2
000008c1: SWAP1
000008c2: DUP5
000008c3: SWAP1
000008c4: PUSH1 0x03
000008c6: NOT
000008c7: DUP6
000008c8: ADD
000008c9: SWAP1
000008ca: DUP1
000008cb: MSIZE
000008cc: LT
000008cd: PUSH2 0x08d3
000008d0: JUMPI
000008d1: POP
000008d2: MSIZE
000008d3: JUMPDEST
000008d4: DUP2
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x20
000008d9: SWAP2
000008da: DUP3
000008db: MUL
000008dc: DUP2
000008dd: ADD
000008de: DUP3
000008df: ADD
000008e0: PUSH1 0x40
000008e2: DUP2
000008e3: SWAP1
000008e4: MSTORE
000008e5: SWAP1
000008e6: SWAP5
000008e7: POP
000008e8: DUP1
000008e9: MSIZE
000008ea: LT
000008eb: PUSH2 0x08f1
000008ee: JUMPI
000008ef: POP
000008f0: MSIZE
000008f1: JUMPDEST
000008f2: SWAP1
000008f3: DUP1
000008f4: DUP3
000008f5: MSTORE
000008f6: DUP1
000008f7: PUSH1 0x20
000008f9: MUL
000008fa: PUSH1 0x20
000008fc: ADD
000008fd: DUP3
000008fe: ADD
000008ff: PUSH1 0x40
00000901: MSTORE
00000902: POP
00000903: SWAP2
00000904: POP
00000905: DUP4
00000906: DUP1
00000907: PUSH1 0x04
00000909: DUP6
0000090a: CALLDATACOPY
0000090b: PUSH1 0x20
0000090d: PUSH1 0x20
0000090f: DUP5
00000910: ADD
00000911: DUP3
00000912: DUP7
00000913: PUSH1 0x00
00000915: PUSH1 0x05
00000917: PUSH1 0x96
00000919: GAS
0000091a: SUB
0000091b: CALL
0000091c: SWAP2
0000091d: POP
0000091e: POP
0000091f: PUSH1 0x01
00000921: DUP2
00000922: EQ
00000923: PUSH2 0x1007
00000926: JUMPI
00000927: PUSH1 0x00
00000929: SWAP5
0000092a: POP
0000092b: JUMPDEST
0000092c: POP
0000092d: POP
0000092e: POP
0000092f: POP
00000930: SWAP6
00000931: SWAP5
00000932: POP
00000933: POP
00000934: POP
00000935: POP
00000936: POP
00000937: JUMP
00000938: JUMPDEST
00000939: PUSH2 0x0061
0000093c: PUSH1 0x04
0000093e: DUP1
0000093f: DUP1
00000940: CALLDATALOAD
00000941: SWAP1
00000942: PUSH1 0x20
00000944: ADD
00000945: SWAP1
00000946: DUP3
00000947: ADD
00000948: DUP1
00000949: CALLDATALOAD
0000094a: SWAP1
0000094b: PUSH1 0x20
0000094d: ADD
0000094e: SWAP2
0000094f: SWAP2
00000950: SWAP1
00000951: DUP1
00000952: DUP1
00000953: PUSH1 0x1f
00000955: ADD
00000956: PUSH1 0x20
00000958: DUP1
00000959: SWAP2
0000095a: DIV
0000095b: MUL
0000095c: PUSH1 0x20
0000095e: ADD
0000095f: PUSH1 0x40
00000961: MLOAD
00000962: SWAP1
00000963: DUP2
00000964: ADD
00000965: PUSH1 0x40
00000967: MSTORE
00000968: DUP1
00000969: SWAP4
0000096a: SWAP3
0000096b: SWAP2
0000096c: SWAP1
0000096d: DUP2
0000096e: DUP2
0000096f: MSTORE
00000970: PUSH1 0x20
00000972: ADD
00000973: DUP4
00000974: DUP4
00000975: DUP1
00000976: DUP3
00000977: DUP5
00000978: CALLDATACOPY
00000979: POP
0000097a: POP
0000097b: PUSH1 0x40
0000097d: DUP1
0000097e: MLOAD
0000097f: PUSH1 0x20
00000981: DUP9
00000982: CALLDATALOAD
00000983: DUP1
00000984: DUP12
00000985: ADD
00000986: CALLDATALOAD
00000987: PUSH1 0x1f
00000989: DUP2
0000098a: ADD
0000098b: DUP4
0000098c: SWAP1
0000098d: DIV
0000098e: DUP4
0000098f: MUL
00000990: DUP5
00000991: ADD
00000992: DUP4
00000993: ADD
00000994: SWAP1
00000995: SWAP5
00000996: MSTORE
00000997: DUP4
00000998: DUP4
00000999: MSTORE
0000099a: SWAP8
0000099b: SWAP10
0000099c: SWAP9
0000099d: PUSH1 0x44
0000099f: SWAP9
000009a0: SWAP3
000009a1: SWAP8
000009a2: POP
000009a3: SWAP2
000009a4: SWAP1
000009a5: SWAP2
000009a6: ADD
000009a7: SWAP5
000009a8: POP
000009a9: SWAP1
000009aa: SWAP3
000009ab: POP
000009ac: DUP3
000009ad: SWAP2
000009ae: POP
000009af: DUP5
000009b0: ADD
000009b1: DUP4
000009b2: DUP3
000009b3: DUP1
000009b4: DUP3
000009b5: DUP5
000009b6: CALLDATACOPY
000009b7: POP
000009b8: POP
000009b9: PUSH1 0x40
000009bb: DUP1
000009bc: MLOAD
000009bd: PUSH1 0x20
000009bf: SWAP8
000009c0: CALLDATALOAD
000009c1: DUP1
000009c2: DUP11
000009c3: ADD
000009c4: CALLDATALOAD
000009c5: PUSH1 0x1f
000009c7: DUP2
000009c8: ADD
000009c9: DUP11
000009ca: SWAP1
000009cb: DIV
000009cc: DUP11
000009cd: MUL
000009ce: DUP4
000009cf: ADD
000009d0: DUP11
000009d1: ADD
000009d2: SWAP1
000009d3: SWAP4
000009d4: MSTORE
000009d5: DUP3
000009d6: DUP3
000009d7: MSTORE
000009d8: SWAP7
000009d9: SWAP9
000009da: SWAP8
000009db: PUSH1 0x64
000009dd: SWAP8
000009de: SWAP2
000009df: SWAP7
000009e0: POP
000009e1: PUSH1 0x24
000009e3: SWAP2
000009e4: SWAP1
000009e5: SWAP2
000009e6: ADD
000009e7: SWAP5
000009e8: POP
000009e9: SWAP1
000009ea: SWAP3
000009eb: POP
000009ec: DUP3
000009ed: SWAP2
000009ee: POP
000009ef: DUP5
000009f0: ADD
000009f1: DUP4
000009f2: DUP3
000009f3: DUP1
000009f4: DUP3
000009f5: DUP5
000009f6: CALLDATACOPY
000009f7: POP
000009f8: POP
000009f9: PUSH1 0x40
000009fb: DUP1
000009fc: MLOAD
000009fd: PUSH1 0x20
000009ff: SWAP8
00000a00: CALLDATALOAD
00000a01: DUP1
00000a02: DUP11
00000a03: ADD
00000a04: CALLDATALOAD
00000a05: PUSH1 0x1f
00000a07: DUP2
00000a08: ADD
00000a09: DUP11
00000a0a: SWAP1
00000a0b: DIV
00000a0c: DUP11
00000a0d: MUL
00000a0e: DUP4
00000a0f: ADD
00000a10: DUP11
00000a11: ADD
00000a12: SWAP1
00000a13: SWAP4
00000a14: MSTORE
00000a15: DUP3
00000a16: DUP3
00000a17: MSTORE
00000a18: SWAP7
00000a19: SWAP9
00000a1a: SWAP8
00000a1b: PUSH1 0x84
00000a1d: SWAP8
00000a1e: SWAP2
00000a1f: SWAP7
00000a20: POP
00000a21: PUSH1 0x24
00000a23: SWAP2
00000a24: SWAP1
00000a25: SWAP2
00000a26: ADD
00000a27: SWAP5
00000a28: POP
00000a29: SWAP1
00000a2a: SWAP3
00000a2b: POP
00000a2c: DUP3
00000a2d: SWAP2
00000a2e: POP
00000a2f: DUP5
00000a30: ADD
00000a31: DUP4
00000a32: DUP3
00000a33: DUP1
00000a34: DUP3
00000a35: DUP5
00000a36: CALLDATACOPY
00000a37: POP
00000a38: POP
00000a39: PUSH1 0x40
00000a3b: DUP1
00000a3c: MLOAD
00000a3d: PUSH1 0x20
00000a3f: SWAP8
00000a40: CALLDATALOAD
00000a41: DUP1
00000a42: DUP11
00000a43: ADD
00000a44: CALLDATALOAD
00000a45: PUSH1 0x1f
00000a47: DUP2
00000a48: ADD
00000a49: DUP11
00000a4a: SWAP1
00000a4b: DIV
00000a4c: DUP11
00000a4d: MUL
00000a4e: DUP4
00000a4f: ADD
00000a50: DUP11
00000a51: ADD
00000a52: SWAP1
00000a53: SWAP4
00000a54: MSTORE
00000a55: DUP3
00000a56: DUP3
00000a57: MSTORE
00000a58: SWAP7
00000a59: SWAP9
00000a5a: SWAP8
00000a5b: PUSH1 0xa4
00000a5d: SWAP8
00000a5e: SWAP2
00000a5f: SWAP7
00000a60: POP
00000a61: PUSH1 0x24
00000a63: SWAP2
00000a64: SWAP1
00000a65: SWAP2
00000a66: ADD
00000a67: SWAP5
00000a68: POP
00000a69: SWAP1
00000a6a: SWAP3
00000a6b: POP
00000a6c: DUP3
00000a6d: SWAP2
00000a6e: POP
00000a6f: DUP5
00000a70: ADD
00000a71: DUP4
00000a72: DUP3
00000a73: DUP1
00000a74: DUP3
00000a75: DUP5
00000a76: CALLDATACOPY
00000a77: POP
00000a78: POP
00000a79: PUSH1 0x40
00000a7b: DUP1
00000a7c: MLOAD
00000a7d: PUSH1 0x20
00000a7f: SWAP8
00000a80: CALLDATALOAD
00000a81: DUP1
00000a82: DUP11
00000a83: ADD
00000a84: CALLDATALOAD
00000a85: PUSH1 0x1f
00000a87: DUP2
00000a88: ADD
00000a89: DUP11
00000a8a: SWAP1
00000a8b: DIV
00000a8c: DUP11
00000a8d: MUL
00000a8e: DUP4
00000a8f: ADD
00000a90: DUP11
00000a91: ADD
00000a92: SWAP1
00000a93: SWAP4
00000a94: MSTORE
00000a95: DUP3
00000a96: DUP3
00000a97: MSTORE
00000a98: SWAP7
00000a99: SWAP9
00000a9a: SWAP8
00000a9b: PUSH1 0xc4
00000a9d: SWAP8
00000a9e: SWAP2
00000a9f: SWAP7
00000aa0: POP
00000aa1: PUSH1 0x24
00000aa3: SWAP2
00000aa4: SWAP1
00000aa5: SWAP2
00000aa6: ADD
00000aa7: SWAP5
00000aa8: POP
00000aa9: SWAP1
00000aaa: SWAP3
00000aab: POP
00000aac: DUP3
00000aad: SWAP2
00000aae: POP
00000aaf: DUP5
00000ab0: ADD
00000ab1: DUP4
00000ab2: DUP3
00000ab3: DUP1
00000ab4: DUP3
00000ab5: DUP5
00000ab6: CALLDATACOPY
00000ab7: POP
00000ab8: POP
00000ab9: PUSH1 0x40
00000abb: DUP1
00000abc: MLOAD
00000abd: PUSH1 0x20
00000abf: SWAP8
00000ac0: CALLDATALOAD
00000ac1: DUP1
00000ac2: DUP11
00000ac3: ADD
00000ac4: CALLDATALOAD
00000ac5: PUSH1 0x1f
00000ac7: DUP2
00000ac8: ADD
00000ac9: DUP11
00000aca: SWAP1
00000acb: DIV
00000acc: DUP11
00000acd: MUL
00000ace: DUP4
00000acf: ADD
00000ad0: DUP11
00000ad1: ADD
00000ad2: SWAP1
00000ad3: SWAP4
00000ad4: MSTORE
00000ad5: DUP3
00000ad6: DUP3
00000ad7: MSTORE
00000ad8: SWAP7
00000ad9: SWAP9
00000ada: SWAP8
00000adb: PUSH1 0xe4
00000add: SWAP8
00000ade: SWAP2
00000adf: SWAP7
00000ae0: POP
00000ae1: PUSH1 0x24
00000ae3: SWAP2
00000ae4: SWAP1
00000ae5: SWAP2
00000ae6: ADD
00000ae7: SWAP5
00000ae8: POP
00000ae9: SWAP1
00000aea: SWAP3
00000aeb: POP
00000aec: DUP3
00000aed: SWAP2
00000aee: POP
00000aef: DUP5
00000af0: ADD
00000af1: DUP4
00000af2: DUP3
00000af3: DUP1
00000af4: DUP3
00000af5: DUP5
00000af6: CALLDATACOPY
00000af7: POP
00000af8: SWAP5
00000af9: SWAP7
00000afa: POP
00000afb: POP
00000afc: POP
00000afd: POP
00000afe: POP
00000aff: POP
00000b00: POP
00000b01: PUSH1 0x00
00000b03: PUSH1 0x00
00000b05: POP
00000b06: DUP8
00000b07: PUSH1 0x40
00000b09: MLOAD
00000b0a: DUP1
00000b0b: DUP3
00000b0c: DUP1
00000b0d: MLOAD
00000b0e: SWAP1
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: SWAP1
00000b13: DUP1
00000b14: DUP4
00000b15: DUP4
00000b16: DUP3
00000b17: SWAP1
00000b18: PUSH1 0x00
00000b1a: PUSH1 0x04
00000b1c: PUSH1 0x20
00000b1e: DUP5
00000b1f: PUSH1 0x1f
00000b21: ADD
00000b22: DIV
00000b23: PUSH1 0x0f
00000b25: MUL
00000b26: PUSH1 0x03
00000b28: ADD
00000b29: CALL
00000b2a: POP
00000b2b: SWAP1
00000b2c: POP
00000b2d: ADD
00000b2e: SWAP2
00000b2f: POP
00000b30: POP
00000b31: SWAP1
00000b32: DUP2
00000b33: MSTORE
00000b34: PUSH1 0x20
00000b36: ADD
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: SWAP2
00000b3c: SUB
00000b3d: SWAP1
00000b3e: KECCAK256
00000b3f: PUSH1 0x00
00000b41: POP
00000b42: DUP1
00000b43: SLOAD
00000b44: PUSH1 0x01
00000b46: DUP2
00000b47: PUSH1 0x01
00000b49: AND
00000b4a: ISZERO
00000b4b: PUSH2 0x0100
00000b4e: MUL
00000b4f: SUB
00000b50: AND
00000b51: PUSH1 0x02
00000b53: SWAP1
00000b54: DIV
00000b55: SWAP1
00000b56: POP
00000b57: PUSH1 0x00
00000b59: EQ
00000b5a: ISZERO
00000b5b: DUP1
00000b5c: ISZERO
00000b5d: PUSH2 0x0bbc
00000b60: JUMPI
00000b61: POP
00000b62: PUSH1 0x01
00000b64: PUSH1 0x00
00000b66: POP
00000b67: DUP8
00000b68: PUSH1 0x40
00000b6a: MLOAD
00000b6b: DUP1
00000b6c: DUP3
00000b6d: DUP1
00000b6e: MLOAD
00000b6f: SWAP1
00000b70: PUSH1 0x20
00000b72: ADD
00000b73: SWAP1
00000b74: DUP1
00000b75: DUP4
00000b76: DUP4
00000b77: DUP3
00000b78: SWAP1
00000b79: PUSH1 0x00
00000b7b: PUSH1 0x04
00000b7d: PUSH1 0x20
00000b7f: DUP5
00000b80: PUSH1 0x1f
00000b82: ADD
00000b83: DIV
00000b84: PUSH1 0x0f
00000b86: MUL
00000b87: PUSH1 0x03
00000b89: ADD
00000b8a: CALL
00000b8b: POP
00000b8c: SWAP1
00000b8d: POP
00000b8e: ADD
00000b8f: SWAP2
00000b90: POP
00000b91: POP
00000b92: SWAP1
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: DUP1
00000b9c: SWAP2
00000b9d: SUB
00000b9e: SWAP1
00000b9f: KECCAK256
00000ba0: PUSH1 0x00
00000ba2: POP
00000ba3: DUP1
00000ba4: SLOAD
00000ba5: PUSH1 0x01
00000ba7: DUP2
00000ba8: PUSH1 0x01
00000baa: AND
00000bab: ISZERO
00000bac: PUSH2 0x0100
00000baf: MUL
00000bb0: SUB
00000bb1: AND
00000bb2: PUSH1 0x02
00000bb4: SWAP1
00000bb5: DIV
00000bb6: SWAP1
00000bb7: POP
00000bb8: PUSH1 0x00
00000bba: EQ
00000bbb: ISZERO
00000bbc: JUMPDEST
00000bbd: ISZERO
00000bbe: PUSH2 0x0c4d
00000bc1: JUMPI
00000bc2: PUSH2 0x0c56
00000bc5: DUP8
00000bc6: DUP8
00000bc7: DUP8
00000bc8: DUP8
00000bc9: PUSH2 0x0440
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH1 0x40
00000bd0: MLOAD
00000bd1: DUP1
00000bd2: DUP1
00000bd3: PUSH1 0x20
00000bd5: ADD
00000bd6: DUP3
00000bd7: DUP2
00000bd8: SUB
00000bd9: DUP3
00000bda: MSTORE
00000bdb: DUP4
00000bdc: DUP2
00000bdd: DUP2
00000bde: MLOAD
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: SWAP2
00000be5: POP
00000be6: DUP1
00000be7: MLOAD
00000be8: SWAP1
00000be9: PUSH1 0x20
00000beb: ADD
00000bec: SWAP1
00000bed: DUP1
00000bee: DUP4
00000bef: DUP4
00000bf0: DUP3
00000bf1: SWAP1
00000bf2: PUSH1 0x00
00000bf4: PUSH1 0x04
00000bf6: PUSH1 0x20
00000bf8: DUP5
00000bf9: PUSH1 0x1f
00000bfb: ADD
00000bfc: DIV
00000bfd: PUSH1 0x0f
00000bff: MUL
00000c00: PUSH1 0x03
00000c02: ADD
00000c03: CALL
00000c04: POP
00000c05: SWAP1
00000c06: POP
00000c07: SWAP1
00000c08: DUP2
00000c09: ADD
00000c0a: SWAP1
00000c0b: PUSH1 0x1f
00000c0d: AND
00000c0e: DUP1
00000c0f: ISZERO
00000c10: PUSH2 0x0c2d
00000c13: JUMPI
00000c14: DUP1
00000c15: DUP3
00000c16: SUB
00000c17: DUP1
00000c18: MLOAD
00000c19: PUSH1 0x01
00000c1b: DUP4
00000c1c: PUSH1 0x20
00000c1e: SUB
00000c1f: PUSH2 0x0100
00000c22: EXP
00000c23: SUB
00000c24: NOT
00000c25: AND
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: SWAP2
00000c2c: POP
00000c2d: JUMPDEST
00000c2e: POP
00000c2f: SWAP3
00000c30: POP
00000c31: POP
00000c32: POP
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: DUP1
00000c37: SWAP2
00000c38: SUB
00000c39: SWAP1
00000c3a: RETURN
00000c3b: JUMPDEST
00000c3c: PUSH1 0x40
00000c3e: DUP1
00000c3f: MLOAD
00000c40: SWAP2
00000c41: DUP3
00000c42: MSTORE
00000c43: MLOAD
00000c44: SWAP1
00000c45: DUP2
00000c46: SWAP1
00000c47: SUB
00000c48: PUSH1 0x20
00000c4a: ADD
00000c4b: SWAP1
00000c4c: RETURN
00000c4d: JUMPDEST
00000c4e: POP
00000c4f: POP
00000c50: POP
00000c51: POP
00000c52: POP
00000c53: POP
00000c54: POP
00000c55: JUMP
00000c56: JUMPDEST
00000c57: PUSH2 0x0c4d
00000c5a: DUP8
00000c5b: DUP5
00000c5c: DUP5
00000c5d: DUP5
00000c5e: PUSH2 0x0326
00000c61: JUMP
00000c62: JUMPDEST
00000c63: ISZERO
00000c64: PUSH2 0x0fc4
00000c67: JUMPI
00000c68: PUSH1 0x00
00000c6a: PUSH1 0x00
00000c6c: POP
00000c6d: DUP6
00000c6e: PUSH1 0x40
00000c70: MLOAD
00000c71: DUP1
00000c72: DUP3
00000c73: DUP1
00000c74: MLOAD
00000c75: SWAP1
00000c76: PUSH1 0x20
00000c78: ADD
00000c79: SWAP1
00000c7a: DUP1
00000c7b: DUP4
00000c7c: DUP4
00000c7d: DUP3
00000c7e: SWAP1
00000c7f: PUSH1 0x00
00000c81: PUSH1 0x04
00000c83: PUSH1 0x20
00000c85: DUP5
00000c86: PUSH1 0x1f
00000c88: ADD
00000c89: DIV
00000c8a: PUSH1 0x0f
00000c8c: MUL
00000c8d: PUSH1 0x03
00000c8f: ADD
00000c90: CALL
00000c91: POP
00000c92: SWAP1
00000c93: POP
00000c94: ADD
00000c95: SWAP2
00000c96: POP
00000c97: POP
00000c98: SWAP1
00000c99: DUP2
00000c9a: MSTORE
00000c9b: PUSH1 0x20
00000c9d: ADD
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: DUP1
00000ca2: SWAP2
00000ca3: SUB
00000ca4: SWAP1
00000ca5: KECCAK256
00000ca6: PUSH1 0x00
00000ca8: POP
00000ca9: DUP1
00000caa: SLOAD
00000cab: PUSH1 0x01
00000cad: DUP2
00000cae: PUSH1 0x01
00000cb0: AND
00000cb1: ISZERO
00000cb2: PUSH2 0x0100
00000cb5: MUL
00000cb6: SUB
00000cb7: AND
00000cb8: PUSH1 0x02
00000cba: SWAP1
00000cbb: DIV
00000cbc: PUSH1 0x00
00000cbe: DUP3
00000cbf: SSTORE
00000cc0: DUP1
00000cc1: PUSH1 0x1f
00000cc3: LT
00000cc4: PUSH2 0x0fcb
00000cc7: JUMPI
00000cc8: POP
00000cc9: JUMPDEST
00000cca: POP
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0x00
00000ccf: POP
00000cd0: DUP6
00000cd1: PUSH1 0x40
00000cd3: MLOAD
00000cd4: DUP1
00000cd5: DUP3
00000cd6: DUP1
00000cd7: MLOAD
00000cd8: SWAP1
00000cd9: PUSH1 0x20
00000cdb: ADD
00000cdc: SWAP1
00000cdd: DUP1
00000cde: DUP4
00000cdf: DUP4
00000ce0: DUP3
00000ce1: SWAP1
00000ce2: PUSH1 0x00
00000ce4: PUSH1 0x04
00000ce6: PUSH1 0x20
00000ce8: DUP5
00000ce9: PUSH1 0x1f
00000ceb: ADD
00000cec: DIV
00000ced: PUSH1 0x0f
00000cef: MUL
00000cf0: PUSH1 0x03
00000cf2: ADD
00000cf3: CALL
00000cf4: POP
00000cf5: SWAP1
00000cf6: POP
00000cf7: ADD
00000cf8: SWAP2
00000cf9: POP
00000cfa: POP
00000cfb: SWAP1
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: PUSH1 0x20
00000d00: ADD
00000d01: PUSH1 0x40
00000d03: MLOAD
00000d04: DUP1
00000d05: SWAP2
00000d06: SUB
00000d07: SWAP1
00000d08: KECCAK256
00000d09: PUSH1 0x00
00000d0b: POP
00000d0c: DUP1
00000d0d: SLOAD
00000d0e: PUSH1 0x01
00000d10: DUP2
00000d11: PUSH1 0x01
00000d13: AND
00000d14: ISZERO
00000d15: PUSH2 0x0100
00000d18: MUL
00000d19: SUB
00000d1a: AND
00000d1b: PUSH1 0x02
00000d1d: SWAP1
00000d1e: DIV
00000d1f: PUSH1 0x00
00000d21: DUP3
00000d22: SSTORE
00000d23: DUP1
00000d24: PUSH1 0x1f
00000d26: LT
00000d27: PUSH2 0x0fe9
00000d2a: JUMPI
00000d2b: POP
00000d2c: JUMPDEST
00000d2d: POP
00000d2e: POP
00000d2f: JUMPDEST
00000d30: POP
00000d31: POP
00000d32: POP
00000d33: POP
00000d34: JUMP
00000d35: JUMPDEST
00000d36: ISZERO
00000d37: PUSH2 0x0d2f
00000d3a: JUMPI
00000d3b: DUP1
00000d3c: PUSH1 0x00
00000d3e: PUSH1 0x00
00000d40: POP
00000d41: DUP6
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: DUP1
00000d46: DUP3
00000d47: DUP1
00000d48: MLOAD
00000d49: SWAP1
00000d4a: PUSH1 0x20
00000d4c: ADD
00000d4d: SWAP1
00000d4e: DUP1
00000d4f: DUP4
00000d50: DUP4
00000d51: DUP3
00000d52: SWAP1
00000d53: PUSH1 0x00
00000d55: PUSH1 0x04
00000d57: PUSH1 0x20
00000d59: DUP5
00000d5a: PUSH1 0x1f
00000d5c: ADD
00000d5d: DIV
00000d5e: PUSH1 0x0f
00000d60: MUL
00000d61: PUSH1 0x03
00000d63: ADD
00000d64: CALL
00000d65: POP
00000d66: SWAP1
00000d67: POP
00000d68: ADD
00000d69: SWAP2
00000d6a: POP
00000d6b: POP
00000d6c: SWAP1
00000d6d: DUP2
00000d6e: MSTORE
00000d6f: PUSH1 0x20
00000d71: ADD
00000d72: PUSH1 0x40
00000d74: MLOAD
00000d75: DUP1
00000d76: SWAP2
00000d77: SUB
00000d78: SWAP1
00000d79: KECCAK256
00000d7a: PUSH1 0x00
00000d7c: POP
00000d7d: SWAP1
00000d7e: DUP1
00000d7f: MLOAD
00000d80: SWAP1
00000d81: PUSH1 0x20
00000d83: ADD
00000d84: SWAP1
00000d85: DUP3
00000d86: DUP1
00000d87: SLOAD
00000d88: PUSH1 0x01
00000d8a: DUP2
00000d8b: PUSH1 0x01
00000d8d: AND
00000d8e: ISZERO
00000d8f: PUSH2 0x0100
00000d92: MUL
00000d93: SUB
00000d94: AND
00000d95: PUSH1 0x02
00000d97: SWAP1
00000d98: DIV
00000d99: SWAP1
00000d9a: PUSH1 0x00
00000d9c: MSTORE
00000d9d: PUSH1 0x20
00000d9f: PUSH1 0x00
00000da1: KECCAK256
00000da2: SWAP1
00000da3: PUSH1 0x1f
00000da5: ADD
00000da6: PUSH1 0x20
00000da8: SWAP1
00000da9: DIV
00000daa: DUP2
00000dab: ADD
00000dac: SWAP3
00000dad: DUP3
00000dae: PUSH1 0x1f
00000db0: LT
00000db1: PUSH2 0x0ddd
00000db4: JUMPI
00000db5: DUP1
00000db6: MLOAD
00000db7: PUSH1 0xff
00000db9: NOT
00000dba: AND
00000dbb: DUP4
00000dbc: DUP1
00000dbd: ADD
00000dbe: OR
00000dbf: DUP6
00000dc0: SSTORE
00000dc1: JUMPDEST
00000dc2: POP
00000dc3: PUSH2 0x0d2c
00000dc6: SWAP3
00000dc7: SWAP2
00000dc8: POP
00000dc9: JUMPDEST
00000dca: DUP1
00000dcb: DUP3
00000dcc: GT
00000dcd: ISZERO
00000dce: PUSH2 0x0e0d
00000dd1: JUMPI
00000dd2: PUSH1 0x00
00000dd4: DUP2
00000dd5: SSTORE
00000dd6: PUSH1 0x01
00000dd8: ADD
00000dd9: PUSH2 0x0dc9
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: DUP3
00000ddf: DUP1
00000de0: ADD
00000de1: PUSH1 0x01
00000de3: ADD
00000de4: DUP6
00000de5: SSTORE
00000de6: DUP3
00000de7: ISZERO
00000de8: PUSH2 0x0dc1
00000deb: JUMPI
00000dec: SWAP2
00000ded: DUP3
00000dee: ADD
00000def: JUMPDEST
00000df0: DUP3
00000df1: DUP2
00000df2: GT
00000df3: ISZERO
00000df4: PUSH2 0x0dc1
00000df7: JUMPI
00000df8: DUP3
00000df9: MLOAD
00000dfa: DUP3
00000dfb: PUSH1 0x00
00000dfd: POP
00000dfe: SSTORE
00000dff: SWAP2
00000e00: PUSH1 0x20
00000e02: ADD
00000e03: SWAP2
00000e04: SWAP1
00000e05: PUSH1 0x01
00000e07: ADD
00000e08: SWAP1
00000e09: PUSH2 0x0def
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: POP
00000e0f: SWAP1
00000e10: JUMP
00000e11: JUMPDEST
00000e12: ISZERO
00000e13: PUSH2 0x0d2f
00000e16: JUMPI
00000e17: DUP1
00000e18: PUSH1 0x01
00000e1a: PUSH1 0x00
00000e1c: POP
00000e1d: DUP6
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: DUP1
00000e22: DUP3
00000e23: DUP1
00000e24: MLOAD
00000e25: SWAP1
00000e26: PUSH1 0x20
00000e28: ADD
00000e29: SWAP1
00000e2a: DUP1
00000e2b: DUP4
00000e2c: DUP4
00000e2d: DUP3
00000e2e: SWAP1
00000e2f: PUSH1 0x00
00000e31: PUSH1 0x04
00000e33: PUSH1 0x20
00000e35: DUP5
00000e36: PUSH1 0x1f
00000e38: ADD
00000e39: DIV
00000e3a: PUSH1 0x0f
00000e3c: MUL
00000e3d: PUSH1 0x03
00000e3f: ADD
00000e40: CALL
00000e41: POP
00000e42: SWAP1
00000e43: POP
00000e44: ADD
00000e45: SWAP2
00000e46: POP
00000e47: POP
00000e48: SWAP1
00000e49: DUP2
00000e4a: MSTORE
00000e4b: PUSH1 0x20
00000e4d: ADD
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: DUP1
00000e52: SWAP2
00000e53: SUB
00000e54: SWAP1
00000e55: KECCAK256
00000e56: PUSH1 0x00
00000e58: POP
00000e59: SWAP1
00000e5a: DUP1
00000e5b: MLOAD
00000e5c: SWAP1
00000e5d: PUSH1 0x20
00000e5f: ADD
00000e60: SWAP1
00000e61: DUP3
00000e62: DUP1
00000e63: SLOAD
00000e64: PUSH1 0x01
00000e66: DUP2
00000e67: PUSH1 0x01
00000e69: AND
00000e6a: ISZERO
00000e6b: PUSH2 0x0100
00000e6e: MUL
00000e6f: SUB
00000e70: AND
00000e71: PUSH1 0x02
00000e73: SWAP1
00000e74: DIV
00000e75: SWAP1
00000e76: PUSH1 0x00
00000e78: MSTORE
00000e79: PUSH1 0x20
00000e7b: PUSH1 0x00
00000e7d: KECCAK256
00000e7e: SWAP1
00000e7f: PUSH1 0x1f
00000e81: ADD
00000e82: PUSH1 0x20
00000e84: SWAP1
00000e85: DIV
00000e86: DUP2
00000e87: ADD
00000e88: SWAP3
00000e89: DUP3
00000e8a: PUSH1 0x1f
00000e8c: LT
00000e8d: PUSH2 0x0ddd
00000e90: JUMPI
00000e91: DUP1
00000e92: MLOAD
00000e93: PUSH1 0xff
00000e95: NOT
00000e96: AND
00000e97: DUP4
00000e98: DUP1
00000e99: ADD
00000e9a: OR
00000e9b: DUP6
00000e9c: SSTORE
00000e9d: PUSH2 0x0dc1
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: DUP3
00000ea3: ADD
00000ea4: SWAP2
00000ea5: SWAP1
00000ea6: PUSH1 0x00
00000ea8: MSTORE
00000ea9: PUSH1 0x20
00000eab: PUSH1 0x00
00000ead: KECCAK256
00000eae: SWAP1
00000eaf: JUMPDEST
00000eb0: DUP2
00000eb1: SLOAD
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: SWAP1
00000eb5: PUSH1 0x01
00000eb7: ADD
00000eb8: SWAP1
00000eb9: PUSH1 0x20
00000ebb: ADD
00000ebc: DUP1
00000ebd: DUP4
00000ebe: GT
00000ebf: PUSH2 0x0eaf
00000ec2: JUMPI
00000ec3: DUP3
00000ec4: SWAP1
00000ec5: SUB
00000ec6: PUSH1 0x1f
00000ec8: AND
00000ec9: DUP3
00000eca: ADD
00000ecb: SWAP2
00000ecc: JUMPDEST
00000ecd: POP
00000ece: POP
00000ecf: POP
00000ed0: POP
00000ed1: POP
00000ed2: SWAP1
00000ed3: POP
00000ed4: SWAP2
00000ed5: SWAP1
00000ed6: POP
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: PUSH2 0x0002
00000edc: JUMP
00000edd: JUMPDEST
00000ede: DUP1
00000edf: ISZERO
00000ee0: PUSH2 0x0ef5
00000ee3: JUMPI
00000ee4: POP
00000ee5: PUSH2 0x0ef5
00000ee8: DUP9
00000ee9: DUP7
00000eea: PUSH3 0x010001
00000eee: DUP7
00000eef: PUSH1 0x01
00000ef1: PUSH2 0x08a1
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: ISZERO
00000ef7: PUSH2 0x0ed8
00000efa: JUMPI
00000efb: DUP1
00000efc: PUSH1 0x00
00000efe: PUSH1 0x00
00000f00: POP
00000f01: DUP10
00000f02: PUSH1 0x40
00000f04: MLOAD
00000f05: DUP1
00000f06: DUP3
00000f07: DUP1
00000f08: MLOAD
00000f09: SWAP1
00000f0a: PUSH1 0x20
00000f0c: ADD
00000f0d: SWAP1
00000f0e: DUP1
00000f0f: DUP4
00000f10: DUP4
00000f11: DUP3
00000f12: SWAP1
00000f13: PUSH1 0x00
00000f15: PUSH1 0x04
00000f17: PUSH1 0x20
00000f19: DUP5
00000f1a: PUSH1 0x1f
00000f1c: ADD
00000f1d: DIV
00000f1e: PUSH1 0x0f
00000f20: MUL
00000f21: PUSH1 0x03
00000f23: ADD
00000f24: CALL
00000f25: POP
00000f26: SWAP1
00000f27: POP
00000f28: ADD
00000f29: SWAP2
00000f2a: POP
00000f2b: POP
00000f2c: SWAP1
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: DUP1
00000f36: SWAP2
00000f37: SUB
00000f38: SWAP1
00000f39: KECCAK256
00000f3a: PUSH1 0x00
00000f3c: POP
00000f3d: SWAP1
00000f3e: DUP1
00000f3f: MLOAD
00000f40: SWAP1
00000f41: PUSH1 0x20
00000f43: ADD
00000f44: SWAP1
00000f45: DUP3
00000f46: DUP1
00000f47: SLOAD
00000f48: PUSH1 0x01
00000f4a: DUP2
00000f4b: PUSH1 0x01
00000f4d: AND
00000f4e: ISZERO
00000f4f: PUSH2 0x0100
00000f52: MUL
00000f53: SUB
00000f54: AND
00000f55: PUSH1 0x02
00000f57: SWAP1
00000f58: DIV
00000f59: SWAP1
00000f5a: PUSH1 0x00
00000f5c: MSTORE
00000f5d: PUSH1 0x20
00000f5f: PUSH1 0x00
00000f61: KECCAK256
00000f62: SWAP1
00000f63: PUSH1 0x1f
00000f65: ADD
00000f66: PUSH1 0x20
00000f68: SWAP1
00000f69: DIV
00000f6a: DUP2
00000f6b: ADD
00000f6c: SWAP3
00000f6d: DUP3
00000f6e: PUSH1 0x1f
00000f70: LT
00000f71: PUSH2 0x0f94
00000f74: JUMPI
00000f75: DUP1
00000f76: MLOAD
00000f77: PUSH1 0xff
00000f79: NOT
00000f7a: AND
00000f7b: DUP4
00000f7c: DUP1
00000f7d: ADD
00000f7e: OR
00000f7f: DUP6
00000f80: SSTORE
00000f81: JUMPDEST
00000f82: POP
00000f83: PUSH2 0x0f8d
00000f86: SWAP3
00000f87: SWAP2
00000f88: POP
00000f89: PUSH2 0x0dc9
00000f8c: JUMP
00000f8d: JUMPDEST
00000f8e: POP
00000f8f: POP
00000f90: PUSH2 0x0002
00000f93: JUMP
00000f94: JUMPDEST
00000f95: DUP3
00000f96: DUP1
00000f97: ADD
00000f98: PUSH1 0x01
00000f9a: ADD
00000f9b: DUP6
00000f9c: SSTORE
00000f9d: DUP3
00000f9e: ISZERO
00000f9f: PUSH2 0x0f81
00000fa2: JUMPI
00000fa3: SWAP2
00000fa4: DUP3
00000fa5: ADD
00000fa6: JUMPDEST
00000fa7: DUP3
00000fa8: DUP2
00000fa9: GT
00000faa: ISZERO
00000fab: PUSH2 0x0f81
00000fae: JUMPI
00000faf: DUP3
00000fb0: MLOAD
00000fb1: DUP3
00000fb2: PUSH1 0x00
00000fb4: POP
00000fb5: SSTORE
00000fb6: SWAP2
00000fb7: PUSH1 0x20
00000fb9: ADD
00000fba: SWAP2
00000fbb: SWAP1
00000fbc: PUSH1 0x01
00000fbe: ADD
00000fbf: SWAP1
00000fc0: PUSH2 0x0fa6
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: POP
00000fc6: POP
00000fc7: POP
00000fc8: POP
00000fc9: POP
00000fca: JUMP
00000fcb: JUMPDEST
00000fcc: PUSH1 0x1f
00000fce: ADD
00000fcf: PUSH1 0x20
00000fd1: SWAP1
00000fd2: DIV
00000fd3: SWAP1
00000fd4: PUSH1 0x00
00000fd6: MSTORE
00000fd7: PUSH1 0x20
00000fd9: PUSH1 0x00
00000fdb: KECCAK256
00000fdc: SWAP1
00000fdd: DUP2
00000fde: ADD
00000fdf: SWAP1
00000fe0: PUSH2 0x0cc9
00000fe3: SWAP2
00000fe4: SWAP1
00000fe5: PUSH2 0x0dc9
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: PUSH1 0x1f
00000fec: ADD
00000fed: PUSH1 0x20
00000fef: SWAP1
00000ff0: DIV
00000ff1: SWAP1
00000ff2: PUSH1 0x00
00000ff4: MSTORE
00000ff5: PUSH1 0x20
00000ff7: PUSH1 0x00
00000ff9: KECCAK256
00000ffa: SWAP1
00000ffb: DUP2
00000ffc: ADD
00000ffd: SWAP1
00000ffe: PUSH2 0x0d2c
00001001: SWAP2
00001002: SWAP1
00001003: PUSH2 0x0dc9
00001006: JUMP
00001007: JUMPDEST
00001008: DUP2
00001009: PUSH1 0x1f
0000100b: DUP2
0000100c: MLOAD
0000100d: DUP2
0000100e: LT
0000100f: ISZERO
00001010: PUSH2 0x0002
00001013: JUMPI
00001014: POP
00001015: PUSH1 0x3f
00001017: ADD
00001018: MLOAD
00001019: PUSH1 0xf8
0000101b: PUSH1 0x02
0000101d: EXP
0000101e: SWAP1
0000101f: DUP2
00001020: SWAP1
00001021: DIV
00001022: DUP2
00001023: MUL
00001024: EQ
00001025: SWAP5
00001026: POP
00001027: PUSH2 0x092b
0000102a: 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.