-
Notifications
You must be signed in to change notification settings - Fork 0
/
Problem425.nb
1199 lines (1115 loc) · 47.3 KB
/
Problem425.nb
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
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 9.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 157, 7]
NotebookDataLength[ 48206, 1190]
NotebookOptionsPosition[ 44974, 1088]
NotebookOutlinePosition[ 45331, 1104]
CellTagsIndexPosition[ 45288, 1101]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
RowBox[{
RowBox[{"ChangeOneDigitDown", "=",
RowBox[{
RowBox[{"Table", "[",
RowBox[{
RowBox[{"#", "-", "i"}], ",",
RowBox[{"{",
RowBox[{"i", ",",
RowBox[{"Flatten", "[",
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"Table", "[",
RowBox[{
RowBox[{
SuperscriptBox["10",
RowBox[{"Last", "[", "#1", "]"}]], "*", "i"}], ",",
RowBox[{"{",
RowBox[{"i", ",", "1", ",",
RowBox[{"First", "[", "#1", "]"}]}], "}"}]}], "]"}], "&"}],
",",
RowBox[{"MapIndexed", "[",
RowBox[{
RowBox[{
RowBox[{"{",
RowBox[{"#1", ",",
RowBox[{
RowBox[{"First", "[", "#2", "]"}], "-", "1"}]}], "}"}],
"&"}], ",",
RowBox[{
RowBox[{"ReplacePart", "[",
RowBox[{
RowBox[{"IntegerDigits", "[", "#", "]"}], ",",
RowBox[{"1", "->",
RowBox[{
RowBox[{
RowBox[{"IntegerDigits", "[", "#", "]"}], "[",
RowBox[{"[", "1", "]"}], "]"}], "-", "1"}]}]}], "]"}], "//",
"Reverse"}]}], "]"}]}], "]"}], "]"}]}], "}"}]}], "]"}],
"&"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"ChangeOneDigitUp", "=",
RowBox[{
RowBox[{"Table", "[",
RowBox[{
RowBox[{"#", "+", "i"}], ",",
RowBox[{"{",
RowBox[{"i", ",",
RowBox[{"Flatten", "@",
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"Table", "[",
RowBox[{
RowBox[{
SuperscriptBox["10",
RowBox[{"Last", "[", "#1", "]"}]], "*", "i"}], ",",
RowBox[{"{",
RowBox[{"i", ",", "1", ",",
RowBox[{"First", "[", "#1", "]"}]}], "}"}]}], "]"}], "&"}],
",",
RowBox[{"MapIndexed", "[",
RowBox[{
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"9", "-", "#1"}], ",",
RowBox[{
RowBox[{"First", "[", "#2", "]"}], "-", "1"}]}], "}"}],
"&"}], ",",
RowBox[{"(",
RowBox[{
RowBox[{"#", "//", "IntegerDigits"}], "//", "Reverse"}],
")"}]}], "]"}]}], "]"}]}]}], "}"}]}], "]"}], "&"}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"ChangeOneDigit", "=",
RowBox[{
RowBox[{"Union", "@@",
RowBox[{"{",
RowBox[{
RowBox[{"ChangeOneDigitDown", "[", "#", "]"}], ",",
RowBox[{"ChangeOneDigitUp", "[", "#", "]"}]}], "}"}]}], "&"}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"ChopLeft", "[", "n_", "]"}], ":=",
RowBox[{"Piecewise", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"0", ",",
RowBox[{
RowBox[{"Length", "[",
RowBox[{"IntegerDigits", "[", "n", "]"}], "]"}], "\[Equal]",
"1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"FromDigits", "[",
RowBox[{
RowBox[{"IntegerDigits", "[", "n", "]"}], "[",
RowBox[{"[",
RowBox[{"2", ";;"}], "]"}], "]"}], "]"}], ",",
RowBox[{
RowBox[{
RowBox[{"IntegerDigits", "[", "n", "]"}], "[",
RowBox[{"[", "2", "]"}], "]"}], "\[NotEqual]", "0"}]}], "}"}]}],
"}"}], ",", "0"}], "]"}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "admissable", "]"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k_", ",", "k_"}], "]"}], "=", "True"}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k_", ",", "p_"}], "]"}], ":=",
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",", "p"}], "]"}], "=",
RowBox[{
RowBox[{"PrimeQ", "[", "p", "]"}], "&&",
RowBox[{"(",
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",",
RowBox[{"ChopLeft", "[", "p", "]"}]}], "]"}], " ", "||", " ",
RowBox[{"(",
RowBox[{"Or", " ", "@@", " ",
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}], "&"}], ",",
RowBox[{"ChangeOneDigitDown", "[", "p", "]"}]}], "]"}]}], ")"}]}],
")"}]}]}]}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "admissableBounded", "]"}], ";",
RowBox[{
RowBox[{"admissableBounded", "[",
RowBox[{"k_", ",", "limit_"}], "]"}], ":=",
RowBox[{
RowBox[{"admissableBounded", "[",
RowBox[{"k", ",", "limit"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "limit"}], "]"}], ",", "PrimeQ"}],
"]"}], ",",
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}], "&"}]}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "admissableRanged", "]"}], ";",
RowBox[{
RowBox[{"admissableRanged", "[",
RowBox[{"k_", ",", "lower_", ",", "upper_"}], "]"}], ":=",
RowBox[{
RowBox[{"admissableRanged", "[",
RowBox[{"k", ",", "lower", ",", "upper"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{"lower", ",", "upper"}], "]"}], ",", "PrimeQ"}], "]"}], ",",
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}], "&"}]}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "notadmissableBounded", "]"}], ";",
RowBox[{
RowBox[{"notadmissableBounded", "[",
RowBox[{"k_", ",", "limit_"}], "]"}], ":=",
RowBox[{
RowBox[{"notadmissableBounded", "[",
RowBox[{"k", ",", "limit"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "limit"}], "]"}], ",", "PrimeQ"}],
"]"}], ",",
RowBox[{
RowBox[{"Not", "@",
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}]}], "&"}]}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "notadmissableBoundedRanged", "]"}], ";",
RowBox[{
RowBox[{"notadmissableBoundedRanged", "[",
RowBox[{"k_", ",", "limit_", ",", "lower_"}], "]"}], ":=",
RowBox[{
RowBox[{"notadmissableBoundedRanged", "[",
RowBox[{"k", ",", "limit", ",", "lower"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "limit"}], "]"}], ",", "PrimeQ"}],
"]"}], ",",
RowBox[{
RowBox[{
RowBox[{"Not", "@",
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}]}], "||",
RowBox[{"#", "<", "lower"}]}], "&"}]}], "]"}]}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "ad", "]"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k_", ",", "limit_"}], "]"}], ":=",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k", ",", "limit"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "limit"}], "]"}], ",",
RowBox[{
RowBox[{"And", "[",
RowBox[{
RowBox[{"PrimeQ", "[", "#", "]"}], ",",
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}]}], "]"}], "&"}]}], "]"}]}]}], ";",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k_", ",", "lower_", ",", "limit_"}], "]"}], ":=",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k", ",", "lower", ",", "limit"}], "]"}], "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"lower", "+", "1"}], ",", "limit"}], "]"}], ",",
RowBox[{
RowBox[{"And", "[",
RowBox[{
RowBox[{"PrimeQ", "[", "#", "]"}], ",",
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}]}], "]"}], "&"}]}], "]"}]}]}], ";"}],
"\[IndentingNewLine]",
RowBox[{"(*",
RowBox[{
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k_", ",", "lower_", ",", "limit_"}], "]"}], ":=",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k", ",", "lower", ",", "limit"}], "]"}], "=",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k", ",", "limit"}], "]"}], "~", "Complement", "~",
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "lower"}], "]"}]}]}]}], ";"}],
"*)"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "notad", "]"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"notad", "[",
RowBox[{"k_", ",", "lower_", ",", "limit_"}], "]"}], ":=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"Range", "[",
RowBox[{
RowBox[{"k", "+", "1"}], ",", "limit"}], "]"}], ",",
RowBox[{
RowBox[{"And", "[",
RowBox[{
RowBox[{"PrimeQ", "[", "#", "]"}], ",",
RowBox[{"Or", "[",
RowBox[{
RowBox[{"Not", "[",
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}], "]"}], ",",
RowBox[{"#", "<", "lower"}]}], "]"}]}], "]"}], "&"}]}], "]"}]}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"Clear", "[", "adIntersection", "]"}], ";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"adIntersection", "[",
RowBox[{"k_", ",", "limit_", ",", "set_"}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"Module", "[",
RowBox[{
RowBox[{"{",
RowBox[{"primes", ",", "i"}], "}"}], ",", "\[IndentingNewLine]",
RowBox[{
RowBox[{"primes", "=",
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"Prime", "[", "#", "]"}], "&"}], ",",
RowBox[{"Range", "[",
RowBox[{
RowBox[{
RowBox[{"PrimePi", "[", "k", "]"}], "+", "1"}], ",",
RowBox[{"PrimePi", "[", "limit", "]"}]}], "]"}]}], "]"}]}], ";",
"\[IndentingNewLine]",
RowBox[{"Catch", "[",
RowBox[{"Scan", "[",
RowBox[{
RowBox[{
RowBox[{"If", "[",
RowBox[{
RowBox[{"And", "[",
RowBox[{
RowBox[{"admissable", "[",
RowBox[{"k", ",", "#"}], "]"}], ",",
RowBox[{"Not", "[",
RowBox[{"MemberQ", "[",
RowBox[{"set", ",", "#"}], "]"}], "]"}]}], "]"}], ",",
RowBox[{"Throw", "[", "#", "]"}]}], "]"}], "&"}], ",", "primes"}],
"]"}], "]"}]}]}], "]"}]}], ";"}], "\[IndentingNewLine]"}], "Input",
CellChangeTimes->{{3.583631960217701*^9, 3.583632038766535*^9}, {
3.583689289335251*^9, 3.583689322239985*^9}, {3.583689420053268*^9,
3.583689425575639*^9}, {3.583715910095347*^9, 3.583715910376042*^9}, {
3.583715951176248*^9, 3.583715989285516*^9}, 3.583716026663289*^9, {
3.5837160592639523`*^9, 3.583716091999201*^9}, 3.583716950986746*^9, {
3.58371702197665*^9, 3.583717023831625*^9}, {3.583717064559183*^9,
3.5837170660699797`*^9}, {3.583717169168488*^9, 3.583717174692211*^9}, {
3.583717217753684*^9, 3.583717300845529*^9}, {3.583717353628701*^9,
3.5837173868557453`*^9}, {3.5837174431499243`*^9, 3.583717455736929*^9}, {
3.583718339903502*^9, 3.5837183401746187`*^9}}],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"adIntersection", "[",
RowBox[{"11", ",", "100", ",",
RowBox[{"{",
RowBox[{
"11", ",", "31", ",", "41", ",", "61", ",", "71", ",", "101", ",", "103",
",", "107", ",", "109", ",", "127", ",", "131", ",", "151", ",", "181",
",", "191", ",", "211", ",", "241", ",", "251", ",", "271", ",", "281",
",", "307", ",", "311", ",", "331", ",", "401", ",", "409", ",", "421",
",", "431", ",", "461", ",", "491", ",", "503", ",", "509", ",", "521",
",", "541", ",", "571", ",", "601", ",", "607", ",", "631", ",", "641",
",", "661", ",", "691", ",", "701", ",", "709", ",", "751", ",", "761",
",", "809", ",", "811", ",", "821", ",", "881", ",", "907", ",", "911",
",", "941", ",", "971", ",", "991"}], "}"}]}], "]"}]], "Input",
CellChangeTimes->{{3.58371729445953*^9, 3.5837173197941008`*^9}, {
3.58371739342559*^9, 3.583717395911027*^9}, 3.58371807424713*^9}],
Cell[BoxData[
RowBox[{"{",
RowBox[{
"13", ",", "17", ",", "19", ",", "23", ",", "29", ",", "31", ",", "37", ",",
"41", ",", "43", ",", "47", ",", "53", ",", "59", ",", "61", ",", "67",
",", "71", ",", "73", ",", "79", ",", "83", ",", "89", ",", "97"}],
"}"}]], "Print",
CellChangeTimes->{
3.5837173590239687`*^9, 3.583717396926269*^9, 3.583717458506021*^9,
3.583717828747592*^9, {3.5837180756614113`*^9, 3.583718079375557*^9}}],
Cell[BoxData["13"], "Output",
CellChangeTimes->{
3.583717320849907*^9, 3.583717359090774*^9, 3.58371739696075*^9,
3.583717458543659*^9, 3.583717828783208*^9, {3.5837180757142773`*^9,
3.583718079424451*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell["31", "WolframAlphaLong"],
Cell[BoxData["$Aborted"], "Output",
CellChangeTimes->{3.5837180629743834`*^9}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Complement", "[",
RowBox[{
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"Prime", "[", "#", "]"}], "&"}], ",",
RowBox[{"Range", "[",
RowBox[{"2", ",",
RowBox[{"PrimePi", "[", "10000", "]"}]}], "]"}]}], "]"}], ",",
RowBox[{"ad", "[",
RowBox[{"2", ",", "10000"}], "]"}]}], "]"}]], "Input",
CellChangeTimes->{{3.583718052371087*^9, 3.583718092875186*^9}}],
Cell[BoxData[
RowBox[{"{",
RowBox[{
"11", ",", "31", ",", "41", ",", "61", ",", "71", ",", "101", ",", "103",
",", "107", ",", "109", ",", "127", ",", "131", ",", "151", ",", "181",
",", "191", ",", "211", ",", "241", ",", "251", ",", "271", ",", "281",
",", "307", ",", "311", ",", "331", ",", "401", ",", "409", ",", "421",
",", "431", ",", "461", ",", "491", ",", "503", ",", "509", ",", "521",
",", "541", ",", "571", ",", "601", ",", "607", ",", "631", ",", "641",
",", "661", ",", "691", ",", "701", ",", "709", ",", "751", ",", "761",
",", "809", ",", "811", ",", "821", ",", "881", ",", "907", ",", "911",
",", "941", ",", "971", ",", "991", ",", "1009", ",", "1013", ",", "1019",
",", "1021", ",", "1031", ",", "1033", ",", "1039", ",", "1049", ",",
"1051", ",", "1061", ",", "1063", ",", "1069", ",", "1087", ",", "1091",
",", "1093", ",", "1097", ",", "1103", ",", "1109", ",", "1117", ",",
"1123", ",", "1129", ",", "1151", ",", "1153", ",", "1171", ",", "1181",
",", "1187", ",", "1201", ",", "1213", ",", "1217", ",", "1231", ",",
"1237", ",", "1291", ",", "1301", ",", "1303", ",", "1307", ",", "1319",
",", "1321", ",", "1327", ",", "1361", ",", "1381", ",", "1399", ",",
"1409", ",", "1451", ",", "1471", ",", "1481", ",", "1511", ",", "1531",
",", "1571", ",", "1601", ",", "1607", ",", "1609", ",", "1621", ",",
"1709", ",", "1721", ",", "1741", ",", "1801", ",", "1811", ",", "1831",
",", "1861", ",", "1871", ",", "1901", ",", "1907", ",", "1931", ",",
"1951", ",", "2003", ",", "2011", ",", "2017", ",", "2027", ",", "2029",
",", "2039", ",", "2053", ",", "2063", ",", "2069", ",", "2081", ",",
"2083", ",", "2087", ",", "2089", ",", "2099", ",", "2111", ",", "2129",
",", "2131", ",", "2141", ",", "2161", ",", "2203", ",", "2207", ",",
"2221", ",", "2251", ",", "2281", ",", "2309", ",", "2311", ",", "2333",
",", "2341", ",", "2351", ",", "2371", ",", "2381", ",", "2411", ",",
"2417", ",", "2441", ",", "2503", ",", "2521", ",", "2531", ",", "2551",
",", "2591", ",", "2609", ",", "2621", ",", "2633", ",", "2671", ",",
"2707", ",", "2711", ",", "2731", ",", "2741", ",", "2791", ",", "2801",
",", "2803", ",", "2833", ",", "2851", ",", "2861", ",", "2903", ",",
"2909", ",", "2971", ",", "3001", ",", "3011", ",", "3019", ",", "3023",
",", "3037", ",", "3041", ",", "3049", ",", "3061", ",", "3067", ",",
"3079", ",", "3083", ",", "3089", ",", "3109", ",", "3119", ",", "3121",
",", "3181", ",", "3191", ",", "3203", ",", "3209", ",", "3217", ",",
"3221", ",", "3251", ",", "3253", ",", "3271", ",", "3301", ",", "3307",
",", "3331", ",", "3361", ",", "3371", ",", "3391", ",", "3407", ",",
"3461", ",", "3491", ",", "3511", ",", "3517", ",", "3527", ",", "3541",
",", "3571", ",", "3581", ",", "3607", ",", "3631", ",", "3671", ",",
"3691", ",", "3701", ",", "3709", ",", "3761", ",", "3803", ",", "3821",
",", "3851", ",", "3881", ",", "3907", ",", "3911", ",", "3931", ",",
"4001", ",", "4003", ",", "4007", ",", "4013", ",", "4019", ",", "4021",
",", "4027", ",", "4049", ",", "4051", ",", "4057", ",", "4073", ",",
"4079", ",", "4091", ",", "4093", ",", "4099", ",", "4111", ",", "4127",
",", "4129", ",", "4133", ",", "4201", ",", "4211", ",", "4217", ",",
"4219", ",", "4231", ",", "4241", ",", "4261", ",", "4271", ",", "4327",
",", "4363", ",", "4391", ",", "4409", ",", "4421", ",", "4441", ",",
"4451", ",", "4481", ",", "4507", ",", "4513", ",", "4517", ",", "4519",
",", "4561", ",", "4591", ",", "4603", ",", "4621", ",", "4651", ",",
"4691", ",", "4703", ",", "4721", ",", "4751", ",", "4801", ",", "4813",
",", "4817", ",", "4831", ",", "4861", ",", "4871", ",", "4903", ",",
"4909", ",", "4931", ",", "4951", ",", "5003", ",", "5009", ",", "5011",
",", "5021", ",", "5023", ",", "5039", ",", "5051", ",", "5059", ",",
"5077", ",", "5081", ",", "5087", ",", "5099", ",", "5101", ",", "5107",
",", "5147", ",", "5171", ",", "5209", ",", "5231", ",", "5261", ",",
"5281", ",", "5303", ",", "5309", ",", "5351", ",", "5381", ",", "5407",
",", "5431", ",", "5441", ",", "5471", ",", "5501", ",", "5503", ",",
"5507", ",", "5521", ",", "5531", ",", "5581", ",", "5591", ",", "5641",
",", "5651", ",", "5701", ",", "5711", ",", "5741", ",", "5791", ",",
"5801", ",", "5807", ",", "5821", ",", "5851", ",", "5861", ",", "5881",
",", "5903", ",", "5981", ",", "6007", ",", "6011", ",", "6029", ",",
"6037", ",", "6043", ",", "6047", ",", "6053", ",", "6067", ",", "6073",
",", "6079", ",", "6089", ",", "6091", ",", "6101", ",", "6121", ",",
"6131", ",", "6151", ",", "6203", ",", "6211", ",", "6217", ",", "6221",
",", "6247", ",", "6271", ",", "6301", ",", "6311", ",", "6361", ",",
"6421", ",", "6451", ",", "6481", ",", "6491", ",", "6521", ",", "6551",
",", "6571", ",", "6581", ",", "6607", ",", "6661", ",", "6691", ",",
"6701", ",", "6703", ",", "6709", ",", "6761", ",", "6781", ",", "6791",
",", "6803", ",", "6841", ",", "6871", ",", "6907", ",", "6911", ",",
"6961", ",", "6971", ",", "6991", ",", "7001", ",", "7013", ",", "7019",
",", "7027", ",", "7039", ",", "7043", ",", "7057", ",", "7069", ",",
"7079", ",", "7103", ",", "7109", ",", "7121", ",", "7127", ",", "7129",
",", "7151", ",", "7207", ",", "7211", ",", "7307", ",", "7309", ",",
"7321", ",", "7331", ",", "7351", ",", "7411", ",", "7451", ",", "7481",
",", "7507", ",", "7541", ",", "7561", ",", "7591", ",", "7603", ",",
"7607", ",", "7621", ",", "7681", ",", "7691", ",", "7703", ",", "7741",
",", "7841", ",", "7901", ",", "7907", ",", "7951", ",", "8009", ",",
"8011", ",", "8017", ",", "8039", ",", "8053", ",", "8059", ",", "8069",
",", "8081", ",", "8087", ",", "8089", ",", "8093", ",", "8101", ",",
"8111", ",", "8117", ",", "8123", ",", "8147", ",", "8161", ",", "8171",
",", "8191", ",", "8209", ",", "8221", ",", "8231", ",", "8291", ",",
"8311", ",", "8431", ",", "8461", ",", "8501", ",", "8513", ",", "8521",
",", "8581", ",", "8609", ",", "8641", ",", "8681", ",", "8707", ",",
"8731", ",", "8741", ",", "8761", ",", "8803", ",", "8807", ",", "8821",
",", "8831", ",", "8861", ",", "8941", ",", "8951", ",", "8971", ",",
"9001", ",", "9007", ",", "9011", ",", "9013", ",", "9029", ",", "9041",
",", "9043", ",", "9049", ",", "9059", ",", "9067", ",", "9091", ",",
"9103", ",", "9109", ",", "9127", ",", "9151", ",", "9161", ",", "9181",
",", "9203", ",", "9209", ",", "9221", ",", "9241", ",", "9281", ",",
"9311", ",", "9341", ",", "9371", ",", "9391", ",", "9403", ",", "9421",
",", "9431", ",", "9461", ",", "9491", ",", "9511", ",", "9521", ",",
"9551", ",", "9601", ",", "9631", ",", "9661", ",", "9721", ",", "9781",
",", "9791", ",", "9803", ",", "9811", ",", "9851", ",", "9871", ",",
"9901", ",", "9907", ",", "9931", ",", "9941"}], "}"}]], "Output",
CellChangeTimes->{{3.5837180674477177`*^9, 3.583718094088221*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"admissable", "[",
RowBox[{"11", ",", "13"}], "]"}]], "Input",
CellChangeTimes->{{3.583717815728053*^9, 3.583717818161685*^9}},
NumberMarks->False],
Cell[BoxData["True"], "Output",
CellChangeTimes->{{3.583717813094207*^9, 3.583717818435584*^9}}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"ReleaseHold", "[",
RowBox[{"Hold", "[",
RowBox[{"Throw", "[", "11", "]"}], "]"}], "]"}]], "Input",
NumberMarks->False],
Cell[BoxData[
RowBox[{
StyleBox[
RowBox[{"Throw", "::", "nocatch"}], "MessageName"],
RowBox[{
":", " "}], "\<\"Uncaught \[NoBreak]\\!\\(Throw[11]\\)\[NoBreak] returned \
to top level. \\!\\(\\*ButtonBox[\\\"\[RightSkeleton]\\\", \
ButtonStyle->\\\"Link\\\", ButtonFrame->None, \
ButtonData:>\\\"paclet:ref/message/Throw/nocatch\\\", ButtonNote -> \
\\\"Throw::nocatch\\\"]\\)\"\>"}]], "Message", "MSG",
CellChangeTimes->{3.583717417243184*^9}],
Cell[BoxData[
RowBox[{"Hold", "[",
RowBox[{"Throw", "[", "11", "]"}], "]"}]], "Output",
CellChangeTimes->{3.583717417245249*^9}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"ad", "[",
RowBox[{"11", ",", "14"}], "]"}]], "Input",
CellChangeTimes->{{3.583685696043844*^9, 3.583685705769899*^9}, {
3.583716039637801*^9, 3.583716042988546*^9}}],
Cell[BoxData[
RowBox[{"{", "13", "}"}]], "Output",
CellChangeTimes->{3.583716043371029*^9}]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Scan", "[",
RowBox[{
RowBox[{
RowBox[{"If", "[",
RowBox[{
RowBox[{"#", ">", "5"}], ",",
RowBox[{"Throw", "[", "#", "]"}], ",",
RowBox[{"Print", "[", "3", "]"}]}], "]"}], "&"}], ",",
RowBox[{"{",
RowBox[{"2", ",", "4"}], "}"}]}], "]"}]], "Input",
CellChangeTimes->{{3.583717101583851*^9, 3.5837171017685957`*^9}, {
3.583717131851171*^9, 3.5837171322955647`*^9}, {3.583717608028965*^9,
3.583717609866727*^9}, {3.5837176993320932`*^9, 3.5837177607146263`*^9}}],
Cell[CellGroupData[{
Cell[BoxData["3"], "Print",
CellChangeTimes->{3.583717761096855*^9}],
Cell[BoxData["3"], "Print",
CellChangeTimes->{3.583717761130925*^9}]
}, Open ]]
}, Open ]],
Cell[BoxData["%"], "Input",
CellChangeTimes->{3.583717105756514*^9}],
Cell[BoxData[
RowBox[{
RowBox[{"Clear", "[", "fourTwentyFive", "]"}], ";",
RowBox[{
RowBox[{"fourTwentyFive", "[", "N_", "]"}], ":=",
RowBox[{"Module", "[",
RowBox[{
RowBox[{"{",
RowBox[{
"list", ",", "x", ",", "sum", ",", "roots", ",", "relatives", ",",
"primes", ",", "k", ",", "p", ",", "l", ",", "notP"}], "}"}], ",",
"\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
RowBox[{
"sum", " ", "keeps", " ", "track", " ", "of", " ", "the", " ", "sum",
" ", "of", " ", "\"\<roots\>\"", " ", "of", " ", "the", " ",
RowBox[{"tree", ".", " ", "\[IndentingNewLine]", "Since"}], " ", "2",
" ", "is", " ", "not", " ", "considered", " ", "a", " ", "root"}],
",", " ",
RowBox[{"set", " ", "it", " ", "to", " ", "0", " ", "at", " ",
RowBox[{"first", "."}]}]}], "*)"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"sum", "=", "0"}], ";", "\[IndentingNewLine]",
"\[IndentingNewLine]",
RowBox[{"(*",
RowBox[{
RowBox[{
"notP", " ", "is", " ", "the", " ", "list", " ", "of", " ", "primes",
" ", "that", " ", "has", " ", "not", " ", "yet", " ", "been", " ",
RowBox[{"tested", ".", "\[IndentingNewLine]", "Initially"}]}], ",",
" ",
RowBox[{
RowBox[{"set", " ", "to", " ",
RowBox[{"{",
RowBox[{"3", ",", "...", ",",
RowBox[{"P", "<", "N"}]}], "}"}]}], " ", "-", " ",
RowBox[{
RowBox[{
RowBox[{"{",
RowBox[{"2", "-", "admissables"}], "}"}], ".",
"\[IndentingNewLine]", "It"}], " ", "is", " ", "maintained", " ",
"ordered", " ", "by", " ",
RowBox[{
RowBox[{"Complement", "[", "]"}], "."}]}]}]}], " ", "*)"}],
"\[IndentingNewLine]",
RowBox[{"notP", "=",
RowBox[{"Complement", "[",
RowBox[{
RowBox[{"Map", "[",
RowBox[{
RowBox[{
RowBox[{"Prime", "[", "#", "]"}], "&"}], ",",
RowBox[{"Range", "[",
RowBox[{"2", ",",
RowBox[{"PrimePi", "[", "N", "]"}]}], "]"}]}], "]"}], ",",
RowBox[{"ad", "[",
RowBox[{"2", ",", "N"}], "]"}]}], "]"}]}], ";",
"\[IndentingNewLine]", "\[IndentingNewLine]",
RowBox[{"(*", " ",
RowBox[{
"Sucessively", " ", "test", " ", "elements", " ", "from", " ", "notP",
" ", "until", " ", "not", " ",
RowBox[{"possible", "."}]}], "*)"}], "\[IndentingNewLine]",
RowBox[{"While", "[",
RowBox[{
RowBox[{"notP", "\[NotEqual]",
RowBox[{"{", "}"}]}], ",", "\[IndentingNewLine]",
RowBox[{
RowBox[{"k", "=",
RowBox[{"notP", "[",
RowBox[{"[", "1", "]"}], "]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"notP", "=",
RowBox[{"notP", "[",
RowBox[{"[",
RowBox[{"2", ";;"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"Print", "[", "k", "]"}], ";", "\[IndentingNewLine]",
RowBox[{"sum", "=",
RowBox[{"sum", "+", "k"}]}], ";", "\[IndentingNewLine]",
RowBox[{"(*",
RowBox[{
RowBox[{"l", "=",
RowBox[{"adIntersection", "[",
RowBox[{"k", ",", "N", ",", "notP"}], "]"}]}], ";",
"\[IndentingNewLine]",
RowBox[{"notP", "=",
RowBox[{"Complement", "[",
RowBox[{"notP", ",",
RowBox[{"ad", "[",
RowBox[{"k", ",", "l", ",", "N"}], "]"}]}], "]"}]}], ";",
"\[IndentingNewLine]",
RowBox[{"Print", "[",
RowBox[{"\"\<l= \>\"", ",", "l"}], "]"}], ";"}], "*)"}],
"\[IndentingNewLine]",
RowBox[{"l", "=",
RowBox[{"Select", "[",
RowBox[{
RowBox[{"ad", "[",
RowBox[{"k", ",", "N"}], "]"}], ",",
RowBox[{
RowBox[{"Not", "[",
RowBox[{"MemberQ", "[",
RowBox[{"notP", ",", "#"}], "]"}], "]"}], "&"}], ",", "1"}],
"]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"If", "[",
RowBox[{
RowBox[{"l", "\[NotEqual]",
RowBox[{"{", "}"}]}], ",", "\[IndentingNewLine]",
RowBox[{
RowBox[{"l", "=",
RowBox[{"First", "[", "l", "]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"notP", "=",
RowBox[{"Complement", "[",
RowBox[{"notP", ",",
RowBox[{"ad", "[",
RowBox[{"k", ",", "l", ",", "N"}], "]"}]}], "]"}]}], ";"}],
",", "\[IndentingNewLine]", "\"\<hi\>\""}], "]"}]}]}], "]"}], ";",
"\[IndentingNewLine]", "sum"}]}], "]"}]}], ";"}]], "Input",
CellChangeTimes->{{3.5836041003954773`*^9, 3.58360410341186*^9}, {
3.5836055482887363`*^9, 3.583605553995631*^9}, {3.583610510909343*^9,
3.583610521714068*^9}, {3.583610730248404*^9, 3.5836107567958384`*^9}, {
3.583610981116679*^9, 3.583611021002528*^9}, {3.5836110722913847`*^9,
3.583611135565422*^9}, {3.58361116967664*^9, 3.583611190067217*^9}, {
3.5836290695914793`*^9, 3.583629117452784*^9}, {3.583629267827635*^9,
3.58362930597862*^9}, {3.5836294004717607`*^9, 3.583629402569916*^9}, {
3.583629774159918*^9, 3.583629874192368*^9}, {3.583629916326508*^9,
3.58362999335281*^9}, {3.5836300619051447`*^9, 3.5836300623690643`*^9}, {
3.583630104650539*^9, 3.58363013186841*^9}, {3.583630689686096*^9,
3.5836306909820538`*^9}, {3.583630735900869*^9, 3.583630744430072*^9}, {
3.5836307989243193`*^9, 3.583630803049139*^9}, {3.58363101061865*^9,
3.58363104680669*^9}, {3.58363112081231*^9, 3.58363113898785*^9}, {
3.583631194929331*^9, 3.5836312267000027`*^9}, {3.58363126633226*^9,
3.583631390740162*^9}, {3.583631467654985*^9, 3.5836315118240232`*^9}, {
3.5836317079435596`*^9, 3.58363180798927*^9}, 3.583631889882575*^9,
3.5836779708533087`*^9, {3.583678009470264*^9, 3.583678009852054*^9}, {
3.5836832571194267`*^9, 3.583683262739908*^9}, {3.583685643485732*^9,
3.583685685428833*^9}, {3.5836859811395493`*^9, 3.5836860085347767`*^9}, {
3.583686115578088*^9, 3.583686130893036*^9}, {3.5836862503715677`*^9,
3.583686429723299*^9}, {3.583686617792418*^9, 3.5836866554780197`*^9}, {
3.583687165783049*^9, 3.583687235884343*^9}, {3.583687274273343*^9,
3.583687338846375*^9}, {3.583687594893567*^9, 3.5836877667305317`*^9}, {
3.583687819170789*^9, 3.583687842437134*^9}, {3.58371812076908*^9,
3.5837181228619547`*^9}, {3.583718304188096*^9, 3.5837183169222393`*^9}, {
3.5837184302068157`*^9, 3.583718547382348*^9}, 3.58371858130287*^9, {
3.583721759157503*^9, 3.58372177727779*^9}, {3.583721819901363*^9,
3.583721821400832*^9}}],
Cell[BoxData[""], "Input",
CellChangeTimes->{{3.583715649305127*^9, 3.5837157163182087`*^9},
3.5837157500639353`*^9, {3.583721221561514*^9, 3.583721224200643*^9}}],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{"fourTwentyFive", "[", "10000", "]"}], "//",
"AbsoluteTiming"}]], "Input",
CellChangeTimes->{{3.583689138031526*^9, 3.583689140982276*^9}, {
3.583714808845022*^9, 3.5837148119401197`*^9}, {3.5837184189059267`*^9,
3.583718435792727*^9}, {3.583718488113606*^9, 3.5837184893848467`*^9}, {
3.58372178807556*^9, 3.583721799650578*^9}}],
Cell[CellGroupData[{
Cell[BoxData["11"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218307187853`*^9}}],
Cell[BoxData["101"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.583721830896059*^9}}],
Cell[BoxData["103"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.583721831076767*^9}}],
Cell[BoxData["107"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.583721831266334*^9}}],
Cell[BoxData["109"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218314676228`*^9}],
Cell[BoxData["1009"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721831690092*^9}],
Cell[BoxData["1013"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721831916092*^9}],
Cell[BoxData["1019"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218321401377`*^9}],
Cell[BoxData["1021"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721832362587*^9}],
Cell[BoxData["1031"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218325843077`*^9}],
Cell[BoxData["1033"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721832810755*^9}],
Cell[BoxData["1039"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721833028994*^9}],
Cell[BoxData["1049"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721833250457*^9}],
Cell[BoxData["1051"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721833472661*^9}],
Cell[BoxData["1061"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721833702345*^9}],
Cell[BoxData["1063"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218339264307`*^9}],
Cell[BoxData["1069"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721834150674*^9}],
Cell[BoxData["1087"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721834372731*^9}],
Cell[BoxData["1091"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721834629064*^9}],
Cell[BoxData["1093"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721834852566*^9}],
Cell[BoxData["1097"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218350763397`*^9}],
Cell[BoxData["1117"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721835297041*^9}],
Cell[BoxData["1201"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721835520282*^9}],
Cell[BoxData["1511"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721835742724*^9}],
Cell[BoxData["2003"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721835965485*^9}],
Cell[BoxData["2011"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721836185103*^9}],
Cell[BoxData["2017"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721836404554*^9}],
Cell[BoxData["2027"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218366277246`*^9}],
Cell[BoxData["2029"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.5837218368490543`*^9}],
Cell[BoxData["2053"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.583721837069401*^9}],
Cell[BoxData["2221"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.58372183728966*^9}],
Cell[BoxData["2309"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.58372183751546*^9}],
Cell[BoxData["2333"], "Print",
CellChangeTimes->{
3.583718350782752*^9, {3.5837184195296583`*^9, 3.58371845863414*^9}, {
3.5837184901870947`*^9, 3.583718510270069*^9}, {3.583718553688148*^9,
3.583718592248897*^9}, {3.5837217903683*^9, 3.5837218014061203`*^9},
3.58372183774434*^9}],