Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-_1h1nu7p
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9b-7fb1-72c2-9d10-2a1405a95dd9
--------
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:30.652129+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 9584,
        "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 0x0119
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x06fdde03
00000034: EQ
00000035: PUSH2 0x0122
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x095ea7b3
0000003f: EQ
00000040: PUSH2 0x019d
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x1720ea55
0000004a: EQ
0000004b: PUSH2 0x01d4
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x18160ddd
00000055: EQ
00000056: PUSH2 0x0202
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x23b872dd
00000060: EQ
00000061: PUSH2 0x0225
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x313ce567
0000006b: EQ
0000006c: PUSH2 0x0265
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x5a3b7e42
00000076: EQ
00000077: PUSH2 0x028b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x70a08231
00000081: EQ
00000082: PUSH2 0x0306
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x72689e4d
0000008c: EQ
0000008d: PUSH2 0x0332
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x836a1e23
00000097: EQ
00000098: PUSH2 0x036b
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x8da5cb5b
000000a2: EQ
000000a3: PUSH2 0x037a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x95d89b41
000000ad: EQ
000000ae: PUSH2 0x03b3
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xa9059cbb
000000b8: EQ
000000b9: PUSH2 0x042e
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xb0987c03
000000c3: EQ
000000c4: PUSH2 0x044f
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xb6db8973
000000ce: EQ
000000cf: PUSH2 0x0488
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0xc03945f7
000000d9: EQ
000000da: PUSH2 0x04ab
000000dd: JUMPI
000000de: DUP1
000000df: PUSH4 0xcae9ca51
000000e4: EQ
000000e5: PUSH2 0x04ba
000000e8: JUMPI
000000e9: DUP1
000000ea: PUSH4 0xdd62ed3e
000000ef: EQ
000000f0: PUSH2 0x0538
000000f3: JUMPI
000000f4: DUP1
000000f5: PUSH4 0xecf09417
000000fa: EQ
000000fb: PUSH2 0x056d
000000fe: JUMPI
000000ff: DUP1
00000100: PUSH4 0xf8b2cb4f
00000105: EQ
00000106: PUSH2 0x0590
00000109: JUMPI
0000010a: DUP1
0000010b: PUSH4 0xfcc820e2
00000110: EQ
00000111: PUSH2 0x05bc
00000114: JUMPI
00000115: PUSH2 0x0119
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH2 0x0120
0000011d: JUMPDEST
0000011e: JUMPDEST
0000011f: JUMP
00000120: JUMPDEST
00000121: STOP
00000122: JUMPDEST
00000123: PUSH2 0x012f
00000126: PUSH1 0x04
00000128: DUP1
00000129: POP
0000012a: POP
0000012b: PUSH2 0x05e8
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH1 0x40
00000132: MLOAD
00000133: DUP1
00000134: DUP1
00000135: PUSH1 0x20
00000137: ADD
00000138: DUP3
00000139: DUP2
0000013a: SUB
0000013b: DUP3
0000013c: MSTORE
0000013d: DUP4
0000013e: DUP2
0000013f: DUP2
00000140: MLOAD
00000141: DUP2
00000142: MSTORE
00000143: PUSH1 0x20
00000145: ADD
00000146: SWAP2
00000147: POP
00000148: DUP1
00000149: MLOAD
0000014a: SWAP1
0000014b: PUSH1 0x20
0000014d: ADD
0000014e: SWAP1
0000014f: DUP1
00000150: DUP4
00000151: DUP4
00000152: DUP3
00000153: SWAP1
00000154: PUSH1 0x00
00000156: PUSH1 0x04
00000158: PUSH1 0x20
0000015a: DUP5
0000015b: PUSH1 0x1f
0000015d: ADD
0000015e: DIV
0000015f: PUSH1 0x03
00000161: MUL
00000162: PUSH1 0x0f
00000164: ADD
00000165: CALL
00000166: POP
00000167: SWAP1
00000168: POP
00000169: SWAP1
0000016a: DUP2
0000016b: ADD
0000016c: SWAP1
0000016d: PUSH1 0x1f
0000016f: AND
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x018f
00000175: JUMPI
00000176: DUP1
00000177: DUP3
00000178: SUB
00000179: DUP1
0000017a: MLOAD
0000017b: PUSH1 0x01
0000017d: DUP4
0000017e: PUSH1 0x20
00000180: SUB
00000181: PUSH2 0x0100
00000184: EXP
00000185: SUB
00000186: NOT
00000187: AND
00000188: DUP2
00000189: MSTORE
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: SWAP2
0000018e: POP
0000018f: JUMPDEST
00000190: POP
00000191: SWAP3
00000192: POP
00000193: POP
00000194: POP
00000195: PUSH1 0x40
00000197: MLOAD
00000198: DUP1
00000199: SWAP2
0000019a: SUB
0000019b: SWAP1
0000019c: RETURN
0000019d: JUMPDEST
0000019e: PUSH2 0x01bc
000001a1: PUSH1 0x04
000001a3: DUP1
000001a4: DUP1
000001a5: CALLDATALOAD
000001a6: SWAP1
000001a7: PUSH1 0x20
000001a9: ADD
000001aa: SWAP1
000001ab: SWAP2
000001ac: SWAP1
000001ad: DUP1
000001ae: CALLDATALOAD
000001af: SWAP1
000001b0: PUSH1 0x20
000001b2: ADD
000001b3: SWAP1
000001b4: SWAP2
000001b5: SWAP1
000001b6: POP
000001b7: POP
000001b8: PUSH2 0x0689
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH1 0x40
000001bf: MLOAD
000001c0: DUP1
000001c1: DUP3
000001c2: ISZERO
000001c3: ISZERO
000001c4: DUP2
000001c5: MSTORE
000001c6: PUSH1 0x20
000001c8: ADD
000001c9: SWAP2
000001ca: POP
000001cb: POP
000001cc: PUSH1 0x40
000001ce: MLOAD
000001cf: DUP1
000001d0: SWAP2
000001d1: SUB
000001d2: SWAP1
000001d3: RETURN
000001d4: JUMPDEST
000001d5: PUSH2 0x01ea
000001d8: PUSH1 0x04
000001da: DUP1
000001db: DUP1
000001dc: CALLDATALOAD
000001dd: SWAP1
000001de: PUSH1 0x20
000001e0: ADD
000001e1: SWAP1
000001e2: SWAP2
000001e3: SWAP1
000001e4: POP
000001e5: POP
000001e6: PUSH2 0x06f8
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: DUP3
000001f0: ISZERO
000001f1: ISZERO
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP2
000001f8: POP
000001f9: POP
000001fa: PUSH1 0x40
000001fc: MLOAD
000001fd: DUP1
000001fe: SWAP2
000001ff: SUB
00000200: SWAP1
00000201: RETURN
00000202: JUMPDEST
00000203: PUSH2 0x020f
00000206: PUSH1 0x04
00000208: DUP1
00000209: POP
0000020a: POP
0000020b: PUSH2 0x0907
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH1 0x40
00000212: MLOAD
00000213: DUP1
00000214: DUP3
00000215: DUP2
00000216: MSTORE
00000217: PUSH1 0x20
00000219: ADD
0000021a: SWAP2
0000021b: POP
0000021c: POP
0000021d: PUSH1 0x40
0000021f: MLOAD
00000220: DUP1
00000221: SWAP2
00000222: SUB
00000223: SWAP1
00000224: RETURN
00000225: JUMPDEST
00000226: PUSH2 0x024d
00000229: PUSH1 0x04
0000022b: DUP1
0000022c: DUP1
0000022d: CALLDATALOAD
0000022e: SWAP1
0000022f: PUSH1 0x20
00000231: ADD
00000232: SWAP1
00000233: SWAP2
00000234: SWAP1
00000235: DUP1
00000236: CALLDATALOAD
00000237: SWAP1
00000238: PUSH1 0x20
0000023a: ADD
0000023b: SWAP1
0000023c: SWAP2
0000023d: SWAP1
0000023e: DUP1
0000023f: CALLDATALOAD
00000240: SWAP1
00000241: PUSH1 0x20
00000243: ADD
00000244: SWAP1
00000245: SWAP2
00000246: SWAP1
00000247: POP
00000248: POP
00000249: PUSH2 0x0910
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: DUP1
00000252: DUP3
00000253: ISZERO
00000254: ISZERO
00000255: DUP2
00000256: MSTORE
00000257: PUSH1 0x20
00000259: ADD
0000025a: SWAP2
0000025b: POP
0000025c: POP
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: DUP1
00000261: SWAP2
00000262: SUB
00000263: SWAP1
00000264: RETURN
00000265: JUMPDEST
00000266: PUSH2 0x0272
00000269: PUSH1 0x04
0000026b: DUP1
0000026c: POP
0000026d: POP
0000026e: PUSH2 0x0b74
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: DUP3
00000278: PUSH1 0xff
0000027a: AND
0000027b: DUP2
0000027c: MSTORE
0000027d: PUSH1 0x20
0000027f: ADD
00000280: SWAP2
00000281: POP
00000282: POP
00000283: PUSH1 0x40
00000285: MLOAD
00000286: DUP1
00000287: SWAP2
00000288: SUB
00000289: SWAP1
0000028a: RETURN
0000028b: JUMPDEST
0000028c: PUSH2 0x0298
0000028f: PUSH1 0x04
00000291: DUP1
00000292: POP
00000293: POP
00000294: PUSH2 0x0b87
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: DUP1
0000029e: PUSH1 0x20
000002a0: ADD
000002a1: DUP3
000002a2: DUP2
000002a3: SUB
000002a4: DUP3
000002a5: MSTORE
000002a6: DUP4
000002a7: DUP2
000002a8: DUP2
000002a9: MLOAD
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP2
000002b0: POP
000002b1: DUP1
000002b2: MLOAD
000002b3: SWAP1
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: SWAP1
000002b8: DUP1
000002b9: DUP4
000002ba: DUP4
000002bb: DUP3
000002bc: SWAP1
000002bd: PUSH1 0x00
000002bf: PUSH1 0x04
000002c1: PUSH1 0x20
000002c3: DUP5
000002c4: PUSH1 0x1f
000002c6: ADD
000002c7: DIV
000002c8: PUSH1 0x03
000002ca: MUL
000002cb: PUSH1 0x0f
000002cd: ADD
000002ce: CALL
000002cf: POP
000002d0: SWAP1
000002d1: POP
000002d2: SWAP1
000002d3: DUP2
000002d4: ADD
000002d5: SWAP1
000002d6: PUSH1 0x1f
000002d8: AND
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02f8
000002de: JUMPI
000002df: DUP1
000002e0: DUP3
000002e1: SUB
000002e2: DUP1
000002e3: MLOAD
000002e4: PUSH1 0x01
000002e6: DUP4
000002e7: PUSH1 0x20
000002e9: SUB
000002ea: PUSH2 0x0100
000002ed: EXP
000002ee: SUB
000002ef: NOT
000002f0: AND
000002f1: DUP2
000002f2: MSTORE
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: SWAP2
000002f7: POP
000002f8: JUMPDEST
000002f9: POP
000002fa: SWAP3
000002fb: POP
000002fc: POP
000002fd: POP
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: DUP1
00000302: SWAP2
00000303: SUB
00000304: SWAP1
00000305: RETURN
00000306: JUMPDEST
00000307: PUSH2 0x031c
0000030a: PUSH1 0x04
0000030c: DUP1
0000030d: DUP1
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: SWAP2
00000315: SWAP1
00000316: POP
00000317: POP
00000318: PUSH2 0x0c28
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: DUP1
00000321: DUP3
00000322: DUP2
00000323: MSTORE
00000324: PUSH1 0x20
00000326: ADD
00000327: SWAP2
00000328: POP
00000329: POP
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: SWAP2
0000032f: SUB
00000330: SWAP1
00000331: RETURN
00000332: JUMPDEST
00000333: PUSH2 0x033f
00000336: PUSH1 0x04
00000338: DUP1
00000339: POP
0000033a: POP
0000033b: PUSH2 0x0c43
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x40
00000342: MLOAD
00000343: DUP1
00000344: DUP3
00000345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000035a: AND
0000035b: DUP2
0000035c: MSTORE
0000035d: PUSH1 0x20
0000035f: ADD
00000360: SWAP2
00000361: POP
00000362: POP
00000363: PUSH1 0x40
00000365: MLOAD
00000366: DUP1
00000367: SWAP2
00000368: SUB
00000369: SWAP1
0000036a: RETURN
0000036b: JUMPDEST
0000036c: PUSH2 0x0378
0000036f: PUSH1 0x04
00000371: DUP1
00000372: POP
00000373: POP
00000374: PUSH2 0x0c69
00000377: JUMP
00000378: JUMPDEST
00000379: STOP
0000037a: JUMPDEST
0000037b: PUSH2 0x0387
0000037e: PUSH1 0x04
00000380: DUP1
00000381: POP
00000382: POP
00000383: PUSH2 0x0d34
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: DUP3
0000038d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a2: AND
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: SWAP2
000003a9: POP
000003aa: POP
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: SWAP2
000003b0: SUB
000003b1: SWAP1
000003b2: RETURN
000003b3: JUMPDEST
000003b4: PUSH2 0x03c0
000003b7: PUSH1 0x04
000003b9: DUP1
000003ba: POP
000003bb: POP
000003bc: PUSH2 0x0d5a
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: DUP1
000003c6: PUSH1 0x20
000003c8: ADD
000003c9: DUP3
000003ca: DUP2
000003cb: SUB
000003cc: DUP3
000003cd: MSTORE
000003ce: DUP4
000003cf: DUP2
000003d0: DUP2
000003d1: MLOAD
000003d2: DUP2
000003d3: MSTORE
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: SWAP2
000003d8: POP
000003d9: DUP1
000003da: MLOAD
000003db: SWAP1
000003dc: PUSH1 0x20
000003de: ADD
000003df: SWAP1
000003e0: DUP1
000003e1: DUP4
000003e2: DUP4
000003e3: DUP3
000003e4: SWAP1
000003e5: PUSH1 0x00
000003e7: PUSH1 0x04
000003e9: PUSH1 0x20
000003eb: DUP5
000003ec: PUSH1 0x1f
000003ee: ADD
000003ef: DIV
000003f0: PUSH1 0x03
000003f2: MUL
000003f3: PUSH1 0x0f
000003f5: ADD
000003f6: CALL
000003f7: POP
000003f8: SWAP1
000003f9: POP
000003fa: SWAP1
000003fb: DUP2
000003fc: ADD
000003fd: SWAP1
000003fe: PUSH1 0x1f
00000400: AND
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x0420
00000406: JUMPI
00000407: DUP1
00000408: DUP3
00000409: SUB
0000040a: DUP1
0000040b: MLOAD
0000040c: PUSH1 0x01
0000040e: DUP4
0000040f: PUSH1 0x20
00000411: SUB
00000412: PUSH2 0x0100
00000415: EXP
00000416: SUB
00000417: NOT
00000418: AND
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: SWAP2
0000041f: POP
00000420: JUMPDEST
00000421: POP
00000422: SWAP3
00000423: POP
00000424: POP
00000425: POP
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: SWAP2
0000042b: SUB
0000042c: SWAP1
0000042d: RETURN
0000042e: JUMPDEST
0000042f: PUSH2 0x044d
00000432: PUSH1 0x04
00000434: DUP1
00000435: DUP1
00000436: CALLDATALOAD
00000437: SWAP1
00000438: PUSH1 0x20
0000043a: ADD
0000043b: SWAP1
0000043c: SWAP2
0000043d: SWAP1
0000043e: DUP1
0000043f: CALLDATALOAD
00000440: SWAP1
00000441: PUSH1 0x20
00000443: ADD
00000444: SWAP1
00000445: SWAP2
00000446: SWAP1
00000447: POP
00000448: POP
00000449: PUSH2 0x0dfb
0000044c: JUMP
0000044d: JUMPDEST
0000044e: STOP
0000044f: JUMPDEST
00000450: PUSH2 0x045c
00000453: PUSH1 0x04
00000455: DUP1
00000456: POP
00000457: POP
00000458: PUSH2 0x0f86
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: DUP1
00000461: DUP3
00000462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000477: AND
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP2
0000047e: POP
0000047f: POP
00000480: PUSH1 0x40
00000482: MLOAD
00000483: DUP1
00000484: SWAP2
00000485: SUB
00000486: SWAP1
00000487: RETURN
00000488: JUMPDEST
00000489: PUSH2 0x0495
0000048c: PUSH1 0x04
0000048e: DUP1
0000048f: POP
00000490: POP
00000491: PUSH2 0x0fac
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH1 0x40
00000498: MLOAD
00000499: DUP1
0000049a: DUP3
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: SWAP2
000004a1: POP
000004a2: POP
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: DUP1
000004a7: SWAP2
000004a8: SUB
000004a9: SWAP1
000004aa: RETURN
000004ab: JUMPDEST
000004ac: PUSH2 0x04b8
000004af: PUSH1 0x04
000004b1: DUP1
000004b2: POP
000004b3: POP
000004b4: PUSH2 0x0fb5
000004b7: JUMP
000004b8: JUMPDEST
000004b9: STOP
000004ba: JUMPDEST
000004bb: PUSH2 0x0520
000004be: PUSH1 0x04
000004c0: DUP1
000004c1: DUP1
000004c2: CALLDATALOAD
000004c3: SWAP1
000004c4: PUSH1 0x20
000004c6: ADD
000004c7: SWAP1
000004c8: SWAP2
000004c9: SWAP1
000004ca: DUP1
000004cb: CALLDATALOAD
000004cc: SWAP1
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: SWAP1
000004d1: SWAP2
000004d2: SWAP1
000004d3: DUP1
000004d4: CALLDATALOAD
000004d5: SWAP1
000004d6: PUSH1 0x20
000004d8: ADD
000004d9: SWAP1
000004da: DUP3
000004db: ADD
000004dc: DUP1
000004dd: CALLDATALOAD
000004de: SWAP1
000004df: PUSH1 0x20
000004e1: ADD
000004e2: SWAP2
000004e3: SWAP2
000004e4: SWAP1
000004e5: DUP1
000004e6: DUP1
000004e7: PUSH1 0x1f
000004e9: ADD
000004ea: PUSH1 0x20
000004ec: DUP1
000004ed: SWAP2
000004ee: DIV
000004ef: MUL
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: SWAP1
000004f7: DUP2
000004f8: ADD
000004f9: PUSH1 0x40
000004fb: MSTORE
000004fc: DUP1
000004fd: SWAP4
000004fe: SWAP3
000004ff: SWAP2
00000500: SWAP1
00000501: DUP2
00000502: DUP2
00000503: MSTORE
00000504: PUSH1 0x20
00000506: ADD
00000507: DUP4
00000508: DUP4
00000509: DUP1
0000050a: DUP3
0000050b: DUP5
0000050c: CALLDATACOPY
0000050d: DUP3
0000050e: ADD
0000050f: SWAP2
00000510: POP
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: POP
00000516: SWAP1
00000517: SWAP1
00000518: SWAP2
00000519: SWAP1
0000051a: POP
0000051b: POP
0000051c: PUSH2 0x104f
0000051f: JUMP
00000520: JUMPDEST
00000521: PUSH1 0x40
00000523: MLOAD
00000524: DUP1
00000525: DUP3
00000526: ISZERO
00000527: ISZERO
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x20
0000052c: ADD
0000052d: SWAP2
0000052e: POP
0000052f: POP
00000530: PUSH1 0x40
00000532: MLOAD
00000533: DUP1
00000534: SWAP2
00000535: SUB
00000536: SWAP1
00000537: RETURN
00000538: JUMPDEST
00000539: PUSH2 0x0557
0000053c: PUSH1 0x04
0000053e: DUP1
0000053f: DUP1
00000540: CALLDATALOAD
00000541: SWAP1
00000542: PUSH1 0x20
00000544: ADD
00000545: SWAP1
00000546: SWAP2
00000547: SWAP1
00000548: DUP1
00000549: CALLDATALOAD
0000054a: SWAP1
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP1
0000054f: SWAP2
00000550: SWAP1
00000551: POP
00000552: POP
00000553: PUSH2 0x117c
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x40
0000055a: MLOAD
0000055b: DUP1
0000055c: DUP3
0000055d: DUP2
0000055e: MSTORE
0000055f: PUSH1 0x20
00000561: ADD
00000562: SWAP2
00000563: POP
00000564: POP
00000565: PUSH1 0x40
00000567: MLOAD
00000568: DUP1
00000569: SWAP2
0000056a: SUB
0000056b: SWAP1
0000056c: RETURN
0000056d: JUMPDEST
0000056e: PUSH2 0x057a
00000571: PUSH1 0x04
00000573: DUP1
00000574: POP
00000575: POP
00000576: PUSH2 0x11a7
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: DUP1
0000057f: DUP3
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: ADD
00000585: SWAP2
00000586: POP
00000587: POP
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP1
0000058c: SWAP2
0000058d: SUB
0000058e: SWAP1
0000058f: RETURN
00000590: JUMPDEST
00000591: PUSH2 0x05a6
00000594: PUSH1 0x04
00000596: DUP1
00000597: DUP1
00000598: CALLDATALOAD
00000599: SWAP1
0000059a: PUSH1 0x20
0000059c: ADD
0000059d: SWAP1
0000059e: SWAP2
0000059f: SWAP1
000005a0: POP
000005a1: POP
000005a2: PUSH2 0x11b0
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: DUP1
000005ab: DUP3
000005ac: DUP2
000005ad: MSTORE
000005ae: PUSH1 0x20
000005b0: ADD
000005b1: SWAP2
000005b2: POP
000005b3: POP
000005b4: PUSH1 0x40
000005b6: MLOAD
000005b7: DUP1
000005b8: SWAP2
000005b9: SUB
000005ba: SWAP1
000005bb: RETURN
000005bc: JUMPDEST
000005bd: PUSH2 0x05d2
000005c0: PUSH1 0x04
000005c2: DUP1
000005c3: DUP1
000005c4: CALLDATALOAD
000005c5: SWAP1
000005c6: PUSH1 0x20
000005c8: ADD
000005c9: SWAP1
000005ca: SWAP2
000005cb: SWAP1
000005cc: POP
000005cd: POP
000005ce: PUSH2 0x11ee
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: DUP1
000005d7: DUP3
000005d8: DUP2
000005d9: MSTORE
000005da: PUSH1 0x20
000005dc: ADD
000005dd: SWAP2
000005de: POP
000005df: POP
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: SWAP2
000005e5: SUB
000005e6: SWAP1
000005e7: RETURN
000005e8: JUMPDEST
000005e9: PUSH1 0x01
000005eb: PUSH1 0x00
000005ed: POP
000005ee: DUP1
000005ef: SLOAD
000005f0: PUSH1 0x01
000005f2: DUP2
000005f3: PUSH1 0x01
000005f5: AND
000005f6: ISZERO
000005f7: PUSH2 0x0100
000005fa: MUL
000005fb: SUB
000005fc: AND
000005fd: PUSH1 0x02
000005ff: SWAP1
00000600: DIV
00000601: DUP1
00000602: PUSH1 0x1f
00000604: ADD
00000605: PUSH1 0x20
00000607: DUP1
00000608: SWAP2
00000609: DIV
0000060a: MUL
0000060b: PUSH1 0x20
0000060d: ADD
0000060e: PUSH1 0x40
00000610: MLOAD
00000611: SWAP1
00000612: DUP2
00000613: ADD
00000614: PUSH1 0x40
00000616: MSTORE
00000617: DUP1
00000618: SWAP3
00000619: SWAP2
0000061a: SWAP1
0000061b: DUP2
0000061c: DUP2
0000061d: MSTORE
0000061e: PUSH1 0x20
00000620: ADD
00000621: DUP3
00000622: DUP1
00000623: SLOAD
00000624: PUSH1 0x01
00000626: DUP2
00000627: PUSH1 0x01
00000629: AND
0000062a: ISZERO
0000062b: PUSH2 0x0100
0000062e: MUL
0000062f: SUB
00000630: AND
00000631: PUSH1 0x02
00000633: SWAP1
00000634: DIV
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x0681
0000063a: JUMPI
0000063b: DUP1
0000063c: PUSH1 0x1f
0000063e: LT
0000063f: PUSH2 0x0656
00000642: JUMPI
00000643: PUSH2 0x0100
00000646: DUP1
00000647: DUP4
00000648: SLOAD
00000649: DIV
0000064a: MUL
0000064b: DUP4
0000064c: MSTORE
0000064d: SWAP2
0000064e: PUSH1 0x20
00000650: ADD
00000651: SWAP2
00000652: PUSH2 0x0681
00000655: JUMP
00000656: JUMPDEST
00000657: DUP3
00000658: ADD
00000659: SWAP2
0000065a: SWAP1
0000065b: PUSH1 0x00
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: PUSH1 0x00
00000662: KECCAK256
00000663: SWAP1
00000664: JUMPDEST
00000665: DUP2
00000666: SLOAD
00000667: DUP2
00000668: MSTORE
00000669: SWAP1
0000066a: PUSH1 0x01
0000066c: ADD
0000066d: SWAP1
0000066e: PUSH1 0x20
00000670: ADD
00000671: DUP1
00000672: DUP4
00000673: GT
00000674: PUSH2 0x0664
00000677: JUMPI
00000678: DUP3
00000679: SWAP1
0000067a: SUB
0000067b: PUSH1 0x1f
0000067d: AND
0000067e: DUP3
0000067f: ADD
00000680: SWAP2
00000681: JUMPDEST
00000682: POP
00000683: POP
00000684: POP
00000685: POP
00000686: POP
00000687: DUP2
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x00
0000068c: DUP2
0000068d: PUSH1 0x07
0000068f: PUSH1 0x00
00000691: POP
00000692: PUSH1 0x00
00000694: CALLER
00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006aa: AND
000006ab: DUP2
000006ac: MSTORE
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP1
000006b1: DUP2
000006b2: MSTORE
000006b3: PUSH1 0x20
000006b5: ADD
000006b6: PUSH1 0x00
000006b8: KECCAK256
000006b9: PUSH1 0x00
000006bb: POP
000006bc: PUSH1 0x00
000006be: DUP6
000006bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d4: AND
000006d5: DUP2
000006d6: MSTORE
000006d7: PUSH1 0x20
000006d9: ADD
000006da: SWAP1
000006db: DUP2
000006dc: MSTORE
000006dd: PUSH1 0x20
000006df: ADD
000006e0: PUSH1 0x00
000006e2: KECCAK256
000006e3: PUSH1 0x00
000006e5: POP
000006e6: DUP2
000006e7: SWAP1
000006e8: SSTORE
000006e9: POP
000006ea: PUSH1 0x01
000006ec: SWAP1
000006ed: POP
000006ee: PUSH2 0x06f2
000006f1: JUMP
000006f2: JUMPDEST
000006f3: SWAP3
000006f4: SWAP2
000006f5: POP
000006f6: POP
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x00
000006fb: PUSH1 0x00
000006fd: DUP3
000006fe: PUSH1 0x0b
00000700: PUSH1 0x00
00000702: POP
00000703: PUSH1 0x00
00000705: CALLER
00000706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071b: AND
0000071c: DUP2
0000071d: MSTORE
0000071e: PUSH1 0x20
00000720: ADD
00000721: SWAP1
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x20
00000726: ADD
00000727: PUSH1 0x00
00000729: KECCAK256
0000072a: PUSH1 0x00
0000072c: POP
0000072d: SLOAD
0000072e: LT
0000072f: ISZERO
00000730: PUSH2 0x0738
00000733: JUMPI
00000734: PUSH2 0x0002
00000737: JUMP
00000738: JUMPDEST
00000739: PUSH1 0x0e
0000073b: PUSH1 0x00
0000073d: POP
0000073e: SLOAD
0000073f: PUSH1 0x0a
00000741: PUSH1 0x00
00000743: SWAP1
00000744: SLOAD
00000745: SWAP1
00000746: PUSH2 0x0100
00000749: EXP
0000074a: SWAP1
0000074b: DIV
0000074c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000761: AND
00000762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000777: AND
00000778: PUSH4 0xf8b2cb4f
0000077d: CALLER
0000077e: PUSH1 0x40
00000780: MLOAD
00000781: DUP3
00000782: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000007a0: MUL
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH1 0x04
000007a5: ADD
000007a6: DUP1
000007a7: DUP3
000007a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bd: AND
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: ADD
000007c3: SWAP2
000007c4: POP
000007c5: POP
000007c6: PUSH1 0x20
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: DUP1
000007cc: DUP4
000007cd: SUB
000007ce: DUP2
000007cf: PUSH1 0x00
000007d1: DUP8
000007d2: PUSH2 0x61da
000007d5: GAS
000007d6: SUB
000007d7: CALL
000007d8: ISZERO
000007d9: PUSH2 0x0002
000007dc: JUMPI
000007dd: POP
000007de: POP
000007df: POP
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: DUP1
000007e4: MLOAD
000007e5: SWAP1
000007e6: PUSH1 0x20
000007e8: ADD
000007e9: POP
000007ea: GT
000007eb: ISZERO
000007ec: PUSH2 0x082b
000007ef: JUMPI
000007f0: CALLER
000007f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000806: AND
00000807: PUSH1 0x00
00000809: DUP5
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: DUP1
0000080e: SWAP1
0000080f: POP
00000810: PUSH1 0x00
00000812: PUSH1 0x40
00000814: MLOAD
00000815: DUP1
00000816: DUP4
00000817: SUB
00000818: DUP2
00000819: DUP6
0000081a: DUP9
0000081b: DUP9
0000081c: CALL
0000081d: SWAP4
0000081e: POP
0000081f: POP
00000820: POP
00000821: POP
00000822: POP
00000823: PUSH1 0x01
00000825: SWAP2
00000826: POP
00000827: PUSH2 0x0901
0000082a: JUMP
0000082b: JUMPDEST
0000082c: PUSH1 0x0d
0000082e: PUSH1 0x00
00000830: POP
00000831: SLOAD
00000832: DUP4
00000833: DIV
00000834: SWAP1
00000835: POP
00000836: CALLER
00000837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084c: AND
0000084d: PUSH1 0x00
0000084f: DUP5
00000850: PUSH1 0x40
00000852: MLOAD
00000853: DUP1
00000854: SWAP1
00000855: POP
00000856: PUSH1 0x00
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: DUP1
0000085c: DUP4
0000085d: SUB
0000085e: DUP2
0000085f: DUP6
00000860: DUP9
00000861: DUP9
00000862: CALL
00000863: SWAP4
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: ISZERO
00000869: PUSH2 0x08f8
0000086c: JUMPI
0000086d: DUP3
0000086e: PUSH1 0x0b
00000870: PUSH1 0x00
00000872: POP
00000873: PUSH1 0x00
00000875: CALLER
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: AND
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: ADD
00000891: SWAP1
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x20
00000896: ADD
00000897: PUSH1 0x00
00000899: KECCAK256
0000089a: PUSH1 0x00
0000089c: DUP3
0000089d: DUP3
0000089e: DUP3
0000089f: POP
000008a0: SLOAD
000008a1: SUB
000008a2: SWAP3
000008a3: POP
000008a4: POP
000008a5: DUP2
000008a6: SWAP1
000008a7: SSTORE
000008a8: POP
000008a9: DUP1
000008aa: PUSH1 0x0c
000008ac: PUSH1 0x00
000008ae: POP
000008af: PUSH1 0x00
000008b1: CALLER
000008b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c7: AND
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: SWAP1
000008ce: DUP2
000008cf: MSTORE
000008d0: PUSH1 0x20
000008d2: ADD
000008d3: PUSH1 0x00
000008d5: KECCAK256
000008d6: PUSH1 0x00
000008d8: DUP3
000008d9: DUP3
000008da: DUP3
000008db: POP
000008dc: SLOAD
000008dd: SUB
000008de: SWAP3
000008df: POP
000008e0: POP
000008e1: DUP2
000008e2: SWAP1
000008e3: SSTORE
000008e4: POP
000008e5: PUSH2 0x08ef
000008e8: PUSH1 0x01
000008ea: CALLER
000008eb: PUSH2 0x1209
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x01
000008f2: SWAP2
000008f3: POP
000008f4: PUSH2 0x0901
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x00
000008fb: SWAP2
000008fc: POP
000008fd: PUSH2 0x0901
00000900: JUMP
00000901: JUMPDEST
00000902: POP
00000903: SWAP2
00000904: SWAP1
00000905: POP
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH1 0x04
0000090a: PUSH1 0x00
0000090c: POP
0000090d: SLOAD
0000090e: DUP2
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x00
00000913: DUP2
00000914: PUSH1 0x06
00000916: PUSH1 0x00
00000918: POP
00000919: PUSH1 0x00
0000091b: DUP7
0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000931: AND
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: ADD
00000937: SWAP1
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x20
0000093c: ADD
0000093d: PUSH1 0x00
0000093f: KECCAK256
00000940: PUSH1 0x00
00000942: POP
00000943: SLOAD
00000944: LT
00000945: ISZERO
00000946: PUSH2 0x094e
00000949: JUMPI
0000094a: PUSH2 0x0002
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH1 0x06
00000951: PUSH1 0x00
00000953: POP
00000954: PUSH1 0x00
00000956: DUP5
00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096c: AND
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP1
00000973: DUP2
00000974: MSTORE
00000975: PUSH1 0x20
00000977: ADD
00000978: PUSH1 0x00
0000097a: KECCAK256
0000097b: PUSH1 0x00
0000097d: POP
0000097e: SLOAD
0000097f: DUP3
00000980: PUSH1 0x06
00000982: PUSH1 0x00
00000984: POP
00000985: PUSH1 0x00
00000987: DUP7
00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099d: AND
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: SWAP1
000009a4: DUP2
000009a5: MSTORE
000009a6: PUSH1 0x20
000009a8: ADD
000009a9: PUSH1 0x00
000009ab: KECCAK256
000009ac: PUSH1 0x00
000009ae: POP
000009af: SLOAD
000009b0: ADD
000009b1: LT
000009b2: ISZERO
000009b3: PUSH2 0x09bb
000009b6: JUMPI
000009b7: PUSH2 0x0002
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH1 0x07
000009be: PUSH1 0x00
000009c0: POP
000009c1: PUSH1 0x00
000009c3: DUP6
000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d9: AND
000009da: DUP2
000009db: MSTORE
000009dc: PUSH1 0x20
000009de: ADD
000009df: SWAP1
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: PUSH1 0x00
000009e7: KECCAK256
000009e8: PUSH1 0x00
000009ea: POP
000009eb: PUSH1 0x00
000009ed: CALLER
000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a03: AND
00000a04: DUP2
00000a05: MSTORE
00000a06: PUSH1 0x20
00000a08: ADD
00000a09: SWAP1
00000a0a: DUP2
00000a0b: MSTORE
00000a0c: PUSH1 0x20
00000a0e: ADD
00000a0f: PUSH1 0x00
00000a11: KECCAK256
00000a12: PUSH1 0x00
00000a14: POP
00000a15: SLOAD
00000a16: DUP3
00000a17: GT
00000a18: ISZERO
00000a19: PUSH2 0x0a21
00000a1c: JUMPI
00000a1d: PUSH2 0x0002
00000a20: JUMP
00000a21: JUMPDEST
00000a22: DUP2
00000a23: PUSH1 0x06
00000a25: PUSH1 0x00
00000a27: POP
00000a28: PUSH1 0x00
00000a2a: DUP7
00000a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a40: AND
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x20
00000a45: ADD
00000a46: SWAP1
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: PUSH1 0x00
00000a4e: KECCAK256
00000a4f: PUSH1 0x00
00000a51: DUP3
00000a52: DUP3
00000a53: DUP3
00000a54: POP
00000a55: SLOAD
00000a56: SUB
00000a57: SWAP3
00000a58: POP
00000a59: POP
00000a5a: DUP2
00000a5b: SWAP1
00000a5c: SSTORE
00000a5d: POP
00000a5e: DUP2
00000a5f: PUSH1 0x06
00000a61: PUSH1 0x00
00000a63: POP
00000a64: PUSH1 0x00
00000a66: DUP6
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: ADD
00000a93: SWAP3
00000a94: POP
00000a95: POP
00000a96: DUP2
00000a97: SWAP1
00000a98: SSTORE
00000a99: POP
00000a9a: DUP2
00000a9b: PUSH1 0x07
00000a9d: PUSH1 0x00
00000a9f: POP
00000aa0: PUSH1 0x00
00000aa2: DUP7
00000aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab8: AND
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: SWAP1
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: PUSH1 0x00
00000ac6: KECCAK256
00000ac7: PUSH1 0x00
00000ac9: POP
00000aca: PUSH1 0x00
00000acc: CALLER
00000acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae2: AND
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: SWAP1
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: PUSH1 0x00
00000af0: KECCAK256
00000af1: PUSH1 0x00
00000af3: DUP3
00000af4: DUP3
00000af5: DUP3
00000af6: POP
00000af7: SLOAD
00000af8: SUB
00000af9: SWAP3
00000afa: POP
00000afb: POP
00000afc: DUP2
00000afd: SWAP1
00000afe: SSTORE
00000aff: POP
00000b00: DUP3
00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b16: AND
00000b17: DUP5
00000b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2d: AND
00000b2e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000b4f: DUP5
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: DUP1
00000b54: DUP3
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x20
00000b59: ADD
00000b5a: SWAP2
00000b5b: POP
00000b5c: POP
00000b5d: PUSH1 0x40
00000b5f: MLOAD
00000b60: DUP1
00000b61: SWAP2
00000b62: SUB
00000b63: SWAP1
00000b64: LOG3
00000b65: PUSH1 0x01
00000b67: SWAP1
00000b68: POP
00000b69: PUSH2 0x0b6d
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: SWAP4
00000b6f: SWAP3
00000b70: POP
00000b71: POP
00000b72: POP
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH1 0x03
00000b77: PUSH1 0x00
00000b79: SWAP1
00000b7a: SLOAD
00000b7b: SWAP1
00000b7c: PUSH2 0x0100
00000b7f: EXP
00000b80: SWAP1
00000b81: DIV
00000b82: PUSH1 0xff
00000b84: AND
00000b85: DUP2
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH1 0x00
00000b8a: PUSH1 0x00
00000b8c: POP
00000b8d: DUP1
00000b8e: SLOAD
00000b8f: PUSH1 0x01
00000b91: DUP2
00000b92: PUSH1 0x01
00000b94: AND
00000b95: ISZERO
00000b96: PUSH2 0x0100
00000b99: MUL
00000b9a: SUB
00000b9b: AND
00000b9c: PUSH1 0x02
00000b9e: SWAP1
00000b9f: DIV
00000ba0: DUP1
00000ba1: PUSH1 0x1f
00000ba3: ADD
00000ba4: PUSH1 0x20
00000ba6: DUP1
00000ba7: SWAP2
00000ba8: DIV
00000ba9: MUL
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: PUSH1 0x40
00000baf: MLOAD
00000bb0: SWAP1
00000bb1: DUP2
00000bb2: ADD
00000bb3: PUSH1 0x40
00000bb5: MSTORE
00000bb6: DUP1
00000bb7: SWAP3
00000bb8: SWAP2
00000bb9: SWAP1
00000bba: DUP2
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x20
00000bbf: ADD
00000bc0: DUP3
00000bc1: DUP1
00000bc2: SLOAD
00000bc3: PUSH1 0x01
00000bc5: DUP2
00000bc6: PUSH1 0x01
00000bc8: AND
00000bc9: ISZERO
00000bca: PUSH2 0x0100
00000bcd: MUL
00000bce: SUB
00000bcf: AND
00000bd0: PUSH1 0x02
00000bd2: SWAP1
00000bd3: DIV
00000bd4: DUP1
00000bd5: ISZERO
00000bd6: PUSH2 0x0c20
00000bd9: JUMPI
00000bda: DUP1
00000bdb: PUSH1 0x1f
00000bdd: LT
00000bde: PUSH2 0x0bf5
00000be1: JUMPI
00000be2: PUSH2 0x0100
00000be5: DUP1
00000be6: DUP4
00000be7: SLOAD
00000be8: DIV
00000be9: MUL
00000bea: DUP4
00000beb: MSTORE
00000bec: SWAP2
00000bed: PUSH1 0x20
00000bef: ADD
00000bf0: SWAP2
00000bf1: PUSH2 0x0c20
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: DUP3
00000bf7: ADD
00000bf8: SWAP2
00000bf9: SWAP1
00000bfa: PUSH1 0x00
00000bfc: MSTORE
00000bfd: PUSH1 0x20
00000bff: PUSH1 0x00
00000c01: KECCAK256
00000c02: SWAP1
00000c03: JUMPDEST
00000c04: DUP2
00000c05: SLOAD
00000c06: DUP2
00000c07: MSTORE
00000c08: SWAP1
00000c09: PUSH1 0x01
00000c0b: ADD
00000c0c: SWAP1
00000c0d: PUSH1 0x20
00000c0f: ADD
00000c10: DUP1
00000c11: DUP4
00000c12: GT
00000c13: PUSH2 0x0c03
00000c16: JUMPI
00000c17: DUP3
00000c18: SWAP1
00000c19: SUB
00000c1a: PUSH1 0x1f
00000c1c: AND
00000c1d: DUP3
00000c1e: ADD
00000c1f: SWAP2
00000c20: JUMPDEST
00000c21: POP
00000c22: POP
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: DUP2
00000c27: JUMP
00000c28: JUMPDEST
00000c29: PUSH1 0x0b
00000c2b: PUSH1 0x00
00000c2d: POP
00000c2e: PUSH1 0x20
00000c30: MSTORE
00000c31: DUP1
00000c32: PUSH1 0x00
00000c34: MSTORE
00000c35: PUSH1 0x40
00000c37: PUSH1 0x00
00000c39: KECCAK256
00000c3a: PUSH1 0x00
00000c3c: SWAP2
00000c3d: POP
00000c3e: SWAP1
00000c3f: POP
00000c40: SLOAD
00000c41: DUP2
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH1 0x0a
00000c46: PUSH1 0x00
00000c48: SWAP1
00000c49: SLOAD
00000c4a: SWAP1
00000c4b: PUSH2 0x0100
00000c4e: EXP
00000c4f: SWAP1
00000c50: DIV
00000c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c66: AND
00000c67: DUP2
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: PUSH1 0x08
00000c6c: PUSH1 0x00
00000c6e: SWAP1
00000c6f: SLOAD
00000c70: SWAP1
00000c71: PUSH2 0x0100
00000c74: EXP
00000c75: SWAP1
00000c76: DIV
00000c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8c: AND
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: CALLER
00000ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb9: AND
00000cba: EQ
00000cbb: ISZERO
00000cbc: PUSH2 0x0d31
00000cbf: JUMPI
00000cc0: PUSH1 0x08
00000cc2: PUSH1 0x00
00000cc4: SWAP1
00000cc5: SLOAD
00000cc6: SWAP1
00000cc7: PUSH2 0x0100
00000cca: EXP
00000ccb: SWAP1
00000ccc: DIV
00000ccd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce2: AND
00000ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf8: AND
00000cf9: PUSH1 0x00
00000cfb: PUSH3 0x200b20
00000cff: ADDRESS
00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d15: AND
00000d16: BALANCE
00000d17: SUB
00000d18: PUSH1 0x40
00000d1a: MLOAD
00000d1b: DUP1
00000d1c: SWAP1
00000d1d: POP
00000d1e: PUSH1 0x00
00000d20: PUSH1 0x40
00000d22: MLOAD
00000d23: DUP1
00000d24: DUP4
00000d25: SUB
00000d26: DUP2
00000d27: DUP6
00000d28: DUP9
00000d29: DUP9
00000d2a: CALL
00000d2b: SWAP4
00000d2c: POP
00000d2d: POP
00000d2e: POP
00000d2f: POP
00000d30: POP
00000d31: JUMPDEST
00000d32: JUMPDEST
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH1 0x08
00000d37: PUSH1 0x00
00000d39: SWAP1
00000d3a: SLOAD
00000d3b: SWAP1
00000d3c: PUSH2 0x0100
00000d3f: EXP
00000d40: SWAP1
00000d41: DIV
00000d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d57: AND
00000d58: DUP2
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x02
00000d5d: PUSH1 0x00
00000d5f: POP
00000d60: DUP1
00000d61: SLOAD
00000d62: PUSH1 0x01
00000d64: DUP2
00000d65: PUSH1 0x01
00000d67: AND
00000d68: ISZERO
00000d69: PUSH2 0x0100
00000d6c: MUL
00000d6d: SUB
00000d6e: AND
00000d6f: PUSH1 0x02
00000d71: SWAP1
00000d72: DIV
00000d73: DUP1
00000d74: PUSH1 0x1f
00000d76: ADD
00000d77: PUSH1 0x20
00000d79: DUP1
00000d7a: SWAP2
00000d7b: DIV
00000d7c: MUL
00000d7d: PUSH1 0x20
00000d7f: ADD
00000d80: PUSH1 0x40
00000d82: MLOAD
00000d83: SWAP1
00000d84: DUP2
00000d85: ADD
00000d86: PUSH1 0x40
00000d88: MSTORE
00000d89: DUP1
00000d8a: SWAP3
00000d8b: SWAP2
00000d8c: SWAP1
00000d8d: DUP2
00000d8e: DUP2
00000d8f: MSTORE
00000d90: PUSH1 0x20
00000d92: ADD
00000d93: DUP3
00000d94: DUP1
00000d95: SLOAD
00000d96: PUSH1 0x01
00000d98: DUP2
00000d99: PUSH1 0x01
00000d9b: AND
00000d9c: ISZERO
00000d9d: PUSH2 0x0100
00000da0: MUL
00000da1: SUB
00000da2: AND
00000da3: PUSH1 0x02
00000da5: SWAP1
00000da6: DIV
00000da7: DUP1
00000da8: ISZERO
00000da9: PUSH2 0x0df3
00000dac: JUMPI
00000dad: DUP1
00000dae: PUSH1 0x1f
00000db0: LT
00000db1: PUSH2 0x0dc8
00000db4: JUMPI
00000db5: PUSH2 0x0100
00000db8: DUP1
00000db9: DUP4
00000dba: SLOAD
00000dbb: DIV
00000dbc: MUL
00000dbd: DUP4
00000dbe: MSTORE
00000dbf: SWAP2
00000dc0: PUSH1 0x20
00000dc2: ADD
00000dc3: SWAP2
00000dc4: PUSH2 0x0df3
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: DUP3
00000dca: ADD
00000dcb: SWAP2
00000dcc: SWAP1
00000dcd: PUSH1 0x00
00000dcf: MSTORE
00000dd0: PUSH1 0x20
00000dd2: PUSH1 0x00
00000dd4: KECCAK256
00000dd5: SWAP1
00000dd6: JUMPDEST
00000dd7: DUP2
00000dd8: SLOAD
00000dd9: DUP2
00000dda: MSTORE
00000ddb: SWAP1
00000ddc: PUSH1 0x01
00000dde: ADD
00000ddf: SWAP1
00000de0: PUSH1 0x20
00000de2: ADD
00000de3: DUP1
00000de4: DUP4
00000de5: GT
00000de6: PUSH2 0x0dd6
00000de9: JUMPI
00000dea: DUP3
00000deb: SWAP1
00000dec: SUB
00000ded: PUSH1 0x1f
00000def: AND
00000df0: DUP3
00000df1: ADD
00000df2: SWAP2
00000df3: JUMPDEST
00000df4: POP
00000df5: POP
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: DUP2
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: DUP1
00000dfd: PUSH1 0x06
00000dff: PUSH1 0x00
00000e01: POP
00000e02: PUSH1 0x00
00000e04: CALLER
00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1a: AND
00000e1b: DUP2
00000e1c: MSTORE
00000e1d: PUSH1 0x20
00000e1f: ADD
00000e20: SWAP1
00000e21: DUP2
00000e22: MSTORE
00000e23: PUSH1 0x20
00000e25: ADD
00000e26: PUSH1 0x00
00000e28: KECCAK256
00000e29: PUSH1 0x00
00000e2b: POP
00000e2c: SLOAD
00000e2d: LT
00000e2e: ISZERO
00000e2f: PUSH2 0x0e37
00000e32: JUMPI
00000e33: PUSH2 0x0002
00000e36: JUMP
00000e37: JUMPDEST
00000e38: PUSH1 0x06
00000e3a: PUSH1 0x00
00000e3c: POP
00000e3d: PUSH1 0x00
00000e3f: DUP4
00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e55: AND
00000e56: DUP2
00000e57: MSTORE
00000e58: PUSH1 0x20
00000e5a: ADD
00000e5b: SWAP1
00000e5c: DUP2
00000e5d: MSTORE
00000e5e: PUSH1 0x20
00000e60: ADD
00000e61: PUSH1 0x00
00000e63: KECCAK256
00000e64: PUSH1 0x00
00000e66: POP
00000e67: SLOAD
00000e68: DUP2
00000e69: PUSH1 0x06
00000e6b: PUSH1 0x00
00000e6d: POP
00000e6e: PUSH1 0x00
00000e70: DUP6
00000e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e86: AND
00000e87: DUP2
00000e88: MSTORE
00000e89: PUSH1 0x20
00000e8b: ADD
00000e8c: SWAP1
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: PUSH1 0x20
00000e91: ADD
00000e92: PUSH1 0x00
00000e94: KECCAK256
00000e95: PUSH1 0x00
00000e97: POP
00000e98: SLOAD
00000e99: ADD
00000e9a: LT
00000e9b: ISZERO
00000e9c: PUSH2 0x0ea4
00000e9f: JUMPI
00000ea0: PUSH2 0x0002
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: DUP1
00000ea6: PUSH1 0x06
00000ea8: PUSH1 0x00
00000eaa: POP
00000eab: PUSH1 0x00
00000ead: CALLER
00000eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec3: AND
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x20
00000ec8: ADD
00000ec9: SWAP1
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x20
00000ece: ADD
00000ecf: PUSH1 0x00
00000ed1: KECCAK256
00000ed2: PUSH1 0x00
00000ed4: DUP3
00000ed5: DUP3
00000ed6: DUP3
00000ed7: POP
00000ed8: SLOAD
00000ed9: SUB
00000eda: SWAP3
00000edb: POP
00000edc: POP
00000edd: DUP2
00000ede: SWAP1
00000edf: SSTORE
00000ee0: POP
00000ee1: DUP1
00000ee2: PUSH1 0x06
00000ee4: PUSH1 0x00
00000ee6: POP
00000ee7: PUSH1 0x00
00000ee9: DUP5
00000eea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eff: AND
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x20
00000f04: ADD
00000f05: SWAP1
00000f06: DUP2
00000f07: MSTORE
00000f08: PUSH1 0x20
00000f0a: ADD
00000f0b: PUSH1 0x00
00000f0d: KECCAK256
00000f0e: PUSH1 0x00
00000f10: DUP3
00000f11: DUP3
00000f12: DUP3
00000f13: POP
00000f14: SLOAD
00000f15: ADD
00000f16: SWAP3
00000f17: POP
00000f18: POP
00000f19: DUP2
00000f1a: SWAP1
00000f1b: SSTORE
00000f1c: POP
00000f1d: DUP2
00000f1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f33: AND
00000f34: CALLER
00000f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4a: AND
00000f4b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000f6c: DUP4
00000f6d: PUSH1 0x40
00000f6f: MLOAD
00000f70: DUP1
00000f71: DUP3
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x20
00000f76: ADD
00000f77: SWAP2
00000f78: POP
00000f79: POP
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: DUP1
00000f7e: SWAP2
00000f7f: SUB
00000f80: SWAP1
00000f81: LOG3
00000f82: JUMPDEST
00000f83: POP
00000f84: POP
00000f85: JUMP
00000f86: JUMPDEST
00000f87: PUSH1 0x09
00000f89: PUSH1 0x00
00000f8b: SWAP1
00000f8c: SLOAD
00000f8d: SWAP1
00000f8e: PUSH2 0x0100
00000f91: EXP
00000f92: SWAP1
00000f93: DIV
00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa9: AND
00000faa: DUP2
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x0d
00000faf: PUSH1 0x00
00000fb1: POP
00000fb2: SLOAD
00000fb3: DUP2
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x0d
00000fb8: PUSH1 0x00
00000fba: POP
00000fbb: SLOAD
00000fbc: CALLVALUE
00000fbd: LT
00000fbe: ISZERO
00000fbf: ISZERO
00000fc0: PUSH2 0x1047
00000fc3: JUMPI
00000fc4: CALLVALUE
00000fc5: PUSH1 0x0b
00000fc7: PUSH1 0x00
00000fc9: POP
00000fca: PUSH1 0x00
00000fcc: CALLER
00000fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe2: AND
00000fe3: DUP2
00000fe4: MSTORE
00000fe5: PUSH1 0x20
00000fe7: ADD
00000fe8: SWAP1
00000fe9: DUP2
00000fea: MSTORE
00000feb: PUSH1 0x20
00000fed: ADD
00000fee: PUSH1 0x00
00000ff0: KECCAK256
00000ff1: PUSH1 0x00
00000ff3: DUP3
00000ff4: DUP3
00000ff5: DUP3
00000ff6: POP
00000ff7: SLOAD
00000ff8: ADD
00000ff9: SWAP3
00000ffa: POP
00000ffb: POP
00000ffc: DUP2
00000ffd: SWAP1
00000ffe: SSTORE
00000fff: POP
00001000: PUSH1 0x0d
00001002: PUSH1 0x00
00001004: POP
00001005: SLOAD
00001006: CALLVALUE
00001007: DIV
00001008: PUSH1 0x0c
0000100a: PUSH1 0x00
0000100c: POP
0000100d: PUSH1 0x00
0000100f: CALLER
00001010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001025: AND
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x20
0000102a: ADD
0000102b: SWAP1
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x20
00001030: ADD
00001031: PUSH1 0x00
00001033: KECCAK256
00001034: PUSH1 0x00
00001036: DUP3
00001037: DUP3
00001038: DUP3
00001039: POP
0000103a: SLOAD
0000103b: ADD
0000103c: SWAP3
0000103d: POP
0000103e: POP
0000103f: DUP2
00001040: SWAP1
00001041: SSTORE
00001042: POP
00001043: PUSH2 0x104c
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH2 0x0002
0000104b: JUMP
0000104c: JUMPDEST
0000104d: JUMPDEST
0000104e: JUMP
0000104f: JUMPDEST
00001050: PUSH1 0x00
00001052: PUSH1 0x00
00001054: DUP5
00001055: SWAP1
00001056: POP
00001057: PUSH2 0x1060
0000105a: DUP6
0000105b: DUP6
0000105c: PUSH2 0x0689
0000105f: JUMP
00001060: JUMPDEST
00001061: ISZERO
00001062: PUSH2 0x1173
00001065: JUMPI
00001066: DUP1
00001067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107c: AND
0000107d: PUSH4 0x8f4ffcb1
00001082: CALLER
00001083: DUP7
00001084: ADDRESS
00001085: DUP8
00001086: PUSH1 0x40
00001088: MLOAD
00001089: DUP6
0000108a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000010a8: MUL
000010a9: DUP2
000010aa: MSTORE
000010ab: PUSH1 0x04
000010ad: ADD
000010ae: DUP1
000010af: DUP6
000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c5: AND
000010c6: DUP2
000010c7: MSTORE
000010c8: PUSH1 0x20
000010ca: ADD
000010cb: DUP5
000010cc: DUP2
000010cd: MSTORE
000010ce: PUSH1 0x20
000010d0: ADD
000010d1: DUP4
000010d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e7: AND
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x20
000010ec: ADD
000010ed: DUP1
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: DUP3
000010f2: DUP2
000010f3: SUB
000010f4: DUP3
000010f5: MSTORE
000010f6: DUP4
000010f7: DUP2
000010f8: DUP2
000010f9: MLOAD
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: SWAP2
00001100: POP
00001101: DUP1
00001102: MLOAD
00001103: SWAP1
00001104: PUSH1 0x20
00001106: ADD
00001107: SWAP1
00001108: DUP1
00001109: DUP4
0000110a: DUP4
0000110b: DUP3
0000110c: SWAP1
0000110d: PUSH1 0x00
0000110f: PUSH1 0x04
00001111: PUSH1 0x20
00001113: DUP5
00001114: PUSH1 0x1f
00001116: ADD
00001117: DIV
00001118: PUSH1 0x03
0000111a: MUL
0000111b: PUSH1 0x0f
0000111d: ADD
0000111e: CALL
0000111f: POP
00001120: SWAP1
00001121: POP
00001122: SWAP1
00001123: DUP2
00001124: ADD
00001125: SWAP1
00001126: PUSH1 0x1f
00001128: AND
00001129: DUP1
0000112a: ISZERO
0000112b: PUSH2 0x1148
0000112e: JUMPI
0000112f: DUP1
00001130: DUP3
00001131: SUB
00001132: DUP1
00001133: MLOAD
00001134: PUSH1 0x01
00001136: DUP4
00001137: PUSH1 0x20
00001139: SUB
0000113a: PUSH2 0x0100
0000113d: EXP
0000113e: SUB
0000113f: NOT
00001140: AND
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x20
00001145: ADD
00001146: SWAP2
00001147: POP
00001148: JUMPDEST
00001149: POP
0000114a: SWAP6
0000114b: POP
0000114c: POP
0000114d: POP
0000114e: POP
0000114f: POP
00001150: POP
00001151: PUSH1 0x00
00001153: PUSH1 0x40
00001155: MLOAD
00001156: DUP1
00001157: DUP4
00001158: SUB
00001159: DUP2
0000115a: PUSH1 0x00
0000115c: DUP8
0000115d: PUSH2 0x61da
00001160: GAS
00001161: SUB
00001162: CALL
00001163: ISZERO
00001164: PUSH2 0x0002
00001167: JUMPI
00001168: POP
00001169: POP
0000116a: POP
0000116b: PUSH1 0x01
0000116d: SWAP2
0000116e: POP
0000116f: PUSH2 0x1174
00001172: JUMP
00001173: JUMPDEST
00001174: JUMPDEST
00001175: POP
00001176: SWAP4
00001177: SWAP3
00001178: POP
00001179: POP
0000117a: POP
0000117b: JUMP
0000117c: JUMPDEST
0000117d: PUSH1 0x07
0000117f: PUSH1 0x00
00001181: POP
00001182: PUSH1 0x20
00001184: MSTORE
00001185: DUP2
00001186: PUSH1 0x00
00001188: MSTORE
00001189: PUSH1 0x40
0000118b: PUSH1 0x00
0000118d: KECCAK256
0000118e: PUSH1 0x00
00001190: POP
00001191: PUSH1 0x20
00001193: MSTORE
00001194: DUP1
00001195: PUSH1 0x00
00001197: MSTORE
00001198: PUSH1 0x40
0000119a: PUSH1 0x00
0000119c: KECCAK256
0000119d: PUSH1 0x00
0000119f: SWAP2
000011a0: POP
000011a1: SWAP2
000011a2: POP
000011a3: POP
000011a4: SLOAD
000011a5: DUP2
000011a6: JUMP
000011a7: JUMPDEST
000011a8: PUSH1 0x0e
000011aa: PUSH1 0x00
000011ac: POP
000011ad: SLOAD
000011ae: DUP2
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x00
000011b3: PUSH1 0x06
000011b5: PUSH1 0x00
000011b7: POP
000011b8: PUSH1 0x00
000011ba: DUP4
000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d0: AND
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x20
000011d5: ADD
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: PUSH1 0x00
000011de: KECCAK256
000011df: PUSH1 0x00
000011e1: POP
000011e2: SLOAD
000011e3: SWAP1
000011e4: POP
000011e5: PUSH2 0x11e9
000011e8: JUMP
000011e9: JUMPDEST
000011ea: SWAP2
000011eb: SWAP1
000011ec: POP
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x0c
000011f1: PUSH1 0x00
000011f3: POP
000011f4: PUSH1 0x20
000011f6: MSTORE
000011f7: DUP1
000011f8: PUSH1 0x00
000011fa: MSTORE
000011fb: PUSH1 0x40
000011fd: PUSH1 0x00
000011ff: KECCAK256
00001200: PUSH1 0x00
00001202: SWAP2
00001203: POP
00001204: SWAP1
00001205: POP
00001206: SLOAD
00001207: DUP2
00001208: JUMP
00001209: JUMPDEST
0000120a: PUSH1 0x0a
0000120c: PUSH1 0x00
0000120e: SWAP1
0000120f: SLOAD
00001210: SWAP1
00001211: PUSH2 0x0100
00001214: EXP
00001215: SWAP1
00001216: DIV
00001217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122c: AND
0000122d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001242: AND
00001243: PUSH4 0xa9059cbb
00001248: DUP3
00001249: DUP5
0000124a: PUSH1 0x40
0000124c: MLOAD
0000124d: DUP4
0000124e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000126c: MUL
0000126d: DUP2
0000126e: MSTORE
0000126f: PUSH1 0x04
00001271: ADD
00001272: DUP1
00001273: DUP4
00001274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001289: AND
0000128a: DUP2
0000128b: MSTORE
0000128c: PUSH1 0x20
0000128e: ADD
0000128f: DUP3
00001290: DUP2
00001291: MSTORE
00001292: PUSH1 0x20
00001294: ADD
00001295: SWAP3
00001296: POP
00001297: POP
00001298: POP
00001299: PUSH1 0x00
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: DUP1
0000129f: DUP4
000012a0: SUB
000012a1: DUP2
000012a2: PUSH1 0x00
000012a4: DUP8
000012a5: PUSH2 0x61da
000012a8: GAS
000012a9: SUB
000012aa: CALL
000012ab: ISZERO
000012ac: PUSH2 0x0002
000012af: JUMPI
000012b0: POP
000012b1: POP
000012b2: POP
000012b3: JUMPDEST
000012b4: POP
000012b5: POP
000012b6: 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.