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