Browsable monster Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/metrics/monster/extracted
Source used for this grammar: Vadim Zaytsev, “Monster” grammar generator, monster.py, 200?

Summary

• Total 800 production rules with 800 top alternatives and 5600 symbols.
• Vocabulary: 550 = 400 nonterminals + 150 terminals + 0 labels + 0 markers.
• Total 400 nonterminal symbols: 400 defined (nt0, nt1, nt2, nt3, nt4, nt5, nt6, nt7, nt8, nt9, nt10, nt11, nt12, nt13, nt14, nt15, nt16, nt17, nt18, nt19, nt20, nt21, nt22, nt23, nt24, nt25, nt26, nt27, nt28, nt29, nt30, nt31, nt32, nt33, nt34, nt35, nt36, nt37, nt38, nt39, nt40, nt41, nt42, nt43, nt44, nt45, nt46, nt47, nt48, nt49, nt50, nt51, nt52, nt53, nt54, nt55, nt56, nt57, nt58, nt59, nt60, nt61, nt62, nt63, nt64, nt65, nt66, nt67, nt68, nt69, nt70, nt71, nt72, nt73, nt74, nt75, nt76, nt77, nt78, nt79, nt80, nt81, nt82, nt83, nt84, nt85, nt86, nt87, nt88, nt89, nt90, nt91, nt92, nt93, nt94, nt95, nt96, nt97, nt98, nt99, nt100, nt101, nt102, nt103, nt104, nt105, nt106, nt107, nt108, nt109, nt110, nt111, nt112, nt113, nt114, nt115, nt116, nt117, nt118, nt119, nt120, nt121, nt122, nt123, nt124, nt125, nt126, nt127, nt128, nt129, nt130, nt131, nt132, nt133, nt134, nt135, nt136, nt137, nt138, nt139, nt140, nt141, nt142, nt143, nt144, nt145, nt146, nt147, nt148, nt149, nt150, nt151, nt152, nt153, nt154, nt155, nt156, nt157, nt158, nt159, nt160, nt161, nt162, nt163, nt164, nt165, nt166, nt167, nt168, nt169, nt170, nt171, nt172, nt173, nt174, nt175, nt176, nt177, nt178, nt179, nt180, nt181, nt182, nt183, nt184, nt185, nt186, nt187, nt188, nt189, nt190, nt191, nt192, nt193, nt194, nt195, nt196, nt197, nt198, nt199, nt200, nt201, nt202, nt203, nt204, nt205, nt206, nt207, nt208, nt209, nt210, nt211, nt212, nt213, nt214, nt215, nt216, nt217, nt218, nt219, nt220, nt221, nt222, nt223, nt224, nt225, nt226, nt227, nt228, nt229, nt230, nt231, nt232, nt233, nt234, nt235, nt236, nt237, nt238, nt239, nt240, nt241, nt242, nt243, nt244, nt245, nt246, nt247, nt248, nt249, nt250, nt251, nt252, nt253, nt254, nt255, nt256, nt257, nt258, nt259, nt260, nt261, nt262, nt263, nt264, nt265, nt266, nt267, nt268, nt269, nt270, nt271, nt272, nt273, nt274, nt275, nt276, nt277, nt278, nt279, nt280, nt281, nt282, nt283, nt284, nt285, nt286, nt287, nt288, nt289, nt290, nt291, nt292, nt293, nt294, nt295, nt296, nt297, nt298, nt299, nt300, nt301, nt302, nt303, nt304, nt305, nt306, nt307, nt308, nt309, nt310, nt311, nt312, nt313, nt314, nt315, nt316, nt317, nt318, nt319, nt320, nt321, nt322, nt323, nt324, nt325, nt326, nt327, nt328, nt329, nt330, nt331, nt332, nt333, nt334, nt335, nt336, nt337, nt338, nt339, nt340, nt341, nt342, nt343, nt344, nt345, nt346, nt347, nt348, nt349, nt350, nt351, nt352, nt353, nt354, nt355, nt356, nt357, nt358, nt359, nt360, nt361, nt362, nt363, nt364, nt365, nt366, nt367, nt368, nt369, nt370, nt371, nt372, nt373, nt374, nt375, nt376, nt377, nt378, nt379, nt380, nt381, nt382, nt383, nt384, nt385, nt386, nt387, nt388, nt389, nt390, nt391, nt392, nt393, nt394, nt395, nt396, nt397, nt398, nt399), 0 root (—), 0 top (—), 0 bottom (—).
• Total 150 terminal symbols: 0 keywords (—), 0 letters (—), 0 numerics (—), 0 signs (—).

Syntax

nt0 ::=
	φ

nt0 ::=
	nt1+ (nt2* | nt3?) "t0"

nt1 ::=
	ε

nt1 ::=
	nt2+ (nt3* | nt4?) "t1"

nt2 ::=
	α

nt2 ::=
	nt3+ (nt4* | nt5?) "t2"

nt3 ::=
	φ

nt3 ::=
	nt4+ (nt5* | nt6?) "t3"

nt4 ::=
	ε

nt4 ::=
	nt5+ (nt6* | nt7?) "t4"

nt5 ::=
	α

nt5 ::=
	nt6+ (nt7* | nt8?) "t5"

nt6 ::=
	φ

nt6 ::=
	nt7+ (nt8* | nt9?) "t6"

nt7 ::=
	ε

nt7 ::=
	nt8+ (nt9* | nt10?) "t7"

nt8 ::=
	α

nt8 ::=
	nt9+ (nt10* | nt11?) "t8"

nt9 ::=
	φ

nt9 ::=
	nt10+ (nt11* | nt12?) "t9"

nt10 ::=
	ε

nt10 ::=
	nt11+ (nt12* | nt13?) "t10"

nt11 ::=
	α

