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

Analysis Run

019b3844-81f7-70ad-9c8a-3e220cc5c175

complete
Chain ID
1
Address
0xb10ba7b334d3bd1b2110ba00bca39696b6df406d
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
10101 artifact.fetch complete 1 / 3 3 months ago
10102 tool.cast_disasm complete 1 / 3 3 months ago
105993 analysis.bundle complete 1 / 3 1 week ago
105994 capability.graph complete 1 / 3 1 week ago
105995 detector.run complete 1 / 3 1 week ago
105996 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
0
Total opcodes
2924
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00da
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x173825d9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x012c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x2f54bf6e
00000025: EQ
00000026: PUSH2 0x0185
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x4123cb6b
00000030: EQ
00000031: PUSH2 0x0195
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x52375093
0000003b: EQ
0000003c: PUSH2 0x01a3
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x5c52c2f5
00000046: EQ
00000047: PUSH2 0x01b2
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x659010e7
00000051: EQ
00000052: PUSH2 0x01e1
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x7065cb48
0000005c: EQ
0000005d: PUSH2 0x01f0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x746c9171
00000067: EQ
00000068: PUSH2 0x0222
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x797af627
00000072: EQ
00000073: PUSH2 0x0230
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb20d30a9
0000007d: EQ
0000007e: PUSH2 0x0240
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb61d27f6
00000088: EQ
00000089: PUSH2 0x0272
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb75c7dc6
00000093: EQ
00000094: PUSH2 0x02b5
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xba51a6df
0000009e: EQ
0000009f: PUSH2 0x02e9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc2cf7326
000000a9: EQ
000000aa: PUSH2 0x031b
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xc41a360a
000000b4: EQ
000000b5: PUSH2 0x035e
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xcbf0b0c0
000000bf: EQ
000000c0: PUSH2 0x0388
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xf00d4b5d
000000ca: EQ
000000cb: PUSH2 0x03ba
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xf1736d86
000000d5: EQ
000000d6: PUSH2 0x03f1
000000d9: JUMPI
000000da: JUMPDEST
000000db: PUSH2 0x0400
000000de: PUSH1 0x00
000000e0: CALLVALUE
000000e1: GT
000000e2: ISZERO
000000e3: PUSH2 0x012a
000000e6: JUMPI
000000e7: PUSH1 0x40
000000e9: DUP1
000000ea: MLOAD
000000eb: PUSH1 0x01
000000ed: PUSH1 0xa0
000000ef: PUSH1 0x02
000000f1: EXP
000000f2: SUB
000000f3: CALLER
000000f4: AND
000000f5: DUP2
000000f6: MSTORE
000000f7: CALLVALUE
000000f8: PUSH1 0x20
000000fa: DUP3
000000fb: ADD
000000fc: MSTORE
000000fd: DUP2
000000fe: MLOAD
000000ff: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000120: SWAP3
00000121: SWAP2
00000122: DUP2
00000123: SWAP1
00000124: SUB
00000125: SWAP1
00000126: SWAP2
00000127: ADD
00000128: SWAP1
00000129: LOG1
0000012a: JUMPDEST
0000012b: JUMP
0000012c: JUMPDEST
0000012d: CALLVALUE
0000012e: PUSH2 0x0002
00000131: JUMPI
00000132: PUSH2 0x0400
00000135: PUSH1 0x04
00000137: CALLDATALOAD
00000138: PUSH1 0x00
0000013a: PUSH1 0x00
0000013c: CALLDATASIZE
0000013d: PUSH1 0x40
0000013f: MLOAD
00000140: DUP1
00000141: DUP4
00000142: DUP4
00000143: DUP1
00000144: DUP3
00000145: DUP5
00000146: CALLDATACOPY
00000147: DUP3
00000148: ADD
00000149: SWAP2
0000014a: POP
0000014b: POP
0000014c: SWAP3
0000014d: POP
0000014e: POP
0000014f: POP
00000150: PUSH1 0x40
00000152: MLOAD
00000153: DUP1
00000154: SWAP2
00000155: SUB
00000156: SWAP1
00000157: KECCAK256
00000158: PUSH2 0x0480
0000015b: DUP2
0000015c: JUMPDEST
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: PUSH1 0x02
00000163: EXP
00000164: SUB
00000165: CALLER
00000166: AND
00000167: PUSH1 0x00
00000169: SWAP1
0000016a: DUP2
0000016b: MSTORE
0000016c: PUSH2 0x0102
0000016f: PUSH1 0x20
00000171: MSTORE
00000172: PUSH1 0x40
00000174: DUP2
00000175: KECCAK256
00000176: SLOAD
00000177: DUP2
00000178: DUP1
00000179: DUP3
0000017a: DUP2
0000017b: EQ
0000017c: ISZERO
0000017d: PUSH2 0x0d41
00000180: JUMPI
00000181: PUSH2 0x0eab
00000184: JUMP
00000185: JUMPDEST
00000186: CALLVALUE
00000187: PUSH2 0x0002
0000018a: JUMPI
0000018b: PUSH2 0x0402
0000018e: PUSH1 0x04
00000190: CALLDATALOAD
00000191: PUSH2 0x0294
00000194: JUMP
00000195: JUMPDEST
00000196: CALLVALUE
00000197: PUSH2 0x0002
0000019a: JUMPI
0000019b: PUSH2 0x0416
0000019e: PUSH1 0x01
000001a0: SLOAD
000001a1: DUP2
000001a2: JUMP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: PUSH2 0x0002
000001a8: JUMPI
000001a9: PUSH2 0x0416
000001ac: PUSH2 0x0107
000001af: SLOAD
000001b0: DUP2
000001b1: JUMP
000001b2: JUMPDEST
000001b3: CALLVALUE
000001b4: PUSH2 0x0002
000001b7: JUMPI
000001b8: PUSH2 0x0400
000001bb: PUSH1 0x00
000001bd: CALLDATASIZE
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: DUP1
000001c2: DUP4
000001c3: DUP4
000001c4: DUP1
000001c5: DUP3
000001c6: DUP5
000001c7: CALLDATACOPY
000001c8: DUP3
000001c9: ADD
000001ca: SWAP2
000001cb: POP
000001cc: POP
000001cd: SWAP3
000001ce: POP
000001cf: POP
000001d0: POP
000001d1: PUSH1 0x40
000001d3: MLOAD
000001d4: DUP1
000001d5: SWAP2
000001d6: SUB
000001d7: SWAP1
000001d8: KECCAK256
000001d9: PUSH2 0x05ff
000001dc: DUP2
000001dd: PUSH2 0x015c
000001e0: JUMP
000001e1: JUMPDEST
000001e2: CALLVALUE
000001e3: PUSH2 0x0002
000001e6: JUMPI
000001e7: PUSH2 0x0416
000001ea: PUSH2 0x0106
000001ed: SLOAD
000001ee: DUP2
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: PUSH2 0x0002
000001f5: JUMPI
000001f6: PUSH2 0x0400
000001f9: PUSH1 0x04
000001fb: CALLDATALOAD
000001fc: PUSH1 0x00
000001fe: CALLDATASIZE
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: DUP1
00000203: DUP4
00000204: DUP4
00000205: DUP1
00000206: DUP3
00000207: DUP5
00000208: CALLDATACOPY
00000209: DUP3
0000020a: ADD
0000020b: SWAP2
0000020c: POP
0000020d: POP
0000020e: SWAP3
0000020f: POP
00000210: POP
00000211: POP
00000212: PUSH1 0x40
00000214: MLOAD
00000215: DUP1
00000216: SWAP2
00000217: SUB
00000218: SWAP1
00000219: KECCAK256
0000021a: PUSH2 0x060e
0000021d: DUP2
0000021e: PUSH2 0x015c
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: PUSH2 0x0002
00000227: JUMPI
00000228: PUSH2 0x0416
0000022b: PUSH1 0x00
0000022d: SLOAD
0000022e: DUP2
0000022f: JUMP
00000230: JUMPDEST
00000231: CALLVALUE
00000232: PUSH2 0x0002
00000235: JUMPI
00000236: PUSH2 0x0402
00000239: PUSH1 0x04
0000023b: CALLDATALOAD
0000023c: PUSH2 0x0457
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: PUSH2 0x0002
00000245: JUMPI
00000246: PUSH2 0x0400
00000249: PUSH1 0x04
0000024b: CALLDATALOAD
0000024c: PUSH1 0x00
0000024e: CALLDATASIZE
0000024f: PUSH1 0x40
00000251: MLOAD
00000252: DUP1
00000253: DUP4
00000254: DUP4
00000255: DUP1
00000256: DUP3
00000257: DUP5
00000258: CALLDATACOPY
00000259: DUP3
0000025a: ADD
0000025b: SWAP2
0000025c: POP
0000025d: POP
0000025e: SWAP3
0000025f: POP
00000260: POP
00000261: POP
00000262: PUSH1 0x40
00000264: MLOAD
00000265: DUP1
00000266: SWAP2
00000267: SUB
00000268: SWAP1
00000269: KECCAK256
0000026a: PUSH2 0x0923
0000026d: DUP2
0000026e: PUSH2 0x015c
00000271: JUMP
00000272: JUMPDEST
00000273: CALLVALUE
00000274: PUSH2 0x0002
00000277: JUMPI
00000278: PUSH2 0x0416
0000027b: PUSH1 0x04
0000027d: DUP1
0000027e: CALLDATALOAD
0000027f: SWAP1
00000280: PUSH1 0x24
00000282: DUP1
00000283: CALLDATALOAD
00000284: SWAP2
00000285: PUSH1 0x44
00000287: CALLDATALOAD
00000288: SWAP2
00000289: DUP3
0000028a: ADD
0000028b: SWAP2
0000028c: ADD
0000028d: CALLDATALOAD
0000028e: PUSH1 0x00
00000290: PUSH2 0x092f
00000293: CALLER
00000294: JUMPDEST
00000295: PUSH1 0x01
00000297: PUSH1 0xa0
00000299: PUSH1 0x02
0000029b: EXP
0000029c: SUB
0000029d: DUP2
0000029e: AND
0000029f: PUSH1 0x00
000002a1: SWAP1
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH2 0x0102
000002a7: PUSH1 0x20
000002a9: MSTORE
000002aa: PUSH1 0x40
000002ac: DUP2
000002ad: KECCAK256
000002ae: SLOAD
000002af: GT
000002b0: JUMPDEST
000002b1: SWAP2
000002b2: SWAP1
000002b3: POP
000002b4: JUMP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: PUSH2 0x0002
000002ba: JUMPI
000002bb: PUSH2 0x0400
000002be: PUSH1 0x04
000002c0: CALLDATALOAD
000002c1: PUSH1 0x01
000002c3: PUSH1 0xa0
000002c5: PUSH1 0x02
000002c7: EXP
000002c8: SUB
000002c9: CALLER
000002ca: AND
000002cb: PUSH1 0x00
000002cd: SWAP1
000002ce: DUP2
000002cf: MSTORE
000002d0: PUSH2 0x0102
000002d3: PUSH1 0x20
000002d5: MSTORE
000002d6: PUSH1 0x40
000002d8: DUP2
000002d9: KECCAK256
000002da: SLOAD
000002db: SWAP1
000002dc: DUP1
000002dd: DUP3
000002de: DUP2
000002df: EQ
000002e0: ISZERO
000002e1: PUSH2 0x0b69
000002e4: JUMPI
000002e5: PUSH2 0x0be8
000002e8: JUMP
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: PUSH2 0x0002
000002ee: JUMPI
000002ef: PUSH2 0x0400
000002f2: PUSH1 0x04
000002f4: CALLDATALOAD
000002f5: PUSH1 0x00
000002f7: CALLDATASIZE
000002f8: PUSH1 0x40
000002fa: MLOAD
000002fb: DUP1
000002fc: DUP4
000002fd: DUP4
000002fe: DUP1
000002ff: DUP3
00000300: DUP5
00000301: CALLDATACOPY
00000302: DUP3
00000303: ADD
00000304: SWAP2
00000305: POP
00000306: POP
00000307: SWAP3
00000308: POP
00000309: POP
0000030a: POP
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: DUP1
0000030f: SWAP2
00000310: SUB
00000311: SWAP1
00000312: KECCAK256
00000313: PUSH2 0x0bee
00000316: DUP2
00000317: PUSH2 0x015c
0000031a: JUMP
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: PUSH2 0x0002
00000320: JUMPI
00000321: PUSH2 0x0402
00000324: PUSH1 0x04
00000326: CALLDATALOAD
00000327: PUSH1 0x24
00000329: CALLDATALOAD
0000032a: PUSH1 0x00
0000032c: DUP3
0000032d: DUP2
0000032e: MSTORE
0000032f: PUSH2 0x0103
00000332: PUSH1 0x20
00000334: SWAP1
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x40
00000339: DUP1
0000033a: DUP4
0000033b: KECCAK256
0000033c: PUSH1 0x01
0000033e: PUSH1 0xa0
00000340: PUSH1 0x02
00000342: EXP
00000343: SUB
00000344: DUP6
00000345: AND
00000346: DUP5
00000347: MSTORE
00000348: PUSH2 0x0102
0000034b: SWAP1
0000034c: SWAP3
0000034d: MSTORE
0000034e: DUP3
0000034f: KECCAK256
00000350: SLOAD
00000351: DUP3
00000352: DUP2
00000353: DUP2
00000354: EQ
00000355: ISZERO
00000356: PUSH2 0x0c46
00000359: JUMPI
0000035a: PUSH2 0x0c5b
0000035d: JUMP
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: PUSH2 0x0002
00000363: JUMPI
00000364: PUSH2 0x0463
00000367: PUSH1 0x04
00000369: CALLDATALOAD
0000036a: PUSH1 0x00
0000036c: PUSH1 0x02
0000036e: PUSH1 0x01
00000370: DUP4
00000371: ADD
00000372: PUSH2 0x0100
00000375: DUP2
00000376: LT
00000377: ISZERO
00000378: PUSH2 0x0002
0000037b: JUMPI
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: PUSH1 0x03
00000381: DUP2
00000382: ADD
00000383: SLOAD
00000384: PUSH2 0x02b0
00000387: JUMP
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: PUSH2 0x0002
0000038d: JUMPI
0000038e: PUSH2 0x0400
00000391: PUSH1 0x04
00000393: CALLDATALOAD
00000394: PUSH1 0x00
00000396: CALLDATASIZE
00000397: PUSH1 0x40
00000399: MLOAD
0000039a: DUP1
0000039b: DUP4
0000039c: DUP4
0000039d: DUP1
0000039e: DUP3
0000039f: DUP5
000003a0: CALLDATACOPY
000003a1: DUP3
000003a2: ADD
000003a3: SWAP2
000003a4: POP
000003a5: POP
000003a6: SWAP3
000003a7: POP
000003a8: POP
000003a9: POP
000003aa: PUSH1 0x40
000003ac: MLOAD
000003ad: DUP1
000003ae: SWAP2
000003af: SUB
000003b0: SWAP1
000003b1: KECCAK256
000003b2: PUSH2 0x0c64
000003b5: DUP2
000003b6: PUSH2 0x015c
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: PUSH2 0x0002
000003bf: JUMPI
000003c0: PUSH2 0x0400
000003c3: PUSH1 0x04
000003c5: CALLDATALOAD
000003c6: PUSH1 0x24
000003c8: CALLDATALOAD
000003c9: PUSH1 0x00
000003cb: PUSH1 0x00
000003cd: CALLDATASIZE
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: DUP1
000003d2: DUP4
000003d3: DUP4
000003d4: DUP1
000003d5: DUP3
000003d6: DUP5
000003d7: CALLDATACOPY
000003d8: DUP3
000003d9: ADD
000003da: SWAP2
000003db: POP
000003dc: POP
000003dd: SWAP3
000003de: POP
000003df: POP
000003e0: POP
000003e1: PUSH1 0x40
000003e3: MLOAD
000003e4: DUP1
000003e5: SWAP2
000003e6: SUB
000003e7: SWAP1
000003e8: KECCAK256
000003e9: PUSH2 0x0c75
000003ec: DUP2
000003ed: PUSH2 0x015c
000003f0: JUMP
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: PUSH2 0x0002
000003f6: JUMPI
000003f7: PUSH2 0x0416
000003fa: PUSH2 0x0105
000003fd: SLOAD
000003fe: DUP2
000003ff: JUMP
00000400: JUMPDEST
00000401: STOP
00000402: JUMPDEST
00000403: PUSH1 0x40
00000405: DUP1
00000406: MLOAD
00000407: SWAP2
00000408: ISZERO
00000409: ISZERO
0000040a: DUP3
0000040b: MSTORE
0000040c: MLOAD
0000040d: SWAP1
0000040e: DUP2
0000040f: SWAP1
00000410: SUB
00000411: PUSH1 0x20
00000413: ADD
00000414: SWAP1
00000415: RETURN
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: DUP1
0000041a: MLOAD
0000041b: SWAP2
0000041c: DUP3
0000041d: MSTORE
0000041e: MLOAD
0000041f: SWAP1
00000420: DUP2
00000421: SWAP1
00000422: SUB
00000423: PUSH1 0x20
00000425: ADD
00000426: SWAP1
00000427: RETURN
00000428: JUMPDEST
00000429: PUSH1 0x00
0000042b: CALLDATASIZE
0000042c: NUMBER
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: DUP5
00000432: DUP5
00000433: DUP1
00000434: DUP3
00000435: DUP5
00000436: CALLDATACOPY
00000437: DUP3
00000438: ADD
00000439: SWAP2
0000043a: POP
0000043b: POP
0000043c: DUP3
0000043d: DUP2
0000043e: MSTORE
0000043f: PUSH1 0x20
00000441: ADD
00000442: SWAP4
00000443: POP
00000444: POP
00000445: POP
00000446: POP
00000447: PUSH1 0x40
00000449: MLOAD
0000044a: DUP1
0000044b: SWAP2
0000044c: SUB
0000044d: SWAP1
0000044e: KECCAK256
0000044f: SWAP1
00000450: POP
00000451: DUP1
00000452: POP
00000453: PUSH2 0x0a02
00000456: DUP2
00000457: JUMPDEST
00000458: PUSH1 0x00
0000045a: DUP2
0000045b: PUSH2 0x06d4
0000045e: DUP2
0000045f: PUSH2 0x015c
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: DUP1
00000467: MLOAD
00000468: PUSH1 0x01
0000046a: PUSH1 0xa0
0000046c: PUSH1 0x02
0000046e: EXP
0000046f: SUB
00000470: SWAP3
00000471: SWAP1
00000472: SWAP3
00000473: AND
00000474: DUP3
00000475: MSTORE
00000476: MLOAD
00000477: SWAP1
00000478: DUP2
00000479: SWAP1
0000047a: SUB
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: SWAP1
0000047f: RETURN
00000480: JUMPDEST
00000481: ISZERO
00000482: PUSH2 0x04ea
00000485: JUMPI
00000486: PUSH1 0x01
00000488: PUSH1 0xa0
0000048a: PUSH1 0x02
0000048c: EXP
0000048d: SUB
0000048e: DUP4
0000048f: AND
00000490: PUSH1 0x00
00000492: SWAP1
00000493: DUP2
00000494: MSTORE
00000495: PUSH2 0x0102
00000498: PUSH1 0x20
0000049a: MSTORE
0000049b: PUSH1 0x40
0000049d: DUP2
0000049e: KECCAK256
0000049f: SLOAD
000004a0: SWAP3
000004a1: POP
000004a2: DUP3
000004a3: EQ
000004a4: ISZERO
000004a5: PUSH2 0x04ef
000004a8: JUMPI
000004a9: PUSH2 0x04ea
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH1 0x40
000004b0: DUP1
000004b1: MLOAD
000004b2: PUSH1 0x01
000004b4: PUSH1 0xa0
000004b6: PUSH1 0x02
000004b8: EXP
000004b9: SUB
000004ba: DUP6
000004bb: AND
000004bc: DUP2
000004bd: MSTORE
000004be: SWAP1
000004bf: MLOAD
000004c0: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da
000004e1: SWAP2
000004e2: DUP2
000004e3: SWAP1
000004e4: SUB
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: LOG1
000004ea: JUMPDEST
000004eb: POP
000004ec: POP
000004ed: POP
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH1 0x01
000004f2: PUSH1 0x01
000004f4: PUSH1 0x00
000004f6: POP
000004f7: SLOAD
000004f8: SUB
000004f9: PUSH1 0x00
000004fb: PUSH1 0x00
000004fd: POP
000004fe: SLOAD
000004ff: GT
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH2 0x04ea
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x00
0000050c: PUSH1 0x02
0000050e: DUP4
0000050f: PUSH2 0x0100
00000512: DUP2
00000513: LT
00000514: ISZERO
00000515: PUSH2 0x0002
00000518: JUMPI
00000519: POP
0000051a: DUP4
0000051b: ADD
0000051c: DUP2
0000051d: SWAP1
0000051e: SSTORE
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: PUSH1 0x02
00000525: EXP
00000526: SUB
00000527: DUP5
00000528: AND
00000529: DUP2
0000052a: MSTORE
0000052b: PUSH2 0x0102
0000052e: PUSH1 0x20
00000530: MSTORE
00000531: PUSH1 0x40
00000533: DUP2
00000534: KECCAK256
00000535: SSTORE
00000536: PUSH2 0x05c0
00000539: JUMPDEST
0000053a: PUSH2 0x0104
0000053d: SLOAD
0000053e: PUSH1 0x00
00000540: JUMPDEST
00000541: DUP2
00000542: DUP2
00000543: LT
00000544: ISZERO
00000545: PUSH2 0x0eb3
00000548: JUMPI
00000549: PUSH2 0x0104
0000054c: DUP1
0000054d: SLOAD
0000054e: PUSH2 0x0108
00000551: SWAP2
00000552: PUSH1 0x00
00000554: SWAP2
00000555: DUP5
00000556: SWAP1
00000557: DUP2
00000558: LT
00000559: ISZERO
0000055a: PUSH2 0x0002
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: SWAP2
00000561: DUP3
00000562: MSTORE
00000563: PUSH1 0x20
00000565: DUP1
00000566: DUP4
00000567: KECCAK256
00000568: SWAP1
00000569: SWAP2
0000056a: ADD
0000056b: SLOAD
0000056c: DUP4
0000056d: MSTORE
0000056e: DUP3
0000056f: ADD
00000570: SWAP3
00000571: SWAP1
00000572: SWAP3
00000573: MSTORE
00000574: PUSH1 0x40
00000576: ADD
00000577: DUP2
00000578: KECCAK256
00000579: DUP1
0000057a: SLOAD
0000057b: PUSH1 0x01
0000057d: PUSH1 0xa0
0000057f: PUSH1 0x02
00000581: EXP
00000582: SUB
00000583: NOT
00000584: AND
00000585: DUP2
00000586: SSTORE
00000587: PUSH1 0x01
00000589: DUP2
0000058a: DUP2
0000058b: ADD
0000058c: DUP4
0000058d: SWAP1
0000058e: SSTORE
0000058f: PUSH1 0x02
00000591: DUP3
00000592: DUP2
00000593: ADD
00000594: DUP1
00000595: SLOAD
00000596: DUP6
00000597: DUP3
00000598: SSTORE
00000599: SWAP4
0000059a: SWAP5
0000059b: SWAP4
0000059c: SWAP1
0000059d: SWAP3
0000059e: DUP2
0000059f: AND
000005a0: ISZERO
000005a1: PUSH2 0x0100
000005a4: MUL
000005a5: PUSH1 0x00
000005a7: NOT
000005a8: ADD
000005a9: AND
000005aa: DIV
000005ab: PUSH1 0x1f
000005ad: DUP2
000005ae: SWAP1
000005af: LT
000005b0: PUSH2 0x0f2b
000005b3: JUMPI
000005b4: POP
000005b5: JUMPDEST
000005b6: POP
000005b7: POP
000005b8: POP
000005b9: PUSH1 0x01
000005bb: ADD
000005bc: PUSH2 0x0540
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH2 0x04ad
000005c4: JUMPDEST
000005c5: PUSH1 0x01
000005c7: JUMPDEST
000005c8: PUSH1 0x01
000005ca: SLOAD
000005cb: DUP2
000005cc: LT
000005cd: ISZERO
000005ce: PUSH2 0x060b
000005d1: JUMPI
000005d2: JUMPDEST
000005d3: PUSH1 0x01
000005d5: SLOAD
000005d6: DUP2
000005d7: LT
000005d8: DUP1
000005d9: ISZERO
000005da: PUSH2 0x05f2
000005dd: JUMPI
000005de: POP
000005df: PUSH1 0x02
000005e1: DUP2
000005e2: PUSH2 0x0100
000005e5: DUP2
000005e6: LT
000005e7: ISZERO
000005e8: PUSH2 0x0002
000005eb: JUMPI
000005ec: ADD
000005ed: SLOAD
000005ee: PUSH1 0x00
000005f0: EQ
000005f1: ISZERO
000005f2: JUMPDEST
000005f3: ISZERO
000005f4: PUSH2 0x0f49
000005f7: JUMPI
000005f8: PUSH1 0x01
000005fa: ADD
000005fb: PUSH2 0x05d2
000005fe: JUMP
000005ff: JUMPDEST
00000600: ISZERO
00000601: PUSH2 0x060b
00000604: JUMPI
00000605: PUSH1 0x00
00000607: PUSH2 0x0106
0000060a: SSTORE
0000060b: JUMPDEST
0000060c: POP
0000060d: JUMP
0000060e: JUMPDEST
0000060f: ISZERO
00000610: PUSH2 0x069b
00000613: JUMPI
00000614: PUSH2 0x069f
00000617: DUP3
00000618: PUSH2 0x0294
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH1 0x01
0000061f: DUP1
00000620: SLOAD
00000621: DUP2
00000622: ADD
00000623: SWAP1
00000624: DUP2
00000625: SWAP1
00000626: SSTORE
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: PUSH1 0x02
0000062d: EXP
0000062e: SUB
0000062f: DUP4
00000630: AND
00000631: SWAP1
00000632: PUSH1 0x02
00000634: SWAP1
00000635: PUSH2 0x0100
00000638: DUP2
00000639: LT
0000063a: ISZERO
0000063b: PUSH2 0x0002
0000063e: JUMPI
0000063f: SWAP1
00000640: SWAP1
00000641: ADD
00000642: PUSH1 0x00
00000644: POP
00000645: SSTORE
00000646: PUSH1 0x01
00000648: SLOAD
00000649: PUSH1 0x01
0000064b: PUSH1 0xa0
0000064d: PUSH1 0x02
0000064f: EXP
00000650: SUB
00000651: DUP4
00000652: AND
00000653: PUSH1 0x00
00000655: DUP2
00000656: DUP2
00000657: MSTORE
00000658: PUSH2 0x0102
0000065b: PUSH1 0x20
0000065d: SWAP1
0000065e: DUP2
0000065f: MSTORE
00000660: PUSH1 0x40
00000662: SWAP2
00000663: DUP3
00000664: SWAP1
00000665: KECCAK256
00000666: SWAP4
00000667: SWAP1
00000668: SWAP4
00000669: SSTORE
0000066a: DUP1
0000066b: MLOAD
0000066c: SWAP2
0000066d: DUP3
0000066e: MSTORE
0000066f: MLOAD
00000670: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3
00000691: SWAP3
00000692: SWAP2
00000693: DUP2
00000694: SWAP1
00000695: SUB
00000696: SWAP1
00000697: SWAP2
00000698: ADD
00000699: SWAP1
0000069a: LOG1
0000069b: JUMPDEST
0000069c: POP
0000069d: POP
0000069e: JUMP
0000069f: JUMPDEST
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH2 0x069b
000006a8: JUMP
000006a9: JUMPDEST
000006aa: PUSH2 0x06b1
000006ad: PUSH2 0x0539
000006b0: JUMP
000006b1: JUMPDEST
000006b2: PUSH1 0x01
000006b4: SLOAD
000006b5: PUSH1 0xfa
000006b7: SWAP1
000006b8: LT
000006b9: PUSH2 0x06c4
000006bc: JUMPI
000006bd: PUSH2 0x06c4
000006c0: PUSH2 0x05c4
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x01
000006c7: SLOAD
000006c8: PUSH1 0xfa
000006ca: SWAP1
000006cb: LT
000006cc: PUSH2 0x061c
000006cf: JUMPI
000006d0: PUSH2 0x069b
000006d3: JUMP
000006d4: JUMPDEST
000006d5: ISZERO
000006d6: PUSH2 0x07e6
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP4
000006dd: DUP2
000006de: MSTORE
000006df: PUSH2 0x0108
000006e2: PUSH1 0x20
000006e4: MSTORE
000006e5: PUSH1 0x40
000006e7: DUP2
000006e8: KECCAK256
000006e9: SLOAD
000006ea: PUSH1 0x01
000006ec: PUSH1 0xa0
000006ee: PUSH1 0x02
000006f0: EXP
000006f1: SUB
000006f2: AND
000006f3: EQ
000006f4: PUSH2 0x07e6
000006f7: JUMPI
000006f8: PUSH1 0x40
000006fa: PUSH1 0x00
000006fc: DUP2
000006fd: SWAP1
000006fe: KECCAK256
000006ff: DUP1
00000700: SLOAD
00000701: PUSH1 0x01
00000703: DUP3
00000704: DUP2
00000705: ADD
00000706: SLOAD
00000707: SWAP4
00000708: MLOAD
00000709: PUSH1 0x02
0000070b: SWAP4
0000070c: DUP5
0000070d: ADD
0000070e: DUP1
0000070f: SLOAD
00000710: PUSH1 0x01
00000712: PUSH1 0xa0
00000714: PUSH1 0x02
00000716: EXP
00000717: SUB
00000718: SWAP5
00000719: SWAP1
0000071a: SWAP5
0000071b: AND
0000071c: SWAP6
0000071d: SWAP5
0000071e: SWAP1
0000071f: SWAP4
00000720: SWAP2
00000721: SWAP3
00000722: DUP4
00000723: SWAP3
00000724: DUP6
00000725: SWAP3
00000726: SWAP2
00000727: DUP2
00000728: AND
00000729: ISZERO
0000072a: PUSH2 0x0100
0000072d: MUL
0000072e: PUSH1 0x00
00000730: NOT
00000731: ADD
00000732: AND
00000733: DIV
00000734: DUP1
00000735: ISZERO
00000736: PUSH2 0x0817
00000739: JUMPI
0000073a: DUP1
0000073b: PUSH1 0x1f
0000073d: LT
0000073e: PUSH2 0x07ec
00000741: JUMPI
00000742: PUSH2 0x0100
00000745: DUP1
00000746: DUP4
00000747: SLOAD
00000748: DIV
00000749: MUL
0000074a: DUP4
0000074b: MSTORE
0000074c: SWAP2
0000074d: PUSH1 0x20
0000074f: ADD
00000750: SWAP2
00000751: PUSH2 0x0817
00000754: JUMP
00000755: JUMPDEST
00000756: DUP3
00000757: ADD
00000758: SWAP2
00000759: SWAP1
0000075a: PUSH1 0x00
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: PUSH1 0x00
00000761: KECCAK256
00000762: SWAP1
00000763: JUMPDEST
00000764: DUP2
00000765: SLOAD
00000766: DUP2
00000767: MSTORE
00000768: SWAP1
00000769: PUSH1 0x01
0000076b: ADD
0000076c: SWAP1
0000076d: PUSH1 0x20
0000076f: ADD
00000770: DUP1
00000771: DUP4
00000772: GT
00000773: PUSH2 0x0763
00000776: JUMPI
00000777: DUP3
00000778: SWAP1
00000779: SUB
0000077a: PUSH1 0x1f
0000077c: AND
0000077d: DUP3
0000077e: ADD
0000077f: SWAP2
00000780: JUMPDEST
00000781: POP
00000782: POP
00000783: SWAP7
00000784: POP
00000785: POP
00000786: POP
00000787: POP
00000788: POP
00000789: POP
0000078a: POP
0000078b: PUSH1 0x40
0000078d: MLOAD
0000078e: DUP1
0000078f: SWAP2
00000790: SUB
00000791: SWAP1
00000792: LOG1
00000793: PUSH1 0x00
00000795: DUP4
00000796: DUP2
00000797: MSTORE
00000798: PUSH2 0x0108
0000079b: PUSH1 0x20
0000079d: MSTORE
0000079e: PUSH1 0x40
000007a0: DUP2
000007a1: KECCAK256
000007a2: DUP1
000007a3: SLOAD
000007a4: PUSH1 0x01
000007a6: PUSH1 0xa0
000007a8: PUSH1 0x02
000007aa: EXP
000007ab: SUB
000007ac: NOT
000007ad: AND
000007ae: DUP2
000007af: SSTORE
000007b0: PUSH1 0x01
000007b2: DUP2
000007b3: DUP2
000007b4: ADD
000007b5: DUP4
000007b6: SWAP1
000007b7: SSTORE
000007b8: PUSH1 0x02
000007ba: DUP3
000007bb: DUP2
000007bc: ADD
000007bd: DUP1
000007be: SLOAD
000007bf: DUP6
000007c0: DUP3
000007c1: SSTORE
000007c2: SWAP4
000007c3: SWAP5
000007c4: SWAP4
000007c5: SWAP1
000007c6: SWAP3
000007c7: DUP2
000007c8: AND
000007c9: ISZERO
000007ca: PUSH2 0x0100
000007cd: MUL
000007ce: PUSH1 0x00
000007d0: NOT
000007d1: ADD
000007d2: AND
000007d3: DIV
000007d4: PUSH1 0x1f
000007d6: DUP2
000007d7: SWAP1
000007d8: LT
000007d9: PUSH2 0x08f1
000007dc: JUMPI
000007dd: POP
000007de: JUMPDEST
000007df: POP
000007e0: POP
000007e1: POP
000007e2: PUSH1 0x01
000007e4: SWAP2
000007e5: POP
000007e6: JUMPDEST
000007e7: POP
000007e8: SWAP2
000007e9: SWAP1
000007ea: POP
000007eb: JUMP
000007ec: JUMPDEST
000007ed: DUP3
000007ee: ADD
000007ef: SWAP2
000007f0: SWAP1
000007f1: PUSH1 0x00
000007f3: MSTORE
000007f4: PUSH1 0x20
000007f6: PUSH1 0x00
000007f8: KECCAK256
000007f9: SWAP1
000007fa: JUMPDEST
000007fb: DUP2
000007fc: SLOAD
000007fd: DUP2
000007fe: MSTORE
000007ff: SWAP1
00000800: PUSH1 0x01
00000802: ADD
00000803: SWAP1
00000804: PUSH1 0x20
00000806: ADD
00000807: DUP1
00000808: DUP4
00000809: GT
0000080a: PUSH2 0x07fa
0000080d: JUMPI
0000080e: DUP3
0000080f: SWAP1
00000810: SUB
00000811: PUSH1 0x1f
00000813: AND
00000814: DUP3
00000815: ADD
00000816: SWAP2
00000817: JUMPDEST
00000818: POP
00000819: POP
0000081a: SWAP2
0000081b: POP
0000081c: POP
0000081d: PUSH1 0x00
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: DUP1
00000823: DUP4
00000824: SUB
00000825: DUP2
00000826: DUP6
00000827: DUP8
00000828: PUSH2 0x8502
0000082b: GAS
0000082c: SUB
0000082d: CALL
0000082e: POP
0000082f: POP
00000830: POP
00000831: PUSH1 0x00
00000833: DUP5
00000834: DUP2
00000835: MSTORE
00000836: PUSH2 0x0108
00000839: PUSH1 0x20
0000083b: SWAP1
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x40
00000840: DUP1
00000841: MLOAD
00000842: SWAP3
00000843: DUP2
00000844: SWAP1
00000845: KECCAK256
00000846: DUP1
00000847: SLOAD
00000848: PUSH1 0x01
0000084a: DUP3
0000084b: DUP2
0000084c: ADD
0000084d: SLOAD
0000084e: CALLER
0000084f: PUSH1 0x01
00000851: PUSH1 0xa0
00000853: PUSH1 0x02
00000855: EXP
00000856: SUB
00000857: DUP2
00000858: DUP2
00000859: AND
0000085a: DUP10
0000085b: MSTORE
0000085c: SWAP7
0000085d: DUP9
0000085e: ADD
0000085f: DUP13
00000860: SWAP1
00000861: MSTORE
00000862: SWAP5
00000863: DUP8
00000864: ADD
00000865: DUP2
00000866: SWAP1
00000867: MSTORE
00000868: SWAP2
00000869: SWAP1
0000086a: SWAP5
0000086b: AND
0000086c: PUSH1 0x60
0000086e: DUP7
0000086f: ADD
00000870: DUP2
00000871: SWAP1
00000872: MSTORE
00000873: PUSH1 0xa0
00000875: PUSH1 0x80
00000877: DUP8
00000878: ADD
00000879: DUP2
0000087a: DUP2
0000087b: MSTORE
0000087c: PUSH1 0x02
0000087e: SWAP5
0000087f: DUP6
00000880: ADD
00000881: DUP1
00000882: SLOAD
00000883: SWAP8
00000884: DUP9
00000885: AND
00000886: ISZERO
00000887: PUSH2 0x0100
0000088a: MUL
0000088b: PUSH1 0x00
0000088d: NOT
0000088e: ADD
0000088f: SWAP1
00000890: SWAP8
00000891: AND
00000892: SWAP5
00000893: SWAP1
00000894: SWAP5
00000895: DIV
00000896: SWAP1
00000897: DUP8
00000898: ADD
00000899: DUP2
0000089a: SWAP1
0000089b: MSTORE
0000089c: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a
000008bd: SWAP8
000008be: POP
000008bf: SWAP4
000008c0: SWAP6
000008c1: DUP11
000008c2: SWAP6
000008c3: SWAP3
000008c4: SWAP5
000008c5: SWAP2
000008c6: SWAP4
000008c7: SWAP1
000008c8: SWAP2
000008c9: PUSH1 0xc0
000008cb: DUP4
000008cc: ADD
000008cd: SWAP1
000008ce: DUP5
000008cf: SWAP1
000008d0: DUP1
000008d1: ISZERO
000008d2: PUSH2 0x0780
000008d5: JUMPI
000008d6: DUP1
000008d7: PUSH1 0x1f
000008d9: LT
000008da: PUSH2 0x0755
000008dd: JUMPI
000008de: PUSH2 0x0100
000008e1: DUP1
000008e2: DUP4
000008e3: SLOAD
000008e4: DIV
000008e5: MUL
000008e6: DUP4
000008e7: MSTORE
000008e8: SWAP2
000008e9: PUSH1 0x20
000008eb: ADD
000008ec: SWAP2
000008ed: PUSH2 0x0780
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x1f
000008f4: ADD
000008f5: PUSH1 0x20
000008f7: SWAP1
000008f8: DIV
000008f9: SWAP1
000008fa: PUSH1 0x00
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: PUSH1 0x00
00000901: KECCAK256
00000902: SWAP1
00000903: DUP2
00000904: ADD
00000905: SWAP1
00000906: PUSH2 0x07de
00000909: SWAP2
0000090a: SWAP1
0000090b: JUMPDEST
0000090c: DUP1
0000090d: DUP3
0000090e: GT
0000090f: ISZERO
00000910: PUSH2 0x091f
00000913: JUMPI
00000914: PUSH1 0x00
00000916: DUP2
00000917: SSTORE
00000918: PUSH1 0x01
0000091a: ADD
0000091b: PUSH2 0x090b
0000091e: JUMP
0000091f: JUMPDEST
00000920: POP
00000921: SWAP1
00000922: JUMP
00000923: JUMPDEST
00000924: ISZERO
00000925: PUSH2 0x069b
00000928: JUMPI
00000929: POP
0000092a: PUSH2 0x0105
0000092d: SSTORE
0000092e: JUMP
0000092f: JUMPDEST
00000930: ISZERO
00000931: PUSH2 0x0b31
00000934: JUMPI
00000935: PUSH2 0x0943
00000938: DUP5
00000939: PUSH1 0x00
0000093b: PUSH2 0x1026
0000093e: CALLER
0000093f: PUSH2 0x0294
00000942: JUMP
00000943: JUMPDEST
00000944: ISZERO
00000945: PUSH2 0x0428
00000948: JUMPI
00000949: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004
0000096a: CALLER
0000096b: DUP6
0000096c: DUP8
0000096d: DUP7
0000096e: DUP7
0000096f: PUSH1 0x40
00000971: MLOAD
00000972: DUP1
00000973: DUP7
00000974: PUSH1 0x01
00000976: PUSH1 0xa0
00000978: PUSH1 0x02
0000097a: EXP
0000097b: SUB
0000097c: AND
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: ADD
00000982: DUP6
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x20
00000987: ADD
00000988: DUP5
00000989: PUSH1 0x01
0000098b: PUSH1 0xa0
0000098d: PUSH1 0x02
0000098f: EXP
00000990: SUB
00000991: AND
00000992: DUP2
00000993: MSTORE
00000994: PUSH1 0x20
00000996: ADD
00000997: DUP1
00000998: PUSH1 0x20
0000099a: ADD
0000099b: DUP3
0000099c: DUP2
0000099d: SUB
0000099e: DUP3
0000099f: MSTORE
000009a0: DUP5
000009a1: DUP5
000009a2: DUP3
000009a3: DUP2
000009a4: DUP2
000009a5: MSTORE
000009a6: PUSH1 0x20
000009a8: ADD
000009a9: SWAP3
000009aa: POP
000009ab: DUP1
000009ac: DUP3
000009ad: DUP5
000009ae: CALLDATACOPY
000009af: DUP3
000009b0: ADD
000009b1: SWAP2
000009b2: POP
000009b3: POP
000009b4: SWAP7
000009b5: POP
000009b6: POP
000009b7: POP
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: DUP1
000009c0: SWAP2
000009c1: SUB
000009c2: SWAP1
000009c3: LOG1
000009c4: DUP5
000009c5: PUSH1 0x01
000009c7: PUSH1 0xa0
000009c9: PUSH1 0x02
000009cb: EXP
000009cc: SUB
000009cd: AND
000009ce: DUP5
000009cf: DUP5
000009d0: DUP5
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: DUP1
000009d5: DUP4
000009d6: DUP4
000009d7: DUP1
000009d8: DUP3
000009d9: DUP5
000009da: CALLDATACOPY
000009db: DUP3
000009dc: ADD
000009dd: SWAP2
000009de: POP
000009df: POP
000009e0: SWAP3
000009e1: POP
000009e2: POP
000009e3: POP
000009e4: PUSH1 0x00
000009e6: PUSH1 0x40
000009e8: MLOAD
000009e9: DUP1
000009ea: DUP4
000009eb: SUB
000009ec: DUP2
000009ed: DUP6
000009ee: DUP8
000009ef: PUSH2 0x8502
000009f2: GAS
000009f3: SUB
000009f4: CALL
000009f5: POP
000009f6: PUSH1 0x00
000009f8: SWAP4
000009f9: POP
000009fa: PUSH2 0x0b31
000009fd: SWAP3
000009fe: POP
000009ff: POP
00000a00: POP
00000a01: JUMP
00000a02: JUMPDEST
00000a03: ISZERO
00000a04: DUP1
00000a05: ISZERO
00000a06: PUSH2 0x0a25
00000a09: JUMPI
00000a0a: POP
00000a0b: PUSH1 0x00
00000a0d: DUP2
00000a0e: DUP2
00000a0f: MSTORE
00000a10: PUSH2 0x0108
00000a13: PUSH1 0x20
00000a15: MSTORE
00000a16: PUSH1 0x40
00000a18: DUP2
00000a19: KECCAK256
00000a1a: SLOAD
00000a1b: PUSH1 0x01
00000a1d: PUSH1 0xa0
00000a1f: PUSH1 0x02
00000a21: EXP
00000a22: SUB
00000a23: AND
00000a24: EQ
00000a25: JUMPDEST
00000a26: ISZERO
00000a27: PUSH2 0x0b31
00000a2a: JUMPI
00000a2b: PUSH1 0x00
00000a2d: DUP2
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH2 0x0108
00000a33: PUSH1 0x20
00000a35: SWAP1
00000a36: DUP2
00000a37: MSTORE
00000a38: PUSH1 0x40
00000a3a: DUP3
00000a3b: KECCAK256
00000a3c: DUP1
00000a3d: SLOAD
00000a3e: PUSH1 0x01
00000a40: PUSH1 0xa0
00000a42: PUSH1 0x02
00000a44: EXP
00000a45: SUB
00000a46: NOT
00000a47: AND
00000a48: DUP9
00000a49: OR
00000a4a: DUP2
00000a4b: SSTORE
00000a4c: PUSH1 0x01
00000a4e: DUP2
00000a4f: DUP2
00000a50: ADD
00000a51: DUP9
00000a52: SWAP1
00000a53: SSTORE
00000a54: PUSH1 0x02
00000a56: SWAP2
00000a57: DUP3
00000a58: ADD
00000a59: DUP1
00000a5a: SLOAD
00000a5b: DUP2
00000a5c: DUP7
00000a5d: MSTORE
00000a5e: SWAP5
00000a5f: DUP5
00000a60: SWAP1
00000a61: KECCAK256
00000a62: SWAP1
00000a63: SWAP5
00000a64: SWAP2
00000a65: DUP3
00000a66: AND
00000a67: ISZERO
00000a68: PUSH2 0x0100
00000a6b: MUL
00000a6c: PUSH1 0x00
00000a6e: NOT
00000a6f: ADD
00000a70: SWAP1
00000a71: SWAP2
00000a72: AND
00000a73: SWAP2
00000a74: SWAP1
00000a75: SWAP2
00000a76: DIV
00000a77: PUSH1 0x1f
00000a79: SWAP1
00000a7a: DUP2
00000a7b: ADD
00000a7c: SWAP3
00000a7d: SWAP1
00000a7e: SWAP3
00000a7f: DIV
00000a80: DUP2
00000a81: ADD
00000a82: SWAP2
00000a83: DUP6
00000a84: SWAP2
00000a85: SWAP1
00000a86: DUP8
00000a87: SWAP1
00000a88: DUP4
00000a89: SWAP1
00000a8a: LT
00000a8b: PUSH2 0x0b39
00000a8e: JUMPI
00000a8f: PUSH1 0xff
00000a91: NOT
00000a92: DUP2
00000a93: CALLDATALOAD
00000a94: AND
00000a95: DUP4
00000a96: DUP1
00000a97: ADD
00000a98: OR
00000a99: DUP6
00000a9a: SSTORE
00000a9b: JUMPDEST
00000a9c: POP
00000a9d: PUSH2 0x0aa7
00000aa0: SWAP3
00000aa1: SWAP2
00000aa2: POP
00000aa3: PUSH2 0x090b
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: POP
00000aaa: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32
00000acb: DUP2
00000acc: CALLER
00000acd: DUP7
00000ace: DUP9
00000acf: DUP8
00000ad0: DUP8
00000ad1: PUSH1 0x40
00000ad3: MLOAD
00000ad4: DUP1
00000ad5: DUP8
00000ad6: PUSH1 0x00
00000ad8: NOT
00000ad9: AND
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x20
00000ade: ADD
00000adf: DUP7
00000ae0: PUSH1 0x01
00000ae2: PUSH1 0xa0
00000ae4: PUSH1 0x02
00000ae6: EXP
00000ae7: SUB
00000ae8: AND
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: DUP6
00000aef: DUP2
00000af0: MSTORE
00000af1: PUSH1 0x20
00000af3: ADD
00000af4: DUP5
00000af5: PUSH1 0x01
00000af7: PUSH1 0xa0
00000af9: PUSH1 0x02
00000afb: EXP
00000afc: SUB
00000afd: AND
00000afe: DUP2
00000aff: MSTORE
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: DUP1
00000b04: PUSH1 0x20
00000b06: ADD
00000b07: DUP3
00000b08: DUP2
00000b09: SUB
00000b0a: DUP3
00000b0b: MSTORE
00000b0c: DUP5
00000b0d: DUP5
00000b0e: DUP3
00000b0f: DUP2
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: SWAP3
00000b16: POP
00000b17: DUP1
00000b18: DUP3
00000b19: DUP5
00000b1a: CALLDATACOPY
00000b1b: DUP3
00000b1c: ADD
00000b1d: SWAP2
00000b1e: POP
00000b1f: POP
00000b20: SWAP8
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: PUSH1 0x40
00000b2b: MLOAD
00000b2c: DUP1
00000b2d: SWAP2
00000b2e: SUB
00000b2f: SWAP1
00000b30: LOG1
00000b31: JUMPDEST
00000b32: SWAP5
00000b33: SWAP4
00000b34: POP
00000b35: POP
00000b36: POP
00000b37: POP
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: DUP3
00000b3b: DUP1
00000b3c: ADD
00000b3d: PUSH1 0x01
00000b3f: ADD
00000b40: DUP6
00000b41: SSTORE
00000b42: DUP3
00000b43: ISZERO
00000b44: PUSH2 0x0a9b
00000b47: JUMPI
00000b48: SWAP2
00000b49: DUP3
00000b4a: ADD
00000b4b: JUMPDEST
00000b4c: DUP3
00000b4d: DUP2
00000b4e: GT
00000b4f: ISZERO
00000b50: PUSH2 0x0a9b
00000b53: JUMPI
00000b54: DUP3
00000b55: CALLDATALOAD
00000b56: DUP3
00000b57: PUSH1 0x00
00000b59: POP
00000b5a: SSTORE
00000b5b: SWAP2
00000b5c: PUSH1 0x20
00000b5e: ADD
00000b5f: SWAP2
00000b60: SWAP1
00000b61: PUSH1 0x01
00000b63: ADD
00000b64: SWAP1
00000b65: PUSH2 0x0b4b
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: POP
00000b6b: POP
00000b6c: PUSH1 0x00
00000b6e: DUP3
00000b6f: DUP2
00000b70: MSTORE
00000b71: PUSH2 0x0103
00000b74: PUSH1 0x20
00000b76: MSTORE
00000b77: PUSH1 0x40
00000b79: DUP2
00000b7a: KECCAK256
00000b7b: PUSH1 0x01
00000b7d: DUP2
00000b7e: ADD
00000b7f: SLOAD
00000b80: PUSH1 0x02
00000b82: DUP5
00000b83: SWAP1
00000b84: EXP
00000b85: SWAP3
00000b86: SWAP1
00000b87: DUP4
00000b88: AND
00000b89: GT
00000b8a: ISZERO
00000b8b: PUSH2 0x0be8
00000b8e: JUMPI
00000b8f: DUP1
00000b90: SLOAD
00000b91: PUSH1 0x01
00000b93: DUP3
00000b94: DUP2
00000b95: ADD
00000b96: DUP1
00000b97: SLOAD
00000b98: SWAP3
00000b99: SWAP1
00000b9a: SWAP2
00000b9b: ADD
00000b9c: DUP4
00000b9d: SSTORE
00000b9e: SWAP1
00000b9f: DUP4
00000ba0: SWAP1
00000ba1: SUB
00000ba2: SWAP1
00000ba3: SSTORE
00000ba4: PUSH1 0x40
00000ba6: DUP1
00000ba7: MLOAD
00000ba8: PUSH1 0x01
00000baa: PUSH1 0xa0
00000bac: PUSH1 0x02
00000bae: EXP
00000baf: SUB
00000bb0: CALLER
00000bb1: AND
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x20
00000bb6: DUP2
00000bb7: ADD
00000bb8: DUP7
00000bb9: SWAP1
00000bba: MSTORE
00000bbb: DUP2
00000bbc: MLOAD
00000bbd: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b
00000bde: SWAP3
00000bdf: SWAP2
00000be0: DUP2
00000be1: SWAP1
00000be2: SUB
00000be3: SWAP1
00000be4: SWAP2
00000be5: ADD
00000be6: SWAP1
00000be7: LOG1
00000be8: JUMPDEST
00000be9: POP
00000bea: POP
00000beb: POP
00000bec: POP
00000bed: JUMP
00000bee: JUMPDEST
00000bef: ISZERO
00000bf0: PUSH2 0x069b
00000bf3: JUMPI
00000bf4: PUSH1 0x01
00000bf6: SLOAD
00000bf7: DUP3
00000bf8: GT
00000bf9: ISZERO
00000bfa: PUSH2 0x0c02
00000bfd: JUMPI
00000bfe: PUSH2 0x069b
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x00
00000c05: DUP3
00000c06: SWAP1
00000c07: SSTORE
00000c08: PUSH2 0x0c0f
00000c0b: PUSH2 0x0539
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH1 0x40
00000c12: DUP1
00000c13: MLOAD
00000c14: DUP4
00000c15: DUP2
00000c16: MSTORE
00000c17: SWAP1
00000c18: MLOAD
00000c19: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da
00000c3a: SWAP2
00000c3b: DUP2
00000c3c: SWAP1
00000c3d: SUB
00000c3e: PUSH1 0x20
00000c40: ADD
00000c41: SWAP1
00000c42: LOG1
00000c43: POP
00000c44: POP
00000c45: JUMP
00000c46: JUMPDEST
00000c47: POP
00000c48: PUSH1 0x01
00000c4a: DUP3
00000c4b: ADD
00000c4c: SLOAD
00000c4d: PUSH1 0x02
00000c4f: DUP3
00000c50: SWAP1
00000c51: EXP
00000c52: SWAP1
00000c53: DUP2
00000c54: AND
00000c55: PUSH1 0x00
00000c57: EQ
00000c58: ISZERO
00000c59: SWAP4
00000c5a: POP
00000c5b: JUMPDEST
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: SWAP3
00000c60: SWAP2
00000c61: POP
00000c62: POP
00000c63: JUMP
00000c64: JUMPDEST
00000c65: ISZERO
00000c66: PUSH2 0x069b
00000c69: JUMPI
00000c6a: DUP2
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0xa0
00000c6f: PUSH1 0x02
00000c71: EXP
00000c72: SUB
00000c73: AND
00000c74: SELFDESTRUCT
00000c75: JUMPDEST
00000c76: ISZERO
00000c77: PUSH2 0x0be8
00000c7a: JUMPI
00000c7b: PUSH2 0x0c83
00000c7e: DUP4
00000c7f: PUSH2 0x0294
00000c82: JUMP
00000c83: JUMPDEST
00000c84: ISZERO
00000c85: PUSH2 0x0c8d
00000c88: JUMPI
00000c89: PUSH2 0x0be8
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x01
00000c90: PUSH1 0xa0
00000c92: PUSH1 0x02
00000c94: EXP
00000c95: SUB
00000c96: DUP5
00000c97: AND
00000c98: PUSH1 0x00
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: PUSH2 0x0102
00000ca0: PUSH1 0x20
00000ca2: MSTORE
00000ca3: PUSH1 0x40
00000ca5: DUP2
00000ca6: KECCAK256
00000ca7: SLOAD
00000ca8: SWAP3
00000ca9: POP
00000caa: DUP3
00000cab: EQ
00000cac: ISZERO
00000cad: PUSH2 0x0cb5
00000cb0: JUMPI
00000cb1: PUSH2 0x0be8
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: PUSH2 0x0cbd
00000cb9: PUSH2 0x0539
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH1 0x01
00000cc0: PUSH1 0xa0
00000cc2: PUSH1 0x02
00000cc4: EXP
00000cc5: SUB
00000cc6: DUP4
00000cc7: AND
00000cc8: PUSH1 0x02
00000cca: DUP4
00000ccb: PUSH2 0x0100
00000cce: DUP2
00000ccf: LT
00000cd0: ISZERO
00000cd1: PUSH2 0x0002
00000cd4: JUMPI
00000cd5: POP
00000cd6: DUP4
00000cd7: ADD
00000cd8: DUP2
00000cd9: SWAP1
00000cda: SSTORE
00000cdb: PUSH1 0x01
00000cdd: PUSH1 0xa0
00000cdf: PUSH1 0x02
00000ce1: EXP
00000ce2: SUB
00000ce3: DUP6
00000ce4: AND
00000ce5: PUSH1 0x00
00000ce7: DUP2
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH2 0x0102
00000ced: PUSH1 0x20
00000cef: SWAP1
00000cf0: DUP2
00000cf1: MSTORE
00000cf2: PUSH1 0x40
00000cf4: DUP1
00000cf5: DUP4
00000cf6: KECCAK256
00000cf7: DUP4
00000cf8: SWAP1
00000cf9: SSTORE
00000cfa: DUP5
00000cfb: DUP4
00000cfc: MSTORE
00000cfd: SWAP2
00000cfe: DUP3
00000cff: SWAP1
00000d00: KECCAK256
00000d01: DUP7
00000d02: SWAP1
00000d03: SSTORE
00000d04: DUP2
00000d05: MLOAD
00000d06: SWAP3
00000d07: DUP4
00000d08: MSTORE
00000d09: DUP3
00000d0a: ADD
00000d0b: SWAP3
00000d0c: SWAP1
00000d0d: SWAP3
00000d0e: MSTORE
00000d0f: DUP2
00000d10: MLOAD
00000d11: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c
00000d32: SWAP3
00000d33: SWAP2
00000d34: DUP2
00000d35: SWAP1
00000d36: SUB
00000d37: SWAP1
00000d38: SWAP2
00000d39: ADD
00000d3a: SWAP1
00000d3b: LOG1
00000d3c: POP
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH1 0x00
00000d44: DUP6
00000d45: DUP2
00000d46: MSTORE
00000d47: PUSH2 0x0103
00000d4a: PUSH1 0x20
00000d4c: MSTORE
00000d4d: PUSH1 0x40
00000d4f: DUP2
00000d50: KECCAK256
00000d51: DUP1
00000d52: SLOAD
00000d53: SWAP1
00000d54: SWAP4
00000d55: POP
00000d56: EQ
00000d57: ISZERO
00000d58: PUSH2 0x0ddb
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: SLOAD
00000d60: DUP4
00000d61: SSTORE
00000d62: PUSH1 0x01
00000d64: DUP4
00000d65: DUP2
00000d66: ADD
00000d67: SWAP2
00000d68: SWAP1
00000d69: SWAP2
00000d6a: SSTORE
00000d6b: PUSH2 0x0104
00000d6e: DUP1
00000d6f: SLOAD
00000d70: SWAP2
00000d71: DUP3
00000d72: ADD
00000d73: DUP1
00000d74: DUP3
00000d75: SSTORE
00000d76: DUP3
00000d77: DUP1
00000d78: ISZERO
00000d79: DUP3
00000d7a: SWAP1
00000d7b: GT
00000d7c: PUSH2 0x0d98
00000d7f: JUMPI
00000d80: DUP2
00000d81: DUP4
00000d82: PUSH1 0x00
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: PUSH1 0x00
00000d89: KECCAK256
00000d8a: SWAP2
00000d8b: DUP3
00000d8c: ADD
00000d8d: SWAP2
00000d8e: ADD
00000d8f: PUSH2 0x0d98
00000d92: SWAP2
00000d93: SWAP1
00000d94: PUSH2 0x090b
00000d97: JUMP
00000d98: JUMPDEST
00000d99: POP
00000d9a: POP
00000d9b: POP
00000d9c: PUSH1 0x02
00000d9e: DUP4
00000d9f: ADD
00000da0: DUP2
00000da1: SWAP1
00000da2: SSTORE
00000da3: PUSH2 0x0104
00000da6: DUP1
00000da7: SLOAD
00000da8: DUP8
00000da9: SWAP3
00000daa: SWAP1
00000dab: DUP2
00000dac: LT
00000dad: ISZERO
00000dae: PUSH2 0x0002
00000db1: JUMPI
00000db2: PUSH1 0x00
00000db4: SWAP2
00000db5: SWAP1
00000db6: SWAP2
00000db7: MSTORE
00000db8: PUSH32 0x4c0be60200faa20559308cb7b5a1bb3255c16cb1cab91f525b5ae7a03d02fabe
00000dd9: ADD
00000dda: SSTORE
00000ddb: JUMPDEST
00000ddc: POP
00000ddd: PUSH1 0x01
00000ddf: DUP2
00000de0: ADD
00000de1: SLOAD
00000de2: PUSH1 0x02
00000de4: DUP4
00000de5: SWAP1
00000de6: EXP
00000de7: SWAP1
00000de8: DUP2
00000de9: AND
00000dea: PUSH1 0x00
00000dec: EQ
00000ded: ISZERO
00000dee: PUSH2 0x0eab
00000df1: JUMPI
00000df2: PUSH1 0x40
00000df4: DUP1
00000df5: MLOAD
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: PUSH1 0x02
00000dfc: EXP
00000dfd: SUB
00000dfe: CALLER
00000dff: AND
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: DUP2
00000e05: ADD
00000e06: DUP8
00000e07: SWAP1
00000e08: MSTORE
00000e09: DUP2
00000e0a: MLOAD
00000e0b: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda
00000e2c: SWAP3
00000e2d: SWAP2
00000e2e: DUP2
00000e2f: SWAP1
00000e30: SUB
00000e31: SWAP1
00000e32: SWAP2
00000e33: ADD
00000e34: SWAP1
00000e35: LOG1
00000e36: DUP2
00000e37: SLOAD
00000e38: PUSH1 0x01
00000e3a: SWAP1
00000e3b: GT
00000e3c: PUSH2 0x0e98
00000e3f: JUMPI
00000e40: PUSH1 0x00
00000e42: DUP6
00000e43: DUP2
00000e44: MSTORE
00000e45: PUSH2 0x0103
00000e48: PUSH1 0x20
00000e4a: MSTORE
00000e4b: PUSH2 0x0104
00000e4e: DUP1
00000e4f: SLOAD
00000e50: PUSH1 0x40
00000e52: SWAP1
00000e53: SWAP3
00000e54: KECCAK256
00000e55: PUSH1 0x02
00000e57: ADD
00000e58: SLOAD
00000e59: SWAP1
00000e5a: SWAP2
00000e5b: DUP2
00000e5c: LT
00000e5d: ISZERO
00000e5e: PUSH2 0x0002
00000e61: JUMPI
00000e62: PUSH1 0x40
00000e64: PUSH1 0x00
00000e66: SWAP1
00000e67: DUP2
00000e68: KECCAK256
00000e69: SWAP3
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x20
00000e6e: DUP1
00000e6f: DUP3
00000e70: KECCAK256
00000e71: SWAP1
00000e72: SWAP3
00000e73: ADD
00000e74: DUP2
00000e75: SWAP1
00000e76: SSTORE
00000e77: DUP8
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH2 0x0103
00000e7d: SWAP1
00000e7e: SWAP2
00000e7f: MSTORE
00000e80: DUP1
00000e81: DUP3
00000e82: SSTORE
00000e83: PUSH1 0x01
00000e85: DUP3
00000e86: DUP2
00000e87: ADD
00000e88: DUP3
00000e89: SWAP1
00000e8a: SSTORE
00000e8b: PUSH1 0x02
00000e8d: SWAP3
00000e8e: SWAP1
00000e8f: SWAP3
00000e90: ADD
00000e91: SSTORE
00000e92: SWAP4
00000e93: POP
00000e94: PUSH2 0x0eab
00000e97: JUMP
00000e98: JUMPDEST
00000e99: DUP2
00000e9a: SLOAD
00000e9b: PUSH1 0x00
00000e9d: NOT
00000e9e: ADD
00000e9f: DUP3
00000ea0: SSTORE
00000ea1: PUSH1 0x01
00000ea3: DUP3
00000ea4: ADD
00000ea5: DUP1
00000ea6: SLOAD
00000ea7: DUP3
00000ea8: OR
00000ea9: SWAP1
00000eaa: SSTORE
00000eab: JUMPDEST
00000eac: POP
00000ead: POP
00000eae: POP
00000eaf: SWAP2
00000eb0: SWAP1
00000eb1: POP
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: PUSH2 0x069b
00000eb7: PUSH2 0x0104
00000eba: SLOAD
00000ebb: PUSH1 0x00
00000ebd: JUMPDEST
00000ebe: DUP2
00000ebf: DUP2
00000ec0: LT
00000ec1: ISZERO
00000ec2: PUSH2 0x1091
00000ec5: JUMPI
00000ec6: PUSH2 0x0104
00000ec9: DUP1
00000eca: SLOAD
00000ecb: DUP3
00000ecc: SWAP1
00000ecd: DUP2
00000ece: LT
00000ecf: ISZERO
00000ed0: PUSH2 0x0002
00000ed3: JUMPI
00000ed4: PUSH1 0x00
00000ed6: SWAP2
00000ed7: DUP3
00000ed8: MSTORE
00000ed9: PUSH1 0x20
00000edb: DUP3
00000edc: KECCAK256
00000edd: ADD
00000ede: SLOAD
00000edf: EQ
00000ee0: PUSH2 0x0f23
00000ee3: JUMPI
00000ee4: PUSH2 0x0104
00000ee7: DUP1
00000ee8: SLOAD
00000ee9: PUSH2 0x0103
00000eec: SWAP2
00000eed: PUSH1 0x00
00000eef: SWAP2
00000ef0: DUP5
00000ef1: SWAP1
00000ef2: DUP2
00000ef3: LT
00000ef4: ISZERO
00000ef5: PUSH2 0x0002
00000ef8: JUMPI
00000ef9: PUSH1 0x20
00000efb: PUSH1 0x00
00000efd: DUP2
00000efe: DUP2
00000eff: KECCAK256
00000f00: SWAP4
00000f01: DUP2
00000f02: MSTORE
00000f03: SWAP3
00000f04: SWAP1
00000f05: SWAP2
00000f06: ADD
00000f07: SLOAD
00000f08: DUP4
00000f09: MSTORE
00000f0a: DUP3
00000f0b: ADD
00000f0c: SWAP3
00000f0d: SWAP1
00000f0e: SWAP3
00000f0f: MSTORE
00000f10: PUSH1 0x40
00000f12: ADD
00000f13: DUP2
00000f14: KECCAK256
00000f15: DUP2
00000f16: DUP2
00000f17: SSTORE
00000f18: PUSH1 0x01
00000f1a: DUP2
00000f1b: ADD
00000f1c: DUP3
00000f1d: SWAP1
00000f1e: SSTORE
00000f1f: PUSH1 0x02
00000f21: ADD
00000f22: SSTORE
00000f23: JUMPDEST
00000f24: PUSH1 0x01
00000f26: ADD
00000f27: PUSH2 0x0ebd
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH1 0x1f
00000f2e: ADD
00000f2f: PUSH1 0x20
00000f31: SWAP1
00000f32: DIV
00000f33: SWAP1
00000f34: PUSH1 0x00
00000f36: MSTORE
00000f37: PUSH1 0x20
00000f39: PUSH1 0x00
00000f3b: KECCAK256
00000f3c: SWAP1
00000f3d: DUP2
00000f3e: ADD
00000f3f: SWAP1
00000f40: PUSH2 0x05b5
00000f43: SWAP2
00000f44: SWAP1
00000f45: PUSH2 0x090b
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: JUMPDEST
00000f4b: PUSH1 0x01
00000f4d: DUP1
00000f4e: SLOAD
00000f4f: GT
00000f50: DUP1
00000f51: ISZERO
00000f52: PUSH2 0x0f6c
00000f55: JUMPI
00000f56: POP
00000f57: PUSH1 0x01
00000f59: SLOAD
00000f5a: PUSH1 0x02
00000f5c: SWAP1
00000f5d: PUSH2 0x0100
00000f60: DUP2
00000f61: LT
00000f62: ISZERO
00000f63: PUSH2 0x0002
00000f66: JUMPI
00000f67: ADD
00000f68: SLOAD
00000f69: PUSH1 0x00
00000f6b: EQ
00000f6c: JUMPDEST
00000f6d: ISZERO
00000f6e: PUSH2 0x0f80
00000f71: JUMPI
00000f72: PUSH1 0x01
00000f74: DUP1
00000f75: SLOAD
00000f76: PUSH1 0x00
00000f78: NOT
00000f79: ADD
00000f7a: SWAP1
00000f7b: SSTORE
00000f7c: PUSH2 0x0f4a
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x01
00000f83: SLOAD
00000f84: DUP2
00000f85: LT
00000f86: DUP1
00000f87: ISZERO
00000f88: PUSH2 0x0fa3
00000f8b: JUMPI
00000f8c: POP
00000f8d: PUSH1 0x01
00000f8f: SLOAD
00000f90: PUSH1 0x02
00000f92: SWAP1
00000f93: PUSH2 0x0100
00000f96: DUP2
00000f97: LT
00000f98: ISZERO
00000f99: PUSH2 0x0002
00000f9c: JUMPI
00000f9d: ADD
00000f9e: SLOAD
00000f9f: PUSH1 0x00
00000fa1: EQ
00000fa2: ISZERO
00000fa3: JUMPDEST
00000fa4: DUP1
00000fa5: ISZERO
00000fa6: PUSH2 0x0fbd
00000fa9: JUMPI
00000faa: POP
00000fab: PUSH1 0x02
00000fad: DUP2
00000fae: PUSH2 0x0100
00000fb1: DUP2
00000fb2: LT
00000fb3: ISZERO
00000fb4: PUSH2 0x0002
00000fb7: JUMPI
00000fb8: ADD
00000fb9: SLOAD
00000fba: PUSH1 0x00
00000fbc: EQ
00000fbd: JUMPDEST
00000fbe: ISZERO
00000fbf: PUSH2 0x1021
00000fc2: JUMPI
00000fc3: PUSH1 0x01
00000fc5: SLOAD
00000fc6: PUSH1 0x02
00000fc8: SWAP1
00000fc9: PUSH2 0x0100
00000fcc: DUP2
00000fcd: LT
00000fce: ISZERO
00000fcf: PUSH2 0x0002
00000fd2: JUMPI
00000fd3: ADD
00000fd4: SLOAD
00000fd5: PUSH1 0x02
00000fd7: DUP3
00000fd8: PUSH2 0x0100
00000fdb: DUP2
00000fdc: LT
00000fdd: ISZERO
00000fde: PUSH2 0x0002
00000fe1: JUMPI
00000fe2: ADD
00000fe3: SSTORE
00000fe4: DUP1
00000fe5: PUSH2 0x0102
00000fe8: PUSH1 0x00
00000fea: PUSH1 0x02
00000fec: DUP4
00000fed: PUSH2 0x0100
00000ff0: DUP2
00000ff1: LT
00000ff2: ISZERO
00000ff3: PUSH2 0x0002
00000ff6: JUMPI
00000ff7: ADD
00000ff8: SLOAD
00000ff9: DUP2
00000ffa: MSTORE
00000ffb: PUSH1 0x20
00000ffd: DUP2
00000ffe: ADD
00000fff: SWAP2
00001000: SWAP1
00001001: SWAP2
00001002: MSTORE
00001003: PUSH1 0x40
00001005: ADD
00001006: PUSH1 0x00
00001008: SWAP1
00001009: DUP2
0000100a: KECCAK256
0000100b: SWAP2
0000100c: SWAP1
0000100d: SWAP2
0000100e: SSTORE
0000100f: PUSH1 0x01
00001011: SLOAD
00001012: PUSH1 0x02
00001014: SWAP1
00001015: PUSH2 0x0100
00001018: DUP2
00001019: LT
0000101a: ISZERO
0000101b: PUSH2 0x0002
0000101e: JUMPI
0000101f: ADD
00001020: SSTORE
00001021: JUMPDEST
00001022: PUSH2 0x05c7
00001025: JUMP
00001026: JUMPDEST
00001027: ISZERO
00001028: PUSH2 0x02b0
0000102b: JUMPI
0000102c: PUSH2 0x0107
0000102f: SLOAD
00001030: PUSH2 0x103c
00001033: JUMPDEST
00001034: PUSH3 0x015180
00001038: TIMESTAMP
00001039: DIV
0000103a: SWAP1
0000103b: JUMP
0000103c: JUMPDEST
0000103d: GT
0000103e: ISZERO
0000103f: PUSH2 0x1055
00001042: JUMPI
00001043: PUSH1 0x00
00001045: PUSH2 0x0106
00001048: SSTORE
00001049: PUSH2 0x1050
0000104c: PUSH2 0x1033
0000104f: JUMP
00001050: JUMPDEST
00001051: PUSH2 0x0107
00001054: SSTORE
00001055: JUMPDEST
00001056: PUSH2 0x0106
00001059: SLOAD
0000105a: DUP1
0000105b: DUP4
0000105c: ADD
0000105d: LT
0000105e: DUP1
0000105f: ISZERO
00001060: SWAP1
00001061: PUSH2 0x1073
00001064: JUMPI
00001065: POP
00001066: PUSH2 0x0106
00001069: SLOAD
0000106a: PUSH2 0x0105
0000106d: SLOAD
0000106e: SWAP1
0000106f: DUP4
00001070: ADD
00001071: GT
00001072: ISZERO
00001073: JUMPDEST
00001074: ISZERO
00001075: PUSH2 0x1089
00001078: JUMPI
00001079: POP
0000107a: PUSH2 0x0106
0000107d: DUP1
0000107e: SLOAD
0000107f: DUP3
00001080: ADD
00001081: SWAP1
00001082: SSTORE
00001083: PUSH1 0x01
00001085: PUSH2 0x02b0
00001088: JUMP
00001089: JUMPDEST
0000108a: POP
0000108b: PUSH1 0x00
0000108d: PUSH2 0x02b0
00001090: JUMP
00001091: JUMPDEST
00001092: PUSH2 0x0104
00001095: DUP1
00001096: SLOAD
00001097: PUSH1 0x00
00001099: DUP1
0000109a: DUP4
0000109b: SSTORE
0000109c: SWAP2
0000109d: SWAP1
0000109e: SWAP2
0000109f: MSTORE
000010a0: PUSH2 0x04ea
000010a3: SWAP1
000010a4: PUSH32 0x4c0be60200faa20559308cb7b5a1bb3255c16cb1cab91f525b5ae7a03d02fabe
000010c5: SWAP1
000010c6: DUP2
000010c7: ADD
000010c8: SWAP1
000010c9: PUSH2 0x090b
000010cc: JUMP
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: 0x1c1db9e39323b36e69355512713dad81adec6044da1fb937583afd98932d4596
call_targets: 0xb10ba7b334d3bd1b2110ba00bca39696b6df406d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1c1db9e39323b36e69355512713dad81adec6044da1fb937583afd98932d4596",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb10ba7b334d3bd1b2110ba00bca39696b6df406d"
    ],
    "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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52375093",
            "selector": "0x52375093",
            "calldata_variants": [
                "0x52375093",
                "0x523750930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x659010e7",
            "selector": "0x659010e7",
            "calldata_variants": [
                "0x659010e7",
                "0x659010e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2093,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2548,
            "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: 0x1c1db9e39323b36e69355512713dad81adec6044da1fb937583afd98932d4596
call_targets: 0xb10ba7b334d3bd1b2110ba00bca39696b6df406d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1c1db9e39323b36e69355512713dad81adec6044da1fb937583afd98932d4596",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb10ba7b334d3bd1b2110ba00bca39696b6df406d"
    ],
    "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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52375093",
            "selector": "0x52375093",
            "calldata_variants": [
                "0x52375093",
                "0x523750930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x659010e7",
            "selector": "0x659010e7",
            "calldata_variants": [
                "0x659010e7",
                "0x659010e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2093,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2548,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x8a87f42a452486eb26f906c5d4f3b50fc8896d392a58f636bfedad948d5f5415
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x8a87f42a452486eb26f906c5d4f3b50fc8896d392a58f636bfedad948d5f5415",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52375093",
            "selector": "0x52375093",
            "calldata_variants": [
                "0x52375093",
                "0x523750930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x659010e7",
            "selector": "0x659010e7",
            "calldata_variants": [
                "0x659010e7",
                "0x659010e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}