  The conjecture that the orbit-counting generating function for totally
symmetric plane partitions can be written as an explicit product formula, has
been stated independently by George Andrews and David Robbins around 1983. We
present a proof of this long-standing conjecture.
