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

Analysis Run

019ba928-f780-71fb-a0a4-a6d0fdb0c688

complete
Chain ID
1
Address
Block Number
Created
Sat, Jan 10, 2026 6:26 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?

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
35221 artifact.fetch complete 1 / 3 3 months ago
35222 proxy.resolve complete 1 / 3 3 months ago
35223 tool.cast_disasm complete 1 / 3 3 months ago
35224 analysis.bundle complete 1 / 3 3 months ago
35225 capability.graph complete 1 / 3 3 months ago
35226 detector.run complete 1 / 3 3 months ago
35227 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)
1
EXT*/BALANCE
1
Total opcodes
4211
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 0x80faa57d
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 0x80faa57d
0000009e: EQ
0000009f: PUSH2 0x0410
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8b876347
000000a9: EQ
000000aa: PUSH2 0x042e
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8da58897
000000b4: EQ
000000b5: PUSH2 0x0486
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da5cb5b
000000bf: EQ
000000c0: PUSH2 0x04a4
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x97afd87d
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 0x7b0a47ee
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: DUP2
00000401: MSTORE
00000402: PUSH1 0x20
00000404: ADD
00000405: SWAP2
00000406: POP
00000407: POP
00000408: PUSH1 0x40
0000040a: MLOAD
0000040b: DUP1
0000040c: SWAP2
0000040d: SUB
0000040e: SWAP1
0000040f: RETURN
00000410: JUMPDEST
00000411: PUSH2 0x0418
00000414: PUSH2 0x12b4
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: DUP1
0000041d: DUP3
0000041e: DUP2
0000041f: MSTORE
00000420: PUSH1 0x20
00000422: ADD
00000423: SWAP2
00000424: POP
00000425: POP
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: SWAP2
0000042b: SUB
0000042c: SWAP1
0000042d: RETURN
0000042e: JUMPDEST
0000042f: PUSH2 0x0470
00000432: PUSH1 0x04
00000434: DUP1
00000435: CALLDATASIZE
00000436: SUB
00000437: PUSH1 0x20
00000439: DUP2
0000043a: LT
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: DUP2
00000446: ADD
00000447: SWAP1
00000448: DUP1
00000449: DUP1
0000044a: CALLDATALOAD
0000044b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000460: AND
00000461: SWAP1
00000462: PUSH1 0x20
00000464: ADD
00000465: SWAP1
00000466: SWAP3
00000467: SWAP2
00000468: SWAP1
00000469: POP
0000046a: POP
0000046b: POP
0000046c: PUSH2 0x12c7
0000046f: JUMP
00000470: JUMPDEST
00000471: PUSH1 0x40
00000473: MLOAD
00000474: DUP1
00000475: DUP3
00000476: DUP2
00000477: MSTORE
00000478: PUSH1 0x20
0000047a: ADD
0000047b: SWAP2
0000047c: POP
0000047d: POP
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: DUP1
00000482: SWAP2
00000483: SUB
00000484: SWAP1
00000485: RETURN
00000486: JUMPDEST
00000487: PUSH2 0x048e
0000048a: PUSH2 0x12df
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: DUP1
00000493: DUP3
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: SWAP2
0000049a: POP
0000049b: POP
0000049c: PUSH1 0x40
0000049e: MLOAD
0000049f: DUP1
000004a0: SWAP2
000004a1: SUB
000004a2: SWAP1
000004a3: RETURN
000004a4: JUMPDEST
000004a5: PUSH2 0x04ac
000004a8: PUSH2 0x12e5
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: DUP1
000004b1: DUP3
000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c7: AND
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 0x130f
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 0x165b
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 0x1661
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 0x16f9
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 0x16ff
0000059b: JUMP
0000059c: JUMPDEST
0000059d: STOP
0000059e: JUMPDEST
0000059f: PUSH2 0x05a6
000005a2: PUSH2 0x171a
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 0x1720
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 0x1930
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 0x1661
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH2 0x1948
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 0x1992
00000712: SWAP1
00000713: SWAP2
00000714: SWAP1
00000715: PUSH4 0xffffffff
0000071a: AND
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH2 0x1a18
00000720: SWAP1
00000721: SWAP2
00000722: SWAP1
00000723: PUSH4 0xffffffff
00000728: AND
00000729: JUMP
0000072a: JUMPDEST
0000072b: PUSH2 0x1a62
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 0x1aea
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 0x1661
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x0b
000008a7: DUP2
000008a8: SWAP1
000008a9: SSTORE
000008aa: POP
000008ab: PUSH2 0x08b2
000008ae: PUSH2 0x12b4
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 0x42414355534443506f6f6c3a206e6f7420737461727400000000000000000000
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 0x42414355534443506f6f6c3a2043616e6e6f7420776974686472617720300000
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 0x1948
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 0x1af2
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 0x1aea
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 0x238b
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 0x1661
00000c13: JUMP
00000c14: JUMPDEST
00000c15: PUSH1 0x0b
00000c17: DUP2
00000c18: SWAP1
00000c19: SSTORE
00000c1a: POP
00000c1b: PUSH2 0x0c22
00000c1e: PUSH2 0x12b4
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 0x1a18
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 0x1948
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 0x1992
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 0x1a62
00000d63: SWAP1
00000d64: SWAP2
00000d65: SWAP1
00000d66: PUSH4 0xffffffff
00000d6b: AND
00000d6c: JUMP
00000d6d: JUMPDEST
00000d6e: PUSH2 0x1a18
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 0x1a62
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 0x1a18
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 0x1a62
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 0x1661
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x0b
00000e6b: DUP2
00000e6c: SWAP1
00000e6d: SSTORE
00000e6e: POP
00000e6f: PUSH2 0x0e76
00000e72: PUSH2 0x12b4
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 0x42414355534443506f6f6c3a206e6f7420737461727400000000000000000000
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 0x1bf0
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 0x1aea
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 0x09
000012b1: SLOAD
000012b2: DUP2
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH1 0x00
000012b7: PUSH2 0x12c2
000012ba: TIMESTAMP
000012bb: PUSH1 0x08
000012bd: SLOAD
000012be: PUSH2 0x1c92
000012c1: JUMP
000012c2: JUMPDEST
000012c3: SWAP1
000012c4: POP
000012c5: SWAP1
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x0c
000012ca: PUSH1 0x20
000012cc: MSTORE
000012cd: DUP1
000012ce: PUSH1 0x00
000012d0: MSTORE
000012d1: PUSH1 0x40
000012d3: PUSH1 0x00
000012d5: KECCAK256
000012d6: PUSH1 0x00
000012d8: SWAP2
000012d9: POP
000012da: SWAP1
000012db: POP
000012dc: SLOAD
000012dd: DUP2
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x07
000012e2: SLOAD
000012e3: DUP2
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x00
000012e8: PUSH1 0x03
000012ea: PUSH1 0x00
000012ec: SWAP1
000012ed: SLOAD
000012ee: SWAP1
000012ef: PUSH2 0x0100
000012f2: EXP
000012f3: SWAP1
000012f4: DIV
000012f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130a: AND
0000130b: SWAP1
0000130c: POP
0000130d: SWAP1
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH1 0x05
00001312: PUSH1 0x00
00001314: SWAP1
00001315: SLOAD
00001316: SWAP1
00001317: PUSH2 0x0100
0000131a: EXP
0000131b: SWAP1
0000131c: DIV
0000131d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001332: AND
00001333: DUP2
00001334: JUMP
00001335: JUMPDEST
00001336: CALLER
00001337: PUSH2 0x133e
0000133a: PUSH2 0x1661
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x0b
00001341: DUP2
00001342: SWAP1
00001343: SSTORE
00001344: POP
00001345: PUSH2 0x134c
00001348: PUSH2 0x12b4
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 0x42414355534443506f6f6c3a206e6f7420737461727400000000000000000000
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 0x42414355534443506f6f6c3a2043616e6e6f74207374616b6520300000000000
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 0x1a62
00001551: SWAP1
00001552: SWAP2
00001553: SWAP1
00001554: PUSH4 0xffffffff
00001559: AND
0000155a: JUMP
0000155b: JUMPDEST
0000155c: SWAP1
0000155d: POP
0000155e: PUSH5 0x04a817c800
00001564: DUP2
00001565: GT
00001566: ISZERO
00001567: PUSH2 0x15bb
0000156a: JUMPI
0000156b: PUSH1 0x40
0000156d: MLOAD
0000156e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x04
00001593: ADD
00001594: DUP1
00001595: DUP1
00001596: PUSH1 0x20
00001598: ADD
00001599: DUP3
0000159a: DUP2
0000159b: SUB
0000159c: DUP3
0000159d: MSTORE
0000159e: PUSH1 0x31
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x20
000015a4: ADD
000015a5: DUP1
000015a6: PUSH2 0x235a
000015a9: PUSH1 0x31
000015ab: SWAP2
000015ac: CODECOPY
000015ad: PUSH1 0x40
000015af: ADD
000015b0: SWAP2
000015b1: POP
000015b2: POP
000015b3: PUSH1 0x40
000015b5: MLOAD
000015b6: DUP1
000015b7: SWAP2
000015b8: SUB
000015b9: SWAP1
000015ba: REVERT
000015bb: JUMPDEST
000015bc: DUP1
000015bd: PUSH1 0x0e
000015bf: PUSH1 0x00
000015c1: CALLER
000015c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d7: AND
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: DUP2
000015ef: MSTORE
000015f0: PUSH1 0x20
000015f2: ADD
000015f3: SWAP1
000015f4: DUP2
000015f5: MSTORE
000015f6: PUSH1 0x20
000015f8: ADD
000015f9: PUSH1 0x00
000015fb: KECCAK256
000015fc: DUP2
000015fd: SWAP1
000015fe: SSTORE
000015ff: POP
00001600: PUSH2 0x1608
00001603: DUP4
00001604: PUSH2 0x1cab
00001607: JUMP
00001608: JUMPDEST
00001609: CALLER
0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161f: AND
00001620: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00001641: DUP5
00001642: PUSH1 0x40
00001644: MLOAD
00001645: DUP1
00001646: DUP3
00001647: DUP2
00001648: MSTORE
00001649: PUSH1 0x20
0000164b: ADD
0000164c: SWAP2
0000164d: POP
0000164e: POP
0000164f: PUSH1 0x40
00001651: MLOAD
00001652: DUP1
00001653: SWAP2
00001654: SUB
00001655: SWAP1
00001656: LOG2
00001657: POP
00001658: POP
00001659: POP
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH1 0x0a
0000165e: SLOAD
0000165f: DUP2
00001660: JUMP
00001661: JUMPDEST
00001662: PUSH1 0x00
00001664: DUP1
00001665: PUSH2 0x166c
00001668: PUSH2 0x088b
0000166b: JUMP
0000166c: JUMPDEST
0000166d: EQ
0000166e: ISZERO
0000166f: PUSH2 0x167c
00001672: JUMPI
00001673: PUSH1 0x0b
00001675: SLOAD
00001676: SWAP1
00001677: POP
00001678: PUSH2 0x16f6
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH2 0x16f3
00001680: PUSH2 0x16e2
00001683: PUSH2 0x168a
00001686: PUSH2 0x088b
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH2 0x16d4
0000168e: PUSH8 0x0de0b6b3a7640000
00001697: PUSH2 0x16c6
0000169a: PUSH1 0x09
0000169c: SLOAD
0000169d: PUSH2 0x16b8
000016a0: PUSH1 0x0a
000016a2: SLOAD
000016a3: PUSH2 0x16aa
000016a6: PUSH2 0x12b4
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH2 0x1948
000016ae: SWAP1
000016af: SWAP2
000016b0: SWAP1
000016b1: PUSH4 0xffffffff
000016b6: AND
000016b7: JUMP
000016b8: JUMPDEST
000016b9: PUSH2 0x1992
000016bc: SWAP1
000016bd: SWAP2
000016be: SWAP1
000016bf: PUSH4 0xffffffff
000016c4: AND
000016c5: JUMP
000016c6: JUMPDEST
000016c7: PUSH2 0x1992
000016ca: SWAP1
000016cb: SWAP2
000016cc: SWAP1
000016cd: PUSH4 0xffffffff
000016d2: AND
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH2 0x1a18
000016d8: SWAP1
000016d9: SWAP2
000016da: SWAP1
000016db: PUSH4 0xffffffff
000016e0: AND
000016e1: JUMP
000016e2: JUMPDEST
000016e3: PUSH1 0x0b
000016e5: SLOAD
000016e6: PUSH2 0x1a62
000016e9: SWAP1
000016ea: SWAP2
000016eb: SWAP1
000016ec: PUSH4 0xffffffff
000016f1: AND
000016f2: JUMP
000016f3: JUMPDEST
000016f4: SWAP1
000016f5: POP
000016f6: JUMPDEST
000016f7: SWAP1
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0x0b
000016fc: SLOAD
000016fd: DUP2
000016fe: JUMP
000016ff: JUMPDEST
00001700: PUSH2 0x1710
00001703: PUSH2 0x170b
00001706: CALLER
00001707: PUSH2 0x10da
0000170a: JUMP
0000170b: JUMPDEST
0000170c: PUSH2 0x089b
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH2 0x1718
00001714: PUSH2 0x0e5f
00001717: JUMP
00001718: JUMPDEST
00001719: JUMP
0000171a: JUMPDEST
0000171b: PUSH1 0x08
0000171d: SLOAD
0000171e: DUP2
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH2 0x1728
00001724: PUSH2 0x1aea
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173e: AND
0000173f: PUSH1 0x03
00001741: PUSH1 0x00
00001743: SWAP1
00001744: SLOAD
00001745: SWAP1
00001746: PUSH2 0x0100
00001749: EXP
0000174a: SWAP1
0000174b: DIV
0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001761: AND
00001762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001777: AND
00001778: EQ
00001779: PUSH2 0x17ea
0000177c: JUMPI
0000177d: PUSH1 0x40
0000177f: MLOAD
00001780: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017a1: DUP2
000017a2: MSTORE
000017a3: PUSH1 0x04
000017a5: ADD
000017a6: DUP1
000017a7: DUP1
000017a8: PUSH1 0x20
000017aa: ADD
000017ab: DUP3
000017ac: DUP2
000017ad: SUB
000017ae: DUP3
000017af: MSTORE
000017b0: PUSH1 0x20
000017b2: DUP2
000017b3: MSTORE
000017b4: PUSH1 0x20
000017b6: ADD
000017b7: DUP1
000017b8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000017d9: DUP2
000017da: MSTORE
000017db: POP
000017dc: PUSH1 0x20
000017de: ADD
000017df: SWAP2
000017e0: POP
000017e1: POP
000017e2: PUSH1 0x40
000017e4: MLOAD
000017e5: DUP1
000017e6: SWAP2
000017e7: SUB
000017e8: SWAP1
000017e9: REVERT
000017ea: JUMPDEST
000017eb: PUSH1 0x00
000017ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001802: AND
00001803: DUP2
00001804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001819: AND
0000181a: EQ
0000181b: ISZERO
0000181c: PUSH2 0x1870
0000181f: JUMPI
00001820: PUSH1 0x40
00001822: MLOAD
00001823: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x04
00001848: ADD
00001849: DUP1
0000184a: DUP1
0000184b: PUSH1 0x20
0000184d: ADD
0000184e: DUP3
0000184f: DUP2
00001850: SUB
00001851: DUP3
00001852: MSTORE
00001853: PUSH1 0x26
00001855: DUP2
00001856: MSTORE
00001857: PUSH1 0x20
00001859: ADD
0000185a: DUP1
0000185b: PUSH2 0x2313
0000185e: PUSH1 0x26
00001860: SWAP2
00001861: CODECOPY
00001862: PUSH1 0x40
00001864: ADD
00001865: SWAP2
00001866: POP
00001867: POP
00001868: PUSH1 0x40
0000186a: MLOAD
0000186b: DUP1
0000186c: SWAP2
0000186d: SUB
0000186e: SWAP1
0000186f: REVERT
00001870: JUMPDEST
00001871: DUP1
00001872: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001887: AND
00001888: PUSH1 0x03
0000188a: PUSH1 0x00
0000188c: SWAP1
0000188d: SLOAD
0000188e: SWAP1
0000188f: PUSH2 0x0100
00001892: EXP
00001893: SWAP1
00001894: DIV
00001895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018aa: AND
000018ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c0: AND
000018c1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000018e2: PUSH1 0x40
000018e4: MLOAD
000018e5: PUSH1 0x40
000018e7: MLOAD
000018e8: DUP1
000018e9: SWAP2
000018ea: SUB
000018eb: SWAP1
000018ec: LOG3
000018ed: DUP1
000018ee: PUSH1 0x03
000018f0: PUSH1 0x00
000018f2: PUSH2 0x0100
000018f5: EXP
000018f6: DUP2
000018f7: SLOAD
000018f8: DUP2
000018f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190e: MUL
0000190f: NOT
00001910: AND
00001911: SWAP1
00001912: DUP4
00001913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001928: AND
00001929: MUL
0000192a: OR
0000192b: SWAP1
0000192c: SSTORE
0000192d: POP
0000192e: POP
0000192f: JUMP
00001930: JUMPDEST
00001931: PUSH1 0x0e
00001933: PUSH1 0x20
00001935: MSTORE
00001936: DUP1
00001937: PUSH1 0x00
00001939: MSTORE
0000193a: PUSH1 0x40
0000193c: PUSH1 0x00
0000193e: KECCAK256
0000193f: PUSH1 0x00
00001941: SWAP2
00001942: POP
00001943: SWAP1
00001944: POP
00001945: SLOAD
00001946: DUP2
00001947: JUMP
00001948: JUMPDEST
00001949: PUSH1 0x00
0000194b: PUSH2 0x198a
0000194e: DUP4
0000194f: DUP4
00001950: PUSH1 0x40
00001952: MLOAD
00001953: DUP1
00001954: PUSH1 0x40
00001956: ADD
00001957: PUSH1 0x40
00001959: MSTORE
0000195a: DUP1
0000195b: PUSH1 0x1e
0000195d: DUP2
0000195e: MSTORE
0000195f: PUSH1 0x20
00001961: ADD
00001962: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001983: DUP2
00001984: MSTORE
00001985: POP
00001986: PUSH2 0x1dab
00001989: JUMP
0000198a: JUMPDEST
0000198b: SWAP1
0000198c: POP
0000198d: SWAP3
0000198e: SWAP2
0000198f: POP
00001990: POP
00001991: JUMP
00001992: JUMPDEST
00001993: PUSH1 0x00
00001995: DUP1
00001996: DUP4
00001997: EQ
00001998: ISZERO
00001999: PUSH2 0x19a5
0000199c: JUMPI
0000199d: PUSH1 0x00
0000199f: SWAP1
000019a0: POP
000019a1: PUSH2 0x1a12
000019a4: JUMP
000019a5: JUMPDEST
000019a6: PUSH1 0x00
000019a8: DUP3
000019a9: DUP5
000019aa: MUL
000019ab: SWAP1
000019ac: POP
000019ad: DUP3
000019ae: DUP5
000019af: DUP3
000019b0: DUP2
000019b1: PUSH2 0x19b6
000019b4: JUMPI
000019b5: INVALID
000019b6: JUMPDEST
000019b7: DIV
000019b8: EQ
000019b9: PUSH2 0x1a0d
000019bc: JUMPI
000019bd: PUSH1 0x40
000019bf: MLOAD
000019c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019e1: DUP2
000019e2: MSTORE
000019e3: PUSH1 0x04
000019e5: ADD
000019e6: DUP1
000019e7: DUP1
000019e8: PUSH1 0x20
000019ea: ADD
000019eb: DUP3
000019ec: DUP2
000019ed: SUB
000019ee: DUP3
000019ef: MSTORE
000019f0: PUSH1 0x21
000019f2: DUP2
000019f3: MSTORE
000019f4: PUSH1 0x20
000019f6: ADD
000019f7: DUP1
000019f8: PUSH2 0x2339
000019fb: PUSH1 0x21
000019fd: SWAP2
000019fe: CODECOPY
000019ff: PUSH1 0x40
00001a01: ADD
00001a02: SWAP2
00001a03: POP
00001a04: POP
00001a05: PUSH1 0x40
00001a07: MLOAD
00001a08: DUP1
00001a09: SWAP2
00001a0a: SUB
00001a0b: SWAP1
00001a0c: REVERT
00001a0d: JUMPDEST
00001a0e: DUP1
00001a0f: SWAP2
00001a10: POP
00001a11: POP
00001a12: JUMPDEST
00001a13: SWAP3
00001a14: SWAP2
00001a15: POP
00001a16: POP
00001a17: JUMP
00001a18: JUMPDEST
00001a19: PUSH1 0x00
00001a1b: PUSH2 0x1a5a
00001a1e: DUP4
00001a1f: DUP4
00001a20: PUSH1 0x40
00001a22: MLOAD
00001a23: DUP1
00001a24: PUSH1 0x40
00001a26: ADD
00001a27: PUSH1 0x40
00001a29: MSTORE
00001a2a: DUP1
00001a2b: PUSH1 0x1a
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x20
00001a31: ADD
00001a32: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001a53: DUP2
00001a54: MSTORE
00001a55: POP
00001a56: PUSH2 0x1e6b
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: SWAP1
00001a5c: POP
00001a5d: SWAP3
00001a5e: SWAP2
00001a5f: POP
00001a60: POP
00001a61: JUMP
00001a62: JUMPDEST
00001a63: PUSH1 0x00
00001a65: DUP1
00001a66: DUP3
00001a67: DUP5
00001a68: ADD
00001a69: SWAP1
00001a6a: POP
00001a6b: DUP4
00001a6c: DUP2
00001a6d: LT
00001a6e: ISZERO
00001a6f: PUSH2 0x1ae0
00001a72: JUMPI
00001a73: PUSH1 0x40
00001a75: MLOAD
00001a76: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a97: DUP2
00001a98: MSTORE
00001a99: PUSH1 0x04
00001a9b: ADD
00001a9c: DUP1
00001a9d: DUP1
00001a9e: PUSH1 0x20
00001aa0: ADD
00001aa1: DUP3
00001aa2: DUP2
00001aa3: SUB
00001aa4: DUP3
00001aa5: MSTORE
00001aa6: PUSH1 0x1b
00001aa8: DUP2
00001aa9: MSTORE
00001aaa: PUSH1 0x20
00001aac: ADD
00001aad: DUP1
00001aae: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001acf: DUP2
00001ad0: MSTORE
00001ad1: POP
00001ad2: PUSH1 0x20
00001ad4: ADD
00001ad5: SWAP2
00001ad6: POP
00001ad7: POP
00001ad8: PUSH1 0x40
00001ada: MLOAD
00001adb: DUP1
00001adc: SWAP2
00001add: SUB
00001ade: SWAP1
00001adf: REVERT
00001ae0: JUMPDEST
00001ae1: DUP1
00001ae2: SWAP2
00001ae3: POP
00001ae4: POP
00001ae5: SWAP3
00001ae6: SWAP2
00001ae7: POP
00001ae8: POP
00001ae9: JUMP
00001aea: JUMPDEST
00001aeb: PUSH1 0x00
00001aed: CALLER
00001aee: SWAP1
00001aef: POP
00001af0: SWAP1
00001af1: JUMP
00001af2: JUMPDEST
00001af3: PUSH2 0x1b07
00001af6: DUP2
00001af7: PUSH1 0x01
00001af9: SLOAD
00001afa: PUSH2 0x1948
00001afd: SWAP1
00001afe: SWAP2
00001aff: SWAP1
00001b00: PUSH4 0xffffffff
00001b05: AND
00001b06: JUMP
00001b07: JUMPDEST
00001b08: PUSH1 0x01
00001b0a: DUP2
00001b0b: SWAP1
00001b0c: SSTORE
00001b0d: POP
00001b0e: PUSH2 0x1b5f
00001b11: DUP2
00001b12: PUSH1 0x02
00001b14: PUSH1 0x00
00001b16: CALLER
00001b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2c: AND
00001b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b42: AND
00001b43: DUP2
00001b44: MSTORE
00001b45: PUSH1 0x20
00001b47: ADD
00001b48: SWAP1
00001b49: DUP2
00001b4a: MSTORE
00001b4b: PUSH1 0x20
00001b4d: ADD
00001b4e: PUSH1 0x00
00001b50: KECCAK256
00001b51: SLOAD
00001b52: PUSH2 0x1948
00001b55: SWAP1
00001b56: SWAP2
00001b57: SWAP1
00001b58: PUSH4 0xffffffff
00001b5d: AND
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: PUSH1 0x02
00001b62: PUSH1 0x00
00001b64: CALLER
00001b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7a: AND
00001b7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b90: AND
00001b91: DUP2
00001b92: MSTORE
00001b93: PUSH1 0x20
00001b95: ADD
00001b96: SWAP1
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x20
00001b9b: ADD
00001b9c: PUSH1 0x00
00001b9e: KECCAK256
00001b9f: DUP2
00001ba0: SWAP1
00001ba1: SSTORE
00001ba2: POP
00001ba3: PUSH2 0x1bed
00001ba6: CALLER
00001ba7: DUP3
00001ba8: PUSH1 0x00
00001baa: DUP1
00001bab: SLOAD
00001bac: SWAP1
00001bad: PUSH2 0x0100
00001bb0: EXP
00001bb1: SWAP1
00001bb2: DIV
00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc8: AND
00001bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bde: AND
00001bdf: PUSH2 0x1bf0
00001be2: SWAP1
00001be3: SWAP3
00001be4: SWAP2
00001be5: SWAP1
00001be6: PUSH4 0xffffffff
00001beb: AND
00001bec: JUMP
00001bed: JUMPDEST
00001bee: POP
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH2 0x1c8d
00001bf4: DUP4
00001bf5: PUSH4 0xa9059cbb
00001bfa: PUSH1 0xe0
00001bfc: SHL
00001bfd: DUP5
00001bfe: DUP5
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: PUSH1 0x24
00001c04: ADD
00001c05: DUP1
00001c06: DUP4
00001c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1c: AND
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x20
00001c21: ADD
00001c22: DUP3
00001c23: DUP2
00001c24: MSTORE
00001c25: PUSH1 0x20
00001c27: ADD
00001c28: SWAP3
00001c29: POP
00001c2a: POP
00001c2b: POP
00001c2c: PUSH1 0x40
00001c2e: MLOAD
00001c2f: PUSH1 0x20
00001c31: DUP2
00001c32: DUP4
00001c33: SUB
00001c34: SUB
00001c35: DUP2
00001c36: MSTORE
00001c37: SWAP1
00001c38: PUSH1 0x40
00001c3a: MSTORE
00001c3b: SWAP1
00001c3c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c59: NOT
00001c5a: AND
00001c5b: PUSH1 0x20
00001c5d: DUP3
00001c5e: ADD
00001c5f: DUP1
00001c60: MLOAD
00001c61: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c7e: DUP4
00001c7f: DUP2
00001c80: DUP4
00001c81: AND
00001c82: OR
00001c83: DUP4
00001c84: MSTORE
00001c85: POP
00001c86: POP
00001c87: POP
00001c88: POP
00001c89: PUSH2 0x1f31
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: POP
00001c8f: POP
00001c90: POP
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH1 0x00
00001c95: DUP2
00001c96: DUP4
00001c97: LT
00001c98: PUSH2 0x1ca1
00001c9b: JUMPI
00001c9c: DUP2
00001c9d: PUSH2 0x1ca3
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: DUP3
00001ca3: JUMPDEST
00001ca4: SWAP1
00001ca5: POP
00001ca6: SWAP3
00001ca7: SWAP2
00001ca8: POP
00001ca9: POP
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH2 0x1cc0
00001caf: DUP2
00001cb0: PUSH1 0x01
00001cb2: SLOAD
00001cb3: PUSH2 0x1a62
00001cb6: SWAP1
00001cb7: SWAP2
00001cb8: SWAP1
00001cb9: PUSH4 0xffffffff
00001cbe: AND
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH1 0x01
00001cc3: DUP2
00001cc4: SWAP1
00001cc5: SSTORE
00001cc6: POP
00001cc7: PUSH2 0x1d18
00001cca: DUP2
00001ccb: PUSH1 0x02
00001ccd: PUSH1 0x00
00001ccf: CALLER
00001cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce5: AND
00001ce6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfb: AND
00001cfc: DUP2
00001cfd: MSTORE
00001cfe: PUSH1 0x20
00001d00: ADD
00001d01: SWAP1
00001d02: DUP2
00001d03: MSTORE
00001d04: PUSH1 0x20
00001d06: ADD
00001d07: PUSH1 0x00
00001d09: KECCAK256
00001d0a: SLOAD
00001d0b: PUSH2 0x1a62
00001d0e: SWAP1
00001d0f: SWAP2
00001d10: SWAP1
00001d11: PUSH4 0xffffffff
00001d16: AND
00001d17: JUMP
00001d18: JUMPDEST
00001d19: PUSH1 0x02
00001d1b: PUSH1 0x00
00001d1d: CALLER
00001d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d33: AND
00001d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d49: AND
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: SWAP1
00001d50: DUP2
00001d51: MSTORE
00001d52: PUSH1 0x20
00001d54: ADD
00001d55: PUSH1 0x00
00001d57: KECCAK256
00001d58: DUP2
00001d59: SWAP1
00001d5a: SSTORE
00001d5b: POP
00001d5c: PUSH2 0x1da8
00001d5f: CALLER
00001d60: ADDRESS
00001d61: DUP4
00001d62: PUSH1 0x00
00001d64: DUP1
00001d65: SLOAD
00001d66: SWAP1
00001d67: PUSH2 0x0100
00001d6a: EXP
00001d6b: SWAP1
00001d6c: DIV
00001d6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d82: AND
00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d98: AND
00001d99: PUSH2 0x2020
00001d9c: SWAP1
00001d9d: SWAP4
00001d9e: SWAP3
00001d9f: SWAP2
00001da0: SWAP1
00001da1: PUSH4 0xffffffff
00001da6: AND
00001da7: JUMP
00001da8: JUMPDEST
00001da9: POP
00001daa: JUMP
00001dab: JUMPDEST
00001dac: PUSH1 0x00
00001dae: DUP4
00001daf: DUP4
00001db0: GT
00001db1: ISZERO
00001db2: DUP3
00001db3: SWAP1
00001db4: PUSH2 0x1e58
00001db7: JUMPI
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ddc: DUP2
00001ddd: MSTORE
00001dde: PUSH1 0x04
00001de0: ADD
00001de1: DUP1
00001de2: DUP1
00001de3: PUSH1 0x20
00001de5: ADD
00001de6: DUP3
00001de7: DUP2
00001de8: SUB
00001de9: DUP3
00001dea: MSTORE
00001deb: DUP4
00001dec: DUP2
00001ded: DUP2
00001dee: MLOAD
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x20
00001df3: ADD
00001df4: SWAP2
00001df5: POP
00001df6: DUP1
00001df7: MLOAD
00001df8: SWAP1
00001df9: PUSH1 0x20
00001dfb: ADD
00001dfc: SWAP1
00001dfd: DUP1
00001dfe: DUP4
00001dff: DUP4
00001e00: PUSH1 0x00
00001e02: JUMPDEST
00001e03: DUP4
00001e04: DUP2
00001e05: LT
00001e06: ISZERO
00001e07: PUSH2 0x1e1d
00001e0a: JUMPI
00001e0b: DUP1
00001e0c: DUP3
00001e0d: ADD
00001e0e: MLOAD
00001e0f: DUP2
00001e10: DUP5
00001e11: ADD
00001e12: MSTORE
00001e13: PUSH1 0x20
00001e15: DUP2
00001e16: ADD
00001e17: SWAP1
00001e18: POP
00001e19: PUSH2 0x1e02
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: POP
00001e1f: POP
00001e20: POP
00001e21: POP
00001e22: SWAP1
00001e23: POP
00001e24: SWAP1
00001e25: DUP2
00001e26: ADD
00001e27: SWAP1
00001e28: PUSH1 0x1f
00001e2a: AND
00001e2b: DUP1
00001e2c: ISZERO
00001e2d: PUSH2 0x1e4a
00001e30: JUMPI
00001e31: DUP1
00001e32: DUP3
00001e33: SUB
00001e34: DUP1
00001e35: MLOAD
00001e36: PUSH1 0x01
00001e38: DUP4
00001e39: PUSH1 0x20
00001e3b: SUB
00001e3c: PUSH2 0x0100
00001e3f: EXP
00001e40: SUB
00001e41: NOT
00001e42: AND
00001e43: DUP2
00001e44: MSTORE
00001e45: PUSH1 0x20
00001e47: ADD
00001e48: SWAP2
00001e49: POP
00001e4a: JUMPDEST
00001e4b: POP
00001e4c: SWAP3
00001e4d: POP
00001e4e: POP
00001e4f: POP
00001e50: PUSH1 0x40
00001e52: MLOAD
00001e53: DUP1
00001e54: SWAP2
00001e55: SUB
00001e56: SWAP1
00001e57: REVERT
00001e58: JUMPDEST
00001e59: POP
00001e5a: PUSH1 0x00
00001e5c: DUP4
00001e5d: DUP6
00001e5e: SUB
00001e5f: SWAP1
00001e60: POP
00001e61: DUP1
00001e62: SWAP2
00001e63: POP
00001e64: POP
00001e65: SWAP4
00001e66: SWAP3
00001e67: POP
00001e68: POP
00001e69: POP
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH1 0x00
00001e6e: DUP1
00001e6f: DUP4
00001e70: GT
00001e71: DUP3
00001e72: SWAP1
00001e73: PUSH2 0x1f17
00001e76: JUMPI
00001e77: PUSH1 0x40
00001e79: MLOAD
00001e7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e9b: DUP2
00001e9c: MSTORE
00001e9d: PUSH1 0x04
00001e9f: ADD
00001ea0: DUP1
00001ea1: DUP1
00001ea2: PUSH1 0x20
00001ea4: ADD
00001ea5: DUP3
00001ea6: DUP2
00001ea7: SUB
00001ea8: DUP3
00001ea9: MSTORE
00001eaa: DUP4
00001eab: DUP2
00001eac: DUP2
00001ead: MLOAD
00001eae: DUP2
00001eaf: MSTORE
00001eb0: PUSH1 0x20
00001eb2: ADD
00001eb3: SWAP2
00001eb4: POP
00001eb5: DUP1
00001eb6: MLOAD
00001eb7: SWAP1
00001eb8: PUSH1 0x20
00001eba: ADD
00001ebb: SWAP1
00001ebc: DUP1
00001ebd: DUP4
00001ebe: DUP4
00001ebf: PUSH1 0x00
00001ec1: JUMPDEST
00001ec2: DUP4
00001ec3: DUP2
00001ec4: LT
00001ec5: ISZERO
00001ec6: PUSH2 0x1edc
00001ec9: JUMPI
00001eca: DUP1
00001ecb: DUP3
00001ecc: ADD
00001ecd: MLOAD
00001ece: DUP2
00001ecf: DUP5
00001ed0: ADD
00001ed1: MSTORE
00001ed2: PUSH1 0x20
00001ed4: DUP2
00001ed5: ADD
00001ed6: SWAP1
00001ed7: POP
00001ed8: PUSH2 0x1ec1
00001edb: JUMP
00001edc: JUMPDEST
00001edd: POP
00001ede: POP
00001edf: POP
00001ee0: POP
00001ee1: SWAP1
00001ee2: POP
00001ee3: SWAP1
00001ee4: DUP2
00001ee5: ADD
00001ee6: SWAP1
00001ee7: PUSH1 0x1f
00001ee9: AND
00001eea: DUP1
00001eeb: ISZERO
00001eec: PUSH2 0x1f09
00001eef: JUMPI
00001ef0: DUP1
00001ef1: DUP3
00001ef2: SUB
00001ef3: DUP1
00001ef4: MLOAD
00001ef5: PUSH1 0x01
00001ef7: DUP4
00001ef8: PUSH1 0x20
00001efa: SUB
00001efb: PUSH2 0x0100
00001efe: EXP
00001eff: SUB
00001f00: NOT
00001f01: AND
00001f02: DUP2
00001f03: MSTORE
00001f04: PUSH1 0x20
00001f06: ADD
00001f07: SWAP2
00001f08: POP
00001f09: JUMPDEST
00001f0a: POP
00001f0b: SWAP3
00001f0c: POP
00001f0d: POP
00001f0e: POP
00001f0f: PUSH1 0x40
00001f11: MLOAD
00001f12: DUP1
00001f13: SWAP2
00001f14: SUB
00001f15: SWAP1
00001f16: REVERT
00001f17: JUMPDEST
00001f18: POP
00001f19: PUSH1 0x00
00001f1b: DUP4
00001f1c: DUP6
00001f1d: DUP2
00001f1e: PUSH2 0x1f23
00001f21: JUMPI
00001f22: INVALID
00001f23: JUMPDEST
00001f24: DIV
00001f25: SWAP1
00001f26: POP
00001f27: DUP1
00001f28: SWAP2
00001f29: POP
00001f2a: POP
00001f2b: SWAP4
00001f2c: SWAP3
00001f2d: POP
00001f2e: POP
00001f2f: POP
00001f30: JUMP
00001f31: JUMPDEST
00001f32: PUSH1 0x60
00001f34: PUSH2 0x1f93
00001f37: DUP3
00001f38: PUSH1 0x40
00001f3a: MLOAD
00001f3b: DUP1
00001f3c: PUSH1 0x40
00001f3e: ADD
00001f3f: PUSH1 0x40
00001f41: MSTORE
00001f42: DUP1
00001f43: PUSH1 0x20
00001f45: DUP2
00001f46: MSTORE
00001f47: PUSH1 0x20
00001f49: ADD
00001f4a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f6b: DUP2
00001f6c: MSTORE
00001f6d: POP
00001f6e: DUP6
00001f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f84: AND
00001f85: PUSH2 0x20e1
00001f88: SWAP1
00001f89: SWAP3
00001f8a: SWAP2
00001f8b: SWAP1
00001f8c: PUSH4 0xffffffff
00001f91: AND
00001f92: JUMP
00001f93: JUMPDEST
00001f94: SWAP1
00001f95: POP
00001f96: PUSH1 0x00
00001f98: DUP2
00001f99: MLOAD
00001f9a: GT
00001f9b: ISZERO
00001f9c: PUSH2 0x201b
00001f9f: JUMPI
00001fa0: DUP1
00001fa1: DUP1
00001fa2: PUSH1 0x20
00001fa4: ADD
00001fa5: SWAP1
00001fa6: MLOAD
00001fa7: PUSH1 0x20
00001fa9: DUP2
00001faa: LT
00001fab: ISZERO
00001fac: PUSH2 0x1fb4
00001faf: JUMPI
00001fb0: PUSH1 0x00
00001fb2: DUP1
00001fb3: REVERT
00001fb4: JUMPDEST
00001fb5: DUP2
00001fb6: ADD
00001fb7: SWAP1
00001fb8: DUP1
00001fb9: DUP1
00001fba: MLOAD
00001fbb: SWAP1
00001fbc: PUSH1 0x20
00001fbe: ADD
00001fbf: SWAP1
00001fc0: SWAP3
00001fc1: SWAP2
00001fc2: SWAP1
00001fc3: POP
00001fc4: POP
00001fc5: POP
00001fc6: PUSH2 0x201a
00001fc9: JUMPI
00001fca: PUSH1 0x40
00001fcc: MLOAD
00001fcd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fee: DUP2
00001fef: MSTORE
00001ff0: PUSH1 0x04
00001ff2: ADD
00001ff3: DUP1
00001ff4: DUP1
00001ff5: PUSH1 0x20
00001ff7: ADD
00001ff8: DUP3
00001ff9: DUP2
00001ffa: SUB
00001ffb: DUP3
00001ffc: MSTORE
00001ffd: PUSH1 0x2a
00001fff: DUP2
00002000: MSTORE
00002001: PUSH1 0x20
00002003: ADD
00002004: DUP1
00002005: PUSH2 0x23ac
00002008: PUSH1 0x2a
0000200a: SWAP2
0000200b: CODECOPY
0000200c: PUSH1 0x40
0000200e: ADD
0000200f: SWAP2
00002010: POP
00002011: POP
00002012: PUSH1 0x40
00002014: MLOAD
00002015: DUP1
00002016: SWAP2
00002017: SUB
00002018: SWAP1
00002019: REVERT
0000201a: JUMPDEST
0000201b: JUMPDEST
0000201c: POP
0000201d: POP
0000201e: POP
0000201f: JUMP
00002020: JUMPDEST
00002021: PUSH2 0x20db
00002024: DUP5
00002025: PUSH4 0x23b872dd
0000202a: PUSH1 0xe0
0000202c: SHL
0000202d: DUP6
0000202e: DUP6
0000202f: DUP6
00002030: PUSH1 0x40
00002032: MLOAD
00002033: PUSH1 0x24
00002035: ADD
00002036: DUP1
00002037: DUP5
00002038: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204d: AND
0000204e: DUP2
0000204f: MSTORE
00002050: PUSH1 0x20
00002052: ADD
00002053: DUP4
00002054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002069: AND
0000206a: DUP2
0000206b: MSTORE
0000206c: PUSH1 0x20
0000206e: ADD
0000206f: DUP3
00002070: DUP2
00002071: MSTORE
00002072: PUSH1 0x20
00002074: ADD
00002075: SWAP4
00002076: POP
00002077: POP
00002078: POP
00002079: POP
0000207a: PUSH1 0x40
0000207c: MLOAD
0000207d: PUSH1 0x20
0000207f: DUP2
00002080: DUP4
00002081: SUB
00002082: SUB
00002083: DUP2
00002084: MSTORE
00002085: SWAP1
00002086: PUSH1 0x40
00002088: MSTORE
00002089: SWAP1
0000208a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000020a7: NOT
000020a8: AND
000020a9: PUSH1 0x20
000020ab: DUP3
000020ac: ADD
000020ad: DUP1
000020ae: MLOAD
000020af: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000020cc: DUP4
000020cd: DUP2
000020ce: DUP4
000020cf: AND
000020d0: OR
000020d1: DUP4
000020d2: MSTORE
000020d3: POP
000020d4: POP
000020d5: POP
000020d6: POP
000020d7: PUSH2 0x1f31
000020da: JUMP
000020db: JUMPDEST
000020dc: POP
000020dd: POP
000020de: POP
000020df: POP
000020e0: JUMP
000020e1: JUMPDEST
000020e2: PUSH1 0x60
000020e4: PUSH2 0x20f0
000020e7: DUP5
000020e8: DUP5
000020e9: PUSH1 0x00
000020eb: DUP6
000020ec: PUSH2 0x20f9
000020ef: JUMP
000020f0: JUMPDEST
000020f1: SWAP1
000020f2: POP
000020f3: SWAP4
000020f4: SWAP3
000020f5: POP
000020f6: POP
000020f7: POP
000020f8: JUMP
000020f9: JUMPDEST
000020fa: PUSH1 0x60
000020fc: PUSH2 0x2104
000020ff: DUP6
00002100: PUSH2 0x22ff
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH2 0x2176
00002108: JUMPI
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x04
00002131: ADD
00002132: DUP1
00002133: DUP1
00002134: PUSH1 0x20
00002136: ADD
00002137: DUP3
00002138: DUP2
00002139: SUB
0000213a: DUP3
0000213b: MSTORE
0000213c: PUSH1 0x1d
0000213e: DUP2
0000213f: MSTORE
00002140: PUSH1 0x20
00002142: ADD
00002143: DUP1
00002144: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002165: DUP2
00002166: MSTORE
00002167: POP
00002168: PUSH1 0x20
0000216a: ADD
0000216b: SWAP2
0000216c: POP
0000216d: POP
0000216e: PUSH1 0x40
00002170: MLOAD
00002171: DUP1
00002172: SWAP2
00002173: SUB
00002174: SWAP1
00002175: REVERT
00002176: JUMPDEST
00002177: PUSH1 0x00
00002179: PUSH1 0x60
0000217b: DUP7
0000217c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002191: AND
00002192: DUP6
00002193: DUP8
00002194: PUSH1 0x40
00002196: MLOAD
00002197: DUP1
00002198: DUP3
00002199: DUP1
0000219a: MLOAD
0000219b: SWAP1
0000219c: PUSH1 0x20
0000219e: ADD
0000219f: SWAP1
000021a0: DUP1
000021a1: DUP4
000021a2: DUP4
000021a3: JUMPDEST
000021a4: PUSH1 0x20
000021a6: DUP4
000021a7: LT
000021a8: PUSH2 0x21c6
000021ab: JUMPI
000021ac: DUP1
000021ad: MLOAD
000021ae: DUP3
000021af: MSTORE
000021b0: PUSH1 0x20
000021b2: DUP3
000021b3: ADD
000021b4: SWAP2
000021b5: POP
000021b6: PUSH1 0x20
000021b8: DUP2
000021b9: ADD
000021ba: SWAP1
000021bb: POP
000021bc: PUSH1 0x20
000021be: DUP4
000021bf: SUB
000021c0: SWAP3
000021c1: POP
000021c2: PUSH2 0x21a3
000021c5: JUMP
000021c6: JUMPDEST
000021c7: PUSH1 0x01
000021c9: DUP4
000021ca: PUSH1 0x20
000021cc: SUB
000021cd: PUSH2 0x0100
000021d0: EXP
000021d1: SUB
000021d2: DUP1
000021d3: NOT
000021d4: DUP3
000021d5: MLOAD
000021d6: AND
000021d7: DUP2
000021d8: DUP5
000021d9: MLOAD
000021da: AND
000021db: DUP1
000021dc: DUP3
000021dd: OR
000021de: DUP6
000021df: MSTORE
000021e0: POP
000021e1: POP
000021e2: POP
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: SWAP1
000021e7: POP
000021e8: ADD
000021e9: SWAP2
000021ea: POP
000021eb: POP
000021ec: PUSH1 0x00
000021ee: PUSH1 0x40
000021f0: MLOAD
000021f1: DUP1
000021f2: DUP4
000021f3: SUB
000021f4: DUP2
000021f5: DUP6
000021f6: DUP8
000021f7: GAS
000021f8: CALL
000021f9: SWAP3
000021fa: POP
000021fb: POP
000021fc: POP
000021fd: RETURNDATASIZE
000021fe: DUP1
000021ff: PUSH1 0x00
00002201: DUP2
00002202: EQ
00002203: PUSH2 0x2228
00002206: JUMPI
00002207: PUSH1 0x40
00002209: MLOAD
0000220a: SWAP2
0000220b: POP
0000220c: PUSH1 0x1f
0000220e: NOT
0000220f: PUSH1 0x3f
00002211: RETURNDATASIZE
00002212: ADD
00002213: AND
00002214: DUP3
00002215: ADD
00002216: PUSH1 0x40
00002218: MSTORE
00002219: RETURNDATASIZE
0000221a: DUP3
0000221b: MSTORE
0000221c: RETURNDATASIZE
0000221d: PUSH1 0x00
0000221f: PUSH1 0x20
00002221: DUP5
00002222: ADD
00002223: RETURNDATACOPY
00002224: PUSH2 0x222d
00002227: JUMP
00002228: JUMPDEST
00002229: PUSH1 0x60
0000222b: SWAP2
0000222c: POP
0000222d: JUMPDEST
0000222e: POP
0000222f: SWAP2
00002230: POP
00002231: SWAP2
00002232: POP
00002233: DUP2
00002234: ISZERO
00002235: PUSH2 0x2242
00002238: JUMPI
00002239: DUP1
0000223a: SWAP3
0000223b: POP
0000223c: POP
0000223d: POP
0000223e: PUSH2 0x22f7
00002241: JUMP
00002242: JUMPDEST
00002243: PUSH1 0x00
00002245: DUP2
00002246: MLOAD
00002247: GT
00002248: ISZERO
00002249: PUSH2 0x2255
0000224c: JUMPI
0000224d: DUP1
0000224e: MLOAD
0000224f: DUP1
00002250: DUP3
00002251: PUSH1 0x20
00002253: ADD
00002254: REVERT
00002255: JUMPDEST
00002256: DUP4
00002257: PUSH1 0x40
00002259: MLOAD
0000225a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000227b: DUP2
0000227c: MSTORE
0000227d: PUSH1 0x04
0000227f: ADD
00002280: DUP1
00002281: DUP1
00002282: PUSH1 0x20
00002284: ADD
00002285: DUP3
00002286: DUP2
00002287: SUB
00002288: DUP3
00002289: MSTORE
0000228a: DUP4
0000228b: DUP2
0000228c: DUP2
0000228d: MLOAD
0000228e: DUP2
0000228f: MSTORE
00002290: PUSH1 0x20
00002292: ADD
00002293: SWAP2
00002294: POP
00002295: DUP1
00002296: MLOAD
00002297: SWAP1
00002298: PUSH1 0x20
0000229a: ADD
0000229b: SWAP1
0000229c: DUP1
0000229d: DUP4
0000229e: DUP4
0000229f: PUSH1 0x00
000022a1: JUMPDEST
000022a2: DUP4
000022a3: DUP2
000022a4: LT
000022a5: ISZERO
000022a6: PUSH2 0x22bc
000022a9: JUMPI
000022aa: DUP1
000022ab: DUP3
000022ac: ADD
000022ad: MLOAD
000022ae: DUP2
000022af: DUP5
000022b0: ADD
000022b1: MSTORE
000022b2: PUSH1 0x20
000022b4: DUP2
000022b5: ADD
000022b6: SWAP1
000022b7: POP
000022b8: PUSH2 0x22a1
000022bb: JUMP
000022bc: JUMPDEST
000022bd: POP
000022be: POP
000022bf: POP
000022c0: POP
000022c1: SWAP1
000022c2: POP
000022c3: SWAP1
000022c4: DUP2
000022c5: ADD
000022c6: SWAP1
000022c7: PUSH1 0x1f
000022c9: AND
000022ca: DUP1
000022cb: ISZERO
000022cc: PUSH2 0x22e9
000022cf: JUMPI
000022d0: DUP1
000022d1: DUP3
000022d2: SUB
000022d3: DUP1
000022d4: MLOAD
000022d5: PUSH1 0x01
000022d7: DUP4
000022d8: PUSH1 0x20
000022da: SUB
000022db: PUSH2 0x0100
000022de: EXP
000022df: SUB
000022e0: NOT
000022e1: AND
000022e2: DUP2
000022e3: MSTORE
000022e4: PUSH1 0x20
000022e6: ADD
000022e7: SWAP2
000022e8: POP
000022e9: JUMPDEST
000022ea: POP
000022eb: SWAP3
000022ec: POP
000022ed: POP
000022ee: POP
000022ef: PUSH1 0x40
000022f1: MLOAD
000022f2: DUP1
000022f3: SWAP2
000022f4: SUB
000022f5: SWAP1
000022f6: REVERT
000022f7: JUMPDEST
000022f8: SWAP5
000022f9: SWAP4
000022fa: POP
000022fb: POP
000022fc: POP
000022fd: POP
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH1 0x00
00002302: DUP1
00002303: DUP3
00002304: EXTCODESIZE
00002305: SWAP1
00002306: POP
00002307: PUSH1 0x00
00002309: DUP2
0000230a: GT
0000230b: SWAP2
0000230c: POP
0000230d: POP
0000230e: SWAP2
0000230f: SWAP1
00002310: POP
00002311: JUMP
00002312: INVALID
00002313: UNKNOWN(0x4F)
00002314: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
0000232d: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970
00002349: PUSH13 0x69636174696f6e206f76657266
00002357: PUSH13 0x6f7742414355534443506f6f6c
00002365: GASPRICE
00002366: KECCAK256
00002367: PUSH5 0x65706f7369
0000236d: PUSH21 0x20616d6f756e742065786365656473206d6178696d
00002383: PUSH22 0x6d20323030303043616c6c6572206973206e6f742072
0000239a: PUSH6 0x776172642064
000023a1: PUSH10 0x73747269627574696f6e
000023ac: MSTORE8
000023ad: PUSH2 0x6665
000023b0: GASLIMIT
000023b1: MSTORE
000023b2: NUMBER
000023b3: ORIGIN
000023b4: ADDRESS
000023b5: GASPRICE
000023b6: KECCAK256
000023b7: GASLIMIT
000023b8: MSTORE
000023b9: NUMBER
000023ba: ORIGIN
000023bb: ADDRESS
000023bc: KECCAK256
000023bd: PUSH16 0x7065726174696f6e20646964206e6f74
000023ce: KECCAK256
000023cf: PUSH20 0x756363656564a264697066735822122046cfce07
000023e4: PUSH10 0x646898118b4b708fc39b
000023ef: DUP16
000023f0: ADDMOD
000023f1: UNKNOWN(0xCF)
000023f2: UNKNOWN(0xCA)
000023f3: PUSH18 0x937fa0b68dae7fc95398d39c64736f6c6343
00002406: STOP
00002407: MOD
00002408: UNKNOWN(0x0C)
00002409: STOP
0000240a: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "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": "0x80faa57d",
            "selector": "0x80faa57d",
            "calldata_variants": [
                "0x80faa57d",
                "0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 9139,
            "type": "tx_origin_used"
        },
        {
            "pc": 9146,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xef83dd4fe2bbd91a8a590ae19a7c8539e0694288fb10f594d5e34072cda139c8
call_targets: 0x51882184b7f9beed6db9c617846140da1d429fd4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef83dd4fe2bbd91a8a590ae19a7c8539e0694288fb10f594d5e34072cda139c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x51882184b7f9beed6db9c617846140da1d429fd4"
    ],
    "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": "0x80faa57d",
            "selector": "0x80faa57d",
            "calldata_variants": [
                "0x80faa57d",
                "0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8696,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 9139,
            "type": "tx_origin_used"
        },
        {
            "pc": 9146,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xef83dd4fe2bbd91a8a590ae19a7c8539e0694288fb10f594d5e34072cda139c8
call_targets: 0x51882184b7f9beed6db9c617846140da1d429fd4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef83dd4fe2bbd91a8a590ae19a7c8539e0694288fb10f594d5e34072cda139c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x51882184b7f9beed6db9c617846140da1d429fd4"
    ],
    "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": "0x80faa57d",
            "selector": "0x80faa57d",
            "calldata_variants": [
                "0x80faa57d",
                "0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8696,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 9139,
            "type": "tx_origin_used"
        },
        {
            "pc": 9146,
            "type": "tx_origin_used"
        }
    ]
}