useful: add isrprime; 129 repunit