forked from ECP-ExaGraph/grappolo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
fewprimes.txt
1340 lines (1340 loc) · 8.86 KB
/
fewprimes.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1339
2
3
5
7
11
13
17
19
23
29
31
37
41
43
47
53
59
61
67
71
73
79
83
89
97
101
103
107
109
113
127
131
137
139
149
151
157
163
167
173
179
181
191
193
197
199
211
223
227
229
233
239
241
251
257
263
269
271
277
281
283
293
307
311
313
317
331
337
347
349
353
359
367
373
379
383
389
397
401
409
419
421
431
433
439
443
449
457
461
463
523
601
661
743
823
887
977
1069
1163
1249
1321
1439
1511
1601
1753
1871
1979
2069
2153
2273
2371
2459
2593
2693
2791
2903
3023
3181
3307
3413
3539
3643
3769
3923
4057
4211
4337
4481
4651
4799
4957
5087
5237
5443
5591
5743
5879
6073
6277
6427
6619
6791
6997
7207
7411
7561
7723
7793
8009
8209
8387
8599
8663
8831
9029
9227
9467
9689
9883
10111
10369
10627
10859
11149
11393
11657
11897
12161
12413
12619
12919
13163
13441
13723
13999
14323
14621
14851
15139
15401
15679
15971
16273
16619
16931
17231
17519
17863
18133
18439
18797
19183
19477
20117
20443
20771
21143
21499
21767
22111
22783
23159
23497
23833
24179
24517
24977
25261
25679
26111
26387
26801
27061
27551
28283
28669
28933
29401
30197
30703
30949
31393
32213
32917
33403
33613
34157
34877
35729
36263
36493
36979
37781
38639
39181
39367
39971
40829
41603
42331
42899
43051
43783
44617
45427
46301
46997
47143
47807
48661
49459
50263
51169
51929
52721
53593
54421
55291
56113
56921
57737
58543
59393
60271
61223
62081
62989
63803
64811
65677
66593
67453
68371
69263
70223
71089
71933
72823
73859
74843
75821
76907
77839
78901
79939
80923
81929
82891
83987
85027
86111
87119
88079
89209
90149
91193
92243
93179
94253
95231
96223
97303
98411
99397
100469
101501
102451
103591
104659
105667
106703
107839
108881
109847
110933
111997
113063
114113
115211
116191
117281
118343
119429
120503
121447
122477
123547
124577
125659
126713
127781
128837
129887
130957
132047
133073
134171
135277
136303
137251
138337
139423
140473
141511
142567
143699
144839
145931
146987
148079
149111
150107
151201
152197
153281
154339
155443
156593
157579
158749
159799
160879
161977
163109
164183
165349
166471
167471
168713
169817
170813
171889
172973
174067
175261
176317
177323
178487
179471
180463
181751
182713
183829
184957
185947
187049
188147
189251
190313
191461
192529
193559
194717
195791
196919
197969
199037
200183
201401
202403
203569
204719
205823
206911
207953
209021
210031
211093
212203
213361
214499
215659
216829
217937
219019
220013
221197
222289
223337
224491
225583
226697
227797
228901
229903
230977
232109
233341
234527
235621
236867
238037
239119
240197
241333
242399
243533
244597
245719
246809
247939
248903
250043
251233
252323
253553
254729
255709
256889
258067
259157
260329
261467
262643
263761
264889
266009
267131
268003
269189
270311
271429
272507
273773
274889
275987
277073
278261
279443
280591
281647
282707
283949
284927
286129
287321
288649
289717
290761
291901
293107
294311
295439
296627
297797
299011
300187
301237
302429
303493
304541
305597
306749
307891
309091
310243
311419
312583
313679
314761
315949
317021
318161
319183
320219
321371
322523
323707
324811
325883
327059
328109
329309
330413
331549
332743
333857
335033
336211
337301
338369
339659
340849
341959
343153
344237
345473
346469
347671
348779
349927
351061
352229
353341
354401
355529
356831
357977
359041
360289
361549
362723
363833
364993
366139
367201
368327
369709
370897
372149
373231
374461
375481
376679
377809
379013
380179
381373
382601
383729
384821
385991
387151
388391
389567
390653
391789
392849
393863
395069
396293
397493
398581
399731
400997
402253
403433
404539
405827
407153
408217
409369
410477
411637
412793
414083
415109
416281
417511
418633
419701
420919
422111
423259
424343
425519
426799
427991
429227
430289
431381
432457
433577
434743
435763
436993
438281
439519
440581
441811
442919
443939
445021
446333
447637
448907
450029
451039
452227
453631
454847
455953
457117
458363
459509
460843
462097
463319
464419
465463
466751
467899
468973
470209
471277
472393
473611
474769
475837
476989
478259
479371
480521
481699
482819
484037
485417
486653
487789
488879
490031
491251
492463
493621
494731
495797
497069
498257
499397
500501
501701
503017
504197
505321
506531
507719
508943
510079
511289
512581
513691
514823
516163
517207
518249
519487
520649
521789
522887
524197
525377
526483
527603
528883
530051
531203
532451
533693
534857
536141
537143
538471
539653
540871
542083
543241
544471
545747
546967
548201
549313
550513
551671
552883
554017
555251
556579
557717
558931
560089
561109
562519
563723
564937
566089
567389
568577
569771
570839
572051
573161
574373
575611
576703
577931
579119
580343
581459
582721
583853
585049
586213
587297
588389
589681
590963
592303
593353
594551
595703
596879
598099
599371
600529
601771
602873
604031
605257
606527
607703
608873
609991
611213
612377
613597
614843
616069
617107
618287
619589
620743
622009
623281
624401
625631
626929
628193
629513
630719
631901
633053
634273
635413
636613
637771
639259
640457
641749
642997
644197
645367
646537
647687
648911
649981
651323
652559
653749
654853
656147
657383
658601
659819
660899
662177
663407
664571
665659
666929
668153
669463
670639
671911
673069
674239
675449
676721
678037
679153
680213
681407
682597
683863
685073
686269
687437
688657
689867
691189
692333
693569
694717
695873
697093
698329
699571
700883
702139
703267
704449
705613
706763
707969
709201
710377
711517
712697
713927
715237
716453
717679
719057
720257
721321
722563
723739
724879
726149
727313
728659
729737
731041
732209
733427
734693
735821
737089
738313
739399
740681
741967
743173
744637
745973
747203
748463
749587
750863
751987
753229
754367
755561
756919
758231
759401
760531
761623
762959
764059
765257
766399
767647
768853
770059
771269
772477
773723
774929
776233
777451
778681
779879
781129
782209
783569
784697
785903
787207
788377
789611
790819
792049
793229
794383
795653
796801
798023
799313
800483
801617
802969
804211
805327
806543
807923
809203
810361
811561
812711
814043
815279
816547
817757
819073
820213
821383
822581
823717
824933
826039
827251
828587
829831
831037
832189
833347
834653
835951
837157
838517
839731
840991
842209
843383
844553
845921
847139
848423
849599
850879
852101
853357
854599
855889
857029
858251
859567
860779
861947
863081
864341
865577
866783
867947
869119
870283
871643
872791
874229
875393
876523
877867
879007
880199
881333
882653
883889
885187
886367
887617
888781
890063
891391
892531
893797
895007
896191
897473
898661
900089
901253
902579
903913
905083
906329
907427
908591
909683
911011