#include <iostream>
#include <cstring>
#include <cctype>

using namespace std;

char c[101];
int n;
bool checked[101];
bool bx, bp;
bool si, di;

bool opened()
{
    if(c[0] == '+' || c[0] == '-')
        return false;
    int st = 0;
    for(int i=0;i<n;i++)
    {
        if(c[i] == '[')
        {
            st++;
            if(c[i+1] == '+' || c[i+1]=='-')
                return false;
            //if(i != 0 && ( c[i-1] == '+' || c[i-1]=='-') )
              //  return false;
        }
        else if(c[i] == ']')
        {
            st--;
            if((c[i-1]=='+' || c[i-1] =='-') )
                return false;
        }
        if(st<0)
            return false;
    }
    if(st == 0)
        return true;
    return false;
}

bool base_reg()
{

    for(int i=1;i<n;i++)
        if(c[i] == 'i' || c[i] == 'I' )
        {
            if(c[i-1] == 's' || c[i-1]=='S')
            {
                if(si)
                    return false;
                si = true;
                checked[i] = checked[i-1] = true;
            }
            else if(c[i-1]=='d' || c[i-1] == 'D')
            {
                if(di)
                    return false;
                di = true;
                checked[i] = checked[i-1] = true;
            }
        }
    return true;
}

bool index_reg()
{

    for(int i=1;i<n;i++)
        if(c[i-1] == 'b' || c[i-1] == 'B' )
        {
            if(c[i] == 'x' || c[i]=='X')
            {
                if(bx)
                    return false;
                bx = true;
                checked[i] = checked[i-1] = true;
            }
            else if(c[i]=='p' || c[i] == 'P')
            {
                if(bp)
                    return false;
                bp = true;
                checked[i] = checked[i-1] = true;
            }
        }
    return true;
}

bool cars()
{
    for(int i=0;i<n;i++)
    {
        if(!isalnum(c[i]) && c[i] !='[' && c[i] !=']' && c[i]!='+' && c[i]!='-')
           return false;
        if(isalpha(c[i]))
            if(c[i]!=tolower(c[i]) && !checked[i])
            {
                 return false;
            }
    }
    return true;
}

bool solve()
{
    cin.getline(c,101);
    n = strlen(c);
    if(!base_reg())
        return false;
    if(!index_reg())
        return false;
    if(!opened())
        return false;
    if(!cars())
        return false;
   return true;
}


int main()
{

    if(solve())
        cout<<"OK";
    else cout<<"ERROR";

    return 0;
}