nt11 ::=
	nt12+ (nt13* | nt14?) "t11"

nt12 ::=
	φ

nt12 ::=
	nt13+ (nt14* | nt15?) "t12"

nt13 ::=
	ε

nt13 ::=
	nt14+ (nt15* | nt16?) "t13"

nt14 ::=
	α

nt14 ::=
	nt15+ (nt16* | nt17?) "t14"

nt15 ::=
	φ

nt15 ::=
	nt16+ (nt17* | nt18?) "t15"

nt16 ::=
	ε

nt16 ::=
	nt17+ (nt18* | nt19?) "t16"

nt17 ::=
	α

nt17 ::=
	nt18+ (nt19* | nt20?) "t17"

nt18 ::=
	φ

nt18 ::=
	nt19+ (nt20* | nt21?) "t18"

nt19 ::=
	ε

nt19 ::=
	nt20+ (nt21* | nt22?) "t19"

nt20 ::=
	α

nt20 ::=
	nt21+ (nt22* | nt23?) "t20"

nt21 ::=
	φ

nt21 ::=
	nt22+ (nt23* | nt24?) "t21"

nt22 ::=
	ε

nt22 ::=
	nt23+ (nt24* | nt25?) "t22"

nt23 ::=
	α

nt23 ::=
	nt24+ (nt25* | nt26?) "t23"

nt24 ::=
	φ

nt24 ::=
	nt25+ (nt26* | nt27?) "t24"

nt25 ::=
	ε

nt25 ::=
	nt26+ (nt27* | nt28?) "t25"

nt26 ::=
	α

nt26 ::=
	nt27+ (nt28* | nt29?) "t26"

nt27 ::=
	φ

nt27 ::=
	nt28+ (nt29* | nt30?) "t27"

nt28 ::=
	ε

nt28 ::=
	nt29+ (nt30* | nt31?) "t28"

nt29 ::=
	α

nt29 ::=
	nt30+ (nt31* | nt32?) "t29"

nt30 ::=
	φ

nt30 ::=
	nt31+ (nt32* | nt33?) "t30"

nt31 ::=
	ε

nt31 ::=
	nt32+ (nt33* | nt34?) "t31"

nt32 ::=
	α

nt32 ::=
	nt33+ (nt34* | nt35?) "t32"

nt33 ::=
	φ

nt33 ::=
	nt34+ (nt35* | nt36?) "t33"

nt34 ::=
	ε

nt34 ::=
	nt35+ (nt36* | nt37?) "t34"

nt35 ::=
	α

nt35 ::=
	nt36+ (nt37* | nt38?) "t35"

nt36 ::=
	φ

nt36 ::=
	nt37+ (nt38* | nt39?) "t36"

nt37 ::=
	ε

nt37 ::=
	nt38+ (nt39* | nt40?) "t37"

nt38 ::=
	α

nt38 ::=
	nt39+ (nt40* | nt41?) "t38"

nt39 ::=
	φ

nt39 ::=
	nt40+ (nt41* | nt42?) "t39"

nt40 ::=
	ε

nt40 ::=
	nt41+ (nt42* | nt43?) "t40"

nt41 ::=
	α

nt41 ::=
	nt42+ (nt43* | nt44?) "t41"

nt42 ::=
	φ

nt42 ::=
	nt43+ (nt44* | nt45?) "t42"

nt43 ::=
	ε

nt43 ::=
	nt44+ (nt45* | nt46?) "t43"

nt44 ::=
	α

nt44 ::=
	nt45+ (nt46* | nt47?) "t44"

nt45 ::=
	φ

nt45 ::=
	nt46+ (nt47* | nt48?) "t45"

nt46 ::=
	ε

nt46 ::=
	nt47+ (nt48* | nt49?) "t46"

nt47 ::=
	α

nt47 ::=
	nt48+ (nt49* | nt50?) "t47"

nt48 ::=
	φ

nt48 ::=
	nt49+ (nt50* | nt51?) "t48"

nt49 ::=
	ε

nt49 ::=
	nt50+ (nt51* | nt52?) "t49"

nt50 ::=
	α

nt50 ::=
	nt51+ (nt52* | nt53?) "t50"

nt51 ::=
	φ

nt51 ::=
	nt52+ (nt53* | nt54?) "t51"

nt52 ::=
	ε

nt52 ::=
	nt53+ (nt54* | nt55?) "t52"

nt53 ::=
	α

nt53 ::=
	nt54+ (nt55* | nt56?) "t53"

nt54 ::=
	φ

nt54 ::=
	nt55+ (nt56* | nt57?) "t54"

nt55 ::=
	ε

nt55 ::=
	nt56+ (nt57* | nt58?) "t55"

nt56 ::=
	α

nt56 ::=
	nt57+ (nt58* | nt59?) "t56"

nt57 ::=
	φ

nt57 ::=
	nt58+ (nt59* | nt60?) "t57"

nt58 ::=
	ε

nt58 ::=
	nt59+ (nt60* | nt61?) "t58"

nt59 ::=
	α

nt59 ::=
	nt60+ (nt61* | nt62?) "t59"

nt60 ::=
	φ

nt60 ::=
	nt61+ (nt62* | nt63?) "t60"

nt61 ::=
	ε

nt61 ::=
	nt62+ (nt63* | nt64?) "t61"

nt62 ::=
	α

nt62 ::=
	nt63+ (nt64* | nt65?) "t62"

nt63 ::=
	φ

nt63 ::=
	nt64+ (nt65* | nt66?) "t63"

nt64 ::=
	ε

nt64 ::=
	nt65+ (nt66* | nt67?) "t64"

nt65 ::=
	α

nt65 ::=
	nt66+ (nt67* | nt68?) "t65"

nt66 ::=
	φ

nt66 ::=
	nt67+ (nt68* | nt69?) "t66"

