The following are sequential miters of different state encodings:

• b01_gray_onehot.bench
• b02_gray_onehot.bench
• b03_gray_onehot.bench
• b04_gray_onehot.bench
• b05_gray_onehot.bench
• b06_gray_onehot.bench
• b07_gray_onehot.bench
• b08_gray_onehot.bench
• b09_gray_onehot.bench
• b10_gray_onehot.bench
• b11_gray_onehot.bench
• b12_gray_onehot.bench
• b13_gray_onehot.bench
• T1_gray_onehot.bench
• T2_gray_onehot.bench
• T3_gray_onehot.bench
• T4_gray_onehot.bench
• T5_gray_onehot.bench
• T6_gray_onehot.bench