// Generated from math.g4 by ANTLR 4.13.2

// jshint ignore: start

import antlr4 from '../antlr4/index.web.js';

const serializedATN = [4,0,38,607,6,-1,2,0,7,0,2,1,7,1,2,2,7,2,2,3,7,3,2,

4,7,4,2,5,7,5,2,6,7,6,2,7,7,7,2,8,7,8,2,9,7,9,2,10,7,10,2,11,7,11,2,12,7,

12,2,13,7,13,2,14,7,14,2,15,7,15,2,16,7,16,2,17,7,17,2,18,7,18,2,19,7,19,

2,20,7,20,2,21,7,21,2,22,7,22,2,23,7,23,2,24,7,24,2,25,7,25,2,26,7,26,2,

27,7,27,2,28,7,28,2,29,7,29,2,30,7,30,2,31,7,31,2,32,7,32,2,33,7,33,2,34,

7,34,2,35,7,35,2,36,7,36,2,37,7,37,2,38,7,38,1,0,1,0,1,1,1,1,1,2,1,2,1,3,

1,3,1,4,1,4,1,5,1,5,1,6,1,6,1,7,1,7,1,8,1,8,1,9,1,9,1,10,1,10,1,11,1,11,

1,12,1,12,1,13,1,13,1,14,1,14,1,14,1,15,1,15,1,16,1,16,1,16,1,17,1,17,1,

18,1,18,1,18,1,19,1,19,1,19,1,19,1,20,1,20,1,20,1,20,1,21,1,21,1,21,1,22,

1,22,1,22,1,23,1,23,1,23,1,24,1,24,1,24,1,25,1,25,1,26,1,26,1,27,1,27,1,

28,1,28,1,29,1,29,1,29,4,29,152,8,29,11,29,12,29,153,3,29,156,8,29,1,29,

1,29,5,29,160,8,29,10,29,12,29,163,9,29,1,29,1,29,4,29,167,8,29,11,29,12,

29,168,3,29,171,8,29,1,29,1,29,1,29,4,29,176,8,29,11,29,12,29,177,3,29,180,

8,29,1,29,1,29,5,29,184,8,29,10,29,12,29,187,9,29,1,29,1,29,4,29,191,8,29,

11,29,12,29,192,3,29,195,8,29,3,29,197,8,29,1,29,1,29,3,29,201,8,29,1,29,

1,29,3,29,205,8,29,3,29,207,8,29,1,30,1,30,1,30,1,30,5,30,213,8,30,10,30,

12,30,216,9,30,1,30,1,30,1,30,1,30,1,30,5,30,223,8,30,10,30,12,30,226,9,

30,1,30,1,30,1,30,1,30,1,30,5,30,233,8,30,10,30,12,30,236,9,30,1,30,3,30,

239,8,30,1,31,1,31,1,31,1,31,1,31,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,

1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,

32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,

1,32,1,32,1,32,1,32,1,32,1,32,3,32,289,8,32,1,33,1,33,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,

34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,1,34,

1,34,1,34,1,34,1,34,1,34,3,34,563,8,34,1,34,1,34,5,34,567,8,34,10,34,12,

34,570,9,34,3,34,572,8,34,1,35,1,35,1,36,4,36,577,8,36,11,36,12,36,578,1,

36,1,36,1,37,1,37,1,37,1,37,5,37,587,8,37,10,37,12,37,590,9,37,1,37,1,37,

1,37,1,37,1,37,1,38,1,38,1,38,1,38,5,38,601,8,38,10,38,12,38,604,9,38,1,

38,1,38,1,588,0,39,1,1,3,2,5,3,7,4,9,5,11,6,13,7,15,8,17,9,19,10,21,11,23,

12,25,13,27,14,29,15,31,16,33,17,35,18,37,19,39,20,41,21,43,22,45,23,47,

24,49,25,51,26,53,27,55,28,57,29,59,30,61,31,63,32,65,33,67,34,69,35,71,

0,73,36,75,37,77,38,1,0,11,1,0,48,57,1,0,49,57,2,0,43,43,45,45,1,0,39,39,

1,0,34,34,1,0,96,96,2,0,65,90,95,95,3,0,48,57,65,90,95,95,10,0,192,214,216,

246,248,8191,11264,12287,12352,12687,13056,13183,13312,16383,19968,55295,

63744,64255,65280,65520,3,0,9,10,12,13,32,32,2,0,10,10,13,13,680,0,1,1,0,

0,0,0,3,1,0,0,0,0,5,1,0,0,0,0,7,1,0,0,0,0,9,1,0,0,0,0,11,1,0,0,0,0,13,1,

0,0,0,0,15,1,0,0,0,0,17,1,0,0,0,0,19,1,0,0,0,0,21,1,0,0,0,0,23,1,0,0,0,0,

25,1,0,0,0,0,27,1,0,0,0,0,29,1,0,0,0,0,31,1,0,0,0,0,33,1,0,0,0,0,35,1,0,

0,0,0,37,1,0,0,0,0,39,1,0,0,0,0,41,1,0,0,0,0,43,1,0,0,0,0,45,1,0,0,0,0,47,

1,0,0,0,0,49,1,0,0,0,0,51,1,0,0,0,0,53,1,0,0,0,0,55,1,0,0,0,0,57,1,0,0,0,

0,59,1,0,0,0,0,61,1,0,0,0,0,63,1,0,0,0,0,65,1,0,0,0,0,67,1,0,0,0,0,69,1,

0,0,0,0,73,1,0,0,0,0,75,1,0,0,0,0,77,1,0,0,0,1,79,1,0,0,0,3,81,1,0,0,0,5,

83,1,0,0,0,7,85,1,0,0,0,9,87,1,0,0,0,11,89,1,0,0,0,13,91,1,0,0,0,15,93,1,

0,0,0,17,95,1,0,0,0,19,97,1,0,0,0,21,99,1,0,0,0,23,101,1,0,0,0,25,103,1,

0,0,0,27,105,1,0,0,0,29,107,1,0,0,0,31,110,1,0,0,0,33,112,1,0,0,0,35,115,

1,0,0,0,37,117,1,0,0,0,39,120,1,0,0,0,41,124,1,0,0,0,43,128,1,0,0,0,45,131,

1,0,0,0,47,134,1,0,0,0,49,137,1,0,0,0,51,140,1,0,0,0,53,142,1,0,0,0,55,144,

1,0,0,0,57,146,1,0,0,0,59,206,1,0,0,0,61,238,1,0,0,0,63,240,1,0,0,0,65,288,

1,0,0,0,67,290,1,0,0,0,69,571,1,0,0,0,71,573,1,0,0,0,73,576,1,0,0,0,75,582,

1,0,0,0,77,596,1,0,0,0,79,80,5,46,0,0,80,2,1,0,0,0,81,82,5,40,0,0,82,4,1,

0,0,0,83,84,5,44,0,0,84,6,1,0,0,0,85,86,5,41,0,0,86,8,1,0,0,0,87,88,5,91,

0,0,88,10,1,0,0,0,89,90,5,93,0,0,90,12,1,0,0,0,91,92,5,33,0,0,92,14,1,0,

0,0,93,94,5,37,0,0,94,16,1,0,0,0,95,96,5,42,0,0,96,18,1,0,0,0,97,98,5,47,

0,0,98,20,1,0,0,0,99,100,5,43,0,0,100,22,1,0,0,0,101,102,5,45,0,0,102,24,

1,0,0,0,103,104,5,38,0,0,104,26,1,0,0,0,105,106,5,62,0,0,106,28,1,0,0,0,

107,108,5,62,0,0,108,109,5,61,0,0,109,30,1,0,0,0,110,111,5,60,0,0,111,32,

1,0,0,0,112,113,5,60,0,0,113,114,5,61,0,0,114,34,1,0,0,0,115,116,5,61,0,

0,116,36,1,0,0,0,117,118,5,61,0,0,118,119,5,61,0,0,119,38,1,0,0,0,120,121,

5,61,0,0,121,122,5,61,0,0,122,123,5,61,0,0,123,40,1,0,0,0,124,125,5,33,0,

0,125,126,5,61,0,0,126,127,5,61,0,0,127,42,1,0,0,0,128,129,5,33,0,0,129,

130,5,61,0,0,130,44,1,0,0,0,131,132,5,60,0,0,132,133,5,62,0,0,133,46,1,0,

0,0,134,135,5,38,0,0,135,136,5,38,0,0,136,48,1,0,0,0,137,138,5,124,0,0,138,

139,5,124,0,0,139,50,1,0,0,0,140,141,5,63,0,0,141,52,1,0,0,0,142,143,5,58,

0,0,143,54,1,0,0,0,144,145,5,123,0,0,145,56,1,0,0,0,146,147,5,125,0,0,147,

58,1,0,0,0,148,155,5,48,0,0,149,151,5,46,0,0,150,152,7,0,0,0,151,150,1,0,

0,0,152,153,1,0,0,0,153,151,1,0,0,0,153,154,1,0,0,0,154,156,1,0,0,0,155,

149,1,0,0,0,155,156,1,0,0,0,156,207,1,0,0,0,157,161,7,1,0,0,158,160,7,0,

0,0,159,158,1,0,0,0,160,163,1,0,0,0,161,159,1,0,0,0,161,162,1,0,0,0,162,

170,1,0,0,0,163,161,1,0,0,0,164,166,5,46,0,0,165,167,7,0,0,0,166,165,1,0,

0,0,167,168,1,0,0,0,168,166,1,0,0,0,168,169,1,0,0,0,169,171,1,0,0,0,170,

164,1,0,0,0,170,171,1,0,0,0,171,207,1,0,0,0,172,179,5,48,0,0,173,175,5,46,

0,0,174,176,7,0,0,0,175,174,1,0,0,0,176,177,1,0,0,0,177,175,1,0,0,0,177,

178,1,0,0,0,178,180,1,0,0,0,179,173,1,0,0,0,179,180,1,0,0,0,180,197,1,0,

0,0,181,185,7,1,0,0,182,184,7,0,0,0,183,182,1,0,0,0,184,187,1,0,0,0,185,

183,1,0,0,0,185,186,1,0,0,0,186,194,1,0,0,0,187,185,1,0,0,0,188,190,5,46,

0,0,189,191,7,0,0,0,190,189,1,0,0,0,191,192,1,0,0,0,192,190,1,0,0,0,192,

193,1,0,0,0,193,195,1,0,0,0,194,188,1,0,0,0,194,195,1,0,0,0,195,197,1,0,

0,0,196,172,1,0,0,0,196,181,1,0,0,0,197,198,1,0,0,0,198,200,5,69,0,0,199,

201,7,2,0,0,200,199,1,0,0,0,200,201,1,0,0,0,201,202,1,0,0,0,202,204,7,0,

0,0,203,205,7,0,0,0,204,203,1,0,0,0,204,205,1,0,0,0,205,207,1,0,0,0,206,

148,1,0,0,0,206,157,1,0,0,0,206,196,1,0,0,0,207,60,1,0,0,0,208,214,5,39,

0,0,209,213,8,3,0,0,210,211,5,92,0,0,211,213,5,39,0,0,212,209,1,0,0,0,212,

210,1,0,0,0,213,216,1,0,0,0,214,212,1,0,0,0,214,215,1,0,0,0,215,217,1,0,

0,0,216,214,1,0,0,0,217,239,5,39,0,0,218,224,5,34,0,0,219,223,8,4,0,0,220,

221,5,92,0,0,221,223,5,34,0,0,222,219,1,0,0,0,222,220,1,0,0,0,223,226,1,

0,0,0,224,222,1,0,0,0,224,225,1,0,0,0,225,227,1,0,0,0,226,224,1,0,0,0,227,

239,5,34,0,0,228,234,5,96,0,0,229,233,8,5,0,0,230,231,5,92,0,0,231,233,5,

96,0,0,232,229,1,0,0,0,232,230,1,0,0,0,233,236,1,0,0,0,234,232,1,0,0,0,234,

235,1,0,0,0,235,237,1,0,0,0,236,234,1,0,0,0,237,239,5,96,0,0,238,208,1,0,

0,0,238,218,1,0,0,0,238,228,1,0,0,0,239,62,1,0,0,0,240,241,5,78,0,0,241,

242,5,85,0,0,242,243,5,76,0,0,243,244,5,76,0,0,244,64,1,0,0,0,245,289,5,

77,0,0,246,247,5,75,0,0,247,289,5,77,0,0,248,249,5,68,0,0,249,289,5,77,0,

0,250,251,5,67,0,0,251,289,5,77,0,0,252,253,5,77,0,0,253,289,5,77,0,0,254,

255,5,77,0,0,255,289,5,50,0,0,256,257,5,75,0,0,257,258,5,77,0,0,258,289,

5,50,0,0,259,260,5,68,0,0,260,261,5,77,0,0,261,289,5,50,0,0,262,263,5,67,

0,0,263,264,5,77,0,0,264,289,5,50,0,0,265,266,5,77,0,0,266,267,5,77,0,0,

267,289,5,50,0,0,268,269,5,77,0,0,269,289,5,51,0,0,270,271,5,75,0,0,271,

272,5,77,0,0,272,289,5,51,0,0,273,274,5,68,0,0,274,275,5,77,0,0,275,289,

5,51,0,0,276,277,5,67,0,0,277,278,5,77,0,0,278,289,5,51,0,0,279,280,5,77,

0,0,280,281,5,77,0,0,281,289,5,51,0,0,282,289,5,76,0,0,283,284,5,77,0,0,

284,289,5,76,0,0,285,289,5,71,0,0,286,287,5,75,0,0,287,289,5,71,0,0,288,

245,1,0,0,0,288,246,1,0,0,0,288,248,1,0,0,0,288,250,1,0,0,0,288,252,1,0,

0,0,288,254,1,0,0,0,288,256,1,0,0,0,288,259,1,0,0,0,288,262,1,0,0,0,288,

265,1,0,0,0,288,268,1,0,0,0,288,270,1,0,0,0,288,273,1,0,0,0,288,276,1,0,

0,0,288,279,1,0,0,0,288,282,1,0,0,0,288,283,1,0,0,0,288,285,1,0,0,0,288,

286,1,0,0,0,289,66,1,0,0,0,290,291,5,84,0,0,291,68,1,0,0,0,292,293,5,80,

0,0,293,294,5,69,0,0,294,295,5,82,0,0,295,296,5,67,0,0,296,297,5,69,0,0,

297,298,5,78,0,0,298,299,5,84,0,0,299,300,5,73,0,0,300,301,5,76,0,0,301,

302,5,69,0,0,302,303,5,46,0,0,303,304,5,73,0,0,304,305,5,78,0,0,305,572,

5,67,0,0,306,307,5,80,0,0,307,308,5,69,0,0,308,309,5,82,0,0,309,310,5,67,

0,0,310,311,5,69,0,0,311,312,5,78,0,0,312,313,5,84,0,0,313,314,5,82,0,0,

314,315,5,65,0,0,315,316,5,78,0,0,316,317,5,75,0,0,317,318,5,46,0,0,318,

319,5,73,0,0,319,320,5,78,0,0,320,572,5,67,0,0,321,322,5,83,0,0,322,323,

5,84,0,0,323,324,5,68,0,0,324,325,5,69,0,0,325,326,5,86,0,0,326,327,5,46,

0,0,327,572,5,83,0,0,328,329,5,83,0,0,329,330,5,84,0,0,330,331,5,68,0,0,

331,332,5,69,0,0,332,333,5,86,0,0,333,334,5,46,0,0,334,572,5,80,0,0,335,

336,5,67,0,0,336,337,5,79,0,0,337,338,5,86,0,0,338,339,5,65,0,0,339,340,

5,82,0,0,340,341,5,73,0,0,341,342,5,65,0,0,342,343,5,78,0,0,343,344,5,67,

0,0,344,345,5,69,0,0,345,346,5,46,0,0,346,572,5,80,0,0,347,348,5,67,0,0,

348,349,5,79,0,0,349,350,5,86,0,0,350,351,5,65,0,0,351,352,5,82,0,0,352,

353,5,73,0,0,353,354,5,65,0,0,354,355,5,78,0,0,355,356,5,67,0,0,356,357,

5,69,0,0,357,358,5,46,0,0,358,572,5,83,0,0,359,360,5,86,0,0,360,361,5,65,

0,0,361,362,5,82,0,0,362,363,5,46,0,0,363,572,5,83,0,0,364,365,5,86,0,0,

365,366,5,65,0,0,366,367,5,82,0,0,367,368,5,46,0,0,368,572,5,80,0,0,369,

370,5,78,0,0,370,371,5,79,0,0,371,372,5,82,0,0,372,373,5,77,0,0,373,374,

5,46,0,0,374,375,5,68,0,0,375,376,5,73,0,0,376,377,5,83,0,0,377,572,5,84,

0,0,378,379,5,78,0,0,379,380,5,79,0,0,380,381,5,82,0,0,381,382,5,77,0,0,

382,383,5,46,0,0,383,384,5,73,0,0,384,385,5,78,0,0,385,572,5,86,0,0,386,

387,5,78,0,0,387,388,5,79,0,0,388,389,5,82,0,0,389,390,5,77,0,0,390,391,

5,46,0,0,391,392,5,83,0,0,392,393,5,46,0,0,393,394,5,68,0,0,394,395,5,73,

0,0,395,396,5,83,0,0,396,572,5,84,0,0,397,398,5,78,0,0,398,399,5,79,0,0,

399,400,5,82,0,0,400,401,5,77,0,0,401,402,5,46,0,0,402,403,5,83,0,0,403,

404,5,46,0,0,404,405,5,73,0,0,405,406,5,78,0,0,406,572,5,86,0,0,407,408,

5,66,0,0,408,409,5,69,0,0,409,410,5,84,0,0,410,411,5,65,0,0,411,412,5,46,

0,0,412,413,5,68,0,0,413,414,5,73,0,0,414,415,5,83,0,0,415,572,5,84,0,0,

416,417,5,66,0,0,417,418,5,69,0,0,418,419,5,84,0,0,419,420,5,65,0,0,420,

421,5,46,0,0,421,422,5,73,0,0,422,423,5,78,0,0,423,572,5,86,0,0,424,425,

5,66,0,0,425,426,5,73,0,0,426,427,5,78,0,0,427,428,5,79,0,0,428,429,5,77,

0,0,429,430,5,46,0,0,430,431,5,68,0,0,431,432,5,73,0,0,432,433,5,83,0,0,

433,572,5,84,0,0,434,435,5,69,0,0,435,436,5,88,0,0,436,437,5,80,0,0,437,

438,5,79,0,0,438,439,5,78,0,0,439,440,5,46,0,0,440,441,5,68,0,0,441,442,

5,73,0,0,442,443,5,83,0,0,443,572,5,84,0,0,444,445,5,70,0,0,445,446,5,46,

0,0,446,447,5,68,0,0,447,448,5,73,0,0,448,449,5,83,0,0,449,572,5,84,0,0,

450,451,5,70,0,0,451,452,5,46,0,0,452,453,5,73,0,0,453,454,5,78,0,0,454,

572,5,86,0,0,455,456,5,71,0,0,456,457,5,65,0,0,457,458,5,77,0,0,458,459,

5,77,0,0,459,460,5,65,0,0,460,461,5,46,0,0,461,462,5,68,0,0,462,463,5,73,

0,0,463,464,5,83,0,0,464,572,5,84,0,0,465,466,5,71,0,0,466,467,5,65,0,0,

467,468,5,77,0,0,468,469,5,77,0,0,469,470,5,65,0,0,470,471,5,46,0,0,471,

472,5,73,0,0,472,473,5,78,0,0,473,572,5,86,0,0,474,475,5,71,0,0,475,476,

5,65,0,0,476,477,5,77,0,0,477,478,5,77,0,0,478,479,5,65,0,0,479,480,5,76,

0,0,480,481,5,78,0,0,481,482,5,46,0,0,482,483,5,80,0,0,483,484,5,82,0,0,

484,485,5,69,0,0,485,486,5,67,0,0,486,487,5,73,0,0,487,488,5,83,0,0,488,

572,5,69,0,0,489,490,5,72,0,0,490,491,5,89,0,0,491,492,5,80,0,0,492,493,

5,71,0,0,493,494,5,69,0,0,494,495,5,79,0,0,495,496,5,77,0,0,496,497,5,46,

0,0,497,498,5,68,0,0,498,499,5,73,0,0,499,500,5,83,0,0,500,572,5,84,0,0,

501,502,5,76,0,0,502,503,5,79,0,0,503,504,5,71,0,0,504,505,5,78,0,0,505,

506,5,79,0,0,506,507,5,82,0,0,507,508,5,77,0,0,508,509,5,46,0,0,509,510,

5,73,0,0,510,511,5,78,0,0,511,572,5,86,0,0,512,513,5,76,0,0,513,514,5,79,

0,0,514,515,5,71,0,0,515,516,5,78,0,0,516,517,5,79,0,0,517,518,5,82,0,0,

518,519,5,77,0,0,519,520,5,46,0,0,520,521,5,68,0,0,521,522,5,73,0,0,522,

523,5,83,0,0,523,572,5,84,0,0,524,525,5,78,0,0,525,526,5,69,0,0,526,527,

5,71,0,0,527,528,5,66,0,0,528,529,5,73,0,0,529,530,5,78,0,0,530,531,5,79,

0,0,531,532,5,77,0,0,532,533,5,46,0,0,533,534,5,68,0,0,534,535,5,73,0,0,

535,536,5,83,0,0,536,572,5,84,0,0,537,538,5,80,0,0,538,539,5,79,0,0,539,

540,5,73,0,0,540,541,5,83,0,0,541,542,5,83,0,0,542,543,5,79,0,0,543,544,

5,78,0,0,544,545,5,46,0,0,545,546,5,68,0,0,546,547,5,73,0,0,547,548,5,83,

0,0,548,572,5,84,0,0,549,550,5,84,0,0,550,551,5,46,0,0,551,552,5,68,0,0,

552,553,5,73,0,0,553,554,5,83,0,0,554,572,5,84,0,0,555,556,5,84,0,0,556,

557,5,46,0,0,557,558,5,73,0,0,558,559,5,78,0,0,559,572,5,86,0,0,560,563,

7,6,0,0,561,563,3,71,35,0,562,560,1,0,0,0,562,561,1,0,0,0,563,568,1,0,0,

0,564,567,7,7,0,0,565,567,3,71,35,0,566,564,1,0,0,0,566,565,1,0,0,0,567,

570,1,0,0,0,568,566,1,0,0,0,568,569,1,0,0,0,569,572,1,0,0,0,570,568,1,0,

0,0,571,292,1,0,0,0,571,306,1,0,0,0,571,321,1,0,0,0,571,328,1,0,0,0,571,

335,1,0,0,0,571,347,1,0,0,0,571,359,1,0,0,0,571,364,1,0,0,0,571,369,1,0,

0,0,571,378,1,0,0,0,571,386,1,0,0,0,571,397,1,0,0,0,571,407,1,0,0,0,571,

416,1,0,0,0,571,424,1,0,0,0,571,434,1,0,0,0,571,444,1,0,0,0,571,450,1,0,

0,0,571,455,1,0,0,0,571,465,1,0,0,0,571,474,1,0,0,0,571,489,1,0,0,0,571,

501,1,0,0,0,571,512,1,0,0,0,571,524,1,0,0,0,571,537,1,0,0,0,571,549,1,0,

0,0,571,555,1,0,0,0,571,562,1,0,0,0,572,70,1,0,0,0,573,574,7,8,0,0,574,72,

1,0,0,0,575,577,7,9,0,0,576,575,1,0,0,0,577,578,1,0,0,0,578,576,1,0,0,0,

578,579,1,0,0,0,579,580,1,0,0,0,580,581,6,36,0,0,581,74,1,0,0,0,582,583,

5,47,0,0,583,584,5,42,0,0,584,588,1,0,0,0,585,587,9,0,0,0,586,585,1,0,0,

0,587,590,1,0,0,0,588,589,1,0,0,0,588,586,1,0,0,0,589,591,1,0,0,0,590,588,

1,0,0,0,591,592,5,42,0,0,592,593,5,47,0,0,593,594,1,0,0,0,594,595,6,37,0,

0,595,76,1,0,0,0,596,597,5,47,0,0,597,598,5,47,0,0,598,602,1,0,0,0,599,601,

8,10,0,0,600,599,1,0,0,0,601,604,1,0,0,0,602,600,1,0,0,0,602,603,1,0,0,0,

603,605,1,0,0,0,604,602,1,0,0,0,605,606,6,38,0,0,606,78,1,0,0,0,30,0,153,

155,161,168,170,177,179,185,192,194,196,200,204,206,212,214,222,224,232,

234,238,288,562,566,568,571,578,588,602,1,6,0,0];

const atn = new antlr4.atn.ATNDeserializer().deserialize(serializedATN);

const decisionsToDFA = atn.decisionToState.map( (ds, index) => new antlr4.dfa.DFA(ds, index) );

export default class mathLexer extends antlr4.Lexer {

static grammarFileName = "";

static channelNames =[];

static modeNames =[];

static literalNames =[];

static symbolicNames =[];

static ruleNames =[];

constructor(input) {

super(input)

this._interp = new antlr4.atn.LexerATNSimulator(this, atn, decisionsToDFA, new antlr4.atn.PredictionContextCache());

}

}