Anush-ccgc

Automaton("nondet",343,4,[ [ [ 1, 3, 12, 13 ], [ 2, 4, 14, 15 ], [ 3, 5, 16, 17 ], [ 4, 6, 18, 19 ], [ 5, 7, 20, 21 ], [ 6, 8, 22, 23 ], [ 7, 9, 24, 25 ], [ 8, 10, 26, 27 ], [ 9, 11, 28, 29 ], [ 10 ], [ 11 ], [ 3, 5, 12, 16, 48 ], [ 3, 5, 13, 17, 49 ], [ 4, 6, 14, 18, 50 ], [ 4, 6, 15, 19, 51 ], [ 5, 7, 16, 20, 52 ], [ 5, 7, 17, 21, 53 ], [ 6, 8, 18, 22, 54 ], [ 6, 8, 19, 23, 55 ], [ 7, 9, 20, 24, 56 ], [ 7, 9, 21, 25, 57 ], [ 8, 10, 22, 26, 58 ], [ 8, 10, 23, 27, 59 ], [ 9, 11, 24, 28, 60 ], [ 9, 11, 25, 29, 61 ], [ 10, 26 ], [ 10, 27 ], [ 11, 28 ], [ 11, 29 ], [ 4, 5, 14, 16, 76 ], [ 4, 5, 15, 17, 77 ], [ 5, 6, 16, 18, 78 ], [ 5, 6, 17, 19, 79 ], [ 6, 7, 18, 20, 80 ], [ 6, 7, 19, 21, 81 ], [ 7, 8, 20, 22, 82 ], [ 7, 8, 21, 23, 83 ], [ 8, 9, 22, 24, 84 ], [ 8, 9, 23, 25, 85 ], [ 9, 10, 24, 26, 86 ], [ 9, 10, 25, 27, 87 ], [ 10, 11, 26, 28, 88 ], [ 10, 11, 27, 29, 89 ], [ 11, 28 ], [ 11, 29 ], [ ], [ ], [ 5, 7, 16, 20, 48, 52, 104 ], [ 5, 7, 17, 21, 49, 53, 105 ], [ 6, 8, 18, 22, 50, 54, 106 ], [ 6, 8, 19, 23