[math-fun] German Shorthair Pointer, Paris-Harrington theorem

German Shorthair Pointer, Paris-Harrington theorem http://en.wikipedia.org/wiki/Paris-Harrington_theorem http://en.wikipedia.org/wiki/German_Shorthaired_Pointer This is one of the longest well-mixed transposals in Wikipedia. --Ed Pegg Jr