control 360: L -> T 1 epimorphisms; <A,B,C,F> -> T 1
control 168: L -> T 2 epimorphisms; <A,B,C,F> -> T 1
