Skip to content

GitLab

N
nfa-pruning-analysis
Commit cf53e330 authored by Andrew Cornell's avatar Andrew Cornell
Browse files
Options

Full commit

parents
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 396 additions and 0 deletions

Too many changes to show.
Plain diff Email patch

To preserve performance only 1000 of 1000+ files are displayed.

.DS_Store 0 → 100644
View file @ cf53e330
File added
README.md 0 → 100644
View file @ cf53e330
This repository contains the analysis results of the `nfa_prune` program. Each folder is named `qM_aN`, where M is the number of states of the generated automata (without the sink state) and N is the size of the alphabet of the generated automata. Each folder contains one file `results.csv`, a CSV-encoded table of the run-times and statistical results of the automata generated, and a list of files `N.nfa`, which are text files containing a description of the automaton in round N.
Each NFA description file has in its first line first the number of states of the automaton, then after a comma the size of the alphabet. The next line contains a comma-separated list of accepting states. The last line contains all transitions of the automaton in the form `(q, a, p)`. The automata in the NFA files do not include the sink state if one was necessary.
\ No newline at end of file
q10_a10/1.nfa 0 → 100644
View file @ cf53e330
10,10
0,3,7
(0,a,5),(0,a,8),(0,a,6),(0,a,4),(0,a,3),(0,a,2),(0,a,1),(0,a,0),(0,b,8),(0,b,5),(0,b,0),(0,b,1),(0,c,6),(0,c,7),(0,c,3),(0,c,0),(0,c,1),(0,c,8),(0,c,4),(0,d,4),(0,d,7),(0,d,0),(0,d,3),(0,e,1),(0,f,0),(0,f,6),(0,f,3),(0,g,8),(0,g,2),(0,g,9),(0,g,4),(0,g,0),(0,h,8),(0,h,0),(0,h,6),(0,h,2),(0,h,9),(0,h,4),(0,i,4),(0,i,6),(0,i,3),(0,i,8),(0,i,0),(0,j,5),(0,j,8),(1,a,6),(1,a,7),(1,a,8),(1,a,3),(1,a,2),(1,b,0),(1,b,6),(1,c,1),(1,c,8),(1,c,5),(1,d,0),(1,d,2),(1,d,8),(1,d,9),(1,d,5),(1,d,6),(1,e,5),(1,e,6),(1,e,8),(1,e,2),(1,f,9),(1,f,5),(1,f,7),(1,f,8),(1,g,5),(1,g,9),(1,g,2),(1,g,0),(1,g,1),(1,g,6),(1,g,3),(1,g,7),(1,h,5),(1,h,1),(1,h,4),(1,h,2),(1,i,7),(1,i,3),(1,i,4),(1,i,5),(1,j,8),(1,j,2),(1,j,1),(1,j,6),(2,a,9),(2,a,8),(2,a,7),(2,a,6),(2,a,5),(2,a,4),(2,a,3),(2,b,7),(2,b,5),(2,b,9),(2,b,4),(2,c,4),(2,c,9),(2,c,3),(2,c,6),(2,c,5),(2,c,0),(2,d,2),(2,d,5),(2,d,3),(2,d,6),(2,e,1),(2,e,6),(2,e,8),(2,e,7),(2,e,2),(2,f,9),(2,f,2),(2,f,3),(2,f,1),(2,g,5),(2,g,1),(2,g,2),(2,g,7),(2,h,7),(2,h,4),(2,h,0),(2,h,5),(2,i,8),(2,i,6),(2,i,9),(2,j,0),(2,j,3),(2,j,2),(2,j,4),(2,j,9),(3,a,2),(3,a,4),(3,a,0),(3,a,5),(3,a,8),(3,b,4),(3,b,3),(3,b,8),(3,b,7),(3,c,4),(3,c,1),(3,c,6),(3,c,0),(3,c,7),(3,d,6),(3,d,7),(3,d,8),(3,d,3),(3,d,0),(3,e,3),(3,e,8),(3,e,2),(3,e,9),(3,e,4),(3,e,5),(3,e,0),(3,f,1),(3,f,2),(3,f,9),(3,f,5),(3,f,8),(3,g,4),(3,g,6),(3,g,8),(3,g,2),(3,g,1),(3,g,3),(3,h,2),(3,h,7),(3,h,8),(3,h,0),(3,h,5),(3,i,6),(3,i,7),(3,i,5),(3,i,1),(3,i,4),(3,i,8),(3,i,0),(3,i,2),(3,j,8),(3,j,6),(3,j,5),(3,j,0),(3,j,7),(3,j,9),(3,j,4),(4,a,5),(4,a,1),(4,a,2),(4,a,9),(4,a,6),(4,b,0),(4,b,7),(4,b,8),(4,b,3),(4,b,5),(4,b,1),(4,c,8),(4,c,2),(4,c,5),(4,d,2),(4,d,8),(4,e,6),(4,e,4),(4,e,0),(4,e,3),(4,f,1),(4,f,0),(4,g,9),(4,g,3),(4,g,5),(4,g,0),(4,h,2),(4,h,3),(4,h,8),(4,h,9),(4,h,0),(4,i,5),(4,i,4),(4,i,3),(4,i,7),(4,j,8),(4,j,3),(4,j,4),(4,j,2),(4,j,0),(5,a,0),(5,a,2),(5,a,4),(5,a,8),(5,a,6),(5,b,5),(5,b,9),(5,c,3),(5,c,2),(5,c,4),(5,c,8),(5,c,1),(5,c,6),(5,d,0),(5,d,3),(5,d,8),(5,d,4),(5,e,8),(5,e,3),(5,f,0),(5,f,2),(5,f,1),(5,f,6),(5,g,6),(5,g,1),(5,g,5),(5,g,8),(5,g,3),(5,h,9),(5,h,0),(5,h,8),(5,h,6),(5,h,1),(5,i,9),(5,i,4),(5,i,1),(5,i,5),(5,i,7),(5,j,8),(5,j,3),(5,j,7),(5,j,4),(5,j,1),(6,a,1),(6,a,4),(6,a,8),(6,a,7),(6,a,6),(6,b,6),(6,b,7),(6,b,8),(6,c,8),(6,c,5),(6,c,2),(6,d,5),(6,d,9),(6,d,4),(6,d,2),(6,d,8),(6,e,4),(6,e,1),(6,e,7),(6,e,2),(6,f,4),(6,f,7),(6,f,1),(6,g,7),(6,g,3),(6,g,6),(6,h,1),(6,h,6),(6,h,4),(6,i,6),(6,i,5),(6,i,4),(6,i,9),(6,i,2),(6,i,7),(6,j,9),(6,j,8),(7,a,3),(7,a,2),(7,a,5),(7,a,1),(7,a,4),(7,a,8),(7,b,6),(7,b,1),(7,b,8),(7,c,9),(7,c,0),(7,c,1),(7,c,3),(7,c,8),(7,c,7),(7,d,5),(7,d,7),(7,e,2),(7,e,0),(7,f,2),(7,f,4),(7,f,0),(7,f,5),(7,g,7),(7,g,2),(7,g,1),(7,g,4),(7,h,6),(7,h,5),(7,i,6),(7,i,3),(7,i,5),(7,i,0),(7,j,2),(7,j,6),(7,j,9),(7,j,4),(8,a,3),(8,a,0),(8,a,5),(8,a,4),(8,a,9),(8,b,4),(8,c,9),(8,c,7),(8,c,5),(8,c,6),(8,c,4),(8,c,3),(8,d,1),(8,d,9),(8,d,3),(8,e,2),(8,e,1),(8,f,3),(8,f,1),(8,f,4),(8,f,9),(8,f,2),(8,g,1),(8,g,4),(8,g,2),(8,g,8),(8,g,0),(8,h,4),(8,h,2),(8,h,7),(8,h,6),(8,i,0),(8,i,7),(8,i,2),(8,i,9),(8,i,4),(8,i,6),(8,i,1),(8,j,8),(8,j,4),(8,j,7),(8,j,0),(8,j,6),(9,a,1),(9,a,4),(9,a,7),(9,a,2),(9,a,9),(9,b,6),(9,b,4),(9,c,3),(9,c,5),(9,c,9),(9,c,1),(9,c,6),(9,d,2),(9,d,8),(9,d,6),(9,e,2),(9,e,1),(9,e,9),(9,e,4),(9,f,7),(9,f,6),(9,f,0),(9,f,5),(9,g,8),(9,g,0),(9,g,7),(9,g,2),(9,h,4),(9,h,5),(9,h,2),(9,i,7),(9,i,5),(9,i,3),(9,j,5),(9,j,0),(9,j,7),(9,j,9),(9,j,4)
\ No newline at end of file
q10_a10/10.nfa 0 → 100644
View file @ cf53e330
10,10
4,5,7,8
(0,a,8),(0,a,2),(0,a,7),(0,a,9),(0,a,6),(0,a,5),(0,a,3),(0,a,1),(0,c,8),(0,c,9),(0,c,5),(0,c,7),(0,d,5),(0,d,7),(0,d,3),(0,d,8),(0,e,1),(0,e,6),(0,e,5),(0,e,0),(0,f,8),(0,f,0),(0,f,3),(0,f,1),(0,f,2),(0,f,7),(0,g,9),(0,g,4),(0,g,0),(0,g,5),(0,g,1),(0,h,0),(0,h,7),(0,h,1),(0,h,6),(0,h,4),(0,j,3),(0,j,7),(0,j,8),(0,j,0),(0,j,5),(1,a,9),(1,a,7),(1,a,6),(1,a,5),(1,a,4),(1,a,3),(1,b,4),(1,b,7),(1,b,0),(1,b,8),(1,b,3),(1,c,2),(1,c,0),(1,c,4),(1,c,9),(1,d,9),(1,d,8),(1,d,1),(1,d,6),(1,e,3),(1,f,0),(1,f,7),(1,f,4),(1,f,9),(1,f,8),(1,g,5),(1,g,2),(1,g,3),(1,g,1),(1,h,1),(1,h,4),(1,h,7),(1,h,8),(1,i,2),(1,i,4),(1,i,8),(1,i,0),(1,i,5),(1,j,5),(1,j,8),(1,j,4),(1,j,9),(2,a,1),(2,a,9),(2,a,8),(2,a,7),(2,a,6),(2,a,5),(2,a,4),(2,b,7),(2,b,3),(2,b,1),(2,b,5),(2,c,9),(2,c,2),(2,c,1),(2,c,3),(2,d,6),(2,d,1),(2,d,3),(2,d,0),(2,d,4),(2,e,8),(2,e,0),(2,e,9),(2,e,4),(2,e,7),(2,f,2),(2,f,7),(2,f,9),(2,f,8),(2,f,5),(2,g,6),(2,g,1),(2,g,0),(2,g,4),(2,g,9),(2,h,0),(2,h,2),(2,h,3),(2,h,1),(2,i,1),(2,i,6),(2,i,2),(2,i,4),(2,i,3),(2,i,5),(2,i,0),(2,j,9),(3,a,1),(3,a,0),(3,a,2),(3,a,9),(3,a,8),(3,a,7),(3,a,6),(3,a,5),(3,b,9),(3,b,4),(3,b,8),(3,c,7),(3,c,3),(3,c,1),(3,c,6),(3,c,9),(3,d,5),(3,d,6),(3,d,4),(3,e,6),(3,e,5),(3,e,9),(3,e,4),(3,f,7),(3,f,1),(3,f,5),(3,f,4),(3,f,8),(3,g,3),(3,g,6),(3,g,9),(3,h,5),(3,h,4),(3,h,1),(3,h,6),(3,h,3),(3,i,6),(3,i,2),(3,i,3),(3,j,3),(3,j,2),(3,j,6),(4,a,9),(4,a,8),(4,a,5),(4,a,4),(4,b,5),(4,b,4),(4,b,0),(4,b,8),(4,b,2),(4,b,6),(4,c,7),(4,c,9),(4,c,2),(4,c,1),(4,c,6),(4,c,8),(4,d,9),(4,d,4),(4,d,8),(4,e,9),(4,e,1),(4,e,0),(4,e,6),(4,e,7),(4,e,2),(4,f,5),(4,f,9),(4,f,4),(4,g,2),(4,g,3),(4,g,8),(4,g,5),(4,h,4),(4,h,9),(4,h,7),(4,i,8),(4,i,9),(4,i,7),(4,i,2),(4,j,1),(4,j,5),(4,j,3),(4,j,8),(4,j,7),(4,j,9),(5,a,0),(5,a,7),(5,a,3),(5,a,9),(5,a,6),(5,b,4),(5,b,9),(5,c,9),(5,c,4),(5,c,6),(5,c,7),(5,c,0),(5,d,4),(5,d,8),(5,e,9),(5,e,7),(5,e,2),(5,e,4),(5,e,8),(5,e,3),(5,e,5),(5,e,0),(5,f,6),(5,f,1),(5,f,3),(5,g,0),(5,g,7),(5,g,2),(5,h,7),(5,h,9),(5,h,5),(5,i,9),(5,i,8),(5,i,3),(5,i,1),(5,i,2),(5,j,9),(5,j,6),(5,j,1),(5,j,0),(5,j,3),(5,j,8),(6,a,9),(6,a,8),(6,a,0),(6,a,2),(6,b,8),(6,b,6),(6,b,7),(6,c,7),(6,c,8),(6,d,7),(6,d,4),(6,d,1),(6,d,5),(6,d,0),(6,d,8),(6,e,5),(6,e,3),(6,e,7),(6,f,7),(6,f,3),(6,f,0),(6,f,2),(6,f,1),(6,f,5),(6,f,9),(6,f,8),(6,g,3),(6,g,9),(6,g,7),(6,g,0),(6,g,6),(6,h,0),(6,h,1),(6,h,2),(6,h,7),(6,h,4),(6,i,8),(6,i,0),(6,i,5),(6,j,3),(6,j,8),(6,j,2),(6,j,5),(7,a,0),(7,a,3),(7,a,7),(7,a,1),(7,a,9),(7,b,9),(7,b,2),(7,c,6),(7,c,9),(7,c,0),(7,c,7),(7,c,2),(7,d,3),(7,d,6),(7,d,0),(7,d,5),(7,d,9),(7,e,4),(7,e,0),(7,e,3),(7,e,7),(7,e,6),(7,f,3),(7,f,8),(7,f,6),(7,f,2),(7,g,3),(7,g,7),(7,h,4),(7,h,5),(7,h,3),(7,i,7),(7,i,1),(7,i,3),(7,i,6),(7,i,4),(7,i,0),(7,i,5),(7,j,8),(7,j,9),(7,j,4),(7,j,7),(7,j,2),(8,a,4),(8,a,5),(8,b,6),(8,b,8),(8,b,4),(8,c,1),(8,c,8),(8,c,3),(8,d,1),(8,d,5),(8,d,2),(8,e,0),(8,e,3),(8,e,5),(8,e,1),(8,e,9),(8,e,7),(8,f,1),(8,f,3),(8,f,2),(8,g,1),(8,g,3),(8,h,7),(8,h,8),(8,i,4),(8,i,0),(8,i,3),(8,j,3),(8,j,0),(8,j,8),(8,j,2),(8,j,1),(8,j,6),(8,j,9),(9,a,6),(9,a,5),(9,a,3),(9,a,4),(9,a,9),(9,b,7),(9,b,9),(9,b,5),(9,b,0),(9,b,6),(9,b,2),(9,c,6),(9,c,2),(9,c,4),(9,c,8),(9,c,3),(9,d,2),(9,d,4),(9,d,6),(9,d,1),(9,e,4),(9,e,7),(9,e,2),(9,f,3),(9,f,5),(9,f,0),(9,f,8),(9,f,6),(9,f,1),(9,g,5),(9,g,8),(9,g,4),(9,g,9),(9,h,8),(9,h,9),(9,h,1),(9,h,7),(9,h,2),(9,h,3),(9,i,8),(9,i,7),(9,i,9),(9,i,6),(9,i,1),(9,i,5),(9,j,0),(9,j,5),(9,j,3),(9,j,4),(9,j,9),(9,j,7),(9,j,2)
\ No newline at end of file
q10_a10/100.nfa 0 → 100644
View file @ cf53e330
10,10
4,5,7,8,9
(0,a,7),(0,a,5),(0,a,3),(0,a,2),(0,a,0),(0,b,6),(0,b,7),(0,b,3),(0,c,4),(0,c,0),(0,c,8),(0,c,7),(0,c,2),(0,c,5),(0,c,6),(0,d,6),(0,d,4),(0,d,9),(0,d,2),(0,d,7),(0,e,2),(0,e,0),(0,f,1),(0,f,5),(0,f,9),(0,g,5),(0,g,9),(0,g,3),(0,g,7),(0,g,2),(0,h,5),(0,h,4),(0,h,1),(0,h,6),(0,i,6),(0,i,0),(0,i,2),(0,j,5),(0,j,1),(0,j,3),(0,j,8),(1,a,7),(1,a,3),(1,a,9),(1,a,8),(1,a,2),(1,a,1),(1,b,6),(1,b,1),(1,c,5),(1,c,7),(1,c,2),(1,c,0),(1,c,3),(1,c,6),(1,c,1),(1,d,2),(1,d,9),(1,d,6),(1,d,0),(1,e,8),(1,e,2),(1,e,6),(1,e,4),(1,e,3),(1,e,0),(1,f,2),(1,f,0),(1,f,7),(1,f,6),(1,f,1),(1,f,8),(1,g,5),(1,h,0),(1,h,8),(1,h,3),(1,i,6),(1,i,2),(1,i,4),(1,i,5),(1,j,0),(1,j,1),(1,j,6),(1,j,4),(1,j,9),(2,a,5),(2,a,9),(2,a,7),(2,a,6),(2,a,3),(2,b,1),(2,b,4),(2,b,0),(2,b,7),(2,c,0),(2,c,5),(2,c,7),(2,c,6),(2,d,9),(2,d,6),(2,d,1),(2,e,3),(2,e,9),(2,e,7),(2,e,6),(2,e,1),(2,e,8),(2,f,1),(2,f,8),(2,f,9),(2,f,2),(2,g,2),(2,g,0),(2,h,2),(2,h,3),(2,h,6),(2,h,0),(2,h,4),(2,h,9),(2,i,1),(2,i,3),(2,i,5),(2,i,4),(2,j,5),(2,j,1),(2,j,6),(2,j,8),(2,j,7),(3,a,7),(3,a,6),(3,a,5),(3,a,4),(3,a,3),(3,b,6),(3,b,3),(3,c,2),(3,c,8),(3,d,1),(3,d,2),(3,d,5),(3,d,0),(3,d,9),(3,e,9),(3,e,3),(3,f,0),(3,f,2),(3,f,4),(3,f,1),(3,g,5),(3,g,0),(3,g,7),(3,h,6),(3,h,5),(3,i,3),(3,i,0),(3,i,2),(3,i,9),(3,i,5),(3,i,1),(3,j,6),(3,j,7),(3,j,0),(3,j,5),(4,a,3),(4,a,7),(4,a,0),(4,a,2),(4,a,6),(4,a,5),(4,b,2),(4,b,1),(4,b,4),(4,b,3),(4,b,8),(4,c,4),(4,c,5),(4,c,8),(4,c,3),(4,d,7),(4,d,3),(4,e,2),(4,e,7),(4,e,8),(4,f,1),(4,f,6),(4,g,2),(4,g,9),(4,g,4),(4,g,1),(4,h,5),(4,h,1),(4,h,7),(4,i,1),(4,i,7),(4,j,2),(4,j,3),(4,j,0),(4,j,5),(5,a,2),(5,a,3),(5,a,1),(5,a,8),(5,a,6),(5,a,0),(5,b,4),(5,b,2),(5,b,7),(5,b,8),(5,b,5),(5,c,9),(5,c,0),(5,c,7),(5,c,3),(5,c,8),(5,d,2),(5,d,1),(5,e,4),(5,e,2),(5,f,2),(5,f,8),(5,g,2),(5,g,5),(5,g,7),(5,g,3),(5,h,6),(5,h,5),(5,h,9),(5,h,3),(5,i,1),(5,i,7),(5,i,2),(5,i,0),(5,i,3),(5,i,6),(5,j,9),(5,j,6),(5,j,8),(5,j,0),(6,a,6),(6,a,2),(6,a,3),(6,a,5),(6,a,9),(6,c,2),(6,c,9),(6,c,3),(6,d,7),(6,d,2),(6,d,5),(6,d,4),(6,d,8),(6,d,1),(6,e,7),(6,e,5),(6,e,1),(6,g,3),(6,g,0),(6,g,1),(6,h,9),(6,h,5),(6,i,8),(6,i,9),(6,i,4),(6,j,8),(6,j,5),(6,j,0),(6,j,7),(7,a,7),(7,a,8),(7,a,1),(7,a,5),(7,a,9),(7,b,5),(7,b,4),(7,b,3),(7,b,6),(7,c,5),(7,c,1),(7,c,9),(7,c,2),(7,c,3),(7,d,1),(7,d,8),(7,d,4),(7,d,9),(7,e,8),(7,e,1),(7,e,4),(7,e,2),(7,f,5),(7,f,2),(7,f,6),(7,f,3),(7,g,9),(7,g,4),(7,g,5),(7,g,0),(7,g,3),(7,g,8),(7,h,0),(7,h,2),(7,h,1),(7,h,5),(7,h,4),(7,h,8),(7,i,2),(7,i,1),(7,i,5),(7,j,0),(7,j,9),(7,j,3),(7,j,7),(7,j,2),(8,a,3),(8,a,7),(8,b,6),(8,b,5),(8,b,9),(8,c,7),(8,c,5),(8,c,0),(8,d,5),(8,d,9),(8,d,1),(8,d,6),(8,d,8),(8,d,2),(8,d,0),(8,e,6),(8,e,5),(8,e,7),(8,e,2),(8,e,8),(8,f,1),(8,f,6),(8,f,3),(8,f,9),(8,g,0),(8,g,4),(8,g,2),(8,g,1),(8,g,9),(8,g,5),(8,h,9),(8,h,3),(8,i,5),(8,i,1),(8,i,6),(8,i,2),(8,j,3),(8,j,9),(8,j,4),(8,j,0),(8,j,5),(8,j,2),(9,a,3),(9,a,5),(9,a,7),(9,a,6),(9,a,4),(9,a,9),(9,b,9),(9,b,0),(9,b,5),(9,c,9),(9,c,5),(9,d,1),(9,d,8),(9,d,3),(9,d,2),(9,e,2),(9,e,0),(9,e,8),(9,e,9),(9,e,4),(9,f,2),(9,f,9),(9,f,7),(9,f,8),(9,f,5),(9,f,6),(9,f,1),(9,g,7),(9,g,5),(9,g,6),(9,g,1),(9,g,9),(9,h,2),(9,h,9),(9,h,0),(9,h,5),(9,h,3),(9,i,4),(9,i,6),(9,i,1),(9,i,3),(9,j,3),(9,j,6),(9,j,7)
\ No newline at end of file
q10_a10/1000.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,3,8,9
(0,a,9),(0,a,8),(0,a,5),(0,a,0),(0,b,9),(0,b,8),(0,b,4),(0,b,7),(0,b,2),(0,b,6),(0,b,1),(0,c,9),(0,c,0),(0,c,6),(0,c,3),(0,d,8),(0,d,1),(0,d,6),(0,d,0),(0,d,2),(0,e,6),(0,e,1),(0,e,5),(0,f,4),(0,f,8),(0,f,1),(0,f,0),(0,g,9),(0,g,4),(0,g,1),(0,g,6),(0,h,5),(0,h,0),(0,h,6),(0,h,1),(0,i,2),(0,i,5),(0,i,6),(0,i,8),(0,i,9),(0,j,0),(0,j,9),(0,j,2),(0,j,8),(0,j,3),(1,a,8),(1,a,4),(1,a,3),(1,a,2),(1,b,5),(1,b,3),(1,c,7),(1,c,2),(1,c,4),(1,c,9),(1,c,3),(1,d,6),(1,d,8),(1,d,3),(1,d,0),(1,d,2),(1,e,8),(1,e,7),(1,e,0),(1,e,5),(1,e,2),(1,e,9),(1,f,2),(1,f,6),(1,f,0),(1,f,9),(1,g,6),(1,g,8),(1,h,2),(1,h,5),(1,h,4),(1,i,5),(1,i,2),(1,i,1),(1,i,6),(1,j,0),(1,j,2),(1,j,3),(2,a,7),(2,a,9),(2,a,8),(2,a,6),(2,b,2),(2,b,4),(2,b,9),(2,b,8),(2,c,5),(2,c,1),(2,c,4),(2,c,3),(2,c,2),(2,d,7),(2,d,9),(2,d,3),(2,d,5),(2,d,0),(2,e,1),(2,e,6),(2,f,4),(2,f,7),(2,f,3),(2,g,5),(2,g,9),(2,g,7),(2,g,0),(2,g,8),(2,g,3),(2,h,9),(2,h,1),(2,h,2),(2,h,5),(2,h,0),(2,i,2),(2,i,5),(2,i,8),(2,i,9),(2,j,1),(2,j,7),(2,j,3),(3,a,0),(3,a,5),(3,a,8),(3,a,6),(3,a,9),(3,a,4),(3,b,1),(3,b,9),(3,b,4),(3,b,0),(3,b,5),(3,c,3),(3,c,1),(3,d,9),(3,d,0),(3,d,7),(3,d,2),(3,e,3),(3,e,4),(3,e,9),(3,e,2),(3,f,9),(3,f,2),(3,f,1),(3,g,5),(3,g,8),(3,g,3),(3,h,4),(3,h,5),(3,h,0),(3,h,6),(3,h,8),(3,i,0),(3,i,7),(3,i,4),(3,i,6),(3,i,8),(3,j,5),(3,j,8),(3,j,1),(3,j,4),(4,a,7),(4,a,1),(4,a,9),(4,a,6),(4,a,5),(4,b,1),(4,b,3),(4,c,5),(4,c,7),(4,c,2),(4,c,8),(4,c,3),(4,c,0),(4,d,9),(4,d,2),(4,d,0),(4,d,3),(4,d,7),(4,e,5),(4,e,0),(4,e,9),(4,e,4),(4,e,7),(4,f,0),(4,f,6),(4,f,4),(4,g,6),(4,g,4),(4,g,9),(4,g,2),(4,g,5),(4,h,5),(4,h,9),(4,h,1),(4,h,2),(4,h,8),(4,j,0),(4,j,5),(4,j,8),(4,j,9),(4,j,1),(5,a,3),(5,a,8),(5,a,1),(5,a,4),(5,a,7),(5,a,5),(5,b,5),(5,b,7),(5,b,2),(5,c,7),(5,c,2),(5,c,3),(5,c,0),(5,d,8),(5,d,3),(5,d,9),(5,d,7),(5,e,0),(5,e,9),(5,e,6),(5,f,2),(5,f,7),(5,f,0),(5,f,5),(5,f,9),(5,g,0),(5,g,5),(5,g,3),(5,g,8),(5,g,4),(5,g,9),(5,h,7),(5,h,2),(5,i,1),(5,i,7),(5,i,0),(5,j,9),(5,j,7),(5,j,0),(5,j,8),(5,j,4),(5,j,1),(6,a,0),(6,a,8),(6,a,7),(6,b,4),(6,c,3),(6,c,5),(6,c,6),(6,c,4),(6,c,9),(6,d,2),(6,d,1),(6,d,8),(6,d,4),(6,e,7),(6,e,8),(6,e,3),(6,e,9),(6,f,0),(6,f,9),(6,f,1),(6,f,7),(6,f,3),(6,f,8),(6,g,2),(6,g,9),(6,g,1),(6,g,0),(6,g,5),(6,h,6),(6,h,4),(6,h,0),(6,h,7),(6,i,8),(6,i,3),(6,i,5),(6,j,0),(6,j,3),(6,j,7),(6,j,6),(7,a,3),(7,a,0),(7,a,6),(7,a,9),(7,a,7),(7,b,3),(7,b,5),(7,b,9),(7,c,0),(7,c,1),(7,c,8),(7,c,2),(7,c,7),(7,c,9),(7,d,2),(7,d,5),(7,d,0),(7,e,8),(7,e,0),(7,e,9),(7,f,1),(7,f,6),(7,f,0),(7,f,5),(7,f,2),(7,f,7),(7,g,2),(7,g,9),(7,g,8),(7,h,8),(7,h,6),(7,h,4),(7,h,1),(7,h,2),(7,h,5),(7,i,5),(7,i,0),(7,i,8),(7,i,4),(7,i,7),(7,j,7),(7,j,9),(7,j,4),(7,j,8),(7,j,3),(8,a,6),(8,a,9),(8,a,8),(8,b,9),(8,b,4),(8,b,7),(8,c,9),(8,c,6),(8,c,0),(8,c,2),(8,c,7),(8,d,3),(8,d,6),(8,d,0),(8,d,5),(8,e,5),(8,f,9),(8,f,6),(8,f,0),(8,f,7),(8,g,7),(8,g,8),(8,g,0),(8,g,4),(8,g,6),(8,g,9),(8,g,2),(8,h,4),(8,h,3),(8,h,8),(8,h,2),(8,h,9),(8,h,0),(8,i,8),(8,i,5),(8,i,9),(8,j,9),(8,j,2),(8,j,7),(9,a,5),(9,a,0),(9,a,1),(9,a,9),(9,b,6),(9,b,4),(9,c,2),(9,c,0),(9,c,9),(9,d,9),(9,d,4),(9,d,7),(9,d,3),(9,e,7),(9,e,3),(9,e,0),(9,f,2),(9,f,6),(9,f,8),(9,f,3),(9,f,5),(9,g,9),(9,g,4),(9,h,0),(9,h,5),(9,h,7),(9,h,3),(9,i,3),(9,i,0),(9,i,4),(9,i,9),(9,i,6),(9,i,1),(9,i,8),(9,i,2),(9,j,4),(9,j,3),(9,j,7),(9,j,1),(9,j,9),(9,j,0)
\ No newline at end of file
q10_a10/101.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,3,4,6,7,8,9
(0,a,1),(0,a,9),(0,a,8),(0,a,7),(0,a,5),(0,a,4),(0,a,3),(0,a,0),(0,b,2),(0,b,8),(0,b,3),(0,c,1),(0,c,9),(0,d,5),(0,d,7),(0,d,6),(0,d,3),(0,d,4),(0,e,1),(0,e,4),(0,e,9),(0,e,7),(0,f,9),(0,f,8),(0,f,3),(0,f,0),(0,g,0),(0,g,8),(0,h,7),(0,h,8),(0,i,9),(0,i,5),(0,i,8),(0,i,3),(0,j,5),(0,j,0),(0,j,2),(1,a,2),(1,a,5),(1,a,9),(1,a,6),(1,a,4),(1,a,3),(1,a,1),(1,b,4),(1,b,7),(1,b,3),(1,b,1),(1,b,8),(1,b,9),(1,c,5),(1,c,2),(1,c,3),(1,c,9),(1,d,9),(1,d,2),(1,d,6),(1,d,0),(1,d,8),(1,e,4),(1,e,1),(1,e,2),(1,f,8),(1,f,5),(1,f,0),(1,f,7),(1,f,2),(1,f,6),(1,g,0),(1,g,2),(1,g,7),(1,g,3),(1,h,5),(1,h,8),(1,h,6),(1,h,2),(1,i,5),(1,i,9),(1,i,4),(1,j,9),(1,j,2),(1,j,7),(1,j,1),(1,j,5),(2,a,4),(2,a,1),(2,a,0),(2,a,9),(2,a,8),(2,a,6),(2,b,2),(2,b,7),(2,b,5),(2,b,6),(2,c,2),(2,c,6),(2,d,1),(2,d,9),(2,d,3),(2,d,5),(2,e,8),(2,e,1),(2,e,4),(2,f,3),(2,f,0),(2,f,9),(2,g,5),(2,g,9),(2,g,8),(2,h,7),(2,h,8),(2,h,3),(2,i,1),(2,i,6),(2,i,2),(2,i,7),(2,j,5),(2,j,7),(2,j,2),(2,j,4),(2,j,9),(3,a,4),(3,a,1),(3,a,0),(3,a,9),(3,a,8),(3,a,7),(3,a,6),(3,b,6),(3,b,4),(3,b,7),(3,b,9),(3,b,8),(3,b,3),(3,c,3),(3,c,1),(3,c,5),(3,d,2),(3,d,1),(3,d,8),(3,e,4),(3,e,2),(3,e,6),(3,f,0),(3,f,3),(3,f,1),(3,g,1),(3,g,6),(3,g,5),(3,g,8),(3,g,3),(3,h,7),(3,h,2),(3,h,9),(3,h,4),(3,h,1),(3,i,2),(3,i,3),(3,i,0),(3,i,4),(3,i,9),(3,j,7),(3,j,2),(3,j,8),(3,j,3),(3,j,0),(4,a,1),(4,a,8),(4,a,3),(4,a,6),(4,a,4),(4,b,1),(4,b,0),(4,b,9),(4,c,4),(4,c,3),(4,c,8),(4,c,5),(4,c,9),(4,d,4),(4,d,2),(4,d,7),(4,d,0),(4,d,8),(4,e,0),(4,e,1),(4,e,8),(4,e,2),(4,f,0),(4,f,8),(4,g,1),(4,g,4),(4,g,5),(4,g,0),(4,g,6),(4,g,3),(4,g,8),(4,h,6),(4,h,0),(4,h,5),(4,i,8),(4,i,4),(4,i,6),(4,i,0),(4,j,4),(4,j,6),(4,j,2),(4,j,5),(4,j,9),(5,a,5),(5,a,0),(5,a,6),(5,a,2),(5,a,8),(5,a,7),(5,b,2),(5,b,0),(5,c,8),(5,c,3),(5,c,6),(5,c,1),(5,c,0),(5,d,0),(5,d,4),(5,d,7),(5,e,5),(5,e,3),(5,e,7),(5,e,8),(5,e,2),(5,e,0),(5,e,9),(5,f,0),(5,f,8),(5,f,9),(5,f,4),(5,g,7),(5,g,5),(5,g,3),(5,g,8),(5,g,6),(5,h,7),(5,h,4),(5,h,6),(5,h,8),(5,h,5),(5,i,4),(5,i,9),(5,i,3),(5,i,8),(5,i,6),(5,i,1),(5,j,7),(5,j,3),(5,j,4),(5,j,6),(6,a,4),(6,a,2),(6,a,8),(6,a,9),(6,b,3),(6,b,4),(6,b,5),(6,b,8),(6,b,1),(6,b,7),(6,c,9),(6,c,6),(6,c,5),(6,c,3),(6,d,8),(6,d,6),(6,d,0),(6,d,9),(6,d,4),(6,e,5),(6,e,9),(6,e,4),(6,e,8),(6,f,9),(6,f,7),(6,f,2),(6,f,3),(6,f,5),(6,g,9),(6,g,6),(6,g,0),(6,g,5),(6,h,8),(6,h,9),(6,h,6),(6,h,7),(6,i,0),(6,i,9),(6,i,3),(6,i,5),(6,i,6),(6,i,2),(6,j,6),(6,j,1),(6,j,5),(6,j,0),(7,a,6),(7,a,1),(7,a,9),(7,b,5),(7,c,9),(7,c,6),(7,c,0),(7,c,5),(7,d,6),(7,d,4),(7,d,5),(7,d,7),(7,d,2),(7,e,7),(7,e,4),(7,e,8),(7,e,0),(7,e,6),(7,f,3),(7,f,0),(7,f,5),(7,f,6),(7,f,7),(7,g,3),(7,g,5),(7,g,9),(7,g,1),(7,g,8),(7,h,6),(7,h,5),(7,h,8),(7,i,5),(7,i,2),(7,j,9),(7,j,5),(7,j,3),(8,a,7),(8,a,4),(8,a,9),(8,a,8),(8,b,4),(8,c,9),(8,c,3),(8,c,7),(8,c,4),(8,d,6),(8,d,4),(8,d,3),(8,d,5),(8,e,5),(8,e,6),(8,e,8),(8,e,3),(8,f,5),(8,f,4),(8,f,0),(8,g,5),(8,g,2),(8,g,1),(8,g,4),(8,g,9),(8,h,8),(8,h,4),(8,i,4),(8,j,9),(8,j,7),(8,j,1),(8,j,5),(8,j,0),(9,a,2),(9,a,6),(9,a,1),(9,a,0),(9,a,4),(9,b,6),(9,b,1),(9,b,4),(9,b,9),(9,c,9),(9,c,4),(9,c,2),(9,c,1),(9,d,5),(9,d,3),(9,d,1),(9,d,9),(9,d,4),(9,d,8),(9,d,0),(9,e,4),(9,e,5),(9,e,6),(9,e,1),(9,e,7),(9,f,0),(9,f,2),(9,f,6),(9,f,1),(9,g,9),(9,g,7),(9,g,6),(9,g,5),(9,h,1),(9,h,4),(9,h,0),(9,h,5),(9,i,9),(9,i,8),(9,i,3),(9,i,7),(9,j,2),(9,j,1),(9,j,4),(9,j,6),(9,j,3),(9,j,0)
\ No newline at end of file
q10_a10/102.nfa 0 → 100644
View file @ cf53e330
10,10
0,3,6,8,9
(0,a,9),(0,a,7),(0,a,5),(0,a,4),(0,a,3),(0,a,2),(0,a,0),(0,b,1),(0,b,2),(0,b,9),(0,b,4),(0,b,0),(0,c,4),(0,c,3),(0,c,5),(0,c,2),(0,d,4),(0,d,8),(0,d,0),(0,e,8),(0,e,5),(0,f,1),(0,f,8),(0,f,9),(0,f,7),(0,f,2),(0,g,6),(0,g,2),(0,g,0),(0,g,9),(0,g,4),(0,g,8),(0,h,0),(0,h,1),(0,h,8),(0,h,3),(0,i,2),(0,i,9),(0,i,1),(0,i,8),(0,j,5),(0,j,0),(0,j,7),(1,a,2),(1,a,8),(1,a,5),(1,a,3),(1,b,0),(1,b,4),(1,b,2),(1,b,1),(1,b,6),(1,c,6),(1,c,3),(1,c,5),(1,d,8),(1,d,6),(1,d,5),(1,d,0),(1,e,0),(1,e,3),(1,e,5),(1,e,8),(1,e,9),(1,e,7),(1,f,5),(1,f,9),(1,f,8),(1,g,3),(1,g,2),(1,g,9),(1,h,1),(1,h,4),(1,h,3),(1,h,7),(1,h,2),(1,i,1),(1,i,3),(1,j,6),(1,j,3),(1,j,8),(1,j,9),(1,j,4),(1,j,0),(1,j,5),(2,a,8),(2,a,2),(2,b,3),(2,b,2),(2,c,6),(2,c,5),(2,c,0),(2,d,9),(2,d,4),(2,d,0),(2,d,6),(2,e,6),(2,e,2),(2,e,9),(2,e,4),(2,f,7),(2,f,6),(2,g,8),(2,g,5),(2,g,9),(2,g,4),(2,g,6),(2,h,1),(2,h,6),(2,h,8),(2,h,0),(2,i,5),(2,i,4),(2,i,9),(2,i,6),(2,i,0),(2,j,5),(2,j,9),(2,j,1),(2,j,8),(2,j,3),(3,a,2),(3,a,5),(3,a,7),(3,a,9),(3,a,6),(3,a,3),(3,b,6),(3,b,0),(3,c,1),(3,c,8),(3,c,4),(3,c,2),(3,c,7),(3,d,2),(3,d,7),(3,d,8),(3,d,9),(3,d,0),(3,d,5),(3,e,6),(3,e,5),(3,e,0),(3,e,8),(3,e,9),(3,e,4),(3,f,5),(3,f,0),(3,f,1),(3,g,8),(3,g,6),(3,g,2),(3,g,4),(3,g,9),(3,h,9),(3,h,8),(3,h,3),(3,h,7),(3,h,5),(3,h,1),(3,i,5),(3,i,8),(3,i,7),(3,i,2),(3,i,3),(3,i,6),(3,i,9),(3,j,1),(3,j,9),(3,j,3),(4,a,2),(4,a,6),(4,a,4),(4,b,7),(4,b,2),(4,b,8),(4,b,6),(4,b,9),(4,c,9),(4,c,4),(4,c,3),(4,c,8),(4,c,1),(4,d,8),(4,d,9),(4,e,3),(4,e,9),(4,e,6),(4,e,8),(4,e,4),(4,e,2),(4,e,7),(4,f,8),(4,f,7),(4,f,2),(4,f,6),(4,g,3),(4,g,9),(4,g,0),(4,g,2),(4,g,8),(4,g,6),(4,h,8),(4,h,5),(4,h,0),(4,h,3),(4,h,9),(4,h,7),(4,i,4),(4,i,0),(4,i,6),(4,j,1),(4,j,3),(4,j,2),(4,j,4),(5,a,0),(5,a,6),(5,b,6),(5,b,3),(5,b,5),(5,b,0),(5,c,4),(5,c,7),(5,c,3),(5,c,8),(5,c,6),(5,c,1),(5,d,3),(5,d,9),(5,d,0),(5,d,5),(5,e,3),(5,e,8),(5,e,2),(5,e,7),(5,f,1),(5,f,9),(5,f,5),(5,f,8),(5,f,2),(5,f,7),(5,g,8),(5,g,4),(5,g,9),(5,g,2),(5,g,5),(5,h,4),(5,h,8),(5,i,1),(5,i,9),(5,i,5),(5,i,3),(5,i,6),(5,i,2),(5,j,2),(5,j,7),(5,j,6),(5,j,5),(5,j,9),(6,a,4),(6,a,6),(6,a,0),(6,a,8),(6,a,7),(6,b,5),(6,c,4),(6,c,7),(6,c,5),(6,c,9),(6,c,0),(6,c,6),(6,c,1),(6,c,2),(6,d,8),(6,d,5),(6,e,1),(6,e,4),(6,e,2),(6,e,7),(6,f,0),(6,f,1),(6,g,1),(6,g,4),(6,g,8),(6,h,1),(6,h,7),(6,h,4),(6,h,3),(6,i,3),(6,i,9),(6,j,7),(6,j,9),(6,j,0),(6,j,6),(6,j,3),(6,j,2),(7,a,0),(7,a,5),(7,a,6),(7,a,9),(7,a,3),(7,a,8),(7,b,6),(7,b,9),(7,b,8),(7,b,7),(7,b,2),(7,c,0),(7,c,4),(7,e,9),(7,e,2),(7,e,5),(7,e,3),(7,e,8),(7,f,8),(7,f,4),(7,f,6),(7,g,7),(7,g,2),(7,g,5),(7,g,8),(7,h,7),(7,h,2),(7,h,9),(7,i,8),(7,i,0),(7,i,3),(7,i,1),(7,i,5),(7,i,6),(7,i,9),(7,i,7),(7,i,2),(7,j,9),(7,j,0),(7,j,2),(7,j,3),(8,a,4),(8,a,3),(8,b,0),(8,b,5),(8,b,4),(8,b,9),(8,c,5),(8,c,2),(8,c,9),(8,c,1),(8,d,6),(8,d,9),(8,d,4),(8,e,0),(8,e,3),(8,e,2),(8,e,1),(8,f,6),(8,f,1),(8,g,2),(8,g,5),(8,g,9),(8,g,8),(8,h,7),(8,h,9),(8,h,0),(8,h,5),(8,h,8),(8,i,9),(8,i,6),(8,i,1),(8,j,6),(8,j,5),(8,j,0),(8,j,3),(9,a,8),(9,a,6),(9,a,2),(9,a,7),(9,a,0),(9,a,9),(9,b,5),(9,b,8),(9,b,1),(9,b,4),(9,c,0),(9,c,9),(9,c,7),(9,c,2),(9,d,8),(9,d,6),(9,d,1),(9,d,9),(9,d,0),(9,e,7),(9,e,2),(9,e,4),(9,f,2),(9,f,1),(9,f,6),(9,f,5),(9,f,0),(9,g,6),(9,g,8),(9,g,4),(9,g,5),(9,g,7),(9,g,9),(9,g,1),(9,h,4),(9,h,7),(9,i,3),(9,i,6),(9,i,1),(9,i,7),(9,j,5),(9,j,7),(9,j,4),(9,j,3),(9,j,1),(9,j,6)
\ No newline at end of file
q10_a10/103.nfa 0 → 100644
View file @ cf53e330
10,10
3,6,8
(0,a,6),(0,a,7),(0,a,3),(0,a,2),(0,a,1),(0,a,0),(0,b,6),(0,b,1),(0,b,5),(0,b,0),(0,c,4),(0,c,7),(0,d,8),(0,d,6),(0,d,1),(0,d,9),(0,e,5),(0,e,2),(0,e,6),(0,e,1),(0,e,9),(0,e,4),(0,f,6),(0,f,8),(0,f,0),(0,f,5),(0,g,5),(0,g,2),(0,g,9),(0,g,6),(0,g,3),(0,h,2),(0,h,5),(0,h,3),(0,i,2),(0,i,0),(0,i,8),(0,i,3),(0,i,6),(0,j,3),(0,j,7),(0,j,1),(0,j,9),(1,a,0),(1,a,9),(1,a,8),(1,a,7),(1,a,6),(1,a,5),(1,a,3),(1,a,2),(1,b,5),(1,c,0),(1,c,7),(1,c,3),(1,c,8),(1,c,6),(1,c,1),(1,d,7),(1,d,2),(1,d,9),(1,d,3),(1,e,9),(1,f,4),(1,f,8),(1,f,2),(1,f,7),(1,f,0),(1,g,0),(1,g,5),(1,g,1),(1,g,4),(1,h,3),(1,h,8),(1,h,6),(1,h,5),(1,h,2),(1,i,4),(1,i,8),(1,i,7),(1,j,2),(1,j,9),(1,j,6),(1,j,8),(2,a,2),(2,a,0),(2,a,7),(2,a,1),(2,a,8),(2,a,3),(2,b,7),(2,b,9),(2,b,1),(2,c,6),(2,c,1),(2,c,2),(2,c,7),(2,d,0),(2,d,2),(2,d,8),(2,d,6),(2,e,6),(2,e,4),(2,e,9),(2,e,3),(2,e,5),(2,e,0),(2,f,2),(2,f,7),(2,f,6),(2,f,4),(2,f,9),(2,f,8),(2,g,4),(2,g,0),(2,g,7),(2,h,2),(2,h,3),(2,h,6),(2,i,0),(2,i,9),(2,i,2),(2,i,7),(2,j,6),(3,a,3),(3,a,8),(3,a,9),(3,a,6),(3,b,7),(3,b,3),(3,b,0),(3,b,2),(3,b,1),(3,b,5),(3,b,8),(3,c,2),(3,c,7),(3,d,4),(3,d,1),(3,d,8),(3,d,3),(3,e,8),(3,e,7),(3,e,6),(3,e,4),(3,f,5),(3,f,9),(3,f,8),(3,f,2),(3,f,6),(3,g,7),(3,g,4),(3,g,6),(3,g,5),(3,g,2),(3,g,9),(3,g,8),(3,h,4),(3,h,8),(3,h,6),(3,h,1),(3,i,3),(3,i,5),(3,j,8),(3,j,5),(3,j,4),(3,j,9),(4,a,2),(4,a,3),(4,a,8),(4,a,6),(4,b,7),(4,b,1),(4,b,8),(4,b,3),(4,b,0),(4,b,5),(4,c,8),(4,c,3),(4,c,9),(4,c,4),(4,c,5),(4,c,1),(4,d,3),(4,d,1),(4,e,6),(4,e,3),(4,e,0),(4,e,5),(4,e,7),(4,f,3),(4,f,4),(4,f,2),(4,f,5),(4,f,8),(4,g,4),(4,g,0),(4,h,9),(4,h,6),(4,h,1),(4,h,0),(4,h,7),(4,i,0),(4,i,4),(4,i,9),(4,i,8),(4,i,2),(4,j,5),(4,j,3),(4,j,4),(5,a,5),(5,a,2),(5,a,4),(5,a,3),(5,a,7),(5,a,6),(5,b,1),(5,b,8),(5,b,0),(5,b,4),(5,b,5),(5,c,4),(5,c,2),(5,c,5),(5,d,3),(5,d,2),(5,d,8),(5,d,6),(5,d,9),(5,d,5),(5,e,4),(5,e,8),(5,e,6),(5,e,1),(5,e,9),(5,e,2),(5,e,7),(5,f,6),(5,f,3),(5,f,0),(5,g,1),(5,g,5),(5,g,3),(5,h,5),(5,h,4),(5,h,8),(5,h,0),(5,h,6),(5,h,1),(5,i,8),(5,i,3),(5,i,5),(5,j,5),(5,j,7),(5,j,2),(5,j,8),(5,j,6),(5,j,0),(6,a,4),(6,a,1),(6,a,9),(6,b,8),(6,c,5),(6,c,4),(6,c,8),(6,c,2),(6,c,6),(6,c,1),(6,d,7),(6,d,1),(6,d,0),(6,e,7),(6,e,0),(6,e,1),(6,e,6),(6,e,9),(6,f,9),(6,f,8),(6,g,7),(6,g,2),(6,g,9),(6,g,4),(6,g,6),(6,h,8),(6,i,8),(6,i,3),(6,i,7),(6,i,0),(6,i,9),(6,j,9),(6,j,4),(6,j,5),(6,j,0),(7,a,4),(7,a,5),(7,a,6),(7,a,8),(7,b,9),(7,b,8),(7,b,7),(7,b,2),(7,c,2),(7,c,8),(7,c,3),(7,c,6),(7,c,5),(7,d,2),(7,d,8),(7,d,0),(7,d,5),(7,e,4),(7,e,1),(7,e,3),(7,f,7),(7,f,1),(7,g,3),(7,g,6),(7,g,1),(7,h,3),(7,h,0),(7,h,5),(7,h,2),(7,h,9),(7,i,0),(7,i,5),(7,i,2),(7,i,9),(7,i,4),(7,i,8),(7,j,2),(7,j,4),(7,j,6),(7,j,0),(8,a,1),(8,a,6),(8,a,0),(8,a,3),(8,a,8),(8,b,6),(8,b,5),(8,b,7),(8,b,3),(8,b,4),(8,c,6),(8,c,5),(8,c,2),(8,c,4),(8,c,9),(8,e,0),(8,e,6),(8,e,9),(8,f,4),(8,f,9),(8,f,3),(8,f,0),(8,f,5),(8,g,5),(8,g,2),(8,g,8),(8,g,3),(8,h,9),(8,h,4),(8,h,6),(8,h,5),(8,i,7),(8,i,9),(8,i,4),(8,i,6),(8,i,0),(8,j,1),(8,j,8),(8,j,0),(8,j,9),(9,a,1),(9,a,4),(9,a,9),(9,a,5),(9,a,0),(9,b,8),(9,b,7),(9,b,6),(9,b,4),(9,b,5),(9,c,7),(9,c,2),(9,c,6),(9,d,1),(9,d,8),(9,d,3),(9,e,9),(9,e,1),(9,e,2),(9,e,0),(9,f,6),(9,f,2),(9,f,7),(9,f,5),(9,g,1),(9,g,3),(9,g,6),(9,g,0),(9,g,4),(9,g,9),(9,h,0),(9,h,2),(9,h,4),(9,h,9),(9,h,6),(9,h,1),(9,i,6),(9,i,2),(9,i,9),(9,i,4),(9,i,0),(9,j,3),(9,j,0),(9,j,7),(9,j,2)
\ No newline at end of file
q10_a10/104.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,9
(0,a,1),(0,a,9),(0,a,7),(0,a,4),(0,a,2),(0,a,0),(0,b,1),(0,b,2),(0,b,3),(0,b,8),(0,c,6),(0,c,1),(0,c,9),(0,c,3),(0,c,8),(0,d,8),(0,d,2),(0,d,1),(0,d,4),(0,e,8),(0,e,7),(0,e,2),(0,e,4),(0,f,0),(0,f,6),(0,f,1),(0,f,8),(0,f,2),(0,g,1),(0,h,1),(0,h,8),(0,h,3),(0,h,4),(0,i,5),(0,i,7),(0,j,9),(0,j,8),(0,j,7),(0,j,2),(0,j,6),(1,a,5),(1,a,6),(1,a,4),(1,b,2),(1,b,1),(1,c,2),(1,c,3),(1,d,9),(1,d,6),(1,d,1),(1,d,3),(1,e,0),(1,e,9),(1,e,7),(1,e,2),(1,f,5),(1,f,2),(1,g,7),(1,g,0),(1,g,4),(1,g,1),(1,h,1),(1,h,2),(1,h,9),(1,i,3),(1,i,0),(1,i,7),(1,i,6),(1,i,9),(1,j,3),(1,j,7),(1,j,0),(1,j,9),(1,j,6),(1,j,1),(1,j,2),(2,a,1),(2,a,0),(2,a,9),(2,a,8),(2,a,6),(2,a,4),(2,a,3),(2,a,2),(2,b,6),(2,b,3),(2,c,9),(2,c,8),(2,c,7),(2,c,1),(2,d,0),(2,d,9),(2,d,4),(2,d,6),(2,d,7),(2,d,2),(2,d,5),(2,e,5),(2,e,2),(2,e,7),(2,e,4),(2,e,8),(2,f,6),(2,f,7),(2,f,2),(2,f,8),(2,f,9),(2,f,1),(2,g,7),(2,g,0),(2,g,4),(2,g,1),(2,g,6),(2,g,3),(2,h,2),(2,h,5),(2,h,1),(2,h,3),(2,i,0),(2,i,3),(2,i,7),(2,i,5),(2,i,1),(2,j,4),(2,j,1),(2,j,2),(3,a,7),(3,a,0),(3,a,1),(3,a,2),(3,a,9),(3,a,8),(3,a,5),(3,a,4),(3,a,3),(3,b,3),(3,b,5),(3,b,0),(3,c,4),(3,c,7),(3,c,2),(3,c,3),(3,c,0),(3,d,4),(3,d,3),(3,d,2),(3,d,5),(3,d,0),(3,e,4),(3,e,7),(3,e,0),(3,e,6),(3,e,3),(3,f,0),(3,f,5),(3,f,1),(3,f,6),(3,f,4),(3,f,7),(3,g,2),(3,g,6),(3,h,6),(3,h,0),(3,h,9),(3,i,5),(3,i,2),(3,i,3),(3,j,4),(3,j,6),(3,j,3),(3,j,2),(3,j,0),(4,a,3),(4,a,9),(4,a,6),(4,a,4),(4,b,5),(4,b,7),(4,b,4),(4,b,2),(4,b,0),(4,b,1),(4,b,3),(4,b,8),(4,c,7),(4,c,0),(4,d,9),(4,d,2),(4,d,7),(4,e,3),(4,f,6),(4,f,4),(4,f,3),(4,g,9),(4,g,8),(4,g,1),(4,h,7),(4,h,3),(4,h,5),(4,i,7),(4,i,9),(4,i,5),(4,j,3),(4,j,8),(4,j,0),(4,j,6),(5,a,3),(5,a,1),(5,a,6),(5,a,9),(5,a,8),(5,a,7),(5,a,5),(5,b,0),(5,b,3),(5,b,2),(5,b,7),(5,b,6),(5,b,1),(5,c,5),(5,c,7),(5,c,2),(5,c,8),(5,c,9),(5,d,8),(5,d,0),(5,d,7),(5,d,2),(5,e,0),(5,e,3),(5,f,0),(5,f,4),(5,f,7),(5,g,4),(5,g,6),(5,h,9),(5,h,3),(5,h,1),(5,h,6),(5,i,2),(5,i,0),(5,i,1),(5,j,3),(5,j,8),(5,j,5),(6,a,3),(6,a,2),(6,a,0),(6,a,9),(6,a,6),(6,b,5),(6,c,2),(6,c,5),(6,c,4),(6,c,6),(6,c,1),(6,d,7),(6,d,1),(6,e,6),(6,e,8),(6,e,7),(6,f,1),(6,f,8),(6,f,4),(6,g,3),(6,g,1),(6,h,2),(6,h,9),(6,h,4),(6,h,3),(6,h,8),(6,i,0),(6,i,2),(6,i,7),(6,i,9),(6,i,4),(6,i,3),(6,j,2),(6,j,6),(6,j,3),(6,j,0),(7,a,2),(7,a,0),(7,a,5),(7,a,4),(7,a,9),(7,b,8),(7,b,3),(7,b,5),(7,c,5),(7,c,0),(7,c,6),(7,c,1),(7,c,3),(7,c,9),(7,d,6),(7,d,5),(7,d,0),(7,e,8),(7,e,1),(7,e,0),(7,e,4),(7,f,2),(7,f,5),(7,f,1),(7,g,9),(7,g,4),(7,g,2),(7,g,6),(7,g,1),(7,g,8),(7,h,4),(7,h,6),(7,h,5),(7,h,8),(7,i,6),(7,i,7),(7,i,2),(7,j,0),(7,j,8),(7,j,7),(7,j,5),(7,j,6),(7,j,1),(7,j,9),(7,j,3),(7,j,2),(8,b,3),(8,b,6),(8,b,4),(8,c,7),(8,c,5),(8,d,0),(8,d,7),(8,e,3),(8,e,4),(8,e,9),(8,e,0),(8,f,5),(8,f,6),(8,f,1),(8,g,9),(8,g,6),(8,g,4),(8,g,0),(8,g,3),(8,h,0),(8,h,1),(8,h,8),(8,h,2),(8,i,5),(8,i,7),(8,j,1),(8,j,4),(8,j,5),(8,j,2),(9,a,5),(9,a,9),(9,b,4),(9,b,0),(9,b,5),(9,b,8),(9,b,7),(9,c,6),(9,c,5),(9,c,0),(9,c,9),(9,d,5),(9,d,9),(9,d,1),(9,e,1),(9,e,7),(9,f,4),(9,f,0),(9,f,5),(9,g,5),(9,g,4),(9,g,9),(9,g,7),(9,g,2),(9,h,6),(9,h,4),(9,h,9),(9,h,5),(9,h,2),(9,i,9),(9,i,1),(9,i,5),(9,i,0),(9,j,4),(9,j,2),(9,j,7),(9,j,5)
\ No newline at end of file
q10_a10/105.nfa 0 → 100644
View file @ cf53e330
10,10
0,3,5,6,7
(0,a,8),(0,a,5),(0,a,0),(0,a,9),(0,a,6),(0,a,4),(0,a,3),(0,b,6),(0,b,9),(0,b,3),(0,c,7),(0,c,3),(0,c,9),(0,c,0),(0,c,5),(0,c,2),(0,d,1),(0,d,9),(0,d,3),(0,d,6),(0,d,2),(0,d,5),(0,e,4),(0,e,7),(0,f,7),(0,f,6),(0,f,8),(0,f,9),(0,f,4),(0,f,2),(0,g,9),(0,g,4),(0,g,7),(0,g,0),(0,h,4),(0,h,7),(0,h,1),(0,h,3),(0,h,0),(0,i,9),(0,i,4),(0,i,2),(0,i,3),(0,i,8),(0,j,6),(0,j,9),(0,j,7),(0,j,2),(1,a,9),(1,a,7),(1,a,5),(1,a,3),(1,a,1),(1,b,4),(1,b,0),(1,b,5),(1,b,9),(1,b,1),(1,b,8),(1,c,2),(1,c,4),(1,c,6),(1,c,8),(1,c,5),(1,c,7),(1,d,6),(1,d,0),(1,d,2),(1,d,3),(1,d,4),(1,e,9),(1,e,3),(1,e,0),(1,e,2),(1,f,4),(1,f,0),(1,f,5),(1,f,8),(1,g,5),(1,g,0),(1,g,4),(1,g,3),(1,g,8),(1,h,4),(1,h,7),(1,i,9),(1,i,3),(1,i,1),(1,i,6),(1,j,8),(1,j,1),(1,j,2),(2,a,4),(2,a,0),(2,a,5),(2,a,3),(2,a,2),(2,b,1),(2,b,5),(2,b,3),(2,c,4),(2,c,1),(2,c,3),(2,d,9),(2,d,4),(2,d,1),(2,d,0),(2,e,6),(2,e,8),(2,e,3),(2,e,2),(2,e,9),(2,f,7),(2,f,4),(2,g,5),(2,g,0),(2,g,7),(2,h,9),(2,h,6),(2,h,7),(2,i,3),(2,j,2),(2,j,4),(2,j,9),(3,a,4),(3,a,0),(3,a,5),(3,a,8),(3,a,6),(3,a,3),(3,b,7),(3,b,6),(3,b,2),(3,b,0),(3,b,8),(3,b,1),(3,b,4),(3,c,6),(3,c,0),(3,d,1),(3,d,4),(3,d,2),(3,d,6),(3,e,5),(3,e,6),(3,e,2),(3,f,2),(3,f,3),(3,f,1),(3,f,6),(3,f,9),(3,g,3),(3,g,9),(3,g,4),(3,g,2),(3,h,7),(3,h,1),(3,h,9),(3,i,3),(3,i,8),(3,i,2),(3,i,0),(3,j,5),(3,j,0),(3,j,2),(3,j,7),(3,j,6),(4,a,2),(4,a,8),(4,a,6),(4,a,5),(4,a,4),(4,b,6),(4,b,2),(4,b,7),(4,b,8),(4,c,8),(4,c,7),(4,c,1),(4,d,9),(4,d,5),(4,d,1),(4,e,9),(4,e,4),(4,f,5),(4,g,3),(4,g,8),(4,g,1),(4,g,7),(4,h,7),(4,h,5),(4,h,4),(4,i,3),(4,j,3),(4,j,2),(4,j,4),(4,j,9),(5,a,0),(5,a,4),(5,a,7),(5,a,6),(5,a,5),(5,b,5),(5,b,8),(5,b,3),(5,c,0),(5,c,3),(5,c,1),(5,d,8),(5,e,6),(5,f,8),(5,f,3),(5,f,7),(5,f,2),(5,f,9),(5,g,9),(5,g,2),(5,g,1),(5,g,3),(5,g,5),(5,h,4),(5,h,6),(5,h,1),(5,h,3),(5,h,2),(5,i,6),(5,i,0),(5,i,5),(5,j,0),(5,j,6),(5,j,1),(5,j,2),(6,a,5),(6,a,3),(6,a,8),(6,a,7),(6,a,6),(6,b,7),(6,b,6),(6,b,1),(6,b,4),(6,c,1),(6,c,7),(6,c,8),(6,d,1),(6,d,3),(6,d,4),(6,e,5),(6,e,6),(6,f,0),(6,f,8),(6,f,4),(6,f,1),(6,g,1),(6,g,0),(6,g,5),(6,g,7),(6,h,6),(6,h,9),(6,h,8),(6,i,4),(6,i,5),(6,i,8),(6,i,1),(6,i,6),(6,j,2),(6,j,3),(6,j,7),(6,j,6),(6,j,4),(6,j,0),(7,a,5),(7,a,0),(7,a,4),(7,a,9),(7,a,7),(7,b,4),(7,b,6),(7,b,2),(7,c,3),(7,c,4),(7,c,8),(7,c,1),(7,c,0),(7,d,5),(7,d,3),(7,d,4),(7,d,2),(7,e,7),(7,e,4),(7,e,3),(7,e,6),(7,f,2),(7,f,3),(7,f,1),(7,g,7),(7,g,1),(7,g,9),(7,g,5),(7,g,3),(7,g,8),(7,h,8),(7,h,5),(7,h,6),(7,h,7),(7,h,0),(7,i,4),(7,i,6),(7,i,1),(7,i,5),(7,j,9),(7,j,6),(7,j,2),(7,j,3),(7,j,8),(8,a,2),(8,a,5),(8,a,0),(8,a,7),(8,a,1),(8,a,9),(8,b,1),(8,c,1),(8,c,3),(8,c,8),(8,c,2),(8,d,8),(8,e,9),(8,e,5),(8,e,7),(8,e,3),(8,e,0),(8,e,2),(8,e,6),(8,e,4),(8,f,1),(8,f,8),(8,f,0),(8,f,5),(8,f,4),(8,f,7),(8,g,9),(8,g,6),(8,g,7),(8,g,2),(8,g,8),(8,h,1),(8,h,3),(8,h,9),(8,h,7),(8,i,0),(8,i,3),(8,i,6),(8,j,0),(8,j,6),(8,j,3),(9,a,1),(9,a,2),(9,a,3),(9,a,0),(9,b,9),(9,b,3),(9,b,6),(9,b,0),(9,b,7),(9,b,2),(9,c,1),(9,c,0),(9,c,8),(9,c,3),(9,d,3),(9,d,6),(9,d,4),(9,e,3),(9,e,2),(9,e,0),(9,f,7),(9,f,0),(9,g,4),(9,g,9),(9,g,3),(9,g,6),(9,g,5),(9,h,0),(9,h,1),(9,h,2),(9,h,7),(9,i,5),(9,i,8),(9,i,7),(9,i,2),(9,j,9),(9,j,2),(9,j,5),(9,j,8),(9,j,3)
\ No newline at end of file
q10_a10/106.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,3,8,9
(0,a,6),(0,a,9),(0,a,3),(0,a,1),(0,a,0),(0,b,7),(0,b,2),(0,b,9),(0,b,8),(0,b,3),(0,c,2),(0,c,4),(0,c,9),(0,c,3),(0,c,8),(0,d,2),(0,d,0),(0,d,5),(0,e,2),(0,f,6),(0,f,5),(0,f,3),(0,g,5),(0,g,4),(0,g,7),(0,g,6),(0,h,5),(0,h,9),(0,h,3),(0,h,2),(0,i,7),(0,i,5),(0,i,0),(0,i,8),(0,i,3),(0,i,9),(0,j,6),(0,j,9),(0,j,4),(0,j,2),(0,j,7),(1,a,0),(1,a,4),(1,a,7),(1,a,3),(1,a,2),(1,b,1),(1,b,7),(1,b,5),(1,c,3),(1,c,0),(1,c,9),(1,c,8),(1,c,4),(1,c,2),(1,c,5),(1,d,9),(1,d,2),(1,d,7),(1,d,1),(1,e,2),(1,e,8),(1,e,3),(1,e,6),(1,e,0),(1,e,5),(1,f,1),(1,f,9),(1,f,8),(1,g,3),(1,g,8),(1,g,5),(1,h,9),(1,h,3),(1,h,6),(1,h,1),(1,i,3),(1,i,2),(1,i,6),(1,i,5),(1,j,7),(1,j,2),(1,j,4),(2,a,0),(2,a,9),(2,a,6),(2,a,5),(2,a,4),(2,a,3),(2,b,2),(2,b,5),(2,b,1),(2,c,6),(2,c,5),(2,c,7),(2,c,2),(2,d,2),(2,d,8),(2,e,0),(2,e,7),(2,e,1),(2,e,4),(2,e,9),(2,e,2),(2,f,4),(2,f,3),(2,f,9),(2,f,7),(2,f,6),(2,f,1),(2,g,9),(2,g,6),(2,h,2),(2,h,5),(2,h,9),(2,h,4),(2,i,5),(2,i,6),(2,i,1),(2,i,3),(2,j,5),(2,j,4),(2,j,8),(2,j,0),(2,j,1),(2,j,7),(2,j,2),(3,a,6),(3,a,0),(3,a,5),(3,a,4),(3,a,3),(3,b,0),(3,b,4),(3,b,9),(3,b,7),(3,c,1),(3,c,4),(3,c,0),(3,c,5),(3,d,9),(3,d,8),(3,e,5),(3,e,1),(3,f,6),(3,f,2),(3,f,8),(3,f,9),(3,g,4),(3,g,3),(3,g,9),(3,g,7),(3,g,2),(3,g,5),(3,g,6),(3,h,6),(3,h,8),(3,h,9),(3,i,5),(3,i,1),(3,i,9),(3,i,3),(3,i,2),(3,j,2),(3,j,4),(4,a,0),(4,a,9),(4,a,8),(4,a,7),(4,a,6),(4,a,4),(4,b,7),(4,b,0),(4,b,1),(4,b,9),(4,c,9),(4,c,7),(4,c,2),(4,c,8),(4,d,4),(4,d,9),(4,d,5),(4,d,3),(4,d,6),(4,d,1),(4,e,2),(4,e,8),(4,e,1),(4,e,6),(4,e,4),(4,f,5),(4,f,7),(4,f,1),(4,f,6),(4,g,3),(4,g,7),(4,g,6),(4,g,5),(4,g,2),(4,h,7),(4,h,0),(4,h,9),(4,h,3),(4,h,1),(4,h,6),(4,i,5),(4,i,9),(4,i,1),(4,j,8),(4,j,0),(4,j,5),(5,a,0),(5,a,8),(5,a,7),(5,b,0),(5,b,4),(5,b,9),(5,b,7),(5,b,6),(5,c,2),(5,c,9),(5,c,3),(5,c,6),(5,c,1),(5,c,0),(5,d,0),(5,d,8),(5,e,4),(5,e,8),(5,f,0),(5,f,1),(5,f,5),(5,f,3),(5,f,7),(5,g,5),(5,g,3),(5,g,1),(5,g,9),(5,g,4),(5,h,5),(5,h,4),(5,h,8),(5,i,4),(5,j,6),(5,j,0),(5,j,2),(6,a,9),(6,a,8),(6,a,2),(6,a,7),(6,a,6),(6,b,9),(6,b,1),(6,b,2),(6,b,3),(6,c,8),(6,c,3),(6,c,0),(6,c,2),(6,c,9),(6,c,4),(6,c,1),(6,d,9),(6,d,0),(6,d,1),(6,d,8),(6,d,3),(6,d,2),(6,e,4),(6,e,5),(6,f,7),(6,f,5),(6,f,0),(6,f,3),(6,g,1),(6,g,4),(6,g,7),(6,g,0),(6,h,7),(6,h,9),(6,h,3),(6,i,3),(6,i,9),(6,i,8),(6,i,6),(6,i,1),(6,i,7),(6,i,2),(6,j,9),(6,j,3),(6,j,8),(6,j,6),(6,j,1),(7,a,1),(7,a,5),(7,a,3),(7,a,8),(7,a,2),(7,a,7),(7,b,9),(7,b,6),(7,b,0),(7,c,3),(7,c,0),(7,c,2),(7,c,4),(7,c,9),(7,d,7),(7,d,5),(7,d,9),(7,d,4),(7,e,5),(7,e,8),(7,e,3),(7,e,6),(7,f,4),(7,f,2),(7,f,0),(7,f,8),(7,f,3),(7,g,2),(7,g,6),(7,g,5),(7,h,1),(7,i,2),(7,i,6),(7,i,9),(7,i,3),(7,i,5),(7,i,0),(7,j,4),(7,j,8),(7,j,7),(8,a,4),(8,a,9),(8,a,2),(8,a,1),(8,a,5),(8,b,0),(8,b,8),(8,b,9),(8,b,4),(8,c,2),(8,c,5),(8,c,1),(8,c,7),(8,c,0),(8,d,3),(8,d,7),(8,d,5),(8,d,1),(8,d,6),(8,e,2),(8,e,5),(8,e,0),(8,e,4),(8,f,8),(8,f,9),(8,f,3),(8,f,6),(8,f,1),(8,f,4),(8,f,7),(8,f,2),(8,g,7),(8,g,0),(8,h,2),(8,h,8),(8,h,6),(8,h,1),(8,h,7),(8,h,0),(8,h,4),(8,i,0),(8,i,7),(8,i,9),(8,j,0),(8,j,3),(8,j,1),(8,j,6),(9,a,0),(9,a,2),(9,a,5),(9,a,1),(9,a,4),(9,b,2),(9,b,1),(9,b,5),(9,c,1),(9,c,4),(9,d,3),(9,d,8),(9,d,9),(9,d,4),(9,d,7),(9,e,4),(9,e,9),(9,e,6),(9,e,8),(9,f,7),(9,f,9),(9,f,8),(9,f,3),(9,f,1),(9,g,6),(9,g,4),(9,h,4),(9,h,3),(9,i,8),(9,i,4),(9,i,0),(9,i,5),(9,i,6),(9,i,1),(9,j,6),(9,j,8),(9,j,9),(9,j,4)
\ No newline at end of file
q10_a10/107.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,2,3,5,6
(0,a,8),(0,a,6),(0,a,9),(0,a,7),(0,a,5),(0,a,4),(0,a,1),(0,b,7),(0,b,8),(0,c,9),(0,c,3),(0,c,6),(0,c,0),(0,d,2),(0,d,5),(0,d,8),(0,d,3),(0,d,6),(0,e,2),(0,e,6),(0,e,9),(0,f,6),(0,f,4),(0,f,0),(0,f,2),(0,f,3),(0,g,2),(0,g,8),(0,g,3),(0,g,1),(0,h,9),(0,h,3),(0,h,6),(0,h,4),(0,h,2),(0,h,0),(0,i,8),(0,i,1),(0,i,5),(0,j,6),(0,j,5),(0,j,0),(1,a,4),(1,a,9),(1,a,0),(1,a,8),(1,a,3),(1,a,2),(1,a,1),(1,b,3),(1,b,5),(1,b,9),(1,b,7),(1,b,2),(1,c,2),(1,c,9),(1,c,5),(1,c,8),(1,c,3),(1,d,0),(1,d,9),(1,d,3),(1,d,2),(1,e,9),(1,e,5),(1,e,1),(1,f,9),(1,f,3),(1,f,1),(1,g,4),(1,g,1),(1,h,7),(1,h,1),(1,i,8),(1,i,6),(1,i,9),(1,i,4),(1,j,3),(1,j,8),(1,j,9),(1,j,7),(1,j,0),(1,j,5),(2,a,5),(2,a,1),(2,a,6),(2,a,9),(2,a,7),(2,a,4),(2,a,3),(2,a,2),(2,b,3),(2,b,5),(2,b,6),(2,c,2),(2,c,3),(2,c,6),(2,c,1),(2,d,0),(2,d,3),(2,e,7),(2,e,0),(2,e,1),(2,e,3),(2,e,8),(2,f,4),(2,f,6),(2,f,1),(2,f,2),(2,g,9),(2,g,0),(2,g,6),(2,h,6),(2,i,9),(2,i,6),(2,i,0),(2,i,5),(2,j,4),(2,j,7),(2,j,0),(3,a,8),(3,a,5),(3,a,0),(3,a,6),(3,b,4),(3,b,0),(3,b,6),(3,c,0),(3,c,6),(3,c,1),(3,c,4),(3,c,3),(3,d,9),(3,d,3),(3,d,1),(3,e,1),(3,e,0),(3,e,8),(3,f,9),(3,f,8),(3,f,3),(3,g,8),(3,g,3),(3,g,1),(3,h,3),(3,h,1),(3,h,6),(3,i,3),(3,i,8),(3,i,2),(3,i,7),(3,i,9),(3,i,6),(3,i,0),(3,i,5),(3,j,5),(3,j,2),(4,a,2),(4,a,0),(4,a,9),(4,a,8),(4,a,7),(4,a,5),(4,a,4),(4,b,5),(4,b,2),(4,b,9),(4,b,4),(4,b,3),(4,b,8),(4,c,3),(4,c,4),(4,c,0),(4,c,9),(4,c,1),(4,c,7),(4,d,7),(4,d,6),(4,e,5),(4,e,4),(4,e,8),(4,e,6),(4,f,5),(4,f,8),(4,f,7),(4,f,9),(4,g,1),(4,h,6),(4,h,8),(4,h,9),(4,i,9),(4,i,8),(4,i,6),(4,i,4),(4,i,5),(4,i,0),(4,j,3),(4,j,7),(4,j,2),(4,j,1),(4,j,9),(5,a,3),(5,a,0),(5,a,4),(5,a,5),(5,a,8),(5,a,1),(5,a,9),(5,a,7),(5,b,1),(5,b,6),(5,c,3),(5,c,5),(5,c,2),(5,c,7),(5,d,4),(5,d,9),(5,d,5),(5,d,0),(5,d,2),(5,e,1),(5,e,2),(5,e,3),(5,f,0),(5,f,5),(5,g,1),(5,g,0),(5,h,3),(5,h,5),(5,h,8),(5,h,6),(5,h,4),(5,h,2),(5,i,0),(5,i,7),(5,i,9),(5,i,6),(5,i,5),(5,i,2),(5,i,4),(5,j,3),(5,j,1),(5,j,6),(6,a,3),(6,a,7),(6,a,5),(6,a,4),(6,a,6),(6,b,9),(6,b,6),(6,b,1),(6,b,3),(6,b,5),(6,c,6),(6,c,5),(6,c,0),(6,d,5),(6,d,1),(6,d,8),(6,e,4),(6,e,6),(6,e,0),(6,e,5),(6,f,2),(6,f,6),(6,f,4),(6,f,9),(6,g,0),(6,g,9),(6,g,6),(6,g,3),(6,g,5),(6,g,1),(6,g,2),(6,h,2),(6,h,9),(6,h,4),(6,h,3),(6,h,1),(6,i,3),(6,i,4),(6,i,6),(6,i,1),(6,i,7),(6,j,7),(6,j,5),(6,j,8),(6,j,3),(7,a,0),(7,a,5),(7,a,9),(7,a,8),(7,a,2),(7,a,7),(7,b,9),(7,b,0),(7,b,1),(7,b,6),(7,c,7),(7,c,8),(7,c,3),(7,c,1),(7,c,6),(7,d,0),(7,d,1),(7,d,4),(7,d,7),(7,d,3),(7,d,8),(7,e,6),(7,e,7),(7,e,3),(7,f,8),(7,f,5),(7,f,0),(7,f,9),(7,f,4),(7,f,1),(7,g,2),(7,g,0),(7,g,8),(7,g,3),(7,h,7),(7,h,5),(7,h,9),(7,h,0),(7,h,8),(7,h,6),(7,h,1),(7,i,0),(7,i,5),(7,i,7),(7,j,2),(7,j,7),(7,j,9),(7,j,6),(7,j,1),(8,a,1),(8,a,9),(8,a,8),(8,b,4),(8,b,9),(8,b,2),(8,b,7),(8,c,3),(8,c,2),(8,d,8),(8,d,3),(8,d,4),(8,d,0),(8,d,5),(8,e,4),(8,e,3),(8,e,0),(8,e,5),(8,f,7),(8,f,6),(8,f,1),(8,f,5),(8,g,7),(8,g,3),(8,g,4),(8,g,9),(8,g,0),(8,h,4),(8,h,6),(8,h,8),(8,i,2),(8,i,8),(8,i,3),(8,i,4),(8,i,1),(8,j,0),(8,j,3),(8,j,4),(9,a,7),(9,a,5),(9,a,4),(9,a,9),(9,b,0),(9,c,5),(9,c,2),(9,c,7),(9,c,6),(9,c,8),(9,c,3),(9,c,1),(9,d,9),(9,d,5),(9,d,7),(9,d,2),(9,d,1),(9,e,7),(9,e,3),(9,e,5),(9,e,0),(9,e,1),(9,f,4),(9,f,1),(9,f,2),(9,f,0),(9,f,5),(9,g,8),(9,g,0),(9,g,6),(9,g,1),(9,g,4),(9,h,5),(9,h,0),(9,h,4),(9,h,7),(9,i,5),(9,i,0),(9,i,6),(9,i,7),(9,j,4),(9,j,2),(9,j,7),(9,j,0)
\ No newline at end of file
q10_a10/108.nfa 0 → 100644
View file @ cf53e330
10,10
0,2,5,6,8
(0,a,9),(0,a,1),(0,a,8),(0,a,6),(0,a,4),(0,a,3),(0,a,2),(0,a,0),(0,b,5),(0,c,6),(0,c,1),(0,c,7),(0,d,8),(0,d,9),(0,d,4),(0,d,3),(0,e,7),(0,e,2),(0,e,6),(0,e,0),(0,e,8),(0,e,3),(0,e,4),(0,e,1),(0,f,6),(0,f,5),(0,f,9),(0,g,3),(0,g,7),(0,g,2),(0,g,5),(0,h,2),(0,h,8),(0,h,9),(0,h,1),(0,h,6),(0,i,1),(0,i,0),(0,j,3),(0,j,5),(0,j,0),(0,j,2),(0,j,7),(1,a,6),(1,a,2),(1,a,0),(1,a,9),(1,a,7),(1,a,4),(1,a,3),(1,a,1),(1,b,4),(1,b,6),(1,c,4),(1,c,8),(1,c,2),(1,d,2),(1,d,5),(1,d,0),(1,d,6),(1,d,1),(1,e,6),(1,e,9),(1,f,3),(1,f,5),(1,f,2),(1,g,8),(1,g,5),(1,g,9),(1,g,4),(1,h,1),(1,h,0),(1,h,7),(1,h,2),(1,i,1),(1,i,7),(1,i,0),(1,j,3),(1,j,5),(1,j,7),(2,a,6),(2,a,0),(2,a,4),(2,a,1),(2,a,5),(2,a,2),(2,b,3),(2,b,7),(2,b,9),(2,b,8),(2,b,6),(2,c,4),(2,c,2),(2,c,7),(2,d,4),(2,e,3),(2,e,1),(2,e,4),(2,e,0),(2,f,8),(2,f,5),(2,f,4),(2,f,9),(2,f,0),(2,f,1),(2,f,2),(2,f,7),(2,f,3),(2,g,3),(2,g,5),(2,g,1),(2,g,6),(2,g,4),(2,g,9),(2,h,1),(2,i,3),(2,i,8),(2,i,4),(2,i,2),(2,i,7),(2,j,3),(2,j,6),(2,j,9),(2,j,5),(2,j,0),(3,a,0),(3,a,2),(3,a,4),(3,a,9),(3,a,8),(3,a,5),(3,b,0),(3,b,5),(3,b,6),(3,c,5),(3,c,2),(3,c,0),(3,c,1),(3,c,6),(3,c,7),(3,d,3),(3,d,0),(3,d,8),(3,d,6),(3,d,7),(3,d,9),(3,d,4),(3,e,9),(3,e,4),(3,e,1),(3,e,5),(3,f,1),(3,g,3),(3,g,7),(3,g,8),(3,g,9),(3,g,4),(3,g,1),(3,g,6),(3,h,5),(3,h,9),(3,h,4),(3,h,1),(3,h,3),(3,i,4),(3,i,7),(3,i,3),(3,i,5),(3,i,9),(3,j,9),(3,j,7),(3,j,6),(3,j,1),(4,a,0),(4,a,4),(4,a,9),(4,a,8),(4,a,7),(4,a,5),(4,b,1),(4,b,8),(4,b,2),(4,c,9),(4,c,4),(4,c,6),(4,c,2),(4,c,7),(4,d,6),(4,d,9),(4,d,4),(4,d,2),(4,d,7),(4,e,1),(4,e,9),(4,e,5),(4,e,3),(4,e,2),(4,f,3),(4,f,5),(4,f,9),(4,f,2),(4,f,7),(4,g,7),(4,g,3),(4,g,8),(4,h,6),(4,h,9),(4,h,3),(4,i,8),(4,i,7),(4,i,0),(4,i,6),(4,j,5),(4,j,8),(4,j,9),(4,j,4),(4,j,2),(5,a,0),(5,a,1),(5,a,8),(5,a,7),(5,a,6),(5,a,5),(5,b,2),(5,b,6),(5,b,3),(5,c,4),(5,c,9),(5,c,8),(5,c,5),(5,c,1),(5,d,8),(5,d,9),(5,d,3),(5,d,0),(5,d,7),(5,d,2),(5,e,0),(5,e,5),(5,e,9),(5,e,8),(5,e,2),(5,f,6),(5,f,7),(5,f,2),(5,f,8),(5,f,3),(5,f,9),(5,f,0),(5,g,1),(5,g,6),(5,g,0),(5,g,8),(5,g,4),(5,h,9),(5,h,3),(5,i,8),(5,i,1),(5,j,7),(5,j,2),(5,j,9),(5,j,4),(6,a,5),(6,a,0),(6,a,9),(6,a,1),(6,a,6),(6,b,8),(6,b,4),(6,b,2),(6,b,7),(6,b,0),(6,b,3),(6,c,0),(6,c,5),(6,c,2),(6,c,7),(6,c,1),(6,d,7),(6,d,6),(6,d,8),(6,e,0),(6,f,0),(6,f,8),(6,f,3),(6,f,4),(6,f,9),(6,g,0),(6,g,6),(6,g,8),(6,g,2),(6,h,1),(6,h,0),(6,h,5),(6,h,8),(6,h,2),(6,h,6),(6,h,9),(6,h,4),(6,i,3),(6,i,2),(6,i,1),(6,i,4),(6,j,7),(6,j,5),(6,j,8),(6,j,6),(6,j,4),(6,j,9),(7,a,6),(7,a,8),(7,a,3),(7,a,7),(7,b,4),(7,b,7),(7,b,5),(7,b,1),(7,b,6),(7,c,4),(7,c,8),(7,d,9),(7,d,6),(7,e,5),(7,e,4),(7,e,9),(7,e,2),(7,e,1),(7,e,8),(7,e,3),(7,f,5),(7,f,3),(7,f,2),(7,g,2),(7,h,4),(7,h,1),(7,h,7),(7,h,2),(7,i,8),(7,i,4),(7,i,1),(7,i,0),(7,i,2),(7,i,3),(7,j,9),(7,j,3),(7,j,8),(8,a,6),(8,a,5),(8,a,3),(8,a,4),(8,b,6),(8,b,9),(8,b,1),(8,b,0),(8,b,2),(8,c,6),(8,c,2),(8,c,7),(8,d,2),(8,d,6),(8,d,1),(8,d,4),(8,e,0),(8,e,5),(8,e,3),(8,e,8),(8,f,8),(8,f,6),(8,f,7),(8,f,2),(8,f,9),(8,g,6),(8,g,5),(8,g,9),(8,g,4),(8,h,2),(8,h,9),(8,h,0),(8,h,7),(8,h,5),(8,h,8),(8,h,3),(8,h,1),(8,h,6),(8,i,6),(8,i,8),(8,j,7),(9,a,5),(9,a,7),(9,a,2),(9,b,3),(9,b,8),(9,b,1),(9,b,5),(9,b,9),(9,b,4),(9,c,8),(9,c,3),(9,c,0),(9,c,1),(9,c,6),(9,d,2),(9,d,6),(9,d,1),(9,d,8),(9,d,3),(9,e,4),(9,e,9),(9,e,3),(9,f,0),(9,f,8),(9,f,6),(9,f,1),(9,g,5),(9,g,8),(9,g,7),(9,g,2),(9,h,4),(9,h,2),(9,h,0),(9,h,8),(9,i,3),(9,i,2),(9,i,9),(9,i,0),(9,i,1),(9,j,7),(9,j,2),(9,j,1)
\ No newline at end of file
q10_a10/109.nfa 0 → 100644
View file @ cf53e330
10,10
3,4,5,6,8,9
(0,a,9),(0,a,8),(0,a,7),(0,a,6),(0,a,4),(0,a,3),(0,a,0),(0,b,6),(0,b,1),(0,b,8),(0,c,5),(0,c,0),(0,c,3),(0,c,1),(0,c,6),(0,d,3),(0,d,8),(0,d,0),(0,d,7),(0,e,6),(0,e,1),(0,e,8),(0,e,3),(0,e,2),(0,f,8),(0,f,3),(0,g,7),(0,g,6),(0,g,5),(0,g,0),(0,h,3),(0,h,8),(0,h,0),(0,h,7),(0,i,4),(0,i,3),(0,i,7),(0,i,2),(0,j,9),(0,j,4),(0,j,3),(0,j,6),(0,j,8),(0,j,7),(0,j,1),(0,j,0),(1,a,0),(1,a,8),(1,a,7),(1,a,4),(1,a,2),(1,b,3),(1,b,9),(1,b,4),(1,b,0),(1,c,6),(1,c,9),(1,c,2),(1,d,2),(1,d,1),(1,d,6),(1,d,0),(1,d,8),(1,f,9),(1,f,4),(1,f,1),(1,f,7),(1,f,8),(1,g,8),(1,g,0),(1,g,9),(1,h,9),(1,h,2),(1,h,6),(1,h,1),(1,i,1),(1,i,6),(1,i,2),(1,i,0),(1,i,5),(1,i,9),(1,i,4),(1,j,4),(1,j,5),(1,j,7),(2,a,2),(2,a,9),(2,a,8),(2,a,4),(2,b,5),(2,b,6),(2,b,3),(2,c,2),(2,c,7),(2,d,3),(2,d,1),(2,d,4),(2,d,2),(2,e,8),(2,e,1),(2,e,7),(2,f,9),(2,f,5),(2,f,3),(2,g,9),(2,g,5),(2,g,8),(2,g,1),(2,h,8),(2,h,9),(2,h,0),(2,h,5),(2,h,3),(2,h,7),(2,j,6),(2,j,2),(3,a,3),(3,a,7),(3,a,6),(3,a,5),(3,a,4),(3,b,6),(3,b,0),(3,b,9),(3,b,2),(3,c,8),(3,c,0),(3,c,7),(3,c,1),(3,d,3),(3,d,0),(3,d,2),(3,e,6),(3,e,4),(3,e,7),(3,f,4),(3,f,6),(3,f,9),(3,f,5),(3,f,2),(3,f,7),(3,g,5),(3,g,9),(3,g,2),(3,h,3),(3,h,4),(3,h,6),(3,h,1),(3,h,0),(3,h,2),(3,i,8),(3,i,9),(3,i,1),(3,j,9),(3,j,6),(3,j,0),(3,j,5),(4,a,0),(4,a,1),(4,a,5),(4,a,9),(4,a,8),(4,a,7),(4,a,6),(4,a,4),(4,b,8),(4,b,3),(4,b,5),(4,c,2),(4,c,1),(4,c,9),(4,d,6),(4,d,9),(4,d,4),(4,e,9),(4,e,6),(4,e,8),(4,e,3),(4,f,9),(4,g,7),(4,g,4),(4,g,9),(4,g,1),(4,g,0),(4,h,0),(4,h,7),(4,h,4),(4,h,9),(4,h,1),(4,i,4),(4,i,6),(4,i,0),(4,i,7),(4,j,1),(4,j,5),(4,j,2),(4,j,8),(5,a,2),(5,a,1),(5,a,8),(5,a,7),(5,a,6),(5,b,0),(5,b,5),(5,c,8),(5,c,0),(5,c,9),(5,d,6),(5,d,9),(5,d,4),(5,e,0),(5,e,1),(5,e,8),(5,e,3),(5,e,2),(5,f,8),(5,f,4),(5,f,2),(5,f,0),(5,f,3),(5,f,6),(5,g,8),(5,g,0),(5,g,6),(5,g,3),(5,g,2),(5,h,1),(5,h,9),(5,h,3),(5,h,8),(5,i,7),(5,i,5),(5,i,3),(5,i,8),(5,i,9),(5,j,6),(5,j,3),(5,j,7),(6,a,2),(6,a,3),(6,a,5),(6,a,9),(6,a,7),(6,a,1),(6,b,6),(6,b,2),(6,b,3),(6,b,5),(6,b,9),(6,c,8),(6,c,3),(6,c,7),(6,c,0),(6,d,1),(6,d,7),(6,e,9),(6,e,0),(6,e,7),(6,e,2),(6,f,3),(6,f,5),(6,f,9),(6,f,4),(6,g,6),(6,g,3),(6,g,2),(6,h,1),(6,i,0),(6,i,6),(6,i,9),(6,i,2),(6,i,7),(6,i,1),(6,j,1),(6,j,4),(6,j,0),(7,a,6),(7,a,9),(7,a,8),(7,a,7),(7,b,5),(7,b,0),(7,b,4),(7,b,9),(7,b,8),(7,c,6),(7,c,3),(7,c,7),(7,c,2),(7,d,9),(7,d,3),(7,d,5),(7,e,9),(7,e,1),(7,e,7),(7,e,0),(7,f,9),(7,f,0),(7,f,5),(7,g,2),(7,g,5),(7,g,0),(7,g,9),(7,h,4),(7,h,8),(7,h,5),(7,h,0),(7,h,6),(7,i,4),(7,i,9),(7,i,2),(7,i,6),(7,i,0),(7,i,3),(7,j,9),(7,j,5),(8,a,7),(8,a,0),(8,a,2),(8,a,9),(8,a,3),(8,b,2),(8,b,3),(8,b,4),(8,b,5),(8,c,7),(8,c,4),(8,c,9),(8,d,7),(8,d,2),(8,d,9),(8,d,8),(8,d,1),(8,d,5),(8,e,3),(8,f,6),(8,f,9),(8,f,3),(8,g,0),(8,g,5),(8,g,7),(8,g,3),(8,g,1),(8,g,4),(8,g,9),(8,g,2),(8,g,6),(8,h,7),(8,h,0),(8,h,1),(8,i,9),(8,i,8),(8,i,3),(8,i,5),(8,i,6),(8,j,1),(8,j,8),(9,a,8),(9,a,2),(9,a,7),(9,a,6),(9,a,4),(9,b,5),(9,b,4),(9,b,6),(9,c,5),(9,c,2),(9,c,7),(9,c,3),(9,c,8),(9,d,6),(9,d,0),(9,d,3),(9,d,8),(9,d,2),(9,e,8),(9,e,6),(9,f,8),(9,f,6),(9,g,5),(9,g,7),(9,g,1),(9,g,8),(9,h,2),(9,h,9),(9,h,4),(9,h,6),(9,i,5),(9,i,6),(9,i,4),(9,i,9),(9,j,2),(9,j,9),(9,j,1),(9,j,6)
\ No newline at end of file
q10_a10/11.nfa 0 → 100644
View file @ cf53e330
10,10
6,8
(0,a,4),(0,a,3),(0,a,8),(0,a,7),(0,a,6),(0,a,2),(0,a,0),(0,b,7),(0,b,6),(0,b,4),(0,c,9),(0,c,3),(0,c,1),(0,c,6),(0,d,1),(0,d,8),(0,e,5),(0,e,4),(0,e,7),(0,e,2),(0,e,6),(0,e,1),(0,f,2),(0,f,5),(0,f,3),(0,f,4),(0,f,9),(0,g,2),(0,g,8),(0,h,9),(0,h,7),(0,h,6),(0,i,6),(0,i,9),(0,i,0),(0,j,0),(0,j,3),(1,a,1),(1,a,8),(1,a,7),(1,a,6),(1,a,5),(1,a,3),(1,b,2),(1,b,5),(1,b,4),(1,b,8),(1,c,8),(1,d,2),(1,d,4),(1,d,7),(1,d,5),(1,d,8),(1,e,3),(1,e,5),(1,e,7),(1,f,3),(1,f,2),(1,f,0),(1,f,7),(1,f,9),(1,f,6),(1,g,5),(1,g,7),(1,h,8),(1,h,6),(1,h,1),(1,h,2),(1,h,7),(1,i,2),(1,i,5),(1,i,4),(1,j,8),(1,j,9),(1,j,7),(1,j,4),(2,a,1),(2,a,9),(2,a,8),(2,a,4),(2,a,2),(2,b,7),(2,b,3),(2,b,8),(2,b,9),(2,b,4),(2,c,3),(2,c,6),(2,c,0),(2,d,5),(2,d,2),(2,d,8),(2,d,3),(2,e,5),(2,e,0),(2,e,7),(2,e,9),(2,e,4),(2,e,1),(2,f,8),(2,f,1),(2,f,9),(2,f,3),(2,f,2),(2,f,5),(2,g,3),(2,g,7),(2,g,9),(2,h,3),(2,h,6),(2,h,1),(2,i,1),(2,j,6),(2,j,2),(2,j,9),(2,j,4),(2,j,8),(3,a,9),(3,a,0),(3,a,8),(3,a,7),(3,a,6),(3,a,3),(3,b,5),(3,b,8),(3,b,1),(3,c,6),(3,d,1),(3,d,8),(3,d,9),(3,d,0),(3,d,5),(3,e,3),(3,e,0),(3,e,5),(3,e,6),(3,e,7),(3,e,2),(3,f,7),(3,f,5),(3,g,3),(3,g,1),(3,g,5),(3,g,0),(3,g,7),(3,h,9),(3,h,2),(3,h,8),(3,h,3),(3,h,5),(3,i,2),(3,i,6),(3,i,3),(3,i,0),(3,j,6),(3,j,7),(3,j,3),(3,j,0),(3,j,8),(3,j,9),(3,j,4),(4,a,9),(4,a,8),(4,a,5),(4,b,4),(4,b,9),(4,b,7),(4,c,6),(4,c,1),(4,c,7),(4,c,9),(4,c,3),(4,c,0),(4,c,2),(4,d,5),(4,d,0),(4,d,9),(4,d,1),(4,d,3),(4,d,2),(4,d,7),(4,d,4),(4,e,5),(4,e,3),(4,e,9),(4,e,4),(4,f,9),(4,f,6),(4,f,2),(4,g,8),(4,g,6),(4,g,7),(4,g,0),(4,g,3),(4,g,4),(4,g,9),(4,h,9),(4,h,5),(4,h,1),(4,h,8),(4,i,1),(4,i,6),(4,i,5),(4,i,9),(4,i,8),(4,j,2),(4,j,3),(4,j,9),(5,a,0),(5,a,3),(5,a,7),(5,a,6),(5,b,5),(5,b,3),(5,c,6),(5,d,5),(5,d,1),(5,d,8),(5,d,6),(5,d,9),(5,d,0),(5,e,6),(5,e,2),(5,e,0),(5,e,5),(5,e,9),(5,f,6),(5,f,7),(5,f,5),(5,f,9),(5,g,3),(5,g,5),(5,g,0),(5,g,7),(5,g,6),(5,h,1),(5,h,3),(5,h,8),(5,i,8),(5,i,3),(5,i,6),(5,i,1),(5,i,0),(5,j,4),(5,j,7),(5,j,0),(5,j,8),(6,a,1),(6,a,5),(6,a,9),(6,a,3),(6,a,8),(6,a,7),(6,b,9),(6,b,7),(6,b,0),(6,c,7),(6,c,8),(6,c,5),(6,c,9),(6,d,9),(6,d,7),(6,d,1),(6,d,6),(6,e,3),(6,e,1),(6,e,9),(6,e,0),(6,f,3),(6,f,5),(6,f,4),(6,f,9),(6,h,7),(6,h,9),(6,i,7),(6,i,0),(6,i,6),(6,i,1),(6,j,2),(7,a,1),(7,a,5),(7,a,9),(7,a,3),(7,a,8),(7,b,5),(7,b,7),(7,b,1),(7,b,3),(7,c,0),(7,c,5),(7,c,4),(7,c,9),(7,c,1),(7,d,2),(7,d,5),(7,d,4),(7,d,8),(7,d,1),(7,e,7),(7,e,9),(7,f,0),(7,f,9),(7,f,7),(7,f,1),(7,f,8),(7,f,4),(7,g,2),(7,g,9),(7,g,1),(7,h,4),(7,h,0),(7,i,8),(7,i,3),(7,i,5),(7,i,7),(7,i,1),(7,i,9),(7,i,4),(7,i,0),(7,j,8),(7,j,4),(7,j,7),(7,j,2),(7,j,5),(8,a,0),(8,a,5),(8,a,9),(8,a,8),(8,b,5),(8,b,4),(8,b,1),(8,b,9),(8,b,3),(8,b,2),(8,b,7),(8,c,7),(8,c,9),(8,c,6),(8,c,5),(8,d,9),(8,d,1),(8,e,5),(8,e,0),(8,f,0),(8,f,6),(8,g,7),(8,g,0),(8,g,9),(8,g,6),(8,h,4),(8,h,8),(8,h,0),(8,h,6),(8,h,1),(8,i,6),(8,i,0),(8,i,3),(8,j,3),(8,j,8),(8,j,1),(9,a,1),(9,a,2),(9,a,4),(9,a,9),(9,b,6),(9,b,8),(9,b,3),(9,b,0),(9,c,9),(9,c,7),(9,c,8),(9,d,7),(9,d,8),(9,d,4),(9,d,6),(9,e,3),(9,e,2),(9,e,1),(9,f,9),(9,f,7),(9,f,2),(9,f,4),(9,f,5),(9,g,4),(9,g,8),(9,g,9),(9,g,1),(9,g,2),(9,g,7),(9,h,9),(9,h,6),(9,h,0),(9,h,2),(9,h,8),(9,i,0),(9,i,6),(9,j,9),(9,j,0)
\ No newline at end of file
q10_a10/110.nfa 0 → 100644
View file @ cf53e330
10,10
2,3,5,7
(0,a,5),(0,a,1),(0,a,9),(0,a,8),(0,a,7),(0,a,6),(0,a,4),(0,a,3),(0,a,2),(0,b,3),(0,b,1),(0,c,1),(0,c,6),(0,c,3),(0,c,8),(0,c,7),(0,d,9),(0,d,3),(0,d,6),(0,d,0),(0,d,5),(0,e,0),(0,e,5),(0,e,6),(0,e,2),(0,e,8),(0,e,3),(0,f,1),(0,f,5),(0,g,3),(0,g,4),(0,g,7),(0,g,1),(0,g,6),(0,h,2),(0,h,9),(0,h,0),(0,h,3),(0,i,8),(0,i,9),(0,j,3),(0,j,4),(0,j,9),(0,j,5),(1,a,0),(1,a,2),(1,a,7),(1,a,9),(1,a,4),(1,b,9),(1,b,6),(1,b,5),(1,c,1),(1,c,8),(1,c,7),(1,c,0),(1,c,9),(1,d,1),(1,d,5),(1,d,3),(1,d,9),(1,d,2),(1,e,8),(1,e,9),(1,e,5),(1,e,0),(1,f,6),(1,f,5),(1,f,8),(1,f,9),(1,g,7),(1,g,4),(1,g,9),(1,g,0),(1,g,5),(1,i,2),(1,i,4),(1,i,9),(1,i,6),(1,i,0),(1,i,7),(1,i,8),(1,j,7),(1,j,6),(1,j,4),(1,j,8),(1,j,9),(1,j,2),(2,a,9),(2,a,8),(2,a,5),(2,a,2),(2,b,9),(2,b,4),(2,b,8),(2,b,6),(2,b,1),(2,c,6),(2,c,3),(2,c,5),(2,d,6),(2,d,4),(2,d,9),(2,d,2),(2,e,2),(2,e,3),(2,e,5),(2,e,6),(2,e,8),(2,f,0),(2,f,2),(2,f,7),(2,f,3),(2,f,4),(2,h,4),(2,h,3),(2,h,5),(2,h,1),(2,h,2),(2,i,7),(2,i,2),(2,i,1),(2,i,0),(2,i,9),(2,i,4),(2,j,3),(2,j,4),(2,j,7),(2,j,0),(3,a,4),(3,a,2),(3,a,0),(3,a,9),(3,a,7),(3,a,6),(3,b,4),(3,b,2),(3,b,5),(3,b,7),(3,b,6),(3,b,9),(3,c,5),(3,c,6),(3,d,7),(3,d,3),(3,e,9),(3,e,1),(3,e,2),(3,f,2),(3,f,5),(3,f,0),(3,g,3),(3,g,6),(3,g,4),(3,g,2),(3,g,7),(3,h,6),(3,h,1),(3,h,2),(3,h,5),(3,h,0),(3,i,0),(3,i,2),(3,i,7),(3,i,6),(3,i,3),(3,j,6),(4,a,5),(4,a,3),(4,a,2),(4,a,0),(4,a,8),(4,b,4),(4,b,0),(4,b,1),(4,b,6),(4,c,1),(4,c,4),(4,d,8),(4,d,6),(4,d,5),(4,d,7),(4,e,7),(4,e,2),(4,e,0),(4,e,8),(4,e,3),(4,f,6),(4,f,8),(4,f,2),(4,g,3),(4,g,2),(4,g,4),(4,g,9),(4,h,3),(4,h,7),(4,h,2),(4,h,1),(4,h,5),(4,i,3),(4,i,8),(4,i,4),(4,i,9),(4,i,0),(4,j,3),(4,j,5),(4,j,1),(4,j,4),(4,j,0),(4,j,6),(4,j,2),(5,a,4),(5,a,9),(5,a,8),(5,a,6),(5,b,0),(5,b,2),(5,c,5),(5,c,6),(5,c,2),(5,d,1),(5,d,0),(5,d,7),(5,d,6),(5,d,9),(5,d,8),(5,e,4),(5,e,9),(5,e,1),(5,f,6),(5,f,4),(5,g,6),(5,g,7),(5,g,9),(5,g,8),(5,g,3),(5,g,1),(5,h,9),(5,h,1),(5,h,0),(5,i,3),(5,i,2),(5,i,0),(5,i,5),(5,j,4),(5,j,8),(5,j,1),(6,a,0),(6,a,8),(6,a,9),(6,a,7),(6,a,6),(6,b,2),(6,b,7),(6,b,1),(6,b,6),(6,b,3),(6,c,5),(6,c,1),(6,d,8),(6,d,3),(6,d,7),(6,e,9),(6,e,3),(6,f,1),(6,f,7),(6,f,5),(6,f,4),(6,f,9),(6,f,6),(6,f,2),(6,g,9),(6,g,2),(6,g,3),(6,h,5),(6,h,7),(6,h,9),(6,i,6),(6,i,0),(6,i,9),(6,i,8),(6,j,5),(6,j,3),(6,j,2),(6,j,7),(6,j,6),(6,j,8),(6,j,0),(7,a,8),(7,a,6),(7,a,9),(7,a,2),(7,a,7),(7,b,9),(7,b,8),(7,b,3),(7,b,5),(7,c,4),(7,c,1),(7,c,5),(7,c,0),(7,c,3),(7,d,4),(7,d,3),(7,d,7),(7,d,1),(7,d,0),(7,e,4),(7,e,9),(7,e,3),(7,e,8),(7,f,5),(7,f,3),(7,f,8),(7,f,7),(7,f,9),(7,f,6),(7,g,2),(7,g,8),(7,g,0),(7,g,4),(7,h,9),(7,i,7),(7,i,4),(7,i,6),(7,i,5),(7,i,3),(7,j,1),(7,j,7),(7,j,5),(8,a,2),(8,a,5),(8,a,6),(8,a,3),(8,a,8),(8,b,5),(8,b,7),(8,b,4),(8,b,9),(8,c,8),(8,c,2),(8,c,7),(8,c,6),(8,c,5),(8,c,0),(8,d,0),(8,d,5),(8,d,4),(8,d,8),(8,e,6),(8,e,2),(8,e,5),(8,f,4),(8,f,0),(8,f,5),(8,g,9),(8,g,1),(8,g,3),(8,h,0),(8,h,3),(8,h,6),(8,h,4),(8,i,1),(8,i,2),(8,i,6),(8,i,5),(8,i,0),(8,j,0),(8,j,1),(8,j,6),(9,a,4),(9,a,6),(9,a,3),(9,a,7),(9,b,7),(9,b,0),(9,b,3),(9,b,5),(9,b,9),(9,c,5),(9,c,0),(9,c,9),(9,c,4),(9,c,3),(9,d,2),(9,d,0),(9,e,9),(9,e,7),(9,e,3),(9,f,5),(9,f,0),(9,g,2),(9,h,3),(9,h,9),(9,i,7),(9,i,1),(9,i,5),(9,i,0),(9,i,9),(9,i,4),(9,i,6),(9,j,8),(9,j,0),(9,j,7),(9,j,6),(9,j,1),(9,j,3)
\ No newline at end of file
q10_a10/111.nfa 0 → 100644
View file @ cf53e330
10,10
1,2,3
(0,a,6),(0,a,3),(0,a,8),(0,a,7),(0,a,4),(0,a,1),(0,b,2),(0,b,9),(0,c,0),(0,c,6),(0,d,3),(0,d,0),(0,d,9),(0,e,1),(0,e,9),(0,e,5),(0,e,0),(0,f,3),(0,f,0),(0,f,5),(0,f,1),(0,g,0),(0,g,4),(0,g,3),(0,g,6),(0,h,5),(0,h,0),(0,h,1),(0,h,6),(0,i,5),(0,i,6),(0,i,8),(0,i,1),(0,i,3),(0,j,7),(0,j,8),(0,j,0),(1,a,0),(1,a,8),(1,a,7),(1,a,6),(1,a,5),(1,a,2),(1,b,2),(1,b,3),(1,b,0),(1,b,5),(1,b,6),(1,b,1),(1,c,4),(1,c,1),(1,c,0),(1,c,6),(1,c,3),(1,c,8),(1,d,1),(1,d,7),(1,d,9),(1,e,5),(1,e,2),(1,e,7),(1,f,8),(1,f,6),(1,f,2),(1,g,8),(1,g,0),(1,g,7),(1,h,7),(1,h,1),(1,i,8),(1,i,7),(1,i,4),(1,j,1),(1,j,7),(1,j,2),(1,j,0),(1,j,3),(2,a,0),(2,a,5),(2,a,8),(2,a,7),(2,a,6),(2,b,6),(2,b,7),(2,b,8),(2,b,9),(2,c,0),(2,c,1),(2,c,6),(2,c,7),(2,c,2),(2,c,3),(2,c,8),(2,d,8),(2,d,5),(2,d,2),(2,e,6),(2,e,8),(2,f,0),(2,f,6),(2,g,7),(2,g,0),(2,g,5),(2,g,6),(2,h,6),(2,h,5),(2,h,4),(2,i,0),(2,i,9),(2,i,3),(2,i,5),(2,j,9),(2,j,2),(2,j,5),(2,j,6),(2,j,1),(2,j,4),(2,j,7),(3,a,8),(3,a,1),(3,a,9),(3,a,7),(3,a,5),(3,a,4),(3,b,2),(3,b,1),(3,b,6),(3,c,5),(3,c,2),(3,c,1),(3,c,9),(3,d,9),(3,d,3),(3,d,7),(3,d,2),(3,e,7),(3,e,4),(3,e,3),(3,e,1),(3,f,3),(3,f,2),(3,f,5),(3,f,0),(3,f,4),(3,g,2),(3,g,6),(3,g,3),(3,g,7),(3,g,4),(3,g,9),(3,h,8),(3,h,7),(3,i,0),(3,i,8),(3,i,1),(3,i,2),(3,i,4),(3,j,0),(3,j,5),(3,j,6),(3,j,8),(4,a,9),(4,a,5),(4,a,6),(4,b,6),(4,b,1),(4,b,0),(4,b,9),(4,c,5),(4,c,1),(4,c,8),(4,d,7),(4,d,2),(4,d,5),(4,d,9),(4,d,8),(4,d,3),(4,e,6),(4,e,4),(4,e,0),(4,f,9),(4,f,1),(4,f,6),(4,f,7),(4,g,8),(4,g,5),(4,g,4),(4,g,7),(4,g,2),(4,h,3),(4,h,2),(4,h,8),(4,h,9),(4,h,6),(4,h,1),(4,i,0),(4,i,8),(4,i,4),(4,i,3),(4,i,5),(4,j,2),(4,j,8),(4,j,9),(5,a,5),(5,a,3),(5,a,8),(5,a,2),(5,a,7),(5,b,3),(5,b,7),(5,b,4),(5,b,6),(5,b,5),(5,b,9),(5,b,8),(5,b,2),(5,c,4),(5,c,9),(5,c,5),(5,c,6),(5,d,9),(5,d,3),(5,e,5),(5,e,3),(5,e,1),(5,f,5),(5,g,4),(5,g,5),(5,g,0),(5,g,8),(5,h,9),(5,h,3),(5,h,0),(5,i,2),(5,i,5),(5,j,8),(5,j,7),(5,j,0),(5,j,5),(6,a,0),(6,a,6),(6,a,4),(6,a,2),(6,a,9),(6,a,1),(6,b,1),(6,b,7),(6,b,4),(6,c,8),(6,c,9),(6,c,4),(6,c,3),(6,c,5),(6,c,1),(6,c,7),(6,d,4),(6,d,2),(6,d,8),(6,e,3),(6,e,6),(6,f,6),(6,f,9),(6,f,7),(6,f,3),(6,f,1),(6,g,2),(6,g,7),(6,g,1),(6,h,9),(6,h,6),(6,i,9),(6,i,1),(6,i,2),(6,j,3),(6,j,9),(6,j,0),(6,j,5),(7,a,8),(7,a,1),(7,a,7),(7,a,6),(7,a,3),(7,a,0),(7,a,5),(7,b,7),(7,b,8),(7,b,1),(7,c,9),(7,c,5),(7,c,0),(7,c,2),(7,c,3),(7,c,6),(7,d,9),(7,d,7),(7,d,8),(7,d,3),(7,d,5),(7,e,7),(7,e,3),(7,e,9),(7,f,4),(7,f,3),(7,g,7),(7,g,3),(7,g,1),(7,h,7),(7,h,8),(7,i,0),(7,i,4),(7,i,1),(7,i,6),(7,j,2),(7,j,8),(8,a,0),(8,a,9),(8,a,8),(8,b,8),(8,b,9),(8,b,6),(8,c,6),(8,d,4),(8,d,1),(8,e,6),(8,e,7),(8,f,5),(8,f,6),(8,g,1),(8,h,6),(8,h,8),(8,h,3),(8,i,2),(8,i,7),(8,i,8),(8,i,4),(8,j,4),(8,j,6),(8,j,8),(8,j,3),(9,a,6),(9,a,7),(9,a,4),(9,a,0),(9,a,8),(9,a,3),(9,b,9),(9,b,3),(9,b,5),(9,b,0),(9,c,6),(9,c,5),(9,c,3),(9,c,9),(9,c,1),(9,c,2),(9,d,8),(9,d,4),(9,d,7),(9,d,2),(9,d,5),(9,e,6),(9,e,1),(9,e,9),(9,e,8),(9,f,1),(9,f,2),(9,f,0),(9,g,2),(9,g,9),(9,g,1),(9,g,6),(9,g,4),(9,g,3),(9,g,0),(9,g,5),(9,h,7),(9,h,6),(9,h,0),(9,i,7),(9,j,3),(9,j,8),(9,j,9),(9,j,6),(9,j,0)
\ No newline at end of file
q10_a10/112.nfa 0 → 100644
View file @ cf53e330
10,10
1,5,6,7,8
(0,a,9),(0,a,6),(0,a,4),(0,a,2),(0,b,8),(0,b,7),(0,b,2),(0,b,1),(0,c,2),(0,c,6),(0,c,3),(0,c,8),(0,d,5),(0,d,9),(0,d,8),(0,d,3),(0,e,0),(0,e,6),(0,e,1),(0,e,2),(0,f,4),(0,f,1),(0,f,7),(0,g,1),(0,g,7),(0,g,0),(0,h,2),(0,h,0),(0,h,1),(0,i,8),(0,i,4),(0,i,7),(0,i,2),(0,i,5),(0,j,6),(0,j,7),(0,j,4),(0,j,0),(1,a,6),(1,a,0),(1,a,9),(1,a,7),(1,a,5),(1,a,4),(1,a,3),(1,b,9),(1,b,4),(1,b,8),(1,b,1),(1,c,1),(1,c,8),(1,c,7),(1,d,9),(1,d,6),(1,d,7),(1,d,2),(1,e,9),(1,e,6),(1,e,3),(1,e,5),(1,e,0),(1,f,0),(1,f,6),(1,f,4),(1,f,3),(1,f,8),(1,g,7),(1,g,4),(1,g,5),(1,g,0),(1,h,2),(1,h,8),(1,h,3),(1,h,0),(1,h,5),(1,i,1),(1,i,8),(1,i,7),(1,i,2),(1,j,8),(1,j,1),(2,a,9),(2,a,7),(2,a,2),(2,b,9),(2,b,8),(2,b,6),(2,b,1),(2,b,2),(2,c,8),(2,c,4),(2,c,9),(2,d,4),(2,d,2),(2,d,7),(2,d,3),(2,e,6),(2,e,8),(2,f,6),(2,f,2),(2,f,0),(2,f,8),(2,f,4),(2,g,8),(2,g,9),(2,g,3),(2,g,0),(2,g,7),(2,g,2),(2,h,4),(2,h,1),(2,h,6),(2,h,2),(2,h,7),(2,i,3),(2,i,0),(2,i,2),(2,i,7),(2,i,9),(2,i,6),(2,j,6),(3,a,7),(3,a,4),(3,a,6),(3,a,2),(3,a,1),(3,a,0),(3,a,9),(3,b,7),(3,b,8),(3,b,4),(3,b,9),(3,b,0),(3,c,5),(3,c,8),(3,c,3),(3,c,2),(3,d,5),(3,d,1),(3,e,0),(3,e,4),(3,e,3),(3,f,5),(3,f,2),(3,f,7),(3,f,0),(3,f,6),(3,f,1),(3,g,1),(3,g,9),(3,g,4),(3,g,8),(3,g,7),(3,h,0),(3,h,3),(3,h,9),(3,i,1),(3,i,7),(3,i,0),(3,i,5),(3,i,9),(3,j,1),(3,j,0),(4,a,6),(4,a,3),(4,a,1),(4,a,9),(4,a,8),(4,a,7),(4,a,5),(4,b,7),(4,b,1),(4,b,6),(4,b,9),(4,b,3),(4,c,2),(4,c,3),(4,c,7),(4,c,5),(4,c,0),(4,c,4),(4,d,4),(4,d,8),(4,d,3),(4,d,1),(4,d,2),(4,d,7),(4,e,6),(4,e,2),(4,e,7),(4,e,8),(4,f,7),(4,f,6),(4,f,1),(4,f,4),(4,f,5),(4,f,0),(4,f,8),(4,g,7),(4,g,2),(4,g,3),(4,g,5),(4,h,8),(4,i,1),(4,i,3),(4,i,9),(4,i,5),(4,i,0),(4,j,6),(4,j,2),(4,j,5),(4,j,8),(4,j,3),(5,a,3),(5,a,8),(5,a,9),(5,a,7),(5,a,6),(5,a,5),(5,b,1),(5,b,6),(5,b,0),(5,b,4),(5,b,8),(5,c,7),(5,d,7),(5,d,1),(5,d,0),(5,d,2),(5,d,9),(5,d,3),(5,e,0),(5,e,9),(5,e,3),(5,e,7),(5,e,6),(5,f,0),(5,f,4),(5,f,1),(5,g,7),(5,g,2),(5,g,1),(5,g,9),(5,g,3),(5,g,8),(5,h,7),(5,h,3),(5,h,9),(5,h,4),(5,h,5),(5,i,3),(5,i,2),(5,i,7),(5,j,6),(5,j,2),(5,j,8),(5,j,5),(5,j,4),(6,a,4),(6,a,1),(6,a,6),(6,a,0),(6,a,2),(6,b,8),(6,b,2),(6,b,6),(6,c,8),(6,c,2),(6,c,5),(6,c,9),(6,c,4),(6,c,3),(6,d,3),(6,d,6),(6,d,7),(6,d,5),(6,e,8),(6,e,9),(6,e,4),(6,e,3),(6,e,2),(6,e,6),(6,e,1),(6,f,0),(6,f,9),(6,f,2),(6,f,3),(6,f,8),(6,g,5),(6,g,9),(6,g,8),(6,h,1),(6,h,2),(6,i,8),(6,i,4),(6,i,9),(6,i,5),(6,j,1),(7,a,2),(7,a,9),(7,a,8),(7,b,1),(7,b,7),(7,b,3),(7,b,9),(7,c,6),(7,c,5),(7,c,4),(7,c,8),(7,d,7),(7,d,1),(7,d,6),(7,e,4),(7,e,1),(7,e,5),(7,e,0),(7,e,7),(7,f,8),(7,f,9),(7,f,7),(7,g,3),(7,g,9),(7,g,6),(7,g,4),(7,g,2),(7,g,5),(7,h,0),(7,h,5),(7,h,6),(7,h,4),(7,i,4),(7,i,2),(7,i,8),(7,j,7),(8,a,3),(8,a,0),(8,a,9),(8,b,6),(8,b,0),(8,b,4),(8,b,3),(8,b,7),(8,c,4),(8,c,5),(8,d,9),(8,d,7),(8,d,6),(8,d,3),(8,d,8),(8,e,9),(8,e,7),(8,e,2),(8,f,2),(8,f,7),(8,f,5),(8,f,0),(8,f,9),(8,f,4),(8,g,0),(8,g,2),(8,g,3),(8,g,5),(8,g,1),(8,g,9),(8,h,2),(8,h,1),(8,h,9),(8,h,4),(8,h,8),(8,i,8),(8,i,0),(8,i,9),(8,i,4),(8,i,7),(8,i,3),(8,j,4),(8,j,9),(8,j,0),(8,j,3),(8,j,1),(9,a,2),(9,b,1),(9,b,4),(9,c,9),(9,c,4),(9,c,0),(9,c,7),(9,d,2),(9,d,0),(9,d,4),(9,d,9),(9,e,9),(9,e,0),(9,e,8),(9,e,3),(9,e,4),(9,f,8),(9,f,0),(9,g,7),(9,g,0),(9,g,5),(9,g,4),(9,g,6),(9,g,1),(9,h,2),(9,h,8),(9,h,4),(9,h,9),(9,i,4),(9,i,8),(9,i,7),(9,j,8),(9,j,6),(9,j,0)
\ No newline at end of file
q10_a10/113.nfa 0 → 100644
View file @ cf53e330
10,10
1,2,4,6,9
(0,a,8),(0,a,3),(0,a,5),(0,a,2),(0,a,1),(0,a,0),(0,b,4),(0,b,0),(0,b,9),(0,b,8),(0,b,5),(0,b,7),(0,c,1),(0,c,9),(0,c,8),(0,d,6),(0,d,9),(0,d,0),(0,d,3),(0,e,6),(0,e,2),(0,e,9),(0,e,4),(0,f,5),(0,f,7),(0,f,3),(0,g,9),(0,g,3),(0,g,8),(0,g,7),(0,h,0),(0,h,3),(0,h,4),(0,i,4),(0,i,2),(0,j,6),(1,a,1),(1,a,5),(1,a,0),(1,a,7),(1,a,6),(1,a,4),(1,a,3),(1,b,5),(1,c,0),(1,c,9),(1,c,8),(1,c,5),(1,c,4),(1,d,0),(1,d,9),(1,d,1),(1,e,3),(1,e,5),(1,e,6),(1,f,6),(1,f,9),(1,f,8),(1,f,3),(1,g,0),(1,g,1),(1,g,9),(1,g,2),(1,g,7),(1,h,1),(1,h,7),(1,h,9),(1,i,5),(1,i,8),(1,i,1),(1,i,2),(1,i,7),(1,j,0),(1,j,7),(1,j,9),(1,j,4),(1,j,6),(2,a,3),(2,a,0),(2,a,6),(2,a,5),(2,a,2),(2,b,7),(2,b,6),(2,b,1),(2,b,3),(2,b,0),(2,b,9),(2,b,4),(2,c,3),(2,c,6),(2,c,4),(2,c,7),(2,c,2),(2,d,5),(2,d,2),(2,d,1),(2,e,2),(2,e,8),(2,e,1),(2,f,0),(2,g,8),(2,g,1),(2,g,0),(2,g,2),(2,g,7),(2,h,4),(2,h,6),(2,h,1),(2,h,2),(2,i,4),(2,i,9),(2,j,3),(2,j,6),(2,j,8),(2,j,1),(2,j,2),(3,a,2),(3,a,5),(3,a,7),(3,a,6),(3,a,4),(3,b,5),(3,b,6),(3,b,7),(3,c,8),(3,c,1),(3,c,0),(3,c,5),(3,c,7),(3,d,5),(3,d,9),(3,d,1),(3,d,2),(3,d,7),(3,e,0),(3,e,9),(3,e,4),(3,e,3),(3,f,9),(3,f,6),(3,f,5),(3,f,3),(3,f,8),(3,g,3),(3,g,5),(3,g,4),(3,g,2),(3,h,9),(3,h,2),(3,h,3),(3,h,8),(3,h,1),(3,i,3),(3,i,7),(3,i,2),(3,i,0),(3,i,6),(3,j,8),(4,a,2),(4,a,9),(4,a,8),(4,a,7),(4,a,5),(4,a,4),(4,b,8),(4,b,1),(4,b,3),(4,b,6),(4,b,7),(4,c,6),(4,c,5),(4,d,8),(4,d,2),(4,d,0),(4,d,6),(4,e,6),(4,e,0),(4,e,8),(4,e,9),(4,e,1),(4,e,3),(4,e,2),(4,e,7),(4,f,8),(4,f,9),(4,f,2),(4,f,7),(4,f,1),(4,f,6),(4,g,5),(4,g,1),(4,g,2),(4,g,3),(4,h,0),(4,h,2),(4,h,5),(4,h,8),(4,h,6),(4,h,1),(4,h,3),(4,h,4),(4,i,3),(4,i,5),(4,i,7),(4,i,4),(4,i,9),(4,i,1),(4,j,1),(5,a,1),(5,a,3),(5,a,8),(5,a,7),(5,a,6),(5,b,1),(5,b,9),(5,b,3),(5,b,8),(5,c,3),(5,c,8),(5,c,5),(5,c,6),(5,c,1),(5,c,9),(5,c,2),(5,d,6),(5,d,9),(5,e,9),(5,e,6),(5,e,5),(5,e,7),(5,e,2),(5,e,8),(5,e,3),(5,f,2),(5,f,5),(5,f,0),(5,f,8),(5,g,5),(5,h,3),(5,h,4),(5,h,0),(5,h,9),(5,h,8),(5,h,6),(5,i,1),(5,i,0),(5,i,2),(5,i,3),(5,i,8),(5,j,7),(5,j,4),(5,j,9),(5,j,3),(5,j,8),(6,a,8),(6,a,0),(6,a,3),(6,a,1),(6,a,9),(6,a,6),(6,b,6),(6,b,4),(6,b,0),(6,b,8),(6,b,7),(6,c,7),(6,c,0),(6,c,5),(6,c,9),(6,c,4),(6,d,4),(6,d,0),(6,d,5),(6,d,8),(6,e,7),(6,e,4),(6,e,9),(6,f,6),(6,f,4),(6,f,8),(6,f,3),(6,f,2),(6,g,5),(6,g,3),(6,g,1),(6,g,6),(6,h,0),(6,h,3),(6,h,7),(6,h,2),(6,h,1),(6,i,8),(6,i,1),(6,j,1),(6,j,5),(7,a,5),(7,a,6),(7,a,7),(7,a,4),(7,a,9),(7,a,8),(7,b,9),(7,b,3),(7,b,2),(7,c,6),(7,c,7),(7,c,0),(7,c,8),(7,c,4),(7,d,6),(7,e,0),(7,e,3),(7,e,4),(7,f,9),(7,f,2),(7,g,8),(7,g,6),(7,g,4),(7,g,2),(7,g,7),(7,h,1),(7,h,3),(7,h,4),(7,i,8),(7,i,3),(7,i,1),(7,i,6),(7,i,5),(7,j,6),(7,j,4),(7,j,9),(8,a,5),(8,a,0),(8,a,4),(8,a,6),(8,a,9),(8,a,3),(8,b,1),(8,b,4),(8,b,9),(8,b,5),(8,b,3),(8,c,0),(8,c,5),(8,c,8),(8,c,6),(8,d,6),(8,d,7),(8,d,2),(8,e,9),(8,e,3),(8,e,2),(8,e,0),(8,f,7),(8,f,6),(8,g,2),(8,g,5),(8,g,8),(8,g,3),(8,g,6),(8,h,9),(8,h,1),(8,h,5),(8,h,4),(8,h,8),(8,h,2),(8,i,7),(8,i,3),(8,i,1),(8,i,9),(8,j,1),(8,j,4),(8,j,0),(8,j,6),(8,j,2),(9,a,2),(9,a,7),(9,a,8),(9,a,0),(9,b,6),(9,b,9),(9,b,8),(9,b,5),(9,b,0),(9,b,2),(9,c,9),(9,c,6),(9,c,7),(9,c,5),(9,d,7),(9,d,0),(9,d,9),(9,d,4),(9,d,6),(9,d,3),(9,e,2),(9,e,8),(9,e,3),(9,e,9),(9,f,1),(9,f,9),(9,g,5),(9,g,0),(9,g,3),(9,g,4),(9,h,8),(9,h,2),(9,i,9),(9,i,8),(9,j,4),(9,j,3),(9,j,0),(9,j,2)
\ No newline at end of file
q10_a10/114.nfa 0 → 100644
View file @ cf53e330
10,10
1,3,4,5,8,9
(0,a,8),(0,a,9),(0,a,6),(0,a,4),(0,b,6),(0,b,9),(0,b,4),(0,b,8),(0,b,5),(0,c,6),(0,c,2),(0,c,9),(0,d,5),(0,e,2),(0,e,9),(0,e,1),(0,e,8),(0,f,1),(0,f,2),(0,f,7),(0,g,6),(0,g,0),(0,g,8),(0,h,7),(0,h,8),(0,h,0),(0,h,9),(0,i,8),(0,i,2),(0,i,6),(0,i,5),(0,i,4),(0,i,3),(0,j,1),(0,j,4),(0,j,0),(0,j,3),(0,j,8),(1,a,2),(1,a,6),(1,a,4),(1,a,3),(1,a,1),(1,b,5),(1,b,1),(1,b,2),(1,b,8),(1,c,2),(1,c,5),(1,c,6),(1,c,4),(1,c,0),(1,c,7),(1,d,3),(1,d,4),(1,d,9),(1,e,2),(1,e,9),(1,e,0),(1,e,6),(1,e,1),(1,e,5),(1,e,7),(1,f,2),(1,f,1),(1,g,6),(1,g,3),(1,g,2),(1,g,4),(1,h,7),(1,h,5),(1,h,0),(1,h,8),(1,i,4),(1,j,4),(1,j,5),(1,j,3),(1,j,9),(2,a,4),(2,a,0),(2,a,9),(2,a,8),(2,a,5),(2,a,2),(2,b,3),(2,c,1),(2,c,7),(2,c,9),(2,c,8),(2,c,0),(2,d,3),(2,d,8),(2,d,5),(2,d,0),(2,e,2),(2,e,8),(2,e,4),(2,f,3),(2,f,6),(2,f,9),(2,f,4),(2,f,0),(2,g,7),(2,g,2),(2,g,1),(2,g,6),(2,g,8),(2,h,5),(2,h,3),(2,h,4),(2,h,9),(2,i,6),(2,i,1),(2,i,0),(2,i,2),(2,i,8),(2,j,5),(2,j,1),(2,j,9),(2,j,2),(3,a,5),(3,a,4),(3,a,9),(3,a,6),(3,b,2),(3,b,6),(3,c,0),(3,c,3),(3,d,7),(3,d,3),(3,d,8),(3,d,0),(3,d,5),(3,e,8),(3,e,9),(3,e,6),(3,e,1),(3,e,0),(3,f,8),(3,f,3),(3,f,0),(3,f,1),(3,f,4),(3,g,7),(3,g,0),(3,g,5),(3,h,4),(3,h,6),(3,h,2),(3,h,7),(3,h,0),(3,i,9),(3,i,7),(3,i,1),(3,i,4),(3,i,3),(3,i,0),(3,i,2),(3,j,2),(3,j,3),(3,j,1),(3,j,5),(4,a,1),(4,a,0),(4,a,9),(4,a,7),(4,a,6),(4,b,0),(4,b,1),(4,b,9),(4,c,8),(4,c,2),(4,c,7),(4,c,4),(4,c,9),(4,d,8),(4,e,0),(4,e,6),(4,e,3),(4,f,0),(4,f,4),(4,f,9),(4,f,6),(4,g,5),(4,g,3),(4,h,6),(4,h,2),(4,h,7),(4,h,1),(4,h,8),(4,h,3),(4,i,2),(4,j,6),(4,j,7),(4,j,4),(5,a,5),(5,a,2),(5,a,8),(5,a,6),(5,b,6),(5,b,2),(5,b,9),(5,b,4),(5,c,9),(5,c,0),(5,c,3),(5,c,2),(5,c,7),(5,c,5),(5,c,4),(5,d,4),(5,d,8),(5,d,3),(5,d,2),(5,e,0),(5,e,1),(5,e,9),(5,e,4),(5,f,2),(5,f,0),(5,f,7),(5,f,1),(5,f,3),(5,g,8),(5,g,3),(5,g,5),(5,g,9),(5,g,1),(5,g,6),(5,h,5),(5,h,9),(5,i,1),(5,i,0),(5,i,3),(5,i,4),(5,j,5),(5,j,6),(5,j,3),(5,j,7),(6,a,1),(6,a,0),(6,a,9),(6,a,8),(6,a,7),(6,b,7),(6,b,3),(6,b,5),(6,b,4),(6,c,6),(6,c,7),(6,c,8),(6,d,1),(6,d,9),(6,d,4),(6,d,7),(6,e,1),(6,e,2),(6,e,9),(6,e,4),(6,e,5),(6,e,6),(6,f,8),(6,f,9),(6,f,6),(6,g,6),(6,g,4),(6,g,5),(6,g,0),(6,h,0),(6,h,3),(6,h,5),(6,h,1),(6,h,8),(6,h,9),(6,h,2),(6,i,7),(6,i,9),(6,i,8),(6,i,3),(6,i,1),(6,j,0),(6,j,4),(6,j,1),(6,j,6),(7,a,0),(7,a,4),(7,b,8),(7,b,1),(7,b,6),(7,c,5),(7,c,1),(7,c,4),(7,c,8),(7,d,0),(7,d,3),(7,e,8),(7,e,1),(7,e,7),(7,f,0),(7,f,4),(7,f,7),(7,f,2),(7,f,3),(7,g,5),(7,g,6),(7,h,9),(7,h,5),(7,h,8),(7,h,3),(7,h,7),(7,i,8),(7,i,4),(7,i,0),(7,j,5),(7,j,6),(8,a,8),(8,a,6),(8,a,1),(8,a,0),(8,a,9),(8,b,3),(8,b,0),(8,b,5),(8,c,2),(8,c,0),(8,c,6),(8,d,9),(8,e,2),(8,f,7),(8,f,4),(8,f,8),(8,f,5),(8,f,2),(8,f,3),(8,f,1),(8,g,2),(8,h,4),(8,h,9),(8,i,2),(8,j,6),(8,j,4),(8,j,9),(8,j,8),(9,a,1),(9,a,5),(9,b,7),(9,b,0),(9,b,8),(9,b,2),(9,b,9),(9,b,1),(9,c,9),(9,c,1),(9,c,5),(9,d,0),(9,d,9),(9,d,1),(9,d,2),(9,d,7),(9,e,0),(9,e,5),(9,e,2),(9,e,1),(9,e,9),(9,f,4),(9,f,9),(9,f,3),(9,f,8),(9,g,9),(9,g,2),(9,g,7),(9,h,1),(9,h,0),(9,h,5),(9,h,2),(9,h,8),(9,i,5),(9,i,8),(9,i,3),(9,i,9),(9,j,4),(9,j,5),(9,j,8),(9,j,3),(9,j,1)
\ No newline at end of file
q10_a10/115.nfa 0 → 100644
View file @ cf53e330
10,10
3
(0,a,8),(0,a,9),(0,a,6),(0,a,5),(0,a,2),(0,a,0),(0,b,3),(0,b,6),(0,b,4),(0,b,9),(0,b,7),(0,b,0),(0,b,8),(0,c,4),(0,c,2),(0,c,7),(0,d,9),(0,e,4),(0,e,6),(0,e,9),(0,e,2),(0,e,3),(0,e,0),(0,f,5),(0,f,4),(0,f,7),(0,f,8),(0,f,3),(0,g,6),(0,g,8),(0,g,9),(0,g,4),(0,h,0),(0,h,2),(0,i,4),(0,i,7),(0,i,5),(0,i,1),(0,j,3),(1,a,5),(1,a,8),(1,a,0),(1,a,9),(1,a,7),(1,a,4),(1,a,1),(1,b,9),(1,c,2),(1,c,3),(1,d,1),(1,d,8),(1,d,5),(1,d,7),(1,e,2),(1,e,7),(1,e,1),(1,e,4),(1,f,8),(1,f,3),(1,f,2),(1,f,4),(1,f,9),(1,h,1),(1,i,4),(1,i,8),(1,i,0),(1,i,7),(1,i,6),(1,i,3),(1,j,9),(1,j,8),(1,j,7),(1,j,1),(1,j,0),(2,a,5),(2,a,9),(2,a,0),(2,a,7),(2,a,3),(2,b,7),(2,b,0),(2,b,8),(2,b,6),(2,c,5),(2,c,1),(2,c,2),(2,c,7),(2,d,1),(2,d,9),(2,d,2),(2,d,0),(2,e,9),(2,e,8),(2,e,4),(2,e,2),(2,e,6),(2,e,1),(2,e,5),(2,f,5),(2,f,0),(2,f,8),(2,f,9),(2,f,1),(2,f,2),(2,g,0),(2,g,5),(2,g,3),(2,g,8),(2,g,6),(2,g,2),(2,g,4),(2,g,9),(2,h,1),(2,h,6),(2,h,5),(2,h,2),(2,i,7),(2,i,0),(2,i,6),(2,i,3),(2,i,4),(2,j,9),(2,j,1),(2,j,7),(2,j,0),(2,j,3),(3,a,8),(3,a,6),(3,a,4),(3,b,6),(3,b,0),(3,b,8),(3,b,2),(3,b,7),(3,c,7),(3,c,0),(3,c,1),(3,d,6),(3,d,8),(3,e,9),(3,e,0),(3,e,3),(3,e,6),(3,e,2),(3,e,7),(3,f,2),(3,f,0),(3,f,5),(3,f,6),(3,g,4),(3,g,2),(3,g,1),(3,g,6),(3,h,2),(3,h,5),(3,h,0),(3,h,1),(3,h,9),(3,i,4),(3,i,0),(3,i,5),(3,i,9),(3,i,1),(3,i,2),(3,j,8),(4,a,3),(4,a,9),(4,a,8),(4,a,6),(4,a,5),(4,b,3),(4,b,8),(4,c,0),(4,c,4),(4,c,9),(4,c,1),(4,c,7),(4,d,6),(4,d,5),(4,d,7),(4,e,9),(4,e,4),(4,e,5),(4,e,1),(4,e,6),(4,e,8),(4,f,2),(4,f,9),(4,f,5),(4,f,0),(4,g,6),(4,g,5),(4,g,0),(4,h,1),(4,h,3),(4,h,4),(4,h,5),(4,i,3),(4,i,2),(4,i,0),(4,i,9),(4,i,8),(4,j,6),(4,j,5),(4,j,9),(4,j,4),(5,a,9),(5,a,0),(5,a,7),(5,a,3),(5,a,8),(5,a,6),(5,a,5),(5,b,1),(5,b,0),(5,b,3),(5,c,1),(5,c,7),(5,c,9),(5,c,0),(5,d,0),(5,d,7),(5,d,4),(5,d,9),(5,e,4),(5,e,3),(5,f,1),(5,f,9),(5,f,4),(5,f,2),(5,g,5),(5,g,9),(5,g,8),(5,g,7),(5,g,0),(5,h,1),(5,h,6),(5,h,5),(5,h,0),(5,i,0),(5,i,3),(5,i,9),(5,i,1),(5,j,5),(5,j,4),(5,j,2),(6,a,4),(6,a,3),(6,a,5),(6,a,9),(6,a,8),(6,a,7),(6,b,3),(6,b,5),(6,b,1),(6,b,7),(6,c,5),(6,c,4),(6,c,6),(6,c,2),(6,c,7),(6,d,0),(6,d,7),(6,d,2),(6,e,7),(6,e,5),(6,e,9),(6,f,4),(6,f,6),(6,g,4),(6,g,7),(6,g,9),(6,g,1),(6,g,6),(6,g,3),(6,h,7),(6,h,2),(6,h,8),(6,h,4),(6,i,3),(6,i,2),(6,i,9),(6,i,1),(6,j,3),(6,j,8),(6,j,2),(7,a,6),(7,a,4),(7,a,0),(7,a,8),(7,a,2),(7,a,7),(7,b,8),(7,b,1),(7,b,7),(7,b,2),(7,c,4),(7,c,1),(7,c,6),(7,c,7),(7,d,4),(7,d,5),(7,d,8),(7,e,8),(7,e,5),(7,e,0),(7,e,1),(7,e,2),(7,f,0),(7,f,4),(7,g,8),(7,g,3),(7,g,4),(7,g,5),(7,g,0),(7,g,1),(7,h,6),(7,h,3),(7,i,9),(7,i,7),(7,i,2),(7,i,0),(7,j,2),(7,j,5),(7,j,6),(7,j,8),(8,a,5),(8,a,0),(8,a,1),(8,b,0),(8,b,3),(8,b,8),(8,b,4),(8,c,9),(8,c,2),(8,c,5),(8,d,8),(8,d,1),(8,d,6),(8,e,3),(8,e,5),(8,e,1),(8,f,7),(8,f,5),(8,f,3),(8,g,7),(8,g,5),(8,g,4),(8,h,9),(8,h,1),(8,h,5),(8,i,2),(8,i,8),(8,i,1),(8,i,5),(8,j,5),(8,j,9),(8,j,3),(8,j,2),(9,a,8),(9,a,1),(9,b,6),(9,b,7),(9,b,1),(9,b,4),(9,b,0),(9,c,0),(9,c,2),(9,c,9),(9,d,4),(9,d,2),(9,d,7),(9,d,0),(9,d,5),(9,e,7),(9,e,3),(9,e,0),(9,f,5),(9,f,2),(9,f,9),(9,f,8),(9,f,6),(9,f,7),(9,g,4),(9,g,2),(9,g,9),(9,g,5),(9,g,8),(9,g,3),(9,h,8),(9,h,1),(9,h,6),(9,h,7),(9,h,3),(9,h,9),(9,i,2),(9,i,0),(9,i,6),(9,j,2),(9,j,3)
\ No newline at end of file
q10_a10/116.nfa 0 → 100644
View file @ cf53e330
10,10
0,2,4,5,7,8,9
(0,a,5),(0,a,9),(0,a,8),(0,a,6),(0,a,3),(0,b,7),(0,b,5),(0,b,9),(0,b,0),(0,b,3),(0,c,1),(0,c,2),(0,c,0),(0,d,0),(0,d,1),(0,d,7),(0,d,2),(0,e,1),(0,e,8),(0,e,0),(0,e,7),(0,e,5),(0,e,4),(0,f,9),(0,f,5),(0,f,3),(0,g,3),(0,g,1),(0,g,4),(0,g,9),(0,g,8),(0,g,2),(0,h,4),(0,h,7),(0,h,2),(0,h,3),(0,h,8),(0,i,0),(0,i,1),(0,i,2),(0,i,3),(0,i,5),(0,j,5),(0,j,0),(0,j,8),(0,j,9),(1,a,3),(1,a,8),(1,a,4),(1,a,6),(1,b,1),(1,b,9),(1,c,3),(1,c,7),(1,c,2),(1,d,8),(1,d,0),(1,d,6),(1,d,1),(1,e,0),(1,e,7),(1,e,9),(1,e,6),(1,e,1),(1,f,1),(1,f,6),(1,g,0),(1,g,5),(1,h,5),(1,h,9),(1,h,3),(1,h,0),(1,h,7),(1,h,4),(1,h,2),(1,i,9),(1,i,1),(1,j,1),(1,j,3),(1,j,5),(2,a,7),(2,a,5),(2,a,2),(2,b,8),(2,b,4),(2,b,7),(2,b,0),(2,c,2),(2,c,4),(2,c,8),(2,d,7),(2,e,5),(2,e,6),(2,e,1),(2,e,4),(2,f,6),(2,f,2),(2,g,4),(2,g,9),(2,g,7),(2,g,8),(2,g,0),(2,h,9),(2,h,4),(2,i,7),(2,i,9),(2,i,8),(2,j,9),(2,j,3),(2,j,8),(2,j,6),(3,a,2),(3,a,0),(3,a,9),(3,a,8),(3,a,7),(3,a,3),(3,b,3),(3,c,9),(3,c,4),(3,c,3),(3,d,1),(3,d,5),(3,d,8),(3,d,6),(3,d,2),(3,d,7),(3,d,4),(3,e,8),(3,e,3),(3,e,5),(3,e,0),(3,e,9),(3,f,0),(3,f,6),(3,f,3),(3,g,5),(3,g,0),(3,g,7),(3,g,9),(3,g,4),(3,h,3),(3,h,9),(3,h,7),(3,i,3),(3,i,8),(3,i,5),(3,i,6),(3,j,6),(3,j,0),(4,a,1),(4,a,9),(4,a,8),(4,a,7),(4,b,3),(4,b,8),(4,b,9),(4,b,7),(4,b,6),(4,c,5),(4,c,0),(4,c,4),(4,d,1),(4,e,7),(4,e,5),(4,f,4),(4,f,5),(4,f,8),(4,f,2),(4,g,1),(4,g,9),(4,g,7),(4,g,8),(4,g,2),(4,g,4),(4,h,2),(4,h,8),(4,h,6),(4,h,4),(4,i,2),(4,i,7),(4,i,1),(4,j,3),(4,j,6),(5,a,5),(5,a,0),(5,a,2),(5,a,3),(5,a,4),(5,a,9),(5,a,7),(5,a,6),(5,b,0),(5,b,2),(5,b,3),(5,b,1),(5,c,8),(5,c,2),(5,c,6),(5,c,0),(5,d,6),(5,d,5),(5,d,8),(5,d,3),(5,d,7),(5,e,2),(5,e,7),(5,e,8),(5,f,8),(5,f,3),(5,f,7),(5,f,9),(5,g,1),(5,g,4),(5,g,9),(5,h,4),(5,h,1),(5,h,6),(5,h,5),(5,h,2),(5,h,7),(5,h,0),(5,i,4),(5,i,5),(5,i,2),(5,i,7),(5,i,3),(5,i,1),(5,i,6),(5,j,6),(5,j,3),(5,j,8),(5,j,0),(5,j,5),(5,j,2),(6,a,1),(6,a,6),(6,a,0),(6,a,5),(6,a,9),(6,a,8),(6,a,7),(6,b,4),(6,b,2),(6,b,1),(6,b,0),(6,b,5),(6,c,7),(6,c,5),(6,c,0),(6,c,9),(6,d,8),(6,d,1),(6,e,8),(6,e,4),(6,e,5),(6,e,0),(6,e,7),(6,f,5),(6,f,3),(6,f,7),(6,f,2),(6,g,2),(6,g,0),(6,g,3),(6,g,9),(6,g,4),(6,h,3),(6,h,5),(6,i,3),(6,i,4),(6,i,7),(6,i,5),(6,i,6),(6,j,1),(6,j,2),(6,j,8),(7,a,3),(7,a,8),(7,a,4),(7,b,8),(7,b,4),(7,b,1),(7,b,5),(7,c,5),(7,c,6),(7,c,7),(7,c,2),(7,d,9),(7,d,0),(7,d,5),(7,d,4),(7,d,8),(7,d,3),(7,e,1),(7,e,8),(7,e,9),(7,e,7),(7,e,0),(7,e,4),(7,f,4),(7,f,9),(7,f,1),(7,f,6),(7,f,0),(7,f,8),(7,g,8),(7,g,7),(7,h,3),(7,h,2),(7,h,7),(7,h,5),(7,i,8),(7,i,7),(7,i,1),(7,i,0),(7,i,5),(7,j,3),(7,j,0),(7,j,4),(7,j,2),(7,j,5),(7,j,9),(8,a,6),(8,a,0),(8,a,4),(8,a,9),(8,a,8),(8,b,9),(8,b,0),(8,c,4),(8,c,5),(8,c,0),(8,c,6),(8,c,1),(8,c,2),(8,d,2),(8,d,9),(8,d,7),(8,e,5),(8,e,0),(8,e,1),(8,e,9),(8,e,4),(8,f,8),(8,f,7),(8,f,0),(8,f,3),(8,f,4),(8,f,1),(8,f,2),(8,g,4),(8,g,5),(8,g,1),(8,g,6),(8,h,6),(8,h,2),(8,h,8),(8,h,3),(8,i,4),(8,i,8),(8,i,6),(8,j,5),(8,j,1),(8,j,8),(8,j,9),(9,a,1),(9,a,5),(9,a,9),(9,b,8),(9,b,7),(9,b,6),(9,c,0),(9,c,9),(9,c,8),(9,c,2),(9,d,7),(9,d,2),(9,d,8),(9,d,9),(9,e,1),(9,e,5),(9,e,2),(9,e,4),(9,f,8),(9,f,6),(9,f,7),(9,f,2),(9,f,4),(9,g,1),(9,g,8),(9,g,7),(9,g,2),(9,h,8),(9,h,4),(9,h,0),(9,h,1),(9,i,0),(9,i,8),(9,i,3),(9,j,0),(9,j,4),(9,j,1),(9,j,6),(9,j,8),(9,j,3)
\ No newline at end of file
q10_a10/117.nfa 0 → 100644
View file @ cf53e330
10,10
0,4,5,6,7,8,9
(0,a,8),(0,a,7),(0,a,1),(0,b,1),(0,b,0),(0,b,3),(0,b,4),(0,c,4),(0,c,9),(0,c,2),(0,c,5),(0,c,0),(0,c,6),(0,d,6),(0,d,0),(0,d,2),(0,d,7),(0,e,1),(0,e,5),(0,e,0),(0,f,9),(0,f,1),(0,f,6),(0,f,0),(0,g,4),(0,g,7),(0,g,1),(0,g,8),(0,h,4),(0,h,8),(0,h,0),(0,h,5),(0,i,6),(0,i,1),(0,i,3),(0,i,4),(0,i,9),(0,j,7),(0,j,0),(1,a,3),(1,a,4),(1,a,0),(1,a,8),(1,a,6),(1,a,5),(1,a,2),(1,a,1),(1,b,8),(1,b,1),(1,b,7),(1,b,2),(1,c,7),(1,c,2),(1,c,4),(1,c,3),(1,c,8),(1,d,6),(1,d,5),(1,d,9),(1,e,3),(1,e,2),(1,f,3),(1,f,1),(1,f,6),(1,g,1),(1,g,5),(1,h,8),(1,h,0),(1,i,8),(1,i,1),(1,i,7),(1,j,7),(1,j,3),(1,j,0),(1,j,5),(1,j,1),(2,a,3),(2,a,0),(2,a,9),(2,a,8),(2,a,6),(2,a,5),(2,a,4),(2,a,2),(2,b,8),(2,c,9),(2,c,2),(2,c,0),(2,c,5),(2,c,3),(2,d,1),(2,d,8),(2,d,9),(2,d,4),(2,e,0),(2,e,9),(2,e,2),(2,e,1),(2,e,6),(2,f,8),(2,f,2),(2,f,9),(2,f,4),(2,f,0),(2,g,0),(2,g,4),(2,h,2),(2,h,9),(2,i,9),(2,i,2),(2,i,7),(2,i,5),(2,i,0),(2,j,7),(2,j,4),(2,j,3),(2,j,8),(2,j,6),(2,j,0),(3,a,4),(3,a,9),(3,a,8),(3,a,7),(3,a,6),(3,a,5),(3,b,4),(3,b,2),(3,b,7),(3,c,6),(3,c,9),(3,c,1),(3,c,0),(3,d,5),(3,d,0),(3,d,6),(3,e,9),(3,e,5),(3,e,0),(3,e,7),(3,e,2),(3,e,3),(3,f,1),(3,f,6),(3,f,7),(3,f,0),(3,g,9),(3,g,3),(3,g,4),(3,g,8),(3,g,6),(3,g,5),(3,h,3),(3,i,3),(3,i,7),(3,i,2),(3,j,4),(3,j,9),(3,j,7),(3,j,5),(3,j,8),(4,a,2),(4,a,9),(4,a,8),(4,a,7),(4,a,5),(4,a,4),(4,b,5),(4,b,9),(4,b,8),(4,b,2),(4,b,3),(4,b,4),(4,b,6),(4,b,1),(4,c,6),(4,c,0),(4,c,1),(4,c,2),(4,c,3),(4,c,8),(4,d,7),(4,d,6),(4,d,9),(4,d,3),(4,e,8),(4,e,5),(4,e,4),(4,e,6),(4,e,2),(4,e,3),(4,f,9),(4,f,4),(4,f,3),(4,g,0),(4,g,1),(4,g,4),(4,g,9),(4,g,2),(4,g,7),(4,h,2),(4,h,3),(4,h,0),(4,i,5),(4,i,0),(4,i,4),(4,i,6),(4,i,1),(4,i,2),(4,j,5),(4,j,9),(4,j,6),(4,j,7),(4,j,3),(5,a,5),(5,a,8),(5,a,7),(5,a,6),(5,b,8),(5,b,1),(5,c,9),(5,c,0),(5,c,8),(5,d,6),(5,d,7),(5,d,8),(5,e,5),(5,e,4),(5,e,1),(5,e,6),(5,f,0),(5,f,2),(5,f,6),(5,f,5),(5,f,1),(5,f,8),(5,f,9),(5,g,3),(5,g,6),(5,g,9),(5,g,4),(5,h,7),(5,h,8),(5,i,8),(5,i,2),(5,i,0),(5,j,8),(5,j,5),(5,j,3),(5,j,4),(5,j,1),(5,j,6),(6,a,5),(6,b,5),(6,b,8),(6,b,3),(6,b,0),(6,b,7),(6,b,6),(6,c,7),(6,c,2),(6,d,9),(6,e,9),(6,e,2),(6,f,5),(6,f,0),(6,f,9),(6,f,8),(6,f,3),(6,f,7),(6,g,4),(6,g,2),(6,g,6),(6,g,5),(6,h,0),(6,h,5),(6,h,9),(6,h,1),(6,i,6),(6,i,8),(6,i,9),(6,i,4),(6,j,9),(6,j,2),(6,j,8),(6,j,6),(6,j,1),(7,a,1),(7,a,9),(7,a,2),(7,a,7),(7,b,7),(7,b,2),(7,b,0),(7,b,5),(7,c,1),(7,d,0),(7,d,6),(7,d,5),(7,d,9),(7,e,8),(7,e,1),(7,e,7),(7,e,4),(7,f,5),(7,f,1),(7,f,4),(7,f,9),(7,g,1),(7,g,9),(7,g,2),(7,h,2),(7,h,7),(7,h,6),(7,h,9),(7,h,8),(7,i,1),(7,j,5),(7,j,0),(7,j,4),(8,a,7),(8,a,5),(8,a,9),(8,b,4),(8,b,1),(8,b,8),(8,b,3),(8,b,5),(8,c,5),(8,c,6),(8,c,1),(8,c,2),(8,c,0),(8,d,1),(8,d,4),(8,d,6),(8,d,2),(8,d,7),(8,d,8),(8,e,0),(8,e,5),(8,e,1),(8,e,6),(8,f,8),(8,f,4),(8,f,6),(8,f,2),(8,f,7),(8,f,0),(8,g,3),(8,g,0),(8,g,1),(8,g,6),(8,g,4),(8,h,9),(8,h,2),(8,h,7),(8,h,6),(8,i,6),(8,i,4),(8,j,0),(8,j,2),(9,a,3),(9,a,6),(9,a,2),(9,a,9),(9,b,0),(9,b,1),(9,b,8),(9,c,4),(9,c,3),(9,c,1),(9,c,2),(9,c,0),(9,d,7),(9,d,6),(9,d,8),(9,e,6),(9,e,8),(9,e,2),(9,e,0),(9,e,5),(9,e,1),(9,f,2),(9,f,8),(9,f,6),(9,g,9),(9,g,6),(9,g,5),(9,g,0),(9,g,2),(9,g,7),(9,h,2),(9,h,5),(9,h,1),(9,i,5),(9,i,3),(9,i,9),(9,i,4),(9,j,0),(9,j,4)
\ No newline at end of file
q10_a10/118.nfa 0 → 100644
View file @ cf53e330
10,10
0,2,6,7
(0,a,1),(0,a,2),(0,a,9),(0,a,8),(0,a,3),(0,a,0),(0,b,1),(0,b,7),(0,b,0),(0,b,5),(0,b,6),(0,b,9),(0,c,3),(0,d,7),(0,d,9),(0,d,8),(0,d,1),(0,e,7),(0,e,0),(0,e,8),(0,e,3),(0,f,8),(0,f,6),(0,f,9),(0,f,5),(0,g,1),(0,g,8),(0,g,4),(0,g,0),(0,g,7),(0,g,2),(0,h,6),(0,h,1),(0,i,0),(0,i,5),(0,i,2),(0,i,6),(0,j,7),(0,j,2),(0,j,6),(0,j,9),(0,j,3),(0,j,8),(1,a,2),(1,a,8),(1,a,7),(1,a,6),(1,a,3),(1,a,1),(1,b,2),(1,b,1),(1,b,8),(1,b,9),(1,c,6),(1,c,9),(1,c,4),(1,c,8),(1,c,3),(1,d,4),(1,d,2),(1,d,6),(1,d,1),(1,d,5),(1,e,7),(1,e,3),(1,e,8),(1,e,2),(1,e,0),(1,e,5),(1,f,4),(1,f,5),(1,f,1),(1,f,2),(1,f,7),(1,f,8),(1,f,9),(1,g,0),(1,g,8),(1,g,7),(1,h,6),(1,h,2),(1,h,1),(1,h,9),(1,h,4),(1,i,1),(1,i,7),(1,j,9),(1,j,4),(1,j,8),(1,j,3),(2,a,6),(2,a,9),(2,a,8),(2,a,7),(2,a,5),(2,a,4),(2,b,7),(2,b,6),(2,c,1),(2,c,6),(2,d,4),(2,e,8),(2,e,1),(2,f,7),(2,f,2),(2,g,5),(2,g,1),(2,g,4),(2,g,8),(2,h,5),(2,h,0),(2,h,2),(2,i,7),(2,i,2),(2,i,5),(2,i,4),(2,i,9),(2,j,3),(2,j,2),(2,j,9),(3,a,9),(3,a,8),(3,a,2),(3,a,7),(3,a,6),(3,a,5),(3,a,4),(3,a,3),(3,b,7),(3,b,4),(3,b,3),(3,b,2),(3,b,1),(3,b,6),(3,c,1),(3,c,8),(3,d,4),(3,d,7),(3,d,2),(3,e,5),(3,e,8),(3,e,7),(3,f,7),(3,f,2),(3,g,5),(3,g,1),(3,g,4),(3,g,9),(3,g,3),(3,h,3),(3,h,6),(3,h,8),(3,h,0),(3,h,2),(3,h,9),(3,i,3),(3,i,6),(3,i,0),(3,i,5),(3,i,4),(3,j,5),(3,j,9),(3,j,0),(3,j,3),(3,j,8),(3,j,6),(4,a,0),(4,a,9),(4,a,8),(4,a,5),(4,b,3),(4,b,1),(4,b,5),(4,b,0),(4,b,2),(4,c,6),(4,c,7),(4,c,3),(4,c,8),(4,d,4),(4,d,6),(4,d,5),(4,d,2),(4,e,8),(4,e,2),(4,e,1),(4,e,4),(4,e,5),(4,e,0),(4,e,6),(4,f,6),(4,g,8),(4,g,5),(4,g,0),(4,h,4),(4,h,0),(4,h,8),(4,i,9),(4,i,4),(4,i,1),(4,j,6),(4,j,3),(4,j,8),(4,j,5),(4,j,9),(4,j,7),(5,a,1),(5,a,9),(5,a,2),(5,a,4),(5,a,5),(5,b,4),(5,b,6),(5,b,8),(5,b,3),(5,b,1),(5,b,0),(5,b,2),(5,b,7),(5,c,3),(5,c,2),(5,c,7),(5,c,5),(5,c,0),(5,d,4),(5,d,2),(5,e,9),(5,e,3),(5,e,8),(5,f,7),(5,f,3),(5,f,4),(5,f,1),(5,f,5),(5,f,0),(5,f,8),(5,g,3),(5,g,2),(5,g,6),(5,g,5),(5,h,8),(5,h,3),(5,h,7),(5,h,5),(5,h,0),(5,i,4),(5,i,8),(5,i,1),(5,i,2),(5,j,4),(5,j,3),(5,j,2),(5,j,0),(6,a,6),(6,a,3),(6,a,1),(6,a,5),(6,a,8),(6,b,8),(6,b,7),(6,b,4),(6,c,3),(6,c,2),(6,c,7),(6,c,6),(6,d,3),(6,d,7),(6,d,0),(6,d,4),(6,d,8),(6,d,6),(6,d,2),(6,e,2),(6,e,8),(6,e,4),(6,e,0),(6,e,5),(6,f,9),(6,f,0),(6,f,5),(6,g,3),(6,g,8),(6,g,4),(6,g,5),(6,g,0),(6,g,7),(6,h,4),(6,h,5),(6,h,7),(6,h,3),(6,h,8),(6,i,5),(6,i,9),(6,i,6),(6,i,3),(6,i,8),(6,j,6),(6,j,8),(6,j,3),(6,j,2),(7,a,6),(7,a,1),(7,a,4),(7,a,0),(7,a,9),(7,a,8),(7,a,2),(7,b,4),(7,b,3),(7,b,0),(7,b,6),(7,b,2),(7,b,7),(7,b,9),(7,c,4),(7,c,0),(7,c,8),(7,c,6),(7,c,1),(7,d,1),(7,d,7),(7,d,9),(7,d,5),(7,e,7),(7,e,2),(7,e,1),(7,e,5),(7,e,3),(7,e,8),(7,f,9),(7,f,7),(7,f,8),(7,f,3),(7,f,4),(7,f,0),(7,f,5),(7,f,1),(7,g,8),(7,g,1),(7,g,6),(7,g,7),(7,g,4),(7,g,9),(7,h,3),(7,h,6),(7,h,0),(7,h,2),(7,h,7),(7,h,8),(7,i,8),(7,i,3),(7,i,6),(7,i,2),(7,i,9),(7,j,7),(7,j,8),(7,j,5),(8,a,2),(8,a,4),(8,a,9),(8,a,3),(8,a,8),(8,b,3),(8,b,0),(8,b,6),(8,c,5),(8,c,7),(8,c,2),(8,c,1),(8,c,9),(8,d,9),(8,d,8),(8,d,1),(8,d,5),(8,d,0),(8,d,4),(8,d,3),(8,e,1),(8,e,7),(8,f,8),(8,f,6),(8,f,4),(8,f,9),(8,g,9),(8,g,6),(8,h,1),(8,h,5),(8,h,4),(8,h,7),(8,h,2),(8,i,1),(8,i,5),(8,i,7),(8,j,4),(8,j,0),(8,j,3),(8,j,6),(9,a,8),(9,a,5),(9,a,2),(9,a,7),(9,a,9),(9,b,9),(9,b,1),(9,b,2),(9,b,6),(9,b,0),(9,b,5),(9,c,8),(9,c,7),(9,c,3),(9,c,2),(9,c,1),(9,c,9),(9,c,4),(9,d,8),(9,d,5),(9,e,4),(9,e,3),(9,e,8),(9,f,2),(9,f,9),(9,f,1),(9,f,6),(9,g,7),(9,g,8),(9,g,6),(9,g,1),(9,g,4),(9,g,2),(9,g,0),(9,g,5),(9,h,0),(9,h,3),(9,h,9),(9,h,4),(9,i,1),(9,i,0),(9,i,8),(9,i,3),(9,i,7),(9,j,2),(9,j,4)
\ No newline at end of file
q10_a10/119.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,2,3,5,6,9
(0,a,3),(0,a,8),(0,a,6),(0,a,5),(0,a,0),(0,b,3),(0,b,1),(0,b,8),(0,b,7),(0,b,5),(0,b,4),(0,c,0),(0,c,9),(0,c,6),(0,d,4),(0,d,3),(0,e,8),(0,e,2),(0,e,6),(0,e,4),(0,e,9),(0,f,9),(0,f,1),(0,f,7),(0,f,2),(0,f,5),(0,g,1),(0,g,2),(0,g,7),(0,g,8),(0,g,3),(0,g,5),(0,g,0),(0,h,8),(0,h,5),(0,h,9),(0,i,5),(0,i,4),(0,i,1),(0,i,3),(0,j,4),(0,j,6),(0,j,3),(1,a,6),(1,a,3),(1,a,4),(1,a,0),(1,a,9),(1,a,7),(1,a,1),(1,b,9),(1,b,2),(1,b,3),(1,b,5),(1,b,0),(1,c,5),(1,c,1),(1,c,2),(1,c,9),(1,c,7),(1,c,0),(1,c,3),(1,d,9),(1,d,7),(1,d,3),(1,d,1),(1,e,5),(1,e,3),(1,e,6),(1,e,1),(1,f,3),(1,f,2),(1,f,9),(1,f,8),(1,f,0),(1,f,5),(1,g,1),(1,g,8),(1,g,3),(1,h,2),(1,h,0),(1,h,9),(1,h,4),(1,i,6),(1,i,2),(1,i,4),(1,i,5),(1,j,0),(1,j,4),(1,j,9),(1,j,2),(1,j,7),(2,a,1),(2,a,6),(2,a,4),(2,a,2),(2,b,9),(2,b,0),(2,c,5),(2,c,4),(2,c,6),(2,c,2),(2,d,4),(2,d,6),(2,d,8),(2,d,1),(2,d,5),(2,d,0),(2,d,7),(2,d,2),(2,d,9),(2,e,7),(2,e,8),(2,e,9),(2,f,7),(2,f,1),(2,f,3),(2,f,8),(2,f,5),(2,f,9),(2,g,5),(2,h,8),(2,h,2),(2,h,4),(2,h,5),(2,h,0),(2,i,6),(2,i,3),(2,i,8),(2,i,5),(2,i,0),(2,j,3),(3,a,9),(3,a,8),(3,a,4),(3,a,3),(3,b,5),(3,b,0),(3,b,8),(3,b,7),(3,b,9),(3,c,8),(3,c,0),(3,c,7),(3,d,8),(3,d,7),(3,d,1),(3,d,6),(3,e,0),(3,e,9),(3,e,2),(3,e,6),(3,e,1),(3,f,0),(3,f,4),(3,f,9),(3,f,7),(3,f,1),(3,f,3),(3,g,3),(3,g,0),(3,g,9),(3,g,7),(3,h,3),(3,h,8),(3,h,9),(3,h,4),(3,h,0),(3,i,2),(3,i,7),(3,i,6),(3,j,8),(3,j,9),(3,j,6),(3,j,1),(4,a,8),(4,a,3),(4,a,2),(4,a,4),(4,a,0),(4,a,9),(4,a,7),(4,b,2),(4,b,1),(4,b,7),(4,b,0),(4,b,5),(4,b,6),(4,c,8),(4,c,5),(4,c,9),(4,c,1),(4,d,1),(4,e,4),(4,e,9),(4,e,6),(4,e,7),(4,e,2),(4,f,5),(4,f,3),(4,f,1),(4,f,0),(4,f,2),(4,f,7),(4,g,8),(4,g,3),(4,g,7),(4,g,2),(4,g,6),(4,g,9),(4,g,4),(4,h,4),(4,i,4),(4,i,3),(4,i,1),(4,i,9),(4,i,7),(4,j,0),(4,j,3),(4,j,8),(4,j,9),(5,a,4),(5,a,9),(5,a,2),(5,a,0),(5,a,8),(5,a,7),(5,b,6),(5,c,0),(5,c,5),(5,d,3),(5,d,2),(5,d,5),(5,e,8),(5,e,4),(5,e,5),(5,e,6),(5,e,1),(5,f,8),(5,f,7),(5,g,4),(5,g,2),(5,g,7),(5,g,9),(5,g,5),(5,g,3),(5,g,8),(5,h,1),(5,h,6),(5,h,5),(5,h,2),(5,i,2),(5,i,7),(5,i,4),(5,i,3),(5,i,8),(5,i,0),(5,j,0),(5,j,9),(5,j,2),(5,j,7),(6,a,2),(6,a,5),(6,a,0),(6,a,4),(6,a,9),(6,a,8),(6,a,7),(6,b,3),(6,b,0),(6,b,2),(6,c,6),(6,c,8),(6,c,9),(6,c,1),(6,c,5),(6,d,3),(6,d,9),(6,e,5),(6,e,3),(6,e,4),(6,f,6),(6,g,3),(6,g,5),(6,g,7),(6,h,9),(6,h,3),(6,h,6),(6,h,1),(6,h,7),(6,i,3),(6,i,7),(6,i,1),(6,j,7),(6,j,2),(6,j,6),(6,j,0),(7,a,4),(7,a,1),(7,a,9),(7,a,8),(7,a,2),(7,a,7),(7,b,1),(7,b,0),(7,b,5),(7,b,6),(7,b,4),(7,b,9),(7,c,0),(7,d,3),(7,d,7),(7,d,1),(7,d,6),(7,d,0),(7,e,4),(7,e,8),(7,e,6),(7,e,1),(7,e,2),(7,e,0),(7,f,5),(7,f,0),(7,f,2),(7,f,8),(7,f,6),(7,g,7),(7,g,1),(7,g,3),(7,g,8),(7,h,2),(7,h,9),(7,h,1),(7,h,3),(7,i,1),(7,i,5),(7,i,3),(7,i,2),(7,i,6),(7,j,8),(7,j,1),(8,a,8),(8,a,2),(8,a,0),(8,a,6),(8,a,1),(8,a,9),(8,a,3),(8,b,0),(8,b,8),(8,b,6),(8,b,1),(8,c,1),(8,c,9),(8,c,3),(8,c,8),(8,c,5),(8,d,1),(8,d,6),(8,d,8),(8,d,5),(8,f,0),(8,f,2),(8,f,9),(8,g,8),(8,g,4),(8,g,2),(8,g,0),(8,h,5),(8,i,3),(8,i,0),(8,i,4),(8,j,4),(8,j,5),(8,j,1),(8,j,6),(9,a,6),(9,a,3),(9,a,8),(9,a,4),(9,a,9),(9,b,7),(9,b,8),(9,b,9),(9,b,4),(9,b,2),(9,b,0),(9,c,5),(9,c,4),(9,c,2),(9,c,0),(9,c,1),(9,c,3),(9,d,9),(9,d,2),(9,d,7),(9,d,3),(9,e,0),(9,e,8),(9,e,3),(9,f,6),(9,f,4),(9,f,9),(9,f,5),(9,f,0),(9,g,5),(9,g,1),(9,g,3),(9,g,8),(9,h,3),(9,h,1),(9,h,4),(9,h,9),(9,h,7),(9,i,2),(9,i,4),(9,i,6),(9,i,5),(9,j,2),(9,j,5),(9,j,7),(9,j,8),(9,j,3),(9,j,6)
\ No newline at end of file
q10_a10/12.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,2,3,4,5,7,9
(0,a,9),(0,a,8),(0,a,6),(0,a,4),(0,a,3),(0,a,1),(0,a,0),(0,b,4),(0,b,1),(0,b,7),(0,b,2),(0,b,0),(0,b,5),(0,c,3),(0,c,0),(0,c,5),(0,c,7),(0,c,4),(0,d,0),(0,d,5),(0,d,2),(0,d,6),(0,e,8),(0,e,3),(0,e,5),(0,f,1),(0,f,9),(0,f,2),(0,f,8),(0,f,0),(0,f,5),(0,g,8),(0,g,1),(0,g,9),(0,g,7),(0,g,2),(0,h,3),(0,h,4),(0,h,7),(0,h,1),(0,h,6),(0,i,9),(0,i,3),(0,j,7),(0,j,6),(1,a,9),(1,a,8),(1,a,2),(1,b,2),(1,b,9),(1,b,5),(1,b,3),(1,c,6),(1,c,5),(1,d,4),(1,d,0),(1,d,3),(1,d,2),(1,d,7),(1,e,8),(1,e,3),(1,e,0),(1,e,4),(1,e,2),(1,f,6),(1,f,4),(1,f,1),(1,f,2),(1,f,9),(1,f,0),(1,g,9),(1,g,4),(1,h,0),(1,h,9),(1,h,8),(1,h,6),(1,h,7),(1,i,7),(1,i,3),(1,i,1),(1,j,4),(1,j,9),(1,j,0),(1,j,5),(1,j,1),(2,a,7),(2,a,8),(2,a,1),(2,a,9),(2,a,5),(2,a,3),(2,a,2),(2,b,6),(2,b,1),(2,b,3),(2,c,6),(2,c,1),(2,c,9),(2,c,5),(2,c,0),(2,d,8),(2,d,2),(2,d,7),(2,d,0),(2,e,5),(2,e,4),(2,e,6),(2,e,3),(2,f,5),(2,f,2),(2,f,6),(2,f,1),(2,f,3),(2,f,8),(2,g,2),(2,g,7),(2,g,9),(2,g,3),(2,h,0),(2,h,4),(2,h,1),(2,h,7),(2,i,8),(2,i,5),(2,i,0),(2,i,6),(2,j,6),(3,a,8),(3,a,9),(3,a,6),(3,a,4),(3,a,3),(3,b,5),(3,b,9),(3,b,4),(3,b,0),(3,b,6),(3,c,2),(3,c,0),(3,c,1),(3,c,8),(3,d,1),(3,d,4),(3,d,3),(3,d,8),(3,d,5),(3,d,0),(3,e,8),(3,e,3),(3,e,2),(3,f,3),(3,f,2),(3,f,0),(3,f,5),(3,g,3),(3,g,5),(3,g,6),(3,h,0),(3,h,5),(3,h,6),(3,h,7),(3,i,3),(3,i,0),(3,i,2),(3,i,4),(3,i,9),(3,j,6),(3,j,1),(3,j,0),(4,a,0),(4,a,3),(4,a,9),(4,a,8),(4,a,6),(4,a,4),(4,b,2),(4,b,6),(4,b,9),(4,b,3),(4,b,7),(4,b,5),(4,c,9),(4,c,7),(4,c,0),(4,c,6),(4,c,8),(4,d,8),(4,d,3),(4,d,7),(4,d,9),(4,d,6),(4,d,0),(4,d,2),(4,e,7),(4,e,1),(4,e,4),(4,e,2),(4,e,6),(4,e,8),(4,e,3),(4,f,5),(4,f,9),(4,f,0),(4,f,6),(4,f,3),(4,f,8),(4,g,9),(4,g,8),(4,g,2),(4,g,7),(4,g,0),(4,g,5),(4,h,5),(4,h,8),(4,h,3),(4,h,7),(4,i,6),(4,j,6),(4,j,7),(4,j,1),(4,j,0),(4,j,8),(5,a,8),(5,a,9),(5,a,6),(5,b,3),(5,b,7),(5,b,5),(5,c,1),(5,c,5),(5,c,7),(5,c,2),(5,d,2),(5,d,3),(5,d,6),(5,d,9),(5,d,0),(5,e,2),(5,e,6),(5,e,9),(5,e,0),(5,f,4),(5,f,3),(5,f,0),(5,f,5),(5,g,2),(5,g,5),(5,g,9),(5,g,8),(5,g,7),(5,g,0),(5,g,1),(5,h,0),(5,h,4),(5,h,2),(5,i,9),(5,i,6),(5,i,5),(5,i,3),(5,j,9),(5,j,6),(5,j,0),(5,j,5),(6,a,3),(6,a,8),(6,a,7),(6,a,2),(6,a,6),(6,b,4),(6,b,8),(6,b,6),(6,b,7),(6,b,2),(6,b,5),(6,c,6),(6,c,1),(6,c,7),(6,d,4),(6,d,7),(6,e,6),(6,e,1),(6,e,3),(6,e,8),(6,e,0),(6,f,6),(6,f,3),(6,f,7),(6,g,8),(6,g,3),(6,h,3),(6,h,6),(6,h,9),(6,i,5),(6,i,1),(6,i,2),(6,i,6),(6,i,7),(6,i,9),(6,j,2),(6,j,7),(6,j,3),(6,j,0),(7,a,0),(7,a,9),(7,a,7),(7,b,6),(7,b,9),(7,c,5),(7,c,8),(7,c,3),(7,d,9),(7,d,4),(7,d,1),(7,e,8),(7,e,7),(7,e,2),(7,e,9),(7,e,1),(7,f,5),(7,f,3),(7,g,8),(7,g,0),(7,g,9),(7,h,9),(7,h,6),(7,h,0),(7,h,2),(7,h,8),(7,h,3),(7,h,4),(7,i,4),(7,i,1),(7,i,8),(7,j,7),(7,j,6),(7,j,5),(7,j,9),(7,j,8),(8,a,4),(8,a,0),(8,a,2),(8,a,7),(8,b,0),(8,b,7),(8,c,1),(8,c,2),(8,c,4),(8,c,6),(8,c,3),(8,c,8),(8,d,2),(8,d,5),(8,e,1),(8,f,4),(8,f,2),(8,g,4),(8,g,1),(8,g,6),(8,g,3),(8,h,2),(8,h,7),(8,h,5),(8,h,0),(8,h,8),(8,h,3),(8,i,4),(8,i,9),(8,i,0),(8,i,2),(8,j,2),(8,j,0),(8,j,6),(8,j,1),(9,a,2),(9,a,0),(9,a,4),(9,a,9),(9,b,7),(9,b,0),(9,b,5),(9,c,7),(9,c,6),(9,c,1),(9,c,0),(9,d,3),(9,d,2),(9,d,4),(9,d,0),(9,d,1),(9,d,6),(9,d,5),(9,e,1),(9,e,3),(9,e,6),(9,e,7),(9,e,4),(9,e,9),(9,e,5),(9,f,9),(9,f,0),(9,f,5),(9,f,3),(9,g,6),(9,g,2),(9,g,3),(9,g,0),(9,g,5),(9,g,4),(9,h,6),(9,h,7),(9,h,4),(9,h,9),(9,i,7),(9,j,4),(9,j,6),(9,j,7),(9,j,1)
\ No newline at end of file
q10_a10/120.nfa 0 → 100644
View file @ cf53e330
10,10
2,5,9
(0,a,4),(0,a,3),(0,a,9),(0,a,8),(0,a,7),(0,a,5),(0,a,0),(0,b,7),(0,b,4),(0,b,6),(0,b,1),(0,c,1),(0,c,8),(0,c,7),(0,d,0),(0,d,7),(0,d,2),(0,d,1),(0,e,3),(0,e,4),(0,e,7),(0,f,5),(0,f,6),(0,f,3),(0,f,8),(0,f,7),(0,f,4),(0,g,7),(0,g,8),(0,g,6),(0,h,1),(0,h,2),(0,i,8),(0,i,7),(0,i,4),(0,i,9),(0,j,1),(0,j,4),(1,a,7),(1,a,9),(1,a,8),(1,a,6),(1,a,3),(1,a,2),(1,b,4),(1,b,3),(1,b,7),(1,b,2),(1,c,9),(1,c,6),(1,c,1),(1,d,0),(1,d,8),(1,d,7),(1,e,2),(1,e,6),(1,e,1),(1,e,3),(1,e,0),(1,f,9),(1,f,6),(1,f,3),(1,f,2),(1,g,4),(1,g,6),(1,g,2),(1,g,0),(1,g,1),(1,g,3),(1,h,2),(1,h,3),(1,h,9),(1,h,7),(1,h,1),(1,h,6),(1,i,6),(1,i,4),(1,i,9),(1,j,4),(1,j,3),(1,j,1),(1,j,2),(1,j,7),(2,a,3),(2,a,7),(2,a,9),(2,a,5),(2,b,6),(2,b,5),(2,c,3),(2,c,0),(2,c,6),(2,c,7),(2,c,2),(2,c,4),(2,c,5),(2,d,6),(2,d,4),(2,d,7),(2,d,8),(2,d,3),(2,e,6),(2,e,2),(2,f,6),(2,f,0),(2,f,4),(2,f,7),(2,g,2),(2,g,8),(2,g,4),(2,g,6),(2,h,6),(2,h,1),(2,h,3),(2,h,8),(2,i,9),(2,i,4),(2,i,3),(2,j,0),(2,j,1),(2,j,9),(2,j,8),(3,a,5),(3,a,4),(3,a,1),(3,a,9),(3,a,8),(3,a,7),(3,a,6),(3,a,3),(3,b,9),(3,b,1),(3,b,6),(3,c,5),(3,c,1),(3,d,7),(3,d,0),(3,e,7),(3,e,5),(3,e,6),(3,f,8),(3,f,6),(3,f,1),(3,f,2),(3,g,3),(3,g,9),(3,g,5),(3,h,9),(3,h,3),(3,h,7),(3,i,6),(3,i,0),(3,i,5),(3,i,9),(3,i,8),(3,j,0),(3,j,6),(3,j,9),(4,a,0),(4,a,2),(4,a,8),(4,a,6),(4,a,4),(4,b,6),(4,b,1),(4,c,9),(4,c,8),(4,c,2),(4,c,0),(4,d,8),(4,d,5),(4,d,4),(4,d,2),(4,d,7),(4,e,5),(4,e,4),(4,e,6),(4,e,7),(4,f,4),(4,f,1),(4,f,8),(4,g,5),(4,g,3),(4,h,5),(4,h,0),(4,h,2),(4,i,8),(4,i,0),(4,i,2),(4,j,0),(4,j,9),(4,j,4),(4,j,7),(4,j,2),(5,a,1),(5,a,3),(5,a,9),(5,a,6),(5,a,5),(5,b,2),(5,b,4),(5,b,3),(5,b,0),(5,c,7),(5,c,8),(5,c,5),(5,d,9),(5,d,4),(5,d,5),(5,d,3),(5,e,1),(5,e,6),(5,e,3),(5,f,4),(5,f,7),(5,f,1),(5,f,3),(5,g,4),(5,g,7),(5,g,6),(5,g,0),(5,h,8),(5,h,4),(5,h,0),(5,h,5),(5,h,1),(5,h,6),(5,i,7),(5,i,3),(5,i,4),(5,i,6),(5,i,1),(5,j,2),(5,j,7),(5,j,3),(6,a,5),(6,a,2),(6,a,8),(6,b,8),(6,b,6),(6,c,7),(6,c,2),(6,c,6),(6,d,2),(6,d,1),(6,d,8),(6,d,0),(6,d,5),(6,d,9),(6,d,4),(6,e,3),(6,e,9),(6,e,2),(6,e,4),(6,e,8),(6,e,6),(6,e,0),(6,f,8),(6,f,4),(6,f,3),(6,f,1),(6,f,6),(6,f,0),(6,g,7),(6,g,4),(6,g,8),(6,g,3),(6,g,6),(6,h,8),(6,h,3),(6,h,0),(6,h,1),(6,i,8),(6,i,2),(6,j,6),(6,j,1),(6,j,4),(6,j,7),(7,a,4),(7,a,9),(7,a,8),(7,b,4),(7,b,2),(7,b,0),(7,b,6),(7,b,3),(7,c,9),(7,c,5),(7,c,6),(7,c,3),(7,d,4),(7,d,9),(7,d,6),(7,d,1),(7,e,6),(7,e,9),(7,f,9),(7,f,7),(7,f,2),(7,f,6),(7,f,1),(7,g,4),(7,g,8),(7,g,7),(7,g,2),(7,h,4),(7,h,8),(7,h,5),(7,h,2),(7,h,7),(7,h,1),(7,h,6),(7,i,7),(7,i,9),(7,i,0),(7,i,1),(7,j,7),(7,j,6),(7,j,1),(7,j,0),(7,j,5),(7,j,8),(8,a,7),(8,a,4),(8,a,9),(8,b,1),(8,b,0),(8,b,3),(8,b,7),(8,b,4),(8,c,9),(8,c,7),(8,c,2),(8,d,3),(8,d,1),(8,d,6),(8,d,2),(8,d,9),(8,d,0),(8,e,7),(8,e,8),(8,e,0),(8,e,5),(8,f,2),(8,f,7),(8,f,8),(8,g,2),(8,g,5),(8,g,3),(8,g,1),(8,h,4),(8,h,0),(8,h,7),(8,i,6),(8,i,4),(8,i,9),(8,i,3),(8,i,5),(8,i,0),(8,j,6),(8,j,0),(8,j,7),(8,j,9),(8,j,5),(8,j,8),(8,j,1),(9,a,8),(9,a,1),(9,b,0),(9,b,2),(9,b,8),(9,b,3),(9,b,1),(9,c,7),(9,c,9),(9,c,3),(9,c,5),(9,c,0),(9,d,4),(9,d,8),(9,d,6),(9,e,5),(9,e,6),(9,f,3),(9,f,2),(9,f,1),(9,f,5),(9,f,9),(9,g,1),(9,g,7),(9,g,6),(9,g,0),(9,g,5),(9,h,7),(9,h,6),(9,i,2),(9,i,7),(9,j,6),(9,j,0),(9,j,1),(9,j,2),(9,j,7),(9,j,4),(9,j,9)
\ No newline at end of file
q10_a10/121.nfa 0 → 100644
View file @ cf53e330
10,10
0,2,4,7,8,9
(0,a,6),(0,a,4),(0,a,3),(0,a,2),(0,b,1),(0,b,0),(0,b,9),(0,b,4),(0,b,7),(0,c,4),(0,c,5),(0,c,2),(0,c,7),(0,c,8),(0,c,1),(0,d,8),(0,d,4),(0,d,5),(0,d,9),(0,d,1),(0,d,6),(0,e,6),(0,e,5),(0,e,3),(0,f,9),(0,f,7),(0,f,4),(0,f,3),(0,g,6),(0,g,5),(0,g,0),(0,g,8),(0,g,4),(0,h,5),(0,h,7),(0,h,9),(0,h,1),(0,i,3),(0,i,5),(0,i,8),(0,i,7),(0,i,2),(0,i,4),(0,j,4),(0,j,3),(0,j,5),(1,a,1),(1,a,0),(1,a,7),(1,a,5),(1,a,4),(1,a,3),(1,a,2),(1,b,2),(1,b,9),(1,c,7),(1,d,0),(1,d,6),(1,d,2),(1,d,7),(1,d,4),(1,d,8),(1,d,5),(1,e,8),(1,e,1),(1,e,7),(1,e,2),(1,e,4),(1,f,9),(1,f,5),(1,f,7),(1,f,0),(1,f,1),(1,f,6),(1,f,8),(1,g,6),(1,g,3),(1,g,2),(1,h,7),(1,h,0),(1,h,4),(1,i,5),(1,j,9),(1,j,6),(1,j,0),(2,a,1),(2,a,6),(2,a,5),(2,a,3),(2,b,7),(2,b,0),(2,c,7),(2,c,6),(2,c,0),(2,d,9),(2,d,5),(2,d,2),(2,d,7),(2,d,3),(2,e,5),(2,e,8),(2,e,6),(2,e,1),(2,f,1),(2,f,0),(2,f,8),(2,g,6),(2,g,9),(2,g,3),(2,h,9),(2,h,2),(2,h,3),(2,h,6),(2,h,1),(2,i,9),(2,j,1),(2,j,4),(2,j,8),(2,j,2),(2,j,9),(2,j,5),(2,j,3),(2,j,6),(3,a,1),(3,a,5),(3,a,9),(3,a,7),(3,a,6),(3,a,3),(3,b,9),(3,b,3),(3,b,7),(3,b,2),(3,c,1),(3,c,6),(3,c,3),(3,c,4),(3,c,9),(3,c,0),(3,d,6),(3,d,3),(3,d,0),(3,d,5),(3,d,7),(3,d,2),(3,d,8),(3,e,4),(3,e,2),(3,e,3),(3,e,0),(3,f,9),(3,f,3),(3,f,2),(3,f,0),(3,f,1),(3,g,6),(3,g,1),(3,g,5),(3,h,5),(3,h,4),(3,h,6),(3,h,7),(3,h,3),(3,i,1),(3,i,5),(3,i,9),(3,i,8),(3,i,3),(3,j,4),(3,j,3),(3,j,2),(3,j,9),(3,j,0),(3,j,1),(3,j,8),(4,a,4),(4,a,6),(4,a,7),(4,a,5),(4,b,1),(4,b,7),(4,b,3),(4,b,4),(4,b,5),(4,c,9),(4,c,8),(4,c,2),(4,c,7),(4,c,0),(4,c,5),(4,d,6),(4,d,8),(4,d,2),(4,d,0),(4,e,3),(4,e,9),(4,f,9),(4,f,4),(4,f,1),(4,f,3),(4,f,5),(4,f,0),(4,g,9),(4,g,7),(4,g,0),(4,h,4),(4,h,1),(4,h,6),(4,i,8),(4,i,6),(4,i,3),(4,i,4),(4,j,1),(4,j,2),(4,j,9),(5,a,1),(5,a,2),(5,a,9),(5,a,8),(5,a,7),(5,a,5),(5,b,6),(5,b,0),(5,b,2),(5,b,4),(5,b,7),(5,b,8),(5,b,3),(5,c,1),(5,c,9),(5,c,0),(5,c,5),(5,c,3),(5,d,4),(5,d,7),(5,d,2),(5,d,5),(5,e,2),(5,e,0),(5,e,5),(5,f,1),(5,f,7),(5,f,2),(5,g,2),(5,g,6),(5,h,1),(5,h,9),(5,h,5),(5,h,2),(5,h,7),(5,i,9),(5,i,4),(5,i,7),(5,i,6),(5,i,8),(5,i,0),(5,j,9),(5,j,7),(5,j,2),(5,j,3),(5,j,8),(5,j,4),(6,a,2),(6,a,8),(6,a,5),(6,a,9),(6,b,4),(6,b,6),(6,c,7),(6,c,3),(6,c,8),(6,c,4),(6,c,9),(6,c,0),(6,d,1),(6,d,7),(6,d,3),(6,d,5),(6,d,9),(6,e,3),(6,e,8),(6,e,4),(6,e,9),(6,e,6),(6,e,7),(6,f,1),(6,f,8),(6,f,9),(6,g,9),(6,g,3),(6,g,8),(6,g,5),(6,g,7),(6,h,9),(6,h,4),(6,h,7),(6,h,0),(6,h,5),(6,i,4),(6,i,0),(6,i,5),(6,i,3),(6,i,7),(6,j,1),(6,j,0),(6,j,6),(6,j,4),(6,j,7),(6,j,2),(7,a,2),(7,a,4),(7,a,8),(7,a,7),(7,b,8),(7,b,2),(7,b,7),(7,c,2),(7,c,1),(7,c,6),(7,c,3),(7,d,1),(7,e,5),(7,e,3),(7,e,6),(7,e,7),(7,f,9),(7,f,1),(7,f,5),(7,f,8),(7,f,7),(7,g,7),(7,g,1),(7,g,6),(7,g,4),(7,h,7),(7,h,3),(7,i,4),(7,i,8),(7,i,3),(7,j,4),(7,j,6),(7,j,3),(7,j,9),(7,j,0),(7,j,5),(7,j,7),(8,a,2),(8,a,9),(8,a,8),(8,b,2),(8,b,9),(8,b,3),(8,b,0),(8,b,1),(8,c,2),(8,c,8),(8,c,9),(8,d,1),(8,d,3),(8,d,7),(8,d,0),(8,d,5),(8,e,7),(8,e,1),(8,e,4),(8,e,9),(8,f,1),(8,f,4),(8,f,9),(8,f,5),(8,f,7),(8,g,0),(8,g,5),(8,g,4),(8,g,3),(8,g,8),(8,g,1),(8,h,2),(8,h,8),(8,h,9),(8,h,4),(8,h,0),(8,i,0),(8,i,8),(8,i,1),(8,j,0),(8,j,9),(8,j,4),(8,j,6),(9,a,8),(9,a,7),(9,a,9),(9,b,9),(9,b,0),(9,c,1),(9,c,4),(9,c,3),(9,c,7),(9,d,5),(9,d,0),(9,d,2),(9,d,8),(9,d,3),(9,e,9),(9,e,2),(9,e,5),(9,e,7),(9,e,8),(9,e,4),(9,f,4),(9,f,3),(9,f,1),(9,f,6),(9,g,1),(9,g,3),(9,g,5),(9,g,4),(9,g,9),(9,h,3),(9,h,8),(9,h,4),(9,h,2),(9,h,7),(9,h,5),(9,i,2),(9,i,6),(9,j,5),(9,j,4),(9,j,1),(9,j,7)
\ No newline at end of file
q10_a10/122.nfa 0 → 100644
View file @ cf53e330
10,10
2,4,5,6
(0,a,7),(0,a,0),(0,a,3),(0,a,4),(0,a,5),(0,a,2),(0,a,1),(0,b,6),(0,b,1),(0,b,0),(0,b,4),(0,c,3),(0,c,4),(0,c,8),(0,c,2),(0,c,6),(0,d,0),(0,d,2),(0,d,3),(0,d,9),(0,d,1),(0,e,7),(0,e,6),(0,e,9),(0,f,8),(0,f,4),(0,f,6),(0,g,8),(0,g,4),(0,g,7),(0,g,2),(0,h,6),(0,h,8),(0,h,2),(0,i,0),(0,i,8),(0,i,7),(0,i,2),(0,j,0),(0,j,5),(0,j,3),(1,a,8),(1,a,6),(1,b,4),(1,b,9),(1,b,6),(1,b,7),(1,b,3),(1,c,6),(1,c,8),(1,c,3),(1,d,2),(1,d,1),(1,d,8),(1,d,7),(1,d,9),(1,d,0),(1,e,1),(1,e,7),(1,e,3),(1,e,8),(1,f,7),(1,f,9),(1,g,0),(1,g,9),(1,g,8),(1,g,3),(1,g,7),(1,g,6),(1,h,0),(1,h,5),(1,h,4),(1,h,9),(1,h,6),(1,h,1),(1,i,7),(1,i,3),(1,j,1),(1,j,7),(1,j,3),(1,j,8),(2,a,9),(2,a,7),(2,a,2),(2,b,7),(2,b,2),(2,b,1),(2,c,5),(2,d,6),(2,d,1),(2,d,0),(2,d,5),(2,d,4),(2,d,8),(2,d,9),(2,e,7),(2,e,2),(2,e,6),(2,e,1),(2,e,0),(2,f,4),(2,g,9),(2,g,1),(2,g,4),(2,g,3),(2,g,5),(2,g,0),(2,h,3),(2,h,5),(2,h,7),(2,h,1),(2,i,2),(2,i,5),(2,j,9),(2,j,3),(2,j,0),(3,a,1),(3,a,7),(3,a,6),(3,a,5),(3,a,4),(3,a,3),(3,b,3),(3,b,7),(3,b,1),(3,b,4),(3,b,5),(3,b,8),(3,c,1),(3,c,2),(3,c,3),(3,c,6),(3,c,5),(3,c,9),(3,c,4),(3,d,9),(3,d,3),(3,d,2),(3,d,1),(3,e,4),(3,e,9),(3,e,3),(3,e,1),(3,e,6),(3,e,7),(3,f,9),(3,g,8),(3,g,2),(3,g,3),(3,g,5),(3,g,6),(3,g,9),(3,g,7),(3,h,0),(3,h,3),(3,h,6),(3,h,1),(3,i,6),(3,i,2),(3,i,5),(3,i,9),(3,i,3),(3,j,3),(3,j,1),(3,j,5),(3,j,0),(4,a,0),(4,a,9),(4,a,6),(4,a,5),(4,b,1),(4,b,7),(4,b,9),(4,c,9),(4,c,1),(4,c,3),(4,c,8),(4,d,6),(4,d,9),(4,d,3),(4,d,5),(4,e,3),(4,e,0),(4,e,4),(4,f,2),(4,f,6),(4,f,1),(4,f,9),(4,g,8),(4,g,7),(4,h,1),(4,h,4),(4,h,8),(4,h,3),(4,i,3),(4,i,2),(4,j,1),(4,j,0),(4,j,2),(4,j,3),(5,a,4),(5,a,7),(5,a,6),(5,b,5),(5,b,0),(5,b,7),(5,b,4),(5,b,6),(5,b,1),(5,c,6),(5,c,2),(5,c,0),(5,c,8),(5,c,3),(5,d,8),(5,d,9),(5,d,5),(5,e,0),(5,e,5),(5,e,2),(5,e,4),(5,f,0),(5,f,8),(5,f,3),(5,f,7),(5,f,4),(5,f,1),(5,g,1),(5,g,5),(5,h,7),(5,h,2),(5,h,6),(5,h,1),(5,h,8),(5,h,4),(5,h,0),(5,i,1),(5,i,4),(5,i,9),(5,i,0),(5,i,5),(5,j,0),(5,j,7),(5,j,4),(5,j,9),(6,a,6),(6,a,1),(6,a,9),(6,a,3),(6,a,7),(6,b,1),(6,b,8),(6,c,7),(6,c,0),(6,c,2),(6,c,3),(6,c,6),(6,c,9),(6,c,4),(6,d,3),(6,d,8),(6,d,2),(6,d,1),(6,d,6),(6,e,2),(6,e,1),(6,e,5),(6,e,8),(6,e,3),(6,e,4),(6,e,0),(6,f,9),(6,f,6),(6,g,3),(6,g,5),(6,h,3),(6,h,0),(6,h,2),(6,h,7),(6,h,1),(6,h,6),(6,h,5),(6,i,7),(6,i,5),(6,i,3),(6,i,9),(6,i,6),(6,j,1),(6,j,3),(6,j,8),(7,a,8),(7,a,1),(7,a,4),(7,a,7),(7,b,4),(7,b,5),(7,c,0),(7,c,1),(7,d,0),(7,d,1),(7,e,1),(7,e,4),(7,e,9),(7,e,8),(7,e,3),(7,f,4),(7,f,6),(7,f,3),(7,g,4),(7,g,3),(7,g,8),(7,g,1),(7,g,0),(7,g,5),(7,h,8),(7,h,5),(7,h,4),(7,h,1),(7,i,2),(7,i,5),(7,i,0),(7,j,9),(7,j,3),(7,j,8),(7,j,0),(8,a,5),(8,a,7),(8,a,1),(8,a,6),(8,a,2),(8,a,4),(8,a,8),(8,b,4),(8,b,8),(8,b,1),(8,b,0),(8,b,2),(8,c,5),(8,c,6),(8,c,1),(8,c,9),(8,d,3),(8,d,2),(8,d,7),(8,e,4),(8,e,5),(8,e,0),(8,e,8),(8,e,3),(8,e,6),(8,f,1),(8,f,4),(8,f,3),(8,f,0),(8,f,7),(8,f,6),(8,g,5),(8,g,7),(8,g,2),(8,g,1),(8,g,9),(8,g,4),(8,h,3),(8,h,4),(8,h,9),(8,h,0),(8,h,7),(8,i,6),(8,i,4),(8,i,8),(8,i,3),(8,i,2),(8,j,6),(8,j,5),(8,j,3),(8,j,4),(9,a,8),(9,a,7),(9,a,5),(9,a,0),(9,a,4),(9,a,9),(9,b,9),(9,b,2),(9,b,0),(9,b,4),(9,b,6),(9,b,7),(9,c,9),(9,c,6),(9,c,3),(9,c,7),(9,d,9),(9,d,6),(9,e,3),(9,e,8),(9,e,6),(9,e,7),(9,e,1),(9,e,9),(9,e,4),(9,f,2),(9,f,8),(9,f,0),(9,f,9),(9,g,0),(9,g,5),(9,h,2),(9,i,2),(9,i,6),(9,i,8),(9,i,0),(9,i,4),(9,i,9),(9,j,4),(9,j,1),(9,j,3)
\ No newline at end of file
q10_a10/123.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,2,6,7,8
(0,a,6),(0,a,8),(0,a,5),(0,a,2),(0,a,0),(0,b,5),(0,b,8),(0,b,3),(0,b,7),(0,c,4),(0,c,3),(0,c,7),(0,c,1),(0,d,6),(0,d,0),(0,e,9),(0,e,0),(0,e,8),(0,f,2),(0,f,4),(0,f,6),(0,g,6),(0,g,1),(0,g,4),(0,g,8),(0,g,3),(0,h,0),(0,h,5),(0,i,7),(0,i,2),(0,i,1),(0,i,3),(0,i,0),(0,i,5),(0,j,8),(0,j,2),(0,j,1),(0,j,6),(1,a,9),(1,a,8),(1,a,7),(1,a,6),(1,a,5),(1,a,3),(1,a,2),(1,b,4),(1,b,8),(1,b,1),(1,b,6),(1,c,4),(1,c,0),(1,c,6),(1,d,4),(1,d,9),(1,e,3),(1,e,6),(1,e,0),(1,f,3),(1,f,5),(1,f,6),(1,g,9),(1,g,5),(1,g,2),(1,h,7),(1,h,3),(1,h,4),(1,h,9),(1,i,2),(1,i,4),(1,i,1),(1,i,6),(1,j,1),(1,j,2),(1,j,4),(1,j,0),(1,j,5),(2,a,1),(2,a,9),(2,a,8),(2,a,7),(2,a,6),(2,a,2),(2,b,5),(2,b,2),(2,b,6),(2,b,1),(2,b,3),(2,c,5),(2,c,1),(2,d,6),(2,d,7),(2,d,5),(2,d,3),(2,d,8),(2,e,6),(2,e,3),(2,e,4),(2,f,1),(2,f,4),(2,f,3),(2,f,2),(2,g,3),(2,g,4),(2,g,0),(2,g,8),(2,g,1),(2,g,7),(2,h,4),(2,i,8),(2,j,5),(2,j,7),(2,j,6),(2,j,9),(3,a,4),(3,a,8),(3,b,7),(3,b,1),(3,b,6),(3,b,3),(3,c,4),(3,c,8),(3,c,2),(3,c,0),(3,c,1),(3,c,6),(3,d,1),(3,d,0),(3,d,7),(3,d,3),(3,e,5),(3,e,2),(3,e,6),(3,e,1),(3,f,9),(3,f,3),(3,f,0),(3,f,5),(3,g,0),(3,g,3),(3,g,8),(3,g,4),(3,g,7),(3,h,8),(3,h,2),(3,h,7),(3,h,6),(3,i,3),(3,j,5),(3,j,1),(3,j,7),(3,j,2),(4,a,5),(4,a,9),(4,a,6),(4,b,2),(4,b,9),(4,b,8),(4,b,1),(4,b,5),(4,c,5),(4,c,3),(4,c,2),(4,c,6),(4,d,4),(4,d,7),(4,d,0),(4,e,8),(4,e,9),(4,e,2),(4,e,5),(4,f,3),(4,f,8),(4,f,0),(4,g,4),(4,g,8),(4,g,3),(4,g,5),(4,h,5),(4,h,7),(4,h,9),(4,h,3),(4,h,8),(4,i,7),(4,i,4),(4,i,9),(4,i,5),(4,j,0),(4,j,8),(4,j,4),(5,a,2),(5,a,3),(5,a,9),(5,a,7),(5,b,6),(5,b,5),(5,b,2),(5,c,5),(5,c,4),(5,c,9),(5,c,3),(5,c,8),(5,d,1),(5,d,6),(5,d,3),(5,d,0),(5,d,5),(5,e,8),(5,e,3),(5,e,0),(5,e,2),(5,e,7),(5,f,1),(5,f,6),(5,f,9),(5,f,5),(5,g,3),(5,h,4),(5,h,6),(5,i,7),(5,i,3),(5,i,0),(5,i,9),(5,i,1),(5,j,8),(5,j,3),(5,j,6),(5,j,0),(6,a,4),(6,a,9),(6,a,3),(6,a,8),(6,a,7),(6,b,6),(6,b,7),(6,b,0),(6,b,5),(6,c,0),(6,c,6),(6,d,5),(6,d,1),(6,d,4),(6,d,3),(6,e,4),(6,e,5),(6,e,7),(6,e,3),(6,f,0),(6,f,5),(6,f,1),(6,g,0),(6,g,1),(6,g,4),(6,h,0),(6,h,7),(6,h,3),(6,i,0),(6,i,3),(6,i,2),(6,i,7),(6,i,8),(6,i,4),(6,j,5),(6,j,4),(6,j,9),(6,j,3),(7,a,3),(7,a,4),(7,a,0),(7,a,1),(7,a,8),(7,b,8),(7,b,6),(7,b,3),(7,b,1),(7,b,2),(7,c,0),(7,d,2),(7,d,6),(7,d,7),(7,d,3),(7,d,5),(7,d,9),(7,e,9),(7,e,6),(7,e,8),(7,e,2),(7,e,1),(7,e,0),(7,e,3),(7,e,7),(7,f,8),(7,f,4),(7,f,5),(7,g,3),(7,g,1),(7,g,0),(7,h,5),(7,h,6),(7,i,5),(7,i,4),(7,i,2),(7,j,5),(8,a,6),(8,a,5),(8,a,3),(8,a,8),(8,b,9),(8,b,5),(8,b,1),(8,b,6),(8,b,8),(8,c,6),(8,c,1),(8,c,2),(8,c,7),(8,d,5),(8,d,1),(8,d,3),(8,d,8),(8,e,2),(8,e,9),(8,e,1),(8,e,6),(8,e,5),(8,e,7),(8,g,8),(8,g,6),(8,g,2),(8,g,4),(8,h,7),(8,h,8),(8,h,5),(8,h,1),(8,h,4),(8,i,2),(8,i,0),(8,j,9),(8,j,5),(8,j,2),(8,j,8),(9,a,5),(9,a,1),(9,a,8),(9,a,9),(9,b,1),(9,b,6),(9,b,5),(9,b,4),(9,b,2),(9,b,7),(9,c,4),(9,c,7),(9,c,3),(9,c,8),(9,d,0),(9,e,6),(9,e,5),(9,e,0),(9,e,2),(9,e,4),(9,f,4),(9,f,6),(9,f,1),(9,g,4),(9,g,2),(9,g,1),(9,h,2),(9,h,3),(9,h,7),(9,h,6),(9,h,4),(9,h,9),(9,i,1),(9,i,0),(9,i,4),(9,i,8),(9,j,8)
\ No newline at end of file
q10_a10/124.nfa 0 → 100644
View file @ cf53e330
10,10
1,2,6,8
(0,a,3),(0,a,8),(0,a,9),(0,a,6),(0,a,5),(0,a,2),(0,a,1),(0,a,0),(0,b,6),(0,b,7),(0,b,3),(0,b,2),(0,b,9),(0,b,8),(0,b,0),(0,b,1),(0,d,4),(0,d,3),(0,d,8),(0,d,2),(0,e,0),(0,e,8),(0,e,2),(0,e,1),(0,e,4),(0,f,5),(0,f,7),(0,f,8),(0,f,0),(0,f,6),(0,g,8),(0,g,2),(0,g,3),(0,h,2),(0,h,5),(0,h,8),(0,h,9),(0,h,0),(0,h,7),(0,i,5),(0,i,0),(0,i,2),(0,i,9),(0,i,8),(0,i,3),(0,j,0),(0,j,2),(0,j,9),(0,j,4),(0,j,8),(1,a,5),(1,a,3),(1,a,0),(1,a,8),(1,a,6),(1,a,2),(1,b,6),(1,b,9),(1,b,7),(1,b,1),(1,b,3),(1,b,8),(1,c,4),(1,c,5),(1,c,6),(1,d,1),(1,d,4),(1,d,2),(1,d,8),(1,d,3),(1,e,4),(1,e,8),(1,e,6),(1,e,1),(1,e,7),(1,f,3),(1,f,9),(1,f,8),(1,f,2),(1,f,7),(1,g,1),(1,g,0),(1,g,3),(1,g,8),(1,h,1),(1,h,5),(1,h,9),(1,h,2),(1,i,2),(1,i,3),(1,i,0),(1,i,4),(1,j,5),(1,j,3),(1,j,8),(1,j,1),(1,j,2),(1,j,9),(2,a,9),(2,a,1),(2,a,0),(2,a,8),(2,a,7),(2,a,6),(2,a,4),(2,a,3),(2,a,2),(2,b,2),(2,b,3),(2,b,8),(2,b,5),(2,b,9),(2,c,7),(2,c,5),(2,c,4),(2,d,0),(2,d,4),(2,e,6),(2,e,1),(2,e,0),(2,e,5),(2,f,9),(2,f,4),(2,f,3),(2,f,8),(2,f,0),(2,f,5),(2,g,5),(2,g,7),(2,g,2),(2,g,1),(2,g,3),(2,g,8),(2,h,2),(2,i,8),(2,i,9),(2,i,4),(2,j,4),(2,j,0),(2,j,6),(2,j,1),(2,j,7),(2,j,2),(3,a,2),(3,a,4),(3,a,8),(3,b,0),(3,b,2),(3,b,4),(3,b,6),(3,c,3),(3,c,8),(3,c,4),(3,c,6),(3,c,7),(3,d,8),(3,d,0),(3,e,6),(3,e,2),(3,e,9),(3,f,2),(3,f,0),(3,f,9),(3,g,3),(3,g,0),(3,h,8),(3,h,1),(3,h,9),(3,h,5),(3,h,2),(3,i,9),(3,i,1),(3,i,2),(3,i,7),(3,j,6),(3,j,5),(3,j,3),(3,j,2),(4,a,1),(4,a,8),(4,a,5),(4,a,0),(4,a,2),(4,a,9),(4,a,7),(4,a,4),(4,b,9),(4,b,3),(4,b,8),(4,b,6),(4,c,7),(4,c,3),(4,c,1),(4,c,6),(4,c,0),(4,c,5),(4,c,9),(4,c,4),(4,d,4),(4,d,6),(4,d,2),(4,d,3),(4,d,5),(4,e,3),(4,e,5),(4,e,0),(4,e,6),(4,f,9),(4,f,7),(4,f,3),(4,f,1),(4,f,5),(4,g,2),(4,g,7),(4,g,1),(4,g,4),(4,h,0),(4,h,8),(4,h,6),(4,h,1),(4,h,3),(4,h,2),(4,h,7),(4,i,7),(4,i,3),(4,i,0),(4,i,5),(4,i,9),(4,j,0),(4,j,1),(4,j,6),(4,j,8),(5,a,5),(5,a,2),(5,a,0),(5,a,9),(5,a,7),(5,b,8),(5,b,7),(5,b,2),(5,b,6),(5,b,1),(5,c,2),(5,c,1),(5,c,4),(5,d,7),(5,d,4),(5,d,9),(5,d,6),(5,d,0),(5,e,9),(5,e,1),(5,f,4),(5,f,6),(5,g,5),(5,g,8),(5,g,4),(5,g,7),(5,h,5),(5,h,6),(5,h,1),(5,h,9),(5,h,7),(5,i,1),(5,j,9),(5,j,2),(5,j,6),(5,j,8),(6,a,7),(6,a,1),(6,a,2),(6,a,4),(6,a,9),(6,a,8),(6,a,6),(6,b,4),(6,b,8),(6,c,2),(6,d,3),(6,d,4),(6,d,9),(6,e,5),(6,f,6),(6,f,8),(6,f,4),(6,f,0),(6,f,2),(6,g,6),(6,g,0),(6,g,8),(6,g,7),(6,g,1),(6,g,5),(6,g,3),(6,g,4),(6,h,3),(6,h,4),(6,h,9),(6,h,5),(6,h,0),(6,h,6),(6,h,8),(6,i,9),(6,i,0),(6,i,4),(6,i,2),(6,i,5),(6,i,8),(6,j,5),(6,j,0),(6,j,9),(6,j,7),(7,a,6),(7,a,5),(7,a,8),(7,b,9),(7,b,6),(7,c,6),(7,c,8),(7,c,7),(7,c,2),(7,c,0),(7,c,4),(7,d,6),(7,d,0),(7,d,5),(7,d,3),(7,e,4),(7,e,2),(7,e,7),(7,e,9),(7,e,0),(7,f,6),(7,f,9),(7,f,8),(7,f,3),(7,f,7),(7,g,9),(7,g,2),(7,h,4),(7,h,6),(7,h,7),(7,h,5),(7,h,0),(7,h,9),(7,i,2),(7,i,8),(7,i,1),(7,j,3),(7,j,6),(7,j,2),(7,j,7),(8,a,0),(8,a,3),(8,a,7),(8,a,9),(8,b,1),(8,b,7),(8,b,5),(8,b,9),(8,b,4),(8,b,6),(8,b,8),(8,c,9),(8,c,5),(8,d,5),(8,d,1),(8,d,7),(8,d,2),(8,e,7),(8,e,2),(8,e,3),(8,e,8),(8,f,4),(8,f,7),(8,f,1),(8,f,5),(8,f,3),(8,g,5),(8,g,4),(8,g,9),(8,g,0),(8,g,1),(8,g,8),(8,h,9),(8,h,8),(8,h,2),(8,h,6),(8,h,1),(8,h,0),(8,i,1),(8,i,4),(8,j,8),(8,j,1),(8,j,6),(8,j,0),(8,j,5),(8,j,3),(8,j,9),(8,j,4),(9,a,0),(9,a,5),(9,a,4),(9,b,8),(9,b,7),(9,b,5),(9,c,7),(9,c,8),(9,c,1),(9,c,9),(9,c,5),(9,c,0),(9,d,1),(9,d,9),(9,d,5),(9,d,0),(9,e,5),(9,e,1),(9,e,8),(9,e,3),(9,f,2),(9,f,0),(9,f,9),(9,f,1),(9,g,5),(9,g,1),(9,h,4),(9,h,7),(9,h,1),(9,h,8),(9,h,3),(9,i,5),(9,i,7),(9,i,8),(9,i,9),(9,j,5),(9,j,7)
\ No newline at end of file
q10_a10/125.nfa 0 → 100644
View file @ cf53e330
10,10
0,4,6,7,8
(0,a,8),(0,a,3),(0,a,0),(0,b,7),(0,b,6),(0,b,0),(0,b,5),(0,c,0),(0,c,8),(0,c,3),(0,c,2),(0,c,7),(0,d,1),(0,d,5),(0,d,2),(0,d,3),(0,d,9),(0,e,2),(0,f,7),(0,f,4),(0,f,3),(0,f,8),(0,f,5),(0,g,3),(0,g,4),(0,g,6),(0,g,1),(0,h,6),(0,h,2),(0,h,5),(0,i,3),(0,i,8),(0,i,7),(0,i,6),(0,j,3),(0,j,4),(1,a,5),(1,a,9),(1,a,8),(1,a,7),(1,a,4),(1,a,3),(1,a,2),(1,a,1),(1,b,0),(1,b,5),(1,b,8),(1,b,9),(1,c,6),(1,c,5),(1,c,4),(1,c,3),(1,c,8),(1,d,9),(1,d,0),(1,d,5),(1,d,6),(1,e,7),(1,e,9),(1,e,4),(1,e,5),(1,e,3),(1,f,6),(1,g,4),(1,g,9),(1,g,0),(1,h,3),(1,h,8),(1,h,1),(1,h,6),(1,i,6),(1,i,8),(1,i,4),(1,j,6),(1,j,8),(1,j,2),(1,j,5),(1,j,4),(2,a,0),(2,a,8),(2,a,7),(2,a,6),(2,a,5),(2,a,3),(2,a,2),(2,b,7),(2,b,8),(2,b,6),(2,b,1),(2,c,5),(2,c,0),(2,c,3),(2,d,0),(2,d,3),(2,d,2),(2,e,1),(2,e,7),(2,e,2),(2,e,0),(2,e,3),(2,f,6),(2,f,4),(2,f,7),(2,f,0),(2,f,8),(2,g,1),(2,g,8),(2,g,3),(2,g,5),(2,g,0),(2,h,2),(2,h,9),(2,h,4),(2,h,3),(2,i,1),(2,i,3),(2,i,8),(2,j,5),(2,j,8),(2,j,2),(2,j,1),(3,a,8),(3,a,2),(3,a,3),(3,a,4),(3,b,7),(3,b,6),(3,b,1),(3,c,9),(3,c,1),(3,c,7),(3,c,2),(3,d,9),(3,d,3),(3,d,7),(3,d,4),(3,d,0),(3,d,6),(3,e,6),(3,e,4),(3,e,9),(3,e,2),(3,f,7),(3,f,9),(3,f,4),(3,f,0),(3,f,5),(3,g,7),(3,g,3),(3,h,5),(3,h,8),(3,i,0),(3,i,7),(3,i,2),(3,j,9),(3,j,5),(3,j,8),(4,a,3),(4,a,5),(4,a,8),(4,a,9),(4,a,4),(4,b,9),(4,b,2),(4,c,1),(4,c,2),(4,d,0),(4,d,6),(4,d,4),(4,e,1),(4,e,7),(4,e,3),(4,e,0),(4,e,2),(4,e,9),(4,e,6),(4,f,2),(4,f,6),(4,f,4),(4,f,0),(4,f,5),(4,g,2),(4,g,5),(4,h,6),(4,h,2),(4,h,9),(4,h,3),(4,h,8),(4,i,3),(4,i,9),(4,i,2),(4,i,7),(4,i,1),(4,j,5),(4,j,0),(4,j,8),(4,j,3),(4,j,9),(4,j,6),(5,a,4),(5,a,0),(5,a,9),(5,a,7),(5,a,6),(5,a,5),(5,b,4),(5,b,1),(5,c,9),(5,c,3),(5,c,8),(5,d,9),(5,e,2),(5,e,3),(5,e,4),(5,e,9),(5,f,3),(5,f,1),(5,g,5),(5,g,2),(5,g,4),(5,g,8),(5,g,9),(5,g,7),(5,g,0),(5,g,1),(5,h,3),(5,h,9),(5,i,5),(5,i,9),(5,i,6),(5,i,2),(5,j,1),(5,j,6),(5,j,3),(6,a,2),(6,a,9),(6,a,8),(6,a,6),(6,b,3),(6,b,7),(6,b,1),(6,b,2),(6,b,8),(6,b,4),(6,b,9),(6,c,3),(6,c,7),(6,c,1),(6,c,8),(6,c,9),(6,c,0),(6,d,8),(6,d,5),(6,d,0),(6,e,1),(6,e,3),(6,f,6),(6,f,2),(6,f,7),(6,f,4),(6,f,0),(6,f,3),(6,g,2),(6,g,4),(6,h,4),(6,h,2),(6,h,7),(6,h,1),(6,i,1),(6,i,5),(6,i,8),(6,j,4),(6,j,9),(6,j,6),(6,j,1),(6,j,0),(7,a,0),(7,a,2),(7,b,6),(7,b,5),(7,b,0),(7,b,9),(7,c,0),(7,c,6),(7,c,3),(7,c,7),(7,c,2),(7,c,4),(7,c,9),(7,d,0),(7,d,3),(7,e,8),(7,e,6),(7,f,3),(7,f,5),(7,f,4),(7,f,9),(7,g,1),(7,h,5),(7,h,1),(7,i,4),(7,i,2),(7,i,3),(7,i,8),(7,i,5),(7,j,9),(7,j,4),(7,j,6),(8,a,4),(8,b,1),(8,b,8),(8,b,4),(8,b,9),(8,b,2),(8,c,7),(8,c,6),(8,c,8),(8,c,4),(8,d,1),(8,d,8),(8,d,2),(8,d,9),(8,d,4),(8,e,5),(8,e,3),(8,e,2),(8,e,7),(8,e,9),(8,f,0),(8,f,9),(8,f,1),(8,f,7),(8,g,9),(8,g,7),(8,g,8),(8,h,5),(8,h,2),(8,h,7),(8,h,8),(8,h,3),(8,h,9),(8,i,6),(8,i,4),(8,i,3),(8,i,7),(8,i,2),(8,j,7),(8,j,6),(8,j,5),(8,j,8),(9,a,5),(9,a,4),(9,a,8),(9,a,3),(9,a,0),(9,a,2),(9,b,9),(9,b,1),(9,b,6),(9,b,2),(9,c,8),(9,c,7),(9,c,2),(9,d,2),(9,d,5),(9,d,0),(9,e,0),(9,e,3),(9,e,1),(9,e,7),(9,e,4),(9,f,6),(9,f,7),(9,f,3),(9,f,5),(9,f,0),(9,g,6),(9,g,0),(9,g,8),(9,g,3),(9,h,2),(9,h,1),(9,h,6),(9,h,3),(9,h,4),(9,i,1),(9,i,4),(9,i,0),(9,j,3),(9,j,8),(9,j,5),(9,j,7)
\ No newline at end of file
q10_a10/126.nfa 0 → 100644
View file @ cf53e330
10,10
1,2,5,6,7,8
(0,a,5),(0,a,9),(0,a,8),(0,a,2),(0,b,7),(0,b,0),(0,c,8),(0,c,0),(0,c,9),(0,c,5),(0,c,7),(0,c,2),(0,c,6),(0,d,3),(0,d,5),(0,d,0),(0,e,8),(0,e,1),(0,e,5),(0,e,2),(0,e,7),(0,f,2),(0,f,9),(0,f,0),(0,f,8),(0,f,7),(0,g,2),(0,g,5),(0,g,1),(0,g,8),(0,h,9),(0,h,2),(0,i,3),(0,i,7),(0,i,9),(0,i,0),(0,i,1),(0,j,5),(0,j,9),(0,j,4),(1,a,5),(1,a,8),(1,a,7),(1,a,4),(1,a,3),(1,a,1),(1,b,6),(1,b,2),(1,b,4),(1,b,9),(1,b,5),(1,b,0),(1,c,4),(1,c,8),(1,c,5),(1,c,0),(1,d,6),(1,d,4),(1,d,8),(1,e,3),(1,e,8),(1,e,5),(1,e,6),(1,e,1),(1,e,4),(1,f,0),(1,f,2),(1,g,5),(1,g,7),(1,g,9),(1,h,6),(1,h,7),(1,h,2),(1,h,3),(1,i,2),(1,i,6),(1,j,6),(1,j,0),(1,j,2),(1,j,8),(2,a,1),(2,a,8),(2,a,9),(2,a,6),(2,a,3),(2,a,2),(2,b,0),(2,b,7),(2,b,4),(2,b,9),(2,b,6),(2,b,5),(2,c,3),(2,c,0),(2,d,7),(2,d,2),(2,e,5),(2,e,3),(2,e,8),(2,e,7),(2,f,1),(2,f,6),(2,f,2),(2,f,7),(2,f,0),(2,g,8),(2,h,0),(2,h,5),(2,h,9),(2,i,3),(2,i,9),(2,j,5),(2,j,4),(2,j,1),(2,j,8),(2,j,3),(3,a,4),(3,a,1),(3,a,0),(3,a,8),(3,a,7),(3,a,6),(3,a,5),(3,b,6),(3,b,2),(3,b,7),(3,b,9),(3,b,3),(3,b,8),(3,c,0),(3,c,6),(3,c,2),(3,c,7),(3,d,9),(3,d,6),(3,d,1),(3,d,3),(3,e,7),(3,e,2),(3,e,3),(3,e,1),(3,e,0),(3,e,5),(3,f,6),(3,f,2),(3,f,7),(3,f,9),(3,g,3),(3,g,0),(3,g,5),(3,g,4),(3,g,2),(3,g,8),(3,h,6),(3,h,9),(3,h,5),(3,h,0),(3,h,2),(3,i,6),(3,i,4),(3,j,2),(3,j,9),(3,j,4),(3,j,6),(3,j,0),(3,j,8),(3,j,3),(3,j,7),(4,a,8),(4,a,6),(4,a,2),(4,a,1),(4,a,9),(4,a,7),(4,b,1),(4,b,2),(4,b,4),(4,c,8),(4,c,9),(4,c,0),(4,c,1),(4,d,6),(4,d,9),(4,d,4),(4,d,3),(4,e,0),(4,e,5),(4,e,1),(4,f,3),(4,f,1),(4,f,8),(4,f,2),(4,f,4),(4,f,0),(4,g,7),(4,g,5),(4,g,9),(4,g,3),(4,h,1),(4,h,0),(4,h,7),(4,h,4),(4,h,3),(4,i,6),(4,i,9),(4,i,5),(4,i,0),(4,j,8),(4,j,2),(4,j,1),(4,j,3),(4,j,6),(4,j,5),(4,j,0),(5,a,5),(5,a,8),(5,a,9),(5,b,0),(5,b,8),(5,b,6),(5,b,4),(5,c,3),(5,c,1),(5,c,9),(5,c,4),(5,d,2),(5,d,5),(5,d,3),(5,d,4),(5,d,6),(5,d,1),(5,e,2),(5,e,4),(5,f,3),(5,f,8),(5,f,7),(5,f,2),(5,g,0),(5,g,7),(5,h,0),(5,h,8),(5,h,3),(5,h,7),(5,i,5),(5,i,6),(5,i,1),(5,i,2),(5,i,0),(5,j,4),(5,j,9),(5,j,1),(5,j,3),(5,j,8),(6,a,4),(6,a,2),(6,a,5),(6,a,7),(6,a,1),(6,a,6),(6,b,1),(6,b,4),(6,b,0),(6,b,8),(6,b,7),(6,c,0),(6,c,4),(6,c,8),(6,c,1),(6,d,7),(6,d,5),(6,e,5),(6,e,0),(6,e,7),(6,f,7),(6,f,8),(6,f,4),(6,f,2),(6,f,5),(6,f,0),(6,f,6),(6,g,7),(6,g,6),(6,h,5),(6,h,8),(6,h,3),(6,i,8),(6,i,6),(6,i,5),(6,i,9),(6,j,1),(6,j,9),(7,a,4),(7,a,3),(7,a,6),(7,a,7),(7,a,0),(7,a,9),(7,a,8),(7,b,7),(7,b,3),(7,b,5),(7,c,3),(7,c,4),(7,c,2),(7,c,8),(7,c,5),(7,d,0),(7,d,8),(7,d,3),(7,d,1),(7,d,6),(7,d,5),(7,e,8),(7,e,1),(7,f,4),(7,f,5),(7,f,1),(7,g,4),(7,g,2),(7,h,7),(7,h,4),(7,h,3),(7,i,5),(7,i,0),(7,i,8),(7,i,4),(7,j,1),(7,j,6),(7,j,7),(7,j,9),(8,a,1),(8,a,6),(8,a,5),(8,a,0),(8,a,7),(8,a,2),(8,a,8),(8,b,9),(8,b,3),(8,b,1),(8,b,6),(8,c,5),(8,d,3),(8,d,6),(8,d,9),(8,d,4),(8,d,5),(8,d,0),(8,d,1),(8,d,2),(8,e,1),(8,e,6),(8,e,4),(8,f,7),(8,f,1),(8,f,0),(8,f,3),(8,f,8),(8,g,5),(8,h,0),(8,h,5),(8,h,3),(8,i,1),(8,i,8),(8,j,6),(8,j,1),(8,j,0),(8,j,5),(8,j,2),(9,a,5),(9,a,8),(9,a,6),(9,a,1),(9,a,3),(9,b,9),(9,b,7),(9,b,3),(9,b,0),(9,c,0),(9,c,6),(9,c,8),(9,c,1),(9,c,4),(9,c,5),(9,c,2),(9,d,0),(9,d,5),(9,d,8),(9,e,3),(9,e,6),(9,e,7),(9,e,5),(9,f,6),(9,f,1),(9,f,3),(9,f,7),(9,g,1),(9,g,7),(9,g,4),(9,g,9),(9,h,1),(9,h,9),(9,h,5),(9,h,6),(9,i,2),(9,i,3),(9,i,4),(9,j,1),(9,j,3),(9,j,2)
\ No newline at end of file
q10_a10/127.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,5,6
(0,a,0),(0,a,7),(0,a,9),(0,a,6),(0,a,5),(0,a,2),(0,a,1),(0,b,4),(0,b,7),(0,b,0),(0,c,1),(0,c,3),(0,c,7),(0,c,2),(0,d,5),(0,d,8),(0,d,2),(0,d,1),(0,d,6),(0,e,6),(0,e,8),(0,f,7),(0,f,1),(0,f,4),(0,f,8),(0,g,6),(0,g,8),(0,g,4),(0,h,6),(0,h,8),(0,h,2),(0,h,9),(0,i,1),(0,i,8),(0,i,3),(0,i,5),(0,i,9),(0,i,2),(0,j,9),(0,j,5),(0,j,0),(1,a,9),(1,a,8),(1,a,5),(1,a,4),(1,a,1),(1,b,7),(1,b,0),(1,b,6),(1,b,1),(1,c,1),(1,c,9),(1,d,7),(1,d,6),(1,e,4),(1,e,0),(1,e,6),(1,e,1),(1,e,7),(1,e,2),(1,f,0),(1,f,6),(1,f,1),(1,f,3),(1,g,5),(1,g,7),(1,g,2),(1,g,4),(1,g,3),(1,g,6),(1,g,1),(1,g,0),(1,h,2),(1,h,7),(1,h,1),(1,i,6),(1,i,5),(1,i,9),(1,j,9),(1,j,2),(1,j,0),(1,j,3),(2,a,0),(2,a,4),(2,a,3),(2,a,2),(2,b,8),(2,b,9),(2,b,2),(2,b,6),(2,c,4),(2,c,5),(2,c,6),(2,c,1),(2,d,4),(2,d,3),(2,d,7),(2,d,6),(2,e,8),(2,e,7),(2,f,8),(2,f,6),(2,f,1),(2,f,9),(2,g,8),(2,g,0),(2,g,6),(2,h,9),(2,h,6),(2,h,3),(2,h,2),(2,i,9),(2,i,1),(2,i,8),(2,i,2),(2,i,5),(2,i,3),(2,i,7),(2,j,9),(2,j,2),(2,j,5),(2,j,0),(2,j,6),(3,a,7),(3,a,9),(3,a,5),(3,a,4),(3,b,5),(3,b,7),(3,b,9),(3,c,5),(3,c,9),(3,c,8),(3,c,6),(3,d,9),(3,d,8),(3,d,5),(3,d,4),(3,e,8),(3,e,5),(3,e,9),(3,f,8),(3,f,0),(3,f,5),(3,g,7),(3,g,4),(3,g,3),(3,h,6),(3,i,6),(3,i,7),(3,i,9),(3,i,3),(3,j,7),(3,j,6),(3,j,3),(3,j,0),(4,a,2),(4,a,3),(4,a,9),(4,a,7),(4,a,6),(4,a,5),(4,b,9),(4,b,5),(4,b,0),(4,b,8),(4,b,1),(4,c,6),(4,c,3),(4,d,5),(4,d,2),(4,d,4),(4,e,4),(4,e,2),(4,e,7),(4,e,5),(4,e,8),(4,f,1),(4,f,7),(4,f,8),(4,g,3),(4,g,2),(4,g,0),(4,h,1),(4,h,3),(4,h,0),(4,h,5),(4,i,4),(4,i,6),(4,i,3),(4,i,0),(4,j,4),(4,j,7),(4,j,2),(4,j,5),(4,j,1),(4,j,9),(5,a,8),(5,a,3),(5,a,4),(5,a,2),(5,a,7),(5,a,6),(5,a,0),(5,b,2),(5,b,5),(5,b,8),(5,b,1),(5,b,6),(5,c,1),(5,c,2),(5,c,9),(5,c,5),(5,d,8),(5,d,6),(5,d,4),(5,d,7),(5,d,2),(5,e,4),(5,e,0),(5,e,6),(5,e,8),(5,e,7),(5,f,8),(5,f,3),(5,f,6),(5,f,1),(5,g,1),(5,g,2),(5,g,8),(5,g,4),(5,g,9),(5,h,7),(5,h,3),(5,h,0),(5,h,5),(5,i,7),(5,i,6),(5,i,8),(5,i,5),(5,i,0),(5,i,9),(5,i,2),(5,j,0),(5,j,4),(5,j,9),(5,j,6),(6,a,1),(6,a,4),(6,a,5),(6,a,3),(6,a,8),(6,a,6),(6,b,3),(6,b,4),(6,b,7),(6,c,6),(6,c,1),(6,c,2),(6,d,4),(6,d,8),(6,d,6),(6,d,5),(6,e,9),(6,e,1),(6,e,6),(6,f,0),(6,f,2),(6,f,6),(6,g,1),(6,g,6),(6,g,4),(6,g,9),(6,g,2),(6,h,7),(6,h,2),(6,h,3),(6,i,6),(6,i,1),(6,i,3),(6,i,9),(6,i,4),(6,i,5),(6,j,4),(6,j,3),(6,j,5),(6,j,2),(6,j,7),(6,j,1),(6,j,6),(6,j,0),(7,a,9),(7,a,8),(7,b,3),(7,b,0),(7,c,4),(7,c,3),(7,c,5),(7,c,2),(7,d,6),(7,d,4),(7,d,9),(7,f,1),(7,f,6),(7,f,3),(7,f,8),(7,f,9),(7,f,4),(7,f,0),(7,g,3),(7,g,5),(7,g,9),(7,g,4),(7,g,1),(7,g,7),(7,g,2),(7,h,7),(7,h,5),(7,h,8),(7,h,3),(7,i,8),(7,i,4),(7,i,6),(7,i,1),(7,i,7),(7,i,5),(7,i,9),(7,j,3),(7,j,9),(7,j,4),(8,a,6),(8,a,4),(8,a,0),(8,a,1),(8,a,3),(8,a,8),(8,b,7),(8,b,2),(8,b,3),(8,b,5),(8,b,0),(8,b,4),(8,c,4),(8,c,3),(8,c,1),(8,c,6),(8,d,7),(8,d,0),(8,d,5),(8,e,6),(8,e,4),(8,e,5),(8,f,3),(8,f,5),(8,f,0),(8,f,2),(8,f,9),(8,f,4),(8,g,5),(8,g,4),(8,h,8),(8,h,1),(8,h,0),(8,i,1),(8,i,7),(8,i,8),(8,i,3),(8,j,9),(8,j,7),(8,j,5),(8,j,8),(8,j,0),(8,j,2),(8,j,6),(9,a,5),(9,a,1),(9,a,6),(9,a,3),(9,a,0),(9,a,9),(9,b,2),(9,b,4),(9,b,9),(9,b,8),(9,b,6),(9,b,1),(9,c,3),(9,c,8),(9,c,0),(9,c,9),(9,d,5),(9,d,2),(9,d,8),(9,d,4),(9,d,9),(9,e,1),(9,e,6),(9,e,5),(9,e,7),(9,f,4),(9,f,1),(9,f,8),(9,f,3),(9,f,5),(9,g,9),(9,g,4),(9,g,8),(9,g,3),(9,h,1),(9,h,3),(9,h,8),(9,i,4),(9,i,3),(9,j,6),(9,j,7)
\ No newline at end of file
q10_a10/128.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,3,5,8
(0,a,2),(0,a,8),(0,a,9),(0,a,6),(0,a,5),(0,a,3),(0,b,8),(0,b,1),(0,b,6),(0,b,9),(0,c,8),(0,c,2),(0,c,3),(0,d,8),(0,d,6),(0,d,3),(0,d,0),(0,d,9),(0,d,7),(0,e,2),(0,e,7),(0,e,5),(0,f,6),(0,f,5),(0,g,4),(0,g,6),(0,g,7),(0,g,3),(0,g,8),(0,h,7),(0,h,1),(0,h,9),(0,i,0),(0,i,3),(0,j,3),(0,j,5),(0,j,8),(0,j,7),(0,j,4),(1,a,6),(1,a,0),(1,a,7),(1,a,4),(1,a,3),(1,a,2),(1,a,1),(1,b,7),(1,b,1),(1,b,9),(1,c,8),(1,c,6),(1,d,0),(1,d,9),(1,d,3),(1,d,8),(1,d,7),(1,e,8),(1,e,5),(1,e,0),(1,e,4),(1,e,6),(1,e,3),(1,e,7),(1,e,2),(1,f,8),(1,f,2),(1,f,1),(1,f,0),(1,g,7),(1,g,1),(1,g,3),(1,g,8),(1,h,0),(1,h,6),(1,h,3),(1,h,7),(1,i,9),(1,i,3),(1,i,6),(1,i,0),(1,j,6),(1,j,4),(2,a,0),(2,a,9),(2,a,8),(2,a,7),(2,b,9),(2,b,3),(2,b,2),(2,b,1),(2,b,6),(2,c,4),(2,d,9),(2,d,2),(2,d,0),(2,d,5),(2,e,7),(2,e,6),(2,f,6),(2,f,0),(2,f,7),(2,f,2),(2,f,3),(2,g,8),(2,g,2),(2,g,7),(2,g,4),(2,h,5),(2,h,4),(2,i,4),(2,j,5),(2,j,0),(2,j,1),(2,j,7),(2,j,3),(2,j,8),(3,a,1),(3,a,9),(3,a,8),(3,a,6),(3,a,5),(3,a,4),(3,a,3),(3,b,5),(3,b,9),(3,b,6),(3,b,0),(3,b,7),(3,b,2),(3,c,4),(3,c,1),(3,d,6),(3,d,5),(3,d,9),(3,d,4),(3,e,6),(3,e,3),(3,e,0),(3,e,5),(3,e,4),(3,f,2),(3,f,3),(3,f,9),(3,f,4),(3,g,0),(3,g,4),(3,g,9),(3,h,2),(3,h,5),(3,h,1),(3,i,4),(3,i,7),(3,i,2),(3,i,0),(3,i,8),(3,i,3),(3,j,0),(3,j,1),(3,j,2),(3,j,6),(3,j,9),(3,j,3),(4,a,8),(4,a,7),(4,a,6),(4,a,4),(4,b,0),(4,b,7),(4,c,7),(4,c,8),(4,c,9),(4,c,5),(4,c,1),(4,d,3),(4,d,7),(4,d,6),(4,d,4),(4,e,8),(4,e,4),(4,e,0),(4,e,6),(4,e,7),(4,f,6),(4,f,3),(4,f,2),(4,f,1),(4,f,4),(4,f,5),(4,g,9),(4,g,2),(4,g,7),(4,g,0),(4,h,4),(4,h,1),(4,h,3),(4,h,9),(4,h,0),(4,h,5),(4,i,1),(4,i,2),(4,i,3),(4,i,8),(4,i,4),(4,j,0),(4,j,4),(4,j,8),(4,j,2),(4,j,6),(5,a,5),(5,a,0),(5,a,2),(5,b,8),(5,b,1),(5,b,6),(5,b,9),(5,b,0),(5,b,5),(5,c,1),(5,c,6),(5,c,0),(5,d,4),(5,d,9),(5,d,1),(5,d,5),(5,e,3),(5,e,4),(5,e,6),(5,e,1),(5,f,9),(5,f,4),(5,f,8),(5,f,3),(5,f,5),(5,g,5),(5,g,7),(5,g,6),(5,g,4),(5,h,2),(5,h,6),(5,i,5),(5,i,9),(5,i,4),(5,i,1),(5,i,6),(5,j,2),(5,j,9),(5,j,3),(5,j,1),(5,j,6),(6,a,9),(6,a,6),(6,b,4),(6,c,2),(6,c,3),(6,d,9),(6,d,6),(6,d,2),(6,d,7),(6,d,8),(6,e,0),(6,e,4),(6,e,9),(6,e,6),(6,f,2),(6,f,9),(6,g,6),(6,g,2),(6,h,5),(6,h,4),(6,h,6),(6,i,6),(6,i,8),(6,i,4),(6,i,5),(6,j,7),(6,j,8),(6,j,3),(7,a,0),(7,a,5),(7,a,9),(7,a,8),(7,a,7),(7,b,7),(7,b,2),(7,b,1),(7,b,0),(7,b,3),(7,b,9),(7,c,5),(7,c,4),(7,d,5),(7,d,1),(7,e,2),(7,e,7),(7,e,6),(7,f,5),(7,f,2),(7,f,6),(7,f,1),(7,g,0),(7,g,5),(7,g,7),(7,g,9),(7,g,1),(7,h,0),(7,h,1),(7,h,6),(7,h,4),(7,h,3),(7,i,6),(7,i,0),(7,i,8),(7,i,2),(7,j,3),(7,j,6),(8,a,3),(8,a,5),(8,a,6),(8,a,2),(8,a,9),(8,a,8),(8,b,8),(8,b,5),(8,b,2),(8,b,6),(8,b,1),(8,b,9),(8,c,9),(8,c,2),(8,c,5),(8,c,0),(8,c,6),(8,d,3),(8,d,5),(8,d,1),(8,d,6),(8,d,8),(8,e,2),(8,e,5),(8,e,4),(8,e,7),(8,e,6),(8,e,0),(8,f,6),(8,f,8),(8,f,7),(8,f,9),(8,f,4),(8,f,5),(8,g,5),(8,h,3),(8,h,4),(8,h,5),(8,i,6),(8,i,2),(8,i,0),(8,j,9),(8,j,4),(9,a,8),(9,a,5),(9,a,7),(9,a,4),(9,a,9),(9,b,3),(9,b,1),(9,c,6),(9,c,0),(9,c,1),(9,c,2),(9,c,9),(9,d,8),(9,d,1),(9,e,0),(9,f,2),(9,f,7),(9,f,0),(9,f,9),(9,f,4),(9,g,5),(9,g,8),(9,g,9),(9,h,4),(9,h,9),(9,h,7),(9,h,0),(9,h,3),(9,i,3),(9,i,6),(9,i,0),(9,i,7),(9,j,3),(9,j,5)
\ No newline at end of file
q10_a10/129.nfa 0 → 100644
View file @ cf53e330
10,10
2,8,9
(0,a,8),(0,a,7),(0,a,4),(0,a,3),(0,a,2),(0,a,0),(0,b,9),(0,b,5),(0,b,0),(0,c,7),(0,c,5),(0,c,2),(0,c,3),(0,c,8),(0,c,9),(0,c,4),(0,d,7),(0,d,8),(0,e,1),(0,e,0),(0,e,4),(0,e,7),(0,e,8),(0,e,3),(0,f,1),(0,f,5),(0,f,2),(0,f,3),(0,f,9),(0,g,6),(0,g,4),(0,g,8),(0,g,3),(0,h,0),(0,h,6),(0,h,3),(0,h,8),(0,h,4),(0,h,7),(0,i,4),(0,i,6),(0,i,2),(0,i,3),(0,j,3),(0,j,2),(0,j,1),(0,j,6),(1,a,7),(1,a,1),(1,a,6),(1,a,9),(1,a,8),(1,a,4),(1,a,3),(1,a,2),(1,b,0),(1,b,5),(1,b,7),(1,b,4),(1,b,6),(1,c,9),(1,c,8),(1,c,3),(1,d,1),(1,d,3),(1,d,4),(1,e,5),(1,e,0),(1,e,3),(1,e,8),(1,f,9),(1,g,4),(1,g,6),(1,g,5),(1,g,0),(1,g,3),(1,h,6),(1,h,5),(1,h,0),(1,h,4),(1,h,9),(1,i,2),(1,i,4),(1,i,5),(1,i,6),(1,i,0),(1,j,2),(1,j,8),(1,j,1),(2,a,1),(2,a,3),(2,a,9),(2,a,4),(2,b,6),(2,b,1),(2,b,8),(2,b,4),(2,b,9),(2,b,0),(2,c,1),(2,c,4),(2,c,2),(2,c,7),(2,d,5),(2,d,0),(2,e,1),(2,e,4),(2,f,8),(2,f,1),(2,f,6),(2,g,4),(2,g,6),(2,g,1),(2,g,5),(2,g,9),(2,g,2),(2,h,8),(2,h,3),(2,h,6),(2,h,9),(2,h,2),(2,h,7),(2,i,0),(2,i,9),(2,i,5),(2,i,2),(2,i,8),(2,i,4),(2,j,8),(2,j,7),(2,j,6),(3,a,6),(3,a,2),(3,a,4),(3,a,0),(3,a,8),(3,a,7),(3,a,5),(3,b,2),(3,b,8),(3,b,5),(3,b,0),(3,b,4),(3,c,3),(3,c,8),(3,c,2),(3,c,7),(3,d,3),(3,d,1),(3,d,7),(3,d,2),(3,e,4),(3,e,7),(3,e,1),(3,e,0),(3,f,7),(3,f,0),(3,f,4),(3,f,9),(3,f,8),(3,g,0),(3,g,4),(3,g,3),(3,g,2),(3,g,7),(3,h,2),(3,h,7),(3,h,9),(3,h,8),(3,h,6),(3,h,4),(3,h,0),(3,h,5),(3,i,5),(3,i,0),(3,i,8),(3,j,2),(3,j,8),(3,j,9),(3,j,1),(3,j,5),(4,a,7),(4,a,3),(4,a,8),(4,a,2),(4,a,9),(4,a,6),(4,a,5),(4,a,4),(4,b,6),(4,b,8),(4,b,2),(4,b,0),(4,c,1),(4,c,6),(4,c,4),(4,c,8),(4,d,0),(4,d,1),(4,d,3),(4,d,4),(4,e,8),(4,e,6),(4,e,7),(4,e,2),(4,e,9),(4,f,1),(4,f,9),(4,f,2),(4,f,5),(4,f,3),(4,g,9),(4,g,6),(4,g,3),(4,h,4),(4,h,6),(4,h,0),(4,h,5),(4,h,3),(4,i,7),(4,i,2),(4,i,5),(4,i,0),(4,j,3),(4,j,6),(4,j,9),(4,j,5),(4,j,0),(5,a,2),(5,a,9),(5,a,1),(5,a,6),(5,a,5),(5,b,2),(5,b,3),(5,b,8),(5,c,7),(5,c,2),(5,c,5),(5,c,6),(5,c,8),(5,d,3),(5,d,4),(5,d,9),(5,e,4),(5,e,2),(5,e,5),(5,e,0),(5,f,3),(5,f,7),(5,f,8),(5,f,2),(5,f,4),(5,g,9),(5,g,4),(5,g,0),(5,g,8),(5,h,8),(5,h,6),(5,h,4),(5,h,7),(5,i,4),(5,i,6),(5,j,9),(5,j,7),(6,a,4),(6,a,5),(6,a,2),(6,a,0),(6,a,3),(6,a,7),(6,b,9),(6,b,1),(6,b,3),(6,b,4),(6,b,6),(6,b,0),(6,b,2),(6,c,9),(6,c,6),(6,c,1),(6,d,2),(6,d,5),(6,d,1),(6,d,6),(6,e,9),(6,f,9),(6,f,5),(6,f,7),(6,f,1),(6,f,3),(6,f,8),(6,f,4),(6,g,9),(6,g,6),(6,g,2),(6,g,7),(6,g,3),(6,g,8),(6,h,0),(6,h,1),(6,h,3),(6,h,8),(6,i,2),(6,i,8),(6,i,3),(6,i,6),(6,i,0),(6,j,6),(6,j,1),(6,j,5),(7,a,0),(7,a,1),(7,a,6),(7,a,9),(7,a,7),(7,b,1),(7,b,7),(7,c,9),(7,c,1),(7,c,4),(7,c,3),(7,d,0),(7,d,4),(7,d,3),(7,e,5),(7,e,9),(7,e,1),(7,e,2),(7,e,7),(7,f,8),(7,f,2),(7,f,9),(7,f,6),(7,g,7),(7,g,6),(7,g,2),(7,g,1),(7,g,0),(7,g,9),(7,g,8),(7,h,2),(7,h,5),(7,h,9),(7,h,4),(7,i,6),(7,i,0),(7,i,5),(7,j,8),(7,j,4),(7,j,5),(7,j,6),(8,a,8),(8,a,4),(8,a,9),(8,b,4),(8,b,8),(8,b,9),(8,b,7),(8,c,6),(8,c,0),(8,c,5),(8,d,7),(8,d,8),(8,d,4),(8,d,2),(8,d,1),(8,d,6),(8,e,3),(8,e,8),(8,e,5),(8,e,0),(8,e,6),(8,e,1),(8,f,6),(8,f,7),(8,g,8),(8,h,0),(8,h,3),(8,h,9),(8,h,1),(8,h,6),(8,h,8),(8,h,5),(8,i,3),(8,i,2),(8,i,7),(8,i,1),(8,i,5),(8,i,0),(8,i,9),(8,j,8),(8,j,2),(8,j,7),(9,a,0),(9,a,4),(9,a,9),(9,b,8),(9,b,3),(9,b,0),(9,c,0),(9,c,7),(9,c,2),(9,c,8),(9,d,3),(9,d,4),(9,d,2),(9,d,7),(9,d,8),(9,d,1),(9,e,3),(9,e,5),(9,e,7),(9,f,0),(9,f,6),(9,f,5),(9,f,2),(9,f,4),(9,g,6),(9,g,5),(9,g,2),(9,g,8),(9,h,4),(9,h,6),(9,h,3),(9,h,2),(9,i,8),(9,i,7),(9,i,6),(9,j,2),(9,j,5),(9,j,4),(9,j,3),(9,j,7),(9,j,6)
\ No newline at end of file
q10_a10/13.nfa 0 → 100644
View file @ cf53e330
10,10
4,5,6,7,8
(0,a,1),(0,a,8),(0,a,6),(0,a,3),(0,a,2),(0,b,3),(0,b,1),(0,c,6),(0,c,7),(0,c,2),(0,c,8),(0,c,5),(0,c,9),(0,d,6),(0,d,1),(0,d,3),(0,d,8),(0,d,9),(0,d,0),(0,e,2),(0,e,1),(0,e,0),(0,e,3),(0,e,8),(0,f,0),(0,f,2),(0,f,6),(0,f,3),(0,f,8),(0,g,1),(0,g,3),(0,g,2),(0,g,7),(0,g,0),(0,h,0),(0,h,4),(0,h,6),(0,i,3),(0,i,8),(0,i,2),(0,j,8),(0,j,5),(0,j,2),(0,j,3),(0,j,4),(1,a,9),(1,a,8),(1,a,7),(1,a,6),(1,a,5),(1,a,4),(1,a,2),(1,b,8),(1,b,5),(1,b,1),(1,c,9),(1,c,7),(1,c,0),(1,c,5),(1,c,8),(1,c,4),(1,d,7),(1,d,6),(1,d,0),(1,e,4),(1,e,5),(1,f,9),(1,f,1),(1,f,8),(1,f,0),(1,f,5),(1,g,7),(1,g,4),(1,g,5),(1,g,2),(1,g,6),(1,g,1),(1,h,4),(1,h,6),(1,h,8),(1,h,1),(1,h,9),(1,h,7),(1,h,0),(1,i,2),(1,i,5),(1,i,1),(1,j,2),(1,j,6),(1,j,7),(1,j,0),(1,j,5),(1,j,3),(2,a,0),(2,a,5),(2,a,3),(2,a,2),(2,b,5),(2,b,9),(2,b,3),(2,c,0),(2,c,3),(2,c,8),(2,d,0),(2,d,8),(2,d,3),(2,d,7),(2,e,4),(2,e,9),(2,e,5),(2,e,0),(2,e,1),(2,f,5),(2,f,3),(2,g,2),(2,g,9),(2,g,1),(2,g,5),(2,g,7),(2,g,3),(2,h,1),(2,h,6),(2,h,8),(2,h,3),(2,h,7),(2,i,5),(2,i,6),(2,j,6),(2,j,3),(2,j,8),(2,j,0),(2,j,2),(2,j,1),(2,j,4),(3,a,6),(3,a,9),(3,a,5),(3,b,8),(3,b,5),(3,b,1),(3,b,9),(3,b,3),(3,c,4),(3,c,0),(3,c,3),(3,c,8),(3,d,8),(3,d,4),(3,e,3),(3,e,9),(3,e,4),(3,f,6),(3,f,4),(3,f,7),(3,g,7),(3,g,4),(3,g,8),(3,g,3),(3,h,3),(3,h,8),(3,h,7),(3,h,2),(3,h,0),(3,i,6),(3,i,3),(3,j,8),(3,j,2),(4,a,4),(4,a,7),(4,a,0),(4,a,6),(4,a,5),(4,b,5),(4,b,8),(4,b,4),(4,b,6),(4,b,2),(4,c,7),(4,c,5),(4,c,0),(4,c,1),(4,c,4),(4,d,4),(4,d,1),(4,d,8),(4,d,6),(4,d,3),(4,d,2),(4,d,7),(4,d,5),(4,e,9),(4,e,8),(4,e,0),(4,e,7),(4,e,2),(4,f,8),(4,f,5),(4,f,2),(4,g,5),(4,g,6),(4,g,1),(4,g,8),(4,h,8),(4,h,7),(4,h,6),(4,h,1),(4,i,2),(4,i,9),(4,i,6),(4,i,1),(4,j,6),(4,j,5),(5,a,2),(5,a,9),(5,b,3),(5,b,0),(5,b,1),(5,c,6),(5,c,0),(5,c,5),(5,d,1),(5,d,9),(5,d,0),(5,d,7),(5,e,4),(5,e,8),(5,e,3),(5,e,1),(5,f,5),(5,f,4),(5,g,7),(5,g,2),(5,g,8),(5,g,3),(5,g,4),(5,g,0),(5,h,4),(5,h,0),(5,h,1),(5,h,3),(5,h,8),(5,i,8),(5,i,3),(5,i,2),(5,i,7),(5,j,0),(5,j,8),(5,j,3),(5,j,4),(5,j,6),(5,j,1),(5,j,2),(6,a,6),(6,a,0),(6,a,4),(6,a,9),(6,a,2),(6,a,7),(6,b,6),(6,b,4),(6,c,7),(6,c,5),(6,c,0),(6,d,8),(6,d,0),(6,d,7),(6,d,4),(6,d,6),(6,e,6),(6,e,4),(6,e,0),(6,f,1),(6,g,8),(6,g,7),(6,g,0),(6,h,2),(6,h,1),(6,h,6),(6,i,6),(6,i,2),(6,i,4),(6,i,9),(6,j,5),(6,j,2),(6,j,3),(6,j,4),(6,j,9),(7,a,1),(7,a,3),(7,a,9),(7,a,8),(7,a,7),(7,b,4),(7,b,3),(7,b,2),(7,c,4),(7,c,7),(7,c,9),(7,c,8),(7,c,3),(7,d,7),(7,d,1),(7,d,6),(7,d,5),(7,d,9),(7,d,4),(7,e,5),(7,e,7),(7,e,6),(7,e,8),(7,f,0),(7,f,1),(7,f,3),(7,f,7),(7,g,9),(7,g,2),(7,g,6),(7,g,0),(7,g,3),(7,g,4),(7,h,4),(7,h,0),(7,h,1),(7,i,6),(7,i,4),(7,i,0),(7,i,3),(7,i,8),(7,j,6),(7,j,0),(8,a,5),(8,a,2),(8,a,7),(8,a,8),(8,b,1),(8,b,0),(8,b,7),(8,b,3),(8,c,8),(8,c,9),(8,c,2),(8,c,1),(8,c,4),(8,c,5),(8,d,1),(8,d,6),(8,d,4),(8,d,9),(8,e,1),(8,e,7),(8,e,6),(8,e,2),(8,e,9),(8,e,4),(8,f,3),(8,f,0),(8,f,5),(8,f,6),(8,g,4),(8,g,2),(8,g,6),(8,h,8),(8,h,6),(8,h,2),(8,h,7),(8,i,6),(8,i,0),(8,i,5),(8,i,1),(8,i,8),(8,i,9),(8,j,1),(8,j,8),(9,a,1),(9,a,2),(9,b,8),(9,b,1),(9,c,9),(9,c,1),(9,c,7),(9,c,8),(9,d,8),(9,d,4),(9,d,0),(9,d,1),(9,d,7),(9,e,2),(9,e,8),(9,f,8),(9,f,0),(9,g,3),(9,g,5),(9,g,1),(9,g,6),(9,h,4),(9,h,9),(9,h,6),(9,h,0),(9,h,2),(9,i,1),(9,i,9),(9,i,5),(9,i,8),(9,j,5),(9,j,0),(9,j,4),(9,j,2),(9,j,7),(9,j,6)
\ No newline at end of file
q10_a10/130.nfa 0 → 100644
View file @ cf53e330
10,10
2,3,5,7
(0,a,8),(0,a,7),(0,a,5),(0,a,4),(0,a,3),(0,a,1),(0,b,9),(0,b,8),(0,b,4),(0,b,3),(0,b,2),(0,c,7),(0,c,9),(0,c,4),(0,c,3),(0,d,7),(0,d,1),(0,d,0),(0,d,5),(0,d,9),(0,e,4),(0,e,9),(0,e,7),(0,f,5),(0,f,2),(0,f,3),(0,g,5),(0,g,2),(0,h,8),(0,h,3),(0,h,6),(0,h,0),(0,h,5),(0,h,2),(0,i,9),(0,i,7),(0,i,1),(0,j,0),(0,j,6),(1,a,5),(1,a,9),(1,a,4),(1,a,3),(1,a,2),(1,b,9),(1,b,3),(1,b,1),(1,b,6),(1,c,1),(1,c,4),(1,c,7),(1,c,2),(1,d,7),(1,d,0),(1,d,4),(1,d,3),(1,d,8),(1,d,2),(1,e,2),(1,e,9),(1,e,4),(1,e,5),(1,e,1),(1,f,2),(1,f,4),(1,f,1),(1,f,6),(1,f,0),(1,f,3),(1,g,1),(1,g,0),(1,g,5),(1,g,2),(1,h,2),(1,h,1),(1,h,8),(1,h,3),(1,h,4),(1,i,7),(1,i,2),(1,j,5),(2,a,1),(2,a,9),(2,a,8),(2,a,7),(2,a,6),(2,a,3),(2,b,4),(2,b,3),(2,b,1),(2,c,3),(2,c,5),(2,c,0),(2,c,8),(2,c,6),(2,c,1),(2,c,9),(2,c,7),(2,d,1),(2,d,2),(2,d,6),(2,d,5),(2,d,9),(2,d,7),(2,d,0),(2,d,8),(2,e,7),(2,e,0),(2,e,5),(2,e,4),(2,e,3),(2,f,4),(2,f,6),(2,g,0),(2,h,1),(2,h,3),(2,h,4),(2,i,3),(2,j,6),(2,j,0),(2,j,5),(2,j,7),(2,j,8),(3,a,8),(3,a,9),(3,a,6),(3,a,1),(3,a,7),(3,a,4),(3,b,2),(3,b,8),(3,b,0),(3,c,7),(3,c,2),(3,c,0),(3,c,6),(3,d,2),(3,d,1),(3,d,7),(3,d,8),(3,d,0),(3,e,9),(3,e,3),(3,e,4),(3,e,1),(3,e,6),(3,e,7),(3,e,2),(3,f,0),(3,f,2),(3,f,1),(3,f,4),(3,g,1),(3,g,7),(3,g,2),(3,h,4),(3,h,0),(3,h,6),(3,h,1),(3,h,3),(3,i,6),(3,i,0),(3,i,5),(3,i,7),(3,i,2),(3,j,6),(4,a,5),(4,a,2),(4,a,9),(4,a,8),(4,a,7),(4,a,4),(4,b,7),(4,b,5),(4,b,0),(4,b,6),(4,b,1),(4,b,9),(4,b,8),(4,c,3),(4,c,1),(4,c,8),(4,c,9),(4,c,0),(4,d,5),(4,d,8),(4,d,1),(4,d,9),(4,d,2),(4,e,2),(4,e,4),(4,e,9),(4,f,2),(4,f,5),(4,g,6),(4,g,1),(4,g,7),(4,g,0),(4,g,9),(4,h,8),(4,h,1),(4,h,2),(4,i,8),(4,i,0),(4,i,2),(4,i,1),(4,i,5),(4,j,2),(4,j,0),(5,a,8),(5,a,7),(5,a,1),(5,a,6),(5,b,7),(5,b,6),(5,b,8),(5,c,4),(5,c,1),(5,c,2),(5,c,5),(5,d,8),(5,d,0),(5,d,5),(5,e,1),(5,e,6),(5,e,5),(5,f,0),(5,f,2),(5,f,7),(5,g,2),(5,g,5),(5,h,5),(5,h,6),(5,h,2),(5,h,9),(5,h,3),(5,h,0),(5,i,1),(5,i,2),(5,j,0),(5,j,1),(5,j,3),(5,j,2),(6,a,5),(6,a,0),(6,a,4),(6,a,2),(6,a,7),(6,a,6),(6,b,7),(6,b,9),(6,c,8),(6,c,3),(6,c,7),(6,c,0),(6,d,8),(6,d,1),(6,d,6),(6,d,9),(6,e,0),(6,e,3),(6,f,1),(6,f,5),(6,f,0),(6,g,3),(6,g,6),(6,g,5),(6,h,5),(6,h,1),(6,h,3),(6,h,8),(6,h,9),(6,i,9),(6,i,8),(6,i,3),(6,i,2),(6,j,5),(6,j,0),(6,j,6),(6,j,4),(6,j,1),(6,j,8),(6,j,7),(6,j,2),(7,a,2),(7,a,6),(7,a,0),(7,a,3),(7,a,8),(7,b,9),(7,b,3),(7,b,0),(7,b,4),(7,b,6),(7,b,1),(7,b,2),(7,c,2),(7,c,7),(7,c,0),(7,d,5),(7,d,8),(7,d,9),(7,d,4),(7,d,1),(7,e,1),(7,e,0),(7,e,2),(7,e,8),(7,f,4),(7,f,1),(7,f,5),(7,f,2),(7,f,3),(7,f,8),(7,g,2),(7,g,8),(7,h,8),(7,h,6),(7,h,1),(7,h,9),(7,h,5),(7,h,3),(7,i,6),(7,i,3),(7,j,1),(7,j,9),(7,j,6),(7,j,2),(7,j,3),(7,j,8),(7,j,5),(7,j,7),(8,a,0),(8,a,7),(8,a,8),(8,a,3),(8,a,5),(8,a,1),(8,b,9),(8,b,3),(8,b,0),(8,b,7),(8,c,8),(8,c,9),(8,d,1),(8,d,4),(8,d,2),(8,d,7),(8,d,0),(8,d,5),(8,e,6),(8,e,1),(8,e,0),(8,e,9),(8,f,5),(8,f,8),(8,f,9),(8,f,6),(8,g,6),(8,g,1),(8,g,2),(8,g,0),(8,g,5),(8,h,1),(8,h,7),(8,h,2),(8,h,8),(8,h,3),(8,i,4),(8,i,3),(8,j,8),(8,j,9),(8,j,2),(8,j,6),(8,j,5),(9,a,8),(9,a,5),(9,b,2),(9,b,9),(9,c,5),(9,c,2),(9,c,7),(9,c,6),(9,c,8),(9,c,3),(9,d,6),(9,d,5),(9,d,4),(9,d,8),(9,e,3),(9,e,8),(9,e,4),(9,f,4),(9,f,3),(9,f,6),(9,f,1),(9,f,7),(9,g,6),(9,g,4),(9,h,8),(9,h,3),(9,h,4),(9,h,1),(9,i,9),(9,i,8),(9,i,3),(9,i,0),(9,j,5),(9,j,2),(9,j,9),(9,j,6),(9,j,4),(9,j,3)
\ No newline at end of file
q10_a10/131.nfa 0 → 100644
View file @ cf53e330
10,10
0,1,2,4
(0,a,6),(0,a,8),(0,a,3),(0,a,2),(0,b,2),(0,b,6),(0,b,0),(0,c,3),(0,d,5),(0,d,3),(0,d,0),(0,d,1),(0,d,6),(0,e,8),(0,e,3),(0,e,2),(0,f,1),(0,f,8),(0,f,3),(0,f,4),(0,f,7),(0,g,4),(0,h,3),(0,h,5),(0,h,0),(0,i,8),(0,i,1),(0,j,4),(0,j,0),(0,j,3),(1,a,0),(1,a,1),(1,a,6),(1,a,9),(1,a,8),(1,a,4),(1,a,2),(1,b,7),(1,b,1),(1,b,4),(1,c,5),(1,c,4),(1,c,3),(1,c,8),(1,c,7),(1,c,6),(1,c,9),(1,d,6),(1,d,1),(1,d,5),(1,d,4),(1,e,9),(1,e,4),(1,e,6),(1,e,1),(1,e,8),(1,e,0),(1,f,3),(1,f,5),(1,f,0),(1,f,4),(1,g,9),(1,g,5),(1,g,6),(1,g,7),(1,h,0),(1,h,5),(1,h,6),(1,i,7),(1,i,4),(1,i,9),(1,i,8),(1,j,3),(1,j,0),(1,j,6),(2,a,9),(2,a,3),(2,a,1),(2,a,5),(2,a,4),(2,a,2),(2,c,7),(2,c,5),(2,c,4),(2,d,2),(2,d,5),(2,d,1),(2,d,3),(2,d,8),(2,e,8),(2,e,4),(2,e,5),(2,f,5),(2,f,9),(2,f,4),(2,f,8),(2,f,0),(2,f,2),(2,g,0),(2,g,5),(2,h,1),(2,h,6),(2,h,0),(2,h,2),(2,h,9),(2,h,3),(2,i,2),(2,i,1),(2,i,4),(2,j,6),(2,j,9),(3,a,1),(3,a,2),(3,a,5),(3,a,9),(3,a,7),(3,a,4),(3,a,3),(3,b,5),(3,b,1),(3,b,9),(3,b,4),(3,c,0),(3,c,3),(3,c,8),(3,d,8),(3,d,0),(3,e,1),(3,e,3),(3,e,5),(3,e,0),(3,f,8),(3,f,2),(3,f,9),(3,f,4),(3,f,6),(3,g,3),(3,g,4),(3,g,0),(3,g,2),(3,g,7),(3,h,5),(3,h,0),(3,i,2),(3,i,8),(3,i,6),(3,i,0),(3,j,7),(3,j,9),(3,j,4),(3,j,1),(4,a,0),(4,a,7),(4,a,6),(4,a,1),(4,a,2),(4,a,9),(4,a,8),(4,b,4),(4,b,3),(4,c,4),(4,c,1),(4,c,6),(4,c,3),(4,d,8),(4,d,0),(4,d,4),(4,d,1),(4,d,9),(4,d,5),(4,d,7),(4,d,3),(4,e,8),(4,e,9),(4,f,3),(4,f,0),(4,g,1),(4,g,8),(4,g,3),(4,h,1),(4,h,4),(4,h,7),(4,h,2),(4,h,6),(4,i,4),(4,j,6),(4,j,2),(4,j,4),(4,j,8),(4,j,5),(5,a,5),(5,a,1),(5,a,3),(5,a,9),(5,b,8),(5,c,1),(5,c,0),(5,c,7),(5,c,2),(5,d,1),(5,d,8),(5,d,3),(5,d,4),(5,e,9),(5,e,8),(5,f,9),(5,f,1),(5,g,2),(5,g,5),(5,g,3),(5,g,9),(5,h,8),(5,h,1),(5,h,7),(5,h,2),(5,h,3),(5,h,4),(5,i,1),(5,i,4),(5,i,3),(5,j,7),(5,j,6),(5,j,0),(6,a,0),(6,a,9),(6,a,1),(6,a,6),(6,b,9),(6,b,7),(6,b,2),(6,b,1),(6,c,8),(6,c,0),(6,c,1),(6,c,6),(6,c,2),(6,d,9),(6,d,4),(6,d,3),(6,d,0),(6,d,5),(6,d,1),(6,e,8),(6,e,4),(6,e,9),(6,e,7),(6,e,2),(6,f,7),(6,f,2),(6,f,3),(6,f,5),(6,f,0),(6,g,0),(6,g,8),(6,g,3),(6,g,4),(6,g,7),(6,h,6),(6,h,8),(6,h,0),(6,i,3),(6,i,8),(6,i,4),(6,i,0),(6,i,9),(6,i,1),(6,i,7),(6,j,1),(6,j,8),(6,j,7),(6,j,9),(6,j,4),(7,a,1),(7,a,9),(7,a,3),(7,a,8),(7,b,4),(7,b,2),(7,b,5),(7,c,3),(7,c,5),(7,c,0),(7,c,1),(7,d,6),(7,d,5),(7,e,5),(7,e,0),(7,e,6),(7,e,1),(7,e,7),(7,e,3),(7,e,8),(7,f,6),(7,f,5),(7,f,2),(7,g,5),(7,g,9),(7,g,3),(7,g,2),(7,g,7),(7,h,0),(7,h,7),(7,h,8),(7,i,3),(7,i,1),(7,i,0),(7,i,2),(7,j,7),(7,j,2),(7,j,3),(7,j,8),(8,a,0),(8,a,4),(8,a,9),(8,a,8),(8,b,3),(8,b,9),(8,b,4),(8,c,2),(8,c,5),(8,d,6),(8,d,4),(8,d,8),(8,e,8),(8,e,3),(8,e,6),(8,e,0),(8,e,2),(8,e,9),(8,f,5),(8,f,3),(8,f,8),(8,g,1),(8,g,5),(8,g,4),(8,g,7),(8,g,3),(8,g,6),(8,g,0),(8,h,0),(8,h,3),(8,h,4),(8,i,1),(8,i,5),(8,i,7),(8,j,9),(8,j,6),(8,j,1),(8,j,3),(8,j,8),(9,a,2),(9,a,3),(9,a,8),(9,a,0),(9,a,6),(9,a,9),(9,b,8),(9,b,6),(9,b,4),(9,b,7),(9,c,9),(9,c,4),(9,d,7),(9,d,4),(9,d,9),(9,d,6),(9,d,3),(9,e,2),(9,e,1),(9,e,6),(9,e,4),(9,f,8),(9,f,7),(9,f,1),(9,g,5),(9,g,4),(9,g,8),(9,g,1),(9,h,1),(9,h,6),(9,i,9),(9,i,4),(9,i,7),(9,i,2),(9,i,8),(9,j,3),(9,j,2),(9,j,0),(9,j,6),(9,j,1)
\ No newline at end of file