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

Analysis Run

019b477e-da32-71b0-a66c-2ea974f1287a

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
29433 artifact.fetch complete 1 / 3 3 months ago
29434 tool.cast_disasm complete 1 / 3 3 months ago
108141 analysis.bundle complete 1 / 3 1 week ago
108142 capability.graph complete 1 / 3 1 week ago
108143 detector.run complete 1 / 3 1 week ago
108144 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
1
Total opcodes
5888
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x82cb6b72
00000019: GT
0000001a: PUSH2 0x00a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9bc94d01
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xedee6239
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xedee6239
0000003a: EQ
0000003b: PUSH2 0x03c4
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1d42b47
00000045: EQ
00000046: PUSH2 0x03d7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc3e3eba
00000050: EQ
00000051: PUSH2 0x03ec
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x9bc94d01
00000060: EQ
00000061: PUSH2 0x0384
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xe551cdaa
0000006b: EQ
0000006c: PUSH2 0x03a4
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x82cb6b72
0000007b: EQ
0000007c: PUSH2 0x02b7
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x8da5cb5b
00000086: EQ
00000087: PUSH2 0x02e4
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x90547c14
00000091: EQ
00000092: PUSH2 0x0336
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x9456fbcc
0000009c: EQ
0000009d: PUSH2 0x0364
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x4782f779
000000ac: GT
000000ad: PUSH2 0x00fc
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x67148cd2
000000b7: GT
000000b8: PUSH2 0x00e1
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x67148cd2
000000c2: EQ
000000c3: PUSH2 0x0256
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x690d8320
000000cd: EQ
000000ce: PUSH2 0x0276
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x6e2d44ae
000000d8: EQ
000000d9: PUSH2 0x0296
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x4782f779
000000e8: EQ
000000e9: PUSH2 0x0206
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x4d7fba6e
000000f3: EQ
000000f4: PUSH2 0x0226
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x0d8f4697
00000103: EQ
00000104: PUSH2 0x016e
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x13af4035
0000010e: EQ
0000010f: PUSH2 0x01a4
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x4025feb2
00000119: EQ
0000011a: PUSH2 0x01c6
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x44004cc1
00000124: EQ
00000125: PUSH2 0x01e6
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLDATASIZE
0000012f: PUSH2 0x0169
00000132: JUMPI
00000133: PUSH1 0x40
00000135: MLOAD
00000136: CALLVALUE
00000137: DUP2
00000138: MSTORE
00000139: CALLER
0000013a: SWAP1
0000013b: PUSH32 0x4103257eaac983ca79a70d28f90dfc4fa16b619bb0c17ee7cab0d4034c279624
0000015c: SWAP1
0000015d: PUSH1 0x20
0000015f: ADD
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: SWAP2
00000165: SUB
00000166: SWAP1
00000167: LOG2
00000168: STOP
00000169: JUMPDEST
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x018e
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1f8b
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x041c
0000018d: JUMP
0000018e: JUMPDEST
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: PUSH2 0x019b
00000195: SWAP2
00000196: SWAP1
00000197: PUSH2 0x2037
0000019a: JUMP
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: DUP1
000001a0: SWAP2
000001a1: SUB
000001a2: SWAP1
000001a3: RETURN
000001a4: JUMPDEST
000001a5: CALLVALUE
000001a6: DUP1
000001a7: ISZERO
000001a8: PUSH2 0x01b0
000001ab: JUMPI
000001ac: PUSH1 0x00
000001ae: DUP1
000001af: REVERT
000001b0: JUMPDEST
000001b1: POP
000001b2: PUSH2 0x01c4
000001b5: PUSH2 0x01bf
000001b8: CALLDATASIZE
000001b9: PUSH1 0x04
000001bb: PUSH2 0x2067
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH2 0x044c
000001c3: JUMP
000001c4: JUMPDEST
000001c5: STOP
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01c4
000001d7: PUSH2 0x01e1
000001da: CALLDATASIZE
000001db: PUSH1 0x04
000001dd: PUSH2 0x208b
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x0542
000001e5: JUMP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x01c4
000001f7: PUSH2 0x0201
000001fa: CALLDATASIZE
000001fb: PUSH1 0x04
000001fd: PUSH2 0x208b
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH2 0x06d4
00000205: JUMP
00000206: JUMPDEST
00000207: CALLVALUE
00000208: DUP1
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: POP
00000214: PUSH2 0x01c4
00000217: PUSH2 0x0221
0000021a: CALLDATASIZE
0000021b: PUSH1 0x04
0000021d: PUSH2 0x20cc
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH2 0x0865
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x0246
00000237: PUSH2 0x0241
0000023a: CALLDATASIZE
0000023b: PUSH1 0x04
0000023d: PUSH2 0x21bb
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x09b5
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH1 0x40
00000249: MLOAD
0000024a: PUSH2 0x019b
0000024d: SWAP5
0000024e: SWAP4
0000024f: SWAP3
00000250: SWAP2
00000251: SWAP1
00000252: PUSH2 0x2286
00000255: JUMP
00000256: JUMPDEST
00000257: CALLVALUE
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: POP
00000264: PUSH2 0x01c4
00000267: PUSH2 0x0271
0000026a: CALLDATASIZE
0000026b: PUSH1 0x04
0000026d: PUSH2 0x1f8b
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH2 0x0be7
00000275: JUMP
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x01c4
00000287: PUSH2 0x0291
0000028a: CALLDATASIZE
0000028b: PUSH1 0x04
0000028d: PUSH2 0x2067
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x0e0a
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x02a9
0000029a: PUSH2 0x02a4
0000029d: CALLDATASIZE
0000029e: PUSH1 0x04
000002a0: PUSH2 0x23dc
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH2 0x0e98
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: PUSH2 0x019b
000002b0: SWAP3
000002b1: SWAP2
000002b2: SWAP1
000002b3: PUSH2 0x2435
000002b6: JUMP
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: DUP1
000002ba: ISZERO
000002bb: PUSH2 0x02c3
000002be: JUMPI
000002bf: PUSH1 0x00
000002c1: DUP1
000002c2: REVERT
000002c3: JUMPDEST
000002c4: POP
000002c5: PUSH2 0x02d7
000002c8: PUSH2 0x02d2
000002cb: CALLDATASIZE
000002cc: PUSH1 0x04
000002ce: PUSH2 0x2450
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH2 0x0f92
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: PUSH2 0x019b
000002de: SWAP2
000002df: SWAP1
000002e0: PUSH2 0x2469
000002e3: JUMP
000002e4: JUMPDEST
000002e5: CALLVALUE
000002e6: DUP1
000002e7: ISZERO
000002e8: PUSH2 0x02f0
000002eb: JUMPI
000002ec: PUSH1 0x00
000002ee: DUP1
000002ef: REVERT
000002f0: JUMPDEST
000002f1: POP
000002f2: PUSH1 0x00
000002f4: SLOAD
000002f5: PUSH2 0x0311
000002f8: SWAP1
000002f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030e: AND
0000030f: DUP2
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032a: SWAP1
0000032b: SWAP2
0000032c: AND
0000032d: DUP2
0000032e: MSTORE
0000032f: PUSH1 0x20
00000331: ADD
00000332: PUSH2 0x019b
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x0356
00000347: PUSH2 0x0351
0000034a: CALLDATASIZE
0000034b: PUSH1 0x04
0000034d: PUSH2 0x1f8b
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH2 0x103e
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: SWAP1
0000035b: DUP2
0000035c: MSTORE
0000035d: PUSH1 0x20
0000035f: ADD
00000360: PUSH2 0x019b
00000363: JUMP
00000364: JUMPDEST
00000365: CALLVALUE
00000366: DUP1
00000367: ISZERO
00000368: PUSH2 0x0370
0000036b: JUMPI
0000036c: PUSH1 0x00
0000036e: DUP1
0000036f: REVERT
00000370: JUMPDEST
00000371: POP
00000372: PUSH2 0x01c4
00000375: PUSH2 0x037f
00000378: CALLDATASIZE
00000379: PUSH1 0x04
0000037b: PUSH2 0x247c
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH2 0x106d
00000383: JUMP
00000384: JUMPDEST
00000385: CALLVALUE
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x0390
0000038b: JUMPI
0000038c: PUSH1 0x00
0000038e: DUP1
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: PUSH2 0x01c4
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x24b5
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x1188
000003a3: JUMP
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: PUSH2 0x01c4
000003b5: PUSH2 0x03bf
000003b8: CALLDATASIZE
000003b9: PUSH1 0x04
000003bb: PUSH2 0x2510
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH2 0x16c3
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x02a9
000003c8: PUSH2 0x03d2
000003cb: CALLDATASIZE
000003cc: PUSH1 0x04
000003ce: PUSH2 0x2575
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x1b85
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH1 0x02
000003e7: SLOAD
000003e8: PUSH2 0x0356
000003eb: JUMP
000003ec: JUMPDEST
000003ed: CALLVALUE
000003ee: DUP1
000003ef: ISZERO
000003f0: PUSH2 0x03f8
000003f3: JUMPI
000003f4: PUSH1 0x00
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x040c
000003fd: PUSH2 0x0407
00000400: CALLDATASIZE
00000401: PUSH1 0x04
00000403: PUSH2 0x1f8b
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH2 0x1c7b
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: SWAP1
00000411: ISZERO
00000412: ISZERO
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x20
00000417: ADD
00000418: PUSH2 0x019b
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x00
0000041f: PUSH1 0x01
00000421: DUP4
00000422: DUP4
00000423: PUSH1 0x40
00000425: MLOAD
00000426: PUSH2 0x0430
00000429: SWAP3
0000042a: SWAP2
0000042b: SWAP1
0000042c: PUSH2 0x25c5
0000042f: JUMP
00000430: JUMPDEST
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x40
00000436: MLOAD
00000437: SWAP1
00000438: DUP2
00000439: SWAP1
0000043a: SUB
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP1
0000043f: KECCAK256
00000440: SLOAD
00000441: PUSH1 0xff
00000443: AND
00000444: SWAP1
00000445: POP
00000446: JUMPDEST
00000447: SWAP3
00000448: SWAP2
00000449: POP
0000044a: POP
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x00
0000044f: SLOAD
00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000465: AND
00000466: CALLER
00000467: EQ
00000468: PUSH2 0x04d2
0000046b: JUMPI
0000046c: PUSH1 0x40
0000046e: MLOAD
0000046f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000490: DUP2
00000491: MSTORE
00000492: PUSH1 0x20
00000494: PUSH1 0x04
00000496: DUP3
00000497: ADD
00000498: MSTORE
00000499: PUSH1 0x0c
0000049b: PUSH1 0x24
0000049d: DUP3
0000049e: ADD
0000049f: MSTORE
000004a0: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
000004c1: PUSH1 0x44
000004c3: DUP3
000004c4: ADD
000004c5: MSTORE
000004c6: PUSH1 0x64
000004c8: ADD
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: DUP1
000004ce: SWAP2
000004cf: SUB
000004d0: SWAP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: SLOAD
000004d7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000004f8: AND
000004f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050e: DUP4
0000050f: AND
00000510: SWAP1
00000511: DUP2
00000512: OR
00000513: DUP3
00000514: SSTORE
00000515: PUSH1 0x40
00000517: MLOAD
00000518: SWAP1
00000519: SWAP2
0000051a: CALLER
0000051b: SWAP2
0000051c: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76
0000053d: SWAP2
0000053e: SWAP1
0000053f: LOG3
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x00
00000545: SLOAD
00000546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055b: AND
0000055c: CALLER
0000055d: EQ
0000055e: PUSH2 0x05c3
00000561: JUMPI
00000562: PUSH1 0x40
00000564: MLOAD
00000565: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000586: DUP2
00000587: MSTORE
00000588: PUSH1 0x20
0000058a: PUSH1 0x04
0000058c: DUP3
0000058d: ADD
0000058e: MSTORE
0000058f: PUSH1 0x0c
00000591: PUSH1 0x24
00000593: DUP3
00000594: ADD
00000595: MSTORE
00000596: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
000005b7: PUSH1 0x44
000005b9: DUP3
000005ba: ADD
000005bb: MSTORE
000005bc: PUSH1 0x64
000005be: ADD
000005bf: PUSH2 0x04c9
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000005e8: DUP2
000005e9: MSTORE
000005ea: ADDRESS
000005eb: PUSH1 0x04
000005ed: DUP3
000005ee: ADD
000005ef: MSTORE
000005f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000605: DUP4
00000606: DUP2
00000607: AND
00000608: PUSH1 0x24
0000060a: DUP4
0000060b: ADD
0000060c: MSTORE
0000060d: PUSH1 0x44
0000060f: DUP3
00000610: ADD
00000611: DUP4
00000612: SWAP1
00000613: MSTORE
00000614: DUP5
00000615: AND
00000616: SWAP1
00000617: PUSH4 0x23b872dd
0000061c: SWAP1
0000061d: PUSH1 0x64
0000061f: ADD
00000620: PUSH1 0x00
00000622: PUSH1 0x40
00000624: MLOAD
00000625: DUP1
00000626: DUP4
00000627: SUB
00000628: DUP2
00000629: PUSH1 0x00
0000062b: DUP8
0000062c: DUP1
0000062d: EXTCODESIZE
0000062e: ISZERO
0000062f: DUP1
00000630: ISZERO
00000631: PUSH2 0x0639
00000634: JUMPI
00000635: PUSH1 0x00
00000637: DUP1
00000638: REVERT
00000639: JUMPDEST
0000063a: POP
0000063b: GAS
0000063c: CALL
0000063d: ISZERO
0000063e: DUP1
0000063f: ISZERO
00000640: PUSH2 0x064d
00000643: JUMPI
00000644: RETURNDATASIZE
00000645: PUSH1 0x00
00000647: DUP1
00000648: RETURNDATACOPY
00000649: RETURNDATASIZE
0000064a: PUSH1 0x00
0000064c: REVERT
0000064d: JUMPDEST
0000064e: POP
0000064f: POP
00000650: POP
00000651: POP
00000652: DUP3
00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000668: AND
00000669: DUP3
0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067f: AND
00000680: CALLER
00000681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000696: AND
00000697: PUSH32 0x30b478a5e196e55886228aa87ba74a7dfeba655e0a4d7ba275eabfc22aabb7a8
000006b8: DUP5
000006b9: PUSH1 0x40
000006bb: MLOAD
000006bc: PUSH2 0x06c7
000006bf: SWAP2
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH1 0x20
000006c4: ADD
000006c5: SWAP1
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: DUP1
000006cc: SWAP2
000006cd: SUB
000006ce: SWAP1
000006cf: LOG4
000006d0: POP
000006d1: POP
000006d2: POP
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x00
000006d7: SLOAD
000006d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ed: AND
000006ee: CALLER
000006ef: EQ
000006f0: PUSH2 0x0755
000006f3: JUMPI
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: PUSH1 0x04
0000071e: DUP3
0000071f: ADD
00000720: MSTORE
00000721: PUSH1 0x0c
00000723: PUSH1 0x24
00000725: DUP3
00000726: ADD
00000727: MSTORE
00000728: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
00000749: PUSH1 0x44
0000074b: DUP3
0000074c: ADD
0000074d: MSTORE
0000074e: PUSH1 0x64
00000750: ADD
00000751: PUSH2 0x04c9
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x40
00000758: MLOAD
00000759: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000791: DUP4
00000792: DUP2
00000793: AND
00000794: PUSH1 0x04
00000796: DUP4
00000797: ADD
00000798: MSTORE
00000799: PUSH1 0x24
0000079b: DUP3
0000079c: ADD
0000079d: DUP4
0000079e: SWAP1
0000079f: MSTORE
000007a0: DUP5
000007a1: AND
000007a2: SWAP1
000007a3: PUSH4 0xa9059cbb
000007a8: SWAP1
000007a9: PUSH1 0x44
000007ab: ADD
000007ac: PUSH1 0x20
000007ae: PUSH1 0x40
000007b0: MLOAD
000007b1: DUP1
000007b2: DUP4
000007b3: SUB
000007b4: DUP2
000007b5: PUSH1 0x00
000007b7: DUP8
000007b8: GAS
000007b9: CALL
000007ba: ISZERO
000007bb: DUP1
000007bc: ISZERO
000007bd: PUSH2 0x07ca
000007c0: JUMPI
000007c1: RETURNDATASIZE
000007c2: PUSH1 0x00
000007c4: DUP1
000007c5: RETURNDATACOPY
000007c6: RETURNDATASIZE
000007c7: PUSH1 0x00
000007c9: REVERT
000007ca: JUMPDEST
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: RETURNDATASIZE
000007d3: PUSH1 0x1f
000007d5: NOT
000007d6: PUSH1 0x1f
000007d8: DUP3
000007d9: ADD
000007da: AND
000007db: DUP3
000007dc: ADD
000007dd: DUP1
000007de: PUSH1 0x40
000007e0: MSTORE
000007e1: POP
000007e2: DUP2
000007e3: ADD
000007e4: SWAP1
000007e5: PUSH2 0x07ee
000007e8: SWAP2
000007e9: SWAP1
000007ea: PUSH2 0x25e3
000007ed: JUMP
000007ee: JUMPDEST
000007ef: POP
000007f0: DUP3
000007f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000806: AND
00000807: DUP3
00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081d: AND
0000081e: CALLER
0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000834: AND
00000835: PUSH32 0x6b00f1c7883f053ba83e907fd1965b22fffe3c4111383e725f04638a566cdbfa
00000856: DUP5
00000857: PUSH1 0x40
00000859: MLOAD
0000085a: PUSH2 0x06c7
0000085d: SWAP2
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x20
00000862: ADD
00000863: SWAP1
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x00
00000868: SLOAD
00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087e: AND
0000087f: CALLER
00000880: EQ
00000881: PUSH2 0x08e6
00000884: JUMPI
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008a9: DUP2
000008aa: MSTORE
000008ab: PUSH1 0x20
000008ad: PUSH1 0x04
000008af: DUP3
000008b0: ADD
000008b1: MSTORE
000008b2: PUSH1 0x0c
000008b4: PUSH1 0x24
000008b6: DUP3
000008b7: ADD
000008b8: MSTORE
000008b9: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
000008da: PUSH1 0x44
000008dc: DUP3
000008dd: ADD
000008de: MSTORE
000008df: PUSH1 0x64
000008e1: ADD
000008e2: PUSH2 0x04c9
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x00
000008e9: DUP3
000008ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ff: AND
00000900: DUP3
00000901: PUSH1 0x40
00000903: MLOAD
00000904: PUSH1 0x00
00000906: PUSH1 0x40
00000908: MLOAD
00000909: DUP1
0000090a: DUP4
0000090b: SUB
0000090c: DUP2
0000090d: DUP6
0000090e: DUP8
0000090f: GAS
00000910: CALL
00000911: SWAP3
00000912: POP
00000913: POP
00000914: POP
00000915: RETURNDATASIZE
00000916: DUP1
00000917: PUSH1 0x00
00000919: DUP2
0000091a: EQ
0000091b: PUSH2 0x0940
0000091e: JUMPI
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: SWAP2
00000923: POP
00000924: PUSH1 0x1f
00000926: NOT
00000927: PUSH1 0x3f
00000929: RETURNDATASIZE
0000092a: ADD
0000092b: AND
0000092c: DUP3
0000092d: ADD
0000092e: PUSH1 0x40
00000930: MSTORE
00000931: RETURNDATASIZE
00000932: DUP3
00000933: MSTORE
00000934: RETURNDATASIZE
00000935: PUSH1 0x00
00000937: PUSH1 0x20
00000939: DUP5
0000093a: ADD
0000093b: RETURNDATACOPY
0000093c: PUSH2 0x0945
0000093f: JUMP
00000940: JUMPDEST
00000941: PUSH1 0x60
00000943: SWAP2
00000944: POP
00000945: JUMPDEST
00000946: POP
00000947: POP
00000948: SWAP1
00000949: POP
0000094a: DUP3
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: AND
00000961: CALLER
00000962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000977: AND
00000978: PUSH32 0x1f12aa8b6d492dd9b98e2b00b0b20830c2a7ded65afac13b60d169a034ae90bc
00000999: DUP5
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: PUSH2 0x09a8
000009a0: SWAP2
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x20
000009a5: ADD
000009a6: SWAP1
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH1 0x40
000009ab: MLOAD
000009ac: DUP1
000009ad: SWAP2
000009ae: SUB
000009af: SWAP1
000009b0: LOG3
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: JUMP
000009b5: JUMPDEST
000009b6: DUP1
000009b7: MLOAD
000009b8: PUSH1 0x20
000009ba: DUP2
000009bb: DUP4
000009bc: ADD
000009bd: DUP2
000009be: ADD
000009bf: DUP1
000009c0: MLOAD
000009c1: PUSH1 0x01
000009c3: DUP1
000009c4: DUP4
000009c5: MSTORE
000009c6: SWAP4
000009c7: DUP4
000009c8: ADD
000009c9: SWAP5
000009ca: DUP4
000009cb: ADD
000009cc: SWAP5
000009cd: SWAP1
000009ce: SWAP5
000009cf: KECCAK256
000009d0: SWAP4
000009d1: SWAP1
000009d2: MSTORE
000009d3: DUP3
000009d4: SLOAD
000009d5: PUSH1 0x40
000009d7: DUP1
000009d8: MLOAD
000009d9: PUSH1 0xa0
000009db: DUP2
000009dc: ADD
000009dd: DUP3
000009de: MSTORE
000009df: SWAP4
000009e0: DUP6
000009e1: ADD
000009e2: DUP1
000009e3: SLOAD
000009e4: PUSH1 0xff
000009e6: SWAP1
000009e7: DUP2
000009e8: AND
000009e9: ISZERO
000009ea: ISZERO
000009eb: DUP7
000009ec: MSTORE
000009ed: PUSH1 0x02
000009ef: DUP8
000009f0: ADD
000009f1: SLOAD
000009f2: SWAP5
000009f3: DUP7
000009f4: ADD
000009f5: SWAP5
000009f6: SWAP1
000009f7: SWAP5
000009f8: MSTORE
000009f9: PUSH1 0x03
000009fb: DUP7
000009fc: ADD
000009fd: SLOAD
000009fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a13: AND
00000a14: SWAP2
00000a15: DUP6
00000a16: ADD
00000a17: SWAP2
00000a18: SWAP1
00000a19: SWAP2
00000a1a: MSTORE
00000a1b: PUSH1 0x04
00000a1d: DUP6
00000a1e: ADD
00000a1f: DUP1
00000a20: SLOAD
00000a21: SWAP4
00000a22: SWAP1
00000a23: SWAP3
00000a24: AND
00000a25: SWAP5
00000a26: SWAP4
00000a27: SWAP3
00000a28: SWAP1
00000a29: SWAP2
00000a2a: PUSH1 0x60
00000a2c: DUP5
00000a2d: ADD
00000a2e: SWAP2
00000a2f: PUSH2 0x0a37
00000a32: SWAP1
00000a33: PUSH2 0x2600
00000a36: JUMP
00000a37: JUMPDEST
00000a38: DUP1
00000a39: PUSH1 0x1f
00000a3b: ADD
00000a3c: PUSH1 0x20
00000a3e: DUP1
00000a3f: SWAP2
00000a40: DIV
00000a41: MUL
00000a42: PUSH1 0x20
00000a44: ADD
00000a45: PUSH1 0x40
00000a47: MLOAD
00000a48: SWAP1
00000a49: DUP2
00000a4a: ADD
00000a4b: PUSH1 0x40
00000a4d: MSTORE
00000a4e: DUP1
00000a4f: SWAP3
00000a50: SWAP2
00000a51: SWAP1
00000a52: DUP2
00000a53: DUP2
00000a54: MSTORE
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: DUP3
00000a59: DUP1
00000a5a: SLOAD
00000a5b: PUSH2 0x0a63
00000a5e: SWAP1
00000a5f: PUSH2 0x2600
00000a62: JUMP
00000a63: JUMPDEST
00000a64: DUP1
00000a65: ISZERO
00000a66: PUSH2 0x0ab0
00000a69: JUMPI
00000a6a: DUP1
00000a6b: PUSH1 0x1f
00000a6d: LT
00000a6e: PUSH2 0x0a85
00000a71: JUMPI
00000a72: PUSH2 0x0100
00000a75: DUP1
00000a76: DUP4
00000a77: SLOAD
00000a78: DIV
00000a79: MUL
00000a7a: DUP4
00000a7b: MSTORE
00000a7c: SWAP2
00000a7d: PUSH1 0x20
00000a7f: ADD
00000a80: SWAP2
00000a81: PUSH2 0x0ab0
00000a84: JUMP
00000a85: JUMPDEST
00000a86: DUP3
00000a87: ADD
00000a88: SWAP2
00000a89: SWAP1
00000a8a: PUSH1 0x00
00000a8c: MSTORE
00000a8d: PUSH1 0x20
00000a8f: PUSH1 0x00
00000a91: KECCAK256
00000a92: SWAP1
00000a93: JUMPDEST
00000a94: DUP2
00000a95: SLOAD
00000a96: DUP2
00000a97: MSTORE
00000a98: SWAP1
00000a99: PUSH1 0x01
00000a9b: ADD
00000a9c: SWAP1
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: DUP1
00000aa1: DUP4
00000aa2: GT
00000aa3: PUSH2 0x0a93
00000aa6: JUMPI
00000aa7: DUP3
00000aa8: SWAP1
00000aa9: SUB
00000aaa: PUSH1 0x1f
00000aac: AND
00000aad: DUP3
00000aae: ADD
00000aaf: SWAP2
00000ab0: JUMPDEST
00000ab1: POP
00000ab2: POP
00000ab3: POP
00000ab4: POP
00000ab5: POP
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x20
00000aba: ADD
00000abb: PUSH1 0x04
00000abd: DUP3
00000abe: ADD
00000abf: DUP1
00000ac0: SLOAD
00000ac1: DUP1
00000ac2: PUSH1 0x20
00000ac4: MUL
00000ac5: PUSH1 0x20
00000ac7: ADD
00000ac8: PUSH1 0x40
00000aca: MLOAD
00000acb: SWAP1
00000acc: DUP2
00000acd: ADD
00000ace: PUSH1 0x40
00000ad0: MSTORE
00000ad1: DUP1
00000ad2: SWAP3
00000ad3: SWAP2
00000ad4: SWAP1
00000ad5: DUP2
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x20
00000ada: ADD
00000adb: PUSH1 0x00
00000add: SWAP1
00000ade: JUMPDEST
00000adf: DUP3
00000ae0: DUP3
00000ae1: LT
00000ae2: ISZERO
00000ae3: PUSH2 0x0bcf
00000ae6: JUMPI
00000ae7: PUSH1 0x00
00000ae9: DUP5
00000aea: DUP2
00000aeb: MSTORE
00000aec: PUSH1 0x20
00000aee: SWAP1
00000aef: DUP2
00000af0: SWAP1
00000af1: KECCAK256
00000af2: PUSH1 0x40
00000af4: DUP1
00000af5: MLOAD
00000af6: PUSH1 0x60
00000af8: DUP2
00000af9: ADD
00000afa: SWAP1
00000afb: SWAP2
00000afc: MSTORE
00000afd: PUSH1 0x03
00000aff: DUP6
00000b00: MUL
00000b01: SWAP1
00000b02: SWAP2
00000b03: ADD
00000b04: DUP1
00000b05: SLOAD
00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1b: AND
00000b1c: DUP3
00000b1d: MSTORE
00000b1e: PUSH1 0x01
00000b20: DUP2
00000b21: ADD
00000b22: DUP1
00000b23: SLOAD
00000b24: SWAP3
00000b25: SWAP4
00000b26: SWAP2
00000b27: SWAP3
00000b28: SWAP2
00000b29: DUP5
00000b2a: ADD
00000b2b: SWAP2
00000b2c: PUSH2 0x0b34
00000b2f: SWAP1
00000b30: PUSH2 0x2600
00000b33: JUMP
00000b34: JUMPDEST
00000b35: DUP1
00000b36: PUSH1 0x1f
00000b38: ADD
00000b39: PUSH1 0x20
00000b3b: DUP1
00000b3c: SWAP2
00000b3d: DIV
00000b3e: MUL
00000b3f: PUSH1 0x20
00000b41: ADD
00000b42: PUSH1 0x40
00000b44: MLOAD
00000b45: SWAP1
00000b46: DUP2
00000b47: ADD
00000b48: PUSH1 0x40
00000b4a: MSTORE
00000b4b: DUP1
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: DUP2
00000b50: DUP2
00000b51: MSTORE
00000b52: PUSH1 0x20
00000b54: ADD
00000b55: DUP3
00000b56: DUP1
00000b57: SLOAD
00000b58: PUSH2 0x0b60
00000b5b: SWAP1
00000b5c: PUSH2 0x2600
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: DUP1
00000b62: ISZERO
00000b63: PUSH2 0x0bad
00000b66: JUMPI
00000b67: DUP1
00000b68: PUSH1 0x1f
00000b6a: LT
00000b6b: PUSH2 0x0b82
00000b6e: JUMPI
00000b6f: PUSH2 0x0100
00000b72: DUP1
00000b73: DUP4
00000b74: SLOAD
00000b75: DIV
00000b76: MUL
00000b77: DUP4
00000b78: MSTORE
00000b79: SWAP2
00000b7a: PUSH1 0x20
00000b7c: ADD
00000b7d: SWAP2
00000b7e: PUSH2 0x0bad
00000b81: JUMP
00000b82: JUMPDEST
00000b83: DUP3
00000b84: ADD
00000b85: SWAP2
00000b86: SWAP1
00000b87: PUSH1 0x00
00000b89: MSTORE
00000b8a: PUSH1 0x20
00000b8c: PUSH1 0x00
00000b8e: KECCAK256
00000b8f: SWAP1
00000b90: JUMPDEST
00000b91: DUP2
00000b92: SLOAD
00000b93: DUP2
00000b94: MSTORE
00000b95: SWAP1
00000b96: PUSH1 0x01
00000b98: ADD
00000b99: SWAP1
00000b9a: PUSH1 0x20
00000b9c: ADD
00000b9d: DUP1
00000b9e: DUP4
00000b9f: GT
00000ba0: PUSH2 0x0b90
00000ba3: JUMPI
00000ba4: DUP3
00000ba5: SWAP1
00000ba6: SUB
00000ba7: PUSH1 0x1f
00000ba9: AND
00000baa: DUP3
00000bab: ADD
00000bac: SWAP2
00000bad: JUMPDEST
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: DUP2
00000bb4: MSTORE
00000bb5: PUSH1 0x20
00000bb7: ADD
00000bb8: PUSH1 0x02
00000bba: DUP3
00000bbb: ADD
00000bbc: SLOAD
00000bbd: DUP2
00000bbe: MSTORE
00000bbf: POP
00000bc0: POP
00000bc1: DUP2
00000bc2: MSTORE
00000bc3: PUSH1 0x20
00000bc5: ADD
00000bc6: SWAP1
00000bc7: PUSH1 0x01
00000bc9: ADD
00000bca: SWAP1
00000bcb: PUSH2 0x0ade
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: POP
00000bd1: POP
00000bd2: POP
00000bd3: SWAP2
00000bd4: MSTORE
00000bd5: POP
00000bd6: POP
00000bd7: PUSH1 0x06
00000bd9: DUP3
00000bda: ADD
00000bdb: SLOAD
00000bdc: PUSH1 0x07
00000bde: SWAP1
00000bdf: SWAP3
00000be0: ADD
00000be1: SLOAD
00000be2: SWAP1
00000be3: SWAP2
00000be4: SWAP1
00000be5: DUP5
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x00
00000bea: PUSH1 0x01
00000bec: DUP4
00000bed: DUP4
00000bee: PUSH1 0x40
00000bf0: MLOAD
00000bf1: PUSH2 0x0bfb
00000bf4: SWAP3
00000bf5: SWAP2
00000bf6: SWAP1
00000bf7: PUSH2 0x25c5
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: SWAP1
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: DUP1
00000c06: SWAP2
00000c07: SUB
00000c08: SWAP1
00000c09: KECCAK256
00000c0a: SWAP1
00000c0b: POP
00000c0c: PUSH2 0x0c15
00000c0f: DUP4
00000c10: DUP4
00000c11: PUSH2 0x1c7b
00000c14: JUMP
00000c15: JUMPDEST
00000c16: POP
00000c17: TIMESTAMP
00000c18: PUSH1 0x06
00000c1a: DUP3
00000c1b: ADD
00000c1c: SSTORE
00000c1d: PUSH1 0x07
00000c1f: DUP2
00000c20: ADD
00000c21: DUP1
00000c22: SLOAD
00000c23: SWAP1
00000c24: PUSH1 0x00
00000c26: PUSH2 0x0c2e
00000c29: DUP4
00000c2a: PUSH2 0x2682
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: SWAP1
00000c30: SWAP2
00000c31: SSTORE
00000c32: POP
00000c33: POP
00000c34: PUSH1 0x05
00000c36: DUP2
00000c37: ADD
00000c38: SLOAD
00000c39: PUSH1 0x00
00000c3b: JUMPDEST
00000c3c: DUP2
00000c3d: DUP2
00000c3e: LT
00000c3f: ISZERO
00000c40: PUSH2 0x0dae
00000c43: JUMPI
00000c44: PUSH1 0x00
00000c46: DUP4
00000c47: PUSH1 0x01
00000c49: ADD
00000c4a: PUSH1 0x04
00000c4c: ADD
00000c4d: DUP3
00000c4e: DUP2
00000c4f: SLOAD
00000c50: DUP2
00000c51: LT
00000c52: PUSH2 0x0c5d
00000c55: JUMPI
00000c56: PUSH2 0x0c5d
00000c59: PUSH2 0x26ba
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x00
00000c60: SWAP2
00000c61: DUP3
00000c62: MSTORE
00000c63: PUSH1 0x20
00000c65: DUP3
00000c66: KECCAK256
00000c67: PUSH1 0x03
00000c69: SWAP1
00000c6a: SWAP2
00000c6b: MUL
00000c6c: ADD
00000c6d: DUP1
00000c6e: SLOAD
00000c6f: PUSH1 0x02
00000c71: DUP3
00000c72: ADD
00000c73: SLOAD
00000c74: PUSH1 0x40
00000c76: MLOAD
00000c77: SWAP3
00000c78: SWAP5
00000c79: POP
00000c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8f: SWAP1
00000c90: SWAP2
00000c91: AND
00000c92: SWAP2
00000c93: PUSH2 0x0ca0
00000c96: SWAP1
00000c97: PUSH1 0x01
00000c99: DUP7
00000c9a: ADD
00000c9b: SWAP1
00000c9c: PUSH2 0x26e9
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x00
00000ca3: PUSH1 0x40
00000ca5: MLOAD
00000ca6: DUP1
00000ca7: DUP4
00000ca8: SUB
00000ca9: DUP2
00000caa: DUP6
00000cab: DUP8
00000cac: GAS
00000cad: CALL
00000cae: SWAP3
00000caf: POP
00000cb0: POP
00000cb1: POP
00000cb2: RETURNDATASIZE
00000cb3: DUP1
00000cb4: PUSH1 0x00
00000cb6: DUP2
00000cb7: EQ
00000cb8: PUSH2 0x0cdd
00000cbb: JUMPI
00000cbc: PUSH1 0x40
00000cbe: MLOAD
00000cbf: SWAP2
00000cc0: POP
00000cc1: PUSH1 0x1f
00000cc3: NOT
00000cc4: PUSH1 0x3f
00000cc6: RETURNDATASIZE
00000cc7: ADD
00000cc8: AND
00000cc9: DUP3
00000cca: ADD
00000ccb: PUSH1 0x40
00000ccd: MSTORE
00000cce: RETURNDATASIZE
00000ccf: DUP3
00000cd0: MSTORE
00000cd1: RETURNDATASIZE
00000cd2: PUSH1 0x00
00000cd4: PUSH1 0x20
00000cd6: DUP5
00000cd7: ADD
00000cd8: RETURNDATACOPY
00000cd9: PUSH2 0x0ce2
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x60
00000ce0: SWAP2
00000ce1: POP
00000ce2: JUMPDEST
00000ce3: POP
00000ce4: POP
00000ce5: SWAP1
00000ce6: POP
00000ce7: DUP1
00000ce8: PUSH2 0x0d99
00000ceb: JUMPI
00000cec: PUSH1 0x40
00000cee: MLOAD
00000cef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: PUSH1 0x04
00000d16: DUP3
00000d17: ADD
00000d18: MSTORE
00000d19: PUSH1 0x4c
00000d1b: PUSH1 0x24
00000d1d: DUP3
00000d1e: ADD
00000d1f: MSTORE
00000d20: PUSH32 0x447269707069653a20647269702077617320756e7375636365737366756c2c20
00000d41: PUSH1 0x44
00000d43: DUP3
00000d44: ADD
00000d45: MSTORE
00000d46: PUSH32 0x706c6561736520636865636b20796f757220636f6e66696775726174696f6e20
00000d67: PUSH1 0x64
00000d69: DUP3
00000d6a: ADD
00000d6b: MSTORE
00000d6c: PUSH32 0x666f72206d697374616b65730000000000000000000000000000000000000000
00000d8d: PUSH1 0x84
00000d8f: DUP3
00000d90: ADD
00000d91: MSTORE
00000d92: PUSH1 0xa4
00000d94: ADD
00000d95: PUSH2 0x04c9
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: POP
00000d9b: POP
00000d9c: DUP1
00000d9d: DUP1
00000d9e: PUSH2 0x0da6
00000da1: SWAP1
00000da2: PUSH2 0x2682
00000da5: JUMP
00000da6: JUMPDEST
00000da7: SWAP2
00000da8: POP
00000da9: POP
00000daa: PUSH2 0x0c3b
00000dad: JUMP
00000dae: JUMPDEST
00000daf: POP
00000db0: DUP4
00000db1: DUP4
00000db2: PUSH1 0x40
00000db4: MLOAD
00000db5: PUSH2 0x0dbf
00000db8: SWAP3
00000db9: SWAP2
00000dba: SWAP1
00000dbb: PUSH2 0x25c5
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: DUP1
00000dc4: SWAP2
00000dc5: SUB
00000dc6: SWAP1
00000dc7: KECCAK256
00000dc8: PUSH32 0xea21435419aad9c54a9d90e2522b6f60bd566401f36fcef661f5f5a28cc0d2c6
00000de9: DUP6
00000dea: DUP6
00000deb: CALLER
00000dec: TIMESTAMP
00000ded: PUSH1 0x40
00000def: MLOAD
00000df0: PUSH2 0x0dfc
00000df3: SWAP5
00000df4: SWAP4
00000df5: SWAP3
00000df6: SWAP2
00000df7: SWAP1
00000df8: PUSH2 0x27c6
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH1 0x40
00000dff: MLOAD
00000e00: DUP1
00000e01: SWAP2
00000e02: SUB
00000e03: SWAP1
00000e04: LOG2
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: POP
00000e09: JUMP
00000e0a: JUMPDEST
00000e0b: PUSH1 0x00
00000e0d: SLOAD
00000e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e23: AND
00000e24: CALLER
00000e25: EQ
00000e26: PUSH2 0x0e8b
00000e29: JUMPI
00000e2a: PUSH1 0x40
00000e2c: MLOAD
00000e2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x20
00000e52: PUSH1 0x04
00000e54: DUP3
00000e55: ADD
00000e56: MSTORE
00000e57: PUSH1 0x0c
00000e59: PUSH1 0x24
00000e5b: DUP3
00000e5c: ADD
00000e5d: MSTORE
00000e5e: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
00000e7f: PUSH1 0x44
00000e81: DUP3
00000e82: ADD
00000e83: MSTORE
00000e84: PUSH1 0x64
00000e86: ADD
00000e87: PUSH2 0x04c9
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: PUSH2 0x0e95
00000e8f: DUP2
00000e90: SELFBALANCE
00000e91: PUSH2 0x0865
00000e94: JUMP
00000e95: JUMPDEST
00000e96: POP
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x00
00000e9b: DUP1
00000e9c: SLOAD
00000e9d: PUSH1 0x60
00000e9f: SWAP1
00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb5: AND
00000eb6: CALLER
00000eb7: EQ
00000eb8: PUSH2 0x0f1d
00000ebb: JUMPI
00000ebc: PUSH1 0x40
00000ebe: MLOAD
00000ebf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: PUSH1 0x04
00000ee6: DUP3
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH1 0x0c
00000eeb: PUSH1 0x24
00000eed: DUP3
00000eee: ADD
00000eef: MSTORE
00000ef0: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
00000f11: PUSH1 0x44
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH1 0x64
00000f18: ADD
00000f19: PUSH2 0x04c9
00000f1c: JUMP
00000f1d: JUMPDEST
00000f1e: DUP5
00000f1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f34: AND
00000f35: DUP4
00000f36: DUP6
00000f37: PUSH1 0x40
00000f39: MLOAD
00000f3a: PUSH2 0x0f43
00000f3d: SWAP2
00000f3e: SWAP1
00000f3f: PUSH2 0x2803
00000f42: JUMP
00000f43: JUMPDEST
00000f44: PUSH1 0x00
00000f46: PUSH1 0x40
00000f48: MLOAD
00000f49: DUP1
00000f4a: DUP4
00000f4b: SUB
00000f4c: DUP2
00000f4d: DUP6
00000f4e: DUP8
00000f4f: GAS
00000f50: CALL
00000f51: SWAP3
00000f52: POP
00000f53: POP
00000f54: POP
00000f55: RETURNDATASIZE
00000f56: DUP1
00000f57: PUSH1 0x00
00000f59: DUP2
00000f5a: EQ
00000f5b: PUSH2 0x0f80
00000f5e: JUMPI
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: SWAP2
00000f63: POP
00000f64: PUSH1 0x1f
00000f66: NOT
00000f67: PUSH1 0x3f
00000f69: RETURNDATASIZE
00000f6a: ADD
00000f6b: AND
00000f6c: DUP3
00000f6d: ADD
00000f6e: PUSH1 0x40
00000f70: MSTORE
00000f71: RETURNDATASIZE
00000f72: DUP3
00000f73: MSTORE
00000f74: RETURNDATASIZE
00000f75: PUSH1 0x00
00000f77: PUSH1 0x20
00000f79: DUP5
00000f7a: ADD
00000f7b: RETURNDATACOPY
00000f7c: PUSH2 0x0f85
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x60
00000f83: SWAP2
00000f84: POP
00000f85: JUMPDEST
00000f86: POP
00000f87: SWAP1
00000f88: SWAP7
00000f89: SWAP1
00000f8a: SWAP6
00000f8b: POP
00000f8c: SWAP4
00000f8d: POP
00000f8e: POP
00000f8f: POP
00000f90: POP
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x02
00000f95: DUP2
00000f96: DUP2
00000f97: SLOAD
00000f98: DUP2
00000f99: LT
00000f9a: PUSH2 0x0fa2
00000f9d: JUMPI
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: REVERT
00000fa2: JUMPDEST
00000fa3: SWAP1
00000fa4: PUSH1 0x00
00000fa6: MSTORE
00000fa7: PUSH1 0x20
00000fa9: PUSH1 0x00
00000fab: KECCAK256
00000fac: ADD
00000fad: PUSH1 0x00
00000faf: SWAP2
00000fb0: POP
00000fb1: SWAP1
00000fb2: POP
00000fb3: DUP1
00000fb4: SLOAD
00000fb5: PUSH2 0x0fbd
00000fb8: SWAP1
00000fb9: PUSH2 0x2600
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: DUP1
00000fbf: PUSH1 0x1f
00000fc1: ADD
00000fc2: PUSH1 0x20
00000fc4: DUP1
00000fc5: SWAP2
00000fc6: DIV
00000fc7: MUL
00000fc8: PUSH1 0x20
00000fca: ADD
00000fcb: PUSH1 0x40
00000fcd: MLOAD
00000fce: SWAP1
00000fcf: DUP2
00000fd0: ADD
00000fd1: PUSH1 0x40
00000fd3: MSTORE
00000fd4: DUP1
00000fd5: SWAP3
00000fd6: SWAP2
00000fd7: SWAP1
00000fd8: DUP2
00000fd9: DUP2
00000fda: MSTORE
00000fdb: PUSH1 0x20
00000fdd: ADD
00000fde: DUP3
00000fdf: DUP1
00000fe0: SLOAD
00000fe1: PUSH2 0x0fe9
00000fe4: SWAP1
00000fe5: PUSH2 0x2600
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: DUP1
00000feb: ISZERO
00000fec: PUSH2 0x1036
00000fef: JUMPI
00000ff0: DUP1
00000ff1: PUSH1 0x1f
00000ff3: LT
00000ff4: PUSH2 0x100b
00000ff7: JUMPI
00000ff8: PUSH2 0x0100
00000ffb: DUP1
00000ffc: DUP4
00000ffd: SLOAD
00000ffe: DIV
00000fff: MUL
00001000: DUP4
00001001: MSTORE
00001002: SWAP2
00001003: PUSH1 0x20
00001005: ADD
00001006: SWAP2
00001007: PUSH2 0x1036
0000100a: JUMP
0000100b: JUMPDEST
0000100c: DUP3
0000100d: ADD
0000100e: SWAP2
0000100f: SWAP1
00001010: PUSH1 0x00
00001012: MSTORE
00001013: PUSH1 0x20
00001015: PUSH1 0x00
00001017: KECCAK256
00001018: SWAP1
00001019: JUMPDEST
0000101a: DUP2
0000101b: SLOAD
0000101c: DUP2
0000101d: MSTORE
0000101e: SWAP1
0000101f: PUSH1 0x01
00001021: ADD
00001022: SWAP1
00001023: PUSH1 0x20
00001025: ADD
00001026: DUP1
00001027: DUP4
00001028: GT
00001029: PUSH2 0x1019
0000102c: JUMPI
0000102d: DUP3
0000102e: SWAP1
0000102f: SUB
00001030: PUSH1 0x1f
00001032: AND
00001033: DUP3
00001034: ADD
00001035: SWAP2
00001036: JUMPDEST
00001037: POP
00001038: POP
00001039: POP
0000103a: POP
0000103b: POP
0000103c: DUP2
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x00
00001041: PUSH1 0x01
00001043: DUP4
00001044: DUP4
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH2 0x1052
0000104b: SWAP3
0000104c: SWAP2
0000104d: SWAP1
0000104e: PUSH2 0x25c5
00001051: JUMP
00001052: JUMPDEST
00001053: SWAP1
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x40
00001058: MLOAD
00001059: SWAP1
0000105a: DUP2
0000105b: SWAP1
0000105c: SUB
0000105d: PUSH1 0x20
0000105f: ADD
00001060: SWAP1
00001061: KECCAK256
00001062: PUSH1 0x02
00001064: ADD
00001065: SLOAD
00001066: SWAP1
00001067: POP
00001068: SWAP3
00001069: SWAP2
0000106a: POP
0000106b: POP
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH1 0x00
00001070: SLOAD
00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001086: AND
00001087: CALLER
00001088: EQ
00001089: PUSH2 0x10ee
0000108c: JUMPI
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x20
000010b5: PUSH1 0x04
000010b7: DUP3
000010b8: ADD
000010b9: MSTORE
000010ba: PUSH1 0x0c
000010bc: PUSH1 0x24
000010be: DUP3
000010bf: ADD
000010c0: MSTORE
000010c1: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
000010e2: PUSH1 0x44
000010e4: DUP3
000010e5: ADD
000010e6: MSTORE
000010e7: PUSH1 0x64
000010e9: ADD
000010ea: PUSH2 0x04c9
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH1 0x40
000010f1: MLOAD
000010f2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001113: DUP2
00001114: MSTORE
00001115: ADDRESS
00001116: PUSH1 0x04
00001118: DUP3
00001119: ADD
0000111a: MSTORE
0000111b: PUSH2 0x1184
0000111e: SWAP1
0000111f: DUP4
00001120: SWAP1
00001121: DUP4
00001122: SWAP1
00001123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001138: DUP4
00001139: AND
0000113a: SWAP1
0000113b: PUSH4 0x70a08231
00001140: SWAP1
00001141: PUSH1 0x24
00001143: ADD
00001144: PUSH1 0x20
00001146: PUSH1 0x40
00001148: MLOAD
00001149: DUP1
0000114a: DUP4
0000114b: SUB
0000114c: DUP2
0000114d: DUP7
0000114e: GAS
0000114f: STATICCALL
00001150: ISZERO
00001151: DUP1
00001152: ISZERO
00001153: PUSH2 0x1160
00001156: JUMPI
00001157: RETURNDATASIZE
00001158: PUSH1 0x00
0000115a: DUP1
0000115b: RETURNDATACOPY
0000115c: RETURNDATASIZE
0000115d: PUSH1 0x00
0000115f: REVERT
00001160: JUMPDEST
00001161: POP
00001162: POP
00001163: POP
00001164: POP
00001165: PUSH1 0x40
00001167: MLOAD
00001168: RETURNDATASIZE
00001169: PUSH1 0x1f
0000116b: NOT
0000116c: PUSH1 0x1f
0000116e: DUP3
0000116f: ADD
00001170: AND
00001171: DUP3
00001172: ADD
00001173: DUP1
00001174: PUSH1 0x40
00001176: MSTORE
00001177: POP
00001178: DUP2
00001179: ADD
0000117a: SWAP1
0000117b: PUSH2 0x0201
0000117e: SWAP2
0000117f: SWAP1
00001180: PUSH2 0x281f
00001183: JUMP
00001184: JUMPDEST
00001185: POP
00001186: POP
00001187: JUMP
00001188: JUMPDEST
00001189: PUSH1 0x00
0000118b: SLOAD
0000118c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a1: AND
000011a2: CALLER
000011a3: EQ
000011a4: PUSH2 0x1209
000011a7: JUMPI
000011a8: PUSH1 0x40
000011aa: MLOAD
000011ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011cc: DUP2
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: PUSH1 0x04
000011d2: DUP3
000011d3: ADD
000011d4: MSTORE
000011d5: PUSH1 0x0c
000011d7: PUSH1 0x24
000011d9: DUP3
000011da: ADD
000011db: MSTORE
000011dc: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
000011fd: PUSH1 0x44
000011ff: DUP3
00001200: ADD
00001201: MSTORE
00001202: PUSH1 0x64
00001204: ADD
00001205: PUSH2 0x04c9
00001208: JUMP
00001209: JUMPDEST
0000120a: PUSH1 0x00
0000120c: DUP2
0000120d: PUSH1 0x03
0000120f: DUP2
00001210: GT
00001211: ISZERO
00001212: PUSH2 0x121d
00001215: JUMPI
00001216: PUSH2 0x121d
00001219: PUSH2 0x1fcd
0000121c: JUMP
0000121d: JUMPDEST
0000121e: SUB
0000121f: PUSH2 0x12d0
00001222: JUMPI
00001223: PUSH1 0x40
00001225: MLOAD
00001226: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x20
0000124b: PUSH1 0x04
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: PUSH1 0x41
00001252: PUSH1 0x24
00001254: DUP3
00001255: ADD
00001256: MSTORE
00001257: PUSH32 0x447269707069653a2064726970207374617475732063616e206e657665722062
00001278: PUSH1 0x44
0000127a: DUP3
0000127b: ADD
0000127c: MSTORE
0000127d: PUSH32 0x6520736574206261636b20746f204e4f4e45206166746572206372656174696f
0000129e: PUSH1 0x64
000012a0: DUP3
000012a1: ADD
000012a2: MSTORE
000012a3: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000
000012c4: PUSH1 0x84
000012c6: DUP3
000012c7: ADD
000012c8: MSTORE
000012c9: PUSH1 0xa4
000012cb: ADD
000012cc: PUSH2 0x04c9
000012cf: JUMP
000012d0: JUMPDEST
000012d1: PUSH1 0x00
000012d3: PUSH1 0x01
000012d5: DUP5
000012d6: DUP5
000012d7: PUSH1 0x40
000012d9: MLOAD
000012da: PUSH2 0x12e4
000012dd: SWAP3
000012de: SWAP2
000012df: SWAP1
000012e0: PUSH2 0x25c5
000012e3: JUMP
000012e4: JUMPDEST
000012e5: SWAP1
000012e6: DUP2
000012e7: MSTORE
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: SWAP1
000012ec: DUP2
000012ed: SWAP1
000012ee: SUB
000012ef: PUSH1 0x20
000012f1: ADD
000012f2: SWAP1
000012f3: KECCAK256
000012f4: SLOAD
000012f5: PUSH1 0xff
000012f7: AND
000012f8: SWAP1
000012f9: POP
000012fa: PUSH1 0x00
000012fc: DUP2
000012fd: PUSH1 0x03
000012ff: DUP2
00001300: GT
00001301: ISZERO
00001302: PUSH2 0x130d
00001305: JUMPI
00001306: PUSH2 0x130d
00001309: PUSH2 0x1fcd
0000130c: JUMP
0000130d: JUMPDEST
0000130e: SUB
0000130f: PUSH2 0x13c0
00001312: JUMPI
00001313: PUSH1 0x40
00001315: MLOAD
00001316: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x20
0000133b: PUSH1 0x04
0000133d: DUP3
0000133e: ADD
0000133f: MSTORE
00001340: PUSH1 0x41
00001342: PUSH1 0x24
00001344: DUP3
00001345: ADD
00001346: MSTORE
00001347: PUSH32 0x447269707069653a206472697020776974682074686174206e616d6520646f65
00001368: PUSH1 0x44
0000136a: DUP3
0000136b: ADD
0000136c: MSTORE
0000136d: PUSH32 0x73206e6f7420657869737420616e642063616e6e6f7420626520757064617465
0000138e: PUSH1 0x64
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000
000013b4: PUSH1 0x84
000013b6: DUP3
000013b7: ADD
000013b8: MSTORE
000013b9: PUSH1 0xa4
000013bb: ADD
000013bc: PUSH2 0x04c9
000013bf: JUMP
000013c0: JUMPDEST
000013c1: PUSH1 0x03
000013c3: DUP2
000013c4: PUSH1 0x03
000013c6: DUP2
000013c7: GT
000013c8: ISZERO
000013c9: PUSH2 0x13d4
000013cc: JUMPI
000013cd: PUSH2 0x13d4
000013d0: PUSH2 0x1fcd
000013d3: JUMP
000013d4: JUMPDEST
000013d5: SUB
000013d6: PUSH2 0x1488
000013d9: JUMPI
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013fe: DUP2
000013ff: MSTORE
00001400: PUSH1 0x20
00001402: PUSH1 0x04
00001404: DUP3
00001405: ADD
00001406: MSTORE
00001407: PUSH1 0x44
00001409: PUSH1 0x24
0000140b: DUP3
0000140c: ADD
0000140d: DUP2
0000140e: SWAP1
0000140f: MSTORE
00001410: PUSH32 0x447269707069653a206472697020776974682074686174206e616d6520686173
00001431: SWAP1
00001432: DUP3
00001433: ADD
00001434: MSTORE
00001435: PUSH32 0x206265656e20617263686976656420616e642063616e6e6f7420626520757064
00001456: PUSH1 0x64
00001458: DUP3
00001459: ADD
0000145a: MSTORE
0000145b: PUSH32 0x6174656400000000000000000000000000000000000000000000000000000000
0000147c: PUSH1 0x84
0000147e: DUP3
0000147f: ADD
00001480: MSTORE
00001481: PUSH1 0xa4
00001483: ADD
00001484: PUSH2 0x04c9
00001487: JUMP
00001488: JUMPDEST
00001489: DUP2
0000148a: PUSH1 0x03
0000148c: DUP2
0000148d: GT
0000148e: ISZERO
0000148f: PUSH2 0x149a
00001492: JUMPI
00001493: PUSH2 0x149a
00001496: PUSH2 0x1fcd
00001499: JUMP
0000149a: JUMPDEST
0000149b: DUP2
0000149c: PUSH1 0x03
0000149e: DUP2
0000149f: GT
000014a0: ISZERO
000014a1: PUSH2 0x14ac
000014a4: JUMPI
000014a5: PUSH2 0x14ac
000014a8: PUSH2 0x1fcd
000014ab: JUMP
000014ac: JUMPDEST
000014ad: SUB
000014ae: PUSH2 0x155f
000014b1: JUMPI
000014b2: PUSH1 0x40
000014b4: MLOAD
000014b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014d6: DUP2
000014d7: MSTORE
000014d8: PUSH1 0x20
000014da: PUSH1 0x04
000014dc: DUP3
000014dd: ADD
000014de: MSTORE
000014df: PUSH1 0x48
000014e1: PUSH1 0x24
000014e3: DUP3
000014e4: ADD
000014e5: MSTORE
000014e6: PUSH32 0x447269707069653a2063616e6e6f742073657420647269702073746174757320
00001507: PUSH1 0x44
00001509: DUP3
0000150a: ADD
0000150b: MSTORE
0000150c: PUSH32 0x746f207468652073616d6520737461747573206173206974732063757272656e
0000152d: PUSH1 0x64
0000152f: DUP3
00001530: ADD
00001531: MSTORE
00001532: PUSH32 0x7420737461747573000000000000000000000000000000000000000000000000
00001553: PUSH1 0x84
00001555: DUP3
00001556: ADD
00001557: MSTORE
00001558: PUSH1 0xa4
0000155a: ADD
0000155b: PUSH2 0x04c9
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x03
00001562: DUP3
00001563: PUSH1 0x03
00001565: DUP2
00001566: GT
00001567: ISZERO
00001568: PUSH2 0x1573
0000156b: JUMPI
0000156c: PUSH2 0x1573
0000156f: PUSH2 0x1fcd
00001572: JUMP
00001573: JUMPDEST
00001574: SUB
00001575: PUSH2 0x1619
00001578: JUMPI
00001579: PUSH1 0x01
0000157b: DUP2
0000157c: PUSH1 0x03
0000157e: DUP2
0000157f: GT
00001580: ISZERO
00001581: PUSH2 0x158c
00001584: JUMPI
00001585: PUSH2 0x158c
00001588: PUSH2 0x1fcd
0000158b: JUMP
0000158c: JUMPDEST
0000158d: EQ
0000158e: PUSH2 0x1619
00001591: JUMPI
00001592: PUSH1 0x40
00001594: MLOAD
00001595: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x20
000015ba: PUSH1 0x04
000015bc: DUP3
000015bd: ADD
000015be: MSTORE
000015bf: PUSH1 0x38
000015c1: PUSH1 0x24
000015c3: DUP3
000015c4: ADD
000015c5: MSTORE
000015c6: PUSH32 0x447269707069653a2064726970206d7573742066697273742062652070617573
000015e7: PUSH1 0x44
000015e9: DUP3
000015ea: ADD
000015eb: MSTORE
000015ec: PUSH32 0x6564206265666f7265206265696e672061726368697665640000000000000000
0000160d: PUSH1 0x64
0000160f: DUP3
00001610: ADD
00001611: MSTORE
00001612: PUSH1 0x84
00001614: ADD
00001615: PUSH2 0x04c9
00001618: JUMP
00001619: JUMPDEST
0000161a: DUP2
0000161b: PUSH1 0x01
0000161d: DUP6
0000161e: DUP6
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: PUSH2 0x162c
00001625: SWAP3
00001626: SWAP2
00001627: SWAP1
00001628: PUSH2 0x25c5
0000162b: JUMP
0000162c: JUMPDEST
0000162d: SWAP1
0000162e: DUP2
0000162f: MSTORE
00001630: PUSH1 0x40
00001632: MLOAD
00001633: SWAP1
00001634: DUP2
00001635: SWAP1
00001636: SUB
00001637: PUSH1 0x20
00001639: ADD
0000163a: SWAP1
0000163b: KECCAK256
0000163c: DUP1
0000163d: SLOAD
0000163e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000165f: AND
00001660: PUSH1 0x01
00001662: DUP4
00001663: PUSH1 0x03
00001665: DUP2
00001666: GT
00001667: ISZERO
00001668: PUSH2 0x1673
0000166b: JUMPI
0000166c: PUSH2 0x1673
0000166f: PUSH2 0x1fcd
00001672: JUMP
00001673: JUMPDEST
00001674: MUL
00001675: OR
00001676: SWAP1
00001677: SSTORE
00001678: POP
00001679: DUP4
0000167a: DUP4
0000167b: PUSH1 0x40
0000167d: MLOAD
0000167e: PUSH2 0x1688
00001681: SWAP3
00001682: SWAP2
00001683: SWAP1
00001684: PUSH2 0x25c5
00001687: JUMP
00001688: JUMPDEST
00001689: PUSH1 0x40
0000168b: MLOAD
0000168c: DUP1
0000168d: SWAP2
0000168e: SUB
0000168f: SWAP1
00001690: KECCAK256
00001691: PUSH32 0x407cb3ad05e60ec498fb39417c7a4f6b82d5ba80f82fe512a37b02c93181a2a1
000016b2: DUP6
000016b3: DUP6
000016b4: DUP6
000016b5: PUSH1 0x40
000016b7: MLOAD
000016b8: PUSH2 0x0dfc
000016bb: SWAP4
000016bc: SWAP3
000016bd: SWAP2
000016be: SWAP1
000016bf: PUSH2 0x2838
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x00
000016c6: SLOAD
000016c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016dc: AND
000016dd: CALLER
000016de: EQ
000016df: PUSH2 0x1744
000016e2: JUMPI
000016e3: PUSH1 0x40
000016e5: MLOAD
000016e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001707: DUP2
00001708: MSTORE
00001709: PUSH1 0x20
0000170b: PUSH1 0x04
0000170d: DUP3
0000170e: ADD
0000170f: MSTORE
00001710: PUSH1 0x0c
00001712: PUSH1 0x24
00001714: DUP3
00001715: ADD
00001716: MSTORE
00001717: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
00001738: PUSH1 0x44
0000173a: DUP3
0000173b: ADD
0000173c: MSTORE
0000173d: PUSH1 0x64
0000173f: ADD
00001740: PUSH2 0x04c9
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH1 0x00
00001747: PUSH1 0x01
00001749: DUP5
0000174a: DUP5
0000174b: PUSH1 0x40
0000174d: MLOAD
0000174e: PUSH2 0x1758
00001751: SWAP3
00001752: SWAP2
00001753: SWAP1
00001754: PUSH2 0x25c5
00001757: JUMP
00001758: JUMPDEST
00001759: SWAP1
0000175a: DUP2
0000175b: MSTORE
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: SWAP1
00001760: DUP2
00001761: SWAP1
00001762: SUB
00001763: PUSH1 0x20
00001765: ADD
00001766: SWAP1
00001767: KECCAK256
00001768: SLOAD
00001769: PUSH1 0xff
0000176b: AND
0000176c: PUSH1 0x03
0000176e: DUP2
0000176f: GT
00001770: ISZERO
00001771: PUSH2 0x177c
00001774: JUMPI
00001775: PUSH2 0x177c
00001778: PUSH2 0x1fcd
0000177b: JUMP
0000177c: JUMPDEST
0000177d: EQ
0000177e: PUSH2 0x1809
00001781: JUMPI
00001782: PUSH1 0x40
00001784: MLOAD
00001785: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017a6: DUP2
000017a7: MSTORE
000017a8: PUSH1 0x20
000017aa: PUSH1 0x04
000017ac: DUP3
000017ad: ADD
000017ae: MSTORE
000017af: PUSH1 0x2b
000017b1: PUSH1 0x24
000017b3: DUP3
000017b4: ADD
000017b5: MSTORE
000017b6: PUSH32 0x447269707069653a206472697020776974682074686174206e616d6520616c72
000017d7: PUSH1 0x44
000017d9: DUP3
000017da: ADD
000017db: MSTORE
000017dc: PUSH32 0x6561647920657869737473000000000000000000000000000000000000000000
000017fd: PUSH1 0x64
000017ff: DUP3
00001800: ADD
00001801: MSTORE
00001802: PUSH1 0x84
00001804: ADD
00001805: PUSH2 0x04c9
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH2 0x1816
0000180d: PUSH1 0x20
0000180f: DUP3
00001810: ADD
00001811: DUP3
00001812: PUSH2 0x285b
00001815: JUMP
00001816: JUMPDEST
00001817: ISZERO
00001818: PUSH2 0x18b2
0000181b: JUMPI
0000181c: PUSH1 0x20
0000181e: DUP2
0000181f: ADD
00001820: CALLDATALOAD
00001821: ISZERO
00001822: PUSH2 0x18ad
00001825: JUMPI
00001826: PUSH1 0x40
00001828: MLOAD
00001829: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000184a: DUP2
0000184b: MSTORE
0000184c: PUSH1 0x20
0000184e: PUSH1 0x04
00001850: DUP3
00001851: ADD
00001852: MSTORE
00001853: PUSH1 0x3e
00001855: PUSH1 0x24
00001857: DUP3
00001858: ADD
00001859: MSTORE
0000185a: PUSH32 0x447269707069653a20696620616c6c6f77696e67207265656e7472616e742064
0000187b: PUSH1 0x44
0000187d: DUP3
0000187e: ADD
0000187f: MSTORE
00001880: PUSH32 0x7269702c206d7573742073657420696e74657276616c20746f207a65726f0000
000018a1: PUSH1 0x64
000018a3: DUP3
000018a4: ADD
000018a5: MSTORE
000018a6: PUSH1 0x84
000018a8: ADD
000018a9: PUSH2 0x04c9
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH2 0x196d
000018b1: JUMP
000018b2: JUMPDEST
000018b3: PUSH1 0x00
000018b5: DUP2
000018b6: PUSH1 0x20
000018b8: ADD
000018b9: CALLDATALOAD
000018ba: GT
000018bb: PUSH2 0x196d
000018be: JUMPI
000018bf: PUSH1 0x40
000018c1: MLOAD
000018c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018e3: DUP2
000018e4: MSTORE
000018e5: PUSH1 0x20
000018e7: PUSH1 0x04
000018e9: DUP3
000018ea: ADD
000018eb: MSTORE
000018ec: PUSH1 0x44
000018ee: PUSH1 0x24
000018f0: DUP3
000018f1: ADD
000018f2: DUP2
000018f3: SWAP1
000018f4: MSTORE
000018f5: PUSH32 0x447269707069653a20696e74657276616c206d75737420626520677265617465
00001916: SWAP1
00001917: DUP3
00001918: ADD
00001919: MSTORE
0000191a: PUSH32 0x72207468616e207a65726f2069662064726970206973206e6f74207265656e74
0000193b: PUSH1 0x64
0000193d: DUP3
0000193e: ADD
0000193f: MSTORE
00001940: PUSH32 0x72616e7400000000000000000000000000000000000000000000000000000000
00001961: PUSH1 0x84
00001963: DUP3
00001964: ADD
00001965: MSTORE
00001966: PUSH1 0xa4
00001968: ADD
00001969: PUSH2 0x04c9
0000196c: JUMP
0000196d: JUMPDEST
0000196e: PUSH1 0x00
00001970: PUSH1 0x01
00001972: DUP5
00001973: DUP5
00001974: PUSH1 0x40
00001976: MLOAD
00001977: PUSH2 0x1981
0000197a: SWAP3
0000197b: SWAP2
0000197c: SWAP1
0000197d: PUSH2 0x25c5
00001980: JUMP
00001981: JUMPDEST
00001982: SWAP1
00001983: DUP2
00001984: MSTORE
00001985: PUSH1 0x40
00001987: MLOAD
00001988: PUSH1 0x20
0000198a: SWAP2
0000198b: DUP2
0000198c: SWAP1
0000198d: SUB
0000198e: DUP3
0000198f: ADD
00001990: SWAP1
00001991: KECCAK256
00001992: DUP1
00001993: SLOAD
00001994: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000019b5: AND
000019b6: PUSH1 0x01
000019b8: OR
000019b9: DUP2
000019ba: SSTORE
000019bb: SWAP2
000019bc: POP
000019bd: PUSH2 0x19c8
000019c0: SWAP1
000019c1: DUP4
000019c2: ADD
000019c3: DUP4
000019c4: PUSH2 0x285b
000019c7: JUMP
000019c8: JUMPDEST
000019c9: PUSH1 0x01
000019cb: DUP3
000019cc: ADD
000019cd: DUP1
000019ce: SLOAD
000019cf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000019f0: AND
000019f1: SWAP2
000019f2: ISZERO
000019f3: ISZERO
000019f4: SWAP2
000019f5: SWAP1
000019f6: SWAP2
000019f7: OR
000019f8: SWAP1
000019f9: SSTORE
000019fa: PUSH1 0x20
000019fc: DUP3
000019fd: ADD
000019fe: CALLDATALOAD
000019ff: PUSH1 0x02
00001a01: DUP3
00001a02: ADD
00001a03: SSTORE
00001a04: PUSH2 0x1a13
00001a07: PUSH1 0x60
00001a09: DUP4
00001a0a: ADD
00001a0b: PUSH1 0x40
00001a0d: DUP5
00001a0e: ADD
00001a0f: PUSH2 0x2067
00001a12: JUMP
00001a13: JUMPDEST
00001a14: PUSH1 0x03
00001a16: DUP3
00001a17: ADD
00001a18: DUP1
00001a19: SLOAD
00001a1a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001a3b: AND
00001a3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a51: SWAP3
00001a52: SWAP1
00001a53: SWAP3
00001a54: AND
00001a55: SWAP2
00001a56: SWAP1
00001a57: SWAP2
00001a58: OR
00001a59: SWAP1
00001a5a: SSTORE
00001a5b: PUSH2 0x1a67
00001a5e: PUSH1 0x60
00001a60: DUP4
00001a61: ADD
00001a62: DUP4
00001a63: PUSH2 0x2878
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x04
00001a6a: DUP4
00001a6b: ADD
00001a6c: SWAP2
00001a6d: PUSH2 0x1a77
00001a70: SWAP2
00001a71: SWAP1
00001a72: DUP4
00001a73: PUSH2 0x292c
00001a76: JUMP
00001a77: JUMPDEST
00001a78: POP
00001a79: PUSH1 0x00
00001a7b: JUMPDEST
00001a7c: PUSH2 0x1a88
00001a7f: PUSH1 0x80
00001a81: DUP5
00001a82: ADD
00001a83: DUP5
00001a84: PUSH2 0x2a47
00001a87: JUMP
00001a88: JUMPDEST
00001a89: SWAP1
00001a8a: POP
00001a8b: DUP2
00001a8c: LT
00001a8d: ISZERO
00001a8e: PUSH2 0x1afb
00001a91: JUMPI
00001a92: PUSH1 0x05
00001a94: DUP3
00001a95: ADD
00001a96: PUSH2 0x1aa2
00001a99: PUSH1 0x80
00001a9b: DUP6
00001a9c: ADD
00001a9d: DUP6
00001a9e: PUSH2 0x2a47
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: DUP4
00001aa4: DUP2
00001aa5: DUP2
00001aa6: LT
00001aa7: PUSH2 0x1ab2
00001aaa: JUMPI
00001aab: PUSH2 0x1ab2
00001aae: PUSH2 0x26ba
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: SWAP1
00001ab4: POP
00001ab5: PUSH1 0x20
00001ab7: MUL
00001ab8: DUP2
00001ab9: ADD
00001aba: SWAP1
00001abb: PUSH2 0x1ac4
00001abe: SWAP2
00001abf: SWAP1
00001ac0: PUSH2 0x2aaf
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: DUP2
00001ac6: SLOAD
00001ac7: PUSH1 0x01
00001ac9: DUP2
00001aca: ADD
00001acb: DUP4
00001acc: SSTORE
00001acd: PUSH1 0x00
00001acf: SWAP3
00001ad0: DUP4
00001ad1: MSTORE
00001ad2: PUSH1 0x20
00001ad4: SWAP1
00001ad5: SWAP3
00001ad6: KECCAK256
00001ad7: SWAP1
00001ad8: SWAP2
00001ad9: PUSH1 0x03
00001adb: MUL
00001adc: ADD
00001add: PUSH2 0x1ae6
00001ae0: DUP3
00001ae1: DUP3
00001ae2: PUSH2 0x2ae3
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: POP
00001ae8: POP
00001ae9: DUP1
00001aea: DUP1
00001aeb: PUSH2 0x1af3
00001aee: SWAP1
00001aef: PUSH2 0x2682
00001af2: JUMP
00001af3: JUMPDEST
00001af4: SWAP2
00001af5: POP
00001af6: POP
00001af7: PUSH2 0x1a7b
00001afa: JUMP
00001afb: JUMPDEST
00001afc: POP
00001afd: PUSH1 0x02
00001aff: DUP1
00001b00: SLOAD
00001b01: PUSH1 0x01
00001b03: DUP2
00001b04: ADD
00001b05: DUP3
00001b06: SSTORE
00001b07: PUSH1 0x00
00001b09: SWAP2
00001b0a: SWAP1
00001b0b: SWAP2
00001b0c: MSTORE
00001b0d: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00001b2e: ADD
00001b2f: PUSH2 0x1b39
00001b32: DUP5
00001b33: DUP7
00001b34: DUP4
00001b35: PUSH2 0x292c
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: POP
00001b3b: DUP4
00001b3c: DUP4
00001b3d: PUSH1 0x40
00001b3f: MLOAD
00001b40: PUSH2 0x1b4a
00001b43: SWAP3
00001b44: SWAP2
00001b45: SWAP1
00001b46: PUSH2 0x25c5
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH1 0x40
00001b4d: MLOAD
00001b4e: DUP1
00001b4f: SWAP2
00001b50: SUB
00001b51: SWAP1
00001b52: KECCAK256
00001b53: PUSH32 0xe38d8d98e6cc66f6f520d483c6c5a89289681f897799c4c29d767cf57e76d9a6
00001b74: DUP6
00001b75: DUP6
00001b76: DUP6
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: PUSH2 0x0dfc
00001b7d: SWAP4
00001b7e: SWAP3
00001b7f: SWAP2
00001b80: SWAP1
00001b81: PUSH2 0x2dd6
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH1 0x00
00001b88: DUP1
00001b89: SLOAD
00001b8a: PUSH1 0x60
00001b8c: SWAP1
00001b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba2: AND
00001ba3: CALLER
00001ba4: EQ
00001ba5: PUSH2 0x1c0a
00001ba8: JUMPI
00001ba9: PUSH1 0x40
00001bab: MLOAD
00001bac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bcd: DUP2
00001bce: MSTORE
00001bcf: PUSH1 0x20
00001bd1: PUSH1 0x04
00001bd3: DUP3
00001bd4: ADD
00001bd5: MSTORE
00001bd6: PUSH1 0x0c
00001bd8: PUSH1 0x24
00001bda: DUP3
00001bdb: ADD
00001bdc: MSTORE
00001bdd: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000
00001bfe: PUSH1 0x44
00001c00: DUP3
00001c01: ADD
00001c02: MSTORE
00001c03: PUSH1 0x64
00001c05: ADD
00001c06: PUSH2 0x04c9
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: DUP4
00001c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c21: AND
00001c22: DUP4
00001c23: PUSH1 0x40
00001c25: MLOAD
00001c26: PUSH2 0x1c2f
00001c29: SWAP2
00001c2a: SWAP1
00001c2b: PUSH2 0x2803
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: PUSH1 0x00
00001c32: PUSH1 0x40
00001c34: MLOAD
00001c35: DUP1
00001c36: DUP4
00001c37: SUB
00001c38: DUP2
00001c39: DUP6
00001c3a: GAS
00001c3b: DELEGATECALL
00001c3c: SWAP2
00001c3d: POP
00001c3e: POP
00001c3f: RETURNDATASIZE
00001c40: DUP1
00001c41: PUSH1 0x00
00001c43: DUP2
00001c44: EQ
00001c45: PUSH2 0x1c6a
00001c48: JUMPI
00001c49: PUSH1 0x40
00001c4b: MLOAD
00001c4c: SWAP2
00001c4d: POP
00001c4e: PUSH1 0x1f
00001c50: NOT
00001c51: PUSH1 0x3f
00001c53: RETURNDATASIZE
00001c54: ADD
00001c55: AND
00001c56: DUP3
00001c57: ADD
00001c58: PUSH1 0x40
00001c5a: MSTORE
00001c5b: RETURNDATASIZE
00001c5c: DUP3
00001c5d: MSTORE
00001c5e: RETURNDATASIZE
00001c5f: PUSH1 0x00
00001c61: PUSH1 0x20
00001c63: DUP5
00001c64: ADD
00001c65: RETURNDATACOPY
00001c66: PUSH2 0x1c6f
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH1 0x60
00001c6d: SWAP2
00001c6e: POP
00001c6f: JUMPDEST
00001c70: POP
00001c71: SWAP1
00001c72: SWAP6
00001c73: SWAP1
00001c74: SWAP5
00001c75: POP
00001c76: SWAP3
00001c77: POP
00001c78: POP
00001c79: POP
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: PUSH1 0x00
00001c7e: DUP1
00001c7f: PUSH1 0x01
00001c81: DUP5
00001c82: DUP5
00001c83: PUSH1 0x40
00001c85: MLOAD
00001c86: PUSH2 0x1c90
00001c89: SWAP3
00001c8a: SWAP2
00001c8b: SWAP1
00001c8c: PUSH2 0x25c5
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: SWAP1
00001c92: DUP2
00001c93: MSTORE
00001c94: PUSH1 0x40
00001c96: MLOAD
00001c97: SWAP1
00001c98: DUP2
00001c99: SWAP1
00001c9a: SUB
00001c9b: PUSH1 0x20
00001c9d: ADD
00001c9e: SWAP1
00001c9f: KECCAK256
00001ca0: SWAP1
00001ca1: POP
00001ca2: PUSH1 0x02
00001ca4: DUP2
00001ca5: SLOAD
00001ca6: PUSH1 0xff
00001ca8: AND
00001ca9: PUSH1 0x03
00001cab: DUP2
00001cac: GT
00001cad: ISZERO
00001cae: PUSH2 0x1cb9
00001cb1: JUMPI
00001cb2: PUSH2 0x1cb9
00001cb5: PUSH2 0x1fcd
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: EQ
00001cbb: PUSH2 0x1d48
00001cbe: JUMPI
00001cbf: PUSH1 0x40
00001cc1: DUP1
00001cc2: MLOAD
00001cc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ce4: DUP2
00001ce5: MSTORE
00001ce6: PUSH1 0x20
00001ce8: PUSH1 0x04
00001cea: DUP3
00001ceb: ADD
00001cec: MSTORE
00001ced: PUSH1 0x24
00001cef: DUP2
00001cf0: ADD
00001cf1: SWAP2
00001cf2: SWAP1
00001cf3: SWAP2
00001cf4: MSTORE
00001cf5: PUSH32 0x447269707069653a2073656c6563746564206472697020646f6573206e6f7420
00001d16: PUSH1 0x44
00001d18: DUP3
00001d19: ADD
00001d1a: MSTORE
00001d1b: PUSH32 0x6578697374206f72206973206e6f742063757272656e746c7920616374697665
00001d3c: PUSH1 0x64
00001d3e: DUP3
00001d3f: ADD
00001d40: MSTORE
00001d41: PUSH1 0x84
00001d43: ADD
00001d44: PUSH2 0x04c9
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH1 0x02
00001d4b: DUP2
00001d4c: ADD
00001d4d: SLOAD
00001d4e: PUSH1 0x06
00001d50: DUP3
00001d51: ADD
00001d52: SLOAD
00001d53: TIMESTAMP
00001d54: SWAP2
00001d55: PUSH2 0x1d5d
00001d58: SWAP2
00001d59: PUSH2 0x2edd
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: GT
00001d5f: ISZERO
00001d60: PUSH2 0x1deb
00001d63: JUMPI
00001d64: PUSH1 0x40
00001d66: MLOAD
00001d67: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d88: DUP2
00001d89: MSTORE
00001d8a: PUSH1 0x20
00001d8c: PUSH1 0x04
00001d8e: DUP3
00001d8f: ADD
00001d90: MSTORE
00001d91: PUSH1 0x36
00001d93: PUSH1 0x24
00001d95: DUP3
00001d96: ADD
00001d97: MSTORE
00001d98: PUSH32 0x447269707069653a206472697020696e74657276616c20686173206e6f742065
00001db9: PUSH1 0x44
00001dbb: DUP3
00001dbc: ADD
00001dbd: MSTORE
00001dbe: PUSH32 0x6c61707365642073696e6365206c617374206472697000000000000000000000
00001ddf: PUSH1 0x64
00001de1: DUP3
00001de2: ADD
00001de3: MSTORE
00001de4: PUSH1 0x84
00001de6: ADD
00001de7: PUSH2 0x04c9
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x03
00001dee: DUP2
00001def: ADD
00001df0: SLOAD
00001df1: PUSH1 0x40
00001df3: MLOAD
00001df4: PUSH32 0xc64b3bb500000000000000000000000000000000000000000000000000000000
00001e15: DUP2
00001e16: MSTORE
00001e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2c: SWAP1
00001e2d: SWAP2
00001e2e: AND
00001e2f: SWAP1
00001e30: PUSH4 0xc64b3bb5
00001e35: SWAP1
00001e36: PUSH2 0x1e45
00001e39: SWAP1
00001e3a: PUSH1 0x04
00001e3c: DUP1
00001e3d: DUP7
00001e3e: ADD
00001e3f: SWAP2
00001e40: ADD
00001e41: PUSH2 0x2ef5
00001e44: JUMP
00001e45: JUMPDEST
00001e46: PUSH1 0x20
00001e48: PUSH1 0x40
00001e4a: MLOAD
00001e4b: DUP1
00001e4c: DUP4
00001e4d: SUB
00001e4e: DUP2
00001e4f: DUP7
00001e50: GAS
00001e51: STATICCALL
00001e52: ISZERO
00001e53: DUP1
00001e54: ISZERO
00001e55: PUSH2 0x1e62
00001e58: JUMPI
00001e59: RETURNDATASIZE
00001e5a: PUSH1 0x00
00001e5c: DUP1
00001e5d: RETURNDATACOPY
00001e5e: RETURNDATASIZE
00001e5f: PUSH1 0x00
00001e61: REVERT
00001e62: JUMPDEST
00001e63: POP
00001e64: POP
00001e65: POP
00001e66: POP
00001e67: PUSH1 0x40
00001e69: MLOAD
00001e6a: RETURNDATASIZE
00001e6b: PUSH1 0x1f
00001e6d: NOT
00001e6e: PUSH1 0x1f
00001e70: DUP3
00001e71: ADD
00001e72: AND
00001e73: DUP3
00001e74: ADD
00001e75: DUP1
00001e76: PUSH1 0x40
00001e78: MSTORE
00001e79: POP
00001e7a: DUP2
00001e7b: ADD
00001e7c: SWAP1
00001e7d: PUSH2 0x1e86
00001e80: SWAP2
00001e81: SWAP1
00001e82: PUSH2 0x25e3
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH2 0x1f38
00001e8a: JUMPI
00001e8b: PUSH1 0x40
00001e8d: MLOAD
00001e8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001eaf: DUP2
00001eb0: MSTORE
00001eb1: PUSH1 0x20
00001eb3: PUSH1 0x04
00001eb5: DUP3
00001eb6: ADD
00001eb7: MSTORE
00001eb8: PUSH1 0x42
00001eba: PUSH1 0x24
00001ebc: DUP3
00001ebd: ADD
00001ebe: MSTORE
00001ebf: PUSH32 0x447269707069653a2064726970636865636b206661696c656420736f20647269
00001ee0: PUSH1 0x44
00001ee2: DUP3
00001ee3: ADD
00001ee4: MSTORE
00001ee5: PUSH32 0x70206973206e6f742079657420726561647920746f2062652074726967676572
00001f06: PUSH1 0x64
00001f08: DUP3
00001f09: ADD
00001f0a: MSTORE
00001f0b: PUSH32 0x6564000000000000000000000000000000000000000000000000000000000000
00001f2c: PUSH1 0x84
00001f2e: DUP3
00001f2f: ADD
00001f30: MSTORE
00001f31: PUSH1 0xa4
00001f33: ADD
00001f34: PUSH2 0x04c9
00001f37: JUMP
00001f38: JUMPDEST
00001f39: POP
00001f3a: PUSH1 0x01
00001f3c: SWAP4
00001f3d: SWAP3
00001f3e: POP
00001f3f: POP
00001f40: POP
00001f41: JUMP
00001f42: JUMPDEST
00001f43: PUSH1 0x00
00001f45: DUP1
00001f46: DUP4
00001f47: PUSH1 0x1f
00001f49: DUP5
00001f4a: ADD
00001f4b: SLT
00001f4c: PUSH2 0x1f54
00001f4f: JUMPI
00001f50: PUSH1 0x00
00001f52: DUP1
00001f53: REVERT
00001f54: JUMPDEST
00001f55: POP
00001f56: DUP2
00001f57: CALLDATALOAD
00001f58: PUSH8 0xffffffffffffffff
00001f61: DUP2
00001f62: GT
00001f63: ISZERO
00001f64: PUSH2 0x1f6c
00001f67: JUMPI
00001f68: PUSH1 0x00
00001f6a: DUP1
00001f6b: REVERT
00001f6c: JUMPDEST
00001f6d: PUSH1 0x20
00001f6f: DUP4
00001f70: ADD
00001f71: SWAP2
00001f72: POP
00001f73: DUP4
00001f74: PUSH1 0x20
00001f76: DUP3
00001f77: DUP6
00001f78: ADD
00001f79: ADD
00001f7a: GT
00001f7b: ISZERO
00001f7c: PUSH2 0x1f84
00001f7f: JUMPI
00001f80: PUSH1 0x00
00001f82: DUP1
00001f83: REVERT
00001f84: JUMPDEST
00001f85: SWAP3
00001f86: POP
00001f87: SWAP3
00001f88: SWAP1
00001f89: POP
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: PUSH1 0x00
00001f8e: DUP1
00001f8f: PUSH1 0x20
00001f91: DUP4
00001f92: DUP6
00001f93: SUB
00001f94: SLT
00001f95: ISZERO
00001f96: PUSH2 0x1f9e
00001f99: JUMPI
00001f9a: PUSH1 0x00
00001f9c: DUP1
00001f9d: REVERT
00001f9e: JUMPDEST
00001f9f: DUP3
00001fa0: CALLDATALOAD
00001fa1: PUSH8 0xffffffffffffffff
00001faa: DUP2
00001fab: GT
00001fac: ISZERO
00001fad: PUSH2 0x1fb5
00001fb0: JUMPI
00001fb1: PUSH1 0x00
00001fb3: DUP1
00001fb4: REVERT
00001fb5: JUMPDEST
00001fb6: PUSH2 0x1fc1
00001fb9: DUP6
00001fba: DUP3
00001fbb: DUP7
00001fbc: ADD
00001fbd: PUSH2 0x1f42
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: SWAP1
00001fc3: SWAP7
00001fc4: SWAP1
00001fc5: SWAP6
00001fc6: POP
00001fc7: SWAP4
00001fc8: POP
00001fc9: POP
00001fca: POP
00001fcb: POP
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001fef: PUSH1 0x00
00001ff1: MSTORE
00001ff2: PUSH1 0x21
00001ff4: PUSH1 0x04
00001ff6: MSTORE
00001ff7: PUSH1 0x24
00001ff9: PUSH1 0x00
00001ffb: REVERT
00001ffc: JUMPDEST
00001ffd: PUSH1 0x04
00001fff: DUP2
00002000: LT
00002001: PUSH2 0x2033
00002004: JUMPI
00002005: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002026: PUSH1 0x00
00002028: MSTORE
00002029: PUSH1 0x21
0000202b: PUSH1 0x04
0000202d: MSTORE
0000202e: PUSH1 0x24
00002030: PUSH1 0x00
00002032: REVERT
00002033: JUMPDEST
00002034: SWAP1
00002035: MSTORE
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH1 0x20
0000203a: DUP2
0000203b: ADD
0000203c: PUSH2 0x0446
0000203f: DUP3
00002040: DUP5
00002041: PUSH2 0x1ffc
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205b: DUP2
0000205c: AND
0000205d: DUP2
0000205e: EQ
0000205f: PUSH2 0x0e95
00002062: JUMPI
00002063: PUSH1 0x00
00002065: DUP1
00002066: REVERT
00002067: JUMPDEST
00002068: PUSH1 0x00
0000206a: PUSH1 0x20
0000206c: DUP3
0000206d: DUP5
0000206e: SUB
0000206f: SLT
00002070: ISZERO
00002071: PUSH2 0x2079
00002074: JUMPI
00002075: PUSH1 0x00
00002077: DUP1
00002078: REVERT
00002079: JUMPDEST
0000207a: DUP2
0000207b: CALLDATALOAD
0000207c: PUSH2 0x2084
0000207f: DUP2
00002080: PUSH2 0x2045
00002083: JUMP
00002084: JUMPDEST
00002085: SWAP4
00002086: SWAP3
00002087: POP
00002088: POP
00002089: POP
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x00
0000208e: DUP1
0000208f: PUSH1 0x00
00002091: PUSH1 0x60
00002093: DUP5
00002094: DUP7
00002095: SUB
00002096: SLT
00002097: ISZERO
00002098: PUSH2 0x20a0
0000209b: JUMPI
0000209c: PUSH1 0x00
0000209e: DUP1
0000209f: REVERT
000020a0: JUMPDEST
000020a1: DUP4
000020a2: CALLDATALOAD
000020a3: PUSH2 0x20ab
000020a6: DUP2
000020a7: PUSH2 0x2045
000020aa: JUMP
000020ab: JUMPDEST
000020ac: SWAP3
000020ad: POP
000020ae: PUSH1 0x20
000020b0: DUP5
000020b1: ADD
000020b2: CALLDATALOAD
000020b3: PUSH2 0x20bb
000020b6: DUP2
000020b7: PUSH2 0x2045
000020ba: JUMP
000020bb: JUMPDEST
000020bc: SWAP3
000020bd: SWAP6
000020be: SWAP3
000020bf: SWAP5
000020c0: POP
000020c1: POP
000020c2: POP
000020c3: PUSH1 0x40
000020c5: SWAP2
000020c6: SWAP1
000020c7: SWAP2
000020c8: ADD
000020c9: CALLDATALOAD
000020ca: SWAP1
000020cb: JUMP
000020cc: JUMPDEST
000020cd: PUSH1 0x00
000020cf: DUP1
000020d0: PUSH1 0x40
000020d2: DUP4
000020d3: DUP6
000020d4: SUB
000020d5: SLT
000020d6: ISZERO
000020d7: PUSH2 0x20df
000020da: JUMPI
000020db: PUSH1 0x00
000020dd: DUP1
000020de: REVERT
000020df: JUMPDEST
000020e0: DUP3
000020e1: CALLDATALOAD
000020e2: PUSH2 0x20ea
000020e5: DUP2
000020e6: PUSH2 0x2045
000020e9: JUMP
000020ea: JUMPDEST
000020eb: SWAP5
000020ec: PUSH1 0x20
000020ee: SWAP4
000020ef: SWAP1
000020f0: SWAP4
000020f1: ADD
000020f2: CALLDATALOAD
000020f3: SWAP4
000020f4: POP
000020f5: POP
000020f6: POP
000020f7: JUMP
000020f8: JUMPDEST
000020f9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000211a: PUSH1 0x00
0000211c: MSTORE
0000211d: PUSH1 0x41
0000211f: PUSH1 0x04
00002121: MSTORE
00002122: PUSH1 0x24
00002124: PUSH1 0x00
00002126: REVERT
00002127: JUMPDEST
00002128: PUSH1 0x00
0000212a: PUSH8 0xffffffffffffffff
00002133: DUP1
00002134: DUP5
00002135: GT
00002136: ISZERO
00002137: PUSH2 0x2142
0000213a: JUMPI
0000213b: PUSH2 0x2142
0000213e: PUSH2 0x20f8
00002141: JUMP
00002142: JUMPDEST
00002143: PUSH1 0x40
00002145: MLOAD
00002146: PUSH1 0x1f
00002148: DUP6
00002149: ADD
0000214a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000216b: SWAP1
0000216c: DUP2
0000216d: AND
0000216e: PUSH1 0x3f
00002170: ADD
00002171: AND
00002172: DUP2
00002173: ADD
00002174: SWAP1
00002175: DUP3
00002176: DUP3
00002177: GT
00002178: DUP2
00002179: DUP4
0000217a: LT
0000217b: OR
0000217c: ISZERO
0000217d: PUSH2 0x2188
00002180: JUMPI
00002181: PUSH2 0x2188
00002184: PUSH2 0x20f8
00002187: JUMP
00002188: JUMPDEST
00002189: DUP2
0000218a: PUSH1 0x40
0000218c: MSTORE
0000218d: DUP1
0000218e: SWAP4
0000218f: POP
00002190: DUP6
00002191: DUP2
00002192: MSTORE
00002193: DUP7
00002194: DUP7
00002195: DUP7
00002196: ADD
00002197: GT
00002198: ISZERO
00002199: PUSH2 0x21a1
0000219c: JUMPI
0000219d: PUSH1 0x00
0000219f: DUP1
000021a0: REVERT
000021a1: JUMPDEST
000021a2: DUP6
000021a3: DUP6
000021a4: PUSH1 0x20
000021a6: DUP4
000021a7: ADD
000021a8: CALLDATACOPY
000021a9: PUSH1 0x00
000021ab: PUSH1 0x20
000021ad: DUP8
000021ae: DUP4
000021af: ADD
000021b0: ADD
000021b1: MSTORE
000021b2: POP
000021b3: POP
000021b4: POP
000021b5: SWAP4
000021b6: SWAP3
000021b7: POP
000021b8: POP
000021b9: POP
000021ba: JUMP
000021bb: JUMPDEST
000021bc: PUSH1 0x00
000021be: PUSH1 0x20
000021c0: DUP3
000021c1: DUP5
000021c2: SUB
000021c3: SLT
000021c4: ISZERO
000021c5: PUSH2 0x21cd
000021c8: JUMPI
000021c9: PUSH1 0x00
000021cb: DUP1
000021cc: REVERT
000021cd: JUMPDEST
000021ce: DUP2
000021cf: CALLDATALOAD
000021d0: PUSH8 0xffffffffffffffff
000021d9: DUP2
000021da: GT
000021db: ISZERO
000021dc: PUSH2 0x21e4
000021df: JUMPI
000021e0: PUSH1 0x00
000021e2: DUP1
000021e3: REVERT
000021e4: JUMPDEST
000021e5: DUP3
000021e6: ADD
000021e7: PUSH1 0x1f
000021e9: DUP2
000021ea: ADD
000021eb: DUP5
000021ec: SGT
000021ed: PUSH2 0x21f5
000021f0: JUMPI
000021f1: PUSH1 0x00
000021f3: DUP1
000021f4: REVERT
000021f5: JUMPDEST
000021f6: PUSH2 0x2204
000021f9: DUP5
000021fa: DUP3
000021fb: CALLDATALOAD
000021fc: PUSH1 0x20
000021fe: DUP5
000021ff: ADD
00002200: PUSH2 0x2127
00002203: JUMP
00002204: JUMPDEST
00002205: SWAP5
00002206: SWAP4
00002207: POP
00002208: POP
00002209: POP
0000220a: POP
0000220b: JUMP
0000220c: JUMPDEST
0000220d: PUSH1 0x00
0000220f: JUMPDEST
00002210: DUP4
00002211: DUP2
00002212: LT
00002213: ISZERO
00002214: PUSH2 0x2227
00002217: JUMPI
00002218: DUP2
00002219: DUP2
0000221a: ADD
0000221b: MLOAD
0000221c: DUP4
0000221d: DUP3
0000221e: ADD
0000221f: MSTORE
00002220: PUSH1 0x20
00002222: ADD
00002223: PUSH2 0x220f
00002226: JUMP
00002227: JUMPDEST
00002228: DUP4
00002229: DUP2
0000222a: GT
0000222b: ISZERO
0000222c: PUSH2 0x2236
0000222f: JUMPI
00002230: PUSH1 0x00
00002232: DUP5
00002233: DUP5
00002234: ADD
00002235: MSTORE
00002236: JUMPDEST
00002237: POP
00002238: POP
00002239: POP
0000223a: POP
0000223b: JUMP
0000223c: JUMPDEST
0000223d: PUSH1 0x00
0000223f: DUP2
00002240: MLOAD
00002241: DUP1
00002242: DUP5
00002243: MSTORE
00002244: PUSH2 0x2254
00002247: DUP2
00002248: PUSH1 0x20
0000224a: DUP7
0000224b: ADD
0000224c: PUSH1 0x20
0000224e: DUP7
0000224f: ADD
00002250: PUSH2 0x220c
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH1 0x1f
00002257: ADD
00002258: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002279: AND
0000227a: SWAP3
0000227b: SWAP1
0000227c: SWAP3
0000227d: ADD
0000227e: PUSH1 0x20
00002280: ADD
00002281: SWAP3
00002282: SWAP2
00002283: POP
00002284: POP
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x2290
0000228a: DUP2
0000228b: DUP7
0000228c: PUSH2 0x1ffc
0000228f: JUMP
00002290: JUMPDEST
00002291: PUSH1 0x00
00002293: PUSH1 0x20
00002295: PUSH1 0x80
00002297: DUP2
00002298: DUP5
00002299: ADD
0000229a: MSTORE
0000229b: DUP6
0000229c: MLOAD
0000229d: ISZERO
0000229e: ISZERO
0000229f: PUSH1 0x80
000022a1: DUP5
000022a2: ADD
000022a3: MSTORE
000022a4: DUP1
000022a5: DUP7
000022a6: ADD
000022a7: MLOAD
000022a8: PUSH1 0xa0
000022aa: DUP5
000022ab: ADD
000022ac: MSTORE
000022ad: PUSH1 0x40
000022af: DUP1
000022b0: DUP8
000022b1: ADD
000022b2: MLOAD
000022b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c8: DUP1
000022c9: DUP3
000022ca: AND
000022cb: PUSH1 0xc0
000022cd: DUP8
000022ce: ADD
000022cf: MSTORE
000022d0: PUSH1 0x60
000022d2: SWAP2
000022d3: POP
000022d4: DUP2
000022d5: DUP10
000022d6: ADD
000022d7: MLOAD
000022d8: PUSH1 0xa0
000022da: PUSH1 0xe0
000022dc: DUP9
000022dd: ADD
000022de: MSTORE
000022df: PUSH2 0x22ec
000022e2: PUSH2 0x0120
000022e5: DUP9
000022e6: ADD
000022e7: DUP3
000022e8: PUSH2 0x223c
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH1 0x80
000022ef: DUP12
000022f0: ADD
000022f1: MLOAD
000022f2: DUP9
000022f3: DUP3
000022f4: SUB
000022f5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80
00002316: ADD
00002317: PUSH2 0x0100
0000231a: DUP11
0000231b: ADD
0000231c: MSTORE
0000231d: DUP1
0000231e: MLOAD
0000231f: DUP1
00002320: DUP4
00002321: MSTORE
00002322: SWAP2
00002323: SWAP3
00002324: POP
00002325: DUP7
00002326: ADD
00002327: SWAP1
00002328: DUP7
00002329: DUP4
0000232a: ADD
0000232b: SWAP1
0000232c: PUSH1 0x05
0000232e: DUP2
0000232f: SWAP1
00002330: SHL
00002331: DUP5
00002332: ADD
00002333: DUP9
00002334: ADD
00002335: PUSH1 0x00
00002337: JUMPDEST
00002338: DUP3
00002339: DUP2
0000233a: LT
0000233b: ISZERO
0000233c: PUSH2 0x23a0
0000233f: JUMPI
00002340: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002361: DUP7
00002362: DUP4
00002363: SUB
00002364: ADD
00002365: DUP5
00002366: MSTORE
00002367: DUP5
00002368: MLOAD
00002369: DUP8
0000236a: DUP2
0000236b: MLOAD
0000236c: AND
0000236d: DUP4
0000236e: MSTORE
0000236f: DUP11
00002370: DUP2
00002371: ADD
00002372: MLOAD
00002373: DUP10
00002374: DUP13
00002375: DUP6
00002376: ADD
00002377: MSTORE
00002378: PUSH2 0x2383
0000237b: DUP11
0000237c: DUP6
0000237d: ADD
0000237e: DUP3
0000237f: PUSH2 0x223c
00002382: JUMP
00002383: JUMPDEST
00002384: SWAP2
00002385: DUP12
00002386: ADD
00002387: MLOAD
00002388: SWAP4
00002389: DUP12
0000238a: ADD
0000238b: SWAP4
0000238c: SWAP1
0000238d: SWAP4
0000238e: MSTORE
0000238f: SWAP5
00002390: DUP11
00002391: ADD
00002392: SWAP5
00002393: SWAP4
00002394: DUP11
00002395: ADD
00002396: SWAP4
00002397: SWAP2
00002398: POP
00002399: PUSH1 0x01
0000239b: ADD
0000239c: PUSH2 0x2337
0000239f: JUMP
000023a0: JUMPDEST
000023a1: POP
000023a2: SWAP7
000023a3: DUP11
000023a4: ADD
000023a5: SWAP12
000023a6: SWAP1
000023a7: SWAP12
000023a8: MSTORE
000023a9: POP
000023aa: POP
000023ab: POP
000023ac: POP
000023ad: SWAP1
000023ae: SWAP4
000023af: ADD
000023b0: SWAP4
000023b1: SWAP1
000023b2: SWAP4
000023b3: MSTORE
000023b4: POP
000023b5: SWAP5
000023b6: SWAP4
000023b7: POP
000023b8: POP
000023b9: POP
000023ba: POP
000023bb: JUMP
000023bc: JUMPDEST
000023bd: PUSH1 0x00
000023bf: DUP3
000023c0: PUSH1 0x1f
000023c2: DUP4
000023c3: ADD
000023c4: SLT
000023c5: PUSH2 0x23cd
000023c8: JUMPI
000023c9: PUSH1 0x00
000023cb: DUP1
000023cc: REVERT
000023cd: JUMPDEST
000023ce: PUSH2 0x2084
000023d1: DUP4
000023d2: DUP4
000023d3: CALLDATALOAD
000023d4: PUSH1 0x20
000023d6: DUP6
000023d7: ADD
000023d8: PUSH2 0x2127
000023db: JUMP
000023dc: JUMPDEST
000023dd: PUSH1 0x00
000023df: DUP1
000023e0: PUSH1 0x00
000023e2: PUSH1 0x60
000023e4: DUP5
000023e5: DUP7
000023e6: SUB
000023e7: SLT
000023e8: ISZERO
000023e9: PUSH2 0x23f1
000023ec: JUMPI
000023ed: PUSH1 0x00
000023ef: DUP1
000023f0: REVERT
000023f1: JUMPDEST
000023f2: DUP4
000023f3: CALLDATALOAD
000023f4: PUSH2 0x23fc
000023f7: DUP2
000023f8: PUSH2 0x2045
000023fb: JUMP
000023fc: JUMPDEST
000023fd: SWAP3
000023fe: POP
000023ff: PUSH1 0x20
00002401: DUP5
00002402: ADD
00002403: CALLDATALOAD
00002404: PUSH8 0xffffffffffffffff
0000240d: DUP2
0000240e: GT
0000240f: ISZERO
00002410: PUSH2 0x2418
00002413: JUMPI
00002414: PUSH1 0x00
00002416: DUP1
00002417: REVERT
00002418: JUMPDEST
00002419: PUSH2 0x2424
0000241c: DUP7
0000241d: DUP3
0000241e: DUP8
0000241f: ADD
00002420: PUSH2 0x23bc
00002423: JUMP
00002424: JUMPDEST
00002425: SWAP3
00002426: POP
00002427: POP
00002428: PUSH1 0x40
0000242a: DUP5
0000242b: ADD
0000242c: CALLDATALOAD
0000242d: SWAP1
0000242e: POP
0000242f: SWAP3
00002430: POP
00002431: SWAP3
00002432: POP
00002433: SWAP3
00002434: JUMP
00002435: JUMPDEST
00002436: DUP3
00002437: ISZERO
00002438: ISZERO
00002439: DUP2
0000243a: MSTORE
0000243b: PUSH1 0x40
0000243d: PUSH1 0x20
0000243f: DUP3
00002440: ADD
00002441: MSTORE
00002442: PUSH1 0x00
00002444: PUSH2 0x2204
00002447: PUSH1 0x40
00002449: DUP4
0000244a: ADD
0000244b: DUP5
0000244c: PUSH2 0x223c
0000244f: JUMP
00002450: JUMPDEST
00002451: PUSH1 0x00
00002453: PUSH1 0x20
00002455: DUP3
00002456: DUP5
00002457: SUB
00002458: SLT
00002459: ISZERO
0000245a: PUSH2 0x2462
0000245d: JUMPI
0000245e: PUSH1 0x00
00002460: DUP1
00002461: REVERT
00002462: JUMPDEST
00002463: POP
00002464: CALLDATALOAD
00002465: SWAP2
00002466: SWAP1
00002467: POP
00002468: JUMP
00002469: JUMPDEST
0000246a: PUSH1 0x20
0000246c: DUP2
0000246d: MSTORE
0000246e: PUSH1 0x00
00002470: PUSH2 0x2084
00002473: PUSH1 0x20
00002475: DUP4
00002476: ADD
00002477: DUP5
00002478: PUSH2 0x223c
0000247b: JUMP
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: DUP1
00002480: PUSH1 0x40
00002482: DUP4
00002483: DUP6
00002484: SUB
00002485: SLT
00002486: ISZERO
00002487: PUSH2 0x248f
0000248a: JUMPI
0000248b: PUSH1 0x00
0000248d: DUP1
0000248e: REVERT
0000248f: JUMPDEST
00002490: DUP3
00002491: CALLDATALOAD
00002492: PUSH2 0x249a
00002495: DUP2
00002496: PUSH2 0x2045
00002499: JUMP
0000249a: JUMPDEST
0000249b: SWAP2
0000249c: POP
0000249d: PUSH1 0x20
0000249f: DUP4
000024a0: ADD
000024a1: CALLDATALOAD
000024a2: PUSH2 0x24aa
000024a5: DUP2
000024a6: PUSH2 0x2045
000024a9: JUMP
000024aa: JUMPDEST
000024ab: DUP1
000024ac: SWAP2
000024ad: POP
000024ae: POP
000024af: SWAP3
000024b0: POP
000024b1: SWAP3
000024b2: SWAP1
000024b3: POP
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x00
000024b8: DUP1
000024b9: PUSH1 0x00
000024bb: PUSH1 0x40
000024bd: DUP5
000024be: DUP7
000024bf: SUB
000024c0: SLT
000024c1: ISZERO
000024c2: PUSH2 0x24ca
000024c5: JUMPI
000024c6: PUSH1 0x00
000024c8: DUP1
000024c9: REVERT
000024ca: JUMPDEST
000024cb: DUP4
000024cc: CALLDATALOAD
000024cd: PUSH8 0xffffffffffffffff
000024d6: DUP2
000024d7: GT
000024d8: ISZERO
000024d9: PUSH2 0x24e1
000024dc: JUMPI
000024dd: PUSH1 0x00
000024df: DUP1
000024e0: REVERT
000024e1: JUMPDEST
000024e2: PUSH2 0x24ed
000024e5: DUP7
000024e6: DUP3
000024e7: DUP8
000024e8: ADD
000024e9: PUSH2 0x1f42
000024ec: JUMP
000024ed: JUMPDEST
000024ee: SWAP1
000024ef: SWAP5
000024f0: POP
000024f1: SWAP3
000024f2: POP
000024f3: POP
000024f4: PUSH1 0x20
000024f6: DUP5
000024f7: ADD
000024f8: CALLDATALOAD
000024f9: PUSH1 0x04
000024fb: DUP2
000024fc: LT
000024fd: PUSH2 0x2505
00002500: JUMPI
00002501: PUSH1 0x00
00002503: DUP1
00002504: REVERT
00002505: JUMPDEST
00002506: DUP1
00002507: SWAP2
00002508: POP
00002509: POP
0000250a: SWAP3
0000250b: POP
0000250c: SWAP3
0000250d: POP
0000250e: SWAP3
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH1 0x00
00002513: DUP1
00002514: PUSH1 0x00
00002516: PUSH1 0x40
00002518: DUP5
00002519: DUP7
0000251a: SUB
0000251b: SLT
0000251c: ISZERO
0000251d: PUSH2 0x2525
00002520: JUMPI
00002521: PUSH1 0x00
00002523: DUP1
00002524: REVERT
00002525: JUMPDEST
00002526: DUP4
00002527: CALLDATALOAD
00002528: PUSH8 0xffffffffffffffff
00002531: DUP1
00002532: DUP3
00002533: GT
00002534: ISZERO
00002535: PUSH2 0x253d
00002538: JUMPI
00002539: PUSH1 0x00
0000253b: DUP1
0000253c: REVERT
0000253d: JUMPDEST
0000253e: PUSH2 0x2549
00002541: DUP8
00002542: DUP4
00002543: DUP9
00002544: ADD
00002545: PUSH2 0x1f42
00002548: JUMP
00002549: JUMPDEST
0000254a: SWAP1
0000254b: SWAP6
0000254c: POP
0000254d: SWAP4
0000254e: POP
0000254f: PUSH1 0x20
00002551: DUP7
00002552: ADD
00002553: CALLDATALOAD
00002554: SWAP2
00002555: POP
00002556: DUP1
00002557: DUP3
00002558: GT
00002559: ISZERO
0000255a: PUSH2 0x2562
0000255d: JUMPI
0000255e: PUSH1 0x00
00002560: DUP1
00002561: REVERT
00002562: JUMPDEST
00002563: POP
00002564: DUP5
00002565: ADD
00002566: PUSH1 0xa0
00002568: DUP2
00002569: DUP8
0000256a: SUB
0000256b: SLT
0000256c: ISZERO
0000256d: PUSH2 0x2505
00002570: JUMPI
00002571: PUSH1 0x00
00002573: DUP1
00002574: REVERT
00002575: JUMPDEST
00002576: PUSH1 0x00
00002578: DUP1
00002579: PUSH1 0x40
0000257b: DUP4
0000257c: DUP6
0000257d: SUB
0000257e: SLT
0000257f: ISZERO
00002580: PUSH2 0x2588
00002583: JUMPI
00002584: PUSH1 0x00
00002586: DUP1
00002587: REVERT
00002588: JUMPDEST
00002589: DUP3
0000258a: CALLDATALOAD
0000258b: PUSH2 0x2593
0000258e: DUP2
0000258f: PUSH2 0x2045
00002592: JUMP
00002593: JUMPDEST
00002594: SWAP2
00002595: POP
00002596: PUSH1 0x20
00002598: DUP4
00002599: ADD
0000259a: CALLDATALOAD
0000259b: PUSH8 0xffffffffffffffff
000025a4: DUP2
000025a5: GT
000025a6: ISZERO
000025a7: PUSH2 0x25af
000025aa: JUMPI
000025ab: PUSH1 0x00
000025ad: DUP1
000025ae: REVERT
000025af: JUMPDEST
000025b0: PUSH2 0x25bb
000025b3: DUP6
000025b4: DUP3
000025b5: DUP7
000025b6: ADD
000025b7: PUSH2 0x23bc
000025ba: JUMP
000025bb: JUMPDEST
000025bc: SWAP2
000025bd: POP
000025be: POP
000025bf: SWAP3
000025c0: POP
000025c1: SWAP3
000025c2: SWAP1
000025c3: POP
000025c4: JUMP
000025c5: JUMPDEST
000025c6: DUP2
000025c7: DUP4
000025c8: DUP3
000025c9: CALLDATACOPY
000025ca: PUSH1 0x00
000025cc: SWAP2
000025cd: ADD
000025ce: SWAP1
000025cf: DUP2
000025d0: MSTORE
000025d1: SWAP2
000025d2: SWAP1
000025d3: POP
000025d4: JUMP
000025d5: JUMPDEST
000025d6: DUP1
000025d7: ISZERO
000025d8: ISZERO
000025d9: DUP2
000025da: EQ
000025db: PUSH2 0x0e95
000025de: JUMPI
000025df: PUSH1 0x00
000025e1: DUP1
000025e2: REVERT
000025e3: JUMPDEST
000025e4: PUSH1 0x00
000025e6: PUSH1 0x20
000025e8: DUP3
000025e9: DUP5
000025ea: SUB
000025eb: SLT
000025ec: ISZERO
000025ed: PUSH2 0x25f5
000025f0: JUMPI
000025f1: PUSH1 0x00
000025f3: DUP1
000025f4: REVERT
000025f5: JUMPDEST
000025f6: DUP2
000025f7: MLOAD
000025f8: PUSH2 0x2084
000025fb: DUP2
000025fc: PUSH2 0x25d5
000025ff: JUMP
00002600: JUMPDEST
00002601: PUSH1 0x01
00002603: DUP2
00002604: DUP2
00002605: SHR
00002606: SWAP1
00002607: DUP3
00002608: AND
00002609: DUP1
0000260a: PUSH2 0x2614
0000260d: JUMPI
0000260e: PUSH1 0x7f
00002610: DUP3
00002611: AND
00002612: SWAP2
00002613: POP
00002614: JUMPDEST
00002615: PUSH1 0x20
00002617: DUP3
00002618: LT
00002619: DUP2
0000261a: SUB
0000261b: PUSH2 0x264d
0000261e: JUMPI
0000261f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002640: PUSH1 0x00
00002642: MSTORE
00002643: PUSH1 0x22
00002645: PUSH1 0x04
00002647: MSTORE
00002648: PUSH1 0x24
0000264a: PUSH1 0x00
0000264c: REVERT
0000264d: JUMPDEST
0000264e: POP
0000264f: SWAP2
00002650: SWAP1
00002651: POP
00002652: JUMP
00002653: JUMPDEST
00002654: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002675: PUSH1 0x00
00002677: MSTORE
00002678: PUSH1 0x11
0000267a: PUSH1 0x04
0000267c: MSTORE
0000267d: PUSH1 0x24
0000267f: PUSH1 0x00
00002681: REVERT
00002682: JUMPDEST
00002683: PUSH1 0x00
00002685: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000026a6: DUP3
000026a7: SUB
000026a8: PUSH2 0x26b3
000026ab: JUMPI
000026ac: PUSH2 0x26b3
000026af: PUSH2 0x2653
000026b2: JUMP
000026b3: JUMPDEST
000026b4: POP
000026b5: PUSH1 0x01
000026b7: ADD
000026b8: SWAP1
000026b9: JUMP
000026ba: JUMPDEST
000026bb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000026dc: PUSH1 0x00
000026de: MSTORE
000026df: PUSH1 0x32
000026e1: PUSH1 0x04
000026e3: MSTORE
000026e4: PUSH1 0x24
000026e6: PUSH1 0x00
000026e8: REVERT
000026e9: JUMPDEST
000026ea: PUSH1 0x00
000026ec: DUP1
000026ed: DUP4
000026ee: SLOAD
000026ef: PUSH2 0x26f7
000026f2: DUP2
000026f3: PUSH2 0x2600
000026f6: JUMP
000026f7: JUMPDEST
000026f8: PUSH1 0x01
000026fa: DUP3
000026fb: DUP2
000026fc: AND
000026fd: DUP1
000026fe: ISZERO
000026ff: PUSH2 0x270f
00002702: JUMPI
00002703: PUSH1 0x01
00002705: DUP2
00002706: EQ
00002707: PUSH2 0x2742
0000270a: JUMPI
0000270b: PUSH2 0x2771
0000270e: JUMP
0000270f: JUMPDEST
00002710: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002731: DUP5
00002732: AND
00002733: DUP8
00002734: MSTORE
00002735: DUP3
00002736: ISZERO
00002737: ISZERO
00002738: DUP4
00002739: MUL
0000273a: DUP8
0000273b: ADD
0000273c: SWAP5
0000273d: POP
0000273e: PUSH2 0x2771
00002741: JUMP
00002742: JUMPDEST
00002743: DUP8
00002744: PUSH1 0x00
00002746: MSTORE
00002747: PUSH1 0x20
00002749: DUP1
0000274a: PUSH1 0x00
0000274c: KECCAK256
0000274d: PUSH1 0x00
0000274f: JUMPDEST
00002750: DUP6
00002751: DUP2
00002752: LT
00002753: ISZERO
00002754: PUSH2 0x2768
00002757: JUMPI
00002758: DUP2
00002759: SLOAD
0000275a: DUP11
0000275b: DUP3
0000275c: ADD
0000275d: MSTORE
0000275e: SWAP1
0000275f: DUP5
00002760: ADD
00002761: SWAP1
00002762: DUP3
00002763: ADD
00002764: PUSH2 0x274f
00002767: JUMP
00002768: JUMPDEST
00002769: POP
0000276a: POP
0000276b: POP
0000276c: DUP3
0000276d: DUP8
0000276e: ADD
0000276f: SWAP5
00002770: POP
00002771: JUMPDEST
00002772: POP
00002773: SWAP3
00002774: SWAP7
00002775: SWAP6
00002776: POP
00002777: POP
00002778: POP
00002779: POP
0000277a: POP
0000277b: POP
0000277c: JUMP
0000277d: JUMPDEST
0000277e: DUP2
0000277f: DUP4
00002780: MSTORE
00002781: DUP2
00002782: DUP2
00002783: PUSH1 0x20
00002785: DUP6
00002786: ADD
00002787: CALLDATACOPY
00002788: POP
00002789: PUSH1 0x00
0000278b: PUSH1 0x20
0000278d: DUP3
0000278e: DUP5
0000278f: ADD
00002790: ADD
00002791: MSTORE
00002792: PUSH1 0x00
00002794: PUSH1 0x20
00002796: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000027b7: PUSH1 0x1f
000027b9: DUP5
000027ba: ADD
000027bb: AND
000027bc: DUP5
000027bd: ADD
000027be: ADD
000027bf: SWAP1
000027c0: POP
000027c1: SWAP3
000027c2: SWAP2
000027c3: POP
000027c4: POP
000027c5: JUMP
000027c6: JUMPDEST
000027c7: PUSH1 0x60
000027c9: DUP2
000027ca: MSTORE
000027cb: PUSH1 0x00
000027cd: PUSH2 0x27da
000027d0: PUSH1 0x60
000027d2: DUP4
000027d3: ADD
000027d4: DUP7
000027d5: DUP9
000027d6: PUSH2 0x277d
000027d9: JUMP
000027da: JUMPDEST
000027db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f0: SWAP5
000027f1: SWAP1
000027f2: SWAP5
000027f3: AND
000027f4: PUSH1 0x20
000027f6: DUP4
000027f7: ADD
000027f8: MSTORE
000027f9: POP
000027fa: PUSH1 0x40
000027fc: ADD
000027fd: MSTORE
000027fe: SWAP3
000027ff: SWAP2
00002800: POP
00002801: POP
00002802: JUMP
00002803: JUMPDEST
00002804: PUSH1 0x00
00002806: DUP3
00002807: MLOAD
00002808: PUSH2 0x2815
0000280b: DUP2
0000280c: DUP5
0000280d: PUSH1 0x20
0000280f: DUP8
00002810: ADD
00002811: PUSH2 0x220c
00002814: JUMP
00002815: JUMPDEST
00002816: SWAP2
00002817: SWAP1
00002818: SWAP2
00002819: ADD
0000281a: SWAP3
0000281b: SWAP2
0000281c: POP
0000281d: POP
0000281e: JUMP
0000281f: JUMPDEST
00002820: PUSH1 0x00
00002822: PUSH1 0x20
00002824: DUP3
00002825: DUP5
00002826: SUB
00002827: SLT
00002828: ISZERO
00002829: PUSH2 0x2831
0000282c: JUMPI
0000282d: PUSH1 0x00
0000282f: DUP1
00002830: REVERT
00002831: JUMPDEST
00002832: POP
00002833: MLOAD
00002834: SWAP2
00002835: SWAP1
00002836: POP
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH1 0x40
0000283b: DUP2
0000283c: MSTORE
0000283d: PUSH1 0x00
0000283f: PUSH2 0x284c
00002842: PUSH1 0x40
00002844: DUP4
00002845: ADD
00002846: DUP6
00002847: DUP8
00002848: PUSH2 0x277d
0000284b: JUMP
0000284c: JUMPDEST
0000284d: SWAP1
0000284e: POP
0000284f: PUSH2 0x2204
00002852: PUSH1 0x20
00002854: DUP4
00002855: ADD
00002856: DUP5
00002857: PUSH2 0x1ffc
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH1 0x00
0000285e: PUSH1 0x20
00002860: DUP3
00002861: DUP5
00002862: SUB
00002863: SLT
00002864: ISZERO
00002865: PUSH2 0x286d
00002868: JUMPI
00002869: PUSH1 0x00
0000286b: DUP1
0000286c: REVERT
0000286d: JUMPDEST
0000286e: DUP2
0000286f: CALLDATALOAD
00002870: PUSH2 0x2084
00002873: DUP2
00002874: PUSH2 0x25d5
00002877: JUMP
00002878: JUMPDEST
00002879: PUSH1 0x00
0000287b: DUP1
0000287c: DUP4
0000287d: CALLDATALOAD
0000287e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
0000289f: DUP5
000028a0: CALLDATASIZE
000028a1: SUB
000028a2: ADD
000028a3: DUP2
000028a4: SLT
000028a5: PUSH2 0x28ad
000028a8: JUMPI
000028a9: PUSH1 0x00
000028ab: DUP1
000028ac: REVERT
000028ad: JUMPDEST
000028ae: DUP4
000028af: ADD
000028b0: DUP1
000028b1: CALLDATALOAD
000028b2: SWAP2
000028b3: POP
000028b4: PUSH8 0xffffffffffffffff
000028bd: DUP3
000028be: GT
000028bf: ISZERO
000028c0: PUSH2 0x28c8
000028c3: JUMPI
000028c4: PUSH1 0x00
000028c6: DUP1
000028c7: REVERT
000028c8: JUMPDEST
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: SWAP2
000028cd: POP
000028ce: CALLDATASIZE
000028cf: DUP2
000028d0: SWAP1
000028d1: SUB
000028d2: DUP3
000028d3: SGT
000028d4: ISZERO
000028d5: PUSH2 0x1f84
000028d8: JUMPI
000028d9: PUSH1 0x00
000028db: DUP1
000028dc: REVERT
000028dd: JUMPDEST
000028de: PUSH1 0x1f
000028e0: DUP3
000028e1: GT
000028e2: ISZERO
000028e3: PUSH2 0x2927
000028e6: JUMPI
000028e7: PUSH1 0x00
000028e9: DUP2
000028ea: DUP2
000028eb: MSTORE
000028ec: PUSH1 0x20
000028ee: DUP2
000028ef: KECCAK256
000028f0: PUSH1 0x1f
000028f2: DUP6
000028f3: ADD
000028f4: PUSH1 0x05
000028f6: SHR
000028f7: DUP2
000028f8: ADD
000028f9: PUSH1 0x20
000028fb: DUP7
000028fc: LT
000028fd: ISZERO
000028fe: PUSH2 0x2904
00002901: JUMPI
00002902: POP
00002903: DUP1
00002904: JUMPDEST
00002905: PUSH1 0x1f
00002907: DUP6
00002908: ADD
00002909: PUSH1 0x05
0000290b: SHR
0000290c: DUP3
0000290d: ADD
0000290e: SWAP2
0000290f: POP
00002910: JUMPDEST
00002911: DUP2
00002912: DUP2
00002913: LT
00002914: ISZERO
00002915: PUSH2 0x2923
00002918: JUMPI
00002919: DUP3
0000291a: DUP2
0000291b: SSTORE
0000291c: PUSH1 0x01
0000291e: ADD
0000291f: PUSH2 0x2910
00002922: JUMP
00002923: JUMPDEST
00002924: POP
00002925: POP
00002926: POP
00002927: JUMPDEST
00002928: POP
00002929: POP
0000292a: POP
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH8 0xffffffffffffffff
00002936: DUP4
00002937: GT
00002938: ISZERO
00002939: PUSH2 0x2944
0000293c: JUMPI
0000293d: PUSH2 0x2944
00002940: PUSH2 0x20f8
00002943: JUMP
00002944: JUMPDEST
00002945: PUSH2 0x2958
00002948: DUP4
00002949: PUSH2 0x2952
0000294c: DUP4
0000294d: SLOAD
0000294e: PUSH2 0x2600
00002951: JUMP
00002952: JUMPDEST
00002953: DUP4
00002954: PUSH2 0x28dd
00002957: JUMP
00002958: JUMPDEST
00002959: PUSH1 0x00
0000295b: PUSH1 0x1f
0000295d: DUP5
0000295e: GT
0000295f: PUSH1 0x01
00002961: DUP2
00002962: EQ
00002963: PUSH2 0x29aa
00002966: JUMPI
00002967: PUSH1 0x00
00002969: DUP6
0000296a: ISZERO
0000296b: PUSH2 0x2974
0000296e: JUMPI
0000296f: POP
00002970: DUP4
00002971: DUP3
00002972: ADD
00002973: CALLDATALOAD
00002974: JUMPDEST
00002975: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002996: PUSH1 0x03
00002998: DUP8
00002999: SWAP1
0000299a: SHL
0000299b: SHR
0000299c: NOT
0000299d: AND
0000299e: PUSH1 0x01
000029a0: DUP7
000029a1: SWAP1
000029a2: SHL
000029a3: OR
000029a4: DUP4
000029a5: SSTORE
000029a6: PUSH2 0x2a40
000029a9: JUMP
000029aa: JUMPDEST
000029ab: PUSH1 0x00
000029ad: DUP4
000029ae: DUP2
000029af: MSTORE
000029b0: PUSH1 0x20
000029b2: SWAP1
000029b3: KECCAK256
000029b4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000029d5: DUP7
000029d6: AND
000029d7: SWAP1
000029d8: DUP4
000029d9: JUMPDEST
000029da: DUP3
000029db: DUP2
000029dc: LT
000029dd: ISZERO
000029de: PUSH2 0x29f9
000029e1: JUMPI
000029e2: DUP7
000029e3: DUP6
000029e4: ADD
000029e5: CALLDATALOAD
000029e6: DUP3
000029e7: SSTORE
000029e8: PUSH1 0x20
000029ea: SWAP5
000029eb: DUP6
000029ec: ADD
000029ed: SWAP5
000029ee: PUSH1 0x01
000029f0: SWAP1
000029f1: SWAP3
000029f2: ADD
000029f3: SWAP2
000029f4: ADD
000029f5: PUSH2 0x29d9
000029f8: JUMP
000029f9: JUMPDEST
000029fa: POP
000029fb: DUP7
000029fc: DUP3
000029fd: LT
000029fe: ISZERO
000029ff: PUSH2 0x2a34
00002a02: JUMPI
00002a03: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002a24: PUSH1 0xf8
00002a26: DUP9
00002a27: PUSH1 0x03
00002a29: SHL
00002a2a: AND
00002a2b: SHR
00002a2c: NOT
00002a2d: DUP5
00002a2e: DUP8
00002a2f: ADD
00002a30: CALLDATALOAD
00002a31: AND
00002a32: DUP2
00002a33: SSTORE
00002a34: JUMPDEST
00002a35: POP
00002a36: POP
00002a37: PUSH1 0x01
00002a39: DUP6
00002a3a: PUSH1 0x01
00002a3c: SHL
00002a3d: ADD
00002a3e: DUP4
00002a3f: SSTORE
00002a40: JUMPDEST
00002a41: POP
00002a42: POP
00002a43: POP
00002a44: POP
00002a45: POP
00002a46: JUMP
00002a47: JUMPDEST
00002a48: PUSH1 0x00
00002a4a: DUP1
00002a4b: DUP4
00002a4c: CALLDATALOAD
00002a4d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002a6e: DUP5
00002a6f: CALLDATASIZE
00002a70: SUB
00002a71: ADD
00002a72: DUP2
00002a73: SLT
00002a74: PUSH2 0x2a7c
00002a77: JUMPI
00002a78: PUSH1 0x00
00002a7a: DUP1
00002a7b: REVERT
00002a7c: JUMPDEST
00002a7d: DUP4
00002a7e: ADD
00002a7f: DUP1
00002a80: CALLDATALOAD
00002a81: SWAP2
00002a82: POP
00002a83: PUSH8 0xffffffffffffffff
00002a8c: DUP3
00002a8d: GT
00002a8e: ISZERO
00002a8f: PUSH2 0x2a97
00002a92: JUMPI
00002a93: PUSH1 0x00
00002a95: DUP1
00002a96: REVERT
00002a97: JUMPDEST
00002a98: PUSH1 0x20
00002a9a: ADD
00002a9b: SWAP2
00002a9c: POP
00002a9d: PUSH1 0x05
00002a9f: DUP2
00002aa0: SWAP1
00002aa1: SHL
00002aa2: CALLDATASIZE
00002aa3: SUB
00002aa4: DUP3
00002aa5: SGT
00002aa6: ISZERO
00002aa7: PUSH2 0x1f84
00002aaa: JUMPI
00002aab: PUSH1 0x00
00002aad: DUP1
00002aae: REVERT
00002aaf: JUMPDEST
00002ab0: PUSH1 0x00
00002ab2: DUP3
00002ab3: CALLDATALOAD
00002ab4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1
00002ad5: DUP4
00002ad6: CALLDATASIZE
00002ad7: SUB
00002ad8: ADD
00002ad9: DUP2
00002ada: SLT
00002adb: PUSH2 0x2815
00002ade: JUMPI
00002adf: PUSH1 0x00
00002ae1: DUP1
00002ae2: REVERT
00002ae3: JUMPDEST
00002ae4: DUP2
00002ae5: CALLDATALOAD
00002ae6: PUSH2 0x2aee
00002ae9: DUP2
00002aea: PUSH2 0x2045
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b04: DUP2
00002b05: AND
00002b06: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002b27: DUP4
00002b28: SLOAD
00002b29: AND
00002b2a: OR
00002b2b: DUP3
00002b2c: SSTORE
00002b2d: POP
00002b2e: PUSH1 0x01
00002b30: DUP1
00002b31: DUP3
00002b32: ADD
00002b33: PUSH1 0x20
00002b35: DUP1
00002b36: DUP6
00002b37: ADD
00002b38: CALLDATALOAD
00002b39: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002b5a: DUP7
00002b5b: CALLDATASIZE
00002b5c: SUB
00002b5d: ADD
00002b5e: DUP2
00002b5f: SLT
00002b60: PUSH2 0x2b68
00002b63: JUMPI
00002b64: PUSH1 0x00
00002b66: DUP1
00002b67: REVERT
00002b68: JUMPDEST
00002b69: DUP6
00002b6a: ADD
00002b6b: DUP1
00002b6c: CALLDATALOAD
00002b6d: PUSH8 0xffffffffffffffff
00002b76: DUP2
00002b77: GT
00002b78: ISZERO
00002b79: PUSH2 0x2b81
00002b7c: JUMPI
00002b7d: PUSH1 0x00
00002b7f: DUP1
00002b80: REVERT
00002b81: JUMPDEST
00002b82: DUP1
00002b83: CALLDATASIZE
00002b84: SUB
00002b85: DUP4
00002b86: DUP4
00002b87: ADD
00002b88: SGT
00002b89: ISZERO
00002b8a: PUSH2 0x2b92
00002b8d: JUMPI
00002b8e: PUSH1 0x00
00002b90: DUP1
00002b91: REVERT
00002b92: JUMPDEST
00002b93: PUSH2 0x2ba6
00002b96: DUP2
00002b97: PUSH2 0x2ba0
00002b9a: DUP7
00002b9b: SLOAD
00002b9c: PUSH2 0x2600
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: DUP7
00002ba2: PUSH2 0x28dd
00002ba5: JUMP
00002ba6: JUMPDEST
00002ba7: PUSH1 0x00
00002ba9: PUSH1 0x1f
00002bab: DUP3
00002bac: GT
00002bad: PUSH1 0x01
00002baf: DUP2
00002bb0: EQ
00002bb1: PUSH2 0x2bfa
00002bb4: JUMPI
00002bb5: PUSH1 0x00
00002bb7: DUP4
00002bb8: ISZERO
00002bb9: PUSH2 0x2bc4
00002bbc: JUMPI
00002bbd: POP
00002bbe: DUP4
00002bbf: DUP3
00002bc0: ADD
00002bc1: DUP6
00002bc2: ADD
00002bc3: CALLDATALOAD
00002bc4: JUMPDEST
00002bc5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002be6: PUSH1 0x03
00002be8: DUP6
00002be9: SWAP1
00002bea: SHL
00002beb: SHR
00002bec: NOT
00002bed: AND
00002bee: PUSH1 0x01
00002bf0: DUP5
00002bf1: SWAP1
00002bf2: SHL
00002bf3: OR
00002bf4: DUP7
00002bf5: SSTORE
00002bf6: PUSH2 0x2c8f
00002bf9: JUMP
00002bfa: JUMPDEST
00002bfb: PUSH1 0x00
00002bfd: DUP7
00002bfe: DUP2
00002bff: MSTORE
00002c00: PUSH1 0x20
00002c02: SWAP1
00002c03: KECCAK256
00002c04: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002c25: DUP5
00002c26: AND
00002c27: SWAP1
00002c28: DUP4
00002c29: JUMPDEST
00002c2a: DUP3
00002c2b: DUP2
00002c2c: LT
00002c2d: ISZERO
00002c2e: PUSH2 0x2c48
00002c31: JUMPI
00002c32: DUP7
00002c33: DUP6
00002c34: ADD
00002c35: DUP9
00002c36: ADD
00002c37: CALLDATALOAD
00002c38: DUP3
00002c39: SSTORE
00002c3a: SWAP4
00002c3b: DUP8
00002c3c: ADD
00002c3d: SWAP4
00002c3e: SWAP1
00002c3f: DUP10
00002c40: ADD
00002c41: SWAP1
00002c42: DUP8
00002c43: ADD
00002c44: PUSH2 0x2c29
00002c47: JUMP
00002c48: JUMPDEST
00002c49: POP
00002c4a: DUP5
00002c4b: DUP3
00002c4c: LT
00002c4d: ISZERO
00002c4e: PUSH2 0x2c85
00002c51: JUMPI
00002c52: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c73: PUSH1 0xf8
00002c75: DUP7
00002c76: PUSH1 0x03
00002c78: SHL
00002c79: AND
00002c7a: SHR
00002c7b: NOT
00002c7c: DUP8
00002c7d: DUP6
00002c7e: DUP9
00002c7f: ADD
00002c80: ADD
00002c81: CALLDATALOAD
00002c82: AND
00002c83: DUP2
00002c84: SSTORE
00002c85: JUMPDEST
00002c86: POP
00002c87: POP
00002c88: DUP7
00002c89: DUP4
00002c8a: DUP9
00002c8b: SHL
00002c8c: ADD
00002c8d: DUP7
00002c8e: SSTORE
00002c8f: JUMPDEST
00002c90: POP
00002c91: POP
00002c92: POP
00002c93: POP
00002c94: POP
00002c95: POP
00002c96: POP
00002c97: PUSH1 0x40
00002c99: DUP3
00002c9a: ADD
00002c9b: CALLDATALOAD
00002c9c: PUSH1 0x02
00002c9e: DUP3
00002c9f: ADD
00002ca0: SSTORE
00002ca1: POP
00002ca2: POP
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: PUSH1 0x00
00002ca7: DUP1
00002ca8: DUP4
00002ca9: CALLDATALOAD
00002caa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002ccb: DUP5
00002ccc: CALLDATASIZE
00002ccd: SUB
00002cce: ADD
00002ccf: DUP2
00002cd0: SLT
00002cd1: PUSH2 0x2cd9
00002cd4: JUMPI
00002cd5: PUSH1 0x00
00002cd7: DUP1
00002cd8: REVERT
00002cd9: JUMPDEST
00002cda: DUP4
00002cdb: ADD
00002cdc: PUSH1 0x20
00002cde: DUP2
00002cdf: ADD
00002ce0: SWAP3
00002ce1: POP
00002ce2: CALLDATALOAD
00002ce3: SWAP1
00002ce4: POP
00002ce5: PUSH8 0xffffffffffffffff
00002cee: DUP2
00002cef: GT
00002cf0: ISZERO
00002cf1: PUSH2 0x2cf9
00002cf4: JUMPI
00002cf5: PUSH1 0x00
00002cf7: DUP1
00002cf8: REVERT
00002cf9: JUMPDEST
00002cfa: DUP1
00002cfb: CALLDATASIZE
00002cfc: SUB
00002cfd: DUP3
00002cfe: SGT
00002cff: ISZERO
00002d00: PUSH2 0x1f84
00002d03: JUMPI
00002d04: PUSH1 0x00
00002d06: DUP1
00002d07: REVERT
00002d08: JUMPDEST
00002d09: DUP2
00002d0a: DUP4
00002d0b: MSTORE
00002d0c: PUSH1 0x00
00002d0e: PUSH1 0x20
00002d10: DUP1
00002d11: DUP6
00002d12: ADD
00002d13: DUP1
00002d14: DUP2
00002d15: SWAP7
00002d16: POP
00002d17: DUP6
00002d18: PUSH1 0x05
00002d1a: SHL
00002d1b: DUP2
00002d1c: ADD
00002d1d: SWAP2
00002d1e: POP
00002d1f: DUP5
00002d20: PUSH1 0x00
00002d22: DUP1
00002d23: JUMPDEST
00002d24: DUP9
00002d25: DUP2
00002d26: LT
00002d27: ISZERO
00002d28: PUSH2 0x2dc8
00002d2b: JUMPI
00002d2c: DUP4
00002d2d: DUP6
00002d2e: SUB
00002d2f: DUP11
00002d30: MSTORE
00002d31: DUP3
00002d32: CALLDATALOAD
00002d33: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1
00002d54: DUP10
00002d55: CALLDATASIZE
00002d56: SUB
00002d57: ADD
00002d58: DUP2
00002d59: SLT
00002d5a: PUSH2 0x2d61
00002d5d: JUMPI
00002d5e: DUP3
00002d5f: DUP4
00002d60: REVERT
00002d61: JUMPDEST
00002d62: DUP9
00002d63: ADD
00002d64: PUSH1 0x60
00002d66: DUP2
00002d67: CALLDATALOAD
00002d68: PUSH2 0x2d70
00002d6b: DUP2
00002d6c: PUSH2 0x2045
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d86: AND
00002d87: DUP8
00002d88: MSTORE
00002d89: PUSH2 0x2d94
00002d8c: DUP3
00002d8d: DUP10
00002d8e: ADD
00002d8f: DUP4
00002d90: PUSH2 0x2ca4
00002d93: JUMP
00002d94: JUMPDEST
00002d95: DUP3
00002d96: DUP11
00002d97: DUP11
00002d98: ADD
00002d99: MSTORE
00002d9a: PUSH2 0x2da6
00002d9d: DUP4
00002d9e: DUP11
00002d9f: ADD
00002da0: DUP3
00002da1: DUP5
00002da2: PUSH2 0x277d
00002da5: JUMP
00002da6: JUMPDEST
00002da7: PUSH1 0x40
00002da9: SWAP5
00002daa: DUP6
00002dab: ADD
00002dac: CALLDATALOAD
00002dad: SWAP10
00002dae: SWAP1
00002daf: SWAP5
00002db0: ADD
00002db1: SWAP9
00002db2: SWAP1
00002db3: SWAP9
00002db4: MSTORE
00002db5: POP
00002db6: POP
00002db7: SWAP10
00002db8: DUP7
00002db9: ADD
00002dba: SWAP10
00002dbb: SWAP5
00002dbc: POP
00002dbd: SWAP2
00002dbe: DUP6
00002dbf: ADD
00002dc0: SWAP2
00002dc1: PUSH1 0x01
00002dc3: ADD
00002dc4: PUSH2 0x2d23
00002dc7: JUMP
00002dc8: JUMPDEST
00002dc9: POP
00002dca: SWAP3
00002dcb: SWAP9
00002dcc: SWAP8
00002dcd: POP
00002dce: POP
00002dcf: POP
00002dd0: POP
00002dd1: POP
00002dd2: POP
00002dd3: POP
00002dd4: POP
00002dd5: JUMP
00002dd6: JUMPDEST
00002dd7: PUSH1 0x40
00002dd9: DUP2
00002dda: MSTORE
00002ddb: PUSH1 0x00
00002ddd: PUSH2 0x2dea
00002de0: PUSH1 0x40
00002de2: DUP4
00002de3: ADD
00002de4: DUP6
00002de5: DUP8
00002de6: PUSH2 0x277d
00002de9: JUMP
00002dea: JUMPDEST
00002deb: DUP3
00002dec: DUP2
00002ded: SUB
00002dee: PUSH1 0x20
00002df0: DUP5
00002df1: ADD
00002df2: MSTORE
00002df3: DUP4
00002df4: CALLDATALOAD
00002df5: PUSH2 0x2dfd
00002df8: DUP2
00002df9: PUSH2 0x25d5
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: ISZERO
00002dff: ISZERO
00002e00: DUP2
00002e01: MSTORE
00002e02: PUSH1 0x20
00002e04: DUP5
00002e05: DUP2
00002e06: ADD
00002e07: CALLDATALOAD
00002e08: SWAP1
00002e09: DUP3
00002e0a: ADD
00002e0b: MSTORE
00002e0c: PUSH1 0x40
00002e0e: DUP5
00002e0f: ADD
00002e10: CALLDATALOAD
00002e11: PUSH2 0x2e19
00002e14: DUP2
00002e15: PUSH2 0x2045
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e2f: AND
00002e30: PUSH1 0x40
00002e32: DUP3
00002e33: ADD
00002e34: MSTORE
00002e35: PUSH2 0x2e41
00002e38: PUSH1 0x60
00002e3a: DUP6
00002e3b: ADD
00002e3c: DUP6
00002e3d: PUSH2 0x2ca4
00002e40: JUMP
00002e41: JUMPDEST
00002e42: PUSH1 0xa0
00002e44: PUSH1 0x60
00002e46: DUP5
00002e47: ADD
00002e48: MSTORE
00002e49: PUSH2 0x2e56
00002e4c: PUSH1 0xa0
00002e4e: DUP5
00002e4f: ADD
00002e50: DUP3
00002e51: DUP5
00002e52: PUSH2 0x277d
00002e55: JUMP
00002e56: JUMPDEST
00002e57: SWAP2
00002e58: POP
00002e59: POP
00002e5a: PUSH1 0x80
00002e5c: DUP6
00002e5d: ADD
00002e5e: CALLDATALOAD
00002e5f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002e80: DUP7
00002e81: CALLDATASIZE
00002e82: SUB
00002e83: ADD
00002e84: DUP2
00002e85: SLT
00002e86: PUSH2 0x2e8e
00002e89: JUMPI
00002e8a: PUSH1 0x00
00002e8c: DUP1
00002e8d: REVERT
00002e8e: JUMPDEST
00002e8f: DUP6
00002e90: ADD
00002e91: PUSH1 0x20
00002e93: DUP2
00002e94: ADD
00002e95: SWAP1
00002e96: CALLDATALOAD
00002e97: PUSH8 0xffffffffffffffff
00002ea0: DUP2
00002ea1: GT
00002ea2: ISZERO
00002ea3: PUSH2 0x2eab
00002ea6: JUMPI
00002ea7: PUSH1 0x00
00002ea9: DUP1
00002eaa: REVERT
00002eab: JUMPDEST
00002eac: DUP1
00002ead: PUSH1 0x05
00002eaf: SHL
00002eb0: CALLDATASIZE
00002eb1: SUB
00002eb2: DUP3
00002eb3: SGT
00002eb4: ISZERO
00002eb5: PUSH2 0x2ebd
00002eb8: JUMPI
00002eb9: PUSH1 0x00
00002ebb: DUP1
00002ebc: REVERT
00002ebd: JUMPDEST
00002ebe: DUP4
00002ebf: DUP4
00002ec0: SUB
00002ec1: PUSH1 0x80
00002ec3: DUP6
00002ec4: ADD
00002ec5: MSTORE
00002ec6: PUSH2 0x2ed0
00002ec9: DUP4
00002eca: DUP3
00002ecb: DUP5
00002ecc: PUSH2 0x2d08
00002ecf: JUMP
00002ed0: JUMPDEST
00002ed1: SWAP10
00002ed2: SWAP9
00002ed3: POP
00002ed4: POP
00002ed5: POP
00002ed6: POP
00002ed7: POP
00002ed8: POP
00002ed9: POP
00002eda: POP
00002edb: POP
00002edc: JUMP
00002edd: JUMPDEST
00002ede: PUSH1 0x00
00002ee0: DUP3
00002ee1: NOT
00002ee2: DUP3
00002ee3: GT
00002ee4: ISZERO
00002ee5: PUSH2 0x2ef0
00002ee8: JUMPI
00002ee9: PUSH2 0x2ef0
00002eec: PUSH2 0x2653
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: POP
00002ef2: ADD
00002ef3: SWAP1
00002ef4: JUMP
00002ef5: JUMPDEST
00002ef6: PUSH1 0x00
00002ef8: PUSH1 0x20
00002efa: DUP1
00002efb: DUP4
00002efc: MSTORE
00002efd: PUSH1 0x00
00002eff: DUP5
00002f00: SLOAD
00002f01: PUSH2 0x2f09
00002f04: DUP2
00002f05: PUSH2 0x2600
00002f08: JUMP
00002f09: JUMPDEST
00002f0a: DUP1
00002f0b: DUP5
00002f0c: DUP8
00002f0d: ADD
00002f0e: MSTORE
00002f0f: PUSH1 0x40
00002f11: PUSH1 0x01
00002f13: DUP1
00002f14: DUP5
00002f15: AND
00002f16: PUSH1 0x00
00002f18: DUP2
00002f19: EQ
00002f1a: PUSH2 0x2f2a
00002f1d: JUMPI
00002f1e: PUSH1 0x01
00002f20: DUP2
00002f21: EQ
00002f22: PUSH2 0x2f62
00002f25: JUMPI
00002f26: PUSH2 0x2f90
00002f29: JUMP
00002f2a: JUMPDEST
00002f2b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002f4c: DUP6
00002f4d: AND
00002f4e: DUP4
00002f4f: DUP11
00002f50: ADD
00002f51: MSTORE
00002f52: DUP3
00002f53: DUP5
00002f54: ISZERO
00002f55: ISZERO
00002f56: PUSH1 0x05
00002f58: SHL
00002f59: DUP11
00002f5a: ADD
00002f5b: ADD
00002f5c: SWAP6
00002f5d: POP
00002f5e: PUSH2 0x2f90
00002f61: JUMP
00002f62: JUMPDEST
00002f63: DUP10
00002f64: PUSH1 0x00
00002f66: MSTORE
00002f67: DUP7
00002f68: PUSH1 0x00
00002f6a: KECCAK256
00002f6b: PUSH1 0x00
00002f6d: JUMPDEST
00002f6e: DUP6
00002f6f: DUP2
00002f70: LT
00002f71: ISZERO
00002f72: PUSH2 0x2f88
00002f75: JUMPI
00002f76: DUP2
00002f77: SLOAD
00002f78: DUP12
00002f79: DUP3
00002f7a: ADD
00002f7b: DUP7
00002f7c: ADD
00002f7d: MSTORE
00002f7e: SWAP1
00002f7f: DUP4
00002f80: ADD
00002f81: SWAP1
00002f82: DUP9
00002f83: ADD
00002f84: PUSH2 0x2f6d
00002f87: JUMP
00002f88: JUMPDEST
00002f89: DUP11
00002f8a: ADD
00002f8b: DUP5
00002f8c: ADD
00002f8d: SWAP7
00002f8e: POP
00002f8f: POP
00002f90: JUMPDEST
00002f91: POP
00002f92: SWAP4
00002f93: SWAP9
00002f94: SWAP8
00002f95: POP
00002f96: POP
00002f97: POP
00002f98: POP
00002f99: POP
00002f9a: POP
00002f9b: POP
00002f9c: POP
00002f9d: JUMP
00002f9e: INVALID
00002f9f: LOG1
00002fa0: PUSH5 0x736f6c6343
00002fa6: STOP
00002fa7: ADDMOD
00002fa8: UNKNOWN(0x0F)
00002fa9: STOP
00002faa: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x6559ad464fe0f1f143b3f6b5cc5031986c89df68d679a6bd6901b3dd163664eb
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x6559ad464fe0f1f143b3f6b5cc5031986c89df68d679a6bd6901b3dd163664eb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xedee6239",
            "selector": "0xedee6239",
            "calldata_variants": [
                "0xedee6239",
                "0xedee62390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1d42b47",
            "selector": "0xf1d42b47",
            "calldata_variants": [
                "0xf1d42b47",
                "0xf1d42b470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc3e3eba",
            "selector": "0xfc3e3eba",
            "calldata_variants": [
                "0xfc3e3eba",
                "0xfc3e3eba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9bc94d01",
            "selector": "0x9bc94d01",
            "calldata_variants": [
                "0x9bc94d01",
                "0x9bc94d010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe551cdaa",
            "selector": "0xe551cdaa",
            "calldata_variants": [
                "0xe551cdaa",
                "0xe551cdaa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x82cb6b72",
            "selector": "0x82cb6b72",
            "calldata_variants": [
                "0x82cb6b72",
                "0x82cb6b720000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90547c14",
            "selector": "0x90547c14",
            "calldata_variants": [
                "0x90547c14",
                "0x90547c140000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7227,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x0b37f95528f1b79511e091fbd0884caf5174174b313be2e2e7009c4bf94f8461
call_targets: 0x7078c4537c04c2b2e52ddba06074dbdacf23ca15
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0b37f95528f1b79511e091fbd0884caf5174174b313be2e2e7009c4bf94f8461",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7078c4537c04c2b2e52ddba06074dbdacf23ca15"
    ],
    "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": "0xedee6239",
            "selector": "0xedee6239",
            "calldata_variants": [
                "0xedee6239",
                "0xedee62390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1d42b47",
            "selector": "0xf1d42b47",
            "calldata_variants": [
                "0xf1d42b47",
                "0xf1d42b470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc3e3eba",
            "selector": "0xfc3e3eba",
            "calldata_variants": [
                "0xfc3e3eba",
                "0xfc3e3eba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9bc94d01",
            "selector": "0x9bc94d01",
            "calldata_variants": [
                "0x9bc94d01",
                "0x9bc94d010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe551cdaa",
            "selector": "0xe551cdaa",
            "calldata_variants": [
                "0xe551cdaa",
                "0xe551cdaa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x82cb6b72",
            "selector": "0x82cb6b72",
            "calldata_variants": [
                "0x82cb6b72",
                "0x82cb6b720000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90547c14",
            "selector": "0x90547c14",
            "calldata_variants": [
                "0x90547c14",
                "0x90547c140000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1596,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1977,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2320,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0b37f95528f1b79511e091fbd0884caf5174174b313be2e2e7009c4bf94f8461
call_targets: 0x7078c4537c04c2b2e52ddba06074dbdacf23ca15
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0b37f95528f1b79511e091fbd0884caf5174174b313be2e2e7009c4bf94f8461",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7078c4537c04c2b2e52ddba06074dbdacf23ca15"
    ],
    "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": "0xedee6239",
            "selector": "0xedee6239",
            "calldata_variants": [
                "0xedee6239",
                "0xedee62390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1d42b47",
            "selector": "0xf1d42b47",
            "calldata_variants": [
                "0xf1d42b47",
                "0xf1d42b470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc3e3eba",
            "selector": "0xfc3e3eba",
            "calldata_variants": [
                "0xfc3e3eba",
                "0xfc3e3eba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9bc94d01",
            "selector": "0x9bc94d01",
            "calldata_variants": [
                "0x9bc94d01",
                "0x9bc94d010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe551cdaa",
            "selector": "0xe551cdaa",
            "calldata_variants": [
                "0xe551cdaa",
                "0xe551cdaa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x82cb6b72",
            "selector": "0x82cb6b72",
            "calldata_variants": [
                "0x82cb6b72",
                "0x82cb6b720000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90547c14",
            "selector": "0x90547c14",
            "calldata_variants": [
                "0x90547c14",
                "0x90547c140000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1596,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1977,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2320,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}