(AND/IF_1.0 (NFA (NAME CALL) (INTERPRETATION Verhoeff/XDI) (NOTE Generated by digg v1.0) (SYMBOLS (a0 INPUT) (b INPUT) (a1 INPUT) (a2 INPUT) (a3 INPUT) (c OUTPUT) (d0 OUTPUT) (d1 OUTPUT) (d2 OUTPUT) (d3 OUTPUT) ) (STATES (0 BOX INITIAL) (1 TRANSIENT) (2 BOX) (3 TRANSIENT) (4 TRANSIENT) (5 TRANSIENT) (6 TRANSIENT) (7 BOX) (8 TRANSIENT) (9 TRANSIENT) (10 BOX) (11 TRANSIENT) (12 TRANSIENT) (13 TRANSIENT) (14 TRANSIENT) (15 TRANSIENT) (16 TRANSIENT) (17 TRANSIENT) (18 BOX) (19 BOX) ) (TRANSITIONS (0 1 a0) (0 2 b) (0 3 a1) (0 4 a2) (0 5 a3) (1 14 b) (1 19 c) (2 14 a0) (2 15 a1) (2 9 a2) (2 6 a3) (3 15 b) (3 18 c) (4 9 b) (4 10 c) (5 6 b) (5 7 c) (6 8 c) (6 12 d3) (7 8 b) (8 0 d3) (9 11 c) (9 12 d2) (10 11 b) (11 0 d2) (12 13 b) (12 0 c) (13 2 c) (14 17 c) (14 12 d0) (15 16 c) (15 12 d1) (16 0 d1) (17 0 d0) (18 16 b) (19 17 b) ) ))