(AND/IF_1.0 (NFA (NAME DI Select) (INTERPRETATION Verhoeff/XDI) (NOTE Generated by digg v1.0) (SYMBOLS (t INPUT) (b INPUT) (a OUTPUT) (q0 OUTPUT) (q1 OUTPUT) ) (STATES (0 BOX INITIAL) (1 TRANSIENT) (2 TRANSIENT) (3 TRANSIENT) (4 BOX) (5 TRANSIENT) (6 TRANSIENT) (7 TRANSIENT) (8 TRANSIENT) (9 TRANSIENT) (10 TRANSIENT) (11 TRANSIENT) (12 TRANSIENT) (13 TRANSIENT) (14 TRANSIENT) (15 TRANSIENT) ) (TRANSITIONS (0 1 t) (0 2 b) (1 3 b) (1 0 q0) (2 3 t) (2 4 a) (3 8 a) (3 2 q0) (3 9 q1) (4 5 t) (4 6 b) (5 7 b) (5 4 q1) (6 7 t) (6 0 a) (7 11 a) (7 12 q0) (7 6 q1) (8 15 b) (8 4 q0) (8 4 q1) (9 10 t) (9 4 a) (10 5 a) (10 9 q1) (11 14 b) (11 0 q0) (11 0 q1) (12 13 t) (12 0 a) (13 1 a) (13 12 q0) (14 8 a) (14 2 q0) (14 2 q1) (15 11 a) (15 6 q0) (15 6 q1) ) ))