# This is the a003003.txt text file.
# a(5)-a(52) from Samuel S. Wagstaff, 1972.
# a(53)-a(112) from Z. Shao, F. Deng, M. Liang, X. Xu, 2012.
# a(113)-a(123) from Fausto A. C. Cariboni, Apr 08 2018
# a(124)-a(142) from Fausto A. C. Cariboni, Jun 15 2018
# Sets with n that yield a(n) for n = 5..142 from Fausto A. C. Cariboni, Apr 08 2018, Jun 15 2018

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