Primes: n*2^m+1: Difference between revisions

Line 23:

""" Return true if there is an m such that n * 2**m + 1 is prime """

function n2m1(n)

for m in big"1":big"10"^300

for m in big"0":big"10"^300

isprime(n * big"2"^m + 1) && return m

isprime(n * big"2"^m + 1) && return true, m

end

return 0

return false, 0

end

println(" N M Prime\n------------------")

for n in 1:~~401~~

for n in 1:400

m = n2m1(n)

tf, m = n2m1(n)

~~m != 0~~ && println(lpad(n, 5), lpad(m, 5), " ", n * big"2"^m + 1)

tf && println(lpad(n, 5), lpad(m, 5), " ", n * big"2"^m + 1)

end

</syntaxhighlight>{{out}}

Line 38:

N M Prime

------------------

1 1 3

1 0 2

2 1 5

2 0 3

3 1 7

4 2 17

4 0 5

5 1 11

6 1 13

6 0 7

7 2 29

8 1 17

9 1 19

10 2 41

10 0 11

11 1 23

12 3 97

12 0 13

13 2 53

14 1 29

15 1 31

16 4 ~~257~~

16 0 17

17 3 137

18 1 37

18 0 19

19 6 1217

20 1 41

21 1 43

22 2 89

22 0 23

23 1 47

24 2 97

Line 65:

26 1 53

27 2 109

28 2 ~~113~~

28 0 29

29 1 59

30 1 61

30 0 31

31 8 7937

32 3 257

Line 73:

34 2 137

35 1 71

36 1 73

36 0 37

37 2 149

38 5 1217

39 1 79

40 4 ~~641~~

40 0 41

41 1 83

42 3 ~~337~~

42 0 43

43 2 173

44 1 89

45 2 181

46 8 ~~11777~~

46 0 47

47 583 1487939695262196876907983166454197495251350196192890428923003345454869706240895712896623468784438158657419591298913094265537812046389415279164757669092989298186306341246574002177

48 1 97

Line 89:

50 1 101

51 1 103

52 6 ~~3329~~

52 0 53

53 1 107

54 1 109

Line 95:

56 1 113

57 2 229

58 2 ~~233~~

58 0 59

59 5 1889

60 2 ~~241~~

60 0 61

61 4 977

62 7 7937

Line 103:

64 2 257

65 1 131

66 5 ~~2113~~

66 0 67

67 2 269

68 1 137

69 1 139

70 2 ~~281~~

70 0 71

71 3 569

72 3 ~~577~~

72 0 73

73 2 293

74 1 149

Line 115:

76 4 1217

77 3 617

78 1 ~~157~~

78 0 79

79 2 317

80 3 641

81 1 163

82 10 ~~83969~~

82 0 83

83 1 167

84 2 337

Line 125:

86 1 173

87 2 349

88 2 ~~353~~

88 0 89

89 1 179

90 1 181

Line 133:

94 582 1487939695262196876907983166454197495251350196192890428923003345454869706240895712896623468784438158657419591298913094265537812046389415279164757669092989298186306341246574002177

95 1 191

96 1 ~~193~~

96 0 97

97 2 389

98 1 197

99 1 199

100 2 ~~401~~

100 0 101

101 3 809

102 2 ~~409~~

102 0 103

103 16 6750209

104 5 3329

105 1 211

106 4 ~~1697~~

106 0 107

107 3 857

108 2 ~~433~~

108 0 109

109 6 6977

110 3 881

111 1 223

112 2 ~~449~~

112 0 113

113 1 227

114 1 229

Line 163:

124 6 7937

125 1 251

126 3 ~~1009~~

126 0 127

127 2 509

128 1 257

129 3 1033

130 2 ~~521~~

130 0 131

131 1 263

132 4 2113

Line 173:

134 1 269

135 1 271

136 12 ~~557057~~

136 0 137

137 3 1097

138 1 ~~277~~

138 0 139

139 2 557

140 1 281

Line 185:

146 1 293

147 8 37633

148 2 ~~593~~

148 0 149

149 3 1193

150 2 ~~601~~

150 0 151

151 4 2417

152 3 1217

Line 193:

154 2 617

155 1 311

156 1 ~~313~~

156 0 157

157 8 40193

158 1 317

Line 199:

160 2 641

161 3 1289

162 3 ~~1297~~

162 0 163

163 2 653

164 9 83969

165 1 331

166 4 ~~2657~~

166 0 167

167 7 21377

168 1 337

Line 209:

170 3 1361

171 8 43777

172 4 ~~2753~~

172 0 173

173 1 347

174 1 349

Line 215:

176 1 353

177 2 709

178 6 ~~11393~~

178 0 179

179 1 359

180 7 ~~23041~~

180 0 181

181 4 2897

182 7 23297

Line 227:

188 581 1487939695262196876907983166454197495251350196192890428923003345454869706240895712896623468784438158657419591298913094265537812046389415279164757669092989298186306341246574002177

189 1 379

190 2 ~~761~~

190 0 191

191 1 383

192 2 ~~769~~

192 0 193

193 2 773

194 1 389

195 4 3121

196 4 ~~3137~~

196 0 197

197 15 6455297

198 1 ~~397~~

198 0 199

199 2 797

200 1 401

Line 247:

208 4 3329

209 1 419

210 1 ~~421~~

