#states
01247812456781234678
x
91011121417181112141516171811121314161718
192021222427212224252627212223242627
#initial
01247812456781234678
#accepting
192021222427212224252627212223242627
#alphabet
b
c
a
#transitions
192021222427212224252627212223242627:b>192021222427212224252627212223242627
192021222427212224252627212223242627:c>x
192021222427212224252627212223242627:a>192021222427212224252627212223242627
91011121417181112141516171811121314161718:b>91011121417181112141516171811121314161718
91011121417181112141516171811121314161718:c>192021222427212224252627212223242627
91011121417181112141516171811121314161718:a>91011121417181112141516171811121314161718
01247812456781234678:b>01247812456781234678
01247812456781234678:c>91011121417181112141516171811121314161718
01247812456781234678:a>01247812456781234678
x:b>x
x:c>x
x:a>x
