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

Analysis Run

019b477e-ada5-7307-9878-d42b82fb017a

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
21459 artifact.fetch complete 1 / 3 3 months ago
21460 tool.cast_disasm complete 1 / 3 3 months ago
101191 analysis.bundle complete 1 / 3 1 week ago
101192 capability.graph complete 1 / 3 1 week ago
101193 detector.run complete 1 / 3 1 week ago
101194 validation.fork complete 1 / 3 1 week ago

Artifact

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

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
2
CALL-family (heavy)
11
EXT*/BALANCE
5
Total opcodes
3114
Flags
create_opcodes_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0166
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x03f257aa
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x032a
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x06fdde03
0000002d: EQ
0000002e: PUSH2 0x035d
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x07efbf2b
00000038: EQ
00000039: PUSH2 0x03e7
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x095ea7b3
00000043: EQ
00000044: PUSH2 0x040c
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x0d1fce42
0000004e: EQ
0000004f: PUSH2 0x042e
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x117803e3
00000059: EQ
0000005a: PUSH2 0x0441
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x18160ddd
00000064: EQ
00000065: PUSH2 0x0470
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x23b872dd
0000006f: EQ
00000070: PUSH2 0x0483
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x27e235e3
0000007a: EQ
0000007b: PUSH2 0x04ab
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x2cc5cfd6
00000085: EQ
00000086: PUSH2 0x04ca
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x313ce567
00000090: EQ
00000091: PUSH2 0x04eb
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x3760ceb0
0000009b: EQ
0000009c: PUSH2 0x0514
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x5c658165
000000a6: EQ
000000a7: PUSH2 0x0527
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x66479c08
000000b1: EQ
000000b2: PUSH2 0x054c
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x70a08231
000000bc: EQ
000000bd: PUSH2 0x0562
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x7a09588b
000000c7: EQ
000000c8: PUSH2 0x0581
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x85d02c8a
000000d2: EQ
000000d3: PUSH2 0x0594
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x8a99fc87
000000dd: EQ
000000de: PUSH2 0x05aa
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x92f52ddf
000000e8: EQ
000000e9: PUSH2 0x05c9
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x95d89b41
000000f3: EQ
000000f4: PUSH2 0x05dc
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x9696ef66
000000fe: EQ
000000ff: PUSH2 0x05ef
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa9059cbb
00000109: EQ
0000010a: PUSH2 0x0602
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xb4a9d156
00000114: EQ
00000115: PUSH2 0x0624
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xbecd0580
0000011f: EQ
00000120: PUSH2 0x063a
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xc4628520
0000012a: EQ
0000012b: PUSH2 0x065c
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xdab78820
00000135: EQ
00000136: PUSH2 0x0672
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xdd62ed3e
00000140: EQ
00000141: PUSH2 0x0694
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xf2fde38b
0000014b: EQ
0000014c: PUSH2 0x06b9
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0xf8dad3db
00000156: EQ
00000157: PUSH2 0x06d8
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0xfbe00e8e
00000161: EQ
00000162: PUSH2 0x06eb
00000165: JUMPI
00000166: JUMPDEST
00000167: PUSH1 0x00
00000169: DUP1
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: PUSH1 0x00
00000172: PUSH2 0x0182
00000175: PUSH2 0x017c
00000178: PUSH2 0x06f3
0000017b: JUMP
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: PUSH2 0x0710
00000181: JUMP
00000182: JUMPDEST
00000183: SWAP7
00000184: POP
00000185: PUSH1 0x01
00000187: SLOAD
00000188: SWAP6
00000189: POP
0000018a: DUP6
0000018b: DUP8
0000018c: LT
0000018d: DUP1
0000018e: ISZERO
0000018f: PUSH2 0x0197
00000192: JUMPI
00000193: POP
00000194: CALLVALUE
00000195: ISZERO
00000196: ISZERO
00000197: JUMPDEST
00000198: ISZERO
00000199: ISZERO
0000019a: PUSH2 0x01a2
0000019d: JUMPI
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: PUSH1 0x08
000001a5: SLOAD
000001a6: SWAP5
000001a7: POP
000001a8: DUP6
000001a9: PUSH2 0x01b2
000001ac: DUP9
000001ad: CALLVALUE
000001ae: PUSH2 0x0722
000001b1: JUMP
000001b2: JUMPDEST
000001b3: GT
000001b4: ISZERO
000001b5: PUSH2 0x01d9
000001b8: JUMPI
000001b9: PUSH1 0x01
000001bb: SWAP3
000001bc: POP
000001bd: PUSH2 0x01c6
000001c0: DUP7
000001c1: DUP9
000001c2: PUSH2 0x0710
000001c5: JUMP
000001c6: JUMPDEST
000001c7: SWAP4
000001c8: POP
000001c9: PUSH2 0x01d2
000001cc: CALLVALUE
000001cd: DUP6
000001ce: PUSH2 0x0710
000001d1: JUMP
000001d2: JUMPDEST
000001d3: SWAP2
000001d4: POP
000001d5: PUSH2 0x01dd
000001d8: JUMP
000001d9: JUMPDEST
000001da: CALLVALUE
000001db: SWAP4
000001dc: POP
000001dd: JUMPDEST
000001de: DUP5
000001df: ISZERO
000001e0: PUSH2 0x01ff
000001e3: JUMPI
000001e4: DUP7
000001e5: PUSH2 0x01ee
000001e8: DUP6
000001e9: DUP8
000001ea: PUSH2 0x073c
000001ed: JUMP
000001ee: JUMPDEST
000001ef: DUP2
000001f0: ISZERO
000001f1: ISZERO
000001f2: PUSH2 0x01f7
000001f5: JUMPI
000001f6: INVALID
000001f7: JUMPDEST
000001f8: DIV
000001f9: SWAP1
000001fa: POP
000001fb: PUSH2 0x020d
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH2 0x020a
00000203: DUP5
00000204: PUSH1 0x64
00000206: PUSH2 0x073c
00000209: JUMP
0000020a: JUMPDEST
0000020b: SWAP1
0000020c: POP
0000020d: JUMPDEST
0000020e: PUSH2 0x0217
00000211: DUP6
00000212: DUP3
00000213: PUSH2 0x0722
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x08
0000021a: SSTORE
0000021b: PUSH1 0x01
0000021d: PUSH1 0xa0
0000021f: PUSH1 0x02
00000221: EXP
00000222: SUB
00000223: CALLER
00000224: AND
00000225: PUSH1 0x00
00000227: SWAP1
00000228: DUP2
00000229: MSTORE
0000022a: PUSH1 0x09
0000022c: PUSH1 0x20
0000022e: MSTORE
0000022f: PUSH1 0x40
00000231: SWAP1
00000232: KECCAK256
00000233: SLOAD
00000234: PUSH2 0x023d
00000237: SWAP1
00000238: DUP3
00000239: PUSH2 0x0722
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x01
00000240: PUSH1 0xa0
00000242: PUSH1 0x02
00000244: EXP
00000245: SUB
00000246: CALLER
00000247: AND
00000248: PUSH1 0x00
0000024a: SWAP1
0000024b: DUP2
0000024c: MSTORE
0000024d: PUSH1 0x09
0000024f: PUSH1 0x20
00000251: SWAP1
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x40
00000256: DUP1
00000257: DUP4
00000258: KECCAK256
00000259: SWAP4
0000025a: SWAP1
0000025b: SWAP4
0000025c: SSTORE
0000025d: PUSH1 0x07
0000025f: SWAP1
00000260: MSTORE
00000261: KECCAK256
00000262: TIMESTAMP
00000263: SWAP1
00000264: SSTORE
00000265: DUP3
00000266: ISZERO
00000267: PUSH2 0x029b
0000026a: JUMPI
0000026b: PUSH1 0x01
0000026d: PUSH1 0xa0
0000026f: PUSH1 0x02
00000271: EXP
00000272: SUB
00000273: CALLER
00000274: AND
00000275: DUP3
00000276: ISZERO
00000277: PUSH2 0x08fc
0000027a: MUL
0000027b: DUP4
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: PUSH1 0x00
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: DUP4
00000286: SUB
00000287: DUP2
00000288: DUP6
00000289: DUP9
0000028a: DUP9
0000028b: CALL
0000028c: SWAP4
0000028d: POP
0000028e: POP
0000028f: POP
00000290: POP
00000291: ISZERO
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: PUSH32 0x880064a83c1fa6ca713bd8984374de84e55e28cbf7e8300163a0f4775e67dc34
000002bd: CALLER
000002be: DUP6
000002bf: DUP4
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: DUP5
000002c5: PUSH1 0x01
000002c7: PUSH1 0xa0
000002c9: PUSH1 0x02
000002cb: EXP
000002cc: SUB
000002cd: AND
000002ce: PUSH1 0x01
000002d0: PUSH1 0xa0
000002d2: PUSH1 0x02
000002d4: EXP
000002d5: SUB
000002d6: AND
000002d7: DUP2
000002d8: MSTORE
000002d9: PUSH1 0x20
000002db: ADD
000002dc: DUP4
000002dd: DUP2
000002de: MSTORE
000002df: PUSH1 0x20
000002e1: ADD
000002e2: DUP3
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: SWAP4
000002e9: POP
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: LOG1
000002f5: CALLER
000002f6: PUSH1 0x01
000002f8: PUSH1 0xa0
000002fa: PUSH1 0x02
000002fc: EXP
000002fd: SUB
000002fe: AND
000002ff: PUSH1 0x00
00000301: PUSH1 0x00
00000303: DUP1
00000304: MLOAD
00000305: PUSH1 0x20
00000307: PUSH2 0x11b8
0000030a: DUP4
0000030b: CODECOPY
0000030c: DUP2
0000030d: MLOAD
0000030e: SWAP2
0000030f: MSTORE
00000310: DUP4
00000311: PUSH1 0x40
00000313: MLOAD
00000314: SWAP1
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x20
00000319: ADD
0000031a: PUSH1 0x40
0000031c: MLOAD
0000031d: DUP1
0000031e: SWAP2
0000031f: SUB
00000320: SWAP1
00000321: LOG3
00000322: POP
00000323: POP
00000324: POP
00000325: POP
00000326: POP
00000327: POP
00000328: POP
00000329: STOP
0000032a: JUMPDEST
0000032b: CALLVALUE
0000032c: ISZERO
0000032d: PUSH2 0x0335
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP1
00000334: REVERT
00000335: JUMPDEST
00000336: PUSH2 0x0349
00000339: PUSH1 0x01
0000033b: PUSH1 0xa0
0000033d: PUSH1 0x02
0000033f: EXP
00000340: SUB
00000341: PUSH1 0x04
00000343: CALLDATALOAD
00000344: AND
00000345: PUSH2 0x0767
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: SWAP1
0000034e: ISZERO
0000034f: ISZERO
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: ADD
00000355: PUSH1 0x40
00000357: MLOAD
00000358: DUP1
00000359: SWAP2
0000035a: SUB
0000035b: SWAP1
0000035c: RETURN
0000035d: JUMPDEST
0000035e: CALLVALUE
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: PUSH2 0x0370
0000036c: PUSH2 0x077c
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH1 0x40
00000373: MLOAD
00000374: PUSH1 0x20
00000376: DUP1
00000377: DUP3
00000378: MSTORE
00000379: DUP2
0000037a: SWAP1
0000037b: DUP2
0000037c: ADD
0000037d: DUP4
0000037e: DUP2
0000037f: DUP2
00000380: MLOAD
00000381: DUP2
00000382: MSTORE
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP2
00000387: POP
00000388: DUP1
00000389: MLOAD
0000038a: SWAP1
0000038b: PUSH1 0x20
0000038d: ADD
0000038e: SWAP1
0000038f: DUP1
00000390: DUP4
00000391: DUP4
00000392: PUSH1 0x00
00000394: JUMPDEST
00000395: DUP4
00000396: DUP2
00000397: LT
00000398: ISZERO
00000399: PUSH2 0x03ac
0000039c: JUMPI
0000039d: DUP1
0000039e: DUP3
0000039f: ADD
000003a0: MLOAD
000003a1: DUP4
000003a2: DUP3
000003a3: ADD
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: PUSH2 0x0394
000003ab: JUMP
000003ac: JUMPDEST
000003ad: POP
000003ae: POP
000003af: POP
000003b0: POP
000003b1: SWAP1
000003b2: POP
000003b3: SWAP1
000003b4: DUP2
000003b5: ADD
000003b6: SWAP1
000003b7: PUSH1 0x1f
000003b9: AND
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03d9
000003bf: JUMPI
000003c0: DUP1
000003c1: DUP3
000003c2: SUB
000003c3: DUP1
000003c4: MLOAD
000003c5: PUSH1 0x01
000003c7: DUP4
000003c8: PUSH1 0x20
000003ca: SUB
000003cb: PUSH2 0x0100
000003ce: EXP
000003cf: SUB
000003d0: NOT
000003d1: AND
000003d2: DUP2
000003d3: MSTORE
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: SWAP2
000003d8: POP
000003d9: JUMPDEST
000003da: POP
000003db: SWAP3
000003dc: POP
000003dd: POP
000003de: POP
000003df: PUSH1 0x40
000003e1: MLOAD
000003e2: DUP1
000003e3: SWAP2
000003e4: SUB
000003e5: SWAP1
000003e6: RETURN
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: PUSH2 0x03fa
000003f6: PUSH2 0x07b3
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH1 0x40
000003fd: MLOAD
000003fe: SWAP1
000003ff: DUP2
00000400: MSTORE
00000401: PUSH1 0x20
00000403: ADD
00000404: PUSH1 0x40
00000406: MLOAD
00000407: DUP1
00000408: SWAP2
00000409: SUB
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: PUSH2 0x0349
0000041b: PUSH1 0x01
0000041d: PUSH1 0xa0
0000041f: PUSH1 0x02
00000421: EXP
00000422: SUB
00000423: PUSH1 0x04
00000425: CALLDATALOAD
00000426: AND
00000427: PUSH1 0x24
00000429: CALLDATALOAD
0000042a: PUSH2 0x07b9
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: PUSH2 0x03fa
0000043d: PUSH2 0x06f3
00000440: JUMP
00000441: JUMPDEST
00000442: CALLVALUE
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: PUSH2 0x0454
00000450: PUSH2 0x0825
00000453: JUMP
00000454: JUMPDEST
00000455: PUSH1 0x40
00000457: MLOAD
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: PUSH1 0x02
0000045e: EXP
0000045f: SUB
00000460: SWAP1
00000461: SWAP2
00000462: AND
00000463: DUP2
00000464: MSTORE
00000465: PUSH1 0x20
00000467: ADD
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: SWAP2
0000046d: SUB
0000046e: SWAP1
0000046f: RETURN
00000470: JUMPDEST
00000471: CALLVALUE
00000472: ISZERO
00000473: PUSH2 0x047b
00000476: JUMPI
00000477: PUSH1 0x00
00000479: DUP1
0000047a: REVERT
0000047b: JUMPDEST
0000047c: PUSH2 0x03fa
0000047f: PUSH2 0x0834
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: PUSH2 0x0349
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: PUSH1 0x02
00000498: EXP
00000499: SUB
0000049a: PUSH1 0x04
0000049c: CALLDATALOAD
0000049d: DUP2
0000049e: AND
0000049f: SWAP1
000004a0: PUSH1 0x24
000004a2: CALLDATALOAD
000004a3: AND
000004a4: PUSH1 0x44
000004a6: CALLDATALOAD
000004a7: PUSH2 0x083a
000004aa: JUMP
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: PUSH2 0x03fa
000004ba: PUSH1 0x01
000004bc: PUSH1 0xa0
000004be: PUSH1 0x02
000004c0: EXP
000004c1: SUB
000004c2: PUSH1 0x04
000004c4: CALLDATALOAD
000004c5: AND
000004c6: PUSH2 0x09dc
000004c9: JUMP
000004ca: JUMPDEST
000004cb: CALLVALUE
000004cc: ISZERO
000004cd: PUSH2 0x04d5
000004d0: JUMPI
000004d1: PUSH1 0x00
000004d3: DUP1
000004d4: REVERT
000004d5: JUMPDEST
000004d6: PUSH2 0x04e9
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: PUSH1 0x02
000004df: EXP
000004e0: SUB
000004e1: PUSH1 0x04
000004e3: CALLDATALOAD
000004e4: AND
000004e5: PUSH2 0x09ee
000004e8: JUMP
000004e9: JUMPDEST
000004ea: STOP
000004eb: JUMPDEST
000004ec: CALLVALUE
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: PUSH2 0x04fe
000004fa: PUSH2 0x0b0b
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x40
00000501: MLOAD
00000502: PUSH1 0xff
00000504: SWAP1
00000505: SWAP2
00000506: AND
00000507: DUP2
00000508: MSTORE
00000509: PUSH1 0x20
0000050b: ADD
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: DUP1
00000510: SWAP2
00000511: SUB
00000512: SWAP1
00000513: RETURN
00000514: JUMPDEST
00000515: CALLVALUE
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: PUSH2 0x03fa
00000523: PUSH2 0x0b10
00000526: JUMP
00000527: JUMPDEST
00000528: CALLVALUE
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: PUSH2 0x03fa
00000536: PUSH1 0x01
00000538: PUSH1 0xa0
0000053a: PUSH1 0x02
0000053c: EXP
0000053d: SUB
0000053e: PUSH1 0x04
00000540: CALLDATALOAD
00000541: DUP2
00000542: AND
00000543: SWAP1
00000544: PUSH1 0x24
00000546: CALLDATALOAD
00000547: AND
00000548: PUSH2 0x0b16
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: PUSH2 0x04e9
0000055b: PUSH1 0x04
0000055d: CALLDATALOAD
0000055e: PUSH2 0x0b33
00000561: JUMP
00000562: JUMPDEST
00000563: CALLVALUE
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: PUSH2 0x03fa
00000571: PUSH1 0x01
00000573: PUSH1 0xa0
00000575: PUSH1 0x02
00000577: EXP
00000578: SUB
00000579: PUSH1 0x04
0000057b: CALLDATALOAD
0000057c: AND
0000057d: PUSH2 0x0bad
00000580: JUMP
00000581: JUMPDEST
00000582: CALLVALUE
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: PUSH2 0x04e9
00000590: PUSH2 0x0bc8
00000593: JUMP
00000594: JUMPDEST
00000595: CALLVALUE
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: PUSH2 0x04e9
000005a3: PUSH1 0x04
000005a5: CALLDATALOAD
000005a6: PUSH2 0x0bec
000005a9: JUMP
000005aa: JUMPDEST
000005ab: CALLVALUE
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: PUSH2 0x03fa
000005b9: PUSH1 0x01
000005bb: PUSH1 0xa0
000005bd: PUSH1 0x02
000005bf: EXP
000005c0: SUB
000005c1: PUSH1 0x04
000005c3: CALLDATALOAD
000005c4: AND
000005c5: PUSH2 0x0c0c
000005c8: JUMP
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: PUSH2 0x0454
000005d8: PUSH2 0x0c27
000005db: JUMP
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: ISZERO
000005df: PUSH2 0x05e7
000005e2: JUMPI
000005e3: PUSH1 0x00
000005e5: DUP1
000005e6: REVERT
000005e7: JUMPDEST
000005e8: PUSH2 0x0370
000005eb: PUSH2 0x0c36
000005ee: JUMP
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: PUSH2 0x0454
000005fe: PUSH2 0x0c6d
00000601: JUMP
00000602: JUMPDEST
00000603: CALLVALUE
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: PUSH2 0x0349
00000611: PUSH1 0x01
00000613: PUSH1 0xa0
00000615: PUSH1 0x02
00000617: EXP
00000618: SUB
00000619: PUSH1 0x04
0000061b: CALLDATALOAD
0000061c: AND
0000061d: PUSH1 0x24
0000061f: CALLDATALOAD
00000620: PUSH2 0x0c7c
00000623: JUMP
00000624: JUMPDEST
00000625: CALLVALUE
00000626: ISZERO
00000627: PUSH2 0x062f
0000062a: JUMPI
0000062b: PUSH1 0x00
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: PUSH2 0x04e9
00000633: PUSH1 0x04
00000635: CALLDATALOAD
00000636: PUSH2 0x0da0
00000639: JUMP
0000063a: JUMPDEST
0000063b: CALLVALUE
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: PUSH2 0x04e9
00000649: PUSH1 0x04
0000064b: CALLDATALOAD
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: PUSH1 0x24
00000656: CALLDATALOAD
00000657: AND
00000658: PUSH2 0x0dd1
0000065b: JUMP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: ISZERO
0000065f: PUSH2 0x0667
00000662: JUMPI
00000663: PUSH1 0x00
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: PUSH2 0x04e9
0000066b: PUSH1 0x04
0000066d: CALLDATALOAD
0000066e: PUSH2 0x0eed
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: PUSH2 0x04e9
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: PUSH1 0x02
00000687: EXP
00000688: SUB
00000689: PUSH1 0x04
0000068b: CALLDATALOAD
0000068c: AND
0000068d: PUSH1 0x24
0000068f: CALLDATALOAD
00000690: PUSH2 0x1087
00000693: JUMP
00000694: JUMPDEST
00000695: CALLVALUE
00000696: ISZERO
00000697: PUSH2 0x069f
0000069a: JUMPI
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: REVERT
0000069f: JUMPDEST
000006a0: PUSH2 0x03fa
000006a3: PUSH1 0x01
000006a5: PUSH1 0xa0
000006a7: PUSH1 0x02
000006a9: EXP
000006aa: SUB
000006ab: PUSH1 0x04
000006ad: CALLDATALOAD
000006ae: DUP2
000006af: AND
000006b0: SWAP1
000006b1: PUSH1 0x24
000006b3: CALLDATALOAD
000006b4: AND
000006b5: PUSH2 0x1111
000006b8: JUMP
000006b9: JUMPDEST
000006ba: CALLVALUE
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: PUSH2 0x04e9
000006c8: PUSH1 0x01
000006ca: PUSH1 0xa0
000006cc: PUSH1 0x02
000006ce: EXP
000006cf: SUB
000006d0: PUSH1 0x04
000006d2: CALLDATALOAD
000006d3: AND
000006d4: PUSH2 0x113c
000006d7: JUMP
000006d8: JUMPDEST
000006d9: CALLVALUE
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: PUSH2 0x03fa
000006e7: PUSH2 0x1186
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH2 0x04e9
000006ef: PUSH2 0x118c
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH1 0x00
000006f6: PUSH2 0x070b
000006f9: ADDRESS
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: PUSH1 0x02
00000700: EXP
00000701: SUB
00000702: AND
00000703: BALANCE
00000704: PUSH1 0x03
00000706: SLOAD
00000707: PUSH2 0x0710
0000070a: JUMP
0000070b: JUMPDEST
0000070c: SWAP1
0000070d: POP
0000070e: SWAP1
0000070f: JUMP
00000710: JUMPDEST
00000711: PUSH1 0x00
00000713: DUP3
00000714: DUP3
00000715: GT
00000716: ISZERO
00000717: PUSH2 0x071c
0000071a: JUMPI
0000071b: INVALID
0000071c: JUMPDEST
0000071d: POP
0000071e: SWAP1
0000071f: SUB
00000720: SWAP1
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x00
00000725: DUP3
00000726: DUP3
00000727: ADD
00000728: DUP4
00000729: DUP2
0000072a: LT
0000072b: ISZERO
0000072c: PUSH2 0x0731
0000072f: JUMPI
00000730: INVALID
00000731: JUMPDEST
00000732: DUP1
00000733: SWAP2
00000734: POP
00000735: JUMPDEST
00000736: POP
00000737: SWAP3
00000738: SWAP2
00000739: POP
0000073a: POP
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: DUP4
00000741: ISZERO
00000742: ISZERO
00000743: PUSH2 0x074f
00000746: JUMPI
00000747: PUSH1 0x00
00000749: SWAP2
0000074a: POP
0000074b: PUSH2 0x0735
0000074e: JUMP
0000074f: JUMPDEST
00000750: POP
00000751: DUP3
00000752: DUP3
00000753: MUL
00000754: DUP3
00000755: DUP5
00000756: DUP3
00000757: DUP2
00000758: ISZERO
00000759: ISZERO
0000075a: PUSH2 0x075f
0000075d: JUMPI
0000075e: INVALID
0000075f: JUMPDEST
00000760: DIV
00000761: EQ
00000762: PUSH2 0x0731
00000765: JUMPI
00000766: INVALID
00000767: JUMPDEST
00000768: PUSH1 0x04
0000076a: PUSH1 0x20
0000076c: MSTORE
0000076d: PUSH1 0x00
0000076f: SWAP1
00000770: DUP2
00000771: MSTORE
00000772: PUSH1 0x40
00000774: SWAP1
00000775: KECCAK256
00000776: SLOAD
00000777: PUSH1 0xff
00000779: AND
0000077a: DUP2
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH1 0x40
0000077f: DUP1
00000780: MLOAD
00000781: SWAP1
00000782: DUP2
00000783: ADD
00000784: PUSH1 0x40
00000786: MSTORE
00000787: PUSH1 0x13
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH32 0x454f53426574205374616b6520546f6b656e7300000000000000000000000000
000007ac: PUSH1 0x20
000007ae: DUP3
000007af: ADD
000007b0: MSTORE
000007b1: DUP2
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x03
000007b6: SLOAD
000007b7: DUP2
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH1 0x01
000007bc: PUSH1 0xa0
000007be: PUSH1 0x02
000007c0: EXP
000007c1: SUB
000007c2: CALLER
000007c3: DUP2
000007c4: AND
000007c5: PUSH1 0x00
000007c7: DUP2
000007c8: DUP2
000007c9: MSTORE
000007ca: PUSH1 0x0a
000007cc: PUSH1 0x20
000007ce: SWAP1
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x40
000007d3: DUP1
000007d4: DUP4
000007d5: KECCAK256
000007d6: SWAP5
000007d7: DUP8
000007d8: AND
000007d9: DUP1
000007da: DUP5
000007db: MSTORE
000007dc: SWAP5
000007dd: SWAP1
000007de: SWAP2
000007df: MSTORE
000007e0: DUP1
000007e1: DUP3
000007e2: KECCAK256
000007e3: DUP6
000007e4: SWAP1
000007e5: SSTORE
000007e6: SWAP1
000007e7: SWAP3
000007e8: SWAP2
000007e9: SWAP1
000007ea: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000080b: SWAP1
0000080c: DUP6
0000080d: SWAP1
0000080e: MLOAD
0000080f: SWAP1
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: PUSH1 0x40
00000817: MLOAD
00000818: DUP1
00000819: SWAP2
0000081a: SUB
0000081b: SWAP1
0000081c: LOG3
0000081d: POP
0000081e: PUSH1 0x01
00000820: SWAP3
00000821: SWAP2
00000822: POP
00000823: POP
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH1 0x00
00000828: SLOAD
00000829: PUSH1 0x01
0000082b: PUSH1 0xa0
0000082d: PUSH1 0x02
0000082f: EXP
00000830: SUB
00000831: AND
00000832: DUP2
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH1 0x08
00000837: SLOAD
00000838: SWAP1
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH1 0x01
0000083d: PUSH1 0xa0
0000083f: PUSH1 0x02
00000841: EXP
00000842: SUB
00000843: DUP1
00000844: DUP5
00000845: AND
00000846: PUSH1 0x00
00000848: SWAP1
00000849: DUP2
0000084a: MSTORE
0000084b: PUSH1 0x0a
0000084d: PUSH1 0x20
0000084f: SWAP1
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x40
00000854: DUP1
00000855: DUP4
00000856: KECCAK256
00000857: CALLER
00000858: SWAP1
00000859: SWAP5
0000085a: AND
0000085b: DUP4
0000085c: MSTORE
0000085d: SWAP3
0000085e: SWAP1
0000085f: MSTORE
00000860: SWAP1
00000861: DUP2
00000862: KECCAK256
00000863: SLOAD
00000864: DUP3
00000865: SWAP1
00000866: LT
00000867: DUP1
00000868: ISZERO
00000869: SWAP1
0000086a: PUSH2 0x088c
0000086d: JUMPI
0000086e: POP
0000086f: PUSH1 0x01
00000871: PUSH1 0xa0
00000873: PUSH1 0x02
00000875: EXP
00000876: SUB
00000877: DUP5
00000878: AND
00000879: PUSH1 0x00
0000087b: SWAP1
0000087c: DUP2
0000087d: MSTORE
0000087e: PUSH1 0x09
00000880: PUSH1 0x20
00000882: MSTORE
00000883: PUSH1 0x40
00000885: SWAP1
00000886: KECCAK256
00000887: SLOAD
00000888: DUP3
00000889: SWAP1
0000088a: LT
0000088b: ISZERO
0000088c: JUMPDEST
0000088d: DUP1
0000088e: ISZERO
0000088f: PUSH2 0x08b5
00000892: JUMPI
00000893: POP
00000894: PUSH1 0x02
00000896: SLOAD
00000897: PUSH1 0x01
00000899: PUSH1 0xa0
0000089b: PUSH1 0x02
0000089d: EXP
0000089e: SUB
0000089f: DUP6
000008a0: AND
000008a1: PUSH1 0x00
000008a3: SWAP1
000008a4: DUP2
000008a5: MSTORE
000008a6: PUSH1 0x07
000008a8: PUSH1 0x20
000008aa: MSTORE
000008ab: PUSH1 0x40
000008ad: SWAP1
000008ae: KECCAK256
000008af: SLOAD
000008b0: TIMESTAMP
000008b1: SWAP2
000008b2: ADD
000008b3: GT
000008b4: ISZERO
000008b5: JUMPDEST
000008b6: DUP1
000008b7: ISZERO
000008b8: PUSH2 0x08d3
000008bb: JUMPI
000008bc: POP
000008bd: ADDRESS
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: PUSH1 0x02
000008c4: EXP
000008c5: SUB
000008c6: AND
000008c7: DUP4
000008c8: PUSH1 0x01
000008ca: PUSH1 0xa0
000008cc: PUSH1 0x02
000008ce: EXP
000008cf: SUB
000008d0: AND
000008d1: EQ
000008d2: ISZERO
000008d3: JUMPDEST
000008d4: DUP1
000008d5: ISZERO
000008d6: PUSH2 0x08e7
000008d9: JUMPI
000008da: POP
000008db: PUSH1 0x01
000008dd: PUSH1 0xa0
000008df: PUSH1 0x02
000008e1: EXP
000008e2: SUB
000008e3: DUP4
000008e4: AND
000008e5: ISZERO
000008e6: ISZERO
000008e7: JUMPDEST
000008e8: ISZERO
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: PUSH1 0x02
000008f9: EXP
000008fa: SUB
000008fb: DUP4
000008fc: AND
000008fd: PUSH1 0x00
000008ff: SWAP1
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x09
00000904: PUSH1 0x20
00000906: MSTORE
00000907: PUSH1 0x40
00000909: SWAP1
0000090a: KECCAK256
0000090b: SLOAD
0000090c: PUSH2 0x0915
0000090f: SWAP1
00000910: DUP4
00000911: PUSH2 0x0722
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH1 0x01
00000918: PUSH1 0xa0
0000091a: PUSH1 0x02
0000091c: EXP
0000091d: SUB
0000091e: DUP1
0000091f: DUP6
00000920: AND
00000921: PUSH1 0x00
00000923: SWAP1
00000924: DUP2
00000925: MSTORE
00000926: PUSH1 0x09
00000928: PUSH1 0x20
0000092a: MSTORE
0000092b: PUSH1 0x40
0000092d: DUP1
0000092e: DUP3
0000092f: KECCAK256
00000930: SWAP4
00000931: SWAP1
00000932: SWAP4
00000933: SSTORE
00000934: SWAP1
00000935: DUP7
00000936: AND
00000937: DUP2
00000938: MSTORE
00000939: KECCAK256
0000093a: SLOAD
0000093b: PUSH2 0x0944
0000093e: SWAP1
0000093f: DUP4
00000940: PUSH2 0x0710
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x01
00000947: PUSH1 0xa0
00000949: PUSH1 0x02
0000094b: EXP
0000094c: SUB
0000094d: DUP1
0000094e: DUP7
0000094f: AND
00000950: PUSH1 0x00
00000952: SWAP1
00000953: DUP2
00000954: MSTORE
00000955: PUSH1 0x09
00000957: PUSH1 0x20
00000959: SWAP1
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x40
0000095e: DUP1
0000095f: DUP4
00000960: KECCAK256
00000961: SWAP5
00000962: SWAP1
00000963: SWAP5
00000964: SSTORE
00000965: PUSH1 0x0a
00000967: DUP2
00000968: MSTORE
00000969: DUP4
0000096a: DUP3
0000096b: KECCAK256
0000096c: CALLER
0000096d: SWAP1
0000096e: SWAP4
0000096f: AND
00000970: DUP3
00000971: MSTORE
00000972: SWAP2
00000973: SWAP1
00000974: SWAP2
00000975: MSTORE
00000976: KECCAK256
00000977: SLOAD
00000978: PUSH2 0x0981
0000097b: SWAP1
0000097c: DUP4
0000097d: PUSH2 0x0710
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH1 0x01
00000984: PUSH1 0xa0
00000986: PUSH1 0x02
00000988: EXP
00000989: SUB
0000098a: DUP1
0000098b: DUP7
0000098c: AND
0000098d: PUSH1 0x00
0000098f: DUP2
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x0a
00000994: PUSH1 0x20
00000996: SWAP1
00000997: DUP2
00000998: MSTORE
00000999: PUSH1 0x40
0000099b: DUP1
0000099c: DUP4
0000099d: KECCAK256
0000099e: CALLER
0000099f: DUP7
000009a0: AND
000009a1: DUP5
000009a2: MSTORE
000009a3: SWAP1
000009a4: SWAP2
000009a5: MSTORE
000009a6: SWAP1
000009a7: DUP2
000009a8: SWAP1
000009a9: KECCAK256
000009aa: SWAP4
000009ab: SWAP1
000009ac: SWAP4
000009ad: SSTORE
000009ae: SWAP1
000009af: DUP6
000009b0: AND
000009b1: SWAP2
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: MLOAD
000009b6: PUSH1 0x20
000009b8: PUSH2 0x11b8
000009bb: DUP4
000009bc: CODECOPY
000009bd: DUP2
000009be: MLOAD
000009bf: SWAP2
000009c0: MSTORE
000009c1: SWAP1
000009c2: DUP6
000009c3: SWAP1
000009c4: MLOAD
000009c5: SWAP1
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: ADD
000009cb: PUSH1 0x40
000009cd: MLOAD
000009ce: DUP1
000009cf: SWAP2
000009d0: SUB
000009d1: SWAP1
000009d2: LOG3
000009d3: POP
000009d4: PUSH1 0x01
000009d6: SWAP4
000009d7: SWAP3
000009d8: POP
000009d9: POP
000009da: POP
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x09
000009df: PUSH1 0x20
000009e1: MSTORE
000009e2: PUSH1 0x00
000009e4: SWAP1
000009e5: DUP2
000009e6: MSTORE
000009e7: PUSH1 0x40
000009e9: SWAP1
000009ea: KECCAK256
000009eb: SLOAD
000009ec: DUP2
000009ed: JUMP
000009ee: JUMPDEST
000009ef: PUSH1 0x00
000009f1: DUP1
000009f2: SLOAD
000009f3: CALLER
000009f4: PUSH1 0x01
000009f6: PUSH1 0xa0
000009f8: PUSH1 0x02
000009fa: EXP
000009fb: SUB
000009fc: SWAP1
000009fd: DUP2
000009fe: AND
000009ff: SWAP2
00000a00: AND
00000a01: EQ
00000a02: PUSH2 0x0a0a
00000a05: JUMPI
00000a06: PUSH1 0x00
00000a08: DUP1
00000a09: REVERT
00000a0a: JUMPDEST
00000a0b: PUSH1 0x05
00000a0d: SLOAD
00000a0e: PUSH1 0x01
00000a10: PUSH1 0xa0
00000a12: PUSH1 0x02
00000a14: EXP
00000a15: SUB
00000a16: AND
00000a17: PUSH4 0x8579c10e
00000a1c: DUP4
00000a1d: PUSH1 0x40
00000a1f: MLOAD
00000a20: PUSH1 0xe0
00000a22: PUSH1 0x02
00000a24: EXP
00000a25: PUSH4 0xffffffff
00000a2a: DUP5
00000a2b: AND
00000a2c: MUL
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: SWAP1
00000a38: SWAP2
00000a39: AND
00000a3a: PUSH1 0x04
00000a3c: DUP3
00000a3d: ADD
00000a3e: MSTORE
00000a3f: PUSH1 0x24
00000a41: ADD
00000a42: PUSH1 0x00
00000a44: PUSH1 0x40
00000a46: MLOAD
00000a47: DUP1
00000a48: DUP4
00000a49: SUB
00000a4a: DUP2
00000a4b: PUSH1 0x00
00000a4d: DUP8
00000a4e: DUP1
00000a4f: EXTCODESIZE
00000a50: ISZERO
00000a51: ISZERO
00000a52: PUSH2 0x0a5a
00000a55: JUMPI
00000a56: PUSH1 0x00
00000a58: DUP1
00000a59: REVERT
00000a5a: JUMPDEST
00000a5b: GAS
00000a5c: CALL
00000a5d: ISZERO
00000a5e: ISZERO
00000a5f: PUSH2 0x0a67
00000a62: JUMPI
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: REVERT
00000a67: JUMPDEST
00000a68: POP
00000a69: POP
00000a6a: PUSH1 0x06
00000a6c: SLOAD
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0xa0
00000a71: PUSH1 0x02
00000a73: EXP
00000a74: SUB
00000a75: AND
00000a76: SWAP1
00000a77: POP
00000a78: PUSH4 0x8579c10e
00000a7d: DUP4
00000a7e: PUSH1 0x40
00000a80: MLOAD
00000a81: PUSH1 0xe0
00000a83: PUSH1 0x02
00000a85: EXP
00000a86: PUSH4 0xffffffff
00000a8b: DUP5
00000a8c: AND
00000a8d: MUL
00000a8e: DUP2
00000a8f: MSTORE
00000a90: PUSH1 0x01
00000a92: PUSH1 0xa0
00000a94: PUSH1 0x02
00000a96: EXP
00000a97: SUB
00000a98: SWAP1
00000a99: SWAP2
00000a9a: AND
00000a9b: PUSH1 0x04
00000a9d: DUP3
00000a9e: ADD
00000a9f: MSTORE
00000aa0: PUSH1 0x24
00000aa2: ADD
00000aa3: PUSH1 0x00
00000aa5: PUSH1 0x40
00000aa7: MLOAD
00000aa8: DUP1
00000aa9: DUP4
00000aaa: SUB
00000aab: DUP2
00000aac: PUSH1 0x00
00000aae: DUP8
00000aaf: DUP1
00000ab0: EXTCODESIZE
00000ab1: ISZERO
00000ab2: ISZERO
00000ab3: PUSH2 0x0abb
00000ab6: JUMPI
00000ab7: PUSH1 0x00
00000ab9: DUP1
00000aba: REVERT
00000abb: JUMPDEST
00000abc: GAS
00000abd: CALL
00000abe: ISZERO
00000abf: ISZERO
00000ac0: PUSH2 0x0ac8
00000ac3: JUMPI
00000ac4: PUSH1 0x00
00000ac6: DUP1
00000ac7: REVERT
00000ac8: JUMPDEST
00000ac9: POP
00000aca: POP
00000acb: PUSH1 0x03
00000acd: DUP1
00000ace: SLOAD
00000acf: PUSH1 0x00
00000ad1: SWAP1
00000ad2: SWAP2
00000ad3: SSTORE
00000ad4: SWAP2
00000ad5: POP
00000ad6: POP
00000ad7: PUSH1 0x01
00000ad9: PUSH1 0xa0
00000adb: PUSH1 0x02
00000add: EXP
00000ade: SUB
00000adf: DUP3
00000ae0: AND
00000ae1: DUP2
00000ae2: ISZERO
00000ae3: PUSH2 0x08fc
00000ae6: MUL
00000ae7: DUP3
00000ae8: PUSH1 0x40
00000aea: MLOAD
00000aeb: PUSH1 0x00
00000aed: PUSH1 0x40
00000aef: MLOAD
00000af0: DUP1
00000af1: DUP4
00000af2: SUB
00000af3: DUP2
00000af4: DUP6
00000af5: DUP9
00000af6: DUP9
00000af7: CALL
00000af8: SWAP4
00000af9: POP
00000afa: POP
00000afb: POP
00000afc: POP
00000afd: ISZERO
00000afe: ISZERO
00000aff: PUSH2 0x0b07
00000b02: JUMPI
00000b03: PUSH1 0x00
00000b05: DUP1
00000b06: REVERT
00000b07: JUMPDEST
00000b08: POP
00000b09: POP
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: PUSH1 0x12
00000b0e: DUP2
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x02
00000b13: SLOAD
00000b14: DUP2
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH1 0x0a
00000b19: PUSH1 0x20
00000b1b: SWAP1
00000b1c: DUP2
00000b1d: MSTORE
00000b1e: PUSH1 0x00
00000b20: SWAP3
00000b21: DUP4
00000b22: MSTORE
00000b23: PUSH1 0x40
00000b25: DUP1
00000b26: DUP5
00000b27: KECCAK256
00000b28: SWAP1
00000b29: SWAP2
00000b2a: MSTORE
00000b2b: SWAP1
00000b2c: DUP3
00000b2d: MSTORE
00000b2e: SWAP1
00000b2f: KECCAK256
00000b30: SLOAD
00000b31: DUP2
00000b32: JUMP
00000b33: JUMPDEST
00000b34: CALLER
00000b35: PUSH1 0x01
00000b37: PUSH1 0xa0
00000b39: PUSH1 0x02
00000b3b: EXP
00000b3c: SUB
00000b3d: DUP2
00000b3e: AND
00000b3f: PUSH1 0x00
00000b41: SWAP1
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x04
00000b46: PUSH1 0x20
00000b48: MSTORE
00000b49: PUSH1 0x40
00000b4b: SWAP1
00000b4c: KECCAK256
00000b4d: SLOAD
00000b4e: PUSH1 0xff
00000b50: AND
00000b51: ISZERO
00000b52: ISZERO
00000b53: PUSH2 0x0b5b
00000b56: JUMPI
00000b57: PUSH1 0x00
00000b59: DUP1
00000b5a: REVERT
00000b5b: JUMPDEST
00000b5c: CALLER
00000b5d: PUSH1 0x01
00000b5f: PUSH1 0xa0
00000b61: PUSH1 0x02
00000b63: EXP
00000b64: SUB
00000b65: AND
00000b66: PUSH4 0xa3b9b8d1
00000b6b: DUP4
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: DUP3
00000b70: PUSH4 0xffffffff
00000b75: AND
00000b76: PUSH1 0xe0
00000b78: PUSH1 0x02
00000b7a: EXP
00000b7b: MUL
00000b7c: DUP2
00000b7d: MSTORE
00000b7e: PUSH1 0x04
00000b80: ADD
00000b81: PUSH1 0x00
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: DUP1
00000b87: DUP4
00000b88: SUB
00000b89: DUP2
00000b8a: DUP6
00000b8b: DUP9
00000b8c: DUP1
00000b8d: EXTCODESIZE
00000b8e: ISZERO
00000b8f: ISZERO
00000b90: PUSH2 0x0b98
00000b93: JUMPI
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: REVERT
00000b98: JUMPDEST
00000b99: GAS
00000b9a: CALL
00000b9b: ISZERO
00000b9c: ISZERO
00000b9d: PUSH2 0x0ba5
00000ba0: JUMPI
00000ba1: PUSH1 0x00
00000ba3: DUP1
00000ba4: REVERT
00000ba5: JUMPDEST
00000ba6: POP
00000ba7: POP
00000ba8: POP
00000ba9: POP
00000baa: POP
00000bab: POP
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH1 0x01
00000bb0: PUSH1 0xa0
00000bb2: PUSH1 0x02
00000bb4: EXP
00000bb5: SUB
00000bb6: AND
00000bb7: PUSH1 0x00
00000bb9: SWAP1
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x09
00000bbe: PUSH1 0x20
00000bc0: MSTORE
00000bc1: PUSH1 0x40
00000bc3: SWAP1
00000bc4: KECCAK256
00000bc5: SLOAD
00000bc6: SWAP1
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0xa0
00000bcd: PUSH1 0x02
00000bcf: EXP
00000bd0: SUB
00000bd1: CALLER
00000bd2: AND
00000bd3: PUSH1 0x00
00000bd5: SWAP1
00000bd6: DUP2
00000bd7: MSTORE
00000bd8: PUSH1 0x09
00000bda: PUSH1 0x20
00000bdc: MSTORE
00000bdd: PUSH1 0x40
00000bdf: SWAP1
00000be0: KECCAK256
00000be1: SLOAD
00000be2: PUSH2 0x0bea
00000be5: SWAP1
00000be6: PUSH2 0x0eed
00000be9: JUMP
00000bea: JUMPDEST
00000beb: JUMP
00000bec: JUMPDEST
00000bed: PUSH1 0x00
00000bef: SLOAD
00000bf0: CALLER
00000bf1: PUSH1 0x01
00000bf3: PUSH1 0xa0
00000bf5: PUSH1 0x02
00000bf7: EXP
00000bf8: SUB
00000bf9: SWAP1
00000bfa: DUP2
00000bfb: AND
00000bfc: SWAP2
00000bfd: AND
00000bfe: EQ
00000bff: PUSH2 0x0c07
00000c02: JUMPI
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: PUSH1 0x01
00000c0a: SSTORE
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0xa0
00000c11: PUSH1 0x02
00000c13: EXP
00000c14: SUB
00000c15: AND
00000c16: PUSH1 0x00
00000c18: SWAP1
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x07
00000c1d: PUSH1 0x20
00000c1f: MSTORE
00000c20: PUSH1 0x40
00000c22: SWAP1
00000c23: KECCAK256
00000c24: SLOAD
00000c25: SWAP1
00000c26: JUMP
00000c27: JUMPDEST
00000c28: PUSH1 0x05
00000c2a: SLOAD
00000c2b: PUSH1 0x01
00000c2d: PUSH1 0xa0
00000c2f: PUSH1 0x02
00000c31: EXP
00000c32: SUB
00000c33: AND
00000c34: DUP2
00000c35: JUMP
00000c36: JUMPDEST
00000c37: PUSH1 0x40
00000c39: DUP1
00000c3a: MLOAD
00000c3b: SWAP1
00000c3c: DUP2
00000c3d: ADD
00000c3e: PUSH1 0x40
00000c40: MSTORE
00000c41: PUSH1 0x08
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH32 0x454f534245545354000000000000000000000000000000000000000000000000
00000c66: PUSH1 0x20
00000c68: DUP3
00000c69: ADD
00000c6a: MSTORE
00000c6b: DUP2
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: PUSH1 0x06
00000c70: SLOAD
00000c71: PUSH1 0x01
00000c73: PUSH1 0xa0
00000c75: PUSH1 0x02
00000c77: EXP
00000c78: SUB
00000c79: AND
00000c7a: DUP2
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0xa0
00000c81: PUSH1 0x02
00000c83: EXP
00000c84: SUB
00000c85: CALLER
00000c86: AND
00000c87: PUSH1 0x00
00000c89: SWAP1
00000c8a: DUP2
00000c8b: MSTORE
00000c8c: PUSH1 0x09
00000c8e: PUSH1 0x20
00000c90: MSTORE
00000c91: PUSH1 0x40
00000c93: DUP2
00000c94: KECCAK256
00000c95: SLOAD
00000c96: DUP3
00000c97: SWAP1
00000c98: LT
00000c99: DUP1
00000c9a: ISZERO
00000c9b: SWAP1
00000c9c: PUSH2 0x0cc2
00000c9f: JUMPI
00000ca0: POP
00000ca1: PUSH1 0x02
00000ca3: SLOAD
00000ca4: PUSH1 0x01
00000ca6: PUSH1 0xa0
00000ca8: PUSH1 0x02
00000caa: EXP
00000cab: SUB
00000cac: CALLER
00000cad: AND
00000cae: PUSH1 0x00
00000cb0: SWAP1
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: PUSH1 0x07
00000cb5: PUSH1 0x20
00000cb7: MSTORE
00000cb8: PUSH1 0x40
00000cba: SWAP1
00000cbb: KECCAK256
00000cbc: SLOAD
00000cbd: TIMESTAMP
00000cbe: SWAP2
00000cbf: ADD
00000cc0: GT
00000cc1: ISZERO
00000cc2: JUMPDEST
00000cc3: DUP1
00000cc4: ISZERO
00000cc5: PUSH2 0x0ce0
00000cc8: JUMPI
00000cc9: POP
00000cca: ADDRESS
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0xa0
00000ccf: PUSH1 0x02
00000cd1: EXP
00000cd2: SUB
00000cd3: AND
00000cd4: DUP4
00000cd5: PUSH1 0x01
00000cd7: PUSH1 0xa0
00000cd9: PUSH1 0x02
00000cdb: EXP
00000cdc: SUB
00000cdd: AND
00000cde: EQ
00000cdf: ISZERO
00000ce0: JUMPDEST
00000ce1: DUP1
00000ce2: ISZERO
00000ce3: PUSH2 0x0cf4
00000ce6: JUMPI
00000ce7: POP
00000ce8: PUSH1 0x01
00000cea: PUSH1 0xa0
00000cec: PUSH1 0x02
00000cee: EXP
00000cef: SUB
00000cf0: DUP4
00000cf1: AND
00000cf2: ISZERO
00000cf3: ISZERO
00000cf4: JUMPDEST
00000cf5: ISZERO
00000cf6: ISZERO
00000cf7: PUSH2 0x0cff
00000cfa: JUMPI
00000cfb: PUSH1 0x00
00000cfd: DUP1
00000cfe: REVERT
00000cff: JUMPDEST
00000d00: PUSH1 0x01
00000d02: PUSH1 0xa0
00000d04: PUSH1 0x02
00000d06: EXP
00000d07: SUB
00000d08: CALLER
00000d09: AND
00000d0a: PUSH1 0x00
00000d0c: SWAP1
00000d0d: DUP2
00000d0e: MSTORE
00000d0f: PUSH1 0x09
00000d11: PUSH1 0x20
00000d13: MSTORE
00000d14: PUSH1 0x40
00000d16: SWAP1
00000d17: KECCAK256
00000d18: SLOAD
00000d19: PUSH2 0x0d22
00000d1c: SWAP1
00000d1d: DUP4
00000d1e: PUSH2 0x0710
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x01
00000d25: PUSH1 0xa0
00000d27: PUSH1 0x02
00000d29: EXP
00000d2a: SUB
00000d2b: CALLER
00000d2c: DUP2
00000d2d: AND
00000d2e: PUSH1 0x00
00000d30: SWAP1
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x09
00000d35: PUSH1 0x20
00000d37: MSTORE
00000d38: PUSH1 0x40
00000d3a: DUP1
00000d3b: DUP3
00000d3c: KECCAK256
00000d3d: SWAP4
00000d3e: SWAP1
00000d3f: SWAP4
00000d40: SSTORE
00000d41: SWAP1
00000d42: DUP6
00000d43: AND
00000d44: DUP2
00000d45: MSTORE
00000d46: KECCAK256
00000d47: SLOAD
00000d48: PUSH2 0x0d51
00000d4b: SWAP1
00000d4c: DUP4
00000d4d: PUSH2 0x0722
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH1 0x01
00000d54: PUSH1 0xa0
00000d56: PUSH1 0x02
00000d58: EXP
00000d59: SUB
00000d5a: DUP1
00000d5b: DUP6
00000d5c: AND
00000d5d: PUSH1 0x00
00000d5f: DUP2
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x09
00000d64: PUSH1 0x20
00000d66: MSTORE
00000d67: PUSH1 0x40
00000d69: SWAP1
00000d6a: DUP2
00000d6b: SWAP1
00000d6c: KECCAK256
00000d6d: SWAP4
00000d6e: SWAP1
00000d6f: SWAP4
00000d70: SSTORE
00000d71: SWAP2
00000d72: CALLER
00000d73: SWAP1
00000d74: SWAP2
00000d75: AND
00000d76: SWAP1
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: MLOAD
00000d7b: PUSH1 0x20
00000d7d: PUSH2 0x11b8
00000d80: DUP4
00000d81: CODECOPY
00000d82: DUP2
00000d83: MLOAD
00000d84: SWAP2
00000d85: MSTORE
00000d86: SWAP1
00000d87: DUP6
00000d88: SWAP1
00000d89: MLOAD
00000d8a: SWAP1
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x20
00000d8f: ADD
00000d90: PUSH1 0x40
00000d92: MLOAD
00000d93: DUP1
00000d94: SWAP2
00000d95: SUB
00000d96: SWAP1
00000d97: LOG3
00000d98: POP
00000d99: PUSH1 0x01
00000d9b: SWAP3
00000d9c: SWAP2
00000d9d: POP
00000d9e: POP
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x00
00000da3: SLOAD
00000da4: CALLER
00000da5: PUSH1 0x01
00000da7: PUSH1 0xa0
00000da9: PUSH1 0x02
00000dab: EXP
00000dac: SUB
00000dad: SWAP1
00000dae: DUP2
00000daf: AND
00000db0: SWAP2
00000db1: AND
00000db2: EQ
00000db3: DUP1
00000db4: ISZERO
00000db5: PUSH2 0x0dc1
00000db8: JUMPI
00000db9: POP
00000dba: PUSH3 0x5c4900
00000dbe: DUP2
00000dbf: GT
00000dc0: ISZERO
00000dc1: JUMPDEST
00000dc2: ISZERO
00000dc3: ISZERO
00000dc4: PUSH2 0x0dcc
00000dc7: JUMPI
00000dc8: PUSH1 0x00
00000dca: DUP1
00000dcb: REVERT
00000dcc: JUMPDEST
00000dcd: PUSH1 0x02
00000dcf: SSTORE
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: CALLER
00000dd3: PUSH1 0x01
00000dd5: PUSH1 0xa0
00000dd7: PUSH1 0x02
00000dd9: EXP
00000dda: SUB
00000ddb: DUP2
00000ddc: AND
00000ddd: PUSH1 0x00
00000ddf: SWAP1
00000de0: DUP2
00000de1: MSTORE
00000de2: PUSH1 0x04
00000de4: PUSH1 0x20
00000de6: MSTORE
00000de7: PUSH1 0x40
00000de9: SWAP1
00000dea: KECCAK256
00000deb: SLOAD
00000dec: PUSH1 0xff
00000dee: AND
00000def: ISZERO
00000df0: ISZERO
00000df1: PUSH2 0x0df9
00000df4: JUMPI
00000df5: PUSH1 0x00
00000df7: DUP1
00000df8: REVERT
00000df9: JUMPDEST
00000dfa: PUSH1 0x01
00000dfc: PUSH1 0xa0
00000dfe: PUSH1 0x02
00000e00: EXP
00000e01: SUB
00000e02: DUP3
00000e03: AND
00000e04: DUP4
00000e05: ISZERO
00000e06: PUSH2 0x08fc
00000e09: MUL
00000e0a: DUP5
00000e0b: PUSH1 0x40
00000e0d: MLOAD
00000e0e: PUSH1 0x00
00000e10: PUSH1 0x40
00000e12: MLOAD
00000e13: DUP1
00000e14: DUP4
00000e15: SUB
00000e16: DUP2
00000e17: DUP6
00000e18: DUP9
00000e19: DUP9
00000e1a: CALL
00000e1b: SWAP4
00000e1c: POP
00000e1d: POP
00000e1e: POP
00000e1f: POP
00000e20: ISZERO
00000e21: ISZERO
00000e22: PUSH2 0x0ee8
00000e25: JUMPI
00000e26: PUSH32 0x3d14263aec0db87097e504ee7aca5316e879b2cc7f3b29f9c62d40e9bae04cee
00000e47: DUP3
00000e48: DUP5
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: PUSH1 0x01
00000e4e: PUSH1 0xa0
00000e50: PUSH1 0x02
00000e52: EXP
00000e53: SUB
00000e54: SWAP1
00000e55: SWAP3
00000e56: AND
00000e57: DUP3
00000e58: MSTORE
00000e59: PUSH1 0x20
00000e5b: DUP3
00000e5c: ADD
00000e5d: MSTORE
00000e5e: PUSH1 0x40
00000e60: SWAP1
00000e61: DUP2
00000e62: ADD
00000e63: SWAP1
00000e64: MLOAD
00000e65: DUP1
00000e66: SWAP2
00000e67: SUB
00000e68: SWAP1
00000e69: LOG1
00000e6a: PUSH1 0x00
00000e6c: SLOAD
00000e6d: PUSH1 0x01
00000e6f: PUSH1 0xa0
00000e71: PUSH1 0x02
00000e73: EXP
00000e74: SUB
00000e75: AND
00000e76: DUP4
00000e77: ISZERO
00000e78: PUSH2 0x08fc
00000e7b: MUL
00000e7c: DUP5
00000e7d: PUSH1 0x40
00000e7f: MLOAD
00000e80: PUSH1 0x00
00000e82: PUSH1 0x40
00000e84: MLOAD
00000e85: DUP1
00000e86: DUP4
00000e87: SUB
00000e88: DUP2
00000e89: DUP6
00000e8a: DUP9
00000e8b: DUP9
00000e8c: CALL
00000e8d: SWAP4
00000e8e: POP
00000e8f: POP
00000e90: POP
00000e91: POP
00000e92: ISZERO
00000e93: ISZERO
00000e94: PUSH2 0x0ee8
00000e97: JUMPI
00000e98: PUSH1 0x00
00000e9a: SLOAD
00000e9b: PUSH32 0x3d14263aec0db87097e504ee7aca5316e879b2cc7f3b29f9c62d40e9bae04cee
00000ebc: SWAP1
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0xa0
00000ec1: PUSH1 0x02
00000ec3: EXP
00000ec4: SUB
00000ec5: AND
00000ec6: DUP5
00000ec7: PUSH1 0x40
00000ec9: MLOAD
00000eca: PUSH1 0x01
00000ecc: PUSH1 0xa0
00000ece: PUSH1 0x02
00000ed0: EXP
00000ed1: SUB
00000ed2: SWAP1
00000ed3: SWAP3
00000ed4: AND
00000ed5: DUP3
00000ed6: MSTORE
00000ed7: PUSH1 0x20
00000ed9: DUP3
00000eda: ADD
00000edb: MSTORE
00000edc: PUSH1 0x40
00000ede: SWAP1
00000edf: DUP2
00000ee0: ADD
00000ee1: SWAP1
00000ee2: MLOAD
00000ee3: DUP1
00000ee4: SWAP2
00000ee5: SUB
00000ee6: SWAP1
00000ee7: LOG1
00000ee8: JUMPDEST
00000ee9: POP
00000eea: POP
00000eeb: POP
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x01
00000ef0: PUSH1 0xa0
00000ef2: PUSH1 0x02
00000ef4: EXP
00000ef5: SUB
00000ef6: CALLER
00000ef7: AND
00000ef8: PUSH1 0x00
00000efa: SWAP1
00000efb: DUP2
00000efc: MSTORE
00000efd: PUSH1 0x09
00000eff: PUSH1 0x20
00000f01: MSTORE
00000f02: PUSH1 0x40
00000f04: DUP2
00000f05: KECCAK256
00000f06: SLOAD
00000f07: SWAP1
00000f08: DUP1
00000f09: DUP1
00000f0a: DUP1
00000f0b: DUP1
00000f0c: DUP6
00000f0d: DUP8
00000f0e: GT
00000f0f: DUP1
00000f10: ISZERO
00000f11: SWAP1
00000f12: PUSH2 0x0f38
00000f15: JUMPI
00000f16: POP
00000f17: PUSH1 0x02
00000f19: SLOAD
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0xa0
00000f1e: PUSH1 0x02
00000f20: EXP
00000f21: SUB
00000f22: CALLER
00000f23: AND
00000f24: PUSH1 0x00
00000f26: SWAP1
00000f27: DUP2
00000f28: MSTORE
00000f29: PUSH1 0x07
00000f2b: PUSH1 0x20
00000f2d: MSTORE
00000f2e: PUSH1 0x40
00000f30: SWAP1
00000f31: KECCAK256
00000f32: SLOAD
00000f33: TIMESTAMP
00000f34: SWAP2
00000f35: ADD
00000f36: GT
00000f37: ISZERO
00000f38: JUMPDEST
00000f39: DUP1
00000f3a: ISZERO
00000f3b: PUSH2 0x0f44
00000f3e: JUMPI
00000f3f: POP
00000f40: PUSH1 0x00
00000f42: DUP8
00000f43: GT
00000f44: JUMPDEST
00000f45: ISZERO
00000f46: ISZERO
00000f47: PUSH2 0x0f4f
00000f4a: JUMPI
00000f4b: PUSH1 0x00
00000f4d: DUP1
00000f4e: REVERT
00000f4f: JUMPDEST
00000f50: PUSH2 0x0f57
00000f53: PUSH2 0x06f3
00000f56: JUMP
00000f57: JUMPDEST
00000f58: SWAP5
00000f59: POP
00000f5a: PUSH1 0x08
00000f5c: SLOAD
00000f5d: SWAP4
00000f5e: POP
00000f5f: DUP4
00000f60: PUSH2 0x0f69
00000f63: DUP9
00000f64: DUP8
00000f65: PUSH2 0x073c
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: DUP2
00000f6b: ISZERO
00000f6c: ISZERO
00000f6d: PUSH2 0x0f72
00000f70: JUMPI
00000f71: INVALID
00000f72: JUMPDEST
00000f73: DIV
00000f74: SWAP3
00000f75: POP
00000f76: PUSH1 0x64
00000f78: DUP4
00000f79: DIV
00000f7a: SWAP2
00000f7b: POP
00000f7c: PUSH2 0x0f85
00000f7f: DUP4
00000f80: DUP4
00000f81: PUSH2 0x0710
00000f84: JUMP
00000f85: JUMPDEST
00000f86: SWAP1
00000f87: POP
00000f88: PUSH2 0x0f91
00000f8b: DUP5
00000f8c: DUP9
00000f8d: PUSH2 0x0710
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH1 0x08
00000f94: SSTORE
00000f95: PUSH2 0x0f9e
00000f98: DUP7
00000f99: DUP9
00000f9a: PUSH2 0x0710
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x01
00000fa1: PUSH1 0xa0
00000fa3: PUSH1 0x02
00000fa5: EXP
00000fa6: SUB
00000fa7: CALLER
00000fa8: AND
00000fa9: PUSH1 0x00
00000fab: SWAP1
00000fac: DUP2
00000fad: MSTORE
00000fae: PUSH1 0x09
00000fb0: PUSH1 0x20
00000fb2: MSTORE
00000fb3: PUSH1 0x40
00000fb5: SWAP1
00000fb6: KECCAK256
00000fb7: SSTORE
00000fb8: PUSH1 0x03
00000fba: SLOAD
00000fbb: PUSH2 0x0fc4
00000fbe: SWAP1
00000fbf: DUP4
00000fc0: PUSH2 0x0722
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH1 0x03
00000fc7: SSTORE
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: PUSH1 0x02
00000fce: EXP
00000fcf: SUB
00000fd0: CALLER
00000fd1: AND
00000fd2: DUP2
00000fd3: ISZERO
00000fd4: PUSH2 0x08fc
00000fd7: MUL
00000fd8: DUP3
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: PUSH1 0x00
00000fde: PUSH1 0x40
00000fe0: MLOAD
00000fe1: DUP1
00000fe2: DUP4
00000fe3: SUB
00000fe4: DUP2
00000fe5: DUP6
00000fe6: DUP9
00000fe7: DUP9
00000fe8: CALL
00000fe9: SWAP4
00000fea: POP
00000feb: POP
00000fec: POP
00000fed: POP
00000fee: ISZERO
00000fef: ISZERO
00000ff0: PUSH2 0x0ff8
00000ff3: JUMPI
00000ff4: PUSH1 0x00
00000ff6: DUP1
00000ff7: REVERT
00000ff8: JUMPDEST
00000ff9: PUSH32 0xfcbdb91de29bfe492b4eb558fc5850c6a9395cda4f7a16c03b5bbd5b1ebe4c06
0000101a: CALLER
0000101b: DUP3
0000101c: DUP10
0000101d: PUSH1 0x40
0000101f: MLOAD
00001020: DUP1
00001021: DUP5
00001022: PUSH1 0x01
00001024: PUSH1 0xa0
00001026: PUSH1 0x02
00001028: EXP
00001029: SUB
0000102a: AND
0000102b: PUSH1 0x01
0000102d: PUSH1 0xa0
0000102f: PUSH1 0x02
00001031: EXP
00001032: SUB
00001033: AND
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x20
00001038: ADD
00001039: DUP4
0000103a: DUP2
0000103b: MSTORE
0000103c: PUSH1 0x20
0000103e: ADD
0000103f: DUP3
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x20
00001044: ADD
00001045: SWAP4
00001046: POP
00001047: POP
00001048: POP
00001049: POP
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: DUP1
0000104e: SWAP2
0000104f: SUB
00001050: SWAP1
00001051: LOG1
00001052: PUSH1 0x00
00001054: CALLER
00001055: PUSH1 0x01
00001057: PUSH1 0xa0
00001059: PUSH1 0x02
0000105b: EXP
0000105c: SUB
0000105d: AND
0000105e: PUSH1 0x00
00001060: DUP1
00001061: MLOAD
00001062: PUSH1 0x20
00001064: PUSH2 0x11b8
00001067: DUP4
00001068: CODECOPY
00001069: DUP2
0000106a: MLOAD
0000106b: SWAP2
0000106c: MSTORE
0000106d: DUP10
0000106e: PUSH1 0x40
00001070: MLOAD
00001071: SWAP1
00001072: DUP2
00001073: MSTORE
00001074: PUSH1 0x20
00001076: ADD
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: DUP1
0000107b: SWAP2
0000107c: SUB
0000107d: SWAP1
0000107e: LOG3
0000107f: POP
00001080: POP
00001081: POP
00001082: POP
00001083: POP
00001084: POP
00001085: POP
00001086: JUMP
00001087: JUMPDEST
00001088: PUSH1 0x00
0000108a: SLOAD
0000108b: CALLER
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: PUSH1 0x02
00001092: EXP
00001093: SUB
00001094: SWAP1
00001095: DUP2
00001096: AND
00001097: SWAP2
00001098: AND
00001099: EQ
0000109a: PUSH2 0x10a2
0000109d: JUMPI
0000109e: PUSH1 0x00
000010a0: DUP1
000010a1: REVERT
000010a2: JUMPDEST
000010a3: DUP2
000010a4: PUSH1 0x01
000010a6: PUSH1 0xa0
000010a8: PUSH1 0x02
000010aa: EXP
000010ab: SUB
000010ac: AND
000010ad: PUSH4 0xa9059cbb
000010b2: CALLER
000010b3: DUP4
000010b4: PUSH1 0x40
000010b6: MLOAD
000010b7: PUSH1 0xe0
000010b9: PUSH1 0x02
000010bb: EXP
000010bc: PUSH4 0xffffffff
000010c1: DUP6
000010c2: AND
000010c3: MUL
000010c4: DUP2
000010c5: MSTORE
000010c6: PUSH1 0x01
000010c8: PUSH1 0xa0
000010ca: PUSH1 0x02
000010cc: EXP
000010cd: SUB
000010ce: SWAP1
000010cf: SWAP3
000010d0: AND
000010d1: PUSH1 0x04
000010d3: DUP4
000010d4: ADD
000010d5: MSTORE
000010d6: PUSH1 0x24
000010d8: DUP3
000010d9: ADD
000010da: MSTORE
000010db: PUSH1 0x44
000010dd: ADD
000010de: PUSH1 0x20
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: DUP1
000010e4: DUP4
000010e5: SUB
000010e6: DUP2
000010e7: PUSH1 0x00
000010e9: DUP8
000010ea: DUP1
000010eb: EXTCODESIZE
000010ec: ISZERO
000010ed: ISZERO
000010ee: PUSH2 0x10f6
000010f1: JUMPI
000010f2: PUSH1 0x00
000010f4: DUP1
000010f5: REVERT
000010f6: JUMPDEST
000010f7: GAS
000010f8: CALL
000010f9: ISZERO
000010fa: ISZERO
000010fb: PUSH2 0x1103
000010fe: JUMPI
000010ff: PUSH1 0x00
00001101: DUP1
00001102: REVERT
00001103: JUMPDEST
00001104: POP
00001105: POP
00001106: POP
00001107: PUSH1 0x40
00001109: MLOAD
0000110a: DUP1
0000110b: MLOAD
0000110c: POP
0000110d: POP
0000110e: POP
0000110f: POP
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x01
00001114: PUSH1 0xa0
00001116: PUSH1 0x02
00001118: EXP
00001119: SUB
0000111a: SWAP2
0000111b: DUP3
0000111c: AND
0000111d: PUSH1 0x00
0000111f: SWAP1
00001120: DUP2
00001121: MSTORE
00001122: PUSH1 0x0a
00001124: PUSH1 0x20
00001126: SWAP1
00001127: DUP2
00001128: MSTORE
00001129: PUSH1 0x40
0000112b: DUP1
0000112c: DUP4
0000112d: KECCAK256
0000112e: SWAP4
0000112f: SWAP1
00001130: SWAP5
00001131: AND
00001132: DUP3
00001133: MSTORE
00001134: SWAP2
00001135: SWAP1
00001136: SWAP2
00001137: MSTORE
00001138: KECCAK256
00001139: SLOAD
0000113a: SWAP1
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH1 0x00
0000113f: SLOAD
00001140: CALLER
00001141: PUSH1 0x01
00001143: PUSH1 0xa0
00001145: PUSH1 0x02
00001147: EXP
00001148: SUB
00001149: SWAP1
0000114a: DUP2
0000114b: AND
0000114c: SWAP2
0000114d: AND
0000114e: EQ
0000114f: PUSH2 0x1157
00001152: JUMPI
00001153: PUSH1 0x00
00001155: DUP1
00001156: REVERT
00001157: JUMPDEST
00001158: PUSH1 0x00
0000115a: DUP1
0000115b: SLOAD
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: NOT
00001172: AND
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: PUSH1 0x02
00001179: EXP
0000117a: SUB
0000117b: SWAP3
0000117c: SWAP1
0000117d: SWAP3
0000117e: AND
0000117f: SWAP2
00001180: SWAP1
00001181: SWAP2
00001182: OR
00001183: SWAP1
00001184: SSTORE
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH1 0x01
00001189: SLOAD
0000118a: DUP2
0000118b: JUMP
0000118c: JUMPDEST
0000118d: CALLER
0000118e: PUSH1 0x01
00001190: PUSH1 0xa0
00001192: PUSH1 0x02
00001194: EXP
00001195: SUB
00001196: DUP2
00001197: AND
00001198: PUSH1 0x00
0000119a: SWAP1
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH1 0x04
0000119f: PUSH1 0x20
000011a1: MSTORE
000011a2: PUSH1 0x40
000011a4: SWAP1
000011a5: KECCAK256
000011a6: SLOAD
000011a7: PUSH1 0xff
000011a9: AND
000011aa: ISZERO
000011ab: ISZERO
000011ac: PUSH2 0x11b4
000011af: JUMPI
000011b0: PUSH1 0x00
000011b2: DUP1
000011b3: REVERT
000011b4: JUMPDEST
000011b5: POP
000011b6: JUMP
000011b7: STOP
000011b8: UNKNOWN(0xDD)
000011b9: CALLCODE
000011ba: MSTORE
000011bb: UNKNOWN(0xAD)
000011bc: SHL
000011bd: UNKNOWN(0xE2)
000011be: UNKNOWN(0xC8)
000011bf: SWAP12
000011c0: PUSH10 0xc2b068fc378daa952ba7
000011cb: CALL
000011cc: PUSH4 0xc4a11628
000011d1: CREATE2
000011d2: GAS
000011d3: UNKNOWN(0x4D)
000011d4: CREATE2
000011d5: UNKNOWN(0x23)
000011d6: UNKNOWN(0xB3)
000011d7: UNKNOWN(0xEF)
000011d8: LOG1
000011d9: PUSH6 0x627a7a723058
000011e0: KECCAK256
000011e1: DUP7
000011e2: UNKNOWN(0xC3)
000011e3: TLOAD
000011e4: UNKNOWN(0xC9)
000011e5: UNKNOWN(0xE9)
000011e6: UNKNOWN(0xBC)
000011e7: PUSH27 0x4131efc4f9be6dcfc90eaf294488fc8ce8f9ac0e5396bf78990029

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: 0x25bf1299d062dc8619b6ac62e693e43bcf830f0bce47189c1f568c2a735ce5dd
call_targets: 0x06adba5ad6c494e536cad8afa1129ab9f7cb99bf
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x25bf1299d062dc8619b6ac62e693e43bcf830f0bce47189c1f568c2a735ce5dd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x06adba5ad6c494e536cad8afa1129ab9f7cb99bf"
    ],
    "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": "0x03f257aa",
            "selector": "0x03f257aa",
            "calldata_variants": [
                "0x03f257aa",
                "0x03f257aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07efbf2b",
            "selector": "0x07efbf2b",
            "calldata_variants": [
                "0x07efbf2b",
                "0x07efbf2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d1fce42",
            "selector": "0x0d1fce42",
            "calldata_variants": [
                "0x0d1fce42",
                "0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117803e3",
            "selector": "0x117803e3",
            "calldata_variants": [
                "0x117803e3",
                "0x117803e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 651,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2652,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2749,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 11,
    "guards_detected": [],
    "untrusted_call_count": 11
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x25bf1299d062dc8619b6ac62e693e43bcf830f0bce47189c1f568c2a735ce5dd
call_targets: 0x06adba5ad6c494e536cad8afa1129ab9f7cb99bf
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x25bf1299d062dc8619b6ac62e693e43bcf830f0bce47189c1f568c2a735ce5dd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x06adba5ad6c494e536cad8afa1129ab9f7cb99bf"
    ],
    "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": "0x03f257aa",
            "selector": "0x03f257aa",
            "calldata_variants": [
                "0x03f257aa",
                "0x03f257aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07efbf2b",
            "selector": "0x07efbf2b",
            "calldata_variants": [
                "0x07efbf2b",
                "0x07efbf2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d1fce42",
            "selector": "0x0d1fce42",
            "calldata_variants": [
                "0x0d1fce42",
                "0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117803e3",
            "selector": "0x117803e3",
            "calldata_variants": [
                "0x117803e3",
                "0x117803e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 651,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2652,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2749,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 11,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xbaf6d65bb8a1be7aeb0bb1c2a3c9e91774625f000e3603a32b9c17abd0768208
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xbaf6d65bb8a1be7aeb0bb1c2a3c9e91774625f000e3603a32b9c17abd0768208",
    "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": "0x03f257aa",
            "selector": "0x03f257aa",
            "calldata_variants": [
                "0x03f257aa",
                "0x03f257aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07efbf2b",
            "selector": "0x07efbf2b",
            "calldata_variants": [
                "0x07efbf2b",
                "0x07efbf2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d1fce42",
            "selector": "0x0d1fce42",
            "calldata_variants": [
                "0x0d1fce42",
                "0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117803e3",
            "selector": "0x117803e3",
            "calldata_variants": [
                "0x117803e3",
                "0x117803e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}