# This is the a003004.txt text file.
# a(6)-a(74) from Samuel S. Wagstaff, 1972.
# a(75)-a(110) from Z. Shao, F. Deng, M. Liang, X. Xu, 2012.
# a(111)-a(115) from Fausto A. C. Cariboni, Apr 30 2018
# Sets with n that yield a(n) for n = 6..115 from Fausto A. C. Cariboni, Apr 30 2018


a(6)=5 from {1,2,3,4,6}
a(7)=6 from {1,2,3,4,6,7}
a(8)=7 from {1,2,3,4,6,7,8}
a(9)=8 from {1,2,3,4,6,7,8,9}
a(10)=8 from {1,2,3,4,6,7,9,10}
a(11)=9 from {1,2,3,4,6,7,8,9,11}
a(12)=10 from {1,2,3,4,6,7,8,9,11,12}
a(13)=11 from {1,2,3,4,6,7,8,9,11,12,13}
a(14)=12 from {1,2,3,4,6,7,8,9,11,12,13,14}
a(15)=12 from {1,2,3,5,6,7,8,10,11,12,13,15}
a(16)=13 from {1,2,3,4,6,7,8,9,11,12,13,14,16}
a(17)=14 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17}
a(18)=15 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18}
a(19)=16 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19}
a(20)=16 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20}
a(21)=16 from {1,2,3,4,6,7,8,9,11,12,13,14,17,18,19,21}
a(22)=16 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22}
a(23)=16 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,19,23}
a(24)=17 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,24}
a(25)=18 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,24,25}
a(26)=18 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,24,25,26}
a(27)=19 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,24,25,26,27}
a(28)=20 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,24,25,27,28}
a(29)=21 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,24,25,27,28,29}
a(30)=21 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,25,27,28,29,30}
a(31)=22 from {1,2,3,4,6,7,8,9,11,12,13,14,18,20,21,22,24,25,27,28,29,31}
a(32)=22 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32}
a(33)=23 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33}
a(34)=24 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34}
a(35)=24 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,28,29,30,31,33,34,35}
a(36)=25 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36}
a(37)=26 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37}
a(38)=27 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38}
a(39)=28 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39}
a(40)=28 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40}
a(41)=29 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41}
a(42)=30 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42}
a(43)=31 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43}
a(44)=32 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44}
a(45)=32 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45}
a(46)=32 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,37,38,39,41,42,43,44,46}
a(47)=32 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,38,39,41,42,43,44,47}
a(48)=32 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,39,41,42,43,44,48}
a(49)=33 from {1,2,3,4,6,7,8,9,11,13,14,16,17,19,22,23,26,27,28,29,31,32,33,34,36,38,41,42,44,45,47,48,49}
a(50)=33 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22,26,27,28,29,31,32,33,34,37,39,41,43,44,46,47,48,50}
a(51)=34 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22,26,27,28,29,31,32,33,34,37,39,41,43,44,46,47,48,50,51}
a(52)=35 from {1,2,3,4,6,7,8,9,11,13,14,16,17,19,22,23,26,27,28,29,31,32,33,34,36,38,41,42,44,45,47,48,49,51,52}
a(53)=35 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53}
a(54)=36 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54}
a(55)=36 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22,26,28,29,31,32,34,35,36,37,39,41,44,45,47,48,50,51,52,54,55}
a(56)=37 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56}
a(57)=38 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57}
a(58)=39 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58}
a(59)=40 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59}
a(60)=40 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,22,24,26,27,28,29,32,33,34,35,37,39,43,45,47,48,49,50,52,53,54,55,57,58,59,60}
a(61)=41 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61}
a(62)=42 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62}
a(63)=43 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63}
a(64)=44 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64}
a(65)=44 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65}
a(66)=45 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66}
a(67)=46 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67}
a(68)=47 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68}
a(69)=48 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69}
a(70)=48 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,70}
a(71)=48 from {1,2,3,4,6,7,8,9,11,12,13,14,17,18,19,21,26,27,28,29,31,32,33,34,36,37,38,39,42,43,44,46,51,52,53,54,56,57,58,59,61,62,63,64,67,68,69,71}
a(72)=48 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22,26,27,28,29,31,32,33,34,36,37,38,39,41,43,44,47,51,52,53,54,56,57,58,59,61,62,63,64,66,68,69,72}
a(73)=48 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,19,23,26,27,28,29,31,32,33,34,36,37,38,39,41,42,44,48,51,52,53,54,56,57,58,59,61,62,63,64,66,67,69,73}
a(74)=48 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,24,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,49,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,74}
a(75)=48 from {1,2,3,4,6,7,8,9,12,14,16,18,19,21,22,23,26,27,28,29,31,32,33,34,37,39,41,43,44,46,47,48,51,52,53,54,56,58,59,62,64,66,68,69,71,72,73,75}
a(76)=49 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76}
a(77)=50 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77}
a(78)=51 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78}
a(79)=52 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79}
a(80)=52 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,70,76,77,78,80}
a(81)=53 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81}
a(82)=54 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82}
a(83)=55 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83}
a(84)=56 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84}
a(85)=56 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,70,76,77,78,80,81,82,83,85}
a(86)=57 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86}
a(87)=58 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87}
a(88)=59 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88}
a(89)=60 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88,89}
a(90)=60 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,70,76,77,78,80,81,82,83,85,86,87,88,90}
a(91)=61 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88,89,91}
a(92)=62 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88,89,91,92}
a(93)=63 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88,89,91,92,93}
a(94)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,79,81,82,83,84,86,87,88,89,91,92,93,94}
a(95)=64 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,20,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,45,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,70,76,77,78,80,81,82,83,85,86,87,88,90,91,92,93,95}
a(96)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,17,18,19,21,26,27,28,29,31,32,33,34,36,37,38,39,42,43,44,46,51,52,53,54,56,57,58,59,61,62,63,64,67,68,69,71,76,77,78,79,81,82,83,84,86,87,88,89,92,93,94,96}
a(97)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,18,19,22,26,27,28,29,31,32,33,34,36,37,38,39,41,43,44,47,51,52,53,54,56,57,58,59,61,62,63,64,66,68,69,72,76,77,78,79,81,82,83,84,86,87,88,89,91,93,94,97}
a(98)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,19,23,26,27,28,29,31,32,33,34,36,37,38,39,41,42,44,48,51,52,53,54,56,57,58,59,61,62,63,64,66,67,69,73,76,77,78,79,81,82,83,84,86,87,88,89,91,92,94,98}
a(99)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,24,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,49,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,74,76,77,78,79,81,82,83,84,86,87,88,89,91,92,93,99}
a(100)=64 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,25,26,27,28,30,31,32,33,35,36,37,38,40,41,42,43,50,51,52,53,55,56,57,58,60,61,62,63,65,66,67,68,75,76,77,78,80,81,82,83,85,86,87,88,90,91,92,93,100}
a(101)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,77,78,79,81,82,83,84,86,87,88,89,91,92,93,94,101}
a(102)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,78,79,81,82,83,84,86,87,88,89,91,92,93,94,102}
a(103)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,79,81,82,83,84,86,87,88,89,91,92,93,94,103}
a(104)=64 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,77,78,81,82,83,84,86,87,88,89,91,92,93,94,104}
a(105)=65 from {1,2,3,5,6,7,8,10,11,12,13,15,17,18,20,21,26,27,28,30,31,32,33,35,36,37,38,40,42,43,45,46,51,52,55,56,57,60,61,62,63,65,67,68,70,71,73,76,78,81,85,86,87,88,90,92,93,95,96,97,98,102,103,104,105}
a(106)=65 from {1,2,3,4,6,7,8,9,11,12,13,16,17,18,19,24,26,27,28,29,31,32,33,34,36,37,38,41,42,43,44,49,52,53,54,56,57,58,59,61,62,63,66,67,68,69,74,76,78,83,84,86,87,88,91,92,93,94,97,99,101,102,104,105,106}
a(107)=65 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,83,84,86,87,88,90,91,93,94,95,97,101,102,103,104,106,107}
a(108)=65 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,79,84,86,87,88,89,91,94,95,97,98,101,102,103,106,107,108}
a(109)=66 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,24,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,49,51,52,54,56,57,58,61,62,63,64,66,67,68,74,77,78,79,82,84,86,87,88,89,92,93,95,96,99,101,103,105,106,108,109}
a(110)=66 from {1,2,3,4,6,7,8,9,14,16,17,18,19,21,22,23,26,27,28,29,31,32,33,34,39,41,42,43,44,46,47,48,51,52,56,57,58,64,66,67,68,69,71,72,73,74,76,77,78,79,82,91,92,93,94,96,97,98,99,103,104,105,106,108,109,110}
a(111)=66 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,54,56,59,61,62,63,64,66,67,68,69,72,73,77,78,79,84,88,89,91,92,93,94,96,97,102,103,105,106,107,108,110,111}
a(112)=66 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,26,27,28,29,31,32,33,34,36,37,38,39,41,42,43,44,51,52,53,54,56,57,58,59,61,62,63,64,66,67,68,69,76,81,88,89,90,91,94,97,98,99,102,103,104,107,108,110,111,112}
a(113)=67 from {1,2,3,4,6,7,8,9,11,12,14,16,17,18,23,24,26,27,28,29,31,32,33,34,36,37,39,41,42,43,49,51,52,54,56,57,58,59,61,62,63,64,66,67,68,74,78,79,82,86,88,89,91,92,93,95,99,101,102,103,105,106,108,109,110,112,113}
a(114)=67 from {1,2,3,4,6,7,8,9,12,14,16,17,18,19,21,23,26,27,28,31,32,33,37,39,41,42,43,44,46,48,49,51,52,54,56,57,58,62,64,66,67,68,69,71,73,74,76,77,78,79,83,91,92,93,95,96,98,99,104,105,106,107,109,110,112,113,114}
a(115)=67 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,19,23,26,27,28,29,31,32,34,36,37,38,39,41,42,43,44,48,51,52,57,62,63,64,66,67,68,69,71,73,74,77,78,79,81,82,87,92,98,99,100,101,103,104,105,106,108,109,110,111,113,114,115}