import CLRSLean.Chapter_34.Section_34_4_NP_Completeness_Proofs.GeneralClique.Encoding.Length
Imports the canonical encoders, complete parsers, and their round-trip laws.