nt67 ::=
	ε

nt67 ::=
	nt68+ (nt69* | nt70?) "t67"

nt68 ::=
	α

nt68 ::=
	nt69+ (nt70* | nt71?) "t68"

nt69 ::=
	φ

nt69 ::=
	nt70+ (nt71* | nt72?) "t69"

nt70 ::=
	ε

nt70 ::=
	nt71+ (nt72* | nt73?) "t70"

nt71 ::=
	α

nt71 ::=
	nt72+ (nt73* | nt74?) "t71"

nt72 ::=
	φ

nt72 ::=
	nt73+ (nt74* | nt75?) "t72"

nt73 ::=
	ε

nt73 ::=
	nt74+ (nt75* | nt76?) "t73"

nt74 ::=
	α

nt74 ::=
	nt75+ (nt76* | nt77?) "t74"

nt75 ::=
	φ

nt75 ::=
	nt76+ (nt77* | nt78?) "t75"

nt76 ::=
	ε

nt76 ::=
	nt77+ (nt78* | nt79?) "t76"

nt77 ::=
	α

nt77 ::=
	nt78+ (nt79* | nt80?) "t77"

nt78 ::=
	φ

nt78 ::=
	nt79+ (nt80* | nt81?) "t78"

nt79 ::=
	ε

nt79 ::=
	nt80+ (nt81* | nt82?) "t79"

nt80 ::=
	α

nt80 ::=
	nt81+ (nt82* | nt83?) "t80"

nt81 ::=
	φ

nt81 ::=
	nt82+ (nt83* | nt84?) "t81"

nt82 ::=
	ε

nt82 ::=
	nt83+ (nt84* | nt85?) "t82"

nt83 ::=
	α

nt83 ::=
	nt84+ (nt85* | nt86?) "t83"

nt84 ::=
	φ

nt84 ::=
	nt85+ (nt86* | nt87?) "t84"

nt85 ::=
	ε

nt85 ::=
	nt86+ (nt87* | nt88?) "t85"

nt86 ::=
	α

nt86 ::=
	nt87+ (nt88* | nt89?) "t86"

nt87 ::=
	φ

nt87 ::=
	nt88+ (nt89* | nt90?) "t87"

nt88 ::=
	ε

nt88 ::=
	nt89+ (nt90* | nt91?) "t88"

nt89 ::=
	α

nt89 ::=
	nt90+ (nt91* | nt92?) "t89"

nt90 ::=
	φ

nt90 ::=
	nt91+ (nt92* | nt93?) "t90"

nt91 ::=
	ε

nt91 ::=
	nt92+ (nt93* | nt94?) "t91"

nt92 ::=
	α

nt92 ::=
	nt93+ (nt94* | nt95?) "t92"

nt93 ::=
	φ

nt93 ::=
	nt94+ (nt95* | nt96?) "t93"

nt94 ::=
	ε

nt94 ::=
	nt95+ (nt96* | nt97?) "t94"

nt95 ::=
	α

nt95 ::=
	nt96+ (nt97* | nt98?) "t95"

nt96 ::=
	φ

nt96 ::=
	nt97+ (nt98* | nt99?) "t96"

nt97 ::=
	ε

nt97 ::=
	nt98+ (nt99* | nt100?) "t97"

nt98 ::=
	α

nt98 ::=
	nt99+ (nt100* | nt101?) "t98"

nt99 ::=
	φ

nt99 ::=
	nt100+ (nt101* | nt102?) "t99"

nt100 ::=
	ε

nt100 ::=
	nt101+ (nt102* | nt103?) "t100"

nt101 ::=
	α

nt101 ::=
	nt102+ (nt103* | nt104?) "t101"

nt102 ::=
	φ

nt102 ::=
	nt103+ (nt104* | nt105?) "t102"

nt103 ::=
	ε

nt103 ::=
	nt104+ (nt105* | nt106?) "t103"

nt104 ::=
	α

nt104 ::=
	nt105+ (nt106* | nt107?) "t104"

nt105 ::=
	φ

nt105 ::=
	nt106+ (nt107* | nt108?) "t105"

nt106 ::=
	ε

nt106 ::=
	nt107+ (nt108* | nt109?) "t106"

nt107 ::=
	α

nt107 ::=
	nt108+ (nt109* | nt110?) "t107"

nt108 ::=
	φ

nt108 ::=
	nt109+ (nt110* | nt111?) "t108"

nt109 ::=
	ε

nt109 ::=
	nt110+ (nt111* | nt112?) "t109"

nt110 ::=
	α

nt110 ::=
	nt111+ (nt112* | nt113?) "t110"

nt111 ::=
	φ

nt111 ::=
	nt112+ (nt113* | nt114?) "t111"

nt112 ::=
	ε

nt112 ::=
	nt113+ (nt114* | nt115?) "t112"

nt113 ::=
	α

nt113 ::=
	nt114+ (nt115* | nt116?) "t113"

nt114 ::=
	φ

nt114 ::=
	nt115+ (nt116* | nt117?) "t114"

nt115 ::=
	ε

nt115 ::=
	nt116+ (nt117* | nt118?) "t115"

nt116 ::=
	α

nt116 ::=
	nt117+ (nt118* | nt119?) "t116"

nt117 ::=
	φ

nt117 ::=
	nt118+ (nt119* | nt120?) "t117"

nt118 ::=
	ε

nt118 ::=
	nt119+ (nt120* | nt121?) "t118"

nt119 ::=
	α

nt119 ::=
	nt120+ (nt121* | nt122?) "t119"

nt120 ::=
	φ

nt120 ::=
	nt121+ (nt122* | nt123?) "t120"

nt121 ::=
	ε

nt121 ::=
	nt122+ (nt123* | nt124?) "t121"

nt122 ::=
	α

