019b3836-2ab7-70b4-a701-bbcf5020d7ff
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 |
|---|---|---|---|---|
| 1647 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1648 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44700 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 44701 | capability.graph | complete | 1 / 3 | 1 week ago |
| 44702 | detector.run | complete | 1 / 3 | 1 week ago |
| 44703 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00a3 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1e7d6de2 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00ae 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x23145ca0 00000025: EQ 00000026: PUSH2 0x00b7 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x27dc297e 00000030: EQ 00000031: PUSH2 0x00e9 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x42cde4e8 0000003b: EQ 0000003c: PUSH2 0x01fa 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x516dde43 00000046: EQ 00000047: PUSH2 0x0203 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x6b3fdc5a 00000051: EQ 00000052: PUSH2 0x020c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x788e26e7 0000005c: EQ 0000005d: PUSH2 0x0251 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0283 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xaacf5328 00000072: EQ 00000073: PUSH2 0x0295 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xacc00b80 0000007d: EQ 0000007e: PUSH2 0x0328 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb4b5bc42 00000088: EQ 00000089: PUSH2 0x0386 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd35590c2 00000093: EQ 00000094: PUSH2 0x03cc 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xd7c26adb 0000009e: EQ 0000009f: PUSH2 0x03e4 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: PUSH2 0x04b7 000000a7: PUSH2 0x04b9 000000aa: PUSH2 0x0255 000000ad: JUMP 000000ae: JUMPDEST 000000af: PUSH2 0x04bb 000000b2: PUSH1 0x02 000000b4: SLOAD 000000b5: DUP2 000000b6: JUMP 000000b7: JUMPDEST 000000b8: PUSH2 0x04b7 000000bb: PUSH1 0x04 000000bd: SLOAD 000000be: PUSH1 0x01 000000c0: PUSH1 0xa0 000000c2: PUSH1 0x02 000000c4: EXP 000000c5: SUB 000000c6: SWAP1 000000c7: DUP2 000000c8: AND 000000c9: CALLER 000000ca: SWAP2 000000cb: SWAP1 000000cc: SWAP2 000000cd: AND 000000ce: EQ 000000cf: ISZERO 000000d0: DUP1 000000d1: PUSH2 0x00df 000000d4: JUMPI 000000d5: POP 000000d6: PUSH1 0x05 000000d8: SLOAD 000000d9: PUSH2 0x0e10 000000dc: ADD 000000dd: TIMESTAMP 000000de: LT 000000df: JUMPDEST 000000e0: ISZERO 000000e1: PUSH2 0x0919 000000e4: JUMPI 000000e5: PUSH2 0x0002 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH1 0x40 000000ec: DUP1 000000ed: MLOAD 000000ee: PUSH1 0x20 000000f0: PUSH1 0x24 000000f2: DUP1 000000f3: CALLDATALOAD 000000f4: PUSH1 0x04 000000f6: DUP2 000000f7: DUP2 000000f8: ADD 000000f9: CALLDATALOAD 000000fa: PUSH1 0x1f 000000fc: DUP2 000000fd: ADD 000000fe: DUP6 000000ff: SWAP1 00000100: DIV 00000101: DUP6 00000102: MUL 00000103: DUP7 00000104: ADD 00000105: DUP6 00000106: ADD 00000107: SWAP1 00000108: SWAP7 00000109: MSTORE 0000010a: DUP6 0000010b: DUP6 0000010c: MSTORE 0000010d: PUSH2 0x04b7 00000110: SWAP6 00000111: DUP2 00000112: CALLDATALOAD 00000113: SWAP6 00000114: SWAP2 00000115: SWAP5 00000116: PUSH1 0x44 00000118: SWAP5 00000119: SWAP3 0000011a: SWAP4 0000011b: SWAP1 0000011c: SWAP3 0000011d: ADD 0000011e: SWAP2 0000011f: DUP2 00000120: SWAP1 00000121: DUP5 00000122: ADD 00000123: DUP4 00000124: DUP3 00000125: DUP1 00000126: DUP3 00000127: DUP5 00000128: CALLDATACOPY 00000129: POP 0000012a: SWAP5 0000012b: SWAP7 0000012c: POP 0000012d: POP 0000012e: POP 0000012f: POP 00000130: POP 00000131: POP 00000132: POP 00000133: PUSH2 0x0853 00000136: PUSH1 0x40 00000138: DUP1 00000139: MLOAD 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: SLOAD 0000013e: PUSH1 0xe0 00000140: PUSH1 0x02 00000142: EXP 00000143: PUSH4 0x38cc4831 00000148: MUL 00000149: DUP4 0000014a: MSTORE 0000014b: SWAP3 0000014c: MLOAD 0000014d: SWAP1 0000014e: SWAP3 0000014f: PUSH1 0x01 00000151: PUSH1 0xa0 00000153: PUSH1 0x02 00000155: EXP 00000156: SUB 00000157: AND 00000158: SWAP2 00000159: PUSH4 0x38cc4831 0000015e: SWAP2 0000015f: PUSH1 0x04 00000161: DUP3 00000162: DUP2 00000163: ADD 00000164: SWAP3 00000165: PUSH1 0x20 00000167: SWAP3 00000168: SWAP2 00000169: SWAP1 0000016a: DUP3 0000016b: SWAP1 0000016c: SUB 0000016d: ADD 0000016e: DUP2 0000016f: DUP8 00000170: DUP8 00000171: PUSH2 0x61da 00000174: GAS 00000175: SUB 00000176: CALL 00000177: ISZERO 00000178: PUSH2 0x0002 0000017b: JUMPI 0000017c: POP 0000017d: POP 0000017e: PUSH1 0x40 00000180: DUP1 00000181: MLOAD 00000182: DUP1 00000183: MLOAD 00000184: PUSH1 0x01 00000186: DUP1 00000187: SLOAD 00000188: PUSH1 0x01 0000018a: PUSH1 0xa0 0000018c: PUSH1 0x02 0000018e: EXP 0000018f: SUB 00000190: NOT 00000191: AND 00000192: SWAP1 00000193: SWAP2 00000194: OR 00000195: SWAP1 00000196: DUP2 00000197: SWAP1 00000198: SSTORE 00000199: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 000001ba: DUP3 000001bb: MSTORE 000001bc: SWAP2 000001bd: MLOAD 000001be: PUSH1 0x01 000001c0: PUSH1 0xa0 000001c2: PUSH1 0x02 000001c4: EXP 000001c5: SUB 000001c6: SWAP3 000001c7: SWAP1 000001c8: SWAP3 000001c9: AND 000001ca: SWAP3 000001cb: POP 000001cc: PUSH4 0xc281d19e 000001d1: SWAP2 000001d2: PUSH1 0x04 000001d4: DUP3 000001d5: DUP2 000001d6: ADD 000001d7: SWAP3 000001d8: PUSH1 0x20 000001da: SWAP3 000001db: SWAP2 000001dc: SWAP1 000001dd: DUP3 000001de: SWAP1 000001df: SUB 000001e0: ADD 000001e1: DUP2 000001e2: DUP8 000001e3: DUP8 000001e4: PUSH2 0x61da 000001e7: GAS 000001e8: SUB 000001e9: CALL 000001ea: ISZERO 000001eb: PUSH2 0x0002 000001ee: JUMPI 000001ef: POP 000001f0: POP 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: MLOAD 000001f5: SWAP2 000001f6: POP 000001f7: POP 000001f8: SWAP1 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x04bb 000001fe: PUSH1 0x06 00000200: SLOAD 00000201: DUP2 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH2 0x04bb 00000207: PUSH1 0x05 00000209: SLOAD 0000020a: DUP2 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH2 0x04bb 00000210: PUSH1 0x04 00000212: CALLDATALOAD 00000213: PUSH1 0x00 00000215: PUSH1 0xff 00000217: DUP3 00000218: AND 00000219: PUSH1 0x01 0000021b: EQ 0000021c: ISZERO 0000021d: PUSH2 0x0925 00000220: JUMPI 00000221: DUP1 00000222: SLOAD 00000223: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8 00000238: PUSH1 0x01 0000023a: PUSH1 0xa0 0000023c: PUSH1 0x02 0000023e: EXP 0000023f: SUB 00000240: NOT 00000241: SWAP2 00000242: SWAP1 00000243: SWAP2 00000244: AND 00000245: OR 00000246: DUP2 00000247: SSTORE 00000248: JUMPDEST 00000249: POP 0000024a: PUSH1 0x01 0000024c: JUMPDEST 0000024d: SWAP2 0000024e: SWAP1 0000024f: POP 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x04b7 00000255: JUMPDEST 00000256: CALLVALUE 00000257: PUSH1 0x00 00000259: EQ 0000025a: DUP1 0000025b: PUSH2 0x0279 0000025e: JUMPI 0000025f: POP 00000260: PUSH1 0x03 00000262: SLOAD 00000263: PUSH1 0x02 00000265: PUSH1 0x00 00000267: NOT 00000268: PUSH2 0x0100 0000026b: PUSH1 0x01 0000026d: DUP5 0000026e: AND 0000026f: ISZERO 00000270: MUL 00000271: ADD 00000272: SWAP1 00000273: SWAP2 00000274: AND 00000275: DIV 00000276: PUSH1 0x00 00000278: EQ 00000279: JUMPDEST 0000027a: ISZERO 0000027b: PUSH2 0x0705 0000027e: JUMPI 0000027f: PUSH2 0x0002 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH2 0x04cd 00000287: PUSH1 0x04 00000289: SLOAD 0000028a: PUSH1 0x01 0000028c: PUSH1 0xa0 0000028e: PUSH1 0x02 00000290: EXP 00000291: SUB 00000292: AND 00000293: DUP2 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x40 00000298: DUP1 00000299: MLOAD 0000029a: PUSH1 0x20 0000029c: PUSH1 0x04 0000029e: DUP1 0000029f: CALLDATALOAD 000002a0: DUP1 000002a1: DUP3 000002a2: ADD 000002a3: CALLDATALOAD 000002a4: PUSH1 0x1f 000002a6: DUP2 000002a7: ADD 000002a8: DUP5 000002a9: SWAP1 000002aa: DIV 000002ab: DUP5 000002ac: MUL 000002ad: DUP6 000002ae: ADD 000002af: DUP5 000002b0: ADD 000002b1: SWAP1 000002b2: SWAP6 000002b3: MSTORE 000002b4: DUP5 000002b5: DUP5 000002b6: MSTORE 000002b7: PUSH2 0x04b7 000002ba: SWAP5 000002bb: SWAP2 000002bc: SWAP4 000002bd: PUSH1 0x24 000002bf: SWAP4 000002c0: SWAP1 000002c1: SWAP3 000002c2: SWAP2 000002c3: DUP5 000002c4: ADD 000002c5: SWAP2 000002c6: SWAP1 000002c7: DUP2 000002c8: SWAP1 000002c9: DUP5 000002ca: ADD 000002cb: DUP4 000002cc: DUP3 000002cd: DUP1 000002ce: DUP3 000002cf: DUP5 000002d0: CALLDATACOPY 000002d1: POP 000002d2: POP 000002d3: SWAP6 000002d4: SLOAD 000002d5: SWAP4 000002d6: SWAP6 000002d7: POP 000002d8: POP 000002d9: SWAP3 000002da: CALLDATALOAD 000002db: SWAP3 000002dc: POP 000002dd: PUSH1 0x00 000002df: SWAP2 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: PUSH1 0x02 000002e6: EXP 000002e7: SUB 000002e8: SWAP1 000002e9: DUP2 000002ea: AND 000002eb: CALLER 000002ec: SWAP1 000002ed: SWAP2 000002ee: AND 000002ef: EQ 000002f0: ISZERO 000002f1: SWAP1 000002f2: POP 000002f3: DUP1 000002f4: PUSH2 0x0312 000002f7: JUMPI 000002f8: POP 000002f9: PUSH1 0x03 000002fb: SLOAD 000002fc: PUSH1 0x02 000002fe: PUSH1 0x01 00000300: DUP3 00000301: AND 00000302: ISZERO 00000303: PUSH2 0x0100 00000306: MUL 00000307: PUSH1 0x00 00000309: NOT 0000030a: ADD 0000030b: SWAP1 0000030c: SWAP2 0000030d: AND 0000030e: DIV 0000030f: DUP2 00000310: EQ 00000311: ISZERO 00000312: JUMPDEST 00000313: DUP1 00000314: PUSH2 0x031e 00000317: JUMPI 00000318: POP 00000319: DUP3 0000031a: MLOAD 0000031b: PUSH1 0x00 0000031d: EQ 0000031e: JUMPDEST 0000031f: ISZERO 00000320: PUSH2 0x058b 00000323: JUMPI 00000324: PUSH2 0x0002 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH1 0x40 0000032b: DUP1 0000032c: MLOAD 0000032d: PUSH1 0x03 0000032f: DUP1 00000330: SLOAD 00000331: PUSH1 0x20 00000333: PUSH1 0x02 00000335: PUSH1 0x01 00000337: DUP4 00000338: AND 00000339: ISZERO 0000033a: PUSH2 0x0100 0000033d: MUL 0000033e: PUSH1 0x00 00000340: NOT 00000341: ADD 00000342: SWAP1 00000343: SWAP3 00000344: AND 00000345: SWAP2 00000346: SWAP1 00000347: SWAP2 00000348: DIV 00000349: PUSH1 0x1f 0000034b: DUP2 0000034c: ADD 0000034d: DUP3 0000034e: SWAP1 0000034f: DIV 00000350: DUP3 00000351: MUL 00000352: DUP5 00000353: ADD 00000354: DUP3 00000355: ADD 00000356: SWAP1 00000357: SWAP5 00000358: MSTORE 00000359: DUP4 0000035a: DUP4 0000035b: MSTORE 0000035c: PUSH2 0x04ea 0000035f: SWAP4 00000360: SWAP1 00000361: DUP4 00000362: ADD 00000363: DUP3 00000364: DUP3 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x0583 0000036a: JUMPI 0000036b: DUP1 0000036c: PUSH1 0x1f 0000036e: LT 0000036f: PUSH2 0x0558 00000372: JUMPI 00000373: PUSH2 0x0100 00000376: DUP1 00000377: DUP4 00000378: SLOAD 00000379: DIV 0000037a: MUL 0000037b: DUP4 0000037c: MSTORE 0000037d: SWAP2 0000037e: PUSH1 0x20 00000380: ADD 00000381: SWAP2 00000382: PUSH2 0x0583 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH2 0x04cd 0000038a: PUSH1 0x04 0000038c: CALLDATALOAD 0000038d: PUSH1 0x08 0000038f: DUP1 00000390: SLOAD 00000391: DUP3 00000392: SWAP1 00000393: DUP2 00000394: LT 00000395: ISZERO 00000396: PUSH2 0x0002 00000399: JUMPI 0000039a: POP 0000039b: PUSH1 0x00 0000039d: MSTORE 0000039e: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 000003bf: ADD 000003c0: SLOAD 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: PUSH1 0x02 000003c7: EXP 000003c8: SUB 000003c9: AND 000003ca: DUP2 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x04bb 000003d0: PUSH1 0x04 000003d2: CALLDATALOAD 000003d3: PUSH1 0x07 000003d5: PUSH1 0x20 000003d7: MSTORE 000003d8: PUSH1 0x00 000003da: SWAP1 000003db: DUP2 000003dc: MSTORE 000003dd: PUSH1 0x40 000003df: SWAP1 000003e0: KECCAK256 000003e1: SLOAD 000003e2: DUP2 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH2 0x04b7 000003e8: PUSH1 0x04 000003ea: CALLDATALOAD 000003eb: PUSH1 0x00 000003ed: PUSH1 0x00 000003ef: SWAP1 000003f0: SLOAD 000003f1: SWAP1 000003f2: PUSH2 0x0100 000003f5: EXP 000003f6: SWAP1 000003f7: DIV 000003f8: PUSH1 0x01 000003fa: PUSH1 0xa0 000003fc: PUSH1 0x02 000003fe: EXP 000003ff: SUB 00000400: AND 00000401: PUSH1 0x01 00000403: PUSH1 0xa0 00000405: PUSH1 0x02 00000407: EXP 00000408: SUB 00000409: AND 0000040a: PUSH4 0x38cc4831 0000040f: PUSH1 0x40 00000411: MLOAD 00000412: DUP2 00000413: PUSH1 0xe0 00000415: PUSH1 0x02 00000417: EXP 00000418: MUL 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH1 0x04 0000041d: ADD 0000041e: DUP1 0000041f: SWAP1 00000420: POP 00000421: PUSH1 0x20 00000423: PUSH1 0x40 00000425: MLOAD 00000426: DUP1 00000427: DUP4 00000428: SUB 00000429: DUP2 0000042a: PUSH1 0x00 0000042c: DUP8 0000042d: PUSH2 0x61da 00000430: GAS 00000431: SUB 00000432: CALL 00000433: ISZERO 00000434: PUSH2 0x0002 00000437: JUMPI 00000438: POP 00000439: POP 0000043a: PUSH1 0x40 0000043c: DUP1 0000043d: MLOAD 0000043e: DUP1 0000043f: MLOAD 00000440: PUSH1 0x01 00000442: DUP1 00000443: SLOAD 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: NOT 0000044d: AND 0000044e: SWAP1 0000044f: SWAP2 00000450: OR 00000451: SWAP1 00000452: DUP2 00000453: SWAP1 00000454: SSTORE 00000455: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000 00000476: DUP3 00000477: MSTORE 00000478: PUSH1 0x04 0000047a: DUP3 0000047b: ADD 0000047c: DUP6 0000047d: SWAP1 0000047e: MSTORE 0000047f: SWAP2 00000480: MLOAD 00000481: PUSH1 0x01 00000483: PUSH1 0xa0 00000485: PUSH1 0x02 00000487: EXP 00000488: SUB 00000489: SWAP3 0000048a: SWAP1 0000048b: SWAP3 0000048c: AND 0000048d: SWAP3 0000048e: POP 0000048f: PUSH4 0x688dcfd7 00000494: SWAP2 00000495: PUSH1 0x24 00000497: DUP3 00000498: DUP2 00000499: ADD 0000049a: SWAP3 0000049b: PUSH1 0x00 0000049d: SWAP3 0000049e: SWAP2 0000049f: SWAP1 000004a0: DUP3 000004a1: SWAP1 000004a2: SUB 000004a3: ADD 000004a4: DUP2 000004a5: DUP4 000004a6: DUP8 000004a7: PUSH2 0x61da 000004aa: GAS 000004ab: SUB 000004ac: CALL 000004ad: ISZERO 000004ae: PUSH2 0x0002 000004b1: JUMPI 000004b2: POP 000004b3: POP 000004b4: POP 000004b5: POP 000004b6: JUMP 000004b7: JUMPDEST 000004b8: STOP 000004b9: JUMPDEST 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x40 000004be: DUP1 000004bf: MLOAD 000004c0: SWAP2 000004c1: DUP3 000004c2: MSTORE 000004c3: MLOAD 000004c4: SWAP1 000004c5: DUP2 000004c6: SWAP1 000004c7: SUB 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: SWAP1 000004cc: RETURN 000004cd: JUMPDEST 000004ce: PUSH1 0x40 000004d0: DUP1 000004d1: MLOAD 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: PUSH1 0x02 000004d8: EXP 000004d9: SUB 000004da: SWAP3 000004db: SWAP1 000004dc: SWAP3 000004dd: AND 000004de: DUP3 000004df: MSTORE 000004e0: MLOAD 000004e1: SWAP1 000004e2: DUP2 000004e3: SWAP1 000004e4: SUB 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: SWAP1 000004e9: RETURN 000004ea: JUMPDEST 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: DUP1 000004ef: DUP1 000004f0: PUSH1 0x20 000004f2: ADD 000004f3: DUP3 000004f4: DUP2 000004f5: SUB 000004f6: DUP3 000004f7: MSTORE 000004f8: DUP4 000004f9: DUP2 000004fa: DUP2 000004fb: MLOAD 000004fc: DUP2 000004fd: MSTORE 000004fe: PUSH1 0x20 00000500: ADD 00000501: SWAP2 00000502: POP 00000503: DUP1 00000504: MLOAD 00000505: SWAP1 00000506: PUSH1 0x20 00000508: ADD 00000509: SWAP1 0000050a: DUP1 0000050b: DUP4 0000050c: DUP4 0000050d: DUP3 0000050e: SWAP1 0000050f: PUSH1 0x00 00000511: PUSH1 0x04 00000513: PUSH1 0x20 00000515: DUP5 00000516: PUSH1 0x1f 00000518: ADD 00000519: DIV 0000051a: PUSH1 0x0f 0000051c: MUL 0000051d: PUSH1 0x03 0000051f: ADD 00000520: CALL 00000521: POP 00000522: SWAP1 00000523: POP 00000524: SWAP1 00000525: DUP2 00000526: ADD 00000527: SWAP1 00000528: PUSH1 0x1f 0000052a: AND 0000052b: DUP1 0000052c: ISZERO 0000052d: PUSH2 0x054a 00000530: JUMPI 00000531: DUP1 00000532: DUP3 00000533: SUB 00000534: DUP1 00000535: MLOAD 00000536: PUSH1 0x01 00000538: DUP4 00000539: PUSH1 0x20 0000053b: SUB 0000053c: PUSH2 0x0100 0000053f: EXP 00000540: SUB 00000541: NOT 00000542: AND 00000543: DUP2 00000544: MSTORE 00000545: PUSH1 0x20 00000547: ADD 00000548: SWAP2 00000549: POP 0000054a: JUMPDEST 0000054b: POP 0000054c: SWAP3 0000054d: POP 0000054e: POP 0000054f: POP 00000550: PUSH1 0x40 00000552: MLOAD 00000553: DUP1 00000554: SWAP2 00000555: SUB 00000556: SWAP1 00000557: RETURN 00000558: JUMPDEST 00000559: DUP3 0000055a: ADD 0000055b: SWAP2 0000055c: SWAP1 0000055d: PUSH1 0x00 0000055f: MSTORE 00000560: PUSH1 0x20 00000562: PUSH1 0x00 00000564: KECCAK256 00000565: SWAP1 00000566: JUMPDEST 00000567: DUP2 00000568: SLOAD 00000569: DUP2 0000056a: MSTORE 0000056b: SWAP1 0000056c: PUSH1 0x01 0000056e: ADD 0000056f: SWAP1 00000570: PUSH1 0x20 00000572: ADD 00000573: DUP1 00000574: DUP4 00000575: GT 00000576: PUSH2 0x0566 00000579: JUMPI 0000057a: DUP3 0000057b: SWAP1 0000057c: SUB 0000057d: PUSH1 0x1f 0000057f: AND 00000580: DUP3 00000581: ADD 00000582: SWAP2 00000583: JUMPDEST 00000584: POP 00000585: POP 00000586: POP 00000587: POP 00000588: POP 00000589: DUP2 0000058a: JUMP 0000058b: JUMPDEST 0000058c: DUP3 0000058d: PUSH1 0x03 0000058f: PUSH1 0x00 00000591: POP 00000592: SWAP1 00000593: DUP1 00000594: MLOAD 00000595: SWAP1 00000596: PUSH1 0x20 00000598: ADD 00000599: SWAP1 0000059a: DUP3 0000059b: DUP1 0000059c: SLOAD 0000059d: PUSH1 0x01 0000059f: DUP2 000005a0: PUSH1 0x01 000005a2: AND 000005a3: ISZERO 000005a4: PUSH2 0x0100 000005a7: MUL 000005a8: SUB 000005a9: AND 000005aa: PUSH1 0x02 000005ac: SWAP1 000005ad: DIV 000005ae: SWAP1 000005af: PUSH1 0x00 000005b1: MSTORE 000005b2: PUSH1 0x20 000005b4: PUSH1 0x00 000005b6: KECCAK256 000005b7: SWAP1 000005b8: PUSH1 0x1f 000005ba: ADD 000005bb: PUSH1 0x20 000005bd: SWAP1 000005be: DIV 000005bf: DUP2 000005c0: ADD 000005c1: SWAP3 000005c2: DUP3 000005c3: PUSH1 0x1f 000005c5: LT 000005c6: PUSH2 0x05f2 000005c9: JUMPI 000005ca: DUP1 000005cb: MLOAD 000005cc: PUSH1 0xff 000005ce: NOT 000005cf: AND 000005d0: DUP4 000005d1: DUP1 000005d2: ADD 000005d3: OR 000005d4: DUP6 000005d5: SSTORE 000005d6: JUMPDEST 000005d7: POP 000005d8: PUSH2 0x0622 000005db: SWAP3 000005dc: SWAP2 000005dd: POP 000005de: JUMPDEST 000005df: DUP1 000005e0: DUP3 000005e1: GT 000005e2: ISZERO 000005e3: PUSH2 0x06fc 000005e6: JUMPI 000005e7: PUSH1 0x00 000005e9: DUP2 000005ea: SSTORE 000005eb: PUSH1 0x01 000005ed: ADD 000005ee: PUSH2 0x05de 000005f1: JUMP 000005f2: JUMPDEST 000005f3: DUP3 000005f4: DUP1 000005f5: ADD 000005f6: PUSH1 0x01 000005f8: ADD 000005f9: DUP6 000005fa: SSTORE 000005fb: DUP3 000005fc: ISZERO 000005fd: PUSH2 0x05d6 00000600: JUMPI 00000601: SWAP2 00000602: DUP3 00000603: ADD 00000604: JUMPDEST 00000605: DUP3 00000606: DUP2 00000607: GT 00000608: ISZERO 00000609: PUSH2 0x05d6 0000060c: JUMPI 0000060d: DUP3 0000060e: MLOAD 0000060f: DUP3 00000610: PUSH1 0x00 00000612: POP 00000613: SSTORE 00000614: SWAP2 00000615: PUSH1 0x20 00000617: ADD 00000618: SWAP2 00000619: SWAP1 0000061a: PUSH1 0x01 0000061c: ADD 0000061d: SWAP1 0000061e: PUSH2 0x0604 00000621: JUMP 00000622: JUMPDEST 00000623: POP 00000624: POP 00000625: POP 00000626: PUSH3 0x015180 0000062a: TIMESTAMP 0000062b: ADD 0000062c: PUSH1 0x05 0000062e: DUP2 0000062f: SWAP1 00000630: SSTORE 00000631: PUSH1 0x06 00000633: DUP3 00000634: SWAP1 00000635: SSTORE 00000636: PUSH2 0x0700 00000639: DUP2 0000063a: JUMPDEST 0000063b: PUSH1 0x40 0000063d: DUP1 0000063e: MLOAD 0000063f: PUSH1 0x20 00000641: DUP2 00000642: DUP2 00000643: ADD 00000644: DUP4 00000645: MSTORE 00000646: PUSH1 0x00 00000648: DUP3 00000649: MSTORE 0000064a: DUP3 0000064b: MLOAD 0000064c: PUSH1 0x60 0000064e: DUP2 0000064f: ADD 00000650: DUP5 00000651: MSTORE 00000652: PUSH1 0x25 00000654: DUP2 00000655: MSTORE 00000656: PUSH32 0x68746d6c2868747470733a2f2f7777772e796f75747562652e636f6d2f776174 00000677: DUP2 00000678: DUP4 00000679: ADD 0000067a: MSTORE 0000067b: PUSH32 0x63683f763d000000000000000000000000000000000000000000000000000000 0000069c: DUP2 0000069d: DUP6 0000069e: ADD 0000069f: MSTORE 000006a0: DUP4 000006a1: MLOAD 000006a2: PUSH1 0x03 000006a4: DUP1 000006a5: SLOAD 000006a6: PUSH1 0x02 000006a8: PUSH1 0x01 000006aa: DUP3 000006ab: AND 000006ac: ISZERO 000006ad: PUSH2 0x0100 000006b0: MUL 000006b1: PUSH1 0x00 000006b3: NOT 000006b4: ADD 000006b5: SWAP1 000006b6: SWAP2 000006b7: AND 000006b8: DIV 000006b9: PUSH1 0x1f 000006bb: DUP2 000006bc: ADD 000006bd: DUP6 000006be: SWAP1 000006bf: DIV 000006c0: DUP6 000006c1: MUL 000006c2: DUP4 000006c3: ADD 000006c4: DUP6 000006c5: ADD 000006c6: SWAP1 000006c7: SWAP7 000006c8: MSTORE 000006c9: DUP6 000006ca: DUP3 000006cb: MSTORE 000006cc: SWAP4 000006cd: SWAP5 000006ce: PUSH2 0x09cf 000006d1: SWAP5 000006d2: SWAP3 000006d3: SWAP4 000006d4: SWAP2 000006d5: SWAP3 000006d6: SWAP2 000006d7: DUP4 000006d8: ADD 000006d9: DUP3 000006da: DUP3 000006db: DUP1 000006dc: ISZERO 000006dd: PUSH2 0x0b80 000006e0: JUMPI 000006e1: DUP1 000006e2: PUSH1 0x1f 000006e4: LT 000006e5: PUSH2 0x0b55 000006e8: JUMPI 000006e9: PUSH2 0x0100 000006ec: DUP1 000006ed: DUP4 000006ee: SLOAD 000006ef: DIV 000006f0: MUL 000006f1: DUP4 000006f2: MSTORE 000006f3: SWAP2 000006f4: PUSH1 0x20 000006f6: ADD 000006f7: SWAP2 000006f8: PUSH2 0x0b80 000006fb: JUMP 000006fc: JUMPDEST 000006fd: POP 000006fe: SWAP1 000006ff: JUMP 00000700: JUMPDEST 00000701: POP 00000702: POP 00000703: POP 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: PUSH1 0x02 0000070c: EXP 0000070d: SUB 0000070e: CALLER 0000070f: AND 00000710: PUSH1 0x00 00000712: SWAP1 00000713: DUP2 00000714: MSTORE 00000715: PUSH1 0x07 00000717: PUSH1 0x20 00000719: MSTORE 0000071a: PUSH1 0x40 0000071c: DUP2 0000071d: KECCAK256 0000071e: SLOAD 0000071f: EQ 00000720: ISZERO 00000721: PUSH2 0x0781 00000724: JUMPI 00000725: PUSH1 0x08 00000727: DUP1 00000728: SLOAD 00000729: PUSH1 0x01 0000072b: DUP2 0000072c: ADD 0000072d: DUP1 0000072e: DUP4 0000072f: SSTORE 00000730: CALLER 00000731: SWAP3 00000732: SWAP2 00000733: SWAP1 00000734: DUP3 00000735: SWAP1 00000736: DUP3 00000737: DUP1 00000738: ISZERO 00000739: DUP3 0000073a: SWAP1 0000073b: GT 0000073c: PUSH2 0x0758 0000073f: JUMPI 00000740: DUP2 00000741: DUP4 00000742: PUSH1 0x00 00000744: MSTORE 00000745: PUSH1 0x20 00000747: PUSH1 0x00 00000749: KECCAK256 0000074a: SWAP2 0000074b: DUP3 0000074c: ADD 0000074d: SWAP2 0000074e: ADD 0000074f: PUSH2 0x0758 00000752: SWAP2 00000753: SWAP1 00000754: PUSH2 0x05de 00000757: JUMP 00000758: JUMPDEST 00000759: POP 0000075a: POP 0000075b: POP 0000075c: DUP2 0000075d: SLOAD 0000075e: DUP2 0000075f: LT 00000760: ISZERO 00000761: PUSH2 0x0002 00000764: JUMPI 00000765: PUSH1 0x00 00000767: SWAP2 00000768: DUP3 00000769: MSTORE 0000076a: PUSH1 0x20 0000076c: SWAP1 0000076d: SWAP2 0000076e: KECCAK256 0000076f: ADD 00000770: DUP1 00000771: SLOAD 00000772: PUSH1 0x01 00000774: PUSH1 0xa0 00000776: PUSH1 0x02 00000778: EXP 00000779: SUB 0000077a: NOT 0000077b: AND 0000077c: SWAP1 0000077d: SWAP2 0000077e: OR 0000077f: SWAP1 00000780: SSTORE 00000781: JUMPDEST 00000782: PUSH1 0x01 00000784: PUSH1 0xa0 00000786: PUSH1 0x02 00000788: EXP 00000789: SUB 0000078a: CALLER 0000078b: AND 0000078c: PUSH1 0x00 0000078e: SWAP1 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x07 00000793: PUSH1 0x20 00000795: MSTORE 00000796: PUSH1 0x40 00000798: SWAP1 00000799: KECCAK256 0000079a: DUP1 0000079b: SLOAD 0000079c: CALLVALUE 0000079d: ADD 0000079e: SWAP1 0000079f: SSTORE 000007a0: PUSH1 0x05 000007a2: SLOAD 000007a3: TIMESTAMP 000007a4: LT 000007a5: DUP1 000007a6: ISZERO 000007a7: SWAP1 000007a8: PUSH2 0x07b4 000007ab: JUMPI 000007ac: POP 000007ad: PUSH1 0x02 000007af: SLOAD 000007b0: PUSH1 0x00 000007b2: SWAP1 000007b3: GT 000007b4: JUMPDEST 000007b5: ISZERO 000007b6: PUSH2 0x04b9 000007b9: JUMPI 000007ba: PUSH2 0x04b9 000007bd: PUSH2 0x07c8 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x02 000007c4: SSTORE 000007c5: PUSH2 0x0915 000007c8: JUMPDEST 000007c9: PUSH1 0x02 000007cb: SLOAD 000007cc: PUSH1 0x06 000007ce: SLOAD 000007cf: PUSH1 0x00 000007d1: SWAP2 000007d2: DUP3 000007d3: SWAP2 000007d4: SWAP1 000007d5: LT 000007d6: ISZERO 000007d7: PUSH2 0x09a5 000007da: JUMPI 000007db: JUMPDEST 000007dc: PUSH1 0x08 000007de: SLOAD 000007df: DUP2 000007e0: LT 000007e1: ISZERO 000007e2: PUSH2 0x09a5 000007e5: JUMPI 000007e6: PUSH1 0x08 000007e8: DUP1 000007e9: SLOAD 000007ea: DUP3 000007eb: SWAP1 000007ec: DUP2 000007ed: LT 000007ee: ISZERO 000007ef: PUSH2 0x0002 000007f2: JUMPI 000007f3: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 00000814: ADD 00000815: SLOAD 00000816: PUSH1 0x01 00000818: PUSH1 0xa0 0000081a: PUSH1 0x02 0000081c: EXP 0000081d: SUB 0000081e: AND 0000081f: PUSH1 0x00 00000821: DUP2 00000822: DUP2 00000823: MSTORE 00000824: PUSH1 0x07 00000826: PUSH1 0x20 00000828: MSTORE 00000829: PUSH1 0x40 0000082b: DUP1 0000082c: DUP3 0000082d: KECCAK256 0000082e: SLOAD 0000082f: SWAP1 00000830: MLOAD 00000831: SWAP3 00000832: SWAP6 00000833: POP 00000834: DUP6 00000835: SWAP4 00000836: POP 00000837: SWAP1 00000838: SWAP2 00000839: PUSH1 0x04 0000083b: SWAP1 0000083c: SWAP2 0000083d: DIV 0000083e: SWAP1 0000083f: DUP3 00000840: DUP2 00000841: DUP2 00000842: DUP2 00000843: DUP6 00000844: DUP9 00000845: DUP4 00000846: CALL 00000847: POP 00000848: POP 00000849: POP 0000084a: POP 0000084b: POP 0000084c: PUSH1 0x01 0000084e: ADD 0000084f: PUSH2 0x07db 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x01 00000856: PUSH1 0xa0 00000858: PUSH1 0x02 0000085a: EXP 0000085b: SUB 0000085c: AND 0000085d: CALLER 0000085e: PUSH1 0x01 00000860: PUSH1 0xa0 00000862: PUSH1 0x02 00000864: EXP 00000865: SUB 00000866: AND 00000867: EQ 00000868: ISZERO 00000869: ISZERO 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH2 0x0002 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH2 0x07c1 00000876: DUP2 00000877: PUSH1 0x00 00000879: PUSH2 0x099e 0000087c: DUP3 0000087d: PUSH1 0x00 0000087f: PUSH1 0x40 00000881: DUP1 00000882: MLOAD 00000883: PUSH1 0x20 00000885: DUP2 00000886: ADD 00000887: SWAP1 00000888: SWAP2 00000889: MSTORE 0000088a: PUSH1 0x00 0000088c: SWAP1 0000088d: DUP2 0000088e: SWAP1 0000088f: MSTORE 00000890: DUP3 00000891: DUP2 00000892: DUP1 00000893: DUP1 00000894: JUMPDEST 00000895: DUP4 00000896: MLOAD 00000897: DUP2 00000898: LT 00000899: ISZERO 0000089a: PUSH2 0x090a 0000089d: JUMPI 0000089e: PUSH1 0x30 000008a0: PUSH1 0xf8 000008a2: PUSH1 0x02 000008a4: EXP 000008a5: MUL 000008a6: DUP5 000008a7: DUP3 000008a8: DUP2 000008a9: MLOAD 000008aa: DUP2 000008ab: LT 000008ac: ISZERO 000008ad: PUSH2 0x0002 000008b0: JUMPI 000008b1: SWAP1 000008b2: PUSH1 0x20 000008b4: ADD 000008b5: ADD 000008b6: MLOAD 000008b7: PUSH1 0xf8 000008b9: PUSH1 0x02 000008bb: EXP 000008bc: SWAP1 000008bd: DIV 000008be: PUSH1 0xf8 000008c0: PUSH1 0x02 000008c2: EXP 000008c3: MUL 000008c4: LT 000008c5: ISZERO 000008c6: DUP1 000008c7: ISZERO 000008c8: PUSH2 0x08f5 000008cb: JUMPI 000008cc: POP 000008cd: PUSH1 0x39 000008cf: PUSH1 0xf8 000008d1: PUSH1 0x02 000008d3: EXP 000008d4: MUL 000008d5: DUP5 000008d6: DUP3 000008d7: DUP2 000008d8: MLOAD 000008d9: DUP2 000008da: LT 000008db: ISZERO 000008dc: PUSH2 0x0002 000008df: JUMPI 000008e0: SWAP1 000008e1: PUSH1 0x20 000008e3: ADD 000008e4: ADD 000008e5: MLOAD 000008e6: PUSH1 0xf8 000008e8: PUSH1 0x02 000008ea: EXP 000008eb: SWAP1 000008ec: DIV 000008ed: PUSH1 0xf8 000008ef: PUSH1 0x02 000008f1: EXP 000008f2: MUL 000008f3: GT 000008f4: ISZERO 000008f5: JUMPDEST 000008f6: ISZERO 000008f7: PUSH2 0x0d14 000008fa: JUMPI 000008fb: DUP2 000008fc: ISZERO 000008fd: PUSH2 0x0d6b 00000900: JUMPI 00000901: DUP6 00000902: PUSH1 0x00 00000904: EQ 00000905: ISZERO 00000906: PUSH2 0x0d62 00000909: JUMPI 0000090a: JUMPDEST 0000090b: POP 0000090c: SWAP1 0000090d: SWAP6 0000090e: SWAP5 0000090f: POP 00000910: POP 00000911: POP 00000912: POP 00000913: POP 00000914: JUMP 00000915: JUMPDEST 00000916: POP 00000917: POP 00000918: JUMP 00000919: JUMPDEST 0000091a: PUSH1 0x05 0000091c: SLOAD 0000091d: PUSH2 0x04b9 00000920: SWAP1 00000921: PUSH2 0x063a 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0xff 00000928: DUP3 00000929: AND 0000092a: PUSH1 0x02 0000092c: EQ 0000092d: ISZERO 0000092e: PUSH2 0x095f 00000931: JUMPI 00000932: PUSH1 0x00 00000934: DUP1 00000935: SLOAD 00000936: PUSH20 0x0ae06d5934fd75d214951eb96633fbd7f9262a7c 0000094b: PUSH1 0x01 0000094d: PUSH1 0xa0 0000094f: PUSH1 0x02 00000951: EXP 00000952: SUB 00000953: NOT 00000954: SWAP2 00000955: SWAP1 00000956: SWAP2 00000957: AND 00000958: OR 00000959: SWAP1 0000095a: SSTORE 0000095b: PUSH2 0x0248 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0xff 00000962: DUP3 00000963: AND 00000964: PUSH1 0xa1 00000966: EQ 00000967: ISZERO 00000968: PUSH2 0x0996 0000096b: JUMPI 0000096c: PUSH1 0x00 0000096e: DUP1 0000096f: SLOAD 00000970: PUSH1 0x01 00000972: PUSH1 0xa0 00000974: PUSH1 0x02 00000976: EXP 00000977: SUB 00000978: NOT 00000979: AND 0000097a: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 0000098f: OR 00000990: SWAP1 00000991: SSTORE 00000992: PUSH2 0x0248 00000995: JUMP 00000996: JUMPDEST 00000997: POP 00000998: PUSH1 0x00 0000099a: PUSH2 0x024c 0000099d: JUMP 0000099e: JUMPDEST 0000099f: SWAP1 000009a0: POP 000009a1: PUSH2 0x024c 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH1 0x40 000009a8: MLOAD 000009a9: PUSH1 0x04 000009ab: SLOAD 000009ac: PUSH1 0x01 000009ae: PUSH1 0xa0 000009b0: PUSH1 0x02 000009b2: EXP 000009b3: SUB 000009b4: SWAP1 000009b5: DUP2 000009b6: AND 000009b7: SWAP2 000009b8: PUSH1 0x00 000009ba: SWAP2 000009bb: ADDRESS 000009bc: AND 000009bd: BALANCE 000009be: SWAP1 000009bf: DUP3 000009c0: DUP2 000009c1: DUP2 000009c2: DUP2 000009c3: DUP6 000009c4: DUP9 000009c5: DUP4 000009c6: CALL 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x40 000009d2: DUP1 000009d3: MLOAD 000009d4: DUP1 000009d5: DUP3 000009d6: ADD 000009d7: DUP3 000009d8: MSTORE 000009d9: PUSH1 0x03 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 000009fe: PUSH1 0x20 00000a00: DUP3 00000a01: DUP2 00000a02: ADD 00000a03: SWAP2 00000a04: SWAP1 00000a05: SWAP2 00000a06: MSTORE 00000a07: PUSH1 0x00 00000a09: DUP1 00000a0a: SLOAD 00000a0b: DUP5 00000a0c: MLOAD 00000a0d: PUSH1 0xe0 00000a0f: PUSH1 0x02 00000a11: EXP 00000a12: PUSH4 0x38cc4831 00000a17: MUL 00000a18: DUP2 00000a19: MSTORE 00000a1a: SWAP5 00000a1b: MLOAD 00000a1c: SWAP6 00000a1d: SWAP7 00000a1e: POP 00000a1f: PUSH2 0x0700 00000a22: SWAP6 00000a23: DUP9 00000a24: SWAP6 00000a25: DUP9 00000a26: SWAP5 00000a27: DUP5 00000a28: SWAP4 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: PUSH1 0x02 00000a2f: EXP 00000a30: SUB 00000a31: AND 00000a32: SWAP3 00000a33: PUSH4 0x38cc4831 00000a38: SWAP3 00000a39: PUSH1 0x04 00000a3b: DUP2 00000a3c: DUP2 00000a3d: ADD 00000a3e: SWAP4 00000a3f: SWAP3 00000a40: SWAP2 00000a41: DUP3 00000a42: SWAP1 00000a43: SUB 00000a44: ADD 00000a45: DUP2 00000a46: DUP8 00000a47: DUP8 00000a48: PUSH2 0x61da 00000a4b: GAS 00000a4c: SUB 00000a4d: CALL 00000a4e: ISZERO 00000a4f: PUSH2 0x0002 00000a52: JUMPI 00000a53: POP 00000a54: POP 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: DUP1 00000a59: MLOAD 00000a5a: PUSH1 0x01 00000a5c: DUP1 00000a5d: SLOAD 00000a5e: PUSH1 0x01 00000a60: PUSH1 0xa0 00000a62: PUSH1 0x02 00000a64: EXP 00000a65: SUB 00000a66: NOT 00000a67: AND 00000a68: SWAP1 00000a69: SWAP2 00000a6a: OR 00000a6b: SWAP1 00000a6c: DUP2 00000a6d: SWAP1 00000a6e: SSTORE 00000a6f: PUSH32 0x524f388900000000000000000000000000000000000000000000000000000000 00000a90: DUP3 00000a91: MSTORE 00000a92: PUSH1 0x20 00000a94: PUSH1 0x04 00000a96: DUP4 00000a97: DUP2 00000a98: ADD 00000a99: DUP3 00000a9a: DUP2 00000a9b: MSTORE 00000a9c: DUP10 00000a9d: MLOAD 00000a9e: PUSH1 0x24 00000aa0: DUP7 00000aa1: ADD 00000aa2: MSTORE 00000aa3: DUP10 00000aa4: MLOAD 00000aa5: PUSH1 0x01 00000aa7: PUSH1 0xa0 00000aa9: PUSH1 0x02 00000aab: EXP 00000aac: SUB 00000aad: SWAP5 00000aae: SWAP1 00000aaf: SWAP5 00000ab0: AND 00000ab1: SWAP6 00000ab2: POP 00000ab3: PUSH4 0x524f3889 00000ab8: SWAP5 00000ab9: DUP11 00000aba: SWAP5 00000abb: SWAP2 00000abc: SWAP4 00000abd: DUP5 00000abe: SWAP4 00000abf: PUSH1 0x44 00000ac1: SWAP3 00000ac2: SWAP1 00000ac3: SWAP3 00000ac4: ADD 00000ac5: SWAP3 00000ac6: DUP7 00000ac7: DUP3 00000ac8: ADD 00000ac9: SWAP3 00000aca: SWAP1 00000acb: SWAP2 00000acc: DUP3 00000acd: SWAP2 00000ace: DUP6 00000acf: SWAP2 00000ad0: DUP4 00000ad1: SWAP2 00000ad2: DUP7 00000ad3: SWAP2 00000ad4: DUP15 00000ad5: SWAP2 00000ad6: SWAP1 00000ad7: PUSH1 0x1f 00000ad9: DUP6 00000ada: ADD 00000adb: DIV 00000adc: PUSH1 0x0f 00000ade: MUL 00000adf: PUSH1 0x03 00000ae1: ADD 00000ae2: CALL 00000ae3: POP 00000ae4: SWAP1 00000ae5: POP 00000ae6: SWAP1 00000ae7: DUP2 00000ae8: ADD 00000ae9: SWAP1 00000aea: PUSH1 0x1f 00000aec: AND 00000aed: DUP1 00000aee: ISZERO 00000aef: PUSH2 0x0b0c 00000af2: JUMPI 00000af3: DUP1 00000af4: DUP3 00000af5: SUB 00000af6: DUP1 00000af7: MLOAD 00000af8: PUSH1 0x01 00000afa: DUP4 00000afb: PUSH1 0x20 00000afd: SUB 00000afe: PUSH2 0x0100 00000b01: EXP 00000b02: SUB 00000b03: NOT 00000b04: AND 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x20 00000b09: ADD 00000b0a: SWAP2 00000b0b: POP 00000b0c: JUMPDEST 00000b0d: POP 00000b0e: SWAP3 00000b0f: POP 00000b10: POP 00000b11: POP 00000b12: PUSH1 0x20 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: DUP1 00000b18: DUP4 00000b19: SUB 00000b1a: DUP2 00000b1b: PUSH1 0x00 00000b1d: DUP8 00000b1e: PUSH2 0x61da 00000b21: GAS 00000b22: SUB 00000b23: CALL 00000b24: ISZERO 00000b25: PUSH2 0x0002 00000b28: JUMPI 00000b29: POP 00000b2a: POP 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: MLOAD 00000b2f: SWAP2 00000b30: POP 00000b31: POP 00000b32: PUSH8 0x0de0b6b3a7640000 00000b3b: PUSH3 0x030d40 00000b3f: GASPRICE 00000b40: MUL 00000b41: ADD 00000b42: DUP2 00000b43: GT 00000b44: ISZERO 00000b45: PUSH2 0x0d9f 00000b48: JUMPI 00000b49: PUSH1 0x00 00000b4b: SWAP2 00000b4c: POP 00000b4d: JUMPDEST 00000b4e: POP 00000b4f: SWAP4 00000b50: SWAP3 00000b51: POP 00000b52: POP 00000b53: POP 00000b54: JUMP 00000b55: JUMPDEST 00000b56: DUP3 00000b57: ADD 00000b58: SWAP2 00000b59: SWAP1 00000b5a: PUSH1 0x00 00000b5c: MSTORE 00000b5d: PUSH1 0x20 00000b5f: PUSH1 0x00 00000b61: KECCAK256 00000b62: SWAP1 00000b63: JUMPDEST 00000b64: DUP2 00000b65: SLOAD 00000b66: DUP2 00000b67: MSTORE 00000b68: SWAP1 00000b69: PUSH1 0x01 00000b6b: ADD 00000b6c: SWAP1 00000b6d: PUSH1 0x20 00000b6f: ADD 00000b70: DUP1 00000b71: DUP4 00000b72: GT 00000b73: PUSH2 0x0b63 00000b76: JUMPI 00000b77: DUP3 00000b78: SWAP1 00000b79: SUB 00000b7a: PUSH1 0x1f 00000b7c: AND 00000b7d: DUP3 00000b7e: ADD 00000b7f: SWAP2 00000b80: JUMPDEST 00000b81: POP 00000b82: POP 00000b83: POP 00000b84: POP 00000b85: POP 00000b86: PUSH1 0x60 00000b88: PUSH1 0x40 00000b8a: MLOAD 00000b8b: SWAP1 00000b8c: DUP2 00000b8d: ADD 00000b8e: PUSH1 0x40 00000b90: MSTORE 00000b91: DUP1 00000b92: PUSH1 0x39 00000b94: DUP2 00000b95: MSTORE 00000b96: PUSH1 0x20 00000b98: ADD 00000b99: PUSH32 0x292e7870617468282f2f2a5b636f6e7461696e732840636c6173732c20227761 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: PUSH32 0x7463682d766965772d636f756e7422295d2f7465787428292900000000000000 00000be0: DUP2 00000be1: MSTORE 00000be2: PUSH1 0x20 00000be4: ADD 00000be5: POP 00000be6: PUSH1 0x40 00000be8: DUP1 00000be9: MLOAD 00000bea: PUSH1 0x20 00000bec: DUP2 00000bed: DUP2 00000bee: ADD 00000bef: DUP4 00000bf0: MSTORE 00000bf1: PUSH1 0x00 00000bf3: DUP1 00000bf4: DUP4 00000bf5: MSTORE 00000bf6: DUP4 00000bf7: MLOAD 00000bf8: DUP1 00000bf9: DUP4 00000bfa: ADD 00000bfb: DUP6 00000bfc: MSTORE 00000bfd: DUP2 00000bfe: DUP2 00000bff: MSTORE 00000c00: DUP5 00000c01: MLOAD 00000c02: SWAP3 00000c03: DUP4 00000c04: ADD 00000c05: SWAP1 00000c06: SWAP5 00000c07: MSTORE 00000c08: DUP2 00000c09: MSTORE 00000c0a: SWAP1 00000c0b: SWAP2 00000c0c: PUSH2 0x0d0c 00000c0f: SWAP2 00000c10: DUP7 00000c11: SWAP2 00000c12: DUP7 00000c13: SWAP2 00000c14: DUP7 00000c15: SWAP2 00000c16: SWAP1 00000c17: PUSH1 0x40 00000c19: DUP1 00000c1a: MLOAD 00000c1b: PUSH1 0x20 00000c1d: DUP2 00000c1e: DUP2 00000c1f: ADD 00000c20: DUP4 00000c21: MSTORE 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: DUP4 00000c26: MSTORE 00000c27: DUP4 00000c28: MLOAD 00000c29: DUP1 00000c2a: DUP4 00000c2b: ADD 00000c2c: DUP6 00000c2d: MSTORE 00000c2e: DUP2 00000c2f: SWAP1 00000c30: MSTORE 00000c31: DUP4 00000c32: MLOAD 00000c33: DUP1 00000c34: DUP4 00000c35: ADD 00000c36: DUP6 00000c37: MSTORE 00000c38: DUP2 00000c39: SWAP1 00000c3a: MSTORE 00000c3b: DUP4 00000c3c: MLOAD 00000c3d: DUP1 00000c3e: DUP4 00000c3f: ADD 00000c40: DUP6 00000c41: MSTORE 00000c42: DUP2 00000c43: SWAP1 00000c44: MSTORE 00000c45: DUP4 00000c46: MLOAD 00000c47: DUP1 00000c48: DUP4 00000c49: ADD 00000c4a: DUP6 00000c4b: MSTORE 00000c4c: DUP2 00000c4d: SWAP1 00000c4e: MSTORE 00000c4f: DUP4 00000c50: MLOAD 00000c51: DUP1 00000c52: DUP4 00000c53: ADD 00000c54: DUP6 00000c55: MSTORE 00000c56: DUP2 00000c57: SWAP1 00000c58: MSTORE 00000c59: DUP4 00000c5a: MLOAD 00000c5b: DUP1 00000c5c: DUP4 00000c5d: ADD 00000c5e: DUP6 00000c5f: MSTORE 00000c60: DUP2 00000c61: DUP2 00000c62: MSTORE 00000c63: DUP5 00000c64: MLOAD 00000c65: SWAP3 00000c66: DUP4 00000c67: ADD 00000c68: DUP6 00000c69: MSTORE 00000c6a: DUP2 00000c6b: DUP4 00000c6c: MSTORE 00000c6d: DUP6 00000c6e: MLOAD 00000c6f: DUP8 00000c70: MLOAD 00000c71: DUP10 00000c72: MLOAD 00000c73: DUP12 00000c74: MLOAD 00000c75: DUP14 00000c76: MLOAD 00000c77: SWAP9 00000c78: MLOAD 00000c79: SWAP8 00000c7a: SWAP9 00000c7b: DUP15 00000c7c: SWAP9 00000c7d: DUP15 00000c7e: SWAP9 00000c7f: DUP15 00000c80: SWAP9 00000c81: DUP15 00000c82: SWAP9 00000c83: DUP15 00000c84: SWAP9 00000c85: SWAP1 00000c86: SWAP8 00000c87: SWAP3 00000c88: SWAP7 00000c89: SWAP2 00000c8a: SWAP6 00000c8b: DUP7 00000c8c: SWAP6 00000c8d: ADD 00000c8e: SWAP1 00000c8f: SWAP2 00000c90: ADD 00000c91: SWAP1 00000c92: SWAP2 00000c93: ADD 00000c94: ADD 00000c95: SWAP1 00000c96: DUP1 00000c97: MSIZE 00000c98: LT 00000c99: PUSH2 0x0c9f 00000c9c: JUMPI 00000c9d: POP 00000c9e: MSIZE 00000c9f: JUMPDEST 00000ca0: SWAP1 00000ca1: DUP1 00000ca2: DUP3 00000ca3: MSTORE 00000ca4: DUP1 00000ca5: PUSH1 0x20 00000ca7: MUL 00000ca8: PUSH1 0x20 00000caa: ADD 00000cab: DUP3 00000cac: ADD 00000cad: PUSH1 0x40 00000caf: MSTORE 00000cb0: POP 00000cb1: SWAP4 00000cb2: POP 00000cb3: DUP4 00000cb4: SWAP3 00000cb5: POP 00000cb6: PUSH1 0x00 00000cb8: SWAP2 00000cb9: POP 00000cba: PUSH1 0x00 00000cbc: SWAP1 00000cbd: POP 00000cbe: JUMPDEST 00000cbf: DUP9 00000cc0: MLOAD 00000cc1: DUP2 00000cc2: LT 00000cc3: ISZERO 00000cc4: PUSH2 0x0ec4 00000cc7: JUMPI 00000cc8: DUP9 00000cc9: DUP2 00000cca: DUP2 00000ccb: MLOAD 00000ccc: DUP2 00000ccd: LT 00000cce: ISZERO 00000ccf: PUSH2 0x0002 00000cd2: JUMPI 00000cd3: SWAP1 00000cd4: PUSH1 0x20 00000cd6: ADD 00000cd7: ADD 00000cd8: MLOAD 00000cd9: PUSH1 0xf8 00000cdb: PUSH1 0x02 00000cdd: EXP 00000cde: SWAP1 00000cdf: DIV 00000ce0: PUSH1 0xf8 00000ce2: PUSH1 0x02 00000ce4: EXP 00000ce5: MUL 00000ce6: DUP4 00000ce7: DUP4 00000ce8: DUP1 00000ce9: PUSH1 0x01 00000ceb: ADD 00000cec: SWAP5 00000ced: POP 00000cee: DUP2 00000cef: MLOAD 00000cf0: DUP2 00000cf1: LT 00000cf2: ISZERO 00000cf3: PUSH2 0x0002 00000cf6: JUMPI 00000cf7: SWAP1 00000cf8: PUSH1 0x20 00000cfa: ADD 00000cfb: ADD 00000cfc: SWAP1 00000cfd: SWAP1 00000cfe: DUP2 00000cff: PUSH1 0x00 00000d01: BYTE 00000d02: SWAP1 00000d03: MSTORE8 00000d04: POP 00000d05: PUSH1 0x01 00000d07: ADD 00000d08: PUSH2 0x0cbe 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: SWAP5 00000d0e: SWAP4 00000d0f: POP 00000d10: POP 00000d11: POP 00000d12: POP 00000d13: JUMP 00000d14: JUMPDEST 00000d15: DUP4 00000d16: DUP2 00000d17: DUP2 00000d18: MLOAD 00000d19: DUP2 00000d1a: LT 00000d1b: ISZERO 00000d1c: PUSH2 0x0002 00000d1f: JUMPI 00000d20: ADD 00000d21: PUSH1 0x20 00000d23: ADD 00000d24: MLOAD 00000d25: PUSH1 0xf8 00000d27: PUSH1 0x02 00000d29: EXP 00000d2a: SWAP1 00000d2b: DUP2 00000d2c: SWAP1 00000d2d: DIV 00000d2e: MUL 00000d2f: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000d50: EQ 00000d51: ISZERO 00000d52: PUSH2 0x0d5a 00000d55: JUMPI 00000d56: PUSH1 0x01 00000d58: SWAP2 00000d59: POP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x01 00000d5d: ADD 00000d5e: PUSH2 0x0894 00000d61: JUMP 00000d62: JUMPDEST 00000d63: PUSH1 0x00 00000d65: NOT 00000d66: SWAP6 00000d67: SWAP1 00000d68: SWAP6 00000d69: ADD 00000d6a: SWAP5 00000d6b: JUMPDEST 00000d6c: PUSH1 0x0a 00000d6e: DUP4 00000d6f: MUL 00000d70: SWAP3 00000d71: POP 00000d72: DUP3 00000d73: POP 00000d74: PUSH1 0x30 00000d76: DUP5 00000d77: DUP3 00000d78: DUP2 00000d79: MLOAD 00000d7a: DUP2 00000d7b: LT 00000d7c: ISZERO 00000d7d: PUSH2 0x0002 00000d80: JUMPI 00000d81: ADD 00000d82: PUSH1 0x20 00000d84: ADD 00000d85: MLOAD 00000d86: PUSH1 0xf8 00000d88: PUSH1 0x02 00000d8a: EXP 00000d8b: SWAP1 00000d8c: DUP2 00000d8d: SWAP1 00000d8e: DIV 00000d8f: DUP2 00000d90: MUL 00000d91: DIV 00000d92: SWAP1 00000d93: SWAP4 00000d94: ADD 00000d95: PUSH1 0x2f 00000d97: NOT 00000d98: ADD 00000d99: SWAP3 00000d9a: POP 00000d9b: PUSH2 0x0d5a 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH1 0x01 00000da2: PUSH1 0x00 00000da4: SWAP1 00000da5: SLOAD 00000da6: SWAP1 00000da7: PUSH2 0x0100 00000daa: EXP 00000dab: SWAP1 00000dac: DIV 00000dad: PUSH1 0x01 00000daf: PUSH1 0xa0 00000db1: PUSH1 0x02 00000db3: EXP 00000db4: SUB 00000db5: AND 00000db6: PUSH1 0x01 00000db8: PUSH1 0xa0 00000dba: PUSH1 0x02 00000dbc: EXP 00000dbd: SUB 00000dbe: AND 00000dbf: PUSH4 0xadf59f99 00000dc4: DUP3 00000dc5: DUP8 00000dc6: DUP8 00000dc7: DUP8 00000dc8: PUSH1 0x40 00000dca: MLOAD 00000dcb: DUP6 00000dcc: PUSH1 0xe0 00000dce: PUSH1 0x02 00000dd0: EXP 00000dd1: MUL 00000dd2: DUP2 00000dd3: MSTORE 00000dd4: PUSH1 0x04 00000dd6: ADD 00000dd7: DUP1 00000dd8: DUP5 00000dd9: DUP2 00000dda: MSTORE 00000ddb: PUSH1 0x20 00000ddd: ADD 00000dde: DUP1 00000ddf: PUSH1 0x20 00000de1: ADD 00000de2: DUP1 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: DUP4 00000de7: DUP2 00000de8: SUB 00000de9: DUP4 00000dea: MSTORE 00000deb: DUP6 00000dec: DUP2 00000ded: DUP2 00000dee: MLOAD 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x20 00000df3: ADD 00000df4: SWAP2 00000df5: POP 00000df6: DUP1 00000df7: MLOAD 00000df8: SWAP1 00000df9: PUSH1 0x20 00000dfb: ADD 00000dfc: SWAP1 00000dfd: DUP1 00000dfe: DUP4 00000dff: DUP4 00000e00: DUP3 00000e01: SWAP1 00000e02: PUSH1 0x00 00000e04: PUSH1 0x04 00000e06: PUSH1 0x20 00000e08: DUP5 00000e09: PUSH1 0x1f 00000e0b: ADD 00000e0c: DIV 00000e0d: PUSH1 0x0f 00000e0f: MUL 00000e10: PUSH1 0x03 00000e12: ADD 00000e13: CALL 00000e14: POP 00000e15: SWAP1 00000e16: POP 00000e17: SWAP1 00000e18: DUP2 00000e19: ADD 00000e1a: SWAP1 00000e1b: PUSH1 0x1f 00000e1d: AND 00000e1e: DUP1 00000e1f: ISZERO 00000e20: PUSH2 0x0e3d 00000e23: JUMPI 00000e24: DUP1 00000e25: DUP3 00000e26: SUB 00000e27: DUP1 00000e28: MLOAD 00000e29: PUSH1 0x01 00000e2b: DUP4 00000e2c: PUSH1 0x20 00000e2e: SUB 00000e2f: PUSH2 0x0100 00000e32: EXP 00000e33: SUB 00000e34: NOT 00000e35: AND 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: SWAP2 00000e3c: POP 00000e3d: JUMPDEST 00000e3e: POP 00000e3f: DUP4 00000e40: DUP2 00000e41: SUB 00000e42: DUP3 00000e43: MSTORE 00000e44: DUP5 00000e45: DUP2 00000e46: DUP2 00000e47: MLOAD 00000e48: DUP2 00000e49: MSTORE 00000e4a: PUSH1 0x20 00000e4c: ADD 00000e4d: SWAP2 00000e4e: POP 00000e4f: DUP1 00000e50: MLOAD 00000e51: SWAP1 00000e52: PUSH1 0x20 00000e54: ADD 00000e55: SWAP1 00000e56: DUP1 00000e57: DUP4 00000e58: DUP4 00000e59: DUP3 00000e5a: SWAP1 00000e5b: PUSH1 0x00 00000e5d: PUSH1 0x04 00000e5f: PUSH1 0x20 00000e61: DUP5 00000e62: PUSH1 0x1f 00000e64: ADD 00000e65: DIV 00000e66: PUSH1 0x0f 00000e68: MUL 00000e69: PUSH1 0x03 00000e6b: ADD 00000e6c: CALL 00000e6d: POP 00000e6e: SWAP1 00000e6f: POP 00000e70: SWAP1 00000e71: DUP2 00000e72: ADD 00000e73: SWAP1 00000e74: PUSH1 0x1f 00000e76: AND 00000e77: DUP1 00000e78: ISZERO 00000e79: PUSH2 0x0e96 00000e7c: JUMPI 00000e7d: DUP1 00000e7e: DUP3 00000e7f: SUB 00000e80: DUP1 00000e81: MLOAD 00000e82: PUSH1 0x01 00000e84: DUP4 00000e85: PUSH1 0x20 00000e87: SUB 00000e88: PUSH2 0x0100 00000e8b: EXP 00000e8c: SUB 00000e8d: NOT 00000e8e: AND 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x20 00000e93: ADD 00000e94: SWAP2 00000e95: POP 00000e96: JUMPDEST 00000e97: POP 00000e98: SWAP6 00000e99: POP 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: PUSH1 0x20 00000ea1: PUSH1 0x40 00000ea3: MLOAD 00000ea4: DUP1 00000ea5: DUP4 00000ea6: SUB 00000ea7: DUP2 00000ea8: DUP6 00000ea9: DUP9 00000eaa: PUSH2 0x8502 00000ead: GAS 00000eae: SUB 00000eaf: CALL 00000eb0: ISZERO 00000eb1: PUSH2 0x0002 00000eb4: JUMPI 00000eb5: POP 00000eb6: POP 00000eb7: PUSH1 0x40 00000eb9: MLOAD 00000eba: MLOAD 00000ebb: SWAP4 00000ebc: POP 00000ebd: PUSH2 0x0b4d 00000ec0: SWAP2 00000ec1: POP 00000ec2: POP 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: POP 00000ec6: PUSH1 0x00 00000ec8: JUMPDEST 00000ec9: DUP8 00000eca: MLOAD 00000ecb: DUP2 00000ecc: LT 00000ecd: ISZERO 00000ece: PUSH2 0x0f16 00000ed1: JUMPI 00000ed2: DUP8 00000ed3: DUP2 00000ed4: DUP2 00000ed5: MLOAD 00000ed6: DUP2 00000ed7: LT 00000ed8: ISZERO 00000ed9: PUSH2 0x0002 00000edc: JUMPI 00000edd: SWAP1 00000ede: PUSH1 0x20 00000ee0: ADD 00000ee1: ADD 00000ee2: MLOAD 00000ee3: PUSH1 0xf8 00000ee5: PUSH1 0x02 00000ee7: EXP 00000ee8: SWAP1 00000ee9: DIV 00000eea: PUSH1 0xf8 00000eec: PUSH1 0x02 00000eee: EXP 00000eef: MUL 00000ef0: DUP4 00000ef1: DUP4 00000ef2: DUP1 00000ef3: PUSH1 0x01 00000ef5: ADD 00000ef6: SWAP5 00000ef7: POP 00000ef8: DUP2 00000ef9: MLOAD 00000efa: DUP2 00000efb: LT 00000efc: ISZERO 00000efd: PUSH2 0x0002 00000f00: JUMPI 00000f01: SWAP1 00000f02: PUSH1 0x20 00000f04: ADD 00000f05: ADD 00000f06: SWAP1 00000f07: SWAP1 00000f08: DUP2 00000f09: PUSH1 0x00 00000f0b: BYTE 00000f0c: SWAP1 00000f0d: MSTORE8 00000f0e: POP 00000f0f: PUSH1 0x01 00000f11: ADD 00000f12: PUSH2 0x0ec8 00000f15: JUMP 00000f16: JUMPDEST 00000f17: POP 00000f18: PUSH1 0x00 00000f1a: JUMPDEST 00000f1b: DUP7 00000f1c: MLOAD 00000f1d: DUP2 00000f1e: LT 00000f1f: ISZERO 00000f20: PUSH2 0x0f68 00000f23: JUMPI 00000f24: DUP7 00000f25: DUP2 00000f26: DUP2 00000f27: MLOAD 00000f28: DUP2 00000f29: LT 00000f2a: ISZERO 00000f2b: PUSH2 0x0002 00000f2e: JUMPI 00000f2f: SWAP1 00000f30: PUSH1 0x20 00000f32: ADD 00000f33: ADD 00000f34: MLOAD 00000f35: PUSH1 0xf8 00000f37: PUSH1 0x02 00000f39: EXP 00000f3a: SWAP1 00000f3b: DIV 00000f3c: PUSH1 0xf8 00000f3e: PUSH1 0x02 00000f40: EXP 00000f41: MUL 00000f42: DUP4 00000f43: DUP4 00000f44: DUP1 00000f45: PUSH1 0x01 00000f47: ADD 00000f48: SWAP5 00000f49: POP 00000f4a: DUP2 00000f4b: MLOAD 00000f4c: DUP2 00000f4d: LT 00000f4e: ISZERO 00000f4f: PUSH2 0x0002 00000f52: JUMPI 00000f53: SWAP1 00000f54: PUSH1 0x20 00000f56: ADD 00000f57: ADD 00000f58: SWAP1 00000f59: SWAP1 00000f5a: DUP2 00000f5b: PUSH1 0x00 00000f5d: BYTE 00000f5e: SWAP1 00000f5f: MSTORE8 00000f60: POP 00000f61: PUSH1 0x01 00000f63: ADD 00000f64: PUSH2 0x0f1a 00000f67: JUMP 00000f68: JUMPDEST 00000f69: POP 00000f6a: PUSH1 0x00 00000f6c: JUMPDEST 00000f6d: DUP6 00000f6e: MLOAD 00000f6f: DUP2 00000f70: LT 00000f71: ISZERO 00000f72: PUSH2 0x0fba 00000f75: JUMPI 00000f76: DUP6 00000f77: DUP2 00000f78: DUP2 00000f79: MLOAD 00000f7a: DUP2 00000f7b: LT 00000f7c: ISZERO 00000f7d: PUSH2 0x0002 00000f80: JUMPI 00000f81: SWAP1 00000f82: PUSH1 0x20 00000f84: ADD 00000f85: ADD 00000f86: MLOAD 00000f87: PUSH1 0xf8 00000f89: PUSH1 0x02 00000f8b: EXP 00000f8c: SWAP1 00000f8d: DIV 00000f8e: PUSH1 0xf8 00000f90: PUSH1 0x02 00000f92: EXP 00000f93: MUL 00000f94: DUP4 00000f95: DUP4 00000f96: DUP1 00000f97: PUSH1 0x01 00000f99: ADD 00000f9a: SWAP5 00000f9b: POP 00000f9c: DUP2 00000f9d: MLOAD 00000f9e: DUP2 00000f9f: LT 00000fa0: ISZERO 00000fa1: PUSH2 0x0002 00000fa4: JUMPI 00000fa5: SWAP1 00000fa6: PUSH1 0x20 00000fa8: ADD 00000fa9: ADD 00000faa: SWAP1 00000fab: SWAP1 00000fac: DUP2 00000fad: PUSH1 0x00 00000faf: BYTE 00000fb0: SWAP1 00000fb1: MSTORE8 00000fb2: POP 00000fb3: PUSH1 0x01 00000fb5: ADD 00000fb6: PUSH2 0x0f6c 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: POP 00000fbc: PUSH1 0x00 00000fbe: JUMPDEST 00000fbf: DUP5 00000fc0: MLOAD 00000fc1: DUP2 00000fc2: LT 00000fc3: ISZERO 00000fc4: PUSH2 0x100c 00000fc7: JUMPI 00000fc8: DUP5 00000fc9: DUP2 00000fca: DUP2 00000fcb: MLOAD 00000fcc: DUP2 00000fcd: LT 00000fce: ISZERO 00000fcf: PUSH2 0x0002 00000fd2: JUMPI 00000fd3: SWAP1 00000fd4: PUSH1 0x20 00000fd6: ADD 00000fd7: ADD 00000fd8: MLOAD 00000fd9: PUSH1 0xf8 00000fdb: PUSH1 0x02 00000fdd: EXP 00000fde: SWAP1 00000fdf: DIV 00000fe0: PUSH1 0xf8 00000fe2: PUSH1 0x02 00000fe4: EXP 00000fe5: MUL 00000fe6: DUP4 00000fe7: DUP4 00000fe8: DUP1 00000fe9: PUSH1 0x01 00000feb: ADD 00000fec: SWAP5 00000fed: POP 00000fee: DUP2 00000fef: MLOAD 00000ff0: DUP2 00000ff1: LT 00000ff2: ISZERO 00000ff3: PUSH2 0x0002 00000ff6: JUMPI 00000ff7: SWAP1 00000ff8: PUSH1 0x20 00000ffa: ADD 00000ffb: ADD 00000ffc: SWAP1 00000ffd: SWAP1 00000ffe: DUP2 00000fff: PUSH1 0x00 00001001: BYTE 00001002: SWAP1 00001003: MSTORE8 00001004: POP 00001005: PUSH1 0x01 00001007: ADD 00001008: PUSH2 0x0fbe 0000100b: JUMP 0000100c: JUMPDEST 0000100d: POP 0000100e: SWAP1 0000100f: SWAP14 00001010: SWAP13 00001011: POP 00001012: POP 00001013: POP 00001014: POP 00001015: POP 00001016: POP 00001017: POP 00001018: POP 00001019: POP 0000101a: POP 0000101b: POP 0000101c: POP 0000101d: POP 0000101e: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x12030f6c5feb737d6ecc62312c1f1564708e19094bf144c061a53800f2cecd46
call_targets:
0xcd88e9f1dfa89b3bda09d6703c5a0b800a34f61d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x12030f6c5feb737d6ecc62312c1f1564708e19094bf144c061a53800f2cecd46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd88e9f1dfa89b3bda09d6703c5a0b800a34f61d"
],
"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": "0x1e7d6de2",
"selector": "0x1e7d6de2",
"calldata_variants": [
"0x1e7d6de2",
"0x1e7d6de20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23145ca0",
"selector": "0x23145ca0",
"calldata_variants": [
"0x23145ca0",
"0x23145ca00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42cde4e8",
"selector": "0x42cde4e8",
"calldata_variants": [
"0x42cde4e8",
"0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b3fdc5a",
"selector": "0x6b3fdc5a",
"calldata_variants": [
"0x6b3fdc5a",
"0x6b3fdc5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x788e26e7",
"selector": "0x788e26e7",
"calldata_variants": [
"0x788e26e7",
"0x788e26e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 374,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"call_count": 13,
"guards_detected": [],
"untrusted_call_count": 13
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x12030f6c5feb737d6ecc62312c1f1564708e19094bf144c061a53800f2cecd46
call_targets:
0xcd88e9f1dfa89b3bda09d6703c5a0b800a34f61d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x12030f6c5feb737d6ecc62312c1f1564708e19094bf144c061a53800f2cecd46",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd88e9f1dfa89b3bda09d6703c5a0b800a34f61d"
],
"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": "0x1e7d6de2",
"selector": "0x1e7d6de2",
"calldata_variants": [
"0x1e7d6de2",
"0x1e7d6de20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23145ca0",
"selector": "0x23145ca0",
"calldata_variants": [
"0x23145ca0",
"0x23145ca00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42cde4e8",
"selector": "0x42cde4e8",
"calldata_variants": [
"0x42cde4e8",
"0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x516dde43",
"selector": "0x516dde43",
"calldata_variants": [
"0x516dde43",
"0x516dde430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b3fdc5a",
"selector": "0x6b3fdc5a",
"calldata_variants": [
"0x6b3fdc5a",
"0x6b3fdc5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x788e26e7",
"selector": "0x788e26e7",
"calldata_variants": [
"0x788e26e7",
"0x788e26e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 374,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"eth_value_calls": 13,
"guards_detected": []
}
|