// ジャッジコードチェック
#include<bits/stdc++.h>
using namespace std;

#define CIN( LL , A ) LL A; cin >> A 
#define QUIT return 0 
#define RETURN( ANSWER ) cout << ( ANSWER ) << "\n"; QUIT 

int main()
{
  CIN( int , N );
  N %= 22;
  if( N == 0 ){
    RETURN( "" );
  } else if( N == 1 ){
    RETURN( "{{" );
  } else if( N == 2 ){
    RETURN( "}}" );
  } else if( N == 3 ){
    RETURN( ",," );
  } else if( N == 4 ){
    RETURN( "{,}" );
  } else if( N == 5 ){
    RETURN( "{,,}" );
  } else if( N == 6 ){
    RETURN( "{{{}" );
  } else if( N == 7 ){
    RETURN( "{{},}" );
  } else if( N == 8 ){
    RETURN( "{,{}}" );
  } else if( N == 9 ){
    RETURN( "{,{,}}" );
  } else if( N == 10 ){
    RETURN( "{{},,}" );
  } else if( N == 11 ){
    RETURN( "{,{},}" );
  } else if( N == 12 ){
    RETURN( "{,,{}}" );
  } else if( N == 13 ){
    RETURN( "{}{}" );
  } else if( N == 14 ){
    RETURN( "{},{}" );
  } else if( N == 15 ){
    RETURN( "{{{,,}}}" );
  } else if( N == 16 ){
    RETURN( "{{}{}}" );
  } else if( N == 17 ){
    RETURN( "{{{}{}}}" );
  } else if( N == 18 ){
    RETURN( "{[},{]}" );
  } else if( N == 19 ){
    RETURN( "{{}.{}}" );
  } else if( N == 20 ){
    RETURN( "{ }" );
  }
  RETURN( "YES" );
}