github.com/rohankumardubey/aresdb@v0.0.2-0.20190517170215-e54e3ca06b9c/query/sql/antlrgen/sqlbase_lexer.go (about) 1 // Code generated from query/sql/SqlBase.g4 by ANTLR 4.7.1. DO NOT EDIT. 2 3 package antlrgen 4 5 import ( 6 "fmt" 7 "unicode" 8 9 "github.com/antlr/antlr4/runtime/Go/antlr" 10 ) 11 12 // Suppress unused import error 13 var _ = fmt.Printf 14 var _ = unicode.IsLetter 15 16 var serializedLexerAtn = []uint16{ 17 3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 2, 218, 1980, 18 8, 1, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 19 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 20 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 21 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 22 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 4, 27, 9, 27, 4, 28, 9, 23 28, 4, 29, 9, 29, 4, 30, 9, 30, 4, 31, 9, 31, 4, 32, 9, 32, 4, 33, 9, 33, 24 4, 34, 9, 34, 4, 35, 9, 35, 4, 36, 9, 36, 4, 37, 9, 37, 4, 38, 9, 38, 4, 25 39, 9, 39, 4, 40, 9, 40, 4, 41, 9, 41, 4, 42, 9, 42, 4, 43, 9, 43, 4, 44, 26 9, 44, 4, 45, 9, 45, 4, 46, 9, 46, 4, 47, 9, 47, 4, 48, 9, 48, 4, 49, 9, 27 49, 4, 50, 9, 50, 4, 51, 9, 51, 4, 52, 9, 52, 4, 53, 9, 53, 4, 54, 9, 54, 28 4, 55, 9, 55, 4, 56, 9, 56, 4, 57, 9, 57, 4, 58, 9, 58, 4, 59, 9, 59, 4, 29 60, 9, 60, 4, 61, 9, 61, 4, 62, 9, 62, 4, 63, 9, 63, 4, 64, 9, 64, 4, 65, 30 9, 65, 4, 66, 9, 66, 4, 67, 9, 67, 4, 68, 9, 68, 4, 69, 9, 69, 4, 70, 9, 31 70, 4, 71, 9, 71, 4, 72, 9, 72, 4, 73, 9, 73, 4, 74, 9, 74, 4, 75, 9, 75, 32 4, 76, 9, 76, 4, 77, 9, 77, 4, 78, 9, 78, 4, 79, 9, 79, 4, 80, 9, 80, 4, 33 81, 9, 81, 4, 82, 9, 82, 4, 83, 9, 83, 4, 84, 9, 84, 4, 85, 9, 85, 4, 86, 34 9, 86, 4, 87, 9, 87, 4, 88, 9, 88, 4, 89, 9, 89, 4, 90, 9, 90, 4, 91, 9, 35 91, 4, 92, 9, 92, 4, 93, 9, 93, 4, 94, 9, 94, 4, 95, 9, 95, 4, 96, 9, 96, 36 4, 97, 9, 97, 4, 98, 9, 98, 4, 99, 9, 99, 4, 100, 9, 100, 4, 101, 9, 101, 37 4, 102, 9, 102, 4, 103, 9, 103, 4, 104, 9, 104, 4, 105, 9, 105, 4, 106, 38 9, 106, 4, 107, 9, 107, 4, 108, 9, 108, 4, 109, 9, 109, 4, 110, 9, 110, 39 4, 111, 9, 111, 4, 112, 9, 112, 4, 113, 9, 113, 4, 114, 9, 114, 4, 115, 40 9, 115, 4, 116, 9, 116, 4, 117, 9, 117, 4, 118, 9, 118, 4, 119, 9, 119, 41 4, 120, 9, 120, 4, 121, 9, 121, 4, 122, 9, 122, 4, 123, 9, 123, 4, 124, 42 9, 124, 4, 125, 9, 125, 4, 126, 9, 126, 4, 127, 9, 127, 4, 128, 9, 128, 43 4, 129, 9, 129, 4, 130, 9, 130, 4, 131, 9, 131, 4, 132, 9, 132, 4, 133, 44 9, 133, 4, 134, 9, 134, 4, 135, 9, 135, 4, 136, 9, 136, 4, 137, 9, 137, 45 4, 138, 9, 138, 4, 139, 9, 139, 4, 140, 9, 140, 4, 141, 9, 141, 4, 142, 46 9, 142, 4, 143, 9, 143, 4, 144, 9, 144, 4, 145, 9, 145, 4, 146, 9, 146, 47 4, 147, 9, 147, 4, 148, 9, 148, 4, 149, 9, 149, 4, 150, 9, 150, 4, 151, 48 9, 151, 4, 152, 9, 152, 4, 153, 9, 153, 4, 154, 9, 154, 4, 155, 9, 155, 49 4, 156, 9, 156, 4, 157, 9, 157, 4, 158, 9, 158, 4, 159, 9, 159, 4, 160, 50 9, 160, 4, 161, 9, 161, 4, 162, 9, 162, 4, 163, 9, 163, 4, 164, 9, 164, 51 4, 165, 9, 165, 4, 166, 9, 166, 4, 167, 9, 167, 4, 168, 9, 168, 4, 169, 52 9, 169, 4, 170, 9, 170, 4, 171, 9, 171, 4, 172, 9, 172, 4, 173, 9, 173, 53 4, 174, 9, 174, 4, 175, 9, 175, 4, 176, 9, 176, 4, 177, 9, 177, 4, 178, 54 9, 178, 4, 179, 9, 179, 4, 180, 9, 180, 4, 181, 9, 181, 4, 182, 9, 182, 55 4, 183, 9, 183, 4, 184, 9, 184, 4, 185, 9, 185, 4, 186, 9, 186, 4, 187, 56 9, 187, 4, 188, 9, 188, 4, 189, 9, 189, 4, 190, 9, 190, 4, 191, 9, 191, 57 4, 192, 9, 192, 4, 193, 9, 193, 4, 194, 9, 194, 4, 195, 9, 195, 4, 196, 58 9, 196, 4, 197, 9, 197, 4, 198, 9, 198, 4, 199, 9, 199, 4, 200, 9, 200, 59 4, 201, 9, 201, 4, 202, 9, 202, 4, 203, 9, 203, 4, 204, 9, 204, 4, 205, 60 9, 205, 4, 206, 9, 206, 4, 207, 9, 207, 4, 208, 9, 208, 4, 209, 9, 209, 61 4, 210, 9, 210, 4, 211, 9, 211, 4, 212, 9, 212, 4, 213, 9, 213, 4, 214, 62 9, 214, 4, 215, 9, 215, 4, 216, 9, 216, 4, 217, 9, 217, 4, 218, 9, 218, 63 4, 219, 9, 219, 4, 220, 9, 220, 3, 2, 3, 2, 3, 3, 3, 3, 3, 4, 3, 4, 3, 64 5, 3, 5, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 65 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 66 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 67 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 3, 16, 68 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 3, 19, 3, 69 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 70 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 71 22, 3, 22, 3, 22, 3, 23, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 72 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 26, 3, 26, 3, 73 26, 3, 26, 3, 26, 3, 27, 3, 27, 3, 27, 3, 27, 3, 27, 3, 28, 3, 28, 3, 28, 74 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 29, 3, 29, 3, 29, 3, 29, 3, 75 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 30, 3, 30, 3, 30, 3, 30, 3, 30, 3, 30, 76 3, 30, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 32, 3, 77 32, 3, 32, 3, 32, 3, 32, 3, 32, 3, 32, 3, 32, 3, 33, 3, 33, 3, 33, 3, 33, 78 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 34, 3, 34, 3, 34, 3, 34, 3, 79 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 35, 3, 35, 3, 35, 3, 35, 80 3, 35, 3, 35, 3, 35, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 37, 3, 81 37, 3, 37, 3, 37, 3, 37, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 82 3, 38, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 83 39, 3, 39, 3, 39, 3, 39, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 84 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 41, 3, 41, 3, 41, 3, 41, 3, 85 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 86 3, 41, 3, 41, 3, 41, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 87 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 88 3, 44, 3, 44, 3, 44, 3, 44, 3, 44, 3, 45, 3, 45, 3, 45, 3, 45, 3, 46, 3, 89 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 47, 90 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 48, 3, 48, 3, 48, 3, 48, 3, 91 48, 3, 49, 3, 49, 3, 49, 3, 49, 3, 49, 3, 49, 3, 49, 3, 49, 3, 49, 3, 50, 92 3, 50, 3, 50, 3, 50, 3, 50, 3, 50, 3, 50, 3, 50, 3, 50, 3, 51, 3, 51, 3, 93 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 3, 52, 94 3, 52, 3, 52, 3, 52, 3, 52, 3, 53, 3, 53, 3, 53, 3, 53, 3, 53, 3, 54, 3, 95 54, 3, 54, 3, 54, 3, 55, 3, 55, 3, 55, 3, 55, 3, 55, 3, 55, 3, 55, 3, 56, 96 3, 56, 3, 56, 3, 56, 3, 56, 3, 56, 3, 56, 3, 57, 3, 57, 3, 57, 3, 57, 3, 97 57, 3, 57, 3, 57, 3, 57, 3, 57, 3, 57, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 98 3, 58, 3, 58, 3, 58, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 99 60, 3, 60, 3, 60, 3, 60, 3, 60, 3, 60, 3, 60, 3, 60, 3, 61, 3, 61, 3, 61, 100 3, 61, 3, 61, 3, 61, 3, 61, 3, 61, 3, 62, 3, 62, 3, 62, 3, 62, 3, 62, 3, 101 62, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 64, 3, 64, 3, 64, 102 3, 64, 3, 64, 3, 64, 3, 65, 3, 65, 3, 65, 3, 65, 3, 65, 3, 65, 3, 65, 3, 103 65, 3, 65, 3, 65, 3, 66, 3, 66, 3, 66, 3, 66, 3, 67, 3, 67, 3, 67, 3, 67, 104 3, 67, 3, 67, 3, 67, 3, 68, 3, 68, 3, 68, 3, 68, 3, 68, 3, 69, 3, 69, 3, 105 69, 3, 69, 3, 69, 3, 70, 3, 70, 3, 70, 3, 70, 3, 70, 3, 70, 3, 70, 3, 70, 106 3, 70, 3, 70, 3, 71, 3, 71, 3, 71, 3, 71, 3, 71, 3, 71, 3, 72, 3, 72, 3, 107 72, 3, 72, 3, 72, 3, 72, 3, 72, 3, 73, 3, 73, 3, 73, 3, 73, 3, 73, 3, 73, 108 3, 73, 3, 73, 3, 73, 3, 74, 3, 74, 3, 74, 3, 74, 3, 74, 3, 74, 3, 75, 3, 109 75, 3, 75, 3, 75, 3, 75, 3, 75, 3, 75, 3, 75, 3, 75, 3, 76, 3, 76, 3, 76, 110 3, 76, 3, 76, 3, 76, 3, 76, 3, 77, 3, 77, 3, 77, 3, 77, 3, 77, 3, 78, 3, 111 78, 3, 78, 3, 79, 3, 79, 3, 79, 3, 80, 3, 80, 3, 80, 3, 80, 3, 80, 3, 80, 112 3, 80, 3, 80, 3, 80, 3, 80, 3, 81, 3, 81, 3, 81, 3, 81, 3, 81, 3, 81, 3, 113 82, 3, 82, 3, 82, 3, 82, 3, 82, 3, 82, 3, 83, 3, 83, 3, 83, 3, 83, 3, 83, 114 3, 83, 3, 83, 3, 84, 3, 84, 3, 84, 3, 84, 3, 84, 3, 84, 3, 84, 3, 84, 3, 115 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 85, 3, 86, 116 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 3, 87, 3, 87, 3, 117 87, 3, 87, 3, 87, 3, 88, 3, 88, 3, 88, 3, 89, 3, 89, 3, 89, 3, 89, 3, 89, 118 3, 90, 3, 90, 3, 90, 3, 90, 3, 90, 3, 91, 3, 91, 3, 91, 3, 91, 3, 91, 3, 119 91, 3, 91, 3, 91, 3, 92, 3, 92, 3, 92, 3, 92, 3, 92, 3, 93, 3, 93, 3, 93, 120 3, 93, 3, 93, 3, 93, 3, 94, 3, 94, 3, 94, 3, 94, 3, 94, 3, 95, 3, 95, 3, 121 95, 3, 95, 3, 95, 3, 95, 3, 96, 3, 96, 3, 96, 3, 96, 3, 96, 3, 96, 3, 96, 122 3, 96, 3, 96, 3, 96, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 123 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 97, 3, 98, 3, 98, 3, 98, 124 3, 98, 3, 98, 3, 98, 3, 98, 3, 98, 3, 99, 3, 99, 3, 99, 3, 99, 3, 100, 125 3, 100, 3, 100, 3, 100, 3, 100, 3, 100, 3, 100, 3, 101, 3, 101, 3, 101, 126 3, 101, 3, 101, 3, 101, 3, 102, 3, 102, 3, 102, 3, 102, 3, 102, 3, 102, 127 3, 102, 3, 102, 3, 103, 3, 103, 3, 103, 3, 103, 3, 104, 3, 104, 3, 104, 128 3, 104, 3, 105, 3, 105, 3, 105, 3, 105, 3, 105, 3, 106, 3, 106, 3, 106, 129 3, 106, 3, 106, 3, 107, 3, 107, 3, 107, 3, 108, 3, 108, 3, 108, 3, 108, 130 3, 108, 3, 108, 3, 108, 3, 108, 3, 108, 3, 108, 3, 109, 3, 109, 3, 109, 131 3, 109, 3, 110, 3, 110, 3, 110, 3, 110, 3, 110, 3, 111, 3, 111, 3, 111, 132 3, 111, 3, 111, 3, 111, 3, 111, 3, 112, 3, 112, 3, 112, 3, 112, 3, 112, 133 3, 112, 3, 113, 3, 113, 3, 113, 3, 114, 3, 114, 3, 114, 3, 114, 3, 114, 134 3, 115, 3, 115, 3, 115, 3, 115, 3, 115, 3, 115, 3, 115, 3, 116, 3, 116, 135 3, 116, 3, 117, 3, 117, 3, 117, 3, 117, 3, 117, 3, 117, 3, 118, 3, 118, 136 3, 118, 3, 118, 3, 118, 3, 118, 3, 118, 3, 118, 3, 118, 3, 118, 3, 118, 137 3, 119, 3, 119, 3, 119, 3, 119, 3, 119, 3, 119, 3, 120, 3, 120, 3, 120, 138 3, 120, 3, 120, 3, 120, 3, 120, 3, 121, 3, 121, 3, 121, 3, 121, 3, 121, 139 3, 122, 3, 122, 3, 122, 3, 122, 3, 122, 3, 122, 3, 122, 3, 122, 3, 122, 140 3, 122, 3, 123, 3, 123, 3, 123, 3, 123, 3, 123, 3, 123, 3, 123, 3, 123, 141 3, 123, 3, 123, 3, 123, 3, 124, 3, 124, 3, 124, 3, 124, 3, 124, 3, 124, 142 3, 124, 3, 124, 3, 124, 3, 125, 3, 125, 3, 125, 3, 125, 3, 125, 3, 125, 143 3, 125, 3, 125, 3, 125, 3, 125, 3, 126, 3, 126, 3, 126, 3, 126, 3, 126, 144 3, 126, 3, 126, 3, 126, 3, 127, 3, 127, 3, 127, 3, 127, 3, 127, 3, 127, 145 3, 127, 3, 127, 3, 127, 3, 127, 3, 127, 3, 128, 3, 128, 3, 128, 3, 128, 146 3, 128, 3, 128, 3, 128, 3, 128, 3, 128, 3, 128, 3, 128, 3, 129, 3, 129, 147 3, 129, 3, 129, 3, 129, 3, 129, 3, 129, 3, 130, 3, 130, 3, 130, 3, 130, 148 3, 130, 3, 130, 3, 131, 3, 131, 3, 131, 3, 131, 3, 131, 3, 132, 3, 132, 149 3, 132, 3, 132, 3, 132, 3, 132, 3, 132, 3, 132, 3, 132, 3, 132, 3, 133, 150 3, 133, 3, 133, 3, 133, 3, 133, 3, 133, 3, 133, 3, 134, 3, 134, 3, 134, 151 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 135, 152 3, 135, 3, 135, 3, 135, 3, 135, 3, 135, 3, 135, 3, 135, 3, 136, 3, 136, 153 3, 136, 3, 136, 3, 136, 3, 136, 3, 137, 3, 137, 3, 137, 3, 137, 3, 137, 154 3, 137, 3, 137, 3, 137, 3, 137, 3, 138, 3, 138, 3, 138, 3, 138, 3, 138, 155 3, 138, 3, 138, 3, 139, 3, 139, 3, 139, 3, 139, 3, 139, 3, 139, 3, 140, 156 3, 140, 3, 140, 3, 140, 3, 140, 3, 140, 3, 140, 3, 140, 3, 140, 3, 141, 157 3, 141, 3, 141, 3, 141, 3, 141, 3, 141, 3, 141, 3, 142, 3, 142, 3, 142, 158 3, 142, 3, 143, 3, 143, 3, 143, 3, 143, 3, 143, 3, 144, 3, 144, 3, 144, 159 3, 144, 3, 144, 3, 144, 3, 144, 3, 145, 3, 145, 3, 145, 3, 145, 3, 145, 160 3, 145, 3, 145, 3, 145, 3, 146, 3, 146, 3, 146, 3, 146, 3, 146, 3, 146, 161 3, 146, 3, 147, 3, 147, 3, 147, 3, 147, 3, 147, 3, 147, 3, 147, 3, 148, 162 3, 148, 3, 148, 3, 148, 3, 148, 3, 148, 3, 148, 3, 148, 3, 148, 3, 148, 163 3, 148, 3, 148, 3, 148, 3, 149, 3, 149, 3, 149, 3, 149, 3, 149, 3, 149, 164 3, 149, 3, 149, 3, 150, 3, 150, 3, 150, 3, 150, 3, 151, 3, 151, 3, 151, 165 3, 151, 3, 151, 3, 152, 3, 152, 3, 152, 3, 152, 3, 152, 3, 153, 3, 153, 166 3, 153, 3, 153, 3, 153, 3, 153, 3, 153, 3, 153, 3, 153, 3, 154, 3, 154, 167 3, 154, 3, 154, 3, 154, 3, 155, 3, 155, 3, 155, 3, 155, 3, 155, 3, 155, 168 3, 156, 3, 156, 3, 156, 3, 156, 3, 156, 3, 156, 3, 157, 3, 157, 3, 157, 169 3, 157, 3, 157, 3, 157, 3, 157, 3, 157, 3, 157, 3, 157, 3, 158, 3, 158, 170 3, 158, 3, 158, 3, 158, 3, 158, 3, 158, 3, 159, 3, 159, 3, 159, 3, 159, 171 3, 159, 3, 159, 3, 160, 3, 160, 3, 160, 3, 160, 3, 160, 3, 160, 3, 160, 172 3, 161, 3, 161, 3, 161, 3, 161, 3, 161, 3, 161, 3, 161, 3, 161, 3, 161, 173 3, 161, 3, 161, 3, 161, 3, 162, 3, 162, 3, 162, 3, 162, 3, 162, 3, 163, 174 3, 163, 3, 163, 3, 163, 3, 163, 3, 164, 3, 164, 3, 164, 3, 164, 3, 164, 175 3, 165, 3, 165, 3, 165, 3, 165, 3, 165, 3, 165, 3, 165, 3, 165, 3, 165, 176 3, 165, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 177 3, 167, 3, 167, 3, 167, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 169, 178 3, 169, 3, 169, 3, 169, 3, 169, 3, 169, 3, 169, 3, 169, 3, 169, 3, 170, 179 3, 170, 3, 170, 3, 170, 3, 170, 3, 171, 3, 171, 3, 171, 3, 171, 3, 171, 180 3, 171, 3, 171, 3, 171, 3, 172, 3, 172, 3, 172, 3, 172, 3, 172, 3, 172, 181 3, 172, 3, 172, 3, 172, 3, 172, 3, 173, 3, 173, 3, 173, 3, 173, 3, 173, 182 3, 173, 3, 173, 3, 173, 3, 173, 3, 173, 3, 173, 3, 173, 3, 174, 3, 174, 183 3, 174, 3, 174, 3, 174, 3, 174, 3, 175, 3, 175, 3, 175, 3, 175, 3, 175, 184 3, 175, 3, 175, 3, 176, 3, 176, 3, 176, 3, 176, 3, 177, 3, 177, 3, 177, 185 3, 177, 3, 177, 3, 177, 3, 178, 3, 178, 3, 178, 3, 178, 3, 178, 3, 178, 186 3, 178, 3, 178, 3, 178, 3, 179, 3, 179, 3, 179, 3, 179, 3, 179, 3, 179, 187 3, 179, 3, 180, 3, 180, 3, 180, 3, 180, 3, 180, 3, 180, 3, 180, 3, 180, 188 3, 181, 3, 181, 3, 181, 3, 181, 3, 181, 3, 182, 3, 182, 3, 182, 3, 182, 189 3, 182, 3, 183, 3, 183, 3, 183, 3, 183, 3, 183, 3, 183, 3, 184, 3, 184, 190 3, 184, 3, 184, 3, 184, 3, 185, 3, 185, 3, 185, 3, 185, 3, 185, 3, 186, 191 3, 186, 3, 186, 3, 186, 3, 186, 3, 186, 3, 187, 3, 187, 3, 187, 3, 187, 192 3, 187, 3, 188, 3, 188, 3, 188, 3, 188, 3, 188, 3, 189, 3, 189, 3, 190, 193 3, 190, 3, 190, 3, 190, 5, 190, 1705, 10, 190, 3, 191, 3, 191, 3, 192, 194 3, 192, 3, 192, 3, 193, 3, 193, 3, 194, 3, 194, 3, 194, 3, 195, 3, 195, 195 3, 196, 3, 196, 3, 197, 3, 197, 3, 198, 3, 198, 3, 199, 3, 199, 3, 200, 196 3, 200, 3, 200, 3, 201, 3, 201, 3, 201, 3, 201, 7, 201, 1734, 10, 201, 197 12, 201, 14, 201, 1737, 11, 201, 3, 201, 3, 201, 3, 202, 3, 202, 3, 202, 198 3, 202, 3, 202, 3, 202, 3, 202, 7, 202, 1748, 10, 202, 12, 202, 14, 202, 199 1751, 11, 202, 3, 202, 3, 202, 3, 203, 3, 203, 3, 203, 3, 203, 7, 203, 200 1759, 10, 203, 12, 203, 14, 203, 1762, 11, 203, 3, 203, 3, 203, 3, 204, 201 6, 204, 1767, 10, 204, 13, 204, 14, 204, 1768, 3, 205, 6, 205, 1772, 10, 202 205, 13, 205, 14, 205, 1773, 3, 205, 3, 205, 7, 205, 1778, 10, 205, 12, 203 205, 14, 205, 1781, 11, 205, 3, 205, 3, 205, 6, 205, 1785, 10, 205, 13, 204 205, 14, 205, 1786, 5, 205, 1789, 10, 205, 3, 206, 6, 206, 1792, 10, 206, 205 13, 206, 14, 206, 1793, 3, 206, 3, 206, 7, 206, 1798, 10, 206, 12, 206, 206 14, 206, 1801, 11, 206, 5, 206, 1803, 10, 206, 3, 206, 3, 206, 3, 206, 207 3, 206, 6, 206, 1809, 10, 206, 13, 206, 14, 206, 1810, 3, 206, 3, 206, 208 5, 206, 1815, 10, 206, 3, 207, 3, 207, 5, 207, 1819, 10, 207, 3, 207, 3, 209 207, 3, 207, 7, 207, 1824, 10, 207, 12, 207, 14, 207, 1827, 11, 207, 3, 210 208, 3, 208, 3, 208, 3, 208, 6, 208, 1833, 10, 208, 13, 208, 14, 208, 1834, 211 3, 209, 3, 209, 3, 209, 3, 209, 7, 209, 1841, 10, 209, 12, 209, 14, 209, 212 1844, 11, 209, 3, 209, 3, 209, 3, 210, 3, 210, 3, 210, 3, 210, 7, 210, 213 1852, 10, 210, 12, 210, 14, 210, 1855, 11, 210, 3, 210, 3, 210, 3, 211, 214 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 215 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 3, 211, 216 3, 211, 3, 211, 3, 211, 3, 211, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 217 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 218 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 219 3, 212, 3, 212, 3, 212, 3, 212, 3, 212, 3, 213, 3, 213, 3, 213, 3, 213, 220 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 221 3, 213, 3, 213, 3, 213, 3, 213, 3, 213, 3, 214, 3, 214, 5, 214, 1930, 10, 222 214, 3, 214, 6, 214, 1933, 10, 214, 13, 214, 14, 214, 1934, 3, 215, 3, 223 215, 3, 216, 3, 216, 3, 217, 3, 217, 3, 217, 3, 217, 7, 217, 1945, 10, 224 217, 12, 217, 14, 217, 1948, 11, 217, 3, 217, 5, 217, 1951, 10, 217, 3, 225 217, 5, 217, 1954, 10, 217, 3, 217, 3, 217, 3, 218, 3, 218, 3, 218, 3, 226 218, 7, 218, 1962, 10, 218, 12, 218, 14, 218, 1965, 11, 218, 3, 218, 3, 227 218, 3, 218, 3, 218, 3, 218, 3, 219, 6, 219, 1973, 10, 219, 13, 219, 14, 228 219, 1974, 3, 219, 3, 219, 3, 220, 3, 220, 3, 1963, 2, 221, 3, 3, 5, 4, 229 7, 5, 9, 6, 11, 7, 13, 8, 15, 9, 17, 10, 19, 11, 21, 12, 23, 13, 25, 14, 230 27, 15, 29, 16, 31, 17, 33, 18, 35, 19, 37, 20, 39, 21, 41, 22, 43, 23, 231 45, 24, 47, 25, 49, 26, 51, 27, 53, 28, 55, 29, 57, 30, 59, 31, 61, 32, 232 63, 33, 65, 34, 67, 35, 69, 36, 71, 37, 73, 38, 75, 39, 77, 40, 79, 41, 233 81, 42, 83, 43, 85, 44, 87, 45, 89, 46, 91, 47, 93, 48, 95, 49, 97, 50, 234 99, 51, 101, 52, 103, 53, 105, 54, 107, 55, 109, 56, 111, 57, 113, 58, 235 115, 59, 117, 60, 119, 61, 121, 62, 123, 63, 125, 64, 127, 65, 129, 66, 236 131, 67, 133, 68, 135, 69, 137, 70, 139, 71, 141, 72, 143, 73, 145, 74, 237 147, 75, 149, 76, 151, 77, 153, 78, 155, 79, 157, 80, 159, 81, 161, 82, 238 163, 83, 165, 84, 167, 85, 169, 86, 171, 87, 173, 88, 175, 89, 177, 90, 239 179, 91, 181, 92, 183, 93, 185, 94, 187, 95, 189, 96, 191, 97, 193, 98, 240 195, 99, 197, 100, 199, 101, 201, 102, 203, 103, 205, 104, 207, 105, 209, 241 106, 211, 107, 213, 108, 215, 109, 217, 110, 219, 111, 221, 112, 223, 113, 242 225, 114, 227, 115, 229, 116, 231, 117, 233, 118, 235, 119, 237, 120, 239, 243 121, 241, 122, 243, 123, 245, 124, 247, 125, 249, 126, 251, 127, 253, 128, 244 255, 129, 257, 130, 259, 131, 261, 132, 263, 133, 265, 134, 267, 135, 269, 245 136, 271, 137, 273, 138, 275, 139, 277, 140, 279, 141, 281, 142, 283, 143, 246 285, 144, 287, 145, 289, 146, 291, 147, 293, 148, 295, 149, 297, 150, 299, 247 151, 301, 152, 303, 153, 305, 154, 307, 155, 309, 156, 311, 157, 313, 158, 248 315, 159, 317, 160, 319, 161, 321, 162, 323, 163, 325, 164, 327, 165, 329, 249 166, 331, 167, 333, 168, 335, 169, 337, 170, 339, 171, 341, 172, 343, 173, 250 345, 174, 347, 175, 349, 176, 351, 177, 353, 178, 355, 179, 357, 180, 359, 251 181, 361, 182, 363, 183, 365, 184, 367, 185, 369, 186, 371, 187, 373, 188, 252 375, 189, 377, 190, 379, 191, 381, 192, 383, 193, 385, 194, 387, 195, 389, 253 196, 391, 197, 393, 198, 395, 199, 397, 200, 399, 201, 401, 202, 403, 203, 254 405, 204, 407, 205, 409, 206, 411, 207, 413, 208, 415, 209, 417, 210, 419, 255 211, 421, 212, 423, 213, 425, 214, 427, 2, 429, 2, 431, 2, 433, 215, 435, 256 216, 437, 217, 439, 218, 3, 2, 11, 3, 2, 41, 41, 5, 2, 60, 60, 66, 66, 257 97, 97, 3, 2, 36, 36, 3, 2, 98, 98, 4, 2, 45, 45, 47, 47, 3, 2, 50, 59, 258 3, 2, 67, 92, 4, 2, 12, 12, 15, 15, 5, 2, 11, 12, 15, 15, 34, 34, 2, 2010, 259 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 260 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 261 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 262 2, 2, 2, 27, 3, 2, 2, 2, 2, 29, 3, 2, 2, 2, 2, 31, 3, 2, 2, 2, 2, 33, 3, 263 2, 2, 2, 2, 35, 3, 2, 2, 2, 2, 37, 3, 2, 2, 2, 2, 39, 3, 2, 2, 2, 2, 41, 264 3, 2, 2, 2, 2, 43, 3, 2, 2, 2, 2, 45, 3, 2, 2, 2, 2, 47, 3, 2, 2, 2, 2, 265 49, 3, 2, 2, 2, 2, 51, 3, 2, 2, 2, 2, 53, 3, 2, 2, 2, 2, 55, 3, 2, 2, 2, 266 2, 57, 3, 2, 2, 2, 2, 59, 3, 2, 2, 2, 2, 61, 3, 2, 2, 2, 2, 63, 3, 2, 2, 267 2, 2, 65, 3, 2, 2, 2, 2, 67, 3, 2, 2, 2, 2, 69, 3, 2, 2, 2, 2, 71, 3, 2, 268 2, 2, 2, 73, 3, 2, 2, 2, 2, 75, 3, 2, 2, 2, 2, 77, 3, 2, 2, 2, 2, 79, 3, 269 2, 2, 2, 2, 81, 3, 2, 2, 2, 2, 83, 3, 2, 2, 2, 2, 85, 3, 2, 2, 2, 2, 87, 270 3, 2, 2, 2, 2, 89, 3, 2, 2, 2, 2, 91, 3, 2, 2, 2, 2, 93, 3, 2, 2, 2, 2, 271 95, 3, 2, 2, 2, 2, 97, 3, 2, 2, 2, 2, 99, 3, 2, 2, 2, 2, 101, 3, 2, 2, 272 2, 2, 103, 3, 2, 2, 2, 2, 105, 3, 2, 2, 2, 2, 107, 3, 2, 2, 2, 2, 109, 273 3, 2, 2, 2, 2, 111, 3, 2, 2, 2, 2, 113, 3, 2, 2, 2, 2, 115, 3, 2, 2, 2, 274 2, 117, 3, 2, 2, 2, 2, 119, 3, 2, 2, 2, 2, 121, 3, 2, 2, 2, 2, 123, 3, 275 2, 2, 2, 2, 125, 3, 2, 2, 2, 2, 127, 3, 2, 2, 2, 2, 129, 3, 2, 2, 2, 2, 276 131, 3, 2, 2, 2, 2, 133, 3, 2, 2, 2, 2, 135, 3, 2, 2, 2, 2, 137, 3, 2, 277 2, 2, 2, 139, 3, 2, 2, 2, 2, 141, 3, 2, 2, 2, 2, 143, 3, 2, 2, 2, 2, 145, 278 3, 2, 2, 2, 2, 147, 3, 2, 2, 2, 2, 149, 3, 2, 2, 2, 2, 151, 3, 2, 2, 2, 279 2, 153, 3, 2, 2, 2, 2, 155, 3, 2, 2, 2, 2, 157, 3, 2, 2, 2, 2, 159, 3, 280 2, 2, 2, 2, 161, 3, 2, 2, 2, 2, 163, 3, 2, 2, 2, 2, 165, 3, 2, 2, 2, 2, 281 167, 3, 2, 2, 2, 2, 169, 3, 2, 2, 2, 2, 171, 3, 2, 2, 2, 2, 173, 3, 2, 282 2, 2, 2, 175, 3, 2, 2, 2, 2, 177, 3, 2, 2, 2, 2, 179, 3, 2, 2, 2, 2, 181, 283 3, 2, 2, 2, 2, 183, 3, 2, 2, 2, 2, 185, 3, 2, 2, 2, 2, 187, 3, 2, 2, 2, 284 2, 189, 3, 2, 2, 2, 2, 191, 3, 2, 2, 2, 2, 193, 3, 2, 2, 2, 2, 195, 3, 285 2, 2, 2, 2, 197, 3, 2, 2, 2, 2, 199, 3, 2, 2, 2, 2, 201, 3, 2, 2, 2, 2, 286 203, 3, 2, 2, 2, 2, 205, 3, 2, 2, 2, 2, 207, 3, 2, 2, 2, 2, 209, 3, 2, 287 2, 2, 2, 211, 3, 2, 2, 2, 2, 213, 3, 2, 2, 2, 2, 215, 3, 2, 2, 2, 2, 217, 288 3, 2, 2, 2, 2, 219, 3, 2, 2, 2, 2, 221, 3, 2, 2, 2, 2, 223, 3, 2, 2, 2, 289 2, 225, 3, 2, 2, 2, 2, 227, 3, 2, 2, 2, 2, 229, 3, 2, 2, 2, 2, 231, 3, 290 2, 2, 2, 2, 233, 3, 2, 2, 2, 2, 235, 3, 2, 2, 2, 2, 237, 3, 2, 2, 2, 2, 291 239, 3, 2, 2, 2, 2, 241, 3, 2, 2, 2, 2, 243, 3, 2, 2, 2, 2, 245, 3, 2, 292 2, 2, 2, 247, 3, 2, 2, 2, 2, 249, 3, 2, 2, 2, 2, 251, 3, 2, 2, 2, 2, 253, 293 3, 2, 2, 2, 2, 255, 3, 2, 2, 2, 2, 257, 3, 2, 2, 2, 2, 259, 3, 2, 2, 2, 294 2, 261, 3, 2, 2, 2, 2, 263, 3, 2, 2, 2, 2, 265, 3, 2, 2, 2, 2, 267, 3, 295 2, 2, 2, 2, 269, 3, 2, 2, 2, 2, 271, 3, 2, 2, 2, 2, 273, 3, 2, 2, 2, 2, 296 275, 3, 2, 2, 2, 2, 277, 3, 2, 2, 2, 2, 279, 3, 2, 2, 2, 2, 281, 3, 2, 297 2, 2, 2, 283, 3, 2, 2, 2, 2, 285, 3, 2, 2, 2, 2, 287, 3, 2, 2, 2, 2, 289, 298 3, 2, 2, 2, 2, 291, 3, 2, 2, 2, 2, 293, 3, 2, 2, 2, 2, 295, 3, 2, 2, 2, 299 2, 297, 3, 2, 2, 2, 2, 299, 3, 2, 2, 2, 2, 301, 3, 2, 2, 2, 2, 303, 3, 300 2, 2, 2, 2, 305, 3, 2, 2, 2, 2, 307, 3, 2, 2, 2, 2, 309, 3, 2, 2, 2, 2, 301 311, 3, 2, 2, 2, 2, 313, 3, 2, 2, 2, 2, 315, 3, 2, 2, 2, 2, 317, 3, 2, 302 2, 2, 2, 319, 3, 2, 2, 2, 2, 321, 3, 2, 2, 2, 2, 323, 3, 2, 2, 2, 2, 325, 303 3, 2, 2, 2, 2, 327, 3, 2, 2, 2, 2, 329, 3, 2, 2, 2, 2, 331, 3, 2, 2, 2, 304 2, 333, 3, 2, 2, 2, 2, 335, 3, 2, 2, 2, 2, 337, 3, 2, 2, 2, 2, 339, 3, 305 2, 2, 2, 2, 341, 3, 2, 2, 2, 2, 343, 3, 2, 2, 2, 2, 345, 3, 2, 2, 2, 2, 306 347, 3, 2, 2, 2, 2, 349, 3, 2, 2, 2, 2, 351, 3, 2, 2, 2, 2, 353, 3, 2, 307 2, 2, 2, 355, 3, 2, 2, 2, 2, 357, 3, 2, 2, 2, 2, 359, 3, 2, 2, 2, 2, 361, 308 3, 2, 2, 2, 2, 363, 3, 2, 2, 2, 2, 365, 3, 2, 2, 2, 2, 367, 3, 2, 2, 2, 309 2, 369, 3, 2, 2, 2, 2, 371, 3, 2, 2, 2, 2, 373, 3, 2, 2, 2, 2, 375, 3, 310 2, 2, 2, 2, 377, 3, 2, 2, 2, 2, 379, 3, 2, 2, 2, 2, 381, 3, 2, 2, 2, 2, 311 383, 3, 2, 2, 2, 2, 385, 3, 2, 2, 2, 2, 387, 3, 2, 2, 2, 2, 389, 3, 2, 312 2, 2, 2, 391, 3, 2, 2, 2, 2, 393, 3, 2, 2, 2, 2, 395, 3, 2, 2, 2, 2, 397, 313 3, 2, 2, 2, 2, 399, 3, 2, 2, 2, 2, 401, 3, 2, 2, 2, 2, 403, 3, 2, 2, 2, 314 2, 405, 3, 2, 2, 2, 2, 407, 3, 2, 2, 2, 2, 409, 3, 2, 2, 2, 2, 411, 3, 315 2, 2, 2, 2, 413, 3, 2, 2, 2, 2, 415, 3, 2, 2, 2, 2, 417, 3, 2, 2, 2, 2, 316 419, 3, 2, 2, 2, 2, 421, 3, 2, 2, 2, 2, 423, 3, 2, 2, 2, 2, 425, 3, 2, 317 2, 2, 2, 433, 3, 2, 2, 2, 2, 435, 3, 2, 2, 2, 2, 437, 3, 2, 2, 2, 2, 439, 318 3, 2, 2, 2, 3, 441, 3, 2, 2, 2, 5, 443, 3, 2, 2, 2, 7, 445, 3, 2, 2, 2, 319 9, 447, 3, 2, 2, 2, 11, 449, 3, 2, 2, 2, 13, 451, 3, 2, 2, 2, 15, 454, 320 3, 2, 2, 2, 17, 456, 3, 2, 2, 2, 19, 458, 3, 2, 2, 2, 21, 461, 3, 2, 2, 321 2, 23, 465, 3, 2, 2, 2, 25, 469, 3, 2, 2, 2, 27, 475, 3, 2, 2, 2, 29, 483, 322 3, 2, 2, 2, 31, 487, 3, 2, 2, 2, 33, 491, 3, 2, 2, 2, 35, 497, 3, 2, 2, 323 2, 37, 500, 3, 2, 2, 2, 39, 504, 3, 2, 2, 2, 41, 507, 3, 2, 2, 2, 43, 517, 324 3, 2, 2, 2, 45, 525, 3, 2, 2, 2, 47, 528, 3, 2, 2, 2, 49, 533, 3, 2, 2, 325 2, 51, 541, 3, 2, 2, 2, 53, 546, 3, 2, 2, 2, 55, 551, 3, 2, 2, 2, 57, 560, 326 3, 2, 2, 2, 59, 569, 3, 2, 2, 2, 61, 576, 3, 2, 2, 2, 63, 584, 3, 2, 2, 327 2, 65, 592, 3, 2, 2, 2, 67, 602, 3, 2, 2, 2, 69, 613, 3, 2, 2, 2, 71, 620, 328 3, 2, 2, 2, 73, 626, 3, 2, 2, 2, 75, 631, 3, 2, 2, 2, 77, 639, 3, 2, 2, 329 2, 79, 652, 3, 2, 2, 2, 81, 665, 3, 2, 2, 2, 83, 683, 3, 2, 2, 2, 85, 696, 330 3, 2, 2, 2, 87, 701, 3, 2, 2, 2, 89, 706, 3, 2, 2, 2, 91, 710, 3, 2, 2, 331 2, 93, 721, 3, 2, 2, 2, 95, 728, 3, 2, 2, 2, 97, 733, 3, 2, 2, 2, 99, 742, 332 3, 2, 2, 2, 101, 751, 3, 2, 2, 2, 103, 763, 3, 2, 2, 2, 105, 768, 3, 2, 333 2, 2, 107, 773, 3, 2, 2, 2, 109, 777, 3, 2, 2, 2, 111, 784, 3, 2, 2, 2, 334 113, 791, 3, 2, 2, 2, 115, 801, 3, 2, 2, 2, 117, 809, 3, 2, 2, 2, 119, 335 816, 3, 2, 2, 2, 121, 824, 3, 2, 2, 2, 123, 832, 3, 2, 2, 2, 125, 838, 336 3, 2, 2, 2, 127, 845, 3, 2, 2, 2, 129, 851, 3, 2, 2, 2, 131, 861, 3, 2, 337 2, 2, 133, 865, 3, 2, 2, 2, 135, 872, 3, 2, 2, 2, 137, 877, 3, 2, 2, 2, 338 139, 882, 3, 2, 2, 2, 141, 892, 3, 2, 2, 2, 143, 898, 3, 2, 2, 2, 145, 339 905, 3, 2, 2, 2, 147, 914, 3, 2, 2, 2, 149, 920, 3, 2, 2, 2, 151, 929, 340 3, 2, 2, 2, 153, 936, 3, 2, 2, 2, 155, 941, 3, 2, 2, 2, 157, 944, 3, 2, 341 2, 2, 159, 947, 3, 2, 2, 2, 161, 957, 3, 2, 2, 2, 163, 963, 3, 2, 2, 2, 342 165, 969, 3, 2, 2, 2, 167, 976, 3, 2, 2, 2, 169, 984, 3, 2, 2, 2, 171, 343 994, 3, 2, 2, 2, 173, 1003, 3, 2, 2, 2, 175, 1008, 3, 2, 2, 2, 177, 1011, 344 3, 2, 2, 2, 179, 1016, 3, 2, 2, 2, 181, 1021, 3, 2, 2, 2, 183, 1029, 3, 345 2, 2, 2, 185, 1034, 3, 2, 2, 2, 187, 1040, 3, 2, 2, 2, 189, 1045, 3, 2, 346 2, 2, 191, 1051, 3, 2, 2, 2, 193, 1061, 3, 2, 2, 2, 195, 1076, 3, 2, 2, 347 2, 197, 1084, 3, 2, 2, 2, 199, 1088, 3, 2, 2, 2, 201, 1095, 3, 2, 2, 2, 348 203, 1101, 3, 2, 2, 2, 205, 1109, 3, 2, 2, 2, 207, 1113, 3, 2, 2, 2, 209, 349 1117, 3, 2, 2, 2, 211, 1122, 3, 2, 2, 2, 213, 1127, 3, 2, 2, 2, 215, 1130, 350 3, 2, 2, 2, 217, 1140, 3, 2, 2, 2, 219, 1144, 3, 2, 2, 2, 221, 1149, 3, 351 2, 2, 2, 223, 1156, 3, 2, 2, 2, 225, 1162, 3, 2, 2, 2, 227, 1165, 3, 2, 352 2, 2, 229, 1170, 3, 2, 2, 2, 231, 1177, 3, 2, 2, 2, 233, 1180, 3, 2, 2, 353 2, 235, 1186, 3, 2, 2, 2, 237, 1197, 3, 2, 2, 2, 239, 1203, 3, 2, 2, 2, 354 241, 1210, 3, 2, 2, 2, 243, 1215, 3, 2, 2, 2, 245, 1225, 3, 2, 2, 2, 247, 355 1236, 3, 2, 2, 2, 249, 1245, 3, 2, 2, 2, 251, 1255, 3, 2, 2, 2, 253, 1263, 356 3, 2, 2, 2, 255, 1274, 3, 2, 2, 2, 257, 1285, 3, 2, 2, 2, 259, 1292, 3, 357 2, 2, 2, 261, 1298, 3, 2, 2, 2, 263, 1303, 3, 2, 2, 2, 265, 1313, 3, 2, 358 2, 2, 267, 1320, 3, 2, 2, 2, 269, 1331, 3, 2, 2, 2, 271, 1339, 3, 2, 2, 359 2, 273, 1345, 3, 2, 2, 2, 275, 1354, 3, 2, 2, 2, 277, 1361, 3, 2, 2, 2, 360 279, 1367, 3, 2, 2, 2, 281, 1376, 3, 2, 2, 2, 283, 1383, 3, 2, 2, 2, 285, 361 1387, 3, 2, 2, 2, 287, 1392, 3, 2, 2, 2, 289, 1399, 3, 2, 2, 2, 291, 1407, 362 3, 2, 2, 2, 293, 1414, 3, 2, 2, 2, 295, 1421, 3, 2, 2, 2, 297, 1434, 3, 363 2, 2, 2, 299, 1442, 3, 2, 2, 2, 301, 1446, 3, 2, 2, 2, 303, 1451, 3, 2, 364 2, 2, 305, 1456, 3, 2, 2, 2, 307, 1465, 3, 2, 2, 2, 309, 1470, 3, 2, 2, 365 2, 311, 1476, 3, 2, 2, 2, 313, 1482, 3, 2, 2, 2, 315, 1492, 3, 2, 2, 2, 366 317, 1499, 3, 2, 2, 2, 319, 1505, 3, 2, 2, 2, 321, 1512, 3, 2, 2, 2, 323, 367 1524, 3, 2, 2, 2, 325, 1529, 3, 2, 2, 2, 327, 1534, 3, 2, 2, 2, 329, 1539, 368 3, 2, 2, 2, 331, 1549, 3, 2, 2, 2, 333, 1557, 3, 2, 2, 2, 335, 1560, 3, 369 2, 2, 2, 337, 1565, 3, 2, 2, 2, 339, 1574, 3, 2, 2, 2, 341, 1579, 3, 2, 370 2, 2, 343, 1587, 3, 2, 2, 2, 345, 1597, 3, 2, 2, 2, 347, 1609, 3, 2, 2, 371 2, 349, 1615, 3, 2, 2, 2, 351, 1622, 3, 2, 2, 2, 353, 1626, 3, 2, 2, 2, 372 355, 1632, 3, 2, 2, 2, 357, 1641, 3, 2, 2, 2, 359, 1648, 3, 2, 2, 2, 361, 373 1656, 3, 2, 2, 2, 363, 1661, 3, 2, 2, 2, 365, 1666, 3, 2, 2, 2, 367, 1672, 374 3, 2, 2, 2, 369, 1677, 3, 2, 2, 2, 371, 1682, 3, 2, 2, 2, 373, 1688, 3, 375 2, 2, 2, 375, 1693, 3, 2, 2, 2, 377, 1698, 3, 2, 2, 2, 379, 1704, 3, 2, 376 2, 2, 381, 1706, 3, 2, 2, 2, 383, 1708, 3, 2, 2, 2, 385, 1711, 3, 2, 2, 377 2, 387, 1713, 3, 2, 2, 2, 389, 1716, 3, 2, 2, 2, 391, 1718, 3, 2, 2, 2, 378 393, 1720, 3, 2, 2, 2, 395, 1722, 3, 2, 2, 2, 397, 1724, 3, 2, 2, 2, 399, 379 1726, 3, 2, 2, 2, 401, 1729, 3, 2, 2, 2, 403, 1740, 3, 2, 2, 2, 405, 1754, 380 3, 2, 2, 2, 407, 1766, 3, 2, 2, 2, 409, 1788, 3, 2, 2, 2, 411, 1814, 3, 381 2, 2, 2, 413, 1818, 3, 2, 2, 2, 415, 1828, 3, 2, 2, 2, 417, 1836, 3, 2, 382 2, 2, 419, 1847, 3, 2, 2, 2, 421, 1858, 3, 2, 2, 2, 423, 1881, 3, 2, 2, 383 2, 425, 1909, 3, 2, 2, 2, 427, 1927, 3, 2, 2, 2, 429, 1936, 3, 2, 2, 2, 384 431, 1938, 3, 2, 2, 2, 433, 1940, 3, 2, 2, 2, 435, 1957, 3, 2, 2, 2, 437, 385 1972, 3, 2, 2, 2, 439, 1978, 3, 2, 2, 2, 441, 442, 7, 48, 2, 2, 442, 4, 386 3, 2, 2, 2, 443, 444, 7, 42, 2, 2, 444, 6, 3, 2, 2, 2, 445, 446, 7, 43, 387 2, 2, 446, 8, 3, 2, 2, 2, 447, 448, 7, 46, 2, 2, 448, 10, 3, 2, 2, 2, 449, 388 450, 7, 65, 2, 2, 450, 12, 3, 2, 2, 2, 451, 452, 7, 47, 2, 2, 452, 453, 389 7, 64, 2, 2, 453, 14, 3, 2, 2, 2, 454, 455, 7, 93, 2, 2, 455, 16, 3, 2, 390 2, 2, 456, 457, 7, 95, 2, 2, 457, 18, 3, 2, 2, 2, 458, 459, 7, 63, 2, 2, 391 459, 460, 7, 64, 2, 2, 460, 20, 3, 2, 2, 2, 461, 462, 7, 67, 2, 2, 462, 392 463, 7, 70, 2, 2, 463, 464, 7, 70, 2, 2, 464, 22, 3, 2, 2, 2, 465, 466, 393 7, 67, 2, 2, 466, 467, 7, 78, 2, 2, 467, 468, 7, 78, 2, 2, 468, 24, 3, 394 2, 2, 2, 469, 470, 7, 67, 2, 2, 470, 471, 7, 78, 2, 2, 471, 472, 7, 86, 395 2, 2, 472, 473, 7, 71, 2, 2, 473, 474, 7, 84, 2, 2, 474, 26, 3, 2, 2, 2, 396 475, 476, 7, 67, 2, 2, 476, 477, 7, 80, 2, 2, 477, 478, 7, 67, 2, 2, 478, 397 479, 7, 78, 2, 2, 479, 480, 7, 91, 2, 2, 480, 481, 7, 92, 2, 2, 481, 482, 398 7, 71, 2, 2, 482, 28, 3, 2, 2, 2, 483, 484, 7, 67, 2, 2, 484, 485, 7, 80, 399 2, 2, 485, 486, 7, 70, 2, 2, 486, 30, 3, 2, 2, 2, 487, 488, 7, 67, 2, 2, 400 488, 489, 7, 80, 2, 2, 489, 490, 7, 91, 2, 2, 490, 32, 3, 2, 2, 2, 491, 401 492, 7, 67, 2, 2, 492, 493, 7, 84, 2, 2, 493, 494, 7, 84, 2, 2, 494, 495, 402 7, 67, 2, 2, 495, 496, 7, 91, 2, 2, 496, 34, 3, 2, 2, 2, 497, 498, 7, 67, 403 2, 2, 498, 499, 7, 85, 2, 2, 499, 36, 3, 2, 2, 2, 500, 501, 7, 67, 2, 2, 404 501, 502, 7, 85, 2, 2, 502, 503, 7, 69, 2, 2, 503, 38, 3, 2, 2, 2, 504, 405 505, 7, 67, 2, 2, 505, 506, 7, 86, 2, 2, 506, 40, 3, 2, 2, 2, 507, 508, 406 7, 68, 2, 2, 508, 509, 7, 71, 2, 2, 509, 510, 7, 84, 2, 2, 510, 511, 7, 407 80, 2, 2, 511, 512, 7, 81, 2, 2, 512, 513, 7, 87, 2, 2, 513, 514, 7, 78, 408 2, 2, 514, 515, 7, 78, 2, 2, 515, 516, 7, 75, 2, 2, 516, 42, 3, 2, 2, 2, 409 517, 518, 7, 68, 2, 2, 518, 519, 7, 71, 2, 2, 519, 520, 7, 86, 2, 2, 520, 410 521, 7, 89, 2, 2, 521, 522, 7, 71, 2, 2, 522, 523, 7, 71, 2, 2, 523, 524, 411 7, 80, 2, 2, 524, 44, 3, 2, 2, 2, 525, 526, 7, 68, 2, 2, 526, 527, 7, 91, 412 2, 2, 527, 46, 3, 2, 2, 2, 528, 529, 7, 69, 2, 2, 529, 530, 7, 67, 2, 2, 413 530, 531, 7, 78, 2, 2, 531, 532, 7, 78, 2, 2, 532, 48, 3, 2, 2, 2, 533, 414 534, 7, 69, 2, 2, 534, 535, 7, 67, 2, 2, 535, 536, 7, 85, 2, 2, 536, 537, 415 7, 69, 2, 2, 537, 538, 7, 67, 2, 2, 538, 539, 7, 70, 2, 2, 539, 540, 7, 416 71, 2, 2, 540, 50, 3, 2, 2, 2, 541, 542, 7, 69, 2, 2, 542, 543, 7, 67, 417 2, 2, 543, 544, 7, 85, 2, 2, 544, 545, 7, 71, 2, 2, 545, 52, 3, 2, 2, 2, 418 546, 547, 7, 69, 2, 2, 547, 548, 7, 67, 2, 2, 548, 549, 7, 85, 2, 2, 549, 419 550, 7, 86, 2, 2, 550, 54, 3, 2, 2, 2, 551, 552, 7, 69, 2, 2, 552, 553, 420 7, 67, 2, 2, 553, 554, 7, 86, 2, 2, 554, 555, 7, 67, 2, 2, 555, 556, 7, 421 78, 2, 2, 556, 557, 7, 81, 2, 2, 557, 558, 7, 73, 2, 2, 558, 559, 7, 85, 422 2, 2, 559, 56, 3, 2, 2, 2, 560, 561, 7, 69, 2, 2, 561, 562, 7, 81, 2, 2, 423 562, 563, 7, 67, 2, 2, 563, 564, 7, 78, 2, 2, 564, 565, 7, 71, 2, 2, 565, 424 566, 7, 85, 2, 2, 566, 567, 7, 69, 2, 2, 567, 568, 7, 71, 2, 2, 568, 58, 425 3, 2, 2, 2, 569, 570, 7, 69, 2, 2, 570, 571, 7, 81, 2, 2, 571, 572, 7, 426 78, 2, 2, 572, 573, 7, 87, 2, 2, 573, 574, 7, 79, 2, 2, 574, 575, 7, 80, 427 2, 2, 575, 60, 3, 2, 2, 2, 576, 577, 7, 69, 2, 2, 577, 578, 7, 81, 2, 2, 428 578, 579, 7, 78, 2, 2, 579, 580, 7, 87, 2, 2, 580, 581, 7, 79, 2, 2, 581, 429 582, 7, 80, 2, 2, 582, 583, 7, 85, 2, 2, 583, 62, 3, 2, 2, 2, 584, 585, 430 7, 69, 2, 2, 585, 586, 7, 81, 2, 2, 586, 587, 7, 79, 2, 2, 587, 588, 7, 431 79, 2, 2, 588, 589, 7, 71, 2, 2, 589, 590, 7, 80, 2, 2, 590, 591, 7, 86, 432 2, 2, 591, 64, 3, 2, 2, 2, 592, 593, 7, 69, 2, 2, 593, 594, 7, 81, 2, 2, 433 594, 595, 7, 79, 2, 2, 595, 596, 7, 79, 2, 2, 596, 597, 7, 75, 2, 2, 597, 434 598, 7, 86, 2, 2, 598, 599, 7, 86, 2, 2, 599, 600, 7, 71, 2, 2, 600, 601, 435 7, 70, 2, 2, 601, 66, 3, 2, 2, 2, 602, 603, 7, 69, 2, 2, 603, 604, 7, 81, 436 2, 2, 604, 605, 7, 80, 2, 2, 605, 606, 7, 85, 2, 2, 606, 607, 7, 86, 2, 437 2, 607, 608, 7, 84, 2, 2, 608, 609, 7, 67, 2, 2, 609, 610, 7, 75, 2, 2, 438 610, 611, 7, 80, 2, 2, 611, 612, 7, 86, 2, 2, 612, 68, 3, 2, 2, 2, 613, 439 614, 7, 69, 2, 2, 614, 615, 7, 84, 2, 2, 615, 616, 7, 71, 2, 2, 616, 617, 440 7, 67, 2, 2, 617, 618, 7, 86, 2, 2, 618, 619, 7, 71, 2, 2, 619, 70, 3, 441 2, 2, 2, 620, 621, 7, 69, 2, 2, 621, 622, 7, 84, 2, 2, 622, 623, 7, 81, 442 2, 2, 623, 624, 7, 85, 2, 2, 624, 625, 7, 85, 2, 2, 625, 72, 3, 2, 2, 2, 443 626, 627, 7, 69, 2, 2, 627, 628, 7, 87, 2, 2, 628, 629, 7, 68, 2, 2, 629, 444 630, 7, 71, 2, 2, 630, 74, 3, 2, 2, 2, 631, 632, 7, 69, 2, 2, 632, 633, 445 7, 87, 2, 2, 633, 634, 7, 84, 2, 2, 634, 635, 7, 84, 2, 2, 635, 636, 7, 446 71, 2, 2, 636, 637, 7, 80, 2, 2, 637, 638, 7, 86, 2, 2, 638, 76, 3, 2, 447 2, 2, 639, 640, 7, 69, 2, 2, 640, 641, 7, 87, 2, 2, 641, 642, 7, 84, 2, 448 2, 642, 643, 7, 84, 2, 2, 643, 644, 7, 71, 2, 2, 644, 645, 7, 80, 2, 2, 449 645, 646, 7, 86, 2, 2, 646, 647, 7, 97, 2, 2, 647, 648, 7, 70, 2, 2, 648, 450 649, 7, 67, 2, 2, 649, 650, 7, 86, 2, 2, 650, 651, 7, 71, 2, 2, 651, 78, 451 3, 2, 2, 2, 652, 653, 7, 69, 2, 2, 653, 654, 7, 87, 2, 2, 654, 655, 7, 452 84, 2, 2, 655, 656, 7, 84, 2, 2, 656, 657, 7, 71, 2, 2, 657, 658, 7, 80, 453 2, 2, 658, 659, 7, 86, 2, 2, 659, 660, 7, 97, 2, 2, 660, 661, 7, 86, 2, 454 2, 661, 662, 7, 75, 2, 2, 662, 663, 7, 79, 2, 2, 663, 664, 7, 71, 2, 2, 455 664, 80, 3, 2, 2, 2, 665, 666, 7, 69, 2, 2, 666, 667, 7, 87, 2, 2, 667, 456 668, 7, 84, 2, 2, 668, 669, 7, 84, 2, 2, 669, 670, 7, 71, 2, 2, 670, 671, 457 7, 80, 2, 2, 671, 672, 7, 86, 2, 2, 672, 673, 7, 97, 2, 2, 673, 674, 7, 458 86, 2, 2, 674, 675, 7, 75, 2, 2, 675, 676, 7, 79, 2, 2, 676, 677, 7, 71, 459 2, 2, 677, 678, 7, 85, 2, 2, 678, 679, 7, 86, 2, 2, 679, 680, 7, 67, 2, 460 2, 680, 681, 7, 79, 2, 2, 681, 682, 7, 82, 2, 2, 682, 82, 3, 2, 2, 2, 683, 461 684, 7, 69, 2, 2, 684, 685, 7, 87, 2, 2, 685, 686, 7, 84, 2, 2, 686, 687, 462 7, 84, 2, 2, 687, 688, 7, 71, 2, 2, 688, 689, 7, 80, 2, 2, 689, 690, 7, 463 86, 2, 2, 690, 691, 7, 97, 2, 2, 691, 692, 7, 87, 2, 2, 692, 693, 7, 85, 464 2, 2, 693, 694, 7, 71, 2, 2, 694, 695, 7, 84, 2, 2, 695, 84, 3, 2, 2, 2, 465 696, 697, 7, 70, 2, 2, 697, 698, 7, 67, 2, 2, 698, 699, 7, 86, 2, 2, 699, 466 700, 7, 67, 2, 2, 700, 86, 3, 2, 2, 2, 701, 702, 7, 70, 2, 2, 702, 703, 467 7, 67, 2, 2, 703, 704, 7, 86, 2, 2, 704, 705, 7, 71, 2, 2, 705, 88, 3, 468 2, 2, 2, 706, 707, 7, 70, 2, 2, 707, 708, 7, 67, 2, 2, 708, 709, 7, 91, 469 2, 2, 709, 90, 3, 2, 2, 2, 710, 711, 7, 70, 2, 2, 711, 712, 7, 71, 2, 2, 470 712, 713, 7, 67, 2, 2, 713, 714, 7, 78, 2, 2, 714, 715, 7, 78, 2, 2, 715, 471 716, 7, 81, 2, 2, 716, 717, 7, 69, 2, 2, 717, 718, 7, 67, 2, 2, 718, 719, 472 7, 86, 2, 2, 719, 720, 7, 71, 2, 2, 720, 92, 3, 2, 2, 2, 721, 722, 7, 70, 473 2, 2, 722, 723, 7, 71, 2, 2, 723, 724, 7, 78, 2, 2, 724, 725, 7, 71, 2, 474 2, 725, 726, 7, 86, 2, 2, 726, 727, 7, 71, 2, 2, 727, 94, 3, 2, 2, 2, 728, 475 729, 7, 70, 2, 2, 729, 730, 7, 71, 2, 2, 730, 731, 7, 85, 2, 2, 731, 732, 476 7, 69, 2, 2, 732, 96, 3, 2, 2, 2, 733, 734, 7, 70, 2, 2, 734, 735, 7, 71, 477 2, 2, 735, 736, 7, 85, 2, 2, 736, 737, 7, 69, 2, 2, 737, 738, 7, 84, 2, 478 2, 738, 739, 7, 75, 2, 2, 739, 740, 7, 68, 2, 2, 740, 741, 7, 71, 2, 2, 479 741, 98, 3, 2, 2, 2, 742, 743, 7, 70, 2, 2, 743, 744, 7, 75, 2, 2, 744, 480 745, 7, 85, 2, 2, 745, 746, 7, 86, 2, 2, 746, 747, 7, 75, 2, 2, 747, 748, 481 7, 80, 2, 2, 748, 749, 7, 69, 2, 2, 749, 750, 7, 86, 2, 2, 750, 100, 3, 482 2, 2, 2, 751, 752, 7, 70, 2, 2, 752, 753, 7, 75, 2, 2, 753, 754, 7, 85, 483 2, 2, 754, 755, 7, 86, 2, 2, 755, 756, 7, 84, 2, 2, 756, 757, 7, 75, 2, 484 2, 757, 758, 7, 68, 2, 2, 758, 759, 7, 87, 2, 2, 759, 760, 7, 86, 2, 2, 485 760, 761, 7, 71, 2, 2, 761, 762, 7, 70, 2, 2, 762, 102, 3, 2, 2, 2, 763, 486 764, 7, 70, 2, 2, 764, 765, 7, 84, 2, 2, 765, 766, 7, 81, 2, 2, 766, 767, 487 7, 82, 2, 2, 767, 104, 3, 2, 2, 2, 768, 769, 7, 71, 2, 2, 769, 770, 7, 488 78, 2, 2, 770, 771, 7, 85, 2, 2, 771, 772, 7, 71, 2, 2, 772, 106, 3, 2, 489 2, 2, 773, 774, 7, 71, 2, 2, 774, 775, 7, 80, 2, 2, 775, 776, 7, 70, 2, 490 2, 776, 108, 3, 2, 2, 2, 777, 778, 7, 71, 2, 2, 778, 779, 7, 85, 2, 2, 491 779, 780, 7, 69, 2, 2, 780, 781, 7, 67, 2, 2, 781, 782, 7, 82, 2, 2, 782, 492 783, 7, 71, 2, 2, 783, 110, 3, 2, 2, 2, 784, 785, 7, 71, 2, 2, 785, 786, 493 7, 90, 2, 2, 786, 787, 7, 69, 2, 2, 787, 788, 7, 71, 2, 2, 788, 789, 7, 494 82, 2, 2, 789, 790, 7, 86, 2, 2, 790, 112, 3, 2, 2, 2, 791, 792, 7, 71, 495 2, 2, 792, 793, 7, 90, 2, 2, 793, 794, 7, 69, 2, 2, 794, 795, 7, 78, 2, 496 2, 795, 796, 7, 87, 2, 2, 796, 797, 7, 70, 2, 2, 797, 798, 7, 75, 2, 2, 497 798, 799, 7, 80, 2, 2, 799, 800, 7, 73, 2, 2, 800, 114, 3, 2, 2, 2, 801, 498 802, 7, 71, 2, 2, 802, 803, 7, 90, 2, 2, 803, 804, 7, 71, 2, 2, 804, 805, 499 7, 69, 2, 2, 805, 806, 7, 87, 2, 2, 806, 807, 7, 86, 2, 2, 807, 808, 7, 500 71, 2, 2, 808, 116, 3, 2, 2, 2, 809, 810, 7, 71, 2, 2, 810, 811, 7, 90, 501 2, 2, 811, 812, 7, 75, 2, 2, 812, 813, 7, 85, 2, 2, 813, 814, 7, 86, 2, 502 2, 814, 815, 7, 85, 2, 2, 815, 118, 3, 2, 2, 2, 816, 817, 7, 71, 2, 2, 503 817, 818, 7, 90, 2, 2, 818, 819, 7, 82, 2, 2, 819, 820, 7, 78, 2, 2, 820, 504 821, 7, 67, 2, 2, 821, 822, 7, 75, 2, 2, 822, 823, 7, 80, 2, 2, 823, 120, 505 3, 2, 2, 2, 824, 825, 7, 71, 2, 2, 825, 826, 7, 90, 2, 2, 826, 827, 7, 506 86, 2, 2, 827, 828, 7, 84, 2, 2, 828, 829, 7, 67, 2, 2, 829, 830, 7, 69, 507 2, 2, 830, 831, 7, 86, 2, 2, 831, 122, 3, 2, 2, 2, 832, 833, 7, 72, 2, 508 2, 833, 834, 7, 67, 2, 2, 834, 835, 7, 78, 2, 2, 835, 836, 7, 85, 2, 2, 509 836, 837, 7, 71, 2, 2, 837, 124, 3, 2, 2, 2, 838, 839, 7, 72, 2, 2, 839, 510 840, 7, 75, 2, 2, 840, 841, 7, 78, 2, 2, 841, 842, 7, 86, 2, 2, 842, 843, 511 7, 71, 2, 2, 843, 844, 7, 84, 2, 2, 844, 126, 3, 2, 2, 2, 845, 846, 7, 512 72, 2, 2, 846, 847, 7, 75, 2, 2, 847, 848, 7, 84, 2, 2, 848, 849, 7, 85, 513 2, 2, 849, 850, 7, 86, 2, 2, 850, 128, 3, 2, 2, 2, 851, 852, 7, 72, 2, 514 2, 852, 853, 7, 81, 2, 2, 853, 854, 7, 78, 2, 2, 854, 855, 7, 78, 2, 2, 515 855, 856, 7, 81, 2, 2, 856, 857, 7, 89, 2, 2, 857, 858, 7, 75, 2, 2, 858, 516 859, 7, 80, 2, 2, 859, 860, 7, 73, 2, 2, 860, 130, 3, 2, 2, 2, 861, 862, 517 7, 72, 2, 2, 862, 863, 7, 81, 2, 2, 863, 864, 7, 84, 2, 2, 864, 132, 3, 518 2, 2, 2, 865, 866, 7, 72, 2, 2, 866, 867, 7, 81, 2, 2, 867, 868, 7, 84, 519 2, 2, 868, 869, 7, 79, 2, 2, 869, 870, 7, 67, 2, 2, 870, 871, 7, 86, 2, 520 2, 871, 134, 3, 2, 2, 2, 872, 873, 7, 72, 2, 2, 873, 874, 7, 84, 2, 2, 521 874, 875, 7, 81, 2, 2, 875, 876, 7, 79, 2, 2, 876, 136, 3, 2, 2, 2, 877, 522 878, 7, 72, 2, 2, 878, 879, 7, 87, 2, 2, 879, 880, 7, 78, 2, 2, 880, 881, 523 7, 78, 2, 2, 881, 138, 3, 2, 2, 2, 882, 883, 7, 72, 2, 2, 883, 884, 7, 524 87, 2, 2, 884, 885, 7, 80, 2, 2, 885, 886, 7, 69, 2, 2, 886, 887, 7, 86, 525 2, 2, 887, 888, 7, 75, 2, 2, 888, 889, 7, 81, 2, 2, 889, 890, 7, 80, 2, 526 2, 890, 891, 7, 85, 2, 2, 891, 140, 3, 2, 2, 2, 892, 893, 7, 73, 2, 2, 527 893, 894, 7, 84, 2, 2, 894, 895, 7, 67, 2, 2, 895, 896, 7, 80, 2, 2, 896, 528 897, 7, 86, 2, 2, 897, 142, 3, 2, 2, 2, 898, 899, 7, 73, 2, 2, 899, 900, 529 7, 84, 2, 2, 900, 901, 7, 67, 2, 2, 901, 902, 7, 80, 2, 2, 902, 903, 7, 530 86, 2, 2, 903, 904, 7, 85, 2, 2, 904, 144, 3, 2, 2, 2, 905, 906, 7, 73, 531 2, 2, 906, 907, 7, 84, 2, 2, 907, 908, 7, 67, 2, 2, 908, 909, 7, 82, 2, 532 2, 909, 910, 7, 74, 2, 2, 910, 911, 7, 88, 2, 2, 911, 912, 7, 75, 2, 2, 533 912, 913, 7, 92, 2, 2, 913, 146, 3, 2, 2, 2, 914, 915, 7, 73, 2, 2, 915, 534 916, 7, 84, 2, 2, 916, 917, 7, 81, 2, 2, 917, 918, 7, 87, 2, 2, 918, 919, 535 7, 82, 2, 2, 919, 148, 3, 2, 2, 2, 920, 921, 7, 73, 2, 2, 921, 922, 7, 536 84, 2, 2, 922, 923, 7, 81, 2, 2, 923, 924, 7, 87, 2, 2, 924, 925, 7, 82, 537 2, 2, 925, 926, 7, 75, 2, 2, 926, 927, 7, 80, 2, 2, 927, 928, 7, 73, 2, 538 2, 928, 150, 3, 2, 2, 2, 929, 930, 7, 74, 2, 2, 930, 931, 7, 67, 2, 2, 539 931, 932, 7, 88, 2, 2, 932, 933, 7, 75, 2, 2, 933, 934, 7, 80, 2, 2, 934, 540 935, 7, 73, 2, 2, 935, 152, 3, 2, 2, 2, 936, 937, 7, 74, 2, 2, 937, 938, 541 7, 81, 2, 2, 938, 939, 7, 87, 2, 2, 939, 940, 7, 84, 2, 2, 940, 154, 3, 542 2, 2, 2, 941, 942, 7, 75, 2, 2, 942, 943, 7, 72, 2, 2, 943, 156, 3, 2, 543 2, 2, 944, 945, 7, 75, 2, 2, 945, 946, 7, 80, 2, 2, 946, 158, 3, 2, 2, 544 2, 947, 948, 7, 75, 2, 2, 948, 949, 7, 80, 2, 2, 949, 950, 7, 69, 2, 2, 545 950, 951, 7, 78, 2, 2, 951, 952, 7, 87, 2, 2, 952, 953, 7, 70, 2, 2, 953, 546 954, 7, 75, 2, 2, 954, 955, 7, 80, 2, 2, 955, 956, 7, 73, 2, 2, 956, 160, 547 3, 2, 2, 2, 957, 958, 7, 75, 2, 2, 958, 959, 7, 80, 2, 2, 959, 960, 7, 548 80, 2, 2, 960, 961, 7, 71, 2, 2, 961, 962, 7, 84, 2, 2, 962, 162, 3, 2, 549 2, 2, 963, 964, 7, 75, 2, 2, 964, 965, 7, 80, 2, 2, 965, 966, 7, 82, 2, 550 2, 966, 967, 7, 87, 2, 2, 967, 968, 7, 86, 2, 2, 968, 164, 3, 2, 2, 2, 551 969, 970, 7, 75, 2, 2, 970, 971, 7, 80, 2, 2, 971, 972, 7, 85, 2, 2, 972, 552 973, 7, 71, 2, 2, 973, 974, 7, 84, 2, 2, 974, 975, 7, 86, 2, 2, 975, 166, 553 3, 2, 2, 2, 976, 977, 7, 75, 2, 2, 977, 978, 7, 80, 2, 2, 978, 979, 7, 554 86, 2, 2, 979, 980, 7, 71, 2, 2, 980, 981, 7, 73, 2, 2, 981, 982, 7, 71, 555 2, 2, 982, 983, 7, 84, 2, 2, 983, 168, 3, 2, 2, 2, 984, 985, 7, 75, 2, 556 2, 985, 986, 7, 80, 2, 2, 986, 987, 7, 86, 2, 2, 987, 988, 7, 71, 2, 2, 557 988, 989, 7, 84, 2, 2, 989, 990, 7, 85, 2, 2, 990, 991, 7, 71, 2, 2, 991, 558 992, 7, 69, 2, 2, 992, 993, 7, 86, 2, 2, 993, 170, 3, 2, 2, 2, 994, 995, 559 7, 75, 2, 2, 995, 996, 7, 80, 2, 2, 996, 997, 7, 86, 2, 2, 997, 998, 7, 560 71, 2, 2, 998, 999, 7, 84, 2, 2, 999, 1000, 7, 88, 2, 2, 1000, 1001, 7, 561 67, 2, 2, 1001, 1002, 7, 78, 2, 2, 1002, 172, 3, 2, 2, 2, 1003, 1004, 7, 562 75, 2, 2, 1004, 1005, 7, 80, 2, 2, 1005, 1006, 7, 86, 2, 2, 1006, 1007, 563 7, 81, 2, 2, 1007, 174, 3, 2, 2, 2, 1008, 1009, 7, 75, 2, 2, 1009, 1010, 564 7, 85, 2, 2, 1010, 176, 3, 2, 2, 2, 1011, 1012, 7, 76, 2, 2, 1012, 1013, 565 7, 81, 2, 2, 1013, 1014, 7, 75, 2, 2, 1014, 1015, 7, 80, 2, 2, 1015, 178, 566 3, 2, 2, 2, 1016, 1017, 7, 78, 2, 2, 1017, 1018, 7, 67, 2, 2, 1018, 1019, 567 7, 85, 2, 2, 1019, 1020, 7, 86, 2, 2, 1020, 180, 3, 2, 2, 2, 1021, 1022, 568 7, 78, 2, 2, 1022, 1023, 7, 67, 2, 2, 1023, 1024, 7, 86, 2, 2, 1024, 1025, 569 7, 71, 2, 2, 1025, 1026, 7, 84, 2, 2, 1026, 1027, 7, 67, 2, 2, 1027, 1028, 570 7, 78, 2, 2, 1028, 182, 3, 2, 2, 2, 1029, 1030, 7, 78, 2, 2, 1030, 1031, 571 7, 71, 2, 2, 1031, 1032, 7, 72, 2, 2, 1032, 1033, 7, 86, 2, 2, 1033, 184, 572 3, 2, 2, 2, 1034, 1035, 7, 78, 2, 2, 1035, 1036, 7, 71, 2, 2, 1036, 1037, 573 7, 88, 2, 2, 1037, 1038, 7, 71, 2, 2, 1038, 1039, 7, 78, 2, 2, 1039, 186, 574 3, 2, 2, 2, 1040, 1041, 7, 78, 2, 2, 1041, 1042, 7, 75, 2, 2, 1042, 1043, 575 7, 77, 2, 2, 1043, 1044, 7, 71, 2, 2, 1044, 188, 3, 2, 2, 2, 1045, 1046, 576 7, 78, 2, 2, 1046, 1047, 7, 75, 2, 2, 1047, 1048, 7, 79, 2, 2, 1048, 1049, 577 7, 75, 2, 2, 1049, 1050, 7, 86, 2, 2, 1050, 190, 3, 2, 2, 2, 1051, 1052, 578 7, 78, 2, 2, 1052, 1053, 7, 81, 2, 2, 1053, 1054, 7, 69, 2, 2, 1054, 1055, 579 7, 67, 2, 2, 1055, 1056, 7, 78, 2, 2, 1056, 1057, 7, 86, 2, 2, 1057, 1058, 580 7, 75, 2, 2, 1058, 1059, 7, 79, 2, 2, 1059, 1060, 7, 71, 2, 2, 1060, 192, 581 3, 2, 2, 2, 1061, 1062, 7, 78, 2, 2, 1062, 1063, 7, 81, 2, 2, 1063, 1064, 582 7, 69, 2, 2, 1064, 1065, 7, 67, 2, 2, 1065, 1066, 7, 78, 2, 2, 1066, 1067, 583 7, 86, 2, 2, 1067, 1068, 7, 75, 2, 2, 1068, 1069, 7, 79, 2, 2, 1069, 1070, 584 7, 71, 2, 2, 1070, 1071, 7, 85, 2, 2, 1071, 1072, 7, 86, 2, 2, 1072, 1073, 585 7, 67, 2, 2, 1073, 1074, 7, 79, 2, 2, 1074, 1075, 7, 82, 2, 2, 1075, 194, 586 3, 2, 2, 2, 1076, 1077, 7, 78, 2, 2, 1077, 1078, 7, 81, 2, 2, 1078, 1079, 587 7, 73, 2, 2, 1079, 1080, 7, 75, 2, 2, 1080, 1081, 7, 69, 2, 2, 1081, 1082, 588 7, 67, 2, 2, 1082, 1083, 7, 78, 2, 2, 1083, 196, 3, 2, 2, 2, 1084, 1085, 589 7, 79, 2, 2, 1085, 1086, 7, 67, 2, 2, 1086, 1087, 7, 82, 2, 2, 1087, 198, 590 3, 2, 2, 2, 1088, 1089, 7, 79, 2, 2, 1089, 1090, 7, 75, 2, 2, 1090, 1091, 591 7, 80, 2, 2, 1091, 1092, 7, 87, 2, 2, 1092, 1093, 7, 86, 2, 2, 1093, 1094, 592 7, 71, 2, 2, 1094, 200, 3, 2, 2, 2, 1095, 1096, 7, 79, 2, 2, 1096, 1097, 593 7, 81, 2, 2, 1097, 1098, 7, 80, 2, 2, 1098, 1099, 7, 86, 2, 2, 1099, 1100, 594 7, 74, 2, 2, 1100, 202, 3, 2, 2, 2, 1101, 1102, 7, 80, 2, 2, 1102, 1103, 595 7, 67, 2, 2, 1103, 1104, 7, 86, 2, 2, 1104, 1105, 7, 87, 2, 2, 1105, 1106, 596 7, 84, 2, 2, 1106, 1107, 7, 67, 2, 2, 1107, 1108, 7, 78, 2, 2, 1108, 204, 597 3, 2, 2, 2, 1109, 1110, 7, 80, 2, 2, 1110, 1111, 7, 72, 2, 2, 1111, 1112, 598 7, 69, 2, 2, 1112, 206, 3, 2, 2, 2, 1113, 1114, 7, 80, 2, 2, 1114, 1115, 599 7, 72, 2, 2, 1115, 1116, 7, 70, 2, 2, 1116, 208, 3, 2, 2, 2, 1117, 1118, 600 7, 80, 2, 2, 1118, 1119, 7, 72, 2, 2, 1119, 1120, 7, 77, 2, 2, 1120, 1121, 601 7, 69, 2, 2, 1121, 210, 3, 2, 2, 2, 1122, 1123, 7, 80, 2, 2, 1123, 1124, 602 7, 72, 2, 2, 1124, 1125, 7, 77, 2, 2, 1125, 1126, 7, 70, 2, 2, 1126, 212, 603 3, 2, 2, 2, 1127, 1128, 7, 80, 2, 2, 1128, 1129, 7, 81, 2, 2, 1129, 214, 604 3, 2, 2, 2, 1130, 1131, 7, 80, 2, 2, 1131, 1132, 7, 81, 2, 2, 1132, 1133, 605 7, 84, 2, 2, 1133, 1134, 7, 79, 2, 2, 1134, 1135, 7, 67, 2, 2, 1135, 1136, 606 7, 78, 2, 2, 1136, 1137, 7, 75, 2, 2, 1137, 1138, 7, 92, 2, 2, 1138, 1139, 607 7, 71, 2, 2, 1139, 216, 3, 2, 2, 2, 1140, 1141, 7, 80, 2, 2, 1141, 1142, 608 7, 81, 2, 2, 1142, 1143, 7, 86, 2, 2, 1143, 218, 3, 2, 2, 2, 1144, 1145, 609 7, 80, 2, 2, 1145, 1146, 7, 87, 2, 2, 1146, 1147, 7, 78, 2, 2, 1147, 1148, 610 7, 78, 2, 2, 1148, 220, 3, 2, 2, 2, 1149, 1150, 7, 80, 2, 2, 1150, 1151, 611 7, 87, 2, 2, 1151, 1152, 7, 78, 2, 2, 1152, 1153, 7, 78, 2, 2, 1153, 1154, 612 7, 75, 2, 2, 1154, 1155, 7, 72, 2, 2, 1155, 222, 3, 2, 2, 2, 1156, 1157, 613 7, 80, 2, 2, 1157, 1158, 7, 87, 2, 2, 1158, 1159, 7, 78, 2, 2, 1159, 1160, 614 7, 78, 2, 2, 1160, 1161, 7, 85, 2, 2, 1161, 224, 3, 2, 2, 2, 1162, 1163, 615 7, 81, 2, 2, 1163, 1164, 7, 80, 2, 2, 1164, 226, 3, 2, 2, 2, 1165, 1166, 616 7, 81, 2, 2, 1166, 1167, 7, 80, 2, 2, 1167, 1168, 7, 78, 2, 2, 1168, 1169, 617 7, 91, 2, 2, 1169, 228, 3, 2, 2, 2, 1170, 1171, 7, 81, 2, 2, 1171, 1172, 618 7, 82, 2, 2, 1172, 1173, 7, 86, 2, 2, 1173, 1174, 7, 75, 2, 2, 1174, 1175, 619 7, 81, 2, 2, 1175, 1176, 7, 80, 2, 2, 1176, 230, 3, 2, 2, 2, 1177, 1178, 620 7, 81, 2, 2, 1178, 1179, 7, 84, 2, 2, 1179, 232, 3, 2, 2, 2, 1180, 1181, 621 7, 81, 2, 2, 1181, 1182, 7, 84, 2, 2, 1182, 1183, 7, 70, 2, 2, 1183, 1184, 622 7, 71, 2, 2, 1184, 1185, 7, 84, 2, 2, 1185, 234, 3, 2, 2, 2, 1186, 1187, 623 7, 81, 2, 2, 1187, 1188, 7, 84, 2, 2, 1188, 1189, 7, 70, 2, 2, 1189, 1190, 624 7, 75, 2, 2, 1190, 1191, 7, 80, 2, 2, 1191, 1192, 7, 67, 2, 2, 1192, 1193, 625 7, 78, 2, 2, 1193, 1194, 7, 75, 2, 2, 1194, 1195, 7, 86, 2, 2, 1195, 1196, 626 7, 91, 2, 2, 1196, 236, 3, 2, 2, 2, 1197, 1198, 7, 81, 2, 2, 1198, 1199, 627 7, 87, 2, 2, 1199, 1200, 7, 86, 2, 2, 1200, 1201, 7, 71, 2, 2, 1201, 1202, 628 7, 84, 2, 2, 1202, 238, 3, 2, 2, 2, 1203, 1204, 7, 81, 2, 2, 1204, 1205, 629 7, 87, 2, 2, 1205, 1206, 7, 86, 2, 2, 1206, 1207, 7, 82, 2, 2, 1207, 1208, 630 7, 87, 2, 2, 1208, 1209, 7, 86, 2, 2, 1209, 240, 3, 2, 2, 2, 1210, 1211, 631 7, 81, 2, 2, 1211, 1212, 7, 88, 2, 2, 1212, 1213, 7, 71, 2, 2, 1213, 1214, 632 7, 84, 2, 2, 1214, 242, 3, 2, 2, 2, 1215, 1216, 7, 82, 2, 2, 1216, 1217, 633 7, 67, 2, 2, 1217, 1218, 7, 84, 2, 2, 1218, 1219, 7, 86, 2, 2, 1219, 1220, 634 7, 75, 2, 2, 1220, 1221, 7, 86, 2, 2, 1221, 1222, 7, 75, 2, 2, 1222, 1223, 635 7, 81, 2, 2, 1223, 1224, 7, 80, 2, 2, 1224, 244, 3, 2, 2, 2, 1225, 1226, 636 7, 82, 2, 2, 1226, 1227, 7, 67, 2, 2, 1227, 1228, 7, 84, 2, 2, 1228, 1229, 637 7, 86, 2, 2, 1229, 1230, 7, 75, 2, 2, 1230, 1231, 7, 86, 2, 2, 1231, 1232, 638 7, 75, 2, 2, 1232, 1233, 7, 81, 2, 2, 1233, 1234, 7, 80, 2, 2, 1234, 1235, 639 7, 85, 2, 2, 1235, 246, 3, 2, 2, 2, 1236, 1237, 7, 82, 2, 2, 1237, 1238, 640 7, 81, 2, 2, 1238, 1239, 7, 85, 2, 2, 1239, 1240, 7, 75, 2, 2, 1240, 1241, 641 7, 86, 2, 2, 1241, 1242, 7, 75, 2, 2, 1242, 1243, 7, 81, 2, 2, 1243, 1244, 642 7, 80, 2, 2, 1244, 248, 3, 2, 2, 2, 1245, 1246, 7, 82, 2, 2, 1246, 1247, 643 7, 84, 2, 2, 1247, 1248, 7, 71, 2, 2, 1248, 1249, 7, 69, 2, 2, 1249, 1250, 644 7, 71, 2, 2, 1250, 1251, 7, 70, 2, 2, 1251, 1252, 7, 75, 2, 2, 1252, 1253, 645 7, 80, 2, 2, 1253, 1254, 7, 73, 2, 2, 1254, 250, 3, 2, 2, 2, 1255, 1256, 646 7, 82, 2, 2, 1256, 1257, 7, 84, 2, 2, 1257, 1258, 7, 71, 2, 2, 1258, 1259, 647 7, 82, 2, 2, 1259, 1260, 7, 67, 2, 2, 1260, 1261, 7, 84, 2, 2, 1261, 1262, 648 7, 71, 2, 2, 1262, 252, 3, 2, 2, 2, 1263, 1264, 7, 82, 2, 2, 1264, 1265, 649 7, 84, 2, 2, 1265, 1266, 7, 75, 2, 2, 1266, 1267, 7, 88, 2, 2, 1267, 1268, 650 7, 75, 2, 2, 1268, 1269, 7, 78, 2, 2, 1269, 1270, 7, 71, 2, 2, 1270, 1271, 651 7, 73, 2, 2, 1271, 1272, 7, 71, 2, 2, 1272, 1273, 7, 85, 2, 2, 1273, 254, 652 3, 2, 2, 2, 1274, 1275, 7, 82, 2, 2, 1275, 1276, 7, 84, 2, 2, 1276, 1277, 653 7, 81, 2, 2, 1277, 1278, 7, 82, 2, 2, 1278, 1279, 7, 71, 2, 2, 1279, 1280, 654 7, 84, 2, 2, 1280, 1281, 7, 86, 2, 2, 1281, 1282, 7, 75, 2, 2, 1282, 1283, 655 7, 71, 2, 2, 1283, 1284, 7, 85, 2, 2, 1284, 256, 3, 2, 2, 2, 1285, 1286, 656 7, 82, 2, 2, 1286, 1287, 7, 87, 2, 2, 1287, 1288, 7, 68, 2, 2, 1288, 1289, 657 7, 78, 2, 2, 1289, 1290, 7, 75, 2, 2, 1290, 1291, 7, 69, 2, 2, 1291, 258, 658 3, 2, 2, 2, 1292, 1293, 7, 84, 2, 2, 1293, 1294, 7, 67, 2, 2, 1294, 1295, 659 7, 80, 2, 2, 1295, 1296, 7, 73, 2, 2, 1296, 1297, 7, 71, 2, 2, 1297, 260, 660 3, 2, 2, 2, 1298, 1299, 7, 84, 2, 2, 1299, 1300, 7, 71, 2, 2, 1300, 1301, 661 7, 67, 2, 2, 1301, 1302, 7, 70, 2, 2, 1302, 262, 3, 2, 2, 2, 1303, 1304, 662 7, 84, 2, 2, 1304, 1305, 7, 71, 2, 2, 1305, 1306, 7, 69, 2, 2, 1306, 1307, 663 7, 87, 2, 2, 1307, 1308, 7, 84, 2, 2, 1308, 1309, 7, 85, 2, 2, 1309, 1310, 664 7, 75, 2, 2, 1310, 1311, 7, 88, 2, 2, 1311, 1312, 7, 71, 2, 2, 1312, 264, 665 3, 2, 2, 2, 1313, 1314, 7, 84, 2, 2, 1314, 1315, 7, 71, 2, 2, 1315, 1316, 666 7, 80, 2, 2, 1316, 1317, 7, 67, 2, 2, 1317, 1318, 7, 79, 2, 2, 1318, 1319, 667 7, 71, 2, 2, 1319, 266, 3, 2, 2, 2, 1320, 1321, 7, 84, 2, 2, 1321, 1322, 668 7, 71, 2, 2, 1322, 1323, 7, 82, 2, 2, 1323, 1324, 7, 71, 2, 2, 1324, 1325, 669 7, 67, 2, 2, 1325, 1326, 7, 86, 2, 2, 1326, 1327, 7, 67, 2, 2, 1327, 1328, 670 7, 68, 2, 2, 1328, 1329, 7, 78, 2, 2, 1329, 1330, 7, 71, 2, 2, 1330, 268, 671 3, 2, 2, 2, 1331, 1332, 7, 84, 2, 2, 1332, 1333, 7, 71, 2, 2, 1333, 1334, 672 7, 82, 2, 2, 1334, 1335, 7, 78, 2, 2, 1335, 1336, 7, 67, 2, 2, 1336, 1337, 673 7, 69, 2, 2, 1337, 1338, 7, 71, 2, 2, 1338, 270, 3, 2, 2, 2, 1339, 1340, 674 7, 84, 2, 2, 1340, 1341, 7, 71, 2, 2, 1341, 1342, 7, 85, 2, 2, 1342, 1343, 675 7, 71, 2, 2, 1343, 1344, 7, 86, 2, 2, 1344, 272, 3, 2, 2, 2, 1345, 1346, 676 7, 84, 2, 2, 1346, 1347, 7, 71, 2, 2, 1347, 1348, 7, 85, 2, 2, 1348, 1349, 677 7, 86, 2, 2, 1349, 1350, 7, 84, 2, 2, 1350, 1351, 7, 75, 2, 2, 1351, 1352, 678 7, 69, 2, 2, 1352, 1353, 7, 86, 2, 2, 1353, 274, 3, 2, 2, 2, 1354, 1355, 679 7, 84, 2, 2, 1355, 1356, 7, 71, 2, 2, 1356, 1357, 7, 88, 2, 2, 1357, 1358, 680 7, 81, 2, 2, 1358, 1359, 7, 77, 2, 2, 1359, 1360, 7, 71, 2, 2, 1360, 276, 681 3, 2, 2, 2, 1361, 1362, 7, 84, 2, 2, 1362, 1363, 7, 75, 2, 2, 1363, 1364, 682 7, 73, 2, 2, 1364, 1365, 7, 74, 2, 2, 1365, 1366, 7, 86, 2, 2, 1366, 278, 683 3, 2, 2, 2, 1367, 1368, 7, 84, 2, 2, 1368, 1369, 7, 81, 2, 2, 1369, 1370, 684 7, 78, 2, 2, 1370, 1371, 7, 78, 2, 2, 1371, 1372, 7, 68, 2, 2, 1372, 1373, 685 7, 67, 2, 2, 1373, 1374, 7, 69, 2, 2, 1374, 1375, 7, 77, 2, 2, 1375, 280, 686 3, 2, 2, 2, 1376, 1377, 7, 84, 2, 2, 1377, 1378, 7, 81, 2, 2, 1378, 1379, 687 7, 78, 2, 2, 1379, 1380, 7, 78, 2, 2, 1380, 1381, 7, 87, 2, 2, 1381, 1382, 688 7, 82, 2, 2, 1382, 282, 3, 2, 2, 2, 1383, 1384, 7, 84, 2, 2, 1384, 1385, 689 7, 81, 2, 2, 1385, 1386, 7, 89, 2, 2, 1386, 284, 3, 2, 2, 2, 1387, 1388, 690 7, 84, 2, 2, 1388, 1389, 7, 81, 2, 2, 1389, 1390, 7, 89, 2, 2, 1390, 1391, 691 7, 85, 2, 2, 1391, 286, 3, 2, 2, 2, 1392, 1393, 7, 85, 2, 2, 1393, 1394, 692 7, 69, 2, 2, 1394, 1395, 7, 74, 2, 2, 1395, 1396, 7, 71, 2, 2, 1396, 1397, 693 7, 79, 2, 2, 1397, 1398, 7, 67, 2, 2, 1398, 288, 3, 2, 2, 2, 1399, 1400, 694 7, 85, 2, 2, 1400, 1401, 7, 69, 2, 2, 1401, 1402, 7, 74, 2, 2, 1402, 1403, 695 7, 71, 2, 2, 1403, 1404, 7, 79, 2, 2, 1404, 1405, 7, 67, 2, 2, 1405, 1406, 696 7, 85, 2, 2, 1406, 290, 3, 2, 2, 2, 1407, 1408, 7, 85, 2, 2, 1408, 1409, 697 7, 71, 2, 2, 1409, 1410, 7, 69, 2, 2, 1410, 1411, 7, 81, 2, 2, 1411, 1412, 698 7, 80, 2, 2, 1412, 1413, 7, 70, 2, 2, 1413, 292, 3, 2, 2, 2, 1414, 1415, 699 7, 85, 2, 2, 1415, 1416, 7, 71, 2, 2, 1416, 1417, 7, 78, 2, 2, 1417, 1418, 700 7, 71, 2, 2, 1418, 1419, 7, 69, 2, 2, 1419, 1420, 7, 86, 2, 2, 1420, 294, 701 3, 2, 2, 2, 1421, 1422, 7, 85, 2, 2, 1422, 1423, 7, 71, 2, 2, 1423, 1424, 702 7, 84, 2, 2, 1424, 1425, 7, 75, 2, 2, 1425, 1426, 7, 67, 2, 2, 1426, 1427, 703 7, 78, 2, 2, 1427, 1428, 7, 75, 2, 2, 1428, 1429, 7, 92, 2, 2, 1429, 1430, 704 7, 67, 2, 2, 1430, 1431, 7, 68, 2, 2, 1431, 1432, 7, 78, 2, 2, 1432, 1433, 705 7, 71, 2, 2, 1433, 296, 3, 2, 2, 2, 1434, 1435, 7, 85, 2, 2, 1435, 1436, 706 7, 71, 2, 2, 1436, 1437, 7, 85, 2, 2, 1437, 1438, 7, 85, 2, 2, 1438, 1439, 707 7, 75, 2, 2, 1439, 1440, 7, 81, 2, 2, 1440, 1441, 7, 80, 2, 2, 1441, 298, 708 3, 2, 2, 2, 1442, 1443, 7, 85, 2, 2, 1443, 1444, 7, 71, 2, 2, 1444, 1445, 709 7, 86, 2, 2, 1445, 300, 3, 2, 2, 2, 1446, 1447, 7, 85, 2, 2, 1447, 1448, 710 7, 71, 2, 2, 1448, 1449, 7, 86, 2, 2, 1449, 1450, 7, 85, 2, 2, 1450, 302, 711 3, 2, 2, 2, 1451, 1452, 7, 85, 2, 2, 1452, 1453, 7, 74, 2, 2, 1453, 1454, 712 7, 81, 2, 2, 1454, 1455, 7, 89, 2, 2, 1455, 304, 3, 2, 2, 2, 1456, 1457, 713 7, 85, 2, 2, 1457, 1458, 7, 79, 2, 2, 1458, 1459, 7, 67, 2, 2, 1459, 1460, 714 7, 78, 2, 2, 1460, 1461, 7, 78, 2, 2, 1461, 1462, 7, 75, 2, 2, 1462, 1463, 715 7, 80, 2, 2, 1463, 1464, 7, 86, 2, 2, 1464, 306, 3, 2, 2, 2, 1465, 1466, 716 7, 85, 2, 2, 1466, 1467, 7, 81, 2, 2, 1467, 1468, 7, 79, 2, 2, 1468, 1469, 717 7, 71, 2, 2, 1469, 308, 3, 2, 2, 2, 1470, 1471, 7, 85, 2, 2, 1471, 1472, 718 7, 86, 2, 2, 1472, 1473, 7, 67, 2, 2, 1473, 1474, 7, 84, 2, 2, 1474, 1475, 719 7, 86, 2, 2, 1475, 310, 3, 2, 2, 2, 1476, 1477, 7, 85, 2, 2, 1477, 1478, 720 7, 86, 2, 2, 1478, 1479, 7, 67, 2, 2, 1479, 1480, 7, 86, 2, 2, 1480, 1481, 721 7, 85, 2, 2, 1481, 312, 3, 2, 2, 2, 1482, 1483, 7, 85, 2, 2, 1483, 1484, 722 7, 87, 2, 2, 1484, 1485, 7, 68, 2, 2, 1485, 1486, 7, 85, 2, 2, 1486, 1487, 723 7, 86, 2, 2, 1487, 1488, 7, 84, 2, 2, 1488, 1489, 7, 75, 2, 2, 1489, 1490, 724 7, 80, 2, 2, 1490, 1491, 7, 73, 2, 2, 1491, 314, 3, 2, 2, 2, 1492, 1493, 725 7, 85, 2, 2, 1493, 1494, 7, 91, 2, 2, 1494, 1495, 7, 85, 2, 2, 1495, 1496, 726 7, 86, 2, 2, 1496, 1497, 7, 71, 2, 2, 1497, 1498, 7, 79, 2, 2, 1498, 316, 727 3, 2, 2, 2, 1499, 1500, 7, 86, 2, 2, 1500, 1501, 7, 67, 2, 2, 1501, 1502, 728 7, 68, 2, 2, 1502, 1503, 7, 78, 2, 2, 1503, 1504, 7, 71, 2, 2, 1504, 318, 729 3, 2, 2, 2, 1505, 1506, 7, 86, 2, 2, 1506, 1507, 7, 67, 2, 2, 1507, 1508, 730 7, 68, 2, 2, 1508, 1509, 7, 78, 2, 2, 1509, 1510, 7, 71, 2, 2, 1510, 1511, 731 7, 85, 2, 2, 1511, 320, 3, 2, 2, 2, 1512, 1513, 7, 86, 2, 2, 1513, 1514, 732 7, 67, 2, 2, 1514, 1515, 7, 68, 2, 2, 1515, 1516, 7, 78, 2, 2, 1516, 1517, 733 7, 71, 2, 2, 1517, 1518, 7, 85, 2, 2, 1518, 1519, 7, 67, 2, 2, 1519, 1520, 734 7, 79, 2, 2, 1520, 1521, 7, 82, 2, 2, 1521, 1522, 7, 78, 2, 2, 1522, 1523, 735 7, 71, 2, 2, 1523, 322, 3, 2, 2, 2, 1524, 1525, 7, 86, 2, 2, 1525, 1526, 736 7, 71, 2, 2, 1526, 1527, 7, 90, 2, 2, 1527, 1528, 7, 86, 2, 2, 1528, 324, 737 3, 2, 2, 2, 1529, 1530, 7, 86, 2, 2, 1530, 1531, 7, 74, 2, 2, 1531, 1532, 738 7, 71, 2, 2, 1532, 1533, 7, 80, 2, 2, 1533, 326, 3, 2, 2, 2, 1534, 1535, 739 7, 86, 2, 2, 1535, 1536, 7, 75, 2, 2, 1536, 1537, 7, 79, 2, 2, 1537, 1538, 740 7, 71, 2, 2, 1538, 328, 3, 2, 2, 2, 1539, 1540, 7, 86, 2, 2, 1540, 1541, 741 7, 75, 2, 2, 1541, 1542, 7, 79, 2, 2, 1542, 1543, 7, 71, 2, 2, 1543, 1544, 742 7, 85, 2, 2, 1544, 1545, 7, 86, 2, 2, 1545, 1546, 7, 67, 2, 2, 1546, 1547, 743 7, 79, 2, 2, 1547, 1548, 7, 82, 2, 2, 1548, 330, 3, 2, 2, 2, 1549, 1550, 744 7, 86, 2, 2, 1550, 1551, 7, 75, 2, 2, 1551, 1552, 7, 80, 2, 2, 1552, 1553, 745 7, 91, 2, 2, 1553, 1554, 7, 75, 2, 2, 1554, 1555, 7, 80, 2, 2, 1555, 1556, 746 7, 86, 2, 2, 1556, 332, 3, 2, 2, 2, 1557, 1558, 7, 86, 2, 2, 1558, 1559, 747 7, 81, 2, 2, 1559, 334, 3, 2, 2, 2, 1560, 1561, 7, 86, 2, 2, 1561, 1562, 748 7, 84, 2, 2, 1562, 1563, 7, 87, 2, 2, 1563, 1564, 7, 71, 2, 2, 1564, 336, 749 3, 2, 2, 2, 1565, 1566, 7, 86, 2, 2, 1566, 1567, 7, 84, 2, 2, 1567, 1568, 750 7, 91, 2, 2, 1568, 1569, 7, 97, 2, 2, 1569, 1570, 7, 69, 2, 2, 1570, 1571, 751 7, 67, 2, 2, 1571, 1572, 7, 85, 2, 2, 1572, 1573, 7, 86, 2, 2, 1573, 338, 752 3, 2, 2, 2, 1574, 1575, 7, 86, 2, 2, 1575, 1576, 7, 91, 2, 2, 1576, 1577, 753 7, 82, 2, 2, 1577, 1578, 7, 71, 2, 2, 1578, 340, 3, 2, 2, 2, 1579, 1580, 754 7, 87, 2, 2, 1580, 1581, 7, 71, 2, 2, 1581, 1582, 7, 85, 2, 2, 1582, 1583, 755 7, 69, 2, 2, 1583, 1584, 7, 67, 2, 2, 1584, 1585, 7, 82, 2, 2, 1585, 1586, 756 7, 71, 2, 2, 1586, 342, 3, 2, 2, 2, 1587, 1588, 7, 87, 2, 2, 1588, 1589, 757 7, 80, 2, 2, 1589, 1590, 7, 68, 2, 2, 1590, 1591, 7, 81, 2, 2, 1591, 1592, 758 7, 87, 2, 2, 1592, 1593, 7, 80, 2, 2, 1593, 1594, 7, 70, 2, 2, 1594, 1595, 759 7, 71, 2, 2, 1595, 1596, 7, 70, 2, 2, 1596, 344, 3, 2, 2, 2, 1597, 1598, 760 7, 87, 2, 2, 1598, 1599, 7, 80, 2, 2, 1599, 1600, 7, 69, 2, 2, 1600, 1601, 761 7, 81, 2, 2, 1601, 1602, 7, 79, 2, 2, 1602, 1603, 7, 79, 2, 2, 1603, 1604, 762 7, 75, 2, 2, 1604, 1605, 7, 86, 2, 2, 1605, 1606, 7, 86, 2, 2, 1606, 1607, 763 7, 71, 2, 2, 1607, 1608, 7, 70, 2, 2, 1608, 346, 3, 2, 2, 2, 1609, 1610, 764 7, 87, 2, 2, 1610, 1611, 7, 80, 2, 2, 1611, 1612, 7, 75, 2, 2, 1612, 1613, 765 7, 81, 2, 2, 1613, 1614, 7, 80, 2, 2, 1614, 348, 3, 2, 2, 2, 1615, 1616, 766 7, 87, 2, 2, 1616, 1617, 7, 80, 2, 2, 1617, 1618, 7, 80, 2, 2, 1618, 1619, 767 7, 71, 2, 2, 1619, 1620, 7, 85, 2, 2, 1620, 1621, 7, 86, 2, 2, 1621, 350, 768 3, 2, 2, 2, 1622, 1623, 7, 87, 2, 2, 1623, 1624, 7, 85, 2, 2, 1624, 1625, 769 7, 71, 2, 2, 1625, 352, 3, 2, 2, 2, 1626, 1627, 7, 87, 2, 2, 1627, 1628, 770 7, 85, 2, 2, 1628, 1629, 7, 75, 2, 2, 1629, 1630, 7, 80, 2, 2, 1630, 1631, 771 7, 73, 2, 2, 1631, 354, 3, 2, 2, 2, 1632, 1633, 7, 88, 2, 2, 1633, 1634, 772 7, 67, 2, 2, 1634, 1635, 7, 78, 2, 2, 1635, 1636, 7, 75, 2, 2, 1636, 1637, 773 7, 70, 2, 2, 1637, 1638, 7, 67, 2, 2, 1638, 1639, 7, 86, 2, 2, 1639, 1640, 774 7, 71, 2, 2, 1640, 356, 3, 2, 2, 2, 1641, 1642, 7, 88, 2, 2, 1642, 1643, 775 7, 67, 2, 2, 1643, 1644, 7, 78, 2, 2, 1644, 1645, 7, 87, 2, 2, 1645, 1646, 776 7, 71, 2, 2, 1646, 1647, 7, 85, 2, 2, 1647, 358, 3, 2, 2, 2, 1648, 1649, 777 7, 88, 2, 2, 1649, 1650, 7, 71, 2, 2, 1650, 1651, 7, 84, 2, 2, 1651, 1652, 778 7, 68, 2, 2, 1652, 1653, 7, 81, 2, 2, 1653, 1654, 7, 85, 2, 2, 1654, 1655, 779 7, 71, 2, 2, 1655, 360, 3, 2, 2, 2, 1656, 1657, 7, 88, 2, 2, 1657, 1658, 780 7, 75, 2, 2, 1658, 1659, 7, 71, 2, 2, 1659, 1660, 7, 89, 2, 2, 1660, 362, 781 3, 2, 2, 2, 1661, 1662, 7, 89, 2, 2, 1662, 1663, 7, 74, 2, 2, 1663, 1664, 782 7, 71, 2, 2, 1664, 1665, 7, 80, 2, 2, 1665, 364, 3, 2, 2, 2, 1666, 1667, 783 7, 89, 2, 2, 1667, 1668, 7, 74, 2, 2, 1668, 1669, 7, 71, 2, 2, 1669, 1670, 784 7, 84, 2, 2, 1670, 1671, 7, 71, 2, 2, 1671, 366, 3, 2, 2, 2, 1672, 1673, 785 7, 89, 2, 2, 1673, 1674, 7, 75, 2, 2, 1674, 1675, 7, 86, 2, 2, 1675, 1676, 786 7, 74, 2, 2, 1676, 368, 3, 2, 2, 2, 1677, 1678, 7, 89, 2, 2, 1678, 1679, 787 7, 81, 2, 2, 1679, 1680, 7, 84, 2, 2, 1680, 1681, 7, 77, 2, 2, 1681, 370, 788 3, 2, 2, 2, 1682, 1683, 7, 89, 2, 2, 1683, 1684, 7, 84, 2, 2, 1684, 1685, 789 7, 75, 2, 2, 1685, 1686, 7, 86, 2, 2, 1686, 1687, 7, 71, 2, 2, 1687, 372, 790 3, 2, 2, 2, 1688, 1689, 7, 91, 2, 2, 1689, 1690, 7, 71, 2, 2, 1690, 1691, 791 7, 67, 2, 2, 1691, 1692, 7, 84, 2, 2, 1692, 374, 3, 2, 2, 2, 1693, 1694, 792 7, 92, 2, 2, 1694, 1695, 7, 81, 2, 2, 1695, 1696, 7, 80, 2, 2, 1696, 1697, 793 7, 71, 2, 2, 1697, 376, 3, 2, 2, 2, 1698, 1699, 7, 63, 2, 2, 1699, 378, 794 3, 2, 2, 2, 1700, 1701, 7, 62, 2, 2, 1701, 1705, 7, 64, 2, 2, 1702, 1703, 795 7, 35, 2, 2, 1703, 1705, 7, 63, 2, 2, 1704, 1700, 3, 2, 2, 2, 1704, 1702, 796 3, 2, 2, 2, 1705, 380, 3, 2, 2, 2, 1706, 1707, 7, 62, 2, 2, 1707, 382, 797 3, 2, 2, 2, 1708, 1709, 7, 62, 2, 2, 1709, 1710, 7, 63, 2, 2, 1710, 384, 798 3, 2, 2, 2, 1711, 1712, 7, 64, 2, 2, 1712, 386, 3, 2, 2, 2, 1713, 1714, 799 7, 64, 2, 2, 1714, 1715, 7, 63, 2, 2, 1715, 388, 3, 2, 2, 2, 1716, 1717, 800 7, 45, 2, 2, 1717, 390, 3, 2, 2, 2, 1718, 1719, 7, 47, 2, 2, 1719, 392, 801 3, 2, 2, 2, 1720, 1721, 7, 44, 2, 2, 1721, 394, 3, 2, 2, 2, 1722, 1723, 802 7, 49, 2, 2, 1723, 396, 3, 2, 2, 2, 1724, 1725, 7, 39, 2, 2, 1725, 398, 803 3, 2, 2, 2, 1726, 1727, 7, 126, 2, 2, 1727, 1728, 7, 126, 2, 2, 1728, 400, 804 3, 2, 2, 2, 1729, 1735, 7, 41, 2, 2, 1730, 1734, 10, 2, 2, 2, 1731, 1732, 805 7, 41, 2, 2, 1732, 1734, 7, 41, 2, 2, 1733, 1730, 3, 2, 2, 2, 1733, 1731, 806 3, 2, 2, 2, 1734, 1737, 3, 2, 2, 2, 1735, 1733, 3, 2, 2, 2, 1735, 1736, 807 3, 2, 2, 2, 1736, 1738, 3, 2, 2, 2, 1737, 1735, 3, 2, 2, 2, 1738, 1739, 808 7, 41, 2, 2, 1739, 402, 3, 2, 2, 2, 1740, 1741, 7, 87, 2, 2, 1741, 1742, 809 7, 40, 2, 2, 1742, 1743, 7, 41, 2, 2, 1743, 1749, 3, 2, 2, 2, 1744, 1748, 810 10, 2, 2, 2, 1745, 1746, 7, 41, 2, 2, 1746, 1748, 7, 41, 2, 2, 1747, 1744, 811 3, 2, 2, 2, 1747, 1745, 3, 2, 2, 2, 1748, 1751, 3, 2, 2, 2, 1749, 1747, 812 3, 2, 2, 2, 1749, 1750, 3, 2, 2, 2, 1750, 1752, 3, 2, 2, 2, 1751, 1749, 813 3, 2, 2, 2, 1752, 1753, 7, 41, 2, 2, 1753, 404, 3, 2, 2, 2, 1754, 1755, 814 7, 90, 2, 2, 1755, 1756, 7, 41, 2, 2, 1756, 1760, 3, 2, 2, 2, 1757, 1759, 815 10, 2, 2, 2, 1758, 1757, 3, 2, 2, 2, 1759, 1762, 3, 2, 2, 2, 1760, 1758, 816 3, 2, 2, 2, 1760, 1761, 3, 2, 2, 2, 1761, 1763, 3, 2, 2, 2, 1762, 1760, 817 3, 2, 2, 2, 1763, 1764, 7, 41, 2, 2, 1764, 406, 3, 2, 2, 2, 1765, 1767, 818 5, 429, 215, 2, 1766, 1765, 3, 2, 2, 2, 1767, 1768, 3, 2, 2, 2, 1768, 1766, 819 3, 2, 2, 2, 1768, 1769, 3, 2, 2, 2, 1769, 408, 3, 2, 2, 2, 1770, 1772, 820 5, 429, 215, 2, 1771, 1770, 3, 2, 2, 2, 1772, 1773, 3, 2, 2, 2, 1773, 1771, 821 3, 2, 2, 2, 1773, 1774, 3, 2, 2, 2, 1774, 1775, 3, 2, 2, 2, 1775, 1779, 822 7, 48, 2, 2, 1776, 1778, 5, 429, 215, 2, 1777, 1776, 3, 2, 2, 2, 1778, 823 1781, 3, 2, 2, 2, 1779, 1777, 3, 2, 2, 2, 1779, 1780, 3, 2, 2, 2, 1780, 824 1789, 3, 2, 2, 2, 1781, 1779, 3, 2, 2, 2, 1782, 1784, 7, 48, 2, 2, 1783, 825 1785, 5, 429, 215, 2, 1784, 1783, 3, 2, 2, 2, 1785, 1786, 3, 2, 2, 2, 1786, 826 1784, 3, 2, 2, 2, 1786, 1787, 3, 2, 2, 2, 1787, 1789, 3, 2, 2, 2, 1788, 827 1771, 3, 2, 2, 2, 1788, 1782, 3, 2, 2, 2, 1789, 410, 3, 2, 2, 2, 1790, 828 1792, 5, 429, 215, 2, 1791, 1790, 3, 2, 2, 2, 1792, 1793, 3, 2, 2, 2, 1793, 829 1791, 3, 2, 2, 2, 1793, 1794, 3, 2, 2, 2, 1794, 1802, 3, 2, 2, 2, 1795, 830 1799, 7, 48, 2, 2, 1796, 1798, 5, 429, 215, 2, 1797, 1796, 3, 2, 2, 2, 831 1798, 1801, 3, 2, 2, 2, 1799, 1797, 3, 2, 2, 2, 1799, 1800, 3, 2, 2, 2, 832 1800, 1803, 3, 2, 2, 2, 1801, 1799, 3, 2, 2, 2, 1802, 1795, 3, 2, 2, 2, 833 1802, 1803, 3, 2, 2, 2, 1803, 1804, 3, 2, 2, 2, 1804, 1805, 5, 427, 214, 834 2, 1805, 1815, 3, 2, 2, 2, 1806, 1808, 7, 48, 2, 2, 1807, 1809, 5, 429, 835 215, 2, 1808, 1807, 3, 2, 2, 2, 1809, 1810, 3, 2, 2, 2, 1810, 1808, 3, 836 2, 2, 2, 1810, 1811, 3, 2, 2, 2, 1811, 1812, 3, 2, 2, 2, 1812, 1813, 5, 837 427, 214, 2, 1813, 1815, 3, 2, 2, 2, 1814, 1791, 3, 2, 2, 2, 1814, 1806, 838 3, 2, 2, 2, 1815, 412, 3, 2, 2, 2, 1816, 1819, 5, 431, 216, 2, 1817, 1819, 839 7, 97, 2, 2, 1818, 1816, 3, 2, 2, 2, 1818, 1817, 3, 2, 2, 2, 1819, 1825, 840 3, 2, 2, 2, 1820, 1824, 5, 431, 216, 2, 1821, 1824, 5, 429, 215, 2, 1822, 841 1824, 9, 3, 2, 2, 1823, 1820, 3, 2, 2, 2, 1823, 1821, 3, 2, 2, 2, 1823, 842 1822, 3, 2, 2, 2, 1824, 1827, 3, 2, 2, 2, 1825, 1823, 3, 2, 2, 2, 1825, 843 1826, 3, 2, 2, 2, 1826, 414, 3, 2, 2, 2, 1827, 1825, 3, 2, 2, 2, 1828, 844 1832, 5, 429, 215, 2, 1829, 1833, 5, 431, 216, 2, 1830, 1833, 5, 429, 215, 845 2, 1831, 1833, 9, 3, 2, 2, 1832, 1829, 3, 2, 2, 2, 1832, 1830, 3, 2, 2, 846 2, 1832, 1831, 3, 2, 2, 2, 1833, 1834, 3, 2, 2, 2, 1834, 1832, 3, 2, 2, 847 2, 1834, 1835, 3, 2, 2, 2, 1835, 416, 3, 2, 2, 2, 1836, 1842, 7, 36, 2, 848 2, 1837, 1841, 10, 4, 2, 2, 1838, 1839, 7, 36, 2, 2, 1839, 1841, 7, 36, 849 2, 2, 1840, 1837, 3, 2, 2, 2, 1840, 1838, 3, 2, 2, 2, 1841, 1844, 3, 2, 850 2, 2, 1842, 1840, 3, 2, 2, 2, 1842, 1843, 3, 2, 2, 2, 1843, 1845, 3, 2, 851 2, 2, 1844, 1842, 3, 2, 2, 2, 1845, 1846, 7, 36, 2, 2, 1846, 418, 3, 2, 852 2, 2, 1847, 1853, 7, 98, 2, 2, 1848, 1852, 10, 5, 2, 2, 1849, 1850, 7, 853 98, 2, 2, 1850, 1852, 7, 98, 2, 2, 1851, 1848, 3, 2, 2, 2, 1851, 1849, 854 3, 2, 2, 2, 1852, 1855, 3, 2, 2, 2, 1853, 1851, 3, 2, 2, 2, 1853, 1854, 855 3, 2, 2, 2, 1854, 1856, 3, 2, 2, 2, 1855, 1853, 3, 2, 2, 2, 1856, 1857, 856 7, 98, 2, 2, 1857, 420, 3, 2, 2, 2, 1858, 1859, 7, 86, 2, 2, 1859, 1860, 857 7, 75, 2, 2, 1860, 1861, 7, 79, 2, 2, 1861, 1862, 7, 71, 2, 2, 1862, 1863, 858 3, 2, 2, 2, 1863, 1864, 5, 437, 219, 2, 1864, 1865, 7, 89, 2, 2, 1865, 859 1866, 7, 75, 2, 2, 1866, 1867, 7, 86, 2, 2, 1867, 1868, 7, 74, 2, 2, 1868, 860 1869, 3, 2, 2, 2, 1869, 1870, 5, 437, 219, 2, 1870, 1871, 7, 86, 2, 2, 861 1871, 1872, 7, 75, 2, 2, 1872, 1873, 7, 79, 2, 2, 1873, 1874, 7, 71, 2, 862 2, 1874, 1875, 3, 2, 2, 2, 1875, 1876, 5, 437, 219, 2, 1876, 1877, 7, 92, 863 2, 2, 1877, 1878, 7, 81, 2, 2, 1878, 1879, 7, 80, 2, 2, 1879, 1880, 7, 864 71, 2, 2, 1880, 422, 3, 2, 2, 2, 1881, 1882, 7, 86, 2, 2, 1882, 1883, 7, 865 75, 2, 2, 1883, 1884, 7, 79, 2, 2, 1884, 1885, 7, 71, 2, 2, 1885, 1886, 866 7, 85, 2, 2, 1886, 1887, 7, 86, 2, 2, 1887, 1888, 7, 67, 2, 2, 1888, 1889, 867 7, 79, 2, 2, 1889, 1890, 7, 82, 2, 2, 1890, 1891, 3, 2, 2, 2, 1891, 1892, 868 5, 437, 219, 2, 1892, 1893, 7, 89, 2, 2, 1893, 1894, 7, 75, 2, 2, 1894, 869 1895, 7, 86, 2, 2, 1895, 1896, 7, 74, 2, 2, 1896, 1897, 3, 2, 2, 2, 1897, 870 1898, 5, 437, 219, 2, 1898, 1899, 7, 86, 2, 2, 1899, 1900, 7, 75, 2, 2, 871 1900, 1901, 7, 79, 2, 2, 1901, 1902, 7, 71, 2, 2, 1902, 1903, 3, 2, 2, 872 2, 1903, 1904, 5, 437, 219, 2, 1904, 1905, 7, 92, 2, 2, 1905, 1906, 7, 873 81, 2, 2, 1906, 1907, 7, 80, 2, 2, 1907, 1908, 7, 71, 2, 2, 1908, 424, 874 3, 2, 2, 2, 1909, 1910, 7, 70, 2, 2, 1910, 1911, 7, 81, 2, 2, 1911, 1912, 875 7, 87, 2, 2, 1912, 1913, 7, 68, 2, 2, 1913, 1914, 7, 78, 2, 2, 1914, 1915, 876 7, 71, 2, 2, 1915, 1916, 3, 2, 2, 2, 1916, 1917, 5, 437, 219, 2, 1917, 877 1918, 7, 82, 2, 2, 1918, 1919, 7, 84, 2, 2, 1919, 1920, 7, 71, 2, 2, 1920, 878 1921, 7, 69, 2, 2, 1921, 1922, 7, 75, 2, 2, 1922, 1923, 7, 85, 2, 2, 1923, 879 1924, 7, 75, 2, 2, 1924, 1925, 7, 81, 2, 2, 1925, 1926, 7, 80, 2, 2, 1926, 880 426, 3, 2, 2, 2, 1927, 1929, 7, 71, 2, 2, 1928, 1930, 9, 6, 2, 2, 1929, 881 1928, 3, 2, 2, 2, 1929, 1930, 3, 2, 2, 2, 1930, 1932, 3, 2, 2, 2, 1931, 882 1933, 5, 429, 215, 2, 1932, 1931, 3, 2, 2, 2, 1933, 1934, 3, 2, 2, 2, 1934, 883 1932, 3, 2, 2, 2, 1934, 1935, 3, 2, 2, 2, 1935, 428, 3, 2, 2, 2, 1936, 884 1937, 9, 7, 2, 2, 1937, 430, 3, 2, 2, 2, 1938, 1939, 9, 8, 2, 2, 1939, 885 432, 3, 2, 2, 2, 1940, 1941, 7, 47, 2, 2, 1941, 1942, 7, 47, 2, 2, 1942, 886 1946, 3, 2, 2, 2, 1943, 1945, 10, 9, 2, 2, 1944, 1943, 3, 2, 2, 2, 1945, 887 1948, 3, 2, 2, 2, 1946, 1944, 3, 2, 2, 2, 1946, 1947, 3, 2, 2, 2, 1947, 888 1950, 3, 2, 2, 2, 1948, 1946, 3, 2, 2, 2, 1949, 1951, 7, 15, 2, 2, 1950, 889 1949, 3, 2, 2, 2, 1950, 1951, 3, 2, 2, 2, 1951, 1953, 3, 2, 2, 2, 1952, 890 1954, 7, 12, 2, 2, 1953, 1952, 3, 2, 2, 2, 1953, 1954, 3, 2, 2, 2, 1954, 891 1955, 3, 2, 2, 2, 1955, 1956, 8, 217, 2, 2, 1956, 434, 3, 2, 2, 2, 1957, 892 1958, 7, 49, 2, 2, 1958, 1959, 7, 44, 2, 2, 1959, 1963, 3, 2, 2, 2, 1960, 893 1962, 11, 2, 2, 2, 1961, 1960, 3, 2, 2, 2, 1962, 1965, 3, 2, 2, 2, 1963, 894 1964, 3, 2, 2, 2, 1963, 1961, 3, 2, 2, 2, 1964, 1966, 3, 2, 2, 2, 1965, 895 1963, 3, 2, 2, 2, 1966, 1967, 7, 44, 2, 2, 1967, 1968, 7, 49, 2, 2, 1968, 896 1969, 3, 2, 2, 2, 1969, 1970, 8, 218, 2, 2, 1970, 436, 3, 2, 2, 2, 1971, 897 1973, 9, 10, 2, 2, 1972, 1971, 3, 2, 2, 2, 1973, 1974, 3, 2, 2, 2, 1974, 898 1972, 3, 2, 2, 2, 1974, 1975, 3, 2, 2, 2, 1975, 1976, 3, 2, 2, 2, 1976, 899 1977, 8, 219, 2, 2, 1977, 438, 3, 2, 2, 2, 1978, 1979, 11, 2, 2, 2, 1979, 900 440, 3, 2, 2, 2, 35, 2, 1704, 1733, 1735, 1747, 1749, 1760, 1768, 1773, 901 1779, 1786, 1788, 1793, 1799, 1802, 1810, 1814, 1818, 1823, 1825, 1832, 902 1834, 1840, 1842, 1851, 1853, 1929, 1934, 1946, 1950, 1953, 1963, 1974, 903 3, 2, 3, 2, 904 } 905 906 var lexerDeserializer = antlr.NewATNDeserializer(nil) 907 var lexerAtn = lexerDeserializer.DeserializeFromUInt16(serializedLexerAtn) 908 909 var lexerChannelNames = []string{ 910 "DEFAULT_TOKEN_CHANNEL", "HIDDEN", 911 } 912 913 var lexerModeNames = []string{ 914 "DEFAULT_MODE", 915 } 916 917 var lexerLiteralNames = []string{ 918 "", "'.'", "'('", "')'", "','", "'?'", "'->'", "'['", "']'", "'=>'", "'ADD'", 919 "'ALL'", "'ALTER'", "'ANALYZE'", "'AND'", "'ANY'", "'ARRAY'", "'AS'", "'ASC'", 920 "'AT'", "'BERNOULLI'", "'BETWEEN'", "'BY'", "'CALL'", "'CASCADE'", "'CASE'", 921 "'CAST'", "'CATALOGS'", "'COALESCE'", "'COLUMN'", "'COLUMNS'", "'COMMENT'", 922 "'COMMITTED'", "'CONSTRAINT'", "'CREATE'", "'CROSS'", "'CUBE'", "'CURRENT'", 923 "'CURRENT_DATE'", "'CURRENT_TIME'", "'CURRENT_TIMESTAMP'", "'CURRENT_USER'", 924 "'DATA'", "'DATE'", "'DAY'", "'DEALLOCATE'", "'DELETE'", "'DESC'", "'DESCRIBE'", 925 "'DISTINCT'", "'DISTRIBUTED'", "'DROP'", "'ELSE'", "'END'", "'ESCAPE'", 926 "'EXCEPT'", "'EXCLUDING'", "'EXECUTE'", "'EXISTS'", "'EXPLAIN'", "'EXTRACT'", 927 "'FALSE'", "'FILTER'", "'FIRST'", "'FOLLOWING'", "'FOR'", "'FORMAT'", "'FROM'", 928 "'FULL'", "'FUNCTIONS'", "'GRANT'", "'GRANTS'", "'GRAPHVIZ'", "'GROUP'", 929 "'GROUPING'", "'HAVING'", "'HOUR'", "'IF'", "'IN'", "'INCLUDING'", "'INNER'", 930 "'INPUT'", "'INSERT'", "'INTEGER'", "'INTERSECT'", "'INTERVAL'", "'INTO'", 931 "'IS'", "'JOIN'", "'LAST'", "'LATERAL'", "'LEFT'", "'LEVEL'", "'LIKE'", 932 "'LIMIT'", "'LOCALTIME'", "'LOCALTIMESTAMP'", "'LOGICAL'", "'MAP'", "'MINUTE'", 933 "'MONTH'", "'NATURAL'", "'NFC'", "'NFD'", "'NFKC'", "'NFKD'", "'NO'", "'NORMALIZE'", 934 "'NOT'", "'NULL'", "'NULLIF'", "'NULLS'", "'ON'", "'ONLY'", "'OPTION'", 935 "'OR'", "'ORDER'", "'ORDINALITY'", "'OUTER'", "'OUTPUT'", "'OVER'", "'PARTITION'", 936 "'PARTITIONS'", "'POSITION'", "'PRECEDING'", "'PREPARE'", "'PRIVILEGES'", 937 "'PROPERTIES'", "'PUBLIC'", "'RANGE'", "'READ'", "'RECURSIVE'", "'RENAME'", 938 "'REPEATABLE'", "'REPLACE'", "'RESET'", "'RESTRICT'", "'REVOKE'", "'RIGHT'", 939 "'ROLLBACK'", "'ROLLUP'", "'ROW'", "'ROWS'", "'SCHEMA'", "'SCHEMAS'", "'SECOND'", 940 "'SELECT'", "'SERIALIZABLE'", "'SESSION'", "'SET'", "'SETS'", "'SHOW'", 941 "'SMALLINT'", "'SOME'", "'START'", "'STATS'", "'SUBSTRING'", "'SYSTEM'", 942 "'TABLE'", "'TABLES'", "'TABLESAMPLE'", "'TEXT'", "'THEN'", "'TIME'", "'TIMESTAMP'", 943 "'TINYINT'", "'TO'", "'TRUE'", "'TRY_CAST'", "'TYPE'", "'UESCAPE'", "'UNBOUNDED'", 944 "'UNCOMMITTED'", "'UNION'", "'UNNEST'", "'USE'", "'USING'", "'VALIDATE'", 945 "'VALUES'", "'VERBOSE'", "'VIEW'", "'WHEN'", "'WHERE'", "'WITH'", "'WORK'", 946 "'WRITE'", "'YEAR'", "'ZONE'", "'='", "", "'<'", "'<='", "'>'", "'>='", 947 "'+'", "'-'", "'*'", "'/'", "'%'", "'||'", 948 } 949 950 var lexerSymbolicNames = []string{ 951 "", "", "", "", "", "", "", "", "", "", "ADD", "ALL", "ALTER", "ANALYZE", 952 "AND", "ANY", "ARRAY", "AS", "ASC", "AT", "BERNOULLI", "BETWEEN", "BY", 953 "CALL", "CASCADE", "CASE", "CAST", "CATALOGS", "COALESCE", "COLUMN", "COLUMNS", 954 "COMMENT", "COMMITTED", "CONSTRAINT", "CREATE", "CROSS", "CUBE", "CURRENT", 955 "CURRENT_DATE", "CURRENT_TIME", "CURRENT_TIMESTAMP", "CURRENT_USER", "DATA", 956 "DATE", "DAY", "DEALLOCATE", "DELETE", "DESC", "DESCRIBE", "DISTINCT", 957 "DISTRIBUTED", "DROP", "ELSE", "END", "ESCAPE", "EXCEPT", "EXCLUDING", 958 "EXECUTE", "EXISTS", "EXPLAIN", "EXTRACT", "FALSE", "FILTER", "FIRST", 959 "FOLLOWING", "FOR", "FORMAT", "FROM", "FULL", "FUNCTIONS", "GRANT", "GRANTS", 960 "GRAPHVIZ", "GROUP", "GROUPING", "HAVING", "HOUR", "IF", "IN", "INCLUDING", 961 "INNER", "INPUT", "INSERT", "INTEGER", "INTERSECT", "INTERVAL", "INTO", 962 "IS", "JOIN", "LAST", "LATERAL", "LEFT", "LEVEL", "LIKE", "LIMIT", "LOCALTIME", 963 "LOCALTIMESTAMP", "LOGICAL", "MAP", "MINUTE", "MONTH", "NATURAL", "NFC", 964 "NFD", "NFKC", "NFKD", "NO", "NORMALIZE", "NOT", "NULL", "NULLIF", "NULLS", 965 "ON", "ONLY", "OPTION", "OR", "ORDER", "ORDINALITY", "OUTER", "OUTPUT", 966 "OVER", "PARTITION", "PARTITIONS", "POSITION", "PRECEDING", "PREPARE", 967 "PRIVILEGES", "PROPERTIES", "PUBLIC", "RANGE", "READ", "RECURSIVE", "RENAME", 968 "REPEATABLE", "REPLACE", "RESET", "RESTRICT", "REVOKE", "RIGHT", "ROLLBACK", 969 "ROLLUP", "ROW", "ROWS", "SCHEMA", "SCHEMAS", "SECOND", "SELECT", "SERIALIZABLE", 970 "SESSION", "SET", "SETS", "SHOW", "SMALLINT", "SOME", "START", "STATS", 971 "SUBSTRING", "SYSTEM", "TABLE", "TABLES", "TABLESAMPLE", "TEXT", "THEN", 972 "TIME", "TIMESTAMP", "TINYINT", "TO", "TRUE", "TRY_CAST", "TYPE", "UESCAPE", 973 "UNBOUNDED", "UNCOMMITTED", "UNION", "UNNEST", "USE", "USING", "VALIDATE", 974 "VALUES", "VERBOSE", "VIEW", "WHEN", "WHERE", "WITH", "WORK", "WRITE", 975 "YEAR", "ZONE", "EQ", "NEQ", "LT", "LTE", "GT", "GTE", "PLUS", "MINUS", 976 "ASTERISK", "SLASH", "PERCENT", "CONCAT", "STRING", "UNICODE_STRING", "BINARY_LITERAL", 977 "INTEGER_VALUE", "DECIMAL_VALUE", "DOUBLE_VALUE", "IDENTIFIER", "DIGIT_IDENTIFIER", 978 "QUOTED_IDENTIFIER", "BACKQUOTED_IDENTIFIER", "TIME_WITH_TIME_ZONE", "TIMESTAMP_WITH_TIME_ZONE", 979 "DOUBLE_PRECISION", "SIMPLE_COMMENT", "BRACKETED_COMMENT", "WS", "UNRECOGNIZED", 980 } 981 982 var lexerRuleNames = []string{ 983 "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8", 984 "ADD", "ALL", "ALTER", "ANALYZE", "AND", "ANY", "ARRAY", "AS", "ASC", "AT", 985 "BERNOULLI", "BETWEEN", "BY", "CALL", "CASCADE", "CASE", "CAST", "CATALOGS", 986 "COALESCE", "COLUMN", "COLUMNS", "COMMENT", "COMMITTED", "CONSTRAINT", 987 "CREATE", "CROSS", "CUBE", "CURRENT", "CURRENT_DATE", "CURRENT_TIME", "CURRENT_TIMESTAMP", 988 "CURRENT_USER", "DATA", "DATE", "DAY", "DEALLOCATE", "DELETE", "DESC", 989 "DESCRIBE", "DISTINCT", "DISTRIBUTED", "DROP", "ELSE", "END", "ESCAPE", 990 "EXCEPT", "EXCLUDING", "EXECUTE", "EXISTS", "EXPLAIN", "EXTRACT", "FALSE", 991 "FILTER", "FIRST", "FOLLOWING", "FOR", "FORMAT", "FROM", "FULL", "FUNCTIONS", 992 "GRANT", "GRANTS", "GRAPHVIZ", "GROUP", "GROUPING", "HAVING", "HOUR", "IF", 993 "IN", "INCLUDING", "INNER", "INPUT", "INSERT", "INTEGER", "INTERSECT", 994 "INTERVAL", "INTO", "IS", "JOIN", "LAST", "LATERAL", "LEFT", "LEVEL", "LIKE", 995 "LIMIT", "LOCALTIME", "LOCALTIMESTAMP", "LOGICAL", "MAP", "MINUTE", "MONTH", 996 "NATURAL", "NFC", "NFD", "NFKC", "NFKD", "NO", "NORMALIZE", "NOT", "NULL", 997 "NULLIF", "NULLS", "ON", "ONLY", "OPTION", "OR", "ORDER", "ORDINALITY", 998 "OUTER", "OUTPUT", "OVER", "PARTITION", "PARTITIONS", "POSITION", "PRECEDING", 999 "PREPARE", "PRIVILEGES", "PROPERTIES", "PUBLIC", "RANGE", "READ", "RECURSIVE", 1000 "RENAME", "REPEATABLE", "REPLACE", "RESET", "RESTRICT", "REVOKE", "RIGHT", 1001 "ROLLBACK", "ROLLUP", "ROW", "ROWS", "SCHEMA", "SCHEMAS", "SECOND", "SELECT", 1002 "SERIALIZABLE", "SESSION", "SET", "SETS", "SHOW", "SMALLINT", "SOME", "START", 1003 "STATS", "SUBSTRING", "SYSTEM", "TABLE", "TABLES", "TABLESAMPLE", "TEXT", 1004 "THEN", "TIME", "TIMESTAMP", "TINYINT", "TO", "TRUE", "TRY_CAST", "TYPE", 1005 "UESCAPE", "UNBOUNDED", "UNCOMMITTED", "UNION", "UNNEST", "USE", "USING", 1006 "VALIDATE", "VALUES", "VERBOSE", "VIEW", "WHEN", "WHERE", "WITH", "WORK", 1007 "WRITE", "YEAR", "ZONE", "EQ", "NEQ", "LT", "LTE", "GT", "GTE", "PLUS", 1008 "MINUS", "ASTERISK", "SLASH", "PERCENT", "CONCAT", "STRING", "UNICODE_STRING", 1009 "BINARY_LITERAL", "INTEGER_VALUE", "DECIMAL_VALUE", "DOUBLE_VALUE", "IDENTIFIER", 1010 "DIGIT_IDENTIFIER", "QUOTED_IDENTIFIER", "BACKQUOTED_IDENTIFIER", "TIME_WITH_TIME_ZONE", 1011 "TIMESTAMP_WITH_TIME_ZONE", "DOUBLE_PRECISION", "EXPONENT", "DIGIT", "LETTER", 1012 "SIMPLE_COMMENT", "BRACKETED_COMMENT", "WS", "UNRECOGNIZED", 1013 } 1014 1015 type SqlBaseLexer struct { 1016 *antlr.BaseLexer 1017 channelNames []string 1018 modeNames []string 1019 // TODO: EOF string 1020 } 1021 1022 var lexerDecisionToDFA = make([]*antlr.DFA, len(lexerAtn.DecisionToState)) 1023 1024 func init() { 1025 for index, ds := range lexerAtn.DecisionToState { 1026 lexerDecisionToDFA[index] = antlr.NewDFA(ds, index) 1027 } 1028 } 1029 1030 func NewSqlBaseLexer(input antlr.CharStream) *SqlBaseLexer { 1031 1032 l := new(SqlBaseLexer) 1033 1034 l.BaseLexer = antlr.NewBaseLexer(input) 1035 l.Interpreter = antlr.NewLexerATNSimulator(l, lexerAtn, lexerDecisionToDFA, antlr.NewPredictionContextCache()) 1036 1037 l.channelNames = lexerChannelNames 1038 l.modeNames = lexerModeNames 1039 l.RuleNames = lexerRuleNames 1040 l.LiteralNames = lexerLiteralNames 1041 l.SymbolicNames = lexerSymbolicNames 1042 l.GrammarFileName = "SqlBase.g4" 1043 // TODO: l.EOF = antlr.TokenEOF 1044 1045 return l 1046 } 1047 1048 // SqlBaseLexer tokens. 1049 const ( 1050 SqlBaseLexerT__0 = 1 1051 SqlBaseLexerT__1 = 2 1052 SqlBaseLexerT__2 = 3 1053 SqlBaseLexerT__3 = 4 1054 SqlBaseLexerT__4 = 5 1055 SqlBaseLexerT__5 = 6 1056 SqlBaseLexerT__6 = 7 1057 SqlBaseLexerT__7 = 8 1058 SqlBaseLexerT__8 = 9 1059 SqlBaseLexerADD = 10 1060 SqlBaseLexerALL = 11 1061 SqlBaseLexerALTER = 12 1062 SqlBaseLexerANALYZE = 13 1063 SqlBaseLexerAND = 14 1064 SqlBaseLexerANY = 15 1065 SqlBaseLexerARRAY = 16 1066 SqlBaseLexerAS = 17 1067 SqlBaseLexerASC = 18 1068 SqlBaseLexerAT = 19 1069 SqlBaseLexerBERNOULLI = 20 1070 SqlBaseLexerBETWEEN = 21 1071 SqlBaseLexerBY = 22 1072 SqlBaseLexerCALL = 23 1073 SqlBaseLexerCASCADE = 24 1074 SqlBaseLexerCASE = 25 1075 SqlBaseLexerCAST = 26 1076 SqlBaseLexerCATALOGS = 27 1077 SqlBaseLexerCOALESCE = 28 1078 SqlBaseLexerCOLUMN = 29 1079 SqlBaseLexerCOLUMNS = 30 1080 SqlBaseLexerCOMMENT = 31 1081 SqlBaseLexerCOMMITTED = 32 1082 SqlBaseLexerCONSTRAINT = 33 1083 SqlBaseLexerCREATE = 34 1084 SqlBaseLexerCROSS = 35 1085 SqlBaseLexerCUBE = 36 1086 SqlBaseLexerCURRENT = 37 1087 SqlBaseLexerCURRENT_DATE = 38 1088 SqlBaseLexerCURRENT_TIME = 39 1089 SqlBaseLexerCURRENT_TIMESTAMP = 40 1090 SqlBaseLexerCURRENT_USER = 41 1091 SqlBaseLexerDATA = 42 1092 SqlBaseLexerDATE = 43 1093 SqlBaseLexerDAY = 44 1094 SqlBaseLexerDEALLOCATE = 45 1095 SqlBaseLexerDELETE = 46 1096 SqlBaseLexerDESC = 47 1097 SqlBaseLexerDESCRIBE = 48 1098 SqlBaseLexerDISTINCT = 49 1099 SqlBaseLexerDISTRIBUTED = 50 1100 SqlBaseLexerDROP = 51 1101 SqlBaseLexerELSE = 52 1102 SqlBaseLexerEND = 53 1103 SqlBaseLexerESCAPE = 54 1104 SqlBaseLexerEXCEPT = 55 1105 SqlBaseLexerEXCLUDING = 56 1106 SqlBaseLexerEXECUTE = 57 1107 SqlBaseLexerEXISTS = 58 1108 SqlBaseLexerEXPLAIN = 59 1109 SqlBaseLexerEXTRACT = 60 1110 SqlBaseLexerFALSE = 61 1111 SqlBaseLexerFILTER = 62 1112 SqlBaseLexerFIRST = 63 1113 SqlBaseLexerFOLLOWING = 64 1114 SqlBaseLexerFOR = 65 1115 SqlBaseLexerFORMAT = 66 1116 SqlBaseLexerFROM = 67 1117 SqlBaseLexerFULL = 68 1118 SqlBaseLexerFUNCTIONS = 69 1119 SqlBaseLexerGRANT = 70 1120 SqlBaseLexerGRANTS = 71 1121 SqlBaseLexerGRAPHVIZ = 72 1122 SqlBaseLexerGROUP = 73 1123 SqlBaseLexerGROUPING = 74 1124 SqlBaseLexerHAVING = 75 1125 SqlBaseLexerHOUR = 76 1126 SqlBaseLexerIF = 77 1127 SqlBaseLexerIN = 78 1128 SqlBaseLexerINCLUDING = 79 1129 SqlBaseLexerINNER = 80 1130 SqlBaseLexerINPUT = 81 1131 SqlBaseLexerINSERT = 82 1132 SqlBaseLexerINTEGER = 83 1133 SqlBaseLexerINTERSECT = 84 1134 SqlBaseLexerINTERVAL = 85 1135 SqlBaseLexerINTO = 86 1136 SqlBaseLexerIS = 87 1137 SqlBaseLexerJOIN = 88 1138 SqlBaseLexerLAST = 89 1139 SqlBaseLexerLATERAL = 90 1140 SqlBaseLexerLEFT = 91 1141 SqlBaseLexerLEVEL = 92 1142 SqlBaseLexerLIKE = 93 1143 SqlBaseLexerLIMIT = 94 1144 SqlBaseLexerLOCALTIME = 95 1145 SqlBaseLexerLOCALTIMESTAMP = 96 1146 SqlBaseLexerLOGICAL = 97 1147 SqlBaseLexerMAP = 98 1148 SqlBaseLexerMINUTE = 99 1149 SqlBaseLexerMONTH = 100 1150 SqlBaseLexerNATURAL = 101 1151 SqlBaseLexerNFC = 102 1152 SqlBaseLexerNFD = 103 1153 SqlBaseLexerNFKC = 104 1154 SqlBaseLexerNFKD = 105 1155 SqlBaseLexerNO = 106 1156 SqlBaseLexerNORMALIZE = 107 1157 SqlBaseLexerNOT = 108 1158 SqlBaseLexerNULL = 109 1159 SqlBaseLexerNULLIF = 110 1160 SqlBaseLexerNULLS = 111 1161 SqlBaseLexerON = 112 1162 SqlBaseLexerONLY = 113 1163 SqlBaseLexerOPTION = 114 1164 SqlBaseLexerOR = 115 1165 SqlBaseLexerORDER = 116 1166 SqlBaseLexerORDINALITY = 117 1167 SqlBaseLexerOUTER = 118 1168 SqlBaseLexerOUTPUT = 119 1169 SqlBaseLexerOVER = 120 1170 SqlBaseLexerPARTITION = 121 1171 SqlBaseLexerPARTITIONS = 122 1172 SqlBaseLexerPOSITION = 123 1173 SqlBaseLexerPRECEDING = 124 1174 SqlBaseLexerPREPARE = 125 1175 SqlBaseLexerPRIVILEGES = 126 1176 SqlBaseLexerPROPERTIES = 127 1177 SqlBaseLexerPUBLIC = 128 1178 SqlBaseLexerRANGE = 129 1179 SqlBaseLexerREAD = 130 1180 SqlBaseLexerRECURSIVE = 131 1181 SqlBaseLexerRENAME = 132 1182 SqlBaseLexerREPEATABLE = 133 1183 SqlBaseLexerREPLACE = 134 1184 SqlBaseLexerRESET = 135 1185 SqlBaseLexerRESTRICT = 136 1186 SqlBaseLexerREVOKE = 137 1187 SqlBaseLexerRIGHT = 138 1188 SqlBaseLexerROLLBACK = 139 1189 SqlBaseLexerROLLUP = 140 1190 SqlBaseLexerROW = 141 1191 SqlBaseLexerROWS = 142 1192 SqlBaseLexerSCHEMA = 143 1193 SqlBaseLexerSCHEMAS = 144 1194 SqlBaseLexerSECOND = 145 1195 SqlBaseLexerSELECT = 146 1196 SqlBaseLexerSERIALIZABLE = 147 1197 SqlBaseLexerSESSION = 148 1198 SqlBaseLexerSET = 149 1199 SqlBaseLexerSETS = 150 1200 SqlBaseLexerSHOW = 151 1201 SqlBaseLexerSMALLINT = 152 1202 SqlBaseLexerSOME = 153 1203 SqlBaseLexerSTART = 154 1204 SqlBaseLexerSTATS = 155 1205 SqlBaseLexerSUBSTRING = 156 1206 SqlBaseLexerSYSTEM = 157 1207 SqlBaseLexerTABLE = 158 1208 SqlBaseLexerTABLES = 159 1209 SqlBaseLexerTABLESAMPLE = 160 1210 SqlBaseLexerTEXT = 161 1211 SqlBaseLexerTHEN = 162 1212 SqlBaseLexerTIME = 163 1213 SqlBaseLexerTIMESTAMP = 164 1214 SqlBaseLexerTINYINT = 165 1215 SqlBaseLexerTO = 166 1216 SqlBaseLexerTRUE = 167 1217 SqlBaseLexerTRY_CAST = 168 1218 SqlBaseLexerTYPE = 169 1219 SqlBaseLexerUESCAPE = 170 1220 SqlBaseLexerUNBOUNDED = 171 1221 SqlBaseLexerUNCOMMITTED = 172 1222 SqlBaseLexerUNION = 173 1223 SqlBaseLexerUNNEST = 174 1224 SqlBaseLexerUSE = 175 1225 SqlBaseLexerUSING = 176 1226 SqlBaseLexerVALIDATE = 177 1227 SqlBaseLexerVALUES = 178 1228 SqlBaseLexerVERBOSE = 179 1229 SqlBaseLexerVIEW = 180 1230 SqlBaseLexerWHEN = 181 1231 SqlBaseLexerWHERE = 182 1232 SqlBaseLexerWITH = 183 1233 SqlBaseLexerWORK = 184 1234 SqlBaseLexerWRITE = 185 1235 SqlBaseLexerYEAR = 186 1236 SqlBaseLexerZONE = 187 1237 SqlBaseLexerEQ = 188 1238 SqlBaseLexerNEQ = 189 1239 SqlBaseLexerLT = 190 1240 SqlBaseLexerLTE = 191 1241 SqlBaseLexerGT = 192 1242 SqlBaseLexerGTE = 193 1243 SqlBaseLexerPLUS = 194 1244 SqlBaseLexerMINUS = 195 1245 SqlBaseLexerASTERISK = 196 1246 SqlBaseLexerSLASH = 197 1247 SqlBaseLexerPERCENT = 198 1248 SqlBaseLexerCONCAT = 199 1249 SqlBaseLexerSTRING = 200 1250 SqlBaseLexerUNICODE_STRING = 201 1251 SqlBaseLexerBINARY_LITERAL = 202 1252 SqlBaseLexerINTEGER_VALUE = 203 1253 SqlBaseLexerDECIMAL_VALUE = 204 1254 SqlBaseLexerDOUBLE_VALUE = 205 1255 SqlBaseLexerIDENTIFIER = 206 1256 SqlBaseLexerDIGIT_IDENTIFIER = 207 1257 SqlBaseLexerQUOTED_IDENTIFIER = 208 1258 SqlBaseLexerBACKQUOTED_IDENTIFIER = 209 1259 SqlBaseLexerTIME_WITH_TIME_ZONE = 210 1260 SqlBaseLexerTIMESTAMP_WITH_TIME_ZONE = 211 1261 SqlBaseLexerDOUBLE_PRECISION = 212 1262 SqlBaseLexerSIMPLE_COMMENT = 213 1263 SqlBaseLexerBRACKETED_COMMENT = 214 1264 SqlBaseLexerWS = 215 1265 SqlBaseLexerUNRECOGNIZED = 216 1266 )