GIMPSNNn1996GIMPS16NS52GIMPS5233-GIMPS-GIMPSGIMPSM3XXXXXXXXM3XXXXXXXXIPZhangShuoM3XXXXXXXX--pri95-52---GIMPS-GIMPSM3XXXXXXXXZhangShuoZhangShuoGIMPSGIMPS20GIMPS-10005029GIMPS14-502017-GIMPSGIMPSGIMPSGIMPSGIMPS16