P0
(P6 (P5 *e* *e*))
(P6 (P4 *e* *e*))
(P6 (P3 *e* *e*))
(P6 (P2 *e* *e*))
(P6 (P1 *e* *e*))
(P6 (P5hundred "one" "1"))
(P6 (P5hundred "two" "2"))
(P6 (P5hundred "three" "3"))
(P6 (P5hundred "four" "4"))
(P6 (P5hundred "five" "5"))
(P6 (P5hundred "six" "6"))
(P6 (P5hundred "seven" "7"))
(P6 (P5hundred "eight" "8"))
(P6 (P5hundred "nine" "9"))
(P5hundred (P5 "hundred" *e*))
(P5hundred (P4hundred "hundred" "0"))
(P4hundred (P3thousand *e* "0"))
(P4hundred (P4 *e* *e*))
(P5 (P4ten "ten" "1"))
(P5 (P4eleven "eleven" "1"))
(P5 (P4twelve "twelve" "1"))
(P5 (P4thriteen "thirteen" "1"))
(P5 (P4fourteen "fourteen" "1"))
(P5 (P4fifteen "fifteen" "1"))
(P5 (P4sixteen "sixteen" "1"))
(P5 (P4seventeen "seventeen" "1"))
(P5 (P4eighteen "eighteen" "1"))
(P5 (P4nineteen "nineteen" "1"))
(P5 (P4or0 "twenty" "2"))
(P5 (P4or0 "thirty" "3"))
(P5 (P4or0 "forty" "4"))
(P5 (P4or0 "fifty" "5"))
(P5 (P4or0 "sixty" "6"))
(P5 (P4or0 "seventy" "7"))
(P5 (P4or0 "eighty" "8"))
(P5 (P4or0 "ninety" "9"))
(P4ten (P3thousand *e* "0"))
(P4eleven (P3thousand *e* "1"))
(P4twelve (P3thousand *e* "2"))
(P4thriteen (P3thousand *e* "3"))
(P4fourteen (P3thousand *e* "4"))
(P4fifteen (P3thousand *e* "5"))
(P4sixteen (P3thousand *e* "6"))
(P4seventeen (P3thousand *e* "7"))
(P4eighteen (P3thousand *e* "8"))
(P4nineteen (P3thousand *e* "9"))
(P4or0 (P4 "-" *e*))
(P4or0 (P3thousand *e* "0"))
(P4 (P3thousand "one" "1"))
(P4 (P3thousand "two" "2"))
(P4 (P3thousand "three" "3"))
(P4 (P3thousand "four" "4"))
(P4 (P3thousand "five" "5"))
(P4 (P3thousand "six" "6"))
(P4 (P3thousand "seven" "7"))
(P4 (P3thousand "eight" "8"))
(P4 (P3thousand "nine" "9"))
(P3thousand (P3 "thousand" *e*))
(P3thousand (P2thousand "thousand" "0"))
(P2thousand (P2 *e* *e*))
(P2thousand (P1thousand *e* "0"))
(P1thousand (P1 *e* *e*))
(P1thousand (P0 *e* "0"))
(P3 (P2hundred "one" "1"))
(P3 (P2hundred "two" "2"))
(P3 (P2hundred "three" "3"))
(P3 (P2hundred "four" "4"))
(P3 (P2hundred "five" "5"))
(P3 (P2hundred "six" "6"))
(P3 (P2hundred "seven" "7"))
(P3 (P2hundred "eight" "8"))
(P3 (P2hundred "nine" "9"))
(P2hundred (P2 "hundred" *e*))
(P2hundred (P1hundred "hundred" "0"))
(P1hundred (P0 *e* "0"))
(P1hundred (P1 *e* *e*))
(P2 (P1ten "ten" "1"))
(P2 (P1eleven "eleven" "1"))
(P2 (P1twelve "twelve" "1"))
(P2 (P1thriteen "thirteen" "1"))
(P2 (P1fourteen "fourteen" "1"))
(P2 (P1fifteen "fifteen" "1"))
(P2 (P1sixteen "sixteen" "1"))
(P2 (P1seventeen "seventeen" "1"))
(P2 (P1eighteen "eighteen" "1"))
(P2 (P1nineteen "nineteen" "1"))
(P2 (P1or0 "twenty" "2"))
(P2 (P1or0 "thirty" "3"))
(P2 (P1or0 "forty" "4"))
(P2 (P1or0 "fifty" "5"))
(P2 (P1or0 "sixty" "6"))
(P2 (P1or0 "seventy" "7"))
(P2 (P1or0 "eighty" "8"))
(P2 (P1or0 "ninety" "9"))
(P1ten (P0 *e* "0"))
(P1eleven (P0 *e* "1"))
(P1twelve (P0 *e* "2"))
(P1thriteen (P0 *e* "3"))
(P1fourteen (P0 *e* "4"))
(P1fifteen (P0 *e* "5"))
(P1sixteen (P0 *e* "6"))
(P1seventeen (P0 *e* "7"))
(P1eighteen (P0 *e* "8"))
(P1nineteen (P0 *e* "9"))
(P1or0 (P1 "-" *e*))
(P1or0 (P0 *e* "0"))
(P1 (P0 "one" "1"))
(P1 (P0 "two" "2"))
(P1 (P0 "three" "3"))
(P1 (P0 "four" "4"))
(P1 (P0 "five" "5"))
(P1 (P0 "six" "6"))
(P1 (P0 "seven" "7"))
(P1 (P0 "eight" "8"))
(P1 (P0 "nine" "9"))