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

Analysis Run

019b3844-9336-7014-adab-a27840fa374b

complete
Chain ID
1
Address
0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c
Block Number
—
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted 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
13019 artifact.fetch complete 1 / 3 4 months ago
13020 tool.cast_disasm complete 1 / 3 4 months ago
56028 analysis.bundle complete 1 / 3 2 weeks ago
56029 capability.graph complete 1 / 3 2 weeks ago
56030 detector.run complete 1 / 3 2 weeks ago
56031 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)
2
EXT*/BALANCE
2
Total opcodes
3445
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 0x0107
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x06fdde03
0000003c: EQ
0000003d: PUSH2 0x010c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x10d0ffdd
00000047: EQ
00000048: PUSH2 0x019c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x18160ddd
00000052: EQ
00000053: PUSH2 0x01dd
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x22609373
0000005d: EQ
0000005e: PUSH2 0x0208
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x313ce567
00000068: EQ
00000069: PUSH2 0x0249
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x392efb52
00000073: EQ
00000074: PUSH2 0x027a
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x4b750334
0000007e: EQ
0000007f: PUSH2 0x02c3
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x6b2f4632
00000089: EQ
0000008a: PUSH2 0x02ee
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x70a08231
00000094: EQ
00000095: PUSH2 0x0319
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8620410b
0000009f: EQ
000000a0: PUSH2 0x0370
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x89135ae9
000000aa: EQ
000000ab: PUSH2 0x039b
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x949e8acd
000000b5: EQ
000000b6: PUSH2 0x03d8
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x95d89b41
000000c0: EQ
000000c1: PUSH2 0x0403
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xa6f2ae3a
000000cb: EQ
000000cc: PUSH2 0x0493
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xa9059cbb
000000d6: EQ
000000d7: PUSH2 0x049d
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xb84c8246
000000e1: EQ
000000e2: PUSH2 0x0502
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xc47f0027
000000ec: EQ
000000ed: PUSH2 0x056b
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xe4849b32
000000f7: EQ
000000f8: PUSH2 0x05d4
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xe9fad8ee
00000102: EQ
00000103: PUSH2 0x0601
00000106: JUMPI
00000107: JUMPDEST
00000108: PUSH1 0x00
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: CALLVALUE
0000010e: DUP1
0000010f: ISZERO
00000110: PUSH2 0x0118
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: POP
0000011a: PUSH2 0x0121
0000011d: PUSH2 0x0618
00000120: JUMP
00000121: JUMPDEST
00000122: PUSH1 0x40
00000124: MLOAD
00000125: DUP1
00000126: DUP1
00000127: PUSH1 0x20
00000129: ADD
0000012a: DUP3
0000012b: DUP2
0000012c: SUB
0000012d: DUP3
0000012e: MSTORE
0000012f: DUP4
00000130: DUP2
00000131: DUP2
00000132: MLOAD
00000133: DUP2
00000134: MSTORE
00000135: PUSH1 0x20
00000137: ADD
00000138: SWAP2
00000139: POP
0000013a: DUP1
0000013b: MLOAD
0000013c: SWAP1
0000013d: PUSH1 0x20
0000013f: ADD
00000140: SWAP1
00000141: DUP1
00000142: DUP4
00000143: DUP4
00000144: PUSH1 0x00
00000146: JUMPDEST
00000147: DUP4
00000148: DUP2
00000149: LT
0000014a: ISZERO
0000014b: PUSH2 0x0161
0000014e: JUMPI
0000014f: DUP1
00000150: DUP3
00000151: ADD
00000152: MLOAD
00000153: DUP2
00000154: DUP5
00000155: ADD
00000156: MSTORE
00000157: PUSH1 0x20
00000159: DUP2
0000015a: ADD
0000015b: SWAP1
0000015c: POP
0000015d: PUSH2 0x0146
00000160: JUMP
00000161: JUMPDEST
00000162: POP
00000163: POP
00000164: POP
00000165: POP
00000166: SWAP1
00000167: POP
00000168: SWAP1
00000169: DUP2
0000016a: ADD
0000016b: SWAP1
0000016c: PUSH1 0x1f
0000016e: AND
0000016f: DUP1
00000170: ISZERO
00000171: PUSH2 0x018e
00000174: JUMPI
00000175: DUP1
00000176: DUP3
00000177: SUB
00000178: DUP1
00000179: MLOAD
0000017a: PUSH1 0x01
0000017c: DUP4
0000017d: PUSH1 0x20
0000017f: SUB
00000180: PUSH2 0x0100
00000183: EXP
00000184: SUB
00000185: NOT
00000186: AND
00000187: DUP2
00000188: MSTORE
00000189: PUSH1 0x20
0000018b: ADD
0000018c: SWAP2
0000018d: POP
0000018e: JUMPDEST
0000018f: POP
00000190: SWAP3
00000191: POP
00000192: POP
00000193: POP
00000194: PUSH1 0x40
00000196: MLOAD
00000197: DUP1
00000198: SWAP2
00000199: SUB
0000019a: SWAP1
0000019b: RETURN
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH2 0x01c7
000001ad: PUSH1 0x04
000001af: DUP1
000001b0: CALLDATASIZE
000001b1: SUB
000001b2: DUP2
000001b3: ADD
000001b4: SWAP1
000001b5: DUP1
000001b6: DUP1
000001b7: CALLDATALOAD
000001b8: SWAP1
000001b9: PUSH1 0x20
000001bb: ADD
000001bc: SWAP1
000001bd: SWAP3
000001be: SWAP2
000001bf: SWAP1
000001c0: POP
000001c1: POP
000001c2: POP
000001c3: PUSH2 0x06b6
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH1 0x40
000001ca: MLOAD
000001cb: DUP1
000001cc: DUP3
000001cd: DUP2
000001ce: MSTORE
000001cf: PUSH1 0x20
000001d1: ADD
000001d2: SWAP2
000001d3: POP
000001d4: POP
000001d5: PUSH1 0x40
000001d7: MLOAD
000001d8: DUP1
000001d9: SWAP2
000001da: SUB
000001db: SWAP1
000001dc: RETURN
000001dd: JUMPDEST
000001de: CALLVALUE
000001df: DUP1
000001e0: ISZERO
000001e1: PUSH2 0x01e9
000001e4: JUMPI
000001e5: PUSH1 0x00
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: POP
000001eb: PUSH2 0x01f2
000001ee: PUSH2 0x06ea
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH1 0x40
000001f5: MLOAD
000001f6: DUP1
000001f7: DUP3
000001f8: DUP2
000001f9: MSTORE
000001fa: PUSH1 0x20
000001fc: ADD
000001fd: SWAP2
000001fe: POP
000001ff: POP
00000200: PUSH1 0x40
00000202: MLOAD
00000203: DUP1
00000204: SWAP2
00000205: SUB
00000206: SWAP1
00000207: RETURN
00000208: JUMPDEST
00000209: CALLVALUE
0000020a: DUP1
0000020b: ISZERO
0000020c: PUSH2 0x0214
0000020f: JUMPI
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: POP
00000216: PUSH2 0x0233
00000219: PUSH1 0x04
0000021b: DUP1
0000021c: CALLDATASIZE
0000021d: SUB
0000021e: DUP2
0000021f: ADD
00000220: SWAP1
00000221: DUP1
00000222: DUP1
00000223: CALLDATALOAD
00000224: SWAP1
00000225: PUSH1 0x20
00000227: ADD
00000228: SWAP1
00000229: SWAP3
0000022a: SWAP2
0000022b: SWAP1
0000022c: POP
0000022d: POP
0000022e: POP
0000022f: PUSH2 0x06f4
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: DUP3
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: POP
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x025e
0000025a: PUSH2 0x0739
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: DUP1
00000263: DUP3
00000264: PUSH1 0xff
00000266: AND
00000267: PUSH1 0xff
00000269: AND
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: SWAP2
00000270: POP
00000271: POP
00000272: PUSH1 0x40
00000274: MLOAD
00000275: DUP1
00000276: SWAP2
00000277: SUB
00000278: SWAP1
00000279: RETURN
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x02a9
0000028b: PUSH1 0x04
0000028d: DUP1
0000028e: CALLDATASIZE
0000028f: SUB
00000290: DUP2
00000291: ADD
00000292: SWAP1
00000293: DUP1
00000294: DUP1
00000295: CALLDATALOAD
00000296: PUSH1 0x00
00000298: NOT
00000299: AND
0000029a: SWAP1
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: SWAP1
0000029f: SWAP3
000002a0: SWAP2
000002a1: SWAP1
000002a2: POP
000002a3: POP
000002a4: POP
000002a5: PUSH2 0x073e
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: DUP3
000002af: ISZERO
000002b0: ISZERO
000002b1: ISZERO
000002b2: ISZERO
000002b3: DUP2
000002b4: MSTORE
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP2
000002b9: POP
000002ba: POP
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: DUP1
000002bf: SWAP2
000002c0: SUB
000002c1: SWAP1
000002c2: RETURN
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH2 0x02d8
000002d4: PUSH2 0x075e
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH1 0x40
000002db: MLOAD
000002dc: DUP1
000002dd: DUP3
000002de: DUP2
000002df: MSTORE
000002e0: PUSH1 0x20
000002e2: ADD
000002e3: SWAP2
000002e4: POP
000002e5: POP
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: SWAP2
000002eb: SUB
000002ec: SWAP1
000002ed: RETURN
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: DUP1
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: POP
000002fc: PUSH2 0x0303
000002ff: PUSH2 0x07b0
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: DUP1
00000308: DUP3
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 0x035a
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: CALLDATASIZE
0000032e: SUB
0000032f: DUP2
00000330: ADD
00000331: SWAP1
00000332: DUP1
00000333: DUP1
00000334: CALLDATALOAD
00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034a: AND
0000034b: SWAP1
0000034c: PUSH1 0x20
0000034e: ADD
0000034f: SWAP1
00000350: SWAP3
00000351: SWAP2
00000352: SWAP1
00000353: POP
00000354: POP
00000355: POP
00000356: PUSH2 0x07cf
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP1
0000035f: DUP3
00000360: DUP2
00000361: MSTORE
00000362: PUSH1 0x20
00000364: ADD
00000365: SWAP2
00000366: POP
00000367: POP
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: DUP1
0000036c: SWAP2
0000036d: SUB
0000036e: SWAP1
0000036f: RETURN
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0385
00000381: PUSH2 0x0818
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: MLOAD
00000389: DUP1
0000038a: DUP3
0000038b: DUP2
0000038c: MSTORE
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP2
00000391: POP
00000392: POP
00000393: PUSH1 0x40
00000395: MLOAD
00000396: DUP1
00000397: SWAP2
00000398: SUB
00000399: SWAP1
0000039a: RETURN
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03d6
000003ac: PUSH1 0x04
000003ae: DUP1
000003af: CALLDATASIZE
000003b0: SUB
000003b1: DUP2
000003b2: ADD
000003b3: SWAP1
000003b4: DUP1
000003b5: DUP1
000003b6: CALLDATALOAD
000003b7: PUSH1 0x00
000003b9: NOT
000003ba: AND
000003bb: SWAP1
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP1
000003c0: SWAP3
000003c1: SWAP2
000003c2: SWAP1
000003c3: DUP1
000003c4: CALLDATALOAD
000003c5: ISZERO
000003c6: ISZERO
000003c7: SWAP1
000003c8: PUSH1 0x20
000003ca: ADD
000003cb: SWAP1
000003cc: SWAP3
000003cd: SWAP2
000003ce: SWAP1
000003cf: POP
000003d0: POP
000003d1: POP
000003d2: PUSH2 0x0856
000003d5: JUMP
000003d6: JUMPDEST
000003d7: STOP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x03ed
000003e9: PUSH2 0x0983
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x40
000003f0: MLOAD
000003f1: DUP1
000003f2: DUP3
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: SWAP2
000003f9: POP
000003fa: POP
000003fb: PUSH1 0x40
000003fd: MLOAD
000003fe: DUP1
000003ff: SWAP2
00000400: SUB
00000401: SWAP1
00000402: RETURN
00000403: JUMPDEST
00000404: CALLVALUE
00000405: DUP1
00000406: ISZERO
00000407: PUSH2 0x040f
0000040a: JUMPI
0000040b: PUSH1 0x00
0000040d: DUP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: POP
00000411: PUSH2 0x0418
00000414: PUSH2 0x0998
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: DUP1
0000041d: DUP1
0000041e: PUSH1 0x20
00000420: ADD
00000421: DUP3
00000422: DUP2
00000423: SUB
00000424: DUP3
00000425: MSTORE
00000426: DUP4
00000427: DUP2
00000428: DUP2
00000429: MLOAD
0000042a: DUP2
0000042b: MSTORE
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP2
00000430: POP
00000431: DUP1
00000432: MLOAD
00000433: SWAP1
00000434: PUSH1 0x20
00000436: ADD
00000437: SWAP1
00000438: DUP1
00000439: DUP4
0000043a: DUP4
0000043b: PUSH1 0x00
0000043d: JUMPDEST
0000043e: DUP4
0000043f: DUP2
00000440: LT
00000441: ISZERO
00000442: PUSH2 0x0458
00000445: JUMPI
00000446: DUP1
00000447: DUP3
00000448: ADD
00000449: MLOAD
0000044a: DUP2
0000044b: DUP5
0000044c: ADD
0000044d: MSTORE
0000044e: PUSH1 0x20
00000450: DUP2
00000451: ADD
00000452: SWAP1
00000453: POP
00000454: PUSH2 0x043d
00000457: JUMP
00000458: JUMPDEST
00000459: POP
0000045a: POP
0000045b: POP
0000045c: POP
0000045d: SWAP1
0000045e: POP
0000045f: SWAP1
00000460: DUP2
00000461: ADD
00000462: SWAP1
00000463: PUSH1 0x1f
00000465: AND
00000466: DUP1
00000467: ISZERO
00000468: PUSH2 0x0485
0000046b: JUMPI
0000046c: DUP1
0000046d: DUP3
0000046e: SUB
0000046f: DUP1
00000470: MLOAD
00000471: PUSH1 0x01
00000473: DUP4
00000474: PUSH1 0x20
00000476: SUB
00000477: PUSH2 0x0100
0000047a: EXP
0000047b: SUB
0000047c: NOT
0000047d: AND
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP2
00000484: POP
00000485: JUMPDEST
00000486: POP
00000487: SWAP3
00000488: POP
00000489: POP
0000048a: POP
0000048b: PUSH1 0x40
0000048d: MLOAD
0000048e: DUP1
0000048f: SWAP2
00000490: SUB
00000491: SWAP1
00000492: RETURN
00000493: JUMPDEST
00000494: PUSH2 0x049b
00000497: PUSH2 0x0a36
0000049a: JUMP
0000049b: JUMPDEST
0000049c: STOP
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: DUP1
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x04e8
000004ae: PUSH1 0x04
000004b0: DUP1
000004b1: CALLDATASIZE
000004b2: SUB
000004b3: DUP2
000004b4: ADD
000004b5: SWAP1
000004b6: DUP1
000004b7: DUP1
000004b8: CALLDATALOAD
000004b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ce: AND
000004cf: SWAP1
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: SWAP1
000004d4: SWAP3
000004d5: SWAP2
000004d6: SWAP1
000004d7: DUP1
000004d8: CALLDATALOAD
000004d9: SWAP1
000004da: PUSH1 0x20
000004dc: ADD
000004dd: SWAP1
000004de: SWAP3
000004df: SWAP2
000004e0: SWAP1
000004e1: POP
000004e2: POP
000004e3: POP
000004e4: PUSH2 0x0a50
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x40
000004eb: MLOAD
000004ec: DUP1
000004ed: DUP3
000004ee: ISZERO
000004ef: ISZERO
000004f0: ISZERO
000004f1: ISZERO
000004f2: DUP2
000004f3: MSTORE
000004f4: PUSH1 0x20
000004f6: ADD
000004f7: SWAP2
000004f8: POP
000004f9: POP
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: SWAP2
000004ff: SUB
00000500: SWAP1
00000501: RETURN
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0569
00000513: PUSH1 0x04
00000515: DUP1
00000516: CALLDATASIZE
00000517: SUB
00000518: DUP2
00000519: ADD
0000051a: SWAP1
0000051b: DUP1
0000051c: DUP1
0000051d: CALLDATALOAD
0000051e: SWAP1
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP1
00000523: DUP3
00000524: ADD
00000525: DUP1
00000526: CALLDATALOAD
00000527: SWAP1
00000528: PUSH1 0x20
0000052a: ADD
0000052b: SWAP1
0000052c: DUP1
0000052d: DUP1
0000052e: PUSH1 0x1f
00000530: ADD
00000531: PUSH1 0x20
00000533: DUP1
00000534: SWAP2
00000535: DIV
00000536: MUL
00000537: PUSH1 0x20
00000539: ADD
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: SWAP1
0000053e: DUP2
0000053f: ADD
00000540: PUSH1 0x40
00000542: MSTORE
00000543: DUP1
00000544: SWAP4
00000545: SWAP3
00000546: SWAP2
00000547: SWAP1
00000548: DUP2
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: DUP4
0000054f: DUP4
00000550: DUP1
00000551: DUP3
00000552: DUP5
00000553: CALLDATACOPY
00000554: DUP3
00000555: ADD
00000556: SWAP2
00000557: POP
00000558: POP
00000559: POP
0000055a: POP
0000055b: POP
0000055c: POP
0000055d: SWAP2
0000055e: SWAP3
0000055f: SWAP2
00000560: SWAP3
00000561: SWAP1
00000562: POP
00000563: POP
00000564: POP
00000565: PUSH2 0x0cc4
00000568: JUMP
00000569: JUMPDEST
0000056a: STOP
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x05d2
0000057c: PUSH1 0x04
0000057e: DUP1
0000057f: CALLDATASIZE
00000580: SUB
00000581: DUP2
00000582: ADD
00000583: SWAP1
00000584: DUP1
00000585: DUP1
00000586: CALLDATALOAD
00000587: SWAP1
00000588: PUSH1 0x20
0000058a: ADD
0000058b: SWAP1
0000058c: DUP3
0000058d: ADD
0000058e: DUP1
0000058f: CALLDATALOAD
00000590: SWAP1
00000591: PUSH1 0x20
00000593: ADD
00000594: SWAP1
00000595: DUP1
00000596: DUP1
00000597: PUSH1 0x1f
00000599: ADD
0000059a: PUSH1 0x20
0000059c: DUP1
0000059d: SWAP2
0000059e: DIV
0000059f: MUL
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: SWAP1
000005a7: DUP2
000005a8: ADD
000005a9: PUSH1 0x40
000005ab: MSTORE
000005ac: DUP1
000005ad: SWAP4
000005ae: SWAP3
000005af: SWAP2
000005b0: SWAP1
000005b1: DUP2
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: DUP4
000005b8: DUP4
000005b9: DUP1
000005ba: DUP3
000005bb: DUP5
000005bc: CALLDATACOPY
000005bd: DUP3
000005be: ADD
000005bf: SWAP2
000005c0: POP
000005c1: POP
000005c2: POP
000005c3: POP
000005c4: POP
000005c5: POP
000005c6: SWAP2
000005c7: SWAP3
000005c8: SWAP2
000005c9: SWAP3
000005ca: SWAP1
000005cb: POP
000005cc: POP
000005cd: POP
000005ce: PUSH2 0x0dd4
000005d1: JUMP
000005d2: JUMPDEST
000005d3: STOP
000005d4: JUMPDEST
000005d5: CALLVALUE
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e0
000005db: JUMPI
000005dc: PUSH1 0x00
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: PUSH2 0x05ff
000005e5: PUSH1 0x04
000005e7: DUP1
000005e8: CALLDATASIZE
000005e9: SUB
000005ea: DUP2
000005eb: ADD
000005ec: SWAP1
000005ed: DUP1
000005ee: DUP1
000005ef: CALLDATALOAD
000005f0: SWAP1
000005f1: PUSH1 0x20
000005f3: ADD
000005f4: SWAP1
000005f5: SWAP3
000005f6: SWAP2
000005f7: SWAP1
000005f8: POP
000005f9: POP
000005fa: POP
000005fb: PUSH2 0x0ee4
000005fe: JUMP
000005ff: JUMPDEST
00000600: STOP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH2 0x0616
00000612: PUSH2 0x1124
00000615: JUMP
00000616: JUMPDEST
00000617: STOP
00000618: JUMPDEST
00000619: PUSH1 0x00
0000061b: DUP1
0000061c: SLOAD
0000061d: PUSH1 0x01
0000061f: DUP2
00000620: PUSH1 0x01
00000622: AND
00000623: ISZERO
00000624: PUSH2 0x0100
00000627: MUL
00000628: SUB
00000629: AND
0000062a: PUSH1 0x02
0000062c: SWAP1
0000062d: DIV
0000062e: DUP1
0000062f: PUSH1 0x1f
00000631: ADD
00000632: PUSH1 0x20
00000634: DUP1
00000635: SWAP2
00000636: DIV
00000637: MUL
00000638: PUSH1 0x20
0000063a: ADD
0000063b: PUSH1 0x40
0000063d: MLOAD
0000063e: SWAP1
0000063f: DUP2
00000640: ADD
00000641: PUSH1 0x40
00000643: MSTORE
00000644: DUP1
00000645: SWAP3
00000646: SWAP2
00000647: SWAP1
00000648: DUP2
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: DUP3
0000064f: DUP1
00000650: SLOAD
00000651: PUSH1 0x01
00000653: DUP2
00000654: PUSH1 0x01
00000656: AND
00000657: ISZERO
00000658: PUSH2 0x0100
0000065b: MUL
0000065c: SUB
0000065d: AND
0000065e: PUSH1 0x02
00000660: SWAP1
00000661: DIV
00000662: DUP1
00000663: ISZERO
00000664: PUSH2 0x06ae
00000667: JUMPI
00000668: DUP1
00000669: PUSH1 0x1f
0000066b: LT
0000066c: PUSH2 0x0683
0000066f: JUMPI
00000670: PUSH2 0x0100
00000673: DUP1
00000674: DUP4
00000675: SLOAD
00000676: DIV
00000677: MUL
00000678: DUP4
00000679: MSTORE
0000067a: SWAP2
0000067b: PUSH1 0x20
0000067d: ADD
0000067e: SWAP2
0000067f: PUSH2 0x06ae
00000682: JUMP
00000683: JUMPDEST
00000684: DUP3
00000685: ADD
00000686: SWAP2
00000687: SWAP1
00000688: PUSH1 0x00
0000068a: MSTORE
0000068b: PUSH1 0x20
0000068d: PUSH1 0x00
0000068f: KECCAK256
00000690: SWAP1
00000691: JUMPDEST
00000692: DUP2
00000693: SLOAD
00000694: DUP2
00000695: MSTORE
00000696: SWAP1
00000697: PUSH1 0x01
00000699: ADD
0000069a: SWAP1
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: DUP1
0000069f: DUP4
000006a0: GT
000006a1: PUSH2 0x0691
000006a4: JUMPI
000006a5: DUP3
000006a6: SWAP1
000006a7: SUB
000006a8: PUSH1 0x1f
000006aa: AND
000006ab: DUP3
000006ac: ADD
000006ad: SWAP2
000006ae: JUMPDEST
000006af: POP
000006b0: POP
000006b1: POP
000006b2: POP
000006b3: POP
000006b4: DUP2
000006b5: JUMP
000006b6: JUMPDEST
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: PUSH1 0x00
000006bc: PUSH2 0x06c4
000006bf: DUP5
000006c0: PUSH2 0x1183
000006c3: JUMP
000006c4: JUMPDEST
000006c5: SWAP2
000006c6: POP
000006c7: PUSH2 0x06de
000006ca: PUSH2 0x06d7
000006cd: DUP4
000006ce: PUSH1 0x62
000006d0: PUSH1 0xff
000006d2: AND
000006d3: PUSH2 0x11d3
000006d6: JUMP
000006d7: JUMPDEST
000006d8: PUSH1 0x64
000006da: PUSH2 0x120e
000006dd: JUMP
000006de: JUMPDEST
000006df: SWAP1
000006e0: POP
000006e1: DUP1
000006e2: SWAP3
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: SWAP2
000006e7: SWAP1
000006e8: POP
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x00
000006ed: PUSH1 0x04
000006ef: SLOAD
000006f0: SWAP1
000006f1: POP
000006f2: SWAP1
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x00
000006f7: DUP1
000006f8: PUSH1 0x00
000006fa: PUSH1 0x04
000006fc: SLOAD
000006fd: DUP5
000006fe: GT
000006ff: ISZERO
00000700: ISZERO
00000701: ISZERO
00000702: PUSH2 0x070a
00000705: JUMPI
00000706: PUSH1 0x00
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: PUSH2 0x0713
0000070e: DUP5
0000070f: PUSH2 0x124f
00000712: JUMP
00000713: JUMPDEST
00000714: SWAP2
00000715: POP
00000716: PUSH2 0x072d
00000719: PUSH2 0x0726
0000071c: DUP4
0000071d: PUSH1 0x62
0000071f: PUSH1 0xff
00000721: AND
00000722: PUSH2 0x11d3
00000725: JUMP
00000726: JUMPDEST
00000727: PUSH1 0x64
00000729: PUSH2 0x120e
0000072c: JUMP
0000072d: JUMPDEST
0000072e: SWAP1
0000072f: POP
00000730: DUP1
00000731: SWAP3
00000732: POP
00000733: POP
00000734: POP
00000735: SWAP2
00000736: SWAP1
00000737: POP
00000738: JUMP
00000739: JUMPDEST
0000073a: PUSH1 0x12
0000073c: DUP2
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x06
00000741: PUSH1 0x20
00000743: MSTORE
00000744: DUP1
00000745: PUSH1 0x00
00000747: MSTORE
00000748: PUSH1 0x40
0000074a: PUSH1 0x00
0000074c: KECCAK256
0000074d: PUSH1 0x00
0000074f: SWAP2
00000750: POP
00000751: SLOAD
00000752: SWAP1
00000753: PUSH2 0x0100
00000756: EXP
00000757: SWAP1
00000758: DIV
00000759: PUSH1 0xff
0000075b: AND
0000075c: DUP2
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH1 0x00
00000761: DUP1
00000762: PUSH1 0x00
00000764: PUSH2 0x076b
00000767: PUSH2 0x12a6
0000076a: JUMP
0000076b: JUMPDEST
0000076c: SWAP2
0000076d: POP
0000076e: PUSH2 0x07a6
00000771: PUSH2 0x079f
00000774: PUSH2 0x0795
00000777: PUSH2 0x078e
0000077a: DUP6
0000077b: PUSH2 0x0789
0000077e: PUSH1 0x64
00000780: PUSH1 0x05
00000782: PUSH1 0xff
00000784: AND
00000785: PUSH2 0x1302
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH2 0x11d3
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH1 0x64
00000791: PUSH2 0x120e
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x62
00000798: PUSH1 0xff
0000079a: AND
0000079b: PUSH2 0x11d3
0000079e: JUMP
0000079f: JUMPDEST
000007a0: PUSH1 0x64
000007a2: PUSH2 0x120e
000007a5: JUMP
000007a6: JUMPDEST
000007a7: SWAP1
000007a8: POP
000007a9: DUP1
000007aa: SWAP3
000007ab: POP
000007ac: POP
000007ad: POP
000007ae: SWAP1
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH1 0x00
000007b3: ADDRESS
000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c9: AND
000007ca: BALANCE
000007cb: SWAP1
000007cc: POP
000007cd: SWAP1
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH1 0x00
000007d2: PUSH1 0x02
000007d4: PUSH1 0x00
000007d6: DUP4
000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ec: AND
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: AND
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x20
00000807: ADD
00000808: SWAP1
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: PUSH1 0x00
00000810: KECCAK256
00000811: SLOAD
00000812: SWAP1
00000813: POP
00000814: SWAP2
00000815: SWAP1
00000816: POP
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0x00
0000081b: DUP1
0000081c: PUSH1 0x00
0000081e: PUSH2 0x0825
00000821: PUSH2 0x12a6
00000824: JUMP
00000825: JUMPDEST
00000826: SWAP2
00000827: POP
00000828: PUSH2 0x084c
0000082b: PUSH2 0x0842
0000082e: DUP4
0000082f: PUSH2 0x083d
00000832: PUSH1 0x64
00000834: PUSH1 0x05
00000836: PUSH1 0xff
00000838: AND
00000839: PUSH2 0x131b
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH2 0x11d3
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x62
00000845: PUSH1 0xff
00000847: AND
00000848: PUSH2 0x120e
0000084b: JUMP
0000084c: JUMPDEST
0000084d: SWAP1
0000084e: POP
0000084f: DUP1
00000850: SWAP3
00000851: POP
00000852: POP
00000853: POP
00000854: SWAP1
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH1 0x00
00000859: CALLER
0000085a: SWAP1
0000085b: POP
0000085c: PUSH1 0x06
0000085e: PUSH1 0x00
00000860: DUP3
00000861: PUSH1 0x40
00000863: MLOAD
00000864: PUSH1 0x20
00000866: ADD
00000867: DUP1
00000868: DUP3
00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087e: AND
0000087f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000894: AND
00000895: PUSH13 0x01000000000000000000000000
000008a3: MUL
000008a4: DUP2
000008a5: MSTORE
000008a6: PUSH1 0x14
000008a8: ADD
000008a9: SWAP2
000008aa: POP
000008ab: POP
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: PUSH1 0x20
000008b1: DUP2
000008b2: DUP4
000008b3: SUB
000008b4: SUB
000008b5: DUP2
000008b6: MSTORE
000008b7: SWAP1
000008b8: PUSH1 0x40
000008ba: MSTORE
000008bb: PUSH1 0x40
000008bd: MLOAD
000008be: DUP1
000008bf: DUP3
000008c0: DUP1
000008c1: MLOAD
000008c2: SWAP1
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: SWAP1
000008c7: DUP1
000008c8: DUP4
000008c9: DUP4
000008ca: JUMPDEST
000008cb: PUSH1 0x20
000008cd: DUP4
000008ce: LT
000008cf: ISZERO
000008d0: ISZERO
000008d1: PUSH2 0x08ef
000008d4: JUMPI
000008d5: DUP1
000008d6: MLOAD
000008d7: DUP3
000008d8: MSTORE
000008d9: PUSH1 0x20
000008db: DUP3
000008dc: ADD
000008dd: SWAP2
000008de: POP
000008df: PUSH1 0x20
000008e1: DUP2
000008e2: ADD
000008e3: SWAP1
000008e4: POP
000008e5: PUSH1 0x20
000008e7: DUP4
000008e8: SUB
000008e9: SWAP3
000008ea: POP
000008eb: PUSH2 0x08ca
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x01
000008f2: DUP4
000008f3: PUSH1 0x20
000008f5: SUB
000008f6: PUSH2 0x0100
000008f9: EXP
000008fa: SUB
000008fb: DUP1
000008fc: NOT
000008fd: DUP3
000008fe: MLOAD
000008ff: AND
00000900: DUP2
00000901: DUP5
00000902: MLOAD
00000903: AND
00000904: DUP1
00000905: DUP3
00000906: OR
00000907: DUP6
00000908: MSTORE
00000909: POP
0000090a: POP
0000090b: POP
0000090c: POP
0000090d: POP
0000090e: POP
0000090f: SWAP1
00000910: POP
00000911: ADD
00000912: SWAP2
00000913: POP
00000914: POP
00000915: PUSH1 0x40
00000917: MLOAD
00000918: DUP1
00000919: SWAP2
0000091a: SUB
0000091b: SWAP1
0000091c: KECCAK256
0000091d: PUSH1 0x00
0000091f: NOT
00000920: AND
00000921: PUSH1 0x00
00000923: NOT
00000924: AND
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x20
00000929: ADD
0000092a: SWAP1
0000092b: DUP2
0000092c: MSTORE
0000092d: PUSH1 0x20
0000092f: ADD
00000930: PUSH1 0x00
00000932: KECCAK256
00000933: PUSH1 0x00
00000935: SWAP1
00000936: SLOAD
00000937: SWAP1
00000938: PUSH2 0x0100
0000093b: EXP
0000093c: SWAP1
0000093d: DIV
0000093e: PUSH1 0xff
00000940: AND
00000941: ISZERO
00000942: ISZERO
00000943: PUSH2 0x094b
00000946: JUMPI
00000947: PUSH1 0x00
00000949: DUP1
0000094a: REVERT
0000094b: JUMPDEST
0000094c: DUP2
0000094d: PUSH1 0x06
0000094f: PUSH1 0x00
00000951: DUP6
00000952: PUSH1 0x00
00000954: NOT
00000955: AND
00000956: PUSH1 0x00
00000958: NOT
00000959: AND
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x20
0000095e: ADD
0000095f: SWAP1
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x20
00000964: ADD
00000965: PUSH1 0x00
00000967: KECCAK256
00000968: PUSH1 0x00
0000096a: PUSH2 0x0100
0000096d: EXP
0000096e: DUP2
0000096f: SLOAD
00000970: DUP2
00000971: PUSH1 0xff
00000973: MUL
00000974: NOT
00000975: AND
00000976: SWAP1
00000977: DUP4
00000978: ISZERO
00000979: ISZERO
0000097a: MUL
0000097b: OR
0000097c: SWAP1
0000097d: SSTORE
0000097e: POP
0000097f: POP
00000980: POP
00000981: POP
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x00
00000986: DUP1
00000987: CALLER
00000988: SWAP1
00000989: POP
0000098a: PUSH2 0x0992
0000098d: DUP2
0000098e: PUSH2 0x07cf
00000991: JUMP
00000992: JUMPDEST
00000993: SWAP2
00000994: POP
00000995: POP
00000996: SWAP1
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x01
0000099b: DUP1
0000099c: SLOAD
0000099d: PUSH1 0x01
0000099f: DUP2
000009a0: PUSH1 0x01
000009a2: AND
000009a3: ISZERO
000009a4: PUSH2 0x0100
000009a7: MUL
000009a8: SUB
000009a9: AND
000009aa: PUSH1 0x02
000009ac: SWAP1
000009ad: DIV
000009ae: DUP1
000009af: PUSH1 0x1f
000009b1: ADD
000009b2: PUSH1 0x20
000009b4: DUP1
000009b5: SWAP2
000009b6: DIV
000009b7: MUL
000009b8: PUSH1 0x20
000009ba: ADD
000009bb: PUSH1 0x40
000009bd: MLOAD
000009be: SWAP1
000009bf: DUP2
000009c0: ADD
000009c1: PUSH1 0x40
000009c3: MSTORE
000009c4: DUP1
000009c5: SWAP3
000009c6: SWAP2
000009c7: SWAP1
000009c8: DUP2
000009c9: DUP2
000009ca: MSTORE
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: DUP3
000009cf: DUP1
000009d0: SLOAD
000009d1: PUSH1 0x01
000009d3: DUP2
000009d4: PUSH1 0x01
000009d6: AND
000009d7: ISZERO
000009d8: PUSH2 0x0100
000009db: MUL
000009dc: SUB
000009dd: AND
000009de: PUSH1 0x02
000009e0: SWAP1
000009e1: DIV
000009e2: DUP1
000009e3: ISZERO
000009e4: PUSH2 0x0a2e
000009e7: JUMPI
000009e8: DUP1
000009e9: PUSH1 0x1f
000009eb: LT
000009ec: PUSH2 0x0a03
000009ef: JUMPI
000009f0: PUSH2 0x0100
000009f3: DUP1
000009f4: DUP4
000009f5: SLOAD
000009f6: DIV
000009f7: MUL
000009f8: DUP4
000009f9: MSTORE
000009fa: SWAP2
000009fb: PUSH1 0x20
000009fd: ADD
000009fe: SWAP2
000009ff: PUSH2 0x0a2e
00000a02: JUMP
00000a03: JUMPDEST
00000a04: DUP3
00000a05: ADD
00000a06: SWAP2
00000a07: SWAP1
00000a08: PUSH1 0x00
00000a0a: MSTORE
00000a0b: PUSH1 0x20
00000a0d: PUSH1 0x00
00000a0f: KECCAK256
00000a10: SWAP1
00000a11: JUMPDEST
00000a12: DUP2
00000a13: SLOAD
00000a14: DUP2
00000a15: MSTORE
00000a16: SWAP1
00000a17: PUSH1 0x01
00000a19: ADD
00000a1a: SWAP1
00000a1b: PUSH1 0x20
00000a1d: ADD
00000a1e: DUP1
00000a1f: DUP4
00000a20: GT
00000a21: PUSH2 0x0a11
00000a24: JUMPI
00000a25: DUP3
00000a26: SWAP1
00000a27: SUB
00000a28: PUSH1 0x1f
00000a2a: AND
00000a2b: DUP3
00000a2c: ADD
00000a2d: SWAP2
00000a2e: JUMPDEST
00000a2f: POP
00000a30: POP
00000a31: POP
00000a32: POP
00000a33: POP
00000a34: DUP2
00000a35: JUMP
00000a36: JUMPDEST
00000a37: CALLVALUE
00000a38: PUSH1 0x05
00000a3a: DUP2
00000a3b: SWAP1
00000a3c: SSTORE
00000a3d: POP
00000a3e: PUSH2 0x0a46
00000a41: CALLVALUE
00000a42: PUSH2 0x1339
00000a45: JUMP
00000a46: JUMPDEST
00000a47: PUSH1 0x00
00000a49: PUSH1 0x05
00000a4b: DUP2
00000a4c: SWAP1
00000a4d: SSTORE
00000a4e: POP
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: PUSH1 0x00
00000a53: DUP1
00000a54: PUSH1 0x00
00000a56: DUP1
00000a57: DUP6
00000a58: PUSH1 0x00
00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6f: AND
00000a70: DUP2
00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a86: AND
00000a87: EQ
00000a88: ISZERO
00000a89: ISZERO
00000a8a: ISZERO
00000a8b: PUSH2 0x0a93
00000a8e: JUMPI
00000a8f: PUSH1 0x00
00000a91: DUP1
00000a92: REVERT
00000a93: JUMPDEST
00000a94: PUSH1 0x00
00000a96: PUSH2 0x0a9d
00000a99: PUSH2 0x0983
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: GT
00000a9f: ISZERO
00000aa0: ISZERO
00000aa1: PUSH2 0x0aa9
00000aa4: JUMPI
00000aa5: PUSH1 0x00
00000aa7: DUP1
00000aa8: REVERT
00000aa9: JUMPDEST
00000aaa: CALLER
00000aab: SWAP4
00000aac: POP
00000aad: PUSH2 0x0ac4
00000ab0: PUSH2 0x0abd
00000ab3: DUP8
00000ab4: PUSH1 0x05
00000ab6: PUSH1 0xff
00000ab8: AND
00000ab9: PUSH2 0x11d3
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x64
00000ac0: PUSH2 0x120e
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: SWAP3
00000ac6: POP
00000ac7: PUSH1 0x02
00000ac9: PUSH1 0x00
00000acb: DUP6
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: AND
00000ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af7: AND
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x20
00000afc: ADD
00000afd: SWAP1
00000afe: DUP2
00000aff: MSTORE
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: PUSH1 0x00
00000b05: KECCAK256
00000b06: SLOAD
00000b07: PUSH2 0x0b10
00000b0a: DUP8
00000b0b: DUP6
00000b0c: PUSH2 0x131b
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: GT
00000b12: ISZERO
00000b13: ISZERO
00000b14: ISZERO
00000b15: PUSH2 0x0b1d
00000b18: JUMPI
00000b19: PUSH1 0x00
00000b1b: DUP1
00000b1c: REVERT
00000b1d: JUMPDEST
00000b1e: PUSH2 0x0b27
00000b21: DUP7
00000b22: DUP5
00000b23: PUSH2 0x131b
00000b26: JUMP
00000b27: JUMPDEST
00000b28: SWAP2
00000b29: POP
00000b2a: PUSH2 0x0b72
00000b2d: PUSH1 0x02
00000b2f: PUSH1 0x00
00000b31: DUP7
00000b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b47: AND
00000b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5d: AND
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: SWAP1
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: ADD
00000b69: PUSH1 0x00
00000b6b: KECCAK256
00000b6c: SLOAD
00000b6d: DUP4
00000b6e: PUSH2 0x1302
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH1 0x02
00000b75: PUSH1 0x00
00000b77: DUP7
00000b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8d: AND
00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba3: AND
00000ba4: DUP2
00000ba5: MSTORE
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP1
00000baa: DUP2
00000bab: MSTORE
00000bac: PUSH1 0x20
00000bae: ADD
00000baf: PUSH1 0x00
00000bb1: KECCAK256
00000bb2: DUP2
00000bb3: SWAP1
00000bb4: SSTORE
00000bb5: POP
00000bb6: PUSH2 0x0bfe
00000bb9: PUSH1 0x02
00000bbb: PUSH1 0x00
00000bbd: DUP10
00000bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd3: AND
00000bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be9: AND
00000bea: DUP2
00000beb: MSTORE
00000bec: PUSH1 0x20
00000bee: ADD
00000bef: SWAP1
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH1 0x20
00000bf4: ADD
00000bf5: PUSH1 0x00
00000bf7: KECCAK256
00000bf8: SLOAD
00000bf9: DUP8
00000bfa: PUSH2 0x131b
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x02
00000c01: PUSH1 0x00
00000c03: DUP10
00000c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c19: AND
00000c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2f: AND
00000c30: DUP2
00000c31: MSTORE
00000c32: PUSH1 0x20
00000c34: ADD
00000c35: SWAP1
00000c36: DUP2
00000c37: MSTORE
00000c38: PUSH1 0x20
00000c3a: ADD
00000c3b: PUSH1 0x00
00000c3d: KECCAK256
00000c3e: DUP2
00000c3f: SWAP1
00000c40: SSTORE
00000c41: POP
00000c42: DUP3
00000c43: PUSH1 0x04
00000c45: PUSH1 0x00
00000c47: DUP3
00000c48: DUP3
00000c49: SLOAD
00000c4a: SUB
00000c4b: SWAP3
00000c4c: POP
00000c4d: POP
00000c4e: DUP2
00000c4f: SWAP1
00000c50: SSTORE
00000c51: POP
00000c52: DUP7
00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c68: AND
00000c69: DUP5
00000c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7f: AND
00000c80: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ca1: DUP5
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: DUP1
00000ca6: DUP3
00000ca7: DUP2
00000ca8: MSTORE
00000ca9: PUSH1 0x20
00000cab: ADD
00000cac: SWAP2
00000cad: POP
00000cae: POP
00000caf: PUSH1 0x40
00000cb1: MLOAD
00000cb2: DUP1
00000cb3: SWAP2
00000cb4: SUB
00000cb5: SWAP1
00000cb6: LOG3
00000cb7: PUSH1 0x01
00000cb9: SWAP5
00000cba: POP
00000cbb: POP
00000cbc: POP
00000cbd: POP
00000cbe: POP
00000cbf: SWAP3
00000cc0: SWAP2
00000cc1: POP
00000cc2: POP
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: PUSH1 0x00
00000cc7: CALLER
00000cc8: SWAP1
00000cc9: POP
00000cca: PUSH1 0x06
00000ccc: PUSH1 0x00
00000cce: DUP3
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: PUSH1 0x20
00000cd4: ADD
00000cd5: DUP1
00000cd6: DUP3
00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cec: AND
00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d02: AND
00000d03: PUSH13 0x01000000000000000000000000
00000d11: MUL
00000d12: DUP2
00000d13: MSTORE
00000d14: PUSH1 0x14
00000d16: ADD
00000d17: SWAP2
00000d18: POP
00000d19: POP
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: PUSH1 0x20
00000d1f: DUP2
00000d20: DUP4
00000d21: SUB
00000d22: SUB
00000d23: DUP2
00000d24: MSTORE
00000d25: SWAP1
00000d26: PUSH1 0x40
00000d28: MSTORE
00000d29: PUSH1 0x40
00000d2b: MLOAD
00000d2c: DUP1
00000d2d: DUP3
00000d2e: DUP1
00000d2f: MLOAD
00000d30: SWAP1
00000d31: PUSH1 0x20
00000d33: ADD
00000d34: SWAP1
00000d35: DUP1
00000d36: DUP4
00000d37: DUP4
00000d38: JUMPDEST
00000d39: PUSH1 0x20
00000d3b: DUP4
00000d3c: LT
00000d3d: ISZERO
00000d3e: ISZERO
00000d3f: PUSH2 0x0d5d
00000d42: JUMPI
00000d43: DUP1
00000d44: MLOAD
00000d45: DUP3
00000d46: MSTORE
00000d47: PUSH1 0x20
00000d49: DUP3
00000d4a: ADD
00000d4b: SWAP2
00000d4c: POP
00000d4d: PUSH1 0x20
00000d4f: DUP2
00000d50: ADD
00000d51: SWAP1
00000d52: POP
00000d53: PUSH1 0x20
00000d55: DUP4
00000d56: SUB
00000d57: SWAP3
00000d58: POP
00000d59: PUSH2 0x0d38
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x01
00000d60: DUP4
00000d61: PUSH1 0x20
00000d63: SUB
00000d64: PUSH2 0x0100
00000d67: EXP
00000d68: SUB
00000d69: DUP1
00000d6a: NOT
00000d6b: DUP3
00000d6c: MLOAD
00000d6d: AND
00000d6e: DUP2
00000d6f: DUP5
00000d70: MLOAD
00000d71: AND
00000d72: DUP1
00000d73: DUP3
00000d74: OR
00000d75: DUP6
00000d76: MSTORE
00000d77: POP
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: POP
00000d7d: SWAP1
00000d7e: POP
00000d7f: ADD
00000d80: SWAP2
00000d81: POP
00000d82: POP
00000d83: PUSH1 0x40
00000d85: MLOAD
00000d86: DUP1
00000d87: SWAP2
00000d88: SUB
00000d89: SWAP1
00000d8a: KECCAK256
00000d8b: PUSH1 0x00
00000d8d: NOT
00000d8e: AND
00000d8f: PUSH1 0x00
00000d91: NOT
00000d92: AND
00000d93: DUP2
00000d94: MSTORE
00000d95: PUSH1 0x20
00000d97: ADD
00000d98: SWAP1
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x20
00000d9d: ADD
00000d9e: PUSH1 0x00
00000da0: KECCAK256
00000da1: PUSH1 0x00
00000da3: SWAP1
00000da4: SLOAD
00000da5: SWAP1
00000da6: PUSH2 0x0100
00000da9: EXP
00000daa: SWAP1
00000dab: DIV
00000dac: PUSH1 0xff
00000dae: AND
00000daf: ISZERO
00000db0: ISZERO
00000db1: PUSH2 0x0db9
00000db4: JUMPI
00000db5: PUSH1 0x00
00000db7: DUP1
00000db8: REVERT
00000db9: JUMPDEST
00000dba: DUP2
00000dbb: PUSH1 0x01
00000dbd: SWAP1
00000dbe: DUP1
00000dbf: MLOAD
00000dc0: SWAP1
00000dc1: PUSH1 0x20
00000dc3: ADD
00000dc4: SWAP1
00000dc5: PUSH2 0x0dcf
00000dc8: SWAP3
00000dc9: SWAP2
00000dca: SWAP1
00000dcb: PUSH2 0x15bd
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: POP
00000dd1: POP
00000dd2: POP
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: PUSH1 0x00
00000dd7: CALLER
00000dd8: SWAP1
00000dd9: POP
00000dda: PUSH1 0x06
00000ddc: PUSH1 0x00
00000dde: DUP3
00000ddf: PUSH1 0x40
00000de1: MLOAD
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: DUP1
00000de6: DUP3
00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfc: AND
00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e12: AND
00000e13: PUSH13 0x01000000000000000000000000
00000e21: MUL
00000e22: DUP2
00000e23: MSTORE
00000e24: PUSH1 0x14
00000e26: ADD
00000e27: SWAP2
00000e28: POP
00000e29: POP
00000e2a: PUSH1 0x40
00000e2c: MLOAD
00000e2d: PUSH1 0x20
00000e2f: DUP2
00000e30: DUP4
00000e31: SUB
00000e32: SUB
00000e33: DUP2
00000e34: MSTORE
00000e35: SWAP1
00000e36: PUSH1 0x40
00000e38: MSTORE
00000e39: PUSH1 0x40
00000e3b: MLOAD
00000e3c: DUP1
00000e3d: DUP3
00000e3e: DUP1
00000e3f: MLOAD
00000e40: SWAP1
00000e41: PUSH1 0x20
00000e43: ADD
00000e44: SWAP1
00000e45: DUP1
00000e46: DUP4
00000e47: DUP4
00000e48: JUMPDEST
00000e49: PUSH1 0x20
00000e4b: DUP4
00000e4c: LT
00000e4d: ISZERO
00000e4e: ISZERO
00000e4f: PUSH2 0x0e6d
00000e52: JUMPI
00000e53: DUP1
00000e54: MLOAD
00000e55: DUP3
00000e56: MSTORE
00000e57: PUSH1 0x20
00000e59: DUP3
00000e5a: ADD
00000e5b: SWAP2
00000e5c: POP
00000e5d: PUSH1 0x20
00000e5f: DUP2
00000e60: ADD
00000e61: SWAP1
00000e62: POP
00000e63: PUSH1 0x20
00000e65: DUP4
00000e66: SUB
00000e67: SWAP3
00000e68: POP
00000e69: PUSH2 0x0e48
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH1 0x01
00000e70: DUP4
00000e71: PUSH1 0x20
00000e73: SUB
00000e74: PUSH2 0x0100
00000e77: EXP
00000e78: SUB
00000e79: DUP1
00000e7a: NOT
00000e7b: DUP3
00000e7c: MLOAD
00000e7d: AND
00000e7e: DUP2
00000e7f: DUP5
00000e80: MLOAD
00000e81: AND
00000e82: DUP1
00000e83: DUP3
00000e84: OR
00000e85: DUP6
00000e86: MSTORE
00000e87: POP
00000e88: POP
00000e89: POP
00000e8a: POP
00000e8b: POP
00000e8c: POP
00000e8d: SWAP1
00000e8e: POP
00000e8f: ADD
00000e90: SWAP2
00000e91: POP
00000e92: POP
00000e93: PUSH1 0x40
00000e95: MLOAD
00000e96: DUP1
00000e97: SWAP2
00000e98: SUB
00000e99: SWAP1
00000e9a: KECCAK256
00000e9b: PUSH1 0x00
00000e9d: NOT
00000e9e: AND
00000e9f: PUSH1 0x00
00000ea1: NOT
00000ea2: AND
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH1 0x20
00000ea7: ADD
00000ea8: SWAP1
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x20
00000ead: ADD
00000eae: PUSH1 0x00
00000eb0: KECCAK256
00000eb1: PUSH1 0x00
00000eb3: SWAP1
00000eb4: SLOAD
00000eb5: SWAP1
00000eb6: PUSH2 0x0100
00000eb9: EXP
00000eba: SWAP1
00000ebb: DIV
00000ebc: PUSH1 0xff
00000ebe: AND
00000ebf: ISZERO
00000ec0: ISZERO
00000ec1: PUSH2 0x0ec9
00000ec4: JUMPI
00000ec5: PUSH1 0x00
00000ec7: DUP1
00000ec8: REVERT
00000ec9: JUMPDEST
00000eca: DUP2
00000ecb: PUSH1 0x00
00000ecd: SWAP1
00000ece: DUP1
00000ecf: MLOAD
00000ed0: SWAP1
00000ed1: PUSH1 0x20
00000ed3: ADD
00000ed4: SWAP1
00000ed5: PUSH2 0x0edf
00000ed8: SWAP3
00000ed9: SWAP2
00000eda: SWAP1
00000edb: PUSH2 0x15bd
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x00
00000ee7: DUP1
00000ee8: PUSH1 0x00
00000eea: DUP1
00000eeb: PUSH1 0x00
00000eed: DUP1
00000eee: PUSH2 0x0ef5
00000ef1: PUSH2 0x0983
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: GT
00000ef7: ISZERO
00000ef8: ISZERO
00000ef9: PUSH2 0x0f01
00000efc: JUMPI
00000efd: PUSH1 0x00
00000eff: DUP1
00000f00: REVERT
00000f01: JUMPDEST
00000f02: CALLER
00000f03: SWAP5
00000f04: POP
00000f05: PUSH1 0x02
00000f07: PUSH1 0x00
00000f09: DUP7
00000f0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1f: AND
00000f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f35: AND
00000f36: DUP2
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: ADD
00000f3b: SWAP1
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: ADD
00000f41: PUSH1 0x00
00000f43: KECCAK256
00000f44: SLOAD
00000f45: DUP7
00000f46: GT
00000f47: ISZERO
00000f48: ISZERO
00000f49: ISZERO
00000f4a: PUSH2 0x0f52
00000f4d: JUMPI
00000f4e: PUSH1 0x00
00000f50: DUP1
00000f51: REVERT
00000f52: JUMPDEST
00000f53: DUP6
00000f54: SWAP4
00000f55: POP
00000f56: PUSH2 0x0f5e
00000f59: DUP5
00000f5a: PUSH2 0x124f
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: SWAP3
00000f60: POP
00000f61: PUSH2 0x0f78
00000f64: PUSH2 0x0f71
00000f67: DUP5
00000f68: PUSH1 0x62
00000f6a: PUSH1 0xff
00000f6c: AND
00000f6d: PUSH2 0x11d3
00000f70: JUMP
00000f71: JUMPDEST
00000f72: PUSH1 0x64
00000f74: PUSH2 0x120e
00000f77: JUMP
00000f78: JUMPDEST
00000f79: SWAP2
00000f7a: POP
00000f7b: PUSH2 0x0f84
00000f7e: DUP4
00000f7f: DUP4
00000f80: PUSH2 0x1302
00000f83: JUMP
00000f84: JUMPDEST
00000f85: SWAP1
00000f86: POP
00000f87: PUSH2 0x0f92
00000f8a: PUSH1 0x04
00000f8c: SLOAD
00000f8d: DUP6
00000f8e: PUSH2 0x1302
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x04
00000f95: DUP2
00000f96: SWAP1
00000f97: SSTORE
00000f98: POP
00000f99: PUSH2 0x0fe1
00000f9c: PUSH1 0x02
00000f9e: PUSH1 0x00
00000fa0: DUP8
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcc: AND
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: ADD
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x20
00000fd7: ADD
00000fd8: PUSH1 0x00
00000fda: KECCAK256
00000fdb: SLOAD
00000fdc: DUP6
00000fdd: PUSH2 0x1302
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: PUSH1 0x02
00000fe4: PUSH1 0x00
00000fe6: DUP8
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: AND
00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001012: AND
00001013: DUP2
00001014: MSTORE
00001015: PUSH1 0x20
00001017: ADD
00001018: SWAP1
00001019: DUP2
0000101a: MSTORE
0000101b: PUSH1 0x20
0000101d: ADD
0000101e: PUSH1 0x00
00001020: KECCAK256
00001021: DUP2
00001022: SWAP1
00001023: SSTORE
00001024: POP
00001025: DUP5
00001026: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103b: AND
0000103c: PUSH2 0x08fc
0000103f: DUP4
00001040: SWAP1
00001041: DUP2
00001042: ISZERO
00001043: MUL
00001044: SWAP1
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH1 0x00
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: DUP1
0000104e: DUP4
0000104f: SUB
00001050: DUP2
00001051: DUP6
00001052: DUP9
00001053: DUP9
00001054: CALL
00001055: SWAP4
00001056: POP
00001057: POP
00001058: POP
00001059: POP
0000105a: ISZERO
0000105b: DUP1
0000105c: ISZERO
0000105d: PUSH2 0x106a
00001060: JUMPI
00001061: RETURNDATASIZE
00001062: PUSH1 0x00
00001064: DUP1
00001065: RETURNDATACOPY
00001066: RETURNDATASIZE
00001067: PUSH1 0x00
00001069: REVERT
0000106a: JUMPDEST
0000106b: POP
0000106c: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb
00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001096: AND
00001097: PUSH2 0x08fc
0000109a: DUP3
0000109b: SWAP1
0000109c: DUP2
0000109d: ISZERO
0000109e: MUL
0000109f: SWAP1
000010a0: PUSH1 0x40
000010a2: MLOAD
000010a3: PUSH1 0x00
000010a5: PUSH1 0x40
000010a7: MLOAD
000010a8: DUP1
000010a9: DUP4
000010aa: SUB
000010ab: DUP2
000010ac: DUP6
000010ad: DUP9
000010ae: DUP9
000010af: CALL
000010b0: SWAP4
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: POP
000010b5: ISZERO
000010b6: DUP1
000010b7: ISZERO
000010b8: PUSH2 0x10c5
000010bb: JUMPI
000010bc: RETURNDATASIZE
000010bd: PUSH1 0x00
000010bf: DUP1
000010c0: RETURNDATACOPY
000010c1: RETURNDATASIZE
000010c2: PUSH1 0x00
000010c4: REVERT
000010c5: JUMPDEST
000010c6: POP
000010c7: DUP5
000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dd: AND
000010de: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
000010ff: DUP6
00001100: DUP5
00001101: PUSH1 0x40
00001103: MLOAD
00001104: DUP1
00001105: DUP4
00001106: DUP2
00001107: MSTORE
00001108: PUSH1 0x20
0000110a: ADD
0000110b: DUP3
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x20
00001110: ADD
00001111: SWAP3
00001112: POP
00001113: POP
00001114: POP
00001115: PUSH1 0x40
00001117: MLOAD
00001118: DUP1
00001119: SWAP2
0000111a: SUB
0000111b: SWAP1
0000111c: LOG2
0000111d: POP
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: POP
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x00
00001127: DUP1
00001128: CALLER
00001129: SWAP2
0000112a: POP
0000112b: PUSH1 0x02
0000112d: PUSH1 0x00
0000112f: DUP4
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115b: AND
0000115c: DUP2
0000115d: MSTORE
0000115e: PUSH1 0x20
00001160: ADD
00001161: SWAP1
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x20
00001166: ADD
00001167: PUSH1 0x00
00001169: KECCAK256
0000116a: SLOAD
0000116b: SWAP1
0000116c: POP
0000116d: PUSH1 0x00
0000116f: DUP2
00001170: GT
00001171: ISZERO
00001172: PUSH2 0x117f
00001175: JUMPI
00001176: PUSH2 0x117e
00001179: DUP2
0000117a: PUSH2 0x0ee4
0000117d: JUMP
0000117e: JUMPDEST
0000117f: JUMPDEST
00001180: POP
00001181: POP
00001182: JUMP
00001183: JUMPDEST
00001184: PUSH1 0x00
00001186: DUP1
00001187: PUSH1 0x00
00001189: PUSH2 0x1190
0000118c: PUSH2 0x12a6
0000118f: JUMP
00001190: JUMPDEST
00001191: SWAP2
00001192: POP
00001193: PUSH2 0x11c7
00001196: PUSH8 0x0de0b6b3a7640000
0000119f: DUP6
000011a0: MUL
000011a1: PUSH2 0x11c2
000011a4: PUSH2 0x11bb
000011a7: DUP6
000011a8: PUSH2 0x11b6
000011ab: PUSH1 0x64
000011ad: PUSH1 0x05
000011af: PUSH1 0xff
000011b1: AND
000011b2: PUSH2 0x131b
000011b5: JUMP
000011b6: JUMPDEST
000011b7: PUSH2 0x11d3
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x64
000011be: PUSH2 0x120e
000011c1: JUMP
000011c2: JUMPDEST
000011c3: PUSH2 0x120e
000011c6: JUMP
000011c7: JUMPDEST
000011c8: SWAP1
000011c9: POP
000011ca: DUP1
000011cb: SWAP3
000011cc: POP
000011cd: POP
000011ce: POP
000011cf: SWAP2
000011d0: SWAP1
000011d1: POP
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH1 0x00
000011d6: DUP1
000011d7: PUSH1 0x00
000011d9: DUP5
000011da: EQ
000011db: ISZERO
000011dc: PUSH2 0x11e8
000011df: JUMPI
000011e0: PUSH1 0x00
000011e2: SWAP2
000011e3: POP
000011e4: PUSH2 0x1207
000011e7: JUMP
000011e8: JUMPDEST
000011e9: DUP3
000011ea: DUP5
000011eb: MUL
000011ec: SWAP1
000011ed: POP
000011ee: DUP3
000011ef: DUP5
000011f0: DUP3
000011f1: DUP2
000011f2: ISZERO
000011f3: ISZERO
000011f4: PUSH2 0x11f9
000011f7: JUMPI
000011f8: INVALID
000011f9: JUMPDEST
000011fa: DIV
000011fb: EQ
000011fc: ISZERO
000011fd: ISZERO
000011fe: PUSH2 0x1203
00001201: JUMPI
00001202: INVALID
00001203: JUMPDEST
00001204: DUP1
00001205: SWAP2
00001206: POP
00001207: JUMPDEST
00001208: POP
00001209: SWAP3
0000120a: SWAP2
0000120b: POP
0000120c: POP
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x00
00001211: DUP1
00001212: PUSH1 0x00
00001214: DUP4
00001215: GT
00001216: ISZERO
00001217: ISZERO
00001218: PUSH2 0x121d
0000121b: JUMPI
0000121c: INVALID
0000121d: JUMPDEST
0000121e: DUP3
0000121f: DUP5
00001220: DUP2
00001221: ISZERO
00001222: ISZERO
00001223: PUSH2 0x1228
00001226: JUMPI
00001227: INVALID
00001228: JUMPDEST
00001229: DIV
0000122a: SWAP1
0000122b: POP
0000122c: DUP3
0000122d: DUP5
0000122e: DUP2
0000122f: ISZERO
00001230: ISZERO
00001231: PUSH2 0x1236
00001234: JUMPI
00001235: INVALID
00001236: JUMPDEST
00001237: MOD
00001238: DUP2
00001239: DUP5
0000123a: MUL
0000123b: ADD
0000123c: DUP5
0000123d: EQ
0000123e: ISZERO
0000123f: ISZERO
00001240: PUSH2 0x1245
00001243: JUMPI
00001244: INVALID
00001245: JUMPDEST
00001246: DUP1
00001247: SWAP2
00001248: POP
00001249: POP
0000124a: SWAP3
0000124b: SWAP2
0000124c: POP
0000124d: POP
0000124e: JUMP
0000124f: JUMPDEST
00001250: PUSH1 0x00
00001252: DUP1
00001253: PUSH1 0x00
00001255: PUSH2 0x125c
00001258: PUSH2 0x12a6
0000125b: JUMP
0000125c: JUMPDEST
0000125d: SWAP2
0000125e: POP
0000125f: PUSH2 0x129a
00001262: PUSH2 0x128c
00001265: DUP6
00001266: PUSH2 0x1287
00001269: PUSH2 0x1280
0000126c: DUP7
0000126d: PUSH2 0x127b
00001270: PUSH1 0x64
00001272: PUSH1 0x05
00001274: PUSH1 0xff
00001276: AND
00001277: PUSH2 0x1302
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH2 0x11d3
0000127f: JUMP
00001280: JUMPDEST
00001281: PUSH1 0x64
00001283: PUSH2 0x120e
00001286: JUMP
00001287: JUMPDEST
00001288: PUSH2 0x11d3
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH8 0x0de0b6b3a7640000
00001296: PUSH2 0x120e
00001299: JUMP
0000129a: JUMPDEST
0000129b: SWAP1
0000129c: POP
0000129d: DUP1
0000129e: SWAP3
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: SWAP2
000012a3: SWAP1
000012a4: POP
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x00
000012a9: DUP1
000012aa: PUSH1 0x00
000012ac: SWAP1
000012ad: POP
000012ae: PUSH1 0x00
000012b0: PUSH1 0x04
000012b2: SLOAD
000012b3: EQ
000012b4: ISZERO
000012b5: PUSH2 0x12c7
000012b8: JUMPI
000012b9: PUSH7 0x038d7ea4c68000
000012c1: SWAP1
000012c2: POP
000012c3: PUSH2 0x12fb
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH2 0x12f8
000012cb: PUSH8 0x0de0b6b3a7640000
000012d4: PUSH1 0x05
000012d6: SLOAD
000012d7: ADDRESS
000012d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ed: AND
000012ee: BALANCE
000012ef: SUB
000012f0: MUL
000012f1: PUSH1 0x04
000012f3: SLOAD
000012f4: PUSH2 0x120e
000012f7: JUMP
000012f8: JUMPDEST
000012f9: SWAP1
000012fa: POP
000012fb: JUMPDEST
000012fc: DUP1
000012fd: SWAP2
000012fe: POP
000012ff: POP
00001300: SWAP1
00001301: JUMP
00001302: JUMPDEST
00001303: PUSH1 0x00
00001305: DUP3
00001306: DUP3
00001307: GT
00001308: ISZERO
00001309: ISZERO
0000130a: ISZERO
0000130b: PUSH2 0x1310
0000130e: JUMPI
0000130f: INVALID
00001310: JUMPDEST
00001311: DUP2
00001312: DUP4
00001313: SUB
00001314: SWAP1
00001315: POP
00001316: SWAP3
00001317: SWAP2
00001318: POP
00001319: POP
0000131a: JUMP
0000131b: JUMPDEST
0000131c: PUSH1 0x00
0000131e: DUP1
0000131f: DUP3
00001320: DUP5
00001321: ADD
00001322: SWAP1
00001323: POP
00001324: DUP4
00001325: DUP2
00001326: LT
00001327: ISZERO
00001328: ISZERO
00001329: ISZERO
0000132a: PUSH2 0x132f
0000132d: JUMPI
0000132e: INVALID
0000132f: JUMPDEST
00001330: DUP1
00001331: SWAP2
00001332: POP
00001333: POP
00001334: SWAP3
00001335: SWAP2
00001336: POP
00001337: POP
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH1 0x00
0000133c: DUP1
0000133d: PUSH1 0x00
0000133f: DUP1
00001340: CALLER
00001341: SWAP4
00001342: POP
00001343: PUSH2 0x134b
00001346: DUP6
00001347: PUSH2 0x1183
0000134a: JUMP
0000134b: JUMPDEST
0000134c: SWAP3
0000134d: POP
0000134e: PUSH2 0x1365
00001351: PUSH2 0x135e
00001354: DUP5
00001355: PUSH1 0x62
00001357: PUSH1 0xff
00001359: AND
0000135a: PUSH2 0x11d3
0000135d: JUMP
0000135e: JUMPDEST
0000135f: PUSH1 0x64
00001361: PUSH2 0x120e
00001364: JUMP
00001365: JUMPDEST
00001366: SWAP2
00001367: POP
00001368: PUSH2 0x1371
0000136b: DUP4
0000136c: DUP4
0000136d: PUSH2 0x1302
00001370: JUMP
00001371: JUMPDEST
00001372: SWAP1
00001373: POP
00001374: PUSH1 0x00
00001376: DUP3
00001377: GT
00001378: DUP1
00001379: ISZERO
0000137a: PUSH2 0x138f
0000137d: JUMPI
0000137e: POP
0000137f: PUSH8 0x0de0b6b3a7640000
00001388: PUSH2 0x0bb8
0000138b: MUL
0000138c: DUP3
0000138d: GT
0000138e: ISZERO
0000138f: JUMPDEST
00001390: DUP1
00001391: ISZERO
00001392: PUSH2 0x13a7
00001395: JUMPI
00001396: POP
00001397: PUSH1 0x04
00001399: SLOAD
0000139a: PUSH2 0x13a5
0000139d: DUP4
0000139e: PUSH1 0x04
000013a0: SLOAD
000013a1: PUSH2 0x131b
000013a4: JUMP
000013a5: JUMPDEST
000013a6: GT
000013a7: JUMPDEST
000013a8: ISZERO
000013a9: ISZERO
000013aa: PUSH2 0x13b2
000013ad: JUMPI
000013ae: PUSH1 0x00
000013b0: DUP1
000013b1: REVERT
000013b2: JUMPDEST
000013b3: PUSH2 0x13fb
000013b6: PUSH1 0x02
000013b8: PUSH1 0x00
000013ba: DUP7
000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d0: AND
000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: DUP2
000013e8: MSTORE
000013e9: PUSH1 0x20
000013eb: ADD
000013ec: SWAP1
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x20
000013f1: ADD
000013f2: PUSH1 0x00
000013f4: KECCAK256
000013f5: SLOAD
000013f6: DUP4
000013f7: PUSH2 0x131b
000013fa: JUMP
000013fb: JUMPDEST
000013fc: PUSH1 0x02
000013fe: PUSH1 0x00
00001400: DUP7
00001401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001416: AND
00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142c: AND
0000142d: DUP2
0000142e: MSTORE
0000142f: PUSH1 0x20
00001431: ADD
00001432: SWAP1
00001433: DUP2
00001434: MSTORE
00001435: PUSH1 0x20
00001437: ADD
00001438: PUSH1 0x00
0000143a: KECCAK256
0000143b: DUP2
0000143c: SWAP1
0000143d: SSTORE
0000143e: POP
0000143f: PUSH2 0x149b
00001442: PUSH1 0x02
00001444: PUSH1 0x00
00001446: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb
0000145b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001470: AND
00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001486: AND
00001487: DUP2
00001488: MSTORE
00001489: PUSH1 0x20
0000148b: ADD
0000148c: SWAP1
0000148d: DUP2
0000148e: MSTORE
0000148f: PUSH1 0x20
00001491: ADD
00001492: PUSH1 0x00
00001494: KECCAK256
00001495: SLOAD
00001496: DUP3
00001497: PUSH2 0x131b
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH1 0x02
0000149e: PUSH1 0x00
000014a0: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb
000014b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ca: AND
000014cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e0: AND
000014e1: DUP2
000014e2: MSTORE
000014e3: PUSH1 0x20
000014e5: ADD
000014e6: SWAP1
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x20
000014eb: ADD
000014ec: PUSH1 0x00
000014ee: KECCAK256
000014ef: DUP2
000014f0: SWAP1
000014f1: SSTORE
000014f2: POP
000014f3: DUP3
000014f4: PUSH1 0x04
000014f6: PUSH1 0x00
000014f8: DUP3
000014f9: DUP3
000014fa: SLOAD
000014fb: ADD
000014fc: SWAP3
000014fd: POP
000014fe: POP
000014ff: DUP2
00001500: SWAP1
00001501: SSTORE
00001502: POP
00001503: PUSH2 0x1514
00001506: DUP3
00001507: PUSH8 0x0de0b6b3a7640000
00001510: PUSH2 0x120e
00001513: JUMP
00001514: JUMPDEST
00001515: PUSH1 0x03
00001517: PUSH1 0x00
00001519: DUP7
0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152f: AND
00001530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001545: AND
00001546: DUP2
00001547: MSTORE
00001548: PUSH1 0x20
0000154a: ADD
0000154b: SWAP1
0000154c: DUP2
0000154d: MSTORE
0000154e: PUSH1 0x20
00001550: ADD
00001551: PUSH1 0x00
00001553: KECCAK256
00001554: PUSH1 0x00
00001556: DUP3
00001557: DUP3
00001558: SLOAD
00001559: ADD
0000155a: SWAP3
0000155b: POP
0000155c: POP
0000155d: DUP2
0000155e: SWAP1
0000155f: SSTORE
00001560: POP
00001561: DUP4
00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001577: AND
00001578: PUSH32 0x7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae5
00001599: DUP7
0000159a: DUP5
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: DUP1
0000159f: DUP4
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x20
000015a4: ADD
000015a5: DUP3
000015a6: DUP2
000015a7: MSTORE
000015a8: PUSH1 0x20
000015aa: ADD
000015ab: SWAP3
000015ac: POP
000015ad: POP
000015ae: POP
000015af: PUSH1 0x40
000015b1: MLOAD
000015b2: DUP1
000015b3: SWAP2
000015b4: SUB
000015b5: SWAP1
000015b6: LOG2
000015b7: POP
000015b8: POP
000015b9: POP
000015ba: POP
000015bb: POP
000015bc: JUMP
000015bd: JUMPDEST
000015be: DUP3
000015bf: DUP1
000015c0: SLOAD
000015c1: PUSH1 0x01
000015c3: DUP2
000015c4: PUSH1 0x01
000015c6: AND
000015c7: ISZERO
000015c8: PUSH2 0x0100
000015cb: MUL
000015cc: SUB
000015cd: AND
000015ce: PUSH1 0x02
000015d0: SWAP1
000015d1: DIV
000015d2: SWAP1
000015d3: PUSH1 0x00
000015d5: MSTORE
000015d6: PUSH1 0x20
000015d8: PUSH1 0x00
000015da: KECCAK256
000015db: SWAP1
000015dc: PUSH1 0x1f
000015de: ADD
000015df: PUSH1 0x20
000015e1: SWAP1
000015e2: DIV
000015e3: DUP2
000015e4: ADD
000015e5: SWAP3
000015e6: DUP3
000015e7: PUSH1 0x1f
000015e9: LT
000015ea: PUSH2 0x15fe
000015ed: JUMPI
000015ee: DUP1
000015ef: MLOAD
000015f0: PUSH1 0xff
000015f2: NOT
000015f3: AND
000015f4: DUP4
000015f5: DUP1
000015f6: ADD
000015f7: OR
000015f8: DUP6
000015f9: SSTORE
000015fa: PUSH2 0x162c
000015fd: JUMP
000015fe: JUMPDEST
000015ff: DUP3
00001600: DUP1
00001601: ADD
00001602: PUSH1 0x01
00001604: ADD
00001605: DUP6
00001606: SSTORE
00001607: DUP3
00001608: ISZERO
00001609: PUSH2 0x162c
0000160c: JUMPI
0000160d: SWAP2
0000160e: DUP3
0000160f: ADD
00001610: JUMPDEST
00001611: DUP3
00001612: DUP2
00001613: GT
00001614: ISZERO
00001615: PUSH2 0x162b
00001618: JUMPI
00001619: DUP3
0000161a: MLOAD
0000161b: DUP3
0000161c: SSTORE
0000161d: SWAP2
0000161e: PUSH1 0x20
00001620: ADD
00001621: SWAP2
00001622: SWAP1
00001623: PUSH1 0x01
00001625: ADD
00001626: SWAP1
00001627: PUSH2 0x1610
0000162a: JUMP
0000162b: JUMPDEST
0000162c: JUMPDEST
0000162d: POP
0000162e: SWAP1
0000162f: POP
00001630: PUSH2 0x1639
00001633: SWAP2
00001634: SWAP1
00001635: PUSH2 0x163d
00001638: JUMP
00001639: JUMPDEST
0000163a: POP
0000163b: SWAP1
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH2 0x165f
00001641: SWAP2
00001642: SWAP1
00001643: JUMPDEST
00001644: DUP1
00001645: DUP3
00001646: GT
00001647: ISZERO
00001648: PUSH2 0x165b
0000164b: JUMPI
0000164c: PUSH1 0x00
0000164e: DUP2
0000164f: PUSH1 0x00
00001651: SWAP1
00001652: SSTORE
00001653: POP
00001654: PUSH1 0x01
00001656: ADD
00001657: PUSH2 0x1643
0000165a: JUMP
0000165b: JUMPDEST
0000165c: POP
0000165d: SWAP1
0000165e: JUMP
0000165f: JUMPDEST
00001660: SWAP1
00001661: JUMP
00001662: STOP
00001663: LOG1
00001664: PUSH6 0x627a7a723058
0000166b: KECCAK256
0000166c: DIFFICULTY
0000166d: UNKNOWN(0xD8)
0000166e: UNKNOWN(0xFC)
0000166f: PUSH7 0x881d9f0b331027
00001677: BLOCKHASH
00001678: REVERT
00001679: LOG0
0000167a: SWAP9
0000167b: UNKNOWN(0xE0)
0000167c: UNKNOWN(0xFB)
0000167d: UNKNOWN(0xB7)
0000167e: PUSH6 0x814aa151e5f1
00001685: MULMOD
00001686: PUSH6 0xfe2a044d8800
0000168d: UNKNOWN(0x29)
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22
call_targets: 0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x392efb52",
            "selector": "0x392efb52",
            "calldata_variants": [
                "0x392efb52",
                "0x392efb520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b750334",
            "selector": "0x4b750334",
            "calldata_variants": [
                "0x4b750334",
                "0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4180,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4271,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22
call_targets: 0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x392efb52",
            "selector": "0x392efb52",
            "calldata_variants": [
                "0x392efb52",
                "0x392efb520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b750334",
            "selector": "0x4b750334",
            "calldata_variants": [
                "0x4b750334",
                "0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4180,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4271,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}