[math-fun] Eulerian triangle mod 6, 7