#include <stdio.h>
int main(void) {
int c57 = 0, c8 = 0, c57x8 = 0;
for (int i = 1; i < 1000000; i++) {
char out_string[7];
if (strstr(out_string
, "57") != NULL
) c57
++; if (strstr(out_string
, "8") != NULL
) c8
++; if (strstr(out_string
, "57") != NULL
&& strstr(out_string
, "8") != NULL
) c57x8
++; }
printf("c57x8 = %d\n", c57x8
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglpbnQgYzU3ID0gMCwgYzggPSAwLCBjNTd4OCA9IDA7Cglmb3IgKGludCBpID0gMTsgaSA8IDEwMDAwMDA7IGkrKykgewoJCWNoYXIgb3V0X3N0cmluZ1s3XTsKCQlzcHJpbnRmKG91dF9zdHJpbmcsICIlZCIsIGkpOwoJCWlmIChzdHJzdHIob3V0X3N0cmluZywgIjU3IikgIT0gTlVMTCkgYzU3Kys7CgkJaWYgKHN0cnN0cihvdXRfc3RyaW5nLCAiOCIpICE9IE5VTEwpIGM4Kys7CgkJaWYgKHN0cnN0cihvdXRfc3RyaW5nLCAiNTciKSAhPSBOVUxMICYmIHN0cnN0cihvdXRfc3RyaW5nLCAiOCIpICE9IE5VTEwpIGM1N3g4Kys7Cgl9CglwcmludGYoImM1NyA9ICVkXG4iLCBjNTcpOwoJcHJpbnRmKCJjOCA9ICVkXG4iLCBjOCk7CglwcmludGYoImM1N3g4ID0gJWRcbiIsIGM1N3g4KTsKCXJldHVybiAwOwp9