019b3844-9793-726d-8da0-eb649549e829
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 |
|---|---|---|---|---|
| 13745 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13746 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 57545 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 57546 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 57547 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 57548 | 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 0x011f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x761610fc 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb8b614a2 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb8b614a2 0000002f: EQ 00000030: PUSH2 0x0678 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcc9fe3af 0000003a: EQ 0000003b: PUSH2 0x06a3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe20b9cff 00000045: EQ 00000046: PUSH2 0x06de 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf8b2cb4f 00000050: EQ 00000051: PUSH2 0x074a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc7b6853 0000005b: EQ 0000005c: PUSH2 0x07af 0000005f: JUMPI 00000060: PUSH2 0x011f 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x761610fc 0000006b: EQ 0000006c: PUSH2 0x0558 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x772ed8f8 00000076: EQ 00000077: PUSH2 0x0586 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8f283970 00000081: EQ 00000082: PUSH2 0x05b1 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa68b9657 0000008c: EQ 0000008d: PUSH2 0x0602 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xab81312c 00000097: EQ 00000098: PUSH2 0x063d 0000009b: JUMPI 0000009c: PUSH2 0x011f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x40e58ee5 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x40e58ee5 000000b2: EQ 000000b3: PUSH2 0x027b 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4a994eef 000000bd: EQ 000000be: PUSH2 0x02b6 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5ed7ca5b 000000c8: EQ 000000c9: PUSH2 0x0313 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x6c93a817 000000d3: EQ 000000d4: PUSH2 0x032a 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x6e9960c3 000000de: EQ 000000df: PUSH2 0x0517 000000e2: JUMPI 000000e3: PUSH2 0x011f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x07779627 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x29a9790c 000000f9: EQ 000000fa: PUSH2 0x018b 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x32a13e0a 00000104: EQ 00000105: PUSH2 0x01b6 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x3c889e6f 0000010f: EQ 00000110: PUSH2 0x01f1 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x3ccfd60b 0000011a: EQ 0000011b: PUSH2 0x0264 0000011e: JUMPI 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0173 00000135: PUSH1 0x04 00000137: DUP1 00000138: CALLDATASIZE 00000139: SUB 0000013a: PUSH1 0x20 0000013c: DUP2 0000013d: LT 0000013e: ISZERO 0000013f: PUSH2 0x0147 00000142: JUMPI 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: DUP2 00000149: ADD 0000014a: SWAP1 0000014b: DUP1 0000014c: DUP1 0000014d: CALLDATALOAD 0000014e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000163: AND 00000164: SWAP1 00000165: PUSH1 0x20 00000167: ADD 00000168: SWAP1 00000169: SWAP3 0000016a: SWAP2 0000016b: SWAP1 0000016c: POP 0000016d: POP 0000016e: POP 0000016f: PUSH2 0x0814 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP3 00000179: ISZERO 0000017a: ISZERO 0000017b: DUP2 0000017c: MSTORE 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP2 00000181: POP 00000182: POP 00000183: PUSH1 0x40 00000185: MLOAD 00000186: DUP1 00000187: SWAP2 00000188: SUB 00000189: SWAP1 0000018a: RETURN 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x01a0 0000019c: PUSH2 0x086a 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: DUP1 000001a5: DUP3 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: SWAP2 000001ac: POP 000001ad: POP 000001ae: PUSH1 0x40 000001b0: MLOAD 000001b1: DUP1 000001b2: SWAP2 000001b3: SUB 000001b4: SWAP1 000001b5: RETURN 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01ef 000001c7: PUSH1 0x04 000001c9: DUP1 000001ca: CALLDATASIZE 000001cb: SUB 000001cc: PUSH1 0x20 000001ce: DUP2 000001cf: LT 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: DUP2 000001db: ADD 000001dc: SWAP1 000001dd: DUP1 000001de: DUP1 000001df: CALLDATALOAD 000001e0: SWAP1 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: SWAP1 000001e5: SWAP3 000001e6: SWAP2 000001e7: SWAP1 000001e8: POP 000001e9: POP 000001ea: POP 000001eb: PUSH2 0x0874 000001ee: JUMP 000001ef: JUMPDEST 000001f0: STOP 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x022a 00000202: PUSH1 0x04 00000204: DUP1 00000205: CALLDATASIZE 00000206: SUB 00000207: PUSH1 0x20 00000209: DUP2 0000020a: LT 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: DUP2 00000216: ADD 00000217: SWAP1 00000218: DUP1 00000219: DUP1 0000021a: CALLDATALOAD 0000021b: SWAP1 0000021c: PUSH1 0x20 0000021e: ADD 0000021f: SWAP1 00000220: SWAP3 00000221: SWAP2 00000222: SWAP1 00000223: POP 00000224: POP 00000225: POP 00000226: PUSH2 0x09bc 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: DUP1 0000022f: DUP5 00000230: DUP2 00000231: MSTORE 00000232: PUSH1 0x20 00000234: ADD 00000235: DUP4 00000236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024b: AND 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: DUP3 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x20 00000256: ADD 00000257: SWAP4 00000258: POP 00000259: POP 0000025a: POP 0000025b: POP 0000025c: PUSH1 0x40 0000025e: MLOAD 0000025f: DUP1 00000260: SWAP2 00000261: SUB 00000262: SWAP1 00000263: RETURN 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x0279 00000275: PUSH2 0x09f1 00000278: JUMP 00000279: JUMPDEST 0000027a: STOP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x02b4 0000028c: PUSH1 0x04 0000028e: DUP1 0000028f: CALLDATASIZE 00000290: SUB 00000291: PUSH1 0x20 00000293: DUP2 00000294: LT 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: DUP2 000002a0: ADD 000002a1: SWAP1 000002a2: DUP1 000002a3: DUP1 000002a4: CALLDATALOAD 000002a5: SWAP1 000002a6: PUSH1 0x20 000002a8: ADD 000002a9: SWAP1 000002aa: SWAP3 000002ab: SWAP2 000002ac: SWAP1 000002ad: POP 000002ae: POP 000002af: POP 000002b0: PUSH2 0x0b6f 000002b3: JUMP 000002b4: JUMPDEST 000002b5: STOP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: POP 000002c4: PUSH2 0x0311 000002c7: PUSH1 0x04 000002c9: DUP1 000002ca: CALLDATASIZE 000002cb: SUB 000002cc: PUSH1 0x40 000002ce: DUP2 000002cf: LT 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: DUP2 000002db: ADD 000002dc: SWAP1 000002dd: DUP1 000002de: DUP1 000002df: CALLDATALOAD 000002e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f5: AND 000002f6: SWAP1 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP1 000002fb: SWAP3 000002fc: SWAP2 000002fd: SWAP1 000002fe: DUP1 000002ff: CALLDATALOAD 00000300: ISZERO 00000301: ISZERO 00000302: SWAP1 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: SWAP3 00000308: SWAP2 00000309: SWAP1 0000030a: POP 0000030b: POP 0000030c: POP 0000030d: PUSH2 0x0ddb 00000310: JUMP 00000311: JUMPDEST 00000312: STOP 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x0328 00000324: PUSH2 0x0f63 00000327: JUMP 00000328: JUMPDEST 00000329: STOP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x0515 0000033b: PUSH1 0x04 0000033d: DUP1 0000033e: CALLDATASIZE 0000033f: SUB 00000340: PUSH1 0x60 00000342: DUP2 00000343: LT 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: DUP2 0000034f: ADD 00000350: SWAP1 00000351: DUP1 00000352: DUP1 00000353: CALLDATALOAD 00000354: SWAP1 00000355: PUSH1 0x20 00000357: ADD 00000358: SWAP1 00000359: PUSH5 0x0100000000 0000035f: DUP2 00000360: GT 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: DUP3 0000036c: ADD 0000036d: DUP4 0000036e: PUSH1 0x20 00000370: DUP3 00000371: ADD 00000372: GT 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: DUP1 0000037e: CALLDATALOAD 0000037f: SWAP1 00000380: PUSH1 0x20 00000382: ADD 00000383: SWAP2 00000384: DUP5 00000385: PUSH1 0x20 00000387: DUP4 00000388: MUL 00000389: DUP5 0000038a: ADD 0000038b: GT 0000038c: PUSH5 0x0100000000 00000392: DUP4 00000393: GT 00000394: OR 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: SWAP2 000003a0: SWAP1 000003a1: DUP1 000003a2: DUP1 000003a3: PUSH1 0x20 000003a5: MUL 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: SWAP1 000003ad: DUP2 000003ae: ADD 000003af: PUSH1 0x40 000003b1: MSTORE 000003b2: DUP1 000003b3: SWAP4 000003b4: SWAP3 000003b5: SWAP2 000003b6: SWAP1 000003b7: DUP2 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: DUP4 000003be: DUP4 000003bf: PUSH1 0x20 000003c1: MUL 000003c2: DUP1 000003c3: DUP3 000003c4: DUP5 000003c5: CALLDATACOPY 000003c6: PUSH1 0x00 000003c8: DUP2 000003c9: DUP5 000003ca: ADD 000003cb: MSTORE 000003cc: PUSH1 0x1f 000003ce: NOT 000003cf: PUSH1 0x1f 000003d1: DUP3 000003d2: ADD 000003d3: AND 000003d4: SWAP1 000003d5: POP 000003d6: DUP1 000003d7: DUP4 000003d8: ADD 000003d9: SWAP3 000003da: POP 000003db: POP 000003dc: POP 000003dd: POP 000003de: POP 000003df: POP 000003e0: POP 000003e1: SWAP2 000003e2: SWAP3 000003e3: SWAP2 000003e4: SWAP3 000003e5: SWAP1 000003e6: DUP1 000003e7: CALLDATALOAD 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: PUSH5 0x0100000000 000003f3: DUP2 000003f4: GT 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: DUP3 00000400: ADD 00000401: DUP4 00000402: PUSH1 0x20 00000404: DUP3 00000405: ADD 00000406: GT 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: DUP1 00000412: CALLDATALOAD 00000413: SWAP1 00000414: PUSH1 0x20 00000416: ADD 00000417: SWAP2 00000418: DUP5 00000419: PUSH1 0x20 0000041b: DUP4 0000041c: MUL 0000041d: DUP5 0000041e: ADD 0000041f: GT 00000420: PUSH5 0x0100000000 00000426: DUP4 00000427: GT 00000428: OR 00000429: ISZERO 0000042a: PUSH2 0x0432 0000042d: JUMPI 0000042e: PUSH1 0x00 00000430: DUP1 00000431: REVERT 00000432: JUMPDEST 00000433: SWAP2 00000434: SWAP1 00000435: DUP1 00000436: DUP1 00000437: PUSH1 0x20 00000439: MUL 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: SWAP1 00000441: DUP2 00000442: ADD 00000443: PUSH1 0x40 00000445: MSTORE 00000446: DUP1 00000447: SWAP4 00000448: SWAP3 00000449: SWAP2 0000044a: SWAP1 0000044b: DUP2 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: ADD 00000451: DUP4 00000452: DUP4 00000453: PUSH1 0x20 00000455: MUL 00000456: DUP1 00000457: DUP3 00000458: DUP5 00000459: CALLDATACOPY 0000045a: PUSH1 0x00 0000045c: DUP2 0000045d: DUP5 0000045e: ADD 0000045f: MSTORE 00000460: PUSH1 0x1f 00000462: NOT 00000463: PUSH1 0x1f 00000465: DUP3 00000466: ADD 00000467: AND 00000468: SWAP1 00000469: POP 0000046a: DUP1 0000046b: DUP4 0000046c: ADD 0000046d: SWAP3 0000046e: POP 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: POP 00000474: POP 00000475: SWAP2 00000476: SWAP3 00000477: SWAP2 00000478: SWAP3 00000479: SWAP1 0000047a: DUP1 0000047b: CALLDATALOAD 0000047c: SWAP1 0000047d: PUSH1 0x20 0000047f: ADD 00000480: SWAP1 00000481: PUSH5 0x0100000000 00000487: DUP2 00000488: GT 00000489: ISZERO 0000048a: PUSH2 0x0492 0000048d: JUMPI 0000048e: PUSH1 0x00 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: DUP3 00000494: ADD 00000495: DUP4 00000496: PUSH1 0x20 00000498: DUP3 00000499: ADD 0000049a: GT 0000049b: ISZERO 0000049c: PUSH2 0x04a4 0000049f: JUMPI 000004a0: PUSH1 0x00 000004a2: DUP1 000004a3: REVERT 000004a4: JUMPDEST 000004a5: DUP1 000004a6: CALLDATALOAD 000004a7: SWAP1 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP2 000004ac: DUP5 000004ad: PUSH1 0x20 000004af: DUP4 000004b0: MUL 000004b1: DUP5 000004b2: ADD 000004b3: GT 000004b4: PUSH5 0x0100000000 000004ba: DUP4 000004bb: GT 000004bc: OR 000004bd: ISZERO 000004be: PUSH2 0x04c6 000004c1: JUMPI 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: REVERT 000004c6: JUMPDEST 000004c7: SWAP2 000004c8: SWAP1 000004c9: DUP1 000004ca: DUP1 000004cb: PUSH1 0x20 000004cd: MUL 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: PUSH1 0x40 000004d3: MLOAD 000004d4: SWAP1 000004d5: DUP2 000004d6: ADD 000004d7: PUSH1 0x40 000004d9: MSTORE 000004da: DUP1 000004db: SWAP4 000004dc: SWAP3 000004dd: SWAP2 000004de: SWAP1 000004df: DUP2 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: DUP4 000004e6: DUP4 000004e7: PUSH1 0x20 000004e9: MUL 000004ea: DUP1 000004eb: DUP3 000004ec: DUP5 000004ed: CALLDATACOPY 000004ee: PUSH1 0x00 000004f0: DUP2 000004f1: DUP5 000004f2: ADD 000004f3: MSTORE 000004f4: PUSH1 0x1f 000004f6: NOT 000004f7: PUSH1 0x1f 000004f9: DUP3 000004fa: ADD 000004fb: AND 000004fc: SWAP1 000004fd: POP 000004fe: DUP1 000004ff: DUP4 00000500: ADD 00000501: SWAP3 00000502: POP 00000503: POP 00000504: POP 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: SWAP2 0000050a: SWAP3 0000050b: SWAP2 0000050c: SWAP3 0000050d: SWAP1 0000050e: POP 0000050f: POP 00000510: POP 00000511: PUSH2 0x104d 00000514: JUMP 00000515: JUMPDEST 00000516: STOP 00000517: JUMPDEST 00000518: CALLVALUE 00000519: DUP1 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: POP 00000525: PUSH2 0x052c 00000528: PUSH2 0x131d 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: DUP1 00000531: DUP3 00000532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000547: AND 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: SWAP2 0000054e: POP 0000054f: POP 00000550: PUSH1 0x40 00000552: MLOAD 00000553: DUP1 00000554: SWAP2 00000555: SUB 00000556: SWAP1 00000557: RETURN 00000558: JUMPDEST 00000559: PUSH2 0x0584 0000055c: PUSH1 0x04 0000055e: DUP1 0000055f: CALLDATASIZE 00000560: SUB 00000561: PUSH1 0x20 00000563: DUP2 00000564: LT 00000565: ISZERO 00000566: PUSH2 0x056e 00000569: JUMPI 0000056a: PUSH1 0x00 0000056c: DUP1 0000056d: REVERT 0000056e: JUMPDEST 0000056f: DUP2 00000570: ADD 00000571: SWAP1 00000572: DUP1 00000573: DUP1 00000574: CALLDATALOAD 00000575: SWAP1 00000576: PUSH1 0x20 00000578: ADD 00000579: SWAP1 0000057a: SWAP3 0000057b: SWAP2 0000057c: SWAP1 0000057d: POP 0000057e: POP 0000057f: POP 00000580: PUSH2 0x1347 00000583: JUMP 00000584: JUMPDEST 00000585: STOP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: DUP1 00000589: ISZERO 0000058a: PUSH2 0x0592 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: DUP1 00000591: REVERT 00000592: JUMPDEST 00000593: POP 00000594: PUSH2 0x059b 00000597: PUSH2 0x15bb 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: DUP1 000005a0: DUP3 000005a1: DUP2 000005a2: MSTORE 000005a3: PUSH1 0x20 000005a5: ADD 000005a6: SWAP2 000005a7: POP 000005a8: POP 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: DUP1 000005ad: SWAP2 000005ae: SUB 000005af: SWAP1 000005b0: RETURN 000005b1: JUMPDEST 000005b2: CALLVALUE 000005b3: DUP1 000005b4: ISZERO 000005b5: PUSH2 0x05bd 000005b8: JUMPI 000005b9: PUSH1 0x00 000005bb: DUP1 000005bc: REVERT 000005bd: JUMPDEST 000005be: POP 000005bf: PUSH2 0x0600 000005c2: PUSH1 0x04 000005c4: DUP1 000005c5: CALLDATASIZE 000005c6: SUB 000005c7: PUSH1 0x20 000005c9: DUP2 000005ca: LT 000005cb: ISZERO 000005cc: PUSH2 0x05d4 000005cf: JUMPI 000005d0: PUSH1 0x00 000005d2: DUP1 000005d3: REVERT 000005d4: JUMPDEST 000005d5: DUP2 000005d6: ADD 000005d7: SWAP1 000005d8: DUP1 000005d9: DUP1 000005da: CALLDATALOAD 000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f0: AND 000005f1: SWAP1 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: SWAP1 000005f6: SWAP3 000005f7: SWAP2 000005f8: SWAP1 000005f9: POP 000005fa: POP 000005fb: POP 000005fc: PUSH2 0x15c4 000005ff: JUMP 00000600: JUMPDEST 00000601: STOP 00000602: JUMPDEST 00000603: CALLVALUE 00000604: DUP1 00000605: ISZERO 00000606: PUSH2 0x060e 00000609: JUMPI 0000060a: PUSH1 0x00 0000060c: DUP1 0000060d: REVERT 0000060e: JUMPDEST 0000060f: POP 00000610: PUSH2 0x063b 00000613: PUSH1 0x04 00000615: DUP1 00000616: CALLDATASIZE 00000617: SUB 00000618: PUSH1 0x20 0000061a: DUP2 0000061b: LT 0000061c: ISZERO 0000061d: PUSH2 0x0625 00000620: JUMPI 00000621: PUSH1 0x00 00000623: DUP1 00000624: REVERT 00000625: JUMPDEST 00000626: DUP2 00000627: ADD 00000628: SWAP1 00000629: DUP1 0000062a: DUP1 0000062b: CALLDATALOAD 0000062c: SWAP1 0000062d: PUSH1 0x20 0000062f: ADD 00000630: SWAP1 00000631: SWAP3 00000632: SWAP2 00000633: SWAP1 00000634: POP 00000635: POP 00000636: POP 00000637: PUSH2 0x16cb 0000063a: JUMP 0000063b: JUMPDEST 0000063c: STOP 0000063d: JUMPDEST 0000063e: CALLVALUE 0000063f: DUP1 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: POP 0000064b: PUSH2 0x0676 0000064e: PUSH1 0x04 00000650: DUP1 00000651: CALLDATASIZE 00000652: SUB 00000653: PUSH1 0x20 00000655: DUP2 00000656: LT 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: DUP2 00000662: ADD 00000663: SWAP1 00000664: DUP1 00000665: DUP1 00000666: CALLDATALOAD 00000667: SWAP1 00000668: PUSH1 0x20 0000066a: ADD 0000066b: SWAP1 0000066c: SWAP3 0000066d: SWAP2 0000066e: SWAP1 0000066f: POP 00000670: POP 00000671: POP 00000672: PUSH2 0x180f 00000675: JUMP 00000676: JUMPDEST 00000677: STOP 00000678: JUMPDEST 00000679: CALLVALUE 0000067a: DUP1 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: POP 00000686: PUSH2 0x068d 00000689: PUSH2 0x18dc 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: DUP1 00000692: DUP3 00000693: DUP2 00000694: MSTORE 00000695: PUSH1 0x20 00000697: ADD 00000698: SWAP2 00000699: POP 0000069a: POP 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: DUP1 0000069f: SWAP2 000006a0: SUB 000006a1: SWAP1 000006a2: RETURN 000006a3: JUMPDEST 000006a4: CALLVALUE 000006a5: DUP1 000006a6: ISZERO 000006a7: PUSH2 0x06af 000006aa: JUMPI 000006ab: PUSH1 0x00 000006ad: DUP1 000006ae: REVERT 000006af: JUMPDEST 000006b0: POP 000006b1: PUSH2 0x06dc 000006b4: PUSH1 0x04 000006b6: DUP1 000006b7: CALLDATASIZE 000006b8: SUB 000006b9: PUSH1 0x20 000006bb: DUP2 000006bc: LT 000006bd: ISZERO 000006be: PUSH2 0x06c6 000006c1: JUMPI 000006c2: PUSH1 0x00 000006c4: DUP1 000006c5: REVERT 000006c6: JUMPDEST 000006c7: DUP2 000006c8: ADD 000006c9: SWAP1 000006ca: DUP1 000006cb: DUP1 000006cc: CALLDATALOAD 000006cd: SWAP1 000006ce: PUSH1 0x20 000006d0: ADD 000006d1: SWAP1 000006d2: SWAP3 000006d3: SWAP2 000006d4: SWAP1 000006d5: POP 000006d6: POP 000006d7: POP 000006d8: PUSH2 0x18e6 000006db: JUMP 000006dc: JUMPDEST 000006dd: STOP 000006de: JUMPDEST 000006df: CALLVALUE 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06ea 000006e5: JUMPI 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: REVERT 000006ea: JUMPDEST 000006eb: POP 000006ec: PUSH2 0x06f3 000006ef: PUSH2 0x1a2c 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH1 0x40 000006f6: MLOAD 000006f7: DUP1 000006f8: DUP1 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: DUP3 000006fd: DUP2 000006fe: SUB 000006ff: DUP3 00000700: MSTORE 00000701: DUP4 00000702: DUP2 00000703: DUP2 00000704: MLOAD 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x20 00000709: ADD 0000070a: SWAP2 0000070b: POP 0000070c: DUP1 0000070d: MLOAD 0000070e: SWAP1 0000070f: PUSH1 0x20 00000711: ADD 00000712: SWAP1 00000713: PUSH1 0x20 00000715: MUL 00000716: DUP1 00000717: DUP4 00000718: DUP4 00000719: PUSH1 0x00 0000071b: JUMPDEST 0000071c: DUP4 0000071d: DUP2 0000071e: LT 0000071f: ISZERO 00000720: PUSH2 0x0736 00000723: JUMPI 00000724: DUP1 00000725: DUP3 00000726: ADD 00000727: MLOAD 00000728: DUP2 00000729: DUP5 0000072a: ADD 0000072b: MSTORE 0000072c: PUSH1 0x20 0000072e: DUP2 0000072f: ADD 00000730: SWAP1 00000731: POP 00000732: PUSH2 0x071b 00000735: JUMP 00000736: JUMPDEST 00000737: POP 00000738: POP 00000739: POP 0000073a: POP 0000073b: SWAP1 0000073c: POP 0000073d: ADD 0000073e: SWAP3 0000073f: POP 00000740: POP 00000741: POP 00000742: PUSH1 0x40 00000744: MLOAD 00000745: DUP1 00000746: SWAP2 00000747: SUB 00000748: SWAP1 00000749: RETURN 0000074a: JUMPDEST 0000074b: CALLVALUE 0000074c: DUP1 0000074d: ISZERO 0000074e: PUSH2 0x0756 00000751: JUMPI 00000752: PUSH1 0x00 00000754: DUP1 00000755: REVERT 00000756: JUMPDEST 00000757: POP 00000758: PUSH2 0x0799 0000075b: PUSH1 0x04 0000075d: DUP1 0000075e: CALLDATASIZE 0000075f: SUB 00000760: PUSH1 0x20 00000762: DUP2 00000763: LT 00000764: ISZERO 00000765: PUSH2 0x076d 00000768: JUMPI 00000769: PUSH1 0x00 0000076b: DUP1 0000076c: REVERT 0000076d: JUMPDEST 0000076e: DUP2 0000076f: ADD 00000770: SWAP1 00000771: DUP1 00000772: DUP1 00000773: CALLDATALOAD 00000774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000789: AND 0000078a: SWAP1 0000078b: PUSH1 0x20 0000078d: ADD 0000078e: SWAP1 0000078f: SWAP3 00000790: SWAP2 00000791: SWAP1 00000792: POP 00000793: POP 00000794: POP 00000795: PUSH2 0x1aba 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH1 0x40 0000079c: MLOAD 0000079d: DUP1 0000079e: DUP3 0000079f: DUP2 000007a0: MSTORE 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: SWAP2 000007a5: POP 000007a6: POP 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: SWAP2 000007ac: SUB 000007ad: SWAP1 000007ae: RETURN 000007af: JUMPDEST 000007b0: CALLVALUE 000007b1: DUP1 000007b2: ISZERO 000007b3: PUSH2 0x07bb 000007b6: JUMPI 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: REVERT 000007bb: JUMPDEST 000007bc: POP 000007bd: PUSH2 0x0812 000007c0: PUSH1 0x04 000007c2: DUP1 000007c3: CALLDATASIZE 000007c4: SUB 000007c5: PUSH1 0x60 000007c7: DUP2 000007c8: LT 000007c9: ISZERO 000007ca: PUSH2 0x07d2 000007cd: JUMPI 000007ce: PUSH1 0x00 000007d0: DUP1 000007d1: REVERT 000007d2: JUMPDEST 000007d3: DUP2 000007d4: ADD 000007d5: SWAP1 000007d6: DUP1 000007d7: DUP1 000007d8: CALLDATALOAD 000007d9: SWAP1 000007da: PUSH1 0x20 000007dc: ADD 000007dd: SWAP1 000007de: SWAP3 000007df: SWAP2 000007e0: SWAP1 000007e1: DUP1 000007e2: CALLDATALOAD 000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f8: AND 000007f9: SWAP1 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: SWAP1 000007fe: SWAP3 000007ff: SWAP2 00000800: SWAP1 00000801: DUP1 00000802: CALLDATALOAD 00000803: SWAP1 00000804: PUSH1 0x20 00000806: ADD 00000807: SWAP1 00000808: SWAP3 00000809: SWAP2 0000080a: SWAP1 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: PUSH2 0x1b03 00000811: JUMP 00000812: JUMPDEST 00000813: STOP 00000814: JUMPDEST 00000815: PUSH1 0x00 00000817: PUSH1 0x08 00000819: PUSH1 0x00 0000081b: DUP4 0000081c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000831: AND 00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000847: AND 00000848: DUP2 00000849: MSTORE 0000084a: PUSH1 0x20 0000084c: ADD 0000084d: SWAP1 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x20 00000852: ADD 00000853: PUSH1 0x00 00000855: KECCAK256 00000856: PUSH1 0x00 00000858: SWAP1 00000859: SLOAD 0000085a: SWAP1 0000085b: PUSH2 0x0100 0000085e: EXP 0000085f: SWAP1 00000860: DIV 00000861: PUSH1 0xff 00000863: AND 00000864: SWAP1 00000865: POP 00000866: SWAP2 00000867: SWAP1 00000868: POP 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: PUSH1 0x03 0000086f: SLOAD 00000870: SWAP1 00000871: POP 00000872: SWAP1 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH1 0x06 00000877: PUSH1 0x00 00000879: SWAP1 0000087a: SLOAD 0000087b: SWAP1 0000087c: PUSH2 0x0100 0000087f: EXP 00000880: SWAP1 00000881: DIV 00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000897: AND 00000898: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ad: AND 000008ae: CALLER 000008af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c4: AND 000008c5: EQ 000008c6: PUSH2 0x0937 000008c9: JUMPI 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x04 000008f2: ADD 000008f3: DUP1 000008f4: DUP1 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: DUP3 000008f9: DUP2 000008fa: SUB 000008fb: DUP3 000008fc: MSTORE 000008fd: PUSH1 0x0a 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: ADD 00000904: DUP1 00000905: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 00000926: DUP2 00000927: MSTORE 00000928: POP 00000929: PUSH1 0x20 0000092b: ADD 0000092c: SWAP2 0000092d: POP 0000092e: POP 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: DUP1 00000933: SWAP2 00000934: SUB 00000935: SWAP1 00000936: REVERT 00000937: JUMPDEST 00000938: PUSH5 0x02540be400 0000093e: DUP2 0000093f: LT 00000940: ISZERO 00000941: PUSH2 0x09b2 00000944: JUMPI 00000945: PUSH1 0x40 00000947: MLOAD 00000948: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000969: DUP2 0000096a: MSTORE 0000096b: PUSH1 0x04 0000096d: ADD 0000096e: DUP1 0000096f: DUP1 00000970: PUSH1 0x20 00000972: ADD 00000973: DUP3 00000974: DUP2 00000975: SUB 00000976: DUP3 00000977: MSTORE 00000978: PUSH1 0x0f 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x20 0000097e: ADD 0000097f: DUP1 00000980: PUSH32 0x496e76616c6964206d696e696d756d0000000000000000000000000000000000 000009a1: DUP2 000009a2: MSTORE 000009a3: POP 000009a4: PUSH1 0x20 000009a6: ADD 000009a7: SWAP2 000009a8: POP 000009a9: POP 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: DUP1 000009ae: SWAP2 000009af: SUB 000009b0: SWAP1 000009b1: REVERT 000009b2: JUMPDEST 000009b3: DUP1 000009b4: PUSH1 0x00 000009b6: DUP2 000009b7: SWAP1 000009b8: SSTORE 000009b9: POP 000009ba: POP 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x00 000009bf: DUP1 000009c0: PUSH1 0x00 000009c2: PUSH2 0x09c9 000009c5: PUSH2 0x2167 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH2 0x09d2 000009cd: DUP6 000009ce: PUSH2 0x1cf1 000009d1: JUMP 000009d2: JUMPDEST 000009d3: SWAP1 000009d4: POP 000009d5: DUP1 000009d6: PUSH1 0x40 000009d8: ADD 000009d9: MLOAD 000009da: DUP2 000009db: PUSH1 0x20 000009dd: ADD 000009de: MLOAD 000009df: DUP3 000009e0: PUSH1 0x00 000009e2: ADD 000009e3: MLOAD 000009e4: SWAP4 000009e5: POP 000009e6: SWAP4 000009e7: POP 000009e8: SWAP4 000009e9: POP 000009ea: POP 000009eb: SWAP2 000009ec: SWAP4 000009ed: SWAP1 000009ee: SWAP3 000009ef: POP 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH1 0x00 000009f4: ISZERO 000009f5: ISZERO 000009f6: PUSH1 0x09 000009f8: PUSH1 0x00 000009fa: SWAP1 000009fb: SLOAD 000009fc: SWAP1 000009fd: PUSH2 0x0100 00000a00: EXP 00000a01: SWAP1 00000a02: DIV 00000a03: PUSH1 0xff 00000a05: AND 00000a06: ISZERO 00000a07: ISZERO 00000a08: EQ 00000a09: PUSH2 0x0a7a 00000a0c: JUMPI 00000a0d: PUSH1 0x40 00000a0f: MLOAD 00000a10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a31: DUP2 00000a32: MSTORE 00000a33: PUSH1 0x04 00000a35: ADD 00000a36: DUP1 00000a37: DUP1 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: DUP3 00000a3c: DUP2 00000a3d: SUB 00000a3e: DUP3 00000a3f: MSTORE 00000a40: PUSH1 0x06 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: ADD 00000a47: DUP1 00000a48: PUSH32 0x48616c7465640000000000000000000000000000000000000000000000000000 00000a69: DUP2 00000a6a: MSTORE 00000a6b: POP 00000a6c: PUSH1 0x20 00000a6e: ADD 00000a6f: SWAP2 00000a70: POP 00000a71: POP 00000a72: PUSH1 0x40 00000a74: MLOAD 00000a75: DUP1 00000a76: SWAP2 00000a77: SUB 00000a78: SWAP1 00000a79: REVERT 00000a7a: JUMPDEST 00000a7b: PUSH1 0x00 00000a7d: CALLER 00000a7e: SWAP1 00000a7f: POP 00000a80: PUSH1 0x00 00000a82: DUP1 00000a83: PUSH1 0x05 00000a85: PUSH1 0x00 00000a87: DUP5 00000a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9d: AND 00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab3: AND 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x20 00000ab8: ADD 00000ab9: SWAP1 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: PUSH1 0x00 00000ac1: KECCAK256 00000ac2: DUP2 00000ac3: SWAP1 00000ac4: SSTORE 00000ac5: SWAP1 00000ac6: POP 00000ac7: PUSH1 0x00 00000ac9: PUSH1 0x05 00000acb: PUSH1 0x00 00000acd: DUP5 00000ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae3: AND 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: AND 00000afa: DUP2 00000afb: MSTORE 00000afc: PUSH1 0x20 00000afe: ADD 00000aff: SWAP1 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: ADD 00000b05: PUSH1 0x00 00000b07: KECCAK256 00000b08: DUP2 00000b09: SWAP1 00000b0a: SSTORE 00000b0b: POP 00000b0c: PUSH2 0x0b15 00000b0f: DUP3 00000b10: DUP3 00000b11: PUSH2 0x1d9e 00000b14: JUMP 00000b15: JUMPDEST 00000b16: DUP2 00000b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2c: AND 00000b2d: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568 00000b4e: DUP3 00000b4f: TIMESTAMP 00000b50: PUSH1 0x40 00000b52: MLOAD 00000b53: DUP1 00000b54: DUP4 00000b55: DUP2 00000b56: MSTORE 00000b57: PUSH1 0x20 00000b59: ADD 00000b5a: DUP3 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x20 00000b5f: ADD 00000b60: SWAP3 00000b61: POP 00000b62: POP 00000b63: POP 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: DUP1 00000b68: SWAP2 00000b69: SUB 00000b6a: SWAP1 00000b6b: LOG2 00000b6c: POP 00000b6d: POP 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH1 0x00 00000b72: ISZERO 00000b73: ISZERO 00000b74: PUSH1 0x09 00000b76: PUSH1 0x00 00000b78: SWAP1 00000b79: SLOAD 00000b7a: SWAP1 00000b7b: PUSH2 0x0100 00000b7e: EXP 00000b7f: SWAP1 00000b80: DIV 00000b81: PUSH1 0xff 00000b83: AND 00000b84: ISZERO 00000b85: ISZERO 00000b86: EQ 00000b87: PUSH2 0x0bf8 00000b8a: JUMPI 00000b8b: PUSH1 0x40 00000b8d: MLOAD 00000b8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000baf: DUP2 00000bb0: MSTORE 00000bb1: PUSH1 0x04 00000bb3: ADD 00000bb4: DUP1 00000bb5: DUP1 00000bb6: PUSH1 0x20 00000bb8: ADD 00000bb9: DUP3 00000bba: DUP2 00000bbb: SUB 00000bbc: DUP3 00000bbd: MSTORE 00000bbe: PUSH1 0x06 00000bc0: DUP2 00000bc1: MSTORE 00000bc2: PUSH1 0x20 00000bc4: ADD 00000bc5: DUP1 00000bc6: PUSH32 0x48616c7465640000000000000000000000000000000000000000000000000000 00000be7: DUP2 00000be8: MSTORE 00000be9: POP 00000bea: PUSH1 0x20 00000bec: ADD 00000bed: SWAP2 00000bee: POP 00000bef: POP 00000bf0: PUSH1 0x40 00000bf2: MLOAD 00000bf3: DUP1 00000bf4: SWAP2 00000bf5: SUB 00000bf6: SWAP1 00000bf7: REVERT 00000bf8: JUMPDEST 00000bf9: PUSH1 0x00 00000bfb: CALLER 00000bfc: SWAP1 00000bfd: POP 00000bfe: PUSH2 0x0c05 00000c01: PUSH2 0x2167 00000c04: JUMP 00000c05: JUMPDEST 00000c06: PUSH2 0x0c0e 00000c09: DUP4 00000c0a: PUSH2 0x1cf1 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: SWAP1 00000c10: POP 00000c11: DUP2 00000c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c27: AND 00000c28: DUP2 00000c29: PUSH1 0x20 00000c2b: ADD 00000c2c: MLOAD 00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c42: AND 00000c43: EQ 00000c44: PUSH2 0x0c98 00000c47: JUMPI 00000c48: PUSH1 0x40 00000c4a: MLOAD 00000c4b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c6c: DUP2 00000c6d: MSTORE 00000c6e: PUSH1 0x04 00000c70: ADD 00000c71: DUP1 00000c72: DUP1 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: DUP3 00000c77: DUP2 00000c78: SUB 00000c79: DUP3 00000c7a: MSTORE 00000c7b: PUSH1 0x2b 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x20 00000c81: ADD 00000c82: DUP1 00000c83: PUSH2 0x219f 00000c86: PUSH1 0x2b 00000c88: SWAP2 00000c89: CODECOPY 00000c8a: PUSH1 0x40 00000c8c: ADD 00000c8d: SWAP2 00000c8e: POP 00000c8f: POP 00000c90: PUSH1 0x40 00000c92: MLOAD 00000c93: DUP1 00000c94: SWAP2 00000c95: SUB 00000c96: SWAP1 00000c97: REVERT 00000c98: JUMPDEST 00000c99: TIMESTAMP 00000c9a: DUP2 00000c9b: PUSH1 0x40 00000c9d: ADD 00000c9e: MLOAD 00000c9f: GT 00000ca0: ISZERO 00000ca1: PUSH2 0x0d12 00000ca4: JUMPI 00000ca5: PUSH1 0x40 00000ca7: MLOAD 00000ca8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cc9: DUP2 00000cca: MSTORE 00000ccb: PUSH1 0x04 00000ccd: ADD 00000cce: DUP1 00000ccf: DUP1 00000cd0: PUSH1 0x20 00000cd2: ADD 00000cd3: DUP3 00000cd4: DUP2 00000cd5: SUB 00000cd6: DUP3 00000cd7: MSTORE 00000cd8: PUSH1 0x1c 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: DUP1 00000ce0: PUSH32 0x4d696e696d756d206f6666657220706572696f64206e6f74206d657400000000 00000d01: DUP2 00000d02: MSTORE 00000d03: POP 00000d04: PUSH1 0x20 00000d06: ADD 00000d07: SWAP2 00000d08: POP 00000d09: POP 00000d0a: PUSH1 0x40 00000d0c: MLOAD 00000d0d: DUP1 00000d0e: SWAP2 00000d0f: SUB 00000d10: SWAP1 00000d11: REVERT 00000d12: JUMPDEST 00000d13: PUSH1 0x00 00000d15: DUP2 00000d16: PUSH1 0x00 00000d18: ADD 00000d19: MLOAD 00000d1a: SWAP1 00000d1b: POP 00000d1c: PUSH1 0x00 00000d1e: DUP3 00000d1f: PUSH1 0x00 00000d21: ADD 00000d22: DUP2 00000d23: DUP2 00000d24: MSTORE 00000d25: POP 00000d26: POP 00000d27: PUSH1 0x00 00000d29: DUP3 00000d2a: PUSH1 0x20 00000d2c: ADD 00000d2d: SWAP1 00000d2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d43: AND 00000d44: SWAP1 00000d45: DUP2 00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5b: AND 00000d5c: DUP2 00000d5d: MSTORE 00000d5e: POP 00000d5f: POP 00000d60: PUSH1 0x00 00000d62: DUP3 00000d63: PUSH1 0x40 00000d65: ADD 00000d66: DUP2 00000d67: DUP2 00000d68: MSTORE 00000d69: POP 00000d6a: POP 00000d6b: PUSH2 0x0d74 00000d6e: DUP5 00000d6f: DUP4 00000d70: PUSH2 0x1e7f 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH2 0x0d7e 00000d78: DUP4 00000d79: DUP3 00000d7a: PUSH2 0x1d9e 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: DUP3 00000d80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d95: AND 00000d96: DUP5 00000d97: PUSH32 0x235d46110bd351ab7520032cb99e04149d3ec65febddb9734597caa17ab0dc3b 00000db8: DUP4 00000db9: TIMESTAMP 00000dba: PUSH1 0x40 00000dbc: MLOAD 00000dbd: DUP1 00000dbe: DUP4 00000dbf: DUP2 00000dc0: MSTORE 00000dc1: PUSH1 0x20 00000dc3: ADD 00000dc4: DUP3 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x20 00000dc9: ADD 00000dca: SWAP3 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: PUSH1 0x40 00000dd0: MLOAD 00000dd1: DUP1 00000dd2: SWAP2 00000dd3: SUB 00000dd4: SWAP1 00000dd5: LOG3 00000dd6: POP 00000dd7: POP 00000dd8: POP 00000dd9: POP 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH1 0x06 00000dde: PUSH1 0x00 00000de0: SWAP1 00000de1: SLOAD 00000de2: SWAP1 00000de3: PUSH2 0x0100 00000de6: EXP 00000de7: SWAP1 00000de8: DIV 00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfe: AND 00000dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e14: AND 00000e15: CALLER 00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2b: AND 00000e2c: EQ 00000e2d: PUSH2 0x0e9e 00000e30: JUMPI 00000e31: PUSH1 0x40 00000e33: MLOAD 00000e34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e55: DUP2 00000e56: MSTORE 00000e57: PUSH1 0x04 00000e59: ADD 00000e5a: DUP1 00000e5b: DUP1 00000e5c: PUSH1 0x20 00000e5e: ADD 00000e5f: DUP3 00000e60: DUP2 00000e61: SUB 00000e62: DUP3 00000e63: MSTORE 00000e64: PUSH1 0x0a 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x20 00000e6a: ADD 00000e6b: DUP1 00000e6c: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 00000e8d: DUP2 00000e8e: MSTORE 00000e8f: POP 00000e90: PUSH1 0x20 00000e92: ADD 00000e93: SWAP2 00000e94: POP 00000e95: POP 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: DUP1 00000e9a: SWAP2 00000e9b: SUB 00000e9c: SWAP1 00000e9d: REVERT 00000e9e: JUMPDEST 00000e9f: DUP1 00000ea0: PUSH1 0x08 00000ea2: PUSH1 0x00 00000ea4: DUP5 00000ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eba: AND 00000ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed0: AND 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x20 00000ed5: ADD 00000ed6: SWAP1 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x20 00000edb: ADD 00000edc: PUSH1 0x00 00000ede: KECCAK256 00000edf: PUSH1 0x00 00000ee1: PUSH2 0x0100 00000ee4: EXP 00000ee5: DUP2 00000ee6: SLOAD 00000ee7: DUP2 00000ee8: PUSH1 0xff 00000eea: MUL 00000eeb: NOT 00000eec: AND 00000eed: SWAP1 00000eee: DUP4 00000eef: ISZERO 00000ef0: ISZERO 00000ef1: MUL 00000ef2: OR 00000ef3: SWAP1 00000ef4: SSTORE 00000ef5: POP 00000ef6: DUP1 00000ef7: ISZERO 00000ef8: PUSH2 0x0f5f 00000efb: JUMPI 00000efc: PUSH1 0x07 00000efe: DUP3 00000eff: SWAP1 00000f00: DUP1 00000f01: PUSH1 0x01 00000f03: DUP2 00000f04: SLOAD 00000f05: ADD 00000f06: DUP1 00000f07: DUP3 00000f08: SSTORE 00000f09: DUP1 00000f0a: SWAP2 00000f0b: POP 00000f0c: POP 00000f0d: PUSH1 0x01 00000f0f: SWAP1 00000f10: SUB 00000f11: SWAP1 00000f12: PUSH1 0x00 00000f14: MSTORE 00000f15: PUSH1 0x20 00000f17: PUSH1 0x00 00000f19: KECCAK256 00000f1a: ADD 00000f1b: PUSH1 0x00 00000f1d: SWAP1 00000f1e: SWAP2 00000f1f: SWAP1 00000f20: SWAP2 00000f21: SWAP1 00000f22: SWAP2 00000f23: PUSH2 0x0100 00000f26: EXP 00000f27: DUP2 00000f28: SLOAD 00000f29: DUP2 00000f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3f: MUL 00000f40: NOT 00000f41: AND 00000f42: SWAP1 00000f43: DUP4 00000f44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f59: AND 00000f5a: MUL 00000f5b: OR 00000f5c: SWAP1 00000f5d: SSTORE 00000f5e: POP 00000f5f: JUMPDEST 00000f60: POP 00000f61: POP 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH1 0x06 00000f66: PUSH1 0x00 00000f68: SWAP1 00000f69: SLOAD 00000f6a: SWAP1 00000f6b: PUSH2 0x0100 00000f6e: EXP 00000f6f: SWAP1 00000f70: DIV 00000f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f86: AND 00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9c: AND 00000f9d: CALLER 00000f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb3: AND 00000fb4: EQ 00000fb5: PUSH2 0x1026 00000fb8: JUMPI 00000fb9: PUSH1 0x40 00000fbb: MLOAD 00000fbc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fdd: DUP2 00000fde: MSTORE 00000fdf: PUSH1 0x04 00000fe1: ADD 00000fe2: DUP1 00000fe3: DUP1 00000fe4: PUSH1 0x20 00000fe6: ADD 00000fe7: DUP3 00000fe8: DUP2 00000fe9: SUB 00000fea: DUP3 00000feb: MSTORE 00000fec: PUSH1 0x0a 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x20 00000ff2: ADD 00000ff3: DUP1 00000ff4: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 00001015: DUP2 00001016: MSTORE 00001017: POP 00001018: PUSH1 0x20 0000101a: ADD 0000101b: SWAP2 0000101c: POP 0000101d: POP 0000101e: PUSH1 0x40 00001020: MLOAD 00001021: DUP1 00001022: SWAP2 00001023: SUB 00001024: SWAP1 00001025: REVERT 00001026: JUMPDEST 00001027: PUSH1 0x01 00001029: PUSH1 0x09 0000102b: PUSH1 0x00 0000102d: PUSH2 0x0100 00001030: EXP 00001031: DUP2 00001032: SLOAD 00001033: DUP2 00001034: PUSH1 0xff 00001036: MUL 00001037: NOT 00001038: AND 00001039: SWAP1 0000103a: DUP4 0000103b: ISZERO 0000103c: ISZERO 0000103d: MUL 0000103e: OR 0000103f: SWAP1 00001040: SSTORE 00001041: POP 00001042: PUSH2 0x104b 00001045: CALLER 00001046: SELFBALANCE 00001047: PUSH2 0x1d9e 0000104a: JUMP 0000104b: JUMPDEST 0000104c: JUMP 0000104d: JUMPDEST 0000104e: PUSH1 0x08 00001050: PUSH1 0x00 00001052: CALLER 00001053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001068: AND 00001069: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107e: AND 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x20 00001083: ADD 00001084: SWAP1 00001085: DUP2 00001086: MSTORE 00001087: PUSH1 0x20 00001089: ADD 0000108a: PUSH1 0x00 0000108c: KECCAK256 0000108d: PUSH1 0x00 0000108f: SWAP1 00001090: SLOAD 00001091: SWAP1 00001092: PUSH2 0x0100 00001095: EXP 00001096: SWAP1 00001097: DIV 00001098: PUSH1 0xff 0000109a: AND 0000109b: DUP1 0000109c: PUSH2 0x10f2 0000109f: JUMPI 000010a0: POP 000010a1: PUSH1 0x06 000010a3: PUSH1 0x00 000010a5: SWAP1 000010a6: SLOAD 000010a7: SWAP1 000010a8: PUSH2 0x0100 000010ab: EXP 000010ac: SWAP1 000010ad: DIV 000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c3: AND 000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d9: AND 000010da: CALLER 000010db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f0: AND 000010f1: EQ 000010f2: JUMPDEST 000010f3: PUSH2 0x1164 000010f6: JUMPI 000010f7: PUSH1 0x40 000010f9: MLOAD 000010fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000111b: DUP2 0000111c: MSTORE 0000111d: PUSH1 0x04 0000111f: ADD 00001120: DUP1 00001121: DUP1 00001122: PUSH1 0x20 00001124: ADD 00001125: DUP3 00001126: DUP2 00001127: SUB 00001128: DUP3 00001129: MSTORE 0000112a: PUSH1 0x0e 0000112c: DUP2 0000112d: MSTORE 0000112e: PUSH1 0x20 00001130: ADD 00001131: DUP1 00001132: PUSH32 0x4f6e6c792044656c656761746573000000000000000000000000000000000000 00001153: DUP2 00001154: MSTORE 00001155: POP 00001156: PUSH1 0x20 00001158: ADD 00001159: SWAP2 0000115a: POP 0000115b: POP 0000115c: PUSH1 0x40 0000115e: MLOAD 0000115f: DUP1 00001160: SWAP2 00001161: SUB 00001162: SWAP1 00001163: REVERT 00001164: JUMPDEST 00001165: PUSH1 0x00 00001167: ISZERO 00001168: ISZERO 00001169: PUSH1 0x09 0000116b: PUSH1 0x00 0000116d: SWAP1 0000116e: SLOAD 0000116f: SWAP1 00001170: PUSH2 0x0100 00001173: EXP 00001174: SWAP1 00001175: DIV 00001176: PUSH1 0xff 00001178: AND 00001179: ISZERO 0000117a: ISZERO 0000117b: EQ 0000117c: PUSH2 0x11ed 0000117f: JUMPI 00001180: PUSH1 0x40 00001182: MLOAD 00001183: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011a4: DUP2 000011a5: MSTORE 000011a6: PUSH1 0x04 000011a8: ADD 000011a9: DUP1 000011aa: DUP1 000011ab: PUSH1 0x20 000011ad: ADD 000011ae: DUP3 000011af: DUP2 000011b0: SUB 000011b1: DUP3 000011b2: MSTORE 000011b3: PUSH1 0x06 000011b5: DUP2 000011b6: MSTORE 000011b7: PUSH1 0x20 000011b9: ADD 000011ba: DUP1 000011bb: PUSH32 0x48616c7465640000000000000000000000000000000000000000000000000000 000011dc: DUP2 000011dd: MSTORE 000011de: POP 000011df: PUSH1 0x20 000011e1: ADD 000011e2: SWAP2 000011e3: POP 000011e4: POP 000011e5: PUSH1 0x40 000011e7: MLOAD 000011e8: DUP1 000011e9: SWAP2 000011ea: SUB 000011eb: SWAP1 000011ec: REVERT 000011ed: JUMPDEST 000011ee: PUSH1 0x00 000011f0: DUP1 000011f1: PUSH1 0x03 000011f3: SLOAD 000011f4: SWAP1 000011f5: POP 000011f6: PUSH1 0x00 000011f8: DUP6 000011f9: MLOAD 000011fa: SWAP1 000011fb: POP 000011fc: DUP5 000011fd: MLOAD 000011fe: DUP2 000011ff: EQ 00001200: DUP1 00001201: ISZERO 00001202: PUSH2 0x120b 00001205: JUMPI 00001206: POP 00001207: DUP4 00001208: MLOAD 00001209: DUP2 0000120a: EQ 0000120b: JUMPDEST 0000120c: PUSH2 0x127d 0000120f: JUMPI 00001210: PUSH1 0x40 00001212: MLOAD 00001213: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001234: DUP2 00001235: MSTORE 00001236: PUSH1 0x04 00001238: ADD 00001239: DUP1 0000123a: DUP1 0000123b: PUSH1 0x20 0000123d: ADD 0000123e: DUP3 0000123f: DUP2 00001240: SUB 00001241: DUP3 00001242: MSTORE 00001243: PUSH1 0x0a 00001245: DUP2 00001246: MSTORE 00001247: PUSH1 0x20 00001249: ADD 0000124a: DUP1 0000124b: PUSH32 0x42616420706172616d7300000000000000000000000000000000000000000000 0000126c: DUP2 0000126d: MSTORE 0000126e: POP 0000126f: PUSH1 0x20 00001271: ADD 00001272: SWAP2 00001273: POP 00001274: POP 00001275: PUSH1 0x40 00001277: MLOAD 00001278: DUP1 00001279: SWAP2 0000127a: SUB 0000127b: SWAP1 0000127c: REVERT 0000127d: JUMPDEST 0000127e: PUSH1 0x00 00001280: JUMPDEST 00001281: DUP2 00001282: DUP2 00001283: LT 00001284: ISZERO 00001285: PUSH2 0x12de 00001288: JUMPI 00001289: PUSH2 0x12cd 0000128c: DUP8 0000128d: DUP3 0000128e: DUP2 0000128f: MLOAD 00001290: DUP2 00001291: LT 00001292: PUSH2 0x1297 00001295: JUMPI 00001296: INVALID 00001297: JUMPDEST 00001298: PUSH1 0x20 0000129a: MUL 0000129b: PUSH1 0x20 0000129d: ADD 0000129e: ADD 0000129f: MLOAD 000012a0: DUP8 000012a1: DUP4 000012a2: DUP2 000012a3: MLOAD 000012a4: DUP2 000012a5: LT 000012a6: PUSH2 0x12ab 000012a9: JUMPI 000012aa: INVALID 000012ab: JUMPDEST 000012ac: PUSH1 0x20 000012ae: MUL 000012af: PUSH1 0x20 000012b1: ADD 000012b2: ADD 000012b3: MLOAD 000012b4: DUP8 000012b5: DUP5 000012b6: DUP2 000012b7: MLOAD 000012b8: DUP2 000012b9: LT 000012ba: PUSH2 0x12bf 000012bd: JUMPI 000012be: INVALID 000012bf: JUMPDEST 000012c0: PUSH1 0x20 000012c2: MUL 000012c3: PUSH1 0x20 000012c5: ADD 000012c6: ADD 000012c7: MLOAD 000012c8: DUP7 000012c9: PUSH2 0x1eeb 000012cc: JUMP 000012cd: JUMPDEST 000012ce: DUP5 000012cf: ADD 000012d0: SWAP4 000012d1: POP 000012d2: DUP1 000012d3: DUP1 000012d4: PUSH1 0x01 000012d6: ADD 000012d7: SWAP2 000012d8: POP 000012d9: POP 000012da: PUSH2 0x1280 000012dd: JUMP 000012de: JUMPDEST 000012df: POP 000012e0: PUSH1 0x00 000012e2: DUP4 000012e3: GT 000012e4: ISZERO 000012e5: PUSH2 0x1315 000012e8: JUMPI 000012e9: PUSH2 0x1314 000012ec: PUSH1 0x06 000012ee: PUSH1 0x00 000012f0: SWAP1 000012f1: SLOAD 000012f2: SWAP1 000012f3: PUSH2 0x0100 000012f6: EXP 000012f7: SWAP1 000012f8: DIV 000012f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000130e: AND 0000130f: DUP5 00001310: PUSH2 0x1d9e 00001313: JUMP 00001314: JUMPDEST 00001315: JUMPDEST 00001316: POP 00001317: POP 00001318: POP 00001319: POP 0000131a: POP 0000131b: POP 0000131c: JUMP 0000131d: JUMPDEST 0000131e: PUSH1 0x00 00001320: PUSH1 0x06 00001322: PUSH1 0x00 00001324: SWAP1 00001325: SLOAD 00001326: SWAP1 00001327: PUSH2 0x0100 0000132a: EXP 0000132b: SWAP1 0000132c: DIV 0000132d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001342: AND 00001343: SWAP1 00001344: POP 00001345: SWAP1 00001346: JUMP 00001347: JUMPDEST 00001348: PUSH1 0x00 0000134a: ISZERO 0000134b: ISZERO 0000134c: PUSH1 0x09 0000134e: PUSH1 0x00 00001350: SWAP1 00001351: SLOAD 00001352: SWAP1 00001353: PUSH2 0x0100 00001356: EXP 00001357: SWAP1 00001358: DIV 00001359: PUSH1 0xff 0000135b: AND 0000135c: ISZERO 0000135d: ISZERO 0000135e: EQ 0000135f: PUSH2 0x13d0 00001362: JUMPI 00001363: PUSH1 0x40 00001365: MLOAD 00001366: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001387: DUP2 00001388: MSTORE 00001389: PUSH1 0x04 0000138b: ADD 0000138c: DUP1 0000138d: DUP1 0000138e: PUSH1 0x20 00001390: ADD 00001391: DUP3 00001392: DUP2 00001393: SUB 00001394: DUP3 00001395: MSTORE 00001396: PUSH1 0x06 00001398: DUP2 00001399: MSTORE 0000139a: PUSH1 0x20 0000139c: ADD 0000139d: DUP1 0000139e: PUSH32 0x48616c7465640000000000000000000000000000000000000000000000000000 000013bf: DUP2 000013c0: MSTORE 000013c1: POP 000013c2: PUSH1 0x20 000013c4: ADD 000013c5: SWAP2 000013c6: POP 000013c7: POP 000013c8: PUSH1 0x40 000013ca: MLOAD 000013cb: DUP1 000013cc: SWAP2 000013cd: SUB 000013ce: SWAP1 000013cf: REVERT 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: CALLER 000013d4: SWAP1 000013d5: POP 000013d6: PUSH1 0x00 000013d8: PUSH2 0x13e0 000013db: CALLVALUE 000013dc: PUSH2 0x2082 000013df: JUMP 000013e0: JUMPDEST 000013e1: SWAP1 000013e2: POP 000013e3: PUSH2 0x13ea 000013e6: PUSH2 0x2167 000013e9: JUMP 000013ea: JUMPDEST 000013eb: PUSH2 0x13f3 000013ee: DUP5 000013ef: PUSH2 0x1cf1 000013f2: JUMP 000013f3: JUMPDEST 000013f4: SWAP1 000013f5: POP 000013f6: PUSH1 0x00 000013f8: DUP2 000013f9: PUSH1 0x00 000013fb: ADD 000013fc: MLOAD 000013fd: SWAP1 000013fe: POP 000013ff: PUSH1 0x00 00001401: DUP1 00001402: DUP3 00001403: EQ 00001404: PUSH2 0x1425 00001407: JUMPI 00001408: PUSH2 0x1420 0000140b: PUSH1 0x64 0000140d: PUSH1 0x01 0000140f: SLOAD 00001410: DUP5 00001411: MUL 00001412: DUP2 00001413: PUSH2 0x1418 00001416: JUMPI 00001417: INVALID 00001418: JUMPDEST 00001419: DIV 0000141a: DUP4 0000141b: ADD 0000141c: PUSH2 0x2082 0000141f: JUMP 00001420: JUMPDEST 00001421: PUSH2 0x1429 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH1 0x00 00001428: SLOAD 00001429: JUMPDEST 0000142a: SWAP1 0000142b: POP 0000142c: DUP1 0000142d: DUP5 0000142e: LT 0000142f: ISZERO 00001430: PUSH2 0x14a1 00001433: JUMPI 00001434: PUSH1 0x40 00001436: MLOAD 00001437: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001458: DUP2 00001459: MSTORE 0000145a: PUSH1 0x04 0000145c: ADD 0000145d: DUP1 0000145e: DUP1 0000145f: PUSH1 0x20 00001461: ADD 00001462: DUP3 00001463: DUP2 00001464: SUB 00001465: DUP3 00001466: MSTORE 00001467: PUSH1 0x0d 00001469: DUP2 0000146a: MSTORE 0000146b: PUSH1 0x20 0000146d: ADD 0000146e: DUP1 0000146f: PUSH32 0x4f6666657220746f6f206c6f7700000000000000000000000000000000000000 00001490: DUP2 00001491: MSTORE 00001492: POP 00001493: PUSH1 0x20 00001495: ADD 00001496: SWAP2 00001497: POP 00001498: POP 00001499: PUSH1 0x40 0000149b: MLOAD 0000149c: DUP1 0000149d: SWAP2 0000149e: SUB 0000149f: SWAP1 000014a0: REVERT 000014a1: JUMPDEST 000014a2: PUSH1 0x00 000014a4: DUP4 000014a5: PUSH1 0x20 000014a7: ADD 000014a8: MLOAD 000014a9: SWAP1 000014aa: POP 000014ab: PUSH1 0x00 000014ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c2: AND 000014c3: DUP2 000014c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d9: AND 000014da: EQ 000014db: PUSH2 0x14ea 000014de: JUMPI 000014df: PUSH2 0x14e8 000014e2: DUP2 000014e3: DUP5 000014e4: PUSH2 0x209c 000014e7: JUMP 000014e8: JUMPDEST 000014e9: POP 000014ea: JUMPDEST 000014eb: DUP5 000014ec: DUP5 000014ed: PUSH1 0x00 000014ef: ADD 000014f0: DUP2 000014f1: DUP2 000014f2: MSTORE 000014f3: POP 000014f4: POP 000014f5: DUP6 000014f6: DUP5 000014f7: PUSH1 0x20 000014f9: ADD 000014fa: SWAP1 000014fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001510: AND 00001511: SWAP1 00001512: DUP2 00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001528: AND 00001529: DUP2 0000152a: MSTORE 0000152b: POP 0000152c: POP 0000152d: PUSH1 0x02 0000152f: SLOAD 00001530: TIMESTAMP 00001531: ADD 00001532: DUP5 00001533: PUSH1 0x40 00001535: ADD 00001536: DUP2 00001537: DUP2 00001538: MSTORE 00001539: POP 0000153a: POP 0000153b: PUSH2 0x1544 0000153e: DUP8 0000153f: DUP6 00001540: PUSH2 0x1e7f 00001543: JUMP 00001544: JUMPDEST 00001545: DUP1 00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155b: AND 0000155c: DUP7 0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001572: AND 00001573: DUP9 00001574: PUSH32 0xfe4b2181133367c2c2495fc805ab2fd1dff5d2af5a1ea8b412a34d9c65bfc153 00001595: DUP9 00001596: TIMESTAMP 00001597: PUSH1 0x40 00001599: MLOAD 0000159a: DUP1 0000159b: DUP4 0000159c: DUP2 0000159d: MSTORE 0000159e: PUSH1 0x20 000015a0: ADD 000015a1: DUP3 000015a2: DUP2 000015a3: MSTORE 000015a4: PUSH1 0x20 000015a6: ADD 000015a7: SWAP3 000015a8: POP 000015a9: POP 000015aa: POP 000015ab: PUSH1 0x40 000015ad: MLOAD 000015ae: DUP1 000015af: SWAP2 000015b0: SUB 000015b1: SWAP1 000015b2: LOG4 000015b3: POP 000015b4: POP 000015b5: POP 000015b6: POP 000015b7: POP 000015b8: POP 000015b9: POP 000015ba: JUMP 000015bb: JUMPDEST 000015bc: PUSH1 0x00 000015be: DUP1 000015bf: SLOAD 000015c0: SWAP1 000015c1: POP 000015c2: SWAP1 000015c3: JUMP 000015c4: JUMPDEST 000015c5: PUSH1 0x06 000015c7: PUSH1 0x00 000015c9: SWAP1 000015ca: SLOAD 000015cb: SWAP1 000015cc: PUSH2 0x0100 000015cf: EXP 000015d0: SWAP1 000015d1: DIV 000015d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e7: AND 000015e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015fd: AND 000015fe: CALLER 000015ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001614: AND 00001615: EQ 00001616: PUSH2 0x1687 00001619: JUMPI 0000161a: PUSH1 0x40 0000161c: MLOAD 0000161d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000163e: DUP2 0000163f: MSTORE 00001640: PUSH1 0x04 00001642: ADD 00001643: DUP1 00001644: DUP1 00001645: PUSH1 0x20 00001647: ADD 00001648: DUP3 00001649: DUP2 0000164a: SUB 0000164b: DUP3 0000164c: MSTORE 0000164d: PUSH1 0x0a 0000164f: DUP2 00001650: MSTORE 00001651: PUSH1 0x20 00001653: ADD 00001654: DUP1 00001655: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 00001676: DUP2 00001677: MSTORE 00001678: POP 00001679: PUSH1 0x20 0000167b: ADD 0000167c: SWAP2 0000167d: POP 0000167e: POP 0000167f: PUSH1 0x40 00001681: MLOAD 00001682: DUP1 00001683: SWAP2 00001684: SUB 00001685: SWAP1 00001686: REVERT 00001687: JUMPDEST 00001688: DUP1 00001689: PUSH1 0x06 0000168b: PUSH1 0x00 0000168d: PUSH2 0x0100 00001690: EXP 00001691: DUP2 00001692: SLOAD 00001693: DUP2 00001694: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a9: MUL 000016aa: NOT 000016ab: AND 000016ac: SWAP1 000016ad: DUP4 000016ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c3: AND 000016c4: MUL 000016c5: OR 000016c6: SWAP1 000016c7: SSTORE 000016c8: POP 000016c9: POP 000016ca: JUMP 000016cb: JUMPDEST 000016cc: PUSH1 0x06 000016ce: PUSH1 0x00 000016d0: SWAP1 000016d1: SLOAD 000016d2: SWAP1 000016d3: PUSH2 0x0100 000016d6: EXP 000016d7: SWAP1 000016d8: DIV 000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ee: AND 000016ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001704: AND 00001705: CALLER 00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171b: AND 0000171c: EQ 0000171d: PUSH2 0x178e 00001720: JUMPI 00001721: PUSH1 0x40 00001723: MLOAD 00001724: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001745: DUP2 00001746: MSTORE 00001747: PUSH1 0x04 00001749: ADD 0000174a: DUP1 0000174b: DUP1 0000174c: PUSH1 0x20 0000174e: ADD 0000174f: DUP3 00001750: DUP2 00001751: SUB 00001752: DUP3 00001753: MSTORE 00001754: PUSH1 0x0a 00001756: DUP2 00001757: MSTORE 00001758: PUSH1 0x20 0000175a: ADD 0000175b: DUP1 0000175c: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 0000177d: DUP2 0000177e: MSTORE 0000177f: POP 00001780: PUSH1 0x20 00001782: ADD 00001783: SWAP2 00001784: POP 00001785: POP 00001786: PUSH1 0x40 00001788: MLOAD 00001789: DUP1 0000178a: SWAP2 0000178b: SUB 0000178c: SWAP1 0000178d: REVERT 0000178e: JUMPDEST 0000178f: PUSH1 0x64 00001791: DUP2 00001792: GT 00001793: ISZERO 00001794: PUSH2 0x1805 00001797: JUMPI 00001798: PUSH1 0x40 0000179a: MLOAD 0000179b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017bc: DUP2 000017bd: MSTORE 000017be: PUSH1 0x04 000017c0: ADD 000017c1: DUP1 000017c2: DUP1 000017c3: PUSH1 0x20 000017c5: ADD 000017c6: DUP3 000017c7: DUP2 000017c8: SUB 000017c9: DUP3 000017ca: MSTORE 000017cb: PUSH1 0x0f 000017cd: DUP2 000017ce: MSTORE 000017cf: PUSH1 0x20 000017d1: ADD 000017d2: DUP1 000017d3: PUSH32 0x496e76616c69642070657263656e740000000000000000000000000000000000 000017f4: DUP2 000017f5: MSTORE 000017f6: POP 000017f7: PUSH1 0x20 000017f9: ADD 000017fa: SWAP2 000017fb: POP 000017fc: POP 000017fd: PUSH1 0x40 000017ff: MLOAD 00001800: DUP1 00001801: SWAP2 00001802: SUB 00001803: SWAP1 00001804: REVERT 00001805: JUMPDEST 00001806: DUP1 00001807: PUSH1 0x03 00001809: DUP2 0000180a: SWAP1 0000180b: SSTORE 0000180c: POP 0000180d: POP 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH1 0x06 00001812: PUSH1 0x00 00001814: SWAP1 00001815: SLOAD 00001816: SWAP1 00001817: PUSH2 0x0100 0000181a: EXP 0000181b: SWAP1 0000181c: DIV 0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001832: AND 00001833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001848: AND 00001849: CALLER 0000184a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000185f: AND 00001860: EQ 00001861: PUSH2 0x18d2 00001864: JUMPI 00001865: PUSH1 0x40 00001867: MLOAD 00001868: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001889: DUP2 0000188a: MSTORE 0000188b: PUSH1 0x04 0000188d: ADD 0000188e: DUP1 0000188f: DUP1 00001890: PUSH1 0x20 00001892: ADD 00001893: DUP3 00001894: DUP2 00001895: SUB 00001896: DUP3 00001897: MSTORE 00001898: PUSH1 0x0a 0000189a: DUP2 0000189b: MSTORE 0000189c: PUSH1 0x20 0000189e: ADD 0000189f: DUP1 000018a0: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 000018c1: DUP2 000018c2: MSTORE 000018c3: POP 000018c4: PUSH1 0x20 000018c6: ADD 000018c7: SWAP2 000018c8: POP 000018c9: POP 000018ca: PUSH1 0x40 000018cc: MLOAD 000018cd: DUP1 000018ce: SWAP2 000018cf: SUB 000018d0: SWAP1 000018d1: REVERT 000018d2: JUMPDEST 000018d3: DUP1 000018d4: PUSH1 0x01 000018d6: DUP2 000018d7: SWAP1 000018d8: SSTORE 000018d9: POP 000018da: POP 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH1 0x00 000018df: PUSH1 0x02 000018e1: SLOAD 000018e2: SWAP1 000018e3: POP 000018e4: SWAP1 000018e5: JUMP 000018e6: JUMPDEST 000018e7: PUSH1 0x06 000018e9: PUSH1 0x00 000018eb: SWAP1 000018ec: SLOAD 000018ed: SWAP1 000018ee: PUSH2 0x0100 000018f1: EXP 000018f2: SWAP1 000018f3: DIV 000018f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001909: AND 0000190a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191f: AND 00001920: CALLER 00001921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001936: AND 00001937: EQ 00001938: PUSH2 0x19a9 0000193b: JUMPI 0000193c: PUSH1 0x40 0000193e: MLOAD 0000193f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001960: DUP2 00001961: MSTORE 00001962: PUSH1 0x04 00001964: ADD 00001965: DUP1 00001966: DUP1 00001967: PUSH1 0x20 00001969: ADD 0000196a: DUP3 0000196b: DUP2 0000196c: SUB 0000196d: DUP3 0000196e: MSTORE 0000196f: PUSH1 0x0a 00001971: DUP2 00001972: MSTORE 00001973: PUSH1 0x20 00001975: ADD 00001976: DUP1 00001977: PUSH32 0x4f6e6c792041646d696e00000000000000000000000000000000000000000000 00001998: DUP2 00001999: MSTORE 0000199a: POP 0000199b: PUSH1 0x20 0000199d: ADD 0000199e: SWAP2 0000199f: POP 000019a0: POP 000019a1: PUSH1 0x40 000019a3: MLOAD 000019a4: DUP1 000019a5: SWAP2 000019a6: SUB 000019a7: SWAP1 000019a8: REVERT 000019a9: JUMPDEST 000019aa: PUSH3 0x278d00 000019ae: DUP2 000019af: GT 000019b0: ISZERO 000019b1: PUSH2 0x1a22 000019b4: JUMPI 000019b5: PUSH1 0x40 000019b7: MLOAD 000019b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019d9: DUP2 000019da: MSTORE 000019db: PUSH1 0x04 000019dd: ADD 000019de: DUP1 000019df: DUP1 000019e0: PUSH1 0x20 000019e2: ADD 000019e3: DUP3 000019e4: DUP2 000019e5: SUB 000019e6: DUP3 000019e7: MSTORE 000019e8: PUSH1 0x10 000019ea: DUP2 000019eb: MSTORE 000019ec: PUSH1 0x20 000019ee: ADD 000019ef: DUP1 000019f0: PUSH32 0x496e76616c6964206475726174696f6e00000000000000000000000000000000 00001a11: DUP2 00001a12: MSTORE 00001a13: POP 00001a14: PUSH1 0x20 00001a16: ADD 00001a17: SWAP2 00001a18: POP 00001a19: POP 00001a1a: PUSH1 0x40 00001a1c: MLOAD 00001a1d: DUP1 00001a1e: SWAP2 00001a1f: SUB 00001a20: SWAP1 00001a21: REVERT 00001a22: JUMPDEST 00001a23: DUP1 00001a24: PUSH1 0x02 00001a26: DUP2 00001a27: SWAP1 00001a28: SSTORE 00001a29: POP 00001a2a: POP 00001a2b: JUMP 00001a2c: JUMPDEST 00001a2d: PUSH1 0x60 00001a2f: PUSH1 0x07 00001a31: DUP1 00001a32: SLOAD 00001a33: DUP1 00001a34: PUSH1 0x20 00001a36: MUL 00001a37: PUSH1 0x20 00001a39: ADD 00001a3a: PUSH1 0x40 00001a3c: MLOAD 00001a3d: SWAP1 00001a3e: DUP2 00001a3f: ADD 00001a40: PUSH1 0x40 00001a42: MSTORE 00001a43: DUP1 00001a44: SWAP3 00001a45: SWAP2 00001a46: SWAP1 00001a47: DUP2 00001a48: DUP2 00001a49: MSTORE 00001a4a: PUSH1 0x20 00001a4c: ADD 00001a4d: DUP3 00001a4e: DUP1 00001a4f: SLOAD 00001a50: DUP1 00001a51: ISZERO 00001a52: PUSH2 0x1ab0 00001a55: JUMPI 00001a56: PUSH1 0x20 00001a58: MUL 00001a59: DUP3 00001a5a: ADD 00001a5b: SWAP2 00001a5c: SWAP1 00001a5d: PUSH1 0x00 00001a5f: MSTORE 00001a60: PUSH1 0x20 00001a62: PUSH1 0x00 00001a64: KECCAK256 00001a65: SWAP1 00001a66: JUMPDEST 00001a67: DUP2 00001a68: PUSH1 0x00 00001a6a: SWAP1 00001a6b: SLOAD 00001a6c: SWAP1 00001a6d: PUSH2 0x0100 00001a70: EXP 00001a71: SWAP1 00001a72: DIV 00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a88: AND 00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9e: AND 00001a9f: DUP2 00001aa0: MSTORE 00001aa1: PUSH1 0x20 00001aa3: ADD 00001aa4: SWAP1 00001aa5: PUSH1 0x01 00001aa7: ADD 00001aa8: SWAP1 00001aa9: DUP1 00001aaa: DUP4 00001aab: GT 00001aac: PUSH2 0x1a66 00001aaf: JUMPI 00001ab0: JUMPDEST 00001ab1: POP 00001ab2: POP 00001ab3: POP 00001ab4: POP 00001ab5: POP 00001ab6: SWAP1 00001ab7: POP 00001ab8: SWAP1 00001ab9: JUMP 00001aba: JUMPDEST 00001abb: PUSH1 0x00 00001abd: PUSH1 0x05 00001abf: PUSH1 0x00 00001ac1: DUP4 00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad7: AND 00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aed: AND 00001aee: DUP2 00001aef: MSTORE 00001af0: PUSH1 0x20 00001af2: ADD 00001af3: SWAP1 00001af4: DUP2 00001af5: MSTORE 00001af6: PUSH1 0x20 00001af8: ADD 00001af9: PUSH1 0x00 00001afb: KECCAK256 00001afc: SLOAD 00001afd: SWAP1 00001afe: POP 00001aff: SWAP2 00001b00: SWAP1 00001b01: POP 00001b02: JUMP 00001b03: JUMPDEST 00001b04: PUSH1 0x08 00001b06: PUSH1 0x00 00001b08: CALLER 00001b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1e: AND 00001b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b34: AND 00001b35: DUP2 00001b36: MSTORE 00001b37: PUSH1 0x20 00001b39: ADD 00001b3a: SWAP1 00001b3b: DUP2 00001b3c: MSTORE 00001b3d: PUSH1 0x20 00001b3f: ADD 00001b40: PUSH1 0x00 00001b42: KECCAK256 00001b43: PUSH1 0x00 00001b45: SWAP1 00001b46: SLOAD 00001b47: SWAP1 00001b48: PUSH2 0x0100 00001b4b: EXP 00001b4c: SWAP1 00001b4d: DIV 00001b4e: PUSH1 0xff 00001b50: AND 00001b51: DUP1 00001b52: PUSH2 0x1ba8 00001b55: JUMPI 00001b56: POP 00001b57: PUSH1 0x06 00001b59: PUSH1 0x00 00001b5b: SWAP1 00001b5c: SLOAD 00001b5d: SWAP1 00001b5e: PUSH2 0x0100 00001b61: EXP 00001b62: SWAP1 00001b63: DIV 00001b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b79: AND 00001b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8f: AND 00001b90: CALLER 00001b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba6: AND 00001ba7: EQ 00001ba8: JUMPDEST 00001ba9: PUSH2 0x1c1a 00001bac: JUMPI 00001bad: PUSH1 0x40 00001baf: MLOAD 00001bb0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bd1: DUP2 00001bd2: MSTORE 00001bd3: PUSH1 0x04 00001bd5: ADD 00001bd6: DUP1 00001bd7: DUP1 00001bd8: PUSH1 0x20 00001bda: ADD 00001bdb: DUP3 00001bdc: DUP2 00001bdd: SUB 00001bde: DUP3 00001bdf: MSTORE 00001be0: PUSH1 0x0e 00001be2: DUP2 00001be3: MSTORE 00001be4: PUSH1 0x20 00001be6: ADD 00001be7: DUP1 00001be8: PUSH32 0x4f6e6c792044656c656761746573000000000000000000000000000000000000 00001c09: DUP2 00001c0a: MSTORE 00001c0b: POP 00001c0c: PUSH1 0x20 00001c0e: ADD 00001c0f: SWAP2 00001c10: POP 00001c11: POP 00001c12: PUSH1 0x40 00001c14: MLOAD 00001c15: DUP1 00001c16: SWAP2 00001c17: SUB 00001c18: SWAP1 00001c19: REVERT 00001c1a: JUMPDEST 00001c1b: PUSH1 0x00 00001c1d: ISZERO 00001c1e: ISZERO 00001c1f: PUSH1 0x09 00001c21: PUSH1 0x00 00001c23: SWAP1 00001c24: SLOAD 00001c25: SWAP1 00001c26: PUSH2 0x0100 00001c29: EXP 00001c2a: SWAP1 00001c2b: DIV 00001c2c: PUSH1 0xff 00001c2e: AND 00001c2f: ISZERO 00001c30: ISZERO 00001c31: EQ 00001c32: PUSH2 0x1ca3 00001c35: JUMPI 00001c36: PUSH1 0x40 00001c38: MLOAD 00001c39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c5a: DUP2 00001c5b: MSTORE 00001c5c: PUSH1 0x04 00001c5e: ADD 00001c5f: DUP1 00001c60: DUP1 00001c61: PUSH1 0x20 00001c63: ADD 00001c64: DUP3 00001c65: DUP2 00001c66: SUB 00001c67: DUP3 00001c68: MSTORE 00001c69: PUSH1 0x06 00001c6b: DUP2 00001c6c: MSTORE 00001c6d: PUSH1 0x20 00001c6f: ADD 00001c70: DUP1 00001c71: PUSH32 0x48616c7465640000000000000000000000000000000000000000000000000000 00001c92: DUP2 00001c93: MSTORE 00001c94: POP 00001c95: PUSH1 0x20 00001c97: ADD 00001c98: SWAP2 00001c99: POP 00001c9a: POP 00001c9b: PUSH1 0x40 00001c9d: MLOAD 00001c9e: DUP1 00001c9f: SWAP2 00001ca0: SUB 00001ca1: SWAP1 00001ca2: REVERT 00001ca3: JUMPDEST 00001ca4: PUSH1 0x00 00001ca6: PUSH2 0x1cb3 00001ca9: DUP5 00001caa: DUP5 00001cab: DUP5 00001cac: PUSH1 0x03 00001cae: SLOAD 00001caf: PUSH2 0x1eeb 00001cb2: JUMP 00001cb3: JUMPDEST 00001cb4: SWAP1 00001cb5: POP 00001cb6: PUSH1 0x00 00001cb8: DUP2 00001cb9: GT 00001cba: ISZERO 00001cbb: PUSH2 0x1ceb 00001cbe: JUMPI 00001cbf: PUSH2 0x1cea 00001cc2: PUSH1 0x06 00001cc4: PUSH1 0x00 00001cc6: SWAP1 00001cc7: SLOAD 00001cc8: SWAP1 00001cc9: PUSH2 0x0100 00001ccc: EXP 00001ccd: SWAP1 00001cce: DIV 00001ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce4: AND 00001ce5: DUP3 00001ce6: PUSH2 0x1d9e 00001ce9: JUMP 00001cea: JUMPDEST 00001ceb: JUMPDEST 00001cec: POP 00001ced: POP 00001cee: POP 00001cef: POP 00001cf0: JUMP 00001cf1: JUMPDEST 00001cf2: PUSH2 0x1cf9 00001cf5: PUSH2 0x2167 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: PUSH1 0x00 00001cfc: PUSH1 0x04 00001cfe: PUSH1 0x00 00001d00: DUP5 00001d01: DUP2 00001d02: MSTORE 00001d03: PUSH1 0x20 00001d05: ADD 00001d06: SWAP1 00001d07: DUP2 00001d08: MSTORE 00001d09: PUSH1 0x20 00001d0b: ADD 00001d0c: PUSH1 0x00 00001d0e: KECCAK256 00001d0f: SLOAD 00001d10: SWAP1 00001d11: POP 00001d12: PUSH5 0x02540be400 00001d18: PUSH8 0xffffffffffffffff 00001d21: DUP3 00001d22: AND 00001d23: MUL 00001d24: DUP3 00001d25: PUSH1 0x00 00001d27: ADD 00001d28: DUP2 00001d29: DUP2 00001d2a: MSTORE 00001d2b: POP 00001d2c: POP 00001d2d: PUSH1 0x40 00001d2f: DUP2 00001d30: SWAP1 00001d31: SHR 00001d32: SWAP1 00001d33: POP 00001d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d49: DUP2 00001d4a: AND 00001d4b: DUP3 00001d4c: PUSH1 0x20 00001d4e: ADD 00001d4f: SWAP1 00001d50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d65: AND 00001d66: SWAP1 00001d67: DUP2 00001d68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d7d: AND 00001d7e: DUP2 00001d7f: MSTORE 00001d80: POP 00001d81: POP 00001d82: PUSH1 0xa0 00001d84: DUP2 00001d85: SWAP1 00001d86: SHR 00001d87: SWAP1 00001d88: POP 00001d89: PUSH4 0xffffffff 00001d8e: DUP2 00001d8f: AND 00001d90: DUP3 00001d91: PUSH1 0x40 00001d93: ADD 00001d94: DUP2 00001d95: DUP2 00001d96: MSTORE 00001d97: POP 00001d98: POP 00001d99: POP 00001d9a: SWAP2 00001d9b: SWAP1 00001d9c: POP 00001d9d: JUMP 00001d9e: JUMPDEST 00001d9f: PUSH1 0x00 00001da1: DUP3 00001da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db7: AND 00001db8: DUP3 00001db9: PUSH1 0x40 00001dbb: MLOAD 00001dbc: DUP1 00001dbd: PUSH1 0x00 00001dbf: ADD 00001dc0: SWAP1 00001dc1: POP 00001dc2: PUSH1 0x00 00001dc4: PUSH1 0x40 00001dc6: MLOAD 00001dc7: DUP1 00001dc8: DUP4 00001dc9: SUB 00001dca: DUP2 00001dcb: DUP6 00001dcc: DUP8 00001dcd: GAS 00001dce: CALL 00001dcf: SWAP3 00001dd0: POP 00001dd1: POP 00001dd2: POP 00001dd3: RETURNDATASIZE 00001dd4: DUP1 00001dd5: PUSH1 0x00 00001dd7: DUP2 00001dd8: EQ 00001dd9: PUSH2 0x1dfe 00001ddc: JUMPI 00001ddd: PUSH1 0x40 00001ddf: MLOAD 00001de0: SWAP2 00001de1: POP 00001de2: PUSH1 0x1f 00001de4: NOT 00001de5: PUSH1 0x3f 00001de7: RETURNDATASIZE 00001de8: ADD 00001de9: AND 00001dea: DUP3 00001deb: ADD 00001dec: PUSH1 0x40 00001dee: MSTORE 00001def: RETURNDATASIZE 00001df0: DUP3 00001df1: MSTORE 00001df2: RETURNDATASIZE 00001df3: PUSH1 0x00 00001df5: PUSH1 0x20 00001df7: DUP5 00001df8: ADD 00001df9: RETURNDATACOPY 00001dfa: PUSH2 0x1e03 00001dfd: JUMP 00001dfe: JUMPDEST 00001dff: PUSH1 0x60 00001e01: SWAP2 00001e02: POP 00001e03: JUMPDEST 00001e04: POP 00001e05: POP 00001e06: SWAP1 00001e07: POP 00001e08: DUP1 00001e09: PUSH2 0x1e7a 00001e0c: JUMPI 00001e0d: PUSH1 0x40 00001e0f: MLOAD 00001e10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e31: DUP2 00001e32: MSTORE 00001e33: PUSH1 0x04 00001e35: ADD 00001e36: DUP1 00001e37: DUP1 00001e38: PUSH1 0x20 00001e3a: ADD 00001e3b: DUP3 00001e3c: DUP2 00001e3d: SUB 00001e3e: DUP3 00001e3f: MSTORE 00001e40: PUSH1 0x0f 00001e42: DUP2 00001e43: MSTORE 00001e44: PUSH1 0x20 00001e46: ADD 00001e47: DUP1 00001e48: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00001e69: DUP2 00001e6a: MSTORE 00001e6b: POP 00001e6c: PUSH1 0x20 00001e6e: ADD 00001e6f: SWAP2 00001e70: POP 00001e71: POP 00001e72: PUSH1 0x40 00001e74: MLOAD 00001e75: DUP1 00001e76: SWAP2 00001e77: SUB 00001e78: SWAP1 00001e79: REVERT 00001e7a: JUMPDEST 00001e7b: POP 00001e7c: POP 00001e7d: POP 00001e7e: JUMP 00001e7f: JUMPDEST 00001e80: PUSH1 0x00 00001e82: DUP2 00001e83: PUSH1 0x40 00001e85: ADD 00001e86: MLOAD 00001e87: DUP2 00001e88: OR 00001e89: SWAP1 00001e8a: POP 00001e8b: PUSH1 0xa0 00001e8d: DUP2 00001e8e: SWAP1 00001e8f: SHL 00001e90: SWAP1 00001e91: POP 00001e92: DUP2 00001e93: PUSH1 0x20 00001e95: ADD 00001e96: MLOAD 00001e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eac: AND 00001ead: DUP2 00001eae: OR 00001eaf: SWAP1 00001eb0: POP 00001eb1: PUSH1 0x40 00001eb3: DUP2 00001eb4: SWAP1 00001eb5: SHL 00001eb6: SWAP1 00001eb7: POP 00001eb8: PUSH5 0x02540be400 00001ebe: DUP3 00001ebf: PUSH1 0x00 00001ec1: ADD 00001ec2: MLOAD 00001ec3: DUP2 00001ec4: PUSH2 0x1ec9 00001ec7: JUMPI 00001ec8: INVALID 00001ec9: JUMPDEST 00001eca: DIV 00001ecb: DUP2 00001ecc: OR 00001ecd: SWAP1 00001ece: POP 00001ecf: DUP1 00001ed0: PUSH1 0x04 00001ed2: PUSH1 0x00 00001ed4: DUP6 00001ed5: DUP2 00001ed6: MSTORE 00001ed7: PUSH1 0x20 00001ed9: ADD 00001eda: SWAP1 00001edb: DUP2 00001edc: MSTORE 00001edd: PUSH1 0x20 00001edf: ADD 00001ee0: PUSH1 0x00 00001ee2: KECCAK256 00001ee3: DUP2 00001ee4: SWAP1 00001ee5: SSTORE 00001ee6: POP 00001ee7: POP 00001ee8: POP 00001ee9: POP 00001eea: JUMP 00001eeb: JUMPDEST 00001eec: PUSH1 0x00 00001eee: PUSH2 0x1ef5 00001ef1: PUSH2 0x2167 00001ef4: JUMP 00001ef5: JUMPDEST 00001ef6: PUSH2 0x1efe 00001ef9: DUP7 00001efa: PUSH2 0x1cf1 00001efd: JUMP 00001efe: JUMPDEST 00001eff: SWAP1 00001f00: POP 00001f01: PUSH1 0x00 00001f03: DUP2 00001f04: PUSH1 0x20 00001f06: ADD 00001f07: MLOAD 00001f08: SWAP1 00001f09: POP 00001f0a: PUSH1 0x00 00001f0c: DUP3 00001f0d: PUSH1 0x00 00001f0f: ADD 00001f10: MLOAD 00001f11: SWAP1 00001f12: POP 00001f13: DUP6 00001f14: DUP2 00001f15: LT 00001f16: ISZERO 00001f17: PUSH2 0x1f88 00001f1a: JUMPI 00001f1b: PUSH1 0x40 00001f1d: MLOAD 00001f1e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f3f: DUP2 00001f40: MSTORE 00001f41: PUSH1 0x04 00001f43: ADD 00001f44: DUP1 00001f45: DUP1 00001f46: PUSH1 0x20 00001f48: ADD 00001f49: DUP3 00001f4a: DUP2 00001f4b: SUB 00001f4c: DUP3 00001f4d: MSTORE 00001f4e: PUSH1 0x14 00001f50: DUP2 00001f51: MSTORE 00001f52: PUSH1 0x20 00001f54: ADD 00001f55: DUP1 00001f56: PUSH32 0x42656c6f77206578706563746564207072696365000000000000000000000000 00001f77: DUP2 00001f78: MSTORE 00001f79: POP 00001f7a: PUSH1 0x20 00001f7c: ADD 00001f7d: SWAP2 00001f7e: POP 00001f7f: POP 00001f80: PUSH1 0x40 00001f82: MLOAD 00001f83: DUP1 00001f84: SWAP2 00001f85: SUB 00001f86: SWAP1 00001f87: REVERT 00001f88: JUMPDEST 00001f89: PUSH1 0x00 00001f8b: PUSH1 0x64 00001f8d: DUP7 00001f8e: DUP4 00001f8f: MUL 00001f90: DUP2 00001f91: PUSH2 0x1f96 00001f94: JUMPI 00001f95: INVALID 00001f96: JUMPDEST 00001f97: DIV 00001f98: SWAP1 00001f99: POP 00001f9a: PUSH1 0x00 00001f9c: DUP2 00001f9d: DUP4 00001f9e: SUB 00001f9f: SWAP1 00001fa0: POP 00001fa1: PUSH1 0x00 00001fa3: DUP6 00001fa4: PUSH1 0x00 00001fa6: ADD 00001fa7: DUP2 00001fa8: DUP2 00001fa9: MSTORE 00001faa: POP 00001fab: POP 00001fac: PUSH1 0x00 00001fae: DUP6 00001faf: PUSH1 0x20 00001fb1: ADD 00001fb2: SWAP1 00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc8: AND 00001fc9: SWAP1 00001fca: DUP2 00001fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe0: AND 00001fe1: DUP2 00001fe2: MSTORE 00001fe3: POP 00001fe4: POP 00001fe5: PUSH1 0x00 00001fe7: DUP6 00001fe8: PUSH1 0x40 00001fea: ADD 00001feb: DUP2 00001fec: DUP2 00001fed: MSTORE 00001fee: POP 00001fef: POP 00001ff0: PUSH2 0x1ff9 00001ff3: DUP11 00001ff4: DUP7 00001ff5: PUSH2 0x1e7f 00001ff8: JUMP 00001ff9: JUMPDEST 00001ffa: PUSH2 0x2003 00001ffd: DUP10 00001ffe: DUP3 00001fff: PUSH2 0x209c 00002002: JUMP 00002003: JUMPDEST 00002004: POP 00002005: DUP4 00002006: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000201b: AND 0000201c: DUP10 0000201d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002032: AND 00002033: DUP12 00002034: PUSH32 0x9bcfba2ae0934dcc1205e940c483479074906770c6c96879b5f1d980426c268b 00002055: DUP7 00002056: TIMESTAMP 00002057: PUSH1 0x40 00002059: MLOAD 0000205a: DUP1 0000205b: DUP4 0000205c: DUP2 0000205d: MSTORE 0000205e: PUSH1 0x20 00002060: ADD 00002061: DUP3 00002062: DUP2 00002063: MSTORE 00002064: PUSH1 0x20 00002066: ADD 00002067: SWAP3 00002068: POP 00002069: POP 0000206a: POP 0000206b: PUSH1 0x40 0000206d: MLOAD 0000206e: DUP1 0000206f: SWAP2 00002070: SUB 00002071: SWAP1 00002072: LOG4 00002073: DUP2 00002074: SWAP6 00002075: POP 00002076: POP 00002077: POP 00002078: POP 00002079: POP 0000207a: POP 0000207b: SWAP5 0000207c: SWAP4 0000207d: POP 0000207e: POP 0000207f: POP 00002080: POP 00002081: JUMP 00002082: JUMPDEST 00002083: PUSH1 0x00 00002085: PUSH5 0x02540be400 0000208b: DUP3 0000208c: DUP2 0000208d: PUSH2 0x2092 00002090: JUMPI 00002091: INVALID 00002092: JUMPDEST 00002093: MOD 00002094: DUP3 00002095: SUB 00002096: SWAP1 00002097: POP 00002098: SWAP2 00002099: SWAP1 0000209a: POP 0000209b: JUMP 0000209c: JUMPDEST 0000209d: PUSH1 0x00 0000209f: DUP1 000020a0: DUP4 000020a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020b6: AND 000020b7: DUP4 000020b8: PUSH1 0x00 000020ba: SWAP1 000020bb: PUSH1 0x40 000020bd: MLOAD 000020be: DUP1 000020bf: PUSH1 0x00 000020c1: ADD 000020c2: SWAP1 000020c3: POP 000020c4: PUSH1 0x00 000020c6: PUSH1 0x40 000020c8: MLOAD 000020c9: DUP1 000020ca: DUP4 000020cb: SUB 000020cc: DUP2 000020cd: DUP6 000020ce: DUP9 000020cf: DUP9 000020d0: CALL 000020d1: SWAP4 000020d2: POP 000020d3: POP 000020d4: POP 000020d5: POP 000020d6: RETURNDATASIZE 000020d7: DUP1 000020d8: PUSH1 0x00 000020da: DUP2 000020db: EQ 000020dc: PUSH2 0x2101 000020df: JUMPI 000020e0: PUSH1 0x40 000020e2: MLOAD 000020e3: SWAP2 000020e4: POP 000020e5: PUSH1 0x1f 000020e7: NOT 000020e8: PUSH1 0x3f 000020ea: RETURNDATASIZE 000020eb: ADD 000020ec: AND 000020ed: DUP3 000020ee: ADD 000020ef: PUSH1 0x40 000020f1: MSTORE 000020f2: RETURNDATASIZE 000020f3: DUP3 000020f4: MSTORE 000020f5: RETURNDATASIZE 000020f6: PUSH1 0x00 000020f8: PUSH1 0x20 000020fa: DUP5 000020fb: ADD 000020fc: RETURNDATACOPY 000020fd: PUSH2 0x2106 00002100: JUMP 00002101: JUMPDEST 00002102: PUSH1 0x60 00002104: SWAP2 00002105: POP 00002106: JUMPDEST 00002107: POP 00002108: POP 00002109: SWAP1 0000210a: POP 0000210b: DUP1 0000210c: PUSH2 0x215d 0000210f: JUMPI 00002110: DUP3 00002111: PUSH1 0x05 00002113: PUSH1 0x00 00002115: DUP7 00002116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000212b: AND 0000212c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002141: AND 00002142: DUP2 00002143: MSTORE 00002144: PUSH1 0x20 00002146: ADD 00002147: SWAP1 00002148: DUP2 00002149: MSTORE 0000214a: PUSH1 0x20 0000214c: ADD 0000214d: PUSH1 0x00 0000214f: KECCAK256 00002150: PUSH1 0x00 00002152: DUP3 00002153: DUP3 00002154: SLOAD 00002155: ADD 00002156: SWAP3 00002157: POP 00002158: POP 00002159: DUP2 0000215a: SWAP1 0000215b: SSTORE 0000215c: POP 0000215d: JUMPDEST 0000215e: DUP1 0000215f: SWAP2 00002160: POP 00002161: POP 00002162: SWAP3 00002163: SWAP2 00002164: POP 00002165: POP 00002166: JUMP 00002167: JUMPDEST 00002168: PUSH1 0x40 0000216a: MLOAD 0000216b: DUP1 0000216c: PUSH1 0x60 0000216e: ADD 0000216f: PUSH1 0x40 00002171: MSTORE 00002172: DUP1 00002173: PUSH1 0x00 00002175: DUP2 00002176: MSTORE 00002177: PUSH1 0x20 00002179: ADD 0000217a: PUSH1 0x00 0000217c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002191: AND 00002192: DUP2 00002193: MSTORE 00002194: PUSH1 0x20 00002196: ADD 00002197: PUSH1 0x00 00002199: DUP2 0000219a: MSTORE 0000219b: POP 0000219c: SWAP1 0000219d: JUMP 0000219e: INVALID 0000219f: NUMBER 000021a0: PUSH22 0x7272656e742068696768206f66666572207573657320 000021b7: PUSH2 0x2064 000021ba: PUSH10 0x66666572656e74206164 000021c5: PUSH5 0x72657373a2 000021cb: PUSH5 0x6970667358 000021d1: UNKNOWN(0x22) 000021d2: SLT 000021d3: KECCAK256 000021d4: UNKNOWN(0xF6) 000021d5: UNKNOWN(0xEC) 000021d6: UNKNOWN(0xE9) 000021d7: UNKNOWN(0xD6) 000021d8: OR 000021d9: PUSH3 0x10cd50 000021dd: UNKNOWN(0xD2) 000021de: SLT 000021df: DUP4 000021e0: NUMBER 000021e1: UNKNOWN(0xE6) 000021e2: MSTORE 000021e3: STOP 000021e4: UNKNOWN(0xAF) 000021e5: UNKNOWN(0x0E) 000021e6: UNKNOWN(0xDC) 000021e7: UNKNOWN(0x0D) 000021e8: UNKNOWN(0xEB) 000021e9: UNKNOWN(0xC6) 000021ea: PUSH9 0x84811b2c9acbfa63b9 000021f4: PUSH5 0x736f6c6343 000021fa: STOP 000021fb: MOD 000021fc: UNKNOWN(0x0C) 000021fd: STOP 000021fe: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xaa0c211cfc9c84165dfecaa4e7858d437cce786a3f62a2cf038e84675ce707c4
call_targets:
0xe14ab3ee81abe340b45bb26b1b166a7d2df22585
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xaa0c211cfc9c84165dfecaa4e7858d437cce786a3f62a2cf038e84675ce707c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe14ab3ee81abe340b45bb26b1b166a7d2df22585"
],
"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": "0xb8b614a2",
"selector": "0xb8b614a2",
"calldata_variants": [
"0xb8b614a2",
"0xb8b614a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc9fe3af",
"selector": "0xcc9fe3af",
"calldata_variants": [
"0xcc9fe3af",
"0xcc9fe3af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe20b9cff",
"selector": "0xe20b9cff",
"calldata_variants": [
"0xe20b9cff",
"0xe20b9cff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7b6853",
"selector": "0xfc7b6853",
"calldata_variants": [
"0xfc7b6853",
"0xfc7b68530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x761610fc",
"selector": "0x761610fc",
"calldata_variants": [
"0x761610fc",
"0x761610fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x772ed8f8",
"selector": "0x772ed8f8",
"calldata_variants": [
"0x772ed8f8",
"0x772ed8f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2222,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3997,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4314,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5630,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5893,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6217,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7056,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xaa0c211cfc9c84165dfecaa4e7858d437cce786a3f62a2cf038e84675ce707c4
call_targets:
0xe14ab3ee81abe340b45bb26b1b166a7d2df22585
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xaa0c211cfc9c84165dfecaa4e7858d437cce786a3f62a2cf038e84675ce707c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe14ab3ee81abe340b45bb26b1b166a7d2df22585"
],
"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": "0xb8b614a2",
"selector": "0xb8b614a2",
"calldata_variants": [
"0xb8b614a2",
"0xb8b614a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc9fe3af",
"selector": "0xcc9fe3af",
"calldata_variants": [
"0xcc9fe3af",
"0xcc9fe3af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe20b9cff",
"selector": "0xe20b9cff",
"calldata_variants": [
"0xe20b9cff",
"0xe20b9cff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7b6853",
"selector": "0xfc7b6853",
"calldata_variants": [
"0xfc7b6853",
"0xfc7b68530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x761610fc",
"selector": "0x761610fc",
"calldata_variants": [
"0x761610fc",
"0x761610fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x772ed8f8",
"selector": "0x772ed8f8",
"calldata_variants": [
"0x772ed8f8",
"0x772ed8f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2222,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3997,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4314,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5630,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5893,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6217,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7056,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|