1// This file was generated by lezer-generator. You probably shouldn't edit it.
2import {LRParser} from "@lezer/lr"
3import {highlighting} from "./highlight.js"
4export const parser = LRParser.deserialize({
5  version: 14,
6  states: "$UOQOPOOOOOO'#Cp'#CpOOOO'#Cn'#CnQQOPOOOQOPO'#CjOQOPO'#CkOQOPO'#ClOQOPO'#CmOQOPO'#CpOQOPO'#CpOQOPO'#CpOOOO-E6l-E6lO{OPO,59UO!SOPO,59VO!ZOPO,59WO!bOPO,59XO!iOPO,59[O!pOPO,59[O!wOPO,59[OOOO1G.p1G.pOOOO1G.q1G.qOOOO1G.r1G.rOOOO1G.s1G.sOOOO1G.v1G.v",
7  stateData: "#^~OQPORPOSPOTPOUPOVPOWWOYXO[YOeSOgTOhUOiVO~OfcO~PQOfdO~PQOfeO~PQOffO~PQOXgO~PQOZgO~PQO]gO~PQOVUQRSTWXYZ[]W~",
8  goto: "#OePPPPPPPPPPPPPPffffxP!lqPORSTUVWXY[]^_`abQRO`ZR[]^_`abQ[SQ]TQ^UQ_VQ`WQaXRbYqQORSTUVWXY[]^_`ab",
9  nodeNames: "⚠ Program KeywordControl SupportFunction KeywordOther EntityNameType ReasoningPhrase Comment OpenParen CloseParen OpenBrace CloseBrace OpenBracket CloseBracket DefinitionBlock Proof NowBlock HerebyBlock",
10  maxTerm: 25,
11  propSources: [highlighting],
12  skippedNodes: [0],
13  repeatNodeCount: 1,
14  tokenData: "! j~Rmvw!|xy#Ryz#W![!]#]!}#O#z#P#Q$P#T#U$U#U#V(O#V#W)l#W#X3U#X#Y5W#Y#Z8]#Z#[8{#[#]9_#]#^:l#`#a>_#a#b>k#b#c?W#c#d@f#d#eAk#e#fCO#f#gC[#g#hGv#h#iKZ#i#jMX#j#kMq#k#lN|#o#p! `#q#r! e~#ROQ~~#WOW~~#]OX~~#`P![!]#c~#hSV~OY#cZ;'S#c;'S;=`#t<%lO#c~#wP;=`<%l#c~$PO[~~$UO]~~$XR#b#c$b#g#h%Y#h#i'r~$eQ#W#X$k#h#i$p~$pOS~~$sP#c#d$v~$yP#b#c$|~%PP#m#n%S~%VP#a#b$k~%_QS~#g#h%e#m#n'S~%hQ#c#d%n#i#j&v~%qP#V#W%t~%wP#]#^%z~%}P#T#U&Q~&TP#h#i&W~&ZP#]#^&^~&aP#j#k&d~&gP#]#^&j~&mP#h#i&p~&sP#m#n$k~&yP#a#b&|~'PP#X#Y$k~'VP#a#b'Y~']P#a#b'`~'cP#X#Y'f~'iP#h#i'l~'oP#f#g&p~'uP#h#i'x~'{P#f#g$k~(RQ#X#Y(X#m#n(}~([Rpq$k#Z#[(e#]#^(q~(hP#]#^(k~(nP#b#c$k~(tP#b#c(w~(zP#Z#[!|~)SUU~OY(}Z!](}!^#Q(}#R;'S(};'S;=`)f<%lO(}~)iP;=`<%l(}~)oR#T#U)x#`#a+P#c#d+|~){Q#b#c*R#g#h*q~*UP#V#W*X~*[P#X#Y*_~*bP#`#a*e~*hP#X#Y*k~*nP#W#X$k~*tP#X#Y*w~*|PT~#g#h$k~+SP#i#j+V~+YP#g#h+]~+`P#h#i+c~+fP#X#Y+i~+lP#f#g+o~+tPS~#g#h+w~+|OR~~,PS#[#],]#a#b,{#b#c.W#f#g2l~,`P#X#Y,c~,fP#f#g,i~,lP#X#Y,o~,rP#b#c,u~,xP#V#W&|~-OQ#a#b-U#d#e-b~-XP#i#j-[~-_P#h#i%z~-eP#T#U-h~-kP#h#i-n~-qP#]#^-t~-wP#U#V-z~-}P#]#^.Q~.TP#`#a&d~.ZR#b#c.d#g#h/l#h#i1j~.gP#X#Y.j~.mP#V#W.p~.sP#h#i.v~.yP#X#Y.|~/PP#W#X/S~/VP#b#c/Y~/]P#X#Y/`~/cP#g#h/f~/iP#g#h$k~/oQ#]#^/u#h#i0n~/xQ#W#X0O#g#h0U~0RP#X#Y'x~0XP#h#i0[~0_P#X#Y0b~0eP#b#c0h~0kP#V#W&p~0qP#f#g0t~0wP#i#j0z~0}P#V#W1Q~1TP#h#i1W~1ZP#c#d1^~1aP#f#g1d~1gP#g#h+w~1mP#f#g1p~1sP#T#U1v~1yP#W#X1|~2PP#]#^2S~2VP#V#W2Y~2]P#h#i2`~2cP#]#^2f~2iP#c#d(k~2oP#f#g2r~2uP#X#Y2x~2{P#V#W3O~3RP#h#i/S~3XP#X#Y3[~3_P#Y#Z3b~3gRS~#Y#Z3p#]#^4S#d#e5Q~3sP#i#j3v~3yP#b#c3|~4PP#V#W$k~4VP#b#c4Y~4]P#]#^4`~4cP#h#i4f~4iP#]#^4l~4oP#c#d4r~4uP#b#c4x~4}Pe~#g#h+w~5TP#f#g*e~5ZR#b#c5d#e#f6O#l#m6}~5gQ#W#X5m#j#k5r~5rOf~~5uP#]#^5x~5{P#f#g2f~6RP#i#j6U~6XP#T#U6[~6_P#`#a6b~6eQ#]#^6k#g#h$k~6nP#h#i6q~6tP#]#^6w~6zP#X#Y1d~7QRpq!|#]#^7Z#d#e7g~7^P#g#h7a~7dP#h#i,i~7jP#T#U7m~7pP#b#c7s~7vP#g#h7y~7|P#]#^8P~8SP#c#d8V~8YP#b#c1d~8`R#c#d8i#f#g8o#i#j3v~8lP#f#g!|~8rP#c#d8u~8xP#a#b(}~9OP#]#^9R~9UP#j#k9X~9[P#X#Y(k~9bQ#X#Y9h#c#d:Y~9kQ#b#c,u#f#g9q~9tP#X#Y9w~9zP#U#V9}~:QP#m#n:T~:YOi~~:]P#`#a:`~:cP#W#X:f~:iP#g#h!|~:oV#W#X;U#Y#Z;n#a#b;w#b#c<a#f#g=c#g#h>X#h#i$k~;XP#X#Y;[~;_P#a#b;b~;eP#d#e;h~;kP#c#d7a~;qQpq$k#Y#Z!|~;zP#d#e;}~<QP#`#a<T~<WP#]#^<Z~<^P#X#Y:f~<dP#j#k<g~<jP#c#d<m~<pP#`#a<s~<vP#i#j<y~<|P#h#i=P~=SP#]#^=V~=YP#j#k=]~=`P#X#Y/S~=fP#f#g=i~=lP#X#Y=o~=rP#Y#Z=u~=xP#`#a={~>OP#X#Y>R~>UP#l#m&W~>[Ppq$k~>bP#X#Y>e~>hP#h#i$k~>nQ#X#Y>t#c#d?Q~>wP#T#U>z~>}P#b#c/f~?TP#W#X&|~?ZP#c#d?^~?aQ#h#i?g#k#l@a~?lPQ~#T#U?o~?rP#h#i?u~?xP#]#^?{~@OP#c#d@R~@UP#b#c@X~@^PR~#g#h+w~@fOh~~@iS#Y#Z$k#f#g!|#h#i@u#j#k0O~@xP#[#]@{~AOP#X#YAR~AUP#f#gAX~A[P#k#lA_~AbP#]#^Ae~AhP#g#h&|~AnQ#X#Y'x#f#gAt~AwQ#X#Y*k#c#dA}~BQR#^#_BZ#c#dBg#j#kBr~B^P#X#YBa~BdP#V#W&Q~BjP#Y#ZBm~BrOg~~BuP#]#^Bx~B{P#W#X*e~CRP#i#jCU~CXP#T#U$k~C_P#X#YCb~CeU#V#WCw#W#XDg#Y#Z=u#Z#[EP#e#fFb#g#hGd~CzP#c#dC}~DQP#b#cDT~DWP#g#hDZ~D^P#]#^Da~DdP#W#X0O~DjP#X#YDm~DpP#Y#ZDs~DvP#]#^Dy~D|P#b#c&|~ESP#]#^EV~EYP#g#hE]~E`P#h#iEc~EfP#f#gEi~ElP#T#UEo~ErP#h#iEu~ExP#]#^E{~FOP#c#dFR~FUP#b#cFX~F[Qpq+w#g#h+w~FeP#i#jFh~FkP#]#^Fn~FqP#f#gFt~FwP#X#YFz~F}P#a#bGQ~GTP#X#YGW~GZP#b#cG^~GaP#h#i1d~GgP#X#YGj~GmP#f#gGp~GsP#j#k&|~GyT#V#WHY#]#^Hr#h#iIn#i#jJS#m#nKQ~H]P#[#]H`~HcP#X#YHf~HiP#a#bHl~HoP#X#Y@X~HuP#Z#[Hx~H{P#b#cIO~IRP#T#UIU~IXP#h#iI[~I_P#i#jIb~IeP#f#gIh~IkP#X#Y+w~IsPQ~#f#gIv~IyP#i#jI|~JPP#V#W>e~JVQ#V#WJ]#d#eJc~J`P#[#]$k~JfP#d#eJi~JlP#c#dJo~JrP#g#hJu~JxP#X#YJ{~KQOT~~KTQ#a#b'Y#b#c$p~K^R#T#UKg#[#]Km#f#gLo~KjP#_#`&|~KpR#T#U>e#X#YKy#i#j/f~K|R#b#c$k#c#dLV#g#hLi~LYP#f#gL]~L`P#X#YLc~LfP#a#b@X~LlP#]#^/f~LrP#T#ULu~LxP#b#cL{~MOP#g#hMR~MUP#]#^&Q~M[P#b#cM_~MbP#]#^Me~MhP#e#fMk~MnP#i#j=]~MtP#c#dMw~MzP#V#WM}~NQP#T#UNT~NWP#U#VNZ~N^P#i#jNa~NdP#`#aNg~NjP#T#UNm~NpP#f#gNs~NvQ#]#^6w#m#n+w~! PP#[#]! S~! VP#X#Y! Y~! ]P#f#g&|~! eOY~~! jOZ~",
15  tokenizers: [0],
16  topRules: {"Program":[0,1]},
17  tokenPrec: 92
18})
19