nt122 ::=
	nt123+ (nt124* | nt125?) "t122"

nt123 ::=
	φ

nt123 ::=
	nt124+ (nt125* | nt126?) "t123"

nt124 ::=
	ε

nt124 ::=
	nt125+ (nt126* | nt127?) "t124"

nt125 ::=
	α

nt125 ::=
	nt126+ (nt127* | nt128?) "t125"

nt126 ::=
	φ

nt126 ::=
	nt127+ (nt128* | nt129?) "t126"

nt127 ::=
	ε

nt127 ::=
	nt128+ (nt129* | nt130?) "t127"

nt128 ::=
	α

nt128 ::=
	nt129+ (nt130* | nt131?) "t128"

nt129 ::=
	φ

nt129 ::=
	nt130+ (nt131* | nt132?) "t129"

nt130 ::=
	ε

nt130 ::=
	nt131+ (nt132* | nt133?) "t130"

nt131 ::=
	α

nt131 ::=
	nt132+ (nt133* | nt134?) "t131"

nt132 ::=
	φ

nt132 ::=
	nt133+ (nt134* | nt135?) "t132"

nt133 ::=
	ε

nt133 ::=
	nt134+ (nt135* | nt136?) "t133"

nt134 ::=
	α

nt134 ::=
	nt135+ (nt136* | nt137?) "t134"

nt135 ::=
	φ

nt135 ::=
	nt136+ (nt137* | nt138?) "t135"

nt136 ::=
	ε

nt136 ::=
	nt137+ (nt138* | nt139?) "t136"

nt137 ::=
	α

nt137 ::=
	nt138+ (nt139* | nt140?) "t137"

nt138 ::=
	φ

nt138 ::=
	nt139+ (nt140* | nt141?) "t138"

nt139 ::=
	ε

nt139 ::=
	nt140+ (nt141* | nt142?) "t139"

nt140 ::=
	α

nt140 ::=
	nt141+ (nt142* | nt143?) "t140"

nt141 ::=
	φ

nt141 ::=
	nt142+ (nt143* | nt144?) "t141"

nt142 ::=
	ε

nt142 ::=
	nt143+ (nt144* | nt145?) "t142"

nt143 ::=
	α

nt143 ::=
	nt144+ (nt145* | nt146?) "t143"

nt144 ::=
	φ

nt144 ::=
	nt145+ (nt146* | nt147?) "t144"

nt145 ::=
	ε

nt145 ::=
	nt146+ (nt147* | nt148?) "t145"

nt146 ::=
	α

nt146 ::=
	nt147+ (nt148* | nt149?) "t146"

nt147 ::=
	φ

nt147 ::=
	nt148+ (nt149* | nt150?) "t147"

nt148 ::=
	ε

nt148 ::=
	nt149+ (nt150* | nt151?) "t148"

nt149 ::=
	α

nt149 ::=
	nt150+ (nt151* | nt152?) "t149"

nt150 ::=
	φ

nt150 ::=
	nt151+ (nt152* | nt153?) "t0"

nt151 ::=
	ε

nt151 ::=
	nt152+ (nt153* | nt154?) "t1"

nt152 ::=
	α

nt152 ::=
	nt153+ (nt154* | nt155?) "t2"

nt153 ::=
	φ

nt153 ::=
	nt154+ (nt155* | nt156?) "t3"

nt154 ::=
	ε

nt154 ::=
	nt155+ (nt156* | nt157?) "t4"

nt155 ::=
	α

nt155 ::=
	nt156+ (nt157* | nt158?) "t5"

nt156 ::=
	φ

nt156 ::=
	nt157+ (nt158* | nt159?) "t6"

nt157 ::=
	ε

nt157 ::=
	nt158+ (nt159* | nt160?) "t7"

nt158 ::=
	α

nt158 ::=
	nt159+ (nt160* | nt161?) "t8"

nt159 ::=
	φ

nt159 ::=
	nt160+ (nt161* | nt162?) "t9"

nt160 ::=
	ε

nt160 ::=
	nt161+ (nt162* | nt163?) "t10"

nt161 ::=
	α

nt161 ::=
	nt162+ (nt163* | nt164?) "t11"

nt162 ::=
	φ

nt162 ::=
	nt163+ (nt164* | nt165?) "t12"

nt163 ::=
	ε

nt163 ::=
	nt164+ (nt165* | nt166?) "t13"

nt164 ::=
	α

nt164 ::=
	nt165+ (nt166* | nt167?) "t14"

nt165 ::=
	φ

nt165 ::=
	nt166+ (nt167* | nt168?) "t15"

nt166 ::=
	ε

nt166 ::=
	nt167+ (nt168* | nt169?) "t16"

nt167 ::=
	α

nt167 ::=
	nt168+ (nt169* | nt170?) "t17"

nt168 ::=
	φ

nt168 ::=
	nt169+ (nt170* | nt171?) "t18"

nt169 ::=
	ε

nt169 ::=
	nt170+ (nt171* | nt172?) "t19"

nt170 ::=
	α

nt170 ::=
	nt171+ (nt172* | nt173?) "t20"

nt171 ::=
	φ

nt171 ::=
	nt172+ (nt173* | nt174?) "t21"

nt172 ::=
	ε

nt172 ::=
	nt173+ (nt174* | nt175?) "t22"

nt173 ::=
	α

nt173 ::=
	nt174+ (nt175* | nt176?) "t23"

nt174 ::=
	φ

nt174 ::=
	nt175+ (nt176* | nt177?) "t24"

nt175 ::=
	ε

nt175 ::=
	nt176+ (nt177* | nt178?) "t25"

nt176 ::=
	α

nt176 ::=
	nt177+ (nt178* | nt179?) "t26"

nt177 ::=
	φ

nt177 ::=
	nt178+ (nt179* | nt180?) "t27"

