Base:  10 Modulo:  28
Computing equivalence classes manually with an O(n^2) algorithm.
To eliminate: [10, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27]
Eliminating states between 15 and 27...
Eliminating states between 13 and 13...
Eliminating states between 10 and 10...
Equivalence classes:  13 -> [[0], [15, 1], [16, 2], [10, 3, 17, 24], [18, 4], [19, 5], [27, 20, 13, 6], [21, 7], [22, 8], [23, 9], [25, 11], [26, 12], [14]]
DFA:
      |     0    1    2    3    4    5    6    7    8    9
----- | --------------------------------------------------
    0 |     0    1    2    3    4    5    6    7    8    9
    1 |     3   10   11    6   12    1    2    3    4    5
    2 |     6    7    8    9    3   10   11    6    0    1
    3 |     2    3    4    5    6    7    8    9    3   10
    4 |    11    6   12    1    2    3    4    5    6    7
    5 |     8    9    3   10   11    6    0    1    2    3
    6 |     4    5    6    7    8    9    3   10   11    6
    7 |    12    1    2    3    4    5    6    7    8    9
    8 |     3   10   11    6    0    1    2    3    4    5
    9 |     6    7    8    9    3   10   11    6   12    1
   10 |    11    6    0    1    2    3    4    5    6    7
   11 |     8    9    3   11   12    6   13    1    2    3
   12 |     0    1    2    3    4    5    6    7    8    9