#include <cstdio>
#include <stdlib.h>
#include <time.h>

int main()
{
    int n, P[10030];
    srand(time(NULL));
    char S[4] = "|@)";
    freopen(".18.in","w",stdout);
    scanf("%d", &n);
    printf("%d\n", n);
    for(int i = 0 ; i < n ; i++ )
        P[i] = i;
    for(int i = n-1 ; i > 0 ; i-- )
    {
        int p = rand()%i ;
        int t = P[i];
        P[i] = P[p], P[p] = t;
    }
    for(int i = 0 ; i < n ; i++ )
    {
        int t = rand()%10;
        int p = t<5?0:t<8?1:2;
        printf("%d %c\n", P[i], S[p]);
    }

}