The Tower of Stanford: 10956. - John McCarthy 001; Lee Badger; Marc Williams (Am. Math. Mon., 2004)