019b477e-b23b-7208-9a74-58455e032f34
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 |
|---|---|---|---|---|
| 22299 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22300 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65930 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65931 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65932 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65933 | 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 0x00e2 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x080bdfa8 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x00e7 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x1d65551d 0000002d: EQ 0000002e: PUSH2 0x0118 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x23017a3a 00000038: EQ 00000039: PUSH2 0x013b 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x31f09265 00000043: EQ 00000044: PUSH2 0x0150 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x34814e58 0000004e: EQ 0000004f: PUSH2 0x0181 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x47e7ef24 00000059: EQ 0000005a: PUSH2 0x01bc 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x67aa50ae 00000064: EQ 00000065: PUSH2 0x01d3 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x715018a6 0000006f: EQ 00000070: PUSH2 0x01f4 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x8da5cb5b 0000007a: EQ 0000007b: PUSH2 0x0209 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x95b8cf55 00000085: EQ 00000086: PUSH2 0x021e 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0xc43c633b 00000090: EQ 00000091: PUSH2 0x023f 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0xe12cbb3c 0000009b: EQ 0000009c: PUSH2 0x0278 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xe1c3aedc 000000a6: EQ 000000a7: PUSH2 0x028d 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xea42418b 000000b1: EQ 000000b2: PUSH2 0x02ae 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xf2fde38b 000000bc: EQ 000000bd: PUSH2 0x02c3 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xf7cdf47c 000000c7: EQ 000000c8: PUSH2 0x02e4 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xfc257baa 000000d2: EQ 000000d3: PUSH2 0x02f9 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xffa1ad74 000000dd: EQ 000000de: PUSH2 0x0320 000000e1: JUMPI 000000e2: JUMPDEST 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: CALLVALUE 000000e9: DUP1 000000ea: ISZERO 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: POP 000000f5: PUSH2 0x00fc 000000f8: PUSH2 0x03aa 000000fb: JUMP 000000fc: JUMPDEST 000000fd: PUSH1 0x40 000000ff: DUP1 00000100: MLOAD 00000101: PUSH1 0x01 00000103: PUSH1 0xa0 00000105: PUSH1 0x02 00000107: EXP 00000108: SUB 00000109: SWAP1 0000010a: SWAP3 0000010b: AND 0000010c: DUP3 0000010d: MSTORE 0000010e: MLOAD 0000010f: SWAP1 00000110: DUP2 00000111: SWAP1 00000112: SUB 00000113: PUSH1 0x20 00000115: ADD 00000116: SWAP1 00000117: RETURN 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x0139 00000129: PUSH1 0x01 0000012b: PUSH1 0xa0 0000012d: PUSH1 0x02 0000012f: EXP 00000130: SUB 00000131: PUSH1 0x04 00000133: CALLDATALOAD 00000134: AND 00000135: PUSH2 0x03b9 00000138: JUMP 00000139: JUMPDEST 0000013a: STOP 0000013b: JUMPDEST 0000013c: CALLVALUE 0000013d: DUP1 0000013e: ISZERO 0000013f: PUSH2 0x0147 00000142: JUMPI 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH2 0x00fc 0000014c: PUSH2 0x0447 0000014f: JUMP 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x0139 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATALOAD 00000165: PUSH1 0x01 00000167: PUSH1 0xa0 00000169: PUSH1 0x02 0000016b: EXP 0000016c: SUB 0000016d: AND 0000016e: SWAP1 0000016f: PUSH1 0x24 00000171: DUP1 00000172: CALLDATALOAD 00000173: SWAP2 00000174: PUSH1 0x44 00000176: CALLDATALOAD 00000177: SWAP2 00000178: DUP3 00000179: ADD 0000017a: SWAP2 0000017b: ADD 0000017c: CALLDATALOAD 0000017d: PUSH2 0x0456 00000180: JUMP 00000181: JUMPDEST 00000182: CALLVALUE 00000183: DUP1 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: POP 0000018f: PUSH2 0x0139 00000192: PUSH1 0x01 00000194: PUSH1 0xa0 00000196: PUSH1 0x02 00000198: EXP 00000199: SUB 0000019a: PUSH1 0x04 0000019c: CALLDATALOAD 0000019d: DUP2 0000019e: AND 0000019f: SWAP1 000001a0: PUSH1 0x24 000001a2: CALLDATALOAD 000001a3: DUP2 000001a4: AND 000001a5: SWAP1 000001a6: PUSH1 0x44 000001a8: CALLDATALOAD 000001a9: DUP2 000001aa: AND 000001ab: SWAP1 000001ac: PUSH1 0x64 000001ae: CALLDATALOAD 000001af: SWAP1 000001b0: PUSH1 0x84 000001b2: CALLDATALOAD 000001b3: SWAP1 000001b4: PUSH1 0xa4 000001b6: CALLDATALOAD 000001b7: AND 000001b8: PUSH2 0x07ab 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH2 0x0139 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: PUSH1 0x02 000001c6: EXP 000001c7: SUB 000001c8: PUSH1 0x04 000001ca: CALLDATALOAD 000001cb: AND 000001cc: PUSH1 0x24 000001ce: CALLDATALOAD 000001cf: PUSH2 0x0a24 000001d2: JUMP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01df 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: POP 000001e1: PUSH2 0x0139 000001e4: PUSH1 0x01 000001e6: PUSH1 0xa0 000001e8: PUSH1 0x02 000001ea: EXP 000001eb: SUB 000001ec: PUSH1 0x04 000001ee: CALLDATALOAD 000001ef: AND 000001f0: PUSH2 0x0b52 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH2 0x0139 00000205: PUSH2 0x0be0 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x00fc 0000021a: PUSH2 0x0c4c 0000021d: JUMP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0139 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: PUSH1 0x04 00000239: CALLDATALOAD 0000023a: AND 0000023b: PUSH2 0x0c5b 0000023e: JUMP 0000023f: JUMPDEST 00000240: CALLVALUE 00000241: DUP1 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: POP 0000024d: PUSH2 0x0266 00000250: PUSH1 0x01 00000252: PUSH1 0xa0 00000254: PUSH1 0x02 00000256: EXP 00000257: SUB 00000258: PUSH1 0x04 0000025a: CALLDATALOAD 0000025b: DUP2 0000025c: AND 0000025d: SWAP1 0000025e: PUSH1 0x24 00000260: CALLDATALOAD 00000261: AND 00000262: PUSH2 0x0c84 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: DUP1 0000026a: MLOAD 0000026b: SWAP2 0000026c: DUP3 0000026d: MSTORE 0000026e: MLOAD 0000026f: SWAP1 00000270: DUP2 00000271: SWAP1 00000272: SUB 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP1 00000277: RETURN 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x0266 00000289: PUSH2 0x0ca1 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x0139 0000029e: PUSH1 0x01 000002a0: PUSH1 0xa0 000002a2: PUSH1 0x02 000002a4: EXP 000002a5: SUB 000002a6: PUSH1 0x04 000002a8: CALLDATALOAD 000002a9: AND 000002aa: PUSH2 0x0ca8 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x00fc 000002bf: PUSH2 0x0d36 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH2 0x0139 000002d4: PUSH1 0x01 000002d6: PUSH1 0xa0 000002d8: PUSH1 0x02 000002da: EXP 000002db: SUB 000002dc: PUSH1 0x04 000002de: CALLDATALOAD 000002df: AND 000002e0: PUSH2 0x0d45 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x00fc 000002f5: PUSH2 0x0d68 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x0266 0000030a: PUSH1 0x01 0000030c: PUSH1 0xa0 0000030e: PUSH1 0x02 00000310: EXP 00000311: SUB 00000312: PUSH1 0x04 00000314: CALLDATALOAD 00000315: DUP2 00000316: AND 00000317: SWAP1 00000318: PUSH1 0x24 0000031a: CALLDATALOAD 0000031b: AND 0000031c: PUSH2 0x0d80 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x0335 00000331: PUSH2 0x0d9d 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH1 0x40 00000338: DUP1 00000339: MLOAD 0000033a: PUSH1 0x20 0000033c: DUP1 0000033d: DUP3 0000033e: MSTORE 0000033f: DUP4 00000340: MLOAD 00000341: DUP2 00000342: DUP4 00000343: ADD 00000344: MSTORE 00000345: DUP4 00000346: MLOAD 00000347: SWAP2 00000348: SWAP3 00000349: DUP4 0000034a: SWAP3 0000034b: SWAP1 0000034c: DUP4 0000034d: ADD 0000034e: SWAP2 0000034f: DUP6 00000350: ADD 00000351: SWAP1 00000352: DUP1 00000353: DUP4 00000354: DUP4 00000355: PUSH1 0x00 00000357: JUMPDEST 00000358: DUP4 00000359: DUP2 0000035a: LT 0000035b: ISZERO 0000035c: PUSH2 0x036f 0000035f: JUMPI 00000360: DUP2 00000361: DUP2 00000362: ADD 00000363: MLOAD 00000364: DUP4 00000365: DUP3 00000366: ADD 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: ADD 0000036b: PUSH2 0x0357 0000036e: JUMP 0000036f: JUMPDEST 00000370: POP 00000371: POP 00000372: POP 00000373: POP 00000374: SWAP1 00000375: POP 00000376: SWAP1 00000377: DUP2 00000378: ADD 00000379: SWAP1 0000037a: PUSH1 0x1f 0000037c: AND 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x039c 00000382: JUMPI 00000383: DUP1 00000384: DUP3 00000385: SUB 00000386: DUP1 00000387: MLOAD 00000388: PUSH1 0x01 0000038a: DUP4 0000038b: PUSH1 0x20 0000038d: SUB 0000038e: PUSH2 0x0100 00000391: EXP 00000392: SUB 00000393: NOT 00000394: AND 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: ADD 0000039a: SWAP2 0000039b: POP 0000039c: JUMPDEST 0000039d: POP 0000039e: SWAP3 0000039f: POP 000003a0: POP 000003a1: POP 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: DUP1 000003a6: SWAP2 000003a7: SUB 000003a8: SWAP1 000003a9: RETURN 000003aa: JUMPDEST 000003ab: PUSH1 0x03 000003ad: SLOAD 000003ae: PUSH1 0x01 000003b0: PUSH1 0xa0 000003b2: PUSH1 0x02 000003b4: EXP 000003b5: SUB 000003b6: AND 000003b7: DUP2 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x00 000003bc: SLOAD 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: PUSH1 0x02 000003c3: EXP 000003c4: SUB 000003c5: AND 000003c6: CALLER 000003c7: EQ 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: PUSH1 0x02 000003d3: SLOAD 000003d4: PUSH1 0x40 000003d6: DUP1 000003d7: MLOAD 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: SWAP3 000003e1: DUP4 000003e2: AND 000003e3: DUP2 000003e4: MSTORE 000003e5: SWAP2 000003e6: DUP4 000003e7: AND 000003e8: PUSH1 0x20 000003ea: DUP4 000003eb: ADD 000003ec: MSTORE 000003ed: DUP1 000003ee: MLOAD 000003ef: PUSH32 0x8108e388ca125ce52d732c3507bc30e14194e147d133753ca55d6b5f109467ae 00000410: SWAP3 00000411: DUP2 00000412: SWAP1 00000413: SUB 00000414: SWAP1 00000415: SWAP2 00000416: ADD 00000417: SWAP1 00000418: LOG1 00000419: PUSH1 0x02 0000041b: DUP1 0000041c: SLOAD 0000041d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000432: NOT 00000433: AND 00000434: PUSH1 0x01 00000436: PUSH1 0xa0 00000438: PUSH1 0x02 0000043a: EXP 0000043b: SUB 0000043c: SWAP3 0000043d: SWAP1 0000043e: SWAP3 0000043f: AND 00000440: SWAP2 00000441: SWAP1 00000442: SWAP2 00000443: OR 00000444: SWAP1 00000445: SSTORE 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x04 0000044a: SLOAD 0000044b: PUSH1 0x01 0000044d: PUSH1 0xa0 0000044f: PUSH1 0x02 00000451: EXP 00000452: SUB 00000453: AND 00000454: DUP2 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x00 00000459: DUP5 0000045a: DUP4 0000045b: DUP4 0000045c: DUP1 0000045d: DUP1 0000045e: PUSH1 0x1f 00000460: ADD 00000461: PUSH1 0x20 00000463: DUP1 00000464: SWAP2 00000465: DIV 00000466: MUL 00000467: PUSH1 0x20 00000469: ADD 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: SWAP1 0000046e: DUP2 0000046f: ADD 00000470: PUSH1 0x40 00000472: MSTORE 00000473: DUP1 00000474: SWAP4 00000475: SWAP3 00000476: SWAP2 00000477: SWAP1 00000478: DUP2 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: DUP4 0000047f: DUP4 00000480: DUP1 00000481: DUP3 00000482: DUP5 00000483: CALLDATACOPY 00000484: POP 00000485: POP 00000486: DUP5 00000487: MLOAD 00000488: CALLER 00000489: SWAP5 0000048a: POP 0000048b: PUSH1 0x00 0000048d: LT 0000048e: ISZERO 0000048f: SWAP3 00000490: POP 00000491: PUSH2 0x05ef 00000494: SWAP2 00000495: POP 00000496: POP 00000497: JUMPI 00000498: PUSH1 0x03 0000049a: SLOAD 0000049b: PUSH1 0x40 0000049d: DUP1 0000049e: MLOAD 0000049f: PUSH32 0xc043df8c00000000000000000000000000000000000000000000000000000000 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x01 000004c4: PUSH1 0xa0 000004c6: PUSH1 0x02 000004c8: EXP 000004c9: SUB 000004ca: DUP5 000004cb: DUP2 000004cc: AND 000004cd: PUSH1 0x04 000004cf: DUP4 000004d0: ADD 000004d1: SWAP1 000004d2: DUP2 000004d3: MSTORE 000004d4: PUSH1 0x24 000004d6: DUP4 000004d7: ADD 000004d8: SWAP4 000004d9: DUP5 000004da: MSTORE 000004db: DUP7 000004dc: MLOAD 000004dd: PUSH1 0x44 000004df: DUP5 000004e0: ADD 000004e1: MSTORE 000004e2: DUP7 000004e3: MLOAD 000004e4: SWAP2 000004e5: SWAP1 000004e6: SWAP5 000004e7: AND 000004e8: SWAP4 000004e9: PUSH4 0xc043df8c 000004ee: SWAP4 000004ef: DUP7 000004f0: SWAP4 000004f1: DUP9 000004f2: SWAP4 000004f3: PUSH1 0x64 000004f5: SWAP1 000004f6: SWAP2 000004f7: ADD 000004f8: SWAP1 000004f9: PUSH1 0x20 000004fb: DUP6 000004fc: ADD 000004fd: SWAP1 000004fe: DUP1 000004ff: DUP4 00000500: DUP4 00000501: PUSH1 0x00 00000503: JUMPDEST 00000504: DUP4 00000505: DUP2 00000506: LT 00000507: ISZERO 00000508: PUSH2 0x051b 0000050b: JUMPI 0000050c: DUP2 0000050d: DUP2 0000050e: ADD 0000050f: MLOAD 00000510: DUP4 00000511: DUP3 00000512: ADD 00000513: MSTORE 00000514: PUSH1 0x20 00000516: ADD 00000517: PUSH2 0x0503 0000051a: JUMP 0000051b: JUMPDEST 0000051c: POP 0000051d: POP 0000051e: POP 0000051f: POP 00000520: SWAP1 00000521: POP 00000522: SWAP1 00000523: DUP2 00000524: ADD 00000525: SWAP1 00000526: PUSH1 0x1f 00000528: AND 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0548 0000052e: JUMPI 0000052f: DUP1 00000530: DUP3 00000531: SUB 00000532: DUP1 00000533: MLOAD 00000534: PUSH1 0x01 00000536: DUP4 00000537: PUSH1 0x20 00000539: SUB 0000053a: PUSH2 0x0100 0000053d: EXP 0000053e: SUB 0000053f: NOT 00000540: AND 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x20 00000545: ADD 00000546: SWAP2 00000547: POP 00000548: JUMPDEST 00000549: POP 0000054a: SWAP4 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: PUSH1 0x20 00000551: PUSH1 0x40 00000553: MLOAD 00000554: DUP1 00000555: DUP4 00000556: SUB 00000557: DUP2 00000558: PUSH1 0x00 0000055a: DUP8 0000055b: DUP1 0000055c: EXTCODESIZE 0000055d: ISZERO 0000055e: DUP1 0000055f: ISZERO 00000560: PUSH2 0x0568 00000563: JUMPI 00000564: PUSH1 0x00 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: POP 0000056a: GAS 0000056b: CALL 0000056c: ISZERO 0000056d: DUP1 0000056e: ISZERO 0000056f: PUSH2 0x057c 00000572: JUMPI 00000573: RETURNDATASIZE 00000574: PUSH1 0x00 00000576: DUP1 00000577: RETURNDATACOPY 00000578: RETURNDATASIZE 00000579: PUSH1 0x00 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: PUSH1 0x40 00000583: MLOAD 00000584: RETURNDATASIZE 00000585: PUSH1 0x20 00000587: DUP2 00000588: LT 00000589: ISZERO 0000058a: PUSH2 0x0592 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: DUP1 00000591: REVERT 00000592: JUMPDEST 00000593: POP 00000594: MLOAD 00000595: ISZERO 00000596: ISZERO 00000597: PUSH2 0x05ea 0000059a: JUMPI 0000059b: PUSH1 0x40 0000059d: DUP1 0000059e: MLOAD 0000059f: PUSH1 0xe5 000005a1: PUSH1 0x02 000005a3: EXP 000005a4: PUSH3 0x461bcd 000005a8: MUL 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x20 000005ad: PUSH1 0x04 000005af: DUP3 000005b0: ADD 000005b1: MSTORE 000005b2: PUSH1 0x11 000005b4: PUSH1 0x24 000005b6: DUP3 000005b7: ADD 000005b8: MSTORE 000005b9: PUSH32 0x696e76616c6964207369676e6174757265000000000000000000000000000000 000005da: PUSH1 0x44 000005dc: DUP3 000005dd: ADD 000005de: MSTORE 000005df: SWAP1 000005e0: MLOAD 000005e1: SWAP1 000005e2: DUP2 000005e3: SWAP1 000005e4: SUB 000005e5: PUSH1 0x64 000005e7: ADD 000005e8: SWAP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: PUSH2 0x0718 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: PUSH1 0x02 000005f6: EXP 000005f7: SUB 000005f8: DUP1 000005f9: DUP3 000005fa: AND 000005fb: PUSH1 0x00 000005fd: SWAP1 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x06 00000602: PUSH1 0x20 00000604: SWAP1 00000605: DUP2 00000606: MSTORE 00000607: PUSH1 0x40 00000609: DUP1 0000060a: DUP4 0000060b: KECCAK256 0000060c: SWAP4 0000060d: DUP8 0000060e: AND 0000060f: DUP4 00000610: MSTORE 00000611: SWAP3 00000612: SWAP1 00000613: MSTORE 00000614: KECCAK256 00000615: SLOAD 00000616: ISZERO 00000617: ISZERO 00000618: PUSH2 0x066b 0000061b: JUMPI 0000061c: PUSH1 0x40 0000061e: DUP1 0000061f: MLOAD 00000620: PUSH1 0xe5 00000622: PUSH1 0x02 00000624: EXP 00000625: PUSH3 0x461bcd 00000629: MUL 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: PUSH1 0x04 00000630: DUP3 00000631: ADD 00000632: MSTORE 00000633: PUSH1 0x0d 00000635: PUSH1 0x24 00000637: DUP3 00000638: ADD 00000639: MSTORE 0000063a: PUSH32 0x6e6f74207369676e616c6c656400000000000000000000000000000000000000 0000065b: PUSH1 0x44 0000065d: DUP3 0000065e: ADD 0000065f: MSTORE 00000660: SWAP1 00000661: MLOAD 00000662: SWAP1 00000663: DUP2 00000664: SWAP1 00000665: SUB 00000666: PUSH1 0x64 00000668: ADD 00000669: SWAP1 0000066a: REVERT 0000066b: JUMPDEST 0000066c: PUSH1 0x01 0000066e: PUSH1 0xa0 00000670: PUSH1 0x02 00000672: EXP 00000673: SUB 00000674: DUP1 00000675: DUP3 00000676: AND 00000677: PUSH1 0x00 00000679: SWAP1 0000067a: DUP2 0000067b: MSTORE 0000067c: PUSH1 0x06 0000067e: PUSH1 0x20 00000680: SWAP1 00000681: DUP2 00000682: MSTORE 00000683: PUSH1 0x40 00000685: DUP1 00000686: DUP4 00000687: KECCAK256 00000688: SWAP4 00000689: DUP8 0000068a: AND 0000068b: DUP4 0000068c: MSTORE 0000068d: SWAP3 0000068e: SWAP1 0000068f: MSTORE 00000690: KECCAK256 00000691: SLOAD 00000692: PUSH3 0x02a300 00000696: TIMESTAMP 00000697: SWAP2 00000698: SWAP1 00000699: SWAP2 0000069a: SUB 0000069b: GT 0000069c: PUSH2 0x06ef 0000069f: JUMPI 000006a0: PUSH1 0x40 000006a2: DUP1 000006a3: MLOAD 000006a4: PUSH1 0xe5 000006a6: PUSH1 0x02 000006a8: EXP 000006a9: PUSH3 0x461bcd 000006ad: MUL 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x20 000006b2: PUSH1 0x04 000006b4: DUP3 000006b5: ADD 000006b6: MSTORE 000006b7: PUSH1 0x15 000006b9: PUSH1 0x24 000006bb: DUP3 000006bc: ADD 000006bd: MSTORE 000006be: PUSH32 0x7369676e616c2074696d652072656d61696e696e670000000000000000000000 000006df: PUSH1 0x44 000006e1: DUP3 000006e2: ADD 000006e3: MSTORE 000006e4: SWAP1 000006e5: MLOAD 000006e6: SWAP1 000006e7: DUP2 000006e8: SWAP1 000006e9: SUB 000006ea: PUSH1 0x64 000006ec: ADD 000006ed: SWAP1 000006ee: REVERT 000006ef: JUMPDEST 000006f0: PUSH1 0x01 000006f2: PUSH1 0xa0 000006f4: PUSH1 0x02 000006f6: EXP 000006f7: SUB 000006f8: DUP1 000006f9: DUP3 000006fa: AND 000006fb: PUSH1 0x00 000006fd: SWAP1 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x06 00000702: PUSH1 0x20 00000704: SWAP1 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x40 00000709: DUP1 0000070a: DUP4 0000070b: KECCAK256 0000070c: SWAP4 0000070d: DUP8 0000070e: AND 0000070f: DUP4 00000710: MSTORE 00000711: SWAP3 00000712: SWAP1 00000713: MSTORE 00000714: SWAP1 00000715: DUP2 00000716: KECCAK256 00000717: SSTORE 00000718: JUMPDEST 00000719: CALLER 0000071a: SWAP4 0000071b: POP 0000071c: PUSH2 0x0726 0000071f: DUP5 00000720: DUP10 00000721: DUP10 00000722: PUSH2 0x0e2a 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x01 00000729: PUSH1 0xa0 0000072b: PUSH1 0x02 0000072d: EXP 0000072e: SUB 0000072f: DUP9 00000730: AND 00000731: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000746: EQ 00000747: ISZERO 00000748: PUSH2 0x0787 0000074b: JUMPI 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: PUSH1 0x01 00000751: PUSH1 0xa0 00000753: PUSH1 0x02 00000755: EXP 00000756: SUB 00000757: DUP6 00000758: AND 00000759: SWAP1 0000075a: DUP9 0000075b: ISZERO 0000075c: PUSH2 0x08fc 0000075f: MUL 00000760: SWAP1 00000761: DUP10 00000762: SWAP1 00000763: PUSH1 0x00 00000765: DUP2 00000766: DUP2 00000767: DUP2 00000768: DUP6 00000769: DUP9 0000076a: DUP9 0000076b: CALL 0000076c: SWAP4 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: ISZERO 00000772: DUP1 00000773: ISZERO 00000774: PUSH2 0x0781 00000777: JUMPI 00000778: RETURNDATASIZE 00000779: PUSH1 0x00 0000077b: DUP1 0000077c: RETURNDATACOPY 0000077d: RETURNDATASIZE 0000077e: PUSH1 0x00 00000780: REVERT 00000781: JUMPDEST 00000782: POP 00000783: PUSH2 0x07a1 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH2 0x07a1 0000078b: PUSH1 0x01 0000078d: PUSH1 0xa0 0000078f: PUSH1 0x02 00000791: EXP 00000792: SUB 00000793: DUP10 00000794: AND 00000795: DUP6 00000796: DUP10 00000797: PUSH4 0xffffffff 0000079c: PUSH2 0x0f4d 0000079f: AND 000007a0: JUMP 000007a1: JUMPDEST 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: POP 000007a7: POP 000007a8: POP 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x02 000007ae: SLOAD 000007af: PUSH1 0x01 000007b1: PUSH1 0xa0 000007b3: PUSH1 0x02 000007b5: EXP 000007b6: SUB 000007b7: AND 000007b8: CALLER 000007b9: EQ 000007ba: PUSH2 0x080d 000007bd: JUMPI 000007be: PUSH1 0x40 000007c0: DUP1 000007c1: MLOAD 000007c2: PUSH1 0xe5 000007c4: PUSH1 0x02 000007c6: EXP 000007c7: PUSH3 0x461bcd 000007cb: MUL 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x20 000007d0: PUSH1 0x04 000007d2: DUP3 000007d3: ADD 000007d4: MSTORE 000007d5: PUSH1 0x0e 000007d7: PUSH1 0x24 000007d9: DUP3 000007da: ADD 000007db: MSTORE 000007dc: PUSH32 0x6e6f7420617574686f72697a6564000000000000000000000000000000000000 000007fd: PUSH1 0x44 000007ff: DUP3 00000800: ADD 00000801: MSTORE 00000802: SWAP1 00000803: MLOAD 00000804: SWAP1 00000805: DUP2 00000806: SWAP1 00000807: SUB 00000808: PUSH1 0x64 0000080a: ADD 0000080b: SWAP1 0000080c: REVERT 0000080d: JUMPDEST 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: PUSH1 0x02 00000814: EXP 00000815: SUB 00000816: DUP1 00000817: DUP8 00000818: AND 00000819: PUSH1 0x00 0000081b: SWAP1 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x05 00000820: PUSH1 0x20 00000822: SWAP1 00000823: DUP2 00000824: MSTORE 00000825: PUSH1 0x40 00000827: DUP1 00000828: DUP4 00000829: KECCAK256 0000082a: SWAP4 0000082b: DUP9 0000082c: AND 0000082d: DUP4 0000082e: MSTORE 0000082f: SWAP3 00000830: SWAP1 00000831: MSTORE 00000832: KECCAK256 00000833: SLOAD 00000834: DUP3 00000835: GT 00000836: ISZERO 00000837: PUSH2 0x088a 0000083a: JUMPI 0000083b: PUSH1 0x40 0000083d: DUP1 0000083e: MLOAD 0000083f: PUSH1 0xe5 00000841: PUSH1 0x02 00000843: EXP 00000844: PUSH3 0x461bcd 00000848: MUL 00000849: DUP2 0000084a: MSTORE 0000084b: PUSH1 0x20 0000084d: PUSH1 0x04 0000084f: DUP3 00000850: ADD 00000851: MSTORE 00000852: PUSH1 0x1a 00000854: PUSH1 0x24 00000856: DUP3 00000857: ADD 00000858: MSTORE 00000859: PUSH32 0x696e73756666696369656e742066756e647320666f7220666565000000000000 0000087a: PUSH1 0x44 0000087c: DUP3 0000087d: ADD 0000087e: MSTORE 0000087f: SWAP1 00000880: MLOAD 00000881: SWAP1 00000882: DUP2 00000883: SWAP1 00000884: SUB 00000885: PUSH1 0x64 00000887: ADD 00000888: SWAP1 00000889: REVERT 0000088a: JUMPDEST 0000088b: PUSH1 0x01 0000088d: PUSH1 0xa0 0000088f: PUSH1 0x02 00000891: EXP 00000892: SUB 00000893: DUP5 00000894: AND 00000895: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000008aa: EQ 000008ab: ISZERO 000008ac: PUSH2 0x0948 000008af: JUMPI 000008b0: PUSH1 0x04 000008b2: DUP1 000008b3: SLOAD 000008b4: PUSH1 0x40 000008b6: DUP1 000008b7: MLOAD 000008b8: PUSH32 0x8340f54900000000000000000000000000000000000000000000000000000000 000008d9: DUP2 000008da: MSTORE 000008db: PUSH1 0x01 000008dd: PUSH1 0xa0 000008df: PUSH1 0x02 000008e1: EXP 000008e2: SUB 000008e3: DUP6 000008e4: DUP2 000008e5: AND 000008e6: SWAP5 000008e7: DUP3 000008e8: ADD 000008e9: SWAP5 000008ea: SWAP1 000008eb: SWAP5 000008ec: MSTORE 000008ed: DUP8 000008ee: DUP5 000008ef: AND 000008f0: PUSH1 0x24 000008f2: DUP3 000008f3: ADD 000008f4: MSTORE 000008f5: PUSH1 0x44 000008f7: DUP2 000008f8: ADD 000008f9: DUP7 000008fa: SWAP1 000008fb: MSTORE 000008fc: SWAP1 000008fd: MLOAD 000008fe: SWAP3 000008ff: SWAP1 00000900: SWAP2 00000901: AND 00000902: SWAP2 00000903: PUSH4 0x8340f549 00000908: SWAP2 00000909: DUP6 0000090a: SWAP2 0000090b: PUSH1 0x64 0000090d: DUP1 0000090e: DUP4 0000090f: ADD 00000910: SWAP3 00000911: PUSH1 0x00 00000913: SWAP3 00000914: SWAP2 00000915: SWAP1 00000916: DUP3 00000917: SWAP1 00000918: SUB 00000919: ADD 0000091a: DUP2 0000091b: DUP6 0000091c: DUP9 0000091d: DUP1 0000091e: EXTCODESIZE 0000091f: ISZERO 00000920: DUP1 00000921: ISZERO 00000922: PUSH2 0x092a 00000925: JUMPI 00000926: PUSH1 0x00 00000928: DUP1 00000929: REVERT 0000092a: JUMPDEST 0000092b: POP 0000092c: GAS 0000092d: CALL 0000092e: ISZERO 0000092f: DUP1 00000930: ISZERO 00000931: PUSH2 0x093e 00000934: JUMPI 00000935: RETURNDATASIZE 00000936: PUSH1 0x00 00000938: DUP1 00000939: RETURNDATACOPY 0000093a: RETURNDATASIZE 0000093b: PUSH1 0x00 0000093d: REVERT 0000093e: JUMPDEST 0000093f: POP 00000940: POP 00000941: POP 00000942: POP 00000943: POP 00000944: PUSH2 0x09fb 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x04 0000094b: SLOAD 0000094c: PUSH2 0x0968 0000094f: SWAP1 00000950: PUSH1 0x01 00000952: PUSH1 0xa0 00000954: PUSH1 0x02 00000956: EXP 00000957: SUB 00000958: DUP7 00000959: DUP2 0000095a: AND 0000095b: SWAP2 0000095c: AND 0000095d: DUP5 0000095e: PUSH4 0xffffffff 00000963: PUSH2 0x102b 00000966: AND 00000967: JUMP 00000968: JUMPDEST 00000969: PUSH1 0x04 0000096b: DUP1 0000096c: SLOAD 0000096d: PUSH1 0x40 0000096f: DUP1 00000970: MLOAD 00000971: PUSH32 0x8340f54900000000000000000000000000000000000000000000000000000000 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x01 00000996: PUSH1 0xa0 00000998: PUSH1 0x02 0000099a: EXP 0000099b: SUB 0000099c: DUP6 0000099d: DUP2 0000099e: AND 0000099f: SWAP5 000009a0: DUP3 000009a1: ADD 000009a2: SWAP5 000009a3: SWAP1 000009a4: SWAP5 000009a5: MSTORE 000009a6: DUP8 000009a7: DUP5 000009a8: AND 000009a9: PUSH1 0x24 000009ab: DUP3 000009ac: ADD 000009ad: MSTORE 000009ae: PUSH1 0x44 000009b0: DUP2 000009b1: ADD 000009b2: DUP7 000009b3: SWAP1 000009b4: MSTORE 000009b5: SWAP1 000009b6: MLOAD 000009b7: SWAP3 000009b8: SWAP1 000009b9: SWAP2 000009ba: AND 000009bb: SWAP2 000009bc: PUSH4 0x8340f549 000009c1: SWAP2 000009c2: PUSH1 0x64 000009c4: DUP1 000009c5: DUP3 000009c6: ADD 000009c7: SWAP3 000009c8: PUSH1 0x00 000009ca: SWAP3 000009cb: SWAP1 000009cc: SWAP2 000009cd: SWAP1 000009ce: DUP3 000009cf: SWAP1 000009d0: SUB 000009d1: ADD 000009d2: DUP2 000009d3: DUP4 000009d4: DUP8 000009d5: DUP1 000009d6: EXTCODESIZE 000009d7: ISZERO 000009d8: DUP1 000009d9: ISZERO 000009da: PUSH2 0x09e2 000009dd: JUMPI 000009de: PUSH1 0x00 000009e0: DUP1 000009e1: REVERT 000009e2: JUMPDEST 000009e3: POP 000009e4: GAS 000009e5: CALL 000009e6: ISZERO 000009e7: DUP1 000009e8: ISZERO 000009e9: PUSH2 0x09f6 000009ec: JUMPI 000009ed: RETURNDATASIZE 000009ee: PUSH1 0x00 000009f0: DUP1 000009f1: RETURNDATACOPY 000009f2: RETURNDATASIZE 000009f3: PUSH1 0x00 000009f5: REVERT 000009f6: JUMPDEST 000009f7: POP 000009f8: POP 000009f9: POP 000009fa: POP 000009fb: JUMPDEST 000009fc: PUSH2 0x0a08 000009ff: DUP7 00000a00: DUP6 00000a01: DUP5 00000a02: DUP7 00000a03: ADD 00000a04: PUSH2 0x0e2a 00000a07: JUMP 00000a08: JUMPDEST 00000a09: PUSH1 0x00 00000a0b: DUP4 00000a0c: GT 00000a0d: ISZERO 00000a0e: PUSH2 0x0a1c 00000a11: JUMPI 00000a12: PUSH2 0x0a1c 00000a15: DUP6 00000a16: DUP6 00000a17: DUP6 00000a18: PUSH2 0x1104 00000a1b: JUMP 00000a1c: JUMPDEST 00000a1d: POP 00000a1e: POP 00000a1f: POP 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: JUMP 00000a24: JUMPDEST 00000a25: CALLER 00000a26: DUP2 00000a27: PUSH1 0x01 00000a29: PUSH1 0xa0 00000a2b: PUSH1 0x02 00000a2d: EXP 00000a2e: SUB 00000a2f: DUP5 00000a30: AND 00000a31: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000a46: EQ 00000a47: ISZERO 00000a48: PUSH2 0x0acd 00000a4b: JUMPI 00000a4c: CALLVALUE 00000a4d: DUP4 00000a4e: EQ 00000a4f: PUSH2 0x0ac8 00000a52: JUMPI 00000a53: PUSH1 0x40 00000a55: DUP1 00000a56: MLOAD 00000a57: PUSH1 0xe5 00000a59: PUSH1 0x02 00000a5b: EXP 00000a5c: PUSH3 0x461bcd 00000a60: MUL 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x20 00000a65: PUSH1 0x04 00000a67: DUP3 00000a68: ADD 00000a69: MSTORE 00000a6a: PUSH1 0x27 00000a6c: PUSH1 0x24 00000a6e: DUP3 00000a6f: ADD 00000a70: MSTORE 00000a71: PUSH32 0x6d69736d6174636865642076616c756520706172616d6574657220616e642074 00000a92: PUSH1 0x44 00000a94: DUP3 00000a95: ADD 00000a96: MSTORE 00000a97: PUSH32 0x782076616c756500000000000000000000000000000000000000000000000000 00000ab8: PUSH1 0x64 00000aba: DUP3 00000abb: ADD 00000abc: MSTORE 00000abd: SWAP1 00000abe: MLOAD 00000abf: SWAP1 00000ac0: DUP2 00000ac1: SWAP1 00000ac2: SUB 00000ac3: PUSH1 0x84 00000ac5: ADD 00000ac6: SWAP1 00000ac7: REVERT 00000ac8: JUMPDEST 00000ac9: PUSH2 0x0b41 00000acc: JUMP 00000acd: JUMPDEST 00000ace: CALLVALUE 00000acf: ISZERO 00000ad0: PUSH2 0x0b23 00000ad3: JUMPI 00000ad4: PUSH1 0x40 00000ad6: DUP1 00000ad7: MLOAD 00000ad8: PUSH1 0xe5 00000ada: PUSH1 0x02 00000adc: EXP 00000add: PUSH3 0x461bcd 00000ae1: MUL 00000ae2: DUP2 00000ae3: MSTORE 00000ae4: PUSH1 0x20 00000ae6: PUSH1 0x04 00000ae8: DUP3 00000ae9: ADD 00000aea: MSTORE 00000aeb: PUSH1 0x19 00000aed: PUSH1 0x24 00000aef: DUP3 00000af0: ADD 00000af1: MSTORE 00000af2: PUSH32 0x756e6578706563746564206574686572207472616e7366657200000000000000 00000b13: PUSH1 0x44 00000b15: DUP3 00000b16: ADD 00000b17: MSTORE 00000b18: SWAP1 00000b19: MLOAD 00000b1a: SWAP1 00000b1b: DUP2 00000b1c: SWAP1 00000b1d: SUB 00000b1e: PUSH1 0x64 00000b20: ADD 00000b21: SWAP1 00000b22: REVERT 00000b23: JUMPDEST 00000b24: PUSH2 0x0b3e 00000b27: PUSH1 0x01 00000b29: PUSH1 0xa0 00000b2b: PUSH1 0x02 00000b2d: EXP 00000b2e: SUB 00000b2f: DUP6 00000b30: AND 00000b31: DUP4 00000b32: ADDRESS 00000b33: DUP7 00000b34: PUSH4 0xffffffff 00000b39: PUSH2 0x11aa 00000b3c: AND 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: SWAP1 00000b40: POP 00000b41: JUMPDEST 00000b42: PUSH2 0x0b4c 00000b45: DUP3 00000b46: DUP6 00000b47: DUP4 00000b48: PUSH2 0x1104 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: POP 00000b4e: POP 00000b4f: POP 00000b50: POP 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH1 0x00 00000b55: SLOAD 00000b56: PUSH1 0x01 00000b58: PUSH1 0xa0 00000b5a: PUSH1 0x02 00000b5c: EXP 00000b5d: SUB 00000b5e: AND 00000b5f: CALLER 00000b60: EQ 00000b61: PUSH2 0x0b69 00000b64: JUMPI 00000b65: PUSH1 0x00 00000b67: DUP1 00000b68: REVERT 00000b69: JUMPDEST 00000b6a: PUSH1 0x03 00000b6c: SLOAD 00000b6d: PUSH1 0x40 00000b6f: DUP1 00000b70: MLOAD 00000b71: PUSH1 0x01 00000b73: PUSH1 0xa0 00000b75: PUSH1 0x02 00000b77: EXP 00000b78: SUB 00000b79: SWAP3 00000b7a: DUP4 00000b7b: AND 00000b7c: DUP2 00000b7d: MSTORE 00000b7e: SWAP2 00000b7f: DUP4 00000b80: AND 00000b81: PUSH1 0x20 00000b83: DUP4 00000b84: ADD 00000b85: MSTORE 00000b86: DUP1 00000b87: MLOAD 00000b88: PUSH32 0x320ee0620117fe5b31d2b2ca97b2a711e2045489d6eb5290a73f04747f1819be 00000ba9: SWAP3 00000baa: DUP2 00000bab: SWAP1 00000bac: SUB 00000bad: SWAP1 00000bae: SWAP2 00000baf: ADD 00000bb0: SWAP1 00000bb1: LOG1 00000bb2: PUSH1 0x03 00000bb4: DUP1 00000bb5: SLOAD 00000bb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcb: NOT 00000bcc: AND 00000bcd: PUSH1 0x01 00000bcf: PUSH1 0xa0 00000bd1: PUSH1 0x02 00000bd3: EXP 00000bd4: SUB 00000bd5: SWAP3 00000bd6: SWAP1 00000bd7: SWAP3 00000bd8: AND 00000bd9: SWAP2 00000bda: SWAP1 00000bdb: SWAP2 00000bdc: OR 00000bdd: SWAP1 00000bde: SSTORE 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: PUSH1 0x00 00000be3: SLOAD 00000be4: PUSH1 0x01 00000be6: PUSH1 0xa0 00000be8: PUSH1 0x02 00000bea: EXP 00000beb: SUB 00000bec: AND 00000bed: CALLER 00000bee: EQ 00000bef: PUSH2 0x0bf7 00000bf2: JUMPI 00000bf3: PUSH1 0x00 00000bf5: DUP1 00000bf6: REVERT 00000bf7: JUMPDEST 00000bf8: PUSH1 0x00 00000bfa: DUP1 00000bfb: SLOAD 00000bfc: PUSH1 0x40 00000bfe: MLOAD 00000bff: PUSH1 0x01 00000c01: PUSH1 0xa0 00000c03: PUSH1 0x02 00000c05: EXP 00000c06: SUB 00000c07: SWAP1 00000c08: SWAP2 00000c09: AND 00000c0a: SWAP2 00000c0b: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00000c2c: SWAP2 00000c2d: LOG2 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: SLOAD 00000c32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c47: NOT 00000c48: AND 00000c49: SWAP1 00000c4a: SSTORE 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x00 00000c4f: SLOAD 00000c50: PUSH1 0x01 00000c52: PUSH1 0xa0 00000c54: PUSH1 0x02 00000c56: EXP 00000c57: SUB 00000c58: AND 00000c59: DUP2 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: CALLER 00000c5d: PUSH1 0x00 00000c5f: SWAP1 00000c60: DUP2 00000c61: MSTORE 00000c62: PUSH1 0x06 00000c64: PUSH1 0x20 00000c66: SWAP1 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x40 00000c6b: DUP1 00000c6c: DUP4 00000c6d: KECCAK256 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: PUSH1 0x02 00000c74: EXP 00000c75: SUB 00000c76: SWAP5 00000c77: SWAP1 00000c78: SWAP5 00000c79: AND 00000c7a: DUP4 00000c7b: MSTORE 00000c7c: SWAP3 00000c7d: SWAP1 00000c7e: MSTORE 00000c7f: KECCAK256 00000c80: TIMESTAMP 00000c81: SWAP1 00000c82: SSTORE 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x05 00000c87: PUSH1 0x20 00000c89: SWAP1 00000c8a: DUP2 00000c8b: MSTORE 00000c8c: PUSH1 0x00 00000c8e: SWAP3 00000c8f: DUP4 00000c90: MSTORE 00000c91: PUSH1 0x40 00000c93: DUP1 00000c94: DUP5 00000c95: KECCAK256 00000c96: SWAP1 00000c97: SWAP2 00000c98: MSTORE 00000c99: SWAP1 00000c9a: DUP3 00000c9b: MSTORE 00000c9c: SWAP1 00000c9d: KECCAK256 00000c9e: SLOAD 00000c9f: DUP2 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH3 0x02a300 00000ca6: DUP2 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH1 0x00 00000cab: SLOAD 00000cac: PUSH1 0x01 00000cae: PUSH1 0xa0 00000cb0: PUSH1 0x02 00000cb2: EXP 00000cb3: SUB 00000cb4: AND 00000cb5: CALLER 00000cb6: EQ 00000cb7: PUSH2 0x0cbf 00000cba: JUMPI 00000cbb: PUSH1 0x00 00000cbd: DUP1 00000cbe: REVERT 00000cbf: JUMPDEST 00000cc0: PUSH1 0x04 00000cc2: SLOAD 00000cc3: PUSH1 0x40 00000cc5: DUP1 00000cc6: MLOAD 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0xa0 00000ccb: PUSH1 0x02 00000ccd: EXP 00000cce: SUB 00000ccf: SWAP3 00000cd0: DUP4 00000cd1: AND 00000cd2: DUP2 00000cd3: MSTORE 00000cd4: SWAP2 00000cd5: DUP4 00000cd6: AND 00000cd7: PUSH1 0x20 00000cd9: DUP4 00000cda: ADD 00000cdb: MSTORE 00000cdc: DUP1 00000cdd: MLOAD 00000cde: PUSH32 0x6c348498f095f3d7eb84de1c0bf7fd7db8217d2fdd2af573ad0fa3642901c245 00000cff: SWAP3 00000d00: DUP2 00000d01: SWAP1 00000d02: SUB 00000d03: SWAP1 00000d04: SWAP2 00000d05: ADD 00000d06: SWAP1 00000d07: LOG1 00000d08: PUSH1 0x04 00000d0a: DUP1 00000d0b: SLOAD 00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d21: NOT 00000d22: AND 00000d23: PUSH1 0x01 00000d25: PUSH1 0xa0 00000d27: PUSH1 0x02 00000d29: EXP 00000d2a: SUB 00000d2b: SWAP3 00000d2c: SWAP1 00000d2d: SWAP3 00000d2e: AND 00000d2f: SWAP2 00000d30: SWAP1 00000d31: SWAP2 00000d32: OR 00000d33: SWAP1 00000d34: SSTORE 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH1 0x02 00000d39: SLOAD 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0xa0 00000d3e: PUSH1 0x02 00000d40: EXP 00000d41: SUB 00000d42: AND 00000d43: DUP2 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: SLOAD 00000d49: PUSH1 0x01 00000d4b: PUSH1 0xa0 00000d4d: PUSH1 0x02 00000d4f: EXP 00000d50: SUB 00000d51: AND 00000d52: CALLER 00000d53: EQ 00000d54: PUSH2 0x0d5c 00000d57: JUMPI 00000d58: PUSH1 0x00 00000d5a: DUP1 00000d5b: REVERT 00000d5c: JUMPDEST 00000d5d: PUSH2 0x0d65 00000d60: DUP2 00000d61: PUSH2 0x13cf 00000d64: JUMP 00000d65: JUMPDEST 00000d66: POP 00000d67: JUMP 00000d68: JUMPDEST 00000d69: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000d7e: DUP2 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x06 00000d83: PUSH1 0x20 00000d85: SWAP1 00000d86: DUP2 00000d87: MSTORE 00000d88: PUSH1 0x00 00000d8a: SWAP3 00000d8b: DUP4 00000d8c: MSTORE 00000d8d: PUSH1 0x40 00000d8f: DUP1 00000d90: DUP5 00000d91: KECCAK256 00000d92: SWAP1 00000d93: SWAP2 00000d94: MSTORE 00000d95: SWAP1 00000d96: DUP3 00000d97: MSTORE 00000d98: SWAP1 00000d99: KECCAK256 00000d9a: SLOAD 00000d9b: DUP2 00000d9c: JUMP 00000d9d: JUMPDEST 00000d9e: PUSH1 0x01 00000da0: DUP1 00000da1: SLOAD 00000da2: PUSH1 0x40 00000da4: DUP1 00000da5: MLOAD 00000da6: PUSH1 0x20 00000da8: PUSH1 0x02 00000daa: DUP5 00000dab: DUP7 00000dac: AND 00000dad: ISZERO 00000dae: PUSH2 0x0100 00000db1: MUL 00000db2: PUSH1 0x00 00000db4: NOT 00000db5: ADD 00000db6: SWAP1 00000db7: SWAP5 00000db8: AND 00000db9: SWAP4 00000dba: SWAP1 00000dbb: SWAP4 00000dbc: DIV 00000dbd: PUSH1 0x1f 00000dbf: DUP2 00000dc0: ADD 00000dc1: DUP5 00000dc2: SWAP1 00000dc3: DIV 00000dc4: DUP5 00000dc5: MUL 00000dc6: DUP3 00000dc7: ADD 00000dc8: DUP5 00000dc9: ADD 00000dca: SWAP1 00000dcb: SWAP3 00000dcc: MSTORE 00000dcd: DUP2 00000dce: DUP2 00000dcf: MSTORE 00000dd0: SWAP3 00000dd1: SWAP2 00000dd2: DUP4 00000dd3: ADD 00000dd4: DUP3 00000dd5: DUP3 00000dd6: DUP1 00000dd7: ISZERO 00000dd8: PUSH2 0x0e22 00000ddb: JUMPI 00000ddc: DUP1 00000ddd: PUSH1 0x1f 00000ddf: LT 00000de0: PUSH2 0x0df7 00000de3: JUMPI 00000de4: PUSH2 0x0100 00000de7: DUP1 00000de8: DUP4 00000de9: SLOAD 00000dea: DIV 00000deb: MUL 00000dec: DUP4 00000ded: MSTORE 00000dee: SWAP2 00000def: PUSH1 0x20 00000df1: ADD 00000df2: SWAP2 00000df3: PUSH2 0x0e22 00000df6: JUMP 00000df7: JUMPDEST 00000df8: DUP3 00000df9: ADD 00000dfa: SWAP2 00000dfb: SWAP1 00000dfc: PUSH1 0x00 00000dfe: MSTORE 00000dff: PUSH1 0x20 00000e01: PUSH1 0x00 00000e03: KECCAK256 00000e04: SWAP1 00000e05: JUMPDEST 00000e06: DUP2 00000e07: SLOAD 00000e08: DUP2 00000e09: MSTORE 00000e0a: SWAP1 00000e0b: PUSH1 0x01 00000e0d: ADD 00000e0e: SWAP1 00000e0f: PUSH1 0x20 00000e11: ADD 00000e12: DUP1 00000e13: DUP4 00000e14: GT 00000e15: PUSH2 0x0e05 00000e18: JUMPI 00000e19: DUP3 00000e1a: SWAP1 00000e1b: SUB 00000e1c: PUSH1 0x1f 00000e1e: AND 00000e1f: DUP3 00000e20: ADD 00000e21: SWAP2 00000e22: JUMPDEST 00000e23: POP 00000e24: POP 00000e25: POP 00000e26: POP 00000e27: POP 00000e28: DUP2 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH1 0x01 00000e2d: PUSH1 0xa0 00000e2f: PUSH1 0x02 00000e31: EXP 00000e32: SUB 00000e33: DUP1 00000e34: DUP5 00000e35: AND 00000e36: PUSH1 0x00 00000e38: SWAP1 00000e39: DUP2 00000e3a: MSTORE 00000e3b: PUSH1 0x05 00000e3d: PUSH1 0x20 00000e3f: SWAP1 00000e40: DUP2 00000e41: MSTORE 00000e42: PUSH1 0x40 00000e44: DUP1 00000e45: DUP4 00000e46: KECCAK256 00000e47: SWAP4 00000e48: DUP7 00000e49: AND 00000e4a: DUP4 00000e4b: MSTORE 00000e4c: SWAP3 00000e4d: SWAP1 00000e4e: MSTORE 00000e4f: KECCAK256 00000e50: SLOAD 00000e51: DUP2 00000e52: GT 00000e53: ISZERO 00000e54: PUSH2 0x0ea7 00000e57: JUMPI 00000e58: PUSH1 0x40 00000e5a: DUP1 00000e5b: MLOAD 00000e5c: PUSH1 0xe5 00000e5e: PUSH1 0x02 00000e60: EXP 00000e61: PUSH3 0x461bcd 00000e65: MUL 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x20 00000e6a: PUSH1 0x04 00000e6c: DUP3 00000e6d: ADD 00000e6e: MSTORE 00000e6f: PUSH1 0x12 00000e71: PUSH1 0x24 00000e73: DUP3 00000e74: ADD 00000e75: MSTORE 00000e76: PUSH32 0x696e73756666696369656e742066756e64730000000000000000000000000000 00000e97: PUSH1 0x44 00000e99: DUP3 00000e9a: ADD 00000e9b: MSTORE 00000e9c: SWAP1 00000e9d: MLOAD 00000e9e: SWAP1 00000e9f: DUP2 00000ea0: SWAP1 00000ea1: SUB 00000ea2: PUSH1 0x64 00000ea4: ADD 00000ea5: SWAP1 00000ea6: REVERT 00000ea7: JUMPDEST 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0xa0 00000eac: PUSH1 0x02 00000eae: EXP 00000eaf: SUB 00000eb0: DUP1 00000eb1: DUP5 00000eb2: AND 00000eb3: PUSH1 0x00 00000eb5: SWAP1 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x05 00000eba: PUSH1 0x20 00000ebc: SWAP1 00000ebd: DUP2 00000ebe: MSTORE 00000ebf: PUSH1 0x40 00000ec1: DUP1 00000ec2: DUP4 00000ec3: KECCAK256 00000ec4: SWAP4 00000ec5: DUP7 00000ec6: AND 00000ec7: DUP4 00000ec8: MSTORE 00000ec9: SWAP3 00000eca: SWAP1 00000ecb: MSTORE 00000ecc: KECCAK256 00000ecd: SLOAD 00000ece: PUSH2 0x0edd 00000ed1: SWAP1 00000ed2: DUP3 00000ed3: PUSH4 0xffffffff 00000ed8: PUSH2 0x144c 00000edb: AND 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x01 00000ee0: PUSH1 0xa0 00000ee2: PUSH1 0x02 00000ee4: EXP 00000ee5: SUB 00000ee6: DUP1 00000ee7: DUP6 00000ee8: AND 00000ee9: PUSH1 0x00 00000eeb: DUP2 00000eec: DUP2 00000eed: MSTORE 00000eee: PUSH1 0x05 00000ef0: PUSH1 0x20 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x40 00000ef7: DUP1 00000ef8: DUP4 00000ef9: KECCAK256 00000efa: SWAP5 00000efb: DUP9 00000efc: AND 00000efd: DUP1 00000efe: DUP5 00000eff: MSTORE 00000f00: SWAP5 00000f01: DUP3 00000f02: MSTORE 00000f03: SWAP2 00000f04: DUP3 00000f05: SWAP1 00000f06: KECCAK256 00000f07: SWAP5 00000f08: SWAP1 00000f09: SWAP5 00000f0a: SSTORE 00000f0b: DUP1 00000f0c: MLOAD 00000f0d: SWAP2 00000f0e: DUP3 00000f0f: MSTORE 00000f10: SWAP3 00000f11: DUP2 00000f12: ADD 00000f13: SWAP2 00000f14: SWAP1 00000f15: SWAP2 00000f16: MSTORE 00000f17: DUP1 00000f18: DUP3 00000f19: ADD 00000f1a: DUP4 00000f1b: SWAP1 00000f1c: MSTORE 00000f1d: SWAP1 00000f1e: MLOAD 00000f1f: PUSH32 0x2622669645a3d6b14dc5d6134367eb988c1b617ea2df59f8aa0f102ba049977c 00000f40: SWAP2 00000f41: DUP2 00000f42: SWAP1 00000f43: SUB 00000f44: PUSH1 0x60 00000f46: ADD 00000f47: SWAP1 00000f48: LOG1 00000f49: POP 00000f4a: POP 00000f4b: POP 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: DUP3 00000f4f: PUSH1 0x01 00000f51: PUSH1 0xa0 00000f53: PUSH1 0x02 00000f55: EXP 00000f56: SUB 00000f57: AND 00000f58: PUSH4 0xa9059cbb 00000f5d: DUP4 00000f5e: DUP4 00000f5f: PUSH1 0x40 00000f61: MLOAD 00000f62: DUP4 00000f63: PUSH4 0xffffffff 00000f68: AND 00000f69: PUSH1 0xe0 00000f6b: PUSH1 0x02 00000f6d: EXP 00000f6e: MUL 00000f6f: DUP2 00000f70: MSTORE 00000f71: PUSH1 0x04 00000f73: ADD 00000f74: DUP1 00000f75: DUP4 00000f76: PUSH1 0x01 00000f78: PUSH1 0xa0 00000f7a: PUSH1 0x02 00000f7c: EXP 00000f7d: SUB 00000f7e: AND 00000f7f: PUSH1 0x01 00000f81: PUSH1 0xa0 00000f83: PUSH1 0x02 00000f85: EXP 00000f86: SUB 00000f87: AND 00000f88: DUP2 00000f89: MSTORE 00000f8a: PUSH1 0x20 00000f8c: ADD 00000f8d: DUP3 00000f8e: DUP2 00000f8f: MSTORE 00000f90: PUSH1 0x20 00000f92: ADD 00000f93: SWAP3 00000f94: POP 00000f95: POP 00000f96: POP 00000f97: PUSH1 0x00 00000f99: PUSH1 0x40 00000f9b: MLOAD 00000f9c: DUP1 00000f9d: DUP4 00000f9e: SUB 00000f9f: DUP2 00000fa0: PUSH1 0x00 00000fa2: DUP8 00000fa3: DUP1 00000fa4: EXTCODESIZE 00000fa5: ISZERO 00000fa6: DUP1 00000fa7: ISZERO 00000fa8: PUSH2 0x0fb0 00000fab: JUMPI 00000fac: PUSH1 0x00 00000fae: DUP1 00000faf: REVERT 00000fb0: JUMPDEST 00000fb1: POP 00000fb2: GAS 00000fb3: CALL 00000fb4: ISZERO 00000fb5: DUP1 00000fb6: ISZERO 00000fb7: PUSH2 0x0fc4 00000fba: JUMPI 00000fbb: RETURNDATASIZE 00000fbc: PUSH1 0x00 00000fbe: DUP1 00000fbf: RETURNDATACOPY 00000fc0: RETURNDATASIZE 00000fc1: PUSH1 0x00 00000fc3: REVERT 00000fc4: JUMPDEST 00000fc5: POP 00000fc6: POP 00000fc7: POP 00000fc8: POP 00000fc9: PUSH2 0x0fd0 00000fcc: PUSH2 0x145e 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: ISZERO 00000fd2: ISZERO 00000fd3: PUSH2 0x1026 00000fd6: JUMPI 00000fd7: PUSH1 0x40 00000fd9: DUP1 00000fda: MLOAD 00000fdb: PUSH1 0xe5 00000fdd: PUSH1 0x02 00000fdf: EXP 00000fe0: PUSH3 0x461bcd 00000fe4: MUL 00000fe5: DUP2 00000fe6: MSTORE 00000fe7: PUSH1 0x20 00000fe9: PUSH1 0x04 00000feb: DUP3 00000fec: ADD 00000fed: MSTORE 00000fee: PUSH1 0x0f 00000ff0: PUSH1 0x24 00000ff2: DUP3 00000ff3: ADD 00000ff4: MSTORE 00000ff5: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000 00001016: PUSH1 0x44 00001018: DUP3 00001019: ADD 0000101a: MSTORE 0000101b: SWAP1 0000101c: MLOAD 0000101d: SWAP1 0000101e: DUP2 0000101f: SWAP1 00001020: SUB 00001021: PUSH1 0x64 00001023: ADD 00001024: SWAP1 00001025: REVERT 00001026: JUMPDEST 00001027: POP 00001028: POP 00001029: POP 0000102a: JUMP 0000102b: JUMPDEST 0000102c: DUP3 0000102d: PUSH1 0x01 0000102f: PUSH1 0xa0 00001031: PUSH1 0x02 00001033: EXP 00001034: SUB 00001035: AND 00001036: PUSH4 0x095ea7b3 0000103b: DUP4 0000103c: DUP4 0000103d: PUSH1 0x40 0000103f: MLOAD 00001040: DUP4 00001041: PUSH4 0xffffffff 00001046: AND 00001047: PUSH1 0xe0 00001049: PUSH1 0x02 0000104b: EXP 0000104c: MUL 0000104d: DUP2 0000104e: MSTORE 0000104f: PUSH1 0x04 00001051: ADD 00001052: DUP1 00001053: DUP4 00001054: PUSH1 0x01 00001056: PUSH1 0xa0 00001058: PUSH1 0x02 0000105a: EXP 0000105b: SUB 0000105c: AND 0000105d: PUSH1 0x01 0000105f: PUSH1 0xa0 00001061: PUSH1 0x02 00001063: EXP 00001064: SUB 00001065: AND 00001066: DUP2 00001067: MSTORE 00001068: PUSH1 0x20 0000106a: ADD 0000106b: DUP3 0000106c: DUP2 0000106d: MSTORE 0000106e: PUSH1 0x20 00001070: ADD 00001071: SWAP3 00001072: POP 00001073: POP 00001074: POP 00001075: PUSH1 0x00 00001077: PUSH1 0x40 00001079: MLOAD 0000107a: DUP1 0000107b: DUP4 0000107c: SUB 0000107d: DUP2 0000107e: PUSH1 0x00 00001080: DUP8 00001081: DUP1 00001082: EXTCODESIZE 00001083: ISZERO 00001084: DUP1 00001085: ISZERO 00001086: PUSH2 0x108e 00001089: JUMPI 0000108a: PUSH1 0x00 0000108c: DUP1 0000108d: REVERT 0000108e: JUMPDEST 0000108f: POP 00001090: GAS 00001091: CALL 00001092: ISZERO 00001093: DUP1 00001094: ISZERO 00001095: PUSH2 0x10a2 00001098: JUMPI 00001099: RETURNDATASIZE 0000109a: PUSH1 0x00 0000109c: DUP1 0000109d: RETURNDATACOPY 0000109e: RETURNDATASIZE 0000109f: PUSH1 0x00 000010a1: REVERT 000010a2: JUMPDEST 000010a3: POP 000010a4: POP 000010a5: POP 000010a6: POP 000010a7: PUSH2 0x10ae 000010aa: PUSH2 0x145e 000010ad: JUMP 000010ae: JUMPDEST 000010af: ISZERO 000010b0: ISZERO 000010b1: PUSH2 0x1026 000010b4: JUMPI 000010b5: PUSH1 0x40 000010b7: DUP1 000010b8: MLOAD 000010b9: PUSH1 0xe5 000010bb: PUSH1 0x02 000010bd: EXP 000010be: PUSH3 0x461bcd 000010c2: MUL 000010c3: DUP2 000010c4: MSTORE 000010c5: PUSH1 0x20 000010c7: PUSH1 0x04 000010c9: DUP3 000010ca: ADD 000010cb: MSTORE 000010cc: PUSH1 0x0e 000010ce: PUSH1 0x24 000010d0: DUP3 000010d1: ADD 000010d2: MSTORE 000010d3: PUSH32 0x617070726f7665206661696c6564000000000000000000000000000000000000 000010f4: PUSH1 0x44 000010f6: DUP3 000010f7: ADD 000010f8: MSTORE 000010f9: SWAP1 000010fa: MLOAD 000010fb: SWAP1 000010fc: DUP2 000010fd: SWAP1 000010fe: SUB 000010ff: PUSH1 0x64 00001101: ADD 00001102: SWAP1 00001103: REVERT 00001104: JUMPDEST 00001105: PUSH1 0x01 00001107: PUSH1 0xa0 00001109: PUSH1 0x02 0000110b: EXP 0000110c: SUB 0000110d: DUP1 0000110e: DUP5 0000110f: AND 00001110: PUSH1 0x00 00001112: SWAP1 00001113: DUP2 00001114: MSTORE 00001115: PUSH1 0x05 00001117: PUSH1 0x20 00001119: SWAP1 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x40 0000111e: DUP1 0000111f: DUP4 00001120: KECCAK256 00001121: SWAP4 00001122: DUP7 00001123: AND 00001124: DUP4 00001125: MSTORE 00001126: SWAP3 00001127: SWAP1 00001128: MSTORE 00001129: KECCAK256 0000112a: SLOAD 0000112b: PUSH2 0x113a 0000112e: SWAP1 0000112f: DUP3 00001130: PUSH4 0xffffffff 00001135: PUSH2 0x1492 00001138: AND 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: PUSH1 0x02 00001141: EXP 00001142: SUB 00001143: DUP1 00001144: DUP6 00001145: AND 00001146: PUSH1 0x00 00001148: DUP2 00001149: DUP2 0000114a: MSTORE 0000114b: PUSH1 0x05 0000114d: PUSH1 0x20 0000114f: SWAP1 00001150: DUP2 00001151: MSTORE 00001152: PUSH1 0x40 00001154: DUP1 00001155: DUP4 00001156: KECCAK256 00001157: SWAP5 00001158: DUP9 00001159: AND 0000115a: DUP1 0000115b: DUP5 0000115c: MSTORE 0000115d: SWAP5 0000115e: DUP3 0000115f: MSTORE 00001160: SWAP2 00001161: DUP3 00001162: SWAP1 00001163: KECCAK256 00001164: SWAP5 00001165: SWAP1 00001166: SWAP5 00001167: SSTORE 00001168: DUP1 00001169: MLOAD 0000116a: SWAP2 0000116b: DUP3 0000116c: MSTORE 0000116d: SWAP3 0000116e: DUP2 0000116f: ADD 00001170: SWAP2 00001171: SWAP1 00001172: SWAP2 00001173: MSTORE 00001174: DUP1 00001175: DUP3 00001176: ADD 00001177: DUP4 00001178: SWAP1 00001179: MSTORE 0000117a: SWAP1 0000117b: MLOAD 0000117c: PUSH32 0x8d6dc51e8945c5e6a4ddb872612ec2b1f5e375a97daebdbb6a03a64e7c659209 0000119d: SWAP2 0000119e: DUP2 0000119f: SWAP1 000011a0: SUB 000011a1: PUSH1 0x60 000011a3: ADD 000011a4: SWAP1 000011a5: LOG1 000011a6: POP 000011a7: POP 000011a8: POP 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH1 0x00 000011ad: DUP1 000011ae: PUSH1 0x00 000011b0: DUP7 000011b1: PUSH1 0x01 000011b3: PUSH1 0xa0 000011b5: PUSH1 0x02 000011b7: EXP 000011b8: SUB 000011b9: AND 000011ba: PUSH4 0x70a08231 000011bf: DUP7 000011c0: PUSH1 0x40 000011c2: MLOAD 000011c3: DUP3 000011c4: PUSH4 0xffffffff 000011c9: AND 000011ca: PUSH1 0xe0 000011cc: PUSH1 0x02 000011ce: EXP 000011cf: MUL 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x04 000011d4: ADD 000011d5: DUP1 000011d6: DUP3 000011d7: PUSH1 0x01 000011d9: PUSH1 0xa0 000011db: PUSH1 0x02 000011dd: EXP 000011de: SUB 000011df: AND 000011e0: PUSH1 0x01 000011e2: PUSH1 0xa0 000011e4: PUSH1 0x02 000011e6: EXP 000011e7: SUB 000011e8: AND 000011e9: DUP2 000011ea: MSTORE 000011eb: PUSH1 0x20 000011ed: ADD 000011ee: SWAP2 000011ef: POP 000011f0: POP 000011f1: PUSH1 0x20 000011f3: PUSH1 0x40 000011f5: MLOAD 000011f6: DUP1 000011f7: DUP4 000011f8: SUB 000011f9: DUP2 000011fa: PUSH1 0x00 000011fc: DUP8 000011fd: DUP1 000011fe: EXTCODESIZE 000011ff: ISZERO 00001200: DUP1 00001201: ISZERO 00001202: PUSH2 0x120a 00001205: JUMPI 00001206: PUSH1 0x00 00001208: DUP1 00001209: REVERT 0000120a: JUMPDEST 0000120b: POP 0000120c: GAS 0000120d: CALL 0000120e: ISZERO 0000120f: DUP1 00001210: ISZERO 00001211: PUSH2 0x121e 00001214: JUMPI 00001215: RETURNDATASIZE 00001216: PUSH1 0x00 00001218: DUP1 00001219: RETURNDATACOPY 0000121a: RETURNDATASIZE 0000121b: PUSH1 0x00 0000121d: REVERT 0000121e: JUMPDEST 0000121f: POP 00001220: POP 00001221: POP 00001222: POP 00001223: PUSH1 0x40 00001225: MLOAD 00001226: RETURNDATASIZE 00001227: PUSH1 0x20 00001229: DUP2 0000122a: LT 0000122b: ISZERO 0000122c: PUSH2 0x1234 0000122f: JUMPI 00001230: PUSH1 0x00 00001232: DUP1 00001233: REVERT 00001234: JUMPDEST 00001235: POP 00001236: MLOAD 00001237: PUSH1 0x40 00001239: DUP1 0000123a: MLOAD 0000123b: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 0000125c: DUP2 0000125d: MSTORE 0000125e: PUSH1 0x01 00001260: PUSH1 0xa0 00001262: PUSH1 0x02 00001264: EXP 00001265: SUB 00001266: DUP10 00001267: DUP2 00001268: AND 00001269: PUSH1 0x04 0000126b: DUP4 0000126c: ADD 0000126d: MSTORE 0000126e: DUP9 0000126f: DUP2 00001270: AND 00001271: PUSH1 0x24 00001273: DUP4 00001274: ADD 00001275: MSTORE 00001276: PUSH1 0x44 00001278: DUP3 00001279: ADD 0000127a: DUP9 0000127b: SWAP1 0000127c: MSTORE 0000127d: SWAP2 0000127e: MLOAD 0000127f: SWAP3 00001280: SWAP5 00001281: POP 00001282: SWAP1 00001283: DUP10 00001284: AND 00001285: SWAP2 00001286: PUSH4 0x23b872dd 0000128b: SWAP2 0000128c: PUSH1 0x64 0000128e: DUP1 0000128f: DUP3 00001290: ADD 00001291: SWAP3 00001292: PUSH1 0x00 00001294: SWAP3 00001295: SWAP1 00001296: SWAP2 00001297: SWAP1 00001298: DUP3 00001299: SWAP1 0000129a: SUB 0000129b: ADD 0000129c: DUP2 0000129d: DUP4 0000129e: DUP8 0000129f: DUP1 000012a0: EXTCODESIZE 000012a1: ISZERO 000012a2: DUP1 000012a3: ISZERO 000012a4: PUSH2 0x12ac 000012a7: JUMPI 000012a8: PUSH1 0x00 000012aa: DUP1 000012ab: REVERT 000012ac: JUMPDEST 000012ad: POP 000012ae: GAS 000012af: CALL 000012b0: ISZERO 000012b1: DUP1 000012b2: ISZERO 000012b3: PUSH2 0x12c0 000012b6: JUMPI 000012b7: RETURNDATASIZE 000012b8: PUSH1 0x00 000012ba: DUP1 000012bb: RETURNDATACOPY 000012bc: RETURNDATASIZE 000012bd: PUSH1 0x00 000012bf: REVERT 000012c0: JUMPDEST 000012c1: POP 000012c2: POP 000012c3: POP 000012c4: POP 000012c5: PUSH2 0x12cc 000012c8: PUSH2 0x145e 000012cb: JUMP 000012cc: JUMPDEST 000012cd: ISZERO 000012ce: ISZERO 000012cf: PUSH2 0x1322 000012d2: JUMPI 000012d3: PUSH1 0x40 000012d5: DUP1 000012d6: MLOAD 000012d7: PUSH1 0xe5 000012d9: PUSH1 0x02 000012db: EXP 000012dc: PUSH3 0x461bcd 000012e0: MUL 000012e1: DUP2 000012e2: MSTORE 000012e3: PUSH1 0x20 000012e5: PUSH1 0x04 000012e7: DUP3 000012e8: ADD 000012e9: MSTORE 000012ea: PUSH1 0x13 000012ec: PUSH1 0x24 000012ee: DUP3 000012ef: ADD 000012f0: MSTORE 000012f1: PUSH32 0x7472616e7366657246726f6d206661696c656400000000000000000000000000 00001312: PUSH1 0x44 00001314: DUP3 00001315: ADD 00001316: MSTORE 00001317: SWAP1 00001318: MLOAD 00001319: SWAP1 0000131a: DUP2 0000131b: SWAP1 0000131c: SUB 0000131d: PUSH1 0x64 0000131f: ADD 00001320: SWAP1 00001321: REVERT 00001322: JUMPDEST 00001323: DUP7 00001324: PUSH1 0x01 00001326: PUSH1 0xa0 00001328: PUSH1 0x02 0000132a: EXP 0000132b: SUB 0000132c: AND 0000132d: PUSH4 0x70a08231 00001332: DUP7 00001333: PUSH1 0x40 00001335: MLOAD 00001336: DUP3 00001337: PUSH4 0xffffffff 0000133c: AND 0000133d: PUSH1 0xe0 0000133f: PUSH1 0x02 00001341: EXP 00001342: MUL 00001343: DUP2 00001344: MSTORE 00001345: PUSH1 0x04 00001347: ADD 00001348: DUP1 00001349: DUP3 0000134a: PUSH1 0x01 0000134c: PUSH1 0xa0 0000134e: PUSH1 0x02 00001350: EXP 00001351: SUB 00001352: AND 00001353: PUSH1 0x01 00001355: PUSH1 0xa0 00001357: PUSH1 0x02 00001359: EXP 0000135a: SUB 0000135b: AND 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x20 00001360: ADD 00001361: SWAP2 00001362: POP 00001363: POP 00001364: PUSH1 0x20 00001366: PUSH1 0x40 00001368: MLOAD 00001369: DUP1 0000136a: DUP4 0000136b: SUB 0000136c: DUP2 0000136d: PUSH1 0x00 0000136f: DUP8 00001370: DUP1 00001371: EXTCODESIZE 00001372: ISZERO 00001373: DUP1 00001374: ISZERO 00001375: PUSH2 0x137d 00001378: JUMPI 00001379: PUSH1 0x00 0000137b: DUP1 0000137c: REVERT 0000137d: JUMPDEST 0000137e: POP 0000137f: GAS 00001380: CALL 00001381: ISZERO 00001382: DUP1 00001383: ISZERO 00001384: PUSH2 0x1391 00001387: JUMPI 00001388: RETURNDATASIZE 00001389: PUSH1 0x00 0000138b: DUP1 0000138c: RETURNDATACOPY 0000138d: RETURNDATASIZE 0000138e: PUSH1 0x00 00001390: REVERT 00001391: JUMPDEST 00001392: POP 00001393: POP 00001394: POP 00001395: POP 00001396: PUSH1 0x40 00001398: MLOAD 00001399: RETURNDATASIZE 0000139a: PUSH1 0x20 0000139c: DUP2 0000139d: LT 0000139e: ISZERO 0000139f: PUSH2 0x13a7 000013a2: JUMPI 000013a3: PUSH1 0x00 000013a5: DUP1 000013a6: REVERT 000013a7: JUMPDEST 000013a8: POP 000013a9: MLOAD 000013aa: SWAP1 000013ab: POP 000013ac: PUSH2 0x13c4 000013af: DUP5 000013b0: PUSH2 0x13bf 000013b3: DUP4 000013b4: DUP6 000013b5: PUSH4 0xffffffff 000013ba: PUSH2 0x144c 000013bd: AND 000013be: JUMP 000013bf: JUMPDEST 000013c0: PUSH2 0x14a5 000013c3: JUMP 000013c4: JUMPDEST 000013c5: SWAP8 000013c6: SWAP7 000013c7: POP 000013c8: POP 000013c9: POP 000013ca: POP 000013cb: POP 000013cc: POP 000013cd: POP 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH1 0x01 000013d2: PUSH1 0xa0 000013d4: PUSH1 0x02 000013d6: EXP 000013d7: SUB 000013d8: DUP2 000013d9: AND 000013da: ISZERO 000013db: ISZERO 000013dc: PUSH2 0x13e4 000013df: JUMPI 000013e0: PUSH1 0x00 000013e2: DUP1 000013e3: REVERT 000013e4: JUMPDEST 000013e5: PUSH1 0x00 000013e7: DUP1 000013e8: SLOAD 000013e9: PUSH1 0x40 000013eb: MLOAD 000013ec: PUSH1 0x01 000013ee: PUSH1 0xa0 000013f0: PUSH1 0x02 000013f2: EXP 000013f3: SUB 000013f4: DUP1 000013f5: DUP6 000013f6: AND 000013f7: SWAP4 000013f8: SWAP3 000013f9: AND 000013fa: SWAP2 000013fb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000141c: SWAP2 0000141d: LOG3 0000141e: PUSH1 0x00 00001420: DUP1 00001421: SLOAD 00001422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001437: NOT 00001438: AND 00001439: PUSH1 0x01 0000143b: PUSH1 0xa0 0000143d: PUSH1 0x02 0000143f: EXP 00001440: SUB 00001441: SWAP3 00001442: SWAP1 00001443: SWAP3 00001444: AND 00001445: SWAP2 00001446: SWAP1 00001447: SWAP2 00001448: OR 00001449: SWAP1 0000144a: SSTORE 0000144b: JUMP 0000144c: JUMPDEST 0000144d: PUSH1 0x00 0000144f: DUP3 00001450: DUP3 00001451: GT 00001452: ISZERO 00001453: PUSH2 0x1458 00001456: JUMPI 00001457: INVALID 00001458: JUMPDEST 00001459: POP 0000145a: SWAP1 0000145b: SUB 0000145c: SWAP1 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP1 00001462: RETURNDATASIZE 00001463: DUP1 00001464: ISZERO 00001465: PUSH2 0x1475 00001468: JUMPI 00001469: PUSH1 0x20 0000146b: DUP2 0000146c: EQ 0000146d: PUSH2 0x147e 00001470: JUMPI 00001471: PUSH2 0x148a 00001474: JUMP 00001475: JUMPDEST 00001476: PUSH1 0x01 00001478: SWAP2 00001479: POP 0000147a: PUSH2 0x148a 0000147d: JUMP 0000147e: JUMPDEST 0000147f: PUSH1 0x20 00001481: PUSH1 0x00 00001483: DUP1 00001484: RETURNDATACOPY 00001485: PUSH1 0x00 00001487: MLOAD 00001488: SWAP2 00001489: POP 0000148a: JUMPDEST 0000148b: POP 0000148c: ISZERO 0000148d: ISZERO 0000148e: SWAP2 0000148f: SWAP1 00001490: POP 00001491: JUMP 00001492: JUMPDEST 00001493: DUP2 00001494: DUP2 00001495: ADD 00001496: DUP3 00001497: DUP2 00001498: LT 00001499: ISZERO 0000149a: PUSH2 0x149f 0000149d: JUMPI 0000149e: INVALID 0000149f: JUMPDEST 000014a0: SWAP3 000014a1: SWAP2 000014a2: POP 000014a3: POP 000014a4: JUMP 000014a5: JUMPDEST 000014a6: PUSH1 0x00 000014a8: DUP2 000014a9: DUP4 000014aa: LT 000014ab: PUSH2 0x14b4 000014ae: JUMPI 000014af: DUP2 000014b0: PUSH2 0x14b6 000014b3: JUMP 000014b4: JUMPDEST 000014b5: DUP3 000014b6: JUMPDEST 000014b7: SWAP4 000014b8: SWAP3 000014b9: POP 000014ba: POP 000014bb: POP 000014bc: JUMP 000014bd: STOP 000014be: LOG1 000014bf: PUSH6 0x627a7a723058 000014c6: KECCAK256 000014c7: MSIZE 000014c8: DUP16 000014c9: REVERT 000014ca: PUSH9 0xe54c83a8aac3208c87 000014d4: JUMPDEST 000014d5: UNKNOWN(0xEE) 000014d6: UNKNOWN(0x2D) 000014d7: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x3934653a824666fa1dcdcbf236f504a2cd9b244f235090b0ef404a8d5aba9feb
call_targets:
0x5ec18b477b20af940807b5478db5a64cd4a77efd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3934653a824666fa1dcdcbf236f504a2cd9b244f235090b0ef404a8d5aba9feb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ec18b477b20af940807b5478db5a64cd4a77efd"
],
"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": "0x080bdfa8",
"selector": "0x080bdfa8",
"calldata_variants": [
"0x080bdfa8",
"0x080bdfa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d65551d",
"selector": "0x1d65551d",
"calldata_variants": [
"0x1d65551d",
"0x1d65551d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23017a3a",
"selector": "0x23017a3a",
"calldata_variants": [
"0x23017a3a",
"0x23017a3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31f09265",
"selector": "0x31f09265",
"calldata_variants": [
"0x31f09265",
"0x31f092650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34814e58",
"selector": "0x34814e58",
"calldata_variants": [
"0x34814e58",
"0x34814e580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67aa50ae",
"selector": "0x67aa50ae",
"calldata_variants": [
"0x67aa50ae",
"0x67aa50ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1899,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x3934653a824666fa1dcdcbf236f504a2cd9b244f235090b0ef404a8d5aba9feb
call_targets:
0x5ec18b477b20af940807b5478db5a64cd4a77efd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3934653a824666fa1dcdcbf236f504a2cd9b244f235090b0ef404a8d5aba9feb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ec18b477b20af940807b5478db5a64cd4a77efd"
],
"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": "0x080bdfa8",
"selector": "0x080bdfa8",
"calldata_variants": [
"0x080bdfa8",
"0x080bdfa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d65551d",
"selector": "0x1d65551d",
"calldata_variants": [
"0x1d65551d",
"0x1d65551d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23017a3a",
"selector": "0x23017a3a",
"calldata_variants": [
"0x23017a3a",
"0x23017a3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31f09265",
"selector": "0x31f09265",
"calldata_variants": [
"0x31f09265",
"0x31f092650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34814e58",
"selector": "0x34814e58",
"calldata_variants": [
"0x34814e58",
"0x34814e580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67aa50ae",
"selector": "0x67aa50ae",
"calldata_variants": [
"0x67aa50ae",
"0x67aa50ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1387,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1899,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|