#include <stdio.h>
int main()
{
    printf("220..284\n1184..1210\n2620..2924\n");
    return 0;
}