019b3844-99ed-7236-b35c-7976f2a8e2af
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 14171 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 14172 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85120 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85121 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85122 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85123 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x94985ddd 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa28598d4 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa28598d4 0000002f: EQ 00000030: PUSH2 0x06a6 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa2ddeab9 0000003a: EQ 0000003b: PUSH2 0x06f9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc3f909d4 00000045: EQ 00000046: PUSH2 0x0734 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdafd3d35 00000050: EQ 00000051: PUSH2 0x07a0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x07ef 0000005f: JUMPI 00000060: PUSH2 0x011f 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x94985ddd 0000006b: EQ 0000006c: PUSH2 0x04e4 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x954781fd 00000076: EQ 00000077: PUSH2 0x0529 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x983fbab2 00000081: EQ 00000082: PUSH2 0x05ce 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x98544710 0000008c: EQ 0000008d: PUSH2 0x0629 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa0712d68 00000097: EQ 00000098: PUSH2 0x0664 0000009b: JUMPI 0000009c: PUSH2 0x011f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x4ea3871a 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4ea3871a 000000b2: EQ 000000b3: PUSH2 0x03a5 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x61728f39 000000bd: EQ 000000be: PUSH2 0x03e2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x79ba5097 000000c8: EQ 000000c9: PUSH2 0x040d 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x8da5cb5b 000000d3: EQ 000000d4: PUSH2 0x0424 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x9373f432 000000de: EQ 000000df: PUSH2 0x047b 000000e2: JUMPI 000000e3: PUSH2 0x011f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x1017507d 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x1fc4da5e 000000f9: EQ 000000fa: PUSH2 0x014f 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x2e1a7d4d 00000104: EQ 00000105: PUSH2 0x022b 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x3ee4f30f 0000010f: EQ 00000110: PUSH2 0x0266 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x435d0e14 0000011a: EQ 0000011b: PUSH2 0x037a 0000011e: JUMPI 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0139 00000135: PUSH2 0x0840 00000138: JUMP 00000139: JUMPDEST 0000013a: PUSH1 0x40 0000013c: MLOAD 0000013d: DUP1 0000013e: DUP3 0000013f: DUP2 00000140: MSTORE 00000141: PUSH1 0x20 00000143: ADD 00000144: SWAP2 00000145: POP 00000146: POP 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: SWAP2 0000014c: SUB 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x0164 00000160: PUSH2 0x084a 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH1 0x40 00000167: MLOAD 00000168: DUP1 00000169: DUP1 0000016a: PUSH1 0x20 0000016c: ADD 0000016d: DUP7 0000016e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000183: AND 00000184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000199: AND 0000019a: DUP2 0000019b: MSTORE 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: DUP6 000001a0: DUP2 000001a1: MSTORE 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: DUP5 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: DUP4 000001ac: ISZERO 000001ad: ISZERO 000001ae: ISZERO 000001af: ISZERO 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: DUP3 000001b6: DUP2 000001b7: SUB 000001b8: DUP3 000001b9: MSTORE 000001ba: DUP8 000001bb: DUP2 000001bc: DUP2 000001bd: MLOAD 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP2 000001c4: POP 000001c5: DUP1 000001c6: MLOAD 000001c7: SWAP1 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: SWAP1 000001cc: DUP1 000001cd: DUP4 000001ce: DUP4 000001cf: PUSH1 0x00 000001d1: JUMPDEST 000001d2: DUP4 000001d3: DUP2 000001d4: LT 000001d5: ISZERO 000001d6: PUSH2 0x01ec 000001d9: JUMPI 000001da: DUP1 000001db: DUP3 000001dc: ADD 000001dd: MLOAD 000001de: DUP2 000001df: DUP5 000001e0: ADD 000001e1: MSTORE 000001e2: PUSH1 0x20 000001e4: DUP2 000001e5: ADD 000001e6: SWAP1 000001e7: POP 000001e8: PUSH2 0x01d1 000001eb: JUMP 000001ec: JUMPDEST 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: POP 000001f1: SWAP1 000001f2: POP 000001f3: SWAP1 000001f4: DUP2 000001f5: ADD 000001f6: SWAP1 000001f7: PUSH1 0x1f 000001f9: AND 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0219 000001ff: JUMPI 00000200: DUP1 00000201: DUP3 00000202: SUB 00000203: DUP1 00000204: MLOAD 00000205: PUSH1 0x01 00000207: DUP4 00000208: PUSH1 0x20 0000020a: SUB 0000020b: PUSH2 0x0100 0000020e: EXP 0000020f: SUB 00000210: NOT 00000211: AND 00000212: DUP2 00000213: MSTORE 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP2 00000218: POP 00000219: JUMPDEST 0000021a: POP 0000021b: SWAP7 0000021c: POP 0000021d: POP 0000021e: POP 0000021f: POP 00000220: POP 00000221: POP 00000222: POP 00000223: PUSH1 0x40 00000225: MLOAD 00000226: DUP1 00000227: SWAP2 00000228: SUB 00000229: SWAP1 0000022a: RETURN 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x0264 0000023c: PUSH1 0x04 0000023e: DUP1 0000023f: CALLDATASIZE 00000240: SUB 00000241: PUSH1 0x20 00000243: DUP2 00000244: LT 00000245: ISZERO 00000246: PUSH2 0x024e 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: DUP2 00000250: ADD 00000251: SWAP1 00000252: DUP1 00000253: DUP1 00000254: CALLDATALOAD 00000255: SWAP1 00000256: PUSH1 0x20 00000258: ADD 00000259: SWAP1 0000025a: SWAP3 0000025b: SWAP2 0000025c: SWAP1 0000025d: POP 0000025e: POP 0000025f: POP 00000260: PUSH2 0x093a 00000263: JUMP 00000264: JUMPDEST 00000265: STOP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0272 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: POP 00000274: PUSH2 0x0360 00000277: PUSH1 0x04 00000279: DUP1 0000027a: CALLDATASIZE 0000027b: SUB 0000027c: PUSH1 0x80 0000027e: DUP2 0000027f: LT 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: DUP2 0000028b: ADD 0000028c: SWAP1 0000028d: DUP1 0000028e: DUP1 0000028f: CALLDATALOAD 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: SWAP1 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP1 000002ab: SWAP3 000002ac: SWAP2 000002ad: SWAP1 000002ae: DUP1 000002af: CALLDATALOAD 000002b0: SWAP1 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: SWAP1 000002b5: PUSH5 0x0100000000 000002bb: DUP2 000002bc: GT 000002bd: ISZERO 000002be: PUSH2 0x02c6 000002c1: JUMPI 000002c2: PUSH1 0x00 000002c4: DUP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: DUP3 000002c8: ADD 000002c9: DUP4 000002ca: PUSH1 0x20 000002cc: DUP3 000002cd: ADD 000002ce: GT 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: DUP1 000002da: CALLDATALOAD 000002db: SWAP1 000002dc: PUSH1 0x20 000002de: ADD 000002df: SWAP2 000002e0: DUP5 000002e1: PUSH1 0x01 000002e3: DUP4 000002e4: MUL 000002e5: DUP5 000002e6: ADD 000002e7: GT 000002e8: PUSH5 0x0100000000 000002ee: DUP4 000002ef: GT 000002f0: OR 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: SWAP2 000002fc: SWAP1 000002fd: DUP1 000002fe: DUP1 000002ff: PUSH1 0x1f 00000301: ADD 00000302: PUSH1 0x20 00000304: DUP1 00000305: SWAP2 00000306: DIV 00000307: MUL 00000308: PUSH1 0x20 0000030a: ADD 0000030b: PUSH1 0x40 0000030d: MLOAD 0000030e: SWAP1 0000030f: DUP2 00000310: ADD 00000311: PUSH1 0x40 00000313: MSTORE 00000314: DUP1 00000315: SWAP4 00000316: SWAP3 00000317: SWAP2 00000318: SWAP1 00000319: DUP2 0000031a: DUP2 0000031b: MSTORE 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: DUP4 00000320: DUP4 00000321: DUP1 00000322: DUP3 00000323: DUP5 00000324: CALLDATACOPY 00000325: PUSH1 0x00 00000327: DUP2 00000328: DUP5 00000329: ADD 0000032a: MSTORE 0000032b: PUSH1 0x1f 0000032d: NOT 0000032e: PUSH1 0x1f 00000330: DUP3 00000331: ADD 00000332: AND 00000333: SWAP1 00000334: POP 00000335: DUP1 00000336: DUP4 00000337: ADD 00000338: SWAP3 00000339: POP 0000033a: POP 0000033b: POP 0000033c: POP 0000033d: POP 0000033e: POP 0000033f: POP 00000340: SWAP2 00000341: SWAP3 00000342: SWAP2 00000343: SWAP3 00000344: SWAP1 00000345: DUP1 00000346: CALLDATALOAD 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP1 0000034c: SWAP3 0000034d: SWAP2 0000034e: SWAP1 0000034f: DUP1 00000350: CALLDATALOAD 00000351: SWAP1 00000352: PUSH1 0x20 00000354: ADD 00000355: SWAP1 00000356: SWAP3 00000357: SWAP2 00000358: SWAP1 00000359: POP 0000035a: POP 0000035b: POP 0000035c: PUSH2 0x0b2e 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x40 00000363: MLOAD 00000364: DUP1 00000365: DUP3 00000366: ISZERO 00000367: ISZERO 00000368: ISZERO 00000369: ISZERO 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP2 00000370: POP 00000371: POP 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: SWAP2 00000377: SUB 00000378: SWAP1 00000379: RETURN 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x038f 0000038b: PUSH2 0x0cc8 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH1 0x40 00000392: MLOAD 00000393: DUP1 00000394: DUP3 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: ADD 0000039a: SWAP2 0000039b: POP 0000039c: POP 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: DUP1 000003a1: SWAP2 000003a2: SUB 000003a3: SWAP1 000003a4: RETURN 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x03e0 000003b6: PUSH1 0x04 000003b8: DUP1 000003b9: CALLDATASIZE 000003ba: SUB 000003bb: PUSH1 0x20 000003bd: DUP2 000003be: LT 000003bf: ISZERO 000003c0: PUSH2 0x03c8 000003c3: JUMPI 000003c4: PUSH1 0x00 000003c6: DUP1 000003c7: REVERT 000003c8: JUMPDEST 000003c9: DUP2 000003ca: ADD 000003cb: SWAP1 000003cc: DUP1 000003cd: DUP1 000003ce: CALLDATALOAD 000003cf: ISZERO 000003d0: ISZERO 000003d1: SWAP1 000003d2: PUSH1 0x20 000003d4: ADD 000003d5: SWAP1 000003d6: SWAP3 000003d7: SWAP2 000003d8: SWAP1 000003d9: POP 000003da: POP 000003db: POP 000003dc: PUSH2 0x0dcf 000003df: JUMP 000003e0: JUMPDEST 000003e1: STOP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x03f7 000003f3: PUSH2 0x0eaf 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: MLOAD 000003fb: DUP1 000003fc: DUP3 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x20 00000401: ADD 00000402: SWAP2 00000403: POP 00000404: POP 00000405: PUSH1 0x40 00000407: MLOAD 00000408: DUP1 00000409: SWAP2 0000040a: SUB 0000040b: SWAP1 0000040c: RETURN 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: POP 0000041b: PUSH2 0x0422 0000041e: PUSH2 0x0eb9 00000421: JUMP 00000422: JUMPDEST 00000423: STOP 00000424: JUMPDEST 00000425: CALLVALUE 00000426: DUP1 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: PUSH2 0x0439 00000435: PUSH2 0x1083 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: DUP3 0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000454: AND 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: DUP2 0000046c: MSTORE 0000046d: PUSH1 0x20 0000046f: ADD 00000470: SWAP2 00000471: POP 00000472: POP 00000473: PUSH1 0x40 00000475: MLOAD 00000476: DUP1 00000477: SWAP2 00000478: SUB 00000479: SWAP1 0000047a: RETURN 0000047b: JUMPDEST 0000047c: CALLVALUE 0000047d: DUP1 0000047e: ISZERO 0000047f: PUSH2 0x0487 00000482: JUMPI 00000483: PUSH1 0x00 00000485: DUP1 00000486: REVERT 00000487: JUMPDEST 00000488: POP 00000489: PUSH2 0x04ca 0000048c: PUSH1 0x04 0000048e: DUP1 0000048f: CALLDATASIZE 00000490: SUB 00000491: PUSH1 0x20 00000493: DUP2 00000494: LT 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: DUP2 000004a0: ADD 000004a1: SWAP1 000004a2: DUP1 000004a3: DUP1 000004a4: CALLDATALOAD 000004a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ba: AND 000004bb: SWAP1 000004bc: PUSH1 0x20 000004be: ADD 000004bf: SWAP1 000004c0: SWAP3 000004c1: SWAP2 000004c2: SWAP1 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: PUSH2 0x10a9 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x40 000004cd: MLOAD 000004ce: DUP1 000004cf: DUP3 000004d0: ISZERO 000004d1: ISZERO 000004d2: ISZERO 000004d3: ISZERO 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x20 000004d8: ADD 000004d9: SWAP2 000004da: POP 000004db: POP 000004dc: PUSH1 0x40 000004de: MLOAD 000004df: DUP1 000004e0: SWAP2 000004e1: SUB 000004e2: SWAP1 000004e3: RETURN 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0527 000004f5: PUSH1 0x04 000004f7: DUP1 000004f8: CALLDATASIZE 000004f9: SUB 000004fa: PUSH1 0x40 000004fc: DUP2 000004fd: LT 000004fe: ISZERO 000004ff: PUSH2 0x0507 00000502: JUMPI 00000503: PUSH1 0x00 00000505: DUP1 00000506: REVERT 00000507: JUMPDEST 00000508: DUP2 00000509: ADD 0000050a: SWAP1 0000050b: DUP1 0000050c: DUP1 0000050d: CALLDATALOAD 0000050e: SWAP1 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP1 00000513: SWAP3 00000514: SWAP2 00000515: SWAP1 00000516: DUP1 00000517: CALLDATALOAD 00000518: SWAP1 00000519: PUSH1 0x20 0000051b: ADD 0000051c: SWAP1 0000051d: SWAP3 0000051e: SWAP2 0000051f: SWAP1 00000520: POP 00000521: POP 00000522: POP 00000523: PUSH2 0x11b8 00000526: JUMP 00000527: JUMPDEST 00000528: STOP 00000529: JUMPDEST 0000052a: CALLVALUE 0000052b: DUP1 0000052c: ISZERO 0000052d: PUSH2 0x0535 00000530: JUMPI 00000531: PUSH1 0x00 00000533: DUP1 00000534: REVERT 00000535: JUMPDEST 00000536: POP 00000537: PUSH2 0x0562 0000053a: PUSH1 0x04 0000053c: DUP1 0000053d: CALLDATASIZE 0000053e: SUB 0000053f: PUSH1 0x20 00000541: DUP2 00000542: LT 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: DUP2 0000054e: ADD 0000054f: SWAP1 00000550: DUP1 00000551: DUP1 00000552: CALLDATALOAD 00000553: SWAP1 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP1 00000558: SWAP3 00000559: SWAP2 0000055a: SWAP1 0000055b: POP 0000055c: POP 0000055d: POP 0000055e: PUSH2 0x1287 00000561: JUMP 00000562: JUMPDEST 00000563: PUSH1 0x40 00000565: MLOAD 00000566: DUP1 00000567: DUP9 00000568: DUP2 00000569: MSTORE 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: DUP8 0000056e: DUP2 0000056f: MSTORE 00000570: PUSH1 0x20 00000572: ADD 00000573: DUP7 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x20 00000578: ADD 00000579: DUP6 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: DUP5 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: DUP4 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: DUP3 0000058c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a1: AND 000005a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b7: AND 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP8 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: POP 000005c3: POP 000005c4: POP 000005c5: POP 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: DUP1 000005ca: SWAP2 000005cb: SUB 000005cc: SWAP1 000005cd: RETURN 000005ce: JUMPDEST 000005cf: CALLVALUE 000005d0: DUP1 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: POP 000005dc: PUSH2 0x0627 000005df: PUSH1 0x04 000005e1: DUP1 000005e2: CALLDATASIZE 000005e3: SUB 000005e4: PUSH1 0x40 000005e6: DUP2 000005e7: LT 000005e8: ISZERO 000005e9: PUSH2 0x05f1 000005ec: JUMPI 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: REVERT 000005f1: JUMPDEST 000005f2: DUP2 000005f3: ADD 000005f4: SWAP1 000005f5: DUP1 000005f6: DUP1 000005f7: CALLDATALOAD 000005f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060d: AND 0000060e: SWAP1 0000060f: PUSH1 0x20 00000611: ADD 00000612: SWAP1 00000613: SWAP3 00000614: SWAP2 00000615: SWAP1 00000616: DUP1 00000617: CALLDATALOAD 00000618: SWAP1 00000619: PUSH1 0x20 0000061b: ADD 0000061c: SWAP1 0000061d: SWAP3 0000061e: SWAP2 0000061f: SWAP1 00000620: POP 00000621: POP 00000622: POP 00000623: PUSH2 0x1357 00000626: JUMP 00000627: JUMPDEST 00000628: STOP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: DUP1 0000062c: ISZERO 0000062d: PUSH2 0x0635 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP1 00000634: REVERT 00000635: JUMPDEST 00000636: POP 00000637: PUSH2 0x0662 0000063a: PUSH1 0x04 0000063c: DUP1 0000063d: CALLDATASIZE 0000063e: SUB 0000063f: PUSH1 0x20 00000641: DUP2 00000642: LT 00000643: ISZERO 00000644: PUSH2 0x064c 00000647: JUMPI 00000648: PUSH1 0x00 0000064a: DUP1 0000064b: REVERT 0000064c: JUMPDEST 0000064d: DUP2 0000064e: ADD 0000064f: SWAP1 00000650: DUP1 00000651: DUP1 00000652: CALLDATALOAD 00000653: SWAP1 00000654: PUSH1 0x20 00000656: ADD 00000657: SWAP1 00000658: SWAP3 00000659: SWAP2 0000065a: SWAP1 0000065b: POP 0000065c: POP 0000065d: POP 0000065e: PUSH2 0x1572 00000661: JUMP 00000662: JUMPDEST 00000663: STOP 00000664: JUMPDEST 00000665: PUSH2 0x0690 00000668: PUSH1 0x04 0000066a: DUP1 0000066b: CALLDATASIZE 0000066c: SUB 0000066d: PUSH1 0x20 0000066f: DUP2 00000670: LT 00000671: ISZERO 00000672: PUSH2 0x067a 00000675: JUMPI 00000676: PUSH1 0x00 00000678: DUP1 00000679: REVERT 0000067a: JUMPDEST 0000067b: DUP2 0000067c: ADD 0000067d: SWAP1 0000067e: DUP1 0000067f: DUP1 00000680: CALLDATALOAD 00000681: SWAP1 00000682: PUSH1 0x20 00000684: ADD 00000685: SWAP1 00000686: SWAP3 00000687: SWAP2 00000688: SWAP1 00000689: POP 0000068a: POP 0000068b: POP 0000068c: PUSH2 0x163f 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH1 0x40 00000693: MLOAD 00000694: DUP1 00000695: DUP3 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP2 0000069c: POP 0000069d: POP 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: DUP1 000006a2: SWAP2 000006a3: SUB 000006a4: SWAP1 000006a5: RETURN 000006a6: JUMPDEST 000006a7: CALLVALUE 000006a8: DUP1 000006a9: ISZERO 000006aa: PUSH2 0x06b2 000006ad: JUMPI 000006ae: PUSH1 0x00 000006b0: DUP1 000006b1: REVERT 000006b2: JUMPDEST 000006b3: POP 000006b4: PUSH2 0x06df 000006b7: PUSH1 0x04 000006b9: DUP1 000006ba: CALLDATASIZE 000006bb: SUB 000006bc: PUSH1 0x20 000006be: DUP2 000006bf: LT 000006c0: ISZERO 000006c1: PUSH2 0x06c9 000006c4: JUMPI 000006c5: PUSH1 0x00 000006c7: DUP1 000006c8: REVERT 000006c9: JUMPDEST 000006ca: DUP2 000006cb: ADD 000006cc: SWAP1 000006cd: DUP1 000006ce: DUP1 000006cf: CALLDATALOAD 000006d0: SWAP1 000006d1: PUSH1 0x20 000006d3: ADD 000006d4: SWAP1 000006d5: SWAP3 000006d6: SWAP2 000006d7: SWAP1 000006d8: POP 000006d9: POP 000006da: POP 000006db: PUSH2 0x1a2f 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: DUP1 000006e4: DUP3 000006e5: ISZERO 000006e6: ISZERO 000006e7: ISZERO 000006e8: ISZERO 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x20 000006ed: ADD 000006ee: SWAP2 000006ef: POP 000006f0: POP 000006f1: PUSH1 0x40 000006f3: MLOAD 000006f4: DUP1 000006f5: SWAP2 000006f6: SUB 000006f7: SWAP1 000006f8: RETURN 000006f9: JUMPDEST 000006fa: CALLVALUE 000006fb: DUP1 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: POP 00000707: PUSH2 0x0732 0000070a: PUSH1 0x04 0000070c: DUP1 0000070d: CALLDATASIZE 0000070e: SUB 0000070f: PUSH1 0x20 00000711: DUP2 00000712: LT 00000713: ISZERO 00000714: PUSH2 0x071c 00000717: JUMPI 00000718: PUSH1 0x00 0000071a: DUP1 0000071b: REVERT 0000071c: JUMPDEST 0000071d: DUP2 0000071e: ADD 0000071f: SWAP1 00000720: DUP1 00000721: DUP1 00000722: CALLDATALOAD 00000723: SWAP1 00000724: PUSH1 0x20 00000726: ADD 00000727: SWAP1 00000728: SWAP3 00000729: SWAP2 0000072a: SWAP1 0000072b: POP 0000072c: POP 0000072d: POP 0000072e: PUSH2 0x1b04 00000731: JUMP 00000732: JUMPDEST 00000733: STOP 00000734: JUMPDEST 00000735: CALLVALUE 00000736: DUP1 00000737: ISZERO 00000738: PUSH2 0x0740 0000073b: JUMPI 0000073c: PUSH1 0x00 0000073e: DUP1 0000073f: REVERT 00000740: JUMPDEST 00000741: POP 00000742: PUSH2 0x0749 00000745: PUSH2 0x1bd1 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH1 0x40 0000074c: MLOAD 0000074d: DUP1 0000074e: DUP6 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: AND 00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077a: AND 0000077b: DUP2 0000077c: MSTORE 0000077d: PUSH1 0x20 0000077f: ADD 00000780: DUP5 00000781: DUP2 00000782: MSTORE 00000783: PUSH1 0x20 00000785: ADD 00000786: DUP4 00000787: DUP2 00000788: MSTORE 00000789: PUSH1 0x20 0000078b: ADD 0000078c: DUP3 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x20 00000791: ADD 00000792: SWAP5 00000793: POP 00000794: POP 00000795: POP 00000796: POP 00000797: POP 00000798: PUSH1 0x40 0000079a: MLOAD 0000079b: DUP1 0000079c: SWAP2 0000079d: SUB 0000079e: SWAP1 0000079f: RETURN 000007a0: JUMPDEST 000007a1: CALLVALUE 000007a2: DUP1 000007a3: ISZERO 000007a4: PUSH2 0x07ac 000007a7: JUMPI 000007a8: PUSH1 0x00 000007aa: DUP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: POP 000007ae: PUSH2 0x07d9 000007b1: PUSH1 0x04 000007b3: DUP1 000007b4: CALLDATASIZE 000007b5: SUB 000007b6: PUSH1 0x20 000007b8: DUP2 000007b9: LT 000007ba: ISZERO 000007bb: PUSH2 0x07c3 000007be: JUMPI 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: REVERT 000007c3: JUMPDEST 000007c4: DUP2 000007c5: ADD 000007c6: SWAP1 000007c7: DUP1 000007c8: DUP1 000007c9: CALLDATALOAD 000007ca: SWAP1 000007cb: PUSH1 0x20 000007cd: ADD 000007ce: SWAP1 000007cf: SWAP3 000007d0: SWAP2 000007d1: SWAP1 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: PUSH2 0x1ce9 000007d8: JUMP 000007d9: JUMPDEST 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: DUP1 000007de: DUP3 000007df: DUP2 000007e0: MSTORE 000007e1: PUSH1 0x20 000007e3: ADD 000007e4: SWAP2 000007e5: POP 000007e6: POP 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: DUP1 000007eb: SWAP2 000007ec: SUB 000007ed: SWAP1 000007ee: RETURN 000007ef: JUMPDEST 000007f0: CALLVALUE 000007f1: DUP1 000007f2: ISZERO 000007f3: PUSH2 0x07fb 000007f6: JUMPI 000007f7: PUSH1 0x00 000007f9: DUP1 000007fa: REVERT 000007fb: JUMPDEST 000007fc: POP 000007fd: PUSH2 0x083e 00000800: PUSH1 0x04 00000802: DUP1 00000803: CALLDATASIZE 00000804: SUB 00000805: PUSH1 0x20 00000807: DUP2 00000808: LT 00000809: ISZERO 0000080a: PUSH2 0x0812 0000080d: JUMPI 0000080e: PUSH1 0x00 00000810: DUP1 00000811: REVERT 00000812: JUMPDEST 00000813: DUP2 00000814: ADD 00000815: SWAP1 00000816: DUP1 00000817: DUP1 00000818: CALLDATALOAD 00000819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082e: AND 0000082f: SWAP1 00000830: PUSH1 0x20 00000832: ADD 00000833: SWAP1 00000834: SWAP3 00000835: SWAP2 00000836: SWAP1 00000837: POP 00000838: POP 00000839: POP 0000083a: PUSH2 0x1d06 0000083d: JUMP 0000083e: JUMPDEST 0000083f: STOP 00000840: JUMPDEST 00000841: PUSH1 0x00 00000843: PUSH1 0x04 00000845: SLOAD 00000846: SWAP1 00000847: POP 00000848: SWAP1 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x60 0000084d: PUSH1 0x00 0000084f: DUP1 00000850: PUSH1 0x00 00000852: DUP1 00000853: PUSH1 0x11 00000855: PUSH1 0x10 00000857: PUSH1 0x00 00000859: SWAP1 0000085a: SLOAD 0000085b: SWAP1 0000085c: PUSH2 0x0100 0000085f: EXP 00000860: SWAP1 00000861: DIV 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: PUSH1 0x12 0000087a: SLOAD 0000087b: PUSH1 0x13 0000087d: SLOAD 0000087e: PUSH1 0x14 00000880: PUSH1 0x00 00000882: SWAP1 00000883: SLOAD 00000884: SWAP1 00000885: PUSH2 0x0100 00000888: EXP 00000889: SWAP1 0000088a: DIV 0000088b: PUSH1 0xff 0000088d: AND 0000088e: DUP5 0000088f: DUP1 00000890: SLOAD 00000891: PUSH1 0x01 00000893: DUP2 00000894: PUSH1 0x01 00000896: AND 00000897: ISZERO 00000898: PUSH2 0x0100 0000089b: MUL 0000089c: SUB 0000089d: AND 0000089e: PUSH1 0x02 000008a0: SWAP1 000008a1: DIV 000008a2: DUP1 000008a3: PUSH1 0x1f 000008a5: ADD 000008a6: PUSH1 0x20 000008a8: DUP1 000008a9: SWAP2 000008aa: DIV 000008ab: MUL 000008ac: PUSH1 0x20 000008ae: ADD 000008af: PUSH1 0x40 000008b1: MLOAD 000008b2: SWAP1 000008b3: DUP2 000008b4: ADD 000008b5: PUSH1 0x40 000008b7: MSTORE 000008b8: DUP1 000008b9: SWAP3 000008ba: SWAP2 000008bb: SWAP1 000008bc: DUP2 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: DUP3 000008c3: DUP1 000008c4: SLOAD 000008c5: PUSH1 0x01 000008c7: DUP2 000008c8: PUSH1 0x01 000008ca: AND 000008cb: ISZERO 000008cc: PUSH2 0x0100 000008cf: MUL 000008d0: SUB 000008d1: AND 000008d2: PUSH1 0x02 000008d4: SWAP1 000008d5: DIV 000008d6: DUP1 000008d7: ISZERO 000008d8: PUSH2 0x0922 000008db: JUMPI 000008dc: DUP1 000008dd: PUSH1 0x1f 000008df: LT 000008e0: PUSH2 0x08f7 000008e3: JUMPI 000008e4: PUSH2 0x0100 000008e7: DUP1 000008e8: DUP4 000008e9: SLOAD 000008ea: DIV 000008eb: MUL 000008ec: DUP4 000008ed: MSTORE 000008ee: SWAP2 000008ef: PUSH1 0x20 000008f1: ADD 000008f2: SWAP2 000008f3: PUSH2 0x0922 000008f6: JUMP 000008f7: JUMPDEST 000008f8: DUP3 000008f9: ADD 000008fa: SWAP2 000008fb: SWAP1 000008fc: PUSH1 0x00 000008fe: MSTORE 000008ff: PUSH1 0x20 00000901: PUSH1 0x00 00000903: KECCAK256 00000904: SWAP1 00000905: JUMPDEST 00000906: DUP2 00000907: SLOAD 00000908: DUP2 00000909: MSTORE 0000090a: SWAP1 0000090b: PUSH1 0x01 0000090d: ADD 0000090e: SWAP1 0000090f: PUSH1 0x20 00000911: ADD 00000912: DUP1 00000913: DUP4 00000914: GT 00000915: PUSH2 0x0905 00000918: JUMPI 00000919: DUP3 0000091a: SWAP1 0000091b: SUB 0000091c: PUSH1 0x1f 0000091e: AND 0000091f: DUP3 00000920: ADD 00000921: SWAP2 00000922: JUMPDEST 00000923: POP 00000924: POP 00000925: POP 00000926: POP 00000927: POP 00000928: SWAP5 00000929: POP 0000092a: SWAP5 0000092b: POP 0000092c: SWAP5 0000092d: POP 0000092e: SWAP5 0000092f: POP 00000930: SWAP5 00000931: POP 00000932: SWAP5 00000933: POP 00000934: SWAP1 00000935: SWAP2 00000936: SWAP3 00000937: SWAP4 00000938: SWAP5 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x01 0000093d: PUSH1 0x00 0000093f: SWAP1 00000940: SLOAD 00000941: SWAP1 00000942: PUSH2 0x0100 00000945: EXP 00000946: SWAP1 00000947: DIV 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: AND 0000095e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000973: AND 00000974: CALLER 00000975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098a: AND 0000098b: EQ 0000098c: PUSH2 0x09fd 0000098f: JUMPI 00000990: PUSH1 0x40 00000992: MLOAD 00000993: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009b4: DUP2 000009b5: MSTORE 000009b6: PUSH1 0x04 000009b8: ADD 000009b9: DUP1 000009ba: DUP1 000009bb: PUSH1 0x20 000009bd: ADD 000009be: DUP3 000009bf: DUP2 000009c0: SUB 000009c1: DUP3 000009c2: MSTORE 000009c3: PUSH1 0x16 000009c5: DUP2 000009c6: MSTORE 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: DUP1 000009cb: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 000009ec: DUP2 000009ed: MSTORE 000009ee: POP 000009ef: PUSH1 0x20 000009f1: ADD 000009f2: SWAP2 000009f3: POP 000009f4: POP 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: DUP1 000009f9: SWAP2 000009fa: SUB 000009fb: SWAP1 000009fc: REVERT 000009fd: JUMPDEST 000009fe: DUP1 000009ff: SELFBALANCE 00000a00: LT 00000a01: ISZERO 00000a02: PUSH2 0x0a56 00000a05: JUMPI 00000a06: PUSH1 0x40 00000a08: MLOAD 00000a09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a2a: DUP2 00000a2b: MSTORE 00000a2c: PUSH1 0x04 00000a2e: ADD 00000a2f: DUP1 00000a30: DUP1 00000a31: PUSH1 0x20 00000a33: ADD 00000a34: DUP3 00000a35: DUP2 00000a36: SUB 00000a37: DUP3 00000a38: MSTORE 00000a39: PUSH1 0x24 00000a3b: DUP2 00000a3c: MSTORE 00000a3d: PUSH1 0x20 00000a3f: ADD 00000a40: DUP1 00000a41: PUSH2 0x2575 00000a44: PUSH1 0x24 00000a46: SWAP2 00000a47: CODECOPY 00000a48: PUSH1 0x40 00000a4a: ADD 00000a4b: SWAP2 00000a4c: POP 00000a4d: POP 00000a4e: PUSH1 0x40 00000a50: MLOAD 00000a51: DUP1 00000a52: SWAP2 00000a53: SUB 00000a54: SWAP1 00000a55: REVERT 00000a56: JUMPDEST 00000a57: PUSH1 0x14 00000a59: PUSH1 0x01 00000a5b: SWAP1 00000a5c: SLOAD 00000a5d: SWAP1 00000a5e: PUSH2 0x0100 00000a61: EXP 00000a62: SWAP1 00000a63: DIV 00000a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a79: AND 00000a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8f: AND 00000a90: PUSH2 0x08fc 00000a93: DUP3 00000a94: SWAP1 00000a95: DUP2 00000a96: ISZERO 00000a97: MUL 00000a98: SWAP1 00000a99: PUSH1 0x40 00000a9b: MLOAD 00000a9c: PUSH1 0x00 00000a9e: PUSH1 0x40 00000aa0: MLOAD 00000aa1: DUP1 00000aa2: DUP4 00000aa3: SUB 00000aa4: DUP2 00000aa5: DUP6 00000aa6: DUP9 00000aa7: DUP9 00000aa8: CALL 00000aa9: SWAP4 00000aaa: POP 00000aab: POP 00000aac: POP 00000aad: POP 00000aae: ISZERO 00000aaf: DUP1 00000ab0: ISZERO 00000ab1: PUSH2 0x0abe 00000ab4: JUMPI 00000ab5: RETURNDATASIZE 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: RETURNDATACOPY 00000aba: RETURNDATASIZE 00000abb: PUSH1 0x00 00000abd: REVERT 00000abe: JUMPDEST 00000abf: POP 00000ac0: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000ae1: PUSH1 0x00 00000ae3: DUP3 00000ae4: PUSH1 0x40 00000ae6: MLOAD 00000ae7: DUP1 00000ae8: DUP4 00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afe: AND 00000aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b14: AND 00000b15: DUP2 00000b16: MSTORE 00000b17: PUSH1 0x20 00000b19: ADD 00000b1a: DUP3 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x20 00000b1f: ADD 00000b20: SWAP3 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: PUSH1 0x40 00000b26: MLOAD 00000b27: DUP1 00000b28: SWAP2 00000b29: SUB 00000b2a: SWAP1 00000b2b: LOG1 00000b2c: POP 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH1 0x00 00000b31: PUSH1 0x01 00000b33: PUSH1 0x00 00000b35: SWAP1 00000b36: SLOAD 00000b37: SWAP1 00000b38: PUSH2 0x0100 00000b3b: EXP 00000b3c: SWAP1 00000b3d: DIV 00000b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b53: AND 00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b69: AND 00000b6a: CALLER 00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b80: AND 00000b81: EQ 00000b82: PUSH2 0x0bf3 00000b85: JUMPI 00000b86: PUSH1 0x40 00000b88: MLOAD 00000b89: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x04 00000bae: ADD 00000baf: DUP1 00000bb0: DUP1 00000bb1: PUSH1 0x20 00000bb3: ADD 00000bb4: DUP3 00000bb5: DUP2 00000bb6: SUB 00000bb7: DUP3 00000bb8: MSTORE 00000bb9: PUSH1 0x16 00000bbb: DUP2 00000bbc: MSTORE 00000bbd: PUSH1 0x20 00000bbf: ADD 00000bc0: DUP1 00000bc1: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00000be2: DUP2 00000be3: MSTORE 00000be4: POP 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: SWAP2 00000be9: POP 00000bea: POP 00000beb: PUSH1 0x40 00000bed: MLOAD 00000bee: DUP1 00000bef: SWAP2 00000bf0: SUB 00000bf1: SWAP1 00000bf2: REVERT 00000bf3: JUMPDEST 00000bf4: DUP5 00000bf5: PUSH1 0x10 00000bf7: PUSH1 0x00 00000bf9: PUSH2 0x0100 00000bfc: EXP 00000bfd: DUP2 00000bfe: SLOAD 00000bff: DUP2 00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c15: MUL 00000c16: NOT 00000c17: AND 00000c18: SWAP1 00000c19: DUP4 00000c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2f: AND 00000c30: MUL 00000c31: OR 00000c32: SWAP1 00000c33: SSTORE 00000c34: POP 00000c35: PUSH1 0x10 00000c37: PUSH1 0x00 00000c39: SWAP1 00000c3a: SLOAD 00000c3b: SWAP1 00000c3c: PUSH2 0x0100 00000c3f: EXP 00000c40: SWAP1 00000c41: DIV 00000c42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c57: AND 00000c58: PUSH1 0x0f 00000c5a: PUSH1 0x00 00000c5c: PUSH2 0x0100 00000c5f: EXP 00000c60: DUP2 00000c61: SLOAD 00000c62: DUP2 00000c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c78: MUL 00000c79: NOT 00000c7a: AND 00000c7b: SWAP1 00000c7c: DUP4 00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c92: AND 00000c93: MUL 00000c94: OR 00000c95: SWAP1 00000c96: SSTORE 00000c97: POP 00000c98: DUP4 00000c99: PUSH1 0x11 00000c9b: SWAP1 00000c9c: DUP1 00000c9d: MLOAD 00000c9e: SWAP1 00000c9f: PUSH1 0x20 00000ca1: ADD 00000ca2: SWAP1 00000ca3: PUSH2 0x0cad 00000ca6: SWAP3 00000ca7: SWAP2 00000ca8: SWAP1 00000ca9: PUSH2 0x24cf 00000cac: JUMP 00000cad: JUMPDEST 00000cae: POP 00000caf: DUP3 00000cb0: PUSH1 0x12 00000cb2: DUP2 00000cb3: SWAP1 00000cb4: SSTORE 00000cb5: POP 00000cb6: DUP2 00000cb7: PUSH1 0x13 00000cb9: DUP2 00000cba: SWAP1 00000cbb: SSTORE 00000cbc: POP 00000cbd: PUSH1 0x01 00000cbf: SWAP1 00000cc0: POP 00000cc1: SWAP5 00000cc2: SWAP4 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: POP 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x00 00000ccb: DUP1 00000ccc: PUSH1 0x00 00000cce: DUP1 00000ccf: PUSH1 0x00 00000cd1: DUP1 00000cd2: PUSH1 0x16 00000cd4: PUSH1 0x00 00000cd6: SWAP1 00000cd7: SLOAD 00000cd8: SWAP1 00000cd9: PUSH2 0x0100 00000cdc: EXP 00000cdd: SWAP1 00000cde: DIV 00000cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf4: AND 00000cf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0a: AND 00000d0b: PUSH4 0xfeaf968c 00000d10: PUSH1 0x40 00000d12: MLOAD 00000d13: DUP2 00000d14: PUSH4 0xffffffff 00000d19: AND 00000d1a: PUSH1 0xe0 00000d1c: SHL 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x04 00000d21: ADD 00000d22: PUSH1 0xa0 00000d24: PUSH1 0x40 00000d26: MLOAD 00000d27: DUP1 00000d28: DUP4 00000d29: SUB 00000d2a: DUP2 00000d2b: DUP7 00000d2c: DUP1 00000d2d: EXTCODESIZE 00000d2e: ISZERO 00000d2f: DUP1 00000d30: ISZERO 00000d31: PUSH2 0x0d39 00000d34: JUMPI 00000d35: PUSH1 0x00 00000d37: DUP1 00000d38: REVERT 00000d39: JUMPDEST 00000d3a: POP 00000d3b: GAS 00000d3c: STATICCALL 00000d3d: ISZERO 00000d3e: DUP1 00000d3f: ISZERO 00000d40: PUSH2 0x0d4d 00000d43: JUMPI 00000d44: RETURNDATASIZE 00000d45: PUSH1 0x00 00000d47: DUP1 00000d48: RETURNDATACOPY 00000d49: RETURNDATASIZE 00000d4a: PUSH1 0x00 00000d4c: REVERT 00000d4d: JUMPDEST 00000d4e: POP 00000d4f: POP 00000d50: POP 00000d51: POP 00000d52: PUSH1 0x40 00000d54: MLOAD 00000d55: RETURNDATASIZE 00000d56: PUSH1 0xa0 00000d58: DUP2 00000d59: LT 00000d5a: ISZERO 00000d5b: PUSH2 0x0d63 00000d5e: JUMPI 00000d5f: PUSH1 0x00 00000d61: DUP1 00000d62: REVERT 00000d63: JUMPDEST 00000d64: DUP2 00000d65: ADD 00000d66: SWAP1 00000d67: DUP1 00000d68: DUP1 00000d69: MLOAD 00000d6a: SWAP1 00000d6b: PUSH1 0x20 00000d6d: ADD 00000d6e: SWAP1 00000d6f: SWAP3 00000d70: SWAP2 00000d71: SWAP1 00000d72: DUP1 00000d73: MLOAD 00000d74: SWAP1 00000d75: PUSH1 0x20 00000d77: ADD 00000d78: SWAP1 00000d79: SWAP3 00000d7a: SWAP2 00000d7b: SWAP1 00000d7c: DUP1 00000d7d: MLOAD 00000d7e: SWAP1 00000d7f: PUSH1 0x20 00000d81: ADD 00000d82: SWAP1 00000d83: SWAP3 00000d84: SWAP2 00000d85: SWAP1 00000d86: DUP1 00000d87: MLOAD 00000d88: SWAP1 00000d89: PUSH1 0x20 00000d8b: ADD 00000d8c: SWAP1 00000d8d: SWAP3 00000d8e: SWAP2 00000d8f: SWAP1 00000d90: DUP1 00000d91: MLOAD 00000d92: SWAP1 00000d93: PUSH1 0x20 00000d95: ADD 00000d96: SWAP1 00000d97: SWAP3 00000d98: SWAP2 00000d99: SWAP1 00000d9a: POP 00000d9b: POP 00000d9c: POP 00000d9d: SWAP5 00000d9e: POP 00000d9f: SWAP5 00000da0: POP 00000da1: SWAP5 00000da2: POP 00000da3: SWAP5 00000da4: POP 00000da5: SWAP5 00000da6: POP 00000da7: PUSH2 0x0dc5 00000daa: DUP5 00000dab: PUSH8 0x0de0b6b3a7640000 00000db4: PUSH1 0x15 00000db6: SLOAD 00000db7: MUL 00000db8: PUSH2 0x1e89 00000dbb: SWAP1 00000dbc: SWAP2 00000dbd: SWAP1 00000dbe: PUSH4 0xffffffff 00000dc3: AND 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: SWAP6 00000dc7: POP 00000dc8: POP 00000dc9: POP 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: SWAP1 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0x00 00000dd4: SWAP1 00000dd5: SLOAD 00000dd6: SWAP1 00000dd7: PUSH2 0x0100 00000dda: EXP 00000ddb: SWAP1 00000ddc: DIV 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e08: AND 00000e09: CALLER 00000e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1f: AND 00000e20: EQ 00000e21: PUSH2 0x0e92 00000e24: JUMPI 00000e25: PUSH1 0x40 00000e27: MLOAD 00000e28: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e49: DUP2 00000e4a: MSTORE 00000e4b: PUSH1 0x04 00000e4d: ADD 00000e4e: DUP1 00000e4f: DUP1 00000e50: PUSH1 0x20 00000e52: ADD 00000e53: DUP3 00000e54: DUP2 00000e55: SUB 00000e56: DUP3 00000e57: MSTORE 00000e58: PUSH1 0x16 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x20 00000e5e: ADD 00000e5f: DUP1 00000e60: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00000e81: DUP2 00000e82: MSTORE 00000e83: POP 00000e84: PUSH1 0x20 00000e86: ADD 00000e87: SWAP2 00000e88: POP 00000e89: POP 00000e8a: PUSH1 0x40 00000e8c: MLOAD 00000e8d: DUP1 00000e8e: SWAP2 00000e8f: SUB 00000e90: SWAP1 00000e91: REVERT 00000e92: JUMPDEST 00000e93: DUP1 00000e94: PUSH1 0x14 00000e96: PUSH1 0x00 00000e98: PUSH2 0x0100 00000e9b: EXP 00000e9c: DUP2 00000e9d: SLOAD 00000e9e: DUP2 00000e9f: PUSH1 0xff 00000ea1: MUL 00000ea2: NOT 00000ea3: AND 00000ea4: SWAP1 00000ea5: DUP4 00000ea6: ISZERO 00000ea7: ISZERO 00000ea8: MUL 00000ea9: OR 00000eaa: SWAP1 00000eab: SSTORE 00000eac: POP 00000ead: POP 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: PUSH1 0x00 00000eb2: PUSH1 0x03 00000eb4: SLOAD 00000eb5: SWAP1 00000eb6: POP 00000eb7: SWAP1 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH1 0x02 00000ebc: PUSH1 0x00 00000ebe: SWAP1 00000ebf: SLOAD 00000ec0: SWAP1 00000ec1: PUSH2 0x0100 00000ec4: EXP 00000ec5: SWAP1 00000ec6: DIV 00000ec7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000edc: AND 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: AND 00000ef3: CALLER 00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f09: AND 00000f0a: EQ 00000f0b: PUSH2 0x0f7c 00000f0e: JUMPI 00000f0f: PUSH1 0x40 00000f11: MLOAD 00000f12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x04 00000f37: ADD 00000f38: DUP1 00000f39: DUP1 00000f3a: PUSH1 0x20 00000f3c: ADD 00000f3d: DUP3 00000f3e: DUP2 00000f3f: SUB 00000f40: DUP3 00000f41: MSTORE 00000f42: PUSH1 0x16 00000f44: DUP2 00000f45: MSTORE 00000f46: PUSH1 0x20 00000f48: ADD 00000f49: DUP1 00000f4a: PUSH32 0x4d7573742062652070726f706f736564206f776e657200000000000000000000 00000f6b: DUP2 00000f6c: MSTORE 00000f6d: POP 00000f6e: PUSH1 0x20 00000f70: ADD 00000f71: SWAP2 00000f72: POP 00000f73: POP 00000f74: PUSH1 0x40 00000f76: MLOAD 00000f77: DUP1 00000f78: SWAP2 00000f79: SUB 00000f7a: SWAP1 00000f7b: REVERT 00000f7c: JUMPDEST 00000f7d: PUSH1 0x00 00000f7f: PUSH1 0x01 00000f81: PUSH1 0x00 00000f83: SWAP1 00000f84: SLOAD 00000f85: SWAP1 00000f86: PUSH2 0x0100 00000f89: EXP 00000f8a: SWAP1 00000f8b: DIV 00000f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa1: AND 00000fa2: SWAP1 00000fa3: POP 00000fa4: CALLER 00000fa5: PUSH1 0x01 00000fa7: PUSH1 0x00 00000fa9: PUSH2 0x0100 00000fac: EXP 00000fad: DUP2 00000fae: SLOAD 00000faf: DUP2 00000fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc5: MUL 00000fc6: NOT 00000fc7: AND 00000fc8: SWAP1 00000fc9: DUP4 00000fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdf: AND 00000fe0: MUL 00000fe1: OR 00000fe2: SWAP1 00000fe3: SSTORE 00000fe4: POP 00000fe5: PUSH1 0x00 00000fe7: PUSH1 0x02 00000fe9: PUSH1 0x00 00000feb: PUSH2 0x0100 00000fee: EXP 00000fef: DUP2 00000ff0: SLOAD 00000ff1: DUP2 00000ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001007: MUL 00001008: NOT 00001009: AND 0000100a: SWAP1 0000100b: DUP4 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: AND 00001022: MUL 00001023: OR 00001024: SWAP1 00001025: SSTORE 00001026: POP 00001027: CALLER 00001028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103d: AND 0000103e: DUP2 0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001054: AND 00001055: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001076: PUSH1 0x40 00001078: MLOAD 00001079: PUSH1 0x40 0000107b: MLOAD 0000107c: DUP1 0000107d: SWAP2 0000107e: SUB 0000107f: SWAP1 00001080: LOG3 00001081: POP 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x01 00001086: PUSH1 0x00 00001088: SWAP1 00001089: SLOAD 0000108a: SWAP1 0000108b: PUSH2 0x0100 0000108e: EXP 0000108f: SWAP1 00001090: DIV 00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a6: AND 000010a7: DUP2 000010a8: JUMP 000010a9: JUMPDEST 000010aa: PUSH1 0x00 000010ac: PUSH1 0x01 000010ae: PUSH1 0x00 000010b0: SWAP1 000010b1: SLOAD 000010b2: SWAP1 000010b3: PUSH2 0x0100 000010b6: EXP 000010b7: SWAP1 000010b8: DIV 000010b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ce: AND 000010cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e4: AND 000010e5: CALLER 000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fb: AND 000010fc: EQ 000010fd: PUSH2 0x116e 00001100: JUMPI 00001101: PUSH1 0x40 00001103: MLOAD 00001104: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001125: DUP2 00001126: MSTORE 00001127: PUSH1 0x04 00001129: ADD 0000112a: DUP1 0000112b: DUP1 0000112c: PUSH1 0x20 0000112e: ADD 0000112f: DUP3 00001130: DUP2 00001131: SUB 00001132: DUP3 00001133: MSTORE 00001134: PUSH1 0x16 00001136: DUP2 00001137: MSTORE 00001138: PUSH1 0x20 0000113a: ADD 0000113b: DUP1 0000113c: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 0000115d: DUP2 0000115e: MSTORE 0000115f: POP 00001160: PUSH1 0x20 00001162: ADD 00001163: SWAP2 00001164: POP 00001165: POP 00001166: PUSH1 0x40 00001168: MLOAD 00001169: DUP1 0000116a: SWAP2 0000116b: SUB 0000116c: SWAP1 0000116d: REVERT 0000116e: JUMPDEST 0000116f: DUP2 00001170: PUSH1 0x14 00001172: PUSH1 0x01 00001174: PUSH2 0x0100 00001177: EXP 00001178: DUP2 00001179: SLOAD 0000117a: DUP2 0000117b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001190: MUL 00001191: NOT 00001192: AND 00001193: SWAP1 00001194: DUP4 00001195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011aa: AND 000011ab: MUL 000011ac: OR 000011ad: SWAP1 000011ae: SSTORE 000011af: POP 000011b0: PUSH1 0x01 000011b2: SWAP1 000011b3: POP 000011b4: SWAP2 000011b5: SWAP1 000011b6: POP 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 000011da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ef: AND 000011f0: CALLER 000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001206: AND 00001207: EQ 00001208: PUSH2 0x1279 0000120b: JUMPI 0000120c: PUSH1 0x40 0000120e: MLOAD 0000120f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001230: DUP2 00001231: MSTORE 00001232: PUSH1 0x04 00001234: ADD 00001235: DUP1 00001236: DUP1 00001237: PUSH1 0x20 00001239: ADD 0000123a: DUP3 0000123b: DUP2 0000123c: SUB 0000123d: DUP3 0000123e: MSTORE 0000123f: PUSH1 0x1f 00001241: DUP2 00001242: MSTORE 00001243: PUSH1 0x20 00001245: ADD 00001246: DUP1 00001247: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00 00001268: DUP2 00001269: MSTORE 0000126a: POP 0000126b: PUSH1 0x20 0000126d: ADD 0000126e: SWAP2 0000126f: POP 00001270: POP 00001271: PUSH1 0x40 00001273: MLOAD 00001274: DUP1 00001275: SWAP2 00001276: SUB 00001277: SWAP1 00001278: REVERT 00001279: JUMPDEST 0000127a: PUSH2 0x1283 0000127d: DUP3 0000127e: DUP3 0000127f: PUSH2 0x1f18 00001282: JUMP 00001283: JUMPDEST 00001284: POP 00001285: POP 00001286: JUMP 00001287: JUMPDEST 00001288: PUSH1 0x00 0000128a: DUP1 0000128b: PUSH1 0x00 0000128d: DUP1 0000128e: PUSH1 0x00 00001290: DUP1 00001291: PUSH1 0x00 00001293: PUSH1 0x07 00001295: PUSH1 0x00 00001297: DUP10 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: SWAP1 0000129e: DUP2 0000129f: MSTORE 000012a0: PUSH1 0x20 000012a2: ADD 000012a3: PUSH1 0x00 000012a5: KECCAK256 000012a6: SLOAD 000012a7: PUSH1 0x0a 000012a9: PUSH1 0x00 000012ab: DUP11 000012ac: DUP2 000012ad: MSTORE 000012ae: PUSH1 0x20 000012b0: ADD 000012b1: SWAP1 000012b2: DUP2 000012b3: MSTORE 000012b4: PUSH1 0x20 000012b6: ADD 000012b7: PUSH1 0x00 000012b9: KECCAK256 000012ba: SLOAD 000012bb: PUSH1 0x0b 000012bd: PUSH1 0x00 000012bf: DUP12 000012c0: DUP2 000012c1: MSTORE 000012c2: PUSH1 0x20 000012c4: ADD 000012c5: SWAP1 000012c6: DUP2 000012c7: MSTORE 000012c8: PUSH1 0x20 000012ca: ADD 000012cb: PUSH1 0x00 000012cd: KECCAK256 000012ce: SLOAD 000012cf: PUSH1 0x0c 000012d1: PUSH1 0x00 000012d3: DUP13 000012d4: DUP2 000012d5: MSTORE 000012d6: PUSH1 0x20 000012d8: ADD 000012d9: SWAP1 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: ADD 000012df: PUSH1 0x00 000012e1: KECCAK256 000012e2: SLOAD 000012e3: PUSH1 0x0d 000012e5: PUSH1 0x00 000012e7: DUP14 000012e8: DUP2 000012e9: MSTORE 000012ea: PUSH1 0x20 000012ec: ADD 000012ed: SWAP1 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x20 000012f2: ADD 000012f3: PUSH1 0x00 000012f5: KECCAK256 000012f6: SLOAD 000012f7: PUSH1 0x0e 000012f9: PUSH1 0x00 000012fb: DUP15 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x20 00001300: ADD 00001301: SWAP1 00001302: DUP2 00001303: MSTORE 00001304: PUSH1 0x20 00001306: ADD 00001307: PUSH1 0x00 00001309: KECCAK256 0000130a: SLOAD 0000130b: PUSH1 0x08 0000130d: PUSH1 0x00 0000130f: DUP16 00001310: DUP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: ADD 00001315: SWAP1 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x20 0000131a: ADD 0000131b: PUSH1 0x00 0000131d: KECCAK256 0000131e: PUSH1 0x00 00001320: SWAP1 00001321: SLOAD 00001322: SWAP1 00001323: PUSH2 0x0100 00001326: EXP 00001327: SWAP1 00001328: DIV 00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133e: AND 0000133f: SWAP7 00001340: POP 00001341: SWAP7 00001342: POP 00001343: SWAP7 00001344: POP 00001345: SWAP7 00001346: POP 00001347: SWAP7 00001348: POP 00001349: SWAP7 0000134a: POP 0000134b: SWAP7 0000134c: POP 0000134d: SWAP2 0000134e: SWAP4 0000134f: SWAP6 00001350: SWAP8 00001351: SWAP1 00001352: SWAP3 00001353: SWAP5 00001354: SWAP7 00001355: POP 00001356: JUMP 00001357: JUMPDEST 00001358: PUSH1 0x01 0000135a: PUSH1 0x00 0000135c: SWAP1 0000135d: SLOAD 0000135e: SWAP1 0000135f: PUSH2 0x0100 00001362: EXP 00001363: SWAP1 00001364: DIV 00001365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137a: AND 0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001390: AND 00001391: CALLER 00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a7: AND 000013a8: EQ 000013a9: PUSH2 0x141a 000013ac: JUMPI 000013ad: PUSH1 0x40 000013af: MLOAD 000013b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x04 000013d5: ADD 000013d6: DUP1 000013d7: DUP1 000013d8: PUSH1 0x20 000013da: ADD 000013db: DUP3 000013dc: DUP2 000013dd: SUB 000013de: DUP3 000013df: MSTORE 000013e0: PUSH1 0x16 000013e2: DUP2 000013e3: MSTORE 000013e4: PUSH1 0x20 000013e6: ADD 000013e7: DUP1 000013e8: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001409: DUP2 0000140a: MSTORE 0000140b: POP 0000140c: PUSH1 0x20 0000140e: ADD 0000140f: SWAP2 00001410: POP 00001411: POP 00001412: PUSH1 0x40 00001414: MLOAD 00001415: DUP1 00001416: SWAP2 00001417: SUB 00001418: SWAP1 00001419: REVERT 0000141a: JUMPDEST 0000141b: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 0000143c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001451: AND 00001452: PUSH4 0xa9059cbb 00001457: DUP4 00001458: DUP4 00001459: PUSH1 0x40 0000145b: MLOAD 0000145c: DUP4 0000145d: PUSH4 0xffffffff 00001462: AND 00001463: PUSH1 0xe0 00001465: SHL 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x04 0000146a: ADD 0000146b: DUP1 0000146c: DUP4 0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001482: AND 00001483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001498: AND 00001499: DUP2 0000149a: MSTORE 0000149b: PUSH1 0x20 0000149d: ADD 0000149e: DUP3 0000149f: DUP2 000014a0: MSTORE 000014a1: PUSH1 0x20 000014a3: ADD 000014a4: SWAP3 000014a5: POP 000014a6: POP 000014a7: POP 000014a8: PUSH1 0x20 000014aa: PUSH1 0x40 000014ac: MLOAD 000014ad: DUP1 000014ae: DUP4 000014af: SUB 000014b0: DUP2 000014b1: PUSH1 0x00 000014b3: DUP8 000014b4: DUP1 000014b5: EXTCODESIZE 000014b6: ISZERO 000014b7: DUP1 000014b8: ISZERO 000014b9: PUSH2 0x14c1 000014bc: JUMPI 000014bd: PUSH1 0x00 000014bf: DUP1 000014c0: REVERT 000014c1: JUMPDEST 000014c2: POP 000014c3: GAS 000014c4: CALL 000014c5: ISZERO 000014c6: DUP1 000014c7: ISZERO 000014c8: PUSH2 0x14d5 000014cb: JUMPI 000014cc: RETURNDATASIZE 000014cd: PUSH1 0x00 000014cf: DUP1 000014d0: RETURNDATACOPY 000014d1: RETURNDATASIZE 000014d2: PUSH1 0x00 000014d4: REVERT 000014d5: JUMPDEST 000014d6: POP 000014d7: POP 000014d8: POP 000014d9: POP 000014da: PUSH1 0x40 000014dc: MLOAD 000014dd: RETURNDATASIZE 000014de: PUSH1 0x20 000014e0: DUP2 000014e1: LT 000014e2: ISZERO 000014e3: PUSH2 0x14eb 000014e6: JUMPI 000014e7: PUSH1 0x00 000014e9: DUP1 000014ea: REVERT 000014eb: JUMPDEST 000014ec: DUP2 000014ed: ADD 000014ee: SWAP1 000014ef: DUP1 000014f0: DUP1 000014f1: MLOAD 000014f2: SWAP1 000014f3: PUSH1 0x20 000014f5: ADD 000014f6: SWAP1 000014f7: SWAP3 000014f8: SWAP2 000014f9: SWAP1 000014fa: POP 000014fb: POP 000014fc: POP 000014fd: PUSH2 0x156e 00001500: JUMPI 00001501: PUSH1 0x40 00001503: MLOAD 00001504: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001525: DUP2 00001526: MSTORE 00001527: PUSH1 0x04 00001529: ADD 0000152a: DUP1 0000152b: DUP1 0000152c: PUSH1 0x20 0000152e: ADD 0000152f: DUP3 00001530: DUP2 00001531: SUB 00001532: DUP3 00001533: MSTORE 00001534: PUSH1 0x0f 00001536: DUP2 00001537: MSTORE 00001538: PUSH1 0x20 0000153a: ADD 0000153b: DUP1 0000153c: PUSH32 0x4e6f7420656e6f756768204c494e4b0000000000000000000000000000000000 0000155d: DUP2 0000155e: MSTORE 0000155f: POP 00001560: PUSH1 0x20 00001562: ADD 00001563: SWAP2 00001564: POP 00001565: POP 00001566: PUSH1 0x40 00001568: MLOAD 00001569: DUP1 0000156a: SWAP2 0000156b: SUB 0000156c: SWAP1 0000156d: REVERT 0000156e: JUMPDEST 0000156f: POP 00001570: POP 00001571: JUMP 00001572: JUMPDEST 00001573: PUSH1 0x01 00001575: PUSH1 0x00 00001577: SWAP1 00001578: SLOAD 00001579: SWAP1 0000157a: PUSH2 0x0100 0000157d: EXP 0000157e: SWAP1 0000157f: DIV 00001580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001595: AND 00001596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ab: AND 000015ac: CALLER 000015ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c2: AND 000015c3: EQ 000015c4: PUSH2 0x1635 000015c7: JUMPI 000015c8: PUSH1 0x40 000015ca: MLOAD 000015cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x04 000015f0: ADD 000015f1: DUP1 000015f2: DUP1 000015f3: PUSH1 0x20 000015f5: ADD 000015f6: DUP3 000015f7: DUP2 000015f8: SUB 000015f9: DUP3 000015fa: MSTORE 000015fb: PUSH1 0x16 000015fd: DUP2 000015fe: MSTORE 000015ff: PUSH1 0x20 00001601: ADD 00001602: DUP1 00001603: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001624: DUP2 00001625: MSTORE 00001626: POP 00001627: PUSH1 0x20 00001629: ADD 0000162a: SWAP2 0000162b: POP 0000162c: POP 0000162d: PUSH1 0x40 0000162f: MLOAD 00001630: DUP1 00001631: SWAP2 00001632: SUB 00001633: SWAP1 00001634: REVERT 00001635: JUMPDEST 00001636: DUP1 00001637: PUSH1 0x03 00001639: DUP2 0000163a: SWAP1 0000163b: SSTORE 0000163c: POP 0000163d: POP 0000163e: JUMP 0000163f: JUMPDEST 00001640: PUSH1 0x00 00001642: PUSH1 0x14 00001644: PUSH1 0x00 00001646: SWAP1 00001647: SLOAD 00001648: SWAP1 00001649: PUSH2 0x0100 0000164c: EXP 0000164d: SWAP1 0000164e: DIV 0000164f: PUSH1 0xff 00001651: AND 00001652: PUSH2 0x16c3 00001655: JUMPI 00001656: PUSH1 0x40 00001658: MLOAD 00001659: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000167a: DUP2 0000167b: MSTORE 0000167c: PUSH1 0x04 0000167e: ADD 0000167f: DUP1 00001680: DUP1 00001681: PUSH1 0x20 00001683: ADD 00001684: DUP3 00001685: DUP2 00001686: SUB 00001687: DUP3 00001688: MSTORE 00001689: PUSH1 0x19 0000168b: DUP2 0000168c: MSTORE 0000168d: PUSH1 0x20 0000168f: ADD 00001690: DUP1 00001691: PUSH32 0x4d696e74696e6720686173206265656e2064697361626c656400000000000000 000016b2: DUP2 000016b3: MSTORE 000016b4: POP 000016b5: PUSH1 0x20 000016b7: ADD 000016b8: SWAP2 000016b9: POP 000016ba: POP 000016bb: PUSH1 0x40 000016bd: MLOAD 000016be: DUP1 000016bf: SWAP2 000016c0: SUB 000016c1: SWAP1 000016c2: REVERT 000016c3: JUMPDEST 000016c4: PUSH1 0x04 000016c6: SLOAD 000016c7: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 000016e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fd: AND 000016fe: PUSH4 0x70a08231 00001703: ADDRESS 00001704: PUSH1 0x40 00001706: MLOAD 00001707: DUP3 00001708: PUSH4 0xffffffff 0000170d: AND 0000170e: PUSH1 0xe0 00001710: SHL 00001711: DUP2 00001712: MSTORE 00001713: PUSH1 0x04 00001715: ADD 00001716: DUP1 00001717: DUP3 00001718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172d: AND 0000172e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001743: AND 00001744: DUP2 00001745: MSTORE 00001746: PUSH1 0x20 00001748: ADD 00001749: SWAP2 0000174a: POP 0000174b: POP 0000174c: PUSH1 0x20 0000174e: PUSH1 0x40 00001750: MLOAD 00001751: DUP1 00001752: DUP4 00001753: SUB 00001754: DUP2 00001755: DUP7 00001756: DUP1 00001757: EXTCODESIZE 00001758: ISZERO 00001759: DUP1 0000175a: ISZERO 0000175b: PUSH2 0x1763 0000175e: JUMPI 0000175f: PUSH1 0x00 00001761: DUP1 00001762: REVERT 00001763: JUMPDEST 00001764: POP 00001765: GAS 00001766: STATICCALL 00001767: ISZERO 00001768: DUP1 00001769: ISZERO 0000176a: PUSH2 0x1777 0000176d: JUMPI 0000176e: RETURNDATASIZE 0000176f: PUSH1 0x00 00001771: DUP1 00001772: RETURNDATACOPY 00001773: RETURNDATASIZE 00001774: PUSH1 0x00 00001776: REVERT 00001777: JUMPDEST 00001778: POP 00001779: POP 0000177a: POP 0000177b: POP 0000177c: PUSH1 0x40 0000177e: MLOAD 0000177f: RETURNDATASIZE 00001780: PUSH1 0x20 00001782: DUP2 00001783: LT 00001784: ISZERO 00001785: PUSH2 0x178d 00001788: JUMPI 00001789: PUSH1 0x00 0000178b: DUP1 0000178c: REVERT 0000178d: JUMPDEST 0000178e: DUP2 0000178f: ADD 00001790: SWAP1 00001791: DUP1 00001792: DUP1 00001793: MLOAD 00001794: SWAP1 00001795: PUSH1 0x20 00001797: ADD 00001798: SWAP1 00001799: SWAP3 0000179a: SWAP2 0000179b: SWAP1 0000179c: POP 0000179d: POP 0000179e: POP 0000179f: LT 000017a0: ISZERO 000017a1: PUSH2 0x1812 000017a4: JUMPI 000017a5: PUSH1 0x40 000017a7: MLOAD 000017a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017c9: DUP2 000017ca: MSTORE 000017cb: PUSH1 0x04 000017cd: ADD 000017ce: DUP1 000017cf: DUP1 000017d0: PUSH1 0x20 000017d2: ADD 000017d3: DUP3 000017d4: DUP2 000017d5: SUB 000017d6: DUP3 000017d7: MSTORE 000017d8: PUSH1 0x1a 000017da: DUP2 000017db: MSTORE 000017dc: PUSH1 0x20 000017de: ADD 000017df: DUP1 000017e0: PUSH32 0x4e6f7420656e6f756768204c494e4b20746f2070617920666565000000000000 00001801: DUP2 00001802: MSTORE 00001803: POP 00001804: PUSH1 0x20 00001806: ADD 00001807: SWAP2 00001808: POP 00001809: POP 0000180a: PUSH1 0x40 0000180c: MLOAD 0000180d: DUP1 0000180e: SWAP2 0000180f: SUB 00001810: SWAP1 00001811: REVERT 00001812: JUMPDEST 00001813: PUSH1 0x13 00001815: SLOAD 00001816: PUSH1 0x12 00001818: SLOAD 00001819: LT 0000181a: PUSH2 0x186e 0000181d: JUMPI 0000181e: PUSH1 0x40 00001820: MLOAD 00001821: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001842: DUP2 00001843: MSTORE 00001844: PUSH1 0x04 00001846: ADD 00001847: DUP1 00001848: DUP1 00001849: PUSH1 0x20 0000184b: ADD 0000184c: DUP3 0000184d: DUP2 0000184e: SUB 0000184f: DUP3 00001850: MSTORE 00001851: PUSH1 0x33 00001853: DUP2 00001854: MSTORE 00001855: PUSH1 0x20 00001857: ADD 00001858: DUP1 00001859: PUSH2 0x2599 0000185c: PUSH1 0x33 0000185e: SWAP2 0000185f: CODECOPY 00001860: PUSH1 0x40 00001862: ADD 00001863: SWAP2 00001864: POP 00001865: POP 00001866: PUSH1 0x40 00001868: MLOAD 00001869: DUP1 0000186a: SWAP2 0000186b: SUB 0000186c: SWAP1 0000186d: REVERT 0000186e: JUMPDEST 0000186f: PUSH1 0x01 00001871: PUSH1 0x12 00001873: SLOAD 00001874: ADD 00001875: PUSH1 0x12 00001877: DUP2 00001878: SWAP1 00001879: SSTORE 0000187a: POP 0000187b: PUSH1 0x00 0000187d: PUSH4 0x05f5e100 00001882: PUSH2 0x1889 00001885: PUSH2 0x0cc8 00001888: JUMP 00001889: JUMPDEST 0000188a: MUL 0000188b: SWAP1 0000188c: POP 0000188d: PUSH32 0x60b993a4292dbb1ab8f9fcc627cb15466994e66d2d7e54bb4928e3602345f72e 000018ae: CALLVALUE 000018af: DUP3 000018b0: PUSH1 0x40 000018b2: MLOAD 000018b3: DUP1 000018b4: DUP4 000018b5: DUP2 000018b6: MSTORE 000018b7: PUSH1 0x20 000018b9: ADD 000018ba: DUP3 000018bb: DUP2 000018bc: MSTORE 000018bd: PUSH1 0x20 000018bf: ADD 000018c0: SWAP3 000018c1: POP 000018c2: POP 000018c3: POP 000018c4: PUSH1 0x40 000018c6: MLOAD 000018c7: DUP1 000018c8: SWAP2 000018c9: SUB 000018ca: SWAP1 000018cb: LOG1 000018cc: DUP1 000018cd: CALLVALUE 000018ce: LT 000018cf: ISZERO 000018d0: PUSH2 0x1924 000018d3: JUMPI 000018d4: PUSH1 0x40 000018d6: MLOAD 000018d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018f8: DUP2 000018f9: MSTORE 000018fa: PUSH1 0x04 000018fc: ADD 000018fd: DUP1 000018fe: DUP1 000018ff: PUSH1 0x20 00001901: ADD 00001902: DUP3 00001903: DUP2 00001904: SUB 00001905: DUP3 00001906: MSTORE 00001907: PUSH1 0x37 00001909: DUP2 0000190a: MSTORE 0000190b: PUSH1 0x20 0000190d: ADD 0000190e: DUP1 0000190f: PUSH2 0x25cc 00001912: PUSH1 0x37 00001914: SWAP2 00001915: CODECOPY 00001916: PUSH1 0x40 00001918: ADD 00001919: SWAP2 0000191a: POP 0000191b: POP 0000191c: PUSH1 0x40 0000191e: MLOAD 0000191f: DUP1 00001920: SWAP2 00001921: SUB 00001922: SWAP1 00001923: REVERT 00001924: JUMPDEST 00001925: PUSH1 0x01 00001927: PUSH1 0x05 00001929: SLOAD 0000192a: ADD 0000192b: PUSH1 0x05 0000192d: DUP2 0000192e: SWAP1 0000192f: SSTORE 00001930: POP 00001931: PUSH2 0x193f 00001934: PUSH1 0x03 00001936: SLOAD 00001937: PUSH1 0x04 00001939: SLOAD 0000193a: DUP6 0000193b: PUSH2 0x20ff 0000193e: JUMP 0000193f: JUMPDEST 00001940: SWAP2 00001941: POP 00001942: CALLVALUE 00001943: PUSH1 0x09 00001945: PUSH1 0x00 00001947: DUP5 00001948: DUP2 00001949: MSTORE 0000194a: PUSH1 0x20 0000194c: ADD 0000194d: SWAP1 0000194e: DUP2 0000194f: MSTORE 00001950: PUSH1 0x20 00001952: ADD 00001953: PUSH1 0x00 00001955: KECCAK256 00001956: DUP2 00001957: SWAP1 00001958: SSTORE 00001959: POP 0000195a: CALLER 0000195b: PUSH1 0x08 0000195d: PUSH1 0x00 0000195f: DUP5 00001960: DUP2 00001961: MSTORE 00001962: PUSH1 0x20 00001964: ADD 00001965: SWAP1 00001966: DUP2 00001967: MSTORE 00001968: PUSH1 0x20 0000196a: ADD 0000196b: PUSH1 0x00 0000196d: KECCAK256 0000196e: PUSH1 0x00 00001970: PUSH2 0x0100 00001973: EXP 00001974: DUP2 00001975: SLOAD 00001976: DUP2 00001977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000198c: MUL 0000198d: NOT 0000198e: AND 0000198f: SWAP1 00001990: DUP4 00001991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a6: AND 000019a7: MUL 000019a8: OR 000019a9: SWAP1 000019aa: SSTORE 000019ab: POP 000019ac: DUP2 000019ad: PUSH1 0x06 000019af: PUSH1 0x00 000019b1: PUSH1 0x05 000019b3: SLOAD 000019b4: DUP2 000019b5: MSTORE 000019b6: PUSH1 0x20 000019b8: ADD 000019b9: SWAP1 000019ba: DUP2 000019bb: MSTORE 000019bc: PUSH1 0x20 000019be: ADD 000019bf: PUSH1 0x00 000019c1: KECCAK256 000019c2: DUP2 000019c3: SWAP1 000019c4: SSTORE 000019c5: POP 000019c6: PUSH1 0x05 000019c8: SLOAD 000019c9: PUSH1 0x07 000019cb: PUSH1 0x00 000019cd: DUP5 000019ce: DUP2 000019cf: MSTORE 000019d0: PUSH1 0x20 000019d2: ADD 000019d3: SWAP1 000019d4: DUP2 000019d5: MSTORE 000019d6: PUSH1 0x20 000019d8: ADD 000019d9: PUSH1 0x00 000019db: KECCAK256 000019dc: DUP2 000019dd: SWAP1 000019de: SSTORE 000019df: POP 000019e0: DUP3 000019e1: PUSH1 0x0a 000019e3: PUSH1 0x00 000019e5: DUP5 000019e6: DUP2 000019e7: MSTORE 000019e8: PUSH1 0x20 000019ea: ADD 000019eb: SWAP1 000019ec: DUP2 000019ed: MSTORE 000019ee: PUSH1 0x20 000019f0: ADD 000019f1: PUSH1 0x00 000019f3: KECCAK256 000019f4: DUP2 000019f5: SWAP1 000019f6: SSTORE 000019f7: POP 000019f8: TIMESTAMP 000019f9: PUSH1 0x0d 000019fb: PUSH1 0x00 000019fd: DUP5 000019fe: DUP2 000019ff: MSTORE 00001a00: PUSH1 0x20 00001a02: ADD 00001a03: SWAP1 00001a04: DUP2 00001a05: MSTORE 00001a06: PUSH1 0x20 00001a08: ADD 00001a09: PUSH1 0x00 00001a0b: KECCAK256 00001a0c: DUP2 00001a0d: SWAP1 00001a0e: SSTORE 00001a0f: POP 00001a10: PUSH1 0x12 00001a12: SLOAD 00001a13: PUSH1 0x0e 00001a15: PUSH1 0x00 00001a17: DUP5 00001a18: DUP2 00001a19: MSTORE 00001a1a: PUSH1 0x20 00001a1c: ADD 00001a1d: SWAP1 00001a1e: DUP2 00001a1f: MSTORE 00001a20: PUSH1 0x20 00001a22: ADD 00001a23: PUSH1 0x00 00001a25: KECCAK256 00001a26: DUP2 00001a27: SWAP1 00001a28: SSTORE 00001a29: POP 00001a2a: POP 00001a2b: SWAP2 00001a2c: SWAP1 00001a2d: POP 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: PUSH1 0x00 00001a32: PUSH1 0x01 00001a34: PUSH1 0x00 00001a36: SWAP1 00001a37: SLOAD 00001a38: SWAP1 00001a39: PUSH2 0x0100 00001a3c: EXP 00001a3d: SWAP1 00001a3e: DIV 00001a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a54: AND 00001a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a6a: AND 00001a6b: CALLER 00001a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a81: AND 00001a82: EQ 00001a83: PUSH2 0x1af4 00001a86: JUMPI 00001a87: PUSH1 0x40 00001a89: MLOAD 00001a8a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001aab: DUP2 00001aac: MSTORE 00001aad: PUSH1 0x04 00001aaf: ADD 00001ab0: DUP1 00001ab1: DUP1 00001ab2: PUSH1 0x20 00001ab4: ADD 00001ab5: DUP3 00001ab6: DUP2 00001ab7: SUB 00001ab8: DUP3 00001ab9: MSTORE 00001aba: PUSH1 0x16 00001abc: DUP2 00001abd: MSTORE 00001abe: PUSH1 0x20 00001ac0: ADD 00001ac1: DUP1 00001ac2: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001ae3: DUP2 00001ae4: MSTORE 00001ae5: POP 00001ae6: PUSH1 0x20 00001ae8: ADD 00001ae9: SWAP2 00001aea: POP 00001aeb: POP 00001aec: PUSH1 0x40 00001aee: MLOAD 00001aef: DUP1 00001af0: SWAP2 00001af1: SUB 00001af2: SWAP1 00001af3: REVERT 00001af4: JUMPDEST 00001af5: DUP2 00001af6: PUSH1 0x15 00001af8: DUP2 00001af9: SWAP1 00001afa: SSTORE 00001afb: POP 00001afc: PUSH1 0x01 00001afe: SWAP1 00001aff: POP 00001b00: SWAP2 00001b01: SWAP1 00001b02: POP 00001b03: JUMP 00001b04: JUMPDEST 00001b05: PUSH1 0x01 00001b07: PUSH1 0x00 00001b09: SWAP1 00001b0a: SLOAD 00001b0b: SWAP1 00001b0c: PUSH2 0x0100 00001b0f: EXP 00001b10: SWAP1 00001b11: DIV 00001b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b27: AND 00001b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3d: AND 00001b3e: CALLER 00001b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b54: AND 00001b55: EQ 00001b56: PUSH2 0x1bc7 00001b59: JUMPI 00001b5a: PUSH1 0x40 00001b5c: MLOAD 00001b5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b7e: DUP2 00001b7f: MSTORE 00001b80: PUSH1 0x04 00001b82: ADD 00001b83: DUP1 00001b84: DUP1 00001b85: PUSH1 0x20 00001b87: ADD 00001b88: DUP3 00001b89: DUP2 00001b8a: SUB 00001b8b: DUP3 00001b8c: MSTORE 00001b8d: PUSH1 0x16 00001b8f: DUP2 00001b90: MSTORE 00001b91: PUSH1 0x20 00001b93: ADD 00001b94: DUP1 00001b95: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001bb6: DUP2 00001bb7: MSTORE 00001bb8: POP 00001bb9: PUSH1 0x20 00001bbb: ADD 00001bbc: SWAP2 00001bbd: POP 00001bbe: POP 00001bbf: PUSH1 0x40 00001bc1: MLOAD 00001bc2: DUP1 00001bc3: SWAP2 00001bc4: SUB 00001bc5: SWAP1 00001bc6: REVERT 00001bc7: JUMPDEST 00001bc8: DUP1 00001bc9: PUSH1 0x04 00001bcb: DUP2 00001bcc: SWAP1 00001bcd: SSTORE 00001bce: POP 00001bcf: POP 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: PUSH1 0x00 00001bd4: DUP1 00001bd5: PUSH1 0x00 00001bd7: DUP1 00001bd8: PUSH1 0x14 00001bda: PUSH1 0x01 00001bdc: SWAP1 00001bdd: SLOAD 00001bde: SWAP1 00001bdf: PUSH2 0x0100 00001be2: EXP 00001be3: SWAP1 00001be4: DIV 00001be5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfa: AND 00001bfb: PUSH1 0x15 00001bfd: SLOAD 00001bfe: PUSH1 0x05 00001c00: SLOAD 00001c01: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c37: AND 00001c38: PUSH4 0x70a08231 00001c3d: ADDRESS 00001c3e: PUSH1 0x40 00001c40: MLOAD 00001c41: DUP3 00001c42: PUSH4 0xffffffff 00001c47: AND 00001c48: PUSH1 0xe0 00001c4a: SHL 00001c4b: DUP2 00001c4c: MSTORE 00001c4d: PUSH1 0x04 00001c4f: ADD 00001c50: DUP1 00001c51: DUP3 00001c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c67: AND 00001c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7d: AND 00001c7e: DUP2 00001c7f: MSTORE 00001c80: PUSH1 0x20 00001c82: ADD 00001c83: SWAP2 00001c84: POP 00001c85: POP 00001c86: PUSH1 0x20 00001c88: PUSH1 0x40 00001c8a: MLOAD 00001c8b: DUP1 00001c8c: DUP4 00001c8d: SUB 00001c8e: DUP2 00001c8f: DUP7 00001c90: DUP1 00001c91: EXTCODESIZE 00001c92: ISZERO 00001c93: DUP1 00001c94: ISZERO 00001c95: PUSH2 0x1c9d 00001c98: JUMPI 00001c99: PUSH1 0x00 00001c9b: DUP1 00001c9c: REVERT 00001c9d: JUMPDEST 00001c9e: POP 00001c9f: GAS 00001ca0: STATICCALL 00001ca1: ISZERO 00001ca2: DUP1 00001ca3: ISZERO 00001ca4: PUSH2 0x1cb1 00001ca7: JUMPI 00001ca8: RETURNDATASIZE 00001ca9: PUSH1 0x00 00001cab: DUP1 00001cac: RETURNDATACOPY 00001cad: RETURNDATASIZE 00001cae: PUSH1 0x00 00001cb0: REVERT 00001cb1: JUMPDEST 00001cb2: POP 00001cb3: POP 00001cb4: POP 00001cb5: POP 00001cb6: PUSH1 0x40 00001cb8: MLOAD 00001cb9: RETURNDATASIZE 00001cba: PUSH1 0x20 00001cbc: DUP2 00001cbd: LT 00001cbe: ISZERO 00001cbf: PUSH2 0x1cc7 00001cc2: JUMPI 00001cc3: PUSH1 0x00 00001cc5: DUP1 00001cc6: REVERT 00001cc7: JUMPDEST 00001cc8: DUP2 00001cc9: ADD 00001cca: SWAP1 00001ccb: DUP1 00001ccc: DUP1 00001ccd: MLOAD 00001cce: SWAP1 00001ccf: PUSH1 0x20 00001cd1: ADD 00001cd2: SWAP1 00001cd3: SWAP3 00001cd4: SWAP2 00001cd5: SWAP1 00001cd6: POP 00001cd7: POP 00001cd8: POP 00001cd9: DUP4 00001cda: SWAP4 00001cdb: POP 00001cdc: SWAP4 00001cdd: POP 00001cde: SWAP4 00001cdf: POP 00001ce0: SWAP4 00001ce1: POP 00001ce2: SWAP4 00001ce3: POP 00001ce4: SWAP1 00001ce5: SWAP2 00001ce6: SWAP3 00001ce7: SWAP4 00001ce8: JUMP 00001ce9: JUMPDEST 00001cea: PUSH1 0x00 00001cec: PUSH1 0x06 00001cee: PUSH1 0x00 00001cf0: DUP4 00001cf1: DUP2 00001cf2: MSTORE 00001cf3: PUSH1 0x20 00001cf5: ADD 00001cf6: SWAP1 00001cf7: DUP2 00001cf8: MSTORE 00001cf9: PUSH1 0x20 00001cfb: ADD 00001cfc: PUSH1 0x00 00001cfe: KECCAK256 00001cff: SLOAD 00001d00: SWAP1 00001d01: POP 00001d02: SWAP2 00001d03: SWAP1 00001d04: POP 00001d05: JUMP 00001d06: JUMPDEST 00001d07: PUSH1 0x01 00001d09: PUSH1 0x00 00001d0b: SWAP1 00001d0c: SLOAD 00001d0d: SWAP1 00001d0e: PUSH2 0x0100 00001d11: EXP 00001d12: SWAP1 00001d13: DIV 00001d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d29: AND 00001d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3f: AND 00001d40: CALLER 00001d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d56: AND 00001d57: EQ 00001d58: PUSH2 0x1dc9 00001d5b: JUMPI 00001d5c: PUSH1 0x40 00001d5e: MLOAD 00001d5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d80: DUP2 00001d81: MSTORE 00001d82: PUSH1 0x04 00001d84: ADD 00001d85: DUP1 00001d86: DUP1 00001d87: PUSH1 0x20 00001d89: ADD 00001d8a: DUP3 00001d8b: DUP2 00001d8c: SUB 00001d8d: DUP3 00001d8e: MSTORE 00001d8f: PUSH1 0x16 00001d91: DUP2 00001d92: MSTORE 00001d93: PUSH1 0x20 00001d95: ADD 00001d96: DUP1 00001d97: PUSH32 0x4f6e6c792063616c6c61626c65206279206f776e657200000000000000000000 00001db8: DUP2 00001db9: MSTORE 00001dba: POP 00001dbb: PUSH1 0x20 00001dbd: ADD 00001dbe: SWAP2 00001dbf: POP 00001dc0: POP 00001dc1: PUSH1 0x40 00001dc3: MLOAD 00001dc4: DUP1 00001dc5: SWAP2 00001dc6: SUB 00001dc7: SWAP1 00001dc8: REVERT 00001dc9: JUMPDEST 00001dca: DUP1 00001dcb: PUSH1 0x02 00001dcd: PUSH1 0x00 00001dcf: PUSH2 0x0100 00001dd2: EXP 00001dd3: DUP2 00001dd4: SLOAD 00001dd5: DUP2 00001dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001deb: MUL 00001dec: NOT 00001ded: AND 00001dee: SWAP1 00001def: DUP4 00001df0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e05: AND 00001e06: MUL 00001e07: OR 00001e08: SWAP1 00001e09: SSTORE 00001e0a: POP 00001e0b: DUP1 00001e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e21: AND 00001e22: PUSH1 0x01 00001e24: PUSH1 0x00 00001e26: SWAP1 00001e27: SLOAD 00001e28: SWAP1 00001e29: PUSH2 0x0100 00001e2c: EXP 00001e2d: SWAP1 00001e2e: DIV 00001e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e44: AND 00001e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e5a: AND 00001e5b: PUSH32 0xed8889f560326eb138920d842192f0eb3dd22b4f139c87a2c57538e05bae1278 00001e7c: PUSH1 0x40 00001e7e: MLOAD 00001e7f: PUSH1 0x40 00001e81: MLOAD 00001e82: DUP1 00001e83: SWAP2 00001e84: SUB 00001e85: SWAP1 00001e86: LOG3 00001e87: POP 00001e88: JUMP 00001e89: JUMPDEST 00001e8a: PUSH1 0x00 00001e8c: DUP1 00001e8d: DUP3 00001e8e: GT 00001e8f: PUSH2 0x1f00 00001e92: JUMPI 00001e93: PUSH1 0x40 00001e95: MLOAD 00001e96: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001eb7: DUP2 00001eb8: MSTORE 00001eb9: PUSH1 0x04 00001ebb: ADD 00001ebc: DUP1 00001ebd: DUP1 00001ebe: PUSH1 0x20 00001ec0: ADD 00001ec1: DUP3 00001ec2: DUP2 00001ec3: SUB 00001ec4: DUP3 00001ec5: MSTORE 00001ec6: PUSH1 0x1a 00001ec8: DUP2 00001ec9: MSTORE 00001eca: PUSH1 0x20 00001ecc: ADD 00001ecd: DUP1 00001ece: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001eef: DUP2 00001ef0: MSTORE 00001ef1: POP 00001ef2: PUSH1 0x20 00001ef4: ADD 00001ef5: SWAP2 00001ef6: POP 00001ef7: POP 00001ef8: PUSH1 0x40 00001efa: MLOAD 00001efb: DUP1 00001efc: SWAP2 00001efd: SUB 00001efe: SWAP1 00001eff: REVERT 00001f00: JUMPDEST 00001f01: PUSH1 0x00 00001f03: DUP3 00001f04: DUP5 00001f05: DUP2 00001f06: PUSH2 0x1f0b 00001f09: JUMPI 00001f0a: INVALID 00001f0b: JUMPDEST 00001f0c: DIV 00001f0d: SWAP1 00001f0e: POP 00001f0f: DUP1 00001f10: SWAP2 00001f11: POP 00001f12: POP 00001f13: SWAP3 00001f14: SWAP2 00001f15: POP 00001f16: POP 00001f17: JUMP 00001f18: JUMPDEST 00001f19: PUSH1 0x00 00001f1b: PUSH2 0x1f2e 00001f1e: PUSH1 0x80 00001f20: DUP4 00001f21: PUSH2 0x230a 00001f24: SWAP1 00001f25: SWAP2 00001f26: SWAP1 00001f27: PUSH4 0xffffffff 00001f2c: AND 00001f2d: JUMP 00001f2e: JUMPDEST 00001f2f: SWAP1 00001f30: POP 00001f31: DUP2 00001f32: PUSH1 0x0b 00001f34: PUSH1 0x00 00001f36: DUP6 00001f37: DUP2 00001f38: MSTORE 00001f39: PUSH1 0x20 00001f3b: ADD 00001f3c: SWAP1 00001f3d: DUP2 00001f3e: MSTORE 00001f3f: PUSH1 0x20 00001f41: ADD 00001f42: PUSH1 0x00 00001f44: KECCAK256 00001f45: DUP2 00001f46: SWAP1 00001f47: SSTORE 00001f48: POP 00001f49: DUP1 00001f4a: PUSH1 0x0c 00001f4c: PUSH1 0x00 00001f4e: DUP6 00001f4f: DUP2 00001f50: MSTORE 00001f51: PUSH1 0x20 00001f53: ADD 00001f54: SWAP1 00001f55: DUP2 00001f56: MSTORE 00001f57: PUSH1 0x20 00001f59: ADD 00001f5a: PUSH1 0x00 00001f5c: KECCAK256 00001f5d: DUP2 00001f5e: SWAP1 00001f5f: SSTORE 00001f60: POP 00001f61: PUSH1 0x0f 00001f63: PUSH1 0x00 00001f65: SWAP1 00001f66: SLOAD 00001f67: SWAP1 00001f68: PUSH2 0x0100 00001f6b: EXP 00001f6c: SWAP1 00001f6d: DIV 00001f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f83: AND 00001f84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f99: AND 00001f9a: PUSH4 0xe0ba74a6 00001f9f: PUSH1 0x08 00001fa1: PUSH1 0x00 00001fa3: DUP7 00001fa4: DUP2 00001fa5: MSTORE 00001fa6: PUSH1 0x20 00001fa8: ADD 00001fa9: SWAP1 00001faa: DUP2 00001fab: MSTORE 00001fac: PUSH1 0x20 00001fae: ADD 00001faf: PUSH1 0x00 00001fb1: KECCAK256 00001fb2: PUSH1 0x00 00001fb4: SWAP1 00001fb5: SLOAD 00001fb6: SWAP1 00001fb7: PUSH2 0x0100 00001fba: EXP 00001fbb: SWAP1 00001fbc: DIV 00001fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd2: AND 00001fd3: PUSH1 0x0e 00001fd5: PUSH1 0x00 00001fd7: DUP8 00001fd8: DUP2 00001fd9: MSTORE 00001fda: PUSH1 0x20 00001fdc: ADD 00001fdd: SWAP1 00001fde: DUP2 00001fdf: MSTORE 00001fe0: PUSH1 0x20 00001fe2: ADD 00001fe3: PUSH1 0x00 00001fe5: KECCAK256 00001fe6: SLOAD 00001fe7: DUP5 00001fe8: PUSH1 0x11 00001fea: PUSH1 0x40 00001fec: MLOAD 00001fed: DUP6 00001fee: PUSH4 0xffffffff 00001ff3: AND 00001ff4: PUSH1 0xe0 00001ff6: SHL 00001ff7: DUP2 00001ff8: MSTORE 00001ff9: PUSH1 0x04 00001ffb: ADD 00001ffc: DUP1 00001ffd: DUP6 00001ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002013: AND 00002014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002029: AND 0000202a: DUP2 0000202b: MSTORE 0000202c: PUSH1 0x20 0000202e: ADD 0000202f: DUP5 00002030: DUP2 00002031: MSTORE 00002032: PUSH1 0x20 00002034: ADD 00002035: DUP4 00002036: DUP2 00002037: MSTORE 00002038: PUSH1 0x20 0000203a: ADD 0000203b: DUP1 0000203c: PUSH1 0x20 0000203e: ADD 0000203f: DUP3 00002040: DUP2 00002041: SUB 00002042: DUP3 00002043: MSTORE 00002044: DUP4 00002045: DUP2 00002046: DUP2 00002047: SLOAD 00002048: PUSH1 0x01 0000204a: DUP2 0000204b: PUSH1 0x01 0000204d: AND 0000204e: ISZERO 0000204f: PUSH2 0x0100 00002052: MUL 00002053: SUB 00002054: AND 00002055: PUSH1 0x02 00002057: SWAP1 00002058: DIV 00002059: DUP2 0000205a: MSTORE 0000205b: PUSH1 0x20 0000205d: ADD 0000205e: SWAP2 0000205f: POP 00002060: DUP1 00002061: SLOAD 00002062: PUSH1 0x01 00002064: DUP2 00002065: PUSH1 0x01 00002067: AND 00002068: ISZERO 00002069: PUSH2 0x0100 0000206c: MUL 0000206d: SUB 0000206e: AND 0000206f: PUSH1 0x02 00002071: SWAP1 00002072: DIV 00002073: DUP1 00002074: ISZERO 00002075: PUSH2 0x20bf 00002078: JUMPI 00002079: DUP1 0000207a: PUSH1 0x1f 0000207c: LT 0000207d: PUSH2 0x2094 00002080: JUMPI 00002081: PUSH2 0x0100 00002084: DUP1 00002085: DUP4 00002086: SLOAD 00002087: DIV 00002088: MUL 00002089: DUP4 0000208a: MSTORE 0000208b: SWAP2 0000208c: PUSH1 0x20 0000208e: ADD 0000208f: SWAP2 00002090: PUSH2 0x20bf 00002093: JUMP 00002094: JUMPDEST 00002095: DUP3 00002096: ADD 00002097: SWAP2 00002098: SWAP1 00002099: PUSH1 0x00 0000209b: MSTORE 0000209c: PUSH1 0x20 0000209e: PUSH1 0x00 000020a0: KECCAK256 000020a1: SWAP1 000020a2: JUMPDEST 000020a3: DUP2 000020a4: SLOAD 000020a5: DUP2 000020a6: MSTORE 000020a7: SWAP1 000020a8: PUSH1 0x01 000020aa: ADD 000020ab: SWAP1 000020ac: PUSH1 0x20 000020ae: ADD 000020af: DUP1 000020b0: DUP4 000020b1: GT 000020b2: PUSH2 0x20a2 000020b5: JUMPI 000020b6: DUP3 000020b7: SWAP1 000020b8: SUB 000020b9: PUSH1 0x1f 000020bb: AND 000020bc: DUP3 000020bd: ADD 000020be: SWAP2 000020bf: JUMPDEST 000020c0: POP 000020c1: POP 000020c2: SWAP6 000020c3: POP 000020c4: POP 000020c5: POP 000020c6: POP 000020c7: POP 000020c8: POP 000020c9: PUSH1 0x00 000020cb: PUSH1 0x40 000020cd: MLOAD 000020ce: DUP1 000020cf: DUP4 000020d0: SUB 000020d1: DUP2 000020d2: PUSH1 0x00 000020d4: DUP8 000020d5: DUP1 000020d6: EXTCODESIZE 000020d7: ISZERO 000020d8: DUP1 000020d9: ISZERO 000020da: PUSH2 0x20e2 000020dd: JUMPI 000020de: PUSH1 0x00 000020e0: DUP1 000020e1: REVERT 000020e2: JUMPDEST 000020e3: POP 000020e4: GAS 000020e5: CALL 000020e6: ISZERO 000020e7: DUP1 000020e8: ISZERO 000020e9: PUSH2 0x20f6 000020ec: JUMPI 000020ed: RETURNDATASIZE 000020ee: PUSH1 0x00 000020f0: DUP1 000020f1: RETURNDATACOPY 000020f2: RETURNDATASIZE 000020f3: PUSH1 0x00 000020f5: REVERT 000020f6: JUMPDEST 000020f7: POP 000020f8: POP 000020f9: POP 000020fa: POP 000020fb: POP 000020fc: POP 000020fd: POP 000020fe: JUMP 000020ff: JUMPDEST 00002100: PUSH1 0x00 00002102: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 00002123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002138: AND 00002139: PUSH4 0x4000aea0 0000213e: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 0000215f: DUP6 00002160: DUP8 00002161: DUP7 00002162: PUSH1 0x40 00002164: MLOAD 00002165: PUSH1 0x20 00002167: ADD 00002168: DUP1 00002169: DUP4 0000216a: DUP2 0000216b: MSTORE 0000216c: PUSH1 0x20 0000216e: ADD 0000216f: DUP3 00002170: DUP2 00002171: MSTORE 00002172: PUSH1 0x20 00002174: ADD 00002175: SWAP3 00002176: POP 00002177: POP 00002178: POP 00002179: PUSH1 0x40 0000217b: MLOAD 0000217c: PUSH1 0x20 0000217e: DUP2 0000217f: DUP4 00002180: SUB 00002181: SUB 00002182: DUP2 00002183: MSTORE 00002184: SWAP1 00002185: PUSH1 0x40 00002187: MSTORE 00002188: PUSH1 0x40 0000218a: MLOAD 0000218b: DUP5 0000218c: PUSH4 0xffffffff 00002191: AND 00002192: PUSH1 0xe0 00002194: SHL 00002195: DUP2 00002196: MSTORE 00002197: PUSH1 0x04 00002199: ADD 0000219a: DUP1 0000219b: DUP5 0000219c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021b1: AND 000021b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021c7: AND 000021c8: DUP2 000021c9: MSTORE 000021ca: PUSH1 0x20 000021cc: ADD 000021cd: DUP4 000021ce: DUP2 000021cf: MSTORE 000021d0: PUSH1 0x20 000021d2: ADD 000021d3: DUP1 000021d4: PUSH1 0x20 000021d6: ADD 000021d7: DUP3 000021d8: DUP2 000021d9: SUB 000021da: DUP3 000021db: MSTORE 000021dc: DUP4 000021dd: DUP2 000021de: DUP2 000021df: MLOAD 000021e0: DUP2 000021e1: MSTORE 000021e2: PUSH1 0x20 000021e4: ADD 000021e5: SWAP2 000021e6: POP 000021e7: DUP1 000021e8: MLOAD 000021e9: SWAP1 000021ea: PUSH1 0x20 000021ec: ADD 000021ed: SWAP1 000021ee: DUP1 000021ef: DUP4 000021f0: DUP4 000021f1: PUSH1 0x00 000021f3: JUMPDEST 000021f4: DUP4 000021f5: DUP2 000021f6: LT 000021f7: ISZERO 000021f8: PUSH2 0x220e 000021fb: JUMPI 000021fc: DUP1 000021fd: DUP3 000021fe: ADD 000021ff: MLOAD 00002200: DUP2 00002201: DUP5 00002202: ADD 00002203: MSTORE 00002204: PUSH1 0x20 00002206: DUP2 00002207: ADD 00002208: SWAP1 00002209: POP 0000220a: PUSH2 0x21f3 0000220d: JUMP 0000220e: JUMPDEST 0000220f: POP 00002210: POP 00002211: POP 00002212: POP 00002213: SWAP1 00002214: POP 00002215: SWAP1 00002216: DUP2 00002217: ADD 00002218: SWAP1 00002219: PUSH1 0x1f 0000221b: AND 0000221c: DUP1 0000221d: ISZERO 0000221e: PUSH2 0x223b 00002221: JUMPI 00002222: DUP1 00002223: DUP3 00002224: SUB 00002225: DUP1 00002226: MLOAD 00002227: PUSH1 0x01 00002229: DUP4 0000222a: PUSH1 0x20 0000222c: SUB 0000222d: PUSH2 0x0100 00002230: EXP 00002231: SUB 00002232: NOT 00002233: AND 00002234: DUP2 00002235: MSTORE 00002236: PUSH1 0x20 00002238: ADD 00002239: SWAP2 0000223a: POP 0000223b: JUMPDEST 0000223c: POP 0000223d: SWAP5 0000223e: POP 0000223f: POP 00002240: POP 00002241: POP 00002242: POP 00002243: PUSH1 0x20 00002245: PUSH1 0x40 00002247: MLOAD 00002248: DUP1 00002249: DUP4 0000224a: SUB 0000224b: DUP2 0000224c: PUSH1 0x00 0000224e: DUP8 0000224f: DUP1 00002250: EXTCODESIZE 00002251: ISZERO 00002252: DUP1 00002253: ISZERO 00002254: PUSH2 0x225c 00002257: JUMPI 00002258: PUSH1 0x00 0000225a: DUP1 0000225b: REVERT 0000225c: JUMPDEST 0000225d: POP 0000225e: GAS 0000225f: CALL 00002260: ISZERO 00002261: DUP1 00002262: ISZERO 00002263: PUSH2 0x2270 00002266: JUMPI 00002267: RETURNDATASIZE 00002268: PUSH1 0x00 0000226a: DUP1 0000226b: RETURNDATACOPY 0000226c: RETURNDATASIZE 0000226d: PUSH1 0x00 0000226f: REVERT 00002270: JUMPDEST 00002271: POP 00002272: POP 00002273: POP 00002274: POP 00002275: PUSH1 0x40 00002277: MLOAD 00002278: RETURNDATASIZE 00002279: PUSH1 0x20 0000227b: DUP2 0000227c: LT 0000227d: ISZERO 0000227e: PUSH2 0x2286 00002281: JUMPI 00002282: PUSH1 0x00 00002284: DUP1 00002285: REVERT 00002286: JUMPDEST 00002287: DUP2 00002288: ADD 00002289: SWAP1 0000228a: DUP1 0000228b: DUP1 0000228c: MLOAD 0000228d: SWAP1 0000228e: PUSH1 0x20 00002290: ADD 00002291: SWAP1 00002292: SWAP3 00002293: SWAP2 00002294: SWAP1 00002295: POP 00002296: POP 00002297: POP 00002298: POP 00002299: PUSH1 0x00 0000229b: PUSH2 0x22b8 0000229e: DUP6 0000229f: DUP5 000022a0: ADDRESS 000022a1: PUSH1 0x00 000022a3: DUP1 000022a4: DUP11 000022a5: DUP2 000022a6: MSTORE 000022a7: PUSH1 0x20 000022a9: ADD 000022aa: SWAP1 000022ab: DUP2 000022ac: MSTORE 000022ad: PUSH1 0x20 000022af: ADD 000022b0: PUSH1 0x00 000022b2: KECCAK256 000022b3: SLOAD 000022b4: PUSH2 0x2394 000022b7: JUMP 000022b8: JUMPDEST 000022b9: SWAP1 000022ba: POP 000022bb: PUSH2 0x22e0 000022be: PUSH1 0x01 000022c0: PUSH1 0x00 000022c2: DUP1 000022c3: DUP9 000022c4: DUP2 000022c5: MSTORE 000022c6: PUSH1 0x20 000022c8: ADD 000022c9: SWAP1 000022ca: DUP2 000022cb: MSTORE 000022cc: PUSH1 0x20 000022ce: ADD 000022cf: PUSH1 0x00 000022d1: KECCAK256 000022d2: SLOAD 000022d3: PUSH2 0x240e 000022d6: SWAP1 000022d7: SWAP2 000022d8: SWAP1 000022d9: PUSH4 0xffffffff 000022de: AND 000022df: JUMP 000022e0: JUMPDEST 000022e1: PUSH1 0x00 000022e3: DUP1 000022e4: DUP8 000022e5: DUP2 000022e6: MSTORE 000022e7: PUSH1 0x20 000022e9: ADD 000022ea: SWAP1 000022eb: DUP2 000022ec: MSTORE 000022ed: PUSH1 0x20 000022ef: ADD 000022f0: PUSH1 0x00 000022f2: KECCAK256 000022f3: DUP2 000022f4: SWAP1 000022f5: SSTORE 000022f6: POP 000022f7: PUSH2 0x2300 000022fa: DUP6 000022fb: DUP3 000022fc: PUSH2 0x2496 000022ff: JUMP 00002300: JUMPDEST 00002301: SWAP2 00002302: POP 00002303: POP 00002304: SWAP4 00002305: SWAP3 00002306: POP 00002307: POP 00002308: POP 00002309: JUMP 0000230a: JUMPDEST 0000230b: PUSH1 0x00 0000230d: DUP1 0000230e: DUP3 0000230f: EQ 00002310: ISZERO 00002311: PUSH2 0x2382 00002314: JUMPI 00002315: PUSH1 0x40 00002317: MLOAD 00002318: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002339: DUP2 0000233a: MSTORE 0000233b: PUSH1 0x04 0000233d: ADD 0000233e: DUP1 0000233f: DUP1 00002340: PUSH1 0x20 00002342: ADD 00002343: DUP3 00002344: DUP2 00002345: SUB 00002346: DUP3 00002347: MSTORE 00002348: PUSH1 0x18 0000234a: DUP2 0000234b: MSTORE 0000234c: PUSH1 0x20 0000234e: ADD 0000234f: DUP1 00002350: PUSH32 0x536166654d6174683a206d6f64756c6f206279207a65726f0000000000000000 00002371: DUP2 00002372: MSTORE 00002373: POP 00002374: PUSH1 0x20 00002376: ADD 00002377: SWAP2 00002378: POP 00002379: POP 0000237a: PUSH1 0x40 0000237c: MLOAD 0000237d: DUP1 0000237e: SWAP2 0000237f: SUB 00002380: SWAP1 00002381: REVERT 00002382: JUMPDEST 00002383: DUP2 00002384: DUP4 00002385: DUP2 00002386: PUSH2 0x238b 00002389: JUMPI 0000238a: INVALID 0000238b: JUMPDEST 0000238c: MOD 0000238d: SWAP1 0000238e: POP 0000238f: SWAP3 00002390: SWAP2 00002391: POP 00002392: POP 00002393: JUMP 00002394: JUMPDEST 00002395: PUSH1 0x00 00002397: DUP5 00002398: DUP5 00002399: DUP5 0000239a: DUP5 0000239b: PUSH1 0x40 0000239d: MLOAD 0000239e: PUSH1 0x20 000023a0: ADD 000023a1: DUP1 000023a2: DUP6 000023a3: DUP2 000023a4: MSTORE 000023a5: PUSH1 0x20 000023a7: ADD 000023a8: DUP5 000023a9: DUP2 000023aa: MSTORE 000023ab: PUSH1 0x20 000023ad: ADD 000023ae: DUP4 000023af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023c4: AND 000023c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023da: AND 000023db: DUP2 000023dc: MSTORE 000023dd: PUSH1 0x20 000023df: ADD 000023e0: DUP3 000023e1: DUP2 000023e2: MSTORE 000023e3: PUSH1 0x20 000023e5: ADD 000023e6: SWAP5 000023e7: POP 000023e8: POP 000023e9: POP 000023ea: POP 000023eb: POP 000023ec: PUSH1 0x40 000023ee: MLOAD 000023ef: PUSH1 0x20 000023f1: DUP2 000023f2: DUP4 000023f3: SUB 000023f4: SUB 000023f5: DUP2 000023f6: MSTORE 000023f7: SWAP1 000023f8: PUSH1 0x40 000023fa: MSTORE 000023fb: DUP1 000023fc: MLOAD 000023fd: SWAP1 000023fe: PUSH1 0x20 00002400: ADD 00002401: KECCAK256 00002402: PUSH1 0x00 00002404: SHR 00002405: SWAP1 00002406: POP 00002407: SWAP5 00002408: SWAP4 00002409: POP 0000240a: POP 0000240b: POP 0000240c: POP 0000240d: JUMP 0000240e: JUMPDEST 0000240f: PUSH1 0x00 00002411: DUP1 00002412: DUP3 00002413: DUP5 00002414: ADD 00002415: SWAP1 00002416: POP 00002417: DUP4 00002418: DUP2 00002419: LT 0000241a: ISZERO 0000241b: PUSH2 0x248c 0000241e: JUMPI 0000241f: PUSH1 0x40 00002421: MLOAD 00002422: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002443: DUP2 00002444: MSTORE 00002445: PUSH1 0x04 00002447: ADD 00002448: DUP1 00002449: DUP1 0000244a: PUSH1 0x20 0000244c: ADD 0000244d: DUP3 0000244e: DUP2 0000244f: SUB 00002450: DUP3 00002451: MSTORE 00002452: PUSH1 0x1b 00002454: DUP2 00002455: MSTORE 00002456: PUSH1 0x20 00002458: ADD 00002459: DUP1 0000245a: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000247b: DUP2 0000247c: MSTORE 0000247d: POP 0000247e: PUSH1 0x20 00002480: ADD 00002481: SWAP2 00002482: POP 00002483: POP 00002484: PUSH1 0x40 00002486: MLOAD 00002487: DUP1 00002488: SWAP2 00002489: SUB 0000248a: SWAP1 0000248b: REVERT 0000248c: JUMPDEST 0000248d: DUP1 0000248e: SWAP2 0000248f: POP 00002490: POP 00002491: SWAP3 00002492: SWAP2 00002493: POP 00002494: POP 00002495: JUMP 00002496: JUMPDEST 00002497: PUSH1 0x00 00002499: DUP3 0000249a: DUP3 0000249b: PUSH1 0x40 0000249d: MLOAD 0000249e: PUSH1 0x20 000024a0: ADD 000024a1: DUP1 000024a2: DUP4 000024a3: DUP2 000024a4: MSTORE 000024a5: PUSH1 0x20 000024a7: ADD 000024a8: DUP3 000024a9: DUP2 000024aa: MSTORE 000024ab: PUSH1 0x20 000024ad: ADD 000024ae: SWAP3 000024af: POP 000024b0: POP 000024b1: POP 000024b2: PUSH1 0x40 000024b4: MLOAD 000024b5: PUSH1 0x20 000024b7: DUP2 000024b8: DUP4 000024b9: SUB 000024ba: SUB 000024bb: DUP2 000024bc: MSTORE 000024bd: SWAP1 000024be: PUSH1 0x40 000024c0: MSTORE 000024c1: DUP1 000024c2: MLOAD 000024c3: SWAP1 000024c4: PUSH1 0x20 000024c6: ADD 000024c7: KECCAK256 000024c8: SWAP1 000024c9: POP 000024ca: SWAP3 000024cb: SWAP2 000024cc: POP 000024cd: POP 000024ce: JUMP 000024cf: JUMPDEST 000024d0: DUP3 000024d1: DUP1 000024d2: SLOAD 000024d3: PUSH1 0x01 000024d5: DUP2 000024d6: PUSH1 0x01 000024d8: AND 000024d9: ISZERO 000024da: PUSH2 0x0100 000024dd: MUL 000024de: SUB 000024df: AND 000024e0: PUSH1 0x02 000024e2: SWAP1 000024e3: DIV 000024e4: SWAP1 000024e5: PUSH1 0x00 000024e7: MSTORE 000024e8: PUSH1 0x20 000024ea: PUSH1 0x00 000024ec: KECCAK256 000024ed: SWAP1 000024ee: PUSH1 0x1f 000024f0: ADD 000024f1: PUSH1 0x20 000024f3: SWAP1 000024f4: DIV 000024f5: DUP2 000024f6: ADD 000024f7: SWAP3 000024f8: DUP3 000024f9: PUSH1 0x1f 000024fb: LT 000024fc: PUSH2 0x2510 000024ff: JUMPI 00002500: DUP1 00002501: MLOAD 00002502: PUSH1 0xff 00002504: NOT 00002505: AND 00002506: DUP4 00002507: DUP1 00002508: ADD 00002509: OR 0000250a: DUP6 0000250b: SSTORE 0000250c: PUSH2 0x253e 0000250f: JUMP 00002510: JUMPDEST 00002511: DUP3 00002512: DUP1 00002513: ADD 00002514: PUSH1 0x01 00002516: ADD 00002517: DUP6 00002518: SSTORE 00002519: DUP3 0000251a: ISZERO 0000251b: PUSH2 0x253e 0000251e: JUMPI 0000251f: SWAP2 00002520: DUP3 00002521: ADD 00002522: JUMPDEST 00002523: DUP3 00002524: DUP2 00002525: GT 00002526: ISZERO 00002527: PUSH2 0x253d 0000252a: JUMPI 0000252b: DUP3 0000252c: MLOAD 0000252d: DUP3 0000252e: SSTORE 0000252f: SWAP2 00002530: PUSH1 0x20 00002532: ADD 00002533: SWAP2 00002534: SWAP1 00002535: PUSH1 0x01 00002537: ADD 00002538: SWAP1 00002539: PUSH2 0x2522 0000253c: JUMP 0000253d: JUMPDEST 0000253e: JUMPDEST 0000253f: POP 00002540: SWAP1 00002541: POP 00002542: PUSH2 0x254b 00002545: SWAP2 00002546: SWAP1 00002547: PUSH2 0x254f 0000254a: JUMP 0000254b: JUMPDEST 0000254c: POP 0000254d: SWAP1 0000254e: JUMP 0000254f: JUMPDEST 00002550: PUSH2 0x2571 00002553: SWAP2 00002554: SWAP1 00002555: JUMPDEST 00002556: DUP1 00002557: DUP3 00002558: GT 00002559: ISZERO 0000255a: PUSH2 0x256d 0000255d: JUMPI 0000255e: PUSH1 0x00 00002560: DUP2 00002561: PUSH1 0x00 00002563: SWAP1 00002564: SSTORE 00002565: POP 00002566: PUSH1 0x01 00002568: ADD 00002569: PUSH2 0x2555 0000256c: JUMP 0000256d: JUMPDEST 0000256e: POP 0000256f: SWAP1 00002570: JUMP 00002571: JUMPDEST 00002572: SWAP1 00002573: JUMP 00002574: INVALID 00002575: PUSH10 0x6e73756666696369656e 00002580: PUSH21 0x206574682062616c616e636520696e20636f6e7472 00002596: PUSH2 0x6374 00002599: SLOAD 0000259a: PUSH9 0x65726520617265206e 000025a4: PUSH16 0x20746f6b656e73206c65667420746f20 000025b5: PUSH14 0x696e7420286d61782d6c61737454 000025c4: PUSH16 0x6b656e496429206574682076616c7565 000025d5: KECCAK256 000025d6: PUSH17 0x726f76696465642069732062656c6f7720 000025e8: PUSH21 0x686520726571756972656420657468206665652061 000025fe: PUSH14 0x6f756e74a2646970667358221220 0000260d: MCOPY 0000260e: PUSH26 0x2a28e5cd25449b72f9674f993af6a5f603c48198d8b3c7f4babc 00002629: EXTCODEHASH 0000262a: UNKNOWN(0xA8) 0000262b: ISZERO 0000262c: MSIZE 0000262d: PUSH5 0x736f6c6343 00002633: STOP 00002634: MOD 00002635: MOD 00002636: STOP 00002637: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb698cad4f4187d995b009c38481d527a079aee7e32a42e70c9504a1a6dfb10d4
call_targets:
0x904fda0e34aa6fc61edb66020533e6cbf15a0e5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb698cad4f4187d995b009c38481d527a079aee7e32a42e70c9504a1a6dfb10d4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x904fda0e34aa6fc61edb66020533e6cbf15a0e5a"
],
"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": "0xa28598d4",
"selector": "0xa28598d4",
"calldata_variants": [
"0xa28598d4",
"0xa28598d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2ddeab9",
"selector": "0xa2ddeab9",
"calldata_variants": [
"0xa2ddeab9",
"0xa2ddeab90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3f909d4",
"selector": "0xc3f909d4",
"calldata_variants": [
"0xc3f909d4",
"0xc3f909d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdafd3d35",
"selector": "0xdafd3d35",
"calldata_variants": [
"0xdafd3d35",
"0xdafd3d350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94985ddd",
"selector": "0x94985ddd",
"calldata_variants": [
"0x94985ddd",
"0x94985ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x954781fd",
"selector": "0x954781fd",
"calldata_variants": [
"0x954781fd",
"0x954781fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x983fbab2",
"selector": "0x983fbab2",
"calldata_variants": [
"0x983fbab2",
"0x983fbab20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2728,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2420,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2922,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4325,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5009,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6763,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6974,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7488,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb698cad4f4187d995b009c38481d527a079aee7e32a42e70c9504a1a6dfb10d4
call_targets:
0x904fda0e34aa6fc61edb66020533e6cbf15a0e5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb698cad4f4187d995b009c38481d527a079aee7e32a42e70c9504a1a6dfb10d4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x904fda0e34aa6fc61edb66020533e6cbf15a0e5a"
],
"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": "0xa28598d4",
"selector": "0xa28598d4",
"calldata_variants": [
"0xa28598d4",
"0xa28598d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa2ddeab9",
"selector": "0xa2ddeab9",
"calldata_variants": [
"0xa2ddeab9",
"0xa2ddeab90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3f909d4",
"selector": "0xc3f909d4",
"calldata_variants": [
"0xc3f909d4",
"0xc3f909d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdafd3d35",
"selector": "0xdafd3d35",
"calldata_variants": [
"0xdafd3d35",
"0xdafd3d350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94985ddd",
"selector": "0x94985ddd",
"calldata_variants": [
"0x94985ddd",
"0x94985ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x954781fd",
"selector": "0x954781fd",
"calldata_variants": [
"0x954781fd",
"0x954781fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x983fbab2",
"selector": "0x983fbab2",
"calldata_variants": [
"0x983fbab2",
"0x983fbab20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2728,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8421,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2420,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2922,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4325,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4592,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5009,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6763,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6974,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7488,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|