#include <stdio.h>
    int main()
    {
        FILE *fp = stdout;
        int m;
        fprintf(fp, "%d ", 55);
        fflush(stdout);
        fprintf(stderr, "%d", 85);
        return 0;
    }