Analysis Run

019b477e-bd7b-70cb-b437-a56a05ea9738
complete
Chain ID
1
Address
0x79e77990415acacc1551ec342ff2b826fab2f4dd
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
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
24239	artifact.fetch	complete	1 / 3	4 months ago
24240	tool.cast_disasm	complete	1 / 3	4 months ago
68026	analysis.bundle	complete	1 / 3	2 weeks ago
68027	capability.graph	complete	1 / 3	2 weeks ago
68028	detector.run	complete	1 / 3	2 weeks ago
68029	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
2
Total opcodes
4522
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x016a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6a1db1bf
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xafdac65e
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xca15c873
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xca15c873
0000003a: EQ
0000003b: PUSH2 0x0698
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd547741f
00000045: EQ
00000046: PUSH2 0x06e7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf3f43703
00000050: EQ
00000051: PUSH2 0x0742
00000054: JUMPI
00000055: PUSH2 0x016a
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xafdac65e
00000060: EQ
00000061: PUSH2 0x0601
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc57981b5
0000006b: EQ
0000006c: PUSH2 0x0656
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc8796572
00000076: EQ
00000077: PUSH2 0x0681
0000007a: JUMPI
0000007b: PUSH2 0x016a
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x91d14854
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x91d14854
00000091: EQ
00000092: PUSH2 0x0527
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa217fddf
0000009c: EQ
0000009d: PUSH2 0x0598
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xaaf3a4c3
000000a7: EQ
000000a8: PUSH2 0x05c3
000000ab: JUMPI
000000ac: PUSH2 0x016a
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x6a1db1bf
000000b7: EQ
000000b8: PUSH2 0x047d
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9010d07c
000000c2: EQ
000000c3: PUSH2 0x04b8
000000c6: JUMPI
000000c7: PUSH2 0x016a
000000ca: JUMP
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x2f2ff15d
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x3ccfd60b
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x3ccfd60b
000000e8: EQ
000000e9: PUSH2 0x039b
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x4423c5f1
000000f3: EQ
000000f4: PUSH2 0x03b2
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x4746e697
000000fe: EQ
000000ff: PUSH2 0x0432
00000102: JUMPI
00000103: PUSH2 0x016a
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x2f2ff15d
0000010e: EQ
0000010f: PUSH2 0x02e5
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x36568abe
00000119: EQ
0000011a: PUSH2 0x0340
0000011d: JUMPI
0000011e: PUSH2 0x016a
00000121: JUMP
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x1d60ce8a
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x1d60ce8a
00000134: EQ
00000135: PUSH2 0x022a
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x22609200
0000013f: EQ
00000140: PUSH2 0x026b
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x248a9ca3
0000014a: EQ
0000014b: PUSH2 0x0296
0000014e: JUMPI
0000014f: PUSH2 0x016a
00000152: JUMP
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x06fdde03
0000015a: EQ
0000015b: PUSH2 0x016f
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x1a32ebb6
00000165: EQ
00000166: PUSH2 0x01ff
00000169: JUMPI
0000016a: JUMPDEST
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x0184
00000180: PUSH2 0x07a7
00000183: JUMP
00000184: JUMPDEST
00000185: PUSH1 0x40
00000187: MLOAD
00000188: DUP1
00000189: DUP1
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: DUP3
0000018e: DUP2
0000018f: SUB
00000190: DUP3
00000191: MSTORE
00000192: DUP4
00000193: DUP2
00000194: DUP2
00000195: MLOAD
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: SWAP2
0000019c: POP
0000019d: DUP1
0000019e: MLOAD
0000019f: SWAP1
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP1
000001a4: DUP1
000001a5: DUP4
000001a6: DUP4
000001a7: PUSH1 0x00
000001a9: JUMPDEST
000001aa: DUP4
000001ab: DUP2
000001ac: LT
000001ad: ISZERO
000001ae: PUSH2 0x01c4
000001b1: JUMPI
000001b2: DUP1
000001b3: DUP3
000001b4: ADD
000001b5: MLOAD
000001b6: DUP2
000001b7: DUP5
000001b8: ADD
000001b9: MSTORE
000001ba: PUSH1 0x20
000001bc: DUP2
000001bd: ADD
000001be: SWAP1
000001bf: POP
000001c0: PUSH2 0x01a9
000001c3: JUMP
000001c4: JUMPDEST
000001c5: POP
000001c6: POP
000001c7: POP
000001c8: POP
000001c9: SWAP1
000001ca: POP
000001cb: SWAP1
000001cc: DUP2
000001cd: ADD
000001ce: SWAP1
000001cf: PUSH1 0x1f
000001d1: AND
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01f1
000001d7: JUMPI
000001d8: DUP1
000001d9: DUP3
000001da: SUB
000001db: DUP1
000001dc: MLOAD
000001dd: PUSH1 0x01
000001df: DUP4
000001e0: PUSH1 0x20
000001e2: SUB
000001e3: PUSH2 0x0100
000001e6: EXP
000001e7: SUB
000001e8: NOT
000001e9: AND
000001ea: DUP2
000001eb: MSTORE
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP2
000001f0: POP
000001f1: JUMPDEST
000001f2: POP
000001f3: SWAP3
000001f4: POP
000001f5: POP
000001f6: POP
000001f7: PUSH1 0x40
000001f9: MLOAD
000001fa: DUP1
000001fb: SWAP2
000001fc: SUB
000001fd: SWAP1
000001fe: RETURN
000001ff: JUMPDEST
00000200: CALLVALUE
00000201: DUP1
00000202: ISZERO
00000203: PUSH2 0x020b
00000206: JUMPI
00000207: PUSH1 0x00
00000209: DUP1
0000020a: REVERT
0000020b: JUMPDEST
0000020c: POP
0000020d: PUSH2 0x0214
00000210: PUSH2 0x0845
00000213: JUMP
00000214: JUMPDEST
00000215: PUSH1 0x40
00000217: MLOAD
00000218: DUP1
00000219: DUP3
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: SWAP2
00000220: POP
00000221: POP
00000222: PUSH1 0x40
00000224: MLOAD
00000225: DUP1
00000226: SWAP2
00000227: SUB
00000228: SWAP1
00000229: RETURN
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x023f
0000023b: PUSH2 0x084a
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH1 0x40
00000242: MLOAD
00000243: DUP1
00000244: DUP3
00000245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025a: AND
0000025b: DUP2
0000025c: MSTORE
0000025d: PUSH1 0x20
0000025f: ADD
00000260: SWAP2
00000261: POP
00000262: POP
00000263: PUSH1 0x40
00000265: MLOAD
00000266: DUP1
00000267: SWAP2
00000268: SUB
00000269: SWAP1
0000026a: RETURN
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 0x0280
0000027c: PUSH2 0x0862
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: DUP3
00000286: DUP2
00000287: MSTORE
00000288: PUSH1 0x20
0000028a: ADD
0000028b: SWAP2
0000028c: POP
0000028d: POP
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: DUP1
00000292: SWAP2
00000293: SUB
00000294: SWAP1
00000295: RETURN
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x02cf
000002a7: PUSH1 0x04
000002a9: DUP1
000002aa: CALLDATASIZE
000002ab: SUB
000002ac: PUSH1 0x20
000002ae: DUP2
000002af: LT
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: DUP2
000002bb: ADD
000002bc: SWAP1
000002bd: DUP1
000002be: DUP1
000002bf: CALLDATALOAD
000002c0: SWAP1
000002c1: PUSH1 0x20
000002c3: ADD
000002c4: SWAP1
000002c5: SWAP3
000002c6: SWAP2
000002c7: SWAP1
000002c8: POP
000002c9: POP
000002ca: POP
000002cb: PUSH2 0x0868
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: DUP1
000002d4: DUP3
000002d5: DUP2
000002d6: MSTORE
000002d7: PUSH1 0x20
000002d9: ADD
000002da: SWAP2
000002db: POP
000002dc: POP
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: DUP1
000002e1: SWAP2
000002e2: SUB
000002e3: SWAP1
000002e4: RETURN
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x033e
000002f6: PUSH1 0x04
000002f8: DUP1
000002f9: CALLDATASIZE
000002fa: SUB
000002fb: PUSH1 0x40
000002fd: DUP2
000002fe: LT
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: DUP2
0000030a: ADD
0000030b: SWAP1
0000030c: DUP1
0000030d: DUP1
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: SWAP3
00000315: SWAP2
00000316: SWAP1
00000317: DUP1
00000318: CALLDATALOAD
00000319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032e: AND
0000032f: SWAP1
00000330: PUSH1 0x20
00000332: ADD
00000333: SWAP1
00000334: SWAP3
00000335: SWAP2
00000336: SWAP1
00000337: POP
00000338: POP
00000339: POP
0000033a: PUSH2 0x0887
0000033d: JUMP
0000033e: JUMPDEST
0000033f: STOP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: PUSH2 0x0399
00000351: PUSH1 0x04
00000353: DUP1
00000354: CALLDATASIZE
00000355: SUB
00000356: PUSH1 0x40
00000358: DUP2
00000359: LT
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: DUP2
00000365: ADD
00000366: SWAP1
00000367: DUP1
00000368: DUP1
00000369: CALLDATALOAD
0000036a: SWAP1
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP1
0000036f: SWAP3
00000370: SWAP2
00000371: SWAP1
00000372: DUP1
00000373: CALLDATALOAD
00000374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000389: AND
0000038a: SWAP1
0000038b: PUSH1 0x20
0000038d: ADD
0000038e: SWAP1
0000038f: SWAP3
00000390: SWAP2
00000391: SWAP1
00000392: POP
00000393: POP
00000394: POP
00000395: PUSH2 0x0910
00000398: JUMP
00000399: JUMPDEST
0000039a: STOP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03b0
000003ac: PUSH2 0x09a9
000003af: JUMP
000003b0: JUMPDEST
000003b1: STOP
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: DUP1
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: POP
000003c0: PUSH2 0x03eb
000003c3: PUSH1 0x04
000003c5: DUP1
000003c6: CALLDATASIZE
000003c7: SUB
000003c8: PUSH1 0x20
000003ca: DUP2
000003cb: LT
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: DUP2
000003d7: ADD
000003d8: SWAP1
000003d9: DUP1
000003da: DUP1
000003db: CALLDATALOAD
000003dc: SWAP1
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP1
000003e1: SWAP3
000003e2: SWAP2
000003e3: SWAP1
000003e4: POP
000003e5: POP
000003e6: POP
000003e7: PUSH2 0x0a7c
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: DUP1
000003f0: DUP6
000003f1: PUSH1 0xff
000003f3: AND
000003f4: DUP2
000003f5: MSTORE
000003f6: PUSH1 0x20
000003f8: ADD
000003f9: DUP5
000003fa: PUSH1 0xff
000003fc: AND
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: ADD
00000402: DUP4
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x20
00000407: ADD
00000408: DUP3
00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041e: AND
0000041f: DUP2
00000420: MSTORE
00000421: PUSH1 0x20
00000423: ADD
00000424: SWAP5
00000425: POP
00000426: POP
00000427: POP
00000428: POP
00000429: POP
0000042a: PUSH1 0x40
0000042c: MLOAD
0000042d: DUP1
0000042e: SWAP2
0000042f: SUB
00000430: SWAP1
00000431: RETURN
00000432: JUMPDEST
00000433: CALLVALUE
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: POP
00000440: PUSH2 0x047b
00000443: PUSH1 0x04
00000445: DUP1
00000446: CALLDATASIZE
00000447: SUB
00000448: PUSH1 0x40
0000044a: DUP2
0000044b: LT
0000044c: ISZERO
0000044d: PUSH2 0x0455
00000450: JUMPI
00000451: PUSH1 0x00
00000453: DUP1
00000454: REVERT
00000455: JUMPDEST
00000456: DUP2
00000457: ADD
00000458: SWAP1
00000459: DUP1
0000045a: DUP1
0000045b: CALLDATALOAD
0000045c: PUSH1 0xff
0000045e: AND
0000045f: SWAP1
00000460: PUSH1 0x20
00000462: ADD
00000463: SWAP1
00000464: SWAP3
00000465: SWAP2
00000466: SWAP1
00000467: DUP1
00000468: CALLDATALOAD
00000469: PUSH1 0xff
0000046b: AND
0000046c: SWAP1
0000046d: PUSH1 0x20
0000046f: ADD
00000470: SWAP1
00000471: SWAP3
00000472: SWAP2
00000473: SWAP1
00000474: POP
00000475: POP
00000476: POP
00000477: PUSH2 0x0ae6
0000047a: JUMP
0000047b: JUMPDEST
0000047c: STOP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x04b6
0000048e: PUSH1 0x04
00000490: DUP1
00000491: CALLDATASIZE
00000492: SUB
00000493: PUSH1 0x20
00000495: DUP2
00000496: LT
00000497: ISZERO
00000498: PUSH2 0x04a0
0000049b: JUMPI
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: DUP2
000004a2: ADD
000004a3: SWAP1
000004a4: DUP1
000004a5: DUP1
000004a6: CALLDATALOAD
000004a7: SWAP1
000004a8: PUSH1 0x20
000004aa: ADD
000004ab: SWAP1
000004ac: SWAP3
000004ad: SWAP2
000004ae: SWAP1
000004af: POP
000004b0: POP
000004b1: POP
000004b2: PUSH2 0x0dd1
000004b5: JUMP
000004b6: JUMPDEST
000004b7: STOP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x04fb
000004c9: PUSH1 0x04
000004cb: DUP1
000004cc: CALLDATASIZE
000004cd: SUB
000004ce: PUSH1 0x40
000004d0: DUP2
000004d1: LT
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: DUP2
000004dd: ADD
000004de: SWAP1
000004df: DUP1
000004e0: DUP1
000004e1: CALLDATALOAD
000004e2: SWAP1
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: SWAP1
000004e7: SWAP3
000004e8: SWAP2
000004e9: SWAP1
000004ea: DUP1
000004eb: CALLDATALOAD
000004ec: SWAP1
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: SWAP1
000004f1: SWAP3
000004f2: SWAP2
000004f3: SWAP1
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: PUSH2 0x0df1
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: DUP3
00000501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000516: AND
00000517: DUP2
00000518: MSTORE
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP2
0000051d: POP
0000051e: POP
0000051f: PUSH1 0x40
00000521: MLOAD
00000522: DUP1
00000523: SWAP2
00000524: SUB
00000525: SWAP1
00000526: RETURN
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0533
0000052e: JUMPI
0000052f: PUSH1 0x00
00000531: DUP1
00000532: REVERT
00000533: JUMPDEST
00000534: POP
00000535: PUSH2 0x0580
00000538: PUSH1 0x04
0000053a: DUP1
0000053b: CALLDATASIZE
0000053c: SUB
0000053d: PUSH1 0x40
0000053f: DUP2
00000540: LT
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: DUP2
0000054c: ADD
0000054d: SWAP1
0000054e: DUP1
0000054f: DUP1
00000550: CALLDATALOAD
00000551: SWAP1
00000552: PUSH1 0x20
00000554: ADD
00000555: SWAP1
00000556: SWAP3
00000557: SWAP2
00000558: SWAP1
00000559: DUP1
0000055a: CALLDATALOAD
0000055b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000570: AND
00000571: SWAP1
00000572: PUSH1 0x20
00000574: ADD
00000575: SWAP1
00000576: SWAP3
00000577: SWAP2
00000578: SWAP1
00000579: POP
0000057a: POP
0000057b: POP
0000057c: PUSH2 0x0e22
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x40
00000583: MLOAD
00000584: DUP1
00000585: DUP3
00000586: ISZERO
00000587: ISZERO
00000588: DUP2
00000589: MSTORE
0000058a: PUSH1 0x20
0000058c: ADD
0000058d: SWAP2
0000058e: POP
0000058f: POP
00000590: PUSH1 0x40
00000592: MLOAD
00000593: DUP1
00000594: SWAP2
00000595: SUB
00000596: SWAP1
00000597: RETURN
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x05ad
000005a9: PUSH2 0x0e53
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x40
000005b0: MLOAD
000005b1: DUP1
000005b2: DUP3
000005b3: DUP2
000005b4: MSTORE
000005b5: PUSH1 0x20
000005b7: ADD
000005b8: SWAP2
000005b9: POP
000005ba: POP
000005bb: PUSH1 0x40
000005bd: MLOAD
000005be: DUP1
000005bf: SWAP2
000005c0: SUB
000005c1: SWAP1
000005c2: RETURN
000005c3: JUMPDEST
000005c4: PUSH2 0x05ff
000005c7: PUSH1 0x04
000005c9: DUP1
000005ca: CALLDATASIZE
000005cb: SUB
000005cc: PUSH1 0x40
000005ce: DUP2
000005cf: LT
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: DUP2
000005db: ADD
000005dc: SWAP1
000005dd: DUP1
000005de: DUP1
000005df: CALLDATALOAD
000005e0: PUSH1 0xff
000005e2: AND
000005e3: SWAP1
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP1
000005e8: SWAP3
000005e9: SWAP2
000005ea: SWAP1
000005eb: DUP1
000005ec: CALLDATALOAD
000005ed: PUSH1 0xff
000005ef: AND
000005f0: SWAP1
000005f1: PUSH1 0x20
000005f3: ADD
000005f4: SWAP1
000005f5: SWAP3
000005f6: SWAP2
000005f7: SWAP1
000005f8: POP
000005f9: POP
000005fa: POP
000005fb: PUSH2 0x0e5a
000005fe: JUMP
000005ff: JUMPDEST
00000600: STOP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH2 0x0654
00000612: PUSH1 0x04
00000614: DUP1
00000615: CALLDATASIZE
00000616: SUB
00000617: PUSH1 0x60
00000619: DUP2
0000061a: LT
0000061b: ISZERO
0000061c: PUSH2 0x0624
0000061f: JUMPI
00000620: PUSH1 0x00
00000622: DUP1
00000623: REVERT
00000624: JUMPDEST
00000625: DUP2
00000626: ADD
00000627: SWAP1
00000628: DUP1
00000629: DUP1
0000062a: CALLDATALOAD
0000062b: PUSH1 0xff
0000062d: AND
0000062e: SWAP1
0000062f: PUSH1 0x20
00000631: ADD
00000632: SWAP1
00000633: SWAP3
00000634: SWAP2
00000635: SWAP1
00000636: DUP1
00000637: CALLDATALOAD
00000638: PUSH1 0xff
0000063a: AND
0000063b: SWAP1
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: SWAP1
00000640: SWAP3
00000641: SWAP2
00000642: SWAP1
00000643: DUP1
00000644: CALLDATALOAD
00000645: SWAP1
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP1
0000064a: SWAP3
0000064b: SWAP2
0000064c: SWAP1
0000064d: POP
0000064e: POP
0000064f: POP
00000650: PUSH2 0x11a9
00000653: JUMP
00000654: JUMPDEST
00000655: STOP
00000656: JUMPDEST
00000657: CALLVALUE
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x0662
0000065d: JUMPI
0000065e: PUSH1 0x00
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: POP
00000664: PUSH2 0x066b
00000667: PUSH2 0x1798
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x40
0000066e: MLOAD
0000066f: DUP1
00000670: DUP3
00000671: DUP2
00000672: MSTORE
00000673: PUSH1 0x20
00000675: ADD
00000676: SWAP2
00000677: POP
00000678: POP
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: SWAP2
0000067e: SUB
0000067f: SWAP1
00000680: RETURN
00000681: JUMPDEST
00000682: CALLVALUE
00000683: DUP1
00000684: ISZERO
00000685: PUSH2 0x068d
00000688: JUMPI
00000689: PUSH1 0x00
0000068b: DUP1
0000068c: REVERT
0000068d: JUMPDEST
0000068e: POP
0000068f: PUSH2 0x0696
00000692: PUSH2 0x179e
00000695: JUMP
00000696: JUMPDEST
00000697: STOP
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x06d1
000006a9: PUSH1 0x04
000006ab: DUP1
000006ac: CALLDATASIZE
000006ad: SUB
000006ae: PUSH1 0x20
000006b0: DUP2
000006b1: LT
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: DUP2
000006bd: ADD
000006be: SWAP1
000006bf: DUP1
000006c0: DUP1
000006c1: CALLDATALOAD
000006c2: SWAP1
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: SWAP1
000006c7: SWAP3
000006c8: SWAP2
000006c9: SWAP1
000006ca: POP
000006cb: POP
000006cc: POP
000006cd: PUSH2 0x191a
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH1 0x40
000006d4: MLOAD
000006d5: DUP1
000006d6: DUP3
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP2
000006dd: POP
000006de: POP
000006df: PUSH1 0x40
000006e1: MLOAD
000006e2: DUP1
000006e3: SWAP2
000006e4: SUB
000006e5: SWAP1
000006e6: RETURN
000006e7: JUMPDEST
000006e8: CALLVALUE
000006e9: DUP1
000006ea: ISZERO
000006eb: PUSH2 0x06f3
000006ee: JUMPI
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: REVERT
000006f3: JUMPDEST
000006f4: POP
000006f5: PUSH2 0x0740
000006f8: PUSH1 0x04
000006fa: DUP1
000006fb: CALLDATASIZE
000006fc: SUB
000006fd: PUSH1 0x40
000006ff: DUP2
00000700: LT
00000701: ISZERO
00000702: PUSH2 0x070a
00000705: JUMPI
00000706: PUSH1 0x00
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: DUP2
0000070c: ADD
0000070d: SWAP1
0000070e: DUP1
0000070f: DUP1
00000710: CALLDATALOAD
00000711: SWAP1
00000712: PUSH1 0x20
00000714: ADD
00000715: SWAP1
00000716: SWAP3
00000717: SWAP2
00000718: SWAP1
00000719: DUP1
0000071a: CALLDATALOAD
0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000730: AND
00000731: SWAP1
00000732: PUSH1 0x20
00000734: ADD
00000735: SWAP1
00000736: SWAP3
00000737: SWAP2
00000738: SWAP1
00000739: POP
0000073a: POP
0000073b: POP
0000073c: PUSH2 0x1940
0000073f: JUMP
00000740: JUMPDEST
00000741: STOP
00000742: JUMPDEST
00000743: CALLVALUE
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: PUSH2 0x0791
00000753: PUSH1 0x04
00000755: DUP1
00000756: CALLDATASIZE
00000757: SUB
00000758: PUSH1 0x20
0000075a: DUP2
0000075b: LT
0000075c: ISZERO
0000075d: PUSH2 0x0765
00000760: JUMPI
00000761: PUSH1 0x00
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: DUP2
00000767: ADD
00000768: SWAP1
00000769: DUP1
0000076a: DUP1
0000076b: CALLDATALOAD
0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000781: AND
00000782: SWAP1
00000783: PUSH1 0x20
00000785: ADD
00000786: SWAP1
00000787: SWAP3
00000788: SWAP2
00000789: SWAP1
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: PUSH2 0x19c9
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH1 0x40
00000794: MLOAD
00000795: DUP1
00000796: DUP3
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x20
0000079b: ADD
0000079c: SWAP2
0000079d: POP
0000079e: POP
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: DUP1
000007a3: SWAP2
000007a4: SUB
000007a5: SWAP1
000007a6: RETURN
000007a7: JUMPDEST
000007a8: PUSH1 0x01
000007aa: DUP1
000007ab: SLOAD
000007ac: PUSH1 0x01
000007ae: DUP2
000007af: PUSH1 0x01
000007b1: AND
000007b2: ISZERO
000007b3: PUSH2 0x0100
000007b6: MUL
000007b7: SUB
000007b8: AND
000007b9: PUSH1 0x02
000007bb: SWAP1
000007bc: DIV
000007bd: DUP1
000007be: PUSH1 0x1f
000007c0: ADD
000007c1: PUSH1 0x20
000007c3: DUP1
000007c4: SWAP2
000007c5: DIV
000007c6: MUL
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: PUSH1 0x40
000007cc: MLOAD
000007cd: SWAP1
000007ce: DUP2
000007cf: ADD
000007d0: PUSH1 0x40
000007d2: MSTORE
000007d3: DUP1
000007d4: SWAP3
000007d5: SWAP2
000007d6: SWAP1
000007d7: DUP2
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x20
000007dc: ADD
000007dd: DUP3
000007de: DUP1
000007df: SLOAD
000007e0: PUSH1 0x01
000007e2: DUP2
000007e3: PUSH1 0x01
000007e5: AND
000007e6: ISZERO
000007e7: PUSH2 0x0100
000007ea: MUL
000007eb: SUB
000007ec: AND
000007ed: PUSH1 0x02
000007ef: SWAP1
000007f0: DIV
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x083d
000007f6: JUMPI
000007f7: DUP1
000007f8: PUSH1 0x1f
000007fa: LT
000007fb: PUSH2 0x0812
000007fe: JUMPI
000007ff: PUSH2 0x0100
00000802: DUP1
00000803: DUP4
00000804: SLOAD
00000805: DIV
00000806: MUL
00000807: DUP4
00000808: MSTORE
00000809: SWAP2
0000080a: PUSH1 0x20
0000080c: ADD
0000080d: SWAP2
0000080e: PUSH2 0x083d
00000811: JUMP
00000812: JUMPDEST
00000813: DUP3
00000814: ADD
00000815: SWAP2
00000816: SWAP1
00000817: PUSH1 0x00
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: PUSH1 0x00
0000081e: KECCAK256
0000081f: SWAP1
00000820: JUMPDEST
00000821: DUP2
00000822: SLOAD
00000823: DUP2
00000824: MSTORE
00000825: SWAP1
00000826: PUSH1 0x01
00000828: ADD
00000829: SWAP1
0000082a: PUSH1 0x20
0000082c: ADD
0000082d: DUP1
0000082e: DUP4
0000082f: GT
00000830: PUSH2 0x0820
00000833: JUMPI
00000834: DUP3
00000835: SWAP1
00000836: SUB
00000837: PUSH1 0x1f
00000839: AND
0000083a: DUP3
0000083b: ADD
0000083c: SWAP2
0000083d: JUMPDEST
0000083e: POP
0000083f: POP
00000840: POP
00000841: POP
00000842: POP
00000843: DUP2
00000844: JUMP
00000845: JUMPDEST
00000846: PUSH1 0x21
00000848: DUP2
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH20 0xb21f8684f23dbb1008508b4de91a0aaedebdb7e4
00000860: DUP2
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x03
00000865: SLOAD
00000866: DUP2
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: PUSH1 0x00
0000086e: DUP4
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP1
00000875: DUP2
00000876: MSTORE
00000877: PUSH1 0x20
00000879: ADD
0000087a: PUSH1 0x00
0000087c: KECCAK256
0000087d: PUSH1 0x02
0000087f: ADD
00000880: SLOAD
00000881: SWAP1
00000882: POP
00000883: SWAP2
00000884: SWAP1
00000885: POP
00000886: JUMP
00000887: JUMPDEST
00000888: PUSH2 0x08ad
0000088b: PUSH1 0x00
0000088d: DUP1
0000088e: DUP5
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP1
00000895: DUP2
00000896: MSTORE
00000897: PUSH1 0x20
00000899: ADD
0000089a: PUSH1 0x00
0000089c: KECCAK256
0000089d: PUSH1 0x02
0000089f: ADD
000008a0: SLOAD
000008a1: PUSH2 0x08a8
000008a4: PUSH2 0x1a11
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH2 0x0e22
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH2 0x0902
000008b1: JUMPI
000008b2: PUSH1 0x40
000008b4: MLOAD
000008b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008d6: DUP2
000008d7: MSTORE
000008d8: PUSH1 0x04
000008da: ADD
000008db: DUP1
000008dc: DUP1
000008dd: PUSH1 0x20
000008df: ADD
000008e0: DUP3
000008e1: DUP2
000008e2: SUB
000008e3: DUP3
000008e4: MSTORE
000008e5: PUSH1 0x2f
000008e7: DUP2
000008e8: MSTORE
000008e9: PUSH1 0x20
000008eb: ADD
000008ec: DUP1
000008ed: PUSH2 0x1f22
000008f0: PUSH1 0x2f
000008f2: SWAP2
000008f3: CODECOPY
000008f4: PUSH1 0x40
000008f6: ADD
000008f7: SWAP2
000008f8: POP
000008f9: POP
000008fa: PUSH1 0x40
000008fc: MLOAD
000008fd: DUP1
000008fe: SWAP2
000008ff: SUB
00000900: SWAP1
00000901: REVERT
00000902: JUMPDEST
00000903: PUSH2 0x090c
00000906: DUP3
00000907: DUP3
00000908: PUSH2 0x1a19
0000090b: JUMP
0000090c: JUMPDEST
0000090d: POP
0000090e: POP
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH2 0x0918
00000914: PUSH2 0x1a11
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092e: AND
0000092f: DUP2
00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000945: AND
00000946: EQ
00000947: PUSH2 0x099b
0000094a: JUMPI
0000094b: PUSH1 0x40
0000094d: MLOAD
0000094e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x04
00000973: ADD
00000974: DUP1
00000975: DUP1
00000976: PUSH1 0x20
00000978: ADD
00000979: DUP3
0000097a: DUP2
0000097b: SUB
0000097c: DUP3
0000097d: MSTORE
0000097e: PUSH1 0x2f
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x20
00000984: ADD
00000985: DUP1
00000986: PUSH2 0x1ff7
00000989: PUSH1 0x2f
0000098b: SWAP2
0000098c: CODECOPY
0000098d: PUSH1 0x40
0000098f: ADD
00000990: SWAP2
00000991: POP
00000992: POP
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: SWAP2
00000998: SUB
00000999: SWAP1
0000099a: REVERT
0000099b: JUMPDEST
0000099c: PUSH2 0x09a5
0000099f: DUP3
000009a0: DUP3
000009a1: PUSH2 0x1aac
000009a4: JUMP
000009a5: JUMPDEST
000009a6: POP
000009a7: POP
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x00
000009ac: PUSH1 0x05
000009ae: PUSH1 0x00
000009b0: CALLER
000009b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c6: AND
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: DUP2
000009de: MSTORE
000009df: PUSH1 0x20
000009e1: ADD
000009e2: SWAP1
000009e3: DUP2
000009e4: MSTORE
000009e5: PUSH1 0x20
000009e7: ADD
000009e8: PUSH1 0x00
000009ea: KECCAK256
000009eb: SLOAD
000009ec: SWAP1
000009ed: POP
000009ee: PUSH1 0x00
000009f0: PUSH1 0x05
000009f2: PUSH1 0x00
000009f4: CALLER
000009f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0a: AND
00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH1 0x20
00000a25: ADD
00000a26: SWAP1
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x20
00000a2b: ADD
00000a2c: PUSH1 0x00
00000a2e: KECCAK256
00000a2f: DUP2
00000a30: SWAP1
00000a31: SSTORE
00000a32: POP
00000a33: CALLER
00000a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a49: AND
00000a4a: PUSH2 0x08fc
00000a4d: DUP3
00000a4e: SWAP1
00000a4f: DUP2
00000a50: ISZERO
00000a51: MUL
00000a52: SWAP1
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: PUSH1 0x00
00000a58: PUSH1 0x40
00000a5a: MLOAD
00000a5b: DUP1
00000a5c: DUP4
00000a5d: SUB
00000a5e: DUP2
00000a5f: DUP6
00000a60: DUP9
00000a61: DUP9
00000a62: CALL
00000a63: SWAP4
00000a64: POP
00000a65: POP
00000a66: POP
00000a67: POP
00000a68: ISZERO
00000a69: DUP1
00000a6a: ISZERO
00000a6b: PUSH2 0x0a78
00000a6e: JUMPI
00000a6f: RETURNDATASIZE
00000a70: PUSH1 0x00
00000a72: DUP1
00000a73: RETURNDATACOPY
00000a74: RETURNDATASIZE
00000a75: PUSH1 0x00
00000a77: REVERT
00000a78: JUMPDEST
00000a79: POP
00000a7a: POP
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x04
00000a7f: PUSH1 0x20
00000a81: MSTORE
00000a82: DUP1
00000a83: PUSH1 0x00
00000a85: MSTORE
00000a86: PUSH1 0x40
00000a88: PUSH1 0x00
00000a8a: KECCAK256
00000a8b: PUSH1 0x00
00000a8d: SWAP2
00000a8e: POP
00000a8f: SWAP1
00000a90: POP
00000a91: DUP1
00000a92: PUSH1 0x00
00000a94: ADD
00000a95: PUSH1 0x00
00000a97: SWAP1
00000a98: SLOAD
00000a99: SWAP1
00000a9a: PUSH2 0x0100
00000a9d: EXP
00000a9e: SWAP1
00000a9f: DIV
00000aa0: PUSH1 0xff
00000aa2: AND
00000aa3: SWAP1
00000aa4: DUP1
00000aa5: PUSH1 0x00
00000aa7: ADD
00000aa8: PUSH1 0x01
00000aaa: SWAP1
00000aab: SLOAD
00000aac: SWAP1
00000aad: PUSH2 0x0100
00000ab0: EXP
00000ab1: SWAP1
00000ab2: DIV
00000ab3: PUSH1 0xff
00000ab5: AND
00000ab6: SWAP1
00000ab7: DUP1
00000ab8: PUSH1 0x01
00000aba: ADD
00000abb: SLOAD
00000abc: SWAP1
00000abd: DUP1
00000abe: PUSH1 0x02
00000ac0: ADD
00000ac1: PUSH1 0x00
00000ac3: SWAP1
00000ac4: SLOAD
00000ac5: SWAP1
00000ac6: PUSH2 0x0100
00000ac9: EXP
00000aca: SWAP1
00000acb: DIV
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: AND
00000ae2: SWAP1
00000ae3: POP
00000ae4: DUP5
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: PUSH1 0x00
00000ae9: PUSH2 0x0af2
00000aec: DUP4
00000aed: DUP4
00000aee: PUSH2 0x1b3f
00000af1: JUMP
00000af2: JUMPDEST
00000af3: SWAP1
00000af4: POP
00000af5: PUSH1 0x00
00000af7: PUSH1 0x04
00000af9: PUSH1 0x00
00000afb: DUP4
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x20
00000b00: ADD
00000b01: SWAP1
00000b02: DUP2
00000b03: MSTORE
00000b04: PUSH1 0x20
00000b06: ADD
00000b07: PUSH1 0x00
00000b09: KECCAK256
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: DUP1
00000b0e: PUSH1 0x80
00000b10: ADD
00000b11: PUSH1 0x40
00000b13: MSTORE
00000b14: SWAP1
00000b15: DUP2
00000b16: PUSH1 0x00
00000b18: DUP3
00000b19: ADD
00000b1a: PUSH1 0x00
00000b1c: SWAP1
00000b1d: SLOAD
00000b1e: SWAP1
00000b1f: PUSH2 0x0100
00000b22: EXP
00000b23: SWAP1
00000b24: DIV
00000b25: PUSH1 0xff
00000b27: AND
00000b28: PUSH1 0xff
00000b2a: AND
00000b2b: PUSH1 0xff
00000b2d: AND
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x20
00000b32: ADD
00000b33: PUSH1 0x00
00000b35: DUP3
00000b36: ADD
00000b37: PUSH1 0x01
00000b39: SWAP1
00000b3a: SLOAD
00000b3b: SWAP1
00000b3c: PUSH2 0x0100
00000b3f: EXP
00000b40: SWAP1
00000b41: DIV
00000b42: PUSH1 0xff
00000b44: AND
00000b45: PUSH1 0xff
00000b47: AND
00000b48: PUSH1 0xff
00000b4a: AND
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x20
00000b4f: ADD
00000b50: PUSH1 0x01
00000b52: DUP3
00000b53: ADD
00000b54: SLOAD
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x20
00000b59: ADD
00000b5a: PUSH1 0x02
00000b5c: DUP3
00000b5d: ADD
00000b5e: PUSH1 0x00
00000b60: SWAP1
00000b61: SLOAD
00000b62: SWAP1
00000b63: PUSH2 0x0100
00000b66: EXP
00000b67: SWAP1
00000b68: DIV
00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7e: AND
00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b94: AND
00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000baa: AND
00000bab: DUP2
00000bac: MSTORE
00000bad: POP
00000bae: POP
00000baf: SWAP1
00000bb0: POP
00000bb1: DUP1
00000bb2: PUSH1 0x60
00000bb4: ADD
00000bb5: MLOAD
00000bb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcb: AND
00000bcc: CALLER
00000bcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be2: AND
00000be3: EQ
00000be4: PUSH2 0x0c38
00000be7: JUMPI
00000be8: PUSH1 0x40
00000bea: MLOAD
00000beb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c0c: DUP2
00000c0d: MSTORE
00000c0e: PUSH1 0x04
00000c10: ADD
00000c11: DUP1
00000c12: DUP1
00000c13: PUSH1 0x20
00000c15: ADD
00000c16: DUP3
00000c17: DUP2
00000c18: SUB
00000c19: DUP3
00000c1a: MSTORE
00000c1b: PUSH1 0x2e
00000c1d: DUP2
00000c1e: MSTORE
00000c1f: PUSH1 0x20
00000c21: ADD
00000c22: DUP1
00000c23: PUSH2 0x1f76
00000c26: PUSH1 0x2e
00000c28: SWAP2
00000c29: CODECOPY
00000c2a: PUSH1 0x40
00000c2c: ADD
00000c2d: SWAP2
00000c2e: POP
00000c2f: POP
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: DUP1
00000c34: SWAP2
00000c35: SUB
00000c36: SWAP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: DUP2
00000c3a: PUSH32 0xc7d7b7963c9f2d96fe8f53d4b3b79d0052cec53fdd772df048bb5702c2abb22a
00000c5b: DUP3
00000c5c: PUSH1 0x40
00000c5e: ADD
00000c5f: MLOAD
00000c60: CALLER
00000c61: PUSH1 0x40
00000c63: MLOAD
00000c64: DUP1
00000c65: DUP4
00000c66: DUP2
00000c67: MSTORE
00000c68: PUSH1 0x20
00000c6a: ADD
00000c6b: DUP3
00000c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c81: AND
00000c82: DUP2
00000c83: MSTORE
00000c84: PUSH1 0x20
00000c86: ADD
00000c87: SWAP3
00000c88: POP
00000c89: POP
00000c8a: POP
00000c8b: PUSH1 0x40
00000c8d: MLOAD
00000c8e: DUP1
00000c8f: SWAP2
00000c90: SUB
00000c91: SWAP1
00000c92: LOG2
00000c93: PUSH1 0x00
00000c95: DUP2
00000c96: PUSH1 0x40
00000c98: ADD
00000c99: MLOAD
00000c9a: SWAP1
00000c9b: POP
00000c9c: PUSH1 0x40
00000c9e: MLOAD
00000c9f: DUP1
00000ca0: PUSH1 0x80
00000ca2: ADD
00000ca3: PUSH1 0x40
00000ca5: MSTORE
00000ca6: DUP1
00000ca7: DUP7
00000ca8: PUSH1 0xff
00000caa: AND
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH1 0x20
00000caf: ADD
00000cb0: DUP6
00000cb1: PUSH1 0xff
00000cb3: AND
00000cb4: DUP2
00000cb5: MSTORE
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: PUSH1 0x00
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x20
00000cbf: ADD
00000cc0: PUSH1 0x00
00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd7: AND
00000cd8: DUP2
00000cd9: MSTORE
00000cda: POP
00000cdb: PUSH1 0x04
00000cdd: PUSH1 0x00
00000cdf: DUP6
00000ce0: DUP2
00000ce1: MSTORE
00000ce2: PUSH1 0x20
00000ce4: ADD
00000ce5: SWAP1
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x20
00000cea: ADD
00000ceb: PUSH1 0x00
00000ced: KECCAK256
00000cee: PUSH1 0x00
00000cf0: DUP3
00000cf1: ADD
00000cf2: MLOAD
00000cf3: DUP2
00000cf4: PUSH1 0x00
00000cf6: ADD
00000cf7: PUSH1 0x00
00000cf9: PUSH2 0x0100
00000cfc: EXP
00000cfd: DUP2
00000cfe: SLOAD
00000cff: DUP2
00000d00: PUSH1 0xff
00000d02: MUL
00000d03: NOT
00000d04: AND
00000d05: SWAP1
00000d06: DUP4
00000d07: PUSH1 0xff
00000d09: AND
00000d0a: MUL
00000d0b: OR
00000d0c: SWAP1
00000d0d: SSTORE
00000d0e: POP
00000d0f: PUSH1 0x20
00000d11: DUP3
00000d12: ADD
00000d13: MLOAD
00000d14: DUP2
00000d15: PUSH1 0x00
00000d17: ADD
00000d18: PUSH1 0x01
00000d1a: PUSH2 0x0100
00000d1d: EXP
00000d1e: DUP2
00000d1f: SLOAD
00000d20: DUP2
00000d21: PUSH1 0xff
00000d23: MUL
00000d24: NOT
00000d25: AND
00000d26: SWAP1
00000d27: DUP4
00000d28: PUSH1 0xff
00000d2a: AND
00000d2b: MUL
00000d2c: OR
00000d2d: SWAP1
00000d2e: SSTORE
00000d2f: POP
00000d30: PUSH1 0x40
00000d32: DUP3
00000d33: ADD
00000d34: MLOAD
00000d35: DUP2
00000d36: PUSH1 0x01
00000d38: ADD
00000d39: SSTORE
00000d3a: PUSH1 0x60
00000d3c: DUP3
00000d3d: ADD
00000d3e: MLOAD
00000d3f: DUP2
00000d40: PUSH1 0x02
00000d42: ADD
00000d43: PUSH1 0x00
00000d45: PUSH2 0x0100
00000d48: EXP
00000d49: DUP2
00000d4a: SLOAD
00000d4b: DUP2
00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d61: MUL
00000d62: NOT
00000d63: AND
00000d64: SWAP1
00000d65: DUP4
00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7b: AND
00000d7c: MUL
00000d7d: OR
00000d7e: SWAP1
00000d7f: SSTORE
00000d80: POP
00000d81: SWAP1
00000d82: POP
00000d83: POP
00000d84: CALLER
00000d85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9a: AND
00000d9b: PUSH2 0x08fc
00000d9e: DUP3
00000d9f: SWAP1
00000da0: DUP2
00000da1: ISZERO
00000da2: MUL
00000da3: SWAP1
00000da4: PUSH1 0x40
00000da6: MLOAD
00000da7: PUSH1 0x00
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: DUP1
00000dad: DUP4
00000dae: SUB
00000daf: DUP2
00000db0: DUP6
00000db1: DUP9
00000db2: DUP9
00000db3: CALL
00000db4: SWAP4
00000db5: POP
00000db6: POP
00000db7: POP
00000db8: POP
00000db9: ISZERO
00000dba: DUP1
00000dbb: ISZERO
00000dbc: PUSH2 0x0dc9
00000dbf: JUMPI
00000dc0: RETURNDATASIZE
00000dc1: PUSH1 0x00
00000dc3: DUP1
00000dc4: RETURNDATACOPY
00000dc5: RETURNDATASIZE
00000dc6: PUSH1 0x00
00000dc8: REVERT
00000dc9: JUMPDEST
00000dca: POP
00000dcb: POP
00000dcc: POP
00000dcd: POP
00000dce: POP
00000dcf: POP
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH2 0x0dde
00000dd5: PUSH1 0x00
00000dd7: DUP1
00000dd8: SHL
00000dd9: CALLER
00000dda: PUSH2 0x0e22
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: PUSH2 0x0de7
00000de2: JUMPI
00000de3: PUSH1 0x00
00000de5: DUP1
00000de6: REVERT
00000de7: JUMPDEST
00000de8: DUP1
00000de9: PUSH1 0x02
00000deb: DUP2
00000dec: SWAP1
00000ded: SSTORE
00000dee: POP
00000def: POP
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH1 0x00
00000df4: PUSH2 0x0e1a
00000df7: DUP3
00000df8: PUSH1 0x00
00000dfa: DUP1
00000dfb: DUP7
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x20
00000e00: ADD
00000e01: SWAP1
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: PUSH1 0x00
00000e09: KECCAK256
00000e0a: PUSH1 0x00
00000e0c: ADD
00000e0d: PUSH2 0x1b55
00000e10: SWAP1
00000e11: SWAP2
00000e12: SWAP1
00000e13: PUSH4 0xffffffff
00000e18: AND
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: SWAP1
00000e1c: POP
00000e1d: SWAP3
00000e1e: SWAP2
00000e1f: POP
00000e20: POP
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH1 0x00
00000e25: PUSH2 0x0e4b
00000e28: DUP3
00000e29: PUSH1 0x00
00000e2b: DUP1
00000e2c: DUP7
00000e2d: DUP2
00000e2e: MSTORE
00000e2f: PUSH1 0x20
00000e31: ADD
00000e32: SWAP1
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x20
00000e37: ADD
00000e38: PUSH1 0x00
00000e3a: KECCAK256
00000e3b: PUSH1 0x00
00000e3d: ADD
00000e3e: PUSH2 0x1b6f
00000e41: SWAP1
00000e42: SWAP2
00000e43: SWAP1
00000e44: PUSH4 0xffffffff
00000e49: AND
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: SWAP1
00000e4d: POP
00000e4e: SWAP3
00000e4f: SWAP2
00000e50: POP
00000e51: POP
00000e52: JUMP
00000e53: JUMPDEST
00000e54: PUSH1 0x00
00000e56: DUP1
00000e57: SHL
00000e58: DUP2
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x00
00000e5d: PUSH2 0x0e66
00000e60: DUP4
00000e61: DUP4
00000e62: PUSH2 0x1b3f
00000e65: JUMP
00000e66: JUMPDEST
00000e67: SWAP1
00000e68: POP
00000e69: PUSH1 0x00
00000e6b: CALLVALUE
00000e6c: GT
00000e6d: PUSH2 0x0ede
00000e70: JUMPI
00000e71: PUSH1 0x40
00000e73: MLOAD
00000e74: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e95: DUP2
00000e96: MSTORE
00000e97: PUSH1 0x04
00000e99: ADD
00000e9a: DUP1
00000e9b: DUP1
00000e9c: PUSH1 0x20
00000e9e: ADD
00000e9f: DUP3
00000ea0: DUP2
00000ea1: SUB
00000ea2: DUP3
00000ea3: MSTORE
00000ea4: PUSH1 0x0f
00000ea6: DUP2
00000ea7: MSTORE
00000ea8: PUSH1 0x20
00000eaa: ADD
00000eab: DUP1
00000eac: PUSH32 0x4249443a3a56616c756520697320300000000000000000000000000000000000
00000ecd: DUP2
00000ece: MSTORE
00000ecf: POP
00000ed0: PUSH1 0x20
00000ed2: ADD
00000ed3: SWAP2
00000ed4: POP
00000ed5: POP
00000ed6: PUSH1 0x40
00000ed8: MLOAD
00000ed9: DUP1
00000eda: SWAP2
00000edb: SUB
00000edc: SWAP1
00000edd: REVERT
00000ede: JUMPDEST
00000edf: PUSH1 0x00
00000ee1: PUSH1 0x04
00000ee3: PUSH1 0x00
00000ee5: DUP4
00000ee6: DUP2
00000ee7: MSTORE
00000ee8: PUSH1 0x20
00000eea: ADD
00000eeb: SWAP1
00000eec: DUP2
00000eed: MSTORE
00000eee: PUSH1 0x20
00000ef0: ADD
00000ef1: PUSH1 0x00
00000ef3: KECCAK256
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: DUP1
00000ef8: PUSH1 0x80
00000efa: ADD
00000efb: PUSH1 0x40
00000efd: MSTORE
00000efe: SWAP1
00000eff: DUP2
00000f00: PUSH1 0x00
00000f02: DUP3
00000f03: ADD
00000f04: PUSH1 0x00
00000f06: SWAP1
00000f07: SLOAD
00000f08: SWAP1
00000f09: PUSH2 0x0100
00000f0c: EXP
00000f0d: SWAP1
00000f0e: DIV
00000f0f: PUSH1 0xff
00000f11: AND
00000f12: PUSH1 0xff
00000f14: AND
00000f15: PUSH1 0xff
00000f17: AND
00000f18: DUP2
00000f19: MSTORE
00000f1a: PUSH1 0x20
00000f1c: ADD
00000f1d: PUSH1 0x00
00000f1f: DUP3
00000f20: ADD
00000f21: PUSH1 0x01
00000f23: SWAP1
00000f24: SLOAD
00000f25: SWAP1
00000f26: PUSH2 0x0100
00000f29: EXP
00000f2a: SWAP1
00000f2b: DIV
00000f2c: PUSH1 0xff
00000f2e: AND
00000f2f: PUSH1 0xff
00000f31: AND
00000f32: PUSH1 0xff
00000f34: AND
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x20
00000f39: ADD
00000f3a: PUSH1 0x01
00000f3c: DUP3
00000f3d: ADD
00000f3e: SLOAD
00000f3f: DUP2
00000f40: MSTORE
00000f41: PUSH1 0x20
00000f43: ADD
00000f44: PUSH1 0x02
00000f46: DUP3
00000f47: ADD
00000f48: PUSH1 0x00
00000f4a: SWAP1
00000f4b: SLOAD
00000f4c: SWAP1
00000f4d: PUSH2 0x0100
00000f50: EXP
00000f51: SWAP1
00000f52: DIV
00000f53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f68: AND
00000f69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7e: AND
00000f7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f94: AND
00000f95: DUP2
00000f96: MSTORE
00000f97: POP
00000f98: POP
00000f99: SWAP1
00000f9a: POP
00000f9b: DUP1
00000f9c: PUSH1 0x40
00000f9e: ADD
00000f9f: MLOAD
00000fa0: CALLVALUE
00000fa1: GT
00000fa2: PUSH2 0x1013
00000fa5: JUMPI
00000fa6: PUSH1 0x40
00000fa8: MLOAD
00000fa9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fca: DUP2
00000fcb: MSTORE
00000fcc: PUSH1 0x04
00000fce: ADD
00000fcf: DUP1
00000fd0: DUP1
00000fd1: PUSH1 0x20
00000fd3: ADD
00000fd4: DUP3
00000fd5: DUP2
00000fd6: SUB
00000fd7: DUP3
00000fd8: MSTORE
00000fd9: PUSH1 0x14
00000fdb: DUP2
00000fdc: MSTORE
00000fdd: PUSH1 0x20
00000fdf: ADD
00000fe0: DUP1
00000fe1: PUSH32 0x4249443a3a4e65772062696420746f6f206c6f77000000000000000000000000
00001002: DUP2
00001003: MSTORE
00001004: POP
00001005: PUSH1 0x20
00001007: ADD
00001008: SWAP2
00001009: POP
0000100a: POP
0000100b: PUSH1 0x40
0000100d: MLOAD
0000100e: DUP1
0000100f: SWAP2
00001010: SUB
00001011: SWAP1
00001012: REVERT
00001013: JUMPDEST
00001014: DUP1
00001015: PUSH1 0x40
00001017: ADD
00001018: MLOAD
00001019: PUSH1 0x05
0000101b: PUSH1 0x00
0000101d: DUP4
0000101e: PUSH1 0x60
00001020: ADD
00001021: MLOAD
00001022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001037: AND
00001038: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104d: AND
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x20
00001052: ADD
00001053: SWAP1
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x20
00001058: ADD
00001059: PUSH1 0x00
0000105b: KECCAK256
0000105c: PUSH1 0x00
0000105e: DUP3
0000105f: DUP3
00001060: SLOAD
00001061: ADD
00001062: SWAP3
00001063: POP
00001064: POP
00001065: DUP2
00001066: SWAP1
00001067: SSTORE
00001068: POP
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: DUP1
0000106d: PUSH1 0x80
0000106f: ADD
00001070: PUSH1 0x40
00001072: MSTORE
00001073: DUP1
00001074: DUP6
00001075: PUSH1 0xff
00001077: AND
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: DUP5
0000107e: PUSH1 0xff
00001080: AND
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x20
00001085: ADD
00001086: CALLVALUE
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x20
0000108b: ADD
0000108c: CALLER
0000108d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a2: AND
000010a3: DUP2
000010a4: MSTORE
000010a5: POP
000010a6: PUSH1 0x04
000010a8: PUSH1 0x00
000010aa: DUP5
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: ADD
000010b0: SWAP1
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x20
000010b5: ADD
000010b6: PUSH1 0x00
000010b8: KECCAK256
000010b9: PUSH1 0x00
000010bb: DUP3
000010bc: ADD
000010bd: MLOAD
000010be: DUP2
000010bf: PUSH1 0x00
000010c1: ADD
000010c2: PUSH1 0x00
000010c4: PUSH2 0x0100
000010c7: EXP
000010c8: DUP2
000010c9: SLOAD
000010ca: DUP2
000010cb: PUSH1 0xff
000010cd: MUL
000010ce: NOT
000010cf: AND
000010d0: SWAP1
000010d1: DUP4
000010d2: PUSH1 0xff
000010d4: AND
000010d5: MUL
000010d6: OR
000010d7: SWAP1
000010d8: SSTORE
000010d9: POP
000010da: PUSH1 0x20
000010dc: DUP3
000010dd: ADD
000010de: MLOAD
000010df: DUP2
000010e0: PUSH1 0x00
000010e2: ADD
000010e3: PUSH1 0x01
000010e5: PUSH2 0x0100
000010e8: EXP
000010e9: DUP2
000010ea: SLOAD
000010eb: DUP2
000010ec: PUSH1 0xff
000010ee: MUL
000010ef: NOT
000010f0: AND
000010f1: SWAP1
000010f2: DUP4
000010f3: PUSH1 0xff
000010f5: AND
000010f6: MUL
000010f7: OR
000010f8: SWAP1
000010f9: SSTORE
000010fa: POP
000010fb: PUSH1 0x40
000010fd: DUP3
000010fe: ADD
000010ff: MLOAD
00001100: DUP2
00001101: PUSH1 0x01
00001103: ADD
00001104: SSTORE
00001105: PUSH1 0x60
00001107: DUP3
00001108: ADD
00001109: MLOAD
0000110a: DUP2
0000110b: PUSH1 0x02
0000110d: ADD
0000110e: PUSH1 0x00
00001110: PUSH2 0x0100
00001113: EXP
00001114: DUP2
00001115: SLOAD
00001116: DUP2
00001117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112c: MUL
0000112d: NOT
0000112e: AND
0000112f: SWAP1
00001130: DUP4
00001131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001146: AND
00001147: MUL
00001148: OR
00001149: SWAP1
0000114a: SSTORE
0000114b: POP
0000114c: SWAP1
0000114d: POP
0000114e: POP
0000114f: DUP2
00001150: PUSH31 0x8f8e5ba79b8af8e726588889022f773ff8af760d95c2c43bd5be3255ff6392
00001170: CALLVALUE
00001171: CALLER
00001172: PUSH1 0x40
00001174: MLOAD
00001175: DUP1
00001176: DUP4
00001177: DUP2
00001178: MSTORE
00001179: PUSH1 0x20
0000117b: ADD
0000117c: DUP3
0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001192: AND
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x20
00001197: ADD
00001198: SWAP3
00001199: POP
0000119a: POP
0000119b: POP
0000119c: PUSH1 0x40
0000119e: MLOAD
0000119f: DUP1
000011a0: SWAP2
000011a1: SUB
000011a2: SWAP1
000011a3: LOG2
000011a4: POP
000011a5: POP
000011a6: POP
000011a7: POP
000011a8: JUMP
000011a9: JUMPDEST
000011aa: CALLER
000011ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c0: AND
000011c1: PUSH20 0xb21f8684f23dbb1008508b4de91a0aaedebdb7e4
000011d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011eb: AND
000011ec: PUSH4 0xe039e4a1
000011f1: DUP6
000011f2: DUP6
000011f3: PUSH1 0x40
000011f5: MLOAD
000011f6: DUP4
000011f7: PUSH4 0xffffffff
000011fc: AND
000011fd: PUSH1 0xe0
000011ff: SHL
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x04
00001204: ADD
00001205: DUP1
00001206: DUP4
00001207: PUSH1 0xff
00001209: AND
0000120a: DUP2
0000120b: MSTORE
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: DUP3
00001210: PUSH1 0xff
00001212: AND
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x20
00001217: ADD
00001218: SWAP3
00001219: POP
0000121a: POP
0000121b: POP
0000121c: PUSH1 0x20
0000121e: PUSH1 0x40
00001220: MLOAD
00001221: DUP1
00001222: DUP4
00001223: SUB
00001224: DUP2
00001225: DUP7
00001226: DUP1
00001227: EXTCODESIZE
00001228: ISZERO
00001229: DUP1
0000122a: ISZERO
0000122b: PUSH2 0x1233
0000122e: JUMPI
0000122f: PUSH1 0x00
00001231: DUP1
00001232: REVERT
00001233: JUMPDEST
00001234: POP
00001235: GAS
00001236: STATICCALL
00001237: ISZERO
00001238: DUP1
00001239: ISZERO
0000123a: PUSH2 0x1247
0000123d: JUMPI
0000123e: RETURNDATASIZE
0000123f: PUSH1 0x00
00001241: DUP1
00001242: RETURNDATACOPY
00001243: RETURNDATASIZE
00001244: PUSH1 0x00
00001246: REVERT
00001247: JUMPDEST
00001248: POP
00001249: POP
0000124a: POP
0000124b: POP
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: RETURNDATASIZE
00001250: PUSH1 0x20
00001252: DUP2
00001253: LT
00001254: ISZERO
00001255: PUSH2 0x125d
00001258: JUMPI
00001259: PUSH1 0x00
0000125b: DUP1
0000125c: REVERT
0000125d: JUMPDEST
0000125e: DUP2
0000125f: ADD
00001260: SWAP1
00001261: DUP1
00001262: DUP1
00001263: MLOAD
00001264: SWAP1
00001265: PUSH1 0x20
00001267: ADD
00001268: SWAP1
00001269: SWAP3
0000126a: SWAP2
0000126b: SWAP1
0000126c: POP
0000126d: POP
0000126e: POP
0000126f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001284: AND
00001285: EQ
00001286: PUSH2 0x12da
00001289: JUMPI
0000128a: PUSH1 0x40
0000128c: MLOAD
0000128d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012ae: DUP2
000012af: MSTORE
000012b0: PUSH1 0x04
000012b2: ADD
000012b3: DUP1
000012b4: DUP1
000012b5: PUSH1 0x20
000012b7: ADD
000012b8: DUP3
000012b9: DUP2
000012ba: SUB
000012bb: DUP3
000012bc: MSTORE
000012bd: PUSH1 0x25
000012bf: DUP2
000012c0: MSTORE
000012c1: PUSH1 0x20
000012c3: ADD
000012c4: DUP1
000012c5: PUSH2 0x1f51
000012c8: PUSH1 0x25
000012ca: SWAP2
000012cb: CODECOPY
000012cc: PUSH1 0x40
000012ce: ADD
000012cf: SWAP2
000012d0: POP
000012d1: POP
000012d2: PUSH1 0x40
000012d4: MLOAD
000012d5: DUP1
000012d6: SWAP2
000012d7: SUB
000012d8: SWAP1
000012d9: REVERT
000012da: JUMPDEST
000012db: PUSH1 0x00
000012dd: PUSH2 0x12e6
000012e0: DUP5
000012e1: DUP5
000012e2: PUSH2 0x1b3f
000012e5: JUMP
000012e6: JUMPDEST
000012e7: SWAP1
000012e8: POP
000012e9: PUSH1 0x00
000012eb: PUSH1 0x04
000012ed: PUSH1 0x00
000012ef: DUP4
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: ADD
000012f5: SWAP1
000012f6: DUP2
000012f7: MSTORE
000012f8: PUSH1 0x20
000012fa: ADD
000012fb: PUSH1 0x00
000012fd: KECCAK256
000012fe: PUSH1 0x40
00001300: MLOAD
00001301: DUP1
00001302: PUSH1 0x80
00001304: ADD
00001305: PUSH1 0x40
00001307: MSTORE
00001308: SWAP1
00001309: DUP2
0000130a: PUSH1 0x00
0000130c: DUP3
0000130d: ADD
0000130e: PUSH1 0x00
00001310: SWAP1
00001311: SLOAD
00001312: SWAP1
00001313: PUSH2 0x0100
00001316: EXP
00001317: SWAP1
00001318: DIV
00001319: PUSH1 0xff
0000131b: AND
0000131c: PUSH1 0xff
0000131e: AND
0000131f: PUSH1 0xff
00001321: AND
00001322: DUP2
00001323: MSTORE
00001324: PUSH1 0x20
00001326: ADD
00001327: PUSH1 0x00
00001329: DUP3
0000132a: ADD
0000132b: PUSH1 0x01
0000132d: SWAP1
0000132e: SLOAD
0000132f: SWAP1
00001330: PUSH2 0x0100
00001333: EXP
00001334: SWAP1
00001335: DIV
00001336: PUSH1 0xff
00001338: AND
00001339: PUSH1 0xff
0000133b: AND
0000133c: PUSH1 0xff
0000133e: AND
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x20
00001343: ADD
00001344: PUSH1 0x01
00001346: DUP3
00001347: ADD
00001348: SLOAD
00001349: DUP2
0000134a: MSTORE
0000134b: PUSH1 0x20
0000134d: ADD
0000134e: PUSH1 0x02
00001350: DUP3
00001351: ADD
00001352: PUSH1 0x00
00001354: SWAP1
00001355: SLOAD
00001356: SWAP1
00001357: PUSH2 0x0100
0000135a: EXP
0000135b: SWAP1
0000135c: DIV
0000135d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001372: AND
00001373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001388: AND
00001389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139e: AND
0000139f: DUP2
000013a0: MSTORE
000013a1: POP
000013a2: POP
000013a3: SWAP1
000013a4: POP
000013a5: PUSH1 0x00
000013a7: DUP2
000013a8: PUSH1 0x40
000013aa: ADD
000013ab: MLOAD
000013ac: GT
000013ad: PUSH2 0x141e
000013b0: JUMPI
000013b1: PUSH1 0x40
000013b3: MLOAD
000013b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013d5: DUP2
000013d6: MSTORE
000013d7: PUSH1 0x04
000013d9: ADD
000013da: DUP1
000013db: DUP1
000013dc: PUSH1 0x20
000013de: ADD
000013df: DUP3
000013e0: DUP2
000013e1: SUB
000013e2: DUP3
000013e3: MSTORE
000013e4: PUSH1 0x1b
000013e6: DUP2
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: DUP1
000013ec: PUSH32 0x4143434550545f4249443a3a42696420616d6f756e7420697320300000000000
0000140d: DUP2
0000140e: MSTORE
0000140f: POP
00001410: PUSH1 0x20
00001412: ADD
00001413: SWAP2
00001414: POP
00001415: POP
00001416: PUSH1 0x40
00001418: MLOAD
00001419: DUP1
0000141a: SWAP2
0000141b: SUB
0000141c: SWAP1
0000141d: REVERT
0000141e: JUMPDEST
0000141f: DUP3
00001420: DUP2
00001421: PUSH1 0x40
00001423: ADD
00001424: MLOAD
00001425: LT
00001426: ISZERO
00001427: PUSH2 0x147b
0000142a: JUMPI
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x04
00001453: ADD
00001454: DUP1
00001455: DUP1
00001456: PUSH1 0x20
00001458: ADD
00001459: DUP3
0000145a: DUP2
0000145b: SUB
0000145c: DUP3
0000145d: MSTORE
0000145e: PUSH1 0x23
00001460: DUP2
00001461: MSTORE
00001462: PUSH1 0x20
00001464: ADD
00001465: DUP1
00001466: PUSH2 0x1fd4
00001469: PUSH1 0x23
0000146b: SWAP2
0000146c: CODECOPY
0000146d: PUSH1 0x40
0000146f: ADD
00001470: SWAP2
00001471: POP
00001472: POP
00001473: PUSH1 0x40
00001475: MLOAD
00001476: DUP1
00001477: SWAP2
00001478: SUB
00001479: SWAP1
0000147a: REVERT
0000147b: JUMPDEST
0000147c: PUSH20 0xb21f8684f23dbb1008508b4de91a0aaedebdb7e4
00001491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a6: AND
000014a7: PUSH4 0x7d5fec5a
000014ac: DUP7
000014ad: DUP7
000014ae: DUP5
000014af: PUSH1 0x60
000014b1: ADD
000014b2: MLOAD
000014b3: PUSH1 0x40
000014b5: MLOAD
000014b6: DUP5
000014b7: PUSH4 0xffffffff
000014bc: AND
000014bd: PUSH1 0xe0
000014bf: SHL
000014c0: DUP2
000014c1: MSTORE
000014c2: PUSH1 0x04
000014c4: ADD
000014c5: DUP1
000014c6: DUP5
000014c7: PUSH1 0xff
000014c9: AND
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x20
000014ce: ADD
000014cf: DUP4
000014d0: PUSH1 0xff
000014d2: AND
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x20
000014d7: ADD
000014d8: DUP3
000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ee: AND
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x20
000014f3: ADD
000014f4: SWAP4
000014f5: POP
000014f6: POP
000014f7: POP
000014f8: POP
000014f9: PUSH1 0x00
000014fb: PUSH1 0x40
000014fd: MLOAD
000014fe: DUP1
000014ff: DUP4
00001500: SUB
00001501: DUP2
00001502: PUSH1 0x00
00001504: DUP8
00001505: DUP1
00001506: EXTCODESIZE
00001507: ISZERO
00001508: DUP1
00001509: ISZERO
0000150a: PUSH2 0x1512
0000150d: JUMPI
0000150e: PUSH1 0x00
00001510: DUP1
00001511: REVERT
00001512: JUMPDEST
00001513: POP
00001514: GAS
00001515: CALL
00001516: ISZERO
00001517: DUP1
00001518: ISZERO
00001519: PUSH2 0x1526
0000151c: JUMPI
0000151d: RETURNDATASIZE
0000151e: PUSH1 0x00
00001520: DUP1
00001521: RETURNDATACOPY
00001522: RETURNDATASIZE
00001523: PUSH1 0x00
00001525: REVERT
00001526: JUMPDEST
00001527: POP
00001528: POP
00001529: POP
0000152a: POP
0000152b: PUSH1 0x00
0000152d: PUSH2 0x1545
00001530: PUSH1 0x02
00001532: SLOAD
00001533: DUP4
00001534: PUSH1 0x40
00001536: ADD
00001537: MLOAD
00001538: PUSH2 0x1b9f
0000153b: SWAP1
0000153c: SWAP2
0000153d: SWAP1
0000153e: PUSH4 0xffffffff
00001543: AND
00001544: JUMP
00001545: JUMPDEST
00001546: SWAP1
00001547: POP
00001548: DUP1
00001549: PUSH1 0x03
0000154b: PUSH1 0x00
0000154d: DUP3
0000154e: DUP3
0000154f: SLOAD
00001550: ADD
00001551: SWAP3
00001552: POP
00001553: POP
00001554: DUP2
00001555: SWAP1
00001556: SSTORE
00001557: POP
00001558: PUSH1 0x00
0000155a: PUSH2 0x1570
0000155d: DUP3
0000155e: DUP5
0000155f: PUSH1 0x40
00001561: ADD
00001562: MLOAD
00001563: PUSH2 0x1c28
00001566: SWAP1
00001567: SWAP2
00001568: SWAP1
00001569: PUSH4 0xffffffff
0000156e: AND
0000156f: JUMP
00001570: JUMPDEST
00001571: SWAP1
00001572: POP
00001573: PUSH1 0x40
00001575: MLOAD
00001576: DUP1
00001577: PUSH1 0x80
00001579: ADD
0000157a: PUSH1 0x40
0000157c: MSTORE
0000157d: DUP1
0000157e: DUP9
0000157f: PUSH1 0xff
00001581: AND
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x20
00001586: ADD
00001587: DUP8
00001588: PUSH1 0xff
0000158a: AND
0000158b: DUP2
0000158c: MSTORE
0000158d: PUSH1 0x20
0000158f: ADD
00001590: PUSH1 0x00
00001592: DUP2
00001593: MSTORE
00001594: PUSH1 0x20
00001596: ADD
00001597: PUSH1 0x00
00001599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ae: AND
000015af: DUP2
000015b0: MSTORE
000015b1: POP
000015b2: PUSH1 0x04
000015b4: PUSH1 0x00
000015b6: DUP7
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x20
000015bb: ADD
000015bc: SWAP1
000015bd: DUP2
000015be: MSTORE
000015bf: PUSH1 0x20
000015c1: ADD
000015c2: PUSH1 0x00
000015c4: KECCAK256
000015c5: PUSH1 0x00
000015c7: DUP3
000015c8: ADD
000015c9: MLOAD
000015ca: DUP2
000015cb: PUSH1 0x00
000015cd: ADD
000015ce: PUSH1 0x00
000015d0: PUSH2 0x0100
000015d3: EXP
000015d4: DUP2
000015d5: SLOAD
000015d6: DUP2
000015d7: PUSH1 0xff
000015d9: MUL
000015da: NOT
000015db: AND
000015dc: SWAP1
000015dd: DUP4
000015de: PUSH1 0xff
000015e0: AND
000015e1: MUL
000015e2: OR
000015e3: SWAP1
000015e4: SSTORE
000015e5: POP
000015e6: PUSH1 0x20
000015e8: DUP3
000015e9: ADD
000015ea: MLOAD
000015eb: DUP2
000015ec: PUSH1 0x00
000015ee: ADD
000015ef: PUSH1 0x01
000015f1: PUSH2 0x0100
000015f4: EXP
000015f5: DUP2
000015f6: SLOAD
000015f7: DUP2
000015f8: PUSH1 0xff
000015fa: MUL
000015fb: NOT
000015fc: AND
000015fd: SWAP1
000015fe: DUP4
000015ff: PUSH1 0xff
00001601: AND
00001602: MUL
00001603: OR
00001604: SWAP1
00001605: SSTORE
00001606: POP
00001607: PUSH1 0x40
00001609: DUP3
0000160a: ADD
0000160b: MLOAD
0000160c: DUP2
0000160d: PUSH1 0x01
0000160f: ADD
00001610: SSTORE
00001611: PUSH1 0x60
00001613: DUP3
00001614: ADD
00001615: MLOAD
00001616: DUP2
00001617: PUSH1 0x02
00001619: ADD
0000161a: PUSH1 0x00
0000161c: PUSH2 0x0100
0000161f: EXP
00001620: DUP2
00001621: SLOAD
00001622: DUP2
00001623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001638: MUL
00001639: NOT
0000163a: AND
0000163b: SWAP1
0000163c: DUP4
0000163d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001652: AND
00001653: MUL
00001654: OR
00001655: SWAP1
00001656: SSTORE
00001657: POP
00001658: SWAP1
00001659: POP
0000165a: POP
0000165b: DUP1
0000165c: PUSH1 0x05
0000165e: PUSH1 0x00
00001660: CALLER
00001661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001676: AND
00001677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168c: AND
0000168d: DUP2
0000168e: MSTORE
0000168f: PUSH1 0x20
00001691: ADD
00001692: SWAP1
00001693: DUP2
00001694: MSTORE
00001695: PUSH1 0x20
00001697: ADD
00001698: PUSH1 0x00
0000169a: KECCAK256
0000169b: PUSH1 0x00
0000169d: DUP3
0000169e: DUP3
0000169f: SLOAD
000016a0: ADD
000016a1: SWAP3
000016a2: POP
000016a3: POP
000016a4: DUP2
000016a5: SWAP1
000016a6: SSTORE
000016a7: POP
000016a8: DUP4
000016a9: PUSH32 0x20d0ef7560eb42c351727f5600bd3bc6ae7f6c03f60a2d48095ed19e1cd8d5dc
000016ca: DUP3
000016cb: CALLER
000016cc: DUP7
000016cd: PUSH1 0x60
000016cf: ADD
000016d0: MLOAD
000016d1: PUSH1 0x40
000016d3: MLOAD
000016d4: DUP1
000016d5: DUP5
000016d6: DUP2
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: ADD
000016db: DUP4
000016dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f1: AND
000016f2: DUP2
000016f3: MSTORE
000016f4: PUSH1 0x20
000016f6: ADD
000016f7: DUP3
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: DUP2
0000170f: MSTORE
00001710: PUSH1 0x20
00001712: ADD
00001713: SWAP4
00001714: POP
00001715: POP
00001716: POP
00001717: POP
00001718: PUSH1 0x40
0000171a: MLOAD
0000171b: DUP1
0000171c: SWAP2
0000171d: SUB
0000171e: SWAP1
0000171f: LOG2
00001720: DUP4
00001721: PUSH32 0xf07eaeff5225b401b5b0d38ed9e78e38d23a63f588d6acc43579ed11129e9833
00001742: CALLER
00001743: DUP6
00001744: PUSH1 0x60
00001746: ADD
00001747: MLOAD
00001748: PUSH1 0x40
0000174a: MLOAD
0000174b: DUP1
0000174c: DUP4
0000174d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001762: AND
00001763: DUP2
00001764: MSTORE
00001765: PUSH1 0x20
00001767: ADD
00001768: DUP3
00001769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177e: AND
0000177f: DUP2
00001780: MSTORE
00001781: PUSH1 0x20
00001783: ADD
00001784: SWAP3
00001785: POP
00001786: POP
00001787: POP
00001788: PUSH1 0x40
0000178a: MLOAD
0000178b: DUP1
0000178c: SWAP2
0000178d: SUB
0000178e: SWAP1
0000178f: LOG2
00001790: POP
00001791: POP
00001792: POP
00001793: POP
00001794: POP
00001795: POP
00001796: POP
00001797: JUMP
00001798: JUMPDEST
00001799: PUSH1 0x02
0000179b: SLOAD
0000179c: DUP2
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH2 0x17ab
000017a2: PUSH1 0x00
000017a4: DUP1
000017a5: SHL
000017a6: CALLER
000017a7: PUSH2 0x0e22
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH2 0x17b4
000017af: JUMPI
000017b0: PUSH1 0x00
000017b2: DUP1
000017b3: REVERT
000017b4: JUMPDEST
000017b5: PUSH1 0x00
000017b7: PUSH1 0x03
000017b9: SLOAD
000017ba: SWAP1
000017bb: POP
000017bc: PUSH1 0x00
000017be: PUSH2 0x17d1
000017c1: PUSH1 0x03
000017c3: DUP4
000017c4: PUSH2 0x1b9f
000017c7: SWAP1
000017c8: SWAP2
000017c9: SWAP1
000017ca: PUSH4 0xffffffff
000017cf: AND
000017d0: JUMP
000017d1: JUMPDEST
000017d2: SWAP1
000017d3: POP
000017d4: PUSH1 0x00
000017d6: PUSH1 0x03
000017d8: DUP2
000017d9: SWAP1
000017da: SSTORE
000017db: POP
000017dc: PUSH1 0x00
000017de: PUSH2 0x1802
000017e1: DUP3
000017e2: PUSH2 0x17f4
000017e5: DUP5
000017e6: DUP7
000017e7: PUSH2 0x1c28
000017ea: SWAP1
000017eb: SWAP2
000017ec: SWAP1
000017ed: PUSH4 0xffffffff
000017f2: AND
000017f3: JUMP
000017f4: JUMPDEST
000017f5: PUSH2 0x1c28
000017f8: SWAP1
000017f9: SWAP2
000017fa: SWAP1
000017fb: PUSH4 0xffffffff
00001800: AND
00001801: JUMP
00001802: JUMPDEST
00001803: SWAP1
00001804: POP
00001805: PUSH20 0x568f02ee272909ae9352188d4ea406df810ba4de
0000181a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182f: AND
00001830: PUSH2 0x08fc
00001833: DUP4
00001834: SWAP1
00001835: DUP2
00001836: ISZERO
00001837: MUL
00001838: SWAP1
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: PUSH1 0x00
0000183e: PUSH1 0x40
00001840: MLOAD
00001841: DUP1
00001842: DUP4
00001843: SUB
00001844: DUP2
00001845: DUP6
00001846: DUP9
00001847: DUP9
00001848: CALL
00001849: SWAP4
0000184a: POP
0000184b: POP
0000184c: POP
0000184d: POP
0000184e: ISZERO
0000184f: DUP1
00001850: ISZERO
00001851: PUSH2 0x185e
00001854: JUMPI
00001855: RETURNDATASIZE
00001856: PUSH1 0x00
00001858: DUP1
00001859: RETURNDATACOPY
0000185a: RETURNDATASIZE
0000185b: PUSH1 0x00
0000185d: REVERT
0000185e: JUMPDEST
0000185f: POP
00001860: PUSH20 0x9260ae742f44b7a2e9472f5c299aa0432b3502fa
00001875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188a: AND
0000188b: PUSH2 0x08fc
0000188e: DUP4
0000188f: SWAP1
00001890: DUP2
00001891: ISZERO
00001892: MUL
00001893: SWAP1
00001894: PUSH1 0x40
00001896: MLOAD
00001897: PUSH1 0x00
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: DUP1
0000189d: DUP4
0000189e: SUB
0000189f: DUP2
000018a0: DUP6
000018a1: DUP9
000018a2: DUP9
000018a3: CALL
000018a4: SWAP4
000018a5: POP
000018a6: POP
000018a7: POP
000018a8: POP
000018a9: ISZERO
000018aa: DUP1
000018ab: ISZERO
000018ac: PUSH2 0x18b9
000018af: JUMPI
000018b0: RETURNDATASIZE
000018b1: PUSH1 0x00
000018b3: DUP1
000018b4: RETURNDATACOPY
000018b5: RETURNDATASIZE
000018b6: PUSH1 0x00
000018b8: REVERT
000018b9: JUMPDEST
000018ba: POP
000018bb: PUSH20 0xd2927a91570146218ed700566df516d67c5ecfab
000018d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e5: AND
000018e6: PUSH2 0x08fc
000018e9: DUP3
000018ea: SWAP1
000018eb: DUP2
000018ec: ISZERO
000018ed: MUL
000018ee: SWAP1
000018ef: PUSH1 0x40
000018f1: MLOAD
000018f2: PUSH1 0x00
000018f4: PUSH1 0x40
000018f6: MLOAD
000018f7: DUP1
000018f8: DUP4
000018f9: SUB
000018fa: DUP2
000018fb: DUP6
000018fc: DUP9
000018fd: DUP9
000018fe: CALL
000018ff: SWAP4
00001900: POP
00001901: POP
00001902: POP
00001903: POP
00001904: ISZERO
00001905: DUP1
00001906: ISZERO
00001907: PUSH2 0x1914
0000190a: JUMPI
0000190b: RETURNDATASIZE
0000190c: PUSH1 0x00
0000190e: DUP1
0000190f: RETURNDATACOPY
00001910: RETURNDATASIZE
00001911: PUSH1 0x00
00001913: REVERT
00001914: JUMPDEST
00001915: POP
00001916: POP
00001917: POP
00001918: POP
00001919: JUMP
0000191a: JUMPDEST
0000191b: PUSH1 0x00
0000191d: PUSH2 0x1939
00001920: PUSH1 0x00
00001922: DUP1
00001923: DUP5
00001924: DUP2
00001925: MSTORE
00001926: PUSH1 0x20
00001928: ADD
00001929: SWAP1
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x20
0000192e: ADD
0000192f: PUSH1 0x00
00001931: KECCAK256
00001932: PUSH1 0x00
00001934: ADD
00001935: PUSH2 0x1cab
00001938: JUMP
00001939: JUMPDEST
0000193a: SWAP1
0000193b: POP
0000193c: SWAP2
0000193d: SWAP1
0000193e: POP
0000193f: JUMP
00001940: JUMPDEST
00001941: PUSH2 0x1966
00001944: PUSH1 0x00
00001946: DUP1
00001947: DUP5
00001948: DUP2
00001949: MSTORE
0000194a: PUSH1 0x20
0000194c: ADD
0000194d: SWAP1
0000194e: DUP2
0000194f: MSTORE
00001950: PUSH1 0x20
00001952: ADD
00001953: PUSH1 0x00
00001955: KECCAK256
00001956: PUSH1 0x02
00001958: ADD
00001959: SLOAD
0000195a: PUSH2 0x1961
0000195d: PUSH2 0x1a11
00001960: JUMP
00001961: JUMPDEST
00001962: PUSH2 0x0e22
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH2 0x19bb
0000196a: JUMPI
0000196b: PUSH1 0x40
0000196d: MLOAD
0000196e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x04
00001993: ADD
00001994: DUP1
00001995: DUP1
00001996: PUSH1 0x20
00001998: ADD
00001999: DUP3
0000199a: DUP2
0000199b: SUB
0000199c: DUP3
0000199d: MSTORE
0000199e: PUSH1 0x30
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x20
000019a4: ADD
000019a5: DUP1
000019a6: PUSH2 0x1fa4
000019a9: PUSH1 0x30
000019ab: SWAP2
000019ac: CODECOPY
000019ad: PUSH1 0x40
000019af: ADD
000019b0: SWAP2
000019b1: POP
000019b2: POP
000019b3: PUSH1 0x40
000019b5: MLOAD
000019b6: DUP1
000019b7: SWAP2
000019b8: SUB
000019b9: SWAP1
000019ba: REVERT
000019bb: JUMPDEST
000019bc: PUSH2 0x19c5
000019bf: DUP3
000019c0: DUP3
000019c1: PUSH2 0x1aac
000019c4: JUMP
000019c5: JUMPDEST
000019c6: POP
000019c7: POP
000019c8: JUMP
000019c9: JUMPDEST
000019ca: PUSH1 0x05
000019cc: PUSH1 0x20
000019ce: MSTORE
000019cf: DUP1
000019d0: PUSH1 0x00
000019d2: MSTORE
000019d3: PUSH1 0x40
000019d5: PUSH1 0x00
000019d7: KECCAK256
000019d8: PUSH1 0x00
000019da: SWAP2
000019db: POP
000019dc: SWAP1
000019dd: POP
000019de: SLOAD
000019df: DUP2
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH1 0x00
000019e4: PUSH2 0x1a09
000019e7: DUP4
000019e8: PUSH1 0x00
000019ea: ADD
000019eb: DUP4
000019ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a01: AND
00001a02: PUSH1 0x00
00001a04: SHL
00001a05: PUSH2 0x1cc0
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: SWAP1
00001a0b: POP
00001a0c: SWAP3
00001a0d: SWAP2
00001a0e: POP
00001a0f: POP
00001a10: JUMP
00001a11: JUMPDEST
00001a12: PUSH1 0x00
00001a14: CALLER
00001a15: SWAP1
00001a16: POP
00001a17: SWAP1
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: PUSH2 0x1a40
00001a1d: DUP2
00001a1e: PUSH1 0x00
00001a20: DUP1
00001a21: DUP6
00001a22: DUP2
00001a23: MSTORE
00001a24: PUSH1 0x20
00001a26: ADD
00001a27: SWAP1
00001a28: DUP2
00001a29: MSTORE
00001a2a: PUSH1 0x20
00001a2c: ADD
00001a2d: PUSH1 0x00
00001a2f: KECCAK256
00001a30: PUSH1 0x00
00001a32: ADD
00001a33: PUSH2 0x19e1
00001a36: SWAP1
00001a37: SWAP2
00001a38: SWAP1
00001a39: PUSH4 0xffffffff
00001a3e: AND
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: ISZERO
00001a42: PUSH2 0x1aa8
00001a45: JUMPI
00001a46: PUSH2 0x1a4d
00001a49: PUSH2 0x1a11
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a63: AND
00001a64: DUP2
00001a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7a: AND
00001a7b: DUP4
00001a7c: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001a9d: PUSH1 0x40
00001a9f: MLOAD
00001aa0: PUSH1 0x40
00001aa2: MLOAD
00001aa3: DUP1
00001aa4: SWAP2
00001aa5: SUB
00001aa6: SWAP1
00001aa7: LOG4
00001aa8: JUMPDEST
00001aa9: POP
00001aaa: POP
00001aab: JUMP
00001aac: JUMPDEST
00001aad: PUSH2 0x1ad3
00001ab0: DUP2
00001ab1: PUSH1 0x00
00001ab3: DUP1
00001ab4: DUP6
00001ab5: DUP2
00001ab6: MSTORE
00001ab7: PUSH1 0x20
00001ab9: ADD
00001aba: SWAP1
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x20
00001abf: ADD
00001ac0: PUSH1 0x00
00001ac2: KECCAK256
00001ac3: PUSH1 0x00
00001ac5: ADD
00001ac6: PUSH2 0x1d30
00001ac9: SWAP1
00001aca: SWAP2
00001acb: SWAP1
00001acc: PUSH4 0xffffffff
00001ad1: AND
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: ISZERO
00001ad5: PUSH2 0x1b3b
00001ad8: JUMPI
00001ad9: PUSH2 0x1ae0
00001adc: PUSH2 0x1a11
00001adf: JUMP
00001ae0: JUMPDEST
00001ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af6: AND
00001af7: DUP2
00001af8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0d: AND
00001b0e: DUP4
00001b0f: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001b30: PUSH1 0x40
00001b32: MLOAD
00001b33: PUSH1 0x40
00001b35: MLOAD
00001b36: DUP1
00001b37: SWAP2
00001b38: SUB
00001b39: SWAP1
00001b3a: LOG4
00001b3b: JUMPDEST
00001b3c: POP
00001b3d: POP
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH1 0x00
00001b42: DUP2
00001b43: PUSH1 0xff
00001b45: AND
00001b46: PUSH1 0x21
00001b48: DUP5
00001b49: PUSH1 0xff
00001b4b: AND
00001b4c: MUL
00001b4d: ADD
00001b4e: SWAP1
00001b4f: POP
00001b50: SWAP3
00001b51: SWAP2
00001b52: POP
00001b53: POP
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH1 0x00
00001b58: PUSH2 0x1b64
00001b5b: DUP4
00001b5c: PUSH1 0x00
00001b5e: ADD
00001b5f: DUP4
00001b60: PUSH2 0x1d60
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x00
00001b67: SHR
00001b68: SWAP1
00001b69: POP
00001b6a: SWAP3
00001b6b: SWAP2
00001b6c: POP
00001b6d: POP
00001b6e: JUMP
00001b6f: JUMPDEST
00001b70: PUSH1 0x00
00001b72: PUSH2 0x1b97
00001b75: DUP4
00001b76: PUSH1 0x00
00001b78: ADD
00001b79: DUP4
00001b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8f: AND
00001b90: PUSH1 0x00
00001b92: SHL
00001b93: PUSH2 0x1de3
00001b96: JUMP
00001b97: JUMPDEST
00001b98: SWAP1
00001b99: POP
00001b9a: SWAP3
00001b9b: SWAP2
00001b9c: POP
00001b9d: POP
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: PUSH1 0x00
00001ba2: DUP1
00001ba3: DUP3
00001ba4: GT
00001ba5: PUSH2 0x1c16
00001ba8: JUMPI
00001ba9: PUSH1 0x40
00001bab: MLOAD
00001bac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bcd: DUP2
00001bce: MSTORE
00001bcf: PUSH1 0x04
00001bd1: ADD
00001bd2: DUP1
00001bd3: DUP1
00001bd4: PUSH1 0x20
00001bd6: ADD
00001bd7: DUP3
00001bd8: DUP2
00001bd9: SUB
00001bda: DUP3
00001bdb: MSTORE
00001bdc: PUSH1 0x1a
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x20
00001be2: ADD
00001be3: DUP1
00001be4: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001c05: DUP2
00001c06: MSTORE
00001c07: POP
00001c08: PUSH1 0x20
00001c0a: ADD
00001c0b: SWAP2
00001c0c: POP
00001c0d: POP
00001c0e: PUSH1 0x40
00001c10: MLOAD
00001c11: DUP1
00001c12: SWAP2
00001c13: SUB
00001c14: SWAP1
00001c15: REVERT
00001c16: JUMPDEST
00001c17: DUP2
00001c18: DUP4
00001c19: DUP2
00001c1a: PUSH2 0x1c1f
00001c1d: JUMPI
00001c1e: INVALID
00001c1f: JUMPDEST
00001c20: DIV
00001c21: SWAP1
00001c22: POP
00001c23: SWAP3
00001c24: SWAP2
00001c25: POP
00001c26: POP
00001c27: JUMP
00001c28: JUMPDEST
00001c29: PUSH1 0x00
00001c2b: DUP3
00001c2c: DUP3
00001c2d: GT
00001c2e: ISZERO
00001c2f: PUSH2 0x1ca0
00001c32: JUMPI
00001c33: PUSH1 0x40
00001c35: MLOAD
00001c36: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c57: DUP2
00001c58: MSTORE
00001c59: PUSH1 0x04
00001c5b: ADD
00001c5c: DUP1
00001c5d: DUP1
00001c5e: PUSH1 0x20
00001c60: ADD
00001c61: DUP3
00001c62: DUP2
00001c63: SUB
00001c64: DUP3
00001c65: MSTORE
00001c66: PUSH1 0x1e
00001c68: DUP2
00001c69: MSTORE
00001c6a: PUSH1 0x20
00001c6c: ADD
00001c6d: DUP1
00001c6e: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001c8f: DUP2
00001c90: MSTORE
00001c91: POP
00001c92: PUSH1 0x20
00001c94: ADD
00001c95: SWAP2
00001c96: POP
00001c97: POP
00001c98: PUSH1 0x40
00001c9a: MLOAD
00001c9b: DUP1
00001c9c: SWAP2
00001c9d: SUB
00001c9e: SWAP1
00001c9f: REVERT
00001ca0: JUMPDEST
00001ca1: DUP2
00001ca2: DUP4
00001ca3: SUB
00001ca4: SWAP1
00001ca5: POP
00001ca6: SWAP3
00001ca7: SWAP2
00001ca8: POP
00001ca9: POP
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x00
00001cae: PUSH2 0x1cb9
00001cb1: DUP3
00001cb2: PUSH1 0x00
00001cb4: ADD
00001cb5: PUSH2 0x1e06
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: SWAP1
00001cbb: POP
00001cbc: SWAP2
00001cbd: SWAP1
00001cbe: POP
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH1 0x00
00001cc3: PUSH2 0x1ccc
00001cc6: DUP4
00001cc7: DUP4
00001cc8: PUSH2 0x1de3
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH2 0x1d25
00001cd0: JUMPI
00001cd1: DUP3
00001cd2: PUSH1 0x00
00001cd4: ADD
00001cd5: DUP3
00001cd6: SWAP1
00001cd7: DUP1
00001cd8: PUSH1 0x01
00001cda: DUP2
00001cdb: SLOAD
00001cdc: ADD
00001cdd: DUP1
00001cde: DUP3
00001cdf: SSTORE
00001ce0: DUP1
00001ce1: SWAP2
00001ce2: POP
00001ce3: POP
00001ce4: PUSH1 0x01
00001ce6: SWAP1
00001ce7: SUB
00001ce8: SWAP1
00001ce9: PUSH1 0x00
00001ceb: MSTORE
00001cec: PUSH1 0x20
00001cee: PUSH1 0x00
00001cf0: KECCAK256
00001cf1: ADD
00001cf2: PUSH1 0x00
00001cf4: SWAP1
00001cf5: SWAP2
00001cf6: SWAP1
00001cf7: SWAP2
00001cf8: SWAP1
00001cf9: SWAP2
00001cfa: POP
00001cfb: SSTORE
00001cfc: DUP3
00001cfd: PUSH1 0x00
00001cff: ADD
00001d00: DUP1
00001d01: SLOAD
00001d02: SWAP1
00001d03: POP
00001d04: DUP4
00001d05: PUSH1 0x01
00001d07: ADD
00001d08: PUSH1 0x00
00001d0a: DUP5
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x20
00001d0f: ADD
00001d10: SWAP1
00001d11: DUP2
00001d12: MSTORE
00001d13: PUSH1 0x20
00001d15: ADD
00001d16: PUSH1 0x00
00001d18: KECCAK256
00001d19: DUP2
00001d1a: SWAP1
00001d1b: SSTORE
00001d1c: POP
00001d1d: PUSH1 0x01
00001d1f: SWAP1
00001d20: POP
00001d21: PUSH2 0x1d2a
00001d24: JUMP
00001d25: JUMPDEST
00001d26: PUSH1 0x00
00001d28: SWAP1
00001d29: POP
00001d2a: JUMPDEST
00001d2b: SWAP3
00001d2c: SWAP2
00001d2d: POP
00001d2e: POP
00001d2f: JUMP
00001d30: JUMPDEST
00001d31: PUSH1 0x00
00001d33: PUSH2 0x1d58
00001d36: DUP4
00001d37: PUSH1 0x00
00001d39: ADD
00001d3a: DUP4
00001d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d50: AND
00001d51: PUSH1 0x00
00001d53: SHL
00001d54: PUSH2 0x1e17
00001d57: JUMP
00001d58: JUMPDEST
00001d59: SWAP1
00001d5a: POP
00001d5b: SWAP3
00001d5c: SWAP2
00001d5d: POP
00001d5e: POP
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: PUSH1 0x00
00001d63: DUP2
00001d64: DUP4
00001d65: PUSH1 0x00
00001d67: ADD
00001d68: DUP1
00001d69: SLOAD
00001d6a: SWAP1
00001d6b: POP
00001d6c: GT
00001d6d: PUSH2 0x1dc1
00001d70: JUMPI
00001d71: PUSH1 0x40
00001d73: MLOAD
00001d74: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d95: DUP2
00001d96: MSTORE
00001d97: PUSH1 0x04
00001d99: ADD
00001d9a: DUP1
00001d9b: DUP1
00001d9c: PUSH1 0x20
00001d9e: ADD
00001d9f: DUP3
00001da0: DUP2
00001da1: SUB
00001da2: DUP3
00001da3: MSTORE
00001da4: PUSH1 0x22
00001da6: DUP2
00001da7: MSTORE
00001da8: PUSH1 0x20
00001daa: ADD
00001dab: DUP1
00001dac: PUSH2 0x1f00
00001daf: PUSH1 0x22
00001db1: SWAP2
00001db2: CODECOPY
00001db3: PUSH1 0x40
00001db5: ADD
00001db6: SWAP2
00001db7: POP
00001db8: POP
00001db9: PUSH1 0x40
00001dbb: MLOAD
00001dbc: DUP1
00001dbd: SWAP2
00001dbe: SUB
00001dbf: SWAP1
00001dc0: REVERT
00001dc1: JUMPDEST
00001dc2: DUP3
00001dc3: PUSH1 0x00
00001dc5: ADD
00001dc6: DUP3
00001dc7: DUP2
00001dc8: SLOAD
00001dc9: DUP2
00001dca: LT
00001dcb: PUSH2 0x1dd0
00001dce: JUMPI
00001dcf: INVALID
00001dd0: JUMPDEST
00001dd1: SWAP1
00001dd2: PUSH1 0x00
00001dd4: MSTORE
00001dd5: PUSH1 0x20
00001dd7: PUSH1 0x00
00001dd9: KECCAK256
00001dda: ADD
00001ddb: SLOAD
00001ddc: SWAP1
00001ddd: POP
00001dde: SWAP3
00001ddf: SWAP2
00001de0: POP
00001de1: POP
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x00
00001de6: DUP1
00001de7: DUP4
00001de8: PUSH1 0x01
00001dea: ADD
00001deb: PUSH1 0x00
00001ded: DUP5
00001dee: DUP2
00001def: MSTORE
00001df0: PUSH1 0x20
00001df2: ADD
00001df3: SWAP1
00001df4: DUP2
00001df5: MSTORE
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: PUSH1 0x00
00001dfb: KECCAK256
00001dfc: SLOAD
00001dfd: EQ
00001dfe: ISZERO
00001dff: SWAP1
00001e00: POP
00001e01: SWAP3
00001e02: SWAP2
00001e03: POP
00001e04: POP
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH1 0x00
00001e09: DUP2
00001e0a: PUSH1 0x00
00001e0c: ADD
00001e0d: DUP1
00001e0e: SLOAD
00001e0f: SWAP1
00001e10: POP
00001e11: SWAP1
00001e12: POP
00001e13: SWAP2
00001e14: SWAP1
00001e15: POP
00001e16: JUMP
00001e17: JUMPDEST
00001e18: PUSH1 0x00
00001e1a: DUP1
00001e1b: DUP4
00001e1c: PUSH1 0x01
00001e1e: ADD
00001e1f: PUSH1 0x00
00001e21: DUP5
00001e22: DUP2
00001e23: MSTORE
00001e24: PUSH1 0x20
00001e26: ADD
00001e27: SWAP1
00001e28: DUP2
00001e29: MSTORE
00001e2a: PUSH1 0x20
00001e2c: ADD
00001e2d: PUSH1 0x00
00001e2f: KECCAK256
00001e30: SLOAD
00001e31: SWAP1
00001e32: POP
00001e33: PUSH1 0x00
00001e35: DUP2
00001e36: EQ
00001e37: PUSH2 0x1ef3
00001e3a: JUMPI
00001e3b: PUSH1 0x00
00001e3d: PUSH1 0x01
00001e3f: DUP3
00001e40: SUB
00001e41: SWAP1
00001e42: POP
00001e43: PUSH1 0x00
00001e45: PUSH1 0x01
00001e47: DUP7
00001e48: PUSH1 0x00
00001e4a: ADD
00001e4b: DUP1
00001e4c: SLOAD
00001e4d: SWAP1
00001e4e: POP
00001e4f: SUB
00001e50: SWAP1
00001e51: POP
00001e52: PUSH1 0x00
00001e54: DUP7
00001e55: PUSH1 0x00
00001e57: ADD
00001e58: DUP3
00001e59: DUP2
00001e5a: SLOAD
00001e5b: DUP2
00001e5c: LT
00001e5d: PUSH2 0x1e62
00001e60: JUMPI
00001e61: INVALID
00001e62: JUMPDEST
00001e63: SWAP1
00001e64: PUSH1 0x00
00001e66: MSTORE
00001e67: PUSH1 0x20
00001e69: PUSH1 0x00
00001e6b: KECCAK256
00001e6c: ADD
00001e6d: SLOAD
00001e6e: SWAP1
00001e6f: POP
00001e70: DUP1
00001e71: DUP8
00001e72: PUSH1 0x00
00001e74: ADD
00001e75: DUP5
00001e76: DUP2
00001e77: SLOAD
00001e78: DUP2
00001e79: LT
00001e7a: PUSH2 0x1e7f
00001e7d: JUMPI
00001e7e: INVALID
00001e7f: JUMPDEST
00001e80: SWAP1
00001e81: PUSH1 0x00
00001e83: MSTORE
00001e84: PUSH1 0x20
00001e86: PUSH1 0x00
00001e88: KECCAK256
00001e89: ADD
00001e8a: DUP2
00001e8b: SWAP1
00001e8c: SSTORE
00001e8d: POP
00001e8e: PUSH1 0x01
00001e90: DUP4
00001e91: ADD
00001e92: DUP8
00001e93: PUSH1 0x01
00001e95: ADD
00001e96: PUSH1 0x00
00001e98: DUP4
00001e99: DUP2
00001e9a: MSTORE
00001e9b: PUSH1 0x20
00001e9d: ADD
00001e9e: SWAP1
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x20
00001ea3: ADD
00001ea4: PUSH1 0x00
00001ea6: KECCAK256
00001ea7: DUP2
00001ea8: SWAP1
00001ea9: SSTORE
00001eaa: POP
00001eab: DUP7
00001eac: PUSH1 0x00
00001eae: ADD
00001eaf: DUP1
00001eb0: SLOAD
00001eb1: DUP1
00001eb2: PUSH2 0x1eb7
00001eb5: JUMPI
00001eb6: INVALID
00001eb7: JUMPDEST
00001eb8: PUSH1 0x01
00001eba: SWAP1
00001ebb: SUB
00001ebc: DUP2
00001ebd: DUP2
00001ebe: SWAP1
00001ebf: PUSH1 0x00
00001ec1: MSTORE
00001ec2: PUSH1 0x20
00001ec4: PUSH1 0x00
00001ec6: KECCAK256
00001ec7: ADD
00001ec8: PUSH1 0x00
00001eca: SWAP1
00001ecb: SSTORE
00001ecc: SWAP1
00001ecd: SSTORE
00001ece: DUP7
00001ecf: PUSH1 0x01
00001ed1: ADD
00001ed2: PUSH1 0x00
00001ed4: DUP8
00001ed5: DUP2
00001ed6: MSTORE
00001ed7: PUSH1 0x20
00001ed9: ADD
00001eda: SWAP1
00001edb: DUP2
00001edc: MSTORE
00001edd: PUSH1 0x20
00001edf: ADD
00001ee0: PUSH1 0x00
00001ee2: KECCAK256
00001ee3: PUSH1 0x00
00001ee5: SWAP1
00001ee6: SSTORE
00001ee7: PUSH1 0x01
00001ee9: SWAP5
00001eea: POP
00001eeb: POP
00001eec: POP
00001eed: POP
00001eee: POP
00001eef: PUSH2 0x1ef9
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x00
00001ef6: SWAP2
00001ef7: POP
00001ef8: POP
00001ef9: JUMPDEST
00001efa: SWAP3
00001efb: SWAP2
00001efc: POP
00001efd: POP
00001efe: JUMP
00001eff: INVALID
00001f00: GASLIMIT
00001f01: PUSH15 0x756d657261626c655365743a20696e
00001f11: PUSH5 0x6578206f75
00001f17: PUSH21 0x206f6620626f756e6473416363657373436f6e7472
00001f2d: PUSH16 0x6c3a2073656e646572206d7573742062
00001f3e: PUSH6 0x20616e206164
00001f45: PUSH14 0x696e20746f206772616e74414343
00001f54: GASLIMIT
00001f55: POP
00001f56: SLOAD
00001f57: PUSH0
00001f58: TIMESTAMP
00001f59: BLOBHASH
00001f5a: DIFFICULTY
00001f5b: GASPRICE
00001f5c: GASPRICE
00001f5d: UNKNOWN(0x4F)
00001f5e: PUSH15 0x6c79206f776e65722063616e206163
00001f6e: PUSH4 0x65707420
00001f73: PUSH3 0x696457
00001f77: BLOBHASH
00001f78: SLOAD
00001f79: BASEFEE
00001f7a: DIFFICULTY
00001f7b: MSTORE
00001f7c: COINBASE
00001f7d: JUMPI
00001f7e: PUSH0
00001f7f: TIMESTAMP
00001f80: BLOBHASH
00001f81: DIFFICULTY
00001f82: GASPRICE
00001f83: GASPRICE
00001f84: UNKNOWN(0x4F)
00001f85: PUSH15 0x6c79206269646465722063616e2077
00001f95: PUSH10 0x74686472617720686973
00001fa0: KECCAK256
00001fa1: PUSH3 0x696441
00001fa5: PUSH4 0x63657373
00001faa: NUMBER
00001fab: PUSH16 0x6e74726f6c3a2073656e646572206d75
00001fbc: PUSH20 0x7420626520616e2061646d696e20746f20726576
00001fd1: PUSH16 0x6b654143434550545f4249443a3a4d69
00001fe2: PUSH15 0x207072696365206e6f742072657370
00001ff2: PUSH6 0x637465644163
00001ff9: PUSH4 0x65737343
00001ffe: PUSH16 0x6e74726f6c3a2063616e206f6e6c7920
0000200f: PUSH19 0x656e6f756e636520726f6c657320666f722073
00002023: PUSH6 0x6c66a2646970
0000202a: PUSH7 0x73582212200738
00002032: SWAP14
00002033: DUP14
00002034: UNKNOWN(0xC7)
00002035: GASLIMIT
00002036: UNKNOWN(0xB0)
00002037: DUP11
00002038: DUP9
00002039: UNKNOWN(0x4C)
0000203a: PUSH28 0x35bfb8207cc321d210877ef410231c4586d5d04d3564736f6c634300
00002057: SMOD
00002058: MOD
00002059: STOP
0000205a: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x0acf89e7d0ee2ffeaafc20cf6ae25552e55c8ab27c2256c59b77c1762a552343 call_targets: 0x79e77990415acacc1551ec342ff2b826fab2f4dd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0acf89e7d0ee2ffeaafc20cf6ae25552e55c8ab27c2256c59b77c1762a552343", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x79e77990415acacc1551ec342ff2b826fab2f4dd" ], "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": "0xca15c873", "selector": "0xca15c873", "calldata_variants": [ "0xca15c873", "0xca15c8730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f43703", "selector": "0xf3f43703", "calldata_variants": [ "0xf3f43703", "0xf3f437030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xafdac65e", "selector": "0xafdac65e", "calldata_variants": [ "0xafdac65e", "0xafdac65e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc57981b5", "selector": "0xc57981b5", "calldata_variants": [ "0xc57981b5", "0xc57981b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc8796572", "selector": "0xc8796572", "calldata_variants": [ "0xc8796572", "0xc87965720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x91d14854", "selector": "0x91d14854", "calldata_variants": [ "0x91d14854", "0x91d148540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa217fddf", "selector": "0xa217fddf", "calldata_variants": [ "0xa217fddf", "0xa217fddf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2658, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3507, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5397, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 3020, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x0acf89e7d0ee2ffeaafc20cf6ae25552e55c8ab27c2256c59b77c1762a552343 call_targets: 0x79e77990415acacc1551ec342ff2b826fab2f4dd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0acf89e7d0ee2ffeaafc20cf6ae25552e55c8ab27c2256c59b77c1762a552343", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x79e77990415acacc1551ec342ff2b826fab2f4dd" ], "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": "0xca15c873", "selector": "0xca15c873", "calldata_variants": [ "0xca15c873", "0xca15c8730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f43703", "selector": "0xf3f43703", "calldata_variants": [ "0xf3f43703", "0xf3f437030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xafdac65e", "selector": "0xafdac65e", "calldata_variants": [ "0xafdac65e", "0xafdac65e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc57981b5", "selector": "0xc57981b5", "calldata_variants": [ "0xc57981b5", "0xc57981b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc8796572", "selector": "0xc8796572", "calldata_variants": [ "0xc8796572", "0xc87965720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x91d14854", "selector": "0x91d14854", "calldata_variants": [ "0x91d14854", "0x91d148540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa217fddf", "selector": "0xa217fddf", "calldata_variants": [ "0xa217fddf", "0xa217fddf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2658, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3507, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5397, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 3020, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity