koda_ruskey_KodaRuskey_Spec_sub_valid_coloring_1.v 12.3 KB