{
    "next_perfect_number": 14474011154664524427946373126085988481573677491474835889066354349131199152128,
    "formula": "2**(127 - 1) * (2**127 - 1)",
    "mersenne_candidate": 127
}