210 0 211

211 20 221249537

212 3 1697

Line 259:

220 2 881

221 1 443

222 3 ~~1777~~

222 0 223

223 8 57089

224 1 449

225 3 1801

226 4 ~~3617~~

226 0 227

227 11 464897

228 1 ~~457~~

228 0 229

229 6 14657

230 1 461

231 1 463

232 2 ~~929~~

232 0 233

233 1 467

234 2 937

Line 275:

236 3 1889

237 4 3793

238 2 ~~953~~

238 0 239

239 1 479

240 5 ~~7681~~

240 0 241

241 36 16561393893377

242 7 30977

Line 287:

248 5 7937

249 1 499

250 4 ~~4001~~

250 0 251

251 1 503

252 2 1009

Line 293:

254 1 509

255 2 1021

256 8 ~~65537~~

256 0 257

257 279 249632952651006185613150855026822179503549278818199928480857894651449200648869292015617

258 2 1033

Line 299:

260 1 521

261 1 523

262 2 ~~1049~~

262 0 263

263 29 141197049857

264 3 2113

Line 305:

266 3 2129

267 2 1069

268 4 ~~4289~~

268 0 269

269 3 2153

270 1 ~~541~~

270 0 271

271 4 4337

272 11 557057

Line 313:

274 2 1097

275 7 35201

276 8 ~~70657~~

276 0 277

277 2 1109

278 1 557

279 2 1117

280 4 ~~4481~~

280 0 281

281 1 563

282 2 ~~1129~~

282 0 283

283 30 303868936193

284 1 569

Line 329:

290 5 9281

291 4 4657

292 4 ~~4673~~

292 0 293

293 1 587

294 7 37633

Line 343:

304 2 1217

305 3 2441

306 1 ~~613~~

306 0 307

307 2 1229

308 1 617

309 1 619

310 6 ~~19841~~

310 0 311

311 9 159233

312 2 ~~1249~~

312 0 313

313 4 5009

314 7 40193

315 1 631

316 8 ~~80897~~

316 0 317

317 7 40577

318 5 10177

Line 367:

328 8 83969

329 1 659

330 1 ~~661~~

330 0 331

331 4 5297

332 3 2657

Line 373:

334 6 21377

335 19 175636481

336 1 ~~673~~

336 0 337

337 4 5393

338 1 677

Line 383:

344 3 2753

345 1 691

346 12 ~~1417217~~

346 0 347

347 3 2777

348 4 ~~5569~~

348 0 349

349 10 357377

350 1 701

351 12 1437697

352 2 ~~1409~~

352 0 353

353 21 740294657

354 1 709

Line 395:

356 5 11393

357 2 1429

358 2 ~~1433~~

358 0 359

359 1 719

360 6 23041

Line 403:

364 6 23297

365 5 11681

366 1 ~~733~~

366 0 367

367 12 1503233

368 5 11777

Line 409:

370 2 1481

371 1 743

372 2 ~~1489~~

372 0 373

373 2 1493

374 5 11969

Line 415:

376 580 1487939695262196876907983166454197495251350196192890428923003345454869706240895712896623468784438158657419591298913094265537812046389415279164757669092989298186306341246574002177

377 11 772097

378 1 ~~757~~

378 0 379

379 14 6209537

380 1 761

381 3 3049

382 4 ~~6113~~

382 0 383

383 6393 11693945185971565896920916176753769281418376445302724140914106576604960252116205468905429628661873192664799900323401294531072465400997845029722990758855393414014415817179228695517839305455702961095094596926622802342799137107509767542153683280899327558274011281588755909890607960835140712630830933978801393590855371457894042968287926562847826310125559303901351824980311279986492793008248059208985097459095049075732193161126922389950080848742183055141518931962329796357335158955758486061360294773463111842316561192036096585088267052290025273980611139612478214293303564141730470933187279751846912161098280963960686648202780382930927114525552446602357404550468641236474238897222372272898562140228039886991631673186995098587756569010989657598363351856992206826342175536967926902668804937341514786382018872919876784539436965319822540039220122728568129762675989071883516915894567537630751801497223803135172643203770169327233350522822938630733126833423559124391441973547309619943019237705312515304113424366223388373606440335025932390399945086075175009569272136997988977568262327875607690344516747889133920438003737328060362069562108376086129279385800262195985974144460914705464874882401864174074796383557151951711000378565395148939760434428093058777242253682181813425273399277638142811972296863003382484684788329148214958434057306251885787781329925372401240556666727438408378656900945061970219566055969587385482421092779185798692904507774583223151161566406541599486350580593707153172641891804260963429951215526999443852964537303345106153870841180251403751871193132336680841124129779119999935597712685839886558769823834654994044516702436738265181698869580022472787153167463772595005393815295009535991557511340157179280662197799109181549751673455040271529561595718940092424231253150263268513067972937042222806102175350331146290864120703025608712817763221723427454002746818270565050919821097445991953785331131470462682015972815241620750337

384 1 769

Line 425:

386 1 773

387 2 1549

388 2 ~~1553~~

388 0 389

389 11 796673

390 3 3121

Line 433:

394 14 6455297

395 5 12641

396 3 ~~3169~~

396 0 397

397 4 6353

398 1 797

399 2 1597

400 2 ~~1601~~

400 0 401

</pre>

=={{header|Raku}}==