nt178 ::=
	ε

nt178 ::=
	nt179+ (nt180* | nt181?) "t28"

nt179 ::=
	α

nt179 ::=
	nt180+ (nt181* | nt182?) "t29"

nt180 ::=
	φ

nt180 ::=
	nt181+ (nt182* | nt183?) "t30"

nt181 ::=
	ε

nt181 ::=
	nt182+ (nt183* | nt184?) "t31"

nt182 ::=
	α

nt182 ::=
	nt183+ (nt184* | nt185?) "t32"

nt183 ::=
	φ

nt183 ::=
	nt184+ (nt185* | nt186?) "t33"

nt184 ::=
	ε

nt184 ::=
	nt185+ (nt186* | nt187?) "t34"

nt185 ::=
	α

nt185 ::=
	nt186+ (nt187* | nt188?) "t35"

nt186 ::=
	φ

nt186 ::=
	nt187+ (nt188* | nt189?) "t36"

nt187 ::=
	ε

nt187 ::=
	nt188+ (nt189* | nt190?) "t37"

nt188 ::=
	α

nt188 ::=
	nt189+ (nt190* | nt191?) "t38"

nt189 ::=
	φ

nt189 ::=
	nt190+ (nt191* | nt192?) "t39"

nt190 ::=
	ε

nt190 ::=
	nt191+ (nt192* | nt193?) "t40"

nt191 ::=
	α

nt191 ::=
	nt192+ (nt193* | nt194?) "t41"

nt192 ::=
	φ

nt192 ::=
	nt193+ (nt194* | nt195?) "t42"

nt193 ::=
	ε

nt193 ::=
	nt194+ (nt195* | nt196?) "t43"

nt194 ::=
	α

nt194 ::=
	nt195+ (nt196* | nt197?) "t44"

nt195 ::=
	φ

nt195 ::=
	nt196+ (nt197* | nt198?) "t45"

nt196 ::=
	ε

nt196 ::=
	nt197+ (nt198* | nt199?) "t46"

nt197 ::=
	α

nt197 ::=
	nt198+ (nt199* | nt200?) "t47"

nt198 ::=
	φ

nt198 ::=
	nt199+ (nt200* | nt201?) "t48"

nt199 ::=
	ε

nt199 ::=
	nt200+ (nt201* | nt202?) "t49"

nt200 ::=
	α

nt200 ::=
	nt201+ (nt202* | nt203?) "t50"

nt201 ::=
	φ

nt201 ::=
	nt202+ (nt203* | nt204?) "t51"

nt202 ::=
	ε

nt202 ::=
	nt203+ (nt204* | nt205?) "t52"

nt203 ::=
	α

nt203 ::=
	nt204+ (nt205* | nt206?) "t53"

nt204 ::=
	φ

nt204 ::=
	nt205+ (nt206* | nt207?) "t54"

nt205 ::=
	ε

nt205 ::=
	nt206+ (nt207* | nt208?) "t55"

nt206 ::=
	α

nt206 ::=
	nt207+ (nt208* | nt209?) "t56"

nt207 ::=
	φ

nt207 ::=
	nt208+ (nt209* | nt210?) "t57"

nt208 ::=
	ε

nt208 ::=
	nt209+ (nt210* | nt211?) "t58"

nt209 ::=
	α

nt209 ::=
	nt210+ (nt211* | nt212?) "t59"

nt210 ::=
	φ

nt210 ::=
	nt211+ (nt212* | nt213?) "t60"

nt211 ::=
	ε

nt211 ::=
	nt212+ (nt213* | nt214?) "t61"

nt212 ::=
	α

nt212 ::=
	nt213+ (nt214* | nt215?) "t62"

nt213 ::=
	φ

nt213 ::=
	nt214+ (nt215* | nt216?) "t63"

nt214 ::=
	ε

nt214 ::=
	nt215+ (nt216* | nt217?) "t64"

nt215 ::=
	α

nt215 ::=
	nt216+ (nt217* | nt218?) "t65"

nt216 ::=
	φ

nt216 ::=
	nt217+ (nt218* | nt219?) "t66"

nt217 ::=
	ε

nt217 ::=
	nt218+ (nt219* | nt220?) "t67"

nt218 ::=
	α

nt218 ::=
	nt219+ (nt220* | nt221?) "t68"

nt219 ::=
	φ

nt219 ::=
	nt220+ (nt221* | nt222?) "t69"

nt220 ::=
	ε

nt220 ::=
	nt221+ (nt222* | nt223?) "t70"

nt221 ::=
	α

nt221 ::=
	nt222+ (nt223* | nt224?) "t71"

nt222 ::=
	φ

nt222 ::=
	nt223+ (nt224* | nt225?) "t72"

nt223 ::=
	ε

nt223 ::=
	nt224+ (nt225* | nt226?) "t73"

nt224 ::=
	α

nt224 ::=
	nt225+ (nt226* | nt227?) "t74"

nt225 ::=
	φ

nt225 ::=
	nt226+ (nt227* | nt228?) "t75"

nt226 ::=
	ε

nt226 ::=
	nt227+ (nt228* | nt229?) "t76"

nt227 ::=
	α

nt227 ::=
	nt228+ (nt229* | nt230?) "t77"

nt228 ::=
	φ

nt228 ::=
	nt229+ (nt230* | nt231?) "t78"

nt229 ::=
	ε

nt229 ::=
	nt230+ (nt231* | nt232?) "t79"

nt230 ::=
	α

nt230 ::=
	nt231+ (nt232* | nt233?) "t80"

nt231 ::=
	φ

nt231 ::=
	nt232+ (nt233* | nt234?) "t81"

nt232 ::=
	ε

nt232 ::=
	nt233+ (nt234* | nt235?) "t82"

nt233 ::=
	α

