Analysis Run

019ba940-8919-71e2-a140-7fb0199d5761

complete

Chain ID

1

Address

0x67709b3af452440b6cf091308baf7876faaef452

Block Number

—

Created

Sat, Jan 10, 2026 6:52 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
36490	artifact.fetch	complete	1 / 3	3 months ago
36491	proxy.resolve	complete	1 / 3	3 months ago
36492	tool.cast_disasm	complete	1 / 3	3 months ago
36493	analysis.bundle	complete	1 / 3	3 months ago
36494	capability.graph	complete	1 / 3	3 months ago
36495	detector.run	complete	1 / 3	3 months ago
36496	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

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)

9

EXT*/BALANCE

9

Total opcodes

3443

Flags

heavy_ext_balance_usage

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 0x0177
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6f307dc3
00000026: GT
00000027: PUSH2 0x00d8
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa58f33d3
00000031: GT
00000032: PUSH2 0x008c
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd0e30db0
0000003c: GT
0000003d: PUSH2 0x0066
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd0e30db0
00000047: EQ
00000048: PUSH2 0x051e
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x0526
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0586
00000061: JUMPI
00000062: PUSH2 0x0177
00000065: JUMP
00000066: JUMPDEST
00000067: DUP1
00000068: PUSH4 0xa58f33d3
0000006d: EQ
0000006e: PUSH2 0x045e
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0xa9059cbb
00000078: EQ
00000079: PUSH2 0x04b2
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xb760faf9
00000083: EQ
00000084: PUSH2 0x04eb
00000087: JUMPI
00000088: PUSH2 0x0177
0000008b: JUMP
0000008c: JUMPDEST
0000008d: DUP1
0000008e: PUSH4 0x7ecebe00
00000093: GT
00000094: PUSH2 0x00bd
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x7ecebe00
0000009e: EQ
0000009f: PUSH2 0x03e0
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x9555a942
000000a9: EQ
000000aa: PUSH2 0x0413
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x95d89b41
000000b4: EQ
000000b5: PUSH2 0x0456
000000b8: JUMPI
000000b9: PUSH2 0x0177
000000bc: JUMP
000000bd: JUMPDEST
000000be: DUP1
000000bf: PUSH4 0x6f307dc3
000000c4: EQ
000000c5: PUSH2 0x037c
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x70a08231
000000cf: EQ
000000d0: PUSH2 0x03ad
000000d3: JUMPI
000000d4: PUSH2 0x0177
000000d7: JUMP
000000d8: JUMPDEST
000000d9: DUP1
000000da: PUSH4 0x2f4f21e2
000000df: GT
000000e0: PUSH2 0x012f
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x30adf81f
000000ea: GT
000000eb: PUSH2 0x0114
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x30adf81f
000000f5: EQ
000000f6: PUSH2 0x034e
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x313ce567
00000100: EQ
00000101: PUSH2 0x0356
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: EQ
0000010c: PUSH2 0x0374
0000010f: JUMPI
00000110: PUSH2 0x0177
00000113: JUMP
00000114: JUMPDEST
00000115: DUP1
00000116: PUSH4 0x2f4f21e2
0000011b: EQ
0000011c: PUSH2 0x02dc
0000011f: JUMPI
00000120: DUP1
00000121: PUSH4 0x305bee16
00000126: EQ
00000127: PUSH2 0x0315
0000012a: JUMPI
0000012b: PUSH2 0x0177
0000012e: JUMP
0000012f: JUMPDEST
00000130: DUP1
00000131: PUSH4 0x18160ddd
00000136: GT
00000137: PUSH2 0x0160
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0x18160ddd
00000141: EQ
00000142: PUSH2 0x0246
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0x205c2878
0000014c: EQ
0000014d: PUSH2 0x0260
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0x23b872dd
00000157: EQ
00000158: PUSH2 0x0299
0000015b: JUMPI
0000015c: PUSH2 0x0177
0000015f: JUMP
00000160: JUMPDEST
00000161: DUP1
00000162: PUSH4 0x06fdde03
00000167: EQ
00000168: PUSH2 0x017c
0000016b: JUMPI
0000016c: DUP1
0000016d: PUSH4 0x095ea7b3
00000172: EQ
00000173: PUSH2 0x01f9
00000176: JUMPI
00000177: JUMPDEST
00000178: PUSH1 0x00
0000017a: DUP1
0000017b: REVERT
0000017c: JUMPDEST
0000017d: PUSH2 0x0184
00000180: PUSH2 0x05c1
00000183: JUMP
00000184: JUMPDEST
00000185: PUSH1 0x40
00000187: DUP1
00000188: MLOAD
00000189: PUSH1 0x20
0000018b: DUP1
0000018c: DUP3
0000018d: MSTORE
0000018e: DUP4
0000018f: MLOAD
00000190: DUP2
00000191: DUP4
00000192: ADD
00000193: MSTORE
00000194: DUP4
00000195: MLOAD
00000196: SWAP2
00000197: SWAP3
00000198: DUP4
00000199: SWAP3
0000019a: SWAP1
0000019b: DUP4
0000019c: ADD
0000019d: SWAP2
0000019e: DUP6
0000019f: ADD
000001a0: SWAP1
000001a1: DUP1
000001a2: DUP4
000001a3: DUP4
000001a4: PUSH1 0x00
000001a6: JUMPDEST
000001a7: DUP4
000001a8: DUP2
000001a9: LT
000001aa: ISZERO
000001ab: PUSH2 0x01be
000001ae: JUMPI
000001af: DUP2
000001b0: DUP2
000001b1: ADD
000001b2: MLOAD
000001b3: DUP4
000001b4: DUP3
000001b5: ADD
000001b6: MSTORE
000001b7: PUSH1 0x20
000001b9: ADD
000001ba: PUSH2 0x01a6
000001bd: JUMP
000001be: JUMPDEST
000001bf: POP
000001c0: POP
000001c1: POP
000001c2: POP
000001c3: SWAP1
000001c4: POP
000001c5: SWAP1
000001c6: DUP2
000001c7: ADD
000001c8: SWAP1
000001c9: PUSH1 0x1f
000001cb: AND
000001cc: DUP1
000001cd: ISZERO
000001ce: PUSH2 0x01eb
000001d1: JUMPI
000001d2: DUP1
000001d3: DUP3
000001d4: SUB
000001d5: DUP1
000001d6: MLOAD
000001d7: PUSH1 0x01
000001d9: DUP4
000001da: PUSH1 0x20
000001dc: SUB
000001dd: PUSH2 0x0100
000001e0: EXP
000001e1: SUB
000001e2: NOT
000001e3: AND
000001e4: DUP2
000001e5: MSTORE
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: SWAP2
000001ea: POP
000001eb: JUMPDEST
000001ec: POP
000001ed: SWAP3
000001ee: POP
000001ef: POP
000001f0: POP
000001f1: PUSH1 0x40
000001f3: MLOAD
000001f4: DUP1
000001f5: SWAP2
000001f6: SUB
000001f7: SWAP1
000001f8: RETURN
000001f9: JUMPDEST
000001fa: PUSH2 0x0232
000001fd: PUSH1 0x04
000001ff: DUP1
00000200: CALLDATASIZE
00000201: SUB
00000202: PUSH1 0x40
00000204: DUP2
00000205: LT
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000226: DUP2
00000227: CALLDATALOAD
00000228: AND
00000229: SWAP1
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: CALLDATALOAD
0000022e: PUSH2 0x05f8
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH1 0x40
00000235: DUP1
00000236: MLOAD
00000237: SWAP2
00000238: ISZERO
00000239: ISZERO
0000023a: DUP3
0000023b: MSTORE
0000023c: MLOAD
0000023d: SWAP1
0000023e: DUP2
0000023f: SWAP1
00000240: SUB
00000241: PUSH1 0x20
00000243: ADD
00000244: SWAP1
00000245: RETURN
00000246: JUMPDEST
00000247: PUSH2 0x024e
0000024a: PUSH2 0x060f
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH1 0x40
00000251: DUP1
00000252: MLOAD
00000253: SWAP2
00000254: DUP3
00000255: MSTORE
00000256: MLOAD
00000257: SWAP1
00000258: DUP2
00000259: SWAP1
0000025a: SUB
0000025b: PUSH1 0x20
0000025d: ADD
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: PUSH2 0x0232
00000264: PUSH1 0x04
00000266: DUP1
00000267: CALLDATASIZE
00000268: SUB
00000269: PUSH1 0x40
0000026b: DUP2
0000026c: LT
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028d: DUP2
0000028e: CALLDATALOAD
0000028f: AND
00000290: SWAP1
00000291: PUSH1 0x20
00000293: ADD
00000294: CALLDATALOAD
00000295: PUSH2 0x0615
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH2 0x0232
0000029d: PUSH1 0x04
0000029f: DUP1
000002a0: CALLDATASIZE
000002a1: SUB
000002a2: PUSH1 0x60
000002a4: DUP2
000002a5: LT
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c6: DUP2
000002c7: CALLDATALOAD
000002c8: DUP2
000002c9: AND
000002ca: SWAP2
000002cb: PUSH1 0x20
000002cd: DUP2
000002ce: ADD
000002cf: CALLDATALOAD
000002d0: SWAP1
000002d1: SWAP2
000002d2: AND
000002d3: SWAP1
000002d4: PUSH1 0x40
000002d6: ADD
000002d7: CALLDATALOAD
000002d8: PUSH2 0x064c
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x0232
000002e0: PUSH1 0x04
000002e2: DUP1
000002e3: CALLDATASIZE
000002e4: SUB
000002e5: PUSH1 0x40
000002e7: DUP2
000002e8: LT
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: POP
000002f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000309: DUP2
0000030a: CALLDATALOAD
0000030b: AND
0000030c: SWAP1
0000030d: PUSH1 0x20
0000030f: ADD
00000310: CALLDATALOAD
00000311: PUSH2 0x0725
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x0232
00000319: PUSH1 0x04
0000031b: DUP1
0000031c: CALLDATASIZE
0000031d: SUB
0000031e: PUSH1 0x40
00000320: DUP2
00000321: LT
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000342: DUP2
00000343: CALLDATALOAD
00000344: AND
00000345: SWAP1
00000346: PUSH1 0x20
00000348: ADD
00000349: CALLDATALOAD
0000034a: PUSH2 0x081b
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x024e
00000352: PUSH2 0x0a2b
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x035e
0000035a: PUSH2 0x0a4f
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x40
00000361: DUP1
00000362: MLOAD
00000363: PUSH1 0xff
00000365: SWAP1
00000366: SWAP3
00000367: AND
00000368: DUP3
00000369: MSTORE
0000036a: MLOAD
0000036b: SWAP1
0000036c: DUP2
0000036d: SWAP1
0000036e: SUB
0000036f: PUSH1 0x20
00000371: ADD
00000372: SWAP1
00000373: RETURN
00000374: JUMPDEST
00000375: PUSH2 0x024e
00000378: PUSH2 0x0ae8
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x0384
00000380: PUSH2 0x0b0c
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH1 0x40
00000387: DUP1
00000388: MLOAD
00000389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000039e: SWAP1
0000039f: SWAP3
000003a0: AND
000003a1: DUP3
000003a2: MSTORE
000003a3: MLOAD
000003a4: SWAP1
000003a5: DUP2
000003a6: SWAP1
000003a7: SUB
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: SWAP1
000003ac: RETURN
000003ad: JUMPDEST
000003ae: PUSH2 0x024e
000003b1: PUSH1 0x04
000003b3: DUP1
000003b4: CALLDATASIZE
000003b5: SUB
000003b6: PUSH1 0x20
000003b8: DUP2
000003b9: LT
000003ba: ISZERO
000003bb: PUSH2 0x03c3
000003be: JUMPI
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: CALLDATALOAD
000003c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003db: AND
000003dc: PUSH2 0x0b30
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH2 0x024e
000003e4: PUSH1 0x04
000003e6: DUP1
000003e7: CALLDATASIZE
000003e8: SUB
000003e9: PUSH1 0x20
000003eb: DUP2
000003ec: LT
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: CALLDATALOAD
000003f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040e: AND
0000040f: PUSH2 0x0b42
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH2 0x0232
00000417: PUSH1 0x04
00000419: DUP1
0000041a: CALLDATASIZE
0000041b: SUB
0000041c: PUSH1 0x60
0000041e: DUP2
0000041f: LT
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000440: DUP2
00000441: CALLDATALOAD
00000442: DUP2
00000443: AND
00000444: SWAP2
00000445: PUSH1 0x20
00000447: DUP2
00000448: ADD
00000449: CALLDATALOAD
0000044a: SWAP1
0000044b: SWAP2
0000044c: AND
0000044d: SWAP1
0000044e: PUSH1 0x40
00000450: ADD
00000451: CALLDATALOAD
00000452: PUSH2 0x0b54
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x0184
0000045a: PUSH2 0x0c5c
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0232
00000462: PUSH1 0x04
00000464: DUP1
00000465: CALLDATASIZE
00000466: SUB
00000467: PUSH1 0xc0
00000469: DUP2
0000046a: LT
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048b: DUP2
0000048c: CALLDATALOAD
0000048d: AND
0000048e: SWAP1
0000048f: PUSH1 0x20
00000491: DUP2
00000492: ADD
00000493: CALLDATALOAD
00000494: SWAP1
00000495: PUSH1 0x40
00000497: DUP2
00000498: ADD
00000499: CALLDATALOAD
0000049a: SWAP1
0000049b: PUSH1 0xff
0000049d: PUSH1 0x60
0000049f: DUP3
000004a0: ADD
000004a1: CALLDATALOAD
000004a2: AND
000004a3: SWAP1
000004a4: PUSH1 0x80
000004a6: DUP2
000004a7: ADD
000004a8: CALLDATALOAD
000004a9: SWAP1
000004aa: PUSH1 0xa0
000004ac: ADD
000004ad: CALLDATALOAD
000004ae: PUSH2 0x0e80
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x0232
000004b6: PUSH1 0x04
000004b8: DUP1
000004b9: CALLDATASIZE
000004ba: SUB
000004bb: PUSH1 0x40
000004bd: DUP2
000004be: LT
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004df: DUP2
000004e0: CALLDATALOAD
000004e1: AND
000004e2: SWAP1
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: CALLDATALOAD
000004e7: PUSH2 0x101d
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH2 0x024e
000004ef: PUSH1 0x04
000004f1: DUP1
000004f2: CALLDATASIZE
000004f3: SUB
000004f4: PUSH1 0x20
000004f6: DUP2
000004f7: LT
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: CALLDATALOAD
00000504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000519: AND
0000051a: PUSH2 0x102a
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x024e
00000522: PUSH2 0x10c6
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH2 0x0584
0000052a: PUSH1 0x04
0000052c: DUP1
0000052d: CALLDATASIZE
0000052e: SUB
0000052f: PUSH1 0xe0
00000531: DUP2
00000532: LT
00000533: ISZERO
00000534: PUSH2 0x053c
00000537: JUMPI
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: POP
0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000553: DUP2
00000554: CALLDATALOAD
00000555: DUP2
00000556: AND
00000557: SWAP2
00000558: PUSH1 0x20
0000055a: DUP2
0000055b: ADD
0000055c: CALLDATALOAD
0000055d: SWAP1
0000055e: SWAP2
0000055f: AND
00000560: SWAP1
00000561: PUSH1 0x40
00000563: DUP2
00000564: ADD
00000565: CALLDATALOAD
00000566: SWAP1
00000567: PUSH1 0x60
00000569: DUP2
0000056a: ADD
0000056b: CALLDATALOAD
0000056c: SWAP1
0000056d: PUSH1 0xff
0000056f: PUSH1 0x80
00000571: DUP3
00000572: ADD
00000573: CALLDATALOAD
00000574: AND
00000575: SWAP1
00000576: PUSH1 0xa0
00000578: DUP2
00000579: ADD
0000057a: CALLDATALOAD
0000057b: SWAP1
0000057c: PUSH1 0xc0
0000057e: ADD
0000057f: CALLDATALOAD
00000580: PUSH2 0x1167
00000583: JUMP
00000584: JUMPDEST
00000585: STOP
00000586: JUMPDEST
00000587: PUSH2 0x024e
0000058a: PUSH1 0x04
0000058c: DUP1
0000058d: CALLDATASIZE
0000058e: SUB
0000058f: PUSH1 0x40
00000591: DUP2
00000592: LT
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: POP
0000059e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b3: DUP2
000005b4: CALLDATALOAD
000005b5: DUP2
000005b6: AND
000005b7: SWAP2
000005b8: PUSH1 0x20
000005ba: ADD
000005bb: CALLDATALOAD
000005bc: AND
000005bd: PUSH2 0x1451
000005c0: JUMP
000005c1: JUMPDEST
000005c2: PUSH1 0x40
000005c4: DUP1
000005c5: MLOAD
000005c6: DUP1
000005c7: DUP3
000005c8: ADD
000005c9: SWAP1
000005ca: SWAP2
000005cb: MSTORE
000005cc: PUSH1 0x16
000005ce: DUP2
000005cf: MSTORE
000005d0: PUSH32 0x5363757272795377617020537461736820546f6b656e00000000000000000000
000005f1: PUSH1 0x20
000005f3: DUP3
000005f4: ADD
000005f5: MSTORE
000005f6: SWAP1
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH1 0x00
000005fb: PUSH2 0x0605
000005fe: CALLER
000005ff: DUP5
00000600: DUP5
00000601: PUSH2 0x146e
00000604: JUMP
00000605: JUMPDEST
00000606: POP
00000607: PUSH1 0x01
00000609: JUMPDEST
0000060a: SWAP3
0000060b: SWAP2
0000060c: POP
0000060d: POP
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x00
00000612: SLOAD
00000613: SWAP1
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH1 0x00
00000618: PUSH2 0x0621
0000061b: CALLER
0000061c: DUP4
0000061d: PUSH2 0x14a7
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH2 0x0605
00000625: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000646: DUP5
00000647: DUP5
00000648: PUSH2 0x15d2
0000064b: JUMP
0000064c: JUMPDEST
0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000662: DUP4
00000663: AND
00000664: PUSH1 0x00
00000666: SWAP1
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x02
0000066b: PUSH1 0x20
0000066d: SWAP1
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x40
00000672: DUP1
00000673: DUP4
00000674: KECCAK256
00000675: CALLER
00000676: DUP5
00000677: MSTORE
00000678: SWAP1
00000679: SWAP2
0000067a: MSTORE
0000067b: DUP2
0000067c: KECCAK256
0000067d: SLOAD
0000067e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000069f: EQ
000006a0: PUSH2 0x0710
000006a3: JUMPI
000006a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b9: DUP5
000006ba: AND
000006bb: PUSH1 0x00
000006bd: SWAP1
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x02
000006c2: PUSH1 0x20
000006c4: SWAP1
000006c5: DUP2
000006c6: MSTORE
000006c7: PUSH1 0x40
000006c9: DUP1
000006ca: DUP4
000006cb: KECCAK256
000006cc: CALLER
000006cd: DUP5
000006ce: MSTORE
000006cf: SWAP1
000006d0: SWAP2
000006d1: MSTORE
000006d2: SWAP1
000006d3: KECCAK256
000006d4: SLOAD
000006d5: PUSH2 0x06de
000006d8: SWAP1
000006d9: DUP4
000006da: PUSH2 0x1799
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f4: DUP6
000006f5: AND
000006f6: PUSH1 0x00
000006f8: SWAP1
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x02
000006fd: PUSH1 0x20
000006ff: SWAP1
00000700: DUP2
00000701: MSTORE
00000702: PUSH1 0x40
00000704: DUP1
00000705: DUP4
00000706: KECCAK256
00000707: CALLER
00000708: DUP5
00000709: MSTORE
0000070a: SWAP1
0000070b: SWAP2
0000070c: MSTORE
0000070d: SWAP1
0000070e: KECCAK256
0000070f: SSTORE
00000710: JUMPDEST
00000711: PUSH2 0x071b
00000714: DUP5
00000715: DUP5
00000716: DUP5
00000717: PUSH2 0x180b
0000071a: JUMP
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH1 0x01
0000071f: SWAP4
00000720: SWAP3
00000721: POP
00000722: POP
00000723: POP
00000724: JUMP
00000725: JUMPDEST
00000726: PUSH1 0x00
00000728: PUSH2 0x0753
0000072b: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000074c: CALLER
0000074d: ADDRESS
0000074e: DUP6
0000074f: PUSH2 0x1965
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH2 0x0605
00000757: DUP4
00000758: PUSH2 0x0816
0000075b: PUSH1 0x00
0000075d: SLOAD
0000075e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000077f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000794: AND
00000795: PUSH4 0x70a08231
0000079a: ADDRESS
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: DUP3
0000079f: PUSH4 0xffffffff
000007a4: AND
000007a5: PUSH1 0xe0
000007a7: SHL
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x04
000007ac: ADD
000007ad: DUP1
000007ae: DUP3
000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c4: AND
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: SWAP2
000007cb: POP
000007cc: POP
000007cd: PUSH1 0x20
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: DUP1
000007d3: DUP4
000007d4: SUB
000007d5: DUP2
000007d6: DUP7
000007d7: DUP1
000007d8: EXTCODESIZE
000007d9: ISZERO
000007da: DUP1
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: POP
000007e6: GAS
000007e7: STATICCALL
000007e8: ISZERO
000007e9: DUP1
000007ea: ISZERO
000007eb: PUSH2 0x07f8
000007ee: JUMPI
000007ef: RETURNDATASIZE
000007f0: PUSH1 0x00
000007f2: DUP1
000007f3: RETURNDATACOPY
000007f4: RETURNDATASIZE
000007f5: PUSH1 0x00
000007f7: REVERT
000007f8: JUMPDEST
000007f9: POP
000007fa: POP
000007fb: POP
000007fc: POP
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: RETURNDATASIZE
00000801: PUSH1 0x20
00000803: DUP2
00000804: LT
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: POP
00000810: MLOAD
00000811: SWAP1
00000812: PUSH2 0x1799
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH2 0x1b35
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x00
0000081e: PUSH32 0x00000000000000000000000016edcb6af0d62c3eb3c6b3b0537d7007ca3f9835
0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000854: AND
00000855: PUSH4 0xb17b658d
0000085a: CALLER
0000085b: PUSH1 0x40
0000085d: MLOAD
0000085e: DUP3
0000085f: PUSH4 0xffffffff
00000864: AND
00000865: PUSH1 0xe0
00000867: SHL
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x04
0000086c: ADD
0000086d: DUP1
0000086e: DUP3
0000086f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000884: AND
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x20
00000889: ADD
0000088a: SWAP2
0000088b: POP
0000088c: POP
0000088d: PUSH1 0x20
0000088f: PUSH1 0x40
00000891: MLOAD
00000892: DUP1
00000893: DUP4
00000894: SUB
00000895: DUP2
00000896: DUP7
00000897: DUP1
00000898: EXTCODESIZE
00000899: ISZERO
0000089a: DUP1
0000089b: ISZERO
0000089c: PUSH2 0x08a4
0000089f: JUMPI
000008a0: PUSH1 0x00
000008a2: DUP1
000008a3: REVERT
000008a4: JUMPDEST
000008a5: POP
000008a6: GAS
000008a7: STATICCALL
000008a8: ISZERO
000008a9: DUP1
000008aa: ISZERO
000008ab: PUSH2 0x08b8
000008ae: JUMPI
000008af: RETURNDATASIZE
000008b0: PUSH1 0x00
000008b2: DUP1
000008b3: RETURNDATACOPY
000008b4: RETURNDATASIZE
000008b5: PUSH1 0x00
000008b7: REVERT
000008b8: JUMPDEST
000008b9: POP
000008ba: POP
000008bb: POP
000008bc: POP
000008bd: PUSH1 0x40
000008bf: MLOAD
000008c0: RETURNDATASIZE
000008c1: PUSH1 0x20
000008c3: DUP2
000008c4: LT
000008c5: ISZERO
000008c6: PUSH2 0x08ce
000008c9: JUMPI
000008ca: PUSH1 0x00
000008cc: DUP1
000008cd: REVERT
000008ce: JUMPDEST
000008cf: POP
000008d0: MLOAD
000008d1: PUSH2 0x093b
000008d4: JUMPI
000008d5: PUSH1 0x40
000008d7: DUP1
000008d8: MLOAD
000008d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008fa: DUP2
000008fb: MSTORE
000008fc: PUSH1 0x20
000008fe: PUSH1 0x04
00000900: DUP3
00000901: ADD
00000902: MSTORE
00000903: PUSH1 0x15
00000905: PUSH1 0x24
00000907: DUP3
00000908: ADD
00000909: MSTORE
0000090a: PUSH32 0x5374617368546f6b656e3a20464f5242494444454e0000000000000000000000
0000092b: PUSH1 0x44
0000092d: DUP3
0000092e: ADD
0000092f: MSTORE
00000930: SWAP1
00000931: MLOAD
00000932: SWAP1
00000933: DUP2
00000934: SWAP1
00000935: SUB
00000936: PUSH1 0x64
00000938: ADD
00000939: SWAP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: PUSH2 0x0946
0000093f: CALLER
00000940: DUP5
00000941: DUP5
00000942: PUSH2 0x180b
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH32 0x00000000000000000000000016edcb6af0d62c3eb3c6b3b0537d7007ca3f9835
00000968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097d: AND
0000097e: PUSH4 0xb17b658d
00000983: DUP5
00000984: PUSH1 0x40
00000986: MLOAD
00000987: DUP3
00000988: PUSH4 0xffffffff
0000098d: AND
0000098e: PUSH1 0xe0
00000990: SHL
00000991: DUP2
00000992: MSTORE
00000993: PUSH1 0x04
00000995: ADD
00000996: DUP1
00000997: DUP3
00000998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ad: AND
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: SWAP2
000009b4: POP
000009b5: POP
000009b6: PUSH1 0x20
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: DUP1
000009bc: DUP4
000009bd: SUB
000009be: DUP2
000009bf: DUP7
000009c0: DUP1
000009c1: EXTCODESIZE
000009c2: ISZERO
000009c3: DUP1
000009c4: ISZERO
000009c5: PUSH2 0x09cd
000009c8: JUMPI
000009c9: PUSH1 0x00
000009cb: DUP1
000009cc: REVERT
000009cd: JUMPDEST
000009ce: POP
000009cf: GAS
000009d0: STATICCALL
000009d1: ISZERO
000009d2: DUP1
000009d3: ISZERO
000009d4: PUSH2 0x09e1
000009d7: JUMPI
000009d8: RETURNDATASIZE
000009d9: PUSH1 0x00
000009db: DUP1
000009dc: RETURNDATACOPY
000009dd: RETURNDATASIZE
000009de: PUSH1 0x00
000009e0: REVERT
000009e1: JUMPDEST
000009e2: POP
000009e3: POP
000009e4: POP
000009e5: POP
000009e6: PUSH1 0x40
000009e8: MLOAD
000009e9: RETURNDATASIZE
000009ea: PUSH1 0x20
000009ec: DUP2
000009ed: LT
000009ee: ISZERO
000009ef: PUSH2 0x09f7
000009f2: JUMPI
000009f3: PUSH1 0x00
000009f5: DUP1
000009f6: REVERT
000009f7: JUMPDEST
000009f8: POP
000009f9: MLOAD
000009fa: PUSH2 0x0605
000009fd: JUMPI
000009fe: POP
000009ff: POP
00000a00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a15: AND
00000a16: PUSH1 0x00
00000a18: SWAP1
00000a19: DUP2
00000a1a: MSTORE
00000a1b: PUSH1 0x04
00000a1d: PUSH1 0x20
00000a1f: MSTORE
00000a20: PUSH1 0x40
00000a22: SWAP1
00000a23: KECCAK256
00000a24: NUMBER
00000a25: SWAP1
00000a26: SSTORE
00000a27: PUSH1 0x01
00000a29: SWAP1
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000a4d: DUP2
00000a4e: JUMP
00000a4f: JUMPDEST
00000a50: PUSH1 0x00
00000a52: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a88: AND
00000a89: PUSH4 0x313ce567
00000a8e: PUSH1 0x40
00000a90: MLOAD
00000a91: DUP2
00000a92: PUSH4 0xffffffff
00000a97: AND
00000a98: PUSH1 0xe0
00000a9a: SHL
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x04
00000a9f: ADD
00000aa0: PUSH1 0x20
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: DUP1
00000aa6: DUP4
00000aa7: SUB
00000aa8: DUP2
00000aa9: DUP7
00000aaa: DUP1
00000aab: EXTCODESIZE
00000aac: ISZERO
00000aad: DUP1
00000aae: ISZERO
00000aaf: PUSH2 0x0ab7
00000ab2: JUMPI
00000ab3: PUSH1 0x00
00000ab5: DUP1
00000ab6: REVERT
00000ab7: JUMPDEST
00000ab8: POP
00000ab9: GAS
00000aba: STATICCALL
00000abb: ISZERO
00000abc: DUP1
00000abd: ISZERO
00000abe: PUSH2 0x0acb
00000ac1: JUMPI
00000ac2: RETURNDATASIZE
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: RETURNDATACOPY
00000ac7: RETURNDATASIZE
00000ac8: PUSH1 0x00
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: PUSH1 0x40
00000ad2: MLOAD
00000ad3: RETURNDATASIZE
00000ad4: PUSH1 0x20
00000ad6: DUP2
00000ad7: LT
00000ad8: ISZERO
00000ad9: PUSH2 0x0ae1
00000adc: JUMPI
00000add: PUSH1 0x00
00000adf: DUP1
00000ae0: REVERT
00000ae1: JUMPDEST
00000ae2: POP
00000ae3: MLOAD
00000ae4: SWAP1
00000ae5: POP
00000ae6: SWAP1
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH32 0xfd5498c0f3582e99158d71898d68bd09df86150af039e75e12dffe3bdefeb528
00000b0a: DUP2
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000b2e: DUP2
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH1 0x01
00000b33: PUSH1 0x20
00000b35: MSTORE
00000b36: PUSH1 0x00
00000b38: SWAP1
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x40
00000b3d: SWAP1
00000b3e: KECCAK256
00000b3f: SLOAD
00000b40: DUP2
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x03
00000b45: PUSH1 0x20
00000b47: MSTORE
00000b48: PUSH1 0x00
00000b4a: SWAP1
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x40
00000b4f: SWAP1
00000b50: KECCAK256
00000b51: SLOAD
00000b52: DUP2
00000b53: JUMP
00000b54: JUMPDEST
00000b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6a: DUP4
00000b6b: AND
00000b6c: PUSH1 0x00
00000b6e: SWAP1
00000b6f: DUP2
00000b70: MSTORE
00000b71: PUSH1 0x02
00000b73: PUSH1 0x20
00000b75: SWAP1
00000b76: DUP2
00000b77: MSTORE
00000b78: PUSH1 0x40
00000b7a: DUP1
00000b7b: DUP4
00000b7c: KECCAK256
00000b7d: CALLER
00000b7e: DUP1
00000b7f: DUP6
00000b80: MSTORE
00000b81: SWAP3
00000b82: MSTORE
00000b83: DUP3
00000b84: KECCAK256
00000b85: SLOAD
00000b86: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ba7: EQ
00000ba8: PUSH2 0x0c1c
00000bab: JUMPI
00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc1: DUP1
00000bc2: DUP7
00000bc3: AND
00000bc4: PUSH1 0x00
00000bc6: SWAP1
00000bc7: DUP2
00000bc8: MSTORE
00000bc9: PUSH1 0x02
00000bcb: PUSH1 0x20
00000bcd: SWAP1
00000bce: DUP2
00000bcf: MSTORE
00000bd0: PUSH1 0x40
00000bd2: DUP1
00000bd3: DUP4
00000bd4: KECCAK256
00000bd5: SWAP4
00000bd6: DUP6
00000bd7: AND
00000bd8: DUP4
00000bd9: MSTORE
00000bda: SWAP3
00000bdb: SWAP1
00000bdc: MSTORE
00000bdd: KECCAK256
00000bde: SLOAD
00000bdf: PUSH2 0x0be8
00000be2: SWAP1
00000be3: DUP5
00000be4: PUSH2 0x1799
00000be7: JUMP
00000be8: JUMPDEST
00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfe: DUP1
00000bff: DUP8
00000c00: AND
00000c01: PUSH1 0x00
00000c03: SWAP1
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x02
00000c08: PUSH1 0x20
00000c0a: SWAP1
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x40
00000c0f: DUP1
00000c10: DUP4
00000c11: KECCAK256
00000c12: SWAP4
00000c13: DUP7
00000c14: AND
00000c15: DUP4
00000c16: MSTORE
00000c17: SWAP3
00000c18: SWAP1
00000c19: MSTORE
00000c1a: KECCAK256
00000c1b: SSTORE
00000c1c: JUMPDEST
00000c1d: PUSH2 0x0c26
00000c20: DUP6
00000c21: DUP5
00000c22: PUSH2 0x14a7
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH2 0x0c51
00000c2a: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c4b: DUP6
00000c4c: DUP6
00000c4d: PUSH2 0x15d2
00000c50: JUMP
00000c51: JUMPDEST
00000c52: POP
00000c53: PUSH1 0x01
00000c55: SWAP5
00000c56: SWAP4
00000c57: POP
00000c58: POP
00000c59: POP
00000c5a: POP
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x60
00000c5f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c95: AND
00000c96: PUSH4 0x95d89b41
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: DUP2
00000c9f: PUSH4 0xffffffff
00000ca4: AND
00000ca5: PUSH1 0xe0
00000ca7: SHL
00000ca8: DUP2
00000ca9: MSTORE
00000caa: PUSH1 0x04
00000cac: ADD
00000cad: PUSH1 0x00
00000caf: PUSH1 0x40
00000cb1: MLOAD
00000cb2: DUP1
00000cb3: DUP4
00000cb4: SUB
00000cb5: DUP2
00000cb6: DUP7
00000cb7: DUP1
00000cb8: EXTCODESIZE
00000cb9: ISZERO
00000cba: DUP1
00000cbb: ISZERO
00000cbc: PUSH2 0x0cc4
00000cbf: JUMPI
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: REVERT
00000cc4: JUMPDEST
00000cc5: POP
00000cc6: GAS
00000cc7: STATICCALL
00000cc8: ISZERO
00000cc9: DUP1
00000cca: ISZERO
00000ccb: PUSH2 0x0cd8
00000cce: JUMPI
00000ccf: RETURNDATASIZE
00000cd0: PUSH1 0x00
00000cd2: DUP1
00000cd3: RETURNDATACOPY
00000cd4: RETURNDATASIZE
00000cd5: PUSH1 0x00
00000cd7: REVERT
00000cd8: JUMPDEST
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: POP
00000cdd: PUSH1 0x40
00000cdf: MLOAD
00000ce0: RETURNDATASIZE
00000ce1: PUSH1 0x00
00000ce3: DUP3
00000ce4: RETURNDATACOPY
00000ce5: PUSH1 0x1f
00000ce7: RETURNDATASIZE
00000ce8: SWAP1
00000ce9: DUP2
00000cea: ADD
00000ceb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000d0c: AND
00000d0d: DUP3
00000d0e: ADD
00000d0f: PUSH1 0x40
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: DUP2
00000d15: LT
00000d16: ISZERO
00000d17: PUSH2 0x0d1f
00000d1a: JUMPI
00000d1b: PUSH1 0x00
00000d1d: DUP1
00000d1e: REVERT
00000d1f: JUMPDEST
00000d20: DUP2
00000d21: ADD
00000d22: SWAP1
00000d23: DUP1
00000d24: DUP1
00000d25: MLOAD
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: SWAP4
00000d2a: SWAP3
00000d2b: SWAP2
00000d2c: SWAP1
00000d2d: DUP5
00000d2e: PUSH5 0x0100000000
00000d34: DUP3
00000d35: GT
00000d36: ISZERO
00000d37: PUSH2 0x0d3f
00000d3a: JUMPI
00000d3b: PUSH1 0x00
00000d3d: DUP1
00000d3e: REVERT
00000d3f: JUMPDEST
00000d40: SWAP1
00000d41: DUP4
00000d42: ADD
00000d43: SWAP1
00000d44: PUSH1 0x20
00000d46: DUP3
00000d47: ADD
00000d48: DUP6
00000d49: DUP2
00000d4a: GT
00000d4b: ISZERO
00000d4c: PUSH2 0x0d54
00000d4f: JUMPI
00000d50: PUSH1 0x00
00000d52: DUP1
00000d53: REVERT
00000d54: JUMPDEST
00000d55: DUP3
00000d56: MLOAD
00000d57: PUSH5 0x0100000000
00000d5d: DUP2
00000d5e: GT
00000d5f: DUP3
00000d60: DUP3
00000d61: ADD
00000d62: DUP9
00000d63: LT
00000d64: OR
00000d65: ISZERO
00000d66: PUSH2 0x0d6e
00000d69: JUMPI
00000d6a: PUSH1 0x00
00000d6c: DUP1
00000d6d: REVERT
00000d6e: JUMPDEST
00000d6f: DUP3
00000d70: MSTORE
00000d71: POP
00000d72: DUP2
00000d73: MLOAD
00000d74: PUSH1 0x20
00000d76: SWAP2
00000d77: DUP3
00000d78: ADD
00000d79: SWAP3
00000d7a: SWAP1
00000d7b: SWAP2
00000d7c: ADD
00000d7d: SWAP1
00000d7e: DUP1
00000d7f: DUP4
00000d80: DUP4
00000d81: PUSH1 0x00
00000d83: JUMPDEST
00000d84: DUP4
00000d85: DUP2
00000d86: LT
00000d87: ISZERO
00000d88: PUSH2 0x0d9b
00000d8b: JUMPI
00000d8c: DUP2
00000d8d: DUP2
00000d8e: ADD
00000d8f: MLOAD
00000d90: DUP4
00000d91: DUP3
00000d92: ADD
00000d93: MSTORE
00000d94: PUSH1 0x20
00000d96: ADD
00000d97: PUSH2 0x0d83
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: POP
00000d9d: POP
00000d9e: POP
00000d9f: POP
00000da0: SWAP1
00000da1: POP
00000da2: SWAP1
00000da3: DUP2
00000da4: ADD
00000da5: SWAP1
00000da6: PUSH1 0x1f
00000da8: AND
00000da9: DUP1
00000daa: ISZERO
00000dab: PUSH2 0x0dc8
00000dae: JUMPI
00000daf: DUP1
00000db0: DUP3
00000db1: SUB
00000db2: DUP1
00000db3: MLOAD
00000db4: PUSH1 0x01
00000db6: DUP4
00000db7: PUSH1 0x20
00000db9: SUB
00000dba: PUSH2 0x0100
00000dbd: EXP
00000dbe: SUB
00000dbf: NOT
00000dc0: AND
00000dc1: DUP2
00000dc2: MSTORE
00000dc3: PUSH1 0x20
00000dc5: ADD
00000dc6: SWAP2
00000dc7: POP
00000dc8: JUMPDEST
00000dc9: POP
00000dca: PUSH1 0x40
00000dcc: MSTORE
00000dcd: POP
00000dce: POP
00000dcf: POP
00000dd0: PUSH1 0x40
00000dd2: MLOAD
00000dd3: PUSH1 0x20
00000dd5: ADD
00000dd6: DUP1
00000dd7: DUP1
00000dd8: PUSH32 0x73746173682d0000000000000000000000000000000000000000000000000000
00000df9: DUP2
00000dfa: MSTORE
00000dfb: POP
00000dfc: PUSH1 0x06
00000dfe: ADD
00000dff: DUP3
00000e00: DUP1
00000e01: MLOAD
00000e02: SWAP1
00000e03: PUSH1 0x20
00000e05: ADD
00000e06: SWAP1
00000e07: DUP1
00000e08: DUP4
00000e09: DUP4
00000e0a: JUMPDEST
00000e0b: PUSH1 0x20
00000e0d: DUP4
00000e0e: LT
00000e0f: PUSH2 0x0e47
00000e12: JUMPI
00000e13: DUP1
00000e14: MLOAD
00000e15: DUP3
00000e16: MSTORE
00000e17: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000e38: SWAP1
00000e39: SWAP3
00000e3a: ADD
00000e3b: SWAP2
00000e3c: PUSH1 0x20
00000e3e: SWAP2
00000e3f: DUP3
00000e40: ADD
00000e41: SWAP2
00000e42: ADD
00000e43: PUSH2 0x0e0a
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH1 0x01
00000e4a: DUP4
00000e4b: PUSH1 0x20
00000e4d: SUB
00000e4e: PUSH2 0x0100
00000e51: EXP
00000e52: SUB
00000e53: DUP1
00000e54: NOT
00000e55: DUP3
00000e56: MLOAD
00000e57: AND
00000e58: DUP2
00000e59: DUP5
00000e5a: MLOAD
00000e5b: AND
00000e5c: DUP1
00000e5d: DUP3
00000e5e: OR
00000e5f: DUP6
00000e60: MSTORE
00000e61: POP
00000e62: POP
00000e63: POP
00000e64: POP
00000e65: POP
00000e66: POP
00000e67: SWAP1
00000e68: POP
00000e69: ADD
00000e6a: SWAP2
00000e6b: POP
00000e6c: POP
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: PUSH1 0x20
00000e72: DUP2
00000e73: DUP4
00000e74: SUB
00000e75: SUB
00000e76: DUP2
00000e77: MSTORE
00000e78: SWAP1
00000e79: PUSH1 0x40
00000e7b: MSTORE
00000e7c: SWAP1
00000e7d: POP
00000e7e: SWAP1
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x40
00000e83: DUP1
00000e84: MLOAD
00000e85: PUSH32 0xd505accf00000000000000000000000000000000000000000000000000000000
00000ea6: DUP2
00000ea7: MSTORE
00000ea8: CALLER
00000ea9: PUSH1 0x04
00000eab: DUP3
00000eac: ADD
00000ead: MSTORE
00000eae: ADDRESS
00000eaf: PUSH1 0x24
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: PUSH1 0x44
00000eb6: DUP2
00000eb7: ADD
00000eb8: DUP8
00000eb9: SWAP1
00000eba: MSTORE
00000ebb: PUSH1 0x64
00000ebd: DUP2
00000ebe: ADD
00000ebf: DUP7
00000ec0: SWAP1
00000ec1: MSTORE
00000ec2: PUSH1 0xff
00000ec4: DUP6
00000ec5: AND
00000ec6: PUSH1 0x84
00000ec8: DUP3
00000ec9: ADD
00000eca: MSTORE
00000ecb: PUSH1 0xa4
00000ecd: DUP2
00000ece: ADD
00000ecf: DUP5
00000ed0: SWAP1
00000ed1: MSTORE
00000ed2: PUSH1 0xc4
00000ed4: DUP2
00000ed5: ADD
00000ed6: DUP4
00000ed7: SWAP1
00000ed8: MSTORE
00000ed9: SWAP1
00000eda: MLOAD
00000edb: PUSH1 0x00
00000edd: SWAP2
00000ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef3: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000f14: AND
00000f15: SWAP2
00000f16: PUSH4 0xd505accf
00000f1b: SWAP2
00000f1c: PUSH1 0xe4
00000f1e: DUP1
00000f1f: DUP3
00000f20: ADD
00000f21: SWAP3
00000f22: DUP7
00000f23: SWAP3
00000f24: SWAP1
00000f25: SWAP2
00000f26: SWAP1
00000f27: DUP3
00000f28: SWAP1
00000f29: SUB
00000f2a: ADD
00000f2b: DUP2
00000f2c: DUP4
00000f2d: DUP8
00000f2e: DUP1
00000f2f: EXTCODESIZE
00000f30: ISZERO
00000f31: DUP1
00000f32: ISZERO
00000f33: PUSH2 0x0f3b
00000f36: JUMPI
00000f37: PUSH1 0x00
00000f39: DUP1
00000f3a: REVERT
00000f3b: JUMPDEST
00000f3c: POP
00000f3d: GAS
00000f3e: CALL
00000f3f: ISZERO
00000f40: DUP1
00000f41: ISZERO
00000f42: PUSH2 0x0f4f
00000f45: JUMPI
00000f46: RETURNDATASIZE
00000f47: PUSH1 0x00
00000f49: DUP1
00000f4a: RETURNDATACOPY
00000f4b: RETURNDATASIZE
00000f4c: PUSH1 0x00
00000f4e: REVERT
00000f4f: JUMPDEST
00000f50: POP
00000f51: POP
00000f52: POP
00000f53: POP
00000f54: PUSH2 0x0f7f
00000f57: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000f78: CALLER
00000f79: ADDRESS
00000f7a: DUP10
00000f7b: PUSH2 0x1965
00000f7e: JUMP
00000f7f: JUMPDEST
00000f80: PUSH2 0x1010
00000f83: DUP8
00000f84: PUSH2 0x0816
00000f87: PUSH1 0x00
00000f89: SLOAD
00000f8a: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc0: AND
00000fc1: PUSH4 0x70a08231
00000fc6: ADDRESS
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: DUP3
00000fcb: PUSH4 0xffffffff
00000fd0: AND
00000fd1: PUSH1 0xe0
00000fd3: SHL
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x04
00000fd8: ADD
00000fd9: DUP1
00000fda: DUP3
00000fdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff0: AND
00000ff1: DUP2
00000ff2: MSTORE
00000ff3: PUSH1 0x20
00000ff5: ADD
00000ff6: SWAP2
00000ff7: POP
00000ff8: POP
00000ff9: PUSH1 0x20
00000ffb: PUSH1 0x40
00000ffd: MLOAD
00000ffe: DUP1
00000fff: DUP4
00001000: SUB
00001001: DUP2
00001002: DUP7
00001003: DUP1
00001004: EXTCODESIZE
00001005: ISZERO
00001006: DUP1
00001007: ISZERO
00001008: PUSH2 0x07e4
0000100b: JUMPI
0000100c: PUSH1 0x00
0000100e: DUP1
0000100f: REVERT
00001010: JUMPDEST
00001011: POP
00001012: PUSH1 0x01
00001014: SWAP7
00001015: SWAP6
00001016: POP
00001017: POP
00001018: POP
00001019: POP
0000101a: POP
0000101b: POP
0000101c: JUMP
0000101d: JUMPDEST
0000101e: PUSH1 0x00
00001020: PUSH2 0x0605
00001023: CALLER
00001024: DUP5
00001025: DUP5
00001026: PUSH2 0x180b
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x00
0000102d: DUP1
0000102e: PUSH2 0x10ba
00001031: PUSH1 0x00
00001033: SLOAD
00001034: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001055: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106a: AND
0000106b: PUSH4 0x70a08231
00001070: ADDRESS
00001071: PUSH1 0x40
00001073: MLOAD
00001074: DUP3
00001075: PUSH4 0xffffffff
0000107a: AND
0000107b: PUSH1 0xe0
0000107d: SHL
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x04
00001082: ADD
00001083: DUP1
00001084: DUP3
00001085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109a: AND
0000109b: DUP2
0000109c: MSTORE
0000109d: PUSH1 0x20
0000109f: ADD
000010a0: SWAP2
000010a1: POP
000010a2: POP
000010a3: PUSH1 0x20
000010a5: PUSH1 0x40
000010a7: MLOAD
000010a8: DUP1
000010a9: DUP4
000010aa: SUB
000010ab: DUP2
000010ac: DUP7
000010ad: DUP1
000010ae: EXTCODESIZE
000010af: ISZERO
000010b0: DUP1
000010b1: ISZERO
000010b2: PUSH2 0x07e4
000010b5: JUMPI
000010b6: PUSH1 0x00
000010b8: DUP1
000010b9: REVERT
000010ba: JUMPDEST
000010bb: SWAP1
000010bc: POP
000010bd: PUSH2 0x0609
000010c0: DUP4
000010c1: DUP3
000010c2: PUSH2 0x1b35
000010c5: JUMP
000010c6: JUMPDEST
000010c7: PUSH1 0x00
000010c9: DUP1
000010ca: PUSH2 0x1156
000010cd: PUSH1 0x00
000010cf: SLOAD
000010d0: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001106: AND
00001107: PUSH4 0x70a08231
0000110c: ADDRESS
0000110d: PUSH1 0x40
0000110f: MLOAD
00001110: DUP3
00001111: PUSH4 0xffffffff
00001116: AND
00001117: PUSH1 0xe0
00001119: SHL
0000111a: DUP2
0000111b: MSTORE
0000111c: PUSH1 0x04
0000111e: ADD
0000111f: DUP1
00001120: DUP3
00001121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001136: AND
00001137: DUP2
00001138: MSTORE
00001139: PUSH1 0x20
0000113b: ADD
0000113c: SWAP2
0000113d: POP
0000113e: POP
0000113f: PUSH1 0x20
00001141: PUSH1 0x40
00001143: MLOAD
00001144: DUP1
00001145: DUP4
00001146: SUB
00001147: DUP2
00001148: DUP7
00001149: DUP1
0000114a: EXTCODESIZE
0000114b: ISZERO
0000114c: DUP1
0000114d: ISZERO
0000114e: PUSH2 0x07e4
00001151: JUMPI
00001152: PUSH1 0x00
00001154: DUP1
00001155: REVERT
00001156: JUMPDEST
00001157: SWAP1
00001158: POP
00001159: PUSH2 0x1162
0000115c: CALLER
0000115d: DUP3
0000115e: PUSH2 0x1b35
00001161: JUMP
00001162: JUMPDEST
00001163: SWAP1
00001164: POP
00001165: SWAP1
00001166: JUMP
00001167: JUMPDEST
00001168: TIMESTAMP
00001169: DUP5
0000116a: LT
0000116b: ISZERO
0000116c: PUSH2 0x11d6
0000116f: JUMPI
00001170: PUSH1 0x40
00001172: DUP1
00001173: MLOAD
00001174: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001195: DUP2
00001196: MSTORE
00001197: PUSH1 0x20
00001199: PUSH1 0x04
0000119b: DUP3
0000119c: ADD
0000119d: MSTORE
0000119e: PUSH1 0x12
000011a0: PUSH1 0x24
000011a2: DUP3
000011a3: ADD
000011a4: MSTORE
000011a5: PUSH32 0x534c4f5745524332303a20455850495245440000000000000000000000000000
000011c6: PUSH1 0x44
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: SWAP1
000011cc: MLOAD
000011cd: SWAP1
000011ce: DUP2
000011cf: SWAP1
000011d0: SUB
000011d1: PUSH1 0x64
000011d3: ADD
000011d4: SWAP1
000011d5: REVERT
000011d6: JUMPDEST
000011d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ec: DUP1
000011ed: DUP9
000011ee: AND
000011ef: PUSH1 0x00
000011f1: DUP2
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x03
000011f6: PUSH1 0x20
000011f8: SWAP1
000011f9: DUP2
000011fa: MSTORE
000011fb: PUSH1 0x40
000011fd: DUP1
000011fe: DUP4
000011ff: KECCAK256
00001200: DUP1
00001201: SLOAD
00001202: PUSH1 0x01
00001204: DUP1
00001205: DUP3
00001206: ADD
00001207: SWAP1
00001208: SWAP3
00001209: SSTORE
0000120a: DUP3
0000120b: MLOAD
0000120c: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000122d: DUP2
0000122e: DUP7
0000122f: ADD
00001230: MSTORE
00001231: DUP1
00001232: DUP5
00001233: ADD
00001234: SWAP7
00001235: SWAP1
00001236: SWAP7
00001237: MSTORE
00001238: SWAP6
00001239: DUP13
0000123a: AND
0000123b: PUSH1 0x60
0000123d: DUP7
0000123e: ADD
0000123f: MSTORE
00001240: PUSH1 0x80
00001242: DUP6
00001243: ADD
00001244: DUP12
00001245: SWAP1
00001246: MSTORE
00001247: PUSH1 0xa0
00001249: DUP6
0000124a: ADD
0000124b: SWAP6
0000124c: SWAP1
0000124d: SWAP6
0000124e: MSTORE
0000124f: PUSH1 0xc0
00001251: DUP1
00001252: DUP6
00001253: ADD
00001254: DUP11
00001255: SWAP1
00001256: MSTORE
00001257: DUP2
00001258: MLOAD
00001259: DUP1
0000125a: DUP7
0000125b: SUB
0000125c: SWAP1
0000125d: SWAP2
0000125e: ADD
0000125f: DUP2
00001260: MSTORE
00001261: PUSH1 0xe0
00001263: DUP6
00001264: ADD
00001265: DUP3
00001266: MSTORE
00001267: DUP1
00001268: MLOAD
00001269: SWAP1
0000126a: DUP4
0000126b: ADD
0000126c: KECCAK256
0000126d: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
0000128e: PUSH2 0x0100
00001291: DUP7
00001292: ADD
00001293: MSTORE
00001294: PUSH32 0xfd5498c0f3582e99158d71898d68bd09df86150af039e75e12dffe3bdefeb528
000012b5: PUSH2 0x0102
000012b8: DUP7
000012b9: ADD
000012ba: MSTORE
000012bb: PUSH2 0x0122
000012be: DUP1
000012bf: DUP7
000012c0: ADD
000012c1: SWAP2
000012c2: SWAP1
000012c3: SWAP2
000012c4: MSTORE
000012c5: DUP2
000012c6: MLOAD
000012c7: DUP1
000012c8: DUP7
000012c9: SUB
000012ca: SWAP1
000012cb: SWAP2
000012cc: ADD
000012cd: DUP2
000012ce: MSTORE
000012cf: PUSH2 0x0142
000012d2: DUP6
000012d3: ADD
000012d4: DUP1
000012d5: DUP4
000012d6: MSTORE
000012d7: DUP2
000012d8: MLOAD
000012d9: SWAP2
000012da: DUP5
000012db: ADD
000012dc: SWAP2
000012dd: SWAP1
000012de: SWAP2
000012df: KECCAK256
000012e0: SWAP1
000012e1: DUP5
000012e2: SWAP1
000012e3: MSTORE
000012e4: PUSH2 0x0162
000012e7: DUP6
000012e8: ADD
000012e9: DUP1
000012ea: DUP4
000012eb: MSTORE
000012ec: DUP2
000012ed: SWAP1
000012ee: MSTORE
000012ef: PUSH1 0xff
000012f1: DUP10
000012f2: AND
000012f3: PUSH2 0x0182
000012f6: DUP7
000012f7: ADD
000012f8: MSTORE
000012f9: PUSH2 0x01a2
000012fc: DUP6
000012fd: ADD
000012fe: DUP9
000012ff: SWAP1
00001300: MSTORE
00001301: PUSH2 0x01c2
00001304: DUP6
00001305: ADD
00001306: DUP8
00001307: SWAP1
00001308: MSTORE
00001309: SWAP1
0000130a: MLOAD
0000130b: SWAP1
0000130c: SWAP5
0000130d: SWAP3
0000130e: SWAP4
0000130f: PUSH2 0x01e2
00001312: DUP1
00001313: DUP3
00001314: ADD
00001315: SWAP4
00001316: SWAP3
00001317: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001338: DUP2
00001339: ADD
0000133a: SWAP3
0000133b: DUP2
0000133c: SWAP1
0000133d: SUB
0000133e: SWAP1
0000133f: SWAP2
00001340: ADD
00001341: SWAP1
00001342: DUP6
00001343: GAS
00001344: STATICCALL
00001345: ISZERO
00001346: DUP1
00001347: ISZERO
00001348: PUSH2 0x1355
0000134b: JUMPI
0000134c: RETURNDATASIZE
0000134d: PUSH1 0x00
0000134f: DUP1
00001350: RETURNDATACOPY
00001351: RETURNDATASIZE
00001352: PUSH1 0x00
00001354: REVERT
00001355: JUMPDEST
00001356: POP
00001357: POP
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000137c: ADD
0000137d: MLOAD
0000137e: SWAP2
0000137f: POP
00001380: POP
00001381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001396: DUP2
00001397: AND
00001398: ISZERO
00001399: DUP1
0000139a: ISZERO
0000139b: SWAP1
0000139c: PUSH2 0x13d0
0000139f: JUMPI
000013a0: POP
000013a1: DUP9
000013a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b7: AND
000013b8: DUP2
000013b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ce: AND
000013cf: EQ
000013d0: JUMPDEST
000013d1: PUSH2 0x143b
000013d4: JUMPI
000013d5: PUSH1 0x40
000013d7: DUP1
000013d8: MLOAD
000013d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013fa: DUP2
000013fb: MSTORE
000013fc: PUSH1 0x20
000013fe: PUSH1 0x04
00001400: DUP3
00001401: ADD
00001402: MSTORE
00001403: PUSH1 0x1c
00001405: PUSH1 0x24
00001407: DUP3
00001408: ADD
00001409: MSTORE
0000140a: PUSH32 0x534c4f5745524332303a20494e56414c49445f5349474e415455524500000000
0000142b: PUSH1 0x44
0000142d: DUP3
0000142e: ADD
0000142f: MSTORE
00001430: SWAP1
00001431: MLOAD
00001432: SWAP1
00001433: DUP2
00001434: SWAP1
00001435: SUB
00001436: PUSH1 0x64
00001438: ADD
00001439: SWAP1
0000143a: REVERT
0000143b: JUMPDEST
0000143c: PUSH2 0x1446
0000143f: DUP10
00001440: DUP10
00001441: DUP10
00001442: PUSH2 0x146e
00001445: JUMP
00001446: JUMPDEST
00001447: POP
00001448: POP
00001449: POP
0000144a: POP
0000144b: POP
0000144c: POP
0000144d: POP
0000144e: POP
0000144f: POP
00001450: JUMP
00001451: JUMPDEST
00001452: PUSH1 0x02
00001454: PUSH1 0x20
00001456: SWAP1
00001457: DUP2
00001458: MSTORE
00001459: PUSH1 0x00
0000145b: SWAP3
0000145c: DUP4
0000145d: MSTORE
0000145e: PUSH1 0x40
00001460: DUP1
00001461: DUP5
00001462: KECCAK256
00001463: SWAP1
00001464: SWAP2
00001465: MSTORE
00001466: SWAP1
00001467: DUP3
00001468: MSTORE
00001469: SWAP1
0000146a: KECCAK256
0000146b: SLOAD
0000146c: DUP2
0000146d: JUMP
0000146e: JUMPDEST
0000146f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001484: SWAP3
00001485: DUP4
00001486: AND
00001487: PUSH1 0x00
00001489: SWAP1
0000148a: DUP2
0000148b: MSTORE
0000148c: PUSH1 0x02
0000148e: PUSH1 0x20
00001490: SWAP1
00001491: DUP2
00001492: MSTORE
00001493: PUSH1 0x40
00001495: DUP1
00001496: DUP4
00001497: KECCAK256
00001498: SWAP5
00001499: SWAP1
0000149a: SWAP6
0000149b: AND
0000149c: DUP3
0000149d: MSTORE
0000149e: SWAP3
0000149f: SWAP1
000014a0: SWAP3
000014a1: MSTORE
000014a2: SWAP2
000014a3: SWAP1
000014a4: KECCAK256
000014a5: SSTORE
000014a6: JUMP
000014a7: JUMPDEST
000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bd: DUP3
000014be: AND
000014bf: PUSH1 0x00
000014c1: SWAP1
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x04
000014c6: PUSH1 0x20
000014c8: MSTORE
000014c9: PUSH1 0x40
000014cb: SWAP1
000014cc: KECCAK256
000014cd: SLOAD
000014ce: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
000014ef: SWAP1
000014f0: PUSH2 0x14fa
000014f3: SWAP1
000014f4: NUMBER
000014f5: SWAP1
000014f6: PUSH2 0x1799
000014f9: JUMP
000014fa: JUMPDEST
000014fb: LT
000014fc: ISZERO
000014fd: PUSH2 0x1567
00001500: JUMPI
00001501: PUSH1 0x40
00001503: DUP1
00001504: MLOAD
00001505: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: PUSH1 0x04
0000152c: DUP3
0000152d: ADD
0000152e: MSTORE
0000152f: PUSH1 0x12
00001531: PUSH1 0x24
00001533: DUP3
00001534: ADD
00001535: MSTORE
00001536: PUSH32 0x534c4f5745524332303a20424c4f434b45440000000000000000000000000000
00001557: PUSH1 0x44
00001559: DUP3
0000155a: ADD
0000155b: MSTORE
0000155c: SWAP1
0000155d: MLOAD
0000155e: SWAP1
0000155f: DUP2
00001560: SWAP1
00001561: SUB
00001562: PUSH1 0x64
00001564: ADD
00001565: SWAP1
00001566: REVERT
00001567: JUMPDEST
00001568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157d: DUP3
0000157e: AND
0000157f: PUSH1 0x00
00001581: SWAP1
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x01
00001586: PUSH1 0x20
00001588: MSTORE
00001589: PUSH1 0x40
0000158b: SWAP1
0000158c: KECCAK256
0000158d: SLOAD
0000158e: PUSH2 0x1597
00001591: SWAP1
00001592: DUP3
00001593: PUSH2 0x1799
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: DUP4
000015ae: AND
000015af: PUSH1 0x00
000015b1: SWAP1
000015b2: DUP2
000015b3: MSTORE
000015b4: PUSH1 0x01
000015b6: PUSH1 0x20
000015b8: MSTORE
000015b9: PUSH1 0x40
000015bb: DUP2
000015bc: KECCAK256
000015bd: SWAP2
000015be: SWAP1
000015bf: SWAP2
000015c0: SSTORE
000015c1: SLOAD
000015c2: PUSH2 0x15cb
000015c5: SWAP1
000015c6: DUP3
000015c7: PUSH2 0x1799
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH1 0x00
000015ce: SSTORE
000015cf: POP
000015d0: POP
000015d1: JUMP
000015d2: JUMPDEST
000015d3: PUSH1 0x40
000015d5: DUP1
000015d6: MLOAD
000015d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ec: DUP5
000015ed: DUP2
000015ee: AND
000015ef: PUSH1 0x24
000015f1: DUP4
000015f2: ADD
000015f3: MSTORE
000015f4: PUSH1 0x44
000015f6: DUP1
000015f7: DUP4
000015f8: ADD
000015f9: DUP6
000015fa: SWAP1
000015fb: MSTORE
000015fc: DUP4
000015fd: MLOAD
000015fe: DUP1
000015ff: DUP5
00001600: SUB
00001601: SWAP1
00001602: SWAP2
00001603: ADD
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x64
00001608: SWAP1
00001609: SWAP3
0000160a: ADD
0000160b: DUP4
0000160c: MSTORE
0000160d: PUSH1 0x20
0000160f: DUP3
00001610: ADD
00001611: DUP1
00001612: MLOAD
00001613: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001630: AND
00001631: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001652: OR
00001653: DUP2
00001654: MSTORE
00001655: SWAP3
00001656: MLOAD
00001657: DUP3
00001658: MLOAD
00001659: PUSH1 0x00
0000165b: SWAP5
0000165c: PUSH1 0x60
0000165e: SWAP5
0000165f: SWAP4
00001660: DUP10
00001661: AND
00001662: SWAP4
00001663: SWAP3
00001664: SWAP2
00001665: DUP3
00001666: SWAP2
00001667: SWAP1
00001668: DUP1
00001669: DUP4
0000166a: DUP4
0000166b: JUMPDEST
0000166c: PUSH1 0x20
0000166e: DUP4
0000166f: LT
00001670: PUSH2 0x16a8
00001673: JUMPI
00001674: DUP1
00001675: MLOAD
00001676: DUP3
00001677: MSTORE
00001678: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001699: SWAP1
0000169a: SWAP3
0000169b: ADD
0000169c: SWAP2
0000169d: PUSH1 0x20
0000169f: SWAP2
000016a0: DUP3
000016a1: ADD
000016a2: SWAP2
000016a3: ADD
000016a4: PUSH2 0x166b
000016a7: JUMP
000016a8: JUMPDEST
000016a9: PUSH1 0x01
000016ab: DUP4
000016ac: PUSH1 0x20
000016ae: SUB
000016af: PUSH2 0x0100
000016b2: EXP
000016b3: SUB
000016b4: DUP1
000016b5: NOT
000016b6: DUP3
000016b7: MLOAD
000016b8: AND
000016b9: DUP2
000016ba: DUP5
000016bb: MLOAD
000016bc: AND
000016bd: DUP1
000016be: DUP3
000016bf: OR
000016c0: DUP6
000016c1: MSTORE
000016c2: POP
000016c3: POP
000016c4: POP
000016c5: POP
000016c6: POP
000016c7: POP
000016c8: SWAP1
000016c9: POP
000016ca: ADD
000016cb: SWAP2
000016cc: POP
000016cd: POP
000016ce: PUSH1 0x00
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: DUP1
000016d4: DUP4
000016d5: SUB
000016d6: DUP2
000016d7: PUSH1 0x00
000016d9: DUP7
000016da: GAS
000016db: CALL
000016dc: SWAP2
000016dd: POP
000016de: POP
000016df: RETURNDATASIZE
000016e0: DUP1
000016e1: PUSH1 0x00
000016e3: DUP2
000016e4: EQ
000016e5: PUSH2 0x170a
000016e8: JUMPI
000016e9: PUSH1 0x40
000016eb: MLOAD
000016ec: SWAP2
000016ed: POP
000016ee: PUSH1 0x1f
000016f0: NOT
000016f1: PUSH1 0x3f
000016f3: RETURNDATASIZE
000016f4: ADD
000016f5: AND
000016f6: DUP3
000016f7: ADD
000016f8: PUSH1 0x40
000016fa: MSTORE
000016fb: RETURNDATASIZE
000016fc: DUP3
000016fd: MSTORE
000016fe: RETURNDATASIZE
000016ff: PUSH1 0x00
00001701: PUSH1 0x20
00001703: DUP5
00001704: ADD
00001705: RETURNDATACOPY
00001706: PUSH2 0x170f
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH1 0x60
0000170d: SWAP2
0000170e: POP
0000170f: JUMPDEST
00001710: POP
00001711: SWAP2
00001712: POP
00001713: SWAP2
00001714: POP
00001715: DUP2
00001716: DUP1
00001717: ISZERO
00001718: PUSH2 0x173d
0000171b: JUMPI
0000171c: POP
0000171d: DUP1
0000171e: MLOAD
0000171f: ISZERO
00001720: DUP1
00001721: PUSH2 0x173d
00001724: JUMPI
00001725: POP
00001726: DUP1
00001727: DUP1
00001728: PUSH1 0x20
0000172a: ADD
0000172b: SWAP1
0000172c: MLOAD
0000172d: PUSH1 0x20
0000172f: DUP2
00001730: LT
00001731: ISZERO
00001732: PUSH2 0x173a
00001735: JUMPI
00001736: PUSH1 0x00
00001738: DUP1
00001739: REVERT
0000173a: JUMPDEST
0000173b: POP
0000173c: MLOAD
0000173d: JUMPDEST
0000173e: PUSH2 0x1792
00001741: JUMPI
00001742: PUSH1 0x40
00001744: MLOAD
00001745: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x04
0000176a: ADD
0000176b: DUP1
0000176c: DUP1
0000176d: PUSH1 0x20
0000176f: ADD
00001770: DUP3
00001771: DUP2
00001772: SUB
00001773: DUP3
00001774: MSTORE
00001775: PUSH1 0x2d
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x20
0000177b: ADD
0000177c: DUP1
0000177d: PUSH2 0x1c45
00001780: PUSH1 0x2d
00001782: SWAP2
00001783: CODECOPY
00001784: PUSH1 0x40
00001786: ADD
00001787: SWAP2
00001788: POP
00001789: POP
0000178a: PUSH1 0x40
0000178c: MLOAD
0000178d: DUP1
0000178e: SWAP2
0000178f: SUB
00001790: SWAP1
00001791: REVERT
00001792: JUMPDEST
00001793: POP
00001794: POP
00001795: POP
00001796: POP
00001797: POP
00001798: JUMP
00001799: JUMPDEST
0000179a: DUP1
0000179b: DUP3
0000179c: SUB
0000179d: DUP3
0000179e: DUP2
0000179f: GT
000017a0: ISZERO
000017a1: PUSH2 0x0609
000017a4: JUMPI
000017a5: PUSH1 0x40
000017a7: DUP1
000017a8: MLOAD
000017a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017ca: DUP2
000017cb: MSTORE
000017cc: PUSH1 0x20
000017ce: PUSH1 0x04
000017d0: DUP3
000017d1: ADD
000017d2: MSTORE
000017d3: PUSH1 0x15
000017d5: PUSH1 0x24
000017d7: DUP3
000017d8: ADD
000017d9: MSTORE
000017da: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
000017fb: PUSH1 0x44
000017fd: DUP3
000017fe: ADD
000017ff: MSTORE
00001800: SWAP1
00001801: MLOAD
00001802: SWAP1
00001803: DUP2
00001804: SWAP1
00001805: SUB
00001806: PUSH1 0x64
00001808: ADD
00001809: SWAP1
0000180a: REVERT
0000180b: JUMPDEST
0000180c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001821: DUP4
00001822: AND
00001823: PUSH1 0x00
00001825: SWAP1
00001826: DUP2
00001827: MSTORE
00001828: PUSH1 0x04
0000182a: PUSH1 0x20
0000182c: MSTORE
0000182d: PUSH1 0x40
0000182f: SWAP1
00001830: KECCAK256
00001831: SLOAD
00001832: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
00001853: SWAP1
00001854: PUSH2 0x185e
00001857: SWAP1
00001858: NUMBER
00001859: SWAP1
0000185a: PUSH2 0x1799
0000185d: JUMP
0000185e: JUMPDEST
0000185f: LT
00001860: ISZERO
00001861: PUSH2 0x18cb
00001864: JUMPI
00001865: PUSH1 0x40
00001867: DUP1
00001868: MLOAD
00001869: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000188a: DUP2
0000188b: MSTORE
0000188c: PUSH1 0x20
0000188e: PUSH1 0x04
00001890: DUP3
00001891: ADD
00001892: MSTORE
00001893: PUSH1 0x12
00001895: PUSH1 0x24
00001897: DUP3
00001898: ADD
00001899: MSTORE
0000189a: PUSH32 0x534c4f5745524332303a20424c4f434b45440000000000000000000000000000
000018bb: PUSH1 0x44
000018bd: DUP3
000018be: ADD
000018bf: MSTORE
000018c0: SWAP1
000018c1: MLOAD
000018c2: SWAP1
000018c3: DUP2
000018c4: SWAP1
000018c5: SUB
000018c6: PUSH1 0x64
000018c8: ADD
000018c9: SWAP1
000018ca: REVERT
000018cb: JUMPDEST
000018cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e1: DUP4
000018e2: AND
000018e3: PUSH1 0x00
000018e5: SWAP1
000018e6: DUP2
000018e7: MSTORE
000018e8: PUSH1 0x01
000018ea: PUSH1 0x20
000018ec: MSTORE
000018ed: PUSH1 0x40
000018ef: SWAP1
000018f0: KECCAK256
000018f1: SLOAD
000018f2: PUSH2 0x18fb
000018f5: SWAP1
000018f6: DUP3
000018f7: PUSH2 0x1799
000018fa: JUMP
000018fb: JUMPDEST
000018fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001911: DUP1
00001912: DUP6
00001913: AND
00001914: PUSH1 0x00
00001916: SWAP1
00001917: DUP2
00001918: MSTORE
00001919: PUSH1 0x01
0000191b: PUSH1 0x20
0000191d: MSTORE
0000191e: PUSH1 0x40
00001920: DUP1
00001921: DUP3
00001922: KECCAK256
00001923: SWAP4
00001924: SWAP1
00001925: SWAP4
00001926: SSTORE
00001927: SWAP1
00001928: DUP5
00001929: AND
0000192a: DUP2
0000192b: MSTORE
0000192c: KECCAK256
0000192d: SLOAD
0000192e: PUSH2 0x1937
00001931: SWAP1
00001932: DUP3
00001933: PUSH2 0x1ba1
00001936: JUMP
00001937: JUMPDEST
00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194d: SWAP1
0000194e: SWAP3
0000194f: AND
00001950: PUSH1 0x00
00001952: SWAP1
00001953: DUP2
00001954: MSTORE
00001955: PUSH1 0x01
00001957: PUSH1 0x20
00001959: MSTORE
0000195a: PUSH1 0x40
0000195c: SWAP1
0000195d: KECCAK256
0000195e: SWAP2
0000195f: SWAP1
00001960: SWAP2
00001961: SSTORE
00001962: POP
00001963: POP
00001964: JUMP
00001965: JUMPDEST
00001966: PUSH1 0x40
00001968: DUP1
00001969: MLOAD
0000196a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197f: DUP6
00001980: DUP2
00001981: AND
00001982: PUSH1 0x24
00001984: DUP4
00001985: ADD
00001986: MSTORE
00001987: DUP5
00001988: DUP2
00001989: AND
0000198a: PUSH1 0x44
0000198c: DUP4
0000198d: ADD
0000198e: MSTORE
0000198f: PUSH1 0x64
00001991: DUP1
00001992: DUP4
00001993: ADD
00001994: DUP6
00001995: SWAP1
00001996: MSTORE
00001997: DUP4
00001998: MLOAD
00001999: DUP1
0000199a: DUP5
0000199b: SUB
0000199c: SWAP1
0000199d: SWAP2
0000199e: ADD
0000199f: DUP2
000019a0: MSTORE
000019a1: PUSH1 0x84
000019a3: SWAP1
000019a4: SWAP3
000019a5: ADD
000019a6: DUP4
000019a7: MSTORE
000019a8: PUSH1 0x20
000019aa: DUP3
000019ab: ADD
000019ac: DUP1
000019ad: MLOAD
000019ae: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019cb: AND
000019cc: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000019ed: OR
000019ee: DUP2
000019ef: MSTORE
000019f0: SWAP3
000019f1: MLOAD
000019f2: DUP3
000019f3: MLOAD
000019f4: PUSH1 0x00
000019f6: SWAP5
000019f7: PUSH1 0x60
000019f9: SWAP5
000019fa: SWAP4
000019fb: DUP11
000019fc: AND
000019fd: SWAP4
000019fe: SWAP3
000019ff: SWAP2
00001a00: DUP3
00001a01: SWAP2
00001a02: SWAP1
00001a03: DUP1
00001a04: DUP4
00001a05: DUP4
00001a06: JUMPDEST
00001a07: PUSH1 0x20
00001a09: DUP4
00001a0a: LT
00001a0b: PUSH2 0x1a43
00001a0e: JUMPI
00001a0f: DUP1
00001a10: MLOAD
00001a11: DUP3
00001a12: MSTORE
00001a13: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001a34: SWAP1
00001a35: SWAP3
00001a36: ADD
00001a37: SWAP2
00001a38: PUSH1 0x20
00001a3a: SWAP2
00001a3b: DUP3
00001a3c: ADD
00001a3d: SWAP2
00001a3e: ADD
00001a3f: PUSH2 0x1a06
00001a42: JUMP
00001a43: JUMPDEST
00001a44: PUSH1 0x01
00001a46: DUP4
00001a47: PUSH1 0x20
00001a49: SUB
00001a4a: PUSH2 0x0100
00001a4d: EXP
00001a4e: SUB
00001a4f: DUP1
00001a50: NOT
00001a51: DUP3
00001a52: MLOAD
00001a53: AND
00001a54: DUP2
00001a55: DUP5
00001a56: MLOAD
00001a57: AND
00001a58: DUP1
00001a59: DUP3
00001a5a: OR
00001a5b: DUP6
00001a5c: MSTORE
00001a5d: POP
00001a5e: POP
00001a5f: POP
00001a60: POP
00001a61: POP
00001a62: POP
00001a63: SWAP1
00001a64: POP
00001a65: ADD
00001a66: SWAP2
00001a67: POP
00001a68: POP
00001a69: PUSH1 0x00
00001a6b: PUSH1 0x40
00001a6d: MLOAD
00001a6e: DUP1
00001a6f: DUP4
00001a70: SUB
00001a71: DUP2
00001a72: PUSH1 0x00
00001a74: DUP7
00001a75: GAS
00001a76: CALL
00001a77: SWAP2
00001a78: POP
00001a79: POP
00001a7a: RETURNDATASIZE
00001a7b: DUP1
00001a7c: PUSH1 0x00
00001a7e: DUP2
00001a7f: EQ
00001a80: PUSH2 0x1aa5
00001a83: JUMPI
00001a84: PUSH1 0x40
00001a86: MLOAD
00001a87: SWAP2
00001a88: POP
00001a89: PUSH1 0x1f
00001a8b: NOT
00001a8c: PUSH1 0x3f
00001a8e: RETURNDATASIZE
00001a8f: ADD
00001a90: AND
00001a91: DUP3
00001a92: ADD
00001a93: PUSH1 0x40
00001a95: MSTORE
00001a96: RETURNDATASIZE
00001a97: DUP3
00001a98: MSTORE
00001a99: RETURNDATASIZE
00001a9a: PUSH1 0x00
00001a9c: PUSH1 0x20
00001a9e: DUP5
00001a9f: ADD
00001aa0: RETURNDATACOPY
00001aa1: PUSH2 0x1aaa
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: PUSH1 0x60
00001aa8: SWAP2
00001aa9: POP
00001aaa: JUMPDEST
00001aab: POP
00001aac: SWAP2
00001aad: POP
00001aae: SWAP2
00001aaf: POP
00001ab0: DUP2
00001ab1: DUP1
00001ab2: ISZERO
00001ab3: PUSH2 0x1ad8
00001ab6: JUMPI
00001ab7: POP
00001ab8: DUP1
00001ab9: MLOAD
00001aba: ISZERO
00001abb: DUP1
00001abc: PUSH2 0x1ad8
00001abf: JUMPI
00001ac0: POP
00001ac1: DUP1
00001ac2: DUP1
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: SWAP1
00001ac7: MLOAD
00001ac8: PUSH1 0x20
00001aca: DUP2
00001acb: LT
00001acc: ISZERO
00001acd: PUSH2 0x1ad5
00001ad0: JUMPI
00001ad1: PUSH1 0x00
00001ad3: DUP1
00001ad4: REVERT
00001ad5: JUMPDEST
00001ad6: POP
00001ad7: MLOAD
00001ad8: JUMPDEST
00001ad9: PUSH2 0x1b2d
00001adc: JUMPI
00001add: PUSH1 0x40
00001adf: MLOAD
00001ae0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b01: DUP2
00001b02: MSTORE
00001b03: PUSH1 0x04
00001b05: ADD
00001b06: DUP1
00001b07: DUP1
00001b08: PUSH1 0x20
00001b0a: ADD
00001b0b: DUP3
00001b0c: DUP2
00001b0d: SUB
00001b0e: DUP3
00001b0f: MSTORE
00001b10: PUSH1 0x31
00001b12: DUP2
00001b13: MSTORE
00001b14: PUSH1 0x20
00001b16: ADD
00001b17: DUP1
00001b18: PUSH2 0x1c14
00001b1b: PUSH1 0x31
00001b1d: SWAP2
00001b1e: CODECOPY
00001b1f: PUSH1 0x40
00001b21: ADD
00001b22: SWAP2
00001b23: POP
00001b24: POP
00001b25: PUSH1 0x40
00001b27: MLOAD
00001b28: DUP1
00001b29: SWAP2
00001b2a: SUB
00001b2b: SWAP1
00001b2c: REVERT
00001b2d: JUMPDEST
00001b2e: POP
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: POP
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x00
00001b38: SLOAD
00001b39: PUSH2 0x1b42
00001b3c: SWAP1
00001b3d: DUP3
00001b3e: PUSH2 0x1ba1
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH1 0x00
00001b45: SWAP1
00001b46: DUP2
00001b47: SSTORE
00001b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5d: DUP4
00001b5e: AND
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x01
00001b63: PUSH1 0x20
00001b65: MSTORE
00001b66: PUSH1 0x40
00001b68: SWAP1
00001b69: KECCAK256
00001b6a: SLOAD
00001b6b: PUSH2 0x1b74
00001b6e: SWAP1
00001b6f: DUP3
00001b70: PUSH2 0x1ba1
00001b73: JUMP
00001b74: JUMPDEST
00001b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8a: SWAP1
00001b8b: SWAP3
00001b8c: AND
00001b8d: PUSH1 0x00
00001b8f: SWAP1
00001b90: DUP2
00001b91: MSTORE
00001b92: PUSH1 0x01
00001b94: PUSH1 0x20
00001b96: MSTORE
00001b97: PUSH1 0x40
00001b99: SWAP1
00001b9a: KECCAK256
00001b9b: SWAP2
00001b9c: SWAP1
00001b9d: SWAP2
00001b9e: SSTORE
00001b9f: POP
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: DUP1
00001ba3: DUP3
00001ba4: ADD
00001ba5: DUP3
00001ba6: DUP2
00001ba7: LT
00001ba8: ISZERO
00001ba9: PUSH2 0x0609
00001bac: JUMPI
00001bad: PUSH1 0x40
00001baf: DUP1
00001bb0: MLOAD
00001bb1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bd2: DUP2
00001bd3: MSTORE
00001bd4: PUSH1 0x20
00001bd6: PUSH1 0x04
00001bd8: DUP3
00001bd9: ADD
00001bda: MSTORE
00001bdb: PUSH1 0x14
00001bdd: PUSH1 0x24
00001bdf: DUP3
00001be0: ADD
00001be1: MSTORE
00001be2: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00001c03: PUSH1 0x44
00001c05: DUP3
00001c06: ADD
00001c07: MSTORE
00001c08: SWAP1
00001c09: MLOAD
00001c0a: SWAP1
00001c0b: DUP2
00001c0c: SWAP1
00001c0d: SUB
00001c0e: PUSH1 0x64
00001c10: ADD
00001c11: SWAP1
00001c12: REVERT
00001c13: INVALID
00001c14: SLOAD
00001c15: PUSH19 0x616e7366657248656c7065723a3a7472616e73
00001c29: PUSH7 0x657246726f6d3a
00001c31: KECCAK256
00001c32: PUSH21 0x72616e7366657246726f6d206661696c6564547261
00001c48: PUSH15 0x7366657248656c7065723a3a736166
00001c58: PUSH6 0x5472616e7366
00001c5f: PUSH6 0x723a20747261
00001c66: PUSH15 0x73666572206661696c6564a2646970
00001c76: PUSH7 0x735822122078ae
00001c7e: ISZERO
00001c7f: LOG4
00001c80: MSTORE
00001c81: PUSH7 0x6d721e59c5c7ec
00001c89: UNKNOWN(0xB4)
00001c8a: UNKNOWN(0xA5)
00001c8b: UNKNOWN(0xE5)
00001c8c: CALLVALUE
00001c8d: CODECOPY
00001c8e: CALLDATALOAD
00001c8f: TSTORE
00001c90: PUSH20 0xe23b763bac522417b0e26564736f6c634300060c
00001ca5: STOP
00001ca6: 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: 0x82ccfc1efbe620b61bebff3022a32bb57c0dadbebec05017952d979dd4b03429 call_targets: 0x67709b3af452440b6cf091308baf7876faaef452 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x82ccfc1efbe620b61bebff3022a32bb57c0dadbebec05017952d979dd4b03429", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x67709b3af452440b6cf091308baf7876faaef452" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa58f33d3", "selector": "0xa58f33d3", "calldata_variants": [ "0xa58f33d3", "0xa58f33d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb760faf9", "selector": "0xb760faf9", "calldata_variants": [ "0xb760faf9", "0xb760faf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ecebe00", "selector": "0x7ecebe00", "calldata_variants": [ "0x7ecebe00", "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9555a942", "selector": "0x9555a942", "calldata_variants": [ "0x9555a942", "0x9555a9420000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3902, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5851, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x82ccfc1efbe620b61bebff3022a32bb57c0dadbebec05017952d979dd4b03429 call_targets: 0x67709b3af452440b6cf091308baf7876faaef452 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x82ccfc1efbe620b61bebff3022a32bb57c0dadbebec05017952d979dd4b03429", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x67709b3af452440b6cf091308baf7876faaef452" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa58f33d3", "selector": "0xa58f33d3", "calldata_variants": [ "0xa58f33d3", "0xa58f33d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb760faf9", "selector": "0xb760faf9", "calldata_variants": [ "0xb760faf9", "0xb760faf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ecebe00", "selector": "0x7ecebe00", "calldata_variants": [ "0x7ecebe00", "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9555a942", "selector": "0x9555a942", "calldata_variants": [ "0x9555a942", "0x9555a9420000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3902, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5851, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 9 }

Severity