[math-fun] A257007 in three different contexts (?)