Analysis Run

019b477e-bacb-7123-8c6b-1f8cd959f356
complete
Chain ID
1
Address
0x1443e7c1cce72662545d94779120c59251447e91
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23797	artifact.fetch	complete	1 / 3	3 months ago
23798	tool.cast_disasm	complete	1 / 3	3 months ago
67610	analysis.bundle	complete	1 / 3	2 weeks ago
67611	capability.graph	complete	1 / 3	2 weeks ago
67612	detector.run	complete	1 / 3	2 weeks ago
67613	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)
4
EXT*/BALANCE
4
Total opcodes
5638
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 0x01c6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ede036d
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeaa93e78
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeaa93e78
0000003a: EQ
0000003b: PUSH2 0x0a06
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0a54
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf51d4df5
00000050: EQ
00000051: PUSH2 0x0aa5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xff7c4790
0000005b: EQ
0000005c: PUSH2 0x0ad0
0000005f: JUMPI
00000060: PUSH2 0x01cd
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa457c2d7
0000006b: EQ
0000006c: PUSH2 0x0871
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x08e2
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcc0f1786
00000081: EQ
00000082: PUSH2 0x0953
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd62ed3e
0000008c: EQ
0000008d: PUSH2 0x0981
00000090: JUMPI
00000091: PUSH2 0x01cd
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x95d89b41
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: EQ
000000a8: PUSH2 0x0707
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9f9a4e7f
000000b2: EQ
000000b3: PUSH2 0x0797
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa001ecdd
000000bd: EQ
000000be: PUSH2 0x07d4
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa3a49361
000000c8: EQ
000000c9: PUSH2 0x0805
000000cc: JUMPI
000000cd: PUSH2 0x01cd
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x7ede036d
000000d8: EQ
000000d9: PUSH2 0x0670
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x8da5cb5b
000000e3: EQ
000000e4: PUSH2 0x069b
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x91fe5a64
000000ee: EQ
000000ef: PUSH2 0x06dc
000000f2: JUMPI
000000f3: PUSH2 0x01cd
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x39509351
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x689dc62d
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x689dc62d
00000114: EQ
00000115: PUSH2 0x053e
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x6a91ccd0
0000011f: EQ
00000120: PUSH2 0x05b9
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x70a08231
0000012a: EQ
0000012b: PUSH2 0x05f4
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x715018a6
00000135: EQ
00000136: PUSH2 0x0659
00000139: JUMPI
0000013a: PUSH2 0x01cd
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x39509351
00000145: EQ
00000146: PUSH2 0x043f
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x3a27b764
00000150: EQ
00000151: PUSH2 0x04b0
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x49bd5a5e
0000015b: EQ
0000015c: PUSH2 0x04fd
0000015f: JUMPI
00000160: PUSH2 0x01cd
00000163: JUMP
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x18160ddd
0000016b: GT
0000016c: PUSH2 0x01a0
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x18160ddd
00000176: EQ
00000177: PUSH2 0x0314
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x23b872dd
00000181: EQ
00000182: PUSH2 0x033f
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x28d2bc91
0000018c: EQ
0000018d: PUSH2 0x03d0
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x313ce567
00000197: EQ
00000198: PUSH2 0x0411
0000019b: JUMPI
0000019c: PUSH2 0x01cd
0000019f: JUMP
000001a0: JUMPDEST
000001a1: DUP1
000001a2: PUSH4 0x06fdde03
000001a7: EQ
000001a8: PUSH2 0x01d2
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x095ea7b3
000001b2: EQ
000001b3: PUSH2 0x0262
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x1694505e
000001bd: EQ
000001be: PUSH2 0x02d3
000001c1: JUMPI
000001c2: PUSH2 0x01cd
000001c5: JUMP
000001c6: JUMPDEST
000001c7: CALLDATASIZE
000001c8: PUSH2 0x01cd
000001cb: JUMPI
000001cc: STOP
000001cd: JUMPDEST
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: CALLVALUE
000001d4: DUP1
000001d5: ISZERO
000001d6: PUSH2 0x01de
000001d9: JUMPI
000001da: PUSH1 0x00
000001dc: DUP1
000001dd: REVERT
000001de: JUMPDEST
000001df: POP
000001e0: PUSH2 0x01e7
000001e3: PUSH2 0x0afb
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x40
000001ea: MLOAD
000001eb: DUP1
000001ec: DUP1
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: DUP3
000001f1: DUP2
000001f2: SUB
000001f3: DUP3
000001f4: MSTORE
000001f5: DUP4
000001f6: DUP2
000001f7: DUP2
000001f8: MLOAD
000001f9: DUP2
000001fa: MSTORE
000001fb: PUSH1 0x20
000001fd: ADD
000001fe: SWAP2
000001ff: POP
00000200: DUP1
00000201: MLOAD
00000202: SWAP1
00000203: PUSH1 0x20
00000205: ADD
00000206: SWAP1
00000207: DUP1
00000208: DUP4
00000209: DUP4
0000020a: PUSH1 0x00
0000020c: JUMPDEST
0000020d: DUP4
0000020e: DUP2
0000020f: LT
00000210: ISZERO
00000211: PUSH2 0x0227
00000214: JUMPI
00000215: DUP1
00000216: DUP3
00000217: ADD
00000218: MLOAD
00000219: DUP2
0000021a: DUP5
0000021b: ADD
0000021c: MSTORE
0000021d: PUSH1 0x20
0000021f: DUP2
00000220: ADD
00000221: SWAP1
00000222: POP
00000223: PUSH2 0x020c
00000226: JUMP
00000227: JUMPDEST
00000228: POP
00000229: POP
0000022a: POP
0000022b: POP
0000022c: SWAP1
0000022d: POP
0000022e: SWAP1
0000022f: DUP2
00000230: ADD
00000231: SWAP1
00000232: PUSH1 0x1f
00000234: AND
00000235: DUP1
00000236: ISZERO
00000237: PUSH2 0x0254
0000023a: JUMPI
0000023b: DUP1
0000023c: DUP3
0000023d: SUB
0000023e: DUP1
0000023f: MLOAD
00000240: PUSH1 0x01
00000242: DUP4
00000243: PUSH1 0x20
00000245: SUB
00000246: PUSH2 0x0100
00000249: EXP
0000024a: SUB
0000024b: NOT
0000024c: AND
0000024d: DUP2
0000024e: MSTORE
0000024f: PUSH1 0x20
00000251: ADD
00000252: SWAP2
00000253: POP
00000254: JUMPDEST
00000255: POP
00000256: SWAP3
00000257: POP
00000258: POP
00000259: POP
0000025a: PUSH1 0x40
0000025c: MLOAD
0000025d: DUP1
0000025e: SWAP2
0000025f: SUB
00000260: SWAP1
00000261: RETURN
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x02bb
00000273: PUSH1 0x04
00000275: DUP1
00000276: CALLDATASIZE
00000277: SUB
00000278: PUSH1 0x40
0000027a: DUP2
0000027b: LT
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: DUP2
00000287: ADD
00000288: SWAP1
00000289: DUP1
0000028a: DUP1
0000028b: CALLDATALOAD
0000028c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a1: AND
000002a2: SWAP1
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: SWAP1
000002a7: SWAP3
000002a8: SWAP2
000002a9: SWAP1
000002aa: DUP1
000002ab: CALLDATALOAD
000002ac: SWAP1
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP1
000002b1: SWAP3
000002b2: SWAP2
000002b3: SWAP1
000002b4: POP
000002b5: POP
000002b6: POP
000002b7: PUSH2 0x0b9d
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: DUP3
000002c1: ISZERO
000002c2: ISZERO
000002c3: DUP2
000002c4: MSTORE
000002c5: PUSH1 0x20
000002c7: ADD
000002c8: SWAP2
000002c9: POP
000002ca: POP
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: DUP1
000002cf: SWAP2
000002d0: SUB
000002d1: SWAP1
000002d2: RETURN
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x02e8
000002e4: PUSH2 0x0bbb
000002e7: JUMP
000002e8: JUMPDEST
000002e9: PUSH1 0x40
000002eb: MLOAD
000002ec: DUP1
000002ed: DUP3
000002ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000303: AND
00000304: DUP2
00000305: MSTORE
00000306: PUSH1 0x20
00000308: ADD
00000309: SWAP2
0000030a: POP
0000030b: POP
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: SWAP2
00000311: SUB
00000312: SWAP1
00000313: RETURN
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0329
00000325: PUSH2 0x0bdf
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: DUP3
0000032f: DUP2
00000330: MSTORE
00000331: PUSH1 0x20
00000333: ADD
00000334: SWAP2
00000335: POP
00000336: POP
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: DUP1
0000033b: SWAP2
0000033c: SUB
0000033d: SWAP1
0000033e: RETURN
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x03b8
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: PUSH1 0x60
00000357: DUP2
00000358: LT
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: DUP2
00000364: ADD
00000365: SWAP1
00000366: DUP1
00000367: DUP1
00000368: CALLDATALOAD
00000369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037e: AND
0000037f: SWAP1
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP1
00000384: SWAP3
00000385: SWAP2
00000386: SWAP1
00000387: DUP1
00000388: CALLDATALOAD
00000389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000039e: AND
0000039f: SWAP1
000003a0: PUSH1 0x20
000003a2: ADD
000003a3: SWAP1
000003a4: SWAP3
000003a5: SWAP2
000003a6: SWAP1
000003a7: DUP1
000003a8: CALLDATALOAD
000003a9: SWAP1
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: SWAP1
000003ae: SWAP3
000003af: SWAP2
000003b0: SWAP1
000003b1: POP
000003b2: POP
000003b3: POP
000003b4: PUSH2 0x0be9
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: DUP1
000003bd: DUP3
000003be: ISZERO
000003bf: ISZERO
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: SWAP2
000003c6: POP
000003c7: POP
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: DUP1
000003cc: SWAP2
000003cd: SUB
000003ce: SWAP1
000003cf: RETURN
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x03e5
000003e1: PUSH2 0x0cc2
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH1 0x40
000003e8: MLOAD
000003e9: DUP1
000003ea: DUP3
000003eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000400: AND
00000401: DUP2
00000402: MSTORE
00000403: PUSH1 0x20
00000405: ADD
00000406: SWAP2
00000407: POP
00000408: POP
00000409: PUSH1 0x40
0000040b: MLOAD
0000040c: DUP1
0000040d: SWAP2
0000040e: SUB
0000040f: SWAP1
00000410: RETURN
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x0426
00000422: PUSH2 0x0ce8
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH1 0x40
00000429: MLOAD
0000042a: DUP1
0000042b: DUP3
0000042c: PUSH1 0xff
0000042e: AND
0000042f: DUP2
00000430: MSTORE
00000431: PUSH1 0x20
00000433: ADD
00000434: SWAP2
00000435: POP
00000436: POP
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: DUP1
0000043b: SWAP2
0000043c: SUB
0000043d: SWAP1
0000043e: RETURN
0000043f: JUMPDEST
00000440: CALLVALUE
00000441: DUP1
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: POP
0000044d: PUSH2 0x0498
00000450: PUSH1 0x04
00000452: DUP1
00000453: CALLDATASIZE
00000454: SUB
00000455: PUSH1 0x40
00000457: DUP2
00000458: LT
00000459: ISZERO
0000045a: PUSH2 0x0462
0000045d: JUMPI
0000045e: PUSH1 0x00
00000460: DUP1
00000461: REVERT
00000462: JUMPDEST
00000463: DUP2
00000464: ADD
00000465: SWAP1
00000466: DUP1
00000467: DUP1
00000468: CALLDATALOAD
00000469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047e: AND
0000047f: SWAP1
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP1
00000484: SWAP3
00000485: SWAP2
00000486: SWAP1
00000487: DUP1
00000488: CALLDATALOAD
00000489: SWAP1
0000048a: PUSH1 0x20
0000048c: ADD
0000048d: SWAP1
0000048e: SWAP3
0000048f: SWAP2
00000490: SWAP1
00000491: POP
00000492: POP
00000493: POP
00000494: PUSH2 0x0cff
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: DUP3
0000049e: ISZERO
0000049f: ISZERO
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: ADD
000004a5: SWAP2
000004a6: POP
000004a7: POP
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: DUP1
000004ac: SWAP2
000004ad: SUB
000004ae: SWAP1
000004af: RETURN
000004b0: JUMPDEST
000004b1: CALLVALUE
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH2 0x04fb
000004c1: PUSH1 0x04
000004c3: DUP1
000004c4: CALLDATASIZE
000004c5: SUB
000004c6: PUSH1 0x20
000004c8: DUP2
000004c9: LT
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: DUP2
000004d5: ADD
000004d6: SWAP1
000004d7: DUP1
000004d8: DUP1
000004d9: CALLDATALOAD
000004da: PUSH16 0xffffffffffffffffffffffffffffffff
000004eb: AND
000004ec: SWAP1
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: SWAP1
000004f1: SWAP3
000004f2: SWAP2
000004f3: SWAP1
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: PUSH2 0x0db2
000004fa: JUMP
000004fb: JUMPDEST
000004fc: STOP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: DUP1
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH1 0x00
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x0512
0000050e: PUSH2 0x0f01
00000511: JUMP
00000512: JUMPDEST
00000513: PUSH1 0x40
00000515: MLOAD
00000516: DUP1
00000517: DUP3
00000518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052d: AND
0000052e: DUP2
0000052f: MSTORE
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP2
00000534: POP
00000535: POP
00000536: PUSH1 0x40
00000538: MLOAD
00000539: DUP1
0000053a: SWAP2
0000053b: SUB
0000053c: SWAP1
0000053d: RETURN
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x05b7
0000054f: PUSH1 0x04
00000551: DUP1
00000552: CALLDATASIZE
00000553: SUB
00000554: PUSH1 0x60
00000556: DUP2
00000557: LT
00000558: ISZERO
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: DUP2
00000563: ADD
00000564: SWAP1
00000565: DUP1
00000566: DUP1
00000567: CALLDATALOAD
00000568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057d: AND
0000057e: SWAP1
0000057f: PUSH1 0x20
00000581: ADD
00000582: SWAP1
00000583: SWAP3
00000584: SWAP2
00000585: SWAP1
00000586: DUP1
00000587: CALLDATALOAD
00000588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059d: AND
0000059e: SWAP1
0000059f: PUSH1 0x20
000005a1: ADD
000005a2: SWAP1
000005a3: SWAP3
000005a4: SWAP2
000005a5: SWAP1
000005a6: DUP1
000005a7: CALLDATALOAD
000005a8: SWAP1
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: SWAP1
000005ad: SWAP3
000005ae: SWAP2
000005af: SWAP1
000005b0: POP
000005b1: POP
000005b2: POP
000005b3: PUSH2 0x0f25
000005b6: JUMP
000005b7: JUMPDEST
000005b8: STOP
000005b9: JUMPDEST
000005ba: CALLVALUE
000005bb: DUP1
000005bc: ISZERO
000005bd: PUSH2 0x05c5
000005c0: JUMPI
000005c1: PUSH1 0x00
000005c3: DUP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: POP
000005c7: PUSH2 0x05f2
000005ca: PUSH1 0x04
000005cc: DUP1
000005cd: CALLDATASIZE
000005ce: SUB
000005cf: PUSH1 0x20
000005d1: DUP2
000005d2: LT
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: DUP2
000005de: ADD
000005df: SWAP1
000005e0: DUP1
000005e1: DUP1
000005e2: CALLDATALOAD
000005e3: SWAP1
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP1
000005e8: SWAP3
000005e9: SWAP2
000005ea: SWAP1
000005eb: POP
000005ec: POP
000005ed: POP
000005ee: PUSH2 0x1187
000005f1: JUMP
000005f2: JUMPDEST
000005f3: STOP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x0643
00000605: PUSH1 0x04
00000607: DUP1
00000608: CALLDATASIZE
00000609: SUB
0000060a: PUSH1 0x20
0000060c: DUP2
0000060d: LT
0000060e: ISZERO
0000060f: PUSH2 0x0617
00000612: JUMPI
00000613: PUSH1 0x00
00000615: DUP1
00000616: REVERT
00000617: JUMPDEST
00000618: DUP2
00000619: ADD
0000061a: SWAP1
0000061b: DUP1
0000061c: DUP1
0000061d: CALLDATALOAD
0000061e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000633: AND
00000634: SWAP1
00000635: PUSH1 0x20
00000637: ADD
00000638: SWAP1
00000639: SWAP3
0000063a: SWAP2
0000063b: SWAP1
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: PUSH2 0x1292
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH1 0x40
00000646: MLOAD
00000647: DUP1
00000648: DUP3
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: SWAP2
0000064f: POP
00000650: POP
00000651: PUSH1 0x40
00000653: MLOAD
00000654: DUP1
00000655: SWAP2
00000656: SUB
00000657: SWAP1
00000658: RETURN
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x066e
0000066a: PUSH2 0x12da
0000066d: JUMP
0000066e: JUMPDEST
0000066f: STOP
00000670: JUMPDEST
00000671: CALLVALUE
00000672: DUP1
00000673: ISZERO
00000674: PUSH2 0x067c
00000677: JUMPI
00000678: PUSH1 0x00
0000067a: DUP1
0000067b: REVERT
0000067c: JUMPDEST
0000067d: POP
0000067e: PUSH2 0x0685
00000681: PUSH2 0x1465
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x40
00000688: MLOAD
00000689: DUP1
0000068a: DUP3
0000068b: DUP2
0000068c: MSTORE
0000068d: PUSH1 0x20
0000068f: ADD
00000690: SWAP2
00000691: POP
00000692: POP
00000693: PUSH1 0x40
00000695: MLOAD
00000696: DUP1
00000697: SWAP2
00000698: SUB
00000699: SWAP1
0000069a: RETURN
0000069b: JUMPDEST
0000069c: CALLVALUE
0000069d: DUP1
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: PUSH2 0x06b0
000006ac: PUSH2 0x146f
000006af: JUMP
000006b0: JUMPDEST
000006b1: PUSH1 0x40
000006b3: MLOAD
000006b4: DUP1
000006b5: DUP3
000006b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cb: AND
000006cc: DUP2
000006cd: MSTORE
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: SWAP2
000006d2: POP
000006d3: POP
000006d4: PUSH1 0x40
000006d6: MLOAD
000006d7: DUP1
000006d8: SWAP2
000006d9: SUB
000006da: SWAP1
000006db: RETURN
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: POP
000006ea: PUSH2 0x06f1
000006ed: PUSH2 0x1499
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: DUP1
000006f6: DUP3
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH1 0x20
000006fb: ADD
000006fc: SWAP2
000006fd: POP
000006fe: POP
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: DUP1
00000703: SWAP2
00000704: SUB
00000705: SWAP1
00000706: RETURN
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x071c
00000718: PUSH2 0x149f
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH1 0x40
0000071f: MLOAD
00000720: DUP1
00000721: DUP1
00000722: PUSH1 0x20
00000724: ADD
00000725: DUP3
00000726: DUP2
00000727: SUB
00000728: DUP3
00000729: MSTORE
0000072a: DUP4
0000072b: DUP2
0000072c: DUP2
0000072d: MLOAD
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x20
00000732: ADD
00000733: SWAP2
00000734: POP
00000735: DUP1
00000736: MLOAD
00000737: SWAP1
00000738: PUSH1 0x20
0000073a: ADD
0000073b: SWAP1
0000073c: DUP1
0000073d: DUP4
0000073e: DUP4
0000073f: PUSH1 0x00
00000741: JUMPDEST
00000742: DUP4
00000743: DUP2
00000744: LT
00000745: ISZERO
00000746: PUSH2 0x075c
00000749: JUMPI
0000074a: DUP1
0000074b: DUP3
0000074c: ADD
0000074d: MLOAD
0000074e: DUP2
0000074f: DUP5
00000750: ADD
00000751: MSTORE
00000752: PUSH1 0x20
00000754: DUP2
00000755: ADD
00000756: SWAP1
00000757: POP
00000758: PUSH2 0x0741
0000075b: JUMP
0000075c: JUMPDEST
0000075d: POP
0000075e: POP
0000075f: POP
00000760: POP
00000761: SWAP1
00000762: POP
00000763: SWAP1
00000764: DUP2
00000765: ADD
00000766: SWAP1
00000767: PUSH1 0x1f
00000769: AND
0000076a: DUP1
0000076b: ISZERO
0000076c: PUSH2 0x0789
0000076f: JUMPI
00000770: DUP1
00000771: DUP3
00000772: SUB
00000773: DUP1
00000774: MLOAD
00000775: PUSH1 0x01
00000777: DUP4
00000778: PUSH1 0x20
0000077a: SUB
0000077b: PUSH2 0x0100
0000077e: EXP
0000077f: SUB
00000780: NOT
00000781: AND
00000782: DUP2
00000783: MSTORE
00000784: PUSH1 0x20
00000786: ADD
00000787: SWAP2
00000788: POP
00000789: JUMPDEST
0000078a: POP
0000078b: SWAP3
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: DUP1
00000793: SWAP2
00000794: SUB
00000795: SWAP1
00000796: RETURN
00000797: JUMPDEST
00000798: CALLVALUE
00000799: DUP1
0000079a: ISZERO
0000079b: PUSH2 0x07a3
0000079e: JUMPI
0000079f: PUSH1 0x00
000007a1: DUP1
000007a2: REVERT
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH2 0x07d2
000007a8: PUSH1 0x04
000007aa: DUP1
000007ab: CALLDATASIZE
000007ac: SUB
000007ad: PUSH1 0x20
000007af: DUP2
000007b0: LT
000007b1: ISZERO
000007b2: PUSH2 0x07ba
000007b5: JUMPI
000007b6: PUSH1 0x00
000007b8: DUP1
000007b9: REVERT
000007ba: JUMPDEST
000007bb: DUP2
000007bc: ADD
000007bd: SWAP1
000007be: DUP1
000007bf: DUP1
000007c0: CALLDATALOAD
000007c1: ISZERO
000007c2: ISZERO
000007c3: SWAP1
000007c4: PUSH1 0x20
000007c6: ADD
000007c7: SWAP1
000007c8: SWAP3
000007c9: SWAP2
000007ca: SWAP1
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: PUSH2 0x1541
000007d1: JUMP
000007d2: JUMPDEST
000007d3: STOP
000007d4: JUMPDEST
000007d5: CALLVALUE
000007d6: DUP1
000007d7: ISZERO
000007d8: PUSH2 0x07e0
000007db: JUMPI
000007dc: PUSH1 0x00
000007de: DUP1
000007df: REVERT
000007e0: JUMPDEST
000007e1: POP
000007e2: PUSH2 0x07e9
000007e5: PUSH2 0x1668
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH1 0x40
000007ec: MLOAD
000007ed: DUP1
000007ee: DUP3
000007ef: PUSH4 0xffffffff
000007f4: AND
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x20
000007f9: ADD
000007fa: SWAP2
000007fb: POP
000007fc: POP
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: SWAP2
00000802: SUB
00000803: SWAP1
00000804: RETURN
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH2 0x085b
00000816: PUSH1 0x04
00000818: DUP1
00000819: CALLDATASIZE
0000081a: SUB
0000081b: PUSH1 0x60
0000081d: DUP2
0000081e: LT
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: DUP2
0000082a: ADD
0000082b: SWAP1
0000082c: DUP1
0000082d: DUP1
0000082e: CALLDATALOAD
0000082f: SWAP1
00000830: PUSH1 0x20
00000832: ADD
00000833: SWAP1
00000834: SWAP3
00000835: SWAP2
00000836: SWAP1
00000837: DUP1
00000838: CALLDATALOAD
00000839: PUSH1 0xff
0000083b: AND
0000083c: SWAP1
0000083d: PUSH1 0x20
0000083f: ADD
00000840: SWAP1
00000841: SWAP3
00000842: SWAP2
00000843: SWAP1
00000844: DUP1
00000845: CALLDATALOAD
00000846: PUSH4 0xffffffff
0000084b: AND
0000084c: SWAP1
0000084d: PUSH1 0x20
0000084f: ADD
00000850: SWAP1
00000851: SWAP3
00000852: SWAP2
00000853: SWAP1
00000854: POP
00000855: POP
00000856: POP
00000857: PUSH2 0x167e
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH1 0x40
0000085e: MLOAD
0000085f: DUP1
00000860: DUP3
00000861: DUP2
00000862: MSTORE
00000863: PUSH1 0x20
00000865: ADD
00000866: SWAP2
00000867: POP
00000868: POP
00000869: PUSH1 0x40
0000086b: MLOAD
0000086c: DUP1
0000086d: SWAP2
0000086e: SUB
0000086f: SWAP1
00000870: RETURN
00000871: JUMPDEST
00000872: CALLVALUE
00000873: DUP1
00000874: ISZERO
00000875: PUSH2 0x087d
00000878: JUMPI
00000879: PUSH1 0x00
0000087b: DUP1
0000087c: REVERT
0000087d: JUMPDEST
0000087e: POP
0000087f: PUSH2 0x08ca
00000882: PUSH1 0x04
00000884: DUP1
00000885: CALLDATASIZE
00000886: SUB
00000887: PUSH1 0x40
00000889: DUP2
0000088a: LT
0000088b: ISZERO
0000088c: PUSH2 0x0894
0000088f: JUMPI
00000890: PUSH1 0x00
00000892: DUP1
00000893: REVERT
00000894: JUMPDEST
00000895: DUP2
00000896: ADD
00000897: SWAP1
00000898: DUP1
00000899: DUP1
0000089a: CALLDATALOAD
0000089b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b0: AND
000008b1: SWAP1
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: SWAP1
000008b6: SWAP3
000008b7: SWAP2
000008b8: SWAP1
000008b9: DUP1
000008ba: CALLDATALOAD
000008bb: SWAP1
000008bc: PUSH1 0x20
000008be: ADD
000008bf: SWAP1
000008c0: SWAP3
000008c1: SWAP2
000008c2: SWAP1
000008c3: POP
000008c4: POP
000008c5: POP
000008c6: PUSH2 0x16bd
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x40
000008cd: MLOAD
000008ce: DUP1
000008cf: DUP3
000008d0: ISZERO
000008d1: ISZERO
000008d2: DUP2
000008d3: MSTORE
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP2
000008d8: POP
000008d9: POP
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: DUP1
000008de: SWAP2
000008df: SUB
000008e0: SWAP1
000008e1: RETURN
000008e2: JUMPDEST
000008e3: CALLVALUE
000008e4: DUP1
000008e5: ISZERO
000008e6: PUSH2 0x08ee
000008e9: JUMPI
000008ea: PUSH1 0x00
000008ec: DUP1
000008ed: REVERT
000008ee: JUMPDEST
000008ef: POP
000008f0: PUSH2 0x093b
000008f3: PUSH1 0x04
000008f5: DUP1
000008f6: CALLDATASIZE
000008f7: SUB
000008f8: PUSH1 0x40
000008fa: DUP2
000008fb: LT
000008fc: ISZERO
000008fd: PUSH2 0x0905
00000900: JUMPI
00000901: PUSH1 0x00
00000903: DUP1
00000904: REVERT
00000905: JUMPDEST
00000906: DUP2
00000907: ADD
00000908: SWAP1
00000909: DUP1
0000090a: DUP1
0000090b: CALLDATALOAD
0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000921: AND
00000922: SWAP1
00000923: PUSH1 0x20
00000925: ADD
00000926: SWAP1
00000927: SWAP3
00000928: SWAP2
00000929: SWAP1
0000092a: DUP1
0000092b: CALLDATALOAD
0000092c: SWAP1
0000092d: PUSH1 0x20
0000092f: ADD
00000930: SWAP1
00000931: SWAP3
00000932: SWAP2
00000933: SWAP1
00000934: POP
00000935: POP
00000936: POP
00000937: PUSH2 0x178a
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x40
0000093e: MLOAD
0000093f: DUP1
00000940: DUP3
00000941: ISZERO
00000942: ISZERO
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x20
00000947: ADD
00000948: SWAP2
00000949: POP
0000094a: POP
0000094b: PUSH1 0x40
0000094d: MLOAD
0000094e: DUP1
0000094f: SWAP2
00000950: SUB
00000951: SWAP1
00000952: RETURN
00000953: JUMPDEST
00000954: CALLVALUE
00000955: DUP1
00000956: ISZERO
00000957: PUSH2 0x095f
0000095a: JUMPI
0000095b: PUSH1 0x00
0000095d: DUP1
0000095e: REVERT
0000095f: JUMPDEST
00000960: POP
00000961: PUSH2 0x0968
00000964: PUSH2 0x17a8
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: DUP1
0000096d: DUP3
0000096e: PUSH1 0xff
00000970: AND
00000971: DUP2
00000972: MSTORE
00000973: PUSH1 0x20
00000975: ADD
00000976: SWAP2
00000977: POP
00000978: POP
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: DUP1
0000097d: SWAP2
0000097e: SUB
0000097f: SWAP1
00000980: RETURN
00000981: JUMPDEST
00000982: CALLVALUE
00000983: DUP1
00000984: ISZERO
00000985: PUSH2 0x098d
00000988: JUMPI
00000989: PUSH1 0x00
0000098b: DUP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: POP
0000098f: PUSH2 0x09f0
00000992: PUSH1 0x04
00000994: DUP1
00000995: CALLDATASIZE
00000996: SUB
00000997: PUSH1 0x40
00000999: DUP2
0000099a: LT
0000099b: ISZERO
0000099c: PUSH2 0x09a4
0000099f: JUMPI
000009a0: PUSH1 0x00
000009a2: DUP1
000009a3: REVERT
000009a4: JUMPDEST
000009a5: DUP2
000009a6: ADD
000009a7: SWAP1
000009a8: DUP1
000009a9: DUP1
000009aa: CALLDATALOAD
000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c0: AND
000009c1: SWAP1
000009c2: PUSH1 0x20
000009c4: ADD
000009c5: SWAP1
000009c6: SWAP3
000009c7: SWAP2
000009c8: SWAP1
000009c9: DUP1
000009ca: CALLDATALOAD
000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e0: AND
000009e1: SWAP1
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: SWAP1
000009e6: SWAP3
000009e7: SWAP2
000009e8: SWAP1
000009e9: POP
000009ea: POP
000009eb: POP
000009ec: PUSH2 0x17bb
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x40
000009f3: MLOAD
000009f4: DUP1
000009f5: DUP3
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: ADD
000009fb: SWAP2
000009fc: POP
000009fd: POP
000009fe: PUSH1 0x40
00000a00: MLOAD
00000a01: DUP1
00000a02: SWAP2
00000a03: SUB
00000a04: SWAP1
00000a05: RETURN
00000a06: JUMPDEST
00000a07: CALLVALUE
00000a08: DUP1
00000a09: ISZERO
00000a0a: PUSH2 0x0a12
00000a0d: JUMPI
00000a0e: PUSH1 0x00
00000a10: DUP1
00000a11: REVERT
00000a12: JUMPDEST
00000a13: POP
00000a14: PUSH2 0x0a52
00000a17: PUSH1 0x04
00000a19: DUP1
00000a1a: CALLDATASIZE
00000a1b: SUB
00000a1c: PUSH1 0x40
00000a1e: DUP2
00000a1f: LT
00000a20: ISZERO
00000a21: PUSH2 0x0a29
00000a24: JUMPI
00000a25: PUSH1 0x00
00000a27: DUP1
00000a28: REVERT
00000a29: JUMPDEST
00000a2a: DUP2
00000a2b: ADD
00000a2c: SWAP1
00000a2d: DUP1
00000a2e: DUP1
00000a2f: CALLDATALOAD
00000a30: PUSH1 0xff
00000a32: AND
00000a33: SWAP1
00000a34: PUSH1 0x20
00000a36: ADD
00000a37: SWAP1
00000a38: SWAP3
00000a39: SWAP2
00000a3a: SWAP1
00000a3b: DUP1
00000a3c: CALLDATALOAD
00000a3d: PUSH4 0xffffffff
00000a42: AND
00000a43: SWAP1
00000a44: PUSH1 0x20
00000a46: ADD
00000a47: SWAP1
00000a48: SWAP3
00000a49: SWAP2
00000a4a: SWAP1
00000a4b: POP
00000a4c: POP
00000a4d: POP
00000a4e: PUSH2 0x1842
00000a51: JUMP
00000a52: JUMPDEST
00000a53: STOP
00000a54: JUMPDEST
00000a55: CALLVALUE
00000a56: DUP1
00000a57: ISZERO
00000a58: PUSH2 0x0a60
00000a5b: JUMPI
00000a5c: PUSH1 0x00
00000a5e: DUP1
00000a5f: REVERT
00000a60: JUMPDEST
00000a61: POP
00000a62: PUSH2 0x0aa3
00000a65: PUSH1 0x04
00000a67: DUP1
00000a68: CALLDATASIZE
00000a69: SUB
00000a6a: PUSH1 0x20
00000a6c: DUP2
00000a6d: LT
00000a6e: ISZERO
00000a6f: PUSH2 0x0a77
00000a72: JUMPI
00000a73: PUSH1 0x00
00000a75: DUP1
00000a76: REVERT
00000a77: JUMPDEST
00000a78: DUP2
00000a79: ADD
00000a7a: SWAP1
00000a7b: DUP1
00000a7c: DUP1
00000a7d: CALLDATALOAD
00000a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a93: AND
00000a94: SWAP1
00000a95: PUSH1 0x20
00000a97: ADD
00000a98: SWAP1
00000a99: SWAP3
00000a9a: SWAP2
00000a9b: SWAP1
00000a9c: POP
00000a9d: POP
00000a9e: POP
00000a9f: PUSH2 0x1994
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: STOP
00000aa5: JUMPDEST
00000aa6: CALLVALUE
00000aa7: DUP1
00000aa8: ISZERO
00000aa9: PUSH2 0x0ab1
00000aac: JUMPI
00000aad: PUSH1 0x00
00000aaf: DUP1
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: POP
00000ab3: PUSH2 0x0aba
00000ab6: PUSH2 0x1ba4
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: DUP1
00000abf: DUP3
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x20
00000ac4: ADD
00000ac5: SWAP2
00000ac6: POP
00000ac7: POP
00000ac8: PUSH1 0x40
00000aca: MLOAD
00000acb: DUP1
00000acc: SWAP2
00000acd: SUB
00000ace: SWAP1
00000acf: RETURN
00000ad0: JUMPDEST
00000ad1: CALLVALUE
00000ad2: DUP1
00000ad3: ISZERO
00000ad4: PUSH2 0x0adc
00000ad7: JUMPI
00000ad8: PUSH1 0x00
00000ada: DUP1
00000adb: REVERT
00000adc: JUMPDEST
00000add: POP
00000ade: PUSH2 0x0ae5
00000ae1: PUSH2 0x1baa
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: PUSH1 0x40
00000ae8: MLOAD
00000ae9: DUP1
00000aea: DUP3
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: ADD
00000af0: SWAP2
00000af1: POP
00000af2: POP
00000af3: PUSH1 0x40
00000af5: MLOAD
00000af6: DUP1
00000af7: SWAP2
00000af8: SUB
00000af9: SWAP1
00000afa: RETURN
00000afb: JUMPDEST
00000afc: PUSH1 0x60
00000afe: PUSH1 0x03
00000b00: DUP1
00000b01: SLOAD
00000b02: PUSH1 0x01
00000b04: DUP2
00000b05: PUSH1 0x01
00000b07: AND
00000b08: ISZERO
00000b09: PUSH2 0x0100
00000b0c: MUL
00000b0d: SUB
00000b0e: AND
00000b0f: PUSH1 0x02
00000b11: SWAP1
00000b12: DIV
00000b13: DUP1
00000b14: PUSH1 0x1f
00000b16: ADD
00000b17: PUSH1 0x20
00000b19: DUP1
00000b1a: SWAP2
00000b1b: DIV
00000b1c: MUL
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: SWAP1
00000b24: DUP2
00000b25: ADD
00000b26: PUSH1 0x40
00000b28: MSTORE
00000b29: DUP1
00000b2a: SWAP3
00000b2b: SWAP2
00000b2c: SWAP1
00000b2d: DUP2
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x20
00000b32: ADD
00000b33: DUP3
00000b34: DUP1
00000b35: SLOAD
00000b36: PUSH1 0x01
00000b38: DUP2
00000b39: PUSH1 0x01
00000b3b: AND
00000b3c: ISZERO
00000b3d: PUSH2 0x0100
00000b40: MUL
00000b41: SUB
00000b42: AND
00000b43: PUSH1 0x02
00000b45: SWAP1
00000b46: DIV
00000b47: DUP1
00000b48: ISZERO
00000b49: PUSH2 0x0b93
00000b4c: JUMPI
00000b4d: DUP1
00000b4e: PUSH1 0x1f
00000b50: LT
00000b51: PUSH2 0x0b68
00000b54: JUMPI
00000b55: PUSH2 0x0100
00000b58: DUP1
00000b59: DUP4
00000b5a: SLOAD
00000b5b: DIV
00000b5c: MUL
00000b5d: DUP4
00000b5e: MSTORE
00000b5f: SWAP2
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: SWAP2
00000b64: PUSH2 0x0b93
00000b67: JUMP
00000b68: JUMPDEST
00000b69: DUP3
00000b6a: ADD
00000b6b: SWAP2
00000b6c: SWAP1
00000b6d: PUSH1 0x00
00000b6f: MSTORE
00000b70: PUSH1 0x20
00000b72: PUSH1 0x00
00000b74: KECCAK256
00000b75: SWAP1
00000b76: JUMPDEST
00000b77: DUP2
00000b78: SLOAD
00000b79: DUP2
00000b7a: MSTORE
00000b7b: SWAP1
00000b7c: PUSH1 0x01
00000b7e: ADD
00000b7f: SWAP1
00000b80: PUSH1 0x20
00000b82: ADD
00000b83: DUP1
00000b84: DUP4
00000b85: GT
00000b86: PUSH2 0x0b76
00000b89: JUMPI
00000b8a: DUP3
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0x1f
00000b8f: AND
00000b90: DUP3
00000b91: ADD
00000b92: SWAP2
00000b93: JUMPDEST
00000b94: POP
00000b95: POP
00000b96: POP
00000b97: POP
00000b98: POP
00000b99: SWAP1
00000b9a: POP
00000b9b: SWAP1
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x00
00000ba0: PUSH2 0x0bb1
00000ba3: PUSH2 0x0baa
00000ba6: PUSH2 0x1c38
00000ba9: JUMP
00000baa: JUMPDEST
00000bab: DUP5
00000bac: DUP5
00000bad: PUSH2 0x1c40
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x01
00000bb4: SWAP1
00000bb5: POP
00000bb6: SWAP3
00000bb7: SWAP2
00000bb8: POP
00000bb9: POP
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00000bdd: DUP2
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x00
00000be2: PUSH1 0x02
00000be4: SLOAD
00000be5: SWAP1
00000be6: POP
00000be7: SWAP1
00000be8: JUMP
00000be9: JUMPDEST
00000bea: PUSH1 0x00
00000bec: PUSH2 0x0bf6
00000bef: DUP5
00000bf0: DUP5
00000bf1: DUP5
00000bf2: PUSH2 0x1e37
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH2 0x0cb7
00000bfa: DUP5
00000bfb: PUSH2 0x0c02
00000bfe: PUSH2 0x1c38
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH2 0x0cb2
00000c06: DUP6
00000c07: PUSH1 0x40
00000c09: MLOAD
00000c0a: DUP1
00000c0b: PUSH1 0x60
00000c0d: ADD
00000c0e: PUSH1 0x40
00000c10: MSTORE
00000c11: DUP1
00000c12: PUSH1 0x28
00000c14: DUP2
00000c15: MSTORE
00000c16: PUSH1 0x20
00000c18: ADD
00000c19: PUSH2 0x2d26
00000c1c: PUSH1 0x28
00000c1e: SWAP2
00000c1f: CODECOPY
00000c20: PUSH1 0x01
00000c22: PUSH1 0x00
00000c24: DUP12
00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3a: AND
00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c50: AND
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: ADD
00000c56: SWAP1
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: ADD
00000c5c: PUSH1 0x00
00000c5e: KECCAK256
00000c5f: PUSH1 0x00
00000c61: PUSH2 0x0c68
00000c64: PUSH2 0x1c38
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7e: AND
00000c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c94: AND
00000c95: DUP2
00000c96: MSTORE
00000c97: PUSH1 0x20
00000c99: ADD
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: PUSH1 0x20
00000c9f: ADD
00000ca0: PUSH1 0x00
00000ca2: KECCAK256
00000ca3: SLOAD
00000ca4: PUSH2 0x204d
00000ca7: SWAP1
00000ca8: SWAP3
00000ca9: SWAP2
00000caa: SWAP1
00000cab: PUSH4 0xffffffff
00000cb0: AND
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH2 0x1c40
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x01
00000cba: SWAP1
00000cbb: POP
00000cbc: SWAP4
00000cbd: SWAP3
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x06
00000cc5: PUSH1 0x00
00000cc7: SWAP1
00000cc8: SLOAD
00000cc9: SWAP1
00000cca: PUSH2 0x0100
00000ccd: EXP
00000cce: SWAP1
00000ccf: DIV
00000cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce5: AND
00000ce6: DUP2
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x00
00000ceb: PUSH1 0x05
00000ced: PUSH1 0x00
00000cef: SWAP1
00000cf0: SLOAD
00000cf1: SWAP1
00000cf2: PUSH2 0x0100
00000cf5: EXP
00000cf6: SWAP1
00000cf7: DIV
00000cf8: PUSH1 0xff
00000cfa: AND
00000cfb: SWAP1
00000cfc: POP
00000cfd: SWAP1
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH1 0x00
00000d02: PUSH2 0x0da8
00000d05: PUSH2 0x0d0c
00000d08: PUSH2 0x1c38
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: DUP5
00000d0e: PUSH2 0x0da3
00000d11: DUP6
00000d12: PUSH1 0x01
00000d14: PUSH1 0x00
00000d16: PUSH2 0x0d1d
00000d19: PUSH2 0x1c38
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d33: AND
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: AND
00000d4a: DUP2
00000d4b: MSTORE
00000d4c: PUSH1 0x20
00000d4e: ADD
00000d4f: SWAP1
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: ADD
00000d55: PUSH1 0x00
00000d57: KECCAK256
00000d58: PUSH1 0x00
00000d5a: DUP10
00000d5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d70: AND
00000d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d86: AND
00000d87: DUP2
00000d88: MSTORE
00000d89: PUSH1 0x20
00000d8b: ADD
00000d8c: SWAP1
00000d8d: DUP2
00000d8e: MSTORE
00000d8f: PUSH1 0x20
00000d91: ADD
00000d92: PUSH1 0x00
00000d94: KECCAK256
00000d95: SLOAD
00000d96: PUSH2 0x1bb0
00000d99: SWAP1
00000d9a: SWAP2
00000d9b: SWAP1
00000d9c: PUSH4 0xffffffff
00000da1: AND
00000da2: JUMP
00000da3: JUMPDEST
00000da4: PUSH2 0x1c40
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH1 0x01
00000dab: SWAP1
00000dac: POP
00000dad: SWAP3
00000dae: SWAP2
00000daf: POP
00000db0: POP
00000db1: JUMP
00000db2: JUMPDEST
00000db3: PUSH2 0x0dba
00000db6: PUSH2 0x1c38
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd0: AND
00000dd1: PUSH1 0x05
00000dd3: PUSH1 0x01
00000dd5: SWAP1
00000dd6: SLOAD
00000dd7: SWAP1
00000dd8: PUSH2 0x0100
00000ddb: EXP
00000ddc: SWAP1
00000ddd: DIV
00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df3: AND
00000df4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e09: AND
00000e0a: EQ
00000e0b: PUSH2 0x0e7c
00000e0e: JUMPI
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x04
00000e37: ADD
00000e38: DUP1
00000e39: DUP1
00000e3a: PUSH1 0x20
00000e3c: ADD
00000e3d: DUP3
00000e3e: DUP2
00000e3f: SUB
00000e40: DUP3
00000e41: MSTORE
00000e42: PUSH1 0x20
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: ADD
00000e49: DUP1
00000e4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000e6b: DUP2
00000e6c: MSTORE
00000e6d: POP
00000e6e: PUSH1 0x20
00000e70: ADD
00000e71: SWAP2
00000e72: POP
00000e73: POP
00000e74: PUSH1 0x40
00000e76: MLOAD
00000e77: DUP1
00000e78: SWAP2
00000e79: SUB
00000e7a: SWAP1
00000e7b: REVERT
00000e7c: JUMPDEST
00000e7d: DUP1
00000e7e: PUSH1 0x07
00000e80: PUSH1 0x00
00000e82: PUSH2 0x0100
00000e85: EXP
00000e86: DUP2
00000e87: SLOAD
00000e88: DUP2
00000e89: PUSH16 0xffffffffffffffffffffffffffffffff
00000e9a: MUL
00000e9b: NOT
00000e9c: AND
00000e9d: SWAP1
00000e9e: DUP4
00000e9f: PUSH16 0xffffffffffffffffffffffffffffffff
00000eb0: AND
00000eb1: MUL
00000eb2: OR
00000eb3: SWAP1
00000eb4: SSTORE
00000eb5: POP
00000eb6: PUSH32 0xb20e0f86438dbd4812cee7b24a6696d4dbaa9d3db89c677e731ab7dd738c8bbe
00000ed7: DUP2
00000ed8: PUSH1 0x40
00000eda: MLOAD
00000edb: DUP1
00000edc: DUP3
00000edd: PUSH16 0xffffffffffffffffffffffffffffffff
00000eee: AND
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x20
00000ef3: ADD
00000ef4: SWAP2
00000ef5: POP
00000ef6: POP
00000ef7: PUSH1 0x40
00000ef9: MLOAD
00000efa: DUP1
00000efb: SWAP2
00000efc: SUB
00000efd: SWAP1
00000efe: LOG1
00000eff: POP
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH32 0x000000000000000000000000ec5a5bc94100ebdf75812eefe56fe0f8c3c5efd4
00000f23: DUP2
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH2 0x0f2d
00000f29: PUSH2 0x1c38
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f43: AND
00000f44: PUSH1 0x05
00000f46: PUSH1 0x01
00000f48: SWAP1
00000f49: SLOAD
00000f4a: SWAP1
00000f4b: PUSH2 0x0100
00000f4e: EXP
00000f4f: SWAP1
00000f50: DIV
00000f51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f66: AND
00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7c: AND
00000f7d: EQ
00000f7e: PUSH2 0x0fef
00000f81: JUMPI
00000f82: PUSH1 0x40
00000f84: MLOAD
00000f85: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fa6: DUP2
00000fa7: MSTORE
00000fa8: PUSH1 0x04
00000faa: ADD
00000fab: DUP1
00000fac: DUP1
00000fad: PUSH1 0x20
00000faf: ADD
00000fb0: DUP3
00000fb1: DUP2
00000fb2: SUB
00000fb3: DUP3
00000fb4: MSTORE
00000fb5: PUSH1 0x20
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x20
00000fbb: ADD
00000fbc: DUP1
00000fbd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000fde: DUP2
00000fdf: MSTORE
00000fe0: POP
00000fe1: PUSH1 0x20
00000fe3: ADD
00000fe4: SWAP2
00000fe5: POP
00000fe6: POP
00000fe7: PUSH1 0x40
00000fe9: MLOAD
00000fea: DUP1
00000feb: SWAP2
00000fec: SUB
00000fed: SWAP1
00000fee: REVERT
00000fef: JUMPDEST
00000ff0: PUSH1 0x00
00000ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001007: AND
00001008: DUP3
00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101e: AND
0000101f: EQ
00001020: ISZERO
00001021: PUSH2 0x1092
00001024: JUMPI
00001025: PUSH1 0x40
00001027: MLOAD
00001028: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x04
0000104d: ADD
0000104e: DUP1
0000104f: DUP1
00001050: PUSH1 0x20
00001052: ADD
00001053: DUP3
00001054: DUP2
00001055: SUB
00001056: DUP3
00001057: MSTORE
00001058: PUSH1 0x1e
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: DUP1
00001060: PUSH32 0x4552433230207472616e7366657220746f207a65726f20616464726573730000
00001081: DUP2
00001082: MSTORE
00001083: POP
00001084: PUSH1 0x20
00001086: ADD
00001087: SWAP2
00001088: POP
00001089: POP
0000108a: PUSH1 0x40
0000108c: MLOAD
0000108d: DUP1
0000108e: SWAP2
0000108f: SUB
00001090: SWAP1
00001091: REVERT
00001092: JUMPDEST
00001093: PUSH1 0x00
00001095: DUP4
00001096: SWAP1
00001097: POP
00001098: PUSH2 0x10ac
0000109b: DUP3
0000109c: PUSH1 0x0c
0000109e: SLOAD
0000109f: PUSH2 0x210d
000010a2: SWAP1
000010a3: SWAP2
000010a4: SWAP1
000010a5: PUSH4 0xffffffff
000010aa: AND
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x0c
000010af: DUP2
000010b0: SWAP1
000010b1: SSTORE
000010b2: POP
000010b3: DUP1
000010b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c9: AND
000010ca: PUSH4 0xa9059cbb
000010cf: PUSH1 0x06
000010d1: PUSH1 0x00
000010d3: SWAP1
000010d4: SLOAD
000010d5: SWAP1
000010d6: PUSH2 0x0100
000010d9: EXP
000010da: SWAP1
000010db: DIV
000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f1: AND
000010f2: DUP5
000010f3: PUSH1 0x40
000010f5: MLOAD
000010f6: DUP4
000010f7: PUSH4 0xffffffff
000010fc: AND
000010fd: PUSH1 0xe0
000010ff: SHL
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x04
00001104: ADD
00001105: DUP1
00001106: DUP4
00001107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111c: AND
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x20
00001121: ADD
00001122: DUP3
00001123: DUP2
00001124: MSTORE
00001125: PUSH1 0x20
00001127: ADD
00001128: SWAP3
00001129: POP
0000112a: POP
0000112b: POP
0000112c: PUSH1 0x20
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: DUP1
00001132: DUP4
00001133: SUB
00001134: DUP2
00001135: PUSH1 0x00
00001137: DUP8
00001138: DUP1
00001139: EXTCODESIZE
0000113a: ISZERO
0000113b: DUP1
0000113c: ISZERO
0000113d: PUSH2 0x1145
00001140: JUMPI
00001141: PUSH1 0x00
00001143: DUP1
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: GAS
00001148: CALL
00001149: ISZERO
0000114a: DUP1
0000114b: ISZERO
0000114c: PUSH2 0x1159
0000114f: JUMPI
00001150: RETURNDATASIZE
00001151: PUSH1 0x00
00001153: DUP1
00001154: RETURNDATACOPY
00001155: RETURNDATASIZE
00001156: PUSH1 0x00
00001158: REVERT
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: PUSH1 0x40
00001160: MLOAD
00001161: RETURNDATASIZE
00001162: PUSH1 0x20
00001164: DUP2
00001165: LT
00001166: ISZERO
00001167: PUSH2 0x116f
0000116a: JUMPI
0000116b: PUSH1 0x00
0000116d: DUP1
0000116e: REVERT
0000116f: JUMPDEST
00001170: DUP2
00001171: ADD
00001172: SWAP1
00001173: DUP1
00001174: DUP1
00001175: MLOAD
00001176: SWAP1
00001177: PUSH1 0x20
00001179: ADD
0000117a: SWAP1
0000117b: SWAP3
0000117c: SWAP2
0000117d: SWAP1
0000117e: POP
0000117f: POP
00001180: POP
00001181: POP
00001182: POP
00001183: POP
00001184: POP
00001185: POP
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH2 0x118f
0000118b: PUSH2 0x1c38
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a5: AND
000011a6: PUSH1 0x05
000011a8: PUSH1 0x01
000011aa: SWAP1
000011ab: SLOAD
000011ac: SWAP1
000011ad: PUSH2 0x0100
000011b0: EXP
000011b1: SWAP1
000011b2: DIV
000011b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c8: AND
000011c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011de: AND
000011df: EQ
000011e0: PUSH2 0x1251
000011e3: JUMPI
000011e4: PUSH1 0x40
000011e6: MLOAD
000011e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001208: DUP2
00001209: MSTORE
0000120a: PUSH1 0x04
0000120c: ADD
0000120d: DUP1
0000120e: DUP1
0000120f: PUSH1 0x20
00001211: ADD
00001212: DUP3
00001213: DUP2
00001214: SUB
00001215: DUP3
00001216: MSTORE
00001217: PUSH1 0x20
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x20
0000121d: ADD
0000121e: DUP1
0000121f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001240: DUP2
00001241: MSTORE
00001242: POP
00001243: PUSH1 0x20
00001245: ADD
00001246: SWAP2
00001247: POP
00001248: POP
00001249: PUSH1 0x40
0000124b: MLOAD
0000124c: DUP1
0000124d: SWAP2
0000124e: SUB
0000124f: SWAP1
00001250: REVERT
00001251: JUMPDEST
00001252: DUP1
00001253: PUSH1 0x08
00001255: DUP2
00001256: SWAP1
00001257: SSTORE
00001258: POP
00001259: PUSH32 0xeadfff348482d77d5337dd0998187600666e4b8dbbb48bea99634c7f146cec6a
0000127a: DUP2
0000127b: PUSH1 0x40
0000127d: MLOAD
0000127e: DUP1
0000127f: DUP3
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x20
00001284: ADD
00001285: SWAP2
00001286: POP
00001287: POP
00001288: PUSH1 0x40
0000128a: MLOAD
0000128b: DUP1
0000128c: SWAP2
0000128d: SUB
0000128e: SWAP1
0000128f: LOG1
00001290: POP
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH1 0x00
00001295: DUP1
00001296: PUSH1 0x00
00001298: DUP4
00001299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ae: AND
000012af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c4: AND
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x20
000012c9: ADD
000012ca: SWAP1
000012cb: DUP2
000012cc: MSTORE
000012cd: PUSH1 0x20
000012cf: ADD
000012d0: PUSH1 0x00
000012d2: KECCAK256
000012d3: SLOAD
000012d4: SWAP1
000012d5: POP
000012d6: SWAP2
000012d7: SWAP1
000012d8: POP
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH2 0x12e2
000012de: PUSH2 0x1c38
000012e1: JUMP
000012e2: JUMPDEST
000012e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f8: AND
000012f9: PUSH1 0x05
000012fb: PUSH1 0x01
000012fd: SWAP1
000012fe: SLOAD
000012ff: SWAP1
00001300: PUSH2 0x0100
00001303: EXP
00001304: SWAP1
00001305: DIV
00001306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131b: AND
0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001331: AND
00001332: EQ
00001333: PUSH2 0x13a4
00001336: JUMPI
00001337: PUSH1 0x40
00001339: MLOAD
0000133a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000135b: DUP2
0000135c: MSTORE
0000135d: PUSH1 0x04
0000135f: ADD
00001360: DUP1
00001361: DUP1
00001362: PUSH1 0x20
00001364: ADD
00001365: DUP3
00001366: DUP2
00001367: SUB
00001368: DUP3
00001369: MSTORE
0000136a: PUSH1 0x20
0000136c: DUP2
0000136d: MSTORE
0000136e: PUSH1 0x20
00001370: ADD
00001371: DUP1
00001372: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001393: DUP2
00001394: MSTORE
00001395: POP
00001396: PUSH1 0x20
00001398: ADD
00001399: SWAP2
0000139a: POP
0000139b: POP
0000139c: PUSH1 0x40
0000139e: MLOAD
0000139f: DUP1
000013a0: SWAP2
000013a1: SUB
000013a2: SWAP1
000013a3: REVERT
000013a4: JUMPDEST
000013a5: PUSH1 0x00
000013a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bc: AND
000013bd: PUSH1 0x05
000013bf: PUSH1 0x01
000013c1: SWAP1
000013c2: SLOAD
000013c3: SWAP1
000013c4: PUSH2 0x0100
000013c7: EXP
000013c8: SWAP1
000013c9: DIV
000013ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013df: AND
000013e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f5: AND
000013f6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001417: PUSH1 0x40
00001419: MLOAD
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: DUP1
0000141e: SWAP2
0000141f: SUB
00001420: SWAP1
00001421: LOG3
00001422: PUSH1 0x00
00001424: PUSH1 0x05
00001426: PUSH1 0x01
00001428: PUSH2 0x0100
0000142b: EXP
0000142c: DUP2
0000142d: SLOAD
0000142e: DUP2
0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001444: MUL
00001445: NOT
00001446: AND
00001447: SWAP1
00001448: DUP4
00001449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145e: AND
0000145f: MUL
00001460: OR
00001461: SWAP1
00001462: SSTORE
00001463: POP
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x00
00001468: PUSH1 0x0a
0000146a: SLOAD
0000146b: SWAP1
0000146c: POP
0000146d: SWAP1
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x00
00001472: PUSH1 0x05
00001474: PUSH1 0x01
00001476: SWAP1
00001477: SLOAD
00001478: SWAP1
00001479: PUSH2 0x0100
0000147c: EXP
0000147d: SWAP1
0000147e: DIV
0000147f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001494: AND
00001495: SWAP1
00001496: POP
00001497: SWAP1
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x0b
0000149c: SLOAD
0000149d: DUP2
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x60
000014a2: PUSH1 0x04
000014a4: DUP1
000014a5: SLOAD
000014a6: PUSH1 0x01
000014a8: DUP2
000014a9: PUSH1 0x01
000014ab: AND
000014ac: ISZERO
000014ad: PUSH2 0x0100
000014b0: MUL
000014b1: SUB
000014b2: AND
000014b3: PUSH1 0x02
000014b5: SWAP1
000014b6: DIV
000014b7: DUP1
000014b8: PUSH1 0x1f
000014ba: ADD
000014bb: PUSH1 0x20
000014bd: DUP1
000014be: SWAP2
000014bf: DIV
000014c0: MUL
000014c1: PUSH1 0x20
000014c3: ADD
000014c4: PUSH1 0x40
000014c6: MLOAD
000014c7: SWAP1
000014c8: DUP2
000014c9: ADD
000014ca: PUSH1 0x40
000014cc: MSTORE
000014cd: DUP1
000014ce: SWAP3
000014cf: SWAP2
000014d0: SWAP1
000014d1: DUP2
000014d2: DUP2
000014d3: MSTORE
000014d4: PUSH1 0x20
000014d6: ADD
000014d7: DUP3
000014d8: DUP1
000014d9: SLOAD
000014da: PUSH1 0x01
000014dc: DUP2
000014dd: PUSH1 0x01
000014df: AND
000014e0: ISZERO
000014e1: PUSH2 0x0100
000014e4: MUL
000014e5: SUB
000014e6: AND
000014e7: PUSH1 0x02
000014e9: SWAP1
000014ea: DIV
000014eb: DUP1
000014ec: ISZERO
000014ed: PUSH2 0x1537
000014f0: JUMPI
000014f1: DUP1
000014f2: PUSH1 0x1f
000014f4: LT
000014f5: PUSH2 0x150c
000014f8: JUMPI
000014f9: PUSH2 0x0100
000014fc: DUP1
000014fd: DUP4
000014fe: SLOAD
000014ff: DIV
00001500: MUL
00001501: DUP4
00001502: MSTORE
00001503: SWAP2
00001504: PUSH1 0x20
00001506: ADD
00001507: SWAP2
00001508: PUSH2 0x1537
0000150b: JUMP
0000150c: JUMPDEST
0000150d: DUP3
0000150e: ADD
0000150f: SWAP2
00001510: SWAP1
00001511: PUSH1 0x00
00001513: MSTORE
00001514: PUSH1 0x20
00001516: PUSH1 0x00
00001518: KECCAK256
00001519: SWAP1
0000151a: JUMPDEST
0000151b: DUP2
0000151c: SLOAD
0000151d: DUP2
0000151e: MSTORE
0000151f: SWAP1
00001520: PUSH1 0x01
00001522: ADD
00001523: SWAP1
00001524: PUSH1 0x20
00001526: ADD
00001527: DUP1
00001528: DUP4
00001529: GT
0000152a: PUSH2 0x151a
0000152d: JUMPI
0000152e: DUP3
0000152f: SWAP1
00001530: SUB
00001531: PUSH1 0x1f
00001533: AND
00001534: DUP3
00001535: ADD
00001536: SWAP2
00001537: JUMPDEST
00001538: POP
00001539: POP
0000153a: POP
0000153b: POP
0000153c: POP
0000153d: SWAP1
0000153e: POP
0000153f: SWAP1
00001540: JUMP
00001541: JUMPDEST
00001542: PUSH2 0x1549
00001545: PUSH2 0x1c38
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155f: AND
00001560: PUSH1 0x05
00001562: PUSH1 0x01
00001564: SWAP1
00001565: SLOAD
00001566: SWAP1
00001567: PUSH2 0x0100
0000156a: EXP
0000156b: SWAP1
0000156c: DIV
0000156d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001582: AND
00001583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001598: AND
00001599: EQ
0000159a: PUSH2 0x160b
0000159d: JUMPI
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c2: DUP2
000015c3: MSTORE
000015c4: PUSH1 0x04
000015c6: ADD
000015c7: DUP1
000015c8: DUP1
000015c9: PUSH1 0x20
000015cb: ADD
000015cc: DUP3
000015cd: DUP2
000015ce: SUB
000015cf: DUP3
000015d0: MSTORE
000015d1: PUSH1 0x20
000015d3: DUP2
000015d4: MSTORE
000015d5: PUSH1 0x20
000015d7: ADD
000015d8: DUP1
000015d9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000015fa: DUP2
000015fb: MSTORE
000015fc: POP
000015fd: PUSH1 0x20
000015ff: ADD
00001600: SWAP2
00001601: POP
00001602: POP
00001603: PUSH1 0x40
00001605: MLOAD
00001606: DUP1
00001607: SWAP2
00001608: SUB
00001609: SWAP1
0000160a: REVERT
0000160b: JUMPDEST
0000160c: DUP1
0000160d: ISZERO
0000160e: PUSH2 0x1665
00001611: JUMPI
00001612: DUP1
00001613: PUSH1 0x0e
00001615: PUSH1 0x01
00001617: PUSH2 0x0100
0000161a: EXP
0000161b: DUP2
0000161c: SLOAD
0000161d: DUP2
0000161e: PUSH1 0xff
00001620: MUL
00001621: NOT
00001622: AND
00001623: SWAP1
00001624: DUP4
00001625: ISZERO
00001626: ISZERO
00001627: MUL
00001628: OR
00001629: SWAP1
0000162a: SSTORE
0000162b: POP
0000162c: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
0000164d: DUP2
0000164e: PUSH1 0x40
00001650: MLOAD
00001651: DUP1
00001652: DUP3
00001653: ISZERO
00001654: ISZERO
00001655: DUP2
00001656: MSTORE
00001657: PUSH1 0x20
00001659: ADD
0000165a: SWAP2
0000165b: POP
0000165c: POP
0000165d: PUSH1 0x40
0000165f: MLOAD
00001660: DUP1
00001661: SWAP2
00001662: SUB
00001663: SWAP1
00001664: LOG1
00001665: JUMPDEST
00001666: POP
00001667: JUMP
00001668: JUMPDEST
00001669: PUSH1 0x06
0000166b: PUSH1 0x15
0000166d: SWAP1
0000166e: SLOAD
0000166f: SWAP1
00001670: PUSH2 0x0100
00001673: EXP
00001674: SWAP1
00001675: DIV
00001676: PUSH4 0xffffffff
0000167b: AND
0000167c: DUP2
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH1 0x00
00001681: PUSH2 0x16b4
00001684: PUSH1 0x02
00001686: DUP5
00001687: PUSH1 0xff
00001689: AND
0000168a: ADD
0000168b: PUSH1 0x0a
0000168d: EXP
0000168e: PUSH2 0x16a6
00001691: DUP5
00001692: PUSH4 0xffffffff
00001697: AND
00001698: DUP8
00001699: PUSH2 0x2157
0000169c: SWAP1
0000169d: SWAP2
0000169e: SWAP1
0000169f: PUSH4 0xffffffff
000016a4: AND
000016a5: JUMP
000016a6: JUMPDEST
000016a7: PUSH2 0x21dd
000016aa: SWAP1
000016ab: SWAP2
000016ac: SWAP1
000016ad: PUSH4 0xffffffff
000016b2: AND
000016b3: JUMP
000016b4: JUMPDEST
000016b5: SWAP1
000016b6: POP
000016b7: SWAP4
000016b8: SWAP3
000016b9: POP
000016ba: POP
000016bb: POP
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH1 0x00
000016c0: PUSH2 0x1780
000016c3: PUSH2 0x16ca
000016c6: PUSH2 0x1c38
000016c9: JUMP
000016ca: JUMPDEST
000016cb: DUP5
000016cc: PUSH2 0x177b
000016cf: DUP6
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: DUP1
000016d4: PUSH1 0x60
000016d6: ADD
000016d7: PUSH1 0x40
000016d9: MSTORE
000016da: DUP1
000016db: PUSH1 0x25
000016dd: DUP2
000016de: MSTORE
000016df: PUSH1 0x20
000016e1: ADD
000016e2: PUSH2 0x2ddc
000016e5: PUSH1 0x25
000016e7: SWAP2
000016e8: CODECOPY
000016e9: PUSH1 0x01
000016eb: PUSH1 0x00
000016ed: PUSH2 0x16f4
000016f0: PUSH2 0x1c38
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170a: AND
0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001720: AND
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x20
00001725: ADD
00001726: SWAP1
00001727: DUP2
00001728: MSTORE
00001729: PUSH1 0x20
0000172b: ADD
0000172c: PUSH1 0x00
0000172e: KECCAK256
0000172f: PUSH1 0x00
00001731: DUP11
00001732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001747: AND
00001748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175d: AND
0000175e: DUP2
0000175f: MSTORE
00001760: PUSH1 0x20
00001762: ADD
00001763: SWAP1
00001764: DUP2
00001765: MSTORE
00001766: PUSH1 0x20
00001768: ADD
00001769: PUSH1 0x00
0000176b: KECCAK256
0000176c: SLOAD
0000176d: PUSH2 0x204d
00001770: SWAP1
00001771: SWAP3
00001772: SWAP2
00001773: SWAP1
00001774: PUSH4 0xffffffff
00001779: AND
0000177a: JUMP
0000177b: JUMPDEST
0000177c: PUSH2 0x1c40
0000177f: JUMP
00001780: JUMPDEST
00001781: PUSH1 0x01
00001783: SWAP1
00001784: POP
00001785: SWAP3
00001786: SWAP2
00001787: POP
00001788: POP
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH1 0x00
0000178d: PUSH2 0x179e
00001790: PUSH2 0x1797
00001793: PUSH2 0x1c38
00001796: JUMP
00001797: JUMPDEST
00001798: DUP5
00001799: DUP5
0000179a: PUSH2 0x1e37
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x01
000017a1: SWAP1
000017a2: POP
000017a3: SWAP3
000017a4: SWAP2
000017a5: POP
000017a6: POP
000017a7: JUMP
000017a8: JUMPDEST
000017a9: PUSH1 0x06
000017ab: PUSH1 0x14
000017ad: SWAP1
000017ae: SLOAD
000017af: SWAP1
000017b0: PUSH2 0x0100
000017b3: EXP
000017b4: SWAP1
000017b5: DIV
000017b6: PUSH1 0xff
000017b8: AND
000017b9: DUP2
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x00
000017be: PUSH1 0x01
000017c0: PUSH1 0x00
000017c2: DUP5
000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d8: AND
000017d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ee: AND
000017ef: DUP2
000017f0: MSTORE
000017f1: PUSH1 0x20
000017f3: ADD
000017f4: SWAP1
000017f5: DUP2
000017f6: MSTORE
000017f7: PUSH1 0x20
000017f9: ADD
000017fa: PUSH1 0x00
000017fc: KECCAK256
000017fd: PUSH1 0x00
000017ff: DUP4
00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001815: AND
00001816: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182b: AND
0000182c: DUP2
0000182d: MSTORE
0000182e: PUSH1 0x20
00001830: ADD
00001831: SWAP1
00001832: DUP2
00001833: MSTORE
00001834: PUSH1 0x20
00001836: ADD
00001837: PUSH1 0x00
00001839: KECCAK256
0000183a: SLOAD
0000183b: SWAP1
0000183c: POP
0000183d: SWAP3
0000183e: SWAP2
0000183f: POP
00001840: POP
00001841: JUMP
00001842: JUMPDEST
00001843: PUSH2 0x184a
00001846: PUSH2 0x1c38
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001860: AND
00001861: PUSH1 0x05
00001863: PUSH1 0x01
00001865: SWAP1
00001866: SLOAD
00001867: SWAP1
00001868: PUSH2 0x0100
0000186b: EXP
0000186c: SWAP1
0000186d: DIV
0000186e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001883: AND
00001884: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001899: AND
0000189a: EQ
0000189b: PUSH2 0x190c
0000189e: JUMPI
0000189f: PUSH1 0x40
000018a1: MLOAD
000018a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018c3: DUP2
000018c4: MSTORE
000018c5: PUSH1 0x04
000018c7: ADD
000018c8: DUP1
000018c9: DUP1
000018ca: PUSH1 0x20
000018cc: ADD
000018cd: DUP3
000018ce: DUP2
000018cf: SUB
000018d0: DUP3
000018d1: MSTORE
000018d2: PUSH1 0x20
000018d4: DUP2
000018d5: MSTORE
000018d6: PUSH1 0x20
000018d8: ADD
000018d9: DUP1
000018da: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018fb: DUP2
000018fc: MSTORE
000018fd: POP
000018fe: PUSH1 0x20
00001900: ADD
00001901: SWAP2
00001902: POP
00001903: POP
00001904: PUSH1 0x40
00001906: MLOAD
00001907: DUP1
00001908: SWAP2
00001909: SUB
0000190a: SWAP1
0000190b: REVERT
0000190c: JUMPDEST
0000190d: DUP2
0000190e: PUSH1 0x06
00001910: PUSH1 0x14
00001912: PUSH2 0x0100
00001915: EXP
00001916: DUP2
00001917: SLOAD
00001918: DUP2
00001919: PUSH1 0xff
0000191b: MUL
0000191c: NOT
0000191d: AND
0000191e: SWAP1
0000191f: DUP4
00001920: PUSH1 0xff
00001922: AND
00001923: MUL
00001924: OR
00001925: SWAP1
00001926: SSTORE
00001927: POP
00001928: DUP1
00001929: PUSH1 0x06
0000192b: PUSH1 0x15
0000192d: PUSH2 0x0100
00001930: EXP
00001931: DUP2
00001932: SLOAD
00001933: DUP2
00001934: PUSH4 0xffffffff
00001939: MUL
0000193a: NOT
0000193b: AND
0000193c: SWAP1
0000193d: DUP4
0000193e: PUSH4 0xffffffff
00001943: AND
00001944: MUL
00001945: OR
00001946: SWAP1
00001947: SSTORE
00001948: POP
00001949: PUSH32 0x460fa919625630f734b5d86356a2511f134b6df313c793ca09e0399de8d933a0
0000196a: DUP3
0000196b: DUP3
0000196c: PUSH1 0x40
0000196e: MLOAD
0000196f: DUP1
00001970: DUP4
00001971: PUSH1 0xff
00001973: AND
00001974: DUP2
00001975: MSTORE
00001976: PUSH1 0x20
00001978: ADD
00001979: DUP3
0000197a: PUSH4 0xffffffff
0000197f: AND
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x20
00001984: ADD
00001985: SWAP3
00001986: POP
00001987: POP
00001988: POP
00001989: PUSH1 0x40
0000198b: MLOAD
0000198c: DUP1
0000198d: SWAP2
0000198e: SUB
0000198f: SWAP1
00001990: LOG1
00001991: POP
00001992: POP
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH2 0x199c
00001998: PUSH2 0x1c38
0000199b: JUMP
0000199c: JUMPDEST
0000199d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b2: AND
000019b3: PUSH1 0x05
000019b5: PUSH1 0x01
000019b7: SWAP1
000019b8: SLOAD
000019b9: SWAP1
000019ba: PUSH2 0x0100
000019bd: EXP
000019be: SWAP1
000019bf: DIV
000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d5: AND
000019d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019eb: AND
000019ec: EQ
000019ed: PUSH2 0x1a5e
000019f0: JUMPI
000019f1: PUSH1 0x40
000019f3: MLOAD
000019f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a15: DUP2
00001a16: MSTORE
00001a17: PUSH1 0x04
00001a19: ADD
00001a1a: DUP1
00001a1b: DUP1
00001a1c: PUSH1 0x20
00001a1e: ADD
00001a1f: DUP3
00001a20: DUP2
00001a21: SUB
00001a22: DUP3
00001a23: MSTORE
00001a24: PUSH1 0x20
00001a26: DUP2
00001a27: MSTORE
00001a28: PUSH1 0x20
00001a2a: ADD
00001a2b: DUP1
00001a2c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001a4d: DUP2
00001a4e: MSTORE
00001a4f: POP
00001a50: PUSH1 0x20
00001a52: ADD
00001a53: SWAP2
00001a54: POP
00001a55: POP
00001a56: PUSH1 0x40
00001a58: MLOAD
00001a59: DUP1
00001a5a: SWAP2
00001a5b: SUB
00001a5c: SWAP1
00001a5d: REVERT
00001a5e: JUMPDEST
00001a5f: PUSH1 0x00
00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a76: AND
00001a77: DUP2
00001a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8d: AND
00001a8e: EQ
00001a8f: ISZERO
00001a90: PUSH2 0x1ae4
00001a93: JUMPI
00001a94: PUSH1 0x40
00001a96: MLOAD
00001a97: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ab8: DUP2
00001ab9: MSTORE
00001aba: PUSH1 0x04
00001abc: ADD
00001abd: DUP1
00001abe: DUP1
00001abf: PUSH1 0x20
00001ac1: ADD
00001ac2: DUP3
00001ac3: DUP2
00001ac4: SUB
00001ac5: DUP3
00001ac6: MSTORE
00001ac7: PUSH1 0x26
00001ac9: DUP2
00001aca: MSTORE
00001acb: PUSH1 0x20
00001acd: ADD
00001ace: DUP1
00001acf: PUSH2 0x2c97
00001ad2: PUSH1 0x26
00001ad4: SWAP2
00001ad5: CODECOPY
00001ad6: PUSH1 0x40
00001ad8: ADD
00001ad9: SWAP2
00001ada: POP
00001adb: POP
00001adc: PUSH1 0x40
00001ade: MLOAD
00001adf: DUP1
00001ae0: SWAP2
00001ae1: SUB
00001ae2: SWAP1
00001ae3: REVERT
00001ae4: JUMPDEST
00001ae5: DUP1
00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afb: AND
00001afc: PUSH1 0x05
00001afe: PUSH1 0x01
00001b00: SWAP1
00001b01: SLOAD
00001b02: SWAP1
00001b03: PUSH2 0x0100
00001b06: EXP
00001b07: SWAP1
00001b08: DIV
00001b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1e: AND
00001b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b34: AND
00001b35: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b56: PUSH1 0x40
00001b58: MLOAD
00001b59: PUSH1 0x40
00001b5b: MLOAD
00001b5c: DUP1
00001b5d: SWAP2
00001b5e: SUB
00001b5f: SWAP1
00001b60: LOG3
00001b61: DUP1
00001b62: PUSH1 0x05
00001b64: PUSH1 0x01
00001b66: PUSH2 0x0100
00001b69: EXP
00001b6a: DUP2
00001b6b: SLOAD
00001b6c: DUP2
00001b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b82: MUL
00001b83: NOT
00001b84: AND
00001b85: SWAP1
00001b86: DUP4
00001b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9c: AND
00001b9d: MUL
00001b9e: OR
00001b9f: SWAP1
00001ba0: SSTORE
00001ba1: POP
00001ba2: POP
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH1 0x0c
00001ba7: SLOAD
00001ba8: DUP2
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH1 0x0d
00001bad: SLOAD
00001bae: DUP2
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH1 0x00
00001bb3: DUP1
00001bb4: DUP3
00001bb5: DUP5
00001bb6: ADD
00001bb7: SWAP1
00001bb8: POP
00001bb9: DUP4
00001bba: DUP2
00001bbb: LT
00001bbc: ISZERO
00001bbd: PUSH2 0x1c2e
00001bc0: JUMPI
00001bc1: PUSH1 0x40
00001bc3: MLOAD
00001bc4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001be5: DUP2
00001be6: MSTORE
00001be7: PUSH1 0x04
00001be9: ADD
00001bea: DUP1
00001beb: DUP1
00001bec: PUSH1 0x20
00001bee: ADD
00001bef: DUP3
00001bf0: DUP2
00001bf1: SUB
00001bf2: DUP3
00001bf3: MSTORE
00001bf4: PUSH1 0x1b
00001bf6: DUP2
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: ADD
00001bfb: DUP1
00001bfc: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: POP
00001c20: PUSH1 0x20
00001c22: ADD
00001c23: SWAP2
00001c24: POP
00001c25: POP
00001c26: PUSH1 0x40
00001c28: MLOAD
00001c29: DUP1
00001c2a: SWAP2
00001c2b: SUB
00001c2c: SWAP1
00001c2d: REVERT
00001c2e: JUMPDEST
00001c2f: DUP1
00001c30: SWAP2
00001c31: POP
00001c32: POP
00001c33: SWAP3
00001c34: SWAP2
00001c35: POP
00001c36: POP
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x00
00001c3b: CALLER
00001c3c: SWAP1
00001c3d: POP
00001c3e: SWAP1
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH1 0x00
00001c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c58: AND
00001c59: DUP4
00001c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6f: AND
00001c70: EQ
00001c71: ISZERO
00001c72: PUSH2 0x1cc6
00001c75: JUMPI
00001c76: PUSH1 0x40
00001c78: MLOAD
00001c79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c9a: DUP2
00001c9b: MSTORE
00001c9c: PUSH1 0x04
00001c9e: ADD
00001c9f: DUP1
00001ca0: DUP1
00001ca1: PUSH1 0x20
00001ca3: ADD
00001ca4: DUP3
00001ca5: DUP2
00001ca6: SUB
00001ca7: DUP3
00001ca8: MSTORE
00001ca9: PUSH1 0x24
00001cab: DUP2
00001cac: MSTORE
00001cad: PUSH1 0x20
00001caf: ADD
00001cb0: DUP1
00001cb1: PUSH2 0x2d94
00001cb4: PUSH1 0x24
00001cb6: SWAP2
00001cb7: CODECOPY
00001cb8: PUSH1 0x40
00001cba: ADD
00001cbb: SWAP2
00001cbc: POP
00001cbd: POP
00001cbe: PUSH1 0x40
00001cc0: MLOAD
00001cc1: DUP1
00001cc2: SWAP2
00001cc3: SUB
00001cc4: SWAP1
00001cc5: REVERT
00001cc6: JUMPDEST
00001cc7: PUSH1 0x00
00001cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cde: AND
00001cdf: DUP3
00001ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf5: AND
00001cf6: EQ
00001cf7: ISZERO
00001cf8: PUSH2 0x1d4c
00001cfb: JUMPI
00001cfc: PUSH1 0x40
00001cfe: MLOAD
00001cff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d20: DUP2
00001d21: MSTORE
00001d22: PUSH1 0x04
00001d24: ADD
00001d25: DUP1
00001d26: DUP1
00001d27: PUSH1 0x20
00001d29: ADD
00001d2a: DUP3
00001d2b: DUP2
00001d2c: SUB
00001d2d: DUP3
00001d2e: MSTORE
00001d2f: PUSH1 0x22
00001d31: DUP2
00001d32: MSTORE
00001d33: PUSH1 0x20
00001d35: ADD
00001d36: DUP1
00001d37: PUSH2 0x2cbd
00001d3a: PUSH1 0x22
00001d3c: SWAP2
00001d3d: CODECOPY
00001d3e: PUSH1 0x40
00001d40: ADD
00001d41: SWAP2
00001d42: POP
00001d43: POP
00001d44: PUSH1 0x40
00001d46: MLOAD
00001d47: DUP1
00001d48: SWAP2
00001d49: SUB
00001d4a: SWAP1
00001d4b: REVERT
00001d4c: JUMPDEST
00001d4d: DUP1
00001d4e: PUSH1 0x01
00001d50: PUSH1 0x00
00001d52: DUP6
00001d53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d68: AND
00001d69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7e: AND
00001d7f: DUP2
00001d80: MSTORE
00001d81: PUSH1 0x20
00001d83: ADD
00001d84: SWAP1
00001d85: DUP2
00001d86: MSTORE
00001d87: PUSH1 0x20
00001d89: ADD
00001d8a: PUSH1 0x00
00001d8c: KECCAK256
00001d8d: PUSH1 0x00
00001d8f: DUP5
00001d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da5: AND
00001da6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbb: AND
00001dbc: DUP2
00001dbd: MSTORE
00001dbe: PUSH1 0x20
00001dc0: ADD
00001dc1: SWAP1
00001dc2: DUP2
00001dc3: MSTORE
00001dc4: PUSH1 0x20
00001dc6: ADD
00001dc7: PUSH1 0x00
00001dc9: KECCAK256
00001dca: DUP2
00001dcb: SWAP1
00001dcc: SSTORE
00001dcd: POP
00001dce: DUP2
00001dcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de4: AND
00001de5: DUP4
00001de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfb: AND
00001dfc: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001e1d: DUP4
00001e1e: PUSH1 0x40
00001e20: MLOAD
00001e21: DUP1
00001e22: DUP3
00001e23: DUP2
00001e24: MSTORE
00001e25: PUSH1 0x20
00001e27: ADD
00001e28: SWAP2
00001e29: POP
00001e2a: POP
00001e2b: PUSH1 0x40
00001e2d: MLOAD
00001e2e: DUP1
00001e2f: SWAP2
00001e30: SUB
00001e31: SWAP1
00001e32: LOG3
00001e33: POP
00001e34: POP
00001e35: POP
00001e36: JUMP
00001e37: JUMPDEST
00001e38: PUSH2 0x1e3f
00001e3b: PUSH2 0x146f
00001e3e: JUMP
00001e3f: JUMPDEST
00001e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e55: AND
00001e56: DUP4
00001e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6c: AND
00001e6d: EQ
00001e6e: PUSH2 0x1ecd
00001e71: JUMPI
00001e72: PUSH1 0x08
00001e74: SLOAD
00001e75: DUP2
00001e76: GT
00001e77: ISZERO
00001e78: PUSH2 0x1ecc
00001e7b: JUMPI
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ea0: DUP2
00001ea1: MSTORE
00001ea2: PUSH1 0x04
00001ea4: ADD
00001ea5: DUP1
00001ea6: DUP1
00001ea7: PUSH1 0x20
00001ea9: ADD
00001eaa: DUP3
00001eab: DUP2
00001eac: SUB
00001ead: DUP3
00001eae: MSTORE
00001eaf: PUSH1 0x24
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x20
00001eb5: ADD
00001eb6: DUP1
00001eb7: PUSH2 0x2db8
00001eba: PUSH1 0x24
00001ebc: SWAP2
00001ebd: CODECOPY
00001ebe: PUSH1 0x40
00001ec0: ADD
00001ec1: SWAP2
00001ec2: POP
00001ec3: POP
00001ec4: PUSH1 0x40
00001ec6: MLOAD
00001ec7: DUP1
00001ec8: SWAP2
00001ec9: SUB
00001eca: SWAP1
00001ecb: REVERT
00001ecc: JUMPDEST
00001ecd: JUMPDEST
00001ece: PUSH1 0x00
00001ed0: PUSH2 0x1ed8
00001ed3: ADDRESS
00001ed4: PUSH2 0x1292
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: SWAP1
00001eda: POP
00001edb: PUSH1 0x00
00001edd: PUSH1 0x07
00001edf: PUSH1 0x00
00001ee1: SWAP1
00001ee2: SLOAD
00001ee3: SWAP1
00001ee4: PUSH2 0x0100
00001ee7: EXP
00001ee8: SWAP1
00001ee9: DIV
00001eea: PUSH16 0xffffffffffffffffffffffffffffffff
00001efb: AND
00001efc: PUSH16 0xffffffffffffffffffffffffffffffff
00001f0d: AND
00001f0e: DUP3
00001f0f: LT
00001f10: ISZERO
00001f11: SWAP1
00001f12: POP
00001f13: DUP1
00001f14: DUP1
00001f15: ISZERO
00001f16: PUSH2 0x1f2c
00001f19: JUMPI
00001f1a: POP
00001f1b: PUSH1 0x0e
00001f1d: PUSH1 0x00
00001f1f: SWAP1
00001f20: SLOAD
00001f21: SWAP1
00001f22: PUSH2 0x0100
00001f25: EXP
00001f26: SWAP1
00001f27: DIV
00001f28: PUSH1 0xff
00001f2a: AND
00001f2b: ISZERO
00001f2c: JUMPDEST
00001f2d: DUP1
00001f2e: ISZERO
00001f2f: PUSH2 0x1f84
00001f32: JUMPI
00001f33: POP
00001f34: PUSH32 0x000000000000000000000000ec5a5bc94100ebdf75812eefe56fe0f8c3c5efd4
00001f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6a: AND
00001f6b: CALLER
00001f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f81: AND
00001f82: EQ
00001f83: ISZERO
00001f84: JUMPDEST
00001f85: DUP1
00001f86: ISZERO
00001f87: PUSH2 0x1f9c
00001f8a: JUMPI
00001f8b: POP
00001f8c: PUSH1 0x0e
00001f8e: PUSH1 0x01
00001f90: SWAP1
00001f91: SLOAD
00001f92: SWAP1
00001f93: PUSH2 0x0100
00001f96: EXP
00001f97: SWAP1
00001f98: DIV
00001f99: PUSH1 0xff
00001f9b: AND
00001f9c: JUMPDEST
00001f9d: ISZERO
00001f9e: PUSH2 0x1fab
00001fa1: JUMPI
00001fa2: PUSH2 0x1faa
00001fa5: DUP3
00001fa6: PUSH2 0x2227
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: JUMPDEST
00001fac: PUSH1 0x00
00001fae: PUSH2 0x1fd9
00001fb1: DUP5
00001fb2: PUSH1 0x06
00001fb4: PUSH1 0x14
00001fb6: SWAP1
00001fb7: SLOAD
00001fb8: SWAP1
00001fb9: PUSH2 0x0100
00001fbc: EXP
00001fbd: SWAP1
00001fbe: DIV
00001fbf: PUSH1 0xff
00001fc1: AND
00001fc2: PUSH1 0x06
00001fc4: PUSH1 0x15
00001fc6: SWAP1
00001fc7: SLOAD
00001fc8: SWAP1
00001fc9: PUSH2 0x0100
00001fcc: EXP
00001fcd: SWAP1
00001fce: DIV
00001fcf: PUSH4 0xffffffff
00001fd4: AND
00001fd5: PUSH2 0x167e
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: SWAP1
00001fdb: POP
00001fdc: PUSH1 0x00
00001fde: PUSH2 0x1ff8
00001fe1: DUP6
00001fe2: PUSH1 0x06
00001fe4: PUSH1 0x14
00001fe6: SWAP1
00001fe7: SLOAD
00001fe8: SWAP1
00001fe9: PUSH2 0x0100
00001fec: EXP
00001fed: SWAP1
00001fee: DIV
00001fef: PUSH1 0xff
00001ff1: AND
00001ff2: PUSH1 0x0a
00001ff4: PUSH2 0x167e
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: SWAP1
00001ffa: POP
00001ffb: PUSH1 0x00
00001ffd: PUSH2 0x2021
00002000: DUP3
00002001: PUSH2 0x2013
00002004: DUP6
00002005: DUP10
00002006: PUSH2 0x210d
00002009: SWAP1
0000200a: SWAP2
0000200b: SWAP1
0000200c: PUSH4 0xffffffff
00002011: AND
00002012: JUMP
00002013: JUMPDEST
00002014: PUSH2 0x210d
00002017: SWAP1
00002018: SWAP2
00002019: SWAP1
0000201a: PUSH4 0xffffffff
0000201f: AND
00002020: JUMP
00002021: JUMPDEST
00002022: SWAP1
00002023: POP
00002024: PUSH2 0x202e
00002027: DUP9
00002028: ADDRESS
00002029: DUP6
0000202a: PUSH2 0x2309
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH2 0x2039
00002032: DUP9
00002033: DUP9
00002034: DUP4
00002035: PUSH2 0x2309
00002038: JUMP
00002039: JUMPDEST
0000203a: PUSH2 0x2043
0000203d: DUP9
0000203e: DUP4
0000203f: PUSH2 0x25ca
00002042: JUMP
00002043: JUMPDEST
00002044: POP
00002045: POP
00002046: POP
00002047: POP
00002048: POP
00002049: POP
0000204a: POP
0000204b: POP
0000204c: JUMP
0000204d: JUMPDEST
0000204e: PUSH1 0x00
00002050: DUP4
00002051: DUP4
00002052: GT
00002053: ISZERO
00002054: DUP3
00002055: SWAP1
00002056: PUSH2 0x20fa
00002059: JUMPI
0000205a: PUSH1 0x40
0000205c: MLOAD
0000205d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000207e: DUP2
0000207f: MSTORE
00002080: PUSH1 0x04
00002082: ADD
00002083: DUP1
00002084: DUP1
00002085: PUSH1 0x20
00002087: ADD
00002088: DUP3
00002089: DUP2
0000208a: SUB
0000208b: DUP3
0000208c: MSTORE
0000208d: DUP4
0000208e: DUP2
0000208f: DUP2
00002090: MLOAD
00002091: DUP2
00002092: MSTORE
00002093: PUSH1 0x20
00002095: ADD
00002096: SWAP2
00002097: POP
00002098: DUP1
00002099: MLOAD
0000209a: SWAP1
0000209b: PUSH1 0x20
0000209d: ADD
0000209e: SWAP1
0000209f: DUP1
000020a0: DUP4
000020a1: DUP4
000020a2: PUSH1 0x00
000020a4: JUMPDEST
000020a5: DUP4
000020a6: DUP2
000020a7: LT
000020a8: ISZERO
000020a9: PUSH2 0x20bf
000020ac: JUMPI
000020ad: DUP1
000020ae: DUP3
000020af: ADD
000020b0: MLOAD
000020b1: DUP2
000020b2: DUP5
000020b3: ADD
000020b4: MSTORE
000020b5: PUSH1 0x20
000020b7: DUP2
000020b8: ADD
000020b9: SWAP1
000020ba: POP
000020bb: PUSH2 0x20a4
000020be: JUMP
000020bf: JUMPDEST
000020c0: POP
000020c1: POP
000020c2: POP
000020c3: POP
000020c4: SWAP1
000020c5: POP
000020c6: SWAP1
000020c7: DUP2
000020c8: ADD
000020c9: SWAP1
000020ca: PUSH1 0x1f
000020cc: AND
000020cd: DUP1
000020ce: ISZERO
000020cf: PUSH2 0x20ec
000020d2: JUMPI
000020d3: DUP1
000020d4: DUP3
000020d5: SUB
000020d6: DUP1
000020d7: MLOAD
000020d8: PUSH1 0x01
000020da: DUP4
000020db: PUSH1 0x20
000020dd: SUB
000020de: PUSH2 0x0100
000020e1: EXP
000020e2: SUB
000020e3: NOT
000020e4: AND
000020e5: DUP2
000020e6: MSTORE
000020e7: PUSH1 0x20
000020e9: ADD
000020ea: SWAP2
000020eb: POP
000020ec: JUMPDEST
000020ed: POP
000020ee: SWAP3
000020ef: POP
000020f0: POP
000020f1: POP
000020f2: PUSH1 0x40
000020f4: MLOAD
000020f5: DUP1
000020f6: SWAP2
000020f7: SUB
000020f8: SWAP1
000020f9: REVERT
000020fa: JUMPDEST
000020fb: POP
000020fc: PUSH1 0x00
000020fe: DUP4
000020ff: DUP6
00002100: SUB
00002101: SWAP1
00002102: POP
00002103: DUP1
00002104: SWAP2
00002105: POP
00002106: POP
00002107: SWAP4
00002108: SWAP3
00002109: POP
0000210a: POP
0000210b: POP
0000210c: JUMP
0000210d: JUMPDEST
0000210e: PUSH1 0x00
00002110: PUSH2 0x214f
00002113: DUP4
00002114: DUP4
00002115: PUSH1 0x40
00002117: MLOAD
00002118: DUP1
00002119: PUSH1 0x40
0000211b: ADD
0000211c: PUSH1 0x40
0000211e: MSTORE
0000211f: DUP1
00002120: PUSH1 0x1e
00002122: DUP2
00002123: MSTORE
00002124: PUSH1 0x20
00002126: ADD
00002127: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002148: DUP2
00002149: MSTORE
0000214a: POP
0000214b: PUSH2 0x204d
0000214e: JUMP
0000214f: JUMPDEST
00002150: SWAP1
00002151: POP
00002152: SWAP3
00002153: SWAP2
00002154: POP
00002155: POP
00002156: JUMP
00002157: JUMPDEST
00002158: PUSH1 0x00
0000215a: DUP1
0000215b: DUP4
0000215c: EQ
0000215d: ISZERO
0000215e: PUSH2 0x216a
00002161: JUMPI
00002162: PUSH1 0x00
00002164: SWAP1
00002165: POP
00002166: PUSH2 0x21d7
00002169: JUMP
0000216a: JUMPDEST
0000216b: PUSH1 0x00
0000216d: DUP3
0000216e: DUP5
0000216f: MUL
00002170: SWAP1
00002171: POP
00002172: DUP3
00002173: DUP5
00002174: DUP3
00002175: DUP2
00002176: PUSH2 0x217b
00002179: JUMPI
0000217a: INVALID
0000217b: JUMPDEST
0000217c: DIV
0000217d: EQ
0000217e: PUSH2 0x21d2
00002181: JUMPI
00002182: PUSH1 0x40
00002184: MLOAD
00002185: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021a6: DUP2
000021a7: MSTORE
000021a8: PUSH1 0x04
000021aa: ADD
000021ab: DUP1
000021ac: DUP1
000021ad: PUSH1 0x20
000021af: ADD
000021b0: DUP3
000021b1: DUP2
000021b2: SUB
000021b3: DUP3
000021b4: MSTORE
000021b5: PUSH1 0x21
000021b7: DUP2
000021b8: MSTORE
000021b9: PUSH1 0x20
000021bb: ADD
000021bc: DUP1
000021bd: PUSH2 0x2d05
000021c0: PUSH1 0x21
000021c2: SWAP2
000021c3: CODECOPY
000021c4: PUSH1 0x40
000021c6: ADD
000021c7: SWAP2
000021c8: POP
000021c9: POP
000021ca: PUSH1 0x40
000021cc: MLOAD
000021cd: DUP1
000021ce: SWAP2
000021cf: SUB
000021d0: SWAP1
000021d1: REVERT
000021d2: JUMPDEST
000021d3: DUP1
000021d4: SWAP2
000021d5: POP
000021d6: POP
000021d7: JUMPDEST
000021d8: SWAP3
000021d9: SWAP2
000021da: POP
000021db: POP
000021dc: JUMP
000021dd: JUMPDEST
000021de: PUSH1 0x00
000021e0: PUSH2 0x221f
000021e3: DUP4
000021e4: DUP4
000021e5: PUSH1 0x40
000021e7: MLOAD
000021e8: DUP1
000021e9: PUSH1 0x40
000021eb: ADD
000021ec: PUSH1 0x40
000021ee: MSTORE
000021ef: DUP1
000021f0: PUSH1 0x1a
000021f2: DUP2
000021f3: MSTORE
000021f4: PUSH1 0x20
000021f6: ADD
000021f7: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002218: DUP2
00002219: MSTORE
0000221a: POP
0000221b: PUSH2 0x278e
0000221e: JUMP
0000221f: JUMPDEST
00002220: SWAP1
00002221: POP
00002222: SWAP3
00002223: SWAP2
00002224: POP
00002225: POP
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH1 0x01
0000222a: PUSH1 0x0e
0000222c: PUSH1 0x00
0000222e: PUSH2 0x0100
00002231: EXP
00002232: DUP2
00002233: SLOAD
00002234: DUP2
00002235: PUSH1 0xff
00002237: MUL
00002238: NOT
00002239: AND
0000223a: SWAP1
0000223b: DUP4
0000223c: ISZERO
0000223d: ISZERO
0000223e: MUL
0000223f: OR
00002240: SWAP1
00002241: SSTORE
00002242: POP
00002243: PUSH1 0x00
00002245: PUSH2 0x2258
00002248: PUSH1 0x02
0000224a: DUP4
0000224b: PUSH2 0x21dd
0000224e: SWAP1
0000224f: SWAP2
00002250: SWAP1
00002251: PUSH4 0xffffffff
00002256: AND
00002257: JUMP
00002258: JUMPDEST
00002259: SWAP1
0000225a: POP
0000225b: PUSH1 0x00
0000225d: PUSH2 0x226f
00002260: DUP3
00002261: DUP5
00002262: PUSH2 0x210d
00002265: SWAP1
00002266: SWAP2
00002267: SWAP1
00002268: PUSH4 0xffffffff
0000226d: AND
0000226e: JUMP
0000226f: JUMPDEST
00002270: SWAP1
00002271: POP
00002272: PUSH1 0x00
00002274: SELFBALANCE
00002275: SWAP1
00002276: POP
00002277: PUSH2 0x227f
0000227a: DUP4
0000227b: PUSH2 0x2854
0000227e: JUMP
0000227f: JUMPDEST
00002280: PUSH1 0x00
00002282: PUSH2 0x2294
00002285: DUP3
00002286: SELFBALANCE
00002287: PUSH2 0x210d
0000228a: SWAP1
0000228b: SWAP2
0000228c: SWAP1
0000228d: PUSH4 0xffffffff
00002292: AND
00002293: JUMP
00002294: JUMPDEST
00002295: SWAP1
00002296: POP
00002297: PUSH2 0x22a0
0000229a: DUP4
0000229b: DUP3
0000229c: PUSH2 0x2b02
0000229f: JUMP
000022a0: JUMPDEST
000022a1: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
000022c2: DUP5
000022c3: DUP3
000022c4: DUP6
000022c5: PUSH1 0x40
000022c7: MLOAD
000022c8: DUP1
000022c9: DUP5
000022ca: DUP2
000022cb: MSTORE
000022cc: PUSH1 0x20
000022ce: ADD
000022cf: DUP4
000022d0: DUP2
000022d1: MSTORE
000022d2: PUSH1 0x20
000022d4: ADD
000022d5: DUP3
000022d6: DUP2
000022d7: MSTORE
000022d8: PUSH1 0x20
000022da: ADD
000022db: SWAP4
000022dc: POP
000022dd: POP
000022de: POP
000022df: POP
000022e0: PUSH1 0x40
000022e2: MLOAD
000022e3: DUP1
000022e4: SWAP2
000022e5: SUB
000022e6: SWAP1
000022e7: LOG1
000022e8: POP
000022e9: POP
000022ea: POP
000022eb: POP
000022ec: PUSH1 0x00
000022ee: PUSH1 0x0e
000022f0: PUSH1 0x00
000022f2: PUSH2 0x0100
000022f5: EXP
000022f6: DUP2
000022f7: SLOAD
000022f8: DUP2
000022f9: PUSH1 0xff
000022fb: MUL
000022fc: NOT
000022fd: AND
000022fe: SWAP1
000022ff: DUP4
00002300: ISZERO
00002301: ISZERO
00002302: MUL
00002303: OR
00002304: SWAP1
00002305: SSTORE
00002306: POP
00002307: POP
00002308: JUMP
00002309: JUMPDEST
0000230a: PUSH1 0x00
0000230c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002321: AND
00002322: DUP4
00002323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002338: AND
00002339: EQ
0000233a: ISZERO
0000233b: PUSH2 0x238f
0000233e: JUMPI
0000233f: PUSH1 0x40
00002341: MLOAD
00002342: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002363: DUP2
00002364: MSTORE
00002365: PUSH1 0x04
00002367: ADD
00002368: DUP1
00002369: DUP1
0000236a: PUSH1 0x20
0000236c: ADD
0000236d: DUP3
0000236e: DUP2
0000236f: SUB
00002370: DUP3
00002371: MSTORE
00002372: PUSH1 0x25
00002374: DUP2
00002375: MSTORE
00002376: PUSH1 0x20
00002378: ADD
00002379: DUP1
0000237a: PUSH2 0x2d6f
0000237d: PUSH1 0x25
0000237f: SWAP2
00002380: CODECOPY
00002381: PUSH1 0x40
00002383: ADD
00002384: SWAP2
00002385: POP
00002386: POP
00002387: PUSH1 0x40
00002389: MLOAD
0000238a: DUP1
0000238b: SWAP2
0000238c: SUB
0000238d: SWAP1
0000238e: REVERT
0000238f: JUMPDEST
00002390: PUSH1 0x00
00002392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a7: AND
000023a8: DUP3
000023a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023be: AND
000023bf: EQ
000023c0: ISZERO
000023c1: PUSH2 0x2415
000023c4: JUMPI
000023c5: PUSH1 0x40
000023c7: MLOAD
000023c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023e9: DUP2
000023ea: MSTORE
000023eb: PUSH1 0x04
000023ed: ADD
000023ee: DUP1
000023ef: DUP1
000023f0: PUSH1 0x20
000023f2: ADD
000023f3: DUP3
000023f4: DUP2
000023f5: SUB
000023f6: DUP3
000023f7: MSTORE
000023f8: PUSH1 0x23
000023fa: DUP2
000023fb: MSTORE
000023fc: PUSH1 0x20
000023fe: ADD
000023ff: DUP1
00002400: PUSH2 0x2c52
00002403: PUSH1 0x23
00002405: SWAP2
00002406: CODECOPY
00002407: PUSH1 0x40
00002409: ADD
0000240a: SWAP2
0000240b: POP
0000240c: POP
0000240d: PUSH1 0x40
0000240f: MLOAD
00002410: DUP1
00002411: SWAP2
00002412: SUB
00002413: SWAP1
00002414: REVERT
00002415: JUMPDEST
00002416: PUSH2 0x2420
00002419: DUP4
0000241a: DUP4
0000241b: DUP4
0000241c: PUSH2 0x2c4c
0000241f: JUMP
00002420: JUMPDEST
00002421: PUSH2 0x248b
00002424: DUP2
00002425: PUSH1 0x40
00002427: MLOAD
00002428: DUP1
00002429: PUSH1 0x60
0000242b: ADD
0000242c: PUSH1 0x40
0000242e: MSTORE
0000242f: DUP1
00002430: PUSH1 0x26
00002432: DUP2
00002433: MSTORE
00002434: PUSH1 0x20
00002436: ADD
00002437: PUSH2 0x2cdf
0000243a: PUSH1 0x26
0000243c: SWAP2
0000243d: CODECOPY
0000243e: PUSH1 0x00
00002440: DUP1
00002441: DUP8
00002442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002457: AND
00002458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000246d: AND
0000246e: DUP2
0000246f: MSTORE
00002470: PUSH1 0x20
00002472: ADD
00002473: SWAP1
00002474: DUP2
00002475: MSTORE
00002476: PUSH1 0x20
00002478: ADD
00002479: PUSH1 0x00
0000247b: KECCAK256
0000247c: SLOAD
0000247d: PUSH2 0x204d
00002480: SWAP1
00002481: SWAP3
00002482: SWAP2
00002483: SWAP1
00002484: PUSH4 0xffffffff
00002489: AND
0000248a: JUMP
0000248b: JUMPDEST
0000248c: PUSH1 0x00
0000248e: DUP1
0000248f: DUP6
00002490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a5: AND
000024a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024bb: AND
000024bc: DUP2
000024bd: MSTORE
000024be: PUSH1 0x20
000024c0: ADD
000024c1: SWAP1
000024c2: DUP2
000024c3: MSTORE
000024c4: PUSH1 0x20
000024c6: ADD
000024c7: PUSH1 0x00
000024c9: KECCAK256
000024ca: DUP2
000024cb: SWAP1
000024cc: SSTORE
000024cd: POP
000024ce: PUSH2 0x251e
000024d1: DUP2
000024d2: PUSH1 0x00
000024d4: DUP1
000024d5: DUP6
000024d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024eb: AND
000024ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002501: AND
00002502: DUP2
00002503: MSTORE
00002504: PUSH1 0x20
00002506: ADD
00002507: SWAP1
00002508: DUP2
00002509: MSTORE
0000250a: PUSH1 0x20
0000250c: ADD
0000250d: PUSH1 0x00
0000250f: KECCAK256
00002510: SLOAD
00002511: PUSH2 0x1bb0
00002514: SWAP1
00002515: SWAP2
00002516: SWAP1
00002517: PUSH4 0xffffffff
0000251c: AND
0000251d: JUMP
0000251e: JUMPDEST
0000251f: PUSH1 0x00
00002521: DUP1
00002522: DUP5
00002523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002538: AND
00002539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254e: AND
0000254f: DUP2
00002550: MSTORE
00002551: PUSH1 0x20
00002553: ADD
00002554: SWAP1
00002555: DUP2
00002556: MSTORE
00002557: PUSH1 0x20
00002559: ADD
0000255a: PUSH1 0x00
0000255c: KECCAK256
0000255d: DUP2
0000255e: SWAP1
0000255f: SSTORE
00002560: POP
00002561: DUP2
00002562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002577: AND
00002578: DUP4
00002579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258e: AND
0000258f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000025b0: DUP4
000025b1: PUSH1 0x40
000025b3: MLOAD
000025b4: DUP1
000025b5: DUP3
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x20
000025ba: ADD
000025bb: SWAP2
000025bc: POP
000025bd: POP
000025be: PUSH1 0x40
000025c0: MLOAD
000025c1: DUP1
000025c2: SWAP2
000025c3: SUB
000025c4: SWAP1
000025c5: LOG3
000025c6: POP
000025c7: POP
000025c8: POP
000025c9: JUMP
000025ca: JUMPDEST
000025cb: PUSH1 0x00
000025cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e2: AND
000025e3: DUP3
000025e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f9: AND
000025fa: EQ
000025fb: ISZERO
000025fc: PUSH2 0x2650
000025ff: JUMPI
00002600: PUSH1 0x40
00002602: MLOAD
00002603: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002624: DUP2
00002625: MSTORE
00002626: PUSH1 0x04
00002628: ADD
00002629: DUP1
0000262a: DUP1
0000262b: PUSH1 0x20
0000262d: ADD
0000262e: DUP3
0000262f: DUP2
00002630: SUB
00002631: DUP3
00002632: MSTORE
00002633: PUSH1 0x21
00002635: DUP2
00002636: MSTORE
00002637: PUSH1 0x20
00002639: ADD
0000263a: DUP1
0000263b: PUSH2 0x2d4e
0000263e: PUSH1 0x21
00002640: SWAP2
00002641: CODECOPY
00002642: PUSH1 0x40
00002644: ADD
00002645: SWAP2
00002646: POP
00002647: POP
00002648: PUSH1 0x40
0000264a: MLOAD
0000264b: DUP1
0000264c: SWAP2
0000264d: SUB
0000264e: SWAP1
0000264f: REVERT
00002650: JUMPDEST
00002651: PUSH2 0x265c
00002654: DUP3
00002655: PUSH1 0x00
00002657: DUP4
00002658: PUSH2 0x2c4c
0000265b: JUMP
0000265c: JUMPDEST
0000265d: PUSH2 0x26c7
00002660: DUP2
00002661: PUSH1 0x40
00002663: MLOAD
00002664: DUP1
00002665: PUSH1 0x60
00002667: ADD
00002668: PUSH1 0x40
0000266a: MSTORE
0000266b: DUP1
0000266c: PUSH1 0x22
0000266e: DUP2
0000266f: MSTORE
00002670: PUSH1 0x20
00002672: ADD
00002673: PUSH2 0x2c75
00002676: PUSH1 0x22
00002678: SWAP2
00002679: CODECOPY
0000267a: PUSH1 0x00
0000267c: DUP1
0000267d: DUP7
0000267e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002693: AND
00002694: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a9: AND
000026aa: DUP2
000026ab: MSTORE
000026ac: PUSH1 0x20
000026ae: ADD
000026af: SWAP1
000026b0: DUP2
000026b1: MSTORE
000026b2: PUSH1 0x20
000026b4: ADD
000026b5: PUSH1 0x00
000026b7: KECCAK256
000026b8: SLOAD
000026b9: PUSH2 0x204d
000026bc: SWAP1
000026bd: SWAP3
000026be: SWAP2
000026bf: SWAP1
000026c0: PUSH4 0xffffffff
000026c5: AND
000026c6: JUMP
000026c7: JUMPDEST
000026c8: PUSH1 0x00
000026ca: DUP1
000026cb: DUP5
000026cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e1: AND
000026e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f7: AND
000026f8: DUP2
000026f9: MSTORE
000026fa: PUSH1 0x20
000026fc: ADD
000026fd: SWAP1
000026fe: DUP2
000026ff: MSTORE
00002700: PUSH1 0x20
00002702: ADD
00002703: PUSH1 0x00
00002705: KECCAK256
00002706: DUP2
00002707: SWAP1
00002708: SSTORE
00002709: POP
0000270a: PUSH2 0x271e
0000270d: DUP2
0000270e: PUSH1 0x02
00002710: SLOAD
00002711: PUSH2 0x210d
00002714: SWAP1
00002715: SWAP2
00002716: SWAP1
00002717: PUSH4 0xffffffff
0000271c: AND
0000271d: JUMP
0000271e: JUMPDEST
0000271f: PUSH1 0x02
00002721: DUP2
00002722: SWAP1
00002723: SSTORE
00002724: POP
00002725: PUSH1 0x00
00002727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000273c: AND
0000273d: DUP3
0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002753: AND
00002754: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002775: DUP4
00002776: PUSH1 0x40
00002778: MLOAD
00002779: DUP1
0000277a: DUP3
0000277b: DUP2
0000277c: MSTORE
0000277d: PUSH1 0x20
0000277f: ADD
00002780: SWAP2
00002781: POP
00002782: POP
00002783: PUSH1 0x40
00002785: MLOAD
00002786: DUP1
00002787: SWAP2
00002788: SUB
00002789: SWAP1
0000278a: LOG3
0000278b: POP
0000278c: POP
0000278d: JUMP
0000278e: JUMPDEST
0000278f: PUSH1 0x00
00002791: DUP1
00002792: DUP4
00002793: GT
00002794: DUP3
00002795: SWAP1
00002796: PUSH2 0x283a
00002799: JUMPI
0000279a: PUSH1 0x40
0000279c: MLOAD
0000279d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027be: DUP2
000027bf: MSTORE
000027c0: PUSH1 0x04
000027c2: ADD
000027c3: DUP1
000027c4: DUP1
000027c5: PUSH1 0x20
000027c7: ADD
000027c8: DUP3
000027c9: DUP2
000027ca: SUB
000027cb: DUP3
000027cc: MSTORE
000027cd: DUP4
000027ce: DUP2
000027cf: DUP2
000027d0: MLOAD
000027d1: DUP2
000027d2: MSTORE
000027d3: PUSH1 0x20
000027d5: ADD
000027d6: SWAP2
000027d7: POP
000027d8: DUP1
000027d9: MLOAD
000027da: SWAP1
000027db: PUSH1 0x20
000027dd: ADD
000027de: SWAP1
000027df: DUP1
000027e0: DUP4
000027e1: DUP4
000027e2: PUSH1 0x00
000027e4: JUMPDEST
000027e5: DUP4
000027e6: DUP2
000027e7: LT
000027e8: ISZERO
000027e9: PUSH2 0x27ff
000027ec: JUMPI
000027ed: DUP1
000027ee: DUP3
000027ef: ADD
000027f0: MLOAD
000027f1: DUP2
000027f2: DUP5
000027f3: ADD
000027f4: MSTORE
000027f5: PUSH1 0x20
000027f7: DUP2
000027f8: ADD
000027f9: SWAP1
000027fa: POP
000027fb: PUSH2 0x27e4
000027fe: JUMP
000027ff: JUMPDEST
00002800: POP
00002801: POP
00002802: POP
00002803: POP
00002804: SWAP1
00002805: POP
00002806: SWAP1
00002807: DUP2
00002808: ADD
00002809: SWAP1
0000280a: PUSH1 0x1f
0000280c: AND
0000280d: DUP1
0000280e: ISZERO
0000280f: PUSH2 0x282c
00002812: JUMPI
00002813: DUP1
00002814: DUP3
00002815: SUB
00002816: DUP1
00002817: MLOAD
00002818: PUSH1 0x01
0000281a: DUP4
0000281b: PUSH1 0x20
0000281d: SUB
0000281e: PUSH2 0x0100
00002821: EXP
00002822: SUB
00002823: NOT
00002824: AND
00002825: DUP2
00002826: MSTORE
00002827: PUSH1 0x20
00002829: ADD
0000282a: SWAP2
0000282b: POP
0000282c: JUMPDEST
0000282d: POP
0000282e: SWAP3
0000282f: POP
00002830: POP
00002831: POP
00002832: PUSH1 0x40
00002834: MLOAD
00002835: DUP1
00002836: SWAP2
00002837: SUB
00002838: SWAP1
00002839: REVERT
0000283a: JUMPDEST
0000283b: POP
0000283c: PUSH1 0x00
0000283e: DUP4
0000283f: DUP6
00002840: DUP2
00002841: PUSH2 0x2846
00002844: JUMPI
00002845: INVALID
00002846: JUMPDEST
00002847: DIV
00002848: SWAP1
00002849: POP
0000284a: DUP1
0000284b: SWAP2
0000284c: POP
0000284d: POP
0000284e: SWAP4
0000284f: SWAP3
00002850: POP
00002851: POP
00002852: POP
00002853: JUMP
00002854: JUMPDEST
00002855: PUSH1 0x60
00002857: PUSH1 0x02
00002859: PUSH8 0xffffffffffffffff
00002862: DUP2
00002863: GT
00002864: DUP1
00002865: ISZERO
00002866: PUSH2 0x286e
00002869: JUMPI
0000286a: PUSH1 0x00
0000286c: DUP1
0000286d: REVERT
0000286e: JUMPDEST
0000286f: POP
00002870: PUSH1 0x40
00002872: MLOAD
00002873: SWAP1
00002874: DUP1
00002875: DUP3
00002876: MSTORE
00002877: DUP1
00002878: PUSH1 0x20
0000287a: MUL
0000287b: PUSH1 0x20
0000287d: ADD
0000287e: DUP3
0000287f: ADD
00002880: PUSH1 0x40
00002882: MSTORE
00002883: DUP1
00002884: ISZERO
00002885: PUSH2 0x289d
00002888: JUMPI
00002889: DUP2
0000288a: PUSH1 0x20
0000288c: ADD
0000288d: PUSH1 0x20
0000288f: DUP3
00002890: MUL
00002891: DUP1
00002892: CALLDATASIZE
00002893: DUP4
00002894: CALLDATACOPY
00002895: DUP1
00002896: DUP3
00002897: ADD
00002898: SWAP2
00002899: POP
0000289a: POP
0000289b: SWAP1
0000289c: POP
0000289d: JUMPDEST
0000289e: POP
0000289f: SWAP1
000028a0: POP
000028a1: ADDRESS
000028a2: DUP2
000028a3: PUSH1 0x00
000028a5: DUP2
000028a6: MLOAD
000028a7: DUP2
000028a8: LT
000028a9: PUSH2 0x28ae
000028ac: JUMPI
000028ad: INVALID
000028ae: JUMPDEST
000028af: PUSH1 0x20
000028b1: MUL
000028b2: PUSH1 0x20
000028b4: ADD
000028b5: ADD
000028b6: SWAP1
000028b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028cc: AND
000028cd: SWAP1
000028ce: DUP2
000028cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e4: AND
000028e5: DUP2
000028e6: MSTORE
000028e7: POP
000028e8: POP
000028e9: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000290a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000291f: AND
00002920: PUSH4 0xad5c4648
00002925: PUSH1 0x40
00002927: MLOAD
00002928: DUP2
00002929: PUSH4 0xffffffff
0000292e: AND
0000292f: PUSH1 0xe0
00002931: SHL
00002932: DUP2
00002933: MSTORE
00002934: PUSH1 0x04
00002936: ADD
00002937: PUSH1 0x20
00002939: PUSH1 0x40
0000293b: MLOAD
0000293c: DUP1
0000293d: DUP4
0000293e: SUB
0000293f: DUP2
00002940: DUP7
00002941: DUP1
00002942: EXTCODESIZE
00002943: ISZERO
00002944: DUP1
00002945: ISZERO
00002946: PUSH2 0x294e
00002949: JUMPI
0000294a: PUSH1 0x00
0000294c: DUP1
0000294d: REVERT
0000294e: JUMPDEST
0000294f: POP
00002950: GAS
00002951: STATICCALL
00002952: ISZERO
00002953: DUP1
00002954: ISZERO
00002955: PUSH2 0x2962
00002958: JUMPI
00002959: RETURNDATASIZE
0000295a: PUSH1 0x00
0000295c: DUP1
0000295d: RETURNDATACOPY
0000295e: RETURNDATASIZE
0000295f: PUSH1 0x00
00002961: REVERT
00002962: JUMPDEST
00002963: POP
00002964: POP
00002965: POP
00002966: POP
00002967: PUSH1 0x40
00002969: MLOAD
0000296a: RETURNDATASIZE
0000296b: PUSH1 0x20
0000296d: DUP2
0000296e: LT
0000296f: ISZERO
00002970: PUSH2 0x2978
00002973: JUMPI
00002974: PUSH1 0x00
00002976: DUP1
00002977: REVERT
00002978: JUMPDEST
00002979: DUP2
0000297a: ADD
0000297b: SWAP1
0000297c: DUP1
0000297d: DUP1
0000297e: MLOAD
0000297f: SWAP1
00002980: PUSH1 0x20
00002982: ADD
00002983: SWAP1
00002984: SWAP3
00002985: SWAP2
00002986: SWAP1
00002987: POP
00002988: POP
00002989: POP
0000298a: DUP2
0000298b: PUSH1 0x01
0000298d: DUP2
0000298e: MLOAD
0000298f: DUP2
00002990: LT
00002991: PUSH2 0x2996
00002994: JUMPI
00002995: INVALID
00002996: JUMPDEST
00002997: PUSH1 0x20
00002999: MUL
0000299a: PUSH1 0x20
0000299c: ADD
0000299d: ADD
0000299e: SWAP1
0000299f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b4: AND
000029b5: SWAP1
000029b6: DUP2
000029b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029cc: AND
000029cd: DUP2
000029ce: MSTORE
000029cf: POP
000029d0: POP
000029d1: PUSH2 0x29fb
000029d4: ADDRESS
000029d5: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000029f6: DUP5
000029f7: PUSH2 0x1c40
000029fa: JUMP
000029fb: JUMPDEST
000029fc: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a32: AND
00002a33: PUSH4 0x791ac947
00002a38: DUP4
00002a39: PUSH1 0x00
00002a3b: DUP5
00002a3c: ADDRESS
00002a3d: TIMESTAMP
00002a3e: PUSH1 0x40
00002a40: MLOAD
00002a41: DUP7
00002a42: PUSH4 0xffffffff
00002a47: AND
00002a48: PUSH1 0xe0
00002a4a: SHL
00002a4b: DUP2
00002a4c: MSTORE
00002a4d: PUSH1 0x04
00002a4f: ADD
00002a50: DUP1
00002a51: DUP7
00002a52: DUP2
00002a53: MSTORE
00002a54: PUSH1 0x20
00002a56: ADD
00002a57: DUP6
00002a58: DUP2
00002a59: MSTORE
00002a5a: PUSH1 0x20
00002a5c: ADD
00002a5d: DUP1
00002a5e: PUSH1 0x20
00002a60: ADD
00002a61: DUP5
00002a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a77: AND
00002a78: DUP2
00002a79: MSTORE
00002a7a: PUSH1 0x20
00002a7c: ADD
00002a7d: DUP4
00002a7e: DUP2
00002a7f: MSTORE
00002a80: PUSH1 0x20
00002a82: ADD
00002a83: DUP3
00002a84: DUP2
00002a85: SUB
00002a86: DUP3
00002a87: MSTORE
00002a88: DUP6
00002a89: DUP2
00002a8a: DUP2
00002a8b: MLOAD
00002a8c: DUP2
00002a8d: MSTORE
00002a8e: PUSH1 0x20
00002a90: ADD
00002a91: SWAP2
00002a92: POP
00002a93: DUP1
00002a94: MLOAD
00002a95: SWAP1
00002a96: PUSH1 0x20
00002a98: ADD
00002a99: SWAP1
00002a9a: PUSH1 0x20
00002a9c: MUL
00002a9d: DUP1
00002a9e: DUP4
00002a9f: DUP4
00002aa0: PUSH1 0x00
00002aa2: JUMPDEST
00002aa3: DUP4
00002aa4: DUP2
00002aa5: LT
00002aa6: ISZERO
00002aa7: PUSH2 0x2abd
00002aaa: JUMPI
00002aab: DUP1
00002aac: DUP3
00002aad: ADD
00002aae: MLOAD
00002aaf: DUP2
00002ab0: DUP5
00002ab1: ADD
00002ab2: MSTORE
00002ab3: PUSH1 0x20
00002ab5: DUP2
00002ab6: ADD
00002ab7: SWAP1
00002ab8: POP
00002ab9: PUSH2 0x2aa2
00002abc: JUMP
00002abd: JUMPDEST
00002abe: POP
00002abf: POP
00002ac0: POP
00002ac1: POP
00002ac2: SWAP1
00002ac3: POP
00002ac4: ADD
00002ac5: SWAP7
00002ac6: POP
00002ac7: POP
00002ac8: POP
00002ac9: POP
00002aca: POP
00002acb: POP
00002acc: POP
00002acd: PUSH1 0x00
00002acf: PUSH1 0x40
00002ad1: MLOAD
00002ad2: DUP1
00002ad3: DUP4
00002ad4: SUB
00002ad5: DUP2
00002ad6: PUSH1 0x00
00002ad8: DUP8
00002ad9: DUP1
00002ada: EXTCODESIZE
00002adb: ISZERO
00002adc: DUP1
00002add: ISZERO
00002ade: PUSH2 0x2ae6
00002ae1: JUMPI
00002ae2: PUSH1 0x00
00002ae4: DUP1
00002ae5: REVERT
00002ae6: JUMPDEST
00002ae7: POP
00002ae8: GAS
00002ae9: CALL
00002aea: ISZERO
00002aeb: DUP1
00002aec: ISZERO
00002aed: PUSH2 0x2afa
00002af0: JUMPI
00002af1: RETURNDATASIZE
00002af2: PUSH1 0x00
00002af4: DUP1
00002af5: RETURNDATACOPY
00002af6: RETURNDATASIZE
00002af7: PUSH1 0x00
00002af9: REVERT
00002afa: JUMPDEST
00002afb: POP
00002afc: POP
00002afd: POP
00002afe: POP
00002aff: POP
00002b00: POP
00002b01: JUMP
00002b02: JUMPDEST
00002b03: PUSH2 0x2b2d
00002b06: ADDRESS
00002b07: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002b28: DUP5
00002b29: PUSH2 0x1c40
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b64: AND
00002b65: PUSH4 0xf305d719
00002b6a: DUP3
00002b6b: ADDRESS
00002b6c: DUP6
00002b6d: PUSH1 0x00
00002b6f: DUP1
00002b70: ADDRESS
00002b71: TIMESTAMP
00002b72: PUSH1 0x40
00002b74: MLOAD
00002b75: DUP9
00002b76: PUSH4 0xffffffff
00002b7b: AND
00002b7c: PUSH1 0xe0
00002b7e: SHL
00002b7f: DUP2
00002b80: MSTORE
00002b81: PUSH1 0x04
00002b83: ADD
00002b84: DUP1
00002b85: DUP8
00002b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9b: AND
00002b9c: DUP2
00002b9d: MSTORE
00002b9e: PUSH1 0x20
00002ba0: ADD
00002ba1: DUP7
00002ba2: DUP2
00002ba3: MSTORE
00002ba4: PUSH1 0x20
00002ba6: ADD
00002ba7: DUP6
00002ba8: DUP2
00002ba9: MSTORE
00002baa: PUSH1 0x20
00002bac: ADD
00002bad: DUP5
00002bae: DUP2
00002baf: MSTORE
00002bb0: PUSH1 0x20
00002bb2: ADD
00002bb3: DUP4
00002bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc9: AND
00002bca: DUP2
00002bcb: MSTORE
00002bcc: PUSH1 0x20
00002bce: ADD
00002bcf: DUP3
00002bd0: DUP2
00002bd1: MSTORE
00002bd2: PUSH1 0x20
00002bd4: ADD
00002bd5: SWAP7
00002bd6: POP
00002bd7: POP
00002bd8: POP
00002bd9: POP
00002bda: POP
00002bdb: POP
00002bdc: POP
00002bdd: PUSH1 0x60
00002bdf: PUSH1 0x40
00002be1: MLOAD
00002be2: DUP1
00002be3: DUP4
00002be4: SUB
00002be5: DUP2
00002be6: DUP6
00002be7: DUP9
00002be8: DUP1
00002be9: EXTCODESIZE
00002bea: ISZERO
00002beb: DUP1
00002bec: ISZERO
00002bed: PUSH2 0x2bf5
00002bf0: JUMPI
00002bf1: PUSH1 0x00
00002bf3: DUP1
00002bf4: REVERT
00002bf5: JUMPDEST
00002bf6: POP
00002bf7: GAS
00002bf8: CALL
00002bf9: ISZERO
00002bfa: DUP1
00002bfb: ISZERO
00002bfc: PUSH2 0x2c09
00002bff: JUMPI
00002c00: RETURNDATASIZE
00002c01: PUSH1 0x00
00002c03: DUP1
00002c04: RETURNDATACOPY
00002c05: RETURNDATASIZE
00002c06: PUSH1 0x00
00002c08: REVERT
00002c09: JUMPDEST
00002c0a: POP
00002c0b: POP
00002c0c: POP
00002c0d: POP
00002c0e: POP
00002c0f: PUSH1 0x40
00002c11: MLOAD
00002c12: RETURNDATASIZE
00002c13: PUSH1 0x60
00002c15: DUP2
00002c16: LT
00002c17: ISZERO
00002c18: PUSH2 0x2c20
00002c1b: JUMPI
00002c1c: PUSH1 0x00
00002c1e: DUP1
00002c1f: REVERT
00002c20: JUMPDEST
00002c21: DUP2
00002c22: ADD
00002c23: SWAP1
00002c24: DUP1
00002c25: DUP1
00002c26: MLOAD
00002c27: SWAP1
00002c28: PUSH1 0x20
00002c2a: ADD
00002c2b: SWAP1
00002c2c: SWAP3
00002c2d: SWAP2
00002c2e: SWAP1
00002c2f: DUP1
00002c30: MLOAD
00002c31: SWAP1
00002c32: PUSH1 0x20
00002c34: ADD
00002c35: SWAP1
00002c36: SWAP3
00002c37: SWAP2
00002c38: SWAP1
00002c39: DUP1
00002c3a: MLOAD
00002c3b: SWAP1
00002c3c: PUSH1 0x20
00002c3e: ADD
00002c3f: SWAP1
00002c40: SWAP3
00002c41: SWAP2
00002c42: SWAP1
00002c43: POP
00002c44: POP
00002c45: POP
00002c46: POP
00002c47: POP
00002c48: POP
00002c49: POP
00002c4a: POP
00002c4b: JUMP
00002c4c: JUMPDEST
00002c4d: POP
00002c4e: POP
00002c4f: POP
00002c50: JUMP
00002c51: INVALID
00002c52: GASLIMIT
00002c53: MSTORE
00002c54: NUMBER
00002c55: ORIGIN
00002c56: ADDRESS
00002c57: GASPRICE
00002c58: KECCAK256
00002c59: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00002c6f: PUSH5 0x6472657373
00002c75: GASLIMIT
00002c76: MSTORE
00002c77: NUMBER
00002c78: ORIGIN
00002c79: ADDRESS
00002c7a: GASPRICE
00002c7b: KECCAK256
00002c7c: PUSH3 0x75726e
00002c80: KECCAK256
00002c81: PUSH2 0x6d6f
00002c84: PUSH22 0x6e7420657863656564732062616c616e63654f776e61
00002c9b: PUSH3 0x6c653a
00002c9f: KECCAK256
00002ca0: PUSH15 0x6577206f776e657220697320746865
00002cb0: KECCAK256
00002cb1: PUSH27 0x65726f206164647265737345524332303a20617070726f76652074
00002ccd: PUSH16 0x20746865207a65726f20616464726573
00002cde: PUSH20 0x45524332303a207472616e7366657220616d6f75
00002cf3: PUSH15 0x7420657863656564732062616c616e
00002d03: PUSH4 0x65536166
00002d08: PUSH6 0x4d6174683a20
00002d0f: PUSH14 0x756c7469706c69636174696f6e20
00002d1e: PUSH16 0x766572666c6f7745524332303a207472
00002d2f: PUSH2 0x6e73
00002d32: PUSH7 0x657220616d6f75
00002d3a: PUSH15 0x74206578636565647320616c6c6f77
00002d4a: PUSH2 0x6e63
00002d4d: PUSH6 0x45524332303a
00002d54: KECCAK256
00002d55: PUSH3 0x75726e
00002d59: KECCAK256
00002d5a: PUSH7 0x726f6d20746865
00002d62: KECCAK256
00002d63: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
00002d7f: PUSH7 0x726f6d20746865
00002d87: KECCAK256
00002d88: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00002da4: PUSH19 0x6f6d20746865207a65726f2061646472657373
00002db8: GASLIMIT
00002db9: MSTORE
00002dba: NUMBER
00002dbb: ORIGIN
00002dbc: ADDRESS
00002dbd: GASPRICE
00002dbe: KECCAK256
00002dbf: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002dd5: PUSH20 0x206c696d697445524332303a2064656372656173
00002dea: PUSH6 0x6420616c6c6f
00002df1: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
00002e0a: KECCAK256
00002e0b: PUSH1 0xaa
00002e0d: JUMP
00002e0e: UNKNOWN(0xF9)
00002e0f: UNKNOWN(0xB3)
00002e10: UNKNOWN(0xE7)
00002e11: UNKNOWN(0xAA)
00002e12: UNKNOWN(0xC2)
00002e13: PC
00002e14: UNKNOWN(0xAC)
00002e15: UNKNOWN(0x2B)
00002e16: SWAP14
00002e17: LOG2
00002e18: UNKNOWN(0xC9)
00002e19: UNKNOWN(0x0E)
00002e1a: UNKNOWN(0x4D)
00002e1b: DUP2
00002e1c: SWAP3
00002e1d: SWAP15
00002e1e: CALLVALUE
00002e1f: SSTORE
00002e20: UNKNOWN(0xDD)
00002e21: UNKNOWN(0x4D)
00002e22: PUSH20
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xeaa93e78", "selector": "0xeaa93e78", "calldata_variants": [ "0xeaa93e78", "0xeaa93e780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf51d4df5", "selector": "0xf51d4df5", "calldata_variants": [ "0xf51d4df5", "0xf51d4df50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c4790", "selector": "0xff7c4790", "calldata_variants": [ "0xff7c4790", "0xff7c47900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcc0f1786", "selector": "0xcc0f1786", "calldata_variants": [ "0xcc0f1786", "0xcc0f17860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 8043, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11349, "type": "tx_origin_used" }, { "pc": 11384, "type": "tx_origin_used" }, { "pc": 11707, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x1fb50c60eaae940649a16a6ec1fbcae3ad36131077cf35a5d11da8700dc5d76a call_targets: 0x1443e7c1cce72662545d94779120c59251447e91 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1fb50c60eaae940649a16a6ec1fbcae3ad36131077cf35a5d11da8700dc5d76a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1443e7c1cce72662545d94779120c59251447e91" ], "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": "0xeaa93e78", "selector": "0xeaa93e78", "calldata_variants": [ "0xeaa93e78", "0xeaa93e780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf51d4df5", "selector": "0xf51d4df5", "calldata_variants": [ "0xf51d4df5", "0xf51d4df50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c4790", "selector": "0xff7c4790", "calldata_variants": [ "0xff7c4790", "0xff7c47900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcc0f1786", "selector": "0xcc0f1786", "calldata_variants": [ "0xcc0f1786", "0xcc0f17860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4424, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10985, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11256, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 8043, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11349, "type": "tx_origin_used" }, { "pc": 11384, "type": "tx_origin_used" }, { "pc": 11707, "type": "tx_origin_used" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x1fb50c60eaae940649a16a6ec1fbcae3ad36131077cf35a5d11da8700dc5d76a call_targets: 0x1443e7c1cce72662545d94779120c59251447e91 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1fb50c60eaae940649a16a6ec1fbcae3ad36131077cf35a5d11da8700dc5d76a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1443e7c1cce72662545d94779120c59251447e91" ], "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": "0xeaa93e78", "selector": "0xeaa93e78", "calldata_variants": [ "0xeaa93e78", "0xeaa93e780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf51d4df5", "selector": "0xf51d4df5", "calldata_variants": [ "0xf51d4df5", "0xf51d4df50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c4790", "selector": "0xff7c4790", "calldata_variants": [ "0xff7c4790", "0xff7c47900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcc0f1786", "selector": "0xcc0f1786", "calldata_variants": [ "0xcc0f1786", "0xcc0f17860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4424, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10985, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11256, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 8043, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 11349, "type": "tx_origin_used" }, { "pc": 11384, "type": "tx_origin_used" }, { "pc": 11707, "type": "tx_origin_used" } ] }
Severity