1 q0 1 x1 0 1 q1 x1 1 q0 0 x1 0 0 q1 x1 1 q1 1 x1 1 1 q1 x1 1 q1 0 x1 1 0 q1 x1 0 q1 x1 q2 1 x1 1 q2 x1 q2 1 x1 0 q2 x1 0 q0 x1 1 1 q0 1 0 1 q1 1 q2 1 FULL ./SRS/Marche/turing_add.srs