019b477e-cad1-727b-93c8-0b33a5d1bb15
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 |
|---|---|---|---|---|
| 26577 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26578 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69898 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69899 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69900 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69901 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00dd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x73be8bbe 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa074fd04 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa074fd04 0000002f: EQ 00000030: PUSH2 0x04f2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc3c5a547 0000003a: EQ 0000003b: PUSH2 0x050e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcdd8b2b2 00000045: EQ 00000046: PUSH2 0x055e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd6f7ddf9 00000050: EQ 00000051: PUSH2 0x057e 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x73be8bbe 00000060: EQ 00000061: PUSH2 0x0480 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x7ebae30b 0000006b: EQ 0000006c: PUSH2 0x04a0 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x89885049 00000076: EQ 00000077: PUSH2 0x04b3 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x267c73a8 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x267c73a8 00000091: EQ 00000092: PUSH2 0x0297 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x366b0db4 0000009c: EQ 0000009d: PUSH2 0x033f 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x51cff8d9 000000a7: EQ 000000a8: PUSH2 0x0440 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x71b08c26 000000b2: EQ 000000b3: PUSH2 0x0460 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x01567739 000000c2: EQ 000000c3: PUSH2 0x00e2 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x0d3b2052 000000cd: EQ 000000ce: PUSH2 0x0148 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x25438b29 000000d8: EQ 000000d9: PUSH2 0x0176 000000dc: JUMPI 000000dd: JUMPDEST 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x0124 000000f3: PUSH2 0x00fd 000000f6: CALLDATASIZE 000000f7: PUSH1 0x04 000000f9: PUSH2 0x0e2e 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH1 0x01 00000100: PUSH1 0x20 00000102: MSTORE 00000103: PUSH1 0x00 00000105: SWAP1 00000106: DUP2 00000107: MSTORE 00000108: PUSH1 0x40 0000010a: SWAP1 0000010b: KECCAK256 0000010c: SLOAD 0000010d: PUSH1 0x01 0000010f: PUSH1 0x01 00000111: PUSH1 0xf8 00000113: SHL 00000114: SUB 00000115: DUP2 00000116: AND 00000117: SWAP1 00000118: PUSH1 0x01 0000011a: PUSH1 0xf8 0000011c: SHL 0000011d: SWAP1 0000011e: DIV 0000011f: PUSH1 0xff 00000121: AND 00000122: DUP3 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x40 00000127: DUP1 00000128: MLOAD 00000129: PUSH1 0x01 0000012b: PUSH1 0x01 0000012d: PUSH1 0xf8 0000012f: SHL 00000130: SUB 00000131: SWAP1 00000132: SWAP4 00000133: AND 00000134: DUP4 00000135: MSTORE 00000136: SWAP1 00000137: ISZERO 00000138: ISZERO 00000139: PUSH1 0x20 0000013b: DUP4 0000013c: ADD 0000013d: MSTORE 0000013e: ADD 0000013f: JUMPDEST 00000140: PUSH1 0x40 00000142: MLOAD 00000143: DUP1 00000144: SWAP2 00000145: SUB 00000146: SWAP1 00000147: RETURN 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x0168 00000159: PUSH2 0x0163 0000015c: CALLDATASIZE 0000015d: PUSH1 0x04 0000015f: PUSH2 0x0e50 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x0591 00000167: JUMP 00000168: JUMPDEST 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: SWAP1 0000016d: DUP2 0000016e: MSTORE 0000016f: PUSH1 0x20 00000171: ADD 00000172: PUSH2 0x013f 00000175: JUMP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x023c 00000187: PUSH2 0x0191 0000018a: CALLDATASIZE 0000018b: PUSH1 0x04 0000018d: PUSH2 0x0e7c 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH1 0x40 00000194: DUP1 00000195: MLOAD 00000196: PUSH1 0xa0 00000198: DUP2 00000199: ADD 0000019a: DUP3 0000019b: MSTORE 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: DUP3 000001a0: MSTORE 000001a1: PUSH1 0x20 000001a3: DUP3 000001a4: ADD 000001a5: DUP2 000001a6: SWAP1 000001a7: MSTORE 000001a8: SWAP2 000001a9: DUP2 000001aa: ADD 000001ab: DUP3 000001ac: SWAP1 000001ad: MSTORE 000001ae: PUSH1 0x60 000001b0: DUP2 000001b1: ADD 000001b2: DUP3 000001b3: SWAP1 000001b4: MSTORE 000001b5: PUSH1 0x80 000001b7: DUP2 000001b8: ADD 000001b9: SWAP2 000001ba: SWAP1 000001bb: SWAP2 000001bc: MSTORE 000001bd: POP 000001be: PUSH1 0x01 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: SHL 000001c5: SUB 000001c6: DUP3 000001c7: AND 000001c8: PUSH1 0x00 000001ca: SWAP1 000001cb: DUP2 000001cc: MSTORE 000001cd: PUSH1 0x20 000001cf: DUP2 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x40 000001d4: DUP1 000001d5: DUP4 000001d6: KECCAK256 000001d7: DUP5 000001d8: DUP5 000001d9: MSTORE 000001da: DUP3 000001db: MSTORE 000001dc: SWAP2 000001dd: DUP3 000001de: SWAP1 000001df: KECCAK256 000001e0: DUP3 000001e1: MLOAD 000001e2: PUSH1 0xa0 000001e4: DUP2 000001e5: ADD 000001e6: DUP5 000001e7: MSTORE 000001e8: SWAP1 000001e9: SLOAD 000001ea: PUSH1 0x01 000001ec: PUSH1 0x01 000001ee: PUSH1 0x80 000001f0: SHL 000001f1: SUB 000001f2: DUP2 000001f3: AND 000001f4: DUP3 000001f5: MSTORE 000001f6: PUSH4 0xffffffff 000001fb: PUSH1 0x01 000001fd: PUSH1 0x80 000001ff: SHL 00000200: DUP3 00000201: DIV 00000202: DUP2 00000203: AND 00000204: SWAP4 00000205: DUP4 00000206: ADD 00000207: SWAP4 00000208: SWAP1 00000209: SWAP4 0000020a: MSTORE 0000020b: PUSH1 0x01 0000020d: PUSH1 0xa0 0000020f: SHL 00000210: DUP2 00000211: DIV 00000212: DUP4 00000213: AND 00000214: SWAP4 00000215: DUP3 00000216: ADD 00000217: SWAP4 00000218: SWAP1 00000219: SWAP4 0000021a: MSTORE 0000021b: PUSH1 0x01 0000021d: PUSH1 0xc0 0000021f: SHL 00000220: DUP4 00000221: DIV 00000222: DUP3 00000223: AND 00000224: PUSH1 0x60 00000226: DUP3 00000227: ADD 00000228: MSTORE 00000229: PUSH1 0x01 0000022b: PUSH1 0xe0 0000022d: SHL 0000022e: SWAP1 0000022f: SWAP3 00000230: DIV 00000231: AND 00000232: PUSH1 0x80 00000234: DUP3 00000235: ADD 00000236: MSTORE 00000237: SWAP3 00000238: SWAP2 00000239: POP 0000023a: POP 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: PUSH2 0x013f 00000243: SWAP2 00000244: SWAP1 00000245: PUSH1 0x00 00000247: PUSH1 0xa0 00000249: DUP3 0000024a: ADD 0000024b: SWAP1 0000024c: POP 0000024d: PUSH1 0x01 0000024f: PUSH1 0x01 00000251: PUSH1 0x80 00000253: SHL 00000254: SUB 00000255: DUP4 00000256: MLOAD 00000257: AND 00000258: DUP3 00000259: MSTORE 0000025a: PUSH1 0x20 0000025c: DUP4 0000025d: ADD 0000025e: MLOAD 0000025f: PUSH4 0xffffffff 00000264: DUP1 00000265: DUP3 00000266: AND 00000267: PUSH1 0x20 00000269: DUP6 0000026a: ADD 0000026b: MSTORE 0000026c: DUP1 0000026d: PUSH1 0x40 0000026f: DUP7 00000270: ADD 00000271: MLOAD 00000272: AND 00000273: PUSH1 0x40 00000275: DUP6 00000276: ADD 00000277: MSTORE 00000278: DUP1 00000279: PUSH1 0x60 0000027b: DUP7 0000027c: ADD 0000027d: MLOAD 0000027e: AND 0000027f: PUSH1 0x60 00000281: DUP6 00000282: ADD 00000283: MSTORE 00000284: DUP1 00000285: PUSH1 0x80 00000287: DUP7 00000288: ADD 00000289: MLOAD 0000028a: AND 0000028b: PUSH1 0x80 0000028d: DUP6 0000028e: ADD 0000028f: MSTORE 00000290: POP 00000291: POP 00000292: SWAP3 00000293: SWAP2 00000294: POP 00000295: POP 00000296: JUMP 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH2 0x0302 000002a8: PUSH2 0x02b2 000002ab: CALLDATASIZE 000002ac: PUSH1 0x04 000002ae: PUSH2 0x0e7c 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH1 0x00 000002b5: PUSH1 0x20 000002b7: DUP2 000002b8: DUP2 000002b9: MSTORE 000002ba: SWAP3 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x40 000002bf: DUP1 000002c0: DUP3 000002c1: KECCAK256 000002c2: SWAP1 000002c3: SWAP4 000002c4: MSTORE 000002c5: SWAP1 000002c6: DUP2 000002c7: MSTORE 000002c8: KECCAK256 000002c9: SLOAD 000002ca: PUSH1 0x01 000002cc: PUSH1 0x01 000002ce: PUSH1 0x80 000002d0: SHL 000002d1: SUB 000002d2: DUP2 000002d3: AND 000002d4: SWAP1 000002d5: PUSH4 0xffffffff 000002da: PUSH1 0x01 000002dc: PUSH1 0x80 000002de: SHL 000002df: DUP3 000002e0: DIV 000002e1: DUP2 000002e2: AND 000002e3: SWAP2 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: SHL 000002e9: DUP2 000002ea: DIV 000002eb: DUP3 000002ec: AND 000002ed: SWAP2 000002ee: PUSH1 0x01 000002f0: PUSH1 0xc0 000002f2: SHL 000002f3: DUP3 000002f4: DIV 000002f5: DUP2 000002f6: AND 000002f7: SWAP2 000002f8: PUSH1 0x01 000002fa: PUSH1 0xe0 000002fc: SHL 000002fd: SWAP1 000002fe: DIV 000002ff: AND 00000300: DUP6 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x40 00000305: DUP1 00000306: MLOAD 00000307: PUSH1 0x01 00000309: PUSH1 0x01 0000030b: PUSH1 0x80 0000030d: SHL 0000030e: SUB 0000030f: SWAP1 00000310: SWAP7 00000311: AND 00000312: DUP7 00000313: MSTORE 00000314: PUSH4 0xffffffff 00000319: SWAP5 0000031a: DUP6 0000031b: AND 0000031c: PUSH1 0x20 0000031e: DUP8 0000031f: ADD 00000320: MSTORE 00000321: SWAP3 00000322: DUP5 00000323: AND 00000324: SWAP3 00000325: DUP6 00000326: ADD 00000327: SWAP3 00000328: SWAP1 00000329: SWAP3 0000032a: MSTORE 0000032b: DUP3 0000032c: AND 0000032d: PUSH1 0x60 0000032f: DUP5 00000330: ADD 00000331: MSTORE 00000332: AND 00000333: PUSH1 0x80 00000335: DUP3 00000336: ADD 00000337: MSTORE 00000338: PUSH1 0xa0 0000033a: ADD 0000033b: PUSH2 0x013f 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: PUSH2 0x043e 00000350: PUSH2 0x035a 00000353: CALLDATASIZE 00000354: PUSH1 0x04 00000356: PUSH2 0x0eba 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLER 0000035c: PUSH1 0x00 0000035e: SWAP1 0000035f: DUP2 00000360: MSTORE 00000361: PUSH1 0x20 00000363: DUP2 00000364: DUP2 00000365: MSTORE 00000366: PUSH1 0x40 00000368: DUP1 00000369: DUP4 0000036a: KECCAK256 0000036b: DUP7 0000036c: DUP5 0000036d: MSTORE 0000036e: DUP1 0000036f: DUP4 00000370: MSTORE 00000371: DUP2 00000372: DUP5 00000373: KECCAK256 00000374: DUP3 00000375: MLOAD 00000376: PUSH1 0xa0 00000378: DUP2 00000379: ADD 0000037a: DUP5 0000037b: MSTORE 0000037c: DUP2 0000037d: SLOAD 0000037e: PUSH1 0x01 00000380: PUSH1 0x01 00000382: PUSH1 0x80 00000384: SHL 00000385: SUB 00000386: DUP1 00000387: DUP3 00000388: AND 00000389: DUP4 0000038a: MSTORE 0000038b: PUSH1 0x01 0000038d: PUSH1 0xc0 0000038f: SHL 00000390: DUP1 00000391: DUP4 00000392: DIV 00000393: PUSH4 0xffffffff 00000398: SWAP1 00000399: DUP2 0000039a: AND 0000039b: PUSH1 0x60 0000039d: DUP7 0000039e: ADD 0000039f: SWAP1 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x01 000003a4: PUSH1 0xe0 000003a6: SHL 000003a7: DUP1 000003a8: DUP7 000003a9: DIV 000003aa: DUP4 000003ab: AND 000003ac: PUSH1 0x80 000003ae: DUP9 000003af: ADD 000003b0: SWAP1 000003b1: DUP2 000003b2: MSTORE 000003b3: SWAP14 000003b4: DUP4 000003b5: AND 000003b6: DUP8 000003b7: DUP13 000003b8: ADD 000003b9: SWAP1 000003ba: DUP2 000003bb: MSTORE 000003bc: SWAP13 000003bd: DUP4 000003be: AND 000003bf: SWAP10 000003c0: DUP8 000003c1: ADD 000003c2: SWAP10 000003c3: DUP11 000003c4: MSTORE 000003c5: SWAP14 000003c6: SWAP1 000003c7: SWAP11 000003c8: MSTORE 000003c9: SWAP6 000003ca: SWAP1 000003cb: SWAP8 000003cc: MSTORE 000003cd: SWAP2 000003ce: MLOAD 000003cf: SWAP8 000003d0: MLOAD 000003d1: SWAP5 000003d2: MLOAD 000003d3: SWAP7 000003d4: MLOAD 000003d5: SWAP9 000003d6: MLOAD 000003d7: DUP5 000003d8: AND 000003d9: SWAP1 000003da: SWAP10 000003db: MUL 000003dc: PUSH1 0x01 000003de: PUSH1 0x01 000003e0: PUSH1 0xe0 000003e2: SHL 000003e3: SUB 000003e4: SWAP9 000003e5: DUP5 000003e6: AND 000003e7: SWAP1 000003e8: SWAP6 000003e9: MUL 000003ea: PUSH4 0xffffffff 000003ef: PUSH1 0xc0 000003f1: SHL 000003f2: NOT 000003f3: SWAP7 000003f4: DUP5 000003f5: AND 000003f6: PUSH1 0x01 000003f8: PUSH1 0xa0 000003fa: SHL 000003fb: MUL 000003fc: SWAP7 000003fd: SWAP1 000003fe: SWAP7 000003ff: AND 00000400: PUSH8 0xffffffffffffffff 00000409: PUSH1 0xa0 0000040b: SHL 0000040c: NOT 0000040d: SWAP5 0000040e: SWAP1 0000040f: SWAP4 00000410: AND 00000411: PUSH1 0x01 00000413: PUSH1 0x80 00000415: SHL 00000416: MUL 00000417: PUSH1 0x01 00000419: PUSH1 0x01 0000041b: PUSH1 0xa0 0000041d: SHL 0000041e: SUB 0000041f: NOT 00000420: SWAP1 00000421: SWAP10 00000422: AND 00000423: SWAP7 00000424: AND 00000425: SWAP6 00000426: SWAP1 00000427: SWAP6 00000428: OR 00000429: SWAP7 0000042a: SWAP1 0000042b: SWAP7 0000042c: OR 0000042d: AND 0000042e: SWAP5 0000042f: SWAP1 00000430: SWAP5 00000431: OR 00000432: OR 00000433: SWAP2 00000434: SWAP1 00000435: SWAP2 00000436: AND 00000437: SWAP2 00000438: SWAP1 00000439: SWAP2 0000043a: OR 0000043b: SWAP1 0000043c: SSTORE 0000043d: JUMP 0000043e: JUMPDEST 0000043f: STOP 00000440: JUMPDEST 00000441: CALLVALUE 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: POP 0000044e: PUSH2 0x0168 00000451: PUSH2 0x045b 00000454: CALLDATASIZE 00000455: PUSH1 0x04 00000457: PUSH2 0x0e2e 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH2 0x0793 0000045f: JUMP 00000460: JUMPDEST 00000461: CALLVALUE 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: PUSH2 0x043e 00000471: PUSH2 0x047b 00000474: CALLDATASIZE 00000475: PUSH1 0x04 00000477: PUSH2 0x0f42 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH2 0x083c 0000047f: JUMP 00000480: JUMPDEST 00000481: CALLVALUE 00000482: DUP1 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: POP 0000048e: PUSH2 0x0168 00000491: PUSH2 0x049b 00000494: CALLDATASIZE 00000495: PUSH1 0x04 00000497: PUSH2 0x0e7c 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH2 0x08f1 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH2 0x043e 000004a4: PUSH2 0x04ae 000004a7: CALLDATASIZE 000004a8: PUSH1 0x04 000004aa: PUSH2 0x0fdc 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH2 0x097c 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x0168 000004c4: PUSH2 0x04ce 000004c7: CALLDATASIZE 000004c8: PUSH1 0x04 000004ca: PUSH2 0x0e2e 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x01 000004d1: PUSH1 0x01 000004d3: PUSH1 0xa0 000004d5: SHL 000004d6: SUB 000004d7: AND 000004d8: PUSH1 0x00 000004da: SWAP1 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x01 000004df: PUSH1 0x20 000004e1: MSTORE 000004e2: PUSH1 0x40 000004e4: SWAP1 000004e5: KECCAK256 000004e6: SLOAD 000004e7: PUSH1 0x01 000004e9: PUSH1 0x01 000004eb: PUSH1 0xf8 000004ed: SHL 000004ee: SUB 000004ef: AND 000004f0: SWAP1 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x0168 00000503: PUSH8 0x016345785d8a0000 0000050c: DUP2 0000050d: JUMP 0000050e: JUMPDEST 0000050f: CALLVALUE 00000510: DUP1 00000511: ISZERO 00000512: PUSH2 0x051a 00000515: JUMPI 00000516: PUSH1 0x00 00000518: DUP1 00000519: REVERT 0000051a: JUMPDEST 0000051b: POP 0000051c: PUSH2 0x054e 0000051f: PUSH2 0x0529 00000522: CALLDATASIZE 00000523: PUSH1 0x04 00000525: PUSH2 0x0e2e 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x01 0000052c: PUSH1 0x01 0000052e: PUSH1 0xa0 00000530: SHL 00000531: SUB 00000532: AND 00000533: PUSH1 0x00 00000535: SWAP1 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x01 0000053a: PUSH1 0x20 0000053c: MSTORE 0000053d: PUSH1 0x40 0000053f: SWAP1 00000540: KECCAK256 00000541: SLOAD 00000542: PUSH1 0x01 00000544: PUSH1 0xf8 00000546: SHL 00000547: SWAP1 00000548: DIV 00000549: PUSH1 0xff 0000054b: AND 0000054c: SWAP1 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: SWAP1 00000553: ISZERO 00000554: ISZERO 00000555: DUP2 00000556: MSTORE 00000557: PUSH1 0x20 00000559: ADD 0000055a: PUSH2 0x013f 0000055d: JUMP 0000055e: JUMPDEST 0000055f: CALLVALUE 00000560: DUP1 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH2 0x043e 0000056f: PUSH2 0x0579 00000572: CALLDATASIZE 00000573: PUSH1 0x04 00000575: PUSH2 0x0e2e 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH2 0x0b9a 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH2 0x043e 00000582: PUSH2 0x058c 00000585: CALLDATASIZE 00000586: PUSH1 0x04 00000588: PUSH2 0x0e7c 0000058b: JUMP 0000058c: JUMPDEST 0000058d: PUSH2 0x0bee 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH1 0x00 00000594: PUSH1 0x01 00000596: PUSH1 0x01 00000598: PUSH1 0xa0 0000059a: SHL 0000059b: SUB 0000059c: DUP3 0000059d: AND 0000059e: PUSH2 0x05a9 000005a1: JUMPI 000005a2: POP 000005a3: PUSH1 0x00 000005a5: PUSH2 0x078d 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH1 0x01 000005ac: PUSH1 0x01 000005ae: PUSH1 0xa0 000005b0: SHL 000005b1: SUB 000005b2: DUP3 000005b3: AND 000005b4: PUSH1 0x00 000005b6: SWAP1 000005b7: DUP2 000005b8: MSTORE 000005b9: PUSH1 0x01 000005bb: PUSH1 0x20 000005bd: SWAP1 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x40 000005c2: SWAP2 000005c3: DUP3 000005c4: SWAP1 000005c5: KECCAK256 000005c6: DUP3 000005c7: MLOAD 000005c8: DUP1 000005c9: DUP5 000005ca: ADD 000005cb: SWAP1 000005cc: SWAP4 000005cd: MSTORE 000005ce: SLOAD 000005cf: PUSH1 0x01 000005d1: PUSH1 0x01 000005d3: PUSH1 0xf8 000005d5: SHL 000005d6: SUB 000005d7: DUP2 000005d8: AND 000005d9: DUP4 000005da: MSTORE 000005db: PUSH1 0x01 000005dd: PUSH1 0xf8 000005df: SHL 000005e0: SWAP1 000005e1: DIV 000005e2: PUSH1 0xff 000005e4: AND 000005e5: ISZERO 000005e6: ISZERO 000005e7: SWAP1 000005e8: DUP3 000005e9: ADD 000005ea: DUP2 000005eb: SWAP1 000005ec: MSTORE 000005ed: PUSH2 0x05fa 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: SWAP2 000005f4: POP 000005f5: POP 000005f6: PUSH2 0x078d 000005f9: JUMP 000005fa: JUMPDEST 000005fb: CALLER 000005fc: PUSH1 0x00 000005fe: SWAP1 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: DUP2 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x40 00000608: DUP1 00000609: DUP4 0000060a: KECCAK256 0000060b: DUP8 0000060c: DUP5 0000060d: MSTORE 0000060e: DUP3 0000060f: MSTORE 00000610: SWAP2 00000611: DUP3 00000612: SWAP1 00000613: KECCAK256 00000614: DUP3 00000615: MLOAD 00000616: PUSH1 0xa0 00000618: DUP2 00000619: ADD 0000061a: DUP5 0000061b: MSTORE 0000061c: SWAP1 0000061d: SLOAD 0000061e: PUSH1 0x01 00000620: PUSH1 0x01 00000622: PUSH1 0x80 00000624: SHL 00000625: SUB 00000626: DUP2 00000627: AND 00000628: DUP1 00000629: DUP4 0000062a: MSTORE 0000062b: PUSH4 0xffffffff 00000630: PUSH1 0x01 00000632: PUSH1 0x80 00000634: SHL 00000635: DUP4 00000636: DIV 00000637: DUP2 00000638: AND 00000639: SWAP5 0000063a: DUP5 0000063b: ADD 0000063c: SWAP5 0000063d: SWAP1 0000063e: SWAP5 0000063f: MSTORE 00000640: PUSH1 0x01 00000642: PUSH1 0xa0 00000644: SHL 00000645: DUP3 00000646: DIV 00000647: DUP5 00000648: AND 00000649: SWAP5 0000064a: DUP4 0000064b: ADD 0000064c: SWAP5 0000064d: SWAP1 0000064e: SWAP5 0000064f: MSTORE 00000650: PUSH1 0x01 00000652: PUSH1 0xc0 00000654: SHL 00000655: DUP2 00000656: DIV 00000657: DUP4 00000658: AND 00000659: PUSH1 0x60 0000065b: DUP4 0000065c: ADD 0000065d: MSTORE 0000065e: PUSH1 0x01 00000660: PUSH1 0xe0 00000662: SHL 00000663: SWAP1 00000664: DIV 00000665: SWAP1 00000666: SWAP2 00000667: AND 00000668: PUSH1 0x80 0000066a: DUP3 0000066b: ADD 0000066c: MSTORE 0000066d: SWAP1 0000066e: PUSH2 0x067c 00000671: JUMPI 00000672: PUSH1 0x00 00000674: SWAP3 00000675: POP 00000676: POP 00000677: POP 00000678: PUSH2 0x078d 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x00 0000067f: PUSH2 0x0687 00000682: DUP3 00000683: PUSH2 0x0d7a 00000686: JUMP 00000687: JUMPDEST 00000688: SWAP1 00000689: POP 0000068a: DUP1 0000068b: ISZERO 0000068c: PUSH2 0x0788 0000068f: JUMPI 00000690: PUSH4 0xffffffff 00000695: TIMESTAMP 00000696: DUP2 00000697: AND 00000698: PUSH1 0x80 0000069a: DUP5 0000069b: ADD 0000069c: SWAP1 0000069d: DUP2 0000069e: MSTORE 0000069f: DUP4 000006a0: MLOAD 000006a1: PUSH1 0x01 000006a3: PUSH1 0x01 000006a5: PUSH1 0x80 000006a7: SHL 000006a8: SUB 000006a9: SWAP1 000006aa: DUP5 000006ab: SWAP1 000006ac: SUB 000006ad: DUP2 000006ae: AND 000006af: DUP6 000006b0: MSTORE 000006b1: DUP6 000006b2: MLOAD 000006b3: PUSH1 0x01 000006b5: PUSH1 0x01 000006b7: PUSH1 0xa0 000006b9: SHL 000006ba: SUB 000006bb: DUP10 000006bc: AND 000006bd: PUSH1 0x00 000006bf: SWAP1 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x01 000006c4: PUSH1 0x20 000006c6: SWAP1 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x40 000006cb: DUP1 000006cc: DUP4 000006cd: KECCAK256 000006ce: DUP1 000006cf: SLOAD 000006d0: PUSH1 0x01 000006d2: PUSH1 0x01 000006d4: PUSH1 0xf8 000006d6: SHL 000006d7: SUB 000006d8: SWAP6 000006d9: DUP11 000006da: ADD 000006db: SWAP6 000006dc: SWAP1 000006dd: SWAP6 000006de: AND 000006df: PUSH1 0x01 000006e1: PUSH1 0x01 000006e3: PUSH1 0xf8 000006e5: SHL 000006e6: SUB 000006e7: NOT 000006e8: SWAP1 000006e9: SWAP6 000006ea: AND 000006eb: SWAP5 000006ec: SWAP1 000006ed: SWAP5 000006ee: OR 000006ef: SWAP1 000006f0: SWAP4 000006f1: SSTORE 000006f2: CALLER 000006f3: DUP3 000006f4: MSTORE 000006f5: DUP2 000006f6: DUP2 000006f7: MSTORE 000006f8: DUP3 000006f9: DUP3 000006fa: KECCAK256 000006fb: DUP13 000006fc: DUP4 000006fd: MSTORE 000006fe: DUP2 000006ff: MSTORE 00000700: SWAP1 00000701: DUP3 00000702: SWAP1 00000703: KECCAK256 00000704: DUP8 00000705: MLOAD 00000706: DUP2 00000707: SLOAD 00000708: SWAP3 00000709: DUP10 0000070a: ADD 0000070b: MLOAD 0000070c: SWAP4 0000070d: DUP10 0000070e: ADD 0000070f: MLOAD 00000710: PUSH1 0x60 00000712: DUP11 00000713: ADD 00000714: MLOAD 00000715: SWAP7 00000716: MLOAD 00000717: DUP9 00000718: AND 00000719: PUSH1 0x01 0000071b: PUSH1 0xe0 0000071d: SHL 0000071e: MUL 0000071f: PUSH1 0x01 00000721: PUSH1 0x01 00000723: PUSH1 0xe0 00000725: SHL 00000726: SUB 00000727: SWAP8 00000728: DUP10 00000729: AND 0000072a: PUSH1 0x01 0000072c: PUSH1 0xc0 0000072e: SHL 0000072f: MUL 00000730: PUSH4 0xffffffff 00000735: PUSH1 0xc0 00000737: SHL 00000738: NOT 00000739: SWAP3 0000073a: DUP11 0000073b: AND 0000073c: PUSH1 0x01 0000073e: PUSH1 0xa0 00000740: SHL 00000741: MUL 00000742: SWAP3 00000743: SWAP1 00000744: SWAP3 00000745: AND 00000746: PUSH8 0xffffffffffffffff 0000074f: PUSH1 0xa0 00000751: SHL 00000752: NOT 00000753: SWAP7 00000754: SWAP1 00000755: SWAP10 00000756: AND 00000757: PUSH1 0x01 00000759: PUSH1 0x80 0000075b: SHL 0000075c: MUL 0000075d: PUSH1 0x01 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: SHL 00000764: SUB 00000765: NOT 00000766: SWAP1 00000767: SWAP6 00000768: AND 00000769: SWAP3 0000076a: SWAP1 0000076b: SWAP7 0000076c: AND 0000076d: SWAP2 0000076e: SWAP1 0000076f: SWAP2 00000770: OR 00000771: SWAP3 00000772: SWAP1 00000773: SWAP3 00000774: OR 00000775: SWAP3 00000776: SWAP1 00000777: SWAP3 00000778: AND 00000779: SWAP5 0000077a: SWAP1 0000077b: SWAP5 0000077c: OR 0000077d: SWAP4 0000077e: SWAP1 0000077f: SWAP4 00000780: OR 00000781: SWAP2 00000782: SWAP1 00000783: SWAP2 00000784: AND 00000785: OR 00000786: SWAP1 00000787: SSTORE 00000788: JUMPDEST 00000789: SWAP3 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: JUMPDEST 0000078e: SWAP3 0000078f: SWAP2 00000790: POP 00000791: POP 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x01 00000796: PUSH1 0x01 00000798: PUSH1 0xa0 0000079a: SHL 0000079b: SUB 0000079c: DUP2 0000079d: AND 0000079e: PUSH1 0x00 000007a0: DUP2 000007a1: DUP2 000007a2: MSTORE 000007a3: PUSH1 0x01 000007a5: PUSH1 0x20 000007a7: MSTORE 000007a8: PUSH1 0x40 000007aa: DUP1 000007ab: DUP3 000007ac: KECCAK256 000007ad: DUP1 000007ae: SLOAD 000007af: PUSH1 0x01 000007b1: PUSH1 0x01 000007b3: PUSH1 0xf8 000007b5: SHL 000007b6: SUB 000007b7: NOT 000007b8: DUP2 000007b9: AND 000007ba: SWAP1 000007bb: SWAP2 000007bc: SSTORE 000007bd: SWAP1 000007be: MLOAD 000007bf: SWAP2 000007c0: SWAP3 000007c1: PUSH1 0x01 000007c3: PUSH1 0x01 000007c5: PUSH1 0xf8 000007c7: SHL 000007c8: SUB 000007c9: SWAP1 000007ca: SWAP2 000007cb: AND 000007cc: SWAP2 000007cd: DUP4 000007ce: SWAP2 000007cf: SWAP1 000007d0: PUSH2 0x7530 000007d3: SWAP1 000007d4: DUP5 000007d5: SWAP1 000007d6: DUP5 000007d7: DUP2 000007d8: DUP2 000007d9: DUP2 000007da: DUP6 000007db: DUP9 000007dc: DUP9 000007dd: CALL 000007de: SWAP4 000007df: POP 000007e0: POP 000007e1: POP 000007e2: POP 000007e3: RETURNDATASIZE 000007e4: DUP1 000007e5: PUSH1 0x00 000007e7: DUP2 000007e8: EQ 000007e9: PUSH2 0x080e 000007ec: JUMPI 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: SWAP2 000007f1: POP 000007f2: PUSH1 0x1f 000007f4: NOT 000007f5: PUSH1 0x3f 000007f7: RETURNDATASIZE 000007f8: ADD 000007f9: AND 000007fa: DUP3 000007fb: ADD 000007fc: PUSH1 0x40 000007fe: MSTORE 000007ff: RETURNDATASIZE 00000800: DUP3 00000801: MSTORE 00000802: RETURNDATASIZE 00000803: PUSH1 0x00 00000805: PUSH1 0x20 00000807: DUP5 00000808: ADD 00000809: RETURNDATACOPY 0000080a: PUSH2 0x0813 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH1 0x60 00000811: SWAP2 00000812: POP 00000813: JUMPDEST 00000814: POP 00000815: POP 00000816: SWAP1 00000817: POP 00000818: DUP1 00000819: PUSH2 0x0835 0000081c: JUMPI 0000081d: PUSH1 0x40 0000081f: MLOAD 00000820: PUSH4 0x0db2c7f1 00000825: PUSH1 0xe3 00000827: SHL 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x04 0000082c: ADD 0000082d: PUSH1 0x40 0000082f: MLOAD 00000830: DUP1 00000831: SWAP2 00000832: SUB 00000833: SWAP1 00000834: REVERT 00000835: JUMPDEST 00000836: POP 00000837: SWAP3 00000838: SWAP2 00000839: POP 0000083a: POP 0000083b: JUMP 0000083c: JUMPDEST 0000083d: DUP5 0000083e: DUP4 0000083f: DUP2 00000840: EQ 00000841: ISZERO 00000842: DUP1 00000843: PUSH2 0x084c 00000846: JUMPI 00000847: POP 00000848: DUP1 00000849: DUP3 0000084a: EQ 0000084b: ISZERO 0000084c: JUMPDEST 0000084d: ISZERO 0000084e: PUSH2 0x086a 00000851: JUMPI 00000852: PUSH1 0x40 00000854: MLOAD 00000855: PUSH4 0x14058779 0000085a: PUSH1 0xe1 0000085c: SHL 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x04 00000861: ADD 00000862: PUSH1 0x40 00000864: MLOAD 00000865: DUP1 00000866: SWAP2 00000867: SUB 00000868: SWAP1 00000869: REVERT 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: JUMPDEST 0000086e: DUP2 0000086f: DUP2 00000870: LT 00000871: ISZERO 00000872: PUSH2 0x08e7 00000875: JUMPI 00000876: PUSH2 0x08df 00000879: DUP9 0000087a: DUP9 0000087b: DUP4 0000087c: DUP2 0000087d: DUP2 0000087e: LT 0000087f: PUSH2 0x088a 00000882: JUMPI 00000883: PUSH2 0x088a 00000886: PUSH2 0x100f 00000889: JUMP 0000088a: JUMPDEST 0000088b: SWAP1 0000088c: POP 0000088d: PUSH1 0x20 0000088f: MUL 00000890: ADD 00000891: CALLDATALOAD 00000892: DUP8 00000893: DUP8 00000894: DUP5 00000895: DUP2 00000896: DUP2 00000897: LT 00000898: PUSH2 0x08a3 0000089b: JUMPI 0000089c: PUSH2 0x08a3 0000089f: PUSH2 0x100f 000008a2: JUMP 000008a3: JUMPDEST 000008a4: SWAP1 000008a5: POP 000008a6: PUSH1 0x20 000008a8: MUL 000008a9: ADD 000008aa: PUSH1 0x20 000008ac: DUP2 000008ad: ADD 000008ae: SWAP1 000008af: PUSH2 0x08b8 000008b2: SWAP2 000008b3: SWAP1 000008b4: PUSH2 0x1025 000008b7: JUMP 000008b8: JUMPDEST 000008b9: DUP7 000008ba: DUP7 000008bb: DUP6 000008bc: DUP2 000008bd: DUP2 000008be: LT 000008bf: PUSH2 0x08ca 000008c2: JUMPI 000008c3: PUSH2 0x08ca 000008c6: PUSH2 0x100f 000008c9: JUMP 000008ca: JUMPDEST 000008cb: SWAP1 000008cc: POP 000008cd: PUSH1 0x20 000008cf: MUL 000008d0: ADD 000008d1: PUSH1 0x20 000008d3: DUP2 000008d4: ADD 000008d5: SWAP1 000008d6: PUSH2 0x035a 000008d9: SWAP2 000008da: SWAP1 000008db: PUSH2 0x1025 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0x01 000008e2: ADD 000008e3: PUSH2 0x086d 000008e6: JUMP 000008e7: JUMPDEST 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: POP 000008ee: POP 000008ef: POP 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH1 0x01 000008f4: PUSH1 0x01 000008f6: PUSH1 0xa0 000008f8: SHL 000008f9: SUB 000008fa: DUP3 000008fb: AND 000008fc: PUSH1 0x00 000008fe: SWAP1 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: DUP2 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x40 00000908: DUP1 00000909: DUP4 0000090a: KECCAK256 0000090b: DUP5 0000090c: DUP5 0000090d: MSTORE 0000090e: DUP3 0000090f: MSTORE 00000910: DUP1 00000911: DUP4 00000912: KECCAK256 00000913: DUP2 00000914: MLOAD 00000915: PUSH1 0xa0 00000917: DUP2 00000918: ADD 00000919: DUP4 0000091a: MSTORE 0000091b: SWAP1 0000091c: SLOAD 0000091d: PUSH1 0x01 0000091f: PUSH1 0x01 00000921: PUSH1 0x80 00000923: SHL 00000924: SUB 00000925: DUP2 00000926: AND 00000927: DUP3 00000928: MSTORE 00000929: PUSH4 0xffffffff 0000092e: PUSH1 0x01 00000930: PUSH1 0x80 00000932: SHL 00000933: DUP3 00000934: DIV 00000935: DUP2 00000936: AND 00000937: SWAP5 00000938: DUP4 00000939: ADD 0000093a: SWAP5 0000093b: SWAP1 0000093c: SWAP5 0000093d: MSTORE 0000093e: PUSH1 0x01 00000940: PUSH1 0xa0 00000942: SHL 00000943: DUP2 00000944: DIV 00000945: DUP5 00000946: AND 00000947: SWAP3 00000948: DUP3 00000949: ADD 0000094a: SWAP3 0000094b: SWAP1 0000094c: SWAP3 0000094d: MSTORE 0000094e: PUSH1 0x01 00000950: PUSH1 0xc0 00000952: SHL 00000953: DUP3 00000954: DIV 00000955: DUP4 00000956: AND 00000957: PUSH1 0x60 00000959: DUP3 0000095a: ADD 0000095b: MSTORE 0000095c: PUSH1 0x01 0000095e: PUSH1 0xe0 00000960: SHL 00000961: SWAP1 00000962: SWAP2 00000963: DIV 00000964: SWAP1 00000965: SWAP2 00000966: AND 00000967: PUSH1 0x80 00000969: DUP3 0000096a: ADD 0000096b: MSTORE 0000096c: PUSH2 0x0974 0000096f: DUP2 00000970: PUSH2 0x0d7a 00000973: JUMP 00000974: JUMPDEST 00000975: SWAP5 00000976: SWAP4 00000977: POP 00000978: POP 00000979: POP 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH8 0x016345785d8a0000 00000986: CALLVALUE 00000987: LT 00000988: ISZERO 00000989: PUSH2 0x09a5 0000098c: JUMPI 0000098d: PUSH1 0x40 0000098f: MLOAD 00000990: PUSH4 0x5ad8650f 00000995: PUSH1 0xe0 00000997: SHL 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x04 0000099c: ADD 0000099d: PUSH1 0x40 0000099f: MLOAD 000009a0: DUP1 000009a1: SWAP2 000009a2: SUB 000009a3: SWAP1 000009a4: REVERT 000009a5: JUMPDEST 000009a6: PUSH1 0x01 000009a8: PUSH1 0x01 000009aa: PUSH1 0xa0 000009ac: SHL 000009ad: SUB 000009ae: DUP4 000009af: AND 000009b0: PUSH1 0x00 000009b2: SWAP1 000009b3: DUP2 000009b4: MSTORE 000009b5: PUSH1 0x20 000009b7: DUP2 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x40 000009bc: DUP1 000009bd: DUP4 000009be: KECCAK256 000009bf: DUP6 000009c0: DUP5 000009c1: MSTORE 000009c2: DUP3 000009c3: MSTORE 000009c4: SWAP2 000009c5: DUP3 000009c6: SWAP1 000009c7: KECCAK256 000009c8: DUP3 000009c9: MLOAD 000009ca: PUSH1 0xa0 000009cc: DUP2 000009cd: ADD 000009ce: DUP5 000009cf: MSTORE 000009d0: SWAP1 000009d1: SLOAD 000009d2: PUSH1 0x01 000009d4: PUSH1 0x01 000009d6: PUSH1 0x80 000009d8: SHL 000009d9: SUB 000009da: DUP2 000009db: AND 000009dc: DUP3 000009dd: MSTORE 000009de: PUSH4 0xffffffff 000009e3: PUSH1 0x01 000009e5: PUSH1 0x80 000009e7: SHL 000009e8: DUP3 000009e9: DIV 000009ea: DUP2 000009eb: AND 000009ec: SWAP4 000009ed: DUP4 000009ee: ADD 000009ef: SWAP4 000009f0: SWAP1 000009f1: SWAP4 000009f2: MSTORE 000009f3: PUSH1 0x01 000009f5: PUSH1 0xa0 000009f7: SHL 000009f8: DUP2 000009f9: DIV 000009fa: DUP4 000009fb: AND 000009fc: SWAP4 000009fd: DUP3 000009fe: ADD 000009ff: DUP5 00000a00: SWAP1 00000a01: MSTORE 00000a02: PUSH1 0x01 00000a04: PUSH1 0xc0 00000a06: SHL 00000a07: DUP2 00000a08: DIV 00000a09: DUP4 00000a0a: AND 00000a0b: PUSH1 0x60 00000a0d: DUP4 00000a0e: ADD 00000a0f: MSTORE 00000a10: PUSH1 0x01 00000a12: PUSH1 0xe0 00000a14: SHL 00000a15: SWAP1 00000a16: DIV 00000a17: DUP3 00000a18: AND 00000a19: PUSH1 0x80 00000a1b: DUP3 00000a1c: ADD 00000a1d: MSTORE 00000a1e: SWAP2 00000a1f: SWAP1 00000a20: DUP4 00000a21: AND 00000a22: LT 00000a23: ISZERO 00000a24: PUSH2 0x0a40 00000a27: JUMPI 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: PUSH4 0xdbfde041 00000a30: PUSH1 0xe0 00000a32: SHL 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x04 00000a37: ADD 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP1 00000a3c: SWAP2 00000a3d: SUB 00000a3e: SWAP1 00000a3f: REVERT 00000a40: JUMPDEST 00000a41: DUP1 00000a42: MLOAD 00000a43: PUSH1 0x01 00000a45: PUSH1 0x01 00000a47: PUSH1 0x80 00000a49: SHL 00000a4a: SUB 00000a4b: AND 00000a4c: ISZERO 00000a4d: PUSH2 0x0a69 00000a50: JUMPI 00000a51: PUSH1 0x40 00000a53: MLOAD 00000a54: PUSH4 0x1d7e6001 00000a59: PUSH1 0xe0 00000a5b: SHL 00000a5c: DUP2 00000a5d: MSTORE 00000a5e: PUSH1 0x04 00000a60: ADD 00000a61: PUSH1 0x40 00000a63: MLOAD 00000a64: DUP1 00000a65: SWAP2 00000a66: SUB 00000a67: SWAP1 00000a68: REVERT 00000a69: JUMPDEST 00000a6a: PUSH1 0x20 00000a6c: DUP2 00000a6d: ADD 00000a6e: MLOAD 00000a6f: PUSH4 0xffffffff 00000a74: AND 00000a75: PUSH2 0x0a91 00000a78: JUMPI 00000a79: PUSH1 0x40 00000a7b: MLOAD 00000a7c: PUSH4 0x03f5dadb 00000a81: PUSH1 0xe1 00000a83: SHL 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x04 00000a88: ADD 00000a89: PUSH1 0x40 00000a8b: MLOAD 00000a8c: DUP1 00000a8d: SWAP2 00000a8e: SUB 00000a8f: SWAP1 00000a90: REVERT 00000a91: JUMPDEST 00000a92: PUSH1 0x01 00000a94: PUSH1 0x01 00000a96: PUSH1 0x80 00000a98: SHL 00000a99: SUB 00000a9a: CALLVALUE 00000a9b: DUP2 00000a9c: AND 00000a9d: DUP3 00000a9e: MSTORE 00000a9f: PUSH4 0xffffffff 00000aa4: TIMESTAMP 00000aa5: DUP2 00000aa6: AND 00000aa7: PUSH1 0x80 00000aa9: DUP5 00000aaa: ADD 00000aab: SWAP1 00000aac: DUP2 00000aad: MSTORE 00000aae: DUP5 00000aaf: DUP3 00000ab0: AND 00000ab1: PUSH1 0x60 00000ab3: DUP6 00000ab4: ADD 00000ab5: SWAP1 00000ab6: DUP2 00000ab7: MSTORE 00000ab8: PUSH1 0x01 00000aba: PUSH1 0x01 00000abc: PUSH1 0xa0 00000abe: SHL 00000abf: SUB 00000ac0: DUP9 00000ac1: AND 00000ac2: PUSH1 0x00 00000ac4: DUP2 00000ac5: DUP2 00000ac6: MSTORE 00000ac7: PUSH1 0x20 00000ac9: DUP2 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x40 00000ace: DUP1 00000acf: DUP4 00000ad0: KECCAK256 00000ad1: DUP12 00000ad2: DUP5 00000ad3: MSTORE 00000ad4: DUP3 00000ad5: MSTORE 00000ad6: SWAP2 00000ad7: DUP3 00000ad8: SWAP1 00000ad9: KECCAK256 00000ada: DUP9 00000adb: MLOAD 00000adc: DUP2 00000add: SLOAD 00000ade: DUP4 00000adf: DUP12 00000ae0: ADD 00000ae1: MLOAD 00000ae2: DUP6 00000ae3: DUP13 00000ae4: ADD 00000ae5: MLOAD 00000ae6: SWAP8 00000ae7: MLOAD 00000ae8: SWAP9 00000ae9: MLOAD 00000aea: DUP11 00000aeb: AND 00000aec: PUSH1 0x01 00000aee: PUSH1 0xe0 00000af0: SHL 00000af1: MUL 00000af2: PUSH1 0x01 00000af4: PUSH1 0x01 00000af6: PUSH1 0xe0 00000af8: SHL 00000af9: SUB 00000afa: SWAP10 00000afb: DUP12 00000afc: AND 00000afd: PUSH1 0x01 00000aff: PUSH1 0xc0 00000b01: SHL 00000b02: DUP2 00000b03: MUL 00000b04: PUSH4 0xffffffff 00000b09: PUSH1 0xc0 00000b0b: SHL 00000b0c: NOT 00000b0d: SWAP11 00000b0e: DUP14 00000b0f: AND 00000b10: PUSH1 0x01 00000b12: PUSH1 0xa0 00000b14: SHL 00000b15: MUL 00000b16: SWAP11 00000b17: SWAP1 00000b18: SWAP11 00000b19: AND 00000b1a: PUSH8 0xffffffffffffffff 00000b23: PUSH1 0xa0 00000b25: SHL 00000b26: NOT 00000b27: SWAP4 00000b28: SWAP1 00000b29: SWAP13 00000b2a: AND 00000b2b: PUSH1 0x01 00000b2d: PUSH1 0x80 00000b2f: SHL 00000b30: MUL 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: NOT 00000b3a: SWAP1 00000b3b: SWAP5 00000b3c: AND 00000b3d: SWAP5 00000b3e: SWAP1 00000b3f: SWAP13 00000b40: AND 00000b41: SWAP4 00000b42: DUP5 00000b43: OR 00000b44: SWAP3 00000b45: SWAP1 00000b46: SWAP3 00000b47: OR 00000b48: AND 00000b49: SWAP9 00000b4a: SWAP1 00000b4b: SWAP9 00000b4c: OR 00000b4d: SWAP6 00000b4e: SWAP1 00000b4f: SWAP6 00000b50: OR 00000b51: SWAP6 00000b52: SWAP1 00000b53: SWAP6 00000b54: AND 00000b55: SWAP6 00000b56: SWAP1 00000b57: SWAP6 00000b58: OR 00000b59: SWAP1 00000b5a: SWAP4 00000b5b: SSTORE 00000b5c: DUP3 00000b5d: MLOAD 00000b5e: SWAP2 00000b5f: DUP3 00000b60: MSTORE 00000b61: SWAP3 00000b62: DUP2 00000b63: ADD 00000b64: SWAP4 00000b65: SWAP1 00000b66: SWAP4 00000b67: MSTORE 00000b68: DUP6 00000b69: SWAP3 00000b6a: PUSH32 0xc7ccf1c64c4042698d507e091e05db64dfd85677f3d786c1582ce7cc72d8a157 00000b8b: SWAP2 00000b8c: ADD 00000b8d: PUSH1 0x40 00000b8f: MLOAD 00000b90: DUP1 00000b91: SWAP2 00000b92: SUB 00000b93: SWAP1 00000b94: LOG3 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0x01 00000b9f: PUSH1 0xa0 00000ba1: SHL 00000ba2: SUB 00000ba3: DUP2 00000ba4: AND 00000ba5: PUSH1 0x00 00000ba7: DUP2 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x01 00000bac: PUSH1 0x20 00000bae: MSTORE 00000baf: PUSH1 0x40 00000bb1: DUP1 00000bb2: DUP3 00000bb3: KECCAK256 00000bb4: DUP1 00000bb5: SLOAD 00000bb6: PUSH1 0x01 00000bb8: PUSH1 0x01 00000bba: PUSH1 0xf8 00000bbc: SHL 00000bbd: SUB 00000bbe: AND 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xf8 00000bc3: SHL 00000bc4: OR 00000bc5: SWAP1 00000bc6: SSTORE 00000bc7: MLOAD 00000bc8: PUSH32 0x329ad8638175cf0ec9495317a92731a014f08f8ea5ae6446aaa77bdd21a0f83c 00000be9: SWAP2 00000bea: SWAP1 00000beb: LOG2 00000bec: POP 00000bed: JUMP 00000bee: JUMPDEST 00000bef: PUSH1 0x01 00000bf1: PUSH1 0x01 00000bf3: PUSH1 0xa0 00000bf5: SHL 00000bf6: SUB 00000bf7: DUP3 00000bf8: AND 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x20 00000c00: DUP2 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x40 00000c05: DUP1 00000c06: DUP4 00000c07: KECCAK256 00000c08: DUP5 00000c09: DUP5 00000c0a: MSTORE 00000c0b: DUP3 00000c0c: MSTORE 00000c0d: SWAP2 00000c0e: DUP3 00000c0f: SWAP1 00000c10: KECCAK256 00000c11: DUP3 00000c12: MLOAD 00000c13: PUSH1 0xa0 00000c15: DUP2 00000c16: ADD 00000c17: DUP5 00000c18: MSTORE 00000c19: SWAP1 00000c1a: SLOAD 00000c1b: PUSH1 0x01 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0x80 00000c21: SHL 00000c22: SUB 00000c23: DUP2 00000c24: AND 00000c25: DUP1 00000c26: DUP4 00000c27: MSTORE 00000c28: PUSH4 0xffffffff 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0x80 00000c31: SHL 00000c32: DUP4 00000c33: DIV 00000c34: DUP2 00000c35: AND 00000c36: SWAP5 00000c37: DUP5 00000c38: ADD 00000c39: SWAP5 00000c3a: SWAP1 00000c3b: SWAP5 00000c3c: MSTORE 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: SHL 00000c42: DUP3 00000c43: DIV 00000c44: DUP5 00000c45: AND 00000c46: SWAP5 00000c47: DUP4 00000c48: ADD 00000c49: SWAP5 00000c4a: SWAP1 00000c4b: SWAP5 00000c4c: MSTORE 00000c4d: PUSH1 0x01 00000c4f: PUSH1 0xc0 00000c51: SHL 00000c52: DUP2 00000c53: DIV 00000c54: DUP4 00000c55: AND 00000c56: PUSH1 0x60 00000c58: DUP4 00000c59: ADD 00000c5a: MSTORE 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0xe0 00000c5f: SHL 00000c60: SWAP1 00000c61: DIV 00000c62: SWAP1 00000c63: SWAP2 00000c64: AND 00000c65: PUSH1 0x80 00000c67: DUP3 00000c68: ADD 00000c69: MSTORE 00000c6a: SWAP1 00000c6b: PUSH2 0x0c87 00000c6e: JUMPI 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: PUSH4 0x8f3e9f99 00000c77: PUSH1 0xe0 00000c79: SHL 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x04 00000c7e: ADD 00000c7f: PUSH1 0x40 00000c81: MLOAD 00000c82: DUP1 00000c83: SWAP2 00000c84: SUB 00000c85: SWAP1 00000c86: REVERT 00000c87: JUMPDEST 00000c88: DUP1 00000c89: MLOAD 00000c8a: CALLVALUE 00000c8b: ADD 00000c8c: PUSH1 0x01 00000c8e: PUSH1 0x01 00000c90: PUSH1 0x80 00000c92: SHL 00000c93: SUB 00000c94: SWAP1 00000c95: DUP2 00000c96: AND 00000c97: DUP3 00000c98: MSTORE 00000c99: PUSH1 0x01 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0xa0 00000c9f: SHL 00000ca0: SUB 00000ca1: DUP5 00000ca2: AND 00000ca3: PUSH1 0x00 00000ca5: DUP2 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH1 0x20 00000caa: DUP2 00000cab: DUP2 00000cac: MSTORE 00000cad: PUSH1 0x40 00000caf: DUP1 00000cb0: DUP4 00000cb1: KECCAK256 00000cb2: DUP8 00000cb3: DUP5 00000cb4: MSTORE 00000cb5: DUP3 00000cb6: MSTORE 00000cb7: SWAP2 00000cb8: DUP3 00000cb9: SWAP1 00000cba: KECCAK256 00000cbb: DUP6 00000cbc: MLOAD 00000cbd: DUP2 00000cbe: SLOAD 00000cbf: DUP4 00000cc0: DUP9 00000cc1: ADD 00000cc2: MLOAD 00000cc3: DUP6 00000cc4: DUP10 00000cc5: ADD 00000cc6: MLOAD 00000cc7: PUSH1 0x60 00000cc9: DUP11 00000cca: ADD 00000ccb: MLOAD 00000ccc: PUSH1 0x80 00000cce: DUP12 00000ccf: ADD 00000cd0: MLOAD 00000cd1: SWAP5 00000cd2: SWAP1 00000cd3: SWAP10 00000cd4: AND 00000cd5: PUSH1 0x01 00000cd7: PUSH1 0x01 00000cd9: PUSH1 0xa0 00000cdb: SHL 00000cdc: SUB 00000cdd: NOT 00000cde: SWAP1 00000cdf: SWAP4 00000ce0: AND 00000ce1: DUP4 00000ce2: OR 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0x80 00000ce7: SHL 00000ce8: PUSH4 0xffffffff 00000ced: SWAP4 00000cee: DUP5 00000cef: AND 00000cf0: MUL 00000cf1: OR 00000cf2: PUSH8 0xffffffffffffffff 00000cfb: PUSH1 0xa0 00000cfd: SHL 00000cfe: NOT 00000cff: AND 00000d00: PUSH1 0x01 00000d02: PUSH1 0xa0 00000d04: SHL 00000d05: SWAP2 00000d06: DUP4 00000d07: AND 00000d08: SWAP2 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: MUL 00000d0c: PUSH4 0xffffffff 00000d11: PUSH1 0xc0 00000d13: SHL 00000d14: NOT 00000d15: AND 00000d16: OR 00000d17: PUSH1 0x01 00000d19: PUSH1 0xc0 00000d1b: SHL 00000d1c: SWAP9 00000d1d: DUP3 00000d1e: AND 00000d1f: SWAP9 00000d20: DUP10 00000d21: MUL 00000d22: OR 00000d23: PUSH1 0x01 00000d25: PUSH1 0x01 00000d27: PUSH1 0xe0 00000d29: SHL 00000d2a: SUB 00000d2b: AND 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xe0 00000d30: SHL 00000d31: SWAP2 00000d32: SWAP1 00000d33: SWAP4 00000d34: AND 00000d35: MUL 00000d36: SWAP2 00000d37: SWAP1 00000d38: SWAP2 00000d39: OR 00000d3a: SWAP1 00000d3b: SWAP2 00000d3c: SSTORE 00000d3d: DUP3 00000d3e: MLOAD 00000d3f: SWAP1 00000d40: DUP2 00000d41: MSTORE 00000d42: SWAP1 00000d43: DUP2 00000d44: ADD 00000d45: SWAP4 00000d46: SWAP1 00000d47: SWAP4 00000d48: MSTORE 00000d49: DUP5 00000d4a: SWAP3 00000d4b: PUSH32 0xc7ccf1c64c4042698d507e091e05db64dfd85677f3d786c1582ce7cc72d8a157 00000d6c: SWAP2 00000d6d: ADD 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: DUP1 00000d72: SWAP2 00000d73: SUB 00000d74: SWAP1 00000d75: LOG3 00000d76: POP 00000d77: POP 00000d78: POP 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: PUSH1 0x80 00000d7d: DUP2 00000d7e: ADD 00000d7f: MLOAD 00000d80: PUSH1 0x00 00000d82: SWAP1 00000d83: PUSH4 0xffffffff 00000d88: AND 00000d89: TIMESTAMP 00000d8a: DUP2 00000d8b: DUP2 00000d8c: SUB 00000d8d: SWAP2 00000d8e: EQ 00000d8f: PUSH2 0x0e09 00000d92: JUMPI 00000d93: PUSH1 0x00 00000d95: PUSH1 0x3c 00000d97: DUP5 00000d98: PUSH1 0x60 00000d9a: ADD 00000d9b: MLOAD 00000d9c: PUSH4 0xffffffff 00000da1: AND 00000da2: DUP4 00000da3: MUL 00000da4: DUP2 00000da5: PUSH2 0x0db0 00000da8: JUMPI 00000da9: PUSH2 0x0db0 00000dac: PUSH2 0x1040 00000daf: JUMP 00000db0: JUMPDEST 00000db1: DIV 00000db2: SWAP1 00000db3: POP 00000db4: PUSH1 0x00 00000db6: BASEFEE 00000db7: DUP6 00000db8: PUSH1 0x20 00000dba: ADD 00000dbb: MLOAD 00000dbc: PUSH4 0xffffffff 00000dc1: AND 00000dc2: DUP4 00000dc3: LT 00000dc4: PUSH2 0x0dd7 00000dc7: JUMPI 00000dc8: DUP6 00000dc9: PUSH1 0x20 00000dcb: ADD 00000dcc: MLOAD 00000dcd: PUSH4 0xffffffff 00000dd2: AND 00000dd3: PUSH2 0x0dd9 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: DUP3 00000dd9: JUMPDEST 00000dda: DUP7 00000ddb: MLOAD 00000ddc: SWAP2 00000ddd: MUL 00000dde: SWAP2 00000ddf: POP 00000de0: PUSH1 0x01 00000de2: PUSH1 0x01 00000de4: PUSH1 0x80 00000de6: SHL 00000de7: SUB 00000de8: AND 00000de9: DUP2 00000dea: LT 00000deb: PUSH2 0x0dfe 00000dee: JUMPI 00000def: DUP5 00000df0: MLOAD 00000df1: PUSH1 0x01 00000df3: PUSH1 0x01 00000df5: PUSH1 0x80 00000df7: SHL 00000df8: SUB 00000df9: AND 00000dfa: PUSH2 0x0e00 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: DUP1 00000e00: JUMPDEST 00000e01: SWAP6 00000e02: SWAP5 00000e03: POP 00000e04: POP 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: POP 00000e0b: PUSH1 0x00 00000e0d: SWAP3 00000e0e: SWAP2 00000e0f: POP 00000e10: POP 00000e11: JUMP 00000e12: JUMPDEST 00000e13: DUP1 00000e14: CALLDATALOAD 00000e15: PUSH1 0x01 00000e17: PUSH1 0x01 00000e19: PUSH1 0xa0 00000e1b: SHL 00000e1c: SUB 00000e1d: DUP2 00000e1e: AND 00000e1f: DUP2 00000e20: EQ 00000e21: PUSH2 0x0e29 00000e24: JUMPI 00000e25: PUSH1 0x00 00000e27: DUP1 00000e28: REVERT 00000e29: JUMPDEST 00000e2a: SWAP2 00000e2b: SWAP1 00000e2c: POP 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH1 0x00 00000e31: PUSH1 0x20 00000e33: DUP3 00000e34: DUP5 00000e35: SUB 00000e36: SLT 00000e37: ISZERO 00000e38: PUSH2 0x0e40 00000e3b: JUMPI 00000e3c: PUSH1 0x00 00000e3e: DUP1 00000e3f: REVERT 00000e40: JUMPDEST 00000e41: PUSH2 0x0e49 00000e44: DUP3 00000e45: PUSH2 0x0e12 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: SWAP4 00000e4b: SWAP3 00000e4c: POP 00000e4d: POP 00000e4e: POP 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x00 00000e53: DUP1 00000e54: PUSH1 0x40 00000e56: DUP4 00000e57: DUP6 00000e58: SUB 00000e59: SLT 00000e5a: ISZERO 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: DUP3 00000e65: CALLDATALOAD 00000e66: SWAP2 00000e67: POP 00000e68: PUSH2 0x0e73 00000e6b: PUSH1 0x20 00000e6d: DUP5 00000e6e: ADD 00000e6f: PUSH2 0x0e12 00000e72: JUMP 00000e73: JUMPDEST 00000e74: SWAP1 00000e75: POP 00000e76: SWAP3 00000e77: POP 00000e78: SWAP3 00000e79: SWAP1 00000e7a: POP 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: PUSH1 0x00 00000e7f: DUP1 00000e80: PUSH1 0x40 00000e82: DUP4 00000e83: DUP6 00000e84: SUB 00000e85: SLT 00000e86: ISZERO 00000e87: PUSH2 0x0e8f 00000e8a: JUMPI 00000e8b: PUSH1 0x00 00000e8d: DUP1 00000e8e: REVERT 00000e8f: JUMPDEST 00000e90: PUSH2 0x0e98 00000e93: DUP4 00000e94: PUSH2 0x0e12 00000e97: JUMP 00000e98: JUMPDEST 00000e99: SWAP5 00000e9a: PUSH1 0x20 00000e9c: SWAP4 00000e9d: SWAP1 00000e9e: SWAP4 00000e9f: ADD 00000ea0: CALLDATALOAD 00000ea1: SWAP4 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: DUP1 00000ea8: CALLDATALOAD 00000ea9: PUSH4 0xffffffff 00000eae: DUP2 00000eaf: AND 00000eb0: DUP2 00000eb1: EQ 00000eb2: PUSH2 0x0e29 00000eb5: JUMPI 00000eb6: PUSH1 0x00 00000eb8: DUP1 00000eb9: REVERT 00000eba: JUMPDEST 00000ebb: PUSH1 0x00 00000ebd: DUP1 00000ebe: PUSH1 0x00 00000ec0: PUSH1 0x60 00000ec2: DUP5 00000ec3: DUP7 00000ec4: SUB 00000ec5: SLT 00000ec6: ISZERO 00000ec7: PUSH2 0x0ecf 00000eca: JUMPI 00000ecb: PUSH1 0x00 00000ecd: DUP1 00000ece: REVERT 00000ecf: JUMPDEST 00000ed0: DUP4 00000ed1: CALLDATALOAD 00000ed2: SWAP3 00000ed3: POP 00000ed4: PUSH2 0x0edf 00000ed7: PUSH1 0x20 00000ed9: DUP6 00000eda: ADD 00000edb: PUSH2 0x0ea6 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: SWAP2 00000ee1: POP 00000ee2: PUSH2 0x0eed 00000ee5: PUSH1 0x40 00000ee7: DUP6 00000ee8: ADD 00000ee9: PUSH2 0x0ea6 00000eec: JUMP 00000eed: JUMPDEST 00000eee: SWAP1 00000eef: POP 00000ef0: SWAP3 00000ef1: POP 00000ef2: SWAP3 00000ef3: POP 00000ef4: SWAP3 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: PUSH1 0x00 00000ef9: DUP1 00000efa: DUP4 00000efb: PUSH1 0x1f 00000efd: DUP5 00000efe: ADD 00000eff: SLT 00000f00: PUSH2 0x0f08 00000f03: JUMPI 00000f04: PUSH1 0x00 00000f06: DUP1 00000f07: REVERT 00000f08: JUMPDEST 00000f09: POP 00000f0a: DUP2 00000f0b: CALLDATALOAD 00000f0c: PUSH8 0xffffffffffffffff 00000f15: DUP2 00000f16: GT 00000f17: ISZERO 00000f18: PUSH2 0x0f20 00000f1b: JUMPI 00000f1c: PUSH1 0x00 00000f1e: DUP1 00000f1f: REVERT 00000f20: JUMPDEST 00000f21: PUSH1 0x20 00000f23: DUP4 00000f24: ADD 00000f25: SWAP2 00000f26: POP 00000f27: DUP4 00000f28: PUSH1 0x20 00000f2a: DUP3 00000f2b: PUSH1 0x05 00000f2d: SHL 00000f2e: DUP6 00000f2f: ADD 00000f30: ADD 00000f31: GT 00000f32: ISZERO 00000f33: PUSH2 0x0f3b 00000f36: JUMPI 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: SWAP3 00000f3d: POP 00000f3e: SWAP3 00000f3f: SWAP1 00000f40: POP 00000f41: JUMP 00000f42: JUMPDEST 00000f43: PUSH1 0x00 00000f45: DUP1 00000f46: PUSH1 0x00 00000f48: DUP1 00000f49: PUSH1 0x00 00000f4b: DUP1 00000f4c: PUSH1 0x60 00000f4e: DUP8 00000f4f: DUP10 00000f50: SUB 00000f51: SLT 00000f52: ISZERO 00000f53: PUSH2 0x0f5b 00000f56: JUMPI 00000f57: PUSH1 0x00 00000f59: DUP1 00000f5a: REVERT 00000f5b: JUMPDEST 00000f5c: DUP7 00000f5d: CALLDATALOAD 00000f5e: PUSH8 0xffffffffffffffff 00000f67: DUP1 00000f68: DUP3 00000f69: GT 00000f6a: ISZERO 00000f6b: PUSH2 0x0f73 00000f6e: JUMPI 00000f6f: PUSH1 0x00 00000f71: DUP1 00000f72: REVERT 00000f73: JUMPDEST 00000f74: PUSH2 0x0f7f 00000f77: DUP11 00000f78: DUP4 00000f79: DUP12 00000f7a: ADD 00000f7b: PUSH2 0x0ef6 00000f7e: JUMP 00000f7f: JUMPDEST 00000f80: SWAP1 00000f81: SWAP9 00000f82: POP 00000f83: SWAP7 00000f84: POP 00000f85: PUSH1 0x20 00000f87: DUP10 00000f88: ADD 00000f89: CALLDATALOAD 00000f8a: SWAP2 00000f8b: POP 00000f8c: DUP1 00000f8d: DUP3 00000f8e: GT 00000f8f: ISZERO 00000f90: PUSH2 0x0f98 00000f93: JUMPI 00000f94: PUSH1 0x00 00000f96: DUP1 00000f97: REVERT 00000f98: JUMPDEST 00000f99: PUSH2 0x0fa4 00000f9c: DUP11 00000f9d: DUP4 00000f9e: DUP12 00000f9f: ADD 00000fa0: PUSH2 0x0ef6 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: SWAP1 00000fa6: SWAP7 00000fa7: POP 00000fa8: SWAP5 00000fa9: POP 00000faa: PUSH1 0x40 00000fac: DUP10 00000fad: ADD 00000fae: CALLDATALOAD 00000faf: SWAP2 00000fb0: POP 00000fb1: DUP1 00000fb2: DUP3 00000fb3: GT 00000fb4: ISZERO 00000fb5: PUSH2 0x0fbd 00000fb8: JUMPI 00000fb9: PUSH1 0x00 00000fbb: DUP1 00000fbc: REVERT 00000fbd: JUMPDEST 00000fbe: POP 00000fbf: PUSH2 0x0fca 00000fc2: DUP10 00000fc3: DUP3 00000fc4: DUP11 00000fc5: ADD 00000fc6: PUSH2 0x0ef6 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: SWAP8 00000fcc: SWAP11 00000fcd: SWAP7 00000fce: SWAP10 00000fcf: POP 00000fd0: SWAP5 00000fd1: SWAP8 00000fd2: POP 00000fd3: SWAP3 00000fd4: SWAP6 00000fd5: SWAP4 00000fd6: SWAP5 00000fd7: SWAP3 00000fd8: POP 00000fd9: POP 00000fda: POP 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH1 0x00 00000fdf: DUP1 00000fe0: PUSH1 0x00 00000fe2: PUSH1 0x60 00000fe4: DUP5 00000fe5: DUP7 00000fe6: SUB 00000fe7: SLT 00000fe8: ISZERO 00000fe9: PUSH2 0x0ff1 00000fec: JUMPI 00000fed: PUSH1 0x00 00000fef: DUP1 00000ff0: REVERT 00000ff1: JUMPDEST 00000ff2: PUSH2 0x0ffa 00000ff5: DUP5 00000ff6: PUSH2 0x0e12 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: SWAP3 00000ffc: POP 00000ffd: PUSH1 0x20 00000fff: DUP5 00001000: ADD 00001001: CALLDATALOAD 00001002: SWAP2 00001003: POP 00001004: PUSH2 0x0eed 00001007: PUSH1 0x40 00001009: DUP6 0000100a: ADD 0000100b: PUSH2 0x0ea6 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH4 0x4e487b71 00001015: PUSH1 0xe0 00001017: SHL 00001018: PUSH1 0x00 0000101a: MSTORE 0000101b: PUSH1 0x32 0000101d: PUSH1 0x04 0000101f: MSTORE 00001020: PUSH1 0x24 00001022: PUSH1 0x00 00001024: REVERT 00001025: JUMPDEST 00001026: PUSH1 0x00 00001028: PUSH1 0x20 0000102a: DUP3 0000102b: DUP5 0000102c: SUB 0000102d: SLT 0000102e: ISZERO 0000102f: PUSH2 0x1037 00001032: JUMPI 00001033: PUSH1 0x00 00001035: DUP1 00001036: REVERT 00001037: JUMPDEST 00001038: PUSH2 0x0e49 0000103b: DUP3 0000103c: PUSH2 0x0ea6 0000103f: JUMP 00001040: JUMPDEST 00001041: PUSH4 0x4e487b71 00001046: PUSH1 0xe0 00001048: SHL 00001049: PUSH1 0x00 0000104b: MSTORE 0000104c: PUSH1 0x12 0000104e: PUSH1 0x04 00001050: MSTORE 00001051: PUSH1 0x24 00001053: PUSH1 0x00 00001055: REVERT 00001056: INVALID 00001057: LOG2 00001058: PUSH5 0x6970667358 0000105e: UNKNOWN(0x22) 0000105f: SLT 00001060: KECCAK256 00001061: DUP2 00001062: DUP12 00001063: DUP12 00001064: GT 00001065: PUSH10 0xea5b6d87fac262af5637 00001070: DIFFICULTY 00001071: BALANCE 00001072: TSTORE 00001073: UNKNOWN(0xDD) 00001074: UNKNOWN(0xA5) 00001075: SSTORE 00001076: SUB 00001077: DUP10 00001078: UNKNOWN(0xCB) 00001079: RETURN 0000107a: UNKNOWN(0xDE) 0000107b: STATICCALL 0000107c: TSTORE 0000107d: UNKNOWN(0x21) 0000107e: UNKNOWN(0xB7) 0000107f: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x035123802527a5313313a04c2eb08f444c4d3155c223c62d8b1fdb61a086d185
call_targets:
0xabc30e831b5cc173a9ed5941714a7845c909e7fa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x035123802527a5313313a04c2eb08f444c4d3155c223c62d8b1fdb61a086d185",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabc30e831b5cc173a9ed5941714a7845c909e7fa"
],
"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": "0xa074fd04",
"selector": "0xa074fd04",
"calldata_variants": [
"0xa074fd04",
"0xa074fd040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c5a547",
"selector": "0xc3c5a547",
"calldata_variants": [
"0xc3c5a547",
"0xc3c5a5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd8b2b2",
"selector": "0xcdd8b2b2",
"calldata_variants": [
"0xcdd8b2b2",
"0xcdd8b2b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6f7ddf9",
"selector": "0xd6f7ddf9",
"calldata_variants": [
"0xd6f7ddf9",
"0xd6f7ddf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73be8bbe",
"selector": "0x73be8bbe",
"calldata_variants": [
"0x73be8bbe",
"0x73be8bbe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ebae30b",
"selector": "0x7ebae30b",
"calldata_variants": [
"0x7ebae30b",
"0x7ebae30b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89885049",
"selector": "0x89885049",
"calldata_variants": [
"0x89885049",
"0x898850490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x267c73a8",
"selector": "0x267c73a8",
"calldata_variants": [
"0x267c73a8",
"0x267c73a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x035123802527a5313313a04c2eb08f444c4d3155c223c62d8b1fdb61a086d185
call_targets:
0xabc30e831b5cc173a9ed5941714a7845c909e7fa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x035123802527a5313313a04c2eb08f444c4d3155c223c62d8b1fdb61a086d185",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabc30e831b5cc173a9ed5941714a7845c909e7fa"
],
"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": "0xa074fd04",
"selector": "0xa074fd04",
"calldata_variants": [
"0xa074fd04",
"0xa074fd040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c5a547",
"selector": "0xc3c5a547",
"calldata_variants": [
"0xc3c5a547",
"0xc3c5a5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd8b2b2",
"selector": "0xcdd8b2b2",
"calldata_variants": [
"0xcdd8b2b2",
"0xcdd8b2b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6f7ddf9",
"selector": "0xd6f7ddf9",
"calldata_variants": [
"0xd6f7ddf9",
"0xd6f7ddf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73be8bbe",
"selector": "0x73be8bbe",
"calldata_variants": [
"0x73be8bbe",
"0x73be8bbe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ebae30b",
"selector": "0x7ebae30b",
"calldata_variants": [
"0x7ebae30b",
"0x7ebae30b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89885049",
"selector": "0x89885049",
"calldata_variants": [
"0x89885049",
"0x898850490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x267c73a8",
"selector": "0x267c73a8",
"calldata_variants": [
"0x267c73a8",
"0x267c73a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|