Analysis Run

019b477e-bfc4-716e-8d32-59e1259299d3

complete

Chain ID

1

Address

0xcf912b35f568417cee2bb29f92b48a1abb4a012a

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted DELEGATECALL target reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
24583	artifact.fetch	complete	1 / 3	3 months ago
24584	tool.cast_disasm	complete	1 / 3	3 months ago
102091	analysis.bundle	complete	1 / 3	1 week ago
102092	capability.graph	complete	1 / 3	1 week ago
102093	detector.run	complete	1 / 3	1 week ago
102094	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

1

EXT*/BALANCE

1

Total opcodes

5259

Flags

delegatecall_present create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x019f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe4849b32
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe4849b32
0000003a: EQ
0000003b: PUSH2 0x08ef
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe9fad8ee
00000045: EQ
00000046: PUSH2 0x092a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf088d547
00000050: EQ
00000051: PUSH2 0x0941
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfdb5a03e
0000005b: EQ
0000005c: PUSH2 0x0999
0000005f: JUMPI
00000060: PUSH2 0x01b2
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa9059cbb
0000006b: EQ
0000006c: PUSH2 0x06ee
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb84c8246
00000076: EQ
00000077: PUSH2 0x075f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc47f0027
00000081: EQ
00000082: PUSH2 0x0827
00000085: JUMPI
00000086: PUSH2 0x01b2
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x89135ae9
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x89135ae9
0000009c: EQ
0000009d: PUSH2 0x05d5
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x949e8acd
000000a7: EQ
000000a8: PUSH2 0x061c
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x0647
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa8e04f34
000000bd: EQ
000000be: PUSH2 0x06d7
000000c1: JUMPI
000000c2: PUSH2 0x01b2
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x70a08231
000000cd: EQ
000000ce: PUSH2 0x050a
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x8328b610
000000d8: EQ
000000d9: PUSH2 0x056f
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x8620410b
000000e3: EQ
000000e4: PUSH2 0x05aa
000000e7: JUMPI
000000e8: PUSH2 0x01b2
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x313ce567
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x4b750334
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x4b750334
00000109: EQ
0000010a: PUSH2 0x0438
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x56d399e8
00000114: EQ
00000115: PUSH2 0x0463
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x688abbf7
0000011f: EQ
00000120: PUSH2 0x048e
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x6b2f4632
0000012a: EQ
0000012b: PUSH2 0x04df
0000012e: JUMPI
0000012f: PUSH2 0x01b2
00000132: JUMP
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x313ce567
0000013a: EQ
0000013b: PUSH2 0x03a2
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x392efb52
00000145: EQ
00000146: PUSH2 0x03d0
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x3ccfd60b
00000150: EQ
00000151: PUSH2 0x0421
00000154: JUMPI
00000155: PUSH2 0x01b2
00000158: JUMP
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH3 0x65318b
0000015f: EQ
00000160: PUSH2 0x01b7
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0x06fdde03
0000016a: EQ
0000016b: PUSH2 0x021c
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0x10d0ffdd
00000175: EQ
00000176: PUSH2 0x02ac
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x18160ddd
00000180: EQ
00000181: PUSH2 0x02fb
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x22609373
0000018b: EQ
0000018c: PUSH2 0x0326
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x27defa1f
00000196: EQ
00000197: PUSH2 0x0375
0000019a: JUMPI
0000019b: PUSH2 0x01b2
0000019e: JUMP
0000019f: JUMPDEST
000001a0: CALLDATASIZE
000001a1: PUSH2 0x01b2
000001a4: JUMPI
000001a5: PUSH2 0x01af
000001a8: CALLVALUE
000001a9: PUSH1 0x00
000001ab: PUSH2 0x09b0
000001ae: JUMP
000001af: JUMPDEST
000001b0: POP
000001b1: STOP
000001b2: JUMPDEST
000001b3: PUSH1 0x00
000001b5: DUP1
000001b6: REVERT
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: DUP1
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: PUSH2 0x0206
000001c8: PUSH1 0x04
000001ca: DUP1
000001cb: CALLDATASIZE
000001cc: SUB
000001cd: PUSH1 0x20
000001cf: DUP2
000001d0: LT
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: DUP2
000001dc: ADD
000001dd: SWAP1
000001de: DUP1
000001df: DUP1
000001e0: CALLDATALOAD
000001e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f6: AND
000001f7: SWAP1
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: SWAP1
000001fc: SWAP3
000001fd: SWAP2
000001fe: SWAP1
000001ff: POP
00000200: POP
00000201: POP
00000202: PUSH2 0x12bd
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: MLOAD
0000020a: DUP1
0000020b: DUP3
0000020c: DUP2
0000020d: MSTORE
0000020e: PUSH1 0x20
00000210: ADD
00000211: SWAP2
00000212: POP
00000213: POP
00000214: PUSH1 0x40
00000216: MLOAD
00000217: DUP1
00000218: SWAP2
00000219: SUB
0000021a: SWAP1
0000021b: RETURN
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x0231
0000022d: PUSH2 0x135d
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH1 0x40
00000234: MLOAD
00000235: DUP1
00000236: DUP1
00000237: PUSH1 0x20
00000239: ADD
0000023a: DUP3
0000023b: DUP2
0000023c: SUB
0000023d: DUP3
0000023e: MSTORE
0000023f: DUP4
00000240: DUP2
00000241: DUP2
00000242: MLOAD
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: ADD
00000248: SWAP2
00000249: POP
0000024a: DUP1
0000024b: MLOAD
0000024c: SWAP1
0000024d: PUSH1 0x20
0000024f: ADD
00000250: SWAP1
00000251: DUP1
00000252: DUP4
00000253: DUP4
00000254: PUSH1 0x00
00000256: JUMPDEST
00000257: DUP4
00000258: DUP2
00000259: LT
0000025a: ISZERO
0000025b: PUSH2 0x0271
0000025e: JUMPI
0000025f: DUP1
00000260: DUP3
00000261: ADD
00000262: MLOAD
00000263: DUP2
00000264: DUP5
00000265: ADD
00000266: MSTORE
00000267: PUSH1 0x20
00000269: DUP2
0000026a: ADD
0000026b: SWAP1
0000026c: POP
0000026d: PUSH2 0x0256
00000270: JUMP
00000271: JUMPDEST
00000272: POP
00000273: POP
00000274: POP
00000275: POP
00000276: SWAP1
00000277: POP
00000278: SWAP1
00000279: DUP2
0000027a: ADD
0000027b: SWAP1
0000027c: PUSH1 0x1f
0000027e: AND
0000027f: DUP1
00000280: ISZERO
00000281: PUSH2 0x029e
00000284: JUMPI
00000285: DUP1
00000286: DUP3
00000287: SUB
00000288: DUP1
00000289: MLOAD
0000028a: PUSH1 0x01
0000028c: DUP4
0000028d: PUSH1 0x20
0000028f: SUB
00000290: PUSH2 0x0100
00000293: EXP
00000294: SUB
00000295: NOT
00000296: AND
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: ADD
0000029c: SWAP2
0000029d: POP
0000029e: JUMPDEST
0000029f: POP
000002a0: SWAP3
000002a1: POP
000002a2: POP
000002a3: POP
000002a4: PUSH1 0x40
000002a6: MLOAD
000002a7: DUP1
000002a8: SWAP2
000002a9: SUB
000002aa: SWAP1
000002ab: RETURN
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x02e5
000002bd: PUSH1 0x04
000002bf: DUP1
000002c0: CALLDATASIZE
000002c1: SUB
000002c2: PUSH1 0x20
000002c4: DUP2
000002c5: LT
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: DUP2
000002d1: ADD
000002d2: SWAP1
000002d3: DUP1
000002d4: DUP1
000002d5: CALLDATALOAD
000002d6: SWAP1
000002d7: PUSH1 0x20
000002d9: ADD
000002da: SWAP1
000002db: SWAP3
000002dc: SWAP2
000002dd: SWAP1
000002de: POP
000002df: POP
000002e0: POP
000002e1: PUSH2 0x13fb
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: DUP3
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: SWAP2
000002f1: POP
000002f2: POP
000002f3: PUSH1 0x40
000002f5: MLOAD
000002f6: DUP1
000002f7: SWAP2
000002f8: SUB
000002f9: SWAP1
000002fa: RETURN
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: DUP1
000002fe: ISZERO
000002ff: PUSH2 0x0307
00000302: JUMPI
00000303: PUSH1 0x00
00000305: DUP1
00000306: REVERT
00000307: JUMPDEST
00000308: POP
00000309: PUSH2 0x0310
0000030c: PUSH2 0x1434
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: DUP3
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: ADD
0000031b: SWAP2
0000031c: POP
0000031d: POP
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: DUP1
00000322: SWAP2
00000323: SUB
00000324: SWAP1
00000325: RETURN
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x035f
00000337: PUSH1 0x04
00000339: DUP1
0000033a: CALLDATASIZE
0000033b: SUB
0000033c: PUSH1 0x20
0000033e: DUP2
0000033f: LT
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: DUP2
0000034b: ADD
0000034c: SWAP1
0000034d: DUP1
0000034e: DUP1
0000034f: CALLDATALOAD
00000350: SWAP1
00000351: PUSH1 0x20
00000353: ADD
00000354: SWAP1
00000355: SWAP3
00000356: SWAP2
00000357: SWAP1
00000358: POP
00000359: POP
0000035a: POP
0000035b: PUSH2 0x143e
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: DUP3
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x20
00000369: ADD
0000036a: SWAP2
0000036b: POP
0000036c: POP
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: DUP1
00000371: SWAP2
00000372: SUB
00000373: SWAP1
00000374: RETURN
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x038a
00000386: PUSH2 0x1487
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: DUP1
0000038f: DUP3
00000390: ISZERO
00000391: ISZERO
00000392: DUP2
00000393: MSTORE
00000394: PUSH1 0x20
00000396: ADD
00000397: SWAP2
00000398: POP
00000399: POP
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: DUP1
0000039e: SWAP2
0000039f: SUB
000003a0: SWAP1
000003a1: RETURN
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x03b7
000003b3: PUSH2 0x149a
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: DUP1
000003bc: DUP3
000003bd: PUSH1 0xff
000003bf: AND
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: SWAP2
000003c6: POP
000003c7: POP
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: DUP1
000003cc: SWAP2
000003cd: SUB
000003ce: SWAP1
000003cf: RETURN
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x0409
000003e1: PUSH1 0x04
000003e3: DUP1
000003e4: CALLDATASIZE
000003e5: SUB
000003e6: PUSH1 0x20
000003e8: DUP2
000003e9: LT
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH1 0x00
000003f1: DUP1
000003f2: REVERT
000003f3: JUMPDEST
000003f4: DUP2
000003f5: ADD
000003f6: SWAP1
000003f7: DUP1
000003f8: DUP1
000003f9: CALLDATALOAD
000003fa: SWAP1
000003fb: PUSH1 0x20
000003fd: ADD
000003fe: SWAP1
000003ff: SWAP3
00000400: SWAP2
00000401: SWAP1
00000402: POP
00000403: POP
00000404: POP
00000405: PUSH2 0x149f
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH1 0x40
0000040c: MLOAD
0000040d: DUP1
0000040e: DUP3
0000040f: ISZERO
00000410: ISZERO
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP2
00000417: POP
00000418: POP
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: DUP1
0000041d: SWAP2
0000041e: SUB
0000041f: SWAP1
00000420: RETURN
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x0436
00000432: PUSH2 0x14bf
00000435: JUMP
00000436: JUMPDEST
00000437: STOP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x044d
00000449: PUSH2 0x1662
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH1 0x40
00000450: MLOAD
00000451: DUP1
00000452: DUP3
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x20
00000457: ADD
00000458: SWAP2
00000459: POP
0000045a: POP
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: DUP1
0000045f: SWAP2
00000460: SUB
00000461: SWAP1
00000462: RETURN
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x0478
00000474: PUSH2 0x16c1
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: DUP1
0000047d: DUP3
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP2
00000484: POP
00000485: POP
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: SWAP2
0000048b: SUB
0000048c: SWAP1
0000048d: RETURN
0000048e: JUMPDEST
0000048f: CALLVALUE
00000490: DUP1
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x04c9
0000049f: PUSH1 0x04
000004a1: DUP1
000004a2: CALLDATASIZE
000004a3: SUB
000004a4: PUSH1 0x20
000004a6: DUP2
000004a7: LT
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: DUP2
000004b3: ADD
000004b4: SWAP1
000004b5: DUP1
000004b6: DUP1
000004b7: CALLDATALOAD
000004b8: ISZERO
000004b9: ISZERO
000004ba: SWAP1
000004bb: PUSH1 0x20
000004bd: ADD
000004be: SWAP1
000004bf: SWAP3
000004c0: SWAP2
000004c1: SWAP1
000004c2: POP
000004c3: POP
000004c4: POP
000004c5: PUSH2 0x16c7
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: DUP1
000004ce: DUP3
000004cf: DUP2
000004d0: MSTORE
000004d1: PUSH1 0x20
000004d3: ADD
000004d4: SWAP2
000004d5: POP
000004d6: POP
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: DUP1
000004db: SWAP2
000004dc: SUB
000004dd: SWAP1
000004de: RETURN
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x1733
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: DUP1
000004f9: DUP3
000004fa: DUP2
000004fb: MSTORE
000004fc: PUSH1 0x20
000004fe: ADD
000004ff: SWAP2
00000500: POP
00000501: POP
00000502: PUSH1 0x40
00000504: MLOAD
00000505: DUP1
00000506: SWAP2
00000507: SUB
00000508: SWAP1
00000509: RETURN
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x0559
0000051b: PUSH1 0x04
0000051d: DUP1
0000051e: CALLDATASIZE
0000051f: SUB
00000520: PUSH1 0x20
00000522: DUP2
00000523: LT
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: DUP2
0000052f: ADD
00000530: SWAP1
00000531: DUP1
00000532: DUP1
00000533: CALLDATALOAD
00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000549: AND
0000054a: SWAP1
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP1
0000054f: SWAP3
00000550: SWAP2
00000551: SWAP1
00000552: POP
00000553: POP
00000554: POP
00000555: PUSH2 0x173b
00000558: JUMP
00000559: JUMPDEST
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: DUP1
0000055e: DUP3
0000055f: DUP2
00000560: MSTORE
00000561: PUSH1 0x20
00000563: ADD
00000564: SWAP2
00000565: POP
00000566: POP
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: DUP1
0000056b: SWAP2
0000056c: SUB
0000056d: SWAP1
0000056e: RETURN
0000056f: JUMPDEST
00000570: CALLVALUE
00000571: DUP1
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: POP
0000057d: PUSH2 0x05a8
00000580: PUSH1 0x04
00000582: DUP1
00000583: CALLDATASIZE
00000584: SUB
00000585: PUSH1 0x20
00000587: DUP2
00000588: LT
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: DUP2
00000594: ADD
00000595: SWAP1
00000596: DUP1
00000597: DUP1
00000598: CALLDATALOAD
00000599: SWAP1
0000059a: PUSH1 0x20
0000059c: ADD
0000059d: SWAP1
0000059e: SWAP3
0000059f: SWAP2
000005a0: SWAP1
000005a1: POP
000005a2: POP
000005a3: POP
000005a4: PUSH2 0x1784
000005a7: JUMP
000005a8: JUMPDEST
000005a9: STOP
000005aa: JUMPDEST
000005ab: CALLVALUE
000005ac: DUP1
000005ad: ISZERO
000005ae: PUSH2 0x05b6
000005b1: JUMPI
000005b2: PUSH1 0x00
000005b4: DUP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: POP
000005b8: PUSH2 0x05bf
000005bb: PUSH2 0x17fd
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH1 0x40
000005c2: MLOAD
000005c3: DUP1
000005c4: DUP3
000005c5: DUP2
000005c6: MSTORE
000005c7: PUSH1 0x20
000005c9: ADD
000005ca: SWAP2
000005cb: POP
000005cc: POP
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: DUP1
000005d1: SWAP2
000005d2: SUB
000005d3: SWAP1
000005d4: RETURN
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: DUP1
000005d8: ISZERO
000005d9: PUSH2 0x05e1
000005dc: JUMPI
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: REVERT
000005e1: JUMPDEST
000005e2: POP
000005e3: PUSH2 0x061a
000005e6: PUSH1 0x04
000005e8: DUP1
000005e9: CALLDATASIZE
000005ea: SUB
000005eb: PUSH1 0x40
000005ed: DUP2
000005ee: LT
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: DUP2
000005fa: ADD
000005fb: SWAP1
000005fc: DUP1
000005fd: DUP1
000005fe: CALLDATALOAD
000005ff: SWAP1
00000600: PUSH1 0x20
00000602: ADD
00000603: SWAP1
00000604: SWAP3
00000605: SWAP2
00000606: SWAP1
00000607: DUP1
00000608: CALLDATALOAD
00000609: ISZERO
0000060a: ISZERO
0000060b: SWAP1
0000060c: PUSH1 0x20
0000060e: ADD
0000060f: SWAP1
00000610: SWAP3
00000611: SWAP2
00000612: SWAP1
00000613: POP
00000614: POP
00000615: POP
00000616: PUSH2 0x185c
00000619: JUMP
0000061a: JUMPDEST
0000061b: STOP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x0631
0000062d: PUSH2 0x18fa
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH1 0x40
00000634: MLOAD
00000635: DUP1
00000636: DUP3
00000637: DUP2
00000638: MSTORE
00000639: PUSH1 0x20
0000063b: ADD
0000063c: SWAP2
0000063d: POP
0000063e: POP
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: DUP1
00000643: SWAP2
00000644: SUB
00000645: SWAP1
00000646: RETURN
00000647: JUMPDEST
00000648: CALLVALUE
00000649: DUP1
0000064a: ISZERO
0000064b: PUSH2 0x0653
0000064e: JUMPI
0000064f: PUSH1 0x00
00000651: DUP1
00000652: REVERT
00000653: JUMPDEST
00000654: POP
00000655: PUSH2 0x065c
00000658: PUSH2 0x190f
0000065b: JUMP
0000065c: JUMPDEST
0000065d: PUSH1 0x40
0000065f: MLOAD
00000660: DUP1
00000661: DUP1
00000662: PUSH1 0x20
00000664: ADD
00000665: DUP3
00000666: DUP2
00000667: SUB
00000668: DUP3
00000669: MSTORE
0000066a: DUP4
0000066b: DUP2
0000066c: DUP2
0000066d: MLOAD
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x20
00000672: ADD
00000673: SWAP2
00000674: POP
00000675: DUP1
00000676: MLOAD
00000677: SWAP1
00000678: PUSH1 0x20
0000067a: ADD
0000067b: SWAP1
0000067c: DUP1
0000067d: DUP4
0000067e: DUP4
0000067f: PUSH1 0x00
00000681: JUMPDEST
00000682: DUP4
00000683: DUP2
00000684: LT
00000685: ISZERO
00000686: PUSH2 0x069c
00000689: JUMPI
0000068a: DUP1
0000068b: DUP3
0000068c: ADD
0000068d: MLOAD
0000068e: DUP2
0000068f: DUP5
00000690: ADD
00000691: MSTORE
00000692: PUSH1 0x20
00000694: DUP2
00000695: ADD
00000696: SWAP1
00000697: POP
00000698: PUSH2 0x0681
0000069b: JUMP
0000069c: JUMPDEST
0000069d: POP
0000069e: POP
0000069f: POP
000006a0: POP
000006a1: SWAP1
000006a2: POP
000006a3: SWAP1
000006a4: DUP2
000006a5: ADD
000006a6: SWAP1
000006a7: PUSH1 0x1f
000006a9: AND
000006aa: DUP1
000006ab: ISZERO
000006ac: PUSH2 0x06c9
000006af: JUMPI
000006b0: DUP1
000006b1: DUP3
000006b2: SUB
000006b3: DUP1
000006b4: MLOAD
000006b5: PUSH1 0x01
000006b7: DUP4
000006b8: PUSH1 0x20
000006ba: SUB
000006bb: PUSH2 0x0100
000006be: EXP
000006bf: SUB
000006c0: NOT
000006c1: AND
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x20
000006c6: ADD
000006c7: SWAP2
000006c8: POP
000006c9: JUMPDEST
000006ca: POP
000006cb: SWAP3
000006cc: POP
000006cd: POP
000006ce: POP
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: DUP1
000006d3: SWAP2
000006d4: SUB
000006d5: SWAP1
000006d6: RETURN
000006d7: JUMPDEST
000006d8: CALLVALUE
000006d9: DUP1
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: POP
000006e5: PUSH2 0x06ec
000006e8: PUSH2 0x19ad
000006eb: JUMP
000006ec: JUMPDEST
000006ed: STOP
000006ee: JUMPDEST
000006ef: CALLVALUE
000006f0: DUP1
000006f1: ISZERO
000006f2: PUSH2 0x06fa
000006f5: JUMPI
000006f6: PUSH1 0x00
000006f8: DUP1
000006f9: REVERT
000006fa: JUMPDEST
000006fb: POP
000006fc: PUSH2 0x0747
000006ff: PUSH1 0x04
00000701: DUP1
00000702: CALLDATASIZE
00000703: SUB
00000704: PUSH1 0x40
00000706: DUP2
00000707: LT
00000708: ISZERO
00000709: PUSH2 0x0711
0000070c: JUMPI
0000070d: PUSH1 0x00
0000070f: DUP1
00000710: REVERT
00000711: JUMPDEST
00000712: DUP2
00000713: ADD
00000714: SWAP1
00000715: DUP1
00000716: DUP1
00000717: CALLDATALOAD
00000718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072d: AND
0000072e: SWAP1
0000072f: PUSH1 0x20
00000731: ADD
00000732: SWAP1
00000733: SWAP3
00000734: SWAP2
00000735: SWAP1
00000736: DUP1
00000737: CALLDATALOAD
00000738: SWAP1
00000739: PUSH1 0x20
0000073b: ADD
0000073c: SWAP1
0000073d: SWAP3
0000073e: SWAP2
0000073f: SWAP1
00000740: POP
00000741: POP
00000742: POP
00000743: PUSH2 0x1a39
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: DUP1
0000074c: DUP3
0000074d: ISZERO
0000074e: ISZERO
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x20
00000753: ADD
00000754: SWAP2
00000755: POP
00000756: POP
00000757: PUSH1 0x40
00000759: MLOAD
0000075a: DUP1
0000075b: SWAP2
0000075c: SUB
0000075d: SWAP1
0000075e: RETURN
0000075f: JUMPDEST
00000760: CALLVALUE
00000761: DUP1
00000762: ISZERO
00000763: PUSH2 0x076b
00000766: JUMPI
00000767: PUSH1 0x00
00000769: DUP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: POP
0000076d: PUSH2 0x0825
00000770: PUSH1 0x04
00000772: DUP1
00000773: CALLDATASIZE
00000774: SUB
00000775: PUSH1 0x20
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: DUP2
00000784: ADD
00000785: SWAP1
00000786: DUP1
00000787: DUP1
00000788: CALLDATALOAD
00000789: SWAP1
0000078a: PUSH1 0x20
0000078c: ADD
0000078d: SWAP1
0000078e: PUSH5 0x0100000000
00000794: DUP2
00000795: GT
00000796: ISZERO
00000797: PUSH2 0x079f
0000079a: JUMPI
0000079b: PUSH1 0x00
0000079d: DUP1
0000079e: REVERT
0000079f: JUMPDEST
000007a0: DUP3
000007a1: ADD
000007a2: DUP4
000007a3: PUSH1 0x20
000007a5: DUP3
000007a6: ADD
000007a7: GT
000007a8: ISZERO
000007a9: PUSH2 0x07b1
000007ac: JUMPI
000007ad: PUSH1 0x00
000007af: DUP1
000007b0: REVERT
000007b1: JUMPDEST
000007b2: DUP1
000007b3: CALLDATALOAD
000007b4: SWAP1
000007b5: PUSH1 0x20
000007b7: ADD
000007b8: SWAP2
000007b9: DUP5
000007ba: PUSH1 0x01
000007bc: DUP4
000007bd: MUL
000007be: DUP5
000007bf: ADD
000007c0: GT
000007c1: PUSH5 0x0100000000
000007c7: DUP4
000007c8: GT
000007c9: OR
000007ca: ISZERO
000007cb: PUSH2 0x07d3
000007ce: JUMPI
000007cf: PUSH1 0x00
000007d1: DUP1
000007d2: REVERT
000007d3: JUMPDEST
000007d4: SWAP2
000007d5: SWAP1
000007d6: DUP1
000007d7: DUP1
000007d8: PUSH1 0x1f
000007da: ADD
000007db: PUSH1 0x20
000007dd: DUP1
000007de: SWAP2
000007df: DIV
000007e0: MUL
000007e1: PUSH1 0x20
000007e3: ADD
000007e4: PUSH1 0x40
000007e6: MLOAD
000007e7: SWAP1
000007e8: DUP2
000007e9: ADD
000007ea: PUSH1 0x40
000007ec: MSTORE
000007ed: DUP1
000007ee: SWAP4
000007ef: SWAP3
000007f0: SWAP2
000007f1: SWAP1
000007f2: DUP2
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x20
000007f7: ADD
000007f8: DUP4
000007f9: DUP4
000007fa: DUP1
000007fb: DUP3
000007fc: DUP5
000007fd: CALLDATACOPY
000007fe: PUSH1 0x00
00000800: DUP2
00000801: DUP5
00000802: ADD
00000803: MSTORE
00000804: PUSH1 0x1f
00000806: NOT
00000807: PUSH1 0x1f
00000809: DUP3
0000080a: ADD
0000080b: AND
0000080c: SWAP1
0000080d: POP
0000080e: DUP1
0000080f: DUP4
00000810: ADD
00000811: SWAP3
00000812: POP
00000813: POP
00000814: POP
00000815: POP
00000816: POP
00000817: POP
00000818: POP
00000819: SWAP2
0000081a: SWAP3
0000081b: SWAP2
0000081c: SWAP3
0000081d: SWAP1
0000081e: POP
0000081f: POP
00000820: POP
00000821: PUSH2 0x1d67
00000824: JUMP
00000825: JUMPDEST
00000826: STOP
00000827: JUMPDEST
00000828: CALLVALUE
00000829: DUP1
0000082a: ISZERO
0000082b: PUSH2 0x0833
0000082e: JUMPI
0000082f: PUSH1 0x00
00000831: DUP1
00000832: REVERT
00000833: JUMPDEST
00000834: POP
00000835: PUSH2 0x08ed
00000838: PUSH1 0x04
0000083a: DUP1
0000083b: CALLDATASIZE
0000083c: SUB
0000083d: PUSH1 0x20
0000083f: DUP2
00000840: LT
00000841: ISZERO
00000842: PUSH2 0x084a
00000845: JUMPI
00000846: PUSH1 0x00
00000848: DUP1
00000849: REVERT
0000084a: JUMPDEST
0000084b: DUP2
0000084c: ADD
0000084d: SWAP1
0000084e: DUP1
0000084f: DUP1
00000850: CALLDATALOAD
00000851: SWAP1
00000852: PUSH1 0x20
00000854: ADD
00000855: SWAP1
00000856: PUSH5 0x0100000000
0000085c: DUP2
0000085d: GT
0000085e: ISZERO
0000085f: PUSH2 0x0867
00000862: JUMPI
00000863: PUSH1 0x00
00000865: DUP1
00000866: REVERT
00000867: JUMPDEST
00000868: DUP3
00000869: ADD
0000086a: DUP4
0000086b: PUSH1 0x20
0000086d: DUP3
0000086e: ADD
0000086f: GT
00000870: ISZERO
00000871: PUSH2 0x0879
00000874: JUMPI
00000875: PUSH1 0x00
00000877: DUP1
00000878: REVERT
00000879: JUMPDEST
0000087a: DUP1
0000087b: CALLDATALOAD
0000087c: SWAP1
0000087d: PUSH1 0x20
0000087f: ADD
00000880: SWAP2
00000881: DUP5
00000882: PUSH1 0x01
00000884: DUP4
00000885: MUL
00000886: DUP5
00000887: ADD
00000888: GT
00000889: PUSH5 0x0100000000
0000088f: DUP4
00000890: GT
00000891: OR
00000892: ISZERO
00000893: PUSH2 0x089b
00000896: JUMPI
00000897: PUSH1 0x00
00000899: DUP1
0000089a: REVERT
0000089b: JUMPDEST
0000089c: SWAP2
0000089d: SWAP1
0000089e: DUP1
0000089f: DUP1
000008a0: PUSH1 0x1f
000008a2: ADD
000008a3: PUSH1 0x20
000008a5: DUP1
000008a6: SWAP2
000008a7: DIV
000008a8: MUL
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: SWAP1
000008b0: DUP2
000008b1: ADD
000008b2: PUSH1 0x40
000008b4: MSTORE
000008b5: DUP1
000008b6: SWAP4
000008b7: SWAP3
000008b8: SWAP2
000008b9: SWAP1
000008ba: DUP2
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x20
000008bf: ADD
000008c0: DUP4
000008c1: DUP4
000008c2: DUP1
000008c3: DUP3
000008c4: DUP5
000008c5: CALLDATACOPY
000008c6: PUSH1 0x00
000008c8: DUP2
000008c9: DUP5
000008ca: ADD
000008cb: MSTORE
000008cc: PUSH1 0x1f
000008ce: NOT
000008cf: PUSH1 0x1f
000008d1: DUP3
000008d2: ADD
000008d3: AND
000008d4: SWAP1
000008d5: POP
000008d6: DUP1
000008d7: DUP4
000008d8: ADD
000008d9: SWAP3
000008da: POP
000008db: POP
000008dc: POP
000008dd: POP
000008de: POP
000008df: POP
000008e0: POP
000008e1: SWAP2
000008e2: SWAP3
000008e3: SWAP2
000008e4: SWAP3
000008e5: SWAP1
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: PUSH2 0x1df0
000008ec: JUMP
000008ed: JUMPDEST
000008ee: STOP
000008ef: JUMPDEST
000008f0: CALLVALUE
000008f1: DUP1
000008f2: ISZERO
000008f3: PUSH2 0x08fb
000008f6: JUMPI
000008f7: PUSH1 0x00
000008f9: DUP1
000008fa: REVERT
000008fb: JUMPDEST
000008fc: POP
000008fd: PUSH2 0x0928
00000900: PUSH1 0x04
00000902: DUP1
00000903: CALLDATASIZE
00000904: SUB
00000905: PUSH1 0x20
00000907: DUP2
00000908: LT
00000909: ISZERO
0000090a: PUSH2 0x0912
0000090d: JUMPI
0000090e: PUSH1 0x00
00000910: DUP1
00000911: REVERT
00000912: JUMPDEST
00000913: DUP2
00000914: ADD
00000915: SWAP1
00000916: DUP1
00000917: DUP1
00000918: CALLDATALOAD
00000919: SWAP1
0000091a: PUSH1 0x20
0000091c: ADD
0000091d: SWAP1
0000091e: SWAP3
0000091f: SWAP2
00000920: SWAP1
00000921: POP
00000922: POP
00000923: POP
00000924: PUSH2 0x1e79
00000927: JUMP
00000928: JUMPDEST
00000929: STOP
0000092a: JUMPDEST
0000092b: CALLVALUE
0000092c: DUP1
0000092d: ISZERO
0000092e: PUSH2 0x0936
00000931: JUMPI
00000932: PUSH1 0x00
00000934: DUP1
00000935: REVERT
00000936: JUMPDEST
00000937: POP
00000938: PUSH2 0x093f
0000093b: PUSH2 0x20a4
0000093e: JUMP
0000093f: JUMPDEST
00000940: STOP
00000941: JUMPDEST
00000942: PUSH2 0x0983
00000945: PUSH1 0x04
00000947: DUP1
00000948: CALLDATASIZE
00000949: SUB
0000094a: PUSH1 0x20
0000094c: DUP2
0000094d: LT
0000094e: ISZERO
0000094f: PUSH2 0x0957
00000952: JUMPI
00000953: PUSH1 0x00
00000955: DUP1
00000956: REVERT
00000957: JUMPDEST
00000958: DUP2
00000959: ADD
0000095a: SWAP1
0000095b: DUP1
0000095c: DUP1
0000095d: CALLDATALOAD
0000095e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000973: AND
00000974: SWAP1
00000975: PUSH1 0x20
00000977: ADD
00000978: SWAP1
00000979: SWAP3
0000097a: SWAP2
0000097b: SWAP1
0000097c: POP
0000097d: POP
0000097e: POP
0000097f: PUSH2 0x210c
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x40
00000986: MLOAD
00000987: DUP1
00000988: DUP3
00000989: DUP2
0000098a: MSTORE
0000098b: PUSH1 0x20
0000098d: ADD
0000098e: SWAP2
0000098f: POP
00000990: POP
00000991: PUSH1 0x40
00000993: MLOAD
00000994: DUP1
00000995: SWAP2
00000996: SUB
00000997: SWAP1
00000998: RETURN
00000999: JUMPDEST
0000099a: CALLVALUE
0000099b: DUP1
0000099c: ISZERO
0000099d: PUSH2 0x09a5
000009a0: JUMPI
000009a1: PUSH1 0x00
000009a3: DUP1
000009a4: REVERT
000009a5: JUMPDEST
000009a6: POP
000009a7: PUSH2 0x09ae
000009aa: PUSH2 0x211f
000009ad: JUMP
000009ae: JUMPDEST
000009af: STOP
000009b0: JUMPDEST
000009b1: PUSH1 0x00
000009b3: DUP3
000009b4: PUSH1 0x00
000009b6: CALLER
000009b7: SWAP1
000009b8: POP
000009b9: PUSH1 0x0b
000009bb: PUSH1 0x00
000009bd: SWAP1
000009be: SLOAD
000009bf: SWAP1
000009c0: PUSH2 0x0100
000009c3: EXP
000009c4: SWAP1
000009c5: DIV
000009c6: PUSH1 0xff
000009c8: AND
000009c9: DUP1
000009ca: ISZERO
000009cb: PUSH2 0x09e5
000009ce: JUMPI
000009cf: POP
000009d0: PUSH8 0x0de0b6b3a7640000
000009d9: DUP3
000009da: PUSH2 0x09e1
000009dd: PUSH2 0x1733
000009e0: JUMP
000009e1: JUMPDEST
000009e2: SUB
000009e3: GT
000009e4: ISZERO
000009e5: JUMPDEST
000009e6: ISZERO
000009e7: PUSH2 0x0ee3
000009ea: JUMPI
000009eb: PUSH1 0x01
000009ed: ISZERO
000009ee: ISZERO
000009ef: PUSH1 0x03
000009f1: PUSH1 0x00
000009f3: DUP4
000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a09: AND
00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1f: AND
00000a20: DUP2
00000a21: MSTORE
00000a22: PUSH1 0x20
00000a24: ADD
00000a25: SWAP1
00000a26: DUP2
00000a27: MSTORE
00000a28: PUSH1 0x20
00000a2a: ADD
00000a2b: PUSH1 0x00
00000a2d: KECCAK256
00000a2e: PUSH1 0x00
00000a30: SWAP1
00000a31: SLOAD
00000a32: SWAP1
00000a33: PUSH2 0x0100
00000a36: EXP
00000a37: SWAP1
00000a38: DIV
00000a39: PUSH1 0xff
00000a3b: AND
00000a3c: ISZERO
00000a3d: ISZERO
00000a3e: EQ
00000a3f: DUP1
00000a40: ISZERO
00000a41: PUSH2 0x0a93
00000a44: JUMPI
00000a45: POP
00000a46: PUSH8 0x0de0b6b3a7640000
00000a4f: DUP3
00000a50: PUSH1 0x07
00000a52: PUSH1 0x00
00000a54: DUP5
00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6a: AND
00000a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a80: AND
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: ADD
00000a86: SWAP1
00000a87: DUP2
00000a88: MSTORE
00000a89: PUSH1 0x20
00000a8b: ADD
00000a8c: PUSH1 0x00
00000a8e: KECCAK256
00000a8f: SLOAD
00000a90: ADD
00000a91: GT
00000a92: ISZERO
00000a93: JUMPDEST
00000a94: PUSH2 0x0a9c
00000a97: JUMPI
00000a98: PUSH1 0x00
00000a9a: DUP1
00000a9b: REVERT
00000a9c: JUMPDEST
00000a9d: PUSH2 0x0ae5
00000aa0: PUSH1 0x07
00000aa2: PUSH1 0x00
00000aa4: DUP4
00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aba: AND
00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad0: AND
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: SWAP1
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: ADD
00000adc: PUSH1 0x00
00000ade: KECCAK256
00000adf: SLOAD
00000ae0: DUP4
00000ae1: PUSH2 0x2293
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: PUSH1 0x07
00000ae8: PUSH1 0x00
00000aea: DUP4
00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b00: AND
00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b16: AND
00000b17: DUP2
00000b18: MSTORE
00000b19: PUSH1 0x20
00000b1b: ADD
00000b1c: SWAP1
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH1 0x20
00000b21: ADD
00000b22: PUSH1 0x00
00000b24: KECCAK256
00000b25: DUP2
00000b26: SWAP1
00000b27: SSTORE
00000b28: POP
00000b29: PUSH1 0x00
00000b2b: CALLER
00000b2c: SWAP1
00000b2d: POP
00000b2e: PUSH1 0x00
00000b30: PUSH2 0x0b3d
00000b33: DUP8
00000b34: PUSH1 0x0a
00000b36: PUSH1 0xff
00000b38: AND
00000b39: PUSH2 0x22af
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: SWAP1
00000b3f: POP
00000b40: PUSH1 0x00
00000b42: PUSH2 0x0b4c
00000b45: DUP3
00000b46: PUSH1 0x03
00000b48: PUSH2 0x22af
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: SWAP1
00000b4e: POP
00000b4f: PUSH1 0x00
00000b51: PUSH2 0x0b5a
00000b54: DUP4
00000b55: DUP4
00000b56: PUSH2 0x22c8
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: SWAP1
00000b5c: POP
00000b5d: PUSH1 0x00
00000b5f: PUSH2 0x0b68
00000b62: DUP11
00000b63: DUP6
00000b64: PUSH2 0x22c8
00000b67: JUMP
00000b68: JUMPDEST
00000b69: SWAP1
00000b6a: POP
00000b6b: PUSH1 0x00
00000b6d: PUSH2 0x0b75
00000b70: DUP3
00000b71: PUSH2 0x22df
00000b74: JUMP
00000b75: JUMPDEST
00000b76: SWAP1
00000b77: POP
00000b78: PUSH1 0x00
00000b7a: PUSH9 0x010000000000000000
00000b84: DUP5
00000b85: MUL
00000b86: SWAP1
00000b87: POP
00000b88: PUSH1 0x00
00000b8a: DUP3
00000b8b: GT
00000b8c: DUP1
00000b8d: ISZERO
00000b8e: PUSH2 0x0ba3
00000b91: JUMPI
00000b92: POP
00000b93: PUSH1 0x08
00000b95: SLOAD
00000b96: PUSH2 0x0ba1
00000b99: DUP4
00000b9a: PUSH1 0x08
00000b9c: SLOAD
00000b9d: PUSH2 0x2293
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: GT
00000ba3: JUMPDEST
00000ba4: PUSH2 0x0bac
00000ba7: JUMPI
00000ba8: PUSH1 0x00
00000baa: DUP1
00000bab: REVERT
00000bac: JUMPDEST
00000bad: PUSH1 0x00
00000baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc4: AND
00000bc5: DUP12
00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdb: AND
00000bdc: EQ
00000bdd: ISZERO
00000bde: DUP1
00000bdf: ISZERO
00000be0: PUSH2 0x0c15
00000be3: JUMPI
00000be4: POP
00000be5: DUP7
00000be6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfb: AND
00000bfc: DUP12
00000bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c12: AND
00000c13: EQ
00000c14: ISZERO
00000c15: JUMPDEST
00000c16: DUP1
00000c17: ISZERO
00000c18: PUSH2 0x0c62
00000c1b: JUMPI
00000c1c: POP
00000c1d: PUSH1 0x02
00000c1f: SLOAD
00000c20: PUSH1 0x04
00000c22: PUSH1 0x00
00000c24: DUP14
00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3a: AND
00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c50: AND
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: ADD
00000c56: SWAP1
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: ADD
00000c5c: PUSH1 0x00
00000c5e: KECCAK256
00000c5f: SLOAD
00000c60: LT
00000c61: ISZERO
00000c62: JUMPDEST
00000c63: ISZERO
00000c64: PUSH2 0x0cf8
00000c67: JUMPI
00000c68: PUSH2 0x0cb0
00000c6b: PUSH1 0x05
00000c6d: PUSH1 0x00
00000c6f: DUP14
00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c85: AND
00000c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9b: AND
00000c9c: DUP2
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: SWAP1
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: PUSH1 0x00
00000ca9: KECCAK256
00000caa: SLOAD
00000cab: DUP7
00000cac: PUSH2 0x2293
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x05
00000cb3: PUSH1 0x00
00000cb5: DUP14
00000cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccb: AND
00000ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce1: AND
00000ce2: DUP2
00000ce3: MSTORE
00000ce4: PUSH1 0x20
00000ce6: ADD
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: PUSH1 0x00
00000cef: KECCAK256
00000cf0: DUP2
00000cf1: SWAP1
00000cf2: SSTORE
00000cf3: POP
00000cf4: PUSH2 0x0d13
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: PUSH2 0x0d02
00000cfc: DUP5
00000cfd: DUP7
00000cfe: PUSH2 0x2293
00000d01: JUMP
00000d02: JUMPDEST
00000d03: SWAP4
00000d04: POP
00000d05: PUSH9 0x010000000000000000
00000d0f: DUP5
00000d10: MUL
00000d11: SWAP1
00000d12: POP
00000d13: JUMPDEST
00000d14: PUSH1 0x00
00000d16: PUSH1 0x08
00000d18: SLOAD
00000d19: GT
00000d1a: ISZERO
00000d1b: PUSH2 0x0d7a
00000d1e: JUMPI
00000d1f: PUSH2 0x0d2a
00000d22: PUSH1 0x08
00000d24: SLOAD
00000d25: DUP4
00000d26: PUSH2 0x2293
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH1 0x08
00000d2d: DUP2
00000d2e: SWAP1
00000d2f: SSTORE
00000d30: POP
00000d31: PUSH1 0x08
00000d33: SLOAD
00000d34: PUSH9 0x010000000000000000
00000d3e: DUP6
00000d3f: MUL
00000d40: DUP2
00000d41: PUSH2 0x0d46
00000d44: JUMPI
00000d45: INVALID
00000d46: JUMPDEST
00000d47: DIV
00000d48: PUSH1 0x09
00000d4a: PUSH1 0x00
00000d4c: DUP3
00000d4d: DUP3
00000d4e: SLOAD
00000d4f: ADD
00000d50: SWAP3
00000d51: POP
00000d52: POP
00000d53: DUP2
00000d54: SWAP1
00000d55: SSTORE
00000d56: POP
00000d57: PUSH1 0x08
00000d59: SLOAD
00000d5a: PUSH9 0x010000000000000000
00000d64: DUP6
00000d65: MUL
00000d66: DUP2
00000d67: PUSH2 0x0d6c
00000d6a: JUMPI
00000d6b: INVALID
00000d6c: JUMPDEST
00000d6d: DIV
00000d6e: DUP3
00000d6f: MUL
00000d70: DUP2
00000d71: SUB
00000d72: DUP2
00000d73: SUB
00000d74: SWAP1
00000d75: POP
00000d76: PUSH2 0x0d82
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: DUP2
00000d7c: PUSH1 0x08
00000d7e: DUP2
00000d7f: SWAP1
00000d80: SSTORE
00000d81: POP
00000d82: JUMPDEST
00000d83: PUSH2 0x0dcb
00000d86: PUSH1 0x04
00000d88: PUSH1 0x00
00000d8a: DUP10
00000d8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da0: AND
00000da1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db6: AND
00000db7: DUP2
00000db8: MSTORE
00000db9: PUSH1 0x20
00000dbb: ADD
00000dbc: SWAP1
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: PUSH1 0x00
00000dc4: KECCAK256
00000dc5: SLOAD
00000dc6: DUP4
00000dc7: PUSH2 0x2293
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x04
00000dce: PUSH1 0x00
00000dd0: DUP10
00000dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de6: AND
00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfc: AND
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH1 0x20
00000e01: ADD
00000e02: SWAP1
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH1 0x20
00000e07: ADD
00000e08: PUSH1 0x00
00000e0a: KECCAK256
00000e0b: DUP2
00000e0c: SWAP1
00000e0d: SSTORE
00000e0e: POP
00000e0f: PUSH1 0x00
00000e11: DUP2
00000e12: DUP4
00000e13: PUSH1 0x09
00000e15: SLOAD
00000e16: MUL
00000e17: SUB
00000e18: SWAP1
00000e19: POP
00000e1a: DUP1
00000e1b: PUSH1 0x06
00000e1d: PUSH1 0x00
00000e1f: DUP11
00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e35: AND
00000e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4b: AND
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x20
00000e50: ADD
00000e51: SWAP1
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x20
00000e56: ADD
00000e57: PUSH1 0x00
00000e59: KECCAK256
00000e5a: PUSH1 0x00
00000e5c: DUP3
00000e5d: DUP3
00000e5e: SLOAD
00000e5f: ADD
00000e60: SWAP3
00000e61: POP
00000e62: POP
00000e63: DUP2
00000e64: SWAP1
00000e65: SSTORE
00000e66: POP
00000e67: DUP12
00000e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7d: AND
00000e7e: DUP9
00000e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e94: AND
00000e95: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000eb6: DUP16
00000eb7: DUP7
00000eb8: PUSH1 0x40
00000eba: MLOAD
00000ebb: DUP1
00000ebc: DUP4
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: ADD
00000ec2: DUP3
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x20
00000ec7: ADD
00000ec8: SWAP3
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: DUP1
00000ed0: SWAP2
00000ed1: SUB
00000ed2: SWAP1
00000ed3: LOG3
00000ed4: DUP3
00000ed5: SWAP11
00000ed6: POP
00000ed7: POP
00000ed8: POP
00000ed9: POP
00000eda: POP
00000edb: POP
00000edc: POP
00000edd: POP
00000ede: POP
00000edf: PUSH2 0x12b5
00000ee2: JUMP
00000ee3: JUMPDEST
00000ee4: PUSH1 0x00
00000ee6: PUSH1 0x0b
00000ee8: PUSH1 0x00
00000eea: PUSH2 0x0100
00000eed: EXP
00000eee: DUP2
00000eef: SLOAD
00000ef0: DUP2
00000ef1: PUSH1 0xff
00000ef3: MUL
00000ef4: NOT
00000ef5: AND
00000ef6: SWAP1
00000ef7: DUP4
00000ef8: ISZERO
00000ef9: ISZERO
00000efa: MUL
00000efb: OR
00000efc: SWAP1
00000efd: SSTORE
00000efe: POP
00000eff: PUSH1 0x00
00000f01: CALLER
00000f02: SWAP1
00000f03: POP
00000f04: PUSH1 0x00
00000f06: PUSH2 0x0f13
00000f09: DUP8
00000f0a: PUSH1 0x0a
00000f0c: PUSH1 0xff
00000f0e: AND
00000f0f: PUSH2 0x22af
00000f12: JUMP
00000f13: JUMPDEST
00000f14: SWAP1
00000f15: POP
00000f16: PUSH1 0x00
00000f18: PUSH2 0x0f22
00000f1b: DUP3
00000f1c: PUSH1 0x03
00000f1e: PUSH2 0x22af
00000f21: JUMP
00000f22: JUMPDEST
00000f23: SWAP1
00000f24: POP
00000f25: PUSH1 0x00
00000f27: PUSH2 0x0f30
00000f2a: DUP4
00000f2b: DUP4
00000f2c: PUSH2 0x22c8
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: SWAP1
00000f32: POP
00000f33: PUSH1 0x00
00000f35: PUSH2 0x0f3e
00000f38: DUP11
00000f39: DUP6
00000f3a: PUSH2 0x22c8
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: SWAP1
00000f40: POP
00000f41: PUSH1 0x00
00000f43: PUSH2 0x0f4b
00000f46: DUP3
00000f47: PUSH2 0x22df
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: SWAP1
00000f4d: POP
00000f4e: PUSH1 0x00
00000f50: PUSH9 0x010000000000000000
00000f5a: DUP5
00000f5b: MUL
00000f5c: SWAP1
00000f5d: POP
00000f5e: PUSH1 0x00
00000f60: DUP3
00000f61: GT
00000f62: DUP1
00000f63: ISZERO
00000f64: PUSH2 0x0f79
00000f67: JUMPI
00000f68: POP
00000f69: PUSH1 0x08
00000f6b: SLOAD
00000f6c: PUSH2 0x0f77
00000f6f: DUP4
00000f70: PUSH1 0x08
00000f72: SLOAD
00000f73: PUSH2 0x2293
00000f76: JUMP
00000f77: JUMPDEST
00000f78: GT
00000f79: JUMPDEST
00000f7a: PUSH2 0x0f82
00000f7d: JUMPI
00000f7e: PUSH1 0x00
00000f80: DUP1
00000f81: REVERT
00000f82: JUMPDEST
00000f83: PUSH1 0x00
00000f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9a: AND
00000f9b: DUP12
00000f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb1: AND
00000fb2: EQ
00000fb3: ISZERO
00000fb4: DUP1
00000fb5: ISZERO
00000fb6: PUSH2 0x0feb
00000fb9: JUMPI
00000fba: POP
00000fbb: DUP7
00000fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd1: AND
00000fd2: DUP12
00000fd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe8: AND
00000fe9: EQ
00000fea: ISZERO
00000feb: JUMPDEST
00000fec: DUP1
00000fed: ISZERO
00000fee: PUSH2 0x1038
00000ff1: JUMPI
00000ff2: POP
00000ff3: PUSH1 0x02
00000ff5: SLOAD
00000ff6: PUSH1 0x04
00000ff8: PUSH1 0x00
00000ffa: DUP14
00000ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001010: AND
00001011: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001026: AND
00001027: DUP2
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: ADD
0000102c: SWAP1
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x20
00001031: ADD
00001032: PUSH1 0x00
00001034: KECCAK256
00001035: SLOAD
00001036: LT
00001037: ISZERO
00001038: JUMPDEST
00001039: ISZERO
0000103a: PUSH2 0x10ce
0000103d: JUMPI
0000103e: PUSH2 0x1086
00001041: PUSH1 0x05
00001043: PUSH1 0x00
00001045: DUP14
00001046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105b: AND
0000105c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001071: AND
00001072: DUP2
00001073: MSTORE
00001074: PUSH1 0x20
00001076: ADD
00001077: SWAP1
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: PUSH1 0x00
0000107f: KECCAK256
00001080: SLOAD
00001081: DUP7
00001082: PUSH2 0x2293
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH1 0x05
00001089: PUSH1 0x00
0000108b: DUP14
0000108c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a1: AND
000010a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b7: AND
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: SWAP1
000010be: DUP2
000010bf: MSTORE
000010c0: PUSH1 0x20
000010c2: ADD
000010c3: PUSH1 0x00
000010c5: KECCAK256
000010c6: DUP2
000010c7: SWAP1
000010c8: SSTORE
000010c9: POP
000010ca: PUSH2 0x10e9
000010cd: JUMP
000010ce: JUMPDEST
000010cf: PUSH2 0x10d8
000010d2: DUP5
000010d3: DUP7
000010d4: PUSH2 0x2293
000010d7: JUMP
000010d8: JUMPDEST
000010d9: SWAP4
000010da: POP
000010db: PUSH9 0x010000000000000000
000010e5: DUP5
000010e6: MUL
000010e7: SWAP1
000010e8: POP
000010e9: JUMPDEST
000010ea: PUSH1 0x00
000010ec: PUSH1 0x08
000010ee: SLOAD
000010ef: GT
000010f0: ISZERO
000010f1: PUSH2 0x1150
000010f4: JUMPI
000010f5: PUSH2 0x1100
000010f8: PUSH1 0x08
000010fa: SLOAD
000010fb: DUP4
000010fc: PUSH2 0x2293
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH1 0x08
00001103: DUP2
00001104: SWAP1
00001105: SSTORE
00001106: POP
00001107: PUSH1 0x08
00001109: SLOAD
0000110a: PUSH9 0x010000000000000000
00001114: DUP6
00001115: MUL
00001116: DUP2
00001117: PUSH2 0x111c
0000111a: JUMPI
0000111b: INVALID
0000111c: JUMPDEST
0000111d: DIV
0000111e: PUSH1 0x09
00001120: PUSH1 0x00
00001122: DUP3
00001123: DUP3
00001124: SLOAD
00001125: ADD
00001126: SWAP3
00001127: POP
00001128: POP
00001129: DUP2
0000112a: SWAP1
0000112b: SSTORE
0000112c: POP
0000112d: PUSH1 0x08
0000112f: SLOAD
00001130: PUSH9 0x010000000000000000
0000113a: DUP6
0000113b: MUL
0000113c: DUP2
0000113d: PUSH2 0x1142
00001140: JUMPI
00001141: INVALID
00001142: JUMPDEST
00001143: DIV
00001144: DUP3
00001145: MUL
00001146: DUP2
00001147: SUB
00001148: DUP2
00001149: SUB
0000114a: SWAP1
0000114b: POP
0000114c: PUSH2 0x1158
0000114f: JUMP
00001150: JUMPDEST
00001151: DUP2
00001152: PUSH1 0x08
00001154: DUP2
00001155: SWAP1
00001156: SSTORE
00001157: POP
00001158: JUMPDEST
00001159: PUSH2 0x11a1
0000115c: PUSH1 0x04
0000115e: PUSH1 0x00
00001160: DUP10
00001161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001176: AND
00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118c: AND
0000118d: DUP2
0000118e: MSTORE
0000118f: PUSH1 0x20
00001191: ADD
00001192: SWAP1
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x20
00001197: ADD
00001198: PUSH1 0x00
0000119a: KECCAK256
0000119b: SLOAD
0000119c: DUP4
0000119d: PUSH2 0x2293
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x04
000011a4: PUSH1 0x00
000011a6: DUP10
000011a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bc: AND
000011bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d2: AND
000011d3: DUP2
000011d4: MSTORE
000011d5: PUSH1 0x20
000011d7: ADD
000011d8: SWAP1
000011d9: DUP2
000011da: MSTORE
000011db: PUSH1 0x20
000011dd: ADD
000011de: PUSH1 0x00
000011e0: KECCAK256
000011e1: DUP2
000011e2: SWAP1
000011e3: SSTORE
000011e4: POP
000011e5: PUSH1 0x00
000011e7: DUP2
000011e8: DUP4
000011e9: PUSH1 0x09
000011eb: SLOAD
000011ec: MUL
000011ed: SUB
000011ee: SWAP1
000011ef: POP
000011f0: DUP1
000011f1: PUSH1 0x06
000011f3: PUSH1 0x00
000011f5: DUP11
000011f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120b: AND
0000120c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001221: AND
00001222: DUP2
00001223: MSTORE
00001224: PUSH1 0x20
00001226: ADD
00001227: SWAP1
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x20
0000122c: ADD
0000122d: PUSH1 0x00
0000122f: KECCAK256
00001230: PUSH1 0x00
00001232: DUP3
00001233: DUP3
00001234: SLOAD
00001235: ADD
00001236: SWAP3
00001237: POP
00001238: POP
00001239: DUP2
0000123a: SWAP1
0000123b: SSTORE
0000123c: POP
0000123d: DUP12
0000123e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001253: AND
00001254: DUP9
00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126a: AND
0000126b: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000128c: DUP16
0000128d: DUP7
0000128e: PUSH1 0x40
00001290: MLOAD
00001291: DUP1
00001292: DUP4
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x20
00001297: ADD
00001298: DUP3
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x20
0000129d: ADD
0000129e: SWAP3
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: PUSH1 0x40
000012a4: MLOAD
000012a5: DUP1
000012a6: SWAP2
000012a7: SUB
000012a8: SWAP1
000012a9: LOG3
000012aa: DUP3
000012ab: SWAP11
000012ac: POP
000012ad: POP
000012ae: POP
000012af: POP
000012b0: POP
000012b1: POP
000012b2: POP
000012b3: POP
000012b4: POP
000012b5: JUMPDEST
000012b6: POP
000012b7: POP
000012b8: SWAP3
000012b9: SWAP2
000012ba: POP
000012bb: POP
000012bc: JUMP
000012bd: JUMPDEST
000012be: PUSH1 0x00
000012c0: PUSH9 0x010000000000000000
000012ca: PUSH1 0x06
000012cc: PUSH1 0x00
000012ce: DUP5
000012cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e4: AND
000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fa: AND
000012fb: DUP2
000012fc: MSTORE
000012fd: PUSH1 0x20
000012ff: ADD
00001300: SWAP1
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x20
00001305: ADD
00001306: PUSH1 0x00
00001308: KECCAK256
00001309: SLOAD
0000130a: PUSH1 0x04
0000130c: PUSH1 0x00
0000130e: DUP6
0000130f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001324: AND
00001325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133a: AND
0000133b: DUP2
0000133c: MSTORE
0000133d: PUSH1 0x20
0000133f: ADD
00001340: SWAP1
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x20
00001345: ADD
00001346: PUSH1 0x00
00001348: KECCAK256
00001349: SLOAD
0000134a: PUSH1 0x09
0000134c: SLOAD
0000134d: MUL
0000134e: SUB
0000134f: DUP2
00001350: PUSH2 0x1355
00001353: JUMPI
00001354: INVALID
00001355: JUMPDEST
00001356: DIV
00001357: SWAP1
00001358: POP
00001359: SWAP2
0000135a: SWAP1
0000135b: POP
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH1 0x00
00001360: DUP1
00001361: SLOAD
00001362: PUSH1 0x01
00001364: DUP2
00001365: PUSH1 0x01
00001367: AND
00001368: ISZERO
00001369: PUSH2 0x0100
0000136c: MUL
0000136d: SUB
0000136e: AND
0000136f: PUSH1 0x02
00001371: SWAP1
00001372: DIV
00001373: DUP1
00001374: PUSH1 0x1f
00001376: ADD
00001377: PUSH1 0x20
00001379: DUP1
0000137a: SWAP2
0000137b: DIV
0000137c: MUL
0000137d: PUSH1 0x20
0000137f: ADD
00001380: PUSH1 0x40
00001382: MLOAD
00001383: SWAP1
00001384: DUP2
00001385: ADD
00001386: PUSH1 0x40
00001388: MSTORE
00001389: DUP1
0000138a: SWAP3
0000138b: SWAP2
0000138c: SWAP1
0000138d: DUP2
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x20
00001392: ADD
00001393: DUP3
00001394: DUP1
00001395: SLOAD
00001396: PUSH1 0x01
00001398: DUP2
00001399: PUSH1 0x01
0000139b: AND
0000139c: ISZERO
0000139d: PUSH2 0x0100
000013a0: MUL
000013a1: SUB
000013a2: AND
000013a3: PUSH1 0x02
000013a5: SWAP1
000013a6: DIV
000013a7: DUP1
000013a8: ISZERO
000013a9: PUSH2 0x13f3
000013ac: JUMPI
000013ad: DUP1
000013ae: PUSH1 0x1f
000013b0: LT
000013b1: PUSH2 0x13c8
000013b4: JUMPI
000013b5: PUSH2 0x0100
000013b8: DUP1
000013b9: DUP4
000013ba: SLOAD
000013bb: DIV
000013bc: MUL
000013bd: DUP4
000013be: MSTORE
000013bf: SWAP2
000013c0: PUSH1 0x20
000013c2: ADD
000013c3: SWAP2
000013c4: PUSH2 0x13f3
000013c7: JUMP
000013c8: JUMPDEST
000013c9: DUP3
000013ca: ADD
000013cb: SWAP2
000013cc: SWAP1
000013cd: PUSH1 0x00
000013cf: MSTORE
000013d0: PUSH1 0x20
000013d2: PUSH1 0x00
000013d4: KECCAK256
000013d5: SWAP1
000013d6: JUMPDEST
000013d7: DUP2
000013d8: SLOAD
000013d9: DUP2
000013da: MSTORE
000013db: SWAP1
000013dc: PUSH1 0x01
000013de: ADD
000013df: SWAP1
000013e0: PUSH1 0x20
000013e2: ADD
000013e3: DUP1
000013e4: DUP4
000013e5: GT
000013e6: PUSH2 0x13d6
000013e9: JUMPI
000013ea: DUP3
000013eb: SWAP1
000013ec: SUB
000013ed: PUSH1 0x1f
000013ef: AND
000013f0: DUP3
000013f1: ADD
000013f2: SWAP2
000013f3: JUMPDEST
000013f4: POP
000013f5: POP
000013f6: POP
000013f7: POP
000013f8: POP
000013f9: DUP2
000013fa: JUMP
000013fb: JUMPDEST
000013fc: PUSH1 0x00
000013fe: DUP1
000013ff: PUSH2 0x140c
00001402: DUP4
00001403: PUSH1 0x0a
00001405: PUSH1 0xff
00001407: AND
00001408: PUSH2 0x22af
0000140b: JUMP
0000140c: JUMPDEST
0000140d: SWAP1
0000140e: POP
0000140f: PUSH1 0x00
00001411: PUSH2 0x141a
00001414: DUP5
00001415: DUP4
00001416: PUSH2 0x22c8
00001419: JUMP
0000141a: JUMPDEST
0000141b: SWAP1
0000141c: POP
0000141d: PUSH1 0x00
0000141f: PUSH2 0x1427
00001422: DUP3
00001423: PUSH2 0x22df
00001426: JUMP
00001427: JUMPDEST
00001428: SWAP1
00001429: POP
0000142a: DUP1
0000142b: SWAP4
0000142c: POP
0000142d: POP
0000142e: POP
0000142f: POP
00001430: SWAP2
00001431: SWAP1
00001432: POP
00001433: JUMP
00001434: JUMPDEST
00001435: PUSH1 0x00
00001437: PUSH1 0x08
00001439: SLOAD
0000143a: SWAP1
0000143b: POP
0000143c: SWAP1
0000143d: JUMP
0000143e: JUMPDEST
0000143f: PUSH1 0x00
00001441: PUSH1 0x08
00001443: SLOAD
00001444: DUP3
00001445: GT
00001446: ISZERO
00001447: PUSH2 0x144f
0000144a: JUMPI
0000144b: PUSH1 0x00
0000144d: DUP1
0000144e: REVERT
0000144f: JUMPDEST
00001450: PUSH1 0x00
00001452: PUSH2 0x145a
00001455: DUP4
00001456: PUSH2 0x236a
00001459: JUMP
0000145a: JUMPDEST
0000145b: SWAP1
0000145c: POP
0000145d: PUSH1 0x00
0000145f: PUSH2 0x146c
00001462: DUP3
00001463: PUSH1 0x0a
00001465: PUSH1 0xff
00001467: AND
00001468: PUSH2 0x22af
0000146b: JUMP
0000146c: JUMPDEST
0000146d: SWAP1
0000146e: POP
0000146f: PUSH1 0x00
00001471: PUSH2 0x147a
00001474: DUP4
00001475: DUP4
00001476: PUSH2 0x22c8
00001479: JUMP
0000147a: JUMPDEST
0000147b: SWAP1
0000147c: POP
0000147d: DUP1
0000147e: SWAP4
0000147f: POP
00001480: POP
00001481: POP
00001482: POP
00001483: SWAP2
00001484: SWAP1
00001485: POP
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x0b
0000148a: PUSH1 0x00
0000148c: SWAP1
0000148d: SLOAD
0000148e: SWAP1
0000148f: PUSH2 0x0100
00001492: EXP
00001493: SWAP1
00001494: DIV
00001495: PUSH1 0xff
00001497: AND
00001498: DUP2
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x12
0000149d: DUP2
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x0a
000014a2: PUSH1 0x20
000014a4: MSTORE
000014a5: DUP1
000014a6: PUSH1 0x00
000014a8: MSTORE
000014a9: PUSH1 0x40
000014ab: PUSH1 0x00
000014ad: KECCAK256
000014ae: PUSH1 0x00
000014b0: SWAP2
000014b1: POP
000014b2: SLOAD
000014b3: SWAP1
000014b4: PUSH2 0x0100
000014b7: EXP
000014b8: SWAP1
000014b9: DIV
000014ba: PUSH1 0xff
000014bc: AND
000014bd: DUP2
000014be: JUMP
000014bf: JUMPDEST
000014c0: PUSH1 0x00
000014c2: PUSH2 0x14cb
000014c5: PUSH1 0x01
000014c7: PUSH2 0x16c7
000014ca: JUMP
000014cb: JUMPDEST
000014cc: GT
000014cd: PUSH2 0x14d5
000014d0: JUMPI
000014d1: PUSH1 0x00
000014d3: DUP1
000014d4: REVERT
000014d5: JUMPDEST
000014d6: PUSH1 0x00
000014d8: CALLER
000014d9: SWAP1
000014da: POP
000014db: PUSH1 0x00
000014dd: PUSH2 0x14e6
000014e0: PUSH1 0x00
000014e2: PUSH2 0x16c7
000014e5: JUMP
000014e6: JUMPDEST
000014e7: SWAP1
000014e8: POP
000014e9: PUSH9 0x010000000000000000
000014f3: DUP2
000014f4: MUL
000014f5: PUSH1 0x06
000014f7: PUSH1 0x00
000014f9: DUP5
000014fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150f: AND
00001510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001525: AND
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: ADD
0000152b: SWAP1
0000152c: DUP2
0000152d: MSTORE
0000152e: PUSH1 0x20
00001530: ADD
00001531: PUSH1 0x00
00001533: KECCAK256
00001534: PUSH1 0x00
00001536: DUP3
00001537: DUP3
00001538: SLOAD
00001539: ADD
0000153a: SWAP3
0000153b: POP
0000153c: POP
0000153d: DUP2
0000153e: SWAP1
0000153f: SSTORE
00001540: POP
00001541: PUSH1 0x05
00001543: PUSH1 0x00
00001545: DUP4
00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155b: AND
0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001571: AND
00001572: DUP2
00001573: MSTORE
00001574: PUSH1 0x20
00001576: ADD
00001577: SWAP1
00001578: DUP2
00001579: MSTORE
0000157a: PUSH1 0x20
0000157c: ADD
0000157d: PUSH1 0x00
0000157f: KECCAK256
00001580: SLOAD
00001581: DUP2
00001582: ADD
00001583: SWAP1
00001584: POP
00001585: PUSH1 0x00
00001587: PUSH1 0x05
00001589: PUSH1 0x00
0000158b: DUP5
0000158c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a1: AND
000015a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b7: AND
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x20
000015bc: ADD
000015bd: SWAP1
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: ADD
000015c3: PUSH1 0x00
000015c5: KECCAK256
000015c6: DUP2
000015c7: SWAP1
000015c8: SSTORE
000015c9: POP
000015ca: DUP2
000015cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e0: AND
000015e1: PUSH2 0x08fc
000015e4: DUP3
000015e5: SWAP1
000015e6: DUP2
000015e7: ISZERO
000015e8: MUL
000015e9: SWAP1
000015ea: PUSH1 0x40
000015ec: MLOAD
000015ed: PUSH1 0x00
000015ef: PUSH1 0x40
000015f1: MLOAD
000015f2: DUP1
000015f3: DUP4
000015f4: SUB
000015f5: DUP2
000015f6: DUP6
000015f7: DUP9
000015f8: DUP9
000015f9: CALL
000015fa: SWAP4
000015fb: POP
000015fc: POP
000015fd: POP
000015fe: POP
000015ff: ISZERO
00001600: DUP1
00001601: ISZERO
00001602: PUSH2 0x160f
00001605: JUMPI
00001606: RETURNDATASIZE
00001607: PUSH1 0x00
00001609: DUP1
0000160a: RETURNDATACOPY
0000160b: RETURNDATASIZE
0000160c: PUSH1 0x00
0000160e: REVERT
0000160f: JUMPDEST
00001610: POP
00001611: DUP2
00001612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001627: AND
00001628: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001649: DUP3
0000164a: PUSH1 0x40
0000164c: MLOAD
0000164d: DUP1
0000164e: DUP3
0000164f: DUP2
00001650: MSTORE
00001651: PUSH1 0x20
00001653: ADD
00001654: SWAP2
00001655: POP
00001656: POP
00001657: PUSH1 0x40
00001659: MLOAD
0000165a: DUP1
0000165b: SWAP2
0000165c: SUB
0000165d: SWAP1
0000165e: LOG2
0000165f: POP
00001660: POP
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH1 0x00
00001665: DUP1
00001666: PUSH1 0x08
00001668: SLOAD
00001669: EQ
0000166a: ISZERO
0000166b: PUSH2 0x1682
0000166e: JUMPI
0000166f: PUSH5 0x02540be400
00001675: PUSH5 0x174876e800
0000167b: SUB
0000167c: SWAP1
0000167d: POP
0000167e: PUSH2 0x16be
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH1 0x00
00001685: PUSH2 0x1695
00001688: PUSH8 0x0de0b6b3a7640000
00001691: PUSH2 0x236a
00001694: JUMP
00001695: JUMPDEST
00001696: SWAP1
00001697: POP
00001698: PUSH1 0x00
0000169a: PUSH2 0x16a7
0000169d: DUP3
0000169e: PUSH1 0x0a
000016a0: PUSH1 0xff
000016a2: AND
000016a3: PUSH2 0x22af
000016a6: JUMP
000016a7: JUMPDEST
000016a8: SWAP1
000016a9: POP
000016aa: PUSH1 0x00
000016ac: PUSH2 0x16b5
000016af: DUP4
000016b0: DUP4
000016b1: PUSH2 0x22c8
000016b4: JUMP
000016b5: JUMPDEST
000016b6: SWAP1
000016b7: POP
000016b8: DUP1
000016b9: SWAP4
000016ba: POP
000016bb: POP
000016bc: POP
000016bd: POP
000016be: JUMPDEST
000016bf: SWAP1
000016c0: JUMP
000016c1: JUMPDEST
000016c2: PUSH1 0x02
000016c4: SLOAD
000016c5: DUP2
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x00
000016ca: DUP1
000016cb: CALLER
000016cc: SWAP1
000016cd: POP
000016ce: DUP3
000016cf: PUSH2 0x16e0
000016d2: JUMPI
000016d3: PUSH2 0x16db
000016d6: DUP2
000016d7: PUSH2 0x12bd
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH2 0x172b
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x05
000016e3: PUSH1 0x00
000016e5: DUP3
000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fb: AND
000016fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001711: AND
00001712: DUP2
00001713: MSTORE
00001714: PUSH1 0x20
00001716: ADD
00001717: SWAP1
00001718: DUP2
00001719: MSTORE
0000171a: PUSH1 0x20
0000171c: ADD
0000171d: PUSH1 0x00
0000171f: KECCAK256
00001720: SLOAD
00001721: PUSH2 0x1729
00001724: DUP3
00001725: PUSH2 0x12bd
00001728: JUMP
00001729: JUMPDEST
0000172a: ADD
0000172b: JUMPDEST
0000172c: SWAP2
0000172d: POP
0000172e: POP
0000172f: SWAP2
00001730: SWAP1
00001731: POP
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH1 0x00
00001736: SELFBALANCE
00001737: SWAP1
00001738: POP
00001739: SWAP1
0000173a: JUMP
0000173b: JUMPDEST
0000173c: PUSH1 0x00
0000173e: PUSH1 0x04
00001740: PUSH1 0x00
00001742: DUP4
00001743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001758: AND
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x20
00001773: ADD
00001774: SWAP1
00001775: DUP2
00001776: MSTORE
00001777: PUSH1 0x20
00001779: ADD
0000177a: PUSH1 0x00
0000177c: KECCAK256
0000177d: SLOAD
0000177e: SWAP1
0000177f: POP
00001780: SWAP2
00001781: SWAP1
00001782: POP
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH1 0x00
00001787: CALLER
00001788: SWAP1
00001789: POP
0000178a: PUSH1 0x0a
0000178c: PUSH1 0x00
0000178e: DUP3
0000178f: PUSH1 0x40
00001791: MLOAD
00001792: PUSH1 0x20
00001794: ADD
00001795: DUP1
00001796: DUP3
00001797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ac: AND
000017ad: PUSH1 0x60
000017af: SHL
000017b0: DUP2
000017b1: MSTORE
000017b2: PUSH1 0x14
000017b4: ADD
000017b5: SWAP2
000017b6: POP
000017b7: POP
000017b8: PUSH1 0x40
000017ba: MLOAD
000017bb: PUSH1 0x20
000017bd: DUP2
000017be: DUP4
000017bf: SUB
000017c0: SUB
000017c1: DUP2
000017c2: MSTORE
000017c3: SWAP1
000017c4: PUSH1 0x40
000017c6: MSTORE
000017c7: DUP1
000017c8: MLOAD
000017c9: SWAP1
000017ca: PUSH1 0x20
000017cc: ADD
000017cd: KECCAK256
000017ce: DUP2
000017cf: MSTORE
000017d0: PUSH1 0x20
000017d2: ADD
000017d3: SWAP1
000017d4: DUP2
000017d5: MSTORE
000017d6: PUSH1 0x20
000017d8: ADD
000017d9: PUSH1 0x00
000017db: KECCAK256
000017dc: PUSH1 0x00
000017de: SWAP1
000017df: SLOAD
000017e0: SWAP1
000017e1: PUSH2 0x0100
000017e4: EXP
000017e5: SWAP1
000017e6: DIV
000017e7: PUSH1 0xff
000017e9: AND
000017ea: PUSH2 0x17f2
000017ed: JUMPI
000017ee: PUSH1 0x00
000017f0: DUP1
000017f1: REVERT
000017f2: JUMPDEST
000017f3: DUP2
000017f4: PUSH1 0x02
000017f6: DUP2
000017f7: SWAP1
000017f8: SSTORE
000017f9: POP
000017fa: POP
000017fb: POP
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH1 0x00
00001800: DUP1
00001801: PUSH1 0x08
00001803: SLOAD
00001804: EQ
00001805: ISZERO
00001806: PUSH2 0x181d
00001809: JUMPI
0000180a: PUSH5 0x02540be400
00001810: PUSH5 0x174876e800
00001816: ADD
00001817: SWAP1
00001818: POP
00001819: PUSH2 0x1859
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH1 0x00
00001820: PUSH2 0x1830
00001823: PUSH8 0x0de0b6b3a7640000
0000182c: PUSH2 0x236a
0000182f: JUMP
00001830: JUMPDEST
00001831: SWAP1
00001832: POP
00001833: PUSH1 0x00
00001835: PUSH2 0x1842
00001838: DUP3
00001839: PUSH1 0x0a
0000183b: PUSH1 0xff
0000183d: AND
0000183e: PUSH2 0x22af
00001841: JUMP
00001842: JUMPDEST
00001843: SWAP1
00001844: POP
00001845: PUSH1 0x00
00001847: PUSH2 0x1850
0000184a: DUP4
0000184b: DUP4
0000184c: PUSH2 0x2293
0000184f: JUMP
00001850: JUMPDEST
00001851: SWAP1
00001852: POP
00001853: DUP1
00001854: SWAP4
00001855: POP
00001856: POP
00001857: POP
00001858: POP
00001859: JUMPDEST
0000185a: SWAP1
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH1 0x00
0000185f: CALLER
00001860: SWAP1
00001861: POP
00001862: PUSH1 0x0a
00001864: PUSH1 0x00
00001866: DUP3
00001867: PUSH1 0x40
00001869: MLOAD
0000186a: PUSH1 0x20
0000186c: ADD
0000186d: DUP1
0000186e: DUP3
0000186f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001884: AND
00001885: PUSH1 0x60
00001887: SHL
00001888: DUP2
00001889: MSTORE
0000188a: PUSH1 0x14
0000188c: ADD
0000188d: SWAP2
0000188e: POP
0000188f: POP
00001890: PUSH1 0x40
00001892: MLOAD
00001893: PUSH1 0x20
00001895: DUP2
00001896: DUP4
00001897: SUB
00001898: SUB
00001899: DUP2
0000189a: MSTORE
0000189b: SWAP1
0000189c: PUSH1 0x40
0000189e: MSTORE
0000189f: DUP1
000018a0: MLOAD
000018a1: SWAP1
000018a2: PUSH1 0x20
000018a4: ADD
000018a5: KECCAK256
000018a6: DUP2
000018a7: MSTORE
000018a8: PUSH1 0x20
000018aa: ADD
000018ab: SWAP1
000018ac: DUP2
000018ad: MSTORE
000018ae: PUSH1 0x20
000018b0: ADD
000018b1: PUSH1 0x00
000018b3: KECCAK256
000018b4: PUSH1 0x00
000018b6: SWAP1
000018b7: SLOAD
000018b8: SWAP1
000018b9: PUSH2 0x0100
000018bc: EXP
000018bd: SWAP1
000018be: DIV
000018bf: PUSH1 0xff
000018c1: AND
000018c2: PUSH2 0x18ca
000018c5: JUMPI
000018c6: PUSH1 0x00
000018c8: DUP1
000018c9: REVERT
000018ca: JUMPDEST
000018cb: DUP2
000018cc: PUSH1 0x0a
000018ce: PUSH1 0x00
000018d0: DUP6
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x20
000018d5: ADD
000018d6: SWAP1
000018d7: DUP2
000018d8: MSTORE
000018d9: PUSH1 0x20
000018db: ADD
000018dc: PUSH1 0x00
000018de: KECCAK256
000018df: PUSH1 0x00
000018e1: PUSH2 0x0100
000018e4: EXP
000018e5: DUP2
000018e6: SLOAD
000018e7: DUP2
000018e8: PUSH1 0xff
000018ea: MUL
000018eb: NOT
000018ec: AND
000018ed: SWAP1
000018ee: DUP4
000018ef: ISZERO
000018f0: ISZERO
000018f1: MUL
000018f2: OR
000018f3: SWAP1
000018f4: SSTORE
000018f5: POP
000018f6: POP
000018f7: POP
000018f8: POP
000018f9: JUMP
000018fa: JUMPDEST
000018fb: PUSH1 0x00
000018fd: DUP1
000018fe: CALLER
000018ff: SWAP1
00001900: POP
00001901: PUSH2 0x1909
00001904: DUP2
00001905: PUSH2 0x173b
00001908: JUMP
00001909: JUMPDEST
0000190a: SWAP2
0000190b: POP
0000190c: POP
0000190d: SWAP1
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x01
00001912: DUP1
00001913: SLOAD
00001914: PUSH1 0x01
00001916: DUP2
00001917: PUSH1 0x01
00001919: AND
0000191a: ISZERO
0000191b: PUSH2 0x0100
0000191e: MUL
0000191f: SUB
00001920: AND
00001921: PUSH1 0x02
00001923: SWAP1
00001924: DIV
00001925: DUP1
00001926: PUSH1 0x1f
00001928: ADD
00001929: PUSH1 0x20
0000192b: DUP1
0000192c: SWAP2
0000192d: DIV
0000192e: MUL
0000192f: PUSH1 0x20
00001931: ADD
00001932: PUSH1 0x40
00001934: MLOAD
00001935: SWAP1
00001936: DUP2
00001937: ADD
00001938: PUSH1 0x40
0000193a: MSTORE
0000193b: DUP1
0000193c: SWAP3
0000193d: SWAP2
0000193e: SWAP1
0000193f: DUP2
00001940: DUP2
00001941: MSTORE
00001942: PUSH1 0x20
00001944: ADD
00001945: DUP3
00001946: DUP1
00001947: SLOAD
00001948: PUSH1 0x01
0000194a: DUP2
0000194b: PUSH1 0x01
0000194d: AND
0000194e: ISZERO
0000194f: PUSH2 0x0100
00001952: MUL
00001953: SUB
00001954: AND
00001955: PUSH1 0x02
00001957: SWAP1
00001958: DIV
00001959: DUP1
0000195a: ISZERO
0000195b: PUSH2 0x19a5
0000195e: JUMPI
0000195f: DUP1
00001960: PUSH1 0x1f
00001962: LT
00001963: PUSH2 0x197a
00001966: JUMPI
00001967: PUSH2 0x0100
0000196a: DUP1
0000196b: DUP4
0000196c: SLOAD
0000196d: DIV
0000196e: MUL
0000196f: DUP4
00001970: MSTORE
00001971: SWAP2
00001972: PUSH1 0x20
00001974: ADD
00001975: SWAP2
00001976: PUSH2 0x19a5
00001979: JUMP
0000197a: JUMPDEST
0000197b: DUP3
0000197c: ADD
0000197d: SWAP2
0000197e: SWAP1
0000197f: PUSH1 0x00
00001981: MSTORE
00001982: PUSH1 0x20
00001984: PUSH1 0x00
00001986: KECCAK256
00001987: SWAP1
00001988: JUMPDEST
00001989: DUP2
0000198a: SLOAD
0000198b: DUP2
0000198c: MSTORE
0000198d: SWAP1
0000198e: PUSH1 0x01
00001990: ADD
00001991: SWAP1
00001992: PUSH1 0x20
00001994: ADD
00001995: DUP1
00001996: DUP4
00001997: GT
00001998: PUSH2 0x1988
0000199b: JUMPI
0000199c: DUP3
0000199d: SWAP1
0000199e: SUB
0000199f: PUSH1 0x1f
000019a1: AND
000019a2: DUP3
000019a3: ADD
000019a4: SWAP2
000019a5: JUMPDEST
000019a6: POP
000019a7: POP
000019a8: POP
000019a9: POP
000019aa: POP
000019ab: DUP2
000019ac: JUMP
000019ad: JUMPDEST
000019ae: PUSH1 0x00
000019b0: CALLER
000019b1: SWAP1
000019b2: POP
000019b3: PUSH1 0x0a
000019b5: PUSH1 0x00
000019b7: DUP3
000019b8: PUSH1 0x40
000019ba: MLOAD
000019bb: PUSH1 0x20
000019bd: ADD
000019be: DUP1
000019bf: DUP3
000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d5: AND
000019d6: PUSH1 0x60
000019d8: SHL
000019d9: DUP2
000019da: MSTORE
000019db: PUSH1 0x14
000019dd: ADD
000019de: SWAP2
000019df: POP
000019e0: POP
000019e1: PUSH1 0x40
000019e3: MLOAD
000019e4: PUSH1 0x20
000019e6: DUP2
000019e7: DUP4
000019e8: SUB
000019e9: SUB
000019ea: DUP2
000019eb: MSTORE
000019ec: SWAP1
000019ed: PUSH1 0x40
000019ef: MSTORE
000019f0: DUP1
000019f1: MLOAD
000019f2: SWAP1
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: KECCAK256
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x20
000019fb: ADD
000019fc: SWAP1
000019fd: DUP2
000019fe: MSTORE
000019ff: PUSH1 0x20
00001a01: ADD
00001a02: PUSH1 0x00
00001a04: KECCAK256
00001a05: PUSH1 0x00
00001a07: SWAP1
00001a08: SLOAD
00001a09: SWAP1
00001a0a: PUSH2 0x0100
00001a0d: EXP
00001a0e: SWAP1
00001a0f: DIV
00001a10: PUSH1 0xff
00001a12: AND
00001a13: PUSH2 0x1a1b
00001a16: JUMPI
00001a17: PUSH1 0x00
00001a19: DUP1
00001a1a: REVERT
00001a1b: JUMPDEST
00001a1c: PUSH1 0x00
00001a1e: PUSH1 0x0b
00001a20: PUSH1 0x00
00001a22: PUSH2 0x0100
00001a25: EXP
00001a26: DUP2
00001a27: SLOAD
00001a28: DUP2
00001a29: PUSH1 0xff
00001a2b: MUL
00001a2c: NOT
00001a2d: AND
00001a2e: SWAP1
00001a2f: DUP4
00001a30: ISZERO
00001a31: ISZERO
00001a32: MUL
00001a33: OR
00001a34: SWAP1
00001a35: SSTORE
00001a36: POP
00001a37: POP
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: PUSH1 0x00
00001a3c: DUP1
00001a3d: PUSH2 0x1a44
00001a40: PUSH2 0x18fa
00001a43: JUMP
00001a44: JUMPDEST
00001a45: GT
00001a46: PUSH2 0x1a4e
00001a49: JUMPI
00001a4a: PUSH1 0x00
00001a4c: DUP1
00001a4d: REVERT
00001a4e: JUMPDEST
00001a4f: PUSH1 0x00
00001a51: CALLER
00001a52: SWAP1
00001a53: POP
00001a54: PUSH1 0x0b
00001a56: PUSH1 0x00
00001a58: SWAP1
00001a59: SLOAD
00001a5a: SWAP1
00001a5b: PUSH2 0x0100
00001a5e: EXP
00001a5f: SWAP1
00001a60: DIV
00001a61: PUSH1 0xff
00001a63: AND
00001a64: ISZERO
00001a65: DUP1
00001a66: ISZERO
00001a67: PUSH2 0x1aaf
00001a6a: JUMPI
00001a6b: POP
00001a6c: PUSH1 0x04
00001a6e: PUSH1 0x00
00001a70: DUP3
00001a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a86: AND
00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9c: AND
00001a9d: DUP2
00001a9e: MSTORE
00001a9f: PUSH1 0x20
00001aa1: ADD
00001aa2: SWAP1
00001aa3: DUP2
00001aa4: MSTORE
00001aa5: PUSH1 0x20
00001aa7: ADD
00001aa8: PUSH1 0x00
00001aaa: KECCAK256
00001aab: SLOAD
00001aac: DUP4
00001aad: GT
00001aae: ISZERO
00001aaf: JUMPDEST
00001ab0: PUSH2 0x1ab8
00001ab3: JUMPI
00001ab4: PUSH1 0x00
00001ab6: DUP1
00001ab7: REVERT
00001ab8: JUMPDEST
00001ab9: PUSH1 0x00
00001abb: PUSH2 0x1ac4
00001abe: PUSH1 0x01
00001ac0: PUSH2 0x16c7
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: GT
00001ac6: ISZERO
00001ac7: PUSH2 0x1ad3
00001aca: JUMPI
00001acb: PUSH2 0x1ad2
00001ace: PUSH2 0x14bf
00001ad1: JUMP
00001ad2: JUMPDEST
00001ad3: JUMPDEST
00001ad4: PUSH1 0x00
00001ad6: PUSH2 0x1ae3
00001ad9: DUP5
00001ada: PUSH1 0x0a
00001adc: PUSH1 0xff
00001ade: AND
00001adf: PUSH2 0x22af
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: SWAP1
00001ae5: POP
00001ae6: PUSH1 0x00
00001ae8: PUSH2 0x1af1
00001aeb: DUP6
00001aec: DUP4
00001aed: PUSH2 0x22c8
00001af0: JUMP
00001af1: JUMPDEST
00001af2: SWAP1
00001af3: POP
00001af4: PUSH1 0x00
00001af6: PUSH2 0x1afe
00001af9: DUP4
00001afa: PUSH2 0x236a
00001afd: JUMP
00001afe: JUMPDEST
00001aff: SWAP1
00001b00: POP
00001b01: PUSH2 0x1b0c
00001b04: PUSH1 0x08
00001b06: SLOAD
00001b07: DUP5
00001b08: PUSH2 0x22c8
00001b0b: JUMP
00001b0c: JUMPDEST
00001b0d: PUSH1 0x08
00001b0f: DUP2
00001b10: SWAP1
00001b11: SSTORE
00001b12: POP
00001b13: PUSH2 0x1b5b
00001b16: PUSH1 0x04
00001b18: PUSH1 0x00
00001b1a: DUP7
00001b1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b30: AND
00001b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b46: AND
00001b47: DUP2
00001b48: MSTORE
00001b49: PUSH1 0x20
00001b4b: ADD
00001b4c: SWAP1
00001b4d: DUP2
00001b4e: MSTORE
00001b4f: PUSH1 0x20
00001b51: ADD
00001b52: PUSH1 0x00
00001b54: KECCAK256
00001b55: SLOAD
00001b56: DUP8
00001b57: PUSH2 0x22c8
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: PUSH1 0x04
00001b5e: PUSH1 0x00
00001b60: DUP7
00001b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b76: AND
00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8c: AND
00001b8d: DUP2
00001b8e: MSTORE
00001b8f: PUSH1 0x20
00001b91: ADD
00001b92: SWAP1
00001b93: DUP2
00001b94: MSTORE
00001b95: PUSH1 0x20
00001b97: ADD
00001b98: PUSH1 0x00
00001b9a: KECCAK256
00001b9b: DUP2
00001b9c: SWAP1
00001b9d: SSTORE
00001b9e: POP
00001b9f: PUSH2 0x1be7
00001ba2: PUSH1 0x04
00001ba4: PUSH1 0x00
00001ba6: DUP10
00001ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbc: AND
00001bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd2: AND
00001bd3: DUP2
00001bd4: MSTORE
00001bd5: PUSH1 0x20
00001bd7: ADD
00001bd8: SWAP1
00001bd9: DUP2
00001bda: MSTORE
00001bdb: PUSH1 0x20
00001bdd: ADD
00001bde: PUSH1 0x00
00001be0: KECCAK256
00001be1: SLOAD
00001be2: DUP4
00001be3: PUSH2 0x2293
00001be6: JUMP
00001be7: JUMPDEST
00001be8: PUSH1 0x04
00001bea: PUSH1 0x00
00001bec: DUP10
00001bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c02: AND
00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c18: AND
00001c19: DUP2
00001c1a: MSTORE
00001c1b: PUSH1 0x20
00001c1d: ADD
00001c1e: SWAP1
00001c1f: DUP2
00001c20: MSTORE
00001c21: PUSH1 0x20
00001c23: ADD
00001c24: PUSH1 0x00
00001c26: KECCAK256
00001c27: DUP2
00001c28: SWAP1
00001c29: SSTORE
00001c2a: POP
00001c2b: DUP6
00001c2c: PUSH1 0x09
00001c2e: SLOAD
00001c2f: MUL
00001c30: PUSH1 0x06
00001c32: PUSH1 0x00
00001c34: DUP7
00001c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4a: AND
00001c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c60: AND
00001c61: DUP2
00001c62: MSTORE
00001c63: PUSH1 0x20
00001c65: ADD
00001c66: SWAP1
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x20
00001c6b: ADD
00001c6c: PUSH1 0x00
00001c6e: KECCAK256
00001c6f: PUSH1 0x00
00001c71: DUP3
00001c72: DUP3
00001c73: SLOAD
00001c74: SUB
00001c75: SWAP3
00001c76: POP
00001c77: POP
00001c78: DUP2
00001c79: SWAP1
00001c7a: SSTORE
00001c7b: POP
00001c7c: DUP2
00001c7d: PUSH1 0x09
00001c7f: SLOAD
00001c80: MUL
00001c81: PUSH1 0x06
00001c83: PUSH1 0x00
00001c85: DUP10
00001c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9b: AND
00001c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb1: AND
00001cb2: DUP2
00001cb3: MSTORE
00001cb4: PUSH1 0x20
00001cb6: ADD
00001cb7: SWAP1
00001cb8: DUP2
00001cb9: MSTORE
00001cba: PUSH1 0x20
00001cbc: ADD
00001cbd: PUSH1 0x00
00001cbf: KECCAK256
00001cc0: PUSH1 0x00
00001cc2: DUP3
00001cc3: DUP3
00001cc4: SLOAD
00001cc5: ADD
00001cc6: SWAP3
00001cc7: POP
00001cc8: POP
00001cc9: DUP2
00001cca: SWAP1
00001ccb: SSTORE
00001ccc: POP
00001ccd: PUSH2 0x1cee
00001cd0: PUSH1 0x09
00001cd2: SLOAD
00001cd3: PUSH1 0x08
00001cd5: SLOAD
00001cd6: PUSH9 0x010000000000000000
00001ce0: DUP5
00001ce1: MUL
00001ce2: DUP2
00001ce3: PUSH2 0x1ce8
00001ce6: JUMPI
00001ce7: INVALID
00001ce8: JUMPDEST
00001ce9: DIV
00001cea: PUSH2 0x2293
00001ced: JUMP
00001cee: JUMPDEST
00001cef: PUSH1 0x09
00001cf1: DUP2
00001cf2: SWAP1
00001cf3: SSTORE
00001cf4: POP
00001cf5: DUP7
00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0b: AND
00001d0c: DUP5
00001d0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d22: AND
00001d23: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001d44: DUP5
00001d45: PUSH1 0x40
00001d47: MLOAD
00001d48: DUP1
00001d49: DUP3
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: SWAP2
00001d50: POP
00001d51: POP
00001d52: PUSH1 0x40
00001d54: MLOAD
00001d55: DUP1
00001d56: SWAP2
00001d57: SUB
00001d58: SWAP1
00001d59: LOG3
00001d5a: PUSH1 0x01
00001d5c: SWAP5
00001d5d: POP
00001d5e: POP
00001d5f: POP
00001d60: POP
00001d61: POP
00001d62: SWAP3
00001d63: SWAP2
00001d64: POP
00001d65: POP
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH1 0x00
00001d6a: CALLER
00001d6b: SWAP1
00001d6c: POP
00001d6d: PUSH1 0x0a
00001d6f: PUSH1 0x00
00001d71: DUP3
00001d72: PUSH1 0x40
00001d74: MLOAD
00001d75: PUSH1 0x20
00001d77: ADD
00001d78: DUP1
00001d79: DUP3
00001d7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8f: AND
00001d90: PUSH1 0x60
00001d92: SHL
00001d93: DUP2
00001d94: MSTORE
00001d95: PUSH1 0x14
00001d97: ADD
00001d98: SWAP2
00001d99: POP
00001d9a: POP
00001d9b: PUSH1 0x40
00001d9d: MLOAD
00001d9e: PUSH1 0x20
00001da0: DUP2
00001da1: DUP4
00001da2: SUB
00001da3: SUB
00001da4: DUP2
00001da5: MSTORE
00001da6: SWAP1
00001da7: PUSH1 0x40
00001da9: MSTORE
00001daa: DUP1
00001dab: MLOAD
00001dac: SWAP1
00001dad: PUSH1 0x20
00001daf: ADD
00001db0: KECCAK256
00001db1: DUP2
00001db2: MSTORE
00001db3: PUSH1 0x20
00001db5: ADD
00001db6: SWAP1
00001db7: DUP2
00001db8: MSTORE
00001db9: PUSH1 0x20
00001dbb: ADD
00001dbc: PUSH1 0x00
00001dbe: KECCAK256
00001dbf: PUSH1 0x00
00001dc1: SWAP1
00001dc2: SLOAD
00001dc3: SWAP1
00001dc4: PUSH2 0x0100
00001dc7: EXP
00001dc8: SWAP1
00001dc9: DIV
00001dca: PUSH1 0xff
00001dcc: AND
00001dcd: PUSH2 0x1dd5
00001dd0: JUMPI
00001dd1: PUSH1 0x00
00001dd3: DUP1
00001dd4: REVERT
00001dd5: JUMPDEST
00001dd6: DUP2
00001dd7: PUSH1 0x01
00001dd9: SWAP1
00001dda: DUP1
00001ddb: MLOAD
00001ddc: SWAP1
00001ddd: PUSH1 0x20
00001ddf: ADD
00001de0: SWAP1
00001de1: PUSH2 0x1deb
00001de4: SWAP3
00001de5: SWAP2
00001de6: SWAP1
00001de7: PUSH2 0x2453
00001dea: JUMP
00001deb: JUMPDEST
00001dec: POP
00001ded: POP
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x00
00001df3: CALLER
00001df4: SWAP1
00001df5: POP
00001df6: PUSH1 0x0a
00001df8: PUSH1 0x00
00001dfa: DUP3
00001dfb: PUSH1 0x40
00001dfd: MLOAD
00001dfe: PUSH1 0x20
00001e00: ADD
00001e01: DUP1
00001e02: DUP3
00001e03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e18: AND
00001e19: PUSH1 0x60
00001e1b: SHL
00001e1c: DUP2
00001e1d: MSTORE
00001e1e: PUSH1 0x14
00001e20: ADD
00001e21: SWAP2
00001e22: POP
00001e23: POP
00001e24: PUSH1 0x40
00001e26: MLOAD
00001e27: PUSH1 0x20
00001e29: DUP2
00001e2a: DUP4
00001e2b: SUB
00001e2c: SUB
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: SWAP1
00001e30: PUSH1 0x40
00001e32: MSTORE
00001e33: DUP1
00001e34: MLOAD
00001e35: SWAP1
00001e36: PUSH1 0x20
00001e38: ADD
00001e39: KECCAK256
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x20
00001e3e: ADD
00001e3f: SWAP1
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x20
00001e44: ADD
00001e45: PUSH1 0x00
00001e47: KECCAK256
00001e48: PUSH1 0x00
00001e4a: SWAP1
00001e4b: SLOAD
00001e4c: SWAP1
00001e4d: PUSH2 0x0100
00001e50: EXP
00001e51: SWAP1
00001e52: DIV
00001e53: PUSH1 0xff
00001e55: AND
00001e56: PUSH2 0x1e5e
00001e59: JUMPI
00001e5a: PUSH1 0x00
00001e5c: DUP1
00001e5d: REVERT
00001e5e: JUMPDEST
00001e5f: DUP2
00001e60: PUSH1 0x00
00001e62: SWAP1
00001e63: DUP1
00001e64: MLOAD
00001e65: SWAP1
00001e66: PUSH1 0x20
00001e68: ADD
00001e69: SWAP1
00001e6a: PUSH2 0x1e74
00001e6d: SWAP3
00001e6e: SWAP2
00001e6f: SWAP1
00001e70: PUSH2 0x2453
00001e73: JUMP
00001e74: JUMPDEST
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: PUSH1 0x00
00001e7c: PUSH2 0x1e83
00001e7f: PUSH2 0x18fa
00001e82: JUMP
00001e83: JUMPDEST
00001e84: GT
00001e85: PUSH2 0x1e8d
00001e88: JUMPI
00001e89: PUSH1 0x00
00001e8b: DUP1
00001e8c: REVERT
00001e8d: JUMPDEST
00001e8e: PUSH1 0x00
00001e90: CALLER
00001e91: SWAP1
00001e92: POP
00001e93: PUSH1 0x04
00001e95: PUSH1 0x00
00001e97: DUP3
00001e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ead: AND
00001eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec3: AND
00001ec4: DUP2
00001ec5: MSTORE
00001ec6: PUSH1 0x20
00001ec8: ADD
00001ec9: SWAP1
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x20
00001ece: ADD
00001ecf: PUSH1 0x00
00001ed1: KECCAK256
00001ed2: SLOAD
00001ed3: DUP3
00001ed4: GT
00001ed5: ISZERO
00001ed6: PUSH2 0x1ede
00001ed9: JUMPI
00001eda: PUSH1 0x00
00001edc: DUP1
00001edd: REVERT
00001ede: JUMPDEST
00001edf: PUSH1 0x00
00001ee1: DUP3
00001ee2: SWAP1
00001ee3: POP
00001ee4: PUSH1 0x00
00001ee6: PUSH2 0x1eee
00001ee9: DUP3
00001eea: PUSH2 0x236a
00001eed: JUMP
00001eee: JUMPDEST
00001eef: SWAP1
00001ef0: POP
00001ef1: PUSH1 0x00
00001ef3: PUSH2 0x1f00
00001ef6: DUP3
00001ef7: PUSH1 0x0a
00001ef9: PUSH1 0xff
00001efb: AND
00001efc: PUSH2 0x22af
00001eff: JUMP
00001f00: JUMPDEST
00001f01: SWAP1
00001f02: POP
00001f03: PUSH1 0x00
00001f05: PUSH2 0x1f0e
00001f08: DUP4
00001f09: DUP4
00001f0a: PUSH2 0x22c8
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: SWAP1
00001f10: POP
00001f11: PUSH2 0x1f1c
00001f14: PUSH1 0x08
00001f16: SLOAD
00001f17: DUP6
00001f18: PUSH2 0x22c8
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: PUSH1 0x08
00001f1f: DUP2
00001f20: SWAP1
00001f21: SSTORE
00001f22: POP
00001f23: PUSH2 0x1f6b
00001f26: PUSH1 0x04
00001f28: PUSH1 0x00
00001f2a: DUP8
00001f2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f40: AND
00001f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f56: AND
00001f57: DUP2
00001f58: MSTORE
00001f59: PUSH1 0x20
00001f5b: ADD
00001f5c: SWAP1
00001f5d: DUP2
00001f5e: MSTORE
00001f5f: PUSH1 0x20
00001f61: ADD
00001f62: PUSH1 0x00
00001f64: KECCAK256
00001f65: SLOAD
00001f66: DUP6
00001f67: PUSH2 0x22c8
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: PUSH1 0x04
00001f6e: PUSH1 0x00
00001f70: DUP8
00001f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f86: AND
00001f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9c: AND
00001f9d: DUP2
00001f9e: MSTORE
00001f9f: PUSH1 0x20
00001fa1: ADD
00001fa2: SWAP1
00001fa3: DUP2
00001fa4: MSTORE
00001fa5: PUSH1 0x20
00001fa7: ADD
00001fa8: PUSH1 0x00
00001faa: KECCAK256
00001fab: DUP2
00001fac: SWAP1
00001fad: SSTORE
00001fae: POP
00001faf: PUSH1 0x00
00001fb1: PUSH9 0x010000000000000000
00001fbb: DUP3
00001fbc: MUL
00001fbd: DUP6
00001fbe: PUSH1 0x09
00001fc0: SLOAD
00001fc1: MUL
00001fc2: ADD
00001fc3: SWAP1
00001fc4: POP
00001fc5: DUP1
00001fc6: PUSH1 0x06
00001fc8: PUSH1 0x00
00001fca: DUP9
00001fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe0: AND
00001fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff6: AND
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x20
00001ffb: ADD
00001ffc: SWAP1
00001ffd: DUP2
00001ffe: MSTORE
00001fff: PUSH1 0x20
00002001: ADD
00002002: PUSH1 0x00
00002004: KECCAK256
00002005: PUSH1 0x00
00002007: DUP3
00002008: DUP3
00002009: SLOAD
0000200a: SUB
0000200b: SWAP3
0000200c: POP
0000200d: POP
0000200e: DUP2
0000200f: SWAP1
00002010: SSTORE
00002011: POP
00002012: PUSH1 0x00
00002014: PUSH1 0x08
00002016: SLOAD
00002017: GT
00002018: ISZERO
00002019: PUSH2 0x2045
0000201c: JUMPI
0000201d: PUSH2 0x203e
00002020: PUSH1 0x09
00002022: SLOAD
00002023: PUSH1 0x08
00002025: SLOAD
00002026: PUSH9 0x010000000000000000
00002030: DUP7
00002031: MUL
00002032: DUP2
00002033: PUSH2 0x2038
00002036: JUMPI
00002037: INVALID
00002038: JUMPDEST
00002039: DIV
0000203a: PUSH2 0x2293
0000203d: JUMP
0000203e: JUMPDEST
0000203f: PUSH1 0x09
00002041: DUP2
00002042: SWAP1
00002043: SSTORE
00002044: POP
00002045: JUMPDEST
00002046: DUP6
00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205c: AND
0000205d: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
0000207e: DUP7
0000207f: DUP5
00002080: PUSH1 0x40
00002082: MLOAD
00002083: DUP1
00002084: DUP4
00002085: DUP2
00002086: MSTORE
00002087: PUSH1 0x20
00002089: ADD
0000208a: DUP3
0000208b: DUP2
0000208c: MSTORE
0000208d: PUSH1 0x20
0000208f: ADD
00002090: SWAP3
00002091: POP
00002092: POP
00002093: POP
00002094: PUSH1 0x40
00002096: MLOAD
00002097: DUP1
00002098: SWAP2
00002099: SUB
0000209a: SWAP1
0000209b: LOG2
0000209c: POP
0000209d: POP
0000209e: POP
0000209f: POP
000020a0: POP
000020a1: POP
000020a2: POP
000020a3: JUMP
000020a4: JUMPDEST
000020a5: PUSH1 0x00
000020a7: CALLER
000020a8: SWAP1
000020a9: POP
000020aa: PUSH1 0x00
000020ac: PUSH1 0x04
000020ae: PUSH1 0x00
000020b0: DUP4
000020b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c6: AND
000020c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dc: AND
000020dd: DUP2
000020de: MSTORE
000020df: PUSH1 0x20
000020e1: ADD
000020e2: SWAP1
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: PUSH1 0x00
000020ea: KECCAK256
000020eb: SLOAD
000020ec: SWAP1
000020ed: POP
000020ee: PUSH1 0x00
000020f0: DUP2
000020f1: GT
000020f2: ISZERO
000020f3: PUSH2 0x2100
000020f6: JUMPI
000020f7: PUSH2 0x20ff
000020fa: DUP2
000020fb: PUSH2 0x1e79
000020fe: JUMP
000020ff: JUMPDEST
00002100: JUMPDEST
00002101: PUSH2 0x2108
00002104: PUSH2 0x14bf
00002107: JUMP
00002108: JUMPDEST
00002109: POP
0000210a: POP
0000210b: JUMP
0000210c: JUMPDEST
0000210d: PUSH1 0x00
0000210f: PUSH2 0x2118
00002112: CALLVALUE
00002113: DUP4
00002114: PUSH2 0x09b0
00002117: JUMP
00002118: JUMPDEST
00002119: SWAP1
0000211a: POP
0000211b: SWAP2
0000211c: SWAP1
0000211d: POP
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH1 0x00
00002122: PUSH2 0x212b
00002125: PUSH1 0x01
00002127: PUSH2 0x16c7
0000212a: JUMP
0000212b: JUMPDEST
0000212c: GT
0000212d: PUSH2 0x2135
00002130: JUMPI
00002131: PUSH1 0x00
00002133: DUP1
00002134: REVERT
00002135: JUMPDEST
00002136: PUSH1 0x00
00002138: PUSH2 0x2141
0000213b: PUSH1 0x00
0000213d: PUSH2 0x16c7
00002140: JUMP
00002141: JUMPDEST
00002142: SWAP1
00002143: POP
00002144: PUSH1 0x00
00002146: CALLER
00002147: SWAP1
00002148: POP
00002149: PUSH9 0x010000000000000000
00002153: DUP3
00002154: MUL
00002155: PUSH1 0x06
00002157: PUSH1 0x00
00002159: DUP4
0000215a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000216f: AND
00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002185: AND
00002186: DUP2
00002187: MSTORE
00002188: PUSH1 0x20
0000218a: ADD
0000218b: SWAP1
0000218c: DUP2
0000218d: MSTORE
0000218e: PUSH1 0x20
00002190: ADD
00002191: PUSH1 0x00
00002193: KECCAK256
00002194: PUSH1 0x00
00002196: DUP3
00002197: DUP3
00002198: SLOAD
00002199: ADD
0000219a: SWAP3
0000219b: POP
0000219c: POP
0000219d: DUP2
0000219e: SWAP1
0000219f: SSTORE
000021a0: POP
000021a1: PUSH1 0x05
000021a3: PUSH1 0x00
000021a5: DUP3
000021a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021bb: AND
000021bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d1: AND
000021d2: DUP2
000021d3: MSTORE
000021d4: PUSH1 0x20
000021d6: ADD
000021d7: SWAP1
000021d8: DUP2
000021d9: MSTORE
000021da: PUSH1 0x20
000021dc: ADD
000021dd: PUSH1 0x00
000021df: KECCAK256
000021e0: SLOAD
000021e1: DUP3
000021e2: ADD
000021e3: SWAP2
000021e4: POP
000021e5: PUSH1 0x00
000021e7: PUSH1 0x05
000021e9: PUSH1 0x00
000021eb: DUP4
000021ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002201: AND
00002202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002217: AND
00002218: DUP2
00002219: MSTORE
0000221a: PUSH1 0x20
0000221c: ADD
0000221d: SWAP1
0000221e: DUP2
0000221f: MSTORE
00002220: PUSH1 0x20
00002222: ADD
00002223: PUSH1 0x00
00002225: KECCAK256
00002226: DUP2
00002227: SWAP1
00002228: SSTORE
00002229: POP
0000222a: PUSH1 0x00
0000222c: PUSH2 0x2236
0000222f: DUP4
00002230: PUSH1 0x00
00002232: PUSH2 0x09b0
00002235: JUMP
00002236: JUMPDEST
00002237: SWAP1
00002238: POP
00002239: DUP2
0000223a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224f: AND
00002250: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002271: DUP5
00002272: DUP4
00002273: PUSH1 0x40
00002275: MLOAD
00002276: DUP1
00002277: DUP4
00002278: DUP2
00002279: MSTORE
0000227a: PUSH1 0x20
0000227c: ADD
0000227d: DUP3
0000227e: DUP2
0000227f: MSTORE
00002280: PUSH1 0x20
00002282: ADD
00002283: SWAP3
00002284: POP
00002285: POP
00002286: POP
00002287: PUSH1 0x40
00002289: MLOAD
0000228a: DUP1
0000228b: SWAP2
0000228c: SUB
0000228d: SWAP1
0000228e: LOG2
0000228f: POP
00002290: POP
00002291: POP
00002292: JUMP
00002293: JUMPDEST
00002294: PUSH1 0x00
00002296: DUP1
00002297: DUP3
00002298: DUP5
00002299: ADD
0000229a: SWAP1
0000229b: POP
0000229c: DUP4
0000229d: DUP2
0000229e: LT
0000229f: ISZERO
000022a0: PUSH2 0x22a5
000022a3: JUMPI
000022a4: INVALID
000022a5: JUMPDEST
000022a6: DUP1
000022a7: SWAP2
000022a8: POP
000022a9: POP
000022aa: SWAP3
000022ab: SWAP2
000022ac: POP
000022ad: POP
000022ae: JUMP
000022af: JUMPDEST
000022b0: PUSH1 0x00
000022b2: DUP1
000022b3: DUP3
000022b4: DUP5
000022b5: DUP2
000022b6: PUSH2 0x22bb
000022b9: JUMPI
000022ba: INVALID
000022bb: JUMPDEST
000022bc: DIV
000022bd: SWAP1
000022be: POP
000022bf: DUP1
000022c0: SWAP2
000022c1: POP
000022c2: POP
000022c3: SWAP3
000022c4: SWAP2
000022c5: POP
000022c6: POP
000022c7: JUMP
000022c8: JUMPDEST
000022c9: PUSH1 0x00
000022cb: DUP3
000022cc: DUP3
000022cd: GT
000022ce: ISZERO
000022cf: PUSH2 0x22d4
000022d2: JUMPI
000022d3: INVALID
000022d4: JUMPDEST
000022d5: DUP2
000022d6: DUP4
000022d7: SUB
000022d8: SWAP1
000022d9: POP
000022da: SWAP3
000022db: SWAP2
000022dc: POP
000022dd: POP
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH1 0x00
000022e2: DUP1
000022e3: PUSH8 0x0de0b6b3a7640000
000022ec: PUSH5 0x174876e800
000022f2: MUL
000022f3: SWAP1
000022f4: POP
000022f5: PUSH1 0x00
000022f7: PUSH1 0x08
000022f9: SLOAD
000022fa: PUSH5 0x02540be400
00002300: PUSH2 0x2355
00002303: PUSH2 0x234f
00002306: PUSH1 0x08
00002308: SLOAD
00002309: DUP7
0000230a: PUSH5 0x02540be400
00002310: PUSH1 0x02
00002312: MUL
00002313: MUL
00002314: MUL
00002315: PUSH1 0x02
00002317: PUSH1 0x08
00002319: SLOAD
0000231a: EXP
0000231b: PUSH1 0x02
0000231d: PUSH5 0x02540be400
00002323: EXP
00002324: MUL
00002325: PUSH8 0x0de0b6b3a7640000
0000232e: DUP11
0000232f: MUL
00002330: PUSH8 0x0de0b6b3a7640000
00002339: PUSH5 0x02540be400
0000233f: MUL
00002340: PUSH1 0x02
00002342: MUL
00002343: MUL
00002344: PUSH1 0x02
00002346: DUP10
00002347: EXP
00002348: ADD
00002349: ADD
0000234a: ADD
0000234b: PUSH2 0x240e
0000234e: JUMP
0000234f: JUMPDEST
00002350: DUP6
00002351: PUSH2 0x22c8
00002354: JUMP
00002355: JUMPDEST
00002356: DUP2
00002357: PUSH2 0x235c
0000235a: JUMPI
0000235b: INVALID
0000235c: JUMPDEST
0000235d: DIV
0000235e: SUB
0000235f: SWAP1
00002360: POP
00002361: DUP1
00002362: SWAP3
00002363: POP
00002364: POP
00002365: POP
00002366: SWAP2
00002367: SWAP1
00002368: POP
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: PUSH8 0x0de0b6b3a7640000
00002377: DUP4
00002378: ADD
00002379: SWAP1
0000237a: POP
0000237b: PUSH1 0x00
0000237d: PUSH8 0x0de0b6b3a7640000
00002386: PUSH1 0x08
00002388: SLOAD
00002389: ADD
0000238a: SWAP1
0000238b: POP
0000238c: PUSH1 0x00
0000238e: PUSH8 0x0de0b6b3a7640000
00002397: PUSH2 0x23f9
0000239a: PUSH8 0x0de0b6b3a7640000
000023a3: DUP6
000023a4: SUB
000023a5: PUSH5 0x02540be400
000023ab: PUSH8 0x0de0b6b3a7640000
000023b4: DUP7
000023b5: DUP2
000023b6: PUSH2 0x23bb
000023b9: JUMPI
000023ba: INVALID
000023bb: JUMPDEST
000023bc: DIV
000023bd: PUSH5 0x02540be400
000023c3: MUL
000023c4: PUSH5 0x174876e800
000023ca: ADD
000023cb: SUB
000023cc: MUL
000023cd: PUSH1 0x02
000023cf: PUSH8 0x0de0b6b3a7640000
000023d8: DUP8
000023d9: PUSH1 0x02
000023db: DUP10
000023dc: EXP
000023dd: SUB
000023de: DUP2
000023df: PUSH2 0x23e4
000023e2: JUMPI
000023e3: INVALID
000023e4: JUMPDEST
000023e5: DIV
000023e6: PUSH5 0x02540be400
000023ec: MUL
000023ed: DUP2
000023ee: PUSH2 0x23f3
000023f1: JUMPI
000023f2: INVALID
000023f3: JUMPDEST
000023f4: DIV
000023f5: PUSH2 0x22c8
000023f8: JUMP
000023f9: JUMPDEST
000023fa: DUP2
000023fb: PUSH2 0x2400
000023fe: JUMPI
000023ff: INVALID
00002400: JUMPDEST
00002401: DIV
00002402: SWAP1
00002403: POP
00002404: DUP1
00002405: SWAP4
00002406: POP
00002407: POP
00002408: POP
00002409: POP
0000240a: SWAP2
0000240b: SWAP1
0000240c: POP
0000240d: JUMP
0000240e: JUMPDEST
0000240f: PUSH1 0x00
00002411: DUP1
00002412: PUSH1 0x02
00002414: PUSH1 0x01
00002416: DUP5
00002417: ADD
00002418: DUP2
00002419: PUSH2 0x241e
0000241c: JUMPI
0000241d: INVALID
0000241e: JUMPDEST
0000241f: DIV
00002420: SWAP1
00002421: POP
00002422: DUP3
00002423: SWAP2
00002424: POP
00002425: JUMPDEST
00002426: DUP2
00002427: DUP2
00002428: LT
00002429: ISZERO
0000242a: PUSH2 0x244d
0000242d: JUMPI
0000242e: DUP1
0000242f: SWAP2
00002430: POP
00002431: PUSH1 0x02
00002433: DUP2
00002434: DUP3
00002435: DUP6
00002436: DUP2
00002437: PUSH2 0x243c
0000243a: JUMPI
0000243b: INVALID
0000243c: JUMPDEST
0000243d: DIV
0000243e: ADD
0000243f: DUP2
00002440: PUSH2 0x2445
00002443: JUMPI
00002444: INVALID
00002445: JUMPDEST
00002446: DIV
00002447: SWAP1
00002448: POP
00002449: PUSH2 0x2425
0000244c: JUMP
0000244d: JUMPDEST
0000244e: POP
0000244f: SWAP2
00002450: SWAP1
00002451: POP
00002452: JUMP
00002453: JUMPDEST
00002454: DUP3
00002455: DUP1
00002456: SLOAD
00002457: PUSH1 0x01
00002459: DUP2
0000245a: PUSH1 0x01
0000245c: AND
0000245d: ISZERO
0000245e: PUSH2 0x0100
00002461: MUL
00002462: SUB
00002463: AND
00002464: PUSH1 0x02
00002466: SWAP1
00002467: DIV
00002468: SWAP1
00002469: PUSH1 0x00
0000246b: MSTORE
0000246c: PUSH1 0x20
0000246e: PUSH1 0x00
00002470: KECCAK256
00002471: SWAP1
00002472: PUSH1 0x1f
00002474: ADD
00002475: PUSH1 0x20
00002477: SWAP1
00002478: DIV
00002479: DUP2
0000247a: ADD
0000247b: SWAP3
0000247c: DUP3
0000247d: PUSH1 0x1f
0000247f: LT
00002480: PUSH2 0x2494
00002483: JUMPI
00002484: DUP1
00002485: MLOAD
00002486: PUSH1 0xff
00002488: NOT
00002489: AND
0000248a: DUP4
0000248b: DUP1
0000248c: ADD
0000248d: OR
0000248e: DUP6
0000248f: SSTORE
00002490: PUSH2 0x24c2
00002493: JUMP
00002494: JUMPDEST
00002495: DUP3
00002496: DUP1
00002497: ADD
00002498: PUSH1 0x01
0000249a: ADD
0000249b: DUP6
0000249c: SSTORE
0000249d: DUP3
0000249e: ISZERO
0000249f: PUSH2 0x24c2
000024a2: JUMPI
000024a3: SWAP2
000024a4: DUP3
000024a5: ADD
000024a6: JUMPDEST
000024a7: DUP3
000024a8: DUP2
000024a9: GT
000024aa: ISZERO
000024ab: PUSH2 0x24c1
000024ae: JUMPI
000024af: DUP3
000024b0: MLOAD
000024b1: DUP3
000024b2: SSTORE
000024b3: SWAP2
000024b4: PUSH1 0x20
000024b6: ADD
000024b7: SWAP2
000024b8: SWAP1
000024b9: PUSH1 0x01
000024bb: ADD
000024bc: SWAP1
000024bd: PUSH2 0x24a6
000024c0: JUMP
000024c1: JUMPDEST
000024c2: JUMPDEST
000024c3: POP
000024c4: SWAP1
000024c5: POP
000024c6: PUSH2 0x24cf
000024c9: SWAP2
000024ca: SWAP1
000024cb: PUSH2 0x24d3
000024ce: JUMP
000024cf: JUMPDEST
000024d0: POP
000024d1: SWAP1
000024d2: JUMP
000024d3: JUMPDEST
000024d4: JUMPDEST
000024d5: DUP1
000024d6: DUP3
000024d7: GT
000024d8: ISZERO
000024d9: PUSH2 0x24ec
000024dc: JUMPI
000024dd: PUSH1 0x00
000024df: DUP2
000024e0: PUSH1 0x00
000024e2: SWAP1
000024e3: SSTORE
000024e4: POP
000024e5: PUSH1 0x01
000024e7: ADD
000024e8: PUSH2 0x24d4
000024eb: JUMP
000024ec: JUMPDEST
000024ed: POP
000024ee: SWAP1
000024ef: JUMP
000024f0: INVALID
000024f1: LOG2
000024f2: PUSH5 0x6970667358
000024f8: UNKNOWN(0x22)
000024f9: SLT
000024fa: KECCAK256
000024fb: COINBASE
000024fc: ISZERO
000024fd: LOG1
000024fe: MSTORE
000024ff: UNKNOWN(0x4B)
00002500: DIV
00002501: JUMP
00002502: UNKNOWN(0xCE)
00002503: MSTORE8
00002504: SWAP9
00002505: UNKNOWN(0xB9)
00002506: SDIV
00002507: EXTCODESIZE
00002508: DELEGATECALL
00002509: INVALID
0000250a: UNKNOWN(0xDC)
0000250b: DIFFICULTY
0000250c: UNKNOWN(0xCA)
0000250d: ORIGIN
0000250e: MSIZE
0000250f: UNKNOWN(0xAC)
00002510: CREATE2
00002511: DUP4
00002512: UNKNOWN(0x2E)
00002513: UNKNOWN(0xC9)
00002514: UNKNOWN(0xF9)
00002515: SHR
00002516: DUP3
00002517: UNKNOWN(0xE4)
00002518: MOD
00002519: CODECOPY
0000251a: SWAP2
0000251b: PUSH5 0x736f6c6343
00002521: STOP
00002522: SMOD
00002523: STOP
00002524: STOP
00002525: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	upgradeability	detector	Untrusted DELEGATECALL target reachable	55	no	no	view trace_id: 0x82c5dae811f8477aa97bb2bb6c063de57431a222b68a1ce90fbe17f80282b197 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x82c5dae811f8477aa97bb2bb6c063de57431a222b68a1ce90fbe17f80282b197", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe4849b32", "selector": "0xe4849b32", "calldata_variants": [ "0xe4849b32", "0xe4849b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb5a03e", "selector": "0xfdb5a03e", "calldata_variants": [ "0xfdb5a03e", "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb84c8246", "selector": "0xb84c8246", "calldata_variants": [ "0xb84c8246", "0xb84c82460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc47f0027", "selector": "0xc47f0027", "calldata_variants": [ "0xc47f0027", "0xc47f00270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89135ae9", "selector": "0x89135ae9", "calldata_variants": [ "0x89135ae9", "0x89135ae90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9480, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [ { "pc": 9485, "type": "tx_origin_used" } ], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe4849b32", "selector": "0xe4849b32", "calldata_variants": [ "0xe4849b32", "0xe4849b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb5a03e", "selector": "0xfdb5a03e", "calldata_variants": [ "0xfdb5a03e", "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb84c8246", "selector": "0xb84c8246", "calldata_variants": [ "0xb84c8246", "0xb84c82460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc47f0027", "selector": "0xc47f0027", "calldata_variants": [ "0xc47f0027", "0xc47f00270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89135ae9", "selector": "0x89135ae9", "calldata_variants": [ "0x89135ae9", "0x89135ae90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 9485, "type": "tx_origin_used" } ] }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xf85c9cbc58dcba8bd1b0bf1499fb70a5de59f020a4d5c42c6a4aa9b5bf2b830a call_targets: 0xcf912b35f568417cee2bb29f92b48a1abb4a012a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf85c9cbc58dcba8bd1b0bf1499fb70a5de59f020a4d5c42c6a4aa9b5bf2b830a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcf912b35f568417cee2bb29f92b48a1abb4a012a" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe4849b32", "selector": "0xe4849b32", "calldata_variants": [ "0xe4849b32", "0xe4849b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb5a03e", "selector": "0xfdb5a03e", "calldata_variants": [ "0xfdb5a03e", "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb84c8246", "selector": "0xb84c8246", "calldata_variants": [ "0xb84c8246", "0xb84c82460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc47f0027", "selector": "0xc47f0027", "calldata_variants": [ "0xc47f0027", "0xc47f00270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89135ae9", "selector": "0x89135ae9", "calldata_variants": [ "0x89135ae9", "0x89135ae90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [ { "pc": 9485, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xf85c9cbc58dcba8bd1b0bf1499fb70a5de59f020a4d5c42c6a4aa9b5bf2b830a call_targets: 0xcf912b35f568417cee2bb29f92b48a1abb4a012a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf85c9cbc58dcba8bd1b0bf1499fb70a5de59f020a4d5c42c6a4aa9b5bf2b830a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcf912b35f568417cee2bb29f92b48a1abb4a012a" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe4849b32", "selector": "0xe4849b32", "calldata_variants": [ "0xe4849b32", "0xe4849b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb5a03e", "selector": "0xfdb5a03e", "calldata_variants": [ "0xfdb5a03e", "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb84c8246", "selector": "0xb84c8246", "calldata_variants": [ "0xb84c8246", "0xb84c82460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc47f0027", "selector": "0xc47f0027", "calldata_variants": [ "0xc47f0027", "0xc47f00270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89135ae9", "selector": "0x89135ae9", "calldata_variants": [ "0x89135ae9", "0x89135ae90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [ { "pc": 9485, "type": "tx_origin_used" } ], "untrusted_call_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xdae1c8f5853a9c38b7f25b420b90d0eb2f61e69d1dfd3fbbd442aa765af2ddca validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xdae1c8f5853a9c38b7f25b420b90d0eb2f61e69d1dfd3fbbd442aa765af2ddca", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe4849b32", "selector": "0xe4849b32", "calldata_variants": [ "0xe4849b32", "0xe4849b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb5a03e", "selector": "0xfdb5a03e", "calldata_variants": [ "0xfdb5a03e", "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb84c8246", "selector": "0xb84c8246", "calldata_variants": [ "0xb84c8246", "0xb84c82460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc47f0027", "selector": "0xc47f0027", "calldata_variants": [ "0xc47f0027", "0xc47f00270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x89135ae9", "selector": "0x89135ae9", "calldata_variants": [ "0x89135ae9", "0x89135ae90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }