素数判定 (64bit)

2 secs 1024 MB
mizar's icon mizar