019b3844-a058-7154-b9a1-2b238bccc3a3
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 |
|---|---|---|---|---|
| 15255 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 15256 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85944 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85945 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85946 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85947 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00f6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa615e171 00000019: GT 0000001a: PUSH2 0x008f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc31c9c07 00000024: GT 00000025: PUSH2 0x0061 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc31c9c07 0000002f: EQ 00000030: PUSH2 0x0260 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe23ff957 0000003a: EQ 0000003b: PUSH2 0x0285 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe88bece8 00000045: EQ 00000046: PUSH2 0x02a5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x02bb 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfcc2a481 0000005b: EQ 0000005c: PUSH2 0x02db 0000005f: JUMPI 00000060: STOP 00000061: JUMPDEST 00000062: DUP1 00000063: PUSH4 0xa615e171 00000068: EQ 00000069: PUSH2 0x01f4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xa808023c 00000073: EQ 00000074: PUSH2 0x0214 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xb1c94d94 0000007e: EQ 0000007f: PUSH2 0x0234 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xb5b7a184 00000089: EQ 0000008a: PUSH2 0x024a 0000008d: JUMPI 0000008e: STOP 0000008f: JUMPDEST 00000090: DUP1 00000091: PUSH4 0x6912b4c9 00000096: GT 00000097: PUSH2 0x00c8 0000009a: JUMPI 0000009b: DUP1 0000009c: PUSH4 0x6912b4c9 000000a1: EQ 000000a2: PUSH2 0x016c 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0x8da5cb5b 000000ac: EQ 000000ad: PUSH2 0x0182 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x92108c86 000000b7: EQ 000000b8: PUSH2 0x01b4 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x9a8a0592 000000c2: EQ 000000c3: PUSH2 0x01de 000000c6: JUMPI 000000c7: STOP 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x0ae36e5e 000000cf: EQ 000000d0: PUSH2 0x00ff 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x180b6876 000000da: EQ 000000db: PUSH2 0x0114 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x564b81ef 000000e5: EQ 000000e6: PUSH2 0x0134 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x61bc221a 000000f0: EQ 000000f1: PUSH2 0x0156 000000f4: JUMPI 000000f5: STOP 000000f6: JUMPDEST 000000f7: CALLDATASIZE 000000f8: PUSH2 0x00fd 000000fb: JUMPI 000000fc: STOP 000000fd: JUMPDEST 000000fe: STOP 000000ff: JUMPDEST 00000100: CALLVALUE 00000101: DUP1 00000102: ISZERO 00000103: PUSH2 0x010b 00000106: JUMPI 00000107: PUSH1 0x00 00000109: DUP1 0000010a: REVERT 0000010b: JUMPDEST 0000010c: POP 0000010d: PUSH2 0x00fd 00000110: PUSH2 0x02f1 00000113: JUMP 00000114: JUMPDEST 00000115: CALLVALUE 00000116: DUP1 00000117: ISZERO 00000118: PUSH2 0x0120 0000011b: JUMPI 0000011c: PUSH1 0x00 0000011e: DUP1 0000011f: REVERT 00000120: JUMPDEST 00000121: POP 00000122: PUSH2 0x00fd 00000125: PUSH2 0x012f 00000128: CALLDATASIZE 00000129: PUSH1 0x04 0000012b: PUSH2 0x0c1c 0000012e: JUMP 0000012f: JUMPDEST 00000130: PUSH2 0x0336 00000133: JUMP 00000134: JUMPDEST 00000135: CALLVALUE 00000136: DUP1 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: CHAINID 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: SWAP1 00000148: DUP2 00000149: MSTORE 0000014a: PUSH1 0x20 0000014c: ADD 0000014d: JUMPDEST 0000014e: PUSH1 0x40 00000150: MLOAD 00000151: DUP1 00000152: SWAP2 00000153: SUB 00000154: SWAP1 00000155: RETURN 00000156: JUMPDEST 00000157: CALLVALUE 00000158: DUP1 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: POP 00000164: PUSH2 0x0143 00000167: PUSH1 0x0b 00000169: SLOAD 0000016a: DUP2 0000016b: JUMP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0143 0000017d: PUSH1 0x09 0000017f: SLOAD 00000180: DUP2 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH1 0x00 00000192: SLOAD 00000193: PUSH1 0x01 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: SHL 0000019a: SUB 0000019b: AND 0000019c: JUMPDEST 0000019d: PUSH1 0x40 0000019f: MLOAD 000001a0: PUSH1 0x01 000001a2: PUSH1 0x01 000001a4: PUSH1 0xa0 000001a6: SHL 000001a7: SUB 000001a8: SWAP1 000001a9: SWAP2 000001aa: AND 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: PUSH2 0x014d 000001b3: JUMP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: POP 000001c2: PUSH1 0x02 000001c4: SLOAD 000001c5: PUSH2 0x01ce 000001c8: SWAP1 000001c9: PUSH1 0xff 000001cb: AND 000001cc: DUP2 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: SWAP1 000001d3: ISZERO 000001d4: ISZERO 000001d5: DUP2 000001d6: MSTORE 000001d7: PUSH1 0x20 000001d9: ADD 000001da: PUSH2 0x014d 000001dd: JUMP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x0143 000001ef: PUSH1 0x01 000001f1: SLOAD 000001f2: DUP2 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH1 0x03 00000204: SLOAD 00000205: PUSH2 0x019c 00000208: SWAP1 00000209: PUSH1 0x01 0000020b: PUSH1 0x01 0000020d: PUSH1 0xa0 0000020f: SHL 00000210: SUB 00000211: AND 00000212: DUP2 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x00fd 00000225: PUSH2 0x022f 00000228: CALLDATASIZE 00000229: PUSH1 0x04 0000022b: PUSH2 0x0c63 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH2 0x0529 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0143 00000245: PUSH1 0x08 00000247: SLOAD 00000248: DUP2 00000249: JUMP 0000024a: JUMPDEST 0000024b: CALLVALUE 0000024c: DUP1 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: POP 00000258: PUSH2 0x0143 0000025b: PUSH1 0x07 0000025d: SLOAD 0000025e: DUP2 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH1 0x02 00000270: SLOAD 00000271: PUSH2 0x019c 00000274: SWAP1 00000275: PUSH2 0x0100 00000278: SWAP1 00000279: DIV 0000027a: PUSH1 0x01 0000027c: PUSH1 0x01 0000027e: PUSH1 0xa0 00000280: SHL 00000281: SUB 00000282: AND 00000283: DUP2 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x00fd 00000296: PUSH2 0x02a0 00000299: CALLDATASIZE 0000029a: PUSH1 0x04 0000029c: PUSH2 0x0c8f 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x06d7 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x0143 000002b6: PUSH1 0x11 000002b8: SLOAD 000002b9: DUP2 000002ba: JUMP 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c7 000002c2: JUMPI 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x00fd 000002cc: PUSH2 0x02d6 000002cf: CALLDATASIZE 000002d0: PUSH1 0x04 000002d2: PUSH2 0x0c8f 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x0727 000002da: JUMP 000002db: JUMPDEST 000002dc: CALLVALUE 000002dd: DUP1 000002de: ISZERO 000002df: PUSH2 0x02e7 000002e2: JUMPI 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: REVERT 000002e7: JUMPDEST 000002e8: POP 000002e9: PUSH2 0x0143 000002ec: PUSH1 0x0a 000002ee: SLOAD 000002ef: DUP2 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x00 000002f4: SLOAD 000002f5: PUSH1 0x01 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: SHL 000002fc: SUB 000002fd: AND 000002fe: CALLER 000002ff: EQ 00000300: PUSH2 0x0324 00000303: JUMPI 00000304: PUSH1 0x40 00000306: MLOAD 00000307: PUSH3 0x461bcd 0000030b: PUSH1 0xe5 0000030d: SHL 0000030e: DUP2 0000030f: MSTORE 00000310: PUSH1 0x04 00000312: ADD 00000313: PUSH2 0x031b 00000316: SWAP1 00000317: PUSH2 0x0cb3 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: DUP1 00000320: SWAP2 00000321: SUB 00000322: SWAP1 00000323: REVERT 00000324: JUMPDEST 00000325: PUSH2 0x032c 00000328: PUSH2 0x0810 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x0334 00000330: PUSH2 0x090e 00000333: JUMP 00000334: JUMPDEST 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x00 00000339: SLOAD 0000033a: PUSH1 0x01 0000033c: PUSH1 0x01 0000033e: PUSH1 0xa0 00000340: SHL 00000341: SUB 00000342: AND 00000343: CALLER 00000344: EQ 00000345: PUSH2 0x0360 00000348: JUMPI 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: PUSH3 0x461bcd 00000350: PUSH1 0xe5 00000352: SHL 00000353: DUP2 00000354: MSTORE 00000355: PUSH1 0x04 00000357: ADD 00000358: PUSH2 0x031b 0000035b: SWAP1 0000035c: PUSH2 0x0cb3 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x40 00000363: MLOAD 00000364: PUSH4 0x70a08231 00000369: PUSH1 0xe0 0000036b: SHL 0000036c: DUP2 0000036d: MSTORE 0000036e: ADDRESS 0000036f: PUSH1 0x04 00000371: DUP3 00000372: ADD 00000373: MSTORE 00000374: PUSH1 0x01 00000376: PUSH1 0x01 00000378: PUSH1 0xa0 0000037a: SHL 0000037b: SUB 0000037c: DUP5 0000037d: AND 0000037e: SWAP1 0000037f: PUSH4 0x70a08231 00000384: SWAP1 00000385: PUSH1 0x24 00000387: ADD 00000388: PUSH1 0x20 0000038a: PUSH1 0x40 0000038c: MLOAD 0000038d: DUP1 0000038e: DUP4 0000038f: SUB 00000390: DUP2 00000391: DUP7 00000392: GAS 00000393: STATICCALL 00000394: ISZERO 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x03a4 0000039a: JUMPI 0000039b: RETURNDATASIZE 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: RETURNDATACOPY 000003a0: RETURNDATASIZE 000003a1: PUSH1 0x00 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: RETURNDATASIZE 000003ad: PUSH1 0x1f 000003af: NOT 000003b0: PUSH1 0x1f 000003b2: DUP3 000003b3: ADD 000003b4: AND 000003b5: DUP3 000003b6: ADD 000003b7: DUP1 000003b8: PUSH1 0x40 000003ba: MSTORE 000003bb: POP 000003bc: DUP2 000003bd: ADD 000003be: SWAP1 000003bf: PUSH2 0x03c8 000003c2: SWAP2 000003c3: SWAP1 000003c4: PUSH2 0x0ce8 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH1 0x0c 000003cb: SSTORE 000003cc: DUP1 000003cd: PUSH2 0x03f2 000003d0: JUMPI 000003d1: PUSH1 0x64 000003d3: DUP3 000003d4: PUSH1 0xff 000003d6: AND 000003d7: PUSH1 0x0c 000003d9: SLOAD 000003da: PUSH2 0x03e3 000003dd: SWAP2 000003de: SWAP1 000003df: PUSH2 0x0d17 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x03ed 000003e7: SWAP2 000003e8: SWAP1 000003e9: PUSH2 0x0d36 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH2 0x03f4 000003f1: JUMP 000003f2: JUMPDEST 000003f3: DUP1 000003f4: JUMPDEST 000003f5: PUSH1 0x0f 000003f7: SSTORE 000003f8: PUSH1 0x03 000003fa: SLOAD 000003fb: PUSH1 0x01 000003fd: PUSH1 0x01 000003ff: PUSH1 0xa0 00000401: SHL 00000402: SUB 00000403: DUP5 00000404: DUP2 00000405: AND 00000406: SWAP2 00000407: AND 00000408: EQ 00000409: ISZERO 0000040a: PUSH2 0x0479 0000040d: JUMPI 0000040e: PUSH1 0x03 00000410: SLOAD 00000411: PUSH1 0x0f 00000413: SLOAD 00000414: PUSH1 0x40 00000416: MLOAD 00000417: PUSH4 0x2e1a7d4d 0000041c: PUSH1 0xe0 0000041e: SHL 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x01 00000423: PUSH1 0x01 00000425: PUSH1 0xa0 00000427: SHL 00000428: SUB 00000429: SWAP1 0000042a: SWAP3 0000042b: AND 0000042c: SWAP2 0000042d: PUSH4 0x2e1a7d4d 00000432: SWAP2 00000433: PUSH2 0x0442 00000436: SWAP2 00000437: PUSH1 0x04 00000439: ADD 0000043a: SWAP1 0000043b: DUP2 0000043c: MSTORE 0000043d: PUSH1 0x20 0000043f: ADD 00000440: SWAP1 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x00 00000445: PUSH1 0x40 00000447: MLOAD 00000448: DUP1 00000449: DUP4 0000044a: SUB 0000044b: DUP2 0000044c: PUSH1 0x00 0000044e: DUP8 0000044f: DUP1 00000450: EXTCODESIZE 00000451: ISZERO 00000452: DUP1 00000453: ISZERO 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: POP 0000045e: GAS 0000045f: CALL 00000460: ISZERO 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x0470 00000466: JUMPI 00000467: RETURNDATASIZE 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: RETURNDATACOPY 0000046c: RETURNDATASIZE 0000046d: PUSH1 0x00 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: POP 00000473: POP 00000474: POP 00000475: POP 00000476: POP 00000477: POP 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x00 0000047c: PUSH2 0x0487 0000047f: PUSH1 0x0f 00000481: SLOAD 00000482: DUP6 00000483: PUSH2 0x09bd 00000486: JUMP 00000487: JUMPDEST 00000488: SWAP1 00000489: POP 0000048a: DUP1 0000048b: PUSH2 0x0523 0000048e: JUMPI 0000048f: DUP4 00000490: PUSH1 0x01 00000492: PUSH1 0x01 00000494: PUSH1 0xa0 00000496: SHL 00000497: SUB 00000498: AND 00000499: PUSH4 0xa9059cbb 0000049e: PUSH2 0x04af 000004a1: PUSH1 0x00 000004a3: SLOAD 000004a4: PUSH1 0x01 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: SHL 000004ab: SUB 000004ac: AND 000004ad: SWAP1 000004ae: JUMP 000004af: JUMPDEST 000004b0: PUSH1 0x0f 000004b2: SLOAD 000004b3: PUSH1 0x40 000004b5: MLOAD 000004b6: PUSH1 0x01 000004b8: PUSH1 0x01 000004ba: PUSH1 0xe0 000004bc: SHL 000004bd: SUB 000004be: NOT 000004bf: PUSH1 0xe0 000004c1: DUP6 000004c2: SWAP1 000004c3: SHL 000004c4: AND 000004c5: DUP2 000004c6: MSTORE 000004c7: PUSH1 0x01 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: SHL 000004ce: SUB 000004cf: SWAP1 000004d0: SWAP3 000004d1: AND 000004d2: PUSH1 0x04 000004d4: DUP4 000004d5: ADD 000004d6: MSTORE 000004d7: PUSH1 0x24 000004d9: DUP3 000004da: ADD 000004db: MSTORE 000004dc: PUSH1 0x44 000004de: ADD 000004df: PUSH1 0x20 000004e1: PUSH1 0x40 000004e3: MLOAD 000004e4: DUP1 000004e5: DUP4 000004e6: SUB 000004e7: DUP2 000004e8: PUSH1 0x00 000004ea: DUP8 000004eb: GAS 000004ec: CALL 000004ed: ISZERO 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04fd 000004f3: JUMPI 000004f4: RETURNDATASIZE 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: RETURNDATACOPY 000004f9: RETURNDATASIZE 000004fa: PUSH1 0x00 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: POP 00000500: POP 00000501: POP 00000502: PUSH1 0x40 00000504: MLOAD 00000505: RETURNDATASIZE 00000506: PUSH1 0x1f 00000508: NOT 00000509: PUSH1 0x1f 0000050b: DUP3 0000050c: ADD 0000050d: AND 0000050e: DUP3 0000050f: ADD 00000510: DUP1 00000511: PUSH1 0x40 00000513: MSTORE 00000514: POP 00000515: DUP2 00000516: ADD 00000517: SWAP1 00000518: PUSH2 0x0521 0000051b: SWAP2 0000051c: SWAP1 0000051d: PUSH2 0x0d58 00000520: JUMP 00000521: JUMPDEST 00000522: POP 00000523: JUMPDEST 00000524: POP 00000525: POP 00000526: POP 00000527: POP 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x00 0000052c: SLOAD 0000052d: PUSH1 0x01 0000052f: PUSH1 0x01 00000531: PUSH1 0xa0 00000533: SHL 00000534: SUB 00000535: AND 00000536: CALLER 00000537: EQ 00000538: PUSH2 0x0553 0000053b: JUMPI 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: PUSH3 0x461bcd 00000543: PUSH1 0xe5 00000545: SHL 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x04 0000054a: ADD 0000054b: PUSH2 0x031b 0000054e: SWAP1 0000054f: PUSH2 0x0cb3 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH2 0x055b 00000557: PUSH2 0x0810 0000055a: JUMP 0000055b: JUMPDEST 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: PUSH4 0x31a9108f 00000564: PUSH1 0xe1 00000566: SHL 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x04 0000056b: DUP2 0000056c: ADD 0000056d: DUP3 0000056e: SWAP1 0000056f: MSTORE 00000570: ADDRESS 00000571: SWAP1 00000572: PUSH1 0x01 00000574: PUSH1 0x01 00000576: PUSH1 0xa0 00000578: SHL 00000579: SUB 0000057a: DUP5 0000057b: AND 0000057c: SWAP1 0000057d: PUSH4 0x6352211e 00000582: SWAP1 00000583: PUSH1 0x24 00000585: ADD 00000586: PUSH1 0x20 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: DUP1 0000058c: DUP4 0000058d: SUB 0000058e: DUP2 0000058f: DUP7 00000590: GAS 00000591: STATICCALL 00000592: ISZERO 00000593: DUP1 00000594: ISZERO 00000595: PUSH2 0x05a2 00000598: JUMPI 00000599: RETURNDATASIZE 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: RETURNDATACOPY 0000059e: RETURNDATASIZE 0000059f: PUSH1 0x00 000005a1: REVERT 000005a2: JUMPDEST 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: RETURNDATASIZE 000005ab: PUSH1 0x1f 000005ad: NOT 000005ae: PUSH1 0x1f 000005b0: DUP3 000005b1: ADD 000005b2: AND 000005b3: DUP3 000005b4: ADD 000005b5: DUP1 000005b6: PUSH1 0x40 000005b8: MSTORE 000005b9: POP 000005ba: DUP2 000005bb: ADD 000005bc: SWAP1 000005bd: PUSH2 0x05c6 000005c0: SWAP2 000005c1: SWAP1 000005c2: PUSH2 0x0d7a 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH1 0x01 000005c9: PUSH1 0x01 000005cb: PUSH1 0xa0 000005cd: SHL 000005ce: SUB 000005cf: AND 000005d0: EQ 000005d1: PUSH2 0x0642 000005d4: JUMPI 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH3 0x461bcd 000005dc: PUSH1 0xe5 000005de: SHL 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: PUSH1 0x04 000005e5: DUP3 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH1 0x38 000005ea: PUSH1 0x24 000005ec: DUP3 000005ed: ADD 000005ee: MSTORE 000005ef: PUSH32 0x4552433732313a204e6f7420616e206f776e6572206f66207370656369666965 00000610: PUSH1 0x44 00000612: DUP3 00000613: ADD 00000614: MSTORE 00000615: PUSH32 0x64206964206f72206e6f742045524337323120746f6b656e0000000000000000 00000636: PUSH1 0x64 00000638: DUP3 00000639: ADD 0000063a: MSTORE 0000063b: PUSH1 0x84 0000063d: ADD 0000063e: PUSH2 0x031b 00000641: JUMP 00000642: JUMPDEST 00000643: DUP2 00000644: PUSH1 0x01 00000646: PUSH1 0x01 00000648: PUSH1 0xa0 0000064a: SHL 0000064b: SUB 0000064c: AND 0000064d: PUSH4 0x23b872dd 00000652: ADDRESS 00000653: PUSH2 0x0664 00000656: PUSH1 0x00 00000658: SLOAD 00000659: PUSH1 0x01 0000065b: PUSH1 0x01 0000065d: PUSH1 0xa0 0000065f: SHL 00000660: SUB 00000661: AND 00000662: SWAP1 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x40 00000667: MLOAD 00000668: PUSH1 0x01 0000066a: PUSH1 0x01 0000066c: PUSH1 0xe0 0000066e: SHL 0000066f: SUB 00000670: NOT 00000671: PUSH1 0xe0 00000673: DUP6 00000674: SWAP1 00000675: SHL 00000676: AND 00000677: DUP2 00000678: MSTORE 00000679: PUSH1 0x01 0000067b: PUSH1 0x01 0000067d: PUSH1 0xa0 0000067f: SHL 00000680: SUB 00000681: SWAP3 00000682: DUP4 00000683: AND 00000684: PUSH1 0x04 00000686: DUP3 00000687: ADD 00000688: MSTORE 00000689: SWAP2 0000068a: AND 0000068b: PUSH1 0x24 0000068d: DUP3 0000068e: ADD 0000068f: MSTORE 00000690: PUSH1 0x44 00000692: DUP2 00000693: ADD 00000694: DUP5 00000695: SWAP1 00000696: MSTORE 00000697: PUSH1 0x64 00000699: ADD 0000069a: PUSH1 0x00 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: DUP4 000006a1: SUB 000006a2: DUP2 000006a3: PUSH1 0x00 000006a5: DUP8 000006a6: DUP1 000006a7: EXTCODESIZE 000006a8: ISZERO 000006a9: DUP1 000006aa: ISZERO 000006ab: PUSH2 0x06b3 000006ae: JUMPI 000006af: PUSH1 0x00 000006b1: DUP1 000006b2: REVERT 000006b3: JUMPDEST 000006b4: POP 000006b5: GAS 000006b6: CALL 000006b7: ISZERO 000006b8: DUP1 000006b9: ISZERO 000006ba: PUSH2 0x06c7 000006bd: JUMPI 000006be: RETURNDATASIZE 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: RETURNDATACOPY 000006c3: RETURNDATASIZE 000006c4: PUSH1 0x00 000006c6: REVERT 000006c7: JUMPDEST 000006c8: POP 000006c9: POP 000006ca: POP 000006cb: POP 000006cc: PUSH2 0x06d3 000006cf: PUSH2 0x090e 000006d2: JUMP 000006d3: JUMPDEST 000006d4: POP 000006d5: POP 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH1 0x00 000006da: SLOAD 000006db: PUSH1 0x01 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: SHL 000006e2: SUB 000006e3: AND 000006e4: CALLER 000006e5: EQ 000006e6: PUSH2 0x0701 000006e9: JUMPI 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: PUSH3 0x461bcd 000006f1: PUSH1 0xe5 000006f3: SHL 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x04 000006f8: ADD 000006f9: PUSH2 0x031b 000006fc: SWAP1 000006fd: PUSH2 0x0cb3 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH2 0x0709 00000705: PUSH2 0x0810 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH1 0x0e 0000070c: SLOAD 0000070d: PUSH2 0x071c 00000710: SWAP1 00000711: DUP3 00000712: SWAP1 00000713: PUSH1 0xff 00000715: AND 00000716: PUSH1 0x00 00000718: PUSH2 0x0336 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH2 0x0724 00000720: PUSH2 0x090e 00000723: JUMP 00000724: JUMPDEST 00000725: POP 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH1 0x00 0000072a: SLOAD 0000072b: PUSH1 0x01 0000072d: PUSH1 0x01 0000072f: PUSH1 0xa0 00000731: SHL 00000732: SUB 00000733: AND 00000734: CALLER 00000735: EQ 00000736: PUSH2 0x0751 00000739: JUMPI 0000073a: PUSH1 0x40 0000073c: MLOAD 0000073d: PUSH3 0x461bcd 00000741: PUSH1 0xe5 00000743: SHL 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x04 00000748: ADD 00000749: PUSH2 0x031b 0000074c: SWAP1 0000074d: PUSH2 0x0cb3 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH1 0x01 00000754: PUSH1 0x01 00000756: PUSH1 0xa0 00000758: SHL 00000759: SUB 0000075a: DUP2 0000075b: AND 0000075c: PUSH2 0x07b5 0000075f: JUMPI 00000760: PUSH1 0x40 00000762: MLOAD 00000763: PUSH3 0x461bcd 00000767: PUSH1 0xe5 00000769: SHL 0000076a: DUP2 0000076b: MSTORE 0000076c: PUSH1 0x20 0000076e: PUSH1 0x04 00000770: DUP3 00000771: ADD 00000772: MSTORE 00000773: PUSH1 0x25 00000775: PUSH1 0x24 00000777: DUP3 00000778: ADD 00000779: MSTORE 0000077a: PUSH32 0x4f776e61626c653a206e65774f776e657220697320746865207a65726f206164 0000079b: PUSH1 0x44 0000079d: DUP3 0000079e: ADD 0000079f: MSTORE 000007a0: PUSH5 0x6472657373 000007a6: PUSH1 0xd8 000007a8: SHL 000007a9: PUSH1 0x64 000007ab: DUP3 000007ac: ADD 000007ad: MSTORE 000007ae: PUSH1 0x84 000007b0: ADD 000007b1: PUSH2 0x031b 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH1 0x00 000007b8: DUP1 000007b9: SLOAD 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: PUSH1 0x01 000007bf: PUSH1 0x01 000007c1: PUSH1 0xa0 000007c3: SHL 000007c4: SUB 000007c5: DUP1 000007c6: DUP6 000007c7: AND 000007c8: SWAP4 000007c9: SWAP3 000007ca: AND 000007cb: SWAP2 000007cc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007ed: SWAP2 000007ee: LOG3 000007ef: PUSH1 0x00 000007f1: DUP1 000007f2: SLOAD 000007f3: PUSH1 0x01 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: SHL 000007fa: SUB 000007fb: NOT 000007fc: AND 000007fd: PUSH1 0x01 000007ff: PUSH1 0x01 00000801: PUSH1 0xa0 00000803: SHL 00000804: SUB 00000805: SWAP3 00000806: SWAP1 00000807: SWAP3 00000808: AND 00000809: SWAP2 0000080a: SWAP1 0000080b: SWAP2 0000080c: OR 0000080d: SWAP1 0000080e: SSTORE 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH1 0x0b 00000813: DUP1 00000814: SLOAD 00000815: SWAP1 00000816: PUSH1 0x00 00000818: PUSH2 0x0820 0000081b: DUP4 0000081c: PUSH2 0x0d97 0000081f: JUMP 00000820: JUMPDEST 00000821: SWAP2 00000822: SWAP1 00000823: POP 00000824: SSTORE 00000825: POP 00000826: TIMESTAMP 00000827: PUSH1 0x09 00000829: SLOAD 0000082a: LT 0000082b: PUSH2 0x0876 0000082e: JUMPI 0000082f: PUSH1 0x40 00000831: MLOAD 00000832: PUSH3 0x461bcd 00000836: PUSH1 0xe5 00000838: SHL 00000839: DUP2 0000083a: MSTORE 0000083b: PUSH1 0x20 0000083d: PUSH1 0x04 0000083f: DUP3 00000840: ADD 00000841: MSTORE 00000842: PUSH1 0x1b 00000844: PUSH1 0x24 00000846: DUP3 00000847: ADD 00000848: MSTORE 00000849: PUSH32 0x4e657874207769746864726177616c206e6f7420647565207965740000000000 0000086a: PUSH1 0x44 0000086c: DUP3 0000086d: ADD 0000086e: MSTORE 0000086f: PUSH1 0x64 00000871: ADD 00000872: PUSH2 0x031b 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH1 0x07 00000879: SLOAD 0000087a: PUSH1 0x09 0000087c: PUSH1 0x00 0000087e: DUP3 0000087f: DUP3 00000880: SLOAD 00000881: PUSH2 0x088a 00000884: SWAP2 00000885: SWAP1 00000886: PUSH2 0x0db2 00000889: JUMP 0000088a: JUMPDEST 0000088b: SWAP1 0000088c: SWAP2 0000088d: SSTORE 0000088e: POP 0000088f: POP 00000890: PUSH1 0x08 00000892: SLOAD 00000893: PUSH1 0x0a 00000895: SLOAD 00000896: TIMESTAMP 00000897: SWAP2 00000898: PUSH2 0x08a0 0000089b: SWAP2 0000089c: PUSH2 0x0db2 0000089f: JUMP 000008a0: JUMPDEST 000008a1: LT 000008a2: PUSH2 0x0908 000008a5: JUMPI 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: PUSH3 0x461bcd 000008ad: PUSH1 0xe5 000008af: SHL 000008b0: DUP2 000008b1: MSTORE 000008b2: PUSH1 0x20 000008b4: PUSH1 0x04 000008b6: DUP3 000008b7: ADD 000008b8: MSTORE 000008b9: PUSH1 0x32 000008bb: PUSH1 0x24 000008bd: DUP3 000008be: ADD 000008bf: MSTORE 000008c0: PUSH32 0x4c617465207769746864726177616c20617474656d7074656420746f6f206561 000008e1: PUSH1 0x44 000008e3: DUP3 000008e4: ADD 000008e5: MSTORE 000008e6: PUSH18 0x726c79206166746572206c617374206f6e65 000008f9: PUSH1 0x70 000008fb: SHL 000008fc: PUSH1 0x64 000008fe: DUP3 000008ff: ADD 00000900: MSTORE 00000901: PUSH1 0x84 00000903: ADD 00000904: PUSH2 0x031b 00000907: JUMP 00000908: JUMPDEST 00000909: TIMESTAMP 0000090a: PUSH1 0x0a 0000090c: SSTORE 0000090d: JUMP 0000090e: JUMPDEST 0000090f: SELFBALANCE 00000910: PUSH1 0x0d 00000912: DUP2 00000913: SWAP1 00000914: SSTORE 00000915: PUSH1 0x11 00000917: SLOAD 00000918: LT 00000919: ISZERO 0000091a: PUSH2 0x0924 0000091d: JUMPI 0000091e: PUSH1 0x0d 00000920: SLOAD 00000921: PUSH1 0x11 00000923: SSTORE 00000924: JUMPDEST 00000925: PUSH1 0x0e 00000927: SLOAD 00000928: PUSH1 0x0d 0000092a: SLOAD 0000092b: PUSH1 0x64 0000092d: SWAP2 0000092e: PUSH2 0x093c 00000931: SWAP2 00000932: PUSH1 0xff 00000934: SWAP1 00000935: SWAP2 00000936: AND 00000937: SWAP1 00000938: PUSH2 0x0d17 0000093b: JUMP 0000093c: JUMPDEST 0000093d: PUSH2 0x0946 00000940: SWAP2 00000941: SWAP1 00000942: PUSH2 0x0d36 00000945: JUMP 00000946: JUMPDEST 00000947: PUSH1 0x10 00000949: SSTORE 0000094a: PUSH1 0x00 0000094c: SLOAD 0000094d: PUSH1 0x01 0000094f: PUSH1 0x01 00000951: PUSH1 0xa0 00000953: SHL 00000954: SUB 00000955: AND 00000956: PUSH1 0x01 00000958: PUSH1 0x01 0000095a: PUSH1 0xa0 0000095c: SHL 0000095d: SUB 0000095e: AND 0000095f: PUSH2 0x08fc 00000962: PUSH1 0x0e 00000964: PUSH1 0x01 00000966: SWAP1 00000967: SLOAD 00000968: SWAP1 00000969: PUSH2 0x0100 0000096c: EXP 0000096d: SWAP1 0000096e: DIV 0000096f: PUSH1 0xff 00000971: AND 00000972: PUSH1 0xff 00000974: AND 00000975: PUSH1 0x11 00000977: SLOAD 00000978: PUSH2 0x0981 0000097b: SWAP2 0000097c: SWAP1 0000097d: PUSH2 0x0d36 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x0d 00000984: SLOAD 00000985: LT 00000986: PUSH2 0x0991 00000989: JUMPI 0000098a: PUSH1 0x10 0000098c: SLOAD 0000098d: PUSH2 0x0995 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x0d 00000994: SLOAD 00000995: JUMPDEST 00000996: PUSH1 0x40 00000998: MLOAD 00000999: DUP2 0000099a: ISZERO 0000099b: SWAP1 0000099c: SWAP3 0000099d: MUL 0000099e: SWAP2 0000099f: PUSH1 0x00 000009a1: DUP2 000009a2: DUP2 000009a3: DUP2 000009a4: DUP6 000009a5: DUP9 000009a6: DUP9 000009a7: CALL 000009a8: SWAP4 000009a9: POP 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: ISZERO 000009ae: DUP1 000009af: ISZERO 000009b0: PUSH2 0x0724 000009b3: JUMPI 000009b4: RETURNDATASIZE 000009b5: PUSH1 0x00 000009b7: DUP1 000009b8: RETURNDATACOPY 000009b9: RETURNDATASIZE 000009ba: PUSH1 0x00 000009bc: REVERT 000009bd: JUMPDEST 000009be: PUSH1 0x40 000009c0: DUP1 000009c1: MLOAD 000009c2: PUSH1 0x02 000009c4: DUP1 000009c5: DUP3 000009c6: MSTORE 000009c7: PUSH1 0x60 000009c9: DUP3 000009ca: ADD 000009cb: DUP4 000009cc: MSTORE 000009cd: PUSH1 0x00 000009cf: SWAP3 000009d0: DUP4 000009d1: SWAP3 000009d2: SWAP2 000009d3: SWAP1 000009d4: PUSH1 0x20 000009d6: DUP4 000009d7: ADD 000009d8: SWAP1 000009d9: DUP1 000009da: CALLDATASIZE 000009db: DUP4 000009dc: CALLDATACOPY 000009dd: ADD 000009de: SWAP1 000009df: POP 000009e0: POP 000009e1: SWAP1 000009e2: POP 000009e3: DUP3 000009e4: DUP2 000009e5: PUSH1 0x00 000009e7: DUP2 000009e8: MLOAD 000009e9: DUP2 000009ea: LT 000009eb: PUSH2 0x09f6 000009ee: JUMPI 000009ef: PUSH2 0x09f6 000009f2: PUSH2 0x0dca 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH1 0x01 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: SHL 000009fe: SUB 000009ff: SWAP3 00000a00: DUP4 00000a01: AND 00000a02: PUSH1 0x20 00000a04: SWAP2 00000a05: DUP3 00000a06: MUL 00000a07: SWAP3 00000a08: SWAP1 00000a09: SWAP3 00000a0a: ADD 00000a0b: ADD 00000a0c: MSTORE 00000a0d: PUSH1 0x03 00000a0f: SLOAD 00000a10: DUP3 00000a11: MLOAD 00000a12: SWAP2 00000a13: AND 00000a14: SWAP1 00000a15: DUP3 00000a16: SWAP1 00000a17: PUSH1 0x01 00000a19: SWAP1 00000a1a: DUP2 00000a1b: LT 00000a1c: PUSH2 0x0a27 00000a1f: JUMPI 00000a20: PUSH2 0x0a27 00000a23: PUSH2 0x0dca 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: SHL 00000a2f: SUB 00000a30: SWAP3 00000a31: DUP4 00000a32: AND 00000a33: PUSH1 0x20 00000a35: SWAP2 00000a36: DUP3 00000a37: MUL 00000a38: SWAP3 00000a39: SWAP1 00000a3a: SWAP3 00000a3b: ADD 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH1 0x02 00000a40: SLOAD 00000a41: PUSH1 0x40 00000a43: MLOAD 00000a44: PUSH4 0x095ea7b3 00000a49: PUSH1 0xe0 00000a4b: SHL 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: PUSH2 0x0100 00000a51: SWAP1 00000a52: SWAP2 00000a53: DIV 00000a54: DUP3 00000a55: AND 00000a56: PUSH1 0x04 00000a58: DUP3 00000a59: ADD 00000a5a: MSTORE 00000a5b: PUSH1 0x24 00000a5d: DUP2 00000a5e: ADD 00000a5f: DUP7 00000a60: SWAP1 00000a61: MSTORE 00000a62: SWAP1 00000a63: DUP5 00000a64: AND 00000a65: SWAP1 00000a66: PUSH4 0x095ea7b3 00000a6b: SWAP1 00000a6c: PUSH1 0x44 00000a6e: ADD 00000a6f: PUSH1 0x20 00000a71: PUSH1 0x40 00000a73: MLOAD 00000a74: DUP1 00000a75: DUP4 00000a76: SUB 00000a77: DUP2 00000a78: PUSH1 0x00 00000a7a: DUP8 00000a7b: GAS 00000a7c: CALL 00000a7d: ISZERO 00000a7e: DUP1 00000a7f: ISZERO 00000a80: PUSH2 0x0a8d 00000a83: JUMPI 00000a84: RETURNDATASIZE 00000a85: PUSH1 0x00 00000a87: DUP1 00000a88: RETURNDATACOPY 00000a89: RETURNDATASIZE 00000a8a: PUSH1 0x00 00000a8c: REVERT 00000a8d: JUMPDEST 00000a8e: POP 00000a8f: POP 00000a90: POP 00000a91: POP 00000a92: PUSH1 0x40 00000a94: MLOAD 00000a95: RETURNDATASIZE 00000a96: PUSH1 0x1f 00000a98: NOT 00000a99: PUSH1 0x1f 00000a9b: DUP3 00000a9c: ADD 00000a9d: AND 00000a9e: DUP3 00000a9f: ADD 00000aa0: DUP1 00000aa1: PUSH1 0x40 00000aa3: MSTORE 00000aa4: POP 00000aa5: DUP2 00000aa6: ADD 00000aa7: SWAP1 00000aa8: PUSH2 0x0ab1 00000aab: SWAP2 00000aac: SWAP1 00000aad: PUSH2 0x0d58 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: POP 00000ab3: PUSH1 0x02 00000ab5: SLOAD 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: PUSH4 0x791ac947 00000abe: PUSH1 0xe0 00000ac0: SHL 00000ac1: DUP2 00000ac2: MSTORE 00000ac3: PUSH2 0x0100 00000ac6: SWAP1 00000ac7: SWAP2 00000ac8: DIV 00000ac9: PUSH1 0x01 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: SHL 00000ad0: SUB 00000ad1: AND 00000ad2: SWAP1 00000ad3: PUSH4 0x791ac947 00000ad8: SWAP1 00000ad9: PUSH2 0x0aef 00000adc: SWAP1 00000add: DUP8 00000ade: SWAP1 00000adf: PUSH1 0x00 00000ae1: SWAP1 00000ae2: DUP7 00000ae3: SWAP1 00000ae4: ADDRESS 00000ae5: SWAP1 00000ae6: TIMESTAMP 00000ae7: SWAP1 00000ae8: PUSH1 0x04 00000aea: ADD 00000aeb: PUSH2 0x0de0 00000aee: JUMP 00000aef: JUMPDEST 00000af0: PUSH1 0x00 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: DUP1 00000af6: DUP4 00000af7: SUB 00000af8: DUP2 00000af9: PUSH1 0x00 00000afb: DUP8 00000afc: DUP1 00000afd: EXTCODESIZE 00000afe: ISZERO 00000aff: DUP1 00000b00: ISZERO 00000b01: PUSH2 0x0b09 00000b04: JUMPI 00000b05: PUSH1 0x00 00000b07: DUP1 00000b08: REVERT 00000b09: JUMPDEST 00000b0a: POP 00000b0b: GAS 00000b0c: CALL 00000b0d: SWAP3 00000b0e: POP 00000b0f: POP 00000b10: POP 00000b11: DUP1 00000b12: ISZERO 00000b13: PUSH2 0x0b1a 00000b16: JUMPI 00000b17: POP 00000b18: PUSH1 0x01 00000b1a: JUMPDEST 00000b1b: PUSH2 0x0bf1 00000b1e: JUMPI 00000b1f: PUSH2 0x0b26 00000b22: PUSH2 0x0e51 00000b25: JUMP 00000b26: JUMPDEST 00000b27: DUP1 00000b28: PUSH4 0x08c379a0 00000b2d: EQ 00000b2e: ISZERO 00000b2f: PUSH2 0x0b83 00000b32: JUMPI 00000b33: POP 00000b34: PUSH2 0x0b3b 00000b37: PUSH2 0x0ea8 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: DUP1 00000b3d: PUSH2 0x0b46 00000b40: JUMPI 00000b41: POP 00000b42: PUSH2 0x0b85 00000b45: JUMP 00000b46: JUMPDEST 00000b47: PUSH32 0xcf34ef537ac33ee1ac626ca1587a0a7e8e51561e5514f8cb36afa1c5102b3bab 00000b68: DUP2 00000b69: PUSH1 0x40 00000b6b: MLOAD 00000b6c: PUSH2 0x0b75 00000b6f: SWAP2 00000b70: SWAP1 00000b71: PUSH2 0x0f32 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x40 00000b78: MLOAD 00000b79: DUP1 00000b7a: SWAP2 00000b7b: SUB 00000b7c: SWAP1 00000b7d: LOG1 00000b7e: POP 00000b7f: PUSH2 0x0bfb 00000b82: JUMP 00000b83: JUMPDEST 00000b84: POP 00000b85: JUMPDEST 00000b86: PUSH32 0xcf34ef537ac33ee1ac626ca1587a0a7e8e51561e5514f8cb36afa1c5102b3bab 00000ba7: PUSH1 0x40 00000ba9: MLOAD 00000baa: PUSH2 0x0be4 00000bad: SWAP1 00000bae: PUSH1 0x20 00000bb0: DUP1 00000bb1: DUP3 00000bb2: MSTORE 00000bb3: PUSH1 0x17 00000bb5: SWAP1 00000bb6: DUP3 00000bb7: ADD 00000bb8: MSTORE 00000bb9: PUSH32 0x537761703a2043616c6c20756e7375636365737366756c000000000000000000 00000bda: PUSH1 0x40 00000bdc: DUP3 00000bdd: ADD 00000bde: MSTORE 00000bdf: PUSH1 0x60 00000be1: ADD 00000be2: SWAP1 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH1 0x40 00000be7: MLOAD 00000be8: DUP1 00000be9: SWAP2 00000bea: SUB 00000beb: SWAP1 00000bec: LOG1 00000bed: PUSH2 0x0bfb 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: PUSH1 0x01 00000bf4: SWAP2 00000bf5: POP 00000bf6: POP 00000bf7: PUSH2 0x0c01 00000bfa: JUMP 00000bfb: JUMPDEST 00000bfc: PUSH1 0x00 00000bfe: SWAP2 00000bff: POP 00000c00: POP 00000c01: JUMPDEST 00000c02: SWAP3 00000c03: SWAP2 00000c04: POP 00000c05: POP 00000c06: JUMP 00000c07: JUMPDEST 00000c08: PUSH1 0x01 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0xa0 00000c0e: SHL 00000c0f: SUB 00000c10: DUP2 00000c11: AND 00000c12: DUP2 00000c13: EQ 00000c14: PUSH2 0x0724 00000c17: JUMPI 00000c18: PUSH1 0x00 00000c1a: DUP1 00000c1b: REVERT 00000c1c: JUMPDEST 00000c1d: PUSH1 0x00 00000c1f: DUP1 00000c20: PUSH1 0x00 00000c22: PUSH1 0x60 00000c24: DUP5 00000c25: DUP7 00000c26: SUB 00000c27: SLT 00000c28: ISZERO 00000c29: PUSH2 0x0c31 00000c2c: JUMPI 00000c2d: PUSH1 0x00 00000c2f: DUP1 00000c30: REVERT 00000c31: JUMPDEST 00000c32: DUP4 00000c33: CALLDATALOAD 00000c34: PUSH2 0x0c3c 00000c37: DUP2 00000c38: PUSH2 0x0c07 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: SWAP3 00000c3e: POP 00000c3f: PUSH1 0x20 00000c41: DUP5 00000c42: ADD 00000c43: CALLDATALOAD 00000c44: PUSH1 0xff 00000c46: DUP2 00000c47: AND 00000c48: DUP2 00000c49: EQ 00000c4a: PUSH2 0x0c52 00000c4d: JUMPI 00000c4e: PUSH1 0x00 00000c50: DUP1 00000c51: REVERT 00000c52: JUMPDEST 00000c53: SWAP3 00000c54: SWAP6 00000c55: SWAP3 00000c56: SWAP5 00000c57: POP 00000c58: POP 00000c59: POP 00000c5a: PUSH1 0x40 00000c5c: SWAP2 00000c5d: SWAP1 00000c5e: SWAP2 00000c5f: ADD 00000c60: CALLDATALOAD 00000c61: SWAP1 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x00 00000c66: DUP1 00000c67: PUSH1 0x40 00000c69: DUP4 00000c6a: DUP6 00000c6b: SUB 00000c6c: SLT 00000c6d: ISZERO 00000c6e: PUSH2 0x0c76 00000c71: JUMPI 00000c72: PUSH1 0x00 00000c74: DUP1 00000c75: REVERT 00000c76: JUMPDEST 00000c77: DUP3 00000c78: CALLDATALOAD 00000c79: PUSH2 0x0c81 00000c7c: DUP2 00000c7d: PUSH2 0x0c07 00000c80: JUMP 00000c81: JUMPDEST 00000c82: SWAP5 00000c83: PUSH1 0x20 00000c85: SWAP4 00000c86: SWAP1 00000c87: SWAP4 00000c88: ADD 00000c89: CALLDATALOAD 00000c8a: SWAP4 00000c8b: POP 00000c8c: POP 00000c8d: POP 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH1 0x00 00000c92: PUSH1 0x20 00000c94: DUP3 00000c95: DUP5 00000c96: SUB 00000c97: SLT 00000c98: ISZERO 00000c99: PUSH2 0x0ca1 00000c9c: JUMPI 00000c9d: PUSH1 0x00 00000c9f: DUP1 00000ca0: REVERT 00000ca1: JUMPDEST 00000ca2: DUP2 00000ca3: CALLDATALOAD 00000ca4: PUSH2 0x0cac 00000ca7: DUP2 00000ca8: PUSH2 0x0c07 00000cab: JUMP 00000cac: JUMPDEST 00000cad: SWAP4 00000cae: SWAP3 00000caf: POP 00000cb0: POP 00000cb1: POP 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH1 0x20 00000cb6: DUP1 00000cb7: DUP3 00000cb8: MSTORE 00000cb9: DUP2 00000cba: DUP2 00000cbb: ADD 00000cbc: MSTORE 00000cbd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000cde: PUSH1 0x40 00000ce0: DUP3 00000ce1: ADD 00000ce2: MSTORE 00000ce3: PUSH1 0x60 00000ce5: ADD 00000ce6: SWAP1 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH1 0x00 00000ceb: PUSH1 0x20 00000ced: DUP3 00000cee: DUP5 00000cef: SUB 00000cf0: SLT 00000cf1: ISZERO 00000cf2: PUSH2 0x0cfa 00000cf5: JUMPI 00000cf6: PUSH1 0x00 00000cf8: DUP1 00000cf9: REVERT 00000cfa: JUMPDEST 00000cfb: POP 00000cfc: MLOAD 00000cfd: SWAP2 00000cfe: SWAP1 00000cff: POP 00000d00: JUMP 00000d01: JUMPDEST 00000d02: PUSH4 0x4e487b71 00000d07: PUSH1 0xe0 00000d09: SHL 00000d0a: PUSH1 0x00 00000d0c: MSTORE 00000d0d: PUSH1 0x11 00000d0f: PUSH1 0x04 00000d11: MSTORE 00000d12: PUSH1 0x24 00000d14: PUSH1 0x00 00000d16: REVERT 00000d17: JUMPDEST 00000d18: PUSH1 0x00 00000d1a: DUP2 00000d1b: PUSH1 0x00 00000d1d: NOT 00000d1e: DIV 00000d1f: DUP4 00000d20: GT 00000d21: DUP3 00000d22: ISZERO 00000d23: ISZERO 00000d24: AND 00000d25: ISZERO 00000d26: PUSH2 0x0d31 00000d29: JUMPI 00000d2a: PUSH2 0x0d31 00000d2d: PUSH2 0x0d01 00000d30: JUMP 00000d31: JUMPDEST 00000d32: POP 00000d33: MUL 00000d34: SWAP1 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH1 0x00 00000d39: DUP3 00000d3a: PUSH2 0x0d53 00000d3d: JUMPI 00000d3e: PUSH4 0x4e487b71 00000d43: PUSH1 0xe0 00000d45: SHL 00000d46: PUSH1 0x00 00000d48: MSTORE 00000d49: PUSH1 0x12 00000d4b: PUSH1 0x04 00000d4d: MSTORE 00000d4e: PUSH1 0x24 00000d50: PUSH1 0x00 00000d52: REVERT 00000d53: JUMPDEST 00000d54: POP 00000d55: DIV 00000d56: SWAP1 00000d57: JUMP 00000d58: JUMPDEST 00000d59: PUSH1 0x00 00000d5b: PUSH1 0x20 00000d5d: DUP3 00000d5e: DUP5 00000d5f: SUB 00000d60: SLT 00000d61: ISZERO 00000d62: PUSH2 0x0d6a 00000d65: JUMPI 00000d66: PUSH1 0x00 00000d68: DUP1 00000d69: REVERT 00000d6a: JUMPDEST 00000d6b: DUP2 00000d6c: MLOAD 00000d6d: DUP1 00000d6e: ISZERO 00000d6f: ISZERO 00000d70: DUP2 00000d71: EQ 00000d72: PUSH2 0x0cac 00000d75: JUMPI 00000d76: PUSH1 0x00 00000d78: DUP1 00000d79: REVERT 00000d7a: JUMPDEST 00000d7b: PUSH1 0x00 00000d7d: PUSH1 0x20 00000d7f: DUP3 00000d80: DUP5 00000d81: SUB 00000d82: SLT 00000d83: ISZERO 00000d84: PUSH2 0x0d8c 00000d87: JUMPI 00000d88: PUSH1 0x00 00000d8a: DUP1 00000d8b: REVERT 00000d8c: JUMPDEST 00000d8d: DUP2 00000d8e: MLOAD 00000d8f: PUSH2 0x0cac 00000d92: DUP2 00000d93: PUSH2 0x0c07 00000d96: JUMP 00000d97: JUMPDEST 00000d98: PUSH1 0x00 00000d9a: PUSH1 0x00 00000d9c: NOT 00000d9d: DUP3 00000d9e: EQ 00000d9f: ISZERO 00000da0: PUSH2 0x0dab 00000da3: JUMPI 00000da4: PUSH2 0x0dab 00000da7: PUSH2 0x0d01 00000daa: JUMP 00000dab: JUMPDEST 00000dac: POP 00000dad: PUSH1 0x01 00000daf: ADD 00000db0: SWAP1 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH1 0x00 00000db5: DUP3 00000db6: NOT 00000db7: DUP3 00000db8: GT 00000db9: ISZERO 00000dba: PUSH2 0x0dc5 00000dbd: JUMPI 00000dbe: PUSH2 0x0dc5 00000dc1: PUSH2 0x0d01 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: POP 00000dc7: ADD 00000dc8: SWAP1 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: PUSH4 0x4e487b71 00000dd0: PUSH1 0xe0 00000dd2: SHL 00000dd3: PUSH1 0x00 00000dd5: MSTORE 00000dd6: PUSH1 0x32 00000dd8: PUSH1 0x04 00000dda: MSTORE 00000ddb: PUSH1 0x24 00000ddd: PUSH1 0x00 00000ddf: REVERT 00000de0: JUMPDEST 00000de1: PUSH1 0x00 00000de3: PUSH1 0xa0 00000de5: DUP3 00000de6: ADD 00000de7: DUP8 00000de8: DUP4 00000de9: MSTORE 00000dea: PUSH1 0x20 00000dec: DUP8 00000ded: DUP2 00000dee: DUP6 00000def: ADD 00000df0: MSTORE 00000df1: PUSH1 0xa0 00000df3: PUSH1 0x40 00000df5: DUP6 00000df6: ADD 00000df7: MSTORE 00000df8: DUP2 00000df9: DUP8 00000dfa: MLOAD 00000dfb: DUP1 00000dfc: DUP5 00000dfd: MSTORE 00000dfe: PUSH1 0xc0 00000e00: DUP7 00000e01: ADD 00000e02: SWAP2 00000e03: POP 00000e04: DUP3 00000e05: DUP10 00000e06: ADD 00000e07: SWAP4 00000e08: POP 00000e09: PUSH1 0x00 00000e0b: JUMPDEST 00000e0c: DUP2 00000e0d: DUP2 00000e0e: LT 00000e0f: ISZERO 00000e10: PUSH2 0x0e30 00000e13: JUMPI 00000e14: DUP5 00000e15: MLOAD 00000e16: PUSH1 0x01 00000e18: PUSH1 0x01 00000e1a: PUSH1 0xa0 00000e1c: SHL 00000e1d: SUB 00000e1e: AND 00000e1f: DUP4 00000e20: MSTORE 00000e21: SWAP4 00000e22: DUP4 00000e23: ADD 00000e24: SWAP4 00000e25: SWAP2 00000e26: DUP4 00000e27: ADD 00000e28: SWAP2 00000e29: PUSH1 0x01 00000e2b: ADD 00000e2c: PUSH2 0x0e0b 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: POP 00000e32: POP 00000e33: PUSH1 0x01 00000e35: PUSH1 0x01 00000e37: PUSH1 0xa0 00000e39: SHL 00000e3a: SUB 00000e3b: SWAP7 00000e3c: SWAP1 00000e3d: SWAP7 00000e3e: AND 00000e3f: PUSH1 0x60 00000e41: DUP6 00000e42: ADD 00000e43: MSTORE 00000e44: POP 00000e45: POP 00000e46: POP 00000e47: PUSH1 0x80 00000e49: ADD 00000e4a: MSTORE 00000e4b: SWAP4 00000e4c: SWAP3 00000e4d: POP 00000e4e: POP 00000e4f: POP 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x00 00000e54: PUSH1 0x03 00000e56: RETURNDATASIZE 00000e57: GT 00000e58: ISZERO 00000e59: PUSH2 0x0e6a 00000e5c: JUMPI 00000e5d: PUSH1 0x04 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: RETURNDATACOPY 00000e63: POP 00000e64: PUSH1 0x00 00000e66: MLOAD 00000e67: PUSH1 0xe0 00000e69: SHR 00000e6a: JUMPDEST 00000e6b: SWAP1 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: PUSH1 0x1f 00000e70: DUP3 00000e71: ADD 00000e72: PUSH1 0x1f 00000e74: NOT 00000e75: AND 00000e76: DUP2 00000e77: ADD 00000e78: PUSH8 0xffffffffffffffff 00000e81: DUP2 00000e82: GT 00000e83: DUP3 00000e84: DUP3 00000e85: LT 00000e86: OR 00000e87: ISZERO 00000e88: PUSH2 0x0ea1 00000e8b: JUMPI 00000e8c: PUSH4 0x4e487b71 00000e91: PUSH1 0xe0 00000e93: SHL 00000e94: PUSH1 0x00 00000e96: MSTORE 00000e97: PUSH1 0x41 00000e99: PUSH1 0x04 00000e9b: MSTORE 00000e9c: PUSH1 0x24 00000e9e: PUSH1 0x00 00000ea0: REVERT 00000ea1: JUMPDEST 00000ea2: PUSH1 0x40 00000ea4: MSTORE 00000ea5: POP 00000ea6: POP 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x00 00000eab: PUSH1 0x44 00000ead: RETURNDATASIZE 00000eae: LT 00000eaf: ISZERO 00000eb0: PUSH2 0x0eb6 00000eb3: JUMPI 00000eb4: SWAP1 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH1 0x40 00000eb9: MLOAD 00000eba: PUSH1 0x03 00000ebc: NOT 00000ebd: RETURNDATASIZE 00000ebe: DUP2 00000ebf: ADD 00000ec0: PUSH1 0x04 00000ec2: DUP4 00000ec3: RETURNDATACOPY 00000ec4: DUP2 00000ec5: MLOAD 00000ec6: RETURNDATASIZE 00000ec7: PUSH8 0xffffffffffffffff 00000ed0: DUP2 00000ed1: PUSH1 0x24 00000ed3: DUP5 00000ed4: ADD 00000ed5: GT 00000ed6: DUP2 00000ed7: DUP5 00000ed8: GT 00000ed9: OR 00000eda: ISZERO 00000edb: PUSH2 0x0ee6 00000ede: JUMPI 00000edf: POP 00000ee0: POP 00000ee1: POP 00000ee2: POP 00000ee3: POP 00000ee4: SWAP1 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: DUP3 00000ee8: DUP6 00000ee9: ADD 00000eea: SWAP2 00000eeb: POP 00000eec: DUP2 00000eed: MLOAD 00000eee: DUP2 00000eef: DUP2 00000ef0: GT 00000ef1: ISZERO 00000ef2: PUSH2 0x0efe 00000ef5: JUMPI 00000ef6: POP 00000ef7: POP 00000ef8: POP 00000ef9: POP 00000efa: POP 00000efb: POP 00000efc: SWAP1 00000efd: JUMP 00000efe: JUMPDEST 00000eff: DUP5 00000f00: RETURNDATASIZE 00000f01: DUP8 00000f02: ADD 00000f03: ADD 00000f04: PUSH1 0x20 00000f06: DUP3 00000f07: DUP6 00000f08: ADD 00000f09: ADD 00000f0a: GT 00000f0b: ISZERO 00000f0c: PUSH2 0x0f18 00000f0f: JUMPI 00000f10: POP 00000f11: POP 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: POP 00000f16: SWAP1 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH2 0x0f27 00000f1c: PUSH1 0x20 00000f1e: DUP3 00000f1f: DUP7 00000f20: ADD 00000f21: ADD 00000f22: DUP8 00000f23: PUSH2 0x0e6d 00000f26: JUMP 00000f27: JUMPDEST 00000f28: POP 00000f29: SWAP1 00000f2a: SWAP6 00000f2b: SWAP5 00000f2c: POP 00000f2d: POP 00000f2e: POP 00000f2f: POP 00000f30: POP 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x00 00000f35: PUSH1 0x20 00000f37: DUP1 00000f38: DUP4 00000f39: MSTORE 00000f3a: DUP4 00000f3b: MLOAD 00000f3c: DUP1 00000f3d: DUP3 00000f3e: DUP6 00000f3f: ADD 00000f40: MSTORE 00000f41: PUSH1 0x00 00000f43: JUMPDEST 00000f44: DUP2 00000f45: DUP2 00000f46: LT 00000f47: ISZERO 00000f48: PUSH2 0x0f5f 00000f4b: JUMPI 00000f4c: DUP6 00000f4d: DUP2 00000f4e: ADD 00000f4f: DUP4 00000f50: ADD 00000f51: MLOAD 00000f52: DUP6 00000f53: DUP3 00000f54: ADD 00000f55: PUSH1 0x40 00000f57: ADD 00000f58: MSTORE 00000f59: DUP3 00000f5a: ADD 00000f5b: PUSH2 0x0f43 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: DUP2 00000f61: DUP2 00000f62: GT 00000f63: ISZERO 00000f64: PUSH2 0x0f71 00000f67: JUMPI 00000f68: PUSH1 0x00 00000f6a: PUSH1 0x40 00000f6c: DUP4 00000f6d: DUP8 00000f6e: ADD 00000f6f: ADD 00000f70: MSTORE 00000f71: JUMPDEST 00000f72: POP 00000f73: PUSH1 0x1f 00000f75: ADD 00000f76: PUSH1 0x1f 00000f78: NOT 00000f79: AND 00000f7a: SWAP3 00000f7b: SWAP1 00000f7c: SWAP3 00000f7d: ADD 00000f7e: PUSH1 0x40 00000f80: ADD 00000f81: SWAP4 00000f82: SWAP3 00000f83: POP 00000f84: POP 00000f85: POP 00000f86: JUMP 00000f87: INVALID 00000f88: LOG2 00000f89: PUSH5 0x6970667358 00000f8f: UNKNOWN(0x22) 00000f90: SLT 00000f91: KECCAK256 00000f92: JUMPDEST 00000f93: MULMOD 00000f94: UNKNOWN(0xC3) 00000f95: CALL 00000f96: DUP4 00000f97: UNKNOWN(0xCB) 00000f98: UNKNOWN(0x1F) 00000f99: SWAP9 00000f9a: UNKNOWN(0x4C) 00000f9b: OR 00000f9c: UNKNOWN(0xA6) 00000f9d: PUSH0 00000f9e: SUB 00000f9f: CALLCODE 00000fa0: UNKNOWN(0xA7) 00000fa1: UNKNOWN(0x2F) 00000fa2: UNKNOWN(0xFB) 00000fa3: SAR 00000fa4: CODESIZE 00000fa5: UNKNOWN(0xB7) 00000fa6: ISZERO 00000fa7: UNKNOWN(0xD1) 00000fa8: SWAP13 00000fa9: UNKNOWN(0x2F) 00000faa: UNKNOWN(0xCF) 00000fab: UNKNOWN(0xAA) 00000fac: SWAP12 00000fad: PUSH24
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 | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe6e286f2ecd4c2811ff090559b6be1ae46808f200a66ae89ea7509b42aa07d6d
call_targets:
0x038b266ef399abc291685e1096ef101ffca97f59
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe6e286f2ecd4c2811ff090559b6be1ae46808f200a66ae89ea7509b42aa07d6d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x038b266ef399abc291685e1096ef101ffca97f59"
],
"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": "0xc31c9c07",
"selector": "0xc31c9c07",
"calldata_variants": [
"0xc31c9c07",
"0xc31c9c070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe23ff957",
"selector": "0xe23ff957",
"calldata_variants": [
"0xe23ff957",
"0xe23ff9570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe88bece8",
"selector": "0xe88bece8",
"calldata_variants": [
"0xe88bece8",
"0xe88bece80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcc2a481",
"selector": "0xfcc2a481",
"calldata_variants": [
"0xfcc2a481",
"0xfcc2a4810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa615e171",
"selector": "0xa615e171",
"calldata_variants": [
"0xa615e171",
"0xa615e1710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa808023c",
"selector": "0xa808023c",
"calldata_variants": [
"0xa808023c",
"0xa808023c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1c94d94",
"selector": "0xb1c94d94",
"calldata_variants": [
"0xb1c94d94",
"0xb1c94d940000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1119,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe6e286f2ecd4c2811ff090559b6be1ae46808f200a66ae89ea7509b42aa07d6d
call_targets:
0x038b266ef399abc291685e1096ef101ffca97f59
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe6e286f2ecd4c2811ff090559b6be1ae46808f200a66ae89ea7509b42aa07d6d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x038b266ef399abc291685e1096ef101ffca97f59"
],
"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": "0xc31c9c07",
"selector": "0xc31c9c07",
"calldata_variants": [
"0xc31c9c07",
"0xc31c9c070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe23ff957",
"selector": "0xe23ff957",
"calldata_variants": [
"0xe23ff957",
"0xe23ff9570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe88bece8",
"selector": "0xe88bece8",
"calldata_variants": [
"0xe88bece8",
"0xe88bece80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcc2a481",
"selector": "0xfcc2a481",
"calldata_variants": [
"0xfcc2a481",
"0xfcc2a4810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa615e171",
"selector": "0xa615e171",
"calldata_variants": [
"0xa615e171",
"0xa615e1710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa808023c",
"selector": "0xa808023c",
"calldata_variants": [
"0xa808023c",
"0xa808023c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1c94d94",
"selector": "0xb1c94d94",
"calldata_variants": [
"0xb1c94d94",
"0xb1c94d940000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1119,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|