#include <stdio.h>
#include <stdint.h>

int main(int argc, char *argv[]) {
    printf("%u\n%u\n%u\n%u\n%u\n%u\n%u\n",
        UINT32_MAX,
        UINT32_MAX,
        UINT32_MAX,
        UINT32_MAX,
        UINT32_MAX,
        UINT32_MAX,
        UINT32_MAX);
    return 0;
}