A000670 A008277 A143494 A143495 A143496 A232472 A232473 A232474