This integer sequence won an award at #jmm14 and is also the shortest entry in the OEIS (I think) oeis.org/A235383