const long long main[] = {
    -8574853690484013240,
    56733026503,
    1080863910900451144,
    7810745626998687749,
    2337214414118023011,
    3474018177201164353,
    1142886246
};