symb q; tdg q1; | s q1; symb q; t q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q1; symb q; t q1; | tdg q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; tdg q0; | t q1; symb q; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; sdg q1; tdg q0; | t q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; symb q; | tdg q0; symb q; t q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q1; tdg q0; | t q1; tdg q0; symb q; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q0; symb q; t q0; | t q0; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; t q1; | t q1; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q0; symb q; tdg q0; | t q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; sdg q0; symb q; | sdg q0; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; symb q; s q0; | symb q; s q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q0; s q1; symb q; | symb q; s q1; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; tdg q0; | t q0; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q0; | tdg q1; symb q; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q1; symb q; t q0; | t q0; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
t q0; tdg q1; symb q; | tdg q1; symb q; t q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q1; symb q; | tdg q1; symb q; tdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; | t q0; symb q; t q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; tdg q1; | tdg q1; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q1; symb q; t q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; s q0; tdg q1; | tdg q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q0; sdg q1; symb q; | sdg q1; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q1; t q0; symb q; | t q0; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; t q0; | s q1; symb q; tdg q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q1; t q0; symb q; | t q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
s q1; symb q; | t q1; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; sdg q1; symb q; | symb q; s q1; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q1; symb q; s q0; | symb q; s q0; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q1; symb q; t q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; sdg q1; tdg q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; h q0; tdg q1; | tdg q1; symb q; h q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; sdg q1; symb q; | symb q; sdg q0; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q0; symb q; t q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; h q0; tdg q1; | t q0; symb q; h q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; tdg q1; symb q; | tdg q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; symb q; t q1; | tdg q0; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
s q1; symb q; t q0; | tdg q0; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; | tdg q1; symb q; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
t q0; tdg q1; symb q; | tdg q1; symb q; t q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
symb q; t q0; | t q0; symb q; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; tdg q1; | tdg q0; symb q; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
symb q; sdg q0; t q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; symb q; s q0; | symb q; s q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; symb q; h q0; | symb q; h q0; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; t q0; symb q; | t q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q1; symb q; tdg q0; | t q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q0; symb q; | t q0; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; sdg q1; symb q; | sdg q1; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q1; t q0; symb q; | t q0; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q1; t q0; symb q; | t q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q0; symb q; s q0; | symb q; s q0; s q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q1; symb q; t q0; | t q0; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q0; sdg q1; symb q; | sdg q1; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q1; symb q; | symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; t q1; | t q0; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; s q0; tdg q1; | t q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q0; sdg q1; symb q; | symb q; s q1; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q0; sdg q1; symb q; | symb q; s q0; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; tdg q1; | t q1; tdg q0; symb q; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; tdg q0; symb q; | tdg q0; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; t q0; tdg q1; | tdg q0; tdg q1; symb q; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; h q1; tdg q0; | tdg q1; symb q; h q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
s q1; tdg q0; symb q; | tdg q0; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; s q0; tdg q1; | tdg q0; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q1; sdg q0; symb q; | symb q; sdg q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; symb q; h q1; | symb q; h q1; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q1; sdg q0; symb q; | symb q; s q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q0; symb q; tdg q1; | t q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; sdg q0; tdg q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; | sdg q1; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; t q0; t q1; | t q1; tdg q0; symb q; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q0; symb q; t q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; h q0; t q1; | tdg q0; symb q; h q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; tdg q0; tdg q1; | t q1; tdg q0; symb q; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; symb q; | tdg q0; symb q; t q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; sdg q1; symb q; | sdg q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; sdg q1; t q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q1; symb q; | symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q0; symb q; t q1; | tdg q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q0; symb q; | tdg q0; symb q; tdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
symb q; tdg q1; | tdg q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; tdg q0; | sdg q0; symb q; t q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
s q1; sdg q0; symb q; | sdg q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q1; | sdg q0; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; symb q; h q1; | symb q; h q1; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; | tdg q1; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; sdg q1; tdg q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; symb q; tdg q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; | t q0; symb q; t q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; symb q; s q1; | symb q; s q1; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; s q1; tdg q0; | tdg q1; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; sdg q1; symb q; | symb q; sdg q0; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; t q0; tdg q1; | t q0; t q1; symb q; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
t q1; tdg q0; symb q; | tdg q0; symb q; t q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; | tdg q0; symb q; tdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q1; s q1; symb q; | symb q; sdg q0; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; tdg q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q1; symb q; s q0; | symb q; s q0; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
tdg q0; tdg q1; symb q; | tdg q1; symb q; tdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q0; symb q; tdg q1; | tdg q0; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; sdg q0; symb q; | symb q; sdg q1; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; t q0; | t q0; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q1; tdg q0; symb q; | tdg q0; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q1; symb q; tdg q1; | tdg q0; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; symb q; t q1; | t q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
t q1; tdg q0; symb q; | tdg q0; symb q; tdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; t q1; tdg q0; | t q1; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q1; symb q; | tdg q1; symb q; t q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q1; symb q; s q0; | symb q; s q0; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; tdg q1; | t q0; tdg q1; symb q; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q1; tdg q0; symb q; | tdg q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q1; symb q; t q1; | tdg q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q0; t q1; | t q0; t q1; symb q; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; h q0; t q1; | t q1; symb q; h q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q1; symb q; | t q1; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q1; | tdg q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
tdg q0; tdg q1; symb q; | tdg q1; symb q; t q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; t q0; | sdg q0; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q1; s q1; symb q; | symb q; sdg q1; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; t q1; | tdg q1; symb q; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
t q1; tdg q0; symb q; | tdg q0; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; sdg q0; symb q; | symb q; s q1; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; h q1; t q0; | t q0; symb q; h q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; symb q; h q1; | symb q; h q1; s q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; tdg q0; tdg q1; | t q0; t q1; symb q; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; sdg q1; t q0; | t q0; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; symb q; t q0; | t q1; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; s q0; | symb q; s q0; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q1; symb q; | t q1; symb q; t q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
s q0; tdg q1; symb q; | tdg q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; tdg q0; | tdg q0; symb q; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; t q1; | t q0; symb q; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q1; symb q; | symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q1; symb q; | t q1; symb q; tdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q1; symb q; tdg q1; | t q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; h q1; t q0; | tdg q1; symb q; h q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; t q1; symb q; | t q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
s q1; tdg q0; symb q; | tdg q0; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q0; tdg q1; symb q; | tdg q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; symb q; h q1; | symb q; h q1; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
t q0; t q1; symb q; | t q1; symb q; t q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q0; sdg q1; symb q; | sdg q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
s q0; symb q; tdg q1; | t q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; tdg q0; | sdg q1; symb q; t q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; t q1; | s q0; symb q; tdg q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; symb q; | t q0; symb q; tdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; tdg q1; | s q0; symb q; t q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
s q1; s q1; symb q; | symb q; s q1; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; symb q; tdg q1; | t q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
s q0; s q1; symb q; | s q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q0; s q0; symb q; | symb q; s q1; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; symb q; t q0; | t q1; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
tdg q0; tdg q1; symb q; | tdg q1; symb q; tdg q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; symb q; tdg q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q1; | t q0; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; symb q; sdg q0; | symb q; sdg q0; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q1; symb q; h q0; | symb q; h q0; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q0; tdg q1; symb q; | tdg q1; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; t q1; | tdg q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q1; symb q; t q1; | t q0; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; tdg q0; | t q0; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; t q0; t q1; | t q0; tdg q1; symb q; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; | symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
s q0; sdg q1; symb q; | symb q; s q0; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q0; symb q; tdg q0; | tdg q1; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; tdg q1; | t q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q0; t q1; symb q; | t q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
s q0; symb q; tdg q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; h q0; | symb q; h q0; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q1; symb q; | tdg q1; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; h q1; tdg q0; | t q1; symb q; h q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q1; symb q; t q1; | t q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q0; sdg q1; symb q; | sdg q1; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q1; sdg q0; symb q; | symb q; s q0; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
t q0; t q1; symb q; | t q1; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; s q1; symb q; | s q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q1; tdg q0; | tdg q0; tdg q1; symb q; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; t q1; | sdg q0; symb q; tdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q1; symb q; tdg q1; | tdg q0; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; symb q; tdg q0; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q0; symb q; t q1; | t q1; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q1; symb q; h q1; | symb q; h q1; s q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; h q1; tdg q0; | t q0; symb q; h q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
symb q; sdg q1; t q0; | t q1; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; t q1; | t q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q1; sdg q1; symb q; | symb q; sdg q1; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q0; | t q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
s q1; sdg q0; symb q; | symb q; s q1; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; tdg q0; | s q1; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q0; s q1; symb q; | symb q; s q0; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; s q1; t q0; | t q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
s q1; symb q; h q0; | symb q; h q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; t q0; | t q1; symb q; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; symb q; h q1; | symb q; h q1; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q0; t q1; symb q; | t q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q0; symb q; tdg q0; | t q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q1; symb q; tdg q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; h q1; t q0; | tdg q0; symb q; h q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
symb q; t q1; | tdg q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; t q0; tdg q1; | tdg q0; symb q; t q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; | symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; tdg q1; symb q; | tdg q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
s q1; symb q; t q1; | tdg q0; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; tdg q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q0; s q1; symb q; | symb q; sdg q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; s q1; t q0; | tdg q1; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; t q0; | tdg q0; symb q; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q1; sdg q0; symb q; | sdg q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; tdg q0; | t q0; symb q; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; t q1; | sdg q1; symb q; tdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; h q0; t q1; | t q0; symb q; h q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q1; symb q; sdg q0; | symb q; sdg q0; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q1; tdg q0; symb q; | tdg q0; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; t q0; t q1; | tdg q1; symb q; t q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; t q1; tdg q0; | tdg q0; symb q; t q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; tdg q0; | tdg q0; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
s q0; t q1; symb q; | t q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; s q1; tdg q0; | t q0; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; symb q; | symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; symb q; tdg q0; | tdg q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; symb q; | symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; s q1; tdg q0; | t q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
s q0; symb q; tdg q1; | t q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q0; tdg q1; symb q; | tdg q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q0; symb q; t q0; | tdg q1; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q1; symb q; tdg q1; | t q0; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; t q0; t q1; | tdg q0; tdg q1; symb q; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q0; | t q0; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q1; sdg q1; symb q; | symb q; s q0; s q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}]
s q0; s q1; symb q; | symb q; s q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q1; symb q; h q0; | symb q; h q0; s q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
tdg q0; tdg q1; symb q; | tdg q1; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; t q1; tdg q0; | t q0; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q1; symb q; | symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; t q1; tdg q0; | t q0; tdg q1; symb q; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
t q0; t q1; symb q; | t q1; symb q; tdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; sdg q0; symb q; | symb q; s q0; s q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; h q0; | symb q; h q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
s q1; symb q; sdg q0; | symb q; sdg q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q0; symb q; | symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
t q0; tdg q1; symb q; | tdg q1; symb q; tdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q1; symb q; tdg q1; | t q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; sdg q0; t q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; s q0; t q1; | t q0; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; t q0; | t q1; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; s q1; t q0; | tdg q0; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
symb q; s q1; t q0; | t q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; t q0; tdg q1; | t q1; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
t q1; tdg q0; symb q; | tdg q0; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; symb q; t q0; | tdg q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; sdg q1; symb q; | symb q; s q0; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; sdg q0; tdg q1; | t q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; symb q; tdg q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; tdg q0; tdg q1; | tdg q1; symb q; tdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q1; symb q; h q1; | symb q; h q1; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; symb q; | symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q1; symb q; tdg q1; | t q0; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
s q0; symb q; t q1; | t q1; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q1; symb q; | symb q; s q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
t q0; t q1; symb q; | t q1; symb q; tdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
s q1; symb q; t q1; | t q0; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; sdg q0; t q1; | t q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
sdg q0; symb q; s q1; | symb q; s q1; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
symb q; tdg q1; | t q0; symb q; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; t q0; t q1; | t q1; symb q; t q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q0; tdg q1; | t q1; symb q; tdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q0; symb q; | symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q0; symb q; t q1; | t q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q0; symb q; t q1; | t q1; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; symb q; t q1; | t q0; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; sdg q0; t q1; | t q1; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q0; sdg q1; symb q; | symb q; s q1; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
sdg q1; symb q; tdg q1; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q0; symb q; tdg q1; | t q0; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q1; symb q; h q0; | symb q; h q0; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
sdg q1; symb q; t q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q1; symb q; tdg q0; | t q0; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q0; t q1; symb q; | t q1; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; symb q; | symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; tdg q1; symb q; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; tdg q0; symb q; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}]
sdg q0; symb q; tdg q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; s q1; symb q; | s q1; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
s q0; symb q; | symb q; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; t q1; symb q; | t q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; symb q; t q0; | tdg q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q1; | t q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q1; symb q; h q1; | symb q; h q1; sdg q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; tdg q0; | t q1; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
symb q; tdg q1; | t q1; symb q; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q1; symb q; t q0; | t q1; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; h q1; t q0; | t q1; symb q; h q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; s q0; t q1; | tdg q1; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q0; symb q; s q0; | symb q; s q0; s q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; symb q; tdg q0; | tdg q0; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; tdg q0; | t q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; sdg q1; symb q; | symb q; s q0; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q0; s q0; symb q; | symb q; sdg q1; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q1; | t q1; symb q; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q1; symb q; tdg q0; | tdg q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; h q0; tdg q1; | t q1; symb q; h q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; tdg q1; | tdg q1; symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
sdg q1; t q0; symb q; | t q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; h q1; tdg q0; | tdg q0; symb q; h q1; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}]
s q1; symb q; t q0; | t q0; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; t q0; tdg q1; | tdg q1; symb q; t q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q0; t q1; symb q; | t q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; s q1; symb q; | s q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; tdg q1; symb q; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
symb q; tdg q0; tdg q1; | tdg q0; symb q; tdg q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
symb q; t q0; t q1; | tdg q0; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q1; tdg q0; symb q; | tdg q0; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
s q1; symb q; tdg q0; | t q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q1; symb q; t q0; | tdg q0; symb q; s q1; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; sdg q1; tdg q0; | t q0; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
sdg q0; t q1; symb q; | t q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
t q0; tdg q1; symb q; | tdg q1; symb q; tdg q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
s q0; symb q; t q0; | tdg q1; symb q; s q1; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q0; symb q; t q0; | t q1; symb q; s q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; h q0; tdg q1; | tdg q0; symb q; h q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; sdg q1; symb q; | symb q; sdg q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
sdg q0; sdg q0; symb q; | symb q; sdg q0; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; t q1; tdg q0; | tdg q1; symb q; t q1; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q1; sdg q0; symb q; | sdg q0; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; sdg q1; symb q; | sdg q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; t q0; symb q; | t q0; symb q; sdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; tdg q0; tdg q1; | t q0; symb q; tdg q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; tdg q0; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
sdg q0; symb q; h q0; | symb q; h q0; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; t q0; | tdg q0; symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; t q1; | s q1; symb q; tdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; tdg q1; | tdg q1; symb q; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q1; symb q; t q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q1; tdg q0; | t q0; t q1; symb q; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q0; symb q; tdg q0; | t q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q0; symb q; tdg q1; | tdg q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; tdg q1; | t q0; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; s q0; t q1; | tdg q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; h q0; t q1; | tdg q1; symb q; h q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}]
symb q; tdg q0; | s q0; symb q; t q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
symb q; tdg q0; tdg q1; | t q0; tdg q1; symb q; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}]
symb q; sdg q1; t q0; | tdg q0; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}]
s q1; t q0; symb q; | t q0; symb q; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
s q0; symb q; sdg q0; | symb q; sdg q0; sdg q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; t q1; | tdg q0; symb q; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
sdg q0; sdg q1; symb q; | sdg q1; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; | symb q; s q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
s q0; symb q; t q1; | tdg q1; symb q; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}]
s q0; s q0; symb q; | symb q; sdg q0; sdg q0; | [{[false, false]=[true, true], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; s q1; tdg q0; | tdg q0; symb q; s q1; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
sdg q1; symb q; | tdg q1; symb q; tdg q1; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}]
symb q; sdg q0; tdg q1; | t q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; s q0; t q1; | t q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}]
s q0; symb q; | symb q; sdg q1; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
symb q; t q0; t q1; | t q0; symb q; t q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}]
symb q; sdg q0; tdg q1; | tdg q0; symb q; sdg q0; | [{[false, false]=[false, false], [true, false]=[true, true], [false, true]=[true, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[false, true], [false, true]=[false, false], [true, true]=[true, true]}]
s q0; symb q; s q1; | symb q; s q1; sdg q0; | [{[false, false]=[true, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[false, true]}]
s q0; symb q; t q0; | tdg q1; symb q; sdg q1; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}]
sdg q1; symb q; tdg q0; | t q0; symb q; sdg q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; t q0; | t q1; symb q; s q0; | [{[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[false, false]}, {[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[false, true]}]
s q1; symb q; s q1; | symb q; s q1; sdg q0; | [{[false, false]=[true, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[false, true]}, {[false, false]=[true, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[false, false]}]
s q1; s q1; symb q; | symb q; s q0; s q0; | [{[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}]
sdg q1; symb q; tdg q0; | tdg q1; symb q; sdg q0; | [{[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[false, false], [false, true]=[true, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
symb q; t q0; | s q0; symb q; tdg q0; | [{[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}]
symb q; s q0; tdg q1; | t q0; symb q; s q0; | [{[false, false]=[true, true], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, true], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, false]}]
s q0; s q0; symb q; | symb q; s q0; s q0; | [{[false, false]=[false, true], [true, false]=[true, false], [false, true]=[false, false], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, true], [false, true]=[false, true], [true, true]=[true, false]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, true], [true, false]=[true, true], [false, true]=[false, false], [true, true]=[true, false]}]
symb q; tdg q1; | sdg q1; symb q; t q1; | [{[false, false]=[true, false], [true, false]=[false, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[true, true], [true, true]=[false, true]}, {[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[true, false], [true, false]=[false, false], [false, true]=[true, true], [true, true]=[false, true]}]
symb q; tdg q0; tdg q1; | tdg q0; tdg q1; symb q; | [{[false, false]=[false, false], [true, false]=[true, false], [false, true]=[false, true], [true, true]=[true, true]}, {[false, false]=[false, false], [true, false]=[false, true], [false, true]=[true, false], [true, true]=[true, true]}]
