# 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}