019b477e-ccfd-72db-9efd-fcc141afae1f
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 |
|---|---|---|---|---|
| 26971 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26972 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91973 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 91974 | capability.graph | complete | 1 / 3 | 1 week ago |
| 91975 | detector.run | complete | 1 / 3 | 1 week ago |
| 91976 | validation.fork | complete | 1 / 3 | 1 week 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x019f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8daf8596 0000002f: EQ 00000030: PUSH2 0x01ca 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa262f5f8 0000003a: EQ 0000003b: PUSH2 0x01f3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe3d670d7 00000045: EQ 00000046: PUSH2 0x021c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0259 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfd731837 0000005b: EQ 0000005c: PUSH2 0x0282 0000005f: JUMPI 00000060: PUSH2 0x00b2 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x0126b50b 0000006b: EQ 0000006c: PUSH2 0x00b7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x4e71d92d 00000076: EQ 00000077: PUSH2 0x00e0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x68758ca6 00000081: EQ 00000082: PUSH2 0x00f7 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x6f8145a6 0000008c: EQ 0000008d: PUSH2 0x0120 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x715018a6 00000097: EQ 00000098: PUSH2 0x014b 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x89885049 000000a2: EQ 000000a3: PUSH2 0x0162 000000a6: JUMPI 000000a7: PUSH2 0x00b2 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00b2 000000b0: JUMPI 000000b1: STOP 000000b2: JUMPDEST 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: CALLVALUE 000000b9: DUP1 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: POP 000000c5: PUSH2 0x00de 000000c8: PUSH1 0x04 000000ca: DUP1 000000cb: CALLDATASIZE 000000cc: SUB 000000cd: DUP2 000000ce: ADD 000000cf: SWAP1 000000d0: PUSH2 0x00d9 000000d3: SWAP2 000000d4: SWAP1 000000d5: PUSH2 0x0fef 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH2 0x02bf 000000dd: JUMP 000000de: JUMPDEST 000000df: STOP 000000e0: JUMPDEST 000000e1: CALLVALUE 000000e2: DUP1 000000e3: ISZERO 000000e4: PUSH2 0x00ec 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: POP 000000ee: PUSH2 0x00f5 000000f1: PUSH2 0x037d 000000f4: JUMP 000000f5: JUMPDEST 000000f6: STOP 000000f7: JUMPDEST 000000f8: CALLVALUE 000000f9: DUP1 000000fa: ISZERO 000000fb: PUSH2 0x0103 000000fe: JUMPI 000000ff: PUSH1 0x00 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: POP 00000105: PUSH2 0x011e 00000108: PUSH1 0x04 0000010a: DUP1 0000010b: CALLDATASIZE 0000010c: SUB 0000010d: DUP2 0000010e: ADD 0000010f: SWAP1 00000110: PUSH2 0x0119 00000113: SWAP2 00000114: SWAP1 00000115: PUSH2 0x109a 00000118: JUMP 00000119: JUMPDEST 0000011a: PUSH2 0x0673 0000011d: JUMP 0000011e: JUMPDEST 0000011f: STOP 00000120: JUMPDEST 00000121: CALLVALUE 00000122: DUP1 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: POP 0000012e: PUSH2 0x0135 00000131: PUSH2 0x0768 00000134: JUMP 00000135: JUMPDEST 00000136: PUSH1 0x40 00000138: MLOAD 00000139: PUSH2 0x0142 0000013c: SWAP2 0000013d: SWAP1 0000013e: PUSH2 0x10e8 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH1 0x40 00000145: MLOAD 00000146: DUP1 00000147: SWAP2 00000148: SUB 00000149: SWAP1 0000014a: RETURN 0000014b: JUMPDEST 0000014c: CALLVALUE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: POP 00000159: PUSH2 0x0160 0000015c: PUSH2 0x078e 0000015f: JUMP 00000160: JUMPDEST 00000161: STOP 00000162: JUMPDEST 00000163: CALLVALUE 00000164: DUP1 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: PUSH2 0x0189 00000173: PUSH1 0x04 00000175: DUP1 00000176: CALLDATASIZE 00000177: SUB 00000178: DUP2 00000179: ADD 0000017a: SWAP1 0000017b: PUSH2 0x0184 0000017e: SWAP2 0000017f: SWAP1 00000180: PUSH2 0x109a 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH2 0x07a2 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: PUSH2 0x0196 00000190: SWAP2 00000191: SWAP1 00000192: PUSH2 0x111c 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: SWAP2 0000019c: SUB 0000019d: SWAP1 0000019e: RETURN 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x01b4 000001b0: PUSH2 0x0858 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: PUSH2 0x01c1 000001bb: SWAP2 000001bc: SWAP1 000001bd: PUSH2 0x1146 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x40 000001c4: MLOAD 000001c5: DUP1 000001c6: SWAP2 000001c7: SUB 000001c8: SWAP1 000001c9: RETURN 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x01f1 000001db: PUSH1 0x04 000001dd: DUP1 000001de: CALLDATASIZE 000001df: SUB 000001e0: DUP2 000001e1: ADD 000001e2: SWAP1 000001e3: PUSH2 0x01ec 000001e6: SWAP2 000001e7: SWAP1 000001e8: PUSH2 0x11e3 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH2 0x0881 000001f0: JUMP 000001f1: JUMPDEST 000001f2: STOP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x021a 00000204: PUSH1 0x04 00000206: DUP1 00000207: CALLDATASIZE 00000208: SUB 00000209: DUP2 0000020a: ADD 0000020b: SWAP1 0000020c: PUSH2 0x0215 0000020f: SWAP2 00000210: SWAP1 00000211: PUSH2 0x109a 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x09b3 00000219: JUMP 0000021a: JUMPDEST 0000021b: STOP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x0243 0000022d: PUSH1 0x04 0000022f: DUP1 00000230: CALLDATASIZE 00000231: SUB 00000232: DUP2 00000233: ADD 00000234: SWAP1 00000235: PUSH2 0x023e 00000238: SWAP2 00000239: SWAP1 0000023a: PUSH2 0x109a 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH2 0x0d10 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: MLOAD 00000247: PUSH2 0x0250 0000024a: SWAP2 0000024b: SWAP1 0000024c: PUSH2 0x111c 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: SWAP2 00000256: SUB 00000257: SWAP1 00000258: RETURN 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x0280 0000026a: PUSH1 0x04 0000026c: DUP1 0000026d: CALLDATASIZE 0000026e: SUB 0000026f: DUP2 00000270: ADD 00000271: SWAP1 00000272: PUSH2 0x027b 00000275: SWAP2 00000276: SWAP1 00000277: PUSH2 0x109a 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH2 0x0d28 0000027f: JUMP 00000280: JUMPDEST 00000281: STOP 00000282: JUMPDEST 00000283: CALLVALUE 00000284: DUP1 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH2 0x02a9 00000293: PUSH1 0x04 00000295: DUP1 00000296: CALLDATASIZE 00000297: SUB 00000298: DUP2 00000299: ADD 0000029a: SWAP1 0000029b: PUSH2 0x02a4 0000029e: SWAP2 0000029f: SWAP1 000002a0: PUSH2 0x1243 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x0dab 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: PUSH2 0x02b6 000002b0: SWAP2 000002b1: SWAP1 000002b2: PUSH2 0x1146 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: DUP1 000002bb: SWAP2 000002bc: SUB 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: PUSH2 0x02c7 000002c3: PUSH2 0x0dde 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x00 000002ca: JUMPDEST 000002cb: DUP3 000002cc: DUP3 000002cd: SWAP1 000002ce: POP 000002cf: DUP2 000002d0: LT 000002d1: ISZERO 000002d2: PUSH2 0x0378 000002d5: JUMPI 000002d6: DUP3 000002d7: DUP3 000002d8: DUP3 000002d9: DUP2 000002da: DUP2 000002db: LT 000002dc: PUSH2 0x02e8 000002df: JUMPI 000002e0: PUSH2 0x02e7 000002e3: PUSH2 0x1270 000002e6: JUMP 000002e7: JUMPDEST 000002e8: JUMPDEST 000002e9: SWAP1 000002ea: POP 000002eb: PUSH1 0x40 000002ed: MUL 000002ee: ADD 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: PUSH1 0x20 000002f4: DUP2 000002f5: ADD 000002f6: SWAP1 000002f7: PUSH2 0x0300 000002fa: SWAP2 000002fb: SWAP1 000002fc: PUSH2 0x109a 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH1 0x03 00000303: PUSH1 0x00 00000305: DUP6 00000306: DUP6 00000307: DUP6 00000308: DUP2 00000309: DUP2 0000030a: LT 0000030b: PUSH2 0x0317 0000030e: JUMPI 0000030f: PUSH2 0x0316 00000312: PUSH2 0x1270 00000315: JUMP 00000316: JUMPDEST 00000317: JUMPDEST 00000318: SWAP1 00000319: POP 0000031a: PUSH1 0x40 0000031c: MUL 0000031d: ADD 0000031e: PUSH1 0x00 00000320: ADD 00000321: CALLDATALOAD 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP1 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: PUSH1 0x00 0000032f: KECCAK256 00000330: PUSH1 0x00 00000332: PUSH2 0x0100 00000335: EXP 00000336: DUP2 00000337: SLOAD 00000338: DUP2 00000339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034e: MUL 0000034f: NOT 00000350: AND 00000351: SWAP1 00000352: DUP4 00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000368: AND 00000369: MUL 0000036a: OR 0000036b: SWAP1 0000036c: SSTORE 0000036d: POP 0000036e: DUP1 0000036f: PUSH1 0x01 00000371: ADD 00000372: SWAP1 00000373: POP 00000374: PUSH2 0x02ca 00000377: JUMP 00000378: JUMPDEST 00000379: POP 0000037a: POP 0000037b: POP 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x0385 00000381: PUSH2 0x0e5c 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x00 00000388: PUSH1 0x64 0000038a: PUSH1 0x0a 0000038c: PUSH1 0x02 0000038e: PUSH1 0x00 00000390: CALLER 00000391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a6: AND 000003a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bc: AND 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: SWAP1 000003c3: DUP2 000003c4: MSTORE 000003c5: PUSH1 0x20 000003c7: ADD 000003c8: PUSH1 0x00 000003ca: KECCAK256 000003cb: SLOAD 000003cc: PUSH2 0x03d5 000003cf: SWAP2 000003d0: SWAP1 000003d1: PUSH2 0x12ce 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH2 0x03df 000003d9: SWAP2 000003da: SWAP1 000003db: PUSH2 0x133f 000003de: JUMP 000003df: JUMPDEST 000003e0: SWAP1 000003e1: POP 000003e2: PUSH1 0x00 000003e4: DUP2 000003e5: PUSH1 0x02 000003e7: PUSH1 0x00 000003e9: CALLER 000003ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ff: AND 00000400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000415: AND 00000416: DUP2 00000417: MSTORE 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP1 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x20 00000420: ADD 00000421: PUSH1 0x00 00000423: KECCAK256 00000424: SLOAD 00000425: PUSH2 0x042e 00000428: SWAP2 00000429: SWAP1 0000042a: PUSH2 0x1370 0000042d: JUMP 0000042e: JUMPDEST 0000042f: SWAP1 00000430: POP 00000431: PUSH1 0x00 00000433: DUP2 00000434: SUB 00000435: PUSH2 0x046a 00000438: JUMPI 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: PUSH32 0xad3a8b9e00000000000000000000000000000000000000000000000000000000 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x04 00000461: ADD 00000462: PUSH1 0x40 00000464: MLOAD 00000465: DUP1 00000466: SWAP2 00000467: SUB 00000468: SWAP1 00000469: REVERT 0000046a: JUMPDEST 0000046b: PUSH1 0x00 0000046d: PUSH1 0x02 0000046f: PUSH1 0x00 00000471: CALLER 00000472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000487: AND 00000488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049d: AND 0000049e: DUP2 0000049f: MSTORE 000004a0: PUSH1 0x20 000004a2: ADD 000004a3: SWAP1 000004a4: DUP2 000004a5: MSTORE 000004a6: PUSH1 0x20 000004a8: ADD 000004a9: PUSH1 0x00 000004ab: KECCAK256 000004ac: DUP2 000004ad: SWAP1 000004ae: SSTORE 000004af: POP 000004b0: PUSH1 0x00 000004b2: CALLER 000004b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c8: AND 000004c9: DUP3 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: PUSH2 0x04d5 000004d0: SWAP1 000004d1: PUSH2 0x13d5 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x00 000004d8: PUSH1 0x40 000004da: MLOAD 000004db: DUP1 000004dc: DUP4 000004dd: SUB 000004de: DUP2 000004df: DUP6 000004e0: DUP8 000004e1: GAS 000004e2: CALL 000004e3: SWAP3 000004e4: POP 000004e5: POP 000004e6: POP 000004e7: RETURNDATASIZE 000004e8: DUP1 000004e9: PUSH1 0x00 000004eb: DUP2 000004ec: EQ 000004ed: PUSH2 0x0512 000004f0: JUMPI 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: SWAP2 000004f5: POP 000004f6: PUSH1 0x1f 000004f8: NOT 000004f9: PUSH1 0x3f 000004fb: RETURNDATASIZE 000004fc: ADD 000004fd: AND 000004fe: DUP3 000004ff: ADD 00000500: PUSH1 0x40 00000502: MSTORE 00000503: RETURNDATASIZE 00000504: DUP3 00000505: MSTORE 00000506: RETURNDATASIZE 00000507: PUSH1 0x00 00000509: PUSH1 0x20 0000050b: DUP5 0000050c: ADD 0000050d: RETURNDATACOPY 0000050e: PUSH2 0x0517 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x60 00000515: SWAP2 00000516: POP 00000517: JUMPDEST 00000518: POP 00000519: POP 0000051a: SWAP1 0000051b: POP 0000051c: DUP1 0000051d: PUSH2 0x0552 00000520: JUMPI 00000521: PUSH1 0x40 00000523: MLOAD 00000524: PUSH32 0x3794aeaf00000000000000000000000000000000000000000000000000000000 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0x04 00000549: ADD 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: SWAP2 0000054f: SUB 00000550: SWAP1 00000551: REVERT 00000552: JUMPDEST 00000553: PUSH1 0x00 00000555: PUSH1 0x04 00000557: PUSH1 0x00 00000559: SWAP1 0000055a: SLOAD 0000055b: SWAP1 0000055c: PUSH2 0x0100 0000055f: EXP 00000560: SWAP1 00000561: DIV 00000562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000577: AND 00000578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058d: AND 0000058e: DUP5 0000058f: PUSH1 0x40 00000591: MLOAD 00000592: PUSH2 0x059a 00000595: SWAP1 00000596: PUSH2 0x13d5 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x00 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: DUP1 000005a1: DUP4 000005a2: SUB 000005a3: DUP2 000005a4: DUP6 000005a5: DUP8 000005a6: GAS 000005a7: CALL 000005a8: SWAP3 000005a9: POP 000005aa: POP 000005ab: POP 000005ac: RETURNDATASIZE 000005ad: DUP1 000005ae: PUSH1 0x00 000005b0: DUP2 000005b1: EQ 000005b2: PUSH2 0x05d7 000005b5: JUMPI 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: SWAP2 000005ba: POP 000005bb: PUSH1 0x1f 000005bd: NOT 000005be: PUSH1 0x3f 000005c0: RETURNDATASIZE 000005c1: ADD 000005c2: AND 000005c3: DUP3 000005c4: ADD 000005c5: PUSH1 0x40 000005c7: MSTORE 000005c8: RETURNDATASIZE 000005c9: DUP3 000005ca: MSTORE 000005cb: RETURNDATASIZE 000005cc: PUSH1 0x00 000005ce: PUSH1 0x20 000005d0: DUP5 000005d1: ADD 000005d2: RETURNDATACOPY 000005d3: PUSH2 0x05dc 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH1 0x60 000005da: SWAP2 000005db: POP 000005dc: JUMPDEST 000005dd: POP 000005de: POP 000005df: SWAP1 000005e0: POP 000005e1: DUP1 000005e2: PUSH2 0x0617 000005e5: JUMPI 000005e6: PUSH1 0x40 000005e8: MLOAD 000005e9: PUSH32 0x3794aeaf00000000000000000000000000000000000000000000000000000000 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x04 0000060e: ADD 0000060f: PUSH1 0x40 00000611: MLOAD 00000612: DUP1 00000613: SWAP2 00000614: SUB 00000615: SWAP1 00000616: REVERT 00000617: JUMPDEST 00000618: CALLER 00000619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062e: AND 0000062f: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 00000650: DUP5 00000651: PUSH1 0x40 00000653: MLOAD 00000654: PUSH2 0x065d 00000657: SWAP2 00000658: SWAP1 00000659: PUSH2 0x111c 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP1 00000662: SWAP2 00000663: SUB 00000664: SWAP1 00000665: LOG2 00000666: POP 00000667: POP 00000668: POP 00000669: POP 0000066a: PUSH2 0x0671 0000066d: PUSH2 0x0eab 00000670: JUMP 00000671: JUMPDEST 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH2 0x067b 00000677: PUSH2 0x0dde 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x00 0000067e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000693: AND 00000694: DUP2 00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006aa: AND 000006ab: SUB 000006ac: PUSH2 0x06e1 000006af: JUMPI 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: PUSH32 0xe6c4247b00000000000000000000000000000000000000000000000000000000 000006d4: DUP2 000006d5: MSTORE 000006d6: PUSH1 0x04 000006d8: ADD 000006d9: PUSH1 0x40 000006db: MLOAD 000006dc: DUP1 000006dd: SWAP2 000006de: SUB 000006df: SWAP1 000006e0: REVERT 000006e1: JUMPDEST 000006e2: DUP1 000006e3: PUSH1 0x04 000006e5: PUSH1 0x00 000006e7: PUSH2 0x0100 000006ea: EXP 000006eb: DUP2 000006ec: SLOAD 000006ed: DUP2 000006ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000703: MUL 00000704: NOT 00000705: AND 00000706: SWAP1 00000707: DUP4 00000708: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071d: AND 0000071e: MUL 0000071f: OR 00000720: SWAP1 00000721: SSTORE 00000722: POP 00000723: DUP1 00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000739: AND 0000073a: PUSH32 0x5cb9be1228f250a2e5b26189f8bea7667c0f80cef9bef1aef9947de7bd68bb01 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: PUSH1 0x40 00000760: MLOAD 00000761: DUP1 00000762: SWAP2 00000763: SUB 00000764: SWAP1 00000765: LOG2 00000766: POP 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH1 0x04 0000076b: PUSH1 0x00 0000076d: SWAP1 0000076e: SLOAD 0000076f: SWAP1 00000770: PUSH2 0x0100 00000773: EXP 00000774: SWAP1 00000775: DIV 00000776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078b: AND 0000078c: DUP2 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH2 0x0796 00000792: PUSH2 0x0dde 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH2 0x07a0 0000079a: PUSH1 0x00 0000079c: PUSH2 0x0eb4 0000079f: JUMP 000007a0: JUMPDEST 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: DUP1 000007a6: PUSH1 0x64 000007a8: PUSH1 0x0a 000007aa: PUSH1 0x02 000007ac: PUSH1 0x00 000007ae: DUP7 000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c4: AND 000007c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007da: AND 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x20 000007df: ADD 000007e0: SWAP1 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x20 000007e5: ADD 000007e6: PUSH1 0x00 000007e8: KECCAK256 000007e9: SLOAD 000007ea: PUSH2 0x07f3 000007ed: SWAP2 000007ee: SWAP1 000007ef: PUSH2 0x12ce 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH2 0x07fd 000007f7: SWAP2 000007f8: SWAP1 000007f9: PUSH2 0x133f 000007fc: JUMP 000007fd: JUMPDEST 000007fe: SWAP1 000007ff: POP 00000800: PUSH1 0x00 00000802: DUP2 00000803: PUSH1 0x02 00000805: PUSH1 0x00 00000807: DUP7 00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081d: AND 0000081e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000833: AND 00000834: DUP2 00000835: MSTORE 00000836: PUSH1 0x20 00000838: ADD 00000839: SWAP1 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: PUSH1 0x00 00000841: KECCAK256 00000842: SLOAD 00000843: PUSH2 0x084c 00000846: SWAP2 00000847: SWAP1 00000848: PUSH2 0x1370 0000084b: JUMP 0000084c: JUMPDEST 0000084d: SWAP1 0000084e: POP 0000084f: DUP1 00000850: SWAP3 00000851: POP 00000852: POP 00000853: POP 00000854: SWAP2 00000855: SWAP1 00000856: POP 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x00 0000085b: DUP1 0000085c: PUSH1 0x00 0000085e: SWAP1 0000085f: SLOAD 00000860: SWAP1 00000861: PUSH2 0x0100 00000864: EXP 00000865: SWAP1 00000866: DIV 00000867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087c: AND 0000087d: SWAP1 0000087e: POP 0000087f: SWAP1 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH2 0x0889 00000885: PUSH2 0x0dde 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x00 0000088c: DUP2 0000088d: SUB 0000088e: PUSH2 0x08c3 00000891: JUMPI 00000892: PUSH1 0x40 00000894: MLOAD 00000895: PUSH32 0x01663f2400000000000000000000000000000000000000000000000000000000 000008b6: DUP2 000008b7: MSTORE 000008b8: PUSH1 0x04 000008ba: ADD 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: DUP1 000008bf: SWAP2 000008c0: SUB 000008c1: SWAP1 000008c2: REVERT 000008c3: JUMPDEST 000008c4: DUP1 000008c5: SELFBALANCE 000008c6: LT 000008c7: ISZERO 000008c8: PUSH2 0x090a 000008cb: JUMPI 000008cc: SELFBALANCE 000008cd: DUP2 000008ce: PUSH1 0x40 000008d0: MLOAD 000008d1: PUSH32 0xd36f5c8700000000000000000000000000000000000000000000000000000000 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x04 000008f6: ADD 000008f7: PUSH2 0x0901 000008fa: SWAP3 000008fb: SWAP2 000008fc: SWAP1 000008fd: PUSH2 0x13ea 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x40 00000904: MLOAD 00000905: DUP1 00000906: SWAP2 00000907: SUB 00000908: SWAP1 00000909: REVERT 0000090a: JUMPDEST 0000090b: PUSH1 0x00 0000090d: JUMPDEST 0000090e: DUP4 0000090f: DUP4 00000910: SWAP1 00000911: POP 00000912: DUP2 00000913: LT 00000914: ISZERO 00000915: PUSH2 0x09ad 00000918: JUMPI 00000919: DUP4 0000091a: DUP4 0000091b: DUP3 0000091c: DUP2 0000091d: DUP2 0000091e: LT 0000091f: PUSH2 0x092b 00000922: JUMPI 00000923: PUSH2 0x092a 00000926: PUSH2 0x1270 00000929: JUMP 0000092a: JUMPDEST 0000092b: JUMPDEST 0000092c: SWAP1 0000092d: POP 0000092e: PUSH1 0x40 00000930: MUL 00000931: ADD 00000932: PUSH1 0x20 00000934: ADD 00000935: CALLDATALOAD 00000936: PUSH1 0x02 00000938: PUSH1 0x00 0000093a: DUP7 0000093b: DUP7 0000093c: DUP6 0000093d: DUP2 0000093e: DUP2 0000093f: LT 00000940: PUSH2 0x094c 00000943: JUMPI 00000944: PUSH2 0x094b 00000947: PUSH2 0x1270 0000094a: JUMP 0000094b: JUMPDEST 0000094c: JUMPDEST 0000094d: SWAP1 0000094e: POP 0000094f: PUSH1 0x40 00000951: MUL 00000952: ADD 00000953: PUSH1 0x00 00000955: ADD 00000956: PUSH1 0x20 00000958: DUP2 00000959: ADD 0000095a: SWAP1 0000095b: PUSH2 0x0964 0000095e: SWAP2 0000095f: SWAP1 00000960: PUSH2 0x109a 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097a: AND 0000097b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000990: AND 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x20 00000995: ADD 00000996: SWAP1 00000997: DUP2 00000998: MSTORE 00000999: PUSH1 0x20 0000099b: ADD 0000099c: PUSH1 0x00 0000099e: KECCAK256 0000099f: DUP2 000009a0: SWAP1 000009a1: SSTORE 000009a2: POP 000009a3: DUP1 000009a4: PUSH1 0x01 000009a6: ADD 000009a7: SWAP1 000009a8: POP 000009a9: PUSH2 0x090d 000009ac: JUMP 000009ad: JUMPDEST 000009ae: POP 000009af: POP 000009b0: POP 000009b1: POP 000009b2: JUMP 000009b3: JUMPDEST 000009b4: PUSH2 0x09bb 000009b7: PUSH2 0x0e5c 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH1 0x00 000009be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d3: AND 000009d4: DUP2 000009d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ea: AND 000009eb: SUB 000009ec: PUSH2 0x0a21 000009ef: JUMPI 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: PUSH32 0xe6c4247b00000000000000000000000000000000000000000000000000000000 00000a14: DUP2 00000a15: MSTORE 00000a16: PUSH1 0x04 00000a18: ADD 00000a19: PUSH1 0x40 00000a1b: MLOAD 00000a1c: DUP1 00000a1d: SWAP2 00000a1e: SUB 00000a1f: SWAP1 00000a20: REVERT 00000a21: JUMPDEST 00000a22: PUSH1 0x00 00000a24: PUSH1 0x64 00000a26: PUSH1 0x0a 00000a28: PUSH1 0x02 00000a2a: PUSH1 0x00 00000a2c: DUP6 00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a42: AND 00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a58: AND 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: ADD 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x20 00000a63: ADD 00000a64: PUSH1 0x00 00000a66: KECCAK256 00000a67: SLOAD 00000a68: PUSH2 0x0a71 00000a6b: SWAP2 00000a6c: SWAP1 00000a6d: PUSH2 0x12ce 00000a70: JUMP 00000a71: JUMPDEST 00000a72: PUSH2 0x0a7b 00000a75: SWAP2 00000a76: SWAP1 00000a77: PUSH2 0x133f 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: SWAP1 00000a7d: POP 00000a7e: PUSH1 0x00 00000a80: DUP2 00000a81: PUSH1 0x02 00000a83: PUSH1 0x00 00000a85: DUP6 00000a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9b: AND 00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab1: AND 00000ab2: DUP2 00000ab3: MSTORE 00000ab4: PUSH1 0x20 00000ab6: ADD 00000ab7: SWAP1 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: PUSH1 0x00 00000abf: KECCAK256 00000ac0: SLOAD 00000ac1: PUSH2 0x0aca 00000ac4: SWAP2 00000ac5: SWAP1 00000ac6: PUSH2 0x1370 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: SWAP1 00000acc: POP 00000acd: PUSH1 0x00 00000acf: DUP2 00000ad0: SUB 00000ad1: PUSH2 0x0b06 00000ad4: JUMPI 00000ad5: PUSH1 0x40 00000ad7: MLOAD 00000ad8: PUSH32 0xad3a8b9e00000000000000000000000000000000000000000000000000000000 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x04 00000afd: ADD 00000afe: PUSH1 0x40 00000b00: MLOAD 00000b01: DUP1 00000b02: SWAP2 00000b03: SUB 00000b04: SWAP1 00000b05: REVERT 00000b06: JUMPDEST 00000b07: PUSH1 0x00 00000b09: PUSH1 0x02 00000b0b: PUSH1 0x00 00000b0d: DUP6 00000b0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b23: AND 00000b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b39: AND 00000b3a: DUP2 00000b3b: MSTORE 00000b3c: PUSH1 0x20 00000b3e: ADD 00000b3f: SWAP1 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x20 00000b44: ADD 00000b45: PUSH1 0x00 00000b47: KECCAK256 00000b48: DUP2 00000b49: SWAP1 00000b4a: SSTORE 00000b4b: POP 00000b4c: PUSH1 0x00 00000b4e: DUP4 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: DUP3 00000b66: PUSH1 0x40 00000b68: MLOAD 00000b69: PUSH2 0x0b71 00000b6c: SWAP1 00000b6d: PUSH2 0x13d5 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH1 0x00 00000b74: PUSH1 0x40 00000b76: MLOAD 00000b77: DUP1 00000b78: DUP4 00000b79: SUB 00000b7a: DUP2 00000b7b: DUP6 00000b7c: DUP8 00000b7d: GAS 00000b7e: CALL 00000b7f: SWAP3 00000b80: POP 00000b81: POP 00000b82: POP 00000b83: RETURNDATASIZE 00000b84: DUP1 00000b85: PUSH1 0x00 00000b87: DUP2 00000b88: EQ 00000b89: PUSH2 0x0bae 00000b8c: JUMPI 00000b8d: PUSH1 0x40 00000b8f: MLOAD 00000b90: SWAP2 00000b91: POP 00000b92: PUSH1 0x1f 00000b94: NOT 00000b95: PUSH1 0x3f 00000b97: RETURNDATASIZE 00000b98: ADD 00000b99: AND 00000b9a: DUP3 00000b9b: ADD 00000b9c: PUSH1 0x40 00000b9e: MSTORE 00000b9f: RETURNDATASIZE 00000ba0: DUP3 00000ba1: MSTORE 00000ba2: RETURNDATASIZE 00000ba3: PUSH1 0x00 00000ba5: PUSH1 0x20 00000ba7: DUP5 00000ba8: ADD 00000ba9: RETURNDATACOPY 00000baa: PUSH2 0x0bb3 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH1 0x60 00000bb1: SWAP2 00000bb2: POP 00000bb3: JUMPDEST 00000bb4: POP 00000bb5: POP 00000bb6: SWAP1 00000bb7: POP 00000bb8: DUP1 00000bb9: PUSH2 0x0bee 00000bbc: JUMPI 00000bbd: PUSH1 0x40 00000bbf: MLOAD 00000bc0: PUSH32 0x3794aeaf00000000000000000000000000000000000000000000000000000000 00000be1: DUP2 00000be2: MSTORE 00000be3: PUSH1 0x04 00000be5: ADD 00000be6: PUSH1 0x40 00000be8: MLOAD 00000be9: DUP1 00000bea: SWAP2 00000beb: SUB 00000bec: SWAP1 00000bed: REVERT 00000bee: JUMPDEST 00000bef: PUSH1 0x00 00000bf1: PUSH1 0x04 00000bf3: PUSH1 0x00 00000bf5: SWAP1 00000bf6: SLOAD 00000bf7: SWAP1 00000bf8: PUSH2 0x0100 00000bfb: EXP 00000bfc: SWAP1 00000bfd: DIV 00000bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c13: AND 00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c29: AND 00000c2a: DUP5 00000c2b: PUSH1 0x40 00000c2d: MLOAD 00000c2e: PUSH2 0x0c36 00000c31: SWAP1 00000c32: PUSH2 0x13d5 00000c35: JUMP 00000c36: JUMPDEST 00000c37: PUSH1 0x00 00000c39: PUSH1 0x40 00000c3b: MLOAD 00000c3c: DUP1 00000c3d: DUP4 00000c3e: SUB 00000c3f: DUP2 00000c40: DUP6 00000c41: DUP8 00000c42: GAS 00000c43: CALL 00000c44: SWAP3 00000c45: POP 00000c46: POP 00000c47: POP 00000c48: RETURNDATASIZE 00000c49: DUP1 00000c4a: PUSH1 0x00 00000c4c: DUP2 00000c4d: EQ 00000c4e: PUSH2 0x0c73 00000c51: JUMPI 00000c52: PUSH1 0x40 00000c54: MLOAD 00000c55: SWAP2 00000c56: POP 00000c57: PUSH1 0x1f 00000c59: NOT 00000c5a: PUSH1 0x3f 00000c5c: RETURNDATASIZE 00000c5d: ADD 00000c5e: AND 00000c5f: DUP3 00000c60: ADD 00000c61: PUSH1 0x40 00000c63: MSTORE 00000c64: RETURNDATASIZE 00000c65: DUP3 00000c66: MSTORE 00000c67: RETURNDATASIZE 00000c68: PUSH1 0x00 00000c6a: PUSH1 0x20 00000c6c: DUP5 00000c6d: ADD 00000c6e: RETURNDATACOPY 00000c6f: PUSH2 0x0c78 00000c72: JUMP 00000c73: JUMPDEST 00000c74: PUSH1 0x60 00000c76: SWAP2 00000c77: POP 00000c78: JUMPDEST 00000c79: POP 00000c7a: POP 00000c7b: SWAP1 00000c7c: POP 00000c7d: DUP1 00000c7e: PUSH2 0x0cb3 00000c81: JUMPI 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: PUSH32 0x3794aeaf00000000000000000000000000000000000000000000000000000000 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH1 0x04 00000caa: ADD 00000cab: PUSH1 0x40 00000cad: MLOAD 00000cae: DUP1 00000caf: SWAP2 00000cb0: SUB 00000cb1: SWAP1 00000cb2: REVERT 00000cb3: JUMPDEST 00000cb4: DUP5 00000cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cca: AND 00000ccb: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 00000cec: DUP5 00000ced: PUSH1 0x40 00000cef: MLOAD 00000cf0: PUSH2 0x0cf9 00000cf3: SWAP2 00000cf4: SWAP1 00000cf5: PUSH2 0x111c 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x40 00000cfc: MLOAD 00000cfd: DUP1 00000cfe: SWAP2 00000cff: SUB 00000d00: SWAP1 00000d01: LOG2 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: PUSH2 0x0d0d 00000d09: PUSH2 0x0eab 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: POP 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH1 0x02 00000d13: PUSH1 0x20 00000d15: MSTORE 00000d16: DUP1 00000d17: PUSH1 0x00 00000d19: MSTORE 00000d1a: PUSH1 0x40 00000d1c: PUSH1 0x00 00000d1e: KECCAK256 00000d1f: PUSH1 0x00 00000d21: SWAP2 00000d22: POP 00000d23: SWAP1 00000d24: POP 00000d25: SLOAD 00000d26: DUP2 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH2 0x0d30 00000d2c: PUSH2 0x0dde 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH1 0x00 00000d33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d48: AND 00000d49: DUP2 00000d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5f: AND 00000d60: SUB 00000d61: PUSH2 0x0d9f 00000d64: JUMPI 00000d65: PUSH1 0x40 00000d67: MLOAD 00000d68: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d89: DUP2 00000d8a: MSTORE 00000d8b: PUSH1 0x04 00000d8d: ADD 00000d8e: PUSH2 0x0d96 00000d91: SWAP1 00000d92: PUSH2 0x1496 00000d95: JUMP 00000d96: JUMPDEST 00000d97: PUSH1 0x40 00000d99: MLOAD 00000d9a: DUP1 00000d9b: SWAP2 00000d9c: SUB 00000d9d: SWAP1 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: PUSH2 0x0da8 00000da3: DUP2 00000da4: PUSH2 0x0eb4 00000da7: JUMP 00000da8: JUMPDEST 00000da9: POP 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH1 0x03 00000dae: PUSH1 0x20 00000db0: MSTORE 00000db1: DUP1 00000db2: PUSH1 0x00 00000db4: MSTORE 00000db5: PUSH1 0x40 00000db7: PUSH1 0x00 00000db9: KECCAK256 00000dba: PUSH1 0x00 00000dbc: SWAP2 00000dbd: POP 00000dbe: SLOAD 00000dbf: SWAP1 00000dc0: PUSH2 0x0100 00000dc3: EXP 00000dc4: SWAP1 00000dc5: DIV 00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddb: AND 00000ddc: DUP2 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: PUSH2 0x0de6 00000de2: PUSH2 0x0f78 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfc: AND 00000dfd: PUSH2 0x0e04 00000e00: PUSH2 0x0858 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1a: AND 00000e1b: EQ 00000e1c: PUSH2 0x0e5a 00000e1f: JUMPI 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x04 00000e48: ADD 00000e49: PUSH2 0x0e51 00000e4c: SWAP1 00000e4d: PUSH2 0x1502 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x40 00000e54: MLOAD 00000e55: DUP1 00000e56: SWAP2 00000e57: SUB 00000e58: SWAP1 00000e59: REVERT 00000e5a: JUMPDEST 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x02 00000e5f: PUSH1 0x01 00000e61: SLOAD 00000e62: SUB 00000e63: PUSH2 0x0ea1 00000e66: JUMPI 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e8b: DUP2 00000e8c: MSTORE 00000e8d: PUSH1 0x04 00000e8f: ADD 00000e90: PUSH2 0x0e98 00000e93: SWAP1 00000e94: PUSH2 0x156e 00000e97: JUMP 00000e98: JUMPDEST 00000e99: PUSH1 0x40 00000e9b: MLOAD 00000e9c: DUP1 00000e9d: SWAP2 00000e9e: SUB 00000e9f: SWAP1 00000ea0: REVERT 00000ea1: JUMPDEST 00000ea2: PUSH1 0x02 00000ea4: PUSH1 0x01 00000ea6: DUP2 00000ea7: SWAP1 00000ea8: SSTORE 00000ea9: POP 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH1 0x01 00000eae: DUP1 00000eaf: DUP2 00000eb0: SWAP1 00000eb1: SSTORE 00000eb2: POP 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: PUSH1 0x00 00000eb7: DUP1 00000eb8: PUSH1 0x00 00000eba: SWAP1 00000ebb: SLOAD 00000ebc: SWAP1 00000ebd: PUSH2 0x0100 00000ec0: EXP 00000ec1: SWAP1 00000ec2: DIV 00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed8: AND 00000ed9: SWAP1 00000eda: POP 00000edb: DUP2 00000edc: PUSH1 0x00 00000ede: DUP1 00000edf: PUSH2 0x0100 00000ee2: EXP 00000ee3: DUP2 00000ee4: SLOAD 00000ee5: DUP2 00000ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efb: MUL 00000efc: NOT 00000efd: AND 00000efe: SWAP1 00000eff: DUP4 00000f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f15: AND 00000f16: MUL 00000f17: OR 00000f18: SWAP1 00000f19: SSTORE 00000f1a: POP 00000f1b: DUP2 00000f1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f31: AND 00000f32: DUP2 00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f48: AND 00000f49: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f6a: PUSH1 0x40 00000f6c: MLOAD 00000f6d: PUSH1 0x40 00000f6f: MLOAD 00000f70: DUP1 00000f71: SWAP2 00000f72: SUB 00000f73: SWAP1 00000f74: LOG3 00000f75: POP 00000f76: POP 00000f77: JUMP 00000f78: JUMPDEST 00000f79: PUSH1 0x00 00000f7b: CALLER 00000f7c: SWAP1 00000f7d: POP 00000f7e: SWAP1 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x00 00000f83: DUP1 00000f84: REVERT 00000f85: JUMPDEST 00000f86: PUSH1 0x00 00000f88: DUP1 00000f89: REVERT 00000f8a: JUMPDEST 00000f8b: PUSH1 0x00 00000f8d: DUP1 00000f8e: REVERT 00000f8f: JUMPDEST 00000f90: PUSH1 0x00 00000f92: DUP1 00000f93: REVERT 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: DUP1 00000f98: REVERT 00000f99: JUMPDEST 00000f9a: PUSH1 0x00 00000f9c: DUP1 00000f9d: DUP4 00000f9e: PUSH1 0x1f 00000fa0: DUP5 00000fa1: ADD 00000fa2: SLT 00000fa3: PUSH2 0x0faf 00000fa6: JUMPI 00000fa7: PUSH2 0x0fae 00000faa: PUSH2 0x0f8a 00000fad: JUMP 00000fae: JUMPDEST 00000faf: JUMPDEST 00000fb0: DUP3 00000fb1: CALLDATALOAD 00000fb2: SWAP1 00000fb3: POP 00000fb4: PUSH8 0xffffffffffffffff 00000fbd: DUP2 00000fbe: GT 00000fbf: ISZERO 00000fc0: PUSH2 0x0fcc 00000fc3: JUMPI 00000fc4: PUSH2 0x0fcb 00000fc7: PUSH2 0x0f8f 00000fca: JUMP 00000fcb: JUMPDEST 00000fcc: JUMPDEST 00000fcd: PUSH1 0x20 00000fcf: DUP4 00000fd0: ADD 00000fd1: SWAP2 00000fd2: POP 00000fd3: DUP4 00000fd4: PUSH1 0x40 00000fd6: DUP3 00000fd7: MUL 00000fd8: DUP4 00000fd9: ADD 00000fda: GT 00000fdb: ISZERO 00000fdc: PUSH2 0x0fe8 00000fdf: JUMPI 00000fe0: PUSH2 0x0fe7 00000fe3: PUSH2 0x0f94 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: JUMPDEST 00000fe9: SWAP3 00000fea: POP 00000feb: SWAP3 00000fec: SWAP1 00000fed: POP 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: PUSH1 0x00 00000ff2: DUP1 00000ff3: PUSH1 0x20 00000ff5: DUP4 00000ff6: DUP6 00000ff7: SUB 00000ff8: SLT 00000ff9: ISZERO 00000ffa: PUSH2 0x1006 00000ffd: JUMPI 00000ffe: PUSH2 0x1005 00001001: PUSH2 0x0f80 00001004: JUMP 00001005: JUMPDEST 00001006: JUMPDEST 00001007: PUSH1 0x00 00001009: DUP4 0000100a: ADD 0000100b: CALLDATALOAD 0000100c: PUSH8 0xffffffffffffffff 00001015: DUP2 00001016: GT 00001017: ISZERO 00001018: PUSH2 0x1024 0000101b: JUMPI 0000101c: PUSH2 0x1023 0000101f: PUSH2 0x0f85 00001022: JUMP 00001023: JUMPDEST 00001024: JUMPDEST 00001025: PUSH2 0x1030 00001028: DUP6 00001029: DUP3 0000102a: DUP7 0000102b: ADD 0000102c: PUSH2 0x0f99 0000102f: JUMP 00001030: JUMPDEST 00001031: SWAP3 00001032: POP 00001033: SWAP3 00001034: POP 00001035: POP 00001036: SWAP3 00001037: POP 00001038: SWAP3 00001039: SWAP1 0000103a: POP 0000103b: JUMP 0000103c: JUMPDEST 0000103d: PUSH1 0x00 0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001054: DUP3 00001055: AND 00001056: SWAP1 00001057: POP 00001058: SWAP2 00001059: SWAP1 0000105a: POP 0000105b: JUMP 0000105c: JUMPDEST 0000105d: PUSH1 0x00 0000105f: PUSH2 0x1067 00001062: DUP3 00001063: PUSH2 0x103c 00001066: JUMP 00001067: JUMPDEST 00001068: SWAP1 00001069: POP 0000106a: SWAP2 0000106b: SWAP1 0000106c: POP 0000106d: JUMP 0000106e: JUMPDEST 0000106f: PUSH2 0x1077 00001072: DUP2 00001073: PUSH2 0x105c 00001076: JUMP 00001077: JUMPDEST 00001078: DUP2 00001079: EQ 0000107a: PUSH2 0x1082 0000107d: JUMPI 0000107e: PUSH1 0x00 00001080: DUP1 00001081: REVERT 00001082: JUMPDEST 00001083: POP 00001084: JUMP 00001085: JUMPDEST 00001086: PUSH1 0x00 00001088: DUP2 00001089: CALLDATALOAD 0000108a: SWAP1 0000108b: POP 0000108c: PUSH2 0x1094 0000108f: DUP2 00001090: PUSH2 0x106e 00001093: JUMP 00001094: JUMPDEST 00001095: SWAP3 00001096: SWAP2 00001097: POP 00001098: POP 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH1 0x00 0000109d: PUSH1 0x20 0000109f: DUP3 000010a0: DUP5 000010a1: SUB 000010a2: SLT 000010a3: ISZERO 000010a4: PUSH2 0x10b0 000010a7: JUMPI 000010a8: PUSH2 0x10af 000010ab: PUSH2 0x0f80 000010ae: JUMP 000010af: JUMPDEST 000010b0: JUMPDEST 000010b1: PUSH1 0x00 000010b3: PUSH2 0x10be 000010b6: DUP5 000010b7: DUP3 000010b8: DUP6 000010b9: ADD 000010ba: PUSH2 0x1085 000010bd: JUMP 000010be: JUMPDEST 000010bf: SWAP2 000010c0: POP 000010c1: POP 000010c2: SWAP3 000010c3: SWAP2 000010c4: POP 000010c5: POP 000010c6: JUMP 000010c7: JUMPDEST 000010c8: PUSH1 0x00 000010ca: PUSH2 0x10d2 000010cd: DUP3 000010ce: PUSH2 0x103c 000010d1: JUMP 000010d2: JUMPDEST 000010d3: SWAP1 000010d4: POP 000010d5: SWAP2 000010d6: SWAP1 000010d7: POP 000010d8: JUMP 000010d9: JUMPDEST 000010da: PUSH2 0x10e2 000010dd: DUP2 000010de: PUSH2 0x10c7 000010e1: JUMP 000010e2: JUMPDEST 000010e3: DUP3 000010e4: MSTORE 000010e5: POP 000010e6: POP 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x00 000010eb: PUSH1 0x20 000010ed: DUP3 000010ee: ADD 000010ef: SWAP1 000010f0: POP 000010f1: PUSH2 0x10fd 000010f4: PUSH1 0x00 000010f6: DUP4 000010f7: ADD 000010f8: DUP5 000010f9: PUSH2 0x10d9 000010fc: JUMP 000010fd: JUMPDEST 000010fe: SWAP3 000010ff: SWAP2 00001100: POP 00001101: POP 00001102: JUMP 00001103: JUMPDEST 00001104: PUSH1 0x00 00001106: DUP2 00001107: SWAP1 00001108: POP 00001109: SWAP2 0000110a: SWAP1 0000110b: POP 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH2 0x1116 00001111: DUP2 00001112: PUSH2 0x1103 00001115: JUMP 00001116: JUMPDEST 00001117: DUP3 00001118: MSTORE 00001119: POP 0000111a: POP 0000111b: JUMP 0000111c: JUMPDEST 0000111d: PUSH1 0x00 0000111f: PUSH1 0x20 00001121: DUP3 00001122: ADD 00001123: SWAP1 00001124: POP 00001125: PUSH2 0x1131 00001128: PUSH1 0x00 0000112a: DUP4 0000112b: ADD 0000112c: DUP5 0000112d: PUSH2 0x110d 00001130: JUMP 00001131: JUMPDEST 00001132: SWAP3 00001133: SWAP2 00001134: POP 00001135: POP 00001136: JUMP 00001137: JUMPDEST 00001138: PUSH2 0x1140 0000113b: DUP2 0000113c: PUSH2 0x105c 0000113f: JUMP 00001140: JUMPDEST 00001141: DUP3 00001142: MSTORE 00001143: POP 00001144: POP 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x00 00001149: PUSH1 0x20 0000114b: DUP3 0000114c: ADD 0000114d: SWAP1 0000114e: POP 0000114f: PUSH2 0x115b 00001152: PUSH1 0x00 00001154: DUP4 00001155: ADD 00001156: DUP5 00001157: PUSH2 0x1137 0000115a: JUMP 0000115b: JUMPDEST 0000115c: SWAP3 0000115d: SWAP2 0000115e: POP 0000115f: POP 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH1 0x00 00001164: DUP1 00001165: DUP4 00001166: PUSH1 0x1f 00001168: DUP5 00001169: ADD 0000116a: SLT 0000116b: PUSH2 0x1177 0000116e: JUMPI 0000116f: PUSH2 0x1176 00001172: PUSH2 0x0f8a 00001175: JUMP 00001176: JUMPDEST 00001177: JUMPDEST 00001178: DUP3 00001179: CALLDATALOAD 0000117a: SWAP1 0000117b: POP 0000117c: PUSH8 0xffffffffffffffff 00001185: DUP2 00001186: GT 00001187: ISZERO 00001188: PUSH2 0x1194 0000118b: JUMPI 0000118c: PUSH2 0x1193 0000118f: PUSH2 0x0f8f 00001192: JUMP 00001193: JUMPDEST 00001194: JUMPDEST 00001195: PUSH1 0x20 00001197: DUP4 00001198: ADD 00001199: SWAP2 0000119a: POP 0000119b: DUP4 0000119c: PUSH1 0x40 0000119e: DUP3 0000119f: MUL 000011a0: DUP4 000011a1: ADD 000011a2: GT 000011a3: ISZERO 000011a4: PUSH2 0x11b0 000011a7: JUMPI 000011a8: PUSH2 0x11af 000011ab: PUSH2 0x0f94 000011ae: JUMP 000011af: JUMPDEST 000011b0: JUMPDEST 000011b1: SWAP3 000011b2: POP 000011b3: SWAP3 000011b4: SWAP1 000011b5: POP 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH2 0x11c0 000011bb: DUP2 000011bc: PUSH2 0x1103 000011bf: JUMP 000011c0: JUMPDEST 000011c1: DUP2 000011c2: EQ 000011c3: PUSH2 0x11cb 000011c6: JUMPI 000011c7: PUSH1 0x00 000011c9: DUP1 000011ca: REVERT 000011cb: JUMPDEST 000011cc: POP 000011cd: JUMP 000011ce: JUMPDEST 000011cf: PUSH1 0x00 000011d1: DUP2 000011d2: CALLDATALOAD 000011d3: SWAP1 000011d4: POP 000011d5: PUSH2 0x11dd 000011d8: DUP2 000011d9: PUSH2 0x11b7 000011dc: JUMP 000011dd: JUMPDEST 000011de: SWAP3 000011df: SWAP2 000011e0: POP 000011e1: POP 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH1 0x00 000011e6: DUP1 000011e7: PUSH1 0x00 000011e9: PUSH1 0x40 000011eb: DUP5 000011ec: DUP7 000011ed: SUB 000011ee: SLT 000011ef: ISZERO 000011f0: PUSH2 0x11fc 000011f3: JUMPI 000011f4: PUSH2 0x11fb 000011f7: PUSH2 0x0f80 000011fa: JUMP 000011fb: JUMPDEST 000011fc: JUMPDEST 000011fd: PUSH1 0x00 000011ff: DUP5 00001200: ADD 00001201: CALLDATALOAD 00001202: PUSH8 0xffffffffffffffff 0000120b: DUP2 0000120c: GT 0000120d: ISZERO 0000120e: PUSH2 0x121a 00001211: JUMPI 00001212: PUSH2 0x1219 00001215: PUSH2 0x0f85 00001218: JUMP 00001219: JUMPDEST 0000121a: JUMPDEST 0000121b: PUSH2 0x1226 0000121e: DUP7 0000121f: DUP3 00001220: DUP8 00001221: ADD 00001222: PUSH2 0x1161 00001225: JUMP 00001226: JUMPDEST 00001227: SWAP4 00001228: POP 00001229: SWAP4 0000122a: POP 0000122b: POP 0000122c: PUSH1 0x20 0000122e: PUSH2 0x1239 00001231: DUP7 00001232: DUP3 00001233: DUP8 00001234: ADD 00001235: PUSH2 0x11ce 00001238: JUMP 00001239: JUMPDEST 0000123a: SWAP2 0000123b: POP 0000123c: POP 0000123d: SWAP3 0000123e: POP 0000123f: SWAP3 00001240: POP 00001241: SWAP3 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x00 00001246: PUSH1 0x20 00001248: DUP3 00001249: DUP5 0000124a: SUB 0000124b: SLT 0000124c: ISZERO 0000124d: PUSH2 0x1259 00001250: JUMPI 00001251: PUSH2 0x1258 00001254: PUSH2 0x0f80 00001257: JUMP 00001258: JUMPDEST 00001259: JUMPDEST 0000125a: PUSH1 0x00 0000125c: PUSH2 0x1267 0000125f: DUP5 00001260: DUP3 00001261: DUP6 00001262: ADD 00001263: PUSH2 0x11ce 00001266: JUMP 00001267: JUMPDEST 00001268: SWAP2 00001269: POP 0000126a: POP 0000126b: SWAP3 0000126c: SWAP2 0000126d: POP 0000126e: POP 0000126f: JUMP 00001270: JUMPDEST 00001271: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001292: PUSH1 0x00 00001294: MSTORE 00001295: PUSH1 0x32 00001297: PUSH1 0x04 00001299: MSTORE 0000129a: PUSH1 0x24 0000129c: PUSH1 0x00 0000129e: REVERT 0000129f: JUMPDEST 000012a0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000012c1: PUSH1 0x00 000012c3: MSTORE 000012c4: PUSH1 0x11 000012c6: PUSH1 0x04 000012c8: MSTORE 000012c9: PUSH1 0x24 000012cb: PUSH1 0x00 000012cd: REVERT 000012ce: JUMPDEST 000012cf: PUSH1 0x00 000012d1: PUSH2 0x12d9 000012d4: DUP3 000012d5: PUSH2 0x1103 000012d8: JUMP 000012d9: JUMPDEST 000012da: SWAP2 000012db: POP 000012dc: PUSH2 0x12e4 000012df: DUP4 000012e0: PUSH2 0x1103 000012e3: JUMP 000012e4: JUMPDEST 000012e5: SWAP3 000012e6: POP 000012e7: DUP3 000012e8: DUP3 000012e9: MUL 000012ea: PUSH2 0x12f2 000012ed: DUP2 000012ee: PUSH2 0x1103 000012f1: JUMP 000012f2: JUMPDEST 000012f3: SWAP2 000012f4: POP 000012f5: DUP3 000012f6: DUP3 000012f7: DIV 000012f8: DUP5 000012f9: EQ 000012fa: DUP4 000012fb: ISZERO 000012fc: OR 000012fd: PUSH2 0x1309 00001300: JUMPI 00001301: PUSH2 0x1308 00001304: PUSH2 0x129f 00001307: JUMP 00001308: JUMPDEST 00001309: JUMPDEST 0000130a: POP 0000130b: SWAP3 0000130c: SWAP2 0000130d: POP 0000130e: POP 0000130f: JUMP 00001310: JUMPDEST 00001311: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001332: PUSH1 0x00 00001334: MSTORE 00001335: PUSH1 0x12 00001337: PUSH1 0x04 00001339: MSTORE 0000133a: PUSH1 0x24 0000133c: PUSH1 0x00 0000133e: REVERT 0000133f: JUMPDEST 00001340: PUSH1 0x00 00001342: PUSH2 0x134a 00001345: DUP3 00001346: PUSH2 0x1103 00001349: JUMP 0000134a: JUMPDEST 0000134b: SWAP2 0000134c: POP 0000134d: PUSH2 0x1355 00001350: DUP4 00001351: PUSH2 0x1103 00001354: JUMP 00001355: JUMPDEST 00001356: SWAP3 00001357: POP 00001358: DUP3 00001359: PUSH2 0x1365 0000135c: JUMPI 0000135d: PUSH2 0x1364 00001360: PUSH2 0x1310 00001363: JUMP 00001364: JUMPDEST 00001365: JUMPDEST 00001366: DUP3 00001367: DUP3 00001368: DIV 00001369: SWAP1 0000136a: POP 0000136b: SWAP3 0000136c: SWAP2 0000136d: POP 0000136e: POP 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH1 0x00 00001373: PUSH2 0x137b 00001376: DUP3 00001377: PUSH2 0x1103 0000137a: JUMP 0000137b: JUMPDEST 0000137c: SWAP2 0000137d: POP 0000137e: PUSH2 0x1386 00001381: DUP4 00001382: PUSH2 0x1103 00001385: JUMP 00001386: JUMPDEST 00001387: SWAP3 00001388: POP 00001389: DUP3 0000138a: DUP3 0000138b: SUB 0000138c: SWAP1 0000138d: POP 0000138e: DUP2 0000138f: DUP2 00001390: GT 00001391: ISZERO 00001392: PUSH2 0x139e 00001395: JUMPI 00001396: PUSH2 0x139d 00001399: PUSH2 0x129f 0000139c: JUMP 0000139d: JUMPDEST 0000139e: JUMPDEST 0000139f: SWAP3 000013a0: SWAP2 000013a1: POP 000013a2: POP 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: DUP2 000013a8: SWAP1 000013a9: POP 000013aa: SWAP3 000013ab: SWAP2 000013ac: POP 000013ad: POP 000013ae: JUMP 000013af: JUMPDEST 000013b0: POP 000013b1: JUMP 000013b2: JUMPDEST 000013b3: PUSH1 0x00 000013b5: PUSH2 0x13bf 000013b8: PUSH1 0x00 000013ba: DUP4 000013bb: PUSH2 0x13a4 000013be: JUMP 000013bf: JUMPDEST 000013c0: SWAP2 000013c1: POP 000013c2: PUSH2 0x13ca 000013c5: DUP3 000013c6: PUSH2 0x13af 000013c9: JUMP 000013ca: JUMPDEST 000013cb: PUSH1 0x00 000013cd: DUP3 000013ce: ADD 000013cf: SWAP1 000013d0: POP 000013d1: SWAP2 000013d2: SWAP1 000013d3: POP 000013d4: JUMP 000013d5: JUMPDEST 000013d6: PUSH1 0x00 000013d8: PUSH2 0x13e0 000013db: DUP3 000013dc: PUSH2 0x13b2 000013df: JUMP 000013e0: JUMPDEST 000013e1: SWAP2 000013e2: POP 000013e3: DUP2 000013e4: SWAP1 000013e5: POP 000013e6: SWAP2 000013e7: SWAP1 000013e8: POP 000013e9: JUMP 000013ea: JUMPDEST 000013eb: PUSH1 0x00 000013ed: PUSH1 0x40 000013ef: DUP3 000013f0: ADD 000013f1: SWAP1 000013f2: POP 000013f3: PUSH2 0x13ff 000013f6: PUSH1 0x00 000013f8: DUP4 000013f9: ADD 000013fa: DUP6 000013fb: PUSH2 0x110d 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH2 0x140c 00001403: PUSH1 0x20 00001405: DUP4 00001406: ADD 00001407: DUP5 00001408: PUSH2 0x110d 0000140b: JUMP 0000140c: JUMPDEST 0000140d: SWAP4 0000140e: SWAP3 0000140f: POP 00001410: POP 00001411: POP 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH1 0x00 00001416: DUP3 00001417: DUP3 00001418: MSTORE 00001419: PUSH1 0x20 0000141b: DUP3 0000141c: ADD 0000141d: SWAP1 0000141e: POP 0000141f: SWAP3 00001420: SWAP2 00001421: POP 00001422: POP 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001446: PUSH1 0x00 00001448: DUP3 00001449: ADD 0000144a: MSTORE 0000144b: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000146c: PUSH1 0x20 0000146e: DUP3 0000146f: ADD 00001470: MSTORE 00001471: POP 00001472: JUMP 00001473: JUMPDEST 00001474: PUSH1 0x00 00001476: PUSH2 0x1480 00001479: PUSH1 0x26 0000147b: DUP4 0000147c: PUSH2 0x1413 0000147f: JUMP 00001480: JUMPDEST 00001481: SWAP2 00001482: POP 00001483: PUSH2 0x148b 00001486: DUP3 00001487: PUSH2 0x1424 0000148a: JUMP 0000148b: JUMPDEST 0000148c: PUSH1 0x40 0000148e: DUP3 0000148f: ADD 00001490: SWAP1 00001491: POP 00001492: SWAP2 00001493: SWAP1 00001494: POP 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH1 0x00 00001499: PUSH1 0x20 0000149b: DUP3 0000149c: ADD 0000149d: SWAP1 0000149e: POP 0000149f: DUP2 000014a0: DUP2 000014a1: SUB 000014a2: PUSH1 0x00 000014a4: DUP4 000014a5: ADD 000014a6: MSTORE 000014a7: PUSH2 0x14af 000014aa: DUP2 000014ab: PUSH2 0x1473 000014ae: JUMP 000014af: JUMPDEST 000014b0: SWAP1 000014b1: POP 000014b2: SWAP2 000014b3: SWAP1 000014b4: POP 000014b5: JUMP 000014b6: JUMPDEST 000014b7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000014d8: PUSH1 0x00 000014da: DUP3 000014db: ADD 000014dc: MSTORE 000014dd: POP 000014de: JUMP 000014df: JUMPDEST 000014e0: PUSH1 0x00 000014e2: PUSH2 0x14ec 000014e5: PUSH1 0x20 000014e7: DUP4 000014e8: PUSH2 0x1413 000014eb: JUMP 000014ec: JUMPDEST 000014ed: SWAP2 000014ee: POP 000014ef: PUSH2 0x14f7 000014f2: DUP3 000014f3: PUSH2 0x14b6 000014f6: JUMP 000014f7: JUMPDEST 000014f8: PUSH1 0x20 000014fa: DUP3 000014fb: ADD 000014fc: SWAP1 000014fd: POP 000014fe: SWAP2 000014ff: SWAP1 00001500: POP 00001501: JUMP 00001502: JUMPDEST 00001503: PUSH1 0x00 00001505: PUSH1 0x20 00001507: DUP3 00001508: ADD 00001509: SWAP1 0000150a: POP 0000150b: DUP2 0000150c: DUP2 0000150d: SUB 0000150e: PUSH1 0x00 00001510: DUP4 00001511: ADD 00001512: MSTORE 00001513: PUSH2 0x151b 00001516: DUP2 00001517: PUSH2 0x14df 0000151a: JUMP 0000151b: JUMPDEST 0000151c: SWAP1 0000151d: POP 0000151e: SWAP2 0000151f: SWAP1 00001520: POP 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00001544: PUSH1 0x00 00001546: DUP3 00001547: ADD 00001548: MSTORE 00001549: POP 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH1 0x00 0000154e: PUSH2 0x1558 00001551: PUSH1 0x1f 00001553: DUP4 00001554: PUSH2 0x1413 00001557: JUMP 00001558: JUMPDEST 00001559: SWAP2 0000155a: POP 0000155b: PUSH2 0x1563 0000155e: DUP3 0000155f: PUSH2 0x1522 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH1 0x20 00001566: DUP3 00001567: ADD 00001568: SWAP1 00001569: POP 0000156a: SWAP2 0000156b: SWAP1 0000156c: POP 0000156d: JUMP 0000156e: JUMPDEST 0000156f: PUSH1 0x00 00001571: PUSH1 0x20 00001573: DUP3 00001574: ADD 00001575: SWAP1 00001576: POP 00001577: DUP2 00001578: DUP2 00001579: SUB 0000157a: PUSH1 0x00 0000157c: DUP4 0000157d: ADD 0000157e: MSTORE 0000157f: PUSH2 0x1587 00001582: DUP2 00001583: PUSH2 0x154b 00001586: JUMP 00001587: JUMPDEST 00001588: SWAP1 00001589: POP 0000158a: SWAP2 0000158b: SWAP1 0000158c: POP 0000158d: JUMP 0000158e: INVALID 0000158f: LOG2 00001590: PUSH5 0x6970667358 00001596: UNKNOWN(0x22) 00001597: SLT 00001598: KECCAK256 00001599: DELEGATECALL 0000159a: UNKNOWN(0xC4) 0000159b: UNKNOWN(0x28) 0000159c: JUMPDEST 0000159d: PUSH12 0xf013d2ef9ae0917c59b78145 000015aa: CALLDATACOPY 000015ab: GASPRICE 000015ac: UNKNOWN(0x2D) 000015ad: NUMBER 000015ae: UNKNOWN(0x28) 000015af: UNKNOWN(0xAA) 000015b0: DUP3 000015b1: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xf2e24cd2696aebb8ba77b00c415b765a4681551380e881e5ac93716a8310e1c8
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 144,
"trace_id": "0xf2e24cd2696aebb8ba77b00c415b765a4681551380e881e5ac93716a8310e1c8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8daf8596",
"selector": "0x8daf8596",
"calldata_variants": [
"0x8daf8596",
"0x8daf85960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa262f5f8",
"selector": "0xa262f5f8",
"calldata_variants": [
"0xa262f5f8",
"0xa262f5f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3d670d7",
"selector": "0xe3d670d7",
"calldata_variants": [
"0xe3d670d7",
"0xe3d670d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd731837",
"selector": "0xfd731837",
"calldata_variants": [
"0xfd731837",
"0xfd7318370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0126b50b",
"selector": "0x0126b50b",
"calldata_variants": [
"0x0126b50b",
"0x0126b50b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5529,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb5f108c0752cc9ffb6578003e49a9e32f1f00056516f2936cfd23f665415e411
call_targets:
0xd14c3846573cf74336698edb8fcc9771d5b58290
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5f108c0752cc9ffb6578003e49a9e32f1f00056516f2936cfd23f665415e411",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd14c3846573cf74336698edb8fcc9771d5b58290"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8daf8596",
"selector": "0x8daf8596",
"calldata_variants": [
"0x8daf8596",
"0x8daf85960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa262f5f8",
"selector": "0xa262f5f8",
"calldata_variants": [
"0xa262f5f8",
"0xa262f5f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3d670d7",
"selector": "0xe3d670d7",
"calldata_variants": [
"0xe3d670d7",
"0xe3d670d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd731837",
"selector": "0xfd731837",
"calldata_variants": [
"0xfd731837",
"0xfd7318370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0126b50b",
"selector": "0x0126b50b",
"calldata_variants": [
"0x0126b50b",
"0x0126b50b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1447,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb5f108c0752cc9ffb6578003e49a9e32f1f00056516f2936cfd23f665415e411
call_targets:
0xd14c3846573cf74336698edb8fcc9771d5b58290
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5f108c0752cc9ffb6578003e49a9e32f1f00056516f2936cfd23f665415e411",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd14c3846573cf74336698edb8fcc9771d5b58290"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8daf8596",
"selector": "0x8daf8596",
"calldata_variants": [
"0x8daf8596",
"0x8daf85960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa262f5f8",
"selector": "0xa262f5f8",
"calldata_variants": [
"0xa262f5f8",
"0xa262f5f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3d670d7",
"selector": "0xe3d670d7",
"calldata_variants": [
"0xe3d670d7",
"0xe3d670d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd731837",
"selector": "0xfd731837",
"calldata_variants": [
"0xfd731837",
"0xfd7318370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0126b50b",
"selector": "0x0126b50b",
"calldata_variants": [
"0x0126b50b",
"0x0126b50b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1447,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|