Circuit format spec details: coexisting subcircuits and gates

[sixbigsquare]

https://github.com/Zklib/gkr-compiler/blob/8d293ffda2f9b0baf32eb0b2f97d416ae3da888a/docs/artifact_and_serialization.md?plain=1#L39-L49

So confirming, when both subcircuits and gates exists (e.g. #SubCircuit=1 and #GateAdd=3200), it means the circuit contains those gates without repetitions, plus the repeated subcircuits?