nt233 ::=
	nt234+ (nt235* | nt236?) "t83"

nt234 ::=
	φ

nt234 ::=
	nt235+ (nt236* | nt237?) "t84"

nt235 ::=
	ε

nt235 ::=
	nt236+ (nt237* | nt238?) "t85"

nt236 ::=
	α

nt236 ::=
	nt237+ (nt238* | nt239?) "t86"

nt237 ::=
	φ

nt237 ::=
	nt238+ (nt239* | nt240?) "t87"

nt238 ::=
	ε

nt238 ::=
	nt239+ (nt240* | nt241?) "t88"

nt239 ::=
	α

nt239 ::=
	nt240+ (nt241* | nt242?) "t89"

nt240 ::=
	φ

nt240 ::=
	nt241+ (nt242* | nt243?) "t90"

nt241 ::=
	ε

nt241 ::=
	nt242+ (nt243* | nt244?) "t91"

nt242 ::=
	α

nt242 ::=
	nt243+ (nt244* | nt245?) "t92"

nt243 ::=
	φ

nt243 ::=
	nt244+ (nt245* | nt246?) "t93"

nt244 ::=
	ε

nt244 ::=
	nt245+ (nt246* | nt247?) "t94"

nt245 ::=
	α

nt245 ::=
	nt246+ (nt247* | nt248?) "t95"

nt246 ::=
	φ

nt246 ::=
	nt247+ (nt248* | nt249?) "t96"

nt247 ::=
	ε

nt247 ::=
	nt248+ (nt249* | nt250?) "t97"

nt248 ::=
	α

nt248 ::=
	nt249+ (nt250* | nt251?) "t98"

nt249 ::=
	φ

nt249 ::=
	nt250+ (nt251* | nt252?) "t99"

nt250 ::=
	ε

nt250 ::=
	nt251+ (nt252* | nt253?) "t100"

nt251 ::=
	α

nt251 ::=
	nt252+ (nt253* | nt254?) "t101"

nt252 ::=
	φ

nt252 ::=
	nt253+ (nt254* | nt255?) "t102"

nt253 ::=
	ε

nt253 ::=
	nt254+ (nt255* | nt256?) "t103"

nt254 ::=
	α

nt254 ::=
	nt255+ (nt256* | nt257?) "t104"

nt255 ::=
	φ

nt255 ::=
	nt256+ (nt257* | nt258?) "t105"

nt256 ::=
	ε

nt256 ::=
	nt257+ (nt258* | nt259?) "t106"

nt257 ::=
	α

nt257 ::=
	nt258+ (nt259* | nt260?) "t107"

nt258 ::=
	φ

nt258 ::=
	nt259+ (nt260* | nt261?) "t108"

nt259 ::=
	ε

nt259 ::=
	nt260+ (nt261* | nt262?) "t109"

nt260 ::=
	α

nt260 ::=
	nt261+ (nt262* | nt263?) "t110"

nt261 ::=
	φ

nt261 ::=
	nt262+ (nt263* | nt264?) "t111"

nt262 ::=
	ε

nt262 ::=
	nt263+ (nt264* | nt265?) "t112"

nt263 ::=
	α

nt263 ::=
	nt264+ (nt265* | nt266?) "t113"

nt264 ::=
	φ

nt264 ::=
	nt265+ (nt266* | nt267?) "t114"

nt265 ::=
	ε

nt265 ::=
	nt266+ (nt267* | nt268?) "t115"

nt266 ::=
	α

nt266 ::=
	nt267+ (nt268* | nt269?) "t116"

nt267 ::=
	φ

nt267 ::=
	nt268+ (nt269* | nt270?) "t117"

nt268 ::=
	ε

nt268 ::=
	nt269+ (nt270* | nt271?) "t118"

nt269 ::=
	α

nt269 ::=
	nt270+ (nt271* | nt272?) "t119"

nt270 ::=
	φ

nt270 ::=
	nt271+ (nt272* | nt273?) "t120"

nt271 ::=
	ε

nt271 ::=
	nt272+ (nt273* | nt274?) "t121"

nt272 ::=
	α

nt272 ::=
	nt273+ (nt274* | nt275?) "t122"

nt273 ::=
	φ

nt273 ::=
	nt274+ (nt275* | nt276?) "t123"

nt274 ::=
	ε

nt274 ::=
	nt275+ (nt276* | nt277?) "t124"

nt275 ::=
	α

nt275 ::=
	nt276+ (nt277* | nt278?) "t125"

nt276 ::=
	φ

nt276 ::=
	nt277+ (nt278* | nt279?) "t126"

nt277 ::=
	ε

nt277 ::=
	nt278+ (nt279* | nt280?) "t127"

nt278 ::=
	α

nt278 ::=
	nt279+ (nt280* | nt281?) "t128"

nt279 ::=
	φ

nt279 ::=
	nt280+ (nt281* | nt282?) "t129"

nt280 ::=
	ε

nt280 ::=
	nt281+ (nt282* | nt283?) "t130"

nt281 ::=
	α

nt281 ::=
	nt282+ (nt283* | nt284?) "t131"

nt282 ::=
	φ

nt282 ::=
	nt283+ (nt284* | nt285?) "t132"

nt283 ::=
	ε

nt283 ::=
	nt284+ (nt285* | nt286?) "t133"

nt284 ::=
	α

nt284 ::=
	nt285+ (nt286* | nt287?) "t134"

nt285 ::=
	φ

nt285 ::=
	nt286+ (nt287* | nt288?) "t135"

nt286 ::=
	ε

nt286 ::=
	nt287+ (nt288* | nt289?) "t136"

nt287 ::=
	α

nt287 ::=
	nt288+ (nt289* | nt290?) "t137"

nt288 ::=
	φ

nt288 ::=
	nt289+ (nt290* | nt291?) "t138"

