TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019ba906-8d22-7374-9813-52003f4ee5fa

complete
Chain ID
1
Address
0x27392910fc7921ac3b451e6a4568906371941df8
Block Number
—
Created
Sat, Jan 10, 2026 5:48 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
33973 artifact.fetch complete 1 / 3 3 months ago
33974 proxy.resolve complete 1 / 3 3 months ago
33975 tool.cast_disasm complete 1 / 3 3 months ago
33976 analysis.bundle complete 1 / 3 3 months ago
33977 capability.graph complete 1 / 3 3 months ago
33978 detector.run complete 1 / 3 3 months ago
33979 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)
2
EXT*/BALANCE
2
Total opcodes
4161
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 0x018d
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7b0a47ee
00000026: GT
00000027: PUSH2 0x00de
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc8f33c91
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe9fad8ee
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe9fad8ee
00000047: EQ
00000048: PUSH2 0x0594
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xebe2b12b
00000052: EQ
00000053: PUSH2 0x059e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf2fde38b
0000005d: EQ
0000005e: PUSH2 0x05bc
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfc7e286d
00000068: EQ
00000069: PUSH2 0x0600
0000006c: JUMPI
0000006d: PUSH2 0x018d
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xc8f33c91
00000078: EQ
00000079: PUSH2 0x053a
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xcd3daf9d
00000083: EQ
00000084: PUSH2 0x0558
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdf136d65
0000008e: EQ
0000008f: PUSH2 0x0576
00000092: JUMPI
00000093: PUSH2 0x018d
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x7b0a47ee
0000009e: EQ
0000009f: PUSH2 0x0426
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x80faa57d
000000a9: EQ
000000aa: PUSH2 0x0444
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8b876347
000000b4: EQ
000000b5: PUSH2 0x0462
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da58897
000000bf: EQ
000000c0: PUSH2 0x04ba
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x8da5cb5b
000000ca: EQ
000000cb: PUSH2 0x04d8
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xa694fc3a
000000d5: EQ
000000d6: PUSH2 0x050c
000000d9: JUMPI
000000da: PUSH2 0x018d
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x2e1a7d4d
000000e5: GT
000000e6: PUSH2 0x014b
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x3e413bee
000000f0: GT
000000f1: PUSH2 0x0125
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x3e413bee
000000fb: EQ
000000fc: PUSH2 0x035c
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x70a08231
00000106: EQ
00000107: PUSH2 0x0390
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0x715018a6
00000111: EQ
00000112: PUSH2 0x03e8
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0x74722e5a
0000011c: EQ
0000011d: PUSH2 0x03f2
00000120: JUMPI
00000121: PUSH2 0x018d
00000124: JUMP
00000125: JUMPDEST
00000126: DUP1
00000127: PUSH4 0x2e1a7d4d
0000012c: EQ
0000012d: PUSH2 0x02f6
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x3c6b16ab
00000137: EQ
00000138: PUSH2 0x0324
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x3d18b912
00000142: EQ
00000143: PUSH2 0x0352
00000146: JUMPI
00000147: PUSH2 0x018d
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH3 0x8cc262
00000151: EQ
00000152: PUSH2 0x0192
00000155: JUMPI
00000156: DUP1
00000157: PUSH4 0x0700037d
0000015c: EQ
0000015d: PUSH2 0x01ea
00000160: JUMPI
00000161: DUP1
00000162: PUSH4 0x0d68b761
00000167: EQ
00000168: PUSH2 0x0242
0000016b: JUMPI
0000016c: DUP1
0000016d: PUSH4 0x101114cf
00000172: EQ
00000173: PUSH2 0x0286
00000176: JUMPI
00000177: DUP1
00000178: PUSH4 0x18160ddd
0000017d: EQ
0000017e: PUSH2 0x02ba
00000181: JUMPI
00000182: DUP1
00000183: PUSH4 0x1be05289
00000188: EQ
00000189: PUSH2 0x02d8
0000018c: JUMPI
0000018d: JUMPDEST
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: PUSH2 0x01d4
00000196: PUSH1 0x04
00000198: DUP1
00000199: CALLDATASIZE
0000019a: SUB
0000019b: PUSH1 0x20
0000019d: DUP2
0000019e: LT
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: DUP2
000001aa: ADD
000001ab: SWAP1
000001ac: DUP1
000001ad: DUP1
000001ae: CALLDATALOAD
000001af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c4: AND
000001c5: SWAP1
000001c6: PUSH1 0x20
000001c8: ADD
000001c9: SWAP1
000001ca: SWAP3
000001cb: SWAP2
000001cc: SWAP1
000001cd: POP
000001ce: POP
000001cf: POP
000001d0: PUSH2 0x0658
000001d3: JUMP
000001d4: JUMPDEST
000001d5: PUSH1 0x40
000001d7: MLOAD
000001d8: DUP1
000001d9: DUP3
000001da: DUP2
000001db: MSTORE
000001dc: PUSH1 0x20
000001de: ADD
000001df: SWAP2
000001e0: POP
000001e1: POP
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: RETURN
000001ea: JUMPDEST
000001eb: PUSH2 0x022c
000001ee: PUSH1 0x04
000001f0: DUP1
000001f1: CALLDATASIZE
000001f2: SUB
000001f3: PUSH1 0x20
000001f5: DUP2
000001f6: LT
000001f7: ISZERO
000001f8: PUSH2 0x0200
000001fb: JUMPI
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: DUP2
00000202: ADD
00000203: SWAP1
00000204: DUP1
00000205: DUP1
00000206: CALLDATALOAD
00000207: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021c: AND
0000021d: SWAP1
0000021e: PUSH1 0x20
00000220: ADD
00000221: SWAP1
00000222: SWAP3
00000223: SWAP2
00000224: SWAP1
00000225: POP
00000226: POP
00000227: POP
00000228: PUSH2 0x073f
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: DUP1
00000231: DUP3
00000232: DUP2
00000233: MSTORE
00000234: PUSH1 0x20
00000236: ADD
00000237: SWAP2
00000238: POP
00000239: POP
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: RETURN
00000242: JUMPDEST
00000243: PUSH2 0x0284
00000246: PUSH1 0x04
00000248: DUP1
00000249: CALLDATASIZE
0000024a: SUB
0000024b: PUSH1 0x20
0000024d: DUP2
0000024e: LT
0000024f: ISZERO
00000250: PUSH2 0x0258
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: DUP2
0000025a: ADD
0000025b: SWAP1
0000025c: DUP1
0000025d: DUP1
0000025e: CALLDATALOAD
0000025f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000274: AND
00000275: SWAP1
00000276: PUSH1 0x20
00000278: ADD
00000279: SWAP1
0000027a: SWAP3
0000027b: SWAP2
0000027c: SWAP1
0000027d: POP
0000027e: POP
0000027f: POP
00000280: PUSH2 0x0757
00000283: JUMP
00000284: JUMPDEST
00000285: STOP
00000286: JUMPDEST
00000287: PUSH2 0x028e
0000028a: PUSH2 0x0865
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: DUP1
00000293: DUP3
00000294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a9: AND
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP2
000002b0: POP
000002b1: POP
000002b2: PUSH1 0x40
000002b4: MLOAD
000002b5: DUP1
000002b6: SWAP2
000002b7: SUB
000002b8: SWAP1
000002b9: RETURN
000002ba: JUMPDEST
000002bb: PUSH2 0x02c2
000002be: PUSH2 0x088b
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: DUP1
000002c7: DUP3
000002c8: DUP2
000002c9: MSTORE
000002ca: PUSH1 0x20
000002cc: ADD
000002cd: SWAP2
000002ce: POP
000002cf: POP
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: DUP1
000002d4: SWAP2
000002d5: SUB
000002d6: SWAP1
000002d7: RETURN
000002d8: JUMPDEST
000002d9: PUSH2 0x02e0
000002dc: PUSH2 0x0895
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: DUP3
000002e6: DUP2
000002e7: MSTORE
000002e8: PUSH1 0x20
000002ea: ADD
000002eb: SWAP2
000002ec: POP
000002ed: POP
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: DUP1
000002f2: SWAP2
000002f3: SUB
000002f4: SWAP1
000002f5: RETURN
000002f6: JUMPDEST
000002f7: PUSH2 0x0322
000002fa: PUSH1 0x04
000002fc: DUP1
000002fd: CALLDATASIZE
000002fe: SUB
000002ff: PUSH1 0x20
00000301: DUP2
00000302: LT
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: DUP2
0000030e: ADD
0000030f: SWAP1
00000310: DUP1
00000311: DUP1
00000312: CALLDATALOAD
00000313: SWAP1
00000314: PUSH1 0x20
00000316: ADD
00000317: SWAP1
00000318: SWAP3
00000319: SWAP2
0000031a: SWAP1
0000031b: POP
0000031c: POP
0000031d: POP
0000031e: PUSH2 0x089b
00000321: JUMP
00000322: JUMPDEST
00000323: STOP
00000324: JUMPDEST
00000325: PUSH2 0x0350
00000328: PUSH1 0x04
0000032a: DUP1
0000032b: CALLDATASIZE
0000032c: SUB
0000032d: PUSH1 0x20
0000032f: DUP2
00000330: LT
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: DUP2
0000033c: ADD
0000033d: SWAP1
0000033e: DUP1
0000033f: DUP1
00000340: CALLDATALOAD
00000341: SWAP1
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP1
00000346: SWAP3
00000347: SWAP2
00000348: SWAP1
00000349: POP
0000034a: POP
0000034b: POP
0000034c: PUSH2 0x0b5d
0000034f: JUMP
00000350: JUMPDEST
00000351: STOP
00000352: JUMPDEST
00000353: PUSH2 0x035a
00000356: PUSH2 0x0e5f
00000359: JUMP
0000035a: JUMPDEST
0000035b: STOP
0000035c: JUMPDEST
0000035d: PUSH2 0x0364
00000360: PUSH2 0x10b6
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x40
00000367: MLOAD
00000368: DUP1
00000369: DUP3
0000036a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037f: AND
00000380: DUP2
00000381: MSTORE
00000382: PUSH1 0x20
00000384: ADD
00000385: SWAP2
00000386: POP
00000387: POP
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: SWAP2
0000038d: SUB
0000038e: SWAP1
0000038f: RETURN
00000390: JUMPDEST
00000391: PUSH2 0x03d2
00000394: PUSH1 0x04
00000396: DUP1
00000397: CALLDATASIZE
00000398: SUB
00000399: PUSH1 0x20
0000039b: DUP2
0000039c: LT
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: DUP2
000003a8: ADD
000003a9: SWAP1
000003aa: DUP1
000003ab: DUP1
000003ac: CALLDATALOAD
000003ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c2: AND
000003c3: SWAP1
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP1
000003c8: SWAP3
000003c9: SWAP2
000003ca: SWAP1
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: PUSH2 0x10da
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH1 0x40
000003d5: MLOAD
000003d6: DUP1
000003d7: DUP3
000003d8: DUP2
000003d9: MSTORE
000003da: PUSH1 0x20
000003dc: ADD
000003dd: SWAP2
000003de: POP
000003df: POP
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: DUP1
000003e4: SWAP2
000003e5: SUB
000003e6: SWAP1
000003e7: RETURN
000003e8: JUMPDEST
000003e9: PUSH2 0x03f0
000003ec: PUSH2 0x1123
000003ef: JUMP
000003f0: JUMPDEST
000003f1: STOP
000003f2: JUMPDEST
000003f3: PUSH2 0x03fa
000003f6: PUSH2 0x12ae
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH1 0x40
000003fd: MLOAD
000003fe: DUP1
000003ff: DUP3
00000400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000415: AND
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x20
0000041a: ADD
0000041b: SWAP2
0000041c: POP
0000041d: POP
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: SWAP2
00000423: SUB
00000424: SWAP1
00000425: RETURN
00000426: JUMPDEST
00000427: PUSH2 0x042e
0000042a: PUSH2 0x12d4
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: DUP3
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: ADD
00000439: SWAP2
0000043a: POP
0000043b: POP
0000043c: PUSH1 0x40
0000043e: MLOAD
0000043f: DUP1
00000440: SWAP2
00000441: SUB
00000442: SWAP1
00000443: RETURN
00000444: JUMPDEST
00000445: PUSH2 0x044c
00000448: PUSH2 0x12da
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: DUP3
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP2
00000458: POP
00000459: POP
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: PUSH2 0x04a4
00000466: PUSH1 0x04
00000468: DUP1
00000469: CALLDATASIZE
0000046a: SUB
0000046b: PUSH1 0x20
0000046d: DUP2
0000046e: LT
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: DUP2
0000047a: ADD
0000047b: SWAP1
0000047c: DUP1
0000047d: DUP1
0000047e: CALLDATALOAD
0000047f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000494: AND
00000495: SWAP1
00000496: PUSH1 0x20
00000498: ADD
00000499: SWAP1
0000049a: SWAP3
0000049b: SWAP2
0000049c: SWAP1
0000049d: POP
0000049e: POP
0000049f: POP
000004a0: PUSH2 0x12ed
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: DUP1
000004a9: DUP3
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP2
000004b0: POP
000004b1: POP
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: SWAP2
000004b7: SUB
000004b8: SWAP1
000004b9: RETURN
000004ba: JUMPDEST
000004bb: PUSH2 0x04c2
000004be: PUSH2 0x1305
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: DUP1
000004c7: DUP3
000004c8: DUP2
000004c9: MSTORE
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: SWAP2
000004ce: POP
000004cf: POP
000004d0: PUSH1 0x40
000004d2: MLOAD
000004d3: DUP1
000004d4: SWAP2
000004d5: SUB
000004d6: SWAP1
000004d7: RETURN
000004d8: JUMPDEST
000004d9: PUSH2 0x04e0
000004dc: PUSH2 0x130b
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: DUP1
000004e5: DUP3
000004e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fb: AND
000004fc: DUP2
000004fd: MSTORE
000004fe: PUSH1 0x20
00000500: ADD
00000501: SWAP2
00000502: POP
00000503: POP
00000504: PUSH1 0x40
00000506: MLOAD
00000507: DUP1
00000508: SWAP2
00000509: SUB
0000050a: SWAP1
0000050b: RETURN
0000050c: JUMPDEST
0000050d: PUSH2 0x0538
00000510: PUSH1 0x04
00000512: DUP1
00000513: CALLDATASIZE
00000514: SUB
00000515: PUSH1 0x20
00000517: DUP2
00000518: LT
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: DUP2
00000524: ADD
00000525: SWAP1
00000526: DUP1
00000527: DUP1
00000528: CALLDATALOAD
00000529: SWAP1
0000052a: PUSH1 0x20
0000052c: ADD
0000052d: SWAP1
0000052e: SWAP3
0000052f: SWAP2
00000530: SWAP1
00000531: POP
00000532: POP
00000533: POP
00000534: PUSH2 0x1335
00000537: JUMP
00000538: JUMPDEST
00000539: STOP
0000053a: JUMPDEST
0000053b: PUSH2 0x0542
0000053e: PUSH2 0x15fd
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x40
00000545: MLOAD
00000546: DUP1
00000547: DUP3
00000548: DUP2
00000549: MSTORE
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP2
0000054e: POP
0000054f: POP
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: SWAP2
00000555: SUB
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: PUSH2 0x0560
0000055c: PUSH2 0x1603
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x40
00000563: MLOAD
00000564: DUP1
00000565: DUP3
00000566: DUP2
00000567: MSTORE
00000568: PUSH1 0x20
0000056a: ADD
0000056b: SWAP2
0000056c: POP
0000056d: POP
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: DUP1
00000572: SWAP2
00000573: SUB
00000574: SWAP1
00000575: RETURN
00000576: JUMPDEST
00000577: PUSH2 0x057e
0000057a: PUSH2 0x169b
0000057d: JUMP
0000057e: JUMPDEST
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: DUP1
00000583: DUP3
00000584: DUP2
00000585: MSTORE
00000586: PUSH1 0x20
00000588: ADD
00000589: SWAP2
0000058a: POP
0000058b: POP
0000058c: PUSH1 0x40
0000058e: MLOAD
0000058f: DUP1
00000590: SWAP2
00000591: SUB
00000592: SWAP1
00000593: RETURN
00000594: JUMPDEST
00000595: PUSH2 0x059c
00000598: PUSH2 0x16a1
0000059b: JUMP
0000059c: JUMPDEST
0000059d: STOP
0000059e: JUMPDEST
0000059f: PUSH2 0x05a6
000005a2: PUSH2 0x16bc
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: DUP1
000005ab: DUP3
000005ac: DUP2
000005ad: MSTORE
000005ae: PUSH1 0x20
000005b0: ADD
000005b1: SWAP2
000005b2: POP
000005b3: POP
000005b4: PUSH1 0x40
000005b6: MLOAD
000005b7: DUP1
000005b8: SWAP2
000005b9: SUB
000005ba: SWAP1
000005bb: RETURN
000005bc: JUMPDEST
000005bd: PUSH2 0x05fe
000005c0: PUSH1 0x04
000005c2: DUP1
000005c3: CALLDATASIZE
000005c4: SUB
000005c5: PUSH1 0x20
000005c7: DUP2
000005c8: LT
000005c9: ISZERO
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: DUP2
000005d4: ADD
000005d5: SWAP1
000005d6: DUP1
000005d7: DUP1
000005d8: CALLDATALOAD
000005d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ee: AND
000005ef: SWAP1
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: SWAP1
000005f4: SWAP3
000005f5: SWAP2
000005f6: SWAP1
000005f7: POP
000005f8: POP
000005f9: POP
000005fa: PUSH2 0x16c2
000005fd: JUMP
000005fe: JUMPDEST
000005ff: STOP
00000600: JUMPDEST
00000601: PUSH2 0x0642
00000604: PUSH1 0x04
00000606: DUP1
00000607: CALLDATASIZE
00000608: SUB
00000609: PUSH1 0x20
0000060b: DUP2
0000060c: LT
0000060d: ISZERO
0000060e: PUSH2 0x0616
00000611: JUMPI
00000612: PUSH1 0x00
00000614: DUP1
00000615: REVERT
00000616: JUMPDEST
00000617: DUP2
00000618: ADD
00000619: SWAP1
0000061a: DUP1
0000061b: DUP1
0000061c: CALLDATALOAD
0000061d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000632: AND
00000633: SWAP1
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP1
00000638: SWAP3
00000639: SWAP2
0000063a: SWAP1
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: PUSH2 0x18d2
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: MLOAD
00000646: DUP1
00000647: DUP3
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: SWAP2
0000064e: POP
0000064f: POP
00000650: PUSH1 0x40
00000652: MLOAD
00000653: DUP1
00000654: SWAP2
00000655: SUB
00000656: SWAP1
00000657: RETURN
00000658: JUMPDEST
00000659: PUSH1 0x00
0000065b: PUSH2 0x0738
0000065e: PUSH1 0x0d
00000660: PUSH1 0x00
00000662: DUP5
00000663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000678: AND
00000679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068e: AND
0000068f: DUP2
00000690: MSTORE
00000691: PUSH1 0x20
00000693: ADD
00000694: SWAP1
00000695: DUP2
00000696: MSTORE
00000697: PUSH1 0x20
00000699: ADD
0000069a: PUSH1 0x00
0000069c: KECCAK256
0000069d: SLOAD
0000069e: PUSH2 0x072a
000006a1: PUSH8 0x0de0b6b3a7640000
000006aa: PUSH2 0x071c
000006ad: PUSH2 0x0705
000006b0: PUSH1 0x0c
000006b2: PUSH1 0x00
000006b4: DUP10
000006b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ca: AND
000006cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e0: AND
000006e1: DUP2
000006e2: MSTORE
000006e3: PUSH1 0x20
000006e5: ADD
000006e6: SWAP1
000006e7: DUP2
000006e8: MSTORE
000006e9: PUSH1 0x20
000006eb: ADD
000006ec: PUSH1 0x00
000006ee: KECCAK256
000006ef: SLOAD
000006f0: PUSH2 0x06f7
000006f3: PUSH2 0x1603
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH2 0x18ea
000006fb: SWAP1
000006fc: SWAP2
000006fd: SWAP1
000006fe: PUSH4 0xffffffff
00000703: AND
00000704: JUMP
00000705: JUMPDEST
00000706: PUSH2 0x070e
00000709: DUP9
0000070a: PUSH2 0x10da
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH2 0x1934
00000712: SWAP1
00000713: SWAP2
00000714: SWAP1
00000715: PUSH4 0xffffffff
0000071a: AND
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH2 0x19ba
00000720: SWAP1
00000721: SWAP2
00000722: SWAP1
00000723: PUSH4 0xffffffff
00000728: AND
00000729: JUMP
0000072a: JUMPDEST
0000072b: PUSH2 0x1a04
0000072e: SWAP1
0000072f: SWAP2
00000730: SWAP1
00000731: PUSH4 0xffffffff
00000736: AND
00000737: JUMP
00000738: JUMPDEST
00000739: SWAP1
0000073a: POP
0000073b: SWAP2
0000073c: SWAP1
0000073d: POP
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x0d
00000742: PUSH1 0x20
00000744: MSTORE
00000745: DUP1
00000746: PUSH1 0x00
00000748: MSTORE
00000749: PUSH1 0x40
0000074b: PUSH1 0x00
0000074d: KECCAK256
0000074e: PUSH1 0x00
00000750: SWAP2
00000751: POP
00000752: SWAP1
00000753: POP
00000754: SLOAD
00000755: DUP2
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH2 0x075f
0000075b: PUSH2 0x1a8c
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000775: AND
00000776: PUSH1 0x03
00000778: PUSH1 0x00
0000077a: SWAP1
0000077b: SLOAD
0000077c: SWAP1
0000077d: PUSH2 0x0100
00000780: EXP
00000781: SWAP1
00000782: DIV
00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000798: AND
00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ae: AND
000007af: EQ
000007b0: PUSH2 0x0821
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x04
000007dc: ADD
000007dd: DUP1
000007de: DUP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: DUP3
000007e3: DUP2
000007e4: SUB
000007e5: DUP3
000007e6: MSTORE
000007e7: PUSH1 0x20
000007e9: DUP2
000007ea: MSTORE
000007eb: PUSH1 0x20
000007ed: ADD
000007ee: DUP1
000007ef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000810: DUP2
00000811: MSTORE
00000812: POP
00000813: PUSH1 0x20
00000815: ADD
00000816: SWAP2
00000817: POP
00000818: POP
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: DUP1
0000081d: SWAP2
0000081e: SUB
0000081f: SWAP1
00000820: REVERT
00000821: JUMPDEST
00000822: DUP1
00000823: PUSH1 0x04
00000825: PUSH1 0x00
00000827: PUSH2 0x0100
0000082a: EXP
0000082b: DUP2
0000082c: SLOAD
0000082d: DUP2
0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000843: MUL
00000844: NOT
00000845: AND
00000846: SWAP1
00000847: DUP4
00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085d: AND
0000085e: MUL
0000085f: OR
00000860: SWAP1
00000861: SSTORE
00000862: POP
00000863: POP
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x04
00000868: PUSH1 0x00
0000086a: SWAP1
0000086b: SLOAD
0000086c: SWAP1
0000086d: PUSH2 0x0100
00000870: EXP
00000871: SWAP1
00000872: DIV
00000873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000888: AND
00000889: DUP2
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH1 0x00
0000088e: PUSH1 0x01
00000890: SLOAD
00000891: SWAP1
00000892: POP
00000893: SWAP1
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x06
00000898: SLOAD
00000899: DUP2
0000089a: JUMP
0000089b: JUMPDEST
0000089c: CALLER
0000089d: PUSH2 0x08a4
000008a0: PUSH2 0x1603
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x0b
000008a7: DUP2
000008a8: SWAP1
000008a9: SSTORE
000008aa: POP
000008ab: PUSH2 0x08b2
000008ae: PUSH2 0x12da
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x0a
000008b5: DUP2
000008b6: SWAP1
000008b7: SSTORE
000008b8: POP
000008b9: PUSH1 0x00
000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d0: AND
000008d1: DUP2
000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e7: AND
000008e8: EQ
000008e9: PUSH2 0x097f
000008ec: JUMPI
000008ed: PUSH2 0x08f5
000008f0: DUP2
000008f1: PUSH2 0x0658
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x0d
000008f8: PUSH1 0x00
000008fa: DUP4
000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000910: AND
00000911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000926: AND
00000927: DUP2
00000928: MSTORE
00000929: PUSH1 0x20
0000092b: ADD
0000092c: SWAP1
0000092d: DUP2
0000092e: MSTORE
0000092f: PUSH1 0x20
00000931: ADD
00000932: PUSH1 0x00
00000934: KECCAK256
00000935: DUP2
00000936: SWAP1
00000937: SSTORE
00000938: POP
00000939: PUSH1 0x0b
0000093b: SLOAD
0000093c: PUSH1 0x0c
0000093e: PUSH1 0x00
00000940: DUP4
00000941: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000956: AND
00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096c: AND
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP1
00000973: DUP2
00000974: MSTORE
00000975: PUSH1 0x20
00000977: ADD
00000978: PUSH1 0x00
0000097a: KECCAK256
0000097b: DUP2
0000097c: SWAP1
0000097d: SSTORE
0000097e: POP
0000097f: JUMPDEST
00000980: PUSH1 0x07
00000982: SLOAD
00000983: TIMESTAMP
00000984: LT
00000985: ISZERO
00000986: PUSH2 0x09f7
00000989: JUMPI
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x04
000009b2: ADD
000009b3: DUP1
000009b4: DUP1
000009b5: PUSH1 0x20
000009b7: ADD
000009b8: DUP3
000009b9: DUP2
000009ba: SUB
000009bb: DUP3
000009bc: MSTORE
000009bd: PUSH1 0x16
000009bf: DUP2
000009c0: MSTORE
000009c1: PUSH1 0x20
000009c3: ADD
000009c4: DUP1
000009c5: PUSH32 0x4d494355534443506f6f6c3a206e6f7420737461727400000000000000000000
000009e6: DUP2
000009e7: MSTORE
000009e8: POP
000009e9: PUSH1 0x20
000009eb: ADD
000009ec: SWAP2
000009ed: POP
000009ee: POP
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: DUP1
000009f3: SWAP2
000009f4: SUB
000009f5: SWAP1
000009f6: REVERT
000009f7: JUMPDEST
000009f8: PUSH1 0x00
000009fa: DUP3
000009fb: GT
000009fc: PUSH2 0x0a6d
000009ff: JUMPI
00000a00: PUSH1 0x40
00000a02: MLOAD
00000a03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x04
00000a28: ADD
00000a29: DUP1
00000a2a: DUP1
00000a2b: PUSH1 0x20
00000a2d: ADD
00000a2e: DUP3
00000a2f: DUP2
00000a30: SUB
00000a31: DUP3
00000a32: MSTORE
00000a33: PUSH1 0x1e
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: DUP1
00000a3b: PUSH32 0x4d494355534443506f6f6c3a2043616e6e6f7420776974686472617720300000
00000a5c: DUP2
00000a5d: MSTORE
00000a5e: POP
00000a5f: PUSH1 0x20
00000a61: ADD
00000a62: SWAP2
00000a63: POP
00000a64: POP
00000a65: PUSH1 0x40
00000a67: MLOAD
00000a68: DUP1
00000a69: SWAP2
00000a6a: SUB
00000a6b: SWAP1
00000a6c: REVERT
00000a6d: JUMPDEST
00000a6e: PUSH2 0x0abf
00000a71: DUP3
00000a72: PUSH1 0x0e
00000a74: PUSH1 0x00
00000a76: CALLER
00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8c: AND
00000a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa2: AND
00000aa3: DUP2
00000aa4: MSTORE
00000aa5: PUSH1 0x20
00000aa7: ADD
00000aa8: SWAP1
00000aa9: DUP2
00000aaa: MSTORE
00000aab: PUSH1 0x20
00000aad: ADD
00000aae: PUSH1 0x00
00000ab0: KECCAK256
00000ab1: SLOAD
00000ab2: PUSH2 0x18ea
00000ab5: SWAP1
00000ab6: SWAP2
00000ab7: SWAP1
00000ab8: PUSH4 0xffffffff
00000abd: AND
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH1 0x0e
00000ac2: PUSH1 0x00
00000ac4: CALLER
00000ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ada: AND
00000adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af0: AND
00000af1: DUP2
00000af2: MSTORE
00000af3: PUSH1 0x20
00000af5: ADD
00000af6: SWAP1
00000af7: DUP2
00000af8: MSTORE
00000af9: PUSH1 0x20
00000afb: ADD
00000afc: PUSH1 0x00
00000afe: KECCAK256
00000aff: DUP2
00000b00: SWAP1
00000b01: SSTORE
00000b02: POP
00000b03: PUSH2 0x0b0b
00000b06: DUP3
00000b07: PUSH2 0x1a94
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: CALLER
00000b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b22: AND
00000b23: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000b44: DUP4
00000b45: PUSH1 0x40
00000b47: MLOAD
00000b48: DUP1
00000b49: DUP3
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x20
00000b4e: ADD
00000b4f: SWAP2
00000b50: POP
00000b51: POP
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: SWAP2
00000b57: SUB
00000b58: SWAP1
00000b59: LOG2
00000b5a: POP
00000b5b: POP
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: PUSH1 0x04
00000b60: PUSH1 0x00
00000b62: SWAP1
00000b63: SLOAD
00000b64: SWAP1
00000b65: PUSH2 0x0100
00000b68: EXP
00000b69: SWAP1
00000b6a: DIV
00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b80: AND
00000b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b96: AND
00000b97: PUSH2 0x0b9e
00000b9a: PUSH2 0x1a8c
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb4: AND
00000bb5: EQ
00000bb6: PUSH2 0x0c0a
00000bb9: JUMPI
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bde: DUP2
00000bdf: MSTORE
00000be0: PUSH1 0x04
00000be2: ADD
00000be3: DUP1
00000be4: DUP1
00000be5: PUSH1 0x20
00000be7: ADD
00000be8: DUP3
00000be9: DUP2
00000bea: SUB
00000beb: DUP3
00000bec: MSTORE
00000bed: PUSH1 0x21
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x20
00000bf3: ADD
00000bf4: DUP1
00000bf5: PUSH2 0x22fc
00000bf8: PUSH1 0x21
00000bfa: SWAP2
00000bfb: CODECOPY
00000bfc: PUSH1 0x40
00000bfe: ADD
00000bff: SWAP2
00000c00: POP
00000c01: POP
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: DUP1
00000c06: SWAP2
00000c07: SUB
00000c08: SWAP1
00000c09: REVERT
00000c0a: JUMPDEST
00000c0b: PUSH1 0x00
00000c0d: PUSH2 0x0c14
00000c10: PUSH2 0x1603
00000c13: JUMP
00000c14: JUMPDEST
00000c15: PUSH1 0x0b
00000c17: DUP2
00000c18: SWAP1
00000c19: SSTORE
00000c1a: POP
00000c1b: PUSH2 0x0c22
00000c1e: PUSH2 0x12da
00000c21: JUMP
00000c22: JUMPDEST
00000c23: PUSH1 0x0a
00000c25: DUP2
00000c26: SWAP1
00000c27: SSTORE
00000c28: POP
00000c29: PUSH1 0x00
00000c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c40: AND
00000c41: DUP2
00000c42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c57: AND
00000c58: EQ
00000c59: PUSH2 0x0cef
00000c5c: JUMPI
00000c5d: PUSH2 0x0c65
00000c60: DUP2
00000c61: PUSH2 0x0658
00000c64: JUMP
00000c65: JUMPDEST
00000c66: PUSH1 0x0d
00000c68: PUSH1 0x00
00000c6a: DUP4
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c96: AND
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: ADD
00000c9c: SWAP1
00000c9d: DUP2
00000c9e: MSTORE
00000c9f: PUSH1 0x20
00000ca1: ADD
00000ca2: PUSH1 0x00
00000ca4: KECCAK256
00000ca5: DUP2
00000ca6: SWAP1
00000ca7: SSTORE
00000ca8: POP
00000ca9: PUSH1 0x0b
00000cab: SLOAD
00000cac: PUSH1 0x0c
00000cae: PUSH1 0x00
00000cb0: DUP4
00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc6: AND
00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdc: AND
00000cdd: DUP2
00000cde: MSTORE
00000cdf: PUSH1 0x20
00000ce1: ADD
00000ce2: SWAP1
00000ce3: DUP2
00000ce4: MSTORE
00000ce5: PUSH1 0x20
00000ce7: ADD
00000ce8: PUSH1 0x00
00000cea: KECCAK256
00000ceb: DUP2
00000cec: SWAP1
00000ced: SSTORE
00000cee: POP
00000cef: JUMPDEST
00000cf0: PUSH1 0x07
00000cf2: SLOAD
00000cf3: TIMESTAMP
00000cf4: GT
00000cf5: ISZERO
00000cf6: PUSH2 0x0de2
00000cf9: JUMPI
00000cfa: PUSH1 0x08
00000cfc: SLOAD
00000cfd: TIMESTAMP
00000cfe: LT
00000cff: PUSH2 0x0d22
00000d02: JUMPI
00000d03: PUSH2 0x0d17
00000d06: PUSH1 0x06
00000d08: SLOAD
00000d09: DUP4
00000d0a: PUSH2 0x19ba
00000d0d: SWAP1
00000d0e: SWAP2
00000d0f: SWAP1
00000d10: PUSH4 0xffffffff
00000d15: AND
00000d16: JUMP
00000d17: JUMPDEST
00000d18: PUSH1 0x09
00000d1a: DUP2
00000d1b: SWAP1
00000d1c: SSTORE
00000d1d: POP
00000d1e: PUSH2 0x0d84
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x00
00000d25: PUSH2 0x0d39
00000d28: TIMESTAMP
00000d29: PUSH1 0x08
00000d2b: SLOAD
00000d2c: PUSH2 0x18ea
00000d2f: SWAP1
00000d30: SWAP2
00000d31: SWAP1
00000d32: PUSH4 0xffffffff
00000d37: AND
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: SWAP1
00000d3b: POP
00000d3c: PUSH1 0x00
00000d3e: PUSH2 0x0d52
00000d41: PUSH1 0x09
00000d43: SLOAD
00000d44: DUP4
00000d45: PUSH2 0x1934
00000d48: SWAP1
00000d49: SWAP2
00000d4a: SWAP1
00000d4b: PUSH4 0xffffffff
00000d50: AND
00000d51: JUMP
00000d52: JUMPDEST
00000d53: SWAP1
00000d54: POP
00000d55: PUSH2 0x0d7b
00000d58: PUSH1 0x06
00000d5a: SLOAD
00000d5b: PUSH2 0x0d6d
00000d5e: DUP4
00000d5f: DUP8
00000d60: PUSH2 0x1a04
00000d63: SWAP1
00000d64: SWAP2
00000d65: SWAP1
00000d66: PUSH4 0xffffffff
00000d6b: AND
00000d6c: JUMP
00000d6d: JUMPDEST
00000d6e: PUSH2 0x19ba
00000d71: SWAP1
00000d72: SWAP2
00000d73: SWAP1
00000d74: PUSH4 0xffffffff
00000d79: AND
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x09
00000d7e: DUP2
00000d7f: SWAP1
00000d80: SSTORE
00000d81: POP
00000d82: POP
00000d83: POP
00000d84: JUMPDEST
00000d85: TIMESTAMP
00000d86: PUSH1 0x0a
00000d88: DUP2
00000d89: SWAP1
00000d8a: SSTORE
00000d8b: POP
00000d8c: PUSH2 0x0da0
00000d8f: PUSH1 0x06
00000d91: SLOAD
00000d92: TIMESTAMP
00000d93: PUSH2 0x1a04
00000d96: SWAP1
00000d97: SWAP2
00000d98: SWAP1
00000d99: PUSH4 0xffffffff
00000d9e: AND
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x08
00000da3: DUP2
00000da4: SWAP1
00000da5: SSTORE
00000da6: POP
00000da7: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00000dc8: DUP3
00000dc9: PUSH1 0x40
00000dcb: MLOAD
00000dcc: DUP1
00000dcd: DUP3
00000dce: DUP2
00000dcf: MSTORE
00000dd0: PUSH1 0x20
00000dd2: ADD
00000dd3: SWAP2
00000dd4: POP
00000dd5: POP
00000dd6: PUSH1 0x40
00000dd8: MLOAD
00000dd9: DUP1
00000dda: SWAP2
00000ddb: SUB
00000ddc: SWAP1
00000ddd: LOG1
00000dde: PUSH2 0x0e5b
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x0df7
00000de6: PUSH1 0x06
00000de8: SLOAD
00000de9: DUP4
00000dea: PUSH2 0x19ba
00000ded: SWAP1
00000dee: SWAP2
00000def: SWAP1
00000df0: PUSH4 0xffffffff
00000df5: AND
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x09
00000dfa: DUP2
00000dfb: SWAP1
00000dfc: SSTORE
00000dfd: POP
00000dfe: PUSH1 0x07
00000e00: SLOAD
00000e01: PUSH1 0x0a
00000e03: DUP2
00000e04: SWAP1
00000e05: SSTORE
00000e06: POP
00000e07: PUSH2 0x0e1d
00000e0a: PUSH1 0x06
00000e0c: SLOAD
00000e0d: PUSH1 0x07
00000e0f: SLOAD
00000e10: PUSH2 0x1a04
00000e13: SWAP1
00000e14: SWAP2
00000e15: SWAP1
00000e16: PUSH4 0xffffffff
00000e1b: AND
00000e1c: JUMP
00000e1d: JUMPDEST
00000e1e: PUSH1 0x08
00000e20: DUP2
00000e21: SWAP1
00000e22: SSTORE
00000e23: POP
00000e24: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00000e45: DUP3
00000e46: PUSH1 0x40
00000e48: MLOAD
00000e49: DUP1
00000e4a: DUP3
00000e4b: DUP2
00000e4c: MSTORE
00000e4d: PUSH1 0x20
00000e4f: ADD
00000e50: SWAP2
00000e51: POP
00000e52: POP
00000e53: PUSH1 0x40
00000e55: MLOAD
00000e56: DUP1
00000e57: SWAP2
00000e58: SUB
00000e59: SWAP1
00000e5a: LOG1
00000e5b: JUMPDEST
00000e5c: POP
00000e5d: POP
00000e5e: JUMP
00000e5f: JUMPDEST
00000e60: CALLER
00000e61: PUSH2 0x0e68
00000e64: PUSH2 0x1603
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x0b
00000e6b: DUP2
00000e6c: SWAP1
00000e6d: SSTORE
00000e6e: POP
00000e6f: PUSH2 0x0e76
00000e72: PUSH2 0x12da
00000e75: JUMP
00000e76: JUMPDEST
00000e77: PUSH1 0x0a
00000e79: DUP2
00000e7a: SWAP1
00000e7b: SSTORE
00000e7c: POP
00000e7d: PUSH1 0x00
00000e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e94: AND
00000e95: DUP2
00000e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eab: AND
00000eac: EQ
00000ead: PUSH2 0x0f43
00000eb0: JUMPI
00000eb1: PUSH2 0x0eb9
00000eb4: DUP2
00000eb5: PUSH2 0x0658
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: PUSH1 0x0d
00000ebc: PUSH1 0x00
00000ebe: DUP4
00000ebf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed4: AND
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: SWAP1
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x20
00000ef5: ADD
00000ef6: PUSH1 0x00
00000ef8: KECCAK256
00000ef9: DUP2
00000efa: SWAP1
00000efb: SSTORE
00000efc: POP
00000efd: PUSH1 0x0b
00000eff: SLOAD
00000f00: PUSH1 0x0c
00000f02: PUSH1 0x00
00000f04: DUP4
00000f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1a: AND
00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f30: AND
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: SWAP1
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: PUSH1 0x00
00000f3e: KECCAK256
00000f3f: DUP2
00000f40: SWAP1
00000f41: SSTORE
00000f42: POP
00000f43: JUMPDEST
00000f44: PUSH1 0x07
00000f46: SLOAD
00000f47: TIMESTAMP
00000f48: LT
00000f49: ISZERO
00000f4a: PUSH2 0x0fbb
00000f4d: JUMPI
00000f4e: PUSH1 0x40
00000f50: MLOAD
00000f51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x04
00000f76: ADD
00000f77: DUP1
00000f78: DUP1
00000f79: PUSH1 0x20
00000f7b: ADD
00000f7c: DUP3
00000f7d: DUP2
00000f7e: SUB
00000f7f: DUP3
00000f80: MSTORE
00000f81: PUSH1 0x16
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x20
00000f87: ADD
00000f88: DUP1
00000f89: PUSH32 0x4d494355534443506f6f6c3a206e6f7420737461727400000000000000000000
00000faa: DUP2
00000fab: MSTORE
00000fac: POP
00000fad: PUSH1 0x20
00000faf: ADD
00000fb0: SWAP2
00000fb1: POP
00000fb2: POP
00000fb3: PUSH1 0x40
00000fb5: MLOAD
00000fb6: DUP1
00000fb7: SWAP2
00000fb8: SUB
00000fb9: SWAP1
00000fba: REVERT
00000fbb: JUMPDEST
00000fbc: PUSH1 0x00
00000fbe: PUSH2 0x0fc6
00000fc1: CALLER
00000fc2: PUSH2 0x0658
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: SWAP1
00000fc8: POP
00000fc9: PUSH1 0x00
00000fcb: DUP2
00000fcc: GT
00000fcd: ISZERO
00000fce: PUSH2 0x10b2
00000fd1: JUMPI
00000fd2: PUSH1 0x00
00000fd4: PUSH1 0x0d
00000fd6: PUSH1 0x00
00000fd8: CALLER
00000fd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fee: AND
00000fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001004: AND
00001005: DUP2
00001006: MSTORE
00001007: PUSH1 0x20
00001009: ADD
0000100a: SWAP1
0000100b: DUP2
0000100c: MSTORE
0000100d: PUSH1 0x20
0000100f: ADD
00001010: PUSH1 0x00
00001012: KECCAK256
00001013: DUP2
00001014: SWAP1
00001015: SSTORE
00001016: POP
00001017: PUSH2 0x1063
0000101a: CALLER
0000101b: DUP3
0000101c: PUSH1 0x05
0000101e: PUSH1 0x00
00001020: SWAP1
00001021: SLOAD
00001022: SWAP1
00001023: PUSH2 0x0100
00001026: EXP
00001027: SWAP1
00001028: DIV
00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103e: AND
0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001054: AND
00001055: PUSH2 0x1b92
00001058: SWAP1
00001059: SWAP3
0000105a: SWAP2
0000105b: SWAP1
0000105c: PUSH4 0xffffffff
00001061: AND
00001062: JUMP
00001063: JUMPDEST
00001064: CALLER
00001065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107a: AND
0000107b: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
0000109c: DUP3
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: DUP1
000010a1: DUP3
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x20
000010a6: ADD
000010a7: SWAP2
000010a8: POP
000010a9: POP
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: DUP1
000010ae: SWAP2
000010af: SUB
000010b0: SWAP1
000010b1: LOG2
000010b2: JUMPDEST
000010b3: POP
000010b4: POP
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x00
000010b9: DUP1
000010ba: SLOAD
000010bb: SWAP1
000010bc: PUSH2 0x0100
000010bf: EXP
000010c0: SWAP1
000010c1: DIV
000010c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d7: AND
000010d8: DUP2
000010d9: JUMP
000010da: JUMPDEST
000010db: PUSH1 0x00
000010dd: PUSH1 0x02
000010df: PUSH1 0x00
000010e1: DUP4
000010e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f7: AND
000010f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110d: AND
0000110e: DUP2
0000110f: MSTORE
00001110: PUSH1 0x20
00001112: ADD
00001113: SWAP1
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: ADD
00001119: PUSH1 0x00
0000111b: KECCAK256
0000111c: SLOAD
0000111d: SWAP1
0000111e: POP
0000111f: SWAP2
00001120: SWAP1
00001121: POP
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH2 0x112b
00001127: PUSH2 0x1a8c
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001141: AND
00001142: PUSH1 0x03
00001144: PUSH1 0x00
00001146: SWAP1
00001147: SLOAD
00001148: SWAP1
00001149: PUSH2 0x0100
0000114c: EXP
0000114d: SWAP1
0000114e: DIV
0000114f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001164: AND
00001165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117a: AND
0000117b: EQ
0000117c: PUSH2 0x11ed
0000117f: JUMPI
00001180: PUSH1 0x40
00001182: MLOAD
00001183: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011a4: DUP2
000011a5: MSTORE
000011a6: PUSH1 0x04
000011a8: ADD
000011a9: DUP1
000011aa: DUP1
000011ab: PUSH1 0x20
000011ad: ADD
000011ae: DUP3
000011af: DUP2
000011b0: SUB
000011b1: DUP3
000011b2: MSTORE
000011b3: PUSH1 0x20
000011b5: DUP2
000011b6: MSTORE
000011b7: PUSH1 0x20
000011b9: ADD
000011ba: DUP1
000011bb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000011dc: DUP2
000011dd: MSTORE
000011de: POP
000011df: PUSH1 0x20
000011e1: ADD
000011e2: SWAP2
000011e3: POP
000011e4: POP
000011e5: PUSH1 0x40
000011e7: MLOAD
000011e8: DUP1
000011e9: SWAP2
000011ea: SUB
000011eb: SWAP1
000011ec: REVERT
000011ed: JUMPDEST
000011ee: PUSH1 0x00
000011f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001205: AND
00001206: PUSH1 0x03
00001208: PUSH1 0x00
0000120a: SWAP1
0000120b: SLOAD
0000120c: SWAP1
0000120d: PUSH2 0x0100
00001210: EXP
00001211: SWAP1
00001212: DIV
00001213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001228: AND
00001229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123e: AND
0000123f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001260: PUSH1 0x40
00001262: MLOAD
00001263: PUSH1 0x40
00001265: MLOAD
00001266: DUP1
00001267: SWAP2
00001268: SUB
00001269: SWAP1
0000126a: LOG3
0000126b: PUSH1 0x00
0000126d: PUSH1 0x03
0000126f: PUSH1 0x00
00001271: PUSH2 0x0100
00001274: EXP
00001275: DUP2
00001276: SLOAD
00001277: DUP2
00001278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128d: MUL
0000128e: NOT
0000128f: AND
00001290: SWAP1
00001291: DUP4
00001292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a7: AND
000012a8: MUL
000012a9: OR
000012aa: SWAP1
000012ab: SSTORE
000012ac: POP
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH1 0x05
000012b1: PUSH1 0x00
000012b3: SWAP1
000012b4: SLOAD
000012b5: SWAP1
000012b6: PUSH2 0x0100
000012b9: EXP
000012ba: SWAP1
000012bb: DIV
000012bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d1: AND
000012d2: DUP2
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x09
000012d7: SLOAD
000012d8: DUP2
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH1 0x00
000012dd: PUSH2 0x12e8
000012e0: TIMESTAMP
000012e1: PUSH1 0x08
000012e3: SLOAD
000012e4: PUSH2 0x1c34
000012e7: JUMP
000012e8: JUMPDEST
000012e9: SWAP1
000012ea: POP
000012eb: SWAP1
000012ec: JUMP
000012ed: JUMPDEST
000012ee: PUSH1 0x0c
000012f0: PUSH1 0x20
000012f2: MSTORE
000012f3: DUP1
000012f4: PUSH1 0x00
000012f6: MSTORE
000012f7: PUSH1 0x40
000012f9: PUSH1 0x00
000012fb: KECCAK256
000012fc: PUSH1 0x00
000012fe: SWAP2
000012ff: POP
00001300: SWAP1
00001301: POP
00001302: SLOAD
00001303: DUP2
00001304: JUMP
00001305: JUMPDEST
00001306: PUSH1 0x07
00001308: SLOAD
00001309: DUP2
0000130a: JUMP
0000130b: JUMPDEST
0000130c: PUSH1 0x00
0000130e: PUSH1 0x03
00001310: PUSH1 0x00
00001312: SWAP1
00001313: SLOAD
00001314: SWAP1
00001315: PUSH2 0x0100
00001318: EXP
00001319: SWAP1
0000131a: DIV
0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001330: AND
00001331: SWAP1
00001332: POP
00001333: SWAP1
00001334: JUMP
00001335: JUMPDEST
00001336: CALLER
00001337: PUSH2 0x133e
0000133a: PUSH2 0x1603
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x0b
00001341: DUP2
00001342: SWAP1
00001343: SSTORE
00001344: POP
00001345: PUSH2 0x134c
00001348: PUSH2 0x12da
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH1 0x0a
0000134f: DUP2
00001350: SWAP1
00001351: SSTORE
00001352: POP
00001353: PUSH1 0x00
00001355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136a: AND
0000136b: DUP2
0000136c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001381: AND
00001382: EQ
00001383: PUSH2 0x1419
00001386: JUMPI
00001387: PUSH2 0x138f
0000138a: DUP2
0000138b: PUSH2 0x0658
0000138e: JUMP
0000138f: JUMPDEST
00001390: PUSH1 0x0d
00001392: PUSH1 0x00
00001394: DUP4
00001395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013aa: AND
000013ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c0: AND
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: ADD
000013c6: SWAP1
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x20
000013cb: ADD
000013cc: PUSH1 0x00
000013ce: KECCAK256
000013cf: DUP2
000013d0: SWAP1
000013d1: SSTORE
000013d2: POP
000013d3: PUSH1 0x0b
000013d5: SLOAD
000013d6: PUSH1 0x0c
000013d8: PUSH1 0x00
000013da: DUP4
000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f0: AND
000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001406: AND
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x20
0000140b: ADD
0000140c: SWAP1
0000140d: DUP2
0000140e: MSTORE
0000140f: PUSH1 0x20
00001411: ADD
00001412: PUSH1 0x00
00001414: KECCAK256
00001415: DUP2
00001416: SWAP1
00001417: SSTORE
00001418: POP
00001419: JUMPDEST
0000141a: PUSH1 0x07
0000141c: SLOAD
0000141d: TIMESTAMP
0000141e: LT
0000141f: ISZERO
00001420: PUSH2 0x1491
00001423: JUMPI
00001424: PUSH1 0x40
00001426: MLOAD
00001427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x04
0000144c: ADD
0000144d: DUP1
0000144e: DUP1
0000144f: PUSH1 0x20
00001451: ADD
00001452: DUP3
00001453: DUP2
00001454: SUB
00001455: DUP3
00001456: MSTORE
00001457: PUSH1 0x16
00001459: DUP2
0000145a: MSTORE
0000145b: PUSH1 0x20
0000145d: ADD
0000145e: DUP1
0000145f: PUSH32 0x4d494355534443506f6f6c3a206e6f7420737461727400000000000000000000
00001480: DUP2
00001481: MSTORE
00001482: POP
00001483: PUSH1 0x20
00001485: ADD
00001486: SWAP2
00001487: POP
00001488: POP
00001489: PUSH1 0x40
0000148b: MLOAD
0000148c: DUP1
0000148d: SWAP2
0000148e: SUB
0000148f: SWAP1
00001490: REVERT
00001491: JUMPDEST
00001492: PUSH1 0x00
00001494: DUP3
00001495: GT
00001496: PUSH2 0x1507
00001499: JUMPI
0000149a: PUSH1 0x40
0000149c: MLOAD
0000149d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014be: DUP2
000014bf: MSTORE
000014c0: PUSH1 0x04
000014c2: ADD
000014c3: DUP1
000014c4: DUP1
000014c5: PUSH1 0x20
000014c7: ADD
000014c8: DUP3
000014c9: DUP2
000014ca: SUB
000014cb: DUP3
000014cc: MSTORE
000014cd: PUSH1 0x1b
000014cf: DUP2
000014d0: MSTORE
000014d1: PUSH1 0x20
000014d3: ADD
000014d4: DUP1
000014d5: PUSH32 0x4d494355534443506f6f6c3a2043616e6e6f74207374616b6520300000000000
000014f6: DUP2
000014f7: MSTORE
000014f8: POP
000014f9: PUSH1 0x20
000014fb: ADD
000014fc: SWAP2
000014fd: POP
000014fe: POP
000014ff: PUSH1 0x40
00001501: MLOAD
00001502: DUP1
00001503: SWAP2
00001504: SUB
00001505: SWAP1
00001506: REVERT
00001507: JUMPDEST
00001508: PUSH1 0x00
0000150a: PUSH2 0x155b
0000150d: DUP4
0000150e: PUSH1 0x0e
00001510: PUSH1 0x00
00001512: CALLER
00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001528: AND
00001529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153e: AND
0000153f: DUP2
00001540: MSTORE
00001541: PUSH1 0x20
00001543: ADD
00001544: SWAP1
00001545: DUP2
00001546: MSTORE
00001547: PUSH1 0x20
00001549: ADD
0000154a: PUSH1 0x00
0000154c: KECCAK256
0000154d: SLOAD
0000154e: PUSH2 0x1a04
00001551: SWAP1
00001552: SWAP2
00001553: SWAP1
00001554: PUSH4 0xffffffff
00001559: AND
0000155a: JUMP
0000155b: JUMPDEST
0000155c: SWAP1
0000155d: POP
0000155e: DUP1
0000155f: PUSH1 0x0e
00001561: PUSH1 0x00
00001563: CALLER
00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001579: AND
0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158f: AND
00001590: DUP2
00001591: MSTORE
00001592: PUSH1 0x20
00001594: ADD
00001595: SWAP1
00001596: DUP2
00001597: MSTORE
00001598: PUSH1 0x20
0000159a: ADD
0000159b: PUSH1 0x00
0000159d: KECCAK256
0000159e: DUP2
0000159f: SWAP1
000015a0: SSTORE
000015a1: POP
000015a2: PUSH2 0x15aa
000015a5: DUP4
000015a6: PUSH2 0x1c4d
000015a9: JUMP
000015aa: JUMPDEST
000015ab: CALLER
000015ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c1: AND
000015c2: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
000015e3: DUP5
000015e4: PUSH1 0x40
000015e6: MLOAD
000015e7: DUP1
000015e8: DUP3
000015e9: DUP2
000015ea: MSTORE
000015eb: PUSH1 0x20
000015ed: ADD
000015ee: SWAP2
000015ef: POP
000015f0: POP
000015f1: PUSH1 0x40
000015f3: MLOAD
000015f4: DUP1
000015f5: SWAP2
000015f6: SUB
000015f7: SWAP1
000015f8: LOG2
000015f9: POP
000015fa: POP
000015fb: POP
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x0a
00001600: SLOAD
00001601: DUP2
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x00
00001606: DUP1
00001607: PUSH2 0x160e
0000160a: PUSH2 0x088b
0000160d: JUMP
0000160e: JUMPDEST
0000160f: EQ
00001610: ISZERO
00001611: PUSH2 0x161e
00001614: JUMPI
00001615: PUSH1 0x0b
00001617: SLOAD
00001618: SWAP1
00001619: POP
0000161a: PUSH2 0x1698
0000161d: JUMP
0000161e: JUMPDEST
0000161f: PUSH2 0x1695
00001622: PUSH2 0x1684
00001625: PUSH2 0x162c
00001628: PUSH2 0x088b
0000162b: JUMP
0000162c: JUMPDEST
0000162d: PUSH2 0x1676
00001630: PUSH8 0x0de0b6b3a7640000
00001639: PUSH2 0x1668
0000163c: PUSH1 0x09
0000163e: SLOAD
0000163f: PUSH2 0x165a
00001642: PUSH1 0x0a
00001644: SLOAD
00001645: PUSH2 0x164c
00001648: PUSH2 0x12da
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH2 0x18ea
00001650: SWAP1
00001651: SWAP2
00001652: SWAP1
00001653: PUSH4 0xffffffff
00001658: AND
00001659: JUMP
0000165a: JUMPDEST
0000165b: PUSH2 0x1934
0000165e: SWAP1
0000165f: SWAP2
00001660: SWAP1
00001661: PUSH4 0xffffffff
00001666: AND
00001667: JUMP
00001668: JUMPDEST
00001669: PUSH2 0x1934
0000166c: SWAP1
0000166d: SWAP2
0000166e: SWAP1
0000166f: PUSH4 0xffffffff
00001674: AND
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH2 0x19ba
0000167a: SWAP1
0000167b: SWAP2
0000167c: SWAP1
0000167d: PUSH4 0xffffffff
00001682: AND
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH1 0x0b
00001687: SLOAD
00001688: PUSH2 0x1a04
0000168b: SWAP1
0000168c: SWAP2
0000168d: SWAP1
0000168e: PUSH4 0xffffffff
00001693: AND
00001694: JUMP
00001695: JUMPDEST
00001696: SWAP1
00001697: POP
00001698: JUMPDEST
00001699: SWAP1
0000169a: JUMP
0000169b: JUMPDEST
0000169c: PUSH1 0x0b
0000169e: SLOAD
0000169f: DUP2
000016a0: JUMP
000016a1: JUMPDEST
000016a2: PUSH2 0x16b2
000016a5: PUSH2 0x16ad
000016a8: CALLER
000016a9: PUSH2 0x10da
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH2 0x089b
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH2 0x16ba
000016b6: PUSH2 0x0e5f
000016b9: JUMP
000016ba: JUMPDEST
000016bb: JUMP
000016bc: JUMPDEST
000016bd: PUSH1 0x08
000016bf: SLOAD
000016c0: DUP2
000016c1: JUMP
000016c2: JUMPDEST
000016c3: PUSH2 0x16ca
000016c6: PUSH2 0x1a8c
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e0: AND
000016e1: PUSH1 0x03
000016e3: PUSH1 0x00
000016e5: SWAP1
000016e6: SLOAD
000016e7: SWAP1
000016e8: PUSH2 0x0100
000016eb: EXP
000016ec: SWAP1
000016ed: DIV
000016ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001703: AND
00001704: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001719: AND
0000171a: EQ
0000171b: PUSH2 0x178c
0000171e: JUMPI
0000171f: PUSH1 0x40
00001721: MLOAD
00001722: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001743: DUP2
00001744: MSTORE
00001745: PUSH1 0x04
00001747: ADD
00001748: DUP1
00001749: DUP1
0000174a: PUSH1 0x20
0000174c: ADD
0000174d: DUP3
0000174e: DUP2
0000174f: SUB
00001750: DUP3
00001751: MSTORE
00001752: PUSH1 0x20
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x20
00001758: ADD
00001759: DUP1
0000175a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000177b: DUP2
0000177c: MSTORE
0000177d: POP
0000177e: PUSH1 0x20
00001780: ADD
00001781: SWAP2
00001782: POP
00001783: POP
00001784: PUSH1 0x40
00001786: MLOAD
00001787: DUP1
00001788: SWAP2
00001789: SUB
0000178a: SWAP1
0000178b: REVERT
0000178c: JUMPDEST
0000178d: PUSH1 0x00
0000178f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a4: AND
000017a5: DUP2
000017a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bb: AND
000017bc: EQ
000017bd: ISZERO
000017be: PUSH2 0x1812
000017c1: JUMPI
000017c2: PUSH1 0x40
000017c4: MLOAD
000017c5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x04
000017ea: ADD
000017eb: DUP1
000017ec: DUP1
000017ed: PUSH1 0x20
000017ef: ADD
000017f0: DUP3
000017f1: DUP2
000017f2: SUB
000017f3: DUP3
000017f4: MSTORE
000017f5: PUSH1 0x26
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH1 0x20
000017fb: ADD
000017fc: DUP1
000017fd: PUSH2 0x22b5
00001800: PUSH1 0x26
00001802: SWAP2
00001803: CODECOPY
00001804: PUSH1 0x40
00001806: ADD
00001807: SWAP2
00001808: POP
00001809: POP
0000180a: PUSH1 0x40
0000180c: MLOAD
0000180d: DUP1
0000180e: SWAP2
0000180f: SUB
00001810: SWAP1
00001811: REVERT
00001812: JUMPDEST
00001813: DUP1
00001814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001829: AND
0000182a: PUSH1 0x03
0000182c: PUSH1 0x00
0000182e: SWAP1
0000182f: SLOAD
00001830: SWAP1
00001831: PUSH2 0x0100
00001834: EXP
00001835: SWAP1
00001836: DIV
00001837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184c: AND
0000184d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001862: AND
00001863: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001884: PUSH1 0x40
00001886: MLOAD
00001887: PUSH1 0x40
00001889: MLOAD
0000188a: DUP1
0000188b: SWAP2
0000188c: SUB
0000188d: SWAP1
0000188e: LOG3
0000188f: DUP1
00001890: PUSH1 0x03
00001892: PUSH1 0x00
00001894: PUSH2 0x0100
00001897: EXP
00001898: DUP2
00001899: SLOAD
0000189a: DUP2
0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b0: MUL
000018b1: NOT
000018b2: AND
000018b3: SWAP1
000018b4: DUP4
000018b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ca: AND
000018cb: MUL
000018cc: OR
000018cd: SWAP1
000018ce: SSTORE
000018cf: POP
000018d0: POP
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH1 0x0e
000018d5: PUSH1 0x20
000018d7: MSTORE
000018d8: DUP1
000018d9: PUSH1 0x00
000018db: MSTORE
000018dc: PUSH1 0x40
000018de: PUSH1 0x00
000018e0: KECCAK256
000018e1: PUSH1 0x00
000018e3: SWAP2
000018e4: POP
000018e5: SWAP1
000018e6: POP
000018e7: SLOAD
000018e8: DUP2
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x00
000018ed: PUSH2 0x192c
000018f0: DUP4
000018f1: DUP4
000018f2: PUSH1 0x40
000018f4: MLOAD
000018f5: DUP1
000018f6: PUSH1 0x40
000018f8: ADD
000018f9: PUSH1 0x40
000018fb: MSTORE
000018fc: DUP1
000018fd: PUSH1 0x1e
000018ff: DUP2
00001900: MSTORE
00001901: PUSH1 0x20
00001903: ADD
00001904: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001925: DUP2
00001926: MSTORE
00001927: POP
00001928: PUSH2 0x1d4d
0000192b: JUMP
0000192c: JUMPDEST
0000192d: SWAP1
0000192e: POP
0000192f: SWAP3
00001930: SWAP2
00001931: POP
00001932: POP
00001933: JUMP
00001934: JUMPDEST
00001935: PUSH1 0x00
00001937: DUP1
00001938: DUP4
00001939: EQ
0000193a: ISZERO
0000193b: PUSH2 0x1947
0000193e: JUMPI
0000193f: PUSH1 0x00
00001941: SWAP1
00001942: POP
00001943: PUSH2 0x19b4
00001946: JUMP
00001947: JUMPDEST
00001948: PUSH1 0x00
0000194a: DUP3
0000194b: DUP5
0000194c: MUL
0000194d: SWAP1
0000194e: POP
0000194f: DUP3
00001950: DUP5
00001951: DUP3
00001952: DUP2
00001953: PUSH2 0x1958
00001956: JUMPI
00001957: INVALID
00001958: JUMPDEST
00001959: DIV
0000195a: EQ
0000195b: PUSH2 0x19af
0000195e: JUMPI
0000195f: PUSH1 0x40
00001961: MLOAD
00001962: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001983: DUP2
00001984: MSTORE
00001985: PUSH1 0x04
00001987: ADD
00001988: DUP1
00001989: DUP1
0000198a: PUSH1 0x20
0000198c: ADD
0000198d: DUP3
0000198e: DUP2
0000198f: SUB
00001990: DUP3
00001991: MSTORE
00001992: PUSH1 0x21
00001994: DUP2
00001995: MSTORE
00001996: PUSH1 0x20
00001998: ADD
00001999: DUP1
0000199a: PUSH2 0x22db
0000199d: PUSH1 0x21
0000199f: SWAP2
000019a0: CODECOPY
000019a1: PUSH1 0x40
000019a3: ADD
000019a4: SWAP2
000019a5: POP
000019a6: POP
000019a7: PUSH1 0x40
000019a9: MLOAD
000019aa: DUP1
000019ab: SWAP2
000019ac: SUB
000019ad: SWAP1
000019ae: REVERT
000019af: JUMPDEST
000019b0: DUP1
000019b1: SWAP2
000019b2: POP
000019b3: POP
000019b4: JUMPDEST
000019b5: SWAP3
000019b6: SWAP2
000019b7: POP
000019b8: POP
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x00
000019bd: PUSH2 0x19fc
000019c0: DUP4
000019c1: DUP4
000019c2: PUSH1 0x40
000019c4: MLOAD
000019c5: DUP1
000019c6: PUSH1 0x40
000019c8: ADD
000019c9: PUSH1 0x40
000019cb: MSTORE
000019cc: DUP1
000019cd: PUSH1 0x1a
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000019f5: DUP2
000019f6: MSTORE
000019f7: POP
000019f8: PUSH2 0x1e0d
000019fb: JUMP
000019fc: JUMPDEST
000019fd: SWAP1
000019fe: POP
000019ff: SWAP3
00001a00: SWAP2
00001a01: POP
00001a02: POP
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: DUP1
00001a08: DUP3
00001a09: DUP5
00001a0a: ADD
00001a0b: SWAP1
00001a0c: POP
00001a0d: DUP4
00001a0e: DUP2
00001a0f: LT
00001a10: ISZERO
00001a11: PUSH2 0x1a82
00001a14: JUMPI
00001a15: PUSH1 0x40
00001a17: MLOAD
00001a18: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a39: DUP2
00001a3a: MSTORE
00001a3b: PUSH1 0x04
00001a3d: ADD
00001a3e: DUP1
00001a3f: DUP1
00001a40: PUSH1 0x20
00001a42: ADD
00001a43: DUP3
00001a44: DUP2
00001a45: SUB
00001a46: DUP3
00001a47: MSTORE
00001a48: PUSH1 0x1b
00001a4a: DUP2
00001a4b: MSTORE
00001a4c: PUSH1 0x20
00001a4e: ADD
00001a4f: DUP1
00001a50: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001a71: DUP2
00001a72: MSTORE
00001a73: POP
00001a74: PUSH1 0x20
00001a76: ADD
00001a77: SWAP2
00001a78: POP
00001a79: POP
00001a7a: PUSH1 0x40
00001a7c: MLOAD
00001a7d: DUP1
00001a7e: SWAP2
00001a7f: SUB
00001a80: SWAP1
00001a81: REVERT
00001a82: JUMPDEST
00001a83: DUP1
00001a84: SWAP2
00001a85: POP
00001a86: POP
00001a87: SWAP3
00001a88: SWAP2
00001a89: POP
00001a8a: POP
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH1 0x00
00001a8f: CALLER
00001a90: SWAP1
00001a91: POP
00001a92: SWAP1
00001a93: JUMP
00001a94: JUMPDEST
00001a95: PUSH2 0x1aa9
00001a98: DUP2
00001a99: PUSH1 0x01
00001a9b: SLOAD
00001a9c: PUSH2 0x18ea
00001a9f: SWAP1
00001aa0: SWAP2
00001aa1: SWAP1
00001aa2: PUSH4 0xffffffff
00001aa7: AND
00001aa8: JUMP
00001aa9: JUMPDEST
00001aaa: PUSH1 0x01
00001aac: DUP2
00001aad: SWAP1
00001aae: SSTORE
00001aaf: POP
00001ab0: PUSH2 0x1b01
00001ab3: DUP2
00001ab4: PUSH1 0x02
00001ab6: PUSH1 0x00
00001ab8: CALLER
00001ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ace: AND
00001acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae4: AND
00001ae5: DUP2
00001ae6: MSTORE
00001ae7: PUSH1 0x20
00001ae9: ADD
00001aea: SWAP1
00001aeb: DUP2
00001aec: MSTORE
00001aed: PUSH1 0x20
00001aef: ADD
00001af0: PUSH1 0x00
00001af2: KECCAK256
00001af3: SLOAD
00001af4: PUSH2 0x18ea
00001af7: SWAP1
00001af8: SWAP2
00001af9: SWAP1
00001afa: PUSH4 0xffffffff
00001aff: AND
00001b00: JUMP
00001b01: JUMPDEST
00001b02: PUSH1 0x02
00001b04: PUSH1 0x00
00001b06: CALLER
00001b07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1c: AND
00001b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b32: AND
00001b33: DUP2
00001b34: MSTORE
00001b35: PUSH1 0x20
00001b37: ADD
00001b38: SWAP1
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: ADD
00001b3e: PUSH1 0x00
00001b40: KECCAK256
00001b41: DUP2
00001b42: SWAP1
00001b43: SSTORE
00001b44: POP
00001b45: PUSH2 0x1b8f
00001b48: CALLER
00001b49: DUP3
00001b4a: PUSH1 0x00
00001b4c: DUP1
00001b4d: SLOAD
00001b4e: SWAP1
00001b4f: PUSH2 0x0100
00001b52: EXP
00001b53: SWAP1
00001b54: DIV
00001b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6a: AND
00001b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b80: AND
00001b81: PUSH2 0x1b92
00001b84: SWAP1
00001b85: SWAP3
00001b86: SWAP2
00001b87: SWAP1
00001b88: PUSH4 0xffffffff
00001b8d: AND
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: POP
00001b91: JUMP
00001b92: JUMPDEST
00001b93: PUSH2 0x1c2f
00001b96: DUP4
00001b97: PUSH4 0xa9059cbb
00001b9c: PUSH1 0xe0
00001b9e: SHL
00001b9f: DUP5
00001ba0: DUP5
00001ba1: PUSH1 0x40
00001ba3: MLOAD
00001ba4: PUSH1 0x24
00001ba6: ADD
00001ba7: DUP1
00001ba8: DUP4
00001ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbe: AND
00001bbf: DUP2
00001bc0: MSTORE
00001bc1: PUSH1 0x20
00001bc3: ADD
00001bc4: DUP3
00001bc5: DUP2
00001bc6: MSTORE
00001bc7: PUSH1 0x20
00001bc9: ADD
00001bca: SWAP3
00001bcb: POP
00001bcc: POP
00001bcd: POP
00001bce: PUSH1 0x40
00001bd0: MLOAD
00001bd1: PUSH1 0x20
00001bd3: DUP2
00001bd4: DUP4
00001bd5: SUB
00001bd6: SUB
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: SWAP1
00001bda: PUSH1 0x40
00001bdc: MSTORE
00001bdd: SWAP1
00001bde: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001bfb: NOT
00001bfc: AND
00001bfd: PUSH1 0x20
00001bff: DUP3
00001c00: ADD
00001c01: DUP1
00001c02: MLOAD
00001c03: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c20: DUP4
00001c21: DUP2
00001c22: DUP4
00001c23: AND
00001c24: OR
00001c25: DUP4
00001c26: MSTORE
00001c27: POP
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: PUSH2 0x1ed3
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: JUMP
00001c34: JUMPDEST
00001c35: PUSH1 0x00
00001c37: DUP2
00001c38: DUP4
00001c39: LT
00001c3a: PUSH2 0x1c43
00001c3d: JUMPI
00001c3e: DUP2
00001c3f: PUSH2 0x1c45
00001c42: JUMP
00001c43: JUMPDEST
00001c44: DUP3
00001c45: JUMPDEST
00001c46: SWAP1
00001c47: POP
00001c48: SWAP3
00001c49: SWAP2
00001c4a: POP
00001c4b: POP
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH2 0x1c62
00001c51: DUP2
00001c52: PUSH1 0x01
00001c54: SLOAD
00001c55: PUSH2 0x1a04
00001c58: SWAP1
00001c59: SWAP2
00001c5a: SWAP1
00001c5b: PUSH4 0xffffffff
00001c60: AND
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x01
00001c65: DUP2
00001c66: SWAP1
00001c67: SSTORE
00001c68: POP
00001c69: PUSH2 0x1cba
00001c6c: DUP2
00001c6d: PUSH1 0x02
00001c6f: PUSH1 0x00
00001c71: CALLER
00001c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c87: AND
00001c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9d: AND
00001c9e: DUP2
00001c9f: MSTORE
00001ca0: PUSH1 0x20
00001ca2: ADD
00001ca3: SWAP1
00001ca4: DUP2
00001ca5: MSTORE
00001ca6: PUSH1 0x20
00001ca8: ADD
00001ca9: PUSH1 0x00
00001cab: KECCAK256
00001cac: SLOAD
00001cad: PUSH2 0x1a04
00001cb0: SWAP1
00001cb1: SWAP2
00001cb2: SWAP1
00001cb3: PUSH4 0xffffffff
00001cb8: AND
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: PUSH1 0x02
00001cbd: PUSH1 0x00
00001cbf: CALLER
00001cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd5: AND
00001cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ceb: AND
00001cec: DUP2
00001ced: MSTORE
00001cee: PUSH1 0x20
00001cf0: ADD
00001cf1: SWAP1
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: PUSH1 0x00
00001cf9: KECCAK256
00001cfa: DUP2
00001cfb: SWAP1
00001cfc: SSTORE
00001cfd: POP
00001cfe: PUSH2 0x1d4a
00001d01: CALLER
00001d02: ADDRESS
00001d03: DUP4
00001d04: PUSH1 0x00
00001d06: DUP1
00001d07: SLOAD
00001d08: SWAP1
00001d09: PUSH2 0x0100
00001d0c: EXP
00001d0d: SWAP1
00001d0e: DIV
00001d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d24: AND
00001d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3a: AND
00001d3b: PUSH2 0x1fc2
00001d3e: SWAP1
00001d3f: SWAP4
00001d40: SWAP3
00001d41: SWAP2
00001d42: SWAP1
00001d43: PUSH4 0xffffffff
00001d48: AND
00001d49: JUMP
00001d4a: JUMPDEST
00001d4b: POP
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: PUSH1 0x00
00001d50: DUP4
00001d51: DUP4
00001d52: GT
00001d53: ISZERO
00001d54: DUP3
00001d55: SWAP1
00001d56: PUSH2 0x1dfa
00001d59: JUMPI
00001d5a: PUSH1 0x40
00001d5c: MLOAD
00001d5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d7e: DUP2
00001d7f: MSTORE
00001d80: PUSH1 0x04
00001d82: ADD
00001d83: DUP1
00001d84: DUP1
00001d85: PUSH1 0x20
00001d87: ADD
00001d88: DUP3
00001d89: DUP2
00001d8a: SUB
00001d8b: DUP3
00001d8c: MSTORE
00001d8d: DUP4
00001d8e: DUP2
00001d8f: DUP2
00001d90: MLOAD
00001d91: DUP2
00001d92: MSTORE
00001d93: PUSH1 0x20
00001d95: ADD
00001d96: SWAP2
00001d97: POP
00001d98: DUP1
00001d99: MLOAD
00001d9a: SWAP1
00001d9b: PUSH1 0x20
00001d9d: ADD
00001d9e: SWAP1
00001d9f: DUP1
00001da0: DUP4
00001da1: DUP4
00001da2: PUSH1 0x00
00001da4: JUMPDEST
00001da5: DUP4
00001da6: DUP2
00001da7: LT
00001da8: ISZERO
00001da9: PUSH2 0x1dbf
00001dac: JUMPI
00001dad: DUP1
00001dae: DUP3
00001daf: ADD
00001db0: MLOAD
00001db1: DUP2
00001db2: DUP5
00001db3: ADD
00001db4: MSTORE
00001db5: PUSH1 0x20
00001db7: DUP2
00001db8: ADD
00001db9: SWAP1
00001dba: POP
00001dbb: PUSH2 0x1da4
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: POP
00001dc1: POP
00001dc2: POP
00001dc3: POP
00001dc4: SWAP1
00001dc5: POP
00001dc6: SWAP1
00001dc7: DUP2
00001dc8: ADD
00001dc9: SWAP1
00001dca: PUSH1 0x1f
00001dcc: AND
00001dcd: DUP1
00001dce: ISZERO
00001dcf: PUSH2 0x1dec
00001dd2: JUMPI
00001dd3: DUP1
00001dd4: DUP3
00001dd5: SUB
00001dd6: DUP1
00001dd7: MLOAD
00001dd8: PUSH1 0x01
00001dda: DUP4
00001ddb: PUSH1 0x20
00001ddd: SUB
00001dde: PUSH2 0x0100
00001de1: EXP
00001de2: SUB
00001de3: NOT
00001de4: AND
00001de5: DUP2
00001de6: MSTORE
00001de7: PUSH1 0x20
00001de9: ADD
00001dea: SWAP2
00001deb: POP
00001dec: JUMPDEST
00001ded: POP
00001dee: SWAP3
00001def: POP
00001df0: POP
00001df1: POP
00001df2: PUSH1 0x40
00001df4: MLOAD
00001df5: DUP1
00001df6: SWAP2
00001df7: SUB
00001df8: SWAP1
00001df9: REVERT
00001dfa: JUMPDEST
00001dfb: POP
00001dfc: PUSH1 0x00
00001dfe: DUP4
00001dff: DUP6
00001e00: SUB
00001e01: SWAP1
00001e02: POP
00001e03: DUP1
00001e04: SWAP2
00001e05: POP
00001e06: POP
00001e07: SWAP4
00001e08: SWAP3
00001e09: POP
00001e0a: POP
00001e0b: POP
00001e0c: JUMP
00001e0d: JUMPDEST
00001e0e: PUSH1 0x00
00001e10: DUP1
00001e11: DUP4
00001e12: GT
00001e13: DUP3
00001e14: SWAP1
00001e15: PUSH2 0x1eb9
00001e18: JUMPI
00001e19: PUSH1 0x40
00001e1b: MLOAD
00001e1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e3d: DUP2
00001e3e: MSTORE
00001e3f: PUSH1 0x04
00001e41: ADD
00001e42: DUP1
00001e43: DUP1
00001e44: PUSH1 0x20
00001e46: ADD
00001e47: DUP3
00001e48: DUP2
00001e49: SUB
00001e4a: DUP3
00001e4b: MSTORE
00001e4c: DUP4
00001e4d: DUP2
00001e4e: DUP2
00001e4f: MLOAD
00001e50: DUP2
00001e51: MSTORE
00001e52: PUSH1 0x20
00001e54: ADD
00001e55: SWAP2
00001e56: POP
00001e57: DUP1
00001e58: MLOAD
00001e59: SWAP1
00001e5a: PUSH1 0x20
00001e5c: ADD
00001e5d: SWAP1
00001e5e: DUP1
00001e5f: DUP4
00001e60: DUP4
00001e61: PUSH1 0x00
00001e63: JUMPDEST
00001e64: DUP4
00001e65: DUP2
00001e66: LT
00001e67: ISZERO
00001e68: PUSH2 0x1e7e
00001e6b: JUMPI
00001e6c: DUP1
00001e6d: DUP3
00001e6e: ADD
00001e6f: MLOAD
00001e70: DUP2
00001e71: DUP5
00001e72: ADD
00001e73: MSTORE
00001e74: PUSH1 0x20
00001e76: DUP2
00001e77: ADD
00001e78: SWAP1
00001e79: POP
00001e7a: PUSH2 0x1e63
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: POP
00001e80: POP
00001e81: POP
00001e82: POP
00001e83: SWAP1
00001e84: POP
00001e85: SWAP1
00001e86: DUP2
00001e87: ADD
00001e88: SWAP1
00001e89: PUSH1 0x1f
00001e8b: AND
00001e8c: DUP1
00001e8d: ISZERO
00001e8e: PUSH2 0x1eab
00001e91: JUMPI
00001e92: DUP1
00001e93: DUP3
00001e94: SUB
00001e95: DUP1
00001e96: MLOAD
00001e97: PUSH1 0x01
00001e99: DUP4
00001e9a: PUSH1 0x20
00001e9c: SUB
00001e9d: PUSH2 0x0100
00001ea0: EXP
00001ea1: SUB
00001ea2: NOT
00001ea3: AND
00001ea4: DUP2
00001ea5: MSTORE
00001ea6: PUSH1 0x20
00001ea8: ADD
00001ea9: SWAP2
00001eaa: POP
00001eab: JUMPDEST
00001eac: POP
00001ead: SWAP3
00001eae: POP
00001eaf: POP
00001eb0: POP
00001eb1: PUSH1 0x40
00001eb3: MLOAD
00001eb4: DUP1
00001eb5: SWAP2
00001eb6: SUB
00001eb7: SWAP1
00001eb8: REVERT
00001eb9: JUMPDEST
00001eba: POP
00001ebb: PUSH1 0x00
00001ebd: DUP4
00001ebe: DUP6
00001ebf: DUP2
00001ec0: PUSH2 0x1ec5
00001ec3: JUMPI
00001ec4: INVALID
00001ec5: JUMPDEST
00001ec6: DIV
00001ec7: SWAP1
00001ec8: POP
00001ec9: DUP1
00001eca: SWAP2
00001ecb: POP
00001ecc: POP
00001ecd: SWAP4
00001ece: SWAP3
00001ecf: POP
00001ed0: POP
00001ed1: POP
00001ed2: JUMP
00001ed3: JUMPDEST
00001ed4: PUSH1 0x60
00001ed6: PUSH2 0x1f35
00001ed9: DUP3
00001eda: PUSH1 0x40
00001edc: MLOAD
00001edd: DUP1
00001ede: PUSH1 0x40
00001ee0: ADD
00001ee1: PUSH1 0x40
00001ee3: MSTORE
00001ee4: DUP1
00001ee5: PUSH1 0x20
00001ee7: DUP2
00001ee8: MSTORE
00001ee9: PUSH1 0x20
00001eeb: ADD
00001eec: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f0d: DUP2
00001f0e: MSTORE
00001f0f: POP
00001f10: DUP6
00001f11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f26: AND
00001f27: PUSH2 0x2083
00001f2a: SWAP1
00001f2b: SWAP3
00001f2c: SWAP2
00001f2d: SWAP1
00001f2e: PUSH4 0xffffffff
00001f33: AND
00001f34: JUMP
00001f35: JUMPDEST
00001f36: SWAP1
00001f37: POP
00001f38: PUSH1 0x00
00001f3a: DUP2
00001f3b: MLOAD
00001f3c: GT
00001f3d: ISZERO
00001f3e: PUSH2 0x1fbd
00001f41: JUMPI
00001f42: DUP1
00001f43: DUP1
00001f44: PUSH1 0x20
00001f46: ADD
00001f47: SWAP1
00001f48: MLOAD
00001f49: PUSH1 0x20
00001f4b: DUP2
00001f4c: LT
00001f4d: ISZERO
00001f4e: PUSH2 0x1f56
00001f51: JUMPI
00001f52: PUSH1 0x00
00001f54: DUP1
00001f55: REVERT
00001f56: JUMPDEST
00001f57: DUP2
00001f58: ADD
00001f59: SWAP1
00001f5a: DUP1
00001f5b: DUP1
00001f5c: MLOAD
00001f5d: SWAP1
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: SWAP1
00001f62: SWAP3
00001f63: SWAP2
00001f64: SWAP1
00001f65: POP
00001f66: POP
00001f67: POP
00001f68: PUSH2 0x1fbc
00001f6b: JUMPI
00001f6c: PUSH1 0x40
00001f6e: MLOAD
00001f6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f90: DUP2
00001f91: MSTORE
00001f92: PUSH1 0x04
00001f94: ADD
00001f95: DUP1
00001f96: DUP1
00001f97: PUSH1 0x20
00001f99: ADD
00001f9a: DUP3
00001f9b: DUP2
00001f9c: SUB
00001f9d: DUP3
00001f9e: MSTORE
00001f9f: PUSH1 0x2a
00001fa1: DUP2
00001fa2: MSTORE
00001fa3: PUSH1 0x20
00001fa5: ADD
00001fa6: DUP1
00001fa7: PUSH2 0x231d
00001faa: PUSH1 0x2a
00001fac: SWAP2
00001fad: CODECOPY
00001fae: PUSH1 0x40
00001fb0: ADD
00001fb1: SWAP2
00001fb2: POP
00001fb3: POP
00001fb4: PUSH1 0x40
00001fb6: MLOAD
00001fb7: DUP1
00001fb8: SWAP2
00001fb9: SUB
00001fba: SWAP1
00001fbb: REVERT
00001fbc: JUMPDEST
00001fbd: JUMPDEST
00001fbe: POP
00001fbf: POP
00001fc0: POP
00001fc1: JUMP
00001fc2: JUMPDEST
00001fc3: PUSH2 0x207d
00001fc6: DUP5
00001fc7: PUSH4 0x23b872dd
00001fcc: PUSH1 0xe0
00001fce: SHL
00001fcf: DUP6
00001fd0: DUP6
00001fd1: DUP6
00001fd2: PUSH1 0x40
00001fd4: MLOAD
00001fd5: PUSH1 0x24
00001fd7: ADD
00001fd8: DUP1
00001fd9: DUP5
00001fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fef: AND
00001ff0: DUP2
00001ff1: MSTORE
00001ff2: PUSH1 0x20
00001ff4: ADD
00001ff5: DUP4
00001ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200b: AND
0000200c: DUP2
0000200d: MSTORE
0000200e: PUSH1 0x20
00002010: ADD
00002011: DUP3
00002012: DUP2
00002013: MSTORE
00002014: PUSH1 0x20
00002016: ADD
00002017: SWAP4
00002018: POP
00002019: POP
0000201a: POP
0000201b: POP
0000201c: PUSH1 0x40
0000201e: MLOAD
0000201f: PUSH1 0x20
00002021: DUP2
00002022: DUP4
00002023: SUB
00002024: SUB
00002025: DUP2
00002026: MSTORE
00002027: SWAP1
00002028: PUSH1 0x40
0000202a: MSTORE
0000202b: SWAP1
0000202c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002049: NOT
0000204a: AND
0000204b: PUSH1 0x20
0000204d: DUP3
0000204e: ADD
0000204f: DUP1
00002050: MLOAD
00002051: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000206e: DUP4
0000206f: DUP2
00002070: DUP4
00002071: AND
00002072: OR
00002073: DUP4
00002074: MSTORE
00002075: POP
00002076: POP
00002077: POP
00002078: POP
00002079: PUSH2 0x1ed3
0000207c: JUMP
0000207d: JUMPDEST
0000207e: POP
0000207f: POP
00002080: POP
00002081: POP
00002082: JUMP
00002083: JUMPDEST
00002084: PUSH1 0x60
00002086: PUSH2 0x2092
00002089: DUP5
0000208a: DUP5
0000208b: PUSH1 0x00
0000208d: DUP6
0000208e: PUSH2 0x209b
00002091: JUMP
00002092: JUMPDEST
00002093: SWAP1
00002094: POP
00002095: SWAP4
00002096: SWAP3
00002097: POP
00002098: POP
00002099: POP
0000209a: JUMP
0000209b: JUMPDEST
0000209c: PUSH1 0x60
0000209e: PUSH2 0x20a6
000020a1: DUP6
000020a2: PUSH2 0x22a1
000020a5: JUMP
000020a6: JUMPDEST
000020a7: PUSH2 0x2118
000020aa: JUMPI
000020ab: PUSH1 0x40
000020ad: MLOAD
000020ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020cf: DUP2
000020d0: MSTORE
000020d1: PUSH1 0x04
000020d3: ADD
000020d4: DUP1
000020d5: DUP1
000020d6: PUSH1 0x20
000020d8: ADD
000020d9: DUP3
000020da: DUP2
000020db: SUB
000020dc: DUP3
000020dd: MSTORE
000020de: PUSH1 0x1d
000020e0: DUP2
000020e1: MSTORE
000020e2: PUSH1 0x20
000020e4: ADD
000020e5: DUP1
000020e6: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002107: DUP2
00002108: MSTORE
00002109: POP
0000210a: PUSH1 0x20
0000210c: ADD
0000210d: SWAP2
0000210e: POP
0000210f: POP
00002110: PUSH1 0x40
00002112: MLOAD
00002113: DUP1
00002114: SWAP2
00002115: SUB
00002116: SWAP1
00002117: REVERT
00002118: JUMPDEST
00002119: PUSH1 0x00
0000211b: PUSH1 0x60
0000211d: DUP7
0000211e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002133: AND
00002134: DUP6
00002135: DUP8
00002136: PUSH1 0x40
00002138: MLOAD
00002139: DUP1
0000213a: DUP3
0000213b: DUP1
0000213c: MLOAD
0000213d: SWAP1
0000213e: PUSH1 0x20
00002140: ADD
00002141: SWAP1
00002142: DUP1
00002143: DUP4
00002144: DUP4
00002145: JUMPDEST
00002146: PUSH1 0x20
00002148: DUP4
00002149: LT
0000214a: PUSH2 0x2168
0000214d: JUMPI
0000214e: DUP1
0000214f: MLOAD
00002150: DUP3
00002151: MSTORE
00002152: PUSH1 0x20
00002154: DUP3
00002155: ADD
00002156: SWAP2
00002157: POP
00002158: PUSH1 0x20
0000215a: DUP2
0000215b: ADD
0000215c: SWAP1
0000215d: POP
0000215e: PUSH1 0x20
00002160: DUP4
00002161: SUB
00002162: SWAP3
00002163: POP
00002164: PUSH2 0x2145
00002167: JUMP
00002168: JUMPDEST
00002169: PUSH1 0x01
0000216b: DUP4
0000216c: PUSH1 0x20
0000216e: SUB
0000216f: PUSH2 0x0100
00002172: EXP
00002173: SUB
00002174: DUP1
00002175: NOT
00002176: DUP3
00002177: MLOAD
00002178: AND
00002179: DUP2
0000217a: DUP5
0000217b: MLOAD
0000217c: AND
0000217d: DUP1
0000217e: DUP3
0000217f: OR
00002180: DUP6
00002181: MSTORE
00002182: POP
00002183: POP
00002184: POP
00002185: POP
00002186: POP
00002187: POP
00002188: SWAP1
00002189: POP
0000218a: ADD
0000218b: SWAP2
0000218c: POP
0000218d: POP
0000218e: PUSH1 0x00
00002190: PUSH1 0x40
00002192: MLOAD
00002193: DUP1
00002194: DUP4
00002195: SUB
00002196: DUP2
00002197: DUP6
00002198: DUP8
00002199: GAS
0000219a: CALL
0000219b: SWAP3
0000219c: POP
0000219d: POP
0000219e: POP
0000219f: RETURNDATASIZE
000021a0: DUP1
000021a1: PUSH1 0x00
000021a3: DUP2
000021a4: EQ
000021a5: PUSH2 0x21ca
000021a8: JUMPI
000021a9: PUSH1 0x40
000021ab: MLOAD
000021ac: SWAP2
000021ad: POP
000021ae: PUSH1 0x1f
000021b0: NOT
000021b1: PUSH1 0x3f
000021b3: RETURNDATASIZE
000021b4: ADD
000021b5: AND
000021b6: DUP3
000021b7: ADD
000021b8: PUSH1 0x40
000021ba: MSTORE
000021bb: RETURNDATASIZE
000021bc: DUP3
000021bd: MSTORE
000021be: RETURNDATASIZE
000021bf: PUSH1 0x00
000021c1: PUSH1 0x20
000021c3: DUP5
000021c4: ADD
000021c5: RETURNDATACOPY
000021c6: PUSH2 0x21cf
000021c9: JUMP
000021ca: JUMPDEST
000021cb: PUSH1 0x60
000021cd: SWAP2
000021ce: POP
000021cf: JUMPDEST
000021d0: POP
000021d1: SWAP2
000021d2: POP
000021d3: SWAP2
000021d4: POP
000021d5: DUP2
000021d6: ISZERO
000021d7: PUSH2 0x21e4
000021da: JUMPI
000021db: DUP1
000021dc: SWAP3
000021dd: POP
000021de: POP
000021df: POP
000021e0: PUSH2 0x2299
000021e3: JUMP
000021e4: JUMPDEST
000021e5: PUSH1 0x00
000021e7: DUP2
000021e8: MLOAD
000021e9: GT
000021ea: ISZERO
000021eb: PUSH2 0x21f7
000021ee: JUMPI
000021ef: DUP1
000021f0: MLOAD
000021f1: DUP1
000021f2: DUP3
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: REVERT
000021f7: JUMPDEST
000021f8: DUP4
000021f9: PUSH1 0x40
000021fb: MLOAD
000021fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x04
00002221: ADD
00002222: DUP1
00002223: DUP1
00002224: PUSH1 0x20
00002226: ADD
00002227: DUP3
00002228: DUP2
00002229: SUB
0000222a: DUP3
0000222b: MSTORE
0000222c: DUP4
0000222d: DUP2
0000222e: DUP2
0000222f: MLOAD
00002230: DUP2
00002231: MSTORE
00002232: PUSH1 0x20
00002234: ADD
00002235: SWAP2
00002236: POP
00002237: DUP1
00002238: MLOAD
00002239: SWAP1
0000223a: PUSH1 0x20
0000223c: ADD
0000223d: SWAP1
0000223e: DUP1
0000223f: DUP4
00002240: DUP4
00002241: PUSH1 0x00
00002243: JUMPDEST
00002244: DUP4
00002245: DUP2
00002246: LT
00002247: ISZERO
00002248: PUSH2 0x225e
0000224b: JUMPI
0000224c: DUP1
0000224d: DUP3
0000224e: ADD
0000224f: MLOAD
00002250: DUP2
00002251: DUP5
00002252: ADD
00002253: MSTORE
00002254: PUSH1 0x20
00002256: DUP2
00002257: ADD
00002258: SWAP1
00002259: POP
0000225a: PUSH2 0x2243
0000225d: JUMP
0000225e: JUMPDEST
0000225f: POP
00002260: POP
00002261: POP
00002262: POP
00002263: SWAP1
00002264: POP
00002265: SWAP1
00002266: DUP2
00002267: ADD
00002268: SWAP1
00002269: PUSH1 0x1f
0000226b: AND
0000226c: DUP1
0000226d: ISZERO
0000226e: PUSH2 0x228b
00002271: JUMPI
00002272: DUP1
00002273: DUP3
00002274: SUB
00002275: DUP1
00002276: MLOAD
00002277: PUSH1 0x01
00002279: DUP4
0000227a: PUSH1 0x20
0000227c: SUB
0000227d: PUSH2 0x0100
00002280: EXP
00002281: SUB
00002282: NOT
00002283: AND
00002284: DUP2
00002285: MSTORE
00002286: PUSH1 0x20
00002288: ADD
00002289: SWAP2
0000228a: POP
0000228b: JUMPDEST
0000228c: POP
0000228d: SWAP3
0000228e: POP
0000228f: POP
00002290: POP
00002291: PUSH1 0x40
00002293: MLOAD
00002294: DUP1
00002295: SWAP2
00002296: SUB
00002297: SWAP1
00002298: REVERT
00002299: JUMPDEST
0000229a: SWAP5
0000229b: SWAP4
0000229c: POP
0000229d: POP
0000229e: POP
0000229f: POP
000022a0: JUMP
000022a1: JUMPDEST
000022a2: PUSH1 0x00
000022a4: DUP1
000022a5: DUP3
000022a6: EXTCODESIZE
000022a7: SWAP1
000022a8: POP
000022a9: PUSH1 0x00
000022ab: DUP2
000022ac: GT
000022ad: SWAP2
000022ae: POP
000022af: POP
000022b0: SWAP2
000022b1: SWAP1
000022b2: POP
000022b3: JUMP
000022b4: INVALID
000022b5: UNKNOWN(0x4F)
000022b6: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
000022cf: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970
000022eb: PUSH13 0x69636174696f6e206f76657266
000022f9: PUSH13 0x6f7743616c6c6572206973206e
00002307: PUSH16 0x74207265776172642064697374726962
00002318: PUSH22 0x74696f6e5361666545524332303a204552433230206f
0000232f: PUSH17 0x65726174696f6e20646964206e6f742073
00002341: PUSH22 0x6363656564a26469706673582212209f542fe0959331
00002358: EXTCODEHASH
00002359: DUP15
0000235a: PUSH4 0x8346333b
0000235f: UNKNOWN(0xC5)
00002360: SWAP12
00002361: UNKNOWN(0xAA)
00002362: INVALID
00002363: UNKNOWN(0xA5)
00002364: COINBASE
00002365: UNKNOWN(0x4B)
00002366: CALLCODE
00002367: UNKNOWN(0xC2)
00002368: BLOBBASEFEE
00002369: COINBASE
0000236a: DUP9
0000236b: UNKNOWN(0xBC)
0000236c: DUP12
0000236d: MLOAD
0000236e: UNKNOWN(0xB9)
0000236f: ADD
00002370: UNKNOWN(0xBE)
00002371: PUSH5 0x736f6c6343
00002377: STOP
00002378: MOD
00002379: UNKNOWN(0x0C)
0000237a: STOP
0000237b: 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: 0x00ce39c9108925b86baaed6e7032838767025c41982e53298b95965c3a664cc9
call_targets: 0x27392910fc7921ac3b451e6a4568906371941df8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x00ce39c9108925b86baaed6e7032838767025c41982e53298b95965c3a664cc9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x27392910fc7921ac3b451e6a4568906371941df8"
    ],
    "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": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b0a47ee",
            "selector": "0x7b0a47ee",
            "calldata_variants": [
                "0x7b0a47ee",
                "0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9062,
            "opcode": "CALLCODE",
            "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: 0x00ce39c9108925b86baaed6e7032838767025c41982e53298b95965c3a664cc9
call_targets: 0x27392910fc7921ac3b451e6a4568906371941df8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x00ce39c9108925b86baaed6e7032838767025c41982e53298b95965c3a664cc9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x27392910fc7921ac3b451e6a4568906371941df8"
    ],
    "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": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b0a47ee",
            "selector": "0x7b0a47ee",
            "calldata_variants": [
                "0x7b0a47ee",
                "0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9062,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}