while_generation.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "test = '''\n",
    "contract sum(n : int){\n",
    "\n",
    "    let x: int ;\n",
    "\n",
    "    entry sum(n: int){\n",
    "        let a: int = 2;\n",
    "        let b: int = 3;\n",
    "        while (a < b) {\n",
    "            x = a + b;\n",
    "            a = 5;\n",
    "        }\n",
    "        \n",
    "        \n",
    "    }\n",
    "}\n",
    "'''\n",
    "\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0 \t <program> -> .contractid(<op-param-list{<stat_program_list>}, {'$'}\n",
      "\t S' -> .<program>, {'$'} \n",
      "\n",
      "1 \t <program> -> contract.id(<op-param-list{<stat_program_list>}, {'$'} \n",
      "\n",
      "2 \t <program> -> contractid.(<op-param-list{<stat_program_list>}, {'$'} \n",
      "\n",
      "3 \t <param-list> -> .<param>, {',', ')'}\n",
      "\t <program> -> contractid(.<op-param-list{<stat_program_list>}, {'$'}\n",
      "\t <op-param-list -> .<param-list>), {'{'}\n",
      "\t <op-param-list -> .), {'{'}\n",
      "\t <param-list> -> .<param-list>,<param>, {',', ')'}\n",
      "\t <param> -> .id:type, {',', ')'} \n",
      "\n",
      "4 \t <param-list> -> <param>., {',', ')'} \n",
      "\n",
      "5 \t <program> -> contractid(<op-param-list.{<stat_program_list>}, {'$'} \n",
      "\n",
      "6 \t <program> -> contractid(<op-param-list{.<stat_program_list>}, {'$'}\n",
      "\t <stat_program_list> -> .<stat_program_list><stat_program>, {'func', '}', 'entry', 'let'}\n",
      "\t <def-func> -> .funcid(<param-list>):type{<stat_list>}, {'func', '}', 'entry', 'let'}\n",
      "\t <stat_program_list> -> .<stat_program>, {'func', '}', 'entry', 'let'}\n",
      "\t <stat_program> -> .<def-entry>, {'let', '}', 'entry', 'func'}\n",
      "\t <stat_program> -> .<storage>, {'func', '}', 'entry', 'let'}\n",
      "\t <storage> -> .letid:type;, {'func', '}', 'entry', 'let'}\n",
      "\t <stat_program> -> .<def-func>, {'func', '}', 'entry', 'let'}\n",
      "\t <def-entry> -> .entryid(<op-param-list{<stat_list>}, {'func', '}', 'entry', 'let'} \n",
      "\n",
      "7 \t <stat_program_list> -> <stat_program_list>.<stat_program>, {'let', '}', 'func', 'entry'}\n",
      "\t <def-func> -> .funcid(<param-list>):type{<stat_list>}, {'let', '}', 'func', 'entry'}\n",
      "\t <stat_program> -> .<storage>, {'let', '}', 'func', 'entry'}\n",
      "\t <stat_program> -> .<def-entry>, {'let', '}', 'func', 'entry'}\n",
      "\t <program> -> contractid(<op-param-list{<stat_program_list>.}, {'$'}\n",
      "\t <storage> -> .letid:type;, {'let', '}', 'func', 'entry'}\n",
      "\t <stat_program> -> .<def-func>, {'let', '}', 'func', 'entry'}\n",
      "\t <def-entry> -> .entryid(<op-param-list{<stat_list>}, {'let', '}', 'func', 'entry'} \n",
      "\n",
      "8 \t <stat_program_list> -> <stat_program_list><stat_program>., {'entry', '}', 'func', 'let'} \n",
      "\n",
      "9 \t <def-func> -> func.id(<param-list>):type{<stat_list>}, {'func', '}', 'let', 'entry'} \n",
      "\n",
      "10 \t <def-func> -> funcid.(<param-list>):type{<stat_list>}, {'entry', '}', 'let', 'func'} \n",
      "\n",
      "11 \t <param-list> -> .<param>, {',', ')'}\n",
      "\t <def-func> -> funcid(.<param-list>):type{<stat_list>}, {'func', '}', 'let', 'entry'}\n",
      "\t <param-list> -> .<param-list>,<param>, {',', ')'}\n",
      "\t <param> -> .id:type, {',', ')'} \n",
      "\n",
      "12 \t <def-func> -> funcid(<param-list>.):type{<stat_list>}, {'entry', '}', 'let', 'func'}\n",
      "\t <param-list> -> <param-list>.,<param>, {',', ')'} \n",
      "\n",
      "13 \t <def-func> -> funcid(<param-list>).:type{<stat_list>}, {'func', '}', 'let', 'entry'} \n",
      "\n",
      "14 \t <def-func> -> funcid(<param-list>):.type{<stat_list>}, {'entry', '}', 'let', 'func'} \n",
      "\n",
      "15 \t <def-func> -> funcid(<param-list>):type.{<stat_list>}, {'func', '}', 'let', 'entry'} \n",
      "\n",
      "16 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <def-func> -> funcid(<param-list>):type{.<stat_list>}, {'entry', '}', 'let', 'func'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat_list><stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "17 \t <if-stat> -> if.(<expr>){then{<stat_list>}<op-else>, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "18 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', ')', '=='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {')', '==', '!='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <if-stat> -> if(.<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', ')', '=='}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', '>', ')', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <expr> -> .<equality>, {')'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "19 \t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> <comparison>., {')', '==', '!='} \n",
      "\n",
      "20 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison>>=.<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "21 \t <primary> -> num., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "22 \t <primary> -> string_text., {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "23 \t <term> -> <factor>., {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "24 \t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>/.<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "25 \t <func-call> -> id.(<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> id., {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "26 \t <arg-list> -> .id, {')'}\n",
      "\t <func-call> -> id(.<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='}\n",
      "\t <arg-list> -> .id,<arg-list>, {')'} \n",
      "\n",
      "27 \t <arg-list> -> id.,<arg-list>, {')'}\n",
      "\t <arg-list> -> id., {')'} \n",
      "\n",
      "28 \t <arg-list> -> .id, {')'}\n",
      "\t <arg-list> -> id,.<arg-list>, {')'}\n",
      "\t <arg-list> -> .id,<arg-list>, {')'} \n",
      "\n",
      "29 \t <arg-list> -> id,<arg-list>., {')'} \n",
      "\n",
      "30 \t <func-call> -> id(<arg-list>.), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "31 \t <func-call> -> id(<arg-list>)., {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "32 \t <factor> -> <factor>/<subfactor>., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "33 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', ')', '=='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {')', '==', '!='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> (.<expr>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', ')', '=='}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', '>', ')', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <expr> -> .<equality>, {')'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "34 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <term>., {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "35 \t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>-.<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "36 \t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>-<factor>., {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "37 \t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>*.<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "38 \t <primary> -> <func-call>., {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "39 \t <factor> -> <factor>*<subfactor>., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "40 \t <primary> -> false., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "41 \t <primary> -> true., {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "42 \t <subfactor> -> <primary>., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "43 \t <factor> -> <subfactor>., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "44 \t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>+.<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "45 \t <term> -> <term>+<factor>., {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "46 \t <subfactor> -> (<expr>.), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "47 \t <subfactor> -> (<expr>)., {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "48 \t <equality> -> <equality>.==<comparison>, {')', '==', '!='}\n",
      "\t <expr> -> <equality>., {')'}\n",
      "\t <equality> -> <equality>.!=<comparison>, {'!=', ')', '=='} \n",
      "\n",
      "49 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> <equality>==.<comparison>, {')', '==', '!='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "50 \t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> <equality>==<comparison>., {')', '==', '!='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "51 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison><=.<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "52 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison><=<term>., {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "53 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison><.<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "54 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison><<term>., {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "55 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison>>.<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='} \n",
      "\n",
      "56 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>><term>., {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "57 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> <equality>!=.<comparison>, {'!=', ')', '=='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='} \n",
      "\n",
      "58 \t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> <equality>!=<comparison>., {'!=', ')', '=='}\n",
      "\t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "59 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>>=<term>., {'>=', '!=', '<', ')', '>', '==', '<='} \n",
      "\n",
      "60 \t <if-stat> -> if(<expr>.){then{<stat_list>}<op-else>, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "61 \t <if-stat> -> if(<expr>).{then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "62 \t <if-stat> -> if(<expr>){.then{<stat_list>}<op-else>, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "63 \t <if-stat> -> if(<expr>){then.{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "64 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat_list><stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <if-stat> -> if(<expr>){then{.<stat_list>}<op-else>, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "65 \t <let-var>> -> let.id:type=<expr>;, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "66 \t <let-var>> -> letid.:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "67 \t <let-var>> -> letid:.type=<expr>;, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "68 \t <let-var>> -> letid:type.=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "69 \t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', '==', ';'}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <expr> -> .<equality>, {';'}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <let-var>> -> letid:type=.<expr>;, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "70 \t <term> -> <factor>., {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "71 \t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>/.<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='} \n",
      "\n",
      "72 \t <subfactor> -> <primary>., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "73 \t <primary> -> id., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <func-call> -> id.(<arg-list>), {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "74 \t <func-call> -> id(.<arg-list>), {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='}\n",
      "\t <arg-list> -> .id, {')'}\n",
      "\t <arg-list> -> .id,<arg-list>, {')'} \n",
      "\n",
      "75 \t <func-call> -> id(<arg-list>.), {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "76 \t <func-call> -> id(<arg-list>)., {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "77 \t <primary> -> num., {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "78 \t <primary> -> string_text., {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "79 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', ')', '=='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {')', '==', '!='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', ')', '=='}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> (.<expr>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', '>', ')', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <expr> -> .<equality>, {')'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "80 \t <subfactor> -> (<expr>.), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "81 \t <subfactor> -> (<expr>)., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "82 \t <primary> -> <func-call>., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "83 \t <factor> -> <factor>/<subfactor>., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "84 \t <primary> -> false., {'+', '>=', '-', '!=', ';', '<', '*', '>', '/', '==', '<='} \n",
      "\n",
      "85 \t <primary> -> true., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "86 \t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>*.<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='} \n",
      "\n",
      "87 \t <factor> -> <factor>*<subfactor>., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "88 \t <equality> -> <equality>.==<comparison>, {'!=', '==', ';'}\n",
      "\t <equality> -> <equality>.!=<comparison>, {'!=', '==', ';'}\n",
      "\t <expr> -> <equality>., {';'} \n",
      "\n",
      "89 \t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <equality> -> <equality>==.<comparison>, {'!=', '==', ';'}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "90 \t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', ';', '<', '>', '==', '<='}\n",
      "\t <comparison> -> <term>., {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', ';', '<', '>', '==', '<='} \n",
      "\n",
      "91 \t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>+.<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='} \n",
      "\n",
      "92 \t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>+<factor>., {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "93 \t <factor> -> <subfactor>., {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='} \n",
      "\n",
      "94 \t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>-.<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='} \n",
      "\n",
      "95 \t <factor> -> <factor>./<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> <factor>.*<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> <term>-<factor>., {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "96 \t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> <equality>==<comparison>., {'!=', '==', ';'} \n",
      "\n",
      "97 \t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>>.<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "98 \t <comparison> -> <comparison>><term>., {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "99 \t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison>>=.<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "100 \t <comparison> -> <comparison>>=<term>., {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "101 \t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison><=.<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "102 \t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison><=<term>., {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "103 \t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <comparison> -> <comparison><.<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '<', ';', '*', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "104 \t <term> -> <term>.-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <term> -> <term>.+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison><<term>., {'>=', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "105 \t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <equality> -> <equality>!=.<comparison>, {'!=', '==', ';'}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "106 \t <equality> -> <equality>!=<comparison>., {'!=', '==', ';'}\n",
      "\t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "107 \t <comparison> -> <comparison>.><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> <comparison>., {'!=', '==', ';'}\n",
      "\t <comparison> -> <comparison>.<<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> <comparison>.<=<term>, {'>=', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "108 \t <let-var>> -> letid:type=<expr>.;, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "109 \t <let-var>> -> letid:type=<expr>;., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "110 \t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', '==', ';'}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <expr> -> .<equality>, {';'}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <return-stat> -> return.<expr>;, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "111 \t <return-stat> -> return<expr>.;, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "112 \t <return-stat> -> return<expr>;., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "113 \t <stat> -> <while-stat>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "114 \t <stat> -> <var-call>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "115 \t <while-stat> -> while.(<expr>){<stat_list>}, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "116 \t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ')', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', ')', '=='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {')', '==', '!='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <while-stat> -> while(.<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', ')', '=='}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', '>', ')', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ')', '>', '/', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', '<', '>', ')', '/', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <expr> -> .<equality>, {')'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ')', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', '>', ')', '/', '==', '<='} \n",
      "\n",
      "117 \t <while-stat> -> while(<expr>.){<stat_list>}, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "118 \t <while-stat> -> while(<expr>).{<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "119 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat_list><stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> while(<expr>){.<stat_list>}, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "120 \t <var-call> -> id.=<expr>;, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "121 \t <comparison> -> .<comparison>>=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <func-call> -> .id(<arg-list>), {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>==<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <subfactor> -> .(<expr>), {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>/<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>+<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <comparison> -> .<comparison>><term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<comparison>, {'!=', '==', ';'}\n",
      "\t <comparison> -> .<comparison><<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <equality> -> .<equality>!=<comparison>, {'!=', '==', ';'}\n",
      "\t <primary> -> .true, {'+', '>=', '-', '!=', '<', '*', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<factor>*<subfactor>, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <subfactor> -> .<primary>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <expr> -> .<equality>, {';'}\n",
      "\t <primary> -> .num, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <primary> -> .string_text, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <var-call> -> id=.<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <comparison> -> .<comparison><=<term>, {'>=', '!=', '<', ';', '>', '==', '<='}\n",
      "\t <primary> -> .<func-call>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .id, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <factor> -> .<subfactor>, {'+', '>=', '-', '!=', '*', '<', ';', '>', '/', '==', '<='}\n",
      "\t <primary> -> .false, {'+', '>=', '-', '!=', '*', ';', '<', '>', '/', '==', '<='}\n",
      "\t <term> -> .<term>-<factor>, {'+', '>=', '-', '!=', '<', ';', '>', '==', '<='} \n",
      "\n",
      "122 \t <var-call> -> id=<expr>.;, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "123 \t <var-call> -> id=<expr>;., {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "124 \t <stat> -> <return-stat>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "125 \t <stat_list> -> <stat>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "126 \t <while-stat> -> while(<expr>){<stat_list>.}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> <stat_list>.<stat>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "127 \t <while-stat> -> while(<expr>){<stat_list>}., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "128 \t <stat_list> -> <stat_list><stat>., {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "129 \t <stat> -> <if-stat>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "130 \t <stat> -> <let-var>>., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "131 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> <stat_list>.<stat>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <if-stat> -> if(<expr>){then{<stat_list>.}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "132 \t <op-else> -> .<else-stat>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <if-stat> -> if(<expr>){then{<stat_list>}.<op-else>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <op-else> -> .}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <else-stat> -> .else{<stat_list>}, {'}'} \n",
      "\n",
      "133 \t <op-else> -> <else-stat>.}, {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "134 \t <op-else> -> <else-stat>}., {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "135 \t <if-stat> -> if(<expr>){then{<stat_list>}<op-else>., {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "136 \t <op-else> -> }., {'id', 'if', 'while', 'let', '}', 'return'} \n",
      "\n",
      "137 \t <else-stat> -> else.{<stat_list>}, {'}'} \n",
      "\n",
      "138 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat_list><stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <else-stat> -> else{.<stat_list>}, {'}'} \n",
      "\n",
      "139 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> <stat_list>.<stat>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <else-stat> -> else{<stat_list>.}, {'}'} \n",
      "\n",
      "140 \t <else-stat> -> else{<stat_list>}., {'}'} \n",
      "\n",
      "141 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <def-func> -> funcid(<param-list>):type{<stat_list>.}, {'func', '}', 'let', 'entry'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> <stat_list>.<stat>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "142 \t <def-func> -> funcid(<param-list>):type{<stat_list>}., {'entry', '}', 'let', 'func'} \n",
      "\n",
      "143 \t <param-list> -> <param-list>,.<param>, {',', ')'}\n",
      "\t <param> -> .id:type, {',', ')'} \n",
      "\n",
      "144 \t <param-list> -> <param-list>,<param>., {',', ')'} \n",
      "\n",
      "145 \t <param> -> id.:type, {',', ')'} \n",
      "\n",
      "146 \t <param> -> id:.type, {',', ')'} \n",
      "\n",
      "147 \t <param> -> id:type., {',', ')'} \n",
      "\n",
      "148 \t <stat_program> -> <storage>., {'func', '}', 'entry', 'let'} \n",
      "\n",
      "149 \t <stat_program> -> <def-entry>., {'func', '}', 'entry', 'let'} \n",
      "\n",
      "150 \t <program> -> contractid(<op-param-list{<stat_program_list>}., {'$'} \n",
      "\n",
      "151 \t <storage> -> let.id:type;, {'let', '}', 'func', 'entry'} \n",
      "\n",
      "152 \t <storage> -> letid.:type;, {'entry', '}', 'func', 'let'} \n",
      "\n",
      "153 \t <storage> -> letid:.type;, {'let', '}', 'func', 'entry'} \n",
      "\n",
      "154 \t <storage> -> letid:type.;, {'entry', '}', 'func', 'let'} \n",
      "\n",
      "155 \t <storage> -> letid:type;., {'let', '}', 'func', 'entry'} \n",
      "\n",
      "156 \t <stat_program> -> <def-func>., {'let', '}', 'func', 'entry'} \n",
      "\n",
      "157 \t <def-entry> -> entry.id(<op-param-list{<stat_list>}, {'func', '}', 'entry', 'let'} \n",
      "\n",
      "158 \t <def-entry> -> entryid.(<op-param-list{<stat_list>}, {'let', '}', 'entry', 'func'} \n",
      "\n",
      "159 \t <param-list> -> .<param>, {',', ')'}\n",
      "\t <def-entry> -> entryid(.<op-param-list{<stat_list>}, {'func', '}', 'entry', 'let'}\n",
      "\t <op-param-list -> .<param-list>), {'{'}\n",
      "\t <op-param-list -> .), {'{'}\n",
      "\t <param-list> -> .<param-list>,<param>, {',', ')'}\n",
      "\t <param> -> .id:type, {',', ')'} \n",
      "\n",
      "160 \t <def-entry> -> entryid(<op-param-list.{<stat_list>}, {'let', '}', 'entry', 'func'} \n",
      "\n",
      "161 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> .<stat_list><stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <def-entry> -> entryid(<op-param-list{.<stat_list>}, {'func', '}', 'entry', 'let'} \n",
      "\n",
      "162 \t <if-stat> -> .if(<expr>){then{<stat_list>}<op-else>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <def-entry> -> entryid(<op-param-list{<stat_list>.}, {'let', '}', 'entry', 'func'}\n",
      "\t <let-var>> -> .letid:type=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <return-stat> -> .return<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<while-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat_list> -> <stat_list>.<stat>, {'id', 'if', 'while', 'let', '}', 'return'}\n",
      "\t <stat> -> .<var-call>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <while-stat> -> .while(<expr>){<stat_list>}, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <var-call> -> .id=<expr>;, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<return-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<if-stat>, {'if', 'return', 'while', 'let', '}', 'id'}\n",
      "\t <stat> -> .<let-var>>, {'if', 'return', 'while', 'let', '}', 'id'} \n",
      "\n",
      "163 \t <def-entry> -> entryid(<op-param-list{<stat_list>}., {'func', '}', 'entry', 'let'} \n",
      "\n",
      "164 \t <param-list> -> <param-list>.,<param>, {',', ')'}\n",
      "\t <op-param-list -> <param-list>.), {'{'} \n",
      "\n",
      "165 \t <op-param-list -> <param-list>)., {'{'} \n",
      "\n",
      "166 \t <op-param-list -> )., {'{'} \n",
      "\n",
      "167 \t <stat_program_list> -> <stat_program>., {'func', '}', 'entry', 'let'} \n",
      "\n",
      "168 \t S' -> <program>., {'$'} \n",
      "\n",
      "\\__ProgramNode: contract node.idx (param,...,param) [<stat>; ... <stat>;]\n",
      "\t\\__AttrDeclarationNode: n : int\n",
      "\t\t\\__DeclarationStorageNode: x : int\n",
      "\t\t\\__EntryDeclarationNode: Entry sum (param,...,param)[<stat>; ... <stat>;]\n",
      "\t\t\t\\__AttrDeclarationNode: n : int\n",
      "\t\t\t\t\\__VarDeclarationNode: let a = <expr> : int\n",
      "\t\t\t\t\t\\__ ConstantNumNode: 2\n",
      "\t\t\t\t\\__VarDeclarationNode: let b = <expr> : int\n",
      "\t\t\t\t\t\\__ ConstantNumNode: 3\n",
      "\t\t\t\t\\__WhileNode: while <expr> then [<stat>; ... <stat>;]\n",
      "\t\t\t\t\t\\__ LessThanNode\n",
      "\t\t\t\t\t\t\\__VariableNode: a\n",
      "\t\t\t\t\t\t\\__VariableNode: b\n",
      "\t\t\t\t\t\\__VarCallNode: x = <expr>\n",
      "\t\t\t\t\t\t\\__ PlusNode\n",
      "\t\t\t\t\t\t\t\\__VariableNode: a\n",
      "\t\t\t\t\t\t\t\\__VariableNode: b\n",
      "\t\t\t\t\t\\__VarCallNode: a = <expr>\n",
      "\t\t\t\t\t\t\\__ ConstantNumNode: 5\n"
     ]
    }
   ],
   "source": [
    "from visitors.string_rep_visitor import FormatVisitor\n",
    "from utils import run_tzscript_ast_building_pipeline\n",
    "\n",
    "ast = run_tzscript_ast_building_pipeline(test)\n",
    "format = FormatVisitor()\n",
    "print(format.visit(ast))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "num\n",
      "num\n",
      "num\n"
     ]
    }
   ],
   "source": [
    "from visitors.high_level_ir_generator_visitor import TzScriptToHighLevelIrVisitor\n",
    "from visitors.hl_string_repre import HLReprVisitor\n",
    "\n",
    "hl = TzScriptToHighLevelIrVisitor()\n",
    "hl_ir = hl.visit(ast)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "num\n",
      "num\n",
      "num\n"
     ]
    }
   ],
   "source": [
    "from visitors.high_level_ir_generator_visitor import TzScriptToHighLevelIrVisitor\n",
    "high_level_ir = TzScriptToHighLevelIrVisitor()\n",
    "ir = high_level_ir.visit(ast)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "contract { entrypoint{...} storage{...} code{...}} \n",
      "\tentrypoint  { <id,params> , <id,params> , ... , <id,params> }\n",
      "\t\t\\__EntryPointDeclarationNode: sum (<param> ... <param>)\n",
      "\t\t\t\\__AttrDeclarationNode: n : int\n",
      "\tstorage { <id,type> , <id,type> , ... , <id,type> }\n",
      "\t\t\\__StorageDeclarationNode: x : int\n",
      "\tcode { <stat> , <stat> , ... , <stat> }\n",
      "\t\t\\__IfEntryNode: if sum then \n",
      "\t\t\t\\__PushValueNode: push 2 num\n",
      "\t\t\t\\__PushVariableNode: push a int\n",
      "\t\t\t\\__PushValueNode: push 3 num\n",
      "\t\t\t\\__PushVariableNode: push b int\n",
      "\t\t\twhile <expr> loop { <stat> , <stat> , ... , <stat> }\n",
      "\t\t\t\t\\__GetToTopNode: get a\n",
      "\t\t\t\t\\__GetToTopNode: get b\n",
      "\t\t\t\t\\__ LessThanNode\n",
      "\t\t\t\t\t\\__GetToTopNode: get a\n",
      "\t\t\t\t\t\\__GetToTopNode: get b\n",
      "\t\t\t\t\t\\__ PlusNode\n",
      "\t\t\t\t\t\\__ReplaceVariableNode: x\n",
      "\t\t\t\t\t\\__PushValueNode: push 5 num\n",
      "\t\t\t\t\t\\__ReplaceVariableNode: a\n"
     ]
    }
   ],
   "source": [
    "from visitors.hl_string_repre import HLReprVisitor\n",
    "hl_repr = HLReprVisitor()\n",
    "print(hl_repr.visit(ir))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "final code: \n",
      "parameter <parser.tzscript_types.TzScriptInt object at 0x105e83ad0> %sum;\n",
      "storage <parser.tzscript_types.TzScriptInt object at 0x105e83ad0>;\n",
      "code {\n",
      "UNPAIR;\n",
      "PUSH nat 2;\n",
      "PUSH nat 3;\n",
      "SWAP;\n",
      "SWAP;\n",
      "DUP;\n",
      "DIG 2;\n",
      "SWAP;\n",
      "SWAP;\n",
      "SUB;\n",
      "LT;\n",
      "LOOP {DIG 4;\n",
      "DIG 2;\n",
      "DUP;\n",
      "DIG 2;\n",
      "SWAP;\n",
      "ADD;\n",
      "DIG 4;\n",
      "DROP;\n",
      "PUSH nat 5;\n",
      "DIG 4;\n",
      "DROP;\n",
      "DIG 3;\n",
      "DUP;\n",
      "DIG 2;\n",
      "SWAP;\n",
      "SWAP;\n",
      "SUB;\n",
      "LT;\n",
      "IF\n",
      "{ PUSH False; }\n",
      "{ PUSH True; }\n",
      "} \n",
      "DIG 0;\n",
      "DROP;\n",
      "DIG 0;\n",
      "DROP;\n",
      "DIG 0;\n",
      "DROP;\n",
      "\n"
     ]
    }
   ],
   "source": [
    "from visitors.michelson_generator_visitor import MichelsonGenerator\n",
    "visit_generator = MichelsonGenerator()\n",
    "code = visit_generator.visit(ir)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3.11.0 64-bit",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.11.0"
  },
  "orig_nbformat": 4,
  "vscode": {
   "interpreter": {
    "hash": "aee8b7b246df8f9039afb4144a1f6fd8d2ca17a180786b69acc140d282b71a49"
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}