- return null
- end
-
- # Read the next character.
- # The character is read from the stream of from the pushback buffer.
- private fun get_char: Int
- do
- if _eof then
- return -1
- end
-
- var result: Int
-
- var sp = _stream_pos
- if sp >= 0 then
- var res = _stream_buf[_stream_pos]
- _stream_pos = sp - 1
- result = res.ascii
- else
- result = _stream.read_char
- end
-
- if result == -1 then
- _eof = true
- end
-
- return result
- end
-
- # Unread some characters.
- # Unread characters are stored in the pushback buffer.
- private fun push_back(accept_length: Int)
- do
- var length = _text.length
- var i = length - 1
- while i >= accept_length do
- _eof = false
- _stream_pos = _stream_pos + 1
- _stream_buf[_stream_pos] = _text[i]
- i = i - 1
- end
- end
-
- var _goto_table: Array[Array[Array[Array[Int]]]]
- private fun build_goto_table
- do
- _goto_table = once [
- [
- [
- [9, 9, 1] ,
- [10, 10, 2] ,
- [13, 13, 3] ,
- [32, 32, 4] ,
- [33, 33, 5] ,
- [34, 34, 6] ,
- [35, 35, 7] ,
- [37, 37, 8] ,
- [39, 39, 9] ,
- [40, 40, 10] ,
- [41, 41, 11] ,
- [42, 42, 12] ,
- [43, 43, 13] ,
- [44, 44, 14] ,
- [45, 45, 15] ,
- [46, 46, 16] ,
- [47, 47, 17] ,
- [48, 57, 18] ,
- [58, 58, 19] ,
- [60, 60, 20] ,
- [61, 61, 21] ,
- [62, 62, 22] ,
- [65, 90, 23] ,
- [91, 91, 24] ,
- [93, 93, 25] ,
- [95, 95, 26] ,
- [97, 97, 27] ,
- [98, 98, 28] ,
- [99, 99, 29] ,
- [100, 100, 30] ,
- [101, 101, 31] ,
- [102, 102, 32] ,
- [103, 104, 33] ,
- [105, 105, 34] ,
- [106, 107, 33] ,
- [108, 108, 35] ,
- [109, 109, 36] ,
- [110, 110, 37] ,
- [111, 111, 38] ,
- [112, 112, 39] ,
- [113, 113, 33] ,
- [114, 114, 40] ,
- [115, 115, 41] ,
- [116, 116, 42] ,
- [117, 117, 43] ,
- [118, 118, 44] ,
- [119, 119, 45] ,
- [120, 122, 33] ,
- [125, 125, 46]
- ] ,
- [
- [9, 9, 1] ,
- [32, 32, 4]
- ] ,
- nil_array ,
- [
- [10, 10, 47]
- ] ,
- [
- [9, 32, -3]
- ] ,
- [
- [61, 61, 48]
- ] ,
- [
- [0, 9, 49] ,
- [11, 12, 49] ,
- [14, 33, 49] ,
- [34, 34, 50] ,
- [35, 91, 49] ,
- [92, 92, 51] ,
- [93, 122, 49] ,
- [123, 123, 52] ,
- [124, 255, 49]
- ] ,
- [
- [0, 9, 53] ,
- [10, 10, 54] ,
- [11, 12, 53] ,
- [13, 13, 55] ,
- [14, 255, 53]
- ] ,
- nil_array ,
- [
- [0, 9, 56] ,
- [11, 12, 56] ,
- [14, 38, 56] ,
- [39, 39, 57] ,
- [40, 255, 56]
- ] ,
- nil_array ,
- nil_array ,
- nil_array ,
- [
- [61, 61, 58]
- ] ,
- nil_array ,
- [
- [61, 61, 59]
- ] ,
- [
- [46, 46, 60] ,
- [48, 57, 61]
- ] ,
- nil_array ,
- [
- [46, 46, 62] ,
- [48, 57, 18]
- ] ,
- [
- [58, 58, 63]
- ] ,
- [
- [61, 61, 64]
- ] ,
- [
- [61, 61, 65]
- ] ,
- [
- [61, 61, 66]
- ] ,
- [
- [48, 57, 67] ,
- [65, 90, 68] ,
- [95, 95, 69] ,
- [97, 122, 70]
- ] ,
- nil_array ,
- nil_array ,
- [
- [97, 122, 71]
- ] ,
- [
- [48, 57, 72] ,
- [65, 90, 73] ,
- [95, 95, 74] ,
- [97, 97, 75] ,
- [98, 98, 76] ,
- [99, 109, 75] ,
- [110, 110, 77] ,
- [111, 114, 75] ,
- [115, 115, 78] ,
- [116, 116, 79] ,
- [117, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 113, 75] ,
- [114, 114, 80] ,
- [115, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 107, 75] ,
- [108, 108, 81] ,
- [109, 110, 75] ,
- [111, 111, 82] ,
- [112, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 110, 75] ,
- [111, 111, 83] ,
- [112, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 84] ,
- [109, 109, 75] ,
- [110, 110, 85] ,
- [111, 119, 75] ,
- [120, 120, 86] ,
- [121, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 87] ,
- [98, 110, 75] ,
- [111, 111, 88] ,
- [112, 116, 75] ,
- [117, 117, 89] ,
- [118, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 101, 75] ,
- [102, 102, 90] ,
- [103, 108, 75] ,
- [109, 109, 91] ,
- [110, 110, 92] ,
- [111, 114, 75] ,
- [115, 115, 93] ,
- [116, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 94] ,
- [98, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 100, 75] ,
- [101, 101, 95] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 96] ,
- [102, 110, 75] ,
- [111, 111, 97] ,
- [112, 116, 75] ,
- [117, 117, 98] ,
- [118, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 109, 75] ,
- [110, 110, 99] ,
- [111, 113, 75] ,
- [114, 114, 100] ,
- [115, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 101] ,
- [98, 113, 75] ,
- [114, 114, 102] ,
- [115, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 103] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 104] ,
- [102, 111, 75] ,
- [112, 112, 105] ,
- [113, 116, 75] ,
- [117, 117, 106] ,
- [118, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 103, 75] ,
- [104, 104, 107] ,
- [105, 113, 75] ,
- [114, 114, 108] ,
- [115, 120, 75] ,
- [121, 121, 109] ,
- [122, 122, 75]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 110] ,
- [111, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 111] ,
- [98, 122, 75]
- ] ,
- [
- [48, 103, -44] ,
- [104, 104, 112] ,
- [105, 105, 113] ,
- [106, 113, 75] ,
- [114, 114, 114] ,
- [115, 122, 75]
- ] ,
- [
- [0, 9, 115] ,
- [11, 12, 115] ,
- [14, 33, 115] ,
- [34, 34, 116] ,
- [35, 91, 115] ,
- [92, 92, 117] ,
- [93, 122, 115] ,
- [123, 123, 118] ,
- [124, 255, 115]
- ] ,
- nil_array ,
- nil_array ,
- [
- [0, 255, -8]
- ] ,
- nil_array ,
- [
- [0, 9, 119] ,
- [11, 12, 119] ,
- [14, 255, 119]
- ] ,
- nil_array ,
- [
- [0, 255, -9]
- ] ,
- nil_array ,
- [
- [10, 10, 120]
- ] ,
- [
- [0, 255, -11]
- ] ,
- nil_array ,
- nil_array ,
- nil_array ,
- [
- [46, 46, 121]
- ] ,
- [
- [48, 57, 61]
- ] ,
- [
- [48, 57, 61]
- ] ,
- nil_array ,
- [
- [62, 62, 122]
- ] ,
- nil_array ,
- nil_array ,
- [
- [48, 122, -25]
- ] ,
- [
- [48, 122, -25]
- ] ,
- [
- [48, 122, -25]
- ] ,
- [
- [48, 122, -25]
- ] ,
- [
- [48, 57, 123] ,
- [65, 90, 124] ,
- [95, 95, 125] ,
- [97, 122, 126]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 110, -32] ,
- [111, 111, 127] ,
- [112, 114, 75] ,
- [115, 115, 128] ,
- [116, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 99, 75] ,
- [100, 100, 129] ,
- [101, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 114, 75] ,
- [115, 115, 130] ,
- [116, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 115, 75] ,
- [116, 116, 131] ,
- [117, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 132] ,
- [102, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 133] ,
- [98, 122, 75]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 134] ,
- [111, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 114, -80] ,
- [115, 115, 135] ,
- [116, 122, 75]
- ] ,
- [
- [48, 99, -79] ,
- [100, 100, 136] ,
- [101, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 137] ,
- [117, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 138] ,
- [109, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 139] ,
- [115, 122, 75]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 140] ,
- [111, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 111, 75] ,
- [112, 112, 141] ,
- [113, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 104, 75] ,
- [105, 105, 142] ,
- [106, 115, 75] ,
- [116, 116, 143] ,
- [117, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 144] ,
- [98, 114, 75] ,
- [115, 115, 145] ,
- [116, 122, 75]
- ] ,
- [
- [48, 97, -29] ,
- [98, 98, 146] ,
- [99, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 147] ,
- [117, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 118, 75] ,
- [119, 119, 148] ,
- [120, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 149] ,
- [117, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 150] ,
- [109, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 98, 75] ,
- [99, 99, 151] ,
- [100, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 98, -101] ,
- [99, 99, 152] ,
- [100, 122, 75]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 153] ,
- [106, 110, 75] ,
- [111, 111, 154] ,
- [112, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 155] ,
- [98, 99, 75] ,
- [100, 100, 156] ,
- [101, 115, 75] ,
- [116, 116, 157] ,
- [117, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 158] ,
- [109, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 159] ,
- [102, 122, 75]
- ] ,
- [
- [48, 111, -93] ,
- [112, 112, 160] ,
- [113, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 161] ,
- [102, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 116, 75] ,
- [117, 117, 162] ,
- [118, 122, 75]
- ] ,
- [
- [48, 111, -93] ,
- [112, 112, 163] ,
- [113, 122, 75]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 164] ,
- [106, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 165] ,
- [115, 122, 75]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 166] ,
- [106, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 167] ,
- [117, 122, 75]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 168] ,
- [106, 122, 75]
- ] ,
- [
- [0, 255, -48]
- ] ,
- nil_array ,
- [
- [0, 9, 169] ,
- [11, 12, 169] ,
- [14, 255, 169]
- ] ,
- nil_array ,
- [
- [0, 255, -8]
- ] ,
- nil_array ,
- nil_array ,
- nil_array ,
- [
- [48, 122, -73]
- ] ,
- [
- [48, 122, -73]
- ] ,
- [
- [48, 122, -73]
- ] ,
- [
- [48, 122, -73]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 170] ,
- [115, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 171] ,
- [117, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 172] ,
- [102, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 173] ,
- [115, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 174] ,
- [98, 122, 75]
- ] ,
- [
- [48, 114, -80] ,
- [115, 115, 175] ,
- [116, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 176] ,
- [117, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 177] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 178] ,
- [102, 122, 75]
- ] ,
- [
- [48, 114, -80] ,
- [115, 115, 179] ,
- [116, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 110, -32] ,
- [111, 111, 180] ,
- [112, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 181] ,
- [117, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 182] ,
- [102, 113, 75] ,
- [114, 114, 183] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 184] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 185] ,
- [102, 122, 75]
- ] ,
- [
- [48, 103, -44] ,
- [104, 104, 186] ,
- [105, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 187] ,
- [109, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 188] ,
- [102, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 106, 75] ,
- [107, 107, 189] ,
- [108, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 117, 75] ,
- [118, 118, 190] ,
- [119, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 191] ,
- [117, 122, 75]
- ] ,
- [
- [48, 99, -79] ,
- [100, 100, 192] ,
- [101, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 193] ,
- [102, 122, 75]
- ] ,
- [
- [48, 116, -110] ,
- [117, 117, 194] ,
- [118, 122, 75]
- ] ,
- [
- [48, 101, -36] ,
- [102, 102, 195] ,
- [103, 122, 75]
- ] ,
- [
- [48, 98, -101] ,
- [99, 99, 196] ,
- [100, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 197] ,
- [102, 122, 75]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 198] ,
- [111, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 199] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 200] ,
- [102, 122, 75]
- ] ,
- [
- [48, 117, -155] ,
- [118, 118, 201] ,
- [119, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 202] ,
- [109, 122, 75]
- ] ,
- [
- [48, 103, -44] ,
- [104, 104, 203] ,
- [105, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 204] ,
- [117, 122, 75]
- ] ,
- [
- [0, 255, -48]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 205] ,
- [117, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 206] ,
- [115, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 207] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 106, -154] ,
- [107, 107, 208] ,
- [108, 122, 75]
- ] ,
- [
- [48, 114, -80] ,
- [115, 115, 209] ,
- [116, 122, 75]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 210] ,
- [106, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 211] ,
- [115, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 212] ,
- [102, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 213] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 214] ,
- [115, 122, 75]
- ] ,
- [
- [48, 116, -110] ,
- [117, 117, 215] ,
- [118, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 216] ,
- [117, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 217] ,
- [109, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 218] ,
- [98, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 219] ,
- [98, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 220] ,
- [98, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 221] ,
- [102, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 222] ,
- [98, 122, 75]
- ] ,
- [
- [48, 101, -36] ,
- [102, 102, 223] ,
- [103, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 224] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 104, -94] ,
- [105, 105, 225] ,
- [106, 122, 75]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 226] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 227] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 228] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 229] ,
- [98, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 230] ,
- [98, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 231] ,
- [117, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 232] ,
- [111, 122, 75]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 233] ,
- [111, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 234] ,
- [117, 122, 75]
- ] ,
- [
- [48, 101, -36] ,
- [102, 102, 235] ,
- [103, 109, 75] ,
- [110, 110, 236] ,
- [111, 122, 75]
- ] ,
- [
- [48, 99, -79] ,
- [100, 100, 237] ,
- [101, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 97, -29] ,
- [98, 98, 238] ,
- [99, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 102, 75] ,
- [103, 103, 239] ,
- [104, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 240] ,
- [117, 122, 75]
- ] ,
- [
- [48, 98, -101] ,
- [99, 99, 241] ,
- [100, 122, 75]
- ] ,
- [
- [48, 97, -29] ,
- [98, 98, 242] ,
- [99, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 109, -40] ,
- [110, 110, 243] ,
- [111, 122, 75]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 244] ,
- [98, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 113, -30] ,
- [114, 114, 245] ,
- [115, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 97, -29] ,
- [98, 98, 246] ,
- [99, 122, 75]
- ] ,
- [
- [48, 98, -101] ,
- [99, 99, 247] ,
- [100, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 116, -110] ,
- [117, 117, 248] ,
- [118, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 249] ,
- [98, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 250] ,
- [102, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 251] ,
- [109, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 252] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 253] ,
- [102, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 254] ,
- [117, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 255] ,
- [109, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 256] ,
- [109, 122, 75]
- ] ,
- [
- [48, 114, -80] ,
- [115, 115, 257] ,
- [116, 122, 75]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 258] ,
- [109, 122, 75]
- ] ,
- [
- [48, 115, -81] ,
- [116, 116, 259] ,
- [117, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 260] ,
- [102, 122, 75]
- ] ,
- [
- [48, 98, -101] ,
- [99, 99, 261] ,
- [100, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 262] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 263] ,
- [102, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 264] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 95, -29] ,
- [97, 97, 265] ,
- [98, 122, 75]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 266] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 100, -38] ,
- [101, 101, 267] ,
- [102, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 99, -79] ,
- [100, 100, 268] ,
- [101, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 107, -31] ,
- [108, 108, 269] ,
- [109, 122, 75]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ] ,
- [
- [48, 122, -35]
- ]
- ]
- ]
- end
-
- private fun nil_array: Array[Array[Int]]
- do
- return once new Array[Array[Int]]
- end
-
- var _accept_table: Array[Array[Int]]
- private fun build_accept_table do
- _accept_table = once [
- [
- -1 , 0 , 1 , 1 , 0 , -1 , -1 , -1 , 70 , -1 , 53 , 54 , 68 , 66 , 57 , 67 , 65 , 69 , 81 , 58 , 73 , 60 , 75 , 78 , 55 , 56 , -1 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , -1 , 1 , 72 , -1 , 84 , -1 , 85 , -1 , 2 , 2 , -1 , 83 , 61 , 62 , 64 , 82 , -1 , 59 , 74 , 71 , 76 , 78 , 78 , 78 , 78 , 80 , 79 , 79 , 79 , 79 , 79 , 79 , 48 , 79 , 79 , 79 , 79 , 17 , 79 , 79 , 79 , 79 , 79 , 79 , 26 , 79 , 31 , 16 , 79 , 79 , 79 , 79 , 79 , 79 , 33 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , -1 , 87 , -1 , 86 , -1 , 2 , 63 , 77 , 80 , 80 , 80 , 80 , 79 , 79 , 32 , 79 , 79 , 79 , 79 , 79 , 79 , 10 , 79 , 79 , 30 , 11 , 79 , 79 , 79 , 41 , 79 , 79 , 79 , 40 , 34 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 79 , 20 , 79 , 79 , 79 , -1 , 79 , 79 , 79 , 13 , 79 , 79 , 79 , 28 , 79 , 79 , 79 , 14 , 79 , 79 , 79 , 79 , 11 , 47 , 42 , 79 , 79 , 79 , 79 , 79 , 79 , 44 , 79 , 79 , 27 , 45 , 12 , 79 , 79 , 49 , 79 , 38 , 79 , 79 , 37 , 5 , 79 , 79 , 46 , 79 , 79 , 79 , 51 , 52 , 79 , 79 , 79 , 79 , 79 , 15 , 79 , 79 , 43 , 79 , 29 , 79 , 79 , 39 , 79 , 22 , 4 , 79 , 21 , 79 , 79 , 79 , 79 , 79 , 79 , 35 , 79 , 79 , 79 , 79 , 79 , 79 , 25 , 79 , 3 , 24 , 79 , 79 , 9 , 79 , 79 , 6 , 36 , 79 , 50 , 79 , 18 , 79 , 19 , 7 , 23 , 8
-
- ]
- ]