initial state: 8
state 0 [reject]:
  \u0003 -> 9
  \u0003 -> 6
  \u0002-\u0003 -> 7
  \u0002-\u0003 -> 4
  \u0006-\u0007 -> 7
  \u0006-\u0007 -> 4
  \u0007 -> 9
  \u0007 -> 6
  \u0005 -> 5
  \u0005 -> 0
state 1 [reject]:
  \u0002 -> 9
  \u0002 -> 6
  \u0000 -> 9
  \u0000 -> 7
  \u0000 -> 6
  \u0000 -> 4
state 2 [reject]:
  \u0003 -> 4
  \u0003 -> 6
  \u0003 -> 7
  \u0003 -> 9
  \u0006 -> 2
  \u0006 -> 3
  \u0007 -> 9
  \u0007 -> 4
  \u0007 -> 6
  \u0007 -> 7
  \u0005 -> 0
  \u0005 -> 5
  \u0002 -> 2
  \u0002 -> 3
state 3 [reject]:
  \u0001 -> 9
  \u0001 -> 7
  \u0001 -> 6
  \u0001 -> 4
state 4 [accept]:
  \u0001 -> 9
  \u0001 -> 7
  \u0001 -> 6
  \u0001 -> 4
state 5 [reject]:
  \u0006 -> 5
  \u0004 -> 5
  \u0004 -> 0
state 6 [accept]:
  \u0006 -> 5
  \u0004 -> 5
  \u0004 -> 0
state 7 [accept]:
  \u0003 -> 4
  \u0003 -> 6
  \u0003 -> 7
  \u0003 -> 9
  \u0006 -> 2
  \u0006 -> 3
  \u0007 -> 9
  \u0007 -> 4
  \u0007 -> 6
  \u0007 -> 7
  \u0005 -> 0
  \u0005 -> 5
  \u0002 -> 2
  \u0002 -> 3
state 8 [reject]:
  \u0000-\u0003 -> 3
  \u0000-\u0003 -> 1
  \u0000-\u0007 -> 5
  \u0006-\u0007 -> 3
  \u0000-\u0007 -> 2
  \u0007 -> 1
state 9 [accept]:
  \u0002 -> 9
  \u0002 -> 6
  \u0000 -> 9
  \u0000 -> 7
  \u0000 -> 6
  \u0000 -> 4

