in GraphLayout/tools/Dot2Graph/Dot.cs [69:207]
static Parser()
{
states[0] = new State(new int[] { 128, 78, 129, 79, 134, 80 }, new int[] { -1, 1, -3, 3 });
states[1] = new State(new int[] { 127, 2 });
states[2] = new State(-1);
states[3] = new State(new int[] { 134, 77, 123, -8 }, new int[] { -4, 4 });
states[4] = new State(new int[] { 123, 5 });
states[5] = new State(new int[] { 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 6, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[6] = new State(new int[] { 125, 7 });
states[7] = new State(-2);
states[8] = new State(new int[] { 59, 10, 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 9, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[9] = new State(-10);
states[10] = new State(new int[] { 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 11, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[11] = new State(-11);
states[12] = new State(new int[] { 61, 13, 58, -49, 64, -49, 91, -49, 59, -49, 134, -49, 123, -49, 131, -49, 129, -49, 132, -49, 133, -49, 125, -49, 130, -49 });
states[13] = new State(new int[] { 134, 14 });
states[14] = new State(-12);
states[15] = new State(-13);
states[16] = new State(new int[] { 91, 19, 130, -19, 59, -31, 134, -31, 123, -31, 131, -31, 129, -31, 132, -31, 133, -31, 125, -31 }, new int[] { -12, 17, -17, 18 });
states[17] = new State(-17);
states[18] = new State(-32);
states[19] = new State(new int[] { 93, 20, 134, 30 }, new int[] { -18, 21, -19, 23, -15, 27 });
states[20] = new State(-33);
states[21] = new State(new int[] { 93, 22 });
states[22] = new State(-34);
states[23] = new State(new int[] { 44, 25, 134, 30, 93, -35 }, new int[] { -18, 24, -19, 23, -15, 27 });
states[24] = new State(-36);
states[25] = new State(new int[] { 134, 30 }, new int[] { -18, 26, -19, 23, -15, 27 });
states[26] = new State(-37);
states[27] = new State(new int[] { 61, 28, 44, -39, 134, -39, 93, -39 });
states[28] = new State(new int[] { 134, 30 }, new int[] { -15, 29 });
states[29] = new State(-38);
states[30] = new State(-49);
states[31] = new State(new int[] { 58, 38, 64, 36, 91, -41, 59, -41, 134, -41, 123, -41, 131, -41, 129, -41, 132, -41, 133, -41, 125, -41, 130, -41 }, new int[] { -20, 32, -21, 33, -22, 34, -23, 45 });
states[32] = new State(-40);
states[33] = new State(-42);
states[34] = new State(new int[] { 64, 36, 91, -43, 59, -43, 134, -43, 123, -43, 131, -43, 129, -43, 132, -43, 133, -43, 125, -43, 130, -43 }, new int[] { -23, 35 });
states[35] = new State(-46);
states[36] = new State(new int[] { 134, 30 }, new int[] { -15, 37 });
states[37] = new State(-50);
states[38] = new State(new int[] { 40, 40, 134, 30 }, new int[] { -15, 39 });
states[39] = new State(-47);
states[40] = new State(new int[] { 134, 30 }, new int[] { -15, 41 });
states[41] = new State(new int[] { 44, 42 });
states[42] = new State(new int[] { 134, 30 }, new int[] { -15, 43 });
states[43] = new State(new int[] { 41, 44 });
states[44] = new State(-48);
states[45] = new State(new int[] { 58, 38, 91, -44, 59, -44, 134, -44, 123, -44, 131, -44, 129, -44, 132, -44, 133, -44, 125, -44, 130, -44 }, new int[] { -22, 46 });
states[46] = new State(-45);
states[47] = new State(-14);
states[48] = new State(new int[] { 130, 75 }, new int[] { -14, 49 });
states[49] = new State(new int[] { 130, 51, 91, 19, 59, -31, 134, -31, 123, -31, 131, -31, 129, -31, 132, -31, 133, -31, 125, -31 }, new int[] { -12, 50, -17, 18 });
states[50] = new State(-18);
states[51] = new State(new int[] { 134, 30, 123, 55, 131, 59 }, new int[] { -13, 52, -11, 53, -15, 31, -10, 54 });
states[52] = new State(-22);
states[53] = new State(-19);
states[54] = new State(-20);
states[55] = new State(new int[] { 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 56, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[56] = new State(new int[] { 125, 57 });
states[57] = new State(-23);
states[58] = new State(new int[] { 130, -20, 59, -16, 134, -16, 123, -16, 131, -16, 129, -16, 132, -16, 133, -16, 125, -16 });
states[59] = new State(new int[] { 123, 60, 134, 30, 59, -27, 131, -27, 129, -27, 132, -27, 133, -27, 125, -27, 130, -27, 91, -27 }, new int[] { -15, 70 });
states[60] = new State(new int[] { 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 61, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[61] = new State(new int[] { 125, 62 });
states[62] = new State(-24);
states[63] = new State(-15);
states[64] = new State(new int[] { 91, 19 }, new int[] { -17, 65 });
states[65] = new State(-28);
states[66] = new State(new int[] { 91, 19 }, new int[] { -17, 67 });
states[67] = new State(-29);
states[68] = new State(new int[] { 91, 19 }, new int[] { -17, 69 });
states[69] = new State(-30);
states[70] = new State(-25, new int[] { -16, 71 });
states[71] = new State(new int[] { 123, 72 });
states[72] = new State(new int[] { 134, 12, 123, 55, 131, 59, 129, 64, 132, 66, 133, 68, 125, -9 }, new int[] { -5, 73, -6, 8, -7, 15, -11, 16, -15, 31, -8, 47, -13, 48, -10, 58, -9, 63 });
states[73] = new State(new int[] { 125, 74 });
states[74] = new State(-26);
states[75] = new State(new int[] { 134, 30, 123, 55, 131, 59 }, new int[] { -13, 76, -11, 53, -15, 31, -10, 54 });
states[76] = new State(-21);
states[77] = new State(-7);
states[78] = new State(-3);
states[79] = new State(-4);
states[80] = new State(new int[] { 128, 81, 129, 82 });
states[81] = new State(-5);
states[82] = new State(-6);
for (int sNo = 0; sNo < states.Length; sNo++) states[sNo].number = sNo;
rules[1] = new Rule(-2, new int[] { -1, 127 });
rules[2] = new Rule(-1, new int[] { -3, -4, 123, -5, 125 });
rules[3] = new Rule(-3, new int[] { 128 });
rules[4] = new Rule(-3, new int[] { 129 });
rules[5] = new Rule(-3, new int[] { 134, 128 });
rules[6] = new Rule(-3, new int[] { 134, 129 });
rules[7] = new Rule(-4, new int[] { 134 });
rules[8] = new Rule(-4, new int[] { });
rules[9] = new Rule(-5, new int[] { });
rules[10] = new Rule(-5, new int[] { -6, -5 });
rules[11] = new Rule(-5, new int[] { -6, 59, -5 });
rules[12] = new Rule(-6, new int[] { 134, 61, 134 });
rules[13] = new Rule(-6, new int[] { -7 });
rules[14] = new Rule(-6, new int[] { -8 });
rules[15] = new Rule(-6, new int[] { -9 });
rules[16] = new Rule(-6, new int[] { -10 });
rules[17] = new Rule(-7, new int[] { -11, -12 });
rules[18] = new Rule(-8, new int[] { -13, -14, -12 });
rules[19] = new Rule(-13, new int[] { -11 });
rules[20] = new Rule(-13, new int[] { -10 });
rules[21] = new Rule(-14, new int[] { 130, -13 });
rules[22] = new Rule(-14, new int[] { -14, 130, -13 });
rules[23] = new Rule(-10, new int[] { 123, -5, 125 });
rules[24] = new Rule(-10, new int[] { 131, 123, -5, 125 });
rules[25] = new Rule(-16, new int[] { });
rules[26] = new Rule(-10, new int[] { 131, -15, -16, 123, -5, 125 });
rules[27] = new Rule(-10, new int[] { 131 });
rules[28] = new Rule(-9, new int[] { 129, -17 });
rules[29] = new Rule(-9, new int[] { 132, -17 });
rules[30] = new Rule(-9, new int[] { 133, -17 });
rules[31] = new Rule(-12, new int[] { });
rules[32] = new Rule(-12, new int[] { -17 });
rules[33] = new Rule(-17, new int[] { 91, 93 });
rules[34] = new Rule(-17, new int[] { 91, -18, 93 });
rules[35] = new Rule(-18, new int[] { -19 });
rules[36] = new Rule(-18, new int[] { -19, -18 });
rules[37] = new Rule(-18, new int[] { -19, 44, -18 });
rules[38] = new Rule(-19, new int[] { -15, 61, -15 });
rules[39] = new Rule(-19, new int[] { -15 });
rules[40] = new Rule(-11, new int[] { -15, -20 });
rules[41] = new Rule(-20, new int[] { });
rules[42] = new Rule(-20, new int[] { -21 });
rules[43] = new Rule(-21, new int[] { -22 });
rules[44] = new Rule(-21, new int[] { -23 });
rules[45] = new Rule(-21, new int[] { -23, -22 });
rules[46] = new Rule(-21, new int[] { -22, -23 });
rules[47] = new Rule(-22, new int[] { 58, -15 });
rules[48] = new Rule(-22, new int[] { 58, 40, -15, 44, -15, 41 });
rules[49] = new Rule(-15, new int[] { 134 });
rules[50] = new Rule(-23, new int[] { 64, -15 });
}