-
Notifications
You must be signed in to change notification settings - Fork 0
/
h-not0mod3-n.verified-prime-small.txt
28154 lines (28154 loc) · 235 KB
/
h-not0mod3-n.verified-prime-small.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
1 2
1 3
5 4
1 5
7 5
19 5
31 5
17 6
23 6
35 6
53 6
1 7
13 7
31 7
43 7
49 7
55 7
73 7
79 7
103 7
5 8
53 8
83 8
89 8
113 8
143 8
155 8
167 8
179 8
209 8
227 8
7 9
25 9
49 9
61 9
67 9
91 9
97 9
109 9
139 9
175 9
181 9
205 9
217 9
235 9
259 9
301 9
319 9
325 9
331 9
355 9
361 9
391 9
415 9
427 9
457 9
481 9
499 9
511 9
5 10
35 10
41 10
83 10
101 10
107 10
167 10
185 10
233 10
257 10
341 10
371 10
377 10
401 10
413 10
443 10
461 10
467 10
533 10
611 10
647 10
653 10
665 10
695 10
707 10
713 10
791 10
821 10
857 10
887 10
911 10
917 10
923 10
971 10
995 10
25 11
31 11
73 11
85 11
103 11
115 11
133 11
169 11
181 11
241 11
265 11
283 11
319 11
349 11
361 11
385 11
403 11
409 11
421 11
445 11
475 11
505 11
511 11
529 11
595 11
619 11
703 11
823 11
859 11
889 11
913 11
955 11
979 11
991 11
1015 11
1075 11
1111 11
1153 11
1165 11
1195 11
1279 11
1285 11
1309 11
1333 11
1429 11
1483 11
1495 11
1501 11
1531 11
1543 11
1555 11
1561 11
1573 11
1585 11
1621 11
1663 11
1669 11
1693 11
1729 11
1741 11
1753 11
1765 11
1825 11
1849 11
1855 11
1873 11
1879 11
1891 11
1915 11
1921 11
1951 11
1963 11
2005 11
5 12
23 12
59 12
65 12
89 12
107 12
119 12
143 12
227 12
233 12
275 12
299 12
353 12
383 12
413 12
437 12
467 12
479 12
503 12
527 12
665 12
683 12
689 12
695 12
749 12
803 12
809 12
857 12
875 12
887 12
899 12
923 12
929 12
977 12
1007 12
1049 12
1085 12
1115 12
1175 12
1187 12
1253 12
1283 12
1319 12
1385 12
1397 12
1409 12
1439 12
1487 12
1493 12
1505 12
1577 12
1643 12
1673 12
1787 12
1805 12
1817 12
1859 12
1883 12
1913 12
1943 12
1955 12
1979 12
2009 12
2069 12
2117 12
2123 12
2195 12
2303 12
2375 12
2459 12
2513 12
2525 12
2543 12
2573 12
2603 12
2609 12
2615 12
2639 12
2645 12
2669 12
2723 12
2813 12
2825 12
2837 12
2849 12
2873 12
2909 12
2945 12
3107 12
3185 12
3233 12
3245 12
3257 12
3269 12
3293 12
3299 12
3323 12
3335 12
3395 12
3419 12
3497 12
3509 12
3527 12
3539 12
3575 12
3587 12
3593 12
3629 12
3653 12
3665 12
3689 12
3695 12
3707 12
3803 12
3833 12
3857 12
3887 12
3929 12
3947 12
3965 12
3995 12
4013 12
4025 12
4049 12
4055 12
4067 12
1 13
31 13
49 13
61 13
91 13
115 13
145 13
211 13
289 13
307 13
325 13
379 13
385 13
391 13
409 13
421 13
439 13
481 13
499 13
517 13
541 13
559 13
565 13
619 13
649 13
685 13
715 13
727 13
751 13
775 13
805 13
817 13
847 13
877 13
895 13
985 13
1051 13
1057 13
1105 13
1141 13
1231 13
1279 13
1309 13
1321 13
1357 13
1375 13
1417 13
1441 13
1465 13
1471 13
1519 13
1597 13
1615 13
1675 13
1681 13
1687 13
1717 13
1795 13
1849 13
1897 13
1909 13
1945 13
1975 13
2005 13
2029 13
2047 13
2101 13
2107 13
2155 13
2215 13
2221 13
2227 13
2239 13
2305 13
2365 13
2395 13
2455 13
2485 13
2497 13
2509 13
2557 13
2599 13
2617 13
2689 13
2707 13
2725 13
2761 13
2791 13
2821 13
2929 13
2935 13
2941 13
2947 13
3031 13
3037 13
3145 13
3151 13
3211 13
3229 13
3235 13
3247 13
3265 13
3355 13
3451 13
3475 13
3487 13
3541 13
3577 13
3589 13
3601 13
3619 13
3649 13
3655 13
3667 13
3691 13
3757 13
3787 13
3865 13
3877 13
3895 13
3919 13
3925 13
3937 13
3979 13
3991 13
3997 13
4039 13
4045 13
4069 13
4147 13
4159 13
4171 13
4177 13
4201 13
4237 13
4249 13
4255 13
4285 13
4321 13
4327 13
4357 13
4387 13
4441 13
4471 13
4501 13
4567 13
4579 13
4651 13
4657 13
4711 13
4735 13
4795 13
4837 13
4849 13
4879 13
4927 13
4975 13
5017 13
5035 13
5041 13
5059 13
5101 13
5137 13
5239 13
5245 13
5281 13
5347 13
5425 13
5449 13
5521 13
5539 13
5557 13
5587 13
5605 13
5665 13
5671 13
5755 13
5767 13
5785 13
5791 13
5797 13
5845 13
5887 13
5929 13
5977 13
6007 13
6067 13
6127 13
6139 13
6187 13
6229 13
6271 13
6355 13
6415 13
6445 13
6457 13
6505 13
6571 13
6589 13
6631 13
6679 13
6709 13
6769 13
6775 13
6781 13
6847 13
6877 13
6889 13
6895 13
7111 13
7129 13
7141 13
7171 13
7189 13
7255 13
7279 13
7285 13
7315 13
7345 13
7381 13
7387 13
7429 13
7477 13
7561 13
7681 13
7687 13
7747 13
7771 13
7855 13
7897 13
7939 13
7945 13
7999 13
8011 13
8029 13
8065 13
8101 13
8161 13
5 14
41 14
47 14
71 14
77 14
83 14
113 14
131 14
155 14
215 14
227 14
287 14
305 14
323 14
341 14
353 14
425 14
557 14
563 14
617 14
635 14
641 14
665 14
731 14
755 14
815 14
851 14
857 14
917 14
941 14
953 14
1001 14
1091 14
1097 14
1127 14
1133 14
1145 14
1163 14
1181 14
1187 14
1277 14
1301 14
1343 14
1421 14
1523 14
1547 14
1601 14
1643 14
1673 14
1685 14
1697 14
1733 14
1757 14
1775 14
1811 14
1847 14
1853 14
1877 14
1883 14
1907 14
1931 14
1937 14
1943 14
1961 14
1985 14
2015 14
2057 14
2075 14
2135 14
2147 14
2171 14
2183 14
2225 14
2243 14
2255 14
2393 14
2411 14
2471 14
2477 14
2525 14
2621 14
2663 14
2681 14
2687 14
2705 14
2735 14
2807 14
2867 14
2897 14
2951 14
3017 14
3035 14
3041 14
3077 14
3083 14
3107 14
3137 14
3185 14
3197 14
3233 14
3245 14
3275 14
3311 14
3335 14
3347 14
3497 14
3503 14
3515 14
3563 14
3587 14
3665 14
3701 14
3707 14
3731 14
3737 14
3743 14
3773 14
3833 14
3857 14
3875 14
3893 14
3917 14
3953 14
4103 14
4115 14
4151 14
4193 14
4241 14
4283 14
4295 14
4325 14
4421 14
4457 14
4463 14
4487 14
4571 14
4631 14
4655 14
4667 14
4691 14
4715 14
4721 14
4793 14
4841 14
4865 14
4991 14
4997 14
5027 14
5057 14
5123 14
5225 14
5243 14
5255 14
5297 14
5321 14
5375 14
5381 14
5387 14
5453 14
5471 14
5585 14
5627 14
5633 14
5687 14
5723 14
5747 14
5771 14
5807 14
5813 14
5825 14
5933 14
5957 14
5975 14
5981 14
6053 14
6143 14
6203 14
6245 14
6335 14
6347 14
6401 14
6425 14
6473 14
6551 14
6563 14
6671 14
6683 14
6725 14
6773 14
6815 14
6941 14
6971 14
7001 14
7007 14
7031 14
7061 14
7067 14
7073 14
7091 14
7145 14
7151 14
7187 14
7211 14
7265 14
7325 14
7385 14
7391 14
7427 14
7463 14
7487 14
7553 14
7595 14
7607 14
7613 14
7661 14
7691 14
7727 14
7733 14
7811 14
7817 14
7853 14
7871 14
7955 14
8051 14
8075 14
8117 14
8153 14
8195 14
8201 14
8207 14
8225 14
8231 14
8315 14
8321 14
8327 14
8333 14
8393 14
8417 14
8441 14
8483 14
8537 14
8543 14
8615 14
8663 14
8693 14
8705 14
8747 14
8771 14
8825 14
8855 14
8903 14
8933 14
8957 14
9005 14
9035 14
9077 14
9107 14
9131 14
9143 14
9173 14
9251 14
9317 14
9323 14
9335 14
9401 14
9407 14
9443 14
9545 14
9587 14
9647 14
9671 14
9713 14
9731 14
9785 14
9803 14
9815 14
9857 14
9875 14
10001 14
49 15
55 15
79 15
91 15
133 15
139 15
145 15
193 15
199 15
235 15
415 15
451 15
475 15
481 15
511 15
523 15
535 15
595 15
619 15
625 15
685 15
691 15
793 15
853 15
859 15
865 15
955 15
1003 15
1069 15
1081 15
1153 15
1159 15
1189 15
1195 15
1225 15
1273 15
1309 15
1351 15
1411 15
1483 15
1603 15
1633 15
1663 15
1711 15
1735 15
1741 15
1771 15
1789 15
1831 15
1909 15
1939 15
1963 15
1993 15
2005 15
2035 15
2053 15
2113 15
2149 15
2173 15
2179 15
2275 15
2299 15
2329 15
2389 15
2455 15
2491 15
2503 15
2509 15
2515 15
2575 15
2581 15
2713 15
2785 15
2803 15
2809 15
2821 15
2833 15
2929 15
2971 15
3031 15
3043 15
3139 15
3169 15
3223 15
3259 15
3313 15
3355 15
3373 15
3391 15
3415 15
3469 15
3595 15
3661 15
3679 15
3709 15
3715 15
3733 15
3841 15
3859 15
3883 15
3901 15
3925 15
3961 15
3985 15
4039 15
4081 15
4105 15
4129 15
4141 15
4213 15
4225 15
4249 15
4273 15
4309 15
4339 15
4363 15
4375 15
4423 15
4459 15
4519 15
4525 15
4585 15
4591 15
4615 15
4639 15
4699 15
4879 15
4939 15
4951 15
4969 15
5065 15
5095 15
5155 15
5161 15
5299 15
5329 15
5341 15
5353 15
5365 15
5371 15
5383 15
5443 15
5449 15
5605 15
5635 15
5659 15
5791 15
5821 15
6001 15
6013 15
6019 15
6103 15
6109 15
6163 15
6199 15
6229 15
6235 15
6283 15
6289 15
6391 15
6403 15
6415 15
6475 15
6493 15
6523 15
6529 15
6535 15
6571 15
6589 15
6631 15
6769 15
6835 15
6871 15
6979 15
6991 15
7021 15
7045 15
7075 15
7093 15
7111 15
7123 15
7153 15
7213 15
7273 15
7315 15
7321 15
7339 15
7405 15
7411 15
7459 15