#include<bits/stdc++.h>
using namespace std;

int main()
{
    int ok=0;
    string s,rez,dump;
    getline(cin,s);
    for(int i=0;i<s.size();i++)
    {
        if(s[i]=='0' && rez.size()==0)
            dump+='0',ok=1;
        else
        if(s[i]=='0' && rez.size())
            rez+='0';
        else
        if(isdigit(s[i]))
            rez+=s[i];
        else
        if(s[i]!=' ')
            dump+=s[i];
    }
    if(rez==s)
    {
        cout<<"CORECT";
        return 0;
    }
    if(rez=="" && ok==0)
    {
        cout<<"NaN";
        return 0;
    }
    if(rez=="")
        cout<<0,dump.erase(dump.begin()+dump.rfind('0'));
    else
        cout<<rez;
    cout<<'\n';
    for(int i=0;i<dump.size();i++)
        cout<<dump[i]<<" ";
}