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

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

