ceri#3[[A],[,[],[,[C`1[[A],[,[C]],,[,[ri`3[