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

Analysis Run

019b3836-2dea-7286-916f-7e87837d9eca

complete
Chain ID
1
Address
0xfc508b6cf5e70b61627ea22e721c980cca64581d
Block Number
—
Created
Fri, Dec 19, 2025 8:03 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
2179 artifact.fetch complete 1 / 3 4 months ago
2180 tool.cast_disasm complete 1 / 3 4 months ago
96410 analysis.bundle complete 1 / 3 2 weeks ago
96411 capability.graph complete 1 / 3 2 weeks ago
96412 detector.run complete 1 / 3 2 weeks ago
96413 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)
4
EXT*/BALANCE
2
Total opcodes
2563
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cc
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x3f9effdc
00000034: EQ
00000035: PUSH2 0x01a0
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x4001a81f
0000003f: EQ
00000040: PUSH2 0x01cc
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x4049700f
0000004a: EQ
0000004b: PUSH2 0x01f6
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x41c0e1b5
00000055: EQ
00000056: PUSH2 0x0219
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x8da5cb5b
00000060: EQ
00000061: PUSH2 0x0228
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x99baa10c
0000006b: EQ
0000006c: PUSH2 0x0261
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa3934658
00000076: EQ
00000077: PUSH2 0x0284
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa6f9dae1
00000081: EQ
00000082: PUSH2 0x0293
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xab377daa
0000008c: EQ
0000008d: PUSH2 0x02ab
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb3364a26
00000097: EQ
00000098: PUSH2 0x0302
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xbf76c0ef
000000a2: EQ
000000a3: PUSH2 0x0325
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xd59933d5
000000ad: EQ
000000ae: PUSH2 0x033d
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xdb29fe12
000000b8: EQ
000000b9: PUSH2 0x034c
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xde88a342
000000c3: EQ
000000c4: PUSH2 0x0364
000000c7: JUMPI
000000c8: PUSH2 0x00cc
000000cb: JUMP
000000cc: JUMPDEST
000000cd: PUSH2 0x019e
000000d0: JUMPDEST
000000d1: PUSH1 0x00
000000d3: PUSH1 0x00
000000d5: NUMBER
000000d6: PUSH32 0x5d6ac9b7defd8fbb29ef2ab0f08c3744192b3777466dd98d1fd7daed5064b6db
000000f7: CALLER
000000f8: CALLVALUE
000000f9: TIMESTAMP
000000fa: PUSH1 0x40
000000fc: MLOAD
000000fd: DUP1
000000fe: DUP5
000000ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000114: AND
00000115: DUP2
00000116: MSTORE
00000117: PUSH1 0x20
00000119: ADD
0000011a: DUP4
0000011b: DUP2
0000011c: MSTORE
0000011d: PUSH1 0x20
0000011f: ADD
00000120: DUP3
00000121: DUP2
00000122: MSTORE
00000123: PUSH1 0x20
00000125: ADD
00000126: SWAP4
00000127: POP
00000128: POP
00000129: POP
0000012a: POP
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: DUP1
0000012f: SWAP2
00000130: SUB
00000131: SWAP1
00000132: LOG2
00000133: PUSH1 0x01
00000135: PUSH1 0x00
00000137: POP
00000138: DUP1
00000139: SLOAD
0000013a: SWAP1
0000013b: POP
0000013c: PUSH1 0x00
0000013e: CALLVALUE
0000013f: MUL
00000140: DIV
00000141: SWAP2
00000142: POP
00000143: PUSH1 0x00
00000145: SWAP1
00000146: POP
00000147: JUMPDEST
00000148: PUSH1 0x01
0000014a: PUSH1 0x00
0000014c: POP
0000014d: DUP1
0000014e: SLOAD
0000014f: SWAP1
00000150: POP
00000151: DUP2
00000152: LT
00000153: ISZERO
00000154: PUSH2 0x0199
00000157: JUMPI
00000158: DUP2
00000159: PUSH1 0x01
0000015b: PUSH1 0x00
0000015d: POP
0000015e: DUP3
0000015f: DUP2
00000160: SLOAD
00000161: DUP2
00000162: LT
00000163: ISZERO
00000164: PUSH2 0x0002
00000167: JUMPI
00000168: SWAP1
00000169: PUSH1 0x00
0000016b: MSTORE
0000016c: PUSH1 0x20
0000016e: PUSH1 0x00
00000170: KECCAK256
00000171: SWAP1
00000172: PUSH1 0x04
00000174: MUL
00000175: ADD
00000176: PUSH1 0x00
00000178: JUMPDEST
00000179: POP
0000017a: PUSH1 0x01
0000017c: ADD
0000017d: PUSH1 0x00
0000017f: DUP3
00000180: DUP3
00000181: DUP3
00000182: POP
00000183: SLOAD
00000184: ADD
00000185: SWAP3
00000186: POP
00000187: POP
00000188: DUP2
00000189: SWAP1
0000018a: SSTORE
0000018b: POP
0000018c: JUMPDEST
0000018d: DUP1
0000018e: DUP1
0000018f: PUSH1 0x01
00000191: ADD
00000192: SWAP2
00000193: POP
00000194: POP
00000195: PUSH2 0x0147
00000198: JUMP
00000199: JUMPDEST
0000019a: JUMPDEST
0000019b: POP
0000019c: POP
0000019d: JUMP
0000019e: JUMPDEST
0000019f: STOP
000001a0: JUMPDEST
000001a1: PUSH2 0x01b6
000001a4: PUSH1 0x04
000001a6: DUP1
000001a7: DUP1
000001a8: CALLDATALOAD
000001a9: SWAP1
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP1
000001ae: SWAP2
000001af: SWAP1
000001b0: POP
000001b1: POP
000001b2: PUSH2 0x04bb
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: DUP1
000001bb: DUP3
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: ADD
000001c1: SWAP2
000001c2: POP
000001c3: POP
000001c4: PUSH1 0x40
000001c6: MLOAD
000001c7: DUP1
000001c8: SWAP2
000001c9: SUB
000001ca: SWAP1
000001cb: RETURN
000001cc: JUMPDEST
000001cd: PUSH2 0x01f4
000001d0: PUSH1 0x04
000001d2: DUP1
000001d3: DUP1
000001d4: CALLDATALOAD
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP1
000001da: SWAP2
000001db: SWAP1
000001dc: DUP1
000001dd: CALLDATALOAD
000001de: SWAP1
000001df: PUSH1 0x20
000001e1: ADD
000001e2: SWAP1
000001e3: SWAP2
000001e4: SWAP1
000001e5: DUP1
000001e6: CALLDATALOAD
000001e7: SWAP1
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: SWAP1
000001ec: SWAP2
000001ed: SWAP1
000001ee: POP
000001ef: POP
000001f0: PUSH2 0x0afa
000001f3: JUMP
000001f4: JUMPDEST
000001f5: STOP
000001f6: JUMPDEST
000001f7: PUSH2 0x0203
000001fa: PUSH1 0x04
000001fc: DUP1
000001fd: POP
000001fe: POP
000001ff: PUSH2 0x049b
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH1 0x40
00000206: MLOAD
00000207: DUP1
00000208: DUP3
00000209: DUP2
0000020a: MSTORE
0000020b: PUSH1 0x20
0000020d: ADD
0000020e: SWAP2
0000020f: POP
00000210: POP
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: SWAP2
00000216: SUB
00000217: SWAP1
00000218: RETURN
00000219: JUMPDEST
0000021a: PUSH2 0x0226
0000021d: PUSH1 0x04
0000021f: DUP1
00000220: POP
00000221: POP
00000222: PUSH2 0x0e19
00000225: JUMP
00000226: JUMPDEST
00000227: STOP
00000228: JUMPDEST
00000229: PUSH2 0x0235
0000022c: PUSH1 0x04
0000022e: DUP1
0000022f: POP
00000230: POP
00000231: PUSH2 0x0373
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: DUP1
0000023a: DUP3
0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000250: AND
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP2
00000257: POP
00000258: POP
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: DUP1
0000025d: SWAP2
0000025e: SUB
0000025f: SWAP1
00000260: RETURN
00000261: JUMPDEST
00000262: PUSH2 0x026e
00000265: PUSH1 0x04
00000267: DUP1
00000268: POP
00000269: POP
0000026a: PUSH2 0x0399
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: DUP3
00000274: DUP2
00000275: MSTORE
00000276: PUSH1 0x20
00000278: ADD
00000279: SWAP2
0000027a: POP
0000027b: POP
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: SWAP2
00000281: SUB
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: PUSH2 0x0291
00000288: PUSH1 0x04
0000028a: DUP1
0000028b: POP
0000028c: POP
0000028d: PUSH2 0x0bd0
00000290: JUMP
00000291: JUMPDEST
00000292: STOP
00000293: JUMPDEST
00000294: PUSH2 0x02a9
00000297: PUSH1 0x04
00000299: DUP1
0000029a: DUP1
0000029b: CALLDATALOAD
0000029c: SWAP1
0000029d: PUSH1 0x20
0000029f: ADD
000002a0: SWAP1
000002a1: SWAP2
000002a2: SWAP1
000002a3: POP
000002a4: POP
000002a5: PUSH2 0x0415
000002a8: JUMP
000002a9: JUMPDEST
000002aa: STOP
000002ab: JUMPDEST
000002ac: PUSH2 0x02c1
000002af: PUSH1 0x04
000002b1: DUP1
000002b2: DUP1
000002b3: CALLDATALOAD
000002b4: SWAP1
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP1
000002b9: SWAP2
000002ba: SWAP1
000002bb: POP
000002bc: POP
000002bd: PUSH2 0x03ac
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP1
000002c6: DUP6
000002c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002dc: AND
000002dd: DUP2
000002de: MSTORE
000002df: PUSH1 0x20
000002e1: ADD
000002e2: DUP5
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: DUP4
000002e9: DUP2
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: ADD
000002ee: DUP3
000002ef: DUP2
000002f0: MSTORE
000002f1: PUSH1 0x20
000002f3: ADD
000002f4: SWAP5
000002f5: POP
000002f6: POP
000002f7: POP
000002f8: POP
000002f9: POP
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: DUP1
000002fe: SWAP2
000002ff: SUB
00000300: SWAP1
00000301: RETURN
00000302: JUMPDEST
00000303: PUSH2 0x030f
00000306: PUSH1 0x04
00000308: DUP1
00000309: POP
0000030a: POP
0000030b: PUSH2 0x04ab
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: DUP1
00000314: DUP3
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x20
00000319: ADD
0000031a: SWAP2
0000031b: POP
0000031c: POP
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: DUP1
00000321: SWAP2
00000322: SUB
00000323: SWAP1
00000324: RETURN
00000325: JUMPDEST
00000326: PUSH2 0x033b
00000329: PUSH1 0x04
0000032b: DUP1
0000032c: DUP1
0000032d: CALLDATALOAD
0000032e: SWAP1
0000032f: PUSH1 0x20
00000331: ADD
00000332: SWAP1
00000333: SWAP2
00000334: SWAP1
00000335: POP
00000336: POP
00000337: PUSH2 0x054f
0000033a: JUMP
0000033b: JUMPDEST
0000033c: STOP
0000033d: JUMPDEST
0000033e: PUSH2 0x034a
00000341: PUSH1 0x04
00000343: DUP1
00000344: POP
00000345: POP
00000346: PUSH2 0x07e3
00000349: JUMP
0000034a: JUMPDEST
0000034b: STOP
0000034c: JUMPDEST
0000034d: PUSH2 0x0362
00000350: PUSH1 0x04
00000352: DUP1
00000353: DUP1
00000354: CALLDATALOAD
00000355: SWAP1
00000356: PUSH1 0x20
00000358: ADD
00000359: SWAP1
0000035a: SWAP2
0000035b: SWAP1
0000035c: POP
0000035d: POP
0000035e: PUSH2 0x0699
00000361: JUMP
00000362: JUMPDEST
00000363: STOP
00000364: JUMPDEST
00000365: PUSH2 0x0371
00000368: PUSH1 0x04
0000036a: DUP1
0000036b: POP
0000036c: POP
0000036d: PUSH2 0x08b1
00000370: JUMP
00000371: JUMPDEST
00000372: STOP
00000373: JUMPDEST
00000374: PUSH1 0x00
00000376: PUSH1 0x00
00000378: SWAP1
00000379: SLOAD
0000037a: SWAP1
0000037b: PUSH2 0x0100
0000037e: EXP
0000037f: SWAP1
00000380: DIV
00000381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000396: AND
00000397: DUP2
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x00
0000039c: PUSH1 0x14
0000039e: SWAP1
0000039f: SLOAD
000003a0: SWAP1
000003a1: PUSH2 0x0100
000003a4: EXP
000003a5: SWAP1
000003a6: DIV
000003a7: PUSH1 0xff
000003a9: AND
000003aa: DUP2
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x01
000003af: PUSH1 0x00
000003b1: POP
000003b2: DUP2
000003b3: DUP2
000003b4: SLOAD
000003b5: DUP2
000003b6: LT
000003b7: ISZERO
000003b8: PUSH2 0x0002
000003bb: JUMPI
000003bc: SWAP1
000003bd: PUSH1 0x00
000003bf: MSTORE
000003c0: PUSH1 0x20
000003c2: PUSH1 0x00
000003c4: KECCAK256
000003c5: SWAP1
000003c6: PUSH1 0x04
000003c8: MUL
000003c9: ADD
000003ca: PUSH1 0x00
000003cc: JUMPDEST
000003cd: SWAP2
000003ce: POP
000003cf: SWAP1
000003d0: POP
000003d1: DUP1
000003d2: PUSH1 0x00
000003d4: ADD
000003d5: PUSH1 0x00
000003d7: SWAP1
000003d8: SLOAD
000003d9: SWAP1
000003da: PUSH2 0x0100
000003dd: EXP
000003de: SWAP1
000003df: DIV
000003e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003f5: AND
000003f6: SWAP1
000003f7: DUP1
000003f8: PUSH1 0x01
000003fa: ADD
000003fb: PUSH1 0x00
000003fd: POP
000003fe: SLOAD
000003ff: SWAP1
00000400: DUP1
00000401: PUSH1 0x02
00000403: ADD
00000404: PUSH1 0x00
00000406: POP
00000407: SLOAD
00000408: SWAP1
00000409: DUP1
0000040a: PUSH1 0x03
0000040c: ADD
0000040d: PUSH1 0x00
0000040f: POP
00000410: SLOAD
00000411: SWAP1
00000412: POP
00000413: DUP5
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x00
00000418: PUSH1 0x00
0000041a: SWAP1
0000041b: SLOAD
0000041c: SWAP1
0000041d: PUSH2 0x0100
00000420: EXP
00000421: SWAP1
00000422: DIV
00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000438: AND
00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044e: AND
0000044f: CALLER
00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000465: AND
00000466: EQ
00000467: ISZERO
00000468: PUSH2 0x0497
0000046b: JUMPI
0000046c: DUP1
0000046d: PUSH1 0x00
0000046f: PUSH1 0x00
00000471: PUSH2 0x0100
00000474: EXP
00000475: DUP2
00000476: SLOAD
00000477: DUP2
00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048d: MUL
0000048e: NOT
0000048f: AND
00000490: SWAP1
00000491: DUP4
00000492: MUL
00000493: OR
00000494: SWAP1
00000495: SSTORE
00000496: POP
00000497: JUMPDEST
00000498: JUMPDEST
00000499: POP
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH1 0x00
0000049e: PUSH1 0x03
000004a0: PUSH1 0x00
000004a2: POP
000004a3: SLOAD
000004a4: SWAP1
000004a5: POP
000004a6: DUP1
000004a7: POP
000004a8: JUMPDEST
000004a9: SWAP1
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH1 0x00
000004ae: PUSH1 0x04
000004b0: PUSH1 0x00
000004b2: POP
000004b3: SLOAD
000004b4: SWAP1
000004b5: POP
000004b6: DUP1
000004b7: POP
000004b8: JUMPDEST
000004b9: SWAP1
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH1 0x00
000004be: PUSH1 0x00
000004c0: PUSH1 0x00
000004c2: SWAP1
000004c3: POP
000004c4: JUMPDEST
000004c5: PUSH1 0x01
000004c7: PUSH1 0x00
000004c9: POP
000004ca: DUP1
000004cb: SLOAD
000004cc: SWAP1
000004cd: POP
000004ce: DUP2
000004cf: LT
000004d0: ISZERO
000004d1: PUSH2 0x0540
000004d4: JUMPI
000004d5: DUP3
000004d6: PUSH1 0x01
000004d8: PUSH1 0x00
000004da: POP
000004db: DUP3
000004dc: DUP2
000004dd: SLOAD
000004de: DUP2
000004df: LT
000004e0: ISZERO
000004e1: PUSH2 0x0002
000004e4: JUMPI
000004e5: SWAP1
000004e6: PUSH1 0x00
000004e8: MSTORE
000004e9: PUSH1 0x20
000004eb: PUSH1 0x00
000004ed: KECCAK256
000004ee: SWAP1
000004ef: PUSH1 0x04
000004f1: MUL
000004f2: ADD
000004f3: PUSH1 0x00
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH1 0x03
000004f9: ADD
000004fa: PUSH1 0x00
000004fc: POP
000004fd: SLOAD
000004fe: EQ
000004ff: ISZERO
00000500: PUSH2 0x0532
00000503: JUMPI
00000504: PUSH1 0x01
00000506: PUSH1 0x00
00000508: POP
00000509: DUP2
0000050a: DUP2
0000050b: SLOAD
0000050c: DUP2
0000050d: LT
0000050e: ISZERO
0000050f: PUSH2 0x0002
00000512: JUMPI
00000513: SWAP1
00000514: PUSH1 0x00
00000516: MSTORE
00000517: PUSH1 0x20
00000519: PUSH1 0x00
0000051b: KECCAK256
0000051c: SWAP1
0000051d: PUSH1 0x04
0000051f: MUL
00000520: ADD
00000521: PUSH1 0x00
00000523: JUMPDEST
00000524: POP
00000525: PUSH1 0x01
00000527: ADD
00000528: PUSH1 0x00
0000052a: POP
0000052b: SLOAD
0000052c: SWAP2
0000052d: POP
0000052e: PUSH2 0x0549
00000531: JUMP
00000532: JUMPDEST
00000533: JUMPDEST
00000534: DUP1
00000535: DUP1
00000536: PUSH1 0x01
00000538: ADD
00000539: SWAP2
0000053a: POP
0000053b: POP
0000053c: PUSH2 0x04c4
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x00
00000543: SWAP2
00000544: POP
00000545: PUSH2 0x0549
00000548: JUMP
00000549: JUMPDEST
0000054a: POP
0000054b: SWAP2
0000054c: SWAP1
0000054d: POP
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH1 0x02
00000552: PUSH1 0x00
00000554: POP
00000555: DUP1
00000556: SLOAD
00000557: DUP1
00000558: PUSH1 0x01
0000055a: ADD
0000055b: DUP3
0000055c: DUP2
0000055d: DUP2
0000055e: SLOAD
0000055f: DUP2
00000560: DUP4
00000561: SSTORE
00000562: DUP2
00000563: DUP2
00000564: ISZERO
00000565: GT
00000566: PUSH2 0x05e8
00000569: JUMPI
0000056a: PUSH1 0x04
0000056c: MUL
0000056d: DUP2
0000056e: PUSH1 0x04
00000570: MUL
00000571: DUP4
00000572: PUSH1 0x00
00000574: MSTORE
00000575: PUSH1 0x20
00000577: PUSH1 0x00
00000579: KECCAK256
0000057a: SWAP2
0000057b: DUP3
0000057c: ADD
0000057d: SWAP2
0000057e: ADD
0000057f: PUSH2 0x05e7
00000582: SWAP2
00000583: SWAP1
00000584: PUSH2 0x0588
00000587: JUMP
00000588: JUMPDEST
00000589: DUP1
0000058a: DUP3
0000058b: GT
0000058c: ISZERO
0000058d: PUSH2 0x05e3
00000590: JUMPI
00000591: PUSH1 0x00
00000593: PUSH1 0x00
00000595: DUP3
00000596: ADD
00000597: PUSH1 0x00
00000599: PUSH2 0x0100
0000059c: EXP
0000059d: DUP2
0000059e: SLOAD
0000059f: SWAP1
000005a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b5: MUL
000005b6: NOT
000005b7: AND
000005b8: SWAP1
000005b9: SSTORE
000005ba: PUSH1 0x01
000005bc: DUP3
000005bd: ADD
000005be: PUSH1 0x00
000005c0: POP
000005c1: PUSH1 0x00
000005c3: SWAP1
000005c4: SSTORE
000005c5: PUSH1 0x02
000005c7: DUP3
000005c8: ADD
000005c9: PUSH1 0x00
000005cb: POP
000005cc: PUSH1 0x00
000005ce: SWAP1
000005cf: SSTORE
000005d0: PUSH1 0x03
000005d2: DUP3
000005d3: ADD
000005d4: PUSH1 0x00
000005d6: POP
000005d7: PUSH1 0x00
000005d9: SWAP1
000005da: SSTORE
000005db: POP
000005dc: PUSH1 0x01
000005de: ADD
000005df: PUSH2 0x0588
000005e2: JUMP
000005e3: JUMPDEST
000005e4: POP
000005e5: SWAP1
000005e6: JUMP
000005e7: JUMPDEST
000005e8: JUMPDEST
000005e9: POP
000005ea: POP
000005eb: POP
000005ec: SWAP2
000005ed: SWAP1
000005ee: SWAP1
000005ef: PUSH1 0x00
000005f1: MSTORE
000005f2: PUSH1 0x20
000005f4: PUSH1 0x00
000005f6: KECCAK256
000005f7: SWAP1
000005f8: PUSH1 0x04
000005fa: MUL
000005fb: ADD
000005fc: PUSH1 0x00
000005fe: JUMPDEST
000005ff: PUSH1 0x80
00000601: PUSH1 0x40
00000603: MLOAD
00000604: SWAP1
00000605: DUP2
00000606: ADD
00000607: PUSH1 0x40
00000609: MSTORE
0000060a: DUP1
0000060b: DUP6
0000060c: DUP2
0000060d: MSTORE
0000060e: PUSH1 0x20
00000610: ADD
00000611: PUSH1 0x00
00000613: DUP2
00000614: MSTORE
00000615: PUSH1 0x20
00000617: ADD
00000618: PUSH1 0x00
0000061a: DUP2
0000061b: MSTORE
0000061c: PUSH1 0x20
0000061e: ADD
0000061f: PUSH1 0x03
00000621: PUSH1 0x00
00000623: DUP2
00000624: DUP2
00000625: POP
00000626: SLOAD
00000627: PUSH1 0x01
00000629: ADD
0000062a: SWAP2
0000062b: SWAP1
0000062c: POP
0000062d: DUP2
0000062e: SWAP1
0000062f: SSTORE
00000630: DUP2
00000631: MSTORE
00000632: PUSH1 0x20
00000634: ADD
00000635: POP
00000636: SWAP1
00000637: SWAP2
00000638: SWAP1
00000639: SWAP2
0000063a: POP
0000063b: PUSH1 0x00
0000063d: DUP3
0000063e: ADD
0000063f: MLOAD
00000640: DUP2
00000641: PUSH1 0x00
00000643: ADD
00000644: PUSH1 0x00
00000646: PUSH2 0x0100
00000649: EXP
0000064a: DUP2
0000064b: SLOAD
0000064c: DUP2
0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000662: MUL
00000663: NOT
00000664: AND
00000665: SWAP1
00000666: DUP4
00000667: MUL
00000668: OR
00000669: SWAP1
0000066a: SSTORE
0000066b: POP
0000066c: PUSH1 0x20
0000066e: DUP3
0000066f: ADD
00000670: MLOAD
00000671: DUP2
00000672: PUSH1 0x01
00000674: ADD
00000675: PUSH1 0x00
00000677: POP
00000678: SSTORE
00000679: PUSH1 0x40
0000067b: DUP3
0000067c: ADD
0000067d: MLOAD
0000067e: DUP2
0000067f: PUSH1 0x02
00000681: ADD
00000682: PUSH1 0x00
00000684: POP
00000685: SSTORE
00000686: PUSH1 0x60
00000688: DUP3
00000689: ADD
0000068a: MLOAD
0000068b: DUP2
0000068c: PUSH1 0x03
0000068e: ADD
0000068f: PUSH1 0x00
00000691: POP
00000692: SSTORE
00000693: POP
00000694: POP
00000695: POP
00000696: JUMPDEST
00000697: POP
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH1 0x01
0000069c: PUSH1 0x00
0000069e: POP
0000069f: DUP1
000006a0: SLOAD
000006a1: DUP1
000006a2: PUSH1 0x01
000006a4: ADD
000006a5: DUP3
000006a6: DUP2
000006a7: DUP2
000006a8: SLOAD
000006a9: DUP2
000006aa: DUP4
000006ab: SSTORE
000006ac: DUP2
000006ad: DUP2
000006ae: ISZERO
000006af: GT
000006b0: PUSH2 0x0732
000006b3: JUMPI
000006b4: PUSH1 0x04
000006b6: MUL
000006b7: DUP2
000006b8: PUSH1 0x04
000006ba: MUL
000006bb: DUP4
000006bc: PUSH1 0x00
000006be: MSTORE
000006bf: PUSH1 0x20
000006c1: PUSH1 0x00
000006c3: KECCAK256
000006c4: SWAP2
000006c5: DUP3
000006c6: ADD
000006c7: SWAP2
000006c8: ADD
000006c9: PUSH2 0x0731
000006cc: SWAP2
000006cd: SWAP1
000006ce: PUSH2 0x06d2
000006d1: JUMP
000006d2: JUMPDEST
000006d3: DUP1
000006d4: DUP3
000006d5: GT
000006d6: ISZERO
000006d7: PUSH2 0x072d
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: PUSH1 0x00
000006df: DUP3
000006e0: ADD
000006e1: PUSH1 0x00
000006e3: PUSH2 0x0100
000006e6: EXP
000006e7: DUP2
000006e8: SLOAD
000006e9: SWAP1
000006ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ff: MUL
00000700: NOT
00000701: AND
00000702: SWAP1
00000703: SSTORE
00000704: PUSH1 0x01
00000706: DUP3
00000707: ADD
00000708: PUSH1 0x00
0000070a: POP
0000070b: PUSH1 0x00
0000070d: SWAP1
0000070e: SSTORE
0000070f: PUSH1 0x02
00000711: DUP3
00000712: ADD
00000713: PUSH1 0x00
00000715: POP
00000716: PUSH1 0x00
00000718: SWAP1
00000719: SSTORE
0000071a: PUSH1 0x03
0000071c: DUP3
0000071d: ADD
0000071e: PUSH1 0x00
00000720: POP
00000721: PUSH1 0x00
00000723: SWAP1
00000724: SSTORE
00000725: POP
00000726: PUSH1 0x01
00000728: ADD
00000729: PUSH2 0x06d2
0000072c: JUMP
0000072d: JUMPDEST
0000072e: POP
0000072f: SWAP1
00000730: JUMP
00000731: JUMPDEST
00000732: JUMPDEST
00000733: POP
00000734: POP
00000735: POP
00000736: SWAP2
00000737: SWAP1
00000738: SWAP1
00000739: PUSH1 0x00
0000073b: MSTORE
0000073c: PUSH1 0x20
0000073e: PUSH1 0x00
00000740: KECCAK256
00000741: SWAP1
00000742: PUSH1 0x04
00000744: MUL
00000745: ADD
00000746: PUSH1 0x00
00000748: JUMPDEST
00000749: PUSH1 0x80
0000074b: PUSH1 0x40
0000074d: MLOAD
0000074e: SWAP1
0000074f: DUP2
00000750: ADD
00000751: PUSH1 0x40
00000753: MSTORE
00000754: DUP1
00000755: DUP6
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x20
0000075a: ADD
0000075b: PUSH1 0x00
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x20
00000761: ADD
00000762: PUSH1 0x00
00000764: DUP2
00000765: MSTORE
00000766: PUSH1 0x20
00000768: ADD
00000769: PUSH1 0x04
0000076b: PUSH1 0x00
0000076d: DUP2
0000076e: DUP2
0000076f: POP
00000770: SLOAD
00000771: PUSH1 0x01
00000773: ADD
00000774: SWAP2
00000775: SWAP1
00000776: POP
00000777: DUP2
00000778: SWAP1
00000779: SSTORE
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: ADD
0000077f: POP
00000780: SWAP1
00000781: SWAP2
00000782: SWAP1
00000783: SWAP2
00000784: POP
00000785: PUSH1 0x00
00000787: DUP3
00000788: ADD
00000789: MLOAD
0000078a: DUP2
0000078b: PUSH1 0x00
0000078d: ADD
0000078e: PUSH1 0x00
00000790: PUSH2 0x0100
00000793: EXP
00000794: DUP2
00000795: SLOAD
00000796: DUP2
00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ac: MUL
000007ad: NOT
000007ae: AND
000007af: SWAP1
000007b0: DUP4
000007b1: MUL
000007b2: OR
000007b3: SWAP1
000007b4: SSTORE
000007b5: POP
000007b6: PUSH1 0x20
000007b8: DUP3
000007b9: ADD
000007ba: MLOAD
000007bb: DUP2
000007bc: PUSH1 0x01
000007be: ADD
000007bf: PUSH1 0x00
000007c1: POP
000007c2: SSTORE
000007c3: PUSH1 0x40
000007c5: DUP3
000007c6: ADD
000007c7: MLOAD
000007c8: DUP2
000007c9: PUSH1 0x02
000007cb: ADD
000007cc: PUSH1 0x00
000007ce: POP
000007cf: SSTORE
000007d0: PUSH1 0x60
000007d2: DUP3
000007d3: ADD
000007d4: MLOAD
000007d5: DUP2
000007d6: PUSH1 0x03
000007d8: ADD
000007d9: PUSH1 0x00
000007db: POP
000007dc: SSTORE
000007dd: POP
000007de: POP
000007df: POP
000007e0: JUMPDEST
000007e1: POP
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x00
000007e6: PUSH1 0x00
000007e8: NUMBER
000007e9: PUSH32 0x5d6ac9b7defd8fbb29ef2ab0f08c3744192b3777466dd98d1fd7daed5064b6db
0000080a: CALLER
0000080b: CALLVALUE
0000080c: TIMESTAMP
0000080d: PUSH1 0x40
0000080f: MLOAD
00000810: DUP1
00000811: DUP5
00000812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000827: AND
00000828: DUP2
00000829: MSTORE
0000082a: PUSH1 0x20
0000082c: ADD
0000082d: DUP4
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: ADD
00000833: DUP3
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x20
00000838: ADD
00000839: SWAP4
0000083a: POP
0000083b: POP
0000083c: POP
0000083d: POP
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: DUP1
00000842: SWAP2
00000843: SUB
00000844: SWAP1
00000845: LOG2
00000846: PUSH1 0x01
00000848: PUSH1 0x00
0000084a: POP
0000084b: DUP1
0000084c: SLOAD
0000084d: SWAP1
0000084e: POP
0000084f: PUSH1 0x00
00000851: CALLVALUE
00000852: MUL
00000853: DIV
00000854: SWAP2
00000855: POP
00000856: PUSH1 0x00
00000858: SWAP1
00000859: POP
0000085a: JUMPDEST
0000085b: PUSH1 0x01
0000085d: PUSH1 0x00
0000085f: POP
00000860: DUP1
00000861: SLOAD
00000862: SWAP1
00000863: POP
00000864: DUP2
00000865: LT
00000866: ISZERO
00000867: PUSH2 0x08ac
0000086a: JUMPI
0000086b: DUP2
0000086c: PUSH1 0x01
0000086e: PUSH1 0x00
00000870: POP
00000871: DUP3
00000872: DUP2
00000873: SLOAD
00000874: DUP2
00000875: LT
00000876: ISZERO
00000877: PUSH2 0x0002
0000087a: JUMPI
0000087b: SWAP1
0000087c: PUSH1 0x00
0000087e: MSTORE
0000087f: PUSH1 0x20
00000881: PUSH1 0x00
00000883: KECCAK256
00000884: SWAP1
00000885: PUSH1 0x04
00000887: MUL
00000888: ADD
00000889: PUSH1 0x00
0000088b: JUMPDEST
0000088c: POP
0000088d: PUSH1 0x01
0000088f: ADD
00000890: PUSH1 0x00
00000892: DUP3
00000893: DUP3
00000894: DUP3
00000895: POP
00000896: SLOAD
00000897: ADD
00000898: SWAP3
00000899: POP
0000089a: POP
0000089b: DUP2
0000089c: SWAP1
0000089d: SSTORE
0000089e: POP
0000089f: JUMPDEST
000008a0: DUP1
000008a1: DUP1
000008a2: PUSH1 0x01
000008a4: ADD
000008a5: SWAP2
000008a6: POP
000008a7: POP
000008a8: PUSH2 0x085a
000008ab: JUMP
000008ac: JUMPDEST
000008ad: JUMPDEST
000008ae: POP
000008af: POP
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH1 0x00
000008b4: PUSH1 0x00
000008b6: PUSH1 0x00
000008b8: SWAP1
000008b9: SLOAD
000008ba: SWAP1
000008bb: PUSH2 0x0100
000008be: EXP
000008bf: SWAP1
000008c0: DIV
000008c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d6: AND
000008d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ec: AND
000008ed: CALLER
000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000903: AND
00000904: EQ
00000905: ISZERO
00000906: PUSH2 0x0af6
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: SWAP1
0000090d: POP
0000090e: JUMPDEST
0000090f: PUSH1 0x01
00000911: PUSH1 0x00
00000913: POP
00000914: DUP1
00000915: SLOAD
00000916: SWAP1
00000917: POP
00000918: DUP2
00000919: LT
0000091a: ISZERO
0000091b: PUSH2 0x0af5
0000091e: JUMPI
0000091f: NUMBER
00000920: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00000941: PUSH1 0x01
00000943: PUSH1 0x00
00000945: POP
00000946: DUP4
00000947: DUP2
00000948: SLOAD
00000949: DUP2
0000094a: LT
0000094b: ISZERO
0000094c: PUSH2 0x0002
0000094f: JUMPI
00000950: SWAP1
00000951: PUSH1 0x00
00000953: MSTORE
00000954: PUSH1 0x20
00000956: PUSH1 0x00
00000958: KECCAK256
00000959: SWAP1
0000095a: PUSH1 0x04
0000095c: MUL
0000095d: ADD
0000095e: PUSH1 0x00
00000960: JUMPDEST
00000961: POP
00000962: PUSH1 0x00
00000964: ADD
00000965: PUSH1 0x00
00000967: SWAP1
00000968: SLOAD
00000969: SWAP1
0000096a: PUSH2 0x0100
0000096d: EXP
0000096e: SWAP1
0000096f: DIV
00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000985: AND
00000986: PUSH1 0x01
00000988: PUSH1 0x00
0000098a: POP
0000098b: DUP5
0000098c: DUP2
0000098d: SLOAD
0000098e: DUP2
0000098f: LT
00000990: ISZERO
00000991: PUSH2 0x0002
00000994: JUMPI
00000995: SWAP1
00000996: PUSH1 0x00
00000998: MSTORE
00000999: PUSH1 0x20
0000099b: PUSH1 0x00
0000099d: KECCAK256
0000099e: SWAP1
0000099f: PUSH1 0x04
000009a1: MUL
000009a2: ADD
000009a3: PUSH1 0x00
000009a5: JUMPDEST
000009a6: POP
000009a7: PUSH1 0x01
000009a9: ADD
000009aa: PUSH1 0x00
000009ac: POP
000009ad: SLOAD
000009ae: TIMESTAMP
000009af: PUSH1 0x40
000009b1: MLOAD
000009b2: DUP1
000009b3: DUP5
000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c9: AND
000009ca: DUP2
000009cb: MSTORE
000009cc: PUSH1 0x20
000009ce: ADD
000009cf: DUP4
000009d0: DUP2
000009d1: MSTORE
000009d2: PUSH1 0x20
000009d4: ADD
000009d5: DUP3
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x20
000009da: ADD
000009db: SWAP4
000009dc: POP
000009dd: POP
000009de: POP
000009df: POP
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: DUP1
000009e4: SWAP2
000009e5: SUB
000009e6: SWAP1
000009e7: LOG2
000009e8: PUSH1 0x01
000009ea: PUSH1 0x00
000009ec: POP
000009ed: DUP2
000009ee: DUP2
000009ef: SLOAD
000009f0: DUP2
000009f1: LT
000009f2: ISZERO
000009f3: PUSH2 0x0002
000009f6: JUMPI
000009f7: SWAP1
000009f8: PUSH1 0x00
000009fa: MSTORE
000009fb: PUSH1 0x20
000009fd: PUSH1 0x00
000009ff: KECCAK256
00000a00: SWAP1
00000a01: PUSH1 0x04
00000a03: MUL
00000a04: ADD
00000a05: PUSH1 0x00
00000a07: JUMPDEST
00000a08: POP
00000a09: PUSH1 0x00
00000a0b: ADD
00000a0c: PUSH1 0x00
00000a0e: SWAP1
00000a0f: SLOAD
00000a10: SWAP1
00000a11: PUSH2 0x0100
00000a14: EXP
00000a15: SWAP1
00000a16: DIV
00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2c: AND
00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a42: AND
00000a43: PUSH1 0x00
00000a45: PUSH1 0x01
00000a47: PUSH1 0x00
00000a49: POP
00000a4a: DUP4
00000a4b: DUP2
00000a4c: SLOAD
00000a4d: DUP2
00000a4e: LT
00000a4f: ISZERO
00000a50: PUSH2 0x0002
00000a53: JUMPI
00000a54: SWAP1
00000a55: PUSH1 0x00
00000a57: MSTORE
00000a58: PUSH1 0x20
00000a5a: PUSH1 0x00
00000a5c: KECCAK256
00000a5d: SWAP1
00000a5e: PUSH1 0x04
00000a60: MUL
00000a61: ADD
00000a62: PUSH1 0x00
00000a64: JUMPDEST
00000a65: POP
00000a66: PUSH1 0x01
00000a68: ADD
00000a69: PUSH1 0x00
00000a6b: POP
00000a6c: SLOAD
00000a6d: PUSH1 0x40
00000a6f: MLOAD
00000a70: DUP1
00000a71: SWAP1
00000a72: POP
00000a73: PUSH1 0x00
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: DUP1
00000a79: DUP4
00000a7a: SUB
00000a7b: DUP2
00000a7c: DUP6
00000a7d: DUP9
00000a7e: DUP9
00000a7f: CALL
00000a80: SWAP4
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: POP
00000a85: POP
00000a86: PUSH1 0x00
00000a88: PUSH1 0x01
00000a8a: PUSH1 0x00
00000a8c: POP
00000a8d: DUP3
00000a8e: DUP2
00000a8f: SLOAD
00000a90: DUP2
00000a91: LT
00000a92: ISZERO
00000a93: PUSH2 0x0002
00000a96: JUMPI
00000a97: SWAP1
00000a98: PUSH1 0x00
00000a9a: MSTORE
00000a9b: PUSH1 0x20
00000a9d: PUSH1 0x00
00000a9f: KECCAK256
00000aa0: SWAP1
00000aa1: PUSH1 0x04
00000aa3: MUL
00000aa4: ADD
00000aa5: PUSH1 0x00
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: PUSH1 0x01
00000aab: ADD
00000aac: PUSH1 0x00
00000aae: POP
00000aaf: DUP2
00000ab0: SWAP1
00000ab1: SSTORE
00000ab2: POP
00000ab3: PUSH1 0x01
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0x00
00000ab9: POP
00000aba: DUP3
00000abb: DUP2
00000abc: SLOAD
00000abd: DUP2
00000abe: LT
00000abf: ISZERO
00000ac0: PUSH2 0x0002
00000ac3: JUMPI
00000ac4: SWAP1
00000ac5: PUSH1 0x00
00000ac7: MSTORE
00000ac8: PUSH1 0x20
00000aca: PUSH1 0x00
00000acc: KECCAK256
00000acd: SWAP1
00000ace: PUSH1 0x04
00000ad0: MUL
00000ad1: ADD
00000ad2: PUSH1 0x00
00000ad4: JUMPDEST
00000ad5: POP
00000ad6: PUSH1 0x02
00000ad8: ADD
00000ad9: PUSH1 0x00
00000adb: DUP3
00000adc: DUP3
00000add: DUP3
00000ade: POP
00000adf: SLOAD
00000ae0: ADD
00000ae1: SWAP3
00000ae2: POP
00000ae3: POP
00000ae4: DUP2
00000ae5: SWAP1
00000ae6: SSTORE
00000ae7: POP
00000ae8: JUMPDEST
00000ae9: DUP1
00000aea: DUP1
00000aeb: PUSH1 0x01
00000aed: ADD
00000aee: SWAP2
00000aef: POP
00000af0: POP
00000af1: PUSH2 0x090e
00000af4: JUMP
00000af5: JUMPDEST
00000af6: JUMPDEST
00000af7: JUMPDEST
00000af8: POP
00000af9: JUMP
00000afa: JUMPDEST
00000afb: PUSH1 0x00
00000afd: PUSH1 0x00
00000aff: SWAP1
00000b00: SLOAD
00000b01: SWAP1
00000b02: PUSH2 0x0100
00000b05: EXP
00000b06: SWAP1
00000b07: DIV
00000b08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1d: AND
00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b33: AND
00000b34: CALLER
00000b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4a: AND
00000b4b: EQ
00000b4c: ISZERO
00000b4d: PUSH2 0x0bca
00000b50: JUMPI
00000b51: DUP1
00000b52: PUSH1 0x02
00000b54: PUSH1 0x00
00000b56: POP
00000b57: DUP5
00000b58: DUP2
00000b59: SLOAD
00000b5a: DUP2
00000b5b: LT
00000b5c: ISZERO
00000b5d: PUSH2 0x0002
00000b60: JUMPI
00000b61: SWAP1
00000b62: PUSH1 0x00
00000b64: MSTORE
00000b65: PUSH1 0x20
00000b67: PUSH1 0x00
00000b69: KECCAK256
00000b6a: SWAP1
00000b6b: PUSH1 0x04
00000b6d: MUL
00000b6e: ADD
00000b6f: PUSH1 0x00
00000b71: JUMPDEST
00000b72: POP
00000b73: PUSH1 0x01
00000b75: ADD
00000b76: PUSH1 0x00
00000b78: POP
00000b79: DUP2
00000b7a: SWAP1
00000b7b: SSTORE
00000b7c: POP
00000b7d: DUP2
00000b7e: PUSH1 0x02
00000b80: PUSH1 0x00
00000b82: POP
00000b83: DUP5
00000b84: DUP2
00000b85: SLOAD
00000b86: DUP2
00000b87: LT
00000b88: ISZERO
00000b89: PUSH2 0x0002
00000b8c: JUMPI
00000b8d: SWAP1
00000b8e: PUSH1 0x00
00000b90: MSTORE
00000b91: PUSH1 0x20
00000b93: PUSH1 0x00
00000b95: KECCAK256
00000b96: SWAP1
00000b97: PUSH1 0x04
00000b99: MUL
00000b9a: ADD
00000b9b: PUSH1 0x00
00000b9d: JUMPDEST
00000b9e: POP
00000b9f: PUSH1 0x00
00000ba1: ADD
00000ba2: PUSH1 0x00
00000ba4: PUSH2 0x0100
00000ba7: EXP
00000ba8: DUP2
00000ba9: SLOAD
00000baa: DUP2
00000bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc0: MUL
00000bc1: NOT
00000bc2: AND
00000bc3: SWAP1
00000bc4: DUP4
00000bc5: MUL
00000bc6: OR
00000bc7: SWAP1
00000bc8: SSTORE
00000bc9: POP
00000bca: JUMPDEST
00000bcb: JUMPDEST
00000bcc: POP
00000bcd: POP
00000bce: POP
00000bcf: JUMP
00000bd0: JUMPDEST
00000bd1: PUSH1 0x00
00000bd3: PUSH1 0x00
00000bd5: PUSH1 0x00
00000bd7: SWAP1
00000bd8: SLOAD
00000bd9: SWAP1
00000bda: PUSH2 0x0100
00000bdd: EXP
00000bde: SWAP1
00000bdf: DIV
00000be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf5: AND
00000bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0b: AND
00000c0c: CALLER
00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c22: AND
00000c23: EQ
00000c24: ISZERO
00000c25: PUSH2 0x0e15
00000c28: JUMPI
00000c29: PUSH1 0x00
00000c2b: SWAP1
00000c2c: POP
00000c2d: JUMPDEST
00000c2e: PUSH1 0x02
00000c30: PUSH1 0x00
00000c32: POP
00000c33: DUP1
00000c34: SLOAD
00000c35: SWAP1
00000c36: POP
00000c37: DUP2
00000c38: LT
00000c39: ISZERO
00000c3a: PUSH2 0x0e14
00000c3d: JUMPI
00000c3e: NUMBER
00000c3f: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00000c60: PUSH1 0x02
00000c62: PUSH1 0x00
00000c64: POP
00000c65: DUP4
00000c66: DUP2
00000c67: SLOAD
00000c68: DUP2
00000c69: LT
00000c6a: ISZERO
00000c6b: PUSH2 0x0002
00000c6e: JUMPI
00000c6f: SWAP1
00000c70: PUSH1 0x00
00000c72: MSTORE
00000c73: PUSH1 0x20
00000c75: PUSH1 0x00
00000c77: KECCAK256
00000c78: SWAP1
00000c79: PUSH1 0x04
00000c7b: MUL
00000c7c: ADD
00000c7d: PUSH1 0x00
00000c7f: JUMPDEST
00000c80: POP
00000c81: PUSH1 0x00
00000c83: ADD
00000c84: PUSH1 0x00
00000c86: SWAP1
00000c87: SLOAD
00000c88: SWAP1
00000c89: PUSH2 0x0100
00000c8c: EXP
00000c8d: SWAP1
00000c8e: DIV
00000c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca4: AND
00000ca5: PUSH1 0x02
00000ca7: PUSH1 0x00
00000ca9: POP
00000caa: DUP5
00000cab: DUP2
00000cac: SLOAD
00000cad: DUP2
00000cae: LT
00000caf: ISZERO
00000cb0: PUSH2 0x0002
00000cb3: JUMPI
00000cb4: SWAP1
00000cb5: PUSH1 0x00
00000cb7: MSTORE
00000cb8: PUSH1 0x20
00000cba: PUSH1 0x00
00000cbc: KECCAK256
00000cbd: SWAP1
00000cbe: PUSH1 0x04
00000cc0: MUL
00000cc1: ADD
00000cc2: PUSH1 0x00
00000cc4: JUMPDEST
00000cc5: POP
00000cc6: PUSH1 0x01
00000cc8: ADD
00000cc9: PUSH1 0x00
00000ccb: POP
00000ccc: SLOAD
00000ccd: TIMESTAMP
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: DUP1
00000cd2: DUP5
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: ADD
00000cee: DUP4
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: DUP3
00000cf5: DUP2
00000cf6: MSTORE
00000cf7: PUSH1 0x20
00000cf9: ADD
00000cfa: SWAP4
00000cfb: POP
00000cfc: POP
00000cfd: POP
00000cfe: POP
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: DUP1
00000d03: SWAP2
00000d04: SUB
00000d05: SWAP1
00000d06: LOG2
00000d07: PUSH1 0x02
00000d09: PUSH1 0x00
00000d0b: POP
00000d0c: DUP2
00000d0d: DUP2
00000d0e: SLOAD
00000d0f: DUP2
00000d10: LT
00000d11: ISZERO
00000d12: PUSH2 0x0002
00000d15: JUMPI
00000d16: SWAP1
00000d17: PUSH1 0x00
00000d19: MSTORE
00000d1a: PUSH1 0x20
00000d1c: PUSH1 0x00
00000d1e: KECCAK256
00000d1f: SWAP1
00000d20: PUSH1 0x04
00000d22: MUL
00000d23: ADD
00000d24: PUSH1 0x00
00000d26: JUMPDEST
00000d27: POP
00000d28: PUSH1 0x00
00000d2a: ADD
00000d2b: PUSH1 0x00
00000d2d: SWAP1
00000d2e: SLOAD
00000d2f: SWAP1
00000d30: PUSH2 0x0100
00000d33: EXP
00000d34: SWAP1
00000d35: DIV
00000d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4b: AND
00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d61: AND
00000d62: PUSH1 0x00
00000d64: PUSH1 0x02
00000d66: PUSH1 0x00
00000d68: POP
00000d69: DUP4
00000d6a: DUP2
00000d6b: SLOAD
00000d6c: DUP2
00000d6d: LT
00000d6e: ISZERO
00000d6f: PUSH2 0x0002
00000d72: JUMPI
00000d73: SWAP1
00000d74: PUSH1 0x00
00000d76: MSTORE
00000d77: PUSH1 0x20
00000d79: PUSH1 0x00
00000d7b: KECCAK256
00000d7c: SWAP1
00000d7d: PUSH1 0x04
00000d7f: MUL
00000d80: ADD
00000d81: PUSH1 0x00
00000d83: JUMPDEST
00000d84: POP
00000d85: PUSH1 0x01
00000d87: ADD
00000d88: PUSH1 0x00
00000d8a: POP
00000d8b: SLOAD
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: DUP1
00000d90: SWAP1
00000d91: POP
00000d92: PUSH1 0x00
00000d94: PUSH1 0x40
00000d96: MLOAD
00000d97: DUP1
00000d98: DUP4
00000d99: SUB
00000d9a: DUP2
00000d9b: DUP6
00000d9c: DUP9
00000d9d: DUP9
00000d9e: CALL
00000d9f: SWAP4
00000da0: POP
00000da1: POP
00000da2: POP
00000da3: POP
00000da4: POP
00000da5: PUSH1 0x00
00000da7: PUSH1 0x02
00000da9: PUSH1 0x00
00000dab: POP
00000dac: DUP3
00000dad: DUP2
00000dae: SLOAD
00000daf: DUP2
00000db0: LT
00000db1: ISZERO
00000db2: PUSH2 0x0002
00000db5: JUMPI
00000db6: SWAP1
00000db7: PUSH1 0x00
00000db9: MSTORE
00000dba: PUSH1 0x20
00000dbc: PUSH1 0x00
00000dbe: KECCAK256
00000dbf: SWAP1
00000dc0: PUSH1 0x04
00000dc2: MUL
00000dc3: ADD
00000dc4: PUSH1 0x00
00000dc6: JUMPDEST
00000dc7: POP
00000dc8: PUSH1 0x01
00000dca: ADD
00000dcb: PUSH1 0x00
00000dcd: POP
00000dce: DUP2
00000dcf: SWAP1
00000dd0: SSTORE
00000dd1: POP
00000dd2: PUSH1 0x01
00000dd4: PUSH1 0x02
00000dd6: PUSH1 0x00
00000dd8: POP
00000dd9: DUP3
00000dda: DUP2
00000ddb: SLOAD
00000ddc: DUP2
00000ddd: LT
00000dde: ISZERO
00000ddf: PUSH2 0x0002
00000de2: JUMPI
00000de3: SWAP1
00000de4: PUSH1 0x00
00000de6: MSTORE
00000de7: PUSH1 0x20
00000de9: PUSH1 0x00
00000deb: KECCAK256
00000dec: SWAP1
00000ded: PUSH1 0x04
00000def: MUL
00000df0: ADD
00000df1: PUSH1 0x00
00000df3: JUMPDEST
00000df4: POP
00000df5: PUSH1 0x02
00000df7: ADD
00000df8: PUSH1 0x00
00000dfa: DUP3
00000dfb: DUP3
00000dfc: DUP3
00000dfd: POP
00000dfe: SLOAD
00000dff: ADD
00000e00: SWAP3
00000e01: POP
00000e02: POP
00000e03: DUP2
00000e04: SWAP1
00000e05: SSTORE
00000e06: POP
00000e07: JUMPDEST
00000e08: DUP1
00000e09: DUP1
00000e0a: PUSH1 0x01
00000e0c: ADD
00000e0d: SWAP2
00000e0e: POP
00000e0f: POP
00000e10: PUSH2 0x0c2d
00000e13: JUMP
00000e14: JUMPDEST
00000e15: JUMPDEST
00000e16: JUMPDEST
00000e17: POP
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: PUSH1 0x00
00000e1c: PUSH1 0x00
00000e1e: PUSH1 0x00
00000e20: SWAP1
00000e21: SLOAD
00000e22: SWAP1
00000e23: PUSH2 0x0100
00000e26: EXP
00000e27: SWAP1
00000e28: DIV
00000e29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3e: AND
00000e3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e54: AND
00000e55: CALLER
00000e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6b: AND
00000e6c: EQ
00000e6d: ISZERO
00000e6e: PUSH2 0x1182
00000e71: JUMPI
00000e72: PUSH1 0x00
00000e74: SWAP1
00000e75: POP
00000e76: JUMPDEST
00000e77: PUSH1 0x01
00000e79: PUSH1 0x00
00000e7b: POP
00000e7c: DUP1
00000e7d: SLOAD
00000e7e: SWAP1
00000e7f: POP
00000e80: DUP2
00000e81: LT
00000e82: ISZERO
00000e83: PUSH2 0x1065
00000e86: JUMPI
00000e87: NUMBER
00000e88: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00000ea9: PUSH1 0x01
00000eab: PUSH1 0x00
00000ead: POP
00000eae: DUP4
00000eaf: DUP2
00000eb0: SLOAD
00000eb1: DUP2
00000eb2: LT
00000eb3: ISZERO
00000eb4: PUSH2 0x0002
00000eb7: JUMPI
00000eb8: SWAP1
00000eb9: PUSH1 0x00
00000ebb: MSTORE
00000ebc: PUSH1 0x20
00000ebe: PUSH1 0x00
00000ec0: KECCAK256
00000ec1: SWAP1
00000ec2: PUSH1 0x04
00000ec4: MUL
00000ec5: ADD
00000ec6: PUSH1 0x00
00000ec8: JUMPDEST
00000ec9: POP
00000eca: PUSH1 0x00
00000ecc: ADD
00000ecd: PUSH1 0x00
00000ecf: SWAP1
00000ed0: SLOAD
00000ed1: SWAP1
00000ed2: PUSH2 0x0100
00000ed5: EXP
00000ed6: SWAP1
00000ed7: DIV
00000ed8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eed: AND
00000eee: PUSH1 0x01
00000ef0: PUSH1 0x00
00000ef2: POP
00000ef3: DUP5
00000ef4: DUP2
00000ef5: SLOAD
00000ef6: DUP2
00000ef7: LT
00000ef8: ISZERO
00000ef9: PUSH2 0x0002
00000efc: JUMPI
00000efd: SWAP1
00000efe: PUSH1 0x00
00000f00: MSTORE
00000f01: PUSH1 0x20
00000f03: PUSH1 0x00
00000f05: KECCAK256
00000f06: SWAP1
00000f07: PUSH1 0x04
00000f09: MUL
00000f0a: ADD
00000f0b: PUSH1 0x00
00000f0d: JUMPDEST
00000f0e: POP
00000f0f: PUSH1 0x01
00000f11: ADD
00000f12: PUSH1 0x00
00000f14: POP
00000f15: SLOAD
00000f16: TIMESTAMP
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: DUP1
00000f1b: DUP5
00000f1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f31: AND
00000f32: DUP2
00000f33: MSTORE
00000f34: PUSH1 0x20
00000f36: ADD
00000f37: DUP4
00000f38: DUP2
00000f39: MSTORE
00000f3a: PUSH1 0x20
00000f3c: ADD
00000f3d: DUP3
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x20
00000f42: ADD
00000f43: SWAP4
00000f44: POP
00000f45: POP
00000f46: POP
00000f47: POP
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: DUP1
00000f4c: SWAP2
00000f4d: SUB
00000f4e: SWAP1
00000f4f: LOG2
00000f50: PUSH1 0x01
00000f52: PUSH1 0x00
00000f54: POP
00000f55: DUP2
00000f56: DUP2
00000f57: SLOAD
00000f58: DUP2
00000f59: LT
00000f5a: ISZERO
00000f5b: PUSH2 0x0002
00000f5e: JUMPI
00000f5f: SWAP1
00000f60: PUSH1 0x00
00000f62: MSTORE
00000f63: PUSH1 0x20
00000f65: PUSH1 0x00
00000f67: KECCAK256
00000f68: SWAP1
00000f69: PUSH1 0x04
00000f6b: MUL
00000f6c: ADD
00000f6d: PUSH1 0x00
00000f6f: JUMPDEST
00000f70: POP
00000f71: PUSH1 0x00
00000f73: ADD
00000f74: PUSH1 0x00
00000f76: SWAP1
00000f77: SLOAD
00000f78: SWAP1
00000f79: PUSH2 0x0100
00000f7c: EXP
00000f7d: SWAP1
00000f7e: DIV
00000f7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f94: AND
00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faa: AND
00000fab: PUSH1 0x00
00000fad: PUSH1 0x01
00000faf: PUSH1 0x00
00000fb1: POP
00000fb2: DUP4
00000fb3: DUP2
00000fb4: SLOAD
00000fb5: DUP2
00000fb6: LT
00000fb7: ISZERO
00000fb8: PUSH2 0x0002
00000fbb: JUMPI
00000fbc: SWAP1
00000fbd: PUSH1 0x00
00000fbf: MSTORE
00000fc0: PUSH1 0x20
00000fc2: PUSH1 0x00
00000fc4: KECCAK256
00000fc5: SWAP1
00000fc6: PUSH1 0x04
00000fc8: MUL
00000fc9: ADD
00000fca: PUSH1 0x00
00000fcc: JUMPDEST
00000fcd: POP
00000fce: PUSH1 0x01
00000fd0: ADD
00000fd1: PUSH1 0x00
00000fd3: POP
00000fd4: SLOAD
00000fd5: PUSH1 0x40
00000fd7: MLOAD
00000fd8: DUP1
00000fd9: SWAP1
00000fda: POP
00000fdb: PUSH1 0x00
00000fdd: PUSH1 0x40
00000fdf: MLOAD
00000fe0: DUP1
00000fe1: DUP4
00000fe2: SUB
00000fe3: DUP2
00000fe4: DUP6
00000fe5: DUP9
00000fe6: DUP9
00000fe7: CALL
00000fe8: SWAP4
00000fe9: POP
00000fea: POP
00000feb: POP
00000fec: POP
00000fed: POP
00000fee: PUSH1 0x00
00000ff0: PUSH1 0x01
00000ff2: PUSH1 0x00
00000ff4: POP
00000ff5: DUP3
00000ff6: DUP2
00000ff7: SLOAD
00000ff8: DUP2
00000ff9: LT
00000ffa: ISZERO
00000ffb: PUSH2 0x0002
00000ffe: JUMPI
00000fff: SWAP1
00001000: PUSH1 0x00
00001002: MSTORE
00001003: PUSH1 0x20
00001005: PUSH1 0x00
00001007: KECCAK256
00001008: SWAP1
00001009: PUSH1 0x04
0000100b: MUL
0000100c: ADD
0000100d: PUSH1 0x00
0000100f: JUMPDEST
00001010: POP
00001011: PUSH1 0x01
00001013: ADD
00001014: PUSH1 0x00
00001016: DUP3
00001017: DUP3
00001018: DUP3
00001019: POP
0000101a: SLOAD
0000101b: ADD
0000101c: SWAP3
0000101d: POP
0000101e: POP
0000101f: DUP2
00001020: SWAP1
00001021: SSTORE
00001022: POP
00001023: PUSH1 0x01
00001025: PUSH1 0x01
00001027: PUSH1 0x00
00001029: POP
0000102a: DUP3
0000102b: DUP2
0000102c: SLOAD
0000102d: DUP2
0000102e: LT
0000102f: ISZERO
00001030: PUSH2 0x0002
00001033: JUMPI
00001034: SWAP1
00001035: PUSH1 0x00
00001037: MSTORE
00001038: PUSH1 0x20
0000103a: PUSH1 0x00
0000103c: KECCAK256
0000103d: SWAP1
0000103e: PUSH1 0x04
00001040: MUL
00001041: ADD
00001042: PUSH1 0x00
00001044: JUMPDEST
00001045: POP
00001046: PUSH1 0x02
00001048: ADD
00001049: PUSH1 0x00
0000104b: DUP3
0000104c: DUP3
0000104d: DUP3
0000104e: POP
0000104f: SLOAD
00001050: ADD
00001051: SWAP3
00001052: POP
00001053: POP
00001054: DUP2
00001055: SWAP1
00001056: SSTORE
00001057: POP
00001058: JUMPDEST
00001059: DUP1
0000105a: DUP1
0000105b: PUSH1 0x01
0000105d: ADD
0000105e: SWAP2
0000105f: POP
00001060: POP
00001061: PUSH2 0x0e76
00001064: JUMP
00001065: JUMPDEST
00001066: NUMBER
00001067: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00001088: PUSH1 0x00
0000108a: PUSH1 0x00
0000108c: SWAP1
0000108d: SLOAD
0000108e: SWAP1
0000108f: PUSH2 0x0100
00001092: EXP
00001093: SWAP1
00001094: DIV
00001095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010aa: AND
000010ab: ADDRESS
000010ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c1: AND
000010c2: BALANCE
000010c3: TIMESTAMP
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: DUP1
000010c8: DUP5
000010c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010de: AND
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: DUP4
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x20
000010e9: ADD
000010ea: DUP3
000010eb: DUP2
000010ec: MSTORE
000010ed: PUSH1 0x20
000010ef: ADD
000010f0: SWAP4
000010f1: POP
000010f2: POP
000010f3: POP
000010f4: POP
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: DUP1
000010f9: SWAP2
000010fa: SUB
000010fb: SWAP1
000010fc: LOG2
000010fd: PUSH1 0x00
000010ff: PUSH1 0x00
00001101: SWAP1
00001102: SLOAD
00001103: SWAP1
00001104: PUSH2 0x0100
00001107: EXP
00001108: SWAP1
00001109: DIV
0000110a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111f: AND
00001120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001135: AND
00001136: PUSH1 0x00
00001138: ADDRESS
00001139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114e: AND
0000114f: BALANCE
00001150: PUSH1 0x40
00001152: MLOAD
00001153: DUP1
00001154: SWAP1
00001155: POP
00001156: PUSH1 0x00
00001158: PUSH1 0x40
0000115a: MLOAD
0000115b: DUP1
0000115c: DUP4
0000115d: SUB
0000115e: DUP2
0000115f: DUP6
00001160: DUP9
00001161: DUP9
00001162: CALL
00001163: SWAP4
00001164: POP
00001165: POP
00001166: POP
00001167: POP
00001168: POP
00001169: PUSH1 0x01
0000116b: PUSH1 0x00
0000116d: PUSH1 0x14
0000116f: PUSH2 0x0100
00001172: EXP
00001173: DUP2
00001174: SLOAD
00001175: DUP2
00001176: PUSH1 0xff
00001178: MUL
00001179: NOT
0000117a: AND
0000117b: SWAP1
0000117c: DUP4
0000117d: MUL
0000117e: OR
0000117f: SWAP1
00001180: SSTORE
00001181: POP
00001182: JUMPDEST
00001183: JUMPDEST
00001184: POP
00001185: 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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x17ca66b80a6f18d50df2e72bb4bf084e3f65b6846e8f19ce2c9a592eb3b28d00
call_targets: 0xfc508b6cf5e70b61627ea22e721c980cca64581d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x17ca66b80a6f18d50df2e72bb4bf084e3f65b6846e8f19ce2c9a592eb3b28d00",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfc508b6cf5e70b61627ea22e721c980cca64581d"
    ],
    "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": "0x3f9effdc",
            "selector": "0x3f9effdc",
            "calldata_variants": [
                "0x3f9effdc",
                "0x3f9effdc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4001a81f",
            "selector": "0x4001a81f",
            "calldata_variants": [
                "0x4001a81f",
                "0x4001a81f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4049700f",
            "selector": "0x4049700f",
            "calldata_variants": [
                "0x4049700f",
                "0x4049700f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x99baa10c",
            "selector": "0x99baa10c",
            "calldata_variants": [
                "0x99baa10c",
                "0x99baa10c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3934658",
            "selector": "0xa3934658",
            "calldata_variants": [
                "0xa3934658",
                "0xa39346580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3486,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4071,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 1103,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2285,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2868,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3084,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3669,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x17ca66b80a6f18d50df2e72bb4bf084e3f65b6846e8f19ce2c9a592eb3b28d00
call_targets: 0xfc508b6cf5e70b61627ea22e721c980cca64581d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x17ca66b80a6f18d50df2e72bb4bf084e3f65b6846e8f19ce2c9a592eb3b28d00",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfc508b6cf5e70b61627ea22e721c980cca64581d"
    ],
    "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": "0x3f9effdc",
            "selector": "0x3f9effdc",
            "calldata_variants": [
                "0x3f9effdc",
                "0x3f9effdc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4001a81f",
            "selector": "0x4001a81f",
            "calldata_variants": [
                "0x4001a81f",
                "0x4001a81f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4049700f",
            "selector": "0x4049700f",
            "calldata_variants": [
                "0x4049700f",
                "0x4049700f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x99baa10c",
            "selector": "0x99baa10c",
            "calldata_variants": [
                "0x99baa10c",
                "0x99baa10c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3934658",
            "selector": "0xa3934658",
            "calldata_variants": [
                "0xa3934658",
                "0xa39346580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3486,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4071,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 1103,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2285,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2868,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3084,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3669,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}