Joti Rockwell, Birdcage Flights
Example 7. Three-color subgraph for X,Y ∈ {Tn{0,4,7,10}, Tn{0,3,7}}, P =