nt289 ::=
	ε

nt289 ::=
	nt290+ (nt291* | nt292?) "t139"

nt290 ::=
	α

nt290 ::=
	nt291+ (nt292* | nt293?) "t140"

nt291 ::=
	φ

nt291 ::=
	nt292+ (nt293* | nt294?) "t141"

nt292 ::=
	ε

nt292 ::=
	nt293+ (nt294* | nt295?) "t142"

nt293 ::=
	α

nt293 ::=
	nt294+ (nt295* | nt296?) "t143"

nt294 ::=
	φ

nt294 ::=
	nt295+ (nt296* | nt297?) "t144"

nt295 ::=
	ε

nt295 ::=
	nt296+ (nt297* | nt298?) "t145"

nt296 ::=
	α

nt296 ::=
	nt297+ (nt298* | nt299?) "t146"

nt297 ::=
	φ

nt297 ::=
	nt298+ (nt299* | nt300?) "t147"

nt298 ::=
	ε

nt298 ::=
	nt299+ (nt300* | nt301?) "t148"

nt299 ::=
	α

nt299 ::=
	nt300+ (nt301* | nt302?) "t149"

nt300 ::=
	φ

nt300 ::=
	nt301+ (nt302* | nt303?) "t0"

nt301 ::=
	ε

nt301 ::=
	nt302+ (nt303* | nt304?) "t1"

nt302 ::=
	α

nt302 ::=
	nt303+ (nt304* | nt305?) "t2"

nt303 ::=
	φ

nt303 ::=
	nt304+ (nt305* | nt306?) "t3"

nt304 ::=
	ε

nt304 ::=
	nt305+ (nt306* | nt307?) "t4"

nt305 ::=
	α

nt305 ::=
	nt306+ (nt307* | nt308?) "t5"

nt306 ::=
	φ

nt306 ::=
	nt307+ (nt308* | nt309?) "t6"

nt307 ::=
	ε

nt307 ::=
	nt308+ (nt309* | nt310?) "t7"

nt308 ::=
	α

nt308 ::=
	nt309+ (nt310* | nt311?) "t8"

nt309 ::=
	φ

nt309 ::=
	nt310+ (nt311* | nt312?) "t9"

nt310 ::=
	ε

nt310 ::=
	nt311+ (nt312* | nt313?) "t10"

nt311 ::=
	α

nt311 ::=
	nt312+ (nt313* | nt314?) "t11"

nt312 ::=
	φ

nt312 ::=
	nt313+ (nt314* | nt315?) "t12"

nt313 ::=
	ε

nt313 ::=
	nt314+ (nt315* | nt316?) "t13"

nt314 ::=
	α

nt314 ::=
	nt315+ (nt316* | nt317?) "t14"

nt315 ::=
	φ

nt315 ::=
	nt316+ (nt317* | nt318?) "t15"

nt316 ::=
	ε

nt316 ::=
	nt317+ (nt318* | nt319?) "t16"

nt317 ::=
	α

nt317 ::=
	nt318+ (nt319* | nt320?) "t17"

nt318 ::=
	φ

nt318 ::=
	nt319+ (nt320* | nt321?) "t18"

nt319 ::=
	ε

nt319 ::=
	nt320+ (nt321* | nt322?) "t19"

nt320 ::=
	α

nt320 ::=
	nt321+ (nt322* | nt323?) "t20"

nt321 ::=
	φ

nt321 ::=
	nt322+ (nt323* | nt324?) "t21"

nt322 ::=
	ε

nt322 ::=
	nt323+ (nt324* | nt325?) "t22"

nt323 ::=
	α

nt323 ::=
	nt324+ (nt325* | nt326?) "t23"

nt324 ::=
	φ

nt324 ::=
	nt325+ (nt326* | nt327?) "t24"

nt325 ::=
	ε

nt325 ::=
	nt326+ (nt327* | nt328?) "t25"

nt326 ::=
	α

nt326 ::=
	nt327+ (nt328* | nt329?) "t26"

nt327 ::=
	φ

nt327 ::=
	nt328+ (nt329* | nt330?) "t27"

nt328 ::=
	ε

nt328 ::=
	nt329+ (nt330* | nt331?) "t28"

nt329 ::=
	α

nt329 ::=
	nt330+ (nt331* | nt332?) "t29"

nt330 ::=
	φ

nt330 ::=
	nt331+ (nt332* | nt333?) "t30"

nt331 ::=
	ε

nt331 ::=
	nt332+ (nt333* | nt334?) "t31"

nt332 ::=
	α

nt332 ::=
	nt333+ (nt334* | nt335?) "t32"

nt333 ::=
	φ

nt333 ::=
	nt334+ (nt335* | nt336?) "t33"

nt334 ::=
	ε

nt334 ::=
	nt335+ (nt336* | nt337?) "t34"

nt335 ::=
	α

nt335 ::=
	nt336+ (nt337* | nt338?) "t35"

nt336 ::=
	φ

nt336 ::=
	nt337+ (nt338* | nt339?) "t36"

nt337 ::=
	ε

nt337 ::=
	nt338+ (nt339* | nt340?) "t37"

nt338 ::=
	α

nt338 ::=
	nt339+ (nt340* | nt341?) "t38"

nt339 ::=
	φ

nt339 ::=
	nt340+ (nt341* | nt342?) "t39"

nt340 ::=
	ε

nt340 ::=
	nt341+ (nt342* | nt343?) "t40"

nt341 ::=
	α

nt341 ::=
	nt342+ (nt343* | nt344?) "t41"

nt342 ::=
	φ

nt342 ::=
	nt343+ (nt344* | nt345?) "t42"

nt343 ::=
	ε

nt343 ::=
	nt344+ (nt345* | nt346?) "t43"

nt344 ::=
	α

