- #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=