# This is the a003002.txt text file.
# a(4)-a(194) from Samuel S. Wagstaff, William Gasarch, J. Wroblewski's web site, and others
# a(195)-a(209) from Fausto A. C. Cariboni, Sep 02 2018
# ---
# Sets of maximal span that yield a(n) for n = 4..209 from Fausto A. C. Cariboni, Sep 02 2018


a(4)=3 from {1,2,4}
a(5)=4 from {1,2,4,5}
a(6)=4 from {1,2,5,6}
a(7)=4 from {1,2,5,7}
a(8)=4 from {1,2,4,8}
a(9)=5 from {1,2,4,8,9}
a(10)=5 from {1,2,4,5,10}
a(11)=6 from {1,2,4,5,10,11}
a(12)=6 from {1,2,4,5,10,12}
a(13)=7 from {1,2,4,5,10,11,13}
a(14)=8 from {1,2,4,5,10,11,13,14}
a(15)=8 from {1,2,4,5,11,12,14,15}
a(16)=8 from {1,2,4,5,11,12,15,16}
a(17)=8 from {1,2,4,5,10,12,13,17}
a(18)=8 from {1,2,4,5,12,13,16,18}
a(19)=8 from {1,2,4,5,11,13,14,19}
a(20)=9 from {1,2,6,7,9,14,15,18,20}
a(21)=9 from {1,2,5,7,10,16,17,20,21}
a(22)=9 from {1,2,4,5,10,14,17,21,22}
a(23)=9 from {1,2,4,5,11,15,16,22,23}
a(24)=10 from {1,2,5,7,11,16,18,19,23,24}
a(25)=10 from {1,2,4,10,11,14,15,22,23,25}
a(26)=11 from {1,3,4,8,9,11,16,20,22,25,26}
a(27)=11 from {1,2,6,8,9,13,19,21,22,26,27}
a(28)=11 from {1,2,4,8,9,11,19,22,23,26,28}
a(29)=11 from {1,2,5,7,10,11,14,16,24,28,29}
a(30)=12 from {1,3,4,8,9,11,20,22,23,27,28,30}
a(31)=12 from {1,2,4,8,9,11,19,22,23,26,28,31}
a(32)=13 from {1,2,5,7,10,11,14,22,24,25,29,31,32}
a(33)=13 from {1,2,5,7,10,11,14,22,24,25,29,31,32}
a(34)=13 from {1,3,4,6,10,12,13,24,26,27,31,32,34}
a(35)=13 from {1,2,5,7,10,11,14,16,24,28,29,33,35}
a(36)=14 from {1,2,5,7,10,11,14,16,24,28,29,33,35,36}
a(37)=14 from {1,2,5,7,10,11,14,16,24,28,29,33,35,36}
a(38)=14 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38}
a(39)=14 from {1,2,4,5,10,11,13,14,28,29,31,32,37,39}
a(40)=15 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40}
a(41)=16 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41}
a(42)=16 from {1,2,4,5,10,11,13,14,29,30,32,33,38,39,41,42}
a(43)=16 from {1,2,4,5,10,11,13,14,29,30,32,33,39,40,42,43}
a(44)=16 from {1,2,4,5,10,11,13,14,28,31,32,35,37,40,41,44}
a(45)=16 from {1,2,4,5,10,11,13,14,30,31,33,34,40,41,44,45}
a(46)=16 from {1,2,4,5,10,11,13,14,29,31,32,34,38,41,43,46}
a(47)=16 from {1,2,4,5,10,11,13,14,28,31,32,35,37,40,44,47}
a(48)=16 from {1,2,4,5,10,11,13,14,28,32,33,35,39,41,44,48}
a(49)=16 from {1,2,4,5,10,11,13,14,28,29,32,34,37,38,41,49}
a(50)=16 from {1,2,4,5,10,11,13,14,28,29,31,35,37,38,40,50}
a(51)=17 from {1,2,5,6,12,14,15,17,21,35,38,39,42,44,47,48,51}
a(52)=17 from {1,2,4,11,12,16,17,19,24,39,40,42,43,48,49,51,52}
a(53)=17 from {1,2,4,5,11,12,15,16,24,35,38,39,42,48,50,51,53}
a(54)=18 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54}
a(55)=18 from {1,2,6,7,9,14,15,18,20,36,37,41,42,44,49,50,53,55}
a(56)=18 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56}
a(57)=18 from {1,2,5,6,13,15,16,18,22,32,40,41,44,45,52,54,55,57}
a(58)=19 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58}
a(59)=19 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58}
a(60)=19 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58}
a(61)=19 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61}
a(62)=19 from {1,2,4,9,12,13,18,19,21,28,39,42,46,48,49,51,58,61,62}
a(63)=20 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63}
a(64)=20 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63}
a(65)=20 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58,65}
a(66)=20 from {1,2,6,8,12,17,19,20,25,27,40,41,45,47,51,56,58,59,64,66}
a(67)=20 from {1,2,5,7,11,16,18,19,23,24,26,38,48,49,54,55,63,64,66,67}
a(68)=20 from {1,2,4,8,9,11,19,22,23,26,28,39,49,53,58,60,61,65,66,68}
a(69)=20 from {1,2,4,5,11,13,14,19,29,30,42,43,48,50,51,61,62,64,68,69}
a(70)=20 from {1,2,4,5,11,13,14,19,31,32,44,46,47,52,54,55,65,67,68,70}
a(71)=21 from {1,3,4,8,9,18,19,23,24,26,31,41,46,50,52,55,57,65,67,70,71}
a(72)=21 from {1,2,4,5,14,16,20,21,25,32,33,42,47,53,55,56,58,66,67,71,72}
a(73)=21 from {1,2,5,6,12,14,15,20,21,31,32,45,46,51,53,54,64,65,67,68,73}
a(74)=22 from {1,2,7,9,10,14,20,22,23,25,29,46,50,52,53,55,61,65,66,68,73,74}
a(75)=22 from {1,2,7,9,10,14,20,22,23,25,29,46,50,52,53,55,61,65,66,68,73,74}
a(76)=22 from {1,2,4,8,9,11,19,22,23,26,28,31,46,56,57,62,63,65,71,72,75,76}
a(77)=22 from {1,2,4,8,9,11,19,22,23,26,31,47,52,55,56,59,67,69,70,74,76,77}
a(78)=22 from {1,2,4,5,10,12,17,21,26,27,34,43,46,54,55,57,61,70,72,73,77,78}
a(79)=22 from {1,2,4,5,10,20,22,26,28,29,31,37,41,49,59,63,65,66,68,74,75,79}
a(80)=22 from {1,2,4,5,10,11,23,24,26,27,34,54,55,59,60,62,68,72,73,75,79,80}
a(81)=22 from {1,2,4,5,10,11,13,23,27,29,30,38,51,61,62,67,68,70,76,77,80,81}
a(82)=23 from {1,2,4,8,9,11,19,22,23,26,28,31,49,57,59,62,63,66,68,71,78,81,82}
a(83)=23 from {1,2,5,6,12,14,20,21,24,25,31,33,51,53,59,62,63,70,74,76,79,80,83}
a(84)=24 from {1,3,4,8,9,16,18,21,22,25,30,37,48,55,60,63,64,67,69,76,77,81,82,84}
a(85)=24 from {1,3,9,10,13,14,26,28,29,33,34,36,41,60,61,64,66,70,75,77,78,82,83,85}
a(86)=24 from {1,3,9,10,13,14,26,28,29,33,34,36,41,60,61,64,66,70,75,77,78,82,83,85}
a(87)=24 from {1,2,4,9,11,12,24,25,27,28,33,40,51,58,61,63,66,67,70,72,80,84,85,87}
a(88)=24 from {1,2,4,8,9,11,19,22,23,26,28,31,32,59,64,66,67,71,72,79,81,82,84,88}
a(89)=24 from {1,2,4,5,13,14,19,20,28,29,31,32,41,64,66,67,71,72,74,79,83,85,88,89}
a(90)=24 from {1,2,4,5,10,11,13,23,27,29,30,32,39,64,66,69,71,75,80,82,83,87,88,90}
a(91)=24 from {1,2,4,5,10,11,13,14,28,30,31,35,36,38,53,64,73,77,79,80,86,88,89,91}
a(92)=25 from {1,2,8,9,12,13,19,21,27,28,31,32,39,58,64,67,68,71,73,81,83,86,87,90,92}
a(93)=25 from {1,2,4,8,9,11,19,22,23,26,28,31,32,64,66,67,71,72,74,83,85,86,90,91,93}
a(94)=25 from {1,2,4,5,10,11,13,23,26,27,30,32,40,61,65,66,68,72,73,84,86,87,91,93,94}
a(95)=26 from {1,2,4,5,10,14,20,22,25,29,31,32,41,55,64,65,67,71,74,76,82,86,91,92,94,95}
a(96)=26 from {1,2,4,8,9,11,19,22,23,26,28,31,32,46,65,67,68,72,74,75,86,87,89,93,94,96}
a(97)=26 from {1,2,4,5,11,13,14,19,28,29,31,32,41,66,67,70,72,75,76,79,87,89,90,94,96,97}
a(98)=26 from {1,2,4,5,10,11,14,22,25,29,31,32,41,64,66,69,70,73,75,83,85,88,89,92,94,98}
a(99)=26 from {1,2,4,5,10,11,14,25,29,31,32,34,42,68,69,71,75,76,78,86,89,90,93,95,98,99}
a(100)=27 from {1,5,7,10,11,14,16,24,26,29,30,33,35,39,66,70,72,75,76,79,81,89,91,94,95,98,100}
a(101)=27 from {1,2,4,8,9,11,19,22,23,26,28,31,32,46,65,67,68,72,74,75,86,87,92,93,95,96,101}
a(102)=27 from {1,3,4,8,10,11,22,23,28,29,31,32,37,49,68,72,74,78,79,81,89,92,93,96,98,101,102}
a(103)=27 from {1,2,4,8,9,13,19,23,26,28,31,32,35,40,46,59,65,74,75,77,82,93,94,96,100,101,103}
a(104)=28 from {1,5,7,10,11,14,16,24,26,29,30,33,35,39,66,70,72,75,76,79,81,89,91,94,95,98,100,104}
a(105)=28 from {1,5,7,10,11,14,16,24,26,29,30,33,35,39,66,70,72,75,76,79,81,89,91,94,95,98,100,104}
a(106)=28 from {1,5,7,10,11,14,16,24,26,29,30,33,35,39,66,70,72,75,76,79,81,89,91,94,95,98,100,104}
a(107)=28 from {1,2,4,5,10,14,20,22,25,29,32,37,41,47,61,67,71,76,79,83,86,88,94,98,103,104,106,107}
a(108)=28 from {1,2,4,8,9,13,21,23,26,27,30,32,35,36,73,74,76,80,81,85,93,95,98,99,102,104,107,108}
a(109)=28 from {1,2,4,5,10,11,13,14,28,30,31,35,36,38,64,78,79,82,84,87,88,91,99,101,102,106,108,109}
a(110)=28 from {1,2,4,5,11,13,14,19,28,29,31,32,38,40,46,70,77,80,82,85,86,89,97,99,103,104,106,110}
a(111)=29 from {1,4,5,8,13,17,19,23,28,31,32,35,40,44,46,68,70,74,81,82,85,86,93,95,99,106,107,110,111}
a(112)=29 from {1,2,5,6,13,17,19,23,30,31,34,35,42,46,48,70,72,76,81,84,85,88,93,97,99,103,108,111,112}
a(113)=29 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,89,90,92,100,103,104,107,109,112,113}
a(114)=30 from {1,2,4,9,12,13,18,19,28,30,31,33,40,45,46,69,70,75,82,84,85,87,96,97,102,103,106,111,113,114}
a(115)=30 from {1,2,5,6,13,17,19,23,30,31,34,35,42,46,48,70,72,76,81,84,85,88,93,97,99,103,108,111,112,115}
a(116)=30 from {1,2,4,9,12,13,18,19,28,30,31,33,40,45,46,69,70,75,82,84,85,87,96,97,102,103,111,113,114,116}
a(117)=30 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,89,90,94,102,104,107,108,111,113,116,117}
a(118)=30 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,84,86,90,91,95,103,105,108,109,112,114,117,118}
a(119)=30 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,86,91,92,94,95,109,110,112,113,118,119}
a(120)=30 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,86,91,92,94,95,109,110,112,113,118,120}
a(121)=31 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,86,91,92,94,95,109,110,112,113,118,119,121}
a(122)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,86,91,92,94,95,109,110,112,113,118,119,121,122}
a(123)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,84,86,87,92,93,95,96,110,111,113,114,119,120,122,123}
a(124)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,84,86,87,92,93,95,96,111,112,114,115,120,121,123,124}
a(125)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,85,86,89,91,94,95,98,109,112,113,116,118,121,122,125}
a(126)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,84,85,87,88,93,94,96,97,112,113,115,116,122,123,125,126}
a(127)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,85,86,88,92,94,95,97,110,113,115,118,119,122,124,127}
a(128)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,85,86,89,91,94,95,98,109,112,116,118,119,121,125,128}
a(129)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,84,86,87,89,93,95,96,98,113,114,116,117,122,124,125,129}
a(130)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,86,91,92,94,95,103,109,110,113,118,119,121,122,130}
a(131)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,83,85,91,92,94,95,104,109,110,112,118,119,121,122,131}
a(132)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,87,88,90,95,96,98,99,112,116,118,119,121,127,131,132}
a(133)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,86,88,91,92,95,97,100,110,113,118,119,121,122,130,133}
a(134)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,82,85,89,91,92,94,98,101,109,112,118,119,121,122,131,134}
a(135)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,84,85,89,90,92,97,98,101,114,115,119,121,122,126,134,135}
a(136)=32 from {1,2,4,5,10,11,13,14,28,29,31,32,37,38,40,41,83,85,86,90,91,93,98,107,112,114,115,119,120,122,127,136}
a(137)=33 from {1,2,4,5,13,15,16,20,23,32,34,37,43,46,47,50,56,83,86,94,100,101,103,104,109,113,121,127,128,130,131,136,137}
a(138)=33 from {1,2,4,5,10,11,13,14,30,31,34,35,41,42,44,45,62,92,96,97,99,104,105,107,108,125,126,128,129,134,135,137,138}
a(139)=33 from {1,2,4,5,10,12,13,17,31,34,35,38,40,43,44,47,62,94,96,97,99,103,105,106,108,124,125,127,128,134,135,138,139}
a(140)=33 from {1,2,4,5,10,11,13,14,30,31,34,35,41,42,44,45,62,95,97,98,100,104,106,107,109,125,126,129,130,136,137,139,140}
a(141)=33 from {1,2,4,5,10,11,13,14,30,31,34,35,41,42,44,45,62,92,96,97,99,104,105,107,108,125,126,128,129,134,137,138,141}
a(142)=33 from {1,2,4,5,10,11,13,14,28,32,34,38,39,41,47,49,61,79,86,91,95,100,101,106,110,113,115,122,127,128,136,137,142}
a(143)=33 from {1,2,4,5,10,11,13,14,29,30,33,39,40,42,43,60,63,92,94,95,101,102,104,105,111,123,129,131,132,134,138,140,143}
a(144)=33 from {1,2,4,5,10,11,13,14,29,30,33,39,40,42,43,60,63,89,95,98,99,104,105,114,117,126,128,131,132,137,140,141,144}
a(145)=34 from {1,5,7,8,10,16,17,20,21,36,38,44,45,47,48,53,57,63,100,102,103,108,111,112,115,117,129,133,135,136,138,142,144,145}
a(146)=34 from {1,2,4,5,10,11,13,14,31,33,36,37,42,44,45,50,66,81,97,102,103,105,110,111,114,116,133,134,136,137,142,143,145,146}
a(147)=34 from {1,2,4,5,10,12,13,27,30,31,36,37,39,40,46,54,63,84,94,97,102,108,109,111,112,117,118,133,135,136,143,144,146,147}
a(148)=34 from {1,2,4,5,10,11,13,14,31,32,35,36,42,44,45,47,64,94,98,100,104,107,109,112,113,125,129,131,134,135,140,142,147,148}
a(149)=34 from {1,2,4,5,10,11,13,14,32,36,37,41,43,47,48,52,66,87,97,101,104,106,110,112,113,117,132,134,135,140,141,143,144,149}
a(150)=35 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,105,108,109,112,117,118,120,121,136,138,139,141,145,147,148,150}
a(151)=35 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,105,108,109,112,117,118,120,121,138,139,141,142,147,148,150,151}
a(152)=35 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,108,109,112,113,119,120,122,123,139,140,142,143,148,149,151,152}
a(153)=35 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,117,118,120,125,126,136,141,142,144,145,150,151,153}
a(154)=35 from {1,2,4,9,11,12,19,24,25,30,40,42,43,45,52,53,57,70,91,106,108,109,111,117,119,120,124,133,141,144,145,150,151,153,154}
a(155)=35 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,108,109,113,116,120,125,128,129,139,144,146,151,152,154,155}
a(156)=35 from {1,2,4,5,11,12,14,31,33,36,38,44,46,47,49,53,66,69,98,108,113,114,116,117,122,123,125,140,141,144,145,151,153,154,156}
a(157)=36 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,145,146,149,154,155,157}
a(158)=36 from {1,3,4,6,12,13,16,17,24,34,38,40,41,43,49,50,53,54,61,71,111,112,114,115,120,122,123,127,137,144,145,148,149,155,156,158}
a(159)=36 from {1,2,4,10,11,14,15,22,32,36,38,39,41,47,48,51,52,59,69,73,112,113,115,121,122,125,126,133,143,147,149,150,152,156,158,159}
a(160)=36 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,108,113,116,120,123,125,128,129,139,146,147,151,152,154,159,160}
a(161)=36 from {1,2,4,5,10,12,13,17,34,35,37,38,45,47,48,50,54,76,101,108,109,112,113,119,121,122,124,128,138,145,146,149,156,158,159,161}
a(162)=36 from {1,2,4,5,10,11,13,14,35,36,40,41,43,48,49,52,54,74,89,109,111,114,115,120,122,123,127,128,149,150,152,153,158,159,161,162}
a(163)=37 from {1,2,4,10,11,14,15,22,32,36,38,39,41,47,48,51,52,59,69,73,112,113,115,121,122,125,126,133,143,147,149,150,152,158,159,162,163}
a(164)=37 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63,113,114,118,126,127,129,130,135,137,149,150,153,155,158,159,162,164}
a(165)=38 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165}
a(166)=38 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165}
a(167)=38 from {1,2,4,9,13,15,18,19,31,33,38,39,41,46,50,52,55,56,68,70,112,113,115,120,124,126,129,130,142,144,149,150,152,153,161,163,166,167}
a(168)=38 from {1,4,5,11,13,14,16,20,30,37,38,41,42,48,50,51,53,57,67,74,112,115,116,122,124,125,127,131,141,148,149,152,153,159,161,162,164,168}
a(169)=39 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165,169}
a(170)=39 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165,169}
a(171)=39 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165,169}
a(172)=39 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63,112,113,116,118,122,127,129,130,135,137,149,150,153,155,159,164,166,167,172}
a(173)=39 from {1,3,8,9,11,16,20,22,25,26,38,40,45,46,48,53,57,59,62,63,112,114,119,120,122,127,131,133,136,137,149,151,156,157,159,164,168,170,173}
a(174)=40 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63,112,113,116,118,122,127,129,130,135,137,149,150,153,155,159,164,166,167,172,174}
a(175)=40 from {1,2,5,7,11,16,18,19,24,26,38,39,42,44,48,53,55,56,61,63,112,113,116,118,122,127,129,130,135,137,149,150,153,155,159,164,166,167,172,174}
a(176)=40 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58,65,112,116,118,119,121,127,128,131,132,139,149,153,155,156,158,164,165,168,169,176}
a(177)=40 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58,65,112,116,118,119,121,127,128,131,132,139,149,153,155,156,158,164,165,168,169,176}
a(178)=40 from {1,5,7,8,10,16,17,20,21,28,38,42,44,45,47,53,54,57,58,65,112,116,118,119,121,127,128,131,132,139,149,153,155,156,158,164,165,168,169,176}
a(179)=40 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,112,113,116,117,123,125,126,128,132,142,149,150,153,154,160,162,163,165,169,179}
a(180)=40 from {1,2,5,6,12,14,15,17,21,31,38,39,42,43,49,51,52,54,58,68,118,120,125,126,128,133,137,139,142,143,155,157,162,163,165,170,174,176,179,180}
a(181)=40 from {1,2,4,9,13,15,18,19,31,33,38,39,41,46,50,52,55,56,68,70,112,113,115,120,124,126,129,130,142,144,149,150,152,157,161,163,166,167,179,181}
a(182)=40 from {1,3,4,6,12,13,16,17,24,34,38,40,41,43,49,50,53,54,61,71,112,114,115,117,123,124,127,128,135,145,149,151,152,154,160,161,164,165,172,182}
a(183)=40 from {1,2,6,8,12,17,19,20,25,27,40,41,45,47,51,56,58,59,64,66,118,119,123,125,129,134,136,137,142,144,157,158,162,164,168,173,175,176,181,183}
a(184)=40 from {1,2,4,8,18,25,26,29,30,36,38,39,41,45,55,62,63,66,67,73,112,113,115,119,129,136,137,140,141,147,149,150,152,156,166,173,174,177,178,184}
a(185)=40 from {1,2,4,8,17,19,20,25,27,28,40,41,45,47,51,56,58,59,64,68,123,125,130,131,133,138,142,144,147,148,160,162,167,168,170,175,179,181,184,185}
a(186)=40 from {1,2,4,8,18,25,26,29,30,36,38,39,41,45,55,62,63,66,67,73,113,115,119,129,136,137,140,141,147,149,150,152,156,166,173,174,177,178,184,186}
a(187)=40 from {1,2,4,8,18,25,26,29,30,36,38,39,41,45,55,62,63,66,67,73,112,115,119,129,136,137,140,141,147,149,150,152,156,166,173,174,177,178,184,187}
a(188)=40 from {1,2,4,5,13,14,19,20,31,32,46,47,52,53,55,56,70,71,76,77,112,113,115,116,124,125,130,131,142,143,157,158,163,164,166,167,181,182,187,188}
a(189)=40 from {1,2,4,8,18,25,26,29,30,36,38,39,41,45,55,62,63,66,67,73,112,113,119,129,136,137,140,141,147,149,150,152,156,166,173,174,177,178,184,189}
a(190)=40 from {1,2,4,5,10,14,17,21,22,31,46,49,50,53,55,63,65,66,68,74,123,133,137,139,140,142,148,149,152,153,160,170,174,176,177,179,185,186,189,190}
a(191)=40 from {1,2,4,5,13,19,20,23,29,31,32,46,47,50,52,55,66,67,70,76,116,122,125,126,137,140,142,145,146,160,161,163,169,172,173,179,187,188,190,191}
a(192)=40 from {1,2,4,5,11,14,16,32,37,39,40,44,45,52,54,55,57,61,81,95,114,124,126,127,131,137,139,142,144,155,156,163,165,169,172,177,178,180,190,192}
a(193)=40 from {1,2,4,5,12,13,16,17,26,38,43,45,49,54,56,57,61,62,80,83,126,130,131,135,137,142,145,146,152,163,168,170,171,175,176,183,185,186,192,193}
a(194)=41 from {1,3,7,8,14,16,17,22,23,40,44,46,47,49,55,59,60,62,67,68,83,132,134,139,140,142,147,151,153,156,157,169,171,176,177,179,184,188,190,193,194}
a(195)=41 from {1,2,5,7,15,17,20,22,26,31,41,46,48,49,53,54,63,64,68,69,71,128,138,142,144,145,147,153,154,157,158,165,175,179,181,182,184,190,191,194,195}
a(196)=41 from {1,2,5,7,15,17,20,22,26,31,41,46,48,49,53,54,63,64,68,69,71,128,138,142,144,145,147,153,154,157,158,165,175,179,181,182,184,190,191,194,195}
a(197)=41 from {1,2,5,7,15,17,20,22,26,31,41,46,48,49,53,54,63,64,68,69,71,128,138,142,144,145,147,153,154,157,158,165,175,179,181,182,184,190,191,194,195}
a(198)=41 from {1,2,5,6,13,15,18,19,22,27,40,47,50,51,56,57,66,68,69,71,77,128,138,142,144,145,147,154,155,158,159,167,177,181,183,184,186,193,194,197,198}
a(199)=41 from {1,2,4,8,9,11,19,22,23,26,28,39,49,53,58,60,61,65,66,68,86,137,138,141,143,147,152,154,155,160,162,174,175,178,180,184,189,191,192,197,199}
a(200)=41 from {1,2,4,5,12,14,17,18,21,42,46,48,51,52,59,61,64,65,68,73,89,93,133,143,147,149,150,152,158,159,162,163,170,180,186,187,189,195,196,199,200}
a(201)=41 from {1,2,4,8,9,11,19,23,24,28,43,50,51,53,60,61,65,66,68,73,88,139,141,146,147,149,154,158,160,163,164,176,178,183,184,186,191,195,197,200,201}
a(202)=41 from {1,2,4,5,10,20,22,26,28,29,31,37,41,49,59,63,65,66,68,74,79,86,118,133,137,145,149,151,155,158,164,166,175,178,182,185,193,194,196,197,202}
a(203)=41 from {1,2,4,5,10,17,20,22,25,31,41,47,55,56,59,64,67,68,76,82,86,115,137,138,140,145,146,149,156,157,164,173,178,181,185,186,193,195,196,202,203}
a(204)=42 from {1,3,4,6,13,15,18,19,31,36,45,46,51,52,55,60,62,63,67,70,76,129,135,138,142,143,145,150,153,154,159,160,169,174,186,187,190,192,199,201,202,204}
a(205)=42 from {1,2,7,9,10,14,20,22,23,25,29,46,50,52,53,55,61,65,66,68,73,74,89,140,142,143,148,150,159,162,163,166,179,180,185,187,188,193,200,202,203,205}
a(206)=42 from {1,3,4,6,12,16,17,19,24,25,48,50,51,55,56,58,63,67,69,73,74,89,138,139,141,146,149,150,155,156,158,165,179,183,185,186,188,194,195,198,199,206}
a(207)=42 from {1,2,4,8,9,11,19,22,23,26,28,31,46,56,57,62,63,65,71,72,75,76,145,147,152,153,155,160,164,166,169,170,182,184,189,190,192,197,201,203,206,207}
a(208)=42 from {1,3,4,6,10,13,18,24,43,48,50,54,55,61,63,64,66,70,75,81,88,91,111,143,145,150,151,153,154,160,162,182,183,187,188,190,196,200,201,203,207,208}
a(209)=43 from {1,2,7,9,10,14,20,22,23,25,29,46,50,52,53,55,61,65,66,68,73,74,89,140,142,143,148,150,159,162,163,166,179,180,185,187,188,193,200,202,203,205,209}