Analysis Run

019ba92a-2dce-70e3-beda-b715ba9ae445

complete

Chain ID

1

Address

0x68cfbad56d6db48e93eda71898659bd2b861ff19

Block Number

—

Created

Sat, Jan 10, 2026 6:27 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
35305	artifact.fetch	complete	1 / 3	3 months ago
35306	proxy.resolve	complete	1 / 3	3 months ago
35307	tool.cast_disasm	complete	1 / 3	3 months ago
35308	analysis.bundle	complete	1 / 3	3 months ago
35309	capability.graph	complete	1 / 3	3 months ago
35310	detector.run	complete	1 / 3	3 months ago
35311	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: no

Proxy evidence

{
    "status": "not_proxy"
}

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

0

Total opcodes

4858

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x010b
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x30adf81f
00000026: GT
00000027: PUSH2 0x00a2
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x70a08231
00000031: GT
00000032: PUSH2 0x0071
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x70a08231
0000003c: EQ
0000003d: PUSH2 0x02a8
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x95d89b41
00000047: EQ
00000048: PUSH2 0x02d8
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xa9059cbb
00000052: EQ
00000053: PUSH2 0x02f6
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xd505accf
0000005d: EQ
0000005e: PUSH2 0x0326
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xdd62ed3e
00000068: EQ
00000069: PUSH2 0x0342
0000006c: JUMPI
0000006d: PUSH2 0x010b
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0x30adf81f
00000078: EQ
00000079: PUSH2 0x0232
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x313ce567
00000083: EQ
00000084: PUSH2 0x0250
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x3644e515
0000008e: EQ
0000008f: PUSH2 0x026e
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x40c10f19
00000099: EQ
0000009a: PUSH2 0x028c
0000009d: JUMPI
0000009e: PUSH2 0x010b
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x191d0ffc
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x191d0ffc
000000b4: EQ
000000b5: PUSH2 0x019a
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x1e9a6950
000000bf: EQ
000000c0: PUSH2 0x01ca
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x23b872dd
000000ca: EQ
000000cb: PUSH2 0x01e6
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x2997f119
000000d5: EQ
000000d6: PUSH2 0x0216
000000d9: JUMPI
000000da: PUSH2 0x010b
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x02d45457
000000e5: EQ
000000e6: PUSH2 0x0110
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x06fdde03
000000f0: EQ
000000f1: PUSH2 0x012e
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x095ea7b3
000000fb: EQ
000000fc: PUSH2 0x014c
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x18160ddd
00000106: EQ
00000107: PUSH2 0x017c
0000010a: JUMPI
0000010b: JUMPDEST
0000010c: PUSH1 0x00
0000010e: DUP1
0000010f: REVERT
00000110: JUMPDEST
00000111: PUSH2 0x0118
00000114: PUSH2 0x0372
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: PUSH2 0x0125
0000011f: SWAP2
00000120: SWAP1
00000121: PUSH2 0x20ce
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: PUSH2 0x0136
00000132: PUSH2 0x0398
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: PUSH2 0x0143
0000013d: SWAP2
0000013e: SWAP1
0000013f: PUSH2 0x2225
00000142: JUMP
00000143: JUMPDEST
00000144: PUSH1 0x40
00000146: MLOAD
00000147: DUP1
00000148: SWAP2
00000149: SUB
0000014a: SWAP1
0000014b: RETURN
0000014c: JUMPDEST
0000014d: PUSH2 0x0166
00000150: PUSH1 0x04
00000152: DUP1
00000153: CALLDATASIZE
00000154: SUB
00000155: DUP2
00000156: ADD
00000157: SWAP1
00000158: PUSH2 0x0161
0000015b: SWAP2
0000015c: SWAP1
0000015d: PUSH2 0x1c5d
00000160: JUMP
00000161: JUMPDEST
00000162: PUSH2 0x043a
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: PUSH2 0x0173
0000016d: SWAP2
0000016e: SWAP1
0000016f: PUSH2 0x2149
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH1 0x40
00000176: MLOAD
00000177: DUP1
00000178: SWAP2
00000179: SUB
0000017a: SWAP1
0000017b: RETURN
0000017c: JUMPDEST
0000017d: PUSH2 0x0184
00000180: PUSH2 0x044f
00000183: JUMP
00000184: JUMPDEST
00000185: PUSH1 0x40
00000187: MLOAD
00000188: PUSH2 0x0191
0000018b: SWAP2
0000018c: SWAP1
0000018d: PUSH2 0x243d
00000190: JUMP
00000191: JUMPDEST
00000192: PUSH1 0x40
00000194: MLOAD
00000195: DUP1
00000196: SWAP2
00000197: SUB
00000198: SWAP1
00000199: RETURN
0000019a: JUMPDEST
0000019b: PUSH2 0x01b4
0000019e: PUSH1 0x04
000001a0: DUP1
000001a1: CALLDATASIZE
000001a2: SUB
000001a3: DUP2
000001a4: ADD
000001a5: SWAP1
000001a6: PUSH2 0x01af
000001a9: SWAP2
000001aa: SWAP1
000001ab: PUSH2 0x1b0b
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH2 0x0459
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH1 0x40
000001b7: MLOAD
000001b8: PUSH2 0x01c1
000001bb: SWAP2
000001bc: SWAP1
000001bd: PUSH2 0x243d
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH1 0x40
000001c4: MLOAD
000001c5: DUP1
000001c6: SWAP2
000001c7: SUB
000001c8: SWAP1
000001c9: RETURN
000001ca: JUMPDEST
000001cb: PUSH2 0x01e4
000001ce: PUSH1 0x04
000001d0: DUP1
000001d1: CALLDATASIZE
000001d2: SUB
000001d3: DUP2
000001d4: ADD
000001d5: SWAP1
000001d6: PUSH2 0x01df
000001d9: SWAP2
000001da: SWAP1
000001db: PUSH2 0x1c5d
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH2 0x0471
000001e3: JUMP
000001e4: JUMPDEST
000001e5: STOP
000001e6: JUMPDEST
000001e7: PUSH2 0x0200
000001ea: PUSH1 0x04
000001ec: DUP1
000001ed: CALLDATASIZE
000001ee: SUB
000001ef: DUP2
000001f0: ADD
000001f1: SWAP1
000001f2: PUSH2 0x01fb
000001f5: SWAP2
000001f6: SWAP1
000001f7: PUSH2 0x1b70
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH2 0x04ac
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH1 0x40
00000203: MLOAD
00000204: PUSH2 0x020d
00000207: SWAP2
00000208: SWAP1
00000209: PUSH2 0x2149
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x40
00000210: MLOAD
00000211: DUP1
00000212: SWAP2
00000213: SUB
00000214: SWAP1
00000215: RETURN
00000216: JUMPDEST
00000217: PUSH2 0x0230
0000021a: PUSH1 0x04
0000021c: DUP1
0000021d: CALLDATASIZE
0000021e: SUB
0000021f: DUP2
00000220: ADD
00000221: SWAP1
00000222: PUSH2 0x022b
00000225: SWAP2
00000226: SWAP1
00000227: PUSH2 0x1bbf
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x0855
0000022f: JUMP
00000230: JUMPDEST
00000231: STOP
00000232: JUMPDEST
00000233: PUSH2 0x023a
00000236: PUSH2 0x0b2a
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH1 0x40
0000023d: MLOAD
0000023e: PUSH2 0x0247
00000241: SWAP2
00000242: SWAP1
00000243: PUSH2 0x2164
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: DUP1
0000024c: SWAP2
0000024d: SUB
0000024e: SWAP1
0000024f: RETURN
00000250: JUMPDEST
00000251: PUSH2 0x0258
00000254: PUSH2 0x0b51
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: PUSH2 0x0265
0000025f: SWAP2
00000260: SWAP1
00000261: PUSH2 0x2458
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: SWAP2
0000026b: SUB
0000026c: SWAP1
0000026d: RETURN
0000026e: JUMPDEST
0000026f: PUSH2 0x0276
00000272: PUSH2 0x0b68
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH1 0x40
00000279: MLOAD
0000027a: PUSH2 0x0283
0000027d: SWAP2
0000027e: SWAP1
0000027f: PUSH2 0x2164
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x40
00000286: MLOAD
00000287: DUP1
00000288: SWAP2
00000289: SUB
0000028a: SWAP1
0000028b: RETURN
0000028c: JUMPDEST
0000028d: PUSH2 0x02a6
00000290: PUSH1 0x04
00000292: DUP1
00000293: CALLDATASIZE
00000294: SUB
00000295: DUP2
00000296: ADD
00000297: SWAP1
00000298: PUSH2 0x02a1
0000029b: SWAP2
0000029c: SWAP1
0000029d: PUSH2 0x1c5d
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH2 0x0b6e
000002a5: JUMP
000002a6: JUMPDEST
000002a7: STOP
000002a8: JUMPDEST
000002a9: PUSH2 0x02c2
000002ac: PUSH1 0x04
000002ae: DUP1
000002af: CALLDATASIZE
000002b0: SUB
000002b1: DUP2
000002b2: ADD
000002b3: SWAP1
000002b4: PUSH2 0x02bd
000002b7: SWAP2
000002b8: SWAP1
000002b9: PUSH2 0x1b0b
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x0baa
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: PUSH2 0x02cf
000002c9: SWAP2
000002ca: SWAP1
000002cb: PUSH2 0x243d
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: DUP1
000002d4: SWAP2
000002d5: SUB
000002d6: SWAP1
000002d7: RETURN
000002d8: JUMPDEST
000002d9: PUSH2 0x02e0
000002dc: PUSH2 0x0bf3
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: PUSH2 0x02ed
000002e7: SWAP2
000002e8: SWAP1
000002e9: PUSH2 0x2225
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: DUP1
000002f2: SWAP2
000002f3: SUB
000002f4: SWAP1
000002f5: RETURN
000002f6: JUMPDEST
000002f7: PUSH2 0x0310
000002fa: PUSH1 0x04
000002fc: DUP1
000002fd: CALLDATASIZE
000002fe: SUB
000002ff: DUP2
00000300: ADD
00000301: SWAP1
00000302: PUSH2 0x030b
00000305: SWAP2
00000306: SWAP1
00000307: PUSH2 0x1c5d
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH2 0x0c95
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x40
00000313: MLOAD
00000314: PUSH2 0x031d
00000317: SWAP2
00000318: SWAP1
00000319: PUSH2 0x2149
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: DUP1
00000322: SWAP2
00000323: SUB
00000324: SWAP1
00000325: RETURN
00000326: JUMPDEST
00000327: PUSH2 0x0340
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: CALLDATASIZE
0000032e: SUB
0000032f: DUP2
00000330: ADD
00000331: SWAP1
00000332: PUSH2 0x033b
00000335: SWAP2
00000336: SWAP1
00000337: PUSH2 0x1bbf
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH2 0x0f3c
0000033f: JUMP
00000340: JUMPDEST
00000341: STOP
00000342: JUMPDEST
00000343: PUSH2 0x035c
00000346: PUSH1 0x04
00000348: DUP1
00000349: CALLDATASIZE
0000034a: SUB
0000034b: DUP2
0000034c: ADD
0000034d: SWAP1
0000034e: PUSH2 0x0357
00000351: SWAP2
00000352: SWAP1
00000353: PUSH2 0x1b34
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x0f60
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH1 0x40
0000035f: MLOAD
00000360: PUSH2 0x0369
00000363: SWAP2
00000364: SWAP1
00000365: PUSH2 0x243d
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: MLOAD
0000036d: DUP1
0000036e: SWAP2
0000036f: SUB
00000370: SWAP1
00000371: RETURN
00000372: JUMPDEST
00000373: PUSH1 0x08
00000375: PUSH1 0x00
00000377: SWAP1
00000378: SLOAD
00000379: SWAP1
0000037a: PUSH2 0x0100
0000037d: EXP
0000037e: SWAP1
0000037f: DIV
00000380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000395: AND
00000396: DUP2
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH1 0x60
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: SLOAD
0000039f: PUSH1 0x01
000003a1: DUP2
000003a2: PUSH1 0x01
000003a4: AND
000003a5: ISZERO
000003a6: PUSH2 0x0100
000003a9: MUL
000003aa: SUB
000003ab: AND
000003ac: PUSH1 0x02
000003ae: SWAP1
000003af: DIV
000003b0: DUP1
000003b1: PUSH1 0x1f
000003b3: ADD
000003b4: PUSH1 0x20
000003b6: DUP1
000003b7: SWAP2
000003b8: DIV
000003b9: MUL
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: SWAP1
000003c1: DUP2
000003c2: ADD
000003c3: PUSH1 0x40
000003c5: MSTORE
000003c6: DUP1
000003c7: SWAP3
000003c8: SWAP2
000003c9: SWAP1
000003ca: DUP2
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: DUP3
000003d1: DUP1
000003d2: SLOAD
000003d3: PUSH1 0x01
000003d5: DUP2
000003d6: PUSH1 0x01
000003d8: AND
000003d9: ISZERO
000003da: PUSH2 0x0100
000003dd: MUL
000003de: SUB
000003df: AND
000003e0: PUSH1 0x02
000003e2: SWAP1
000003e3: DIV
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x0430
000003e9: JUMPI
000003ea: DUP1
000003eb: PUSH1 0x1f
000003ed: LT
000003ee: PUSH2 0x0405
000003f1: JUMPI
000003f2: PUSH2 0x0100
000003f5: DUP1
000003f6: DUP4
000003f7: SLOAD
000003f8: DIV
000003f9: MUL
000003fa: DUP4
000003fb: MSTORE
000003fc: SWAP2
000003fd: PUSH1 0x20
000003ff: ADD
00000400: SWAP2
00000401: PUSH2 0x0430
00000404: JUMP
00000405: JUMPDEST
00000406: DUP3
00000407: ADD
00000408: SWAP2
00000409: SWAP1
0000040a: PUSH1 0x00
0000040c: MSTORE
0000040d: PUSH1 0x20
0000040f: PUSH1 0x00
00000411: KECCAK256
00000412: SWAP1
00000413: JUMPDEST
00000414: DUP2
00000415: SLOAD
00000416: DUP2
00000417: MSTORE
00000418: SWAP1
00000419: PUSH1 0x01
0000041b: ADD
0000041c: SWAP1
0000041d: PUSH1 0x20
0000041f: ADD
00000420: DUP1
00000421: DUP4
00000422: GT
00000423: PUSH2 0x0413
00000426: JUMPI
00000427: DUP3
00000428: SWAP1
00000429: SUB
0000042a: PUSH1 0x1f
0000042c: AND
0000042d: DUP3
0000042e: ADD
0000042f: SWAP2
00000430: JUMPDEST
00000431: POP
00000432: POP
00000433: POP
00000434: POP
00000435: POP
00000436: SWAP1
00000437: POP
00000438: SWAP1
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x00
0000043d: PUSH2 0x0447
00000440: CALLER
00000441: DUP5
00000442: DUP5
00000443: PUSH2 0x0fe7
00000446: JUMP
00000447: JUMPDEST
00000448: SWAP1
00000449: POP
0000044a: SWAP3
0000044b: SWAP2
0000044c: POP
0000044d: POP
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH1 0x00
00000452: PUSH1 0x02
00000454: SLOAD
00000455: SWAP1
00000456: POP
00000457: SWAP1
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x07
0000045c: PUSH1 0x20
0000045e: MSTORE
0000045f: DUP1
00000460: PUSH1 0x00
00000462: MSTORE
00000463: PUSH1 0x40
00000465: PUSH1 0x00
00000467: KECCAK256
00000468: PUSH1 0x00
0000046a: SWAP2
0000046b: POP
0000046c: SWAP1
0000046d: POP
0000046e: SLOAD
0000046f: DUP2
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x049e
00000475: PUSH1 0x08
00000477: PUSH1 0x00
00000479: SWAP1
0000047a: SLOAD
0000047b: SWAP1
0000047c: PUSH2 0x0100
0000047f: EXP
00000480: SWAP1
00000481: DIV
00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000497: AND
00000498: DUP4
00000499: DUP4
0000049a: PUSH2 0x10fe
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x04a8
000004a2: CALLER
000004a3: DUP3
000004a4: PUSH2 0x1235
000004a7: JUMP
000004a8: JUMPDEST
000004a9: POP
000004aa: POP
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH1 0x00
000004af: PUSH2 0x04d2
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: PUSH1 0x60
000004b8: ADD
000004b9: PUSH1 0x40
000004bb: MSTORE
000004bc: DUP1
000004bd: PUSH1 0x28
000004bf: DUP2
000004c0: MSTORE
000004c1: PUSH1 0x20
000004c3: ADD
000004c4: PUSH2 0x25d1
000004c7: PUSH1 0x28
000004c9: SWAP2
000004ca: CODECOPY
000004cb: DUP6
000004cc: DUP6
000004cd: DUP6
000004ce: PUSH2 0x13ff
000004d1: JUMP
000004d2: JUMPDEST
000004d3: DUP2
000004d4: PUSH1 0x04
000004d6: PUSH1 0x00
000004d8: DUP7
000004d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ee: AND
000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000504: AND
00000505: DUP2
00000506: MSTORE
00000507: PUSH1 0x20
00000509: ADD
0000050a: SWAP1
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x20
0000050f: ADD
00000510: PUSH1 0x00
00000512: KECCAK256
00000513: SLOAD
00000514: LT
00000515: ISZERO
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x059d
0000051b: JUMPI
0000051c: POP
0000051d: DUP2
0000051e: PUSH1 0x05
00000520: PUSH1 0x00
00000522: DUP7
00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000538: AND
00000539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054e: AND
0000054f: DUP2
00000550: MSTORE
00000551: PUSH1 0x20
00000553: ADD
00000554: SWAP1
00000555: DUP2
00000556: MSTORE
00000557: PUSH1 0x20
00000559: ADD
0000055a: PUSH1 0x00
0000055c: KECCAK256
0000055d: PUSH1 0x00
0000055f: CALLER
00000560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000575: AND
00000576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058b: AND
0000058c: DUP2
0000058d: MSTORE
0000058e: PUSH1 0x20
00000590: ADD
00000591: SWAP1
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x20
00000596: ADD
00000597: PUSH1 0x00
00000599: KECCAK256
0000059a: SLOAD
0000059b: LT
0000059c: ISZERO
0000059d: JUMPDEST
0000059e: ISZERO
0000059f: PUSH2 0x0849
000005a2: JUMPI
000005a3: PUSH2 0x05f4
000005a6: DUP3
000005a7: PUSH1 0x04
000005a9: PUSH1 0x00
000005ab: DUP7
000005ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c1: AND
000005c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d7: AND
000005d8: DUP2
000005d9: MSTORE
000005da: PUSH1 0x20
000005dc: ADD
000005dd: SWAP1
000005de: DUP2
000005df: MSTORE
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: PUSH1 0x00
000005e5: KECCAK256
000005e6: SLOAD
000005e7: PUSH2 0x14a1
000005ea: SWAP1
000005eb: SWAP2
000005ec: SWAP1
000005ed: PUSH4 0xffffffff
000005f2: AND
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x04
000005f7: PUSH1 0x00
000005f9: DUP6
000005fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060f: AND
00000610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000625: AND
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x20
0000062a: ADD
0000062b: SWAP1
0000062c: DUP2
0000062d: MSTORE
0000062e: PUSH1 0x20
00000630: ADD
00000631: PUSH1 0x00
00000633: KECCAK256
00000634: DUP2
00000635: SWAP1
00000636: SSTORE
00000637: POP
00000638: PUSH2 0x0689
0000063b: DUP3
0000063c: PUSH1 0x04
0000063e: PUSH1 0x00
00000640: DUP8
00000641: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000656: AND
00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066c: AND
0000066d: DUP2
0000066e: MSTORE
0000066f: PUSH1 0x20
00000671: ADD
00000672: SWAP1
00000673: DUP2
00000674: MSTORE
00000675: PUSH1 0x20
00000677: ADD
00000678: PUSH1 0x00
0000067a: KECCAK256
0000067b: SLOAD
0000067c: PUSH2 0x14f6
0000067f: SWAP1
00000680: SWAP2
00000681: SWAP1
00000682: PUSH4 0xffffffff
00000687: AND
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x04
0000068c: PUSH1 0x00
0000068e: DUP7
0000068f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a4: AND
000006a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ba: AND
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: ADD
000006c0: SWAP1
000006c1: DUP2
000006c2: MSTORE
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: PUSH1 0x00
000006c8: KECCAK256
000006c9: DUP2
000006ca: SWAP1
000006cb: SSTORE
000006cc: POP
000006cd: PUSH2 0x075b
000006d0: DUP3
000006d1: PUSH1 0x05
000006d3: PUSH1 0x00
000006d5: DUP8
000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006eb: AND
000006ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000701: AND
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP1
00000708: DUP2
00000709: MSTORE
0000070a: PUSH1 0x20
0000070c: ADD
0000070d: PUSH1 0x00
0000070f: KECCAK256
00000710: PUSH1 0x00
00000712: CALLER
00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000728: AND
00000729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073e: AND
0000073f: DUP2
00000740: MSTORE
00000741: PUSH1 0x20
00000743: ADD
00000744: SWAP1
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x20
00000749: ADD
0000074a: PUSH1 0x00
0000074c: KECCAK256
0000074d: SLOAD
0000074e: PUSH2 0x14f6
00000751: SWAP1
00000752: SWAP2
00000753: SWAP1
00000754: PUSH4 0xffffffff
00000759: AND
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x05
0000075e: PUSH1 0x00
00000760: DUP7
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: AND
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: AND
0000078d: DUP2
0000078e: MSTORE
0000078f: PUSH1 0x20
00000791: ADD
00000792: SWAP1
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x20
00000797: ADD
00000798: PUSH1 0x00
0000079a: KECCAK256
0000079b: PUSH1 0x00
0000079d: CALLER
0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b3: AND
000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c9: AND
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: SWAP1
000007d0: DUP2
000007d1: MSTORE
000007d2: PUSH1 0x20
000007d4: ADD
000007d5: PUSH1 0x00
000007d7: KECCAK256
000007d8: DUP2
000007d9: SWAP1
000007da: SSTORE
000007db: POP
000007dc: DUP3
000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f2: AND
000007f3: DUP5
000007f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000809: AND
0000080a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000082b: DUP5
0000082c: PUSH1 0x40
0000082e: MLOAD
0000082f: PUSH2 0x0838
00000832: SWAP2
00000833: SWAP1
00000834: PUSH2 0x243d
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: DUP1
0000083d: SWAP2
0000083e: SUB
0000083f: SWAP1
00000840: LOG3
00000841: PUSH1 0x01
00000843: SWAP1
00000844: POP
00000845: PUSH2 0x084e
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH1 0x00
0000084c: SWAP1
0000084d: POP
0000084e: JUMPDEST
0000084f: SWAP4
00000850: SWAP3
00000851: POP
00000852: POP
00000853: POP
00000854: JUMP
00000855: JUMPDEST
00000856: PUSH1 0x00
00000858: DUP5
00000859: EQ
0000085a: DUP1
0000085b: PUSH2 0x0864
0000085e: JUMPI
0000085f: POP
00000860: TIMESTAMP
00000861: DUP5
00000862: LT
00000863: ISZERO
00000864: JUMPDEST
00000865: PUSH2 0x08a3
00000868: JUMPI
00000869: PUSH1 0x40
0000086b: MLOAD
0000086c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x04
00000891: ADD
00000892: PUSH2 0x089a
00000895: SWAP1
00000896: PUSH2 0x23dd
00000899: JUMP
0000089a: JUMPDEST
0000089b: PUSH1 0x40
0000089d: MLOAD
0000089e: DUP1
0000089f: SWAP2
000008a0: SUB
000008a1: SWAP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: PUSH1 0x00
000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bb: AND
000008bc: DUP7
000008bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d2: AND
000008d3: EQ
000008d4: ISZERO
000008d5: PUSH2 0x0913
000008d8: JUMPI
000008d9: PUSH1 0x40
000008db: MLOAD
000008dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008fd: DUP2
000008fe: MSTORE
000008ff: PUSH1 0x04
00000901: ADD
00000902: PUSH2 0x090a
00000905: SWAP1
00000906: PUSH2 0x239d
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x40
0000090d: MLOAD
0000090e: DUP1
0000090f: SWAP2
00000910: SUB
00000911: SWAP1
00000912: REVERT
00000913: JUMPDEST
00000914: PUSH1 0x00
00000916: DUP6
00000917: GT
00000918: PUSH2 0x0956
0000091b: JUMPI
0000091c: PUSH1 0x40
0000091e: MLOAD
0000091f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000940: DUP2
00000941: MSTORE
00000942: PUSH1 0x04
00000944: ADD
00000945: PUSH2 0x094d
00000948: SWAP1
00000949: PUSH2 0x23fd
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x40
00000950: MLOAD
00000951: DUP1
00000952: SWAP2
00000953: SUB
00000954: SWAP1
00000955: REVERT
00000956: JUMPDEST
00000957: PUSH1 0x00
00000959: PUSH1 0x06
0000095b: SLOAD
0000095c: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000097d: PUSH1 0x00
0000097f: SHL
00000980: DUP10
00000981: DUP10
00000982: DUP10
00000983: PUSH1 0x07
00000985: PUSH1 0x00
00000987: DUP15
00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099d: AND
0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b3: AND
000009b4: DUP2
000009b5: MSTORE
000009b6: PUSH1 0x20
000009b8: ADD
000009b9: SWAP1
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x20
000009be: ADD
000009bf: PUSH1 0x00
000009c1: KECCAK256
000009c2: PUSH1 0x00
000009c4: DUP2
000009c5: SLOAD
000009c6: DUP1
000009c7: SWAP3
000009c8: SWAP2
000009c9: SWAP1
000009ca: PUSH1 0x01
000009cc: ADD
000009cd: SWAP2
000009ce: SWAP1
000009cf: POP
000009d0: SSTORE
000009d1: DUP11
000009d2: PUSH1 0x40
000009d4: MLOAD
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: PUSH2 0x09e6
000009db: SWAP7
000009dc: SWAP6
000009dd: SWAP5
000009de: SWAP4
000009df: SWAP3
000009e0: SWAP2
000009e1: SWAP1
000009e2: PUSH2 0x217f
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x40
000009e9: MLOAD
000009ea: PUSH1 0x20
000009ec: DUP2
000009ed: DUP4
000009ee: SUB
000009ef: SUB
000009f0: DUP2
000009f1: MSTORE
000009f2: SWAP1
000009f3: PUSH1 0x40
000009f5: MSTORE
000009f6: DUP1
000009f7: MLOAD
000009f8: SWAP1
000009f9: PUSH1 0x20
000009fb: ADD
000009fc: KECCAK256
000009fd: PUSH1 0x40
000009ff: MLOAD
00000a00: PUSH1 0x20
00000a02: ADD
00000a03: PUSH2 0x0a0d
00000a06: SWAP3
00000a07: SWAP2
00000a08: SWAP1
00000a09: PUSH2 0x2097
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH1 0x40
00000a10: MLOAD
00000a11: PUSH1 0x20
00000a13: DUP2
00000a14: DUP4
00000a15: SUB
00000a16: SUB
00000a17: DUP2
00000a18: MSTORE
00000a19: SWAP1
00000a1a: PUSH1 0x40
00000a1c: MSTORE
00000a1d: DUP1
00000a1e: MLOAD
00000a1f: SWAP1
00000a20: PUSH1 0x20
00000a22: ADD
00000a23: KECCAK256
00000a24: SWAP1
00000a25: POP
00000a26: PUSH1 0x00
00000a28: PUSH1 0x01
00000a2a: DUP3
00000a2b: DUP7
00000a2c: DUP7
00000a2d: DUP7
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: PUSH1 0x00
00000a33: DUP2
00000a34: MSTORE
00000a35: PUSH1 0x20
00000a37: ADD
00000a38: PUSH1 0x40
00000a3a: MSTORE
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: PUSH2 0x0a4a
00000a41: SWAP5
00000a42: SWAP4
00000a43: SWAP3
00000a44: SWAP2
00000a45: SWAP1
00000a46: PUSH2 0x21e0
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: PUSH1 0x20
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: PUSH1 0x20
00000a52: DUP2
00000a53: SUB
00000a54: SWAP1
00000a55: DUP1
00000a56: DUP5
00000a57: SUB
00000a58: SWAP1
00000a59: DUP6
00000a5a: GAS
00000a5b: STATICCALL
00000a5c: ISZERO
00000a5d: DUP1
00000a5e: ISZERO
00000a5f: PUSH2 0x0a6c
00000a62: JUMPI
00000a63: RETURNDATASIZE
00000a64: PUSH1 0x00
00000a66: DUP1
00000a67: RETURNDATACOPY
00000a68: RETURNDATASIZE
00000a69: PUSH1 0x00
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: POP
00000a6f: POP
00000a70: PUSH1 0x20
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: SUB
00000a76: MLOAD
00000a77: SWAP1
00000a78: POP
00000a79: PUSH1 0x00
00000a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a90: AND
00000a91: DUP2
00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa7: AND
00000aa8: EQ
00000aa9: ISZERO
00000aaa: DUP1
00000aab: ISZERO
00000aac: PUSH2 0x0ae0
00000aaf: JUMPI
00000ab0: POP
00000ab1: DUP1
00000ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac7: AND
00000ac8: DUP10
00000ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ade: AND
00000adf: EQ
00000ae0: JUMPDEST
00000ae1: PUSH2 0x0b1f
00000ae4: JUMPI
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x04
00000b0d: ADD
00000b0e: PUSH2 0x0b16
00000b11: SWAP1
00000b12: PUSH2 0x23bd
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH1 0x40
00000b19: MLOAD
00000b1a: DUP1
00000b1b: SWAP2
00000b1c: SUB
00000b1d: SWAP1
00000b1e: REVERT
00000b1f: JUMPDEST
00000b20: POP
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000b4c: PUSH1 0x00
00000b4e: SHL
00000b4f: DUP2
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x00
00000b54: PUSH1 0x03
00000b56: PUSH1 0x00
00000b58: SWAP1
00000b59: SLOAD
00000b5a: SWAP1
00000b5b: PUSH2 0x0100
00000b5e: EXP
00000b5f: SWAP1
00000b60: DIV
00000b61: PUSH1 0xff
00000b63: AND
00000b64: SWAP1
00000b65: POP
00000b66: SWAP1
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x06
00000b6b: SLOAD
00000b6c: DUP2
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: PUSH2 0x0b9c
00000b72: PUSH1 0x08
00000b74: PUSH1 0x00
00000b76: SWAP1
00000b77: SLOAD
00000b78: SWAP1
00000b79: PUSH2 0x0100
00000b7c: EXP
00000b7d: SWAP1
00000b7e: DIV
00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b94: AND
00000b95: CALLER
00000b96: ADDRESS
00000b97: DUP5
00000b98: PUSH2 0x1540
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH2 0x0ba6
00000ba0: DUP3
00000ba1: DUP3
00000ba2: PUSH2 0x167a
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: POP
00000ba8: POP
00000ba9: JUMP
00000baa: JUMPDEST
00000bab: PUSH1 0x00
00000bad: PUSH1 0x04
00000baf: PUSH1 0x00
00000bb1: DUP4
00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc7: AND
00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdd: AND
00000bde: DUP2
00000bdf: MSTORE
00000be0: PUSH1 0x20
00000be2: ADD
00000be3: SWAP1
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x20
00000be8: ADD
00000be9: PUSH1 0x00
00000beb: KECCAK256
00000bec: SLOAD
00000bed: SWAP1
00000bee: POP
00000bef: SWAP2
00000bf0: SWAP1
00000bf1: POP
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x60
00000bf6: PUSH1 0x01
00000bf8: DUP1
00000bf9: SLOAD
00000bfa: PUSH1 0x01
00000bfc: DUP2
00000bfd: PUSH1 0x01
00000bff: AND
00000c00: ISZERO
00000c01: PUSH2 0x0100
00000c04: MUL
00000c05: SUB
00000c06: AND
00000c07: PUSH1 0x02
00000c09: SWAP1
00000c0a: DIV
00000c0b: DUP1
00000c0c: PUSH1 0x1f
00000c0e: ADD
00000c0f: PUSH1 0x20
00000c11: DUP1
00000c12: SWAP2
00000c13: DIV
00000c14: MUL
00000c15: PUSH1 0x20
00000c17: ADD
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: SWAP1
00000c1c: DUP2
00000c1d: ADD
00000c1e: PUSH1 0x40
00000c20: MSTORE
00000c21: DUP1
00000c22: SWAP3
00000c23: SWAP2
00000c24: SWAP1
00000c25: DUP2
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: DUP3
00000c2c: DUP1
00000c2d: SLOAD
00000c2e: PUSH1 0x01
00000c30: DUP2
00000c31: PUSH1 0x01
00000c33: AND
00000c34: ISZERO
00000c35: PUSH2 0x0100
00000c38: MUL
00000c39: SUB
00000c3a: AND
00000c3b: PUSH1 0x02
00000c3d: SWAP1
00000c3e: DIV
00000c3f: DUP1
00000c40: ISZERO
00000c41: PUSH2 0x0c8b
00000c44: JUMPI
00000c45: DUP1
00000c46: PUSH1 0x1f
00000c48: LT
00000c49: PUSH2 0x0c60
00000c4c: JUMPI
00000c4d: PUSH2 0x0100
00000c50: DUP1
00000c51: DUP4
00000c52: SLOAD
00000c53: DIV
00000c54: MUL
00000c55: DUP4
00000c56: MSTORE
00000c57: SWAP2
00000c58: PUSH1 0x20
00000c5a: ADD
00000c5b: SWAP2
00000c5c: PUSH2 0x0c8b
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: DUP3
00000c62: ADD
00000c63: SWAP2
00000c64: SWAP1
00000c65: PUSH1 0x00
00000c67: MSTORE
00000c68: PUSH1 0x20
00000c6a: PUSH1 0x00
00000c6c: KECCAK256
00000c6d: SWAP1
00000c6e: JUMPDEST
00000c6f: DUP2
00000c70: SLOAD
00000c71: DUP2
00000c72: MSTORE
00000c73: SWAP1
00000c74: PUSH1 0x01
00000c76: ADD
00000c77: SWAP1
00000c78: PUSH1 0x20
00000c7a: ADD
00000c7b: DUP1
00000c7c: DUP4
00000c7d: GT
00000c7e: PUSH2 0x0c6e
00000c81: JUMPI
00000c82: DUP3
00000c83: SWAP1
00000c84: SUB
00000c85: PUSH1 0x1f
00000c87: AND
00000c88: DUP3
00000c89: ADD
00000c8a: SWAP2
00000c8b: JUMPDEST
00000c8c: POP
00000c8d: POP
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: SWAP1
00000c92: POP
00000c93: SWAP1
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH1 0x00
00000c98: PUSH2 0x0cd7
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: DUP1
00000c9f: PUSH1 0x40
00000ca1: ADD
00000ca2: PUSH1 0x40
00000ca4: MSTORE
00000ca5: DUP1
00000ca6: PUSH1 0x1b
00000ca8: DUP2
00000ca9: MSTORE
00000caa: PUSH1 0x20
00000cac: ADD
00000cad: PUSH32 0x7472616e7366657228746f3a2025732c2076616c75653a202573290000000000
00000cce: DUP2
00000ccf: MSTORE
00000cd0: POP
00000cd1: DUP5
00000cd2: DUP5
00000cd3: PUSH2 0x1844
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: DUP2
00000cd9: PUSH1 0x04
00000cdb: PUSH1 0x00
00000cdd: CALLER
00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf3: AND
00000cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d09: AND
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: ADD
00000d0f: SWAP1
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: ADD
00000d15: PUSH1 0x00
00000d17: KECCAK256
00000d18: SLOAD
00000d19: LT
00000d1a: PUSH2 0x0ef3
00000d1d: JUMPI
00000d1e: PUSH2 0x0d6f
00000d21: DUP3
00000d22: PUSH1 0x04
00000d24: PUSH1 0x00
00000d26: CALLER
00000d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3c: AND
00000d3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d52: AND
00000d53: DUP2
00000d54: MSTORE
00000d55: PUSH1 0x20
00000d57: ADD
00000d58: SWAP1
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x20
00000d5d: ADD
00000d5e: PUSH1 0x00
00000d60: KECCAK256
00000d61: SLOAD
00000d62: PUSH2 0x14f6
00000d65: SWAP1
00000d66: SWAP2
00000d67: SWAP1
00000d68: PUSH4 0xffffffff
00000d6d: AND
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH1 0x04
00000d72: PUSH1 0x00
00000d74: CALLER
00000d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8a: AND
00000d8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da0: AND
00000da1: DUP2
00000da2: MSTORE
00000da3: PUSH1 0x20
00000da5: ADD
00000da6: SWAP1
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: ADD
00000dac: PUSH1 0x00
00000dae: KECCAK256
00000daf: DUP2
00000db0: SWAP1
00000db1: SSTORE
00000db2: POP
00000db3: PUSH2 0x0e04
00000db6: DUP3
00000db7: PUSH1 0x04
00000db9: PUSH1 0x00
00000dbb: DUP7
00000dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd1: AND
00000dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de7: AND
00000de8: DUP2
00000de9: MSTORE
00000dea: PUSH1 0x20
00000dec: ADD
00000ded: SWAP1
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x20
00000df2: ADD
00000df3: PUSH1 0x00
00000df5: KECCAK256
00000df6: SLOAD
00000df7: PUSH2 0x14a1
00000dfa: SWAP1
00000dfb: SWAP2
00000dfc: SWAP1
00000dfd: PUSH4 0xffffffff
00000e02: AND
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x04
00000e07: PUSH1 0x00
00000e09: DUP6
00000e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1f: AND
00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e35: AND
00000e36: DUP2
00000e37: MSTORE
00000e38: PUSH1 0x20
00000e3a: ADD
00000e3b: SWAP1
00000e3c: DUP2
00000e3d: MSTORE
00000e3e: PUSH1 0x20
00000e40: ADD
00000e41: PUSH1 0x00
00000e43: KECCAK256
00000e44: DUP2
00000e45: SWAP1
00000e46: SSTORE
00000e47: POP
00000e48: DUP3
00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5e: AND
00000e5f: CALLER
00000e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e75: AND
00000e76: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000e97: DUP5
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH2 0x0ea4
00000e9e: SWAP2
00000e9f: SWAP1
00000ea0: PUSH2 0x243d
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: PUSH1 0x40
00000ea7: MLOAD
00000ea8: DUP1
00000ea9: SWAP2
00000eaa: SUB
00000eab: SWAP1
00000eac: LOG3
00000ead: PUSH2 0x0eea
00000eb0: PUSH1 0x40
00000eb2: MLOAD
00000eb3: DUP1
00000eb4: PUSH1 0x40
00000eb6: ADD
00000eb7: PUSH1 0x40
00000eb9: MSTORE
00000eba: DUP1
00000ebb: PUSH1 0x12
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: ADD
00000ec2: PUSH32 0x7472616e73666572207375636365656465640000000000000000000000000000
00000ee3: DUP2
00000ee4: MSTORE
00000ee5: POP
00000ee6: PUSH2 0x18e3
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH1 0x01
00000eed: SWAP1
00000eee: POP
00000eef: PUSH2 0x0f36
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: PUSH2 0x0f31
00000ef7: PUSH1 0x40
00000ef9: MLOAD
00000efa: DUP1
00000efb: PUSH1 0x40
00000efd: ADD
00000efe: PUSH1 0x40
00000f00: MSTORE
00000f01: DUP1
00000f02: PUSH1 0x0f
00000f04: DUP2
00000f05: MSTORE
00000f06: PUSH1 0x20
00000f08: ADD
00000f09: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000
00000f2a: DUP2
00000f2b: MSTORE
00000f2c: POP
00000f2d: PUSH2 0x18e3
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: SWAP1
00000f35: POP
00000f36: JUMPDEST
00000f37: SWAP3
00000f38: SWAP2
00000f39: POP
00000f3a: POP
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: PUSH2 0x0f4b
00000f40: DUP8
00000f41: DUP8
00000f42: DUP8
00000f43: DUP8
00000f44: DUP8
00000f45: DUP8
00000f46: DUP8
00000f47: PUSH2 0x0855
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH2 0x0f56
00000f4f: DUP8
00000f50: DUP8
00000f51: DUP8
00000f52: PUSH2 0x0fe7
00000f55: JUMP
00000f56: JUMPDEST
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: POP
00000f5c: POP
00000f5d: POP
00000f5e: POP
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x00
00000f63: PUSH1 0x05
00000f65: PUSH1 0x00
00000f67: DUP5
00000f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7d: AND
00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f93: AND
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: SWAP1
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x20
00000f9e: ADD
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: PUSH1 0x00
00000fa4: DUP4
00000fa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fba: AND
00000fbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd0: AND
00000fd1: DUP2
00000fd2: MSTORE
00000fd3: PUSH1 0x20
00000fd5: ADD
00000fd6: SWAP1
00000fd7: DUP2
00000fd8: MSTORE
00000fd9: PUSH1 0x20
00000fdb: ADD
00000fdc: PUSH1 0x00
00000fde: KECCAK256
00000fdf: SLOAD
00000fe0: SWAP1
00000fe1: POP
00000fe2: SWAP3
00000fe3: SWAP2
00000fe4: POP
00000fe5: POP
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: PUSH1 0x00
00000fea: PUSH2 0x100d
00000fed: PUSH1 0x40
00000fef: MLOAD
00000ff0: DUP1
00000ff1: PUSH1 0x60
00000ff3: ADD
00000ff4: PUSH1 0x40
00000ff6: MSTORE
00000ff7: DUP1
00000ff8: PUSH1 0x2a
00000ffa: DUP2
00000ffb: MSTORE
00000ffc: PUSH1 0x20
00000ffe: ADD
00000fff: PUSH2 0x25f9
00001002: PUSH1 0x2a
00001004: SWAP2
00001005: CODECOPY
00001006: DUP5
00001007: DUP5
00001008: DUP8
00001009: PUSH2 0x197c
0000100c: JUMP
0000100d: JUMPDEST
0000100e: DUP2
0000100f: PUSH1 0x05
00001011: PUSH1 0x00
00001013: DUP7
00001014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001029: AND
0000102a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103f: AND
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x20
00001044: ADD
00001045: SWAP1
00001046: DUP2
00001047: MSTORE
00001048: PUSH1 0x20
0000104a: ADD
0000104b: PUSH1 0x00
0000104d: KECCAK256
0000104e: PUSH1 0x00
00001050: DUP6
00001051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001066: AND
00001067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107c: AND
0000107d: DUP2
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: ADD
00001082: SWAP1
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x20
00001087: ADD
00001088: PUSH1 0x00
0000108a: KECCAK256
0000108b: DUP2
0000108c: SWAP1
0000108d: SSTORE
0000108e: POP
0000108f: DUP3
00001090: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a5: AND
000010a6: DUP5
000010a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010bc: AND
000010bd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000010de: DUP5
000010df: PUSH1 0x40
000010e1: MLOAD
000010e2: PUSH2 0x10eb
000010e5: SWAP2
000010e6: SWAP1
000010e7: PUSH2 0x243d
000010ea: JUMP
000010eb: JUMPDEST
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: DUP1
000010f0: SWAP2
000010f1: SUB
000010f2: SWAP1
000010f3: LOG3
000010f4: PUSH1 0x01
000010f6: SWAP1
000010f7: POP
000010f8: SWAP4
000010f9: SWAP3
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x00
00001101: PUSH1 0x60
00001103: DUP5
00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001119: AND
0000111a: PUSH4 0xa9059cbb
0000111f: DUP6
00001120: DUP6
00001121: PUSH1 0x40
00001123: MLOAD
00001124: PUSH1 0x24
00001126: ADD
00001127: PUSH2 0x1131
0000112a: SWAP3
0000112b: SWAP2
0000112c: SWAP1
0000112d: PUSH2 0x2120
00001130: JUMP
00001131: JUMPDEST
00001132: PUSH1 0x40
00001134: MLOAD
00001135: PUSH1 0x20
00001137: DUP2
00001138: DUP4
00001139: SUB
0000113a: SUB
0000113b: DUP2
0000113c: MSTORE
0000113d: SWAP1
0000113e: PUSH1 0x40
00001140: MSTORE
00001141: SWAP1
00001142: PUSH1 0xe0
00001144: SHL
00001145: PUSH1 0x20
00001147: DUP3
00001148: ADD
00001149: DUP1
0000114a: MLOAD
0000114b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001168: DUP4
00001169: DUP2
0000116a: DUP4
0000116b: AND
0000116c: OR
0000116d: DUP4
0000116e: MSTORE
0000116f: POP
00001170: POP
00001171: POP
00001172: POP
00001173: PUSH1 0x40
00001175: MLOAD
00001176: PUSH2 0x117f
00001179: SWAP2
0000117a: SWAP1
0000117b: PUSH2 0x2080
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH1 0x00
00001182: PUSH1 0x40
00001184: MLOAD
00001185: DUP1
00001186: DUP4
00001187: SUB
00001188: DUP2
00001189: PUSH1 0x00
0000118b: DUP7
0000118c: GAS
0000118d: CALL
0000118e: SWAP2
0000118f: POP
00001190: POP
00001191: RETURNDATASIZE
00001192: DUP1
00001193: PUSH1 0x00
00001195: DUP2
00001196: EQ
00001197: PUSH2 0x11bc
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: SWAP2
0000119f: POP
000011a0: PUSH1 0x1f
000011a2: NOT
000011a3: PUSH1 0x3f
000011a5: RETURNDATASIZE
000011a6: ADD
000011a7: AND
000011a8: DUP3
000011a9: ADD
000011aa: PUSH1 0x40
000011ac: MSTORE
000011ad: RETURNDATASIZE
000011ae: DUP3
000011af: MSTORE
000011b0: RETURNDATASIZE
000011b1: PUSH1 0x00
000011b3: PUSH1 0x20
000011b5: DUP5
000011b6: ADD
000011b7: RETURNDATACOPY
000011b8: PUSH2 0x11c1
000011bb: JUMP
000011bc: JUMPDEST
000011bd: PUSH1 0x60
000011bf: SWAP2
000011c0: POP
000011c1: JUMPDEST
000011c2: POP
000011c3: SWAP2
000011c4: POP
000011c5: SWAP2
000011c6: POP
000011c7: DUP2
000011c8: DUP1
000011c9: ISZERO
000011ca: PUSH2 0x11ef
000011cd: JUMPI
000011ce: POP
000011cf: PUSH1 0x00
000011d1: DUP2
000011d2: MLOAD
000011d3: EQ
000011d4: DUP1
000011d5: PUSH2 0x11ee
000011d8: JUMPI
000011d9: POP
000011da: DUP1
000011db: DUP1
000011dc: PUSH1 0x20
000011de: ADD
000011df: SWAP1
000011e0: MLOAD
000011e1: DUP2
000011e2: ADD
000011e3: SWAP1
000011e4: PUSH2 0x11ed
000011e7: SWAP2
000011e8: SWAP1
000011e9: PUSH2 0x1c99
000011ec: JUMP
000011ed: JUMPDEST
000011ee: JUMPDEST
000011ef: JUMPDEST
000011f0: PUSH2 0x122e
000011f3: JUMPI
000011f4: PUSH1 0x40
000011f6: MLOAD
000011f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001218: DUP2
00001219: MSTORE
0000121a: PUSH1 0x04
0000121c: ADD
0000121d: PUSH2 0x1225
00001220: SWAP1
00001221: PUSH2 0x231d
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH1 0x40
00001228: MLOAD
00001229: DUP1
0000122a: SWAP2
0000122b: SUB
0000122c: SWAP1
0000122d: REVERT
0000122e: JUMPDEST
0000122f: POP
00001230: POP
00001231: POP
00001232: POP
00001233: POP
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH2 0x1275
00001239: PUSH1 0x40
0000123b: MLOAD
0000123c: DUP1
0000123d: PUSH1 0x40
0000123f: ADD
00001240: PUSH1 0x40
00001242: MSTORE
00001243: DUP1
00001244: PUSH1 0x19
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: ADD
0000124b: PUSH32 0x6275726e2866726f6d3a2025732c2076616c75653a2025732900000000000000
0000126c: DUP2
0000126d: MSTORE
0000126e: POP
0000126f: DUP4
00001270: DUP4
00001271: PUSH2 0x1844
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x00
00001278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128d: AND
0000128e: DUP3
0000128f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a4: AND
000012a5: EQ
000012a6: ISZERO
000012a7: PUSH2 0x12e5
000012aa: JUMPI
000012ab: PUSH1 0x40
000012ad: MLOAD
000012ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012cf: DUP2
000012d0: MSTORE
000012d1: PUSH1 0x04
000012d3: ADD
000012d4: PUSH2 0x12dc
000012d7: SWAP1
000012d8: PUSH2 0x237d
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH1 0x40
000012df: MLOAD
000012e0: DUP1
000012e1: SWAP2
000012e2: SUB
000012e3: SWAP1
000012e4: REVERT
000012e5: JUMPDEST
000012e6: PUSH2 0x1337
000012e9: DUP2
000012ea: PUSH1 0x04
000012ec: PUSH1 0x00
000012ee: DUP6
000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001304: AND
00001305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131a: AND
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x20
0000131f: ADD
00001320: SWAP1
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x20
00001325: ADD
00001326: PUSH1 0x00
00001328: KECCAK256
00001329: SLOAD
0000132a: PUSH2 0x14f6
0000132d: SWAP1
0000132e: SWAP2
0000132f: SWAP1
00001330: PUSH4 0xffffffff
00001335: AND
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x04
0000133a: PUSH1 0x00
0000133c: DUP5
0000133d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001352: AND
00001353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001368: AND
00001369: DUP2
0000136a: MSTORE
0000136b: PUSH1 0x20
0000136d: ADD
0000136e: SWAP1
0000136f: DUP2
00001370: MSTORE
00001371: PUSH1 0x20
00001373: ADD
00001374: PUSH1 0x00
00001376: KECCAK256
00001377: DUP2
00001378: SWAP1
00001379: SSTORE
0000137a: POP
0000137b: PUSH2 0x138f
0000137e: DUP2
0000137f: PUSH1 0x02
00001381: SLOAD
00001382: PUSH2 0x14f6
00001385: SWAP1
00001386: SWAP2
00001387: SWAP1
00001388: PUSH4 0xffffffff
0000138d: AND
0000138e: JUMP
0000138f: JUMPDEST
00001390: PUSH1 0x02
00001392: DUP2
00001393: SWAP1
00001394: SSTORE
00001395: POP
00001396: PUSH1 0x00
00001398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ad: AND
000013ae: DUP3
000013af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c4: AND
000013c5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000013e6: DUP4
000013e7: PUSH1 0x40
000013e9: MLOAD
000013ea: PUSH2 0x13f3
000013ed: SWAP2
000013ee: SWAP1
000013ef: PUSH2 0x243d
000013f2: JUMP
000013f3: JUMPDEST
000013f4: PUSH1 0x40
000013f6: MLOAD
000013f7: DUP1
000013f8: SWAP2
000013f9: SUB
000013fa: SWAP1
000013fb: LOG3
000013fc: POP
000013fd: POP
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH2 0x149b
00001403: DUP5
00001404: DUP5
00001405: DUP5
00001406: DUP5
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: PUSH1 0x24
0000140c: ADD
0000140d: PUSH2 0x1419
00001410: SWAP5
00001411: SWAP4
00001412: SWAP3
00001413: SWAP2
00001414: SWAP1
00001415: PUSH2 0x2247
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: PUSH1 0x20
0000141f: DUP2
00001420: DUP4
00001421: SUB
00001422: SUB
00001423: DUP2
00001424: MSTORE
00001425: SWAP1
00001426: PUSH1 0x40
00001428: MSTORE
00001429: PUSH32 0x6eb7943d00000000000000000000000000000000000000000000000000000000
0000144a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001467: NOT
00001468: AND
00001469: PUSH1 0x20
0000146b: DUP3
0000146c: ADD
0000146d: DUP1
0000146e: MLOAD
0000146f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000148c: DUP4
0000148d: DUP2
0000148e: DUP4
0000148f: AND
00001490: OR
00001491: DUP4
00001492: MSTORE
00001493: POP
00001494: POP
00001495: POP
00001496: POP
00001497: PUSH2 0x1a1e
0000149a: JUMP
0000149b: JUMPDEST
0000149c: POP
0000149d: POP
0000149e: POP
0000149f: POP
000014a0: JUMP
000014a1: JUMPDEST
000014a2: PUSH1 0x00
000014a4: DUP1
000014a5: DUP3
000014a6: DUP5
000014a7: ADD
000014a8: SWAP1
000014a9: POP
000014aa: DUP4
000014ab: DUP2
000014ac: LT
000014ad: ISZERO
000014ae: PUSH2 0x14ec
000014b1: JUMPI
000014b2: PUSH1 0x40
000014b4: MLOAD
000014b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014d6: DUP2
000014d7: MSTORE
000014d8: PUSH1 0x04
000014da: ADD
000014db: PUSH2 0x14e3
000014de: SWAP1
000014df: PUSH2 0x235d
000014e2: JUMP
000014e3: JUMPDEST
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: DUP1
000014e8: SWAP2
000014e9: SUB
000014ea: SWAP1
000014eb: REVERT
000014ec: JUMPDEST
000014ed: DUP1
000014ee: SWAP2
000014ef: POP
000014f0: POP
000014f1: SWAP3
000014f2: SWAP2
000014f3: POP
000014f4: POP
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x00
000014f9: PUSH2 0x1538
000014fc: DUP4
000014fd: DUP4
000014fe: PUSH1 0x40
00001500: MLOAD
00001501: DUP1
00001502: PUSH1 0x40
00001504: ADD
00001505: PUSH1 0x40
00001507: MSTORE
00001508: DUP1
00001509: PUSH1 0x1e
0000150b: DUP2
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: ADD
00001510: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001531: DUP2
00001532: MSTORE
00001533: POP
00001534: PUSH2 0x1a47
00001537: JUMP
00001538: JUMPDEST
00001539: SWAP1
0000153a: POP
0000153b: SWAP3
0000153c: SWAP2
0000153d: POP
0000153e: POP
0000153f: JUMP
00001540: JUMPDEST
00001541: PUSH1 0x00
00001543: PUSH1 0x60
00001545: DUP6
00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155b: AND
0000155c: PUSH4 0x23b872dd
00001561: DUP7
00001562: DUP7
00001563: DUP7
00001564: PUSH1 0x40
00001566: MLOAD
00001567: PUSH1 0x24
00001569: ADD
0000156a: PUSH2 0x1575
0000156d: SWAP4
0000156e: SWAP3
0000156f: SWAP2
00001570: SWAP1
00001571: PUSH2 0x20e9
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x40
00001578: MLOAD
00001579: PUSH1 0x20
0000157b: DUP2
0000157c: DUP4
0000157d: SUB
0000157e: SUB
0000157f: DUP2
00001580: MSTORE
00001581: SWAP1
00001582: PUSH1 0x40
00001584: MSTORE
00001585: SWAP1
00001586: PUSH1 0xe0
00001588: SHL
00001589: PUSH1 0x20
0000158b: DUP3
0000158c: ADD
0000158d: DUP1
0000158e: MLOAD
0000158f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015ac: DUP4
000015ad: DUP2
000015ae: DUP4
000015af: AND
000015b0: OR
000015b1: DUP4
000015b2: MSTORE
000015b3: POP
000015b4: POP
000015b5: POP
000015b6: POP
000015b7: PUSH1 0x40
000015b9: MLOAD
000015ba: PUSH2 0x15c3
000015bd: SWAP2
000015be: SWAP1
000015bf: PUSH2 0x2080
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH1 0x00
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: DUP1
000015ca: DUP4
000015cb: SUB
000015cc: DUP2
000015cd: PUSH1 0x00
000015cf: DUP7
000015d0: GAS
000015d1: CALL
000015d2: SWAP2
000015d3: POP
000015d4: POP
000015d5: RETURNDATASIZE
000015d6: DUP1
000015d7: PUSH1 0x00
000015d9: DUP2
000015da: EQ
000015db: PUSH2 0x1600
000015de: JUMPI
000015df: PUSH1 0x40
000015e1: MLOAD
000015e2: SWAP2
000015e3: POP
000015e4: PUSH1 0x1f
000015e6: NOT
000015e7: PUSH1 0x3f
000015e9: RETURNDATASIZE
000015ea: ADD
000015eb: AND
000015ec: DUP3
000015ed: ADD
000015ee: PUSH1 0x40
000015f0: MSTORE
000015f1: RETURNDATASIZE
000015f2: DUP3
000015f3: MSTORE
000015f4: RETURNDATASIZE
000015f5: PUSH1 0x00
000015f7: PUSH1 0x20
000015f9: DUP5
000015fa: ADD
000015fb: RETURNDATACOPY
000015fc: PUSH2 0x1605
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH1 0x60
00001603: SWAP2
00001604: POP
00001605: JUMPDEST
00001606: POP
00001607: SWAP2
00001608: POP
00001609: SWAP2
0000160a: POP
0000160b: DUP2
0000160c: DUP1
0000160d: ISZERO
0000160e: PUSH2 0x1633
00001611: JUMPI
00001612: POP
00001613: PUSH1 0x00
00001615: DUP2
00001616: MLOAD
00001617: EQ
00001618: DUP1
00001619: PUSH2 0x1632
0000161c: JUMPI
0000161d: POP
0000161e: DUP1
0000161f: DUP1
00001620: PUSH1 0x20
00001622: ADD
00001623: SWAP1
00001624: MLOAD
00001625: DUP2
00001626: ADD
00001627: SWAP1
00001628: PUSH2 0x1631
0000162b: SWAP2
0000162c: SWAP1
0000162d: PUSH2 0x1c99
00001630: JUMP
00001631: JUMPDEST
00001632: JUMPDEST
00001633: JUMPDEST
00001634: PUSH2 0x1672
00001637: JUMPI
00001638: PUSH1 0x40
0000163a: MLOAD
0000163b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000165c: DUP2
0000165d: MSTORE
0000165e: PUSH1 0x04
00001660: ADD
00001661: PUSH2 0x1669
00001664: SWAP1
00001665: PUSH2 0x241d
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x40
0000166c: MLOAD
0000166d: DUP1
0000166e: SWAP2
0000166f: SUB
00001670: SWAP1
00001671: REVERT
00001672: JUMPDEST
00001673: POP
00001674: POP
00001675: POP
00001676: POP
00001677: POP
00001678: POP
00001679: JUMP
0000167a: JUMPDEST
0000167b: PUSH2 0x16ba
0000167e: PUSH1 0x40
00001680: MLOAD
00001681: DUP1
00001682: PUSH1 0x40
00001684: ADD
00001685: PUSH1 0x40
00001687: MSTORE
00001688: DUP1
00001689: PUSH1 0x17
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x20
0000168f: ADD
00001690: PUSH32 0x6d696e7428746f3a2025732c2076616c75653a20257329000000000000000000
000016b1: DUP2
000016b2: MSTORE
000016b3: POP
000016b4: DUP4
000016b5: DUP4
000016b6: PUSH2 0x1844
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x00
000016bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d2: AND
000016d3: DUP3
000016d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e9: AND
000016ea: EQ
000016eb: ISZERO
000016ec: PUSH2 0x172a
000016ef: JUMPI
000016f0: PUSH1 0x40
000016f2: MLOAD
000016f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001714: DUP2
00001715: MSTORE
00001716: PUSH1 0x04
00001718: ADD
00001719: PUSH2 0x1721
0000171c: SWAP1
0000171d: PUSH2 0x233d
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH1 0x40
00001724: MLOAD
00001725: DUP1
00001726: SWAP2
00001727: SUB
00001728: SWAP1
00001729: REVERT
0000172a: JUMPDEST
0000172b: PUSH2 0x177c
0000172e: DUP2
0000172f: PUSH1 0x04
00001731: PUSH1 0x00
00001733: DUP6
00001734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001749: AND
0000174a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175f: AND
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x20
00001764: ADD
00001765: SWAP1
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x20
0000176a: ADD
0000176b: PUSH1 0x00
0000176d: KECCAK256
0000176e: SLOAD
0000176f: PUSH2 0x14a1
00001772: SWAP1
00001773: SWAP2
00001774: SWAP1
00001775: PUSH4 0xffffffff
0000177a: AND
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x04
0000177f: PUSH1 0x00
00001781: DUP5
00001782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001797: AND
00001798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ad: AND
000017ae: DUP2
000017af: MSTORE
000017b0: PUSH1 0x20
000017b2: ADD
000017b3: SWAP1
000017b4: DUP2
000017b5: MSTORE
000017b6: PUSH1 0x20
000017b8: ADD
000017b9: PUSH1 0x00
000017bb: KECCAK256
000017bc: DUP2
000017bd: SWAP1
000017be: SSTORE
000017bf: POP
000017c0: PUSH2 0x17d4
000017c3: DUP2
000017c4: PUSH1 0x02
000017c6: SLOAD
000017c7: PUSH2 0x14a1
000017ca: SWAP1
000017cb: SWAP2
000017cc: SWAP1
000017cd: PUSH4 0xffffffff
000017d2: AND
000017d3: JUMP
000017d4: JUMPDEST
000017d5: PUSH1 0x02
000017d7: DUP2
000017d8: SWAP1
000017d9: SSTORE
000017da: POP
000017db: DUP2
000017dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f1: AND
000017f2: PUSH1 0x00
000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001809: AND
0000180a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000182b: DUP4
0000182c: PUSH1 0x40
0000182e: MLOAD
0000182f: PUSH2 0x1838
00001832: SWAP2
00001833: SWAP1
00001834: PUSH2 0x243d
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: DUP1
0000183d: SWAP2
0000183e: SUB
0000183f: SWAP1
00001840: LOG3
00001841: POP
00001842: POP
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH2 0x18de
00001848: DUP4
00001849: DUP4
0000184a: DUP4
0000184b: PUSH1 0x40
0000184d: MLOAD
0000184e: PUSH1 0x24
00001850: ADD
00001851: PUSH2 0x185c
00001854: SWAP4
00001855: SWAP3
00001856: SWAP2
00001857: SWAP1
00001858: PUSH2 0x2293
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH1 0x40
0000185f: MLOAD
00001860: PUSH1 0x20
00001862: DUP2
00001863: DUP4
00001864: SUB
00001865: SUB
00001866: DUP2
00001867: MSTORE
00001868: SWAP1
00001869: PUSH1 0x40
0000186b: MSTORE
0000186c: PUSH32 0x07c8121700000000000000000000000000000000000000000000000000000000
0000188d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018aa: NOT
000018ab: AND
000018ac: PUSH1 0x20
000018ae: DUP3
000018af: ADD
000018b0: DUP1
000018b1: MLOAD
000018b2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018cf: DUP4
000018d0: DUP2
000018d1: DUP4
000018d2: AND
000018d3: OR
000018d4: DUP4
000018d5: MSTORE
000018d6: POP
000018d7: POP
000018d8: POP
000018d9: POP
000018da: PUSH2 0x1a1e
000018dd: JUMP
000018de: JUMPDEST
000018df: POP
000018e0: POP
000018e1: POP
000018e2: JUMP
000018e3: JUMPDEST
000018e4: PUSH2 0x1979
000018e7: DUP2
000018e8: PUSH1 0x40
000018ea: MLOAD
000018eb: PUSH1 0x24
000018ed: ADD
000018ee: PUSH2 0x18f7
000018f1: SWAP2
000018f2: SWAP1
000018f3: PUSH2 0x2225
000018f6: JUMP
000018f7: JUMPDEST
000018f8: PUSH1 0x40
000018fa: MLOAD
000018fb: PUSH1 0x20
000018fd: DUP2
000018fe: DUP4
000018ff: SUB
00001900: SUB
00001901: DUP2
00001902: MSTORE
00001903: SWAP1
00001904: PUSH1 0x40
00001906: MSTORE
00001907: PUSH32 0x41304fac00000000000000000000000000000000000000000000000000000000
00001928: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001945: NOT
00001946: AND
00001947: PUSH1 0x20
00001949: DUP3
0000194a: ADD
0000194b: DUP1
0000194c: MLOAD
0000194d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000196a: DUP4
0000196b: DUP2
0000196c: DUP4
0000196d: AND
0000196e: OR
0000196f: DUP4
00001970: MSTORE
00001971: POP
00001972: POP
00001973: POP
00001974: POP
00001975: PUSH2 0x1a1e
00001978: JUMP
00001979: JUMPDEST
0000197a: POP
0000197b: JUMP
0000197c: JUMPDEST
0000197d: PUSH2 0x1a18
00001980: DUP5
00001981: DUP5
00001982: DUP5
00001983: DUP5
00001984: PUSH1 0x40
00001986: MLOAD
00001987: PUSH1 0x24
00001989: ADD
0000198a: PUSH2 0x1996
0000198d: SWAP5
0000198e: SWAP4
0000198f: SWAP3
00001990: SWAP2
00001991: SWAP1
00001992: PUSH2 0x22d1
00001995: JUMP
00001996: JUMPDEST
00001997: PUSH1 0x40
00001999: MLOAD
0000199a: PUSH1 0x20
0000199c: DUP2
0000199d: DUP4
0000199e: SUB
0000199f: SUB
000019a0: DUP2
000019a1: MSTORE
000019a2: SWAP1
000019a3: PUSH1 0x40
000019a5: MSTORE
000019a6: PUSH32 0xa366ec8000000000000000000000000000000000000000000000000000000000
000019c7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019e4: NOT
000019e5: AND
000019e6: PUSH1 0x20
000019e8: DUP3
000019e9: ADD
000019ea: DUP1
000019eb: MLOAD
000019ec: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a09: DUP4
00001a0a: DUP2
00001a0b: DUP4
00001a0c: AND
00001a0d: OR
00001a0e: DUP4
00001a0f: MSTORE
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: POP
00001a14: PUSH2 0x1a1e
00001a17: JUMP
00001a18: JUMPDEST
00001a19: POP
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH1 0x00
00001a21: DUP2
00001a22: MLOAD
00001a23: SWAP1
00001a24: POP
00001a25: PUSH1 0x00
00001a27: PUSH11 0x636f6e736f6c652e6c6f67
00001a33: SWAP1
00001a34: POP
00001a35: PUSH1 0x20
00001a37: DUP4
00001a38: ADD
00001a39: PUSH1 0x00
00001a3b: DUP1
00001a3c: DUP5
00001a3d: DUP4
00001a3e: DUP6
00001a3f: GAS
00001a40: STATICCALL
00001a41: POP
00001a42: POP
00001a43: POP
00001a44: POP
00001a45: POP
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH1 0x00
00001a4a: DUP4
00001a4b: DUP4
00001a4c: GT
00001a4d: ISZERO
00001a4e: DUP3
00001a4f: SWAP1
00001a50: PUSH2 0x1a8f
00001a53: JUMPI
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a78: DUP2
00001a79: MSTORE
00001a7a: PUSH1 0x04
00001a7c: ADD
00001a7d: PUSH2 0x1a86
00001a80: SWAP2
00001a81: SWAP1
00001a82: PUSH2 0x2225
00001a85: JUMP
00001a86: JUMPDEST
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: DUP1
00001a8b: SWAP2
00001a8c: SUB
00001a8d: SWAP1
00001a8e: REVERT
00001a8f: JUMPDEST
00001a90: POP
00001a91: PUSH1 0x00
00001a93: DUP4
00001a94: DUP6
00001a95: SUB
00001a96: SWAP1
00001a97: POP
00001a98: DUP1
00001a99: SWAP2
00001a9a: POP
00001a9b: POP
00001a9c: SWAP4
00001a9d: SWAP3
00001a9e: POP
00001a9f: POP
00001aa0: POP
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x00
00001aa5: DUP2
00001aa6: CALLDATALOAD
00001aa7: SWAP1
00001aa8: POP
00001aa9: PUSH2 0x1ab1
00001aac: DUP2
00001aad: PUSH2 0x255d
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: SWAP3
00001ab3: SWAP2
00001ab4: POP
00001ab5: POP
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: PUSH1 0x00
00001aba: DUP2
00001abb: MLOAD
00001abc: SWAP1
00001abd: POP
00001abe: PUSH2 0x1ac6
00001ac1: DUP2
00001ac2: PUSH2 0x2574
00001ac5: JUMP
00001ac6: JUMPDEST
00001ac7: SWAP3
00001ac8: SWAP2
00001ac9: POP
00001aca: POP
00001acb: JUMP
00001acc: JUMPDEST
00001acd: PUSH1 0x00
00001acf: DUP2
00001ad0: CALLDATALOAD
00001ad1: SWAP1
00001ad2: POP
00001ad3: PUSH2 0x1adb
00001ad6: DUP2
00001ad7: PUSH2 0x258b
00001ada: JUMP
00001adb: JUMPDEST
00001adc: SWAP3
00001add: SWAP2
00001ade: POP
00001adf: POP
00001ae0: JUMP
00001ae1: JUMPDEST
00001ae2: PUSH1 0x00
00001ae4: DUP2
00001ae5: CALLDATALOAD
00001ae6: SWAP1
00001ae7: POP
00001ae8: PUSH2 0x1af0
00001aeb: DUP2
00001aec: PUSH2 0x25a2
00001aef: JUMP
00001af0: JUMPDEST
00001af1: SWAP3
00001af2: SWAP2
00001af3: POP
00001af4: POP
00001af5: JUMP
00001af6: JUMPDEST
00001af7: PUSH1 0x00
00001af9: DUP2
00001afa: CALLDATALOAD
00001afb: SWAP1
00001afc: POP
00001afd: PUSH2 0x1b05
00001b00: DUP2
00001b01: PUSH2 0x25b9
00001b04: JUMP
00001b05: JUMPDEST
00001b06: SWAP3
00001b07: SWAP2
00001b08: POP
00001b09: POP
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: PUSH1 0x00
00001b0e: PUSH1 0x20
00001b10: DUP3
00001b11: DUP5
00001b12: SUB
00001b13: SLT
00001b14: ISZERO
00001b15: PUSH2 0x1b1d
00001b18: JUMPI
00001b19: PUSH1 0x00
00001b1b: DUP1
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: PUSH1 0x00
00001b20: PUSH2 0x1b2b
00001b23: DUP5
00001b24: DUP3
00001b25: DUP6
00001b26: ADD
00001b27: PUSH2 0x1aa2
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: SWAP2
00001b2d: POP
00001b2e: POP
00001b2f: SWAP3
00001b30: SWAP2
00001b31: POP
00001b32: POP
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x00
00001b37: DUP1
00001b38: PUSH1 0x40
00001b3a: DUP4
00001b3b: DUP6
00001b3c: SUB
00001b3d: SLT
00001b3e: ISZERO
00001b3f: PUSH2 0x1b47
00001b42: JUMPI
00001b43: PUSH1 0x00
00001b45: DUP1
00001b46: REVERT
00001b47: JUMPDEST
00001b48: PUSH1 0x00
00001b4a: PUSH2 0x1b55
00001b4d: DUP6
00001b4e: DUP3
00001b4f: DUP7
00001b50: ADD
00001b51: PUSH2 0x1aa2
00001b54: JUMP
00001b55: JUMPDEST
00001b56: SWAP3
00001b57: POP
00001b58: POP
00001b59: PUSH1 0x20
00001b5b: PUSH2 0x1b66
00001b5e: DUP6
00001b5f: DUP3
00001b60: DUP7
00001b61: ADD
00001b62: PUSH2 0x1aa2
00001b65: JUMP
00001b66: JUMPDEST
00001b67: SWAP2
00001b68: POP
00001b69: POP
00001b6a: SWAP3
00001b6b: POP
00001b6c: SWAP3
00001b6d: SWAP1
00001b6e: POP
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: PUSH1 0x00
00001b73: DUP1
00001b74: PUSH1 0x00
00001b76: PUSH1 0x60
00001b78: DUP5
00001b79: DUP7
00001b7a: SUB
00001b7b: SLT
00001b7c: ISZERO
00001b7d: PUSH2 0x1b85
00001b80: JUMPI
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: REVERT
00001b85: JUMPDEST
00001b86: PUSH1 0x00
00001b88: PUSH2 0x1b93
00001b8b: DUP7
00001b8c: DUP3
00001b8d: DUP8
00001b8e: ADD
00001b8f: PUSH2 0x1aa2
00001b92: JUMP
00001b93: JUMPDEST
00001b94: SWAP4
00001b95: POP
00001b96: POP
00001b97: PUSH1 0x20
00001b99: PUSH2 0x1ba4
00001b9c: DUP7
00001b9d: DUP3
00001b9e: DUP8
00001b9f: ADD
00001ba0: PUSH2 0x1aa2
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: SWAP3
00001ba6: POP
00001ba7: POP
00001ba8: PUSH1 0x40
00001baa: PUSH2 0x1bb5
00001bad: DUP7
00001bae: DUP3
00001baf: DUP8
00001bb0: ADD
00001bb1: PUSH2 0x1ae1
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: SWAP2
00001bb7: POP
00001bb8: POP
00001bb9: SWAP3
00001bba: POP
00001bbb: SWAP3
00001bbc: POP
00001bbd: SWAP3
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x00
00001bc2: DUP1
00001bc3: PUSH1 0x00
00001bc5: DUP1
00001bc6: PUSH1 0x00
00001bc8: DUP1
00001bc9: PUSH1 0x00
00001bcb: PUSH1 0xe0
00001bcd: DUP9
00001bce: DUP11
00001bcf: SUB
00001bd0: SLT
00001bd1: ISZERO
00001bd2: PUSH2 0x1bda
00001bd5: JUMPI
00001bd6: PUSH1 0x00
00001bd8: DUP1
00001bd9: REVERT
00001bda: JUMPDEST
00001bdb: PUSH1 0x00
00001bdd: PUSH2 0x1be8
00001be0: DUP11
00001be1: DUP3
00001be2: DUP12
00001be3: ADD
00001be4: PUSH2 0x1aa2
00001be7: JUMP
00001be8: JUMPDEST
00001be9: SWAP8
00001bea: POP
00001beb: POP
00001bec: PUSH1 0x20
00001bee: PUSH2 0x1bf9
00001bf1: DUP11
00001bf2: DUP3
00001bf3: DUP12
00001bf4: ADD
00001bf5: PUSH2 0x1aa2
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: SWAP7
00001bfb: POP
00001bfc: POP
00001bfd: PUSH1 0x40
00001bff: PUSH2 0x1c0a
00001c02: DUP11
00001c03: DUP3
00001c04: DUP12
00001c05: ADD
00001c06: PUSH2 0x1ae1
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: SWAP6
00001c0c: POP
00001c0d: POP
00001c0e: PUSH1 0x60
00001c10: PUSH2 0x1c1b
00001c13: DUP11
00001c14: DUP3
00001c15: DUP12
00001c16: ADD
00001c17: PUSH2 0x1ae1
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: SWAP5
00001c1d: POP
00001c1e: POP
00001c1f: PUSH1 0x80
00001c21: PUSH2 0x1c2c
00001c24: DUP11
00001c25: DUP3
00001c26: DUP12
00001c27: ADD
00001c28: PUSH2 0x1af6
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: SWAP4
00001c2e: POP
00001c2f: POP
00001c30: PUSH1 0xa0
00001c32: PUSH2 0x1c3d
00001c35: DUP11
00001c36: DUP3
00001c37: DUP12
00001c38: ADD
00001c39: PUSH2 0x1acc
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: SWAP3
00001c3f: POP
00001c40: POP
00001c41: PUSH1 0xc0
00001c43: PUSH2 0x1c4e
00001c46: DUP11
00001c47: DUP3
00001c48: DUP12
00001c49: ADD
00001c4a: PUSH2 0x1acc
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: SWAP2
00001c50: POP
00001c51: POP
00001c52: SWAP3
00001c53: SWAP6
00001c54: SWAP9
00001c55: SWAP2
00001c56: SWAP5
00001c57: SWAP8
00001c58: POP
00001c59: SWAP3
00001c5a: SWAP6
00001c5b: POP
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH1 0x00
00001c60: DUP1
00001c61: PUSH1 0x40
00001c63: DUP4
00001c64: DUP6
00001c65: SUB
00001c66: SLT
00001c67: ISZERO
00001c68: PUSH2 0x1c70
00001c6b: JUMPI
00001c6c: PUSH1 0x00
00001c6e: DUP1
00001c6f: REVERT
00001c70: JUMPDEST
00001c71: PUSH1 0x00
00001c73: PUSH2 0x1c7e
00001c76: DUP6
00001c77: DUP3
00001c78: DUP7
00001c79: ADD
00001c7a: PUSH2 0x1aa2
00001c7d: JUMP
00001c7e: JUMPDEST
00001c7f: SWAP3
00001c80: POP
00001c81: POP
00001c82: PUSH1 0x20
00001c84: PUSH2 0x1c8f
00001c87: DUP6
00001c88: DUP3
00001c89: DUP7
00001c8a: ADD
00001c8b: PUSH2 0x1ae1
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: SWAP2
00001c91: POP
00001c92: POP
00001c93: SWAP3
00001c94: POP
00001c95: SWAP3
00001c96: SWAP1
00001c97: POP
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x00
00001c9c: PUSH1 0x20
00001c9e: DUP3
00001c9f: DUP5
00001ca0: SUB
00001ca1: SLT
00001ca2: ISZERO
00001ca3: PUSH2 0x1cab
00001ca6: JUMPI
00001ca7: PUSH1 0x00
00001ca9: DUP1
00001caa: REVERT
00001cab: JUMPDEST
00001cac: PUSH1 0x00
00001cae: PUSH2 0x1cb9
00001cb1: DUP5
00001cb2: DUP3
00001cb3: DUP6
00001cb4: ADD
00001cb5: PUSH2 0x1ab7
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: SWAP2
00001cbb: POP
00001cbc: POP
00001cbd: SWAP3
00001cbe: SWAP2
00001cbf: POP
00001cc0: POP
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: PUSH2 0x1ccb
00001cc6: DUP2
00001cc7: PUSH2 0x24b0
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: DUP3
00001ccd: MSTORE
00001cce: POP
00001ccf: POP
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH2 0x1cda
00001cd5: DUP2
00001cd6: PUSH2 0x24c2
00001cd9: JUMP
00001cda: JUMPDEST
00001cdb: DUP3
00001cdc: MSTORE
00001cdd: POP
00001cde: POP
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: PUSH2 0x1ce9
00001ce4: DUP2
00001ce5: PUSH2 0x24ce
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: DUP3
00001ceb: MSTORE
00001cec: POP
00001ced: POP
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: PUSH2 0x1d00
00001cf3: PUSH2 0x1cfb
00001cf6: DUP3
00001cf7: PUSH2 0x24ce
00001cfa: JUMP
00001cfb: JUMPDEST
00001cfc: PUSH2 0x2542
00001cff: JUMP
00001d00: JUMPDEST
00001d01: DUP3
00001d02: MSTORE
00001d03: POP
00001d04: POP
00001d05: JUMP
00001d06: JUMPDEST
00001d07: PUSH1 0x00
00001d09: PUSH2 0x1d11
00001d0c: DUP3
00001d0d: PUSH2 0x2473
00001d10: JUMP
00001d11: JUMPDEST
00001d12: PUSH2 0x1d1b
00001d15: DUP2
00001d16: DUP6
00001d17: PUSH2 0x2489
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: SWAP4
00001d1d: POP
00001d1e: PUSH2 0x1d2b
00001d21: DUP2
00001d22: DUP6
00001d23: PUSH1 0x20
00001d25: DUP7
00001d26: ADD
00001d27: PUSH2 0x250f
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: DUP1
00001d2d: DUP5
00001d2e: ADD
00001d2f: SWAP2
00001d30: POP
00001d31: POP
00001d32: SWAP3
00001d33: SWAP2
00001d34: POP
00001d35: POP
00001d36: JUMP
00001d37: JUMPDEST
00001d38: PUSH1 0x00
00001d3a: PUSH2 0x1d42
00001d3d: DUP3
00001d3e: PUSH2 0x247e
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH2 0x1d4c
00001d46: DUP2
00001d47: DUP6
00001d48: PUSH2 0x2494
00001d4b: JUMP
00001d4c: JUMPDEST
00001d4d: SWAP4
00001d4e: POP
00001d4f: PUSH2 0x1d5c
00001d52: DUP2
00001d53: DUP6
00001d54: PUSH1 0x20
00001d56: DUP7
00001d57: ADD
00001d58: PUSH2 0x250f
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH2 0x1d65
00001d60: DUP2
00001d61: PUSH2 0x254c
00001d64: JUMP
00001d65: JUMPDEST
00001d66: DUP5
00001d67: ADD
00001d68: SWAP2
00001d69: POP
00001d6a: POP
00001d6b: SWAP3
00001d6c: SWAP2
00001d6d: POP
00001d6e: POP
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH1 0x00
00001d73: PUSH2 0x1d7d
00001d76: PUSH1 0x1f
00001d78: DUP4
00001d79: PUSH2 0x2494
00001d7c: JUMP
00001d7d: JUMPDEST
00001d7e: SWAP2
00001d7f: POP
00001d80: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f4641494c454400
00001da1: PUSH1 0x00
00001da3: DUP4
00001da4: ADD
00001da5: MSTORE
00001da6: PUSH1 0x20
00001da8: DUP3
00001da9: ADD
00001daa: SWAP1
00001dab: POP
00001dac: SWAP2
00001dad: SWAP1
00001dae: POP
00001daf: JUMP
00001db0: JUMPDEST
00001db1: PUSH1 0x00
00001db3: PUSH2 0x1dbd
00001db6: PUSH1 0x1b
00001db8: DUP4
00001db9: PUSH2 0x2494
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: SWAP2
00001dbf: POP
00001dc0: PUSH32 0x43616e6e6f74206d696e7420746f207a65726f20616464726573730000000000
00001de1: PUSH1 0x00
00001de3: DUP4
00001de4: ADD
00001de5: MSTORE
00001de6: PUSH1 0x20
00001de8: DUP3
00001de9: ADD
00001dea: SWAP1
00001deb: POP
00001dec: SWAP2
00001ded: SWAP1
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x00
00001df3: PUSH2 0x1dfd
00001df6: PUSH1 0x02
00001df8: DUP4
00001df9: PUSH2 0x24a5
00001dfc: JUMP
00001dfd: JUMPDEST
00001dfe: SWAP2
00001dff: POP
00001e00: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001e21: PUSH1 0x00
00001e23: DUP4
00001e24: ADD
00001e25: MSTORE
00001e26: PUSH1 0x02
00001e28: DUP3
00001e29: ADD
00001e2a: SWAP1
00001e2b: POP
00001e2c: SWAP2
00001e2d: SWAP1
00001e2e: POP
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: PUSH1 0x00
00001e33: PUSH2 0x1e3d
00001e36: PUSH1 0x1b
00001e38: DUP4
00001e39: PUSH2 0x2494
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: SWAP2
00001e3f: POP
00001e40: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001e61: PUSH1 0x00
00001e63: DUP4
00001e64: ADD
00001e65: MSTORE
00001e66: PUSH1 0x20
00001e68: DUP3
00001e69: ADD
00001e6a: SWAP1
00001e6b: POP
00001e6c: SWAP2
00001e6d: SWAP1
00001e6e: POP
00001e6f: JUMP
00001e70: JUMPDEST
00001e71: PUSH1 0x00
00001e73: PUSH2 0x1e7d
00001e76: PUSH1 0x13
00001e78: DUP4
00001e79: PUSH2 0x2494
00001e7c: JUMP
00001e7d: JUMPDEST
00001e7e: SWAP2
00001e7f: POP
00001e80: PUSH32 0x43616e6e6f74206275726e20746f207a65726f00000000000000000000000000
00001ea1: PUSH1 0x00
00001ea3: DUP4
00001ea4: ADD
00001ea5: MSTORE
00001ea6: PUSH1 0x20
00001ea8: DUP3
00001ea9: ADD
00001eaa: SWAP1
00001eab: POP
00001eac: SWAP2
00001ead: SWAP1
00001eae: POP
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: PUSH1 0x00
00001eb3: PUSH2 0x1ebd
00001eb6: PUSH1 0x22
00001eb8: DUP4
00001eb9: PUSH2 0x2494
00001ebc: JUMP
00001ebd: JUMPDEST
00001ebe: SWAP2
00001ebf: POP
00001ec0: PUSH32 0x5065726d69747461626c653a207370656e6465722063616e6e6f742062652030
00001ee1: PUSH1 0x00
00001ee3: DUP4
00001ee4: ADD
00001ee5: MSTORE
00001ee6: PUSH32 0x7830000000000000000000000000000000000000000000000000000000000000
00001f07: PUSH1 0x20
00001f09: DUP4
00001f0a: ADD
00001f0b: MSTORE
00001f0c: PUSH1 0x40
00001f0e: DUP3
00001f0f: ADD
00001f10: SWAP1
00001f11: POP
00001f12: SWAP2
00001f13: SWAP1
00001f14: POP
00001f15: JUMP
00001f16: JUMPDEST
00001f17: PUSH1 0x00
00001f19: PUSH2 0x1f23
00001f1c: PUSH1 0x1c
00001f1e: DUP4
00001f1f: PUSH2 0x2494
00001f22: JUMP
00001f23: JUMPDEST
00001f24: SWAP2
00001f25: POP
00001f26: PUSH32 0x44726f70546f6b656e3a205369676e617475726520696e76616c696400000000
00001f47: PUSH1 0x00
00001f49: DUP4
00001f4a: ADD
00001f4b: MSTORE
00001f4c: PUSH1 0x20
00001f4e: DUP3
00001f4f: ADD
00001f50: SWAP1
00001f51: POP
00001f52: SWAP2
00001f53: SWAP1
00001f54: POP
00001f55: JUMP
00001f56: JUMPDEST
00001f57: PUSH1 0x00
00001f59: PUSH2 0x1f63
00001f5c: PUSH1 0x1b
00001f5e: DUP4
00001f5f: PUSH2 0x2494
00001f62: JUMP
00001f63: JUMPDEST
00001f64: SWAP2
00001f65: POP
00001f66: PUSH32 0x5065726d69747461626c653a205065726d697420657870697265640000000000
00001f87: PUSH1 0x00
00001f89: DUP4
00001f8a: ADD
00001f8b: MSTORE
00001f8c: PUSH1 0x20
00001f8e: DUP3
00001f8f: ADD
00001f90: SWAP1
00001f91: POP
00001f92: SWAP2
00001f93: SWAP1
00001f94: POP
00001f95: JUMP
00001f96: JUMPDEST
00001f97: PUSH1 0x00
00001f99: PUSH2 0x1fa3
00001f9c: PUSH1 0x32
00001f9e: DUP4
00001f9f: PUSH2 0x2494
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: SWAP2
00001fa5: POP
00001fa6: PUSH32 0x5065726d69747461626c653a20617070726f76616c2076616c7565206d757374
00001fc7: PUSH1 0x00
00001fc9: DUP4
00001fca: ADD
00001fcb: MSTORE
00001fcc: PUSH32 0x2062652067726561746572207468616e20300000000000000000000000000000
00001fed: PUSH1 0x20
00001fef: DUP4
00001ff0: ADD
00001ff1: MSTORE
00001ff2: PUSH1 0x40
00001ff4: DUP3
00001ff5: ADD
00001ff6: SWAP1
00001ff7: POP
00001ff8: SWAP2
00001ff9: SWAP1
00001ffa: POP
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH1 0x00
00001fff: PUSH2 0x2009
00002002: PUSH1 0x24
00002004: DUP4
00002005: PUSH2 0x2494
00002008: JUMP
00002009: JUMPDEST
0000200a: SWAP2
0000200b: POP
0000200c: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f46524f4d5f4641
0000202d: PUSH1 0x00
0000202f: DUP4
00002030: ADD
00002031: MSTORE
00002032: PUSH32 0x494c454400000000000000000000000000000000000000000000000000000000
00002053: PUSH1 0x20
00002055: DUP4
00002056: ADD
00002057: MSTORE
00002058: PUSH1 0x40
0000205a: DUP3
0000205b: ADD
0000205c: SWAP1
0000205d: POP
0000205e: SWAP2
0000205f: SWAP1
00002060: POP
00002061: JUMP
00002062: JUMPDEST
00002063: PUSH2 0x206b
00002066: DUP2
00002067: PUSH2 0x24f8
0000206a: JUMP
0000206b: JUMPDEST
0000206c: DUP3
0000206d: MSTORE
0000206e: POP
0000206f: POP
00002070: JUMP
00002071: JUMPDEST
00002072: PUSH2 0x207a
00002075: DUP2
00002076: PUSH2 0x2502
00002079: JUMP
0000207a: JUMPDEST
0000207b: DUP3
0000207c: MSTORE
0000207d: POP
0000207e: POP
0000207f: JUMP
00002080: JUMPDEST
00002081: PUSH1 0x00
00002083: PUSH2 0x208c
00002086: DUP3
00002087: DUP5
00002088: PUSH2 0x1d06
0000208b: JUMP
0000208c: JUMPDEST
0000208d: SWAP2
0000208e: POP
0000208f: DUP2
00002090: SWAP1
00002091: POP
00002092: SWAP3
00002093: SWAP2
00002094: POP
00002095: POP
00002096: JUMP
00002097: JUMPDEST
00002098: PUSH1 0x00
0000209a: PUSH2 0x20a2
0000209d: DUP3
0000209e: PUSH2 0x1df0
000020a1: JUMP
000020a2: JUMPDEST
000020a3: SWAP2
000020a4: POP
000020a5: PUSH2 0x20ae
000020a8: DUP3
000020a9: DUP6
000020aa: PUSH2 0x1cef
000020ad: JUMP
000020ae: JUMPDEST
000020af: PUSH1 0x20
000020b1: DUP3
000020b2: ADD
000020b3: SWAP2
000020b4: POP
000020b5: PUSH2 0x20be
000020b8: DUP3
000020b9: DUP5
000020ba: PUSH2 0x1cef
000020bd: JUMP
000020be: JUMPDEST
000020bf: PUSH1 0x20
000020c1: DUP3
000020c2: ADD
000020c3: SWAP2
000020c4: POP
000020c5: DUP2
000020c6: SWAP1
000020c7: POP
000020c8: SWAP4
000020c9: SWAP3
000020ca: POP
000020cb: POP
000020cc: POP
000020cd: JUMP
000020ce: JUMPDEST
000020cf: PUSH1 0x00
000020d1: PUSH1 0x20
000020d3: DUP3
000020d4: ADD
000020d5: SWAP1
000020d6: POP
000020d7: PUSH2 0x20e3
000020da: PUSH1 0x00
000020dc: DUP4
000020dd: ADD
000020de: DUP5
000020df: PUSH2 0x1cc2
000020e2: JUMP
000020e3: JUMPDEST
000020e4: SWAP3
000020e5: SWAP2
000020e6: POP
000020e7: POP
000020e8: JUMP
000020e9: JUMPDEST
000020ea: PUSH1 0x00
000020ec: PUSH1 0x60
000020ee: DUP3
000020ef: ADD
000020f0: SWAP1
000020f1: POP
000020f2: PUSH2 0x20fe
000020f5: PUSH1 0x00
000020f7: DUP4
000020f8: ADD
000020f9: DUP7
000020fa: PUSH2 0x1cc2
000020fd: JUMP
000020fe: JUMPDEST
000020ff: PUSH2 0x210b
00002102: PUSH1 0x20
00002104: DUP4
00002105: ADD
00002106: DUP6
00002107: PUSH2 0x1cc2
0000210a: JUMP
0000210b: JUMPDEST
0000210c: PUSH2 0x2118
0000210f: PUSH1 0x40
00002111: DUP4
00002112: ADD
00002113: DUP5
00002114: PUSH2 0x2062
00002117: JUMP
00002118: JUMPDEST
00002119: SWAP5
0000211a: SWAP4
0000211b: POP
0000211c: POP
0000211d: POP
0000211e: POP
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH1 0x00
00002123: PUSH1 0x40
00002125: DUP3
00002126: ADD
00002127: SWAP1
00002128: POP
00002129: PUSH2 0x2135
0000212c: PUSH1 0x00
0000212e: DUP4
0000212f: ADD
00002130: DUP6
00002131: PUSH2 0x1cc2
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH2 0x2142
00002139: PUSH1 0x20
0000213b: DUP4
0000213c: ADD
0000213d: DUP5
0000213e: PUSH2 0x2062
00002141: JUMP
00002142: JUMPDEST
00002143: SWAP4
00002144: SWAP3
00002145: POP
00002146: POP
00002147: POP
00002148: JUMP
00002149: JUMPDEST
0000214a: PUSH1 0x00
0000214c: PUSH1 0x20
0000214e: DUP3
0000214f: ADD
00002150: SWAP1
00002151: POP
00002152: PUSH2 0x215e
00002155: PUSH1 0x00
00002157: DUP4
00002158: ADD
00002159: DUP5
0000215a: PUSH2 0x1cd1
0000215d: JUMP
0000215e: JUMPDEST
0000215f: SWAP3
00002160: SWAP2
00002161: POP
00002162: POP
00002163: JUMP
00002164: JUMPDEST
00002165: PUSH1 0x00
00002167: PUSH1 0x20
00002169: DUP3
0000216a: ADD
0000216b: SWAP1
0000216c: POP
0000216d: PUSH2 0x2179
00002170: PUSH1 0x00
00002172: DUP4
00002173: ADD
00002174: DUP5
00002175: PUSH2 0x1ce0
00002178: JUMP
00002179: JUMPDEST
0000217a: SWAP3
0000217b: SWAP2
0000217c: POP
0000217d: POP
0000217e: JUMP
0000217f: JUMPDEST
00002180: PUSH1 0x00
00002182: PUSH1 0xc0
00002184: DUP3
00002185: ADD
00002186: SWAP1
00002187: POP
00002188: PUSH2 0x2194
0000218b: PUSH1 0x00
0000218d: DUP4
0000218e: ADD
0000218f: DUP10
00002190: PUSH2 0x1ce0
00002193: JUMP
00002194: JUMPDEST
00002195: PUSH2 0x21a1
00002198: PUSH1 0x20
0000219a: DUP4
0000219b: ADD
0000219c: DUP9
0000219d: PUSH2 0x1cc2
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH2 0x21ae
000021a5: PUSH1 0x40
000021a7: DUP4
000021a8: ADD
000021a9: DUP8
000021aa: PUSH2 0x1cc2
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH2 0x21bb
000021b2: PUSH1 0x60
000021b4: DUP4
000021b5: ADD
000021b6: DUP7
000021b7: PUSH2 0x2062
000021ba: JUMP
000021bb: JUMPDEST
000021bc: PUSH2 0x21c8
000021bf: PUSH1 0x80
000021c1: DUP4
000021c2: ADD
000021c3: DUP6
000021c4: PUSH2 0x2062
000021c7: JUMP
000021c8: JUMPDEST
000021c9: PUSH2 0x21d5
000021cc: PUSH1 0xa0
000021ce: DUP4
000021cf: ADD
000021d0: DUP5
000021d1: PUSH2 0x2062
000021d4: JUMP
000021d5: JUMPDEST
000021d6: SWAP8
000021d7: SWAP7
000021d8: POP
000021d9: POP
000021da: POP
000021db: POP
000021dc: POP
000021dd: POP
000021de: POP
000021df: JUMP
000021e0: JUMPDEST
000021e1: PUSH1 0x00
000021e3: PUSH1 0x80
000021e5: DUP3
000021e6: ADD
000021e7: SWAP1
000021e8: POP
000021e9: PUSH2 0x21f5
000021ec: PUSH1 0x00
000021ee: DUP4
000021ef: ADD
000021f0: DUP8
000021f1: PUSH2 0x1ce0
000021f4: JUMP
000021f5: JUMPDEST
000021f6: PUSH2 0x2202
000021f9: PUSH1 0x20
000021fb: DUP4
000021fc: ADD
000021fd: DUP7
000021fe: PUSH2 0x2071
00002201: JUMP
00002202: JUMPDEST
00002203: PUSH2 0x220f
00002206: PUSH1 0x40
00002208: DUP4
00002209: ADD
0000220a: DUP6
0000220b: PUSH2 0x1ce0
0000220e: JUMP
0000220f: JUMPDEST
00002210: PUSH2 0x221c
00002213: PUSH1 0x60
00002215: DUP4
00002216: ADD
00002217: DUP5
00002218: PUSH2 0x1ce0
0000221b: JUMP
0000221c: JUMPDEST
0000221d: SWAP6
0000221e: SWAP5
0000221f: POP
00002220: POP
00002221: POP
00002222: POP
00002223: POP
00002224: JUMP
00002225: JUMPDEST
00002226: PUSH1 0x00
00002228: PUSH1 0x20
0000222a: DUP3
0000222b: ADD
0000222c: SWAP1
0000222d: POP
0000222e: DUP2
0000222f: DUP2
00002230: SUB
00002231: PUSH1 0x00
00002233: DUP4
00002234: ADD
00002235: MSTORE
00002236: PUSH2 0x223f
00002239: DUP2
0000223a: DUP5
0000223b: PUSH2 0x1d37
0000223e: JUMP
0000223f: JUMPDEST
00002240: SWAP1
00002241: POP
00002242: SWAP3
00002243: SWAP2
00002244: POP
00002245: POP
00002246: JUMP
00002247: JUMPDEST
00002248: PUSH1 0x00
0000224a: PUSH1 0x80
0000224c: DUP3
0000224d: ADD
0000224e: SWAP1
0000224f: POP
00002250: DUP2
00002251: DUP2
00002252: SUB
00002253: PUSH1 0x00
00002255: DUP4
00002256: ADD
00002257: MSTORE
00002258: PUSH2 0x2261
0000225b: DUP2
0000225c: DUP8
0000225d: PUSH2 0x1d37
00002260: JUMP
00002261: JUMPDEST
00002262: SWAP1
00002263: POP
00002264: PUSH2 0x2270
00002267: PUSH1 0x20
00002269: DUP4
0000226a: ADD
0000226b: DUP7
0000226c: PUSH2 0x1cc2
0000226f: JUMP
00002270: JUMPDEST
00002271: PUSH2 0x227d
00002274: PUSH1 0x40
00002276: DUP4
00002277: ADD
00002278: DUP6
00002279: PUSH2 0x1cc2
0000227c: JUMP
0000227d: JUMPDEST
0000227e: PUSH2 0x228a
00002281: PUSH1 0x60
00002283: DUP4
00002284: ADD
00002285: DUP5
00002286: PUSH2 0x2062
00002289: JUMP
0000228a: JUMPDEST
0000228b: SWAP6
0000228c: SWAP5
0000228d: POP
0000228e: POP
0000228f: POP
00002290: POP
00002291: POP
00002292: JUMP
00002293: JUMPDEST
00002294: PUSH1 0x00
00002296: PUSH1 0x60
00002298: DUP3
00002299: ADD
0000229a: SWAP1
0000229b: POP
0000229c: DUP2
0000229d: DUP2
0000229e: SUB
0000229f: PUSH1 0x00
000022a1: DUP4
000022a2: ADD
000022a3: MSTORE
000022a4: PUSH2 0x22ad
000022a7: DUP2
000022a8: DUP7
000022a9: PUSH2 0x1d37
000022ac: JUMP
000022ad: JUMPDEST
000022ae: SWAP1
000022af: POP
000022b0: PUSH2 0x22bc
000022b3: PUSH1 0x20
000022b5: DUP4
000022b6: ADD
000022b7: DUP6
000022b8: PUSH2 0x1cc2
000022bb: JUMP
000022bc: JUMPDEST
000022bd: PUSH2 0x22c9
000022c0: PUSH1 0x40
000022c2: DUP4
000022c3: ADD
000022c4: DUP5
000022c5: PUSH2 0x2062
000022c8: JUMP
000022c9: JUMPDEST
000022ca: SWAP5
000022cb: SWAP4
000022cc: POP
000022cd: POP
000022ce: POP
000022cf: POP
000022d0: JUMP
000022d1: JUMPDEST
000022d2: PUSH1 0x00
000022d4: PUSH1 0x80
000022d6: DUP3
000022d7: ADD
000022d8: SWAP1
000022d9: POP
000022da: DUP2
000022db: DUP2
000022dc: SUB
000022dd: PUSH1 0x00
000022df: DUP4
000022e0: ADD
000022e1: MSTORE
000022e2: PUSH2 0x22eb
000022e5: DUP2
000022e6: DUP8
000022e7: PUSH2 0x1d37
000022ea: JUMP
000022eb: JUMPDEST
000022ec: SWAP1
000022ed: POP
000022ee: PUSH2 0x22fa
000022f1: PUSH1 0x20
000022f3: DUP4
000022f4: ADD
000022f5: DUP7
000022f6: PUSH2 0x1cc2
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH2 0x2307
000022fe: PUSH1 0x40
00002300: DUP4
00002301: ADD
00002302: DUP6
00002303: PUSH2 0x2062
00002306: JUMP
00002307: JUMPDEST
00002308: PUSH2 0x2314
0000230b: PUSH1 0x60
0000230d: DUP4
0000230e: ADD
0000230f: DUP5
00002310: PUSH2 0x1cc2
00002313: JUMP
00002314: JUMPDEST
00002315: SWAP6
00002316: SWAP5
00002317: POP
00002318: POP
00002319: POP
0000231a: POP
0000231b: POP
0000231c: JUMP
0000231d: JUMPDEST
0000231e: PUSH1 0x00
00002320: PUSH1 0x20
00002322: DUP3
00002323: ADD
00002324: SWAP1
00002325: POP
00002326: DUP2
00002327: DUP2
00002328: SUB
00002329: PUSH1 0x00
0000232b: DUP4
0000232c: ADD
0000232d: MSTORE
0000232e: PUSH2 0x2336
00002331: DUP2
00002332: PUSH2 0x1d70
00002335: JUMP
00002336: JUMPDEST
00002337: SWAP1
00002338: POP
00002339: SWAP2
0000233a: SWAP1
0000233b: POP
0000233c: JUMP
0000233d: JUMPDEST
0000233e: PUSH1 0x00
00002340: PUSH1 0x20
00002342: DUP3
00002343: ADD
00002344: SWAP1
00002345: POP
00002346: DUP2
00002347: DUP2
00002348: SUB
00002349: PUSH1 0x00
0000234b: DUP4
0000234c: ADD
0000234d: MSTORE
0000234e: PUSH2 0x2356
00002351: DUP2
00002352: PUSH2 0x1db0
00002355: JUMP
00002356: JUMPDEST
00002357: SWAP1
00002358: POP
00002359: SWAP2
0000235a: SWAP1
0000235b: POP
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: PUSH1 0x20
00002362: DUP3
00002363: ADD
00002364: SWAP1
00002365: POP
00002366: DUP2
00002367: DUP2
00002368: SUB
00002369: PUSH1 0x00
0000236b: DUP4
0000236c: ADD
0000236d: MSTORE
0000236e: PUSH2 0x2376
00002371: DUP2
00002372: PUSH2 0x1e30
00002375: JUMP
00002376: JUMPDEST
00002377: SWAP1
00002378: POP
00002379: SWAP2
0000237a: SWAP1
0000237b: POP
0000237c: JUMP
0000237d: JUMPDEST
0000237e: PUSH1 0x00
00002380: PUSH1 0x20
00002382: DUP3
00002383: ADD
00002384: SWAP1
00002385: POP
00002386: DUP2
00002387: DUP2
00002388: SUB
00002389: PUSH1 0x00
0000238b: DUP4
0000238c: ADD
0000238d: MSTORE
0000238e: PUSH2 0x2396
00002391: DUP2
00002392: PUSH2 0x1e70
00002395: JUMP
00002396: JUMPDEST
00002397: SWAP1
00002398: POP
00002399: SWAP2
0000239a: SWAP1
0000239b: POP
0000239c: JUMP
0000239d: JUMPDEST
0000239e: PUSH1 0x00
000023a0: PUSH1 0x20
000023a2: DUP3
000023a3: ADD
000023a4: SWAP1
000023a5: POP
000023a6: DUP2
000023a7: DUP2
000023a8: SUB
000023a9: PUSH1 0x00
000023ab: DUP4
000023ac: ADD
000023ad: MSTORE
000023ae: PUSH2 0x23b6
000023b1: DUP2
000023b2: PUSH2 0x1eb0
000023b5: JUMP
000023b6: JUMPDEST
000023b7: SWAP1
000023b8: POP
000023b9: SWAP2
000023ba: SWAP1
000023bb: POP
000023bc: JUMP
000023bd: JUMPDEST
000023be: PUSH1 0x00
000023c0: PUSH1 0x20
000023c2: DUP3
000023c3: ADD
000023c4: SWAP1
000023c5: POP
000023c6: DUP2
000023c7: DUP2
000023c8: SUB
000023c9: PUSH1 0x00
000023cb: DUP4
000023cc: ADD
000023cd: MSTORE
000023ce: PUSH2 0x23d6
000023d1: DUP2
000023d2: PUSH2 0x1f16
000023d5: JUMP
000023d6: JUMPDEST
000023d7: SWAP1
000023d8: POP
000023d9: SWAP2
000023da: SWAP1
000023db: POP
000023dc: JUMP
000023dd: JUMPDEST
000023de: PUSH1 0x00
000023e0: PUSH1 0x20
000023e2: DUP3
000023e3: ADD
000023e4: SWAP1
000023e5: POP
000023e6: DUP2
000023e7: DUP2
000023e8: SUB
000023e9: PUSH1 0x00
000023eb: DUP4
000023ec: ADD
000023ed: MSTORE
000023ee: PUSH2 0x23f6
000023f1: DUP2
000023f2: PUSH2 0x1f56
000023f5: JUMP
000023f6: JUMPDEST
000023f7: SWAP1
000023f8: POP
000023f9: SWAP2
000023fa: SWAP1
000023fb: POP
000023fc: JUMP
000023fd: JUMPDEST
000023fe: PUSH1 0x00
00002400: PUSH1 0x20
00002402: DUP3
00002403: ADD
00002404: SWAP1
00002405: POP
00002406: DUP2
00002407: DUP2
00002408: SUB
00002409: PUSH1 0x00
0000240b: DUP4
0000240c: ADD
0000240d: MSTORE
0000240e: PUSH2 0x2416
00002411: DUP2
00002412: PUSH2 0x1f96
00002415: JUMP
00002416: JUMPDEST
00002417: SWAP1
00002418: POP
00002419: SWAP2
0000241a: SWAP1
0000241b: POP
0000241c: JUMP
0000241d: JUMPDEST
0000241e: PUSH1 0x00
00002420: PUSH1 0x20
00002422: DUP3
00002423: ADD
00002424: SWAP1
00002425: POP
00002426: DUP2
00002427: DUP2
00002428: SUB
00002429: PUSH1 0x00
0000242b: DUP4
0000242c: ADD
0000242d: MSTORE
0000242e: PUSH2 0x2436
00002431: DUP2
00002432: PUSH2 0x1ffc
00002435: JUMP
00002436: JUMPDEST
00002437: SWAP1
00002438: POP
00002439: SWAP2
0000243a: SWAP1
0000243b: POP
0000243c: JUMP
0000243d: JUMPDEST
0000243e: PUSH1 0x00
00002440: PUSH1 0x20
00002442: DUP3
00002443: ADD
00002444: SWAP1
00002445: POP
00002446: PUSH2 0x2452
00002449: PUSH1 0x00
0000244b: DUP4
0000244c: ADD
0000244d: DUP5
0000244e: PUSH2 0x2062
00002451: JUMP
00002452: JUMPDEST
00002453: SWAP3
00002454: SWAP2
00002455: POP
00002456: POP
00002457: JUMP
00002458: JUMPDEST
00002459: PUSH1 0x00
0000245b: PUSH1 0x20
0000245d: DUP3
0000245e: ADD
0000245f: SWAP1
00002460: POP
00002461: PUSH2 0x246d
00002464: PUSH1 0x00
00002466: DUP4
00002467: ADD
00002468: DUP5
00002469: PUSH2 0x2071
0000246c: JUMP
0000246d: JUMPDEST
0000246e: SWAP3
0000246f: SWAP2
00002470: POP
00002471: POP
00002472: JUMP
00002473: JUMPDEST
00002474: PUSH1 0x00
00002476: DUP2
00002477: MLOAD
00002478: SWAP1
00002479: POP
0000247a: SWAP2
0000247b: SWAP1
0000247c: POP
0000247d: JUMP
0000247e: JUMPDEST
0000247f: PUSH1 0x00
00002481: DUP2
00002482: MLOAD
00002483: SWAP1
00002484: POP
00002485: SWAP2
00002486: SWAP1
00002487: POP
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH1 0x00
0000248c: DUP2
0000248d: SWAP1
0000248e: POP
0000248f: SWAP3
00002490: SWAP2
00002491: POP
00002492: POP
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH1 0x00
00002497: DUP3
00002498: DUP3
00002499: MSTORE
0000249a: PUSH1 0x20
0000249c: DUP3
0000249d: ADD
0000249e: SWAP1
0000249f: POP
000024a0: SWAP3
000024a1: SWAP2
000024a2: POP
000024a3: POP
000024a4: JUMP
000024a5: JUMPDEST
000024a6: PUSH1 0x00
000024a8: DUP2
000024a9: SWAP1
000024aa: POP
000024ab: SWAP3
000024ac: SWAP2
000024ad: POP
000024ae: POP
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x00
000024b3: PUSH2 0x24bb
000024b6: DUP3
000024b7: PUSH2 0x24d8
000024ba: JUMP
000024bb: JUMPDEST
000024bc: SWAP1
000024bd: POP
000024be: SWAP2
000024bf: SWAP1
000024c0: POP
000024c1: JUMP
000024c2: JUMPDEST
000024c3: PUSH1 0x00
000024c5: DUP2
000024c6: ISZERO
000024c7: ISZERO
000024c8: SWAP1
000024c9: POP
000024ca: SWAP2
000024cb: SWAP1
000024cc: POP
000024cd: JUMP
000024ce: JUMPDEST
000024cf: PUSH1 0x00
000024d1: DUP2
000024d2: SWAP1
000024d3: POP
000024d4: SWAP2
000024d5: SWAP1
000024d6: POP
000024d7: JUMP
000024d8: JUMPDEST
000024d9: PUSH1 0x00
000024db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f0: DUP3
000024f1: AND
000024f2: SWAP1
000024f3: POP
000024f4: SWAP2
000024f5: SWAP1
000024f6: POP
000024f7: JUMP
000024f8: JUMPDEST
000024f9: PUSH1 0x00
000024fb: DUP2
000024fc: SWAP1
000024fd: POP
000024fe: SWAP2
000024ff: SWAP1
00002500: POP
00002501: JUMP
00002502: JUMPDEST
00002503: PUSH1 0x00
00002505: PUSH1 0xff
00002507: DUP3
00002508: AND
00002509: SWAP1
0000250a: POP
0000250b: SWAP2
0000250c: SWAP1
0000250d: POP
0000250e: JUMP
0000250f: JUMPDEST
00002510: PUSH1 0x00
00002512: JUMPDEST
00002513: DUP4
00002514: DUP2
00002515: LT
00002516: ISZERO
00002517: PUSH2 0x252d
0000251a: JUMPI
0000251b: DUP1
0000251c: DUP3
0000251d: ADD
0000251e: MLOAD
0000251f: DUP2
00002520: DUP5
00002521: ADD
00002522: MSTORE
00002523: PUSH1 0x20
00002525: DUP2
00002526: ADD
00002527: SWAP1
00002528: POP
00002529: PUSH2 0x2512
0000252c: JUMP
0000252d: JUMPDEST
0000252e: DUP4
0000252f: DUP2
00002530: GT
00002531: ISZERO
00002532: PUSH2 0x253c
00002535: JUMPI
00002536: PUSH1 0x00
00002538: DUP5
00002539: DUP5
0000253a: ADD
0000253b: MSTORE
0000253c: JUMPDEST
0000253d: POP
0000253e: POP
0000253f: POP
00002540: POP
00002541: JUMP
00002542: JUMPDEST
00002543: PUSH1 0x00
00002545: DUP2
00002546: SWAP1
00002547: POP
00002548: SWAP2
00002549: SWAP1
0000254a: POP
0000254b: JUMP
0000254c: JUMPDEST
0000254d: PUSH1 0x00
0000254f: PUSH1 0x1f
00002551: NOT
00002552: PUSH1 0x1f
00002554: DUP4
00002555: ADD
00002556: AND
00002557: SWAP1
00002558: POP
00002559: SWAP2
0000255a: SWAP1
0000255b: POP
0000255c: JUMP
0000255d: JUMPDEST
0000255e: PUSH2 0x2566
00002561: DUP2
00002562: PUSH2 0x24b0
00002565: JUMP
00002566: JUMPDEST
00002567: DUP2
00002568: EQ
00002569: PUSH2 0x2571
0000256c: JUMPI
0000256d: PUSH1 0x00
0000256f: DUP1
00002570: REVERT
00002571: JUMPDEST
00002572: POP
00002573: JUMP
00002574: JUMPDEST
00002575: PUSH2 0x257d
00002578: DUP2
00002579: PUSH2 0x24c2
0000257c: JUMP
0000257d: JUMPDEST
0000257e: DUP2
0000257f: EQ
00002580: PUSH2 0x2588
00002583: JUMPI
00002584: PUSH1 0x00
00002586: DUP1
00002587: REVERT
00002588: JUMPDEST
00002589: POP
0000258a: JUMP
0000258b: JUMPDEST
0000258c: PUSH2 0x2594
0000258f: DUP2
00002590: PUSH2 0x24ce
00002593: JUMP
00002594: JUMPDEST
00002595: DUP2
00002596: EQ
00002597: PUSH2 0x259f
0000259a: JUMPI
0000259b: PUSH1 0x00
0000259d: DUP1
0000259e: REVERT
0000259f: JUMPDEST
000025a0: POP
000025a1: JUMP
000025a2: JUMPDEST
000025a3: PUSH2 0x25ab
000025a6: DUP2
000025a7: PUSH2 0x24f8
000025aa: JUMP
000025ab: JUMPDEST
000025ac: DUP2
000025ad: EQ
000025ae: PUSH2 0x25b6
000025b1: JUMPI
000025b2: PUSH1 0x00
000025b4: DUP1
000025b5: REVERT
000025b6: JUMPDEST
000025b7: POP
000025b8: JUMP
000025b9: JUMPDEST
000025ba: PUSH2 0x25c2
000025bd: DUP2
000025be: PUSH2 0x2502
000025c1: JUMP
000025c2: JUMPDEST
000025c3: DUP2
000025c4: EQ
000025c5: PUSH2 0x25cd
000025c8: JUMPI
000025c9: PUSH1 0x00
000025cb: DUP1
000025cc: REVERT
000025cd: JUMPDEST
000025ce: POP
000025cf: JUMP
000025d0: INVALID
000025d1: PUSH21 0x72616e7366657246726f6d2866726f6d3a2025732c
000025e7: KECCAK256
000025e8: PUSH21 0x6f3a2025732c2076616c75653a202573617070726f
000025fe: PUSH23 0x65287370656e6465723a2025732c2076616c75653a2025
00002616: PUSH20 0x2c2073656e6465723a202573a264697066735822
0000262b: SLT
0000262c: KECCAK256
0000262d: UNKNOWN(0xBB)
0000262e: SWAP10
0000262f: UNKNOWN(0x4D)
00002630: SUB
00002631: PUSH2 0x3e57
00002634: PUSH23 0x2c93454abce0a63f199344f3e6b3b713de70364f332ef5
0000264c: UNKNOWN(0xBB)
0000264d: PUSH5 0x736f6c6343
00002653: STOP
00002654: MOD
00002655: ADDMOD
00002656: STOP
00002657: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x57fb01a0fa0f0affcd95bee698ef561b2c5544bb75f207753bd3f282714a078a call_targets: 0x68cfbad56d6db48e93eda71898659bd2b861ff19 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57fb01a0fa0f0affcd95bee698ef561b2c5544bb75f207753bd3f282714a078a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x68cfbad56d6db48e93eda71898659bd2b861ff19" ], "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": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x30adf81f", "selector": "0x30adf81f", "calldata_variants": [ "0x30adf81f", "0x30adf81f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3644e515", "selector": "0x3644e515", "calldata_variants": [ "0x3644e515", "0x3644e5150000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4493, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5585, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x57fb01a0fa0f0affcd95bee698ef561b2c5544bb75f207753bd3f282714a078a call_targets: 0x68cfbad56d6db48e93eda71898659bd2b861ff19 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57fb01a0fa0f0affcd95bee698ef561b2c5544bb75f207753bd3f282714a078a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x68cfbad56d6db48e93eda71898659bd2b861ff19" ], "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": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x30adf81f", "selector": "0x30adf81f", "calldata_variants": [ "0x30adf81f", "0x30adf81f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3644e515", "selector": "0x3644e515", "calldata_variants": [ "0x3644e515", "0x3644e5150000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4493, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5585, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity