[2,3,7,23,31,4127,4159,20543,134238271,134238527, 167792959,1241534783,3389018431,72108495167, 72108503359,72108765503, 2722258935367507707706996859526254457151, 2722258935367507707708149781030861304127, 13611294676837538538536137218847444070719]