Analysis Run

019b3844-9fa5-733e-b2f6-264d50f5f6bd

complete

Chain ID

1

Address

0x73fbff71e169a148e4e534ea98292583d8832f19

Block Number

—

Created

Fri, Dec 19, 2025 8:19 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
15133	artifact.fetch	complete	1 / 3	4 months ago
15134	tool.cast_disasm	complete	1 / 3	4 months ago
58549	analysis.bundle	complete	1 / 3	2 weeks ago
58550	capability.graph	complete	1 / 3	2 weeks ago
58551	detector.run	complete	1 / 3	2 weeks ago
58552	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

1

CALL-family (heavy)

12

EXT*/BALANCE

11

Total opcodes

4467

Flags

selfdestruct_present create_opcodes_present heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012c
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xaaf10f42
00000019: GT
0000001a: PUSH2 0x00a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xf088d547
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf7b2a8fd
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf7b2a8fd
0000003a: EQ
0000003b: PUSH2 0x0443
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf8b2cb4f
00000045: EQ
00000046: PUSH2 0x0463
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfcd393b9
00000050: EQ
00000051: PUSH2 0x0499
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xf088d547
00000060: EQ
00000061: PUSH2 0x03f7
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xf5a45323
0000006b: EQ
0000006c: PUSH2 0x040a
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0xaaf10f42
0000007b: EQ
0000007c: PUSH2 0x0322
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0xbbd31ce6
00000086: EQ
00000087: PUSH2 0x0355
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xc00f14ab
00000091: EQ
00000092: PUSH2 0x0391
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc2328e21
0000009c: EQ
0000009d: PUSH2 0x03be
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x51cff8d9
000000ac: GT
000000ad: PUSH2 0x00fc
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x6c197ff5
000000b7: GT
000000b8: PUSH2 0x00e1
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x6c197ff5
000000c2: EQ
000000c3: PUSH2 0x02a4
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x74cac22f
000000cd: EQ
000000ce: PUSH2 0x02c6
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x9693361b
000000d8: EQ
000000d9: PUSH2 0x02e6
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x51cff8d9
000000e8: EQ
000000e9: PUSH2 0x024b
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x6685a936
000000f3: EQ
000000f4: PUSH2 0x026b
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH3 0x75ce8e
00000102: EQ
00000103: PUSH2 0x0138
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x01ffc9a7
0000010d: EQ
0000010e: PUSH2 0x0175
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x0c183399
00000118: EQ
00000119: PUSH2 0x01e7
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x0f97b58d
00000123: EQ
00000124: PUSH2 0x022b
00000127: JUMPI
00000128: PUSH1 0x00
0000012a: DUP1
0000012b: REVERT
0000012c: JUMPDEST
0000012d: CALLDATASIZE
0000012e: PUSH2 0x0133
00000131: JUMPI
00000132: STOP
00000133: JUMPDEST
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: CALLVALUE
0000013a: DUP1
0000013b: ISZERO
0000013c: PUSH2 0x0144
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: POP
00000146: PUSH2 0x0158
00000149: PUSH2 0x0153
0000014c: CALLDATASIZE
0000014d: PUSH1 0x04
0000014f: PUSH2 0x1bd8
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x04b9
00000157: JUMP
00000158: JUMPDEST
00000159: PUSH1 0x40
0000015b: MLOAD
0000015c: PUSH1 0x01
0000015e: PUSH1 0x01
00000160: PUSH1 0xa0
00000162: SHL
00000163: SUB
00000164: SWAP1
00000165: SWAP2
00000166: AND
00000167: DUP2
00000168: MSTORE
00000169: PUSH1 0x20
0000016b: ADD
0000016c: JUMPDEST
0000016d: PUSH1 0x40
0000016f: MLOAD
00000170: DUP1
00000171: SWAP2
00000172: SUB
00000173: SWAP1
00000174: RETURN
00000175: JUMPDEST
00000176: CALLVALUE
00000177: DUP1
00000178: ISZERO
00000179: PUSH2 0x0181
0000017c: JUMPI
0000017d: PUSH1 0x00
0000017f: DUP1
00000180: REVERT
00000181: JUMPDEST
00000182: POP
00000183: PUSH2 0x01d7
00000186: PUSH2 0x0190
00000189: CALLDATASIZE
0000018a: PUSH1 0x04
0000018c: PUSH2 0x1b40
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000001b2: AND
000001b3: PUSH32 0x5f106df500000000000000000000000000000000000000000000000000000000
000001d4: EQ
000001d5: SWAP1
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: SWAP1
000001dc: ISZERO
000001dd: ISZERO
000001de: DUP2
000001df: MSTORE
000001e0: PUSH1 0x20
000001e2: ADD
000001e3: PUSH2 0x016c
000001e6: JUMP
000001e7: JUMPDEST
000001e8: CALLVALUE
000001e9: DUP1
000001ea: ISZERO
000001eb: PUSH2 0x01f3
000001ee: JUMPI
000001ef: PUSH1 0x00
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: POP
000001f5: PUSH2 0x021d
000001f8: PUSH2 0x0202
000001fb: CALLDATASIZE
000001fc: PUSH1 0x04
000001fe: PUSH2 0x1abd
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x01
00000205: PUSH1 0x01
00000207: PUSH1 0xa0
00000209: SHL
0000020a: SUB
0000020b: AND
0000020c: PUSH1 0x00
0000020e: SWAP1
0000020f: DUP2
00000210: MSTORE
00000211: PUSH1 0x33
00000213: PUSH1 0x20
00000215: MSTORE
00000216: PUSH1 0x40
00000218: SWAP1
00000219: KECCAK256
0000021a: SLOAD
0000021b: SWAP1
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: SWAP1
00000222: DUP2
00000223: MSTORE
00000224: PUSH1 0x20
00000226: ADD
00000227: PUSH2 0x016c
0000022a: JUMP
0000022b: JUMPDEST
0000022c: CALLVALUE
0000022d: DUP1
0000022e: ISZERO
0000022f: PUSH2 0x0237
00000232: JUMPI
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: POP
00000239: PUSH2 0x021d
0000023c: PUSH2 0x0246
0000023f: CALLDATASIZE
00000240: PUSH1 0x04
00000242: PUSH2 0x1abd
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH2 0x0884
0000024a: JUMP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x021d
0000025c: PUSH2 0x0266
0000025f: CALLDATASIZE
00000260: PUSH1 0x04
00000262: PUSH2 0x1abd
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH2 0x08b1
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: DUP1
0000026e: ISZERO
0000026f: PUSH2 0x0277
00000272: JUMPI
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: POP
00000279: PUSH2 0x021d
0000027c: PUSH2 0x0286
0000027f: CALLDATASIZE
00000280: PUSH1 0x04
00000282: PUSH2 0x1abd
00000285: JUMP
00000286: JUMPDEST
00000287: PUSH1 0x01
00000289: PUSH1 0x01
0000028b: PUSH1 0xa0
0000028d: SHL
0000028e: SUB
0000028f: AND
00000290: PUSH1 0x00
00000292: SWAP1
00000293: DUP2
00000294: MSTORE
00000295: PUSH1 0x33
00000297: PUSH1 0x20
00000299: MSTORE
0000029a: PUSH1 0x40
0000029c: SWAP1
0000029d: KECCAK256
0000029e: PUSH1 0x03
000002a0: ADD
000002a1: SLOAD
000002a2: SWAP1
000002a3: JUMP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02c4
000002b5: PUSH2 0x02bf
000002b8: CALLDATASIZE
000002b9: PUSH1 0x04
000002bb: PUSH2 0x1af5
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH2 0x09e1
000002c3: JUMP
000002c4: JUMPDEST
000002c5: STOP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x0158
000002d7: PUSH2 0x02e1
000002da: CALLDATASIZE
000002db: PUSH1 0x04
000002dd: PUSH2 0x1b80
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH2 0x0d3d
000002e5: JUMP
000002e6: JUMPDEST
000002e7: CALLVALUE
000002e8: DUP1
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: POP
000002f4: PUSH2 0x0158
000002f7: PUSH2 0x0301
000002fa: CALLDATASIZE
000002fb: PUSH1 0x04
000002fd: PUSH2 0x1abd
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x01
00000304: PUSH1 0x01
00000306: PUSH1 0xa0
00000308: SHL
00000309: SUB
0000030a: SWAP1
0000030b: DUP2
0000030c: AND
0000030d: PUSH1 0x00
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x33
00000314: PUSH1 0x20
00000316: MSTORE
00000317: PUSH1 0x40
00000319: SWAP1
0000031a: KECCAK256
0000031b: PUSH1 0x05
0000031d: ADD
0000031e: SLOAD
0000031f: AND
00000320: SWAP1
00000321: JUMP
00000322: JUMPDEST
00000323: CALLVALUE
00000324: DUP1
00000325: ISZERO
00000326: PUSH2 0x032e
00000329: JUMPI
0000032a: PUSH1 0x00
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: POP
00000330: PUSH32 0x0000000000000000000000009502b37312243ff6e19f28b7c850467dbece0388
00000351: PUSH2 0x0158
00000354: JUMP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x0158
00000366: PUSH2 0x0370
00000369: CALLDATASIZE
0000036a: PUSH1 0x04
0000036c: PUSH2 0x1abd
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH1 0x01
00000373: PUSH1 0x01
00000375: PUSH1 0xa0
00000377: SHL
00000378: SUB
00000379: SWAP1
0000037a: DUP2
0000037b: AND
0000037c: PUSH1 0x00
0000037e: SWAP1
0000037f: DUP2
00000380: MSTORE
00000381: PUSH1 0x33
00000383: PUSH1 0x20
00000385: MSTORE
00000386: PUSH1 0x40
00000388: SWAP1
00000389: KECCAK256
0000038a: PUSH1 0x06
0000038c: ADD
0000038d: SLOAD
0000038e: AND
0000038f: SWAP1
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x03b1
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x1abd
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x0d98
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: PUSH2 0x016c
000003b8: SWAP2
000003b9: SWAP1
000003ba: PUSH2 0x1cc3
000003bd: JUMP
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x021d
000003cf: PUSH2 0x03d9
000003d2: CALLDATASIZE
000003d3: PUSH1 0x04
000003d5: PUSH2 0x1abd
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x01
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: SHL
000003e1: SUB
000003e2: AND
000003e3: PUSH1 0x00
000003e5: SWAP1
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x33
000003ea: PUSH1 0x20
000003ec: MSTORE
000003ed: PUSH1 0x40
000003ef: SWAP1
000003f0: KECCAK256
000003f1: PUSH1 0x04
000003f3: ADD
000003f4: SLOAD
000003f5: SWAP1
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH2 0x021d
000003fb: PUSH2 0x0405
000003fe: CALLDATASIZE
000003ff: PUSH1 0x04
00000401: PUSH2 0x1abd
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH2 0x0e47
00000409: JUMP
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: DUP1
0000040d: ISZERO
0000040e: PUSH2 0x0416
00000411: JUMPI
00000412: PUSH1 0x00
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: POP
00000418: PUSH2 0x021d
0000041b: PUSH2 0x0425
0000041e: CALLDATASIZE
0000041f: PUSH1 0x04
00000421: PUSH2 0x1abd
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH1 0x01
00000428: PUSH1 0x01
0000042a: PUSH1 0xa0
0000042c: SHL
0000042d: SUB
0000042e: AND
0000042f: PUSH1 0x00
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x33
00000436: PUSH1 0x20
00000438: MSTORE
00000439: PUSH1 0x40
0000043b: SWAP1
0000043c: KECCAK256
0000043d: PUSH1 0x01
0000043f: ADD
00000440: SLOAD
00000441: SWAP1
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x03b1
00000454: PUSH2 0x045e
00000457: CALLDATASIZE
00000458: PUSH1 0x04
0000045a: PUSH2 0x1abd
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x134b
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x021d
00000474: PUSH2 0x047e
00000477: CALLDATASIZE
00000478: PUSH1 0x04
0000047a: PUSH2 0x1abd
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH1 0x01
00000481: PUSH1 0x01
00000483: PUSH1 0xa0
00000485: SHL
00000486: SUB
00000487: AND
00000488: PUSH1 0x00
0000048a: SWAP1
0000048b: DUP2
0000048c: MSTORE
0000048d: PUSH1 0x34
0000048f: PUSH1 0x20
00000491: MSTORE
00000492: PUSH1 0x40
00000494: SWAP1
00000495: KECCAK256
00000496: SLOAD
00000497: SWAP1
00000498: JUMP
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 0x021d
000004aa: PUSH2 0x04b4
000004ad: CALLDATASIZE
000004ae: PUSH1 0x04
000004b0: PUSH2 0x1abd
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x1375
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x00
000004bc: PUSH1 0x02
000004be: PUSH1 0x01
000004c0: SLOAD
000004c1: EQ
000004c2: ISZERO
000004c3: PUSH2 0x0513
000004c6: JUMPI
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: PUSH3 0x461bcd
000004ce: PUSH1 0xe5
000004d0: SHL
000004d1: DUP2
000004d2: MSTORE
000004d3: PUSH1 0x20
000004d5: PUSH1 0x04
000004d7: DUP3
000004d8: ADD
000004d9: MSTORE
000004da: PUSH1 0x1f
000004dc: PUSH1 0x24
000004de: DUP3
000004df: ADD
000004e0: MSTORE
000004e1: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000502: PUSH1 0x44
00000504: DUP3
00000505: ADD
00000506: MSTORE
00000507: PUSH1 0x64
00000509: ADD
0000050a: JUMPDEST
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: DUP1
0000050f: SWAP2
00000510: SUB
00000511: SWAP1
00000512: REVERT
00000513: JUMPDEST
00000514: PUSH1 0x02
00000516: PUSH1 0x01
00000518: SSTORE
00000519: PUSH2 0x2710
0000051c: PUSH2 0x0525
0000051f: DUP11
00000520: DUP11
00000521: PUSH2 0x141c
00000524: JUMP
00000525: JUMPDEST
00000526: GT
00000527: ISZERO
00000528: PUSH2 0x05bf
0000052b: JUMPI
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: PUSH3 0x461bcd
00000533: PUSH1 0xe5
00000535: SHL
00000536: DUP2
00000537: MSTORE
00000538: PUSH1 0x20
0000053a: PUSH1 0x04
0000053c: DUP3
0000053d: ADD
0000053e: MSTORE
0000053f: PUSH1 0x60
00000541: PUSH1 0x24
00000543: DUP3
00000544: ADD
00000545: MSTORE
00000546: PUSH32 0x4d41524b45543a2063726561746f7220726f79616c747920626173697320706f
00000567: PUSH1 0x44
00000569: DUP3
0000056a: ADD
0000056b: MSTORE
0000056c: PUSH32 0x696e7473206d757374206265206c657373207468616e206f7220657175616c20
0000058d: PUSH1 0x64
0000058f: DUP3
00000590: ADD
00000591: MSTORE
00000592: PUSH32 0x746f20636f6e747261637420626173697320706f696e74732028313030303029
000005b3: PUSH1 0x84
000005b5: DUP3
000005b6: ADD
000005b7: MSTORE
000005b8: PUSH1 0xa4
000005ba: ADD
000005bb: PUSH2 0x050a
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH1 0x01
000005c2: PUSH1 0x01
000005c4: PUSH1 0xa0
000005c6: SHL
000005c7: SUB
000005c8: DUP8
000005c9: AND
000005ca: PUSH2 0x063b
000005cd: JUMPI
000005ce: PUSH1 0x40
000005d0: MLOAD
000005d1: PUSH3 0x461bcd
000005d5: PUSH1 0xe5
000005d7: SHL
000005d8: DUP2
000005d9: MSTORE
000005da: PUSH1 0x20
000005dc: PUSH1 0x04
000005de: DUP3
000005df: ADD
000005e0: MSTORE
000005e1: PUSH1 0x36
000005e3: PUSH1 0x24
000005e5: DUP3
000005e6: ADD
000005e7: MSTORE
000005e8: PUSH32 0x4d41524b45543a206d6564696120726f79616c747920726563697069656e7420
00000609: PUSH1 0x44
0000060b: DUP3
0000060c: ADD
0000060d: MSTORE
0000060e: PUSH32 0x63616e6e6f74206265207a65726f206164647265737300000000000000000000
0000062f: PUSH1 0x64
00000631: DUP3
00000632: ADD
00000633: MSTORE
00000634: PUSH1 0x84
00000636: ADD
00000637: PUSH2 0x050a
0000063a: JUMP
0000063b: JUMPDEST
0000063c: DUP8
0000063d: ISZERO
0000063e: PUSH2 0x06bd
00000641: JUMPI
00000642: PUSH1 0x01
00000644: PUSH1 0x01
00000646: PUSH1 0xa0
00000648: SHL
00000649: SUB
0000064a: DUP7
0000064b: AND
0000064c: PUSH2 0x06bd
0000064f: JUMPI
00000650: PUSH1 0x40
00000652: MLOAD
00000653: PUSH3 0x461bcd
00000657: PUSH1 0xe5
00000659: SHL
0000065a: DUP2
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: PUSH1 0x04
00000660: DUP3
00000661: ADD
00000662: MSTORE
00000663: PUSH1 0x3e
00000665: PUSH1 0x24
00000667: DUP3
00000668: ADD
00000669: MSTORE
0000066a: PUSH32 0x4d41524b45543a20706c6174666f726d20726f79616c74792063616e6e6f7420
0000068b: PUSH1 0x44
0000068d: DUP3
0000068e: ADD
0000068f: MSTORE
00000690: PUSH32 0x73656e6420726f79616c7469657320746f207a65726f20616464726573730000
000006b1: PUSH1 0x64
000006b3: DUP3
000006b4: ADD
000006b5: MSTORE
000006b6: PUSH1 0x84
000006b8: ADD
000006b9: PUSH2 0x050a
000006bc: JUMP
000006bd: JUMPDEST
000006be: PUSH1 0x00
000006c0: PUSH2 0x0711
000006c3: PUSH32 0x0000000000000000000000009502b37312243ff6e19f28b7c850467dbece0388
000006e4: DUP8
000006e5: DUP8
000006e6: PUSH1 0x40
000006e8: MLOAD
000006e9: PUSH1 0x20
000006eb: ADD
000006ec: PUSH2 0x06f6
000006ef: SWAP3
000006f0: SWAP2
000006f1: SWAP1
000006f2: PUSH2 0x1c94
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: PUSH1 0x20
000006fc: DUP2
000006fd: DUP4
000006fe: SUB
000006ff: SUB
00000700: DUP2
00000701: MSTORE
00000702: SWAP1
00000703: PUSH1 0x40
00000705: MSTORE
00000706: DUP1
00000707: MLOAD
00000708: SWAP1
00000709: PUSH1 0x20
0000070b: ADD
0000070c: KECCAK256
0000070d: PUSH2 0x1428
00000710: JUMP
00000711: JUMPDEST
00000712: SWAP1
00000713: POP
00000714: DUP1
00000715: PUSH1 0x01
00000717: PUSH1 0x01
00000719: PUSH1 0xa0
0000071b: SHL
0000071c: SUB
0000071d: AND
0000071e: PUSH4 0x8129fc1c
00000723: PUSH1 0x40
00000725: MLOAD
00000726: DUP2
00000727: PUSH4 0xffffffff
0000072c: AND
0000072d: PUSH1 0xe0
0000072f: SHL
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x04
00000734: ADD
00000735: PUSH1 0x00
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: DUP1
0000073b: DUP4
0000073c: SUB
0000073d: DUP2
0000073e: PUSH1 0x00
00000740: DUP8
00000741: DUP1
00000742: EXTCODESIZE
00000743: ISZERO
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: GAS
00000751: CALL
00000752: ISZERO
00000753: DUP1
00000754: ISZERO
00000755: PUSH2 0x0762
00000758: JUMPI
00000759: RETURNDATASIZE
0000075a: PUSH1 0x00
0000075c: DUP1
0000075d: RETURNDATACOPY
0000075e: RETURNDATASIZE
0000075f: PUSH1 0x00
00000761: REVERT
00000762: JUMPDEST
00000763: POP
00000764: POP
00000765: POP
00000766: POP
00000767: PUSH1 0x01
00000769: PUSH1 0x01
0000076b: PUSH1 0xa0
0000076d: SHL
0000076e: SUB
0000076f: DUP2
00000770: DUP2
00000771: AND
00000772: PUSH1 0x00
00000774: SWAP1
00000775: DUP2
00000776: MSTORE
00000777: PUSH1 0x33
00000779: PUSH1 0x20
0000077b: MSTORE
0000077c: PUSH1 0x40
0000077e: SWAP1
0000077f: KECCAK256
00000780: DUP14
00000781: DUP2
00000782: SSTORE
00000783: PUSH1 0x01
00000785: DUP2
00000786: ADD
00000787: DUP14
00000788: SWAP1
00000789: SSTORE
0000078a: PUSH1 0x03
0000078c: DUP2
0000078d: ADD
0000078e: DUP13
0000078f: SWAP1
00000790: SSTORE
00000791: PUSH1 0x04
00000793: DUP2
00000794: ADD
00000795: DUP12
00000796: SWAP1
00000797: SSTORE
00000798: PUSH1 0x05
0000079a: DUP2
0000079b: ADD
0000079c: DUP1
0000079d: SLOAD
0000079e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000007bf: SWAP1
000007c0: DUP2
000007c1: AND
000007c2: DUP13
000007c3: DUP6
000007c4: AND
000007c5: OR
000007c6: SWAP1
000007c7: SWAP2
000007c8: SSTORE
000007c9: PUSH1 0x06
000007cb: DUP3
000007cc: ADD
000007cd: DUP1
000007ce: SLOAD
000007cf: SWAP1
000007d0: SWAP2
000007d1: AND
000007d2: SWAP3
000007d3: DUP11
000007d4: AND
000007d5: SWAP3
000007d6: SWAP1
000007d7: SWAP3
000007d8: OR
000007d9: SWAP1
000007da: SWAP2
000007db: SSTORE
000007dc: PUSH2 0x07e9
000007df: SWAP1
000007e0: PUSH1 0x07
000007e2: ADD
000007e3: DUP8
000007e4: DUP8
000007e5: PUSH2 0x19bf
000007e8: JUMP
000007e9: JUMPDEST
000007ea: POP
000007eb: PUSH1 0x01
000007ed: PUSH1 0x01
000007ef: PUSH1 0xa0
000007f1: SHL
000007f2: SUB
000007f3: DUP2
000007f4: AND
000007f5: PUSH1 0x00
000007f7: SWAP1
000007f8: DUP2
000007f9: MSTORE
000007fa: PUSH1 0x33
000007fc: PUSH1 0x20
000007fe: MSTORE
000007ff: PUSH1 0x40
00000801: SWAP1
00000802: KECCAK256
00000803: PUSH2 0x0810
00000806: SWAP1
00000807: PUSH1 0x08
00000809: ADD
0000080a: DUP6
0000080b: DUP6
0000080c: PUSH2 0x19bf
0000080f: JUMP
00000810: JUMPDEST
00000811: POP
00000812: DUP7
00000813: PUSH1 0x01
00000815: PUSH1 0x01
00000817: PUSH1 0xa0
00000819: SHL
0000081a: SUB
0000081b: AND
0000081c: DUP9
0000081d: PUSH1 0x01
0000081f: PUSH1 0x01
00000821: PUSH1 0xa0
00000823: SHL
00000824: SUB
00000825: AND
00000826: DUP3
00000827: PUSH1 0x01
00000829: PUSH1 0x01
0000082b: PUSH1 0xa0
0000082d: SHL
0000082e: SUB
0000082f: AND
00000830: PUSH32 0x2cccb0d365f6a7fa75016597f3b2dca417cf89ace72bd9d069e183c23f84de8f
00000851: DUP16
00000852: DUP16
00000853: PUSH1 0x40
00000855: MLOAD
00000856: PUSH2 0x0869
00000859: SWAP3
0000085a: SWAP2
0000085b: SWAP1
0000085c: SWAP2
0000085d: DUP3
0000085e: MSTORE
0000085f: PUSH1 0x20
00000861: DUP3
00000862: ADD
00000863: MSTORE
00000864: PUSH1 0x40
00000866: ADD
00000867: SWAP1
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH1 0x40
0000086c: MLOAD
0000086d: DUP1
0000086e: SWAP2
0000086f: SUB
00000870: SWAP1
00000871: LOG4
00000872: PUSH1 0x01
00000874: DUP1
00000875: SSTORE
00000876: SWAP12
00000877: SWAP11
00000878: POP
00000879: POP
0000087a: POP
0000087b: POP
0000087c: POP
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH1 0x01
00000887: PUSH1 0x01
00000889: PUSH1 0xa0
0000088b: SHL
0000088c: SUB
0000088d: DUP2
0000088e: AND
0000088f: PUSH1 0x00
00000891: SWAP1
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x33
00000896: PUSH1 0x20
00000898: MSTORE
00000899: PUSH1 0x40
0000089b: DUP2
0000089c: KECCAK256
0000089d: PUSH1 0x02
0000089f: ADD
000008a0: SLOAD
000008a1: PUSH2 0x08ab
000008a4: SWAP1
000008a5: DUP4
000008a6: SWAP1
000008a7: PUSH2 0x14df
000008aa: JUMP
000008ab: JUMPDEST
000008ac: SWAP3
000008ad: SWAP2
000008ae: POP
000008af: POP
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH1 0x00
000008b4: PUSH1 0x02
000008b6: PUSH1 0x01
000008b8: SLOAD
000008b9: EQ
000008ba: ISZERO
000008bb: PUSH2 0x0906
000008be: JUMPI
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: PUSH3 0x461bcd
000008c6: PUSH1 0xe5
000008c8: SHL
000008c9: DUP2
000008ca: MSTORE
000008cb: PUSH1 0x20
000008cd: PUSH1 0x04
000008cf: DUP3
000008d0: ADD
000008d1: MSTORE
000008d2: PUSH1 0x1f
000008d4: PUSH1 0x24
000008d6: DUP3
000008d7: ADD
000008d8: MSTORE
000008d9: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000008fa: PUSH1 0x44
000008fc: DUP3
000008fd: ADD
000008fe: MSTORE
000008ff: PUSH1 0x64
00000901: ADD
00000902: PUSH2 0x050a
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x02
00000909: PUSH1 0x01
0000090b: SSTORE
0000090c: PUSH1 0x01
0000090e: PUSH1 0x01
00000910: PUSH1 0xa0
00000912: SHL
00000913: SUB
00000914: DUP3
00000915: AND
00000916: PUSH1 0x00
00000918: SWAP1
00000919: DUP2
0000091a: MSTORE
0000091b: PUSH1 0x34
0000091d: PUSH1 0x20
0000091f: MSTORE
00000920: PUSH1 0x40
00000922: SWAP1
00000923: KECCAK256
00000924: SLOAD
00000925: DUP1
00000926: PUSH2 0x0971
00000929: JUMPI
0000092a: PUSH1 0x40
0000092c: MLOAD
0000092d: PUSH3 0x461bcd
00000931: PUSH1 0xe5
00000933: SHL
00000934: DUP2
00000935: MSTORE
00000936: PUSH1 0x20
00000938: PUSH1 0x04
0000093a: DUP3
0000093b: ADD
0000093c: MSTORE
0000093d: PUSH1 0x1c
0000093f: PUSH1 0x24
00000941: DUP3
00000942: ADD
00000943: MSTORE
00000944: PUSH32 0x4d41524b45543a206e6f2066756e647320746f20776974686472617700000000
00000965: PUSH1 0x44
00000967: DUP3
00000968: ADD
00000969: MSTORE
0000096a: PUSH1 0x64
0000096c: ADD
0000096d: PUSH2 0x050a
00000970: JUMP
00000971: JUMPDEST
00000972: PUSH1 0x01
00000974: PUSH1 0x01
00000976: PUSH1 0xa0
00000978: SHL
00000979: SUB
0000097a: DUP4
0000097b: AND
0000097c: PUSH1 0x00
0000097e: DUP2
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x34
00000983: PUSH1 0x20
00000985: MSTORE
00000986: PUSH1 0x40
00000988: DUP2
00000989: KECCAK256
0000098a: SSTORE
0000098b: PUSH2 0x0994
0000098e: SWAP1
0000098f: DUP3
00000990: PUSH2 0x151b
00000993: JUMP
00000994: JUMPDEST
00000995: DUP3
00000996: PUSH1 0x01
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: SHL
0000099d: SUB
0000099e: AND
0000099f: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364
000009c0: DUP3
000009c1: PUSH1 0x40
000009c3: MLOAD
000009c4: PUSH2 0x09cf
000009c7: SWAP2
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x20
000009cc: ADD
000009cd: SWAP1
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: DUP1
000009d4: SWAP2
000009d5: SUB
000009d6: SWAP1
000009d7: LOG2
000009d8: PUSH1 0x01
000009da: DUP1
000009db: SSTORE
000009dc: SWAP3
000009dd: SWAP2
000009de: POP
000009df: POP
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x02
000009e4: PUSH1 0x01
000009e6: SLOAD
000009e7: EQ
000009e8: ISZERO
000009e9: PUSH2 0x0a34
000009ec: JUMPI
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: PUSH3 0x461bcd
000009f4: PUSH1 0xe5
000009f6: SHL
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x20
000009fb: PUSH1 0x04
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH1 0x1f
00000a02: PUSH1 0x24
00000a04: DUP3
00000a05: ADD
00000a06: MSTORE
00000a07: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000a28: PUSH1 0x44
00000a2a: DUP3
00000a2b: ADD
00000a2c: MSTORE
00000a2d: PUSH1 0x64
00000a2f: ADD
00000a30: PUSH2 0x050a
00000a33: JUMP
00000a34: JUMPDEST
00000a35: PUSH1 0x02
00000a37: PUSH1 0x01
00000a39: SSTORE
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0x01
00000a3e: PUSH1 0xa0
00000a40: SHL
00000a41: SUB
00000a42: DUP3
00000a43: DUP2
00000a44: AND
00000a45: PUSH1 0x00
00000a47: SWAP1
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x33
00000a4c: PUSH1 0x20
00000a4e: MSTORE
00000a4f: PUSH1 0x40
00000a51: SWAP1
00000a52: KECCAK256
00000a53: PUSH1 0x05
00000a55: ADD
00000a56: SLOAD
00000a57: AND
00000a58: PUSH2 0x0aa3
00000a5b: JUMPI
00000a5c: PUSH1 0x40
00000a5e: MLOAD
00000a5f: PUSH3 0x461bcd
00000a63: PUSH1 0xe5
00000a65: SHL
00000a66: DUP2
00000a67: MSTORE
00000a68: PUSH1 0x20
00000a6a: PUSH1 0x04
00000a6c: DUP3
00000a6d: ADD
00000a6e: MSTORE
00000a6f: PUSH1 0x1f
00000a71: PUSH1 0x24
00000a73: DUP3
00000a74: ADD
00000a75: MSTORE
00000a76: PUSH32 0x4d41524b45543a206d65646961206973206e6f74207265676973746572656400
00000a97: PUSH1 0x44
00000a99: DUP3
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x64
00000a9e: ADD
00000a9f: PUSH2 0x050a
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH2 0x0aae
00000aa7: DUP3
00000aa8: CALLER
00000aa9: DUP4
00000aaa: PUSH2 0x1639
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: PUSH2 0x0b20
00000ab2: JUMPI
00000ab3: PUSH1 0x40
00000ab5: MLOAD
00000ab6: PUSH3 0x461bcd
00000aba: PUSH1 0xe5
00000abc: SHL
00000abd: DUP2
00000abe: MSTORE
00000abf: PUSH1 0x20
00000ac1: PUSH1 0x04
00000ac3: DUP3
00000ac4: ADD
00000ac5: MSTORE
00000ac6: PUSH1 0x31
00000ac8: PUSH1 0x24
00000aca: DUP3
00000acb: ADD
00000acc: MSTORE
00000acd: PUSH32 0x4d41524b45543a207472616e736665722063616c6c6572206973206e6f74206f
00000aee: PUSH1 0x44
00000af0: DUP3
00000af1: ADD
00000af2: MSTORE
00000af3: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00000b14: PUSH1 0x64
00000b16: DUP3
00000b17: ADD
00000b18: MSTORE
00000b19: PUSH1 0x84
00000b1b: ADD
00000b1c: PUSH2 0x050a
00000b1f: JUMP
00000b20: JUMPDEST
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: PUSH32 0xfcd393b900000000000000000000000000000000000000000000000000000000
00000b45: DUP2
00000b46: MSTORE
00000b47: PUSH1 0x01
00000b49: PUSH1 0x01
00000b4b: PUSH1 0xa0
00000b4d: SHL
00000b4e: SUB
00000b4f: DUP4
00000b50: AND
00000b51: PUSH1 0x04
00000b53: DUP3
00000b54: ADD
00000b55: MSTORE
00000b56: PUSH1 0x00
00000b58: SWAP1
00000b59: ADDRESS
00000b5a: SWAP1
00000b5b: PUSH4 0xfcd393b9
00000b60: SWAP1
00000b61: PUSH1 0x24
00000b63: ADD
00000b64: PUSH1 0x20
00000b66: PUSH1 0x40
00000b68: MLOAD
00000b69: DUP1
00000b6a: DUP4
00000b6b: SUB
00000b6c: DUP2
00000b6d: DUP7
00000b6e: DUP1
00000b6f: EXTCODESIZE
00000b70: ISZERO
00000b71: DUP1
00000b72: ISZERO
00000b73: PUSH2 0x0b7b
00000b76: JUMPI
00000b77: PUSH1 0x00
00000b79: DUP1
00000b7a: REVERT
00000b7b: JUMPDEST
00000b7c: POP
00000b7d: GAS
00000b7e: STATICCALL
00000b7f: ISZERO
00000b80: DUP1
00000b81: ISZERO
00000b82: PUSH2 0x0b8f
00000b85: JUMPI
00000b86: RETURNDATASIZE
00000b87: PUSH1 0x00
00000b89: DUP1
00000b8a: RETURNDATACOPY
00000b8b: RETURNDATASIZE
00000b8c: PUSH1 0x00
00000b8e: REVERT
00000b8f: JUMPDEST
00000b90: POP
00000b91: POP
00000b92: POP
00000b93: POP
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: RETURNDATASIZE
00000b98: PUSH1 0x1f
00000b9a: NOT
00000b9b: PUSH1 0x1f
00000b9d: DUP3
00000b9e: ADD
00000b9f: AND
00000ba0: DUP3
00000ba1: ADD
00000ba2: DUP1
00000ba3: PUSH1 0x40
00000ba5: MSTORE
00000ba6: POP
00000ba7: DUP2
00000ba8: ADD
00000ba9: SWAP1
00000baa: PUSH2 0x0bb3
00000bad: SWAP2
00000bae: SWAP1
00000baf: PUSH2 0x1bc0
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0xa0
00000bba: SHL
00000bbb: SUB
00000bbc: DUP5
00000bbd: AND
00000bbe: PUSH1 0x00
00000bc0: SWAP1
00000bc1: DUP2
00000bc2: MSTORE
00000bc3: PUSH1 0x33
00000bc5: PUSH1 0x20
00000bc7: MSTORE
00000bc8: PUSH1 0x40
00000bca: DUP2
00000bcb: KECCAK256
00000bcc: PUSH1 0x02
00000bce: ADD
00000bcf: DUP1
00000bd0: SLOAD
00000bd1: SWAP3
00000bd2: SWAP4
00000bd3: POP
00000bd4: SWAP1
00000bd5: PUSH2 0x0bdd
00000bd8: DUP4
00000bd9: PUSH2 0x1d84
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: SWAP1
00000bdf: SWAP2
00000be0: SSTORE
00000be1: POP
00000be2: POP
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: PUSH4 0x31a9108f
00000beb: PUSH1 0xe1
00000bed: SHL
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x04
00000bf2: DUP2
00000bf3: ADD
00000bf4: DUP4
00000bf5: SWAP1
00000bf6: MSTORE
00000bf7: PUSH1 0x00
00000bf9: SWAP1
00000bfa: PUSH1 0x01
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0xa0
00000c00: SHL
00000c01: SUB
00000c02: DUP6
00000c03: AND
00000c04: SWAP1
00000c05: PUSH4 0x6352211e
00000c0a: SWAP1
00000c0b: PUSH1 0x24
00000c0d: ADD
00000c0e: PUSH1 0x20
00000c10: PUSH1 0x40
00000c12: MLOAD
00000c13: DUP1
00000c14: DUP4
00000c15: SUB
00000c16: DUP2
00000c17: DUP7
00000c18: DUP1
00000c19: EXTCODESIZE
00000c1a: ISZERO
00000c1b: DUP1
00000c1c: ISZERO
00000c1d: PUSH2 0x0c25
00000c20: JUMPI
00000c21: PUSH1 0x00
00000c23: DUP1
00000c24: REVERT
00000c25: JUMPDEST
00000c26: POP
00000c27: GAS
00000c28: STATICCALL
00000c29: ISZERO
00000c2a: DUP1
00000c2b: ISZERO
00000c2c: PUSH2 0x0c39
00000c2f: JUMPI
00000c30: RETURNDATASIZE
00000c31: PUSH1 0x00
00000c33: DUP1
00000c34: RETURNDATACOPY
00000c35: RETURNDATASIZE
00000c36: PUSH1 0x00
00000c38: REVERT
00000c39: JUMPDEST
00000c3a: POP
00000c3b: POP
00000c3c: POP
00000c3d: POP
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: RETURNDATASIZE
00000c42: PUSH1 0x1f
00000c44: NOT
00000c45: PUSH1 0x1f
00000c47: DUP3
00000c48: ADD
00000c49: AND
00000c4a: DUP3
00000c4b: ADD
00000c4c: DUP1
00000c4d: PUSH1 0x40
00000c4f: MSTORE
00000c50: POP
00000c51: DUP2
00000c52: ADD
00000c53: SWAP1
00000c54: PUSH2 0x0c5d
00000c57: SWAP2
00000c58: SWAP1
00000c59: PUSH2 0x1ad9
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: SWAP1
00000c5f: POP
00000c60: PUSH2 0x0c72
00000c63: PUSH1 0x01
00000c65: PUSH1 0x01
00000c67: PUSH1 0xa0
00000c69: SHL
00000c6a: SUB
00000c6b: DUP3
00000c6c: AND
00000c6d: DUP4
00000c6e: PUSH2 0x151b
00000c71: JUMP
00000c72: JUMPDEST
00000c73: PUSH1 0x40
00000c75: MLOAD
00000c76: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x04
00000c9b: DUP2
00000c9c: ADD
00000c9d: DUP5
00000c9e: SWAP1
00000c9f: MSTORE
00000ca0: PUSH1 0x01
00000ca2: PUSH1 0x01
00000ca4: PUSH1 0xa0
00000ca6: SHL
00000ca7: SUB
00000ca8: DUP6
00000ca9: AND
00000caa: SWAP1
00000cab: PUSH4 0x42966c68
00000cb0: SWAP1
00000cb1: PUSH1 0x24
00000cb3: ADD
00000cb4: PUSH1 0x00
00000cb6: PUSH1 0x40
00000cb8: MLOAD
00000cb9: DUP1
00000cba: DUP4
00000cbb: SUB
00000cbc: DUP2
00000cbd: PUSH1 0x00
00000cbf: DUP8
00000cc0: DUP1
00000cc1: EXTCODESIZE
00000cc2: ISZERO
00000cc3: DUP1
00000cc4: ISZERO
00000cc5: PUSH2 0x0ccd
00000cc8: JUMPI
00000cc9: PUSH1 0x00
00000ccb: DUP1
00000ccc: REVERT
00000ccd: JUMPDEST
00000cce: POP
00000ccf: GAS
00000cd0: CALL
00000cd1: ISZERO
00000cd2: DUP1
00000cd3: ISZERO
00000cd4: PUSH2 0x0ce1
00000cd7: JUMPI
00000cd8: RETURNDATASIZE
00000cd9: PUSH1 0x00
00000cdb: DUP1
00000cdc: RETURNDATACOPY
00000cdd: RETURNDATASIZE
00000cde: PUSH1 0x00
00000ce0: REVERT
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: POP
00000ce4: POP
00000ce5: POP
00000ce6: DUP3
00000ce7: CALLER
00000ce8: PUSH1 0x01
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: SHL
00000cef: SUB
00000cf0: AND
00000cf1: DUP6
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0x01
00000cf6: PUSH1 0xa0
00000cf8: SHL
00000cf9: SUB
00000cfa: AND
00000cfb: PUSH32 0xa082022e93cfcd9f1da5f9236718053910f7e840da080c789c7845698dc032ff
00000d1c: DUP6
00000d1d: PUSH1 0x40
00000d1f: MLOAD
00000d20: PUSH2 0x0d2b
00000d23: SWAP2
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x20
00000d28: ADD
00000d29: SWAP1
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: DUP1
00000d30: SWAP2
00000d31: SUB
00000d32: SWAP1
00000d33: LOG4
00000d34: POP
00000d35: POP
00000d36: PUSH1 0x01
00000d38: DUP1
00000d39: SSTORE
00000d3a: POP
00000d3b: POP
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x00
00000d40: PUSH2 0x0d91
00000d43: PUSH32 0x0000000000000000000000009502b37312243ff6e19f28b7c850467dbece0388
00000d64: DUP5
00000d65: DUP5
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: PUSH1 0x20
00000d6b: ADD
00000d6c: PUSH2 0x0d76
00000d6f: SWAP3
00000d70: SWAP2
00000d71: SWAP1
00000d72: PUSH2 0x1c94
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: PUSH1 0x20
00000d7c: DUP2
00000d7d: DUP4
00000d7e: SUB
00000d7f: SUB
00000d80: DUP2
00000d81: MSTORE
00000d82: SWAP1
00000d83: PUSH1 0x40
00000d85: MSTORE
00000d86: DUP1
00000d87: MLOAD
00000d88: SWAP1
00000d89: PUSH1 0x20
00000d8b: ADD
00000d8c: KECCAK256
00000d8d: PUSH2 0x1890
00000d90: JUMP
00000d91: JUMPDEST
00000d92: SWAP4
00000d93: SWAP3
00000d94: POP
00000d95: POP
00000d96: POP
00000d97: JUMP
00000d98: JUMPDEST
00000d99: PUSH1 0x01
00000d9b: PUSH1 0x01
00000d9d: PUSH1 0xa0
00000d9f: SHL
00000da0: SUB
00000da1: DUP2
00000da2: AND
00000da3: PUSH1 0x00
00000da5: SWAP1
00000da6: DUP2
00000da7: MSTORE
00000da8: PUSH1 0x33
00000daa: PUSH1 0x20
00000dac: MSTORE
00000dad: PUSH1 0x40
00000daf: SWAP1
00000db0: KECCAK256
00000db1: PUSH1 0x07
00000db3: ADD
00000db4: DUP1
00000db5: SLOAD
00000db6: PUSH1 0x60
00000db8: SWAP2
00000db9: SWAP1
00000dba: PUSH2 0x0dc2
00000dbd: SWAP1
00000dbe: PUSH2 0x1d9b
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: DUP1
00000dc4: PUSH1 0x1f
00000dc6: ADD
00000dc7: PUSH1 0x20
00000dc9: DUP1
00000dca: SWAP2
00000dcb: DIV
00000dcc: MUL
00000dcd: PUSH1 0x20
00000dcf: ADD
00000dd0: PUSH1 0x40
00000dd2: MLOAD
00000dd3: SWAP1
00000dd4: DUP2
00000dd5: ADD
00000dd6: PUSH1 0x40
00000dd8: MSTORE
00000dd9: DUP1
00000dda: SWAP3
00000ddb: SWAP2
00000ddc: SWAP1
00000ddd: DUP2
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x20
00000de2: ADD
00000de3: DUP3
00000de4: DUP1
00000de5: SLOAD
00000de6: PUSH2 0x0dee
00000de9: SWAP1
00000dea: PUSH2 0x1d9b
00000ded: JUMP
00000dee: JUMPDEST
00000def: DUP1
00000df0: ISZERO
00000df1: PUSH2 0x0e3b
00000df4: JUMPI
00000df5: DUP1
00000df6: PUSH1 0x1f
00000df8: LT
00000df9: PUSH2 0x0e10
00000dfc: JUMPI
00000dfd: PUSH2 0x0100
00000e00: DUP1
00000e01: DUP4
00000e02: SLOAD
00000e03: DIV
00000e04: MUL
00000e05: DUP4
00000e06: MSTORE
00000e07: SWAP2
00000e08: PUSH1 0x20
00000e0a: ADD
00000e0b: SWAP2
00000e0c: PUSH2 0x0e3b
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: DUP3
00000e12: ADD
00000e13: SWAP2
00000e14: SWAP1
00000e15: PUSH1 0x00
00000e17: MSTORE
00000e18: PUSH1 0x20
00000e1a: PUSH1 0x00
00000e1c: KECCAK256
00000e1d: SWAP1
00000e1e: JUMPDEST
00000e1f: DUP2
00000e20: SLOAD
00000e21: DUP2
00000e22: MSTORE
00000e23: SWAP1
00000e24: PUSH1 0x01
00000e26: ADD
00000e27: SWAP1
00000e28: PUSH1 0x20
00000e2a: ADD
00000e2b: DUP1
00000e2c: DUP4
00000e2d: GT
00000e2e: PUSH2 0x0e1e
00000e31: JUMPI
00000e32: DUP3
00000e33: SWAP1
00000e34: SUB
00000e35: PUSH1 0x1f
00000e37: AND
00000e38: DUP3
00000e39: ADD
00000e3a: SWAP2
00000e3b: JUMPDEST
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: SWAP1
00000e42: POP
00000e43: SWAP2
00000e44: SWAP1
00000e45: POP
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH1 0x00
00000e4a: PUSH1 0x02
00000e4c: PUSH1 0x01
00000e4e: SLOAD
00000e4f: EQ
00000e50: ISZERO
00000e51: PUSH2 0x0e9c
00000e54: JUMPI
00000e55: PUSH1 0x40
00000e57: MLOAD
00000e58: PUSH3 0x461bcd
00000e5c: PUSH1 0xe5
00000e5e: SHL
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: PUSH1 0x04
00000e65: DUP3
00000e66: ADD
00000e67: MSTORE
00000e68: PUSH1 0x1f
00000e6a: PUSH1 0x24
00000e6c: DUP3
00000e6d: ADD
00000e6e: MSTORE
00000e6f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000e90: PUSH1 0x44
00000e92: DUP3
00000e93: ADD
00000e94: MSTORE
00000e95: PUSH1 0x64
00000e97: ADD
00000e98: PUSH2 0x050a
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x02
00000e9f: PUSH1 0x01
00000ea1: SSTORE
00000ea2: PUSH1 0x01
00000ea4: PUSH1 0x01
00000ea6: PUSH1 0xa0
00000ea8: SHL
00000ea9: SUB
00000eaa: DUP3
00000eab: DUP2
00000eac: AND
00000ead: PUSH1 0x00
00000eaf: SWAP1
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x33
00000eb4: PUSH1 0x20
00000eb6: MSTORE
00000eb7: PUSH1 0x40
00000eb9: SWAP1
00000eba: KECCAK256
00000ebb: PUSH1 0x05
00000ebd: ADD
00000ebe: SLOAD
00000ebf: AND
00000ec0: PUSH2 0x0f0b
00000ec3: JUMPI
00000ec4: PUSH1 0x40
00000ec6: MLOAD
00000ec7: PUSH3 0x461bcd
00000ecb: PUSH1 0xe5
00000ecd: SHL
00000ece: DUP2
00000ecf: MSTORE
00000ed0: PUSH1 0x20
00000ed2: PUSH1 0x04
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH1 0x1f
00000ed9: PUSH1 0x24
00000edb: DUP3
00000edc: ADD
00000edd: MSTORE
00000ede: PUSH32 0x4d41524b45543a206d65646961206973206e6f74207265676973746572656400
00000eff: PUSH1 0x44
00000f01: DUP3
00000f02: ADD
00000f03: MSTORE
00000f04: PUSH1 0x64
00000f06: ADD
00000f07: PUSH2 0x050a
00000f0a: JUMP
00000f0b: JUMPDEST
00000f0c: PUSH1 0x40
00000f0e: MLOAD
00000f0f: PUSH32 0x0f97b58d00000000000000000000000000000000000000000000000000000000
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x01
00000f34: PUSH1 0x01
00000f36: PUSH1 0xa0
00000f38: SHL
00000f39: SUB
00000f3a: DUP4
00000f3b: AND
00000f3c: PUSH1 0x04
00000f3e: DUP3
00000f3f: ADD
00000f40: MSTORE
00000f41: PUSH1 0x00
00000f43: SWAP1
00000f44: ADDRESS
00000f45: SWAP1
00000f46: PUSH4 0x0f97b58d
00000f4b: SWAP1
00000f4c: PUSH1 0x24
00000f4e: ADD
00000f4f: PUSH1 0x20
00000f51: PUSH1 0x40
00000f53: MLOAD
00000f54: DUP1
00000f55: DUP4
00000f56: SUB
00000f57: DUP2
00000f58: DUP7
00000f59: DUP1
00000f5a: EXTCODESIZE
00000f5b: ISZERO
00000f5c: DUP1
00000f5d: ISZERO
00000f5e: PUSH2 0x0f66
00000f61: JUMPI
00000f62: PUSH1 0x00
00000f64: DUP1
00000f65: REVERT
00000f66: JUMPDEST
00000f67: POP
00000f68: GAS
00000f69: STATICCALL
00000f6a: ISZERO
00000f6b: DUP1
00000f6c: ISZERO
00000f6d: PUSH2 0x0f7a
00000f70: JUMPI
00000f71: RETURNDATASIZE
00000f72: PUSH1 0x00
00000f74: DUP1
00000f75: RETURNDATACOPY
00000f76: RETURNDATASIZE
00000f77: PUSH1 0x00
00000f79: REVERT
00000f7a: JUMPDEST
00000f7b: POP
00000f7c: POP
00000f7d: POP
00000f7e: POP
00000f7f: PUSH1 0x40
00000f81: MLOAD
00000f82: RETURNDATASIZE
00000f83: PUSH1 0x1f
00000f85: NOT
00000f86: PUSH1 0x1f
00000f88: DUP3
00000f89: ADD
00000f8a: AND
00000f8b: DUP3
00000f8c: ADD
00000f8d: DUP1
00000f8e: PUSH1 0x40
00000f90: MSTORE
00000f91: POP
00000f92: DUP2
00000f93: ADD
00000f94: SWAP1
00000f95: PUSH2 0x0f9e
00000f98: SWAP2
00000f99: SWAP1
00000f9a: PUSH2 0x1bc0
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: SWAP1
00000fa0: POP
00000fa1: DUP1
00000fa2: CALLVALUE
00000fa3: LT
00000fa4: ISZERO
00000fa5: PUSH2 0x1016
00000fa8: JUMPI
00000fa9: PUSH1 0x40
00000fab: MLOAD
00000fac: PUSH3 0x461bcd
00000fb0: PUSH1 0xe5
00000fb2: SHL
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: PUSH1 0x20
00000fb7: PUSH1 0x04
00000fb9: DUP3
00000fba: ADD
00000fbb: MSTORE
00000fbc: PUSH1 0x30
00000fbe: PUSH1 0x24
00000fc0: DUP3
00000fc1: ADD
00000fc2: MSTORE
00000fc3: PUSH32 0x4d41524b45543a206d7573742073656e6420656e6f75676820746f2070757263
00000fe4: PUSH1 0x44
00000fe6: DUP3
00000fe7: ADD
00000fe8: MSTORE
00000fe9: PUSH32 0x68617365207468652065646974696f6e00000000000000000000000000000000
0000100a: PUSH1 0x64
0000100c: DUP3
0000100d: ADD
0000100e: MSTORE
0000100f: PUSH1 0x84
00001011: ADD
00001012: PUSH2 0x050a
00001015: JUMP
00001016: JUMPDEST
00001017: PUSH1 0x00
00001019: PUSH2 0x1022
0000101c: CALLVALUE
0000101d: DUP4
0000101e: PUSH2 0x190c
00001021: JUMP
00001022: JUMPDEST
00001023: SWAP1
00001024: POP
00001025: DUP1
00001026: ISZERO
00001027: PUSH2 0x1034
0000102a: JUMPI
0000102b: PUSH2 0x1034
0000102e: CALLER
0000102f: DUP3
00001030: PUSH2 0x151b
00001033: JUMP
00001034: JUMPDEST
00001035: PUSH1 0x01
00001037: PUSH1 0x01
00001039: PUSH1 0xa0
0000103b: SHL
0000103c: SUB
0000103d: DUP5
0000103e: AND
0000103f: PUSH1 0x00
00001041: SWAP1
00001042: DUP2
00001043: MSTORE
00001044: PUSH1 0x33
00001046: PUSH1 0x20
00001048: MSTORE
00001049: PUSH1 0x40
0000104b: DUP2
0000104c: KECCAK256
0000104d: PUSH1 0x02
0000104f: ADD
00001050: DUP1
00001051: SLOAD
00001052: SWAP2
00001053: PUSH2 0x105b
00001056: DUP4
00001057: PUSH2 0x1dd6
0000105a: JUMP
0000105b: JUMPDEST
0000105c: SWAP1
0000105d: SWAP2
0000105e: SSTORE
0000105f: POP
00001060: POP
00001061: PUSH1 0x40
00001063: MLOAD
00001064: PUSH32 0xfcd393b900000000000000000000000000000000000000000000000000000000
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x01
00001089: PUSH1 0x01
0000108b: PUSH1 0xa0
0000108d: SHL
0000108e: SUB
0000108f: DUP6
00001090: AND
00001091: PUSH1 0x04
00001093: DUP3
00001094: ADD
00001095: MSTORE
00001096: PUSH1 0x00
00001098: SWAP1
00001099: PUSH2 0x10fe
0000109c: SWAP1
0000109d: ADDRESS
0000109e: SWAP1
0000109f: PUSH4 0xfcd393b9
000010a4: SWAP1
000010a5: PUSH1 0x24
000010a7: ADD
000010a8: PUSH1 0x20
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: DUP1
000010ae: DUP4
000010af: SUB
000010b0: DUP2
000010b1: DUP7
000010b2: DUP1
000010b3: EXTCODESIZE
000010b4: ISZERO
000010b5: DUP1
000010b6: ISZERO
000010b7: PUSH2 0x10bf
000010ba: JUMPI
000010bb: PUSH1 0x00
000010bd: DUP1
000010be: REVERT
000010bf: JUMPDEST
000010c0: POP
000010c1: GAS
000010c2: STATICCALL
000010c3: ISZERO
000010c4: DUP1
000010c5: ISZERO
000010c6: PUSH2 0x10d3
000010c9: JUMPI
000010ca: RETURNDATASIZE
000010cb: PUSH1 0x00
000010cd: DUP1
000010ce: RETURNDATACOPY
000010cf: RETURNDATASIZE
000010d0: PUSH1 0x00
000010d2: REVERT
000010d3: JUMPDEST
000010d4: POP
000010d5: POP
000010d6: POP
000010d7: POP
000010d8: PUSH1 0x40
000010da: MLOAD
000010db: RETURNDATASIZE
000010dc: PUSH1 0x1f
000010de: NOT
000010df: PUSH1 0x1f
000010e1: DUP3
000010e2: ADD
000010e3: AND
000010e4: DUP3
000010e5: ADD
000010e6: DUP1
000010e7: PUSH1 0x40
000010e9: MSTORE
000010ea: POP
000010eb: DUP2
000010ec: ADD
000010ed: SWAP1
000010ee: PUSH2 0x10f7
000010f1: SWAP2
000010f2: SWAP1
000010f3: PUSH2 0x1bc0
000010f6: JUMP
000010f7: JUMPDEST
000010f8: DUP5
000010f9: SWAP1
000010fa: PUSH2 0x190c
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x01
00001101: PUSH1 0x01
00001103: PUSH1 0xa0
00001105: SHL
00001106: SUB
00001107: DUP7
00001108: AND
00001109: PUSH1 0x00
0000110b: SWAP1
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x33
00001110: PUSH1 0x20
00001112: MSTORE
00001113: PUSH1 0x40
00001115: DUP2
00001116: KECCAK256
00001117: PUSH1 0x04
00001119: DUP2
0000111a: ADD
0000111b: SLOAD
0000111c: PUSH1 0x03
0000111e: SWAP1
0000111f: SWAP2
00001120: ADD
00001121: SLOAD
00001122: SWAP3
00001123: SWAP4
00001124: POP
00001125: SWAP1
00001126: SWAP2
00001127: PUSH2 0x112f
0000112a: SWAP2
0000112b: PUSH2 0x141c
0000112e: JUMP
0000112f: JUMPDEST
00001130: PUSH1 0x01
00001132: PUSH1 0x01
00001134: PUSH1 0xa0
00001136: SHL
00001137: SUB
00001138: DUP8
00001139: AND
0000113a: PUSH1 0x00
0000113c: SWAP1
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x33
00001141: PUSH1 0x20
00001143: MSTORE
00001144: PUSH1 0x40
00001146: SWAP1
00001147: KECCAK256
00001148: PUSH1 0x03
0000114a: ADD
0000114b: SLOAD
0000114c: SWAP1
0000114d: SWAP2
0000114e: POP
0000114f: ISZERO
00001150: PUSH2 0x11c8
00001153: JUMPI
00001154: PUSH1 0x01
00001156: PUSH1 0x01
00001158: PUSH1 0xa0
0000115a: SHL
0000115b: SUB
0000115c: DUP7
0000115d: AND
0000115e: PUSH1 0x00
00001160: SWAP1
00001161: DUP2
00001162: MSTORE
00001163: PUSH1 0x33
00001165: PUSH1 0x20
00001167: MSTORE
00001168: PUSH1 0x40
0000116a: SWAP1
0000116b: KECCAK256
0000116c: PUSH1 0x03
0000116e: ADD
0000116f: SLOAD
00001170: PUSH2 0x1186
00001173: SWAP1
00001174: DUP3
00001175: SWAP1
00001176: PUSH2 0x1180
00001179: SWAP1
0000117a: DUP6
0000117b: SWAP1
0000117c: PUSH2 0x1918
0000117f: JUMP
00001180: JUMPDEST
00001181: SWAP1
00001182: PUSH2 0x1924
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH1 0x01
00001189: PUSH1 0x01
0000118b: PUSH1 0xa0
0000118d: SHL
0000118e: SUB
0000118f: DUP1
00001190: DUP9
00001191: AND
00001192: PUSH1 0x00
00001194: SWAP1
00001195: DUP2
00001196: MSTORE
00001197: PUSH1 0x33
00001199: PUSH1 0x20
0000119b: SWAP1
0000119c: DUP2
0000119d: MSTORE
0000119e: PUSH1 0x40
000011a0: DUP1
000011a1: DUP4
000011a2: KECCAK256
000011a3: PUSH1 0x05
000011a5: ADD
000011a6: SLOAD
000011a7: SWAP1
000011a8: SWAP4
000011a9: AND
000011aa: DUP3
000011ab: MSTORE
000011ac: PUSH1 0x34
000011ae: SWAP1
000011af: MSTORE
000011b0: SWAP1
000011b1: DUP2
000011b2: KECCAK256
000011b3: DUP1
000011b4: SLOAD
000011b5: SWAP1
000011b6: SWAP2
000011b7: SWAP1
000011b8: PUSH2 0x11c2
000011bb: SWAP1
000011bc: DUP5
000011bd: SWAP1
000011be: PUSH2 0x1d16
000011c1: JUMP
000011c2: JUMPDEST
000011c3: SWAP1
000011c4: SWAP2
000011c5: SSTORE
000011c6: POP
000011c7: POP
000011c8: JUMPDEST
000011c9: PUSH1 0x01
000011cb: PUSH1 0x01
000011cd: PUSH1 0xa0
000011cf: SHL
000011d0: SUB
000011d1: DUP7
000011d2: AND
000011d3: PUSH1 0x00
000011d5: SWAP1
000011d6: DUP2
000011d7: MSTORE
000011d8: PUSH1 0x33
000011da: PUSH1 0x20
000011dc: MSTORE
000011dd: PUSH1 0x40
000011df: SWAP1
000011e0: KECCAK256
000011e1: PUSH1 0x04
000011e3: ADD
000011e4: SLOAD
000011e5: ISZERO
000011e6: PUSH2 0x1258
000011e9: JUMPI
000011ea: PUSH1 0x01
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: SHL
000011f1: SUB
000011f2: DUP7
000011f3: AND
000011f4: PUSH1 0x00
000011f6: SWAP1
000011f7: DUP2
000011f8: MSTORE
000011f9: PUSH1 0x33
000011fb: PUSH1 0x20
000011fd: MSTORE
000011fe: PUSH1 0x40
00001200: SWAP1
00001201: KECCAK256
00001202: PUSH1 0x04
00001204: ADD
00001205: SLOAD
00001206: PUSH2 0x1216
00001209: SWAP1
0000120a: DUP3
0000120b: SWAP1
0000120c: PUSH2 0x1180
0000120f: SWAP1
00001210: DUP6
00001211: SWAP1
00001212: PUSH2 0x1918
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x01
00001219: PUSH1 0x01
0000121b: PUSH1 0xa0
0000121d: SHL
0000121e: SUB
0000121f: DUP1
00001220: DUP9
00001221: AND
00001222: PUSH1 0x00
00001224: SWAP1
00001225: DUP2
00001226: MSTORE
00001227: PUSH1 0x33
00001229: PUSH1 0x20
0000122b: SWAP1
0000122c: DUP2
0000122d: MSTORE
0000122e: PUSH1 0x40
00001230: DUP1
00001231: DUP4
00001232: KECCAK256
00001233: PUSH1 0x06
00001235: ADD
00001236: SLOAD
00001237: SWAP1
00001238: SWAP4
00001239: AND
0000123a: DUP3
0000123b: MSTORE
0000123c: PUSH1 0x34
0000123e: SWAP1
0000123f: MSTORE
00001240: SWAP1
00001241: DUP2
00001242: KECCAK256
00001243: DUP1
00001244: SLOAD
00001245: SWAP1
00001246: SWAP2
00001247: SWAP1
00001248: PUSH2 0x1252
0000124b: SWAP1
0000124c: DUP5
0000124d: SWAP1
0000124e: PUSH2 0x1d16
00001251: JUMP
00001252: JUMPDEST
00001253: SWAP1
00001254: SWAP2
00001255: SSTORE
00001256: POP
00001257: POP
00001258: JUMPDEST
00001259: PUSH1 0x40
0000125b: MLOAD
0000125c: PUSH32 0x6a62784200000000000000000000000000000000000000000000000000000000
0000127d: DUP2
0000127e: MSTORE
0000127f: CALLER
00001280: PUSH1 0x04
00001282: DUP3
00001283: ADD
00001284: MSTORE
00001285: PUSH1 0x00
00001287: SWAP1
00001288: PUSH1 0x01
0000128a: PUSH1 0x01
0000128c: PUSH1 0xa0
0000128e: SHL
0000128f: SUB
00001290: DUP9
00001291: AND
00001292: SWAP1
00001293: PUSH4 0x6a627842
00001298: SWAP1
00001299: PUSH1 0x24
0000129b: ADD
0000129c: PUSH1 0x20
0000129e: PUSH1 0x40
000012a0: MLOAD
000012a1: DUP1
000012a2: DUP4
000012a3: SUB
000012a4: DUP2
000012a5: PUSH1 0x00
000012a7: DUP8
000012a8: DUP1
000012a9: EXTCODESIZE
000012aa: ISZERO
000012ab: DUP1
000012ac: ISZERO
000012ad: PUSH2 0x12b5
000012b0: JUMPI
000012b1: PUSH1 0x00
000012b3: DUP1
000012b4: REVERT
000012b5: JUMPDEST
000012b6: POP
000012b7: GAS
000012b8: CALL
000012b9: ISZERO
000012ba: DUP1
000012bb: ISZERO
000012bc: PUSH2 0x12c9
000012bf: JUMPI
000012c0: RETURNDATASIZE
000012c1: PUSH1 0x00
000012c3: DUP1
000012c4: RETURNDATACOPY
000012c5: RETURNDATASIZE
000012c6: PUSH1 0x00
000012c8: REVERT
000012c9: JUMPDEST
000012ca: POP
000012cb: POP
000012cc: POP
000012cd: POP
000012ce: PUSH1 0x40
000012d0: MLOAD
000012d1: RETURNDATASIZE
000012d2: PUSH1 0x1f
000012d4: NOT
000012d5: PUSH1 0x1f
000012d7: DUP3
000012d8: ADD
000012d9: AND
000012da: DUP3
000012db: ADD
000012dc: DUP1
000012dd: PUSH1 0x40
000012df: MSTORE
000012e0: POP
000012e1: DUP2
000012e2: ADD
000012e3: SWAP1
000012e4: PUSH2 0x12ed
000012e7: SWAP2
000012e8: SWAP1
000012e9: PUSH2 0x1bc0
000012ec: JUMP
000012ed: JUMPDEST
000012ee: SWAP1
000012ef: POP
000012f0: DUP1
000012f1: CALLER
000012f2: PUSH1 0x01
000012f4: PUSH1 0x01
000012f6: PUSH1 0xa0
000012f8: SHL
000012f9: SUB
000012fa: AND
000012fb: DUP9
000012fc: PUSH1 0x01
000012fe: PUSH1 0x01
00001300: PUSH1 0xa0
00001302: SHL
00001303: SUB
00001304: AND
00001305: PUSH32 0x89f5adc174562e07c9c9b1cae7109bbecb21cf9d1b2847e550042b8653c54a0e
00001326: DUP9
00001327: PUSH1 0x40
00001329: MLOAD
0000132a: PUSH2 0x1335
0000132d: SWAP2
0000132e: DUP2
0000132f: MSTORE
00001330: PUSH1 0x20
00001332: ADD
00001333: SWAP1
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH1 0x40
00001338: MLOAD
00001339: DUP1
0000133a: SWAP2
0000133b: SUB
0000133c: SWAP1
0000133d: LOG4
0000133e: PUSH1 0x01
00001340: DUP1
00001341: SSTORE
00001342: SWAP7
00001343: SWAP6
00001344: POP
00001345: POP
00001346: POP
00001347: POP
00001348: POP
00001349: POP
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH1 0x01
0000134e: PUSH1 0x01
00001350: PUSH1 0xa0
00001352: SHL
00001353: SUB
00001354: DUP2
00001355: AND
00001356: PUSH1 0x00
00001358: SWAP1
00001359: DUP2
0000135a: MSTORE
0000135b: PUSH1 0x33
0000135d: PUSH1 0x20
0000135f: MSTORE
00001360: PUSH1 0x40
00001362: SWAP1
00001363: KECCAK256
00001364: PUSH1 0x08
00001366: ADD
00001367: DUP1
00001368: SLOAD
00001369: PUSH1 0x60
0000136b: SWAP2
0000136c: SWAP1
0000136d: PUSH2 0x0dc2
00001370: SWAP1
00001371: PUSH2 0x1d9b
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH1 0x01
00001378: PUSH1 0x01
0000137a: PUSH1 0xa0
0000137c: SHL
0000137d: SUB
0000137e: DUP2
0000137f: AND
00001380: PUSH1 0x00
00001382: SWAP1
00001383: DUP2
00001384: MSTORE
00001385: PUSH1 0x33
00001387: PUSH1 0x20
00001389: MSTORE
0000138a: PUSH1 0x40
0000138c: DUP2
0000138d: KECCAK256
0000138e: PUSH1 0x02
00001390: ADD
00001391: SLOAD
00001392: DUP1
00001393: PUSH2 0x139f
00001396: JUMPI
00001397: POP
00001398: PUSH1 0x00
0000139a: SWAP3
0000139b: SWAP2
0000139c: POP
0000139d: POP
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH1 0x01
000013a2: PUSH1 0x01
000013a4: PUSH1 0xa0
000013a6: SHL
000013a7: SUB
000013a8: DUP4
000013a9: AND
000013aa: PUSH1 0x00
000013ac: SWAP1
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x33
000013b1: PUSH1 0x20
000013b3: MSTORE
000013b4: PUSH1 0x40
000013b6: SWAP1
000013b7: KECCAK256
000013b8: PUSH1 0x04
000013ba: DUP2
000013bb: ADD
000013bc: SLOAD
000013bd: PUSH1 0x03
000013bf: SWAP1
000013c0: SWAP2
000013c1: ADD
000013c2: SLOAD
000013c3: PUSH2 0x0d91
000013c6: SWAP2
000013c7: PUSH2 0x2710
000013ca: SWAP2
000013cb: PUSH2 0x1180
000013ce: SWAP2
000013cf: PUSH2 0x13e4
000013d2: SWAP2
000013d3: PUSH2 0x13db
000013d6: SWAP2
000013d7: PUSH2 0x141c
000013da: JUMP
000013db: JUMPDEST
000013dc: PUSH2 0x2710
000013df: SWAP1
000013e0: PUSH2 0x190c
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH1 0x01
000013e7: PUSH1 0x01
000013e9: PUSH1 0xa0
000013eb: SHL
000013ec: SUB
000013ed: DUP8
000013ee: AND
000013ef: PUSH1 0x00
000013f1: SWAP1
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x33
000013f6: PUSH1 0x20
000013f8: MSTORE
000013f9: PUSH1 0x40
000013fb: SWAP1
000013fc: KECCAK256
000013fd: PUSH1 0x02
000013ff: ADD
00001400: SLOAD
00001401: PUSH2 0x1416
00001404: SWAP1
00001405: DUP9
00001406: SWAP1
00001407: PUSH2 0x1411
0000140a: SWAP1
0000140b: PUSH1 0x01
0000140d: PUSH2 0x190c
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH2 0x14df
00001415: JUMP
00001416: JUMPDEST
00001417: SWAP1
00001418: PUSH2 0x1918
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH1 0x00
0000141f: PUSH2 0x0d91
00001422: DUP3
00001423: DUP5
00001424: PUSH2 0x1d16
00001427: JUMP
00001428: JUMPDEST
00001429: PUSH1 0x00
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: PUSH32 0x3d602d80600a3d3981f3363d3d373d3d3d363d73000000000000000000000000
0000144f: DUP2
00001450: MSTORE
00001451: DUP4
00001452: PUSH1 0x60
00001454: SHL
00001455: PUSH1 0x14
00001457: DUP3
00001458: ADD
00001459: MSTORE
0000145a: PUSH32 0x5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000
0000147b: PUSH1 0x28
0000147d: DUP3
0000147e: ADD
0000147f: MSTORE
00001480: DUP3
00001481: PUSH1 0x37
00001483: DUP3
00001484: PUSH1 0x00
00001486: CREATE2
00001487: SWAP2
00001488: POP
00001489: POP
0000148a: PUSH1 0x01
0000148c: PUSH1 0x01
0000148e: PUSH1 0xa0
00001490: SHL
00001491: SUB
00001492: DUP2
00001493: AND
00001494: PUSH2 0x08ab
00001497: JUMPI
00001498: PUSH1 0x40
0000149a: MLOAD
0000149b: PUSH3 0x461bcd
0000149f: PUSH1 0xe5
000014a1: SHL
000014a2: DUP2
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: PUSH1 0x04
000014a8: DUP3
000014a9: ADD
000014aa: MSTORE
000014ab: PUSH1 0x17
000014ad: PUSH1 0x24
000014af: DUP3
000014b0: ADD
000014b1: MSTORE
000014b2: PUSH32 0x455243313136373a2063726561746532206661696c6564000000000000000000
000014d3: PUSH1 0x44
000014d5: DUP3
000014d6: ADD
000014d7: MSTORE
000014d8: PUSH1 0x64
000014da: ADD
000014db: PUSH2 0x050a
000014de: JUMP
000014df: JUMPDEST
000014e0: PUSH1 0x01
000014e2: PUSH1 0x01
000014e4: PUSH1 0xa0
000014e6: SHL
000014e7: SUB
000014e8: DUP3
000014e9: AND
000014ea: PUSH1 0x00
000014ec: SWAP1
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x33
000014f1: PUSH1 0x20
000014f3: MSTORE
000014f4: PUSH1 0x40
000014f6: DUP2
000014f7: KECCAK256
000014f8: PUSH1 0x01
000014fa: DUP2
000014fb: ADD
000014fc: SLOAD
000014fd: SWAP1
000014fe: SLOAD
000014ff: PUSH2 0x1512
00001502: DUP3
00001503: PUSH2 0x150c
00001506: DUP4
00001507: DUP8
00001508: PUSH2 0x1918
0000150b: JUMP
0000150c: JUMPDEST
0000150d: SWAP1
0000150e: PUSH2 0x141c
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP6
00001514: SWAP5
00001515: POP
00001516: POP
00001517: POP
00001518: POP
00001519: POP
0000151a: JUMP
0000151b: JUMPDEST
0000151c: DUP1
0000151d: SELFBALANCE
0000151e: LT
0000151f: ISZERO
00001520: PUSH2 0x156b
00001523: JUMPI
00001524: PUSH1 0x40
00001526: MLOAD
00001527: PUSH3 0x461bcd
0000152b: PUSH1 0xe5
0000152d: SHL
0000152e: DUP2
0000152f: MSTORE
00001530: PUSH1 0x20
00001532: PUSH1 0x04
00001534: DUP3
00001535: ADD
00001536: MSTORE
00001537: PUSH1 0x1d
00001539: PUSH1 0x24
0000153b: DUP3
0000153c: ADD
0000153d: MSTORE
0000153e: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
0000155f: PUSH1 0x44
00001561: DUP3
00001562: ADD
00001563: MSTORE
00001564: PUSH1 0x64
00001566: ADD
00001567: PUSH2 0x050a
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x00
0000156e: DUP3
0000156f: PUSH1 0x01
00001571: PUSH1 0x01
00001573: PUSH1 0xa0
00001575: SHL
00001576: SUB
00001577: AND
00001578: DUP3
00001579: PUSH1 0x40
0000157b: MLOAD
0000157c: PUSH1 0x00
0000157e: PUSH1 0x40
00001580: MLOAD
00001581: DUP1
00001582: DUP4
00001583: SUB
00001584: DUP2
00001585: DUP6
00001586: DUP8
00001587: GAS
00001588: CALL
00001589: SWAP3
0000158a: POP
0000158b: POP
0000158c: POP
0000158d: RETURNDATASIZE
0000158e: DUP1
0000158f: PUSH1 0x00
00001591: DUP2
00001592: EQ
00001593: PUSH2 0x15b8
00001596: JUMPI
00001597: PUSH1 0x40
00001599: MLOAD
0000159a: SWAP2
0000159b: POP
0000159c: PUSH1 0x1f
0000159e: NOT
0000159f: PUSH1 0x3f
000015a1: RETURNDATASIZE
000015a2: ADD
000015a3: AND
000015a4: DUP3
000015a5: ADD
000015a6: PUSH1 0x40
000015a8: MSTORE
000015a9: RETURNDATASIZE
000015aa: DUP3
000015ab: MSTORE
000015ac: RETURNDATASIZE
000015ad: PUSH1 0x00
000015af: PUSH1 0x20
000015b1: DUP5
000015b2: ADD
000015b3: RETURNDATACOPY
000015b4: PUSH2 0x15bd
000015b7: JUMP
000015b8: JUMPDEST
000015b9: PUSH1 0x60
000015bb: SWAP2
000015bc: POP
000015bd: JUMPDEST
000015be: POP
000015bf: POP
000015c0: SWAP1
000015c1: POP
000015c2: DUP1
000015c3: PUSH2 0x1634
000015c6: JUMPI
000015c7: PUSH1 0x40
000015c9: MLOAD
000015ca: PUSH3 0x461bcd
000015ce: PUSH1 0xe5
000015d0: SHL
000015d1: DUP2
000015d2: MSTORE
000015d3: PUSH1 0x20
000015d5: PUSH1 0x04
000015d7: DUP3
000015d8: ADD
000015d9: MSTORE
000015da: PUSH1 0x3a
000015dc: PUSH1 0x24
000015de: DUP3
000015df: ADD
000015e0: MSTORE
000015e1: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001602: PUSH1 0x44
00001604: DUP3
00001605: ADD
00001606: MSTORE
00001607: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001628: PUSH1 0x64
0000162a: DUP3
0000162b: ADD
0000162c: MSTORE
0000162d: PUSH1 0x84
0000162f: ADD
00001630: PUSH2 0x050a
00001633: JUMP
00001634: JUMPDEST
00001635: POP
00001636: POP
00001637: POP
00001638: JUMP
00001639: JUMPDEST
0000163a: PUSH1 0x00
0000163c: PUSH2 0x1645
0000163f: DUP5
00001640: DUP4
00001641: PUSH2 0x1930
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH2 0x16b7
00001649: JUMPI
0000164a: PUSH1 0x40
0000164c: MLOAD
0000164d: PUSH3 0x461bcd
00001651: PUSH1 0xe5
00001653: SHL
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: PUSH1 0x04
0000165a: DUP3
0000165b: ADD
0000165c: MSTORE
0000165d: PUSH1 0x2c
0000165f: PUSH1 0x24
00001661: DUP3
00001662: ADD
00001663: MSTORE
00001664: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001685: PUSH1 0x44
00001687: DUP3
00001688: ADD
00001689: MSTORE
0000168a: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
000016ab: PUSH1 0x64
000016ad: DUP3
000016ae: ADD
000016af: MSTORE
000016b0: PUSH1 0x84
000016b2: ADD
000016b3: PUSH2 0x050a
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x40
000016ba: MLOAD
000016bb: PUSH4 0x31a9108f
000016c0: PUSH1 0xe1
000016c2: SHL
000016c3: DUP2
000016c4: MSTORE
000016c5: PUSH1 0x04
000016c7: DUP2
000016c8: ADD
000016c9: DUP4
000016ca: SWAP1
000016cb: MSTORE
000016cc: PUSH1 0x00
000016ce: SWAP1
000016cf: PUSH1 0x01
000016d1: PUSH1 0x01
000016d3: PUSH1 0xa0
000016d5: SHL
000016d6: SUB
000016d7: DUP7
000016d8: AND
000016d9: SWAP1
000016da: PUSH4 0x6352211e
000016df: SWAP1
000016e0: PUSH1 0x24
000016e2: ADD
000016e3: PUSH1 0x20
000016e5: PUSH1 0x40
000016e7: MLOAD
000016e8: DUP1
000016e9: DUP4
000016ea: SUB
000016eb: DUP2
000016ec: DUP7
000016ed: DUP1
000016ee: EXTCODESIZE
000016ef: ISZERO
000016f0: DUP1
000016f1: ISZERO
000016f2: PUSH2 0x16fa
000016f5: JUMPI
000016f6: PUSH1 0x00
000016f8: DUP1
000016f9: REVERT
000016fa: JUMPDEST
000016fb: POP
000016fc: GAS
000016fd: STATICCALL
000016fe: ISZERO
000016ff: DUP1
00001700: ISZERO
00001701: PUSH2 0x170e
00001704: JUMPI
00001705: RETURNDATASIZE
00001706: PUSH1 0x00
00001708: DUP1
00001709: RETURNDATACOPY
0000170a: RETURNDATASIZE
0000170b: PUSH1 0x00
0000170d: REVERT
0000170e: JUMPDEST
0000170f: POP
00001710: POP
00001711: POP
00001712: POP
00001713: PUSH1 0x40
00001715: MLOAD
00001716: RETURNDATASIZE
00001717: PUSH1 0x1f
00001719: NOT
0000171a: PUSH1 0x1f
0000171c: DUP3
0000171d: ADD
0000171e: AND
0000171f: DUP3
00001720: ADD
00001721: DUP1
00001722: PUSH1 0x40
00001724: MSTORE
00001725: POP
00001726: DUP2
00001727: ADD
00001728: SWAP1
00001729: PUSH2 0x1732
0000172c: SWAP2
0000172d: SWAP1
0000172e: PUSH2 0x1ad9
00001731: JUMP
00001732: JUMPDEST
00001733: SWAP1
00001734: POP
00001735: DUP1
00001736: PUSH1 0x01
00001738: PUSH1 0x01
0000173a: PUSH1 0xa0
0000173c: SHL
0000173d: SUB
0000173e: AND
0000173f: DUP5
00001740: PUSH1 0x01
00001742: PUSH1 0x01
00001744: PUSH1 0xa0
00001746: SHL
00001747: SUB
00001748: AND
00001749: EQ
0000174a: DUP1
0000174b: PUSH2 0x17f0
0000174e: JUMPI
0000174f: POP
00001750: PUSH1 0x40
00001752: MLOAD
00001753: PUSH32 0x081812fc00000000000000000000000000000000000000000000000000000000
00001774: DUP2
00001775: MSTORE
00001776: PUSH1 0x04
00001778: DUP2
00001779: ADD
0000177a: DUP5
0000177b: SWAP1
0000177c: MSTORE
0000177d: PUSH1 0x01
0000177f: PUSH1 0x01
00001781: PUSH1 0xa0
00001783: SHL
00001784: SUB
00001785: DUP1
00001786: DUP7
00001787: AND
00001788: SWAP2
00001789: SWAP1
0000178a: DUP8
0000178b: AND
0000178c: SWAP1
0000178d: PUSH4 0x081812fc
00001792: SWAP1
00001793: PUSH1 0x24
00001795: ADD
00001796: PUSH1 0x20
00001798: PUSH1 0x40
0000179a: MLOAD
0000179b: DUP1
0000179c: DUP4
0000179d: SUB
0000179e: DUP2
0000179f: DUP7
000017a0: DUP1
000017a1: EXTCODESIZE
000017a2: ISZERO
000017a3: DUP1
000017a4: ISZERO
000017a5: PUSH2 0x17ad
000017a8: JUMPI
000017a9: PUSH1 0x00
000017ab: DUP1
000017ac: REVERT
000017ad: JUMPDEST
000017ae: POP
000017af: GAS
000017b0: STATICCALL
000017b1: ISZERO
000017b2: DUP1
000017b3: ISZERO
000017b4: PUSH2 0x17c1
000017b7: JUMPI
000017b8: RETURNDATASIZE
000017b9: PUSH1 0x00
000017bb: DUP1
000017bc: RETURNDATACOPY
000017bd: RETURNDATASIZE
000017be: PUSH1 0x00
000017c0: REVERT
000017c1: JUMPDEST
000017c2: POP
000017c3: POP
000017c4: POP
000017c5: POP
000017c6: PUSH1 0x40
000017c8: MLOAD
000017c9: RETURNDATASIZE
000017ca: PUSH1 0x1f
000017cc: NOT
000017cd: PUSH1 0x1f
000017cf: DUP3
000017d0: ADD
000017d1: AND
000017d2: DUP3
000017d3: ADD
000017d4: DUP1
000017d5: PUSH1 0x40
000017d7: MSTORE
000017d8: POP
000017d9: DUP2
000017da: ADD
000017db: SWAP1
000017dc: PUSH2 0x17e5
000017df: SWAP2
000017e0: SWAP1
000017e1: PUSH2 0x1ad9
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x01
000017e8: PUSH1 0x01
000017ea: PUSH1 0xa0
000017ec: SHL
000017ed: SUB
000017ee: AND
000017ef: EQ
000017f0: JUMPDEST
000017f1: DUP1
000017f2: PUSH2 0x1512
000017f5: JUMPI
000017f6: POP
000017f7: PUSH1 0x40
000017f9: MLOAD
000017fa: PUSH32 0xe985e9c500000000000000000000000000000000000000000000000000000000
0000181b: DUP2
0000181c: MSTORE
0000181d: PUSH1 0x01
0000181f: PUSH1 0x01
00001821: PUSH1 0xa0
00001823: SHL
00001824: SUB
00001825: DUP3
00001826: DUP2
00001827: AND
00001828: PUSH1 0x04
0000182a: DUP4
0000182b: ADD
0000182c: MSTORE
0000182d: DUP6
0000182e: DUP2
0000182f: AND
00001830: PUSH1 0x24
00001832: DUP4
00001833: ADD
00001834: MSTORE
00001835: DUP7
00001836: AND
00001837: SWAP1
00001838: PUSH4 0xe985e9c5
0000183d: SWAP1
0000183e: PUSH1 0x44
00001840: ADD
00001841: PUSH1 0x20
00001843: PUSH1 0x40
00001845: MLOAD
00001846: DUP1
00001847: DUP4
00001848: SUB
00001849: DUP2
0000184a: DUP7
0000184b: DUP1
0000184c: EXTCODESIZE
0000184d: ISZERO
0000184e: DUP1
0000184f: ISZERO
00001850: PUSH2 0x1858
00001853: JUMPI
00001854: PUSH1 0x00
00001856: DUP1
00001857: REVERT
00001858: JUMPDEST
00001859: POP
0000185a: GAS
0000185b: STATICCALL
0000185c: ISZERO
0000185d: DUP1
0000185e: ISZERO
0000185f: PUSH2 0x186c
00001862: JUMPI
00001863: RETURNDATASIZE
00001864: PUSH1 0x00
00001866: DUP1
00001867: RETURNDATACOPY
00001868: RETURNDATASIZE
00001869: PUSH1 0x00
0000186b: REVERT
0000186c: JUMPDEST
0000186d: POP
0000186e: POP
0000186f: POP
00001870: POP
00001871: PUSH1 0x40
00001873: MLOAD
00001874: RETURNDATASIZE
00001875: PUSH1 0x1f
00001877: NOT
00001878: PUSH1 0x1f
0000187a: DUP3
0000187b: ADD
0000187c: AND
0000187d: DUP3
0000187e: ADD
0000187f: DUP1
00001880: PUSH1 0x40
00001882: MSTORE
00001883: POP
00001884: DUP2
00001885: ADD
00001886: SWAP1
00001887: PUSH2 0x1512
0000188a: SWAP2
0000188b: SWAP1
0000188c: PUSH2 0x1b20
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH1 0x00
00001893: PUSH2 0x0d91
00001896: DUP4
00001897: DUP4
00001898: ADDRESS
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: PUSH32 0x3d602d80600a3d3981f3363d3d373d3d3d363d73000000000000000000000000
000018bd: DUP2
000018be: MSTORE
000018bf: PUSH1 0x60
000018c1: SWAP4
000018c2: DUP5
000018c3: SHL
000018c4: PUSH1 0x14
000018c6: DUP3
000018c7: ADD
000018c8: MSTORE
000018c9: PUSH32 0x5af43d82803e903d91602b57fd5bf3ff00000000000000000000000000000000
000018ea: PUSH1 0x28
000018ec: DUP3
000018ed: ADD
000018ee: MSTORE
000018ef: SWAP3
000018f0: SHL
000018f1: PUSH1 0x38
000018f3: DUP4
000018f4: ADD
000018f5: MSTORE
000018f6: PUSH1 0x4c
000018f8: DUP3
000018f9: ADD
000018fa: MSTORE
000018fb: PUSH1 0x37
000018fd: DUP1
000018fe: DUP3
000018ff: KECCAK256
00001900: PUSH1 0x6c
00001902: DUP4
00001903: ADD
00001904: MSTORE
00001905: PUSH1 0x55
00001907: SWAP2
00001908: ADD
00001909: KECCAK256
0000190a: SWAP1
0000190b: JUMP
0000190c: JUMPDEST
0000190d: PUSH1 0x00
0000190f: PUSH2 0x0d91
00001912: DUP3
00001913: DUP5
00001914: PUSH2 0x1d6d
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0x00
0000191b: PUSH2 0x0d91
0000191e: DUP3
0000191f: DUP5
00001920: PUSH2 0x1d4e
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH1 0x00
00001927: PUSH2 0x0d91
0000192a: DUP3
0000192b: DUP5
0000192c: PUSH2 0x1d2e
0000192f: JUMP
00001930: JUMPDEST
00001931: PUSH1 0x40
00001933: MLOAD
00001934: PUSH4 0x31a9108f
00001939: PUSH1 0xe1
0000193b: SHL
0000193c: DUP2
0000193d: MSTORE
0000193e: PUSH1 0x04
00001940: DUP2
00001941: ADD
00001942: DUP3
00001943: SWAP1
00001944: MSTORE
00001945: PUSH1 0x00
00001947: SWAP1
00001948: DUP2
00001949: SWAP1
0000194a: PUSH1 0x01
0000194c: PUSH1 0x01
0000194e: PUSH1 0xa0
00001950: SHL
00001951: SUB
00001952: DUP6
00001953: AND
00001954: SWAP1
00001955: PUSH4 0x6352211e
0000195a: SWAP1
0000195b: PUSH1 0x24
0000195d: ADD
0000195e: PUSH1 0x20
00001960: PUSH1 0x40
00001962: MLOAD
00001963: DUP1
00001964: DUP4
00001965: SUB
00001966: DUP2
00001967: DUP7
00001968: DUP1
00001969: EXTCODESIZE
0000196a: ISZERO
0000196b: DUP1
0000196c: ISZERO
0000196d: PUSH2 0x1975
00001970: JUMPI
00001971: PUSH1 0x00
00001973: DUP1
00001974: REVERT
00001975: JUMPDEST
00001976: POP
00001977: GAS
00001978: STATICCALL
00001979: ISZERO
0000197a: DUP1
0000197b: ISZERO
0000197c: PUSH2 0x1989
0000197f: JUMPI
00001980: RETURNDATASIZE
00001981: PUSH1 0x00
00001983: DUP1
00001984: RETURNDATACOPY
00001985: RETURNDATASIZE
00001986: PUSH1 0x00
00001988: REVERT
00001989: JUMPDEST
0000198a: POP
0000198b: POP
0000198c: POP
0000198d: POP
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: RETURNDATASIZE
00001992: PUSH1 0x1f
00001994: NOT
00001995: PUSH1 0x1f
00001997: DUP3
00001998: ADD
00001999: AND
0000199a: DUP3
0000199b: ADD
0000199c: DUP1
0000199d: PUSH1 0x40
0000199f: MSTORE
000019a0: POP
000019a1: DUP2
000019a2: ADD
000019a3: SWAP1
000019a4: PUSH2 0x19ad
000019a7: SWAP2
000019a8: SWAP1
000019a9: PUSH2 0x1ad9
000019ac: JUMP
000019ad: JUMPDEST
000019ae: PUSH1 0x01
000019b0: PUSH1 0x01
000019b2: PUSH1 0xa0
000019b4: SHL
000019b5: SUB
000019b6: AND
000019b7: EQ
000019b8: ISZERO
000019b9: SWAP4
000019ba: SWAP3
000019bb: POP
000019bc: POP
000019bd: POP
000019be: JUMP
000019bf: JUMPDEST
000019c0: DUP3
000019c1: DUP1
000019c2: SLOAD
000019c3: PUSH2 0x19cb
000019c6: SWAP1
000019c7: PUSH2 0x1d9b
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP1
000019cd: PUSH1 0x00
000019cf: MSTORE
000019d0: PUSH1 0x20
000019d2: PUSH1 0x00
000019d4: KECCAK256
000019d5: SWAP1
000019d6: PUSH1 0x1f
000019d8: ADD
000019d9: PUSH1 0x20
000019db: SWAP1
000019dc: DIV
000019dd: DUP2
000019de: ADD
000019df: SWAP3
000019e0: DUP3
000019e1: PUSH2 0x19ed
000019e4: JUMPI
000019e5: PUSH1 0x00
000019e7: DUP6
000019e8: SSTORE
000019e9: PUSH2 0x1a51
000019ec: JUMP
000019ed: JUMPDEST
000019ee: DUP3
000019ef: PUSH1 0x1f
000019f1: LT
000019f2: PUSH2 0x1a24
000019f5: JUMPI
000019f6: DUP3
000019f7: DUP1
000019f8: ADD
000019f9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001a1a: DUP3
00001a1b: CALLDATALOAD
00001a1c: AND
00001a1d: OR
00001a1e: DUP6
00001a1f: SSTORE
00001a20: PUSH2 0x1a51
00001a23: JUMP
00001a24: JUMPDEST
00001a25: DUP3
00001a26: DUP1
00001a27: ADD
00001a28: PUSH1 0x01
00001a2a: ADD
00001a2b: DUP6
00001a2c: SSTORE
00001a2d: DUP3
00001a2e: ISZERO
00001a2f: PUSH2 0x1a51
00001a32: JUMPI
00001a33: SWAP2
00001a34: DUP3
00001a35: ADD
00001a36: JUMPDEST
00001a37: DUP3
00001a38: DUP2
00001a39: GT
00001a3a: ISZERO
00001a3b: PUSH2 0x1a51
00001a3e: JUMPI
00001a3f: DUP3
00001a40: CALLDATALOAD
00001a41: DUP3
00001a42: SSTORE
00001a43: SWAP2
00001a44: PUSH1 0x20
00001a46: ADD
00001a47: SWAP2
00001a48: SWAP1
00001a49: PUSH1 0x01
00001a4b: ADD
00001a4c: SWAP1
00001a4d: PUSH2 0x1a36
00001a50: JUMP
00001a51: JUMPDEST
00001a52: POP
00001a53: PUSH2 0x1a5d
00001a56: SWAP3
00001a57: SWAP2
00001a58: POP
00001a59: PUSH2 0x1a61
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: POP
00001a5f: SWAP1
00001a60: JUMP
00001a61: JUMPDEST
00001a62: JUMPDEST
00001a63: DUP1
00001a64: DUP3
00001a65: GT
00001a66: ISZERO
00001a67: PUSH2 0x1a5d
00001a6a: JUMPI
00001a6b: PUSH1 0x00
00001a6d: DUP2
00001a6e: SSTORE
00001a6f: PUSH1 0x01
00001a71: ADD
00001a72: PUSH2 0x1a62
00001a75: JUMP
00001a76: JUMPDEST
00001a77: PUSH1 0x00
00001a79: DUP1
00001a7a: DUP4
00001a7b: PUSH1 0x1f
00001a7d: DUP5
00001a7e: ADD
00001a7f: SLT
00001a80: PUSH2 0x1a87
00001a83: JUMPI
00001a84: DUP2
00001a85: DUP3
00001a86: REVERT
00001a87: JUMPDEST
00001a88: POP
00001a89: DUP2
00001a8a: CALLDATALOAD
00001a8b: PUSH8 0xffffffffffffffff
00001a94: DUP2
00001a95: GT
00001a96: ISZERO
00001a97: PUSH2 0x1a9e
00001a9a: JUMPI
00001a9b: DUP2
00001a9c: DUP3
00001a9d: REVERT
00001a9e: JUMPDEST
00001a9f: PUSH1 0x20
00001aa1: DUP4
00001aa2: ADD
00001aa3: SWAP2
00001aa4: POP
00001aa5: DUP4
00001aa6: PUSH1 0x20
00001aa8: DUP3
00001aa9: DUP6
00001aaa: ADD
00001aab: ADD
00001aac: GT
00001aad: ISZERO
00001aae: PUSH2 0x1ab6
00001ab1: JUMPI
00001ab2: PUSH1 0x00
00001ab4: DUP1
00001ab5: REVERT
00001ab6: JUMPDEST
00001ab7: SWAP3
00001ab8: POP
00001ab9: SWAP3
00001aba: SWAP1
00001abb: POP
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH1 0x00
00001ac0: PUSH1 0x20
00001ac2: DUP3
00001ac3: DUP5
00001ac4: SUB
00001ac5: SLT
00001ac6: ISZERO
00001ac7: PUSH2 0x1ace
00001aca: JUMPI
00001acb: DUP1
00001acc: DUP2
00001acd: REVERT
00001ace: JUMPDEST
00001acf: DUP2
00001ad0: CALLDATALOAD
00001ad1: PUSH2 0x0d91
00001ad4: DUP2
00001ad5: PUSH2 0x1e07
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH1 0x00
00001adc: PUSH1 0x20
00001ade: DUP3
00001adf: DUP5
00001ae0: SUB
00001ae1: SLT
00001ae2: ISZERO
00001ae3: PUSH2 0x1aea
00001ae6: JUMPI
00001ae7: DUP1
00001ae8: DUP2
00001ae9: REVERT
00001aea: JUMPDEST
00001aeb: DUP2
00001aec: MLOAD
00001aed: PUSH2 0x0d91
00001af0: DUP2
00001af1: PUSH2 0x1e07
00001af4: JUMP
00001af5: JUMPDEST
00001af6: PUSH1 0x00
00001af8: DUP1
00001af9: PUSH1 0x40
00001afb: DUP4
00001afc: DUP6
00001afd: SUB
00001afe: SLT
00001aff: ISZERO
00001b00: PUSH2 0x1b07
00001b03: JUMPI
00001b04: DUP1
00001b05: DUP2
00001b06: REVERT
00001b07: JUMPDEST
00001b08: DUP3
00001b09: CALLDATALOAD
00001b0a: PUSH2 0x1b12
00001b0d: DUP2
00001b0e: PUSH2 0x1e07
00001b11: JUMP
00001b12: JUMPDEST
00001b13: SWAP5
00001b14: PUSH1 0x20
00001b16: SWAP4
00001b17: SWAP1
00001b18: SWAP4
00001b19: ADD
00001b1a: CALLDATALOAD
00001b1b: SWAP4
00001b1c: POP
00001b1d: POP
00001b1e: POP
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: PUSH1 0x00
00001b23: PUSH1 0x20
00001b25: DUP3
00001b26: DUP5
00001b27: SUB
00001b28: SLT
00001b29: ISZERO
00001b2a: PUSH2 0x1b31
00001b2d: JUMPI
00001b2e: DUP1
00001b2f: DUP2
00001b30: REVERT
00001b31: JUMPDEST
00001b32: DUP2
00001b33: MLOAD
00001b34: DUP1
00001b35: ISZERO
00001b36: ISZERO
00001b37: DUP2
00001b38: EQ
00001b39: PUSH2 0x0d91
00001b3c: JUMPI
00001b3d: DUP2
00001b3e: DUP3
00001b3f: REVERT
00001b40: JUMPDEST
00001b41: PUSH1 0x00
00001b43: PUSH1 0x20
00001b45: DUP3
00001b46: DUP5
00001b47: SUB
00001b48: SLT
00001b49: ISZERO
00001b4a: PUSH2 0x1b51
00001b4d: JUMPI
00001b4e: DUP1
00001b4f: DUP2
00001b50: REVERT
00001b51: JUMPDEST
00001b52: DUP2
00001b53: CALLDATALOAD
00001b54: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001b75: DUP2
00001b76: AND
00001b77: DUP2
00001b78: EQ
00001b79: PUSH2 0x0d91
00001b7c: JUMPI
00001b7d: DUP2
00001b7e: DUP3
00001b7f: REVERT
00001b80: JUMPDEST
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: PUSH1 0x20
00001b86: DUP4
00001b87: DUP6
00001b88: SUB
00001b89: SLT
00001b8a: ISZERO
00001b8b: PUSH2 0x1b92
00001b8e: JUMPI
00001b8f: DUP2
00001b90: DUP3
00001b91: REVERT
00001b92: JUMPDEST
00001b93: DUP3
00001b94: CALLDATALOAD
00001b95: PUSH8 0xffffffffffffffff
00001b9e: DUP2
00001b9f: GT
00001ba0: ISZERO
00001ba1: PUSH2 0x1ba8
00001ba4: JUMPI
00001ba5: DUP3
00001ba6: DUP4
00001ba7: REVERT
00001ba8: JUMPDEST
00001ba9: PUSH2 0x1bb4
00001bac: DUP6
00001bad: DUP3
00001bae: DUP7
00001baf: ADD
00001bb0: PUSH2 0x1a76
00001bb3: JUMP
00001bb4: JUMPDEST
00001bb5: SWAP1
00001bb6: SWAP7
00001bb7: SWAP1
00001bb8: SWAP6
00001bb9: POP
00001bba: SWAP4
00001bbb: POP
00001bbc: POP
00001bbd: POP
00001bbe: POP
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: PUSH1 0x00
00001bc3: PUSH1 0x20
00001bc5: DUP3
00001bc6: DUP5
00001bc7: SUB
00001bc8: SLT
00001bc9: ISZERO
00001bca: PUSH2 0x1bd1
00001bcd: JUMPI
00001bce: DUP1
00001bcf: DUP2
00001bd0: REVERT
00001bd1: JUMPDEST
00001bd2: POP
00001bd3: MLOAD
00001bd4: SWAP2
00001bd5: SWAP1
00001bd6: POP
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH1 0x00
00001bdb: DUP1
00001bdc: PUSH1 0x00
00001bde: DUP1
00001bdf: PUSH1 0x00
00001be1: DUP1
00001be2: PUSH1 0x00
00001be4: DUP1
00001be5: PUSH1 0x00
00001be7: DUP1
00001be8: PUSH2 0x0100
00001beb: DUP12
00001bec: DUP14
00001bed: SUB
00001bee: SLT
00001bef: ISZERO
00001bf0: PUSH2 0x1bf7
00001bf3: JUMPI
00001bf4: DUP6
00001bf5: DUP7
00001bf6: REVERT
00001bf7: JUMPDEST
00001bf8: DUP11
00001bf9: CALLDATALOAD
00001bfa: SWAP10
00001bfb: POP
00001bfc: PUSH1 0x20
00001bfe: DUP12
00001bff: ADD
00001c00: CALLDATALOAD
00001c01: SWAP9
00001c02: POP
00001c03: PUSH1 0x40
00001c05: DUP12
00001c06: ADD
00001c07: CALLDATALOAD
00001c08: SWAP8
00001c09: POP
00001c0a: PUSH1 0x60
00001c0c: DUP12
00001c0d: ADD
00001c0e: CALLDATALOAD
00001c0f: SWAP7
00001c10: POP
00001c11: PUSH1 0x80
00001c13: DUP12
00001c14: ADD
00001c15: CALLDATALOAD
00001c16: PUSH2 0x1c1e
00001c19: DUP2
00001c1a: PUSH2 0x1e07
00001c1d: JUMP
00001c1e: JUMPDEST
00001c1f: SWAP6
00001c20: POP
00001c21: PUSH1 0xa0
00001c23: DUP12
00001c24: ADD
00001c25: CALLDATALOAD
00001c26: PUSH2 0x1c2e
00001c29: DUP2
00001c2a: PUSH2 0x1e07
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: SWAP5
00001c30: POP
00001c31: PUSH1 0xc0
00001c33: DUP12
00001c34: ADD
00001c35: CALLDATALOAD
00001c36: PUSH8 0xffffffffffffffff
00001c3f: DUP1
00001c40: DUP3
00001c41: GT
00001c42: ISZERO
00001c43: PUSH2 0x1c4a
00001c46: JUMPI
00001c47: DUP6
00001c48: DUP7
00001c49: REVERT
00001c4a: JUMPDEST
00001c4b: PUSH2 0x1c56
00001c4e: DUP15
00001c4f: DUP4
00001c50: DUP16
00001c51: ADD
00001c52: PUSH2 0x1a76
00001c55: JUMP
00001c56: JUMPDEST
00001c57: SWAP1
00001c58: SWAP7
00001c59: POP
00001c5a: SWAP5
00001c5b: POP
00001c5c: PUSH1 0xe0
00001c5e: DUP14
00001c5f: ADD
00001c60: CALLDATALOAD
00001c61: SWAP2
00001c62: POP
00001c63: DUP1
00001c64: DUP3
00001c65: GT
00001c66: ISZERO
00001c67: PUSH2 0x1c6e
00001c6a: JUMPI
00001c6b: DUP4
00001c6c: DUP5
00001c6d: REVERT
00001c6e: JUMPDEST
00001c6f: POP
00001c70: PUSH2 0x1c7b
00001c73: DUP14
00001c74: DUP3
00001c75: DUP15
00001c76: ADD
00001c77: PUSH2 0x1a76
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: SWAP2
00001c7d: POP
00001c7e: DUP1
00001c7f: SWAP4
00001c80: POP
00001c81: POP
00001c82: DUP1
00001c83: SWAP2
00001c84: POP
00001c85: POP
00001c86: SWAP3
00001c87: SWAP6
00001c88: SWAP9
00001c89: SWAP12
00001c8a: SWAP2
00001c8b: SWAP5
00001c8c: SWAP8
00001c8d: SWAP11
00001c8e: POP
00001c8f: SWAP3
00001c90: SWAP6
00001c91: SWAP9
00001c92: POP
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x20
00001c97: DUP2
00001c98: MSTORE
00001c99: DUP2
00001c9a: PUSH1 0x20
00001c9c: DUP3
00001c9d: ADD
00001c9e: MSTORE
00001c9f: DUP2
00001ca0: DUP4
00001ca1: PUSH1 0x40
00001ca3: DUP4
00001ca4: ADD
00001ca5: CALLDATACOPY
00001ca6: PUSH1 0x00
00001ca8: DUP2
00001ca9: DUP4
00001caa: ADD
00001cab: PUSH1 0x40
00001cad: SWAP1
00001cae: DUP2
00001caf: ADD
00001cb0: SWAP2
00001cb1: SWAP1
00001cb2: SWAP2
00001cb3: MSTORE
00001cb4: PUSH1 0x1f
00001cb6: SWAP1
00001cb7: SWAP3
00001cb8: ADD
00001cb9: PUSH1 0x1f
00001cbb: NOT
00001cbc: AND
00001cbd: ADD
00001cbe: ADD
00001cbf: SWAP2
00001cc0: SWAP1
00001cc1: POP
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x00
00001cc6: PUSH1 0x20
00001cc8: DUP1
00001cc9: DUP4
00001cca: MSTORE
00001ccb: DUP4
00001ccc: MLOAD
00001ccd: DUP1
00001cce: DUP3
00001ccf: DUP6
00001cd0: ADD
00001cd1: MSTORE
00001cd2: DUP3
00001cd3: JUMPDEST
00001cd4: DUP2
00001cd5: DUP2
00001cd6: LT
00001cd7: ISZERO
00001cd8: PUSH2 0x1cef
00001cdb: JUMPI
00001cdc: DUP6
00001cdd: DUP2
00001cde: ADD
00001cdf: DUP4
00001ce0: ADD
00001ce1: MLOAD
00001ce2: DUP6
00001ce3: DUP3
00001ce4: ADD
00001ce5: PUSH1 0x40
00001ce7: ADD
00001ce8: MSTORE
00001ce9: DUP3
00001cea: ADD
00001ceb: PUSH2 0x1cd3
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: DUP2
00001cf1: DUP2
00001cf2: GT
00001cf3: ISZERO
00001cf4: PUSH2 0x1d00
00001cf7: JUMPI
00001cf8: DUP4
00001cf9: PUSH1 0x40
00001cfb: DUP4
00001cfc: DUP8
00001cfd: ADD
00001cfe: ADD
00001cff: MSTORE
00001d00: JUMPDEST
00001d01: POP
00001d02: PUSH1 0x1f
00001d04: ADD
00001d05: PUSH1 0x1f
00001d07: NOT
00001d08: AND
00001d09: SWAP3
00001d0a: SWAP1
00001d0b: SWAP3
00001d0c: ADD
00001d0d: PUSH1 0x40
00001d0f: ADD
00001d10: SWAP4
00001d11: SWAP3
00001d12: POP
00001d13: POP
00001d14: POP
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x00
00001d19: DUP3
00001d1a: NOT
00001d1b: DUP3
00001d1c: GT
00001d1d: ISZERO
00001d1e: PUSH2 0x1d29
00001d21: JUMPI
00001d22: PUSH2 0x1d29
00001d25: PUSH2 0x1df1
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: POP
00001d2b: ADD
00001d2c: SWAP1
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: PUSH1 0x00
00001d31: DUP3
00001d32: PUSH2 0x1d49
00001d35: JUMPI
00001d36: PUSH4 0x4e487b71
00001d3b: PUSH1 0xe0
00001d3d: SHL
00001d3e: DUP2
00001d3f: MSTORE
00001d40: PUSH1 0x12
00001d42: PUSH1 0x04
00001d44: MSTORE
00001d45: PUSH1 0x24
00001d47: DUP2
00001d48: REVERT
00001d49: JUMPDEST
00001d4a: POP
00001d4b: DIV
00001d4c: SWAP1
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH1 0x00
00001d51: DUP2
00001d52: PUSH1 0x00
00001d54: NOT
00001d55: DIV
00001d56: DUP4
00001d57: GT
00001d58: DUP3
00001d59: ISZERO
00001d5a: ISZERO
00001d5b: AND
00001d5c: ISZERO
00001d5d: PUSH2 0x1d68
00001d60: JUMPI
00001d61: PUSH2 0x1d68
00001d64: PUSH2 0x1df1
00001d67: JUMP
00001d68: JUMPDEST
00001d69: POP
00001d6a: MUL
00001d6b: SWAP1
00001d6c: JUMP
00001d6d: JUMPDEST
00001d6e: PUSH1 0x00
00001d70: DUP3
00001d71: DUP3
00001d72: LT
00001d73: ISZERO
00001d74: PUSH2 0x1d7f
00001d77: JUMPI
00001d78: PUSH2 0x1d7f
00001d7b: PUSH2 0x1df1
00001d7e: JUMP
00001d7f: JUMPDEST
00001d80: POP
00001d81: SUB
00001d82: SWAP1
00001d83: JUMP
00001d84: JUMPDEST
00001d85: PUSH1 0x00
00001d87: DUP2
00001d88: PUSH2 0x1d93
00001d8b: JUMPI
00001d8c: PUSH2 0x1d93
00001d8f: PUSH2 0x1df1
00001d92: JUMP
00001d93: JUMPDEST
00001d94: POP
00001d95: PUSH1 0x00
00001d97: NOT
00001d98: ADD
00001d99: SWAP1
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: PUSH1 0x01
00001d9e: DUP2
00001d9f: DUP2
00001da0: SHR
00001da1: SWAP1
00001da2: DUP3
00001da3: AND
00001da4: DUP1
00001da5: PUSH2 0x1daf
00001da8: JUMPI
00001da9: PUSH1 0x7f
00001dab: DUP3
00001dac: AND
00001dad: SWAP2
00001dae: POP
00001daf: JUMPDEST
00001db0: PUSH1 0x20
00001db2: DUP3
00001db3: LT
00001db4: DUP2
00001db5: EQ
00001db6: ISZERO
00001db7: PUSH2 0x1dd0
00001dba: JUMPI
00001dbb: PUSH4 0x4e487b71
00001dc0: PUSH1 0xe0
00001dc2: SHL
00001dc3: PUSH1 0x00
00001dc5: MSTORE
00001dc6: PUSH1 0x22
00001dc8: PUSH1 0x04
00001dca: MSTORE
00001dcb: PUSH1 0x24
00001dcd: PUSH1 0x00
00001dcf: REVERT
00001dd0: JUMPDEST
00001dd1: POP
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: POP
00001dd5: JUMP
00001dd6: JUMPDEST
00001dd7: PUSH1 0x00
00001dd9: PUSH1 0x00
00001ddb: NOT
00001ddc: DUP3
00001ddd: EQ
00001dde: ISZERO
00001ddf: PUSH2 0x1dea
00001de2: JUMPI
00001de3: PUSH2 0x1dea
00001de6: PUSH2 0x1df1
00001de9: JUMP
00001dea: JUMPDEST
00001deb: POP
00001dec: PUSH1 0x01
00001dee: ADD
00001def: SWAP1
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH4 0x4e487b71
00001df7: PUSH1 0xe0
00001df9: SHL
00001dfa: PUSH1 0x00
00001dfc: MSTORE
00001dfd: PUSH1 0x11
00001dff: PUSH1 0x04
00001e01: MSTORE
00001e02: PUSH1 0x24
00001e04: PUSH1 0x00
00001e06: REVERT
00001e07: JUMPDEST
00001e08: PUSH1 0x01
00001e0a: PUSH1 0x01
00001e0c: PUSH1 0xa0
00001e0e: SHL
00001e0f: SUB
00001e10: DUP2
00001e11: AND
00001e12: DUP2
00001e13: EQ
00001e14: PUSH2 0x1e1c
00001e17: JUMPI
00001e18: PUSH1 0x00
00001e1a: DUP1
00001e1b: REVERT
00001e1c: JUMPDEST
00001e1d: POP
00001e1e: JUMP
00001e1f: INVALID
00001e20: LOG2
00001e21: PUSH5 0x6970667358
00001e27: UNKNOWN(0x22)
00001e28: SLT
00001e29: KECCAK256
00001e2a: PUSH7 0x2ba8814ec92299
00001e32: CHAINID
00001e33: UNKNOWN(0xF6)
00001e34: UNKNOWN(0xD7)
00001e35: JUMPDEST
00001e36: UNKNOWN(0xF7)
00001e37: SLT
00001e38: DUP3
00001e39: AND
00001e3a: UNKNOWN(0xAE)
00001e3b: ADD
00001e3c: PUSH1 0x4d
00001e3e: MULMOD
00001e3f: SELFDESTRUCT
00001e40: UNKNOWN(0xB4)
00001e41: SGT
00001e42: UNKNOWN(0xA7)
00001e43: UNKNOWN(0x28)
00001e44: MUL
00001e45: SHL
00001e46: TIMESTAMP
00001e47: SWAP5
00001e48: UNKNOWN(0xBD)
00001e49: PUSH32

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd871b335790778cb24a2a4d0a191874cfdb329e0b95c5efc4a2fce79cb494ca6 call_targets: 0x73fbff71e169a148e4e534ea98292583d8832f19 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd871b335790778cb24a2a4d0a191874cfdb329e0b95c5efc4a2fce79cb494ca6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x73fbff71e169a148e4e534ea98292583d8832f19" ], "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": "0xf7b2a8fd", "selector": "0xf7b2a8fd", "calldata_variants": [ "0xf7b2a8fd", "0xf7b2a8fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcd393b9", "selector": "0xfcd393b9", "calldata_variants": [ "0xfcd393b9", "0xfcd393b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5a45323", "selector": "0xf5a45323", "calldata_variants": [ "0xf5a45323", "0xf5a453230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaaf10f42", "selector": "0xaaf10f42", "calldata_variants": [ "0xaaf10f42", "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbbd31ce6", "selector": "0xbbd31ce6", "calldata_variants": [ "0xbbd31ce6", "0xbbd31ce60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc00f14ab", "selector": "0xc00f14ab", "calldata_variants": [ "0xc00f14ab", "0xc00f14ab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1873, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3280, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4792, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd871b335790778cb24a2a4d0a191874cfdb329e0b95c5efc4a2fce79cb494ca6 call_targets: 0x73fbff71e169a148e4e534ea98292583d8832f19 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd871b335790778cb24a2a4d0a191874cfdb329e0b95c5efc4a2fce79cb494ca6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x73fbff71e169a148e4e534ea98292583d8832f19" ], "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": "0xf7b2a8fd", "selector": "0xf7b2a8fd", "calldata_variants": [ "0xf7b2a8fd", "0xf7b2a8fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcd393b9", "selector": "0xfcd393b9", "calldata_variants": [ "0xfcd393b9", "0xfcd393b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5a45323", "selector": "0xf5a45323", "calldata_variants": [ "0xf5a45323", "0xf5a453230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaaf10f42", "selector": "0xaaf10f42", "calldata_variants": [ "0xaaf10f42", "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbbd31ce6", "selector": "0xbbd31ce6", "calldata_variants": [ "0xbbd31ce6", "0xbbd31ce60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc00f14ab", "selector": "0xc00f14ab", "calldata_variants": [ "0xc00f14ab", "0xc00f14ab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1873, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3280, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4792, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x6aaffdf623a54320d8ca2a706ead34476eac0b9dbfa021241b7fc52938372bb4 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x6aaffdf623a54320d8ca2a706ead34476eac0b9dbfa021241b7fc52938372bb4", "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": "0xf7b2a8fd", "selector": "0xf7b2a8fd", "calldata_variants": [ "0xf7b2a8fd", "0xf7b2a8fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcd393b9", "selector": "0xfcd393b9", "calldata_variants": [ "0xfcd393b9", "0xfcd393b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5a45323", "selector": "0xf5a45323", "calldata_variants": [ "0xf5a45323", "0xf5a453230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaaf10f42", "selector": "0xaaf10f42", "calldata_variants": [ "0xaaf10f42", "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbbd31ce6", "selector": "0xbbd31ce6", "calldata_variants": [ "0xbbd31ce6", "0xbbd31ce60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc00f14ab", "selector": "0xc00f14ab", "calldata_variants": [ "0xc00f14ab", "0xc00f14ab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x6aaffdf623a54320d8ca2a706ead34476eac0b9dbfa021241b7fc52938372bb4 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x6aaffdf623a54320d8ca2a706ead34476eac0b9dbfa021241b7fc52938372bb4", "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": "0xf7b2a8fd", "selector": "0xf7b2a8fd", "calldata_variants": [ "0xf7b2a8fd", "0xf7b2a8fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcd393b9", "selector": "0xfcd393b9", "calldata_variants": [ "0xfcd393b9", "0xfcd393b90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5a45323", "selector": "0xf5a45323", "calldata_variants": [ "0xf5a45323", "0xf5a453230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaaf10f42", "selector": "0xaaf10f42", "calldata_variants": [ "0xaaf10f42", "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbbd31ce6", "selector": "0xbbd31ce6", "calldata_variants": [ "0xbbd31ce6", "0xbbd31ce60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc00f14ab", "selector": "0xc00f14ab", "calldata_variants": [ "0xc00f14ab", "0xc00f14ab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }