019b3844-a4fc-739c-b965-7d2222da055c
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 |
|---|---|---|---|---|
| 16115 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16116 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 106565 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 106566 | capability.graph | complete | 1 / 3 | 1 week ago |
| 106567 | detector.run | complete | 1 / 3 | 1 week ago |
| 106568 | 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 0x0139 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x590e1ae3 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc19d93fb 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc19d93fb 0000002f: EQ 00000030: PUSH2 0x033f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc45a0155 0000003a: EQ 0000003b: PUSH2 0x0366 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcf0b2270 00000045: EQ 00000046: PUSH2 0x0386 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe43581b8 00000050: EQ 00000051: PUSH2 0x039b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe5a6b10f 0000005b: EQ 0000005c: PUSH2 0x03cb 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xe834a834 00000066: EQ 00000067: PUSH2 0x03eb 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x590e1ae3 00000076: EQ 00000077: PUSH2 0x02cb 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x5ed7ca5b 00000081: EQ 00000082: PUSH2 0x02e0 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x6886f10d 0000008c: EQ 0000008d: PUSH2 0x02f5 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8456cb59 00000097: EQ 00000098: PUSH2 0x0315 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xaf38d757 000000a2: EQ 000000a3: PUSH2 0x032a 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x2249742a 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x2249742a 000000bd: EQ 000000be: PUSH2 0x0229 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x3163e3a8 000000c8: EQ 000000c9: PUSH2 0x0256 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x42b72afa 000000d3: EQ 000000d4: PUSH2 0x026c 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x4960fc4e 000000de: EQ 000000df: PUSH2 0x028c 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x4e71d92d 000000e9: EQ 000000ea: PUSH2 0x02a1 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x54fd4d50 000000f4: EQ 000000f5: PUSH2 0x02b6 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x046f7da2 00000104: EQ 00000105: PUSH2 0x0145 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x16f0115b 0000010f: EQ 00000110: PUSH2 0x015c 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x1a39d8ef 0000011a: EQ 0000011b: PUSH2 0x0199 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x1e6af723 00000125: EQ 00000126: PUSH2 0x01bd 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x201f9a2a 00000130: EQ 00000131: PUSH2 0x01d3 00000134: JUMPI 00000135: PUSH1 0x00 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: CALLDATASIZE 0000013b: PUSH2 0x0140 0000013e: JUMPI 0000013f: STOP 00000140: JUMPDEST 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x015a 00000156: PUSH2 0x0401 00000159: JUMP 0000015a: JUMPDEST 0000015b: STOP 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: DUP1 0000015f: ISZERO 00000160: PUSH2 0x0168 00000163: JUMPI 00000164: PUSH1 0x00 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: POP 0000016a: PUSH1 0x01 0000016c: SLOAD 0000016d: PUSH2 0x017c 00000170: SWAP1 00000171: PUSH1 0x01 00000173: PUSH1 0x01 00000175: PUSH1 0xa0 00000177: SHL 00000178: SUB 00000179: AND 0000017a: DUP2 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: PUSH1 0x01 00000182: PUSH1 0x01 00000184: PUSH1 0xa0 00000186: SHL 00000187: SUB 00000188: SWAP1 00000189: SWAP2 0000018a: AND 0000018b: DUP2 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: ADD 00000190: JUMPDEST 00000191: PUSH1 0x40 00000193: MLOAD 00000194: DUP1 00000195: SWAP2 00000196: SUB 00000197: SWAP1 00000198: RETURN 00000199: JUMPDEST 0000019a: CALLVALUE 0000019b: DUP1 0000019c: ISZERO 0000019d: PUSH2 0x01a5 000001a0: JUMPI 000001a1: PUSH1 0x00 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: POP 000001a7: PUSH2 0x01af 000001aa: PUSH1 0x08 000001ac: SLOAD 000001ad: DUP2 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: SWAP1 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: PUSH2 0x0190 000001bc: JUMP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: DUP1 000001c0: ISZERO 000001c1: PUSH2 0x01c9 000001c4: JUMPI 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: POP 000001cb: PUSH2 0x01af 000001ce: PUSH1 0x03 000001d0: SLOAD 000001d1: DUP2 000001d2: JUMP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01df 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: POP 000001e1: PUSH1 0x06 000001e3: SLOAD 000001e4: PUSH1 0x07 000001e6: SLOAD 000001e7: PUSH2 0x0203 000001ea: SWAP2 000001eb: PUSH1 0x01 000001ed: PUSH1 0x01 000001ef: PUSH1 0x80 000001f1: SHL 000001f2: SUB 000001f3: DUP1 000001f4: DUP3 000001f5: AND 000001f6: SWAP3 000001f7: PUSH1 0x01 000001f9: PUSH1 0x80 000001fb: SHL 000001fc: SWAP1 000001fd: SWAP3 000001fe: DIV 000001ff: AND 00000200: SWAP1 00000201: DUP4 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH1 0x40 00000206: DUP1 00000207: MLOAD 00000208: PUSH1 0x01 0000020a: PUSH1 0x01 0000020c: PUSH1 0x80 0000020e: SHL 0000020f: SUB 00000210: SWAP5 00000211: DUP6 00000212: AND 00000213: DUP2 00000214: MSTORE 00000215: SWAP4 00000216: SWAP1 00000217: SWAP3 00000218: AND 00000219: PUSH1 0x20 0000021b: DUP5 0000021c: ADD 0000021d: MSTORE 0000021e: SWAP1 0000021f: DUP3 00000220: ADD 00000221: MSTORE 00000222: PUSH1 0x60 00000224: ADD 00000225: PUSH2 0x0190 00000228: JUMP 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x01af 0000023a: PUSH2 0x0244 0000023d: CALLDATASIZE 0000023e: PUSH1 0x04 00000240: PUSH2 0x1166 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x0a 00000247: PUSH1 0x20 00000249: MSTORE 0000024a: PUSH1 0x00 0000024c: SWAP1 0000024d: DUP2 0000024e: MSTORE 0000024f: PUSH1 0x40 00000251: SWAP1 00000252: KECCAK256 00000253: SLOAD 00000254: DUP2 00000255: JUMP 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH2 0x01af 00000267: PUSH1 0x04 00000269: SLOAD 0000026a: DUP2 0000026b: JUMP 0000026c: JUMPDEST 0000026d: CALLVALUE 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x0278 00000273: JUMPI 00000274: PUSH1 0x00 00000276: DUP1 00000277: REVERT 00000278: JUMPDEST 00000279: POP 0000027a: PUSH2 0x01af 0000027d: PUSH2 0x0287 00000280: CALLDATASIZE 00000281: PUSH1 0x04 00000283: PUSH2 0x1166 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH2 0x04e7 0000028b: JUMP 0000028c: JUMPDEST 0000028d: CALLVALUE 0000028e: DUP1 0000028f: ISZERO 00000290: PUSH2 0x0298 00000293: JUMPI 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: POP 0000029a: PUSH2 0x01af 0000029d: PUSH2 0x0608 000002a0: JUMP 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: PUSH2 0x015a 000002b2: PUSH2 0x065a 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: POP 000002c4: PUSH2 0x01af 000002c7: PUSH1 0x01 000002c9: DUP2 000002ca: JUMP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: DUP1 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x015a 000002dc: PUSH2 0x0857 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH2 0x015a 000002f1: PUSH2 0x0981 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: PUSH2 0x015a 00000306: PUSH2 0x0310 00000309: CALLDATASIZE 0000030a: PUSH1 0x04 0000030c: PUSH2 0x11be 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH2 0x0a56 00000314: JUMP 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH2 0x015a 00000326: PUSH2 0x0ada 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x01af 0000033b: PUSH2 0x0bac 0000033e: JUMP 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH1 0x05 0000034f: SLOAD 00000350: PUSH2 0x0359 00000353: SWAP1 00000354: PUSH1 0xff 00000356: AND 00000357: DUP2 00000358: JUMP 00000359: JUMPDEST 0000035a: PUSH1 0x40 0000035c: MLOAD 0000035d: PUSH2 0x0190 00000360: SWAP2 00000361: SWAP1 00000362: PUSH2 0x120a 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH1 0x00 00000376: SLOAD 00000377: PUSH2 0x017c 0000037a: SWAP1 0000037b: PUSH1 0x01 0000037d: PUSH1 0x01 0000037f: PUSH1 0xa0 00000381: SHL 00000382: SUB 00000383: AND 00000384: DUP2 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH2 0x017c 00000397: PUSH2 0x0ce3 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x03bb 000003ac: PUSH2 0x03b6 000003af: CALLDATASIZE 000003b0: PUSH1 0x04 000003b2: PUSH2 0x1166 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH2 0x0d65 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: SWAP1 000003c0: ISZERO 000003c1: ISZERO 000003c2: DUP2 000003c3: MSTORE 000003c4: PUSH1 0x20 000003c6: ADD 000003c7: PUSH2 0x0190 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH1 0x02 000003db: SLOAD 000003dc: PUSH2 0x017c 000003df: SWAP1 000003e0: PUSH1 0x01 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa0 000003e6: SHL 000003e7: SUB 000003e8: AND 000003e9: DUP2 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x01af 000003fc: PUSH1 0x09 000003fe: SLOAD 000003ff: DUP2 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH2 0x040a 00000405: CALLER 00000406: PUSH2 0x0d65 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x042f 0000040e: JUMPI 0000040f: PUSH1 0x40 00000411: MLOAD 00000412: PUSH3 0x461bcd 00000416: PUSH1 0xe5 00000418: SHL 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH1 0x04 0000041d: ADD 0000041e: PUSH2 0x0426 00000421: SWAP1 00000422: PUSH2 0x1265 00000425: JUMP 00000426: JUMPDEST 00000427: PUSH1 0x40 00000429: MLOAD 0000042a: DUP1 0000042b: SWAP2 0000042c: SUB 0000042d: SWAP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: PUSH1 0x02 00000432: PUSH1 0x05 00000434: SLOAD 00000435: PUSH1 0xff 00000437: AND 00000438: PUSH1 0x03 0000043a: DUP2 0000043b: GT 0000043c: ISZERO 0000043d: PUSH2 0x0456 00000440: JUMPI 00000441: PUSH4 0x4e487b71 00000446: PUSH1 0xe0 00000448: SHL 00000449: PUSH1 0x00 0000044b: MSTORE 0000044c: PUSH1 0x21 0000044e: PUSH1 0x04 00000450: MSTORE 00000451: PUSH1 0x24 00000453: PUSH1 0x00 00000455: REVERT 00000456: JUMPDEST 00000457: EQ 00000458: PUSH2 0x0496 0000045b: JUMPI 0000045c: PUSH1 0x40 0000045e: MLOAD 0000045f: PUSH3 0x461bcd 00000463: PUSH1 0xe5 00000465: SHL 00000466: DUP2 00000467: MSTORE 00000468: PUSH1 0x20 0000046a: PUSH1 0x04 0000046c: DUP3 0000046d: ADD 0000046e: MSTORE 0000046f: PUSH1 0x10 00000471: PUSH1 0x24 00000473: DUP3 00000474: ADD 00000475: MSTORE 00000476: PUSH16 0x105b1c9958591e481d5b9c185d5cd959 00000487: PUSH1 0x82 00000489: SHL 0000048a: PUSH1 0x44 0000048c: DUP3 0000048d: ADD 0000048e: MSTORE 0000048f: PUSH1 0x64 00000491: ADD 00000492: PUSH2 0x0426 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH1 0x05 00000499: DUP1 0000049a: SLOAD 0000049b: PUSH1 0xff 0000049d: NOT 0000049e: AND 0000049f: PUSH1 0x01 000004a1: SWAP1 000004a2: DUP2 000004a3: OR 000004a4: SWAP1 000004a5: SWAP2 000004a6: SSTORE 000004a7: SLOAD 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: PUSH1 0x01 000004ad: PUSH1 0x01 000004af: PUSH1 0xa0 000004b1: SHL 000004b2: SUB 000004b3: SWAP1 000004b4: SWAP2 000004b5: AND 000004b6: DUP2 000004b7: MSTORE 000004b8: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 000004d9: SWAP1 000004da: PUSH1 0x20 000004dc: ADD 000004dd: JUMPDEST 000004de: PUSH1 0x40 000004e0: MLOAD 000004e1: DUP1 000004e2: SWAP2 000004e3: SUB 000004e4: SWAP1 000004e5: LOG1 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH1 0x00 000004ea: PUSH1 0x03 000004ec: PUSH1 0x05 000004ee: SLOAD 000004ef: PUSH1 0xff 000004f1: AND 000004f2: PUSH1 0x03 000004f4: DUP2 000004f5: GT 000004f6: ISZERO 000004f7: PUSH2 0x0510 000004fa: JUMPI 000004fb: PUSH4 0x4e487b71 00000500: PUSH1 0xe0 00000502: SHL 00000503: PUSH1 0x00 00000505: MSTORE 00000506: PUSH1 0x21 00000508: PUSH1 0x04 0000050a: MSTORE 0000050b: PUSH1 0x24 0000050d: PUSH1 0x00 0000050f: REVERT 00000510: JUMPDEST 00000511: EQ 00000512: PUSH2 0x051d 00000515: JUMPI 00000516: POP 00000517: PUSH1 0x00 00000519: SWAP2 0000051a: SWAP1 0000051b: POP 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x01 00000520: SLOAD 00000521: PUSH1 0x40 00000523: MLOAD 00000524: PUSH4 0x6bc02f67 00000529: PUSH1 0xe1 0000052b: SHL 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x01 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: SHL 00000535: SUB 00000536: DUP5 00000537: DUP2 00000538: AND 00000539: PUSH1 0x04 0000053b: DUP4 0000053c: ADD 0000053d: MSTORE 0000053e: PUSH1 0x00 00000540: SWAP3 00000541: AND 00000542: SWAP1 00000543: PUSH4 0xd7805ece 00000548: SWAP1 00000549: PUSH1 0x24 0000054b: ADD 0000054c: PUSH1 0x20 0000054e: PUSH1 0x40 00000550: MLOAD 00000551: DUP1 00000552: DUP4 00000553: SUB 00000554: DUP2 00000555: DUP7 00000556: DUP1 00000557: EXTCODESIZE 00000558: ISZERO 00000559: DUP1 0000055a: ISZERO 0000055b: PUSH2 0x0563 0000055e: JUMPI 0000055f: PUSH1 0x00 00000561: DUP1 00000562: REVERT 00000563: JUMPDEST 00000564: POP 00000565: GAS 00000566: STATICCALL 00000567: ISZERO 00000568: DUP1 00000569: ISZERO 0000056a: PUSH2 0x0577 0000056d: JUMPI 0000056e: RETURNDATASIZE 0000056f: PUSH1 0x00 00000571: DUP1 00000572: RETURNDATACOPY 00000573: RETURNDATASIZE 00000574: PUSH1 0x00 00000576: REVERT 00000577: JUMPDEST 00000578: POP 00000579: POP 0000057a: POP 0000057b: POP 0000057c: PUSH1 0x40 0000057e: MLOAD 0000057f: RETURNDATASIZE 00000580: PUSH1 0x1f 00000582: NOT 00000583: PUSH1 0x1f 00000585: DUP3 00000586: ADD 00000587: AND 00000588: DUP3 00000589: ADD 0000058a: DUP1 0000058b: PUSH1 0x40 0000058d: MSTORE 0000058e: POP 0000058f: DUP2 00000590: ADD 00000591: SWAP1 00000592: PUSH2 0x059b 00000595: SWAP2 00000596: SWAP1 00000597: PUSH2 0x11d6 0000059a: JUMP 0000059b: JUMPDEST 0000059c: SWAP1 0000059d: POP 0000059e: DUP1 0000059f: PUSH2 0x05ab 000005a2: JUMPI 000005a3: POP 000005a4: PUSH1 0x00 000005a6: SWAP3 000005a7: SWAP2 000005a8: POP 000005a9: POP 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x01 000005ae: PUSH1 0x01 000005b0: PUSH1 0xa0 000005b2: SHL 000005b3: SUB 000005b4: DUP4 000005b5: AND 000005b6: PUSH1 0x00 000005b8: SWAP1 000005b9: DUP2 000005ba: MSTORE 000005bb: PUSH1 0x0a 000005bd: PUSH1 0x20 000005bf: MSTORE 000005c0: PUSH1 0x40 000005c2: SWAP1 000005c3: KECCAK256 000005c4: SLOAD 000005c5: ISZERO 000005c6: PUSH2 0x05d2 000005c9: JUMPI 000005ca: POP 000005cb: PUSH1 0x00 000005cd: SWAP3 000005ce: SWAP2 000005cf: POP 000005d0: POP 000005d1: JUMP 000005d2: JUMPDEST 000005d3: DUP1 000005d4: PUSH1 0x00 000005d6: PUSH2 0x05dd 000005d9: PUSH2 0x0608 000005dc: JUMP 000005dd: JUMPDEST 000005de: SWAP1 000005df: POP 000005e0: PUSH1 0x00 000005e2: PUSH8 0x0de0b6b3a7640000 000005eb: PUSH2 0x05f4 000005ee: DUP4 000005ef: DUP6 000005f0: PUSH2 0x12c0 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH2 0x05fe 000005f8: SWAP2 000005f9: SWAP1 000005fa: PUSH2 0x12a0 000005fd: JUMP 000005fe: JUMPDEST 000005ff: SWAP7 00000600: SWAP6 00000601: POP 00000602: POP 00000603: POP 00000604: POP 00000605: POP 00000606: POP 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH1 0x00 0000060b: PUSH1 0x08 0000060d: SLOAD 0000060e: PUSH1 0x09 00000610: SLOAD 00000611: LT 00000612: PUSH2 0x061b 00000615: JUMPI 00000616: POP 00000617: PUSH1 0x00 00000619: SWAP1 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x00 0000061e: PUSH1 0x08 00000620: SLOAD 00000621: PUSH1 0x09 00000623: SLOAD 00000624: PUSH8 0x0de0b6b3a7640000 0000062d: PUSH2 0x0636 00000630: SWAP2 00000631: SWAP1 00000632: PUSH2 0x12c0 00000635: JUMP 00000636: JUMPDEST 00000637: PUSH2 0x0640 0000063a: SWAP2 0000063b: SWAP1 0000063c: PUSH2 0x12a0 0000063f: JUMP 00000640: JUMPDEST 00000641: SWAP1 00000642: POP 00000643: PUSH2 0x0654 00000646: DUP2 00000647: PUSH8 0x0de0b6b3a7640000 00000650: PUSH2 0x12df 00000653: JUMP 00000654: JUMPDEST 00000655: SWAP2 00000656: POP 00000657: POP 00000658: SWAP1 00000659: JUMP 0000065a: JUMPDEST 0000065b: CALLER 0000065c: PUSH2 0x0663 0000065f: PUSH2 0x0ce3 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x01 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: SHL 0000066b: SUB 0000066c: AND 0000066d: EQ 0000066e: PUSH2 0x06ab 00000671: JUMPI 00000672: PUSH1 0x40 00000674: MLOAD 00000675: PUSH3 0x461bcd 00000679: PUSH1 0xe5 0000067b: SHL 0000067c: DUP2 0000067d: MSTORE 0000067e: PUSH1 0x20 00000680: PUSH1 0x04 00000682: DUP3 00000683: ADD 00000684: MSTORE 00000685: PUSH1 0x0f 00000687: PUSH1 0x24 00000689: DUP3 0000068a: ADD 0000068b: MSTORE 0000068c: PUSH15 0x27b7363c903837b7b61037bbb732b9 0000069c: PUSH1 0x89 0000069e: SHL 0000069f: PUSH1 0x44 000006a1: DUP3 000006a2: ADD 000006a3: MSTORE 000006a4: PUSH1 0x64 000006a6: ADD 000006a7: PUSH2 0x0426 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH1 0x01 000006ae: PUSH1 0x05 000006b0: SLOAD 000006b1: PUSH1 0xff 000006b3: AND 000006b4: PUSH1 0x03 000006b6: DUP2 000006b7: GT 000006b8: ISZERO 000006b9: PUSH2 0x06d2 000006bc: JUMPI 000006bd: PUSH4 0x4e487b71 000006c2: PUSH1 0xe0 000006c4: SHL 000006c5: PUSH1 0x00 000006c7: MSTORE 000006c8: PUSH1 0x21 000006ca: PUSH1 0x04 000006cc: MSTORE 000006cd: PUSH1 0x24 000006cf: PUSH1 0x00 000006d1: REVERT 000006d2: JUMPDEST 000006d3: EQ 000006d4: PUSH2 0x0717 000006d7: JUMPI 000006d8: PUSH1 0x40 000006da: MLOAD 000006db: PUSH3 0x461bcd 000006df: PUSH1 0xe5 000006e1: SHL 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: PUSH1 0x04 000006e8: DUP3 000006e9: ADD 000006ea: MSTORE 000006eb: PUSH1 0x15 000006ed: PUSH1 0x24 000006ef: DUP3 000006f0: ADD 000006f1: MSTORE 000006f2: PUSH21 0x4e6f7420696e20636c61696d696e67207374617465 00000708: PUSH1 0x58 0000070a: SHL 0000070b: PUSH1 0x44 0000070d: DUP3 0000070e: ADD 0000070f: MSTORE 00000710: PUSH1 0x64 00000712: ADD 00000713: PUSH2 0x0426 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x00 0000071a: PUSH2 0x0721 0000071d: PUSH2 0x0bac 00000720: JUMP 00000721: JUMPDEST 00000722: SWAP1 00000723: POP 00000724: DUP1 00000725: ISZERO 00000726: PUSH2 0x0854 00000729: JUMPI 0000072a: DUP1 0000072b: PUSH1 0x09 0000072d: PUSH1 0x00 0000072f: DUP3 00000730: DUP3 00000731: SLOAD 00000732: PUSH2 0x073b 00000735: SWAP2 00000736: SWAP1 00000737: PUSH2 0x1288 0000073a: JUMP 0000073b: JUMPDEST 0000073c: SWAP1 0000073d: SWAP2 0000073e: SSTORE 0000073f: POP 00000740: POP 00000741: PUSH1 0x03 00000743: SLOAD 00000744: PUSH1 0x00 00000746: SWAP1 00000747: PUSH1 0x64 00000749: SWAP1 0000074a: PUSH2 0x0753 0000074d: SWAP1 0000074e: DUP5 0000074f: PUSH2 0x12c0 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH2 0x075d 00000757: SWAP2 00000758: SWAP1 00000759: PUSH2 0x12a0 0000075c: JUMP 0000075d: JUMPDEST 0000075e: SWAP1 0000075f: POP 00000760: PUSH1 0x00 00000762: PUSH2 0x076b 00000765: DUP3 00000766: DUP5 00000767: PUSH2 0x12df 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP1 0000076d: POP 0000076e: PUSH2 0x07fa 00000771: PUSH1 0x00 00000773: DUP1 00000774: SLOAD 00000775: SWAP1 00000776: PUSH2 0x0100 00000779: EXP 0000077a: SWAP1 0000077b: DIV 0000077c: PUSH1 0x01 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: SHL 00000783: SUB 00000784: AND 00000785: PUSH1 0x01 00000787: PUSH1 0x01 00000789: PUSH1 0xa0 0000078b: SHL 0000078c: SUB 0000078d: AND 0000078e: PUSH4 0x017e7e58 00000793: PUSH1 0x40 00000795: MLOAD 00000796: DUP2 00000797: PUSH4 0xffffffff 0000079c: AND 0000079d: PUSH1 0xe0 0000079f: SHL 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x04 000007a4: ADD 000007a5: PUSH1 0x20 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: DUP4 000007ac: SUB 000007ad: DUP2 000007ae: DUP7 000007af: DUP1 000007b0: EXTCODESIZE 000007b1: ISZERO 000007b2: DUP1 000007b3: ISZERO 000007b4: PUSH2 0x07bc 000007b7: JUMPI 000007b8: PUSH1 0x00 000007ba: DUP1 000007bb: REVERT 000007bc: JUMPDEST 000007bd: POP 000007be: GAS 000007bf: STATICCALL 000007c0: ISZERO 000007c1: DUP1 000007c2: ISZERO 000007c3: PUSH2 0x07d0 000007c6: JUMPI 000007c7: RETURNDATASIZE 000007c8: PUSH1 0x00 000007ca: DUP1 000007cb: RETURNDATACOPY 000007cc: RETURNDATASIZE 000007cd: PUSH1 0x00 000007cf: REVERT 000007d0: JUMPDEST 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: PUSH1 0x40 000007d7: MLOAD 000007d8: RETURNDATASIZE 000007d9: PUSH1 0x1f 000007db: NOT 000007dc: PUSH1 0x1f 000007de: DUP3 000007df: ADD 000007e0: AND 000007e1: DUP3 000007e2: ADD 000007e3: DUP1 000007e4: PUSH1 0x40 000007e6: MSTORE 000007e7: POP 000007e8: DUP2 000007e9: ADD 000007ea: SWAP1 000007eb: PUSH2 0x07f4 000007ee: SWAP2 000007ef: SWAP1 000007f0: PUSH2 0x1182 000007f3: JUMP 000007f4: JUMPDEST 000007f5: DUP4 000007f6: PUSH2 0x0e67 000007f9: JUMP 000007fa: JUMPDEST 000007fb: PUSH2 0x080b 000007fe: PUSH2 0x0805 00000801: PUSH2 0x0ce3 00000804: JUMP 00000805: JUMPDEST 00000806: DUP3 00000807: PUSH2 0x0e67 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x01 0000080e: SLOAD 0000080f: PUSH1 0x40 00000811: DUP1 00000812: MLOAD 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: SWAP1 0000081c: SWAP3 0000081d: AND 0000081e: DUP3 0000081f: MSTORE 00000820: PUSH1 0x20 00000822: DUP3 00000823: ADD 00000824: DUP6 00000825: SWAP1 00000826: MSTORE 00000827: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 00000848: SWAP2 00000849: ADD 0000084a: PUSH1 0x40 0000084c: MLOAD 0000084d: DUP1 0000084e: SWAP2 0000084f: SUB 00000850: SWAP1 00000851: LOG1 00000852: POP 00000853: POP 00000854: JUMPDEST 00000855: POP 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x03 0000085a: PUSH1 0x05 0000085c: SLOAD 0000085d: PUSH1 0xff 0000085f: AND 00000860: PUSH1 0x03 00000862: DUP2 00000863: GT 00000864: ISZERO 00000865: PUSH2 0x087e 00000868: JUMPI 00000869: PUSH4 0x4e487b71 0000086e: PUSH1 0xe0 00000870: SHL 00000871: PUSH1 0x00 00000873: MSTORE 00000874: PUSH1 0x21 00000876: PUSH1 0x04 00000878: MSTORE 00000879: PUSH1 0x24 0000087b: PUSH1 0x00 0000087d: REVERT 0000087e: JUMPDEST 0000087f: EQ 00000880: PUSH2 0x08c4 00000883: JUMPI 00000884: PUSH1 0x40 00000886: MLOAD 00000887: PUSH3 0x461bcd 0000088b: PUSH1 0xe5 0000088d: SHL 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: PUSH1 0x04 00000894: DUP3 00000895: ADD 00000896: MSTORE 00000897: PUSH1 0x16 00000899: PUSH1 0x24 0000089b: DUP3 0000089c: ADD 0000089d: MSTORE 0000089e: PUSH22 0x4e6f7420696e20726566756e64696e67207374617465 000008b5: PUSH1 0x50 000008b7: SHL 000008b8: PUSH1 0x44 000008ba: DUP3 000008bb: ADD 000008bc: MSTORE 000008bd: PUSH1 0x64 000008bf: ADD 000008c0: PUSH2 0x0426 000008c3: JUMP 000008c4: JUMPDEST 000008c5: PUSH1 0x00 000008c7: PUSH2 0x08cf 000008ca: CALLER 000008cb: PUSH2 0x04e7 000008ce: JUMP 000008cf: JUMPDEST 000008d0: SWAP1 000008d1: POP 000008d2: PUSH1 0x00 000008d4: DUP2 000008d5: GT 000008d6: PUSH2 0x0915 000008d9: JUMPI 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: PUSH3 0x461bcd 000008e1: PUSH1 0xe5 000008e3: SHL 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x20 000008e8: PUSH1 0x04 000008ea: DUP3 000008eb: ADD 000008ec: MSTORE 000008ed: PUSH1 0x11 000008ef: PUSH1 0x24 000008f1: DUP3 000008f2: ADD 000008f3: MSTORE 000008f4: PUSH17 0x139bdd1a1a5b99c81d1bc81c99599d5b99 00000906: PUSH1 0x7a 00000908: SHL 00000909: PUSH1 0x44 0000090b: DUP3 0000090c: ADD 0000090d: MSTORE 0000090e: PUSH1 0x64 00000910: ADD 00000911: PUSH2 0x0426 00000914: JUMP 00000915: JUMPDEST 00000916: CALLER 00000917: PUSH1 0x00 00000919: DUP2 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x0a 0000091e: PUSH1 0x20 00000920: MSTORE 00000921: PUSH1 0x40 00000923: SWAP1 00000924: KECCAK256 00000925: DUP3 00000926: SWAP1 00000927: SSTORE 00000928: PUSH2 0x0931 0000092b: SWAP1 0000092c: DUP3 0000092d: PUSH2 0x0e67 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x01 00000934: SLOAD 00000935: PUSH1 0x40 00000937: DUP1 00000938: MLOAD 00000939: PUSH1 0x01 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: SHL 00000940: SUB 00000941: SWAP1 00000942: SWAP3 00000943: AND 00000944: DUP3 00000945: MSTORE 00000946: CALLER 00000947: PUSH1 0x20 00000949: DUP4 0000094a: ADD 0000094b: MSTORE 0000094c: DUP2 0000094d: ADD 0000094e: DUP3 0000094f: SWAP1 00000950: MSTORE 00000951: PUSH32 0xec1e5ed733e00f1a00915d56caef57b4f52312dde4f9b3165f213319a0da156b 00000972: SWAP1 00000973: PUSH1 0x60 00000975: ADD 00000976: JUMPDEST 00000977: PUSH1 0x40 00000979: MLOAD 0000097a: DUP1 0000097b: SWAP2 0000097c: SUB 0000097d: SWAP1 0000097e: LOG1 0000097f: POP 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH2 0x098a 00000985: CALLER 00000986: PUSH2 0x0d65 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH2 0x09a6 0000098e: JUMPI 0000098f: PUSH1 0x40 00000991: MLOAD 00000992: PUSH3 0x461bcd 00000996: PUSH1 0xe5 00000998: SHL 00000999: DUP2 0000099a: MSTORE 0000099b: PUSH1 0x04 0000099d: ADD 0000099e: PUSH2 0x0426 000009a1: SWAP1 000009a2: PUSH2 0x1265 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH1 0x03 000009a9: PUSH1 0x05 000009ab: SLOAD 000009ac: PUSH1 0xff 000009ae: AND 000009af: PUSH1 0x03 000009b1: DUP2 000009b2: GT 000009b3: ISZERO 000009b4: PUSH2 0x09cd 000009b7: JUMPI 000009b8: PUSH4 0x4e487b71 000009bd: PUSH1 0xe0 000009bf: SHL 000009c0: PUSH1 0x00 000009c2: MSTORE 000009c3: PUSH1 0x21 000009c5: PUSH1 0x04 000009c7: MSTORE 000009c8: PUSH1 0x24 000009ca: PUSH1 0x00 000009cc: REVERT 000009cd: JUMPDEST 000009ce: EQ 000009cf: ISZERO 000009d0: PUSH2 0x0a0c 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH3 0x461bcd 000009db: PUSH1 0xe5 000009dd: SHL 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x20 000009e2: PUSH1 0x04 000009e4: DUP3 000009e5: ADD 000009e6: MSTORE 000009e7: PUSH1 0x0e 000009e9: PUSH1 0x24 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH14 0x105b1c9958591e481a185b1d1959 000009fd: PUSH1 0x92 000009ff: SHL 00000a00: PUSH1 0x44 00000a02: DUP3 00000a03: ADD 00000a04: MSTORE 00000a05: PUSH1 0x64 00000a07: ADD 00000a08: PUSH2 0x0426 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH1 0x05 00000a0f: DUP1 00000a10: SLOAD 00000a11: PUSH1 0xff 00000a13: NOT 00000a14: AND 00000a15: PUSH1 0x03 00000a17: OR 00000a18: SWAP1 00000a19: SSTORE 00000a1a: PUSH1 0x01 00000a1c: SLOAD 00000a1d: PUSH1 0x40 00000a1f: MLOAD 00000a20: PUSH1 0x01 00000a22: PUSH1 0x01 00000a24: PUSH1 0xa0 00000a26: SHL 00000a27: SUB 00000a28: SWAP1 00000a29: SWAP2 00000a2a: AND 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH32 0x3b7172ab619202d651b1c577912afaf1ba761f0f197af15c3d0ea5c4b7600ce9 00000a4e: SWAP1 00000a4f: PUSH1 0x20 00000a51: ADD 00000a52: PUSH2 0x04dd 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH1 0x01 00000a59: SLOAD 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0xa0 00000a60: SHL 00000a61: SUB 00000a62: AND 00000a63: CALLER 00000a64: EQ 00000a65: PUSH2 0x0a80 00000a68: JUMPI 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: PUSH3 0x461bcd 00000a70: PUSH1 0xe5 00000a72: SHL 00000a73: DUP2 00000a74: MSTORE 00000a75: PUSH1 0x04 00000a77: ADD 00000a78: PUSH2 0x0426 00000a7b: SWAP1 00000a7c: PUSH2 0x1265 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x08 00000a83: DUP2 00000a84: SWAP1 00000a85: SSTORE 00000a86: TIMESTAMP 00000a87: PUSH1 0x04 00000a89: SSTORE 00000a8a: PUSH1 0x05 00000a8c: DUP1 00000a8d: SLOAD 00000a8e: PUSH1 0xff 00000a90: NOT 00000a91: AND 00000a92: PUSH1 0x01 00000a94: SWAP1 00000a95: DUP2 00000a96: OR 00000a97: SWAP1 00000a98: SWAP2 00000a99: SSTORE 00000a9a: SLOAD 00000a9b: PUSH1 0x40 00000a9d: DUP1 00000a9e: MLOAD 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0xa0 00000aa5: SHL 00000aa6: SUB 00000aa7: SWAP1 00000aa8: SWAP3 00000aa9: AND 00000aaa: DUP3 00000aab: MSTORE 00000aac: PUSH1 0x20 00000aae: DUP3 00000aaf: ADD 00000ab0: DUP4 00000ab1: SWAP1 00000ab2: MSTORE 00000ab3: PUSH32 0x0b82cbb3af68ef5b24abae8cd0df3ef2bec5d21454d813002af3ed648f60c884 00000ad4: SWAP2 00000ad5: ADD 00000ad6: PUSH2 0x0976 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: PUSH2 0x0ae3 00000ade: CALLER 00000adf: PUSH2 0x0d65 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH2 0x0aff 00000ae7: JUMPI 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: PUSH3 0x461bcd 00000aef: PUSH1 0xe5 00000af1: SHL 00000af2: DUP2 00000af3: MSTORE 00000af4: PUSH1 0x04 00000af6: ADD 00000af7: PUSH2 0x0426 00000afa: SWAP1 00000afb: PUSH2 0x1265 00000afe: JUMP 00000aff: JUMPDEST 00000b00: PUSH1 0x01 00000b02: PUSH1 0x05 00000b04: SLOAD 00000b05: PUSH1 0xff 00000b07: AND 00000b08: PUSH1 0x03 00000b0a: DUP2 00000b0b: GT 00000b0c: ISZERO 00000b0d: PUSH2 0x0b26 00000b10: JUMPI 00000b11: PUSH4 0x4e487b71 00000b16: PUSH1 0xe0 00000b18: SHL 00000b19: PUSH1 0x00 00000b1b: MSTORE 00000b1c: PUSH1 0x21 00000b1e: PUSH1 0x04 00000b20: MSTORE 00000b21: PUSH1 0x24 00000b23: PUSH1 0x00 00000b25: REVERT 00000b26: JUMPDEST 00000b27: EQ 00000b28: PUSH2 0x0b62 00000b2b: JUMPI 00000b2c: PUSH1 0x40 00000b2e: MLOAD 00000b2f: PUSH3 0x461bcd 00000b33: PUSH1 0xe5 00000b35: SHL 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x20 00000b3a: PUSH1 0x04 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: PUSH1 0x0c 00000b41: PUSH1 0x24 00000b43: DUP3 00000b44: ADD 00000b45: MSTORE 00000b46: PUSH12 0x43616e6e6f74207061757365 00000b53: PUSH1 0xa0 00000b55: SHL 00000b56: PUSH1 0x44 00000b58: DUP3 00000b59: ADD 00000b5a: MSTORE 00000b5b: PUSH1 0x64 00000b5d: ADD 00000b5e: PUSH2 0x0426 00000b61: JUMP 00000b62: JUMPDEST 00000b63: PUSH1 0x05 00000b65: DUP1 00000b66: SLOAD 00000b67: PUSH1 0xff 00000b69: NOT 00000b6a: AND 00000b6b: PUSH1 0x02 00000b6d: OR 00000b6e: SWAP1 00000b6f: SSTORE 00000b70: PUSH1 0x01 00000b72: SLOAD 00000b73: PUSH1 0x40 00000b75: MLOAD 00000b76: PUSH1 0x01 00000b78: PUSH1 0x01 00000b7a: PUSH1 0xa0 00000b7c: SHL 00000b7d: SUB 00000b7e: SWAP1 00000b7f: SWAP2 00000b80: AND 00000b81: DUP2 00000b82: MSTORE 00000b83: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000ba4: SWAP1 00000ba5: PUSH1 0x20 00000ba7: ADD 00000ba8: PUSH2 0x04dd 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: PUSH1 0x01 00000bb1: PUSH1 0x05 00000bb3: SLOAD 00000bb4: PUSH1 0xff 00000bb6: AND 00000bb7: PUSH1 0x03 00000bb9: DUP2 00000bba: GT 00000bbb: ISZERO 00000bbc: PUSH2 0x0bd5 00000bbf: JUMPI 00000bc0: PUSH4 0x4e487b71 00000bc5: PUSH1 0xe0 00000bc7: SHL 00000bc8: PUSH1 0x00 00000bca: MSTORE 00000bcb: PUSH1 0x21 00000bcd: PUSH1 0x04 00000bcf: MSTORE 00000bd0: PUSH1 0x24 00000bd2: PUSH1 0x00 00000bd4: REVERT 00000bd5: JUMPDEST 00000bd6: EQ 00000bd7: PUSH2 0x0be0 00000bda: JUMPI 00000bdb: POP 00000bdc: PUSH1 0x00 00000bde: SWAP1 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: PUSH1 0x04 00000be3: SLOAD 00000be4: PUSH2 0x0bed 00000be7: JUMPI 00000be8: POP 00000be9: PUSH1 0x00 00000beb: SWAP1 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH1 0x04 00000bf0: SLOAD 00000bf1: TIMESTAMP 00000bf2: LT 00000bf3: ISZERO 00000bf4: PUSH2 0x0bfd 00000bf7: JUMPI 00000bf8: POP 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH1 0x07 00000c00: SLOAD 00000c01: PUSH2 0x0c0a 00000c04: JUMPI 00000c05: POP 00000c06: PUSH1 0x00 00000c08: SWAP1 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH1 0x00 00000c0d: PUSH1 0x04 00000c0f: SLOAD 00000c10: TIMESTAMP 00000c11: LT 00000c12: PUSH2 0x0caa 00000c15: JUMPI 00000c16: PUSH1 0x06 00000c18: SLOAD 00000c19: PUSH1 0x08 00000c1b: SLOAD 00000c1c: PUSH1 0x00 00000c1e: SWAP2 00000c1f: PUSH1 0x64 00000c21: SWAP2 00000c22: PUSH2 0x0c34 00000c25: SWAP2 00000c26: PUSH1 0x01 00000c28: PUSH1 0x01 00000c2a: PUSH1 0x80 00000c2c: SHL 00000c2d: SUB 00000c2e: AND 00000c2f: SWAP1 00000c30: PUSH2 0x12c0 00000c33: JUMP 00000c34: JUMPDEST 00000c35: PUSH2 0x0c3e 00000c38: SWAP2 00000c39: SWAP1 00000c3a: PUSH2 0x12a0 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: PUSH1 0x06 00000c41: SLOAD 00000c42: PUSH1 0x08 00000c44: SLOAD 00000c45: SWAP2 00000c46: SWAP3 00000c47: POP 00000c48: PUSH1 0x00 00000c4a: SWAP2 00000c4b: PUSH1 0x64 00000c4d: SWAP2 00000c4e: PUSH2 0x0c68 00000c51: SWAP2 00000c52: PUSH1 0x01 00000c54: PUSH1 0x80 00000c56: SHL 00000c57: SWAP1 00000c58: SWAP2 00000c59: DIV 00000c5a: PUSH1 0x01 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0x80 00000c60: SHL 00000c61: SUB 00000c62: AND 00000c63: SWAP1 00000c64: PUSH2 0x12c0 00000c67: JUMP 00000c68: JUMPDEST 00000c69: PUSH2 0x0c72 00000c6c: SWAP2 00000c6d: SWAP1 00000c6e: PUSH2 0x12a0 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH1 0x07 00000c75: SLOAD 00000c76: PUSH1 0x04 00000c78: SLOAD 00000c79: SWAP2 00000c7a: SWAP3 00000c7b: POP 00000c7c: DUP3 00000c7d: SWAP2 00000c7e: PUSH2 0x0c87 00000c81: SWAP1 00000c82: TIMESTAMP 00000c83: PUSH2 0x12df 00000c86: JUMP 00000c87: JUMPDEST 00000c88: PUSH2 0x0c91 00000c8b: SWAP2 00000c8c: SWAP1 00000c8d: PUSH2 0x12a0 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH2 0x0c9b 00000c95: SWAP2 00000c96: SWAP1 00000c97: PUSH2 0x12c0 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH2 0x0ca5 00000c9f: SWAP1 00000ca0: DUP4 00000ca1: PUSH2 0x1288 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: SWAP3 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: JUMPDEST 00000cab: PUSH1 0x00 00000cad: PUSH1 0x08 00000caf: SLOAD 00000cb0: DUP3 00000cb1: GT 00000cb2: ISZERO 00000cb3: PUSH2 0x0ccd 00000cb6: JUMPI 00000cb7: PUSH1 0x09 00000cb9: SLOAD 00000cba: PUSH1 0x08 00000cbc: SLOAD 00000cbd: PUSH2 0x0cc6 00000cc0: SWAP2 00000cc1: SWAP1 00000cc2: PUSH2 0x12df 00000cc5: JUMP 00000cc6: JUMPDEST 00000cc7: SWAP1 00000cc8: POP 00000cc9: PUSH2 0x0cdd 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH1 0x09 00000cd0: SLOAD 00000cd1: PUSH2 0x0cda 00000cd4: SWAP1 00000cd5: DUP4 00000cd6: PUSH2 0x12df 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: SWAP1 00000cdc: POP 00000cdd: JUMPDEST 00000cde: SWAP3 00000cdf: SWAP2 00000ce0: POP 00000ce1: POP 00000ce2: JUMP 00000ce3: JUMPDEST 00000ce4: PUSH1 0x01 00000ce6: SLOAD 00000ce7: PUSH1 0x40 00000ce9: DUP1 00000cea: MLOAD 00000ceb: PUSH4 0x8da5cb5b 00000cf0: PUSH1 0xe0 00000cf2: SHL 00000cf3: DUP2 00000cf4: MSTORE 00000cf5: SWAP1 00000cf6: MLOAD 00000cf7: PUSH1 0x00 00000cf9: SWAP3 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: SHL 00000d01: SUB 00000d02: AND 00000d03: SWAP2 00000d04: PUSH4 0x8da5cb5b 00000d09: SWAP2 00000d0a: PUSH1 0x04 00000d0c: DUP1 00000d0d: DUP4 00000d0e: ADD 00000d0f: SWAP3 00000d10: PUSH1 0x20 00000d12: SWAP3 00000d13: SWAP2 00000d14: SWAP1 00000d15: DUP3 00000d16: SWAP1 00000d17: SUB 00000d18: ADD 00000d19: DUP2 00000d1a: DUP7 00000d1b: DUP1 00000d1c: EXTCODESIZE 00000d1d: ISZERO 00000d1e: DUP1 00000d1f: ISZERO 00000d20: PUSH2 0x0d28 00000d23: JUMPI 00000d24: PUSH1 0x00 00000d26: DUP1 00000d27: REVERT 00000d28: JUMPDEST 00000d29: POP 00000d2a: GAS 00000d2b: STATICCALL 00000d2c: ISZERO 00000d2d: DUP1 00000d2e: ISZERO 00000d2f: PUSH2 0x0d3c 00000d32: JUMPI 00000d33: RETURNDATASIZE 00000d34: PUSH1 0x00 00000d36: DUP1 00000d37: RETURNDATACOPY 00000d38: RETURNDATASIZE 00000d39: PUSH1 0x00 00000d3b: REVERT 00000d3c: JUMPDEST 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: RETURNDATASIZE 00000d45: PUSH1 0x1f 00000d47: NOT 00000d48: PUSH1 0x1f 00000d4a: DUP3 00000d4b: ADD 00000d4c: AND 00000d4d: DUP3 00000d4e: ADD 00000d4f: DUP1 00000d50: PUSH1 0x40 00000d52: MSTORE 00000d53: POP 00000d54: DUP2 00000d55: ADD 00000d56: SWAP1 00000d57: PUSH2 0x0d60 00000d5a: SWAP2 00000d5b: SWAP1 00000d5c: PUSH2 0x1182 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: SWAP1 00000d62: POP 00000d63: SWAP1 00000d64: JUMP 00000d65: JUMPDEST 00000d66: PUSH1 0x00 00000d68: DUP1 00000d69: PUSH1 0x00 00000d6b: SWAP1 00000d6c: SLOAD 00000d6d: SWAP1 00000d6e: PUSH2 0x0100 00000d71: EXP 00000d72: SWAP1 00000d73: DIV 00000d74: PUSH1 0x01 00000d76: PUSH1 0x01 00000d78: PUSH1 0xa0 00000d7a: SHL 00000d7b: SUB 00000d7c: AND 00000d7d: PUSH1 0x01 00000d7f: PUSH1 0x01 00000d81: PUSH1 0xa0 00000d83: SHL 00000d84: SUB 00000d85: AND 00000d86: PUSH4 0xdc4c90d3 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: DUP2 00000d8f: PUSH4 0xffffffff 00000d94: AND 00000d95: PUSH1 0xe0 00000d97: SHL 00000d98: DUP2 00000d99: MSTORE 00000d9a: PUSH1 0x04 00000d9c: ADD 00000d9d: PUSH1 0x20 00000d9f: PUSH1 0x40 00000da1: MLOAD 00000da2: DUP1 00000da3: DUP4 00000da4: SUB 00000da5: DUP2 00000da6: DUP7 00000da7: DUP1 00000da8: EXTCODESIZE 00000da9: ISZERO 00000daa: DUP1 00000dab: ISZERO 00000dac: PUSH2 0x0db4 00000daf: JUMPI 00000db0: PUSH1 0x00 00000db2: DUP1 00000db3: REVERT 00000db4: JUMPDEST 00000db5: POP 00000db6: GAS 00000db7: STATICCALL 00000db8: ISZERO 00000db9: DUP1 00000dba: ISZERO 00000dbb: PUSH2 0x0dc8 00000dbe: JUMPI 00000dbf: RETURNDATASIZE 00000dc0: PUSH1 0x00 00000dc2: DUP1 00000dc3: RETURNDATACOPY 00000dc4: RETURNDATASIZE 00000dc5: PUSH1 0x00 00000dc7: REVERT 00000dc8: JUMPDEST 00000dc9: POP 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: PUSH1 0x40 00000dcf: MLOAD 00000dd0: RETURNDATASIZE 00000dd1: PUSH1 0x1f 00000dd3: NOT 00000dd4: PUSH1 0x1f 00000dd6: DUP3 00000dd7: ADD 00000dd8: AND 00000dd9: DUP3 00000dda: ADD 00000ddb: DUP1 00000ddc: PUSH1 0x40 00000dde: MSTORE 00000ddf: POP 00000de0: DUP2 00000de1: ADD 00000de2: SWAP1 00000de3: PUSH2 0x0dec 00000de6: SWAP2 00000de7: SWAP1 00000de8: PUSH2 0x1182 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x40 00000def: MLOAD 00000df0: PUSH4 0x1c86b037 00000df5: PUSH1 0xe3 00000df7: SHL 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x01 00000dfc: PUSH1 0x01 00000dfe: PUSH1 0xa0 00000e00: SHL 00000e01: SUB 00000e02: DUP5 00000e03: DUP2 00000e04: AND 00000e05: PUSH1 0x04 00000e07: DUP4 00000e08: ADD 00000e09: MSTORE 00000e0a: SWAP2 00000e0b: SWAP1 00000e0c: SWAP2 00000e0d: AND 00000e0e: SWAP1 00000e0f: PUSH4 0xe43581b8 00000e14: SWAP1 00000e15: PUSH1 0x24 00000e17: ADD 00000e18: PUSH1 0x20 00000e1a: PUSH1 0x40 00000e1c: MLOAD 00000e1d: DUP1 00000e1e: DUP4 00000e1f: SUB 00000e20: DUP2 00000e21: DUP7 00000e22: DUP1 00000e23: EXTCODESIZE 00000e24: ISZERO 00000e25: DUP1 00000e26: ISZERO 00000e27: PUSH2 0x0e2f 00000e2a: JUMPI 00000e2b: PUSH1 0x00 00000e2d: DUP1 00000e2e: REVERT 00000e2f: JUMPDEST 00000e30: POP 00000e31: GAS 00000e32: STATICCALL 00000e33: ISZERO 00000e34: DUP1 00000e35: ISZERO 00000e36: PUSH2 0x0e43 00000e39: JUMPI 00000e3a: RETURNDATASIZE 00000e3b: PUSH1 0x00 00000e3d: DUP1 00000e3e: RETURNDATACOPY 00000e3f: RETURNDATASIZE 00000e40: PUSH1 0x00 00000e42: REVERT 00000e43: JUMPDEST 00000e44: POP 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: PUSH1 0x40 00000e4a: MLOAD 00000e4b: RETURNDATASIZE 00000e4c: PUSH1 0x1f 00000e4e: NOT 00000e4f: PUSH1 0x1f 00000e51: DUP3 00000e52: ADD 00000e53: AND 00000e54: DUP3 00000e55: ADD 00000e56: DUP1 00000e57: PUSH1 0x40 00000e59: MSTORE 00000e5a: POP 00000e5b: DUP2 00000e5c: ADD 00000e5d: SWAP1 00000e5e: PUSH2 0x0cdd 00000e61: SWAP2 00000e62: SWAP1 00000e63: PUSH2 0x119e 00000e66: JUMP 00000e67: JUMPDEST 00000e68: PUSH1 0x02 00000e6a: SLOAD 00000e6b: PUSH1 0x01 00000e6d: PUSH1 0x01 00000e6f: PUSH1 0xa0 00000e71: SHL 00000e72: SUB 00000e73: AND 00000e74: PUSH2 0x0eb2 00000e77: JUMPI 00000e78: PUSH1 0x40 00000e7a: MLOAD 00000e7b: PUSH1 0x01 00000e7d: PUSH1 0x01 00000e7f: PUSH1 0xa0 00000e81: SHL 00000e82: SUB 00000e83: DUP4 00000e84: AND 00000e85: SWAP1 00000e86: DUP3 00000e87: ISZERO 00000e88: PUSH2 0x08fc 00000e8b: MUL 00000e8c: SWAP1 00000e8d: DUP4 00000e8e: SWAP1 00000e8f: PUSH1 0x00 00000e91: DUP2 00000e92: DUP2 00000e93: DUP2 00000e94: DUP6 00000e95: DUP9 00000e96: DUP9 00000e97: CALL 00000e98: SWAP4 00000e99: POP 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: ISZERO 00000e9e: DUP1 00000e9f: ISZERO 00000ea0: PUSH2 0x0ead 00000ea3: JUMPI 00000ea4: RETURNDATASIZE 00000ea5: PUSH1 0x00 00000ea7: DUP1 00000ea8: RETURNDATACOPY 00000ea9: RETURNDATASIZE 00000eaa: PUSH1 0x00 00000eac: REVERT 00000ead: JUMPDEST 00000eae: POP 00000eaf: POP 00000eb0: POP 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH1 0x02 00000eb5: SLOAD 00000eb6: PUSH2 0x0ec9 00000eb9: SWAP1 00000eba: PUSH1 0x01 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0xa0 00000ec0: SHL 00000ec1: SUB 00000ec2: AND 00000ec3: DUP4 00000ec4: DUP4 00000ec5: PUSH2 0x0ecd 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: POP 00000ecb: POP 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH1 0x40 00000ed0: DUP1 00000ed1: MLOAD 00000ed2: PUSH1 0x01 00000ed4: PUSH1 0x01 00000ed6: PUSH1 0xa0 00000ed8: SHL 00000ed9: SUB 00000eda: DUP5 00000edb: AND 00000edc: PUSH1 0x24 00000ede: DUP3 00000edf: ADD 00000ee0: MSTORE 00000ee1: PUSH1 0x44 00000ee3: DUP1 00000ee4: DUP3 00000ee5: ADD 00000ee6: DUP5 00000ee7: SWAP1 00000ee8: MSTORE 00000ee9: DUP3 00000eea: MLOAD 00000eeb: DUP1 00000eec: DUP4 00000eed: SUB 00000eee: SWAP1 00000eef: SWAP2 00000ef0: ADD 00000ef1: DUP2 00000ef2: MSTORE 00000ef3: PUSH1 0x64 00000ef5: SWAP1 00000ef6: SWAP2 00000ef7: ADD 00000ef8: SWAP1 00000ef9: SWAP2 00000efa: MSTORE 00000efb: PUSH1 0x20 00000efd: DUP2 00000efe: ADD 00000eff: DUP1 00000f00: MLOAD 00000f01: PUSH1 0x01 00000f03: PUSH1 0x01 00000f05: PUSH1 0xe0 00000f07: SHL 00000f08: SUB 00000f09: AND 00000f0a: PUSH4 0xa9059cbb 00000f0f: PUSH1 0xe0 00000f11: SHL 00000f12: OR 00000f13: SWAP1 00000f14: MSTORE 00000f15: PUSH2 0x0ead 00000f18: SWAP1 00000f19: DUP5 00000f1a: SWAP1 00000f1b: PUSH1 0x00 00000f1d: PUSH2 0x0f6f 00000f20: DUP3 00000f21: PUSH1 0x40 00000f23: MLOAD 00000f24: DUP1 00000f25: PUSH1 0x40 00000f27: ADD 00000f28: PUSH1 0x40 00000f2a: MSTORE 00000f2b: DUP1 00000f2c: PUSH1 0x20 00000f2e: DUP2 00000f2f: MSTORE 00000f30: PUSH1 0x20 00000f32: ADD 00000f33: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000f54: DUP2 00000f55: MSTORE 00000f56: POP 00000f57: DUP6 00000f58: PUSH1 0x01 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0xa0 00000f5e: SHL 00000f5f: SUB 00000f60: AND 00000f61: PUSH2 0x0fec 00000f64: SWAP1 00000f65: SWAP3 00000f66: SWAP2 00000f67: SWAP1 00000f68: PUSH4 0xffffffff 00000f6d: AND 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: DUP1 00000f71: MLOAD 00000f72: SWAP1 00000f73: SWAP2 00000f74: POP 00000f75: ISZERO 00000f76: PUSH2 0x0ead 00000f79: JUMPI 00000f7a: DUP1 00000f7b: DUP1 00000f7c: PUSH1 0x20 00000f7e: ADD 00000f7f: SWAP1 00000f80: MLOAD 00000f81: DUP2 00000f82: ADD 00000f83: SWAP1 00000f84: PUSH2 0x0f8d 00000f87: SWAP2 00000f88: SWAP1 00000f89: PUSH2 0x119e 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH2 0x0ead 00000f91: JUMPI 00000f92: PUSH1 0x40 00000f94: MLOAD 00000f95: PUSH3 0x461bcd 00000f99: PUSH1 0xe5 00000f9b: SHL 00000f9c: DUP2 00000f9d: MSTORE 00000f9e: PUSH1 0x20 00000fa0: PUSH1 0x04 00000fa2: DUP3 00000fa3: ADD 00000fa4: MSTORE 00000fa5: PUSH1 0x2a 00000fa7: PUSH1 0x24 00000fa9: DUP3 00000faa: ADD 00000fab: MSTORE 00000fac: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000fcd: PUSH1 0x44 00000fcf: DUP3 00000fd0: ADD 00000fd1: MSTORE 00000fd2: PUSH10 0x1bdd081cdd58d8d95959 00000fdd: PUSH1 0xb2 00000fdf: SHL 00000fe0: PUSH1 0x64 00000fe2: DUP3 00000fe3: ADD 00000fe4: MSTORE 00000fe5: PUSH1 0x84 00000fe7: ADD 00000fe8: PUSH2 0x0426 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x60 00000fef: PUSH2 0x0ffb 00000ff2: DUP5 00000ff3: DUP5 00000ff4: PUSH1 0x00 00000ff6: DUP6 00000ff7: PUSH2 0x1005 00000ffa: JUMP 00000ffb: JUMPDEST 00000ffc: SWAP1 00000ffd: POP 00000ffe: JUMPDEST 00000fff: SWAP4 00001000: SWAP3 00001001: POP 00001002: POP 00001003: POP 00001004: JUMP 00001005: JUMPDEST 00001006: PUSH1 0x60 00001008: DUP3 00001009: SELFBALANCE 0000100a: LT 0000100b: ISZERO 0000100c: PUSH2 0x1066 0000100f: JUMPI 00001010: PUSH1 0x40 00001012: MLOAD 00001013: PUSH3 0x461bcd 00001017: PUSH1 0xe5 00001019: SHL 0000101a: DUP2 0000101b: MSTORE 0000101c: PUSH1 0x20 0000101e: PUSH1 0x04 00001020: DUP3 00001021: ADD 00001022: MSTORE 00001023: PUSH1 0x26 00001025: PUSH1 0x24 00001027: DUP3 00001028: ADD 00001029: MSTORE 0000102a: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 0000104b: PUSH1 0x44 0000104d: DUP3 0000104e: ADD 0000104f: MSTORE 00001050: PUSH6 0x1c8818d85b1b 00001057: PUSH1 0xd2 00001059: SHL 0000105a: PUSH1 0x64 0000105c: DUP3 0000105d: ADD 0000105e: MSTORE 0000105f: PUSH1 0x84 00001061: ADD 00001062: PUSH2 0x0426 00001065: JUMP 00001066: JUMPDEST 00001067: DUP5 00001068: EXTCODESIZE 00001069: PUSH2 0x10b4 0000106c: JUMPI 0000106d: PUSH1 0x40 0000106f: MLOAD 00001070: PUSH3 0x461bcd 00001074: PUSH1 0xe5 00001076: SHL 00001077: DUP2 00001078: MSTORE 00001079: PUSH1 0x20 0000107b: PUSH1 0x04 0000107d: DUP3 0000107e: ADD 0000107f: MSTORE 00001080: PUSH1 0x1d 00001082: PUSH1 0x24 00001084: DUP3 00001085: ADD 00001086: MSTORE 00001087: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000010a8: PUSH1 0x44 000010aa: DUP3 000010ab: ADD 000010ac: MSTORE 000010ad: PUSH1 0x64 000010af: ADD 000010b0: PUSH2 0x0426 000010b3: JUMP 000010b4: JUMPDEST 000010b5: PUSH1 0x00 000010b7: DUP1 000010b8: DUP7 000010b9: PUSH1 0x01 000010bb: PUSH1 0x01 000010bd: PUSH1 0xa0 000010bf: SHL 000010c0: SUB 000010c1: AND 000010c2: DUP6 000010c3: DUP8 000010c4: PUSH1 0x40 000010c6: MLOAD 000010c7: PUSH2 0x10d0 000010ca: SWAP2 000010cb: SWAP1 000010cc: PUSH2 0x11ee 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH1 0x00 000010d3: PUSH1 0x40 000010d5: MLOAD 000010d6: DUP1 000010d7: DUP4 000010d8: SUB 000010d9: DUP2 000010da: DUP6 000010db: DUP8 000010dc: GAS 000010dd: CALL 000010de: SWAP3 000010df: POP 000010e0: POP 000010e1: POP 000010e2: RETURNDATASIZE 000010e3: DUP1 000010e4: PUSH1 0x00 000010e6: DUP2 000010e7: EQ 000010e8: PUSH2 0x110d 000010eb: JUMPI 000010ec: PUSH1 0x40 000010ee: MLOAD 000010ef: SWAP2 000010f0: POP 000010f1: PUSH1 0x1f 000010f3: NOT 000010f4: PUSH1 0x3f 000010f6: RETURNDATASIZE 000010f7: ADD 000010f8: AND 000010f9: DUP3 000010fa: ADD 000010fb: PUSH1 0x40 000010fd: MSTORE 000010fe: RETURNDATASIZE 000010ff: DUP3 00001100: MSTORE 00001101: RETURNDATASIZE 00001102: PUSH1 0x00 00001104: PUSH1 0x20 00001106: DUP5 00001107: ADD 00001108: RETURNDATACOPY 00001109: PUSH2 0x1112 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x60 00001110: SWAP2 00001111: POP 00001112: JUMPDEST 00001113: POP 00001114: SWAP2 00001115: POP 00001116: SWAP2 00001117: POP 00001118: PUSH2 0x1122 0000111b: DUP3 0000111c: DUP3 0000111d: DUP7 0000111e: PUSH2 0x112d 00001121: JUMP 00001122: JUMPDEST 00001123: SWAP8 00001124: SWAP7 00001125: POP 00001126: POP 00001127: POP 00001128: POP 00001129: POP 0000112a: POP 0000112b: POP 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH1 0x60 00001130: DUP4 00001131: ISZERO 00001132: PUSH2 0x113c 00001135: JUMPI 00001136: POP 00001137: DUP2 00001138: PUSH2 0x0ffe 0000113b: JUMP 0000113c: JUMPDEST 0000113d: DUP3 0000113e: MLOAD 0000113f: ISZERO 00001140: PUSH2 0x114c 00001143: JUMPI 00001144: DUP3 00001145: MLOAD 00001146: DUP1 00001147: DUP5 00001148: PUSH1 0x20 0000114a: ADD 0000114b: REVERT 0000114c: JUMPDEST 0000114d: DUP2 0000114e: PUSH1 0x40 00001150: MLOAD 00001151: PUSH3 0x461bcd 00001155: PUSH1 0xe5 00001157: SHL 00001158: DUP2 00001159: MSTORE 0000115a: PUSH1 0x04 0000115c: ADD 0000115d: PUSH2 0x0426 00001160: SWAP2 00001161: SWAP1 00001162: PUSH2 0x1232 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH1 0x00 00001169: PUSH1 0x20 0000116b: DUP3 0000116c: DUP5 0000116d: SUB 0000116e: SLT 0000116f: ISZERO 00001170: PUSH2 0x1177 00001173: JUMPI 00001174: DUP1 00001175: DUP2 00001176: REVERT 00001177: JUMPDEST 00001178: DUP2 00001179: CALLDATALOAD 0000117a: PUSH2 0x0ffe 0000117d: DUP2 0000117e: PUSH2 0x133c 00001181: JUMP 00001182: JUMPDEST 00001183: PUSH1 0x00 00001185: PUSH1 0x20 00001187: DUP3 00001188: DUP5 00001189: SUB 0000118a: SLT 0000118b: ISZERO 0000118c: PUSH2 0x1193 0000118f: JUMPI 00001190: DUP1 00001191: DUP2 00001192: REVERT 00001193: JUMPDEST 00001194: DUP2 00001195: MLOAD 00001196: PUSH2 0x0ffe 00001199: DUP2 0000119a: PUSH2 0x133c 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH1 0x00 000011a1: PUSH1 0x20 000011a3: DUP3 000011a4: DUP5 000011a5: SUB 000011a6: SLT 000011a7: ISZERO 000011a8: PUSH2 0x11af 000011ab: JUMPI 000011ac: DUP1 000011ad: DUP2 000011ae: REVERT 000011af: JUMPDEST 000011b0: DUP2 000011b1: MLOAD 000011b2: DUP1 000011b3: ISZERO 000011b4: ISZERO 000011b5: DUP2 000011b6: EQ 000011b7: PUSH2 0x0ffe 000011ba: JUMPI 000011bb: DUP2 000011bc: DUP3 000011bd: REVERT 000011be: JUMPDEST 000011bf: PUSH1 0x00 000011c1: PUSH1 0x20 000011c3: DUP3 000011c4: DUP5 000011c5: SUB 000011c6: SLT 000011c7: ISZERO 000011c8: PUSH2 0x11cf 000011cb: JUMPI 000011cc: DUP1 000011cd: DUP2 000011ce: REVERT 000011cf: JUMPDEST 000011d0: POP 000011d1: CALLDATALOAD 000011d2: SWAP2 000011d3: SWAP1 000011d4: POP 000011d5: JUMP 000011d6: JUMPDEST 000011d7: PUSH1 0x00 000011d9: PUSH1 0x20 000011db: DUP3 000011dc: DUP5 000011dd: SUB 000011de: SLT 000011df: ISZERO 000011e0: PUSH2 0x11e7 000011e3: JUMPI 000011e4: DUP1 000011e5: DUP2 000011e6: REVERT 000011e7: JUMPDEST 000011e8: POP 000011e9: MLOAD 000011ea: SWAP2 000011eb: SWAP1 000011ec: POP 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x00 000011f1: DUP3 000011f2: MLOAD 000011f3: PUSH2 0x1200 000011f6: DUP2 000011f7: DUP5 000011f8: PUSH1 0x20 000011fa: DUP8 000011fb: ADD 000011fc: PUSH2 0x12f6 000011ff: JUMP 00001200: JUMPDEST 00001201: SWAP2 00001202: SWAP1 00001203: SWAP2 00001204: ADD 00001205: SWAP3 00001206: SWAP2 00001207: POP 00001208: POP 00001209: JUMP 0000120a: JUMPDEST 0000120b: PUSH1 0x20 0000120d: DUP2 0000120e: ADD 0000120f: PUSH1 0x04 00001211: DUP4 00001212: LT 00001213: PUSH2 0x122c 00001216: JUMPI 00001217: PUSH4 0x4e487b71 0000121c: PUSH1 0xe0 0000121e: SHL 0000121f: PUSH1 0x00 00001221: MSTORE 00001222: PUSH1 0x21 00001224: PUSH1 0x04 00001226: MSTORE 00001227: PUSH1 0x24 00001229: PUSH1 0x00 0000122b: REVERT 0000122c: JUMPDEST 0000122d: SWAP2 0000122e: SWAP1 0000122f: MSTORE 00001230: SWAP1 00001231: JUMP 00001232: JUMPDEST 00001233: PUSH1 0x20 00001235: DUP2 00001236: MSTORE 00001237: PUSH1 0x00 00001239: DUP3 0000123a: MLOAD 0000123b: DUP1 0000123c: PUSH1 0x20 0000123e: DUP5 0000123f: ADD 00001240: MSTORE 00001241: PUSH2 0x1251 00001244: DUP2 00001245: PUSH1 0x40 00001247: DUP6 00001248: ADD 00001249: PUSH1 0x20 0000124b: DUP8 0000124c: ADD 0000124d: PUSH2 0x12f6 00001250: JUMP 00001251: JUMPDEST 00001252: PUSH1 0x1f 00001254: ADD 00001255: PUSH1 0x1f 00001257: NOT 00001258: AND 00001259: SWAP2 0000125a: SWAP1 0000125b: SWAP2 0000125c: ADD 0000125d: PUSH1 0x40 0000125f: ADD 00001260: SWAP3 00001261: SWAP2 00001262: POP 00001263: POP 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH1 0x20 00001268: DUP1 00001269: DUP3 0000126a: MSTORE 0000126b: PUSH1 0x09 0000126d: SWAP1 0000126e: DUP3 0000126f: ADD 00001270: MSTORE 00001271: PUSH9 0x2337b93134b23232b7 0000127b: PUSH1 0xb9 0000127d: SHL 0000127e: PUSH1 0x40 00001280: DUP3 00001281: ADD 00001282: MSTORE 00001283: PUSH1 0x60 00001285: ADD 00001286: SWAP1 00001287: JUMP 00001288: JUMPDEST 00001289: PUSH1 0x00 0000128b: DUP3 0000128c: NOT 0000128d: DUP3 0000128e: GT 0000128f: ISZERO 00001290: PUSH2 0x129b 00001293: JUMPI 00001294: PUSH2 0x129b 00001297: PUSH2 0x1326 0000129a: JUMP 0000129b: JUMPDEST 0000129c: POP 0000129d: ADD 0000129e: SWAP1 0000129f: JUMP 000012a0: JUMPDEST 000012a1: PUSH1 0x00 000012a3: DUP3 000012a4: PUSH2 0x12bb 000012a7: JUMPI 000012a8: PUSH4 0x4e487b71 000012ad: PUSH1 0xe0 000012af: SHL 000012b0: DUP2 000012b1: MSTORE 000012b2: PUSH1 0x12 000012b4: PUSH1 0x04 000012b6: MSTORE 000012b7: PUSH1 0x24 000012b9: DUP2 000012ba: REVERT 000012bb: JUMPDEST 000012bc: POP 000012bd: DIV 000012be: SWAP1 000012bf: JUMP 000012c0: JUMPDEST 000012c1: PUSH1 0x00 000012c3: DUP2 000012c4: PUSH1 0x00 000012c6: NOT 000012c7: DIV 000012c8: DUP4 000012c9: GT 000012ca: DUP3 000012cb: ISZERO 000012cc: ISZERO 000012cd: AND 000012ce: ISZERO 000012cf: PUSH2 0x12da 000012d2: JUMPI 000012d3: PUSH2 0x12da 000012d6: PUSH2 0x1326 000012d9: JUMP 000012da: JUMPDEST 000012db: POP 000012dc: MUL 000012dd: SWAP1 000012de: JUMP 000012df: JUMPDEST 000012e0: PUSH1 0x00 000012e2: DUP3 000012e3: DUP3 000012e4: LT 000012e5: ISZERO 000012e6: PUSH2 0x12f1 000012e9: JUMPI 000012ea: PUSH2 0x12f1 000012ed: PUSH2 0x1326 000012f0: JUMP 000012f1: JUMPDEST 000012f2: POP 000012f3: SUB 000012f4: SWAP1 000012f5: JUMP 000012f6: JUMPDEST 000012f7: PUSH1 0x00 000012f9: JUMPDEST 000012fa: DUP4 000012fb: DUP2 000012fc: LT 000012fd: ISZERO 000012fe: PUSH2 0x1311 00001301: JUMPI 00001302: DUP2 00001303: DUP2 00001304: ADD 00001305: MLOAD 00001306: DUP4 00001307: DUP3 00001308: ADD 00001309: MSTORE 0000130a: PUSH1 0x20 0000130c: ADD 0000130d: PUSH2 0x12f9 00001310: JUMP 00001311: JUMPDEST 00001312: DUP4 00001313: DUP2 00001314: GT 00001315: ISZERO 00001316: PUSH2 0x1320 00001319: JUMPI 0000131a: PUSH1 0x00 0000131c: DUP5 0000131d: DUP5 0000131e: ADD 0000131f: MSTORE 00001320: JUMPDEST 00001321: POP 00001322: POP 00001323: POP 00001324: POP 00001325: JUMP 00001326: JUMPDEST 00001327: PUSH4 0x4e487b71 0000132c: PUSH1 0xe0 0000132e: SHL 0000132f: PUSH1 0x00 00001331: MSTORE 00001332: PUSH1 0x11 00001334: PUSH1 0x04 00001336: MSTORE 00001337: PUSH1 0x24 00001339: PUSH1 0x00 0000133b: REVERT 0000133c: JUMPDEST 0000133d: PUSH1 0x01 0000133f: PUSH1 0x01 00001341: PUSH1 0xa0 00001343: SHL 00001344: SUB 00001345: DUP2 00001346: AND 00001347: DUP2 00001348: EQ 00001349: PUSH2 0x0854 0000134c: JUMPI 0000134d: PUSH1 0x00 0000134f: DUP1 00001350: REVERT 00001351: INVALID 00001352: LOG2 00001353: PUSH5 0x6970667358 00001359: UNKNOWN(0x22) 0000135a: SLT 0000135b: KECCAK256 0000135c: UNKNOWN(0xDB) 0000135d: UNKNOWN(0xAE) 0000135e: POP 0000135f: BASEFEE 00001360: GASLIMIT 00001361: LOG1 00001362: UNKNOWN(0xC8) 00001363: UNKNOWN(0xEF) 00001364: UNKNOWN(0xEA) 00001365: UNKNOWN(0xCB) 00001366: CALLDATACOPY 00001367: MULMOD 00001368: PUSH9 0xd879f86ca713919c2f 00001372: CLZ 00001373: UNKNOWN(0x4E) 00001374: UNKNOWN(0xC5) 00001375: MULMOD 00001376: MULMOD 00001377: UNKNOWN(0xD9) 00001378: PUSH29
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: 0x56a8cd6a514c758a5a2c9dc47c8ca018cfbe361c0a1f1e376f1b48bd4a29519d
call_targets:
0x2bf652fd4e899beaa29bfa4d6db73bd3de0fdd9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56a8cd6a514c758a5a2c9dc47c8ca018cfbe361c0a1f1e376f1b48bd4a29519d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2bf652fd4e899beaa29bfa4d6db73bd3de0fdd9f"
],
"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": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf0b2270",
"selector": "0xcf0b2270",
"calldata_variants": [
"0xcf0b2270",
"0xcf0b22700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe43581b8",
"selector": "0xe43581b8",
"calldata_variants": [
"0xe43581b8",
"0xe43581b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5a6b10f",
"selector": "0xe5a6b10f",
"calldata_variants": [
"0xe5a6b10f",
"0xe5a6b10f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe834a834",
"selector": "0xe834a834",
"calldata_variants": [
"0xe834a834",
"0xe834a8340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ed7ca5b",
"selector": "0x5ed7ca5b",
"calldata_variants": [
"0x5ed7ca5b",
"0x5ed7ca5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x56a8cd6a514c758a5a2c9dc47c8ca018cfbe361c0a1f1e376f1b48bd4a29519d
call_targets:
0x2bf652fd4e899beaa29bfa4d6db73bd3de0fdd9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56a8cd6a514c758a5a2c9dc47c8ca018cfbe361c0a1f1e376f1b48bd4a29519d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2bf652fd4e899beaa29bfa4d6db73bd3de0fdd9f"
],
"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": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45a0155",
"selector": "0xc45a0155",
"calldata_variants": [
"0xc45a0155",
"0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf0b2270",
"selector": "0xcf0b2270",
"calldata_variants": [
"0xcf0b2270",
"0xcf0b22700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe43581b8",
"selector": "0xe43581b8",
"calldata_variants": [
"0xe43581b8",
"0xe43581b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5a6b10f",
"selector": "0xe5a6b10f",
"calldata_variants": [
"0xe5a6b10f",
"0xe5a6b10f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe834a834",
"selector": "0xe834a834",
"calldata_variants": [
"0xe834a834",
"0xe834a8340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ed7ca5b",
"selector": "0x5ed7ca5b",
"calldata_variants": [
"0x5ed7ca5b",
"0x5ed7ca5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|