Analysis Run

019b477e-bbbb-713f-bc02-cff104d5b164

complete

Chain ID

1

Address

0x3e1646ec966d404552dfff02bbf72caf56c80a47

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

Bytecode only

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
23957	artifact.fetch	complete	1 / 3	3 months ago
23958	tool.cast_disasm	complete	1 / 3	3 months ago
67106	analysis.bundle	complete	1 / 3	2 weeks ago
67107	capability.graph	complete	1 / 3	2 weeks ago
67108	detector.run	complete	1 / 3	2 weeks ago
67109	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

4008

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01bb
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7a444072
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9dc29fac
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0e30db0
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0e30db0
0000003a: EQ
0000003b: PUSH2 0x0914
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd674b353
00000045: EQ
00000046: PUSH2 0x091e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x096f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xea46193e
0000005b: EQ
0000005c: PUSH2 0x09f4
0000005f: JUMPI
00000060: PUSH2 0x01c5
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9dc29fac
0000006b: EQ
0000006c: PUSH2 0x0817
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x0872
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb187bd26
00000081: EQ
00000082: PUSH2 0x08e5
00000085: JUMPI
00000086: PUSH2 0x01c5
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x853828b6
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x853828b6
0000009c: EQ
0000009d: PUSH2 0x06c8
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f283970
000000a7: EQ
000000a8: PUSH2 0x06df
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x958f85bd
000000b2: EQ
000000b3: PUSH2 0x0730
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x0787
000000c1: JUMPI
000000c2: PUSH2 0x01c5
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x7a444072
000000cd: EQ
000000ce: PUSH2 0x0609
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x80337af9
000000d8: EQ
000000d9: PUSH2 0x0660
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x8456cb59
000000e3: EQ
000000e4: PUSH2 0x06b1
000000e7: JUMPI
000000e8: PUSH2 0x01c5
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x3d71c3af
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x41c0e1b5
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x41c0e1b5
00000109: EQ
0000010a: PUSH2 0x050b
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6e9960c3
00000114: EQ
00000115: PUSH2 0x0522
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x0579
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x796b89b9
0000012a: EQ
0000012b: PUSH2 0x05de
0000012e: JUMPI
0000012f: PUSH2 0x01c5
00000132: JUMP
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x3d71c3af
0000013a: EQ
0000013b: PUSH2 0x0448
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x3f4ba83a
00000145: EQ
00000146: PUSH2 0x0499
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x40c10f19
00000150: EQ
00000151: PUSH2 0x04b0
00000154: JUMPI
00000155: PUSH2 0x01c5
00000158: JUMP
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH4 0x23b872dd
00000160: GT
00000161: PUSH2 0x0195
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x23b872dd
0000016b: EQ
0000016c: PUSH2 0x02f8
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x2e1a7d4d
00000176: EQ
00000177: PUSH2 0x038b
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x31119b4d
00000181: EQ
00000182: PUSH2 0x03c6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x313ce567
0000018c: EQ
0000018d: PUSH2 0x0417
00000190: JUMPI
00000191: PUSH2 0x01c5
00000194: JUMP
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x06fdde03
0000019c: EQ
0000019d: PUSH2 0x01ca
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x095ea7b3
000001a7: EQ
000001a8: PUSH2 0x025a
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x18160ddd
000001b2: EQ
000001b3: PUSH2 0x02cd
000001b6: JUMPI
000001b7: PUSH2 0x01c5
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLDATASIZE
000001bd: PUSH2 0x01c5
000001c0: JUMPI
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: PUSH1 0x00
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: CALLVALUE
000001cc: DUP1
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: POP
000001d8: PUSH2 0x01df
000001db: PUSH2 0x0a1f
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH1 0x40
000001e2: MLOAD
000001e3: DUP1
000001e4: DUP1
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: DUP3
000001e9: DUP2
000001ea: SUB
000001eb: DUP3
000001ec: MSTORE
000001ed: DUP4
000001ee: DUP2
000001ef: DUP2
000001f0: MLOAD
000001f1: DUP2
000001f2: MSTORE
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP2
000001f7: POP
000001f8: DUP1
000001f9: MLOAD
000001fa: SWAP1
000001fb: PUSH1 0x20
000001fd: ADD
000001fe: SWAP1
000001ff: DUP1
00000200: DUP4
00000201: DUP4
00000202: PUSH1 0x00
00000204: JUMPDEST
00000205: DUP4
00000206: DUP2
00000207: LT
00000208: ISZERO
00000209: PUSH2 0x021f
0000020c: JUMPI
0000020d: DUP1
0000020e: DUP3
0000020f: ADD
00000210: MLOAD
00000211: DUP2
00000212: DUP5
00000213: ADD
00000214: MSTORE
00000215: PUSH1 0x20
00000217: DUP2
00000218: ADD
00000219: SWAP1
0000021a: POP
0000021b: PUSH2 0x0204
0000021e: JUMP
0000021f: JUMPDEST
00000220: POP
00000221: POP
00000222: POP
00000223: POP
00000224: SWAP1
00000225: POP
00000226: SWAP1
00000227: DUP2
00000228: ADD
00000229: SWAP1
0000022a: PUSH1 0x1f
0000022c: AND
0000022d: DUP1
0000022e: ISZERO
0000022f: PUSH2 0x024c
00000232: JUMPI
00000233: DUP1
00000234: DUP3
00000235: SUB
00000236: DUP1
00000237: MLOAD
00000238: PUSH1 0x01
0000023a: DUP4
0000023b: PUSH1 0x20
0000023d: SUB
0000023e: PUSH2 0x0100
00000241: EXP
00000242: SUB
00000243: NOT
00000244: AND
00000245: DUP2
00000246: MSTORE
00000247: PUSH1 0x20
00000249: ADD
0000024a: SWAP2
0000024b: POP
0000024c: JUMPDEST
0000024d: POP
0000024e: SWAP3
0000024f: POP
00000250: POP
00000251: POP
00000252: PUSH1 0x40
00000254: MLOAD
00000255: DUP1
00000256: SWAP2
00000257: SUB
00000258: SWAP1
00000259: RETURN
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x02b3
0000026b: PUSH1 0x04
0000026d: DUP1
0000026e: CALLDATASIZE
0000026f: SUB
00000270: PUSH1 0x40
00000272: DUP2
00000273: LT
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: DUP2
0000027f: ADD
00000280: SWAP1
00000281: DUP1
00000282: DUP1
00000283: CALLDATALOAD
00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000299: AND
0000029a: SWAP1
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: SWAP1
0000029f: SWAP3
000002a0: SWAP2
000002a1: SWAP1
000002a2: DUP1
000002a3: CALLDATALOAD
000002a4: SWAP1
000002a5: PUSH1 0x20
000002a7: ADD
000002a8: SWAP1
000002a9: SWAP3
000002aa: SWAP2
000002ab: SWAP1
000002ac: POP
000002ad: POP
000002ae: POP
000002af: PUSH2 0x0a5c
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH1 0x40
000002b6: MLOAD
000002b7: DUP1
000002b8: DUP3
000002b9: ISZERO
000002ba: ISZERO
000002bb: ISZERO
000002bc: ISZERO
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP2
000002c3: POP
000002c4: POP
000002c5: PUSH1 0x40
000002c7: MLOAD
000002c8: DUP1
000002c9: SWAP2
000002ca: SUB
000002cb: SWAP1
000002cc: RETURN
000002cd: JUMPDEST
000002ce: CALLVALUE
000002cf: DUP1
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: PUSH2 0x02e2
000002de: PUSH2 0x0a73
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: DUP1
000002e7: DUP3
000002e8: DUP2
000002e9: MSTORE
000002ea: PUSH1 0x20
000002ec: ADD
000002ed: SWAP2
000002ee: POP
000002ef: POP
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: DUP1
000002f4: SWAP2
000002f5: SUB
000002f6: SWAP1
000002f7: RETURN
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH2 0x0371
00000309: PUSH1 0x04
0000030b: DUP1
0000030c: CALLDATASIZE
0000030d: SUB
0000030e: PUSH1 0x60
00000310: DUP2
00000311: LT
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: DUP2
0000031d: ADD
0000031e: SWAP1
0000031f: DUP1
00000320: DUP1
00000321: CALLDATALOAD
00000322: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000337: AND
00000338: SWAP1
00000339: PUSH1 0x20
0000033b: ADD
0000033c: SWAP1
0000033d: SWAP3
0000033e: SWAP2
0000033f: SWAP1
00000340: DUP1
00000341: CALLDATALOAD
00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000357: AND
00000358: SWAP1
00000359: PUSH1 0x20
0000035b: ADD
0000035c: SWAP1
0000035d: SWAP3
0000035e: SWAP2
0000035f: SWAP1
00000360: DUP1
00000361: CALLDATALOAD
00000362: SWAP1
00000363: PUSH1 0x20
00000365: ADD
00000366: SWAP1
00000367: SWAP3
00000368: SWAP2
00000369: SWAP1
0000036a: POP
0000036b: POP
0000036c: POP
0000036d: PUSH2 0x0a7d
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: MLOAD
00000375: DUP1
00000376: DUP3
00000377: ISZERO
00000378: ISZERO
00000379: ISZERO
0000037a: ISZERO
0000037b: DUP2
0000037c: MSTORE
0000037d: PUSH1 0x20
0000037f: ADD
00000380: SWAP2
00000381: POP
00000382: POP
00000383: PUSH1 0x40
00000385: MLOAD
00000386: DUP1
00000387: SWAP2
00000388: SUB
00000389: SWAP1
0000038a: RETURN
0000038b: JUMPDEST
0000038c: CALLVALUE
0000038d: DUP1
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: POP
00000399: PUSH2 0x03c4
0000039c: PUSH1 0x04
0000039e: DUP1
0000039f: CALLDATASIZE
000003a0: SUB
000003a1: PUSH1 0x20
000003a3: DUP2
000003a4: LT
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: DUP2
000003b0: ADD
000003b1: SWAP1
000003b2: DUP1
000003b3: DUP1
000003b4: CALLDATALOAD
000003b5: SWAP1
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: SWAP1
000003ba: SWAP3
000003bb: SWAP2
000003bc: SWAP1
000003bd: POP
000003be: POP
000003bf: POP
000003c0: PUSH2 0x0b48
000003c3: JUMP
000003c4: JUMPDEST
000003c5: STOP
000003c6: JUMPDEST
000003c7: CALLVALUE
000003c8: DUP1
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: PUSH2 0x0415
000003d7: PUSH1 0x04
000003d9: DUP1
000003da: CALLDATASIZE
000003db: SUB
000003dc: PUSH1 0x20
000003de: DUP2
000003df: LT
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: DUP2
000003eb: ADD
000003ec: SWAP1
000003ed: DUP1
000003ee: DUP1
000003ef: CALLDATALOAD
000003f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000405: AND
00000406: SWAP1
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP1
0000040b: SWAP3
0000040c: SWAP2
0000040d: SWAP1
0000040e: POP
0000040f: POP
00000410: POP
00000411: PUSH2 0x0c0e
00000414: JUMP
00000415: JUMPDEST
00000416: STOP
00000417: JUMPDEST
00000418: CALLVALUE
00000419: DUP1
0000041a: ISZERO
0000041b: PUSH2 0x0423
0000041e: JUMPI
0000041f: PUSH1 0x00
00000421: DUP1
00000422: REVERT
00000423: JUMPDEST
00000424: POP
00000425: PUSH2 0x042c
00000428: PUSH2 0x0ce6
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: DUP3
00000432: PUSH1 0xff
00000434: AND
00000435: PUSH1 0xff
00000437: AND
00000438: DUP2
00000439: MSTORE
0000043a: PUSH1 0x20
0000043c: ADD
0000043d: SWAP2
0000043e: POP
0000043f: POP
00000440: PUSH1 0x40
00000442: MLOAD
00000443: DUP1
00000444: SWAP2
00000445: SUB
00000446: SWAP1
00000447: RETURN
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: POP
00000456: PUSH2 0x0497
00000459: PUSH1 0x04
0000045b: DUP1
0000045c: CALLDATASIZE
0000045d: SUB
0000045e: PUSH1 0x20
00000460: DUP2
00000461: LT
00000462: ISZERO
00000463: PUSH2 0x046b
00000466: JUMPI
00000467: PUSH1 0x00
00000469: DUP1
0000046a: REVERT
0000046b: JUMPDEST
0000046c: DUP2
0000046d: ADD
0000046e: SWAP1
0000046f: DUP1
00000470: DUP1
00000471: CALLDATALOAD
00000472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000487: AND
00000488: SWAP1
00000489: PUSH1 0x20
0000048b: ADD
0000048c: SWAP1
0000048d: SWAP3
0000048e: SWAP2
0000048f: SWAP1
00000490: POP
00000491: POP
00000492: POP
00000493: PUSH2 0x0cef
00000496: JUMP
00000497: JUMPDEST
00000498: STOP
00000499: JUMPDEST
0000049a: CALLVALUE
0000049b: DUP1
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x04ae
000004aa: PUSH2 0x0dc7
000004ad: JUMP
000004ae: JUMPDEST
000004af: STOP
000004b0: JUMPDEST
000004b1: CALLVALUE
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH2 0x0509
000004c1: PUSH1 0x04
000004c3: DUP1
000004c4: CALLDATASIZE
000004c5: SUB
000004c6: PUSH1 0x40
000004c8: DUP2
000004c9: LT
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: DUP2
000004d5: ADD
000004d6: SWAP1
000004d7: DUP1
000004d8: DUP1
000004d9: CALLDATALOAD
000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ef: AND
000004f0: SWAP1
000004f1: PUSH1 0x20
000004f3: ADD
000004f4: SWAP1
000004f5: SWAP3
000004f6: SWAP2
000004f7: SWAP1
000004f8: DUP1
000004f9: CALLDATALOAD
000004fa: SWAP1
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: SWAP1
000004ff: SWAP3
00000500: SWAP2
00000501: SWAP1
00000502: POP
00000503: POP
00000504: POP
00000505: PUSH2 0x0ec0
00000508: JUMP
00000509: JUMPDEST
0000050a: STOP
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: DUP1
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x0520
0000051c: PUSH2 0x0fd8
0000051f: JUMP
00000520: JUMPDEST
00000521: STOP
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x0537
00000533: PUSH2 0x106d
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x40
0000053a: MLOAD
0000053b: DUP1
0000053c: DUP3
0000053d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000552: AND
00000553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000568: AND
00000569: DUP2
0000056a: MSTORE
0000056b: PUSH1 0x20
0000056d: ADD
0000056e: SWAP2
0000056f: POP
00000570: POP
00000571: PUSH1 0x40
00000573: MLOAD
00000574: DUP1
00000575: SWAP2
00000576: SUB
00000577: SWAP1
00000578: RETURN
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x05c8
0000058a: PUSH1 0x04
0000058c: DUP1
0000058d: CALLDATASIZE
0000058e: SUB
0000058f: PUSH1 0x20
00000591: DUP2
00000592: LT
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: DUP2
0000059e: ADD
0000059f: SWAP1
000005a0: DUP1
000005a1: DUP1
000005a2: CALLDATALOAD
000005a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b8: AND
000005b9: SWAP1
000005ba: PUSH1 0x20
000005bc: ADD
000005bd: SWAP1
000005be: SWAP3
000005bf: SWAP2
000005c0: SWAP1
000005c1: POP
000005c2: POP
000005c3: POP
000005c4: PUSH2 0x1097
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x40
000005cb: MLOAD
000005cc: DUP1
000005cd: DUP3
000005ce: DUP2
000005cf: MSTORE
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP2
000005d4: POP
000005d5: POP
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: DUP1
000005da: SWAP2
000005db: SUB
000005dc: SWAP1
000005dd: RETURN
000005de: JUMPDEST
000005df: CALLVALUE
000005e0: DUP1
000005e1: ISZERO
000005e2: PUSH2 0x05ea
000005e5: JUMPI
000005e6: PUSH1 0x00
000005e8: DUP1
000005e9: REVERT
000005ea: JUMPDEST
000005eb: POP
000005ec: PUSH2 0x05f3
000005ef: PUSH2 0x10df
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x40
000005f6: MLOAD
000005f7: DUP1
000005f8: DUP3
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP2
000005ff: POP
00000600: POP
00000601: PUSH1 0x40
00000603: MLOAD
00000604: DUP1
00000605: SWAP2
00000606: SUB
00000607: SWAP1
00000608: RETURN
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x061e
0000061a: PUSH2 0x10e7
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: DUP1
00000623: DUP3
00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000639: AND
0000063a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064f: AND
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x20
00000654: ADD
00000655: SWAP2
00000656: POP
00000657: POP
00000658: PUSH1 0x40
0000065a: MLOAD
0000065b: DUP1
0000065c: SWAP2
0000065d: SUB
0000065e: SWAP1
0000065f: RETURN
00000660: JUMPDEST
00000661: CALLVALUE
00000662: DUP1
00000663: ISZERO
00000664: PUSH2 0x066c
00000667: JUMPI
00000668: PUSH1 0x00
0000066a: DUP1
0000066b: REVERT
0000066c: JUMPDEST
0000066d: POP
0000066e: PUSH2 0x06af
00000671: PUSH1 0x04
00000673: DUP1
00000674: CALLDATASIZE
00000675: SUB
00000676: PUSH1 0x20
00000678: DUP2
00000679: LT
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: DUP2
00000685: ADD
00000686: SWAP1
00000687: DUP1
00000688: DUP1
00000689: CALLDATALOAD
0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069f: AND
000006a0: SWAP1
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: SWAP1
000006a5: SWAP3
000006a6: SWAP2
000006a7: SWAP1
000006a8: POP
000006a9: POP
000006aa: POP
000006ab: PUSH2 0x1111
000006ae: JUMP
000006af: JUMPDEST
000006b0: STOP
000006b1: JUMPDEST
000006b2: CALLVALUE
000006b3: DUP1
000006b4: ISZERO
000006b5: PUSH2 0x06bd
000006b8: JUMPI
000006b9: PUSH1 0x00
000006bb: DUP1
000006bc: REVERT
000006bd: JUMPDEST
000006be: POP
000006bf: PUSH2 0x06c6
000006c2: PUSH2 0x11c6
000006c5: JUMP
000006c6: JUMPDEST
000006c7: STOP
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: DUP1
000006cb: ISZERO
000006cc: PUSH2 0x06d4
000006cf: JUMPI
000006d0: PUSH1 0x00
000006d2: DUP1
000006d3: REVERT
000006d4: JUMPDEST
000006d5: POP
000006d6: PUSH2 0x06dd
000006d9: PUSH2 0x12c0
000006dc: JUMP
000006dd: JUMPDEST
000006de: STOP
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x072e
000006f0: PUSH1 0x04
000006f2: DUP1
000006f3: CALLDATASIZE
000006f4: SUB
000006f5: PUSH1 0x20
000006f7: DUP2
000006f8: LT
000006f9: ISZERO
000006fa: PUSH2 0x0702
000006fd: JUMPI
000006fe: PUSH1 0x00
00000700: DUP1
00000701: REVERT
00000702: JUMPDEST
00000703: DUP2
00000704: ADD
00000705: SWAP1
00000706: DUP1
00000707: DUP1
00000708: CALLDATALOAD
00000709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071e: AND
0000071f: SWAP1
00000720: PUSH1 0x20
00000722: ADD
00000723: SWAP1
00000724: SWAP3
00000725: SWAP2
00000726: SWAP1
00000727: POP
00000728: POP
00000729: POP
0000072a: PUSH2 0x1385
0000072d: JUMP
0000072e: JUMPDEST
0000072f: STOP
00000730: JUMPDEST
00000731: CALLVALUE
00000732: DUP1
00000733: ISZERO
00000734: PUSH2 0x073c
00000737: JUMPI
00000738: PUSH1 0x00
0000073a: DUP1
0000073b: REVERT
0000073c: JUMPDEST
0000073d: POP
0000073e: PUSH2 0x0745
00000741: PUSH2 0x145d
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH1 0x40
00000748: MLOAD
00000749: DUP1
0000074a: DUP3
0000074b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000760: AND
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: AND
00000777: DUP2
00000778: MSTORE
00000779: PUSH1 0x20
0000077b: ADD
0000077c: SWAP2
0000077d: POP
0000077e: POP
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: DUP1
00000783: SWAP2
00000784: SUB
00000785: SWAP1
00000786: RETURN
00000787: JUMPDEST
00000788: CALLVALUE
00000789: DUP1
0000078a: ISZERO
0000078b: PUSH2 0x0793
0000078e: JUMPI
0000078f: PUSH1 0x00
00000791: DUP1
00000792: REVERT
00000793: JUMPDEST
00000794: POP
00000795: PUSH2 0x079c
00000798: PUSH2 0x1487
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH1 0x40
0000079f: MLOAD
000007a0: DUP1
000007a1: DUP1
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: DUP3
000007a6: DUP2
000007a7: SUB
000007a8: DUP3
000007a9: MSTORE
000007aa: DUP4
000007ab: DUP2
000007ac: DUP2
000007ad: MLOAD
000007ae: DUP2
000007af: MSTORE
000007b0: PUSH1 0x20
000007b2: ADD
000007b3: SWAP2
000007b4: POP
000007b5: DUP1
000007b6: MLOAD
000007b7: SWAP1
000007b8: PUSH1 0x20
000007ba: ADD
000007bb: SWAP1
000007bc: DUP1
000007bd: DUP4
000007be: DUP4
000007bf: PUSH1 0x00
000007c1: JUMPDEST
000007c2: DUP4
000007c3: DUP2
000007c4: LT
000007c5: ISZERO
000007c6: PUSH2 0x07dc
000007c9: JUMPI
000007ca: DUP1
000007cb: DUP3
000007cc: ADD
000007cd: MLOAD
000007ce: DUP2
000007cf: DUP5
000007d0: ADD
000007d1: MSTORE
000007d2: PUSH1 0x20
000007d4: DUP2
000007d5: ADD
000007d6: SWAP1
000007d7: POP
000007d8: PUSH2 0x07c1
000007db: JUMP
000007dc: JUMPDEST
000007dd: POP
000007de: POP
000007df: POP
000007e0: POP
000007e1: SWAP1
000007e2: POP
000007e3: SWAP1
000007e4: DUP2
000007e5: ADD
000007e6: SWAP1
000007e7: PUSH1 0x1f
000007e9: AND
000007ea: DUP1
000007eb: ISZERO
000007ec: PUSH2 0x0809
000007ef: JUMPI
000007f0: DUP1
000007f1: DUP3
000007f2: SUB
000007f3: DUP1
000007f4: MLOAD
000007f5: PUSH1 0x01
000007f7: DUP4
000007f8: PUSH1 0x20
000007fa: SUB
000007fb: PUSH2 0x0100
000007fe: EXP
000007ff: SUB
00000800: NOT
00000801: AND
00000802: DUP2
00000803: MSTORE
00000804: PUSH1 0x20
00000806: ADD
00000807: SWAP2
00000808: POP
00000809: JUMPDEST
0000080a: POP
0000080b: SWAP3
0000080c: POP
0000080d: POP
0000080e: POP
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: DUP1
00000813: SWAP2
00000814: SUB
00000815: SWAP1
00000816: RETURN
00000817: JUMPDEST
00000818: CALLVALUE
00000819: DUP1
0000081a: ISZERO
0000081b: PUSH2 0x0823
0000081e: JUMPI
0000081f: PUSH1 0x00
00000821: DUP1
00000822: REVERT
00000823: JUMPDEST
00000824: POP
00000825: PUSH2 0x0870
00000828: PUSH1 0x04
0000082a: DUP1
0000082b: CALLDATASIZE
0000082c: SUB
0000082d: PUSH1 0x40
0000082f: DUP2
00000830: LT
00000831: ISZERO
00000832: PUSH2 0x083a
00000835: JUMPI
00000836: PUSH1 0x00
00000838: DUP1
00000839: REVERT
0000083a: JUMPDEST
0000083b: DUP2
0000083c: ADD
0000083d: SWAP1
0000083e: DUP1
0000083f: DUP1
00000840: CALLDATALOAD
00000841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000856: AND
00000857: SWAP1
00000858: PUSH1 0x20
0000085a: ADD
0000085b: SWAP1
0000085c: SWAP3
0000085d: SWAP2
0000085e: SWAP1
0000085f: DUP1
00000860: CALLDATALOAD
00000861: SWAP1
00000862: PUSH1 0x20
00000864: ADD
00000865: SWAP1
00000866: SWAP3
00000867: SWAP2
00000868: SWAP1
00000869: POP
0000086a: POP
0000086b: POP
0000086c: PUSH2 0x14c4
0000086f: JUMP
00000870: JUMPDEST
00000871: STOP
00000872: JUMPDEST
00000873: CALLVALUE
00000874: DUP1
00000875: ISZERO
00000876: PUSH2 0x087e
00000879: JUMPI
0000087a: PUSH1 0x00
0000087c: DUP1
0000087d: REVERT
0000087e: JUMPDEST
0000087f: POP
00000880: PUSH2 0x08cb
00000883: PUSH1 0x04
00000885: DUP1
00000886: CALLDATASIZE
00000887: SUB
00000888: PUSH1 0x40
0000088a: DUP2
0000088b: LT
0000088c: ISZERO
0000088d: PUSH2 0x0895
00000890: JUMPI
00000891: PUSH1 0x00
00000893: DUP1
00000894: REVERT
00000895: JUMPDEST
00000896: DUP2
00000897: ADD
00000898: SWAP1
00000899: DUP1
0000089a: DUP1
0000089b: CALLDATALOAD
0000089c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b1: AND
000008b2: SWAP1
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP1
000008b7: SWAP3
000008b8: SWAP2
000008b9: SWAP1
000008ba: DUP1
000008bb: CALLDATALOAD
000008bc: SWAP1
000008bd: PUSH1 0x20
000008bf: ADD
000008c0: SWAP1
000008c1: SWAP3
000008c2: SWAP2
000008c3: SWAP1
000008c4: POP
000008c5: POP
000008c6: POP
000008c7: PUSH2 0x1786
000008ca: JUMP
000008cb: JUMPDEST
000008cc: PUSH1 0x40
000008ce: MLOAD
000008cf: DUP1
000008d0: DUP3
000008d1: ISZERO
000008d2: ISZERO
000008d3: ISZERO
000008d4: ISZERO
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x20
000008d9: ADD
000008da: SWAP2
000008db: POP
000008dc: POP
000008dd: PUSH1 0x40
000008df: MLOAD
000008e0: DUP1
000008e1: SWAP2
000008e2: SUB
000008e3: SWAP1
000008e4: RETURN
000008e5: JUMPDEST
000008e6: CALLVALUE
000008e7: DUP1
000008e8: ISZERO
000008e9: PUSH2 0x08f1
000008ec: JUMPI
000008ed: PUSH1 0x00
000008ef: DUP1
000008f0: REVERT
000008f1: JUMPDEST
000008f2: POP
000008f3: PUSH2 0x08fa
000008f6: PUSH2 0x179d
000008f9: JUMP
000008fa: JUMPDEST
000008fb: PUSH1 0x40
000008fd: MLOAD
000008fe: DUP1
000008ff: DUP3
00000900: ISZERO
00000901: ISZERO
00000902: ISZERO
00000903: ISZERO
00000904: DUP2
00000905: MSTORE
00000906: PUSH1 0x20
00000908: ADD
00000909: SWAP2
0000090a: POP
0000090b: POP
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: DUP1
00000910: SWAP2
00000911: SUB
00000912: SWAP1
00000913: RETURN
00000914: JUMPDEST
00000915: PUSH2 0x091c
00000918: PUSH2 0x17b4
0000091b: JUMP
0000091c: JUMPDEST
0000091d: STOP
0000091e: JUMPDEST
0000091f: CALLVALUE
00000920: DUP1
00000921: ISZERO
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: POP
0000092c: PUSH2 0x096d
0000092f: PUSH1 0x04
00000931: DUP1
00000932: CALLDATASIZE
00000933: SUB
00000934: PUSH1 0x20
00000936: DUP2
00000937: LT
00000938: ISZERO
00000939: PUSH2 0x0941
0000093c: JUMPI
0000093d: PUSH1 0x00
0000093f: DUP1
00000940: REVERT
00000941: JUMPDEST
00000942: DUP2
00000943: ADD
00000944: SWAP1
00000945: DUP1
00000946: DUP1
00000947: CALLDATALOAD
00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095d: AND
0000095e: SWAP1
0000095f: PUSH1 0x20
00000961: ADD
00000962: SWAP1
00000963: SWAP3
00000964: SWAP2
00000965: SWAP1
00000966: POP
00000967: POP
00000968: POP
00000969: PUSH2 0x1844
0000096c: JUMP
0000096d: JUMPDEST
0000096e: STOP
0000096f: JUMPDEST
00000970: CALLVALUE
00000971: DUP1
00000972: ISZERO
00000973: PUSH2 0x097b
00000976: JUMPI
00000977: PUSH1 0x00
00000979: DUP1
0000097a: REVERT
0000097b: JUMPDEST
0000097c: POP
0000097d: PUSH2 0x09de
00000980: PUSH1 0x04
00000982: DUP1
00000983: CALLDATASIZE
00000984: SUB
00000985: PUSH1 0x40
00000987: DUP2
00000988: LT
00000989: ISZERO
0000098a: PUSH2 0x0992
0000098d: JUMPI
0000098e: PUSH1 0x00
00000990: DUP1
00000991: REVERT
00000992: JUMPDEST
00000993: DUP2
00000994: ADD
00000995: SWAP1
00000996: DUP1
00000997: DUP1
00000998: CALLDATALOAD
00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ae: AND
000009af: SWAP1
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: SWAP1
000009b4: SWAP3
000009b5: SWAP2
000009b6: SWAP1
000009b7: DUP1
000009b8: CALLDATALOAD
000009b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ce: AND
000009cf: SWAP1
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: SWAP1
000009d4: SWAP3
000009d5: SWAP2
000009d6: SWAP1
000009d7: POP
000009d8: POP
000009d9: POP
000009da: PUSH2 0x18f9
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0x40
000009e1: MLOAD
000009e2: DUP1
000009e3: DUP3
000009e4: DUP2
000009e5: MSTORE
000009e6: PUSH1 0x20
000009e8: ADD
000009e9: SWAP2
000009ea: POP
000009eb: POP
000009ec: PUSH1 0x40
000009ee: MLOAD
000009ef: DUP1
000009f0: SWAP2
000009f1: SUB
000009f2: SWAP1
000009f3: RETURN
000009f4: JUMPDEST
000009f5: CALLVALUE
000009f6: DUP1
000009f7: ISZERO
000009f8: PUSH2 0x0a00
000009fb: JUMPI
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: REVERT
00000a00: JUMPDEST
00000a01: POP
00000a02: PUSH2 0x0a09
00000a05: PUSH2 0x1980
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: DUP1
00000a0e: DUP3
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: SWAP2
00000a15: POP
00000a16: POP
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: DUP1
00000a1b: SWAP2
00000a1c: SUB
00000a1d: SWAP1
00000a1e: RETURN
00000a1f: JUMPDEST
00000a20: PUSH1 0x60
00000a22: PUSH1 0x40
00000a24: MLOAD
00000a25: DUP1
00000a26: PUSH1 0x40
00000a28: ADD
00000a29: PUSH1 0x40
00000a2b: MSTORE
00000a2c: DUP1
00000a2d: PUSH1 0x04
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: PUSH32 0x4554483200000000000000000000000000000000000000000000000000000000
00000a55: DUP2
00000a56: MSTORE
00000a57: POP
00000a58: SWAP1
00000a59: POP
00000a5a: SWAP1
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x00
00000a5f: PUSH2 0x0a69
00000a62: CALLER
00000a63: DUP5
00000a64: DUP5
00000a65: PUSH2 0x1988
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH1 0x01
00000a6c: SWAP1
00000a6d: POP
00000a6e: SWAP3
00000a6f: SWAP2
00000a70: POP
00000a71: POP
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x00
00000a76: PUSH1 0x02
00000a78: SLOAD
00000a79: SWAP1
00000a7a: POP
00000a7b: SWAP1
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: PUSH1 0x00
00000a80: PUSH2 0x0a8a
00000a83: DUP5
00000a84: DUP5
00000a85: DUP5
00000a86: PUSH2 0x1b7f
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH2 0x0b3d
00000a8e: DUP5
00000a8f: CALLER
00000a90: PUSH2 0x0b38
00000a93: DUP6
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: DUP1
00000a98: PUSH1 0x60
00000a9a: ADD
00000a9b: PUSH1 0x40
00000a9d: MSTORE
00000a9e: DUP1
00000a9f: PUSH1 0x28
00000aa1: DUP2
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: PUSH2 0x2319
00000aa9: PUSH1 0x28
00000aab: SWAP2
00000aac: CODECOPY
00000aad: PUSH1 0x01
00000aaf: PUSH1 0x00
00000ab1: DUP12
00000ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac7: AND
00000ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000add: AND
00000ade: DUP2
00000adf: MSTORE
00000ae0: PUSH1 0x20
00000ae2: ADD
00000ae3: SWAP1
00000ae4: DUP2
00000ae5: MSTORE
00000ae6: PUSH1 0x20
00000ae8: ADD
00000ae9: PUSH1 0x00
00000aeb: KECCAK256
00000aec: PUSH1 0x00
00000aee: CALLER
00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b04: AND
00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1a: AND
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP1
00000b21: DUP2
00000b22: MSTORE
00000b23: PUSH1 0x20
00000b25: ADD
00000b26: PUSH1 0x00
00000b28: KECCAK256
00000b29: SLOAD
00000b2a: PUSH2 0x1f3e
00000b2d: SWAP1
00000b2e: SWAP3
00000b2f: SWAP2
00000b30: SWAP1
00000b31: PUSH4 0xffffffff
00000b36: AND
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH2 0x1988
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x01
00000b40: SWAP1
00000b41: POP
00000b42: SWAP4
00000b43: SWAP3
00000b44: POP
00000b45: POP
00000b46: POP
00000b47: JUMP
00000b48: JUMPDEST
00000b49: CALLER
00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5f: AND
00000b60: PUSH1 0x03
00000b62: PUSH1 0x00
00000b64: SWAP1
00000b65: SLOAD
00000b66: SWAP1
00000b67: PUSH2 0x0100
00000b6a: EXP
00000b6b: SWAP1
00000b6c: DIV
00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b82: AND
00000b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b98: AND
00000b99: EQ
00000b9a: PUSH2 0x0ba2
00000b9d: JUMPI
00000b9e: PUSH1 0x00
00000ba0: DUP1
00000ba1: REVERT
00000ba2: JUMPDEST
00000ba3: PUSH1 0x03
00000ba5: PUSH1 0x00
00000ba7: SWAP1
00000ba8: SLOAD
00000ba9: SWAP1
00000baa: PUSH2 0x0100
00000bad: EXP
00000bae: SWAP1
00000baf: DIV
00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc5: AND
00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdb: AND
00000bdc: PUSH2 0x08fc
00000bdf: DUP3
00000be0: SWAP1
00000be1: DUP2
00000be2: ISZERO
00000be3: MUL
00000be4: SWAP1
00000be5: PUSH1 0x40
00000be7: MLOAD
00000be8: PUSH1 0x00
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: DUP1
00000bee: DUP4
00000bef: SUB
00000bf0: DUP2
00000bf1: DUP6
00000bf2: DUP9
00000bf3: DUP9
00000bf4: CALL
00000bf5: SWAP4
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: ISZERO
00000bfb: DUP1
00000bfc: ISZERO
00000bfd: PUSH2 0x0c0a
00000c00: JUMPI
00000c01: RETURNDATASIZE
00000c02: PUSH1 0x00
00000c04: DUP1
00000c05: RETURNDATACOPY
00000c06: RETURNDATASIZE
00000c07: PUSH1 0x00
00000c09: REVERT
00000c0a: JUMPDEST
00000c0b: POP
00000c0c: POP
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: CALLER
00000c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c25: AND
00000c26: PUSH1 0x03
00000c28: PUSH1 0x00
00000c2a: SWAP1
00000c2b: SLOAD
00000c2c: SWAP1
00000c2d: PUSH2 0x0100
00000c30: EXP
00000c31: SWAP1
00000c32: DIV
00000c33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c48: AND
00000c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5e: AND
00000c5f: EQ
00000c60: PUSH2 0x0c68
00000c63: JUMPI
00000c64: PUSH1 0x00
00000c66: DUP1
00000c67: REVERT
00000c68: JUMPDEST
00000c69: PUSH1 0x00
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: DUP2
00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c97: AND
00000c98: EQ
00000c99: ISZERO
00000c9a: PUSH2 0x0ca2
00000c9d: JUMPI
00000c9e: PUSH1 0x00
00000ca0: DUP1
00000ca1: REVERT
00000ca2: JUMPDEST
00000ca3: DUP1
00000ca4: PUSH1 0x05
00000ca6: PUSH1 0x00
00000ca8: PUSH2 0x0100
00000cab: EXP
00000cac: DUP2
00000cad: SLOAD
00000cae: DUP2
00000caf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc4: MUL
00000cc5: NOT
00000cc6: AND
00000cc7: SWAP1
00000cc8: DUP4
00000cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cde: AND
00000cdf: MUL
00000ce0: OR
00000ce1: SWAP1
00000ce2: SSTORE
00000ce3: POP
00000ce4: POP
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH1 0x00
00000ce9: PUSH1 0x12
00000ceb: SWAP1
00000cec: POP
00000ced: SWAP1
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: CALLER
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: PUSH1 0x03
00000d09: PUSH1 0x00
00000d0b: SWAP1
00000d0c: SLOAD
00000d0d: SWAP1
00000d0e: PUSH2 0x0100
00000d11: EXP
00000d12: SWAP1
00000d13: DIV
00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d29: AND
00000d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3f: AND
00000d40: EQ
00000d41: PUSH2 0x0d49
00000d44: JUMPI
00000d45: PUSH1 0x00
00000d47: DUP1
00000d48: REVERT
00000d49: JUMPDEST
00000d4a: PUSH1 0x00
00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d61: AND
00000d62: DUP2
00000d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d78: AND
00000d79: EQ
00000d7a: ISZERO
00000d7b: PUSH2 0x0d83
00000d7e: JUMPI
00000d7f: PUSH1 0x00
00000d81: DUP1
00000d82: REVERT
00000d83: JUMPDEST
00000d84: DUP1
00000d85: PUSH1 0x04
00000d87: PUSH1 0x00
00000d89: PUSH2 0x0100
00000d8c: EXP
00000d8d: DUP2
00000d8e: SLOAD
00000d8f: DUP2
00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da5: MUL
00000da6: NOT
00000da7: AND
00000da8: SWAP1
00000da9: DUP4
00000daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbf: AND
00000dc0: MUL
00000dc1: OR
00000dc2: SWAP1
00000dc3: SSTORE
00000dc4: POP
00000dc5: POP
00000dc6: JUMP
00000dc7: JUMPDEST
00000dc8: CALLER
00000dc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dde: AND
00000ddf: PUSH1 0x03
00000de1: PUSH1 0x00
00000de3: SWAP1
00000de4: SLOAD
00000de5: SWAP1
00000de6: PUSH2 0x0100
00000de9: EXP
00000dea: SWAP1
00000deb: DIV
00000dec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e01: AND
00000e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e17: AND
00000e18: EQ
00000e19: PUSH2 0x0e21
00000e1c: JUMPI
00000e1d: PUSH1 0x00
00000e1f: DUP1
00000e20: REVERT
00000e21: JUMPDEST
00000e22: PUSH1 0x05
00000e24: PUSH1 0x14
00000e26: SWAP1
00000e27: SLOAD
00000e28: SWAP1
00000e29: PUSH2 0x0100
00000e2c: EXP
00000e2d: SWAP1
00000e2e: DIV
00000e2f: PUSH1 0xff
00000e31: AND
00000e32: PUSH2 0x0ea3
00000e35: JUMPI
00000e36: PUSH1 0x40
00000e38: MLOAD
00000e39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x04
00000e5e: ADD
00000e5f: DUP1
00000e60: DUP1
00000e61: PUSH1 0x20
00000e63: ADD
00000e64: DUP3
00000e65: DUP2
00000e66: SUB
00000e67: DUP3
00000e68: MSTORE
00000e69: PUSH1 0x1a
00000e6b: DUP2
00000e6c: MSTORE
00000e6d: PUSH1 0x20
00000e6f: ADD
00000e70: DUP1
00000e71: PUSH32 0x5061757361626c653a206e6f7420706175736564204572633230000000000000
00000e92: DUP2
00000e93: MSTORE
00000e94: POP
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: SWAP2
00000e99: POP
00000e9a: POP
00000e9b: PUSH1 0x40
00000e9d: MLOAD
00000e9e: DUP1
00000e9f: SWAP2
00000ea0: SUB
00000ea1: SWAP1
00000ea2: REVERT
00000ea3: JUMPDEST
00000ea4: PUSH1 0x00
00000ea6: PUSH1 0x05
00000ea8: PUSH1 0x14
00000eaa: PUSH2 0x0100
00000ead: EXP
00000eae: DUP2
00000eaf: SLOAD
00000eb0: DUP2
00000eb1: PUSH1 0xff
00000eb3: MUL
00000eb4: NOT
00000eb5: AND
00000eb6: SWAP1
00000eb7: DUP4
00000eb8: ISZERO
00000eb9: ISZERO
00000eba: MUL
00000ebb: OR
00000ebc: SWAP1
00000ebd: SSTORE
00000ebe: POP
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: CALLER
00000ec2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed7: AND
00000ed8: PUSH1 0x03
00000eda: PUSH1 0x00
00000edc: SWAP1
00000edd: SLOAD
00000ede: SWAP1
00000edf: PUSH2 0x0100
00000ee2: EXP
00000ee3: SWAP1
00000ee4: DIV
00000ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efa: AND
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: AND
00000f11: EQ
00000f12: DUP1
00000f13: PUSH2 0x0f69
00000f16: JUMPI
00000f17: POP
00000f18: CALLER
00000f19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2e: AND
00000f2f: PUSH1 0x04
00000f31: PUSH1 0x00
00000f33: SWAP1
00000f34: SLOAD
00000f35: SWAP1
00000f36: PUSH2 0x0100
00000f39: EXP
00000f3a: SWAP1
00000f3b: DIV
00000f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f51: AND
00000f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f67: AND
00000f68: EQ
00000f69: JUMPDEST
00000f6a: DUP1
00000f6b: PUSH2 0x0fc1
00000f6e: JUMPI
00000f6f: POP
00000f70: CALLER
00000f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f86: AND
00000f87: PUSH1 0x05
00000f89: PUSH1 0x00
00000f8b: SWAP1
00000f8c: SLOAD
00000f8d: SWAP1
00000f8e: PUSH2 0x0100
00000f91: EXP
00000f92: SWAP1
00000f93: DIV
00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa9: AND
00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbf: AND
00000fc0: EQ
00000fc1: JUMPDEST
00000fc2: PUSH2 0x0fca
00000fc5: JUMPI
00000fc6: PUSH1 0x00
00000fc8: DUP1
00000fc9: REVERT
00000fca: JUMPDEST
00000fcb: PUSH2 0x0fd4
00000fce: DUP3
00000fcf: DUP3
00000fd0: PUSH2 0x1ffe
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: POP
00000fd6: POP
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: CALLER
00000fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fef: AND
00000ff0: PUSH1 0x03
00000ff2: PUSH1 0x00
00000ff4: SWAP1
00000ff5: SLOAD
00000ff6: SWAP1
00000ff7: PUSH2 0x0100
00000ffa: EXP
00000ffb: SWAP1
00000ffc: DIV
00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001012: AND
00001013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001028: AND
00001029: EQ
0000102a: PUSH2 0x1032
0000102d: JUMPI
0000102e: PUSH1 0x00
00001030: DUP1
00001031: REVERT
00001032: JUMPDEST
00001033: PUSH1 0x03
00001035: PUSH1 0x00
00001037: SWAP1
00001038: SLOAD
00001039: SWAP1
0000103a: PUSH2 0x0100
0000103d: EXP
0000103e: SWAP1
0000103f: DIV
00001040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001055: AND
00001056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106b: AND
0000106c: SELFDESTRUCT
0000106d: JUMPDEST
0000106e: PUSH1 0x00
00001070: PUSH1 0x03
00001072: PUSH1 0x00
00001074: SWAP1
00001075: SLOAD
00001076: SWAP1
00001077: PUSH2 0x0100
0000107a: EXP
0000107b: SWAP1
0000107c: DIV
0000107d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001092: AND
00001093: SWAP1
00001094: POP
00001095: SWAP1
00001096: JUMP
00001097: JUMPDEST
00001098: PUSH1 0x00
0000109a: DUP1
0000109b: PUSH1 0x00
0000109d: DUP4
0000109e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b3: AND
000010b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c9: AND
000010ca: DUP2
000010cb: MSTORE
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: SWAP1
000010d0: DUP2
000010d1: MSTORE
000010d2: PUSH1 0x20
000010d4: ADD
000010d5: PUSH1 0x00
000010d7: KECCAK256
000010d8: SLOAD
000010d9: SWAP1
000010da: POP
000010db: SWAP2
000010dc: SWAP1
000010dd: POP
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH1 0x00
000010e2: TIMESTAMP
000010e3: SWAP1
000010e4: POP
000010e5: SWAP1
000010e6: JUMP
000010e7: JUMPDEST
000010e8: PUSH1 0x00
000010ea: PUSH1 0x05
000010ec: PUSH1 0x00
000010ee: SWAP1
000010ef: SLOAD
000010f0: SWAP1
000010f1: PUSH2 0x0100
000010f4: EXP
000010f5: SWAP1
000010f6: DIV
000010f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110c: AND
0000110d: SWAP1
0000110e: POP
0000110f: SWAP1
00001110: JUMP
00001111: JUMPDEST
00001112: CALLER
00001113: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001128: AND
00001129: PUSH1 0x03
0000112b: PUSH1 0x00
0000112d: SWAP1
0000112e: SLOAD
0000112f: SWAP1
00001130: PUSH2 0x0100
00001133: EXP
00001134: SWAP1
00001135: DIV
00001136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114b: AND
0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001161: AND
00001162: EQ
00001163: PUSH2 0x116b
00001166: JUMPI
00001167: PUSH1 0x00
00001169: DUP1
0000116a: REVERT
0000116b: JUMPDEST
0000116c: PUSH1 0x00
0000116e: PUSH1 0x06
00001170: PUSH1 0x00
00001172: DUP4
00001173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001188: AND
00001189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119e: AND
0000119f: DUP2
000011a0: MSTORE
000011a1: PUSH1 0x20
000011a3: ADD
000011a4: SWAP1
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: ADD
000011aa: PUSH1 0x00
000011ac: KECCAK256
000011ad: PUSH1 0x00
000011af: PUSH2 0x0100
000011b2: EXP
000011b3: DUP2
000011b4: SLOAD
000011b5: DUP2
000011b6: PUSH1 0xff
000011b8: MUL
000011b9: NOT
000011ba: AND
000011bb: SWAP1
000011bc: DUP4
000011bd: ISZERO
000011be: ISZERO
000011bf: MUL
000011c0: OR
000011c1: SWAP1
000011c2: SSTORE
000011c3: POP
000011c4: POP
000011c5: JUMP
000011c6: JUMPDEST
000011c7: CALLER
000011c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011dd: AND
000011de: PUSH1 0x03
000011e0: PUSH1 0x00
000011e2: SWAP1
000011e3: SLOAD
000011e4: SWAP1
000011e5: PUSH2 0x0100
000011e8: EXP
000011e9: SWAP1
000011ea: DIV
000011eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001200: AND
00001201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001216: AND
00001217: EQ
00001218: PUSH2 0x1220
0000121b: JUMPI
0000121c: PUSH1 0x00
0000121e: DUP1
0000121f: REVERT
00001220: JUMPDEST
00001221: PUSH1 0x05
00001223: PUSH1 0x14
00001225: SWAP1
00001226: SLOAD
00001227: SWAP1
00001228: PUSH2 0x0100
0000122b: EXP
0000122c: SWAP1
0000122d: DIV
0000122e: PUSH1 0xff
00001230: AND
00001231: ISZERO
00001232: PUSH2 0x12a3
00001235: JUMPI
00001236: PUSH1 0x40
00001238: MLOAD
00001239: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x04
0000125e: ADD
0000125f: DUP1
00001260: DUP1
00001261: PUSH1 0x20
00001263: ADD
00001264: DUP3
00001265: DUP2
00001266: SUB
00001267: DUP3
00001268: MSTORE
00001269: PUSH1 0x16
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x20
0000126f: ADD
00001270: DUP1
00001271: PUSH32 0x5061757361626c653a2070617573656420457263323000000000000000000000
00001292: DUP2
00001293: MSTORE
00001294: POP
00001295: PUSH1 0x20
00001297: ADD
00001298: SWAP2
00001299: POP
0000129a: POP
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: DUP1
0000129f: SWAP2
000012a0: SUB
000012a1: SWAP1
000012a2: REVERT
000012a3: JUMPDEST
000012a4: PUSH1 0x01
000012a6: PUSH1 0x05
000012a8: PUSH1 0x14
000012aa: PUSH2 0x0100
000012ad: EXP
000012ae: DUP2
000012af: SLOAD
000012b0: DUP2
000012b1: PUSH1 0xff
000012b3: MUL
000012b4: NOT
000012b5: AND
000012b6: SWAP1
000012b7: DUP4
000012b8: ISZERO
000012b9: ISZERO
000012ba: MUL
000012bb: OR
000012bc: SWAP1
000012bd: SSTORE
000012be: POP
000012bf: JUMP
000012c0: JUMPDEST
000012c1: CALLER
000012c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d7: AND
000012d8: PUSH1 0x03
000012da: PUSH1 0x00
000012dc: SWAP1
000012dd: SLOAD
000012de: SWAP1
000012df: PUSH2 0x0100
000012e2: EXP
000012e3: SWAP1
000012e4: DIV
000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fa: AND
000012fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001310: AND
00001311: EQ
00001312: PUSH2 0x131a
00001315: JUMPI
00001316: PUSH1 0x00
00001318: DUP1
00001319: REVERT
0000131a: JUMPDEST
0000131b: PUSH1 0x03
0000131d: PUSH1 0x00
0000131f: SWAP1
00001320: SLOAD
00001321: SWAP1
00001322: PUSH2 0x0100
00001325: EXP
00001326: SWAP1
00001327: DIV
00001328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133d: AND
0000133e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001353: AND
00001354: PUSH2 0x08fc
00001357: SELFBALANCE
00001358: SWAP1
00001359: DUP2
0000135a: ISZERO
0000135b: MUL
0000135c: SWAP1
0000135d: PUSH1 0x40
0000135f: MLOAD
00001360: PUSH1 0x00
00001362: PUSH1 0x40
00001364: MLOAD
00001365: DUP1
00001366: DUP4
00001367: SUB
00001368: DUP2
00001369: DUP6
0000136a: DUP9
0000136b: DUP9
0000136c: CALL
0000136d: SWAP4
0000136e: POP
0000136f: POP
00001370: POP
00001371: POP
00001372: ISZERO
00001373: DUP1
00001374: ISZERO
00001375: PUSH2 0x1382
00001378: JUMPI
00001379: RETURNDATASIZE
0000137a: PUSH1 0x00
0000137c: DUP1
0000137d: RETURNDATACOPY
0000137e: RETURNDATASIZE
0000137f: PUSH1 0x00
00001381: REVERT
00001382: JUMPDEST
00001383: POP
00001384: JUMP
00001385: JUMPDEST
00001386: CALLER
00001387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139c: AND
0000139d: PUSH1 0x03
0000139f: PUSH1 0x00
000013a1: SWAP1
000013a2: SLOAD
000013a3: SWAP1
000013a4: PUSH2 0x0100
000013a7: EXP
000013a8: SWAP1
000013a9: DIV
000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bf: AND
000013c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d5: AND
000013d6: EQ
000013d7: PUSH2 0x13df
000013da: JUMPI
000013db: PUSH1 0x00
000013dd: DUP1
000013de: REVERT
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f7: AND
000013f8: DUP2
000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140e: AND
0000140f: EQ
00001410: ISZERO
00001411: PUSH2 0x1419
00001414: JUMPI
00001415: PUSH1 0x00
00001417: DUP1
00001418: REVERT
00001419: JUMPDEST
0000141a: DUP1
0000141b: PUSH1 0x03
0000141d: PUSH1 0x00
0000141f: PUSH2 0x0100
00001422: EXP
00001423: DUP2
00001424: SLOAD
00001425: DUP2
00001426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143b: MUL
0000143c: NOT
0000143d: AND
0000143e: SWAP1
0000143f: DUP4
00001440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001455: AND
00001456: MUL
00001457: OR
00001458: SWAP1
00001459: SSTORE
0000145a: POP
0000145b: POP
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x00
00001460: PUSH1 0x04
00001462: PUSH1 0x00
00001464: SWAP1
00001465: SLOAD
00001466: SWAP1
00001467: PUSH2 0x0100
0000146a: EXP
0000146b: SWAP1
0000146c: DIV
0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001482: AND
00001483: SWAP1
00001484: POP
00001485: SWAP1
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x60
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: PUSH1 0x40
00001490: ADD
00001491: PUSH1 0x40
00001493: MSTORE
00001494: DUP1
00001495: PUSH1 0x04
00001497: DUP2
00001498: MSTORE
00001499: PUSH1 0x20
0000149b: ADD
0000149c: PUSH32 0x4554483200000000000000000000000000000000000000000000000000000000
000014bd: DUP2
000014be: MSTORE
000014bf: POP
000014c0: SWAP1
000014c1: POP
000014c2: SWAP1
000014c3: JUMP
000014c4: JUMPDEST
000014c5: CALLER
000014c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014db: AND
000014dc: PUSH1 0x03
000014de: PUSH1 0x00
000014e0: SWAP1
000014e1: SLOAD
000014e2: SWAP1
000014e3: PUSH2 0x0100
000014e6: EXP
000014e7: SWAP1
000014e8: DIV
000014e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fe: AND
000014ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001514: AND
00001515: EQ
00001516: DUP1
00001517: PUSH2 0x156d
0000151a: JUMPI
0000151b: POP
0000151c: CALLER
0000151d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001532: AND
00001533: PUSH1 0x04
00001535: PUSH1 0x00
00001537: SWAP1
00001538: SLOAD
00001539: SWAP1
0000153a: PUSH2 0x0100
0000153d: EXP
0000153e: SWAP1
0000153f: DIV
00001540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001555: AND
00001556: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156b: AND
0000156c: EQ
0000156d: JUMPDEST
0000156e: DUP1
0000156f: PUSH2 0x15c5
00001572: JUMPI
00001573: POP
00001574: CALLER
00001575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158a: AND
0000158b: PUSH1 0x05
0000158d: PUSH1 0x00
0000158f: SWAP1
00001590: SLOAD
00001591: SWAP1
00001592: PUSH2 0x0100
00001595: EXP
00001596: SWAP1
00001597: DIV
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: AND
000015ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c3: AND
000015c4: EQ
000015c5: JUMPDEST
000015c6: PUSH2 0x15ce
000015c9: JUMPI
000015ca: PUSH1 0x00
000015cc: DUP1
000015cd: REVERT
000015ce: JUMPDEST
000015cf: PUSH1 0x00
000015d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e6: AND
000015e7: DUP3
000015e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fd: AND
000015fe: EQ
000015ff: ISZERO
00001600: PUSH2 0x1654
00001603: JUMPI
00001604: PUSH1 0x40
00001606: MLOAD
00001607: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x04
0000162c: ADD
0000162d: DUP1
0000162e: DUP1
0000162f: PUSH1 0x20
00001631: ADD
00001632: DUP3
00001633: DUP2
00001634: SUB
00001635: DUP3
00001636: MSTORE
00001637: PUSH1 0x21
00001639: DUP2
0000163a: MSTORE
0000163b: PUSH1 0x20
0000163d: ADD
0000163e: DUP1
0000163f: PUSH2 0x2341
00001642: PUSH1 0x21
00001644: SWAP2
00001645: CODECOPY
00001646: PUSH1 0x40
00001648: ADD
00001649: SWAP2
0000164a: POP
0000164b: POP
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: DUP1
00001650: SWAP2
00001651: SUB
00001652: SWAP1
00001653: REVERT
00001654: JUMPDEST
00001655: PUSH2 0x16bf
00001658: DUP2
00001659: PUSH1 0x40
0000165b: MLOAD
0000165c: DUP1
0000165d: PUSH1 0x60
0000165f: ADD
00001660: PUSH1 0x40
00001662: MSTORE
00001663: DUP1
00001664: PUSH1 0x22
00001666: DUP2
00001667: MSTORE
00001668: PUSH1 0x20
0000166a: ADD
0000166b: PUSH2 0x22af
0000166e: PUSH1 0x22
00001670: SWAP2
00001671: CODECOPY
00001672: PUSH1 0x00
00001674: DUP1
00001675: DUP7
00001676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168b: AND
0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a1: AND
000016a2: DUP2
000016a3: MSTORE
000016a4: PUSH1 0x20
000016a6: ADD
000016a7: SWAP1
000016a8: DUP2
000016a9: MSTORE
000016aa: PUSH1 0x20
000016ac: ADD
000016ad: PUSH1 0x00
000016af: KECCAK256
000016b0: SLOAD
000016b1: PUSH2 0x1f3e
000016b4: SWAP1
000016b5: SWAP3
000016b6: SWAP2
000016b7: SWAP1
000016b8: PUSH4 0xffffffff
000016bd: AND
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH1 0x00
000016c2: DUP1
000016c3: DUP5
000016c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d9: AND
000016da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ef: AND
000016f0: DUP2
000016f1: MSTORE
000016f2: PUSH1 0x20
000016f4: ADD
000016f5: SWAP1
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: ADD
000016fb: PUSH1 0x00
000016fd: KECCAK256
000016fe: DUP2
000016ff: SWAP1
00001700: SSTORE
00001701: POP
00001702: PUSH2 0x1716
00001705: DUP2
00001706: PUSH1 0x02
00001708: SLOAD
00001709: PUSH2 0x21b9
0000170c: SWAP1
0000170d: SWAP2
0000170e: SWAP1
0000170f: PUSH4 0xffffffff
00001714: AND
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH1 0x02
00001719: DUP2
0000171a: SWAP1
0000171b: SSTORE
0000171c: POP
0000171d: PUSH1 0x00
0000171f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001734: AND
00001735: DUP3
00001736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174b: AND
0000174c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000176d: DUP4
0000176e: PUSH1 0x40
00001770: MLOAD
00001771: DUP1
00001772: DUP3
00001773: DUP2
00001774: MSTORE
00001775: PUSH1 0x20
00001777: ADD
00001778: SWAP2
00001779: POP
0000177a: POP
0000177b: PUSH1 0x40
0000177d: MLOAD
0000177e: DUP1
0000177f: SWAP2
00001780: SUB
00001781: SWAP1
00001782: LOG3
00001783: POP
00001784: POP
00001785: JUMP
00001786: JUMPDEST
00001787: PUSH1 0x00
00001789: PUSH2 0x1793
0000178c: CALLER
0000178d: DUP5
0000178e: DUP5
0000178f: PUSH2 0x1b7f
00001792: JUMP
00001793: JUMPDEST
00001794: PUSH1 0x01
00001796: SWAP1
00001797: POP
00001798: SWAP3
00001799: SWAP2
0000179a: POP
0000179b: POP
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x00
000017a0: PUSH1 0x05
000017a2: PUSH1 0x14
000017a4: SWAP1
000017a5: SLOAD
000017a6: SWAP1
000017a7: PUSH2 0x0100
000017aa: EXP
000017ab: SWAP1
000017ac: DIV
000017ad: PUSH1 0xff
000017af: AND
000017b0: SWAP1
000017b1: POP
000017b2: SWAP1
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH1 0x00
000017b7: PUSH8 0x8ac7230489e80000
000017c0: SWAP1
000017c1: POP
000017c2: PUSH1 0x00
000017c4: PUSH9 0x01bc16d674ec800000
000017ce: SWAP1
000017cf: POP
000017d0: PUSH1 0x00
000017d2: PUSH9 0x056bc75e2d63100000
000017dc: SWAP1
000017dd: POP
000017de: DUP3
000017df: CALLVALUE
000017e0: LT
000017e1: ISZERO
000017e2: PUSH2 0x17f8
000017e5: JUMPI
000017e6: PUSH2 0x17f3
000017e9: CALLER
000017ea: CALLVALUE
000017eb: PUSH2 0x03e8
000017ee: MUL
000017ef: PUSH2 0x1ffe
000017f2: JUMP
000017f3: JUMPDEST
000017f4: PUSH2 0x183f
000017f7: JUMP
000017f8: JUMPDEST
000017f9: DUP2
000017fa: CALLVALUE
000017fb: LT
000017fc: ISZERO
000017fd: PUSH2 0x1813
00001800: JUMPI
00001801: PUSH2 0x180e
00001804: CALLER
00001805: CALLVALUE
00001806: PUSH2 0x044c
00001809: MUL
0000180a: PUSH2 0x1ffe
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH2 0x183e
00001812: JUMP
00001813: JUMPDEST
00001814: DUP1
00001815: CALLVALUE
00001816: LT
00001817: ISZERO
00001818: PUSH2 0x182e
0000181b: JUMPI
0000181c: PUSH2 0x1829
0000181f: CALLER
00001820: CALLVALUE
00001821: PUSH2 0x0578
00001824: MUL
00001825: PUSH2 0x1ffe
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH2 0x183d
0000182d: JUMP
0000182e: JUMPDEST
0000182f: PUSH2 0x183c
00001832: CALLER
00001833: CALLVALUE
00001834: PUSH2 0x07d0
00001837: MUL
00001838: PUSH2 0x1ffe
0000183b: JUMP
0000183c: JUMPDEST
0000183d: JUMPDEST
0000183e: JUMPDEST
0000183f: JUMPDEST
00001840: POP
00001841: POP
00001842: POP
00001843: JUMP
00001844: JUMPDEST
00001845: CALLER
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: AND
0000185c: PUSH1 0x03
0000185e: PUSH1 0x00
00001860: SWAP1
00001861: SLOAD
00001862: SWAP1
00001863: PUSH2 0x0100
00001866: EXP
00001867: SWAP1
00001868: DIV
00001869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187e: AND
0000187f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001894: AND
00001895: EQ
00001896: PUSH2 0x189e
00001899: JUMPI
0000189a: PUSH1 0x00
0000189c: DUP1
0000189d: REVERT
0000189e: JUMPDEST
0000189f: PUSH1 0x01
000018a1: PUSH1 0x06
000018a3: PUSH1 0x00
000018a5: DUP4
000018a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018bb: AND
000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d1: AND
000018d2: DUP2
000018d3: MSTORE
000018d4: PUSH1 0x20
000018d6: ADD
000018d7: SWAP1
000018d8: DUP2
000018d9: MSTORE
000018da: PUSH1 0x20
000018dc: ADD
000018dd: PUSH1 0x00
000018df: KECCAK256
000018e0: PUSH1 0x00
000018e2: PUSH2 0x0100
000018e5: EXP
000018e6: DUP2
000018e7: SLOAD
000018e8: DUP2
000018e9: PUSH1 0xff
000018eb: MUL
000018ec: NOT
000018ed: AND
000018ee: SWAP1
000018ef: DUP4
000018f0: ISZERO
000018f1: ISZERO
000018f2: MUL
000018f3: OR
000018f4: SWAP1
000018f5: SSTORE
000018f6: POP
000018f7: POP
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: PUSH1 0x01
000018fe: PUSH1 0x00
00001900: DUP5
00001901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001916: AND
00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192c: AND
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x20
00001931: ADD
00001932: SWAP1
00001933: DUP2
00001934: MSTORE
00001935: PUSH1 0x20
00001937: ADD
00001938: PUSH1 0x00
0000193a: KECCAK256
0000193b: PUSH1 0x00
0000193d: DUP4
0000193e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001953: AND
00001954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001969: AND
0000196a: DUP2
0000196b: MSTORE
0000196c: PUSH1 0x20
0000196e: ADD
0000196f: SWAP1
00001970: DUP2
00001971: MSTORE
00001972: PUSH1 0x20
00001974: ADD
00001975: PUSH1 0x00
00001977: KECCAK256
00001978: SLOAD
00001979: SWAP1
0000197a: POP
0000197b: SWAP3
0000197c: SWAP2
0000197d: POP
0000197e: POP
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH1 0x00
00001983: SELFBALANCE
00001984: SWAP1
00001985: POP
00001986: SWAP1
00001987: JUMP
00001988: JUMPDEST
00001989: PUSH1 0x00
0000198b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a0: AND
000019a1: DUP4
000019a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b7: AND
000019b8: EQ
000019b9: ISZERO
000019ba: PUSH2 0x1a0e
000019bd: JUMPI
000019be: PUSH1 0x40
000019c0: MLOAD
000019c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019e2: DUP2
000019e3: MSTORE
000019e4: PUSH1 0x04
000019e6: ADD
000019e7: DUP1
000019e8: DUP1
000019e9: PUSH1 0x20
000019eb: ADD
000019ec: DUP3
000019ed: DUP2
000019ee: SUB
000019ef: DUP3
000019f0: MSTORE
000019f1: PUSH1 0x24
000019f3: DUP2
000019f4: MSTORE
000019f5: PUSH1 0x20
000019f7: ADD
000019f8: DUP1
000019f9: PUSH2 0x2387
000019fc: PUSH1 0x24
000019fe: SWAP2
000019ff: CODECOPY
00001a00: PUSH1 0x40
00001a02: ADD
00001a03: SWAP2
00001a04: POP
00001a05: POP
00001a06: PUSH1 0x40
00001a08: MLOAD
00001a09: DUP1
00001a0a: SWAP2
00001a0b: SUB
00001a0c: SWAP1
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: PUSH1 0x00
00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a26: AND
00001a27: DUP3
00001a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3d: AND
00001a3e: EQ
00001a3f: ISZERO
00001a40: PUSH2 0x1a94
00001a43: JUMPI
00001a44: PUSH1 0x40
00001a46: MLOAD
00001a47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a68: DUP2
00001a69: MSTORE
00001a6a: PUSH1 0x04
00001a6c: ADD
00001a6d: DUP1
00001a6e: DUP1
00001a6f: PUSH1 0x20
00001a71: ADD
00001a72: DUP3
00001a73: DUP2
00001a74: SUB
00001a75: DUP3
00001a76: MSTORE
00001a77: PUSH1 0x22
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x20
00001a7d: ADD
00001a7e: DUP1
00001a7f: PUSH2 0x22d1
00001a82: PUSH1 0x22
00001a84: SWAP2
00001a85: CODECOPY
00001a86: PUSH1 0x40
00001a88: ADD
00001a89: SWAP2
00001a8a: POP
00001a8b: POP
00001a8c: PUSH1 0x40
00001a8e: MLOAD
00001a8f: DUP1
00001a90: SWAP2
00001a91: SUB
00001a92: SWAP1
00001a93: REVERT
00001a94: JUMPDEST
00001a95: DUP1
00001a96: PUSH1 0x01
00001a98: PUSH1 0x00
00001a9a: DUP6
00001a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab0: AND
00001ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac6: AND
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x20
00001acb: ADD
00001acc: SWAP1
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x20
00001ad1: ADD
00001ad2: PUSH1 0x00
00001ad4: KECCAK256
00001ad5: PUSH1 0x00
00001ad7: DUP5
00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aed: AND
00001aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b03: AND
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x20
00001b08: ADD
00001b09: SWAP1
00001b0a: DUP2
00001b0b: MSTORE
00001b0c: PUSH1 0x20
00001b0e: ADD
00001b0f: PUSH1 0x00
00001b11: KECCAK256
00001b12: DUP2
00001b13: SWAP1
00001b14: SSTORE
00001b15: POP
00001b16: DUP2
00001b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2c: AND
00001b2d: DUP4
00001b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b43: AND
00001b44: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001b65: DUP4
00001b66: PUSH1 0x40
00001b68: MLOAD
00001b69: DUP1
00001b6a: DUP3
00001b6b: DUP2
00001b6c: MSTORE
00001b6d: PUSH1 0x20
00001b6f: ADD
00001b70: SWAP2
00001b71: POP
00001b72: POP
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: DUP1
00001b77: SWAP2
00001b78: SUB
00001b79: SWAP1
00001b7a: LOG3
00001b7b: POP
00001b7c: POP
00001b7d: POP
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH1 0x05
00001b82: PUSH1 0x14
00001b84: SWAP1
00001b85: SLOAD
00001b86: SWAP1
00001b87: PUSH2 0x0100
00001b8a: EXP
00001b8b: SWAP1
00001b8c: DIV
00001b8d: PUSH1 0xff
00001b8f: AND
00001b90: ISZERO
00001b91: PUSH2 0x1be5
00001b94: JUMPI
00001b95: PUSH1 0x40
00001b97: MLOAD
00001b98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x04
00001bbd: ADD
00001bbe: DUP1
00001bbf: DUP1
00001bc0: PUSH1 0x20
00001bc2: ADD
00001bc3: DUP3
00001bc4: DUP2
00001bc5: SUB
00001bc6: DUP3
00001bc7: MSTORE
00001bc8: PUSH1 0x2a
00001bca: DUP2
00001bcb: MSTORE
00001bcc: PUSH1 0x20
00001bce: ADD
00001bcf: DUP1
00001bd0: PUSH2 0x23e0
00001bd3: PUSH1 0x2a
00001bd5: SWAP2
00001bd6: CODECOPY
00001bd7: PUSH1 0x40
00001bd9: ADD
00001bda: SWAP2
00001bdb: POP
00001bdc: POP
00001bdd: PUSH1 0x40
00001bdf: MLOAD
00001be0: DUP1
00001be1: SWAP2
00001be2: SUB
00001be3: SWAP1
00001be4: REVERT
00001be5: JUMPDEST
00001be6: PUSH1 0x06
00001be8: PUSH1 0x00
00001bea: DUP5
00001beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c00: AND
00001c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c16: AND
00001c17: DUP2
00001c18: MSTORE
00001c19: PUSH1 0x20
00001c1b: ADD
00001c1c: SWAP1
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x20
00001c21: ADD
00001c22: PUSH1 0x00
00001c24: KECCAK256
00001c25: PUSH1 0x00
00001c27: SWAP1
00001c28: SLOAD
00001c29: SWAP1
00001c2a: PUSH2 0x0100
00001c2d: EXP
00001c2e: SWAP1
00001c2f: DIV
00001c30: PUSH1 0xff
00001c32: AND
00001c33: ISZERO
00001c34: PUSH2 0x1c88
00001c37: JUMPI
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c5c: DUP2
00001c5d: MSTORE
00001c5e: PUSH1 0x04
00001c60: ADD
00001c61: DUP1
00001c62: DUP1
00001c63: PUSH1 0x20
00001c65: ADD
00001c66: DUP3
00001c67: DUP2
00001c68: SUB
00001c69: DUP3
00001c6a: MSTORE
00001c6b: PUSH1 0x35
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x20
00001c71: ADD
00001c72: DUP1
00001c73: PUSH2 0x23ab
00001c76: PUSH1 0x35
00001c78: SWAP2
00001c79: CODECOPY
00001c7a: PUSH1 0x40
00001c7c: ADD
00001c7d: SWAP2
00001c7e: POP
00001c7f: POP
00001c80: PUSH1 0x40
00001c82: MLOAD
00001c83: DUP1
00001c84: SWAP2
00001c85: SUB
00001c86: SWAP1
00001c87: REVERT
00001c88: JUMPDEST
00001c89: PUSH1 0x00
00001c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca0: AND
00001ca1: DUP4
00001ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb7: AND
00001cb8: EQ
00001cb9: ISZERO
00001cba: PUSH2 0x1d0e
00001cbd: JUMPI
00001cbe: PUSH1 0x40
00001cc0: MLOAD
00001cc1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: PUSH1 0x04
00001ce6: ADD
00001ce7: DUP1
00001ce8: DUP1
00001ce9: PUSH1 0x20
00001ceb: ADD
00001cec: DUP3
00001ced: DUP2
00001cee: SUB
00001cef: DUP3
00001cf0: MSTORE
00001cf1: PUSH1 0x25
00001cf3: DUP2
00001cf4: MSTORE
00001cf5: PUSH1 0x20
00001cf7: ADD
00001cf8: DUP1
00001cf9: PUSH2 0x2362
00001cfc: PUSH1 0x25
00001cfe: SWAP2
00001cff: CODECOPY
00001d00: PUSH1 0x40
00001d02: ADD
00001d03: SWAP2
00001d04: POP
00001d05: POP
00001d06: PUSH1 0x40
00001d08: MLOAD
00001d09: DUP1
00001d0a: SWAP2
00001d0b: SUB
00001d0c: SWAP1
00001d0d: REVERT
00001d0e: JUMPDEST
00001d0f: PUSH1 0x00
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: AND
00001d27: DUP3
00001d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3d: AND
00001d3e: EQ
00001d3f: ISZERO
00001d40: PUSH2 0x1d94
00001d43: JUMPI
00001d44: PUSH1 0x40
00001d46: MLOAD
00001d47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d68: DUP2
00001d69: MSTORE
00001d6a: PUSH1 0x04
00001d6c: ADD
00001d6d: DUP1
00001d6e: DUP1
00001d6f: PUSH1 0x20
00001d71: ADD
00001d72: DUP3
00001d73: DUP2
00001d74: SUB
00001d75: DUP3
00001d76: MSTORE
00001d77: PUSH1 0x23
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: DUP1
00001d7f: PUSH2 0x228c
00001d82: PUSH1 0x23
00001d84: SWAP2
00001d85: CODECOPY
00001d86: PUSH1 0x40
00001d88: ADD
00001d89: SWAP2
00001d8a: POP
00001d8b: POP
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: DUP1
00001d90: SWAP2
00001d91: SUB
00001d92: SWAP1
00001d93: REVERT
00001d94: JUMPDEST
00001d95: PUSH2 0x1dff
00001d98: DUP2
00001d99: PUSH1 0x40
00001d9b: MLOAD
00001d9c: DUP1
00001d9d: PUSH1 0x60
00001d9f: ADD
00001da0: PUSH1 0x40
00001da2: MSTORE
00001da3: DUP1
00001da4: PUSH1 0x26
00001da6: DUP2
00001da7: MSTORE
00001da8: PUSH1 0x20
00001daa: ADD
00001dab: PUSH2 0x22f3
00001dae: PUSH1 0x26
00001db0: SWAP2
00001db1: CODECOPY
00001db2: PUSH1 0x00
00001db4: DUP1
00001db5: DUP8
00001db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcb: AND
00001dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de1: AND
00001de2: DUP2
00001de3: MSTORE
00001de4: PUSH1 0x20
00001de6: ADD
00001de7: SWAP1
00001de8: DUP2
00001de9: MSTORE
00001dea: PUSH1 0x20
00001dec: ADD
00001ded: PUSH1 0x00
00001def: KECCAK256
00001df0: SLOAD
00001df1: PUSH2 0x1f3e
00001df4: SWAP1
00001df5: SWAP3
00001df6: SWAP2
00001df7: SWAP1
00001df8: PUSH4 0xffffffff
00001dfd: AND
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: PUSH1 0x00
00001e02: DUP1
00001e03: DUP6
00001e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e19: AND
00001e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2f: AND
00001e30: DUP2
00001e31: MSTORE
00001e32: PUSH1 0x20
00001e34: ADD
00001e35: SWAP1
00001e36: DUP2
00001e37: MSTORE
00001e38: PUSH1 0x20
00001e3a: ADD
00001e3b: PUSH1 0x00
00001e3d: KECCAK256
00001e3e: DUP2
00001e3f: SWAP1
00001e40: SSTORE
00001e41: POP
00001e42: PUSH2 0x1e92
00001e45: DUP2
00001e46: PUSH1 0x00
00001e48: DUP1
00001e49: DUP6
00001e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5f: AND
00001e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e75: AND
00001e76: DUP2
00001e77: MSTORE
00001e78: PUSH1 0x20
00001e7a: ADD
00001e7b: SWAP1
00001e7c: DUP2
00001e7d: MSTORE
00001e7e: PUSH1 0x20
00001e80: ADD
00001e81: PUSH1 0x00
00001e83: KECCAK256
00001e84: SLOAD
00001e85: PUSH2 0x2203
00001e88: SWAP1
00001e89: SWAP2
00001e8a: SWAP1
00001e8b: PUSH4 0xffffffff
00001e90: AND
00001e91: JUMP
00001e92: JUMPDEST
00001e93: PUSH1 0x00
00001e95: DUP1
00001e96: DUP5
00001e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eac: AND
00001ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec2: AND
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: ADD
00001ec8: SWAP1
00001ec9: DUP2
00001eca: MSTORE
00001ecb: PUSH1 0x20
00001ecd: ADD
00001ece: PUSH1 0x00
00001ed0: KECCAK256
00001ed1: DUP2
00001ed2: SWAP1
00001ed3: SSTORE
00001ed4: POP
00001ed5: DUP2
00001ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eeb: AND
00001eec: DUP4
00001eed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f02: AND
00001f03: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f24: DUP4
00001f25: PUSH1 0x40
00001f27: MLOAD
00001f28: DUP1
00001f29: DUP3
00001f2a: DUP2
00001f2b: MSTORE
00001f2c: PUSH1 0x20
00001f2e: ADD
00001f2f: SWAP2
00001f30: POP
00001f31: POP
00001f32: PUSH1 0x40
00001f34: MLOAD
00001f35: DUP1
00001f36: SWAP2
00001f37: SUB
00001f38: SWAP1
00001f39: LOG3
00001f3a: POP
00001f3b: POP
00001f3c: POP
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: PUSH1 0x00
00001f41: DUP4
00001f42: DUP4
00001f43: GT
00001f44: ISZERO
00001f45: DUP3
00001f46: SWAP1
00001f47: PUSH2 0x1feb
00001f4a: JUMPI
00001f4b: PUSH1 0x40
00001f4d: MLOAD
00001f4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f6f: DUP2
00001f70: MSTORE
00001f71: PUSH1 0x04
00001f73: ADD
00001f74: DUP1
00001f75: DUP1
00001f76: PUSH1 0x20
00001f78: ADD
00001f79: DUP3
00001f7a: DUP2
00001f7b: SUB
00001f7c: DUP3
00001f7d: MSTORE
00001f7e: DUP4
00001f7f: DUP2
00001f80: DUP2
00001f81: MLOAD
00001f82: DUP2
00001f83: MSTORE
00001f84: PUSH1 0x20
00001f86: ADD
00001f87: SWAP2
00001f88: POP
00001f89: DUP1
00001f8a: MLOAD
00001f8b: SWAP1
00001f8c: PUSH1 0x20
00001f8e: ADD
00001f8f: SWAP1
00001f90: DUP1
00001f91: DUP4
00001f92: DUP4
00001f93: PUSH1 0x00
00001f95: JUMPDEST
00001f96: DUP4
00001f97: DUP2
00001f98: LT
00001f99: ISZERO
00001f9a: PUSH2 0x1fb0
00001f9d: JUMPI
00001f9e: DUP1
00001f9f: DUP3
00001fa0: ADD
00001fa1: MLOAD
00001fa2: DUP2
00001fa3: DUP5
00001fa4: ADD
00001fa5: MSTORE
00001fa6: PUSH1 0x20
00001fa8: DUP2
00001fa9: ADD
00001faa: SWAP1
00001fab: POP
00001fac: PUSH2 0x1f95
00001faf: JUMP
00001fb0: JUMPDEST
00001fb1: POP
00001fb2: POP
00001fb3: POP
00001fb4: POP
00001fb5: SWAP1
00001fb6: POP
00001fb7: SWAP1
00001fb8: DUP2
00001fb9: ADD
00001fba: SWAP1
00001fbb: PUSH1 0x1f
00001fbd: AND
00001fbe: DUP1
00001fbf: ISZERO
00001fc0: PUSH2 0x1fdd
00001fc3: JUMPI
00001fc4: DUP1
00001fc5: DUP3
00001fc6: SUB
00001fc7: DUP1
00001fc8: MLOAD
00001fc9: PUSH1 0x01
00001fcb: DUP4
00001fcc: PUSH1 0x20
00001fce: SUB
00001fcf: PUSH2 0x0100
00001fd2: EXP
00001fd3: SUB
00001fd4: NOT
00001fd5: AND
00001fd6: DUP2
00001fd7: MSTORE
00001fd8: PUSH1 0x20
00001fda: ADD
00001fdb: SWAP2
00001fdc: POP
00001fdd: JUMPDEST
00001fde: POP
00001fdf: SWAP3
00001fe0: POP
00001fe1: POP
00001fe2: POP
00001fe3: PUSH1 0x40
00001fe5: MLOAD
00001fe6: DUP1
00001fe7: SWAP2
00001fe8: SUB
00001fe9: SWAP1
00001fea: REVERT
00001feb: JUMPDEST
00001fec: POP
00001fed: PUSH1 0x00
00001fef: DUP4
00001ff0: DUP6
00001ff1: SUB
00001ff2: SWAP1
00001ff3: POP
00001ff4: DUP1
00001ff5: SWAP2
00001ff6: POP
00001ff7: POP
00001ff8: SWAP4
00001ff9: SWAP3
00001ffa: POP
00001ffb: POP
00001ffc: POP
00001ffd: JUMP
00001ffe: JUMPDEST
00001fff: PUSH1 0x00
00002001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002016: AND
00002017: DUP3
00002018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202d: AND
0000202e: EQ
0000202f: ISZERO
00002030: PUSH2 0x20a1
00002033: JUMPI
00002034: PUSH1 0x40
00002036: MLOAD
00002037: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002058: DUP2
00002059: MSTORE
0000205a: PUSH1 0x04
0000205c: ADD
0000205d: DUP1
0000205e: DUP1
0000205f: PUSH1 0x20
00002061: ADD
00002062: DUP3
00002063: DUP2
00002064: SUB
00002065: DUP3
00002066: MSTORE
00002067: PUSH1 0x1f
00002069: DUP2
0000206a: MSTORE
0000206b: PUSH1 0x20
0000206d: ADD
0000206e: DUP1
0000206f: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002090: DUP2
00002091: MSTORE
00002092: POP
00002093: PUSH1 0x20
00002095: ADD
00002096: SWAP2
00002097: POP
00002098: POP
00002099: PUSH1 0x40
0000209b: MLOAD
0000209c: DUP1
0000209d: SWAP2
0000209e: SUB
0000209f: SWAP1
000020a0: REVERT
000020a1: JUMPDEST
000020a2: PUSH2 0x20b6
000020a5: DUP2
000020a6: PUSH1 0x02
000020a8: SLOAD
000020a9: PUSH2 0x2203
000020ac: SWAP1
000020ad: SWAP2
000020ae: SWAP1
000020af: PUSH4 0xffffffff
000020b4: AND
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH1 0x02
000020b9: DUP2
000020ba: SWAP1
000020bb: SSTORE
000020bc: POP
000020bd: PUSH2 0x210d
000020c0: DUP2
000020c1: PUSH1 0x00
000020c3: DUP1
000020c4: DUP6
000020c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020da: AND
000020db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f0: AND
000020f1: DUP2
000020f2: MSTORE
000020f3: PUSH1 0x20
000020f5: ADD
000020f6: SWAP1
000020f7: DUP2
000020f8: MSTORE
000020f9: PUSH1 0x20
000020fb: ADD
000020fc: PUSH1 0x00
000020fe: KECCAK256
000020ff: SLOAD
00002100: PUSH2 0x2203
00002103: SWAP1
00002104: SWAP2
00002105: SWAP1
00002106: PUSH4 0xffffffff
0000210b: AND
0000210c: JUMP
0000210d: JUMPDEST
0000210e: PUSH1 0x00
00002110: DUP1
00002111: DUP5
00002112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002127: AND
00002128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213d: AND
0000213e: DUP2
0000213f: MSTORE
00002140: PUSH1 0x20
00002142: ADD
00002143: SWAP1
00002144: DUP2
00002145: MSTORE
00002146: PUSH1 0x20
00002148: ADD
00002149: PUSH1 0x00
0000214b: KECCAK256
0000214c: DUP2
0000214d: SWAP1
0000214e: SSTORE
0000214f: POP
00002150: DUP2
00002151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002166: AND
00002167: PUSH1 0x00
00002169: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217e: AND
0000217f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000021a0: DUP4
000021a1: PUSH1 0x40
000021a3: MLOAD
000021a4: DUP1
000021a5: DUP3
000021a6: DUP2
000021a7: MSTORE
000021a8: PUSH1 0x20
000021aa: ADD
000021ab: SWAP2
000021ac: POP
000021ad: POP
000021ae: PUSH1 0x40
000021b0: MLOAD
000021b1: DUP1
000021b2: SWAP2
000021b3: SUB
000021b4: SWAP1
000021b5: LOG3
000021b6: POP
000021b7: POP
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x00
000021bc: PUSH2 0x21fb
000021bf: DUP4
000021c0: DUP4
000021c1: PUSH1 0x40
000021c3: MLOAD
000021c4: DUP1
000021c5: PUSH1 0x40
000021c7: ADD
000021c8: PUSH1 0x40
000021ca: MSTORE
000021cb: DUP1
000021cc: PUSH1 0x1e
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x20
000021d2: ADD
000021d3: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000021f4: DUP2
000021f5: MSTORE
000021f6: POP
000021f7: PUSH2 0x1f3e
000021fa: JUMP
000021fb: JUMPDEST
000021fc: SWAP1
000021fd: POP
000021fe: SWAP3
000021ff: SWAP2
00002200: POP
00002201: POP
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH1 0x00
00002206: DUP1
00002207: DUP3
00002208: DUP5
00002209: ADD
0000220a: SWAP1
0000220b: POP
0000220c: DUP4
0000220d: DUP2
0000220e: LT
0000220f: ISZERO
00002210: PUSH2 0x2281
00002213: JUMPI
00002214: PUSH1 0x40
00002216: MLOAD
00002217: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002238: DUP2
00002239: MSTORE
0000223a: PUSH1 0x04
0000223c: ADD
0000223d: DUP1
0000223e: DUP1
0000223f: PUSH1 0x20
00002241: ADD
00002242: DUP3
00002243: DUP2
00002244: SUB
00002245: DUP3
00002246: MSTORE
00002247: PUSH1 0x1b
00002249: DUP2
0000224a: MSTORE
0000224b: PUSH1 0x20
0000224d: ADD
0000224e: DUP1
0000224f: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002270: DUP2
00002271: MSTORE
00002272: POP
00002273: PUSH1 0x20
00002275: ADD
00002276: SWAP2
00002277: POP
00002278: POP
00002279: PUSH1 0x40
0000227b: MLOAD
0000227c: DUP1
0000227d: SWAP2
0000227e: SUB
0000227f: SWAP1
00002280: REVERT
00002281: JUMPDEST
00002282: DUP1
00002283: SWAP2
00002284: POP
00002285: POP
00002286: SWAP3
00002287: SWAP2
00002288: POP
00002289: POP
0000228a: JUMP
0000228b: INVALID
0000228c: GASLIMIT
0000228d: MSTORE
0000228e: NUMBER
0000228f: ORIGIN
00002290: ADDRESS
00002291: GASPRICE
00002292: KECCAK256
00002293: PUSH21 0x72616e7366657220746f20746865207a65726f2061
000022a9: PUSH5 0x6472657373
000022af: GASLIMIT
000022b0: MSTORE
000022b1: NUMBER
000022b2: ORIGIN
000022b3: ADDRESS
000022b4: GASPRICE
000022b5: KECCAK256
000022b6: PUSH3 0x75726e
000022ba: KECCAK256
000022bb: PUSH2 0x6d6f
000022be: PUSH22 0x6e7420657863656564732062616c616e636545524332
000022d5: ADDRESS
000022d6: GASPRICE
000022d7: KECCAK256
000022d8: PUSH2 0x7070
000022db: PUSH19 0x6f766520746f20746865207a65726f20616464
000022ef: PUSH19 0x65737345524332303a207472616e7366657220
00002303: PUSH2 0x6d6f
00002306: PUSH22 0x6e7420657863656564732062616c616e636545524332
0000231d: ADDRESS
0000231e: GASPRICE
0000231f: KECCAK256
00002320: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002336: PUSH20 0x20616c6c6f77616e636545524332303a20627572
0000234b: PUSH15 0x2066726f6d20746865207a65726f20
0000235b: PUSH2 0x6464
0000235e: PUSH19 0x65737345524332303a207472616e7366657220
00002372: PUSH7 0x726f6d20746865
0000237a: KECCAK256
0000237b: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00002397: PUSH19 0x6f6d20746865207a65726f2061646472657373
000023ab: GASLIMIT
000023ac: MSTORE
000023ad: NUMBER
000023ae: ORIGIN
000023af: ADDRESS
000023b0: POP
000023b1: PUSH2 0x7573
000023b4: PUSH2 0x626c
000023b7: PUSH6 0x3a20746f6b65
000023be: PUSH15 0x207472616e73666572207768696c65
000023ce: KECCAK256
000023cf: PUSH17 0x6175736564206f6e206164647265737345
000023e1: MSTORE
000023e2: NUMBER
000023e3: ORIGIN
000023e4: ADDRESS
000023e5: POP
000023e6: PUSH2 0x7573
000023e9: PUSH2 0x626c
000023ec: PUSH6 0x3a20746f6b65
000023f3: PUSH15 0x207472616e73666572207768696c65
00002403: KECCAK256
00002404: PUSH17 0x6175736564a26469706673582212202a13
00002416: BYTE
00002417: PUSH26 0x572f946de56af905509ee05e8bdba45c8edc5e5626eb766b7afb
00002432: PUSH20

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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd674b353", "selector": "0xd674b353", "calldata_variants": [ "0xd674b353", "0xd674b3530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea46193e", "selector": "0xea46193e", "calldata_variants": [ "0xea46193e", "0xea46193e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9dc29fac", "selector": "0x9dc29fac", "calldata_variants": [ "0x9dc29fac", "0x9dc29fac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb187bd26", "selector": "0xb187bd26", "calldata_variants": [ "0xb187bd26", "0xb187bd260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x853828b6", "selector": "0x853828b6", "calldata_variants": [ "0x853828b6", "0x853828b60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 8847, "type": "tx_origin_used" }, { "pc": 8882, "type": "tx_origin_used" }, { "pc": 9134, "type": "tx_origin_used" }, { "pc": 9187, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x8636bb31bf7acbe18c14b54e6c14541ab86f2051235389c95031bcff1986d4f1 call_targets: 0x3e1646ec966d404552dfff02bbf72caf56c80a47 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8636bb31bf7acbe18c14b54e6c14541ab86f2051235389c95031bcff1986d4f1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3e1646ec966d404552dfff02bbf72caf56c80a47" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd674b353", "selector": "0xd674b353", "calldata_variants": [ "0xd674b353", "0xd674b3530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea46193e", "selector": "0xea46193e", "calldata_variants": [ "0xea46193e", "0xea46193e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9dc29fac", "selector": "0x9dc29fac", "calldata_variants": [ "0x9dc29fac", "0x9dc29fac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb187bd26", "selector": "0xb187bd26", "calldata_variants": [ "0xb187bd26", "0xb187bd260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x853828b6", "selector": "0x853828b6", "calldata_variants": [ "0x853828b6", "0x853828b60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3060, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4972, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 8847, "type": "tx_origin_used" }, { "pc": 8882, "type": "tx_origin_used" }, { "pc": 9134, "type": "tx_origin_used" }, { "pc": 9187, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x8636bb31bf7acbe18c14b54e6c14541ab86f2051235389c95031bcff1986d4f1 call_targets: 0x3e1646ec966d404552dfff02bbf72caf56c80a47 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8636bb31bf7acbe18c14b54e6c14541ab86f2051235389c95031bcff1986d4f1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3e1646ec966d404552dfff02bbf72caf56c80a47" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd674b353", "selector": "0xd674b353", "calldata_variants": [ "0xd674b353", "0xd674b3530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea46193e", "selector": "0xea46193e", "calldata_variants": [ "0xea46193e", "0xea46193e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9dc29fac", "selector": "0x9dc29fac", "calldata_variants": [ "0x9dc29fac", "0x9dc29fac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb187bd26", "selector": "0xb187bd26", "calldata_variants": [ "0xb187bd26", "0xb187bd260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x853828b6", "selector": "0x853828b6", "calldata_variants": [ "0x853828b6", "0x853828b60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3060, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4972, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 8847, "type": "tx_origin_used" }, { "pc": 8882, "type": "tx_origin_used" }, { "pc": 9134, "type": "tx_origin_used" }, { "pc": 9187, "type": "tx_origin_used" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xa090bf3745c32086d9757ad894c4455f6be2234ade48e560a071534989fcd057 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xa090bf3745c32086d9757ad894c4455f6be2234ade48e560a071534989fcd057", "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd674b353", "selector": "0xd674b353", "calldata_variants": [ "0xd674b353", "0xd674b3530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea46193e", "selector": "0xea46193e", "calldata_variants": [ "0xea46193e", "0xea46193e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9dc29fac", "selector": "0x9dc29fac", "calldata_variants": [ "0x9dc29fac", "0x9dc29fac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb187bd26", "selector": "0xb187bd26", "calldata_variants": [ "0xb187bd26", "0xb187bd260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x853828b6", "selector": "0x853828b6", "calldata_variants": [ "0x853828b6", "0x853828b60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 8847, "type": "tx_origin_used" }, { "pc": 8882, "type": "tx_origin_used" }, { "pc": 9134, "type": "tx_origin_used" }, { "pc": 9187, "type": "tx_origin_used" } ], "selfdestruct_count": 1 }