[axioms]

# [AAABB]
1 = ["AAAXBB"]

# X->AY

[rules]

#C1

ZX->Xp0,2
p0->p0p1,3
p1->p1A,5
p0p1->,4
p3->p3p4,4
p3->p3Y,2

X->Xq0,2
q0->q0q1,3
q1->q1Y,4

S'->S'h,2
AB->,2
CD->,2

2,X->
2,p2p3->

2,X->
2,EF->
2,S'h->

3,p1->p1p5
3,q1->q1B

4,p2->p2p3
4,p4p5->
4,q0q1->

5,A->Ap2
