#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;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKGludCBhcmdjLCBjaGFyICphcmd2W10pIHsKICAgIHByaW50ZigiJXVcbiV1XG4ldVxuJXVcbiV1XG4ldVxuJXVcbiIsCiAgICAgICAgVUlOVDMyX01BWCwKICAgICAgICBVSU5UMzJfTUFYLAogICAgICAgIFVJTlQzMl9NQVgsCiAgICAgICAgVUlOVDMyX01BWCwKICAgICAgICBVSU5UMzJfTUFYLAogICAgICAgIFVJTlQzMl9NQVgsCiAgICAgICAgVUlOVDMyX01BWCk7CiAgICByZXR1cm4gMDsKfQo=