R
(3,9) > 35, i.e., no red 3-cliques, no blue 9-cliques
*0111110111011110110111101110111110
Back
©
E. Specht
21-Apr-2004