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

Analysis Run

019ba9a5-c5b5-711e-9134-d91ebeaf8400

complete
Chain ID
1
Address
Block Number
Created
Sat, Jan 10, 2026 8:42 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
Verified
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
36961 artifact.fetch complete 1 / 3 3 months ago
36962 proxy.resolve complete 1 / 3 3 months ago
36963 tool.cast_disasm complete 1 / 3 3 months ago
36964 analysis.bundle complete 1 / 3 3 months ago
36965 capability.graph complete 1 / 3 3 months ago
36966 detector.run complete 1 / 3 3 months ago
36967 validation.fork complete 1 / 3 3 months ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no not_proxy
Implementation:
Verified Source: yes
Proxy evidence
{
    "status": "not_proxy"
}

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
1
Total opcodes
4134
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 0x018b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa0e67e2b
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc6427474
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdc8452cd
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdc8452cd
0000003a: EQ
0000003b: PUSH2 0x0755
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe20056e6
00000045: EQ
00000046: PUSH2 0x076a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xee22610b
00000050: EQ
00000051: PUSH2 0x07b2
00000054: JUMPI
00000055: PUSH2 0x018b
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xc6427474
00000060: EQ
00000061: PUSH2 0x0641
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xd38f2d82
0000006b: EQ
0000006c: PUSH2 0x0716
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd74f8edd
00000076: EQ
00000077: PUSH2 0x0740
0000007a: JUMPI
0000007b: PUSH2 0x018b
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xb77bf600
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xb77bf600
00000091: EQ
00000092: PUSH2 0x05d8
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xba51a6df
0000009c: EQ
0000009d: PUSH2 0x05ed
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc01a8c84
000000a7: EQ
000000a8: PUSH2 0x0617
000000ab: JUMPI
000000ac: PUSH2 0x018b
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa0e67e2b
000000b7: EQ
000000b8: PUSH2 0x0509
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xa8abe69a
000000c2: EQ
000000c3: PUSH2 0x056e
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xb5dc40c3
000000cd: EQ
000000ce: PUSH2 0x05ae
000000d1: JUMPI
000000d2: PUSH2 0x018b
000000d5: JUMP
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x54741525
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x7ad28c51
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x7ad28c51
000000f3: EQ
000000f4: PUSH2 0x03e6
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8b51d13f
000000fe: EQ
000000ff: PUSH2 0x0410
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x9ace38c2
00000109: EQ
0000010a: PUSH2 0x043a
0000010d: JUMPI
0000010e: PUSH2 0x018b
00000111: JUMP
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x54741525
00000119: EQ
0000011a: PUSH2 0x0348
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x7065cb48
00000124: EQ
00000125: PUSH2 0x037c
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x784547a7
0000012f: EQ
00000130: PUSH2 0x03bc
00000133: JUMPI
00000134: PUSH2 0x018b
00000137: JUMP
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x2f54bf6e
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x2f54bf6e
0000014a: EQ
0000014b: PUSH2 0x0287
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x3411c81c
00000155: EQ
00000156: PUSH2 0x02db
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x37bd78a0
00000160: EQ
00000161: PUSH2 0x0321
00000164: JUMPI
00000165: PUSH2 0x018b
00000168: JUMP
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x025e7c27
00000170: EQ
00000171: PUSH2 0x01ca
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x173825d9
0000017b: EQ
0000017c: PUSH2 0x021d
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x20ea8d86
00000186: EQ
00000187: PUSH2 0x025d
0000018a: JUMPI
0000018b: JUMPDEST
0000018c: CALLVALUE
0000018d: ISZERO
0000018e: PUSH2 0x01c8
00000191: JUMPI
00000192: PUSH1 0x40
00000194: DUP1
00000195: MLOAD
00000196: CALLVALUE
00000197: DUP2
00000198: MSTORE
00000199: SWAP1
0000019a: MLOAD
0000019b: CALLER
0000019c: SWAP2
0000019d: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000001be: SWAP2
000001bf: SWAP1
000001c0: DUP2
000001c1: SWAP1
000001c2: SUB
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: SWAP1
000001c7: LOG2
000001c8: JUMPDEST
000001c9: STOP
000001ca: JUMPDEST
000001cb: CALLVALUE
000001cc: DUP1
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: POP
000001d8: PUSH2 0x01f4
000001db: PUSH1 0x04
000001dd: DUP1
000001de: CALLDATASIZE
000001df: SUB
000001e0: PUSH1 0x20
000001e2: DUP2
000001e3: LT
000001e4: ISZERO
000001e5: PUSH2 0x01ed
000001e8: JUMPI
000001e9: PUSH1 0x00
000001eb: DUP1
000001ec: REVERT
000001ed: JUMPDEST
000001ee: POP
000001ef: CALLDATALOAD
000001f0: PUSH2 0x07dc
000001f3: JUMP
000001f4: JUMPDEST
000001f5: PUSH1 0x40
000001f7: DUP1
000001f8: MLOAD
000001f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020e: SWAP1
0000020f: SWAP3
00000210: AND
00000211: DUP3
00000212: MSTORE
00000213: MLOAD
00000214: SWAP1
00000215: DUP2
00000216: SWAP1
00000217: SUB
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP1
0000021c: RETURN
0000021d: JUMPDEST
0000021e: CALLVALUE
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x0229
00000224: JUMPI
00000225: PUSH1 0x00
00000227: DUP1
00000228: REVERT
00000229: JUMPDEST
0000022a: POP
0000022b: PUSH2 0x01c8
0000022e: PUSH1 0x04
00000230: DUP1
00000231: CALLDATASIZE
00000232: SUB
00000233: PUSH1 0x20
00000235: DUP2
00000236: LT
00000237: ISZERO
00000238: PUSH2 0x0240
0000023b: JUMPI
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: POP
00000242: CALLDATALOAD
00000243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000258: AND
00000259: PUSH2 0x0810
0000025c: JUMP
0000025d: JUMPDEST
0000025e: CALLVALUE
0000025f: DUP1
00000260: ISZERO
00000261: PUSH2 0x0269
00000264: JUMPI
00000265: PUSH1 0x00
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: POP
0000026b: PUSH2 0x01c8
0000026e: PUSH1 0x04
00000270: DUP1
00000271: CALLDATASIZE
00000272: SUB
00000273: PUSH1 0x20
00000275: DUP2
00000276: LT
00000277: ISZERO
00000278: PUSH2 0x0280
0000027b: JUMPI
0000027c: PUSH1 0x00
0000027e: DUP1
0000027f: REVERT
00000280: JUMPDEST
00000281: POP
00000282: CALLDATALOAD
00000283: PUSH2 0x0a8d
00000286: JUMP
00000287: JUMPDEST
00000288: CALLVALUE
00000289: DUP1
0000028a: ISZERO
0000028b: PUSH2 0x0293
0000028e: JUMPI
0000028f: PUSH1 0x00
00000291: DUP1
00000292: REVERT
00000293: JUMPDEST
00000294: POP
00000295: PUSH2 0x02c7
00000298: PUSH1 0x04
0000029a: DUP1
0000029b: CALLDATASIZE
0000029c: SUB
0000029d: PUSH1 0x20
0000029f: DUP2
000002a0: LT
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: POP
000002ac: CALLDATALOAD
000002ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c2: AND
000002c3: PUSH2 0x0b61
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH1 0x40
000002ca: DUP1
000002cb: MLOAD
000002cc: SWAP2
000002cd: ISZERO
000002ce: ISZERO
000002cf: DUP3
000002d0: MSTORE
000002d1: MLOAD
000002d2: SWAP1
000002d3: DUP2
000002d4: SWAP1
000002d5: SUB
000002d6: PUSH1 0x20
000002d8: ADD
000002d9: SWAP1
000002da: RETURN
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: DUP1
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x02c7
000002ec: PUSH1 0x04
000002ee: DUP1
000002ef: CALLDATASIZE
000002f0: SUB
000002f1: PUSH1 0x40
000002f3: DUP2
000002f4: LT
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: DUP1
00000301: CALLDATALOAD
00000302: SWAP1
00000303: PUSH1 0x20
00000305: ADD
00000306: CALLDATALOAD
00000307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031c: AND
0000031d: PUSH2 0x0b76
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x0336
00000332: PUSH2 0x0b96
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x40
00000339: DUP1
0000033a: MLOAD
0000033b: SWAP2
0000033c: DUP3
0000033d: MSTORE
0000033e: MLOAD
0000033f: SWAP1
00000340: DUP2
00000341: SWAP1
00000342: SUB
00000343: PUSH1 0x20
00000345: ADD
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 0x0336
00000359: PUSH1 0x04
0000035b: DUP1
0000035c: CALLDATASIZE
0000035d: SUB
0000035e: PUSH1 0x40
00000360: DUP2
00000361: LT
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: DUP1
0000036e: CALLDATALOAD
0000036f: ISZERO
00000370: ISZERO
00000371: SWAP1
00000372: PUSH1 0x20
00000374: ADD
00000375: CALLDATALOAD
00000376: ISZERO
00000377: ISZERO
00000378: PUSH2 0x0b9c
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x01c8
0000038d: PUSH1 0x04
0000038f: DUP1
00000390: CALLDATASIZE
00000391: SUB
00000392: PUSH1 0x20
00000394: DUP2
00000395: LT
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: CALLDATALOAD
000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b7: AND
000003b8: PUSH2 0x0c08
000003bb: JUMP
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03c8
000003c3: JUMPI
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: POP
000003ca: PUSH2 0x02c7
000003cd: PUSH1 0x04
000003cf: DUP1
000003d0: CALLDATASIZE
000003d1: SUB
000003d2: PUSH1 0x20
000003d4: DUP2
000003d5: LT
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: CALLDATALOAD
000003e2: PUSH2 0x0d79
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: POP
000003f4: PUSH2 0x01c8
000003f7: PUSH1 0x04
000003f9: DUP1
000003fa: CALLDATASIZE
000003fb: SUB
000003fc: PUSH1 0x20
000003fe: DUP2
000003ff: LT
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: CALLDATALOAD
0000040c: PUSH2 0x0e0d
0000040f: JUMP
00000410: JUMPDEST
00000411: CALLVALUE
00000412: DUP1
00000413: ISZERO
00000414: PUSH2 0x041c
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: POP
0000041e: PUSH2 0x0336
00000421: PUSH1 0x04
00000423: DUP1
00000424: CALLDATASIZE
00000425: SUB
00000426: PUSH1 0x20
00000428: DUP2
00000429: LT
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: CALLDATALOAD
00000436: PUSH2 0x0e54
00000439: JUMP
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: DUP1
0000043d: ISZERO
0000043e: PUSH2 0x0446
00000441: JUMPI
00000442: PUSH1 0x00
00000444: DUP1
00000445: REVERT
00000446: JUMPDEST
00000447: POP
00000448: PUSH2 0x0464
0000044b: PUSH1 0x04
0000044d: DUP1
0000044e: CALLDATASIZE
0000044f: SUB
00000450: PUSH1 0x20
00000452: DUP2
00000453: LT
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: CALLDATALOAD
00000460: PUSH2 0x0ed0
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH1 0x40
00000467: MLOAD
00000468: DUP1
00000469: DUP6
0000046a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047f: AND
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x20
00000484: ADD
00000485: DUP5
00000486: DUP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: ADD
0000048b: DUP1
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: DUP4
00000490: ISZERO
00000491: ISZERO
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: DUP3
00000498: DUP2
00000499: SUB
0000049a: DUP3
0000049b: MSTORE
0000049c: DUP5
0000049d: DUP2
0000049e: DUP2
0000049f: MLOAD
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: ADD
000004a5: SWAP2
000004a6: POP
000004a7: DUP1
000004a8: MLOAD
000004a9: SWAP1
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: SWAP1
000004ae: DUP1
000004af: DUP4
000004b0: DUP4
000004b1: PUSH1 0x00
000004b3: JUMPDEST
000004b4: DUP4
000004b5: DUP2
000004b6: LT
000004b7: ISZERO
000004b8: PUSH2 0x04cb
000004bb: JUMPI
000004bc: DUP2
000004bd: DUP2
000004be: ADD
000004bf: MLOAD
000004c0: DUP4
000004c1: DUP3
000004c2: ADD
000004c3: MSTORE
000004c4: PUSH1 0x20
000004c6: ADD
000004c7: PUSH2 0x04b3
000004ca: JUMP
000004cb: JUMPDEST
000004cc: POP
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: SWAP1
000004d1: POP
000004d2: SWAP1
000004d3: DUP2
000004d4: ADD
000004d5: SWAP1
000004d6: PUSH1 0x1f
000004d8: AND
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04f8
000004de: JUMPI
000004df: DUP1
000004e0: DUP3
000004e1: SUB
000004e2: DUP1
000004e3: MLOAD
000004e4: PUSH1 0x01
000004e6: DUP4
000004e7: PUSH1 0x20
000004e9: SUB
000004ea: PUSH2 0x0100
000004ed: EXP
000004ee: SUB
000004ef: NOT
000004f0: AND
000004f1: DUP2
000004f2: MSTORE
000004f3: PUSH1 0x20
000004f5: ADD
000004f6: SWAP2
000004f7: POP
000004f8: JUMPDEST
000004f9: POP
000004fa: SWAP6
000004fb: POP
000004fc: POP
000004fd: POP
000004fe: POP
000004ff: POP
00000500: POP
00000501: PUSH1 0x40
00000503: MLOAD
00000504: DUP1
00000505: SWAP2
00000506: SUB
00000507: SWAP1
00000508: RETURN
00000509: JUMPDEST
0000050a: CALLVALUE
0000050b: DUP1
0000050c: ISZERO
0000050d: PUSH2 0x0515
00000510: JUMPI
00000511: PUSH1 0x00
00000513: DUP1
00000514: REVERT
00000515: JUMPDEST
00000516: POP
00000517: PUSH2 0x051e
0000051a: PUSH2 0x0fb9
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH1 0x40
00000521: DUP1
00000522: MLOAD
00000523: PUSH1 0x20
00000525: DUP1
00000526: DUP3
00000527: MSTORE
00000528: DUP4
00000529: MLOAD
0000052a: DUP2
0000052b: DUP4
0000052c: ADD
0000052d: MSTORE
0000052e: DUP4
0000052f: MLOAD
00000530: SWAP2
00000531: SWAP3
00000532: DUP4
00000533: SWAP3
00000534: SWAP1
00000535: DUP4
00000536: ADD
00000537: SWAP2
00000538: DUP6
00000539: DUP2
0000053a: ADD
0000053b: SWAP2
0000053c: MUL
0000053d: DUP1
0000053e: DUP4
0000053f: DUP4
00000540: PUSH1 0x00
00000542: JUMPDEST
00000543: DUP4
00000544: DUP2
00000545: LT
00000546: ISZERO
00000547: PUSH2 0x055a
0000054a: JUMPI
0000054b: DUP2
0000054c: DUP2
0000054d: ADD
0000054e: MLOAD
0000054f: DUP4
00000550: DUP3
00000551: ADD
00000552: MSTORE
00000553: PUSH1 0x20
00000555: ADD
00000556: PUSH2 0x0542
00000559: JUMP
0000055a: JUMPDEST
0000055b: POP
0000055c: POP
0000055d: POP
0000055e: POP
0000055f: SWAP1
00000560: POP
00000561: ADD
00000562: SWAP3
00000563: POP
00000564: POP
00000565: POP
00000566: PUSH1 0x40
00000568: MLOAD
00000569: DUP1
0000056a: SWAP2
0000056b: SUB
0000056c: SWAP1
0000056d: RETURN
0000056e: JUMPDEST
0000056f: CALLVALUE
00000570: DUP1
00000571: ISZERO
00000572: PUSH2 0x057a
00000575: JUMPI
00000576: PUSH1 0x00
00000578: DUP1
00000579: REVERT
0000057a: JUMPDEST
0000057b: POP
0000057c: PUSH2 0x051e
0000057f: PUSH1 0x04
00000581: DUP1
00000582: CALLDATASIZE
00000583: SUB
00000584: PUSH1 0x80
00000586: DUP2
00000587: LT
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: DUP1
00000594: CALLDATALOAD
00000595: SWAP1
00000596: PUSH1 0x20
00000598: DUP2
00000599: ADD
0000059a: CALLDATALOAD
0000059b: SWAP1
0000059c: PUSH1 0x40
0000059e: DUP2
0000059f: ADD
000005a0: CALLDATALOAD
000005a1: ISZERO
000005a2: ISZERO
000005a3: SWAP1
000005a4: PUSH1 0x60
000005a6: ADD
000005a7: CALLDATALOAD
000005a8: ISZERO
000005a9: ISZERO
000005aa: PUSH2 0x1028
000005ad: JUMP
000005ae: JUMPDEST
000005af: CALLVALUE
000005b0: DUP1
000005b1: ISZERO
000005b2: PUSH2 0x05ba
000005b5: JUMPI
000005b6: PUSH1 0x00
000005b8: DUP1
000005b9: REVERT
000005ba: JUMPDEST
000005bb: POP
000005bc: PUSH2 0x051e
000005bf: PUSH1 0x04
000005c1: DUP1
000005c2: CALLDATASIZE
000005c3: SUB
000005c4: PUSH1 0x20
000005c6: DUP2
000005c7: LT
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: CALLDATALOAD
000005d4: PUSH2 0x1181
000005d7: JUMP
000005d8: JUMPDEST
000005d9: CALLVALUE
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x0336
000005e9: PUSH2 0x1366
000005ec: JUMP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x01c8
000005fe: PUSH1 0x04
00000600: DUP1
00000601: CALLDATASIZE
00000602: SUB
00000603: PUSH1 0x20
00000605: DUP2
00000606: LT
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH1 0x00
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: CALLDATALOAD
00000613: PUSH2 0x136c
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x01c8
00000628: PUSH1 0x04
0000062a: DUP1
0000062b: CALLDATASIZE
0000062c: SUB
0000062d: PUSH1 0x20
0000062f: DUP2
00000630: LT
00000631: ISZERO
00000632: PUSH2 0x063a
00000635: JUMPI
00000636: PUSH1 0x00
00000638: DUP1
00000639: REVERT
0000063a: JUMPDEST
0000063b: POP
0000063c: CALLDATALOAD
0000063d: PUSH2 0x13e9
00000640: JUMP
00000641: JUMPDEST
00000642: CALLVALUE
00000643: DUP1
00000644: ISZERO
00000645: PUSH2 0x064d
00000648: JUMPI
00000649: PUSH1 0x00
0000064b: DUP1
0000064c: REVERT
0000064d: JUMPDEST
0000064e: POP
0000064f: PUSH2 0x0336
00000652: PUSH1 0x04
00000654: DUP1
00000655: CALLDATASIZE
00000656: SUB
00000657: PUSH1 0x60
00000659: DUP2
0000065a: LT
0000065b: ISZERO
0000065c: PUSH2 0x0664
0000065f: JUMPI
00000660: PUSH1 0x00
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067a: DUP3
0000067b: CALLDATALOAD
0000067c: AND
0000067d: SWAP2
0000067e: PUSH1 0x20
00000680: DUP2
00000681: ADD
00000682: CALLDATALOAD
00000683: SWAP2
00000684: DUP2
00000685: ADD
00000686: SWAP1
00000687: PUSH1 0x60
00000689: DUP2
0000068a: ADD
0000068b: PUSH1 0x40
0000068d: DUP3
0000068e: ADD
0000068f: CALLDATALOAD
00000690: PUSH5 0x0100000000
00000696: DUP2
00000697: GT
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: DUP3
000006a3: ADD
000006a4: DUP4
000006a5: PUSH1 0x20
000006a7: DUP3
000006a8: ADD
000006a9: GT
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: DUP1
000006b5: CALLDATALOAD
000006b6: SWAP1
000006b7: PUSH1 0x20
000006b9: ADD
000006ba: SWAP2
000006bb: DUP5
000006bc: PUSH1 0x01
000006be: DUP4
000006bf: MUL
000006c0: DUP5
000006c1: ADD
000006c2: GT
000006c3: PUSH5 0x0100000000
000006c9: DUP4
000006ca: GT
000006cb: OR
000006cc: ISZERO
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: DUP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: SWAP2
000006d7: SWAP1
000006d8: DUP1
000006d9: DUP1
000006da: PUSH1 0x1f
000006dc: ADD
000006dd: PUSH1 0x20
000006df: DUP1
000006e0: SWAP2
000006e1: DIV
000006e2: MUL
000006e3: PUSH1 0x20
000006e5: ADD
000006e6: PUSH1 0x40
000006e8: MLOAD
000006e9: SWAP1
000006ea: DUP2
000006eb: ADD
000006ec: PUSH1 0x40
000006ee: MSTORE
000006ef: DUP1
000006f0: SWAP4
000006f1: SWAP3
000006f2: SWAP2
000006f3: SWAP1
000006f4: DUP2
000006f5: DUP2
000006f6: MSTORE
000006f7: PUSH1 0x20
000006f9: ADD
000006fa: DUP4
000006fb: DUP4
000006fc: DUP1
000006fd: DUP3
000006fe: DUP5
000006ff: CALLDATACOPY
00000700: PUSH1 0x00
00000702: SWAP3
00000703: ADD
00000704: SWAP2
00000705: SWAP1
00000706: SWAP2
00000707: MSTORE
00000708: POP
00000709: SWAP3
0000070a: SWAP6
0000070b: POP
0000070c: PUSH2 0x1504
0000070f: SWAP5
00000710: POP
00000711: POP
00000712: POP
00000713: POP
00000714: POP
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x0336
00000727: PUSH1 0x04
00000729: DUP1
0000072a: CALLDATASIZE
0000072b: SUB
0000072c: PUSH1 0x20
0000072e: DUP2
0000072f: LT
00000730: ISZERO
00000731: PUSH2 0x0739
00000734: JUMPI
00000735: PUSH1 0x00
00000737: DUP1
00000738: REVERT
00000739: JUMPDEST
0000073a: POP
0000073b: CALLDATALOAD
0000073c: PUSH2 0x1523
0000073f: JUMP
00000740: JUMPDEST
00000741: CALLVALUE
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x074c
00000747: JUMPI
00000748: PUSH1 0x00
0000074a: DUP1
0000074b: REVERT
0000074c: JUMPDEST
0000074d: POP
0000074e: PUSH2 0x0336
00000751: PUSH2 0x1535
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: DUP1
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH2 0x0336
00000766: PUSH2 0x153a
00000769: JUMP
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: PUSH2 0x01c8
0000077b: PUSH1 0x04
0000077d: DUP1
0000077e: CALLDATASIZE
0000077f: SUB
00000780: PUSH1 0x40
00000782: DUP2
00000783: LT
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: POP
0000078f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a4: DUP2
000007a5: CALLDATALOAD
000007a6: DUP2
000007a7: AND
000007a8: SWAP2
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: CALLDATALOAD
000007ad: AND
000007ae: PUSH2 0x1540
000007b1: JUMP
000007b2: JUMPDEST
000007b3: CALLVALUE
000007b4: DUP1
000007b5: ISZERO
000007b6: PUSH2 0x07be
000007b9: JUMPI
000007ba: PUSH1 0x00
000007bc: DUP1
000007bd: REVERT
000007be: JUMPDEST
000007bf: POP
000007c0: PUSH2 0x01c8
000007c3: PUSH1 0x04
000007c5: DUP1
000007c6: CALLDATASIZE
000007c7: SUB
000007c8: PUSH1 0x20
000007ca: DUP2
000007cb: LT
000007cc: ISZERO
000007cd: PUSH2 0x07d5
000007d0: JUMPI
000007d1: PUSH1 0x00
000007d3: DUP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: POP
000007d7: CALLDATALOAD
000007d8: PUSH2 0x1743
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH1 0x03
000007df: DUP2
000007e0: DUP2
000007e1: SLOAD
000007e2: DUP2
000007e3: LT
000007e4: PUSH2 0x07e9
000007e7: JUMPI
000007e8: INVALID
000007e9: JUMPDEST
000007ea: PUSH1 0x00
000007ec: SWAP2
000007ed: DUP3
000007ee: MSTORE
000007ef: PUSH1 0x20
000007f1: SWAP1
000007f2: SWAP2
000007f3: KECCAK256
000007f4: ADD
000007f5: SLOAD
000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080b: AND
0000080c: SWAP1
0000080d: POP
0000080e: DUP2
0000080f: JUMP
00000810: JUMPDEST
00000811: CALLER
00000812: ADDRESS
00000813: EQ
00000814: PUSH2 0x081c
00000817: JUMPI
00000818: PUSH1 0x00
0000081a: DUP1
0000081b: REVERT
0000081c: JUMPDEST
0000081d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000832: DUP2
00000833: AND
00000834: PUSH1 0x00
00000836: SWAP1
00000837: DUP2
00000838: MSTORE
00000839: PUSH1 0x02
0000083b: PUSH1 0x20
0000083d: MSTORE
0000083e: PUSH1 0x40
00000840: SWAP1
00000841: KECCAK256
00000842: SLOAD
00000843: DUP2
00000844: SWAP1
00000845: PUSH1 0xff
00000847: AND
00000848: PUSH2 0x0850
0000084b: JUMPI
0000084c: PUSH1 0x00
0000084e: DUP1
0000084f: REVERT
00000850: JUMPDEST
00000851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000866: DUP3
00000867: AND
00000868: PUSH1 0x00
0000086a: SWAP1
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x02
0000086f: PUSH1 0x20
00000871: MSTORE
00000872: PUSH1 0x40
00000874: DUP2
00000875: KECCAK256
00000876: DUP1
00000877: SLOAD
00000878: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000899: AND
0000089a: SWAP1
0000089b: SSTORE
0000089c: JUMPDEST
0000089d: PUSH1 0x03
0000089f: SLOAD
000008a0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008c1: ADD
000008c2: DUP2
000008c3: LT
000008c4: ISZERO
000008c5: PUSH2 0x09cc
000008c8: JUMPI
000008c9: DUP3
000008ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008df: AND
000008e0: PUSH1 0x03
000008e2: DUP3
000008e3: DUP2
000008e4: SLOAD
000008e5: DUP2
000008e6: LT
000008e7: PUSH2 0x08ec
000008ea: JUMPI
000008eb: INVALID
000008ec: JUMPDEST
000008ed: PUSH1 0x00
000008ef: SWAP2
000008f0: DUP3
000008f1: MSTORE
000008f2: PUSH1 0x20
000008f4: SWAP1
000008f5: SWAP2
000008f6: KECCAK256
000008f7: ADD
000008f8: SLOAD
000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090e: AND
0000090f: EQ
00000910: ISZERO
00000911: PUSH2 0x09c4
00000914: JUMPI
00000915: PUSH1 0x03
00000917: DUP1
00000918: SLOAD
00000919: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000093a: DUP2
0000093b: ADD
0000093c: SWAP1
0000093d: DUP2
0000093e: LT
0000093f: PUSH2 0x0944
00000942: JUMPI
00000943: INVALID
00000944: JUMPDEST
00000945: PUSH1 0x00
00000947: SWAP2
00000948: DUP3
00000949: MSTORE
0000094a: PUSH1 0x20
0000094c: SWAP1
0000094d: SWAP2
0000094e: KECCAK256
0000094f: ADD
00000950: SLOAD
00000951: PUSH1 0x03
00000953: DUP1
00000954: SLOAD
00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096a: SWAP1
0000096b: SWAP3
0000096c: AND
0000096d: SWAP2
0000096e: DUP4
0000096f: SWAP1
00000970: DUP2
00000971: LT
00000972: PUSH2 0x0977
00000975: JUMPI
00000976: INVALID
00000977: JUMPDEST
00000978: SWAP1
00000979: PUSH1 0x00
0000097b: MSTORE
0000097c: PUSH1 0x20
0000097e: PUSH1 0x00
00000980: KECCAK256
00000981: ADD
00000982: PUSH1 0x00
00000984: PUSH2 0x0100
00000987: EXP
00000988: DUP2
00000989: SLOAD
0000098a: DUP2
0000098b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a0: MUL
000009a1: NOT
000009a2: AND
000009a3: SWAP1
000009a4: DUP4
000009a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ba: AND
000009bb: MUL
000009bc: OR
000009bd: SWAP1
000009be: SSTORE
000009bf: POP
000009c0: PUSH2 0x09cc
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x01
000009c7: ADD
000009c8: PUSH2 0x089c
000009cb: JUMP
000009cc: JUMPDEST
000009cd: POP
000009ce: PUSH1 0x03
000009d0: DUP1
000009d1: SLOAD
000009d2: DUP1
000009d3: PUSH2 0x09d8
000009d6: JUMPI
000009d7: INVALID
000009d8: JUMPDEST
000009d9: PUSH1 0x00
000009db: DUP3
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH1 0x20
000009e0: SWAP1
000009e1: KECCAK256
000009e2: DUP2
000009e3: ADD
000009e4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a05: SWAP1
00000a06: DUP2
00000a07: ADD
00000a08: DUP1
00000a09: SLOAD
00000a0a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000a2b: AND
00000a2c: SWAP1
00000a2d: SSTORE
00000a2e: ADD
00000a2f: SWAP1
00000a30: SSTORE
00000a31: PUSH1 0x03
00000a33: SLOAD
00000a34: PUSH1 0x04
00000a36: SLOAD
00000a37: GT
00000a38: ISZERO
00000a39: PUSH2 0x0a48
00000a3c: JUMPI
00000a3d: PUSH1 0x03
00000a3f: SLOAD
00000a40: PUSH2 0x0a48
00000a43: SWAP1
00000a44: PUSH2 0x136c
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a61: DUP4
00000a62: AND
00000a63: SWAP1
00000a64: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000a85: SWAP1
00000a86: PUSH1 0x00
00000a88: SWAP1
00000a89: LOG2
00000a8a: POP
00000a8b: POP
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: CALLER
00000a8f: PUSH1 0x00
00000a91: DUP2
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x02
00000a96: PUSH1 0x20
00000a98: MSTORE
00000a99: PUSH1 0x40
00000a9b: SWAP1
00000a9c: KECCAK256
00000a9d: SLOAD
00000a9e: PUSH1 0xff
00000aa0: AND
00000aa1: PUSH2 0x0aa9
00000aa4: JUMPI
00000aa5: PUSH1 0x00
00000aa7: DUP1
00000aa8: REVERT
00000aa9: JUMPDEST
00000aaa: PUSH1 0x00
00000aac: DUP3
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0x20
00000ab3: SWAP1
00000ab4: DUP2
00000ab5: MSTORE
00000ab6: PUSH1 0x40
00000ab8: DUP1
00000ab9: DUP4
00000aba: KECCAK256
00000abb: CALLER
00000abc: DUP1
00000abd: DUP6
00000abe: MSTORE
00000abf: SWAP3
00000ac0: MSTORE
00000ac1: SWAP1
00000ac2: SWAP2
00000ac3: KECCAK256
00000ac4: SLOAD
00000ac5: DUP4
00000ac6: SWAP2
00000ac7: SWAP1
00000ac8: PUSH1 0xff
00000aca: AND
00000acb: PUSH2 0x0ad3
00000ace: JUMPI
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: REVERT
00000ad3: JUMPDEST
00000ad4: PUSH1 0x00
00000ad6: DUP5
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: DUP2
00000adc: SWAP1
00000add: MSTORE
00000ade: PUSH1 0x40
00000ae0: SWAP1
00000ae1: KECCAK256
00000ae2: PUSH1 0x03
00000ae4: ADD
00000ae5: SLOAD
00000ae6: DUP5
00000ae7: SWAP1
00000ae8: PUSH1 0xff
00000aea: AND
00000aeb: ISZERO
00000aec: PUSH2 0x0af4
00000aef: JUMPI
00000af0: PUSH1 0x00
00000af2: DUP1
00000af3: REVERT
00000af4: JUMPDEST
00000af5: PUSH1 0x00
00000af7: DUP6
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x01
00000afc: PUSH1 0x20
00000afe: SWAP1
00000aff: DUP2
00000b00: MSTORE
00000b01: PUSH1 0x40
00000b03: DUP1
00000b04: DUP4
00000b05: KECCAK256
00000b06: CALLER
00000b07: DUP1
00000b08: DUP6
00000b09: MSTORE
00000b0a: SWAP3
00000b0b: MSTORE
00000b0c: DUP1
00000b0d: DUP4
00000b0e: KECCAK256
00000b0f: DUP1
00000b10: SLOAD
00000b11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b32: AND
00000b33: SWAP1
00000b34: SSTORE
00000b35: MLOAD
00000b36: DUP8
00000b37: SWAP3
00000b38: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
00000b59: SWAP2
00000b5a: LOG3
00000b5b: POP
00000b5c: POP
00000b5d: POP
00000b5e: POP
00000b5f: POP
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x02
00000b64: PUSH1 0x20
00000b66: MSTORE
00000b67: PUSH1 0x00
00000b69: SWAP1
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x40
00000b6e: SWAP1
00000b6f: KECCAK256
00000b70: SLOAD
00000b71: PUSH1 0xff
00000b73: AND
00000b74: DUP2
00000b75: JUMP
00000b76: JUMPDEST
00000b77: PUSH1 0x01
00000b79: PUSH1 0x20
00000b7b: SWAP1
00000b7c: DUP2
00000b7d: MSTORE
00000b7e: PUSH1 0x00
00000b80: SWAP3
00000b81: DUP4
00000b82: MSTORE
00000b83: PUSH1 0x40
00000b85: DUP1
00000b86: DUP5
00000b87: KECCAK256
00000b88: SWAP1
00000b89: SWAP2
00000b8a: MSTORE
00000b8b: SWAP1
00000b8c: DUP3
00000b8d: MSTORE
00000b8e: SWAP1
00000b8f: KECCAK256
00000b90: SLOAD
00000b91: PUSH1 0xff
00000b93: AND
00000b94: DUP2
00000b95: JUMP
00000b96: JUMPDEST
00000b97: PUSH1 0x06
00000b99: SLOAD
00000b9a: DUP2
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH1 0x00
00000b9f: DUP1
00000ba0: JUMPDEST
00000ba1: PUSH1 0x05
00000ba3: SLOAD
00000ba4: DUP2
00000ba5: LT
00000ba6: ISZERO
00000ba7: PUSH2 0x0c01
00000baa: JUMPI
00000bab: DUP4
00000bac: DUP1
00000bad: ISZERO
00000bae: PUSH2 0x0bc9
00000bb1: JUMPI
00000bb2: POP
00000bb3: PUSH1 0x00
00000bb5: DUP2
00000bb6: DUP2
00000bb7: MSTORE
00000bb8: PUSH1 0x20
00000bba: DUP2
00000bbb: SWAP1
00000bbc: MSTORE
00000bbd: PUSH1 0x40
00000bbf: SWAP1
00000bc0: KECCAK256
00000bc1: PUSH1 0x03
00000bc3: ADD
00000bc4: SLOAD
00000bc5: PUSH1 0xff
00000bc7: AND
00000bc8: ISZERO
00000bc9: JUMPDEST
00000bca: DUP1
00000bcb: PUSH2 0x0bed
00000bce: JUMPI
00000bcf: POP
00000bd0: DUP3
00000bd1: DUP1
00000bd2: ISZERO
00000bd3: PUSH2 0x0bed
00000bd6: JUMPI
00000bd7: POP
00000bd8: PUSH1 0x00
00000bda: DUP2
00000bdb: DUP2
00000bdc: MSTORE
00000bdd: PUSH1 0x20
00000bdf: DUP2
00000be0: SWAP1
00000be1: MSTORE
00000be2: PUSH1 0x40
00000be4: SWAP1
00000be5: KECCAK256
00000be6: PUSH1 0x03
00000be8: ADD
00000be9: SLOAD
00000bea: PUSH1 0xff
00000bec: AND
00000bed: JUMPDEST
00000bee: ISZERO
00000bef: PUSH2 0x0bf9
00000bf2: JUMPI
00000bf3: PUSH1 0x01
00000bf5: DUP3
00000bf6: ADD
00000bf7: SWAP2
00000bf8: POP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x01
00000bfc: ADD
00000bfd: PUSH2 0x0ba0
00000c00: JUMP
00000c01: JUMPDEST
00000c02: POP
00000c03: SWAP3
00000c04: SWAP2
00000c05: POP
00000c06: POP
00000c07: JUMP
00000c08: JUMPDEST
00000c09: CALLER
00000c0a: ADDRESS
00000c0b: EQ
00000c0c: PUSH2 0x0c14
00000c0f: JUMPI
00000c10: PUSH1 0x00
00000c12: DUP1
00000c13: REVERT
00000c14: JUMPDEST
00000c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2a: DUP2
00000c2b: AND
00000c2c: PUSH1 0x00
00000c2e: SWAP1
00000c2f: DUP2
00000c30: MSTORE
00000c31: PUSH1 0x02
00000c33: PUSH1 0x20
00000c35: MSTORE
00000c36: PUSH1 0x40
00000c38: SWAP1
00000c39: KECCAK256
00000c3a: SLOAD
00000c3b: DUP2
00000c3c: SWAP1
00000c3d: PUSH1 0xff
00000c3f: AND
00000c40: ISZERO
00000c41: PUSH2 0x0c49
00000c44: JUMPI
00000c45: PUSH1 0x00
00000c47: DUP1
00000c48: REVERT
00000c49: JUMPDEST
00000c4a: DUP2
00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c60: DUP2
00000c61: AND
00000c62: PUSH2 0x0c6a
00000c65: JUMPI
00000c66: PUSH1 0x00
00000c68: DUP1
00000c69: REVERT
00000c6a: JUMPDEST
00000c6b: PUSH1 0x03
00000c6d: DUP1
00000c6e: SLOAD
00000c6f: SWAP1
00000c70: POP
00000c71: PUSH1 0x01
00000c73: ADD
00000c74: PUSH1 0x04
00000c76: SLOAD
00000c77: PUSH1 0x32
00000c79: DUP3
00000c7a: GT
00000c7b: ISZERO
00000c7c: DUP1
00000c7d: ISZERO
00000c7e: PUSH2 0x0c87
00000c81: JUMPI
00000c82: POP
00000c83: DUP2
00000c84: DUP2
00000c85: GT
00000c86: ISZERO
00000c87: JUMPDEST
00000c88: DUP1
00000c89: ISZERO
00000c8a: PUSH2 0x0c92
00000c8d: JUMPI
00000c8e: POP
00000c8f: DUP1
00000c90: ISZERO
00000c91: ISZERO
00000c92: JUMPDEST
00000c93: DUP1
00000c94: ISZERO
00000c95: PUSH2 0x0c9d
00000c98: JUMPI
00000c99: POP
00000c9a: DUP2
00000c9b: ISZERO
00000c9c: ISZERO
00000c9d: JUMPDEST
00000c9e: PUSH2 0x0ca6
00000ca1: JUMPI
00000ca2: PUSH1 0x00
00000ca4: DUP1
00000ca5: REVERT
00000ca6: JUMPDEST
00000ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbc: DUP6
00000cbd: AND
00000cbe: PUSH1 0x00
00000cc0: DUP2
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x02
00000cc5: PUSH1 0x20
00000cc7: MSTORE
00000cc8: PUSH1 0x40
00000cca: DUP1
00000ccb: DUP3
00000ccc: KECCAK256
00000ccd: DUP1
00000cce: SLOAD
00000ccf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000cf0: AND
00000cf1: PUSH1 0x01
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: OR
00000cf6: SWAP1
00000cf7: SWAP2
00000cf8: SSTORE
00000cf9: PUSH1 0x03
00000cfb: DUP1
00000cfc: SLOAD
00000cfd: SWAP2
00000cfe: DUP3
00000cff: ADD
00000d00: DUP2
00000d01: SSTORE
00000d02: DUP4
00000d03: MSTORE
00000d04: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000d25: ADD
00000d26: DUP1
00000d27: SLOAD
00000d28: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000d49: AND
00000d4a: DUP5
00000d4b: OR
00000d4c: SWAP1
00000d4d: SSTORE
00000d4e: MLOAD
00000d4f: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000d70: SWAP2
00000d71: SWAP1
00000d72: LOG2
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: POP
00000d77: POP
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH1 0x00
00000d7c: DUP1
00000d7d: DUP1
00000d7e: JUMPDEST
00000d7f: PUSH1 0x03
00000d81: SLOAD
00000d82: DUP2
00000d83: LT
00000d84: ISZERO
00000d85: PUSH2 0x0e05
00000d88: JUMPI
00000d89: PUSH1 0x00
00000d8b: DUP5
00000d8c: DUP2
00000d8d: MSTORE
00000d8e: PUSH1 0x01
00000d90: PUSH1 0x20
00000d92: MSTORE
00000d93: PUSH1 0x40
00000d95: DUP2
00000d96: KECCAK256
00000d97: PUSH1 0x03
00000d99: DUP1
00000d9a: SLOAD
00000d9b: SWAP2
00000d9c: SWAP3
00000d9d: SWAP2
00000d9e: DUP5
00000d9f: SWAP1
00000da0: DUP2
00000da1: LT
00000da2: PUSH2 0x0da7
00000da5: JUMPI
00000da6: INVALID
00000da7: JUMPDEST
00000da8: PUSH1 0x00
00000daa: SWAP2
00000dab: DUP3
00000dac: MSTORE
00000dad: PUSH1 0x20
00000daf: DUP1
00000db0: DUP4
00000db1: KECCAK256
00000db2: SWAP1
00000db3: SWAP2
00000db4: ADD
00000db5: SLOAD
00000db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcb: AND
00000dcc: DUP4
00000dcd: MSTORE
00000dce: DUP3
00000dcf: ADD
00000dd0: SWAP3
00000dd1: SWAP1
00000dd2: SWAP3
00000dd3: MSTORE
00000dd4: PUSH1 0x40
00000dd6: ADD
00000dd7: SWAP1
00000dd8: KECCAK256
00000dd9: SLOAD
00000dda: PUSH1 0xff
00000ddc: AND
00000ddd: ISZERO
00000dde: PUSH2 0x0de8
00000de1: JUMPI
00000de2: PUSH1 0x01
00000de4: DUP3
00000de5: ADD
00000de6: SWAP2
00000de7: POP
00000de8: JUMPDEST
00000de9: PUSH1 0x04
00000deb: SLOAD
00000dec: DUP3
00000ded: EQ
00000dee: ISZERO
00000def: PUSH2 0x0dfd
00000df2: JUMPI
00000df3: PUSH1 0x01
00000df5: SWAP3
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: PUSH2 0x0e08
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH1 0x01
00000e00: ADD
00000e01: PUSH2 0x0d7e
00000e04: JUMP
00000e05: JUMPDEST
00000e06: POP
00000e07: POP
00000e08: JUMPDEST
00000e09: SWAP2
00000e0a: SWAP1
00000e0b: POP
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: CALLER
00000e0f: ADDRESS
00000e10: EQ
00000e11: PUSH2 0x0e19
00000e14: JUMPI
00000e15: PUSH1 0x00
00000e17: DUP1
00000e18: REVERT
00000e19: JUMPDEST
00000e1a: PUSH1 0x06
00000e1c: DUP2
00000e1d: SWAP1
00000e1e: SSTORE
00000e1f: PUSH1 0x40
00000e21: DUP1
00000e22: MLOAD
00000e23: DUP3
00000e24: DUP2
00000e25: MSTORE
00000e26: SWAP1
00000e27: MLOAD
00000e28: PUSH32 0xd1c9101a34feff75cccef14a28785a0279cb0b49c1f321f21f5f422e746b4377
00000e49: SWAP2
00000e4a: DUP2
00000e4b: SWAP1
00000e4c: SUB
00000e4d: PUSH1 0x20
00000e4f: ADD
00000e50: SWAP1
00000e51: LOG1
00000e52: POP
00000e53: JUMP
00000e54: JUMPDEST
00000e55: PUSH1 0x00
00000e57: DUP1
00000e58: JUMPDEST
00000e59: PUSH1 0x03
00000e5b: SLOAD
00000e5c: DUP2
00000e5d: LT
00000e5e: ISZERO
00000e5f: PUSH2 0x0eca
00000e62: JUMPI
00000e63: PUSH1 0x00
00000e65: DUP4
00000e66: DUP2
00000e67: MSTORE
00000e68: PUSH1 0x01
00000e6a: PUSH1 0x20
00000e6c: MSTORE
00000e6d: PUSH1 0x40
00000e6f: DUP2
00000e70: KECCAK256
00000e71: PUSH1 0x03
00000e73: DUP1
00000e74: SLOAD
00000e75: SWAP2
00000e76: SWAP3
00000e77: SWAP2
00000e78: DUP5
00000e79: SWAP1
00000e7a: DUP2
00000e7b: LT
00000e7c: PUSH2 0x0e81
00000e7f: JUMPI
00000e80: INVALID
00000e81: JUMPDEST
00000e82: PUSH1 0x00
00000e84: SWAP2
00000e85: DUP3
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: DUP1
00000e8a: DUP4
00000e8b: KECCAK256
00000e8c: SWAP1
00000e8d: SWAP2
00000e8e: ADD
00000e8f: SLOAD
00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea5: AND
00000ea6: DUP4
00000ea7: MSTORE
00000ea8: DUP3
00000ea9: ADD
00000eaa: SWAP3
00000eab: SWAP1
00000eac: SWAP3
00000ead: MSTORE
00000eae: PUSH1 0x40
00000eb0: ADD
00000eb1: SWAP1
00000eb2: KECCAK256
00000eb3: SLOAD
00000eb4: PUSH1 0xff
00000eb6: AND
00000eb7: ISZERO
00000eb8: PUSH2 0x0ec2
00000ebb: JUMPI
00000ebc: PUSH1 0x01
00000ebe: DUP3
00000ebf: ADD
00000ec0: SWAP2
00000ec1: POP
00000ec2: JUMPDEST
00000ec3: PUSH1 0x01
00000ec5: ADD
00000ec6: PUSH2 0x0e58
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: POP
00000ecc: SWAP2
00000ecd: SWAP1
00000ece: POP
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH1 0x00
00000ed3: PUSH1 0x20
00000ed5: DUP2
00000ed6: DUP2
00000ed7: MSTORE
00000ed8: SWAP2
00000ed9: DUP2
00000eda: MSTORE
00000edb: PUSH1 0x40
00000edd: SWAP1
00000ede: DUP2
00000edf: SWAP1
00000ee0: KECCAK256
00000ee1: DUP1
00000ee2: SLOAD
00000ee3: PUSH1 0x01
00000ee5: DUP1
00000ee6: DUP4
00000ee7: ADD
00000ee8: SLOAD
00000ee9: PUSH1 0x02
00000eeb: DUP1
00000eec: DUP6
00000eed: ADD
00000eee: DUP1
00000eef: SLOAD
00000ef0: DUP8
00000ef1: MLOAD
00000ef2: PUSH2 0x0100
00000ef5: SWAP6
00000ef6: DUP3
00000ef7: AND
00000ef8: ISZERO
00000ef9: SWAP6
00000efa: SWAP1
00000efb: SWAP6
00000efc: MUL
00000efd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f1e: ADD
00000f1f: AND
00000f20: SWAP2
00000f21: SWAP1
00000f22: SWAP2
00000f23: DIV
00000f24: PUSH1 0x1f
00000f26: DUP2
00000f27: ADD
00000f28: DUP9
00000f29: SWAP1
00000f2a: DIV
00000f2b: DUP9
00000f2c: MUL
00000f2d: DUP5
00000f2e: ADD
00000f2f: DUP9
00000f30: ADD
00000f31: SWAP1
00000f32: SWAP7
00000f33: MSTORE
00000f34: DUP6
00000f35: DUP4
00000f36: MSTORE
00000f37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4c: SWAP1
00000f4d: SWAP4
00000f4e: AND
00000f4f: SWAP6
00000f50: SWAP1
00000f51: SWAP5
00000f52: SWAP2
00000f53: SWAP3
00000f54: SWAP2
00000f55: SWAP1
00000f56: DUP4
00000f57: ADD
00000f58: DUP3
00000f59: DUP3
00000f5a: DUP1
00000f5b: ISZERO
00000f5c: PUSH2 0x0fa6
00000f5f: JUMPI
00000f60: DUP1
00000f61: PUSH1 0x1f
00000f63: LT
00000f64: PUSH2 0x0f7b
00000f67: JUMPI
00000f68: PUSH2 0x0100
00000f6b: DUP1
00000f6c: DUP4
00000f6d: SLOAD
00000f6e: DIV
00000f6f: MUL
00000f70: DUP4
00000f71: MSTORE
00000f72: SWAP2
00000f73: PUSH1 0x20
00000f75: ADD
00000f76: SWAP2
00000f77: PUSH2 0x0fa6
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: DUP3
00000f7d: ADD
00000f7e: SWAP2
00000f7f: SWAP1
00000f80: PUSH1 0x00
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: PUSH1 0x00
00000f87: KECCAK256
00000f88: SWAP1
00000f89: JUMPDEST
00000f8a: DUP2
00000f8b: SLOAD
00000f8c: DUP2
00000f8d: MSTORE
00000f8e: SWAP1
00000f8f: PUSH1 0x01
00000f91: ADD
00000f92: SWAP1
00000f93: PUSH1 0x20
00000f95: ADD
00000f96: DUP1
00000f97: DUP4
00000f98: GT
00000f99: PUSH2 0x0f89
00000f9c: JUMPI
00000f9d: DUP3
00000f9e: SWAP1
00000f9f: SUB
00000fa0: PUSH1 0x1f
00000fa2: AND
00000fa3: DUP3
00000fa4: ADD
00000fa5: SWAP2
00000fa6: JUMPDEST
00000fa7: POP
00000fa8: POP
00000fa9: POP
00000faa: PUSH1 0x03
00000fac: SWAP1
00000fad: SWAP4
00000fae: ADD
00000faf: SLOAD
00000fb0: SWAP2
00000fb1: SWAP3
00000fb2: POP
00000fb3: POP
00000fb4: PUSH1 0xff
00000fb6: AND
00000fb7: DUP5
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH1 0x60
00000fbc: PUSH1 0x03
00000fbe: DUP1
00000fbf: SLOAD
00000fc0: DUP1
00000fc1: PUSH1 0x20
00000fc3: MUL
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: SWAP1
00000fcb: DUP2
00000fcc: ADD
00000fcd: PUSH1 0x40
00000fcf: MSTORE
00000fd0: DUP1
00000fd1: SWAP3
00000fd2: SWAP2
00000fd3: SWAP1
00000fd4: DUP2
00000fd5: DUP2
00000fd6: MSTORE
00000fd7: PUSH1 0x20
00000fd9: ADD
00000fda: DUP3
00000fdb: DUP1
00000fdc: SLOAD
00000fdd: DUP1
00000fde: ISZERO
00000fdf: PUSH2 0x101e
00000fe2: JUMPI
00000fe3: PUSH1 0x20
00000fe5: MUL
00000fe6: DUP3
00000fe7: ADD
00000fe8: SWAP2
00000fe9: SWAP1
00000fea: PUSH1 0x00
00000fec: MSTORE
00000fed: PUSH1 0x20
00000fef: PUSH1 0x00
00000ff1: KECCAK256
00000ff2: SWAP1
00000ff3: JUMPDEST
00000ff4: DUP2
00000ff5: SLOAD
00000ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100b: AND
0000100c: DUP2
0000100d: MSTORE
0000100e: PUSH1 0x01
00001010: SWAP1
00001011: SWAP2
00001012: ADD
00001013: SWAP1
00001014: PUSH1 0x20
00001016: ADD
00001017: DUP1
00001018: DUP4
00001019: GT
0000101a: PUSH2 0x0ff3
0000101d: JUMPI
0000101e: JUMPDEST
0000101f: POP
00001020: POP
00001021: POP
00001022: POP
00001023: POP
00001024: SWAP1
00001025: POP
00001026: SWAP1
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x60
0000102b: DUP1
0000102c: PUSH1 0x05
0000102e: SLOAD
0000102f: PUSH8 0xffffffffffffffff
00001038: DUP2
00001039: GT
0000103a: DUP1
0000103b: ISZERO
0000103c: PUSH2 0x1044
0000103f: JUMPI
00001040: PUSH1 0x00
00001042: DUP1
00001043: REVERT
00001044: JUMPDEST
00001045: POP
00001046: PUSH1 0x40
00001048: MLOAD
00001049: SWAP1
0000104a: DUP1
0000104b: DUP3
0000104c: MSTORE
0000104d: DUP1
0000104e: PUSH1 0x20
00001050: MUL
00001051: PUSH1 0x20
00001053: ADD
00001054: DUP3
00001055: ADD
00001056: PUSH1 0x40
00001058: MSTORE
00001059: DUP1
0000105a: ISZERO
0000105b: PUSH2 0x106e
0000105e: JUMPI
0000105f: DUP2
00001060: PUSH1 0x20
00001062: ADD
00001063: PUSH1 0x20
00001065: DUP3
00001066: MUL
00001067: DUP1
00001068: CALLDATASIZE
00001069: DUP4
0000106a: CALLDATACOPY
0000106b: ADD
0000106c: SWAP1
0000106d: POP
0000106e: JUMPDEST
0000106f: POP
00001070: SWAP1
00001071: POP
00001072: PUSH1 0x00
00001074: DUP1
00001075: JUMPDEST
00001076: PUSH1 0x05
00001078: SLOAD
00001079: DUP2
0000107a: LT
0000107b: ISZERO
0000107c: PUSH2 0x10ef
0000107f: JUMPI
00001080: DUP6
00001081: DUP1
00001082: ISZERO
00001083: PUSH2 0x109e
00001086: JUMPI
00001087: POP
00001088: PUSH1 0x00
0000108a: DUP2
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: DUP2
00001090: SWAP1
00001091: MSTORE
00001092: PUSH1 0x40
00001094: SWAP1
00001095: KECCAK256
00001096: PUSH1 0x03
00001098: ADD
00001099: SLOAD
0000109a: PUSH1 0xff
0000109c: AND
0000109d: ISZERO
0000109e: JUMPDEST
0000109f: DUP1
000010a0: PUSH2 0x10c2
000010a3: JUMPI
000010a4: POP
000010a5: DUP5
000010a6: DUP1
000010a7: ISZERO
000010a8: PUSH2 0x10c2
000010ab: JUMPI
000010ac: POP
000010ad: PUSH1 0x00
000010af: DUP2
000010b0: DUP2
000010b1: MSTORE
000010b2: PUSH1 0x20
000010b4: DUP2
000010b5: SWAP1
000010b6: MSTORE
000010b7: PUSH1 0x40
000010b9: SWAP1
000010ba: KECCAK256
000010bb: PUSH1 0x03
000010bd: ADD
000010be: SLOAD
000010bf: PUSH1 0xff
000010c1: AND
000010c2: JUMPDEST
000010c3: ISZERO
000010c4: PUSH2 0x10e7
000010c7: JUMPI
000010c8: DUP1
000010c9: DUP4
000010ca: DUP4
000010cb: DUP2
000010cc: MLOAD
000010cd: DUP2
000010ce: LT
000010cf: PUSH2 0x10d4
000010d2: JUMPI
000010d3: INVALID
000010d4: JUMPDEST
000010d5: PUSH1 0x20
000010d7: MUL
000010d8: PUSH1 0x20
000010da: ADD
000010db: ADD
000010dc: DUP2
000010dd: DUP2
000010de: MSTORE
000010df: POP
000010e0: POP
000010e1: PUSH1 0x01
000010e3: DUP3
000010e4: ADD
000010e5: SWAP2
000010e6: POP
000010e7: JUMPDEST
000010e8: PUSH1 0x01
000010ea: ADD
000010eb: PUSH2 0x1075
000010ee: JUMP
000010ef: JUMPDEST
000010f0: DUP8
000010f1: DUP8
000010f2: SUB
000010f3: PUSH8 0xffffffffffffffff
000010fc: DUP2
000010fd: GT
000010fe: DUP1
000010ff: ISZERO
00001100: PUSH2 0x1108
00001103: JUMPI
00001104: PUSH1 0x00
00001106: DUP1
00001107: REVERT
00001108: JUMPDEST
00001109: POP
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: SWAP1
0000110e: DUP1
0000110f: DUP3
00001110: MSTORE
00001111: DUP1
00001112: PUSH1 0x20
00001114: MUL
00001115: PUSH1 0x20
00001117: ADD
00001118: DUP3
00001119: ADD
0000111a: PUSH1 0x40
0000111c: MSTORE
0000111d: DUP1
0000111e: ISZERO
0000111f: PUSH2 0x1132
00001122: JUMPI
00001123: DUP2
00001124: PUSH1 0x20
00001126: ADD
00001127: PUSH1 0x20
00001129: DUP3
0000112a: MUL
0000112b: DUP1
0000112c: CALLDATASIZE
0000112d: DUP4
0000112e: CALLDATACOPY
0000112f: ADD
00001130: SWAP1
00001131: POP
00001132: JUMPDEST
00001133: POP
00001134: SWAP4
00001135: POP
00001136: DUP8
00001137: SWAP1
00001138: POP
00001139: JUMPDEST
0000113a: DUP7
0000113b: DUP2
0000113c: LT
0000113d: ISZERO
0000113e: PUSH2 0x1176
00001141: JUMPI
00001142: DUP3
00001143: DUP2
00001144: DUP2
00001145: MLOAD
00001146: DUP2
00001147: LT
00001148: PUSH2 0x114d
0000114b: JUMPI
0000114c: INVALID
0000114d: JUMPDEST
0000114e: PUSH1 0x20
00001150: MUL
00001151: PUSH1 0x20
00001153: ADD
00001154: ADD
00001155: MLOAD
00001156: DUP5
00001157: DUP10
00001158: DUP4
00001159: SUB
0000115a: DUP2
0000115b: MLOAD
0000115c: DUP2
0000115d: LT
0000115e: PUSH2 0x1163
00001161: JUMPI
00001162: INVALID
00001163: JUMPDEST
00001164: PUSH1 0x20
00001166: SWAP1
00001167: DUP2
00001168: MUL
00001169: SWAP2
0000116a: SWAP1
0000116b: SWAP2
0000116c: ADD
0000116d: ADD
0000116e: MSTORE
0000116f: PUSH1 0x01
00001171: ADD
00001172: PUSH2 0x1139
00001175: JUMP
00001176: JUMPDEST
00001177: POP
00001178: POP
00001179: POP
0000117a: SWAP5
0000117b: SWAP4
0000117c: POP
0000117d: POP
0000117e: POP
0000117f: POP
00001180: JUMP
00001181: JUMPDEST
00001182: PUSH1 0x03
00001184: SLOAD
00001185: PUSH1 0x60
00001187: SWAP1
00001188: DUP2
00001189: SWAP1
0000118a: PUSH8 0xffffffffffffffff
00001193: DUP2
00001194: GT
00001195: DUP1
00001196: ISZERO
00001197: PUSH2 0x119f
0000119a: JUMPI
0000119b: PUSH1 0x00
0000119d: DUP1
0000119e: REVERT
0000119f: JUMPDEST
000011a0: POP
000011a1: PUSH1 0x40
000011a3: MLOAD
000011a4: SWAP1
000011a5: DUP1
000011a6: DUP3
000011a7: MSTORE
000011a8: DUP1
000011a9: PUSH1 0x20
000011ab: MUL
000011ac: PUSH1 0x20
000011ae: ADD
000011af: DUP3
000011b0: ADD
000011b1: PUSH1 0x40
000011b3: MSTORE
000011b4: DUP1
000011b5: ISZERO
000011b6: PUSH2 0x11c9
000011b9: JUMPI
000011ba: DUP2
000011bb: PUSH1 0x20
000011bd: ADD
000011be: PUSH1 0x20
000011c0: DUP3
000011c1: MUL
000011c2: DUP1
000011c3: CALLDATASIZE
000011c4: DUP4
000011c5: CALLDATACOPY
000011c6: ADD
000011c7: SWAP1
000011c8: POP
000011c9: JUMPDEST
000011ca: POP
000011cb: SWAP1
000011cc: POP
000011cd: PUSH1 0x00
000011cf: DUP1
000011d0: JUMPDEST
000011d1: PUSH1 0x03
000011d3: SLOAD
000011d4: DUP2
000011d5: LT
000011d6: ISZERO
000011d7: PUSH2 0x12c0
000011da: JUMPI
000011db: PUSH1 0x00
000011dd: DUP6
000011de: DUP2
000011df: MSTORE
000011e0: PUSH1 0x01
000011e2: PUSH1 0x20
000011e4: MSTORE
000011e5: PUSH1 0x40
000011e7: DUP2
000011e8: KECCAK256
000011e9: PUSH1 0x03
000011eb: DUP1
000011ec: SLOAD
000011ed: SWAP2
000011ee: SWAP3
000011ef: SWAP2
000011f0: DUP5
000011f1: SWAP1
000011f2: DUP2
000011f3: LT
000011f4: PUSH2 0x11f9
000011f7: JUMPI
000011f8: INVALID
000011f9: JUMPDEST
000011fa: PUSH1 0x00
000011fc: SWAP2
000011fd: DUP3
000011fe: MSTORE
000011ff: PUSH1 0x20
00001201: DUP1
00001202: DUP4
00001203: KECCAK256
00001204: SWAP1
00001205: SWAP2
00001206: ADD
00001207: SLOAD
00001208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121d: AND
0000121e: DUP4
0000121f: MSTORE
00001220: DUP3
00001221: ADD
00001222: SWAP3
00001223: SWAP1
00001224: SWAP3
00001225: MSTORE
00001226: PUSH1 0x40
00001228: ADD
00001229: SWAP1
0000122a: KECCAK256
0000122b: SLOAD
0000122c: PUSH1 0xff
0000122e: AND
0000122f: ISZERO
00001230: PUSH2 0x12b8
00001233: JUMPI
00001234: PUSH1 0x03
00001236: DUP2
00001237: DUP2
00001238: SLOAD
00001239: DUP2
0000123a: LT
0000123b: PUSH2 0x1240
0000123e: JUMPI
0000123f: INVALID
00001240: JUMPDEST
00001241: SWAP1
00001242: PUSH1 0x00
00001244: MSTORE
00001245: PUSH1 0x20
00001247: PUSH1 0x00
00001249: KECCAK256
0000124a: ADD
0000124b: PUSH1 0x00
0000124d: SWAP1
0000124e: SLOAD
0000124f: SWAP1
00001250: PUSH2 0x0100
00001253: EXP
00001254: SWAP1
00001255: DIV
00001256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126b: AND
0000126c: DUP4
0000126d: DUP4
0000126e: DUP2
0000126f: MLOAD
00001270: DUP2
00001271: LT
00001272: PUSH2 0x1277
00001275: JUMPI
00001276: INVALID
00001277: JUMPDEST
00001278: PUSH1 0x20
0000127a: MUL
0000127b: PUSH1 0x20
0000127d: ADD
0000127e: ADD
0000127f: SWAP1
00001280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001295: AND
00001296: SWAP1
00001297: DUP2
00001298: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ad: AND
000012ae: DUP2
000012af: MSTORE
000012b0: POP
000012b1: POP
000012b2: PUSH1 0x01
000012b4: DUP3
000012b5: ADD
000012b6: SWAP2
000012b7: POP
000012b8: JUMPDEST
000012b9: PUSH1 0x01
000012bb: ADD
000012bc: PUSH2 0x11d0
000012bf: JUMP
000012c0: JUMPDEST
000012c1: DUP2
000012c2: PUSH8 0xffffffffffffffff
000012cb: DUP2
000012cc: GT
000012cd: DUP1
000012ce: ISZERO
000012cf: PUSH2 0x12d7
000012d2: JUMPI
000012d3: PUSH1 0x00
000012d5: DUP1
000012d6: REVERT
000012d7: JUMPDEST
000012d8: POP
000012d9: PUSH1 0x40
000012db: MLOAD
000012dc: SWAP1
000012dd: DUP1
000012de: DUP3
000012df: MSTORE
000012e0: DUP1
000012e1: PUSH1 0x20
000012e3: MUL
000012e4: PUSH1 0x20
000012e6: ADD
000012e7: DUP3
000012e8: ADD
000012e9: PUSH1 0x40
000012eb: MSTORE
000012ec: DUP1
000012ed: ISZERO
000012ee: PUSH2 0x1301
000012f1: JUMPI
000012f2: DUP2
000012f3: PUSH1 0x20
000012f5: ADD
000012f6: PUSH1 0x20
000012f8: DUP3
000012f9: MUL
000012fa: DUP1
000012fb: CALLDATASIZE
000012fc: DUP4
000012fd: CALLDATACOPY
000012fe: ADD
000012ff: SWAP1
00001300: POP
00001301: JUMPDEST
00001302: POP
00001303: SWAP4
00001304: POP
00001305: PUSH1 0x00
00001307: SWAP1
00001308: POP
00001309: JUMPDEST
0000130a: DUP2
0000130b: DUP2
0000130c: LT
0000130d: ISZERO
0000130e: PUSH2 0x135e
00001311: JUMPI
00001312: DUP3
00001313: DUP2
00001314: DUP2
00001315: MLOAD
00001316: DUP2
00001317: LT
00001318: PUSH2 0x131d
0000131b: JUMPI
0000131c: INVALID
0000131d: JUMPDEST
0000131e: PUSH1 0x20
00001320: MUL
00001321: PUSH1 0x20
00001323: ADD
00001324: ADD
00001325: MLOAD
00001326: DUP5
00001327: DUP3
00001328: DUP2
00001329: MLOAD
0000132a: DUP2
0000132b: LT
0000132c: PUSH2 0x1331
0000132f: JUMPI
00001330: INVALID
00001331: JUMPDEST
00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001347: SWAP1
00001348: SWAP3
00001349: AND
0000134a: PUSH1 0x20
0000134c: SWAP3
0000134d: DUP4
0000134e: MUL
0000134f: SWAP2
00001350: SWAP1
00001351: SWAP2
00001352: ADD
00001353: SWAP1
00001354: SWAP2
00001355: ADD
00001356: MSTORE
00001357: PUSH1 0x01
00001359: ADD
0000135a: PUSH2 0x1309
0000135d: JUMP
0000135e: JUMPDEST
0000135f: POP
00001360: POP
00001361: POP
00001362: SWAP2
00001363: SWAP1
00001364: POP
00001365: JUMP
00001366: JUMPDEST
00001367: PUSH1 0x05
00001369: SLOAD
0000136a: DUP2
0000136b: JUMP
0000136c: JUMPDEST
0000136d: CALLER
0000136e: ADDRESS
0000136f: EQ
00001370: PUSH2 0x1378
00001373: JUMPI
00001374: PUSH1 0x00
00001376: DUP1
00001377: REVERT
00001378: JUMPDEST
00001379: PUSH1 0x03
0000137b: SLOAD
0000137c: DUP2
0000137d: PUSH1 0x32
0000137f: DUP3
00001380: GT
00001381: DUP1
00001382: ISZERO
00001383: SWAP1
00001384: PUSH2 0x138d
00001387: JUMPI
00001388: POP
00001389: DUP2
0000138a: DUP2
0000138b: GT
0000138c: ISZERO
0000138d: JUMPDEST
0000138e: DUP1
0000138f: ISZERO
00001390: PUSH2 0x1398
00001393: JUMPI
00001394: POP
00001395: DUP1
00001396: ISZERO
00001397: ISZERO
00001398: JUMPDEST
00001399: DUP1
0000139a: ISZERO
0000139b: PUSH2 0x13a3
0000139e: JUMPI
0000139f: POP
000013a0: DUP2
000013a1: ISZERO
000013a2: ISZERO
000013a3: JUMPDEST
000013a4: PUSH2 0x13ac
000013a7: JUMPI
000013a8: PUSH1 0x00
000013aa: DUP1
000013ab: REVERT
000013ac: JUMPDEST
000013ad: PUSH1 0x04
000013af: DUP4
000013b0: SWAP1
000013b1: SSTORE
000013b2: PUSH1 0x40
000013b4: DUP1
000013b5: MLOAD
000013b6: DUP5
000013b7: DUP2
000013b8: MSTORE
000013b9: SWAP1
000013ba: MLOAD
000013bb: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000013dc: SWAP2
000013dd: DUP2
000013de: SWAP1
000013df: SUB
000013e0: PUSH1 0x20
000013e2: ADD
000013e3: SWAP1
000013e4: LOG1
000013e5: POP
000013e6: POP
000013e7: POP
000013e8: JUMP
000013e9: JUMPDEST
000013ea: CALLER
000013eb: PUSH1 0x00
000013ed: DUP2
000013ee: DUP2
000013ef: MSTORE
000013f0: PUSH1 0x02
000013f2: PUSH1 0x20
000013f4: MSTORE
000013f5: PUSH1 0x40
000013f7: SWAP1
000013f8: KECCAK256
000013f9: SLOAD
000013fa: PUSH1 0xff
000013fc: AND
000013fd: PUSH2 0x1405
00001400: JUMPI
00001401: PUSH1 0x00
00001403: DUP1
00001404: REVERT
00001405: JUMPDEST
00001406: PUSH1 0x00
00001408: DUP3
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x20
0000140d: DUP2
0000140e: SWAP1
0000140f: MSTORE
00001410: PUSH1 0x40
00001412: SWAP1
00001413: KECCAK256
00001414: SLOAD
00001415: DUP3
00001416: SWAP1
00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142c: AND
0000142d: PUSH2 0x1435
00001430: JUMPI
00001431: PUSH1 0x00
00001433: DUP1
00001434: REVERT
00001435: JUMPDEST
00001436: PUSH1 0x00
00001438: DUP4
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x01
0000143d: PUSH1 0x20
0000143f: SWAP1
00001440: DUP2
00001441: MSTORE
00001442: PUSH1 0x40
00001444: DUP1
00001445: DUP4
00001446: KECCAK256
00001447: CALLER
00001448: DUP1
00001449: DUP6
0000144a: MSTORE
0000144b: SWAP3
0000144c: MSTORE
0000144d: SWAP1
0000144e: SWAP2
0000144f: KECCAK256
00001450: SLOAD
00001451: DUP5
00001452: SWAP2
00001453: SWAP1
00001454: PUSH1 0xff
00001456: AND
00001457: ISZERO
00001458: PUSH2 0x1460
0000145b: JUMPI
0000145c: PUSH1 0x00
0000145e: DUP1
0000145f: REVERT
00001460: JUMPDEST
00001461: PUSH1 0x00
00001463: PUSH2 0x146b
00001466: DUP7
00001467: PUSH2 0x0d79
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH1 0x00
0000146e: DUP8
0000146f: DUP2
00001470: MSTORE
00001471: PUSH1 0x01
00001473: PUSH1 0x20
00001475: DUP2
00001476: DUP2
00001477: MSTORE
00001478: PUSH1 0x40
0000147a: DUP1
0000147b: DUP5
0000147c: KECCAK256
0000147d: CALLER
0000147e: DUP1
0000147f: DUP7
00001480: MSTORE
00001481: SWAP3
00001482: MSTORE
00001483: DUP1
00001484: DUP5
00001485: KECCAK256
00001486: DUP1
00001487: SLOAD
00001488: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000014a9: AND
000014aa: SWAP1
000014ab: SWAP4
000014ac: OR
000014ad: SWAP1
000014ae: SWAP3
000014af: SSTORE
000014b0: SWAP1
000014b1: MLOAD
000014b2: SWAP3
000014b3: SWAP4
000014b4: POP
000014b5: DUP9
000014b6: SWAP3
000014b7: SWAP1
000014b8: SWAP2
000014b9: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000014da: SWAP2
000014db: LOG3
000014dc: DUP1
000014dd: ISZERO
000014de: DUP1
000014df: ISZERO
000014e0: PUSH2 0x14ed
000014e3: JUMPI
000014e4: POP
000014e5: PUSH2 0x14ed
000014e8: DUP7
000014e9: PUSH2 0x0d79
000014ec: JUMP
000014ed: JUMPDEST
000014ee: ISZERO
000014ef: PUSH2 0x14fc
000014f2: JUMPI
000014f3: PUSH2 0x14fc
000014f6: DUP7
000014f7: TIMESTAMP
000014f8: PUSH2 0x1a0d
000014fb: JUMP
000014fc: JUMPDEST
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: POP
00001502: POP
00001503: JUMP
00001504: JUMPDEST
00001505: PUSH1 0x00
00001507: PUSH2 0x1511
0000150a: DUP5
0000150b: DUP5
0000150c: DUP5
0000150d: PUSH2 0x1a58
00001510: JUMP
00001511: JUMPDEST
00001512: SWAP1
00001513: POP
00001514: PUSH2 0x151c
00001517: DUP2
00001518: PUSH2 0x13e9
0000151b: JUMP
0000151c: JUMPDEST
0000151d: SWAP4
0000151e: SWAP3
0000151f: POP
00001520: POP
00001521: POP
00001522: JUMP
00001523: JUMPDEST
00001524: PUSH1 0x07
00001526: PUSH1 0x20
00001528: MSTORE
00001529: PUSH1 0x00
0000152b: SWAP1
0000152c: DUP2
0000152d: MSTORE
0000152e: PUSH1 0x40
00001530: SWAP1
00001531: KECCAK256
00001532: SLOAD
00001533: DUP2
00001534: JUMP
00001535: JUMPDEST
00001536: PUSH1 0x32
00001538: DUP2
00001539: JUMP
0000153a: JUMPDEST
0000153b: PUSH1 0x04
0000153d: SLOAD
0000153e: DUP2
0000153f: JUMP
00001540: JUMPDEST
00001541: CALLER
00001542: ADDRESS
00001543: EQ
00001544: PUSH2 0x154c
00001547: JUMPI
00001548: PUSH1 0x00
0000154a: DUP1
0000154b: REVERT
0000154c: JUMPDEST
0000154d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001562: DUP3
00001563: AND
00001564: PUSH1 0x00
00001566: SWAP1
00001567: DUP2
00001568: MSTORE
00001569: PUSH1 0x02
0000156b: PUSH1 0x20
0000156d: MSTORE
0000156e: PUSH1 0x40
00001570: SWAP1
00001571: KECCAK256
00001572: SLOAD
00001573: DUP3
00001574: SWAP1
00001575: PUSH1 0xff
00001577: AND
00001578: PUSH2 0x1580
0000157b: JUMPI
0000157c: PUSH1 0x00
0000157e: DUP1
0000157f: REVERT
00001580: JUMPDEST
00001581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001596: DUP3
00001597: AND
00001598: PUSH1 0x00
0000159a: SWAP1
0000159b: DUP2
0000159c: MSTORE
0000159d: PUSH1 0x02
0000159f: PUSH1 0x20
000015a1: MSTORE
000015a2: PUSH1 0x40
000015a4: SWAP1
000015a5: KECCAK256
000015a6: SLOAD
000015a7: DUP3
000015a8: SWAP1
000015a9: PUSH1 0xff
000015ab: AND
000015ac: ISZERO
000015ad: PUSH2 0x15b5
000015b0: JUMPI
000015b1: PUSH1 0x00
000015b3: DUP1
000015b4: REVERT
000015b5: JUMPDEST
000015b6: PUSH1 0x00
000015b8: JUMPDEST
000015b9: PUSH1 0x03
000015bb: SLOAD
000015bc: DUP2
000015bd: LT
000015be: ISZERO
000015bf: PUSH2 0x1671
000015c2: JUMPI
000015c3: DUP5
000015c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d9: AND
000015da: PUSH1 0x03
000015dc: DUP3
000015dd: DUP2
000015de: SLOAD
000015df: DUP2
000015e0: LT
000015e1: PUSH2 0x15e6
000015e4: JUMPI
000015e5: INVALID
000015e6: JUMPDEST
000015e7: PUSH1 0x00
000015e9: SWAP2
000015ea: DUP3
000015eb: MSTORE
000015ec: PUSH1 0x20
000015ee: SWAP1
000015ef: SWAP2
000015f0: KECCAK256
000015f1: ADD
000015f2: SLOAD
000015f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001608: AND
00001609: EQ
0000160a: ISZERO
0000160b: PUSH2 0x1669
0000160e: JUMPI
0000160f: DUP4
00001610: PUSH1 0x03
00001612: DUP3
00001613: DUP2
00001614: SLOAD
00001615: DUP2
00001616: LT
00001617: PUSH2 0x161c
0000161a: JUMPI
0000161b: INVALID
0000161c: JUMPDEST
0000161d: SWAP1
0000161e: PUSH1 0x00
00001620: MSTORE
00001621: PUSH1 0x20
00001623: PUSH1 0x00
00001625: KECCAK256
00001626: ADD
00001627: PUSH1 0x00
00001629: PUSH2 0x0100
0000162c: EXP
0000162d: DUP2
0000162e: SLOAD
0000162f: DUP2
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: MUL
00001646: NOT
00001647: AND
00001648: SWAP1
00001649: DUP4
0000164a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165f: AND
00001660: MUL
00001661: OR
00001662: SWAP1
00001663: SSTORE
00001664: POP
00001665: PUSH2 0x1671
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x01
0000166c: ADD
0000166d: PUSH2 0x15b8
00001670: JUMP
00001671: JUMPDEST
00001672: POP
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: DUP1
00001689: DUP6
0000168a: AND
0000168b: PUSH1 0x00
0000168d: DUP2
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x02
00001692: PUSH1 0x20
00001694: MSTORE
00001695: PUSH1 0x40
00001697: DUP1
00001698: DUP3
00001699: KECCAK256
0000169a: DUP1
0000169b: SLOAD
0000169c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000016bd: SWAP1
000016be: DUP2
000016bf: AND
000016c0: SWAP1
000016c1: SWAP2
000016c2: SSTORE
000016c3: SWAP4
000016c4: DUP8
000016c5: AND
000016c6: DUP3
000016c7: MSTORE
000016c8: DUP1
000016c9: DUP3
000016ca: KECCAK256
000016cb: DUP1
000016cc: SLOAD
000016cd: SWAP1
000016ce: SWAP5
000016cf: AND
000016d0: PUSH1 0x01
000016d2: OR
000016d3: SWAP1
000016d4: SWAP4
000016d5: SSTORE
000016d6: SWAP2
000016d7: MLOAD
000016d8: SWAP1
000016d9: SWAP2
000016da: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000016fb: SWAP2
000016fc: LOG2
000016fd: PUSH1 0x40
000016ff: MLOAD
00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001715: DUP5
00001716: AND
00001717: SWAP1
00001718: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001739: SWAP1
0000173a: PUSH1 0x00
0000173c: SWAP1
0000173d: LOG2
0000173e: POP
0000173f: POP
00001740: POP
00001741: POP
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH1 0x00
00001746: DUP2
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x20
0000174b: DUP2
0000174c: SWAP1
0000174d: MSTORE
0000174e: PUSH1 0x40
00001750: SWAP1
00001751: KECCAK256
00001752: PUSH1 0x03
00001754: ADD
00001755: SLOAD
00001756: DUP2
00001757: SWAP1
00001758: PUSH1 0xff
0000175a: AND
0000175b: ISZERO
0000175c: PUSH2 0x1764
0000175f: JUMPI
00001760: PUSH1 0x00
00001762: DUP1
00001763: REVERT
00001764: JUMPDEST
00001765: DUP2
00001766: PUSH2 0x176e
00001769: DUP2
0000176a: PUSH2 0x0d79
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH2 0x17d9
00001772: JUMPI
00001773: PUSH1 0x40
00001775: DUP1
00001776: MLOAD
00001777: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x20
0000179c: PUSH1 0x04
0000179e: DUP3
0000179f: ADD
000017a0: MSTORE
000017a1: PUSH1 0x16
000017a3: PUSH1 0x24
000017a5: DUP3
000017a6: ADD
000017a7: MSTORE
000017a8: PUSH32 0x54585f4e4f545f46554c4c595f434f4e4649524d454400000000000000000000
000017c9: PUSH1 0x44
000017cb: DUP3
000017cc: ADD
000017cd: MSTORE
000017ce: SWAP1
000017cf: MLOAD
000017d0: SWAP1
000017d1: DUP2
000017d2: SWAP1
000017d3: SUB
000017d4: PUSH1 0x64
000017d6: ADD
000017d7: SWAP1
000017d8: REVERT
000017d9: JUMPDEST
000017da: PUSH1 0x06
000017dc: SLOAD
000017dd: PUSH1 0x00
000017df: DUP5
000017e0: DUP2
000017e1: MSTORE
000017e2: PUSH1 0x07
000017e4: PUSH1 0x20
000017e6: MSTORE
000017e7: PUSH1 0x40
000017e9: SWAP1
000017ea: KECCAK256
000017eb: SLOAD
000017ec: DUP5
000017ed: SWAP2
000017ee: PUSH2 0x17f7
000017f1: SWAP2
000017f2: SWAP1
000017f3: PUSH2 0x1b89
000017f6: JUMP
000017f7: JUMPDEST
000017f8: TIMESTAMP
000017f9: LT
000017fa: ISZERO
000017fb: PUSH2 0x1865
000017fe: JUMPI
000017ff: PUSH1 0x40
00001801: DUP1
00001802: MLOAD
00001803: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x20
00001828: PUSH1 0x04
0000182a: DUP3
0000182b: ADD
0000182c: MSTORE
0000182d: PUSH1 0x14
0000182f: PUSH1 0x24
00001831: DUP3
00001832: ADD
00001833: MSTORE
00001834: PUSH32 0x54494d455f4c4f434b5f494e434f4d504c455445000000000000000000000000
00001855: PUSH1 0x44
00001857: DUP3
00001858: ADD
00001859: MSTORE
0000185a: SWAP1
0000185b: MLOAD
0000185c: SWAP1
0000185d: DUP2
0000185e: SWAP1
0000185f: SUB
00001860: PUSH1 0x64
00001862: ADD
00001863: SWAP1
00001864: REVERT
00001865: JUMPDEST
00001866: PUSH1 0x00
00001868: DUP5
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: DUP2
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x40
00001872: SWAP2
00001873: DUP3
00001874: SWAP1
00001875: KECCAK256
00001876: PUSH1 0x03
00001878: DUP2
00001879: ADD
0000187a: DUP1
0000187b: SLOAD
0000187c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000189d: AND
0000189e: PUSH1 0x01
000018a0: SWAP1
000018a1: DUP2
000018a2: OR
000018a3: SWAP1
000018a4: SWAP2
000018a5: SSTORE
000018a6: DUP2
000018a7: SLOAD
000018a8: DUP2
000018a9: DUP4
000018aa: ADD
000018ab: SLOAD
000018ac: PUSH1 0x02
000018ae: DUP1
000018af: DUP6
000018b0: ADD
000018b1: DUP1
000018b2: SLOAD
000018b3: DUP9
000018b4: MLOAD
000018b5: PUSH1 0x1f
000018b7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018d8: SWAP8
000018d9: DUP4
000018da: AND
000018db: ISZERO
000018dc: PUSH2 0x0100
000018df: MUL
000018e0: SWAP8
000018e1: SWAP1
000018e2: SWAP8
000018e3: ADD
000018e4: SWAP1
000018e5: SWAP2
000018e6: AND
000018e7: SWAP3
000018e8: SWAP1
000018e9: SWAP3
000018ea: DIV
000018eb: SWAP5
000018ec: DUP6
000018ed: ADD
000018ee: DUP8
000018ef: SWAP1
000018f0: DIV
000018f1: DUP8
000018f2: MUL
000018f3: DUP3
000018f4: ADD
000018f5: DUP8
000018f6: ADD
000018f7: SWAP1
000018f8: SWAP8
000018f9: MSTORE
000018fa: DUP4
000018fb: DUP2
000018fc: MSTORE
000018fd: SWAP4
000018fe: SWAP6
000018ff: PUSH2 0x197b
00001902: SWAP6
00001903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001918: SWAP1
00001919: SWAP4
0000191a: AND
0000191b: SWAP5
0000191c: SWAP2
0000191d: SWAP4
0000191e: SWAP3
0000191f: DUP4
00001920: SWAP1
00001921: DUP4
00001922: ADD
00001923: DUP3
00001924: DUP3
00001925: DUP1
00001926: ISZERO
00001927: PUSH2 0x1971
0000192a: JUMPI
0000192b: DUP1
0000192c: PUSH1 0x1f
0000192e: LT
0000192f: PUSH2 0x1946
00001932: JUMPI
00001933: PUSH2 0x0100
00001936: DUP1
00001937: DUP4
00001938: SLOAD
00001939: DIV
0000193a: MUL
0000193b: DUP4
0000193c: MSTORE
0000193d: SWAP2
0000193e: PUSH1 0x20
00001940: ADD
00001941: SWAP2
00001942: PUSH2 0x1971
00001945: JUMP
00001946: JUMPDEST
00001947: DUP3
00001948: ADD
00001949: SWAP2
0000194a: SWAP1
0000194b: PUSH1 0x00
0000194d: MSTORE
0000194e: PUSH1 0x20
00001950: PUSH1 0x00
00001952: KECCAK256
00001953: SWAP1
00001954: JUMPDEST
00001955: DUP2
00001956: SLOAD
00001957: DUP2
00001958: MSTORE
00001959: SWAP1
0000195a: PUSH1 0x01
0000195c: ADD
0000195d: SWAP1
0000195e: PUSH1 0x20
00001960: ADD
00001961: DUP1
00001962: DUP4
00001963: GT
00001964: PUSH2 0x1954
00001967: JUMPI
00001968: DUP3
00001969: SWAP1
0000196a: SUB
0000196b: PUSH1 0x1f
0000196d: AND
0000196e: DUP3
0000196f: ADD
00001970: SWAP2
00001971: JUMPDEST
00001972: POP
00001973: POP
00001974: POP
00001975: POP
00001976: POP
00001977: PUSH2 0x1bfd
0000197a: JUMP
0000197b: JUMPDEST
0000197c: ISZERO
0000197d: PUSH2 0x19b0
00001980: JUMPI
00001981: PUSH1 0x40
00001983: MLOAD
00001984: DUP6
00001985: SWAP1
00001986: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
000019a7: SWAP1
000019a8: PUSH1 0x00
000019aa: SWAP1
000019ab: LOG2
000019ac: PUSH2 0x1a06
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH1 0x40
000019b3: MLOAD
000019b4: DUP6
000019b5: SWAP1
000019b6: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000019d7: SWAP1
000019d8: PUSH1 0x00
000019da: SWAP1
000019db: LOG2
000019dc: PUSH1 0x03
000019de: DUP2
000019df: ADD
000019e0: DUP1
000019e1: SLOAD
000019e2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001a03: AND
00001a04: SWAP1
00001a05: SSTORE
00001a06: JUMPDEST
00001a07: POP
00001a08: POP
00001a09: POP
00001a0a: POP
00001a0b: POP
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: PUSH1 0x00
00001a10: DUP3
00001a11: DUP2
00001a12: MSTORE
00001a13: PUSH1 0x07
00001a15: PUSH1 0x20
00001a17: SWAP1
00001a18: DUP2
00001a19: MSTORE
00001a1a: PUSH1 0x40
00001a1c: SWAP2
00001a1d: DUP3
00001a1e: SWAP1
00001a1f: KECCAK256
00001a20: DUP4
00001a21: SWAP1
00001a22: SSTORE
00001a23: DUP2
00001a24: MLOAD
00001a25: DUP4
00001a26: DUP2
00001a27: MSTORE
00001a28: SWAP2
00001a29: MLOAD
00001a2a: DUP5
00001a2b: SWAP3
00001a2c: PUSH32 0x0b237afe65f1514fd7ea3f923ea4fe792bdd07000a912b6cd1602a8e7f573c8d
00001a4d: SWAP3
00001a4e: SWAP1
00001a4f: DUP3
00001a50: SWAP1
00001a51: SUB
00001a52: ADD
00001a53: SWAP1
00001a54: LOG2
00001a55: POP
00001a56: POP
00001a57: JUMP
00001a58: JUMPDEST
00001a59: PUSH1 0x00
00001a5b: DUP4
00001a5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a71: DUP2
00001a72: AND
00001a73: PUSH2 0x1a7b
00001a76: JUMPI
00001a77: PUSH1 0x00
00001a79: DUP1
00001a7a: REVERT
00001a7b: JUMPDEST
00001a7c: PUSH1 0x05
00001a7e: SLOAD
00001a7f: PUSH1 0x40
00001a81: DUP1
00001a82: MLOAD
00001a83: PUSH1 0x80
00001a85: DUP2
00001a86: ADD
00001a87: DUP3
00001a88: MSTORE
00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9e: DUP9
00001a9f: DUP2
00001aa0: AND
00001aa1: DUP3
00001aa2: MSTORE
00001aa3: PUSH1 0x20
00001aa5: DUP1
00001aa6: DUP4
00001aa7: ADD
00001aa8: DUP10
00001aa9: DUP2
00001aaa: MSTORE
00001aab: DUP4
00001aac: DUP6
00001aad: ADD
00001aae: DUP10
00001aaf: DUP2
00001ab0: MSTORE
00001ab1: PUSH1 0x00
00001ab3: PUSH1 0x60
00001ab5: DUP7
00001ab6: ADD
00001ab7: DUP2
00001ab8: SWAP1
00001ab9: MSTORE
00001aba: DUP8
00001abb: DUP2
00001abc: MSTORE
00001abd: DUP1
00001abe: DUP5
00001abf: MSTORE
00001ac0: SWAP6
00001ac1: SWAP1
00001ac2: SWAP6
00001ac3: KECCAK256
00001ac4: DUP5
00001ac5: MLOAD
00001ac6: DUP2
00001ac7: SLOAD
00001ac8: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001ae9: AND
00001aea: SWAP5
00001aeb: AND
00001aec: SWAP4
00001aed: SWAP1
00001aee: SWAP4
00001aef: OR
00001af0: DUP4
00001af1: SSTORE
00001af2: MLOAD
00001af3: PUSH1 0x01
00001af5: DUP4
00001af6: ADD
00001af7: SSTORE
00001af8: SWAP3
00001af9: MLOAD
00001afa: DUP1
00001afb: MLOAD
00001afc: SWAP5
00001afd: SWAP7
00001afe: POP
00001aff: SWAP2
00001b00: SWAP4
00001b01: SWAP1
00001b02: SWAP3
00001b03: PUSH2 0x1b13
00001b06: SWAP3
00001b07: PUSH1 0x02
00001b09: DUP6
00001b0a: ADD
00001b0b: SWAP3
00001b0c: SWAP2
00001b0d: ADD
00001b0e: SWAP1
00001b0f: PUSH2 0x1c20
00001b12: JUMP
00001b13: JUMPDEST
00001b14: POP
00001b15: PUSH1 0x60
00001b17: SWAP2
00001b18: SWAP1
00001b19: SWAP2
00001b1a: ADD
00001b1b: MLOAD
00001b1c: PUSH1 0x03
00001b1e: SWAP1
00001b1f: SWAP2
00001b20: ADD
00001b21: DUP1
00001b22: SLOAD
00001b23: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001b44: AND
00001b45: SWAP2
00001b46: ISZERO
00001b47: ISZERO
00001b48: SWAP2
00001b49: SWAP1
00001b4a: SWAP2
00001b4b: OR
00001b4c: SWAP1
00001b4d: SSTORE
00001b4e: PUSH1 0x05
00001b50: DUP1
00001b51: SLOAD
00001b52: PUSH1 0x01
00001b54: ADD
00001b55: SWAP1
00001b56: SSTORE
00001b57: PUSH1 0x40
00001b59: MLOAD
00001b5a: DUP3
00001b5b: SWAP1
00001b5c: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00001b7d: SWAP1
00001b7e: PUSH1 0x00
00001b80: SWAP1
00001b81: LOG2
00001b82: POP
00001b83: SWAP4
00001b84: SWAP3
00001b85: POP
00001b86: POP
00001b87: POP
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: PUSH1 0x00
00001b8c: DUP3
00001b8d: DUP3
00001b8e: ADD
00001b8f: DUP4
00001b90: DUP2
00001b91: LT
00001b92: ISZERO
00001b93: PUSH2 0x151c
00001b96: JUMPI
00001b97: PUSH1 0x40
00001b99: DUP1
00001b9a: MLOAD
00001b9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bbc: DUP2
00001bbd: MSTORE
00001bbe: PUSH1 0x20
00001bc0: PUSH1 0x04
00001bc2: DUP3
00001bc3: ADD
00001bc4: MSTORE
00001bc5: PUSH1 0x1b
00001bc7: PUSH1 0x24
00001bc9: DUP3
00001bca: ADD
00001bcb: MSTORE
00001bcc: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001bed: PUSH1 0x44
00001bef: DUP3
00001bf0: ADD
00001bf1: MSTORE
00001bf2: SWAP1
00001bf3: MLOAD
00001bf4: SWAP1
00001bf5: DUP2
00001bf6: SWAP1
00001bf7: SUB
00001bf8: PUSH1 0x64
00001bfa: ADD
00001bfb: SWAP1
00001bfc: REVERT
00001bfd: JUMPDEST
00001bfe: PUSH1 0x00
00001c00: DUP1
00001c01: PUSH1 0x40
00001c03: MLOAD
00001c04: PUSH1 0x20
00001c06: DUP5
00001c07: ADD
00001c08: PUSH1 0x00
00001c0a: DUP3
00001c0b: DUP8
00001c0c: DUP4
00001c0d: DUP11
00001c0e: DUP13
00001c0f: PUSH2 0x8796
00001c12: GAS
00001c13: SUB
00001c14: CALL
00001c15: SWAP9
00001c16: SWAP8
00001c17: POP
00001c18: POP
00001c19: POP
00001c1a: POP
00001c1b: POP
00001c1c: POP
00001c1d: POP
00001c1e: POP
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: DUP3
00001c22: DUP1
00001c23: SLOAD
00001c24: PUSH1 0x01
00001c26: DUP2
00001c27: PUSH1 0x01
00001c29: AND
00001c2a: ISZERO
00001c2b: PUSH2 0x0100
00001c2e: MUL
00001c2f: SUB
00001c30: AND
00001c31: PUSH1 0x02
00001c33: SWAP1
00001c34: DIV
00001c35: SWAP1
00001c36: PUSH1 0x00
00001c38: MSTORE
00001c39: PUSH1 0x20
00001c3b: PUSH1 0x00
00001c3d: KECCAK256
00001c3e: SWAP1
00001c3f: PUSH1 0x1f
00001c41: ADD
00001c42: PUSH1 0x20
00001c44: SWAP1
00001c45: DIV
00001c46: DUP2
00001c47: ADD
00001c48: SWAP3
00001c49: DUP3
00001c4a: PUSH1 0x1f
00001c4c: LT
00001c4d: PUSH2 0x1c61
00001c50: JUMPI
00001c51: DUP1
00001c52: MLOAD
00001c53: PUSH1 0xff
00001c55: NOT
00001c56: AND
00001c57: DUP4
00001c58: DUP1
00001c59: ADD
00001c5a: OR
00001c5b: DUP6
00001c5c: SSTORE
00001c5d: PUSH2 0x1c8e
00001c60: JUMP
00001c61: JUMPDEST
00001c62: DUP3
00001c63: DUP1
00001c64: ADD
00001c65: PUSH1 0x01
00001c67: ADD
00001c68: DUP6
00001c69: SSTORE
00001c6a: DUP3
00001c6b: ISZERO
00001c6c: PUSH2 0x1c8e
00001c6f: JUMPI
00001c70: SWAP2
00001c71: DUP3
00001c72: ADD
00001c73: JUMPDEST
00001c74: DUP3
00001c75: DUP2
00001c76: GT
00001c77: ISZERO
00001c78: PUSH2 0x1c8e
00001c7b: JUMPI
00001c7c: DUP3
00001c7d: MLOAD
00001c7e: DUP3
00001c7f: SSTORE
00001c80: SWAP2
00001c81: PUSH1 0x20
00001c83: ADD
00001c84: SWAP2
00001c85: SWAP1
00001c86: PUSH1 0x01
00001c88: ADD
00001c89: SWAP1
00001c8a: PUSH2 0x1c73
00001c8d: JUMP
00001c8e: JUMPDEST
00001c8f: POP
00001c90: PUSH2 0x1c9a
00001c93: SWAP3
00001c94: SWAP2
00001c95: POP
00001c96: PUSH2 0x1c9e
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: POP
00001c9c: SWAP1
00001c9d: JUMP
00001c9e: JUMPDEST
00001c9f: JUMPDEST
00001ca0: DUP1
00001ca1: DUP3
00001ca2: GT
00001ca3: ISZERO
00001ca4: PUSH2 0x1c9a
00001ca7: JUMPI
00001ca8: PUSH1 0x00
00001caa: DUP2
00001cab: SSTORE
00001cac: PUSH1 0x01
00001cae: ADD
00001caf: PUSH2 0x1c9f
00001cb2: JUMP
00001cb3: INVALID
00001cb4: LOG2
00001cb5: PUSH5 0x6970667358
00001cbb: UNKNOWN(0x22)
00001cbc: SLT
00001cbd: KECCAK256
00001cbe: CHAINID
00001cbf: ADDMOD
00001cc0: UNKNOWN(0xAF)
00001cc1: PUSH15 0x0933fd0a6afc22c3eae980dc44f32c
00001cd1: UNKNOWN(0x2C)
00001cd2: SELFBALANCE
00001cd3: UNKNOWN(0xB9)
00001cd4: SAR
00001cd5: UNKNOWN(0xEE)
00001cd6: CALLDATASIZE
00001cd7: UNKNOWN(0x4B)
00001cd8: UNKNOWN(0xD9)
00001cd9: ADDRESS
00001cda: UNKNOWN(0xD0)
00001cdb: BALANCE
00001cdc: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x65f015a9aa6c86c59bcf5f469cf4ba6b394c2af11e812d9ad3ca3f0741380330
call_targets: 0x8392f6669292fa56123f71949b52d883ae57e225
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x65f015a9aa6c86c59bcf5f469cf4ba6b394c2af11e812d9ad3ca3f0741380330",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8392f6669292fa56123f71949b52d883ae57e225"
    ],
    "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": "0xdc8452cd",
            "selector": "0xdc8452cd",
            "calldata_variants": [
                "0xdc8452cd",
                "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe20056e6",
            "selector": "0xe20056e6",
            "calldata_variants": [
                "0xe20056e6",
                "0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xee22610b",
            "selector": "0xee22610b",
            "calldata_variants": [
                "0xee22610b",
                "0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6427474",
            "selector": "0xc6427474",
            "calldata_variants": [
                "0xc6427474",
                "0xc64274740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd38f2d82",
            "selector": "0xd38f2d82",
            "calldata_variants": [
                "0xd38f2d82",
                "0xd38f2d820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd74f8edd",
            "selector": "0xd74f8edd",
            "calldata_variants": [
                "0xd74f8edd",
                "0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb77bf600",
            "selector": "0xb77bf600",
            "calldata_variants": [
                "0xb77bf600",
                "0xb77bf6000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba51a6df",
            "selector": "0xba51a6df",
            "calldata_variants": [
                "0xba51a6df",
                "0xba51a6df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7188,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x65f015a9aa6c86c59bcf5f469cf4ba6b394c2af11e812d9ad3ca3f0741380330
call_targets: 0x8392f6669292fa56123f71949b52d883ae57e225
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x65f015a9aa6c86c59bcf5f469cf4ba6b394c2af11e812d9ad3ca3f0741380330",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8392f6669292fa56123f71949b52d883ae57e225"
    ],
    "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": "0xdc8452cd",
            "selector": "0xdc8452cd",
            "calldata_variants": [
                "0xdc8452cd",
                "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe20056e6",
            "selector": "0xe20056e6",
            "calldata_variants": [
                "0xe20056e6",
                "0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xee22610b",
            "selector": "0xee22610b",
            "calldata_variants": [
                "0xee22610b",
                "0xee22610b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6427474",
            "selector": "0xc6427474",
            "calldata_variants": [
                "0xc6427474",
                "0xc64274740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd38f2d82",
            "selector": "0xd38f2d82",
            "calldata_variants": [
                "0xd38f2d82",
                "0xd38f2d820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd74f8edd",
            "selector": "0xd74f8edd",
            "calldata_variants": [
                "0xd74f8edd",
                "0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb77bf600",
            "selector": "0xb77bf600",
            "calldata_variants": [
                "0xb77bf600",
                "0xb77bf6000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba51a6df",
            "selector": "0xba51a6df",
            "calldata_variants": [
                "0xba51a6df",
                "0xba51a6df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7188,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}