Red Huang

//  
//        GGGGGGGGGGGGG        CCCCCCCCCCCCC               AAA  
//     GGG::::::::::::G     CCC::::::::::::C              A:::A  
//   GG:::::::::::::::G   CC:::::::::::::::C             A:::::A  
//  G:::::GGGGGGGG::::G  C:::::CCCCCCCC::::C            A:::::::A  
// G:::::G       GGGGGG C:::::C       CCCCCC           A:::::::::A  
//G:::::G              C:::::C                        A:::::A:::::A  
//G:::::G              C:::::C                       A:::::A A:::::A  
//G:::::G    GGGGGGGGGGC:::::C                      A:::::A   A:::::A  
//G:::::G    G::::::::GC:::::C                     A:::::A     A:::::A  
//G:::::G    GGGGG::::GC:::::C                    A:::::AAAAAAAAA:::::A  
//G:::::G        G::::GC:::::C                   A:::::::::::::::::::::A  
// G:::::G       G::::G C:::::C       CCCCCC    A:::::AAAAAAAAAAAAA:::::A  
//  G:::::GGGGGGGG::::G  C:::::CCCCCCCC::::C   A:::::A             A:::::A  
//   GG:::::::::::::::G   CC:::::::::::::::C  A:::::A               A:::::A  
//     GGG::::::GGG:::G     CCC::::::::::::C A:::::A                 A:::::A  
//        GGGGGG   GGGG        CCCCCCCCCCCCCAAAAAAA                   AAAAAAA  
#include <iostream>  
#include <cstdio>  
#include <cstring>  
#include <algorithm>  
#include <cmath>  
#include <climits>  
#include <vector>  
#include <set>  
#include <map>  
#include <queue>  
#include <cctype>  
#include <utility>  
#include <ctime>  
using namespace std;  
#ifdef DEBUG  
#define VAR(a,b) decltype(b) a=(b)  
#define debug(...) printf("DEBUG: "),printf(\_\_VA\_ARGS\_\_)  
#define gettime() end\_time=clock();printf("now running time is %.7f\\n",(float)(end\_time - start\_time)/CLOCKS\_PER\_SEC);  
#else  
#define VAR(a,b) \_\_typeof(b) a=(b)  
#define debug(...)  
#define gettime()  
#endif  
typedef unsigned int uint;  
typedef long long int Int;  
typedef unsigned long long int UInt;  
#define Set(a,s) memset(a,s,sizeof(a))  
#define Write(w) freopen(w,"w",stdout)  
#define Read(r) freopen(r,"r",stdin)  
#define Pln() printf("\\n")  
#define I\_de(x,n)for(int i=0;i<n;i++)printf("%d ",x\[i\]);Pln()  
#define De(x)printf(#x"%d\\n",x)  
#define For(i,x)for(int i=0;i<x;i++)  
#define CON(x,y) x##y  
#define Pmz(dp,nx,ny)for(int hty=0;hty<ny;hty++){for(int htx=0;htx<nx;htx++){\\  
    printf("%d ",dp\[htx\]\[hty\]);}Pln();}  
#define M 10000005  
#define PII pair<int,int\>  
#define PB push\_back  
#define oo INT\_MAX  
#define Set\_oo 0x3f  
#define FOR(a,b) for(VAR(a,(b).begin());a!=(b).end();++a)  
#define eps 1e-6  
#define X first  
#define Y second  
clock\_t start\_time=clock(), end\_time;  
bool xdy(double x,double y){return x>y+eps;}  
bool xddy(double x,double y){return x>y-eps;}  
bool xcy(double x,double y){return x<y-eps;}  
bool xcdy(double x,double y){return x<y+eps;}  
int min3(int x,int y,int z){  
    int tmp=min(x,y);  
    return min(tmp,z);  
}  
int max3(int x,int y,int z){  
    int tmp=max(x,y);  
    return max(tmp,z);  
}  
bool isp\[M\];  
int seize\[M\];  
int pf\[M\];  
int prime\[M\],pnum;  
void pre(){  
    pnum=0;  
    for(int i=0;(Int)i\*i<M;i++){  
        for(int j=i;(Int)i\*i+j\*j<M;j++){  
            isp\[i\*i+j\*j\]=1;  
        }  
    }  
    Set(seize,0);  
    for(int i=2;i<2101;i++){  
        if(!seize\[i\]){  
            prime\[pnum++\]=i;  
            for(int j=i+i;j<2101;j+=i){  
                seize\[j\]=1;  
            }  
        }  
    }  
  
}  
int n;  
bool la;  
void solve(){  
    vector<int\> cul;  
    bool ok=true;  
    if(la){  
        for(int j=0;j<pnum;j++){  
            int ans=0;  
            for(int k=prime\[j\];k<=n;k\*=prime\[j\]){  
                ans+=n/k;  
            }  
            if((ans&1)&&isp\[prime\[j\]\]==0){  
                ok=false;  
                cul.PB(prime\[j\]);  
                if(cul.size()>=50)break;  
            }  
        }  
    }else{  
        ok=(isp\[n\]==1)?true:false;  
    }  
    if(ok){  
        printf("彼は正直かもしれません。\\n");  
        return;  
    }  
    puts("彼は嘘つきです。");  
    bool first=true;  
    if(la){  
        if(cul.size()){  
            for(int i=0;i<cul.size()-1;i++){  
                printf("%d ",cul\[i\]);  
            }printf("%d",cul\[cul.size()-1\]);  
        }Pln();  
    }  
}  
int main() {  
    ios\_base::sync\_with\_stdio(0);  
    char str\[1005\];  
    pre();  
    int ff=0;  
    char c;  
    while(~scanf("%d%c",&n,&c)){  
        la=false;  
        if(c=='!'){  
            la=true;  
        }  
        if(ff++)Pln();  
        solve();  
    }  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
}