# This is the a210570.txt text file.
# a(1)-a(24) from Rob Pratt, Sep 17 2007, see a100719
# a(17)-a(31) from Giovanni Resta, Dec 21 2012
# a(32)-a(58) from Jon E. Schoenfield, Dec 28 2013
# a(59)-a(66) from Fausto A. C. Cariboni, Nov 28 2018
# a(67)-a(74) from Fausto A. C. Cariboni, Feb 03 2019
# ---
# Sets that yield a(n) for n = 2..74 from Fausto A. C. Cariboni, Feb 03 2019


a(2)=3 from {1,3}
a(3)=6 from {1,3,6}
a(4)=8 from {1,3,6,8}
a(5)=11 from {1,3,6,8,11}
a(6)=13 from {1,3,6,8,11,13}
a(7)=16 from {1,3,6,8,11,13,16}
a(8)=18 from {1,3,6,8,11,13,16,18}
a(9)=21 from {1,3,6,8,11,13,16,18,21}
a(10)=23 from {1,3,6,8,11,13,16,18,21,23}
a(11)=35 from {1,3,6,8,11,13,16,18,21,23,35}
a(12)=38 from {1,4,6,9,11,14,16,21,28,33,35,38}
a(13)=43 from {1,3,6,9,11,14,16,21,33,35,38,40,43}
a(14)=48 from {1,3,6,8,11,14,16,21,35,38,40,43,45,48}
a(15)=53 from {1,3,6,8,11,14,16,21,35,38,40,43,45,48,53}
a(16)=58 from {1,3,6,8,11,14,16,21,35,38,40,43,45,48,53,58}
a(17)=66 from {1,3,6,8,11,13,16,18,21,23,35,40,45,53,58,63,66}
a(18)=68 from {1,3,6,8,11,13,16,18,21,23,35,40,45,53,58,63,66,68}
a(19)=71 from {1,3,6,8,11,13,16,18,21,23,40,45,51,53,58,63,66,68,71}
a(20)=73 from {1,3,6,8,11,13,16,18,21,23,40,45,51,53,58,63,66,68,71,73}
a(21)=81 from {1,3,6,8,11,13,16,18,21,23,40,51,53,58,61,63,66,68,71,73,81}
a(22)=86 from {1,3,6,8,14,16,21,27,29,34,40,47,53,58,60,66,68,71,73,79,81,86}
a(23)=92 from {1,7,9,12,14,20,22,27,33,35,40,46,53,59,64,66,72,74,77,79,85,87,92}
a(24)=97 from {1,3,6,8,13,18,20,23,25,30,35,40,47,53,58,68,73,75,80,85,90,92,95,97}
a(25)=102 from {1,3,6,8,11,13,18,23,25,30,35,40,45,58,63,68,73,78,80,85,90,95,97,100,102}
a(26)=107 from {1,3,6,8,11,13,18,23,25,30,35,40,45,63,68,73,78,80,83,85,90,95,97,100,102,107}
a(27)=112 from {1,3,8,11,13,16,18,21,23,35,40,42,45,53,55,66,68,73,83,88,90,95,100,105,107,110,112}
a(28)=118 from {1,3,8,11,14,16,21,29,31,34,42,48,53,55,61,66,68,74,76,79,81,87,94,100,105,107,113,118}
a(29)=120 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120}
a(30)=125 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120,125}
a(31)=131 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120,125,131}
a(32)=133 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120,125,131,133}
a(33)=138 from {1,3,6,8,13,16,21,27,34,40,45,47,53,58,60,66,68,71,73,79,86,92,99,105,110,112,118,123,125,131,133,136,138}
a(34)=144 from {1,3,6,8,13,16,21,27,34,40,45,47,53,58,60,66,68,71,73,79,86,92,99,105,110,112,118,123,125,131,133,136,138,144}
a(35)=146 from {1,3,6,8,14,16,21,27,29,34,40,47,53,58,60,66,68,71,73,79,81,86,92,99,105,112,118,123,125,131,133,136,138,144,146}
a(36)=151 from {1,3,6,8,14,16,21,27,29,34,40,47,53,58,60,66,68,71,73,79,81,86,92,99,105,112,118,123,125,131,133,136,138,144,146,151}
a(37)=157 from {1,3,6,8,14,16,21,27,29,34,40,47,53,58,60,66,68,71,73,79,81,86,92,99,105,112,118,123,125,131,133,136,138,144,146,151,157}
a(38)=159 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120,125,131,133,138,144,146,151,157,159}
a(39)=164 from {1,3,8,14,16,21,27,29,34,40,42,47,53,55,60,66,68,73,79,81,86,92,94,99,105,107,112,118,120,125,131,133,138,144,146,151,157,159,164}
a(40)=189 from {1,3,9,14,16,22,24,27,29,35,46,48,53,59,61,66,72,74,79,85,87,92,98,100,106,111,113,118,126,133,139,144,152,157,163,165,176,184,186,189}
a(41)=199 from {1,4,7,9,12,14,19,31,36,38,41,49,51,59,62,64,69,79,81,86,96,103,110,116,124,127,129,134,137,142,144,147,155,161,166,168,187,189,192,194,199}
a(42)=203 from {1,3,6,8,11,13,16,18,21,23,35,45,53,56,58,63,66,68,73,76,90,95,114,128,133,136,138,141,143,146,148,151,181,183,186,188,191,193,196,198,201,203}
a(43)=206 from {1,3,6,8,11,13,16,18,21,23,40,51,53,58,61,63,66,68,71,73,81,95,114,126,128,133,136,138,141,143,146,148,156,183,186,188,191,193,196,198,201,203,206}
a(44)=208 from {1,3,6,8,11,13,16,18,21,23,40,51,53,61,63,66,68,71,73,81,83,95,114,126,128,136,138,141,143,146,148,156,158,169,186,188,191,193,196,198,201,203,206,208}
a(45)=219 from {1,4,6,9,11,14,16,28,33,35,46,48,54,56,59,66,76,83,86,89,94,100,107,113,121,124,126,131,134,139,141,144,161,163,168,174,182,196,201,206,209,211,214,216,219}
a(46)=223 from {1,3,6,8,11,16,18,21,23,35,38,49,56,61,66,73,76,78,83,88,90,93,96,107,117,128,131,134,136,141,146,148,151,158,163,168,186,189,191,201,203,206,208,213,221,223}
a(47)=236 from {1,3,9,14,16,21,24,29,31,36,42,48,55,66,68,76,79,81,86,89,94,96,99,113,127,134,141,144,151,154,156,161,164,171,174,182,188,195,201,206,209,214,216,219,221,229,236}
a(48)=242 from {1,4,6,9,11,14,16,19,21,24,38,48,51,59,61,66,69,72,79,89,96,99,107,113,120,126,131,134,139,144,146,152,154,157,174,176,181,191,204,209,211,214,219,222,224,232,237,242}
a(49)=248 from {1,3,6,9,11,14,16,21,33,38,40,51,53,59,61,64,71,81,83,88,91,94,105,112,118,126,129,131,136,139,144,146,149,163,166,168,173,187,201,206,211,214,216,219,221,224,243,245,248}
a(50)=253 from {1,3,6,8,11,14,25,32,35,38,43,46,49,56,73,76,83,86,88,91,94,115,118,121,123,126,128,133,136,160,163,166,168,171,174,181,195,198,203,205,208,216,222,229,240,243,246,248,251,253}
a(51)=258 from {1,3,6,8,11,14,16,29,34,40,46,48,51,53,61,66,68,74,81,88,94,96,118,120,126,128,131,133,139,141,159,165,171,176,179,186,193,200,206,213,219,221,224,227,234,245,248,251,253,256,258}
a(52)=263 from {1,3,6,8,11,13,18,25,30,35,45,48,53,56,58,63,76,86,91,93,104,110,115,121,123,128,133,136,141,143,154,160,171,173,178,181,188,195,201,208,216,219,229,234,239,246,251,253,256,258,261,263}
a(53)=266 from {1,3,6,8,11,13,18,25,30,35,45,48,53,56,58,63,76,86,91,93,104,110,115,121,123,128,133,136,141,143,154,160,171,173,178,181,188,195,201,208,216,219,229,234,239,246,251,253,256,258,261,263,266}
a(54)=269 from {1,4,6,9,11,14,16,21,28,33,38,48,51,56,59,61,66,79,89,94,96,107,113,118,124,126,131,136,139,144,146,157,163,174,176,181,184,191,198,204,211,219,222,232,237,242,249,254,256,259,261,264,266,269}
a(55)=283 from {1,3,6,9,11,16,23,30,33,38,40,43,51,57,71,78,81,83,86,88,91,98,105,118,126,128,131,136,146,148,158,163,165,168,176,189,196,203,206,208,211,213,216,223,237,243,251,254,256,261,264,266,271,278,283}
a(56)=285 from {1,3,6,9,11,16,23,30,33,38,40,43,51,57,71,78,81,83,86,88,91,98,105,118,126,128,131,136,146,148,158,163,165,168,176,189,196,203,206,208,211,213,216,223,237,243,251,254,256,261,264,266,271,278,283,285}
a(57)=288 from {1,4,6,11,18,23,25,28,33,35,38,46,52,66,73,76,78,81,83,86,93,100,113,121,124,126,131,141,143,153,158,161,163,171,184,191,198,201,203,206,208,211,218,232,238,246,249,251,256,259,266,273,278,280,283,286,288}
a(58)=293 from {1,3,6,9,11,16,23,30,33,38,40,43,51,57,64,71,78,81,83,86,88,91,98,105,118,126,129,131,136,146,148,158,163,166,168,176,189,196,203,206,211,213,216,223,237,243,251,254,256,261,264,271,278,283,285,288,291,293}
a(59)=311 from {1,3,6,8,11,14,16,29,34,46,48,51,56,61,68,85,88,91,96,99,102,109,126,128,131,133,136,139,141,154,159,171,174,176,181,186,193,213,216,219,221,224,227,234,248,251,256,258,261,266,269,279,289,296,299,301,306,309,311}
a(60)=314 from {1,4,6,9,11,14,16,19,33,43,46,51,54,56,61,64,88,91,94,96,99,102,123,126,129,131,134,136,141,144,168,171,174,176,179,181,186,189,203,213,216,221,224,227,248,251,254,256,259,261,266,269,283,296,301,304,306,309,311,314}
a(61)=323 from {1,3,6,11,13,18,23,25,30,51,53,56,58,63,68,73,80,86,91,97,108,114,121,126,128,131,136,138,143,148,160,166,171,181,183,188,193,198,203,205,211,216,233,240,246,251,253,261,263,268,273,291,294,296,301,306,308,313,318,320,323}
a(62)=328 from {1,3,6,8,11,13,16,18,21,23,35,45,53,56,58,63,66,68,73,76,90,95,114,128,133,136,138,141,143,146,148,151,181,183,186,188,191,193,196,198,201,203,253,256,261,263,266,268,271,273,276,294,306,308,311,313,316,318,321,323,326,328}
a(63)=331 from {1,3,6,8,11,13,16,18,21,23,40,51,53,58,61,63,66,68,71,73,81,95,114,126,128,133,136,138,141,143,146,148,156,183,186,188,191,193,196,198,201,203,206,251,253,261,263,266,268,271,273,281,294,308,311,313,316,318,321,323,326,328,331}
a(64)=334 from {1,4,6,9,11,14,16,19,21,24,43,51,54,61,64,66,69,71,74,81,84,98,126,129,131,136,139,141,144,146,149,159,176,186,189,191,194,196,199,204,206,209,237,251,254,261,264,266,269,271,274,281,284,292,311,314,316,319,321,324,326,329,331,334}
a(65)=343 from {1,3,6,8,11,14,16,21,35,38,45,48,56,59,62,69,76,83,86,88,91,93,96,110,128,131,134,136,139,141,149,151,163,171,173,181,184,194,201,208,211,216,218,221,223,229,242,253,256,261,266,268,274,276,288,296,298,309,319,326,331,333,336,341,343}
a(66)=346 from {1,3,6,8,11,14,16,21,35,38,45,48,56,59,62,69,76,83,86,88,91,93,96,110,128,131,134,136,139,141,149,151,163,171,173,181,184,194,201,208,211,216,218,221,223,229,242,253,256,261,266,268,274,276,288,296,298,309,319,326,331,333,336,341,343,346}
a(67)=354 from {1,3,6,8,11,14,16,21,35,38,43,45,48,56,62,69,76,83,86,88,91,93,96,110,128,131,134,136,139,141,149,151,163,168,171,173,181,194,201,208,211,216,218,221,223,229,242,253,256,261,266,274,276,288,296,298,309,319,326,331,333,336,341,343,346,348,354}
a(68)=371 from {1,3,8,14,22,25,27,32,46,49,51,56,59,70,73,80,83,88,94,107,112,118,126,131,133,136,139,150,157,160,163,168,174,181,187,192,198,205,211,216,219,222,229,240,243,246,248,253,261,267,272,285,291,296,299,306,309,320,323,328,330,333,341,347,352,354,365,371}
a(69)=376 from {1,3,8,14,22,25,27,32,46,49,51,56,59,70,73,80,83,88,94,107,112,118,126,131,133,136,139,150,157,160,163,168,174,181,187,192,198,205,211,216,219,222,229,240,243,246,248,253,261,267,272,285,291,296,299,306,309,320,323,328,330,333,341,347,352,354,365,371,376}
a(70)=378 from {1,3,8,14,22,25,27,32,46,49,51,56,59,70,73,80,83,88,94,107,112,118,126,131,133,136,139,150,157,160,163,168,174,181,187,192,198,205,211,216,219,222,229,240,243,246,248,253,261,267,272,285,291,296,299,306,309,320,323,328,330,333,341,347,352,354,365,371,376,378}
a(71)=386 from {1,3,6,8,11,14,16,21,38,40,43,48,51,53,58,61,71,81,91,93,99,105,113,123,126,128,131,133,136,146,166,168,173,176,178,188,196,206,208,211,216,218,238,248,251,253,256,258,261,271,279,285,291,293,298,313,326,331,333,336,341,344,346,354,368,373,376,378,381,383,386}
a(72)=389 from {1,4,6,9,11,14,19,24,41,43,46,51,54,56,61,64,74,84,94,96,102,108,116,126,129,131,134,136,139,149,169,171,176,179,181,186,191,199,209,214,219,221,241,251,254,256,259,261,264,274,282,288,294,296,301,306,316,329,334,336,339,344,347,349,357,371,376,379,381,384,386,389}
a(73)=396 from {1,3,6,8,11,13,18,21,23,40,51,53,58,61,63,66,68,71,81,95,98,105,116,126,128,133,136,138,143,146,160,173,178,183,188,191,193,201,206,211,221,223,251,253,256,258,261,263,266,271,284,298,303,308,316,318,326,331,336,338,346,349,359,373,376,378,381,383,386,388,391,393,396}
a(74)=398 from {1,3,6,8,11,13,18,21,23,40,51,53,61,63,66,68,71,73,81,83,105,116,126,128,131,133,136,138,143,146,148,160,178,188,191,193,198,201,206,208,211,221,239,251,253,256,261,263,266,268,271,273,283,294,313,316,318,326,328,331,333,336,346,348,359,376,378,381,386,388,391,393,396,398}