testallprims.ml 859 Bytes