(AND/IF_1.0 (NFA (NAME Decision-Call) (INTERPRETATION Verhoeff/XDI) (NOTE Generated by DIGG, then hand-editted) (SYMBOLS (a0 INPUT) (a1 INPUT) (b0 INPUT) (b1 INPUT) (c OUTPUT) (d00 OUTPUT) (d01 OUTPUT) (d10 OUTPUT) (d11 OUTPUT) ) (STATES (0 BOX INITIAL) (1 TRANSIENT) (2 TRANSIENT) (3 BOX) (4 BOX) (5 TRANSIENT) (6 TRANSIENT) (7 TRANSIENT) (8 TRANSIENT) (9 TRANSIENT) (10 TRANSIENT) (11 TRANSIENT) (12 TRANSIENT) (13 TRANSIENT) (14 TRANSIENT) (15 TRANSIENT) (16 TRANSIENT) (17 BOX) (18 BOX) (19 TRANSIENT) ) (TRANSITIONS (0 1 a0) (0 2 a1) (0 3 b0) (0 4 b1) (1 11 b0) (1 5 b1) (1 18 c) (2 12 b0) (2 6 b1) (2 17 c) (3 11 a0) (3 12 a1) (4 5 a0) (4 6 a1) (5 19 c) (5 8 d01) (6 7 c) (6 8 d11) (7 0 d11) (8 9 b0) (8 10 b1) (8 0 c) (9 3 c) (10 4 c) (11 15 c) (11 8 d00) (12 13 c) (12 8 d10) (13 0 d10) (14 4 d10) (14 3 d11) (15 0 d00) (16 4 d00) (16 3 d01) (17 13 b0) (17 7 b1) (18 15 b0) (18 19 b1) (19 0 d01) ) ))