Gen3[,B,A,Bz,Gen`2[[C^,[B]],l,B,A,Gen`2[[C^,[B]],lC]