019b477e-da8c-73b2-ad65-d876efd2c813
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 |
|---|---|---|---|---|
| 29489 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29490 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108665 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108666 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108667 | detector.run | complete | 1 / 3 | 1 week ago |
| 108668 | 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 0x0074 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7df73e27 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x7df73e27 00000024: EQ 00000025: PUSH2 0x0153 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa0b7967b 0000002f: EQ 00000030: PUSH2 0x0173 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xabe3219c 0000003a: EQ 0000003b: PUSH2 0x0196 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfc0f392d 00000045: EQ 00000046: PUSH2 0x01b0 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x39125215 00000055: EQ 00000056: PUSH2 0x00ce 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x39cd88a3 00000060: EQ 00000061: PUSH2 0x00ee 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x736c0d5b 0000006b: EQ 0000006c: PUSH2 0x010e 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: CALLDATASIZE 00000076: PUSH2 0x00c9 00000079: JUMPI 0000007a: CALLVALUE 0000007b: ISZERO 0000007c: PUSH2 0x00c7 0000007f: JUMPI 00000080: PUSH1 0x40 00000082: DUP1 00000083: MLOAD 00000084: CALLER 00000085: DUP2 00000086: MSTORE 00000087: CALLVALUE 00000088: PUSH1 0x20 0000008a: DUP3 0000008b: ADD 0000008c: MSTORE 0000008d: PUSH1 0x60 0000008f: DUP2 00000090: DUP4 00000091: ADD 00000092: DUP2 00000093: SWAP1 00000094: MSTORE 00000095: PUSH1 0x00 00000097: SWAP1 00000098: DUP3 00000099: ADD 0000009a: MSTORE 0000009b: SWAP1 0000009c: MLOAD 0000009d: PUSH32 0x6e89d517057028190560dd200cf6bf792842861353d1173761dfa362e1c133f0 000000be: SWAP2 000000bf: DUP2 000000c0: SWAP1 000000c1: SUB 000000c2: PUSH1 0x80 000000c4: ADD 000000c5: SWAP1 000000c6: LOG1 000000c7: JUMPDEST 000000c8: STOP 000000c9: JUMPDEST 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: REVERT 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00c7 000000df: PUSH2 0x00e9 000000e2: CALLDATASIZE 000000e3: PUSH1 0x04 000000e5: PUSH2 0x0ee1 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x01c5 000000ed: JUMP 000000ee: JUMPDEST 000000ef: CALLVALUE 000000f0: DUP1 000000f1: ISZERO 000000f2: PUSH2 0x00fa 000000f5: JUMPI 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: PUSH2 0x00c7 000000ff: PUSH2 0x0109 00000102: CALLDATASIZE 00000103: PUSH1 0x04 00000105: PUSH2 0x0f80 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH2 0x03c2 0000010d: JUMP 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x013e 0000011f: PUSH2 0x0129 00000122: CALLDATASIZE 00000123: PUSH1 0x04 00000125: PUSH2 0x1006 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH1 0x01 0000012c: PUSH1 0x20 0000012e: MSTORE 0000012f: PUSH1 0x00 00000131: SWAP1 00000132: DUP2 00000133: MSTORE 00000134: PUSH1 0x40 00000136: SWAP1 00000137: KECCAK256 00000138: SLOAD 00000139: PUSH1 0xff 0000013b: AND 0000013c: DUP2 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: SWAP1 00000143: ISZERO 00000144: ISZERO 00000145: DUP2 00000146: MSTORE 00000147: PUSH1 0x20 00000149: ADD 0000014a: JUMPDEST 0000014b: PUSH1 0x40 0000014d: MLOAD 0000014e: DUP1 0000014f: SWAP2 00000150: SUB 00000151: SWAP1 00000152: RETURN 00000153: JUMPDEST 00000154: CALLVALUE 00000155: DUP1 00000156: ISZERO 00000157: PUSH2 0x015f 0000015a: JUMPI 0000015b: PUSH1 0x00 0000015d: DUP1 0000015e: REVERT 0000015f: JUMPDEST 00000160: POP 00000161: PUSH2 0x013e 00000164: PUSH2 0x016e 00000167: CALLDATASIZE 00000168: PUSH1 0x04 0000016a: PUSH2 0x1006 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH2 0x054c 00000172: JUMP 00000173: JUMPDEST 00000174: CALLVALUE 00000175: DUP1 00000176: ISZERO 00000177: PUSH2 0x017f 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: POP 00000181: PUSH2 0x0188 00000184: PUSH2 0x056a 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: SWAP1 0000018d: DUP2 0000018e: MSTORE 0000018f: PUSH1 0x20 00000191: ADD 00000192: PUSH2 0x014a 00000195: JUMP 00000196: JUMPDEST 00000197: CALLVALUE 00000198: DUP1 00000199: ISZERO 0000019a: PUSH2 0x01a2 0000019d: JUMPI 0000019e: PUSH1 0x00 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH1 0x02 000001a6: SLOAD 000001a7: PUSH2 0x013e 000001aa: SWAP1 000001ab: PUSH1 0xff 000001ad: AND 000001ae: DUP2 000001af: JUMP 000001b0: JUMPDEST 000001b1: CALLVALUE 000001b2: DUP1 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: POP 000001be: PUSH2 0x00c7 000001c1: PUSH2 0x05d0 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH2 0x01ce 000001c9: CALLER 000001ca: PUSH2 0x054c 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x01f2 000001d2: JUMPI 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: PUSH4 0x217a40d3 000001db: PUSH1 0xe0 000001dd: SHL 000001de: DUP2 000001df: MSTORE 000001e0: CALLER 000001e1: PUSH1 0x04 000001e3: DUP3 000001e4: ADD 000001e5: MSTORE 000001e6: PUSH1 0x24 000001e8: ADD 000001e9: JUMPDEST 000001ea: PUSH1 0x40 000001ec: MLOAD 000001ed: DUP1 000001ee: SWAP2 000001ef: SUB 000001f0: SWAP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: PUSH2 0x01fa 000001f6: PUSH2 0x063a 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH1 0x02 000001fd: SLOAD 000001fe: PUSH1 0xff 00000200: AND 00000201: DUP1 00000202: ISZERO 00000203: PUSH2 0x0212 00000206: JUMPI 00000207: POP 00000208: PUSH2 0x0210 0000020b: DUP9 0000020c: PUSH2 0x054c 0000020f: JUMP 00000210: JUMPDEST 00000211: ISZERO 00000212: JUMPDEST 00000213: ISZERO 00000214: PUSH2 0x023b 00000217: JUMPI 00000218: PUSH1 0x40 0000021a: MLOAD 0000021b: PUSH4 0x0ee482bb 00000220: PUSH1 0xe4 00000222: SHL 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x01 00000227: PUSH1 0x01 00000229: PUSH1 0xa0 0000022b: SHL 0000022c: SUB 0000022d: DUP10 0000022e: AND 0000022f: PUSH1 0x04 00000231: DUP3 00000232: ADD 00000233: MSTORE 00000234: PUSH1 0x24 00000236: ADD 00000237: PUSH2 0x01e9 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH1 0x01 0000023e: PUSH1 0x01 00000240: PUSH1 0xa0 00000242: SHL 00000243: SUB 00000244: DUP9 00000245: AND 00000246: PUSH2 0x026d 00000249: JUMPI 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: PUSH4 0xf03ab863 00000252: PUSH1 0xe0 00000254: SHL 00000255: DUP2 00000256: MSTORE 00000257: PUSH1 0x01 00000259: PUSH1 0x01 0000025b: PUSH1 0xa0 0000025d: SHL 0000025e: SUB 0000025f: DUP10 00000260: AND 00000261: PUSH1 0x04 00000263: DUP3 00000264: ADD 00000265: MSTORE 00000266: PUSH1 0x24 00000268: ADD 00000269: PUSH2 0x01e9 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH1 0x00 00000270: PUSH2 0x028f 00000273: PUSH1 0x40 00000275: DUP1 00000276: MLOAD 00000277: DUP1 00000278: DUP3 00000279: ADD 0000027a: SWAP1 0000027b: SWAP2 0000027c: MSTORE 0000027d: PUSH1 0x03 0000027f: DUP2 00000280: MSTORE 00000281: PUSH3 0x08aa89 00000285: PUSH1 0xeb 00000287: SHL 00000288: PUSH1 0x20 0000028a: DUP3 0000028b: ADD 0000028c: MSTORE 0000028d: SWAP1 0000028e: JUMP 0000028f: JUMPDEST 00000290: DUP10 00000291: DUP10 00000292: DUP10 00000293: DUP10 00000294: DUP10 00000295: DUP10 00000296: PUSH1 0x40 00000298: MLOAD 00000299: PUSH1 0x20 0000029b: ADD 0000029c: PUSH2 0x02ab 0000029f: SWAP8 000002a0: SWAP7 000002a1: SWAP6 000002a2: SWAP5 000002a3: SWAP4 000002a4: SWAP3 000002a5: SWAP2 000002a6: SWAP1 000002a7: PUSH2 0x104e 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: PUSH1 0x20 000002b1: DUP2 000002b2: DUP4 000002b3: SUB 000002b4: SUB 000002b5: DUP2 000002b6: MSTORE 000002b7: SWAP1 000002b8: PUSH1 0x40 000002ba: MSTORE 000002bb: DUP1 000002bc: MLOAD 000002bd: SWAP1 000002be: PUSH1 0x20 000002c0: ADD 000002c1: KECCAK256 000002c2: SWAP1 000002c3: POP 000002c4: PUSH1 0x00 000002c6: PUSH2 0x02d3 000002c9: DUP11 000002ca: DUP4 000002cb: DUP7 000002cc: DUP7 000002cd: DUP11 000002ce: DUP11 000002cf: PUSH2 0x0693 000002d2: JUMP 000002d3: JUMPDEST 000002d4: SWAP1 000002d5: POP 000002d6: PUSH1 0x00 000002d8: DUP11 000002d9: PUSH1 0x01 000002db: PUSH1 0x01 000002dd: PUSH1 0xa0 000002df: SHL 000002e0: SUB 000002e1: AND 000002e2: DUP11 000002e3: DUP11 000002e4: DUP11 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: PUSH2 0x02f2 000002eb: SWAP3 000002ec: SWAP2 000002ed: SWAP1 000002ee: PUSH2 0x10a4 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH1 0x00 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: DUP1 000002f9: DUP4 000002fa: SUB 000002fb: DUP2 000002fc: DUP6 000002fd: DUP8 000002fe: GAS 000002ff: CALL 00000300: SWAP3 00000301: POP 00000302: POP 00000303: POP 00000304: RETURNDATASIZE 00000305: DUP1 00000306: PUSH1 0x00 00000308: DUP2 00000309: EQ 0000030a: PUSH2 0x032f 0000030d: JUMPI 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: SWAP2 00000312: POP 00000313: PUSH1 0x1f 00000315: NOT 00000316: PUSH1 0x3f 00000318: RETURNDATASIZE 00000319: ADD 0000031a: AND 0000031b: DUP3 0000031c: ADD 0000031d: PUSH1 0x40 0000031f: MSTORE 00000320: RETURNDATASIZE 00000321: DUP3 00000322: MSTORE 00000323: RETURNDATASIZE 00000324: PUSH1 0x00 00000326: PUSH1 0x20 00000328: DUP5 00000329: ADD 0000032a: RETURNDATACOPY 0000032b: PUSH2 0x0334 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH1 0x60 00000332: SWAP2 00000333: POP 00000334: JUMPDEST 00000335: POP 00000336: POP 00000337: SWAP1 00000338: POP 00000339: DUP1 0000033a: PUSH2 0x0368 0000033d: JUMPI 0000033e: PUSH1 0x40 00000340: MLOAD 00000341: PUSH4 0x0e21dcbb 00000346: PUSH1 0xe1 00000348: SHL 00000349: DUP2 0000034a: MSTORE 0000034b: PUSH1 0x01 0000034d: PUSH1 0x01 0000034f: PUSH1 0xa0 00000351: SHL 00000352: SUB 00000353: DUP13 00000354: AND 00000355: PUSH1 0x04 00000357: DUP3 00000358: ADD 00000359: MSTORE 0000035a: PUSH1 0x24 0000035c: DUP2 0000035d: ADD 0000035e: DUP12 0000035f: SWAP1 00000360: MSTORE 00000361: PUSH1 0x44 00000363: ADD 00000364: PUSH2 0x01e9 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH32 0x4792b9114788b2beb4583dadabe86c994d25e568916c69048a56cbdc03b52091 0000038a: CALLER 0000038b: DUP4 0000038c: DUP6 0000038d: DUP15 0000038e: DUP15 0000038f: DUP15 00000390: DUP15 00000391: PUSH1 0x40 00000393: MLOAD 00000394: PUSH2 0x03a3 00000397: SWAP8 00000398: SWAP7 00000399: SWAP6 0000039a: SWAP5 0000039b: SWAP4 0000039c: SWAP3 0000039d: SWAP2 0000039e: SWAP1 0000039f: PUSH2 0x10b4 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: DUP1 000003a8: SWAP2 000003a9: SUB 000003aa: SWAP1 000003ab: LOG1 000003ac: POP 000003ad: POP 000003ae: POP 000003af: PUSH2 0x03b8 000003b2: PUSH1 0x01 000003b4: PUSH1 0x00 000003b6: SSTORE 000003b7: JUMP 000003b8: JUMPDEST 000003b9: POP 000003ba: POP 000003bb: POP 000003bc: POP 000003bd: POP 000003be: POP 000003bf: POP 000003c0: POP 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH2 0x03cb 000003c6: CALLER 000003c7: PUSH2 0x054c 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH2 0x03ea 000003cf: JUMPI 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: PUSH4 0x217a40d3 000003d8: PUSH1 0xe0 000003da: SHL 000003db: DUP2 000003dc: MSTORE 000003dd: CALLER 000003de: PUSH1 0x04 000003e0: DUP3 000003e1: ADD 000003e2: MSTORE 000003e3: PUSH1 0x24 000003e5: ADD 000003e6: PUSH2 0x01e9 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH2 0x03f2 000003ee: PUSH2 0x063a 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH1 0x02 000003f5: SLOAD 000003f6: PUSH1 0xff 000003f8: AND 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x040a 000003fe: JUMPI 000003ff: POP 00000400: PUSH2 0x0408 00000403: DUP8 00000404: PUSH2 0x054c 00000407: JUMP 00000408: JUMPDEST 00000409: ISZERO 0000040a: JUMPDEST 0000040b: ISZERO 0000040c: PUSH2 0x0433 0000040f: JUMPI 00000410: PUSH1 0x40 00000412: MLOAD 00000413: PUSH4 0x0ee482bb 00000418: PUSH1 0xe4 0000041a: SHL 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x01 0000041f: PUSH1 0x01 00000421: PUSH1 0xa0 00000423: SHL 00000424: SUB 00000425: DUP9 00000426: AND 00000427: PUSH1 0x04 00000429: DUP3 0000042a: ADD 0000042b: MSTORE 0000042c: PUSH1 0x24 0000042e: ADD 0000042f: PUSH2 0x01e9 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x01 00000436: PUSH1 0x01 00000438: PUSH1 0xa0 0000043a: SHL 0000043b: SUB 0000043c: DUP8 0000043d: AND 0000043e: PUSH2 0x0465 00000441: JUMPI 00000442: PUSH1 0x40 00000444: MLOAD 00000445: PUSH4 0xf03ab863 0000044a: PUSH1 0xe0 0000044c: SHL 0000044d: DUP2 0000044e: MSTORE 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP9 00000458: AND 00000459: PUSH1 0x04 0000045b: DUP3 0000045c: ADD 0000045d: MSTORE 0000045e: PUSH1 0x24 00000460: ADD 00000461: PUSH2 0x01e9 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH1 0x00 00000468: PUSH2 0x0489 0000046b: PUSH1 0x40 0000046d: DUP1 0000046e: MLOAD 0000046f: DUP1 00000470: DUP3 00000471: ADD 00000472: SWAP1 00000473: SWAP2 00000474: MSTORE 00000475: PUSH1 0x05 00000477: DUP2 00000478: MSTORE 00000479: PUSH5 0x0455243323 0000047f: PUSH1 0xdc 00000481: SHL 00000482: PUSH1 0x20 00000484: DUP3 00000485: ADD 00000486: MSTORE 00000487: SWAP1 00000488: JUMP 00000489: JUMPDEST 0000048a: DUP9 0000048b: DUP9 0000048c: DUP9 0000048d: DUP9 0000048e: DUP9 0000048f: PUSH1 0x40 00000491: MLOAD 00000492: PUSH1 0x20 00000494: ADD 00000495: PUSH2 0x04a3 00000498: SWAP7 00000499: SWAP6 0000049a: SWAP5 0000049b: SWAP4 0000049c: SWAP3 0000049d: SWAP2 0000049e: SWAP1 0000049f: PUSH2 0x1119 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: PUSH1 0x20 000004a9: DUP2 000004aa: DUP4 000004ab: SUB 000004ac: SUB 000004ad: DUP2 000004ae: MSTORE 000004af: SWAP1 000004b0: PUSH1 0x40 000004b2: MSTORE 000004b3: DUP1 000004b4: MLOAD 000004b5: SWAP1 000004b6: PUSH1 0x20 000004b8: ADD 000004b9: KECCAK256 000004ba: SWAP1 000004bb: POP 000004bc: PUSH1 0x00 000004be: PUSH2 0x04cb 000004c1: DUP10 000004c2: DUP4 000004c3: DUP7 000004c4: DUP7 000004c5: DUP11 000004c6: DUP11 000004c7: PUSH2 0x0693 000004ca: JUMP 000004cb: JUMPDEST 000004cc: SWAP1 000004cd: POP 000004ce: PUSH2 0x04d8 000004d1: DUP8 000004d2: DUP11 000004d3: DUP11 000004d4: PUSH2 0x07e2 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH1 0x40 000004db: DUP1 000004dc: MLOAD 000004dd: CALLER 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x01 000004e2: PUSH1 0x01 000004e4: PUSH1 0xa0 000004e6: SHL 000004e7: SUB 000004e8: DUP4 000004e9: DUP2 000004ea: AND 000004eb: PUSH1 0x20 000004ed: DUP4 000004ee: ADD 000004ef: MSTORE 000004f0: DUP2 000004f1: DUP4 000004f2: ADD 000004f3: DUP6 000004f4: SWAP1 000004f5: MSTORE 000004f6: DUP12 000004f7: DUP2 000004f8: AND 000004f9: PUSH1 0x60 000004fb: DUP4 000004fc: ADD 000004fd: MSTORE 000004fe: PUSH1 0x80 00000500: DUP3 00000501: ADD 00000502: DUP12 00000503: SWAP1 00000504: MSTORE 00000505: DUP10 00000506: AND 00000507: PUSH1 0xa0 00000509: DUP3 0000050a: ADD 0000050b: MSTORE 0000050c: SWAP1 0000050d: MLOAD 0000050e: PUSH32 0x5defaeaee6f275f4b1dce6d518c1630ade90559f9a17ba8daf02522052bcf4cd 0000052f: SWAP2 00000530: DUP2 00000531: SWAP1 00000532: SUB 00000533: PUSH1 0xc0 00000535: ADD 00000536: SWAP1 00000537: LOG1 00000538: POP 00000539: POP 0000053a: PUSH2 0x0543 0000053d: PUSH1 0x01 0000053f: PUSH1 0x00 00000541: SSTORE 00000542: JUMP 00000543: JUMPDEST 00000544: POP 00000545: POP 00000546: POP 00000547: POP 00000548: POP 00000549: POP 0000054a: POP 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x01 0000054f: PUSH1 0x01 00000551: PUSH1 0xa0 00000553: SHL 00000554: SUB 00000555: AND 00000556: PUSH1 0x00 00000558: SWAP1 00000559: DUP2 0000055a: MSTORE 0000055b: PUSH1 0x01 0000055d: PUSH1 0x20 0000055f: MSTORE 00000560: PUSH1 0x40 00000562: SWAP1 00000563: KECCAK256 00000564: SLOAD 00000565: PUSH1 0xff 00000567: AND 00000568: SWAP1 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x00 0000056d: DUP1 0000056e: DUP1 0000056f: JUMPDEST 00000570: PUSH1 0x0a 00000572: DUP2 00000573: LT 00000574: ISZERO 00000575: PUSH2 0x05be 00000578: JUMPI 00000579: DUP2 0000057a: PUSH1 0x03 0000057c: DUP3 0000057d: PUSH1 0x0a 0000057f: DUP2 00000580: LT 00000581: PUSH2 0x058c 00000584: JUMPI 00000585: PUSH2 0x058c 00000588: PUSH2 0x1171 0000058b: JUMP 0000058c: JUMPDEST 0000058d: ADD 0000058e: SLOAD 0000058f: GT 00000590: ISZERO 00000591: PUSH2 0x05ac 00000594: JUMPI 00000595: PUSH1 0x03 00000597: DUP2 00000598: PUSH1 0x0a 0000059a: DUP2 0000059b: LT 0000059c: PUSH2 0x05a7 0000059f: JUMPI 000005a0: PUSH2 0x05a7 000005a3: PUSH2 0x1171 000005a6: JUMP 000005a7: JUMPDEST 000005a8: ADD 000005a9: SLOAD 000005aa: SWAP2 000005ab: POP 000005ac: JUMPDEST 000005ad: DUP1 000005ae: PUSH2 0x05b6 000005b1: DUP2 000005b2: PUSH2 0x119d 000005b5: JUMP 000005b6: JUMPDEST 000005b7: SWAP2 000005b8: POP 000005b9: POP 000005ba: PUSH2 0x056f 000005bd: JUMP 000005be: JUMPDEST 000005bf: POP 000005c0: PUSH2 0x05ca 000005c3: DUP2 000005c4: PUSH1 0x01 000005c6: PUSH2 0x11b6 000005c9: JUMP 000005ca: JUMPDEST 000005cb: SWAP2 000005cc: POP 000005cd: POP 000005ce: SWAP1 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH2 0x05d9 000005d4: CALLER 000005d5: PUSH2 0x054c 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH2 0x05f8 000005dd: JUMPI 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: PUSH4 0x217a40d3 000005e6: PUSH1 0xe0 000005e8: SHL 000005e9: DUP2 000005ea: MSTORE 000005eb: CALLER 000005ec: PUSH1 0x04 000005ee: DUP3 000005ef: ADD 000005f0: MSTORE 000005f1: PUSH1 0x24 000005f3: ADD 000005f4: PUSH2 0x01e9 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x02 000005fb: DUP1 000005fc: SLOAD 000005fd: PUSH1 0xff 000005ff: NOT 00000600: AND 00000601: PUSH1 0x01 00000603: OR 00000604: SWAP1 00000605: SSTORE 00000606: PUSH1 0x40 00000608: MLOAD 00000609: CALLER 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH32 0x0909e8f76a4fd3e970f2eaef56c0ee6dfaf8b87c5b8d3f56ffce78e825a91157 0000062d: SWAP1 0000062e: PUSH1 0x20 00000630: ADD 00000631: PUSH1 0x40 00000633: MLOAD 00000634: DUP1 00000635: SWAP2 00000636: SUB 00000637: SWAP1 00000638: LOG1 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x02 0000063d: PUSH1 0x00 0000063f: SLOAD 00000640: SUB 00000641: PUSH2 0x068c 00000644: JUMPI 00000645: PUSH1 0x40 00000647: MLOAD 00000648: PUSH3 0x461bcd 0000064c: PUSH1 0xe5 0000064e: SHL 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: PUSH1 0x04 00000655: DUP3 00000656: ADD 00000657: MSTORE 00000658: PUSH1 0x1f 0000065a: PUSH1 0x24 0000065c: DUP3 0000065d: ADD 0000065e: MSTORE 0000065f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000680: PUSH1 0x44 00000682: DUP3 00000683: ADD 00000684: MSTORE 00000685: PUSH1 0x64 00000687: ADD 00000688: PUSH2 0x01e9 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x02 0000068f: PUSH1 0x00 00000691: SSTORE 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x02 00000696: SLOAD 00000697: PUSH1 0x00 00000699: SWAP1 0000069a: PUSH1 0xff 0000069c: AND 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06ae 000006a2: JUMPI 000006a3: POP 000006a4: PUSH2 0x06ac 000006a7: DUP8 000006a8: PUSH2 0x054c 000006ab: JUMP 000006ac: JUMPDEST 000006ad: ISZERO 000006ae: JUMPDEST 000006af: ISZERO 000006b0: PUSH2 0x06d7 000006b3: JUMPI 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: PUSH4 0x0ee482bb 000006bc: PUSH1 0xe4 000006be: SHL 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x01 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: SHL 000006c8: SUB 000006c9: DUP9 000006ca: AND 000006cb: PUSH1 0x04 000006cd: DUP3 000006ce: ADD 000006cf: MSTORE 000006d0: PUSH1 0x24 000006d2: ADD 000006d3: PUSH2 0x01e9 000006d6: JUMP 000006d7: JUMPDEST 000006d8: TIMESTAMP 000006d9: DUP4 000006da: LT 000006db: ISZERO 000006dc: PUSH2 0x06f8 000006df: JUMPI 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: PUSH4 0x38e5e54b 000006e8: PUSH1 0xe2 000006ea: SHL 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x04 000006ef: ADD 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: DUP1 000006f4: SWAP2 000006f5: SUB 000006f6: SWAP1 000006f7: REVERT 000006f8: JUMPDEST 000006f9: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 0000071a: PUSH1 0x00 0000071c: SWAP1 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x1c 00000721: DUP8 00000722: SWAP1 00000723: MSTORE 00000724: PUSH1 0x3c 00000726: DUP2 00000727: KECCAK256 00000728: PUSH2 0x0767 0000072b: SWAP1 0000072c: DUP8 0000072d: DUP8 0000072e: DUP1 0000072f: DUP1 00000730: PUSH1 0x1f 00000732: ADD 00000733: PUSH1 0x20 00000735: DUP1 00000736: SWAP2 00000737: DIV 00000738: MUL 00000739: PUSH1 0x20 0000073b: ADD 0000073c: PUSH1 0x40 0000073e: MLOAD 0000073f: SWAP1 00000740: DUP2 00000741: ADD 00000742: PUSH1 0x40 00000744: MSTORE 00000745: DUP1 00000746: SWAP4 00000747: SWAP3 00000748: SWAP2 00000749: SWAP1 0000074a: DUP2 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x20 0000074f: ADD 00000750: DUP4 00000751: DUP4 00000752: DUP1 00000753: DUP3 00000754: DUP5 00000755: CALLDATACOPY 00000756: PUSH1 0x00 00000758: SWAP3 00000759: ADD 0000075a: SWAP2 0000075b: SWAP1 0000075c: SWAP2 0000075d: MSTORE 0000075e: POP 0000075f: PUSH2 0x0839 00000762: SWAP3 00000763: POP 00000764: POP 00000765: POP 00000766: JUMP 00000767: JUMPDEST 00000768: SWAP1 00000769: POP 0000076a: PUSH2 0x0772 0000076d: DUP2 0000076e: PUSH2 0x054c 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH2 0x079a 00000776: JUMPI 00000777: PUSH1 0x40 00000779: MLOAD 0000077a: PUSH4 0xbf18af43 0000077f: PUSH1 0xe0 00000781: SHL 00000782: DUP2 00000783: MSTORE 00000784: PUSH1 0x01 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: SHL 0000078b: SUB 0000078c: DUP3 0000078d: AND 0000078e: PUSH1 0x04 00000790: DUP3 00000791: ADD 00000792: MSTORE 00000793: PUSH1 0x24 00000795: ADD 00000796: PUSH2 0x01e9 00000799: JUMP 0000079a: JUMPDEST 0000079b: CALLER 0000079c: PUSH1 0x01 0000079e: PUSH1 0x01 000007a0: PUSH1 0xa0 000007a2: SHL 000007a3: SUB 000007a4: DUP3 000007a5: AND 000007a6: SUB 000007a7: PUSH2 0x07ce 000007aa: JUMPI 000007ab: PUSH1 0x40 000007ad: MLOAD 000007ae: PUSH4 0x7d72139b 000007b3: PUSH1 0xe0 000007b5: SHL 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: DUP3 000007c1: AND 000007c2: PUSH1 0x04 000007c4: DUP3 000007c5: ADD 000007c6: MSTORE 000007c7: PUSH1 0x24 000007c9: ADD 000007ca: PUSH2 0x01e9 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x07d7 000007d2: DUP4 000007d3: PUSH2 0x085f 000007d6: JUMP 000007d7: JUMPDEST 000007d8: SWAP8 000007d9: SWAP7 000007da: POP 000007db: POP 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: POP 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x40 000007e5: DUP1 000007e6: MLOAD 000007e7: PUSH1 0x01 000007e9: PUSH1 0x01 000007eb: PUSH1 0xa0 000007ed: SHL 000007ee: SUB 000007ef: DUP5 000007f0: AND 000007f1: PUSH1 0x24 000007f3: DUP3 000007f4: ADD 000007f5: MSTORE 000007f6: PUSH1 0x44 000007f8: DUP1 000007f9: DUP3 000007fa: ADD 000007fb: DUP5 000007fc: SWAP1 000007fd: MSTORE 000007fe: DUP3 000007ff: MLOAD 00000800: DUP1 00000801: DUP4 00000802: SUB 00000803: SWAP1 00000804: SWAP2 00000805: ADD 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x64 0000080a: SWAP1 0000080b: SWAP2 0000080c: ADD 0000080d: SWAP1 0000080e: SWAP2 0000080f: MSTORE 00000810: PUSH1 0x20 00000812: DUP2 00000813: ADD 00000814: DUP1 00000815: MLOAD 00000816: PUSH1 0x01 00000818: PUSH1 0x01 0000081a: PUSH1 0xe0 0000081c: SHL 0000081d: SUB 0000081e: AND 0000081f: PUSH4 0xa9059cbb 00000824: PUSH1 0xe0 00000826: SHL 00000827: OR 00000828: SWAP1 00000829: MSTORE 0000082a: PUSH2 0x0834 0000082d: SWAP1 0000082e: DUP5 0000082f: SWAP1 00000830: PUSH2 0x09df 00000833: JUMP 00000834: JUMPDEST 00000835: POP 00000836: POP 00000837: POP 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x00 0000083c: DUP1 0000083d: PUSH1 0x00 0000083f: PUSH2 0x0848 00000842: DUP6 00000843: DUP6 00000844: PUSH2 0x0ab4 00000847: JUMP 00000848: JUMPDEST 00000849: SWAP2 0000084a: POP 0000084b: SWAP2 0000084c: POP 0000084d: PUSH2 0x0855 00000850: DUP2 00000851: PUSH2 0x0af9 00000854: JUMP 00000855: JUMPDEST 00000856: POP 00000857: SWAP1 00000858: POP 00000859: JUMPDEST 0000085a: SWAP3 0000085b: SWAP2 0000085c: POP 0000085d: POP 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH2 0x0868 00000863: CALLER 00000864: PUSH2 0x054c 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH2 0x0887 0000086c: JUMPI 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: PUSH4 0x217a40d3 00000875: PUSH1 0xe0 00000877: SHL 00000878: DUP2 00000879: MSTORE 0000087a: CALLER 0000087b: PUSH1 0x04 0000087d: DUP3 0000087e: ADD 0000087f: MSTORE 00000880: PUSH1 0x24 00000882: ADD 00000883: PUSH2 0x01e9 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x40 0000088a: DUP1 0000088b: MLOAD 0000088c: PUSH2 0x0140 0000088f: DUP2 00000890: ADD 00000891: SWAP2 00000892: DUP3 00000893: SWAP1 00000894: MSTORE 00000895: PUSH1 0x00 00000897: SWAP2 00000898: DUP3 00000899: SWAP2 0000089a: SWAP1 0000089b: PUSH1 0x03 0000089d: SWAP1 0000089e: PUSH1 0x0a 000008a0: SWAP1 000008a1: DUP3 000008a2: DUP5 000008a3: JUMPDEST 000008a4: DUP2 000008a5: SLOAD 000008a6: DUP2 000008a7: MSTORE 000008a8: PUSH1 0x20 000008aa: ADD 000008ab: SWAP1 000008ac: PUSH1 0x01 000008ae: ADD 000008af: SWAP1 000008b0: DUP1 000008b1: DUP4 000008b2: GT 000008b3: PUSH2 0x08a3 000008b6: JUMPI 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: POP 000008bb: POP 000008bc: SWAP1 000008bd: POP 000008be: PUSH1 0x00 000008c0: JUMPDEST 000008c1: PUSH1 0x0a 000008c3: DUP2 000008c4: LT 000008c5: ISZERO 000008c6: PUSH2 0x0949 000008c9: JUMPI 000008ca: DUP4 000008cb: DUP3 000008cc: DUP3 000008cd: PUSH1 0x0a 000008cf: DUP2 000008d0: LT 000008d1: PUSH2 0x08dc 000008d4: JUMPI 000008d5: PUSH2 0x08dc 000008d8: PUSH2 0x1171 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH1 0x20 000008df: MUL 000008e0: ADD 000008e1: MLOAD 000008e2: SUB 000008e3: PUSH2 0x08ff 000008e6: JUMPI 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: PUSH4 0x112ecd39 000008ef: PUSH1 0xe2 000008f1: SHL 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x04 000008f6: ADD 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: DUP1 000008fb: SWAP2 000008fc: SUB 000008fd: SWAP1 000008fe: REVERT 000008ff: JUMPDEST 00000900: DUP2 00000901: DUP4 00000902: PUSH1 0x0a 00000904: DUP2 00000905: LT 00000906: PUSH2 0x0911 00000909: JUMPI 0000090a: PUSH2 0x0911 0000090d: PUSH2 0x1171 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x20 00000914: MUL 00000915: ADD 00000916: MLOAD 00000917: DUP3 00000918: DUP3 00000919: PUSH1 0x0a 0000091b: DUP2 0000091c: LT 0000091d: PUSH2 0x0928 00000920: JUMPI 00000921: PUSH2 0x0928 00000924: PUSH2 0x1171 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x20 0000092b: MUL 0000092c: ADD 0000092d: MLOAD 0000092e: LT 0000092f: ISZERO 00000930: PUSH2 0x0937 00000933: JUMPI 00000934: DUP1 00000935: SWAP3 00000936: POP 00000937: JUMPDEST 00000938: DUP1 00000939: PUSH2 0x0941 0000093c: DUP2 0000093d: PUSH2 0x119d 00000940: JUMP 00000941: JUMPDEST 00000942: SWAP2 00000943: POP 00000944: POP 00000945: PUSH2 0x08c0 00000948: JUMP 00000949: JUMPDEST 0000094a: POP 0000094b: DUP1 0000094c: DUP3 0000094d: PUSH1 0x0a 0000094f: DUP2 00000950: LT 00000951: PUSH2 0x095c 00000954: JUMPI 00000955: PUSH2 0x095c 00000958: PUSH2 0x1171 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH1 0x20 0000095f: MUL 00000960: ADD 00000961: MLOAD 00000962: DUP4 00000963: GT 00000964: PUSH2 0x0980 00000967: JUMPI 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: PUSH4 0x037bcafb 00000970: PUSH1 0xe4 00000972: SHL 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x04 00000977: ADD 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: DUP1 0000097c: SWAP2 0000097d: SUB 0000097e: SWAP1 0000097f: REVERT 00000980: JUMPDEST 00000981: PUSH2 0x2710 00000984: DUP2 00000985: DUP4 00000986: PUSH1 0x0a 00000988: DUP2 00000989: LT 0000098a: PUSH2 0x0995 0000098d: JUMPI 0000098e: PUSH2 0x0995 00000991: PUSH2 0x1171 00000994: JUMP 00000995: JUMPDEST 00000996: PUSH1 0x20 00000998: MUL 00000999: ADD 0000099a: MLOAD 0000099b: PUSH2 0x09a4 0000099e: SWAP2 0000099f: SWAP1 000009a0: PUSH2 0x11b6 000009a3: JUMP 000009a4: JUMPDEST 000009a5: DUP4 000009a6: GT 000009a7: ISZERO 000009a8: PUSH2 0x09c4 000009ab: JUMPI 000009ac: PUSH1 0x40 000009ae: MLOAD 000009af: PUSH4 0xea8e0a79 000009b4: PUSH1 0xe0 000009b6: SHL 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x04 000009bb: ADD 000009bc: PUSH1 0x40 000009be: MLOAD 000009bf: DUP1 000009c0: SWAP2 000009c1: SUB 000009c2: SWAP1 000009c3: REVERT 000009c4: JUMPDEST 000009c5: DUP3 000009c6: PUSH1 0x03 000009c8: DUP4 000009c9: PUSH1 0x0a 000009cb: DUP2 000009cc: LT 000009cd: PUSH2 0x09d8 000009d0: JUMPI 000009d1: PUSH2 0x09d8 000009d4: PUSH2 0x1171 000009d7: JUMP 000009d8: JUMPDEST 000009d9: ADD 000009da: SSTORE 000009db: POP 000009dc: POP 000009dd: POP 000009de: JUMP 000009df: JUMPDEST 000009e0: PUSH1 0x00 000009e2: PUSH2 0x0a34 000009e5: DUP3 000009e6: PUSH1 0x40 000009e8: MLOAD 000009e9: DUP1 000009ea: PUSH1 0x40 000009ec: ADD 000009ed: PUSH1 0x40 000009ef: MSTORE 000009f0: DUP1 000009f1: PUSH1 0x20 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: ADD 000009f8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000a19: DUP2 00000a1a: MSTORE 00000a1b: POP 00000a1c: DUP6 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: SHL 00000a24: SUB 00000a25: AND 00000a26: PUSH2 0x0c46 00000a29: SWAP1 00000a2a: SWAP3 00000a2b: SWAP2 00000a2c: SWAP1 00000a2d: PUSH4 0xffffffff 00000a32: AND 00000a33: JUMP 00000a34: JUMPDEST 00000a35: SWAP1 00000a36: POP 00000a37: DUP1 00000a38: MLOAD 00000a39: PUSH1 0x00 00000a3b: EQ 00000a3c: DUP1 00000a3d: PUSH2 0x0a55 00000a40: JUMPI 00000a41: POP 00000a42: DUP1 00000a43: DUP1 00000a44: PUSH1 0x20 00000a46: ADD 00000a47: SWAP1 00000a48: MLOAD 00000a49: DUP2 00000a4a: ADD 00000a4b: SWAP1 00000a4c: PUSH2 0x0a55 00000a4f: SWAP2 00000a50: SWAP1 00000a51: PUSH2 0x11c9 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH2 0x0834 00000a59: JUMPI 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: PUSH3 0x461bcd 00000a61: PUSH1 0xe5 00000a63: SHL 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x20 00000a68: PUSH1 0x04 00000a6a: DUP3 00000a6b: ADD 00000a6c: MSTORE 00000a6d: PUSH1 0x2a 00000a6f: PUSH1 0x24 00000a71: DUP3 00000a72: ADD 00000a73: MSTORE 00000a74: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000a95: PUSH1 0x44 00000a97: DUP3 00000a98: ADD 00000a99: MSTORE 00000a9a: PUSH10 0x1bdd081cdd58d8d95959 00000aa5: PUSH1 0xb2 00000aa7: SHL 00000aa8: PUSH1 0x64 00000aaa: DUP3 00000aab: ADD 00000aac: MSTORE 00000aad: PUSH1 0x84 00000aaf: ADD 00000ab0: PUSH2 0x01e9 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x00 00000ab7: DUP1 00000ab8: DUP3 00000ab9: MLOAD 00000aba: PUSH1 0x41 00000abc: SUB 00000abd: PUSH2 0x0aea 00000ac0: JUMPI 00000ac1: PUSH1 0x20 00000ac3: DUP4 00000ac4: ADD 00000ac5: MLOAD 00000ac6: PUSH1 0x40 00000ac8: DUP5 00000ac9: ADD 00000aca: MLOAD 00000acb: PUSH1 0x60 00000acd: DUP6 00000ace: ADD 00000acf: MLOAD 00000ad0: PUSH1 0x00 00000ad2: BYTE 00000ad3: PUSH2 0x0ade 00000ad6: DUP8 00000ad7: DUP3 00000ad8: DUP6 00000ad9: DUP6 00000ada: PUSH2 0x0c5d 00000add: JUMP 00000ade: JUMPDEST 00000adf: SWAP5 00000ae0: POP 00000ae1: SWAP5 00000ae2: POP 00000ae3: POP 00000ae4: POP 00000ae5: POP 00000ae6: PUSH2 0x0af2 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: POP 00000aec: PUSH1 0x00 00000aee: SWAP1 00000aef: POP 00000af0: PUSH1 0x02 00000af2: JUMPDEST 00000af3: SWAP3 00000af4: POP 00000af5: SWAP3 00000af6: SWAP1 00000af7: POP 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: DUP2 00000afd: PUSH1 0x04 00000aff: DUP2 00000b00: GT 00000b01: ISZERO 00000b02: PUSH2 0x0b0d 00000b05: JUMPI 00000b06: PUSH2 0x0b0d 00000b09: PUSH2 0x11eb 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: SUB 00000b0f: PUSH2 0x0b15 00000b12: JUMPI 00000b13: POP 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x01 00000b18: DUP2 00000b19: PUSH1 0x04 00000b1b: DUP2 00000b1c: GT 00000b1d: ISZERO 00000b1e: PUSH2 0x0b29 00000b21: JUMPI 00000b22: PUSH2 0x0b29 00000b25: PUSH2 0x11eb 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SUB 00000b2b: PUSH2 0x0b76 00000b2e: JUMPI 00000b2f: PUSH1 0x40 00000b31: MLOAD 00000b32: PUSH3 0x461bcd 00000b36: PUSH1 0xe5 00000b38: SHL 00000b39: DUP2 00000b3a: MSTORE 00000b3b: PUSH1 0x20 00000b3d: PUSH1 0x04 00000b3f: DUP3 00000b40: ADD 00000b41: MSTORE 00000b42: PUSH1 0x18 00000b44: PUSH1 0x24 00000b46: DUP3 00000b47: ADD 00000b48: MSTORE 00000b49: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00000b6a: PUSH1 0x44 00000b6c: DUP3 00000b6d: ADD 00000b6e: MSTORE 00000b6f: PUSH1 0x64 00000b71: ADD 00000b72: PUSH2 0x01e9 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH1 0x02 00000b79: DUP2 00000b7a: PUSH1 0x04 00000b7c: DUP2 00000b7d: GT 00000b7e: ISZERO 00000b7f: PUSH2 0x0b8a 00000b82: JUMPI 00000b83: PUSH2 0x0b8a 00000b86: PUSH2 0x11eb 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: SUB 00000b8c: PUSH2 0x0bd7 00000b8f: JUMPI 00000b90: PUSH1 0x40 00000b92: MLOAD 00000b93: PUSH3 0x461bcd 00000b97: PUSH1 0xe5 00000b99: SHL 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x20 00000b9e: PUSH1 0x04 00000ba0: DUP3 00000ba1: ADD 00000ba2: MSTORE 00000ba3: PUSH1 0x1f 00000ba5: PUSH1 0x24 00000ba7: DUP3 00000ba8: ADD 00000ba9: MSTORE 00000baa: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00000bcb: PUSH1 0x44 00000bcd: DUP3 00000bce: ADD 00000bcf: MSTORE 00000bd0: PUSH1 0x64 00000bd2: ADD 00000bd3: PUSH2 0x01e9 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x03 00000bda: DUP2 00000bdb: PUSH1 0x04 00000bdd: DUP2 00000bde: GT 00000bdf: ISZERO 00000be0: PUSH2 0x0beb 00000be3: JUMPI 00000be4: PUSH2 0x0beb 00000be7: PUSH2 0x11eb 00000bea: JUMP 00000beb: JUMPDEST 00000bec: SUB 00000bed: PUSH2 0x0c43 00000bf0: JUMPI 00000bf1: PUSH1 0x40 00000bf3: MLOAD 00000bf4: PUSH3 0x461bcd 00000bf8: PUSH1 0xe5 00000bfa: SHL 00000bfb: DUP2 00000bfc: MSTORE 00000bfd: PUSH1 0x20 00000bff: PUSH1 0x04 00000c01: DUP3 00000c02: ADD 00000c03: MSTORE 00000c04: PUSH1 0x22 00000c06: PUSH1 0x24 00000c08: DUP3 00000c09: ADD 00000c0a: MSTORE 00000c0b: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00000c2c: PUSH1 0x44 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH2 0x7565 00000c34: PUSH1 0xf0 00000c36: SHL 00000c37: PUSH1 0x64 00000c39: DUP3 00000c3a: ADD 00000c3b: MSTORE 00000c3c: PUSH1 0x84 00000c3e: ADD 00000c3f: PUSH2 0x01e9 00000c42: JUMP 00000c43: JUMPDEST 00000c44: POP 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x60 00000c49: PUSH2 0x0c55 00000c4c: DUP5 00000c4d: DUP5 00000c4e: PUSH1 0x00 00000c50: DUP6 00000c51: PUSH2 0x0d21 00000c54: JUMP 00000c55: JUMPDEST 00000c56: SWAP5 00000c57: SWAP4 00000c58: POP 00000c59: POP 00000c5a: POP 00000c5b: POP 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: PUSH1 0x00 00000c60: DUP1 00000c61: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00000c82: DUP4 00000c83: GT 00000c84: ISZERO 00000c85: PUSH2 0x0c94 00000c88: JUMPI 00000c89: POP 00000c8a: PUSH1 0x00 00000c8c: SWAP1 00000c8d: POP 00000c8e: PUSH1 0x03 00000c90: PUSH2 0x0d18 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH1 0x40 00000c97: DUP1 00000c98: MLOAD 00000c99: PUSH1 0x00 00000c9b: DUP1 00000c9c: DUP3 00000c9d: MSTORE 00000c9e: PUSH1 0x20 00000ca0: DUP3 00000ca1: ADD 00000ca2: DUP1 00000ca3: DUP5 00000ca4: MSTORE 00000ca5: DUP10 00000ca6: SWAP1 00000ca7: MSTORE 00000ca8: PUSH1 0xff 00000caa: DUP9 00000cab: AND 00000cac: SWAP3 00000cad: DUP3 00000cae: ADD 00000caf: SWAP3 00000cb0: SWAP1 00000cb1: SWAP3 00000cb2: MSTORE 00000cb3: PUSH1 0x60 00000cb5: DUP2 00000cb6: ADD 00000cb7: DUP7 00000cb8: SWAP1 00000cb9: MSTORE 00000cba: PUSH1 0x80 00000cbc: DUP2 00000cbd: ADD 00000cbe: DUP6 00000cbf: SWAP1 00000cc0: MSTORE 00000cc1: PUSH1 0x01 00000cc3: SWAP1 00000cc4: PUSH1 0xa0 00000cc6: ADD 00000cc7: PUSH1 0x20 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: PUSH1 0x20 00000cce: DUP2 00000ccf: SUB 00000cd0: SWAP1 00000cd1: DUP1 00000cd2: DUP5 00000cd3: SUB 00000cd4: SWAP1 00000cd5: DUP6 00000cd6: GAS 00000cd7: STATICCALL 00000cd8: ISZERO 00000cd9: DUP1 00000cda: ISZERO 00000cdb: PUSH2 0x0ce8 00000cde: JUMPI 00000cdf: RETURNDATASIZE 00000ce0: PUSH1 0x00 00000ce2: DUP1 00000ce3: RETURNDATACOPY 00000ce4: RETURNDATASIZE 00000ce5: PUSH1 0x00 00000ce7: REVERT 00000ce8: JUMPDEST 00000ce9: POP 00000cea: POP 00000ceb: PUSH1 0x40 00000ced: MLOAD 00000cee: PUSH1 0x1f 00000cf0: NOT 00000cf1: ADD 00000cf2: MLOAD 00000cf3: SWAP2 00000cf4: POP 00000cf5: POP 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0x01 00000cfa: PUSH1 0xa0 00000cfc: SHL 00000cfd: SUB 00000cfe: DUP2 00000cff: AND 00000d00: PUSH2 0x0d11 00000d03: JUMPI 00000d04: PUSH1 0x00 00000d06: PUSH1 0x01 00000d08: SWAP3 00000d09: POP 00000d0a: SWAP3 00000d0b: POP 00000d0c: POP 00000d0d: PUSH2 0x0d18 00000d10: JUMP 00000d11: JUMPDEST 00000d12: SWAP2 00000d13: POP 00000d14: PUSH1 0x00 00000d16: SWAP1 00000d17: POP 00000d18: JUMPDEST 00000d19: SWAP5 00000d1a: POP 00000d1b: SWAP5 00000d1c: SWAP3 00000d1d: POP 00000d1e: POP 00000d1f: POP 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x60 00000d24: DUP3 00000d25: SELFBALANCE 00000d26: LT 00000d27: ISZERO 00000d28: PUSH2 0x0d82 00000d2b: JUMPI 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: PUSH3 0x461bcd 00000d33: PUSH1 0xe5 00000d35: SHL 00000d36: DUP2 00000d37: MSTORE 00000d38: PUSH1 0x20 00000d3a: PUSH1 0x04 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH1 0x26 00000d41: PUSH1 0x24 00000d43: DUP3 00000d44: ADD 00000d45: MSTORE 00000d46: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000d67: PUSH1 0x44 00000d69: DUP3 00000d6a: ADD 00000d6b: MSTORE 00000d6c: PUSH6 0x1c8818d85b1b 00000d73: PUSH1 0xd2 00000d75: SHL 00000d76: PUSH1 0x64 00000d78: DUP3 00000d79: ADD 00000d7a: MSTORE 00000d7b: PUSH1 0x84 00000d7d: ADD 00000d7e: PUSH2 0x01e9 00000d81: JUMP 00000d82: JUMPDEST 00000d83: PUSH1 0x00 00000d85: DUP1 00000d86: DUP7 00000d87: PUSH1 0x01 00000d89: PUSH1 0x01 00000d8b: PUSH1 0xa0 00000d8d: SHL 00000d8e: SUB 00000d8f: AND 00000d90: DUP6 00000d91: DUP8 00000d92: PUSH1 0x40 00000d94: MLOAD 00000d95: PUSH2 0x0d9e 00000d98: SWAP2 00000d99: SWAP1 00000d9a: PUSH2 0x1201 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x00 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: DUP1 00000da5: DUP4 00000da6: SUB 00000da7: DUP2 00000da8: DUP6 00000da9: DUP8 00000daa: GAS 00000dab: CALL 00000dac: SWAP3 00000dad: POP 00000dae: POP 00000daf: POP 00000db0: RETURNDATASIZE 00000db1: DUP1 00000db2: PUSH1 0x00 00000db4: DUP2 00000db5: EQ 00000db6: PUSH2 0x0ddb 00000db9: JUMPI 00000dba: PUSH1 0x40 00000dbc: MLOAD 00000dbd: SWAP2 00000dbe: POP 00000dbf: PUSH1 0x1f 00000dc1: NOT 00000dc2: PUSH1 0x3f 00000dc4: RETURNDATASIZE 00000dc5: ADD 00000dc6: AND 00000dc7: DUP3 00000dc8: ADD 00000dc9: PUSH1 0x40 00000dcb: MSTORE 00000dcc: RETURNDATASIZE 00000dcd: DUP3 00000dce: MSTORE 00000dcf: RETURNDATASIZE 00000dd0: PUSH1 0x00 00000dd2: PUSH1 0x20 00000dd4: DUP5 00000dd5: ADD 00000dd6: RETURNDATACOPY 00000dd7: PUSH2 0x0de0 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH1 0x60 00000dde: SWAP2 00000ddf: POP 00000de0: JUMPDEST 00000de1: POP 00000de2: SWAP2 00000de3: POP 00000de4: SWAP2 00000de5: POP 00000de6: PUSH2 0x07d7 00000de9: DUP8 00000dea: DUP4 00000deb: DUP4 00000dec: DUP8 00000ded: PUSH1 0x60 00000def: DUP4 00000df0: ISZERO 00000df1: PUSH2 0x0e5b 00000df4: JUMPI 00000df5: DUP3 00000df6: MLOAD 00000df7: PUSH1 0x00 00000df9: SUB 00000dfa: PUSH2 0x0e54 00000dfd: JUMPI 00000dfe: PUSH1 0x01 00000e00: PUSH1 0x01 00000e02: PUSH1 0xa0 00000e04: SHL 00000e05: SUB 00000e06: DUP6 00000e07: AND 00000e08: EXTCODESIZE 00000e09: PUSH2 0x0e54 00000e0c: JUMPI 00000e0d: PUSH1 0x40 00000e0f: MLOAD 00000e10: PUSH3 0x461bcd 00000e14: PUSH1 0xe5 00000e16: SHL 00000e17: DUP2 00000e18: MSTORE 00000e19: PUSH1 0x20 00000e1b: PUSH1 0x04 00000e1d: DUP3 00000e1e: ADD 00000e1f: MSTORE 00000e20: PUSH1 0x1d 00000e22: PUSH1 0x24 00000e24: DUP3 00000e25: ADD 00000e26: MSTORE 00000e27: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000e48: PUSH1 0x44 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: PUSH1 0x64 00000e4f: ADD 00000e50: PUSH2 0x01e9 00000e53: JUMP 00000e54: JUMPDEST 00000e55: POP 00000e56: DUP2 00000e57: PUSH2 0x0c55 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: PUSH2 0x0c55 00000e5f: DUP4 00000e60: DUP4 00000e61: DUP2 00000e62: MLOAD 00000e63: ISZERO 00000e64: PUSH2 0x0e70 00000e67: JUMPI 00000e68: DUP2 00000e69: MLOAD 00000e6a: DUP1 00000e6b: DUP4 00000e6c: PUSH1 0x20 00000e6e: ADD 00000e6f: REVERT 00000e70: JUMPDEST 00000e71: DUP1 00000e72: PUSH1 0x40 00000e74: MLOAD 00000e75: PUSH3 0x461bcd 00000e79: PUSH1 0xe5 00000e7b: SHL 00000e7c: DUP2 00000e7d: MSTORE 00000e7e: PUSH1 0x04 00000e80: ADD 00000e81: PUSH2 0x01e9 00000e84: SWAP2 00000e85: SWAP1 00000e86: PUSH2 0x121d 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x01 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0xa0 00000e91: SHL 00000e92: SUB 00000e93: DUP2 00000e94: AND 00000e95: DUP2 00000e96: EQ 00000e97: PUSH2 0x0c43 00000e9a: JUMPI 00000e9b: PUSH1 0x00 00000e9d: DUP1 00000e9e: REVERT 00000e9f: JUMPDEST 00000ea0: PUSH1 0x00 00000ea2: DUP1 00000ea3: DUP4 00000ea4: PUSH1 0x1f 00000ea6: DUP5 00000ea7: ADD 00000ea8: SLT 00000ea9: PUSH2 0x0eb1 00000eac: JUMPI 00000ead: PUSH1 0x00 00000eaf: DUP1 00000eb0: REVERT 00000eb1: JUMPDEST 00000eb2: POP 00000eb3: DUP2 00000eb4: CALLDATALOAD 00000eb5: PUSH8 0xffffffffffffffff 00000ebe: DUP2 00000ebf: GT 00000ec0: ISZERO 00000ec1: PUSH2 0x0ec9 00000ec4: JUMPI 00000ec5: PUSH1 0x00 00000ec7: DUP1 00000ec8: REVERT 00000ec9: JUMPDEST 00000eca: PUSH1 0x20 00000ecc: DUP4 00000ecd: ADD 00000ece: SWAP2 00000ecf: POP 00000ed0: DUP4 00000ed1: PUSH1 0x20 00000ed3: DUP3 00000ed4: DUP6 00000ed5: ADD 00000ed6: ADD 00000ed7: GT 00000ed8: ISZERO 00000ed9: PUSH2 0x0af2 00000edc: JUMPI 00000edd: PUSH1 0x00 00000edf: DUP1 00000ee0: REVERT 00000ee1: JUMPDEST 00000ee2: PUSH1 0x00 00000ee4: DUP1 00000ee5: PUSH1 0x00 00000ee7: DUP1 00000ee8: PUSH1 0x00 00000eea: DUP1 00000eeb: PUSH1 0x00 00000eed: DUP1 00000eee: PUSH1 0xc0 00000ef0: DUP10 00000ef1: DUP12 00000ef2: SUB 00000ef3: SLT 00000ef4: ISZERO 00000ef5: PUSH2 0x0efd 00000ef8: JUMPI 00000ef9: PUSH1 0x00 00000efb: DUP1 00000efc: REVERT 00000efd: JUMPDEST 00000efe: DUP9 00000eff: CALLDATALOAD 00000f00: PUSH2 0x0f08 00000f03: DUP2 00000f04: PUSH2 0x0e8a 00000f07: JUMP 00000f08: JUMPDEST 00000f09: SWAP8 00000f0a: POP 00000f0b: PUSH1 0x20 00000f0d: DUP10 00000f0e: ADD 00000f0f: CALLDATALOAD 00000f10: SWAP7 00000f11: POP 00000f12: PUSH1 0x40 00000f14: DUP10 00000f15: ADD 00000f16: CALLDATALOAD 00000f17: PUSH8 0xffffffffffffffff 00000f20: DUP1 00000f21: DUP3 00000f22: GT 00000f23: ISZERO 00000f24: PUSH2 0x0f2c 00000f27: JUMPI 00000f28: PUSH1 0x00 00000f2a: DUP1 00000f2b: REVERT 00000f2c: JUMPDEST 00000f2d: PUSH2 0x0f38 00000f30: DUP13 00000f31: DUP4 00000f32: DUP14 00000f33: ADD 00000f34: PUSH2 0x0e9f 00000f37: JUMP 00000f38: JUMPDEST 00000f39: SWAP1 00000f3a: SWAP9 00000f3b: POP 00000f3c: SWAP7 00000f3d: POP 00000f3e: PUSH1 0x60 00000f40: DUP12 00000f41: ADD 00000f42: CALLDATALOAD 00000f43: SWAP6 00000f44: POP 00000f45: PUSH1 0x80 00000f47: DUP12 00000f48: ADD 00000f49: CALLDATALOAD 00000f4a: SWAP5 00000f4b: POP 00000f4c: PUSH1 0xa0 00000f4e: DUP12 00000f4f: ADD 00000f50: CALLDATALOAD 00000f51: SWAP2 00000f52: POP 00000f53: DUP1 00000f54: DUP3 00000f55: GT 00000f56: ISZERO 00000f57: PUSH2 0x0f5f 00000f5a: JUMPI 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: REVERT 00000f5f: JUMPDEST 00000f60: POP 00000f61: PUSH2 0x0f6c 00000f64: DUP12 00000f65: DUP3 00000f66: DUP13 00000f67: ADD 00000f68: PUSH2 0x0e9f 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: SWAP10 00000f6e: SWAP13 00000f6f: SWAP9 00000f70: SWAP12 00000f71: POP 00000f72: SWAP7 00000f73: SWAP10 00000f74: POP 00000f75: SWAP5 00000f76: SWAP8 00000f77: SWAP4 00000f78: SWAP7 00000f79: SWAP3 00000f7a: SWAP6 00000f7b: SWAP5 00000f7c: POP 00000f7d: POP 00000f7e: POP 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x00 00000f83: DUP1 00000f84: PUSH1 0x00 00000f86: DUP1 00000f87: PUSH1 0x00 00000f89: DUP1 00000f8a: PUSH1 0x00 00000f8c: PUSH1 0xc0 00000f8e: DUP9 00000f8f: DUP11 00000f90: SUB 00000f91: SLT 00000f92: ISZERO 00000f93: PUSH2 0x0f9b 00000f96: JUMPI 00000f97: PUSH1 0x00 00000f99: DUP1 00000f9a: REVERT 00000f9b: JUMPDEST 00000f9c: DUP8 00000f9d: CALLDATALOAD 00000f9e: PUSH2 0x0fa6 00000fa1: DUP2 00000fa2: PUSH2 0x0e8a 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: SWAP7 00000fa8: POP 00000fa9: PUSH1 0x20 00000fab: DUP9 00000fac: ADD 00000fad: CALLDATALOAD 00000fae: SWAP6 00000faf: POP 00000fb0: PUSH1 0x40 00000fb2: DUP9 00000fb3: ADD 00000fb4: CALLDATALOAD 00000fb5: PUSH2 0x0fbd 00000fb8: DUP2 00000fb9: PUSH2 0x0e8a 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: SWAP5 00000fbf: POP 00000fc0: PUSH1 0x60 00000fc2: DUP9 00000fc3: ADD 00000fc4: CALLDATALOAD 00000fc5: SWAP4 00000fc6: POP 00000fc7: PUSH1 0x80 00000fc9: DUP9 00000fca: ADD 00000fcb: CALLDATALOAD 00000fcc: SWAP3 00000fcd: POP 00000fce: PUSH1 0xa0 00000fd0: DUP9 00000fd1: ADD 00000fd2: CALLDATALOAD 00000fd3: PUSH8 0xffffffffffffffff 00000fdc: DUP2 00000fdd: GT 00000fde: ISZERO 00000fdf: PUSH2 0x0fe7 00000fe2: JUMPI 00000fe3: PUSH1 0x00 00000fe5: DUP1 00000fe6: REVERT 00000fe7: JUMPDEST 00000fe8: PUSH2 0x0ff3 00000feb: DUP11 00000fec: DUP3 00000fed: DUP12 00000fee: ADD 00000fef: PUSH2 0x0e9f 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: SWAP9 00000ff5: SWAP12 00000ff6: SWAP8 00000ff7: SWAP11 00000ff8: POP 00000ff9: SWAP6 00000ffa: SWAP9 00000ffb: POP 00000ffc: SWAP4 00000ffd: SWAP7 00000ffe: SWAP3 00000fff: SWAP6 00001000: SWAP3 00001001: SWAP4 00001002: POP 00001003: POP 00001004: POP 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x00 00001009: PUSH1 0x20 0000100b: DUP3 0000100c: DUP5 0000100d: SUB 0000100e: SLT 0000100f: ISZERO 00001010: PUSH2 0x1018 00001013: JUMPI 00001014: PUSH1 0x00 00001016: DUP1 00001017: REVERT 00001018: JUMPDEST 00001019: DUP2 0000101a: CALLDATALOAD 0000101b: PUSH2 0x1023 0000101e: DUP2 0000101f: PUSH2 0x0e8a 00001022: JUMP 00001023: JUMPDEST 00001024: SWAP4 00001025: SWAP3 00001026: POP 00001027: POP 00001028: POP 00001029: JUMP 0000102a: JUMPDEST 0000102b: PUSH1 0x00 0000102d: JUMPDEST 0000102e: DUP4 0000102f: DUP2 00001030: LT 00001031: ISZERO 00001032: PUSH2 0x1045 00001035: JUMPI 00001036: DUP2 00001037: DUP2 00001038: ADD 00001039: MLOAD 0000103a: DUP4 0000103b: DUP3 0000103c: ADD 0000103d: MSTORE 0000103e: PUSH1 0x20 00001040: ADD 00001041: PUSH2 0x102d 00001044: JUMP 00001045: JUMPDEST 00001046: POP 00001047: POP 00001048: PUSH1 0x00 0000104a: SWAP2 0000104b: ADD 0000104c: MSTORE 0000104d: JUMP 0000104e: JUMPDEST 0000104f: PUSH1 0x00 00001051: DUP9 00001052: MLOAD 00001053: PUSH2 0x1060 00001056: DUP2 00001057: DUP5 00001058: PUSH1 0x20 0000105a: DUP14 0000105b: ADD 0000105c: PUSH2 0x102a 0000105f: JUMP 00001060: JUMPDEST 00001061: DUP1 00001062: DUP4 00001063: ADD 00001064: SWAP1 00001065: POP 00001066: PUSH12 0xffffffffffffffffffffffff 00001073: NOT 00001074: DUP10 00001075: PUSH1 0x60 00001077: SHL 00001078: AND 00001079: DUP2 0000107a: MSTORE 0000107b: DUP8 0000107c: PUSH1 0x14 0000107e: DUP3 0000107f: ADD 00001080: MSTORE 00001081: DUP6 00001082: DUP8 00001083: PUSH1 0x34 00001085: DUP4 00001086: ADD 00001087: CALLDATACOPY 00001088: PUSH1 0x34 0000108a: SWAP6 0000108b: ADD 0000108c: SWAP5 0000108d: DUP6 0000108e: ADD 0000108f: SWAP4 00001090: SWAP1 00001091: SWAP4 00001092: MSTORE 00001093: POP 00001094: PUSH1 0x54 00001096: DUP4 00001097: ADD 00001098: MSTORE 00001099: POP 0000109a: PUSH1 0x74 0000109c: ADD 0000109d: SWAP5 0000109e: SWAP4 0000109f: POP 000010a0: POP 000010a1: POP 000010a2: POP 000010a3: JUMP 000010a4: JUMPDEST 000010a5: DUP2 000010a6: DUP4 000010a7: DUP3 000010a8: CALLDATACOPY 000010a9: PUSH1 0x00 000010ab: SWAP2 000010ac: ADD 000010ad: SWAP1 000010ae: DUP2 000010af: MSTORE 000010b0: SWAP2 000010b1: SWAP1 000010b2: POP 000010b3: JUMP 000010b4: JUMPDEST 000010b5: PUSH1 0x01 000010b7: PUSH1 0x01 000010b9: PUSH1 0xa0 000010bb: SHL 000010bc: SUB 000010bd: DUP9 000010be: DUP2 000010bf: AND 000010c0: DUP3 000010c1: MSTORE 000010c2: DUP8 000010c3: DUP2 000010c4: AND 000010c5: PUSH1 0x20 000010c7: DUP4 000010c8: ADD 000010c9: MSTORE 000010ca: PUSH1 0x40 000010cc: DUP3 000010cd: ADD 000010ce: DUP8 000010cf: SWAP1 000010d0: MSTORE 000010d1: DUP6 000010d2: AND 000010d3: PUSH1 0x60 000010d5: DUP3 000010d6: ADD 000010d7: MSTORE 000010d8: PUSH1 0x80 000010da: DUP2 000010db: ADD 000010dc: DUP5 000010dd: SWAP1 000010de: MSTORE 000010df: PUSH1 0xc0 000010e1: PUSH1 0xa0 000010e3: DUP3 000010e4: ADD 000010e5: DUP2 000010e6: SWAP1 000010e7: MSTORE 000010e8: DUP2 000010e9: ADD 000010ea: DUP3 000010eb: SWAP1 000010ec: MSTORE 000010ed: PUSH1 0x00 000010ef: DUP3 000010f0: DUP5 000010f1: PUSH1 0xe0 000010f3: DUP5 000010f4: ADD 000010f5: CALLDATACOPY 000010f6: PUSH1 0x00 000010f8: PUSH1 0xe0 000010fa: DUP5 000010fb: DUP5 000010fc: ADD 000010fd: ADD 000010fe: MSTORE 000010ff: PUSH1 0xe0 00001101: PUSH1 0x1f 00001103: NOT 00001104: PUSH1 0x1f 00001106: DUP6 00001107: ADD 00001108: AND 00001109: DUP4 0000110a: ADD 0000110b: ADD 0000110c: SWAP1 0000110d: POP 0000110e: SWAP9 0000110f: SWAP8 00001110: POP 00001111: POP 00001112: POP 00001113: POP 00001114: POP 00001115: POP 00001116: POP 00001117: POP 00001118: JUMP 00001119: JUMPDEST 0000111a: PUSH1 0x00 0000111c: DUP8 0000111d: MLOAD 0000111e: PUSH2 0x112b 00001121: DUP2 00001122: DUP5 00001123: PUSH1 0x20 00001125: DUP13 00001126: ADD 00001127: PUSH2 0x102a 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH12 0xffffffffffffffffffffffff 00001139: NOT 0000113a: PUSH1 0x60 0000113c: SWAP9 0000113d: DUP10 0000113e: SHL 0000113f: DUP2 00001140: AND 00001141: SWAP2 00001142: SWAP1 00001143: SWAP4 00001144: ADD 00001145: SWAP1 00001146: DUP2 00001147: MSTORE 00001148: PUSH1 0x14 0000114a: DUP2 0000114b: ADD 0000114c: SWAP7 0000114d: SWAP1 0000114e: SWAP7 0000114f: MSTORE 00001150: POP 00001151: SWAP3 00001152: SWAP1 00001153: SWAP5 00001154: SHL 00001155: SWAP1 00001156: SWAP2 00001157: AND 00001158: PUSH1 0x34 0000115a: DUP4 0000115b: ADD 0000115c: MSTORE 0000115d: PUSH1 0x48 0000115f: DUP3 00001160: ADD 00001161: MSTORE 00001162: PUSH1 0x68 00001164: DUP2 00001165: ADD 00001166: SWAP2 00001167: SWAP1 00001168: SWAP2 00001169: MSTORE 0000116a: PUSH1 0x88 0000116c: ADD 0000116d: SWAP2 0000116e: SWAP1 0000116f: POP 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH4 0x4e487b71 00001177: PUSH1 0xe0 00001179: SHL 0000117a: PUSH1 0x00 0000117c: MSTORE 0000117d: PUSH1 0x32 0000117f: PUSH1 0x04 00001181: MSTORE 00001182: PUSH1 0x24 00001184: PUSH1 0x00 00001186: REVERT 00001187: JUMPDEST 00001188: PUSH4 0x4e487b71 0000118d: PUSH1 0xe0 0000118f: SHL 00001190: PUSH1 0x00 00001192: MSTORE 00001193: PUSH1 0x11 00001195: PUSH1 0x04 00001197: MSTORE 00001198: PUSH1 0x24 0000119a: PUSH1 0x00 0000119c: REVERT 0000119d: JUMPDEST 0000119e: PUSH1 0x00 000011a0: PUSH1 0x01 000011a2: DUP3 000011a3: ADD 000011a4: PUSH2 0x11af 000011a7: JUMPI 000011a8: PUSH2 0x11af 000011ab: PUSH2 0x1187 000011ae: JUMP 000011af: JUMPDEST 000011b0: POP 000011b1: PUSH1 0x01 000011b3: ADD 000011b4: SWAP1 000011b5: JUMP 000011b6: JUMPDEST 000011b7: DUP1 000011b8: DUP3 000011b9: ADD 000011ba: DUP1 000011bb: DUP3 000011bc: GT 000011bd: ISZERO 000011be: PUSH2 0x0859 000011c1: JUMPI 000011c2: PUSH2 0x0859 000011c5: PUSH2 0x1187 000011c8: JUMP 000011c9: JUMPDEST 000011ca: PUSH1 0x00 000011cc: PUSH1 0x20 000011ce: DUP3 000011cf: DUP5 000011d0: SUB 000011d1: SLT 000011d2: ISZERO 000011d3: PUSH2 0x11db 000011d6: JUMPI 000011d7: PUSH1 0x00 000011d9: DUP1 000011da: REVERT 000011db: JUMPDEST 000011dc: DUP2 000011dd: MLOAD 000011de: DUP1 000011df: ISZERO 000011e0: ISZERO 000011e1: DUP2 000011e2: EQ 000011e3: PUSH2 0x1023 000011e6: JUMPI 000011e7: PUSH1 0x00 000011e9: DUP1 000011ea: REVERT 000011eb: JUMPDEST 000011ec: PUSH4 0x4e487b71 000011f1: PUSH1 0xe0 000011f3: SHL 000011f4: PUSH1 0x00 000011f6: MSTORE 000011f7: PUSH1 0x21 000011f9: PUSH1 0x04 000011fb: MSTORE 000011fc: PUSH1 0x24 000011fe: PUSH1 0x00 00001200: REVERT 00001201: JUMPDEST 00001202: PUSH1 0x00 00001204: DUP3 00001205: MLOAD 00001206: PUSH2 0x1213 00001209: DUP2 0000120a: DUP5 0000120b: PUSH1 0x20 0000120d: DUP8 0000120e: ADD 0000120f: PUSH2 0x102a 00001212: JUMP 00001213: JUMPDEST 00001214: SWAP2 00001215: SWAP1 00001216: SWAP2 00001217: ADD 00001218: SWAP3 00001219: SWAP2 0000121a: POP 0000121b: POP 0000121c: JUMP 0000121d: JUMPDEST 0000121e: PUSH1 0x20 00001220: DUP2 00001221: MSTORE 00001222: PUSH1 0x00 00001224: DUP3 00001225: MLOAD 00001226: DUP1 00001227: PUSH1 0x20 00001229: DUP5 0000122a: ADD 0000122b: MSTORE 0000122c: PUSH2 0x123c 0000122f: DUP2 00001230: PUSH1 0x40 00001232: DUP6 00001233: ADD 00001234: PUSH1 0x20 00001236: DUP8 00001237: ADD 00001238: PUSH2 0x102a 0000123b: JUMP 0000123c: JUMPDEST 0000123d: PUSH1 0x1f 0000123f: ADD 00001240: PUSH1 0x1f 00001242: NOT 00001243: AND 00001244: SWAP2 00001245: SWAP1 00001246: SWAP2 00001247: ADD 00001248: PUSH1 0x40 0000124a: ADD 0000124b: SWAP3 0000124c: SWAP2 0000124d: POP 0000124e: POP 0000124f: JUMP 00001250: INVALID 00001251: LOG2 00001252: PUSH5 0x6970667358 00001258: UNKNOWN(0x22) 00001259: SLT 0000125a: KECCAK256 0000125b: UNKNOWN(0xAD) 0000125c: EQ 0000125d: GASPRICE 0000125e: UNKNOWN(0xE7) 0000125f: BLOBHASH 00001260: SWAP7 00001261: SWAP10 00001262: SWAP14 00001263: UNKNOWN(0xE7) 00001264: ORIGIN 00001265: UNKNOWN(0xD1) 00001266: UNKNOWN(0xE1) 00001267: UNKNOWN(0x24) 00001268: DUP12 00001269: GASLIMIT 0000126a: UNKNOWN(0xCE) 0000126b: DUP10 0000126c: UNKNOWN(0xD2) 0000126d: AND 0000126e: UNKNOWN(0xD5) 0000126f: SHL 00001270: SWAP11 00001271: UNKNOWN(0x2A) 00001272: UNKNOWN(0xAF) 00001273: DUP6 00001274: JUMP 00001275: BLOBHASH 00001276: UNKNOWN(0x2D) 00001277: PUSH1 0xcf 00001279: DIV 0000127a: JUMPI 0000127b: PUSH5 0x736f6c6343 00001281: STOP 00001282: ADDMOD 00001283: EQ 00001284: STOP 00001285: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0f392d",
"selector": "0xfc0f392d",
"calldata_variants": [
"0xfc0f392d",
"0xfc0f392d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39cd88a3",
"selector": "0x39cd88a3",
"calldata_variants": [
"0x39cd88a3",
"0x39cd88a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x736c0d5b",
"selector": "0x736c0d5b",
"calldata_variants": [
"0x736c0d5b",
"0x736c0d5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4708,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1e6fcb04517bc3db2c7c93491b4c33e627fc1d57c803dc95ea5cdc9d8916d8d3
call_targets:
0x4bb27b1b8685c7a3a7916740b97135086ed888d1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e6fcb04517bc3db2c7c93491b4c33e627fc1d57c803dc95ea5cdc9d8916d8d3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4bb27b1b8685c7a3a7916740b97135086ed888d1"
],
"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": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0f392d",
"selector": "0xfc0f392d",
"calldata_variants": [
"0xfc0f392d",
"0xfc0f392d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39cd88a3",
"selector": "0x39cd88a3",
"calldata_variants": [
"0x39cd88a3",
"0x39cd88a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x736c0d5b",
"selector": "0x736c0d5b",
"calldata_variants": [
"0x736c0d5b",
"0x736c0d5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 767,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3499,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 4708,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1e6fcb04517bc3db2c7c93491b4c33e627fc1d57c803dc95ea5cdc9d8916d8d3
call_targets:
0x4bb27b1b8685c7a3a7916740b97135086ed888d1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e6fcb04517bc3db2c7c93491b4c33e627fc1d57c803dc95ea5cdc9d8916d8d3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4bb27b1b8685c7a3a7916740b97135086ed888d1"
],
"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": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0f392d",
"selector": "0xfc0f392d",
"calldata_variants": [
"0xfc0f392d",
"0xfc0f392d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39cd88a3",
"selector": "0x39cd88a3",
"calldata_variants": [
"0x39cd88a3",
"0x39cd88a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x736c0d5b",
"selector": "0x736c0d5b",
"calldata_variants": [
"0x736c0d5b",
"0x736c0d5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 767,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3499,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 4708,
"type": "tx_origin_used"
}
]
}
|