019b3844-a07f-710f-aebe-026bf1b1fc8f
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 |
|---|---|---|---|---|
| 15279 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15280 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 100219 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 100220 | capability.graph | complete | 1 / 3 | 1 week ago |
| 100221 | detector.run | complete | 1 / 3 | 1 week ago |
| 100222 | 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 0x0109 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xb4c5dbd0 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xf75c2664 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf75c2664 0000002f: EQ 00000030: PUSH2 0x02f5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf830e7b4 0000003a: EQ 0000003b: PUSH2 0x032d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf9754c93 00000045: EQ 00000046: PUSH2 0x0352 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf9f92be4 00000050: EQ 00000051: PUSH2 0x0372 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfe55d5a4 0000005b: EQ 0000005c: PUSH2 0x03b2 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xb4c5dbd0 0000006b: EQ 0000006c: PUSH2 0x025a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd0496d6a 00000076: EQ 00000077: PUSH2 0x027a 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe0a73a93 00000081: EQ 00000082: PUSH2 0x02bd 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xf340fa01 0000008c: EQ 0000008d: PUSH2 0x02e2 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x5b7b018c 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5b7b018c 000000a7: EQ 000000a8: PUSH2 0x0190 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x682c2058 000000b2: EQ 000000b3: PUSH2 0x01b0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x74bdda60 000000bd: EQ 000000be: PUSH2 0x01e7 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa471084d 000000c8: EQ 000000c9: PUSH2 0x0222 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xada82c7d 000000d3: EQ 000000d4: PUSH2 0x0245 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x153b0d1e 000000e3: EQ 000000e4: PUSH2 0x010e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2e1a7d4d 000000ee: EQ 000000ef: PUSH2 0x0130 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x439b3e1c 000000f9: EQ 000000fa: PUSH2 0x0150 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x5854d135 00000104: EQ 00000105: PUSH2 0x0170 00000108: JUMPI 00000109: JUMPDEST 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x012e 0000011f: PUSH2 0x0129 00000122: CALLDATASIZE 00000123: PUSH1 0x04 00000125: PUSH2 0x0c51 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH2 0x03f3 0000012d: JUMP 0000012e: JUMPDEST 0000012f: STOP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: PUSH1 0x00 0000013a: DUP1 0000013b: REVERT 0000013c: JUMPDEST 0000013d: POP 0000013e: PUSH2 0x012e 00000141: PUSH2 0x014b 00000144: CALLDATASIZE 00000145: PUSH1 0x04 00000147: PUSH2 0x0d1a 0000014a: JUMP 0000014b: JUMPDEST 0000014c: PUSH2 0x0469 0000014f: JUMP 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x012e 00000161: PUSH2 0x016b 00000164: CALLDATASIZE 00000165: PUSH1 0x04 00000167: PUSH2 0x0cf1 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x0527 0000016f: JUMP 00000170: JUMPDEST 00000171: CALLVALUE 00000172: DUP1 00000173: ISZERO 00000174: PUSH2 0x017c 00000177: JUMPI 00000178: PUSH1 0x00 0000017a: DUP1 0000017b: REVERT 0000017c: JUMPDEST 0000017d: POP 0000017e: PUSH2 0x012e 00000181: PUSH2 0x018b 00000184: CALLDATASIZE 00000185: PUSH1 0x04 00000187: PUSH2 0x0c04 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH2 0x05ab 0000018f: JUMP 00000190: JUMPDEST 00000191: CALLVALUE 00000192: DUP1 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: POP 0000019e: PUSH2 0x012e 000001a1: PUSH2 0x01ab 000001a4: CALLDATASIZE 000001a5: PUSH1 0x04 000001a7: PUSH2 0x0b28 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH2 0x0685 000001af: JUMP 000001b0: JUMPDEST 000001b1: CALLVALUE 000001b2: DUP1 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: POP 000001be: PUSH1 0x07 000001c0: SLOAD 000001c1: PUSH1 0x01 000001c3: PUSH1 0x01 000001c5: PUSH1 0x80 000001c7: SHL 000001c8: SUB 000001c9: AND 000001ca: JUMPDEST 000001cb: PUSH1 0x40 000001cd: MLOAD 000001ce: PUSH1 0x01 000001d0: PUSH1 0x01 000001d2: PUSH1 0x80 000001d4: SHL 000001d5: SUB 000001d6: SWAP1 000001d7: SWAP2 000001d8: AND 000001d9: DUP2 000001da: MSTORE 000001db: PUSH1 0x20 000001dd: ADD 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: SWAP2 000001e4: SUB 000001e5: SWAP1 000001e6: RETURN 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: PUSH2 0x0214 000001f8: PUSH2 0x0202 000001fb: CALLDATASIZE 000001fc: PUSH1 0x04 000001fe: PUSH2 0x0b28 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH1 0x06 00000205: PUSH1 0x20 00000207: MSTORE 00000208: PUSH1 0x00 0000020a: SWAP1 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x40 0000020f: SWAP1 00000210: KECCAK256 00000211: SLOAD 00000212: DUP2 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH1 0x40 00000217: MLOAD 00000218: SWAP1 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: PUSH2 0x01de 00000221: JUMP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH1 0x01 00000232: SLOAD 00000233: PUSH12 0xffffffffffffffffffffffff 00000240: AND 00000241: PUSH2 0x0214 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x012e 00000256: PUSH2 0x06be 00000259: JUMP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: DUP1 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x012e 0000026b: PUSH2 0x0275 0000026e: CALLDATASIZE 0000026f: PUSH1 0x04 00000271: PUSH2 0x0b4a 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH2 0x06ff 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH1 0x04 0000028a: SLOAD 0000028b: PUSH1 0x05 0000028d: SLOAD 0000028e: PUSH2 0x029e 00000291: SWAP2 00000292: PUSH1 0x01 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: SHL 00000299: SUB 0000029a: AND 0000029b: SWAP1 0000029c: DUP3 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x40 000002a1: DUP1 000002a2: MLOAD 000002a3: PUSH1 0x01 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: SHL 000002aa: SUB 000002ab: SWAP1 000002ac: SWAP4 000002ad: AND 000002ae: DUP4 000002af: MSTORE 000002b0: PUSH1 0x20 000002b2: DUP4 000002b3: ADD 000002b4: SWAP2 000002b5: SWAP1 000002b6: SWAP2 000002b7: MSTORE 000002b8: ADD 000002b9: PUSH2 0x01de 000002bc: JUMP 000002bd: JUMPDEST 000002be: CALLVALUE 000002bf: DUP1 000002c0: ISZERO 000002c1: PUSH2 0x02c9 000002c4: JUMPI 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: POP 000002cb: PUSH1 0x07 000002cd: SLOAD 000002ce: PUSH1 0x01 000002d0: PUSH1 0x80 000002d2: SHL 000002d3: SWAP1 000002d4: DIV 000002d5: PUSH1 0x01 000002d7: PUSH1 0x01 000002d9: PUSH1 0x80 000002db: SHL 000002dc: SUB 000002dd: AND 000002de: PUSH2 0x01ca 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x012e 000002e6: PUSH2 0x02f0 000002e9: CALLDATASIZE 000002ea: PUSH1 0x04 000002ec: PUSH2 0x0b28 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH2 0x0999 000002f4: JUMP 000002f5: JUMPDEST 000002f6: CALLVALUE 000002f7: DUP1 000002f8: ISZERO 000002f9: PUSH2 0x0301 000002fc: JUMPI 000002fd: PUSH1 0x00 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: POP 00000303: PUSH1 0x00 00000305: SLOAD 00000306: PUSH2 0x0315 00000309: SWAP1 0000030a: PUSH1 0x01 0000030c: PUSH1 0x01 0000030e: PUSH1 0xa0 00000310: SHL 00000311: SUB 00000312: AND 00000313: DUP2 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x40 00000318: MLOAD 00000319: PUSH1 0x01 0000031b: PUSH1 0x01 0000031d: PUSH1 0xa0 0000031f: SHL 00000320: SUB 00000321: SWAP1 00000322: SWAP2 00000323: AND 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: PUSH2 0x01de 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH1 0x01 0000033d: SLOAD 0000033e: PUSH1 0x01 00000340: PUSH1 0x60 00000342: SHL 00000343: SWAP1 00000344: DIV 00000345: PUSH1 0x01 00000347: PUSH1 0x01 00000349: PUSH1 0xa0 0000034b: SHL 0000034c: SUB 0000034d: AND 0000034e: PUSH2 0x0315 00000351: JUMP 00000352: JUMPDEST 00000353: CALLVALUE 00000354: DUP1 00000355: ISZERO 00000356: PUSH2 0x035e 00000359: JUMPI 0000035a: PUSH1 0x00 0000035c: DUP1 0000035d: REVERT 0000035e: JUMPDEST 0000035f: POP 00000360: PUSH2 0x012e 00000363: PUSH2 0x036d 00000366: CALLDATASIZE 00000367: PUSH1 0x04 00000369: PUSH2 0x0c84 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH2 0x0a07 00000371: JUMP 00000372: JUMPDEST 00000373: CALLVALUE 00000374: DUP1 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: POP 00000380: PUSH2 0x03a2 00000383: PUSH2 0x038d 00000386: CALLDATASIZE 00000387: PUSH1 0x04 00000389: PUSH2 0x0b28 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH1 0x02 00000390: PUSH1 0x20 00000392: MSTORE 00000393: PUSH1 0x00 00000395: SWAP1 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x40 0000039a: SWAP1 0000039b: KECCAK256 0000039c: SLOAD 0000039d: PUSH1 0xff 0000039f: AND 000003a0: DUP2 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: SWAP1 000003a7: ISZERO 000003a8: ISZERO 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: PUSH2 0x01de 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x03a2 000003c3: PUSH2 0x03cd 000003c6: CALLDATASIZE 000003c7: PUSH1 0x04 000003c9: PUSH2 0x0bc8 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH1 0x03 000003d0: PUSH1 0x20 000003d2: SWAP1 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x00 000003d7: SWAP4 000003d8: DUP5 000003d9: MSTORE 000003da: PUSH1 0x40 000003dc: DUP1 000003dd: DUP6 000003de: KECCAK256 000003df: DUP3 000003e0: MSTORE 000003e1: SWAP3 000003e2: DUP5 000003e3: MSTORE 000003e4: DUP3 000003e5: DUP5 000003e6: KECCAK256 000003e7: SWAP1 000003e8: MSTORE 000003e9: DUP3 000003ea: MSTORE 000003eb: SWAP1 000003ec: KECCAK256 000003ed: SLOAD 000003ee: PUSH1 0xff 000003f0: AND 000003f1: DUP2 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x00 000003f6: SLOAD 000003f7: PUSH1 0x01 000003f9: PUSH1 0x01 000003fb: PUSH1 0xa0 000003fd: SHL 000003fe: SUB 000003ff: AND 00000400: CALLER 00000401: EQ 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: PUSH1 0x01 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: SHL 00000412: SUB 00000413: DUP3 00000414: AND 00000415: PUSH1 0x00 00000417: DUP2 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x02 0000041c: PUSH1 0x20 0000041e: SWAP1 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x40 00000423: SWAP2 00000424: DUP3 00000425: SWAP1 00000426: KECCAK256 00000427: DUP1 00000428: SLOAD 00000429: PUSH1 0xff 0000042b: NOT 0000042c: AND 0000042d: DUP6 0000042e: ISZERO 0000042f: ISZERO 00000430: SWAP1 00000431: DUP2 00000432: OR 00000433: SWAP1 00000434: SWAP2 00000435: SSTORE 00000436: SWAP2 00000437: MLOAD 00000438: SWAP2 00000439: DUP3 0000043a: MSTORE 0000043b: PUSH32 0xfed07c88bd5d31bfd0ce77ed7ffdc74a163a61cfc5edcec801e3a7954e33d6e7 0000045c: SWAP2 0000045d: ADD 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: SWAP2 00000463: SUB 00000464: SWAP1 00000465: LOG2 00000466: POP 00000467: POP 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLER 0000046b: PUSH1 0x00 0000046d: SWAP1 0000046e: DUP2 0000046f: MSTORE 00000470: PUSH1 0x06 00000472: PUSH1 0x20 00000474: MSTORE 00000475: PUSH1 0x40 00000477: DUP2 00000478: KECCAK256 00000479: DUP1 0000047a: SLOAD 0000047b: DUP4 0000047c: SWAP3 0000047d: SWAP1 0000047e: PUSH2 0x0488 00000481: SWAP1 00000482: DUP5 00000483: SWAP1 00000484: PUSH2 0x0ee8 00000487: JUMP 00000488: JUMPDEST 00000489: SWAP1 0000048a: SWAP2 0000048b: SSTORE 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP2 00000492: DUP2 00000493: MSTORE 00000494: CALLER 00000495: SWAP1 00000496: PUSH32 0x65ac0d8bb8cbc0e989ebd02ddc5161d7c499f7c21792e43fcf170314fe6bcc3f 000004b7: SWAP1 000004b8: PUSH1 0x20 000004ba: ADD 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: DUP1 000004bf: SWAP2 000004c0: SUB 000004c1: SWAP1 000004c2: LOG2 000004c3: PUSH1 0x00 000004c5: CALLER 000004c6: PUSH1 0x01 000004c8: PUSH1 0x01 000004ca: PUSH1 0xa0 000004cc: SHL 000004cd: SUB 000004ce: AND 000004cf: DUP3 000004d0: PUSH1 0x40 000004d2: MLOAD 000004d3: JUMPDEST 000004d4: PUSH1 0x00 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: DUP4 000004db: SUB 000004dc: DUP2 000004dd: DUP6 000004de: DUP8 000004df: GAS 000004e0: CALL 000004e1: SWAP3 000004e2: POP 000004e3: POP 000004e4: POP 000004e5: RETURNDATASIZE 000004e6: DUP1 000004e7: PUSH1 0x00 000004e9: DUP2 000004ea: EQ 000004eb: PUSH2 0x0510 000004ee: JUMPI 000004ef: PUSH1 0x40 000004f1: MLOAD 000004f2: SWAP2 000004f3: POP 000004f4: PUSH1 0x1f 000004f6: NOT 000004f7: PUSH1 0x3f 000004f9: RETURNDATASIZE 000004fa: ADD 000004fb: AND 000004fc: DUP3 000004fd: ADD 000004fe: PUSH1 0x40 00000500: MSTORE 00000501: RETURNDATASIZE 00000502: DUP3 00000503: MSTORE 00000504: RETURNDATASIZE 00000505: PUSH1 0x00 00000507: PUSH1 0x20 00000509: DUP5 0000050a: ADD 0000050b: RETURNDATACOPY 0000050c: PUSH2 0x0515 0000050f: JUMP 00000510: JUMPDEST 00000511: PUSH1 0x60 00000513: SWAP2 00000514: POP 00000515: JUMPDEST 00000516: POP 00000517: POP 00000518: SWAP1 00000519: POP 0000051a: DUP1 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: POP 00000525: POP 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH1 0x00 0000052a: SLOAD 0000052b: PUSH1 0x01 0000052d: PUSH1 0x01 0000052f: PUSH1 0xa0 00000531: SHL 00000532: SUB 00000533: AND 00000534: CALLER 00000535: EQ 00000536: PUSH2 0x053e 00000539: JUMPI 0000053a: PUSH1 0x00 0000053c: DUP1 0000053d: REVERT 0000053e: JUMPDEST 0000053f: PUSH1 0x07 00000541: SLOAD 00000542: PUSH1 0x40 00000544: DUP1 00000545: MLOAD 00000546: PUSH1 0x01 00000548: PUSH1 0x80 0000054a: SHL 0000054b: SWAP1 0000054c: SWAP3 0000054d: DIV 0000054e: PUSH1 0x01 00000550: PUSH1 0x01 00000552: PUSH1 0x80 00000554: SHL 00000555: SUB 00000556: SWAP1 00000557: DUP2 00000558: AND 00000559: DUP4 0000055a: MSTORE 0000055b: DUP4 0000055c: AND 0000055d: PUSH1 0x20 0000055f: DUP4 00000560: ADD 00000561: MSTORE 00000562: PUSH32 0xec6b0785fd83ba51c66ca8c8bb1e4fbdd02a0cced0457a21583fdf399eb3e000 00000583: SWAP2 00000584: ADD 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: SWAP2 0000058a: SUB 0000058b: SWAP1 0000058c: LOG1 0000058d: PUSH1 0x07 0000058f: DUP1 00000590: SLOAD 00000591: PUSH1 0x01 00000593: PUSH1 0x01 00000595: PUSH1 0x80 00000597: SHL 00000598: SUB 00000599: SWAP3 0000059a: DUP4 0000059b: AND 0000059c: PUSH1 0x01 0000059e: PUSH1 0x80 000005a0: SHL 000005a1: MUL 000005a2: SWAP3 000005a3: AND 000005a4: SWAP2 000005a5: SWAP1 000005a6: SWAP2 000005a7: OR 000005a8: SWAP1 000005a9: SSTORE 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x00 000005ae: SLOAD 000005af: PUSH1 0x01 000005b1: PUSH1 0x01 000005b3: PUSH1 0xa0 000005b5: SHL 000005b6: SUB 000005b7: AND 000005b8: CALLER 000005b9: EQ 000005ba: PUSH2 0x05c2 000005bd: JUMPI 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: CHAINID 000005c4: DUP3 000005c5: EQ 000005c6: ISZERO 000005c7: PUSH2 0x060b 000005ca: JUMPI 000005cb: PUSH1 0x40 000005cd: MLOAD 000005ce: PUSH3 0x461bcd 000005d2: PUSH1 0xe5 000005d4: SHL 000005d5: DUP2 000005d6: MSTORE 000005d7: PUSH1 0x20 000005d9: PUSH1 0x04 000005db: DUP3 000005dc: ADD 000005dd: MSTORE 000005de: PUSH1 0x12 000005e0: PUSH1 0x24 000005e2: DUP3 000005e3: ADD 000005e4: MSTORE 000005e5: PUSH18 0x20b73ca1b0b6361d102337b93134b23232b7 000005f8: PUSH1 0x71 000005fa: SHL 000005fb: PUSH1 0x44 000005fd: DUP3 000005fe: ADD 000005ff: MSTORE 00000600: PUSH1 0x64 00000602: ADD 00000603: PUSH1 0x40 00000605: MLOAD 00000606: DUP1 00000607: SWAP2 00000608: SUB 00000609: SWAP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: PUSH1 0x01 0000060e: PUSH1 0x01 00000610: PUSH1 0xa0 00000612: SHL 00000613: SUB 00000614: DUP5 00000615: DUP2 00000616: AND 00000617: PUSH1 0x00 00000619: DUP2 0000061a: DUP2 0000061b: MSTORE 0000061c: PUSH1 0x03 0000061e: PUSH1 0x20 00000620: SWAP1 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x40 00000625: DUP1 00000626: DUP4 00000627: KECCAK256 00000628: SWAP5 00000629: DUP9 0000062a: AND 0000062b: DUP1 0000062c: DUP5 0000062d: MSTORE 0000062e: SWAP5 0000062f: DUP3 00000630: MSTORE 00000631: DUP1 00000632: DUP4 00000633: KECCAK256 00000634: DUP8 00000635: DUP5 00000636: MSTORE 00000637: DUP3 00000638: MSTORE 00000639: SWAP2 0000063a: DUP3 0000063b: SWAP1 0000063c: KECCAK256 0000063d: DUP1 0000063e: SLOAD 0000063f: PUSH1 0xff 00000641: NOT 00000642: AND 00000643: DUP7 00000644: ISZERO 00000645: ISZERO 00000646: SWAP1 00000647: DUP2 00000648: OR 00000649: SWAP1 0000064a: SWAP2 0000064b: SSTORE 0000064c: SWAP2 0000064d: MLOAD 0000064e: SWAP2 0000064f: DUP3 00000650: MSTORE 00000651: DUP6 00000652: SWAP4 00000653: SWAP3 00000654: SWAP2 00000655: PUSH32 0xd06f534afab3420a99849449ccea27f5d0470a6fbd43f8f927a8af176a637a0e 00000676: SWAP2 00000677: ADD 00000678: PUSH1 0x40 0000067a: MLOAD 0000067b: DUP1 0000067c: SWAP2 0000067d: SUB 0000067e: SWAP1 0000067f: LOG4 00000680: POP 00000681: POP 00000682: POP 00000683: POP 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH1 0x00 00000688: SLOAD 00000689: PUSH1 0x01 0000068b: PUSH1 0x01 0000068d: PUSH1 0xa0 0000068f: SHL 00000690: SUB 00000691: AND 00000692: CALLER 00000693: EQ 00000694: PUSH2 0x069c 00000697: JUMPI 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: SLOAD 000006a1: PUSH1 0x01 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: SHL 000006a8: SUB 000006a9: NOT 000006aa: AND 000006ab: PUSH1 0x01 000006ad: PUSH1 0x01 000006af: PUSH1 0xa0 000006b1: SHL 000006b2: SUB 000006b3: SWAP3 000006b4: SWAP1 000006b5: SWAP3 000006b6: AND 000006b7: SWAP2 000006b8: SWAP1 000006b9: SWAP2 000006ba: OR 000006bb: SWAP1 000006bc: SSTORE 000006bd: JUMP 000006be: JUMPDEST 000006bf: PUSH1 0x07 000006c1: DUP1 000006c2: SLOAD 000006c3: PUSH16 0xffffffffffffffffffffffffffffffff 000006d4: NOT 000006d5: DUP2 000006d6: AND 000006d7: SWAP1 000006d8: SWAP2 000006d9: SSTORE 000006da: PUSH1 0x00 000006dc: DUP1 000006dd: SLOAD 000006de: PUSH1 0x40 000006e0: MLOAD 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0x80 000006e7: SHL 000006e8: SUB 000006e9: SWAP1 000006ea: SWAP4 000006eb: AND 000006ec: SWAP3 000006ed: PUSH1 0x01 000006ef: PUSH1 0x01 000006f1: PUSH1 0xa0 000006f3: SHL 000006f4: SUB 000006f5: SWAP1 000006f6: SWAP2 000006f7: AND 000006f8: SWAP1 000006f9: DUP4 000006fa: SWAP1 000006fb: PUSH2 0x04d3 000006fe: JUMP 000006ff: JUMPDEST 00000700: DUP6 00000701: PUSH1 0x00 00000703: PUSH3 0x0186a0 00000707: GAS 00000708: PUSH2 0x0711 0000070b: SWAP2 0000070c: SWAP1 0000070d: PUSH2 0x0eb1 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: SLOAD 00000715: SWAP1 00000716: SWAP2 00000717: POP 00000718: PUSH1 0x01 0000071a: PUSH1 0x01 0000071c: PUSH1 0xa0 0000071e: SHL 0000071f: SUB 00000720: AND 00000721: CALLER 00000722: EQ 00000723: PUSH2 0x072b 00000726: JUMPI 00000727: PUSH1 0x00 00000729: DUP1 0000072a: REVERT 0000072b: JUMPDEST 0000072c: PUSH1 0x40 0000072e: DUP1 0000072f: MLOAD 00000730: DUP1 00000731: DUP3 00000732: ADD 00000733: DUP3 00000734: MSTORE 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: SHL 0000073c: SUB 0000073d: DUP1 0000073e: DUP12 0000073f: AND 00000740: DUP1 00000741: DUP4 00000742: MSTORE 00000743: PUSH1 0x20 00000745: SWAP1 00000746: SWAP3 00000747: ADD 00000748: DUP7 00000749: SWAP1 0000074a: MSTORE 0000074b: PUSH1 0x04 0000074d: DUP1 0000074e: SLOAD 0000074f: PUSH1 0x01 00000751: PUSH1 0x01 00000753: PUSH1 0xa0 00000755: SHL 00000756: SUB 00000757: NOT 00000758: AND 00000759: SWAP1 0000075a: SWAP3 0000075b: OR 0000075c: SWAP1 0000075d: SWAP2 0000075e: SSTORE 0000075f: PUSH1 0x05 00000761: DUP6 00000762: SWAP1 00000763: SSTORE 00000764: SWAP1 00000765: MLOAD 00000766: PUSH1 0x00 00000768: SWAP2 00000769: DUP3 0000076a: SWAP2 0000076b: SWAP1 0000076c: DUP11 0000076d: AND 0000076e: SWAP1 0000076f: PUSH2 0x077b 00000772: SWAP1 00000773: DUP11 00000774: SWAP1 00000775: DUP11 00000776: SWAP1 00000777: PUSH2 0x0da9 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: PUSH1 0x40 00000780: MLOAD 00000781: DUP1 00000782: DUP4 00000783: SUB 00000784: DUP2 00000785: PUSH1 0x00 00000787: DUP7 00000788: GAS 00000789: CALL 0000078a: SWAP2 0000078b: POP 0000078c: POP 0000078d: RETURNDATASIZE 0000078e: DUP1 0000078f: PUSH1 0x00 00000791: DUP2 00000792: EQ 00000793: PUSH2 0x07b8 00000796: JUMPI 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: SWAP2 0000079b: POP 0000079c: PUSH1 0x1f 0000079e: NOT 0000079f: PUSH1 0x3f 000007a1: RETURNDATASIZE 000007a2: ADD 000007a3: AND 000007a4: DUP3 000007a5: ADD 000007a6: PUSH1 0x40 000007a8: MSTORE 000007a9: RETURNDATASIZE 000007aa: DUP3 000007ab: MSTORE 000007ac: RETURNDATASIZE 000007ad: PUSH1 0x00 000007af: PUSH1 0x20 000007b1: DUP5 000007b2: ADD 000007b3: RETURNDATACOPY 000007b4: PUSH2 0x07bd 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x60 000007bb: SWAP2 000007bc: POP 000007bd: JUMPDEST 000007be: POP 000007bf: PUSH1 0x40 000007c1: DUP1 000007c2: MLOAD 000007c3: DUP1 000007c4: DUP3 000007c5: ADD 000007c6: DUP3 000007c7: MSTORE 000007c8: PUSH1 0x00 000007ca: DUP1 000007cb: DUP3 000007cc: MSTORE 000007cd: PUSH1 0x20 000007cf: SWAP1 000007d0: SWAP2 000007d1: ADD 000007d2: DUP2 000007d3: SWAP1 000007d4: MSTORE 000007d5: PUSH1 0x04 000007d7: DUP1 000007d8: SLOAD 000007d9: PUSH1 0x01 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: SHL 000007e0: SUB 000007e1: NOT 000007e2: AND 000007e3: SWAP1 000007e4: SSTORE 000007e5: PUSH1 0x05 000007e7: SSTORE 000007e8: MLOAD 000007e9: SWAP2 000007ea: SWAP4 000007eb: POP 000007ec: SWAP2 000007ed: POP 000007ee: DUP6 000007ef: SWAP1 000007f0: PUSH1 0x01 000007f2: PUSH1 0x01 000007f4: PUSH1 0xa0 000007f6: SHL 000007f7: SUB 000007f8: DUP12 000007f9: DUP2 000007fa: AND 000007fb: SWAP2 000007fc: SWAP1 000007fd: DUP14 000007fe: AND 000007ff: SWAP1 00000800: PUSH32 0xe25ebdc151f8fa620001f9ab46c2c5cadfbe32f22093109f932e9f17e41c939a 00000821: SWAP1 00000822: PUSH2 0x0834 00000825: SWAP1 00000826: DUP14 00000827: SWAP1 00000828: DUP14 00000829: SWAP1 0000082a: DUP10 0000082b: SWAP1 0000082c: DUP10 0000082d: SWAP1 0000082e: DUP16 0000082f: SWAP1 00000830: PUSH2 0x0e13 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x40 00000837: MLOAD 00000838: DUP1 00000839: SWAP2 0000083a: SUB 0000083b: SWAP1 0000083c: LOG4 0000083d: DUP2 0000083e: ISZERO 0000083f: DUP1 00000840: ISZERO 00000841: PUSH2 0x0852 00000844: JUMPI 00000845: POP 00000846: PUSH1 0x01 00000848: PUSH1 0x01 0000084a: PUSH1 0xa0 0000084c: SHL 0000084d: SUB 0000084e: DUP7 0000084f: AND 00000850: ISZERO 00000851: ISZERO 00000852: JUMPDEST 00000853: ISZERO 00000854: PUSH2 0x08e3 00000857: JUMPI 00000858: DUP5 00000859: DUP7 0000085a: PUSH1 0x01 0000085c: PUSH1 0x01 0000085e: PUSH1 0xa0 00000860: SHL 00000861: SUB 00000862: AND 00000863: DUP12 00000864: PUSH1 0x01 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: SHL 0000086b: SUB 0000086c: AND 0000086d: PUSH32 0x9ca1de98ebed0a9c38ace93d3ca529edacbbe199cf1b6f0f416ae9b724d4a81c 0000088e: DUP13 0000088f: DUP13 00000890: DUP13 00000891: PUSH1 0x40 00000893: MLOAD 00000894: PUSH1 0x24 00000896: ADD 00000897: PUSH2 0x08a2 0000089a: SWAP4 0000089b: SWAP3 0000089c: SWAP2 0000089d: SWAP1 0000089e: PUSH2 0x0db9 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH1 0x40 000008a5: DUP1 000008a6: MLOAD 000008a7: PUSH1 0x1f 000008a9: NOT 000008aa: DUP2 000008ab: DUP5 000008ac: SUB 000008ad: ADD 000008ae: DUP2 000008af: MSTORE 000008b0: SWAP2 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x20 000008b5: DUP3 000008b6: ADD 000008b7: DUP1 000008b8: MLOAD 000008b9: PUSH1 0x01 000008bb: PUSH1 0x01 000008bd: PUSH1 0xe0 000008bf: SHL 000008c0: SUB 000008c1: AND 000008c2: PUSH4 0xa35fe8bf 000008c7: PUSH1 0xe0 000008c9: SHL 000008ca: OR 000008cb: SWAP1 000008cc: MSTORE 000008cd: MLOAD 000008ce: PUSH2 0x08da 000008d1: SWAP2 000008d2: SWAP1 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: PUSH2 0x0e5c 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: DUP1 000008df: SWAP2 000008e0: SUB 000008e1: SWAP1 000008e2: LOG4 000008e3: JUMPDEST 000008e4: POP 000008e5: POP 000008e6: PUSH1 0x07 000008e8: SLOAD 000008e9: PUSH1 0x00 000008eb: SWAP1 000008ec: PUSH2 0x0905 000008ef: SWAP1 000008f0: PUSH1 0x01 000008f2: PUSH1 0x80 000008f4: SHL 000008f5: SWAP1 000008f6: DIV 000008f7: PUSH1 0x01 000008f9: PUSH1 0x01 000008fb: PUSH1 0x80 000008fd: SHL 000008fe: SUB 000008ff: AND 00000900: GASPRICE 00000901: PUSH2 0x0eb1 00000904: JUMP 00000905: JUMPDEST 00000906: GAS 00000907: PUSH2 0x0910 0000090a: SWAP1 0000090b: DUP5 0000090c: PUSH2 0x0ee8 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH2 0x091a 00000914: SWAP2 00000915: SWAP1 00000916: PUSH2 0x0ec9 00000919: JUMP 0000091a: JUMPDEST 0000091b: PUSH1 0x01 0000091d: PUSH1 0x01 0000091f: PUSH1 0xa0 00000921: SHL 00000922: SUB 00000923: DUP5 00000924: AND 00000925: PUSH1 0x00 00000927: SWAP1 00000928: DUP2 00000929: MSTORE 0000092a: PUSH1 0x06 0000092c: PUSH1 0x20 0000092e: MSTORE 0000092f: PUSH1 0x40 00000931: DUP2 00000932: KECCAK256 00000933: DUP1 00000934: SLOAD 00000935: SWAP3 00000936: SWAP4 00000937: POP 00000938: DUP4 00000939: SWAP3 0000093a: SWAP1 0000093b: SWAP2 0000093c: SWAP1 0000093d: PUSH2 0x0947 00000940: SWAP1 00000941: DUP5 00000942: SWAP1 00000943: PUSH2 0x0ee8 00000946: JUMP 00000947: JUMPDEST 00000948: SWAP1 00000949: SWAP2 0000094a: SSTORE 0000094b: POP 0000094c: POP 0000094d: PUSH1 0x07 0000094f: DUP1 00000950: SLOAD 00000951: DUP3 00000952: SWAP2 00000953: SWAP1 00000954: PUSH1 0x00 00000956: SWAP1 00000957: PUSH2 0x096a 0000095a: SWAP1 0000095b: DUP5 0000095c: SWAP1 0000095d: PUSH1 0x01 0000095f: PUSH1 0x01 00000961: PUSH1 0x80 00000963: SHL 00000964: SUB 00000965: AND 00000966: PUSH2 0x0e86 00000969: JUMP 0000096a: JUMPDEST 0000096b: SWAP3 0000096c: POP 0000096d: PUSH2 0x0100 00000970: EXP 00000971: DUP2 00000972: SLOAD 00000973: DUP2 00000974: PUSH1 0x01 00000976: PUSH1 0x01 00000978: PUSH1 0x80 0000097a: SHL 0000097b: SUB 0000097c: MUL 0000097d: NOT 0000097e: AND 0000097f: SWAP1 00000980: DUP4 00000981: PUSH1 0x01 00000983: PUSH1 0x01 00000985: PUSH1 0x80 00000987: SHL 00000988: SUB 00000989: AND 0000098a: MUL 0000098b: OR 0000098c: SWAP1 0000098d: SSTORE 0000098e: POP 0000098f: POP 00000990: POP 00000991: POP 00000992: POP 00000993: POP 00000994: POP 00000995: POP 00000996: POP 00000997: POP 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x01 0000099c: PUSH1 0x01 0000099e: PUSH1 0xa0 000009a0: SHL 000009a1: SUB 000009a2: DUP2 000009a3: AND 000009a4: PUSH1 0x00 000009a6: SWAP1 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x06 000009ab: PUSH1 0x20 000009ad: MSTORE 000009ae: PUSH1 0x40 000009b0: DUP2 000009b1: KECCAK256 000009b2: DUP1 000009b3: SLOAD 000009b4: CALLVALUE 000009b5: SWAP3 000009b6: SWAP1 000009b7: PUSH2 0x09c1 000009ba: SWAP1 000009bb: DUP5 000009bc: SWAP1 000009bd: PUSH2 0x0eb1 000009c0: JUMP 000009c1: JUMPDEST 000009c2: SWAP1 000009c3: SWAP2 000009c4: SSTORE 000009c5: POP 000009c6: POP 000009c7: PUSH1 0x40 000009c9: MLOAD 000009ca: CALLVALUE 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x01 000009cf: PUSH1 0x01 000009d1: PUSH1 0xa0 000009d3: SHL 000009d4: SUB 000009d5: DUP3 000009d6: AND 000009d7: SWAP1 000009d8: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 000009f9: SWAP1 000009fa: PUSH1 0x20 000009fc: ADD 000009fd: PUSH1 0x40 000009ff: MLOAD 00000a00: DUP1 00000a01: SWAP2 00000a02: SUB 00000a03: SWAP1 00000a04: LOG2 00000a05: POP 00000a06: JUMP 00000a07: JUMPDEST 00000a08: CALLER 00000a09: PUSH1 0x00 00000a0b: SWAP1 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x02 00000a10: PUSH1 0x20 00000a12: MSTORE 00000a13: PUSH1 0x40 00000a15: SWAP1 00000a16: KECCAK256 00000a17: SLOAD 00000a18: PUSH1 0xff 00000a1a: AND 00000a1b: ISZERO 00000a1c: PUSH2 0x0a24 00000a1f: JUMPI 00000a20: PUSH1 0x00 00000a22: DUP1 00000a23: REVERT 00000a24: JUMPDEST 00000a25: CALLER 00000a26: PUSH1 0x00 00000a28: SWAP1 00000a29: DUP2 00000a2a: MSTORE 00000a2b: PUSH1 0x03 00000a2d: PUSH1 0x20 00000a2f: SWAP1 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0x40 00000a34: DUP1 00000a35: DUP4 00000a36: KECCAK256 00000a37: PUSH1 0x01 00000a39: PUSH1 0x01 00000a3b: PUSH1 0xa0 00000a3d: SHL 00000a3e: SUB 00000a3f: DUP10 00000a40: AND 00000a41: DUP5 00000a42: MSTORE 00000a43: DUP3 00000a44: MSTORE 00000a45: DUP1 00000a46: DUP4 00000a47: KECCAK256 00000a48: DUP5 00000a49: DUP5 00000a4a: MSTORE 00000a4b: SWAP1 00000a4c: SWAP2 00000a4d: MSTORE 00000a4e: SWAP1 00000a4f: KECCAK256 00000a50: SLOAD 00000a51: PUSH1 0xff 00000a53: AND 00000a54: PUSH2 0x0a5c 00000a57: JUMPI 00000a58: PUSH1 0x00 00000a5a: DUP1 00000a5b: REVERT 00000a5c: JUMPDEST 00000a5d: DUP1 00000a5e: DUP6 00000a5f: PUSH1 0x01 00000a61: PUSH1 0x01 00000a63: PUSH1 0xa0 00000a65: SHL 00000a66: SUB 00000a67: AND 00000a68: CALLER 00000a69: PUSH1 0x01 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xa0 00000a6f: SHL 00000a70: SUB 00000a71: AND 00000a72: PUSH32 0x9ca1de98ebed0a9c38ace93d3ca529edacbbe199cf1b6f0f416ae9b724d4a81c 00000a93: DUP8 00000a94: DUP8 00000a95: DUP8 00000a96: PUSH1 0x40 00000a98: MLOAD 00000a99: PUSH2 0x0aa4 00000a9c: SWAP4 00000a9d: SWAP3 00000a9e: SWAP2 00000a9f: SWAP1 00000aa0: PUSH2 0x0de7 00000aa3: JUMP 00000aa4: JUMPDEST 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: DUP1 00000aa9: SWAP2 00000aaa: SUB 00000aab: SWAP1 00000aac: LOG4 00000aad: POP 00000aae: POP 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: DUP1 00000ab5: CALLDATALOAD 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0x01 00000aba: PUSH1 0xa0 00000abc: SHL 00000abd: SUB 00000abe: DUP2 00000abf: AND 00000ac0: DUP2 00000ac1: EQ 00000ac2: PUSH2 0x0aca 00000ac5: JUMPI 00000ac6: PUSH1 0x00 00000ac8: DUP1 00000ac9: REVERT 00000aca: JUMPDEST 00000acb: SWAP2 00000acc: SWAP1 00000acd: POP 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: DUP1 00000ad1: CALLDATALOAD 00000ad2: DUP1 00000ad3: ISZERO 00000ad4: ISZERO 00000ad5: DUP2 00000ad6: EQ 00000ad7: PUSH2 0x0aca 00000ada: JUMPI 00000adb: PUSH1 0x00 00000add: DUP1 00000ade: REVERT 00000adf: JUMPDEST 00000ae0: PUSH1 0x00 00000ae2: DUP1 00000ae3: DUP4 00000ae4: PUSH1 0x1f 00000ae6: DUP5 00000ae7: ADD 00000ae8: SLT 00000ae9: PUSH2 0x0af1 00000aec: JUMPI 00000aed: PUSH1 0x00 00000aef: DUP1 00000af0: REVERT 00000af1: JUMPDEST 00000af2: POP 00000af3: DUP2 00000af4: CALLDATALOAD 00000af5: PUSH8 0xffffffffffffffff 00000afe: DUP2 00000aff: GT 00000b00: ISZERO 00000b01: PUSH2 0x0b09 00000b04: JUMPI 00000b05: PUSH1 0x00 00000b07: DUP1 00000b08: REVERT 00000b09: JUMPDEST 00000b0a: PUSH1 0x20 00000b0c: DUP4 00000b0d: ADD 00000b0e: SWAP2 00000b0f: POP 00000b10: DUP4 00000b11: PUSH1 0x20 00000b13: DUP3 00000b14: DUP6 00000b15: ADD 00000b16: ADD 00000b17: GT 00000b18: ISZERO 00000b19: PUSH2 0x0b21 00000b1c: JUMPI 00000b1d: PUSH1 0x00 00000b1f: DUP1 00000b20: REVERT 00000b21: JUMPDEST 00000b22: SWAP3 00000b23: POP 00000b24: SWAP3 00000b25: SWAP1 00000b26: POP 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH1 0x00 00000b2b: PUSH1 0x20 00000b2d: DUP3 00000b2e: DUP5 00000b2f: SUB 00000b30: SLT 00000b31: ISZERO 00000b32: PUSH2 0x0b3a 00000b35: JUMPI 00000b36: PUSH1 0x00 00000b38: DUP1 00000b39: REVERT 00000b3a: JUMPDEST 00000b3b: PUSH2 0x0b43 00000b3e: DUP3 00000b3f: PUSH2 0x0ab3 00000b42: JUMP 00000b43: JUMPDEST 00000b44: SWAP4 00000b45: SWAP3 00000b46: POP 00000b47: POP 00000b48: POP 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH1 0x00 00000b4d: DUP1 00000b4e: PUSH1 0x00 00000b50: DUP1 00000b51: PUSH1 0x00 00000b53: DUP1 00000b54: PUSH1 0xa0 00000b56: DUP8 00000b57: DUP10 00000b58: SUB 00000b59: SLT 00000b5a: ISZERO 00000b5b: PUSH2 0x0b63 00000b5e: JUMPI 00000b5f: PUSH1 0x00 00000b61: DUP1 00000b62: REVERT 00000b63: JUMPDEST 00000b64: PUSH2 0x0b6c 00000b67: DUP8 00000b68: PUSH2 0x0ab3 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: SWAP6 00000b6e: POP 00000b6f: PUSH2 0x0b7a 00000b72: PUSH1 0x20 00000b74: DUP9 00000b75: ADD 00000b76: PUSH2 0x0ab3 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: SWAP5 00000b7c: POP 00000b7d: PUSH1 0x40 00000b7f: DUP8 00000b80: ADD 00000b81: CALLDATALOAD 00000b82: PUSH8 0xffffffffffffffff 00000b8b: DUP2 00000b8c: GT 00000b8d: ISZERO 00000b8e: PUSH2 0x0b96 00000b91: JUMPI 00000b92: PUSH1 0x00 00000b94: DUP1 00000b95: REVERT 00000b96: JUMPDEST 00000b97: PUSH2 0x0ba2 00000b9a: DUP10 00000b9b: DUP3 00000b9c: DUP11 00000b9d: ADD 00000b9e: PUSH2 0x0adf 00000ba1: JUMP 00000ba2: JUMPDEST 00000ba3: SWAP1 00000ba4: SWAP6 00000ba5: POP 00000ba6: SWAP4 00000ba7: POP 00000ba8: PUSH2 0x0bb5 00000bab: SWAP1 00000bac: POP 00000bad: PUSH1 0x60 00000baf: DUP9 00000bb0: ADD 00000bb1: PUSH2 0x0ab3 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: SWAP2 00000bb7: POP 00000bb8: PUSH1 0x80 00000bba: DUP8 00000bbb: ADD 00000bbc: CALLDATALOAD 00000bbd: SWAP1 00000bbe: POP 00000bbf: SWAP3 00000bc0: SWAP6 00000bc1: POP 00000bc2: SWAP3 00000bc3: SWAP6 00000bc4: POP 00000bc5: SWAP3 00000bc6: SWAP6 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x00 00000bcb: DUP1 00000bcc: PUSH1 0x00 00000bce: PUSH1 0x60 00000bd0: DUP5 00000bd1: DUP7 00000bd2: SUB 00000bd3: SLT 00000bd4: ISZERO 00000bd5: PUSH2 0x0bdd 00000bd8: JUMPI 00000bd9: PUSH1 0x00 00000bdb: DUP1 00000bdc: REVERT 00000bdd: JUMPDEST 00000bde: PUSH2 0x0be6 00000be1: DUP5 00000be2: PUSH2 0x0ab3 00000be5: JUMP 00000be6: JUMPDEST 00000be7: SWAP3 00000be8: POP 00000be9: PUSH2 0x0bf4 00000bec: PUSH1 0x20 00000bee: DUP6 00000bef: ADD 00000bf0: PUSH2 0x0ab3 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: SWAP2 00000bf6: POP 00000bf7: PUSH1 0x40 00000bf9: DUP5 00000bfa: ADD 00000bfb: CALLDATALOAD 00000bfc: SWAP1 00000bfd: POP 00000bfe: SWAP3 00000bff: POP 00000c00: SWAP3 00000c01: POP 00000c02: SWAP3 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x00 00000c07: DUP1 00000c08: PUSH1 0x00 00000c0a: DUP1 00000c0b: PUSH1 0x80 00000c0d: DUP6 00000c0e: DUP8 00000c0f: SUB 00000c10: SLT 00000c11: ISZERO 00000c12: PUSH2 0x0c1a 00000c15: JUMPI 00000c16: PUSH1 0x00 00000c18: DUP1 00000c19: REVERT 00000c1a: JUMPDEST 00000c1b: PUSH2 0x0c23 00000c1e: DUP6 00000c1f: PUSH2 0x0ab3 00000c22: JUMP 00000c23: JUMPDEST 00000c24: SWAP4 00000c25: POP 00000c26: PUSH2 0x0c31 00000c29: PUSH1 0x20 00000c2b: DUP7 00000c2c: ADD 00000c2d: PUSH2 0x0ab3 00000c30: JUMP 00000c31: JUMPDEST 00000c32: SWAP3 00000c33: POP 00000c34: PUSH1 0x40 00000c36: DUP6 00000c37: ADD 00000c38: CALLDATALOAD 00000c39: SWAP2 00000c3a: POP 00000c3b: PUSH2 0x0c46 00000c3e: PUSH1 0x60 00000c40: DUP7 00000c41: ADD 00000c42: PUSH2 0x0acf 00000c45: JUMP 00000c46: JUMPDEST 00000c47: SWAP1 00000c48: POP 00000c49: SWAP3 00000c4a: SWAP6 00000c4b: SWAP2 00000c4c: SWAP5 00000c4d: POP 00000c4e: SWAP3 00000c4f: POP 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH1 0x00 00000c54: DUP1 00000c55: PUSH1 0x40 00000c57: DUP4 00000c58: DUP6 00000c59: SUB 00000c5a: SLT 00000c5b: ISZERO 00000c5c: PUSH2 0x0c64 00000c5f: JUMPI 00000c60: PUSH1 0x00 00000c62: DUP1 00000c63: REVERT 00000c64: JUMPDEST 00000c65: PUSH2 0x0c6d 00000c68: DUP4 00000c69: PUSH2 0x0ab3 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: SWAP2 00000c6f: POP 00000c70: PUSH2 0x0c7b 00000c73: PUSH1 0x20 00000c75: DUP5 00000c76: ADD 00000c77: PUSH2 0x0acf 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: SWAP1 00000c7d: POP 00000c7e: SWAP3 00000c7f: POP 00000c80: SWAP3 00000c81: SWAP1 00000c82: POP 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x00 00000c87: DUP1 00000c88: PUSH1 0x00 00000c8a: DUP1 00000c8b: PUSH1 0x00 00000c8d: PUSH1 0x80 00000c8f: DUP7 00000c90: DUP9 00000c91: SUB 00000c92: SLT 00000c93: ISZERO 00000c94: PUSH2 0x0c9c 00000c97: JUMPI 00000c98: PUSH1 0x00 00000c9a: DUP1 00000c9b: REVERT 00000c9c: JUMPDEST 00000c9d: PUSH2 0x0ca5 00000ca0: DUP7 00000ca1: PUSH2 0x0ab3 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: SWAP5 00000ca7: POP 00000ca8: PUSH1 0x20 00000caa: DUP7 00000cab: ADD 00000cac: CALLDATALOAD 00000cad: PUSH8 0xffffffffffffffff 00000cb6: DUP2 00000cb7: GT 00000cb8: ISZERO 00000cb9: PUSH2 0x0cc1 00000cbc: JUMPI 00000cbd: PUSH1 0x00 00000cbf: DUP1 00000cc0: REVERT 00000cc1: JUMPDEST 00000cc2: PUSH2 0x0ccd 00000cc5: DUP9 00000cc6: DUP3 00000cc7: DUP10 00000cc8: ADD 00000cc9: PUSH2 0x0adf 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: SWAP1 00000ccf: SWAP6 00000cd0: POP 00000cd1: SWAP4 00000cd2: POP 00000cd3: PUSH2 0x0ce0 00000cd6: SWAP1 00000cd7: POP 00000cd8: PUSH1 0x40 00000cda: DUP8 00000cdb: ADD 00000cdc: PUSH2 0x0ab3 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: SWAP5 00000ce2: SWAP8 00000ce3: SWAP4 00000ce4: SWAP7 00000ce5: POP 00000ce6: SWAP2 00000ce7: SWAP5 00000ce8: PUSH1 0x60 00000cea: ADD 00000ceb: CALLDATALOAD 00000cec: SWAP3 00000ced: SWAP2 00000cee: POP 00000cef: POP 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x00 00000cf4: PUSH1 0x20 00000cf6: DUP3 00000cf7: DUP5 00000cf8: SUB 00000cf9: SLT 00000cfa: ISZERO 00000cfb: PUSH2 0x0d03 00000cfe: JUMPI 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: REVERT 00000d03: JUMPDEST 00000d04: DUP2 00000d05: CALLDATALOAD 00000d06: PUSH1 0x01 00000d08: PUSH1 0x01 00000d0a: PUSH1 0x80 00000d0c: SHL 00000d0d: SUB 00000d0e: DUP2 00000d0f: AND 00000d10: DUP2 00000d11: EQ 00000d12: PUSH2 0x0b43 00000d15: JUMPI 00000d16: PUSH1 0x00 00000d18: DUP1 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: PUSH1 0x00 00000d1d: PUSH1 0x20 00000d1f: DUP3 00000d20: DUP5 00000d21: SUB 00000d22: SLT 00000d23: ISZERO 00000d24: PUSH2 0x0d2c 00000d27: JUMPI 00000d28: PUSH1 0x00 00000d2a: DUP1 00000d2b: REVERT 00000d2c: JUMPDEST 00000d2d: POP 00000d2e: CALLDATALOAD 00000d2f: SWAP2 00000d30: SWAP1 00000d31: POP 00000d32: JUMP 00000d33: JUMPDEST 00000d34: DUP2 00000d35: DUP4 00000d36: MSTORE 00000d37: DUP2 00000d38: DUP2 00000d39: PUSH1 0x20 00000d3b: DUP6 00000d3c: ADD 00000d3d: CALLDATACOPY 00000d3e: POP 00000d3f: PUSH1 0x00 00000d41: DUP3 00000d42: DUP3 00000d43: ADD 00000d44: PUSH1 0x20 00000d46: SWAP1 00000d47: DUP2 00000d48: ADD 00000d49: SWAP2 00000d4a: SWAP1 00000d4b: SWAP2 00000d4c: MSTORE 00000d4d: PUSH1 0x1f 00000d4f: SWAP1 00000d50: SWAP2 00000d51: ADD 00000d52: PUSH1 0x1f 00000d54: NOT 00000d55: AND 00000d56: SWAP1 00000d57: SWAP2 00000d58: ADD 00000d59: ADD 00000d5a: SWAP1 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: PUSH1 0x00 00000d5f: DUP2 00000d60: MLOAD 00000d61: DUP1 00000d62: DUP5 00000d63: MSTORE 00000d64: PUSH1 0x00 00000d66: JUMPDEST 00000d67: DUP2 00000d68: DUP2 00000d69: LT 00000d6a: ISZERO 00000d6b: PUSH2 0x0d82 00000d6e: JUMPI 00000d6f: PUSH1 0x20 00000d71: DUP2 00000d72: DUP6 00000d73: ADD 00000d74: DUP2 00000d75: ADD 00000d76: MLOAD 00000d77: DUP7 00000d78: DUP4 00000d79: ADD 00000d7a: DUP3 00000d7b: ADD 00000d7c: MSTORE 00000d7d: ADD 00000d7e: PUSH2 0x0d66 00000d81: JUMP 00000d82: JUMPDEST 00000d83: DUP2 00000d84: DUP2 00000d85: GT 00000d86: ISZERO 00000d87: PUSH2 0x0d94 00000d8a: JUMPI 00000d8b: PUSH1 0x00 00000d8d: PUSH1 0x20 00000d8f: DUP4 00000d90: DUP8 00000d91: ADD 00000d92: ADD 00000d93: MSTORE 00000d94: JUMPDEST 00000d95: POP 00000d96: PUSH1 0x1f 00000d98: ADD 00000d99: PUSH1 0x1f 00000d9b: NOT 00000d9c: AND 00000d9d: SWAP3 00000d9e: SWAP1 00000d9f: SWAP3 00000da0: ADD 00000da1: PUSH1 0x20 00000da3: ADD 00000da4: SWAP3 00000da5: SWAP2 00000da6: POP 00000da7: POP 00000da8: JUMP 00000da9: JUMPDEST 00000daa: DUP2 00000dab: DUP4 00000dac: DUP3 00000dad: CALLDATACOPY 00000dae: PUSH1 0x00 00000db0: SWAP2 00000db1: ADD 00000db2: SWAP1 00000db3: DUP2 00000db4: MSTORE 00000db5: SWAP2 00000db6: SWAP1 00000db7: POP 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x01 00000dbc: PUSH1 0x01 00000dbe: PUSH1 0xa0 00000dc0: SHL 00000dc1: SUB 00000dc2: DUP5 00000dc3: AND 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x40 00000dc8: PUSH1 0x20 00000dca: DUP3 00000dcb: ADD 00000dcc: DUP2 00000dcd: SWAP1 00000dce: MSTORE 00000dcf: PUSH1 0x00 00000dd1: SWAP1 00000dd2: PUSH2 0x0dde 00000dd5: SWAP1 00000dd6: DUP4 00000dd7: ADD 00000dd8: DUP5 00000dd9: DUP7 00000dda: PUSH2 0x0d33 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: SWAP6 00000de0: SWAP5 00000de1: POP 00000de2: POP 00000de3: POP 00000de4: POP 00000de5: POP 00000de6: JUMP 00000de7: JUMPDEST 00000de8: PUSH1 0x40 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x00 00000dee: PUSH2 0x0dfb 00000df1: PUSH1 0x40 00000df3: DUP4 00000df4: ADD 00000df5: DUP6 00000df6: DUP8 00000df7: PUSH2 0x0d33 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: SWAP1 00000dfd: POP 00000dfe: PUSH1 0x01 00000e00: DUP1 00000e01: PUSH1 0xa0 00000e03: SHL 00000e04: SUB 00000e05: DUP4 00000e06: AND 00000e07: PUSH1 0x20 00000e09: DUP4 00000e0a: ADD 00000e0b: MSTORE 00000e0c: SWAP5 00000e0d: SWAP4 00000e0e: POP 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: JUMP 00000e13: JUMPDEST 00000e14: PUSH1 0x80 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x00 00000e1a: PUSH2 0x0e27 00000e1d: PUSH1 0x80 00000e1f: DUP4 00000e20: ADD 00000e21: DUP8 00000e22: DUP10 00000e23: PUSH2 0x0d33 00000e26: JUMP 00000e27: JUMPDEST 00000e28: DUP6 00000e29: ISZERO 00000e2a: ISZERO 00000e2b: PUSH1 0x20 00000e2d: DUP5 00000e2e: ADD 00000e2f: MSTORE 00000e30: DUP3 00000e31: DUP2 00000e32: SUB 00000e33: PUSH1 0x40 00000e35: DUP5 00000e36: ADD 00000e37: MSTORE 00000e38: PUSH2 0x0e41 00000e3b: DUP2 00000e3c: DUP7 00000e3d: PUSH2 0x0d5c 00000e40: JUMP 00000e41: JUMPDEST 00000e42: SWAP2 00000e43: POP 00000e44: POP 00000e45: PUSH1 0x01 00000e47: DUP1 00000e48: PUSH1 0xa0 00000e4a: SHL 00000e4b: SUB 00000e4c: DUP4 00000e4d: AND 00000e4e: PUSH1 0x60 00000e50: DUP4 00000e51: ADD 00000e52: MSTORE 00000e53: SWAP7 00000e54: SWAP6 00000e55: POP 00000e56: POP 00000e57: POP 00000e58: POP 00000e59: POP 00000e5a: POP 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x40 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x00 00000e63: PUSH2 0x0e6f 00000e66: PUSH1 0x40 00000e68: DUP4 00000e69: ADD 00000e6a: DUP6 00000e6b: PUSH2 0x0d5c 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: SWAP1 00000e71: POP 00000e72: PUSH1 0x01 00000e74: DUP1 00000e75: PUSH1 0xa0 00000e77: SHL 00000e78: SUB 00000e79: DUP4 00000e7a: AND 00000e7b: PUSH1 0x20 00000e7d: DUP4 00000e7e: ADD 00000e7f: MSTORE 00000e80: SWAP4 00000e81: SWAP3 00000e82: POP 00000e83: POP 00000e84: POP 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x00 00000e89: PUSH1 0x01 00000e8b: PUSH1 0x01 00000e8d: PUSH1 0x80 00000e8f: SHL 00000e90: SUB 00000e91: DUP1 00000e92: DUP4 00000e93: AND 00000e94: DUP2 00000e95: DUP6 00000e96: AND 00000e97: DUP1 00000e98: DUP4 00000e99: SUB 00000e9a: DUP3 00000e9b: GT 00000e9c: ISZERO 00000e9d: PUSH2 0x0ea8 00000ea0: JUMPI 00000ea1: PUSH2 0x0ea8 00000ea4: PUSH2 0x0eff 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: ADD 00000eaa: SWAP5 00000eab: SWAP4 00000eac: POP 00000ead: POP 00000eae: POP 00000eaf: POP 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: PUSH1 0x00 00000eb4: DUP3 00000eb5: NOT 00000eb6: DUP3 00000eb7: GT 00000eb8: ISZERO 00000eb9: PUSH2 0x0ec4 00000ebc: JUMPI 00000ebd: PUSH2 0x0ec4 00000ec0: PUSH2 0x0eff 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: POP 00000ec6: ADD 00000ec7: SWAP1 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x00 00000ecc: DUP2 00000ecd: PUSH1 0x00 00000ecf: NOT 00000ed0: DIV 00000ed1: DUP4 00000ed2: GT 00000ed3: DUP3 00000ed4: ISZERO 00000ed5: ISZERO 00000ed6: AND 00000ed7: ISZERO 00000ed8: PUSH2 0x0ee3 00000edb: JUMPI 00000edc: PUSH2 0x0ee3 00000edf: PUSH2 0x0eff 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: POP 00000ee5: MUL 00000ee6: SWAP1 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: DUP3 00000eec: DUP3 00000eed: LT 00000eee: ISZERO 00000eef: PUSH2 0x0efa 00000ef2: JUMPI 00000ef3: PUSH2 0x0efa 00000ef6: PUSH2 0x0eff 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: POP 00000efc: SUB 00000efd: SWAP1 00000efe: JUMP 00000eff: JUMPDEST 00000f00: PUSH4 0x4e487b71 00000f05: PUSH1 0xe0 00000f07: SHL 00000f08: PUSH1 0x00 00000f0a: MSTORE 00000f0b: PUSH1 0x11 00000f0d: PUSH1 0x04 00000f0f: MSTORE 00000f10: PUSH1 0x24 00000f12: PUSH1 0x00 00000f14: REVERT 00000f15: INVALID 00000f16: LOG2 00000f17: PUSH5 0x6970667358 00000f1d: UNKNOWN(0x22) 00000f1e: SLT 00000f1f: KECCAK256 00000f20: PUSH28 0x26eb335aed0c1e83479492f6ef7e18621db4515ed7bf7e3d5ce185c9 00000f3d: UNKNOWN(0xAE) 00000f3e: BLOBHASH 00000f3f: MSIZE 00000f40: PUSH5 0x736f6c6343 00000f46: STOP 00000f47: ADDMOD 00000f48: SMOD 00000f49: STOP 00000f4a: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2a04ce42589dac4511be1bfa9af18a87b32db1e6994a35ff91d33e65d0b1d410
call_targets:
0x37414a8662bc1d25be3ee51fb27c2686e2490a89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a04ce42589dac4511be1bfa9af18a87b32db1e6994a35ff91d33e65d0b1d410",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37414a8662bc1d25be3ee51fb27c2686e2490a89"
],
"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": "0xf75c2664",
"selector": "0xf75c2664",
"calldata_variants": [
"0xf75c2664",
"0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf830e7b4",
"selector": "0xf830e7b4",
"calldata_variants": [
"0xf830e7b4",
"0xf830e7b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9754c93",
"selector": "0xf9754c93",
"calldata_variants": [
"0xf9754c93",
"0xf9754c930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9f92be4",
"selector": "0xf9f92be4",
"calldata_variants": [
"0xf9f92be4",
"0xf9f92be40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe55d5a4",
"selector": "0xfe55d5a4",
"calldata_variants": [
"0xfe55d5a4",
"0xfe55d5a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb4c5dbd0",
"selector": "0xb4c5dbd0",
"calldata_variants": [
"0xb4c5dbd0",
"0xb4c5dbd00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0496d6a",
"selector": "0xd0496d6a",
"calldata_variants": [
"0xd0496d6a",
"0xd0496d6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0a73a93",
"selector": "0xe0a73a93",
"calldata_variants": [
"0xe0a73a93",
"0xe0a73a930000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1929,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2a04ce42589dac4511be1bfa9af18a87b32db1e6994a35ff91d33e65d0b1d410
call_targets:
0x37414a8662bc1d25be3ee51fb27c2686e2490a89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a04ce42589dac4511be1bfa9af18a87b32db1e6994a35ff91d33e65d0b1d410",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37414a8662bc1d25be3ee51fb27c2686e2490a89"
],
"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": "0xf75c2664",
"selector": "0xf75c2664",
"calldata_variants": [
"0xf75c2664",
"0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf830e7b4",
"selector": "0xf830e7b4",
"calldata_variants": [
"0xf830e7b4",
"0xf830e7b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9754c93",
"selector": "0xf9754c93",
"calldata_variants": [
"0xf9754c93",
"0xf9754c930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9f92be4",
"selector": "0xf9f92be4",
"calldata_variants": [
"0xf9f92be4",
"0xf9f92be40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe55d5a4",
"selector": "0xfe55d5a4",
"calldata_variants": [
"0xfe55d5a4",
"0xfe55d5a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb4c5dbd0",
"selector": "0xb4c5dbd0",
"calldata_variants": [
"0xb4c5dbd0",
"0xb4c5dbd00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0496d6a",
"selector": "0xd0496d6a",
"calldata_variants": [
"0xd0496d6a",
"0xd0496d6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0a73a93",
"selector": "0xe0a73a93",
"calldata_variants": [
"0xe0a73a93",
"0xe0a73a930000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1248,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1929,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|