Aren't A035317, A059259, A080242, A108561, A112555 essentially the same? Or at least deserve some cross-references? R.