        80        58        51       142
    60     1  1000
   -11    61    62   -12  1000
  1000
    61    62  1000
    44     2    -1   -32    63    64     4   -34  1000
  1000
    45   -33    65  1000
    63   -41     5    66     6  1000
    67   -50  1000
  1000
    68     7    67  1000
    69  1000
    70  1000
    71  1000
    72  1000
    41    73     8    74   -24  1000
    75    76   -14  1000
    77    78  1000
    81  1000
  1000
    79  1000
    80  1000
     9    -1  1000
    43    -1  1000
     2    -1    -2    82  1000
  1000
     4     2    -1   -30  1000
   -13    58    28    83    29  1000
    77     2    -1    84  1000
   -20    85  1000
    10    83  1000
   -20  1000
    86    87  1000
  1000
    10    86    87  1000
    38     2    -1   -35    88   -40  1000
    47   -13    28     2    -1    -2    29    89   -28  1000
  1000
    28     2    -1    -2    29    89  1000
    48    28    74    49    74    29   -29  1000
   -13     2    -1    90  1000
  1000
    10     2    -1    90  1000
    46    75     2    -1   -43  1000
    38     2    -1    -2    56     2    -1   -51   -47   -37    65   -38
  1000
    23    91    24   -36  1000
  1000
    92    93  1000
  1000
     7    92    93  1000
    94    -1    70  1000
    53  1000
    54  1000
    95  1000
  1000
    96     7    95  1000
    97  1000
    98  1000
    99  1000
   100  1000
   101  1000
   102  1000
   103  1000
   104  1000
    11  1000
    12   105    -4  1000
   -13   106   107  1000
   108  1000
  1000
    10   106   108  1000
    13   -13   109   110    -5    -6  1000
  1000
    10   109   110  1000
    42    -1  1000
   111  1000
   -13   111   113  1000
  1000
    10   111   113  1000
   -13   106   114  1000
    57     2    -1   -49   115   -19  1000
   116  1000
   118  1000
  1000
    28   111   -31    29   118  1000
    56     2    -1   -22   118  1000
   107    14   112    -3  1000
   -42    23   119    24   -39  1000
   -13  1000
   112  1000
    19   -15   120    20   -16  1000
   121   122  1000
  1000
    21   121   122  1000
   111   -17    22    66   -18  1000
    39   -25   120    40   -26  1000
    50   106   -44    22    66    51   -45  1000
    52   -46  1000
   123   124  1000
  1000
   125    -1   123   -27   124  1000
    30  1000
    31  1000
   126   127  1000
  1000
   128    -1   126   -10   127  1000
    33  1000
     8  1000
    35  1000
    34  1000
    36  1000
    25  1000
    16   129    -8  1000
    15   129   130  1000
   129   132  1000
  1000
   131    -1   129    -7   130  1000
  1000
   131    -1   129    -7   132  1000
   133   134  1000
  1000
   135    -1   133    -9   134  1000
   106  1000
     3    -1  1000
   136  1000
    28   112    29   -21  1000
    37   133   -23  1000
    23   111    24  1000
    15  1000
    16  1000
    17  1000
    18  1000
    32  1000
     2    -1  1000
     2    -1    -2   137   117  1000
    55   -48   138  1000
  1000
     4     2    -1   -30  1000
  1000
    56     2    -1   -22   117  1000
   111  1000
    26    -1  1000
    27    -1  1000
     60   44    2
     62    1    3
     62   44    4
     61   44    5
     64    4    6
     64   45    7
     65   58    8
     65    9    8
     65   43    8
     65    2    8
     65   38    8
     65   46    8
     65   41    8
     65    5    8
     63    2    9
     63   43    9
     63    9    9
     63   58    9
     63   41    9
     63   46    9
     63   38    9
     63    4    9
     63   45    9
     63    5    9
     67   45   10
     67    4   10
     67    5   10
     67   58   11
     67    9   11
     67   43   11
     67    2   11
     67   38   11
     67   46   11
     67   41   11
     68   41   12
     68    2   13
     68   43   13
     68    9   13
     68   58   13
     68   46   14
     68   38   15
     69   41   16
     70   58   17
     70    9   17
     70   43   17
     70    2   17
     75    2   18
     75   43   18
     75    9   18
     75   58   19
     78    2   20
     78   47   21
     78   48   22
     77    9   23
     77   43   24
     77    2   25
     82    2   26
     82   48   26
     82   47   26
     82    4   27
     81   58   28
     83    2   29
     83   43   29
     83    9   29
     83   38   30
     84   10   31
     84   29   32
     85   38   33
     87   29   34
     87   10   35
     86   38   36
     79   47   37
     89    2   38
     89   28   39
     80   48   40
     76    2   41
     90   24   42
     90    7   42
     90   10   43
     71   46   44
     72   38   45
     88   23   46
     91   24   47
     91   53   48
     91   54   48
     93   24   49
     93    7   50
     92   54   51
     92   53   51
     94   53   52
     94   54   53
     66   11   54
     66   12   54
     66   13   54
     66    2   54
     66   55   54
     66   52   54
     66   19   54
     66   39   54
     66   50   54
     66   20   54
     66   21   54
     66   40   54
     66   51   54
     66    6   54
     95   20   55
     95   40   55
     95   21   55
     95    6   55
     95   51   55
     95   50   56
     95   39   56
     95   19   56
     95   52   56
     95   55   56
     95    2   56
     95   13   56
     95   12   56
     95   11   56
     96   11   57
     96   12   58
     96   13   59
     96    2   60
     96   55   60
     96   52   61
     96   19   62
     96   39   63
     96   50   64
     97   11   65
     98   12   66
    105   55   67
    105    2   67
    107   10   68
    107    7   68
    107   14   68
    108    7   69
    108   14   69
    108   10   70
     99   13   71
    110    7   72
    110   10   73
    109   42   74
    109   26   75
    109   27   75
    109    2   75
    109   55   75
    109   23   75
    109   37   75
    109   28   75
    109    3   75
    109   15   75
    109   16   75
    112   26   76
    112   27   76
    112    2   76
    112   55   76
    112   23   76
    112   37   76
    112   28   76
    112    3   76
    112   15   76
    112   16   76
    113    7   77
    113   29   77
    113   24   77
    113   10   78
    100   55   79
    100    2   79
    114   57   80
    114   14   81
    114   10   81
    117   56   82
    117   28   82
    117    7   82
    117   49   82
    117   29   82
    117   24   82
    117   15   82
    117   16   82
    117   30   82
    117   31   82
    117   25   82
    117   36   82
    117   34   82
    117   35   82
    117    8   82
    117   33   82
    117   32   82
    117   18   82
    117   17   82
    117   10   82
    117   14   82
    117   57   82
    117   22   82
    118   24   83
    118   29   83
    118   49   83
    118    7   83
    118   17   83
    118   18   83
    118   32   83
    118   33   83
    118    8   83
    118   35   83
    118   34   83
    118   36   83
    118   25   83
    118   31   83
    118   30   83
    118   16   83
    118   15   83
    118   22   83
    118   57   83
    118   14   83
    118   10   83
    118   28   84
    118   56   85
    116   10   86
    116   14   86
    115   23   87
    119   24   88
    119    3   89
    119   28   89
    119   37   89
    119   23   89
    119   55   89
    119    2   89
    119   27   89
    119   26   89
    119   16   89
    119   15   89
    102   19   90
    120    3   91
    120   28   91
    120   37   91
    120   23   91
    120   55   91
    120    2   91
    120   27   91
    120   26   91
    120   16   91
    120   15   91
    122   20   92
    122   40   92
    122   21   93
    121   26   94
    121   27   94
    121    2   94
    121   55   94
    121   23   94
    121   37   94
    121   28   94
    121    3   94
    121   15   94
    121   16   94
    103   39   95
    104   50   96
    101   52   97
    111    3   98
    111   28   98
    111   37   98
    111   23   98
    111   55   98
    111    2   98
    111   27   98
    111   26   98
    111   16   98
    111   15   98
    124    7   99
    124   10   99
    124   24   99
    124   22   99
    124   29   99
    124   49   99
    124   31  100
    124   30  100
    125   30  101
    125   31  102
    123   26  103
    123   27  103
    123    2  103
    123   55  103
    123   23  103
    123   37  103
    123   28  103
    123    3  103
    123   15  103
    123   16  103
    127    7  104
    127   49  104
    127   29  104
    127   22  104
    127   24  104
    127   10  104
    127   30  104
    127   31  104
    127   25  105
    127   36  105
    127   34  105
    127   35  105
    127    8  105
    127   33  105
    128   33  106
    128    8  107
    128   35  108
    128   34  109
    128   36  110
    128   25  111
    126   16  112
    126   15  113
    126    3  114
    126   28  114
    126   37  114
    126   23  114
    126   55  114
    126    2  114
    126   27  114
    126   26  114
    130    7  115
    130   10  115
    130   24  115
    130   22  115
    130   29  115
    130   49  115
    130   33  115
    130    8  115
    130   35  115
    130   34  115
    130   36  115
    130   25  115
    130   31  115
    130   30  115
    130   16  116
    130   15  116
    132    7  117
    132   10  117
    132   24  117
    132   22  117
    132   29  117
    132   49  117
    132   33  117
    132    8  117
    132   35  117
    132   34  117
    132   36  117
    132   25  117
    132   31  117
    132   30  117
    132   16  118
    132   15  118
    129   26  119
    129   27  119
    129    2  119
    129   55  119
    129   23  119
    129   37  119
    129   28  119
    129    3  119
    134    7  120
    134   49  120
    134   29  120
    134   22  120
    134   24  120
    134   10  120
    134   15  120
    134   16  120
    134   30  120
    134   31  120
    134   25  120
    134   36  120
    134   34  120
    134   35  120
    134    8  120
    134   33  120
    134   32  121
    134   18  121
    134   17  121
    133   55  122
    133    2  122
    133    3  123
    133   27  124
    133   26  124
    133   28  125
    133   37  126
    133   23  127
    131   15  128
    131   16  129
    135   17  130
    135   18  131
    135   32  132
     73    2  133
    106    2  134
    106   55  135
    137    7  136
    137   49  136
    137   29  136
    137   24  136
    137   15  136
    137   16  136
    137   30  136
    137   31  136
    137   25  136
    137   36  136
    137   34  136
    137   35  136
    137    8  136
    137   33  136
    137   32  136
    137   18  136
    137   17  136
    137   56  136
    137   28  136
    137   10  136
    137   14  136
    137   57  136
    137   22  136
    137    4  137
    138    7  138
    138   49  138
    138   29  138
    138   24  138
    138   15  138
    138   16  138
    138   30  138
    138   31  138
    138   25  138
    138   36  138
    138   34  138
    138   35  138
    138    8  138
    138   33  138
    138   32  138
    138   18  138
    138   17  138
    138   10  138
    138   14  138
    138   57  138
    138   22  138
    138   56  139
     74   26  140
     74   27  140
     74    2  140
     74   55  140
     74   23  140
     74   37  140
     74   28  140
     74    3  140
     74   15  140
     74   16  140
    136   26  141
    136   27  142
      0    0    0
        50  checkTuples                    
        20  createtupletype                    
        39  doFuncCall                    
        41  doLink                    
        46  doReturn                    
        24  dodeclconst                    
        43  dodecltype                    
        14  dodeclvars                    
        28  domakearray                    
        29  domakerange                    
        18  elsIf                    
        45  endFor                    
        38  endFuncBlock                    
        40  endFuncDecl                    
        16  endIf                    
        34  endModule                    
        36  endParamPart                    
        33  endPublic                    
        26  enddo                    
        22  extractComp                    
        12  finishcode                    
        27  genAndOr                    
         7  genadd                    
        10  gencompare                    
         6  geneol                    
         9  genmult                    
         8  genneg                    
        23  gennot                    
         4  genread                    
         3  genstore                    
         5  genwrite                    
        17  ifTest                    
        21  maketuplevalue                    
        13  mark                    
         2  processId                    
        49  processTupId                    
         1  push                    
        30  qualifyName                    
        47  reDefine                    
        51  restartFunc                    
        44  startFor                    
        35  startFunc                    
        37  startFuncBlock                    
        42  startFuncCall                    
        15  startIf                    
        32  startModule                    
        11  startcode                    
        25  startdo                    
        31  subscript                    
        48  thisExpr                    
        19  unmark                    
        57  !                    
        25  #                    
         1  $eof$                    
        30  &                    
        23  (                    
        24  )                    
        17  *                    
        15  +                    
        10  ,                    
        16  -                    
        22  ->                    
         4  .                    
        49  ..                    
        18  /                    
        14  :=                    
         7  ;                    
        33  <                    
        34  <=                    
         8  =                    
        35  >                    
        36  >=                    
        56  @                    
        43  Boolean                    
        28  [                    
        21  []                    
        32  \                    
        29  ]                    
        47  array                    
         5  begin                    
        41  const                    
        39  do                    
         6  end                    
        27  false                    
        20  fi                    
        50  forall                    
         2  identifier                    
        19  if                    
         9  integer                    
        51  llarof                    
        44  module                    
         3  numeral                    
        40  od                    
        45  private                    
        38  proc                    
        48  range                    
        12  read                    
        53  ref                    
        52  return                    
        11  skip                    
        42  stringconst                    
        55  this                    
        26  true                    
        58  tuple                    
        46  typedef                    
        54  val                    
        13  write                    
        31  |                    
        37  ~                    
        59  <goal>                    
       131  addingOperator                    
        94  alt$_1                    
       114  alt$_2                    
       115  argumentList                    
        79  arraytype                    
       116  assignFinish                    
       100  assignStatement                    
        65  block                    
       136  booleanConstant                    
       125  booleanOperator                    
        74  constant                    
        69  constantDef                    
        73  constantName                    
        68  definition                    
        63  definitionPart                    
       103  doStatement                    
        97  emptyStatement                    
       111  expression                    
       112  expressionList                    
       133  factor                    
        83  fields                    
       104  forStatement                    
        72  functionDecl                    
       121  guardedCommand                    
       120  guardedCommandList                    
       102  ifStatement                    
       117  indexorcomp                    
        62  list$_1                    
       113  list$_10                    
       118  list$_11                    
       122  list$_12                    
       124  list$_13                    
       127  list$_14                    
       130  list$_15                    
       132  list$_16                    
       134  list$_17                    
        67  list$_2                    
        87  list$_3                    
        89  list$_4                    
        90  list$_5                    
        93  list$_6                    
        95  list$_7                    
       108  list$_8                    
       110  list$_9                    
        61  module                    
       135  multiplyOperator                    
        64  opt$_1                    
        78  opt$_2                    
        91  opt$_3                    
       137  opt$_4                    
       138  opt$_5                    
        82  optQual                    
       119  optexpressionList                    
        92  paramDef                    
        88  paramPart                    
        86  procDecl                    
        85  procList                    
        60  program                    
        80  rangetype                    
        98  readStatement                    
       123  relationalExpression                    
       128  relationalOperator                    
       101  returnStatement                    
       126  simpleExpression                    
        96  statement                    
        66  statementPart                    
       129  term                    
        84  tuplecompl                    
        81  tupletype                    
        75  type                    
        77  typeSymbol                    
        71  typedef                    
       107  varListMore                    
       106  variableAccess                    
       105  variableAccessList                    
        70  variableDef                    
        76  variableList                    
       109  writeItem                    
        99  writeStatement                    

