TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b14a-72d1-a749-3e960c2fe806

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value 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
22125 artifact.fetch complete 1 / 3 4 months ago
22126 tool.cast_disasm complete 1 / 3 4 months ago
89385 analysis.bundle complete 1 / 3 2 weeks ago
89386 capability.graph complete 1 / 3 2 weeks ago
89387 detector.run complete 1 / 3 2 weeks ago
89388 validation.fork complete 1 / 3 2 weeks 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
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4834
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x011d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x025e7c27
0000003c: EQ
0000003d: PUSH2 0x017c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x173825d9
00000047: EQ
00000048: PUSH2 0x01e9
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x20ea8d86
00000052: EQ
00000053: PUSH2 0x022c
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x2f54bf6e
0000005d: EQ
0000005e: PUSH2 0x0259
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x3411c81c
00000068: EQ
00000069: PUSH2 0x02b4
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x4c3a6ae0
00000073: EQ
00000074: PUSH2 0x0319
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x54741525
0000007e: EQ
0000007f: PUSH2 0x0348
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x7065cb48
00000089: EQ
0000008a: PUSH2 0x0397
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x784547a7
00000094: EQ
00000095: PUSH2 0x03da
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8b51d13f
0000009f: EQ
000000a0: PUSH2 0x041f
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x9ace38c2
000000aa: EQ
000000ab: PUSH2 0x0460
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xa0e67e2b
000000b5: EQ
000000b6: PUSH2 0x054b
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0xa8abe69a
000000c0: EQ
000000c1: PUSH2 0x05b7
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xb5dc40c3
000000cb: EQ
000000cc: PUSH2 0x065b
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xb77bf600
000000d6: EQ
000000d7: PUSH2 0x06dd
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xba51a6df
000000e1: EQ
000000e2: PUSH2 0x0708
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xc01a8c84
000000ec: EQ
000000ed: PUSH2 0x0735
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xc6427474
000000f7: EQ
000000f8: PUSH2 0x0762
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xd74f8edd
00000102: EQ
00000103: PUSH2 0x0809
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xdc8452cd
0000010d: EQ
0000010e: PUSH2 0x0834
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xe20056e6
00000118: EQ
00000119: PUSH2 0x085f
0000011c: JUMPI
0000011d: JUMPDEST
0000011e: PUSH1 0x00
00000120: CALLVALUE
00000121: GT
00000122: ISZERO
00000123: ISZERO
00000124: PUSH2 0x012c
00000127: JUMPI
00000128: PUSH1 0x00
0000012a: DUP1
0000012b: REVERT
0000012c: JUMPDEST
0000012d: CALLER
0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000143: AND
00000144: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000165: CALLVALUE
00000166: PUSH1 0x40
00000168: MLOAD
00000169: DUP1
0000016a: DUP3
0000016b: DUP2
0000016c: MSTORE
0000016d: PUSH1 0x20
0000016f: ADD
00000170: SWAP2
00000171: POP
00000172: POP
00000173: PUSH1 0x40
00000175: MLOAD
00000176: DUP1
00000177: SWAP2
00000178: SUB
00000179: SWAP1
0000017a: LOG2
0000017b: STOP
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: PUSH2 0x01a7
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: CALLDATASIZE
00000191: SUB
00000192: DUP2
00000193: ADD
00000194: SWAP1
00000195: DUP1
00000196: DUP1
00000197: CALLDATALOAD
00000198: SWAP1
00000199: PUSH1 0x20
0000019b: ADD
0000019c: SWAP1
0000019d: SWAP3
0000019e: SWAP2
0000019f: SWAP1
000001a0: POP
000001a1: POP
000001a2: POP
000001a3: PUSH2 0x08c2
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: DUP3
000001ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c2: AND
000001c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d8: AND
000001d9: DUP2
000001da: MSTORE
000001db: PUSH1 0x20
000001dd: ADD
000001de: SWAP2
000001df: POP
000001e0: POP
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: SWAP2
000001e6: SUB
000001e7: SWAP1
000001e8: RETURN
000001e9: JUMPDEST
000001ea: CALLVALUE
000001eb: DUP1
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: POP
000001f7: PUSH2 0x022a
000001fa: PUSH1 0x04
000001fc: DUP1
000001fd: CALLDATASIZE
000001fe: SUB
000001ff: DUP2
00000200: ADD
00000201: SWAP1
00000202: DUP1
00000203: DUP1
00000204: CALLDATALOAD
00000205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021a: AND
0000021b: SWAP1
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: SWAP1
00000220: SWAP3
00000221: SWAP2
00000222: SWAP1
00000223: POP
00000224: POP
00000225: POP
00000226: PUSH2 0x0900
00000229: JUMP
0000022a: JUMPDEST
0000022b: STOP
0000022c: JUMPDEST
0000022d: CALLVALUE
0000022e: DUP1
0000022f: ISZERO
00000230: PUSH2 0x0238
00000233: JUMPI
00000234: PUSH1 0x00
00000236: DUP1
00000237: REVERT
00000238: JUMPDEST
00000239: POP
0000023a: PUSH2 0x0257
0000023d: PUSH1 0x04
0000023f: DUP1
00000240: CALLDATASIZE
00000241: SUB
00000242: DUP2
00000243: ADD
00000244: SWAP1
00000245: DUP1
00000246: DUP1
00000247: CALLDATALOAD
00000248: SWAP1
00000249: PUSH1 0x20
0000024b: ADD
0000024c: SWAP1
0000024d: SWAP3
0000024e: SWAP2
0000024f: SWAP1
00000250: POP
00000251: POP
00000252: POP
00000253: PUSH2 0x0b99
00000256: JUMP
00000257: JUMPDEST
00000258: STOP
00000259: JUMPDEST
0000025a: CALLVALUE
0000025b: DUP1
0000025c: ISZERO
0000025d: PUSH2 0x0265
00000260: JUMPI
00000261: PUSH1 0x00
00000263: DUP1
00000264: REVERT
00000265: JUMPDEST
00000266: POP
00000267: PUSH2 0x029a
0000026a: PUSH1 0x04
0000026c: DUP1
0000026d: CALLDATASIZE
0000026e: SUB
0000026f: DUP2
00000270: ADD
00000271: SWAP1
00000272: DUP1
00000273: DUP1
00000274: CALLDATALOAD
00000275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028a: AND
0000028b: SWAP1
0000028c: PUSH1 0x20
0000028e: ADD
0000028f: SWAP1
00000290: SWAP3
00000291: SWAP2
00000292: SWAP1
00000293: POP
00000294: POP
00000295: POP
00000296: PUSH2 0x0d42
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: DUP1
0000029f: DUP3
000002a0: ISZERO
000002a1: ISZERO
000002a2: ISZERO
000002a3: ISZERO
000002a4: DUP2
000002a5: MSTORE
000002a6: PUSH1 0x20
000002a8: ADD
000002a9: SWAP2
000002aa: POP
000002ab: POP
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: DUP1
000002b0: SWAP2
000002b1: SUB
000002b2: SWAP1
000002b3: RETURN
000002b4: JUMPDEST
000002b5: CALLVALUE
000002b6: DUP1
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x02ff
000002c5: PUSH1 0x04
000002c7: DUP1
000002c8: CALLDATASIZE
000002c9: SUB
000002ca: DUP2
000002cb: ADD
000002cc: SWAP1
000002cd: DUP1
000002ce: DUP1
000002cf: CALLDATALOAD
000002d0: SWAP1
000002d1: PUSH1 0x20
000002d3: ADD
000002d4: SWAP1
000002d5: SWAP3
000002d6: SWAP2
000002d7: SWAP1
000002d8: DUP1
000002d9: CALLDATALOAD
000002da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ef: AND
000002f0: SWAP1
000002f1: PUSH1 0x20
000002f3: ADD
000002f4: SWAP1
000002f5: SWAP3
000002f6: SWAP2
000002f7: SWAP1
000002f8: POP
000002f9: POP
000002fa: POP
000002fb: PUSH2 0x0d62
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH1 0x40
00000302: MLOAD
00000303: DUP1
00000304: DUP3
00000305: ISZERO
00000306: ISZERO
00000307: ISZERO
00000308: ISZERO
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x20
0000030d: ADD
0000030e: SWAP2
0000030f: POP
00000310: POP
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: SWAP2
00000316: SUB
00000317: SWAP1
00000318: RETURN
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x032e
0000032a: PUSH2 0x0d91
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: MLOAD
00000332: DUP1
00000333: DUP3
00000334: ISZERO
00000335: ISZERO
00000336: ISZERO
00000337: ISZERO
00000338: DUP2
00000339: MSTORE
0000033a: PUSH1 0x20
0000033c: ADD
0000033d: SWAP2
0000033e: POP
0000033f: POP
00000340: PUSH1 0x40
00000342: MLOAD
00000343: DUP1
00000344: SWAP2
00000345: SUB
00000346: SWAP1
00000347: RETURN
00000348: JUMPDEST
00000349: CALLVALUE
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: POP
00000356: PUSH2 0x0381
00000359: PUSH1 0x04
0000035b: DUP1
0000035c: CALLDATASIZE
0000035d: SUB
0000035e: DUP2
0000035f: ADD
00000360: SWAP1
00000361: DUP1
00000362: DUP1
00000363: CALLDATALOAD
00000364: ISZERO
00000365: ISZERO
00000366: SWAP1
00000367: PUSH1 0x20
00000369: ADD
0000036a: SWAP1
0000036b: SWAP3
0000036c: SWAP2
0000036d: SWAP1
0000036e: DUP1
0000036f: CALLDATALOAD
00000370: ISZERO
00000371: ISZERO
00000372: SWAP1
00000373: PUSH1 0x20
00000375: ADD
00000376: SWAP1
00000377: SWAP3
00000378: SWAP2
00000379: SWAP1
0000037a: POP
0000037b: POP
0000037c: POP
0000037d: PUSH2 0x0da3
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: DUP3
00000387: DUP2
00000388: MSTORE
00000389: PUSH1 0x20
0000038b: ADD
0000038c: SWAP2
0000038d: POP
0000038e: POP
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: DUP1
00000393: SWAP2
00000394: SUB
00000395: SWAP1
00000396: RETURN
00000397: JUMPDEST
00000398: CALLVALUE
00000399: DUP1
0000039a: ISZERO
0000039b: PUSH2 0x03a3
0000039e: JUMPI
0000039f: PUSH1 0x00
000003a1: DUP1
000003a2: REVERT
000003a3: JUMPDEST
000003a4: POP
000003a5: PUSH2 0x03d8
000003a8: PUSH1 0x04
000003aa: DUP1
000003ab: CALLDATASIZE
000003ac: SUB
000003ad: DUP2
000003ae: ADD
000003af: SWAP1
000003b0: DUP1
000003b1: DUP1
000003b2: CALLDATALOAD
000003b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c8: AND
000003c9: SWAP1
000003ca: PUSH1 0x20
000003cc: ADD
000003cd: SWAP1
000003ce: SWAP3
000003cf: SWAP2
000003d0: SWAP1
000003d1: POP
000003d2: POP
000003d3: POP
000003d4: PUSH2 0x0e37
000003d7: JUMP
000003d8: JUMPDEST
000003d9: STOP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x0405
000003eb: PUSH1 0x04
000003ed: DUP1
000003ee: CALLDATASIZE
000003ef: SUB
000003f0: DUP2
000003f1: ADD
000003f2: SWAP1
000003f3: DUP1
000003f4: DUP1
000003f5: CALLDATALOAD
000003f6: SWAP1
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: SWAP1
000003fb: SWAP3
000003fc: SWAP2
000003fd: SWAP1
000003fe: POP
000003ff: POP
00000400: POP
00000401: PUSH2 0x1043
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: DUP3
0000040b: ISZERO
0000040c: ISZERO
0000040d: ISZERO
0000040e: ISZERO
0000040f: DUP2
00000410: MSTORE
00000411: PUSH1 0x20
00000413: ADD
00000414: SWAP2
00000415: POP
00000416: POP
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: DUP1
0000041b: SWAP2
0000041c: SUB
0000041d: SWAP1
0000041e: RETURN
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: DUP1
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: POP
0000042d: PUSH2 0x044a
00000430: PUSH1 0x04
00000432: DUP1
00000433: CALLDATASIZE
00000434: SUB
00000435: DUP2
00000436: ADD
00000437: SWAP1
00000438: DUP1
00000439: DUP1
0000043a: CALLDATALOAD
0000043b: SWAP1
0000043c: PUSH1 0x20
0000043e: ADD
0000043f: SWAP1
00000440: SWAP3
00000441: SWAP2
00000442: SWAP1
00000443: POP
00000444: POP
00000445: POP
00000446: PUSH2 0x1128
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: DUP1
0000044f: DUP3
00000450: DUP2
00000451: MSTORE
00000452: PUSH1 0x20
00000454: ADD
00000455: SWAP2
00000456: POP
00000457: POP
00000458: PUSH1 0x40
0000045a: MLOAD
0000045b: DUP1
0000045c: SWAP2
0000045d: SUB
0000045e: SWAP1
0000045f: RETURN
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x048b
00000471: PUSH1 0x04
00000473: DUP1
00000474: CALLDATASIZE
00000475: SUB
00000476: DUP2
00000477: ADD
00000478: SWAP1
00000479: DUP1
0000047a: DUP1
0000047b: CALLDATALOAD
0000047c: SWAP1
0000047d: PUSH1 0x20
0000047f: ADD
00000480: SWAP1
00000481: SWAP3
00000482: SWAP2
00000483: SWAP1
00000484: POP
00000485: POP
00000486: POP
00000487: PUSH2 0x11f3
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH1 0x40
0000048e: MLOAD
0000048f: DUP1
00000490: DUP6
00000491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a6: AND
000004a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004bc: AND
000004bd: DUP2
000004be: MSTORE
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: DUP5
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: DUP1
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: DUP4
000004cd: ISZERO
000004ce: ISZERO
000004cf: ISZERO
000004d0: ISZERO
000004d1: DUP2
000004d2: MSTORE
000004d3: PUSH1 0x20
000004d5: ADD
000004d6: DUP3
000004d7: DUP2
000004d8: SUB
000004d9: DUP3
000004da: MSTORE
000004db: DUP5
000004dc: DUP2
000004dd: DUP2
000004de: MLOAD
000004df: DUP2
000004e0: MSTORE
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: SWAP2
000004e5: POP
000004e6: DUP1
000004e7: MLOAD
000004e8: SWAP1
000004e9: PUSH1 0x20
000004eb: ADD
000004ec: SWAP1
000004ed: DUP1
000004ee: DUP4
000004ef: DUP4
000004f0: PUSH1 0x00
000004f2: JUMPDEST
000004f3: DUP4
000004f4: DUP2
000004f5: LT
000004f6: ISZERO
000004f7: PUSH2 0x050d
000004fa: JUMPI
000004fb: DUP1
000004fc: DUP3
000004fd: ADD
000004fe: MLOAD
000004ff: DUP2
00000500: DUP5
00000501: ADD
00000502: MSTORE
00000503: PUSH1 0x20
00000505: DUP2
00000506: ADD
00000507: SWAP1
00000508: POP
00000509: PUSH2 0x04f2
0000050c: JUMP
0000050d: JUMPDEST
0000050e: POP
0000050f: POP
00000510: POP
00000511: POP
00000512: SWAP1
00000513: POP
00000514: SWAP1
00000515: DUP2
00000516: ADD
00000517: SWAP1
00000518: PUSH1 0x1f
0000051a: AND
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x053a
00000520: JUMPI
00000521: DUP1
00000522: DUP3
00000523: SUB
00000524: DUP1
00000525: MLOAD
00000526: PUSH1 0x01
00000528: DUP4
00000529: PUSH1 0x20
0000052b: SUB
0000052c: PUSH2 0x0100
0000052f: EXP
00000530: SUB
00000531: NOT
00000532: AND
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x20
00000537: ADD
00000538: SWAP2
00000539: POP
0000053a: JUMPDEST
0000053b: POP
0000053c: SWAP6
0000053d: POP
0000053e: POP
0000053f: POP
00000540: POP
00000541: POP
00000542: POP
00000543: PUSH1 0x40
00000545: MLOAD
00000546: DUP1
00000547: SWAP2
00000548: SUB
00000549: SWAP1
0000054a: RETURN
0000054b: JUMPDEST
0000054c: CALLVALUE
0000054d: DUP1
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: POP
00000559: PUSH2 0x0560
0000055c: PUSH2 0x12e8
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x40
00000563: MLOAD
00000564: DUP1
00000565: DUP1
00000566: PUSH1 0x20
00000568: ADD
00000569: DUP3
0000056a: DUP2
0000056b: SUB
0000056c: DUP3
0000056d: MSTORE
0000056e: DUP4
0000056f: DUP2
00000570: DUP2
00000571: MLOAD
00000572: DUP2
00000573: MSTORE
00000574: PUSH1 0x20
00000576: ADD
00000577: SWAP2
00000578: POP
00000579: DUP1
0000057a: MLOAD
0000057b: SWAP1
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: SWAP1
00000580: PUSH1 0x20
00000582: MUL
00000583: DUP1
00000584: DUP4
00000585: DUP4
00000586: PUSH1 0x00
00000588: JUMPDEST
00000589: DUP4
0000058a: DUP2
0000058b: LT
0000058c: ISZERO
0000058d: PUSH2 0x05a3
00000590: JUMPI
00000591: DUP1
00000592: DUP3
00000593: ADD
00000594: MLOAD
00000595: DUP2
00000596: DUP5
00000597: ADD
00000598: MSTORE
00000599: PUSH1 0x20
0000059b: DUP2
0000059c: ADD
0000059d: SWAP1
0000059e: POP
0000059f: PUSH2 0x0588
000005a2: JUMP
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: POP
000005a8: SWAP1
000005a9: POP
000005aa: ADD
000005ab: SWAP3
000005ac: POP
000005ad: POP
000005ae: POP
000005af: PUSH1 0x40
000005b1: MLOAD
000005b2: DUP1
000005b3: SWAP2
000005b4: SUB
000005b5: SWAP1
000005b6: RETURN
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x0604
000005c8: PUSH1 0x04
000005ca: DUP1
000005cb: CALLDATASIZE
000005cc: SUB
000005cd: DUP2
000005ce: ADD
000005cf: SWAP1
000005d0: DUP1
000005d1: DUP1
000005d2: CALLDATALOAD
000005d3: SWAP1
000005d4: PUSH1 0x20
000005d6: ADD
000005d7: SWAP1
000005d8: SWAP3
000005d9: SWAP2
000005da: SWAP1
000005db: DUP1
000005dc: CALLDATALOAD
000005dd: SWAP1
000005de: PUSH1 0x20
000005e0: ADD
000005e1: SWAP1
000005e2: SWAP3
000005e3: SWAP2
000005e4: SWAP1
000005e5: DUP1
000005e6: CALLDATALOAD
000005e7: ISZERO
000005e8: ISZERO
000005e9: SWAP1
000005ea: PUSH1 0x20
000005ec: ADD
000005ed: SWAP1
000005ee: SWAP3
000005ef: SWAP2
000005f0: SWAP1
000005f1: DUP1
000005f2: CALLDATALOAD
000005f3: ISZERO
000005f4: ISZERO
000005f5: SWAP1
000005f6: PUSH1 0x20
000005f8: ADD
000005f9: SWAP1
000005fa: SWAP3
000005fb: SWAP2
000005fc: SWAP1
000005fd: POP
000005fe: POP
000005ff: POP
00000600: PUSH2 0x1376
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x40
00000607: MLOAD
00000608: DUP1
00000609: DUP1
0000060a: PUSH1 0x20
0000060c: ADD
0000060d: DUP3
0000060e: DUP2
0000060f: SUB
00000610: DUP3
00000611: MSTORE
00000612: DUP4
00000613: DUP2
00000614: DUP2
00000615: MLOAD
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x20
0000061a: ADD
0000061b: SWAP2
0000061c: POP
0000061d: DUP1
0000061e: MLOAD
0000061f: SWAP1
00000620: PUSH1 0x20
00000622: ADD
00000623: SWAP1
00000624: PUSH1 0x20
00000626: MUL
00000627: DUP1
00000628: DUP4
00000629: DUP4
0000062a: PUSH1 0x00
0000062c: JUMPDEST
0000062d: DUP4
0000062e: DUP2
0000062f: LT
00000630: ISZERO
00000631: PUSH2 0x0647
00000634: JUMPI
00000635: DUP1
00000636: DUP3
00000637: ADD
00000638: MLOAD
00000639: DUP2
0000063a: DUP5
0000063b: ADD
0000063c: MSTORE
0000063d: PUSH1 0x20
0000063f: DUP2
00000640: ADD
00000641: SWAP1
00000642: POP
00000643: PUSH2 0x062c
00000646: JUMP
00000647: JUMPDEST
00000648: POP
00000649: POP
0000064a: POP
0000064b: POP
0000064c: SWAP1
0000064d: POP
0000064e: ADD
0000064f: SWAP3
00000650: POP
00000651: POP
00000652: POP
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: SWAP2
00000658: SUB
00000659: SWAP1
0000065a: RETURN
0000065b: JUMPDEST
0000065c: CALLVALUE
0000065d: DUP1
0000065e: ISZERO
0000065f: PUSH2 0x0667
00000662: JUMPI
00000663: PUSH1 0x00
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: POP
00000669: PUSH2 0x0686
0000066c: PUSH1 0x04
0000066e: DUP1
0000066f: CALLDATASIZE
00000670: SUB
00000671: DUP2
00000672: ADD
00000673: SWAP1
00000674: DUP1
00000675: DUP1
00000676: CALLDATALOAD
00000677: SWAP1
00000678: PUSH1 0x20
0000067a: ADD
0000067b: SWAP1
0000067c: SWAP3
0000067d: SWAP2
0000067e: SWAP1
0000067f: POP
00000680: POP
00000681: POP
00000682: PUSH2 0x14e9
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: DUP1
0000068b: DUP1
0000068c: PUSH1 0x20
0000068e: ADD
0000068f: DUP3
00000690: DUP2
00000691: SUB
00000692: DUP3
00000693: MSTORE
00000694: DUP4
00000695: DUP2
00000696: DUP2
00000697: MLOAD
00000698: DUP2
00000699: MSTORE
0000069a: PUSH1 0x20
0000069c: ADD
0000069d: SWAP2
0000069e: POP
0000069f: DUP1
000006a0: MLOAD
000006a1: SWAP1
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: SWAP1
000006a6: PUSH1 0x20
000006a8: MUL
000006a9: DUP1
000006aa: DUP4
000006ab: DUP4
000006ac: PUSH1 0x00
000006ae: JUMPDEST
000006af: DUP4
000006b0: DUP2
000006b1: LT
000006b2: ISZERO
000006b3: PUSH2 0x06c9
000006b6: JUMPI
000006b7: DUP1
000006b8: DUP3
000006b9: ADD
000006ba: MLOAD
000006bb: DUP2
000006bc: DUP5
000006bd: ADD
000006be: MSTORE
000006bf: PUSH1 0x20
000006c1: DUP2
000006c2: ADD
000006c3: SWAP1
000006c4: POP
000006c5: PUSH2 0x06ae
000006c8: JUMP
000006c9: JUMPDEST
000006ca: POP
000006cb: POP
000006cc: POP
000006cd: POP
000006ce: SWAP1
000006cf: POP
000006d0: ADD
000006d1: SWAP3
000006d2: POP
000006d3: POP
000006d4: POP
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: DUP1
000006d9: SWAP2
000006da: SUB
000006db: SWAP1
000006dc: RETURN
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: DUP1
000006e0: ISZERO
000006e1: PUSH2 0x06e9
000006e4: JUMPI
000006e5: PUSH1 0x00
000006e7: DUP1
000006e8: REVERT
000006e9: JUMPDEST
000006ea: POP
000006eb: PUSH2 0x06f2
000006ee: PUSH2 0x1726
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH1 0x40
000006f5: MLOAD
000006f6: DUP1
000006f7: DUP3
000006f8: DUP2
000006f9: MSTORE
000006fa: PUSH1 0x20
000006fc: ADD
000006fd: SWAP2
000006fe: POP
000006ff: POP
00000700: PUSH1 0x40
00000702: MLOAD
00000703: DUP1
00000704: SWAP2
00000705: SUB
00000706: SWAP1
00000707: RETURN
00000708: JUMPDEST
00000709: CALLVALUE
0000070a: DUP1
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: POP
00000716: PUSH2 0x0733
00000719: PUSH1 0x04
0000071b: DUP1
0000071c: CALLDATASIZE
0000071d: SUB
0000071e: DUP2
0000071f: ADD
00000720: SWAP1
00000721: DUP1
00000722: DUP1
00000723: CALLDATALOAD
00000724: SWAP1
00000725: PUSH1 0x20
00000727: ADD
00000728: SWAP1
00000729: SWAP3
0000072a: SWAP2
0000072b: SWAP1
0000072c: POP
0000072d: POP
0000072e: POP
0000072f: PUSH2 0x172c
00000732: JUMP
00000733: JUMPDEST
00000734: STOP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x0760
00000746: PUSH1 0x04
00000748: DUP1
00000749: CALLDATASIZE
0000074a: SUB
0000074b: DUP2
0000074c: ADD
0000074d: SWAP1
0000074e: DUP1
0000074f: DUP1
00000750: CALLDATALOAD
00000751: SWAP1
00000752: PUSH1 0x20
00000754: ADD
00000755: SWAP1
00000756: SWAP3
00000757: SWAP2
00000758: SWAP1
00000759: POP
0000075a: POP
0000075b: POP
0000075c: PUSH2 0x17ed
0000075f: JUMP
00000760: JUMPDEST
00000761: STOP
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x07f3
00000773: PUSH1 0x04
00000775: DUP1
00000776: CALLDATASIZE
00000777: SUB
00000778: DUP2
00000779: ADD
0000077a: SWAP1
0000077b: DUP1
0000077c: DUP1
0000077d: CALLDATALOAD
0000077e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000793: AND
00000794: SWAP1
00000795: PUSH1 0x20
00000797: ADD
00000798: SWAP1
00000799: SWAP3
0000079a: SWAP2
0000079b: SWAP1
0000079c: DUP1
0000079d: CALLDATALOAD
0000079e: SWAP1
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: SWAP1
000007a3: SWAP3
000007a4: SWAP2
000007a5: SWAP1
000007a6: DUP1
000007a7: CALLDATALOAD
000007a8: SWAP1
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: SWAP1
000007ad: DUP3
000007ae: ADD
000007af: DUP1
000007b0: CALLDATALOAD
000007b1: SWAP1
000007b2: PUSH1 0x20
000007b4: ADD
000007b5: SWAP1
000007b6: DUP1
000007b7: DUP1
000007b8: PUSH1 0x1f
000007ba: ADD
000007bb: PUSH1 0x20
000007bd: DUP1
000007be: SWAP2
000007bf: DIV
000007c0: MUL
000007c1: PUSH1 0x20
000007c3: ADD
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: SWAP1
000007c8: DUP2
000007c9: ADD
000007ca: PUSH1 0x40
000007cc: MSTORE
000007cd: DUP1
000007ce: SWAP4
000007cf: SWAP3
000007d0: SWAP2
000007d1: SWAP1
000007d2: DUP2
000007d3: DUP2
000007d4: MSTORE
000007d5: PUSH1 0x20
000007d7: ADD
000007d8: DUP4
000007d9: DUP4
000007da: DUP1
000007db: DUP3
000007dc: DUP5
000007dd: CALLDATACOPY
000007de: DUP3
000007df: ADD
000007e0: SWAP2
000007e1: POP
000007e2: POP
000007e3: POP
000007e4: POP
000007e5: POP
000007e6: POP
000007e7: SWAP2
000007e8: SWAP3
000007e9: SWAP2
000007ea: SWAP3
000007eb: SWAP1
000007ec: POP
000007ed: POP
000007ee: POP
000007ef: PUSH2 0x19cc
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x40
000007f6: MLOAD
000007f7: DUP1
000007f8: DUP3
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x20
000007fd: ADD
000007fe: SWAP2
000007ff: POP
00000800: POP
00000801: PUSH1 0x40
00000803: MLOAD
00000804: DUP1
00000805: SWAP2
00000806: SUB
00000807: SWAP1
00000808: RETURN
00000809: JUMPDEST
0000080a: CALLVALUE
0000080b: DUP1
0000080c: ISZERO
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x081e
0000081a: PUSH2 0x19eb
0000081d: JUMP
0000081e: JUMPDEST
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: DUP1
00000823: DUP3
00000824: DUP2
00000825: MSTORE
00000826: PUSH1 0x20
00000828: ADD
00000829: SWAP2
0000082a: POP
0000082b: POP
0000082c: PUSH1 0x40
0000082e: MLOAD
0000082f: DUP1
00000830: SWAP2
00000831: SUB
00000832: SWAP1
00000833: RETURN
00000834: JUMPDEST
00000835: CALLVALUE
00000836: DUP1
00000837: ISZERO
00000838: PUSH2 0x0840
0000083b: JUMPI
0000083c: PUSH1 0x00
0000083e: DUP1
0000083f: REVERT
00000840: JUMPDEST
00000841: POP
00000842: PUSH2 0x0849
00000845: PUSH2 0x19f0
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH1 0x40
0000084c: MLOAD
0000084d: DUP1
0000084e: DUP3
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x20
00000853: ADD
00000854: SWAP2
00000855: POP
00000856: POP
00000857: PUSH1 0x40
00000859: MLOAD
0000085a: DUP1
0000085b: SWAP2
0000085c: SUB
0000085d: SWAP1
0000085e: RETURN
0000085f: JUMPDEST
00000860: CALLVALUE
00000861: DUP1
00000862: ISZERO
00000863: PUSH2 0x086b
00000866: JUMPI
00000867: PUSH1 0x00
00000869: DUP1
0000086a: REVERT
0000086b: JUMPDEST
0000086c: POP
0000086d: PUSH2 0x08c0
00000870: PUSH1 0x04
00000872: DUP1
00000873: CALLDATASIZE
00000874: SUB
00000875: DUP2
00000876: ADD
00000877: SWAP1
00000878: DUP1
00000879: DUP1
0000087a: CALLDATALOAD
0000087b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000890: AND
00000891: SWAP1
00000892: PUSH1 0x20
00000894: ADD
00000895: SWAP1
00000896: SWAP3
00000897: SWAP2
00000898: SWAP1
00000899: DUP1
0000089a: CALLDATALOAD
0000089b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b0: AND
000008b1: SWAP1
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: SWAP1
000008b6: SWAP3
000008b7: SWAP2
000008b8: SWAP1
000008b9: POP
000008ba: POP
000008bb: POP
000008bc: PUSH2 0x19f6
000008bf: JUMP
000008c0: JUMPDEST
000008c1: STOP
000008c2: JUMPDEST
000008c3: PUSH1 0x04
000008c5: DUP2
000008c6: DUP2
000008c7: SLOAD
000008c8: DUP2
000008c9: LT
000008ca: ISZERO
000008cb: ISZERO
000008cc: PUSH2 0x08d1
000008cf: JUMPI
000008d0: INVALID
000008d1: JUMPDEST
000008d2: SWAP1
000008d3: PUSH1 0x00
000008d5: MSTORE
000008d6: PUSH1 0x20
000008d8: PUSH1 0x00
000008da: KECCAK256
000008db: ADD
000008dc: PUSH1 0x00
000008de: SWAP2
000008df: POP
000008e0: SLOAD
000008e1: SWAP1
000008e2: PUSH2 0x0100
000008e5: EXP
000008e6: SWAP1
000008e7: DIV
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x00
00000903: ADDRESS
00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000919: AND
0000091a: CALLER
0000091b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000930: AND
00000931: EQ
00000932: ISZERO
00000933: ISZERO
00000934: PUSH2 0x093c
00000937: JUMPI
00000938: PUSH1 0x00
0000093a: DUP1
0000093b: REVERT
0000093c: JUMPDEST
0000093d: DUP2
0000093e: PUSH1 0x03
00000940: PUSH1 0x00
00000942: DUP3
00000943: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000958: AND
00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096e: AND
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP1
00000975: DUP2
00000976: MSTORE
00000977: PUSH1 0x20
00000979: ADD
0000097a: PUSH1 0x00
0000097c: KECCAK256
0000097d: PUSH1 0x00
0000097f: SWAP1
00000980: SLOAD
00000981: SWAP1
00000982: PUSH2 0x0100
00000985: EXP
00000986: SWAP1
00000987: DIV
00000988: PUSH1 0xff
0000098a: AND
0000098b: ISZERO
0000098c: ISZERO
0000098d: PUSH2 0x0995
00000990: JUMPI
00000991: PUSH1 0x00
00000993: DUP1
00000994: REVERT
00000995: JUMPDEST
00000996: PUSH1 0x00
00000998: PUSH1 0x03
0000099a: PUSH1 0x00
0000099c: DUP6
0000099d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b2: AND
000009b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c8: AND
000009c9: DUP2
000009ca: MSTORE
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: SWAP1
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x20
000009d3: ADD
000009d4: PUSH1 0x00
000009d6: KECCAK256
000009d7: PUSH1 0x00
000009d9: PUSH2 0x0100
000009dc: EXP
000009dd: DUP2
000009de: SLOAD
000009df: DUP2
000009e0: PUSH1 0xff
000009e2: MUL
000009e3: NOT
000009e4: AND
000009e5: SWAP1
000009e6: DUP4
000009e7: ISZERO
000009e8: ISZERO
000009e9: MUL
000009ea: OR
000009eb: SWAP1
000009ec: SSTORE
000009ed: POP
000009ee: PUSH1 0x00
000009f0: SWAP2
000009f1: POP
000009f2: JUMPDEST
000009f3: PUSH1 0x01
000009f5: PUSH1 0x04
000009f7: DUP1
000009f8: SLOAD
000009f9: SWAP1
000009fa: POP
000009fb: SUB
000009fc: DUP3
000009fd: LT
000009fe: ISZERO
000009ff: PUSH2 0x0b1a
00000a02: JUMPI
00000a03: DUP3
00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a19: AND
00000a1a: PUSH1 0x04
00000a1c: DUP4
00000a1d: DUP2
00000a1e: SLOAD
00000a1f: DUP2
00000a20: LT
00000a21: ISZERO
00000a22: ISZERO
00000a23: PUSH2 0x0a28
00000a26: JUMPI
00000a27: INVALID
00000a28: JUMPDEST
00000a29: SWAP1
00000a2a: PUSH1 0x00
00000a2c: MSTORE
00000a2d: PUSH1 0x20
00000a2f: PUSH1 0x00
00000a31: KECCAK256
00000a32: ADD
00000a33: PUSH1 0x00
00000a35: SWAP1
00000a36: SLOAD
00000a37: SWAP1
00000a38: PUSH2 0x0100
00000a3b: EXP
00000a3c: SWAP1
00000a3d: DIV
00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a53: AND
00000a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a69: AND
00000a6a: EQ
00000a6b: ISZERO
00000a6c: PUSH2 0x0b0d
00000a6f: JUMPI
00000a70: PUSH1 0x04
00000a72: PUSH1 0x01
00000a74: PUSH1 0x04
00000a76: DUP1
00000a77: SLOAD
00000a78: SWAP1
00000a79: POP
00000a7a: SUB
00000a7b: DUP2
00000a7c: SLOAD
00000a7d: DUP2
00000a7e: LT
00000a7f: ISZERO
00000a80: ISZERO
00000a81: PUSH2 0x0a86
00000a84: JUMPI
00000a85: INVALID
00000a86: JUMPDEST
00000a87: SWAP1
00000a88: PUSH1 0x00
00000a8a: MSTORE
00000a8b: PUSH1 0x20
00000a8d: PUSH1 0x00
00000a8f: KECCAK256
00000a90: ADD
00000a91: PUSH1 0x00
00000a93: SWAP1
00000a94: SLOAD
00000a95: SWAP1
00000a96: PUSH2 0x0100
00000a99: EXP
00000a9a: SWAP1
00000a9b: DIV
00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab1: AND
00000ab2: PUSH1 0x04
00000ab4: DUP4
00000ab5: DUP2
00000ab6: SLOAD
00000ab7: DUP2
00000ab8: LT
00000ab9: ISZERO
00000aba: ISZERO
00000abb: PUSH2 0x0ac0
00000abe: JUMPI
00000abf: INVALID
00000ac0: JUMPDEST
00000ac1: SWAP1
00000ac2: PUSH1 0x00
00000ac4: MSTORE
00000ac5: PUSH1 0x20
00000ac7: PUSH1 0x00
00000ac9: KECCAK256
00000aca: ADD
00000acb: PUSH1 0x00
00000acd: PUSH2 0x0100
00000ad0: EXP
00000ad1: DUP2
00000ad2: SLOAD
00000ad3: DUP2
00000ad4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae9: MUL
00000aea: NOT
00000aeb: AND
00000aec: SWAP1
00000aed: DUP4
00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b03: AND
00000b04: MUL
00000b05: OR
00000b06: SWAP1
00000b07: SSTORE
00000b08: POP
00000b09: PUSH2 0x0b1a
00000b0c: JUMP
00000b0d: JUMPDEST
00000b0e: DUP2
00000b0f: DUP1
00000b10: PUSH1 0x01
00000b12: ADD
00000b13: SWAP3
00000b14: POP
00000b15: POP
00000b16: PUSH2 0x09f2
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x01
00000b1d: PUSH1 0x04
00000b1f: DUP2
00000b20: DUP2
00000b21: DUP1
00000b22: SLOAD
00000b23: SWAP1
00000b24: POP
00000b25: SUB
00000b26: SWAP2
00000b27: POP
00000b28: DUP2
00000b29: PUSH2 0x0b32
00000b2c: SWAP2
00000b2d: SWAP1
00000b2e: PUSH2 0x2018
00000b31: JUMP
00000b32: JUMPDEST
00000b33: POP
00000b34: PUSH1 0x04
00000b36: DUP1
00000b37: SLOAD
00000b38: SWAP1
00000b39: POP
00000b3a: PUSH1 0x05
00000b3c: SLOAD
00000b3d: GT
00000b3e: ISZERO
00000b3f: PUSH2 0x0b51
00000b42: JUMPI
00000b43: PUSH2 0x0b50
00000b46: PUSH1 0x04
00000b48: DUP1
00000b49: SLOAD
00000b4a: SWAP1
00000b4b: POP
00000b4c: PUSH2 0x172c
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: JUMPDEST
00000b52: DUP3
00000b53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b68: AND
00000b69: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: PUSH1 0x40
00000b8f: MLOAD
00000b90: DUP1
00000b91: SWAP2
00000b92: SUB
00000b93: SWAP1
00000b94: LOG2
00000b95: POP
00000b96: POP
00000b97: POP
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: CALLER
00000b9b: PUSH1 0x03
00000b9d: PUSH1 0x00
00000b9f: DUP3
00000ba0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb5: AND
00000bb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcb: AND
00000bcc: DUP2
00000bcd: MSTORE
00000bce: PUSH1 0x20
00000bd0: ADD
00000bd1: SWAP1
00000bd2: DUP2
00000bd3: MSTORE
00000bd4: PUSH1 0x20
00000bd6: ADD
00000bd7: PUSH1 0x00
00000bd9: KECCAK256
00000bda: PUSH1 0x00
00000bdc: SWAP1
00000bdd: SLOAD
00000bde: SWAP1
00000bdf: PUSH2 0x0100
00000be2: EXP
00000be3: SWAP1
00000be4: DIV
00000be5: PUSH1 0xff
00000be7: AND
00000be8: ISZERO
00000be9: ISZERO
00000bea: PUSH2 0x0bf2
00000bed: JUMPI
00000bee: PUSH1 0x00
00000bf0: DUP1
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: DUP2
00000bf4: CALLER
00000bf5: PUSH1 0x02
00000bf7: PUSH1 0x00
00000bf9: DUP4
00000bfa: DUP2
00000bfb: MSTORE
00000bfc: PUSH1 0x20
00000bfe: ADD
00000bff: SWAP1
00000c00: DUP2
00000c01: MSTORE
00000c02: PUSH1 0x20
00000c04: ADD
00000c05: PUSH1 0x00
00000c07: KECCAK256
00000c08: PUSH1 0x00
00000c0a: DUP3
00000c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c20: AND
00000c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c36: AND
00000c37: DUP2
00000c38: MSTORE
00000c39: PUSH1 0x20
00000c3b: ADD
00000c3c: SWAP1
00000c3d: DUP2
00000c3e: MSTORE
00000c3f: PUSH1 0x20
00000c41: ADD
00000c42: PUSH1 0x00
00000c44: KECCAK256
00000c45: PUSH1 0x00
00000c47: SWAP1
00000c48: SLOAD
00000c49: SWAP1
00000c4a: PUSH2 0x0100
00000c4d: EXP
00000c4e: SWAP1
00000c4f: DIV
00000c50: PUSH1 0xff
00000c52: AND
00000c53: ISZERO
00000c54: ISZERO
00000c55: PUSH2 0x0c5d
00000c58: JUMPI
00000c59: PUSH1 0x00
00000c5b: DUP1
00000c5c: REVERT
00000c5d: JUMPDEST
00000c5e: DUP4
00000c5f: PUSH1 0x01
00000c61: PUSH1 0x00
00000c63: DUP3
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x20
00000c68: ADD
00000c69: SWAP1
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x20
00000c6e: ADD
00000c6f: PUSH1 0x00
00000c71: KECCAK256
00000c72: PUSH1 0x03
00000c74: ADD
00000c75: PUSH1 0x00
00000c77: SWAP1
00000c78: SLOAD
00000c79: SWAP1
00000c7a: PUSH2 0x0100
00000c7d: EXP
00000c7e: SWAP1
00000c7f: DIV
00000c80: PUSH1 0xff
00000c82: AND
00000c83: ISZERO
00000c84: ISZERO
00000c85: ISZERO
00000c86: PUSH2 0x0c8e
00000c89: JUMPI
00000c8a: PUSH1 0x00
00000c8c: DUP1
00000c8d: REVERT
00000c8e: JUMPDEST
00000c8f: PUSH1 0x00
00000c91: PUSH1 0x02
00000c93: PUSH1 0x00
00000c95: DUP8
00000c96: DUP2
00000c97: MSTORE
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: SWAP1
00000c9c: DUP2
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: PUSH1 0x00
00000ca3: KECCAK256
00000ca4: PUSH1 0x00
00000ca6: CALLER
00000ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbc: AND
00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd2: AND
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: ADD
00000cd8: SWAP1
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: PUSH1 0x00
00000ce0: KECCAK256
00000ce1: PUSH1 0x00
00000ce3: PUSH2 0x0100
00000ce6: EXP
00000ce7: DUP2
00000ce8: SLOAD
00000ce9: DUP2
00000cea: PUSH1 0xff
00000cec: MUL
00000ced: NOT
00000cee: AND
00000cef: SWAP1
00000cf0: DUP4
00000cf1: ISZERO
00000cf2: ISZERO
00000cf3: MUL
00000cf4: OR
00000cf5: SWAP1
00000cf6: SSTORE
00000cf7: POP
00000cf8: DUP5
00000cf9: CALLER
00000cfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0f: AND
00000d10: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: DUP1
00000d38: SWAP2
00000d39: SUB
00000d3a: SWAP1
00000d3b: LOG3
00000d3c: POP
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x03
00000d45: PUSH1 0x20
00000d47: MSTORE
00000d48: DUP1
00000d49: PUSH1 0x00
00000d4b: MSTORE
00000d4c: PUSH1 0x40
00000d4e: PUSH1 0x00
00000d50: KECCAK256
00000d51: PUSH1 0x00
00000d53: SWAP2
00000d54: POP
00000d55: SLOAD
00000d56: SWAP1
00000d57: PUSH2 0x0100
00000d5a: EXP
00000d5b: SWAP1
00000d5c: DIV
00000d5d: PUSH1 0xff
00000d5f: AND
00000d60: DUP2
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH1 0x02
00000d65: PUSH1 0x20
00000d67: MSTORE
00000d68: DUP2
00000d69: PUSH1 0x00
00000d6b: MSTORE
00000d6c: PUSH1 0x40
00000d6e: PUSH1 0x00
00000d70: KECCAK256
00000d71: PUSH1 0x20
00000d73: MSTORE
00000d74: DUP1
00000d75: PUSH1 0x00
00000d77: MSTORE
00000d78: PUSH1 0x40
00000d7a: PUSH1 0x00
00000d7c: KECCAK256
00000d7d: PUSH1 0x00
00000d7f: SWAP2
00000d80: POP
00000d81: SWAP2
00000d82: POP
00000d83: SWAP1
00000d84: SLOAD
00000d85: SWAP1
00000d86: PUSH2 0x0100
00000d89: EXP
00000d8a: SWAP1
00000d8b: DIV
00000d8c: PUSH1 0xff
00000d8e: AND
00000d8f: DUP2
00000d90: JUMP
00000d91: JUMPDEST
00000d92: PUSH1 0x00
00000d94: DUP1
00000d95: SWAP1
00000d96: SLOAD
00000d97: SWAP1
00000d98: PUSH2 0x0100
00000d9b: EXP
00000d9c: SWAP1
00000d9d: DIV
00000d9e: PUSH1 0xff
00000da0: AND
00000da1: DUP2
00000da2: JUMP
00000da3: JUMPDEST
00000da4: PUSH1 0x00
00000da6: DUP1
00000da7: PUSH1 0x00
00000da9: SWAP1
00000daa: POP
00000dab: JUMPDEST
00000dac: PUSH1 0x06
00000dae: SLOAD
00000daf: DUP2
00000db0: LT
00000db1: ISZERO
00000db2: PUSH2 0x0e30
00000db5: JUMPI
00000db6: DUP4
00000db7: DUP1
00000db8: ISZERO
00000db9: PUSH2 0x0de3
00000dbc: JUMPI
00000dbd: POP
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0x00
00000dc2: DUP3
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: SWAP1
00000dc9: DUP2
00000dca: MSTORE
00000dcb: PUSH1 0x20
00000dcd: ADD
00000dce: PUSH1 0x00
00000dd0: KECCAK256
00000dd1: PUSH1 0x03
00000dd3: ADD
00000dd4: PUSH1 0x00
00000dd6: SWAP1
00000dd7: SLOAD
00000dd8: SWAP1
00000dd9: PUSH2 0x0100
00000ddc: EXP
00000ddd: SWAP1
00000dde: DIV
00000ddf: PUSH1 0xff
00000de1: AND
00000de2: ISZERO
00000de3: JUMPDEST
00000de4: DUP1
00000de5: PUSH2 0x0e17
00000de8: JUMPI
00000de9: POP
00000dea: DUP3
00000deb: DUP1
00000dec: ISZERO
00000ded: PUSH2 0x0e16
00000df0: JUMPI
00000df1: POP
00000df2: PUSH1 0x01
00000df4: PUSH1 0x00
00000df6: DUP3
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: SWAP1
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH1 0x20
00000e01: ADD
00000e02: PUSH1 0x00
00000e04: KECCAK256
00000e05: PUSH1 0x03
00000e07: ADD
00000e08: PUSH1 0x00
00000e0a: SWAP1
00000e0b: SLOAD
00000e0c: SWAP1
00000e0d: PUSH2 0x0100
00000e10: EXP
00000e11: SWAP1
00000e12: DIV
00000e13: PUSH1 0xff
00000e15: AND
00000e16: JUMPDEST
00000e17: JUMPDEST
00000e18: ISZERO
00000e19: PUSH2 0x0e23
00000e1c: JUMPI
00000e1d: PUSH1 0x01
00000e1f: DUP3
00000e20: ADD
00000e21: SWAP2
00000e22: POP
00000e23: JUMPDEST
00000e24: DUP1
00000e25: DUP1
00000e26: PUSH1 0x01
00000e28: ADD
00000e29: SWAP2
00000e2a: POP
00000e2b: POP
00000e2c: PUSH2 0x0dab
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: POP
00000e32: SWAP3
00000e33: SWAP2
00000e34: POP
00000e35: POP
00000e36: JUMP
00000e37: JUMPDEST
00000e38: ADDRESS
00000e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4e: AND
00000e4f: CALLER
00000e50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e65: AND
00000e66: EQ
00000e67: ISZERO
00000e68: ISZERO
00000e69: PUSH2 0x0e71
00000e6c: JUMPI
00000e6d: PUSH1 0x00
00000e6f: DUP1
00000e70: REVERT
00000e71: JUMPDEST
00000e72: DUP1
00000e73: PUSH1 0x03
00000e75: PUSH1 0x00
00000e77: DUP3
00000e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8d: AND
00000e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea3: AND
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x20
00000ea8: ADD
00000ea9: SWAP1
00000eaa: DUP2
00000eab: MSTORE
00000eac: PUSH1 0x20
00000eae: ADD
00000eaf: PUSH1 0x00
00000eb1: KECCAK256
00000eb2: PUSH1 0x00
00000eb4: SWAP1
00000eb5: SLOAD
00000eb6: SWAP1
00000eb7: PUSH2 0x0100
00000eba: EXP
00000ebb: SWAP1
00000ebc: DIV
00000ebd: PUSH1 0xff
00000ebf: AND
00000ec0: ISZERO
00000ec1: ISZERO
00000ec2: ISZERO
00000ec3: PUSH2 0x0ecb
00000ec6: JUMPI
00000ec7: PUSH1 0x00
00000ec9: DUP1
00000eca: REVERT
00000ecb: JUMPDEST
00000ecc: DUP2
00000ecd: PUSH1 0x00
00000ecf: DUP2
00000ed0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee5: AND
00000ee6: EQ
00000ee7: ISZERO
00000ee8: ISZERO
00000ee9: ISZERO
00000eea: PUSH2 0x0ef2
00000eed: JUMPI
00000eee: PUSH1 0x00
00000ef0: DUP1
00000ef1: REVERT
00000ef2: JUMPDEST
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0x04
00000ef7: DUP1
00000ef8: SLOAD
00000ef9: SWAP1
00000efa: POP
00000efb: ADD
00000efc: PUSH1 0x05
00000efe: SLOAD
00000eff: PUSH1 0x32
00000f01: DUP3
00000f02: LT
00000f03: ISZERO
00000f04: ISZERO
00000f05: PUSH2 0x0f0d
00000f08: JUMPI
00000f09: PUSH1 0x00
00000f0b: DUP1
00000f0c: REVERT
00000f0d: JUMPDEST
00000f0e: DUP2
00000f0f: DUP2
00000f10: LT
00000f11: ISZERO
00000f12: ISZERO
00000f13: PUSH2 0x0f1b
00000f16: JUMPI
00000f17: PUSH1 0x00
00000f19: DUP1
00000f1a: REVERT
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: DUP2
00000f1f: EQ
00000f20: ISZERO
00000f21: ISZERO
00000f22: ISZERO
00000f23: PUSH2 0x0f2b
00000f26: JUMPI
00000f27: PUSH1 0x00
00000f29: DUP1
00000f2a: REVERT
00000f2b: JUMPDEST
00000f2c: PUSH1 0x00
00000f2e: DUP3
00000f2f: EQ
00000f30: ISZERO
00000f31: ISZERO
00000f32: ISZERO
00000f33: PUSH2 0x0f3b
00000f36: JUMPI
00000f37: PUSH1 0x00
00000f39: DUP1
00000f3a: REVERT
00000f3b: JUMPDEST
00000f3c: PUSH1 0x01
00000f3e: PUSH1 0x03
00000f40: PUSH1 0x00
00000f42: DUP8
00000f43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f58: AND
00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6e: AND
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x20
00000f73: ADD
00000f74: SWAP1
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: ADD
00000f7a: PUSH1 0x00
00000f7c: KECCAK256
00000f7d: PUSH1 0x00
00000f7f: PUSH2 0x0100
00000f82: EXP
00000f83: DUP2
00000f84: SLOAD
00000f85: DUP2
00000f86: PUSH1 0xff
00000f88: MUL
00000f89: NOT
00000f8a: AND
00000f8b: SWAP1
00000f8c: DUP4
00000f8d: ISZERO
00000f8e: ISZERO
00000f8f: MUL
00000f90: OR
00000f91: SWAP1
00000f92: SSTORE
00000f93: POP
00000f94: PUSH1 0x04
00000f96: DUP6
00000f97: SWAP1
00000f98: DUP1
00000f99: PUSH1 0x01
00000f9b: DUP2
00000f9c: SLOAD
00000f9d: ADD
00000f9e: DUP1
00000f9f: DUP3
00000fa0: SSTORE
00000fa1: DUP1
00000fa2: SWAP2
00000fa3: POP
00000fa4: POP
00000fa5: SWAP1
00000fa6: PUSH1 0x01
00000fa8: DUP3
00000fa9: SUB
00000faa: SWAP1
00000fab: PUSH1 0x00
00000fad: MSTORE
00000fae: PUSH1 0x20
00000fb0: PUSH1 0x00
00000fb2: KECCAK256
00000fb3: ADD
00000fb4: PUSH1 0x00
00000fb6: SWAP1
00000fb7: SWAP2
00000fb8: SWAP3
00000fb9: SWAP1
00000fba: SWAP2
00000fbb: SWAP1
00000fbc: SWAP2
00000fbd: PUSH2 0x0100
00000fc0: EXP
00000fc1: DUP2
00000fc2: SLOAD
00000fc3: DUP2
00000fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd9: MUL
00000fda: NOT
00000fdb: AND
00000fdc: SWAP1
00000fdd: DUP4
00000fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff3: AND
00000ff4: MUL
00000ff5: OR
00000ff6: SWAP1
00000ff7: SSTORE
00000ff8: POP
00000ff9: POP
00000ffa: DUP5
00000ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001010: AND
00001011: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001032: PUSH1 0x40
00001034: MLOAD
00001035: PUSH1 0x40
00001037: MLOAD
00001038: DUP1
00001039: SWAP2
0000103a: SUB
0000103b: SWAP1
0000103c: LOG2
0000103d: POP
0000103e: POP
0000103f: POP
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH1 0x00
00001046: DUP1
00001047: PUSH1 0x00
00001049: DUP1
0000104a: SWAP2
0000104b: POP
0000104c: PUSH1 0x00
0000104e: SWAP1
0000104f: POP
00001050: JUMPDEST
00001051: PUSH1 0x04
00001053: DUP1
00001054: SLOAD
00001055: SWAP1
00001056: POP
00001057: DUP2
00001058: LT
00001059: ISZERO
0000105a: PUSH2 0x1120
0000105d: JUMPI
0000105e: PUSH1 0x02
00001060: PUSH1 0x00
00001062: DUP6
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x20
00001067: ADD
00001068: SWAP1
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: PUSH1 0x00
00001070: KECCAK256
00001071: PUSH1 0x00
00001073: PUSH1 0x04
00001075: DUP4
00001076: DUP2
00001077: SLOAD
00001078: DUP2
00001079: LT
0000107a: ISZERO
0000107b: ISZERO
0000107c: PUSH2 0x1081
0000107f: JUMPI
00001080: INVALID
00001081: JUMPDEST
00001082: SWAP1
00001083: PUSH1 0x00
00001085: MSTORE
00001086: PUSH1 0x20
00001088: PUSH1 0x00
0000108a: KECCAK256
0000108b: ADD
0000108c: PUSH1 0x00
0000108e: SWAP1
0000108f: SLOAD
00001090: SWAP1
00001091: PUSH2 0x0100
00001094: EXP
00001095: SWAP1
00001096: DIV
00001097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ac: AND
000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c2: AND
000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d8: AND
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x20
000010dd: ADD
000010de: SWAP1
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: PUSH1 0x00
000010e6: KECCAK256
000010e7: PUSH1 0x00
000010e9: SWAP1
000010ea: SLOAD
000010eb: SWAP1
000010ec: PUSH2 0x0100
000010ef: EXP
000010f0: SWAP1
000010f1: DIV
000010f2: PUSH1 0xff
000010f4: AND
000010f5: ISZERO
000010f6: PUSH2 0x1100
000010f9: JUMPI
000010fa: PUSH1 0x01
000010fc: DUP3
000010fd: ADD
000010fe: SWAP2
000010ff: POP
00001100: JUMPDEST
00001101: PUSH1 0x05
00001103: SLOAD
00001104: DUP3
00001105: EQ
00001106: ISZERO
00001107: PUSH2 0x1113
0000110a: JUMPI
0000110b: PUSH1 0x01
0000110d: SWAP3
0000110e: POP
0000110f: PUSH2 0x1121
00001112: JUMP
00001113: JUMPDEST
00001114: DUP1
00001115: DUP1
00001116: PUSH1 0x01
00001118: ADD
00001119: SWAP2
0000111a: POP
0000111b: POP
0000111c: PUSH2 0x1050
0000111f: JUMP
00001120: JUMPDEST
00001121: JUMPDEST
00001122: POP
00001123: POP
00001124: SWAP2
00001125: SWAP1
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x00
0000112b: DUP1
0000112c: PUSH1 0x00
0000112e: SWAP1
0000112f: POP
00001130: JUMPDEST
00001131: PUSH1 0x04
00001133: DUP1
00001134: SLOAD
00001135: SWAP1
00001136: POP
00001137: DUP2
00001138: LT
00001139: ISZERO
0000113a: PUSH2 0x11ed
0000113d: JUMPI
0000113e: PUSH1 0x02
00001140: PUSH1 0x00
00001142: DUP5
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x20
00001147: ADD
00001148: SWAP1
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x20
0000114d: ADD
0000114e: PUSH1 0x00
00001150: KECCAK256
00001151: PUSH1 0x00
00001153: PUSH1 0x04
00001155: DUP4
00001156: DUP2
00001157: SLOAD
00001158: DUP2
00001159: LT
0000115a: ISZERO
0000115b: ISZERO
0000115c: PUSH2 0x1161
0000115f: JUMPI
00001160: INVALID
00001161: JUMPDEST
00001162: SWAP1
00001163: PUSH1 0x00
00001165: MSTORE
00001166: PUSH1 0x20
00001168: PUSH1 0x00
0000116a: KECCAK256
0000116b: ADD
0000116c: PUSH1 0x00
0000116e: SWAP1
0000116f: SLOAD
00001170: SWAP1
00001171: PUSH2 0x0100
00001174: EXP
00001175: SWAP1
00001176: DIV
00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118c: AND
0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a2: AND
000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b8: AND
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x20
000011bd: ADD
000011be: SWAP1
000011bf: DUP2
000011c0: MSTORE
000011c1: PUSH1 0x20
000011c3: ADD
000011c4: PUSH1 0x00
000011c6: KECCAK256
000011c7: PUSH1 0x00
000011c9: SWAP1
000011ca: SLOAD
000011cb: SWAP1
000011cc: PUSH2 0x0100
000011cf: EXP
000011d0: SWAP1
000011d1: DIV
000011d2: PUSH1 0xff
000011d4: AND
000011d5: ISZERO
000011d6: PUSH2 0x11e0
000011d9: JUMPI
000011da: PUSH1 0x01
000011dc: DUP3
000011dd: ADD
000011de: SWAP2
000011df: POP
000011e0: JUMPDEST
000011e1: DUP1
000011e2: DUP1
000011e3: PUSH1 0x01
000011e5: ADD
000011e6: SWAP2
000011e7: POP
000011e8: POP
000011e9: PUSH2 0x1130
000011ec: JUMP
000011ed: JUMPDEST
000011ee: POP
000011ef: SWAP2
000011f0: SWAP1
000011f1: POP
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x01
000011f6: PUSH1 0x20
000011f8: MSTORE
000011f9: DUP1
000011fa: PUSH1 0x00
000011fc: MSTORE
000011fd: PUSH1 0x40
000011ff: PUSH1 0x00
00001201: KECCAK256
00001202: PUSH1 0x00
00001204: SWAP2
00001205: POP
00001206: SWAP1
00001207: POP
00001208: DUP1
00001209: PUSH1 0x00
0000120b: ADD
0000120c: PUSH1 0x00
0000120e: SWAP1
0000120f: SLOAD
00001210: SWAP1
00001211: PUSH2 0x0100
00001214: EXP
00001215: SWAP1
00001216: DIV
00001217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122c: AND
0000122d: SWAP1
0000122e: DUP1
0000122f: PUSH1 0x01
00001231: ADD
00001232: SLOAD
00001233: SWAP1
00001234: DUP1
00001235: PUSH1 0x02
00001237: ADD
00001238: DUP1
00001239: SLOAD
0000123a: PUSH1 0x01
0000123c: DUP2
0000123d: PUSH1 0x01
0000123f: AND
00001240: ISZERO
00001241: PUSH2 0x0100
00001244: MUL
00001245: SUB
00001246: AND
00001247: PUSH1 0x02
00001249: SWAP1
0000124a: DIV
0000124b: DUP1
0000124c: PUSH1 0x1f
0000124e: ADD
0000124f: PUSH1 0x20
00001251: DUP1
00001252: SWAP2
00001253: DIV
00001254: MUL
00001255: PUSH1 0x20
00001257: ADD
00001258: PUSH1 0x40
0000125a: MLOAD
0000125b: SWAP1
0000125c: DUP2
0000125d: ADD
0000125e: PUSH1 0x40
00001260: MSTORE
00001261: DUP1
00001262: SWAP3
00001263: SWAP2
00001264: SWAP1
00001265: DUP2
00001266: DUP2
00001267: MSTORE
00001268: PUSH1 0x20
0000126a: ADD
0000126b: DUP3
0000126c: DUP1
0000126d: SLOAD
0000126e: PUSH1 0x01
00001270: DUP2
00001271: PUSH1 0x01
00001273: AND
00001274: ISZERO
00001275: PUSH2 0x0100
00001278: MUL
00001279: SUB
0000127a: AND
0000127b: PUSH1 0x02
0000127d: SWAP1
0000127e: DIV
0000127f: DUP1
00001280: ISZERO
00001281: PUSH2 0x12cb
00001284: JUMPI
00001285: DUP1
00001286: PUSH1 0x1f
00001288: LT
00001289: PUSH2 0x12a0
0000128c: JUMPI
0000128d: PUSH2 0x0100
00001290: DUP1
00001291: DUP4
00001292: SLOAD
00001293: DIV
00001294: MUL
00001295: DUP4
00001296: MSTORE
00001297: SWAP2
00001298: PUSH1 0x20
0000129a: ADD
0000129b: SWAP2
0000129c: PUSH2 0x12cb
0000129f: JUMP
000012a0: JUMPDEST
000012a1: DUP3
000012a2: ADD
000012a3: SWAP2
000012a4: SWAP1
000012a5: PUSH1 0x00
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: PUSH1 0x00
000012ac: KECCAK256
000012ad: SWAP1
000012ae: JUMPDEST
000012af: DUP2
000012b0: SLOAD
000012b1: DUP2
000012b2: MSTORE
000012b3: SWAP1
000012b4: PUSH1 0x01
000012b6: ADD
000012b7: SWAP1
000012b8: PUSH1 0x20
000012ba: ADD
000012bb: DUP1
000012bc: DUP4
000012bd: GT
000012be: PUSH2 0x12ae
000012c1: JUMPI
000012c2: DUP3
000012c3: SWAP1
000012c4: SUB
000012c5: PUSH1 0x1f
000012c7: AND
000012c8: DUP3
000012c9: ADD
000012ca: SWAP2
000012cb: JUMPDEST
000012cc: POP
000012cd: POP
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: SWAP1
000012d2: DUP1
000012d3: PUSH1 0x03
000012d5: ADD
000012d6: PUSH1 0x00
000012d8: SWAP1
000012d9: SLOAD
000012da: SWAP1
000012db: PUSH2 0x0100
000012de: EXP
000012df: SWAP1
000012e0: DIV
000012e1: PUSH1 0xff
000012e3: AND
000012e4: SWAP1
000012e5: POP
000012e6: DUP5
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH1 0x60
000012eb: PUSH1 0x04
000012ed: DUP1
000012ee: SLOAD
000012ef: DUP1
000012f0: PUSH1 0x20
000012f2: MUL
000012f3: PUSH1 0x20
000012f5: ADD
000012f6: PUSH1 0x40
000012f8: MLOAD
000012f9: SWAP1
000012fa: DUP2
000012fb: ADD
000012fc: PUSH1 0x40
000012fe: MSTORE
000012ff: DUP1
00001300: SWAP3
00001301: SWAP2
00001302: SWAP1
00001303: DUP2
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x20
00001308: ADD
00001309: DUP3
0000130a: DUP1
0000130b: SLOAD
0000130c: DUP1
0000130d: ISZERO
0000130e: PUSH2 0x136c
00001311: JUMPI
00001312: PUSH1 0x20
00001314: MUL
00001315: DUP3
00001316: ADD
00001317: SWAP2
00001318: SWAP1
00001319: PUSH1 0x00
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x00
00001320: KECCAK256
00001321: SWAP1
00001322: JUMPDEST
00001323: DUP2
00001324: PUSH1 0x00
00001326: SWAP1
00001327: SLOAD
00001328: SWAP1
00001329: PUSH2 0x0100
0000132c: EXP
0000132d: SWAP1
0000132e: DIV
0000132f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001344: AND
00001345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135a: AND
0000135b: DUP2
0000135c: MSTORE
0000135d: PUSH1 0x20
0000135f: ADD
00001360: SWAP1
00001361: PUSH1 0x01
00001363: ADD
00001364: SWAP1
00001365: DUP1
00001366: DUP4
00001367: GT
00001368: PUSH2 0x1322
0000136b: JUMPI
0000136c: JUMPDEST
0000136d: POP
0000136e: POP
0000136f: POP
00001370: POP
00001371: POP
00001372: SWAP1
00001373: POP
00001374: SWAP1
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x60
00001379: DUP1
0000137a: PUSH1 0x00
0000137c: DUP1
0000137d: PUSH1 0x06
0000137f: SLOAD
00001380: PUSH1 0x40
00001382: MLOAD
00001383: SWAP1
00001384: DUP1
00001385: DUP3
00001386: MSTORE
00001387: DUP1
00001388: PUSH1 0x20
0000138a: MUL
0000138b: PUSH1 0x20
0000138d: ADD
0000138e: DUP3
0000138f: ADD
00001390: PUSH1 0x40
00001392: MSTORE
00001393: DUP1
00001394: ISZERO
00001395: PUSH2 0x13ad
00001398: JUMPI
00001399: DUP2
0000139a: PUSH1 0x20
0000139c: ADD
0000139d: PUSH1 0x20
0000139f: DUP3
000013a0: MUL
000013a1: DUP1
000013a2: CODESIZE
000013a3: DUP4
000013a4: CODECOPY
000013a5: DUP1
000013a6: DUP3
000013a7: ADD
000013a8: SWAP2
000013a9: POP
000013aa: POP
000013ab: SWAP1
000013ac: POP
000013ad: JUMPDEST
000013ae: POP
000013af: SWAP3
000013b0: POP
000013b1: PUSH1 0x00
000013b3: SWAP2
000013b4: POP
000013b5: PUSH1 0x00
000013b7: SWAP1
000013b8: POP
000013b9: JUMPDEST
000013ba: PUSH1 0x06
000013bc: SLOAD
000013bd: DUP2
000013be: LT
000013bf: ISZERO
000013c0: PUSH2 0x145b
000013c3: JUMPI
000013c4: DUP6
000013c5: DUP1
000013c6: ISZERO
000013c7: PUSH2 0x13f1
000013ca: JUMPI
000013cb: POP
000013cc: PUSH1 0x01
000013ce: PUSH1 0x00
000013d0: DUP3
000013d1: DUP2
000013d2: MSTORE
000013d3: PUSH1 0x20
000013d5: ADD
000013d6: SWAP1
000013d7: DUP2
000013d8: MSTORE
000013d9: PUSH1 0x20
000013db: ADD
000013dc: PUSH1 0x00
000013de: KECCAK256
000013df: PUSH1 0x03
000013e1: ADD
000013e2: PUSH1 0x00
000013e4: SWAP1
000013e5: SLOAD
000013e6: SWAP1
000013e7: PUSH2 0x0100
000013ea: EXP
000013eb: SWAP1
000013ec: DIV
000013ed: PUSH1 0xff
000013ef: AND
000013f0: ISZERO
000013f1: JUMPDEST
000013f2: DUP1
000013f3: PUSH2 0x1425
000013f6: JUMPI
000013f7: POP
000013f8: DUP5
000013f9: DUP1
000013fa: ISZERO
000013fb: PUSH2 0x1424
000013fe: JUMPI
000013ff: POP
00001400: PUSH1 0x01
00001402: PUSH1 0x00
00001404: DUP3
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x20
00001409: ADD
0000140a: SWAP1
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x20
0000140f: ADD
00001410: PUSH1 0x00
00001412: KECCAK256
00001413: PUSH1 0x03
00001415: ADD
00001416: PUSH1 0x00
00001418: SWAP1
00001419: SLOAD
0000141a: SWAP1
0000141b: PUSH2 0x0100
0000141e: EXP
0000141f: SWAP1
00001420: DIV
00001421: PUSH1 0xff
00001423: AND
00001424: JUMPDEST
00001425: JUMPDEST
00001426: ISZERO
00001427: PUSH2 0x144e
0000142a: JUMPI
0000142b: DUP1
0000142c: DUP4
0000142d: DUP4
0000142e: DUP2
0000142f: MLOAD
00001430: DUP2
00001431: LT
00001432: ISZERO
00001433: ISZERO
00001434: PUSH2 0x1439
00001437: JUMPI
00001438: INVALID
00001439: JUMPDEST
0000143a: SWAP1
0000143b: PUSH1 0x20
0000143d: ADD
0000143e: SWAP1
0000143f: PUSH1 0x20
00001441: MUL
00001442: ADD
00001443: DUP2
00001444: DUP2
00001445: MSTORE
00001446: POP
00001447: POP
00001448: PUSH1 0x01
0000144a: DUP3
0000144b: ADD
0000144c: SWAP2
0000144d: POP
0000144e: JUMPDEST
0000144f: DUP1
00001450: DUP1
00001451: PUSH1 0x01
00001453: ADD
00001454: SWAP2
00001455: POP
00001456: POP
00001457: PUSH2 0x13b9
0000145a: JUMP
0000145b: JUMPDEST
0000145c: DUP8
0000145d: DUP8
0000145e: SUB
0000145f: PUSH1 0x40
00001461: MLOAD
00001462: SWAP1
00001463: DUP1
00001464: DUP3
00001465: MSTORE
00001466: DUP1
00001467: PUSH1 0x20
00001469: MUL
0000146a: PUSH1 0x20
0000146c: ADD
0000146d: DUP3
0000146e: ADD
0000146f: PUSH1 0x40
00001471: MSTORE
00001472: DUP1
00001473: ISZERO
00001474: PUSH2 0x148c
00001477: JUMPI
00001478: DUP2
00001479: PUSH1 0x20
0000147b: ADD
0000147c: PUSH1 0x20
0000147e: DUP3
0000147f: MUL
00001480: DUP1
00001481: CODESIZE
00001482: DUP4
00001483: CODECOPY
00001484: DUP1
00001485: DUP3
00001486: ADD
00001487: SWAP2
00001488: POP
00001489: POP
0000148a: SWAP1
0000148b: POP
0000148c: JUMPDEST
0000148d: POP
0000148e: SWAP4
0000148f: POP
00001490: DUP8
00001491: SWAP1
00001492: POP
00001493: JUMPDEST
00001494: DUP7
00001495: DUP2
00001496: LT
00001497: ISZERO
00001498: PUSH2 0x14de
0000149b: JUMPI
0000149c: DUP3
0000149d: DUP2
0000149e: DUP2
0000149f: MLOAD
000014a0: DUP2
000014a1: LT
000014a2: ISZERO
000014a3: ISZERO
000014a4: PUSH2 0x14a9
000014a7: JUMPI
000014a8: INVALID
000014a9: JUMPDEST
000014aa: SWAP1
000014ab: PUSH1 0x20
000014ad: ADD
000014ae: SWAP1
000014af: PUSH1 0x20
000014b1: MUL
000014b2: ADD
000014b3: MLOAD
000014b4: DUP5
000014b5: DUP10
000014b6: DUP4
000014b7: SUB
000014b8: DUP2
000014b9: MLOAD
000014ba: DUP2
000014bb: LT
000014bc: ISZERO
000014bd: ISZERO
000014be: PUSH2 0x14c3
000014c1: JUMPI
000014c2: INVALID
000014c3: JUMPDEST
000014c4: SWAP1
000014c5: PUSH1 0x20
000014c7: ADD
000014c8: SWAP1
000014c9: PUSH1 0x20
000014cb: MUL
000014cc: ADD
000014cd: DUP2
000014ce: DUP2
000014cf: MSTORE
000014d0: POP
000014d1: POP
000014d2: DUP1
000014d3: DUP1
000014d4: PUSH1 0x01
000014d6: ADD
000014d7: SWAP2
000014d8: POP
000014d9: POP
000014da: PUSH2 0x1493
000014dd: JUMP
000014de: JUMPDEST
000014df: POP
000014e0: POP
000014e1: POP
000014e2: SWAP5
000014e3: SWAP4
000014e4: POP
000014e5: POP
000014e6: POP
000014e7: POP
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH1 0x60
000014ec: DUP1
000014ed: PUSH1 0x00
000014ef: DUP1
000014f0: PUSH1 0x04
000014f2: DUP1
000014f3: SLOAD
000014f4: SWAP1
000014f5: POP
000014f6: PUSH1 0x40
000014f8: MLOAD
000014f9: SWAP1
000014fa: DUP1
000014fb: DUP3
000014fc: MSTORE
000014fd: DUP1
000014fe: PUSH1 0x20
00001500: MUL
00001501: PUSH1 0x20
00001503: ADD
00001504: DUP3
00001505: ADD
00001506: PUSH1 0x40
00001508: MSTORE
00001509: DUP1
0000150a: ISZERO
0000150b: PUSH2 0x1523
0000150e: JUMPI
0000150f: DUP2
00001510: PUSH1 0x20
00001512: ADD
00001513: PUSH1 0x20
00001515: DUP3
00001516: MUL
00001517: DUP1
00001518: CODESIZE
00001519: DUP4
0000151a: CODECOPY
0000151b: DUP1
0000151c: DUP3
0000151d: ADD
0000151e: SWAP2
0000151f: POP
00001520: POP
00001521: SWAP1
00001522: POP
00001523: JUMPDEST
00001524: POP
00001525: SWAP3
00001526: POP
00001527: PUSH1 0x00
00001529: SWAP2
0000152a: POP
0000152b: PUSH1 0x00
0000152d: SWAP1
0000152e: POP
0000152f: JUMPDEST
00001530: PUSH1 0x04
00001532: DUP1
00001533: SLOAD
00001534: SWAP1
00001535: POP
00001536: DUP2
00001537: LT
00001538: ISZERO
00001539: PUSH2 0x1670
0000153c: JUMPI
0000153d: PUSH1 0x02
0000153f: PUSH1 0x00
00001541: DUP7
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x20
00001546: ADD
00001547: SWAP1
00001548: DUP2
00001549: MSTORE
0000154a: PUSH1 0x20
0000154c: ADD
0000154d: PUSH1 0x00
0000154f: KECCAK256
00001550: PUSH1 0x00
00001552: PUSH1 0x04
00001554: DUP4
00001555: DUP2
00001556: SLOAD
00001557: DUP2
00001558: LT
00001559: ISZERO
0000155a: ISZERO
0000155b: PUSH2 0x1560
0000155e: JUMPI
0000155f: INVALID
00001560: JUMPDEST
00001561: SWAP1
00001562: PUSH1 0x00
00001564: MSTORE
00001565: PUSH1 0x20
00001567: PUSH1 0x00
00001569: KECCAK256
0000156a: ADD
0000156b: PUSH1 0x00
0000156d: SWAP1
0000156e: SLOAD
0000156f: SWAP1
00001570: PUSH2 0x0100
00001573: EXP
00001574: SWAP1
00001575: DIV
00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158b: AND
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: PUSH1 0x00
000015c8: SWAP1
000015c9: SLOAD
000015ca: SWAP1
000015cb: PUSH2 0x0100
000015ce: EXP
000015cf: SWAP1
000015d0: DIV
000015d1: PUSH1 0xff
000015d3: AND
000015d4: ISZERO
000015d5: PUSH2 0x1663
000015d8: JUMPI
000015d9: PUSH1 0x04
000015db: DUP2
000015dc: DUP2
000015dd: SLOAD
000015de: DUP2
000015df: LT
000015e0: ISZERO
000015e1: ISZERO
000015e2: PUSH2 0x15e7
000015e5: JUMPI
000015e6: INVALID
000015e7: JUMPDEST
000015e8: SWAP1
000015e9: PUSH1 0x00
000015eb: MSTORE
000015ec: PUSH1 0x20
000015ee: PUSH1 0x00
000015f0: KECCAK256
000015f1: ADD
000015f2: PUSH1 0x00
000015f4: SWAP1
000015f5: SLOAD
000015f6: SWAP1
000015f7: PUSH2 0x0100
000015fa: EXP
000015fb: SWAP1
000015fc: DIV
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: AND
00001613: DUP4
00001614: DUP4
00001615: DUP2
00001616: MLOAD
00001617: DUP2
00001618: LT
00001619: ISZERO
0000161a: ISZERO
0000161b: PUSH2 0x1620
0000161e: JUMPI
0000161f: INVALID
00001620: JUMPDEST
00001621: SWAP1
00001622: PUSH1 0x20
00001624: ADD
00001625: SWAP1
00001626: PUSH1 0x20
00001628: MUL
00001629: ADD
0000162a: SWAP1
0000162b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001640: AND
00001641: SWAP1
00001642: DUP2
00001643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001658: AND
00001659: DUP2
0000165a: MSTORE
0000165b: POP
0000165c: POP
0000165d: PUSH1 0x01
0000165f: DUP3
00001660: ADD
00001661: SWAP2
00001662: POP
00001663: JUMPDEST
00001664: DUP1
00001665: DUP1
00001666: PUSH1 0x01
00001668: ADD
00001669: SWAP2
0000166a: POP
0000166b: POP
0000166c: PUSH2 0x152f
0000166f: JUMP
00001670: JUMPDEST
00001671: DUP2
00001672: PUSH1 0x40
00001674: MLOAD
00001675: SWAP1
00001676: DUP1
00001677: DUP3
00001678: MSTORE
00001679: DUP1
0000167a: PUSH1 0x20
0000167c: MUL
0000167d: PUSH1 0x20
0000167f: ADD
00001680: DUP3
00001681: ADD
00001682: PUSH1 0x40
00001684: MSTORE
00001685: DUP1
00001686: ISZERO
00001687: PUSH2 0x169f
0000168a: JUMPI
0000168b: DUP2
0000168c: PUSH1 0x20
0000168e: ADD
0000168f: PUSH1 0x20
00001691: DUP3
00001692: MUL
00001693: DUP1
00001694: CODESIZE
00001695: DUP4
00001696: CODECOPY
00001697: DUP1
00001698: DUP3
00001699: ADD
0000169a: SWAP2
0000169b: POP
0000169c: POP
0000169d: SWAP1
0000169e: POP
0000169f: JUMPDEST
000016a0: POP
000016a1: SWAP4
000016a2: POP
000016a3: PUSH1 0x00
000016a5: SWAP1
000016a6: POP
000016a7: JUMPDEST
000016a8: DUP2
000016a9: DUP2
000016aa: LT
000016ab: ISZERO
000016ac: PUSH2 0x171e
000016af: JUMPI
000016b0: DUP3
000016b1: DUP2
000016b2: DUP2
000016b3: MLOAD
000016b4: DUP2
000016b5: LT
000016b6: ISZERO
000016b7: ISZERO
000016b8: PUSH2 0x16bd
000016bb: JUMPI
000016bc: INVALID
000016bd: JUMPDEST
000016be: SWAP1
000016bf: PUSH1 0x20
000016c1: ADD
000016c2: SWAP1
000016c3: PUSH1 0x20
000016c5: MUL
000016c6: ADD
000016c7: MLOAD
000016c8: DUP5
000016c9: DUP3
000016ca: DUP2
000016cb: MLOAD
000016cc: DUP2
000016cd: LT
000016ce: ISZERO
000016cf: ISZERO
000016d0: PUSH2 0x16d5
000016d3: JUMPI
000016d4: INVALID
000016d5: JUMPDEST
000016d6: SWAP1
000016d7: PUSH1 0x20
000016d9: ADD
000016da: SWAP1
000016db: PUSH1 0x20
000016dd: MUL
000016de: ADD
000016df: SWAP1
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: SWAP1
000016f7: DUP2
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: DUP2
0000170f: MSTORE
00001710: POP
00001711: POP
00001712: DUP1
00001713: DUP1
00001714: PUSH1 0x01
00001716: ADD
00001717: SWAP2
00001718: POP
00001719: POP
0000171a: PUSH2 0x16a7
0000171d: JUMP
0000171e: JUMPDEST
0000171f: POP
00001720: POP
00001721: POP
00001722: SWAP2
00001723: SWAP1
00001724: POP
00001725: JUMP
00001726: JUMPDEST
00001727: PUSH1 0x06
00001729: SLOAD
0000172a: DUP2
0000172b: JUMP
0000172c: JUMPDEST
0000172d: ADDRESS
0000172e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001743: AND
00001744: CALLER
00001745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175a: AND
0000175b: EQ
0000175c: ISZERO
0000175d: ISZERO
0000175e: PUSH2 0x1766
00001761: JUMPI
00001762: PUSH1 0x00
00001764: DUP1
00001765: REVERT
00001766: JUMPDEST
00001767: PUSH1 0x04
00001769: DUP1
0000176a: SLOAD
0000176b: SWAP1
0000176c: POP
0000176d: DUP2
0000176e: PUSH1 0x32
00001770: DUP3
00001771: LT
00001772: ISZERO
00001773: ISZERO
00001774: PUSH2 0x177c
00001777: JUMPI
00001778: PUSH1 0x00
0000177a: DUP1
0000177b: REVERT
0000177c: JUMPDEST
0000177d: DUP2
0000177e: DUP2
0000177f: LT
00001780: ISZERO
00001781: ISZERO
00001782: PUSH2 0x178a
00001785: JUMPI
00001786: PUSH1 0x00
00001788: DUP1
00001789: REVERT
0000178a: JUMPDEST
0000178b: PUSH1 0x00
0000178d: DUP2
0000178e: EQ
0000178f: ISZERO
00001790: ISZERO
00001791: ISZERO
00001792: PUSH2 0x179a
00001795: JUMPI
00001796: PUSH1 0x00
00001798: DUP1
00001799: REVERT
0000179a: JUMPDEST
0000179b: PUSH1 0x00
0000179d: DUP3
0000179e: EQ
0000179f: ISZERO
000017a0: ISZERO
000017a1: ISZERO
000017a2: PUSH2 0x17aa
000017a5: JUMPI
000017a6: PUSH1 0x00
000017a8: DUP1
000017a9: REVERT
000017aa: JUMPDEST
000017ab: DUP3
000017ac: PUSH1 0x05
000017ae: DUP2
000017af: SWAP1
000017b0: SSTORE
000017b1: POP
000017b2: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000017d3: DUP4
000017d4: PUSH1 0x40
000017d6: MLOAD
000017d7: DUP1
000017d8: DUP3
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: ADD
000017de: SWAP2
000017df: POP
000017e0: POP
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: DUP1
000017e5: SWAP2
000017e6: SUB
000017e7: SWAP1
000017e8: LOG1
000017e9: POP
000017ea: POP
000017eb: POP
000017ec: JUMP
000017ed: JUMPDEST
000017ee: CALLER
000017ef: PUSH1 0x03
000017f1: PUSH1 0x00
000017f3: DUP3
000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001809: AND
0000180a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181f: AND
00001820: DUP2
00001821: MSTORE
00001822: PUSH1 0x20
00001824: ADD
00001825: SWAP1
00001826: DUP2
00001827: MSTORE
00001828: PUSH1 0x20
0000182a: ADD
0000182b: PUSH1 0x00
0000182d: KECCAK256
0000182e: PUSH1 0x00
00001830: SWAP1
00001831: SLOAD
00001832: SWAP1
00001833: PUSH2 0x0100
00001836: EXP
00001837: SWAP1
00001838: DIV
00001839: PUSH1 0xff
0000183b: AND
0000183c: ISZERO
0000183d: ISZERO
0000183e: PUSH2 0x1846
00001841: JUMPI
00001842: PUSH1 0x00
00001844: DUP1
00001845: REVERT
00001846: JUMPDEST
00001847: DUP2
00001848: PUSH1 0x00
0000184a: PUSH1 0x01
0000184c: PUSH1 0x00
0000184e: DUP4
0000184f: DUP2
00001850: MSTORE
00001851: PUSH1 0x20
00001853: ADD
00001854: SWAP1
00001855: DUP2
00001856: MSTORE
00001857: PUSH1 0x20
00001859: ADD
0000185a: PUSH1 0x00
0000185c: KECCAK256
0000185d: PUSH1 0x00
0000185f: ADD
00001860: PUSH1 0x00
00001862: SWAP1
00001863: SLOAD
00001864: SWAP1
00001865: PUSH2 0x0100
00001868: EXP
00001869: SWAP1
0000186a: DIV
0000186b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001880: AND
00001881: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001896: AND
00001897: EQ
00001898: ISZERO
00001899: ISZERO
0000189a: ISZERO
0000189b: PUSH2 0x18a3
0000189e: JUMPI
0000189f: PUSH1 0x00
000018a1: DUP1
000018a2: REVERT
000018a3: JUMPDEST
000018a4: DUP3
000018a5: CALLER
000018a6: PUSH1 0x02
000018a8: PUSH1 0x00
000018aa: DUP4
000018ab: DUP2
000018ac: MSTORE
000018ad: PUSH1 0x20
000018af: ADD
000018b0: SWAP1
000018b1: DUP2
000018b2: MSTORE
000018b3: PUSH1 0x20
000018b5: ADD
000018b6: PUSH1 0x00
000018b8: KECCAK256
000018b9: PUSH1 0x00
000018bb: DUP3
000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d1: AND
000018d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e7: AND
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x20
000018ec: ADD
000018ed: SWAP1
000018ee: DUP2
000018ef: MSTORE
000018f0: PUSH1 0x20
000018f2: ADD
000018f3: PUSH1 0x00
000018f5: KECCAK256
000018f6: PUSH1 0x00
000018f8: SWAP1
000018f9: SLOAD
000018fa: SWAP1
000018fb: PUSH2 0x0100
000018fe: EXP
000018ff: SWAP1
00001900: DIV
00001901: PUSH1 0xff
00001903: AND
00001904: ISZERO
00001905: ISZERO
00001906: ISZERO
00001907: PUSH2 0x190f
0000190a: JUMPI
0000190b: PUSH1 0x00
0000190d: DUP1
0000190e: REVERT
0000190f: JUMPDEST
00001910: PUSH1 0x01
00001912: PUSH1 0x02
00001914: PUSH1 0x00
00001916: DUP8
00001917: DUP2
00001918: MSTORE
00001919: PUSH1 0x20
0000191b: ADD
0000191c: SWAP1
0000191d: DUP2
0000191e: MSTORE
0000191f: PUSH1 0x20
00001921: ADD
00001922: PUSH1 0x00
00001924: KECCAK256
00001925: PUSH1 0x00
00001927: CALLER
00001928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193d: AND
0000193e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001953: AND
00001954: DUP2
00001955: MSTORE
00001956: PUSH1 0x20
00001958: ADD
00001959: SWAP1
0000195a: DUP2
0000195b: MSTORE
0000195c: PUSH1 0x20
0000195e: ADD
0000195f: PUSH1 0x00
00001961: KECCAK256
00001962: PUSH1 0x00
00001964: PUSH2 0x0100
00001967: EXP
00001968: DUP2
00001969: SLOAD
0000196a: DUP2
0000196b: PUSH1 0xff
0000196d: MUL
0000196e: NOT
0000196f: AND
00001970: SWAP1
00001971: DUP4
00001972: ISZERO
00001973: ISZERO
00001974: MUL
00001975: OR
00001976: SWAP1
00001977: SSTORE
00001978: POP
00001979: DUP5
0000197a: CALLER
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000019b2: PUSH1 0x40
000019b4: MLOAD
000019b5: PUSH1 0x40
000019b7: MLOAD
000019b8: DUP1
000019b9: SWAP2
000019ba: SUB
000019bb: SWAP1
000019bc: LOG3
000019bd: PUSH2 0x19c5
000019c0: DUP6
000019c1: PUSH2 0x1d0b
000019c4: JUMP
000019c5: JUMPDEST
000019c6: POP
000019c7: POP
000019c8: POP
000019c9: POP
000019ca: POP
000019cb: JUMP
000019cc: JUMPDEST
000019cd: PUSH1 0x00
000019cf: PUSH2 0x19d9
000019d2: DUP5
000019d3: DUP5
000019d4: DUP5
000019d5: PUSH2 0x1ec5
000019d8: JUMP
000019d9: JUMPDEST
000019da: SWAP1
000019db: POP
000019dc: PUSH2 0x19e4
000019df: DUP2
000019e0: PUSH2 0x17ed
000019e3: JUMP
000019e4: JUMPDEST
000019e5: SWAP4
000019e6: SWAP3
000019e7: POP
000019e8: POP
000019e9: POP
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH1 0x32
000019ee: DUP2
000019ef: JUMP
000019f0: JUMPDEST
000019f1: PUSH1 0x05
000019f3: SLOAD
000019f4: DUP2
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH1 0x00
000019f9: ADDRESS
000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0f: AND
00001a10: CALLER
00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a26: AND
00001a27: EQ
00001a28: ISZERO
00001a29: ISZERO
00001a2a: PUSH2 0x1a32
00001a2d: JUMPI
00001a2e: PUSH1 0x00
00001a30: DUP1
00001a31: REVERT
00001a32: JUMPDEST
00001a33: DUP3
00001a34: PUSH1 0x03
00001a36: PUSH1 0x00
00001a38: DUP3
00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4e: AND
00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a64: AND
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: SWAP1
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: PUSH1 0x20
00001a6f: ADD
00001a70: PUSH1 0x00
00001a72: KECCAK256
00001a73: PUSH1 0x00
00001a75: SWAP1
00001a76: SLOAD
00001a77: SWAP1
00001a78: PUSH2 0x0100
00001a7b: EXP
00001a7c: SWAP1
00001a7d: DIV
00001a7e: PUSH1 0xff
00001a80: AND
00001a81: ISZERO
00001a82: ISZERO
00001a83: PUSH2 0x1a8b
00001a86: JUMPI
00001a87: PUSH1 0x00
00001a89: DUP1
00001a8a: REVERT
00001a8b: JUMPDEST
00001a8c: DUP3
00001a8d: PUSH1 0x03
00001a8f: PUSH1 0x00
00001a91: DUP3
00001a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa7: AND
00001aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abd: AND
00001abe: DUP2
00001abf: MSTORE
00001ac0: PUSH1 0x20
00001ac2: ADD
00001ac3: SWAP1
00001ac4: DUP2
00001ac5: MSTORE
00001ac6: PUSH1 0x20
00001ac8: ADD
00001ac9: PUSH1 0x00
00001acb: KECCAK256
00001acc: PUSH1 0x00
00001ace: SWAP1
00001acf: SLOAD
00001ad0: SWAP1
00001ad1: PUSH2 0x0100
00001ad4: EXP
00001ad5: SWAP1
00001ad6: DIV
00001ad7: PUSH1 0xff
00001ad9: AND
00001ada: ISZERO
00001adb: ISZERO
00001adc: ISZERO
00001add: PUSH2 0x1ae5
00001ae0: JUMPI
00001ae1: PUSH1 0x00
00001ae3: DUP1
00001ae4: REVERT
00001ae5: JUMPDEST
00001ae6: PUSH1 0x00
00001ae8: SWAP3
00001ae9: POP
00001aea: JUMPDEST
00001aeb: PUSH1 0x04
00001aed: DUP1
00001aee: SLOAD
00001aef: SWAP1
00001af0: POP
00001af1: DUP4
00001af2: LT
00001af3: ISZERO
00001af4: PUSH2 0x1bce
00001af7: JUMPI
00001af8: DUP5
00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0e: AND
00001b0f: PUSH1 0x04
00001b11: DUP5
00001b12: DUP2
00001b13: SLOAD
00001b14: DUP2
00001b15: LT
00001b16: ISZERO
00001b17: ISZERO
00001b18: PUSH2 0x1b1d
00001b1b: JUMPI
00001b1c: INVALID
00001b1d: JUMPDEST
00001b1e: SWAP1
00001b1f: PUSH1 0x00
00001b21: MSTORE
00001b22: PUSH1 0x20
00001b24: PUSH1 0x00
00001b26: KECCAK256
00001b27: ADD
00001b28: PUSH1 0x00
00001b2a: SWAP1
00001b2b: SLOAD
00001b2c: SWAP1
00001b2d: PUSH2 0x0100
00001b30: EXP
00001b31: SWAP1
00001b32: DIV
00001b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b48: AND
00001b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5e: AND
00001b5f: EQ
00001b60: ISZERO
00001b61: PUSH2 0x1bc1
00001b64: JUMPI
00001b65: DUP4
00001b66: PUSH1 0x04
00001b68: DUP5
00001b69: DUP2
00001b6a: SLOAD
00001b6b: DUP2
00001b6c: LT
00001b6d: ISZERO
00001b6e: ISZERO
00001b6f: PUSH2 0x1b74
00001b72: JUMPI
00001b73: INVALID
00001b74: JUMPDEST
00001b75: SWAP1
00001b76: PUSH1 0x00
00001b78: MSTORE
00001b79: PUSH1 0x20
00001b7b: PUSH1 0x00
00001b7d: KECCAK256
00001b7e: ADD
00001b7f: PUSH1 0x00
00001b81: PUSH2 0x0100
00001b84: EXP
00001b85: DUP2
00001b86: SLOAD
00001b87: DUP2
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: MUL
00001b9e: NOT
00001b9f: AND
00001ba0: SWAP1
00001ba1: DUP4
00001ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb7: AND
00001bb8: MUL
00001bb9: OR
00001bba: SWAP1
00001bbb: SSTORE
00001bbc: POP
00001bbd: PUSH2 0x1bce
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: DUP3
00001bc3: DUP1
00001bc4: PUSH1 0x01
00001bc6: ADD
00001bc7: SWAP4
00001bc8: POP
00001bc9: POP
00001bca: PUSH2 0x1aea
00001bcd: JUMP
00001bce: JUMPDEST
00001bcf: PUSH1 0x00
00001bd1: PUSH1 0x03
00001bd3: PUSH1 0x00
00001bd5: DUP8
00001bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001beb: AND
00001bec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c01: AND
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: ADD
00001c07: SWAP1
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x20
00001c0c: ADD
00001c0d: PUSH1 0x00
00001c0f: KECCAK256
00001c10: PUSH1 0x00
00001c12: PUSH2 0x0100
00001c15: EXP
00001c16: DUP2
00001c17: SLOAD
00001c18: DUP2
00001c19: PUSH1 0xff
00001c1b: MUL
00001c1c: NOT
00001c1d: AND
00001c1e: SWAP1
00001c1f: DUP4
00001c20: ISZERO
00001c21: ISZERO
00001c22: MUL
00001c23: OR
00001c24: SWAP1
00001c25: SSTORE
00001c26: POP
00001c27: PUSH1 0x01
00001c29: PUSH1 0x03
00001c2b: PUSH1 0x00
00001c2d: DUP7
00001c2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c43: AND
00001c44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c59: AND
00001c5a: DUP2
00001c5b: MSTORE
00001c5c: PUSH1 0x20
00001c5e: ADD
00001c5f: SWAP1
00001c60: DUP2
00001c61: MSTORE
00001c62: PUSH1 0x20
00001c64: ADD
00001c65: PUSH1 0x00
00001c67: KECCAK256
00001c68: PUSH1 0x00
00001c6a: PUSH2 0x0100
00001c6d: EXP
00001c6e: DUP2
00001c6f: SLOAD
00001c70: DUP2
00001c71: PUSH1 0xff
00001c73: MUL
00001c74: NOT
00001c75: AND
00001c76: SWAP1
00001c77: DUP4
00001c78: ISZERO
00001c79: ISZERO
00001c7a: MUL
00001c7b: OR
00001c7c: SWAP1
00001c7d: SSTORE
00001c7e: POP
00001c7f: DUP5
00001c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c95: AND
00001c96: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00001cb7: PUSH1 0x40
00001cb9: MLOAD
00001cba: PUSH1 0x40
00001cbc: MLOAD
00001cbd: DUP1
00001cbe: SWAP2
00001cbf: SUB
00001cc0: SWAP1
00001cc1: LOG2
00001cc2: DUP4
00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd8: AND
00001cd9: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001cfa: PUSH1 0x40
00001cfc: MLOAD
00001cfd: PUSH1 0x40
00001cff: MLOAD
00001d00: DUP1
00001d01: SWAP2
00001d02: SUB
00001d03: SWAP1
00001d04: LOG2
00001d05: POP
00001d06: POP
00001d07: POP
00001d08: POP
00001d09: POP
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH1 0x00
00001d0e: DUP2
00001d0f: PUSH1 0x01
00001d11: PUSH1 0x00
00001d13: DUP3
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x20
00001d18: ADD
00001d19: SWAP1
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x20
00001d1e: ADD
00001d1f: PUSH1 0x00
00001d21: KECCAK256
00001d22: PUSH1 0x03
00001d24: ADD
00001d25: PUSH1 0x00
00001d27: SWAP1
00001d28: SLOAD
00001d29: SWAP1
00001d2a: PUSH2 0x0100
00001d2d: EXP
00001d2e: SWAP1
00001d2f: DIV
00001d30: PUSH1 0xff
00001d32: AND
00001d33: ISZERO
00001d34: ISZERO
00001d35: ISZERO
00001d36: PUSH2 0x1d3e
00001d39: JUMPI
00001d3a: PUSH1 0x00
00001d3c: DUP1
00001d3d: REVERT
00001d3e: JUMPDEST
00001d3f: PUSH2 0x1d47
00001d42: DUP4
00001d43: PUSH2 0x1043
00001d46: JUMP
00001d47: JUMPDEST
00001d48: ISZERO
00001d49: PUSH2 0x1ec0
00001d4c: JUMPI
00001d4d: PUSH1 0x01
00001d4f: PUSH1 0x00
00001d51: DUP5
00001d52: DUP2
00001d53: MSTORE
00001d54: PUSH1 0x20
00001d56: ADD
00001d57: SWAP1
00001d58: DUP2
00001d59: MSTORE
00001d5a: PUSH1 0x20
00001d5c: ADD
00001d5d: PUSH1 0x00
00001d5f: KECCAK256
00001d60: SWAP2
00001d61: POP
00001d62: PUSH1 0x01
00001d64: DUP3
00001d65: PUSH1 0x03
00001d67: ADD
00001d68: PUSH1 0x00
00001d6a: PUSH2 0x0100
00001d6d: EXP
00001d6e: DUP2
00001d6f: SLOAD
00001d70: DUP2
00001d71: PUSH1 0xff
00001d73: MUL
00001d74: NOT
00001d75: AND
00001d76: SWAP1
00001d77: DUP4
00001d78: ISZERO
00001d79: ISZERO
00001d7a: MUL
00001d7b: OR
00001d7c: SWAP1
00001d7d: SSTORE
00001d7e: POP
00001d7f: DUP2
00001d80: PUSH1 0x00
00001d82: ADD
00001d83: PUSH1 0x00
00001d85: SWAP1
00001d86: SLOAD
00001d87: SWAP1
00001d88: PUSH2 0x0100
00001d8b: EXP
00001d8c: SWAP1
00001d8d: DIV
00001d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da3: AND
00001da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db9: AND
00001dba: DUP3
00001dbb: PUSH1 0x01
00001dbd: ADD
00001dbe: SLOAD
00001dbf: DUP4
00001dc0: PUSH1 0x02
00001dc2: ADD
00001dc3: PUSH1 0x40
00001dc5: MLOAD
00001dc6: DUP1
00001dc7: DUP3
00001dc8: DUP1
00001dc9: SLOAD
00001dca: PUSH1 0x01
00001dcc: DUP2
00001dcd: PUSH1 0x01
00001dcf: AND
00001dd0: ISZERO
00001dd1: PUSH2 0x0100
00001dd4: MUL
00001dd5: SUB
00001dd6: AND
00001dd7: PUSH1 0x02
00001dd9: SWAP1
00001dda: DIV
00001ddb: DUP1
00001ddc: ISZERO
00001ddd: PUSH2 0x1e27
00001de0: JUMPI
00001de1: DUP1
00001de2: PUSH1 0x1f
00001de4: LT
00001de5: PUSH2 0x1dfc
00001de8: JUMPI
00001de9: PUSH2 0x0100
00001dec: DUP1
00001ded: DUP4
00001dee: SLOAD
00001def: DIV
00001df0: MUL
00001df1: DUP4
00001df2: MSTORE
00001df3: SWAP2
00001df4: PUSH1 0x20
00001df6: ADD
00001df7: SWAP2
00001df8: PUSH2 0x1e27
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: DUP3
00001dfe: ADD
00001dff: SWAP2
00001e00: SWAP1
00001e01: PUSH1 0x00
00001e03: MSTORE
00001e04: PUSH1 0x20
00001e06: PUSH1 0x00
00001e08: KECCAK256
00001e09: SWAP1
00001e0a: JUMPDEST
00001e0b: DUP2
00001e0c: SLOAD
00001e0d: DUP2
00001e0e: MSTORE
00001e0f: SWAP1
00001e10: PUSH1 0x01
00001e12: ADD
00001e13: SWAP1
00001e14: PUSH1 0x20
00001e16: ADD
00001e17: DUP1
00001e18: DUP4
00001e19: GT
00001e1a: PUSH2 0x1e0a
00001e1d: JUMPI
00001e1e: DUP3
00001e1f: SWAP1
00001e20: SUB
00001e21: PUSH1 0x1f
00001e23: AND
00001e24: DUP3
00001e25: ADD
00001e26: SWAP2
00001e27: JUMPDEST
00001e28: POP
00001e29: POP
00001e2a: SWAP2
00001e2b: POP
00001e2c: POP
00001e2d: PUSH1 0x00
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: DUP1
00001e33: DUP4
00001e34: SUB
00001e35: DUP2
00001e36: DUP6
00001e37: DUP8
00001e38: GAS
00001e39: CALL
00001e3a: SWAP3
00001e3b: POP
00001e3c: POP
00001e3d: POP
00001e3e: ISZERO
00001e3f: PUSH2 0x1e74
00001e42: JUMPI
00001e43: DUP3
00001e44: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001e65: PUSH1 0x40
00001e67: MLOAD
00001e68: PUSH1 0x40
00001e6a: MLOAD
00001e6b: DUP1
00001e6c: SWAP2
00001e6d: SUB
00001e6e: SWAP1
00001e6f: LOG2
00001e70: PUSH2 0x1ebf
00001e73: JUMP
00001e74: JUMPDEST
00001e75: DUP3
00001e76: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
00001e97: PUSH1 0x40
00001e99: MLOAD
00001e9a: PUSH1 0x40
00001e9c: MLOAD
00001e9d: DUP1
00001e9e: SWAP2
00001e9f: SUB
00001ea0: SWAP1
00001ea1: LOG2
00001ea2: PUSH1 0x00
00001ea4: DUP3
00001ea5: PUSH1 0x03
00001ea7: ADD
00001ea8: PUSH1 0x00
00001eaa: PUSH2 0x0100
00001ead: EXP
00001eae: DUP2
00001eaf: SLOAD
00001eb0: DUP2
00001eb1: PUSH1 0xff
00001eb3: MUL
00001eb4: NOT
00001eb5: AND
00001eb6: SWAP1
00001eb7: DUP4
00001eb8: ISZERO
00001eb9: ISZERO
00001eba: MUL
00001ebb: OR
00001ebc: SWAP1
00001ebd: SSTORE
00001ebe: POP
00001ebf: JUMPDEST
00001ec0: JUMPDEST
00001ec1: POP
00001ec2: POP
00001ec3: POP
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: PUSH1 0x00
00001ec8: DUP4
00001ec9: PUSH1 0x00
00001ecb: DUP2
00001ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee1: AND
00001ee2: EQ
00001ee3: ISZERO
00001ee4: ISZERO
00001ee5: ISZERO
00001ee6: PUSH2 0x1eee
00001ee9: JUMPI
00001eea: PUSH1 0x00
00001eec: DUP1
00001eed: REVERT
00001eee: JUMPDEST
00001eef: PUSH1 0x06
00001ef1: SLOAD
00001ef2: SWAP2
00001ef3: POP
00001ef4: PUSH1 0x80
00001ef6: PUSH1 0x40
00001ef8: MLOAD
00001ef9: SWAP1
00001efa: DUP2
00001efb: ADD
00001efc: PUSH1 0x40
00001efe: MSTORE
00001eff: DUP1
00001f00: DUP7
00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f16: AND
00001f17: DUP2
00001f18: MSTORE
00001f19: PUSH1 0x20
00001f1b: ADD
00001f1c: DUP6
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x20
00001f21: ADD
00001f22: DUP5
00001f23: DUP2
00001f24: MSTORE
00001f25: PUSH1 0x20
00001f27: ADD
00001f28: PUSH1 0x00
00001f2a: ISZERO
00001f2b: ISZERO
00001f2c: DUP2
00001f2d: MSTORE
00001f2e: POP
00001f2f: PUSH1 0x01
00001f31: PUSH1 0x00
00001f33: DUP5
00001f34: DUP2
00001f35: MSTORE
00001f36: PUSH1 0x20
00001f38: ADD
00001f39: SWAP1
00001f3a: DUP2
00001f3b: MSTORE
00001f3c: PUSH1 0x20
00001f3e: ADD
00001f3f: PUSH1 0x00
00001f41: KECCAK256
00001f42: PUSH1 0x00
00001f44: DUP3
00001f45: ADD
00001f46: MLOAD
00001f47: DUP2
00001f48: PUSH1 0x00
00001f4a: ADD
00001f4b: PUSH1 0x00
00001f4d: PUSH2 0x0100
00001f50: EXP
00001f51: DUP2
00001f52: SLOAD
00001f53: DUP2
00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f69: MUL
00001f6a: NOT
00001f6b: AND
00001f6c: SWAP1
00001f6d: DUP4
00001f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f83: AND
00001f84: MUL
00001f85: OR
00001f86: SWAP1
00001f87: SSTORE
00001f88: POP
00001f89: PUSH1 0x20
00001f8b: DUP3
00001f8c: ADD
00001f8d: MLOAD
00001f8e: DUP2
00001f8f: PUSH1 0x01
00001f91: ADD
00001f92: SSTORE
00001f93: PUSH1 0x40
00001f95: DUP3
00001f96: ADD
00001f97: MLOAD
00001f98: DUP2
00001f99: PUSH1 0x02
00001f9b: ADD
00001f9c: SWAP1
00001f9d: DUP1
00001f9e: MLOAD
00001f9f: SWAP1
00001fa0: PUSH1 0x20
00001fa2: ADD
00001fa3: SWAP1
00001fa4: PUSH2 0x1fae
00001fa7: SWAP3
00001fa8: SWAP2
00001fa9: SWAP1
00001faa: PUSH2 0x2044
00001fad: JUMP
00001fae: JUMPDEST
00001faf: POP
00001fb0: PUSH1 0x60
00001fb2: DUP3
00001fb3: ADD
00001fb4: MLOAD
00001fb5: DUP2
00001fb6: PUSH1 0x03
00001fb8: ADD
00001fb9: PUSH1 0x00
00001fbb: PUSH2 0x0100
00001fbe: EXP
00001fbf: DUP2
00001fc0: SLOAD
00001fc1: DUP2
00001fc2: PUSH1 0xff
00001fc4: MUL
00001fc5: NOT
00001fc6: AND
00001fc7: SWAP1
00001fc8: DUP4
00001fc9: ISZERO
00001fca: ISZERO
00001fcb: MUL
00001fcc: OR
00001fcd: SWAP1
00001fce: SSTORE
00001fcf: POP
00001fd0: SWAP1
00001fd1: POP
00001fd2: POP
00001fd3: PUSH1 0x01
00001fd5: PUSH1 0x06
00001fd7: PUSH1 0x00
00001fd9: DUP3
00001fda: DUP3
00001fdb: SLOAD
00001fdc: ADD
00001fdd: SWAP3
00001fde: POP
00001fdf: POP
00001fe0: DUP2
00001fe1: SWAP1
00001fe2: SSTORE
00001fe3: POP
00001fe4: DUP2
00001fe5: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00002006: PUSH1 0x40
00002008: MLOAD
00002009: PUSH1 0x40
0000200b: MLOAD
0000200c: DUP1
0000200d: SWAP2
0000200e: SUB
0000200f: SWAP1
00002010: LOG2
00002011: POP
00002012: SWAP4
00002013: SWAP3
00002014: POP
00002015: POP
00002016: POP
00002017: JUMP
00002018: JUMPDEST
00002019: DUP2
0000201a: SLOAD
0000201b: DUP2
0000201c: DUP4
0000201d: SSTORE
0000201e: DUP2
0000201f: DUP2
00002020: GT
00002021: ISZERO
00002022: PUSH2 0x203f
00002025: JUMPI
00002026: DUP2
00002027: DUP4
00002028: PUSH1 0x00
0000202a: MSTORE
0000202b: PUSH1 0x20
0000202d: PUSH1 0x00
0000202f: KECCAK256
00002030: SWAP2
00002031: DUP3
00002032: ADD
00002033: SWAP2
00002034: ADD
00002035: PUSH2 0x203e
00002038: SWAP2
00002039: SWAP1
0000203a: PUSH2 0x20c4
0000203d: JUMP
0000203e: JUMPDEST
0000203f: JUMPDEST
00002040: POP
00002041: POP
00002042: POP
00002043: JUMP
00002044: JUMPDEST
00002045: DUP3
00002046: DUP1
00002047: SLOAD
00002048: PUSH1 0x01
0000204a: DUP2
0000204b: PUSH1 0x01
0000204d: AND
0000204e: ISZERO
0000204f: PUSH2 0x0100
00002052: MUL
00002053: SUB
00002054: AND
00002055: PUSH1 0x02
00002057: SWAP1
00002058: DIV
00002059: SWAP1
0000205a: PUSH1 0x00
0000205c: MSTORE
0000205d: PUSH1 0x20
0000205f: PUSH1 0x00
00002061: KECCAK256
00002062: SWAP1
00002063: PUSH1 0x1f
00002065: ADD
00002066: PUSH1 0x20
00002068: SWAP1
00002069: DIV
0000206a: DUP2
0000206b: ADD
0000206c: SWAP3
0000206d: DUP3
0000206e: PUSH1 0x1f
00002070: LT
00002071: PUSH2 0x2085
00002074: JUMPI
00002075: DUP1
00002076: MLOAD
00002077: PUSH1 0xff
00002079: NOT
0000207a: AND
0000207b: DUP4
0000207c: DUP1
0000207d: ADD
0000207e: OR
0000207f: DUP6
00002080: SSTORE
00002081: PUSH2 0x20b3
00002084: JUMP
00002085: JUMPDEST
00002086: DUP3
00002087: DUP1
00002088: ADD
00002089: PUSH1 0x01
0000208b: ADD
0000208c: DUP6
0000208d: SSTORE
0000208e: DUP3
0000208f: ISZERO
00002090: PUSH2 0x20b3
00002093: JUMPI
00002094: SWAP2
00002095: DUP3
00002096: ADD
00002097: JUMPDEST
00002098: DUP3
00002099: DUP2
0000209a: GT
0000209b: ISZERO
0000209c: PUSH2 0x20b2
0000209f: JUMPI
000020a0: DUP3
000020a1: MLOAD
000020a2: DUP3
000020a3: SSTORE
000020a4: SWAP2
000020a5: PUSH1 0x20
000020a7: ADD
000020a8: SWAP2
000020a9: SWAP1
000020aa: PUSH1 0x01
000020ac: ADD
000020ad: SWAP1
000020ae: PUSH2 0x2097
000020b1: JUMP
000020b2: JUMPDEST
000020b3: JUMPDEST
000020b4: POP
000020b5: SWAP1
000020b6: POP
000020b7: PUSH2 0x20c0
000020ba: SWAP2
000020bb: SWAP1
000020bc: PUSH2 0x20c4
000020bf: JUMP
000020c0: JUMPDEST
000020c1: POP
000020c2: SWAP1
000020c3: JUMP
000020c4: JUMPDEST
000020c5: PUSH2 0x20e6
000020c8: SWAP2
000020c9: SWAP1
000020ca: JUMPDEST
000020cb: DUP1
000020cc: DUP3
000020cd: GT
000020ce: ISZERO
000020cf: PUSH2 0x20e2
000020d2: JUMPI
000020d3: PUSH1 0x00
000020d5: DUP2
000020d6: PUSH1 0x00
000020d8: SWAP1
000020d9: SSTORE
000020da: POP
000020db: PUSH1 0x01
000020dd: ADD
000020de: PUSH2 0x20ca
000020e1: JUMP
000020e2: JUMPDEST
000020e3: POP
000020e4: SWAP1
000020e5: JUMP
000020e6: JUMPDEST
000020e7: SWAP1
000020e8: JUMP
000020e9: STOP
000020ea: LOG1
000020eb: PUSH6 0x627a7a723058
000020f2: KECCAK256
000020f3: PUSH29 0xa975138764f9a188450747bc1feb4d2df74b936a7e9275b1c457be5307
00002111: UNKNOWN(0xE6)
00002112: UNKNOWN(0xE8)
00002113: STOP
00002114: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x313b68555e0cbbd42a079889b174835a483245ba7c20f9caa7e828c292825a2e
call_targets: 0x9ea078818a678db109ecc58967fc969a1ed5b9c6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x313b68555e0cbbd42a079889b174835a483245ba7c20f9caa7e828c292825a2e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9ea078818a678db109ecc58967fc969a1ed5b9c6"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4c3a6ae0",
            "selector": "0x4c3a6ae0",
            "calldata_variants": [
                "0x4c3a6ae0",
                "0x4c3a6ae00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7737,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 2330,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3663,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5956,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x313b68555e0cbbd42a079889b174835a483245ba7c20f9caa7e828c292825a2e
call_targets: 0x9ea078818a678db109ecc58967fc969a1ed5b9c6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x313b68555e0cbbd42a079889b174835a483245ba7c20f9caa7e828c292825a2e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9ea078818a678db109ecc58967fc969a1ed5b9c6"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4c3a6ae0",
            "selector": "0x4c3a6ae0",
            "calldata_variants": [
                "0x4c3a6ae0",
                "0x4c3a6ae00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7737,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 2330,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3663,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5956,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}