#include <stdio.h>

int main() {
    int i, n;
    
    scanf("%d", &n);
    for (i = 1; i <= n; i++) {
        printf("%d\t%d\t%d SOPHIA\n", 4 * i - 3, 4 * i - 2, 4 * i - 1);
    }

    return 0;
}