theory Hypergraph_Colourings_Root imports Hypergraph_Colourings Basic_Bounds_Application LLL_Applications begin end