Analysis Run

019b477e-d9ea-70bc-a58e-81faa8dea448

complete

Chain ID

1

Address

0xf6a8b4e42b0026ca52bddb3ca01d510831bf1b33

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?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

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
29375	artifact.fetch	complete	1 / 3	3 months ago
29376	tool.cast_disasm	complete	1 / 3	3 months ago
103545	analysis.bundle	complete	1 / 3	1 week ago
103546	capability.graph	complete	1 / 3	1 week ago
103547	detector.run	complete	1 / 3	1 week ago
103548	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

1

CREATE2

0

CALL-family (heavy)

8

EXT*/BALANCE

2

Total opcodes

4074

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0118
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8f9a55c0
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8f9a55c0
0000002f: EQ
00000030: PUSH2 0x02fa
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x95d89b41
0000003a: EQ
0000003b: PUSH2 0x0310
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xa9059cbb
00000045: EQ
00000046: PUSH2 0x033c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xbf474bed
00000050: EQ
00000051: PUSH2 0x035c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xdd62ed3e
0000005b: EQ
0000005c: PUSH2 0x0371
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x70a08231
0000006b: EQ
0000006c: PUSH2 0x025c
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x715018a6
00000076: EQ
00000077: PUSH2 0x0292
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7d1db4a5
00000081: EQ
00000082: PUSH2 0x02a7
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x80ae4ebc
0000008c: EQ
0000008d: PUSH2 0x02bd
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8da5cb5b
00000097: EQ
00000098: PUSH2 0x02d2
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x1c1702f3
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x1c1702f3
000000b2: EQ
000000b3: PUSH2 0x01d4
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x23b872dd
000000bd: EQ
000000be: PUSH2 0x01eb
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x313ce567
000000c8: EQ
000000c9: PUSH2 0x020b
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x4a30b386
000000d3: EQ
000000d4: PUSH2 0x0227
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x61df9f98
000000de: EQ
000000df: PUSH2 0x023c
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x06fdde03
000000ee: EQ
000000ef: PUSH2 0x0124
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x095ea7b3
000000f9: EQ
000000fa: PUSH2 0x016c
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x0faee56f
00000104: EQ
00000105: PUSH2 0x019c
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x18160ddd
0000010f: EQ
00000110: PUSH2 0x01bf
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: CALLDATASIZE
0000011a: PUSH2 0x011f
0000011d: JUMPI
0000011e: STOP
0000011f: JUMPDEST
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: CALLVALUE
00000126: DUP1
00000127: ISZERO
00000128: PUSH2 0x0130
0000012b: JUMPI
0000012c: PUSH1 0x00
0000012e: DUP1
0000012f: REVERT
00000130: JUMPDEST
00000131: POP
00000132: PUSH1 0x40
00000134: DUP1
00000135: MLOAD
00000136: DUP1
00000137: DUP3
00000138: ADD
00000139: SWAP1
0000013a: SWAP2
0000013b: MSTORE
0000013c: PUSH1 0x0d
0000013e: DUP2
0000013f: MSTORE
00000140: PUSH13 0x436f6d706c6578696f6e204149
0000014e: PUSH1 0x98
00000150: SHL
00000151: PUSH1 0x20
00000153: DUP3
00000154: ADD
00000155: MSTORE
00000156: JUMPDEST
00000157: PUSH1 0x40
00000159: MLOAD
0000015a: PUSH2 0x0163
0000015d: SWAP2
0000015e: SWAP1
0000015f: PUSH2 0x154b
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH1 0x40
00000166: MLOAD
00000167: DUP1
00000168: SWAP2
00000169: SUB
0000016a: SWAP1
0000016b: RETURN
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x018c
0000017d: PUSH2 0x0187
00000180: CALLDATASIZE
00000181: PUSH1 0x04
00000183: PUSH2 0x15b1
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH2 0x03b7
0000018b: JUMP
0000018c: JUMPDEST
0000018d: PUSH1 0x40
0000018f: MLOAD
00000190: SWAP1
00000191: ISZERO
00000192: ISZERO
00000193: DUP2
00000194: MSTORE
00000195: PUSH1 0x20
00000197: ADD
00000198: PUSH2 0x0163
0000019b: JUMP
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH2 0x01b1
000001ad: PUSH2 0x03ce
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: SWAP1
000001b6: DUP2
000001b7: MSTORE
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: PUSH2 0x0163
000001be: JUMP
000001bf: JUMPDEST
000001c0: CALLVALUE
000001c1: DUP1
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: POP
000001cd: PUSH2 0x01b1
000001d0: PUSH2 0x03ea
000001d3: JUMP
000001d4: JUMPDEST
000001d5: CALLVALUE
000001d6: DUP1
000001d7: ISZERO
000001d8: PUSH2 0x01e0
000001db: JUMPI
000001dc: PUSH1 0x00
000001de: DUP1
000001df: REVERT
000001e0: JUMPDEST
000001e1: POP
000001e2: PUSH2 0x01e9
000001e5: PUSH2 0x040b
000001e8: JUMP
000001e9: JUMPDEST
000001ea: STOP
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: DUP1
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: POP
000001f9: PUSH2 0x018c
000001fc: PUSH2 0x0206
000001ff: CALLDATASIZE
00000200: PUSH1 0x04
00000202: PUSH2 0x15dd
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH2 0x04e4
0000020a: JUMP
0000020b: JUMPDEST
0000020c: CALLVALUE
0000020d: DUP1
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: POP
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: PUSH1 0x09
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH2 0x0163
00000226: JUMP
00000227: JUMPDEST
00000228: CALLVALUE
00000229: DUP1
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x01e9
00000238: PUSH2 0x054d
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: POP
0000024a: PUSH2 0x01e9
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x161e
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x05fa
0000025b: JUMP
0000025c: JUMPDEST
0000025d: CALLVALUE
0000025e: DUP1
0000025f: ISZERO
00000260: PUSH2 0x0268
00000263: JUMPI
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: POP
0000026a: PUSH2 0x01b1
0000026d: PUSH2 0x0277
00000270: CALLDATASIZE
00000271: PUSH1 0x04
00000273: PUSH2 0x1640
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH1 0x01
0000027a: PUSH1 0x01
0000027c: PUSH1 0xa0
0000027e: SHL
0000027f: SUB
00000280: AND
00000281: PUSH1 0x00
00000283: SWAP1
00000284: DUP2
00000285: MSTORE
00000286: PUSH1 0x01
00000288: PUSH1 0x20
0000028a: MSTORE
0000028b: PUSH1 0x40
0000028d: SWAP1
0000028e: KECCAK256
0000028f: SLOAD
00000290: SWAP1
00000291: JUMP
00000292: JUMPDEST
00000293: CALLVALUE
00000294: DUP1
00000295: ISZERO
00000296: PUSH2 0x029e
00000299: JUMPI
0000029a: PUSH1 0x00
0000029c: DUP1
0000029d: REVERT
0000029e: JUMPDEST
0000029f: POP
000002a0: PUSH2 0x01e9
000002a3: PUSH2 0x06c7
000002a6: JUMP
000002a7: JUMPDEST
000002a8: CALLVALUE
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: POP
000002b5: PUSH2 0x01b1
000002b8: PUSH1 0x0b
000002ba: SLOAD
000002bb: DUP2
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x01e9
000002ce: PUSH2 0x073b
000002d1: JUMP
000002d2: JUMPDEST
000002d3: CALLVALUE
000002d4: DUP1
000002d5: ISZERO
000002d6: PUSH2 0x02de
000002d9: JUMPI
000002da: PUSH1 0x00
000002dc: DUP1
000002dd: REVERT
000002de: JUMPDEST
000002df: POP
000002e0: PUSH1 0x00
000002e2: SLOAD
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: PUSH1 0x01
000002e8: PUSH1 0x01
000002ea: PUSH1 0xa0
000002ec: SHL
000002ed: SUB
000002ee: SWAP1
000002ef: SWAP2
000002f0: AND
000002f1: DUP2
000002f2: MSTORE
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: PUSH2 0x0163
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH2 0x01b1
0000030b: PUSH1 0x0c
0000030d: SLOAD
0000030e: DUP2
0000030f: JUMP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH1 0x40
00000320: DUP1
00000321: MLOAD
00000322: DUP1
00000323: DUP3
00000324: ADD
00000325: SWAP1
00000326: SWAP2
00000327: MSTORE
00000328: PUSH1 0x03
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH3 0x086a0b
00000330: PUSH1 0xeb
00000332: SHL
00000333: PUSH1 0x20
00000335: DUP3
00000336: ADD
00000337: MSTORE
00000338: PUSH2 0x0156
0000033b: JUMP
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x018c
0000034d: PUSH2 0x0357
00000350: CALLDATASIZE
00000351: PUSH1 0x04
00000353: PUSH2 0x15b1
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x0aed
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x01b1
0000036d: PUSH2 0x0afa
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x01b1
00000382: PUSH2 0x038c
00000385: CALLDATASIZE
00000386: PUSH1 0x04
00000388: PUSH2 0x165d
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH1 0x01
0000038f: PUSH1 0x01
00000391: PUSH1 0xa0
00000393: SHL
00000394: SUB
00000395: SWAP2
00000396: DUP3
00000397: AND
00000398: PUSH1 0x00
0000039a: SWAP1
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x02
0000039f: PUSH1 0x20
000003a1: SWAP1
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x40
000003a6: DUP1
000003a7: DUP4
000003a8: KECCAK256
000003a9: SWAP4
000003aa: SWAP1
000003ab: SWAP5
000003ac: AND
000003ad: DUP3
000003ae: MSTORE
000003af: SWAP2
000003b0: SWAP1
000003b1: SWAP2
000003b2: MSTORE
000003b3: KECCAK256
000003b4: SLOAD
000003b5: SWAP1
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x00
000003ba: PUSH2 0x03c4
000003bd: CALLER
000003be: DUP5
000003bf: DUP5
000003c0: PUSH2 0x0b13
000003c3: JUMP
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH1 0x01
000003c8: JUMPDEST
000003c9: SWAP3
000003ca: SWAP2
000003cb: POP
000003cc: POP
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH2 0x03da
000003d2: PUSH1 0x09
000003d4: PUSH1 0x0a
000003d6: PUSH2 0x1790
000003d9: JUMP
000003da: JUMPDEST
000003db: PUSH2 0x03e7
000003de: SWAP1
000003df: PUSH3 0x0f4240
000003e3: PUSH2 0x179f
000003e6: JUMP
000003e7: JUMPDEST
000003e8: DUP2
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH1 0x00
000003ed: PUSH2 0x03f8
000003f0: PUSH1 0x09
000003f2: PUSH1 0x0a
000003f4: PUSH2 0x1790
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH2 0x0406
000003fc: SWAP1
000003fd: PUSH4 0x05f5e100
00000402: PUSH2 0x179f
00000405: JUMP
00000406: JUMPDEST
00000407: SWAP1
00000408: POP
00000409: SWAP1
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x00
0000040e: SLOAD
0000040f: PUSH1 0x01
00000411: PUSH1 0x01
00000413: PUSH1 0xa0
00000415: SHL
00000416: SUB
00000417: AND
00000418: CALLER
00000419: EQ
0000041a: PUSH2 0x043e
0000041d: JUMPI
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: PUSH3 0x461bcd
00000425: PUSH1 0xe5
00000427: SHL
00000428: DUP2
00000429: MSTORE
0000042a: PUSH1 0x04
0000042c: ADD
0000042d: PUSH2 0x0435
00000430: SWAP1
00000431: PUSH2 0x17b6
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x40
00000438: MLOAD
00000439: DUP1
0000043a: SWAP2
0000043b: SUB
0000043c: SWAP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: PUSH1 0x0d
00000441: SLOAD
00000442: PUSH1 0xff
00000444: AND
00000445: ISZERO
00000446: PUSH2 0x0488
00000449: JUMPI
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: PUSH3 0x461bcd
00000451: PUSH1 0xe5
00000453: SHL
00000454: DUP2
00000455: MSTORE
00000456: PUSH1 0x20
00000458: PUSH1 0x04
0000045a: DUP3
0000045b: ADD
0000045c: MSTORE
0000045d: PUSH1 0x14
0000045f: PUSH1 0x24
00000461: DUP3
00000462: ADD
00000463: MSTORE
00000464: PUSH20 0x3a3930b234b7339030b63932b0b23c9037b832b7
00000479: PUSH1 0x61
0000047b: SHL
0000047c: PUSH1 0x44
0000047e: DUP3
0000047f: ADD
00000480: MSTORE
00000481: PUSH1 0x64
00000483: ADD
00000484: PUSH2 0x0435
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH1 0x0d
0000048b: DUP1
0000048c: SLOAD
0000048d: PUSH3 0x010001
00000491: PUSH3 0xff00ff
00000495: NOT
00000496: SWAP1
00000497: SWAP2
00000498: AND
00000499: OR
0000049a: SWAP1
0000049b: DUP2
0000049c: SWAP1
0000049d: SSTORE
0000049e: PUSH1 0x40
000004a0: DUP1
000004a1: MLOAD
000004a2: PUSH1 0x01
000004a4: DUP2
000004a5: MSTORE
000004a6: PUSH3 0x010000
000004aa: SWAP1
000004ab: SWAP3
000004ac: DIV
000004ad: PUSH1 0xff
000004af: AND
000004b0: ISZERO
000004b1: ISZERO
000004b2: PUSH1 0x20
000004b4: DUP4
000004b5: ADD
000004b6: MSTORE
000004b7: PUSH32 0x41a09f17206aad1ccd4bae176b5c5e0b2154e569947545c9019e6bb0cb4ef59c
000004d8: SWAP2
000004d9: ADD
000004da: JUMPDEST
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP1
000004df: SWAP2
000004e0: SUB
000004e1: SWAP1
000004e2: LOG1
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH1 0x00
000004e7: PUSH2 0x04f1
000004ea: DUP5
000004eb: DUP5
000004ec: DUP5
000004ed: PUSH2 0x0be0
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH2 0x0543
000004f5: DUP5
000004f6: CALLER
000004f7: PUSH2 0x053e
000004fa: DUP6
000004fb: PUSH1 0x40
000004fd: MLOAD
000004fe: DUP1
000004ff: PUSH1 0x60
00000501: ADD
00000502: PUSH1 0x40
00000504: MSTORE
00000505: DUP1
00000506: PUSH1 0x28
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x20
0000050c: ADD
0000050d: PUSH2 0x1941
00000510: PUSH1 0x28
00000512: SWAP2
00000513: CODECOPY
00000514: PUSH1 0x01
00000516: PUSH1 0x01
00000518: PUSH1 0xa0
0000051a: SHL
0000051b: SUB
0000051c: DUP11
0000051d: AND
0000051e: PUSH1 0x00
00000520: SWAP1
00000521: DUP2
00000522: MSTORE
00000523: PUSH1 0x02
00000525: PUSH1 0x20
00000527: SWAP1
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x40
0000052c: DUP1
0000052d: DUP4
0000052e: KECCAK256
0000052f: CALLER
00000530: DUP5
00000531: MSTORE
00000532: SWAP1
00000533: SWAP2
00000534: MSTORE
00000535: SWAP1
00000536: KECCAK256
00000537: SLOAD
00000538: SWAP2
00000539: SWAP1
0000053a: PUSH2 0x11c9
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH2 0x0b13
00000542: JUMP
00000543: JUMPDEST
00000544: POP
00000545: PUSH1 0x01
00000547: SWAP4
00000548: SWAP3
00000549: POP
0000054a: POP
0000054b: POP
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH1 0x00
00000550: SLOAD
00000551: PUSH1 0x01
00000553: PUSH1 0x01
00000555: PUSH1 0xa0
00000557: SHL
00000558: SUB
00000559: AND
0000055a: CALLER
0000055b: EQ
0000055c: PUSH2 0x0577
0000055f: JUMPI
00000560: PUSH1 0x40
00000562: MLOAD
00000563: PUSH3 0x461bcd
00000567: PUSH1 0xe5
00000569: SHL
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x04
0000056e: ADD
0000056f: PUSH2 0x0435
00000572: SWAP1
00000573: PUSH2 0x17b6
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH2 0x0583
0000057b: PUSH1 0x09
0000057d: PUSH1 0x0a
0000057f: PUSH2 0x1790
00000582: JUMP
00000583: JUMPDEST
00000584: PUSH2 0x0591
00000587: SWAP1
00000588: PUSH4 0x05f5e100
0000058d: PUSH2 0x179f
00000590: JUMP
00000591: JUMPDEST
00000592: PUSH1 0x0b
00000594: SSTORE
00000595: PUSH2 0x05a0
00000598: PUSH1 0x09
0000059a: PUSH1 0x0a
0000059c: PUSH2 0x1790
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH2 0x05ae
000005a4: SWAP1
000005a5: PUSH4 0x05f5e100
000005aa: PUSH2 0x179f
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH1 0x0c
000005b1: SSTORE
000005b2: PUSH32 0x69ada53addde5123341ce3a822c5f66292103b2771e41e1f3c00c2de8a63a7f9
000005d3: PUSH2 0x05de
000005d6: PUSH1 0x09
000005d8: PUSH1 0x0a
000005da: PUSH2 0x1790
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x05ec
000005e2: SWAP1
000005e3: PUSH4 0x05f5e100
000005e8: PUSH2 0x179f
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: SWAP1
000005f1: DUP2
000005f2: MSTORE
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: PUSH2 0x04da
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH1 0x00
000005fd: SLOAD
000005fe: PUSH1 0x01
00000600: PUSH1 0x01
00000602: PUSH1 0xa0
00000604: SHL
00000605: SUB
00000606: AND
00000607: CALLER
00000608: EQ
00000609: PUSH2 0x0624
0000060c: JUMPI
0000060d: PUSH1 0x40
0000060f: MLOAD
00000610: PUSH3 0x461bcd
00000614: PUSH1 0xe5
00000616: SHL
00000617: DUP2
00000618: MSTORE
00000619: PUSH1 0x04
0000061b: ADD
0000061c: PUSH2 0x0435
0000061f: SWAP1
00000620: PUSH2 0x17b6
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH1 0x1e
00000627: DUP3
00000628: GT
00000629: ISZERO
0000062a: DUP1
0000062b: ISZERO
0000062c: PUSH2 0x0636
0000062f: JUMPI
00000630: POP
00000631: PUSH1 0x1e
00000633: DUP2
00000634: GT
00000635: ISZERO
00000636: JUMPDEST
00000637: DUP1
00000638: ISZERO
00000639: PUSH2 0x0644
0000063c: JUMPI
0000063d: POP
0000063e: PUSH1 0x0d
00000640: SLOAD
00000641: PUSH1 0xff
00000643: AND
00000644: JUMPDEST
00000645: PUSH2 0x0680
00000648: JUMPI
00000649: PUSH1 0x40
0000064b: MLOAD
0000064c: PUSH3 0x461bcd
00000650: PUSH1 0xe5
00000652: SHL
00000653: DUP2
00000654: MSTORE
00000655: PUSH1 0x20
00000657: PUSH1 0x04
00000659: DUP3
0000065a: ADD
0000065b: MSTORE
0000065c: PUSH1 0x0d
0000065e: PUSH1 0x24
00000660: DUP3
00000661: ADD
00000662: MSTORE
00000663: PUSH13 0x457863656564732076616c7565
00000671: PUSH1 0x98
00000673: SHL
00000674: PUSH1 0x44
00000676: DUP3
00000677: ADD
00000678: MSTORE
00000679: PUSH1 0x64
0000067b: ADD
0000067c: PUSH2 0x0435
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x07
00000683: DUP3
00000684: SWAP1
00000685: SSTORE
00000686: PUSH1 0x08
00000688: DUP2
00000689: SWAP1
0000068a: SSTORE
0000068b: PUSH1 0x40
0000068d: DUP1
0000068e: MLOAD
0000068f: DUP4
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x20
00000694: DUP2
00000695: ADD
00000696: DUP4
00000697: SWAP1
00000698: MSTORE
00000699: PUSH32 0x78009e5656a5c60b3c047015fb856b2efbc6f42beed76119406d7d4e3fc161f4
000006ba: SWAP2
000006bb: ADD
000006bc: PUSH1 0x40
000006be: MLOAD
000006bf: DUP1
000006c0: SWAP2
000006c1: SUB
000006c2: SWAP1
000006c3: LOG1
000006c4: POP
000006c5: POP
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH1 0x00
000006ca: SLOAD
000006cb: PUSH1 0x01
000006cd: PUSH1 0x01
000006cf: PUSH1 0xa0
000006d1: SHL
000006d2: SUB
000006d3: AND
000006d4: CALLER
000006d5: EQ
000006d6: PUSH2 0x06f1
000006d9: JUMPI
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: PUSH3 0x461bcd
000006e1: PUSH1 0xe5
000006e3: SHL
000006e4: DUP2
000006e5: MSTORE
000006e6: PUSH1 0x04
000006e8: ADD
000006e9: PUSH2 0x0435
000006ec: SWAP1
000006ed: PUSH2 0x17b6
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: SLOAD
000006f6: PUSH1 0x40
000006f8: MLOAD
000006f9: PUSH1 0x01
000006fb: PUSH1 0x01
000006fd: PUSH1 0xa0
000006ff: SHL
00000700: SUB
00000701: SWAP1
00000702: SWAP2
00000703: AND
00000704: SWAP1
00000705: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000726: SWAP1
00000727: DUP4
00000728: SWAP1
00000729: LOG3
0000072a: PUSH1 0x00
0000072c: DUP1
0000072d: SLOAD
0000072e: PUSH1 0x01
00000730: PUSH1 0x01
00000732: PUSH1 0xa0
00000734: SHL
00000735: SUB
00000736: NOT
00000737: AND
00000738: SWAP1
00000739: SSTORE
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x00
0000073e: SLOAD
0000073f: PUSH1 0x01
00000741: PUSH1 0x01
00000743: PUSH1 0xa0
00000745: SHL
00000746: SUB
00000747: AND
00000748: CALLER
00000749: EQ
0000074a: PUSH2 0x0765
0000074d: JUMPI
0000074e: PUSH1 0x40
00000750: MLOAD
00000751: PUSH3 0x461bcd
00000755: PUSH1 0xe5
00000757: SHL
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x04
0000075c: ADD
0000075d: PUSH2 0x0435
00000760: SWAP1
00000761: PUSH2 0x17b6
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x0d
00000768: SLOAD
00000769: PUSH1 0xff
0000076b: AND
0000076c: ISZERO
0000076d: PUSH2 0x07ae
00000770: JUMPI
00000771: PUSH1 0x40
00000773: MLOAD
00000774: PUSH3 0x461bcd
00000778: PUSH1 0xe5
0000077a: SHL
0000077b: DUP2
0000077c: MSTORE
0000077d: PUSH1 0x20
0000077f: PUSH1 0x04
00000781: DUP3
00000782: ADD
00000783: MSTORE
00000784: PUSH1 0x13
00000786: PUSH1 0x24
00000788: DUP3
00000789: ADD
0000078a: MSTORE
0000078b: PUSH19 0x1a5b9a5d08185b1c9958591e4818d85b1b1959
0000079f: PUSH1 0x6a
000007a1: SHL
000007a2: PUSH1 0x44
000007a4: DUP3
000007a5: ADD
000007a6: MSTORE
000007a7: PUSH1 0x64
000007a9: ADD
000007aa: PUSH2 0x0435
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x00
000007b1: PUSH2 0x07f9
000007b4: PUSH2 0x07e3
000007b7: PUSH1 0x64
000007b9: PUSH2 0x07dd
000007bc: PUSH1 0x1b
000007be: PUSH2 0x07c9
000007c1: PUSH1 0x09
000007c3: PUSH1 0x0a
000007c5: PUSH2 0x1790
000007c8: JUMP
000007c9: JUMPDEST
000007ca: PUSH2 0x07d7
000007cd: SWAP1
000007ce: PUSH4 0x05f5e100
000007d3: PUSH2 0x179f
000007d6: JUMP
000007d7: JUMPDEST
000007d8: SWAP1
000007d9: PUSH2 0x1203
000007dc: JUMP
000007dd: JUMPDEST
000007de: SWAP1
000007df: PUSH2 0x128c
000007e2: JUMP
000007e3: JUMPDEST
000007e4: ADDRESS
000007e5: PUSH1 0x00
000007e7: SWAP1
000007e8: DUP2
000007e9: MSTORE
000007ea: PUSH1 0x01
000007ec: PUSH1 0x20
000007ee: MSTORE
000007ef: PUSH1 0x40
000007f1: SWAP1
000007f2: KECCAK256
000007f3: SLOAD
000007f4: SWAP1
000007f5: PUSH2 0x12ce
000007f8: JUMP
000007f9: JUMPDEST
000007fa: PUSH1 0x06
000007fc: DUP1
000007fd: SLOAD
000007fe: PUSH1 0x01
00000800: PUSH1 0x01
00000802: PUSH1 0xa0
00000804: SHL
00000805: SUB
00000806: NOT
00000807: AND
00000808: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
0000081d: SWAP1
0000081e: DUP2
0000081f: OR
00000820: SWAP1
00000821: SWAP2
00000822: SSTORE
00000823: SWAP1
00000824: SWAP2
00000825: POP
00000826: PUSH2 0x0845
00000829: SWAP1
0000082a: ADDRESS
0000082b: SWAP1
0000082c: PUSH2 0x0837
0000082f: PUSH1 0x09
00000831: PUSH1 0x0a
00000833: PUSH2 0x1790
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH2 0x053e
0000083b: SWAP1
0000083c: PUSH4 0x05f5e100
00000841: PUSH2 0x179f
00000844: JUMP
00000845: JUMPDEST
00000846: PUSH1 0x06
00000848: PUSH1 0x00
0000084a: SWAP1
0000084b: SLOAD
0000084c: SWAP1
0000084d: PUSH2 0x0100
00000850: EXP
00000851: SWAP1
00000852: DIV
00000853: PUSH1 0x01
00000855: PUSH1 0x01
00000857: PUSH1 0xa0
00000859: SHL
0000085a: SUB
0000085b: AND
0000085c: PUSH1 0x01
0000085e: PUSH1 0x01
00000860: PUSH1 0xa0
00000862: SHL
00000863: SUB
00000864: AND
00000865: PUSH4 0xc45a0155
0000086a: PUSH1 0x40
0000086c: MLOAD
0000086d: DUP2
0000086e: PUSH4 0xffffffff
00000873: AND
00000874: PUSH1 0xe0
00000876: SHL
00000877: DUP2
00000878: MSTORE
00000879: PUSH1 0x04
0000087b: ADD
0000087c: PUSH1 0x20
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: DUP1
00000882: DUP4
00000883: SUB
00000884: DUP2
00000885: DUP7
00000886: GAS
00000887: STATICCALL
00000888: ISZERO
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0898
0000088e: JUMPI
0000088f: RETURNDATASIZE
00000890: PUSH1 0x00
00000892: DUP1
00000893: RETURNDATACOPY
00000894: RETURNDATASIZE
00000895: PUSH1 0x00
00000897: REVERT
00000898: JUMPDEST
00000899: POP
0000089a: POP
0000089b: POP
0000089c: POP
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: RETURNDATASIZE
000008a1: PUSH1 0x1f
000008a3: NOT
000008a4: PUSH1 0x1f
000008a6: DUP3
000008a7: ADD
000008a8: AND
000008a9: DUP3
000008aa: ADD
000008ab: DUP1
000008ac: PUSH1 0x40
000008ae: MSTORE
000008af: POP
000008b0: DUP2
000008b1: ADD
000008b2: SWAP1
000008b3: PUSH2 0x08bc
000008b6: SWAP2
000008b7: SWAP1
000008b8: PUSH2 0x17eb
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH1 0x01
000008bf: PUSH1 0x01
000008c1: PUSH1 0xa0
000008c3: SHL
000008c4: SUB
000008c5: AND
000008c6: PUSH4 0xc9c65396
000008cb: ADDRESS
000008cc: PUSH1 0x06
000008ce: PUSH1 0x00
000008d0: SWAP1
000008d1: SLOAD
000008d2: SWAP1
000008d3: PUSH2 0x0100
000008d6: EXP
000008d7: SWAP1
000008d8: DIV
000008d9: PUSH1 0x01
000008db: PUSH1 0x01
000008dd: PUSH1 0xa0
000008df: SHL
000008e0: SUB
000008e1: AND
000008e2: PUSH1 0x01
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: SHL
000008e9: SUB
000008ea: AND
000008eb: PUSH4 0xad5c4648
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: DUP2
000008f4: PUSH4 0xffffffff
000008f9: AND
000008fa: PUSH1 0xe0
000008fc: SHL
000008fd: DUP2
000008fe: MSTORE
000008ff: PUSH1 0x04
00000901: ADD
00000902: PUSH1 0x20
00000904: PUSH1 0x40
00000906: MLOAD
00000907: DUP1
00000908: DUP4
00000909: SUB
0000090a: DUP2
0000090b: DUP7
0000090c: GAS
0000090d: STATICCALL
0000090e: ISZERO
0000090f: DUP1
00000910: ISZERO
00000911: PUSH2 0x091e
00000914: JUMPI
00000915: RETURNDATASIZE
00000916: PUSH1 0x00
00000918: DUP1
00000919: RETURNDATACOPY
0000091a: RETURNDATASIZE
0000091b: PUSH1 0x00
0000091d: REVERT
0000091e: JUMPDEST
0000091f: POP
00000920: POP
00000921: POP
00000922: POP
00000923: PUSH1 0x40
00000925: MLOAD
00000926: RETURNDATASIZE
00000927: PUSH1 0x1f
00000929: NOT
0000092a: PUSH1 0x1f
0000092c: DUP3
0000092d: ADD
0000092e: AND
0000092f: DUP3
00000930: ADD
00000931: DUP1
00000932: PUSH1 0x40
00000934: MSTORE
00000935: POP
00000936: DUP2
00000937: ADD
00000938: SWAP1
00000939: PUSH2 0x0942
0000093c: SWAP2
0000093d: SWAP1
0000093e: PUSH2 0x17eb
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x40
00000945: MLOAD
00000946: PUSH1 0x01
00000948: PUSH1 0x01
0000094a: PUSH1 0xe0
0000094c: SHL
0000094d: SUB
0000094e: NOT
0000094f: PUSH1 0xe0
00000951: DUP6
00000952: SWAP1
00000953: SHL
00000954: AND
00000955: DUP2
00000956: MSTORE
00000957: PUSH1 0x01
00000959: PUSH1 0x01
0000095b: PUSH1 0xa0
0000095d: SHL
0000095e: SUB
0000095f: SWAP3
00000960: DUP4
00000961: AND
00000962: PUSH1 0x04
00000964: DUP3
00000965: ADD
00000966: MSTORE
00000967: SWAP2
00000968: AND
00000969: PUSH1 0x24
0000096b: DUP3
0000096c: ADD
0000096d: MSTORE
0000096e: PUSH1 0x44
00000970: ADD
00000971: PUSH1 0x20
00000973: PUSH1 0x40
00000975: MLOAD
00000976: DUP1
00000977: DUP4
00000978: SUB
00000979: DUP2
0000097a: PUSH1 0x00
0000097c: DUP8
0000097d: GAS
0000097e: CALL
0000097f: ISZERO
00000980: DUP1
00000981: ISZERO
00000982: PUSH2 0x098f
00000985: JUMPI
00000986: RETURNDATASIZE
00000987: PUSH1 0x00
00000989: DUP1
0000098a: RETURNDATACOPY
0000098b: RETURNDATASIZE
0000098c: PUSH1 0x00
0000098e: REVERT
0000098f: JUMPDEST
00000990: POP
00000991: POP
00000992: POP
00000993: POP
00000994: PUSH1 0x40
00000996: MLOAD
00000997: RETURNDATASIZE
00000998: PUSH1 0x1f
0000099a: NOT
0000099b: PUSH1 0x1f
0000099d: DUP3
0000099e: ADD
0000099f: AND
000009a0: DUP3
000009a1: ADD
000009a2: DUP1
000009a3: PUSH1 0x40
000009a5: MSTORE
000009a6: POP
000009a7: DUP2
000009a8: ADD
000009a9: SWAP1
000009aa: PUSH2 0x09b3
000009ad: SWAP2
000009ae: SWAP1
000009af: PUSH2 0x17eb
000009b2: JUMP
000009b3: JUMPDEST
000009b4: PUSH1 0x05
000009b6: DUP1
000009b7: SLOAD
000009b8: PUSH1 0x01
000009ba: PUSH1 0x01
000009bc: PUSH1 0xa0
000009be: SHL
000009bf: SUB
000009c0: NOT
000009c1: AND
000009c2: PUSH1 0x01
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: SHL
000009c9: SUB
000009ca: SWAP3
000009cb: DUP4
000009cc: AND
000009cd: OR
000009ce: SWAP1
000009cf: SSTORE
000009d0: PUSH1 0x06
000009d2: SLOAD
000009d3: AND
000009d4: PUSH4 0xf305d719
000009d9: SELFBALANCE
000009da: ADDRESS
000009db: DUP5
000009dc: PUSH1 0x00
000009de: DUP1
000009df: CALLER
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: PUSH1 0xe0
000009e5: DUP9
000009e6: SWAP1
000009e7: SHL
000009e8: PUSH1 0x01
000009ea: PUSH1 0x01
000009ec: PUSH1 0xe0
000009ee: SHL
000009ef: SUB
000009f0: NOT
000009f1: AND
000009f2: DUP2
000009f3: MSTORE
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: SHL
000009fb: SUB
000009fc: SWAP6
000009fd: DUP7
000009fe: AND
000009ff: PUSH1 0x04
00000a01: DUP3
00000a02: ADD
00000a03: MSTORE
00000a04: PUSH1 0x24
00000a06: DUP2
00000a07: ADD
00000a08: SWAP5
00000a09: SWAP1
00000a0a: SWAP5
00000a0b: MSTORE
00000a0c: PUSH1 0x44
00000a0e: DUP5
00000a0f: ADD
00000a10: SWAP3
00000a11: SWAP1
00000a12: SWAP3
00000a13: MSTORE
00000a14: PUSH1 0x64
00000a16: DUP4
00000a17: ADD
00000a18: MSTORE
00000a19: SWAP1
00000a1a: SWAP2
00000a1b: AND
00000a1c: PUSH1 0x84
00000a1e: DUP3
00000a1f: ADD
00000a20: MSTORE
00000a21: TIMESTAMP
00000a22: PUSH1 0xa4
00000a24: DUP3
00000a25: ADD
00000a26: MSTORE
00000a27: PUSH1 0xc4
00000a29: ADD
00000a2a: PUSH1 0x60
00000a2c: PUSH1 0x40
00000a2e: MLOAD
00000a2f: DUP1
00000a30: DUP4
00000a31: SUB
00000a32: DUP2
00000a33: DUP6
00000a34: DUP9
00000a35: GAS
00000a36: CALL
00000a37: ISZERO
00000a38: DUP1
00000a39: ISZERO
00000a3a: PUSH2 0x0a47
00000a3d: JUMPI
00000a3e: RETURNDATASIZE
00000a3f: PUSH1 0x00
00000a41: DUP1
00000a42: RETURNDATACOPY
00000a43: RETURNDATASIZE
00000a44: PUSH1 0x00
00000a46: REVERT
00000a47: JUMPDEST
00000a48: POP
00000a49: POP
00000a4a: POP
00000a4b: POP
00000a4c: POP
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: RETURNDATASIZE
00000a51: PUSH1 0x1f
00000a53: NOT
00000a54: PUSH1 0x1f
00000a56: DUP3
00000a57: ADD
00000a58: AND
00000a59: DUP3
00000a5a: ADD
00000a5b: DUP1
00000a5c: PUSH1 0x40
00000a5e: MSTORE
00000a5f: POP
00000a60: DUP2
00000a61: ADD
00000a62: SWAP1
00000a63: PUSH2 0x0a6c
00000a66: SWAP2
00000a67: SWAP1
00000a68: PUSH2 0x1808
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: POP
00000a6f: PUSH1 0x05
00000a71: SLOAD
00000a72: PUSH1 0x06
00000a74: SLOAD
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: PUSH4 0x095ea7b3
00000a7d: PUSH1 0xe0
00000a7f: SHL
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x01
00000a84: PUSH1 0x01
00000a86: PUSH1 0xa0
00000a88: SHL
00000a89: SUB
00000a8a: SWAP2
00000a8b: DUP3
00000a8c: AND
00000a8d: PUSH1 0x04
00000a8f: DUP3
00000a90: ADD
00000a91: MSTORE
00000a92: PUSH1 0x00
00000a94: NOT
00000a95: PUSH1 0x24
00000a97: DUP3
00000a98: ADD
00000a99: MSTORE
00000a9a: SWAP2
00000a9b: AND
00000a9c: SWAP2
00000a9d: POP
00000a9e: PUSH4 0x095ea7b3
00000aa3: SWAP1
00000aa4: PUSH1 0x44
00000aa6: ADD
00000aa7: PUSH1 0x20
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: DUP1
00000aad: DUP4
00000aae: SUB
00000aaf: DUP2
00000ab0: PUSH1 0x00
00000ab2: DUP8
00000ab3: GAS
00000ab4: CALL
00000ab5: ISZERO
00000ab6: DUP1
00000ab7: ISZERO
00000ab8: PUSH2 0x0ac5
00000abb: JUMPI
00000abc: RETURNDATASIZE
00000abd: PUSH1 0x00
00000abf: DUP1
00000ac0: RETURNDATACOPY
00000ac1: RETURNDATASIZE
00000ac2: PUSH1 0x00
00000ac4: REVERT
00000ac5: JUMPDEST
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: POP
00000aca: PUSH1 0x40
00000acc: MLOAD
00000acd: RETURNDATASIZE
00000ace: PUSH1 0x1f
00000ad0: NOT
00000ad1: PUSH1 0x1f
00000ad3: DUP3
00000ad4: ADD
00000ad5: AND
00000ad6: DUP3
00000ad7: ADD
00000ad8: DUP1
00000ad9: PUSH1 0x40
00000adb: MSTORE
00000adc: POP
00000add: DUP2
00000ade: ADD
00000adf: SWAP1
00000ae0: PUSH2 0x0ae9
00000ae3: SWAP2
00000ae4: SWAP1
00000ae5: PUSH2 0x1836
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: POP
00000aeb: POP
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: PUSH2 0x03c4
00000af3: CALLER
00000af4: DUP5
00000af5: DUP5
00000af6: PUSH2 0x0be0
00000af9: JUMP
00000afa: JUMPDEST
00000afb: PUSH2 0x0b06
00000afe: PUSH1 0x09
00000b00: PUSH1 0x0a
00000b02: PUSH2 0x1790
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH2 0x03e7
00000b0a: SWAP1
00000b0b: PUSH3 0x030d40
00000b0f: PUSH2 0x179f
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH1 0x01
00000b16: PUSH1 0x01
00000b18: PUSH1 0xa0
00000b1a: SHL
00000b1b: SUB
00000b1c: DUP4
00000b1d: AND
00000b1e: ISZERO
00000b1f: DUP1
00000b20: ISZERO
00000b21: SWAP1
00000b22: PUSH2 0x0b33
00000b25: JUMPI
00000b26: POP
00000b27: PUSH1 0x01
00000b29: PUSH1 0x01
00000b2b: PUSH1 0xa0
00000b2d: SHL
00000b2e: SUB
00000b2f: DUP3
00000b30: AND
00000b31: ISZERO
00000b32: ISZERO
00000b33: JUMPDEST
00000b34: PUSH2 0x0b7f
00000b37: JUMPI
00000b38: PUSH1 0x40
00000b3a: MLOAD
00000b3b: PUSH3 0x461bcd
00000b3f: PUSH1 0xe5
00000b41: SHL
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: PUSH1 0x04
00000b48: DUP3
00000b49: ADD
00000b4a: MSTORE
00000b4b: PUSH1 0x1f
00000b4d: PUSH1 0x24
00000b4f: DUP3
00000b50: ADD
00000b51: MSTORE
00000b52: PUSH32 0x45524332303a20617070726f766520746865207a65726f206164647265737300
00000b73: PUSH1 0x44
00000b75: DUP3
00000b76: ADD
00000b77: MSTORE
00000b78: PUSH1 0x64
00000b7a: ADD
00000b7b: PUSH2 0x0435
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x01
00000b82: PUSH1 0x01
00000b84: PUSH1 0xa0
00000b86: SHL
00000b87: SUB
00000b88: DUP4
00000b89: DUP2
00000b8a: AND
00000b8b: PUSH1 0x00
00000b8d: DUP2
00000b8e: DUP2
00000b8f: MSTORE
00000b90: PUSH1 0x02
00000b92: PUSH1 0x20
00000b94: SWAP1
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x40
00000b99: DUP1
00000b9a: DUP4
00000b9b: KECCAK256
00000b9c: SWAP5
00000b9d: DUP8
00000b9e: AND
00000b9f: DUP1
00000ba0: DUP5
00000ba1: MSTORE
00000ba2: SWAP5
00000ba3: DUP3
00000ba4: MSTORE
00000ba5: SWAP2
00000ba6: DUP3
00000ba7: SWAP1
00000ba8: KECCAK256
00000ba9: DUP6
00000baa: SWAP1
00000bab: SSTORE
00000bac: SWAP1
00000bad: MLOAD
00000bae: DUP5
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000bd2: SWAP2
00000bd3: ADD
00000bd4: PUSH1 0x40
00000bd6: MLOAD
00000bd7: DUP1
00000bd8: SWAP2
00000bd9: SUB
00000bda: SWAP1
00000bdb: LOG3
00000bdc: POP
00000bdd: POP
00000bde: POP
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: PUSH1 0x01
00000be3: PUSH1 0x01
00000be5: PUSH1 0xa0
00000be7: SHL
00000be8: SUB
00000be9: DUP4
00000bea: AND
00000beb: ISZERO
00000bec: DUP1
00000bed: ISZERO
00000bee: SWAP1
00000bef: PUSH2 0x0c00
00000bf2: JUMPI
00000bf3: POP
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0x01
00000bf8: PUSH1 0xa0
00000bfa: SHL
00000bfb: SUB
00000bfc: DUP3
00000bfd: AND
00000bfe: ISZERO
00000bff: ISZERO
00000c00: JUMPDEST
00000c01: PUSH2 0x0c4c
00000c04: JUMPI
00000c05: PUSH1 0x40
00000c07: MLOAD
00000c08: PUSH3 0x461bcd
00000c0c: PUSH1 0xe5
00000c0e: SHL
00000c0f: DUP2
00000c10: MSTORE
00000c11: PUSH1 0x20
00000c13: PUSH1 0x04
00000c15: DUP3
00000c16: ADD
00000c17: DUP2
00000c18: SWAP1
00000c19: MSTORE
00000c1a: PUSH1 0x24
00000c1c: DUP3
00000c1d: ADD
00000c1e: MSTORE
00000c1f: PUSH32 0x45524332303a207472616e7366657220746865207a65726f2061646472657373
00000c40: PUSH1 0x44
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x64
00000c47: ADD
00000c48: PUSH2 0x0435
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x00
00000c4f: DUP2
00000c50: GT
00000c51: PUSH2 0x0cae
00000c54: JUMPI
00000c55: PUSH1 0x40
00000c57: MLOAD
00000c58: PUSH3 0x461bcd
00000c5c: PUSH1 0xe5
00000c5e: SHL
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: PUSH1 0x04
00000c65: DUP3
00000c66: ADD
00000c67: MSTORE
00000c68: PUSH1 0x29
00000c6a: PUSH1 0x24
00000c6c: DUP3
00000c6d: ADD
00000c6e: MSTORE
00000c6f: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00000c90: PUSH1 0x44
00000c92: DUP3
00000c93: ADD
00000c94: MSTORE
00000c95: PUSH9 0x7468616e207a65726f
00000c9f: PUSH1 0xb8
00000ca1: SHL
00000ca2: PUSH1 0x64
00000ca4: DUP3
00000ca5: ADD
00000ca6: MSTORE
00000ca7: PUSH1 0x84
00000ca9: ADD
00000caa: PUSH2 0x0435
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x00
00000cb1: DUP1
00000cb2: SLOAD
00000cb3: PUSH1 0x01
00000cb5: PUSH1 0x01
00000cb7: PUSH1 0xa0
00000cb9: SHL
00000cba: SUB
00000cbb: DUP6
00000cbc: DUP2
00000cbd: AND
00000cbe: SWAP2
00000cbf: AND
00000cc0: EQ
00000cc1: DUP1
00000cc2: ISZERO
00000cc3: SWAP1
00000cc4: PUSH2 0x0cdb
00000cc7: JUMPI
00000cc8: POP
00000cc9: PUSH1 0x00
00000ccb: SLOAD
00000ccc: PUSH1 0x01
00000cce: PUSH1 0x01
00000cd0: PUSH1 0xa0
00000cd2: SHL
00000cd3: SUB
00000cd4: DUP5
00000cd5: DUP2
00000cd6: AND
00000cd7: SWAP2
00000cd8: AND
00000cd9: EQ
00000cda: ISZERO
00000cdb: JUMPDEST
00000cdc: ISZERO
00000cdd: PUSH2 0x1086
00000ce0: JUMPI
00000ce1: PUSH1 0x0d
00000ce3: SLOAD
00000ce4: PUSH1 0xff
00000ce6: AND
00000ce7: PUSH2 0x0d6c
00000cea: JUMPI
00000ceb: PUSH1 0x01
00000ced: PUSH1 0x01
00000cef: PUSH1 0xa0
00000cf1: SHL
00000cf2: SUB
00000cf3: DUP4
00000cf4: AND
00000cf5: PUSH1 0x00
00000cf7: SWAP1
00000cf8: DUP2
00000cf9: MSTORE
00000cfa: PUSH1 0x03
00000cfc: PUSH1 0x20
00000cfe: MSTORE
00000cff: PUSH1 0x40
00000d01: SWAP1
00000d02: KECCAK256
00000d03: SLOAD
00000d04: PUSH1 0xff
00000d06: AND
00000d07: DUP1
00000d08: PUSH2 0x0d29
00000d0b: JUMPI
00000d0c: POP
00000d0d: PUSH1 0x01
00000d0f: PUSH1 0x01
00000d11: PUSH1 0xa0
00000d13: SHL
00000d14: SUB
00000d15: DUP5
00000d16: AND
00000d17: PUSH1 0x00
00000d19: SWAP1
00000d1a: DUP2
00000d1b: MSTORE
00000d1c: PUSH1 0x03
00000d1e: PUSH1 0x20
00000d20: MSTORE
00000d21: PUSH1 0x40
00000d23: SWAP1
00000d24: KECCAK256
00000d25: SLOAD
00000d26: PUSH1 0xff
00000d28: AND
00000d29: JUMPDEST
00000d2a: PUSH2 0x0d6c
00000d2d: JUMPI
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: PUSH3 0x461bcd
00000d35: PUSH1 0xe5
00000d37: SHL
00000d38: DUP2
00000d39: MSTORE
00000d3a: PUSH1 0x20
00000d3c: PUSH1 0x04
00000d3e: DUP3
00000d3f: ADD
00000d40: MSTORE
00000d41: PUSH1 0x14
00000d43: PUSH1 0x24
00000d45: DUP3
00000d46: ADD
00000d47: MSTORE
00000d48: PUSH20 0x3a3930b234b733903737ba103cb2ba1037b832b7
00000d5d: PUSH1 0x61
00000d5f: SHL
00000d60: PUSH1 0x44
00000d62: DUP3
00000d63: ADD
00000d64: MSTORE
00000d65: PUSH1 0x64
00000d67: ADD
00000d68: PUSH2 0x0435
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH1 0x05
00000d6f: SLOAD
00000d70: PUSH1 0x01
00000d72: PUSH1 0x01
00000d74: PUSH1 0xa0
00000d76: SHL
00000d77: SUB
00000d78: DUP6
00000d79: DUP2
00000d7a: AND
00000d7b: SWAP2
00000d7c: AND
00000d7d: EQ
00000d7e: DUP1
00000d7f: ISZERO
00000d80: PUSH2 0x0d97
00000d83: JUMPI
00000d84: POP
00000d85: PUSH1 0x06
00000d87: SLOAD
00000d88: PUSH1 0x01
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0xa0
00000d8e: SHL
00000d8f: SUB
00000d90: DUP5
00000d91: DUP2
00000d92: AND
00000d93: SWAP2
00000d94: AND
00000d95: EQ
00000d96: ISZERO
00000d97: JUMPDEST
00000d98: DUP1
00000d99: ISZERO
00000d9a: PUSH2 0x0dbc
00000d9d: JUMPI
00000d9e: POP
00000d9f: PUSH1 0x01
00000da1: PUSH1 0x01
00000da3: PUSH1 0xa0
00000da5: SHL
00000da6: SUB
00000da7: DUP4
00000da8: AND
00000da9: PUSH1 0x00
00000dab: SWAP1
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x03
00000db0: PUSH1 0x20
00000db2: MSTORE
00000db3: PUSH1 0x40
00000db5: SWAP1
00000db6: KECCAK256
00000db7: SLOAD
00000db8: PUSH1 0xff
00000dba: AND
00000dbb: ISZERO
00000dbc: JUMPDEST
00000dbd: ISZERO
00000dbe: PUSH2 0x0ea4
00000dc1: JUMPI
00000dc2: PUSH1 0x0b
00000dc4: SLOAD
00000dc5: DUP3
00000dc6: GT
00000dc7: ISZERO
00000dc8: PUSH2 0x0e13
00000dcb: JUMPI
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: PUSH3 0x461bcd
00000dd3: PUSH1 0xe5
00000dd5: SHL
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: PUSH1 0x20
00000dda: PUSH1 0x04
00000ddc: DUP3
00000ddd: ADD
00000dde: MSTORE
00000ddf: PUSH1 0x19
00000de1: PUSH1 0x24
00000de3: DUP3
00000de4: ADD
00000de5: MSTORE
00000de6: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
00000e07: PUSH1 0x44
00000e09: DUP3
00000e0a: ADD
00000e0b: MSTORE
00000e0c: PUSH1 0x64
00000e0e: ADD
00000e0f: PUSH2 0x0435
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x0c
00000e16: SLOAD
00000e17: DUP3
00000e18: PUSH2 0x0e36
00000e1b: DUP6
00000e1c: PUSH1 0x01
00000e1e: PUSH1 0x01
00000e20: PUSH1 0xa0
00000e22: SHL
00000e23: SUB
00000e24: AND
00000e25: PUSH1 0x00
00000e27: SWAP1
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x01
00000e2c: PUSH1 0x20
00000e2e: MSTORE
00000e2f: PUSH1 0x40
00000e31: SWAP1
00000e32: KECCAK256
00000e33: SLOAD
00000e34: SWAP1
00000e35: JUMP
00000e36: JUMPDEST
00000e37: PUSH2 0x0e40
00000e3a: SWAP2
00000e3b: SWAP1
00000e3c: PUSH2 0x1858
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: GT
00000e42: ISZERO
00000e43: PUSH2 0x0e8e
00000e46: JUMPI
00000e47: PUSH1 0x40
00000e49: MLOAD
00000e4a: PUSH3 0x461bcd
00000e4e: PUSH1 0xe5
00000e50: SHL
00000e51: DUP2
00000e52: MSTORE
00000e53: PUSH1 0x20
00000e55: PUSH1 0x04
00000e57: DUP3
00000e58: ADD
00000e59: MSTORE
00000e5a: PUSH1 0x1a
00000e5c: PUSH1 0x24
00000e5e: DUP3
00000e5f: ADD
00000e60: MSTORE
00000e61: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00000e82: PUSH1 0x44
00000e84: DUP3
00000e85: ADD
00000e86: MSTORE
00000e87: PUSH1 0x64
00000e89: ADD
00000e8a: PUSH2 0x0435
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH1 0x09
00000e91: DUP1
00000e92: SLOAD
00000e93: SWAP1
00000e94: PUSH1 0x00
00000e96: PUSH2 0x0e9e
00000e99: DUP4
00000e9a: PUSH2 0x186b
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: SWAP2
00000ea0: SWAP1
00000ea1: POP
00000ea2: SSTORE
00000ea3: POP
00000ea4: JUMPDEST
00000ea5: PUSH1 0x05
00000ea7: SLOAD
00000ea8: PUSH1 0x01
00000eaa: PUSH1 0x01
00000eac: PUSH1 0xa0
00000eae: SHL
00000eaf: SUB
00000eb0: DUP5
00000eb1: DUP2
00000eb2: AND
00000eb3: SWAP2
00000eb4: AND
00000eb5: EQ
00000eb6: DUP1
00000eb7: ISZERO
00000eb8: PUSH2 0x0eca
00000ebb: JUMPI
00000ebc: POP
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0xa0
00000ec3: SHL
00000ec4: SUB
00000ec5: DUP5
00000ec6: AND
00000ec7: ADDRESS
00000ec8: EQ
00000ec9: ISZERO
00000eca: JUMPDEST
00000ecb: ISZERO
00000ecc: PUSH2 0x0f01
00000ecf: JUMPI
00000ed0: PUSH1 0x64
00000ed2: PUSH2 0x0ef0
00000ed5: PUSH1 0x2d
00000ed7: PUSH1 0x09
00000ed9: SLOAD
00000eda: GT
00000edb: PUSH2 0x0ee5
00000ede: JUMPI
00000edf: PUSH1 0x1b
00000ee1: PUSH2 0x0ee9
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x08
00000ee8: SLOAD
00000ee9: JUMPDEST
00000eea: DUP5
00000eeb: SWAP1
00000eec: PUSH2 0x1203
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH2 0x0efa
00000ef4: SWAP2
00000ef5: SWAP1
00000ef6: PUSH2 0x1884
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: SWAP1
00000efc: POP
00000efd: PUSH2 0x0f59
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH1 0x05
00000f04: SLOAD
00000f05: PUSH1 0x01
00000f07: PUSH1 0x01
00000f09: PUSH1 0xa0
00000f0b: SHL
00000f0c: SUB
00000f0d: DUP6
00000f0e: DUP2
00000f0f: AND
00000f10: SWAP2
00000f11: AND
00000f12: EQ
00000f13: DUP1
00000f14: ISZERO
00000f15: PUSH2 0x0f27
00000f18: JUMPI
00000f19: POP
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0x01
00000f1e: PUSH1 0xa0
00000f20: SHL
00000f21: SUB
00000f22: DUP4
00000f23: AND
00000f24: ADDRESS
00000f25: EQ
00000f26: ISZERO
00000f27: JUMPDEST
00000f28: ISZERO
00000f29: PUSH2 0x0f59
00000f2c: JUMPI
00000f2d: PUSH1 0x64
00000f2f: PUSH2 0x0f4c
00000f32: PUSH1 0x26
00000f34: PUSH1 0x09
00000f36: SLOAD
00000f37: GT
00000f38: PUSH2 0x0f42
00000f3b: JUMPI
00000f3c: PUSH1 0x1b
00000f3e: PUSH2 0x0ee9
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH1 0x07
00000f45: SLOAD
00000f46: DUP5
00000f47: SWAP1
00000f48: PUSH2 0x1203
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH2 0x0f56
00000f50: SWAP2
00000f51: SWAP1
00000f52: PUSH2 0x1884
00000f55: JUMP
00000f56: JUMPDEST
00000f57: SWAP1
00000f58: POP
00000f59: JUMPDEST
00000f5a: DUP1
00000f5b: PUSH1 0x0a
00000f5d: PUSH1 0x00
00000f5f: DUP3
00000f60: DUP3
00000f61: SLOAD
00000f62: PUSH2 0x0f6b
00000f65: SWAP2
00000f66: SWAP1
00000f67: PUSH2 0x1858
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: SWAP1
00000f6d: SWAP2
00000f6e: SSTORE
00000f6f: POP
00000f70: POP
00000f71: ADDRESS
00000f72: PUSH1 0x00
00000f74: SWAP1
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x01
00000f79: PUSH1 0x20
00000f7b: MSTORE
00000f7c: PUSH1 0x40
00000f7e: SWAP1
00000f7f: KECCAK256
00000f80: SLOAD
00000f81: PUSH1 0x0d
00000f83: SLOAD
00000f84: PUSH2 0x0100
00000f87: SWAP1
00000f88: DIV
00000f89: PUSH1 0xff
00000f8b: AND
00000f8c: ISZERO
00000f8d: DUP1
00000f8e: ISZERO
00000f8f: PUSH2 0x0fa5
00000f92: JUMPI
00000f93: POP
00000f94: PUSH1 0x05
00000f96: SLOAD
00000f97: PUSH1 0x01
00000f99: PUSH1 0x01
00000f9b: PUSH1 0xa0
00000f9d: SHL
00000f9e: SUB
00000f9f: DUP6
00000fa0: DUP2
00000fa1: AND
00000fa2: SWAP2
00000fa3: AND
00000fa4: EQ
00000fa5: JUMPDEST
00000fa6: DUP1
00000fa7: ISZERO
00000fa8: PUSH2 0x0fb9
00000fab: JUMPI
00000fac: POP
00000fad: PUSH1 0x0d
00000faf: SLOAD
00000fb0: PUSH3 0x010000
00000fb4: SWAP1
00000fb5: DIV
00000fb6: PUSH1 0xff
00000fb8: AND
00000fb9: JUMPDEST
00000fba: DUP1
00000fbb: ISZERO
00000fbc: PUSH2 0x0fdc
00000fbf: JUMPI
00000fc0: POP
00000fc1: PUSH2 0x0fcc
00000fc4: PUSH1 0x09
00000fc6: PUSH1 0x0a
00000fc8: PUSH2 0x1790
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH2 0x0fd9
00000fd0: SWAP1
00000fd1: PUSH3 0x030d40
00000fd5: PUSH2 0x179f
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: DUP2
00000fdb: GT
00000fdc: JUMPDEST
00000fdd: DUP1
00000fde: ISZERO
00000fdf: PUSH2 0x0fea
00000fe2: JUMPI
00000fe3: POP
00000fe4: PUSH1 0x29
00000fe6: PUSH1 0x09
00000fe8: SLOAD
00000fe9: GT
00000fea: JUMPDEST
00000feb: DUP1
00000fec: ISZERO
00000fed: PUSH2 0x100f
00000ff0: JUMPI
00000ff1: POP
00000ff2: PUSH2 0x0ffd
00000ff5: PUSH1 0x09
00000ff7: PUSH1 0x0a
00000ff9: PUSH2 0x1790
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH2 0x100a
00001001: SWAP1
00001002: PUSH3 0x0186a0
00001006: PUSH2 0x179f
00001009: JUMP
0000100a: JUMPDEST
0000100b: PUSH1 0x0a
0000100d: SLOAD
0000100e: GT
0000100f: JUMPDEST
00001010: ISZERO
00001011: PUSH2 0x1084
00001014: JUMPI
00001015: PUSH1 0x00
00001017: PUSH2 0x1022
0000101a: PUSH1 0x09
0000101c: PUSH1 0x0a
0000101e: PUSH2 0x1790
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH2 0x102f
00001026: SWAP1
00001027: PUSH3 0x0f4240
0000102b: PUSH2 0x179f
0000102e: JUMP
0000102f: JUMPDEST
00001030: DUP3
00001031: GT
00001032: PUSH2 0x103b
00001035: JUMPI
00001036: DUP2
00001037: PUSH2 0x1054
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH2 0x1047
0000103f: PUSH1 0x09
00001041: PUSH1 0x0a
00001043: PUSH2 0x1790
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH2 0x1054
0000104b: SWAP1
0000104c: PUSH3 0x0f4240
00001050: PUSH2 0x179f
00001053: JUMP
00001054: JUMPDEST
00001055: SWAP1
00001056: POP
00001057: PUSH2 0x106c
0000105a: DUP2
0000105b: DUP6
0000105c: GT
0000105d: PUSH2 0x1066
00001060: JUMPI
00001061: DUP5
00001062: PUSH2 0x1310
00001065: JUMP
00001066: JUMPDEST
00001067: DUP2
00001068: PUSH2 0x1310
0000106b: JUMP
0000106c: JUMPDEST
0000106d: SELFBALANCE
0000106e: DUP1
0000106f: ISZERO
00001070: PUSH2 0x107c
00001073: JUMPI
00001074: PUSH2 0x107c
00001077: SELFBALANCE
00001078: PUSH2 0x1484
0000107b: JUMP
0000107c: JUMPDEST
0000107d: POP
0000107e: POP
0000107f: PUSH1 0x00
00001081: PUSH1 0x0a
00001083: SSTORE
00001084: JUMPDEST
00001085: POP
00001086: JUMPDEST
00001087: DUP1
00001088: ISZERO
00001089: PUSH2 0x1100
0000108c: JUMPI
0000108d: ADDRESS
0000108e: PUSH1 0x00
00001090: SWAP1
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x01
00001095: PUSH1 0x20
00001097: MSTORE
00001098: PUSH1 0x40
0000109a: SWAP1
0000109b: KECCAK256
0000109c: SLOAD
0000109d: PUSH2 0x10a6
000010a0: SWAP1
000010a1: DUP3
000010a2: PUSH2 0x14be
000010a5: JUMP
000010a6: JUMPDEST
000010a7: ADDRESS
000010a8: PUSH1 0x00
000010aa: DUP2
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x01
000010af: PUSH1 0x20
000010b1: MSTORE
000010b2: PUSH1 0x40
000010b4: SWAP1
000010b5: DUP2
000010b6: SWAP1
000010b7: KECCAK256
000010b8: SWAP3
000010b9: SWAP1
000010ba: SWAP3
000010bb: SSTORE
000010bc: SWAP1
000010bd: MLOAD
000010be: PUSH1 0x01
000010c0: PUSH1 0x01
000010c2: PUSH1 0xa0
000010c4: SHL
000010c5: SUB
000010c6: DUP7
000010c7: AND
000010c8: SWAP1
000010c9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000010ea: SWAP1
000010eb: PUSH2 0x10f7
000010ee: SWAP1
000010ef: DUP6
000010f0: DUP2
000010f1: MSTORE
000010f2: PUSH1 0x20
000010f4: ADD
000010f5: SWAP1
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x40
000010fa: MLOAD
000010fb: DUP1
000010fc: SWAP2
000010fd: SUB
000010fe: SWAP1
000010ff: LOG3
00001100: JUMPDEST
00001101: PUSH1 0x01
00001103: PUSH1 0x01
00001105: PUSH1 0xa0
00001107: SHL
00001108: SUB
00001109: DUP5
0000110a: AND
0000110b: PUSH1 0x00
0000110d: SWAP1
0000110e: DUP2
0000110f: MSTORE
00001110: PUSH1 0x01
00001112: PUSH1 0x20
00001114: MSTORE
00001115: PUSH1 0x40
00001117: SWAP1
00001118: KECCAK256
00001119: SLOAD
0000111a: PUSH2 0x1123
0000111d: SWAP1
0000111e: DUP4
0000111f: PUSH2 0x12ce
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH1 0x01
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: SHL
0000112b: SUB
0000112c: DUP6
0000112d: AND
0000112e: PUSH1 0x00
00001130: SWAP1
00001131: DUP2
00001132: MSTORE
00001133: PUSH1 0x01
00001135: PUSH1 0x20
00001137: MSTORE
00001138: PUSH1 0x40
0000113a: SWAP1
0000113b: KECCAK256
0000113c: SSTORE
0000113d: PUSH2 0x1168
00001140: PUSH2 0x1149
00001143: DUP4
00001144: DUP4
00001145: PUSH2 0x12ce
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH1 0x01
0000114c: PUSH1 0x01
0000114e: PUSH1 0xa0
00001150: SHL
00001151: SUB
00001152: DUP6
00001153: AND
00001154: PUSH1 0x00
00001156: SWAP1
00001157: DUP2
00001158: MSTORE
00001159: PUSH1 0x01
0000115b: PUSH1 0x20
0000115d: MSTORE
0000115e: PUSH1 0x40
00001160: SWAP1
00001161: KECCAK256
00001162: SLOAD
00001163: SWAP1
00001164: PUSH2 0x14be
00001167: JUMP
00001168: JUMPDEST
00001169: PUSH1 0x01
0000116b: PUSH1 0x01
0000116d: PUSH1 0xa0
0000116f: SHL
00001170: SUB
00001171: DUP1
00001172: DUP6
00001173: AND
00001174: PUSH1 0x00
00001176: DUP2
00001177: DUP2
00001178: MSTORE
00001179: PUSH1 0x01
0000117b: PUSH1 0x20
0000117d: MSTORE
0000117e: PUSH1 0x40
00001180: SWAP1
00001181: KECCAK256
00001182: SWAP3
00001183: SWAP1
00001184: SWAP3
00001185: SSTORE
00001186: DUP6
00001187: AND
00001188: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000011a9: PUSH2 0x11b2
000011ac: DUP6
000011ad: DUP6
000011ae: PUSH2 0x12ce
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: SWAP1
000011b7: DUP2
000011b8: MSTORE
000011b9: PUSH1 0x20
000011bb: ADD
000011bc: PUSH1 0x40
000011be: MLOAD
000011bf: DUP1
000011c0: SWAP2
000011c1: SUB
000011c2: SWAP1
000011c3: LOG3
000011c4: POP
000011c5: POP
000011c6: POP
000011c7: POP
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x00
000011cc: DUP2
000011cd: DUP5
000011ce: DUP5
000011cf: GT
000011d0: ISZERO
000011d1: PUSH2 0x11ed
000011d4: JUMPI
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: PUSH3 0x461bcd
000011dc: PUSH1 0xe5
000011de: SHL
000011df: DUP2
000011e0: MSTORE
000011e1: PUSH1 0x04
000011e3: ADD
000011e4: PUSH2 0x0435
000011e7: SWAP2
000011e8: SWAP1
000011e9: PUSH2 0x154b
000011ec: JUMP
000011ed: JUMPDEST
000011ee: POP
000011ef: PUSH1 0x00
000011f1: PUSH2 0x11fa
000011f4: DUP5
000011f5: DUP7
000011f6: PUSH2 0x18a6
000011f9: JUMP
000011fa: JUMPDEST
000011fb: SWAP6
000011fc: SWAP5
000011fd: POP
000011fe: POP
000011ff: POP
00001200: POP
00001201: POP
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0x00
00001206: DUP3
00001207: PUSH1 0x00
00001209: SUB
0000120a: PUSH2 0x1215
0000120d: JUMPI
0000120e: POP
0000120f: PUSH1 0x00
00001211: PUSH2 0x03c8
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x00
00001218: PUSH2 0x1221
0000121b: DUP4
0000121c: DUP6
0000121d: PUSH2 0x179f
00001220: JUMP
00001221: JUMPDEST
00001222: SWAP1
00001223: POP
00001224: DUP3
00001225: PUSH2 0x122e
00001228: DUP6
00001229: DUP4
0000122a: PUSH2 0x1884
0000122d: JUMP
0000122e: JUMPDEST
0000122f: EQ
00001230: PUSH2 0x1285
00001233: JUMPI
00001234: PUSH1 0x40
00001236: MLOAD
00001237: PUSH3 0x461bcd
0000123b: PUSH1 0xe5
0000123d: SHL
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x20
00001242: PUSH1 0x04
00001244: DUP3
00001245: ADD
00001246: MSTORE
00001247: PUSH1 0x21
00001249: PUSH1 0x24
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000126f: PUSH1 0x44
00001271: DUP3
00001272: ADD
00001273: MSTORE
00001274: PUSH1 0x77
00001276: PUSH1 0xf8
00001278: SHL
00001279: PUSH1 0x64
0000127b: DUP3
0000127c: ADD
0000127d: MSTORE
0000127e: PUSH1 0x84
00001280: ADD
00001281: PUSH2 0x0435
00001284: JUMP
00001285: JUMPDEST
00001286: SWAP4
00001287: SWAP3
00001288: POP
00001289: POP
0000128a: POP
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0x00
0000128f: PUSH2 0x1285
00001292: DUP4
00001293: DUP4
00001294: PUSH1 0x40
00001296: MLOAD
00001297: DUP1
00001298: PUSH1 0x40
0000129a: ADD
0000129b: PUSH1 0x40
0000129d: MSTORE
0000129e: DUP1
0000129f: PUSH1 0x1a
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000012c7: DUP2
000012c8: MSTORE
000012c9: POP
000012ca: PUSH2 0x151d
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH1 0x00
000012d1: PUSH2 0x1285
000012d4: DUP4
000012d5: DUP4
000012d6: PUSH1 0x40
000012d8: MLOAD
000012d9: DUP1
000012da: PUSH1 0x40
000012dc: ADD
000012dd: PUSH1 0x40
000012df: MSTORE
000012e0: DUP1
000012e1: PUSH1 0x1e
000012e3: DUP2
000012e4: MSTORE
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001309: DUP2
0000130a: MSTORE
0000130b: POP
0000130c: PUSH2 0x11c9
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x0d
00001313: DUP1
00001314: SLOAD
00001315: PUSH2 0xff00
00001318: NOT
00001319: AND
0000131a: PUSH2 0x0100
0000131d: OR
0000131e: SWAP1
0000131f: SSTORE
00001320: PUSH1 0x40
00001322: DUP1
00001323: MLOAD
00001324: PUSH1 0x02
00001326: DUP1
00001327: DUP3
00001328: MSTORE
00001329: PUSH1 0x60
0000132b: DUP3
0000132c: ADD
0000132d: DUP4
0000132e: MSTORE
0000132f: PUSH1 0x00
00001331: SWAP3
00001332: PUSH1 0x20
00001334: DUP4
00001335: ADD
00001336: SWAP1
00001337: DUP1
00001338: CALLDATASIZE
00001339: DUP4
0000133a: CALLDATACOPY
0000133b: ADD
0000133c: SWAP1
0000133d: POP
0000133e: POP
0000133f: SWAP1
00001340: POP
00001341: ADDRESS
00001342: DUP2
00001343: PUSH1 0x00
00001345: DUP2
00001346: MLOAD
00001347: DUP2
00001348: LT
00001349: PUSH2 0x1354
0000134c: JUMPI
0000134d: PUSH2 0x1354
00001350: PUSH2 0x18b9
00001353: JUMP
00001354: JUMPDEST
00001355: PUSH1 0x01
00001357: PUSH1 0x01
00001359: PUSH1 0xa0
0000135b: SHL
0000135c: SUB
0000135d: SWAP3
0000135e: DUP4
0000135f: AND
00001360: PUSH1 0x20
00001362: SWAP2
00001363: DUP3
00001364: MUL
00001365: SWAP3
00001366: SWAP1
00001367: SWAP3
00001368: ADD
00001369: DUP2
0000136a: ADD
0000136b: SWAP2
0000136c: SWAP1
0000136d: SWAP2
0000136e: MSTORE
0000136f: PUSH1 0x06
00001371: SLOAD
00001372: PUSH1 0x40
00001374: DUP1
00001375: MLOAD
00001376: PUSH4 0x15ab88c9
0000137b: PUSH1 0xe3
0000137d: SHL
0000137e: DUP2
0000137f: MSTORE
00001380: SWAP1
00001381: MLOAD
00001382: SWAP2
00001383: SWAP1
00001384: SWAP4
00001385: AND
00001386: SWAP3
00001387: PUSH4 0xad5c4648
0000138c: SWAP3
0000138d: PUSH1 0x04
0000138f: DUP1
00001390: DUP4
00001391: ADD
00001392: SWAP4
00001393: SWAP2
00001394: SWAP3
00001395: DUP3
00001396: SWAP1
00001397: SUB
00001398: ADD
00001399: DUP2
0000139a: DUP7
0000139b: GAS
0000139c: STATICCALL
0000139d: ISZERO
0000139e: DUP1
0000139f: ISZERO
000013a0: PUSH2 0x13ad
000013a3: JUMPI
000013a4: RETURNDATASIZE
000013a5: PUSH1 0x00
000013a7: DUP1
000013a8: RETURNDATACOPY
000013a9: RETURNDATASIZE
000013aa: PUSH1 0x00
000013ac: REVERT
000013ad: JUMPDEST
000013ae: POP
000013af: POP
000013b0: POP
000013b1: POP
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: RETURNDATASIZE
000013b6: PUSH1 0x1f
000013b8: NOT
000013b9: PUSH1 0x1f
000013bb: DUP3
000013bc: ADD
000013bd: AND
000013be: DUP3
000013bf: ADD
000013c0: DUP1
000013c1: PUSH1 0x40
000013c3: MSTORE
000013c4: POP
000013c5: DUP2
000013c6: ADD
000013c7: SWAP1
000013c8: PUSH2 0x13d1
000013cb: SWAP2
000013cc: SWAP1
000013cd: PUSH2 0x17eb
000013d0: JUMP
000013d1: JUMPDEST
000013d2: DUP2
000013d3: PUSH1 0x01
000013d5: DUP2
000013d6: MLOAD
000013d7: DUP2
000013d8: LT
000013d9: PUSH2 0x13e4
000013dc: JUMPI
000013dd: PUSH2 0x13e4
000013e0: PUSH2 0x18b9
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH1 0x01
000013e7: PUSH1 0x01
000013e9: PUSH1 0xa0
000013eb: SHL
000013ec: SUB
000013ed: SWAP3
000013ee: DUP4
000013ef: AND
000013f0: PUSH1 0x20
000013f2: SWAP2
000013f3: DUP3
000013f4: MUL
000013f5: SWAP3
000013f6: SWAP1
000013f7: SWAP3
000013f8: ADD
000013f9: ADD
000013fa: MSTORE
000013fb: PUSH1 0x06
000013fd: SLOAD
000013fe: PUSH2 0x140a
00001401: SWAP2
00001402: ADDRESS
00001403: SWAP2
00001404: AND
00001405: DUP5
00001406: PUSH2 0x0b13
00001409: JUMP
0000140a: JUMPDEST
0000140b: PUSH1 0x06
0000140d: SLOAD
0000140e: PUSH1 0x40
00001410: MLOAD
00001411: PUSH4 0x791ac947
00001416: PUSH1 0xe0
00001418: SHL
00001419: DUP2
0000141a: MSTORE
0000141b: PUSH1 0x01
0000141d: PUSH1 0x01
0000141f: PUSH1 0xa0
00001421: SHL
00001422: SUB
00001423: SWAP1
00001424: SWAP2
00001425: AND
00001426: SWAP1
00001427: PUSH4 0x791ac947
0000142c: SWAP1
0000142d: PUSH2 0x1443
00001430: SWAP1
00001431: DUP6
00001432: SWAP1
00001433: PUSH1 0x00
00001435: SWAP1
00001436: DUP7
00001437: SWAP1
00001438: ADDRESS
00001439: SWAP1
0000143a: TIMESTAMP
0000143b: SWAP1
0000143c: PUSH1 0x04
0000143e: ADD
0000143f: PUSH2 0x18cf
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH1 0x00
00001446: PUSH1 0x40
00001448: MLOAD
00001449: DUP1
0000144a: DUP4
0000144b: SUB
0000144c: DUP2
0000144d: PUSH1 0x00
0000144f: DUP8
00001450: DUP1
00001451: EXTCODESIZE
00001452: ISZERO
00001453: DUP1
00001454: ISZERO
00001455: PUSH2 0x145d
00001458: JUMPI
00001459: PUSH1 0x00
0000145b: DUP1
0000145c: REVERT
0000145d: JUMPDEST
0000145e: POP
0000145f: GAS
00001460: CALL
00001461: ISZERO
00001462: DUP1
00001463: ISZERO
00001464: PUSH2 0x1471
00001467: JUMPI
00001468: RETURNDATASIZE
00001469: PUSH1 0x00
0000146b: DUP1
0000146c: RETURNDATACOPY
0000146d: RETURNDATASIZE
0000146e: PUSH1 0x00
00001470: REVERT
00001471: JUMPDEST
00001472: POP
00001473: POP
00001474: PUSH1 0x0d
00001476: DUP1
00001477: SLOAD
00001478: PUSH2 0xff00
0000147b: NOT
0000147c: AND
0000147d: SWAP1
0000147e: SSTORE
0000147f: POP
00001480: POP
00001481: POP
00001482: POP
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x04
00001487: SLOAD
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: PUSH1 0x01
0000148d: PUSH1 0x01
0000148f: PUSH1 0xa0
00001491: SHL
00001492: SUB
00001493: SWAP1
00001494: SWAP2
00001495: AND
00001496: SWAP1
00001497: DUP3
00001498: ISZERO
00001499: PUSH2 0x08fc
0000149c: MUL
0000149d: SWAP1
0000149e: DUP4
0000149f: SWAP1
000014a0: PUSH1 0x00
000014a2: DUP2
000014a3: DUP2
000014a4: DUP2
000014a5: DUP6
000014a6: DUP9
000014a7: DUP9
000014a8: CALL
000014a9: SWAP4
000014aa: POP
000014ab: POP
000014ac: POP
000014ad: POP
000014ae: ISZERO
000014af: DUP1
000014b0: ISZERO
000014b1: PUSH2 0x0ae9
000014b4: JUMPI
000014b5: RETURNDATASIZE
000014b6: PUSH1 0x00
000014b8: DUP1
000014b9: RETURNDATACOPY
000014ba: RETURNDATASIZE
000014bb: PUSH1 0x00
000014bd: REVERT
000014be: JUMPDEST
000014bf: PUSH1 0x00
000014c1: DUP1
000014c2: PUSH2 0x14cb
000014c5: DUP4
000014c6: DUP6
000014c7: PUSH2 0x1858
000014ca: JUMP
000014cb: JUMPDEST
000014cc: SWAP1
000014cd: POP
000014ce: DUP4
000014cf: DUP2
000014d0: LT
000014d1: ISZERO
000014d2: PUSH2 0x1285
000014d5: JUMPI
000014d6: PUSH1 0x40
000014d8: MLOAD
000014d9: PUSH3 0x461bcd
000014dd: PUSH1 0xe5
000014df: SHL
000014e0: DUP2
000014e1: MSTORE
000014e2: PUSH1 0x20
000014e4: PUSH1 0x04
000014e6: DUP3
000014e7: ADD
000014e8: MSTORE
000014e9: PUSH1 0x1b
000014eb: PUSH1 0x24
000014ed: DUP3
000014ee: ADD
000014ef: MSTORE
000014f0: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001511: PUSH1 0x44
00001513: DUP3
00001514: ADD
00001515: MSTORE
00001516: PUSH1 0x64
00001518: ADD
00001519: PUSH2 0x0435
0000151c: JUMP
0000151d: JUMPDEST
0000151e: PUSH1 0x00
00001520: DUP2
00001521: DUP4
00001522: PUSH2 0x153e
00001525: JUMPI
00001526: PUSH1 0x40
00001528: MLOAD
00001529: PUSH3 0x461bcd
0000152d: PUSH1 0xe5
0000152f: SHL
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x04
00001534: ADD
00001535: PUSH2 0x0435
00001538: SWAP2
00001539: SWAP1
0000153a: PUSH2 0x154b
0000153d: JUMP
0000153e: JUMPDEST
0000153f: POP
00001540: PUSH1 0x00
00001542: PUSH2 0x11fa
00001545: DUP5
00001546: DUP7
00001547: PUSH2 0x1884
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH1 0x00
0000154e: PUSH1 0x20
00001550: DUP1
00001551: DUP4
00001552: MSTORE
00001553: DUP4
00001554: MLOAD
00001555: DUP1
00001556: DUP3
00001557: DUP6
00001558: ADD
00001559: MSTORE
0000155a: PUSH1 0x00
0000155c: JUMPDEST
0000155d: DUP2
0000155e: DUP2
0000155f: LT
00001560: ISZERO
00001561: PUSH2 0x1578
00001564: JUMPI
00001565: DUP6
00001566: DUP2
00001567: ADD
00001568: DUP4
00001569: ADD
0000156a: MLOAD
0000156b: DUP6
0000156c: DUP3
0000156d: ADD
0000156e: PUSH1 0x40
00001570: ADD
00001571: MSTORE
00001572: DUP3
00001573: ADD
00001574: PUSH2 0x155c
00001577: JUMP
00001578: JUMPDEST
00001579: POP
0000157a: PUSH1 0x00
0000157c: PUSH1 0x40
0000157e: DUP3
0000157f: DUP7
00001580: ADD
00001581: ADD
00001582: MSTORE
00001583: PUSH1 0x40
00001585: PUSH1 0x1f
00001587: NOT
00001588: PUSH1 0x1f
0000158a: DUP4
0000158b: ADD
0000158c: AND
0000158d: DUP6
0000158e: ADD
0000158f: ADD
00001590: SWAP3
00001591: POP
00001592: POP
00001593: POP
00001594: SWAP3
00001595: SWAP2
00001596: POP
00001597: POP
00001598: JUMP
00001599: JUMPDEST
0000159a: PUSH1 0x01
0000159c: PUSH1 0x01
0000159e: PUSH1 0xa0
000015a0: SHL
000015a1: SUB
000015a2: DUP2
000015a3: AND
000015a4: DUP2
000015a5: EQ
000015a6: PUSH2 0x15ae
000015a9: JUMPI
000015aa: PUSH1 0x00
000015ac: DUP1
000015ad: REVERT
000015ae: JUMPDEST
000015af: POP
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH1 0x00
000015b4: DUP1
000015b5: PUSH1 0x40
000015b7: DUP4
000015b8: DUP6
000015b9: SUB
000015ba: SLT
000015bb: ISZERO
000015bc: PUSH2 0x15c4
000015bf: JUMPI
000015c0: PUSH1 0x00
000015c2: DUP1
000015c3: REVERT
000015c4: JUMPDEST
000015c5: DUP3
000015c6: CALLDATALOAD
000015c7: PUSH2 0x15cf
000015ca: DUP2
000015cb: PUSH2 0x1599
000015ce: JUMP
000015cf: JUMPDEST
000015d0: SWAP5
000015d1: PUSH1 0x20
000015d3: SWAP4
000015d4: SWAP1
000015d5: SWAP4
000015d6: ADD
000015d7: CALLDATALOAD
000015d8: SWAP4
000015d9: POP
000015da: POP
000015db: POP
000015dc: JUMP
000015dd: JUMPDEST
000015de: PUSH1 0x00
000015e0: DUP1
000015e1: PUSH1 0x00
000015e3: PUSH1 0x60
000015e5: DUP5
000015e6: DUP7
000015e7: SUB
000015e8: SLT
000015e9: ISZERO
000015ea: PUSH2 0x15f2
000015ed: JUMPI
000015ee: PUSH1 0x00
000015f0: DUP1
000015f1: REVERT
000015f2: JUMPDEST
000015f3: DUP4
000015f4: CALLDATALOAD
000015f5: PUSH2 0x15fd
000015f8: DUP2
000015f9: PUSH2 0x1599
000015fc: JUMP
000015fd: JUMPDEST
000015fe: SWAP3
000015ff: POP
00001600: PUSH1 0x20
00001602: DUP5
00001603: ADD
00001604: CALLDATALOAD
00001605: PUSH2 0x160d
00001608: DUP2
00001609: PUSH2 0x1599
0000160c: JUMP
0000160d: JUMPDEST
0000160e: SWAP3
0000160f: SWAP6
00001610: SWAP3
00001611: SWAP5
00001612: POP
00001613: POP
00001614: POP
00001615: PUSH1 0x40
00001617: SWAP2
00001618: SWAP1
00001619: SWAP2
0000161a: ADD
0000161b: CALLDATALOAD
0000161c: SWAP1
0000161d: JUMP
0000161e: JUMPDEST
0000161f: PUSH1 0x00
00001621: DUP1
00001622: PUSH1 0x40
00001624: DUP4
00001625: DUP6
00001626: SUB
00001627: SLT
00001628: ISZERO
00001629: PUSH2 0x1631
0000162c: JUMPI
0000162d: PUSH1 0x00
0000162f: DUP1
00001630: REVERT
00001631: JUMPDEST
00001632: POP
00001633: POP
00001634: DUP1
00001635: CALLDATALOAD
00001636: SWAP3
00001637: PUSH1 0x20
00001639: SWAP1
0000163a: SWAP2
0000163b: ADD
0000163c: CALLDATALOAD
0000163d: SWAP2
0000163e: POP
0000163f: JUMP
00001640: JUMPDEST
00001641: PUSH1 0x00
00001643: PUSH1 0x20
00001645: DUP3
00001646: DUP5
00001647: SUB
00001648: SLT
00001649: ISZERO
0000164a: PUSH2 0x1652
0000164d: JUMPI
0000164e: PUSH1 0x00
00001650: DUP1
00001651: REVERT
00001652: JUMPDEST
00001653: DUP2
00001654: CALLDATALOAD
00001655: PUSH2 0x1285
00001658: DUP2
00001659: PUSH2 0x1599
0000165c: JUMP
0000165d: JUMPDEST
0000165e: PUSH1 0x00
00001660: DUP1
00001661: PUSH1 0x40
00001663: DUP4
00001664: DUP6
00001665: SUB
00001666: SLT
00001667: ISZERO
00001668: PUSH2 0x1670
0000166b: JUMPI
0000166c: PUSH1 0x00
0000166e: DUP1
0000166f: REVERT
00001670: JUMPDEST
00001671: DUP3
00001672: CALLDATALOAD
00001673: PUSH2 0x167b
00001676: DUP2
00001677: PUSH2 0x1599
0000167a: JUMP
0000167b: JUMPDEST
0000167c: SWAP2
0000167d: POP
0000167e: PUSH1 0x20
00001680: DUP4
00001681: ADD
00001682: CALLDATALOAD
00001683: PUSH2 0x168b
00001686: DUP2
00001687: PUSH2 0x1599
0000168a: JUMP
0000168b: JUMPDEST
0000168c: DUP1
0000168d: SWAP2
0000168e: POP
0000168f: POP
00001690: SWAP3
00001691: POP
00001692: SWAP3
00001693: SWAP1
00001694: POP
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH4 0x4e487b71
0000169c: PUSH1 0xe0
0000169e: SHL
0000169f: PUSH1 0x00
000016a1: MSTORE
000016a2: PUSH1 0x11
000016a4: PUSH1 0x04
000016a6: MSTORE
000016a7: PUSH1 0x24
000016a9: PUSH1 0x00
000016ab: REVERT
000016ac: JUMPDEST
000016ad: PUSH1 0x01
000016af: DUP2
000016b0: DUP2
000016b1: JUMPDEST
000016b2: DUP1
000016b3: DUP6
000016b4: GT
000016b5: ISZERO
000016b6: PUSH2 0x16e7
000016b9: JUMPI
000016ba: DUP2
000016bb: PUSH1 0x00
000016bd: NOT
000016be: DIV
000016bf: DUP3
000016c0: GT
000016c1: ISZERO
000016c2: PUSH2 0x16cd
000016c5: JUMPI
000016c6: PUSH2 0x16cd
000016c9: PUSH2 0x1696
000016cc: JUMP
000016cd: JUMPDEST
000016ce: DUP1
000016cf: DUP6
000016d0: AND
000016d1: ISZERO
000016d2: PUSH2 0x16da
000016d5: JUMPI
000016d6: SWAP2
000016d7: DUP2
000016d8: MUL
000016d9: SWAP2
000016da: JUMPDEST
000016db: SWAP4
000016dc: DUP5
000016dd: SHR
000016de: SWAP4
000016df: SWAP1
000016e0: DUP1
000016e1: MUL
000016e2: SWAP1
000016e3: PUSH2 0x16b1
000016e6: JUMP
000016e7: JUMPDEST
000016e8: POP
000016e9: SWAP3
000016ea: POP
000016eb: SWAP3
000016ec: SWAP1
000016ed: POP
000016ee: JUMP
000016ef: JUMPDEST
000016f0: PUSH1 0x00
000016f2: DUP3
000016f3: PUSH2 0x16fe
000016f6: JUMPI
000016f7: POP
000016f8: PUSH1 0x01
000016fa: PUSH2 0x03c8
000016fd: JUMP
000016fe: JUMPDEST
000016ff: DUP2
00001700: PUSH2 0x170b
00001703: JUMPI
00001704: POP
00001705: PUSH1 0x00
00001707: PUSH2 0x03c8
0000170a: JUMP
0000170b: JUMPDEST
0000170c: DUP2
0000170d: PUSH1 0x01
0000170f: DUP2
00001710: EQ
00001711: PUSH2 0x1721
00001714: JUMPI
00001715: PUSH1 0x02
00001717: DUP2
00001718: EQ
00001719: PUSH2 0x172b
0000171c: JUMPI
0000171d: PUSH2 0x1747
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH1 0x01
00001724: SWAP2
00001725: POP
00001726: POP
00001727: PUSH2 0x03c8
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH1 0xff
0000172e: DUP5
0000172f: GT
00001730: ISZERO
00001731: PUSH2 0x173c
00001734: JUMPI
00001735: PUSH2 0x173c
00001738: PUSH2 0x1696
0000173b: JUMP
0000173c: JUMPDEST
0000173d: POP
0000173e: POP
0000173f: PUSH1 0x01
00001741: DUP3
00001742: SHL
00001743: PUSH2 0x03c8
00001746: JUMP
00001747: JUMPDEST
00001748: POP
00001749: PUSH1 0x20
0000174b: DUP4
0000174c: LT
0000174d: PUSH2 0x0133
00001750: DUP4
00001751: LT
00001752: AND
00001753: PUSH1 0x4e
00001755: DUP5
00001756: LT
00001757: PUSH1 0x0b
00001759: DUP5
0000175a: LT
0000175b: AND
0000175c: OR
0000175d: ISZERO
0000175e: PUSH2 0x176a
00001761: JUMPI
00001762: POP
00001763: DUP2
00001764: DUP2
00001765: EXP
00001766: PUSH2 0x03c8
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH2 0x1774
0000176e: DUP4
0000176f: DUP4
00001770: PUSH2 0x16ac
00001773: JUMP
00001774: JUMPDEST
00001775: DUP1
00001776: PUSH1 0x00
00001778: NOT
00001779: DIV
0000177a: DUP3
0000177b: GT
0000177c: ISZERO
0000177d: PUSH2 0x1788
00001780: JUMPI
00001781: PUSH2 0x1788
00001784: PUSH2 0x1696
00001787: JUMP
00001788: JUMPDEST
00001789: MUL
0000178a: SWAP4
0000178b: SWAP3
0000178c: POP
0000178d: POP
0000178e: POP
0000178f: JUMP
00001790: JUMPDEST
00001791: PUSH1 0x00
00001793: PUSH2 0x1285
00001796: PUSH1 0xff
00001798: DUP5
00001799: AND
0000179a: DUP4
0000179b: PUSH2 0x16ef
0000179e: JUMP
0000179f: JUMPDEST
000017a0: DUP1
000017a1: DUP3
000017a2: MUL
000017a3: DUP2
000017a4: ISZERO
000017a5: DUP3
000017a6: DUP3
000017a7: DIV
000017a8: DUP5
000017a9: EQ
000017aa: OR
000017ab: PUSH2 0x03c8
000017ae: JUMPI
000017af: PUSH2 0x03c8
000017b2: PUSH2 0x1696
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH1 0x20
000017b9: DUP1
000017ba: DUP3
000017bb: MSTORE
000017bc: DUP2
000017bd: DUP2
000017be: ADD
000017bf: MSTORE
000017c0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000017e1: PUSH1 0x40
000017e3: DUP3
000017e4: ADD
000017e5: MSTORE
000017e6: PUSH1 0x60
000017e8: ADD
000017e9: SWAP1
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH1 0x00
000017ee: PUSH1 0x20
000017f0: DUP3
000017f1: DUP5
000017f2: SUB
000017f3: SLT
000017f4: ISZERO
000017f5: PUSH2 0x17fd
000017f8: JUMPI
000017f9: PUSH1 0x00
000017fb: DUP1
000017fc: REVERT
000017fd: JUMPDEST
000017fe: DUP2
000017ff: MLOAD
00001800: PUSH2 0x1285
00001803: DUP2
00001804: PUSH2 0x1599
00001807: JUMP
00001808: JUMPDEST
00001809: PUSH1 0x00
0000180b: DUP1
0000180c: PUSH1 0x00
0000180e: PUSH1 0x60
00001810: DUP5
00001811: DUP7
00001812: SUB
00001813: SLT
00001814: ISZERO
00001815: PUSH2 0x181d
00001818: JUMPI
00001819: PUSH1 0x00
0000181b: DUP1
0000181c: REVERT
0000181d: JUMPDEST
0000181e: DUP4
0000181f: MLOAD
00001820: SWAP3
00001821: POP
00001822: PUSH1 0x20
00001824: DUP5
00001825: ADD
00001826: MLOAD
00001827: SWAP2
00001828: POP
00001829: PUSH1 0x40
0000182b: DUP5
0000182c: ADD
0000182d: MLOAD
0000182e: SWAP1
0000182f: POP
00001830: SWAP3
00001831: POP
00001832: SWAP3
00001833: POP
00001834: SWAP3
00001835: JUMP
00001836: JUMPDEST
00001837: PUSH1 0x00
00001839: PUSH1 0x20
0000183b: DUP3
0000183c: DUP5
0000183d: SUB
0000183e: SLT
0000183f: ISZERO
00001840: PUSH2 0x1848
00001843: JUMPI
00001844: PUSH1 0x00
00001846: DUP1
00001847: REVERT
00001848: JUMPDEST
00001849: DUP2
0000184a: MLOAD
0000184b: DUP1
0000184c: ISZERO
0000184d: ISZERO
0000184e: DUP2
0000184f: EQ
00001850: PUSH2 0x1285
00001853: JUMPI
00001854: PUSH1 0x00
00001856: DUP1
00001857: REVERT
00001858: JUMPDEST
00001859: DUP1
0000185a: DUP3
0000185b: ADD
0000185c: DUP1
0000185d: DUP3
0000185e: GT
0000185f: ISZERO
00001860: PUSH2 0x03c8
00001863: JUMPI
00001864: PUSH2 0x03c8
00001867: PUSH2 0x1696
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH1 0x00
0000186e: PUSH1 0x01
00001870: DUP3
00001871: ADD
00001872: PUSH2 0x187d
00001875: JUMPI
00001876: PUSH2 0x187d
00001879: PUSH2 0x1696
0000187c: JUMP
0000187d: JUMPDEST
0000187e: POP
0000187f: PUSH1 0x01
00001881: ADD
00001882: SWAP1
00001883: JUMP
00001884: JUMPDEST
00001885: PUSH1 0x00
00001887: DUP3
00001888: PUSH2 0x18a1
0000188b: JUMPI
0000188c: PUSH4 0x4e487b71
00001891: PUSH1 0xe0
00001893: SHL
00001894: PUSH1 0x00
00001896: MSTORE
00001897: PUSH1 0x12
00001899: PUSH1 0x04
0000189b: MSTORE
0000189c: PUSH1 0x24
0000189e: PUSH1 0x00
000018a0: REVERT
000018a1: JUMPDEST
000018a2: POP
000018a3: DIV
000018a4: SWAP1
000018a5: JUMP
000018a6: JUMPDEST
000018a7: DUP2
000018a8: DUP2
000018a9: SUB
000018aa: DUP2
000018ab: DUP2
000018ac: GT
000018ad: ISZERO
000018ae: PUSH2 0x03c8
000018b1: JUMPI
000018b2: PUSH2 0x03c8
000018b5: PUSH2 0x1696
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH4 0x4e487b71
000018bf: PUSH1 0xe0
000018c1: SHL
000018c2: PUSH1 0x00
000018c4: MSTORE
000018c5: PUSH1 0x32
000018c7: PUSH1 0x04
000018c9: MSTORE
000018ca: PUSH1 0x24
000018cc: PUSH1 0x00
000018ce: REVERT
000018cf: JUMPDEST
000018d0: PUSH1 0x00
000018d2: PUSH1 0xa0
000018d4: DUP3
000018d5: ADD
000018d6: DUP8
000018d7: DUP4
000018d8: MSTORE
000018d9: PUSH1 0x20
000018db: DUP8
000018dc: DUP2
000018dd: DUP6
000018de: ADD
000018df: MSTORE
000018e0: PUSH1 0xa0
000018e2: PUSH1 0x40
000018e4: DUP6
000018e5: ADD
000018e6: MSTORE
000018e7: DUP2
000018e8: DUP8
000018e9: MLOAD
000018ea: DUP1
000018eb: DUP5
000018ec: MSTORE
000018ed: PUSH1 0xc0
000018ef: DUP7
000018f0: ADD
000018f1: SWAP2
000018f2: POP
000018f3: DUP3
000018f4: DUP10
000018f5: ADD
000018f6: SWAP4
000018f7: POP
000018f8: PUSH1 0x00
000018fa: JUMPDEST
000018fb: DUP2
000018fc: DUP2
000018fd: LT
000018fe: ISZERO
000018ff: PUSH2 0x191f
00001902: JUMPI
00001903: DUP5
00001904: MLOAD
00001905: PUSH1 0x01
00001907: PUSH1 0x01
00001909: PUSH1 0xa0
0000190b: SHL
0000190c: SUB
0000190d: AND
0000190e: DUP4
0000190f: MSTORE
00001910: SWAP4
00001911: DUP4
00001912: ADD
00001913: SWAP4
00001914: SWAP2
00001915: DUP4
00001916: ADD
00001917: SWAP2
00001918: PUSH1 0x01
0000191a: ADD
0000191b: PUSH2 0x18fa
0000191e: JUMP
0000191f: JUMPDEST
00001920: POP
00001921: POP
00001922: PUSH1 0x01
00001924: PUSH1 0x01
00001926: PUSH1 0xa0
00001928: SHL
00001929: SUB
0000192a: SWAP7
0000192b: SWAP1
0000192c: SWAP7
0000192d: AND
0000192e: PUSH1 0x60
00001930: DUP6
00001931: ADD
00001932: MSTORE
00001933: POP
00001934: POP
00001935: POP
00001936: PUSH1 0x80
00001938: ADD
00001939: MSTORE
0000193a: SWAP4
0000193b: SWAP3
0000193c: POP
0000193d: POP
0000193e: POP
0000193f: JUMP
00001940: INVALID
00001941: GASLIMIT
00001942: MSTORE
00001943: NUMBER
00001944: ORIGIN
00001945: ADDRESS
00001946: GASPRICE
00001947: KECCAK256
00001948: PUSH21 0x72616e7366657220616d6f756e7420657863656564
0000195e: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00001973: UNKNOWN(0xED)
00001974: JUMPDEST
00001975: UNKNOWN(0x21)
00001976: UNKNOWN(0xE8)
00001977: INVALID
00001978: UNKNOWN(0x24)
00001979: DUP1
0000197a: LT
0000197b: KECCAK256
0000197c: UNKNOWN(0xC6)
0000197d: PUSH0
0000197e: UNKNOWN(0xD7)
0000197f: DUP2
00001980: SWAP3
00001981: UNKNOWN(0x1F)
00001982: UNKNOWN(0x27)
00001983: UNKNOWN(0xAF)
00001984: SELFDESTRUCT
00001985: SWAP6
00001986: UNKNOWN(0xD7)
00001987: UNKNOWN(0xCD)
00001988: BALANCE
00001989: UNKNOWN(0xCE)
0000198a: UNKNOWN(0x4E)
0000198b: AND
0000198c: SLOAD
0000198d: UNKNOWN(0xB0)
0000198e: UNKNOWN(0xFB)
0000198f: MLOAD
00001990: UNKNOWN(0x2A)
00001991: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d1db4a5", "selector": "0x7d1db4a5", "calldata_variants": [ "0x7d1db4a5", "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 6468, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x45c2a5b270dd82cbe2237fae738f3fc58e0c94ee14f79b65a39d30fd24d60237 call_targets: 0xf6a8b4e42b0026ca52bddb3ca01d510831bf1b33 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x45c2a5b270dd82cbe2237fae738f3fc58e0c94ee14f79b65a39d30fd24d60237", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf6a8b4e42b0026ca52bddb3ca01d510831bf1b33" ], "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": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d1db4a5", "selector": "0x7d1db4a5", "calldata_variants": [ "0x7d1db4a5", "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2614, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2740, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 6468, "type": "tx_origin_used" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x45c2a5b270dd82cbe2237fae738f3fc58e0c94ee14f79b65a39d30fd24d60237 call_targets: 0xf6a8b4e42b0026ca52bddb3ca01d510831bf1b33 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x45c2a5b270dd82cbe2237fae738f3fc58e0c94ee14f79b65a39d30fd24d60237", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf6a8b4e42b0026ca52bddb3ca01d510831bf1b33" ], "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": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d1db4a5", "selector": "0x7d1db4a5", "calldata_variants": [ "0x7d1db4a5", "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2614, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2740, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 6468, "type": "tx_origin_used" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xadae832ae62445c3fa8bee03470124985882f08f62c9c997085b65e26054d385 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xadae832ae62445c3fa8bee03470124985882f08f62c9c997085b65e26054d385", "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": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d1db4a5", "selector": "0x7d1db4a5", "calldata_variants": [ "0x7d1db4a5", "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 6468, "type": "tx_origin_used" } ], "selfdestruct_count": 1 }