s0->RuleStart_A_1
RuleStart_A_1->BlockStart_7
BlockStart_7->s3
BlockStart_7->s5
s3-'0'->s4
s5-'0'->s6
s4-'x'->BlockEnd_8
s6-'X'->BlockEnd_8
BlockEnd_8->RuleStop_A_2