nt344 ::=
	nt345+ (nt346* | nt347?) "t44"

nt345 ::=
	φ

nt345 ::=
	nt346+ (nt347* | nt348?) "t45"

nt346 ::=
	ε

nt346 ::=
	nt347+ (nt348* | nt349?) "t46"

nt347 ::=
	α

nt347 ::=
	nt348+ (nt349* | nt350?) "t47"

nt348 ::=
	φ

nt348 ::=
	nt349+ (nt350* | nt351?) "t48"

nt349 ::=
	ε

nt349 ::=
	nt350+ (nt351* | nt352?) "t49"

nt350 ::=
	α

nt350 ::=
	nt351+ (nt352* | nt353?) "t50"

nt351 ::=
	φ

nt351 ::=
	nt352+ (nt353* | nt354?) "t51"

nt352 ::=
	ε

nt352 ::=
	nt353+ (nt354* | nt355?) "t52"

nt353 ::=
	α

nt353 ::=
	nt354+ (nt355* | nt356?) "t53"

nt354 ::=
	φ

nt354 ::=
	nt355+ (nt356* | nt357?) "t54"

nt355 ::=
	ε

nt355 ::=
	nt356+ (nt357* | nt358?) "t55"

nt356 ::=
	α

nt356 ::=
	nt357+ (nt358* | nt359?) "t56"

nt357 ::=
	φ

nt357 ::=
	nt358+ (nt359* | nt360?) "t57"

nt358 ::=
	ε

nt358 ::=
	nt359+ (nt360* | nt361?) "t58"

nt359 ::=
	α

nt359 ::=
	nt360+ (nt361* | nt362?) "t59"

nt360 ::=
	φ

nt360 ::=
	nt361+ (nt362* | nt363?) "t60"

nt361 ::=
	ε

nt361 ::=
	nt362+ (nt363* | nt364?) "t61"

nt362 ::=
	α

nt362 ::=
	nt363+ (nt364* | nt365?) "t62"

nt363 ::=
	φ

nt363 ::=
	nt364+ (nt365* | nt366?) "t63"

nt364 ::=
	ε

nt364 ::=
	nt365+ (nt366* | nt367?) "t64"

nt365 ::=
	α

nt365 ::=
	nt366+ (nt367* | nt368?) "t65"

nt366 ::=
	φ

nt366 ::=
	nt367+ (nt368* | nt369?) "t66"

nt367 ::=
	ε

nt367 ::=
	nt368+ (nt369* | nt370?) "t67"

nt368 ::=
	α

nt368 ::=
	nt369+ (nt370* | nt371?) "t68"

nt369 ::=
	φ

nt369 ::=
	nt370+ (nt371* | nt372?) "t69"

nt370 ::=
	ε

nt370 ::=
	nt371+ (nt372* | nt373?) "t70"

nt371 ::=
	α

nt371 ::=
	nt372+ (nt373* | nt374?) "t71"

nt372 ::=
	φ

nt372 ::=
	nt373+ (nt374* | nt375?) "t72"

nt373 ::=
	ε

nt373 ::=
	nt374+ (nt375* | nt376?) "t73"

nt374 ::=
	α

nt374 ::=
	nt375+ (nt376* | nt377?) "t74"

nt375 ::=
	φ

nt375 ::=
	nt376+ (nt377* | nt378?) "t75"

nt376 ::=
	ε

nt376 ::=
	nt377+ (nt378* | nt379?) "t76"

nt377 ::=
	α

nt377 ::=
	nt378+ (nt379* | nt380?) "t77"

nt378 ::=
	φ

nt378 ::=
	nt379+ (nt380* | nt381?) "t78"

nt379 ::=
	ε

nt379 ::=
	nt380+ (nt381* | nt382?) "t79"

nt380 ::=
	α

nt380 ::=
	nt381+ (nt382* | nt383?) "t80"

nt381 ::=
	φ

nt381 ::=
	nt382+ (nt383* | nt384?) "t81"

nt382 ::=
	ε

nt382 ::=
	nt383+ (nt384* | nt385?) "t82"

nt383 ::=
	α

nt383 ::=
	nt384+ (nt385* | nt386?) "t83"

nt384 ::=
	φ

nt384 ::=
	nt385+ (nt386* | nt387?) "t84"

nt385 ::=
	ε

nt385 ::=
	nt386+ (nt387* | nt388?) "t85"

nt386 ::=
	α

nt386 ::=
	nt387+ (nt388* | nt389?) "t86"

nt387 ::=
	φ

nt387 ::=
	nt388+ (nt389* | nt390?) "t87"

nt388 ::=
	ε

nt388 ::=
	nt389+ (nt390* | nt391?) "t88"

nt389 ::=
	α

nt389 ::=
	nt390+ (nt391* | nt392?) "t89"

nt390 ::=
	φ

nt390 ::=
	nt391+ (nt392* | nt393?) "t90"

nt391 ::=
	ε

nt391 ::=
	nt392+ (nt393* | nt394?) "t91"

nt392 ::=
	α

nt392 ::=
	nt393+ (nt394* | nt395?) "t92"

nt393 ::=
	φ

nt393 ::=
	nt394+ (nt395* | nt396?) "t93"

nt394 ::=
	ε

nt394 ::=
	nt395+ (nt396* | nt397?) "t94"

nt395 ::=
	α

nt395 ::=
	nt396+ (nt397* | nt398?) "t95"

nt396 ::=
	φ

nt396 ::=
	nt397+ (nt398* | nt399?) "t96"

nt397 ::=
	ε

nt397 ::=
	nt398+ (nt399* | nt0?) "t97"

nt398 ::=
	α

nt398 ::=
	nt399+ (nt0* | nt1?) "t98"

nt399 ::=
	φ

nt399 ::=
	nt0+ (nt1* | nt2?) "t99"

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]