R(4,5) > 24, i.e., no red 4-cliques, no blue 5-cliques



*00101110011111001110100

Back


©  E. Specht     12-Mar-2003