Adjacent states differ by a small number of bits
.symbolic input con_0 idle con_0 0 con_0 dep_2 con_2 0 con_0 dep_3 con_3 0 con_2 idle con_2 0 con_2 dep_2 con_4 0 con_2 dep_3 con_56 0 con_3 idle con_3 0 con_3 dep_2 con_56 0 con_3 dep_3 con_56 0 con_4 idle con_4 0 con_4 dep_2 con_56 0 con_4 dep_3 con_0 1 con_56 idle con_56 0 con_56 dep_2 con_0 1 con_56 dep_3 con_0 1 .end