# This is the a003005.txt text file.
# a(7)-a(52) from Samuel S. Wagstaff, 1972.
# a(53)-a(141) from Z. Shao, F. Deng, M. Liang, X. Xu, 2012.
# a(142)-a(147) from Fausto A. C. Cariboni, May 20 2018
# Sets with n that yield a(n) for n = 7..147 from Fausto A. C. Cariboni, May 20 2018


a(7)=6 from {1,2,3,4,5,7}
a(8)=7 from {1,2,3,4,5,7,8}
a(9)=8 from {1,2,3,4,5,7,8,9}
a(10)=9 from {1,2,3,4,5,7,8,9,10}
a(11)=9 from {1,2,3,4,5,7,8,10,11}
a(12)=10 from {1,2,3,4,5,7,8,9,10,12}
a(13)=11 from {1,2,3,4,5,7,8,9,10,12,13}
a(14)=12 from {1,2,3,4,5,7,8,9,10,12,13,14}
a(15)=13 from {1,2,3,4,5,7,8,9,10,12,13,14,15}
a(16)=13 from {1,2,3,4,5,7,8,9,10,12,14,15,16}
a(17)=14 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17}
a(18)=15 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18}
a(19)=16 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19}
a(20)=17 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20}
a(21)=17 from {1,2,3,4,5,7,8,9,10,12,13,14,15,18,19,20,21}
a(22)=18 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22}
a(23)=19 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23}
a(24)=20 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24}
a(25)=21 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25}
a(26)=22 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26}
a(27)=22 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,23,24,25,26,27}
a(28)=22 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,24,25,26,27,28}
a(29)=23 from {1,2,3,4,5,7,8,9,10,12,13,14,15,18,19,20,21,22,25,26,27,28,29}
a(30)=23 from {1,2,3,4,5,7,8,9,10,12,13,14,15,19,20,21,22,23,26,27,28,29,30}
a(31)=23 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,23,24,26,27,30,31}
a(32)=24 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,23,24,25,26,27,29,30,31,32}
a(33)=25 from {1,2,3,4,5,7,8,9,10,12,15,16,17,18,19,22,23,24,25,26,29,30,31,32,33}
a(34)=25 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,30,31,32,33,34}
a(35)=26 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,24,26,27,28,30,31,33,34,35}
a(36)=27 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,24,26,27,28,30,31,33,34,35,36}
a(37)=28 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,24,26,27,28,30,31,33,34,35,36,37}
a(38)=28 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,23,24,25,26,27,30,32,33,34,35,36,38}
a(39)=29 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,23,24,25,26,27,30,32,33,34,35,37,38,39}
a(40)=30 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,23,24,25,26,27,29,30,31,32,34,35,36,37,39,40}
a(41)=31 from {1,2,3,5,6,7,8,10,11,12,13,15,16,17,18,19,24,25,27,28,29,30,32,33,34,35,37,38,39,40,41}
a(42)=31 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,20,23,24,25,27,29,31,32,34,35,36,37,39,40,41,42}
a(43)=31 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43}
a(44)=32 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44}
a(45)=33 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45}
a(46)=34 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,46}
a(47)=34 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,37,38,40,41,43,44,45,46,47}
a(48)=35 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48}
a(49)=36 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49}
a(50)=37 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50}
a(51)=38 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,51}
a(52)=38 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,38,39,40,41,43,44,45,46,48,49,50,51,52}
a(53)=38 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,37,38,40,41,43,45,46,47,48,50,51,52,53}
a(54)=39 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,37,38,40,41,43,45,46,47,48,50,51,52,53,54}
a(55)=39 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,35,36,37,38,39,41,42,43,46,47,48,49,50,52,53,54,55}
a(56)=40 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,19,20,22,23,24,25,26,28,34,35,36,37,38,40,41,42,43,47,48,49,50,51,53,54,55,56}
a(57)=40 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,33,35,36,37,38,39,42,43,44,45,47,49,50,51,52,54,56,57}
a(58)=41 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,36,37,38,39,40,43,44,45,46,48,49,50,51,54,55,56,57,58}
a(59)=42 from {1,2,3,4,5,7,8,9,10,12,14,15,16,17,20,21,22,23,25,28,29,31,32,35,37,38,39,40,43,44,45,46,48,49,50,51,53,54,56,57,58,59}
a(60)=42 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,38,39,40,41,43,46,48,49,50,51,53,54,55,56,58,59,60}
a(61)=43 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,29,30,31,33,34,35,37,38,42,44,45,47,48,49,50,52,53,54,55,57,58,59,60,61}
a(62)=44 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,28,30,31,32,33,35,39,41,43,44,45,46,48,49,50,51,53,54,55,56,58,59,60,61,62}
a(63)=44 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,36,37,39,40,41,43,44,45,46,48,50,51,52,53,55,57,58,60,61,62,63}
a(64)=45 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,28,30,31,32,33,34,36,37,39,43,45,47,48,49,50,52,53,54,55,57,58,59,60,62,63,64}
a(65)=46 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,28,30,31,32,33,34,36,37,39,43,45,47,48,49,50,52,53,54,55,57,58,59,60,62,63,64,65}
a(66)=47 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,28,30,31,32,33,34,36,37,39,43,45,47,48,49,50,52,53,54,55,57,58,59,60,62,63,64,65,66}
a(67)=47 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,25,29,32,33,34,35,37,38,39,40,42,43,44,48,50,51,54,55,56,58,59,60,61,63,64,65,66,67}
a(68)=48 from {1,2,3,4,5,7,8,10,11,12,15,16,17,18,19,21,22,24,25,26,29,30,31,32,34,35,37,40,41,44,46,47,49,50,52,54,55,56,57,59,60,61,62,64,65,66,67,68}
a(69)=48 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,36,38,39,40,43,48,49,50,51,52,54,55,56,57,59,60,61,62,65,66,67,68,69}
a(70)=49 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70}
a(71)=50 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,71}
a(72)=50 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,35,36,38,39,40,41,43,49,50,51,53,54,55,56,58,59,60,61,63,64,65,66,68,69,70,71,72}
a(73)=51 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73}
a(74)=52 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74}
a(75)=53 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75}
a(76)=54 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76}
a(77)=54 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,23,24,25,27,32,33,34,35,37,38,39,40,42,43,44,45,48,49,50,52,57,58,59,60,62,63,64,65,67,68,69,70,73,74,75,76,77}
a(78)=54 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,25,28,32,33,34,35,37,38,39,40,42,43,44,45,47,49,50,53,57,58,59,60,62,63,64,65,67,69,70,72,73,74,75,76,78}
a(79)=54 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,36,38,39,40,43,48,49,50,51,52,54,55,56,57,59,60,62,65,66,67,69,70,71,73,74,76,77,78,79}
a(80)=55 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,28,30,32,33,34,35,37,38,39,40,42,43,44,45,47,49,53,55,57,58,59,60,62,65,66,67,68,69,72,73,74,75,76,78,79,80}
a(81)=55 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,36,37,39,40,41,43,44,45,46,48,50,51,53,55,57,61,62,63,65,66,67,68,70,71,72,73,75,76,77,78,80,81}
a(82)=56 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,67,68,69,70,71,73,74,75,76,80,81,82}
a(83)=57 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,25,29,32,33,34,35,37,38,39,40,42,43,44,45,47,48,50,54,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76,81,82,83}
a(84)=57 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76,82,83,84}
a(85)=58 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76,81,82,83,84,85}
a(86)=59 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,25,29,32,33,34,35,37,38,39,40,42,43,44,45,47,48,50,54,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76,81,82,83,85,86}
a(87)=59 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,76,82,83,84,86,87}
a(88)=60 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,30,32,33,34,35,37,38,39,40,42,43,44,45,47,48,55,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,79,80,81,82,83,85,86,87,88}
a(89)=61 from {1,2,3,4,6,7,8,9,10,14,15,16,18,19,20,21,23,24,25,26,28,31,33,34,35,39,40,41,43,44,45,46,48,49,50,51,53,56,58,59,60,64,65,66,68,69,70,71,73,74,75,76,78,80,81,83,84,86,87,88,89}
a(90)=61 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90}
a(91)=62 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91}
a(92)=62 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,91,92}
a(93)=63 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91,93}
a(94)=64 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91,93,94}
a(95)=65 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91,93,94,95}
a(96)=66 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91,93,94,95,96}
a(97)=66 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,86,88,89,90,91,93,95,96,97}
a(98)=67 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98}
a(99)=68 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99}
a(100)=69 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100}
a(101)=70 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,101}
a(102)=70 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,23,24,25,27,32,33,34,35,37,38,39,40,42,43,44,45,48,49,50,52,57,58,59,60,62,63,64,65,67,68,69,70,73,74,75,77,82,83,84,85,87,88,89,90,92,93,94,95,98,99,100,101,102}
a(103)=70 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,24,25,28,32,33,34,35,37,38,39,40,42,43,44,45,47,49,50,53,57,58,59,60,62,63,64,65,67,68,69,70,72,74,75,78,82,83,84,85,87,88,89,90,92,94,95,97,98,99,100,101,103}
a(104)=70 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,65,67,68,69,70,72,73,74,75,79,82,83,84,85,87,88,90,92,93,94,95,97,98,99,100,101,104}
a(105)=71 from {1,3,4,5,6,7,10,11,12,13,14,17,18,19,20,22,23,24,25,27,28,29,30,37,38,39,40,42,43,44,45,47,48,49,50,52,53,54,55,62,63,64,65,67,68,69,70,72,73,74,75,77,78,79,80,87,88,89,90,92,93,94,95,97,98,99,100,102,103,104,105}
a(106)=71 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,65,66,68,69,70,71,73,74,75,76,78,79,80,84,86,88,90,91,93,94,95,96,98,99,100,101,103,104,105,106}
a(107)=72 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,87,88,89,90,92,93,94,95,97,98,99,100,101,105,106,107}
a(108)=73 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,87,88,89,90,92,93,94,95,97,98,99,100,101,105,106,107,108}
a(109)=73 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,65,66,68,69,70,71,73,74,75,76,78,79,80,84,86,88,90,91,93,94,95,96,98,99,100,101,103,104,105,106,108,109}
a(110)=74 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,26,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,65,66,68,69,70,71,73,74,75,76,78,79,80,84,86,88,90,91,93,94,95,96,98,99,100,101,103,104,105,106,108,109,110}
a(111)=75 from {1,2,3,4,5,8,9,10,11,12,15,17,18,19,20,22,23,24,25,27,28,29,33,34,37,40,42,43,44,45,47,48,49,50,52,53,54,55,58,59,62,65,67,68,69,70,72,73,74,75,77,78,79,80,83,84,87,90,92,93,94,95,97,98,99,100,102,103,104,105,107,108,109,110,111}
a(112)=75 from {1,2,3,4,5,7,8,9,10,12,13,14,15,18,19,20,21,26,28,29,30,31,33,34,35,38,39,41,43,44,45,46,50,51,53,54,55,56,58,59,60,63,64,66,68,69,70,71,75,76,78,79,80,81,83,84,85,88,89,91,93,94,95,96,100,101,103,104,105,106,108,109,110,111,112}
a(113)=76 from {1,2,3,4,5,7,8,9,10,12,14,15,16,17,19,21,24,25,26,27,30,31,32,34,35,37,39,40,41,42,44,46,49,50,51,52,55,56,57,59,60,62,64,65,66,67,69,71,74,75,76,77,80,81,82,84,85,87,89,90,91,92,94,96,99,100,101,102,105,106,107,109,110,111,112,113}
a(114)=77 from {1,2,3,4,6,7,8,9,10,14,15,16,18,19,20,21,23,25,26,28,29,30,31,33,34,39,40,41,43,44,45,46,48,50,51,53,54,55,56,58,59,64,65,66,68,69,70,71,73,75,76,78,79,80,81,83,84,89,90,91,93,94,95,96,98,100,101,103,104,105,106,108,109,111,112,113,114}
a(115)=77 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115}
a(116)=78 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,25,29,32,33,34,35,37,38,39,40,42,43,44,45,47,48,50,54,57,58,59,60,62,63,64,65,67,68,69,70,72,73,75,79,82,83,84,85,87,88,89,90,92,93,94,95,97,98,100,104,107,108,109,110,112,113,114,115,116}
a(117)=78 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117}
a(118)=79 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118}
a(119)=80 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119}
a(120)=81 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120}
a(121)=82 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,30,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,55,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,80,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,105,107,108,109,110,112,113,114,115,117,118,119,120,121}
a(122)=82 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122}
a(123)=83 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123}
a(124)=84 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124}
a(125)=85 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125}
a(126)=86 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,126}
a(127)=86 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127}
a(128)=87 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128}
a(129)=88 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128,129}
a(130)=89 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128,129,130}
a(131)=90 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128,129,130,131}
a(132)=90 from {2,3,4,5,6,8,9,10,11,13,14,15,16,18,19,20,21,23,24,25,26,33,34,35,36,38,39,40,41,43,44,45,46,48,49,50,51,58,59,60,61,63,64,65,66,68,69,70,71,73,74,75,76,83,84,85,86,88,89,90,91,93,94,95,96,98,99,100,101,108,109,110,111,113,114,115,116,118,119,120,121,123,124,125,126,128,129,130,131,132}
a(133)=90 from {1,2,4,5,6,8,9,10,11,13,14,15,16,18,19,20,21,23,24,25,28,31,34,35,36,38,39,40,41,43,44,45,46,48,49,50,53,56,59,60,61,63,64,65,66,68,69,70,71,73,74,75,78,81,84,85,86,88,89,90,91,93,94,95,96,98,99,100,103,106,109,110,111,113,114,115,116,118,119,120,121,123,124,125,126,128,129,130,132,133}
a(134)=90 from {2,3,5,6,7,9,10,11,12,14,15,16,17,19,20,21,22,24,25,26,29,32,35,36,37,39,40,41,42,44,45,46,47,49,50,51,54,57,60,61,62,64,65,66,67,69,70,71,72,74,75,76,79,82,85,86,87,89,90,91,92,94,95,96,97,99,100,101,104,107,110,111,112,114,115,116,117,119,120,121,122,124,125,126,127,129,130,131,133,134}
a(135)=90 from {1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,21,22,23,24,31,32,33,34,36,37,38,39,41,42,43,44,46,47,48,49,56,57,58,59,61,62,63,64,66,67,68,69,71,72,73,74,81,82,83,84,86,87,88,89,91,92,93,94,96,97,98,99,106,107,108,109,111,112,113,114,116,117,118,119,121,122,123,124,126,127,128,129,130,135}
a(136)=91 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128,129,130,131,136}
a(137)=91 from {1,2,3,4,5,7,8,9,10,13,14,15,17,18,19,20,22,23,24,25,27,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,52,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,77,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,102,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,128,129,130,131,132,136,137}
a(138)=92 from {1,2,3,4,6,7,8,9,10,14,15,16,18,19,20,21,23,24,25,26,28,30,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,64,65,66,68,69,70,71,73,74,75,76,78,80,84,86,88,89,90,91,93,94,95,96,98,99,100,101,103,105,109,111,113,114,115,116,118,119,120,121,123,124,125,129,130,131,132,133,135,136,137,138}
a(139)=92 from {2,3,4,5,7,8,9,10,11,15,16,17,19,20,21,22,24,25,26,27,29,31,35,37,39,40,41,42,44,45,46,47,49,50,51,52,54,56,60,62,64,65,66,67,69,70,71,72,74,75,76,77,79,81,85,87,89,90,91,92,94,95,96,97,99,100,101,102,104,106,110,112,114,115,116,117,119,120,121,122,124,125,126,130,131,132,133,134,136,137,138,139}
a(140)=92 from {1,2,3,4,6,7,8,9,10,14,15,16,18,19,20,21,23,24,25,26,28,30,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,64,65,66,68,69,70,71,73,74,75,76,78,80,84,86,88,89,90,91,93,94,95,96,98,99,100,101,103,105,109,111,113,114,116,118,119,120,121,123,124,125,129,130,131,132,133,135,136,137,138,140}
a(141)=92 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,82,83,84,85,87,88,89,90,92,93,94,95,97,98,99,100,107,108,109,110,112,113,114,115,117,118,119,120,122,123,124,125,127,128,129,130,131,136,141}
a(142)=93 from {1,2,3,4,6,7,8,9,10,14,15,16,18,19,20,21,23,24,25,26,28,30,34,36,38,39,40,41,43,44,45,46,48,49,50,51,53,55,59,61,63,64,65,66,68,69,70,71,73,74,75,76,78,80,84,86,88,89,90,91,93,94,95,96,98,99,100,101,103,105,109,111,113,114,116,118,119,120,121,123,124,125,129,130,131,132,133,135,136,137,138,140,142}
a(143)=93 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,84,87,88,89,90,92,93,94,95,97,98,99,100,102,103,105,107,108,109,110,114,119,122,123,124,125,127,128,129,130,132,133,135,136,137,138,140,141,142,143}
a(144)=93 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,83,85,87,88,89,90,92,93,94,95,97,98,99,100,102,104,107,108,109,110,113,115,118,120,122,123,124,125,127,128,129,130,132,134,136,137,139,141,142,144}
a(145)=94 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,84,87,88,89,90,92,93,94,95,97,98,99,100,102,103,105,107,108,109,110,114,119,122,123,124,125,127,128,130,131,132,133,135,136,137,138,140,141,142,143,145}
a(146)=95 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,32,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,57,58,59,60,62,63,64,65,67,68,69,70,72,73,74,75,84,87,88,89,90,92,93,94,95,97,98,99,100,102,103,105,107,108,109,110,114,119,122,123,124,125,127,128,130,131,132,133,135,136,137,138,140,141,142,143,145,146}
a(147)=95 from {1,2,3,4,5,7,8,9,10,12,13,14,15,17,18,19,20,22,23,24,25,33,34,35,37,38,39,40,42,43,44,45,47,48,49,50,52,57,58,59,60,63,64,65,68,69,70,72,73,74,75,77,82,84,87,88,89,90,93,94,95,97,98,99,100,102,103,105,107,108,109,110,112,114,119,123,124,125,127,128,130,131,132,133,135,136,137,138,140,141,142,143,145,146,147}