class Ideone
{
public static void main
(String[] args
) {
try (java.
util.
Scanner in
= new java.
util.
Scanner(System.
in)) {
while (in.hasNextBigInteger())
System.
out.
println(in.
nextBigInteger().
isProbablePrime(Integer.
MAX_VALUE) ? "素数(もしくは擬素数)" : "素数ではない"); }
}
}
Y2xhc3MgSWRlb25lCnsKICAgIHB1YmxpYyBzdGF0aWMgdm9pZCBtYWluKFN0cmluZ1tdIGFyZ3MpCiAgICB7CiAgICAgICAgdHJ5IChqYXZhLnV0aWwuU2Nhbm5lciBpbiA9IG5ldyBqYXZhLnV0aWwuU2Nhbm5lcihTeXN0ZW0uaW4pKQogICAgICAgIHsKICAgICAgICAgICAgd2hpbGUgKGluLmhhc05leHRCaWdJbnRlZ2VyKCkpCiAgICAgICAgICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oaW4ubmV4dEJpZ0ludGVnZXIoKS5pc1Byb2JhYmxlUHJpbWUoSW50ZWdlci5NQVhfVkFMVUUpID8gIue0oOaVsCjjgoLjgZfjgY/jga/mk6zntKDmlbApIiA6ICLntKDmlbDjgafjga/jgarjgYQiKTsKICAgICAgICB9CiAgICB9Cn0=
MTU3ODQ5NzI5NzUzMjM5NzE2NTQwNDk4NjQ3NDk2MjE3OTk5ODc1MDIxMjcwMTYyMjgyMTA2MTU0NTk4MDk2MDA3NTYzMjEzMzcwOTEKMjAwNzY0ODIyNzU4NzQ2NDI1Mjg4NzcyMDI1NzI3ODUyMDY3MTgyNDY1NTYyMzA3NzI3NjExOTEyODkzMDU4ODg0MDE3MTI3OTAzNjMKMzI0NzIxMjYzMDY1MzQxMzkzMDU2NzgwMzYwNzkyOTU1MjY4MTEyNDYwMjMxNDc4NTY2MDM3NDA4MTk5NTA0NDMyNjcwMTU0NzM4MjcKNDY4ODc1ODI1Nzc4ODIwMDYzMTcwNDI3NzgwNDUwMTY2MDcwMjgzNDk2ODc5NzUxNTU3MTI1ODI4NTE2NjcwNjcwNTQxNjIxNzU0MzMKNTcxMjU3MDkyOTk3NjMxNjM2MjAzNDc0Nzc4MjgyODI2NDU4MDk4NTczMzcwMzcxNTUzOTE3MzM0NDQxNDcxNzY5MDUxMjYyODQxMzMKNjAxODM3NzA2NTM2ODEzNjcwNjEyNTU5NjI1NTkyNDE0MDEyMDAzNzc1NzM4Mjc1MzU5OTkwNzAyMDcxOTU1MzYwNTYxMDA0NTg3NjcKNzczMjMwMDUzNzg3MzYzNzUyNTEzMjkyNzgwNjMwOTI1MDM2MjUwMzUzNDI5NzQ5NDAzMDk0ODY2MTYxNDgxMzE0NTgzNTIwOTIwNDEKODc1OTU2NjE1ODkzNTExODAxOTQxMjc2MDk2MTgxOTg0NTQxMTU3MTg5MTQ3NDkxNjMyNjA0MDExNjc4NDE2OTU4MjM2NDc2ODQyNzkKOTAzODI1Mjc4NzczNTUwMTcyNDAxMTg5MTE4MDQwNDM0MzUwNzg4NDk4OTg0MzIzODYwMjg5Nzg2MDY1MDg5NDMwNTcyNDM5MTE3NDEKOTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTk5OTkK
15784972975323971654049864749621799987502127016228210615459809600756321337091
20076482275874642528877202572785206718246556230772761191289305888401712790363
32472126306534139305678036079295526811246023147856603740819950443267015473827
46887582577882006317042778045016607028349687975155712582851667067054162175433
57125709299763163620347477828282645809857337037155391733444147176905126284133
60183770653681367061255962559241401200377573827535999070207195536056100458767
77323005378736375251329278063092503625035342974940309486616148131458352092041
87595661589351180194127609618198454115718914749163260401167841695823647684279
90382527877355017240118911804043435078849898432386028978606508943057243911741
99999999999999999999999999999999999999999999999999999999999999999999999999999