#states

s0

s1

s2

s3

s4

s5

s6

s7

s8

s9

s10

s11

s12

s13

s14

s15

s16

s17

s18

s19

s20

s21

s22

s23

s24

s25

#initial

s0

#accepting

s4
s25

#alphabet

#transitions

s0:a>s2

s0:d>s6

s0:g>s4

s0:j>s3

s0:l>s5

s1:a>s2

s1:d>s6

s1:g>s4

s1:j>s3

s1:l>s5

s2:$>s7

s3:$>s4

s5:$>s22
s6:$>s0

s6:$>s1

s6:a>s2

s6:g>s4

s6:j>s3

s6:l>s5

s7:d>s9

s7:e>s10

s7:f>s10

s7:g>s4

s7:j>s3

s7:l>s5

s7:h>s4

s8:d>s9

s8:e>s10

s8:f>s10

s8:g>s4

s8:j>s3

s8:h>s4

s8:l>s5

s9:$>s8

s9:$>s7

s9:e>s10

s9:f>s10

s9:g>s4

s9:j>s3

s9:l>s5

s9:h>s4

s10:$>s11

s10:$>s12

s11:d>s14
s11:e>s13

s11:f>s13

s11:b>s15

s11:c>s16

s11:l>s5

s11:g>s4

s11:h>s4

s12:g>s4

s12:d>s14

s12:e>s13

s12:f>s13

s12:b>s15

s12:c>s16

s12:l>s5

s12:h>s4

s13:$>s4

s14:$>s11

s14:$>s12

s14:e>s13

s14:f>s13

s14:j>s3

s14:l>s5

s14:h>s4

s15:$>s16

s16:$>s17

s17:m>s18

s17:g>s4

s17:n>s3

s17:l>s5

s17:f>s19

s17:e>s20
s18:$>s7

s19:f>s17

s19:e>s17

s19:k>s4

s19:d>s21

s19:n>s3

s19:l>s5

s19:g>s4

s20:f>s17

s20:e>s17

s20:k>s4

s20:d>s21

s20:n>s3

s20:l>s5

s20:g>s4

s21:$>s20

s21:$>s19

s21:n>s3

s21:l>s5

s21:g>s4

s22:$>s23

s22:o>s24

s23:g>s24

s24:$>s25